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

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