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

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