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

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