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

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