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

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