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

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