loading SCIP...
n: 40 m: 23 packed: 8 density: 61 nodes: 0 solverTime: 16 buildTime: 0 solved: false

1 15 22 
5 11 21 
6 23 37 
7 8 31 
12 17 18 
13 16 29 
20 25 27 
33 35 36