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

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