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