loading SCIP... n: 30 m: 60 packed: 8 density: 80 nodes: 0 solverTime: 31 buildTime: 0 solved: false 0 15 25 1 8 21 2 6 14 4 10 16 5 9 26 7 20 23 11 12 19 17 22 28