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