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

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