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