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