loading SCIP... n: 30 m: 124 packed: 9 density: 90 nodes: 0 solverTime: 125 buildTime: 0 solved: false 0 6 12 1 4 29 2 8 20 3 10 21 5 18 23 7 13 19 11 16 24 15 22 28 17 25 26