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