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