loading SCIP...
n: 30 m: 69 packed: 8 density: 80 nodes: 0 solverTime: 47 buildTime: 0 solved: false

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