loading SCIP... n: 40 m: 31 packed: 9 density: 69 nodes: 0 solverTime: 31 buildTime: 0 solved: false 0 10 30 2 11 32 3 22 35 4 5 33 6 20 24 9 14 31 15 21 34 17 25 28 18 37 39