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

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