loading SCIP... n: 40 m: 21 packed: 8 density: 61 nodes: 0 solverTime: 31 buildTime: 0 solved: false 0 7 19 3 4 38 9 20 28 11 23 30 12 21 26 13 33 35 18 22 37 31 32 36