Trace number 203197

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Abscon 109 AC? (TO) 1800.15 1806.45

General information on the benchmark

Namerandom/rand-3-28-28-fcd/
rand-3-28-28-93-632-fcd-35_ext.xml
MD5SUMd0989ab1b788244c0808bf1396cd4672
Bench CategoryN-ARY-EXT (n-ary constraints in extension)
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 variables28
Number of constraints93
Maximum constraint arity3
Maximum domain size28
Number of constraints which are defined in extension93
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Solver Data (download as text)

0.31	   
0.31	Abscon 109 (November, 2006)
0.31	   
0.31	   configuration
0.31	     name=mac.xml
0.34	   
0.34	   instance
0.34	     name=/tmp/evaluation/203197-1168072960/unknown.xml
0.37	   
0.37	   domains being loaded...
0.37	   
0.37	   variables being loaded...
0.41	     nbVariables=28  nbDomainTypes=1  minDomainSize=28  maxDomainSize=28
0.41	       =>  wckTime=0.098  cpuTime=0.08  mem=6M951
0.41	   
0.41	   relations being loaded...
1.55	   
1.55	   constraints being loaded...
2.31	     nbConstraints=92  nbRelationTypes=93  nbMergedConstraints=1  nbExtensionStructures=92
2.31	     nbSharedExtensionStructures=0  nbConflictsStructures=92  nbSharedConflictsStructures=0
2.31	     nbSharedBinaryRepresentations=0  maxDegree=16  maxArity=3
2.31	       =>  wckTime=2.0  cpuTime=1.6  mem=58M24
2.47	   
2.47	   solver IterativeSystematicSolver being built... 
2.64	       =>  wckTime=2.325  cpuTime=1.75  mem=65M862
2.64	   
2.64	   preprocessing
2.64	     nbConstraintChecks=0  nbPropagations=28  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
2.64	     detectedInconsistency=no
2.64	       =>  wckTime=0.0040  cpuTime=0.0  mem=65M862
2.80	   
2.80	   search
2.80	     run=0  nbConstraintChecks=51423  nbValidityChecks=90263  nbPropagations=458  nbRevisions=5390
2.80	     nbUselessRevisions=4381  nbAssignments=33  nbFailedAssignments=16  nbBacktracks=10  nbVisitedNodes=57
2.80	     nbRestartNogoods=0  mapSize=8  nbInferences=0  nbTooLargeKeys=0
2.80	       =>  wckTime=0.161  cpuTime=0.12  mem=65M862
2.95	   
2.95	   search
2.95	     run=1  nbConstraintChecks=125881  nbValidityChecks=238185  nbPropagations=1538  nbRevisions=18697
2.95	     nbUselessRevisions=15136  nbAssignments=80  nbFailedAssignments=41  nbBacktracks=25  nbVisitedNodes=142
2.95	     nbRestartNogoods=4  mapSize=23  nbInferences=0  nbTooLargeKeys=0
2.95	       =>  wckTime=0.309  cpuTime=0.26  mem=65M862
3.12	   
3.12	   search
3.12	     run=2  nbConstraintChecks=219084  nbValidityChecks=406487  nbPropagations=3501  nbRevisions=43337
3.12	     nbUselessRevisions=34966  nbAssignments=147  nbFailedAssignments=78  nbBacktracks=47  nbVisitedNodes=258
3.12	     nbRestartNogoods=12  mapSize=42  nbInferences=0  nbTooLargeKeys=0
3.12	       =>  wckTime=0.48  cpuTime=0.42  mem=65M862
3.30	   
3.30	   search
3.30	     run=3  nbConstraintChecks=326524  nbValidityChecks=631717  nbPropagations=6588  nbRevisions=82270
3.30	     nbUselessRevisions=66066  nbAssignments=251  nbFailedAssignments=142  nbBacktracks=80  nbVisitedNodes=445
3.30	     nbRestartNogoods=17  mapSize=69  nbInferences=0  nbTooLargeKeys=0
3.30	       =>  wckTime=0.663  cpuTime=0.6  mem=65M862
3.80	   
3.80	   search
3.80	     run=4  nbConstraintChecks=617286  nbValidityChecks=1252902  nbPropagations=12265  nbRevisions=157830
3.81	     nbUselessRevisions=126663  nbAssignments=488  nbFailedAssignments=322  nbBacktracks=131  nbVisitedNodes=905
3.81	     nbRestartNogoods=23  mapSize=119  nbInferences=0  nbTooLargeKeys=0
3.81	       =>  wckTime=1.164  cpuTime=1.09  mem=65M862
4.16	   
4.16	   search
4.16	     run=5  nbConstraintChecks=832217  nbValidityChecks=1665960  nbPropagations=20128  nbRevisions=260769
4.16	     nbUselessRevisions=209151  nbAssignments=651  nbFailedAssignments=402  nbBacktracks=206  nbVisitedNodes=1197
4.16	     nbRestartNogoods=25  mapSize=189  nbInferences=0  nbTooLargeKeys=0
4.16	       =>  wckTime=1.522  cpuTime=1.45  mem=65M862
4.75	   
4.75	   search
4.75	     run=6  nbConstraintChecks=1190190  nbValidityChecks=2371578  nbPropagations=31393  nbRevisions=408158
4.75	     nbUselessRevisions=327077  nbAssignments=935  nbFailedAssignments=566  nbBacktracks=320  nbVisitedNodes=1729
4.75	     nbRestartNogoods=30  mapSize=292  nbInferences=0  nbTooLargeKeys=0
4.75	       =>  wckTime=2.115  cpuTime=2.03  mem=65M862
5.55	   
5.55	   search
5.55	     run=7  nbConstraintChecks=1648470  nbValidityChecks=3290169  nbPropagations=47219  nbRevisions=615026
5.55	     nbUselessRevisions=492025  nbAssignments=1285  nbFailedAssignments=739  nbBacktracks=492  nbVisitedNodes=2352
5.55	     nbRestartNogoods=34  mapSize=439  nbInferences=0  nbTooLargeKeys=0
5.55	       =>  wckTime=2.907  cpuTime=2.82  mem=65M862
6.90	   
6.90	   search
6.90	     run=8  nbConstraintChecks=2440346  nbValidityChecks=4828537  nbPropagations=71109  nbRevisions=920329
6.90	     nbUselessRevisions=734788  nbAssignments=1873  nbFailedAssignments=1064  nbBacktracks=749  nbVisitedNodes=3424
6.90	     nbRestartNogoods=44  mapSize=662  nbInferences=0  nbTooLargeKeys=0
6.90	       =>  wckTime=4.261  cpuTime=4.15  mem=65M862
9.83	   
9.83	   INFO : Stopping hyperNogood (mapSize=1005, nbTooLargekeys=0, mem=66M854)
10.04	   
10.04	   search
10.04	     run=9  nbConstraintChecks=4317201  nbValidityChecks=8745421  nbPropagations=111062  nbRevisions=1447798
10.04	     nbUselessRevisions=1154430  nbAssignments=3181  nbFailedAssignments=1980  nbBacktracks=1135  nbVisitedNodes=5962
10.04	     nbRestartNogoods=52
10.04	       =>  wckTime=7.396  cpuTime=7.26  mem=66M854
12.47	   
12.47	   search
12.47	     run=10  nbConstraintChecks=5822994  nbValidityChecks=11655977  nbPropagations=167866  nbRevisions=2186668
12.47	     nbUselessRevisions=1741758  nbAssignments=4496  nbFailedAssignments=2710  nbBacktracks=1712  nbVisitedNodes=8337
12.47	     nbRestartNogoods=57
12.47	       =>  wckTime=9.829  cpuTime=9.67  mem=66M854
16.85	   
16.85	   search
16.85	     run=11  nbConstraintChecks=8560085  nbValidityChecks=16968802  nbPropagations=251687  nbRevisions=3280425
16.85	     nbUselessRevisions=2609243  nbAssignments=6561  nbFailedAssignments=3906  nbBacktracks=2577  nbVisitedNodes=12139
16.85	     nbRestartNogoods=71
16.85	       =>  wckTime=14.211  cpuTime=14.04  mem=66M854
23.18	   
23.18	   search
23.18	     run=12  nbConstraintChecks=12403912  nbValidityChecks=24487772  nbPropagations=374362  nbRevisions=4848536
23.18	     nbUselessRevisions=3849502  nbAssignments=9366  nbFailedAssignments=5407  nbBacktracks=3875  nbVisitedNodes=17237
23.18	     nbRestartNogoods=80
23.18	       =>  wckTime=20.541  cpuTime=20.33  mem=66M854
38.88	   
38.88	   search
38.88	     run=13  nbConstraintChecks=22027452  nbValidityChecks=44486368  nbPropagations=580628  nbRevisions=7568340
38.88	     nbUselessRevisions=6003041  nbAssignments=16113  nbFailedAssignments=10201  nbBacktracks=5821  nbVisitedNodes=30338
38.88	     nbRestartNogoods=93
38.88	       =>  wckTime=36.245  cpuTime=35.95  mem=66M854
54.30	   
54.30	   search
54.30	     run=14  nbConstraintChecks=31693310  nbValidityChecks=63390710  nbPropagations=889361  nbRevisions=11576999
54.30	     nbUselessRevisions=9171132  nbAssignments=23711  nbFailedAssignments=14872  nbBacktracks=8740  nbVisitedNodes=44567
54.30	     nbRestartNogoods=110
54.30	       =>  wckTime=51.662  cpuTime=51.3  mem=66M854
77.06	   
77.06	   search
77.06	     run=15  nbConstraintChecks=45824480  nbValidityChecks=91154570  nbPropagations=1341620  nbRevisions=17426575
77.06	     nbUselessRevisions=13800315  nbAssignments=34122  nbFailedAssignments=20898  nbBacktracks=13119
77.06	     nbVisitedNodes=63717  nbRestartNogoods=123
77.06	       =>  wckTime=74.425  cpuTime=73.95  mem=66M854
111.27	   
111.27	   search
111.27	     run=16  nbConstraintChecks=66809552  nbValidityChecks=133457658  nbPropagations=2016532  nbRevisions=26064804
111.27	     nbUselessRevisions=20636200  nbAssignments=51120  nbFailedAssignments=31320  nbBacktracks=19687
111.27	     nbVisitedNodes=95396  nbRestartNogoods=140
111.27	       =>  wckTime=108.627  cpuTime=108.0  mem=66M854
174.62	   
174.62	   search
174.62	     run=17  nbConstraintChecks=105542491  nbValidityChecks=213016920  nbPropagations=3051152  nbRevisions=39506435
174.62	     nbUselessRevisions=31283569  nbAssignments=79540  nbFailedAssignments=49882  nbBacktracks=29539
174.62	     nbVisitedNodes=149521  nbRestartNogoods=150
174.62	       =>  wckTime=171.984  cpuTime=171.05  mem=66M854
250.73	   
250.73	   search
250.73	     run=18  nbConstraintChecks=152685532  nbValidityChecks=305792514  nbPropagations=4558337  nbRevisions=59030315
250.73	     nbUselessRevisions=46753480  nbAssignments=113271  nbFailedAssignments=68828  nbBacktracks=44317
250.73	     nbVisitedNodes=211701  nbRestartNogoods=161
250.73	       =>  wckTime=248.095  cpuTime=246.8  mem=66M854
379.61	   
379.61	   search
379.61	     run=19  nbConstraintChecks=232608155  nbValidityChecks=463077714  nbPropagations=6796133  nbRevisions=88181550
379.61	     nbUselessRevisions=69885929  nbAssignments=170861  nbFailedAssignments=104244  nbBacktracks=66485
379.61	     nbVisitedNodes=319825  nbRestartNogoods=187
379.61	       =>  wckTime=376.976  cpuTime=375.06  mem=66M854
552.87	   
552.87	   search
552.87	     run=20  nbConstraintChecks=340804649  nbValidityChecks=677746777  nbPropagations=10145583  nbRevisions=131772672
552.87	     nbUselessRevisions=104435212  nbAssignments=255145  nbFailedAssignments=155269  nbBacktracks=99737
552.87	     nbVisitedNodes=477585  nbRestartNogoods=207
552.87	       =>  wckTime=550.226  cpuTime=547.49  mem=66M854
906.43	   
906.43	   search
906.43	     run=21  nbConstraintChecks=557014132  nbValidityChecks=1123564106  nbPropagations=15445576  nbRevisions=201717089
906.43	     nbUselessRevisions=159894070  nbAssignments=409873  nbFailedAssignments=260111  nbBacktracks=149617
906.43	     nbVisitedNodes=774479  nbRestartNogoods=229
906.43	       =>  wckTime=903.794  cpuTime=899.39  mem=66M854
1271.23	   
1271.23	   search
1271.23	     run=22  nbConstraintChecks=783874173  nbValidityChecks=1570866233  nbPropagations=23110550  nbRevisions=302003560
1271.23	     nbUselessRevisions=239411801  nbAssignments=580661  nbFailedAssignments=356072  nbBacktracks=224437
1271.23	     nbVisitedNodes=1090440  nbRestartNogoods=250
1271.23	       =>  wckTime=1268.589  cpuTime=1262.37  mem=66M854

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/node43/watcher-203197-1168072960 -o ROOT/results/node43/solver-203197-1168072960 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/203197-1168072960/unknown.xml 

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

/proc/loadavg: 2.00 1.83 1.74 4/80 6868
/proc/meminfo: memFree=1603968/2055920 swapFree=4192812/4192956
[pid=6867] ppid=6865 vsize=1784 CPUtime=0
/proc/6867/stat : 6867 (java) R 6865 6867 6303 0 -1 0 169 0 0 0 0 0 0 0 19 0 1 0 155695157 1826816 140 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 0 0 0 17 1 0 0
/proc/6867/statm: 446 140 106 14 0 91 0

[startup+0.10588 s]
/proc/loadavg: 2.00 1.83 1.74 4/80 6868
/proc/meminfo: memFree=1603968/2055920 swapFree=4192812/4192956
[pid=6867] ppid=6865 vsize=914988 CPUtime=0.09
/proc/6867/stat : 6867 (java) R 6865 6867 6303 0 -1 0 3011 0 1 0 8 1 0 0 17 0 8 0 155695157 936947712 2757 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4154020620 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6867/statm: 228747 2757 1432 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988

[startup+0.513949 s]
/proc/loadavg: 2.00 1.83 1.74 4/80 6868
/proc/meminfo: memFree=1603968/2055920 swapFree=4192812/4192956
[pid=6867] ppid=6865 vsize=915328 CPUtime=0.5
/proc/6867/stat : 6867 (java) R 6865 6867 6303 0 -1 0 7747 0 1 0 46 4 0 0 18 0 8 0 155695157 937295872 7486 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073583233 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6867/statm: 228832 7486 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915328

[startup+1.34309 s]
/proc/loadavg: 2.00 1.83 1.74 4/87 6875
/proc/meminfo: memFree=1497544/2055920 swapFree=4192812/4192956
[pid=6867] ppid=6865 vsize=915328 CPUtime=1.31
/proc/6867/stat : 6867 (java) R 6865 6867 6303 0 -1 0 19100 0 1 0 122 9 0 0 25 0 8 0 155695157 937295872 18838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073445380 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6867/statm: 228832 18838 2149 14 0 215302 0
[pid=6867/tid=6869] ppid=6865 vsize=915328 CPUtime=0.05
/proc/6867/task/6869/stat : 6869 (java) S 6865 6867 6303 0 -1 64 2681 0 0 0 5 0 0 0 17 0 8 0 155695161 937295872 18838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6867/tid=6870] ppid=6865 vsize=915328 CPUtime=0
/proc/6867/task/6870/stat : 6870 (java) S 6865 6867 6303 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 155695161 937295872 18838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6867/tid=6871] ppid=6865 vsize=915328 CPUtime=0
/proc/6867/task/6871/stat : 6871 (java) S 6865 6867 6303 0 -1 64 5 0 0 0 0 0 0 0 17 0 8 0 155695161 937295872 18838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6867/tid=6872] ppid=6865 vsize=915328 CPUtime=0
/proc/6867/task/6872/stat : 6872 (java) S 6865 6867 6303 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155695164 937295872 18838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6867/tid=6873] ppid=6865 vsize=915328 CPUtime=0.08
/proc/6867/task/6873/stat : 6873 (java) S 6865 6867 6303 0 -1 64 309 0 0 0 8 0 0 0 16 0 8 0 155695164 937295872 18838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6867/tid=6874] ppid=6865 vsize=915328 CPUtime=0
/proc/6867/task/6874/stat : 6874 (java) S 6865 6867 6303 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155695164 937295872 18838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6867/tid=6875] ppid=6865 vsize=915328 CPUtime=0
/proc/6867/task/6875/stat : 6875 (java) S 6865 6867 6303 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155695164 937295872 18838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915328

[startup+2.98136 s]
/proc/loadavg: 2.00 1.83 1.74 3/87 6875
/proc/meminfo: memFree=1422280/2055920 swapFree=4192812/4192956
[pid=6867] ppid=6865 vsize=915440 CPUtime=2.95
/proc/6867/stat : 6867 (java) R 6865 6867 6303 0 -1 0 32559 0 1 0 277 18 0 0 25 0 8 0 155695157 937410560 32293 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073803548 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6867/statm: 228860 32293 2521 14 0 215330 0
[pid=6867/tid=6869] ppid=6865 vsize=915440 CPUtime=0.45
/proc/6867/task/6869/stat : 6869 (java) S 6865 6867 6303 0 -1 64 15584 0 0 0 38 7 0 0 16 0 8 0 155695161 937410560 32293 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6867/tid=6870] ppid=6865 vsize=915440 CPUtime=0
/proc/6867/task/6870/stat : 6870 (java) S 6865 6867 6303 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155695161 937410560 32293 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6867/tid=6871] ppid=6865 vsize=915440 CPUtime=0
/proc/6867/task/6871/stat : 6871 (java) S 6865 6867 6303 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155695161 937410560 32293 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6867/tid=6872] ppid=6865 vsize=915440 CPUtime=0
/proc/6867/task/6872/stat : 6872 (java) S 6865 6867 6303 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155695164 937410560 32293 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6867/tid=6873] ppid=6865 vsize=915440 CPUtime=0.19
/proc/6867/task/6873/stat : 6873 (java) S 6865 6867 6303 0 -1 64 376 0 0 0 19 0 0 0 15 0 8 0 155695164 937410560 32293 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6867/tid=6874] ppid=6865 vsize=915440 CPUtime=0
/proc/6867/task/6874/stat : 6874 (java) S 6865 6867 6303 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155695164 937410560 32293 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6867/tid=6875] ppid=6865 vsize=915440 CPUtime=0
/proc/6867/task/6875/stat : 6875 (java) S 6865 6867 6303 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155695164 937410560 32293 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 915440

[startup+6.28391 s]
/proc/loadavg: 2.08 1.85 1.75 3/87 6875
/proc/meminfo: memFree=1410320/2055920 swapFree=4192812/4192956
[pid=6867] ppid=6865 vsize=915440 CPUtime=6.24
/proc/6867/stat : 6867 (java) R 6865 6867 6303 0 -1 0 32580 0 1 0 606 18 0 0 25 0 8 0 155695157 937410560 32311 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073805587 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6867/statm: 228860 32311 2522 14 0 215330 0
[pid=6867/tid=6869] ppid=6865 vsize=915440 CPUtime=0.45
/proc/6867/task/6869/stat : 6869 (java) S 6865 6867 6303 0 -1 64 15584 0 0 0 38 7 0 0 17 0 8 0 155695161 937410560 32311 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6867/tid=6870] ppid=6865 vsize=915440 CPUtime=0
/proc/6867/task/6870/stat : 6870 (java) S 6865 6867 6303 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155695161 937410560 32311 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6867/tid=6871] ppid=6865 vsize=915440 CPUtime=0
/proc/6867/task/6871/stat : 6871 (java) S 6865 6867 6303 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155695161 937410560 32311 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6867/tid=6872] ppid=6865 vsize=915440 CPUtime=0
/proc/6867/task/6872/stat : 6872 (java) S 6865 6867 6303 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155695164 937410560 32311 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6867/tid=6873] ppid=6865 vsize=915440 CPUtime=0.23
/proc/6867/task/6873/stat : 6873 (java) S 6865 6867 6303 0 -1 64 394 0 0 0 23 0 0 0 16 0 8 0 155695164 937410560 32311 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6867/tid=6874] ppid=6865 vsize=915440 CPUtime=0
/proc/6867/task/6874/stat : 6874 (java) S 6865 6867 6303 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155695164 937410560 32311 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6867/tid=6875] ppid=6865 vsize=915440 CPUtime=0
/proc/6867/task/6875/stat : 6875 (java) R 6865 6867 6303 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155695164 937410560 32311 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 915440

[startup+12.764 s]
/proc/loadavg: 2.07 1.85 1.75 3/87 6875
/proc/meminfo: memFree=1410384/2055920 swapFree=4192812/4192956
[pid=6867] ppid=6865 vsize=915440 CPUtime=12.69
/proc/6867/stat : 6867 (java) R 6865 6867 6303 0 -1 0 32590 0 1 0 1251 18 0 0 25 0 8 0 155695157 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073806586 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6867/statm: 228860 32318 2522 14 0 215330 0
[pid=6867/tid=6869] ppid=6865 vsize=915440 CPUtime=0.45
/proc/6867/task/6869/stat : 6869 (java) S 6865 6867 6303 0 -1 64 15584 0 0 0 38 7 0 0 16 0 8 0 155695161 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6867/tid=6870] ppid=6865 vsize=915440 CPUtime=0
/proc/6867/task/6870/stat : 6870 (java) S 6865 6867 6303 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155695161 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6867/tid=6871] ppid=6865 vsize=915440 CPUtime=0
/proc/6867/task/6871/stat : 6871 (java) S 6865 6867 6303 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155695161 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6867/tid=6872] ppid=6865 vsize=915440 CPUtime=0
/proc/6867/task/6872/stat : 6872 (java) S 6865 6867 6303 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155695164 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6867/tid=6873] ppid=6865 vsize=915440 CPUtime=0.24
/proc/6867/task/6873/stat : 6873 (java) S 6865 6867 6303 0 -1 64 402 0 0 0 24 0 0 0 16 0 8 0 155695164 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6867/tid=6874] ppid=6865 vsize=915440 CPUtime=0
/proc/6867/task/6874/stat : 6874 (java) S 6865 6867 6303 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155695164 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6867/tid=6875] ppid=6865 vsize=915440 CPUtime=0
/proc/6867/task/6875/stat : 6875 (java) S 6865 6867 6303 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155695164 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 915440

[startup+25.6301 s]
/proc/loadavg: 2.12 1.87 1.75 3/87 6875
/proc/meminfo: memFree=1410512/2055920 swapFree=4192812/4192956
[pid=6867] ppid=6865 vsize=915440 CPUtime=25.49
/proc/6867/stat : 6867 (java) R 6865 6867 6303 0 -1 0 32591 0 1 0 2531 18 0 0 25 0 8 0 155695157 937410560 32319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073793818 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6867/statm: 228860 32319 2522 14 0 215330 0
[pid=6867/tid=6869] ppid=6865 vsize=915440 CPUtime=0.45
/proc/6867/task/6869/stat : 6869 (java) S 6865 6867 6303 0 -1 64 15584 0 0 0 38 7 0 0 16 0 8 0 155695161 937410560 32319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6867/tid=6870] ppid=6865 vsize=915440 CPUtime=0
/proc/6867/task/6870/stat : 6870 (java) S 6865 6867 6303 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155695161 937410560 32319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6867/tid=6871] ppid=6865 vsize=915440 CPUtime=0
/proc/6867/task/6871/stat : 6871 (java) S 6865 6867 6303 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155695161 937410560 32319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6867/tid=6872] ppid=6865 vsize=915440 CPUtime=0
/proc/6867/task/6872/stat : 6872 (java) S 6865 6867 6303 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155695164 937410560 32319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6867/tid=6873] ppid=6865 vsize=915440 CPUtime=0.25
/proc/6867/task/6873/stat : 6873 (java) S 6865 6867 6303 0 -1 64 403 0 0 0 25 0 0 0 16 0 8 0 155695164 937410560 32319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6867/tid=6874] ppid=6865 vsize=915440 CPUtime=0
/proc/6867/task/6874/stat : 6874 (java) S 6865 6867 6303 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155695164 937410560 32319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6867/tid=6875] ppid=6865 vsize=915440 CPUtime=0
/proc/6867/task/6875/stat : 6875 (java) S 6865 6867 6303 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155695164 937410560 32319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 915440

[startup+51.2624 s]
/proc/loadavg: 2.08 1.88 1.76 3/87 6875
/proc/meminfo: memFree=1410448/2055920 swapFree=4192812/4192956
[pid=6867] ppid=6865 vsize=915440 CPUtime=50.99
/proc/6867/stat : 6867 (java) R 6865 6867 6303 0 -1 0 32591 0 1 0 5081 18 0 0 25 0 8 0 155695157 937410560 32319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073806602 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6867/statm: 228860 32319 2522 14 0 215330 0
[pid=6867/tid=6869] ppid=6865 vsize=915440 CPUtime=0.45
/proc/6867/task/6869/stat : 6869 (java) S 6865 6867 6303 0 -1 64 15584 0 0 0 38 7 0 0 16 0 8 0 155695161 937410560 32319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6867/tid=6870] ppid=6865 vsize=915440 CPUtime=0
/proc/6867/task/6870/stat : 6870 (java) S 6865 6867 6303 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155695161 937410560 32319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6867/tid=6871] ppid=6865 vsize=915440 CPUtime=0
/proc/6867/task/6871/stat : 6871 (java) S 6865 6867 6303 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155695161 937410560 32319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6867/tid=6872] ppid=6865 vsize=915440 CPUtime=0
/proc/6867/task/6872/stat : 6872 (java) S 6865 6867 6303 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155695164 937410560 32319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6867/tid=6873] ppid=6865 vsize=915440 CPUtime=0.25
/proc/6867/task/6873/stat : 6873 (java) S 6865 6867 6303 0 -1 64 403 0 0 0 25 0 0 0 16 0 8 0 155695164 937410560 32319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6867/tid=6874] ppid=6865 vsize=915440 CPUtime=0
/proc/6867/task/6874/stat : 6874 (java) S 6865 6867 6303 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155695164 937410560 32319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6867/tid=6875] ppid=6865 vsize=915440 CPUtime=0
/proc/6867/task/6875/stat : 6875 (java) S 6865 6867 6303 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155695164 937410560 32319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.99
Current children cumulated vsize (KiB) 915440

[startup+102.516 s]
/proc/loadavg: 2.03 1.90 1.77 3/87 6875
/proc/meminfo: memFree=1410512/2055920 swapFree=4192812/4192956
[pid=6867] ppid=6865 vsize=915440 CPUtime=102
/proc/6867/stat : 6867 (java) R 6865 6867 6303 0 -1 0 32591 0 1 0 10182 18 0 0 25 0 8 0 155695157 937410560 32319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6867/statm: 228860 32319 2522 14 0 215330 0
[pid=6867/tid=6869] ppid=6865 vsize=915440 CPUtime=0.45
/proc/6867/task/6869/stat : 6869 (java) S 6865 6867 6303 0 -1 64 15584 0 0 0 38 7 0 0 16 0 8 0 155695161 937410560 32319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6867/tid=6870] ppid=6865 vsize=915440 CPUtime=0
/proc/6867/task/6870/stat : 6870 (java) S 6865 6867 6303 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155695161 937410560 32319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6867/tid=6871] ppid=6865 vsize=915440 CPUtime=0
/proc/6867/task/6871/stat : 6871 (java) S 6865 6867 6303 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155695161 937410560 32319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6867/tid=6872] ppid=6865 vsize=915440 CPUtime=0
/proc/6867/task/6872/stat : 6872 (java) S 6865 6867 6303 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155695164 937410560 32319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6867/tid=6873] ppid=6865 vsize=915440 CPUtime=0.25
/proc/6867/task/6873/stat : 6873 (java) S 6865 6867 6303 0 -1 64 403 0 0 0 25 0 0 0 16 0 8 0 155695164 937410560 32319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6867/tid=6874] ppid=6865 vsize=915440 CPUtime=0
/proc/6867/task/6874/stat : 6874 (java) S 6865 6867 6303 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155695164 937410560 32319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6867/tid=6875] ppid=6865 vsize=915440 CPUtime=0
/proc/6867/task/6875/stat : 6875 (java) S 6865 6867 6303 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155695164 937410560 32319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 102
Current children cumulated vsize (KiB) 915440

[startup+162.616 s]
/proc/loadavg: 2.01 1.91 1.78 3/87 6875
/proc/meminfo: memFree=1410576/2055920 swapFree=4192812/4192956
[pid=6867] ppid=6865 vsize=915440 CPUtime=161.81
/proc/6867/stat : 6867 (java) R 6865 6867 6303 0 -1 0 32591 0 1 0 16163 18 0 0 25 0 8 0 155695157 937410560 32319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073805445 0 4 0 23759 18446744073709551615 0 0 17 1 0 0

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

Current children cumulated CPU time (s) 1417.19
Current children cumulated vsize (KiB) 915440

[startup+1483.45 s]
/proc/loadavg: 2.07 2.02 1.91 3/87 7073
/proc/meminfo: memFree=1410384/2055920 swapFree=4192812/4192956
[pid=6867] ppid=6865 vsize=915440 CPUtime=1477.24
/proc/6867/stat : 6867 (java) R 6865 6867 6303 0 -1 0 32593 0 1 0 147704 20 0 0 25 0 8 0 155695157 937410560 32320 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073805614 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6867/statm: 228860 32320 2522 14 0 215330 0
[pid=6867/tid=6869] ppid=6865 vsize=915440 CPUtime=0.45
/proc/6867/task/6869/stat : 6869 (java) S 6865 6867 6303 0 -1 64 15584 0 0 0 38 7 0 0 16 0 8 0 155695161 937410560 32320 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6867/tid=6870] ppid=6865 vsize=915440 CPUtime=0
/proc/6867/task/6870/stat : 6870 (java) S 6865 6867 6303 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155695161 937410560 32320 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6867/tid=6871] ppid=6865 vsize=915440 CPUtime=0
/proc/6867/task/6871/stat : 6871 (java) S 6865 6867 6303 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155695161 937410560 32320 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6867/tid=6872] ppid=6865 vsize=915440 CPUtime=0
/proc/6867/task/6872/stat : 6872 (java) S 6865 6867 6303 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155695164 937410560 32320 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6867/tid=6873] ppid=6865 vsize=915440 CPUtime=0.25
/proc/6867/task/6873/stat : 6873 (java) S 6865 6867 6303 0 -1 64 404 0 0 0 25 0 0 0 16 0 8 0 155695164 937410560 32320 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6867/tid=6874] ppid=6865 vsize=915440 CPUtime=0
/proc/6867/task/6874/stat : 6874 (java) S 6865 6867 6303 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155695164 937410560 32320 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6867/tid=6875] ppid=6865 vsize=915440 CPUtime=0
/proc/6867/task/6875/stat : 6875 (java) S 6865 6867 6303 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155695164 937410560 32320 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1477.24
Current children cumulated vsize (KiB) 915440

[startup+1543.53 s]
/proc/loadavg: 2.07 2.03 1.92 3/87 7073
/proc/meminfo: memFree=1410384/2055920 swapFree=4192812/4192956
[pid=6867] ppid=6865 vsize=915440 CPUtime=1537.3
/proc/6867/stat : 6867 (java) R 6865 6867 6303 0 -1 0 32593 0 1 0 153710 20 0 0 25 0 8 0 155695157 937410560 32320 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6867/statm: 228860 32320 2522 14 0 215330 0
[pid=6867/tid=6869] ppid=6865 vsize=915440 CPUtime=0.45
/proc/6867/task/6869/stat : 6869 (java) S 6865 6867 6303 0 -1 64 15584 0 0 0 38 7 0 0 16 0 8 0 155695161 937410560 32320 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6867/tid=6870] ppid=6865 vsize=915440 CPUtime=0
/proc/6867/task/6870/stat : 6870 (java) S 6865 6867 6303 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155695161 937410560 32320 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6867/tid=6871] ppid=6865 vsize=915440 CPUtime=0
/proc/6867/task/6871/stat : 6871 (java) S 6865 6867 6303 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155695161 937410560 32320 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6867/tid=6872] ppid=6865 vsize=915440 CPUtime=0
/proc/6867/task/6872/stat : 6872 (java) S 6865 6867 6303 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155695164 937410560 32320 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6867/tid=6873] ppid=6865 vsize=915440 CPUtime=0.25
/proc/6867/task/6873/stat : 6873 (java) S 6865 6867 6303 0 -1 64 404 0 0 0 25 0 0 0 16 0 8 0 155695164 937410560 32320 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6867/tid=6874] ppid=6865 vsize=915440 CPUtime=0
/proc/6867/task/6874/stat : 6874 (java) S 6865 6867 6303 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155695164 937410560 32320 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6867/tid=6875] ppid=6865 vsize=915440 CPUtime=0
/proc/6867/task/6875/stat : 6875 (java) S 6865 6867 6303 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155695164 937410560 32320 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1537.3
Current children cumulated vsize (KiB) 915440

[startup+1603.61 s]
/proc/loadavg: 2.02 2.02 1.92 3/87 7073
/proc/meminfo: memFree=1410384/2055920 swapFree=4192812/4192956
[pid=6867] ppid=6865 vsize=915440 CPUtime=1597.36
/proc/6867/stat : 6867 (java) R 6865 6867 6303 0 -1 0 32593 0 1 0 159716 20 0 0 25 0 8 0 155695157 937410560 32320 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073664884 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6867/statm: 228860 32320 2522 14 0 215330 0
[pid=6867/tid=6869] ppid=6865 vsize=915440 CPUtime=0.45
/proc/6867/task/6869/stat : 6869 (java) S 6865 6867 6303 0 -1 64 15584 0 0 0 38 7 0 0 16 0 8 0 155695161 937410560 32320 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6867/tid=6870] ppid=6865 vsize=915440 CPUtime=0
/proc/6867/task/6870/stat : 6870 (java) S 6865 6867 6303 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155695161 937410560 32320 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6867/tid=6871] ppid=6865 vsize=915440 CPUtime=0
/proc/6867/task/6871/stat : 6871 (java) S 6865 6867 6303 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155695161 937410560 32320 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6867/tid=6872] ppid=6865 vsize=915440 CPUtime=0
/proc/6867/task/6872/stat : 6872 (java) S 6865 6867 6303 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155695164 937410560 32320 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6867/tid=6873] ppid=6865 vsize=915440 CPUtime=0.25
/proc/6867/task/6873/stat : 6873 (java) S 6865 6867 6303 0 -1 64 404 0 0 0 25 0 0 0 16 0 8 0 155695164 937410560 32320 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6867/tid=6874] ppid=6865 vsize=915440 CPUtime=0
/proc/6867/task/6874/stat : 6874 (java) S 6865 6867 6303 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155695164 937410560 32320 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6867/tid=6875] ppid=6865 vsize=915440 CPUtime=0
/proc/6867/task/6875/stat : 6875 (java) S 6865 6867 6303 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155695164 937410560 32320 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1597.36
Current children cumulated vsize (KiB) 915440

[startup+1663.69 s]
/proc/loadavg: 2.01 2.01 1.92 3/87 7073
/proc/meminfo: memFree=1410320/2055920 swapFree=4192812/4192956
[pid=6867] ppid=6865 vsize=915440 CPUtime=1657.42
/proc/6867/stat : 6867 (java) R 6865 6867 6303 0 -1 0 32593 0 1 0 165722 20 0 0 25 0 8 0 155695157 937410560 32320 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073803299 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6867/statm: 228860 32320 2522 14 0 215330 0
[pid=6867/tid=6869] ppid=6865 vsize=915440 CPUtime=0.45
/proc/6867/task/6869/stat : 6869 (java) S 6865 6867 6303 0 -1 64 15584 0 0 0 38 7 0 0 16 0 8 0 155695161 937410560 32320 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6867/tid=6870] ppid=6865 vsize=915440 CPUtime=0
/proc/6867/task/6870/stat : 6870 (java) S 6865 6867 6303 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155695161 937410560 32320 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6867/tid=6871] ppid=6865 vsize=915440 CPUtime=0
/proc/6867/task/6871/stat : 6871 (java) S 6865 6867 6303 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155695161 937410560 32320 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6867/tid=6872] ppid=6865 vsize=915440 CPUtime=0
/proc/6867/task/6872/stat : 6872 (java) S 6865 6867 6303 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155695164 937410560 32320 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6867/tid=6873] ppid=6865 vsize=915440 CPUtime=0.25
/proc/6867/task/6873/stat : 6873 (java) S 6865 6867 6303 0 -1 64 404 0 0 0 25 0 0 0 16 0 8 0 155695164 937410560 32320 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6867/tid=6874] ppid=6865 vsize=915440 CPUtime=0
/proc/6867/task/6874/stat : 6874 (java) S 6865 6867 6303 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155695164 937410560 32320 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6867/tid=6875] ppid=6865 vsize=915440 CPUtime=0
/proc/6867/task/6875/stat : 6875 (java) S 6865 6867 6303 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155695164 937410560 32320 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1657.42
Current children cumulated vsize (KiB) 915440

[startup+1723.76 s]
/proc/loadavg: 2.00 2.01 1.92 3/87 7073
/proc/meminfo: memFree=1410320/2055920 swapFree=4192812/4192956
[pid=6867] ppid=6865 vsize=915440 CPUtime=1717.48
/proc/6867/stat : 6867 (java) R 6865 6867 6303 0 -1 0 32593 0 1 0 171728 20 0 0 25 0 8 0 155695157 937410560 32320 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6867/statm: 228860 32320 2522 14 0 215330 0
[pid=6867/tid=6869] ppid=6865 vsize=915440 CPUtime=0.45
/proc/6867/task/6869/stat : 6869 (java) S 6865 6867 6303 0 -1 64 15584 0 0 0 38 7 0 0 16 0 8 0 155695161 937410560 32320 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6867/tid=6870] ppid=6865 vsize=915440 CPUtime=0
/proc/6867/task/6870/stat : 6870 (java) S 6865 6867 6303 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155695161 937410560 32320 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6867/tid=6871] ppid=6865 vsize=915440 CPUtime=0
/proc/6867/task/6871/stat : 6871 (java) S 6865 6867 6303 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155695161 937410560 32320 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6867/tid=6872] ppid=6865 vsize=915440 CPUtime=0
/proc/6867/task/6872/stat : 6872 (java) S 6865 6867 6303 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155695164 937410560 32320 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6867/tid=6873] ppid=6865 vsize=915440 CPUtime=0.25
/proc/6867/task/6873/stat : 6873 (java) S 6865 6867 6303 0 -1 64 404 0 0 0 25 0 0 0 16 0 8 0 155695164 937410560 32320 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6867/tid=6874] ppid=6865 vsize=915440 CPUtime=0
/proc/6867/task/6874/stat : 6874 (java) S 6865 6867 6303 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155695164 937410560 32320 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6867/tid=6875] ppid=6865 vsize=915440 CPUtime=0
/proc/6867/task/6875/stat : 6875 (java) S 6865 6867 6303 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155695164 937410560 32320 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1717.48
Current children cumulated vsize (KiB) 915440

[startup+1783.84 s]
/proc/loadavg: 2.00 2.00 1.92 3/87 7073
/proc/meminfo: memFree=1410320/2055920 swapFree=4192812/4192956
[pid=6867] ppid=6865 vsize=915440 CPUtime=1777.53
/proc/6867/stat : 6867 (java) R 6865 6867 6303 0 -1 0 32593 0 1 0 177733 20 0 0 25 0 8 0 155695157 937410560 32320 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073664884 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6867/statm: 228860 32320 2522 14 0 215330 0
[pid=6867/tid=6869] ppid=6865 vsize=915440 CPUtime=0.45
/proc/6867/task/6869/stat : 6869 (java) S 6865 6867 6303 0 -1 64 15584 0 0 0 38 7 0 0 16 0 8 0 155695161 937410560 32320 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6867/tid=6870] ppid=6865 vsize=915440 CPUtime=0
/proc/6867/task/6870/stat : 6870 (java) S 6865 6867 6303 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155695161 937410560 32320 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6867/tid=6871] ppid=6865 vsize=915440 CPUtime=0
/proc/6867/task/6871/stat : 6871 (java) S 6865 6867 6303 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155695161 937410560 32320 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6867/tid=6872] ppid=6865 vsize=915440 CPUtime=0
/proc/6867/task/6872/stat : 6872 (java) S 6865 6867 6303 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155695164 937410560 32320 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6867/tid=6873] ppid=6865 vsize=915440 CPUtime=0.25
/proc/6867/task/6873/stat : 6873 (java) S 6865 6867 6303 0 -1 64 404 0 0 0 25 0 0 0 16 0 8 0 155695164 937410560 32320 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6867/tid=6874] ppid=6865 vsize=915440 CPUtime=0
/proc/6867/task/6874/stat : 6874 (java) S 6865 6867 6303 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155695164 937410560 32320 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6867/tid=6875] ppid=6865 vsize=915440 CPUtime=0
/proc/6867/task/6875/stat : 6875 (java) S 6865 6867 6303 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155695164 937410560 32320 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1777.53
Current children cumulated vsize (KiB) 915440



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1806.37 s]
/proc/loadavg: 2.00 2.00 1.92 3/87 7073
/proc/meminfo: memFree=1410256/2055920 swapFree=4192812/4192956
[pid=6867] ppid=6865 vsize=915440 CPUtime=1800.06
/proc/6867/stat : 6867 (java) R 6865 6867 6303 0 -1 0 32593 0 1 0 179986 20 0 0 25 0 8 0 155695157 937410560 32320 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073803562 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6867/statm: 228860 32320 2522 14 0 215330 0
[pid=6867/tid=6869] ppid=6865 vsize=915440 CPUtime=0.45
/proc/6867/task/6869/stat : 6869 (java) S 6865 6867 6303 0 -1 64 15584 0 0 0 38 7 0 0 16 0 8 0 155695161 937410560 32320 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6867/tid=6870] ppid=6865 vsize=915440 CPUtime=0
/proc/6867/task/6870/stat : 6870 (java) S 6865 6867 6303 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155695161 937410560 32320 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6867/tid=6871] ppid=6865 vsize=915440 CPUtime=0
/proc/6867/task/6871/stat : 6871 (java) S 6865 6867 6303 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155695161 937410560 32320 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6867/tid=6872] ppid=6865 vsize=915440 CPUtime=0
/proc/6867/task/6872/stat : 6872 (java) S 6865 6867 6303 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155695164 937410560 32320 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6867/tid=6873] ppid=6865 vsize=915440 CPUtime=0.25
/proc/6867/task/6873/stat : 6873 (java) S 6865 6867 6303 0 -1 64 404 0 0 0 25 0 0 0 16 0 8 0 155695164 937410560 32320 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6867/tid=6874] ppid=6865 vsize=915440 CPUtime=0
/proc/6867/task/6874/stat : 6874 (java) S 6865 6867 6303 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155695164 937410560 32320 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6867/tid=6875] ppid=6865 vsize=915440 CPUtime=0
/proc/6867/task/6875/stat : 6875 (java) S 6865 6867 6303 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155695164 937410560 32320 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 915440

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

Child status: 143
Real time (s): 1806.45
CPU time (s): 1800.15
CPU user time (s): 1799.92
CPU system time (s): 0.227965
CPU usage (%): 99.6512
Max. virtual memory (cumulated for all children) (KiB): 915440

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.92
system time used= 0.227965
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32609
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= 37637
involuntary context switches= 51404

runsolver used 1.9527 s user time and 5.58415 s system time

The end

Launcher Data (download as text)

Begin job on node43 on Sat Jan  6 08:42:40 UTC 2007


IDJOB= 203197
IDBENCH= 3928
FILE ID= node43/203197-1168072960

PBS_JOBID= 3475983

Free space on /tmp= 66470 MiB

BENCH NAME= HOME/pub/bench/CPAI06/random/rand-3-28-28-fcd/rand-3-28-28-93-632-fcd-35_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/203197-1168072960/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node43/watcher-203197-1168072960 -o ROOT/results/node43/solver-203197-1168072960 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/203197-1168072960/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  d0989ab1b788244c0808bf1396cd4672

RANDOM SEED= 613415009

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.278
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.278
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:       1605152 kB
Buffers:         25676 kB
Cached:         291204 kB
SwapCached:          0 kB
Active:         125888 kB
Inactive:       257156 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1605152 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:           15100 kB
Writeback:           0 kB
Mapped:          85340 kB
Slab:            53060 kB
Committed_AS:  3695976 kB
PageTables:       1876 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= 66470 MiB



End job on node43 on Sat Jan  6 09:12:47 UTC 2007