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

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