loading SCIP... n: 30 m: 158 packed: 10 density: 100 nodes: 0 solverTime: 484 buildTime: 0 solved: true 0 1 19 2 3 6 4 14 25 5 15 17 7 11 29 8 9 27 10 21 23 12 24 26 13 16 18 20 22 28