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

0 27 34 
2 8 22 
4 6 32 
7 12 35 
9 16 23 
10 30 37 
14 17 39 
15 36 38