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

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