loading SCIP... n: 40 m: 28 packed: 8 density: 61 nodes: 0 solverTime: 32 buildTime: 0 solved: false 0 33 38 1 28 39 2 4 31 3 9 21 5 10 30 8 15 22 12 27 29 18 24 36