loading SCIP... n: 40 m: 56 packed: 9 density: 69 nodes: 0 solverTime: 31 buildTime: 0 solved: false 0 24 34 1 10 15 2 19 21 4 16 39 6 27 35 7 30 37 8 14 20 9 28 29 18 22 33