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