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