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