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