loading SCIP... n: 30 m: 33 packed: 7 density: 70 nodes: 0 solverTime: 15 buildTime: 0 solved: false 0 11 15 2 24 26 3 12 19 4 16 17 5 13 18 8 20 25 22 23 29