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

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