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

0 21 27 
1 5 37 
2 12 35 
8 25 36 
11 19 38 
13 17 29 
14 22 32 
20 24 33