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

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