loading SCIP... n: 30 m: 57 packed: 8 density: 80 nodes: 0 solverTime: 32 buildTime: 0 solved: false 0 19 25 1 10 20 2 21 24 4 15 17 5 6 29 9 11 26 14 18 22 16 27 28