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

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