loading SCIP... n: 30 m: 59 packed: 8 density: 80 nodes: 0 solverTime: 31 buildTime: 0 solved: false 0 14 25 1 6 26 3 20 23 5 7 21 8 9 19 11 18 27 13 17 29 22 24 28