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


====================================================== system under test
application: Tsp.java
arguments:   map4 2 

====================================================== search started: 01/04/12 20:33

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

====================================================== statistics
elapsed time:       00:09:16
states:             new=25814, visited=40704, backtracked=66517, end=11
search:             maxDepth=448, constraints hit=0
choice generators:  thread=25814 (signal=0, lock=2838, shared ref=17387), data=0
heap:               new=19171, released=767, max live=15916, gc-cycles=47954
instructions:       3490514
max memory:         126MB
loaded code:        classes=103, methods=1536

====================================================== search finished: 01/04/12 20:42