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

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