loading SCIP... n: 40 m: 24 packed: 7 density: 53 nodes: 0 solverTime: 15 buildTime: 0 solved: false 0 6 14 1 3 17 5 8 25 9 19 33 15 16 28 18 22 35 26 34 36