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

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