loading SCIP... n: 30 m: 37 packed: 7 density: 70 nodes: 0 solverTime: 15 buildTime: 0 solved: false 0 9 26 4 5 21 6 7 18 8 12 25 13 14 27 16 17 24 20 23 28