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