Trace number 194300

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 ESAC? (TO) 1800.08 1800.62

General information on the benchmark

Namerandom/rand-2-50-23/
rand-2-50-23-587-230-4_ext.xml
MD5SUM3f96ceed2b39b1d29e3438c6ada76518
Bench Category2-ARY-EXT (binary constraints in extension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark419.269
SatisfiableYES
(Un)Satisfiability was proved
Number of variables50
Number of constraints470
Maximum constraint arity2
Maximum domain size23
Number of constraints which are defined in extension470
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Solver Data (download as text)

0.31	   
0.31	Abscon 109 (November, 2006)
0.31	   
0.31	   configuration
0.31	     name=esac.xml
0.35	   
0.35	   instance
0.35	     name=/tmp/evaluation/194300-1168099808/unknown.xml
0.38	   
0.38	   domains being loaded...
0.38	   
0.38	   variables being loaded...
0.42	     nbVariables=50  nbDomainTypes=1  minDomainSize=23  maxDomainSize=23
0.42	       =>  wckTime=0.102  cpuTime=0.09  mem=6M951
0.42	   
0.42	   relations being loaded...
0.57	   
0.57	   constraints being loaded...
0.71	     nbConstraints=470  nbRelationTypes=470  nbExtensionStructures=470  nbSharedExtensionStructures=0
0.71	     nbConflictsStructures=470  nbSharedConflictsStructures=0  nbSharedBinaryRepresentations=2467  maxDegree=27
0.71	     maxArity=2
0.71	       =>  wckTime=0.395  cpuTime=0.31  mem=17M711
0.76	   
0.76	   solver IterativeSystematicSolver being built... 
0.92	       =>  wckTime=0.604  cpuTime=0.45  mem=15M587
0.98	   
0.98	   preprocessing
0.98	     nbConstraintChecks=114457  nbPropagations=1221  nbRevisions=10053  nbUselessRevisions=8378  nbSingletonTests=62
0.98	     nbEffectiveSingletonTests=0  nbESACBranches=6  nbRemovedValues=0  detectedInconsistency=no
0.98	       =>  wckTime=0.06  cpuTime=0.04  mem=15M587
1.01	   
1.01	   search
1.01	     run=0  nbConstraintChecks=49306  nbPropagations=1838  nbRevisions=17490  nbUselessRevisions=14600  nbAssignments=32
1.01	     nbFailedAssignments=10  nbBacktracks=10  nbVisitedNodes=49  nbRestartNogoods=0  mapSize=9  nbInferences=0
1.01	     nbTooLargeKeys=0
1.01	       =>  wckTime=0.09  cpuTime=0.06  mem=15M587
1.03	   
1.03	   search
1.03	     run=1  nbConstraintChecks=106489  nbPropagations=4306  nbRevisions=42765  nbUselessRevisions=35632
1.03	     nbAssignments=65  nbFailedAssignments=17  nbBacktracks=25  nbVisitedNodes=98  nbRestartNogoods=2  mapSize=21
1.03	     nbInferences=0  nbTooLargeKeys=0
1.03	       =>  wckTime=0.11  cpuTime=0.07  mem=15M587
1.05	   
1.05	   search
1.05	     run=2  nbConstraintChecks=181666  nbPropagations=7717  nbRevisions=80267  nbUselessRevisions=66770
1.05	     nbAssignments=110  nbFailedAssignments=28  nbBacktracks=49  nbVisitedNodes=166  nbRestartNogoods=4  mapSize=38
1.05	     nbInferences=0  nbTooLargeKeys=0
1.05	       =>  wckTime=0.125  cpuTime=0.09  mem=15M587
1.07	   
1.07	   search
1.07	     run=3  nbConstraintChecks=299115  nbPropagations=12484  nbRevisions=136478  nbUselessRevisions=113191
1.07	     nbAssignments=179  nbFailedAssignments=51  nbBacktracks=83  nbVisitedNodes=278  nbRestartNogoods=7  mapSize=67
1.07	     nbInferences=0  nbTooLargeKeys=0
1.07	       =>  wckTime=0.149  cpuTime=0.11  mem=15M587
1.10	   
1.10	   search
1.11	     run=4  nbConstraintChecks=466878  nbPropagations=19137  nbRevisions=220552  nbUselessRevisions=182360
1.11	     nbAssignments=268  nbFailedAssignments=80  nbBacktracks=134  nbVisitedNodes=428  nbRestartNogoods=11  mapSize=110
1.11	     nbInferences=0  nbTooLargeKeys=0
1.11	       =>  wckTime=0.18  cpuTime=0.14  mem=15M587
1.14	   
1.14	   search
1.14	     run=5  nbConstraintChecks=656273  nbPropagations=28234  nbRevisions=339659  nbUselessRevisions=280289
1.14	     nbAssignments=388  nbFailedAssignments=115  nbBacktracks=213  nbVisitedNodes=624  nbRestartNogoods=17  mapSize=172
1.14	     nbInferences=0  nbTooLargeKeys=0
1.14	       =>  wckTime=0.22  cpuTime=0.17  mem=15M587
1.21	   
1.21	   search
1.21	     run=6  nbConstraintChecks=1056813  nbPropagations=41640  nbRevisions=525982  nbUselessRevisions=432625
1.21	     nbAssignments=610  nbFailedAssignments=213  nbBacktracks=328  nbVisitedNodes=1001  nbRestartNogoods=18  mapSize=268
1.21	     nbInferences=0  nbTooLargeKeys=0
1.21	       =>  wckTime=0.287  cpuTime=0.24  mem=15M587
1.28	   
1.28	   search
1.28	     run=7  nbConstraintChecks=1424096  nbPropagations=60063  nbRevisions=783684  nbUselessRevisions=644001
1.28	     nbAssignments=890  nbFailedAssignments=308  nbBacktracks=500  nbVisitedNodes=1461  nbRestartNogoods=22  mapSize=407
1.28	     nbInferences=0  nbTooLargeKeys=0
1.28	       =>  wckTime=0.358  cpuTime=0.31  mem=15M587
1.40	   
1.40	   search
1.40	     run=8  nbConstraintChecks=2093532  nbPropagations=86642  nbRevisions=1165458  nbUselessRevisions=957469
1.40	     nbAssignments=1307  nbFailedAssignments=459  nbBacktracks=756  nbVisitedNodes=2156  nbRestartNogoods=29
1.40	     mapSize=612  nbInferences=0  nbTooLargeKeys=0
1.40	       =>  wckTime=0.48  cpuTime=0.43  mem=15M587
1.60	   
1.60	   search
1.60	     run=9  nbConstraintChecks=3193276  nbPropagations=126083  nbRevisions=1747859  nbUselessRevisions=1435709
1.60	     nbAssignments=1968  nbFailedAssignments=724  nbBacktracks=1141  nbVisitedNodes=3293  nbRestartNogoods=36
1.60	     mapSize=939  nbInferences=0  nbTooLargeKeys=0
1.60	       =>  wckTime=0.675  cpuTime=0.61  mem=15M587
1.66	   
1.66	   INFO : Stopping hyperNogood (mapSize=1031, nbTooLargekeys=0, mem=15M587)
1.88	   
1.88	   search
1.88	     run=10  nbConstraintChecks=4949727  nbPropagations=185407  nbRevisions=2644043  nbUselessRevisions=2170305
1.88	     nbAssignments=2957  nbFailedAssignments=1125  nbBacktracks=1717  nbVisitedNodes=5011  nbRestartNogoods=43
1.88	       =>  wckTime=0.953  cpuTime=0.88  mem=15M587
2.20	   
2.20	   search
2.20	     run=11  nbConstraintChecks=6939506  nbPropagations=270732  nbRevisions=3928606  nbUselessRevisions=3225262
2.20	     nbAssignments=4345  nbFailedAssignments=1625  nbBacktracks=2581  nbVisitedNodes=7314  nbRestartNogoods=51
2.20	       =>  wckTime=1.274  cpuTime=1.19  mem=15M587
2.70	   
2.70	   search
2.70	     run=12  nbConstraintChecks=10273045  nbPropagations=395710  nbRevisions=5815267  nbUselessRevisions=4770234
2.70	     nbAssignments=6449  nbFailedAssignments=2424  nbBacktracks=3879  nbVisitedNodes=10846  nbRestartNogoods=57
2.70	       =>  wckTime=1.781  cpuTime=1.7  mem=15M587
3.58	   
3.58	   search
3.58	     run=13  nbConstraintChecks=16123434  nbPropagations=587633  nbRevisions=8762562  nbUselessRevisions=7185255
3.58	     nbAssignments=9802  nbFailedAssignments=3821  nbBacktracks=5827  nbVisitedNodes=16688  nbRestartNogoods=64
3.58	       =>  wckTime=2.654  cpuTime=2.57  mem=15M587
4.60	   
4.60	   search
4.61	     run=14  nbConstraintChecks=22479861  nbPropagations=863886  nbRevisions=12977934  nbUselessRevisions=10645281
4.61	     nbAssignments=14376  nbFailedAssignments=5465  nbBacktracks=8746  nbVisitedNodes=24366  nbRestartNogoods=73
4.61	       =>  wckTime=3.682  cpuTime=3.6  mem=15M587
6.62	   
6.62	   search
6.62	     run=15  nbConstraintChecks=36094133  nbPropagations=1295675  nbRevisions=19667713  nbUselessRevisions=16138719
6.62	     nbAssignments=21937  nbFailedAssignments=8637  nbBacktracks=13124  nbVisitedNodes=37635  nbRestartNogoods=80
6.62	       =>  wckTime=5.7  cpuTime=5.62  mem=16M562
8.91	   
8.91	   search
8.91	     run=16  nbConstraintChecks=50091121  nbPropagations=1914963  nbRevisions=29188390  nbUselessRevisions=23969711
8.91	     nbAssignments=32190  nbFailedAssignments=12291  nbBacktracks=19693  nbVisitedNodes=54841  nbRestartNogoods=91
8.91	       =>  wckTime=7.982  cpuTime=7.9  mem=16M562
12.84	   
12.84	   search
12.84	     run=17  nbConstraintChecks=76076555  nbPropagations=2840349  nbRevisions=43425513  nbUselessRevisions=35672112
12.84	     nbAssignments=47673  nbFailedAssignments=17909  nbBacktracks=29548  nbVisitedNodes=81041  nbRestartNogoods=96
12.84	       =>  wckTime=11.916  cpuTime=11.83  mem=16M562
19.05	   
19.05	   search
19.05	     run=18  nbConstraintChecks=117353410  nbPropagations=4245436  nbRevisions=65076342  nbUselessRevisions=53426348
19.05	     nbAssignments=72020  nbFailedAssignments=27467  nbBacktracks=44326  nbVisitedNodes=122907  nbRestartNogoods=107
19.05	       =>  wckTime=18.129  cpuTime=18.04  mem=16M562
27.61	   
27.61	   search
27.61	     run=19  nbConstraintChecks=173028904  nbPropagations=6330062  nbRevisions=97298673  nbUselessRevisions=79890017
27.61	     nbAssignments=107476  nbFailedAssignments=40745  nbBacktracks=66495  nbVisitedNodes=183166  nbRestartNogoods=118
27.61	       =>  wckTime=26.684  cpuTime=26.59  mem=16M562
41.01	   
41.01	   search
41.01	     run=20  nbConstraintChecks=261609106  nbPropagations=9467401  nbRevisions=145639198  nbUselessRevisions=119553591
41.01	     nbAssignments=160891  nbFailedAssignments=60881  nbBacktracks=99747  nbVisitedNodes=274614  nbRestartNogoods=134
41.01	       =>  wckTime=40.087  cpuTime=39.98  mem=16M562
61.94	   
61.94	   search
61.94	     run=21  nbConstraintChecks=400937129  nbPropagations=14235860  nbRevisions=219340042  nbUselessRevisions=180008229
61.94	     nbAssignments=242502  nbFailedAssignments=92586  nbBacktracks=149626  nbVisitedNodes=415356  nbRestartNogoods=146
61.94	       =>  wckTime=61.019  cpuTime=60.91  mem=16M562
90.18	   
90.21	   search
90.21	     run=22  nbConstraintChecks=581162464  nbPropagations=21259736  nbRevisions=327896972  nbUselessRevisions=269200384
90.21	     nbAssignments=361076  nbFailedAssignments=136329  nbBacktracks=224447  nbVisitedNodes=616337  nbRestartNogoods=155
90.21	       =>  wckTime=89.262  cpuTime=89.15  mem=16M562
141.12	   
141.12	   search
141.12	     run=23  nbConstraintChecks=929518051  nbPropagations=32135061  nbRevisions=497686069  nbUselessRevisions=408541800
141.12	     nbAssignments=550008  nbFailedAssignments=213022  nbBacktracks=336675  nbVisitedNodes=945489  nbRestartNogoods=160
141.12	       =>  wckTime=140.196  cpuTime=140.06  mem=16M562
206.19	   
206.19	   search
206.19	     run=24  nbConstraintChecks=1351246984  nbPropagations=48151411  nbRevisions=747584417  nbUselessRevisions=613947719
206.19	     nbAssignments=814829  nbFailedAssignments=309493  nbBacktracks=505016  nbVisitedNodes=1393507  nbRestartNogoods=171
206.19	       =>  wckTime=205.267  cpuTime=205.12  mem=16M562
315.19	   
315.19	   search
315.19	     run=25  nbConstraintChecks=2083301593  nbPropagations=72570136  nbRevisions=1129486426
315.19	     nbUselessRevisions=927659129  nbAssignments=1230161  nbFailedAssignments=472303  nbBacktracks=757527
315.19	     nbVisitedNodes=2111546  nbRestartNogoods=180
315.19	       =>  wckTime=314.263  cpuTime=314.08  mem=16M562
460.27	   
460.27	   search
460.27	     run=26  nbConstraintChecks=3013956484  nbPropagations=108541614  nbRevisions=1690147782
460.27	     nbUselessRevisions=1388705745  nbAssignments=1832908  nbFailedAssignments=696254  nbBacktracks=1136295
460.27	     nbVisitedNodes=3136690  nbRestartNogoods=198
460.27	       =>  wckTime=459.346  cpuTime=459.12  mem=16M562
691.96	   
691.96	   search
691.96	     run=27  nbConstraintChecks=4551514270  nbPropagations=162580428  nbRevisions=2530340702
691.96	     nbUselessRevisions=2078753871  nbAssignments=2748362  nbFailedAssignments=1043545  nbBacktracks=1704449
691.96	     nbVisitedNodes=4700450  nbRestartNogoods=215
691.96	       =>  wckTime=691.035  cpuTime=690.74  mem=16M562
1062.95	   
1062.95	   search
1062.95	     run=28  nbConstraintChecks=7069693182  nbPropagations=244971477  nbRevisions=3819188184
1062.95	     nbUselessRevisions=3137126216  nbAssignments=4145902  nbFailedAssignments=1588848  nbBacktracks=2556676
1062.95	     nbVisitedNodes=7113378  nbRestartNogoods=225
1062.95	       =>  wckTime=1062.025  cpuTime=1061.63  mem=16M562
1598.38	   
1598.38	   search
1598.38	     run=29  nbConstraintChecks=10634511461  nbPropagations=369001052  nbRevisions=5757944698
1598.38	     nbUselessRevisions=4729082048  nbAssignments=6223283  nbFailedAssignments=2387879  nbBacktracks=3835019
1598.38	     nbVisitedNodes=10684143  nbRestartNogoods=243
1598.38	       =>  wckTime=1597.462  cpuTime=1596.91  mem=16M562

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/node59/watcher-194300-1168099808 -o ROOT/results/node59/solver-194300-1168099808 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/194300-1168099808/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: 0.10 0.11 0.31 4/70 410
/proc/meminfo: memFree=1868152/2055920 swapFree=4192812/4192956
[pid=409] ppid=406 vsize=18540 CPUtime=0
/proc/409/stat : 409 (runsolver) D 406 409 31904 0 -1 4194368 17 0 0 0 0 0 0 0 20 0 1 0 158380253 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 217051622695 0 2147483391 4096 24578 18446744072099781622 0 0 17 0 0 0
/proc/409/statm: 4635 279 244 17 0 2626 0

[startup+0.106573 s]
/proc/loadavg: 0.10 0.11 0.31 4/70 410
/proc/meminfo: memFree=1868152/2055920 swapFree=4192812/4192956
[pid=409] ppid=406 vsize=914988 CPUtime=0.08
/proc/409/stat : 409 (java) R 406 409 31904 0 -1 0 2974 0 1 0 7 1 0 0 18 0 8 0 158380253 936947712 2720 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155582906 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/409/statm: 228747 2720 1422 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988

[startup+0.517618 s]
/proc/loadavg: 0.10 0.11 0.31 4/70 410
/proc/meminfo: memFree=1868152/2055920 swapFree=4192812/4192956
[pid=409] ppid=406 vsize=915328 CPUtime=0.48
/proc/409/stat : 409 (java) R 406 409 31904 0 -1 0 6989 0 1 0 45 3 0 0 18 0 8 0 158380253 937295872 6728 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/409/statm: 228832 6728 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328

[startup+1.35571 s]
/proc/loadavg: 0.10 0.11 0.31 4/88 429
/proc/meminfo: memFree=1828192/2055920 swapFree=4192812/4192956
[pid=409] ppid=406 vsize=915460 CPUtime=1.32
/proc/409/stat : 409 (java) R 406 409 31904 0 -1 0 9655 0 1 0 126 6 0 0 25 0 8 0 158380253 937431040 9393 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073828052 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/409/statm: 228865 9393 2524 14 0 215335 0
[pid=409/tid=417] ppid=406 vsize=915460 CPUtime=0.03
/proc/409/task/417/stat : 417 (java) S 406 409 31904 0 -1 64 411 0 0 0 3 0 0 0 17 0 8 0 158380258 937431040 9393 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=409/tid=420] ppid=406 vsize=915460 CPUtime=0
/proc/409/task/420/stat : 420 (java) S 406 409 31904 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 158380258 937431040 9393 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=409/tid=421] ppid=406 vsize=915460 CPUtime=0
/proc/409/task/421/stat : 421 (java) S 406 409 31904 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 158380258 937431040 9393 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=409/tid=422] ppid=406 vsize=915460 CPUtime=0
/proc/409/task/422/stat : 422 (java) S 406 409 31904 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 158380261 937431040 9393 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=409/tid=424] ppid=406 vsize=915460 CPUtime=0.2
/proc/409/task/424/stat : 424 (java) S 406 409 31904 0 -1 64 382 0 0 0 20 0 0 0 15 0 8 0 158380261 937431040 9393 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=409/tid=426] ppid=406 vsize=915460 CPUtime=0
/proc/409/task/426/stat : 426 (java) S 406 409 31904 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 158380261 937431040 9393 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=409/tid=428] ppid=406 vsize=915460 CPUtime=0
/proc/409/task/428/stat : 428 (java) S 406 409 31904 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 158380261 937431040 9393 18446744073709551615 134512640 134570532 4294956480 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) 915460

[startup+2.99589 s]
/proc/loadavg: 0.25 0.14 0.32 3/88 429
/proc/meminfo: memFree=1828064/2055920 swapFree=4192812/4192956
[pid=409] ppid=406 vsize=915460 CPUtime=2.96
/proc/409/stat : 409 (java) R 406 409 31904 0 -1 0 9672 0 1 0 290 6 0 0 25 0 8 0 158380253 937431040 9409 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073831264 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/409/statm: 228865 9409 2524 14 0 215335 0
[pid=409/tid=417] ppid=406 vsize=915460 CPUtime=0.03
/proc/409/task/417/stat : 417 (java) S 406 409 31904 0 -1 64 411 0 0 0 3 0 0 0 17 0 8 0 158380258 937431040 9409 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=409/tid=420] ppid=406 vsize=915460 CPUtime=0
/proc/409/task/420/stat : 420 (java) S 406 409 31904 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 158380258 937431040 9409 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=409/tid=421] ppid=406 vsize=915460 CPUtime=0
/proc/409/task/421/stat : 421 (java) S 406 409 31904 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 158380258 937431040 9409 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=409/tid=422] ppid=406 vsize=915460 CPUtime=0
/proc/409/task/422/stat : 422 (java) S 406 409 31904 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 158380261 937431040 9409 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=409/tid=424] ppid=406 vsize=915460 CPUtime=0.23
/proc/409/task/424/stat : 424 (java) S 406 409 31904 0 -1 64 399 0 0 0 23 0 0 0 15 0 8 0 158380261 937431040 9409 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=409/tid=426] ppid=406 vsize=915460 CPUtime=0
/proc/409/task/426/stat : 426 (java) S 406 409 31904 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 158380261 937431040 9409 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=409/tid=428] ppid=406 vsize=915460 CPUtime=0
/proc/409/task/428/stat : 428 (java) S 406 409 31904 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 158380261 937431040 9409 18446744073709551615 134512640 134570532 4294956480 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) 915460

[startup+6.27525 s]
/proc/loadavg: 0.25 0.14 0.32 3/88 429
/proc/meminfo: memFree=1828000/2055920 swapFree=4192812/4192956
[pid=409] ppid=406 vsize=915460 CPUtime=6.24
/proc/409/stat : 409 (java) R 406 409 31904 0 -1 0 9673 0 1 0 618 6 0 0 25 0 8 0 158380253 937431040 9409 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073813708 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/409/statm: 228865 9409 2524 14 0 215335 0
[pid=409/tid=417] ppid=406 vsize=915460 CPUtime=0.03
/proc/409/task/417/stat : 417 (java) S 406 409 31904 0 -1 64 411 0 0 0 3 0 0 0 16 0 8 0 158380258 937431040 9409 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=409/tid=420] ppid=406 vsize=915460 CPUtime=0
/proc/409/task/420/stat : 420 (java) S 406 409 31904 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 158380258 937431040 9409 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=409/tid=421] ppid=406 vsize=915460 CPUtime=0
/proc/409/task/421/stat : 421 (java) S 406 409 31904 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 158380258 937431040 9409 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=409/tid=422] ppid=406 vsize=915460 CPUtime=0
/proc/409/task/422/stat : 422 (java) S 406 409 31904 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 158380261 937431040 9409 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=409/tid=424] ppid=406 vsize=915460 CPUtime=0.23
/proc/409/task/424/stat : 424 (java) S 406 409 31904 0 -1 64 399 0 0 0 23 0 0 0 16 0 8 0 158380261 937431040 9409 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=409/tid=426] ppid=406 vsize=915460 CPUtime=0
/proc/409/task/426/stat : 426 (java) S 406 409 31904 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 158380261 937431040 9409 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=409/tid=428] ppid=406 vsize=915460 CPUtime=0
/proc/409/task/428/stat : 428 (java) S 406 409 31904 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 158380261 937431040 9409 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 915460

[startup+12.764 s]
/proc/loadavg: 0.52 0.20 0.34 3/88 429
/proc/meminfo: memFree=1828000/2055920 swapFree=4192812/4192956
[pid=409] ppid=406 vsize=915460 CPUtime=12.73
/proc/409/stat : 409 (java) R 406 409 31904 0 -1 0 9673 0 1 0 1267 6 0 0 25 0 8 0 158380253 937431040 9409 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073840786 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/409/statm: 228865 9409 2524 14 0 215335 0
[pid=409/tid=417] ppid=406 vsize=915460 CPUtime=0.03
/proc/409/task/417/stat : 417 (java) S 406 409 31904 0 -1 64 411 0 0 0 3 0 0 0 16 0 8 0 158380258 937431040 9409 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=409/tid=420] ppid=406 vsize=915460 CPUtime=0
/proc/409/task/420/stat : 420 (java) S 406 409 31904 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 158380258 937431040 9409 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=409/tid=421] ppid=406 vsize=915460 CPUtime=0
/proc/409/task/421/stat : 421 (java) S 406 409 31904 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 158380258 937431040 9409 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=409/tid=422] ppid=406 vsize=915460 CPUtime=0
/proc/409/task/422/stat : 422 (java) S 406 409 31904 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 158380261 937431040 9409 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=409/tid=424] ppid=406 vsize=915460 CPUtime=0.23
/proc/409/task/424/stat : 424 (java) S 406 409 31904 0 -1 64 399 0 0 0 23 0 0 0 16 0 8 0 158380261 937431040 9409 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=409/tid=426] ppid=406 vsize=915460 CPUtime=0
/proc/409/task/426/stat : 426 (java) S 406 409 31904 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 158380261 937431040 9409 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=409/tid=428] ppid=406 vsize=915460 CPUtime=0
/proc/409/task/428/stat : 428 (java) S 406 409 31904 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 158380261 937431040 9409 18446744073709551615 134512640 134570532 4294956480 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) 915460

[startup+25.6134 s]
/proc/loadavg: 0.75 0.26 0.35 3/88 429
/proc/meminfo: memFree=1827936/2055920 swapFree=4192812/4192956
[pid=409] ppid=406 vsize=915460 CPUtime=25.57
/proc/409/stat : 409 (java) R 406 409 31904 0 -1 0 9673 0 1 0 2551 6 0 0 25 0 8 0 158380253 937431040 9409 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073820392 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/409/statm: 228865 9409 2524 14 0 215335 0
[pid=409/tid=417] ppid=406 vsize=915460 CPUtime=0.03
/proc/409/task/417/stat : 417 (java) S 406 409 31904 0 -1 64 411 0 0 0 3 0 0 0 16 0 8 0 158380258 937431040 9409 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=409/tid=420] ppid=406 vsize=915460 CPUtime=0
/proc/409/task/420/stat : 420 (java) S 406 409 31904 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 158380258 937431040 9409 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=409/tid=421] ppid=406 vsize=915460 CPUtime=0
/proc/409/task/421/stat : 421 (java) S 406 409 31904 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 158380258 937431040 9409 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=409/tid=422] ppid=406 vsize=915460 CPUtime=0
/proc/409/task/422/stat : 422 (java) S 406 409 31904 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 158380261 937431040 9409 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=409/tid=424] ppid=406 vsize=915460 CPUtime=0.23
/proc/409/task/424/stat : 424 (java) S 406 409 31904 0 -1 64 399 0 0 0 23 0 0 0 16 0 8 0 158380261 937431040 9409 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=409/tid=426] ppid=406 vsize=915460 CPUtime=0
/proc/409/task/426/stat : 426 (java) S 406 409 31904 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 158380261 937431040 9409 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=409/tid=428] ppid=406 vsize=915460 CPUtime=0
/proc/409/task/428/stat : 428 (java) S 406 409 31904 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 158380261 937431040 9409 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.57
Current children cumulated vsize (KiB) 915460

[startup+51.2152 s]
/proc/loadavg: 1.17 0.40 0.40 3/88 429
/proc/meminfo: memFree=1827936/2055920 swapFree=4192812/4192956
[pid=409] ppid=406 vsize=915460 CPUtime=51.16
/proc/409/stat : 409 (java) R 406 409 31904 0 -1 0 9675 0 1 0 5110 6 0 0 25 0 8 0 158380253 937431040 9410 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073827011 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/409/statm: 228865 9410 2524 14 0 215335 0
[pid=409/tid=417] ppid=406 vsize=915460 CPUtime=0.03
/proc/409/task/417/stat : 417 (java) S 406 409 31904 0 -1 64 411 0 0 0 3 0 0 0 16 0 8 0 158380258 937431040 9410 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=409/tid=420] ppid=406 vsize=915460 CPUtime=0
/proc/409/task/420/stat : 420 (java) S 406 409 31904 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 158380258 937431040 9410 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=409/tid=421] ppid=406 vsize=915460 CPUtime=0
/proc/409/task/421/stat : 421 (java) S 406 409 31904 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 158380258 937431040 9410 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=409/tid=422] ppid=406 vsize=915460 CPUtime=0
/proc/409/task/422/stat : 422 (java) S 406 409 31904 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 158380261 937431040 9410 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=409/tid=424] ppid=406 vsize=915460 CPUtime=0.24
/proc/409/task/424/stat : 424 (java) S 406 409 31904 0 -1 64 400 0 0 0 24 0 0 0 16 0 8 0 158380261 937431040 9410 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=409/tid=426] ppid=406 vsize=915460 CPUtime=0
/proc/409/task/426/stat : 426 (java) S 406 409 31904 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 158380261 937431040 9410 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=409/tid=428] ppid=406 vsize=915460 CPUtime=0
/proc/409/task/428/stat : 428 (java) S 406 409 31904 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 158380261 937431040 9410 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.16
Current children cumulated vsize (KiB) 915460

[startup+102.512 s]
/proc/loadavg: 1.67 0.67 0.49 3/88 429
/proc/meminfo: memFree=1828000/2055920 swapFree=4192812/4192956
[pid=409] ppid=406 vsize=915460 CPUtime=102.44
/proc/409/stat : 409 (java) R 406 409 31904 0 -1 0 9676 0 1 0 10238 6 0 0 25 0 8 0 158380253 937431040 9411 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073820478 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/409/statm: 228865 9411 2524 14 0 215335 0
[pid=409/tid=417] ppid=406 vsize=915460 CPUtime=0.03
/proc/409/task/417/stat : 417 (java) S 406 409 31904 0 -1 64 411 0 0 0 3 0 0 0 16 0 8 0 158380258 937431040 9411 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=409/tid=420] ppid=406 vsize=915460 CPUtime=0
/proc/409/task/420/stat : 420 (java) S 406 409 31904 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 158380258 937431040 9411 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=409/tid=421] ppid=406 vsize=915460 CPUtime=0
/proc/409/task/421/stat : 421 (java) S 406 409 31904 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 158380258 937431040 9411 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=409/tid=422] ppid=406 vsize=915460 CPUtime=0
/proc/409/task/422/stat : 422 (java) S 406 409 31904 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 158380261 937431040 9411 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=409/tid=424] ppid=406 vsize=915460 CPUtime=0.24
/proc/409/task/424/stat : 424 (java) S 406 409 31904 0 -1 64 401 0 0 0 24 0 0 0 16 0 8 0 158380261 937431040 9411 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=409/tid=426] ppid=406 vsize=915460 CPUtime=0
/proc/409/task/426/stat : 426 (java) S 406 409 31904 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 158380261 937431040 9411 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=409/tid=428] ppid=406 vsize=915460 CPUtime=0
/proc/409/task/428/stat : 428 (java) S 406 409 31904 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 158380261 937431040 9411 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.44
Current children cumulated vsize (KiB) 915460

[startup+162.549 s]
/proc/loadavg: 1.88 0.91 0.58 3/88 429
/proc/meminfo: memFree=1827936/2055920 swapFree=4192812/4192956
[pid=409] ppid=406 vsize=915460 CPUtime=162.46
/proc/409/stat : 409 (java) R 406 409 31904 0 -1 0 9676 0 1 0 16240 6 0 0 25 0 8 0 158380253 937431040 9411 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918603 0 4 0 23759 18446744073709551615 0 0 17 1 0 0

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

Current children cumulated CPU time (s) 1423.64
Current children cumulated vsize (KiB) 915460

[startup+1484.15 s]
/proc/loadavg: 2.00 1.99 1.64 3/88 431
/proc/meminfo: memFree=1827424/2055920 swapFree=4192812/4192956
[pid=409] ppid=406 vsize=915460 CPUtime=1483.69
/proc/409/stat : 409 (java) R 406 409 31904 0 -1 0 9676 0 1 0 148362 7 0 0 25 0 8 0 158380253 937431040 9411 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073814574 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/409/statm: 228865 9411 2524 14 0 215335 0
[pid=409/tid=417] ppid=406 vsize=915460 CPUtime=0.03
/proc/409/task/417/stat : 417 (java) S 406 409 31904 0 -1 64 411 0 0 0 3 0 0 0 16 0 8 0 158380258 937431040 9411 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=409/tid=420] ppid=406 vsize=915460 CPUtime=0
/proc/409/task/420/stat : 420 (java) S 406 409 31904 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 158380258 937431040 9411 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=409/tid=421] ppid=406 vsize=915460 CPUtime=0
/proc/409/task/421/stat : 421 (java) S 406 409 31904 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 158380258 937431040 9411 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=409/tid=422] ppid=406 vsize=915460 CPUtime=0
/proc/409/task/422/stat : 422 (java) S 406 409 31904 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 158380261 937431040 9411 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=409/tid=424] ppid=406 vsize=915460 CPUtime=0.24
/proc/409/task/424/stat : 424 (java) S 406 409 31904 0 -1 64 401 0 0 0 24 0 0 0 16 0 8 0 158380261 937431040 9411 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=409/tid=426] ppid=406 vsize=915460 CPUtime=0
/proc/409/task/426/stat : 426 (java) S 406 409 31904 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 158380261 937431040 9411 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=409/tid=428] ppid=406 vsize=915460 CPUtime=0
/proc/409/task/428/stat : 428 (java) S 406 409 31904 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 158380261 937431040 9411 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1483.69
Current children cumulated vsize (KiB) 915460

[startup+1544.21 s]
/proc/loadavg: 2.06 2.00 1.66 5/88 431
/proc/meminfo: memFree=1827360/2055920 swapFree=4192812/4192956
[pid=409] ppid=406 vsize=915460 CPUtime=1543.73
/proc/409/stat : 409 (java) R 406 409 31904 0 -1 0 9676 0 1 0 154366 7 0 0 25 0 8 0 158380253 937431040 9411 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073336169 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/409/statm: 228865 9411 2524 14 0 215335 0
[pid=409/tid=417] ppid=406 vsize=915460 CPUtime=0.03
/proc/409/task/417/stat : 417 (java) S 406 409 31904 0 -1 64 411 0 0 0 3 0 0 0 16 0 8 0 158380258 937431040 9411 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=409/tid=420] ppid=406 vsize=915460 CPUtime=0
/proc/409/task/420/stat : 420 (java) S 406 409 31904 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 158380258 937431040 9411 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=409/tid=421] ppid=406 vsize=915460 CPUtime=0
/proc/409/task/421/stat : 421 (java) S 406 409 31904 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 158380258 937431040 9411 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=409/tid=422] ppid=406 vsize=915460 CPUtime=0
/proc/409/task/422/stat : 422 (java) S 406 409 31904 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 158380261 937431040 9411 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=409/tid=424] ppid=406 vsize=915460 CPUtime=0.24
/proc/409/task/424/stat : 424 (java) S 406 409 31904 0 -1 64 401 0 0 0 24 0 0 0 16 0 8 0 158380261 937431040 9411 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=409/tid=426] ppid=406 vsize=915460 CPUtime=0
/proc/409/task/426/stat : 426 (java) S 406 409 31904 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 158380261 937431040 9411 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=409/tid=428] ppid=406 vsize=915460 CPUtime=0
/proc/409/task/428/stat : 428 (java) S 406 409 31904 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 158380261 937431040 9411 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1543.73
Current children cumulated vsize (KiB) 915460

[startup+1604.28 s]
/proc/loadavg: 2.02 2.00 1.68 3/88 431
/proc/meminfo: memFree=1827360/2055920 swapFree=4192812/4192956
[pid=409] ppid=406 vsize=915460 CPUtime=1603.78
/proc/409/stat : 409 (java) R 406 409 31904 0 -1 0 9676 0 1 0 160371 7 0 0 25 0 8 0 158380253 937431040 9411 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073817843 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/409/statm: 228865 9411 2524 14 0 215335 0
[pid=409/tid=417] ppid=406 vsize=915460 CPUtime=0.03
/proc/409/task/417/stat : 417 (java) S 406 409 31904 0 -1 64 411 0 0 0 3 0 0 0 16 0 8 0 158380258 937431040 9411 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=409/tid=420] ppid=406 vsize=915460 CPUtime=0
/proc/409/task/420/stat : 420 (java) S 406 409 31904 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 158380258 937431040 9411 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=409/tid=421] ppid=406 vsize=915460 CPUtime=0
/proc/409/task/421/stat : 421 (java) S 406 409 31904 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 158380258 937431040 9411 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=409/tid=422] ppid=406 vsize=915460 CPUtime=0
/proc/409/task/422/stat : 422 (java) S 406 409 31904 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 158380261 937431040 9411 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=409/tid=424] ppid=406 vsize=915460 CPUtime=0.24
/proc/409/task/424/stat : 424 (java) S 406 409 31904 0 -1 64 401 0 0 0 24 0 0 0 16 0 8 0 158380261 937431040 9411 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=409/tid=426] ppid=406 vsize=915460 CPUtime=0
/proc/409/task/426/stat : 426 (java) S 406 409 31904 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 158380261 937431040 9411 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=409/tid=428] ppid=406 vsize=915460 CPUtime=0
/proc/409/task/428/stat : 428 (java) S 406 409 31904 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 158380261 937431040 9411 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1603.78
Current children cumulated vsize (KiB) 915460

[startup+1664.35 s]
/proc/loadavg: 2.01 2.00 1.70 3/88 431
/proc/meminfo: memFree=1827360/2055920 swapFree=4192812/4192956
[pid=409] ppid=406 vsize=915460 CPUtime=1663.83
/proc/409/stat : 409 (java) R 406 409 31904 0 -1 0 9676 0 1 0 166376 7 0 0 25 0 8 0 158380253 937431040 9411 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073819853 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/409/statm: 228865 9411 2524 14 0 215335 0
[pid=409/tid=417] ppid=406 vsize=915460 CPUtime=0.03
/proc/409/task/417/stat : 417 (java) S 406 409 31904 0 -1 64 411 0 0 0 3 0 0 0 16 0 8 0 158380258 937431040 9411 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=409/tid=420] ppid=406 vsize=915460 CPUtime=0
/proc/409/task/420/stat : 420 (java) S 406 409 31904 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 158380258 937431040 9411 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=409/tid=421] ppid=406 vsize=915460 CPUtime=0
/proc/409/task/421/stat : 421 (java) S 406 409 31904 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 158380258 937431040 9411 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=409/tid=422] ppid=406 vsize=915460 CPUtime=0
/proc/409/task/422/stat : 422 (java) S 406 409 31904 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 158380261 937431040 9411 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=409/tid=424] ppid=406 vsize=915460 CPUtime=0.24
/proc/409/task/424/stat : 424 (java) S 406 409 31904 0 -1 64 401 0 0 0 24 0 0 0 16 0 8 0 158380261 937431040 9411 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=409/tid=426] ppid=406 vsize=915460 CPUtime=0
/proc/409/task/426/stat : 426 (java) S 406 409 31904 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 158380261 937431040 9411 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=409/tid=428] ppid=406 vsize=915460 CPUtime=0
/proc/409/task/428/stat : 428 (java) S 406 409 31904 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 158380261 937431040 9411 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1663.83
Current children cumulated vsize (KiB) 915460

[startup+1724.43 s]
/proc/loadavg: 2.00 2.00 1.72 3/88 431
/proc/meminfo: memFree=1827296/2055920 swapFree=4192812/4192956
[pid=409] ppid=406 vsize=915460 CPUtime=1723.9
/proc/409/stat : 409 (java) R 406 409 31904 0 -1 0 9676 0 1 0 172383 7 0 0 25 0 8 0 158380253 937431040 9411 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073810631 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/409/statm: 228865 9411 2524 14 0 215335 0
[pid=409/tid=417] ppid=406 vsize=915460 CPUtime=0.03
/proc/409/task/417/stat : 417 (java) S 406 409 31904 0 -1 64 411 0 0 0 3 0 0 0 16 0 8 0 158380258 937431040 9411 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=409/tid=420] ppid=406 vsize=915460 CPUtime=0
/proc/409/task/420/stat : 420 (java) S 406 409 31904 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 158380258 937431040 9411 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=409/tid=421] ppid=406 vsize=915460 CPUtime=0
/proc/409/task/421/stat : 421 (java) S 406 409 31904 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 158380258 937431040 9411 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=409/tid=422] ppid=406 vsize=915460 CPUtime=0
/proc/409/task/422/stat : 422 (java) S 406 409 31904 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 158380261 937431040 9411 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=409/tid=424] ppid=406 vsize=915460 CPUtime=0.24
/proc/409/task/424/stat : 424 (java) S 406 409 31904 0 -1 64 401 0 0 0 24 0 0 0 16 0 8 0 158380261 937431040 9411 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=409/tid=426] ppid=406 vsize=915460 CPUtime=0
/proc/409/task/426/stat : 426 (java) S 406 409 31904 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 158380261 937431040 9411 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=409/tid=428] ppid=406 vsize=915460 CPUtime=0
/proc/409/task/428/stat : 428 (java) S 406 409 31904 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 158380261 937431040 9411 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1723.9
Current children cumulated vsize (KiB) 915460

[startup+1784.51 s]
/proc/loadavg: 2.00 2.00 1.73 3/88 431
/proc/meminfo: memFree=1827296/2055920 swapFree=4192812/4192956
[pid=409] ppid=406 vsize=915460 CPUtime=1783.96
/proc/409/stat : 409 (java) R 406 409 31904 0 -1 0 9676 0 1 0 178389 7 0 0 25 0 8 0 158380253 937431040 9411 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073819789 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/409/statm: 228865 9411 2524 14 0 215335 0
[pid=409/tid=417] ppid=406 vsize=915460 CPUtime=0.03
/proc/409/task/417/stat : 417 (java) S 406 409 31904 0 -1 64 411 0 0 0 3 0 0 0 16 0 8 0 158380258 937431040 9411 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=409/tid=420] ppid=406 vsize=915460 CPUtime=0
/proc/409/task/420/stat : 420 (java) S 406 409 31904 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 158380258 937431040 9411 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=409/tid=421] ppid=406 vsize=915460 CPUtime=0
/proc/409/task/421/stat : 421 (java) S 406 409 31904 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 158380258 937431040 9411 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=409/tid=422] ppid=406 vsize=915460 CPUtime=0
/proc/409/task/422/stat : 422 (java) S 406 409 31904 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 158380261 937431040 9411 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=409/tid=424] ppid=406 vsize=915460 CPUtime=0.24
/proc/409/task/424/stat : 424 (java) S 406 409 31904 0 -1 64 401 0 0 0 24 0 0 0 16 0 8 0 158380261 937431040 9411 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=409/tid=426] ppid=406 vsize=915460 CPUtime=0
/proc/409/task/426/stat : 426 (java) S 406 409 31904 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 158380261 937431040 9411 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=409/tid=428] ppid=406 vsize=915460 CPUtime=0
/proc/409/task/428/stat : 428 (java) S 406 409 31904 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 158380261 937431040 9411 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1783.96
Current children cumulated vsize (KiB) 915460



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.57 s]
/proc/loadavg: 2.00 2.00 1.73 3/88 431
/proc/meminfo: memFree=1827232/2055920 swapFree=4192812/4192956
[pid=409] ppid=406 vsize=915460 CPUtime=1800.02
/proc/409/stat : 409 (java) R 406 409 31904 0 -1 0 9676 0 1 0 179995 7 0 0 25 0 8 0 158380253 937431040 9411 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073820478 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/409/statm: 228865 9411 2524 14 0 215335 0
[pid=409/tid=417] ppid=406 vsize=915460 CPUtime=0.03
/proc/409/task/417/stat : 417 (java) S 406 409 31904 0 -1 64 411 0 0 0 3 0 0 0 16 0 8 0 158380258 937431040 9411 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=409/tid=420] ppid=406 vsize=915460 CPUtime=0
/proc/409/task/420/stat : 420 (java) S 406 409 31904 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 158380258 937431040 9411 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=409/tid=421] ppid=406 vsize=915460 CPUtime=0
/proc/409/task/421/stat : 421 (java) S 406 409 31904 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 158380258 937431040 9411 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=409/tid=422] ppid=406 vsize=915460 CPUtime=0
/proc/409/task/422/stat : 422 (java) S 406 409 31904 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 158380261 937431040 9411 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=409/tid=424] ppid=406 vsize=915460 CPUtime=0.24
/proc/409/task/424/stat : 424 (java) S 406 409 31904 0 -1 64 401 0 0 0 24 0 0 0 16 0 8 0 158380261 937431040 9411 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=409/tid=426] ppid=406 vsize=915460 CPUtime=0
/proc/409/task/426/stat : 426 (java) S 406 409 31904 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 158380261 937431040 9411 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=409/tid=428] ppid=406 vsize=915460 CPUtime=0
/proc/409/task/428/stat : 428 (java) S 406 409 31904 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 158380261 937431040 9411 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 915460

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

Child status: 143
Real time (s): 1800.62
CPU time (s): 1800.08
CPU user time (s): 1799.99
CPU system time (s): 0.081987
CPU usage (%): 99.9695
Max. virtual memory (cumulated for all children) (KiB): 915460

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.99
system time used= 0.081987
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9694
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= 37598
involuntary context switches= 5883

runsolver used 1.92171 s user time and 4.98624 s system time

The end

Launcher Data (download as text)

Begin job on node59 on Sat Jan  6 16:10:15 UTC 2007


IDJOB= 194300
IDBENCH= 3207
FILE ID= node59/194300-1168099808

PBS_JOBID= 3477257

Free space on /tmp= 66549 MiB

BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-50-23/rand-2-50-23-587-230-4_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/194300-1168099808/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node59/watcher-194300-1168099808 -o ROOT/results/node59/solver-194300-1168099808 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/194300-1168099808/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  3f96ceed2b39b1d29e3438c6ada76518

RANDOM SEED= 960245006

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.239
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.239
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:       1868808 kB
Buffers:         10532 kB
Cached:         104728 kB
SwapCached:          0 kB
Active:          91032 kB
Inactive:        44580 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1868808 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            2720 kB
Writeback:           0 kB
Mapped:          30464 kB
Slab:            36996 kB
Committed_AS:  3020116 kB
PageTables:       1784 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= 66549 MiB



End job on node59 on Sat Jan  6 16:40:26 UTC 2007