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

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