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