loading SCIP... n: 40 m: 36 packed: 8 density: 61 nodes: 0 solverTime: 31 buildTime: 0 solved: false 0 21 35 1 13 36 5 20 24 9 17 29 10 11 39 12 16 32 15 22 38 18 19 25