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

0 7 16 
2 3 22 
4 12 17 
5 14 28 
9 25 29 
11 13 27 
15 18 26 
19 21 23