Trace number 249597

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.04 1815.61

General information on the benchmark

Nameprimes/primes-20/
primes-20-60-3-7.xml
MD5SUM6c04e343d1e6af5eac3a58ef34542fde
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 size70
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.30	   
0.30	Abscon 109 (November, 2006)
0.30	   
0.30	   configuration
0.30	     name=esac.xml
0.33	   
0.33	   instance
0.33	     name=/tmp/evaluation/249597-1168405314/unknown.xml
0.36	   
0.36	   domains being loaded...
0.37	   
0.37	   variables being loaded...
0.41	     nbVariables=100  nbDomainTypes=1  minDomainSize=70  maxDomainSize=70
0.41	       =>  wckTime=0.106  cpuTime=0.08  mem=6M951
0.41	   
0.41	   predicates being loaded...
0.47	   
0.47	   constraints being loaded...
0.59	     nbConstraints=60  nbSingletonDomainVariables=3  nbDisconnectedVariables=3  nbUnbuiltConflictsStructures=60
0.59	     nbSharedBinaryRepresentations=0  nbEvaluationManagers=60  nbSharedEvaluationManagers=0  maxDegree=11  maxArity=10
0.59	       =>  wckTime=0.281  cpuTime=0.2  mem=11M828
0.62	   
0.62	   solver IterativeSystematicSolver being built... 
0.80	       =>  wckTime=0.494  cpuTime=0.34  mem=16M481
6.34	   
6.34	   preprocessing
6.34	     nbConstraintChecks=9863279  nbValidityChecks=5471  nbPropagations=329  nbRevisions=183  nbUselessRevisions=42
6.34	     nbSingletonTests=112  nbEffectiveSingletonTests=0  nbESACBranches=7  nbRemovedValues=553  detectedInconsistency=no
6.34	       =>  wckTime=5.541  cpuTime=5.47  mem=16M481
12.23	   
12.23	   search
12.23	     run=0  nbConstraintChecks=8911567  nbValidityChecks=6547  nbPropagations=548  nbRevisions=419
12.23	     nbUselessRevisions=91  nbAssignments=47  nbFailedAssignments=8  nbBacktracks=11  nbVisitedNodes=56
12.23	     nbRestartNogoods=0  mapSize=11  nbInferences=0  nbTooLargeKeys=0
12.23	       =>  wckTime=11.432  cpuTime=11.29  mem=17M472
35.79	   
35.79	   search
35.79	     run=1  nbConstraintChecks=46849821  nbValidityChecks=23421  nbPropagations=1752  nbRevisions=1584
35.79	     nbUselessRevisions=318  nbAssignments=236  nbFailedAssignments=86  nbBacktracks=26  nbVisitedNodes=242
35.79	     nbRestartNogoods=5  mapSize=26  nbInferences=0  nbTooLargeKeys=0
35.79	       =>  wckTime=34.988  cpuTime=34.59  mem=17M472
73.97	   
73.97	   search
73.97	     run=2  nbConstraintChecks=107928824  nbValidityChecks=43958  nbPropagations=3841  nbRevisions=3838
73.97	     nbUselessRevisions=689  nbAssignments=463  nbFailedAssignments=278  nbBacktracks=48  nbVisitedNodes=661
73.97	     nbRestartNogoods=11  mapSize=39  nbInferences=0  nbTooLargeKeys=0
73.97	       =>  wckTime=73.171  cpuTime=72.41  mem=17M472
90.72	   
90.72	   search
90.72	     run=3  nbConstraintChecks=135133020  nbValidityChecks=65244  nbPropagations=6647  nbRevisions=6931
90.72	     nbUselessRevisions=1233  nbAssignments=637  nbFailedAssignments=346  nbBacktracks=81  nbVisitedNodes=854
90.72	     nbRestartNogoods=19  mapSize=62  nbInferences=0  nbTooLargeKeys=0
90.72	       =>  wckTime=89.919  cpuTime=89.03  mem=17M472
129.02	   
129.02	   search
129.02	     run=4  nbConstraintChecks=184043792  nbValidityChecks=91590  nbPropagations=10890  nbRevisions=11517
129.02	     nbUselessRevisions=2119  nbAssignments=970  nbFailedAssignments=484  nbBacktracks=133  nbVisitedNodes=1205
129.02	     nbRestartNogoods=63  mapSize=86  nbInferences=0  nbTooLargeKeys=0
129.02	       =>  wckTime=128.217  cpuTime=126.99  mem=17M472
159.35	   
159.35	   search
159.35	     run=5  nbConstraintChecks=233659790  nbValidityChecks=126126  nbPropagations=16415  nbRevisions=17409
159.35	     nbUselessRevisions=3269  nbAssignments=1230  nbFailedAssignments=657  nbBacktracks=213  nbVisitedNodes=1638
159.35	     nbRestartNogoods=72  mapSize=136  nbInferences=0  nbTooLargeKeys=0
159.35	       =>  wckTime=158.546  cpuTime=157.06  mem=17M472
177.49	   
177.49	   search
177.49	     run=6  nbConstraintChecks=262365777  nbValidityChecks=173487  nbPropagations=24578  nbRevisions=26080
177.50	     nbUselessRevisions=4855  nbAssignments=1580  nbFailedAssignments=875  nbBacktracks=327  nbVisitedNodes=2206
177.50	     nbRestartNogoods=73  mapSize=233  nbInferences=0  nbTooLargeKeys=0
177.50	       =>  wckTime=176.693  cpuTime=175.04  mem=17M472
221.65	   
221.65	   search
221.65	     run=7  nbConstraintChecks=326188622  nbValidityChecks=222523  nbPropagations=34637  nbRevisions=36620
221.65	     nbUselessRevisions=6932  nbAssignments=2077  nbFailedAssignments=1027  nbBacktracks=497  nbVisitedNodes=2689
221.65	     nbRestartNogoods=84  mapSize=359  nbInferences=0  nbTooLargeKeys=0
221.65	       =>  wckTime=220.843  cpuTime=218.79  mem=17M472
421.35	   
421.35	   search
421.35	     run=8  nbConstraintChecks=606522898  nbValidityChecks=396458  nbPropagations=48399  nbRevisions=51589
421.35	     nbUselessRevisions=10001  nbAssignments=3088  nbFailedAssignments=1763  nbBacktracks=754  nbVisitedNodes=4436
421.35	     nbRestartNogoods=92  mapSize=580  nbInferences=0  nbTooLargeKeys=0
421.35	       =>  wckTime=420.545  cpuTime=416.78  mem=17M472
657.99	   
657.99	   search
657.99	     run=9  nbConstraintChecks=973106801  nbValidityChecks=603852  nbPropagations=67962  nbRevisions=72105
657.99	     nbUselessRevisions=14072  nbAssignments=4676  nbFailedAssignments=2852  nbBacktracks=1138  nbVisitedNodes=7008
657.99	     nbRestartNogoods=109  mapSize=851  nbInferences=0  nbTooLargeKeys=0
657.99	       =>  wckTime=657.187  cpuTime=651.39  mem=17M472
699.70	   
699.70	   INFO : Stopping hyperNogood (mapSize=1003, nbTooLargekeys=0, mem=17M472)
816.70	   
816.70	   search
816.70	     run=10  nbConstraintChecks=1225581955  nbValidityChecks=990820  nbPropagations=95186  nbRevisions=101251
816.70	     nbUselessRevisions=19921  nbAssignments=6319  nbFailedAssignments=3877  nbBacktracks=1715  nbVisitedNodes=9664
816.70	     nbRestartNogoods=115
816.70	       =>  wckTime=815.899  cpuTime=808.73  mem=17M472
1013.94	   
1013.94	   search
1013.94	     run=11  nbConstraintChecks=1477271954  nbValidityChecks=1478776  nbPropagations=136752  nbRevisions=149875
1013.94	     nbUselessRevisions=29164  nbAssignments=8735  nbFailedAssignments=5279  nbBacktracks=2579  nbVisitedNodes=13358
1013.94	     nbRestartNogoods=145
1013.94	       =>  wckTime=1013.136  cpuTime=1004.31  mem=17M472
1188.67	   
1188.67	   search
1188.67	     run=12  nbConstraintChecks=1688549549  nbValidityChecks=2048446  nbPropagations=197667  nbRevisions=224579
1188.67	     nbUselessRevisions=42752  nbAssignments=12126  nbFailedAssignments=7318  nbBacktracks=3880  nbVisitedNodes=18769
1188.67	     nbRestartNogoods=182
1188.67	       =>  wckTime=1187.865  cpuTime=1177.58  mem=17M472
1428.53	   
1428.53	   search
1428.53	     run=13  nbConstraintChecks=1996566803  nbValidityChecks=2907523  nbPropagations=286782  nbRevisions=334594
1428.53	     nbUselessRevisions=63099  nbAssignments=16313  nbFailedAssignments=9410  nbBacktracks=5827  nbVisitedNodes=24926
1428.53	     nbRestartNogoods=197
1428.53	       =>  wckTime=1427.732  cpuTime=1415.41  mem=18M447

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/node23/watcher-249597-1168405314 -o ROOT/results/node23/solver-249597-1168405314 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/249597-1168405314/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: 1.09 1.06 1.32 5/88 21404
/proc/meminfo: memFree=1526328/2055920 swapFree=4191880/4192956
[pid=21403] ppid=21395 vsize=308 CPUtime=0
/proc/21403/stat : 21403 (java) R 21395 21403 21294 0 -1 0 57 0 0 0 0 0 0 0 20 0 1 0 188925754 315392 40 18446744073709551615 134512640 134570532 4294956640 18446744073709551615 2495396 0 0 4096 0 0 0 0 17 1 0 0
/proc/21403/statm: 77 40 31 14 0 5 0

[startup+0.106879 s]
/proc/loadavg: 1.09 1.06 1.32 5/88 21404
/proc/meminfo: memFree=1526328/2055920 swapFree=4191880/4192956
[pid=21403] ppid=21395 vsize=914988 CPUtime=0.08
/proc/21403/stat : 21403 (java) R 21395 21403 21294 0 -1 0 3001 0 1 0 7 1 0 0 17 0 8 0 188925754 936947712 2747 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072943158 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21403/statm: 228747 2747 1428 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988

[startup+0.514959 s]
/proc/loadavg: 1.09 1.06 1.32 5/88 21404
/proc/meminfo: memFree=1526328/2055920 swapFree=4191880/4192956
[pid=21403] ppid=21395 vsize=915460 CPUtime=0.49
/proc/21403/stat : 21403 (java) R 21395 21403 21294 0 -1 0 6980 0 1 0 45 4 0 0 19 0 8 0 188925754 937431040 6719 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072927577 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21403/statm: 228865 6719 2161 14 0 215335 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915460

[startup+1.34412 s]
/proc/loadavg: 1.25 1.09 1.32 3/107 21437
/proc/meminfo: memFree=1455568/2055920 swapFree=4191880/4192956
[pid=21403] ppid=21395 vsize=915460 CPUtime=1.3
/proc/21403/stat : 21403 (java) R 21395 21403 21294 0 -1 0 9085 0 1 0 124 6 0 0 25 0 8 0 188925754 937431040 8823 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073799157 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21403/statm: 228865 8823 2541 14 0 215335 0
[pid=21403/tid=21417] ppid=21395 vsize=915460 CPUtime=0.02
/proc/21403/task/21417/stat : 21417 (java) S 21395 21403 21294 0 -1 64 196 0 0 0 2 0 0 0 16 0 8 0 188925759 937431040 8823 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21403/tid=21422] ppid=21395 vsize=915460 CPUtime=0
/proc/21403/task/21422/stat : 21422 (java) S 21395 21403 21294 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 188925759 937431040 8823 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21403/tid=21423] ppid=21395 vsize=915460 CPUtime=0
/proc/21403/task/21423/stat : 21423 (java) S 21395 21403 21294 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 188925759 937431040 8823 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21403/tid=21427] ppid=21395 vsize=915460 CPUtime=0
/proc/21403/task/21427/stat : 21427 (java) S 21395 21403 21294 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 188925762 937431040 8823 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21403/tid=21428] ppid=21395 vsize=915460 CPUtime=0.15
/proc/21403/task/21428/stat : 21428 (java) S 21395 21403 21294 0 -1 64 360 0 0 0 15 0 0 0 15 0 8 0 188925762 937431040 8823 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21403/tid=21429] ppid=21395 vsize=915460 CPUtime=0
/proc/21403/task/21429/stat : 21429 (java) S 21395 21403 21294 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 188925762 937431040 8823 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21403/tid=21430] ppid=21395 vsize=915460 CPUtime=0
/proc/21403/task/21430/stat : 21430 (java) S 21395 21403 21294 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 188925762 937431040 8823 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915460

[startup+2.98143 s]
/proc/loadavg: 1.25 1.09 1.32 3/107 21439
/proc/meminfo: memFree=1455312/2055920 swapFree=4191880/4192956
[pid=21403] ppid=21395 vsize=915460 CPUtime=2.92
/proc/21403/stat : 21403 (java) R 21395 21403 21294 0 -1 0 9097 0 1 0 286 6 0 0 25 0 8 0 188925754 937431040 8833 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073800985 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21403/statm: 228865 8833 2543 14 0 215335 0
[pid=21403/tid=21417] ppid=21395 vsize=915460 CPUtime=0.02
/proc/21403/task/21417/stat : 21417 (java) S 21395 21403 21294 0 -1 64 196 0 0 0 2 0 0 0 17 0 8 0 188925759 937431040 8833 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21403/tid=21422] ppid=21395 vsize=915460 CPUtime=0
/proc/21403/task/21422/stat : 21422 (java) S 21395 21403 21294 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 188925759 937431040 8833 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21403/tid=21423] ppid=21395 vsize=915460 CPUtime=0
/proc/21403/task/21423/stat : 21423 (java) S 21395 21403 21294 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 188925759 937431040 8833 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21403/tid=21427] ppid=21395 vsize=915460 CPUtime=0
/proc/21403/task/21427/stat : 21427 (java) S 21395 21403 21294 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 188925762 937431040 8833 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21403/tid=21428] ppid=21395 vsize=915460 CPUtime=0.16
/proc/21403/task/21428/stat : 21428 (java) S 21395 21403 21294 0 -1 64 367 0 0 0 16 0 0 0 15 0 8 0 188925762 937431040 8833 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21403/tid=21429] ppid=21395 vsize=915460 CPUtime=0
/proc/21403/task/21429/stat : 21429 (java) S 21395 21403 21294 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 188925762 937431040 8833 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21403/tid=21430] ppid=21395 vsize=915460 CPUtime=0
/proc/21403/task/21430/stat : 21430 (java) S 21395 21403 21294 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 188925762 937431040 8833 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 915460

[startup+6.27807 s]
/proc/loadavg: 1.31 1.11 1.33 3/107 21441
/proc/meminfo: memFree=1455312/2055920 swapFree=4191880/4192956
[pid=21403] ppid=21395 vsize=915460 CPUtime=6.2
/proc/21403/stat : 21403 (java) R 21395 21403 21294 0 -1 0 9103 0 1 0 613 7 0 0 25 0 8 0 188925754 937431040 8836 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073800908 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21403/statm: 228865 8836 2543 14 0 215335 0
[pid=21403/tid=21417] ppid=21395 vsize=915460 CPUtime=0.02
/proc/21403/task/21417/stat : 21417 (java) S 21395 21403 21294 0 -1 64 196 0 0 0 2 0 0 0 17 0 8 0 188925759 937431040 8836 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21403/tid=21422] ppid=21395 vsize=915460 CPUtime=0
/proc/21403/task/21422/stat : 21422 (java) S 21395 21403 21294 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 188925759 937431040 8836 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21403/tid=21423] ppid=21395 vsize=915460 CPUtime=0
/proc/21403/task/21423/stat : 21423 (java) S 21395 21403 21294 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 188925759 937431040 8836 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21403/tid=21427] ppid=21395 vsize=915460 CPUtime=0
/proc/21403/task/21427/stat : 21427 (java) S 21395 21403 21294 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 188925762 937431040 8836 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21403/tid=21428] ppid=21395 vsize=915460 CPUtime=0.17
/proc/21403/task/21428/stat : 21428 (java) S 21395 21403 21294 0 -1 64 372 0 0 0 17 0 0 0 15 0 8 0 188925762 937431040 8836 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21403/tid=21429] ppid=21395 vsize=915460 CPUtime=0
/proc/21403/task/21429/stat : 21429 (java) S 21395 21403 21294 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 188925762 937431040 8836 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21403/tid=21430] ppid=21395 vsize=915460 CPUtime=0
/proc/21403/task/21430/stat : 21430 (java) S 21395 21403 21294 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 188925762 937431040 8836 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 915460

[startup+12.7543 s]
/proc/loadavg: 1.36 1.12 1.33 3/107 21447
/proc/meminfo: memFree=1454992/2055920 swapFree=4191880/4192956
[pid=21403] ppid=21395 vsize=915460 CPUtime=12.6
/proc/21403/stat : 21403 (java) R 21395 21403 21294 0 -1 0 9214 0 1 0 1253 7 0 0 25 0 8 0 188925754 937431040 8944 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073479196 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21403/statm: 228865 8944 2544 14 0 215335 0
[pid=21403/tid=21417] ppid=21395 vsize=915460 CPUtime=0.02
/proc/21403/task/21417/stat : 21417 (java) S 21395 21403 21294 0 -1 64 196 0 0 0 2 0 0 0 16 0 8 0 188925759 937431040 8944 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21403/tid=21422] ppid=21395 vsize=915460 CPUtime=0
/proc/21403/task/21422/stat : 21422 (java) S 21395 21403 21294 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 188925759 937431040 8944 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21403/tid=21423] ppid=21395 vsize=915460 CPUtime=0
/proc/21403/task/21423/stat : 21423 (java) S 21395 21403 21294 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 188925759 937431040 8944 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21403/tid=21427] ppid=21395 vsize=915460 CPUtime=0
/proc/21403/task/21427/stat : 21427 (java) S 21395 21403 21294 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 188925762 937431040 8944 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21403/tid=21428] ppid=21395 vsize=915460 CPUtime=0.18
/proc/21403/task/21428/stat : 21428 (java) S 21395 21403 21294 0 -1 64 379 0 0 0 18 0 0 0 16 0 8 0 188925762 937431040 8944 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21403/tid=21429] ppid=21395 vsize=915460 CPUtime=0
/proc/21403/task/21429/stat : 21429 (java) S 21395 21403 21294 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 188925762 937431040 8944 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21403/tid=21430] ppid=21395 vsize=915460 CPUtime=0
/proc/21403/task/21430/stat : 21430 (java) S 21395 21403 21294 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 188925762 937431040 8944 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 915460

[startup+25.6008 s]
/proc/loadavg: 1.46 1.15 1.34 3/107 21459
/proc/meminfo: memFree=1454992/2055920 swapFree=4191880/4192956
[pid=21403] ppid=21395 vsize=915460 CPUtime=25.31
/proc/21403/stat : 21403 (java) R 21395 21403 21294 0 -1 0 9221 0 1 0 2523 8 0 0 25 0 8 0 188925754 937431040 8948 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073799175 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21403/statm: 228865 8948 2544 14 0 215335 0
[pid=21403/tid=21417] ppid=21395 vsize=915460 CPUtime=0.02
/proc/21403/task/21417/stat : 21417 (java) S 21395 21403 21294 0 -1 64 196 0 0 0 2 0 0 0 16 0 8 0 188925759 937431040 8948 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21403/tid=21422] ppid=21395 vsize=915460 CPUtime=0
/proc/21403/task/21422/stat : 21422 (java) S 21395 21403 21294 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 188925759 937431040 8948 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21403/tid=21423] ppid=21395 vsize=915460 CPUtime=0
/proc/21403/task/21423/stat : 21423 (java) S 21395 21403 21294 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 188925759 937431040 8948 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21403/tid=21427] ppid=21395 vsize=915460 CPUtime=0
/proc/21403/task/21427/stat : 21427 (java) S 21395 21403 21294 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 188925762 937431040 8948 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21403/tid=21428] ppid=21395 vsize=915460 CPUtime=0.19
/proc/21403/task/21428/stat : 21428 (java) S 21395 21403 21294 0 -1 64 382 0 0 0 19 0 0 0 15 0 8 0 188925762 937431040 8948 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21403/tid=21429] ppid=21395 vsize=915460 CPUtime=0
/proc/21403/task/21429/stat : 21429 (java) S 21395 21403 21294 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 188925762 937431040 8948 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21403/tid=21430] ppid=21395 vsize=915460 CPUtime=0
/proc/21403/task/21430/stat : 21430 (java) S 21395 21403 21294 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 188925762 937431040 8948 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.31
Current children cumulated vsize (KiB) 915460

[startup+51.2017 s]
/proc/loadavg: 1.67 1.23 1.36 3/101 21489
/proc/meminfo: memFree=1456072/2055920 swapFree=4191880/4192956
[pid=21403] ppid=21395 vsize=915460 CPUtime=50.67
/proc/21403/stat : 21403 (java) R 21395 21403 21294 0 -1 0 9236 0 1 0 5057 10 0 0 25 0 8 0 188925754 937431040 8957 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073833298 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21403/statm: 228865 8957 2544 14 0 215335 0
[pid=21403/tid=21417] ppid=21395 vsize=915460 CPUtime=0.02
/proc/21403/task/21417/stat : 21417 (java) S 21395 21403 21294 0 -1 64 196 0 0 0 2 0 0 0 16 0 8 0 188925759 937431040 8957 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21403/tid=21422] ppid=21395 vsize=915460 CPUtime=0
/proc/21403/task/21422/stat : 21422 (java) S 21395 21403 21294 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 188925759 937431040 8957 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21403/tid=21423] ppid=21395 vsize=915460 CPUtime=0
/proc/21403/task/21423/stat : 21423 (java) S 21395 21403 21294 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 188925759 937431040 8957 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21403/tid=21427] ppid=21395 vsize=915460 CPUtime=0
/proc/21403/task/21427/stat : 21427 (java) S 21395 21403 21294 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 188925762 937431040 8957 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21403/tid=21428] ppid=21395 vsize=915460 CPUtime=0.2
/proc/21403/task/21428/stat : 21428 (java) S 21395 21403 21294 0 -1 64 389 0 0 0 20 0 0 0 16 0 8 0 188925762 937431040 8957 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21403/tid=21429] ppid=21395 vsize=915460 CPUtime=0
/proc/21403/task/21429/stat : 21429 (java) S 21395 21403 21294 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 188925762 937431040 8957 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21403/tid=21430] ppid=21395 vsize=915460 CPUtime=0
/proc/21403/task/21430/stat : 21430 (java) S 21395 21403 21294 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 188925762 937431040 8957 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.67
Current children cumulated vsize (KiB) 915460

[startup+102.492 s]
/proc/loadavg: 1.85 1.35 1.39 3/101 21489
/proc/meminfo: memFree=1456072/2055920 swapFree=4191880/4192956
[pid=21403] ppid=21395 vsize=915460 CPUtime=101.53
/proc/21403/stat : 21403 (java) R 21395 21403 21294 0 -1 0 9262 0 1 0 10143 10 0 0 25 0 8 0 188925754 937431040 8980 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073479193 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21403/statm: 228865 8980 2544 14 0 215335 0
[pid=21403/tid=21417] ppid=21395 vsize=915460 CPUtime=0.02
/proc/21403/task/21417/stat : 21417 (java) S 21395 21403 21294 0 -1 64 196 0 0 0 2 0 0 0 16 0 8 0 188925759 937431040 8980 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21403/tid=21422] ppid=21395 vsize=915460 CPUtime=0
/proc/21403/task/21422/stat : 21422 (java) S 21395 21403 21294 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 188925759 937431040 8980 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21403/tid=21423] ppid=21395 vsize=915460 CPUtime=0
/proc/21403/task/21423/stat : 21423 (java) S 21395 21403 21294 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 188925759 937431040 8980 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21403/tid=21427] ppid=21395 vsize=915460 CPUtime=0
/proc/21403/task/21427/stat : 21427 (java) S 21395 21403 21294 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 188925762 937431040 8980 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21403/tid=21428] ppid=21395 vsize=915460 CPUtime=0.21
/proc/21403/task/21428/stat : 21428 (java) S 21395 21403 21294 0 -1 64 398 0 0 0 21 0 0 0 15 0 8 0 188925762 937431040 8980 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21403/tid=21429] ppid=21395 vsize=915460 CPUtime=0
/proc/21403/task/21429/stat : 21429 (java) S 21395 21403 21294 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 188925762 937431040 8980 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21403/tid=21430] ppid=21395 vsize=915460 CPUtime=0
/proc/21403/task/21430/stat : 21430 (java) S 21395 21403 21294 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 188925762 937431040 8980 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.53
Current children cumulated vsize (KiB) 915460

[startup+162.515 s]
/proc/loadavg: 1.94 1.46 1.42 3/101 21489
/proc/meminfo: memFree=1456072/2055920 swapFree=4191880/4192956
[pid=21403] ppid=21395 vsize=915460 CPUtime=161.03
/proc/21403/stat : 21403 (java) R 21395 21403 21294 0 -1 0 9293 0 1 0 16093 10 0 0 25 0 8 0 188925754 937431040 9007 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073804690 0 4 0 23759 18446744073709551615 0 0 17 0 0 0

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

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

[startup+1483.53 s]
/proc/loadavg: 2.02 1.99 1.83 3/101 21491
/proc/meminfo: memFree=1455304/2055920 swapFree=4191880/4192956
[pid=21403] ppid=21395 vsize=915460 CPUtime=1470.8
/proc/21403/stat : 21403 (java) R 21395 21403 21294 0 -1 0 9468 0 1 0 147067 13 0 0 25 0 8 0 188925754 937431040 9169 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073804747 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21403/statm: 228865 9169 2544 14 0 215335 0
[pid=21403/tid=21417] ppid=21395 vsize=915460 CPUtime=0.02
/proc/21403/task/21417/stat : 21417 (java) S 21395 21403 21294 0 -1 64 196 0 0 0 2 0 0 0 16 0 8 0 188925759 937431040 9169 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21403/tid=21422] ppid=21395 vsize=915460 CPUtime=0
/proc/21403/task/21422/stat : 21422 (java) S 21395 21403 21294 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 188925759 937431040 9169 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21403/tid=21423] ppid=21395 vsize=915460 CPUtime=0
/proc/21403/task/21423/stat : 21423 (java) S 21395 21403 21294 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 188925759 937431040 9169 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21403/tid=21427] ppid=21395 vsize=915460 CPUtime=0
/proc/21403/task/21427/stat : 21427 (java) S 21395 21403 21294 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 188925762 937431040 9169 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21403/tid=21428] ppid=21395 vsize=915460 CPUtime=0.26
/proc/21403/task/21428/stat : 21428 (java) S 21395 21403 21294 0 -1 64 424 0 0 0 25 1 0 0 16 0 8 0 188925762 937431040 9169 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21403/tid=21429] ppid=21395 vsize=915460 CPUtime=0
/proc/21403/task/21429/stat : 21429 (java) S 21395 21403 21294 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 188925762 937431040 9169 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21403/tid=21430] ppid=21395 vsize=915460 CPUtime=0
/proc/21403/task/21430/stat : 21430 (java) S 21395 21403 21294 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 188925762 937431040 9169 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1470.8
Current children cumulated vsize (KiB) 915460

[startup+1543.58 s]
/proc/loadavg: 2.00 1.99 1.84 3/101 21491
/proc/meminfo: memFree=1455304/2055920 swapFree=4191880/4192956
[pid=21403] ppid=21395 vsize=915460 CPUtime=1530.35
/proc/21403/stat : 21403 (java) R 21395 21403 21294 0 -1 0 9468 0 1 0 153022 13 0 0 25 0 8 0 188925754 937431040 9169 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073800941 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21403/statm: 228865 9169 2544 14 0 215335 0
[pid=21403/tid=21417] ppid=21395 vsize=915460 CPUtime=0.02
/proc/21403/task/21417/stat : 21417 (java) S 21395 21403 21294 0 -1 64 196 0 0 0 2 0 0 0 16 0 8 0 188925759 937431040 9169 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21403/tid=21422] ppid=21395 vsize=915460 CPUtime=0
/proc/21403/task/21422/stat : 21422 (java) S 21395 21403 21294 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 188925759 937431040 9169 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21403/tid=21423] ppid=21395 vsize=915460 CPUtime=0
/proc/21403/task/21423/stat : 21423 (java) S 21395 21403 21294 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 188925759 937431040 9169 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21403/tid=21427] ppid=21395 vsize=915460 CPUtime=0
/proc/21403/task/21427/stat : 21427 (java) S 21395 21403 21294 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 188925762 937431040 9169 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21403/tid=21428] ppid=21395 vsize=915460 CPUtime=0.26
/proc/21403/task/21428/stat : 21428 (java) S 21395 21403 21294 0 -1 64 424 0 0 0 25 1 0 0 16 0 8 0 188925762 937431040 9169 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21403/tid=21429] ppid=21395 vsize=915460 CPUtime=0
/proc/21403/task/21429/stat : 21429 (java) S 21395 21403 21294 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 188925762 937431040 9169 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21403/tid=21430] ppid=21395 vsize=915460 CPUtime=0
/proc/21403/task/21430/stat : 21430 (java) S 21395 21403 21294 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 188925762 937431040 9169 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1530.35
Current children cumulated vsize (KiB) 915460

[startup+1603.6 s]
/proc/loadavg: 2.04 2.00 1.85 3/101 21491
/proc/meminfo: memFree=1455240/2055920 swapFree=4191880/4192956
[pid=21403] ppid=21395 vsize=915460 CPUtime=1589.85
/proc/21403/stat : 21403 (java) R 21395 21403 21294 0 -1 0 9468 0 1 0 158972 13 0 0 25 0 8 0 188925754 937431040 9169 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073801031 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21403/statm: 228865 9169 2544 14 0 215335 0
[pid=21403/tid=21417] ppid=21395 vsize=915460 CPUtime=0.02
/proc/21403/task/21417/stat : 21417 (java) S 21395 21403 21294 0 -1 64 196 0 0 0 2 0 0 0 16 0 8 0 188925759 937431040 9169 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21403/tid=21422] ppid=21395 vsize=915460 CPUtime=0
/proc/21403/task/21422/stat : 21422 (java) S 21395 21403 21294 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 188925759 937431040 9169 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21403/tid=21423] ppid=21395 vsize=915460 CPUtime=0
/proc/21403/task/21423/stat : 21423 (java) S 21395 21403 21294 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 188925759 937431040 9169 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21403/tid=21427] ppid=21395 vsize=915460 CPUtime=0
/proc/21403/task/21427/stat : 21427 (java) S 21395 21403 21294 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 188925762 937431040 9169 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21403/tid=21428] ppid=21395 vsize=915460 CPUtime=0.26
/proc/21403/task/21428/stat : 21428 (java) S 21395 21403 21294 0 -1 64 424 0 0 0 25 1 0 0 16 0 8 0 188925762 937431040 9169 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21403/tid=21429] ppid=21395 vsize=915460 CPUtime=0
/proc/21403/task/21429/stat : 21429 (java) S 21395 21403 21294 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 188925762 937431040 9169 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21403/tid=21430] ppid=21395 vsize=915460 CPUtime=0
/proc/21403/task/21430/stat : 21430 (java) S 21395 21403 21294 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 188925762 937431040 9169 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1589.85
Current children cumulated vsize (KiB) 915460

[startup+1663.63 s]
/proc/loadavg: 2.01 2.00 1.86 3/101 21491
/proc/meminfo: memFree=1455240/2055920 swapFree=4191880/4192956
[pid=21403] ppid=21395 vsize=915460 CPUtime=1649.39
/proc/21403/stat : 21403 (java) R 21395 21403 21294 0 -1 0 9468 0 1 0 164926 13 0 0 25 0 8 0 188925754 937431040 9169 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073799184 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21403/statm: 228865 9169 2544 14 0 215335 0
[pid=21403/tid=21417] ppid=21395 vsize=915460 CPUtime=0.02
/proc/21403/task/21417/stat : 21417 (java) S 21395 21403 21294 0 -1 64 196 0 0 0 2 0 0 0 16 0 8 0 188925759 937431040 9169 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21403/tid=21422] ppid=21395 vsize=915460 CPUtime=0
/proc/21403/task/21422/stat : 21422 (java) S 21395 21403 21294 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 188925759 937431040 9169 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21403/tid=21423] ppid=21395 vsize=915460 CPUtime=0
/proc/21403/task/21423/stat : 21423 (java) S 21395 21403 21294 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 188925759 937431040 9169 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21403/tid=21427] ppid=21395 vsize=915460 CPUtime=0
/proc/21403/task/21427/stat : 21427 (java) S 21395 21403 21294 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 188925762 937431040 9169 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21403/tid=21428] ppid=21395 vsize=915460 CPUtime=0.26
/proc/21403/task/21428/stat : 21428 (java) S 21395 21403 21294 0 -1 64 424 0 0 0 25 1 0 0 16 0 8 0 188925762 937431040 9169 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21403/tid=21429] ppid=21395 vsize=915460 CPUtime=0
/proc/21403/task/21429/stat : 21429 (java) S 21395 21403 21294 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 188925762 937431040 9169 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21403/tid=21430] ppid=21395 vsize=915460 CPUtime=0
/proc/21403/task/21430/stat : 21430 (java) S 21395 21403 21294 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 188925762 937431040 9169 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1649.39
Current children cumulated vsize (KiB) 915460

[startup+1723.67 s]
/proc/loadavg: 2.00 2.00 1.86 3/101 21491
/proc/meminfo: memFree=1455240/2055920 swapFree=4191880/4192956
[pid=21403] ppid=21395 vsize=915460 CPUtime=1708.93
/proc/21403/stat : 21403 (java) R 21395 21403 21294 0 -1 0 9468 0 1 0 170879 14 0 0 25 0 8 0 188925754 937431040 9169 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073800457 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21403/statm: 228865 9169 2544 14 0 215335 0
[pid=21403/tid=21417] ppid=21395 vsize=915460 CPUtime=0.02
/proc/21403/task/21417/stat : 21417 (java) S 21395 21403 21294 0 -1 64 196 0 0 0 2 0 0 0 16 0 8 0 188925759 937431040 9169 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21403/tid=21422] ppid=21395 vsize=915460 CPUtime=0
/proc/21403/task/21422/stat : 21422 (java) S 21395 21403 21294 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 188925759 937431040 9169 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21403/tid=21423] ppid=21395 vsize=915460 CPUtime=0
/proc/21403/task/21423/stat : 21423 (java) S 21395 21403 21294 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 188925759 937431040 9169 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21403/tid=21427] ppid=21395 vsize=915460 CPUtime=0
/proc/21403/task/21427/stat : 21427 (java) S 21395 21403 21294 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 188925762 937431040 9169 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21403/tid=21428] ppid=21395 vsize=915460 CPUtime=0.26
/proc/21403/task/21428/stat : 21428 (java) S 21395 21403 21294 0 -1 64 424 0 0 0 25 1 0 0 16 0 8 0 188925762 937431040 9169 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21403/tid=21429] ppid=21395 vsize=915460 CPUtime=0
/proc/21403/task/21429/stat : 21429 (java) S 21395 21403 21294 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 188925762 937431040 9169 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21403/tid=21430] ppid=21395 vsize=915460 CPUtime=0
/proc/21403/task/21430/stat : 21430 (java) S 21395 21403 21294 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 188925762 937431040 9169 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1708.93
Current children cumulated vsize (KiB) 915460

[startup+1783.7 s]
/proc/loadavg: 2.00 2.00 1.87 3/101 21491
/proc/meminfo: memFree=1455240/2055920 swapFree=4191880/4192956
[pid=21403] ppid=21395 vsize=915460 CPUtime=1768.45
/proc/21403/stat : 21403 (java) R 21395 21403 21294 0 -1 0 9468 0 1 0 176831 14 0 0 25 0 8 0 188925754 937431040 9169 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073804752 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21403/statm: 228865 9169 2544 14 0 215335 0
[pid=21403/tid=21417] ppid=21395 vsize=915460 CPUtime=0.02
/proc/21403/task/21417/stat : 21417 (java) S 21395 21403 21294 0 -1 64 196 0 0 0 2 0 0 0 16 0 8 0 188925759 937431040 9169 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21403/tid=21422] ppid=21395 vsize=915460 CPUtime=0
/proc/21403/task/21422/stat : 21422 (java) S 21395 21403 21294 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 188925759 937431040 9169 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21403/tid=21423] ppid=21395 vsize=915460 CPUtime=0
/proc/21403/task/21423/stat : 21423 (java) S 21395 21403 21294 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 188925759 937431040 9169 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21403/tid=21427] ppid=21395 vsize=915460 CPUtime=0
/proc/21403/task/21427/stat : 21427 (java) S 21395 21403 21294 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 188925762 937431040 9169 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21403/tid=21428] ppid=21395 vsize=915460 CPUtime=0.26
/proc/21403/task/21428/stat : 21428 (java) S 21395 21403 21294 0 -1 64 424 0 0 0 25 1 0 0 16 0 8 0 188925762 937431040 9169 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21403/tid=21429] ppid=21395 vsize=915460 CPUtime=0
/proc/21403/task/21429/stat : 21429 (java) S 21395 21403 21294 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 188925762 937431040 9169 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21403/tid=21430] ppid=21395 vsize=915460 CPUtime=0
/proc/21403/task/21430/stat : 21430 (java) S 21395 21403 21294 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 188925762 937431040 9169 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1768.45
Current children cumulated vsize (KiB) 915460



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1815.58 s]
/proc/loadavg: 2.08 2.02 1.88 3/92 21602
/proc/meminfo: memFree=1429144/2055920 swapFree=4191880/4192956
[pid=21403] ppid=21395 vsize=915460 CPUtime=1800
/proc/21403/stat : 21403 (java) R 21395 21403 21294 0 -1 0 9468 0 1 0 179977 23 0 0 25 0 8 0 188925754 937431040 9169 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073800423 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21403/statm: 228865 9169 2544 14 0 215335 0
[pid=21403/tid=21417] ppid=21395 vsize=915460 CPUtime=0.02
/proc/21403/task/21417/stat : 21417 (java) S 21395 21403 21294 0 -1 64 196 0 0 0 2 0 0 0 16 0 8 0 188925759 937431040 9169 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21403/tid=21422] ppid=21395 vsize=915460 CPUtime=0
/proc/21403/task/21422/stat : 21422 (java) S 21395 21403 21294 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 188925759 937431040 9169 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21403/tid=21423] ppid=21395 vsize=915460 CPUtime=0
/proc/21403/task/21423/stat : 21423 (java) S 21395 21403 21294 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 188925759 937431040 9169 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21403/tid=21427] ppid=21395 vsize=915460 CPUtime=0
/proc/21403/task/21427/stat : 21427 (java) S 21395 21403 21294 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 188925762 937431040 9169 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21403/tid=21428] ppid=21395 vsize=915460 CPUtime=0.26
/proc/21403/task/21428/stat : 21428 (java) S 21395 21403 21294 0 -1 64 424 0 0 0 25 1 0 0 16 0 8 0 188925762 937431040 9169 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21403/tid=21429] ppid=21395 vsize=915460 CPUtime=0
/proc/21403/task/21429/stat : 21429 (java) S 21395 21403 21294 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 188925762 937431040 9169 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21403/tid=21430] ppid=21395 vsize=915460 CPUtime=0
/proc/21403/task/21430/stat : 21430 (java) S 21395 21403 21294 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 188925762 937431040 9169 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 915460

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

Child status: 143
Real time (s): 1815.61
CPU time (s): 1800.04
CPU user time (s): 1799.8
CPU system time (s): 0.240963
CPU usage (%): 99.1422
Max. virtual memory (cumulated for all children) (KiB): 915460

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.8
system time used= 0.240963
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9488
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= 38039
involuntary context switches= 48695

runsolver used 1.9417 s user time and 5.07823 s system time

The end

Launcher Data (download as text)

Begin job on node23 on Wed Jan 10 05:01:54 UTC 2007


IDJOB= 249597
IDBENCH= 11796
FILE ID= node23/249597-1168405314

PBS_JOBID= 3523350

Free space on /tmp= 66560 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  6c04e343d1e6af5eac3a58ef34542fde

RANDOM SEED= 292026124

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.265
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.265
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:       1526528 kB
Buffers:         44836 kB
Cached:         370312 kB
SwapCached:        332 kB
Active:         187828 kB
Inactive:       288128 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1526528 kB
SwapTotal:     4192956 kB
SwapFree:      4191880 kB
Dirty:            5328 kB
Writeback:           0 kB
Mapped:          78940 kB
Slab:            37912 kB
Committed_AS:  3943812 kB
PageTables:       2444 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 node23 on Wed Jan 10 05:32:10 UTC 2007