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

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