loading SCIP...
n: 40 m: 16 packed: 7 density: 53 nodes: 0 solverTime: 16 buildTime: 0 solved: false

2 13 22 
5 21 27 
10 18 23 
12 20 34 
14 15 25 
19 29 31 
30 36 38