Trace number 206242

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.09 1803.39

General information on the benchmark

Namerandom/rand-3-28-28/
rand-3-28-28-93-632-11_ext.xml
MD5SUM0a82da9d937cdb0fbe9aaf8f912dce76
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.29	   
0.29	Abscon 109 (November, 2006)
0.29	   
0.29	   configuration
0.29	     name=mac.xml
0.32	   
0.32	   instance
0.32	     name=/tmp/evaluation/206242-1168073539/unknown.xml
0.35	   
0.35	   domains being loaded...
0.35	   
0.35	   variables being loaded...
0.38	     nbVariables=28  nbDomainTypes=1  minDomainSize=28  maxDomainSize=28
0.38	       =>  wckTime=0.093  cpuTime=0.07  mem=6M951
0.38	   
0.38	   relations being loaded...
1.45	   
1.45	   constraints being loaded...
2.14	     nbConstraints=91  nbRelationTypes=93  nbMergedConstraints=2  nbExtensionStructures=91
2.14	     nbSharedExtensionStructures=0  nbConflictsStructures=91  nbSharedConflictsStructures=0
2.14	     nbSharedBinaryRepresentations=0  maxDegree=16  maxArity=3
2.14	       =>  wckTime=1.85  cpuTime=1.49  mem=56M950
2.29	   
2.29	   solver IterativeSystematicSolver being built... 
2.44	       =>  wckTime=2.153  cpuTime=1.61  mem=65M76
2.45	   
2.45	   preprocessing
2.45	     nbConstraintChecks=0  nbPropagations=28  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
2.45	     detectedInconsistency=no
2.45	       =>  wckTime=0.0040  cpuTime=0.0  mem=65M76
2.59	   
2.59	   search
2.59	     run=0  nbConstraintChecks=44634  nbValidityChecks=82589  nbPropagations=431  nbRevisions=4606
2.59	     nbUselessRevisions=3648  nbAssignments=29  nbFailedAssignments=11  nbBacktracks=10  nbVisitedNodes=49
2.59	     nbRestartNogoods=0  mapSize=9  nbInferences=0  nbTooLargeKeys=0
2.59	       =>  wckTime=0.143  cpuTime=0.11  mem=65M76
2.68	   
2.68	   search
2.68	     run=1  nbConstraintChecks=92672  nbValidityChecks=181631  nbPropagations=1361  nbRevisions=14899
2.68	     nbUselessRevisions=11718  nbAssignments=67  nbFailedAssignments=25  nbBacktracks=28  nbVisitedNodes=111
2.68	     nbRestartNogoods=6  mapSize=23  nbInferences=0  nbTooLargeKeys=0
2.68	       =>  wckTime=0.234  cpuTime=0.2  mem=65M76
2.95	   
2.95	   search
2.95	     run=2  nbConstraintChecks=251131  nbValidityChecks=496114  nbPropagations=3672  nbRevisions=42303
2.95	     nbUselessRevisions=33116  nbAssignments=178  nbFailedAssignments=106  nbBacktracks=50  nbVisitedNodes=323
2.95	     nbRestartNogoods=10  mapSize=45  nbInferences=0  nbTooLargeKeys=0
2.95	       =>  wckTime=0.501  cpuTime=0.46  mem=65M76
3.18	   
3.18	   search
3.18	     run=3  nbConstraintChecks=402417  nbValidityChecks=788850  nbPropagations=7331  nbRevisions=87189
3.18	     nbUselessRevisions=68575  nbAssignments=287  nbFailedAssignments=176  nbBacktracks=84  nbVisitedNodes=525
3.18	     nbRestartNogoods=14  mapSize=75  nbInferences=0  nbTooLargeKeys=0
3.18	       =>  wckTime=0.736  cpuTime=0.69  mem=65M76
3.41	   
3.41	   search
3.41	     run=4  nbConstraintChecks=541475  nbValidityChecks=1059010  nbPropagations=12557  nbRevisions=150732
3.41	     nbUselessRevisions=118759  nbAssignments=403  nbFailedAssignments=234  nbBacktracks=134  nbVisitedNodes=735
3.41	     nbRestartNogoods=15  mapSize=119  nbInferences=0  nbTooLargeKeys=0
3.41	       =>  wckTime=0.96  cpuTime=0.91  mem=66M68
3.69	   
3.69	   search
3.69	     run=5  nbConstraintChecks=714748  nbValidityChecks=1405903  nbPropagations=19661  nbRevisions=236978
3.69	     nbUselessRevisions=186941  nbAssignments=542  nbFailedAssignments=289  nbBacktracks=211  nbVisitedNodes=977
3.69	     nbRestartNogoods=18  mapSize=178  nbInferences=0  nbTooLargeKeys=0
3.69	       =>  wckTime=1.248  cpuTime=1.2  mem=66M68
4.25	   
4.25	   search
4.25	     run=6  nbConstraintChecks=1077232  nbValidityChecks=2114533  nbPropagations=30297  nbRevisions=366493
4.25	     nbUselessRevisions=289294  nbAssignments=826  nbFailedAssignments=451  nbBacktracks=325  nbVisitedNodes=1504
4.25	     nbRestartNogoods=23  mapSize=278  nbInferences=0  nbTooLargeKeys=0
4.25	       =>  wckTime=1.801  cpuTime=1.75  mem=66M68
5.18	   
5.19	   search
5.19	     run=7  nbConstraintChecks=1659677  nbValidityChecks=3323925  nbPropagations=47480  nbRevisions=578533
5.19	     nbUselessRevisions=456786  nbAssignments=1274  nbFailedAssignments=720  nbBacktracks=496  nbVisitedNodes=2346
5.19	     nbRestartNogoods=28  mapSize=440  nbInferences=0  nbTooLargeKeys=0
5.19	       =>  wckTime=2.739  cpuTime=2.68  mem=66M68
6.44	   
6.44	   search
6.44	     run=8  nbConstraintChecks=2441751  nbValidityChecks=4933777  nbPropagations=74029  nbRevisions=897520
6.44	     nbUselessRevisions=707666  nbAssignments=1874  nbFailedAssignments=1056  nbBacktracks=755  nbVisitedNodes=3446
6.44	     nbRestartNogoods=40  mapSize=676  nbInferences=0  nbTooLargeKeys=0
6.44	       =>  wckTime=3.994  cpuTime=3.91  mem=66M68
8.25	   
8.25	   search
8.25	     run=9  nbConstraintChecks=3617895  nbValidityChecks=7326928  nbPropagations=113436  nbRevisions=1370575
8.25	     nbUselessRevisions=1079250  nbAssignments=2780  nbFailedAssignments=1569  nbBacktracks=1139  nbVisitedNodes=5127
8.25	     nbRestartNogoods=47  mapSize=1022  nbInferences=0  nbTooLargeKeys=0
8.25	       =>  wckTime=5.805  cpuTime=5.72  mem=66M68
8.30	   
8.30	   INFO : Stopping hyperNogood (mapSize=1029, nbTooLargekeys=0, mem=66M68)
10.46	   
10.46	   search
10.46	     run=10  nbConstraintChecks=4997403  nbValidityChecks=10167305  nbPropagations=170095  nbRevisions=2038866
10.46	     nbUselessRevisions=1604183  nbAssignments=3943  nbFailedAssignments=2147  nbBacktracks=1715  nbVisitedNodes=7200
10.46	     nbRestartNogoods=62
10.46	       =>  wckTime=8.013  cpuTime=7.92  mem=66M68
15.92	   
15.92	   search
15.92	     run=11  nbConstraintChecks=8668974  nbValidityChecks=17353583  nbPropagations=256509  nbRevisions=3121635
15.92	     nbUselessRevisions=2461708  nbAssignments=6155  nbFailedAssignments=3485  nbBacktracks=2579  nbVisitedNodes=11345
15.92	     nbRestartNogoods=78
15.92	       =>  wckTime=13.476  cpuTime=13.38  mem=66M68
21.36	   
21.36	   search
21.36	     run=12  nbConstraintChecks=12201596  nbValidityChecks=24226938  nbPropagations=379835  nbRevisions=4639876
21.36	     nbUselessRevisions=3659984  nbAssignments=8700  nbFailedAssignments=4725  nbBacktracks=3878  nbVisitedNodes=15833
21.36	     nbRestartNogoods=91
21.36	       =>  wckTime=18.913  cpuTime=18.81  mem=66M68
28.67	   
28.67	   search
28.67	     run=13  nbConstraintChecks=16966405  nbValidityChecks=34017642  nbPropagations=559074  nbRevisions=6809887
28.67	     nbUselessRevisions=5371820  nbAssignments=12804  nbFailedAssignments=6876  nbBacktracks=5824  nbVisitedNodes=23222
28.67	     nbRestartNogoods=99
28.67	       =>  wckTime=26.227  cpuTime=26.1  mem=66M68
40.15	   
40.15	   search
40.15	     run=14  nbConstraintChecks=24534476  nbValidityChecks=49682758  nbPropagations=830711  nbRevisions=10035078
40.15	     nbUselessRevisions=7912573  nbAssignments=19028  nbFailedAssignments=10172  nbBacktracks=8744  nbVisitedNodes=34522
40.15	     nbRestartNogoods=110
40.15	       =>  wckTime=37.702  cpuTime=37.57  mem=66M68
65.24	   
65.24	   search
65.24	     run=15  nbConstraintChecks=41450430  nbValidityChecks=83211132  nbPropagations=1251184  nbRevisions=15198479
65.24	     nbUselessRevisions=12001102  nbAssignments=30368  nbFailedAssignments=17128  nbBacktracks=13122
65.24	     nbVisitedNodes=55867  nbRestartNogoods=127
65.24	       =>  wckTime=62.79  cpuTime=62.64  mem=66M68
103.85	   
103.85	   search
103.85	     run=16  nbConstraintChecks=66870084  nbValidityChecks=134218045  nbPropagations=1922085  nbRevisions=23413412
103.85	     nbUselessRevisions=18479914  nbAssignments=49000  nbFailedAssignments=29184  nbBacktracks=19690
103.85	     nbVisitedNodes=90944  nbRestartNogoods=138
103.85	       =>  wckTime=101.402  cpuTime=101.21  mem=66M68
151.67	   
151.67	   search
151.67	     run=17  nbConstraintChecks=98510358  nbValidityChecks=197408375  nbPropagations=2913699  nbRevisions=35481117
151.67	     nbUselessRevisions=28000507  nbAssignments=70395  nbFailedAssignments=40720  nbBacktracks=29542
151.67	     nbVisitedNodes=130046  nbRestartNogoods=149
151.67	       =>  wckTime=149.228  cpuTime=148.99  mem=66M68
228.05	   
228.05	   search
228.05	     run=18  nbConstraintChecks=149037861  nbValidityChecks=299294170  nbPropagations=4427043  nbRevisions=53841403
228.05	     nbUselessRevisions=42471021  nbAssignments=106632  nbFailedAssignments=62173  nbBacktracks=44320
228.05	     nbVisitedNodes=197812  nbRestartNogoods=158
228.05	       =>  wckTime=225.608  cpuTime=225.27  mem=66M68
324.70	   
324.70	   search
324.70	     run=19  nbConstraintChecks=212335401  nbValidityChecks=429451790  nbPropagations=6672474  nbRevisions=80700101
324.70	     nbUselessRevisions=63616572  nbAssignments=155577  nbFailedAssignments=88943  nbBacktracks=66488
324.70	     nbVisitedNodes=287165  nbRestartNogoods=176
324.70	       =>  wckTime=322.254  cpuTime=321.83  mem=66M68
528.07	   
528.07	   search
528.07	     run=20  nbConstraintChecks=346352029  nbValidityChecks=701917066  nbPropagations=10195384  nbRevisions=123556994
528.07	     nbUselessRevisions=97386344  nbAssignments=250852  nbFailedAssignments=150962  nbBacktracks=99740
528.07	     nbVisitedNodes=467614  nbRestartNogoods=192
528.07	       =>  wckTime=525.626  cpuTime=524.97  mem=66M68
789.33	   
789.33	   search
789.33	     run=21  nbConstraintChecks=522664031  nbValidityChecks=1049059852  nbPropagations=15342326  nbRevisions=186983192
789.33	     nbUselessRevisions=147485522  nbAssignments=368207  nbFailedAssignments=218431  nbBacktracks=149618
789.33	     nbVisitedNodes=683821  nbRestartNogoods=207
789.33	       =>  wckTime=786.881  cpuTime=785.9  mem=66M68
1214.27	   
1214.27	   search
1214.27	     run=22  nbConstraintChecks=800389110  nbValidityChecks=1619880116  nbPropagations=23468117  nbRevisions=286308313
1214.27	     nbUselessRevisions=225636125  nbAssignments=579783  nbFailedAssignments=355184  nbBacktracks=224437
1214.27	     nbVisitedNodes=1084384  nbRestartNogoods=234
1214.27	       =>  wckTime=1211.825  cpuTime=1210.44  mem=66M68

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/node4/watcher-206242-1168073539 -o ROOT/results/node4/solver-206242-1168073539 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/206242-1168073539/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.56 1.74 1.86 4/93 11719
/proc/meminfo: memFree=1136840/2055920 swapFree=4191880/4192956
[pid=11718] ppid=11716 vsize=172 CPUtime=0
/proc/11718/stat : 11718 (java) R 11716 11718 11483 0 -1 0 217 0 0 0 0 0 0 0 18 0 1 0 155750047 176128 24 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 10588964 0 0 4096 0 0 0 0 17 0 0 0
/proc/11718/statm: 55 31 25 14 0 3 0

[startup+0.108054 s]
/proc/loadavg: 1.56 1.74 1.86 4/93 11719
/proc/meminfo: memFree=1136840/2055920 swapFree=4191880/4192956
[pid=11718] ppid=11716 vsize=914988 CPUtime=0.1
/proc/11718/stat : 11718 (java) R 11716 11718 11483 0 -1 0 3087 0 1 0 8 2 0 0 23 0 8 0 155750047 936947712 2833 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11718/statm: 228747 2834 1457 14 0 215242 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 914988

[startup+0.516092 s]
/proc/loadavg: 1.56 1.74 1.86 4/93 11719
/proc/meminfo: memFree=1136840/2055920 swapFree=4191880/4192956
[pid=11718] ppid=11716 vsize=915328 CPUtime=0.5
/proc/11718/stat : 11718 (java) R 11716 11718 11483 0 -1 0 8428 0 1 0 44 6 0 0 25 0 8 0 155750047 937295872 8167 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073563230 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11718/statm: 228832 8168 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915328

[startup+1.33817 s]
/proc/loadavg: 1.56 1.74 1.86 3/100 11726
/proc/meminfo: memFree=1069904/2055920 swapFree=4191880/4192956
[pid=11718] ppid=11716 vsize=915328 CPUtime=1.32
/proc/11718/stat : 11718 (java) R 11716 11718 11483 0 -1 0 19100 0 1 0 122 10 0 0 25 0 8 0 155750047 937295872 18838 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073557508 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11718/statm: 228832 18838 2149 14 0 215302 0
[pid=11718/tid=11720] ppid=11716 vsize=915328 CPUtime=0.04
/proc/11718/task/11720/stat : 11720 (java) S 11716 11718 11483 0 -1 64 2681 0 0 0 4 0 0 0 17 0 8 0 155750051 937295872 18838 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11718/tid=11721] ppid=11716 vsize=915328 CPUtime=0
/proc/11718/task/11721/stat : 11721 (java) S 11716 11718 11483 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155750051 937295872 18838 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11718/tid=11722] ppid=11716 vsize=915328 CPUtime=0
/proc/11718/task/11722/stat : 11722 (java) S 11716 11718 11483 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155750051 937295872 18838 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11718/tid=11723] ppid=11716 vsize=915328 CPUtime=0
/proc/11718/task/11723/stat : 11723 (java) S 11716 11718 11483 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155750054 937295872 18838 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11718/tid=11724] ppid=11716 vsize=915328 CPUtime=0.07
/proc/11718/task/11724/stat : 11724 (java) S 11716 11718 11483 0 -1 64 309 0 0 0 7 0 0 0 16 0 8 0 155750054 937295872 18838 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11718/tid=11725] ppid=11716 vsize=915328 CPUtime=0
/proc/11718/task/11725/stat : 11725 (java) S 11716 11718 11483 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155750054 937295872 18838 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11718/tid=11726] ppid=11716 vsize=915328 CPUtime=0
/proc/11718/task/11726/stat : 11726 (java) S 11716 11718 11483 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155750054 937295872 18838 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 915328

[startup+2.99133 s]
/proc/loadavg: 1.60 1.75 1.86 4/100 11726
/proc/meminfo: memFree=1029200/2055920 swapFree=4191880/4192956
[pid=11718] ppid=11716 vsize=915440 CPUtime=2.97
/proc/11718/stat : 11718 (java) R 11716 11718 11483 0 -1 0 32433 0 1 0 278 19 0 0 25 0 8 0 155750047 937410560 32167 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073660020 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11718/statm: 228860 32167 2521 14 0 215330 0
[pid=11718/tid=11720] ppid=11716 vsize=915440 CPUtime=0.41
/proc/11718/task/11720/stat : 11720 (java) S 11716 11718 11483 0 -1 64 15454 0 0 0 35 6 0 0 16 0 8 0 155750051 937410560 32167 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11718/tid=11721] ppid=11716 vsize=915440 CPUtime=0
/proc/11718/task/11721/stat : 11721 (java) S 11716 11718 11483 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155750051 937410560 32167 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11718/tid=11722] ppid=11716 vsize=915440 CPUtime=0
/proc/11718/task/11722/stat : 11722 (java) S 11716 11718 11483 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155750051 937410560 32167 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11718/tid=11723] ppid=11716 vsize=915440 CPUtime=0
/proc/11718/task/11723/stat : 11723 (java) S 11716 11718 11483 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155750054 937410560 32167 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11718/tid=11724] ppid=11716 vsize=915440 CPUtime=0.19
/proc/11718/task/11724/stat : 11724 (java) S 11716 11718 11483 0 -1 64 379 0 0 0 18 1 0 0 15 0 8 0 155750054 937410560 32167 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11718/tid=11725] ppid=11716 vsize=915440 CPUtime=0
/proc/11718/task/11725/stat : 11725 (java) S 11716 11718 11483 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155750054 937410560 32167 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11718/tid=11726] ppid=11716 vsize=915440 CPUtime=0
/proc/11718/task/11726/stat : 11726 (java) S 11716 11718 11483 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155750054 937410560 32167 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 915440

[startup+6.28464 s]
/proc/loadavg: 1.60 1.75 1.86 3/100 11726
/proc/meminfo: memFree=1017680/2055920 swapFree=4191880/4192956
[pid=11718] ppid=11716 vsize=915440 CPUtime=6.26
/proc/11718/stat : 11718 (java) R 11716 11718 11483 0 -1 0 32450 0 1 0 607 19 0 0 25 0 8 0 155750047 937410560 32181 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11718/statm: 228860 32181 2521 14 0 215330 0
[pid=11718/tid=11720] ppid=11716 vsize=915440 CPUtime=0.41
/proc/11718/task/11720/stat : 11720 (java) S 11716 11718 11483 0 -1 64 15454 0 0 0 35 6 0 0 17 0 8 0 155750051 937410560 32181 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11718/tid=11721] ppid=11716 vsize=915440 CPUtime=0
/proc/11718/task/11721/stat : 11721 (java) S 11716 11718 11483 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155750051 937410560 32181 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11718/tid=11722] ppid=11716 vsize=915440 CPUtime=0
/proc/11718/task/11722/stat : 11722 (java) S 11716 11718 11483 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155750051 937410560 32181 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11718/tid=11723] ppid=11716 vsize=915440 CPUtime=0
/proc/11718/task/11723/stat : 11723 (java) S 11716 11718 11483 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155750054 937410560 32181 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11718/tid=11724] ppid=11716 vsize=915440 CPUtime=0.23
/proc/11718/task/11724/stat : 11724 (java) S 11716 11718 11483 0 -1 64 395 0 0 0 21 2 0 0 16 0 8 0 155750054 937410560 32181 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11718/tid=11725] ppid=11716 vsize=915440 CPUtime=0
/proc/11718/task/11725/stat : 11725 (java) S 11716 11718 11483 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155750054 937410560 32181 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11718/tid=11726] ppid=11716 vsize=915440 CPUtime=0
/proc/11718/task/11726/stat : 11726 (java) S 11716 11718 11483 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155750054 937410560 32181 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 915440

[startup+12.7723 s]
/proc/loadavg: 1.66 1.76 1.86 3/100 11726
/proc/meminfo: memFree=1017680/2055920 swapFree=4191880/4192956
[pid=11718] ppid=11716 vsize=915440 CPUtime=12.75
/proc/11718/stat : 11718 (java) R 11716 11718 11483 0 -1 0 32460 0 1 0 1255 20 0 0 25 0 8 0 155750047 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073629997 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11718/statm: 228860 32188 2521 14 0 215330 0
[pid=11718/tid=11720] ppid=11716 vsize=915440 CPUtime=0.41
/proc/11718/task/11720/stat : 11720 (java) S 11716 11718 11483 0 -1 64 15454 0 0 0 35 6 0 0 16 0 8 0 155750051 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11718/tid=11721] ppid=11716 vsize=915440 CPUtime=0
/proc/11718/task/11721/stat : 11721 (java) S 11716 11718 11483 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155750051 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11718/tid=11722] ppid=11716 vsize=915440 CPUtime=0
/proc/11718/task/11722/stat : 11722 (java) S 11716 11718 11483 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155750051 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11718/tid=11723] ppid=11716 vsize=915440 CPUtime=0
/proc/11718/task/11723/stat : 11723 (java) S 11716 11718 11483 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155750054 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11718/tid=11724] ppid=11716 vsize=915440 CPUtime=0.24
/proc/11718/task/11724/stat : 11724 (java) S 11716 11718 11483 0 -1 64 404 0 0 0 22 2 0 0 16 0 8 0 155750054 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11718/tid=11725] ppid=11716 vsize=915440 CPUtime=0
/proc/11718/task/11725/stat : 11725 (java) S 11716 11718 11483 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155750054 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11718/tid=11726] ppid=11716 vsize=915440 CPUtime=0
/proc/11718/task/11726/stat : 11726 (java) S 11716 11718 11483 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155750054 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.75
Current children cumulated vsize (KiB) 915440

[startup+25.6125 s]
/proc/loadavg: 1.71 1.76 1.86 3/100 11726
/proc/meminfo: memFree=1017808/2055920 swapFree=4191880/4192956
[pid=11718] ppid=11716 vsize=915440 CPUtime=25.56
/proc/11718/stat : 11718 (java) R 11716 11718 11483 0 -1 0 32460 0 1 0 2536 20 0 0 25 0 8 0 155750047 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073629987 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11718/statm: 228860 32188 2521 14 0 215330 0
[pid=11718/tid=11720] ppid=11716 vsize=915440 CPUtime=0.41
/proc/11718/task/11720/stat : 11720 (java) S 11716 11718 11483 0 -1 64 15454 0 0 0 35 6 0 0 16 0 8 0 155750051 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11718/tid=11721] ppid=11716 vsize=915440 CPUtime=0
/proc/11718/task/11721/stat : 11721 (java) S 11716 11718 11483 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155750051 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11718/tid=11722] ppid=11716 vsize=915440 CPUtime=0
/proc/11718/task/11722/stat : 11722 (java) S 11716 11718 11483 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155750051 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11718/tid=11723] ppid=11716 vsize=915440 CPUtime=0
/proc/11718/task/11723/stat : 11723 (java) S 11716 11718 11483 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155750054 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11718/tid=11724] ppid=11716 vsize=915440 CPUtime=0.24
/proc/11718/task/11724/stat : 11724 (java) S 11716 11718 11483 0 -1 64 404 0 0 0 22 2 0 0 16 0 8 0 155750054 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11718/tid=11725] ppid=11716 vsize=915440 CPUtime=0
/proc/11718/task/11725/stat : 11725 (java) S 11716 11718 11483 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155750054 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11718/tid=11726] ppid=11716 vsize=915440 CPUtime=0
/proc/11718/task/11726/stat : 11726 (java) S 11716 11718 11483 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155750054 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.56
Current children cumulated vsize (KiB) 915440

[startup+51.2269 s]
/proc/loadavg: 1.81 1.78 1.87 3/100 11726
/proc/meminfo: memFree=1017936/2055920 swapFree=4191880/4192956
[pid=11718] ppid=11716 vsize=915440 CPUtime=51.15
/proc/11718/stat : 11718 (java) R 11716 11718 11483 0 -1 0 32460 0 1 0 5095 20 0 0 25 0 8 0 155750047 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073813935 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11718/statm: 228860 32188 2521 14 0 215330 0
[pid=11718/tid=11720] ppid=11716 vsize=915440 CPUtime=0.41
/proc/11718/task/11720/stat : 11720 (java) S 11716 11718 11483 0 -1 64 15454 0 0 0 35 6 0 0 16 0 8 0 155750051 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11718/tid=11721] ppid=11716 vsize=915440 CPUtime=0
/proc/11718/task/11721/stat : 11721 (java) S 11716 11718 11483 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155750051 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11718/tid=11722] ppid=11716 vsize=915440 CPUtime=0
/proc/11718/task/11722/stat : 11722 (java) S 11716 11718 11483 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155750051 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11718/tid=11723] ppid=11716 vsize=915440 CPUtime=0
/proc/11718/task/11723/stat : 11723 (java) S 11716 11718 11483 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155750054 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11718/tid=11724] ppid=11716 vsize=915440 CPUtime=0.24
/proc/11718/task/11724/stat : 11724 (java) S 11716 11718 11483 0 -1 64 404 0 0 0 22 2 0 0 16 0 8 0 155750054 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11718/tid=11725] ppid=11716 vsize=915440 CPUtime=0
/proc/11718/task/11725/stat : 11725 (java) S 11716 11718 11483 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155750054 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11718/tid=11726] ppid=11716 vsize=915440 CPUtime=0
/proc/11718/task/11726/stat : 11726 (java) S 11716 11718 11483 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155750054 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.15
Current children cumulated vsize (KiB) 915440

[startup+102.448 s]
/proc/loadavg: 1.92 1.82 1.87 3/100 11726
/proc/meminfo: memFree=1018000/2055920 swapFree=4191880/4192956
[pid=11718] ppid=11716 vsize=915440 CPUtime=102.32
/proc/11718/stat : 11718 (java) R 11716 11718 11483 0 -1 0 32460 0 1 0 10212 20 0 0 25 0 8 0 155750047 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073834975 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11718/statm: 228860 32188 2521 14 0 215330 0
[pid=11718/tid=11720] ppid=11716 vsize=915440 CPUtime=0.41
/proc/11718/task/11720/stat : 11720 (java) S 11716 11718 11483 0 -1 64 15454 0 0 0 35 6 0 0 16 0 8 0 155750051 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11718/tid=11721] ppid=11716 vsize=915440 CPUtime=0
/proc/11718/task/11721/stat : 11721 (java) S 11716 11718 11483 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155750051 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11718/tid=11722] ppid=11716 vsize=915440 CPUtime=0
/proc/11718/task/11722/stat : 11722 (java) S 11716 11718 11483 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155750051 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11718/tid=11723] ppid=11716 vsize=915440 CPUtime=0
/proc/11718/task/11723/stat : 11723 (java) S 11716 11718 11483 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155750054 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11718/tid=11724] ppid=11716 vsize=915440 CPUtime=0.25
/proc/11718/task/11724/stat : 11724 (java) S 11716 11718 11483 0 -1 64 404 0 0 0 23 2 0 0 16 0 8 0 155750054 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11718/tid=11725] ppid=11716 vsize=915440 CPUtime=0
/proc/11718/task/11725/stat : 11725 (java) S 11716 11718 11483 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155750054 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11718/tid=11726] ppid=11716 vsize=915440 CPUtime=0
/proc/11718/task/11726/stat : 11726 (java) S 11716 11718 11483 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155750054 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.32
Current children cumulated vsize (KiB) 915440

[startup+162.515 s]
/proc/loadavg: 1.97 1.85 1.88 3/100 11726
/proc/meminfo: memFree=1018000/2055920 swapFree=4191880/4192956
[pid=11718] ppid=11716 vsize=915440 CPUtime=162.32
/proc/11718/stat : 11718 (java) R 11716 11718 11483 0 -1 0 32461 0 1 0 16211 21 0 0 25 0 8 0 155750047 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073833686 0 4 0 23759 18446744073709551615 0 0 17 0 0 0

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

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

[startup+1484.02 s]
/proc/loadavg: 1.49 1.83 1.87 2/88 12027
/proc/meminfo: memFree=1051048/2055920 swapFree=4191880/4192956
[pid=11718] ppid=11716 vsize=915440 CPUtime=1482.29
/proc/11718/stat : 11718 (java) R 11716 11718 11483 0 -1 0 32462 0 1 0 148184 45 0 0 25 0 8 0 155750047 937410560 32189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073809101 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11718/statm: 228860 32189 2521 14 0 215330 0
[pid=11718/tid=11720] ppid=11716 vsize=915440 CPUtime=0.41
/proc/11718/task/11720/stat : 11720 (java) S 11716 11718 11483 0 -1 64 15454 0 0 0 35 6 0 0 16 0 8 0 155750051 937410560 32189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11718/tid=11721] ppid=11716 vsize=915440 CPUtime=0
/proc/11718/task/11721/stat : 11721 (java) S 11716 11718 11483 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155750051 937410560 32189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11718/tid=11722] ppid=11716 vsize=915440 CPUtime=0
/proc/11718/task/11722/stat : 11722 (java) S 11716 11718 11483 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155750051 937410560 32189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11718/tid=11723] ppid=11716 vsize=915440 CPUtime=0
/proc/11718/task/11723/stat : 11723 (java) S 11716 11718 11483 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155750054 937410560 32189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11718/tid=11724] ppid=11716 vsize=915440 CPUtime=0.25
/proc/11718/task/11724/stat : 11724 (java) S 11716 11718 11483 0 -1 64 405 0 0 0 23 2 0 0 16 0 8 0 155750054 937410560 32189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11718/tid=11725] ppid=11716 vsize=915440 CPUtime=0
/proc/11718/task/11725/stat : 11725 (java) S 11716 11718 11483 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155750054 937410560 32189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11718/tid=11726] ppid=11716 vsize=915440 CPUtime=0
/proc/11718/task/11726/stat : 11726 (java) S 11716 11718 11483 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155750054 937410560 32189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1482.29
Current children cumulated vsize (KiB) 915440

[startup+1544.11 s]
/proc/loadavg: 1.74 1.83 1.86 3/100 12074
/proc/meminfo: memFree=1009288/2055920 swapFree=4191880/4192956
[pid=11718] ppid=11716 vsize=915440 CPUtime=1541.99
/proc/11718/stat : 11718 (java) R 11716 11718 11483 0 -1 0 32462 0 1 0 154153 46 0 0 25 0 8 0 155750047 937410560 32189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073858083 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11718/statm: 228860 32189 2521 14 0 215330 0
[pid=11718/tid=11720] ppid=11716 vsize=915440 CPUtime=0.41
/proc/11718/task/11720/stat : 11720 (java) S 11716 11718 11483 0 -1 64 15454 0 0 0 35 6 0 0 16 0 8 0 155750051 937410560 32189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11718/tid=11721] ppid=11716 vsize=915440 CPUtime=0
/proc/11718/task/11721/stat : 11721 (java) S 11716 11718 11483 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155750051 937410560 32189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11718/tid=11722] ppid=11716 vsize=915440 CPUtime=0
/proc/11718/task/11722/stat : 11722 (java) S 11716 11718 11483 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155750051 937410560 32189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11718/tid=11723] ppid=11716 vsize=915440 CPUtime=0
/proc/11718/task/11723/stat : 11723 (java) S 11716 11718 11483 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155750054 937410560 32189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11718/tid=11724] ppid=11716 vsize=915440 CPUtime=0.25
/proc/11718/task/11724/stat : 11724 (java) S 11716 11718 11483 0 -1 64 405 0 0 0 23 2 0 0 16 0 8 0 155750054 937410560 32189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11718/tid=11725] ppid=11716 vsize=915440 CPUtime=0
/proc/11718/task/11725/stat : 11725 (java) S 11716 11718 11483 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155750054 937410560 32189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11718/tid=11726] ppid=11716 vsize=915440 CPUtime=0
/proc/11718/task/11726/stat : 11726 (java) S 11716 11718 11483 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155750054 937410560 32189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1541.99
Current children cumulated vsize (KiB) 915440

[startup+1604.17 s]
/proc/loadavg: 1.83 1.83 1.86 3/100 12130
/proc/meminfo: memFree=1018824/2055920 swapFree=4191880/4192956
[pid=11718] ppid=11716 vsize=915440 CPUtime=1601.79
/proc/11718/stat : 11718 (java) R 11716 11718 11483 0 -1 0 32462 0 1 0 160132 47 0 0 25 0 8 0 155750047 937410560 32189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073833669 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11718/statm: 228860 32189 2521 14 0 215330 0
[pid=11718/tid=11720] ppid=11716 vsize=915440 CPUtime=0.41
/proc/11718/task/11720/stat : 11720 (java) S 11716 11718 11483 0 -1 64 15454 0 0 0 35 6 0 0 16 0 8 0 155750051 937410560 32189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11718/tid=11721] ppid=11716 vsize=915440 CPUtime=0
/proc/11718/task/11721/stat : 11721 (java) S 11716 11718 11483 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155750051 937410560 32189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11718/tid=11722] ppid=11716 vsize=915440 CPUtime=0
/proc/11718/task/11722/stat : 11722 (java) S 11716 11718 11483 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155750051 937410560 32189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11718/tid=11723] ppid=11716 vsize=915440 CPUtime=0
/proc/11718/task/11723/stat : 11723 (java) S 11716 11718 11483 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155750054 937410560 32189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11718/tid=11724] ppid=11716 vsize=915440 CPUtime=0.25
/proc/11718/task/11724/stat : 11724 (java) S 11716 11718 11483 0 -1 64 405 0 0 0 23 2 0 0 16 0 8 0 155750054 937410560 32189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11718/tid=11725] ppid=11716 vsize=915440 CPUtime=0
/proc/11718/task/11725/stat : 11725 (java) S 11716 11718 11483 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155750054 937410560 32189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11718/tid=11726] ppid=11716 vsize=915440 CPUtime=0
/proc/11718/task/11726/stat : 11726 (java) S 11716 11718 11483 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155750054 937410560 32189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1601.79
Current children cumulated vsize (KiB) 915440

[startup+1664.23 s]
/proc/loadavg: 1.94 1.86 1.86 3/100 12130
/proc/meminfo: memFree=1018824/2055920 swapFree=4191880/4192956
[pid=11718] ppid=11716 vsize=915440 CPUtime=1661.52
/proc/11718/stat : 11718 (java) R 11716 11718 11483 0 -1 0 32462 0 1 0 166105 47 0 0 25 0 8 0 155750047 937410560 32189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073860720 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11718/statm: 228860 32189 2521 14 0 215330 0
[pid=11718/tid=11720] ppid=11716 vsize=915440 CPUtime=0.41
/proc/11718/task/11720/stat : 11720 (java) S 11716 11718 11483 0 -1 64 15454 0 0 0 35 6 0 0 16 0 8 0 155750051 937410560 32189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11718/tid=11721] ppid=11716 vsize=915440 CPUtime=0
/proc/11718/task/11721/stat : 11721 (java) S 11716 11718 11483 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155750051 937410560 32189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11718/tid=11722] ppid=11716 vsize=915440 CPUtime=0
/proc/11718/task/11722/stat : 11722 (java) S 11716 11718 11483 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155750051 937410560 32189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11718/tid=11723] ppid=11716 vsize=915440 CPUtime=0
/proc/11718/task/11723/stat : 11723 (java) S 11716 11718 11483 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155750054 937410560 32189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11718/tid=11724] ppid=11716 vsize=915440 CPUtime=0.25
/proc/11718/task/11724/stat : 11724 (java) S 11716 11718 11483 0 -1 64 405 0 0 0 23 2 0 0 16 0 8 0 155750054 937410560 32189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11718/tid=11725] ppid=11716 vsize=915440 CPUtime=0
/proc/11718/task/11725/stat : 11725 (java) S 11716 11718 11483 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155750054 937410560 32189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11718/tid=11726] ppid=11716 vsize=915440 CPUtime=0
/proc/11718/task/11726/stat : 11726 (java) S 11716 11718 11483 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155750054 937410560 32189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1661.52
Current children cumulated vsize (KiB) 915440

[startup+1724.29 s]
/proc/loadavg: 1.90 1.86 1.87 3/100 12186
/proc/meminfo: memFree=980232/2055920 swapFree=4191880/4192956
[pid=11718] ppid=11716 vsize=915440 CPUtime=1721.3
/proc/11718/stat : 11718 (java) R 11716 11718 11483 0 -1 0 32462 0 1 0 172082 48 0 0 25 0 8 0 155750047 937410560 32189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073630003 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11718/statm: 228860 32189 2521 14 0 215330 0
[pid=11718/tid=11720] ppid=11716 vsize=915440 CPUtime=0.41
/proc/11718/task/11720/stat : 11720 (java) S 11716 11718 11483 0 -1 64 15454 0 0 0 35 6 0 0 16 0 8 0 155750051 937410560 32189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11718/tid=11721] ppid=11716 vsize=915440 CPUtime=0
/proc/11718/task/11721/stat : 11721 (java) S 11716 11718 11483 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155750051 937410560 32189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11718/tid=11722] ppid=11716 vsize=915440 CPUtime=0
/proc/11718/task/11722/stat : 11722 (java) S 11716 11718 11483 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155750051 937410560 32189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11718/tid=11723] ppid=11716 vsize=915440 CPUtime=0
/proc/11718/task/11723/stat : 11723 (java) S 11716 11718 11483 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155750054 937410560 32189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11718/tid=11724] ppid=11716 vsize=915440 CPUtime=0.25
/proc/11718/task/11724/stat : 11724 (java) S 11716 11718 11483 0 -1 64 405 0 0 0 23 2 0 0 16 0 8 0 155750054 937410560 32189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11718/tid=11725] ppid=11716 vsize=915440 CPUtime=0
/proc/11718/task/11725/stat : 11725 (java) S 11716 11718 11483 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155750054 937410560 32189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11718/tid=11726] ppid=11716 vsize=915440 CPUtime=0
/proc/11718/task/11726/stat : 11726 (java) S 11716 11718 11483 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155750054 937410560 32189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1721.3
Current children cumulated vsize (KiB) 915440

[startup+1784.3 s]
/proc/loadavg: 1.89 1.87 1.87 3/100 12242
/proc/meminfo: memFree=929416/2055920 swapFree=4191880/4192956
[pid=11718] ppid=11716 vsize=915440 CPUtime=1781.18
/proc/11718/stat : 11718 (java) R 11716 11718 11483 0 -1 0 32462 0 1 0 178067 51 0 0 25 0 8 0 155750047 937410560 32189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073629948 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11718/statm: 228860 32189 2521 14 0 215330 0
[pid=11718/tid=11720] ppid=11716 vsize=915440 CPUtime=0.41
/proc/11718/task/11720/stat : 11720 (java) S 11716 11718 11483 0 -1 64 15454 0 0 0 35 6 0 0 16 0 8 0 155750051 937410560 32189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11718/tid=11721] ppid=11716 vsize=915440 CPUtime=0
/proc/11718/task/11721/stat : 11721 (java) S 11716 11718 11483 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155750051 937410560 32189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11718/tid=11722] ppid=11716 vsize=915440 CPUtime=0
/proc/11718/task/11722/stat : 11722 (java) S 11716 11718 11483 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155750051 937410560 32189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11718/tid=11723] ppid=11716 vsize=915440 CPUtime=0
/proc/11718/task/11723/stat : 11723 (java) S 11716 11718 11483 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155750054 937410560 32189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11718/tid=11724] ppid=11716 vsize=915440 CPUtime=0.25
/proc/11718/task/11724/stat : 11724 (java) S 11716 11718 11483 0 -1 64 405 0 0 0 23 2 0 0 16 0 8 0 155750054 937410560 32189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11718/tid=11725] ppid=11716 vsize=915440 CPUtime=0
/proc/11718/task/11725/stat : 11725 (java) S 11716 11718 11483 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155750054 937410560 32189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11718/tid=11726] ppid=11716 vsize=915440 CPUtime=0
/proc/11718/task/11726/stat : 11726 (java) S 11716 11718 11483 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155750054 937410560 32189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1781.18
Current children cumulated vsize (KiB) 915440



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1803.33 s]
/proc/loadavg: 1.92 1.88 1.87 3/100 12242
/proc/meminfo: memFree=929544/2055920 swapFree=4191880/4192956
[pid=11718] ppid=11716 vsize=915440 CPUtime=1800.04
/proc/11718/stat : 11718 (java) R 11716 11718 11483 0 -1 0 32462 0 1 0 179953 51 0 0 25 0 8 0 155750047 937410560 32189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11718/statm: 228860 32189 2521 14 0 215330 0
[pid=11718/tid=11720] ppid=11716 vsize=915440 CPUtime=0.41
/proc/11718/task/11720/stat : 11720 (java) S 11716 11718 11483 0 -1 64 15454 0 0 0 35 6 0 0 16 0 8 0 155750051 937410560 32189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11718/tid=11721] ppid=11716 vsize=915440 CPUtime=0
/proc/11718/task/11721/stat : 11721 (java) S 11716 11718 11483 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155750051 937410560 32189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11718/tid=11722] ppid=11716 vsize=915440 CPUtime=0
/proc/11718/task/11722/stat : 11722 (java) S 11716 11718 11483 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155750051 937410560 32189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11718/tid=11723] ppid=11716 vsize=915440 CPUtime=0
/proc/11718/task/11723/stat : 11723 (java) S 11716 11718 11483 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155750054 937410560 32189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11718/tid=11724] ppid=11716 vsize=915440 CPUtime=0.25
/proc/11718/task/11724/stat : 11724 (java) S 11716 11718 11483 0 -1 64 405 0 0 0 23 2 0 0 16 0 8 0 155750054 937410560 32189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11718/tid=11725] ppid=11716 vsize=915440 CPUtime=0
/proc/11718/task/11725/stat : 11725 (java) S 11716 11718 11483 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155750054 937410560 32189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11718/tid=11726] ppid=11716 vsize=915440 CPUtime=0
/proc/11718/task/11726/stat : 11726 (java) S 11716 11718 11483 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155750054 937410560 32189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 915440

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

Child status: 143
Real time (s): 1803.39
CPU time (s): 1800.09
CPU user time (s): 1799.56
CPU system time (s): 0.531919
CPU usage (%): 99.8172
Max. virtual memory (cumulated for all children) (KiB): 915440

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.56
system time used= 0.531919
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32478
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= 37702
involuntary context switches= 66112

runsolver used 1.81072 s user time and 6.12507 s system time

The end

Launcher Data (download as text)

Begin job on node4 on Sat Jan  6 08:52:23 UTC 2007


IDJOB= 206242
IDBENCH= 4193
FILE ID= node4/206242-1168073539

PBS_JOBID= 3475769

Free space on /tmp= 66300 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  0a82da9d937cdb0fbe9aaf8f912dce76

RANDOM SEED= 708907922

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.223
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.223
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:       1137320 kB
Buffers:         73760 kB
Cached:         665200 kB
SwapCached:        268 kB
Active:         464824 kB
Inactive:       357556 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1137320 kB
SwapTotal:     4192956 kB
SwapFree:      4191880 kB
Dirty:            7620 kB
Writeback:           0 kB
Mapped:         111720 kB
Slab:            80676 kB
Committed_AS:  4535484 kB
PageTables:       2516 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= 66297 MiB



End job on node4 on Sat Jan  6 09:22:30 UTC 2007