Trace number 211213

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.1 1813.66

General information on the benchmark

NamepseudoSeries/uclid/
elf-rf9.xml
MD5SUM2d495dfcb22d18501da72bd856be20ec
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 benchmark29.54
SatisfiableNO
(Un)Satisfiability was provedNO
Number of variables20445
Number of constraints58443
Maximum constraint arity13
Maximum domain size2
Number of constraints which are defined in extension0
Number of constraints which are defined in intension58443
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/211213-1168075481/unknown.xml
0.37	   
0.37	   domains being loaded...
0.38	   
0.38	   variables being loaded...
0.77	     nbVariables=20445  nbDomainTypes=2  minDomainSize=1  maxDomainSize=2
0.77	       =>  wckTime=0.454  cpuTime=0.37  mem=40M271
0.77	   
0.77	   predicates being loaded...
0.78	   
0.78	   constraints being loaded...
4.96	   
4.96	   INFO : Stopping converting binary constraints (cpu=4.01, mem = 59M533)
6.28	     nbConstraints=56738  nbMergedConstraints=1705  nbSingletonDomainVariables=1  nbConvertedConstraints=14617
6.28	     nbConvertConstraintsChecks=40  nbExtensionStructures=2  nbSharedExtensionStructures=14615  nbConflictsStructures=6
6.28	     nbSharedConflictsStructures=32994  nbSharedBinaryRepresentations=5  nbEvaluationManagers=69
6.28	     nbSharedEvaluationManagers=42052  maxDegree=520  maxArity=13
6.28	       =>  wckTime=5.968  cpuTime=4.73  mem=155M859
6.63	   
6.63	   solver IterativeSystematicSolver being built... 
8.12	       =>  wckTime=7.811  cpuTime=5.89  mem=197M165
8.50	   
8.50	   preprocessing
8.50	     nbConstraintChecks=113078  nbValidityChecks=50575  nbPropagations=20474  nbRevisions=57018
8.50	     nbUselessRevisions=56989  nbRemovedValues=29  detectedInconsistency=no
8.50	       =>  wckTime=0.344  cpuTime=0.31  mem=199M177
18.04	   
18.04	   search
18.04	     run=0  nbConstraintChecks=90894  nbValidityChecks=77463  nbPropagations=38028  nbRevisions=150021
18.04	     nbUselessRevisions=132454  nbAssignments=203  nbFailedAssignments=1  nbBacktracks=27  nbVisitedNodes=206
18.04	     nbRestartNogoods=0  mapSize=1  nbInferences=0  nbTooLargeKeys=0
18.04	       =>  wckTime=9.899  cpuTime=9.74  mem=200M217
27.74	   
27.74	   search
27.74	     run=1  nbConstraintChecks=140562  nbValidityChecks=168637  nbPropagations=93609  nbRevisions=393403
27.74	     nbUselessRevisions=340732  nbAssignments=411  nbFailedAssignments=2  nbBacktracks=64  nbVisitedNodes=416
27.74	     nbRestartNogoods=1  mapSize=2  nbInferences=0  nbTooLargeKeys=0
27.74	       =>  wckTime=19.594  cpuTime=19.27  mem=157M935
37.14	   
37.14	   search
37.14	     run=2  nbConstraintChecks=187884  nbValidityChecks=258025  nbPropagations=166724  nbRevisions=729343
37.14	     nbUselessRevisions=624050  nbAssignments=614  nbFailedAssignments=3  nbBacktracks=91  nbVisitedNodes=621
37.14	     nbRestartNogoods=2  mapSize=3  nbInferences=0  nbTooLargeKeys=0
37.14	       =>  wckTime=28.998  cpuTime=28.59  mem=157M935
46.77	   
46.77	   search
46.77	     run=3  nbConstraintChecks=236806  nbValidityChecks=348375  nbPropagations=257372  nbRevisions=1158250
46.77	     nbUselessRevisions=982818  nbAssignments=822  nbFailedAssignments=4  nbBacktracks=129  nbVisitedNodes=831
46.77	     nbRestartNogoods=3  mapSize=4  nbInferences=0  nbTooLargeKeys=0
46.77	       =>  wckTime=38.622  cpuTime=38.12  mem=158M948
57.88	   
57.88	   search
57.88	     run=4  nbConstraintChecks=288377  nbValidityChecks=441202  nbPropagations=366225  nbRevisions=1684360
57.88	     nbUselessRevisions=1420595  nbAssignments=1058  nbFailedAssignments=6  nbBacktracks=193  nbVisitedNodes=1071
57.88	     nbRestartNogoods=4  mapSize=7  nbInferences=0  nbTooLargeKeys=0
57.88	       =>  wckTime=49.738  cpuTime=49.13  mem=158M948
70.76	   
70.76	   search
70.76	     run=5  nbConstraintChecks=343580  nbValidityChecks=539922  nbPropagations=493991  nbRevisions=2313934
70.76	     nbUselessRevisions=1942932  nbAssignments=1329  nbFailedAssignments=9  nbBacktracks=286  nbVisitedNodes=1348
70.76	     nbRestartNogoods=5  mapSize=11  nbInferences=0  nbTooLargeKeys=0
70.76	       =>  wckTime=62.617  cpuTime=61.89  mem=159M962
85.57	   
85.57	   search
85.57	     run=6  nbConstraintChecks=403033  nbValidityChecks=641649  nbPropagations=641374  nbRevisions=3051644
85.57	     nbUselessRevisions=2553792  nbAssignments=1637  nbFailedAssignments=13  nbBacktracks=415  nbVisitedNodes=1664
85.57	     nbRestartNogoods=7  mapSize=17  nbInferences=0  nbTooLargeKeys=0
85.57	       =>  wckTime=77.422  cpuTime=76.54  mem=160M975
103.88	   
103.88	   search
103.88	     run=7  nbConstraintChecks=471089  nbValidityChecks=753152  nbPropagations=809753  nbRevisions=3908618
103.88	     nbUselessRevisions=3262917  nbAssignments=2013  nbFailedAssignments=19  nbBacktracks=610  nbVisitedNodes=2052
103.88	     nbRestartNogoods=9  mapSize=26  nbInferences=0  nbTooLargeKeys=0
103.88	       =>  wckTime=95.734  cpuTime=94.68  mem=161M989
125.58	   
125.58	   search
125.58	     run=8  nbConstraintChecks=546347  nbValidityChecks=870361  nbPropagations=1000505  nbRevisions=4893912
125.58	     nbUselessRevisions=4077977  nbAssignments=2455  nbFailedAssignments=27  nbBacktracks=869  nbVisitedNodes=2510
125.58	     nbRestartNogoods=12  mapSize=39  nbInferences=0  nbTooLargeKeys=0
125.58	       =>  wckTime=117.434  cpuTime=116.18  mem=163M2
155.29	   
155.29	   search
155.29	     run=9  nbConstraintChecks=646756  nbValidityChecks=1005148  nbPropagations=1216120  nbRevisions=6028158
155.29	     nbUselessRevisions=5017066  nbAssignments=3051  nbFailedAssignments=40  nbBacktracks=1284  nbVisitedNodes=3132
155.29	     nbRestartNogoods=15  mapSize=63  nbInferences=0  nbTooLargeKeys=0
155.29	       =>  wckTime=147.147  cpuTime=145.63  mem=164M16
194.87	   
194.87	   search
194.87	     run=10  nbConstraintChecks=772761  nbValidityChecks=1152877  nbPropagations=1458153  nbRevisions=7329013
194.87	     nbUselessRevisions=6095749  nbAssignments=3839  nbFailedAssignments=59  nbBacktracks=1878  nbVisitedNodes=3969
194.87	     nbRestartNogoods=17  mapSize=108  nbInferences=0  nbTooLargeKeys=0
194.87	       =>  wckTime=186.73  cpuTime=184.83  mem=166M42
247.02	   
247.02	   search
247.03	     run=11  nbConstraintChecks=977299  nbValidityChecks=1381609  nbPropagations=1741492  nbRevisions=8904728
247.03	     nbUselessRevisions=7406708  nbAssignments=4884  nbFailedAssignments=97  nbBacktracks=2771  nbVisitedNodes=5115
247.03	     nbRestartNogoods=21  mapSize=207  nbInferences=0  nbTooLargeKeys=0
247.03	       =>  wckTime=238.881  cpuTime=236.5  mem=169M83
315.11	   
315.11	   search
315.11	     run=12  nbConstraintChecks=1548627  nbValidityChecks=2059471  nbPropagations=2182309  nbRevisions=11419145
315.11	     nbUselessRevisions=9496422  nbAssignments=6402  nbFailedAssignments=209  nbBacktracks=4084  nbVisitedNodes=6796
315.11	     nbRestartNogoods=23  mapSize=367  nbInferences=0  nbTooLargeKeys=0
315.11	       =>  wckTime=306.964  cpuTime=303.96  mem=173M137
415.38	   
415.38	   search
415.38	     run=13  nbConstraintChecks=2353331  nbValidityChecks=3003121  nbPropagations=2840479  nbRevisions=15235609
415.38	     nbUselessRevisions=12664579  nbAssignments=8643  nbFailedAssignments=383  nbBacktracks=6036  nbVisitedNodes=9289
415.38	     nbRestartNogoods=26  mapSize=614  nbInferences=0  nbTooLargeKeys=0
415.38	       =>  wckTime=407.241  cpuTime=403.31  mem=179M218
555.70	   
555.70	   INFO : Stopping hyperNogood (mapSize=1012, nbTooLargekeys=0, mem=188M339)
557.68	   
557.68	   search
557.68	     run=14  nbConstraintChecks=3493918  nbValidityChecks=4331002  nbPropagations=3799467  nbRevisions=20860383
557.68	     nbUselessRevisions=17328650  nbAssignments=11937  nbFailedAssignments=631  nbBacktracks=8965  nbVisitedNodes=13021
557.68	     nbRestartNogoods=31
557.68	       =>  wckTime=549.538  cpuTime=544.29  mem=188M339
596.79	   
596.79	   search
596.79	     run=15  nbConstraintChecks=4816558  nbValidityChecks=6024402  nbPropagations=5101118  nbRevisions=28596256
596.79	     nbUselessRevisions=23740494  nbAssignments=16717  nbFailedAssignments=929  nbBacktracks=13347  nbVisitedNodes=18420
596.79	     nbRestartNogoods=37
596.79	       =>  wckTime=588.645  cpuTime=583.04  mem=188M339
659.79	   
659.79	   search
659.79	     run=16  nbConstraintChecks=7282303  nbValidityChecks=9178304  nbPropagations=6833468  nbRevisions=39383177
659.79	     nbUselessRevisions=32740870  nbAssignments=24117  nbFailedAssignments=1491  nbBacktracks=19993
659.79	     nbVisitedNodes=26960  nbRestartNogoods=41
659.79	       =>  wckTime=651.645  cpuTime=645.46  mem=188M339
749.09	   
749.09	   search
749.09	     run=17  nbConstraintChecks=9643238  nbValidityChecks=12668493  nbPropagations=9168940  nbRevisions=54054711
749.09	     nbUselessRevisions=44986000  nbAssignments=35170  nbFailedAssignments=2185  nbBacktracks=29883
749.09	     nbVisitedNodes=39612  nbRestartNogoods=46
749.09	       =>  wckTime=740.943  cpuTime=733.93  mem=188M339
884.59	   
884.59	   search
884.59	     run=18  nbConstraintChecks=14160036  nbValidityChecks=18126157  nbPropagations=12187616  nbRevisions=73869101
884.59	     nbUselessRevisions=61642595  nbAssignments=51399  nbFailedAssignments=3436  nbBacktracks=44663
884.59	     nbVisitedNodes=58520  nbRestartNogoods=52
884.59	       =>  wckTime=876.447  cpuTime=868.19  mem=188M339
1079.82	   
1079.82	   search
1079.82	     run=19  nbConstraintChecks=20349367  nbValidityChecks=27677191  nbPropagations=16955135  nbRevisions=104069465
1079.82	     nbUselessRevisions=86873276  nbAssignments=75095  nbFailedAssignments=4843  nbBacktracks=66835
1079.82	     nbVisitedNodes=85428  nbRestartNogoods=57
1079.82	       =>  wckTime=1071.672  cpuTime=1061.61  mem=188M339
1381.98	   
1381.98	   search
1381.98	     run=20  nbConstraintChecks=33416576  nbValidityChecks=45740233  nbPropagations=25540446  nbRevisions=156525336
1381.98	     nbUselessRevisions=130309324  nbAssignments=110865  nbFailedAssignments=7192  nbBacktracks=100107
1381.98	     nbVisitedNodes=126245  nbRestartNogoods=61
1381.98	       =>  wckTime=1373.833  cpuTime=1361.08  mem=188M339

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/node11/watcher-211213-1168075481 -o ROOT/results/node11/solver-211213-1168075481 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/211213-1168075481/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.89 1.90 1.90 4/93 28880
/proc/meminfo: memFree=1564792/2055920 swapFree=4192812/4192956
[pid=28879] ppid=28877 vsize=906644 CPUtime=0.03
/proc/28879/stat : 28879 (java) S 28877 28879 28126 0 -1 0 2069 0 1 0 2 1 0 0 18 0 2 0 155943363 928403456 1818 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 7368 18446744073709551615 0 0 17 1 0 0
/proc/28879/statm: 226661 1818 1036 14 0 214244 0
[pid=28879/tid=28881] ppid=28877 vsize=906644 CPUtime=0
/proc/28879/task/28881/stat : 28881 (java) R 28877 28879 28126 0 -1 64 4 0 0 0 0 0 0 0 19 0 2 0 155943367 928403456 1818 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 7368 0 0 0 -1 1 0 0

[startup+0.103369 s]
/proc/loadavg: 1.89 1.90 1.90 4/93 28880
/proc/meminfo: memFree=1564792/2055920 swapFree=4192812/4192956
[pid=28879] ppid=28877 vsize=914988 CPUtime=0.09
/proc/28879/stat : 28879 (java) R 28877 28879 28126 0 -1 0 3017 0 1 0 7 2 0 0 20 0 8 0 155943363 936947712 2763 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153550020 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28879/statm: 228747 2763 1435 14 0 215242 0
[pid=28879/tid=28881] ppid=28877 vsize=914988 CPUtime=0
/proc/28879/task/28881/stat : 28881 (java) S 28877 28879 28126 0 -1 64 7 0 0 0 0 0 0 0 18 0 8 0 155943367 936947712 2763 18446744073709551615 134512640 134570532 4294956464 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.511448 s]
/proc/loadavg: 1.89 1.90 1.90 4/93 28880
/proc/meminfo: memFree=1564792/2055920 swapFree=4192812/4192956
[pid=28879] ppid=28877 vsize=915328 CPUtime=0.49
/proc/28879/stat : 28879 (java) R 28877 28879 28126 0 -1 0 6585 0 1 0 44 5 0 0 18 0 8 0 155943363 937295872 6324 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072943017 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28879/statm: 228832 6324 2135 14 0 215302 0
[pid=28879/tid=28881] ppid=28877 vsize=915328 CPUtime=0
/proc/28879/task/28881/stat : 28881 (java) S 28877 28879 28126 0 -1 64 7 0 0 0 0 0 0 0 18 0 8 0 155943367 937295872 6324 18446744073709551615 134512640 134570532 4294956464 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.33462 s]
/proc/loadavg: 1.89 1.90 1.90 3/100 28887
/proc/meminfo: memFree=1499008/2055920 swapFree=4192812/4192956
[pid=28879] ppid=28877 vsize=915616 CPUtime=1.3
/proc/28879/stat : 28879 (java) R 28877 28879 28126 0 -1 0 18798 0 1 0 120 10 0 0 24 0 8 0 155943363 937590784 18536 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073540676 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28879/statm: 228904 18536 2158 14 0 215374 0
[pid=28879/tid=28881] ppid=28877 vsize=915616 CPUtime=0.08
/proc/28879/task/28881/stat : 28881 (java) S 28877 28879 28126 0 -1 64 2254 0 0 0 8 0 0 0 17 0 8 0 155943367 937590784 18536 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28879/tid=28882] ppid=28877 vsize=915616 CPUtime=0
/proc/28879/task/28882/stat : 28882 (java) S 28877 28879 28126 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155943367 937590784 18536 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28879/tid=28883] ppid=28877 vsize=915616 CPUtime=0
/proc/28879/task/28883/stat : 28883 (java) S 28877 28879 28126 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 155943367 937590784 18536 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28879/tid=28884] ppid=28877 vsize=915616 CPUtime=0
/proc/28879/task/28884/stat : 28884 (java) S 28877 28879 28126 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155943370 937590784 18536 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28879/tid=28885] ppid=28877 vsize=915616 CPUtime=0.16
/proc/28879/task/28885/stat : 28885 (java) S 28877 28879 28126 0 -1 64 413 0 0 0 16 0 0 0 15 0 8 0 155943370 937590784 18536 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28879/tid=28886] ppid=28877 vsize=915616 CPUtime=0
/proc/28879/task/28886/stat : 28886 (java) S 28877 28879 28126 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155943370 937590784 18536 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28879/tid=28887] ppid=28877 vsize=915616 CPUtime=0
/proc/28879/task/28887/stat : 28887 (java) S 28877 28879 28126 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155943370 937590784 18536 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915616

[startup+2.98395 s]
/proc/loadavg: 1.89 1.90 1.90 3/100 28887
/proc/meminfo: memFree=1482816/2055920 swapFree=4192812/4192956
[pid=28879] ppid=28877 vsize=915616 CPUtime=2.94
/proc/28879/stat : 28879 (java) R 28877 28879 28126 0 -1 0 24593 0 1 0 280 14 0 0 25 0 8 0 155943363 937590784 24326 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073752205 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28879/statm: 228904 24326 2158 14 0 215374 0
[pid=28879/tid=28881] ppid=28877 vsize=915616 CPUtime=0.39
/proc/28879/task/28881/stat : 28881 (java) S 28877 28879 28126 0 -1 64 8042 0 0 0 36 3 0 0 16 0 8 0 155943367 937590784 24326 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28879/tid=28882] ppid=28877 vsize=915616 CPUtime=0
/proc/28879/task/28882/stat : 28882 (java) S 28877 28879 28126 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155943367 937590784 24326 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28879/tid=28883] ppid=28877 vsize=915616 CPUtime=0
/proc/28879/task/28883/stat : 28883 (java) S 28877 28879 28126 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 155943367 937590784 24326 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28879/tid=28884] ppid=28877 vsize=915616 CPUtime=0
/proc/28879/task/28884/stat : 28884 (java) S 28877 28879 28126 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155943370 937590784 24326 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28879/tid=28885] ppid=28877 vsize=915616 CPUtime=0.16
/proc/28879/task/28885/stat : 28885 (java) S 28877 28879 28126 0 -1 64 415 0 0 0 16 0 0 0 16 0 8 0 155943370 937590784 24326 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28879/tid=28886] ppid=28877 vsize=915616 CPUtime=0
/proc/28879/task/28886/stat : 28886 (java) S 28877 28879 28126 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155943370 937590784 24326 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28879/tid=28887] ppid=28877 vsize=915616 CPUtime=0
/proc/28879/task/28887/stat : 28887 (java) S 28877 28879 28126 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155943370 937590784 24326 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915616

[startup+6.2746 s]
/proc/loadavg: 1.90 1.91 1.90 4/100 28887
/proc/meminfo: memFree=1452224/2055920 swapFree=4192812/4192956
[pid=28879] ppid=28877 vsize=915744 CPUtime=6.2
/proc/28879/stat : 28879 (java) R 28877 28879 28126 0 -1 0 48126 0 1 0 507 113 0 0 25 0 8 0 155943363 937721856 47852 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4152819620 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28879/statm: 228936 47852 2181 14 0 215406 0
[pid=28879/tid=28881] ppid=28877 vsize=915744 CPUtime=0.98
/proc/28879/task/28881/stat : 28881 (java) S 28877 28879 28126 0 -1 64 31471 0 0 0 86 12 0 0 16 0 8 0 155943367 937721856 47852 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28879/tid=28882] ppid=28877 vsize=915744 CPUtime=0
/proc/28879/task/28882/stat : 28882 (java) S 28877 28879 28126 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155943367 937721856 47852 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28879/tid=28883] ppid=28877 vsize=915744 CPUtime=0
/proc/28879/task/28883/stat : 28883 (java) S 28877 28879 28126 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 155943367 937721856 47852 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28879/tid=28884] ppid=28877 vsize=915744 CPUtime=0
/proc/28879/task/28884/stat : 28884 (java) S 28877 28879 28126 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155943370 937721856 47852 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28879/tid=28885] ppid=28877 vsize=915744 CPUtime=0.23
/proc/28879/task/28885/stat : 28885 (java) S 28877 28879 28126 0 -1 64 447 0 0 0 22 1 0 0 16 0 8 0 155943370 937721856 47852 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28879/tid=28886] ppid=28877 vsize=915744 CPUtime=0
/proc/28879/task/28886/stat : 28886 (java) S 28877 28879 28126 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155943370 937721856 47852 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28879/tid=28887] ppid=28877 vsize=915744 CPUtime=0
/proc/28879/task/28887/stat : 28887 (java) R 28877 28879 28126 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155943370 937721856 47852 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 915744

[startup+12.7669 s]
/proc/loadavg: 1.90 1.91 1.90 3/100 28887
/proc/meminfo: memFree=1347264/2055920 swapFree=4192812/4192956
[pid=28879] ppid=28877 vsize=916336 CPUtime=12.63
/proc/28879/stat : 28879 (java) R 28877 28879 28126 0 -1 0 57107 0 1 0 1144 119 0 0 25 0 8 0 155943363 938328064 56768 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074336238 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28879/statm: 229084 56768 2529 14 0 215554 0
[pid=28879/tid=28881] ppid=28877 vsize=916336 CPUtime=1.55
/proc/28879/task/28881/stat : 28881 (java) S 28877 28879 28126 0 -1 64 39782 0 0 0 139 16 0 0 16 0 8 0 155943367 938328064 56768 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28879/tid=28882] ppid=28877 vsize=916336 CPUtime=0
/proc/28879/task/28882/stat : 28882 (java) S 28877 28879 28126 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155943367 938328064 56768 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28879/tid=28883] ppid=28877 vsize=916336 CPUtime=0
/proc/28879/task/28883/stat : 28883 (java) S 28877 28879 28126 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 155943367 938328064 56768 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28879/tid=28884] ppid=28877 vsize=916336 CPUtime=0
/proc/28879/task/28884/stat : 28884 (java) S 28877 28879 28126 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155943370 938328064 56768 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28879/tid=28885] ppid=28877 vsize=916336 CPUtime=0.4
/proc/28879/task/28885/stat : 28885 (java) S 28877 28879 28126 0 -1 64 685 0 0 0 39 1 0 0 16 0 8 0 155943370 938328064 56768 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28879/tid=28886] ppid=28877 vsize=916336 CPUtime=0
/proc/28879/task/28886/stat : 28886 (java) S 28877 28879 28126 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155943370 938328064 56768 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28879/tid=28887] ppid=28877 vsize=916336 CPUtime=0
/proc/28879/task/28887/stat : 28887 (java) S 28877 28879 28126 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155943370 938328064 56768 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 916336

[startup+25.6214 s]
/proc/loadavg: 1.92 1.91 1.91 3/100 28887
/proc/meminfo: memFree=1347392/2055920 swapFree=4192812/4192956
[pid=28879] ppid=28877 vsize=916336 CPUtime=25.36
/proc/28879/stat : 28879 (java) R 28877 28879 28126 0 -1 0 57120 0 1 0 2417 119 0 0 25 0 8 0 155943363 938328064 56778 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073480195 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28879/statm: 229084 56778 2532 14 0 215554 0
[pid=28879/tid=28881] ppid=28877 vsize=916336 CPUtime=1.55
/proc/28879/task/28881/stat : 28881 (java) S 28877 28879 28126 0 -1 64 39782 0 0 0 139 16 0 0 16 0 8 0 155943367 938328064 56778 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28879/tid=28882] ppid=28877 vsize=916336 CPUtime=0
/proc/28879/task/28882/stat : 28882 (java) S 28877 28879 28126 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155943367 938328064 56778 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28879/tid=28883] ppid=28877 vsize=916336 CPUtime=0
/proc/28879/task/28883/stat : 28883 (java) S 28877 28879 28126 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 155943367 938328064 56778 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28879/tid=28884] ppid=28877 vsize=916336 CPUtime=0
/proc/28879/task/28884/stat : 28884 (java) S 28877 28879 28126 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155943370 938328064 56778 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28879/tid=28885] ppid=28877 vsize=916336 CPUtime=0.41
/proc/28879/task/28885/stat : 28885 (java) S 28877 28879 28126 0 -1 64 690 0 0 0 40 1 0 0 16 0 8 0 155943370 938328064 56778 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28879/tid=28886] ppid=28877 vsize=916336 CPUtime=0
/proc/28879/task/28886/stat : 28886 (java) S 28877 28879 28126 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155943370 938328064 56778 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28879/tid=28887] ppid=28877 vsize=916336 CPUtime=0
/proc/28879/task/28887/stat : 28887 (java) S 28877 28879 28126 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155943370 938328064 56778 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 916336

[startup+51.2575 s]
/proc/loadavg: 1.95 1.92 1.91 3/100 28887
/proc/meminfo: memFree=1346752/2055920 swapFree=4192812/4192956
[pid=28879] ppid=28877 vsize=916336 CPUtime=50.75
/proc/28879/stat : 28879 (java) R 28877 28879 28126 0 -1 0 57291 0 1 0 4956 119 0 0 25 0 8 0 155943363 938328064 56947 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074288858 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28879/statm: 229084 56947 2532 14 0 215554 0
[pid=28879/tid=28881] ppid=28877 vsize=916336 CPUtime=1.61
/proc/28879/task/28881/stat : 28881 (java) S 28877 28879 28126 0 -1 64 39948 0 0 0 145 16 0 0 16 0 8 0 155943367 938328064 56947 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28879/tid=28882] ppid=28877 vsize=916336 CPUtime=0
/proc/28879/task/28882/stat : 28882 (java) S 28877 28879 28126 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155943367 938328064 56947 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28879/tid=28883] ppid=28877 vsize=916336 CPUtime=0
/proc/28879/task/28883/stat : 28883 (java) S 28877 28879 28126 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 155943367 938328064 56947 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28879/tid=28884] ppid=28877 vsize=916336 CPUtime=0
/proc/28879/task/28884/stat : 28884 (java) S 28877 28879 28126 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155943370 938328064 56947 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28879/tid=28885] ppid=28877 vsize=916336 CPUtime=0.41
/proc/28879/task/28885/stat : 28885 (java) S 28877 28879 28126 0 -1 64 693 0 0 0 40 1 0 0 15 0 8 0 155943370 938328064 56947 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28879/tid=28886] ppid=28877 vsize=916336 CPUtime=0
/proc/28879/task/28886/stat : 28886 (java) S 28877 28879 28126 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155943370 938328064 56947 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28879/tid=28887] ppid=28877 vsize=916336 CPUtime=0
/proc/28879/task/28887/stat : 28887 (java) S 28877 28879 28126 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155943370 938328064 56947 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.75
Current children cumulated vsize (KiB) 916336

[startup+102.512 s]
/proc/loadavg: 1.98 1.93 1.91 3/100 28887
/proc/meminfo: memFree=1346752/2055920 swapFree=4192812/4192956
[pid=28879] ppid=28877 vsize=916336 CPUtime=101.53
/proc/28879/stat : 28879 (java) R 28877 28879 28126 0 -1 0 57303 0 1 0 10033 120 0 0 25 0 8 0 155943363 938328064 56954 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074337123 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28879/statm: 229084 56954 2532 14 0 215554 0
[pid=28879/tid=28881] ppid=28877 vsize=916336 CPUtime=1.61
/proc/28879/task/28881/stat : 28881 (java) S 28877 28879 28126 0 -1 64 39948 0 0 0 145 16 0 0 16 0 8 0 155943367 938328064 56954 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28879/tid=28882] ppid=28877 vsize=916336 CPUtime=0
/proc/28879/task/28882/stat : 28882 (java) S 28877 28879 28126 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155943367 938328064 56954 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28879/tid=28883] ppid=28877 vsize=916336 CPUtime=0
/proc/28879/task/28883/stat : 28883 (java) S 28877 28879 28126 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 155943367 938328064 56954 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28879/tid=28884] ppid=28877 vsize=916336 CPUtime=0
/proc/28879/task/28884/stat : 28884 (java) S 28877 28879 28126 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155943370 938328064 56954 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28879/tid=28885] ppid=28877 vsize=916336 CPUtime=0.43
/proc/28879/task/28885/stat : 28885 (java) S 28877 28879 28126 0 -1 64 701 0 0 0 42 1 0 0 16 0 8 0 155943370 938328064 56954 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28879/tid=28886] ppid=28877 vsize=916336 CPUtime=0
/proc/28879/task/28886/stat : 28886 (java) S 28877 28879 28126 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155943370 938328064 56954 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28879/tid=28887] ppid=28877 vsize=916336 CPUtime=0
/proc/28879/task/28887/stat : 28887 (java) S 28877 28879 28126 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155943370 938328064 56954 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.53
Current children cumulated vsize (KiB) 916336

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

Current children cumulated CPU time (s) 1410.11
Current children cumulated vsize (KiB) 916336

[startup+1482.9 s]
/proc/loadavg: 2.00 2.00 1.93 3/100 28945
/proc/meminfo: memFree=648816/2055920 swapFree=4192812/4192956
[pid=28879] ppid=28877 vsize=916336 CPUtime=1470.11
/proc/28879/stat : 28879 (java) R 28877 28879 28126 0 -1 0 57320 0 1 0 146880 131 0 0 25 0 8 0 155943363 938328064 56962 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074414846 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28879/statm: 229084 56962 2532 14 0 215554 0
[pid=28879/tid=28881] ppid=28877 vsize=916336 CPUtime=1.61
/proc/28879/task/28881/stat : 28881 (java) S 28877 28879 28126 0 -1 64 39948 0 0 0 145 16 0 0 16 0 8 0 155943367 938328064 56962 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28879/tid=28882] ppid=28877 vsize=916336 CPUtime=0
/proc/28879/task/28882/stat : 28882 (java) S 28877 28879 28126 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155943367 938328064 56962 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28879/tid=28883] ppid=28877 vsize=916336 CPUtime=0
/proc/28879/task/28883/stat : 28883 (java) S 28877 28879 28126 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 155943367 938328064 56962 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28879/tid=28884] ppid=28877 vsize=916336 CPUtime=0
/proc/28879/task/28884/stat : 28884 (java) S 28877 28879 28126 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155943370 938328064 56962 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28879/tid=28885] ppid=28877 vsize=916336 CPUtime=0.44
/proc/28879/task/28885/stat : 28885 (java) S 28877 28879 28126 0 -1 64 709 0 0 0 43 1 0 0 16 0 8 0 155943370 938328064 56962 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28879/tid=28886] ppid=28877 vsize=916336 CPUtime=0
/proc/28879/task/28886/stat : 28886 (java) S 28877 28879 28126 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155943370 938328064 56962 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28879/tid=28887] ppid=28877 vsize=916336 CPUtime=0
/proc/28879/task/28887/stat : 28887 (java) S 28877 28879 28126 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155943370 938328064 56962 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1470.11
Current children cumulated vsize (KiB) 916336

[startup+1542.91 s]
/proc/loadavg: 2.18 2.04 1.95 3/100 28945
/proc/meminfo: memFree=644528/2055920 swapFree=4192812/4192956
[pid=28879] ppid=28877 vsize=916336 CPUtime=1530.07
/proc/28879/stat : 28879 (java) R 28877 28879 28126 0 -1 0 57320 0 1 0 152875 132 0 0 25 0 8 0 155943363 938328064 56962 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074274070 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28879/statm: 229084 56962 2532 14 0 215554 0
[pid=28879/tid=28881] ppid=28877 vsize=916336 CPUtime=1.61
/proc/28879/task/28881/stat : 28881 (java) S 28877 28879 28126 0 -1 64 39948 0 0 0 145 16 0 0 16 0 8 0 155943367 938328064 56962 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28879/tid=28882] ppid=28877 vsize=916336 CPUtime=0
/proc/28879/task/28882/stat : 28882 (java) S 28877 28879 28126 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155943367 938328064 56962 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28879/tid=28883] ppid=28877 vsize=916336 CPUtime=0
/proc/28879/task/28883/stat : 28883 (java) S 28877 28879 28126 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 155943367 938328064 56962 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28879/tid=28884] ppid=28877 vsize=916336 CPUtime=0
/proc/28879/task/28884/stat : 28884 (java) S 28877 28879 28126 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155943370 938328064 56962 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28879/tid=28885] ppid=28877 vsize=916336 CPUtime=0.44
/proc/28879/task/28885/stat : 28885 (java) S 28877 28879 28126 0 -1 64 709 0 0 0 43 1 0 0 16 0 8 0 155943370 938328064 56962 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28879/tid=28886] ppid=28877 vsize=916336 CPUtime=0
/proc/28879/task/28886/stat : 28886 (java) S 28877 28879 28126 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155943370 938328064 56962 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28879/tid=28887] ppid=28877 vsize=916336 CPUtime=0
/proc/28879/task/28887/stat : 28887 (java) S 28877 28879 28126 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155943370 938328064 56962 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1530.07
Current children cumulated vsize (KiB) 916336

[startup+1603.01 s]
/proc/loadavg: 2.11 2.05 1.95 3/100 28945
/proc/meminfo: memFree=644400/2055920 swapFree=4192812/4192956
[pid=28879] ppid=28877 vsize=916336 CPUtime=1590.07
/proc/28879/stat : 28879 (java) R 28877 28879 28126 0 -1 0 57320 0 1 0 158875 132 0 0 25 0 8 0 155943363 938328064 56962 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074320379 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28879/statm: 229084 56962 2532 14 0 215554 0
[pid=28879/tid=28881] ppid=28877 vsize=916336 CPUtime=1.61
/proc/28879/task/28881/stat : 28881 (java) S 28877 28879 28126 0 -1 64 39948 0 0 0 145 16 0 0 16 0 8 0 155943367 938328064 56962 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28879/tid=28882] ppid=28877 vsize=916336 CPUtime=0
/proc/28879/task/28882/stat : 28882 (java) S 28877 28879 28126 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155943367 938328064 56962 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28879/tid=28883] ppid=28877 vsize=916336 CPUtime=0
/proc/28879/task/28883/stat : 28883 (java) S 28877 28879 28126 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 155943367 938328064 56962 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28879/tid=28884] ppid=28877 vsize=916336 CPUtime=0
/proc/28879/task/28884/stat : 28884 (java) S 28877 28879 28126 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155943370 938328064 56962 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28879/tid=28885] ppid=28877 vsize=916336 CPUtime=0.44
/proc/28879/task/28885/stat : 28885 (java) S 28877 28879 28126 0 -1 64 709 0 0 0 43 1 0 0 16 0 8 0 155943370 938328064 56962 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28879/tid=28886] ppid=28877 vsize=916336 CPUtime=0
/proc/28879/task/28886/stat : 28886 (java) S 28877 28879 28126 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155943370 938328064 56962 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28879/tid=28887] ppid=28877 vsize=916336 CPUtime=0
/proc/28879/task/28887/stat : 28887 (java) S 28877 28879 28126 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155943370 938328064 56962 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1590.07
Current children cumulated vsize (KiB) 916336

[startup+1663.06 s]
/proc/loadavg: 2.09 2.05 1.96 3/100 28945
/proc/meminfo: memFree=644272/2055920 swapFree=4192812/4192956
[pid=28879] ppid=28877 vsize=916336 CPUtime=1650.06
/proc/28879/stat : 28879 (java) R 28877 28879 28126 0 -1 0 57320 0 1 0 164874 132 0 0 25 0 8 0 155943363 938328064 56962 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074290837 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28879/statm: 229084 56962 2532 14 0 215554 0
[pid=28879/tid=28881] ppid=28877 vsize=916336 CPUtime=1.61
/proc/28879/task/28881/stat : 28881 (java) S 28877 28879 28126 0 -1 64 39948 0 0 0 145 16 0 0 16 0 8 0 155943367 938328064 56962 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28879/tid=28882] ppid=28877 vsize=916336 CPUtime=0
/proc/28879/task/28882/stat : 28882 (java) S 28877 28879 28126 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155943367 938328064 56962 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28879/tid=28883] ppid=28877 vsize=916336 CPUtime=0
/proc/28879/task/28883/stat : 28883 (java) S 28877 28879 28126 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 155943367 938328064 56962 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28879/tid=28884] ppid=28877 vsize=916336 CPUtime=0
/proc/28879/task/28884/stat : 28884 (java) S 28877 28879 28126 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155943370 938328064 56962 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28879/tid=28885] ppid=28877 vsize=916336 CPUtime=0.44
/proc/28879/task/28885/stat : 28885 (java) S 28877 28879 28126 0 -1 64 709 0 0 0 43 1 0 0 16 0 8 0 155943370 938328064 56962 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28879/tid=28886] ppid=28877 vsize=916336 CPUtime=0
/proc/28879/task/28886/stat : 28886 (java) S 28877 28879 28126 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155943370 938328064 56962 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28879/tid=28887] ppid=28877 vsize=916336 CPUtime=0
/proc/28879/task/28887/stat : 28887 (java) S 28877 28879 28126 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155943370 938328064 56962 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1650.06
Current children cumulated vsize (KiB) 916336

[startup+1723.08 s]
/proc/loadavg: 2.08 2.06 1.96 3/100 28945
/proc/meminfo: memFree=644080/2055920 swapFree=4192812/4192956
[pid=28879] ppid=28877 vsize=916336 CPUtime=1710.02
/proc/28879/stat : 28879 (java) R 28877 28879 28126 0 -1 0 57320 0 1 0 170869 133 0 0 25 0 8 0 155943363 938328064 56962 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074289656 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28879/statm: 229084 56962 2532 14 0 215554 0
[pid=28879/tid=28881] ppid=28877 vsize=916336 CPUtime=1.61
/proc/28879/task/28881/stat : 28881 (java) S 28877 28879 28126 0 -1 64 39948 0 0 0 145 16 0 0 16 0 8 0 155943367 938328064 56962 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28879/tid=28882] ppid=28877 vsize=916336 CPUtime=0
/proc/28879/task/28882/stat : 28882 (java) S 28877 28879 28126 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155943367 938328064 56962 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28879/tid=28883] ppid=28877 vsize=916336 CPUtime=0
/proc/28879/task/28883/stat : 28883 (java) S 28877 28879 28126 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 155943367 938328064 56962 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28879/tid=28884] ppid=28877 vsize=916336 CPUtime=0
/proc/28879/task/28884/stat : 28884 (java) S 28877 28879 28126 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155943370 938328064 56962 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28879/tid=28885] ppid=28877 vsize=916336 CPUtime=0.44
/proc/28879/task/28885/stat : 28885 (java) S 28877 28879 28126 0 -1 64 709 0 0 0 43 1 0 0 16 0 8 0 155943370 938328064 56962 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28879/tid=28886] ppid=28877 vsize=916336 CPUtime=0
/proc/28879/task/28886/stat : 28886 (java) S 28877 28879 28126 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155943370 938328064 56962 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28879/tid=28887] ppid=28877 vsize=916336 CPUtime=0
/proc/28879/task/28887/stat : 28887 (java) S 28877 28879 28126 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155943370 938328064 56962 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1710.02
Current children cumulated vsize (KiB) 916336

[startup+1783.12 s]
/proc/loadavg: 2.03 2.04 1.96 4/100 28945
/proc/meminfo: memFree=644080/2055920 swapFree=4192812/4192956
[pid=28879] ppid=28877 vsize=916336 CPUtime=1769.7
/proc/28879/stat : 28879 (java) R 28877 28879 28126 0 -1 0 57320 0 1 0 176837 133 0 0 25 0 8 0 155943363 938328064 56962 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074268876 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28879/statm: 229084 56962 2532 14 0 215554 0
[pid=28879/tid=28881] ppid=28877 vsize=916336 CPUtime=1.61
/proc/28879/task/28881/stat : 28881 (java) S 28877 28879 28126 0 -1 64 39948 0 0 0 145 16 0 0 16 0 8 0 155943367 938328064 56962 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28879/tid=28882] ppid=28877 vsize=916336 CPUtime=0
/proc/28879/task/28882/stat : 28882 (java) S 28877 28879 28126 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155943367 938328064 56962 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28879/tid=28883] ppid=28877 vsize=916336 CPUtime=0
/proc/28879/task/28883/stat : 28883 (java) S 28877 28879 28126 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 155943367 938328064 56962 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28879/tid=28884] ppid=28877 vsize=916336 CPUtime=0
/proc/28879/task/28884/stat : 28884 (java) S 28877 28879 28126 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155943370 938328064 56962 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28879/tid=28885] ppid=28877 vsize=916336 CPUtime=0.44
/proc/28879/task/28885/stat : 28885 (java) S 28877 28879 28126 0 -1 64 709 0 0 0 43 1 0 0 16 0 8 0 155943370 938328064 56962 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28879/tid=28886] ppid=28877 vsize=916336 CPUtime=0
/proc/28879/task/28886/stat : 28886 (java) S 28877 28879 28126 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155943370 938328064 56962 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28879/tid=28887] ppid=28877 vsize=916336 CPUtime=0
/proc/28879/task/28887/stat : 28887 (java) S 28877 28879 28126 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155943370 938328064 56962 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1769.7
Current children cumulated vsize (KiB) 916336



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1813.6 s]
/proc/loadavg: 2.06 2.05 1.97 4/100 28945
/proc/meminfo: memFree=644080/2055920 swapFree=4192812/4192956
[pid=28879] ppid=28877 vsize=916336 CPUtime=1800.03
/proc/28879/stat : 28879 (java) R 28877 28879 28126 0 -1 0 57320 0 1 0 179870 133 0 0 25 0 8 0 155943363 938328064 56962 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073480195 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28879/statm: 229084 56962 2532 14 0 215554 0
[pid=28879/tid=28881] ppid=28877 vsize=916336 CPUtime=1.61
/proc/28879/task/28881/stat : 28881 (java) S 28877 28879 28126 0 -1 64 39948 0 0 0 145 16 0 0 16 0 8 0 155943367 938328064 56962 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28879/tid=28882] ppid=28877 vsize=916336 CPUtime=0
/proc/28879/task/28882/stat : 28882 (java) S 28877 28879 28126 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155943367 938328064 56962 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28879/tid=28883] ppid=28877 vsize=916336 CPUtime=0
/proc/28879/task/28883/stat : 28883 (java) S 28877 28879 28126 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 155943367 938328064 56962 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28879/tid=28884] ppid=28877 vsize=916336 CPUtime=0
/proc/28879/task/28884/stat : 28884 (java) S 28877 28879 28126 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155943370 938328064 56962 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28879/tid=28885] ppid=28877 vsize=916336 CPUtime=0.44
/proc/28879/task/28885/stat : 28885 (java) S 28877 28879 28126 0 -1 64 709 0 0 0 43 1 0 0 16 0 8 0 155943370 938328064 56962 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28879/tid=28886] ppid=28877 vsize=916336 CPUtime=0
/proc/28879/task/28886/stat : 28886 (java) S 28877 28879 28126 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155943370 938328064 56962 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28879/tid=28887] ppid=28877 vsize=916336 CPUtime=0
/proc/28879/task/28887/stat : 28887 (java) S 28877 28879 28126 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155943370 938328064 56962 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 916336

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

Child status: 143
Real time (s): 1813.66
CPU time (s): 1800.1
CPU user time (s): 1798.72
CPU system time (s): 1.37679
CPU usage (%): 99.2522
Max. virtual memory (cumulated for all children) (KiB): 916336

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.72
system time used= 1.37679
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 57335
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= 38635
involuntary context switches= 97047

runsolver used 2.28265 s user time and 5.80012 s system time

The end

Launcher Data (download as text)

Begin job on node11 on Sat Jan  6 09:24:43 UTC 2007


IDJOB= 211213
IDBENCH= 4677
FILE ID= node11/211213-1168075481

PBS_JOBID= 3475776

Free space on /tmp= 66311 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  2d495dfcb22d18501da72bd856be20ec

RANDOM SEED= 3255271

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.261
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.261
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:       1565272 kB
Buffers:         38836 kB
Cached:         240440 kB
SwapCached:          0 kB
Active:         201600 kB
Inactive:       204640 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1565272 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:           10480 kB
Writeback:           0 kB
Mapped:         156016 kB
Slab:            68924 kB
Committed_AS:  5104264 kB
PageTables:       2556 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= 66302 MiB



End job on node11 on Sat Jan  6 09:54:57 UTC 2007