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

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