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

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