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

1 5 19 
6 20 29 
7 16 21 
10 12 26 
11 15 23 
13 27 28 
14 18 22