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