loading SCIP...
n: 30 m: 463 packed: 10 density: 100 nodes: 0 solverTime: 140 buildTime: 0 solved: true

0 17 21 
1 20 24 
2 10 13 
3 15 26 
4 16 27 
5 7 29 
6 8 22 
9 19 23 
11 18 25 
12 14 28