JavaPathfinder v6.0 (rev 652+) - (C) RIACS/NASA Ames Research Center ====================================================== system under test application: org/objectweb/dsrg/bpc/demo/Simulator.java ====================================================== search started: 20/03/12 13:56 first client runs first client ends second client runs second client ends first client ends second client runs second client ends first client ends second client runs second client ends first client ends second client runs second client ends first client ends second client runs second client ends first client ends second client runs second client ends second client runs first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends second client ends first client ends second client ends first client ends first client ends second client ends first client ends second client ends first client ends second client runs second client ends first client ends second client ends first client ends second client runs first client ends second client ends second client runs second client runs second client runs second client runs second client runs second client runs second client runs first client ends second client runs second client runs second client runs second client runs second client runs second client runs second client runs second client runs second client runs second client runs second client runs second client runs second client runs second client runs second client runs second client runs second client runs second client runs second client runs first client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends second client ends second client ends second client ends second client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends second client ends second client ends second client ends second client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends second client ends first client ends second client ends first client ends first client ends second client ends first client ends second client ends first client ends second client ends second client ends second client ends second client ends second client ends second client ends second client ends first client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends second client ends second client ends second client ends second client ends second client ends second client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends second client ends second client ends second client ends second client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends second client ends first client ends second client ends first client ends first client ends second client ends second client ends first client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends second client ends second client ends second client ends second client ends second client ends second client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends second client ends second client ends second client ends second client ends first client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends second client ends second client ends second client ends second client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends second client ends first client ends second client ends first client ends first client ends second client ends second client ends first client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends second client ends second client ends second client ends second client ends second client ends second client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends second client ends second client ends second client ends second client ends second client ends first client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends second client ends second client ends second client ends second client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends second client ends first client ends second client ends first client ends first client ends second client ends second client ends first client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends second client ends second client ends second client ends second client ends second client ends second client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends second client ends second client ends second client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends second client ends second client ends second client ends second client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends second client ends first client ends second client ends first client ends first client ends second client ends second client ends first client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends second client ends second client ends second client ends second client ends second client ends second client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends second client ends second client ends second client ends second client ends second client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client runs second client runs second client runs second client runs second client runs second client runs second client runs second client runs second client runs second client runs second client runs second client runs second client runs second client runs second client runs second client runs second client runs second client ends first client ends second client ends first client ends second client ends first client ends second client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends second client ends second client ends second client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends second client ends second client ends second client ends second client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends second client ends second client ends second client ends second client ends second client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends second client ends second client ends second client ends second client ends second client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client runs second client runs second client runs second client runs second client runs second client runs second client runs second client runs second client runs second client runs second client runs second client runs second client runs second client runs second client runs second client runs second client runs second client ends first client ends second client ends first client ends second client ends first client ends second client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends second client ends second client ends second client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends second client ends second client ends second client ends second client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends second client ends second client ends second client ends second client ends second client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends second client ends second client ends second client ends second client ends second client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client runs second client ends first client ends second client ends first client ends second client ends first client ends second client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends second client ends second client ends second client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends second client ends second client ends second client ends second client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends second client ends second client ends second client ends second client ends second client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends second client ends second client ends second client ends second client ends second client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends second client ends second client ends second client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends second client ends second client ends second client ends second client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends second client ends second client ends second client ends second client ends second client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends second client ends second client ends second client ends second client ends second client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends second client ends second client ends second client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends second client ends second client ends second client ends second client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends second client ends second client ends second client ends second client ends second client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends second client ends second client ends second client ends second client ends second client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends second client ends second client ends second client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends second client ends second client ends second client ends second client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends second client ends second client ends second client ends second client ends second client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends second client ends second client ends second client ends second client ends second client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends second client ends second client ends second client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends second client ends second client ends second client ends second client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends second client ends second client ends second client ends second client ends second client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends second client ends second client ends second client ends second client ends second client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends second client ends second client ends second client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends second client ends second client ends second client ends second client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends second client ends second client ends second client ends second client ends second client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends second client ends second client ends second client ends second client ends second client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends second client ends second client ends second client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends second client ends second client ends second client ends second client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends second client ends second client ends second client ends second client ends second client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends second client ends second client ends second client ends second client ends second client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends second client ends second client ends second client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends second client ends second client ends second client ends second client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends second client ends second client ends second client ends second client ends second client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends second client ends second client ends second client ends second client ends second client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends second client ends second client ends second client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends second client ends second client ends second client ends second client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends second client ends second client ends second client ends second client ends second client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends second client ends second client ends second client ends second client ends second client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends second client ends second client ends second client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends second client ends second client ends second client ends second client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends second client ends second client ends second client ends second client ends second client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends second client ends second client ends second client ends second client ends second client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends second client ends second client ends second client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends second client ends second client ends second client ends second client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends second client ends second client ends second client ends second client ends second client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends second client ends second client ends second client ends second client ends second client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends second client ends second client ends second client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends second client ends second client ends second client ends second client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends second client ends second client ends second client ends second client ends second client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends second client ends second client ends second client ends second client ends second client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends second client ends second client ends second client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends second client ends second client ends second client ends second client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends second client ends second client ends second client ends second client ends second client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends second client ends second client ends second client ends second client ends second client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends second client ends second client ends second client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends second client ends second client ends second client ends second client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends second client ends second client ends second client ends second client ends second client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends second client ends second client ends second client ends second client ends second client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends second client ends second client ends second client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends second client ends second client ends second client ends second client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends second client ends second client ends second client ends second client ends second client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends second client ends second client ends second client ends second client ends second client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends second client ends second client ends second client ends second client ends second client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends second client ends second client ends second client ends second client ends second client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client runs second client ends first client ends second client ends first client ends second client ends first client ends second client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends second client ends second client ends second client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends second client ends second client ends second client ends second client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends second client ends second client ends second client ends second client ends second client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends second client ends second client ends second client ends second client ends second client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends second client ends second client ends second client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends second client ends second client ends second client ends second client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends second client ends second client ends second client ends second client ends second client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends second client ends second client ends second client ends second client ends second client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends ====================================================== error #1 gov.nasa.jpf.listener.PreciseRaceDetector race for field org.objectweb.dsrg.bpc.demo.IpAddressManagerImpl@433.usePermanentDb Thread-1 at org.objectweb.dsrg.bpc.demo.IpAddressManagerImpl.RenewIpAddress(IpAddressManagerImpl.java:153) " : getfield Thread-2 at org.objectweb.dsrg.bpc.demo.IpAddressManagerImpl.StopUsingPermanentIpDatabase(IpAddressManagerImpl.java:202) " : putfield ====================================================== snapshot #1 thread org.objectweb.dsrg.bpc.demo.Simulator$SimThread1:{id:1,name:Thread-1,status:RUNNING,priority:5,lockCount:0,suspendCount:0} owned locks:org.objectweb.dsrg.bpc.demo.IpAddressManagerImpl@433 call stack: at org.objectweb.dsrg.bpc.demo.IpAddressManagerImpl.RenewIpAddress(IpAddressManagerImpl.java:153) at org.objectweb.dsrg.bpc.demo.DhcpListenerImpl.RenewIpAddress(DhcpListenerImpl.java:48) at org.objectweb.dsrg.bpc.demo.Simulator$SimThread1.run(Simulator.java:214) thread org.objectweb.dsrg.bpc.demo.Simulator$SimThread2:{id:2,name:Thread-2,status:RUNNING,priority:5,lockCount:0,suspendCount:0} call stack: at org.objectweb.dsrg.bpc.demo.IpAddressManagerImpl.StopUsingPermanentIpDatabase(IpAddressManagerImpl.java:202) at org.objectweb.dsrg.bpc.demo.Simulator$SimThread2.run(Simulator.java:243) ====================================================== results error #1: gov.nasa.jpf.listener.PreciseRaceDetector "race for field org.objectweb.dsrg.bpc.demo.IpAddre..." ====================================================== statistics elapsed time: 00:00:39 states: new=43307, visited=39842, backtracked=83132, end=2825 search: maxDepth=103, constraints hit=0 choice generators: thread=43305 (signal=0, lock=1549, shared ref=38925), data=0 heap: new=37775, released=117998, max live=1300, gc-cycles=78405 instructions: 7546897 max memory: 291MB loaded code: classes=176, methods=2533 ====================================================== search finished: 20/03/12 13:56