loading SCIP... n: 30 m: 62 packed: 8 density: 80 nodes: 0 solverTime: 31 buildTime: 0 solved: false 0 19 22 1 9 29 4 13 15 6 14 16 7 12 20 8 10 21 17 18 28 24 26 27