Trace number 196196

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.12 1800.95

General information on the benchmark

Namerandom/rand-3-24-24/
rand-3-24-24-76-632-15_ext.xml
MD5SUM505135724b0ef1fece7966b5248831cb
Bench CategoryN-ARY-EXT (n-ary constraints in extension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark645.835
SatisfiableYES
(Un)Satisfiability was provedYES
Number of variables24
Number of constraints76
Maximum constraint arity3
Maximum domain size24
Number of constraints which are defined in extension76
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Solver Data (download as text)

0.56	   
0.56	Abscon 109 (November, 2006)
0.56	   
0.56	   configuration
0.56	     name=mac.xml
0.60	   
0.60	   instance
0.60	     name=/tmp/evaluation/196196-1168070455/unknown.xml
0.63	   
0.63	   domains being loaded...
0.64	   
0.64	   variables being loaded...
0.67	     nbVariables=24  nbDomainTypes=1  minDomainSize=24  maxDomainSize=24
0.67	       =>  wckTime=0.102  cpuTime=0.08  mem=6M951
0.67	   
0.67	   relations being loaded...
1.32	   
1.33	   constraints being loaded...
1.60	     nbConstraints=76  nbRelationTypes=76  nbExtensionStructures=76  nbSharedExtensionStructures=0
1.60	     nbConflictsStructures=76  nbSharedConflictsStructures=0  nbSharedBinaryRepresentations=0  maxDegree=15  maxArity=3
1.60	       =>  wckTime=1.033  cpuTime=0.9  mem=50M840
1.73	   
1.73	   solver IterativeSystematicSolver being built... 
1.89	       =>  wckTime=1.328  cpuTime=1.04  mem=34M589
1.90	   
1.90	   preprocessing
1.90	     nbConstraintChecks=0  nbPropagations=24  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
1.90	     detectedInconsistency=no
1.90	       =>  wckTime=0.0040  cpuTime=0.0  mem=34M589
2.04	   
2.04	   search
2.04	     run=0  nbConstraintChecks=44147  nbValidityChecks=83873  nbPropagations=534  nbRevisions=6179
2.04	     nbUselessRevisions=4878  nbAssignments=38  nbFailedAssignments=21  nbBacktracks=11  nbVisitedNodes=68
2.04	     nbRestartNogoods=0  mapSize=11  nbInferences=0  nbTooLargeKeys=0
2.04	       =>  wckTime=0.144  cpuTime=0.1  mem=35M580
2.14	   
2.14	   search
2.14	     run=1  nbConstraintChecks=100069  nbValidityChecks=193246  nbPropagations=1712  nbRevisions=20099
2.14	     nbUselessRevisions=15920  nbAssignments=107  nbFailedAssignments=69  nbBacktracks=26  nbVisitedNodes=198
2.14	     nbRestartNogoods=6  mapSize=26  nbInferences=0  nbTooLargeKeys=0
2.14	       =>  wckTime=0.243  cpuTime=0.19  mem=35M580
2.26	   
2.26	   search
2.26	     run=2  nbConstraintChecks=167717  nbValidityChecks=332230  nbPropagations=3651  nbRevisions=43040
2.26	     nbUselessRevisions=34029  nbAssignments=174  nbFailedAssignments=108  nbBacktracks=48  nbVisitedNodes=324
2.26	     nbRestartNogoods=9  mapSize=48  nbInferences=0  nbTooLargeKeys=0
2.26	       =>  wckTime=0.365  cpuTime=0.3  mem=35M580
2.47	   
2.47	   search
2.47	     run=3  nbConstraintChecks=308025  nbValidityChecks=627243  nbPropagations=7091  nbRevisions=84636
2.47	     nbUselessRevisions=66604  nbAssignments=314  nbFailedAssignments=210  nbBacktracks=81  nbVisitedNodes=598
2.47	     nbRestartNogoods=12  mapSize=81  nbInferences=0  nbTooLargeKeys=0
2.47	       =>  wckTime=0.575  cpuTime=0.51  mem=35M580
2.68	   
2.68	   search
2.68	     run=4  nbConstraintChecks=436646  nbValidityChecks=906914  nbPropagations=12111  nbRevisions=144763
2.68	     nbUselessRevisions=113835  nbAssignments=451  nbFailedAssignments=290  nbBacktracks=132  nbVisitedNodes=848
2.68	     nbRestartNogoods=18  mapSize=124  nbInferences=0  nbTooLargeKeys=0
2.68	       =>  wckTime=0.777  cpuTime=0.71  mem=35M580
2.95	   
2.95	   search
2.95	     run=5  nbConstraintChecks=615650  nbValidityChecks=1273407  nbPropagations=19319  nbRevisions=231337
2.95	     nbUselessRevisions=182025  nbAssignments=620  nbFailedAssignments=378  nbBacktracks=208  nbVisitedNodes=1156
2.95	     nbRestartNogoods=24  mapSize=188  nbInferences=0  nbTooLargeKeys=0
2.95	       =>  wckTime=1.054  cpuTime=0.98  mem=35M580
3.30	   
3.30	   search
3.30	     run=6  nbConstraintChecks=841040  nbValidityChecks=1736083  nbPropagations=29537  nbRevisions=355150
3.30	     nbUselessRevisions=279888  nbAssignments=862  nbFailedAssignments=502  nbBacktracks=321  nbVisitedNodes=1592
3.30	     nbRestartNogoods=30  mapSize=287  nbInferences=0  nbTooLargeKeys=0
3.30	       =>  wckTime=1.401  cpuTime=1.33  mem=35M580
3.96	   
3.96	   search
3.96	     run=7  nbConstraintChecks=1276368  nbValidityChecks=2650373  nbPropagations=45729  nbRevisions=547242
3.96	     nbUselessRevisions=431501  nbAssignments=1326  nbFailedAssignments=789  nbBacktracks=492  nbVisitedNodes=2470
3.96	     nbRestartNogoods=37  mapSize=450  nbInferences=0  nbTooLargeKeys=0
3.96	       =>  wckTime=2.066  cpuTime=1.98  mem=35M580
5.06	   
5.06	   search
5.06	     run=8  nbConstraintChecks=2008404  nbValidityChecks=4113598  nbPropagations=70337  nbRevisions=842705
5.06	     nbUselessRevisions=664206  nbAssignments=2037  nbFailedAssignments=1240  nbBacktracks=748  nbVisitedNodes=3811
5.06	     nbRestartNogoods=40  mapSize=682  nbInferences=0  nbTooLargeKeys=0
5.06	       =>  wckTime=3.167  cpuTime=3.04  mem=35M580
6.73	   
6.73	   INFO : Stopping hyperNogood (mapSize=1024, nbTooLargekeys=0, mem=35M580)
6.88	   
6.88	   search
6.88	     run=9  nbConstraintChecks=3290866  nbValidityChecks=6879002  nbPropagations=109993  nbRevisions=1318492
6.88	     nbUselessRevisions=1037178  nbAssignments=3303  nbFailedAssignments=2115  nbBacktracks=1132  nbVisitedNodes=6292
6.88	     nbRestartNogoods=43
6.88	       =>  wckTime=4.983  cpuTime=4.85  mem=35M580
9.42	   
9.42	   search
9.42	     run=10  nbConstraintChecks=5002963  nbValidityChecks=10522362  nbPropagations=170478  nbRevisions=2030040
9.42	     nbUselessRevisions=1591834  nbAssignments=4999  nbFailedAssignments=3229  nbBacktracks=1708  nbVisitedNodes=9506
9.42	     nbRestartNogoods=67
9.42	       =>  wckTime=7.527  cpuTime=7.34  mem=35M580
12.21	   
12.21	   search
12.21	     run=11  nbConstraintChecks=7010103  nbValidityChecks=14521455  nbPropagations=255341  nbRevisions=3054051
12.21	     nbUselessRevisions=2396541  nbAssignments=7010  nbFailedAssignments=4369  nbBacktracks=2572  nbVisitedNodes=13221
12.21	     nbRestartNogoods=81
12.21	       =>  wckTime=10.309  cpuTime=10.12  mem=35M580
17.81	   
17.81	   search
17.81	     run=12  nbConstraintChecks=10899377  nbValidityChecks=22482890  nbPropagations=387609  nbRevisions=4649656
17.81	     nbUselessRevisions=3647485  nbAssignments=10513  nbFailedAssignments=6570  nbBacktracks=3869  nbVisitedNodes=19933
17.81	     nbRestartNogoods=103
17.81	       =>  wckTime=15.909  cpuTime=15.72  mem=35M580
24.59	   
24.59	   search
24.59	     run=13  nbConstraintChecks=15706404  nbValidityChecks=32314708  nbPropagations=580814  nbRevisions=6986936
24.59	     nbUselessRevisions=5482350  nbAssignments=15403  nbFailedAssignments=9507  nbBacktracks=5815  nbVisitedNodes=29094
24.59	     nbRestartNogoods=105
24.59	       =>  wckTime=22.693  cpuTime=22.49  mem=35M580
34.98	   
34.98	   search
34.98	     run=14  nbConstraintChecks=22896774  nbValidityChecks=47064772  nbPropagations=863645  nbRevisions=10415604
34.98	     nbUselessRevisions=8176797  nbAssignments=22342  nbFailedAssignments=13519  nbBacktracks=8735  nbVisitedNodes=42090
34.98	     nbRestartNogoods=113
34.98	       =>  wckTime=33.082  cpuTime=32.84  mem=35M580
51.26	   
51.26	   search
51.26	     run=15  nbConstraintChecks=34680314  nbValidityChecks=70922393  nbPropagations=1284471  nbRevisions=15551000
51.26	     nbUselessRevisions=12214761  nbAssignments=33838  nbFailedAssignments=20631  nbBacktracks=13113
51.26	     nbVisitedNodes=63665  nbRestartNogoods=127
51.26	       =>  wckTime=49.364  cpuTime=49.09  mem=35M580
71.67	   
71.67	   search
71.67	     run=16  nbConstraintChecks=48863397  nbValidityChecks=100178987  nbPropagations=1885704  nbRevisions=22942308
71.67	     nbUselessRevisions=18048576  nbAssignments=47912  nbFailedAssignments=28130  nbBacktracks=19681
71.67	     nbVisitedNodes=89506  nbRestartNogoods=141
71.67	       =>  wckTime=69.775  cpuTime=69.48  mem=35M580
107.14	   
107.14	   search
107.14	     run=17  nbConstraintChecks=73512745  nbValidityChecks=150742891  nbPropagations=2799510  nbRevisions=34069946
107.14	     nbUselessRevisions=26814893  nbAssignments=71563  nbFailedAssignments=41923  nbBacktracks=29533
107.14	     nbVisitedNodes=134121  nbRestartNogoods=161
107.14	       =>  wckTime=105.247  cpuTime=104.89  mem=35M580
163.54	   
163.54	   search
163.54	     run=18  nbConstraintChecks=114527594  nbValidityChecks=234564223  nbPropagations=4181807  nbRevisions=50865184
163.54	     nbUselessRevisions=40008779  nbAssignments=110857  nbFailedAssignments=66433  nbBacktracks=44311
163.54	     nbVisitedNodes=208273  nbRestartNogoods=179
163.54	       =>  wckTime=161.644  cpuTime=161.28  mem=35M580
248.52	   
248.52	   search
248.52	     run=19  nbConstraintChecks=174173229  nbValidityChecks=355866451  nbPropagations=6234470  nbRevisions=76203761
248.52	     nbUselessRevisions=59994455  nbAssignments=163972  nbFailedAssignments=97373  nbBacktracks=66480
248.52	     nbVisitedNodes=307062  nbRestartNogoods=194
248.52	       =>  wckTime=246.621  cpuTime=246.24  mem=35M580
375.64	   
375.64	   search
375.64	     run=20  nbConstraintChecks=263995250  nbValidityChecks=539682907  nbPropagations=9355450  nbRevisions=114186168
375.64	     nbUselessRevisions=89885084  nbAssignments=247528  nbFailedAssignments=147671  nbBacktracks=99732
375.64	     nbVisitedNodes=463617  nbRestartNogoods=208
375.64	       =>  wckTime=373.748  cpuTime=373.34  mem=35M580
562.05	   
562.05	   search
562.05	     run=21  nbConstraintChecks=394367861  nbValidityChecks=807650265  nbPropagations=13953858  nbRevisions=170851772
562.05	     nbUselessRevisions=134617539  nbAssignments=367623  nbFailedAssignments=217883  nbBacktracks=149611
562.05	     nbVisitedNodes=686618  nbRestartNogoods=221
562.05	       =>  wckTime=560.153  cpuTime=559.69  mem=35M580
810.32	   
810.32	   search
810.32	     run=22  nbConstraintChecks=572251239  nbValidityChecks=1164205164  nbPropagations=20652765  nbRevisions=253989359
810.32	     nbUselessRevisions=200383940  nbAssignments=535723  nbFailedAssignments=311160  nbBacktracks=224429
810.32	     nbVisitedNodes=996358  nbRestartNogoods=240
810.32	       =>  wckTime=808.421  cpuTime=807.9  mem=35M580
1213.43	   
1213.43	   search
1213.43	     run=23  nbConstraintChecks=853469219  nbValidityChecks=1742958533  nbPropagations=30926499  nbRevisions=380703764
1213.43	     nbUselessRevisions=300497997  nbAssignments=812838  nbFailedAssignments=476043  nbBacktracks=336656
1213.43	     nbVisitedNodes=1518288  nbRestartNogoods=252
1213.43	       =>  wckTime=1211.535  cpuTime=1210.92  mem=35M580

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/node30/watcher-196196-1168070455 -o ROOT/results/node30/solver-196196-1168070455 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/196196-1168070455/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.04 1.01 1.14 4/86 2068
/proc/meminfo: memFree=1229656/2055920 swapFree=4191880/4192956
[pid=2067] ppid=2062 vsize=308 CPUtime=0
/proc/2067/stat : 2067 (java) R 2062 2067 1923 0 -1 0 234 0 0 0 0 0 0 0 18 0 1 0 155439620 315392 40 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 7017252 0 0 4096 0 0 0 0 17 0 0 0
/proc/2067/statm: 77 40 31 14 0 5 0

[startup+0.104779 s]
/proc/loadavg: 1.04 1.01 1.14 4/86 2068
/proc/meminfo: memFree=1229656/2055920 swapFree=4191880/4192956
[pid=2067] ppid=2062 vsize=47416 CPUtime=0.01
/proc/2067/stat : 2067 (java) D 2062 2067 1923 0 -1 0 783 0 17 0 0 1 0 0 18 0 1 0 155439620 48553984 548 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4151972419 0 4 0 7368 18446744071563479169 0 0 17 0 0 0
/proc/2067/statm: 11854 548 452 14 0 1707 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 47416

[startup+0.516747 s]
/proc/loadavg: 1.04 1.01 1.14 4/86 2068
/proc/meminfo: memFree=1229656/2055920 swapFree=4191880/4192956
[pid=2067] ppid=2062 vsize=915148 CPUtime=0.31
/proc/2067/stat : 2067 (java) R 2062 2067 1923 0 -1 0 4572 0 40 0 21 10 0 0 17 0 8 0 155439620 937111552 4357 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072916988 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2067/statm: 228787 4357 1937 14 0 215275 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 915148

[startup+1.3388 s]
/proc/loadavg: 1.11 1.03 1.14 3/100 2085
/proc/meminfo: memFree=1108648/2055920 swapFree=4191880/4192956
[pid=2067] ppid=2062 vsize=915328 CPUtime=1.13
/proc/2067/stat : 2067 (java) R 2062 2067 1923 0 -1 0 19034 0 41 0 94 19 0 0 16 0 8 0 155439620 937295872 18811 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072897365 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2067/statm: 228832 18811 2150 14 0 215302 0
[pid=2067/tid=2069] ppid=2062 vsize=915328 CPUtime=0.05
/proc/2067/task/2069/stat : 2069 (java) R 2062 2067 1923 0 -1 64 2651 0 0 0 4 1 0 0 17 0 8 0 155439635 937295872 18811 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2067/tid=2072] ppid=2062 vsize=915328 CPUtime=0
/proc/2067/task/2072/stat : 2072 (java) S 2062 2067 1923 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155439636 937295872 18811 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2067/tid=2074] ppid=2062 vsize=915328 CPUtime=0
/proc/2067/task/2074/stat : 2074 (java) S 2062 2067 1923 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155439636 937295872 18811 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2067/tid=2081] ppid=2062 vsize=915328 CPUtime=0
/proc/2067/task/2081/stat : 2081 (java) S 2062 2067 1923 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155439640 937295872 18811 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2067/tid=2082] ppid=2062 vsize=915328 CPUtime=0.08
/proc/2067/task/2082/stat : 2082 (java) S 2062 2067 1923 0 -1 64 309 0 0 0 8 0 0 0 16 0 8 0 155439640 937295872 18811 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2067/tid=2084] ppid=2062 vsize=915328 CPUtime=0
/proc/2067/task/2084/stat : 2084 (java) S 2062 2067 1923 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155439640 937295872 18811 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2067/tid=2085] ppid=2062 vsize=915328 CPUtime=0
/proc/2067/task/2085/stat : 2085 (java) S 2062 2067 1923 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155439641 937295872 18811 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.13
Current children cumulated vsize (KiB) 915328

[startup+2.99091 s]
/proc/loadavg: 1.11 1.03 1.14 3/100 2085
/proc/meminfo: memFree=1041576/2055920 swapFree=4191880/4192956
[pid=2067] ppid=2062 vsize=916444 CPUtime=2.78
/proc/2067/stat : 2067 (java) R 2062 2067 1923 0 -1 0 23528 0 41 0 256 22 0 0 25 0 8 0 155439620 938438656 23303 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073757577 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2067/statm: 229111 23303 2521 14 0 215581 0
[pid=2067/tid=2069] ppid=2062 vsize=916444 CPUtime=0.17
/proc/2067/task/2069/stat : 2069 (java) S 2062 2067 1923 0 -1 64 6586 0 0 0 15 2 0 0 16 0 8 0 155439635 938438656 23303 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2067/tid=2072] ppid=2062 vsize=916444 CPUtime=0
/proc/2067/task/2072/stat : 2072 (java) S 2062 2067 1923 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155439636 938438656 23303 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2067/tid=2074] ppid=2062 vsize=916444 CPUtime=0
/proc/2067/task/2074/stat : 2074 (java) S 2062 2067 1923 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155439636 938438656 23303 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2067/tid=2081] ppid=2062 vsize=916444 CPUtime=0
/proc/2067/task/2081/stat : 2081 (java) S 2062 2067 1923 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155439640 938438656 23303 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2067/tid=2082] ppid=2062 vsize=916444 CPUtime=0.21
/proc/2067/task/2082/stat : 2082 (java) S 2062 2067 1923 0 -1 64 374 0 0 0 20 1 0 0 15 0 8 0 155439640 938438656 23303 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2067/tid=2084] ppid=2062 vsize=916444 CPUtime=0
/proc/2067/task/2084/stat : 2084 (java) S 2062 2067 1923 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155439640 938438656 23303 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2067/tid=2085] ppid=2062 vsize=916444 CPUtime=0
/proc/2067/task/2085/stat : 2085 (java) S 2062 2067 1923 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155439641 938438656 23303 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.78
Current children cumulated vsize (KiB) 916444

[startup+6.19511 s]
/proc/loadavg: 1.18 1.04 1.15 3/106 2119
/proc/meminfo: memFree=1040096/2055920 swapFree=4191880/4192956
[pid=2067] ppid=2062 vsize=916444 CPUtime=5.96
/proc/2067/stat : 2067 (java) R 2062 2067 1923 0 -1 0 23545 0 41 0 574 22 0 0 25 0 8 0 155439620 938438656 23317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073765608 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2067/statm: 229111 23317 2521 14 0 215581 0
[pid=2067/tid=2069] ppid=2062 vsize=916444 CPUtime=0.17
/proc/2067/task/2069/stat : 2069 (java) S 2062 2067 1923 0 -1 64 6586 0 0 0 15 2 0 0 16 0 8 0 155439635 938438656 23317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2067/tid=2072] ppid=2062 vsize=916444 CPUtime=0
/proc/2067/task/2072/stat : 2072 (java) S 2062 2067 1923 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155439636 938438656 23317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2067/tid=2074] ppid=2062 vsize=916444 CPUtime=0
/proc/2067/task/2074/stat : 2074 (java) S 2062 2067 1923 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155439636 938438656 23317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2067/tid=2081] ppid=2062 vsize=916444 CPUtime=0
/proc/2067/task/2081/stat : 2081 (java) S 2062 2067 1923 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155439640 938438656 23317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2067/tid=2082] ppid=2062 vsize=916444 CPUtime=0.24
/proc/2067/task/2082/stat : 2082 (java) S 2062 2067 1923 0 -1 64 389 0 0 0 23 1 0 0 15 0 8 0 155439640 938438656 23317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2067/tid=2084] ppid=2062 vsize=916444 CPUtime=0
/proc/2067/task/2084/stat : 2084 (java) S 2062 2067 1923 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155439640 938438656 23317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2067/tid=2085] ppid=2062 vsize=916444 CPUtime=0
/proc/2067/task/2085/stat : 2085 (java) S 2062 2067 1923 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155439641 938438656 23317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 916444

[startup+12.6795 s]
/proc/loadavg: 1.25 1.06 1.15 3/106 2159
/proc/meminfo: memFree=1040024/2055920 swapFree=4191880/4192956
[pid=2067] ppid=2062 vsize=916444 CPUtime=12.4
/proc/2067/stat : 2067 (java) R 2062 2067 1923 0 -1 0 23549 0 41 0 1218 22 0 0 25 0 8 0 155439620 938438656 23320 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073813428 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2067/statm: 229111 23320 2521 14 0 215581 0
[pid=2067/tid=2069] ppid=2062 vsize=916444 CPUtime=0.17
/proc/2067/task/2069/stat : 2069 (java) S 2062 2067 1923 0 -1 64 6586 0 0 0 15 2 0 0 16 0 8 0 155439635 938438656 23320 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2067/tid=2072] ppid=2062 vsize=916444 CPUtime=0
/proc/2067/task/2072/stat : 2072 (java) S 2062 2067 1923 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155439636 938438656 23320 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2067/tid=2074] ppid=2062 vsize=916444 CPUtime=0
/proc/2067/task/2074/stat : 2074 (java) S 2062 2067 1923 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155439636 938438656 23320 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2067/tid=2081] ppid=2062 vsize=916444 CPUtime=0
/proc/2067/task/2081/stat : 2081 (java) S 2062 2067 1923 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155439640 938438656 23320 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2067/tid=2082] ppid=2062 vsize=916444 CPUtime=0.25
/proc/2067/task/2082/stat : 2082 (java) S 2062 2067 1923 0 -1 64 393 0 0 0 24 1 0 0 16 0 8 0 155439640 938438656 23320 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2067/tid=2084] ppid=2062 vsize=916444 CPUtime=0
/proc/2067/task/2084/stat : 2084 (java) S 2062 2067 1923 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155439640 938438656 23320 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2067/tid=2085] ppid=2062 vsize=916444 CPUtime=0
/proc/2067/task/2085/stat : 2085 (java) S 2062 2067 1923 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155439641 938438656 23320 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.4
Current children cumulated vsize (KiB) 916444

[startup+25.5333 s]
/proc/loadavg: 1.52 1.12 1.17 3/106 2177
/proc/meminfo: memFree=1040296/2055920 swapFree=4191880/4192956
[pid=2067] ppid=2062 vsize=916444 CPUtime=25.23
/proc/2067/stat : 2067 (java) R 2062 2067 1923 0 -1 0 23552 0 41 0 2501 22 0 0 25 0 8 0 155439620 938438656 23322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073757593 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2067/statm: 229111 23322 2521 14 0 215581 0
[pid=2067/tid=2069] ppid=2062 vsize=916444 CPUtime=0.17
/proc/2067/task/2069/stat : 2069 (java) S 2062 2067 1923 0 -1 64 6586 0 0 0 15 2 0 0 16 0 8 0 155439635 938438656 23322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2067/tid=2072] ppid=2062 vsize=916444 CPUtime=0
/proc/2067/task/2072/stat : 2072 (java) S 2062 2067 1923 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155439636 938438656 23322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2067/tid=2074] ppid=2062 vsize=916444 CPUtime=0
/proc/2067/task/2074/stat : 2074 (java) S 2062 2067 1923 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155439636 938438656 23322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2067/tid=2081] ppid=2062 vsize=916444 CPUtime=0
/proc/2067/task/2081/stat : 2081 (java) S 2062 2067 1923 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155439640 938438656 23322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2067/tid=2082] ppid=2062 vsize=916444 CPUtime=0.25
/proc/2067/task/2082/stat : 2082 (java) S 2062 2067 1923 0 -1 64 395 0 0 0 24 1 0 0 16 0 8 0 155439640 938438656 23322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2067/tid=2084] ppid=2062 vsize=916444 CPUtime=0
/proc/2067/task/2084/stat : 2084 (java) S 2062 2067 1923 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155439640 938438656 23322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2067/tid=2085] ppid=2062 vsize=916444 CPUtime=0
/proc/2067/task/2085/stat : 2085 (java) S 2062 2067 1923 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155439641 938438656 23322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.23
Current children cumulated vsize (KiB) 916444

[startup+51.163 s]
/proc/loadavg: 1.71 1.21 1.20 3/106 2235
/proc/meminfo: memFree=1040352/2055920 swapFree=4191880/4192956
[pid=2067] ppid=2062 vsize=916444 CPUtime=50.8
/proc/2067/stat : 2067 (java) R 2062 2067 1923 0 -1 0 23552 0 41 0 5057 23 0 0 25 0 8 0 155439620 938438656 23322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073751796 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2067/statm: 229111 23322 2521 14 0 215581 0
[pid=2067/tid=2069] ppid=2062 vsize=916444 CPUtime=0.17
/proc/2067/task/2069/stat : 2069 (java) S 2062 2067 1923 0 -1 64 6586 0 0 0 15 2 0 0 16 0 8 0 155439635 938438656 23322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2067/tid=2072] ppid=2062 vsize=916444 CPUtime=0
/proc/2067/task/2072/stat : 2072 (java) S 2062 2067 1923 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155439636 938438656 23322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2067/tid=2074] ppid=2062 vsize=916444 CPUtime=0
/proc/2067/task/2074/stat : 2074 (java) S 2062 2067 1923 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155439636 938438656 23322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2067/tid=2081] ppid=2062 vsize=916444 CPUtime=0
/proc/2067/task/2081/stat : 2081 (java) S 2062 2067 1923 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155439640 938438656 23322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2067/tid=2082] ppid=2062 vsize=916444 CPUtime=0.25
/proc/2067/task/2082/stat : 2082 (java) S 2062 2067 1923 0 -1 64 395 0 0 0 24 1 0 0 16 0 8 0 155439640 938438656 23322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2067/tid=2084] ppid=2062 vsize=916444 CPUtime=0
/proc/2067/task/2084/stat : 2084 (java) S 2062 2067 1923 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155439640 938438656 23322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2067/tid=2085] ppid=2062 vsize=916444 CPUtime=0
/proc/2067/task/2085/stat : 2085 (java) S 2062 2067 1923 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155439641 938438656 23322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.8
Current children cumulated vsize (KiB) 916444

[startup+102.419 s]
/proc/loadavg: 1.87 1.33 1.24 3/100 2291
/proc/meminfo: memFree=1041432/2055920 swapFree=4191880/4192956
[pid=2067] ppid=2062 vsize=916444 CPUtime=101.98
/proc/2067/stat : 2067 (java) R 2062 2067 1923 0 -1 0 23552 0 41 0 10175 23 0 0 25 0 8 0 155439620 938438656 23322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073767515 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2067/statm: 229111 23322 2521 14 0 215581 0
[pid=2067/tid=2069] ppid=2062 vsize=916444 CPUtime=0.17
/proc/2067/task/2069/stat : 2069 (java) S 2062 2067 1923 0 -1 64 6586 0 0 0 15 2 0 0 16 0 8 0 155439635 938438656 23322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2067/tid=2072] ppid=2062 vsize=916444 CPUtime=0
/proc/2067/task/2072/stat : 2072 (java) S 2062 2067 1923 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155439636 938438656 23322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2067/tid=2074] ppid=2062 vsize=916444 CPUtime=0
/proc/2067/task/2074/stat : 2074 (java) S 2062 2067 1923 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155439636 938438656 23322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2067/tid=2081] ppid=2062 vsize=916444 CPUtime=0
/proc/2067/task/2081/stat : 2081 (java) S 2062 2067 1923 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155439640 938438656 23322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2067/tid=2082] ppid=2062 vsize=916444 CPUtime=0.25
/proc/2067/task/2082/stat : 2082 (java) S 2062 2067 1923 0 -1 64 395 0 0 0 24 1 0 0 16 0 8 0 155439640 938438656 23322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2067/tid=2084] ppid=2062 vsize=916444 CPUtime=0
/proc/2067/task/2084/stat : 2084 (java) S 2062 2067 1923 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155439640 938438656 23322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2067/tid=2085] ppid=2062 vsize=916444 CPUtime=0
/proc/2067/task/2085/stat : 2085 (java) S 2062 2067 1923 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155439641 938438656 23322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.98
Current children cumulated vsize (KiB) 916444

[startup+162.499 s]
/proc/loadavg: 1.95 1.45 1.28 3/100 2291
/proc/meminfo: memFree=1041448/2055920 swapFree=4191880/4192956
[pid=2067] ppid=2062 vsize=916444 CPUtime=162.04
/proc/2067/stat : 2067 (java) R 2062 2067 1923 0 -1 0 23552 0 41 0 16181 23 0 0 25 0 8 0 155439620 938438656 23322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073757593 0 4 0 23759 18446744073709551615 0 0 17 1 0 0

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

Current children cumulated CPU time (s) 1423.36
Current children cumulated vsize (KiB) 916444

[startup+1484.19 s]
/proc/loadavg: 2.00 1.97 1.79 3/100 2293
/proc/meminfo: memFree=1041640/2055920 swapFree=4191880/4192956
[pid=2067] ppid=2062 vsize=916444 CPUtime=1483.42
/proc/2067/stat : 2067 (java) R 2062 2067 1923 0 -1 0 23552 0 41 0 148309 33 0 0 25 0 8 0 155439620 938438656 23322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073767515 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2067/statm: 229111 23322 2521 14 0 215581 0
[pid=2067/tid=2069] ppid=2062 vsize=916444 CPUtime=0.17
/proc/2067/task/2069/stat : 2069 (java) S 2062 2067 1923 0 -1 64 6586 0 0 0 15 2 0 0 16 0 8 0 155439635 938438656 23322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2067/tid=2072] ppid=2062 vsize=916444 CPUtime=0
/proc/2067/task/2072/stat : 2072 (java) S 2062 2067 1923 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155439636 938438656 23322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2067/tid=2074] ppid=2062 vsize=916444 CPUtime=0
/proc/2067/task/2074/stat : 2074 (java) S 2062 2067 1923 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155439636 938438656 23322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2067/tid=2081] ppid=2062 vsize=916444 CPUtime=0
/proc/2067/task/2081/stat : 2081 (java) S 2062 2067 1923 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155439640 938438656 23322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2067/tid=2082] ppid=2062 vsize=916444 CPUtime=0.25
/proc/2067/task/2082/stat : 2082 (java) S 2062 2067 1923 0 -1 64 395 0 0 0 24 1 0 0 16 0 8 0 155439640 938438656 23322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2067/tid=2084] ppid=2062 vsize=916444 CPUtime=0
/proc/2067/task/2084/stat : 2084 (java) S 2062 2067 1923 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155439640 938438656 23322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2067/tid=2085] ppid=2062 vsize=916444 CPUtime=0.01
/proc/2067/task/2085/stat : 2085 (java) S 2062 2067 1923 0 -1 64 1 0 0 0 1 0 0 0 15 0 8 0 155439641 938438656 23322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1483.42
Current children cumulated vsize (KiB) 916444

[startup+1544.27 s]
/proc/loadavg: 2.00 1.97 1.80 3/100 2293
/proc/meminfo: memFree=1041640/2055920 swapFree=4191880/4192956
[pid=2067] ppid=2062 vsize=916444 CPUtime=1543.5
/proc/2067/stat : 2067 (java) R 2062 2067 1923 0 -1 0 23552 0 41 0 154316 34 0 0 25 0 8 0 155439620 938438656 23322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073632959 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2067/statm: 229111 23322 2521 14 0 215581 0
[pid=2067/tid=2069] ppid=2062 vsize=916444 CPUtime=0.17
/proc/2067/task/2069/stat : 2069 (java) S 2062 2067 1923 0 -1 64 6586 0 0 0 15 2 0 0 16 0 8 0 155439635 938438656 23322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2067/tid=2072] ppid=2062 vsize=916444 CPUtime=0
/proc/2067/task/2072/stat : 2072 (java) S 2062 2067 1923 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155439636 938438656 23322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2067/tid=2074] ppid=2062 vsize=916444 CPUtime=0
/proc/2067/task/2074/stat : 2074 (java) S 2062 2067 1923 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155439636 938438656 23322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2067/tid=2081] ppid=2062 vsize=916444 CPUtime=0
/proc/2067/task/2081/stat : 2081 (java) S 2062 2067 1923 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155439640 938438656 23322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2067/tid=2082] ppid=2062 vsize=916444 CPUtime=0.25
/proc/2067/task/2082/stat : 2082 (java) S 2062 2067 1923 0 -1 64 395 0 0 0 24 1 0 0 16 0 8 0 155439640 938438656 23322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2067/tid=2084] ppid=2062 vsize=916444 CPUtime=0
/proc/2067/task/2084/stat : 2084 (java) S 2062 2067 1923 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155439640 938438656 23322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2067/tid=2085] ppid=2062 vsize=916444 CPUtime=0.01
/proc/2067/task/2085/stat : 2085 (java) S 2062 2067 1923 0 -1 64 1 0 0 0 1 0 0 0 15 0 8 0 155439641 938438656 23322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1543.5
Current children cumulated vsize (KiB) 916444

[startup+1604.36 s]
/proc/loadavg: 2.00 1.97 1.82 3/100 2293
/proc/meminfo: memFree=1041576/2055920 swapFree=4191880/4192956
[pid=2067] ppid=2062 vsize=916444 CPUtime=1603.56
/proc/2067/stat : 2067 (java) R 2062 2067 1923 0 -1 0 23552 0 41 0 160322 34 0 0 25 0 8 0 155439620 938438656 23322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073757620 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2067/statm: 229111 23322 2521 14 0 215581 0
[pid=2067/tid=2069] ppid=2062 vsize=916444 CPUtime=0.17
/proc/2067/task/2069/stat : 2069 (java) S 2062 2067 1923 0 -1 64 6586 0 0 0 15 2 0 0 16 0 8 0 155439635 938438656 23322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2067/tid=2072] ppid=2062 vsize=916444 CPUtime=0
/proc/2067/task/2072/stat : 2072 (java) S 2062 2067 1923 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155439636 938438656 23322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2067/tid=2074] ppid=2062 vsize=916444 CPUtime=0
/proc/2067/task/2074/stat : 2074 (java) S 2062 2067 1923 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155439636 938438656 23322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2067/tid=2081] ppid=2062 vsize=916444 CPUtime=0
/proc/2067/task/2081/stat : 2081 (java) S 2062 2067 1923 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155439640 938438656 23322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2067/tid=2082] ppid=2062 vsize=916444 CPUtime=0.25
/proc/2067/task/2082/stat : 2082 (java) S 2062 2067 1923 0 -1 64 395 0 0 0 24 1 0 0 16 0 8 0 155439640 938438656 23322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2067/tid=2084] ppid=2062 vsize=916444 CPUtime=0
/proc/2067/task/2084/stat : 2084 (java) S 2062 2067 1923 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155439640 938438656 23322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2067/tid=2085] ppid=2062 vsize=916444 CPUtime=0.01
/proc/2067/task/2085/stat : 2085 (java) S 2062 2067 1923 0 -1 64 1 0 0 0 1 0 0 0 15 0 8 0 155439641 938438656 23322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1603.56
Current children cumulated vsize (KiB) 916444

[startup+1664.45 s]
/proc/loadavg: 2.00 1.97 1.82 3/100 2293
/proc/meminfo: memFree=1041576/2055920 swapFree=4191880/4192956
[pid=2067] ppid=2062 vsize=916444 CPUtime=1663.65
/proc/2067/stat : 2067 (java) R 2062 2067 1923 0 -1 0 23552 0 41 0 166330 35 0 0 25 0 8 0 155439620 938438656 23322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073632892 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2067/statm: 229111 23322 2521 14 0 215581 0
[pid=2067/tid=2069] ppid=2062 vsize=916444 CPUtime=0.17
/proc/2067/task/2069/stat : 2069 (java) S 2062 2067 1923 0 -1 64 6586 0 0 0 15 2 0 0 16 0 8 0 155439635 938438656 23322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2067/tid=2072] ppid=2062 vsize=916444 CPUtime=0
/proc/2067/task/2072/stat : 2072 (java) S 2062 2067 1923 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155439636 938438656 23322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2067/tid=2074] ppid=2062 vsize=916444 CPUtime=0
/proc/2067/task/2074/stat : 2074 (java) S 2062 2067 1923 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155439636 938438656 23322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2067/tid=2081] ppid=2062 vsize=916444 CPUtime=0
/proc/2067/task/2081/stat : 2081 (java) S 2062 2067 1923 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155439640 938438656 23322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2067/tid=2082] ppid=2062 vsize=916444 CPUtime=0.25
/proc/2067/task/2082/stat : 2082 (java) S 2062 2067 1923 0 -1 64 395 0 0 0 24 1 0 0 16 0 8 0 155439640 938438656 23322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2067/tid=2084] ppid=2062 vsize=916444 CPUtime=0
/proc/2067/task/2084/stat : 2084 (java) S 2062 2067 1923 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155439640 938438656 23322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2067/tid=2085] ppid=2062 vsize=916444 CPUtime=0.01
/proc/2067/task/2085/stat : 2085 (java) S 2062 2067 1923 0 -1 64 1 0 0 0 1 0 0 0 15 0 8 0 155439641 938438656 23322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1663.65
Current children cumulated vsize (KiB) 916444

[startup+1724.55 s]
/proc/loadavg: 2.00 1.97 1.83 4/100 2293
/proc/meminfo: memFree=1041640/2055920 swapFree=4191880/4192956
[pid=2067] ppid=2062 vsize=916444 CPUtime=1723.73
/proc/2067/stat : 2067 (java) R 2062 2067 1923 0 -1 0 23552 0 41 0 172338 35 0 0 25 0 8 0 155439620 938438656 23322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073757630 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2067/statm: 229111 23322 2521 14 0 215581 0
[pid=2067/tid=2069] ppid=2062 vsize=916444 CPUtime=0.17
/proc/2067/task/2069/stat : 2069 (java) S 2062 2067 1923 0 -1 64 6586 0 0 0 15 2 0 0 16 0 8 0 155439635 938438656 23322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2067/tid=2072] ppid=2062 vsize=916444 CPUtime=0
/proc/2067/task/2072/stat : 2072 (java) S 2062 2067 1923 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155439636 938438656 23322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2067/tid=2074] ppid=2062 vsize=916444 CPUtime=0
/proc/2067/task/2074/stat : 2074 (java) S 2062 2067 1923 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155439636 938438656 23322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2067/tid=2081] ppid=2062 vsize=916444 CPUtime=0
/proc/2067/task/2081/stat : 2081 (java) S 2062 2067 1923 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155439640 938438656 23322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2067/tid=2082] ppid=2062 vsize=916444 CPUtime=0.25
/proc/2067/task/2082/stat : 2082 (java) S 2062 2067 1923 0 -1 64 395 0 0 0 24 1 0 0 16 0 8 0 155439640 938438656 23322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2067/tid=2084] ppid=2062 vsize=916444 CPUtime=0
/proc/2067/task/2084/stat : 2084 (java) S 2062 2067 1923 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155439640 938438656 23322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2067/tid=2085] ppid=2062 vsize=916444 CPUtime=0.01
/proc/2067/task/2085/stat : 2085 (java) S 2062 2067 1923 0 -1 64 1 0 0 0 1 0 0 0 15 0 8 0 155439641 938438656 23322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1723.73
Current children cumulated vsize (KiB) 916444

[startup+1784.65 s]
/proc/loadavg: 2.00 1.97 1.83 3/100 2293
/proc/meminfo: memFree=1041640/2055920 swapFree=4191880/4192956
[pid=2067] ppid=2062 vsize=916444 CPUtime=1783.82
/proc/2067/stat : 2067 (java) R 2062 2067 1923 0 -1 0 23552 0 41 0 178346 36 0 0 25 0 8 0 155439620 938438656 23322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073632892 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2067/statm: 229111 23322 2521 14 0 215581 0
[pid=2067/tid=2069] ppid=2062 vsize=916444 CPUtime=0.17
/proc/2067/task/2069/stat : 2069 (java) S 2062 2067 1923 0 -1 64 6586 0 0 0 15 2 0 0 16 0 8 0 155439635 938438656 23322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2067/tid=2072] ppid=2062 vsize=916444 CPUtime=0
/proc/2067/task/2072/stat : 2072 (java) S 2062 2067 1923 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155439636 938438656 23322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2067/tid=2074] ppid=2062 vsize=916444 CPUtime=0
/proc/2067/task/2074/stat : 2074 (java) S 2062 2067 1923 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155439636 938438656 23322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2067/tid=2081] ppid=2062 vsize=916444 CPUtime=0
/proc/2067/task/2081/stat : 2081 (java) S 2062 2067 1923 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155439640 938438656 23322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2067/tid=2082] ppid=2062 vsize=916444 CPUtime=0.25
/proc/2067/task/2082/stat : 2082 (java) S 2062 2067 1923 0 -1 64 395 0 0 0 24 1 0 0 16 0 8 0 155439640 938438656 23322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2067/tid=2084] ppid=2062 vsize=916444 CPUtime=0
/proc/2067/task/2084/stat : 2084 (java) S 2062 2067 1923 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155439640 938438656 23322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2067/tid=2085] ppid=2062 vsize=916444 CPUtime=0.01
/proc/2067/task/2085/stat : 2085 (java) S 2062 2067 1923 0 -1 64 1 0 0 0 1 0 0 0 15 0 8 0 155439641 938438656 23322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1783.82
Current children cumulated vsize (KiB) 916444



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.91 s]
/proc/loadavg: 2.00 1.97 1.84 3/100 2293
/proc/meminfo: memFree=1041640/2055920 swapFree=4191880/4192956
[pid=2067] ppid=2062 vsize=916444 CPUtime=1800.08
/proc/2067/stat : 2067 (java) R 2062 2067 1923 0 -1 0 23552 0 41 0 179972 36 0 0 25 0 8 0 155439620 938438656 23322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918501 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2067/statm: 229111 23322 2521 14 0 215581 0
[pid=2067/tid=2069] ppid=2062 vsize=916444 CPUtime=0.17
/proc/2067/task/2069/stat : 2069 (java) S 2062 2067 1923 0 -1 64 6586 0 0 0 15 2 0 0 16 0 8 0 155439635 938438656 23322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2067/tid=2072] ppid=2062 vsize=916444 CPUtime=0
/proc/2067/task/2072/stat : 2072 (java) S 2062 2067 1923 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155439636 938438656 23322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2067/tid=2074] ppid=2062 vsize=916444 CPUtime=0
/proc/2067/task/2074/stat : 2074 (java) S 2062 2067 1923 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155439636 938438656 23322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2067/tid=2081] ppid=2062 vsize=916444 CPUtime=0
/proc/2067/task/2081/stat : 2081 (java) S 2062 2067 1923 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155439640 938438656 23322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2067/tid=2082] ppid=2062 vsize=916444 CPUtime=0.25
/proc/2067/task/2082/stat : 2082 (java) S 2062 2067 1923 0 -1 64 395 0 0 0 24 1 0 0 16 0 8 0 155439640 938438656 23322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2067/tid=2084] ppid=2062 vsize=916444 CPUtime=0
/proc/2067/task/2084/stat : 2084 (java) S 2062 2067 1923 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155439640 938438656 23322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2067/tid=2085] ppid=2062 vsize=916444 CPUtime=0.01
/proc/2067/task/2085/stat : 2085 (java) S 2062 2067 1923 0 -1 64 1 0 0 0 1 0 0 0 15 0 8 0 155439641 938438656 23322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 916444

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

Child status: 143
Real time (s): 1800.95
CPU time (s): 1800.12
CPU user time (s): 1799.74
CPU system time (s): 0.379942
CPU usage (%): 99.954
Max. virtual memory (cumulated for all children) (KiB): 916444

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.74
system time used= 0.379942
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23568
page faults= 41
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 37609
involuntary context switches= 57997

runsolver used 2.07168 s user time and 5.31519 s system time

The end

Launcher Data (download as text)

Begin job on node30 on Sat Jan  6 08:00:55 UTC 2007


IDJOB= 196196
IDBENCH= 3333
FILE ID= node30/196196-1168070455

PBS_JOBID= 3475942

Free space on /tmp= 66476 MiB

BENCH NAME= HOME/pub/bench/CPAI06/random/rand-3-24-24/rand-3-24-24-76-632-15_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/196196-1168070455/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node30/watcher-196196-1168070455 -o ROOT/results/node30/solver-196196-1168070455 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/196196-1168070455/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  505135724b0ef1fece7966b5248831cb

RANDOM SEED= 609940599

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.234
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.234
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:       1230816 kB
Buffers:         50212 kB
Cached:         631696 kB
SwapCached:        268 kB
Active:         173448 kB
Inactive:       564844 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1230816 kB
SwapTotal:     4192956 kB
SwapFree:      4191880 kB
Dirty:            9372 kB
Writeback:           0 kB
Mapped:          74036 kB
Slab:            71800 kB
Committed_AS:  3024872 kB
PageTables:       2080 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= 66476 MiB



End job on node30 on Sat Jan  6 08:31:00 UTC 2007