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