Trace number 211200

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds, and are wall clock time (not CPU time).

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Abscon 109 AC? (TO) 1800.15 1803.21

General information on the benchmark

NamepseudoSeries/uclid/
22s-smv.xml
MD5SUMf98401952ea279e232fe10babf15a9f4
Bench CategoryN-ARY-INT (n-ary constraints in intension)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark19.89
SatisfiableNO
(Un)Satisfiability was proved
Number of variables5985
Number of constraints15364
Maximum constraint arity15
Maximum domain size2
Number of constraints which are defined in extension0
Number of constraints which are defined in intension15364
Global constraints used (with number of constraints)

Solver Data (download as text)

0.31	   
0.31	Abscon 109 (November, 2006)
0.31	   
0.31	   configuration
0.31	     name=mac.xml
0.34	   
0.34	   instance
0.34	     name=/tmp/evaluation/211200-1168075478/unknown.xml
0.37	   
0.37	   domains being loaded...
0.38	   
0.38	   variables being loaded...
0.62	     nbVariables=5985  nbDomainTypes=3  minDomainSize=1  maxDomainSize=2
0.62	       =>  wckTime=0.309  cpuTime=0.23  mem=17M615
0.62	   
0.62	   predicates being loaded...
0.63	   
0.63	   constraints being loaded...
4.74	     nbConstraints=14411  nbMergedConstraints=953  nbSingletonDomainVariables=724  nbConvertedConstraints=9249
4.74	     nbConvertConstraintsChecks=491635  nbExtensionStructures=9  nbSharedExtensionStructures=9240
4.74	     nbConflictsStructures=56  nbSharedConflictsStructures=14355  nbSharedBinaryRepresentations=21
4.74	     nbEvaluationManagers=47  nbSharedEvaluationManagers=5115  maxDegree=184  maxArity=15
4.74	       =>  wckTime=4.43  cpuTime=3.95  mem=72M198
4.88	   
4.88	   solver IterativeSystematicSolver being built... 
5.38	       =>  wckTime=5.069  cpuTime=4.36  mem=68M131
5.44	   
5.44	   preprocessing
5.44	     nbConstraintChecks=0  nbPropagations=5985  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
5.44	     detectedInconsistency=no
5.44	       =>  wckTime=0.042  cpuTime=0.04  mem=70M129
8.17	   
8.17	   search
8.17	     run=0  nbConstraintChecks=251839  nbValidityChecks=108058  nbPropagations=10553  nbRevisions=77064
8.17	     nbUselessRevisions=72549  nbAssignments=260  nbFailedAssignments=11  nbBacktracks=12  nbVisitedNodes=275
8.17	     nbRestartNogoods=0  mapSize=5  nbInferences=0  nbTooLargeKeys=0
8.17	       =>  wckTime=2.776  cpuTime=2.72  mem=70M129
10.28	   
10.28	   search
10.28	     run=1  nbConstraintChecks=349507  nbValidityChecks=214501  nbPropagations=25546  nbRevisions=225201
10.28	     nbUselessRevisions=211802  nbAssignments=516  nbFailedAssignments=15  nbBacktracks=28  nbVisitedNodes=539
10.28	     nbRestartNogoods=9  mapSize=12  nbInferences=0  nbTooLargeKeys=0
10.28	       =>  wckTime=4.887  cpuTime=4.81  mem=71M128
12.54	   
12.55	   search
12.55	     run=2  nbConstraintChecks=448865  nbValidityChecks=321867  nbPropagations=45298  nbRevisions=446576
12.55	     nbUselessRevisions=419567  nbAssignments=784  nbFailedAssignments=21  nbBacktracks=51  nbVisitedNodes=819
12.55	     nbRestartNogoods=10  mapSize=22  nbInferences=0  nbTooLargeKeys=0
12.55	       =>  wckTime=7.155  cpuTime=7.06  mem=71M128
15.14	   
15.14	   search
15.14	     run=3  nbConstraintChecks=552474  nbValidityChecks=431631  nbPropagations=70374  nbRevisions=745185
15.14	     nbUselessRevisions=699220  nbAssignments=1068  nbFailedAssignments=30  nbBacktracks=86  nbVisitedNodes=1121
15.14	     nbRestartNogoods=12  mapSize=36  nbInferences=0  nbTooLargeKeys=0
15.14	       =>  wckTime=9.75  cpuTime=9.62  mem=72M127
17.76	   
17.76	   search
17.76	     run=4  nbConstraintChecks=675412  nbValidityChecks=544868  nbPropagations=101260  nbRevisions=1124634
17.76	     nbUselessRevisions=1053795  nbAssignments=1354  nbFailedAssignments=43  nbBacktracks=137  nbVisitedNodes=1438
17.76	     nbRestartNogoods=16  mapSize=66  nbInferences=0  nbTooLargeKeys=0
17.76	       =>  wckTime=12.365  cpuTime=12.21  mem=72M127
46.59	   
46.59	   search
46.59	     run=5  nbConstraintChecks=830318  nbValidityChecks=673601  nbPropagations=137957  nbRevisions=1593157
46.59	     nbUselessRevisions=1491742  nbAssignments=3602  nbFailedAssignments=62  nbBacktracks=335  nbVisitedNodes=3715
46.59	     nbRestartNogoods=17  mapSize=79  nbInferences=0  nbTooLargeKeys=0
46.59	       =>  wckTime=41.203  cpuTime=40.77  mem=73M126
66.72	   
66.72	   search
66.72	     run=6  nbConstraintChecks=951765  nbValidityChecks=798798  nbPropagations=179712  nbRevisions=2144803
66.72	     nbUselessRevisions=2007985  nbAssignments=5177  nbFailedAssignments=67  nbBacktracks=1208  nbVisitedNodes=5301
66.72	     nbRestartNogoods=32  mapSize=88  nbInferences=0  nbTooLargeKeys=0
66.72	       =>  wckTime=61.327  cpuTime=60.72  mem=74M125
77.62	   
77.62	   search
77.62	     run=7  nbConstraintChecks=1080685  nbValidityChecks=937669  nbPropagations=226787  nbRevisions=2788015
77.62	     nbUselessRevisions=2610968  nbAssignments=6066  nbFailedAssignments=67  nbBacktracks=1386  nbVisitedNodes=6319
77.62	     nbRestartNogoods=33  mapSize=216  nbInferences=129  nbTooLargeKeys=0
77.62	       =>  wckTime=72.233  cpuTime=71.51  mem=75M123
89.61	   
89.61	   search
89.61	     run=8  nbConstraintChecks=1209603  nbValidityChecks=1075848  nbPropagations=279167  nbRevisions=3522340
89.61	     nbUselessRevisions=3300232  nbAssignments=7032  nbFailedAssignments=68  nbBacktracks=1642  nbVisitedNodes=7407
89.61	     nbRestartNogoods=34  mapSize=335  nbInferences=249  nbTooLargeKeys=0
89.61	       =>  wckTime=84.217  cpuTime=83.38  mem=76M122
103.41	   
103.41	   search
103.41	     run=9  nbConstraintChecks=1370397  nbValidityChecks=1224350  nbPropagations=337627  nbRevisions=4358398
103.41	     nbUselessRevisions=4085602  nbAssignments=8143  nbFailedAssignments=82  nbBacktracks=2027  nbVisitedNodes=8681
103.41	     nbRestartNogoods=37  mapSize=496  nbInferences=383  nbTooLargeKeys=0
103.41	       =>  wckTime=98.019  cpuTime=97.05  mem=76M122
119.78	   
119.78	   search
119.78	     run=10  nbConstraintChecks=1531652  nbValidityChecks=1392142  nbPropagations=402474  nbRevisions=5308788
119.78	     nbUselessRevisions=4979647  nbAssignments=9426  nbFailedAssignments=85  nbBacktracks=2606  nbVisitedNodes=10236
119.78	     nbRestartNogoods=39  mapSize=765  nbInferences=650  nbTooLargeKeys=0
119.78	       =>  wckTime=114.389  cpuTime=113.27  mem=77M121
145.36	   
145.36	   search
145.36	     run=11  nbConstraintChecks=1709891  nbValidityChecks=1625881  nbPropagations=474781  nbRevisions=6412533
145.36	     nbUselessRevisions=6021071  nbAssignments=11362  nbFailedAssignments=85  nbBacktracks=3470  nbVisitedNodes=12803
145.36	     nbRestartNogoods=42  mapSize=1389  nbInferences=1281  nbTooLargeKeys=0
145.36	       =>  wckTime=139.969  cpuTime=138.62  mem=79M119
180.41	   
180.41	   search
180.41	     run=12  nbConstraintChecks=1919255  nbValidityChecks=1913282  nbPropagations=555908  nbRevisions=7704884
180.41	     nbUselessRevisions=7244363  nbAssignments=14021  nbFailedAssignments=85  nbBacktracks=4767  nbVisitedNodes=16390
180.41	     nbRestartNogoods=49  mapSize=2312  nbInferences=2209  nbTooLargeKeys=0
180.41	       =>  wckTime=175.019  cpuTime=173.43  mem=81M133
229.04	   
229.04	   search
229.04	     run=13  nbConstraintChecks=2176935  nbValidityChecks=2285580  nbPropagations=647802  nbRevisions=9240790
229.04	     nbUselessRevisions=8703487  nbAssignments=17817  nbFailedAssignments=85  nbBacktracks=6713  nbVisitedNodes=21596
229.04	     nbRestartNogoods=54  mapSize=3716  nbInferences=3619  nbTooLargeKeys=0
229.04	       =>  wckTime=223.655  cpuTime=222.02  mem=83M131
298.20	   
298.20	   search
298.20	     run=14  nbConstraintChecks=2507416  nbValidityChecks=2781489  nbPropagations=753474  nbRevisions=11100932
298.20	     nbUselessRevisions=10477499  nbAssignments=23279  nbFailedAssignments=85  nbBacktracks=9632  nbVisitedNodes=29160
298.20	     nbRestartNogoods=60  mapSize=5812  nbInferences=5721  nbTooLargeKeys=0
298.20	       =>  wckTime=292.814  cpuTime=291.06  mem=45M286
399.65	   
399.65	   search
399.65	     run=15  nbConstraintChecks=2948303  nbValidityChecks=3464040  nbPropagations=877544  nbRevisions=13407373
399.65	     nbUselessRevisions=12685936  nbAssignments=31249  nbFailedAssignments=86  nbBacktracks=14010  nbVisitedNodes=40281
399.65	     nbRestartNogoods=66  mapSize=8957  nbInferences=8871  nbTooLargeKeys=0
399.65	       =>  wckTime=394.256  cpuTime=392.41  mem=50M280
549.38	   
549.38	   search
549.38	     run=16  nbConstraintChecks=3546173  nbValidityChecks=4434146  nbPropagations=1026563  nbRevisions=16345778
549.38	     nbUselessRevisions=15511042  nbAssignments=42965  nbFailedAssignments=86  nbBacktracks=20579  nbVisitedNodes=56711
549.38	     nbRestartNogoods=72  mapSize=13668  nbInferences=13585  nbTooLargeKeys=0
549.38	       =>  wckTime=543.987  cpuTime=542.0  mem=57M273
772.16	   
772.16	   search
772.16	     run=17  nbConstraintChecks=4391840  nbValidityChecks=5830222  nbPropagations=1210787  nbRevisions=20193278
772.16	     nbUselessRevisions=19224427  nbAssignments=60344  nbFailedAssignments=87  nbBacktracks=30431  nbVisitedNodes=81176
772.16	     nbRestartNogoods=75  mapSize=20747  nbInferences=20670  nbTooLargeKeys=0
772.16	       =>  wckTime=766.772  cpuTime=764.58  mem=67M262
1104.08	   
1104.08	   search
1104.08	     run=18  nbConstraintChecks=5605112  nbValidityChecks=7861182  nbPropagations=1445233  nbRevisions=25361963
1104.08	     nbUselessRevisions=24230222  nbAssignments=86176  nbFailedAssignments=88  nbBacktracks=45209  nbVisitedNodes=117622
1104.08	     nbRestartNogoods=82  mapSize=31353  nbInferences=31283  nbTooLargeKeys=0
1104.08	       =>  wckTime=1098.692  cpuTime=1096.15  mem=83M244
1599.67	   
1599.67	   search
1599.67	     run=19  nbConstraintChecks=7360395  nbValidityChecks=10845708  nbPropagations=1752503  nbRevisions=32472871
1599.67	     nbUselessRevisions=31137463  nbAssignments=124694  nbFailedAssignments=90  nbBacktracks=67378
1599.67	     nbVisitedNodes=172056  nbRestartNogoods=90  mapSize=47263  nbInferences=47197  nbTooLargeKeys=0
1599.67	       =>  wckTime=1594.277  cpuTime=1591.17  mem=79M287

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/node47/watcher-211200-1168075478 -o ROOT/results/node47/solver-211200-1168075478 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/211200-1168075478/unknown.xml 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB

/proc/loadavg: 1.65 1.88 1.90 4/80 2795
/proc/meminfo: memFree=1712376/2055920 swapFree=4192812/4192956
[pid=2794] ppid=2792 vsize=906644 CPUtime=0.02
/proc/2794/stat : 2794 (java) S 2792 2794 2566 0 -1 0 2068 0 1 0 1 1 0 0 18 0 2 0 155947038 928403456 1817 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 7368 18446744073709551615 0 0 17 1 0 0
/proc/2794/statm: 226661 1817 1036 14 0 214244 0
[pid=2794/tid=2796] ppid=2792 vsize=906644 CPUtime=0
/proc/2794/task/2796/stat : 2796 (java) R 2792 2794 2566 0 -1 64 3 0 0 0 0 0 0 0 19 0 2 0 155947042 928403456 1817 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 7368 0 0 0 -1 1 0 0

[startup+0.105982 s]
/proc/loadavg: 1.65 1.88 1.90 4/80 2795
/proc/meminfo: memFree=1712376/2055920 swapFree=4192812/4192956
[pid=2794] ppid=2792 vsize=914988 CPUtime=0.09
/proc/2794/stat : 2794 (java) R 2792 2794 2566 0 -1 0 2995 0 1 0 7 2 0 0 20 0 8 0 155947038 936947712 2741 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072932359 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2794/statm: 228747 2741 1427 14 0 215242 0
[pid=2794/tid=2796] ppid=2792 vsize=914988 CPUtime=0
/proc/2794/task/2796/stat : 2796 (java) S 2792 2794 2566 0 -1 64 7 0 0 0 0 0 0 0 18 0 8 0 155947042 936947712 2741 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988

[startup+0.514732 s]
/proc/loadavg: 1.65 1.88 1.90 4/80 2795
/proc/meminfo: memFree=1712376/2055920 swapFree=4192812/4192956
[pid=2794] ppid=2792 vsize=915328 CPUtime=0.49
/proc/2794/stat : 2794 (java) R 2792 2794 2566 0 -1 0 6623 0 1 0 44 5 0 0 22 0 8 0 155947038 937295872 6362 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2794/statm: 228832 6362 2136 14 0 215302 0
[pid=2794/tid=2796] ppid=2792 vsize=915328 CPUtime=0
/proc/2794/task/2796/stat : 2796 (java) S 2792 2794 2566 0 -1 64 7 0 0 0 0 0 0 0 18 0 8 0 155947042 937295872 6362 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328

[startup+1.34182 s]
/proc/loadavg: 1.65 1.88 1.90 3/87 2802
/proc/meminfo: memFree=1650496/2055920 swapFree=4192812/4192956
[pid=2794] ppid=2792 vsize=915644 CPUtime=1.31
/proc/2794/stat : 2794 (java) R 2792 2794 2566 0 -1 0 19307 0 1 0 120 11 0 0 25 0 8 0 155947038 937619456 19044 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2794/statm: 228911 19044 2158 14 0 215381 0
[pid=2794/tid=2796] ppid=2792 vsize=915644 CPUtime=0.09
/proc/2794/task/2796/stat : 2796 (java) R 2792 2794 2566 0 -1 64 2766 0 0 0 9 0 0 0 16 0 8 0 155947042 937619456 19044 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155216448 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2794/tid=2797] ppid=2792 vsize=915644 CPUtime=0
/proc/2794/task/2797/stat : 2797 (java) S 2792 2794 2566 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155947042 937619456 19044 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2794/tid=2798] ppid=2792 vsize=915644 CPUtime=0
/proc/2794/task/2798/stat : 2798 (java) S 2792 2794 2566 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155947042 937619456 19044 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2794/tid=2799] ppid=2792 vsize=915644 CPUtime=0
/proc/2794/task/2799/stat : 2799 (java) S 2792 2794 2566 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155947046 937619456 19044 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2794/tid=2800] ppid=2792 vsize=915644 CPUtime=0.15
/proc/2794/task/2800/stat : 2800 (java) S 2792 2794 2566 0 -1 64 408 0 0 0 15 0 0 0 15 0 8 0 155947046 937619456 19044 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2794/tid=2801] ppid=2792 vsize=915644 CPUtime=0
/proc/2794/task/2801/stat : 2801 (java) S 2792 2794 2566 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155947046 937619456 19044 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2794/tid=2802] ppid=2792 vsize=915644 CPUtime=0
/proc/2794/task/2802/stat : 2802 (java) S 2792 2794 2566 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155947046 937619456 19044 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915644

[startup+2.99499 s]
/proc/loadavg: 1.65 1.88 1.90 3/87 2802
/proc/meminfo: memFree=1642688/2055920 swapFree=4192812/4192956
[pid=2794] ppid=2792 vsize=915644 CPUtime=2.95
/proc/2794/stat : 2794 (java) R 2792 2794 2566 0 -1 0 19731 0 1 0 230 65 0 0 25 0 8 0 155947038 937619456 19466 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073479196 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2794/statm: 228911 19466 2178 14 0 215381 0
[pid=2794/tid=2796] ppid=2792 vsize=915644 CPUtime=0.12
/proc/2794/task/2796/stat : 2796 (java) S 2792 2794 2566 0 -1 64 3103 0 0 0 11 1 0 0 17 0 8 0 155947042 937619456 19466 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2794/tid=2797] ppid=2792 vsize=915644 CPUtime=0
/proc/2794/task/2797/stat : 2797 (java) S 2792 2794 2566 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155947042 937619456 19466 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2794/tid=2798] ppid=2792 vsize=915644 CPUtime=0
/proc/2794/task/2798/stat : 2798 (java) S 2792 2794 2566 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155947042 937619456 19466 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2794/tid=2799] ppid=2792 vsize=915644 CPUtime=0
/proc/2794/task/2799/stat : 2799 (java) S 2792 2794 2566 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155947046 937619456 19466 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2794/tid=2800] ppid=2792 vsize=915644 CPUtime=0.19
/proc/2794/task/2800/stat : 2800 (java) S 2792 2794 2566 0 -1 64 434 0 0 0 19 0 0 0 15 0 8 0 155947046 937619456 19466 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2794/tid=2801] ppid=2792 vsize=915644 CPUtime=0
/proc/2794/task/2801/stat : 2801 (java) S 2792 2794 2566 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155947046 937619456 19466 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2794/tid=2802] ppid=2792 vsize=915644 CPUtime=0
/proc/2794/task/2802/stat : 2802 (java) S 2792 2794 2566 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155947046 937619456 19466 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 915644

[startup+6.29235 s]
/proc/loadavg: 1.68 1.89 1.90 2/75 2810
/proc/meminfo: memFree=1662432/2055920 swapFree=4192812/4192956
[pid=2794] ppid=2792 vsize=915876 CPUtime=6.25
/proc/2794/stat : 2794 (java) R 2792 2794 2566 0 -1 0 28280 0 1 0 552 73 0 0 17 0 8 0 155947038 937857024 27996 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073892128 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2794/statm: 228969 27996 2527 14 0 215439 0
[pid=2794/tid=2796] ppid=2792 vsize=915876 CPUtime=0.42
/proc/2794/task/2796/stat : 2796 (java) S 2792 2794 2566 0 -1 64 11138 0 0 0 37 5 0 0 16 0 8 0 155947042 937857024 27996 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2794/tid=2797] ppid=2792 vsize=915876 CPUtime=0
/proc/2794/task/2797/stat : 2797 (java) S 2792 2794 2566 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155947042 937857024 27996 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2794/tid=2798] ppid=2792 vsize=915876 CPUtime=0
/proc/2794/task/2798/stat : 2798 (java) S 2792 2794 2566 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155947042 937857024 27996 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2794/tid=2799] ppid=2792 vsize=915876 CPUtime=0
/proc/2794/task/2799/stat : 2799 (java) S 2792 2794 2566 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155947046 937857024 27996 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2794/tid=2800] ppid=2792 vsize=915876 CPUtime=0.34
/proc/2794/task/2800/stat : 2800 (java) S 2792 2794 2566 0 -1 64 528 0 0 0 33 1 0 0 16 0 8 0 155947046 937857024 27996 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2794/tid=2801] ppid=2792 vsize=915876 CPUtime=0
/proc/2794/task/2801/stat : 2801 (java) S 2792 2794 2566 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155947046 937857024 27996 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2794/tid=2802] ppid=2792 vsize=915876 CPUtime=0
/proc/2794/task/2802/stat : 2802 (java) S 2792 2794 2566 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155947046 937857024 27996 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 915876

[startup+12.7731 s]
/proc/loadavg: 1.62 1.87 1.90 3/87 2858
/proc/meminfo: memFree=1601392/2055920 swapFree=4192812/4192956
[pid=2794] ppid=2792 vsize=915876 CPUtime=12.69
/proc/2794/stat : 2794 (java) R 2792 2794 2566 0 -1 0 28300 0 1 0 1194 75 0 0 25 0 8 0 155947038 937857024 28009 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074212665 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2794/statm: 228969 28009 2530 14 0 215439 0
[pid=2794/tid=2796] ppid=2792 vsize=915876 CPUtime=0.42
/proc/2794/task/2796/stat : 2796 (java) S 2792 2794 2566 0 -1 64 11138 0 0 0 37 5 0 0 17 0 8 0 155947042 937857024 28009 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2794/tid=2797] ppid=2792 vsize=915876 CPUtime=0
/proc/2794/task/2797/stat : 2797 (java) S 2792 2794 2566 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155947042 937857024 28009 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2794/tid=2798] ppid=2792 vsize=915876 CPUtime=0
/proc/2794/task/2798/stat : 2798 (java) S 2792 2794 2566 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155947042 937857024 28009 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2794/tid=2799] ppid=2792 vsize=915876 CPUtime=0
/proc/2794/task/2799/stat : 2799 (java) S 2792 2794 2566 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155947046 937857024 28009 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2794/tid=2800] ppid=2792 vsize=915876 CPUtime=0.35
/proc/2794/task/2800/stat : 2800 (java) S 2792 2794 2566 0 -1 64 537 0 0 0 34 1 0 0 16 0 8 0 155947046 937857024 28009 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2794/tid=2801] ppid=2792 vsize=915876 CPUtime=0
/proc/2794/task/2801/stat : 2801 (java) S 2792 2794 2566 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155947046 937857024 28009 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2794/tid=2802] ppid=2792 vsize=915876 CPUtime=0
/proc/2794/task/2802/stat : 2802 (java) S 2792 2794 2566 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155947046 937857024 28009 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 915876

[startup+25.6264 s]
/proc/loadavg: 1.70 1.88 1.90 3/87 2858
/proc/meminfo: memFree=1513904/2055920 swapFree=4192812/4192956
[pid=2794] ppid=2792 vsize=915876 CPUtime=25.42
/proc/2794/stat : 2794 (java) R 2792 2794 2566 0 -1 0 28311 0 1 0 2466 76 0 0 25 0 8 0 155947038 937857024 28015 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073480159 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2794/statm: 228969 28015 2530 14 0 215439 0
[pid=2794/tid=2796] ppid=2792 vsize=915876 CPUtime=0.42
/proc/2794/task/2796/stat : 2796 (java) S 2792 2794 2566 0 -1 64 11138 0 0 0 37 5 0 0 16 0 8 0 155947042 937857024 28015 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2794/tid=2797] ppid=2792 vsize=915876 CPUtime=0
/proc/2794/task/2797/stat : 2797 (java) S 2792 2794 2566 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155947042 937857024 28015 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2794/tid=2798] ppid=2792 vsize=915876 CPUtime=0
/proc/2794/task/2798/stat : 2798 (java) S 2792 2794 2566 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155947042 937857024 28015 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2794/tid=2799] ppid=2792 vsize=915876 CPUtime=0
/proc/2794/task/2799/stat : 2799 (java) S 2792 2794 2566 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155947046 937857024 28015 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2794/tid=2800] ppid=2792 vsize=915876 CPUtime=0.37
/proc/2794/task/2800/stat : 2800 (java) S 2792 2794 2566 0 -1 64 544 0 0 0 36 1 0 0 17 0 8 0 155947046 937857024 28015 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2794/tid=2801] ppid=2792 vsize=915876 CPUtime=0
/proc/2794/task/2801/stat : 2801 (java) S 2792 2794 2566 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155947046 937857024 28015 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2794/tid=2802] ppid=2792 vsize=915876 CPUtime=0
/proc/2794/task/2802/stat : 2802 (java) S 2792 2794 2566 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155947046 937857024 28015 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.42
Current children cumulated vsize (KiB) 915876

[startup+51.2572 s]
/proc/loadavg: 1.80 1.89 1.90 3/87 2858
/proc/meminfo: memFree=1505968/2055920 swapFree=4192812/4192956
[pid=2794] ppid=2792 vsize=915876 CPUtime=50.82
/proc/2794/stat : 2794 (java) R 2792 2794 2566 0 -1 0 28313 0 1 0 5006 76 0 0 25 0 8 0 155947038 937857024 28016 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074258915 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2794/statm: 228969 28016 2530 14 0 215439 0
[pid=2794/tid=2796] ppid=2792 vsize=915876 CPUtime=0.42
/proc/2794/task/2796/stat : 2796 (java) S 2792 2794 2566 0 -1 64 11138 0 0 0 37 5 0 0 16 0 8 0 155947042 937857024 28016 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2794/tid=2797] ppid=2792 vsize=915876 CPUtime=0
/proc/2794/task/2797/stat : 2797 (java) S 2792 2794 2566 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155947042 937857024 28016 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2794/tid=2798] ppid=2792 vsize=915876 CPUtime=0
/proc/2794/task/2798/stat : 2798 (java) S 2792 2794 2566 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155947042 937857024 28016 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2794/tid=2799] ppid=2792 vsize=915876 CPUtime=0
/proc/2794/task/2799/stat : 2799 (java) S 2792 2794 2566 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155947046 937857024 28016 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2794/tid=2800] ppid=2792 vsize=915876 CPUtime=0.37
/proc/2794/task/2800/stat : 2800 (java) S 2792 2794 2566 0 -1 64 545 0 0 0 36 1 0 0 16 0 8 0 155947046 937857024 28016 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2794/tid=2801] ppid=2792 vsize=915876 CPUtime=0
/proc/2794/task/2801/stat : 2801 (java) S 2792 2794 2566 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155947046 937857024 28016 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2794/tid=2802] ppid=2792 vsize=915876 CPUtime=0
/proc/2794/task/2802/stat : 2802 (java) S 2792 2794 2566 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155947046 937857024 28016 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.82
Current children cumulated vsize (KiB) 915876

[startup+102.514 s]
/proc/loadavg: 1.91 1.90 1.91 3/87 2858
/proc/meminfo: memFree=1506032/2055920 swapFree=4192812/4192956
[pid=2794] ppid=2792 vsize=915876 CPUtime=101.6
/proc/2794/stat : 2794 (java) R 2792 2794 2566 0 -1 0 28323 0 1 0 10084 76 0 0 25 0 8 0 155947038 937857024 28021 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074187556 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2794/statm: 228969 28021 2530 14 0 215439 0
[pid=2794/tid=2796] ppid=2792 vsize=915876 CPUtime=0.42
/proc/2794/task/2796/stat : 2796 (java) S 2792 2794 2566 0 -1 64 11138 0 0 0 37 5 0 0 16 0 8 0 155947042 937857024 28021 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2794/tid=2797] ppid=2792 vsize=915876 CPUtime=0
/proc/2794/task/2797/stat : 2797 (java) S 2792 2794 2566 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155947042 937857024 28021 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2794/tid=2798] ppid=2792 vsize=915876 CPUtime=0
/proc/2794/task/2798/stat : 2798 (java) S 2792 2794 2566 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155947042 937857024 28021 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2794/tid=2799] ppid=2792 vsize=915876 CPUtime=0
/proc/2794/task/2799/stat : 2799 (java) S 2792 2794 2566 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155947046 937857024 28021 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2794/tid=2800] ppid=2792 vsize=915876 CPUtime=0.39
/proc/2794/task/2800/stat : 2800 (java) S 2792 2794 2566 0 -1 64 550 0 0 0 38 1 0 0 16 0 8 0 155947046 937857024 28021 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2794/tid=2801] ppid=2792 vsize=915876 CPUtime=0
/proc/2794/task/2801/stat : 2801 (java) S 2792 2794 2566 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155947046 937857024 28021 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2794/tid=2802] ppid=2792 vsize=915876 CPUtime=0
/proc/2794/task/2802/stat : 2802 (java) S 2792 2794 2566 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155947046 937857024 28021 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.6
Current children cumulated vsize (KiB) 915876

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

Current children cumulated CPU time (s) 1420.67
Current children cumulated vsize (KiB) 915876

[startup+1483.43 s]
/proc/loadavg: 2.00 2.00 1.93 3/87 2914
/proc/meminfo: memFree=1514608/2055920 swapFree=4192812/4192956
[pid=2794] ppid=2792 vsize=915876 CPUtime=1480.66
/proc/2794/stat : 2794 (java) R 2792 2794 2566 0 -1 0 35185 0 1 0 147982 84 0 0 25 0 8 0 155947038 937857024 34880 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074271635 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2794/statm: 228969 34880 2530 14 0 215439 0
[pid=2794/tid=2796] ppid=2792 vsize=915876 CPUtime=0.56
/proc/2794/task/2796/stat : 2796 (java) S 2792 2794 2566 0 -1 64 17996 0 0 0 48 8 0 0 16 0 8 0 155947042 937857024 34880 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2794/tid=2797] ppid=2792 vsize=915876 CPUtime=0
/proc/2794/task/2797/stat : 2797 (java) S 2792 2794 2566 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155947042 937857024 34880 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2794/tid=2798] ppid=2792 vsize=915876 CPUtime=0
/proc/2794/task/2798/stat : 2798 (java) S 2792 2794 2566 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155947042 937857024 34880 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2794/tid=2799] ppid=2792 vsize=915876 CPUtime=0
/proc/2794/task/2799/stat : 2799 (java) S 2792 2794 2566 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155947046 937857024 34880 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2794/tid=2800] ppid=2792 vsize=915876 CPUtime=0.39
/proc/2794/task/2800/stat : 2800 (java) S 2792 2794 2566 0 -1 64 551 0 0 0 38 1 0 0 16 0 8 0 155947046 937857024 34880 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2794/tid=2801] ppid=2792 vsize=915876 CPUtime=0
/proc/2794/task/2801/stat : 2801 (java) S 2792 2794 2566 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155947046 937857024 34880 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2794/tid=2802] ppid=2792 vsize=915876 CPUtime=0.02
/proc/2794/task/2802/stat : 2802 (java) S 2792 2794 2566 0 -1 64 1 0 0 0 1 1 0 0 15 0 8 0 155947046 937857024 34880 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1480.66
Current children cumulated vsize (KiB) 915876

[startup+1543.47 s]
/proc/loadavg: 2.04 2.01 1.94 3/87 2914
/proc/meminfo: memFree=1514544/2055920 swapFree=4192812/4192956
[pid=2794] ppid=2792 vsize=915876 CPUtime=1540.65
/proc/2794/stat : 2794 (java) R 2792 2794 2566 0 -1 0 35185 0 1 0 153981 84 0 0 25 0 8 0 155947038 937857024 34880 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074197530 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2794/statm: 228969 34880 2530 14 0 215439 0
[pid=2794/tid=2796] ppid=2792 vsize=915876 CPUtime=0.56
/proc/2794/task/2796/stat : 2796 (java) S 2792 2794 2566 0 -1 64 17996 0 0 0 48 8 0 0 16 0 8 0 155947042 937857024 34880 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2794/tid=2797] ppid=2792 vsize=915876 CPUtime=0
/proc/2794/task/2797/stat : 2797 (java) S 2792 2794 2566 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155947042 937857024 34880 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2794/tid=2798] ppid=2792 vsize=915876 CPUtime=0
/proc/2794/task/2798/stat : 2798 (java) S 2792 2794 2566 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155947042 937857024 34880 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2794/tid=2799] ppid=2792 vsize=915876 CPUtime=0
/proc/2794/task/2799/stat : 2799 (java) S 2792 2794 2566 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155947046 937857024 34880 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2794/tid=2800] ppid=2792 vsize=915876 CPUtime=0.39
/proc/2794/task/2800/stat : 2800 (java) S 2792 2794 2566 0 -1 64 551 0 0 0 38 1 0 0 16 0 8 0 155947046 937857024 34880 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2794/tid=2801] ppid=2792 vsize=915876 CPUtime=0
/proc/2794/task/2801/stat : 2801 (java) S 2792 2794 2566 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155947046 937857024 34880 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2794/tid=2802] ppid=2792 vsize=915876 CPUtime=0.02
/proc/2794/task/2802/stat : 2802 (java) S 2792 2794 2566 0 -1 64 1 0 0 0 1 1 0 0 15 0 8 0 155947046 937857024 34880 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1540.65
Current children cumulated vsize (KiB) 915876

[startup+1603.51 s]
/proc/loadavg: 2.01 2.01 1.94 3/87 2914
/proc/meminfo: memFree=1514544/2055920 swapFree=4192812/4192956
[pid=2794] ppid=2792 vsize=915876 CPUtime=1600.62
/proc/2794/stat : 2794 (java) R 2792 2794 2566 0 -1 0 35185 0 1 0 159977 85 0 0 25 0 8 0 155947038 937857024 34880 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074187607 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2794/statm: 228969 34880 2530 14 0 215439 0
[pid=2794/tid=2796] ppid=2792 vsize=915876 CPUtime=0.56
/proc/2794/task/2796/stat : 2796 (java) S 2792 2794 2566 0 -1 64 17996 0 0 0 48 8 0 0 16 0 8 0 155947042 937857024 34880 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2794/tid=2797] ppid=2792 vsize=915876 CPUtime=0
/proc/2794/task/2797/stat : 2797 (java) S 2792 2794 2566 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155947042 937857024 34880 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2794/tid=2798] ppid=2792 vsize=915876 CPUtime=0
/proc/2794/task/2798/stat : 2798 (java) S 2792 2794 2566 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155947042 937857024 34880 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2794/tid=2799] ppid=2792 vsize=915876 CPUtime=0
/proc/2794/task/2799/stat : 2799 (java) S 2792 2794 2566 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155947046 937857024 34880 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2794/tid=2800] ppid=2792 vsize=915876 CPUtime=0.39
/proc/2794/task/2800/stat : 2800 (java) S 2792 2794 2566 0 -1 64 551 0 0 0 38 1 0 0 16 0 8 0 155947046 937857024 34880 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2794/tid=2801] ppid=2792 vsize=915876 CPUtime=0
/proc/2794/task/2801/stat : 2801 (java) S 2792 2794 2566 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155947046 937857024 34880 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2794/tid=2802] ppid=2792 vsize=915876 CPUtime=0.02
/proc/2794/task/2802/stat : 2802 (java) S 2792 2794 2566 0 -1 64 1 0 0 0 1 1 0 0 15 0 8 0 155947046 937857024 34880 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1600.62
Current children cumulated vsize (KiB) 915876

[startup+1663.55 s]
/proc/loadavg: 2.13 2.03 1.95 3/87 2914
/proc/meminfo: memFree=1514480/2055920 swapFree=4192812/4192956
[pid=2794] ppid=2792 vsize=915876 CPUtime=1660.61
/proc/2794/stat : 2794 (java) R 2792 2794 2566 0 -1 0 35185 0 1 0 165975 86 0 0 25 0 8 0 155947038 937857024 34880 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074187663 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2794/statm: 228969 34880 2530 14 0 215439 0
[pid=2794/tid=2796] ppid=2792 vsize=915876 CPUtime=0.56
/proc/2794/task/2796/stat : 2796 (java) S 2792 2794 2566 0 -1 64 17996 0 0 0 48 8 0 0 16 0 8 0 155947042 937857024 34880 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2794/tid=2797] ppid=2792 vsize=915876 CPUtime=0
/proc/2794/task/2797/stat : 2797 (java) S 2792 2794 2566 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155947042 937857024 34880 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2794/tid=2798] ppid=2792 vsize=915876 CPUtime=0
/proc/2794/task/2798/stat : 2798 (java) S 2792 2794 2566 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155947042 937857024 34880 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2794/tid=2799] ppid=2792 vsize=915876 CPUtime=0
/proc/2794/task/2799/stat : 2799 (java) S 2792 2794 2566 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155947046 937857024 34880 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2794/tid=2800] ppid=2792 vsize=915876 CPUtime=0.39
/proc/2794/task/2800/stat : 2800 (java) S 2792 2794 2566 0 -1 64 551 0 0 0 38 1 0 0 16 0 8 0 155947046 937857024 34880 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2794/tid=2801] ppid=2792 vsize=915876 CPUtime=0
/proc/2794/task/2801/stat : 2801 (java) S 2792 2794 2566 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155947046 937857024 34880 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2794/tid=2802] ppid=2792 vsize=915876 CPUtime=0.02
/proc/2794/task/2802/stat : 2802 (java) S 2792 2794 2566 0 -1 64 1 0 0 0 1 1 0 0 15 0 8 0 155947046 937857024 34880 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1660.61
Current children cumulated vsize (KiB) 915876

[startup+1723.59 s]
/proc/loadavg: 2.05 2.03 1.95 3/87 2914
/proc/meminfo: memFree=1514480/2055920 swapFree=4192812/4192956
[pid=2794] ppid=2792 vsize=915876 CPUtime=1720.6
/proc/2794/stat : 2794 (java) R 2792 2794 2566 0 -1 0 35185 0 1 0 171974 86 0 0 25 0 8 0 155947038 937857024 34880 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074197586 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2794/statm: 228969 34880 2530 14 0 215439 0
[pid=2794/tid=2796] ppid=2792 vsize=915876 CPUtime=0.56
/proc/2794/task/2796/stat : 2796 (java) S 2792 2794 2566 0 -1 64 17996 0 0 0 48 8 0 0 16 0 8 0 155947042 937857024 34880 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2794/tid=2797] ppid=2792 vsize=915876 CPUtime=0
/proc/2794/task/2797/stat : 2797 (java) S 2792 2794 2566 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155947042 937857024 34880 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2794/tid=2798] ppid=2792 vsize=915876 CPUtime=0
/proc/2794/task/2798/stat : 2798 (java) S 2792 2794 2566 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155947042 937857024 34880 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2794/tid=2799] ppid=2792 vsize=915876 CPUtime=0
/proc/2794/task/2799/stat : 2799 (java) S 2792 2794 2566 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155947046 937857024 34880 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2794/tid=2800] ppid=2792 vsize=915876 CPUtime=0.39
/proc/2794/task/2800/stat : 2800 (java) S 2792 2794 2566 0 -1 64 551 0 0 0 38 1 0 0 16 0 8 0 155947046 937857024 34880 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2794/tid=2801] ppid=2792 vsize=915876 CPUtime=0
/proc/2794/task/2801/stat : 2801 (java) S 2792 2794 2566 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155947046 937857024 34880 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2794/tid=2802] ppid=2792 vsize=915876 CPUtime=0.02
/proc/2794/task/2802/stat : 2802 (java) S 2792 2794 2566 0 -1 64 1 0 0 0 1 1 0 0 15 0 8 0 155947046 937857024 34880 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1720.6
Current children cumulated vsize (KiB) 915876

[startup+1783.62 s]
/proc/loadavg: 2.01 2.02 1.95 3/87 2914
/proc/meminfo: memFree=1514480/2055920 swapFree=4192812/4192956
[pid=2794] ppid=2792 vsize=915876 CPUtime=1780.57
/proc/2794/stat : 2794 (java) R 2792 2794 2566 0 -1 0 35185 0 1 0 177971 86 0 0 25 0 8 0 155947038 937857024 34880 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074257146 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2794/statm: 228969 34880 2530 14 0 215439 0
[pid=2794/tid=2796] ppid=2792 vsize=915876 CPUtime=0.56
/proc/2794/task/2796/stat : 2796 (java) S 2792 2794 2566 0 -1 64 17996 0 0 0 48 8 0 0 16 0 8 0 155947042 937857024 34880 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2794/tid=2797] ppid=2792 vsize=915876 CPUtime=0
/proc/2794/task/2797/stat : 2797 (java) S 2792 2794 2566 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155947042 937857024 34880 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2794/tid=2798] ppid=2792 vsize=915876 CPUtime=0
/proc/2794/task/2798/stat : 2798 (java) S 2792 2794 2566 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155947042 937857024 34880 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2794/tid=2799] ppid=2792 vsize=915876 CPUtime=0
/proc/2794/task/2799/stat : 2799 (java) S 2792 2794 2566 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155947046 937857024 34880 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2794/tid=2800] ppid=2792 vsize=915876 CPUtime=0.39
/proc/2794/task/2800/stat : 2800 (java) S 2792 2794 2566 0 -1 64 551 0 0 0 38 1 0 0 16 0 8 0 155947046 937857024 34880 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2794/tid=2801] ppid=2792 vsize=915876 CPUtime=0
/proc/2794/task/2801/stat : 2801 (java) S 2792 2794 2566 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155947046 937857024 34880 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2794/tid=2802] ppid=2792 vsize=915876 CPUtime=0.03
/proc/2794/task/2802/stat : 2802 (java) S 2792 2794 2566 0 -1 64 1 0 0 0 1 2 0 0 15 0 8 0 155947046 937857024 34880 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1780.57
Current children cumulated vsize (KiB) 915876



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1803.16 s]
/proc/loadavg: 2.01 2.02 1.95 3/87 2914
/proc/meminfo: memFree=1514416/2055920 swapFree=4192812/4192956
[pid=2794] ppid=2792 vsize=915876 CPUtime=1800.1
/proc/2794/stat : 2794 (java) R 2792 2794 2566 0 -1 0 35185 0 1 0 179924 86 0 0 25 0 8 0 155947038 937857024 34880 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074187546 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2794/statm: 228969 34880 2530 14 0 215439 0
[pid=2794/tid=2796] ppid=2792 vsize=915876 CPUtime=0.56
/proc/2794/task/2796/stat : 2796 (java) S 2792 2794 2566 0 -1 64 17996 0 0 0 48 8 0 0 16 0 8 0 155947042 937857024 34880 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2794/tid=2797] ppid=2792 vsize=915876 CPUtime=0
/proc/2794/task/2797/stat : 2797 (java) S 2792 2794 2566 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155947042 937857024 34880 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2794/tid=2798] ppid=2792 vsize=915876 CPUtime=0
/proc/2794/task/2798/stat : 2798 (java) S 2792 2794 2566 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155947042 937857024 34880 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2794/tid=2799] ppid=2792 vsize=915876 CPUtime=0
/proc/2794/task/2799/stat : 2799 (java) S 2792 2794 2566 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155947046 937857024 34880 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2794/tid=2800] ppid=2792 vsize=915876 CPUtime=0.39
/proc/2794/task/2800/stat : 2800 (java) S 2792 2794 2566 0 -1 64 551 0 0 0 38 1 0 0 16 0 8 0 155947046 937857024 34880 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2794/tid=2801] ppid=2792 vsize=915876 CPUtime=0
/proc/2794/task/2801/stat : 2801 (java) S 2792 2794 2566 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155947046 937857024 34880 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2794/tid=2802] ppid=2792 vsize=915876 CPUtime=0.03
/proc/2794/task/2802/stat : 2802 (java) S 2792 2794 2566 0 -1 64 1 0 0 0 1 2 0 0 15 0 8 0 155947046 937857024 34880 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 915876

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

Child status: 143
Real time (s): 1803.21
CPU time (s): 1800.15
CPU user time (s): 1799.26
CPU system time (s): 0.886865
CPU usage (%): 99.8301
Max. virtual memory (cumulated for all children) (KiB): 915976

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.26
system time used= 0.886865
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 35201
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= 38053
involuntary context switches= 15888

runsolver used 1.89171 s user time and 5.58715 s system time

The end

Launcher Data (download as text)

Begin job on node47 on Sat Jan  6 09:24:38 UTC 2007


IDJOB= 211200
IDBENCH= 4676
FILE ID= node47/211200-1168075478

PBS_JOBID= 3476045

Free space on /tmp= 66530 MiB

BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/uclid/22s-smv.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/211200-1168075478/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node47/watcher-211200-1168075478 -o ROOT/results/node47/solver-211200-1168075478 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/211200-1168075478/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  f98401952ea279e232fe10babf15a9f4

RANDOM SEED= 244474253

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.240
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.240
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:       1712856 kB
Buffers:         26560 kB
Cached:         172476 kB
SwapCached:          0 kB
Active:         121912 kB
Inactive:       149028 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1712856 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            4252 kB
Writeback:           0 kB
Mapped:          92140 kB
Slab:            57188 kB
Committed_AS:  3598192 kB
PageTables:       1992 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= 66529 MiB



End job on node47 on Sat Jan  6 09:54:41 UTC 2007