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