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

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