Trace number 248466

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds, and are wall clock time (not CPU time).

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Abscon 109 ESAC? (TO) 1800.09 1811.31

General information on the benchmark

Nameprimes/primes-30/
primes-30-60-3-7.xml
MD5SUM193ddccebbf65b73eaa3e42ecd992a5d
Bench CategoryN-ARY-INT (n-ary constraints in intension)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables100
Number of constraints60
Maximum constraint arity10
Maximum domain size112
Number of constraints which are defined in extension0
Number of constraints which are defined in intension60
Global constraints used (with number of constraints)

Solver Data (download as text)

0.42	   
0.42	Abscon 109 (November, 2006)
0.42	   
0.42	   configuration
0.42	     name=esac.xml
0.45	   
0.45	   instance
0.45	     name=/tmp/evaluation/248466-1168399778/unknown.xml
0.48	   
0.48	   domains being loaded...
0.49	   
0.49	   variables being loaded...
0.54	     nbVariables=100  nbDomainTypes=1  minDomainSize=112  maxDomainSize=112
0.54	       =>  wckTime=0.114  cpuTime=0.1  mem=7M927
0.54	   
0.54	   predicates being loaded...
0.59	   
0.59	   constraints being loaded...
0.72	     nbConstraints=60  nbSingletonDomainVariables=3  nbDisconnectedVariables=3  nbUnbuiltConflictsStructures=60
0.72	     nbSharedBinaryRepresentations=0  nbEvaluationManagers=60  nbSharedEvaluationManagers=0  maxDegree=11  maxArity=10
0.72	       =>  wckTime=0.301  cpuTime=0.22  mem=11M828
0.77	   
0.77	   solver IterativeSystematicSolver being built... 
0.96	       =>  wckTime=0.535  cpuTime=0.37  mem=17M736
4.29	   
4.29	   preprocessing
4.29	     nbConstraintChecks=7301246  nbValidityChecks=2575  nbPropagations=258  nbRevisions=76  nbUselessRevisions=18
4.29	     nbSingletonTests=117  nbEffectiveSingletonTests=0  nbESACBranches=6  nbRemovedValues=546  detectedInconsistency=no
4.29	       =>  wckTime=3.327  cpuTime=3.01  mem=17M736
6.70	   
6.70	   search
6.70	     run=0  nbConstraintChecks=2945641  nbValidityChecks=2025  nbPropagations=755  nbRevisions=341
6.70	     nbUselessRevisions=32  nbAssignments=246  nbFailedAssignments=228  nbBacktracks=12  nbVisitedNodes=475
6.70	     nbRestartNogoods=0  mapSize=6  nbInferences=0  nbTooLargeKeys=0
6.70	       =>  wckTime=5.737  cpuTime=5.01  mem=17M736
11.22	   
11.22	   search
11.22	     run=1  nbConstraintChecks=9027007  nbValidityChecks=8106  nbPropagations=2525  nbRevisions=1242
11.22	     nbUselessRevisions=99  nbAssignments=736  nbFailedAssignments=683  nbBacktracks=28  nbVisitedNodes=1420
11.22	     nbRestartNogoods=5  mapSize=15  nbInferences=0  nbTooLargeKeys=0
11.22	       =>  wckTime=10.262  cpuTime=9.1  mem=17M736
24.12	   
24.12	   search
24.12	     run=2  nbConstraintChecks=27285665  nbValidityChecks=43553  nbPropagations=7955  nbRevisions=4088
24.12	     nbUselessRevisions=241  nbAssignments=2508  nbFailedAssignments=1915  nbBacktracks=50  nbVisitedNodes=3906
24.12	     nbRestartNogoods=123  mapSize=26  nbInferences=0  nbTooLargeKeys=0
24.12	       =>  wckTime=23.166  cpuTime=20.76  mem=18M712
37.31	   
37.31	   search
37.31	     run=3  nbConstraintChecks=47684947  nbValidityChecks=58423  nbPropagations=16815  nbRevisions=8816
37.31	     nbUselessRevisions=437  nbAssignments=4110  nbFailedAssignments=3454  nbBacktracks=83  nbVisitedNodes=7047
37.31	     nbRestartNogoods=123  mapSize=46  nbInferences=0  nbTooLargeKeys=0
37.31	       =>  wckTime=36.35  cpuTime=33.63  mem=18M712
51.25	   
51.25	   search
51.25	     run=4  nbConstraintChecks=70440068  nbValidityChecks=148077  nbPropagations=32221  nbRevisions=18061
51.25	     nbUselessRevisions=1725  nbAssignments=7185  nbFailedAssignments=4571  nbBacktracks=133  nbVisitedNodes=9353
51.25	     nbRestartNogoods=177  mapSize=77  nbInferences=0  nbTooLargeKeys=0
51.25	       =>  wckTime=50.292  cpuTime=47.34  mem=18M712
54.19	   
54.19	   search
54.19	     run=5  nbConstraintChecks=75130563  nbValidityChecks=198115  nbPropagations=49081  nbRevisions=28343
54.19	     nbUselessRevisions=3158  nbAssignments=7746  nbFailedAssignments=4699  nbBacktracks=208  nbVisitedNodes=9703
54.19	     nbRestartNogoods=274  mapSize=152  nbInferences=0  nbTooLargeKeys=0
54.19	       =>  wckTime=53.231  cpuTime=50.27  mem=18M712
68.43	   
68.43	   search
68.43	     run=6  nbConstraintChecks=94752695  nbValidityChecks=235250  nbPropagations=69296  nbRevisions=40619
68.43	     nbUselessRevisions=4806  nbAssignments=9340  nbFailedAssignments=6105  nbBacktracks=321  nbVisitedNodes=12670
68.43	     nbRestartNogoods=326  mapSize=245  nbInferences=0  nbTooLargeKeys=0
68.43	       =>  wckTime=67.475  cpuTime=64.5  mem=18M712
151.98	   
151.98	   search
151.98	     run=7  nbConstraintChecks=179288557  nbValidityChecks=467999  nbPropagations=104950  nbRevisions=62143
151.98	     nbUselessRevisions=7273  nbAssignments=16894  nbFailedAssignments=11717  nbBacktracks=491  nbVisitedNodes=24105
151.98	     nbRestartNogoods=408  mapSize=375  nbInferences=0  nbTooLargeKeys=0
151.98	       =>  wckTime=151.021  cpuTime=148.02  mem=18M712
191.93	   
191.93	   search
191.93	     run=8  nbConstraintChecks=244780831  nbValidityChecks=1304672  nbPropagations=160976  nbRevisions=101238
191.93	     nbUselessRevisions=14740  nbAssignments=26125  nbFailedAssignments=14089  nbBacktracks=747  nbVisitedNodes=29119
191.93	     nbRestartNogoods=648  mapSize=604  nbInferences=0  nbTooLargeKeys=0
191.93	       =>  wckTime=190.972  cpuTime=187.75  mem=18M712
359.13	   
359.13	   search
359.13	     run=9  nbConstraintChecks=517814597  nbValidityChecks=4723830  nbPropagations=257120  nbRevisions=185406
359.13	     nbUselessRevisions=30715  nbAssignments=39496  nbFailedAssignments=27047  nbBacktracks=1131  nbVisitedNodes=55448
359.13	     nbRestartNogoods=656  mapSize=941  nbInferences=0  nbTooLargeKeys=0
359.13	       =>  wckTime=358.169  cpuTime=353.84  mem=19M687
367.40	   
367.40	   INFO : Stopping hyperNogood (mapSize=1024, nbTooLargekeys=0, mem=19M687)
380.26	   
380.26	   search
380.26	     run=10  nbConstraintChecks=548328622  nbValidityChecks=5031291  nbPropagations=360965  nbRevisions=275870
380.26	     nbUselessRevisions=47938  nbAssignments=42294  nbFailedAssignments=27707  nbBacktracks=1707  nbVisitedNodes=57372
380.26	     nbRestartNogoods=813
380.26	       =>  wckTime=379.306  cpuTime=374.86  mem=19M687
741.41	   
741.41	   search
741.41	     run=11  nbConstraintChecks=982571947  nbValidityChecks=9059356  nbPropagations=517223  nbRevisions=414173
741.41	     nbUselessRevisions=65851  nbAssignments=68013  nbFailedAssignments=50637  nbBacktracks=2573  nbVisitedNodes=104127
741.41	     nbRestartNogoods=1057
741.41	       =>  wckTime=740.452  cpuTime=734.31  mem=19M687
1421.85	   
1421.85	   search
1421.85	     run=12  nbConstraintChecks=1869915969  nbValidityChecks=16808700  nbPropagations=761013  nbRevisions=660264
1421.85	     nbUselessRevisions=86257  nbAssignments=110136  nbFailedAssignments=89125  nbBacktracks=3871  nbVisitedNodes=182413
1421.85	     nbRestartNogoods=1139
1421.85	       =>  wckTime=1420.894  cpuTime=1411.55  mem=19M687
1575.15	   
1575.15	   search
1575.15	     run=13  nbConstraintChecks=2067814198  nbValidityChecks=18618398  nbPropagations=1031182  nbRevisions=936818
1575.15	     nbUselessRevisions=108941  nbAssignments=121069  nbFailedAssignments=97634  nbBacktracks=5817
1575.15	     nbVisitedNodes=201409  nbRestartNogoods=1237
1575.15	       =>  wckTime=1574.193  cpuTime=1564.1  mem=19M687

Verifier Data (download as text)

ERROR: Unexpected answer ! (SAT/UNSAT expected)
Got answer:

Watcher Data (download as text)

runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node3/watcher-248466-1168399778 -o ROOT/results/node3/solver-248466-1168399778 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/248466-1168399778/unknown.xml 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB

/proc/loadavg: 2.26 2.05 1.87 4/97 7410
/proc/meminfo: memFree=1416584/2055920 swapFree=4192812/4192956
[pid=7409] ppid=7407 vsize=18540 CPUtime=0
/proc/7409/stat : 7409 (runsolver) R 7407 7409 7342 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 188373467 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 233632754983 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/7409/statm: 4635 279 244 17 0 2626 0

[startup+0.10788 s]
/proc/loadavg: 2.26 2.05 1.87 4/97 7410
/proc/meminfo: memFree=1416584/2055920 swapFree=4192812/4192956
[pid=7409] ppid=7407 vsize=914988 CPUtime=0.08
/proc/7409/stat : 7409 (java) R 7407 7409 7342 0 -1 0 2994 0 1 0 7 1 0 0 17 0 8 0 188373467 936947712 2740 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072923466 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7409/statm: 228747 2740 1427 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988

[startup+0.515944 s]
/proc/loadavg: 2.26 2.05 1.87 4/97 7410
/proc/meminfo: memFree=1416584/2055920 swapFree=4192812/4192956
[pid=7409] ppid=7407 vsize=915328 CPUtime=0.38
/proc/7409/stat : 7409 (java) R 7407 7409 7342 0 -1 0 6081 0 1 0 35 3 0 0 18 0 8 0 188373467 937295872 5820 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7409/statm: 228832 5820 2135 14 0 215302 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 915328

[startup+1.33907 s]
/proc/loadavg: 2.26 2.05 1.87 3/104 7417
/proc/meminfo: memFree=1352336/2055920 swapFree=4192812/4192956
[pid=7409] ppid=7407 vsize=915460 CPUtime=1.2
/proc/7409/stat : 7409 (java) R 7407 7409 7342 0 -1 0 9330 0 1 0 114 6 0 0 23 0 8 0 188373467 937431040 9068 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073341072 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7409/statm: 228865 9068 2541 14 0 215335 0
[pid=7409/tid=7411] ppid=7407 vsize=915460 CPUtime=0.03
/proc/7409/task/7411/stat : 7411 (java) S 7407 7409 7342 0 -1 64 220 0 0 0 3 0 0 0 16 0 8 0 188373471 937431040 9068 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7409/tid=7412] ppid=7407 vsize=915460 CPUtime=0
/proc/7409/task/7412/stat : 7412 (java) S 7407 7409 7342 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 188373471 937431040 9068 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7409/tid=7413] ppid=7407 vsize=915460 CPUtime=0
/proc/7409/task/7413/stat : 7413 (java) S 7407 7409 7342 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 188373471 937431040 9068 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7409/tid=7414] ppid=7407 vsize=915460 CPUtime=0
/proc/7409/task/7414/stat : 7414 (java) S 7407 7409 7342 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 188373474 937431040 9068 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7409/tid=7415] ppid=7407 vsize=915460 CPUtime=0.18
/proc/7409/task/7415/stat : 7415 (java) S 7407 7409 7342 0 -1 64 359 0 0 0 17 1 0 0 15 0 8 0 188373474 937431040 9068 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7409/tid=7416] ppid=7407 vsize=915460 CPUtime=0
/proc/7409/task/7416/stat : 7416 (java) S 7407 7409 7342 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 188373475 937431040 9068 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7409/tid=7417] ppid=7407 vsize=915460 CPUtime=0
/proc/7409/task/7417/stat : 7417 (java) S 7407 7409 7342 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 188373475 937431040 9068 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.2
Current children cumulated vsize (KiB) 915460

[startup+2.98834 s]
/proc/loadavg: 2.26 2.05 1.87 5/104 7417
/proc/meminfo: memFree=1336336/2055920 swapFree=4192812/4192956
[pid=7409] ppid=7407 vsize=915460 CPUtime=2.7
/proc/7409/stat : 7409 (java) R 7407 7409 7342 0 -1 0 9332 0 1 0 264 6 0 0 25 0 8 0 188373467 937431040 9069 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073799605 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7409/statm: 228865 9069 2541 14 0 215335 0
[pid=7409/tid=7411] ppid=7407 vsize=915460 CPUtime=0.03
/proc/7409/task/7411/stat : 7411 (java) S 7407 7409 7342 0 -1 64 220 0 0 0 3 0 0 0 17 0 8 0 188373471 937431040 9069 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7409/tid=7412] ppid=7407 vsize=915460 CPUtime=0
/proc/7409/task/7412/stat : 7412 (java) S 7407 7409 7342 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 188373471 937431040 9069 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7409/tid=7413] ppid=7407 vsize=915460 CPUtime=0
/proc/7409/task/7413/stat : 7413 (java) S 7407 7409 7342 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 188373471 937431040 9069 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7409/tid=7414] ppid=7407 vsize=915460 CPUtime=0
/proc/7409/task/7414/stat : 7414 (java) S 7407 7409 7342 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 188373474 937431040 9069 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7409/tid=7415] ppid=7407 vsize=915460 CPUtime=0.18
/proc/7409/task/7415/stat : 7415 (java) S 7407 7409 7342 0 -1 64 361 0 0 0 17 1 0 0 15 0 8 0 188373474 937431040 9069 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7409/tid=7416] ppid=7407 vsize=915460 CPUtime=0
/proc/7409/task/7416/stat : 7416 (java) S 7407 7409 7342 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 188373475 937431040 9069 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7409/tid=7417] ppid=7407 vsize=915460 CPUtime=0
/proc/7409/task/7417/stat : 7417 (java) S 7407 7409 7342 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 188373475 937431040 9069 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.7
Current children cumulated vsize (KiB) 915460

[startup+6.28088 s]
/proc/loadavg: 2.40 2.08 1.88 3/104 7417
/proc/meminfo: memFree=1292496/2055920 swapFree=4192812/4192956
[pid=7409] ppid=7407 vsize=915460 CPUtime=5.61
/proc/7409/stat : 7409 (java) R 7407 7409 7342 0 -1 0 9455 0 1 0 554 7 0 0 19 0 8 0 188373467 937431040 9189 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073479196 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7409/statm: 228865 9189 2544 14 0 215335 0
[pid=7409/tid=7411] ppid=7407 vsize=915460 CPUtime=0.03
/proc/7409/task/7411/stat : 7411 (java) S 7407 7409 7342 0 -1 64 220 0 0 0 3 0 0 0 17 0 8 0 188373471 937431040 9189 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7409/tid=7412] ppid=7407 vsize=915460 CPUtime=0
/proc/7409/task/7412/stat : 7412 (java) S 7407 7409 7342 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 188373471 937431040 9189 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7409/tid=7413] ppid=7407 vsize=915460 CPUtime=0
/proc/7409/task/7413/stat : 7413 (java) S 7407 7409 7342 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 188373471 937431040 9189 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7409/tid=7414] ppid=7407 vsize=915460 CPUtime=0
/proc/7409/task/7414/stat : 7414 (java) S 7407 7409 7342 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 188373474 937431040 9189 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7409/tid=7415] ppid=7407 vsize=915460 CPUtime=0.21
/proc/7409/task/7415/stat : 7415 (java) S 7407 7409 7342 0 -1 64 379 0 0 0 20 1 0 0 15 0 8 0 188373474 937431040 9189 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7409/tid=7416] ppid=7407 vsize=915460 CPUtime=0
/proc/7409/task/7416/stat : 7416 (java) S 7407 7409 7342 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 188373475 937431040 9189 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7409/tid=7417] ppid=7407 vsize=915460 CPUtime=0
/proc/7409/task/7417/stat : 7417 (java) S 7407 7409 7342 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 188373475 937431040 9189 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 5.61
Current children cumulated vsize (KiB) 915460

[startup+12.7577 s]
/proc/loadavg: 2.37 2.08 1.88 5/104 7417
/proc/meminfo: memFree=1190160/2055920 swapFree=4192812/4192956
[pid=7409] ppid=7407 vsize=915460 CPUtime=11.09
/proc/7409/stat : 7409 (java) R 7407 7409 7342 0 -1 0 9477 0 1 0 1102 7 0 0 25 0 8 0 188373467 937431040 9206 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073804448 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7409/statm: 228865 9206 2544 14 0 215335 0
[pid=7409/tid=7411] ppid=7407 vsize=915460 CPUtime=0.03
/proc/7409/task/7411/stat : 7411 (java) S 7407 7409 7342 0 -1 64 220 0 0 0 3 0 0 0 17 0 8 0 188373471 937431040 9206 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7409/tid=7412] ppid=7407 vsize=915460 CPUtime=0
/proc/7409/task/7412/stat : 7412 (java) S 7407 7409 7342 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 188373471 937431040 9206 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7409/tid=7413] ppid=7407 vsize=915460 CPUtime=0
/proc/7409/task/7413/stat : 7413 (java) S 7407 7409 7342 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 188373471 937431040 9206 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7409/tid=7414] ppid=7407 vsize=915460 CPUtime=0
/proc/7409/task/7414/stat : 7414 (java) S 7407 7409 7342 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 188373474 937431040 9206 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7409/tid=7415] ppid=7407 vsize=915460 CPUtime=0.23
/proc/7409/task/7415/stat : 7415 (java) S 7407 7409 7342 0 -1 64 389 0 0 0 22 1 0 0 15 0 8 0 188373474 937431040 9206 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7409/tid=7416] ppid=7407 vsize=915460 CPUtime=0
/proc/7409/task/7416/stat : 7416 (java) S 7407 7409 7342 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 188373475 937431040 9206 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7409/tid=7417] ppid=7407 vsize=915460 CPUtime=0
/proc/7409/task/7417/stat : 7417 (java) S 7407 7409 7342 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 188373475 937431040 9206 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 11.09
Current children cumulated vsize (KiB) 915460

[startup+25.6148 s]
/proc/loadavg: 2.52 2.13 1.90 3/104 7417
/proc/meminfo: memFree=1038480/2055920 swapFree=4192812/4192956
[pid=7409] ppid=7407 vsize=915460 CPUtime=23.04
/proc/7409/stat : 7409 (java) R 7407 7409 7342 0 -1 0 9505 0 1 0 2296 8 0 0 25 0 8 0 188373467 937431040 9226 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073799656 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7409/statm: 228865 9226 2544 14 0 215335 0
[pid=7409/tid=7411] ppid=7407 vsize=915460 CPUtime=0.03
/proc/7409/task/7411/stat : 7411 (java) S 7407 7409 7342 0 -1 64 220 0 0 0 3 0 0 0 16 0 8 0 188373471 937431040 9226 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7409/tid=7412] ppid=7407 vsize=915460 CPUtime=0
/proc/7409/task/7412/stat : 7412 (java) S 7407 7409 7342 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 188373471 937431040 9226 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7409/tid=7413] ppid=7407 vsize=915460 CPUtime=0
/proc/7409/task/7413/stat : 7413 (java) S 7407 7409 7342 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 188373471 937431040 9226 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7409/tid=7414] ppid=7407 vsize=915460 CPUtime=0
/proc/7409/task/7414/stat : 7414 (java) S 7407 7409 7342 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 188373474 937431040 9226 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7409/tid=7415] ppid=7407 vsize=915460 CPUtime=0.25
/proc/7409/task/7415/stat : 7415 (java) S 7407 7409 7342 0 -1 64 409 0 0 0 24 1 0 0 15 0 8 0 188373474 937431040 9226 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7409/tid=7416] ppid=7407 vsize=915460 CPUtime=0
/proc/7409/task/7416/stat : 7416 (java) S 7407 7409 7342 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 188373475 937431040 9226 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7409/tid=7417] ppid=7407 vsize=915460 CPUtime=0
/proc/7409/task/7417/stat : 7417 (java) S 7407 7409 7342 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 188373475 937431040 9226 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 23.04
Current children cumulated vsize (KiB) 915460

[startup+51.247 s]
/proc/loadavg: 2.46 2.15 1.91 3/104 7417
/proc/meminfo: memFree=1012432/2055920 swapFree=4192812/4192956
[pid=7409] ppid=7407 vsize=915460 CPUtime=48.25
/proc/7409/stat : 7409 (java) R 7407 7409 7342 0 -1 0 9533 0 1 0 4817 8 0 0 25 0 8 0 188373467 937431040 9251 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073805840 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7409/statm: 228865 9251 2544 14 0 215335 0
[pid=7409/tid=7411] ppid=7407 vsize=915460 CPUtime=0.03
/proc/7409/task/7411/stat : 7411 (java) S 7407 7409 7342 0 -1 64 220 0 0 0 3 0 0 0 16 0 8 0 188373471 937431040 9251 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7409/tid=7412] ppid=7407 vsize=915460 CPUtime=0
/proc/7409/task/7412/stat : 7412 (java) S 7407 7409 7342 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 188373471 937431040 9251 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7409/tid=7413] ppid=7407 vsize=915460 CPUtime=0
/proc/7409/task/7413/stat : 7413 (java) S 7407 7409 7342 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 188373471 937431040 9251 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7409/tid=7414] ppid=7407 vsize=915460 CPUtime=0
/proc/7409/task/7414/stat : 7414 (java) S 7407 7409 7342 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 188373474 937431040 9251 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7409/tid=7415] ppid=7407 vsize=915460 CPUtime=0.26
/proc/7409/task/7415/stat : 7415 (java) S 7407 7409 7342 0 -1 64 412 0 0 0 25 1 0 0 16 0 8 0 188373474 937431040 9251 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7409/tid=7416] ppid=7407 vsize=915460 CPUtime=0
/proc/7409/task/7416/stat : 7416 (java) S 7407 7409 7342 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 188373475 937431040 9251 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7409/tid=7417] ppid=7407 vsize=915460 CPUtime=0
/proc/7409/task/7417/stat : 7417 (java) S 7407 7409 7342 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 188373475 937431040 9251 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 48.25
Current children cumulated vsize (KiB) 915460

[startup+102.466 s]
/proc/loadavg: 2.20 2.12 1.91 3/104 7417
/proc/meminfo: memFree=1012240/2055920 swapFree=4192812/4192956
[pid=7409] ppid=7407 vsize=915460 CPUtime=99.45
/proc/7409/stat : 7409 (java) R 7407 7409 7342 0 -1 0 9607 0 1 0 9936 9 0 0 25 0 8 0 188373467 937431040 9322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073801523 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7409/statm: 228865 9322 2544 14 0 215335 0
[pid=7409/tid=7411] ppid=7407 vsize=915460 CPUtime=0.03
/proc/7409/task/7411/stat : 7411 (java) S 7407 7409 7342 0 -1 64 220 0 0 0 3 0 0 0 16 0 8 0 188373471 937431040 9322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7409/tid=7412] ppid=7407 vsize=915460 CPUtime=0
/proc/7409/task/7412/stat : 7412 (java) S 7407 7409 7342 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 188373471 937431040 9322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7409/tid=7413] ppid=7407 vsize=915460 CPUtime=0
/proc/7409/task/7413/stat : 7413 (java) S 7407 7409 7342 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 188373471 937431040 9322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7409/tid=7414] ppid=7407 vsize=915460 CPUtime=0
/proc/7409/task/7414/stat : 7414 (java) S 7407 7409 7342 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 188373474 937431040 9322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7409/tid=7415] ppid=7407 vsize=915460 CPUtime=0.26
/proc/7409/task/7415/stat : 7415 (java) S 7407 7409 7342 0 -1 64 414 0 0 0 25 1 0 0 16 0 8 0 188373474 937431040 9322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7409/tid=7416] ppid=7407 vsize=915460 CPUtime=0
/proc/7409/task/7416/stat : 7416 (java) S 7407 7409 7342 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 188373475 937431040 9322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7409/tid=7417] ppid=7407 vsize=915460 CPUtime=0
/proc/7409/task/7417/stat : 7417 (java) S 7407 7409 7342 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 188373475 937431040 9322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 99.45
Current children cumulated vsize (KiB) 915460

[startup+162.525 s]
/proc/loadavg: 2.21 2.14 1.93 3/104 7417
/proc/meminfo: memFree=1011984/2055920 swapFree=4192812/4192956
[pid=7409] ppid=7407 vsize=915460 CPUtime=159.49
/proc/7409/stat : 7409 (java) R 7407 7409 7342 0 -1 0 9657 0 1 0 15939 10 0 0 25 0 8 0 188373467 937431040 9372 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073811127 0 4 0 23759 18446744073709551615 0 0 17 1 0 0

################
# More data... #
################

Current children cumulated CPU time (s) 1413.6
Current children cumulated vsize (KiB) 915460

[startup+1483.01 s]
/proc/loadavg: 2.02 2.01 1.97 3/101 7490
/proc/meminfo: memFree=1704424/2055920 swapFree=4192812/4192956
[pid=7409] ppid=7407 vsize=915460 CPUtime=1473.32
/proc/7409/stat : 7409 (java) R 7407 7409 7342 0 -1 0 9822 0 1 0 147318 14 0 0 25 0 8 0 188373467 937431040 9537 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073805299 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7409/statm: 228865 9537 2544 14 0 215335 0
[pid=7409/tid=7411] ppid=7407 vsize=915460 CPUtime=0.03
/proc/7409/task/7411/stat : 7411 (java) S 7407 7409 7342 0 -1 64 220 0 0 0 3 0 0 0 16 0 8 0 188373471 937431040 9537 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7409/tid=7412] ppid=7407 vsize=915460 CPUtime=0
/proc/7409/task/7412/stat : 7412 (java) S 7407 7409 7342 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 188373471 937431040 9537 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7409/tid=7413] ppid=7407 vsize=915460 CPUtime=0
/proc/7409/task/7413/stat : 7413 (java) S 7407 7409 7342 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 188373471 937431040 9537 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7409/tid=7414] ppid=7407 vsize=915460 CPUtime=0
/proc/7409/task/7414/stat : 7414 (java) S 7407 7409 7342 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 188373474 937431040 9537 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7409/tid=7415] ppid=7407 vsize=915460 CPUtime=0.27
/proc/7409/task/7415/stat : 7415 (java) S 7407 7409 7342 0 -1 64 418 0 0 0 26 1 0 0 16 0 8 0 188373474 937431040 9537 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7409/tid=7416] ppid=7407 vsize=915460 CPUtime=0
/proc/7409/task/7416/stat : 7416 (java) S 7407 7409 7342 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 188373475 937431040 9537 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7409/tid=7417] ppid=7407 vsize=915460 CPUtime=0
/proc/7409/task/7417/stat : 7417 (java) S 7407 7409 7342 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 188373475 937431040 9537 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1473.32
Current children cumulated vsize (KiB) 915460

[startup+1543.02 s]
/proc/loadavg: 2.00 2.00 1.97 3/101 7490
/proc/meminfo: memFree=1704424/2055920 swapFree=4192812/4192956
[pid=7409] ppid=7407 vsize=915460 CPUtime=1533.07
/proc/7409/stat : 7409 (java) R 7407 7409 7342 0 -1 0 9822 0 1 0 153292 15 0 0 25 0 8 0 188373467 937431040 9537 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073807880 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7409/statm: 228865 9537 2544 14 0 215335 0
[pid=7409/tid=7411] ppid=7407 vsize=915460 CPUtime=0.03
/proc/7409/task/7411/stat : 7411 (java) S 7407 7409 7342 0 -1 64 220 0 0 0 3 0 0 0 16 0 8 0 188373471 937431040 9537 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7409/tid=7412] ppid=7407 vsize=915460 CPUtime=0
/proc/7409/task/7412/stat : 7412 (java) S 7407 7409 7342 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 188373471 937431040 9537 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7409/tid=7413] ppid=7407 vsize=915460 CPUtime=0
/proc/7409/task/7413/stat : 7413 (java) S 7407 7409 7342 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 188373471 937431040 9537 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7409/tid=7414] ppid=7407 vsize=915460 CPUtime=0
/proc/7409/task/7414/stat : 7414 (java) S 7407 7409 7342 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 188373474 937431040 9537 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7409/tid=7415] ppid=7407 vsize=915460 CPUtime=0.27
/proc/7409/task/7415/stat : 7415 (java) S 7407 7409 7342 0 -1 64 418 0 0 0 26 1 0 0 16 0 8 0 188373474 937431040 9537 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7409/tid=7416] ppid=7407 vsize=915460 CPUtime=0
/proc/7409/task/7416/stat : 7416 (java) S 7407 7409 7342 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 188373475 937431040 9537 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7409/tid=7417] ppid=7407 vsize=915460 CPUtime=0
/proc/7409/task/7417/stat : 7417 (java) S 7407 7409 7342 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 188373475 937431040 9537 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1533.07
Current children cumulated vsize (KiB) 915460

[startup+1603.04 s]
/proc/loadavg: 2.00 2.00 1.97 3/101 7490
/proc/meminfo: memFree=1704232/2055920 swapFree=4192812/4192956
[pid=7409] ppid=7407 vsize=915460 CPUtime=1592.81
/proc/7409/stat : 7409 (java) R 7407 7409 7342 0 -1 0 9837 0 1 0 159266 15 0 0 25 0 8 0 188373467 937431040 9552 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073799644 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7409/statm: 228865 9552 2544 14 0 215335 0
[pid=7409/tid=7411] ppid=7407 vsize=915460 CPUtime=0.03
/proc/7409/task/7411/stat : 7411 (java) S 7407 7409 7342 0 -1 64 220 0 0 0 3 0 0 0 16 0 8 0 188373471 937431040 9552 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7409/tid=7412] ppid=7407 vsize=915460 CPUtime=0
/proc/7409/task/7412/stat : 7412 (java) S 7407 7409 7342 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 188373471 937431040 9552 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7409/tid=7413] ppid=7407 vsize=915460 CPUtime=0
/proc/7409/task/7413/stat : 7413 (java) S 7407 7409 7342 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 188373471 937431040 9552 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7409/tid=7414] ppid=7407 vsize=915460 CPUtime=0
/proc/7409/task/7414/stat : 7414 (java) S 7407 7409 7342 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 188373474 937431040 9552 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7409/tid=7415] ppid=7407 vsize=915460 CPUtime=0.27
/proc/7409/task/7415/stat : 7415 (java) S 7407 7409 7342 0 -1 64 419 0 0 0 26 1 0 0 16 0 8 0 188373474 937431040 9552 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7409/tid=7416] ppid=7407 vsize=915460 CPUtime=0
/proc/7409/task/7416/stat : 7416 (java) S 7407 7409 7342 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 188373475 937431040 9552 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7409/tid=7417] ppid=7407 vsize=915460 CPUtime=0
/proc/7409/task/7417/stat : 7417 (java) S 7407 7409 7342 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 188373475 937431040 9552 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1592.81
Current children cumulated vsize (KiB) 915460

[startup+1663.06 s]
/proc/loadavg: 2.00 2.00 1.97 3/101 7490
/proc/meminfo: memFree=1704232/2055920 swapFree=4192812/4192956
[pid=7409] ppid=7407 vsize=915460 CPUtime=1652.52
/proc/7409/stat : 7409 (java) R 7407 7409 7342 0 -1 0 9837 0 1 0 165237 15 0 0 25 0 8 0 188373467 937431040 9552 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073806054 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7409/statm: 228865 9552 2544 14 0 215335 0
[pid=7409/tid=7411] ppid=7407 vsize=915460 CPUtime=0.03
/proc/7409/task/7411/stat : 7411 (java) S 7407 7409 7342 0 -1 64 220 0 0 0 3 0 0 0 16 0 8 0 188373471 937431040 9552 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7409/tid=7412] ppid=7407 vsize=915460 CPUtime=0
/proc/7409/task/7412/stat : 7412 (java) S 7407 7409 7342 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 188373471 937431040 9552 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7409/tid=7413] ppid=7407 vsize=915460 CPUtime=0
/proc/7409/task/7413/stat : 7413 (java) S 7407 7409 7342 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 188373471 937431040 9552 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7409/tid=7414] ppid=7407 vsize=915460 CPUtime=0
/proc/7409/task/7414/stat : 7414 (java) S 7407 7409 7342 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 188373474 937431040 9552 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7409/tid=7415] ppid=7407 vsize=915460 CPUtime=0.27
/proc/7409/task/7415/stat : 7415 (java) S 7407 7409 7342 0 -1 64 419 0 0 0 26 1 0 0 16 0 8 0 188373474 937431040 9552 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7409/tid=7416] ppid=7407 vsize=915460 CPUtime=0
/proc/7409/task/7416/stat : 7416 (java) S 7407 7409 7342 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 188373475 937431040 9552 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7409/tid=7417] ppid=7407 vsize=915460 CPUtime=0
/proc/7409/task/7417/stat : 7417 (java) S 7407 7409 7342 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 188373475 937431040 9552 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1652.52
Current children cumulated vsize (KiB) 915460

[startup+1723.08 s]
/proc/loadavg: 2.08 2.03 1.98 3/101 7490
/proc/meminfo: memFree=1704104/2055920 swapFree=4192812/4192956
[pid=7409] ppid=7407 vsize=915460 CPUtime=1712.27
/proc/7409/stat : 7409 (java) R 7407 7409 7342 0 -1 0 9837 0 1 0 171212 15 0 0 25 0 8 0 188373467 937431040 9552 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073479193 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7409/statm: 228865 9552 2544 14 0 215335 0
[pid=7409/tid=7411] ppid=7407 vsize=915460 CPUtime=0.03
/proc/7409/task/7411/stat : 7411 (java) S 7407 7409 7342 0 -1 64 220 0 0 0 3 0 0 0 16 0 8 0 188373471 937431040 9552 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7409/tid=7412] ppid=7407 vsize=915460 CPUtime=0
/proc/7409/task/7412/stat : 7412 (java) S 7407 7409 7342 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 188373471 937431040 9552 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7409/tid=7413] ppid=7407 vsize=915460 CPUtime=0
/proc/7409/task/7413/stat : 7413 (java) S 7407 7409 7342 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 188373471 937431040 9552 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7409/tid=7414] ppid=7407 vsize=915460 CPUtime=0
/proc/7409/task/7414/stat : 7414 (java) S 7407 7409 7342 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 188373474 937431040 9552 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7409/tid=7415] ppid=7407 vsize=915460 CPUtime=0.27
/proc/7409/task/7415/stat : 7415 (java) S 7407 7409 7342 0 -1 64 419 0 0 0 26 1 0 0 16 0 8 0 188373474 937431040 9552 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7409/tid=7416] ppid=7407 vsize=915460 CPUtime=0
/proc/7409/task/7416/stat : 7416 (java) S 7407 7409 7342 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 188373475 937431040 9552 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7409/tid=7417] ppid=7407 vsize=915460 CPUtime=0
/proc/7409/task/7417/stat : 7417 (java) S 7407 7409 7342 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 188373475 937431040 9552 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1712.27
Current children cumulated vsize (KiB) 915460

[startup+1783.1 s]
/proc/loadavg: 2.03 2.02 1.98 3/101 7490
/proc/meminfo: memFree=1704104/2055920 swapFree=4192812/4192956
[pid=7409] ppid=7407 vsize=915460 CPUtime=1772.02
/proc/7409/stat : 7409 (java) R 7407 7409 7342 0 -1 0 9837 0 1 0 177187 15 0 0 25 0 8 0 188373467 937431040 9552 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073800928 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7409/statm: 228865 9552 2544 14 0 215335 0
[pid=7409/tid=7411] ppid=7407 vsize=915460 CPUtime=0.03
/proc/7409/task/7411/stat : 7411 (java) S 7407 7409 7342 0 -1 64 220 0 0 0 3 0 0 0 16 0 8 0 188373471 937431040 9552 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7409/tid=7412] ppid=7407 vsize=915460 CPUtime=0
/proc/7409/task/7412/stat : 7412 (java) S 7407 7409 7342 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 188373471 937431040 9552 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7409/tid=7413] ppid=7407 vsize=915460 CPUtime=0
/proc/7409/task/7413/stat : 7413 (java) S 7407 7409 7342 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 188373471 937431040 9552 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7409/tid=7414] ppid=7407 vsize=915460 CPUtime=0
/proc/7409/task/7414/stat : 7414 (java) S 7407 7409 7342 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 188373474 937431040 9552 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7409/tid=7415] ppid=7407 vsize=915460 CPUtime=0.27
/proc/7409/task/7415/stat : 7415 (java) S 7407 7409 7342 0 -1 64 419 0 0 0 26 1 0 0 16 0 8 0 188373474 937431040 9552 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7409/tid=7416] ppid=7407 vsize=915460 CPUtime=0
/proc/7409/task/7416/stat : 7416 (java) S 7407 7409 7342 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 188373475 937431040 9552 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7409/tid=7417] ppid=7407 vsize=915460 CPUtime=0
/proc/7409/task/7417/stat : 7417 (java) S 7407 7409 7342 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 188373475 937431040 9552 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1772.02
Current children cumulated vsize (KiB) 915460



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1811.25 s]
/proc/loadavg: 2.02 2.02 1.98 3/101 7490
/proc/meminfo: memFree=1704104/2055920 swapFree=4192812/4192956
[pid=7409] ppid=7407 vsize=915460 CPUtime=1800.02
/proc/7409/stat : 7409 (java) R 7407 7409 7342 0 -1 0 9837 0 1 0 179987 15 0 0 25 0 8 0 188373467 937431040 9552 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073801420 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7409/statm: 228865 9552 2544 14 0 215335 0
[pid=7409/tid=7411] ppid=7407 vsize=915460 CPUtime=0.03
/proc/7409/task/7411/stat : 7411 (java) S 7407 7409 7342 0 -1 64 220 0 0 0 3 0 0 0 16 0 8 0 188373471 937431040 9552 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7409/tid=7412] ppid=7407 vsize=915460 CPUtime=0
/proc/7409/task/7412/stat : 7412 (java) S 7407 7409 7342 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 188373471 937431040 9552 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7409/tid=7413] ppid=7407 vsize=915460 CPUtime=0
/proc/7409/task/7413/stat : 7413 (java) S 7407 7409 7342 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 188373471 937431040 9552 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7409/tid=7414] ppid=7407 vsize=915460 CPUtime=0
/proc/7409/task/7414/stat : 7414 (java) S 7407 7409 7342 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 188373474 937431040 9552 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7409/tid=7415] ppid=7407 vsize=915460 CPUtime=0.27
/proc/7409/task/7415/stat : 7415 (java) S 7407 7409 7342 0 -1 64 419 0 0 0 26 1 0 0 16 0 8 0 188373474 937431040 9552 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7409/tid=7416] ppid=7407 vsize=915460 CPUtime=0
/proc/7409/task/7416/stat : 7416 (java) S 7407 7409 7342 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 188373475 937431040 9552 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7409/tid=7417] ppid=7407 vsize=915460 CPUtime=0
/proc/7409/task/7417/stat : 7417 (java) S 7407 7409 7342 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 188373475 937431040 9552 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 915460

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Child status: 143
Real time (s): 1811.31
CPU time (s): 1800.09
CPU user time (s): 1799.93
CPU system time (s): 0.162975
CPU usage (%): 99.3805
Max. virtual memory (cumulated for all children) (KiB): 915460

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.93
system time used= 0.162975
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9856
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 37923
involuntary context switches= 86465

runsolver used 2.00069 s user time and 4.93225 s system time

The end

Launcher Data (download as text)

Begin job on node3 on Wed Jan 10 03:29:38 UTC 2007


IDJOB= 248466
IDBENCH= 11709
FILE ID= node3/248466-1168399778

PBS_JOBID= 3522995

Free space on /tmp= 66558 MiB

BENCH NAME= HOME/pub/bench/CPAI06/primes/primes-30/primes-30-60-3-7.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/248466-1168399778/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node3/watcher-248466-1168399778 -o ROOT/results/node3/solver-248466-1168399778 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/248466-1168399778/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  193ddccebbf65b73eaa3e42ecd992a5d

RANDOM SEED= 642191319

TIME LIMIT= 1800 seconds

MEMORY LIMIT= 900 MiB


/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.279
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.279
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1417064 kB
Buffers:         30264 kB
Cached:         137220 kB
SwapCached:          0 kB
Active:         489452 kB
Inactive:        95080 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1417064 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            4396 kB
Writeback:           0 kB
Mapped:         446516 kB
Slab:            38424 kB
Committed_AS:  6417820 kB
PageTables:       2812 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66558 MiB



End job on node3 on Wed Jan 10 03:59:50 UTC 2007