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

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