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