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