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