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