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

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