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

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