loading SCIP... n: 40 m: 33 packed: 9 density: 69 nodes: 0 solverTime: 15 buildTime: 0 solved: false 2 6 28 3 23 24 5 9 17 8 26 31 11 32 34 12 21 33 13 19 37 16 18 39 25 27 30