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

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