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

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