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