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