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