loading SCIP... n: 30 m: 36 packed: 7 density: 70 nodes: 0 solverTime: 46 buildTime: 0 solved: false 0 2 27 1 18 20 3 10 17 4 5 16 8 14 29 9 11 13 22 23 28