Trace number 206346

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.07 1802.42

General information on the benchmark

Namerandom/rand-3-28-28/
rand-3-28-28-93-632-42_ext.xml
MD5SUM2bf69bcf4323300cb77969b0c34f3f41
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.28	   
0.28	Abscon 109 (November, 2006)
0.28	   
0.29	   configuration
0.29	     name=mac.xml
0.31	   
0.31	   instance
0.31	     name=/tmp/evaluation/206346-1168073551/unknown.xml
0.34	   
0.34	   domains being loaded...
0.35	   
0.35	   variables being loaded...
0.38	     nbVariables=28  nbDomainTypes=1  minDomainSize=28  maxDomainSize=28
0.38	       =>  wckTime=0.091  cpuTime=0.08  mem=6M951
0.38	   
0.38	   relations being loaded...
1.44	   
1.44	   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=15  maxArity=3
2.14	       =>  wckTime=1.848  cpuTime=1.49  mem=56M939
2.28	   
2.28	   solver IterativeSystematicSolver being built... 
2.44	       =>  wckTime=2.149  cpuTime=1.62  mem=65M72
2.44	   
2.44	   preprocessing
2.44	     nbConstraintChecks=0  nbPropagations=28  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
2.44	     detectedInconsistency=no
2.44	       =>  wckTime=0.0040  cpuTime=0.0  mem=65M72
2.62	   
2.62	   search
2.62	     run=0  nbConstraintChecks=67333  nbValidityChecks=128622  nbPropagations=573  nbRevisions=7215
2.62	     nbUselessRevisions=5784  nbAssignments=45  nbFailedAssignments=29  nbBacktracks=10  nbVisitedNodes=83
2.62	     nbRestartNogoods=0  mapSize=10  nbInferences=0  nbTooLargeKeys=0
2.62	       =>  wckTime=0.179  cpuTime=0.15  mem=65M72
2.74	   
2.74	   search
2.74	     run=1  nbConstraintChecks=135318  nbValidityChecks=260400  nbPropagations=1754  nbRevisions=22247
2.74	     nbUselessRevisions=17691  nbAssignments=92  nbFailedAssignments=53  nbBacktracks=27  nbVisitedNodes=164
2.74	     nbRestartNogoods=4  mapSize=25  nbInferences=0  nbTooLargeKeys=0
2.74	       =>  wckTime=0.303  cpuTime=0.27  mem=65M72
2.86	   
2.86	   search
2.86	     run=2  nbConstraintChecks=198273  nbValidityChecks=386476  nbPropagations=3580  nbRevisions=45457
2.86	     nbUselessRevisions=36157  nbAssignments=138  nbFailedAssignments=71  nbBacktracks=50  nbVisitedNodes=242
2.86	     nbRestartNogoods=7  mapSize=46  nbInferences=0  nbTooLargeKeys=0
2.86	       =>  wckTime=0.42  cpuTime=0.37  mem=65M72
3.07	   
3.08	   search
3.08	     run=3  nbConstraintChecks=332000  nbValidityChecks=653461  nbPropagations=6572  nbRevisions=83874
3.08	     nbUselessRevisions=66803  nbAssignments=232  nbFailedAssignments=126  nbBacktracks=83  nbVisitedNodes=415
3.08	     nbRestartNogoods=11  mapSize=78  nbInferences=0  nbTooLargeKeys=0
3.08	       =>  wckTime=0.636  cpuTime=0.59  mem=65M72
3.42	   
3.42	   search
3.42	     run=4  nbConstraintChecks=547767  nbValidityChecks=1096561  nbPropagations=11691  nbRevisions=149063
3.42	     nbUselessRevisions=118474  nbAssignments=373  nbFailedAssignments=211  nbBacktracks=134  nbVisitedNodes=682
3.42	     nbRestartNogoods=24  mapSize=129  nbInferences=0  nbTooLargeKeys=0
3.42	       =>  wckTime=0.975  cpuTime=0.93  mem=66M64
3.79	   
3.79	   search
3.79	     run=5  nbConstraintChecks=783546  nbValidityChecks=1530105  nbPropagations=18596  nbRevisions=238380
3.79	     nbUselessRevisions=189248  nbAssignments=527  nbFailedAssignments=285  nbBacktracks=209  nbVisitedNodes=946
3.79	     nbRestartNogoods=25  mapSize=176  nbInferences=0  nbTooLargeKeys=0
3.79	       =>  wckTime=1.346  cpuTime=1.29  mem=66M64
4.43	   
4.43	   search
4.43	     run=6  nbConstraintChecks=1189547  nbValidityChecks=2346067  nbPropagations=28867  nbRevisions=371680
4.43	     nbUselessRevisions=295090  nbAssignments=808  nbFailedAssignments=447  nbBacktracks=322  nbVisitedNodes=1452
4.43	     nbRestartNogoods=37  mapSize=261  nbInferences=0  nbTooLargeKeys=0
4.43	       =>  wckTime=1.989  cpuTime=1.93  mem=66M64
5.49	   
5.49	   search
5.49	     run=7  nbConstraintChecks=1876757  nbValidityChecks=3706352  nbPropagations=45753  nbRevisions=588894
5.49	     nbUselessRevisions=466227  nbAssignments=1289  nbFailedAssignments=751  nbBacktracks=492  nbVisitedNodes=2355
5.49	     nbRestartNogoods=41  mapSize=416  nbInferences=0  nbTooLargeKeys=0
5.49	       =>  wckTime=3.05  cpuTime=2.99  mem=66M64
7.16	   
7.16	   search
7.16	     run=8  nbConstraintChecks=2936763  nbValidityChecks=5895631  nbPropagations=71204  nbRevisions=924905
7.16	     nbUselessRevisions=731587  nbAssignments=2040  nbFailedAssignments=1239  nbBacktracks=748  nbVisitedNodes=3776
7.16	     nbRestartNogoods=49  mapSize=652  nbInferences=0  nbTooLargeKeys=0
7.16	       =>  wckTime=4.725  cpuTime=4.64  mem=66M64
9.46	   
9.47	   search
9.47	     run=9  nbConstraintChecks=4474068  nbValidityChecks=8919662  nbPropagations=111898  nbRevisions=1453876
9.47	     nbUselessRevisions=1146491  nbAssignments=3127  nbFailedAssignments=1934  nbBacktracks=1133  nbVisitedNodes=5833
9.47	     nbRestartNogoods=55  mapSize=1005  nbInferences=0  nbTooLargeKeys=0
9.47	       =>  wckTime=7.025  cpuTime=6.94  mem=66M64
9.60	   
9.60	   INFO : Stopping hyperNogood (mapSize=1020, nbTooLargekeys=0, mem=66M64)
13.11	   
13.11	   search
13.11	     run=10  nbConstraintChecks=6833261  nbValidityChecks=13745250  nbPropagations=172085  nbRevisions=2253874
13.11	     nbUselessRevisions=1775059  nbAssignments=4763  nbFailedAssignments=2988  nbBacktracks=1709  nbVisitedNodes=8938
13.11	     nbRestartNogoods=61
13.11	       =>  wckTime=10.67  cpuTime=10.55  mem=66M64
18.27	   
18.27	   search
18.27	     run=11  nbConstraintChecks=10400063  nbValidityChecks=20930620  nbPropagations=267576  nbRevisions=3502274
18.27	     nbUselessRevisions=2752161  nbAssignments=7393  nbFailedAssignments=4746  nbBacktracks=2574  nbVisitedNodes=13935
18.27	     nbRestartNogoods=70
18.27	       =>  wckTime=15.834  cpuTime=15.72  mem=66M64
25.34	   
25.34	   search
25.34	     run=12  nbConstraintChecks=15099981  nbValidityChecks=30193353  nbPropagations=407758  nbRevisions=5326698
25.34	     nbUselessRevisions=4186166  nbAssignments=10733  nbFailedAssignments=6780  nbBacktracks=3871  nbVisitedNodes=20177
25.34	     nbRestartNogoods=83
25.34	       =>  wckTime=22.902  cpuTime=22.78  mem=66M64
37.94	   
37.94	   search
37.94	     run=13  nbConstraintChecks=23586501  nbValidityChecks=46980325  nbPropagations=629422  nbRevisions=8183992
37.94	     nbUselessRevisions=6420056  nbAssignments=16646  nbFailedAssignments=10741  nbBacktracks=5817  nbVisitedNodes=31429
37.94	     nbRestartNogoods=95
37.94	       =>  wckTime=35.497  cpuTime=35.35  mem=66M64
56.61	   
56.61	   search
56.61	     run=14  nbConstraintChecks=36205930  nbValidityChecks=72396914  nbPropagations=959299  nbRevisions=12494944
56.61	     nbUselessRevisions=9809361  nbAssignments=25794  nbFailedAssignments=16963  nbBacktracks=8736  nbVisitedNodes=49085
56.61	     nbRestartNogoods=107
56.61	       =>  wckTime=54.173  cpuTime=54.02  mem=66M64
81.73	   
81.73	   search
81.73	     run=15  nbConstraintChecks=53101044  nbValidityChecks=106166701  nbPropagations=1460705  nbRevisions=18953954
81.73	     nbUselessRevisions=14867559  nbAssignments=37839  nbFailedAssignments=24622  nbBacktracks=13114
81.73	     nbVisitedNodes=72046  nbRestartNogoods=121
81.73	       =>  wckTime=79.289  cpuTime=79.1  mem=66M64
117.54	   
117.54	   search
117.54	     run=16  nbConstraintChecks=76669207  nbValidityChecks=153730252  nbPropagations=2170747  nbRevisions=28143828
117.54	     nbUselessRevisions=22081074  nbAssignments=53634  nbFailedAssignments=33844  nbBacktracks=19682
117.54	     nbVisitedNodes=101135  nbRestartNogoods=135
117.54	       =>  wckTime=115.098  cpuTime=114.87  mem=66M64
177.03	   
177.03	   search
177.03	     run=17  nbConstraintChecks=115899688  nbValidityChecks=232805556  nbPropagations=3256844  nbRevisions=41903778
177.03	     nbUselessRevisions=32883458  nbAssignments=83237  nbFailedAssignments=53587  nbBacktracks=29534
177.03	     nbVisitedNodes=157236  nbRestartNogoods=157
177.03	       =>  wckTime=174.59  cpuTime=174.29  mem=66M64
257.66	   
257.66	   search
257.66	     run=18  nbConstraintChecks=169466785  nbValidityChecks=341760307  nbPropagations=4863470  nbRevisions=62318371
257.66	     nbUselessRevisions=48881998  nbAssignments=121535  nbFailedAssignments=77099  nbBacktracks=44315
257.66	     nbVisitedNodes=229207  nbRestartNogoods=180
257.66	       =>  wckTime=255.218  cpuTime=254.83  mem=66M64
390.62	   
390.62	   search
390.62	     run=19  nbConstraintChecks=257779707  nbValidityChecks=516671294  nbPropagations=7241774  nbRevisions=92855993
390.62	     nbUselessRevisions=72848910  nbAssignments=178091  nbFailedAssignments=111478  nbBacktracks=66484
390.62	     nbVisitedNodes=334699  nbRestartNogoods=193
390.62	       =>  wckTime=388.179  cpuTime=387.65  mem=66M64
589.19	   
589.19	   search
589.19	     run=20  nbConstraintChecks=390538166  nbValidityChecks=781355143  nbPropagations=10914051  nbRevisions=139373790
589.19	     nbUselessRevisions=109330040  nbAssignments=273938  nbFailedAssignments=174066  nbBacktracks=99737
589.19	     nbVisitedNodes=516666  nbRestartNogoods=201
589.20	       =>  wckTime=586.756  cpuTime=585.95  mem=66M64
850.79	   
850.79	   search
850.79	     run=21  nbConstraintChecks=565178394  nbValidityChecks=1129327680  nbPropagations=16250229  nbRevisions=206974789
850.79	     nbUselessRevisions=162408251  nbAssignments=393751  nbFailedAssignments=243995  nbBacktracks=149616
850.79	     nbVisitedNodes=738331  nbRestartNogoods=214
850.79	       =>  wckTime=848.349  cpuTime=847.25  mem=66M64
1286.39	   
1286.39	   search
1286.39	     run=22  nbConstraintChecks=854701851  nbValidityChecks=1704935457  nbPropagations=24262126  nbRevisions=308618690
1286.39	     nbUselessRevisions=242183372  nbAssignments=584146  nbFailedAssignments=359566  nbBacktracks=224435
1286.39	     nbVisitedNodes=1095115  nbRestartNogoods=225
1286.39	       =>  wckTime=1283.948  cpuTime=1282.37  mem=66M64

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/node3/watcher-206346-1168073551 -o ROOT/results/node3/solver-206346-1168073551 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/206346-1168073551/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.67 1.88 1.89 5/93 29338
/proc/meminfo: memFree=1309672/2055920 swapFree=4192812/4192956
[pid=29337] ppid=29335 vsize=9788 CPUtime=0
/proc/29337/stat : 29337 (java) R 29335 29337 29270 0 -1 0 409 0 0 0 0 0 0 0 18 0 1 0 155751123 10022912 196 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 10894612 0 0 4096 0 0 0 0 17 0 0 0
/proc/29337/statm: 2447 206 158 14 0 1138 0

[startup+0.104277 s]
/proc/loadavg: 1.67 1.88 1.89 5/93 29338
/proc/meminfo: memFree=1309672/2055920 swapFree=4192812/4192956
[pid=29337] ppid=29335 vsize=914988 CPUtime=0.09
/proc/29337/stat : 29337 (java) R 29335 29337 29270 0 -1 0 3075 0 1 0 8 1 0 0 22 0 8 0 155751123 936947712 2821 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29337/statm: 228747 2821 1455 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988

[startup+0.513342 s]
/proc/loadavg: 1.67 1.88 1.89 5/93 29338
/proc/meminfo: memFree=1309672/2055920 swapFree=4192812/4192956
[pid=29337] ppid=29335 vsize=915328 CPUtime=0.49
/proc/29337/stat : 29337 (java) R 29335 29337 29270 0 -1 0 8453 0 1 0 45 4 0 0 25 0 8 0 155751123 937295872 8192 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073563230 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29337/statm: 228832 8193 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328

[startup+1.33448 s]
/proc/loadavg: 1.67 1.88 1.89 3/100 29345
/proc/meminfo: memFree=1242608/2055920 swapFree=4192812/4192956
[pid=29337] ppid=29335 vsize=915328 CPUtime=1.31
/proc/29337/stat : 29337 (java) R 29335 29337 29270 0 -1 0 19099 0 1 0 122 9 0 0 25 0 8 0 155751123 937295872 18837 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073563246 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29337/statm: 228832 18837 2149 14 0 215302 0
[pid=29337/tid=29339] ppid=29335 vsize=915328 CPUtime=0.04
/proc/29337/task/29339/stat : 29339 (java) S 29335 29337 29270 0 -1 64 2681 0 0 0 4 0 0 0 17 0 8 0 155751126 937295872 18837 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29337/tid=29340] ppid=29335 vsize=915328 CPUtime=0
/proc/29337/task/29340/stat : 29340 (java) S 29335 29337 29270 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155751127 937295872 18837 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29337/tid=29341] ppid=29335 vsize=915328 CPUtime=0
/proc/29337/task/29341/stat : 29341 (java) S 29335 29337 29270 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155751127 937295872 18837 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29337/tid=29342] ppid=29335 vsize=915328 CPUtime=0
/proc/29337/task/29342/stat : 29342 (java) S 29335 29337 29270 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155751130 937295872 18837 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29337/tid=29343] ppid=29335 vsize=915328 CPUtime=0.07
/proc/29337/task/29343/stat : 29343 (java) S 29335 29337 29270 0 -1 64 309 0 0 0 7 0 0 0 16 0 8 0 155751130 937295872 18837 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29337/tid=29344] ppid=29335 vsize=915328 CPUtime=0
/proc/29337/task/29344/stat : 29344 (java) S 29335 29337 29270 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155751130 937295872 18837 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29337/tid=29345] ppid=29335 vsize=915328 CPUtime=0
/proc/29337/task/29345/stat : 29345 (java) S 29335 29337 29270 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155751130 937295872 18837 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915328

[startup+2.97174 s]
/proc/loadavg: 1.67 1.88 1.89 5/100 29345
/proc/meminfo: memFree=1201904/2055920 swapFree=4192812/4192956
[pid=29337] ppid=29335 vsize=915440 CPUtime=2.96
/proc/29337/stat : 29337 (java) R 29335 29337 29270 0 -1 0 32431 0 1 0 280 16 0 0 25 0 8 0 155751123 937410560 32165 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073862901 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29337/statm: 228860 32165 2521 14 0 215330 0
[pid=29337/tid=29339] ppid=29335 vsize=915440 CPUtime=0.41
/proc/29337/task/29339/stat : 29339 (java) S 29335 29337 29270 0 -1 64 15453 0 0 0 35 6 0 0 16 0 8 0 155751126 937410560 32165 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29337/tid=29340] ppid=29335 vsize=915440 CPUtime=0
/proc/29337/task/29340/stat : 29340 (java) S 29335 29337 29270 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155751127 937410560 32165 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29337/tid=29341] ppid=29335 vsize=915440 CPUtime=0
/proc/29337/task/29341/stat : 29341 (java) S 29335 29337 29270 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155751127 937410560 32165 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29337/tid=29342] ppid=29335 vsize=915440 CPUtime=0
/proc/29337/task/29342/stat : 29342 (java) S 29335 29337 29270 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155751130 937410560 32165 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29337/tid=29343] ppid=29335 vsize=915440 CPUtime=0.19
/proc/29337/task/29343/stat : 29343 (java) S 29335 29337 29270 0 -1 64 379 0 0 0 19 0 0 0 15 0 8 0 155751130 937410560 32165 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29337/tid=29344] ppid=29335 vsize=915440 CPUtime=0
/proc/29337/task/29344/stat : 29344 (java) S 29335 29337 29270 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155751130 937410560 32165 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29337/tid=29345] ppid=29335 vsize=915440 CPUtime=0
/proc/29337/task/29345/stat : 29345 (java) S 29335 29337 29270 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155751130 937410560 32165 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 915440

[startup+6.27328 s]
/proc/loadavg: 1.69 1.88 1.89 3/100 29345
/proc/meminfo: memFree=1190448/2055920 swapFree=4192812/4192956
[pid=29337] ppid=29335 vsize=915440 CPUtime=6.25
/proc/29337/stat : 29337 (java) R 29335 29337 29270 0 -1 0 32447 0 1 0 609 16 0 0 25 0 8 0 155751123 937410560 32178 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072918480 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29337/statm: 228860 32178 2521 14 0 215330 0
[pid=29337/tid=29339] ppid=29335 vsize=915440 CPUtime=0.41
/proc/29337/task/29339/stat : 29339 (java) S 29335 29337 29270 0 -1 64 15453 0 0 0 35 6 0 0 17 0 8 0 155751126 937410560 32178 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29337/tid=29340] ppid=29335 vsize=915440 CPUtime=0
/proc/29337/task/29340/stat : 29340 (java) S 29335 29337 29270 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155751127 937410560 32178 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29337/tid=29341] ppid=29335 vsize=915440 CPUtime=0
/proc/29337/task/29341/stat : 29341 (java) S 29335 29337 29270 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155751127 937410560 32178 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29337/tid=29342] ppid=29335 vsize=915440 CPUtime=0
/proc/29337/task/29342/stat : 29342 (java) S 29335 29337 29270 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155751130 937410560 32178 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29337/tid=29343] ppid=29335 vsize=915440 CPUtime=0.23
/proc/29337/task/29343/stat : 29343 (java) S 29335 29337 29270 0 -1 64 394 0 0 0 22 1 0 0 16 0 8 0 155751130 937410560 32178 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29337/tid=29344] ppid=29335 vsize=915440 CPUtime=0
/proc/29337/task/29344/stat : 29344 (java) S 29335 29337 29270 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155751130 937410560 32178 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29337/tid=29345] ppid=29335 vsize=915440 CPUtime=0
/proc/29337/task/29345/stat : 29345 (java) S 29335 29337 29270 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155751130 937410560 32178 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 915440

[startup+12.7503 s]
/proc/loadavg: 1.72 1.88 1.90 3/100 29345
/proc/meminfo: memFree=1190448/2055920 swapFree=4192812/4192956
[pid=29337] ppid=29335 vsize=915440 CPUtime=12.73
/proc/29337/stat : 29337 (java) R 29335 29337 29270 0 -1 0 32458 0 1 0 1257 16 0 0 25 0 8 0 155751123 937410560 32186 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073664841 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29337/statm: 228860 32186 2521 14 0 215330 0
[pid=29337/tid=29339] ppid=29335 vsize=915440 CPUtime=0.41
/proc/29337/task/29339/stat : 29339 (java) S 29335 29337 29270 0 -1 64 15453 0 0 0 35 6 0 0 16 0 8 0 155751126 937410560 32186 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29337/tid=29340] ppid=29335 vsize=915440 CPUtime=0
/proc/29337/task/29340/stat : 29340 (java) S 29335 29337 29270 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155751127 937410560 32186 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29337/tid=29341] ppid=29335 vsize=915440 CPUtime=0
/proc/29337/task/29341/stat : 29341 (java) S 29335 29337 29270 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155751127 937410560 32186 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29337/tid=29342] ppid=29335 vsize=915440 CPUtime=0
/proc/29337/task/29342/stat : 29342 (java) S 29335 29337 29270 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155751130 937410560 32186 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29337/tid=29343] ppid=29335 vsize=915440 CPUtime=0.24
/proc/29337/task/29343/stat : 29343 (java) S 29335 29337 29270 0 -1 64 404 0 0 0 23 1 0 0 15 0 8 0 155751130 937410560 32186 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29337/tid=29344] ppid=29335 vsize=915440 CPUtime=0
/proc/29337/task/29344/stat : 29344 (java) S 29335 29337 29270 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155751130 937410560 32186 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29337/tid=29345] ppid=29335 vsize=915440 CPUtime=0
/proc/29337/task/29345/stat : 29345 (java) S 29335 29337 29270 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155751130 937410560 32186 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.73
Current children cumulated vsize (KiB) 915440

[startup+25.6124 s]
/proc/loadavg: 1.78 1.89 1.90 3/100 29345
/proc/meminfo: memFree=1190576/2055920 swapFree=4192812/4192956
[pid=29337] ppid=29335 vsize=915440 CPUtime=25.56
/proc/29337/stat : 29337 (java) R 29335 29337 29270 0 -1 0 32458 0 1 0 2540 16 0 0 25 0 8 0 155751123 937410560 32186 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073805528 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29337/statm: 228860 32186 2521 14 0 215330 0
[pid=29337/tid=29339] ppid=29335 vsize=915440 CPUtime=0.41
/proc/29337/task/29339/stat : 29339 (java) S 29335 29337 29270 0 -1 64 15453 0 0 0 35 6 0 0 16 0 8 0 155751126 937410560 32186 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29337/tid=29340] ppid=29335 vsize=915440 CPUtime=0
/proc/29337/task/29340/stat : 29340 (java) S 29335 29337 29270 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155751127 937410560 32186 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29337/tid=29341] ppid=29335 vsize=915440 CPUtime=0
/proc/29337/task/29341/stat : 29341 (java) S 29335 29337 29270 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155751127 937410560 32186 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29337/tid=29342] ppid=29335 vsize=915440 CPUtime=0
/proc/29337/task/29342/stat : 29342 (java) S 29335 29337 29270 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155751130 937410560 32186 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29337/tid=29343] ppid=29335 vsize=915440 CPUtime=0.24
/proc/29337/task/29343/stat : 29343 (java) S 29335 29337 29270 0 -1 64 404 0 0 0 23 1 0 0 15 0 8 0 155751130 937410560 32186 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29337/tid=29344] ppid=29335 vsize=915440 CPUtime=0
/proc/29337/task/29344/stat : 29344 (java) S 29335 29337 29270 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155751130 937410560 32186 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29337/tid=29345] ppid=29335 vsize=915440 CPUtime=0
/proc/29337/task/29345/stat : 29345 (java) S 29335 29337 29270 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155751130 937410560 32186 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.2226 s]
/proc/loadavg: 1.85 1.89 1.90 3/100 29345
/proc/meminfo: memFree=1190704/2055920 swapFree=4192812/4192956
[pid=29337] ppid=29335 vsize=915440 CPUtime=51.14
/proc/29337/stat : 29337 (java) R 29335 29337 29270 0 -1 0 32458 0 1 0 5098 16 0 0 25 0 8 0 155751123 937410560 32186 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073629997 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29337/statm: 228860 32186 2521 14 0 215330 0
[pid=29337/tid=29339] ppid=29335 vsize=915440 CPUtime=0.41
/proc/29337/task/29339/stat : 29339 (java) S 29335 29337 29270 0 -1 64 15453 0 0 0 35 6 0 0 16 0 8 0 155751126 937410560 32186 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29337/tid=29340] ppid=29335 vsize=915440 CPUtime=0
/proc/29337/task/29340/stat : 29340 (java) S 29335 29337 29270 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155751127 937410560 32186 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29337/tid=29341] ppid=29335 vsize=915440 CPUtime=0
/proc/29337/task/29341/stat : 29341 (java) S 29335 29337 29270 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155751127 937410560 32186 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29337/tid=29342] ppid=29335 vsize=915440 CPUtime=0
/proc/29337/task/29342/stat : 29342 (java) S 29335 29337 29270 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155751130 937410560 32186 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29337/tid=29343] ppid=29335 vsize=915440 CPUtime=0.24
/proc/29337/task/29343/stat : 29343 (java) S 29335 29337 29270 0 -1 64 404 0 0 0 23 1 0 0 15 0 8 0 155751130 937410560 32186 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29337/tid=29344] ppid=29335 vsize=915440 CPUtime=0
/proc/29337/task/29344/stat : 29344 (java) S 29335 29337 29270 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155751130 937410560 32186 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29337/tid=29345] ppid=29335 vsize=915440 CPUtime=0
/proc/29337/task/29345/stat : 29345 (java) S 29335 29337 29270 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155751130 937410560 32186 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.14
Current children cumulated vsize (KiB) 915440

[startup+102.44 s]
/proc/loadavg: 1.93 1.91 1.90 3/100 29345
/proc/meminfo: memFree=1190704/2055920 swapFree=4192812/4192956
[pid=29337] ppid=29335 vsize=915440 CPUtime=102.31
/proc/29337/stat : 29337 (java) R 29335 29337 29270 0 -1 0 32458 0 1 0 10215 16 0 0 25 0 8 0 155751123 937410560 32186 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29337/statm: 228860 32186 2521 14 0 215330 0
[pid=29337/tid=29339] ppid=29335 vsize=915440 CPUtime=0.41
/proc/29337/task/29339/stat : 29339 (java) S 29335 29337 29270 0 -1 64 15453 0 0 0 35 6 0 0 16 0 8 0 155751126 937410560 32186 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29337/tid=29340] ppid=29335 vsize=915440 CPUtime=0
/proc/29337/task/29340/stat : 29340 (java) S 29335 29337 29270 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155751127 937410560 32186 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29337/tid=29341] ppid=29335 vsize=915440 CPUtime=0
/proc/29337/task/29341/stat : 29341 (java) S 29335 29337 29270 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155751127 937410560 32186 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29337/tid=29342] ppid=29335 vsize=915440 CPUtime=0
/proc/29337/task/29342/stat : 29342 (java) S 29335 29337 29270 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155751130 937410560 32186 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29337/tid=29343] ppid=29335 vsize=915440 CPUtime=0.24
/proc/29337/task/29343/stat : 29343 (java) S 29335 29337 29270 0 -1 64 404 0 0 0 23 1 0 0 16 0 8 0 155751130 937410560 32186 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29337/tid=29344] ppid=29335 vsize=915440 CPUtime=0
/proc/29337/task/29344/stat : 29344 (java) S 29335 29337 29270 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155751130 937410560 32186 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29337/tid=29345] ppid=29335 vsize=915440 CPUtime=0
/proc/29337/task/29345/stat : 29345 (java) S 29335 29337 29270 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155751130 937410560 32186 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 915440

[startup+162.508 s]
/proc/loadavg: 2.04 1.94 1.91 3/100 29345
/proc/meminfo: memFree=1190768/2055920 swapFree=4192812/4192956
[pid=29337] ppid=29335 vsize=915440 CPUtime=162.3
/proc/29337/stat : 29337 (java) R 29335 29337 29270 0 -1 0 32459 0 1 0 16214 16 0 0 25 0 8 0 155751123 937410560 32186 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073629950 0 4 0 23759 18446744073709551615 0 0 17 0 0 0

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

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

[startup+1483.92 s]
/proc/loadavg: 1.36 1.75 1.84 3/90 29721
/proc/meminfo: memFree=1208064/2055920 swapFree=4192812/4192956
[pid=29337] ppid=29335 vsize=915440 CPUtime=1482.19
/proc/29337/stat : 29337 (java) R 29335 29337 29270 0 -1 0 32459 0 1 0 148172 47 0 0 25 0 8 0 155751123 937410560 32186 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073805445 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29337/statm: 228860 32186 2521 14 0 215330 0
[pid=29337/tid=29339] ppid=29335 vsize=915440 CPUtime=0.41
/proc/29337/task/29339/stat : 29339 (java) S 29335 29337 29270 0 -1 64 15453 0 0 0 35 6 0 0 16 0 8 0 155751126 937410560 32186 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29337/tid=29340] ppid=29335 vsize=915440 CPUtime=0
/proc/29337/task/29340/stat : 29340 (java) S 29335 29337 29270 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155751127 937410560 32186 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29337/tid=29341] ppid=29335 vsize=915440 CPUtime=0
/proc/29337/task/29341/stat : 29341 (java) S 29335 29337 29270 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155751127 937410560 32186 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29337/tid=29342] ppid=29335 vsize=915440 CPUtime=0
/proc/29337/task/29342/stat : 29342 (java) S 29335 29337 29270 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155751130 937410560 32186 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29337/tid=29343] ppid=29335 vsize=915440 CPUtime=0.24
/proc/29337/task/29343/stat : 29343 (java) S 29335 29337 29270 0 -1 64 404 0 0 0 23 1 0 0 16 0 8 0 155751130 937410560 32186 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29337/tid=29344] ppid=29335 vsize=915440 CPUtime=0
/proc/29337/task/29344/stat : 29344 (java) S 29335 29337 29270 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155751130 937410560 32186 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29337/tid=29345] ppid=29335 vsize=915440 CPUtime=0
/proc/29337/task/29345/stat : 29345 (java) S 29335 29337 29270 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155751130 937410560 32186 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1482.19
Current children cumulated vsize (KiB) 915440

[startup+1543.99 s]
/proc/loadavg: 1.58 1.72 1.82 2/88 29779
/proc/meminfo: memFree=1210448/2055920 swapFree=4192812/4192956
[pid=29337] ppid=29335 vsize=915440 CPUtime=1541.94
/proc/29337/stat : 29337 (java) R 29335 29337 29270 0 -1 0 32459 0 1 0 154146 48 0 0 25 0 8 0 155751123 937410560 32186 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073629940 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29337/statm: 228860 32186 2521 14 0 215330 0
[pid=29337/tid=29339] ppid=29335 vsize=915440 CPUtime=0.41
/proc/29337/task/29339/stat : 29339 (java) S 29335 29337 29270 0 -1 64 15453 0 0 0 35 6 0 0 16 0 8 0 155751126 937410560 32186 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29337/tid=29340] ppid=29335 vsize=915440 CPUtime=0
/proc/29337/task/29340/stat : 29340 (java) S 29335 29337 29270 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155751127 937410560 32186 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29337/tid=29341] ppid=29335 vsize=915440 CPUtime=0
/proc/29337/task/29341/stat : 29341 (java) S 29335 29337 29270 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155751127 937410560 32186 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29337/tid=29342] ppid=29335 vsize=915440 CPUtime=0
/proc/29337/task/29342/stat : 29342 (java) S 29335 29337 29270 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155751130 937410560 32186 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29337/tid=29343] ppid=29335 vsize=915440 CPUtime=0.24
/proc/29337/task/29343/stat : 29343 (java) S 29335 29337 29270 0 -1 64 404 0 0 0 23 1 0 0 16 0 8 0 155751130 937410560 32186 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29337/tid=29344] ppid=29335 vsize=915440 CPUtime=0
/proc/29337/task/29344/stat : 29344 (java) S 29335 29337 29270 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155751130 937410560 32186 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29337/tid=29345] ppid=29335 vsize=915440 CPUtime=0
/proc/29337/task/29345/stat : 29345 (java) S 29335 29337 29270 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155751130 937410560 32186 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1541.94
Current children cumulated vsize (KiB) 915440

[startup+1604.04 s]
/proc/loadavg: 1.81 1.75 1.82 3/100 29861
/proc/meminfo: memFree=1058616/2055920 swapFree=4192812/4192956
[pid=29337] ppid=29335 vsize=915440 CPUtime=1601.9
/proc/29337/stat : 29337 (java) R 29335 29337 29270 0 -1 0 32459 0 1 0 160141 49 0 0 25 0 8 0 155751123 937410560 32186 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073813321 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29337/statm: 228860 32186 2521 14 0 215330 0
[pid=29337/tid=29339] ppid=29335 vsize=915440 CPUtime=0.41
/proc/29337/task/29339/stat : 29339 (java) S 29335 29337 29270 0 -1 64 15453 0 0 0 35 6 0 0 16 0 8 0 155751126 937410560 32186 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29337/tid=29340] ppid=29335 vsize=915440 CPUtime=0
/proc/29337/task/29340/stat : 29340 (java) S 29335 29337 29270 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155751127 937410560 32186 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29337/tid=29341] ppid=29335 vsize=915440 CPUtime=0
/proc/29337/task/29341/stat : 29341 (java) S 29335 29337 29270 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155751127 937410560 32186 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29337/tid=29342] ppid=29335 vsize=915440 CPUtime=0
/proc/29337/task/29342/stat : 29342 (java) S 29335 29337 29270 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155751130 937410560 32186 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29337/tid=29343] ppid=29335 vsize=915440 CPUtime=0.24
/proc/29337/task/29343/stat : 29343 (java) S 29335 29337 29270 0 -1 64 404 0 0 0 23 1 0 0 16 0 8 0 155751130 937410560 32186 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29337/tid=29344] ppid=29335 vsize=915440 CPUtime=0
/proc/29337/task/29344/stat : 29344 (java) S 29335 29337 29270 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155751130 937410560 32186 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29337/tid=29345] ppid=29335 vsize=915440 CPUtime=0
/proc/29337/task/29345/stat : 29345 (java) S 29335 29337 29270 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155751130 937410560 32186 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1601.9
Current children cumulated vsize (KiB) 915440

[startup+1664.08 s]
/proc/loadavg: 1.93 1.80 1.83 3/100 29861
/proc/meminfo: memFree=1058680/2055920 swapFree=4192812/4192956
[pid=29337] ppid=29335 vsize=915440 CPUtime=1661.88
/proc/29337/stat : 29337 (java) R 29335 29337 29270 0 -1 0 32459 0 1 0 166139 49 0 0 25 0 8 0 155751123 937410560 32186 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073664841 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29337/statm: 228860 32186 2521 14 0 215330 0
[pid=29337/tid=29339] ppid=29335 vsize=915440 CPUtime=0.41
/proc/29337/task/29339/stat : 29339 (java) S 29335 29337 29270 0 -1 64 15453 0 0 0 35 6 0 0 16 0 8 0 155751126 937410560 32186 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29337/tid=29340] ppid=29335 vsize=915440 CPUtime=0
/proc/29337/task/29340/stat : 29340 (java) S 29335 29337 29270 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155751127 937410560 32186 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29337/tid=29341] ppid=29335 vsize=915440 CPUtime=0
/proc/29337/task/29341/stat : 29341 (java) S 29335 29337 29270 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155751127 937410560 32186 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29337/tid=29342] ppid=29335 vsize=915440 CPUtime=0
/proc/29337/task/29342/stat : 29342 (java) S 29335 29337 29270 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155751130 937410560 32186 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29337/tid=29343] ppid=29335 vsize=915440 CPUtime=0.24
/proc/29337/task/29343/stat : 29343 (java) S 29335 29337 29270 0 -1 64 404 0 0 0 23 1 0 0 16 0 8 0 155751130 937410560 32186 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29337/tid=29344] ppid=29335 vsize=915440 CPUtime=0
/proc/29337/task/29344/stat : 29344 (java) S 29335 29337 29270 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155751130 937410560 32186 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29337/tid=29345] ppid=29335 vsize=915440 CPUtime=0
/proc/29337/task/29345/stat : 29345 (java) S 29335 29337 29270 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155751130 937410560 32186 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1661.88
Current children cumulated vsize (KiB) 915440

[startup+1724.12 s]
/proc/loadavg: 2.03 1.85 1.84 3/100 29861
/proc/meminfo: memFree=1058616/2055920 swapFree=4192812/4192956
[pid=29337] ppid=29335 vsize=915440 CPUtime=1721.85
/proc/29337/stat : 29337 (java) R 29335 29337 29270 0 -1 0 32459 0 1 0 172136 49 0 0 25 0 8 0 155751123 937410560 32186 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073629912 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29337/statm: 228860 32186 2521 14 0 215330 0
[pid=29337/tid=29339] ppid=29335 vsize=915440 CPUtime=0.41
/proc/29337/task/29339/stat : 29339 (java) S 29335 29337 29270 0 -1 64 15453 0 0 0 35 6 0 0 16 0 8 0 155751126 937410560 32186 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29337/tid=29340] ppid=29335 vsize=915440 CPUtime=0
/proc/29337/task/29340/stat : 29340 (java) S 29335 29337 29270 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155751127 937410560 32186 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29337/tid=29341] ppid=29335 vsize=915440 CPUtime=0
/proc/29337/task/29341/stat : 29341 (java) S 29335 29337 29270 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155751127 937410560 32186 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29337/tid=29342] ppid=29335 vsize=915440 CPUtime=0
/proc/29337/task/29342/stat : 29342 (java) S 29335 29337 29270 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155751130 937410560 32186 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29337/tid=29343] ppid=29335 vsize=915440 CPUtime=0.24
/proc/29337/task/29343/stat : 29343 (java) S 29335 29337 29270 0 -1 64 404 0 0 0 23 1 0 0 16 0 8 0 155751130 937410560 32186 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29337/tid=29344] ppid=29335 vsize=915440 CPUtime=0
/proc/29337/task/29344/stat : 29344 (java) S 29335 29337 29270 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155751130 937410560 32186 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29337/tid=29345] ppid=29335 vsize=915440 CPUtime=0
/proc/29337/task/29345/stat : 29345 (java) S 29335 29337 29270 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155751130 937410560 32186 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1721.85
Current children cumulated vsize (KiB) 915440

[startup+1784.18 s]
/proc/loadavg: 2.01 1.87 1.85 3/100 29861
/proc/meminfo: memFree=1058680/2055920 swapFree=4192812/4192956
[pid=29337] ppid=29335 vsize=915440 CPUtime=1781.81
/proc/29337/stat : 29337 (java) R 29335 29337 29270 0 -1 0 32459 0 1 0 178132 49 0 0 25 0 8 0 155751123 937410560 32186 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073823868 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29337/statm: 228860 32186 2521 14 0 215330 0
[pid=29337/tid=29339] ppid=29335 vsize=915440 CPUtime=0.41
/proc/29337/task/29339/stat : 29339 (java) S 29335 29337 29270 0 -1 64 15453 0 0 0 35 6 0 0 16 0 8 0 155751126 937410560 32186 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29337/tid=29340] ppid=29335 vsize=915440 CPUtime=0
/proc/29337/task/29340/stat : 29340 (java) S 29335 29337 29270 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155751127 937410560 32186 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29337/tid=29341] ppid=29335 vsize=915440 CPUtime=0
/proc/29337/task/29341/stat : 29341 (java) S 29335 29337 29270 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155751127 937410560 32186 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29337/tid=29342] ppid=29335 vsize=915440 CPUtime=0
/proc/29337/task/29342/stat : 29342 (java) S 29335 29337 29270 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155751130 937410560 32186 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29337/tid=29343] ppid=29335 vsize=915440 CPUtime=0.24
/proc/29337/task/29343/stat : 29343 (java) S 29335 29337 29270 0 -1 64 404 0 0 0 23 1 0 0 16 0 8 0 155751130 937410560 32186 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29337/tid=29344] ppid=29335 vsize=915440 CPUtime=0
/proc/29337/task/29344/stat : 29344 (java) S 29335 29337 29270 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155751130 937410560 32186 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29337/tid=29345] ppid=29335 vsize=915440 CPUtime=0
/proc/29337/task/29345/stat : 29345 (java) S 29335 29337 29270 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155751130 937410560 32186 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1781.81
Current children cumulated vsize (KiB) 915440



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1802.37 s]
/proc/loadavg: 2.01 1.88 1.85 3/100 29861
/proc/meminfo: memFree=1058616/2055920 swapFree=4192812/4192956
[pid=29337] ppid=29335 vsize=915440 CPUtime=1800
/proc/29337/stat : 29337 (java) R 29335 29337 29270 0 -1 0 32459 0 1 0 179951 49 0 0 25 0 8 0 155751123 937410560 32186 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29337/statm: 228860 32186 2521 14 0 215330 0
[pid=29337/tid=29339] ppid=29335 vsize=915440 CPUtime=0.41
/proc/29337/task/29339/stat : 29339 (java) S 29335 29337 29270 0 -1 64 15453 0 0 0 35 6 0 0 16 0 8 0 155751126 937410560 32186 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29337/tid=29340] ppid=29335 vsize=915440 CPUtime=0
/proc/29337/task/29340/stat : 29340 (java) S 29335 29337 29270 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155751127 937410560 32186 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29337/tid=29341] ppid=29335 vsize=915440 CPUtime=0
/proc/29337/task/29341/stat : 29341 (java) S 29335 29337 29270 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155751127 937410560 32186 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29337/tid=29342] ppid=29335 vsize=915440 CPUtime=0
/proc/29337/task/29342/stat : 29342 (java) S 29335 29337 29270 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155751130 937410560 32186 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29337/tid=29343] ppid=29335 vsize=915440 CPUtime=0.24
/proc/29337/task/29343/stat : 29343 (java) S 29335 29337 29270 0 -1 64 404 0 0 0 23 1 0 0 16 0 8 0 155751130 937410560 32186 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29337/tid=29344] ppid=29335 vsize=915440 CPUtime=0
/proc/29337/task/29344/stat : 29344 (java) S 29335 29337 29270 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155751130 937410560 32186 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29337/tid=29345] ppid=29335 vsize=915440 CPUtime=0
/proc/29337/task/29345/stat : 29345 (java) S 29335 29337 29270 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155751130 937410560 32186 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 915440

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

Child status: 143
Real time (s): 1802.42
CPU time (s): 1800.07
CPU user time (s): 1799.55
CPU system time (s): 0.517921
CPU usage (%): 99.8691
Max. virtual memory (cumulated for all children) (KiB): 915440

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.55
system time used= 0.517921
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32476
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= 37649
involuntary context switches= 81849

runsolver used 2.24166 s user time and 5.66814 s system time

The end

Launcher Data (download as text)

Begin job on node3 on Sat Jan  6 08:52:34 UTC 2007


IDJOB= 206346
IDBENCH= 4201
FILE ID= node3/206346-1168073551

PBS_JOBID= 3475775

Free space on /tmp= 66537 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  2bf69bcf4323300cb77969b0c34f3f41

RANDOM SEED= 886284899

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.279
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.279
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:       1310152 kB
Buffers:         65368 kB
Cached:         500324 kB
SwapCached:          0 kB
Active:         154044 kB
Inactive:       496704 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1310152 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            7740 kB
Writeback:           0 kB
Mapped:         114020 kB
Slab:            79948 kB
Committed_AS:  4535416 kB
PageTables:       2164 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= 66537 MiB



End job on node3 on Sat Jan  6 09:22:38 UTC 2007