Trace number 196312

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Abscon 109 ESAC? (TO) 1800.07 1808.53

General information on the benchmark

Namerandom/rand-3-24-24/
rand-3-24-24-76-632-19_ext.xml
MD5SUM6ceca04ecab6e68184ad095ed245cbed
Bench CategoryN-ARY-EXT (n-ary constraints in extension)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of 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.32	   
0.32	Abscon 109 (November, 2006)
0.32	   
0.32	   configuration
0.32	     name=esac.xml
0.35	   
0.35	   instance
0.35	     name=/tmp/evaluation/196312-1168121891/unknown.xml
0.38	   
0.38	   domains being loaded...
0.39	   
0.39	   variables being loaded...
0.42	     nbVariables=24  nbDomainTypes=1  minDomainSize=24  maxDomainSize=24
0.42	       =>  wckTime=0.098  cpuTime=0.08  mem=6M951
0.42	   
0.42	   relations being loaded...
1.07	   
1.07	   constraints being loaded...
1.35	     nbConstraints=76  nbRelationTypes=76  nbExtensionStructures=76  nbSharedExtensionStructures=0
1.35	     nbConflictsStructures=76  nbSharedConflictsStructures=0  nbSharedBinaryRepresentations=0  maxDegree=14  maxArity=3
1.35	       =>  wckTime=1.028  cpuTime=0.89  mem=50M860
1.47	   
1.47	   solver IterativeSystematicSolver being built... 
1.65	       =>  wckTime=1.324  cpuTime=1.04  mem=35M596
1.76	   
1.76	   preprocessing
1.76	     nbConstraintChecks=32706  nbValidityChecks=54995  nbPropagations=226  nbRevisions=2277  nbUselessRevisions=1993
1.76	     nbSingletonTests=34  nbEffectiveSingletonTests=0  nbESACBranches=4  nbRemovedValues=0  detectedInconsistency=no
1.76	       =>  wckTime=0.106  cpuTime=0.08  mem=35M596
1.82	   
1.82	   search
1.82	     run=0  nbConstraintChecks=31008  nbValidityChecks=60690  nbPropagations=546  nbRevisions=6115
1.82	     nbUselessRevisions=5101  nbAssignments=28  nbFailedAssignments=12  nbBacktracks=10  nbVisitedNodes=48
1.82	     nbRestartNogoods=0  mapSize=10  nbInferences=0  nbTooLargeKeys=0
1.82	       =>  wckTime=0.173  cpuTime=0.14  mem=35M596
1.89	   
1.89	   search
1.89	     run=1  nbConstraintChecks=69062  nbValidityChecks=135915  nbPropagations=1464  nbRevisions=16748
1.89	     nbUselessRevisions=13757  nbAssignments=65  nbFailedAssignments=27  nbBacktracks=25  nbVisitedNodes=109
1.89	     nbRestartNogoods=2  mapSize=21  nbInferences=0  nbTooLargeKeys=0
1.89	       =>  wckTime=0.242  cpuTime=0.21  mem=35M596
2.07	   
2.07	   search
2.07	     run=2  nbConstraintChecks=166679  nbValidityChecks=338240  nbPropagations=3492  nbRevisions=40844
2.07	     nbUselessRevisions=33145  nbAssignments=161  nbFailedAssignments=83  nbBacktracks=47  nbVisitedNodes=269
2.07	     nbRestartNogoods=8  mapSize=42  nbInferences=0  nbTooLargeKeys=0
2.07	       =>  wckTime=0.419  cpuTime=0.37  mem=35M596
2.20	   
2.20	   search
2.20	     run=3  nbConstraintChecks=251259  nbValidityChecks=506783  nbPropagations=6338  nbRevisions=75075
2.20	     nbUselessRevisions=60573  nbAssignments=230  nbFailedAssignments=113  nbBacktracks=80  nbVisitedNodes=391
2.20	     nbRestartNogoods=10  mapSize=74  nbInferences=0  nbTooLargeKeys=0
2.20	       =>  wckTime=0.551  cpuTime=0.5  mem=35M596
2.46	   
2.46	   search
2.46	     run=4  nbConstraintChecks=416736  nbValidityChecks=840145  nbPropagations=10844  nbRevisions=130025
2.46	     nbUselessRevisions=104371  nbAssignments=378  nbFailedAssignments=204  nbBacktracks=130  nbVisitedNodes=671
2.46	     nbRestartNogoods=15  mapSize=123  nbInferences=0  nbTooLargeKeys=0
2.46	       =>  wckTime=0.812  cpuTime=0.75  mem=35M596
2.76	   
2.76	   search
2.76	     run=5  nbConstraintChecks=617526  nbValidityChecks=1236258  nbPropagations=17665  nbRevisions=213389
2.76	     nbUselessRevisions=170909  nbAssignments=566  nbFailedAssignments=311  nbBacktracks=205  nbVisitedNodes=1019
2.76	     nbRestartNogoods=24  mapSize=192  nbInferences=0  nbTooLargeKeys=0
2.76	       =>  wckTime=1.115  cpuTime=1.05  mem=35M596
3.21	   
3.21	   search
3.21	     run=6  nbConstraintChecks=921060  nbValidityChecks=1833747  nbPropagations=27703  nbRevisions=335211
3.21	     nbUselessRevisions=268027  nbAssignments=844  nbFailedAssignments=460  nbBacktracks=318  nbVisitedNodes=1520
3.21	     nbRestartNogoods=30  mapSize=295  nbInferences=0  nbTooLargeKeys=0
3.21	       =>  wckTime=1.557  cpuTime=1.49  mem=35M596
3.85	   
3.85	   search
3.85	     run=7  nbConstraintChecks=1348301  nbValidityChecks=2702425  nbPropagations=42060  nbRevisions=513298
3.85	     nbUselessRevisions=410730  nbAssignments=1294  nbFailedAssignments=696  nbBacktracks=488  nbVisitedNodes=2277
3.85	     nbRestartNogoods=43  mapSize=447  nbInferences=0  nbTooLargeKeys=0
3.85	       =>  wckTime=2.2  cpuTime=2.12  mem=35M596
4.97	   
4.97	   search
4.97	     run=8  nbConstraintChecks=2059930  nbValidityChecks=4124169  nbPropagations=64373  nbRevisions=787511
4.97	     nbUselessRevisions=630575  nbAssignments=1962  nbFailedAssignments=1070  nbBacktracks=746  nbVisitedNodes=3467
4.97	     nbRestartNogoods=54  mapSize=682  nbInferences=0  nbTooLargeKeys=0
4.97	       =>  wckTime=3.321  cpuTime=3.21  mem=35M596
6.89	   
6.89	   INFO : Stopping hyperNogood (mapSize=1027, nbTooLargekeys=0, mem=35M596)
7.07	   
7.07	   search
7.07	     run=9  nbConstraintChecks=3427244  nbValidityChecks=7009432  nbPropagations=102602  nbRevisions=1251574
7.07	     nbUselessRevisions=1000187  nbAssignments=3306  nbFailedAssignments=1976  nbBacktracks=1130  nbVisitedNodes=5964
7.07	     nbRestartNogoods=71
7.07	       =>  wckTime=5.418  cpuTime=5.29  mem=35M596
9.74	   
9.74	   search
9.74	     run=10  nbConstraintChecks=5255741  nbValidityChecks=10583995  nbPropagations=157898  nbRevisions=1934335
9.74	     nbUselessRevisions=1544411  nbAssignments=4921  nbFailedAssignments=2952  nbBacktracks=1706  nbVisitedNodes=8886
9.74	     nbRestartNogoods=83
9.74	       =>  wckTime=8.09  cpuTime=7.94  mem=35M596
13.25	   
13.25	   search
13.25	     run=11  nbConstraintChecks=7698571  nbValidityChecks=15480858  nbPropagations=240888  nbRevisions=2953061
13.25	     nbUselessRevisions=2358596  nbAssignments=7164  nbFailedAssignments=4327  nbBacktracks=2570  nbVisitedNodes=13093
13.25	     nbRestartNogoods=95
13.25	       =>  wckTime=11.604  cpuTime=11.44  mem=35M596
18.96	   
18.96	   search
18.96	     run=12  nbConstraintChecks=11691198  nbValidityChecks=23563205  nbPropagations=368272  nbRevisions=4524977
18.96	     nbUselessRevisions=3610720  nbAssignments=10794  nbFailedAssignments=6654  nbBacktracks=3868  nbVisitedNodes=20047
18.96	     nbRestartNogoods=107
18.96	       =>  wckTime=17.31  cpuTime=17.12  mem=35M596
25.77	   
25.77	   search
25.77	     run=13  nbConstraintChecks=16584146  nbValidityChecks=33430810  nbPropagations=550448  nbRevisions=6765573
25.77	     nbUselessRevisions=5397510  nbAssignments=15725  nbFailedAssignments=9629  nbBacktracks=5814  nbVisitedNodes=29195
25.77	     nbRestartNogoods=111
25.77	       =>  wckTime=24.116  cpuTime=23.89  mem=35M596
37.99	   
37.99	   search
37.99	     run=14  nbConstraintChecks=25379864  nbValidityChecks=50577375  nbPropagations=817445  nbRevisions=10133344
37.99	     nbUselessRevisions=8090755  nbAssignments=23544  nbFailedAssignments=14488  nbBacktracks=8734  nbVisitedNodes=44018
37.99	     nbRestartNogoods=126
37.99	       =>  wckTime=36.341  cpuTime=36.05  mem=35M596
59.82	   
59.82	   search
59.82	     run=15  nbConstraintChecks=40375822  nbValidityChecks=81437622  nbPropagations=1257412  nbRevisions=15548997
59.82	     nbUselessRevisions=12398205  nbAssignments=37263  nbFailedAssignments=23814  nbBacktracks=13112
59.82	     nbVisitedNodes=70432  nbRestartNogoods=138
59.82	       =>  wckTime=58.173  cpuTime=57.78  mem=35M596
82.30	   
82.30	   search
82.30	     run=16  nbConstraintChecks=56460199  nbValidityChecks=113052443  nbPropagations=1855765  nbRevisions=22976030
82.30	     nbUselessRevisions=18320485  nbAssignments=51630  nbFailedAssignments=31608  nbBacktracks=19681
82.30	     nbVisitedNodes=96528  nbRestartNogoods=148
82.30	       =>  wckTime=80.653  cpuTime=80.15  mem=35M596
118.05	   
118.05	   search
118.05	     run=17  nbConstraintChecks=81685254  nbValidityChecks=163014025  nbPropagations=2736338  nbRevisions=33818635
118.05	     nbUselessRevisions=26965107  nbAssignments=75368  nbFailedAssignments=45485  nbBacktracks=29537
118.05	     nbVisitedNodes=140681  nbRestartNogoods=163
118.05	       =>  wckTime=116.398  cpuTime=115.73  mem=35M596
184.21	   
184.21	   search
184.21	     run=18  nbConstraintChecks=129866537  nbValidityChecks=255195799  nbPropagations=4063355  nbRevisions=50208181
184.21	     nbUselessRevisions=39989758  nbAssignments=114280  nbFailedAssignments=69610  nbBacktracks=44315
184.21	     nbVisitedNodes=215003  nbRestartNogoods=191
184.21	       =>  wckTime=182.561  cpuTime=181.58  mem=35M596
287.47	   
287.47	   search
287.47	     run=19  nbConstraintChecks=201013212  nbValidityChecks=401391793  nbPropagations=6199952  nbRevisions=76310716
287.47	     nbUselessRevisions=60689524  nbAssignments=180452  nbFailedAssignments=113598  nbBacktracks=66484
287.47	     nbVisitedNodes=341978  nbRestartNogoods=207
287.47	       =>  wckTime=285.82  cpuTime=284.36  mem=35M596
397.61	   
397.61	   search
397.61	     run=20  nbConstraintChecks=279499575  nbValidityChecks=557901609  nbPropagations=9198605  nbRevisions=113085530
397.61	     nbUselessRevisions=89940308  nbAssignments=257891  nbFailedAssignments=157769  nbBacktracks=99737
397.61	     nbVisitedNodes=483399  nbRestartNogoods=229
397.61	       =>  wckTime=395.965  cpuTime=394.0  mem=35M596
559.65	   
559.65	   search
559.65	     run=21  nbConstraintChecks=394824620  nbValidityChecks=786664249  nbPropagations=13399098  nbRevisions=164969211
559.65	     nbUselessRevisions=131324157  nbAssignments=370030  nbFailedAssignments=220019  nbBacktracks=149617
559.65	     nbVisitedNodes=686982  nbRestartNogoods=255
559.65	       =>  wckTime=558.005  cpuTime=555.29  mem=35M596
837.82	   
837.82	   search
837.82	     run=22  nbConstraintChecks=590607624  nbValidityChecks=1178528418  nbPropagations=19776025  nbRevisions=243030741
837.82	     nbUselessRevisions=193426002  nbAssignments=553950  nbFailedAssignments=329115  nbBacktracks=224436
837.82	     nbVisitedNodes=1030360  nbRestartNogoods=279
837.83	       =>  wckTime=836.175  cpuTime=832.16  mem=35M596
1272.92	   
1272.92	   search
1272.92	     run=23  nbConstraintChecks=899361310  nbValidityChecks=1785356135  nbPropagations=28925819  nbRevisions=357706428
1272.92	     nbUselessRevisions=285113605  nbAssignments=817211  nbFailedAssignments=480144  nbBacktracks=336663
1272.92	     nbVisitedNodes=1514916  nbRestartNogoods=302
1272.92	       =>  wckTime=1271.266  cpuTime=1265.22  mem=35M596

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/node34/watcher-196312-1168121891 -o ROOT/results/node34/solver-196312-1168121891 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/196312-1168121891/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: 0.92 0.98 0.99 5/69 21535
/proc/meminfo: memFree=1355696/2055920 swapFree=4192812/4192956
[pid=21534] ppid=21529 vsize=168 CPUtime=0
/proc/21534/stat : 21534 (java) R 21529 21534 21426 0 -1 0 39 0 0 0 0 0 0 0 19 0 1 0 160582840 172032 23 18446744073709551615 134512640 134570532 4294956640 18446744073709551615 7721764 0 0 4096 0 0 0 0 17 0 0 0
/proc/21534/statm: 42 23 18 14 0 2 0

[startup+0.103121 s]
/proc/loadavg: 0.92 0.98 0.99 5/69 21535
/proc/meminfo: memFree=1355696/2055920 swapFree=4192812/4192956
[pid=21534] ppid=21529 vsize=913068 CPUtime=0.08
/proc/21534/stat : 21534 (java) S 21529 21534 21426 0 -1 0 2852 0 1 0 6 2 0 0 18 0 8 0 160582840 934981632 2598 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21534/statm: 228267 2598 1395 14 0 215168 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 913068

[startup+0.511154 s]
/proc/loadavg: 0.92 0.98 0.99 5/69 21535
/proc/meminfo: memFree=1355696/2055920 swapFree=4192812/4192956
[pid=21534] ppid=21529 vsize=915328 CPUtime=0.48
/proc/21534/stat : 21534 (java) R 21529 21534 21426 0 -1 0 7425 0 1 0 43 5 0 0 18 0 8 0 160582840 937295872 7164 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073556621 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21534/statm: 228832 7164 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328

[startup+1.34023 s]
/proc/loadavg: 0.92 0.98 0.99 3/88 21567
/proc/meminfo: memFree=1209304/2055920 swapFree=4192812/4192956
[pid=21534] ppid=21529 vsize=915328 CPUtime=1.31
/proc/21534/stat : 21534 (java) R 21529 21534 21426 0 -1 0 19114 0 1 0 121 10 0 0 25 0 8 0 160582840 937295872 18852 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153928128 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21534/statm: 228832 18852 2160 14 0 215302 0
[pid=21534/tid=21554] ppid=21529 vsize=915328 CPUtime=0.05
/proc/21534/task/21554/stat : 21554 (java) S 21529 21534 21426 0 -1 64 2651 0 0 0 5 0 0 0 17 0 8 0 160582845 937295872 18852 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21534/tid=21555] ppid=21529 vsize=915328 CPUtime=0
/proc/21534/task/21555/stat : 21555 (java) S 21529 21534 21426 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 160582845 937295872 18852 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21534/tid=21556] ppid=21529 vsize=915328 CPUtime=0
/proc/21534/task/21556/stat : 21556 (java) S 21529 21534 21426 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 160582845 937295872 18852 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21534/tid=21560] ppid=21529 vsize=915328 CPUtime=0
/proc/21534/task/21560/stat : 21560 (java) S 21529 21534 21426 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 160582849 937295872 18852 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21534/tid=21561] ppid=21529 vsize=915328 CPUtime=0.1
/proc/21534/task/21561/stat : 21561 (java) S 21529 21534 21426 0 -1 64 321 0 0 0 10 0 0 0 16 0 8 0 160582849 937295872 18852 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21534/tid=21562] ppid=21529 vsize=915328 CPUtime=0
/proc/21534/task/21562/stat : 21562 (java) S 21529 21534 21426 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160582849 937295872 18852 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21534/tid=21563] ppid=21529 vsize=915328 CPUtime=0
/proc/21534/task/21563/stat : 21563 (java) S 21529 21534 21426 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 160582849 937295872 18852 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915328

[startup+2.98536 s]
/proc/loadavg: 0.92 0.98 0.99 3/88 21567
/proc/meminfo: memFree=1180840/2055920 swapFree=4192812/4192956
[pid=21534] ppid=21529 vsize=915420 CPUtime=2.95
/proc/21534/stat : 21534 (java) R 21529 21534 21426 0 -1 0 23567 0 1 0 282 13 0 0 25 0 8 0 160582840 937390080 23303 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073787531 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21534/statm: 228855 23303 2531 14 0 215325 0
[pid=21534/tid=21554] ppid=21529 vsize=915420 CPUtime=0.16
/proc/21534/task/21554/stat : 21554 (java) S 21529 21534 21426 0 -1 64 6585 0 0 0 14 2 0 0 17 0 8 0 160582845 937390080 23303 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21534/tid=21555] ppid=21529 vsize=915420 CPUtime=0
/proc/21534/task/21555/stat : 21555 (java) S 21529 21534 21426 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160582845 937390080 23303 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21534/tid=21556] ppid=21529 vsize=915420 CPUtime=0
/proc/21534/task/21556/stat : 21556 (java) S 21529 21534 21426 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160582845 937390080 23303 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21534/tid=21560] ppid=21529 vsize=915420 CPUtime=0
/proc/21534/task/21560/stat : 21560 (java) S 21529 21534 21426 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 160582849 937390080 23303 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21534/tid=21561] ppid=21529 vsize=915420 CPUtime=0.2
/proc/21534/task/21561/stat : 21561 (java) S 21529 21534 21426 0 -1 64 372 0 0 0 19 1 0 0 15 0 8 0 160582849 937390080 23303 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21534/tid=21562] ppid=21529 vsize=915420 CPUtime=0
/proc/21534/task/21562/stat : 21562 (java) S 21529 21534 21426 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160582849 937390080 23303 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21534/tid=21563] ppid=21529 vsize=915420 CPUtime=0
/proc/21534/task/21563/stat : 21563 (java) S 21529 21534 21426 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 160582849 937390080 23303 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 915420

[startup+6.26762 s]
/proc/loadavg: 1.01 1.00 1.00 3/88 21567
/proc/meminfo: memFree=1141624/2055920 swapFree=4192812/4192956
[pid=21534] ppid=21529 vsize=915420 CPUtime=6.2
/proc/21534/stat : 21534 (java) R 21529 21534 21426 0 -1 0 23583 0 1 0 606 14 0 0 25 0 8 0 160582840 937390080 23316 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073763243 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21534/statm: 228855 23316 2531 14 0 215325 0
[pid=21534/tid=21554] ppid=21529 vsize=915420 CPUtime=0.16
/proc/21534/task/21554/stat : 21554 (java) S 21529 21534 21426 0 -1 64 6585 0 0 0 14 2 0 0 17 0 8 0 160582845 937390080 23316 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21534/tid=21555] ppid=21529 vsize=915420 CPUtime=0
/proc/21534/task/21555/stat : 21555 (java) S 21529 21534 21426 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160582845 937390080 23316 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21534/tid=21556] ppid=21529 vsize=915420 CPUtime=0
/proc/21534/task/21556/stat : 21556 (java) S 21529 21534 21426 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160582845 937390080 23316 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21534/tid=21560] ppid=21529 vsize=915420 CPUtime=0
/proc/21534/task/21560/stat : 21560 (java) S 21529 21534 21426 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 160582849 937390080 23316 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21534/tid=21561] ppid=21529 vsize=915420 CPUtime=0.23
/proc/21534/task/21561/stat : 21561 (java) S 21529 21534 21426 0 -1 64 385 0 0 0 22 1 0 0 16 0 8 0 160582849 937390080 23316 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21534/tid=21562] ppid=21529 vsize=915420 CPUtime=0
/proc/21534/task/21562/stat : 21562 (java) S 21529 21534 21426 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160582849 937390080 23316 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21534/tid=21563] ppid=21529 vsize=915420 CPUtime=0
/proc/21534/task/21563/stat : 21563 (java) S 21529 21534 21426 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 160582849 937390080 23316 18446744073709551615 134512640 134570532 4294956480 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) 915420

[startup+12.7641 s]
/proc/loadavg: 1.09 1.02 1.01 3/88 21567
/proc/meminfo: memFree=951816/2055920 swapFree=4192812/4192956
[pid=21534] ppid=21529 vsize=915420 CPUtime=12.67
/proc/21534/stat : 21534 (java) R 21529 21534 21426 0 -1 0 23587 0 1 0 1253 14 0 0 25 0 8 0 160582840 937390080 23319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073761641 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21534/statm: 228855 23319 2531 14 0 215325 0
[pid=21534/tid=21554] ppid=21529 vsize=915420 CPUtime=0.16
/proc/21534/task/21554/stat : 21554 (java) S 21529 21534 21426 0 -1 64 6585 0 0 0 14 2 0 0 16 0 8 0 160582845 937390080 23319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21534/tid=21555] ppid=21529 vsize=915420 CPUtime=0
/proc/21534/task/21555/stat : 21555 (java) S 21529 21534 21426 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160582845 937390080 23319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21534/tid=21556] ppid=21529 vsize=915420 CPUtime=0
/proc/21534/task/21556/stat : 21556 (java) S 21529 21534 21426 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160582845 937390080 23319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21534/tid=21560] ppid=21529 vsize=915420 CPUtime=0
/proc/21534/task/21560/stat : 21560 (java) S 21529 21534 21426 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 160582849 937390080 23319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21534/tid=21561] ppid=21529 vsize=915420 CPUtime=0.24
/proc/21534/task/21561/stat : 21561 (java) S 21529 21534 21426 0 -1 64 389 0 0 0 23 1 0 0 16 0 8 0 160582849 937390080 23319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21534/tid=21562] ppid=21529 vsize=915420 CPUtime=0
/proc/21534/task/21562/stat : 21562 (java) S 21529 21534 21426 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160582849 937390080 23319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21534/tid=21563] ppid=21529 vsize=915420 CPUtime=0
/proc/21534/task/21563/stat : 21563 (java) S 21529 21534 21426 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 160582849 937390080 23319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 915420

[startup+25.6272 s]
/proc/loadavg: 1.29 1.06 1.02 3/89 21570
/proc/meminfo: memFree=953984/2055920 swapFree=4192812/4192956
[pid=21534] ppid=21529 vsize=915420 CPUtime=25.47
/proc/21534/stat : 21534 (java) R 21529 21534 21426 0 -1 0 23587 0 1 0 2533 14 0 0 25 0 8 0 160582840 937390080 23319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073763011 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21534/statm: 228855 23319 2531 14 0 215325 0
[pid=21534/tid=21554] ppid=21529 vsize=915420 CPUtime=0.16
/proc/21534/task/21554/stat : 21554 (java) S 21529 21534 21426 0 -1 64 6585 0 0 0 14 2 0 0 16 0 8 0 160582845 937390080 23319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21534/tid=21555] ppid=21529 vsize=915420 CPUtime=0
/proc/21534/task/21555/stat : 21555 (java) S 21529 21534 21426 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160582845 937390080 23319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21534/tid=21556] ppid=21529 vsize=915420 CPUtime=0
/proc/21534/task/21556/stat : 21556 (java) S 21529 21534 21426 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160582845 937390080 23319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21534/tid=21560] ppid=21529 vsize=915420 CPUtime=0
/proc/21534/task/21560/stat : 21560 (java) S 21529 21534 21426 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 160582849 937390080 23319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21534/tid=21561] ppid=21529 vsize=915420 CPUtime=0.24
/proc/21534/task/21561/stat : 21561 (java) S 21529 21534 21426 0 -1 64 389 0 0 0 23 1 0 0 16 0 8 0 160582849 937390080 23319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21534/tid=21562] ppid=21529 vsize=915420 CPUtime=0
/proc/21534/task/21562/stat : 21562 (java) S 21529 21534 21426 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160582849 937390080 23319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21534/tid=21563] ppid=21529 vsize=915420 CPUtime=0
/proc/21534/task/21563/stat : 21563 (java) S 21529 21534 21426 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 160582849 937390080 23319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 915420

[startup+51.2613 s]
/proc/loadavg: 1.53 1.14 1.04 3/89 21570
/proc/meminfo: memFree=954112/2055920 swapFree=4192812/4192956
[pid=21534] ppid=21529 vsize=915420 CPUtime=50.97
/proc/21534/stat : 21534 (java) R 21529 21534 21426 0 -1 0 23588 0 1 0 5083 14 0 0 25 0 8 0 160582840 937390080 23320 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073632892 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21534/statm: 228855 23320 2531 14 0 215325 0
[pid=21534/tid=21554] ppid=21529 vsize=915420 CPUtime=0.16
/proc/21534/task/21554/stat : 21554 (java) S 21529 21534 21426 0 -1 64 6585 0 0 0 14 2 0 0 16 0 8 0 160582845 937390080 23320 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21534/tid=21555] ppid=21529 vsize=915420 CPUtime=0
/proc/21534/task/21555/stat : 21555 (java) S 21529 21534 21426 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160582845 937390080 23320 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21534/tid=21556] ppid=21529 vsize=915420 CPUtime=0
/proc/21534/task/21556/stat : 21556 (java) S 21529 21534 21426 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160582845 937390080 23320 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21534/tid=21560] ppid=21529 vsize=915420 CPUtime=0
/proc/21534/task/21560/stat : 21560 (java) S 21529 21534 21426 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 160582849 937390080 23320 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21534/tid=21561] ppid=21529 vsize=915420 CPUtime=0.24
/proc/21534/task/21561/stat : 21561 (java) S 21529 21534 21426 0 -1 64 390 0 0 0 23 1 0 0 16 0 8 0 160582849 937390080 23320 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21534/tid=21562] ppid=21529 vsize=915420 CPUtime=0
/proc/21534/task/21562/stat : 21562 (java) S 21529 21534 21426 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160582849 937390080 23320 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21534/tid=21563] ppid=21529 vsize=915420 CPUtime=0
/proc/21534/task/21563/stat : 21563 (java) S 21529 21534 21426 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 160582849 937390080 23320 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.97
Current children cumulated vsize (KiB) 915420

[startup+102.519 s]
/proc/loadavg: 1.92 1.30 1.10 3/89 21570
/proc/meminfo: memFree=954240/2055920 swapFree=4192812/4192956
[pid=21534] ppid=21529 vsize=915420 CPUtime=101.99
/proc/21534/stat : 21534 (java) R 21529 21534 21426 0 -1 0 23589 0 1 0 10185 14 0 0 25 0 8 0 160582840 937390080 23320 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073756090 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21534/statm: 228855 23320 2531 14 0 215325 0
[pid=21534/tid=21554] ppid=21529 vsize=915420 CPUtime=0.16
/proc/21534/task/21554/stat : 21554 (java) S 21529 21534 21426 0 -1 64 6585 0 0 0 14 2 0 0 16 0 8 0 160582845 937390080 23320 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21534/tid=21555] ppid=21529 vsize=915420 CPUtime=0
/proc/21534/task/21555/stat : 21555 (java) S 21529 21534 21426 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160582845 937390080 23320 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21534/tid=21556] ppid=21529 vsize=915420 CPUtime=0
/proc/21534/task/21556/stat : 21556 (java) S 21529 21534 21426 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160582845 937390080 23320 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21534/tid=21560] ppid=21529 vsize=915420 CPUtime=0
/proc/21534/task/21560/stat : 21560 (java) S 21529 21534 21426 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 160582849 937390080 23320 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21534/tid=21561] ppid=21529 vsize=915420 CPUtime=0.24
/proc/21534/task/21561/stat : 21561 (java) S 21529 21534 21426 0 -1 64 390 0 0 0 23 1 0 0 16 0 8 0 160582849 937390080 23320 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21534/tid=21562] ppid=21529 vsize=915420 CPUtime=0
/proc/21534/task/21562/stat : 21562 (java) S 21529 21534 21426 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160582849 937390080 23320 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21534/tid=21563] ppid=21529 vsize=915420 CPUtime=0
/proc/21534/task/21563/stat : 21563 (java) S 21529 21534 21426 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 160582849 937390080 23320 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.99
Current children cumulated vsize (KiB) 915420

[startup+162.534 s]
/proc/loadavg: 1.97 1.42 1.16 3/89 21570
/proc/meminfo: memFree=954304/2055920 swapFree=4192812/4192956
[pid=21534] ppid=21529 vsize=915420 CPUtime=161.73
/proc/21534/stat : 21534 (java) R 21529 21534 21426 0 -1 0 23589 0 1 0 16158 15 0 0 25 0 8 0 160582840 937390080 23320 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073759317 0 4 0 23759 18446744073709551615 0 0 17 1 0 0

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

Current children cumulated CPU time (s) 1416.11
Current children cumulated vsize (KiB) 915420

[startup+1482.79 s]
/proc/loadavg: 2.03 2.00 1.78 3/89 21570
/proc/meminfo: memFree=954112/2055920 swapFree=4192812/4192956
[pid=21534] ppid=21529 vsize=915420 CPUtime=1475.84
/proc/21534/stat : 21534 (java) R 21529 21534 21426 0 -1 0 23591 0 1 0 147568 16 0 0 25 0 8 0 160582840 937390080 23322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073779980 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21534/statm: 228855 23322 2531 14 0 215325 0
[pid=21534/tid=21554] ppid=21529 vsize=915420 CPUtime=0.16
/proc/21534/task/21554/stat : 21554 (java) S 21529 21534 21426 0 -1 64 6585 0 0 0 14 2 0 0 16 0 8 0 160582845 937390080 23322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21534/tid=21555] ppid=21529 vsize=915420 CPUtime=0
/proc/21534/task/21555/stat : 21555 (java) S 21529 21534 21426 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160582845 937390080 23322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21534/tid=21556] ppid=21529 vsize=915420 CPUtime=0
/proc/21534/task/21556/stat : 21556 (java) S 21529 21534 21426 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160582845 937390080 23322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21534/tid=21560] ppid=21529 vsize=915420 CPUtime=0
/proc/21534/task/21560/stat : 21560 (java) S 21529 21534 21426 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 160582849 937390080 23322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21534/tid=21561] ppid=21529 vsize=915420 CPUtime=0.24
/proc/21534/task/21561/stat : 21561 (java) S 21529 21534 21426 0 -1 64 392 0 0 0 23 1 0 0 16 0 8 0 160582849 937390080 23322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21534/tid=21562] ppid=21529 vsize=915420 CPUtime=0
/proc/21534/task/21562/stat : 21562 (java) S 21529 21534 21426 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160582849 937390080 23322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21534/tid=21563] ppid=21529 vsize=915420 CPUtime=0
/proc/21534/task/21563/stat : 21563 (java) S 21529 21534 21426 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 160582849 937390080 23322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1475.84
Current children cumulated vsize (KiB) 915420

[startup+1542.8 s]
/proc/loadavg: 2.01 2.00 1.79 3/89 21570
/proc/meminfo: memFree=954112/2055920 swapFree=4192812/4192956
[pid=21534] ppid=21529 vsize=915420 CPUtime=1535.57
/proc/21534/stat : 21534 (java) R 21529 21534 21426 0 -1 0 23591 0 1 0 153541 16 0 0 25 0 8 0 160582840 937390080 23322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073756055 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21534/statm: 228855 23322 2531 14 0 215325 0
[pid=21534/tid=21554] ppid=21529 vsize=915420 CPUtime=0.16
/proc/21534/task/21554/stat : 21554 (java) S 21529 21534 21426 0 -1 64 6585 0 0 0 14 2 0 0 16 0 8 0 160582845 937390080 23322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21534/tid=21555] ppid=21529 vsize=915420 CPUtime=0
/proc/21534/task/21555/stat : 21555 (java) S 21529 21534 21426 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160582845 937390080 23322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21534/tid=21556] ppid=21529 vsize=915420 CPUtime=0
/proc/21534/task/21556/stat : 21556 (java) S 21529 21534 21426 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160582845 937390080 23322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21534/tid=21560] ppid=21529 vsize=915420 CPUtime=0
/proc/21534/task/21560/stat : 21560 (java) S 21529 21534 21426 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 160582849 937390080 23322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21534/tid=21561] ppid=21529 vsize=915420 CPUtime=0.24
/proc/21534/task/21561/stat : 21561 (java) S 21529 21534 21426 0 -1 64 392 0 0 0 23 1 0 0 16 0 8 0 160582849 937390080 23322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21534/tid=21562] ppid=21529 vsize=915420 CPUtime=0
/proc/21534/task/21562/stat : 21562 (java) S 21529 21534 21426 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160582849 937390080 23322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21534/tid=21563] ppid=21529 vsize=915420 CPUtime=0
/proc/21534/task/21563/stat : 21563 (java) S 21529 21534 21426 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 160582849 937390080 23322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1535.57
Current children cumulated vsize (KiB) 915420

[startup+1602.81 s]
/proc/loadavg: 2.00 2.00 1.80 3/89 21570
/proc/meminfo: memFree=954112/2055920 swapFree=4192812/4192956
[pid=21534] ppid=21529 vsize=915420 CPUtime=1595.3
/proc/21534/stat : 21534 (java) R 21529 21534 21426 0 -1 0 23591 0 1 0 159514 16 0 0 25 0 8 0 160582840 937390080 23322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073632892 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21534/statm: 228855 23322 2531 14 0 215325 0
[pid=21534/tid=21554] ppid=21529 vsize=915420 CPUtime=0.16
/proc/21534/task/21554/stat : 21554 (java) S 21529 21534 21426 0 -1 64 6585 0 0 0 14 2 0 0 16 0 8 0 160582845 937390080 23322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21534/tid=21555] ppid=21529 vsize=915420 CPUtime=0
/proc/21534/task/21555/stat : 21555 (java) S 21529 21534 21426 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160582845 937390080 23322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21534/tid=21556] ppid=21529 vsize=915420 CPUtime=0
/proc/21534/task/21556/stat : 21556 (java) S 21529 21534 21426 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160582845 937390080 23322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21534/tid=21560] ppid=21529 vsize=915420 CPUtime=0
/proc/21534/task/21560/stat : 21560 (java) S 21529 21534 21426 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 160582849 937390080 23322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21534/tid=21561] ppid=21529 vsize=915420 CPUtime=0.24
/proc/21534/task/21561/stat : 21561 (java) S 21529 21534 21426 0 -1 64 392 0 0 0 23 1 0 0 16 0 8 0 160582849 937390080 23322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21534/tid=21562] ppid=21529 vsize=915420 CPUtime=0
/proc/21534/task/21562/stat : 21562 (java) S 21529 21534 21426 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160582849 937390080 23322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21534/tid=21563] ppid=21529 vsize=915420 CPUtime=0
/proc/21534/task/21563/stat : 21563 (java) S 21529 21534 21426 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 160582849 937390080 23322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1595.3
Current children cumulated vsize (KiB) 915420

[startup+1662.83 s]
/proc/loadavg: 2.00 2.00 1.81 3/89 21570
/proc/meminfo: memFree=954048/2055920 swapFree=4192812/4192956
[pid=21534] ppid=21529 vsize=915420 CPUtime=1655.03
/proc/21534/stat : 21534 (java) R 21529 21534 21426 0 -1 0 23591 0 1 0 165487 16 0 0 25 0 8 0 160582840 937390080 23322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073632892 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21534/statm: 228855 23322 2531 14 0 215325 0
[pid=21534/tid=21554] ppid=21529 vsize=915420 CPUtime=0.16
/proc/21534/task/21554/stat : 21554 (java) S 21529 21534 21426 0 -1 64 6585 0 0 0 14 2 0 0 16 0 8 0 160582845 937390080 23322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21534/tid=21555] ppid=21529 vsize=915420 CPUtime=0
/proc/21534/task/21555/stat : 21555 (java) S 21529 21534 21426 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160582845 937390080 23322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21534/tid=21556] ppid=21529 vsize=915420 CPUtime=0
/proc/21534/task/21556/stat : 21556 (java) S 21529 21534 21426 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160582845 937390080 23322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21534/tid=21560] ppid=21529 vsize=915420 CPUtime=0
/proc/21534/task/21560/stat : 21560 (java) S 21529 21534 21426 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 160582849 937390080 23322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21534/tid=21561] ppid=21529 vsize=915420 CPUtime=0.24
/proc/21534/task/21561/stat : 21561 (java) S 21529 21534 21426 0 -1 64 392 0 0 0 23 1 0 0 16 0 8 0 160582849 937390080 23322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21534/tid=21562] ppid=21529 vsize=915420 CPUtime=0
/proc/21534/task/21562/stat : 21562 (java) S 21529 21534 21426 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160582849 937390080 23322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21534/tid=21563] ppid=21529 vsize=915420 CPUtime=0
/proc/21534/task/21563/stat : 21563 (java) S 21529 21534 21426 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 160582849 937390080 23322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1655.03
Current children cumulated vsize (KiB) 915420

[startup+1722.84 s]
/proc/loadavg: 2.00 2.00 1.82 3/89 21570
/proc/meminfo: memFree=954112/2055920 swapFree=4192812/4192956
[pid=21534] ppid=21529 vsize=915420 CPUtime=1714.77
/proc/21534/stat : 21534 (java) R 21529 21534 21426 0 -1 0 23591 0 1 0 171461 16 0 0 25 0 8 0 160582840 937390080 23322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918514 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21534/statm: 228855 23322 2531 14 0 215325 0
[pid=21534/tid=21554] ppid=21529 vsize=915420 CPUtime=0.16
/proc/21534/task/21554/stat : 21554 (java) S 21529 21534 21426 0 -1 64 6585 0 0 0 14 2 0 0 16 0 8 0 160582845 937390080 23322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21534/tid=21555] ppid=21529 vsize=915420 CPUtime=0
/proc/21534/task/21555/stat : 21555 (java) S 21529 21534 21426 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160582845 937390080 23322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21534/tid=21556] ppid=21529 vsize=915420 CPUtime=0
/proc/21534/task/21556/stat : 21556 (java) S 21529 21534 21426 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160582845 937390080 23322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21534/tid=21560] ppid=21529 vsize=915420 CPUtime=0
/proc/21534/task/21560/stat : 21560 (java) S 21529 21534 21426 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 160582849 937390080 23322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21534/tid=21561] ppid=21529 vsize=915420 CPUtime=0.24
/proc/21534/task/21561/stat : 21561 (java) S 21529 21534 21426 0 -1 64 392 0 0 0 23 1 0 0 16 0 8 0 160582849 937390080 23322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21534/tid=21562] ppid=21529 vsize=915420 CPUtime=0
/proc/21534/task/21562/stat : 21562 (java) S 21529 21534 21426 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160582849 937390080 23322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21534/tid=21563] ppid=21529 vsize=915420 CPUtime=0
/proc/21534/task/21563/stat : 21563 (java) S 21529 21534 21426 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 160582849 937390080 23322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1714.77
Current children cumulated vsize (KiB) 915420

[startup+1782.84 s]
/proc/loadavg: 2.00 2.00 1.83 3/89 21570
/proc/meminfo: memFree=954048/2055920 swapFree=4192812/4192956
[pid=21534] ppid=21529 vsize=915420 CPUtime=1774.49
/proc/21534/stat : 21534 (java) R 21529 21534 21426 0 -1 0 23591 0 1 0 177433 16 0 0 25 0 8 0 160582840 937390080 23322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073780467 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21534/statm: 228855 23322 2531 14 0 215325 0
[pid=21534/tid=21554] ppid=21529 vsize=915420 CPUtime=0.16
/proc/21534/task/21554/stat : 21554 (java) S 21529 21534 21426 0 -1 64 6585 0 0 0 14 2 0 0 16 0 8 0 160582845 937390080 23322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21534/tid=21555] ppid=21529 vsize=915420 CPUtime=0
/proc/21534/task/21555/stat : 21555 (java) S 21529 21534 21426 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160582845 937390080 23322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21534/tid=21556] ppid=21529 vsize=915420 CPUtime=0
/proc/21534/task/21556/stat : 21556 (java) S 21529 21534 21426 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160582845 937390080 23322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21534/tid=21560] ppid=21529 vsize=915420 CPUtime=0
/proc/21534/task/21560/stat : 21560 (java) S 21529 21534 21426 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 160582849 937390080 23322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21534/tid=21561] ppid=21529 vsize=915420 CPUtime=0.24
/proc/21534/task/21561/stat : 21561 (java) S 21529 21534 21426 0 -1 64 392 0 0 0 23 1 0 0 16 0 8 0 160582849 937390080 23322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21534/tid=21562] ppid=21529 vsize=915420 CPUtime=0
/proc/21534/task/21562/stat : 21562 (java) S 21529 21534 21426 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160582849 937390080 23322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21534/tid=21563] ppid=21529 vsize=915420 CPUtime=0
/proc/21534/task/21563/stat : 21563 (java) S 21529 21534 21426 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 160582849 937390080 23322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1774.49
Current children cumulated vsize (KiB) 915420



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1808.47 s]
/proc/loadavg: 2.00 2.00 1.83 3/89 21570
/proc/meminfo: memFree=954048/2055920 swapFree=4192812/4192956
[pid=21534] ppid=21529 vsize=915420 CPUtime=1800
/proc/21534/stat : 21534 (java) R 21529 21534 21426 0 -1 0 23591 0 1 0 179984 16 0 0 25 0 8 0 160582840 937390080 23322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073756055 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21534/statm: 228855 23322 2531 14 0 215325 0
[pid=21534/tid=21554] ppid=21529 vsize=915420 CPUtime=0.16
/proc/21534/task/21554/stat : 21554 (java) S 21529 21534 21426 0 -1 64 6585 0 0 0 14 2 0 0 16 0 8 0 160582845 937390080 23322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21534/tid=21555] ppid=21529 vsize=915420 CPUtime=0
/proc/21534/task/21555/stat : 21555 (java) S 21529 21534 21426 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160582845 937390080 23322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21534/tid=21556] ppid=21529 vsize=915420 CPUtime=0
/proc/21534/task/21556/stat : 21556 (java) S 21529 21534 21426 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160582845 937390080 23322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21534/tid=21560] ppid=21529 vsize=915420 CPUtime=0
/proc/21534/task/21560/stat : 21560 (java) S 21529 21534 21426 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 160582849 937390080 23322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21534/tid=21561] ppid=21529 vsize=915420 CPUtime=0.24
/proc/21534/task/21561/stat : 21561 (java) S 21529 21534 21426 0 -1 64 392 0 0 0 23 1 0 0 16 0 8 0 160582849 937390080 23322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21534/tid=21562] ppid=21529 vsize=915420 CPUtime=0
/proc/21534/task/21562/stat : 21562 (java) S 21529 21534 21426 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160582849 937390080 23322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21534/tid=21563] ppid=21529 vsize=915420 CPUtime=0
/proc/21534/task/21563/stat : 21563 (java) S 21529 21534 21426 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 160582849 937390080 23322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 915420

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

Child status: 143
Real time (s): 1808.53
CPU time (s): 1800.07
CPU user time (s): 1799.89
CPU system time (s): 0.184971
CPU usage (%): 99.532
Max. virtual memory (cumulated for all children) (KiB): 915420

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.89
system time used= 0.184971
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23608
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= 37735
involuntary context switches= 56464

runsolver used 2.56361 s user time and 5.45717 s system time

The end

Launcher Data (download as text)

Begin job on node34 on Sat Jan  6 22:18:11 UTC 2007


IDJOB= 196312
IDBENCH= 3342
FILE ID= node34/196312-1168121891

PBS_JOBID= 3477457

Free space on /tmp= 66526 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  6ceca04ecab6e68184ad095ed245cbed

RANDOM SEED= 220414004

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.227
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.227
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:       1356176 kB
Buffers:         44832 kB
Cached:         557512 kB
SwapCached:          0 kB
Active:         146888 kB
Inactive:       475480 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1356176 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:           11112 kB
Writeback:           0 kB
Mapped:          30192 kB
Slab:            63024 kB
Committed_AS:  2537660 kB
PageTables:       1596 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= 66526 MiB



End job on node34 on Sat Jan  6 22:48:20 UTC 2007