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

0 18 32 
1 36 38 
5 20 25 
6 21 35 
8 13 24 
10 27 31 
14 34 39