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

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