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