loading SCIP... n: 40 m: 173 packed: 12 density: 92 nodes: 0 solverTime: 125 buildTime: 0 solved: false 0 1 31 2 22 24 3 9 37 5 12 13 7 10 26 8 21 29 11 15 28 14 17 20 16 23 35 18 25 34 19 32 36 27 30 38