Trace number 248597

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 AC? (TO) 1800.08 1800.76

General information on the benchmark

Nameprimes/primes-25/
primes-25-60-3-5.xml
MD5SUM4ed92c7f1c4b4785d82bdf19b1820ee9
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 arity8
Maximum domain size96
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.31	   
0.31	Abscon 109 (November, 2006)
0.31	   
0.31	   configuration
0.31	     name=mac.xml
0.34	   
0.34	   instance
0.34	     name=/tmp/evaluation/248597-1168086000/unknown.xml
0.37	   
0.37	   domains being loaded...
0.38	   
0.38	   variables being loaded...
0.42	     nbVariables=100  nbDomainTypes=1  minDomainSize=96  maxDomainSize=96
0.42	       =>  wckTime=0.108  cpuTime=0.08  mem=7M927
0.42	   
0.42	   predicates being loaded...
0.47	   
0.47	   constraints being loaded...
0.58	     nbConstraints=60  nbSingletonDomainVariables=1  nbDisconnectedVariables=1  nbUnbuiltConflictsStructures=60
0.58	     nbSharedBinaryRepresentations=0  nbEvaluationManagers=60  nbSharedEvaluationManagers=0  maxDegree=8  maxArity=8
0.58	       =>  wckTime=0.261  cpuTime=0.19  mem=10M853
0.61	   
0.61	   solver IterativeSystematicSolver being built... 
0.78	       =>  wckTime=0.465  cpuTime=0.34  mem=16M661
2.22	   
2.22	   preprocessing
2.22	     nbConstraintChecks=3336019  nbValidityChecks=247  nbPropagations=103  nbRevisions=15  nbUselessRevisions=4
2.22	     nbRemovedValues=814  detectedInconsistency=no
2.22	       =>  wckTime=1.442  cpuTime=1.43  mem=16M661
16.36	   
16.36	   search
16.36	     run=0  nbConstraintChecks=20595218  nbValidityChecks=6042  nbPropagations=383  nbRevisions=305
16.36	     nbUselessRevisions=63  nbAssignments=50  nbFailedAssignments=8  nbBacktracks=10  nbVisitedNodes=59
16.36	     nbRestartNogoods=0  mapSize=8  nbInferences=0  nbTooLargeKeys=0
16.36	       =>  wckTime=15.573  cpuTime=15.52  mem=16M661
35.27	   
35.27	   search
35.27	     run=1  nbConstraintChecks=49594653  nbValidityChecks=52248  nbPropagations=1785  nbRevisions=1894
35.27	     nbUselessRevisions=343  nbAssignments=161  nbFailedAssignments=73  nbBacktracks=25  nbVisitedNodes=235
35.27	     nbRestartNogoods=6  mapSize=17  nbInferences=0  nbTooLargeKeys=0
35.27	       =>  wckTime=34.489  cpuTime=34.41  mem=16M661
48.02	   
48.02	   search
48.02	     run=2  nbConstraintChecks=66930735  nbValidityChecks=58778  nbPropagations=3446  nbRevisions=3781
48.02	     nbUselessRevisions=711  nbAssignments=211  nbFailedAssignments=78  nbBacktracks=56  nbVisitedNodes=290
48.02	     nbRestartNogoods=35  mapSize=37  nbInferences=0  nbTooLargeKeys=0
48.02	       =>  wckTime=47.239  cpuTime=47.16  mem=16M661
77.27	   
77.27	   search
77.27	     run=3  nbConstraintChecks=104537498  nbValidityChecks=77022  nbPropagations=5586  nbRevisions=6258
77.27	     nbUselessRevisions=1238  nbAssignments=290  nbFailedAssignments=87  nbBacktracks=94  nbVisitedNodes=378
77.27	     nbRestartNogoods=37  mapSize=64  nbInferences=0  nbTooLargeKeys=0
77.27	       =>  wckTime=76.493  cpuTime=76.38  mem=16M661
114.79	   
114.79	   search
114.79	     run=4  nbConstraintChecks=150773207  nbValidityChecks=104184  nbPropagations=8463  nbRevisions=9687
114.79	     nbUselessRevisions=1978  nbAssignments=386  nbFailedAssignments=99  nbBacktracks=145  nbVisitedNodes=486
114.79	     nbRestartNogoods=40  mapSize=107  nbInferences=0  nbTooLargeKeys=0
114.79	       =>  wckTime=114.002  cpuTime=113.84  mem=16M661
161.10	   
161.10	   search
161.10	     run=5  nbConstraintChecks=207171969  nbValidityChecks=127551  nbPropagations=11954  nbRevisions=13852
161.10	     nbUselessRevisions=2947  nbAssignments=511  nbFailedAssignments=125  nbBacktracks=224  nbVisitedNodes=637
161.10	     nbRestartNogoods=43  mapSize=164  nbInferences=0  nbTooLargeKeys=0
161.10	       =>  wckTime=160.319  cpuTime=160.14  mem=17M636
209.72	   
209.72	   search
209.72	     run=6  nbConstraintChecks=269977839  nbValidityChecks=164239  nbPropagations=16444  nbRevisions=19192
209.72	     nbUselessRevisions=4202  nbAssignments=667  nbFailedAssignments=150  nbBacktracks=338  nbVisitedNodes=818
209.72	     nbRestartNogoods=47  mapSize=245  nbInferences=0  nbTooLargeKeys=0
209.72	       =>  wckTime=208.938  cpuTime=208.73  mem=17M636
253.87	   
253.87	   search
253.87	     run=7  nbConstraintChecks=332218075  nbValidityChecks=200160  nbPropagations=21826  nbRevisions=25616
253.87	     nbUselessRevisions=5858  nbAssignments=885  nbFailedAssignments=173  nbBacktracks=516  nbVisitedNodes=1059
253.87	     nbRestartNogoods=49  mapSize=341  nbInferences=0  nbTooLargeKeys=0
253.87	       =>  wckTime=253.087  cpuTime=252.88  mem=17M636
317.47	   
317.47	   search
317.47	     run=8  nbConstraintChecks=421045266  nbValidityChecks=252255  nbPropagations=28575  nbRevisions=33716
317.47	     nbUselessRevisions=8130  nbAssignments=1209  nbFailedAssignments=212  nbBacktracks=777  nbVisitedNodes=1422
317.47	     nbRestartNogoods=52  mapSize=494  nbInferences=0  nbTooLargeKeys=0
317.47	       =>  wckTime=316.69  cpuTime=316.45  mem=17M636
564.19	   
564.19	   search
564.19	     run=9  nbConstraintChecks=728083344  nbValidityChecks=469970  nbPropagations=42012  nbRevisions=49391
564.19	     nbUselessRevisions=11664  nbAssignments=1930  nbFailedAssignments=518  nbBacktracks=1165  nbVisitedNodes=2449
564.19	     nbRestartNogoods=57  mapSize=787  nbInferences=0  nbTooLargeKeys=0
564.19	       =>  wckTime=563.405  cpuTime=563.06  mem=17M636
653.30	   
653.30	   INFO : Stopping hyperNogood (mapSize=1029, nbTooLargekeys=0, mem=18M611)
796.42	   
796.42	   search
796.42	     run=10  nbConstraintChecks=1030062777  nbValidityChecks=619954  nbPropagations=60344  nbRevisions=70388
796.42	     nbUselessRevisions=16491  nbAssignments=2797  nbFailedAssignments=780  nbBacktracks=1741  nbVisitedNodes=3578
796.42	     nbRestartNogoods=82
796.42	       =>  wckTime=795.641  cpuTime=795.21  mem=18M611
1519.65	   
1519.65	   search
1519.65	     run=11  nbConstraintChecks=2098218494  nbValidityChecks=1595719  nbPropagations=99557  nbRevisions=118656
1519.65	     nbUselessRevisions=26907  nbAssignments=5241  nbFailedAssignments=2336  nbBacktracks=2607  nbVisitedNodes=7578
1519.65	     nbRestartNogoods=106
1519.65	       =>  wckTime=1518.87  cpuTime=1518.2  mem=18M611

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/node50/watcher-248597-1168086000 -o ROOT/results/node50/solver-248597-1168086000 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/248597-1168086000/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: 0.01 0.23 0.93 3/68 5285
/proc/meminfo: memFree=1471048/2055920 swapFree=4192812/4192956
[pid=5284] ppid=5282 vsize=1500 CPUtime=0
/proc/5284/stat : 5284 (java) R 5282 5284 4957 0 -1 0 76 0 0 0 0 0 0 0 19 0 1 0 156999797 1536000 58 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 7889504 0 0 4096 0 0 0 0 17 1 0 0
/proc/5284/statm: 375 58 45 14 0 8 0

[startup+0.10829 s]
/proc/loadavg: 0.01 0.23 0.93 3/68 5285
/proc/meminfo: memFree=1471048/2055920 swapFree=4192812/4192956
[pid=5284] ppid=5282 vsize=913236 CPUtime=0.08
/proc/5284/stat : 5284 (java) R 5282 5284 4957 0 -1 0 2919 0 1 0 6 2 0 0 16 0 8 0 156999797 935153664 2665 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5284/statm: 228309 2666 1397 14 0 215208 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 913236

[startup+0.516353 s]
/proc/loadavg: 0.01 0.23 0.93 3/68 5285
/proc/meminfo: memFree=1471048/2055920 swapFree=4192812/4192956
[pid=5284] ppid=5282 vsize=915328 CPUtime=0.48
/proc/5284/stat : 5284 (java) R 5282 5284 4957 0 -1 0 6864 0 1 0 43 5 0 0 16 0 8 0 156999797 937295872 6603 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5284/statm: 228832 6604 2160 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328

[startup+1.33749 s]
/proc/loadavg: 0.01 0.23 0.93 2/75 5322
/proc/meminfo: memFree=1444240/2055920 swapFree=4192812/4192956
[pid=5284] ppid=5282 vsize=915464 CPUtime=1.31
/proc/5284/stat : 5284 (java) R 5282 5284 4957 0 -1 0 8980 0 1 0 124 7 0 0 17 0 8 0 156999797 937435136 8718 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073758400 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5284/statm: 228866 8718 2528 14 0 215336 0
[pid=5284/tid=5297] ppid=5282 vsize=915464 CPUtime=0.02
/proc/5284/task/5297/stat : 5297 (java) S 5282 5284 4957 0 -1 64 208 0 0 0 2 0 0 0 16 0 8 0 156999802 937435136 8718 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5284/tid=5298] ppid=5282 vsize=915464 CPUtime=0
/proc/5284/task/5298/stat : 5298 (java) S 5282 5284 4957 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156999803 937435136 8718 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5284/tid=5299] ppid=5282 vsize=915464 CPUtime=0
/proc/5284/task/5299/stat : 5299 (java) S 5282 5284 4957 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156999803 937435136 8718 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5284/tid=5316] ppid=5282 vsize=915464 CPUtime=0
/proc/5284/task/5316/stat : 5316 (java) S 5282 5284 4957 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156999806 937435136 8718 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5284/tid=5318] ppid=5282 vsize=915464 CPUtime=0.13
/proc/5284/task/5318/stat : 5318 (java) S 5282 5284 4957 0 -1 64 348 0 0 0 13 0 0 0 16 0 8 0 156999806 937435136 8718 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5284/tid=5319] ppid=5282 vsize=915464 CPUtime=0
/proc/5284/task/5319/stat : 5319 (java) S 5282 5284 4957 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156999806 937435136 8718 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5284/tid=5320] ppid=5282 vsize=915464 CPUtime=0
/proc/5284/task/5320/stat : 5320 (java) S 5282 5284 4957 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156999806 937435136 8718 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915464

[startup+2.97977 s]
/proc/loadavg: 0.09 0.24 0.93 2/75 5322
/proc/meminfo: memFree=1443856/2055920 swapFree=4192812/4192956
[pid=5284] ppid=5282 vsize=915464 CPUtime=2.95
/proc/5284/stat : 5284 (java) R 5282 5284 4957 0 -1 0 9089 0 1 0 288 7 0 0 17 0 8 0 156999797 937435136 8824 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073764647 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5284/statm: 228866 8824 2530 14 0 215336 0
[pid=5284/tid=5297] ppid=5282 vsize=915464 CPUtime=0.02
/proc/5284/task/5297/stat : 5297 (java) S 5282 5284 4957 0 -1 64 208 0 0 0 2 0 0 0 16 0 8 0 156999802 937435136 8824 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5284/tid=5298] ppid=5282 vsize=915464 CPUtime=0
/proc/5284/task/5298/stat : 5298 (java) S 5282 5284 4957 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156999803 937435136 8824 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5284/tid=5299] ppid=5282 vsize=915464 CPUtime=0
/proc/5284/task/5299/stat : 5299 (java) S 5282 5284 4957 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156999803 937435136 8824 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5284/tid=5316] ppid=5282 vsize=915464 CPUtime=0
/proc/5284/task/5316/stat : 5316 (java) S 5282 5284 4957 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156999806 937435136 8824 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5284/tid=5318] ppid=5282 vsize=915464 CPUtime=0.14
/proc/5284/task/5318/stat : 5318 (java) S 5282 5284 4957 0 -1 64 354 0 0 0 14 0 0 0 15 0 8 0 156999806 937435136 8824 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5284/tid=5319] ppid=5282 vsize=915464 CPUtime=0
/proc/5284/task/5319/stat : 5319 (java) S 5282 5284 4957 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156999806 937435136 8824 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5284/tid=5320] ppid=5282 vsize=915464 CPUtime=0
/proc/5284/task/5320/stat : 5320 (java) S 5282 5284 4957 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156999806 937435136 8824 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 915464

[startup+6.26932 s]
/proc/loadavg: 0.09 0.24 0.93 4/87 5334
/proc/meminfo: memFree=1418664/2055920 swapFree=4192812/4192956
[pid=5284] ppid=5282 vsize=915464 CPUtime=6.23
/proc/5284/stat : 5284 (java) R 5282 5284 4957 0 -1 0 9094 0 1 0 616 7 0 0 21 0 8 0 156999797 937435136 8827 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073768567 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5284/statm: 228866 8827 2530 14 0 215336 0
[pid=5284/tid=5297] ppid=5282 vsize=915464 CPUtime=0.02
/proc/5284/task/5297/stat : 5297 (java) S 5282 5284 4957 0 -1 64 208 0 0 0 2 0 0 0 16 0 8 0 156999802 937435136 8827 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5284/tid=5298] ppid=5282 vsize=915464 CPUtime=0
/proc/5284/task/5298/stat : 5298 (java) S 5282 5284 4957 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156999803 937435136 8827 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5284/tid=5299] ppid=5282 vsize=915464 CPUtime=0
/proc/5284/task/5299/stat : 5299 (java) S 5282 5284 4957 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156999803 937435136 8827 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5284/tid=5316] ppid=5282 vsize=915464 CPUtime=0
/proc/5284/task/5316/stat : 5316 (java) S 5282 5284 4957 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156999806 937435136 8827 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5284/tid=5318] ppid=5282 vsize=915464 CPUtime=0.15
/proc/5284/task/5318/stat : 5318 (java) S 5282 5284 4957 0 -1 64 359 0 0 0 15 0 0 0 15 0 8 0 156999806 937435136 8827 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5284/tid=5319] ppid=5282 vsize=915464 CPUtime=0
/proc/5284/task/5319/stat : 5319 (java) S 5282 5284 4957 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156999806 937435136 8827 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5284/tid=5320] ppid=5282 vsize=915464 CPUtime=0
/proc/5284/task/5320/stat : 5320 (java) S 5282 5284 4957 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156999806 937435136 8827 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 915464

[startup+12.7404 s]
/proc/loadavg: 0.30 0.29 0.94 2/75 5342
/proc/meminfo: memFree=1443536/2055920 swapFree=4192812/4192956
[pid=5284] ppid=5282 vsize=915464 CPUtime=12.69
/proc/5284/stat : 5284 (java) R 5282 5284 4957 0 -1 0 9102 0 1 0 1262 7 0 0 17 0 8 0 156999797 937435136 8833 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073764640 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5284/statm: 228866 8833 2530 14 0 215336 0
[pid=5284/tid=5297] ppid=5282 vsize=915464 CPUtime=0.02
/proc/5284/task/5297/stat : 5297 (java) S 5282 5284 4957 0 -1 64 208 0 0 0 2 0 0 0 16 0 8 0 156999802 937435136 8833 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5284/tid=5298] ppid=5282 vsize=915464 CPUtime=0
/proc/5284/task/5298/stat : 5298 (java) S 5282 5284 4957 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156999803 937435136 8833 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5284/tid=5299] ppid=5282 vsize=915464 CPUtime=0
/proc/5284/task/5299/stat : 5299 (java) S 5282 5284 4957 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156999803 937435136 8833 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5284/tid=5316] ppid=5282 vsize=915464 CPUtime=0
/proc/5284/task/5316/stat : 5316 (java) S 5282 5284 4957 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156999806 937435136 8833 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5284/tid=5318] ppid=5282 vsize=915464 CPUtime=0.15
/proc/5284/task/5318/stat : 5318 (java) S 5282 5284 4957 0 -1 64 362 0 0 0 15 0 0 0 16 0 8 0 156999806 937435136 8833 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5284/tid=5319] ppid=5282 vsize=915464 CPUtime=0
/proc/5284/task/5319/stat : 5319 (java) S 5282 5284 4957 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156999806 937435136 8833 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5284/tid=5320] ppid=5282 vsize=915464 CPUtime=0
/proc/5284/task/5320/stat : 5320 (java) S 5282 5284 4957 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156999806 937435136 8833 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 915464

[startup+25.5856 s]
/proc/loadavg: 0.41 0.31 0.94 2/75 5342
/proc/meminfo: memFree=1443552/2055920 swapFree=4192812/4192956
[pid=5284] ppid=5282 vsize=915464 CPUtime=25.53
/proc/5284/stat : 5284 (java) R 5282 5284 4957 0 -1 0 9127 0 1 0 2546 7 0 0 25 0 8 0 156999797 937435136 8852 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073768595 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5284/statm: 228866 8852 2533 14 0 215336 0
[pid=5284/tid=5297] ppid=5282 vsize=915464 CPUtime=0.02
/proc/5284/task/5297/stat : 5297 (java) S 5282 5284 4957 0 -1 64 209 0 0 0 2 0 0 0 16 0 8 0 156999802 937435136 8852 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5284/tid=5298] ppid=5282 vsize=915464 CPUtime=0
/proc/5284/task/5298/stat : 5298 (java) S 5282 5284 4957 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156999803 937435136 8852 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5284/tid=5299] ppid=5282 vsize=915464 CPUtime=0
/proc/5284/task/5299/stat : 5299 (java) S 5282 5284 4957 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156999803 937435136 8852 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5284/tid=5316] ppid=5282 vsize=915464 CPUtime=0
/proc/5284/task/5316/stat : 5316 (java) S 5282 5284 4957 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156999806 937435136 8852 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5284/tid=5318] ppid=5282 vsize=915464 CPUtime=0.16
/proc/5284/task/5318/stat : 5318 (java) S 5282 5284 4957 0 -1 64 372 0 0 0 16 0 0 0 16 0 8 0 156999806 937435136 8852 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5284/tid=5319] ppid=5282 vsize=915464 CPUtime=0
/proc/5284/task/5319/stat : 5319 (java) S 5282 5284 4957 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156999806 937435136 8852 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5284/tid=5320] ppid=5282 vsize=915464 CPUtime=0
/proc/5284/task/5320/stat : 5320 (java) S 5282 5284 4957 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156999806 937435136 8852 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.53
Current children cumulated vsize (KiB) 915464

[startup+51.2669 s]
/proc/loadavg: 0.61 0.36 0.94 2/75 5344
/proc/meminfo: memFree=1445216/2055920 swapFree=4192812/4192956
[pid=5284] ppid=5282 vsize=915464 CPUtime=51.2
/proc/5284/stat : 5284 (java) R 5282 5284 4957 0 -1 0 9154 0 1 0 5113 7 0 0 25 0 8 0 156999797 937435136 8874 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073764647 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5284/statm: 228866 8874 2533 14 0 215336 0
[pid=5284/tid=5297] ppid=5282 vsize=915464 CPUtime=0.02
/proc/5284/task/5297/stat : 5297 (java) S 5282 5284 4957 0 -1 64 209 0 0 0 2 0 0 0 16 0 8 0 156999802 937435136 8874 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5284/tid=5298] ppid=5282 vsize=915464 CPUtime=0
/proc/5284/task/5298/stat : 5298 (java) S 5282 5284 4957 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156999803 937435136 8874 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5284/tid=5299] ppid=5282 vsize=915464 CPUtime=0
/proc/5284/task/5299/stat : 5299 (java) S 5282 5284 4957 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156999803 937435136 8874 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5284/tid=5316] ppid=5282 vsize=915464 CPUtime=0
/proc/5284/task/5316/stat : 5316 (java) S 5282 5284 4957 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156999806 937435136 8874 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5284/tid=5318] ppid=5282 vsize=915464 CPUtime=0.17
/proc/5284/task/5318/stat : 5318 (java) S 5282 5284 4957 0 -1 64 381 0 0 0 17 0 0 0 16 0 8 0 156999806 937435136 8874 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5284/tid=5319] ppid=5282 vsize=915464 CPUtime=0
/proc/5284/task/5319/stat : 5319 (java) S 5282 5284 4957 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156999806 937435136 8874 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5284/tid=5320] ppid=5282 vsize=915464 CPUtime=0
/proc/5284/task/5320/stat : 5320 (java) S 5282 5284 4957 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156999806 937435136 8874 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.2
Current children cumulated vsize (KiB) 915464

[startup+102.53 s]
/proc/loadavg: 0.84 0.47 0.94 2/75 5401
/proc/meminfo: memFree=1444960/2055920 swapFree=4192812/4192956
[pid=5284] ppid=5282 vsize=915464 CPUtime=102.43
/proc/5284/stat : 5284 (java) R 5282 5284 4957 0 -1 0 9183 0 1 0 10235 8 0 0 25 0 8 0 156999797 937435136 8900 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073764647 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5284/statm: 228866 8900 2533 14 0 215336 0
[pid=5284/tid=5297] ppid=5282 vsize=915464 CPUtime=0.02
/proc/5284/task/5297/stat : 5297 (java) S 5282 5284 4957 0 -1 64 209 0 0 0 2 0 0 0 16 0 8 0 156999802 937435136 8900 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5284/tid=5298] ppid=5282 vsize=915464 CPUtime=0
/proc/5284/task/5298/stat : 5298 (java) S 5282 5284 4957 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156999803 937435136 8900 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5284/tid=5299] ppid=5282 vsize=915464 CPUtime=0
/proc/5284/task/5299/stat : 5299 (java) S 5282 5284 4957 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156999803 937435136 8900 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5284/tid=5316] ppid=5282 vsize=915464 CPUtime=0
/proc/5284/task/5316/stat : 5316 (java) S 5282 5284 4957 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156999806 937435136 8900 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5284/tid=5318] ppid=5282 vsize=915464 CPUtime=0.17
/proc/5284/task/5318/stat : 5318 (java) S 5282 5284 4957 0 -1 64 384 0 0 0 17 0 0 0 16 0 8 0 156999806 937435136 8900 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5284/tid=5319] ppid=5282 vsize=915464 CPUtime=0
/proc/5284/task/5319/stat : 5319 (java) S 5282 5284 4957 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156999806 937435136 8900 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5284/tid=5320] ppid=5282 vsize=915464 CPUtime=0
/proc/5284/task/5320/stat : 5320 (java) S 5282 5284 4957 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156999806 937435136 8900 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 102.43
Current children cumulated vsize (KiB) 915464

[startup+162.624 s]
/proc/loadavg: 0.97 0.58 0.94 2/72 5460
/proc/meminfo: memFree=1450240/2055920 swapFree=4192812/4192956
[pid=5284] ppid=5282 vsize=915464 CPUtime=162.47
/proc/5284/stat : 5284 (java) R 5282 5284 4957 0 -1 0 9216 0 1 0 16239 8 0 0 25 0 8 0 156999797 937435136 8929 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073763505 0 4 0 23759 18446744073709551615 0 0 17 1 0 0

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

Current children cumulated CPU time (s) 1423.75
Current children cumulated vsize (KiB) 915464

[startup+1484.41 s]
/proc/loadavg: 0.99 0.97 0.94 2/72 5460
/proc/meminfo: memFree=1449024/2055920 swapFree=4192812/4192956
[pid=5284] ppid=5282 vsize=915464 CPUtime=1483.82
/proc/5284/stat : 5284 (java) R 5282 5284 4957 0 -1 0 9498 0 1 0 148372 10 0 0 25 0 8 0 156999797 937435136 9193 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073479196 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5284/statm: 228866 9193 2533 14 0 215336 0
[pid=5284/tid=5297] ppid=5282 vsize=915464 CPUtime=0.02
/proc/5284/task/5297/stat : 5297 (java) S 5282 5284 4957 0 -1 64 209 0 0 0 2 0 0 0 16 0 8 0 156999802 937435136 9193 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5284/tid=5298] ppid=5282 vsize=915464 CPUtime=0
/proc/5284/task/5298/stat : 5298 (java) S 5282 5284 4957 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156999803 937435136 9193 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5284/tid=5299] ppid=5282 vsize=915464 CPUtime=0
/proc/5284/task/5299/stat : 5299 (java) S 5282 5284 4957 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156999803 937435136 9193 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5284/tid=5316] ppid=5282 vsize=915464 CPUtime=0
/proc/5284/task/5316/stat : 5316 (java) S 5282 5284 4957 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156999806 937435136 9193 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5284/tid=5318] ppid=5282 vsize=915464 CPUtime=0.22
/proc/5284/task/5318/stat : 5318 (java) S 5282 5284 4957 0 -1 64 415 0 0 0 22 0 0 0 16 0 8 0 156999806 937435136 9193 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5284/tid=5319] ppid=5282 vsize=915464 CPUtime=0
/proc/5284/task/5319/stat : 5319 (java) S 5282 5284 4957 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156999806 937435136 9193 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5284/tid=5320] ppid=5282 vsize=915464 CPUtime=0
/proc/5284/task/5320/stat : 5320 (java) S 5282 5284 4957 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156999806 937435136 9193 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1483.82
Current children cumulated vsize (KiB) 915464

[startup+1544.5 s]
/proc/loadavg: 0.99 0.97 0.94 2/72 5460
/proc/meminfo: memFree=1448960/2055920 swapFree=4192812/4192956
[pid=5284] ppid=5282 vsize=915464 CPUtime=1543.89
/proc/5284/stat : 5284 (java) R 5282 5284 4957 0 -1 0 9501 0 1 0 154379 10 0 0 25 0 8 0 156999797 937435136 9196 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073768132 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5284/statm: 228866 9196 2533 14 0 215336 0
[pid=5284/tid=5297] ppid=5282 vsize=915464 CPUtime=0.02
/proc/5284/task/5297/stat : 5297 (java) S 5282 5284 4957 0 -1 64 209 0 0 0 2 0 0 0 16 0 8 0 156999802 937435136 9196 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5284/tid=5298] ppid=5282 vsize=915464 CPUtime=0
/proc/5284/task/5298/stat : 5298 (java) S 5282 5284 4957 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156999803 937435136 9196 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5284/tid=5299] ppid=5282 vsize=915464 CPUtime=0
/proc/5284/task/5299/stat : 5299 (java) S 5282 5284 4957 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156999803 937435136 9196 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5284/tid=5316] ppid=5282 vsize=915464 CPUtime=0
/proc/5284/task/5316/stat : 5316 (java) S 5282 5284 4957 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156999806 937435136 9196 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5284/tid=5318] ppid=5282 vsize=915464 CPUtime=0.22
/proc/5284/task/5318/stat : 5318 (java) S 5282 5284 4957 0 -1 64 415 0 0 0 22 0 0 0 16 0 8 0 156999806 937435136 9196 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5284/tid=5319] ppid=5282 vsize=915464 CPUtime=0
/proc/5284/task/5319/stat : 5319 (java) S 5282 5284 4957 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156999806 937435136 9196 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5284/tid=5320] ppid=5282 vsize=915464 CPUtime=0
/proc/5284/task/5320/stat : 5320 (java) S 5282 5284 4957 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156999806 937435136 9196 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1543.89
Current children cumulated vsize (KiB) 915464

[startup+1604.58 s]
/proc/loadavg: 0.99 0.97 0.94 2/72 5460
/proc/meminfo: memFree=1448960/2055920 swapFree=4192812/4192956
[pid=5284] ppid=5282 vsize=915464 CPUtime=1603.96
/proc/5284/stat : 5284 (java) R 5282 5284 4957 0 -1 0 9501 0 1 0 160386 10 0 0 25 0 8 0 156999797 937435136 9196 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073764647 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5284/statm: 228866 9196 2533 14 0 215336 0
[pid=5284/tid=5297] ppid=5282 vsize=915464 CPUtime=0.02
/proc/5284/task/5297/stat : 5297 (java) S 5282 5284 4957 0 -1 64 209 0 0 0 2 0 0 0 16 0 8 0 156999802 937435136 9196 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5284/tid=5298] ppid=5282 vsize=915464 CPUtime=0
/proc/5284/task/5298/stat : 5298 (java) S 5282 5284 4957 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156999803 937435136 9196 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5284/tid=5299] ppid=5282 vsize=915464 CPUtime=0
/proc/5284/task/5299/stat : 5299 (java) S 5282 5284 4957 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156999803 937435136 9196 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5284/tid=5316] ppid=5282 vsize=915464 CPUtime=0
/proc/5284/task/5316/stat : 5316 (java) S 5282 5284 4957 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156999806 937435136 9196 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5284/tid=5318] ppid=5282 vsize=915464 CPUtime=0.22
/proc/5284/task/5318/stat : 5318 (java) S 5282 5284 4957 0 -1 64 415 0 0 0 22 0 0 0 16 0 8 0 156999806 937435136 9196 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5284/tid=5319] ppid=5282 vsize=915464 CPUtime=0
/proc/5284/task/5319/stat : 5319 (java) S 5282 5284 4957 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156999806 937435136 9196 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5284/tid=5320] ppid=5282 vsize=915464 CPUtime=0
/proc/5284/task/5320/stat : 5320 (java) S 5282 5284 4957 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156999806 937435136 9196 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1603.96
Current children cumulated vsize (KiB) 915464

[startup+1664.66 s]
/proc/loadavg: 0.99 0.97 0.94 2/72 5460
/proc/meminfo: memFree=1448960/2055920 swapFree=4192812/4192956
[pid=5284] ppid=5282 vsize=915464 CPUtime=1664.02
/proc/5284/stat : 5284 (java) R 5282 5284 4957 0 -1 0 9501 0 1 0 166392 10 0 0 25 0 8 0 156999797 937435136 9196 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073479193 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5284/statm: 228866 9196 2533 14 0 215336 0
[pid=5284/tid=5297] ppid=5282 vsize=915464 CPUtime=0.02
/proc/5284/task/5297/stat : 5297 (java) S 5282 5284 4957 0 -1 64 209 0 0 0 2 0 0 0 16 0 8 0 156999802 937435136 9196 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5284/tid=5298] ppid=5282 vsize=915464 CPUtime=0
/proc/5284/task/5298/stat : 5298 (java) S 5282 5284 4957 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156999803 937435136 9196 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5284/tid=5299] ppid=5282 vsize=915464 CPUtime=0
/proc/5284/task/5299/stat : 5299 (java) S 5282 5284 4957 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156999803 937435136 9196 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5284/tid=5316] ppid=5282 vsize=915464 CPUtime=0
/proc/5284/task/5316/stat : 5316 (java) S 5282 5284 4957 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156999806 937435136 9196 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5284/tid=5318] ppid=5282 vsize=915464 CPUtime=0.22
/proc/5284/task/5318/stat : 5318 (java) S 5282 5284 4957 0 -1 64 415 0 0 0 22 0 0 0 16 0 8 0 156999806 937435136 9196 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5284/tid=5319] ppid=5282 vsize=915464 CPUtime=0
/proc/5284/task/5319/stat : 5319 (java) S 5282 5284 4957 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156999806 937435136 9196 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5284/tid=5320] ppid=5282 vsize=915464 CPUtime=0
/proc/5284/task/5320/stat : 5320 (java) S 5282 5284 4957 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156999806 937435136 9196 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1664.02
Current children cumulated vsize (KiB) 915464

[startup+1724.74 s]
/proc/loadavg: 0.99 0.97 0.94 2/72 5460
/proc/meminfo: memFree=1449024/2055920 swapFree=4192812/4192956
[pid=5284] ppid=5282 vsize=915464 CPUtime=1724.07
/proc/5284/stat : 5284 (java) R 5282 5284 4957 0 -1 0 9501 0 1 0 172397 10 0 0 25 0 8 0 156999797 937435136 9196 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073768624 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5284/statm: 228866 9196 2533 14 0 215336 0
[pid=5284/tid=5297] ppid=5282 vsize=915464 CPUtime=0.02
/proc/5284/task/5297/stat : 5297 (java) S 5282 5284 4957 0 -1 64 209 0 0 0 2 0 0 0 16 0 8 0 156999802 937435136 9196 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5284/tid=5298] ppid=5282 vsize=915464 CPUtime=0
/proc/5284/task/5298/stat : 5298 (java) S 5282 5284 4957 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156999803 937435136 9196 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5284/tid=5299] ppid=5282 vsize=915464 CPUtime=0
/proc/5284/task/5299/stat : 5299 (java) S 5282 5284 4957 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156999803 937435136 9196 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5284/tid=5316] ppid=5282 vsize=915464 CPUtime=0
/proc/5284/task/5316/stat : 5316 (java) S 5282 5284 4957 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156999806 937435136 9196 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5284/tid=5318] ppid=5282 vsize=915464 CPUtime=0.22
/proc/5284/task/5318/stat : 5318 (java) S 5282 5284 4957 0 -1 64 415 0 0 0 22 0 0 0 16 0 8 0 156999806 937435136 9196 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5284/tid=5319] ppid=5282 vsize=915464 CPUtime=0
/proc/5284/task/5319/stat : 5319 (java) S 5282 5284 4957 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156999806 937435136 9196 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5284/tid=5320] ppid=5282 vsize=915464 CPUtime=0
/proc/5284/task/5320/stat : 5320 (java) S 5282 5284 4957 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156999806 937435136 9196 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1724.07
Current children cumulated vsize (KiB) 915464

[startup+1784.82 s]
/proc/loadavg: 0.99 0.97 0.94 2/72 5460
/proc/meminfo: memFree=1448960/2055920 swapFree=4192812/4192956
[pid=5284] ppid=5282 vsize=915464 CPUtime=1784.13
/proc/5284/stat : 5284 (java) R 5282 5284 4957 0 -1 0 9501 0 1 0 178403 10 0 0 25 0 8 0 156999797 937435136 9196 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073765470 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5284/statm: 228866 9196 2533 14 0 215336 0
[pid=5284/tid=5297] ppid=5282 vsize=915464 CPUtime=0.02
/proc/5284/task/5297/stat : 5297 (java) S 5282 5284 4957 0 -1 64 209 0 0 0 2 0 0 0 16 0 8 0 156999802 937435136 9196 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5284/tid=5298] ppid=5282 vsize=915464 CPUtime=0
/proc/5284/task/5298/stat : 5298 (java) S 5282 5284 4957 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156999803 937435136 9196 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5284/tid=5299] ppid=5282 vsize=915464 CPUtime=0
/proc/5284/task/5299/stat : 5299 (java) S 5282 5284 4957 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156999803 937435136 9196 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5284/tid=5316] ppid=5282 vsize=915464 CPUtime=0
/proc/5284/task/5316/stat : 5316 (java) S 5282 5284 4957 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156999806 937435136 9196 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5284/tid=5318] ppid=5282 vsize=915464 CPUtime=0.22
/proc/5284/task/5318/stat : 5318 (java) S 5282 5284 4957 0 -1 64 415 0 0 0 22 0 0 0 16 0 8 0 156999806 937435136 9196 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5284/tid=5319] ppid=5282 vsize=915464 CPUtime=0
/proc/5284/task/5319/stat : 5319 (java) S 5282 5284 4957 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156999806 937435136 9196 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5284/tid=5320] ppid=5282 vsize=915464 CPUtime=0
/proc/5284/task/5320/stat : 5320 (java) S 5282 5284 4957 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156999806 937435136 9196 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1784.13
Current children cumulated vsize (KiB) 915464



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.74 s]
/proc/loadavg: 0.99 0.97 0.94 2/72 5460
/proc/meminfo: memFree=1448960/2055920 swapFree=4192812/4192956
[pid=5284] ppid=5282 vsize=915464 CPUtime=1800.05
/proc/5284/stat : 5284 (java) R 5282 5284 4957 0 -1 0 9501 0 1 0 179995 10 0 0 25 0 8 0 156999797 937435136 9196 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073764647 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5284/statm: 228866 9196 2533 14 0 215336 0
[pid=5284/tid=5297] ppid=5282 vsize=915464 CPUtime=0.02
/proc/5284/task/5297/stat : 5297 (java) S 5282 5284 4957 0 -1 64 209 0 0 0 2 0 0 0 16 0 8 0 156999802 937435136 9196 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5284/tid=5298] ppid=5282 vsize=915464 CPUtime=0
/proc/5284/task/5298/stat : 5298 (java) S 5282 5284 4957 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156999803 937435136 9196 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5284/tid=5299] ppid=5282 vsize=915464 CPUtime=0
/proc/5284/task/5299/stat : 5299 (java) S 5282 5284 4957 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156999803 937435136 9196 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5284/tid=5316] ppid=5282 vsize=915464 CPUtime=0
/proc/5284/task/5316/stat : 5316 (java) S 5282 5284 4957 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156999806 937435136 9196 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5284/tid=5318] ppid=5282 vsize=915464 CPUtime=0.22
/proc/5284/task/5318/stat : 5318 (java) S 5282 5284 4957 0 -1 64 415 0 0 0 22 0 0 0 16 0 8 0 156999806 937435136 9196 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5284/tid=5319] ppid=5282 vsize=915464 CPUtime=0
/proc/5284/task/5319/stat : 5319 (java) S 5282 5284 4957 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156999806 937435136 9196 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5284/tid=5320] ppid=5282 vsize=915464 CPUtime=0
/proc/5284/task/5320/stat : 5320 (java) S 5282 5284 4957 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156999806 937435136 9196 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 915464

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

Child status: 143
Real time (s): 1800.76
CPU time (s): 1800.08
CPU user time (s): 1799.97
CPU system time (s): 0.110983
CPU usage (%): 99.9622
Max. virtual memory (cumulated for all children) (KiB): 915464

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.97
system time used= 0.110983
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9519
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= 37496
involuntary context switches= 18844

runsolver used 1.67774 s user time and 4.71028 s system time

The end

Launcher Data (download as text)

Begin job on node50 on Sat Jan  6 12:20:06 UTC 2007


IDJOB= 248597
IDBENCH= 11719
FILE ID= node50/248597-1168086000

PBS_JOBID= 3476572

Free space on /tmp= 66550 MiB

BENCH NAME= HOME/pub/bench/CPAI06/primes/primes-25/primes-25-60-3-5.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/248597-1168086000/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node50/watcher-248597-1168086000 -o ROOT/results/node50/solver-248597-1168086000 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/248597-1168086000/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  4ed92c7f1c4b4785d82bdf19b1820ee9

RANDOM SEED= 266792844

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.263
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	: 5931.00
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.263
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:       1471584 kB
Buffers:         39892 kB
Cached:         446376 kB
SwapCached:          0 kB
Active:          88464 kB
Inactive:       417952 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1471584 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            1736 kB
Writeback:           0 kB
Mapped:          30300 kB
Slab:            63620 kB
Committed_AS:  3363536 kB
PageTables:       1676 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= 66550 MiB



End job on node50 on Sat Jan  6 12:50:14 UTC 2007