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

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