Trace number 221202

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.06 1806.43

General information on the benchmark

NamequeenAttacking/
queenAttacking-11.xml
MD5SUMb2331ae52aa4f20611596313def90cb8
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables122
Number of constraints7290
Maximum constraint arity2
Maximum domain size121
Number of constraints which are defined in extension0
Number of constraints which are defined in intension7290
Global constraints used (with number of constraints)

Solver Data (download as text)

0.32	   
0.32	Abscon 109 (November, 2006)
0.32	   
0.32	   configuration
0.32	     name=mac.xml
0.35	   
0.35	   instance
0.35	     name=/tmp/evaluation/221202-1168080010/unknown.xml
0.39	   
0.39	   domains being loaded...
0.39	   
0.39	   variables being loaded...
0.44	     nbVariables=122  nbDomainTypes=2  minDomainSize=21  maxDomainSize=121
0.44	       =>  wckTime=0.125  cpuTime=0.09  mem=7M862
0.45	   
0.45	   predicates being loaded...
0.45	   
0.45	   constraints being loaded...
1.51	     nbConstraints=7290  nbConvertedConstraints=7290  nbConvertConstraintsChecks=31823  nbExtensionStructures=3
1.51	     nbSharedExtensionStructures=7287  nbConflictsStructures=3  nbSharedConflictsStructures=7287
1.51	     nbSharedBinaryRepresentations=273  maxDegree=121  maxArity=2
1.51	       =>  wckTime=1.195  cpuTime=1.01  mem=38M92
1.60	   
1.60	   solver IterativeSystematicSolver being built... 
1.78	       =>  wckTime=1.457  cpuTime=1.15  mem=18M51
1.81	   
1.81	   preprocessing
1.81	     nbConstraintChecks=12892  nbPropagations=122  nbRevisions=90  nbUselessRevisions=60  nbRemovedValues=300
1.81	     detectedInconsistency=no
1.81	       =>  wckTime=0.025  cpuTime=0.01  mem=18M51
2.08	   
2.08	   search
2.08	     run=0  nbConstraintChecks=396422  nbPropagations=2292  nbRevisions=10099  nbUselessRevisions=5865  nbAssignments=41
2.08	     nbFailedAssignments=13  nbBacktracks=10  nbVisitedNodes=62  nbRestartNogoods=0  mapSize=10  nbInferences=0
2.08	     nbTooLargeKeys=0
2.08	       =>  wckTime=0.297  cpuTime=0.25  mem=18M51
2.21	   
2.21	   search
2.21	     run=1  nbConstraintChecks=817817  nbPropagations=6878  nbRevisions=30594  nbUselessRevisions=17789
2.21	     nbAssignments=85  nbFailedAssignments=25  nbBacktracks=25  nbVisitedNodes=126  nbRestartNogoods=2  mapSize=21
2.21	     nbInferences=0  nbTooLargeKeys=0
2.21	       =>  wckTime=0.43  cpuTime=0.39  mem=18M51
2.38	   
2.38	   search
2.38	     run=2  nbConstraintChecks=1389609  nbPropagations=14361  nbRevisions=65532  nbUselessRevisions=38099
2.38	     nbAssignments=143  nbFailedAssignments=43  nbBacktracks=47  nbVisitedNodes=215  nbRestartNogoods=5  mapSize=38
2.38	     nbInferences=0  nbTooLargeKeys=0
2.38	       =>  wckTime=0.601  cpuTime=0.55  mem=18M51
2.59	   
2.59	   search
2.59	     run=3  nbConstraintChecks=2102903  nbPropagations=25582  nbRevisions=119525  nbUselessRevisions=69529
2.59	     nbAssignments=222  nbFailedAssignments=68  nbBacktracks=84  nbVisitedNodes=340  nbRestartNogoods=8  mapSize=68
2.59	     nbInferences=0  nbTooLargeKeys=0
2.59	       =>  wckTime=0.812  cpuTime=0.76  mem=18M51
2.85	   
2.85	   search
2.85	     run=4  nbConstraintChecks=3180272  nbPropagations=41204  nbRevisions=202731  nbUselessRevisions=118402
2.85	     nbAssignments=342  nbFailedAssignments=118  nbBacktracks=137  nbVisitedNodes=538  nbRestartNogoods=11  mapSize=114
2.85	     nbInferences=0  nbTooLargeKeys=0
2.85	       =>  wckTime=1.073  cpuTime=1.02  mem=19M26
3.12	   
3.12	   search
3.12	     run=5  nbConstraintChecks=4126513  nbPropagations=61883  nbRevisions=319500  nbUselessRevisions=188242
3.12	     nbAssignments=507  nbFailedAssignments=148  nbBacktracks=223  nbVisitedNodes=758  nbRestartNogoods=14  mapSize=157
3.12	     nbInferences=0  nbTooLargeKeys=0
3.12	       =>  wckTime=1.342  cpuTime=1.29  mem=19M26
3.40	   
3.40	   search
3.40	     run=6  nbConstraintChecks=5079530  nbPropagations=87562  nbRevisions=470868  nbUselessRevisions=279792
3.40	     nbAssignments=702  nbFailedAssignments=180  nbBacktracks=338  nbVisitedNodes=1012  nbRestartNogoods=17  mapSize=208
3.40	     nbInferences=0  nbTooLargeKeys=0
3.40	       =>  wckTime=1.617  cpuTime=1.55  mem=19M26
3.73	   
3.73	   search
3.73	     run=7  nbConstraintChecks=6248864  nbPropagations=119407  nbRevisions=667631  nbUselessRevisions=399139
3.73	     nbAssignments=983  nbFailedAssignments=224  nbBacktracks=525  nbVisitedNodes=1378  nbRestartNogoods=18  mapSize=282
3.73	     nbInferences=0  nbTooLargeKeys=0
3.73	       =>  wckTime=1.951  cpuTime=1.88  mem=19M26
4.21	   
4.21	   search
4.21	     run=8  nbConstraintChecks=7931005  nbPropagations=160169  nbRevisions=936461  nbUselessRevisions=562257
4.21	     nbAssignments=1381  nbFailedAssignments=305  nbBacktracks=787  nbVisitedNodes=1921  nbRestartNogoods=21
4.21	     mapSize=393  nbInferences=0  nbTooLargeKeys=0
4.21	       =>  wckTime=2.433  cpuTime=2.36  mem=20M0
4.78	   
4.78	   search
4.78	     run=9  nbConstraintChecks=10094243  nbPropagations=210283  nbRevisions=1299364  nbUselessRevisions=786652
4.78	     nbAssignments=1916  nbFailedAssignments=405  nbBacktracks=1173  nbVisitedNodes=2620  nbRestartNogoods=28
4.78	     mapSize=501  nbInferences=0  nbTooLargeKeys=0
4.78	       =>  wckTime=3.001  cpuTime=2.89  mem=20M0
6.11	   
6.11	   search
6.11	     run=10  nbConstraintChecks=15540638  nbPropagations=285549  nbRevisions=1869531  nbUselessRevisions=1137440
6.11	     nbAssignments=2956  nbFailedAssignments=826  nbBacktracks=1749  nbVisitedNodes=4292  nbRestartNogoods=34
6.11	     mapSize=849  nbInferences=0  nbTooLargeKeys=0
6.11	       =>  wckTime=4.332  cpuTime=4.2  mem=20M974
6.95	   
6.95	   INFO : Stopping hyperNogood (mapSize=1011, nbTooLargekeys=0, mem=21M949)
8.21	   
8.21	   search
8.21	     run=11  nbConstraintChecks=23508979  nbPropagations=403060  nbRevisions=2791256  nbUselessRevisions=1706001
8.21	     nbAssignments=4420  nbFailedAssignments=1379  nbBacktracks=2613  nbVisitedNodes=6638  nbRestartNogoods=43
8.21	       =>  wckTime=6.429  cpuTime=6.28  mem=21M949
11.76	   
11.76	   search
11.76	     run=12  nbConstraintChecks=39871709  nbPropagations=590359  nbRevisions=4346458  nbUselessRevisions=2676879
11.76	     nbAssignments=6768  nbFailedAssignments=2390  nbBacktracks=3911  nbVisitedNodes=10534  nbRestartNogoods=49
11.76	       =>  wckTime=9.978  cpuTime=9.79  mem=21M949
16.80	   
16.80	   search
16.80	     run=13  nbConstraintChecks=62600452  nbPropagations=871634  nbRevisions=6970545  nbUselessRevisions=4348227
16.80	     nbAssignments=10544  nbFailedAssignments=4182  nbBacktracks=5859  nbVisitedNodes=16672  nbRestartNogoods=55
16.80	       =>  wckTime=15.021  cpuTime=14.79  mem=21M949
24.35	   
24.35	   search
24.35	     run=14  nbConstraintChecks=94970465  nbPropagations=1295499  nbRevisions=11221991  nbUselessRevisions=7128056
24.35	     nbAssignments=15342  nbFailedAssignments=6023  nbBacktracks=8778  nbVisitedNodes=24277  nbRestartNogoods=62
24.35	       =>  wckTime=22.571  cpuTime=22.26  mem=21M949
36.12	   
36.12	   search
36.12	     run=15  nbConstraintChecks=136132776  nbPropagations=1936351  nbRevisions=17567243  nbUselessRevisions=11359680
36.12	     nbAssignments=23013  nbFailedAssignments=9290  nbBacktracks=13159  nbVisitedNodes=36897  nbRestartNogoods=77
36.12	       =>  wckTime=34.343  cpuTime=33.93  mem=21M949
58.49	   
58.49	   search
58.49	     run=16  nbConstraintChecks=213800148  nbPropagations=2990868  nbRevisions=28232985  nbUselessRevisions=18682262
58.49	     nbAssignments=35720  nbFailedAssignments=15404  nbBacktracks=19732  nbVisitedNodes=58582  nbRestartNogoods=81
58.49	       =>  wckTime=56.707  cpuTime=56.08  mem=21M949
92.95	   
92.95	   search
92.95	     run=17  nbConstraintChecks=326134470  nbPropagations=4665587  nbRevisions=45141444  nbUselessRevisions=30324340
92.95	     nbAssignments=54269  nbFailedAssignments=24078  nbBacktracks=29586  nbVisitedNodes=90020  nbRestartNogoods=91
92.95	       =>  wckTime=91.17  cpuTime=90.24  mem=21M949
137.10	   
137.10	   search
137.10	     run=18  nbConstraintChecks=509871744  nbPropagations=7147035  nbRevisions=71091476  nbUselessRevisions=48596927
137.10	     nbAssignments=83478  nbFailedAssignments=38478  nbBacktracks=44367  nbVisitedNodes=140442  nbRestartNogoods=108
137.10	       =>  wckTime=135.319  cpuTime=133.98  mem=21M949
204.94	   
204.94	   search
204.94	     run=19  nbConstraintChecks=766263759  nbPropagations=10877147  nbRevisions=109620788  nbUselessRevisions=76190649
204.94	     nbAssignments=128608  nbFailedAssignments=61419  nbBacktracks=66535  nbVisitedNodes=219890  nbRestartNogoods=130
204.94	       =>  wckTime=203.164  cpuTime=201.21  mem=21M949
320.99	   
320.99	   search
320.99	     run=20  nbConstraintChecks=1260446058  nbPropagations=16696320  nbRevisions=172762894  nbUselessRevisions=122071636
320.99	     nbAssignments=196262  nbFailedAssignments=95796  nbBacktracks=99791  nbVisitedNodes=339447  nbRestartNogoods=143
320.99	       =>  wckTime=319.214  cpuTime=316.19  mem=21M949
452.34	   
452.34	   search
452.34	     run=21  nbConstraintChecks=1777254115  nbPropagations=24997126  nbRevisions=269303004  nbUselessRevisions=194889625
452.34	     nbAssignments=297941  nbFailedAssignments=147572  nbBacktracks=149670  nbVisitedNodes=517774  nbRestartNogoods=152
452.34	       =>  wckTime=450.565  cpuTime=446.34  mem=21M949
676.64	   
676.64	   search
676.64	     run=22  nbConstraintChecks=2667467252  nbPropagations=37598932  nbRevisions=409317437  nbUselessRevisions=300234985
676.64	     nbAssignments=441966  nbFailedAssignments=216758  nbBacktracks=224488  nbVisitedNodes=770583  nbRestartNogoods=180
676.64	       =>  wckTime=674.863  cpuTime=669.43  mem=21M949
938.15	   
938.15	   search
938.15	     run=23  nbConstraintChecks=3825394707  nbPropagations=55485760  nbRevisions=623757854  nbUselessRevisions=466424194
938.15	     nbAssignments=657515  nbFailedAssignments=320053  nbBacktracks=336718  nbVisitedNodes=1147005  nbRestartNogoods=199
938.15	       =>  wckTime=936.372  cpuTime=930.8  mem=21M949
1341.79	   
1341.79	   search
1341.79	     run=24  nbConstraintChecks=5460971117  nbPropagations=81869507  nbRevisions=954284760  nbUselessRevisions=727162670
1341.79	     nbAssignments=997477  nbFailedAssignments=491648  nbBacktracks=505059  nbVisitedNodes=1749072  nbRestartNogoods=213
1341.79	       =>  wckTime=1340.015  cpuTime=1334.16  mem=21M949

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

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

/proc/loadavg: 1.09 1.49 1.77 4/93 7518
/proc/meminfo: memFree=504920/2055920 swapFree=4192812/4192956
[pid=7517] ppid=7515 vsize=9748 CPUtime=0
/proc/7517/stat : 7517 (java) D 7515 7517 7338 0 -1 0 637 0 0 0 0 0 0 0 18 0 1 0 156396431 9981952 412 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 11879204 0 2147483391 0 7368 18446744072099781622 0 0 17 1 0 0
/proc/7517/statm: 2437 412 333 14 0 1140 0

[startup+0.103463 s]
/proc/loadavg: 1.09 1.49 1.77 4/93 7518
/proc/meminfo: memFree=504920/2055920 swapFree=4192812/4192956
[pid=7517] ppid=7515 vsize=914988 CPUtime=0.09
/proc/7517/stat : 7517 (java) R 7515 7517 7338 0 -1 0 2988 0 1 0 8 1 0 0 18 0 8 0 156396431 936947712 2734 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 12341192 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7517/statm: 228747 2734 1426 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988

[startup+0.511521 s]
/proc/loadavg: 1.09 1.49 1.77 4/93 7518
/proc/meminfo: memFree=504920/2055920 swapFree=4192812/4192956
[pid=7517] ppid=7515 vsize=915328 CPUtime=0.49
/proc/7517/stat : 7517 (java) S 7515 7517 7338 0 -1 0 6390 0 1 0 46 3 0 0 17 0 8 0 156396431 937295872 6129 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7517/statm: 228832 6129 2147 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328

[startup+1.33263 s]
/proc/loadavg: 1.24 1.51 1.78 3/100 7525
/proc/meminfo: memFree=465120/2055920 swapFree=4192812/4192956
[pid=7517] ppid=7515 vsize=915636 CPUtime=1.31
/proc/7517/stat : 7517 (java) R 7515 7517 7338 0 -1 0 13143 0 1 0 101 30 0 0 21 0 8 0 156396431 937611264 12881 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7517/statm: 228909 12881 2169 14 0 215379 0
[pid=7517/tid=7519] ppid=7515 vsize=915636 CPUtime=0
/proc/7517/task/7519/stat : 7519 (java) S 7515 7517 7338 0 -1 64 7 0 0 0 0 0 0 0 17 0 8 0 156396435 937611264 12881 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7517/tid=7520] ppid=7515 vsize=915636 CPUtime=0
/proc/7517/task/7520/stat : 7520 (java) S 7515 7517 7338 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 156396435 937611264 12881 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7517/tid=7521] ppid=7515 vsize=915636 CPUtime=0
/proc/7517/task/7521/stat : 7521 (java) S 7515 7517 7338 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 156396435 937611264 12881 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7517/tid=7522] ppid=7515 vsize=915636 CPUtime=0
/proc/7517/task/7522/stat : 7522 (java) S 7515 7517 7338 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156396439 937611264 12881 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7517/tid=7523] ppid=7515 vsize=915636 CPUtime=0.19
/proc/7517/task/7523/stat : 7523 (java) S 7515 7517 7338 0 -1 64 425 0 0 0 19 0 0 0 17 0 8 0 156396439 937611264 12881 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7517/tid=7524] ppid=7515 vsize=915636 CPUtime=0
/proc/7517/task/7524/stat : 7524 (java) S 7515 7517 7338 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156396439 937611264 12881 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7517/tid=7525] ppid=7515 vsize=915636 CPUtime=0
/proc/7517/task/7525/stat : 7525 (java) S 7515 7517 7338 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156396439 937611264 12881 18446744073709551615 134512640 134570532 4294956464 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) 915636

[startup+2.97085 s]
/proc/loadavg: 1.24 1.51 1.78 3/100 7525
/proc/meminfo: memFree=454112/2055920 swapFree=4192812/4192956
[pid=7517] ppid=7515 vsize=915716 CPUtime=2.92
/proc/7517/stat : 7517 (java) R 7515 7517 7338 0 -1 0 15400 0 1 0 254 38 0 0 25 0 8 0 156396431 937693184 15136 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073979322 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7517/statm: 228929 15136 2530 14 0 215399 0
[pid=7517/tid=7519] ppid=7515 vsize=915716 CPUtime=0.07
/proc/7517/task/7519/stat : 7519 (java) S 7515 7517 7338 0 -1 64 1050 0 0 0 7 0 0 0 17 0 8 0 156396435 937693184 15136 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7517/tid=7520] ppid=7515 vsize=915716 CPUtime=0
/proc/7517/task/7520/stat : 7520 (java) S 7515 7517 7338 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156396435 937693184 15136 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7517/tid=7521] ppid=7515 vsize=915716 CPUtime=0
/proc/7517/task/7521/stat : 7521 (java) S 7515 7517 7338 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156396435 937693184 15136 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7517/tid=7522] ppid=7515 vsize=915716 CPUtime=0
/proc/7517/task/7522/stat : 7522 (java) S 7515 7517 7338 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156396439 937693184 15136 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7517/tid=7523] ppid=7515 vsize=915716 CPUtime=0.3
/proc/7517/task/7523/stat : 7523 (java) S 7515 7517 7338 0 -1 64 479 0 0 0 29 1 0 0 15 0 8 0 156396439 937693184 15136 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7517/tid=7524] ppid=7515 vsize=915716 CPUtime=0
/proc/7517/task/7524/stat : 7524 (java) S 7515 7517 7338 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156396439 937693184 15136 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7517/tid=7525] ppid=7515 vsize=915716 CPUtime=0
/proc/7517/task/7525/stat : 7525 (java) S 7515 7517 7338 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156396439 937693184 15136 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 915716

[startup+6.17828 s]
/proc/loadavg: 1.24 1.51 1.78 4/100 7525
/proc/meminfo: memFree=454048/2055920 swapFree=4192812/4192956
[pid=7517] ppid=7515 vsize=915716 CPUtime=6.1
/proc/7517/stat : 7517 (java) R 7515 7517 7338 0 -1 0 15420 0 1 0 571 39 0 0 25 0 8 0 156396431 937693184 15153 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074032939 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7517/statm: 228929 15153 2530 14 0 215399 0
[pid=7517/tid=7519] ppid=7515 vsize=915716 CPUtime=0.07
/proc/7517/task/7519/stat : 7519 (java) S 7515 7517 7338 0 -1 64 1050 0 0 0 7 0 0 0 17 0 8 0 156396435 937693184 15153 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7517/tid=7520] ppid=7515 vsize=915716 CPUtime=0
/proc/7517/task/7520/stat : 7520 (java) S 7515 7517 7338 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156396435 937693184 15153 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7517/tid=7521] ppid=7515 vsize=915716 CPUtime=0
/proc/7517/task/7521/stat : 7521 (java) S 7515 7517 7338 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156396435 937693184 15153 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7517/tid=7522] ppid=7515 vsize=915716 CPUtime=0
/proc/7517/task/7522/stat : 7522 (java) S 7515 7517 7338 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156396439 937693184 15153 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7517/tid=7523] ppid=7515 vsize=915716 CPUtime=0.34
/proc/7517/task/7523/stat : 7523 (java) S 7515 7517 7338 0 -1 64 496 0 0 0 33 1 0 0 15 0 8 0 156396439 937693184 15153 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7517/tid=7524] ppid=7515 vsize=915716 CPUtime=0
/proc/7517/task/7524/stat : 7524 (java) S 7515 7517 7338 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156396439 937693184 15153 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7517/tid=7525] ppid=7515 vsize=915716 CPUtime=0
/proc/7517/task/7525/stat : 7525 (java) S 7515 7517 7338 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156396439 937693184 15153 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.1
Current children cumulated vsize (KiB) 915716

[startup+12.6521 s]
/proc/loadavg: 1.35 1.53 1.78 3/100 7525
/proc/meminfo: memFree=454048/2055920 swapFree=4192812/4192956
[pid=7517] ppid=7515 vsize=915716 CPUtime=12.51
/proc/7517/stat : 7517 (java) R 7515 7517 7338 0 -1 0 15423 0 1 0 1212 39 0 0 25 0 8 0 156396431 937693184 15154 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073999286 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7517/statm: 228929 15154 2530 14 0 215399 0
[pid=7517/tid=7519] ppid=7515 vsize=915716 CPUtime=0.07
/proc/7517/task/7519/stat : 7519 (java) S 7515 7517 7338 0 -1 64 1050 0 0 0 7 0 0 0 17 0 8 0 156396435 937693184 15154 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7517/tid=7520] ppid=7515 vsize=915716 CPUtime=0
/proc/7517/task/7520/stat : 7520 (java) S 7515 7517 7338 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156396435 937693184 15154 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7517/tid=7521] ppid=7515 vsize=915716 CPUtime=0
/proc/7517/task/7521/stat : 7521 (java) S 7515 7517 7338 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156396435 937693184 15154 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7517/tid=7522] ppid=7515 vsize=915716 CPUtime=0
/proc/7517/task/7522/stat : 7522 (java) S 7515 7517 7338 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156396439 937693184 15154 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7517/tid=7523] ppid=7515 vsize=915716 CPUtime=0.34
/proc/7517/task/7523/stat : 7523 (java) S 7515 7517 7338 0 -1 64 497 0 0 0 33 1 0 0 16 0 8 0 156396439 937693184 15154 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7517/tid=7524] ppid=7515 vsize=915716 CPUtime=0
/proc/7517/task/7524/stat : 7524 (java) S 7515 7517 7338 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156396439 937693184 15154 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7517/tid=7525] ppid=7515 vsize=915716 CPUtime=0
/proc/7517/task/7525/stat : 7525 (java) S 7515 7517 7338 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156396439 937693184 15154 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.51
Current children cumulated vsize (KiB) 915716

[startup+25.5209 s]
/proc/loadavg: 1.45 1.54 1.78 3/100 7525
/proc/meminfo: memFree=454048/2055920 swapFree=4192812/4192956
[pid=7517] ppid=7515 vsize=915716 CPUtime=25.26
/proc/7517/stat : 7517 (java) R 7515 7517 7338 0 -1 0 15426 0 1 0 2487 39 0 0 25 0 8 0 156396431 937693184 15155 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073989324 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7517/statm: 228929 15155 2530 14 0 215399 0
[pid=7517/tid=7519] ppid=7515 vsize=915716 CPUtime=0.07
/proc/7517/task/7519/stat : 7519 (java) S 7515 7517 7338 0 -1 64 1050 0 0 0 7 0 0 0 16 0 8 0 156396435 937693184 15155 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7517/tid=7520] ppid=7515 vsize=915716 CPUtime=0
/proc/7517/task/7520/stat : 7520 (java) S 7515 7517 7338 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156396435 937693184 15155 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7517/tid=7521] ppid=7515 vsize=915716 CPUtime=0
/proc/7517/task/7521/stat : 7521 (java) S 7515 7517 7338 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156396435 937693184 15155 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7517/tid=7522] ppid=7515 vsize=915716 CPUtime=0
/proc/7517/task/7522/stat : 7522 (java) S 7515 7517 7338 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156396439 937693184 15155 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7517/tid=7523] ppid=7515 vsize=915716 CPUtime=0.34
/proc/7517/task/7523/stat : 7523 (java) S 7515 7517 7338 0 -1 64 498 0 0 0 33 1 0 0 16 0 8 0 156396439 937693184 15155 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7517/tid=7524] ppid=7515 vsize=915716 CPUtime=0
/proc/7517/task/7524/stat : 7524 (java) S 7515 7517 7338 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156396439 937693184 15155 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7517/tid=7525] ppid=7515 vsize=915716 CPUtime=0
/proc/7517/task/7525/stat : 7525 (java) S 7515 7517 7338 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156396439 937693184 15155 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.26
Current children cumulated vsize (KiB) 915716

[startup+51.1473 s]
/proc/loadavg: 1.67 1.59 1.79 3/100 7525
/proc/meminfo: memFree=454112/2055920 swapFree=4192812/4192956
[pid=7517] ppid=7515 vsize=915716 CPUtime=50.65
/proc/7517/stat : 7517 (java) R 7515 7517 7338 0 -1 0 15426 0 1 0 5026 39 0 0 25 0 8 0 156396431 937693184 15155 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073989324 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7517/statm: 228929 15155 2530 14 0 215399 0
[pid=7517/tid=7519] ppid=7515 vsize=915716 CPUtime=0.07
/proc/7517/task/7519/stat : 7519 (java) S 7515 7517 7338 0 -1 64 1050 0 0 0 7 0 0 0 16 0 8 0 156396435 937693184 15155 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7517/tid=7520] ppid=7515 vsize=915716 CPUtime=0
/proc/7517/task/7520/stat : 7520 (java) S 7515 7517 7338 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156396435 937693184 15155 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7517/tid=7521] ppid=7515 vsize=915716 CPUtime=0
/proc/7517/task/7521/stat : 7521 (java) S 7515 7517 7338 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156396435 937693184 15155 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7517/tid=7522] ppid=7515 vsize=915716 CPUtime=0
/proc/7517/task/7522/stat : 7522 (java) S 7515 7517 7338 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156396439 937693184 15155 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7517/tid=7523] ppid=7515 vsize=915716 CPUtime=0.34
/proc/7517/task/7523/stat : 7523 (java) S 7515 7517 7338 0 -1 64 498 0 0 0 33 1 0 0 16 0 8 0 156396439 937693184 15155 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7517/tid=7524] ppid=7515 vsize=915716 CPUtime=0
/proc/7517/task/7524/stat : 7524 (java) S 7515 7517 7338 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156396439 937693184 15155 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7517/tid=7525] ppid=7515 vsize=915716 CPUtime=0
/proc/7517/task/7525/stat : 7525 (java) S 7515 7517 7338 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156396439 937693184 15155 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.65
Current children cumulated vsize (KiB) 915716

[startup+102.392 s]
/proc/loadavg: 1.85 1.65 1.80 3/100 7525
/proc/meminfo: memFree=454176/2055920 swapFree=4192812/4192956
[pid=7517] ppid=7515 vsize=915716 CPUtime=101.43
/proc/7517/stat : 7517 (java) R 7515 7517 7338 0 -1 0 15426 0 1 0 10103 40 0 0 25 0 8 0 156396431 937693184 15155 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073999230 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7517/statm: 228929 15155 2530 14 0 215399 0
[pid=7517/tid=7519] ppid=7515 vsize=915716 CPUtime=0.07
/proc/7517/task/7519/stat : 7519 (java) S 7515 7517 7338 0 -1 64 1050 0 0 0 7 0 0 0 16 0 8 0 156396435 937693184 15155 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7517/tid=7520] ppid=7515 vsize=915716 CPUtime=0
/proc/7517/task/7520/stat : 7520 (java) S 7515 7517 7338 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156396435 937693184 15155 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7517/tid=7521] ppid=7515 vsize=915716 CPUtime=0
/proc/7517/task/7521/stat : 7521 (java) S 7515 7517 7338 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156396435 937693184 15155 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7517/tid=7522] ppid=7515 vsize=915716 CPUtime=0
/proc/7517/task/7522/stat : 7522 (java) S 7515 7517 7338 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156396439 937693184 15155 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7517/tid=7523] ppid=7515 vsize=915716 CPUtime=0.34
/proc/7517/task/7523/stat : 7523 (java) S 7515 7517 7338 0 -1 64 498 0 0 0 33 1 0 0 16 0 8 0 156396439 937693184 15155 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7517/tid=7524] ppid=7515 vsize=915716 CPUtime=0
/proc/7517/task/7524/stat : 7524 (java) S 7515 7517 7338 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156396439 937693184 15155 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7517/tid=7525] ppid=7515 vsize=915716 CPUtime=0
/proc/7517/task/7525/stat : 7525 (java) S 7515 7517 7338 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156396439 937693184 15155 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.43
Current children cumulated vsize (KiB) 915716

[startup+162.482 s]
/proc/loadavg: 1.94 1.71 1.81 3/100 7525
/proc/meminfo: memFree=454112/2055920 swapFree=4192812/4192956
[pid=7517] ppid=7515 vsize=915716 CPUtime=160.97
/proc/7517/stat : 7517 (java) R 7515 7517 7338 0 -1 0 15426 0 1 0 16057 40 0 0 25 0 8 0 156396431 937693184 15155 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073986377 0 4 0 23759 18446744073709551615 0 0 17 1 0 0

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

Current children cumulated CPU time (s) 1417.92
Current children cumulated vsize (KiB) 915716

[startup+1483.78 s]
/proc/loadavg: 1.83 1.38 1.45 3/100 8297
/proc/meminfo: memFree=1121896/2055920 swapFree=4192812/4192956
[pid=7517] ppid=7515 vsize=915716 CPUtime=1477.84
/proc/7517/stat : 7517 (java) R 7515 7517 7338 0 -1 0 15426 0 1 0 147711 73 0 0 25 0 8 0 156396431 937693184 15155 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074000169 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7517/statm: 228929 15155 2530 14 0 215399 0
[pid=7517/tid=7519] ppid=7515 vsize=915716 CPUtime=0.07
/proc/7517/task/7519/stat : 7519 (java) S 7515 7517 7338 0 -1 64 1050 0 0 0 7 0 0 0 16 0 8 0 156396435 937693184 15155 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7517/tid=7520] ppid=7515 vsize=915716 CPUtime=0
/proc/7517/task/7520/stat : 7520 (java) S 7515 7517 7338 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156396435 937693184 15155 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7517/tid=7521] ppid=7515 vsize=915716 CPUtime=0
/proc/7517/task/7521/stat : 7521 (java) S 7515 7517 7338 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156396435 937693184 15155 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7517/tid=7522] ppid=7515 vsize=915716 CPUtime=0
/proc/7517/task/7522/stat : 7522 (java) S 7515 7517 7338 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156396439 937693184 15155 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7517/tid=7523] ppid=7515 vsize=915716 CPUtime=0.34
/proc/7517/task/7523/stat : 7523 (java) S 7515 7517 7338 0 -1 64 498 0 0 0 33 1 0 0 16 0 8 0 156396439 937693184 15155 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7517/tid=7524] ppid=7515 vsize=915716 CPUtime=0
/proc/7517/task/7524/stat : 7524 (java) S 7515 7517 7338 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156396439 937693184 15155 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7517/tid=7525] ppid=7515 vsize=915716 CPUtime=0
/proc/7517/task/7525/stat : 7525 (java) S 7515 7517 7338 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156396439 937693184 15155 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1477.84
Current children cumulated vsize (KiB) 915716

[startup+1543.78 s]
/proc/loadavg: 1.94 1.49 1.48 3/100 8297
/proc/meminfo: memFree=1121960/2055920 swapFree=4192812/4192956
[pid=7517] ppid=7515 vsize=915716 CPUtime=1537.7
/proc/7517/stat : 7517 (java) R 7515 7517 7338 0 -1 0 15426 0 1 0 153696 74 0 0 25 0 8 0 156396431 937693184 15155 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072918535 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7517/statm: 228929 15155 2530 14 0 215399 0
[pid=7517/tid=7519] ppid=7515 vsize=915716 CPUtime=0.07
/proc/7517/task/7519/stat : 7519 (java) S 7515 7517 7338 0 -1 64 1050 0 0 0 7 0 0 0 16 0 8 0 156396435 937693184 15155 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7517/tid=7520] ppid=7515 vsize=915716 CPUtime=0
/proc/7517/task/7520/stat : 7520 (java) S 7515 7517 7338 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156396435 937693184 15155 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7517/tid=7521] ppid=7515 vsize=915716 CPUtime=0
/proc/7517/task/7521/stat : 7521 (java) S 7515 7517 7338 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156396435 937693184 15155 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7517/tid=7522] ppid=7515 vsize=915716 CPUtime=0
/proc/7517/task/7522/stat : 7522 (java) S 7515 7517 7338 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156396439 937693184 15155 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7517/tid=7523] ppid=7515 vsize=915716 CPUtime=0.34
/proc/7517/task/7523/stat : 7523 (java) S 7515 7517 7338 0 -1 64 498 0 0 0 33 1 0 0 16 0 8 0 156396439 937693184 15155 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7517/tid=7524] ppid=7515 vsize=915716 CPUtime=0
/proc/7517/task/7524/stat : 7524 (java) S 7515 7517 7338 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156396439 937693184 15155 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7517/tid=7525] ppid=7515 vsize=915716 CPUtime=0
/proc/7517/task/7525/stat : 7525 (java) S 7515 7517 7338 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156396439 937693184 15155 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1537.7
Current children cumulated vsize (KiB) 915716

[startup+1603.79 s]
/proc/loadavg: 1.97 1.58 1.51 3/100 8297
/proc/meminfo: memFree=1121896/2055920 swapFree=4192812/4192956
[pid=7517] ppid=7515 vsize=915716 CPUtime=1597.65
/proc/7517/stat : 7517 (java) R 7515 7517 7338 0 -1 0 15426 0 1 0 159691 74 0 0 25 0 8 0 156396431 937693184 15155 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073979288 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7517/statm: 228929 15155 2530 14 0 215399 0
[pid=7517/tid=7519] ppid=7515 vsize=915716 CPUtime=0.07
/proc/7517/task/7519/stat : 7519 (java) S 7515 7517 7338 0 -1 64 1050 0 0 0 7 0 0 0 16 0 8 0 156396435 937693184 15155 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7517/tid=7520] ppid=7515 vsize=915716 CPUtime=0
/proc/7517/task/7520/stat : 7520 (java) S 7515 7517 7338 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156396435 937693184 15155 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7517/tid=7521] ppid=7515 vsize=915716 CPUtime=0
/proc/7517/task/7521/stat : 7521 (java) S 7515 7517 7338 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156396435 937693184 15155 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7517/tid=7522] ppid=7515 vsize=915716 CPUtime=0
/proc/7517/task/7522/stat : 7522 (java) S 7515 7517 7338 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156396439 937693184 15155 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7517/tid=7523] ppid=7515 vsize=915716 CPUtime=0.34
/proc/7517/task/7523/stat : 7523 (java) S 7515 7517 7338 0 -1 64 498 0 0 0 33 1 0 0 16 0 8 0 156396439 937693184 15155 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7517/tid=7524] ppid=7515 vsize=915716 CPUtime=0
/proc/7517/task/7524/stat : 7524 (java) S 7515 7517 7338 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156396439 937693184 15155 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7517/tid=7525] ppid=7515 vsize=915716 CPUtime=0
/proc/7517/task/7525/stat : 7525 (java) S 7515 7517 7338 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156396439 937693184 15155 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1597.65
Current children cumulated vsize (KiB) 915716

[startup+1663.8 s]
/proc/loadavg: 1.99 1.65 1.54 3/100 8297
/proc/meminfo: memFree=1121960/2055920 swapFree=4192812/4192956
[pid=7517] ppid=7515 vsize=915716 CPUtime=1657.58
/proc/7517/stat : 7517 (java) R 7515 7517 7338 0 -1 0 15426 0 1 0 165684 74 0 0 25 0 8 0 156396431 937693184 15155 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073988138 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7517/statm: 228929 15155 2530 14 0 215399 0
[pid=7517/tid=7519] ppid=7515 vsize=915716 CPUtime=0.07
/proc/7517/task/7519/stat : 7519 (java) S 7515 7517 7338 0 -1 64 1050 0 0 0 7 0 0 0 16 0 8 0 156396435 937693184 15155 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7517/tid=7520] ppid=7515 vsize=915716 CPUtime=0
/proc/7517/task/7520/stat : 7520 (java) S 7515 7517 7338 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156396435 937693184 15155 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7517/tid=7521] ppid=7515 vsize=915716 CPUtime=0
/proc/7517/task/7521/stat : 7521 (java) S 7515 7517 7338 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156396435 937693184 15155 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7517/tid=7522] ppid=7515 vsize=915716 CPUtime=0
/proc/7517/task/7522/stat : 7522 (java) S 7515 7517 7338 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156396439 937693184 15155 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7517/tid=7523] ppid=7515 vsize=915716 CPUtime=0.34
/proc/7517/task/7523/stat : 7523 (java) S 7515 7517 7338 0 -1 64 498 0 0 0 33 1 0 0 16 0 8 0 156396439 937693184 15155 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7517/tid=7524] ppid=7515 vsize=915716 CPUtime=0
/proc/7517/task/7524/stat : 7524 (java) S 7515 7517 7338 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156396439 937693184 15155 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7517/tid=7525] ppid=7515 vsize=915716 CPUtime=0
/proc/7517/task/7525/stat : 7525 (java) S 7515 7517 7338 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156396439 937693184 15155 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1657.58
Current children cumulated vsize (KiB) 915716

[startup+1723.81 s]
/proc/loadavg: 1.99 1.71 1.57 3/100 8297
/proc/meminfo: memFree=1121960/2055920 swapFree=4192812/4192956
[pid=7517] ppid=7515 vsize=915716 CPUtime=1717.53
/proc/7517/stat : 7517 (java) R 7515 7517 7338 0 -1 0 15426 0 1 0 171679 74 0 0 25 0 8 0 156396431 937693184 15155 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073994537 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7517/statm: 228929 15155 2530 14 0 215399 0
[pid=7517/tid=7519] ppid=7515 vsize=915716 CPUtime=0.07
/proc/7517/task/7519/stat : 7519 (java) S 7515 7517 7338 0 -1 64 1050 0 0 0 7 0 0 0 16 0 8 0 156396435 937693184 15155 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7517/tid=7520] ppid=7515 vsize=915716 CPUtime=0
/proc/7517/task/7520/stat : 7520 (java) S 7515 7517 7338 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156396435 937693184 15155 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7517/tid=7521] ppid=7515 vsize=915716 CPUtime=0
/proc/7517/task/7521/stat : 7521 (java) S 7515 7517 7338 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156396435 937693184 15155 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7517/tid=7522] ppid=7515 vsize=915716 CPUtime=0
/proc/7517/task/7522/stat : 7522 (java) S 7515 7517 7338 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156396439 937693184 15155 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7517/tid=7523] ppid=7515 vsize=915716 CPUtime=0.34
/proc/7517/task/7523/stat : 7523 (java) S 7515 7517 7338 0 -1 64 498 0 0 0 33 1 0 0 16 0 8 0 156396439 937693184 15155 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7517/tid=7524] ppid=7515 vsize=915716 CPUtime=0
/proc/7517/task/7524/stat : 7524 (java) S 7515 7517 7338 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156396439 937693184 15155 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7517/tid=7525] ppid=7515 vsize=915716 CPUtime=0
/proc/7517/task/7525/stat : 7525 (java) S 7515 7517 7338 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156396439 937693184 15155 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1717.53
Current children cumulated vsize (KiB) 915716

[startup+1783.83 s]
/proc/loadavg: 2.05 1.78 1.60 3/100 8297
/proc/meminfo: memFree=1122024/2055920 swapFree=4192812/4192956
[pid=7517] ppid=7515 vsize=915716 CPUtime=1777.5
/proc/7517/stat : 7517 (java) R 7515 7517 7338 0 -1 0 15426 0 1 0 177676 74 0 0 25 0 8 0 156396431 937693184 15155 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073989324 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7517/statm: 228929 15155 2530 14 0 215399 0
[pid=7517/tid=7519] ppid=7515 vsize=915716 CPUtime=0.07
/proc/7517/task/7519/stat : 7519 (java) S 7515 7517 7338 0 -1 64 1050 0 0 0 7 0 0 0 16 0 8 0 156396435 937693184 15155 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7517/tid=7520] ppid=7515 vsize=915716 CPUtime=0
/proc/7517/task/7520/stat : 7520 (java) S 7515 7517 7338 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156396435 937693184 15155 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7517/tid=7521] ppid=7515 vsize=915716 CPUtime=0
/proc/7517/task/7521/stat : 7521 (java) S 7515 7517 7338 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156396435 937693184 15155 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7517/tid=7522] ppid=7515 vsize=915716 CPUtime=0
/proc/7517/task/7522/stat : 7522 (java) S 7515 7517 7338 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156396439 937693184 15155 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7517/tid=7523] ppid=7515 vsize=915716 CPUtime=0.34
/proc/7517/task/7523/stat : 7523 (java) S 7515 7517 7338 0 -1 64 498 0 0 0 33 1 0 0 16 0 8 0 156396439 937693184 15155 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7517/tid=7524] ppid=7515 vsize=915716 CPUtime=0
/proc/7517/task/7524/stat : 7524 (java) S 7515 7517 7338 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156396439 937693184 15155 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7517/tid=7525] ppid=7515 vsize=915716 CPUtime=0
/proc/7517/task/7525/stat : 7525 (java) S 7515 7517 7338 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156396439 937693184 15155 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1777.5
Current children cumulated vsize (KiB) 915716



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1806.37 s]
/proc/loadavg: 2.03 1.79 1.60 3/100 8297
/proc/meminfo: memFree=1122024/2055920 swapFree=4192812/4192956
[pid=7517] ppid=7515 vsize=915716 CPUtime=1800.01
/proc/7517/stat : 7517 (java) R 7515 7517 7338 0 -1 0 15426 0 1 0 179927 74 0 0 25 0 8 0 156396431 937693184 15155 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073979393 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7517/statm: 228929 15155 2530 14 0 215399 0
[pid=7517/tid=7519] ppid=7515 vsize=915716 CPUtime=0.07
/proc/7517/task/7519/stat : 7519 (java) S 7515 7517 7338 0 -1 64 1050 0 0 0 7 0 0 0 16 0 8 0 156396435 937693184 15155 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7517/tid=7520] ppid=7515 vsize=915716 CPUtime=0
/proc/7517/task/7520/stat : 7520 (java) S 7515 7517 7338 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156396435 937693184 15155 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7517/tid=7521] ppid=7515 vsize=915716 CPUtime=0
/proc/7517/task/7521/stat : 7521 (java) S 7515 7517 7338 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156396435 937693184 15155 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7517/tid=7522] ppid=7515 vsize=915716 CPUtime=0
/proc/7517/task/7522/stat : 7522 (java) S 7515 7517 7338 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156396439 937693184 15155 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7517/tid=7523] ppid=7515 vsize=915716 CPUtime=0.34
/proc/7517/task/7523/stat : 7523 (java) S 7515 7517 7338 0 -1 64 498 0 0 0 33 1 0 0 16 0 8 0 156396439 937693184 15155 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7517/tid=7524] ppid=7515 vsize=915716 CPUtime=0
/proc/7517/task/7524/stat : 7524 (java) S 7515 7517 7338 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156396439 937693184 15155 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7517/tid=7525] ppid=7515 vsize=915716 CPUtime=0
/proc/7517/task/7525/stat : 7525 (java) S 7515 7517 7338 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156396439 937693184 15155 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 915716

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

Child status: 143
Real time (s): 1806.43
CPU time (s): 1800.06
CPU user time (s): 1799.31
CPU system time (s): 0.755885
CPU usage (%): 99.6477
Max. virtual memory (cumulated for all children) (KiB): 915820

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.31
system time used= 0.755885
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15443
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= 37782
involuntary context switches= 58882

runsolver used 2.21366 s user time and 5.37718 s system time

The end

Launcher Data (download as text)

Begin job on node13 on Sat Jan  6 10:40:11 UTC 2007


IDJOB= 221202
IDBENCH= 5401
FILE ID= node13/221202-1168080010

PBS_JOBID= 3475854

Free space on /tmp= 66313 MiB

BENCH NAME= HOME/pub/bench/CPAI06/queenAttacking/queenAttacking-11.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/221202-1168080010/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node13/watcher-221202-1168080010 -o ROOT/results/node13/solver-221202-1168080010 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/221202-1168080010/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  b2331ae52aa4f20611596313def90cb8

RANDOM SEED= 845016941

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:        505400 kB
Buffers:         71508 kB
Cached:         563612 kB
SwapCached:          0 kB
Active:        1160968 kB
Inactive:       292708 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:        505400 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            2684 kB
Writeback:           0 kB
Mapped:         847556 kB
Slab:            79980 kB
Committed_AS:  4484972 kB
PageTables:       3944 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= 66317 MiB



End job on node13 on Sat Jan  6 11:10:21 UTC 2007