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

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