Trace number 206345

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 1806.48

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.29	   
0.29	Abscon 109 (November, 2006)
0.29	   
0.29	   configuration
0.30	     name=esac.xml
0.33	   
0.33	   instance
0.33	     name=/tmp/evaluation/206345-1168172024/unknown.xml
0.36	   
0.36	   domains being loaded...
0.36	   
0.36	   variables being loaded...
0.39	     nbVariables=28  nbDomainTypes=1  minDomainSize=28  maxDomainSize=28
0.39	       =>  wckTime=0.094  cpuTime=0.08  mem=6M951
0.39	   
0.39	   relations being loaded...
1.47	   
1.47	   constraints being loaded...
2.17	     nbConstraints=91  nbRelationTypes=93  nbMergedConstraints=2  nbExtensionStructures=91
2.17	     nbSharedExtensionStructures=0  nbConflictsStructures=91  nbSharedConflictsStructures=0
2.17	     nbSharedBinaryRepresentations=0  maxDegree=15  maxArity=3
2.17	       =>  wckTime=1.873  cpuTime=1.5  mem=56M939
2.32	   
2.32	   solver IterativeSystematicSolver being built... 
2.48	       =>  wckTime=2.185  cpuTime=1.64  mem=65M43
2.62	   
2.62	   preprocessing
2.62	     nbConstraintChecks=48527  nbValidityChecks=80524  nbPropagations=265  nbRevisions=2823  nbUselessRevisions=2508
2.62	     nbSingletonTests=38  nbEffectiveSingletonTests=0  nbESACBranches=4  nbRemovedValues=0  detectedInconsistency=no
2.62	       =>  wckTime=0.131  cpuTime=0.09  mem=65M43
2.75	   
2.75	   search
2.75	     run=0  nbConstraintChecks=70857  nbValidityChecks=149668  nbPropagations=873  nbRevisions=11028
2.75	     nbUselessRevisions=9098  nbAssignments=54  nbFailedAssignments=37  nbBacktracks=10  nbVisitedNodes=99
2.75	     nbRestartNogoods=0  mapSize=9  nbInferences=0  nbTooLargeKeys=0
2.75	       =>  wckTime=0.266  cpuTime=0.22  mem=66M52
2.86	   
2.86	   search
2.86	     run=1  nbConstraintChecks=133282  nbValidityChecks=270603  nbPropagations=2289  nbRevisions=29116
2.86	     nbUselessRevisions=23718  nbAssignments=101  nbFailedAssignments=62  nbBacktracks=25  nbVisitedNodes=181
2.87	     nbRestartNogoods=3  mapSize=22  nbInferences=0  nbTooLargeKeys=0
2.87	       =>  wckTime=0.379  cpuTime=0.33  mem=66M52
3.00	   
3.00	   search
3.00	     run=2  nbConstraintChecks=203965  nbValidityChecks=420810  nbPropagations=4399  nbRevisions=56082
3.00	     nbUselessRevisions=45530  nbAssignments=161  nbFailedAssignments=79  nbBacktracks=48  nbVisitedNodes=256
3.00	     nbRestartNogoods=8  mapSize=42  nbInferences=0  nbTooLargeKeys=0
3.00	       =>  wckTime=0.513  cpuTime=0.45  mem=66M52
3.19	   
3.19	   search
3.19	     run=3  nbConstraintChecks=323304  nbValidityChecks=672515  nbPropagations=7607  nbRevisions=97065
3.20	     nbUselessRevisions=78694  nbAssignments=256  nbFailedAssignments=135  nbBacktracks=82  nbVisitedNodes=426
3.20	     nbRestartNogoods=12  mapSize=71  nbInferences=0  nbTooLargeKeys=0
3.20	       =>  wckTime=0.709  cpuTime=0.64  mem=66M52
3.64	   
3.64	   search
3.64	     run=4  nbConstraintChecks=596380  nbValidityChecks=1226038  nbPropagations=13448  nbRevisions=168452
3.64	     nbUselessRevisions=135538  nbAssignments=422  nbFailedAssignments=244  nbBacktracks=132  nbVisitedNodes=741
3.64	     nbRestartNogoods=14  mapSize=120  nbInferences=0  nbTooLargeKeys=0
3.64	       =>  wckTime=1.15  cpuTime=1.08  mem=66M52
4.15	   
4.15	   search
4.15	     run=5  nbConstraintChecks=925973  nbValidityChecks=1883601  nbPropagations=22366  nbRevisions=279217
4.15	     nbUselessRevisions=223250  nbAssignments=652  nbFailedAssignments=378  nbBacktracks=207  nbVisitedNodes=1147
4.15	     nbRestartNogoods=21  mapSize=193  nbInferences=0  nbTooLargeKeys=0
4.15	       =>  wckTime=1.661  cpuTime=1.58  mem=66M52
5.09	   
5.09	   search
5.09	     run=6  nbConstraintChecks=1527574  nbValidityChecks=3142822  nbPropagations=36196  nbRevisions=460482
5.09	     nbUselessRevisions=366210  nbAssignments=1132  nbFailedAssignments=738  nbBacktracks=320  nbVisitedNodes=2089
5.09	     nbRestartNogoods=25  mapSize=305  nbInferences=0  nbTooLargeKeys=0
5.09	       =>  wckTime=2.603  cpuTime=2.52  mem=66M52
6.23	   
6.23	   search
6.23	     run=7  nbConstraintChecks=2268386  nbValidityChecks=4598800  nbPropagations=56988  nbRevisions=730449
6.23	     nbUselessRevisions=578103  nbAssignments=1629  nbFailedAssignments=1057  nbBacktracks=490  nbVisitedNodes=3033
6.23	     nbRestartNogoods=33  mapSize=463  nbInferences=0  nbTooLargeKeys=0
6.23	       =>  wckTime=3.744  cpuTime=3.65  mem=66M52
7.62	   
7.62	   search
7.62	     run=8  nbConstraintChecks=3169136  nbValidityChecks=6416200  nbPropagations=86961  nbRevisions=1115078
7.62	     nbUselessRevisions=880103  nbAssignments=2259  nbFailedAssignments=1399  nbBacktracks=746  nbVisitedNodes=4154
7.62	     nbRestartNogoods=42  mapSize=708  nbInferences=0  nbTooLargeKeys=0
7.62	       =>  wckTime=5.13  cpuTime=5.03  mem=66M52
9.92	   
9.92	   INFO : Stopping hyperNogood (mapSize=1020, nbTooLargekeys=0, mem=66M52)
10.10	   
10.10	   search
10.10	     run=9  nbConstraintChecks=4753016  nbValidityChecks=9638184  nbPropagations=129821  nbRevisions=1671957
10.10	     nbUselessRevisions=1317786  nbAssignments=3274  nbFailedAssignments=2000  nbBacktracks=1131  nbVisitedNodes=5995
10.10	     nbRestartNogoods=48
10.10	       =>  wckTime=7.615  cpuTime=7.51  mem=66M52
14.45	   
14.45	   search
14.45	     run=10  nbConstraintChecks=7637403  nbValidityChecks=15357536  nbPropagations=197424  nbRevisions=2543047
14.45	     nbUselessRevisions=2002328  nbAssignments=5381  nbFailedAssignments=3524  nbBacktracks=1707  nbVisitedNodes=10054
14.45	     nbRestartNogoods=59
14.45	       =>  wckTime=11.966  cpuTime=11.85  mem=66M52
19.59	   
19.59	   search
19.59	     run=11  nbConstraintChecks=11082216  nbValidityChecks=22409407  nbPropagations=298625  nbRevisions=3848704
19.59	     nbUselessRevisions=3025658  nbAssignments=7910  nbFailedAssignments=5183  nbBacktracks=2572  nbVisitedNodes=14882
19.59	     nbRestartNogoods=61
19.59	       =>  wckTime=17.101  cpuTime=16.98  mem=66M52
26.87	   
26.87	   search
26.87	     run=12  nbConstraintChecks=15944330  nbValidityChecks=31571480  nbPropagations=440598  nbRevisions=5685686
26.87	     nbUselessRevisions=4466741  nbAssignments=10853  nbFailedAssignments=6820  nbBacktracks=3873  nbVisitedNodes=20226
26.87	     nbRestartNogoods=69
26.87	       =>  wckTime=24.389  cpuTime=24.27  mem=66M52
39.22	   
39.22	   search
39.22	     run=13  nbConstraintChecks=24156065  nbValidityChecks=48116163  nbPropagations=653674  nbRevisions=8482679
39.22	     nbUselessRevisions=6668302  nbAssignments=16762  nbFailedAssignments=10777  nbBacktracks=5819  nbVisitedNodes=31604
39.22	     nbRestartNogoods=80
39.22	       =>  wckTime=36.731  cpuTime=36.6  mem=66M52
56.72	   
56.72	   search
56.72	     run=14  nbConstraintChecks=35994354  nbValidityChecks=71972865  nbPropagations=980545  nbRevisions=12753902
56.72	     nbUselessRevisions=10019557  nbAssignments=25425  nbFailedAssignments=16514  nbBacktracks=8741
56.72	     nbVisitedNodes=48026  nbRestartNogoods=91
56.72	       =>  wckTime=54.239  cpuTime=54.07  mem=66M52
85.17	   
85.17	   search
85.17	     run=15  nbConstraintChecks=54760814  nbValidityChecks=110146928  nbPropagations=1463542  nbRevisions=19131712
85.17	     nbUselessRevisions=15030177  nbAssignments=38465  nbFailedAssignments=25170  nbBacktracks=13119
85.17	     nbVisitedNodes=72977  nbRestartNogoods=100
85.17	       =>  wckTime=82.687  cpuTime=82.51  mem=66M52
124.25	   
124.25	   search
124.25	     run=16  nbConstraintChecks=80907719  nbValidityChecks=162735515  nbPropagations=2203034  nbRevisions=28764779
124.25	     nbUselessRevisions=22575312  nbAssignments=57060  nbFailedAssignments=37190  nbBacktracks=19690
124.25	     nbVisitedNodes=108244  nbRestartNogoods=116
124.25	       =>  wckTime=121.761  cpuTime=121.54  mem=66M52
186.62	   
186.62	   search
186.62	     run=17  nbConstraintChecks=122376449  nbValidityChecks=245823607  nbPropagations=3298439  nbRevisions=43124482
186.63	     nbUselessRevisions=33863975  nbAssignments=85984  nbFailedAssignments=56254  nbBacktracks=29544
186.63	     nbVisitedNodes=163529  nbRestartNogoods=127
186.63	       =>  wckTime=184.139  cpuTime=183.83  mem=66M52
270.85	   
270.85	   search
270.85	     run=18  nbConstraintChecks=178499882  nbValidityChecks=357869372  nbPropagations=4944453  nbRevisions=64451628
270.85	     nbUselessRevisions=50590149  nbAssignments=125363  nbFailedAssignments=80848  nbBacktracks=44323
270.85	     nbVisitedNodes=237728  nbRestartNogoods=135
270.85	       =>  wckTime=268.364  cpuTime=267.98  mem=66M52
398.10	   
398.10	   search
398.10	     run=19  nbConstraintChecks=263256622  nbValidityChecks=526026459  nbPropagations=7361026  nbRevisions=95747028
398.10	     nbUselessRevisions=75221909  nbAssignments=185971  nbFailedAssignments=119278  nbBacktracks=66495
398.10	     nbVisitedNodes=352048  nbRestartNogoods=151
398.10	       =>  wckTime=395.614  cpuTime=395.11  mem=66M52
585.97	   
585.97	   search
585.97	     run=20  nbConstraintChecks=388808334  nbValidityChecks=777142922  nbPropagations=10975817  nbRevisions=142390034
585.97	     nbUselessRevisions=111851654  nbAssignments=273776  nbFailedAssignments=173823  nbBacktracks=99747
585.97	     nbVisitedNodes=517043  nbRestartNogoods=173
585.97	       =>  wckTime=583.486  cpuTime=582.79  mem=66M52
886.83	   
886.83	   search
886.83	     run=21  nbConstraintChecks=586740755  nbValidityChecks=1171588233  nbPropagations=16335748  nbRevisions=211586457
886.83	     nbUselessRevisions=166197573  nbAssignments=401118  nbFailedAssignments=251248  nbBacktracks=149626
886.83	     nbVisitedNodes=754342  nbRestartNogoods=209
886.83	       =>  wckTime=884.34  cpuTime=883.27  mem=66M52
1405.95	   
1405.95	   search
1405.95	     run=22  nbConstraintChecks=931366402  nbValidityChecks=1855963397  nbPropagations=24776090  nbRevisions=320057315
1405.95	     nbUselessRevisions=251192542  nbAssignments=665052  nbFailedAssignments=440355  nbBacktracks=224444
1405.95	     nbVisitedNodes=1261732  nbRestartNogoods=226
1405.95	       =>  wckTime=1403.464  cpuTime=1399.18  mem=66M52

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/node18/watcher-206345-1168172024 -o ROOT/results/node18/solver-206345-1168172024 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/206345-1168172024/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: 2.01 2.02 2.04 4/93 26671
/proc/meminfo: memFree=1640344/2055920 swapFree=4192812/4192956
[pid=26670] ppid=26668 vsize=168 CPUtime=0
/proc/26670/stat : 26670 (java) R 26668 26670 26293 0 -1 0 39 0 0 0 0 0 0 0 19 0 1 0 165597131 172032 23 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 7861028 0 0 4096 0 0 0 0 17 0 0 0
/proc/26670/statm: 42 23 18 14 0 2 0

[startup+0.108113 s]
/proc/loadavg: 2.01 2.02 2.04 4/93 26671
/proc/meminfo: memFree=1640344/2055920 swapFree=4192812/4192956
[pid=26670] ppid=26668 vsize=914988 CPUtime=0.08
/proc/26670/stat : 26670 (java) R 26668 26670 26293 0 -1 0 3048 0 1 0 7 1 0 0 25 0 8 0 165597131 936947712 2794 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26670/statm: 228747 2795 1446 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988

[startup+0.516152 s]
/proc/loadavg: 2.01 2.02 2.04 4/93 26671
/proc/meminfo: memFree=1640344/2055920 swapFree=4192812/4192956
[pid=26670] ppid=26668 vsize=915328 CPUtime=0.49
/proc/26670/stat : 26670 (java) R 26668 26670 26293 0 -1 0 8224 0 1 0 44 5 0 0 25 0 8 0 165597131 937295872 7963 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073563246 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26670/statm: 228832 7964 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328

[startup+1.33723 s]
/proc/loadavg: 2.01 2.02 2.04 3/100 26678
/proc/meminfo: memFree=1573152/2055920 swapFree=4192812/4192956
[pid=26670] ppid=26668 vsize=915328 CPUtime=1.31
/proc/26670/stat : 26670 (java) R 26668 26670 26293 0 -1 0 19100 0 1 0 121 10 0 0 25 0 8 0 165597131 937295872 18838 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073585759 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26670/statm: 228832 18838 2149 14 0 215302 0
[pid=26670/tid=26672] ppid=26668 vsize=915328 CPUtime=0.04
/proc/26670/task/26672/stat : 26672 (java) S 26668 26670 26293 0 -1 64 2681 0 0 0 4 0 0 0 17 0 8 0 165597135 937295872 18838 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26670/tid=26673] ppid=26668 vsize=915328 CPUtime=0
/proc/26670/task/26673/stat : 26673 (java) S 26668 26670 26293 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165597136 937295872 18838 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26670/tid=26674] ppid=26668 vsize=915328 CPUtime=0
/proc/26670/task/26674/stat : 26674 (java) S 26668 26670 26293 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165597136 937295872 18838 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26670/tid=26675] ppid=26668 vsize=915328 CPUtime=0
/proc/26670/task/26675/stat : 26675 (java) S 26668 26670 26293 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 165597139 937295872 18838 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26670/tid=26676] ppid=26668 vsize=915328 CPUtime=0.07
/proc/26670/task/26676/stat : 26676 (java) S 26668 26670 26293 0 -1 64 309 0 0 0 7 0 0 0 16 0 8 0 165597139 937295872 18838 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26670/tid=26677] ppid=26668 vsize=915328 CPUtime=0
/proc/26670/task/26677/stat : 26677 (java) S 26668 26670 26293 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 165597139 937295872 18838 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26670/tid=26678] ppid=26668 vsize=915328 CPUtime=0
/proc/26670/task/26678/stat : 26678 (java) S 26668 26670 26293 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 165597139 937295872 18838 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915328

[startup+2.9904 s]
/proc/loadavg: 2.01 2.02 2.04 4/100 26678
/proc/meminfo: memFree=1532448/2055920 swapFree=4192812/4192956
[pid=26670] ppid=26668 vsize=915440 CPUtime=2.96
/proc/26670/stat : 26670 (java) R 26668 26670 26293 0 -1 0 32448 0 1 0 280 16 0 0 25 0 8 0 165597131 937410560 32183 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073664952 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26670/statm: 228860 32183 2531 14 0 215330 0
[pid=26670/tid=26672] ppid=26668 vsize=915440 CPUtime=0.42
/proc/26670/task/26672/stat : 26672 (java) S 26668 26670 26293 0 -1 64 15452 0 0 0 36 6 0 0 17 0 8 0 165597135 937410560 32183 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26670/tid=26673] ppid=26668 vsize=915440 CPUtime=0
/proc/26670/task/26673/stat : 26673 (java) S 26668 26670 26293 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165597136 937410560 32183 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26670/tid=26674] ppid=26668 vsize=915440 CPUtime=0
/proc/26670/task/26674/stat : 26674 (java) S 26668 26670 26293 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165597136 937410560 32183 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26670/tid=26675] ppid=26668 vsize=915440 CPUtime=0
/proc/26670/task/26675/stat : 26675 (java) S 26668 26670 26293 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 165597139 937410560 32183 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26670/tid=26676] ppid=26668 vsize=915440 CPUtime=0.2
/proc/26670/task/26676/stat : 26676 (java) S 26668 26670 26293 0 -1 64 379 0 0 0 20 0 0 0 15 0 8 0 165597139 937410560 32183 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26670/tid=26677] ppid=26668 vsize=915440 CPUtime=0
/proc/26670/task/26677/stat : 26677 (java) S 26668 26670 26293 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 165597139 937410560 32183 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26670/tid=26678] ppid=26668 vsize=915440 CPUtime=0
/proc/26670/task/26678/stat : 26678 (java) S 26668 26670 26293 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 165597139 937410560 32183 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.1907 s]
/proc/loadavg: 2.08 2.04 2.04 3/100 26678
/proc/meminfo: memFree=1520992/2055920 swapFree=4192812/4192956
[pid=26670] ppid=26668 vsize=915440 CPUtime=6.16
/proc/26670/stat : 26670 (java) R 26668 26670 26293 0 -1 0 32465 0 1 0 599 17 0 0 25 0 8 0 165597131 937410560 32197 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26670/statm: 228860 32197 2531 14 0 215330 0
[pid=26670/tid=26672] ppid=26668 vsize=915440 CPUtime=0.42
/proc/26670/task/26672/stat : 26672 (java) S 26668 26670 26293 0 -1 64 15452 0 0 0 36 6 0 0 17 0 8 0 165597135 937410560 32197 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26670/tid=26673] ppid=26668 vsize=915440 CPUtime=0
/proc/26670/task/26673/stat : 26673 (java) S 26668 26670 26293 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165597136 937410560 32197 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26670/tid=26674] ppid=26668 vsize=915440 CPUtime=0
/proc/26670/task/26674/stat : 26674 (java) S 26668 26670 26293 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165597136 937410560 32197 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26670/tid=26675] ppid=26668 vsize=915440 CPUtime=0
/proc/26670/task/26675/stat : 26675 (java) S 26668 26670 26293 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 165597139 937410560 32197 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26670/tid=26676] ppid=26668 vsize=915440 CPUtime=0.23
/proc/26670/task/26676/stat : 26676 (java) S 26668 26670 26293 0 -1 64 394 0 0 0 22 1 0 0 16 0 8 0 165597139 937410560 32197 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26670/tid=26677] ppid=26668 vsize=915440 CPUtime=0
/proc/26670/task/26677/stat : 26677 (java) S 26668 26670 26293 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 165597139 937410560 32197 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26670/tid=26678] ppid=26668 vsize=915440 CPUtime=0
/proc/26670/task/26678/stat : 26678 (java) S 26668 26670 26293 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 165597139 937410560 32197 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.16
Current children cumulated vsize (KiB) 915440

[startup+12.6743 s]
/proc/loadavg: 2.08 2.04 2.04 3/100 26678
/proc/meminfo: memFree=1521056/2055920 swapFree=4192812/4192956
[pid=26670] ppid=26668 vsize=915440 CPUtime=12.63
/proc/26670/stat : 26670 (java) R 26668 26670 26293 0 -1 0 32473 0 1 0 1246 17 0 0 25 0 8 0 165597131 937410560 32202 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073629950 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26670/statm: 228860 32202 2531 14 0 215330 0
[pid=26670/tid=26672] ppid=26668 vsize=915440 CPUtime=0.42
/proc/26670/task/26672/stat : 26672 (java) S 26668 26670 26293 0 -1 64 15452 0 0 0 36 6 0 0 16 0 8 0 165597135 937410560 32202 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26670/tid=26673] ppid=26668 vsize=915440 CPUtime=0
/proc/26670/task/26673/stat : 26673 (java) S 26668 26670 26293 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165597136 937410560 32202 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26670/tid=26674] ppid=26668 vsize=915440 CPUtime=0
/proc/26670/task/26674/stat : 26674 (java) S 26668 26670 26293 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165597136 937410560 32202 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26670/tid=26675] ppid=26668 vsize=915440 CPUtime=0
/proc/26670/task/26675/stat : 26675 (java) S 26668 26670 26293 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 165597139 937410560 32202 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26670/tid=26676] ppid=26668 vsize=915440 CPUtime=0.25
/proc/26670/task/26676/stat : 26676 (java) S 26668 26670 26293 0 -1 64 401 0 0 0 24 1 0 0 16 0 8 0 165597139 937410560 32202 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26670/tid=26677] ppid=26668 vsize=915440 CPUtime=0
/proc/26670/task/26677/stat : 26677 (java) S 26668 26670 26293 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 165597139 937410560 32202 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26670/tid=26678] ppid=26668 vsize=915440 CPUtime=0
/proc/26670/task/26678/stat : 26678 (java) S 26668 26670 26293 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 165597139 937410560 32202 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 915440

[startup+25.5336 s]
/proc/loadavg: 2.06 2.04 2.04 3/100 26678
/proc/meminfo: memFree=1521248/2055920 swapFree=4192812/4192956
[pid=26670] ppid=26668 vsize=915440 CPUtime=25.49
/proc/26670/stat : 26670 (java) R 26668 26670 26293 0 -1 0 32475 0 1 0 2532 17 0 0 25 0 8 0 165597131 937410560 32204 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073803331 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26670/statm: 228860 32204 2531 14 0 215330 0
[pid=26670/tid=26672] ppid=26668 vsize=915440 CPUtime=0.42
/proc/26670/task/26672/stat : 26672 (java) S 26668 26670 26293 0 -1 64 15452 0 0 0 36 6 0 0 16 0 8 0 165597135 937410560 32204 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26670/tid=26673] ppid=26668 vsize=915440 CPUtime=0
/proc/26670/task/26673/stat : 26673 (java) S 26668 26670 26293 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165597136 937410560 32204 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26670/tid=26674] ppid=26668 vsize=915440 CPUtime=0
/proc/26670/task/26674/stat : 26674 (java) S 26668 26670 26293 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165597136 937410560 32204 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26670/tid=26675] ppid=26668 vsize=915440 CPUtime=0
/proc/26670/task/26675/stat : 26675 (java) S 26668 26670 26293 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 165597139 937410560 32204 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26670/tid=26676] ppid=26668 vsize=915440 CPUtime=0.25
/proc/26670/task/26676/stat : 26676 (java) S 26668 26670 26293 0 -1 64 403 0 0 0 24 1 0 0 15 0 8 0 165597139 937410560 32204 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26670/tid=26677] ppid=26668 vsize=915440 CPUtime=0
/proc/26670/task/26677/stat : 26677 (java) S 26668 26670 26293 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 165597139 937410560 32204 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26670/tid=26678] ppid=26668 vsize=915440 CPUtime=0
/proc/26670/task/26678/stat : 26678 (java) S 26668 26670 26293 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 165597139 937410560 32204 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 915440

[startup+51.169 s]
/proc/loadavg: 2.04 2.03 2.04 3/100 26678
/proc/meminfo: memFree=1521248/2055920 swapFree=4192812/4192956
[pid=26670] ppid=26668 vsize=915440 CPUtime=51.08
/proc/26670/stat : 26670 (java) R 26668 26670 26293 0 -1 0 32476 0 1 0 5091 17 0 0 25 0 8 0 165597131 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26670/statm: 228860 32205 2531 14 0 215330 0
[pid=26670/tid=26672] ppid=26668 vsize=915440 CPUtime=0.42
/proc/26670/task/26672/stat : 26672 (java) S 26668 26670 26293 0 -1 64 15452 0 0 0 36 6 0 0 17 0 8 0 165597135 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26670/tid=26673] ppid=26668 vsize=915440 CPUtime=0
/proc/26670/task/26673/stat : 26673 (java) S 26668 26670 26293 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165597136 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26670/tid=26674] ppid=26668 vsize=915440 CPUtime=0
/proc/26670/task/26674/stat : 26674 (java) S 26668 26670 26293 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165597136 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26670/tid=26675] ppid=26668 vsize=915440 CPUtime=0
/proc/26670/task/26675/stat : 26675 (java) S 26668 26670 26293 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 165597139 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26670/tid=26676] ppid=26668 vsize=915440 CPUtime=0.25
/proc/26670/task/26676/stat : 26676 (java) S 26668 26670 26293 0 -1 64 404 0 0 0 24 1 0 0 16 0 8 0 165597139 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26670/tid=26677] ppid=26668 vsize=915440 CPUtime=0
/proc/26670/task/26677/stat : 26677 (java) S 26668 26670 26293 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 165597139 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26670/tid=26678] ppid=26668 vsize=915440 CPUtime=0
/proc/26670/task/26678/stat : 26678 (java) S 26668 26670 26293 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 165597139 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 915440

[startup+102.433 s]
/proc/loadavg: 2.02 2.03 2.03 3/100 26678
/proc/meminfo: memFree=1521248/2055920 swapFree=4192812/4192956
[pid=26670] ppid=26668 vsize=915440 CPUtime=102.3
/proc/26670/stat : 26670 (java) R 26668 26670 26293 0 -1 0 32477 0 1 0 10212 18 0 0 25 0 8 0 165597131 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073805315 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26670/statm: 228860 32205 2531 14 0 215330 0
[pid=26670/tid=26672] ppid=26668 vsize=915440 CPUtime=0.42
/proc/26670/task/26672/stat : 26672 (java) S 26668 26670 26293 0 -1 64 15452 0 0 0 36 6 0 0 16 0 8 0 165597135 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26670/tid=26673] ppid=26668 vsize=915440 CPUtime=0
/proc/26670/task/26673/stat : 26673 (java) S 26668 26670 26293 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165597136 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26670/tid=26674] ppid=26668 vsize=915440 CPUtime=0
/proc/26670/task/26674/stat : 26674 (java) S 26668 26670 26293 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165597136 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26670/tid=26675] ppid=26668 vsize=915440 CPUtime=0
/proc/26670/task/26675/stat : 26675 (java) S 26668 26670 26293 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 165597139 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26670/tid=26676] ppid=26668 vsize=915440 CPUtime=0.25
/proc/26670/task/26676/stat : 26676 (java) S 26668 26670 26293 0 -1 64 404 0 0 0 24 1 0 0 16 0 8 0 165597139 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26670/tid=26677] ppid=26668 vsize=915440 CPUtime=0
/proc/26670/task/26677/stat : 26677 (java) S 26668 26670 26293 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 165597139 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26670/tid=26678] ppid=26668 vsize=915440 CPUtime=0
/proc/26670/task/26678/stat : 26678 (java) S 26668 26670 26293 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 165597139 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 915440

[startup+162.449 s]
/proc/loadavg: 2.04 2.03 2.03 3/100 26678
/proc/meminfo: memFree=1521184/2055920 swapFree=4192812/4192956
[pid=26670] ppid=26668 vsize=915440 CPUtime=162.26
/proc/26670/stat : 26670 (java) R 26668 26670 26293 0 -1 0 32477 0 1 0 16208 18 0 0 25 0 8 0 165597131 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 0 0 0

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

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

[startup+1483.25 s]
/proc/loadavg: 2.00 2.01 2.00 3/100 26772
/proc/meminfo: memFree=1515480/2055920 swapFree=4192812/4192956
[pid=26670] ppid=26668 vsize=915440 CPUtime=1478.62
/proc/26670/stat : 26670 (java) R 26668 26670 26293 0 -1 0 32477 0 1 0 147835 27 0 0 25 0 8 0 165597131 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073842456 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26670/statm: 228860 32205 2531 14 0 215330 0
[pid=26670/tid=26672] ppid=26668 vsize=915440 CPUtime=0.42
/proc/26670/task/26672/stat : 26672 (java) S 26668 26670 26293 0 -1 64 15452 0 0 0 36 6 0 0 16 0 8 0 165597135 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26670/tid=26673] ppid=26668 vsize=915440 CPUtime=0
/proc/26670/task/26673/stat : 26673 (java) S 26668 26670 26293 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165597136 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26670/tid=26674] ppid=26668 vsize=915440 CPUtime=0
/proc/26670/task/26674/stat : 26674 (java) S 26668 26670 26293 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165597136 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26670/tid=26675] ppid=26668 vsize=915440 CPUtime=0
/proc/26670/task/26675/stat : 26675 (java) S 26668 26670 26293 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 165597139 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26670/tid=26676] ppid=26668 vsize=915440 CPUtime=0.25
/proc/26670/task/26676/stat : 26676 (java) S 26668 26670 26293 0 -1 64 404 0 0 0 24 1 0 0 16 0 8 0 165597139 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26670/tid=26677] ppid=26668 vsize=915440 CPUtime=0
/proc/26670/task/26677/stat : 26677 (java) S 26668 26670 26293 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 165597139 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26670/tid=26678] ppid=26668 vsize=915440 CPUtime=0
/proc/26670/task/26678/stat : 26678 (java) S 26668 26670 26293 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 165597139 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1478.62
Current children cumulated vsize (KiB) 915440

[startup+1543.34 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 26772
/proc/meminfo: memFree=1515416/2055920 swapFree=4192812/4192956
[pid=26670] ppid=26668 vsize=915440 CPUtime=1538.39
/proc/26670/stat : 26670 (java) R 26668 26670 26293 0 -1 0 32477 0 1 0 153812 27 0 0 25 0 8 0 165597131 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26670/statm: 228860 32205 2531 14 0 215330 0
[pid=26670/tid=26672] ppid=26668 vsize=915440 CPUtime=0.42
/proc/26670/task/26672/stat : 26672 (java) S 26668 26670 26293 0 -1 64 15452 0 0 0 36 6 0 0 16 0 8 0 165597135 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26670/tid=26673] ppid=26668 vsize=915440 CPUtime=0
/proc/26670/task/26673/stat : 26673 (java) S 26668 26670 26293 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165597136 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26670/tid=26674] ppid=26668 vsize=915440 CPUtime=0
/proc/26670/task/26674/stat : 26674 (java) S 26668 26670 26293 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165597136 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26670/tid=26675] ppid=26668 vsize=915440 CPUtime=0
/proc/26670/task/26675/stat : 26675 (java) S 26668 26670 26293 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 165597139 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26670/tid=26676] ppid=26668 vsize=915440 CPUtime=0.25
/proc/26670/task/26676/stat : 26676 (java) S 26668 26670 26293 0 -1 64 404 0 0 0 24 1 0 0 16 0 8 0 165597139 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26670/tid=26677] ppid=26668 vsize=915440 CPUtime=0
/proc/26670/task/26677/stat : 26677 (java) S 26668 26670 26293 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 165597139 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26670/tid=26678] ppid=26668 vsize=915440 CPUtime=0
/proc/26670/task/26678/stat : 26678 (java) S 26668 26670 26293 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 165597139 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1538.39
Current children cumulated vsize (KiB) 915440

[startup+1603.43 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 26772
/proc/meminfo: memFree=1515352/2055920 swapFree=4192812/4192956
[pid=26670] ppid=26668 vsize=915440 CPUtime=1598.16
/proc/26670/stat : 26670 (java) R 26668 26670 26293 0 -1 0 32477 0 1 0 159789 27 0 0 25 0 8 0 165597131 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073805379 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26670/statm: 228860 32205 2531 14 0 215330 0
[pid=26670/tid=26672] ppid=26668 vsize=915440 CPUtime=0.42
/proc/26670/task/26672/stat : 26672 (java) S 26668 26670 26293 0 -1 64 15452 0 0 0 36 6 0 0 16 0 8 0 165597135 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26670/tid=26673] ppid=26668 vsize=915440 CPUtime=0
/proc/26670/task/26673/stat : 26673 (java) S 26668 26670 26293 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165597136 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26670/tid=26674] ppid=26668 vsize=915440 CPUtime=0
/proc/26670/task/26674/stat : 26674 (java) S 26668 26670 26293 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165597136 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26670/tid=26675] ppid=26668 vsize=915440 CPUtime=0
/proc/26670/task/26675/stat : 26675 (java) S 26668 26670 26293 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 165597139 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26670/tid=26676] ppid=26668 vsize=915440 CPUtime=0.25
/proc/26670/task/26676/stat : 26676 (java) S 26668 26670 26293 0 -1 64 404 0 0 0 24 1 0 0 16 0 8 0 165597139 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26670/tid=26677] ppid=26668 vsize=915440 CPUtime=0
/proc/26670/task/26677/stat : 26677 (java) S 26668 26670 26293 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 165597139 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26670/tid=26678] ppid=26668 vsize=915440 CPUtime=0
/proc/26670/task/26678/stat : 26678 (java) S 26668 26670 26293 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 165597139 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1598.16
Current children cumulated vsize (KiB) 915440

[startup+1663.52 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 26772
/proc/meminfo: memFree=1515288/2055920 swapFree=4192812/4192956
[pid=26670] ppid=26668 vsize=915440 CPUtime=1657.91
/proc/26670/stat : 26670 (java) R 26668 26670 26293 0 -1 0 32477 0 1 0 165763 28 0 0 25 0 8 0 165597131 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073664841 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26670/statm: 228860 32205 2531 14 0 215330 0
[pid=26670/tid=26672] ppid=26668 vsize=915440 CPUtime=0.42
/proc/26670/task/26672/stat : 26672 (java) S 26668 26670 26293 0 -1 64 15452 0 0 0 36 6 0 0 16 0 8 0 165597135 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26670/tid=26673] ppid=26668 vsize=915440 CPUtime=0
/proc/26670/task/26673/stat : 26673 (java) S 26668 26670 26293 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165597136 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26670/tid=26674] ppid=26668 vsize=915440 CPUtime=0
/proc/26670/task/26674/stat : 26674 (java) S 26668 26670 26293 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165597136 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26670/tid=26675] ppid=26668 vsize=915440 CPUtime=0
/proc/26670/task/26675/stat : 26675 (java) S 26668 26670 26293 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 165597139 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26670/tid=26676] ppid=26668 vsize=915440 CPUtime=0.25
/proc/26670/task/26676/stat : 26676 (java) S 26668 26670 26293 0 -1 64 404 0 0 0 24 1 0 0 16 0 8 0 165597139 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26670/tid=26677] ppid=26668 vsize=915440 CPUtime=0
/proc/26670/task/26677/stat : 26677 (java) S 26668 26670 26293 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 165597139 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26670/tid=26678] ppid=26668 vsize=915440 CPUtime=0
/proc/26670/task/26678/stat : 26678 (java) S 26668 26670 26293 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 165597139 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1657.91
Current children cumulated vsize (KiB) 915440

[startup+1723.61 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 26772
/proc/meminfo: memFree=1515224/2055920 swapFree=4192812/4192956
[pid=26670] ppid=26668 vsize=915440 CPUtime=1717.68
/proc/26670/stat : 26670 (java) R 26668 26670 26293 0 -1 0 32477 0 1 0 171740 28 0 0 25 0 8 0 165597131 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073815554 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26670/statm: 228860 32205 2531 14 0 215330 0
[pid=26670/tid=26672] ppid=26668 vsize=915440 CPUtime=0.42
/proc/26670/task/26672/stat : 26672 (java) S 26668 26670 26293 0 -1 64 15452 0 0 0 36 6 0 0 16 0 8 0 165597135 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26670/tid=26673] ppid=26668 vsize=915440 CPUtime=0
/proc/26670/task/26673/stat : 26673 (java) S 26668 26670 26293 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165597136 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26670/tid=26674] ppid=26668 vsize=915440 CPUtime=0
/proc/26670/task/26674/stat : 26674 (java) S 26668 26670 26293 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165597136 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26670/tid=26675] ppid=26668 vsize=915440 CPUtime=0
/proc/26670/task/26675/stat : 26675 (java) S 26668 26670 26293 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 165597139 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26670/tid=26676] ppid=26668 vsize=915440 CPUtime=0.25
/proc/26670/task/26676/stat : 26676 (java) S 26668 26670 26293 0 -1 64 404 0 0 0 24 1 0 0 16 0 8 0 165597139 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26670/tid=26677] ppid=26668 vsize=915440 CPUtime=0
/proc/26670/task/26677/stat : 26677 (java) S 26668 26670 26293 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 165597139 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26670/tid=26678] ppid=26668 vsize=915440 CPUtime=0
/proc/26670/task/26678/stat : 26678 (java) S 26668 26670 26293 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 165597139 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1717.68
Current children cumulated vsize (KiB) 915440

[startup+1783.69 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 26772
/proc/meminfo: memFree=1515224/2055920 swapFree=4192812/4192956
[pid=26670] ppid=26668 vsize=915440 CPUtime=1777.44
/proc/26670/stat : 26670 (java) R 26668 26670 26293 0 -1 0 32477 0 1 0 177716 28 0 0 25 0 8 0 165597131 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26670/statm: 228860 32205 2531 14 0 215330 0
[pid=26670/tid=26672] ppid=26668 vsize=915440 CPUtime=0.42
/proc/26670/task/26672/stat : 26672 (java) S 26668 26670 26293 0 -1 64 15452 0 0 0 36 6 0 0 16 0 8 0 165597135 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26670/tid=26673] ppid=26668 vsize=915440 CPUtime=0
/proc/26670/task/26673/stat : 26673 (java) S 26668 26670 26293 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165597136 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26670/tid=26674] ppid=26668 vsize=915440 CPUtime=0
/proc/26670/task/26674/stat : 26674 (java) S 26668 26670 26293 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165597136 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26670/tid=26675] ppid=26668 vsize=915440 CPUtime=0
/proc/26670/task/26675/stat : 26675 (java) S 26668 26670 26293 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 165597139 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26670/tid=26676] ppid=26668 vsize=915440 CPUtime=0.25
/proc/26670/task/26676/stat : 26676 (java) S 26668 26670 26293 0 -1 64 404 0 0 0 24 1 0 0 16 0 8 0 165597139 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26670/tid=26677] ppid=26668 vsize=915440 CPUtime=0
/proc/26670/task/26677/stat : 26677 (java) S 26668 26670 26293 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 165597139 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26670/tid=26678] ppid=26668 vsize=915440 CPUtime=0
/proc/26670/task/26678/stat : 26678 (java) S 26668 26670 26293 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 165597139 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1777.44
Current children cumulated vsize (KiB) 915440



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1806.44 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 26772
/proc/meminfo: memFree=1515160/2055920 swapFree=4192812/4192956
[pid=26670] ppid=26668 vsize=915440 CPUtime=1800.04
/proc/26670/stat : 26670 (java) R 26668 26670 26293 0 -1 0 32477 0 1 0 179976 28 0 0 25 0 8 0 165597131 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073664935 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26670/statm: 228860 32205 2531 14 0 215330 0
[pid=26670/tid=26672] ppid=26668 vsize=915440 CPUtime=0.42
/proc/26670/task/26672/stat : 26672 (java) S 26668 26670 26293 0 -1 64 15452 0 0 0 36 6 0 0 16 0 8 0 165597135 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26670/tid=26673] ppid=26668 vsize=915440 CPUtime=0
/proc/26670/task/26673/stat : 26673 (java) S 26668 26670 26293 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165597136 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26670/tid=26674] ppid=26668 vsize=915440 CPUtime=0
/proc/26670/task/26674/stat : 26674 (java) S 26668 26670 26293 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165597136 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26670/tid=26675] ppid=26668 vsize=915440 CPUtime=0
/proc/26670/task/26675/stat : 26675 (java) S 26668 26670 26293 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 165597139 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26670/tid=26676] ppid=26668 vsize=915440 CPUtime=0.25
/proc/26670/task/26676/stat : 26676 (java) S 26668 26670 26293 0 -1 64 404 0 0 0 24 1 0 0 16 0 8 0 165597139 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26670/tid=26677] ppid=26668 vsize=915440 CPUtime=0
/proc/26670/task/26677/stat : 26677 (java) S 26668 26670 26293 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 165597139 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26670/tid=26678] ppid=26668 vsize=915440 CPUtime=0
/proc/26670/task/26678/stat : 26678 (java) S 26668 26670 26293 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 165597139 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 915440

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

Child status: 143
Real time (s): 1806.48
CPU time (s): 1800.08
CPU user time (s): 1799.78
CPU system time (s): 0.304953
CPU usage (%): 99.646
Max. virtual memory (cumulated for all children) (KiB): 915440

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.78
system time used= 0.304953
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32494
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= 37766
involuntary context switches= 73590

runsolver used 2.18967 s user time and 5.81312 s system time

The end

Launcher Data (download as text)

Begin job on node18 on Sun Jan  7 12:13:44 UTC 2007


IDJOB= 206345
IDBENCH= 4201
FILE ID= node18/206345-1168172024

PBS_JOBID= 3478832

Free space on /tmp= 66278 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 esac.xml 1 XSax /tmp/evaluation/206345-1168172024/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node18/watcher-206345-1168172024 -o ROOT/results/node18/solver-206345-1168172024 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/206345-1168172024/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  2bf69bcf4323300cb77969b0c34f3f41

RANDOM SEED= 587233145

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.231
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.231
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:       1640760 kB
Buffers:         22428 kB
Cached:         152332 kB
SwapCached:          0 kB
Active:         256492 kB
Inactive:        99776 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1640760 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            7512 kB
Writeback:           0 kB
Mapped:         210560 kB
Slab:            43668 kB
Committed_AS:  5378092 kB
PageTables:       2352 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= 66278 MiB



End job on node18 on Sun Jan  7 12:43:51 UTC 2007