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