loading SCIP... n: 40 m: 32 packed: 9 density: 69 nodes: 0 solverTime: 32 buildTime: 0 solved: false 0 7 39 2 21 24 3 4 6 9 16 31 10 19 27 11 28 33 12 14 25 13 34 38 15 23 32