loading SCIP... n: 40 m: 30 packed: 8 density: 61 nodes: 0 solverTime: 15 buildTime: 0 solved: false 0 14 37 2 5 10 3 9 16 8 32 39 13 36 38 18 29 33 19 25 35 27 28 34