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