loading SCIP...
n: 30 m: 33 packed: 7 density: 70 nodes: 0 solverTime: 16 buildTime: 0 solved: false

0 3 19 
2 21 23 
4 16 20 
7 14 24 
8 25 27 
10 11 13 
15 26 29