loading SCIP...
n: 40 m: 32 packed: 7 density: 53 nodes: 0 solverTime: 15 buildTime: 0 solved: false

0 7 12 
1 6 19 
3 27 39 
13 24 25 
16 23 29 
17 34 35 
18 21 31