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

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