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

0 2 25 
3 35 39 
5 6 23 
7 21 27 
11 30 32 
12 20 38 
14 26 31 
15 17 33