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

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