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