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

1 5 31 
6 11 28 
9 21 24 
10 14 23 
17 26 36 
19 32 39 
22 30 37