loading SCIP... n: 40 m: 35 packed: 9 density: 69 nodes: 0 solverTime: 15 buildTime: 0 solved: false 0 10 26 1 9 15 2 5 8 3 12 21 4 16 37 6 22 31 7 19 24 11 17 27 25 28 36