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

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