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