Trace number 203196

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.05 1801.86

General information on the benchmark

Namerandom/rand-3-28-28-fcd/
rand-3-28-28-93-632-fcd-35_ext.xml
MD5SUMd0989ab1b788244c0808bf1396cd4672
Bench CategoryN-ARY-EXT (n-ary constraints in extension)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables28
Number of constraints93
Maximum constraint arity3
Maximum domain size28
Number of constraints which are defined in extension93
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Solver Data (download as text)

0.29	   
0.29	Abscon 109 (November, 2006)
0.29	   
0.29	   configuration
0.29	     name=esac.xml
0.32	   
0.32	   instance
0.32	     name=/tmp/evaluation/203196-1168157724/unknown.xml
0.35	   
0.35	   domains being loaded...
0.35	   
0.35	   variables being loaded...
0.38	     nbVariables=28  nbDomainTypes=1  minDomainSize=28  maxDomainSize=28
0.38	       =>  wckTime=0.093  cpuTime=0.07  mem=6M951
0.38	   
0.38	   relations being loaded...
1.43	   
1.43	   constraints being loaded...
2.11	     nbConstraints=92  nbRelationTypes=93  nbMergedConstraints=1  nbExtensionStructures=92
2.12	     nbSharedExtensionStructures=0  nbConflictsStructures=92  nbSharedConflictsStructures=0
2.12	     nbSharedBinaryRepresentations=0  maxDegree=16  maxArity=3
2.12	       =>  wckTime=1.825  cpuTime=1.47  mem=58M24
2.26	   
2.26	   solver IterativeSystematicSolver being built... 
2.42	       =>  wckTime=2.131  cpuTime=1.6  mem=65M622
2.55	   
2.55	   preprocessing
2.55	     nbConstraintChecks=43183  nbValidityChecks=69446  nbPropagations=215  nbRevisions=2428  nbUselessRevisions=2111
2.55	     nbSingletonTests=34  nbEffectiveSingletonTests=0  nbESACBranches=4  nbRemovedValues=0  detectedInconsistency=no
2.55	       =>  wckTime=0.122  cpuTime=0.1  mem=65M622
2.64	   
2.64	   search
2.64	     run=0  nbConstraintChecks=49924  nbValidityChecks=93925  nbPropagations=644  nbRevisions=7815
2.64	     nbUselessRevisions=6489  nbAssignments=33  nbFailedAssignments=16  nbBacktracks=10  nbVisitedNodes=57
2.64	     nbRestartNogoods=0  mapSize=8  nbInferences=0  nbTooLargeKeys=0
2.64	       =>  wckTime=0.219  cpuTime=0.19  mem=66M630
2.72	   
2.72	   search
2.72	     run=1  nbConstraintChecks=92922  nbValidityChecks=175527  nbPropagations=1644  nbRevisions=19919
2.72	     nbUselessRevisions=16413  nbAssignments=69  nbFailedAssignments=31  nbBacktracks=26  nbVisitedNodes=115
2.72	     nbRestartNogoods=4  mapSize=19  nbInferences=0  nbTooLargeKeys=0
2.72	       =>  wckTime=0.297  cpuTime=0.26  mem=66M630
2.89	   
2.89	   search
2.89	     run=2  nbConstraintChecks=187908  nbValidityChecks=366928  nbPropagations=3572  nbRevisions=43635
2.89	     nbUselessRevisions=35309  nbAssignments=157  nbFailedAssignments=86  nbBacktracks=48  nbVisitedNodes=270
2.89	     nbRestartNogoods=7  mapSize=40  nbInferences=0  nbTooLargeKeys=0
2.89	       =>  wckTime=0.464  cpuTime=0.41  mem=66M630
3.09	   
3.09	   search
3.09	     run=3  nbConstraintChecks=315976  nbValidityChecks=620472  nbPropagations=6735  nbRevisions=82616
3.09	     nbUselessRevisions=66312  nbAssignments=261  nbFailedAssignments=149  nbBacktracks=82  nbVisitedNodes=460
3.09	     nbRestartNogoods=11  mapSize=68  nbInferences=0  nbTooLargeKeys=0
3.09	       =>  wckTime=0.668  cpuTime=0.62  mem=66M630
3.43	   
3.43	   search
3.43	     run=4  nbConstraintChecks=520992  nbValidityChecks=1055559  nbPropagations=11798  nbRevisions=145930
3.43	     nbUselessRevisions=117189  nbAssignments=432  nbFailedAssignments=221  nbBacktracks=135  nbVisitedNodes=699
3.43	     nbRestartNogoods=19  mapSize=116  nbInferences=0  nbTooLargeKeys=0
3.43	       =>  wckTime=1.008  cpuTime=0.95  mem=66M630
3.77	   
3.77	   search
3.77	     run=5  nbConstraintChecks=736432  nbValidityChecks=1455194  nbPropagations=19133  nbRevisions=238188
3.77	     nbUselessRevisions=191271  nbAssignments=598  nbFailedAssignments=304  nbBacktracks=210  nbVisitedNodes=992
3.77	     nbRestartNogoods=22  mapSize=181  nbInferences=0  nbTooLargeKeys=0
3.77	       =>  wckTime=1.349  cpuTime=1.29  mem=66M630
4.38	   
4.38	   search
4.38	     run=6  nbConstraintChecks=1112963  nbValidityChecks=2209615  nbPropagations=30028  nbRevisions=375731
4.38	     nbUselessRevisions=301228  nbAssignments=857  nbFailedAssignments=434  nbBacktracks=323  nbVisitedNodes=1441
4.38	     nbRestartNogoods=33  mapSize=280  nbInferences=0  nbTooLargeKeys=0
4.38	       =>  wckTime=1.958  cpuTime=1.9  mem=66M630
6.01	   
6.01	   search
6.01	     run=7  nbConstraintChecks=2133835  nbValidityChecks=4385962  nbPropagations=49982  nbRevisions=642143
6.01	     nbUselessRevisions=514680  nbAssignments=1658  nbFailedAssignments=1059  nbBacktracks=493  nbVisitedNodes=3013
6.01	     nbRestartNogoods=41  mapSize=449  nbInferences=0  nbTooLargeKeys=0
6.01	       =>  wckTime=3.588  cpuTime=3.5  mem=66M630
7.24	   
7.24	   search
7.24	     run=8  nbConstraintChecks=2954857  nbValidityChecks=5988331  nbPropagations=78039  nbRevisions=1014439
7.24	     nbUselessRevisions=812222  nbAssignments=2299  nbFailedAssignments=1437  nbBacktracks=749  nbVisitedNodes=4200
7.24	     nbRestartNogoods=46  mapSize=678  nbInferences=0  nbTooLargeKeys=0
7.24	       =>  wckTime=4.818  cpuTime=4.73  mem=66M630
9.88	   
9.88	   INFO : Stopping hyperNogood (mapSize=1016, nbTooLargekeys=0, mem=66M630)
10.12	   
10.12	   search
10.12	     run=9  nbConstraintChecks=4842801  nbValidityChecks=9719080  nbPropagations=122364  nbRevisions=1603482
10.12	     nbUselessRevisions=1282781  nbAssignments=3563  nbFailedAssignments=2311  nbBacktracks=1133  nbVisitedNodes=6638
10.12	     nbRestartNogoods=53
10.12	       =>  wckTime=7.695  cpuTime=7.6  mem=66M630
15.14	   
15.14	   search
15.14	     run=10  nbConstraintChecks=8053938  nbValidityChecks=16677043  nbPropagations=195240  nbRevisions=2594033
15.14	     nbUselessRevisions=2073783  nbAssignments=6175  nbFailedAssignments=4340  nbBacktracks=1709  nbVisitedNodes=11770
15.14	     nbRestartNogoods=60
15.14	       =>  wckTime=12.714  cpuTime=12.61  mem=66M630
19.39	   
19.39	   search
19.39	     run=11  nbConstraintChecks=10964851  nbValidityChecks=22299490  nbPropagations=295969  nbRevisions=3957097
19.39	     nbUselessRevisions=3160786  nbAssignments=8384  nbFailedAssignments=5677  nbBacktracks=2575  nbVisitedNodes=15890
19.39	     nbRestartNogoods=72
19.39	       =>  wckTime=16.967  cpuTime=16.86  mem=66M630
28.97	   
28.97	   search
28.97	     run=12  nbConstraintChecks=17392121  nbValidityChecks=35010958  nbPropagations=450626  nbRevisions=6033126
28.97	     nbUselessRevisions=4817566  nbAssignments=12704  nbFailedAssignments=8657  nbBacktracks=3872  nbVisitedNodes=24146
28.97	     nbRestartNogoods=80
28.97	       =>  wckTime=26.55  cpuTime=26.43  mem=66M630
40.29	   
40.29	   search
40.29	     run=13  nbConstraintChecks=24747902  nbValidityChecks=49759006  nbPropagations=670071  nbRevisions=8978172
40.29	     nbUselessRevisions=7160405  nbAssignments=17623  nbFailedAssignments=11624  nbBacktracks=5818  nbVisitedNodes=33379
40.29	     nbRestartNogoods=94
40.29	       =>  wckTime=37.867  cpuTime=37.72  mem=66M630
65.38	   
65.38	   search
65.38	     run=14  nbConstraintChecks=40906104  nbValidityChecks=83743655  nbPropagations=1029585  nbRevisions=13858443
65.38	     nbUselessRevisions=11054243  nbAssignments=29412  nbFailedAssignments=20488  nbBacktracks=8738
65.38	     nbVisitedNodes=56436  nbRestartNogoods=105
65.38	       =>  wckTime=62.958  cpuTime=62.8  mem=66M630
86.84	   
86.84	   search
86.84	     run=15  nbConstraintChecks=55460663  nbValidityChecks=112738618  nbPropagations=1541474  nbRevisions=20697653
86.84	     nbUselessRevisions=16493600  nbAssignments=41491  nbFailedAssignments=28182  nbBacktracks=13118
86.84	     nbVisitedNodes=79254  nbRestartNogoods=118
86.84	       =>  wckTime=84.415  cpuTime=84.23  mem=66M630
134.41	   
134.41	   search
134.41	     run=16  nbConstraintChecks=87136552  nbValidityChecks=174878891  nbPropagations=2321769  nbRevisions=31043962
134.41	     nbUselessRevisions=24722916  nbAssignments=62380  nbFailedAssignments=42496  nbBacktracks=19687
134.41	     nbVisitedNodes=119370  nbRestartNogoods=127
134.41	       =>  wckTime=131.989  cpuTime=131.74  mem=66M630
196.32	   
196.32	   search
196.32	     run=17  nbConstraintChecks=127428914  nbValidityChecks=256993876  nbPropagations=3452424  nbRevisions=46139219
196.32	     nbUselessRevisions=36714513  nbAssignments=90083  nbFailedAssignments=60328  nbBacktracks=29540
196.32	     nbVisitedNodes=172054  nbRestartNogoods=150
196.32	       =>  wckTime=193.897  cpuTime=193.6  mem=66M630
286.34	   
286.34	   search
286.34	     run=18  nbConstraintChecks=186235539  nbValidityChecks=375047255  nbPropagations=5102106  nbRevisions=68228425
286.34	     nbUselessRevisions=54229297  nbAssignments=129775  nbFailedAssignments=85236  nbBacktracks=44318
286.34	     nbVisitedNodes=247081  nbRestartNogoods=168
286.34	       =>  wckTime=283.917  cpuTime=283.53  mem=66M630
396.28	   
396.28	   search
396.28	     run=19  nbConstraintChecks=259368653  nbValidityChecks=520339617  nbPropagations=7525686  nbRevisions=100189531
396.28	     nbUselessRevisions=79529254  nbAssignments=189368  nbFailedAssignments=122639  nbBacktracks=66486
396.28	     nbVisitedNodes=358795  nbRestartNogoods=187
396.28	       =>  wckTime=393.859  cpuTime=393.36  mem=66M630
568.97	   
568.97	   search
568.97	     run=20  nbConstraintChecks=373076412  nbValidityChecks=748483436  nbPropagations=11145831  nbRevisions=147267623
568.97	     nbUselessRevisions=116760636  nbAssignments=280977  nbFailedAssignments=180989  nbBacktracks=99739
568.97	     nbVisitedNodes=531196  nbRestartNogoods=202
568.97	       =>  wckTime=566.542  cpuTime=565.88  mem=66M630
861.58	   
861.58	   search
861.58	     run=21  nbConstraintChecks=564195331  nbValidityChecks=1130325880  nbPropagations=16514800  nbRevisions=218268085
861.58	     nbUselessRevisions=173083785  nbAssignments=418940  nbFailedAssignments=269068  nbBacktracks=149617
861.58	     nbVisitedNodes=792377  nbRestartNogoods=231
861.58	       =>  wckTime=859.155  cpuTime=858.17  mem=66M630
1227.94	   
1227.94	   search
1227.94	     run=22  nbConstraintChecks=803758127  nbValidityChecks=1604942667  nbPropagations=24257999  nbRevisions=319602148
1227.94	     nbUselessRevisions=253432142  nbAssignments=590654  nbFailedAssignments=365949  nbBacktracks=224435
1227.94	     nbVisitedNodes=1108463  nbRestartNogoods=253
1227.94	       =>  wckTime=1225.514  cpuTime=1224.18  mem=66M630

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/node40/watcher-203196-1168157724 -o ROOT/results/node40/solver-203196-1168157724 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/203196-1168157724/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.01 1.86 4/81 18991
/proc/meminfo: memFree=1751312/2055920 swapFree=4192812/4192956
[pid=18990] ppid=18988 vsize=292 CPUtime=0
/proc/18990/stat : 18990 (java) R 18988 18990 18384 0 -1 0 231 0 0 0 0 0 0 0 18 0 1 0 164171715 299008 37 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 6912653 0 0 4096 0 0 0 0 17 0 0 0
/proc/18990/statm: 77 40 31 14 0 5 0

[startup+0.108329 s]
/proc/loadavg: 2.01 2.01 1.86 4/81 18991
/proc/meminfo: memFree=1751312/2055920 swapFree=4192812/4192956
[pid=18990] ppid=18988 vsize=914988 CPUtime=0.09
/proc/18990/stat : 18990 (java) R 18988 18990 18384 0 -1 0 3082 0 1 0 8 1 0 0 24 0 8 0 164171715 936947712 2828 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4152819938 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18990/statm: 228747 2828 1455 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988

[startup+0.518698 s]
/proc/loadavg: 2.01 2.01 1.86 4/81 18991
/proc/meminfo: memFree=1751312/2055920 swapFree=4192812/4192956
[pid=18990] ppid=18988 vsize=915328 CPUtime=0.5
/proc/18990/stat : 18990 (java) R 18988 18990 18384 0 -1 0 8498 0 1 0 45 5 0 0 25 0 8 0 164171715 937295872 8237 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18990/statm: 228832 8237 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915328

[startup+1.34049 s]
/proc/loadavg: 2.01 2.01 1.86 3/88 18998
/proc/meminfo: memFree=1684248/2055920 swapFree=4192812/4192956
[pid=18990] ppid=18988 vsize=915328 CPUtime=1.32
/proc/18990/stat : 18990 (java) R 18988 18990 18384 0 -1 0 19100 0 1 0 122 10 0 0 25 0 8 0 164171715 937295872 18838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073557519 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18990/statm: 228832 18838 2149 14 0 215302 0
[pid=18990/tid=18992] ppid=18988 vsize=915328 CPUtime=0.05
/proc/18990/task/18992/stat : 18992 (java) S 18988 18990 18384 0 -1 64 2681 0 0 0 4 1 0 0 17 0 8 0 164171719 937295872 18838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18990/tid=18993] ppid=18988 vsize=915328 CPUtime=0
/proc/18990/task/18993/stat : 18993 (java) S 18988 18990 18384 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164171719 937295872 18838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18990/tid=18994] ppid=18988 vsize=915328 CPUtime=0
/proc/18990/task/18994/stat : 18994 (java) S 18988 18990 18384 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 164171719 937295872 18838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18990/tid=18995] ppid=18988 vsize=915328 CPUtime=0
/proc/18990/task/18995/stat : 18995 (java) S 18988 18990 18384 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 164171723 937295872 18838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18990/tid=18996] ppid=18988 vsize=915328 CPUtime=0.07
/proc/18990/task/18996/stat : 18996 (java) S 18988 18990 18384 0 -1 64 309 0 0 0 7 0 0 0 16 0 8 0 164171723 937295872 18838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18990/tid=18997] ppid=18988 vsize=915328 CPUtime=0
/proc/18990/task/18997/stat : 18997 (java) S 18988 18990 18384 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 164171723 937295872 18838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18990/tid=18998] ppid=18988 vsize=915328 CPUtime=0
/proc/18990/task/18998/stat : 18998 (java) S 18988 18990 18384 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 164171723 937295872 18838 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) 915328

[startup+2.9827 s]
/proc/loadavg: 2.01 2.01 1.86 4/88 18998
/proc/meminfo: memFree=1632280/2055920 swapFree=4192812/4192956
[pid=18990] ppid=18988 vsize=915440 CPUtime=2.96
/proc/18990/stat : 18990 (java) R 18988 18990 18384 0 -1 0 32580 0 1 0 280 16 0 0 25 0 8 0 164171715 937410560 32315 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073629916 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18990/statm: 228860 32315 2531 14 0 215330 0
[pid=18990/tid=18992] ppid=18988 vsize=915440 CPUtime=0.4
/proc/18990/task/18992/stat : 18992 (java) S 18988 18990 18384 0 -1 64 15583 0 0 0 35 5 0 0 17 0 8 0 164171719 937410560 32315 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18990/tid=18993] ppid=18988 vsize=915440 CPUtime=0
/proc/18990/task/18993/stat : 18993 (java) S 18988 18990 18384 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164171719 937410560 32315 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18990/tid=18994] ppid=18988 vsize=915440 CPUtime=0
/proc/18990/task/18994/stat : 18994 (java) S 18988 18990 18384 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 164171719 937410560 32315 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18990/tid=18995] ppid=18988 vsize=915440 CPUtime=0
/proc/18990/task/18995/stat : 18995 (java) S 18988 18990 18384 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 164171723 937410560 32315 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18990/tid=18996] ppid=18988 vsize=915440 CPUtime=0.2
/proc/18990/task/18996/stat : 18996 (java) S 18988 18990 18384 0 -1 64 380 0 0 0 19 1 0 0 15 0 8 0 164171723 937410560 32315 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18990/tid=18997] ppid=18988 vsize=915440 CPUtime=0
/proc/18990/task/18997/stat : 18997 (java) S 18988 18990 18384 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 164171723 937410560 32315 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18990/tid=18998] ppid=18988 vsize=915440 CPUtime=0
/proc/18990/task/18998/stat : 18998 (java) S 18988 18990 18384 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 164171723 937410560 32315 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) 915440

[startup+6.18612 s]
/proc/loadavg: 2.01 2.01 1.86 3/88 18998
/proc/meminfo: memFree=1631512/2055920 swapFree=4192812/4192956
[pid=18990] ppid=18988 vsize=915440 CPUtime=6.16
/proc/18990/stat : 18990 (java) R 18988 18990 18384 0 -1 0 32598 0 1 0 599 17 0 0 25 0 8 0 164171715 937410560 32330 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073797340 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18990/statm: 228860 32330 2531 14 0 215330 0
[pid=18990/tid=18992] ppid=18988 vsize=915440 CPUtime=0.4
/proc/18990/task/18992/stat : 18992 (java) S 18988 18990 18384 0 -1 64 15583 0 0 0 35 5 0 0 17 0 8 0 164171719 937410560 32330 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18990/tid=18993] ppid=18988 vsize=915440 CPUtime=0
/proc/18990/task/18993/stat : 18993 (java) S 18988 18990 18384 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164171719 937410560 32330 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18990/tid=18994] ppid=18988 vsize=915440 CPUtime=0
/proc/18990/task/18994/stat : 18994 (java) S 18988 18990 18384 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 164171719 937410560 32330 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18990/tid=18995] ppid=18988 vsize=915440 CPUtime=0
/proc/18990/task/18995/stat : 18995 (java) S 18988 18990 18384 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 164171723 937410560 32330 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18990/tid=18996] ppid=18988 vsize=915440 CPUtime=0.23
/proc/18990/task/18996/stat : 18996 (java) S 18988 18990 18384 0 -1 64 396 0 0 0 22 1 0 0 15 0 8 0 164171723 937410560 32330 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18990/tid=18997] ppid=18988 vsize=915440 CPUtime=0
/proc/18990/task/18997/stat : 18997 (java) S 18988 18990 18384 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 164171723 937410560 32330 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18990/tid=18998] ppid=18988 vsize=915440 CPUtime=0
/proc/18990/task/18998/stat : 18998 (java) S 18988 18990 18384 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 164171723 937410560 32330 18446744073709551615 134512640 134570532 4294956480 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.66 s]
/proc/loadavg: 2.01 2.01 1.86 3/88 18998
/proc/meminfo: memFree=1631648/2055920 swapFree=4192812/4192956
[pid=18990] ppid=18988 vsize=915440 CPUtime=12.63
/proc/18990/stat : 18990 (java) R 18988 18990 18384 0 -1 0 32603 0 1 0 1246 17 0 0 25 0 8 0 164171715 937410560 32332 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073629903 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18990/statm: 228860 32332 2531 14 0 215330 0
[pid=18990/tid=18992] ppid=18988 vsize=915440 CPUtime=0.4
/proc/18990/task/18992/stat : 18992 (java) S 18988 18990 18384 0 -1 64 15583 0 0 0 35 5 0 0 16 0 8 0 164171719 937410560 32332 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18990/tid=18993] ppid=18988 vsize=915440 CPUtime=0
/proc/18990/task/18993/stat : 18993 (java) S 18988 18990 18384 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164171719 937410560 32332 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18990/tid=18994] ppid=18988 vsize=915440 CPUtime=0
/proc/18990/task/18994/stat : 18994 (java) S 18988 18990 18384 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 164171719 937410560 32332 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18990/tid=18995] ppid=18988 vsize=915440 CPUtime=0
/proc/18990/task/18995/stat : 18995 (java) S 18988 18990 18384 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 164171723 937410560 32332 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18990/tid=18996] ppid=18988 vsize=915440 CPUtime=0.23
/proc/18990/task/18996/stat : 18996 (java) S 18988 18990 18384 0 -1 64 399 0 0 0 22 1 0 0 16 0 8 0 164171723 937410560 32332 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18990/tid=18997] ppid=18988 vsize=915440 CPUtime=0
/proc/18990/task/18997/stat : 18997 (java) S 18988 18990 18384 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 164171723 937410560 32332 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18990/tid=18998] ppid=18988 vsize=915440 CPUtime=0
/proc/18990/task/18998/stat : 18998 (java) S 18988 18990 18384 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 164171723 937410560 32332 18446744073709551615 134512640 134570532 4294956480 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.5356 s]
/proc/loadavg: 2.07 2.02 1.86 3/88 18998
/proc/meminfo: memFree=1631776/2055920 swapFree=4192812/4192956
[pid=18990] ppid=18988 vsize=915440 CPUtime=25.5
/proc/18990/stat : 18990 (java) R 18988 18990 18384 0 -1 0 32606 0 1 0 2533 17 0 0 25 0 8 0 164171715 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18990/statm: 228860 32335 2531 14 0 215330 0
[pid=18990/tid=18992] ppid=18988 vsize=915440 CPUtime=0.4
/proc/18990/task/18992/stat : 18992 (java) S 18988 18990 18384 0 -1 64 15583 0 0 0 35 5 0 0 16 0 8 0 164171719 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18990/tid=18993] ppid=18988 vsize=915440 CPUtime=0
/proc/18990/task/18993/stat : 18993 (java) S 18988 18990 18384 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164171719 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18990/tid=18994] ppid=18988 vsize=915440 CPUtime=0
/proc/18990/task/18994/stat : 18994 (java) S 18988 18990 18384 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 164171719 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18990/tid=18995] ppid=18988 vsize=915440 CPUtime=0
/proc/18990/task/18995/stat : 18995 (java) S 18988 18990 18384 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 164171723 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18990/tid=18996] ppid=18988 vsize=915440 CPUtime=0.24
/proc/18990/task/18996/stat : 18996 (java) S 18988 18990 18384 0 -1 64 402 0 0 0 23 1 0 0 15 0 8 0 164171723 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18990/tid=18997] ppid=18988 vsize=915440 CPUtime=0
/proc/18990/task/18997/stat : 18997 (java) S 18988 18990 18384 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 164171723 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18990/tid=18998] ppid=18988 vsize=915440 CPUtime=0
/proc/18990/task/18998/stat : 18998 (java) S 18988 18990 18384 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 164171723 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 915440

[startup+51.1509 s]
/proc/loadavg: 2.05 2.02 1.87 3/88 18998
/proc/meminfo: memFree=1631904/2055920 swapFree=4192812/4192956
[pid=18990] ppid=18988 vsize=915440 CPUtime=51.07
/proc/18990/stat : 18990 (java) R 18988 18990 18384 0 -1 0 32608 0 1 0 5089 18 0 0 25 0 8 0 164171715 937410560 32336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18990/statm: 228860 32336 2531 14 0 215330 0
[pid=18990/tid=18992] ppid=18988 vsize=915440 CPUtime=0.4
/proc/18990/task/18992/stat : 18992 (java) S 18988 18990 18384 0 -1 64 15583 0 0 0 35 5 0 0 16 0 8 0 164171719 937410560 32336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18990/tid=18993] ppid=18988 vsize=915440 CPUtime=0
/proc/18990/task/18993/stat : 18993 (java) S 18988 18990 18384 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164171719 937410560 32336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18990/tid=18994] ppid=18988 vsize=915440 CPUtime=0
/proc/18990/task/18994/stat : 18994 (java) S 18988 18990 18384 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 164171719 937410560 32336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18990/tid=18995] ppid=18988 vsize=915440 CPUtime=0
/proc/18990/task/18995/stat : 18995 (java) S 18988 18990 18384 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 164171723 937410560 32336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18990/tid=18996] ppid=18988 vsize=915440 CPUtime=0.24
/proc/18990/task/18996/stat : 18996 (java) S 18988 18990 18384 0 -1 64 403 0 0 0 23 1 0 0 16 0 8 0 164171723 937410560 32336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18990/tid=18997] ppid=18988 vsize=915440 CPUtime=0
/proc/18990/task/18997/stat : 18997 (java) S 18988 18990 18384 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 164171723 937410560 32336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18990/tid=18998] ppid=18988 vsize=915440 CPUtime=0
/proc/18990/task/18998/stat : 18998 (java) S 18988 18990 18384 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 164171723 937410560 32336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 915440

[startup+102.381 s]
/proc/loadavg: 2.09 2.03 1.88 3/88 18998
/proc/meminfo: memFree=1631904/2055920 swapFree=4192812/4192956
[pid=18990] ppid=18988 vsize=915440 CPUtime=102.25
/proc/18990/stat : 18990 (java) R 18988 18990 18384 0 -1 0 32608 0 1 0 10207 18 0 0 25 0 8 0 164171715 937410560 32336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18990/statm: 228860 32336 2531 14 0 215330 0
[pid=18990/tid=18992] ppid=18988 vsize=915440 CPUtime=0.4
/proc/18990/task/18992/stat : 18992 (java) S 18988 18990 18384 0 -1 64 15583 0 0 0 35 5 0 0 16 0 8 0 164171719 937410560 32336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18990/tid=18993] ppid=18988 vsize=915440 CPUtime=0
/proc/18990/task/18993/stat : 18993 (java) S 18988 18990 18384 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164171719 937410560 32336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18990/tid=18994] ppid=18988 vsize=915440 CPUtime=0
/proc/18990/task/18994/stat : 18994 (java) S 18988 18990 18384 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 164171719 937410560 32336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18990/tid=18995] ppid=18988 vsize=915440 CPUtime=0
/proc/18990/task/18995/stat : 18995 (java) S 18988 18990 18384 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 164171723 937410560 32336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18990/tid=18996] ppid=18988 vsize=915440 CPUtime=0.24
/proc/18990/task/18996/stat : 18996 (java) S 18988 18990 18384 0 -1 64 403 0 0 0 23 1 0 0 16 0 8 0 164171723 937410560 32336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18990/tid=18997] ppid=18988 vsize=915440 CPUtime=0
/proc/18990/task/18997/stat : 18997 (java) S 18988 18990 18384 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 164171723 937410560 32336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18990/tid=18998] ppid=18988 vsize=915440 CPUtime=0
/proc/18990/task/18998/stat : 18998 (java) S 18988 18990 18384 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 164171723 937410560 32336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 915440

[startup+162.45 s]
/proc/loadavg: 2.03 2.02 1.88 3/88 18998
/proc/meminfo: memFree=1631904/2055920 swapFree=4192812/4192956
[pid=18990] ppid=18988 vsize=915440 CPUtime=162.27
/proc/18990/stat : 18990 (java) R 18988 18990 18384 0 -1 0 32608 0 1 0 16209 18 0 0 25 0 8 0 164171715 937410560 32336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 0 0 0

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

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

[startup+1483.41 s]
/proc/loadavg: 2.00 2.00 1.93 3/81 19066
/proc/meminfo: memFree=1189912/2055920 swapFree=4192812/4192956
[pid=18990] ppid=18988 vsize=915440 CPUtime=1481.9
/proc/18990/stat : 18990 (java) R 18988 18990 18384 0 -1 0 32609 0 1 0 148164 26 0 0 25 0 8 0 164171715 937410560 32337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073796331 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18990/statm: 228860 32337 2531 14 0 215330 0
[pid=18990/tid=18992] ppid=18988 vsize=915440 CPUtime=0.4
/proc/18990/task/18992/stat : 18992 (java) S 18988 18990 18384 0 -1 64 15583 0 0 0 35 5 0 0 16 0 8 0 164171719 937410560 32337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18990/tid=18993] ppid=18988 vsize=915440 CPUtime=0
/proc/18990/task/18993/stat : 18993 (java) S 18988 18990 18384 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164171719 937410560 32337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18990/tid=18994] ppid=18988 vsize=915440 CPUtime=0
/proc/18990/task/18994/stat : 18994 (java) S 18988 18990 18384 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 164171719 937410560 32337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18990/tid=18995] ppid=18988 vsize=915440 CPUtime=0
/proc/18990/task/18995/stat : 18995 (java) S 18988 18990 18384 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 164171723 937410560 32337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18990/tid=18996] ppid=18988 vsize=915440 CPUtime=0.24
/proc/18990/task/18996/stat : 18996 (java) S 18988 18990 18384 0 -1 64 404 0 0 0 23 1 0 0 16 0 8 0 164171723 937410560 32337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18990/tid=18997] ppid=18988 vsize=915440 CPUtime=0
/proc/18990/task/18997/stat : 18997 (java) S 18988 18990 18384 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 164171723 937410560 32337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18990/tid=18998] ppid=18988 vsize=915440 CPUtime=0
/proc/18990/task/18998/stat : 18998 (java) S 18988 18990 18384 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 164171723 937410560 32337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1481.9
Current children cumulated vsize (KiB) 915440

[startup+1543.43 s]
/proc/loadavg: 2.07 2.03 1.94 3/81 19066
/proc/meminfo: memFree=1189848/2055920 swapFree=4192812/4192956
[pid=18990] ppid=18988 vsize=915440 CPUtime=1541.86
/proc/18990/stat : 18990 (java) R 18988 18990 18384 0 -1 0 32609 0 1 0 154160 26 0 0 25 0 8 0 164171715 937410560 32337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073817251 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18990/statm: 228860 32337 2531 14 0 215330 0
[pid=18990/tid=18992] ppid=18988 vsize=915440 CPUtime=0.4
/proc/18990/task/18992/stat : 18992 (java) S 18988 18990 18384 0 -1 64 15583 0 0 0 35 5 0 0 16 0 8 0 164171719 937410560 32337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18990/tid=18993] ppid=18988 vsize=915440 CPUtime=0
/proc/18990/task/18993/stat : 18993 (java) S 18988 18990 18384 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164171719 937410560 32337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18990/tid=18994] ppid=18988 vsize=915440 CPUtime=0
/proc/18990/task/18994/stat : 18994 (java) S 18988 18990 18384 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 164171719 937410560 32337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18990/tid=18995] ppid=18988 vsize=915440 CPUtime=0
/proc/18990/task/18995/stat : 18995 (java) S 18988 18990 18384 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 164171723 937410560 32337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18990/tid=18996] ppid=18988 vsize=915440 CPUtime=0.24
/proc/18990/task/18996/stat : 18996 (java) S 18988 18990 18384 0 -1 64 404 0 0 0 23 1 0 0 16 0 8 0 164171723 937410560 32337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18990/tid=18997] ppid=18988 vsize=915440 CPUtime=0
/proc/18990/task/18997/stat : 18997 (java) S 18988 18990 18384 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 164171723 937410560 32337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18990/tid=18998] ppid=18988 vsize=915440 CPUtime=0
/proc/18990/task/18998/stat : 18998 (java) S 18988 18990 18384 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 164171723 937410560 32337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1541.86
Current children cumulated vsize (KiB) 915440

[startup+1603.44 s]
/proc/loadavg: 2.12 2.05 1.95 3/81 19066
/proc/meminfo: memFree=1189848/2055920 swapFree=4192812/4192956
[pid=18990] ppid=18988 vsize=915440 CPUtime=1601.84
/proc/18990/stat : 18990 (java) R 18988 18990 18384 0 -1 0 32609 0 1 0 160157 27 0 0 25 0 8 0 164171715 937410560 32337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18990/statm: 228860 32337 2531 14 0 215330 0
[pid=18990/tid=18992] ppid=18988 vsize=915440 CPUtime=0.4
/proc/18990/task/18992/stat : 18992 (java) S 18988 18990 18384 0 -1 64 15583 0 0 0 35 5 0 0 16 0 8 0 164171719 937410560 32337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18990/tid=18993] ppid=18988 vsize=915440 CPUtime=0
/proc/18990/task/18993/stat : 18993 (java) S 18988 18990 18384 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164171719 937410560 32337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18990/tid=18994] ppid=18988 vsize=915440 CPUtime=0
/proc/18990/task/18994/stat : 18994 (java) S 18988 18990 18384 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 164171719 937410560 32337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18990/tid=18995] ppid=18988 vsize=915440 CPUtime=0
/proc/18990/task/18995/stat : 18995 (java) S 18988 18990 18384 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 164171723 937410560 32337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18990/tid=18996] ppid=18988 vsize=915440 CPUtime=0.24
/proc/18990/task/18996/stat : 18996 (java) S 18988 18990 18384 0 -1 64 404 0 0 0 23 1 0 0 16 0 8 0 164171723 937410560 32337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18990/tid=18997] ppid=18988 vsize=915440 CPUtime=0
/proc/18990/task/18997/stat : 18997 (java) S 18988 18990 18384 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 164171723 937410560 32337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18990/tid=18998] ppid=18988 vsize=915440 CPUtime=0
/proc/18990/task/18998/stat : 18998 (java) S 18988 18990 18384 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 164171723 937410560 32337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1601.84
Current children cumulated vsize (KiB) 915440

[startup+1663.46 s]
/proc/loadavg: 2.04 2.04 1.95 3/81 19066
/proc/meminfo: memFree=1189784/2055920 swapFree=4192812/4192956
[pid=18990] ppid=18988 vsize=915440 CPUtime=1661.77
/proc/18990/stat : 18990 (java) R 18988 18990 18384 0 -1 0 32609 0 1 0 166150 27 0 0 25 0 8 0 164171715 937410560 32337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18990/statm: 228860 32337 2531 14 0 215330 0
[pid=18990/tid=18992] ppid=18988 vsize=915440 CPUtime=0.4
/proc/18990/task/18992/stat : 18992 (java) S 18988 18990 18384 0 -1 64 15583 0 0 0 35 5 0 0 16 0 8 0 164171719 937410560 32337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18990/tid=18993] ppid=18988 vsize=915440 CPUtime=0
/proc/18990/task/18993/stat : 18993 (java) S 18988 18990 18384 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164171719 937410560 32337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18990/tid=18994] ppid=18988 vsize=915440 CPUtime=0
/proc/18990/task/18994/stat : 18994 (java) S 18988 18990 18384 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 164171719 937410560 32337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18990/tid=18995] ppid=18988 vsize=915440 CPUtime=0
/proc/18990/task/18995/stat : 18995 (java) S 18988 18990 18384 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 164171723 937410560 32337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18990/tid=18996] ppid=18988 vsize=915440 CPUtime=0.24
/proc/18990/task/18996/stat : 18996 (java) S 18988 18990 18384 0 -1 64 404 0 0 0 23 1 0 0 16 0 8 0 164171723 937410560 32337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18990/tid=18997] ppid=18988 vsize=915440 CPUtime=0
/proc/18990/task/18997/stat : 18997 (java) S 18988 18990 18384 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 164171723 937410560 32337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18990/tid=18998] ppid=18988 vsize=915440 CPUtime=0
/proc/18990/task/18998/stat : 18998 (java) S 18988 18990 18384 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 164171723 937410560 32337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1661.77
Current children cumulated vsize (KiB) 915440

[startup+1723.47 s]
/proc/loadavg: 2.01 2.03 1.95 3/81 19066
/proc/meminfo: memFree=1189784/2055920 swapFree=4192812/4192956
[pid=18990] ppid=18988 vsize=915440 CPUtime=1721.74
/proc/18990/stat : 18990 (java) R 18988 18990 18384 0 -1 0 32609 0 1 0 172147 27 0 0 25 0 8 0 164171715 937410560 32337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073800365 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18990/statm: 228860 32337 2531 14 0 215330 0
[pid=18990/tid=18992] ppid=18988 vsize=915440 CPUtime=0.4
/proc/18990/task/18992/stat : 18992 (java) S 18988 18990 18384 0 -1 64 15583 0 0 0 35 5 0 0 16 0 8 0 164171719 937410560 32337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18990/tid=18993] ppid=18988 vsize=915440 CPUtime=0
/proc/18990/task/18993/stat : 18993 (java) S 18988 18990 18384 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164171719 937410560 32337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18990/tid=18994] ppid=18988 vsize=915440 CPUtime=0
/proc/18990/task/18994/stat : 18994 (java) S 18988 18990 18384 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 164171719 937410560 32337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18990/tid=18995] ppid=18988 vsize=915440 CPUtime=0
/proc/18990/task/18995/stat : 18995 (java) S 18988 18990 18384 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 164171723 937410560 32337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18990/tid=18996] ppid=18988 vsize=915440 CPUtime=0.24
/proc/18990/task/18996/stat : 18996 (java) S 18988 18990 18384 0 -1 64 404 0 0 0 23 1 0 0 16 0 8 0 164171723 937410560 32337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18990/tid=18997] ppid=18988 vsize=915440 CPUtime=0
/proc/18990/task/18997/stat : 18997 (java) S 18988 18990 18384 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 164171723 937410560 32337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18990/tid=18998] ppid=18988 vsize=915440 CPUtime=0
/proc/18990/task/18998/stat : 18998 (java) S 18988 18990 18384 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 164171723 937410560 32337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1721.74
Current children cumulated vsize (KiB) 915440

[startup+1783.49 s]
/proc/loadavg: 2.00 2.02 1.95 3/82 19067
/proc/meminfo: memFree=1189776/2055920 swapFree=4192812/4192956
[pid=18990] ppid=18988 vsize=915440 CPUtime=1781.7
/proc/18990/stat : 18990 (java) R 18988 18990 18384 0 -1 0 32609 0 1 0 178143 27 0 0 25 0 8 0 164171715 937410560 32337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073629950 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18990/statm: 228860 32337 2531 14 0 215330 0
[pid=18990/tid=18992] ppid=18988 vsize=915440 CPUtime=0.4
/proc/18990/task/18992/stat : 18992 (java) S 18988 18990 18384 0 -1 64 15583 0 0 0 35 5 0 0 16 0 8 0 164171719 937410560 32337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18990/tid=18993] ppid=18988 vsize=915440 CPUtime=0
/proc/18990/task/18993/stat : 18993 (java) S 18988 18990 18384 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164171719 937410560 32337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18990/tid=18994] ppid=18988 vsize=915440 CPUtime=0
/proc/18990/task/18994/stat : 18994 (java) S 18988 18990 18384 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 164171719 937410560 32337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18990/tid=18995] ppid=18988 vsize=915440 CPUtime=0
/proc/18990/task/18995/stat : 18995 (java) S 18988 18990 18384 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 164171723 937410560 32337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18990/tid=18996] ppid=18988 vsize=915440 CPUtime=0.24
/proc/18990/task/18996/stat : 18996 (java) S 18988 18990 18384 0 -1 64 404 0 0 0 23 1 0 0 16 0 8 0 164171723 937410560 32337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18990/tid=18997] ppid=18988 vsize=915440 CPUtime=0
/proc/18990/task/18997/stat : 18997 (java) S 18988 18990 18384 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 164171723 937410560 32337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18990/tid=18998] ppid=18988 vsize=915440 CPUtime=0
/proc/18990/task/18998/stat : 18998 (java) S 18988 18990 18384 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 164171723 937410560 32337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1781.7
Current children cumulated vsize (KiB) 915440



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.82 s]
/proc/loadavg: 2.00 2.02 1.95 3/82 19067
/proc/meminfo: memFree=1189776/2055920 swapFree=4192812/4192956
[pid=18990] ppid=18988 vsize=915440 CPUtime=1800
/proc/18990/stat : 18990 (java) R 18988 18990 18384 0 -1 0 32609 0 1 0 179973 27 0 0 25 0 8 0 164171715 937410560 32337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073817451 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18990/statm: 228860 32337 2531 14 0 215330 0
[pid=18990/tid=18992] ppid=18988 vsize=915440 CPUtime=0.4
/proc/18990/task/18992/stat : 18992 (java) S 18988 18990 18384 0 -1 64 15583 0 0 0 35 5 0 0 16 0 8 0 164171719 937410560 32337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18990/tid=18993] ppid=18988 vsize=915440 CPUtime=0
/proc/18990/task/18993/stat : 18993 (java) S 18988 18990 18384 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164171719 937410560 32337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18990/tid=18994] ppid=18988 vsize=915440 CPUtime=0
/proc/18990/task/18994/stat : 18994 (java) S 18988 18990 18384 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 164171719 937410560 32337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18990/tid=18995] ppid=18988 vsize=915440 CPUtime=0
/proc/18990/task/18995/stat : 18995 (java) S 18988 18990 18384 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 164171723 937410560 32337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18990/tid=18996] ppid=18988 vsize=915440 CPUtime=0.24
/proc/18990/task/18996/stat : 18996 (java) S 18988 18990 18384 0 -1 64 404 0 0 0 23 1 0 0 16 0 8 0 164171723 937410560 32337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18990/tid=18997] ppid=18988 vsize=915440 CPUtime=0
/proc/18990/task/18997/stat : 18997 (java) S 18988 18990 18384 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 164171723 937410560 32337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18990/tid=18998] ppid=18988 vsize=915440 CPUtime=0
/proc/18990/task/18998/stat : 18998 (java) S 18988 18990 18384 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 164171723 937410560 32337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 915440

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

Child status: 143
Real time (s): 1801.86
CPU time (s): 1800.05
CPU user time (s): 1799.75
CPU system time (s): 0.293955
CPU usage (%): 99.8994
Max. virtual memory (cumulated for all children) (KiB): 915440

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.75
system time used= 0.293955
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32626
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= 37683
involuntary context switches= 44349

runsolver used 2.44663 s user time and 5.54116 s system time

The end

Launcher Data (download as text)

Begin job on node40 on Sun Jan  7 08:15:24 UTC 2007


IDJOB= 203196
IDBENCH= 3928
FILE ID= node40/203196-1168157724

PBS_JOBID= 3478527

Free space on /tmp= 66542 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  d0989ab1b788244c0808bf1396cd4672

RANDOM SEED= 491871834

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:       1751792 kB
Buffers:         13744 kB
Cached:         154012 kB
SwapCached:          0 kB
Active:         169644 kB
Inactive:        80656 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1751792 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            7472 kB
Writeback:           0 kB
Mapped:         100308 kB
Slab:            39080 kB
Committed_AS:  3343448 kB
PageTables:       1980 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= 66534 MiB



End job on node40 on Sun Jan  7 08:45:26 UTC 2007