Trace number 210775

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.09 1817.06

General information on the benchmark

NamepseudoSeries/uclid/
ooo-rf9.xml
MD5SUM1fdc375fa3bc4f7f4fc21722cb153d83
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 benchmark12.4841
SatisfiableNO
(Un)Satisfiability was provedNO
Number of variables11476
Number of constraints33089
Maximum constraint arity11
Maximum domain size2
Number of constraints which are defined in extension0
Number of constraints which are defined in intension33089
Global constraints used (with number of constraints)

Solver Data (download as text)

0.30	   
0.30	Abscon 109 (November, 2006)
0.30	   
0.30	   configuration
0.30	     name=esac.xml
0.33	   
0.33	   instance
0.33	     name=/tmp/evaluation/210775-1168202178/unknown.xml
0.36	   
0.36	   domains being loaded...
0.37	   
0.37	   variables being loaded...
0.66	     nbVariables=11476  nbDomainTypes=2  minDomainSize=1  maxDomainSize=2
0.66	       =>  wckTime=0.361  cpuTime=0.27  mem=25M611
0.66	   
0.66	   predicates being loaded...
0.67	   
0.67	   constraints being loaded...
4.88	     nbConstraints=32242  nbMergedConstraints=847  nbSingletonDomainVariables=1  nbConvertedConstraints=21423
4.88	     nbConvertConstraintsChecks=24618  nbExtensionStructures=3  nbSharedExtensionStructures=21420
4.88	     nbConflictsStructures=37  nbSharedConflictsStructures=32205  nbSharedBinaryRepresentations=7
4.88	     nbEvaluationManagers=34  nbSharedEvaluationManagers=10785  maxDegree=178  maxArity=11
4.88	       =>  wckTime=4.577  cpuTime=3.78  mem=52M520
5.12	   
5.12	   solver IterativeSystematicSolver being built... 
5.92	       =>  wckTime=5.621  cpuTime=4.4  mem=80M459
138.98	   
138.98	   INFO : Stopping ESAC
138.99	   
138.99	   preprocessing
138.99	     nbConstraintChecks=99036  nbValidityChecks=36448  nbPropagations=31230  nbRevisions=86464  nbUselessRevisions=76532
138.99	     nbSingletonTests=9840  nbEffectiveSingletonTests=0  nbESACBranches=2  nbRemovedValues=25  detectedInconsistency=no
138.99	       =>  wckTime=133.047  cpuTime=131.78  mem=81M468
143.36	   
143.36	   search
143.36	     run=0  nbConstraintChecks=140389  nbValidityChecks=33687  nbPropagations=55097  nbRevisions=221424
143.36	     nbUselessRevisions=187445  nbAssignments=122  nbFailedAssignments=7  nbBacktracks=10  nbVisitedNodes=136
143.36	     nbRestartNogoods=0  mapSize=10  nbInferences=0  nbTooLargeKeys=0
143.36	       =>  wckTime=137.42  cpuTime=136.08  mem=82M476
147.93	   
147.93	   search
147.93	     run=1  nbConstraintChecks=299941  nbValidityChecks=76124  nbPropagations=139088  nbRevisions=599561
147.93	     nbUselessRevisions=502492  nbAssignments=254  nbFailedAssignments=15  nbBacktracks=25  nbVisitedNodes=280
147.93	     nbRestartNogoods=3  mapSize=23  nbInferences=0  nbTooLargeKeys=0
147.93	       =>  wckTime=141.991  cpuTime=140.61  mem=82M476
152.56	   
152.56	   search
152.56	     run=2  nbConstraintChecks=387525  nbValidityChecks=102653  nbPropagations=238819  nbRevisions=1067555
152.56	     nbUselessRevisions=891558  nbAssignments=386  nbFailedAssignments=21  nbBacktracks=47  nbVisitedNodes=424
152.56	     nbRestartNogoods=6  mapSize=33  nbInferences=0  nbTooLargeKeys=0
152.56	       =>  wckTime=146.622  cpuTime=145.2  mem=82M476
157.29	   
157.29	   search
157.29	     run=3  nbConstraintChecks=511515  nbValidityChecks=141081  nbPropagations=360597  nbRevisions=1666578
157.29	     nbUselessRevisions=1389385  nbAssignments=525  nbFailedAssignments=33  nbBacktracks=82  nbVisitedNodes=587
157.29	     nbRestartNogoods=8  mapSize=56  nbInferences=0  nbTooLargeKeys=0
157.29	       =>  wckTime=151.354  cpuTime=149.89  mem=83M485
163.29	   
163.29	   search
163.29	     run=4  nbConstraintChecks=681016  nbValidityChecks=194687  nbPropagations=511986  nbRevisions=2447841
163.29	     nbUselessRevisions=2039072  nbAssignments=707  nbFailedAssignments=58  nbBacktracks=133  nbVisitedNodes=814
163.29	     nbRestartNogoods=9  mapSize=98  nbInferences=0  nbTooLargeKeys=0
163.29	       =>  wckTime=157.355  cpuTime=155.84  mem=83M485
169.97	   
169.97	   search
169.97	     run=5  nbConstraintChecks=873629  nbValidityChecks=255710  nbPropagations=696899  nbRevisions=3433345
169.97	     nbUselessRevisions=2857369  nbAssignments=925  nbFailedAssignments=87  nbBacktracks=208  nbVisitedNodes=1070
169.97	     nbRestartNogoods=12  mapSize=152  nbInferences=0  nbTooLargeKeys=0
169.97	       =>  wckTime=164.034  cpuTime=162.46  mem=84M493
178.27	   
178.27	   search
178.27	     run=6  nbConstraintChecks=1069289  nbValidityChecks=324866  nbPropagations=915661  nbRevisions=4636079
178.27	     nbUselessRevisions=3855783  nbAssignments=1200  nbFailedAssignments=131  nbBacktracks=325  nbVisitedNodes=1412
178.27	     nbRestartNogoods=15  mapSize=236  nbInferences=0  nbTooLargeKeys=0
178.27	       =>  wckTime=172.334  cpuTime=170.67  mem=84M493
185.95	   
185.95	   search
185.95	     run=7  nbConstraintChecks=1188932  nbValidityChecks=367068  nbPropagations=1154469  nbRevisions=5962035
185.95	     nbUselessRevisions=4956206  nbAssignments=1432  nbFailedAssignments=160  nbBacktracks=520  nbVisitedNodes=1706
185.95	     nbRestartNogoods=17  mapSize=297  nbInferences=0  nbTooLargeKeys=0
185.95	       =>  wckTime=180.013  cpuTime=178.29  mem=85M502
199.10	   
199.10	   search
199.10	     run=8  nbConstraintChecks=3181429  nbValidityChecks=869294  nbPropagations=1733722  nbRevisions=9217518
199.10	     nbUselessRevisions=7621644  nbAssignments=1871  nbFailedAssignments=261  nbBacktracks=776  nbVisitedNodes=2359
199.10	     nbRestartNogoods=18  mapSize=505  nbInferences=0  nbTooLargeKeys=0
199.10	       =>  wckTime=193.163  cpuTime=191.29  mem=86M510
215.47	   
215.47	   search
215.47	     run=9  nbConstraintChecks=5306257  nbValidityChecks=1513459  nbPropagations=2664014  nbRevisions=14543300
215.47	     nbUselessRevisions=11968835  nbAssignments=2536  nbFailedAssignments=378  nbBacktracks=1166  nbVisitedNodes=3183
215.47	     nbRestartNogoods=24  mapSize=767  nbInferences=0  nbTooLargeKeys=0
215.47	       =>  wckTime=209.535  cpuTime=207.51  mem=88M527
233.16	   
233.16	   search
233.16	     run=10  nbConstraintChecks=6290595  nbValidityChecks=1767655  nbPropagations=3760422  nbRevisions=20771636
233.16	     nbUselessRevisions=17033391  nbAssignments=3217  nbFailedAssignments=426  nbBacktracks=1756  nbVisitedNodes=3999
233.16	     nbRestartNogoods=26  mapSize=900  nbInferences=0  nbTooLargeKeys=0
233.16	       =>  wckTime=227.226  cpuTime=225.02  mem=91M553
248.75	   
248.75	   INFO : Stopping hyperNogood (mapSize=1004, nbTooLargekeys=0, mem=93M570)
254.40	   
254.40	   search
254.40	     run=11  nbConstraintChecks=8560786  nbValidityChecks=2434915  nbPropagations=5224620  nbRevisions=29112476
254.40	     nbUselessRevisions=23789601  nbAssignments=4251  nbFailedAssignments=541  nbBacktracks=2620  nbVisitedNodes=5317
254.40	     nbRestartNogoods=28
254.40	       =>  wckTime=248.466  cpuTime=246.08  mem=93M570
269.53	   
269.53	   search
269.53	     run=12  nbConstraintChecks=11426749  nbValidityChecks=3243290  nbPropagations=7161154  nbRevisions=40086263
269.53	     nbUselessRevisions=32648318  nbAssignments=5900  nbFailedAssignments=681  nbBacktracks=3919  nbVisitedNodes=7271
269.53	     nbRestartNogoods=33
269.53	       =>  wckTime=263.592  cpuTime=261.06  mem=93M570
285.87	   
285.87	   search
285.87	     run=13  nbConstraintChecks=12346444  nbValidityChecks=3616206  nbPropagations=9270601  nbRevisions=52095080
285.87	     nbUselessRevisions=42363045  nbAssignments=8411  nbFailedAssignments=1003  nbBacktracks=5871  nbVisitedNodes=10299
285.87	     nbRestartNogoods=37
285.87	       =>  wckTime=279.937  cpuTime=277.25  mem=93M570
310.37	   
310.37	   search
310.37	     run=14  nbConstraintChecks=13714271  nbValidityChecks=4139983  nbPropagations=11628170  nbRevisions=65635524
310.37	     nbUselessRevisions=53350359  nbAssignments=12108  nbFailedAssignments=1578  nbBacktracks=8795  nbVisitedNodes=14968
310.37	     nbRestartNogoods=43
310.37	       =>  wckTime=304.435  cpuTime=301.53  mem=93M570
345.71	   
345.71	   search
345.71	     run=15  nbConstraintChecks=15724546  nbValidityChecks=4953102  nbPropagations=14348515  nbRevisions=81508039
345.71	     nbUselessRevisions=66290622  nbAssignments=17535  nbFailedAssignments=2265  nbBacktracks=13208
345.71	     nbVisitedNodes=21559  nbRestartNogoods=52
345.71	       =>  wckTime=339.773  cpuTime=336.53  mem=93M570
393.33	   
393.33	   search
393.33	     run=16  nbConstraintChecks=18350071  nbValidityChecks=5857034  nbPropagations=17549001  nbRevisions=100116291
393.33	     nbUselessRevisions=81466383  nbAssignments=24835  nbFailedAssignments=2760  nbBacktracks=19779
393.33	     nbVisitedNodes=29872  nbRestartNogoods=53
393.33	       =>  wckTime=387.389  cpuTime=383.68  mem=93M570
473.37	   
473.37	   search
473.37	     run=17  nbConstraintChecks=25605209  nbValidityChecks=8273384  nbPropagations=22027361  nbRevisions=126082939
473.37	     nbUselessRevisions=102655896  nbAssignments=36673  nbFailedAssignments=3545  nbBacktracks=29647
473.37	     nbVisitedNodes=42336  nbRestartNogoods=67
473.37	       =>  wckTime=467.428  cpuTime=462.95  mem=93M570
580.73	   
580.73	   search
580.73	     run=18  nbConstraintChecks=31969723  nbValidityChecks=11415688  nbPropagations=27530301  nbRevisions=159026147
580.73	     nbUselessRevisions=129730725  nbAssignments=52797  nbFailedAssignments=4726  nbBacktracks=44425
580.73	     nbVisitedNodes=61264  nbRestartNogoods=72
580.73	       =>  wckTime=574.797  cpuTime=569.28  mem=93M570
739.22	   
739.22	   search
739.22	     run=19  nbConstraintChecks=42380472  nbValidityChecks=15489745  nbPropagations=34768970  nbRevisions=202253749
739.22	     nbUselessRevisions=165223202  nbAssignments=76737  nbFailedAssignments=6204  nbBacktracks=66603
739.22	     nbVisitedNodes=88186  nbRestartNogoods=79
739.22	       =>  wckTime=733.287  cpuTime=726.24  mem=93M570
957.24	   
957.24	   search
957.24	     run=20  nbConstraintChecks=51712225  nbValidityChecks=18526688  nbPropagations=43667000  nbRevisions=254955170
957.24	     nbUselessRevisions=208435389  nbAssignments=111555  nbFailedAssignments=7567  nbBacktracks=99875
957.24	     nbVisitedNodes=125892  nbRestartNogoods=90
957.24	       =>  wckTime=951.3  cpuTime=942.25  mem=93M570
1274.16	   
1274.16	   search
1274.16	     run=21  nbConstraintChecks=59626741  nbValidityChecks=21514366  nbPropagations=54058354  nbRevisions=316422795
1274.16	     nbUselessRevisions=258868182  nbAssignments=164310  nbFailedAssignments=9750  nbBacktracks=149819
1274.16	     nbVisitedNodes=182389  nbRestartNogoods=103
1274.16	       =>  wckTime=1268.224  cpuTime=1256.22  mem=93M570
1774.02	   
1774.02	   search
1774.02	     run=22  nbConstraintChecks=84837224  nbValidityChecks=29807309  nbPropagations=69052874  nbRevisions=403909843
1774.02	     nbUselessRevisions=330493028  nbAssignments=243298  nbFailedAssignments=13414  nbBacktracks=224641
1774.02	     nbVisitedNodes=268598  nbRestartNogoods=118
1774.02	       =>  wckTime=1768.086  cpuTime=1751.36  mem=93M570

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/node50/watcher-210775-1168202178 -o ROOT/results/node50/solver-210775-1168202178 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/210775-1168202178/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.08 1.02 1.14 4/73 11470
/proc/meminfo: memFree=1461408/2055920 swapFree=4191892/4192956
[pid=11469] ppid=11467 vsize=172 CPUtime=0
/proc/11469/stat : 11469 (java) R 11467 11469 10650 0 -1 0 217 0 0 0 0 0 0 0 18 0 1 0 168616488 176128 24 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 7917867 0 0 4096 0 0 0 0 17 1 0 0
/proc/11469/statm: 43 24 18 14 0 3 0

[startup+0.102808 s]
/proc/loadavg: 1.08 1.02 1.14 4/73 11470
/proc/meminfo: memFree=1461408/2055920 swapFree=4191892/4192956
[pid=11469] ppid=11467 vsize=914988 CPUtime=0.09
/proc/11469/stat : 11469 (java) R 11467 11469 10650 0 -1 0 3018 0 1 0 7 2 0 0 24 0 8 0 168616488 936947712 2764 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 8120839 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11469/statm: 228747 2764 1435 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988

[startup+0.510876 s]
/proc/loadavg: 1.08 1.02 1.14 4/73 11470
/proc/meminfo: memFree=1461408/2055920 swapFree=4191892/4192956
[pid=11469] ppid=11467 vsize=915328 CPUtime=0.49
/proc/11469/stat : 11469 (java) R 11467 11469 10650 0 -1 0 6643 0 1 0 45 4 0 0 25 0 8 0 168616488 937295872 6382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11469/statm: 228832 6382 2135 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328

[startup+1.33302 s]
/proc/loadavg: 1.08 1.02 1.14 3/80 11477
/proc/meminfo: memFree=1398184/2055920 swapFree=4191892/4192956
[pid=11469] ppid=11467 vsize=915616 CPUtime=1.3
/proc/11469/stat : 11469 (java) R 11467 11469 10650 0 -1 0 18181 0 1 0 119 11 0 0 25 0 8 0 168616488 937590784 17919 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073744024 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11469/statm: 228904 17919 2158 14 0 215374 0
[pid=11469/tid=11471] ppid=11467 vsize=915616 CPUtime=0.07
/proc/11469/task/11471/stat : 11471 (java) S 11467 11469 10650 0 -1 64 1637 0 0 0 7 0 0 0 17 0 8 0 168616492 937590784 17919 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11469/tid=11472] ppid=11467 vsize=915616 CPUtime=0
/proc/11469/task/11472/stat : 11472 (java) S 11467 11469 10650 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168616492 937590784 17919 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11469/tid=11473] ppid=11467 vsize=915616 CPUtime=0
/proc/11469/task/11473/stat : 11473 (java) S 11467 11469 10650 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 168616492 937590784 17919 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11469/tid=11474] ppid=11467 vsize=915616 CPUtime=0
/proc/11469/task/11474/stat : 11474 (java) S 11467 11469 10650 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 168616496 937590784 17919 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11469/tid=11475] ppid=11467 vsize=915616 CPUtime=0.15
/proc/11469/task/11475/stat : 11475 (java) S 11467 11469 10650 0 -1 64 414 0 0 0 15 0 0 0 16 0 8 0 168616496 937590784 17919 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11469/tid=11476] ppid=11467 vsize=915616 CPUtime=0
/proc/11469/task/11476/stat : 11476 (java) S 11467 11469 10650 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 168616496 937590784 17919 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11469/tid=11477] ppid=11467 vsize=915616 CPUtime=0
/proc/11469/task/11477/stat : 11477 (java) S 11467 11469 10650 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 168616496 937590784 17919 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915616

[startup+2.98529 s]
/proc/loadavg: 1.16 1.03 1.14 3/80 11477
/proc/meminfo: memFree=1381928/2055920 swapFree=4191892/4192956
[pid=11469] ppid=11467 vsize=915616 CPUtime=2.94
/proc/11469/stat : 11469 (java) R 11467 11469 10650 0 -1 0 22252 0 1 0 238 56 0 0 25 0 8 0 168616488 937590784 21987 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155277319 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11469/statm: 228904 21987 2178 14 0 215374 0
[pid=11469/tid=11471] ppid=11467 vsize=915616 CPUtime=0.26
/proc/11469/task/11471/stat : 11471 (java) S 11467 11469 10650 0 -1 64 5626 0 0 0 24 2 0 0 16 0 8 0 168616492 937590784 21987 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11469/tid=11472] ppid=11467 vsize=915616 CPUtime=0
/proc/11469/task/11472/stat : 11472 (java) S 11467 11469 10650 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168616492 937590784 21987 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11469/tid=11473] ppid=11467 vsize=915616 CPUtime=0
/proc/11469/task/11473/stat : 11473 (java) S 11467 11469 10650 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 168616492 937590784 21987 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11469/tid=11474] ppid=11467 vsize=915616 CPUtime=0
/proc/11469/task/11474/stat : 11474 (java) S 11467 11469 10650 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 168616496 937590784 21987 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11469/tid=11475] ppid=11467 vsize=915616 CPUtime=0.18
/proc/11469/task/11475/stat : 11475 (java) S 11467 11469 10650 0 -1 64 432 0 0 0 18 0 0 0 15 0 8 0 168616496 937590784 21987 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11469/tid=11476] ppid=11467 vsize=915616 CPUtime=0
/proc/11469/task/11476/stat : 11476 (java) S 11467 11469 10650 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 168616496 937590784 21987 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11469/tid=11477] ppid=11467 vsize=915616 CPUtime=0
/proc/11469/task/11477/stat : 11477 (java) S 11467 11469 10650 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 168616496 937590784 21987 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915616

[startup+6.27485 s]
/proc/loadavg: 1.16 1.03 1.14 3/80 11477
/proc/meminfo: memFree=1343464/2055920 swapFree=4191892/4192956
[pid=11469] ppid=11467 vsize=915872 CPUtime=6.2
/proc/11469/stat : 11469 (java) R 11467 11469 10650 0 -1 0 33149 0 1 0 478 142 0 0 25 0 8 0 168616488 937852928 32817 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074173979 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11469/statm: 228968 32817 2537 14 0 215438 0
[pid=11469/tid=11471] ppid=11467 vsize=915872 CPUtime=0.88
/proc/11469/task/11471/stat : 11471 (java) S 11467 11469 10650 0 -1 64 15981 0 0 0 80 8 0 0 16 0 8 0 168616492 937852928 32817 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11469/tid=11472] ppid=11467 vsize=915872 CPUtime=0
/proc/11469/task/11472/stat : 11472 (java) S 11467 11469 10650 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168616492 937852928 32817 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11469/tid=11473] ppid=11467 vsize=915872 CPUtime=0
/proc/11469/task/11473/stat : 11473 (java) S 11467 11469 10650 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 168616492 937852928 32817 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11469/tid=11474] ppid=11467 vsize=915872 CPUtime=0
/proc/11469/task/11474/stat : 11474 (java) S 11467 11469 10650 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 168616496 937852928 32817 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11469/tid=11475] ppid=11467 vsize=915872 CPUtime=0.34
/proc/11469/task/11475/stat : 11475 (java) S 11467 11469 10650 0 -1 64 528 0 0 0 33 1 0 0 15 0 8 0 168616496 937852928 32817 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11469/tid=11476] ppid=11467 vsize=915872 CPUtime=0
/proc/11469/task/11476/stat : 11476 (java) S 11467 11469 10650 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 168616496 937852928 32817 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11469/tid=11477] ppid=11467 vsize=915872 CPUtime=0
/proc/11469/task/11477/stat : 11477 (java) S 11467 11469 10650 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 168616496 937852928 32817 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 915872

[startup+12.7659 s]
/proc/loadavg: 1.29 1.06 1.15 3/80 11477
/proc/meminfo: memFree=1340072/2055920 swapFree=4191892/4192956
[pid=11469] ppid=11467 vsize=915872 CPUtime=12.61
/proc/11469/stat : 11469 (java) R 11467 11469 10650 0 -1 0 33158 0 1 0 1119 142 0 0 25 0 8 0 168616488 937852928 32825 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074231200 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11469/statm: 228968 32825 2539 14 0 215438 0
[pid=11469/tid=11471] ppid=11467 vsize=915872 CPUtime=0.88
/proc/11469/task/11471/stat : 11471 (java) S 11467 11469 10650 0 -1 64 15981 0 0 0 80 8 0 0 16 0 8 0 168616492 937852928 32825 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11469/tid=11472] ppid=11467 vsize=915872 CPUtime=0
/proc/11469/task/11472/stat : 11472 (java) S 11467 11469 10650 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168616492 937852928 32825 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11469/tid=11473] ppid=11467 vsize=915872 CPUtime=0
/proc/11469/task/11473/stat : 11473 (java) S 11467 11469 10650 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 168616492 937852928 32825 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11469/tid=11474] ppid=11467 vsize=915872 CPUtime=0
/proc/11469/task/11474/stat : 11474 (java) S 11467 11469 10650 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 168616496 937852928 32825 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11469/tid=11475] ppid=11467 vsize=915872 CPUtime=0.35
/proc/11469/task/11475/stat : 11475 (java) S 11467 11469 10650 0 -1 64 534 0 0 0 34 1 0 0 15 0 8 0 168616496 937852928 32825 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11469/tid=11476] ppid=11467 vsize=915872 CPUtime=0
/proc/11469/task/11476/stat : 11476 (java) S 11467 11469 10650 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 168616496 937852928 32825 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11469/tid=11477] ppid=11467 vsize=915872 CPUtime=0
/proc/11469/task/11477/stat : 11477 (java) S 11467 11469 10650 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 168616496 937852928 32825 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 915872

[startup+25.6301 s]
/proc/loadavg: 1.39 1.09 1.16 3/80 11477
/proc/meminfo: memFree=1340136/2055920 swapFree=4191892/4192956
[pid=11469] ppid=11467 vsize=915872 CPUtime=25.37
/proc/11469/stat : 11469 (java) R 11467 11469 10650 0 -1 0 33158 0 1 0 2395 142 0 0 25 0 8 0 168616488 937852928 32825 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074230320 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11469/statm: 228968 32825 2539 14 0 215438 0
[pid=11469/tid=11471] ppid=11467 vsize=915872 CPUtime=0.88
/proc/11469/task/11471/stat : 11471 (java) S 11467 11469 10650 0 -1 64 15981 0 0 0 80 8 0 0 16 0 8 0 168616492 937852928 32825 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11469/tid=11472] ppid=11467 vsize=915872 CPUtime=0
/proc/11469/task/11472/stat : 11472 (java) S 11467 11469 10650 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168616492 937852928 32825 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11469/tid=11473] ppid=11467 vsize=915872 CPUtime=0
/proc/11469/task/11473/stat : 11473 (java) S 11467 11469 10650 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 168616492 937852928 32825 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11469/tid=11474] ppid=11467 vsize=915872 CPUtime=0
/proc/11469/task/11474/stat : 11474 (java) S 11467 11469 10650 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 168616496 937852928 32825 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11469/tid=11475] ppid=11467 vsize=915872 CPUtime=0.35
/proc/11469/task/11475/stat : 11475 (java) S 11467 11469 10650 0 -1 64 534 0 0 0 34 1 0 0 15 0 8 0 168616496 937852928 32825 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11469/tid=11476] ppid=11467 vsize=915872 CPUtime=0
/proc/11469/task/11476/stat : 11476 (java) S 11467 11469 10650 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 168616496 937852928 32825 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11469/tid=11477] ppid=11467 vsize=915872 CPUtime=0
/proc/11469/task/11477/stat : 11477 (java) S 11467 11469 10650 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 168616496 937852928 32825 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 915872

[startup+51.2594 s]
/proc/loadavg: 1.60 1.16 1.18 3/80 11477
/proc/meminfo: memFree=1340264/2055920 swapFree=4191892/4192956
[pid=11469] ppid=11467 vsize=915872 CPUtime=50.78
/proc/11469/stat : 11469 (java) R 11467 11469 10650 0 -1 0 33162 0 1 0 4935 143 0 0 25 0 8 0 168616488 937852928 32827 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074230359 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11469/statm: 228968 32827 2539 14 0 215438 0
[pid=11469/tid=11471] ppid=11467 vsize=915872 CPUtime=0.88
/proc/11469/task/11471/stat : 11471 (java) S 11467 11469 10650 0 -1 64 15981 0 0 0 80 8 0 0 16 0 8 0 168616492 937852928 32827 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11469/tid=11472] ppid=11467 vsize=915872 CPUtime=0
/proc/11469/task/11472/stat : 11472 (java) S 11467 11469 10650 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168616492 937852928 32827 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11469/tid=11473] ppid=11467 vsize=915872 CPUtime=0
/proc/11469/task/11473/stat : 11473 (java) S 11467 11469 10650 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 168616492 937852928 32827 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11469/tid=11474] ppid=11467 vsize=915872 CPUtime=0
/proc/11469/task/11474/stat : 11474 (java) S 11467 11469 10650 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 168616496 937852928 32827 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11469/tid=11475] ppid=11467 vsize=915872 CPUtime=0.35
/proc/11469/task/11475/stat : 11475 (java) S 11467 11469 10650 0 -1 64 538 0 0 0 34 1 0 0 16 0 8 0 168616496 937852928 32827 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11469/tid=11476] ppid=11467 vsize=915872 CPUtime=0
/proc/11469/task/11476/stat : 11476 (java) S 11467 11469 10650 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 168616496 937852928 32827 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11469/tid=11477] ppid=11467 vsize=915872 CPUtime=0
/proc/11469/task/11477/stat : 11477 (java) S 11467 11469 10650 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 168616496 937852928 32827 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.78
Current children cumulated vsize (KiB) 915872

[startup+102.511 s]
/proc/loadavg: 1.84 1.30 1.23 3/80 11477
/proc/meminfo: memFree=1340456/2055920 swapFree=4191892/4192956
[pid=11469] ppid=11467 vsize=915872 CPUtime=101.55
/proc/11469/stat : 11469 (java) R 11467 11469 10650 0 -1 0 33162 0 1 0 10012 143 0 0 25 0 8 0 168616488 937852928 32827 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918517 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11469/statm: 228968 32827 2539 14 0 215438 0
[pid=11469/tid=11471] ppid=11467 vsize=915872 CPUtime=0.88
/proc/11469/task/11471/stat : 11471 (java) S 11467 11469 10650 0 -1 64 15981 0 0 0 80 8 0 0 16 0 8 0 168616492 937852928 32827 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11469/tid=11472] ppid=11467 vsize=915872 CPUtime=0
/proc/11469/task/11472/stat : 11472 (java) S 11467 11469 10650 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168616492 937852928 32827 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11469/tid=11473] ppid=11467 vsize=915872 CPUtime=0
/proc/11469/task/11473/stat : 11473 (java) S 11467 11469 10650 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 168616492 937852928 32827 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11469/tid=11474] ppid=11467 vsize=915872 CPUtime=0
/proc/11469/task/11474/stat : 11474 (java) S 11467 11469 10650 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 168616496 937852928 32827 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11469/tid=11475] ppid=11467 vsize=915872 CPUtime=0.35
/proc/11469/task/11475/stat : 11475 (java) S 11467 11469 10650 0 -1 64 538 0 0 0 34 1 0 0 16 0 8 0 168616496 937852928 32827 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11469/tid=11476] ppid=11467 vsize=915872 CPUtime=0
/proc/11469/task/11476/stat : 11476 (java) S 11467 11469 10650 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 168616496 937852928 32827 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11469/tid=11477] ppid=11467 vsize=915872 CPUtime=0
/proc/11469/task/11477/stat : 11477 (java) S 11467 11469 10650 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 168616496 937852928 32827 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.55
Current children cumulated vsize (KiB) 915872

[startup+162.515 s]
/proc/loadavg: 1.94 1.43 1.27 3/80 11477
/proc/meminfo: memFree=1340392/2055920 swapFree=4191892/4192956
[pid=11469] ppid=11467 vsize=915872 CPUtime=161.01
/proc/11469/stat : 11469 (java) R 11467 11469 10650 0 -1 0 33183 0 1 0 15958 143 0 0 25 0 8 0 168616488 937852928 32841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074280739 0 4 0 23759 18446744073709551615 0 0 17 0 0 0

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

Current children cumulated CPU time (s) 1409.96
Current children cumulated vsize (KiB) 915872

[startup+1483.29 s]
/proc/loadavg: 2.07 1.99 1.80 3/86 11503
/proc/meminfo: memFree=1338848/2055920 swapFree=4191892/4192956
[pid=11469] ppid=11467 vsize=915872 CPUtime=1469.41
/proc/11469/stat : 11469 (java) R 11467 11469 10650 0 -1 0 33212 0 1 0 146794 147 0 0 25 0 8 0 168616488 937852928 32859 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073480195 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11469/statm: 228968 32859 2540 14 0 215438 0
[pid=11469/tid=11471] ppid=11467 vsize=915872 CPUtime=0.88
/proc/11469/task/11471/stat : 11471 (java) S 11467 11469 10650 0 -1 64 15981 0 0 0 80 8 0 0 16 0 8 0 168616492 937852928 32859 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11469/tid=11472] ppid=11467 vsize=915872 CPUtime=0
/proc/11469/task/11472/stat : 11472 (java) S 11467 11469 10650 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168616492 937852928 32859 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11469/tid=11473] ppid=11467 vsize=915872 CPUtime=0
/proc/11469/task/11473/stat : 11473 (java) S 11467 11469 10650 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 168616492 937852928 32859 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11469/tid=11474] ppid=11467 vsize=915872 CPUtime=0
/proc/11469/task/11474/stat : 11474 (java) S 11467 11469 10650 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 168616496 937852928 32859 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11469/tid=11475] ppid=11467 vsize=915872 CPUtime=0.43
/proc/11469/task/11475/stat : 11475 (java) S 11467 11469 10650 0 -1 64 574 0 0 0 41 2 0 0 16 0 8 0 168616496 937852928 32859 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11469/tid=11476] ppid=11467 vsize=915872 CPUtime=0
/proc/11469/task/11476/stat : 11476 (java) S 11467 11469 10650 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 168616496 937852928 32859 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11469/tid=11477] ppid=11467 vsize=915872 CPUtime=0
/proc/11469/task/11477/stat : 11477 (java) S 11467 11469 10650 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 168616496 937852928 32859 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1469.41
Current children cumulated vsize (KiB) 915872

[startup+1543.32 s]
/proc/loadavg: 2.02 1.99 1.81 3/86 11629
/proc/meminfo: memFree=1338800/2055920 swapFree=4191892/4192956
[pid=11469] ppid=11467 vsize=915872 CPUtime=1528.82
/proc/11469/stat : 11469 (java) R 11467 11469 10650 0 -1 0 33212 0 1 0 152720 162 0 0 25 0 8 0 168616488 937852928 32859 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074078054 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11469/statm: 228968 32859 2540 14 0 215438 0
[pid=11469/tid=11471] ppid=11467 vsize=915872 CPUtime=0.88
/proc/11469/task/11471/stat : 11471 (java) S 11467 11469 10650 0 -1 64 15981 0 0 0 80 8 0 0 16 0 8 0 168616492 937852928 32859 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11469/tid=11472] ppid=11467 vsize=915872 CPUtime=0
/proc/11469/task/11472/stat : 11472 (java) S 11467 11469 10650 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168616492 937852928 32859 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11469/tid=11473] ppid=11467 vsize=915872 CPUtime=0
/proc/11469/task/11473/stat : 11473 (java) S 11467 11469 10650 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 168616492 937852928 32859 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11469/tid=11474] ppid=11467 vsize=915872 CPUtime=0
/proc/11469/task/11474/stat : 11474 (java) S 11467 11469 10650 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 168616496 937852928 32859 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11469/tid=11475] ppid=11467 vsize=915872 CPUtime=0.43
/proc/11469/task/11475/stat : 11475 (java) S 11467 11469 10650 0 -1 64 574 0 0 0 41 2 0 0 16 0 8 0 168616496 937852928 32859 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11469/tid=11476] ppid=11467 vsize=915872 CPUtime=0
/proc/11469/task/11476/stat : 11476 (java) S 11467 11469 10650 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 168616496 937852928 32859 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11469/tid=11477] ppid=11467 vsize=915872 CPUtime=0
/proc/11469/task/11477/stat : 11477 (java) S 11467 11469 10650 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 168616496 937852928 32859 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1528.82
Current children cumulated vsize (KiB) 915872

[startup+1603.34 s]
/proc/loadavg: 2.16 2.04 1.84 4/80 11675
/proc/meminfo: memFree=1339808/2055920 swapFree=4191892/4192956
[pid=11469] ppid=11467 vsize=915872 CPUtime=1588.26
/proc/11469/stat : 11469 (java) R 11467 11469 10650 0 -1 0 33212 0 1 0 158658 168 0 0 25 0 8 0 168616488 937852928 32859 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074273913 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11469/statm: 228968 32859 2540 14 0 215438 0
[pid=11469/tid=11471] ppid=11467 vsize=915872 CPUtime=0.88
/proc/11469/task/11471/stat : 11471 (java) S 11467 11469 10650 0 -1 64 15981 0 0 0 80 8 0 0 16 0 8 0 168616492 937852928 32859 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11469/tid=11472] ppid=11467 vsize=915872 CPUtime=0
/proc/11469/task/11472/stat : 11472 (java) S 11467 11469 10650 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168616492 937852928 32859 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11469/tid=11473] ppid=11467 vsize=915872 CPUtime=0
/proc/11469/task/11473/stat : 11473 (java) S 11467 11469 10650 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 168616492 937852928 32859 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11469/tid=11474] ppid=11467 vsize=915872 CPUtime=0
/proc/11469/task/11474/stat : 11474 (java) S 11467 11469 10650 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 168616496 937852928 32859 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11469/tid=11475] ppid=11467 vsize=915872 CPUtime=0.43
/proc/11469/task/11475/stat : 11475 (java) S 11467 11469 10650 0 -1 64 574 0 0 0 41 2 0 0 16 0 8 0 168616496 937852928 32859 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11469/tid=11476] ppid=11467 vsize=915872 CPUtime=0
/proc/11469/task/11476/stat : 11476 (java) S 11467 11469 10650 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 168616496 937852928 32859 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11469/tid=11477] ppid=11467 vsize=915872 CPUtime=0
/proc/11469/task/11477/stat : 11477 (java) S 11467 11469 10650 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 168616496 937852928 32859 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1588.26
Current children cumulated vsize (KiB) 915872

[startup+1663.44 s]
/proc/loadavg: 2.12 2.05 1.85 3/80 11675
/proc/meminfo: memFree=1339808/2055920 swapFree=4191892/4192956
[pid=11469] ppid=11467 vsize=915872 CPUtime=1647.81
/proc/11469/stat : 11469 (java) R 11467 11469 10650 0 -1 0 33212 0 1 0 164613 168 0 0 25 0 8 0 168616488 937852928 32859 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074173979 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11469/statm: 228968 32859 2540 14 0 215438 0
[pid=11469/tid=11471] ppid=11467 vsize=915872 CPUtime=0.88
/proc/11469/task/11471/stat : 11471 (java) S 11467 11469 10650 0 -1 64 15981 0 0 0 80 8 0 0 16 0 8 0 168616492 937852928 32859 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11469/tid=11472] ppid=11467 vsize=915872 CPUtime=0
/proc/11469/task/11472/stat : 11472 (java) S 11467 11469 10650 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168616492 937852928 32859 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11469/tid=11473] ppid=11467 vsize=915872 CPUtime=0
/proc/11469/task/11473/stat : 11473 (java) S 11467 11469 10650 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 168616492 937852928 32859 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11469/tid=11474] ppid=11467 vsize=915872 CPUtime=0
/proc/11469/task/11474/stat : 11474 (java) S 11467 11469 10650 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 168616496 937852928 32859 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11469/tid=11475] ppid=11467 vsize=915872 CPUtime=0.43
/proc/11469/task/11475/stat : 11475 (java) S 11467 11469 10650 0 -1 64 574 0 0 0 41 2 0 0 16 0 8 0 168616496 937852928 32859 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11469/tid=11476] ppid=11467 vsize=915872 CPUtime=0
/proc/11469/task/11476/stat : 11476 (java) S 11467 11469 10650 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 168616496 937852928 32859 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11469/tid=11477] ppid=11467 vsize=915872 CPUtime=0
/proc/11469/task/11477/stat : 11477 (java) S 11467 11469 10650 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 168616496 937852928 32859 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1647.81
Current children cumulated vsize (KiB) 915872

[startup+1723.54 s]
/proc/loadavg: 2.10 2.05 1.86 3/80 11675
/proc/meminfo: memFree=1339872/2055920 swapFree=4191892/4192956
[pid=11469] ppid=11467 vsize=915872 CPUtime=1707.31
/proc/11469/stat : 11469 (java) R 11467 11469 10650 0 -1 0 33212 0 1 0 170563 168 0 0 25 0 8 0 168616488 937852928 32859 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074196447 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11469/statm: 228968 32859 2540 14 0 215438 0
[pid=11469/tid=11471] ppid=11467 vsize=915872 CPUtime=0.88
/proc/11469/task/11471/stat : 11471 (java) S 11467 11469 10650 0 -1 64 15981 0 0 0 80 8 0 0 16 0 8 0 168616492 937852928 32859 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11469/tid=11472] ppid=11467 vsize=915872 CPUtime=0
/proc/11469/task/11472/stat : 11472 (java) S 11467 11469 10650 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168616492 937852928 32859 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11469/tid=11473] ppid=11467 vsize=915872 CPUtime=0
/proc/11469/task/11473/stat : 11473 (java) S 11467 11469 10650 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 168616492 937852928 32859 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11469/tid=11474] ppid=11467 vsize=915872 CPUtime=0
/proc/11469/task/11474/stat : 11474 (java) S 11467 11469 10650 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 168616496 937852928 32859 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11469/tid=11475] ppid=11467 vsize=915872 CPUtime=0.43
/proc/11469/task/11475/stat : 11475 (java) S 11467 11469 10650 0 -1 64 574 0 0 0 41 2 0 0 16 0 8 0 168616496 937852928 32859 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11469/tid=11476] ppid=11467 vsize=915872 CPUtime=0
/proc/11469/task/11476/stat : 11476 (java) S 11467 11469 10650 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 168616496 937852928 32859 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11469/tid=11477] ppid=11467 vsize=915872 CPUtime=0
/proc/11469/task/11477/stat : 11477 (java) S 11467 11469 10650 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 168616496 937852928 32859 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1707.31
Current children cumulated vsize (KiB) 915872

[startup+1783.54 s]
/proc/loadavg: 2.04 2.04 1.87 3/80 11675
/proc/meminfo: memFree=1339872/2055920 swapFree=4191892/4192956
[pid=11469] ppid=11467 vsize=915872 CPUtime=1766.78
/proc/11469/stat : 11469 (java) R 11467 11469 10650 0 -1 0 33212 0 1 0 176509 169 0 0 25 0 8 0 168616488 937852928 32859 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074195680 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11469/statm: 228968 32859 2540 14 0 215438 0
[pid=11469/tid=11471] ppid=11467 vsize=915872 CPUtime=0.88
/proc/11469/task/11471/stat : 11471 (java) S 11467 11469 10650 0 -1 64 15981 0 0 0 80 8 0 0 16 0 8 0 168616492 937852928 32859 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11469/tid=11472] ppid=11467 vsize=915872 CPUtime=0
/proc/11469/task/11472/stat : 11472 (java) S 11467 11469 10650 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168616492 937852928 32859 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11469/tid=11473] ppid=11467 vsize=915872 CPUtime=0
/proc/11469/task/11473/stat : 11473 (java) S 11467 11469 10650 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 168616492 937852928 32859 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11469/tid=11474] ppid=11467 vsize=915872 CPUtime=0
/proc/11469/task/11474/stat : 11474 (java) S 11467 11469 10650 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 168616496 937852928 32859 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11469/tid=11475] ppid=11467 vsize=915872 CPUtime=0.43
/proc/11469/task/11475/stat : 11475 (java) S 11467 11469 10650 0 -1 64 574 0 0 0 41 2 0 0 16 0 8 0 168616496 937852928 32859 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11469/tid=11476] ppid=11467 vsize=915872 CPUtime=0
/proc/11469/task/11476/stat : 11476 (java) S 11467 11469 10650 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 168616496 937852928 32859 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11469/tid=11477] ppid=11467 vsize=915872 CPUtime=0
/proc/11469/task/11477/stat : 11477 (java) S 11467 11469 10650 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 168616496 937852928 32859 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1766.78
Current children cumulated vsize (KiB) 915872



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1816.98 s]
/proc/loadavg: 1.97 2.02 1.87 3/88 11748
/proc/meminfo: memFree=1298456/2055920 swapFree=4191892/4192956
[pid=11469] ppid=11467 vsize=915872 CPUtime=1800.01
/proc/11469/stat : 11469 (java) R 11467 11469 10650 0 -1 0 33212 0 1 0 179831 170 0 0 25 0 8 0 168616488 937852928 32859 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074228356 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11469/statm: 228968 32859 2540 14 0 215438 0
[pid=11469/tid=11471] ppid=11467 vsize=915872 CPUtime=0.88
/proc/11469/task/11471/stat : 11471 (java) S 11467 11469 10650 0 -1 64 15981 0 0 0 80 8 0 0 16 0 8 0 168616492 937852928 32859 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11469/tid=11472] ppid=11467 vsize=915872 CPUtime=0
/proc/11469/task/11472/stat : 11472 (java) S 11467 11469 10650 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168616492 937852928 32859 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11469/tid=11473] ppid=11467 vsize=915872 CPUtime=0
/proc/11469/task/11473/stat : 11473 (java) S 11467 11469 10650 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 168616492 937852928 32859 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11469/tid=11474] ppid=11467 vsize=915872 CPUtime=0
/proc/11469/task/11474/stat : 11474 (java) S 11467 11469 10650 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 168616496 937852928 32859 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11469/tid=11475] ppid=11467 vsize=915872 CPUtime=0.43
/proc/11469/task/11475/stat : 11475 (java) S 11467 11469 10650 0 -1 64 574 0 0 0 41 2 0 0 16 0 8 0 168616496 937852928 32859 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11469/tid=11476] ppid=11467 vsize=915872 CPUtime=0
/proc/11469/task/11476/stat : 11476 (java) S 11467 11469 10650 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 168616496 937852928 32859 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11469/tid=11477] ppid=11467 vsize=915872 CPUtime=0
/proc/11469/task/11477/stat : 11477 (java) S 11467 11469 10650 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 168616496 937852928 32859 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 915872

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

Child status: 143
Real time (s): 1817.06
CPU time (s): 1800.09
CPU user time (s): 1798.36
CPU system time (s): 1.72674
CPU usage (%): 99.0664
Max. virtual memory (cumulated for all children) (KiB): 915992

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.36
system time used= 1.72674
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 33229
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= 38621
involuntary context switches= 74100

runsolver used 2.18467 s user time and 5.86111 s system time

The end

Launcher Data (download as text)

Begin job on node50 on Sun Jan  7 20:36:18 UTC 2007


IDJOB= 210775
IDBENCH= 4645
FILE ID= node50/210775-1168202178

PBS_JOBID= 3480752

Free space on /tmp= 66550 MiB

BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/uclid/ooo-rf9.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/210775-1168202178/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node50/watcher-210775-1168202178 -o ROOT/results/node50/solver-210775-1168202178 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/210775-1168202178/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  1fdc375fa3bc4f7f4fc21722cb153d83

RANDOM SEED= 38897034

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.263
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	: 5931.00
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.263
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:       1462016 kB
Buffers:         40892 kB
Cached:         439496 kB
SwapCached:        372 kB
Active:         140320 kB
Inactive:       394728 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1462016 kB
SwapTotal:     4192956 kB
SwapFree:      4191892 kB
Dirty:           13268 kB
Writeback:           0 kB
Mapped:          66908 kB
Slab:            44268 kB
Committed_AS:  3947696 kB
PageTables:       1868 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= 66551 MiB



End job on node50 on Sun Jan  7 21:06:36 UTC 2007