loading SCIP... n: 30 m: 66 packed: 8 density: 80 nodes: 0 solverTime: 31 buildTime: 0 solved: false 0 7 26 1 15 20 3 16 23 4 17 25 5 11 28 6 22 29 8 10 18 19 24 27