loading SCIP... n: 40 m: 96 packed: 12 density: 92 nodes: 0 solverTime: 62 buildTime: 0 solved: false 0 9 22 1 15 17 2 5 6 3 4 32 7 28 33 8 25 35 10 16 29 11 14 31 12 23 37 13 21 24 18 34 39 19 20 27