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

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