loading SCIP... n: 30 m: 60 packed: 8 density: 80 nodes: 0 solverTime: 32 buildTime: 0 solved: false 0 2 3 1 6 16 4 11 22 7 24 26 8 17 29 9 10 13 12 15 20 19 21 23