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