loading SCIP... n: 40 m: 34 packed: 8 density: 61 nodes: 0 solverTime: 15 buildTime: 0 solved: false 2 6 35 3 8 15 4 12 14 5 7 24 10 32 37 13 29 33 16 30 38 17 23 26