loading SCIP... n: 30 m: 54 packed: 8 density: 80 nodes: 0 solverTime: 32 buildTime: 0 solved: false 0 4 14 2 5 24 6 10 21 7 13 18 11 22 29 12 23 26 15 17 27 19 25 28