Trace number 206658

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.12 1809.13

General information on the benchmark

Namerandom/rand-3-28-28/
rand-3-28-28-93-632-20_ext.xml
MD5SUM82885f515122b77a7ef90be7c3b3cf82
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.37	   
0.37	Abscon 109 (November, 2006)
0.37	   
0.37	   configuration
0.37	     name=mac.xml
0.40	   
0.40	   instance
0.40	     name=/tmp/evaluation/206658-1168073958/unknown.xml
0.43	   
0.43	   domains being loaded...
0.44	   
0.44	   variables being loaded...
0.47	     nbVariables=28  nbDomainTypes=1  minDomainSize=28  maxDomainSize=28
0.47	       =>  wckTime=0.102  cpuTime=0.09  mem=6M951
0.47	   
0.47	   relations being loaded...
1.61	   
1.61	   constraints being loaded...
2.36	     nbConstraints=92  nbRelationTypes=93  nbMergedConstraints=1  nbExtensionStructures=92
2.36	     nbSharedExtensionStructures=0  nbConflictsStructures=92  nbSharedConflictsStructures=0
2.36	     nbSharedBinaryRepresentations=0  maxDegree=17  maxArity=3
2.36	       =>  wckTime=1.992  cpuTime=1.6  mem=58M83
2.52	   
2.52	   solver IterativeSystematicSolver being built... 
2.69	       =>  wckTime=2.319  cpuTime=1.74  mem=65M860
2.70	   
2.70	   preprocessing
2.70	     nbConstraintChecks=0  nbPropagations=28  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
2.70	     detectedInconsistency=no
2.70	       =>  wckTime=0.0040  cpuTime=0.0  mem=65M860
2.86	   
2.86	   search
2.86	     run=0  nbConstraintChecks=53420  nbValidityChecks=99216  nbPropagations=586  nbRevisions=6739
2.86	     nbUselessRevisions=5327  nbAssignments=52  nbFailedAssignments=34  nbBacktracks=13  nbVisitedNodes=96
2.86	     nbRestartNogoods=0  mapSize=11  nbInferences=0  nbTooLargeKeys=0
2.86	       =>  wckTime=0.167  cpuTime=0.13  mem=65M860
3.05	   
3.05	   search
3.05	     run=1  nbConstraintChecks=155893  nbValidityChecks=291374  nbPropagations=2040  nbRevisions=24406
3.05	     nbUselessRevisions=19294  nbAssignments=121  nbFailedAssignments=80  nbBacktracks=28  nbVisitedNodes=225
3.05	     nbRestartNogoods=1  mapSize=26  nbInferences=0  nbTooLargeKeys=0
3.05	       =>  wckTime=0.359  cpuTime=0.31  mem=65M860
3.22	   
3.22	   search
3.22	     run=2  nbConstraintChecks=256052  nbValidityChecks=469405  nbPropagations=4165  nbRevisions=50948
3.22	     nbUselessRevisions=40293  nbAssignments=172  nbFailedAssignments=103  nbBacktracks=52  nbVisitedNodes=312
3.22	     nbRestartNogoods=6  mapSize=44  nbInferences=0  nbTooLargeKeys=0
3.22	       =>  wckTime=0.53  cpuTime=0.47  mem=65M860
3.44	   
3.44	   search
3.44	     run=3  nbConstraintChecks=387829  nbValidityChecks=709356  nbPropagations=7285  nbRevisions=90144
3.44	     nbUselessRevisions=71390  nbAssignments=250  nbFailedAssignments=141  nbBacktracks=86  nbVisitedNodes=445
3.44	     nbRestartNogoods=10  mapSize=72  nbInferences=0  nbTooLargeKeys=0
3.44	       =>  wckTime=0.753  cpuTime=0.69  mem=65M860
3.80	   
3.80	   search
3.80	     run=4  nbConstraintChecks=601034  nbValidityChecks=1110742  nbPropagations=12357  nbRevisions=153625
3.80	     nbUselessRevisions=121578  nbAssignments=408  nbFailedAssignments=243  nbBacktracks=136  nbVisitedNodes=749
3.80	     nbRestartNogoods=15  mapSize=121  nbInferences=0  nbTooLargeKeys=0
3.80	       =>  wckTime=1.107  cpuTime=1.04  mem=65M860
4.23	   
4.23	   search
4.24	     run=5  nbConstraintChecks=867628  nbValidityChecks=1603815  nbPropagations=19602  nbRevisions=244355
4.24	     nbUselessRevisions=193503  nbAssignments=592  nbFailedAssignments=347  nbBacktracks=211  nbVisitedNodes=1077
4.24	     nbRestartNogoods=17  mapSize=172  nbInferences=0  nbTooLargeKeys=0
4.24	       =>  wckTime=1.544  cpuTime=1.47  mem=65M860
5.02	   
5.03	   search
5.03	     run=6  nbConstraintChecks=1349649  nbValidityChecks=2510266  nbPropagations=30468  nbRevisions=382887
5.03	     nbUselessRevisions=302907  nbAssignments=872  nbFailedAssignments=506  nbBacktracks=325  nbVisitedNodes=1591
5.03	     nbRestartNogoods=20  mapSize=274  nbInferences=0  nbTooLargeKeys=0
5.03	       =>  wckTime=2.334  cpuTime=2.25  mem=65M860
6.33	   
6.33	   search
6.33	     run=7  nbConstraintChecks=2135475  nbValidityChecks=4050594  nbPropagations=48470  nbRevisions=612785
6.33	     nbUselessRevisions=484376  nbAssignments=1440  nbFailedAssignments=897  nbBacktracks=495  nbVisitedNodes=2688
6.33	     nbRestartNogoods=30  mapSize=438  nbInferences=0  nbTooLargeKeys=0
6.33	       =>  wckTime=3.639  cpuTime=3.54  mem=65M860
8.00	   
8.00	   search
8.00	     run=8  nbConstraintChecks=3151920  nbValidityChecks=6008666  nbPropagations=75317  nbRevisions=958125
8.00	     nbUselessRevisions=757698  nbAssignments=2106  nbFailedAssignments=1299  nbBacktracks=751  nbVisitedNodes=3923
8.00	     nbRestartNogoods=34  mapSize=674  nbInferences=0  nbTooLargeKeys=0
8.00	       =>  wckTime=5.312  cpuTime=5.18  mem=65M860
10.57	   
10.57	   INFO : Stopping hyperNogood (mapSize=1012, nbTooLargekeys=0, mem=66M851)
10.89	   
10.89	   search
10.89	     run=9  nbConstraintChecks=4916794  nbValidityChecks=9425357  nbPropagations=118323  nbRevisions=1505553
10.89	     nbUselessRevisions=1189124  nbAssignments=3489  nbFailedAssignments=2292  nbBacktracks=1135  nbVisitedNodes=6632
10.89	     nbRestartNogoods=42
10.89	       =>  wckTime=8.195  cpuTime=8.05  mem=66M851
14.77	   
14.77	   search
14.77	     run=10  nbConstraintChecks=7362220  nbValidityChecks=14075347  nbPropagations=180499  nbRevisions=2308962
14.77	     nbUselessRevisions=1823734  nbAssignments=5005  nbFailedAssignments=3226  nbBacktracks=1711  nbVisitedNodes=9473
14.77	     nbRestartNogoods=46
14.77	       =>  wckTime=12.078  cpuTime=11.91  mem=66M851
18.96	   
18.96	   search
18.96	     run=11  nbConstraintChecks=10012073  nbValidityChecks=19165970  nbPropagations=268069  nbRevisions=3422444
18.96	     nbUselessRevisions=2703208  nbAssignments=6936  nbFailedAssignments=4287  nbBacktracks=2575  nbVisitedNodes=12991
18.96	     nbRestartNogoods=52
18.96	       =>  wckTime=16.273  cpuTime=16.08  mem=66M851
27.85	   
27.85	   search
27.85	     run=12  nbConstraintChecks=15633928  nbValidityChecks=29838240  nbPropagations=405494  nbRevisions=5165933
27.85	     nbUselessRevisions=4078401  nbAssignments=10529  nbFailedAssignments=6575  nbBacktracks=3872  nbVisitedNodes=19782
27.85	     nbRestartNogoods=62
27.85	       =>  wckTime=25.16  cpuTime=24.93  mem=66M851
42.75	   
42.76	   search
42.76	     run=13  nbConstraintChecks=24966050  nbValidityChecks=47858785  nbPropagations=627379  nbRevisions=7986253
42.76	     nbUselessRevisions=6300359  nbAssignments=17327  nbFailedAssignments=11420  nbBacktracks=5818  nbVisitedNodes=33072
42.76	     nbRestartNogoods=73
42.76	       =>  wckTime=40.064  cpuTime=39.76  mem=66M851
63.05	   
63.05	   search
63.05	     run=14  nbConstraintChecks=37837888  nbValidityChecks=72576517  nbPropagations=956805  nbRevisions=12221509
63.05	     nbUselessRevisions=9638363  nbAssignments=25896  nbFailedAssignments=17063  nbBacktracks=8737  nbVisitedNodes=49365
63.05	     nbRestartNogoods=84
63.05	       =>  wckTime=60.354  cpuTime=59.95  mem=66M851
95.13	   
95.13	   search
95.13	     run=15  nbConstraintChecks=57844440  nbValidityChecks=112210317  nbPropagations=1468858  nbRevisions=18749299
95.13	     nbUselessRevisions=14777943  nbAssignments=41590  nbFailedAssignments=28373  nbBacktracks=13115
95.13	     nbVisitedNodes=79919  nbRestartNogoods=99
95.13	       =>  wckTime=92.442  cpuTime=91.89  mem=66M851
140.58	   
140.58	   search
140.58	     run=16  nbConstraintChecks=86570311  nbValidityChecks=166412749  nbPropagations=2232704  nbRevisions=28509380
140.58	     nbUselessRevisions=22460984  nbAssignments=60641  nbFailedAssignments=40850  nbBacktracks=19683
140.58	     nbVisitedNodes=116189  nbRestartNogoods=114
140.58	       =>  wckTime=137.893  cpuTime=137.0  mem=66M851
218.27	   
218.27	   search
218.27	     run=17  nbConstraintChecks=134794305  nbValidityChecks=260596966  nbPropagations=3425853  nbRevisions=43823967
218.27	     nbUselessRevisions=34504087  nbAssignments=95733  nbFailedAssignments=66085  nbBacktracks=29535
218.27	     nbVisitedNodes=184929  nbRestartNogoods=128
218.27	       =>  wckTime=215.581  cpuTime=214.25  mem=66M851
314.64	   
314.64	   search
314.64	     run=18  nbConstraintChecks=195538954  nbValidityChecks=376235019  nbPropagations=5130371  nbRevisions=65768262
314.64	     nbUselessRevisions=51776685  nbAssignments=134643  nbFailedAssignments=90209  nbBacktracks=44315
314.64	     nbVisitedNodes=257962  nbRestartNogoods=156
314.64	       =>  wckTime=311.946  cpuTime=310.15  mem=66M851
452.27	   
452.27	   search
452.27	     run=19  nbConstraintChecks=282366567  nbValidityChecks=545158197  nbPropagations=7599380  nbRevisions=97368292
452.27	     nbUselessRevisions=76652015  nbAssignments=195513  nbFailedAssignments=128906  nbBacktracks=66484
452.27	     nbVisitedNodes=372873  nbRestartNogoods=179
452.27	       =>  wckTime=449.579  cpuTime=447.13  mem=66M851
658.09	   
658.09	   search
658.09	     run=20  nbConstraintChecks=412370472  nbValidityChecks=788628506  nbPropagations=11167575  nbRevisions=142797433
658.09	     nbUselessRevisions=112487251  nbAssignments=274149  nbFailedAssignments=174283  nbBacktracks=99736
658.09	     nbVisitedNodes=518367  nbRestartNogoods=197
658.09	       =>  wckTime=655.398  cpuTime=651.97  mem=66M851
1044.71	   
1044.71	   search
1044.71	     run=21  nbConstraintChecks=652736745  nbValidityChecks=1256039067  nbPropagations=16912844  nbRevisions=216433872
1044.71	     nbUselessRevisions=170506783  nbAssignments=451444  nbFailedAssignments=301695  nbBacktracks=149614
1044.71	     nbVisitedNodes=865968  nbRestartNogoods=221
1044.71	       =>  wckTime=1042.022  cpuTime=1036.77  mem=66M851
1493.74	   
1493.74	   search
1493.74	     run=22  nbConstraintChecks=941422860  nbValidityChecks=1803160986  nbPropagations=25230523  nbRevisions=322680193
1493.74	     nbUselessRevisions=254235289  nbAssignments=642912  nbFailedAssignments=418338  nbBacktracks=224435
1493.74	     nbVisitedNodes=1224219  nbRestartNogoods=259
1493.74	       =>  wckTime=1491.044  cpuTime=1483.71  mem=66M851

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

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

/proc/loadavg: 1.95 1.99 1.95 4/93 4525
/proc/meminfo: memFree=1280216/2055920 swapFree=4192812/4192956
[pid=4524] ppid=4522 vsize=11820 CPUtime=0
/proc/4524/stat : 4524 (java) D 4522 4524 4457 0 -1 0 760 0 1 0 0 0 0 0 17 0 1 0 155790797 12103680 510 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 11879204 0 2147483391 0 7368 18446744072099781622 0 0 17 1 0 0
/proc/4524/statm: 2955 510 421 14 0 1602 0

[startup+0.104401 s]
/proc/loadavg: 1.95 1.99 1.95 4/93 4525
/proc/meminfo: memFree=1280216/2055920 swapFree=4192812/4192956
[pid=4524] ppid=4522 vsize=914988 CPUtime=0.09
/proc/4524/stat : 4524 (java) R 4522 4524 4457 0 -1 0 2979 0 1 0 7 2 0 0 17 0 8 0 155790797 936947712 2725 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155082845 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4524/statm: 228747 2725 1423 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988

[startup+0.512452 s]
/proc/loadavg: 1.95 1.99 1.95 4/93 4525
/proc/meminfo: memFree=1280216/2055920 swapFree=4192812/4192956
[pid=4524] ppid=4522 vsize=915328 CPUtime=0.45
/proc/4524/stat : 4524 (java) R 4522 4524 4457 0 -1 0 6470 0 1 0 41 4 0 0 18 0 8 0 155790797 937295872 6209 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155769989 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4524/statm: 228832 6209 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 915328

[startup+1.33556 s]
/proc/loadavg: 1.95 1.99 1.95 3/100 4532
/proc/meminfo: memFree=1213024/2055920 swapFree=4192812/4192956
[pid=4524] ppid=4522 vsize=915328 CPUtime=1.26
/proc/4524/stat : 4524 (java) R 4522 4524 4457 0 -1 0 19097 0 1 0 117 9 0 0 25 0 8 0 155790797 937295872 18835 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073582206 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4524/statm: 228832 18835 2149 14 0 215302 0
[pid=4524/tid=4526] ppid=4522 vsize=915328 CPUtime=0.04
/proc/4524/task/4526/stat : 4526 (java) S 4522 4524 4457 0 -1 64 2681 0 0 0 4 0 0 0 17 0 8 0 155790801 937295872 18835 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4524/tid=4527] ppid=4522 vsize=915328 CPUtime=0
/proc/4524/task/4527/stat : 4527 (java) S 4522 4524 4457 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155790802 937295872 18835 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4524/tid=4528] ppid=4522 vsize=915328 CPUtime=0
/proc/4524/task/4528/stat : 4528 (java) S 4522 4524 4457 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155790802 937295872 18835 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4524/tid=4529] ppid=4522 vsize=915328 CPUtime=0
/proc/4524/task/4529/stat : 4529 (java) S 4522 4524 4457 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155790805 937295872 18835 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4524/tid=4530] ppid=4522 vsize=915328 CPUtime=0.08
/proc/4524/task/4530/stat : 4530 (java) S 4522 4524 4457 0 -1 64 307 0 0 0 8 0 0 0 16 0 8 0 155790805 937295872 18835 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4524/tid=4531] ppid=4522 vsize=915328 CPUtime=0
/proc/4524/task/4531/stat : 4531 (java) S 4522 4524 4457 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155790805 937295872 18835 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4524/tid=4532] ppid=4522 vsize=915328 CPUtime=0
/proc/4524/task/4532/stat : 4532 (java) S 4522 4524 4457 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155790805 937295872 18835 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.26
Current children cumulated vsize (KiB) 915328

[startup+2.98879 s]
/proc/loadavg: 1.95 1.99 1.95 4/100 4532
/proc/meminfo: memFree=1172640/2055920 swapFree=4192812/4192956
[pid=4524] ppid=4522 vsize=915440 CPUtime=2.91
/proc/4524/stat : 4524 (java) R 4522 4524 4457 0 -1 0 32556 0 1 0 275 16 0 0 25 0 8 0 155790797 937410560 32290 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073811355 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4524/statm: 228860 32290 2521 14 0 215330 0
[pid=4524/tid=4526] ppid=4522 vsize=915440 CPUtime=0.44
/proc/4524/task/4526/stat : 4526 (java) S 4522 4524 4457 0 -1 64 15583 0 0 0 38 6 0 0 16 0 8 0 155790801 937410560 32290 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4524/tid=4527] ppid=4522 vsize=915440 CPUtime=0
/proc/4524/task/4527/stat : 4527 (java) S 4522 4524 4457 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155790802 937410560 32290 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4524/tid=4528] ppid=4522 vsize=915440 CPUtime=0
/proc/4524/task/4528/stat : 4528 (java) S 4522 4524 4457 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155790802 937410560 32290 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4524/tid=4529] ppid=4522 vsize=915440 CPUtime=0
/proc/4524/task/4529/stat : 4529 (java) S 4522 4524 4457 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155790805 937410560 32290 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4524/tid=4530] ppid=4522 vsize=915440 CPUtime=0.21
/proc/4524/task/4530/stat : 4530 (java) S 4522 4524 4457 0 -1 64 375 0 0 0 21 0 0 0 15 0 8 0 155790805 937410560 32290 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4524/tid=4531] ppid=4522 vsize=915440 CPUtime=0
/proc/4524/task/4531/stat : 4531 (java) S 4522 4524 4457 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155790805 937410560 32290 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4524/tid=4532] ppid=4522 vsize=915440 CPUtime=0
/proc/4524/task/4532/stat : 4532 (java) S 4522 4524 4457 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155790805 937410560 32290 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.91
Current children cumulated vsize (KiB) 915440

[startup+6.28923 s]
/proc/loadavg: 1.95 1.99 1.95 3/100 4532
/proc/meminfo: memFree=1160480/2055920 swapFree=4192812/4192956
[pid=4524] ppid=4522 vsize=915440 CPUtime=6.19
/proc/4524/stat : 4524 (java) R 4522 4524 4457 0 -1 0 32569 0 1 0 603 16 0 0 25 0 8 0 155790797 937410560 32300 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073634884 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4524/statm: 228860 32300 2521 14 0 215330 0
[pid=4524/tid=4526] ppid=4522 vsize=915440 CPUtime=0.44
/proc/4524/task/4526/stat : 4526 (java) S 4522 4524 4457 0 -1 64 15583 0 0 0 38 6 0 0 17 0 8 0 155790801 937410560 32300 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4524/tid=4527] ppid=4522 vsize=915440 CPUtime=0
/proc/4524/task/4527/stat : 4527 (java) S 4522 4524 4457 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155790802 937410560 32300 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4524/tid=4528] ppid=4522 vsize=915440 CPUtime=0
/proc/4524/task/4528/stat : 4528 (java) S 4522 4524 4457 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155790802 937410560 32300 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4524/tid=4529] ppid=4522 vsize=915440 CPUtime=0
/proc/4524/task/4529/stat : 4529 (java) S 4522 4524 4457 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155790805 937410560 32300 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4524/tid=4530] ppid=4522 vsize=915440 CPUtime=0.24
/proc/4524/task/4530/stat : 4530 (java) S 4522 4524 4457 0 -1 64 385 0 0 0 24 0 0 0 15 0 8 0 155790805 937410560 32300 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4524/tid=4531] ppid=4522 vsize=915440 CPUtime=0
/proc/4524/task/4531/stat : 4531 (java) S 4522 4524 4457 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155790805 937410560 32300 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4524/tid=4532] ppid=4522 vsize=915440 CPUtime=0
/proc/4524/task/4532/stat : 4532 (java) R 4522 4524 4457 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155790805 937410560 32300 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 915440

[startup+12.7751 s]
/proc/loadavg: 1.96 1.99 1.95 3/100 4532
/proc/meminfo: memFree=1160544/2055920 swapFree=4192812/4192956
[pid=4524] ppid=4522 vsize=915440 CPUtime=12.64
/proc/4524/stat : 4524 (java) R 4522 4524 4457 0 -1 0 32585 0 1 0 1248 16 0 0 25 0 8 0 155790797 937410560 32312 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073634877 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4524/statm: 228860 32312 2521 14 0 215330 0
[pid=4524/tid=4526] ppid=4522 vsize=915440 CPUtime=0.44
/proc/4524/task/4526/stat : 4526 (java) S 4522 4524 4457 0 -1 64 15583 0 0 0 38 6 0 0 16 0 8 0 155790801 937410560 32312 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4524/tid=4527] ppid=4522 vsize=915440 CPUtime=0
/proc/4524/task/4527/stat : 4527 (java) S 4522 4524 4457 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155790802 937410560 32312 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4524/tid=4528] ppid=4522 vsize=915440 CPUtime=0
/proc/4524/task/4528/stat : 4528 (java) S 4522 4524 4457 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155790802 937410560 32312 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4524/tid=4529] ppid=4522 vsize=915440 CPUtime=0
/proc/4524/task/4529/stat : 4529 (java) S 4522 4524 4457 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155790805 937410560 32312 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4524/tid=4530] ppid=4522 vsize=915440 CPUtime=0.27
/proc/4524/task/4530/stat : 4530 (java) S 4522 4524 4457 0 -1 64 398 0 0 0 26 1 0 0 17 0 8 0 155790805 937410560 32312 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4524/tid=4531] ppid=4522 vsize=915440 CPUtime=0
/proc/4524/task/4531/stat : 4531 (java) S 4522 4524 4457 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155790805 937410560 32312 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4524/tid=4532] ppid=4522 vsize=915440 CPUtime=0
/proc/4524/task/4532/stat : 4532 (java) S 4522 4524 4457 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155790805 937410560 32312 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 915440

[startup+25.6308 s]
/proc/loadavg: 2.04 2.01 1.96 3/100 4532
/proc/meminfo: memFree=1160608/2055920 swapFree=4192812/4192956
[pid=4524] ppid=4522 vsize=915440 CPUtime=25.44
/proc/4524/stat : 4524 (java) R 4522 4524 4457 0 -1 0 32587 0 1 0 2527 17 0 0 25 0 8 0 155790797 937410560 32314 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073629940 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4524/statm: 228860 32314 2521 14 0 215330 0
[pid=4524/tid=4526] ppid=4522 vsize=915440 CPUtime=0.44
/proc/4524/task/4526/stat : 4526 (java) S 4522 4524 4457 0 -1 64 15583 0 0 0 38 6 0 0 16 0 8 0 155790801 937410560 32314 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4524/tid=4527] ppid=4522 vsize=915440 CPUtime=0
/proc/4524/task/4527/stat : 4527 (java) S 4522 4524 4457 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155790802 937410560 32314 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4524/tid=4528] ppid=4522 vsize=915440 CPUtime=0
/proc/4524/task/4528/stat : 4528 (java) S 4522 4524 4457 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155790802 937410560 32314 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4524/tid=4529] ppid=4522 vsize=915440 CPUtime=0
/proc/4524/task/4529/stat : 4529 (java) S 4522 4524 4457 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155790805 937410560 32314 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4524/tid=4530] ppid=4522 vsize=915440 CPUtime=0.28
/proc/4524/task/4530/stat : 4530 (java) S 4522 4524 4457 0 -1 64 400 0 0 0 27 1 0 0 16 0 8 0 155790805 937410560 32314 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4524/tid=4531] ppid=4522 vsize=915440 CPUtime=0
/proc/4524/task/4531/stat : 4531 (java) S 4522 4524 4457 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155790805 937410560 32314 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4524/tid=4532] ppid=4522 vsize=915440 CPUtime=0
/proc/4524/task/4532/stat : 4532 (java) S 4522 4524 4457 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155790805 937410560 32314 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 915440

[startup+51.2643 s]
/proc/loadavg: 2.03 2.01 1.96 3/100 4532
/proc/meminfo: memFree=1160736/2055920 swapFree=4192812/4192956
[pid=4524] ppid=4522 vsize=915440 CPUtime=50.95
/proc/4524/stat : 4524 (java) R 4522 4524 4457 0 -1 0 32587 0 1 0 5078 17 0 0 25 0 8 0 155790797 937410560 32314 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4524/statm: 228860 32314 2521 14 0 215330 0
[pid=4524/tid=4526] ppid=4522 vsize=915440 CPUtime=0.44
/proc/4524/task/4526/stat : 4526 (java) S 4522 4524 4457 0 -1 64 15583 0 0 0 38 6 0 0 16 0 8 0 155790801 937410560 32314 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4524/tid=4527] ppid=4522 vsize=915440 CPUtime=0
/proc/4524/task/4527/stat : 4527 (java) S 4522 4524 4457 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155790802 937410560 32314 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4524/tid=4528] ppid=4522 vsize=915440 CPUtime=0
/proc/4524/task/4528/stat : 4528 (java) S 4522 4524 4457 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155790802 937410560 32314 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4524/tid=4529] ppid=4522 vsize=915440 CPUtime=0
/proc/4524/task/4529/stat : 4529 (java) S 4522 4524 4457 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155790805 937410560 32314 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4524/tid=4530] ppid=4522 vsize=915440 CPUtime=0.28
/proc/4524/task/4530/stat : 4530 (java) S 4522 4524 4457 0 -1 64 400 0 0 0 27 1 0 0 16 0 8 0 155790805 937410560 32314 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4524/tid=4531] ppid=4522 vsize=915440 CPUtime=0
/proc/4524/task/4531/stat : 4531 (java) S 4522 4524 4457 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155790805 937410560 32314 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4524/tid=4532] ppid=4522 vsize=915440 CPUtime=0
/proc/4524/task/4532/stat : 4532 (java) S 4522 4524 4457 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155790805 937410560 32314 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.95
Current children cumulated vsize (KiB) 915440

[startup+102.528 s]
/proc/loadavg: 2.05 2.02 1.96 3/100 4532
/proc/meminfo: memFree=1160736/2055920 swapFree=4192812/4192956
[pid=4524] ppid=4522 vsize=915440 CPUtime=101.97
/proc/4524/stat : 4524 (java) R 4522 4524 4457 0 -1 0 32587 0 1 0 10179 18 0 0 25 0 8 0 155790797 937410560 32314 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073336182 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4524/statm: 228860 32314 2521 14 0 215330 0
[pid=4524/tid=4526] ppid=4522 vsize=915440 CPUtime=0.44
/proc/4524/task/4526/stat : 4526 (java) S 4522 4524 4457 0 -1 64 15583 0 0 0 38 6 0 0 16 0 8 0 155790801 937410560 32314 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4524/tid=4527] ppid=4522 vsize=915440 CPUtime=0
/proc/4524/task/4527/stat : 4527 (java) S 4522 4524 4457 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155790802 937410560 32314 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4524/tid=4528] ppid=4522 vsize=915440 CPUtime=0
/proc/4524/task/4528/stat : 4528 (java) S 4522 4524 4457 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155790802 937410560 32314 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4524/tid=4529] ppid=4522 vsize=915440 CPUtime=0
/proc/4524/task/4529/stat : 4529 (java) S 4522 4524 4457 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155790805 937410560 32314 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4524/tid=4530] ppid=4522 vsize=915440 CPUtime=0.28
/proc/4524/task/4530/stat : 4530 (java) S 4522 4524 4457 0 -1 64 400 0 0 0 27 1 0 0 16 0 8 0 155790805 937410560 32314 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4524/tid=4531] ppid=4522 vsize=915440 CPUtime=0
/proc/4524/task/4531/stat : 4531 (java) S 4522 4524 4457 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155790805 937410560 32314 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4524/tid=4532] ppid=4522 vsize=915440 CPUtime=0
/proc/4524/task/4532/stat : 4532 (java) S 4522 4524 4457 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155790805 937410560 32314 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.97
Current children cumulated vsize (KiB) 915440

[startup+162.566 s]
/proc/loadavg: 2.01 2.01 1.96 3/106 4682
/proc/meminfo: memFree=1159504/2055920 swapFree=4192812/4192956
[pid=4524] ppid=4522 vsize=915440 CPUtime=161.58
/proc/4524/stat : 4524 (java) R 4522 4524 4457 0 -1 0 32589 0 1 0 16140 18 0 0 25 0 8 0 155790797 937410560 32315 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073664884 0 4 0 23759 18446744073709551615 0 0 17 1 0 0

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

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

[startup+1482.97 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 4893
/proc/meminfo: memFree=857048/2055920 swapFree=4192812/4192956
[pid=4524] ppid=4522 vsize=915440 CPUtime=1475.72
/proc/4524/stat : 4524 (java) R 4522 4524 4457 0 -1 0 32589 0 1 0 147540 32 0 0 25 0 8 0 155790797 937410560 32315 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073664860 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4524/statm: 228860 32315 2521 14 0 215330 0
[pid=4524/tid=4526] ppid=4522 vsize=915440 CPUtime=0.44
/proc/4524/task/4526/stat : 4526 (java) S 4522 4524 4457 0 -1 64 15583 0 0 0 38 6 0 0 16 0 8 0 155790801 937410560 32315 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4524/tid=4527] ppid=4522 vsize=915440 CPUtime=0
/proc/4524/task/4527/stat : 4527 (java) S 4522 4524 4457 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155790802 937410560 32315 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4524/tid=4528] ppid=4522 vsize=915440 CPUtime=0
/proc/4524/task/4528/stat : 4528 (java) S 4522 4524 4457 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155790802 937410560 32315 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4524/tid=4529] ppid=4522 vsize=915440 CPUtime=0
/proc/4524/task/4529/stat : 4529 (java) S 4522 4524 4457 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155790805 937410560 32315 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4524/tid=4530] ppid=4522 vsize=915440 CPUtime=0.28
/proc/4524/task/4530/stat : 4530 (java) S 4522 4524 4457 0 -1 64 401 0 0 0 27 1 0 0 16 0 8 0 155790805 937410560 32315 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4524/tid=4531] ppid=4522 vsize=915440 CPUtime=0
/proc/4524/task/4531/stat : 4531 (java) S 4522 4524 4457 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155790805 937410560 32315 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4524/tid=4532] ppid=4522 vsize=915440 CPUtime=0
/proc/4524/task/4532/stat : 4532 (java) S 4522 4524 4457 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155790805 937410560 32315 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1475.72
Current children cumulated vsize (KiB) 915440

[startup+1542.99 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 4893
/proc/meminfo: memFree=857048/2055920 swapFree=4192812/4192956
[pid=4524] ppid=4522 vsize=915440 CPUtime=1535.4
/proc/4524/stat : 4524 (java) R 4522 4524 4457 0 -1 0 32590 0 1 0 153507 33 0 0 25 0 8 0 155790797 937410560 32316 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4524/statm: 228860 32316 2521 14 0 215330 0
[pid=4524/tid=4526] ppid=4522 vsize=915440 CPUtime=0.44
/proc/4524/task/4526/stat : 4526 (java) S 4522 4524 4457 0 -1 64 15583 0 0 0 38 6 0 0 16 0 8 0 155790801 937410560 32316 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4524/tid=4527] ppid=4522 vsize=915440 CPUtime=0
/proc/4524/task/4527/stat : 4527 (java) S 4522 4524 4457 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155790802 937410560 32316 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4524/tid=4528] ppid=4522 vsize=915440 CPUtime=0
/proc/4524/task/4528/stat : 4528 (java) S 4522 4524 4457 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155790802 937410560 32316 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4524/tid=4529] ppid=4522 vsize=915440 CPUtime=0
/proc/4524/task/4529/stat : 4529 (java) S 4522 4524 4457 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155790805 937410560 32316 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4524/tid=4530] ppid=4522 vsize=915440 CPUtime=0.28
/proc/4524/task/4530/stat : 4530 (java) S 4522 4524 4457 0 -1 64 402 0 0 0 27 1 0 0 16 0 8 0 155790805 937410560 32316 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4524/tid=4531] ppid=4522 vsize=915440 CPUtime=0
/proc/4524/task/4531/stat : 4531 (java) S 4522 4524 4457 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155790805 937410560 32316 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4524/tid=4532] ppid=4522 vsize=915440 CPUtime=0
/proc/4524/task/4532/stat : 4532 (java) S 4522 4524 4457 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155790805 937410560 32316 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1535.4
Current children cumulated vsize (KiB) 915440

[startup+1603.01 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 4893
/proc/meminfo: memFree=856984/2055920 swapFree=4192812/4192956
[pid=4524] ppid=4522 vsize=915440 CPUtime=1595.09
/proc/4524/stat : 4524 (java) R 4522 4524 4457 0 -1 0 32590 0 1 0 159476 33 0 0 25 0 8 0 155790797 937410560 32316 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4524/statm: 228860 32316 2521 14 0 215330 0
[pid=4524/tid=4526] ppid=4522 vsize=915440 CPUtime=0.44
/proc/4524/task/4526/stat : 4526 (java) S 4522 4524 4457 0 -1 64 15583 0 0 0 38 6 0 0 16 0 8 0 155790801 937410560 32316 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4524/tid=4527] ppid=4522 vsize=915440 CPUtime=0
/proc/4524/task/4527/stat : 4527 (java) S 4522 4524 4457 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155790802 937410560 32316 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4524/tid=4528] ppid=4522 vsize=915440 CPUtime=0
/proc/4524/task/4528/stat : 4528 (java) S 4522 4524 4457 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155790802 937410560 32316 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4524/tid=4529] ppid=4522 vsize=915440 CPUtime=0
/proc/4524/task/4529/stat : 4529 (java) S 4522 4524 4457 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155790805 937410560 32316 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4524/tid=4530] ppid=4522 vsize=915440 CPUtime=0.28
/proc/4524/task/4530/stat : 4530 (java) S 4522 4524 4457 0 -1 64 402 0 0 0 27 1 0 0 16 0 8 0 155790805 937410560 32316 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4524/tid=4531] ppid=4522 vsize=915440 CPUtime=0
/proc/4524/task/4531/stat : 4531 (java) S 4522 4524 4457 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155790805 937410560 32316 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4524/tid=4532] ppid=4522 vsize=915440 CPUtime=0
/proc/4524/task/4532/stat : 4532 (java) S 4522 4524 4457 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155790805 937410560 32316 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1595.09
Current children cumulated vsize (KiB) 915440

[startup+1663.02 s]
/proc/loadavg: 2.03 2.01 2.00 3/100 4893
/proc/meminfo: memFree=845784/2055920 swapFree=4192812/4192956
[pid=4524] ppid=4522 vsize=915440 CPUtime=1654.78
/proc/4524/stat : 4524 (java) R 4522 4524 4457 0 -1 0 32590 0 1 0 165445 33 0 0 25 0 8 0 155790797 937410560 32316 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073629890 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4524/statm: 228860 32316 2521 14 0 215330 0
[pid=4524/tid=4526] ppid=4522 vsize=915440 CPUtime=0.44
/proc/4524/task/4526/stat : 4526 (java) S 4522 4524 4457 0 -1 64 15583 0 0 0 38 6 0 0 16 0 8 0 155790801 937410560 32316 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4524/tid=4527] ppid=4522 vsize=915440 CPUtime=0
/proc/4524/task/4527/stat : 4527 (java) S 4522 4524 4457 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155790802 937410560 32316 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4524/tid=4528] ppid=4522 vsize=915440 CPUtime=0
/proc/4524/task/4528/stat : 4528 (java) S 4522 4524 4457 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155790802 937410560 32316 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4524/tid=4529] ppid=4522 vsize=915440 CPUtime=0
/proc/4524/task/4529/stat : 4529 (java) S 4522 4524 4457 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155790805 937410560 32316 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4524/tid=4530] ppid=4522 vsize=915440 CPUtime=0.28
/proc/4524/task/4530/stat : 4530 (java) S 4522 4524 4457 0 -1 64 402 0 0 0 27 1 0 0 16 0 8 0 155790805 937410560 32316 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4524/tid=4531] ppid=4522 vsize=915440 CPUtime=0
/proc/4524/task/4531/stat : 4531 (java) S 4522 4524 4457 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155790805 937410560 32316 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4524/tid=4532] ppid=4522 vsize=915440 CPUtime=0
/proc/4524/task/4532/stat : 4532 (java) S 4522 4524 4457 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155790805 937410560 32316 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1654.78
Current children cumulated vsize (KiB) 915440

[startup+1723.04 s]
/proc/loadavg: 2.01 2.01 2.00 3/100 4893
/proc/meminfo: memFree=845784/2055920 swapFree=4192812/4192956
[pid=4524] ppid=4522 vsize=915440 CPUtime=1714.46
/proc/4524/stat : 4524 (java) R 4522 4524 4457 0 -1 0 32590 0 1 0 171413 33 0 0 25 0 8 0 155790797 937410560 32316 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073800344 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4524/statm: 228860 32316 2521 14 0 215330 0
[pid=4524/tid=4526] ppid=4522 vsize=915440 CPUtime=0.44
/proc/4524/task/4526/stat : 4526 (java) S 4522 4524 4457 0 -1 64 15583 0 0 0 38 6 0 0 16 0 8 0 155790801 937410560 32316 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4524/tid=4527] ppid=4522 vsize=915440 CPUtime=0
/proc/4524/task/4527/stat : 4527 (java) S 4522 4524 4457 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155790802 937410560 32316 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4524/tid=4528] ppid=4522 vsize=915440 CPUtime=0
/proc/4524/task/4528/stat : 4528 (java) S 4522 4524 4457 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155790802 937410560 32316 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4524/tid=4529] ppid=4522 vsize=915440 CPUtime=0
/proc/4524/task/4529/stat : 4529 (java) S 4522 4524 4457 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155790805 937410560 32316 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4524/tid=4530] ppid=4522 vsize=915440 CPUtime=0.28
/proc/4524/task/4530/stat : 4530 (java) S 4522 4524 4457 0 -1 64 402 0 0 0 27 1 0 0 16 0 8 0 155790805 937410560 32316 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4524/tid=4531] ppid=4522 vsize=915440 CPUtime=0
/proc/4524/task/4531/stat : 4531 (java) S 4522 4524 4457 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155790805 937410560 32316 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4524/tid=4532] ppid=4522 vsize=915440 CPUtime=0
/proc/4524/task/4532/stat : 4532 (java) S 4522 4524 4457 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155790805 937410560 32316 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1714.46
Current children cumulated vsize (KiB) 915440

[startup+1783.05 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 4893
/proc/meminfo: memFree=845720/2055920 swapFree=4192812/4192956
[pid=4524] ppid=4522 vsize=915440 CPUtime=1774.17
/proc/4524/stat : 4524 (java) R 4522 4524 4457 0 -1 0 32590 0 1 0 177383 34 0 0 25 0 8 0 155790797 937410560 32316 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4524/statm: 228860 32316 2521 14 0 215330 0
[pid=4524/tid=4526] ppid=4522 vsize=915440 CPUtime=0.44
/proc/4524/task/4526/stat : 4526 (java) S 4522 4524 4457 0 -1 64 15583 0 0 0 38 6 0 0 16 0 8 0 155790801 937410560 32316 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4524/tid=4527] ppid=4522 vsize=915440 CPUtime=0
/proc/4524/task/4527/stat : 4527 (java) S 4522 4524 4457 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155790802 937410560 32316 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4524/tid=4528] ppid=4522 vsize=915440 CPUtime=0
/proc/4524/task/4528/stat : 4528 (java) S 4522 4524 4457 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155790802 937410560 32316 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4524/tid=4529] ppid=4522 vsize=915440 CPUtime=0
/proc/4524/task/4529/stat : 4529 (java) S 4522 4524 4457 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155790805 937410560 32316 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4524/tid=4530] ppid=4522 vsize=915440 CPUtime=0.28
/proc/4524/task/4530/stat : 4530 (java) S 4522 4524 4457 0 -1 64 402 0 0 0 27 1 0 0 16 0 8 0 155790805 937410560 32316 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4524/tid=4531] ppid=4522 vsize=915440 CPUtime=0
/proc/4524/task/4531/stat : 4531 (java) S 4522 4524 4457 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155790805 937410560 32316 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4524/tid=4532] ppid=4522 vsize=915440 CPUtime=0
/proc/4524/task/4532/stat : 4532 (java) S 4522 4524 4457 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155790805 937410560 32316 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1774.17
Current children cumulated vsize (KiB) 915440



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1809.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 4893
/proc/meminfo: memFree=845784/2055920 swapFree=4192812/4192956
[pid=4524] ppid=4522 vsize=915440 CPUtime=1800.08
/proc/4524/stat : 4524 (java) R 4522 4524 4457 0 -1 0 32590 0 1 0 179974 34 0 0 25 0 8 0 155790797 937410560 32316 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072918480 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4524/statm: 228860 32316 2521 14 0 215330 0
[pid=4524/tid=4526] ppid=4522 vsize=915440 CPUtime=0.44
/proc/4524/task/4526/stat : 4526 (java) S 4522 4524 4457 0 -1 64 15583 0 0 0 38 6 0 0 16 0 8 0 155790801 937410560 32316 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4524/tid=4527] ppid=4522 vsize=915440 CPUtime=0
/proc/4524/task/4527/stat : 4527 (java) S 4522 4524 4457 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155790802 937410560 32316 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4524/tid=4528] ppid=4522 vsize=915440 CPUtime=0
/proc/4524/task/4528/stat : 4528 (java) S 4522 4524 4457 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155790802 937410560 32316 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4524/tid=4529] ppid=4522 vsize=915440 CPUtime=0
/proc/4524/task/4529/stat : 4529 (java) S 4522 4524 4457 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155790805 937410560 32316 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4524/tid=4530] ppid=4522 vsize=915440 CPUtime=0.28
/proc/4524/task/4530/stat : 4530 (java) S 4522 4524 4457 0 -1 64 402 0 0 0 27 1 0 0 16 0 8 0 155790805 937410560 32316 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4524/tid=4531] ppid=4522 vsize=915440 CPUtime=0
/proc/4524/task/4531/stat : 4531 (java) S 4522 4524 4457 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155790805 937410560 32316 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4524/tid=4532] ppid=4522 vsize=915440 CPUtime=0
/proc/4524/task/4532/stat : 4532 (java) S 4522 4524 4457 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155790805 937410560 32316 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 915440

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

Child status: 143
Real time (s): 1809.13
CPU time (s): 1800.12
CPU user time (s): 1799.75
CPU system time (s): 0.360945
CPU usage (%): 99.5015
Max. virtual memory (cumulated for all children) (KiB): 915440

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.75
system time used= 0.360945
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32605
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= 37799
involuntary context switches= 63086

runsolver used 2.16567 s user time and 5.84411 s system time

The end

Launcher Data (download as text)

Begin job on node13 on Sat Jan  6 08:59:18 UTC 2007


IDJOB= 206658
IDBENCH= 4225
FILE ID= node13/206658-1168073958

PBS_JOBID= 3475778

Free space on /tmp= 66313 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  82885f515122b77a7ef90be7c3b3cf82

RANDOM SEED= 853452594

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.247
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.247
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:       1280696 kB
Buffers:         71032 kB
Cached:         533556 kB
SwapCached:          0 kB
Active:         405052 kB
Inactive:       275028 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1280696 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            7664 kB
Writeback:           0 kB
Mapped:         104440 kB
Slab:            79736 kB
Committed_AS:  4392292 kB
PageTables:       2488 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= 66303 MiB



End job on node13 on Sat Jan  6 09:29:28 UTC 2007