loading SCIP...
n: 30 m: 70 packed: 9 density: 90 nodes: 0 solverTime: 31 buildTime: 0 solved: false

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