loading SCIP... n: 40 m: 70 packed: 11 density: 84 nodes: 0 solverTime: 15 buildTime: 0 solved: false 2 12 39 3 7 20 4 27 33 5 15 19 6 17 36 9 11 18 10 24 34 13 16 29 21 23 37 28 32 38 30 31 35