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

1 7 37 
2 14 31 
3 30 36 
8 20 23 
10 12 17 
15 27 35 
19 22 24 
26 28 39