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