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

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