$ time (java RunDijkstra < routedata12.txt)$$(img src="/local-icons/enter.gif"$$)
Exception in thread "main" java.lang.OutOfMemoryError: Java heap space
        at RunDijkstra.doInput(RunDijkstra.java:16)
        at RunDijkstra.main(RunDijkstra.java:7)

real    0m0.520s  ←途中で例外が起きているのでこの値には意味がありません
user    0m0.031s
sys     0m0.015s

$ time (java -Xmx4300M RunDijkstra < routedata12.txt) $$(img src="/local-icons/enter.gif"$$)
693.0

real	...省略...  ←正しく測れています
user	0m16.462s
sys	0m2.680s

$ time (java RunPFSearch < routedata12.txt) $$(img src="/local-icons/enter.gif"$$)
node#19499[19349,693.0]

real	...省略...
user	0m1.946s
sys	0m0.104s