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

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