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