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

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