loading SCIP... n: 30 m: 81 packed: 8 density: 80 nodes: 0 solverTime: 31 buildTime: 0 solved: false 0 9 19 1 24 25 2 21 27 3 4 14 5 12 28 6 10 11 8 13 15 18 20 23