conjure-cp / conjure

Conjure: The Automated Constraint Modelling Tool
Other
94 stars 20 forks source link

Output json improvement #650

Closed SeppiaBrilla closed 4 months ago

SeppiaBrilla commented 4 months ago

Looking at the EssenceCatalog-runs data for the car sequencing model, I noticed a weird error case: The instance 48ff78f16705ff8a954db2ff on solver chuffed and model 05_nochAllLevels_2.eprime has the status code Error but the stderr message is: ERROR: Out of Memory which I think should classify the instance with an MemOut status instead. Here's the full JSON file:

{
    "computer": "drang",
    "conjureVersion": "Conjure v2.5.1 (Repository version 4397a6e (2024-03-10 10:58:31 +0000))",
    "essence": "/podmandir/EssenceCatalog/problems/csplib-prob001-CarSequencing/CarSequencing.essence",
    "essenceParams": [
        "/podmandir/EssenceCatalog/problems/csplib-prob001-CarSequencing/params/generated/48ff78f16705ff8a954db2ff902f7178.param"
    ],
    "savilerowLogs": {
        "exitCode": 1,
        "stderr": [
            "ERROR: Out of Memory"
        ],
        "stdout": [
            "Created information file /podmandir/problems/csplib-prob001-CarSequencing/conjure-mode/portfolio4/savilerow-mode/O2/solver/chuffed/05_nochAllLevels_2-48ff78f16705ff8a954db2ff902f7178.eprime-info"
        ]
    },
    "savilerowVersion": "Savile Row 1.10.0 (Repository Version: 1aded299f (2024-03-10 10:56:22 +0000))",
    "savilerowInfo": {
        "SavileRowClauseOut": "0",
        "SavileRowOutOfMemory": "1",
        "SavileRowTimeOut": "0",
        "SavileRowTotalTime": "355.005",
        "SavileRowUncaughtException": "1"
    },
    "savilerowOptions": [
        "-timelimit 3600 -O2"
    ],
    "solver": "chuffed",
    "solverOptions": [
        "-t 3600000 --rnd-seed 0"
    ],
    "status": "Error",
    "timestamp": "2024-03-10T20:49:03.979947074Z",
    "useExistingModels": [
        "/podmandir/problems/csplib-prob001-CarSequencing/conjure-mode/portfolio4/05_nochAllLevels_2.eprime"
    ]
}
ozgurakgun commented 4 months ago

I think this is fixed in Conjure for future runs already, but we had some old stats.json files which had the wrong status. Updated my checker script now, will push the fixed files to the EC-runs repo. Thanks!

ozgurakgun commented 4 months ago

pushed now, let me know if I missed anything please!

SeppiaBrilla commented 4 months ago

Perfect, I don't have the error anymore!