JavaPathfinder v6.0 (rev 652+) - (C) RIACS/NASA Ames Research Center


====================================================== system under test
application: papabench/pj/PapaBenchPlainJavaApplication.java

====================================================== search started: 26/02/12 23:47
papabench.core.autopilot.modules.impl.EstimatorModuleImpl: Flight time = 1
papabench.core.autopilot.tasks.handlers.NavigationTaskHandler: 


============================ Navigation cycle: 1
papabench.core.commons.data.impl.AbstractFlightPlan$NavigationBlock: Block 0 Stage 0 executed
papabench.core.autopilot.modules.impl.EstimatorModuleImpl: Flight time = 2
papabench.core.autopilot.tasks.handlers.NavigationTaskHandler: 


============================ Navigation cycle: 2
papabench.core.commons.data.impl.AbstractFlightPlan$NavigationBlock: Block 0 Stage 1 executed
papabench.core.autopilot.modules.impl.EstimatorModuleImpl: Flight time = 3
papabench.core.autopilot.tasks.handlers.NavigationTaskHandler: 


============================ Navigation cycle: 3
papabench.core.commons.data.impl.AbstractFlightPlan$NavigationBlock: Block 0 Stage 1 executed
papabench.core.autopilot.modules.impl.EstimatorModuleImpl: Flight time = 4
papabench.core.autopilot.tasks.handlers.NavigationTaskHandler: 


============================ Navigation cycle: 4
papabench.core.commons.data.impl.AbstractFlightPlan$NavigationBlock: Block 0 Stage 1 executed
papabench.core.autopilot.modules.impl.EstimatorModuleImpl: Flight time = 5
papabench.core.autopilot.tasks.handlers.NavigationTaskHandler: 


============================ Navigation cycle: 5
papabench.core.commons.data.impl.AbstractFlightPlan$NavigationBlock: Block 0 Stage 1 executed
papabench.core.autopilot.modules.impl.EstimatorModuleImpl: Flight time = 6
papabench.core.autopilot.tasks.handlers.NavigationTaskHandler: 


============================ Navigation cycle: 6
papabench.core.commons.data.impl.AbstractFlightPlan$NavigationBlock: Block 0 Stage 1 executed
papabench.core.autopilot.modules.impl.EstimatorModuleImpl: Flight time = 7
papabench.core.autopilot.tasks.handlers.NavigationTaskHandler: 


============================ Navigation cycle: 7
papabench.core.commons.data.impl.AbstractFlightPlan$NavigationBlock: Block 0 Stage 1 executed
papabench.core.autopilot.modules.impl.EstimatorModuleImpl: Flight time = 8
papabench.core.autopilot.tasks.handlers.NavigationTaskHandler: 


============================ Navigation cycle: 8
papabench.core.commons.data.impl.AbstractFlightPlan$NavigationBlock: Block 0 Stage 1 executed
papabench.core.autopilot.modules.impl.EstimatorModuleImpl: Flight time = 9
papabench.core.autopilot.tasks.handlers.NavigationTaskHandler: 


============================ Navigation cycle: 9
papabench.core.commons.data.impl.AbstractFlightPlan$NavigationBlock: Block 0 Stage 1 executed
papabench.core.autopilot.modules.impl.EstimatorModuleImpl: Flight time = 10
papabench.core.autopilot.tasks.handlers.NavigationTaskHandler: 


============================ Navigation cycle: 10
papabench.core.commons.data.impl.AbstractFlightPlan$NavigationBlock: Block 0 Stage 2 executed
papabench.core.autopilot.modules.impl.EstimatorModuleImpl: Flight time = 11
papabench.core.autopilot.tasks.handlers.NavigationTaskHandler: 


============================ Navigation cycle: 11
papabench.core.commons.data.impl.AbstractFlightPlan$NavigationBlock: Block 0 Stage 2 executed
papabench.core.autopilot.modules.impl.EstimatorModuleImpl: Flight time = 12
papabench.core.autopilot.tasks.handlers.NavigationTaskHandler: 


============================ Navigation cycle: 12
papabench.core.commons.data.impl.AbstractFlightPlan$NavigationBlock: Block 0 Stage 2 executed
papabench.core.autopilot.modules.impl.EstimatorModuleImpl: Flight time = 13
papabench.core.autopilot.tasks.handlers.NavigationTaskHandler: 


============================ Navigation cycle: 13
papabench.core.commons.data.impl.AbstractFlightPlan$NavigationBlock: Block 0 Stage 2 executed
========potential races========
======== sumary ========

====================================================== results
no errors detected

====================================================== statistics
elapsed time:       00:00:05
states:             new=1056, visited=0, backtracked=0, end=0
search:             maxDepth=1056, constraints hit=0
choice generators:  thread=1056 (signal=0, lock=4, shared ref=0), data=0
heap:               new=2181, released=908, max live=1287, gc-cycles=1056
instructions:       1330423
max memory:         104MB
loaded code:        classes=249, methods=2766

====================================================== search finished: 26/02/12 23:47