Trace number 275916

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
AbsconMax 109 PFCMSAT (TO) 2400.09 2418.04

General information on the benchmark

NamegolombRuler/golombRulerArity3/
ruler-44-10-a3.xml
MD5SUM04660a8636430499a1688ded3d6e50e4
Bench CategoryN-ARY-INT (n-ary constraints in intension)
Best result obtained on this benchmarkMSAT TO
Best Number of satisfied constraints1066
Best CPU time to get the best result obtained on this benchmark2400.09
SatisfiableNO
(Un)Satisfiability was provedNO
Number of variables55
Number of constraints1080
Maximum constraint arity3
Maximum domain size45
Number of constraints which are defined in extension0
Number of constraints which are defined in intension1080
Global constraints used (with number of constraints)

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data (download as text)

0.31	   
0.31	Abscon 109 (November, 2006)
0.31	   
0.31	   configuration
0.31	     name=pfc.xml
0.34	   
0.34	   instance
0.35	     name=/tmp/evaluation/275916-1169229114/unknown.xml
0.38	   
0.38	   domains being loaded...
0.38	   
0.38	   variables being loaded...
0.43	     nbVariables=55  nbDomainTypes=2  minDomainSize=44  maxDomainSize=45
0.43	       =>  wckTime=0.113  cpuTime=0.09  mem=6M910
0.43	   
0.43	   predicates being loaded...
0.43	   
0.43	   constraints being loaded...
0.81	     nbConstraints=1080  nbConvertedConstraints=1035  nbConvertConstraintsChecks=93061  nbExtensionStructures=2
0.82	     nbSharedExtensionStructures=1033  nbConflictsStructures=3  nbSharedConflictsStructures=1077
0.82	     nbSharedBinaryRepresentations=46  nbEvaluationManagers=1  nbSharedEvaluationManagers=44  maxDegree=45  maxArity=3
0.82	       =>  wckTime=0.502  cpuTime=0.36  mem=10M827
0.86	   
0.86	   solver LocalSearchSolver being built... 
0.90	       =>  wckTime=0.588  cpuTime=0.41  mem=5M926
0.91	
0.91	s SATISFIABLE
0.91	o 997
0.91	c 83
0.91	o 1002
0.91	c 78
0.92	o 1007
0.92	c 73
0.92	o 1011
0.92	c 69
0.92	o 1014
0.92	c 66
0.93	o 1017
0.93	c 63
0.93	o 1018
0.93	c 62
0.93	o 1021
0.93	c 59
0.93	o 1024
0.93	c 56
0.93	o 1025
0.93	c 55
0.93	o 1027
0.93	c 53
0.94	o 1029
0.94	c 51
0.94	o 1031
0.94	c 49
0.94	o 1033
0.94	c 47
0.94	o 1035
0.94	c 45
0.94	o 1037
0.94	c 43
0.95	o 1038
0.95	c 42
0.95	o 1039
0.95	c 41
0.95	o 1040
0.95	c 40
0.95	o 1041
0.95	c 39
0.95	o 1042
0.95	c 38
0.95	o 1043
0.95	c 37
0.96	o 1044
0.96	c 36
0.96	o 1045
0.96	c 35
0.96	o 1046
0.96	c 34
0.96	o 1048
0.96	c 32
0.96	o 1049
0.96	c 31
0.97	o 1050
0.97	c 30
0.97	o 1051
0.97	c 29
0.97	o 1052
0.97	c 28
0.97	o 1053
0.97	c 27
0.98	o 1054
0.98	c 26
0.98	o 1055
0.98	c 25
0.98	o 1056
0.98	c 24
0.99	o 1057
0.99	c 23
1.00	o 1058
1.00	c 22
1.00	o 1059
1.00	c 21
1.01	o 1060
1.01	c 20
2.41	o 1061
2.41	c 19
6.00	o 1062
6.00	c 18
6.00	o 1063
6.00	c 17
6.50	o 1064
6.50	c 16
17.49	   
17.49	   search
17.49	     run=0  nbConstraintChecks=79910839  nbAssignments=10000
17.49	       =>  wckTime=16.586  cpuTime=16.42  mem=5M926
35.25	   
35.25	   search
35.25	     run=1  nbConstraintChecks=169278920  nbAssignments=20000
35.25	       =>  wckTime=34.352  cpuTime=34.04  mem=5M926
36.24	o 1065
36.24	c 15
46.06	o 1066
46.06	c 14
53.20	   
53.20	   search
53.20	     run=2  nbConstraintChecks=260907648  nbAssignments=30000
53.20	       =>  wckTime=52.301  cpuTime=51.83  mem=5M926
68.50	   
68.50	   search
68.50	     run=3  nbConstraintChecks=336037107  nbAssignments=40000
68.50	       =>  wckTime=67.603  cpuTime=67.0  mem=5M926
76.31	   
76.31	   search
76.31	     run=4  nbConstraintChecks=374191905  nbAssignments=44694
76.31	       =>  wckTime=75.415  cpuTime=74.76  mem=5M926
76.32	   
76.32	   global
76.32	     nbConstraintChecks=374191905  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
76.32	     solvingWckTime=75.414  solvingCpuTime=74.76  expiredTime=no  totalExploration=no  nbFoundSolutions=0
76.32	     globalCpuTime=75.22
76.32	       =>  wckTime=76.004  cpuTime=75.17  mem=5M926
76.32	   
76.32	   solver IterativeSystematicSolver being built... 
76.46	       =>  wckTime=76.151  cpuTime=75.28  mem=17M13
77.12	   
77.12	   preprocessing
77.12	     nbConstraintChecks=2150370  nbValidityChecks=2112  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
77.12	     nbRemovedValues=3  detectedInconsistency=no
77.12	       =>  wckTime=0.655  cpuTime=0.63  mem=17M13
80.77	   
80.77	   search
80.77	     run=0  nbConstraintChecks=12685967  nbValidityChecks=276313  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
80.77	     nbAssignments=43  nbFailedAssignments=12  nbBacktracks=10  nbVisitedNodes=66  nbRestartNogoods=0
80.77	       =>  wckTime=4.302  cpuTime=4.22  mem=17M988
88.30	   
88.30	   search
88.30	     run=1  nbConstraintChecks=39074085  nbValidityChecks=1100964  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
88.30	     nbAssignments=122  nbFailedAssignments=59  nbBacktracks=25  nbVisitedNodes=207  nbRestartNogoods=10
88.30	       =>  wckTime=11.839  cpuTime=11.68  mem=17M988
118.19	   
118.19	   search
118.19	     run=2  nbConstraintChecks=147221375  nbValidityChecks=4963354  nbPropagations=0  nbRevisions=0
118.19	     nbUselessRevisions=0  nbAssignments=505  nbFailedAssignments=406  nbBacktracks=47  nbVisitedNodes=959
118.19	     nbRestartNogoods=25
118.19	       =>  wckTime=41.722  cpuTime=41.31  mem=17M988
142.62	   
142.62	   search
142.62	     run=3  nbConstraintChecks=228474349  nbValidityChecks=6504175  nbPropagations=0  nbRevisions=0
142.62	     nbUselessRevisions=0  nbAssignments=718  nbFailedAssignments=570  nbBacktracks=80  nbVisitedNodes=1369
142.62	     nbRestartNogoods=72
142.62	       =>  wckTime=66.151  cpuTime=65.53  mem=17M988
172.21	   
172.22	   search
172.22	     run=4  nbConstraintChecks=328754577  nbValidityChecks=8375938  nbPropagations=0  nbRevisions=0
172.22	     nbUselessRevisions=0  nbAssignments=992  nbFailedAssignments=778  nbBacktracks=130  nbVisitedNodes=1901
172.22	     nbRestartNogoods=85
172.22	       =>  wckTime=95.75  cpuTime=94.86  mem=17M988
185.98	   
185.98	   search
185.98	     run=5  nbConstraintChecks=374130247  nbValidityChecks=10178936  nbPropagations=0  nbRevisions=0
185.98	     nbUselessRevisions=0  nbAssignments=1168  nbFailedAssignments=874  nbBacktracks=206  nbVisitedNodes=2249
185.98	     nbRestartNogoods=107
185.98	       =>  wckTime=109.514  cpuTime=108.5  mem=17M988
218.65	   
218.65	   search
218.65	     run=6  nbConstraintChecks=481922692  nbValidityChecks=14170439  nbPropagations=0  nbRevisions=0
218.65	     nbUselessRevisions=0  nbAssignments=1552  nbFailedAssignments=1140  nbBacktracks=319  nbVisitedNodes=3012
218.65	     nbRestartNogoods=116
218.65	       =>  wckTime=142.182  cpuTime=140.87  mem=17M988
251.73	   
251.73	   search
251.73	     run=7  nbConstraintChecks=587462786  nbValidityChecks=19099780  nbPropagations=0  nbRevisions=0
251.73	     nbUselessRevisions=0  nbAssignments=2057  nbFailedAssignments=1469  nbBacktracks=489  nbVisitedNodes=4016
251.73	     nbRestartNogoods=152
251.73	       =>  wckTime=175.266  cpuTime=173.66  mem=17M988
327.47	   
327.47	   search
327.47	     run=8  nbConstraintChecks=846103416  nbValidityChecks=24911482  nbPropagations=0  nbRevisions=0
327.47	     nbUselessRevisions=0  nbAssignments=2657  nbFailedAssignments=1806  nbBacktracks=745  nbVisitedNodes=5209
327.47	     nbRestartNogoods=197
327.47	       =>  wckTime=251.003  cpuTime=248.75  mem=17M988
489.26	   
489.26	   search
489.26	     run=9  nbConstraintChecks=1457770886  nbValidityChecks=45900521  nbPropagations=0  nbRevisions=0
489.26	     nbUselessRevisions=0  nbAssignments=5306  nbFailedAssignments=4047  nbBacktracks=1129  nbVisitedNodes=10483
489.26	     nbRestartNogoods=228
489.26	       =>  wckTime=412.791  cpuTime=409.09  mem=17M988
651.38	   
651.38	   search
651.38	     run=10  nbConstraintChecks=2011301881  nbValidityChecks=62214788  nbPropagations=0  nbRevisions=0
651.38	     nbUselessRevisions=0  nbAssignments=7040  nbFailedAssignments=5194  nbBacktracks=1705  nbVisitedNodes=13940
651.38	     nbRestartNogoods=256
651.38	       =>  wckTime=574.918  cpuTime=569.57  mem=17M988
739.05	   
739.05	   search
739.05	     run=11  nbConstraintChecks=2295196195  nbValidityChecks=77635163  nbPropagations=0  nbRevisions=0
739.05	     nbUselessRevisions=0  nbAssignments=8820  nbFailedAssignments=6103  nbBacktracks=2569  nbVisitedNodes=17492
739.05	     nbRestartNogoods=315
739.05	       =>  wckTime=662.584  cpuTime=656.46  mem=17M988
930.95	   
930.95	   search
930.95	     run=12  nbConstraintChecks=2907487275  nbValidityChecks=99802155  nbPropagations=0  nbRevisions=0
930.95	     nbUselessRevisions=0  nbAssignments=11461  nbFailedAssignments=7439  nbBacktracks=3866  nbVisitedNodes=22766
930.95	     nbRestartNogoods=340
930.95	       =>  wckTime=854.489  cpuTime=846.74  mem=17M988
1117.47	   
1117.47	   search
1117.47	     run=13  nbConstraintChecks=3534866470  nbValidityChecks=135659425  nbPropagations=0  nbRevisions=0
1117.47	     nbUselessRevisions=0  nbAssignments=15863  nbFailedAssignments=9887  nbBacktracks=5812  nbVisitedNodes=31562
1117.47	     nbRestartNogoods=380
1117.47	       =>  wckTime=1041.007  cpuTime=1031.63  mem=17M988
1602.88	   
1602.88	   search
1602.88	     run=14  nbConstraintChecks=4999772001  nbValidityChecks=211164219  nbPropagations=0  nbRevisions=0
1602.88	     nbUselessRevisions=0  nbAssignments=25880  nbFailedAssignments=16973  nbBacktracks=8731  nbVisitedNodes=51577
1602.88	     nbRestartNogoods=404
1602.88	       =>  wckTime=1526.415  cpuTime=1512.72  mem=17M988
2121.21	   
2121.21	   search
2121.21	     run=15  nbConstraintChecks=6637309313  nbValidityChecks=304929927  nbPropagations=0  nbRevisions=0
2121.21	     nbUselessRevisions=0  nbAssignments=38642  nbFailedAssignments=25351  nbBacktracks=13109  nbVisitedNodes=77075
2121.21	     nbRestartNogoods=419
2121.21	       =>  wckTime=2044.746  cpuTime=2027.6  mem=17M988
2417.98	v 0 1 2 4 7 16 35 18 39 42 1 27 4 7 16 35 18 39 42 1 3 6 15 34 17 38 41 2 5 14 33 16 37 40 3 12 31 14 25 38 9 28 11 32 35 19 2 23 26 10 4 7 21 24 29

Verifier Data (download as text)

14 unsatisfied constraints, 1066 satisfied constraints

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node18/watcher-275916-1169229114 -o ROOT/results/node18/solver-275916-1169229114 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/275916-1169229114/unknown.xml 

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

/proc/loadavg: 2.08 2.02 2.01 2/87 2064
/proc/meminfo: memFree=1264392/2055920 swapFree=4192812/4192956
[pid=2063] ppid=2061 vsize=18540 CPUtime=0
/proc/2063/stat : 2063 (runsolver) R 2061 2063 1185 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 271306133 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 227848809767 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/2063/statm: 4635 279 244 17 0 2626 0

[startup+0.102664 s]
/proc/loadavg: 2.08 2.02 2.01 2/87 2064
/proc/meminfo: memFree=1264392/2055920 swapFree=4192812/4192956
[pid=2063] ppid=2061 vsize=914988 CPUtime=0.08
/proc/2063/stat : 2063 (java) R 2061 2063 1185 0 -1 0 2953 0 1 0 7 1 0 0 17 0 8 0 271306133 936947712 2699 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4154020542 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2063/statm: 228747 2699 1413 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988

[startup+0.510701 s]
/proc/loadavg: 2.08 2.02 2.01 2/87 2064
/proc/meminfo: memFree=1264392/2055920 swapFree=4192812/4192956
[pid=2063] ppid=2061 vsize=915332 CPUtime=0.49
/proc/2063/stat : 2063 (java) R 2061 2063 1185 0 -1 0 6348 0 1 0 44 5 0 0 18 0 8 0 271306133 937299968 6087 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2063/statm: 228833 6087 2147 14 0 215303 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915332

[startup+1.33178 s]
/proc/loadavg: 2.08 2.02 2.01 3/94 2073
/proc/meminfo: memFree=1243472/2055920 swapFree=4192812/4192956
[pid=2063] ppid=2061 vsize=915452 CPUtime=1.3
/proc/2063/stat : 2063 (java) R 2061 2063 1185 0 -1 0 7911 0 1 0 118 12 0 0 24 0 8 0 271306133 937422848 7649 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073744034 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2063/statm: 228863 7649 2496 14 0 215333 0
[pid=2063/tid=2065] ppid=2061 vsize=915452 CPUtime=0.03
/proc/2063/task/2065/stat : 2065 (java) S 2061 2063 1185 0 -1 64 258 0 0 0 3 0 0 0 16 0 8 0 271306137 937422848 7649 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2063/tid=2066] ppid=2061 vsize=915452 CPUtime=0
/proc/2063/task/2066/stat : 2066 (java) S 2061 2063 1185 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271306137 937422848 7649 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2063/tid=2068] ppid=2061 vsize=915452 CPUtime=0
/proc/2063/task/2068/stat : 2068 (java) S 2061 2063 1185 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271306137 937422848 7649 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2063/tid=2070] ppid=2061 vsize=915452 CPUtime=0
/proc/2063/task/2070/stat : 2070 (java) S 2061 2063 1185 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271306141 937422848 7649 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2063/tid=2071] ppid=2061 vsize=915452 CPUtime=0.18
/proc/2063/task/2071/stat : 2071 (java) S 2061 2063 1185 0 -1 64 379 0 0 0 17 1 0 0 16 0 8 0 271306141 937422848 7649 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2063/tid=2072] ppid=2061 vsize=915452 CPUtime=0
/proc/2063/task/2072/stat : 2072 (java) S 2061 2063 1185 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271306141 937422848 7649 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2063/tid=2073] ppid=2061 vsize=915452 CPUtime=0
/proc/2063/task/2073/stat : 2073 (java) S 2061 2063 1185 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271306141 937422848 7649 18446744073709551615 134512640 134570532 4294956464 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) 915452

[startup+2.97193 s]
/proc/loadavg: 2.08 2.02 2.01 3/94 2073
/proc/meminfo: memFree=1243472/2055920 swapFree=4192812/4192956
[pid=2063] ppid=2061 vsize=915452 CPUtime=2.93
/proc/2063/stat : 2063 (java) R 2061 2063 1185 0 -1 0 7914 0 1 0 278 15 0 0 25 0 8 0 271306133 937422848 7651 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073852210 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2063/statm: 228863 7651 2496 14 0 215333 0
[pid=2063/tid=2065] ppid=2061 vsize=915452 CPUtime=0.03
/proc/2063/task/2065/stat : 2065 (java) S 2061 2063 1185 0 -1 64 258 0 0 0 3 0 0 0 16 0 8 0 271306137 937422848 7651 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2063/tid=2066] ppid=2061 vsize=915452 CPUtime=0
/proc/2063/task/2066/stat : 2066 (java) S 2061 2063 1185 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271306137 937422848 7651 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2063/tid=2068] ppid=2061 vsize=915452 CPUtime=0
/proc/2063/task/2068/stat : 2068 (java) S 2061 2063 1185 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271306137 937422848 7651 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2063/tid=2070] ppid=2061 vsize=915452 CPUtime=0
/proc/2063/task/2070/stat : 2070 (java) S 2061 2063 1185 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271306141 937422848 7651 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2063/tid=2071] ppid=2061 vsize=915452 CPUtime=0.18
/proc/2063/task/2071/stat : 2071 (java) S 2061 2063 1185 0 -1 64 381 0 0 0 17 1 0 0 16 0 8 0 271306141 937422848 7651 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2063/tid=2072] ppid=2061 vsize=915452 CPUtime=0
/proc/2063/task/2072/stat : 2072 (java) S 2061 2063 1185 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271306141 937422848 7651 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2063/tid=2073] ppid=2061 vsize=915452 CPUtime=0
/proc/2063/task/2073/stat : 2073 (java) S 2061 2063 1185 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271306141 937422848 7651 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915452

[startup+6.17824 s]
/proc/loadavg: 2.15 2.03 2.01 3/94 2073
/proc/meminfo: memFree=1243408/2055920 swapFree=4192812/4192956
[pid=2063] ppid=2061 vsize=915452 CPUtime=6.11
/proc/2063/stat : 2063 (java) R 2061 2063 1185 0 -1 0 7916 0 1 0 589 22 0 0 25 0 8 0 271306133 937422848 7653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073746266 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2063/statm: 228863 7653 2496 14 0 215333 0
[pid=2063/tid=2065] ppid=2061 vsize=915452 CPUtime=0.03
/proc/2063/task/2065/stat : 2065 (java) S 2061 2063 1185 0 -1 64 258 0 0 0 3 0 0 0 16 0 8 0 271306137 937422848 7653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2063/tid=2066] ppid=2061 vsize=915452 CPUtime=0
/proc/2063/task/2066/stat : 2066 (java) S 2061 2063 1185 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271306137 937422848 7653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2063/tid=2068] ppid=2061 vsize=915452 CPUtime=0
/proc/2063/task/2068/stat : 2068 (java) S 2061 2063 1185 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271306137 937422848 7653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2063/tid=2070] ppid=2061 vsize=915452 CPUtime=0
/proc/2063/task/2070/stat : 2070 (java) S 2061 2063 1185 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271306141 937422848 7653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2063/tid=2071] ppid=2061 vsize=915452 CPUtime=0.19
/proc/2063/task/2071/stat : 2071 (java) S 2061 2063 1185 0 -1 64 383 0 0 0 18 1 0 0 16 0 8 0 271306141 937422848 7653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2063/tid=2072] ppid=2061 vsize=915452 CPUtime=0
/proc/2063/task/2072/stat : 2072 (java) S 2061 2063 1185 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271306141 937422848 7653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2063/tid=2073] ppid=2061 vsize=915452 CPUtime=0
/proc/2063/task/2073/stat : 2073 (java) S 2061 2063 1185 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271306141 937422848 7653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.11
Current children cumulated vsize (KiB) 915452

[startup+12.6519 s]
/proc/loadavg: 2.14 2.03 2.01 3/94 2073
/proc/meminfo: memFree=1243344/2055920 swapFree=4192812/4192956
[pid=2063] ppid=2061 vsize=915452 CPUtime=12.52
/proc/2063/stat : 2063 (java) R 2061 2063 1185 0 -1 0 7916 0 1 0 1216 36 0 0 25 0 8 0 271306133 937422848 7653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073852048 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2063/statm: 228863 7653 2496 14 0 215333 0
[pid=2063/tid=2065] ppid=2061 vsize=915452 CPUtime=0.03
/proc/2063/task/2065/stat : 2065 (java) S 2061 2063 1185 0 -1 64 258 0 0 0 3 0 0 0 16 0 8 0 271306137 937422848 7653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2063/tid=2066] ppid=2061 vsize=915452 CPUtime=0
/proc/2063/task/2066/stat : 2066 (java) S 2061 2063 1185 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271306137 937422848 7653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2063/tid=2068] ppid=2061 vsize=915452 CPUtime=0
/proc/2063/task/2068/stat : 2068 (java) S 2061 2063 1185 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271306137 937422848 7653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2063/tid=2070] ppid=2061 vsize=915452 CPUtime=0
/proc/2063/task/2070/stat : 2070 (java) S 2061 2063 1185 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271306141 937422848 7653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2063/tid=2071] ppid=2061 vsize=915452 CPUtime=0.19
/proc/2063/task/2071/stat : 2071 (java) S 2061 2063 1185 0 -1 64 383 0 0 0 18 1 0 0 16 0 8 0 271306141 937422848 7653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2063/tid=2072] ppid=2061 vsize=915452 CPUtime=0
/proc/2063/task/2072/stat : 2072 (java) S 2061 2063 1185 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271306141 937422848 7653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2063/tid=2073] ppid=2061 vsize=915452 CPUtime=0
/proc/2063/task/2073/stat : 2073 (java) S 2061 2063 1185 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271306141 937422848 7653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.52
Current children cumulated vsize (KiB) 915452

[startup+25.5071 s]
/proc/loadavg: 2.11 2.03 2.01 3/94 2073
/proc/meminfo: memFree=1243408/2055920 swapFree=4192812/4192956
[pid=2063] ppid=2061 vsize=915452 CPUtime=25.27
/proc/2063/stat : 2063 (java) R 2061 2063 1185 0 -1 0 7918 0 1 0 2463 64 0 0 25 0 8 0 271306133 937422848 7655 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073849557 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2063/statm: 228863 7655 2496 14 0 215333 0
[pid=2063/tid=2065] ppid=2061 vsize=915452 CPUtime=0.03
/proc/2063/task/2065/stat : 2065 (java) S 2061 2063 1185 0 -1 64 258 0 0 0 3 0 0 0 16 0 8 0 271306137 937422848 7655 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2063/tid=2066] ppid=2061 vsize=915452 CPUtime=0
/proc/2063/task/2066/stat : 2066 (java) S 2061 2063 1185 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271306137 937422848 7655 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2063/tid=2068] ppid=2061 vsize=915452 CPUtime=0
/proc/2063/task/2068/stat : 2068 (java) S 2061 2063 1185 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271306137 937422848 7655 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2063/tid=2070] ppid=2061 vsize=915452 CPUtime=0
/proc/2063/task/2070/stat : 2070 (java) S 2061 2063 1185 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271306141 937422848 7655 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2063/tid=2071] ppid=2061 vsize=915452 CPUtime=0.19
/proc/2063/task/2071/stat : 2071 (java) S 2061 2063 1185 0 -1 64 385 0 0 0 18 1 0 0 16 0 8 0 271306141 937422848 7655 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2063/tid=2072] ppid=2061 vsize=915452 CPUtime=0
/proc/2063/task/2072/stat : 2072 (java) S 2061 2063 1185 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271306141 937422848 7655 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2063/tid=2073] ppid=2061 vsize=915452 CPUtime=0
/proc/2063/task/2073/stat : 2073 (java) S 2061 2063 1185 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271306141 937422848 7655 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.27
Current children cumulated vsize (KiB) 915452

[startup+51.1196 s]
/proc/loadavg: 2.07 2.03 2.01 3/94 2073
/proc/meminfo: memFree=1243536/2055920 swapFree=4192812/4192956
[pid=2063] ppid=2061 vsize=915452 CPUtime=50.66
/proc/2063/stat : 2063 (java) R 2061 2063 1185 0 -1 0 7918 0 1 0 4944 122 0 0 25 0 8 0 271306133 937422848 7655 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073849781 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2063/statm: 228863 7655 2496 14 0 215333 0
[pid=2063/tid=2065] ppid=2061 vsize=915452 CPUtime=0.03
/proc/2063/task/2065/stat : 2065 (java) S 2061 2063 1185 0 -1 64 258 0 0 0 3 0 0 0 16 0 8 0 271306137 937422848 7655 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2063/tid=2066] ppid=2061 vsize=915452 CPUtime=0
/proc/2063/task/2066/stat : 2066 (java) S 2061 2063 1185 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271306137 937422848 7655 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2063/tid=2068] ppid=2061 vsize=915452 CPUtime=0
/proc/2063/task/2068/stat : 2068 (java) S 2061 2063 1185 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271306137 937422848 7655 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2063/tid=2070] ppid=2061 vsize=915452 CPUtime=0
/proc/2063/task/2070/stat : 2070 (java) S 2061 2063 1185 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271306141 937422848 7655 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2063/tid=2071] ppid=2061 vsize=915452 CPUtime=0.19
/proc/2063/task/2071/stat : 2071 (java) S 2061 2063 1185 0 -1 64 385 0 0 0 18 1 0 0 16 0 8 0 271306141 937422848 7655 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2063/tid=2072] ppid=2061 vsize=915452 CPUtime=0
/proc/2063/task/2072/stat : 2072 (java) S 2061 2063 1185 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271306141 937422848 7655 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2063/tid=2073] ppid=2061 vsize=915452 CPUtime=0
/proc/2063/task/2073/stat : 2073 (java) S 2061 2063 1185 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271306141 937422848 7655 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.66
Current children cumulated vsize (KiB) 915452

[startup+102.338 s]
/proc/loadavg: 2.03 2.02 2.00 3/94 2073
/proc/meminfo: memFree=1237968/2055920 swapFree=4192812/4192956
[pid=2063] ppid=2061 vsize=915452 CPUtime=101.44
/proc/2063/stat : 2063 (java) R 2061 2063 1185 0 -1 0 9359 0 1 0 9960 184 0 0 25 0 8 0 271306133 937422848 9090 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073748384 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2063/statm: 228863 9090 2546 14 0 215333 0
[pid=2063/tid=2065] ppid=2061 vsize=915452 CPUtime=0.03
/proc/2063/task/2065/stat : 2065 (java) S 2061 2063 1185 0 -1 64 259 0 0 0 3 0 0 0 16 0 8 0 271306137 937422848 9090 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2063/tid=2066] ppid=2061 vsize=915452 CPUtime=0
/proc/2063/task/2066/stat : 2066 (java) S 2061 2063 1185 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271306137 937422848 9090 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2063/tid=2068] ppid=2061 vsize=915452 CPUtime=0
/proc/2063/task/2068/stat : 2068 (java) S 2061 2063 1185 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271306137 937422848 9090 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2063/tid=2070] ppid=2061 vsize=915452 CPUtime=0
/proc/2063/task/2070/stat : 2070 (java) S 2061 2063 1185 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271306141 937422848 9090 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2063/tid=2071] ppid=2061 vsize=915452 CPUtime=0.27
/proc/2063/task/2071/stat : 2071 (java) S 2061 2063 1185 0 -1 64 435 0 0 0 26 1 0 0 16 0 8 0 271306141 937422848 9090 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2063/tid=2072] ppid=2061 vsize=915452 CPUtime=0
/proc/2063/task/2072/stat : 2072 (java) S 2061 2063 1185 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271306141 937422848 9090 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2063/tid=2073] ppid=2061 vsize=915452 CPUtime=0
/proc/2063/task/2073/stat : 2073 (java) S 2061 2063 1185 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271306141 937422848 9090 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.44
Current children cumulated vsize (KiB) 915452

[startup+162.393 s]
/proc/loadavg: 2.01 2.02 2.00 3/94 2073
/proc/meminfo: memFree=1237968/2055920 swapFree=4192812/4192956
[pid=2063] ppid=2061 vsize=915452 CPUtime=160.98
/proc/2063/stat : 2063 (java) R 2061 2063 1185 0 -1 0 9366 0 1 0 15913 185 0 0 25 0 8 0 271306133 937422848 9097 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073744040 0 4 0 23759 18446744073709551615 0 0 17 1 0 0

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

Current children cumulated CPU time (s) 2006.82
Current children cumulated vsize (KiB) 915452

[startup+2084.45 s]
/proc/loadavg: 1.97 1.97 1.99 3/94 2445
/proc/meminfo: memFree=1288072/2055920 swapFree=4192812/4192956
[pid=2063] ppid=2061 vsize=915452 CPUtime=2066.81
/proc/2063/stat : 2063 (java) R 2061 2063 1185 0 -1 0 9422 0 1 0 206478 203 0 0 25 0 8 0 271306133 937422848 9143 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073744071 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2063/statm: 228863 9143 2546 14 0 215333 0
[pid=2063/tid=2065] ppid=2061 vsize=915452 CPUtime=0.03
/proc/2063/task/2065/stat : 2065 (java) S 2061 2063 1185 0 -1 64 259 0 0 0 3 0 0 0 16 0 8 0 271306137 937422848 9143 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2063/tid=2066] ppid=2061 vsize=915452 CPUtime=0
/proc/2063/task/2066/stat : 2066 (java) S 2061 2063 1185 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271306137 937422848 9143 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2063/tid=2068] ppid=2061 vsize=915452 CPUtime=0
/proc/2063/task/2068/stat : 2068 (java) S 2061 2063 1185 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271306137 937422848 9143 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2063/tid=2070] ppid=2061 vsize=915452 CPUtime=0
/proc/2063/task/2070/stat : 2070 (java) S 2061 2063 1185 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271306141 937422848 9143 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2063/tid=2071] ppid=2061 vsize=915452 CPUtime=0.31
/proc/2063/task/2071/stat : 2071 (java) S 2061 2063 1185 0 -1 64 454 0 0 0 30 1 0 0 16 0 8 0 271306141 937422848 9143 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2063/tid=2072] ppid=2061 vsize=915452 CPUtime=0
/proc/2063/task/2072/stat : 2072 (java) S 2061 2063 1185 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271306141 937422848 9143 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2063/tid=2073] ppid=2061 vsize=915452 CPUtime=0.02
/proc/2063/task/2073/stat : 2073 (java) S 2061 2063 1185 0 -1 64 0 0 0 0 1 1 0 0 15 0 8 0 271306141 937422848 9143 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2066.81
Current children cumulated vsize (KiB) 915452

[startup+2144.51 s]
/proc/loadavg: 2.04 1.99 1.99 4/94 2445
/proc/meminfo: memFree=1288008/2055920 swapFree=4192812/4192956
[pid=2063] ppid=2061 vsize=915452 CPUtime=2126.82
/proc/2063/stat : 2063 (java) R 2061 2063 1185 0 -1 0 9425 0 1 0 212479 203 0 0 25 0 8 0 271306133 937422848 9146 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073850840 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2063/statm: 228863 9146 2546 14 0 215333 0
[pid=2063/tid=2065] ppid=2061 vsize=915452 CPUtime=0.03
/proc/2063/task/2065/stat : 2065 (java) S 2061 2063 1185 0 -1 64 259 0 0 0 3 0 0 0 16 0 8 0 271306137 937422848 9146 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2063/tid=2066] ppid=2061 vsize=915452 CPUtime=0
/proc/2063/task/2066/stat : 2066 (java) S 2061 2063 1185 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271306137 937422848 9146 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2063/tid=2068] ppid=2061 vsize=915452 CPUtime=0
/proc/2063/task/2068/stat : 2068 (java) S 2061 2063 1185 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271306137 937422848 9146 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2063/tid=2070] ppid=2061 vsize=915452 CPUtime=0
/proc/2063/task/2070/stat : 2070 (java) S 2061 2063 1185 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271306141 937422848 9146 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2063/tid=2071] ppid=2061 vsize=915452 CPUtime=0.31
/proc/2063/task/2071/stat : 2071 (java) S 2061 2063 1185 0 -1 64 454 0 0 0 30 1 0 0 16 0 8 0 271306141 937422848 9146 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2063/tid=2072] ppid=2061 vsize=915452 CPUtime=0
/proc/2063/task/2072/stat : 2072 (java) S 2061 2063 1185 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271306141 937422848 9146 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2063/tid=2073] ppid=2061 vsize=915452 CPUtime=0.02
/proc/2063/task/2073/stat : 2073 (java) S 2061 2063 1185 0 -1 64 0 0 0 0 1 1 0 0 15 0 8 0 271306141 937422848 9146 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2126.82
Current children cumulated vsize (KiB) 915452

[startup+2204.57 s]
/proc/loadavg: 2.01 1.99 1.99 3/94 2445
/proc/meminfo: memFree=1288008/2055920 swapFree=4192812/4192956
[pid=2063] ppid=2061 vsize=915452 CPUtime=2186.82
/proc/2063/stat : 2063 (java) R 2061 2063 1185 0 -1 0 9425 0 1 0 218479 203 0 0 25 0 8 0 271306133 937422848 9146 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073984091 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2063/statm: 228863 9146 2546 14 0 215333 0
[pid=2063/tid=2065] ppid=2061 vsize=915452 CPUtime=0.03
/proc/2063/task/2065/stat : 2065 (java) S 2061 2063 1185 0 -1 64 259 0 0 0 3 0 0 0 16 0 8 0 271306137 937422848 9146 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2063/tid=2066] ppid=2061 vsize=915452 CPUtime=0
/proc/2063/task/2066/stat : 2066 (java) S 2061 2063 1185 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271306137 937422848 9146 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2063/tid=2068] ppid=2061 vsize=915452 CPUtime=0
/proc/2063/task/2068/stat : 2068 (java) S 2061 2063 1185 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271306137 937422848 9146 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2063/tid=2070] ppid=2061 vsize=915452 CPUtime=0
/proc/2063/task/2070/stat : 2070 (java) S 2061 2063 1185 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271306141 937422848 9146 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2063/tid=2071] ppid=2061 vsize=915452 CPUtime=0.31
/proc/2063/task/2071/stat : 2071 (java) S 2061 2063 1185 0 -1 64 454 0 0 0 30 1 0 0 16 0 8 0 271306141 937422848 9146 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2063/tid=2072] ppid=2061 vsize=915452 CPUtime=0
/proc/2063/task/2072/stat : 2072 (java) S 2061 2063 1185 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271306141 937422848 9146 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2063/tid=2073] ppid=2061 vsize=915452 CPUtime=0.02
/proc/2063/task/2073/stat : 2073 (java) S 2061 2063 1185 0 -1 64 0 0 0 0 1 1 0 0 15 0 8 0 271306141 937422848 9146 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2186.82
Current children cumulated vsize (KiB) 915452

[startup+2264.64 s]
/proc/loadavg: 2.00 1.99 1.99 3/94 2445
/proc/meminfo: memFree=1288008/2055920 swapFree=4192812/4192956
[pid=2063] ppid=2061 vsize=915452 CPUtime=2246.82
/proc/2063/stat : 2063 (java) R 2061 2063 1185 0 -1 0 9425 0 1 0 224479 203 0 0 25 0 8 0 271306133 937422848 9146 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073753127 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2063/statm: 228863 9146 2546 14 0 215333 0
[pid=2063/tid=2065] ppid=2061 vsize=915452 CPUtime=0.03
/proc/2063/task/2065/stat : 2065 (java) S 2061 2063 1185 0 -1 64 259 0 0 0 3 0 0 0 16 0 8 0 271306137 937422848 9146 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2063/tid=2066] ppid=2061 vsize=915452 CPUtime=0
/proc/2063/task/2066/stat : 2066 (java) S 2061 2063 1185 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271306137 937422848 9146 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2063/tid=2068] ppid=2061 vsize=915452 CPUtime=0
/proc/2063/task/2068/stat : 2068 (java) S 2061 2063 1185 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271306137 937422848 9146 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2063/tid=2070] ppid=2061 vsize=915452 CPUtime=0
/proc/2063/task/2070/stat : 2070 (java) S 2061 2063 1185 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271306141 937422848 9146 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2063/tid=2071] ppid=2061 vsize=915452 CPUtime=0.31
/proc/2063/task/2071/stat : 2071 (java) S 2061 2063 1185 0 -1 64 454 0 0 0 30 1 0 0 16 0 8 0 271306141 937422848 9146 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2063/tid=2072] ppid=2061 vsize=915452 CPUtime=0
/proc/2063/task/2072/stat : 2072 (java) S 2061 2063 1185 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271306141 937422848 9146 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2063/tid=2073] ppid=2061 vsize=915452 CPUtime=0.02
/proc/2063/task/2073/stat : 2073 (java) S 2061 2063 1185 0 -1 64 0 0 0 0 1 1 0 0 15 0 8 0 271306141 937422848 9146 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2246.82
Current children cumulated vsize (KiB) 915452

[startup+2324.7 s]
/proc/loadavg: 2.00 1.99 1.99 4/94 2445
/proc/meminfo: memFree=1288016/2055920 swapFree=4192812/4192956
[pid=2063] ppid=2061 vsize=915452 CPUtime=2306.83
/proc/2063/stat : 2063 (java) R 2061 2063 1185 0 -1 0 9425 0 1 0 230480 203 0 0 25 0 8 0 271306133 937422848 9146 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073744237 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2063/statm: 228863 9146 2546 14 0 215333 0
[pid=2063/tid=2065] ppid=2061 vsize=915452 CPUtime=0.03
/proc/2063/task/2065/stat : 2065 (java) S 2061 2063 1185 0 -1 64 259 0 0 0 3 0 0 0 16 0 8 0 271306137 937422848 9146 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2063/tid=2066] ppid=2061 vsize=915452 CPUtime=0
/proc/2063/task/2066/stat : 2066 (java) S 2061 2063 1185 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271306137 937422848 9146 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2063/tid=2068] ppid=2061 vsize=915452 CPUtime=0
/proc/2063/task/2068/stat : 2068 (java) S 2061 2063 1185 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271306137 937422848 9146 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2063/tid=2070] ppid=2061 vsize=915452 CPUtime=0
/proc/2063/task/2070/stat : 2070 (java) S 2061 2063 1185 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271306141 937422848 9146 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2063/tid=2071] ppid=2061 vsize=915452 CPUtime=0.31
/proc/2063/task/2071/stat : 2071 (java) S 2061 2063 1185 0 -1 64 454 0 0 0 30 1 0 0 16 0 8 0 271306141 937422848 9146 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2063/tid=2072] ppid=2061 vsize=915452 CPUtime=0
/proc/2063/task/2072/stat : 2072 (java) S 2061 2063 1185 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271306141 937422848 9146 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2063/tid=2073] ppid=2061 vsize=915452 CPUtime=0.02
/proc/2063/task/2073/stat : 2073 (java) S 2061 2063 1185 0 -1 64 0 0 0 0 1 1 0 0 15 0 8 0 271306141 937422848 9146 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2306.83
Current children cumulated vsize (KiB) 915452

[startup+2384.76 s]
/proc/loadavg: 2.00 1.99 1.99 3/94 2445
/proc/meminfo: memFree=1288016/2055920 swapFree=4192812/4192956
[pid=2063] ppid=2061 vsize=915452 CPUtime=2366.83
/proc/2063/stat : 2063 (java) R 2061 2063 1185 0 -1 0 9425 0 1 0 236480 203 0 0 25 0 8 0 271306133 937422848 9146 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073744034 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2063/statm: 228863 9146 2546 14 0 215333 0
[pid=2063/tid=2065] ppid=2061 vsize=915452 CPUtime=0.03
/proc/2063/task/2065/stat : 2065 (java) S 2061 2063 1185 0 -1 64 259 0 0 0 3 0 0 0 16 0 8 0 271306137 937422848 9146 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2063/tid=2066] ppid=2061 vsize=915452 CPUtime=0
/proc/2063/task/2066/stat : 2066 (java) S 2061 2063 1185 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271306137 937422848 9146 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2063/tid=2068] ppid=2061 vsize=915452 CPUtime=0
/proc/2063/task/2068/stat : 2068 (java) S 2061 2063 1185 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271306137 937422848 9146 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2063/tid=2070] ppid=2061 vsize=915452 CPUtime=0
/proc/2063/task/2070/stat : 2070 (java) S 2061 2063 1185 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271306141 937422848 9146 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2063/tid=2071] ppid=2061 vsize=915452 CPUtime=0.31
/proc/2063/task/2071/stat : 2071 (java) S 2061 2063 1185 0 -1 64 454 0 0 0 30 1 0 0 16 0 8 0 271306141 937422848 9146 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2063/tid=2072] ppid=2061 vsize=915452 CPUtime=0
/proc/2063/task/2072/stat : 2072 (java) S 2061 2063 1185 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271306141 937422848 9146 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2063/tid=2073] ppid=2061 vsize=915452 CPUtime=0.02
/proc/2063/task/2073/stat : 2073 (java) S 2061 2063 1185 0 -1 64 0 0 0 0 1 1 0 0 15 0 8 0 271306141 937422848 9146 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2366.83
Current children cumulated vsize (KiB) 915452



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2417.97 s]
/proc/loadavg: 2.00 1.99 1.99 3/94 2445
/proc/meminfo: memFree=1287952/2055920 swapFree=4192812/4192956
[pid=2063] ppid=2061 vsize=915452 CPUtime=2400.02
/proc/2063/stat : 2063 (java) R 2061 2063 1185 0 -1 0 9425 0 1 0 239799 203 0 0 25 0 8 0 271306133 937422848 9146 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073746316 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2063/statm: 228863 9146 2546 14 0 215333 0
[pid=2063/tid=2065] ppid=2061 vsize=915452 CPUtime=0.03
/proc/2063/task/2065/stat : 2065 (java) S 2061 2063 1185 0 -1 64 259 0 0 0 3 0 0 0 16 0 8 0 271306137 937422848 9146 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2063/tid=2066] ppid=2061 vsize=915452 CPUtime=0
/proc/2063/task/2066/stat : 2066 (java) S 2061 2063 1185 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271306137 937422848 9146 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2063/tid=2068] ppid=2061 vsize=915452 CPUtime=0
/proc/2063/task/2068/stat : 2068 (java) S 2061 2063 1185 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271306137 937422848 9146 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2063/tid=2070] ppid=2061 vsize=915452 CPUtime=0
/proc/2063/task/2070/stat : 2070 (java) S 2061 2063 1185 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271306141 937422848 9146 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2063/tid=2071] ppid=2061 vsize=915452 CPUtime=0.31
/proc/2063/task/2071/stat : 2071 (java) S 2061 2063 1185 0 -1 64 454 0 0 0 30 1 0 0 16 0 8 0 271306141 937422848 9146 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2063/tid=2072] ppid=2061 vsize=915452 CPUtime=0
/proc/2063/task/2072/stat : 2072 (java) S 2061 2063 1185 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271306141 937422848 9146 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2063/tid=2073] ppid=2061 vsize=915452 CPUtime=0.02
/proc/2063/task/2073/stat : 2073 (java) S 2061 2063 1185 0 -1 64 0 0 0 0 1 1 0 0 15 0 8 0 271306141 937422848 9146 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2400.02
Current children cumulated vsize (KiB) 915452

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

Child status: 143
Real time (s): 2418.04
CPU time (s): 2400.09
CPU user time (s): 2398.05
CPU system time (s): 2.04269
CPU usage (%): 99.2576
Max. virtual memory (cumulated for all children) (KiB): 915456

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2398.05
system time used= 2.04269
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9451
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= 50303
involuntary context switches= 99522

runsolver used 3.08353 s user time and 7.63584 s system time

The end

Launcher Data (download as text)

Begin job on node18 on Fri Jan 19 17:51:54 UTC 2007


IDJOB= 275916
IDBENCH= 5167
IDSOLVER= 69
FILE ID= node18/275916-1169229114

PBS_JOBID= 3588957

Free space on /tmp= 66560 MiB

SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/golombRuler/golombRulerArity3/ruler-44-10-a3.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/275916-1169229114/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node18/watcher-275916-1169229114 -o ROOT/results/node18/solver-275916-1169229114 -C 2400 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/275916-1169229114/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  04660a8636430499a1688ded3d6e50e4

RANDOM SEED= 235897049

TIME LIMIT= 2400 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.231
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.231
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:       1264872 kB
Buffers:         50572 kB
Cached:         548644 kB
SwapCached:          0 kB
Active:         276464 kB
Inactive:       435288 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1264872 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            1860 kB
Writeback:           0 kB
Mapped:         132708 kB
Slab:            64196 kB
Committed_AS:  7983104 kB
PageTables:       2180 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= 66561 MiB



End job on node18 on Fri Jan 19 18:32:13 UTC 2007