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