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

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