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

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