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

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