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

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