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