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

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