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