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

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