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