loading SCIP...
n: 40 m: 60 packed: 11 density: 84 nodes: 0 solverTime: 31 buildTime: 0 solved: false

1 5 23 
3 26 36 
4 7 31 
6 15 16 
8 21 35 
9 19 38 
10 13 17 
11 18 22 
14 20 28 
24 37 39 
25 27 30