loading SCIP... n: 40 m: 54 packed: 8 density: 61 nodes: 0 solverTime: 32 buildTime: 0 solved: false 1 21 35 2 24 32 4 10 33 7 23 29 9 19 34 15 16 26 22 31 39 28 36 37