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

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