loading SCIP... n: 30 m: 54 packed: 8 density: 80 nodes: 0 solverTime: 31 buildTime: 0 solved: false 0 3 9 1 16 27 4 13 18 5 8 26 6 12 29 11 17 21 14 20 22 19 24 28