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