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

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