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