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

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