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