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

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