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