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

2 10 38 
7 23 39 
8 11 17 
9 13 34 
12 18 22 
15 26 30 
16 20 28 
31 32 36