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