loading SCIP... n: 40 m: 39 packed: 8 density: 61 nodes: 0 solverTime: 31 buildTime: 0 solved: false 2 32 37 3 24 30 5 23 26 7 15 20 9 13 22 12 35 38 19 21 29 25 28 34