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

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