loading SCIP... n: 40 m: 26 packed: 8 density: 61 nodes: 0 solverTime: 16 buildTime: 0 solved: false 0 33 35 3 4 6 8 16 27 10 26 38 11 22 31 14 21 39 18 23 24 29 30 37