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