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

1 12 23 
3 9 32 
6 25 37 
7 26 29 
8 13 33 
11 17 35 
14 15 21 
16 19 20 
18 28 30 
22 24 38 
31 34 39