Trace number 206696

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.14 1815.74

General information on the benchmark

Namerandom/rand-3-28-28/
rand-3-28-28-93-632-18_ext.xml
MD5SUM3687c46586991f5a464cf8250795dac6
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 variables28
Number of constraints93
Maximum constraint arity3
Maximum domain size28
Number of constraints which are defined in extension93
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Solver Data (download as text)

0.34	   
0.34	Abscon 109 (November, 2006)
0.34	   
0.34	   configuration
0.34	     name=esac.xml
0.41	   
0.41	   instance
0.41	     name=/tmp/evaluation/206696-1168176687/unknown.xml
0.44	   
0.44	   domains being loaded...
0.44	   
0.44	   variables being loaded...
0.48	     nbVariables=28  nbDomainTypes=1  minDomainSize=28  maxDomainSize=28
0.48	       =>  wckTime=0.136  cpuTime=0.09  mem=6M951
0.48	   
0.48	   relations being loaded...
1.62	   
1.62	   constraints being loaded...
2.36	     nbConstraints=91  nbRelationTypes=93  nbMergedConstraints=2  nbExtensionStructures=91
2.36	     nbSharedExtensionStructures=0  nbConflictsStructures=91  nbSharedConflictsStructures=0
2.36	     nbSharedBinaryRepresentations=0  maxDegree=18  maxArity=3
2.36	       =>  wckTime=2.015  cpuTime=1.58  mem=56M977
2.51	   
2.51	   solver IterativeSystematicSolver being built... 
2.69	       =>  wckTime=2.346  cpuTime=1.73  mem=65M44
2.84	   
2.84	   preprocessing
2.84	     nbConstraintChecks=53145  nbValidityChecks=85479  nbPropagations=270  nbRevisions=2937  nbUselessRevisions=2562
2.84	     nbSingletonTests=39  nbEffectiveSingletonTests=0  nbESACBranches=4  nbRemovedValues=0  detectedInconsistency=no
2.84	       =>  wckTime=0.145  cpuTime=0.11  mem=65M44
2.96	   
2.96	   search
2.96	     run=0  nbConstraintChecks=59557  nbValidityChecks=116001  nbPropagations=838  nbRevisions=9282
2.96	     nbUselessRevisions=7564  nbAssignments=43  nbFailedAssignments=24  nbBacktracks=12  nbVisitedNodes=78
2.96	     nbRestartNogoods=0  mapSize=12  nbInferences=0  nbTooLargeKeys=0
2.96	       =>  wckTime=0.267  cpuTime=0.22  mem=66M52
3.07	   
3.07	   search
3.07	     run=1  nbConstraintChecks=117795  nbValidityChecks=230071  nbPropagations=2295  nbRevisions=25458
3.07	     nbUselessRevisions=20522  nbAssignments=96  nbFailedAssignments=55  nbBacktracks=27  nbVisitedNodes=175
3.07	     nbRestartNogoods=1  mapSize=26  nbInferences=0  nbTooLargeKeys=0
3.07	       =>  wckTime=0.383  cpuTime=0.33  mem=66M52
3.30	   
3.30	   search
3.30	     run=2  nbConstraintChecks=253878  nbValidityChecks=503389  nbPropagations=4702  nbRevisions=55071
3.30	     nbUselessRevisions=44345  nbAssignments=192  nbFailedAssignments=106  nbBacktracks=49  nbVisitedNodes=322
3.30	     nbRestartNogoods=8  mapSize=46  nbInferences=0  nbTooLargeKeys=0
3.30	       =>  wckTime=0.611  cpuTime=0.55  mem=66M52
3.50	   
3.50	   search
3.50	     run=3  nbConstraintChecks=370094  nbValidityChecks=752815  nbPropagations=8432  nbRevisions=99460
3.50	     nbUselessRevisions=79952  nbAssignments=312  nbFailedAssignments=162  nbBacktracks=83  nbVisitedNodes=499
3.50	     nbRestartNogoods=13  mapSize=77  nbInferences=0  nbTooLargeKeys=0
3.50	       =>  wckTime=0.814  cpuTime=0.75  mem=66M52
3.74	   
3.74	   search
3.74	     run=4  nbConstraintChecks=504584  nbValidityChecks=1020439  nbPropagations=13890  nbRevisions=164075
3.74	     nbUselessRevisions=131516  nbAssignments=446  nbFailedAssignments=238  nbBacktracks=133  nbVisitedNodes=743
3.74	     nbRestartNogoods=16  mapSize=125  nbInferences=0  nbTooLargeKeys=0
3.74	       =>  wckTime=1.044  cpuTime=0.97  mem=66M52
4.35	   
4.35	   search
4.35	     run=5  nbConstraintChecks=915580  nbValidityChecks=1852523  nbPropagations=23553  nbRevisions=280548
4.35	     nbUselessRevisions=222902  nbAssignments=833  nbFailedAssignments=540  nbBacktracks=208  nbVisitedNodes=1489
4.35	     nbRestartNogoods=20  mapSize=194  nbInferences=0  nbTooLargeKeys=0
4.35	       =>  wckTime=1.659  cpuTime=1.58  mem=66M52
4.92	   
4.92	   search
4.92	     run=6  nbConstraintChecks=1243618  nbValidityChecks=2508755  nbPropagations=36755  nbRevisions=441600
4.92	     nbUselessRevisions=349629  nbAssignments=1105  nbFailedAssignments=691  nbBacktracks=322  nbVisitedNodes=1987
4.92	     nbRestartNogoods=29  mapSize=296  nbInferences=0  nbTooLargeKeys=0
4.92	       =>  wckTime=2.228  cpuTime=2.13  mem=66M52
5.69	   
5.69	   search
5.69	     run=7  nbConstraintChecks=1701078  nbValidityChecks=3457719  nbPropagations=55892  nbRevisions=673816
5.69	     nbUselessRevisions=533019  nbAssignments=1581  nbFailedAssignments=971  nbBacktracks=493  nbVisitedNodes=2844
5.69	     nbRestartNogoods=36  mapSize=459  nbInferences=0  nbTooLargeKeys=0
5.69	       =>  wckTime=3.001  cpuTime=2.88  mem=66M52
7.48	   
7.48	   search
7.48	     run=8  nbConstraintChecks=2834431  nbValidityChecks=5711635  nbPropagations=85940  nbRevisions=1035646
7.48	     nbUselessRevisions=819523  nbAssignments=2406  nbFailedAssignments=1533  nbBacktracks=749  nbVisitedNodes=4406
7.48	     nbRestartNogoods=40  mapSize=679  nbInferences=0  nbTooLargeKeys=0
7.48	       =>  wckTime=4.786  cpuTime=4.64  mem=66M52
8.94	   
8.94	   search
8.94	     run=9  nbConstraintChecks=3739016  nbValidityChecks=7577355  nbPropagations=128060  nbRevisions=1542334
8.95	     nbUselessRevisions=1220784  nbAssignments=3333  nbFailedAssignments=2067  nbBacktracks=1133  nbVisitedNodes=6115
8.95	     nbRestartNogoods=55  mapSize=1022  nbInferences=0  nbTooLargeKeys=0
8.95	       =>  wckTime=6.253  cpuTime=6.1  mem=66M52
9.04	   
9.04	   INFO : Stopping hyperNogood (mapSize=1037, nbTooLargekeys=0, mem=66M52)
11.21	   
11.21	   search
11.21	     run=10  nbConstraintChecks=5116240  nbValidityChecks=10442893  nbPropagations=186358  nbRevisions=2241193
11.21	     nbUselessRevisions=1774239  nbAssignments=4549  nbFailedAssignments=2685  nbBacktracks=1709  nbVisitedNodes=8246
11.21	     nbRestartNogoods=62
11.21	       =>  wckTime=8.522  cpuTime=8.34  mem=66M52
15.45	   
15.45	   search
15.45	     run=11  nbConstraintChecks=7697956  nbValidityChecks=15712543  nbPropagations=275112  nbRevisions=3295944
15.45	     nbUselessRevisions=2605329  nbAssignments=6961  nbFailedAssignments=4223  nbBacktracks=2574  nbVisitedNodes=12783
15.45	     nbRestartNogoods=68
15.45	       =>  wckTime=12.76  cpuTime=12.53  mem=66M52
22.31	   
22.31	   search
22.31	     run=12  nbConstraintChecks=12144689  nbValidityChecks=24621994  nbPropagations=405612  nbRevisions=4876238
22.31	     nbUselessRevisions=3856200  nbAssignments=10346  nbFailedAssignments=6302  nbBacktracks=3872  nbVisitedNodes=19050
22.31	     nbRestartNogoods=80
22.31	       =>  wckTime=19.623  cpuTime=19.33  mem=66M52
29.50	   
29.50	   search
29.50	     run=13  nbConstraintChecks=16626458  nbValidityChecks=33798374  nbPropagations=588159  nbRevisions=7082424
29.50	     nbUselessRevisions=5604336  nbAssignments=14172  nbFailedAssignments=8164  nbBacktracks=5819  nbVisitedNodes=25847
29.50	     nbRestartNogoods=93
29.50	       =>  wckTime=26.811  cpuTime=26.46  mem=66M52
42.29	   
42.29	   search
42.29	     run=14  nbConstraintChecks=24312911  nbValidityChecks=49603554  nbPropagations=865207  nbRevisions=10352915
42.29	     nbUselessRevisions=8179350  nbAssignments=21053  nbFailedAssignments=12118  nbBacktracks=8739  nbVisitedNodes=38568
42.29	     nbRestartNogoods=100
42.29	       =>  wckTime=39.602  cpuTime=39.13  mem=66M52
62.15	   
62.15	   search
62.15	     run=15  nbConstraintChecks=36763045  nbValidityChecks=74329097  nbPropagations=1269612  nbRevisions=15210171
62.15	     nbUselessRevisions=12019105  nbAssignments=30194  nbFailedAssignments=16848  nbBacktracks=13118
62.15	     nbVisitedNodes=55039  nbRestartNogoods=116
62.15	       =>  wckTime=59.455  cpuTime=58.8  mem=66M52
91.72	   
91.72	   search
91.72	     run=16  nbConstraintChecks=54837153  nbValidityChecks=111351900  nbPropagations=1891337  nbRevisions=22569736
91.72	     nbUselessRevisions=17819904  nbAssignments=46656  nbFailedAssignments=26732  nbBacktracks=19686
91.72	     nbVisitedNodes=85636  nbRestartNogoods=133
91.72	       =>  wckTime=89.03  cpuTime=88.1  mem=66M52
147.22	   
147.22	   search
147.22	     run=17  nbConstraintChecks=90432728  nbValidityChecks=182325100  nbPropagations=2851513  nbRevisions=34161948
147.22	     nbUselessRevisions=26991211  nbAssignments=71552  nbFailedAssignments=41720  nbBacktracks=29540
147.22	     nbVisitedNodes=132009  nbRestartNogoods=154
147.23	       =>  wckTime=144.535  cpuTime=143.1  mem=66M52
211.34	   
211.34	   search
211.34	     run=18  nbConstraintChecks=129616452  nbValidityChecks=263498379  nbPropagations=4236034  nbRevisions=50734969
211.34	     nbUselessRevisions=40080361  nbAssignments=102335  nbFailedAssignments=57718  nbBacktracks=44319
211.34	     nbVisitedNodes=187610  nbRestartNogoods=171
211.34	       =>  wckTime=208.646  cpuTime=206.63  mem=66M52
317.94	   
317.94	   search
317.94	     run=19  nbConstraintChecks=194555578  nbValidityChecks=398913749  nbPropagations=6305513  nbRevisions=75467719
317.94	     nbUselessRevisions=59616435  nbAssignments=151103  nbFailedAssignments=84307  nbBacktracks=66490
317.94	     nbVisitedNodes=277219  nbRestartNogoods=201
317.94	       =>  wckTime=315.246  cpuTime=312.27  mem=66M52
475.53	   
475.53	   search
475.53	     run=20  nbConstraintChecks=290572001  nbValidityChecks=595541823  nbPropagations=9524381  nbRevisions=113554297
475.53	     nbUselessRevisions=89632557  nbAssignments=235739  nbFailedAssignments=135669  nbBacktracks=99743
475.53	     nbVisitedNodes=435770  nbRestartNogoods=220
475.53	       =>  wckTime=472.839  cpuTime=468.42  mem=66M52
743.68	   
743.68	   search
743.68	     run=21  nbConstraintChecks=461402257  nbValidityChecks=938853321  nbPropagations=14417536  nbRevisions=172248105
743.68	     nbUselessRevisions=136004047  nbAssignments=356836  nbFailedAssignments=206880  nbBacktracks=149621
743.68	     nbVisitedNodes=661317  nbRestartNogoods=226
743.68	       =>  wckTime=740.986  cpuTime=734.11  mem=66M52
1031.82	   
1031.82	   search
1031.82	     run=22  nbConstraintChecks=639319018  nbValidityChecks=1302177867  nbPropagations=21406123  nbRevisions=256007131
1031.82	     nbUselessRevisions=202195000  nbAssignments=513028  nbFailedAssignments=288248  nbBacktracks=224439
1031.82	     nbVisitedNodes=942644  nbRestartNogoods=256
1031.82	       =>  wckTime=1029.129  cpuTime=1020.33  mem=66M52
1546.94	   
1546.94	   search
1546.94	     run=23  nbConstraintChecks=953629218  nbValidityChecks=1937924473  nbPropagations=32048265  nbRevisions=382162669
1546.94	     nbUselessRevisions=301604080  nbAssignments=776058  nbFailedAssignments=439044  nbBacktracks=336666
1546.94	     nbVisitedNodes=1428844  nbRestartNogoods=272
1546.94	       =>  wckTime=1544.252  cpuTime=1531.23  mem=66M52

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/node9/watcher-206696-1168176687 -o ROOT/results/node9/solver-206696-1168176687 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/206696-1168176687/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.92 1.98 1.99 4/86 23163
/proc/meminfo: memFree=1570000/2055920 swapFree=4191880/4192956
[pid=23162] ppid=23160 vsize=18540 CPUtime=0
/proc/23162/stat : 23162 (runsolver) R 23160 23162 22228 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 166063884 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 215418989863 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/23162/statm: 4635 279 244 17 0 2626 0

[startup+0.103131 s]
/proc/loadavg: 1.92 1.98 1.99 4/86 23163
/proc/meminfo: memFree=1570000/2055920 swapFree=4191880/4192956
[pid=23162] ppid=23160 vsize=909872 CPUtime=0.06
/proc/23162/stat : 23162 (java) R 23160 23162 22228 0 -1 0 2542 0 1 0 5 1 0 0 20 0 8 0 166063884 931708928 2289 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155170513 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23162/statm: 227468 2289 1246 14 0 215051 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 909872

[startup+0.511176 s]
/proc/loadavg: 1.92 1.98 1.99 4/86 23163
/proc/meminfo: memFree=1570000/2055920 swapFree=4191880/4192956
[pid=23162] ppid=23160 vsize=915328 CPUtime=0.42
/proc/23162/stat : 23162 (java) R 23160 23162 22228 0 -1 0 6359 0 1 0 38 4 0 0 18 0 8 0 166063884 937295872 6098 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23162/statm: 228832 6098 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 915328

[startup+1.33427 s]
/proc/loadavg: 1.92 1.98 1.99 3/93 23170
/proc/meminfo: memFree=1502936/2055920 swapFree=4191880/4192956
[pid=23162] ppid=23160 vsize=915328 CPUtime=1.23
/proc/23162/stat : 23162 (java) R 23160 23162 22228 0 -1 0 19099 0 1 0 114 9 0 0 25 0 8 0 166063884 937295872 18837 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073553202 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23162/statm: 228832 18837 2149 14 0 215302 0
[pid=23162/tid=23164] ppid=23160 vsize=915328 CPUtime=0.04
/proc/23162/task/23164/stat : 23164 (java) S 23160 23162 22228 0 -1 64 2681 0 0 0 4 0 0 0 17 0 8 0 166063890 937295872 18837 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23162/tid=23165] ppid=23160 vsize=915328 CPUtime=0
/proc/23162/task/23165/stat : 23165 (java) S 23160 23162 22228 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166063891 937295872 18837 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23162/tid=23166] ppid=23160 vsize=915328 CPUtime=0
/proc/23162/task/23166/stat : 23166 (java) S 23160 23162 22228 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 166063891 937295872 18837 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23162/tid=23167] ppid=23160 vsize=915328 CPUtime=0
/proc/23162/task/23167/stat : 23167 (java) S 23160 23162 22228 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 166063894 937295872 18837 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23162/tid=23168] ppid=23160 vsize=915328 CPUtime=0.08
/proc/23162/task/23168/stat : 23168 (java) S 23160 23162 22228 0 -1 64 308 0 0 0 8 0 0 0 16 0 8 0 166063894 937295872 18837 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23162/tid=23169] ppid=23160 vsize=915328 CPUtime=0
/proc/23162/task/23169/stat : 23169 (java) S 23160 23162 22228 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 166063894 937295872 18837 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23162/tid=23170] ppid=23160 vsize=915328 CPUtime=0
/proc/23162/task/23170/stat : 23170 (java) S 23160 23162 22228 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166063894 937295872 18837 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.23
Current children cumulated vsize (KiB) 915328

[startup+2.98646 s]
/proc/loadavg: 1.92 1.98 1.99 4/93 23170
/proc/meminfo: memFree=1463448/2055920 swapFree=4191880/4192956
[pid=23162] ppid=23160 vsize=915440 CPUtime=2.87
/proc/23162/stat : 23162 (java) R 23160 23162 22228 0 -1 0 32442 0 1 0 271 16 0 0 25 0 8 0 166063884 937410560 32177 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23162/statm: 228860 32177 2531 14 0 215330 0
[pid=23162/tid=23164] ppid=23160 vsize=915440 CPUtime=0.43
/proc/23162/task/23164/stat : 23164 (java) S 23160 23162 22228 0 -1 64 15452 0 0 0 37 6 0 0 17 0 8 0 166063890 937410560 32177 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23162/tid=23165] ppid=23160 vsize=915440 CPUtime=0
/proc/23162/task/23165/stat : 23165 (java) S 23160 23162 22228 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166063891 937410560 32177 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23162/tid=23166] ppid=23160 vsize=915440 CPUtime=0
/proc/23162/task/23166/stat : 23166 (java) S 23160 23162 22228 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 166063891 937410560 32177 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23162/tid=23167] ppid=23160 vsize=915440 CPUtime=0
/proc/23162/task/23167/stat : 23167 (java) S 23160 23162 22228 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 166063894 937410560 32177 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23162/tid=23168] ppid=23160 vsize=915440 CPUtime=0.18
/proc/23162/task/23168/stat : 23168 (java) S 23160 23162 22228 0 -1 64 373 0 0 0 18 0 0 0 15 0 8 0 166063894 937410560 32177 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23162/tid=23169] ppid=23160 vsize=915440 CPUtime=0
/proc/23162/task/23169/stat : 23169 (java) S 23160 23162 22228 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 166063894 937410560 32177 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23162/tid=23170] ppid=23160 vsize=915440 CPUtime=0
/proc/23162/task/23170/stat : 23170 (java) S 23160 23162 22228 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166063894 937410560 32177 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.87
Current children cumulated vsize (KiB) 915440

[startup+6.26583 s]
/proc/loadavg: 1.93 1.98 1.99 3/93 23170
/proc/meminfo: memFree=1450712/2055920 swapFree=4191880/4192956
[pid=23162] ppid=23160 vsize=915440 CPUtime=6.12
/proc/23162/stat : 23162 (java) R 23160 23162 22228 0 -1 0 32467 0 1 0 595 17 0 0 25 0 8 0 166063884 937410560 32199 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073629997 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23162/statm: 228860 32199 2531 14 0 215330 0
[pid=23162/tid=23164] ppid=23160 vsize=915440 CPUtime=0.43
/proc/23162/task/23164/stat : 23164 (java) S 23160 23162 22228 0 -1 64 15452 0 0 0 37 6 0 0 17 0 8 0 166063890 937410560 32199 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23162/tid=23165] ppid=23160 vsize=915440 CPUtime=0
/proc/23162/task/23165/stat : 23165 (java) S 23160 23162 22228 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166063891 937410560 32199 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23162/tid=23166] ppid=23160 vsize=915440 CPUtime=0
/proc/23162/task/23166/stat : 23166 (java) S 23160 23162 22228 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 166063891 937410560 32199 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23162/tid=23167] ppid=23160 vsize=915440 CPUtime=0
/proc/23162/task/23167/stat : 23167 (java) S 23160 23162 22228 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 166063894 937410560 32199 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23162/tid=23168] ppid=23160 vsize=915440 CPUtime=0.25
/proc/23162/task/23168/stat : 23168 (java) S 23160 23162 22228 0 -1 64 397 0 0 0 24 1 0 0 16 0 8 0 166063894 937410560 32199 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23162/tid=23169] ppid=23160 vsize=915440 CPUtime=0
/proc/23162/task/23169/stat : 23169 (java) S 23160 23162 22228 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 166063894 937410560 32199 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23162/tid=23170] ppid=23160 vsize=915440 CPUtime=0
/proc/23162/task/23170/stat : 23170 (java) S 23160 23162 22228 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166063894 937410560 32199 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.12
Current children cumulated vsize (KiB) 915440

[startup+12.7626 s]
/proc/loadavg: 1.93 1.98 1.99 3/93 23170
/proc/meminfo: memFree=1450784/2055920 swapFree=4191880/4192956
[pid=23162] ppid=23160 vsize=915440 CPUtime=12.55
/proc/23162/stat : 23162 (java) R 23160 23162 22228 0 -1 0 32473 0 1 0 1238 17 0 0 25 0 8 0 166063884 937410560 32202 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073799110 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23162/statm: 228860 32202 2531 14 0 215330 0
[pid=23162/tid=23164] ppid=23160 vsize=915440 CPUtime=0.43
/proc/23162/task/23164/stat : 23164 (java) S 23160 23162 22228 0 -1 64 15452 0 0 0 37 6 0 0 16 0 8 0 166063890 937410560 32202 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23162/tid=23165] ppid=23160 vsize=915440 CPUtime=0
/proc/23162/task/23165/stat : 23165 (java) S 23160 23162 22228 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166063891 937410560 32202 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23162/tid=23166] ppid=23160 vsize=915440 CPUtime=0
/proc/23162/task/23166/stat : 23166 (java) S 23160 23162 22228 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 166063891 937410560 32202 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23162/tid=23167] ppid=23160 vsize=915440 CPUtime=0
/proc/23162/task/23167/stat : 23167 (java) S 23160 23162 22228 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 166063894 937410560 32202 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23162/tid=23168] ppid=23160 vsize=915440 CPUtime=0.26
/proc/23162/task/23168/stat : 23168 (java) S 23160 23162 22228 0 -1 64 402 0 0 0 25 1 0 0 16 0 8 0 166063894 937410560 32202 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23162/tid=23169] ppid=23160 vsize=915440 CPUtime=0
/proc/23162/task/23169/stat : 23169 (java) S 23160 23162 22228 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 166063894 937410560 32202 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23162/tid=23170] ppid=23160 vsize=915440 CPUtime=0
/proc/23162/task/23170/stat : 23170 (java) S 23160 23162 22228 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166063894 937410560 32202 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.55
Current children cumulated vsize (KiB) 915440

[startup+25.625 s]
/proc/loadavg: 1.95 1.98 1.99 3/93 23170
/proc/meminfo: memFree=1450976/2055920 swapFree=4191880/4192956
[pid=23162] ppid=23160 vsize=915440 CPUtime=25.3
/proc/23162/stat : 23162 (java) R 23160 23162 22228 0 -1 0 32475 0 1 0 2513 17 0 0 25 0 8 0 166063884 937410560 32204 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23162/statm: 228860 32204 2531 14 0 215330 0
[pid=23162/tid=23164] ppid=23160 vsize=915440 CPUtime=0.43
/proc/23162/task/23164/stat : 23164 (java) S 23160 23162 22228 0 -1 64 15452 0 0 0 37 6 0 0 16 0 8 0 166063890 937410560 32204 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23162/tid=23165] ppid=23160 vsize=915440 CPUtime=0
/proc/23162/task/23165/stat : 23165 (java) S 23160 23162 22228 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166063891 937410560 32204 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23162/tid=23166] ppid=23160 vsize=915440 CPUtime=0
/proc/23162/task/23166/stat : 23166 (java) S 23160 23162 22228 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 166063891 937410560 32204 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23162/tid=23167] ppid=23160 vsize=915440 CPUtime=0
/proc/23162/task/23167/stat : 23167 (java) S 23160 23162 22228 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 166063894 937410560 32204 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23162/tid=23168] ppid=23160 vsize=915440 CPUtime=0.26
/proc/23162/task/23168/stat : 23168 (java) S 23160 23162 22228 0 -1 64 404 0 0 0 25 1 0 0 15 0 8 0 166063894 937410560 32204 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23162/tid=23169] ppid=23160 vsize=915440 CPUtime=0
/proc/23162/task/23169/stat : 23169 (java) S 23160 23162 22228 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 166063894 937410560 32204 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23162/tid=23170] ppid=23160 vsize=915440 CPUtime=0
/proc/23162/task/23170/stat : 23170 (java) S 23160 23162 22228 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166063894 937410560 32204 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.3
Current children cumulated vsize (KiB) 915440

[startup+51.2509 s]
/proc/loadavg: 2.02 2.00 2.00 3/93 23170
/proc/meminfo: memFree=1451040/2055920 swapFree=4191880/4192956
[pid=23162] ppid=23160 vsize=915440 CPUtime=50.69
/proc/23162/stat : 23162 (java) R 23160 23162 22228 0 -1 0 32475 0 1 0 5052 17 0 0 25 0 8 0 166063884 937410560 32204 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073808885 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23162/statm: 228860 32204 2531 14 0 215330 0
[pid=23162/tid=23164] ppid=23160 vsize=915440 CPUtime=0.43
/proc/23162/task/23164/stat : 23164 (java) S 23160 23162 22228 0 -1 64 15452 0 0 0 37 6 0 0 16 0 8 0 166063890 937410560 32204 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23162/tid=23165] ppid=23160 vsize=915440 CPUtime=0
/proc/23162/task/23165/stat : 23165 (java) S 23160 23162 22228 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166063891 937410560 32204 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23162/tid=23166] ppid=23160 vsize=915440 CPUtime=0
/proc/23162/task/23166/stat : 23166 (java) S 23160 23162 22228 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 166063891 937410560 32204 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23162/tid=23167] ppid=23160 vsize=915440 CPUtime=0
/proc/23162/task/23167/stat : 23167 (java) S 23160 23162 22228 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 166063894 937410560 32204 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23162/tid=23168] ppid=23160 vsize=915440 CPUtime=0.26
/proc/23162/task/23168/stat : 23168 (java) S 23160 23162 22228 0 -1 64 404 0 0 0 25 1 0 0 16 0 8 0 166063894 937410560 32204 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23162/tid=23169] ppid=23160 vsize=915440 CPUtime=0
/proc/23162/task/23169/stat : 23169 (java) S 23160 23162 22228 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 166063894 937410560 32204 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23162/tid=23170] ppid=23160 vsize=915440 CPUtime=0
/proc/23162/task/23170/stat : 23170 (java) S 23160 23162 22228 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166063894 937410560 32204 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.69
Current children cumulated vsize (KiB) 915440

[startup+102.523 s]
/proc/loadavg: 2.01 2.00 2.00 4/93 23170
/proc/meminfo: memFree=1451104/2055920 swapFree=4191880/4192956
[pid=23162] ppid=23160 vsize=915440 CPUtime=101.5
/proc/23162/stat : 23162 (java) R 23160 23162 22228 0 -1 0 32476 0 1 0 10132 18 0 0 25 0 8 0 166063884 937410560 32204 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23162/statm: 228860 32204 2531 14 0 215330 0
[pid=23162/tid=23164] ppid=23160 vsize=915440 CPUtime=0.43
/proc/23162/task/23164/stat : 23164 (java) S 23160 23162 22228 0 -1 64 15452 0 0 0 37 6 0 0 16 0 8 0 166063890 937410560 32204 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23162/tid=23165] ppid=23160 vsize=915440 CPUtime=0
/proc/23162/task/23165/stat : 23165 (java) S 23160 23162 22228 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166063891 937410560 32204 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23162/tid=23166] ppid=23160 vsize=915440 CPUtime=0
/proc/23162/task/23166/stat : 23166 (java) S 23160 23162 22228 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 166063891 937410560 32204 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23162/tid=23167] ppid=23160 vsize=915440 CPUtime=0
/proc/23162/task/23167/stat : 23167 (java) S 23160 23162 22228 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 166063894 937410560 32204 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23162/tid=23168] ppid=23160 vsize=915440 CPUtime=0.26
/proc/23162/task/23168/stat : 23168 (java) S 23160 23162 22228 0 -1 64 404 0 0 0 25 1 0 0 16 0 8 0 166063894 937410560 32204 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23162/tid=23169] ppid=23160 vsize=915440 CPUtime=0
/proc/23162/task/23169/stat : 23169 (java) S 23160 23162 22228 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 166063894 937410560 32204 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23162/tid=23170] ppid=23160 vsize=915440 CPUtime=0
/proc/23162/task/23170/stat : 23170 (java) S 23160 23162 22228 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166063894 937410560 32204 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.5
Current children cumulated vsize (KiB) 915440

[startup+162.553 s]
/proc/loadavg: 2.00 2.00 2.00 4/93 23170
/proc/meminfo: memFree=1451104/2055920 swapFree=4191880/4192956
[pid=23162] ppid=23160 vsize=915440 CPUtime=160.98
/proc/23162/stat : 23162 (java) R 23160 23162 22228 0 -1 0 32476 0 1 0 16080 18 0 0 25 0 8 0 166063884 937410560 32204 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073849283 0 4 0 23759 18446744073709551615 0 0 17 1 0 0

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

Current children cumulated CPU time (s) 1411.08
Current children cumulated vsize (KiB) 915440

[startup+1482.99 s]
/proc/loadavg: 2.02 2.03 2.00 3/93 23459
/proc/meminfo: memFree=1438640/2055920 swapFree=4191880/4192956
[pid=23162] ppid=23160 vsize=915440 CPUtime=1470.54
/proc/23162/stat : 23162 (java) R 23160 23162 22228 0 -1 0 32477 0 1 0 147015 39 0 0 25 0 8 0 166063884 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073821203 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23162/statm: 228860 32205 2531 14 0 215330 0
[pid=23162/tid=23164] ppid=23160 vsize=915440 CPUtime=0.43
/proc/23162/task/23164/stat : 23164 (java) S 23160 23162 22228 0 -1 64 15452 0 0 0 37 6 0 0 16 0 8 0 166063890 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23162/tid=23165] ppid=23160 vsize=915440 CPUtime=0
/proc/23162/task/23165/stat : 23165 (java) S 23160 23162 22228 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166063891 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23162/tid=23166] ppid=23160 vsize=915440 CPUtime=0
/proc/23162/task/23166/stat : 23166 (java) S 23160 23162 22228 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 166063891 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23162/tid=23167] ppid=23160 vsize=915440 CPUtime=0
/proc/23162/task/23167/stat : 23167 (java) S 23160 23162 22228 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 166063894 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23162/tid=23168] ppid=23160 vsize=915440 CPUtime=0.26
/proc/23162/task/23168/stat : 23168 (java) S 23160 23162 22228 0 -1 64 405 0 0 0 25 1 0 0 16 0 8 0 166063894 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23162/tid=23169] ppid=23160 vsize=915440 CPUtime=0
/proc/23162/task/23169/stat : 23169 (java) S 23160 23162 22228 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 166063894 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23162/tid=23170] ppid=23160 vsize=915440 CPUtime=0
/proc/23162/task/23170/stat : 23170 (java) S 23160 23162 22228 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166063894 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1470.54
Current children cumulated vsize (KiB) 915440

[startup+1543 s]
/proc/loadavg: 2.01 2.02 2.00 3/93 23459
/proc/meminfo: memFree=1438640/2055920 swapFree=4191880/4192956
[pid=23162] ppid=23160 vsize=915440 CPUtime=1530.01
/proc/23162/stat : 23162 (java) R 23160 23162 22228 0 -1 0 32477 0 1 0 152961 40 0 0 25 0 8 0 166063884 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23162/statm: 228860 32205 2531 14 0 215330 0
[pid=23162/tid=23164] ppid=23160 vsize=915440 CPUtime=0.43
/proc/23162/task/23164/stat : 23164 (java) S 23160 23162 22228 0 -1 64 15452 0 0 0 37 6 0 0 16 0 8 0 166063890 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23162/tid=23165] ppid=23160 vsize=915440 CPUtime=0
/proc/23162/task/23165/stat : 23165 (java) S 23160 23162 22228 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166063891 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23162/tid=23166] ppid=23160 vsize=915440 CPUtime=0
/proc/23162/task/23166/stat : 23166 (java) S 23160 23162 22228 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 166063891 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23162/tid=23167] ppid=23160 vsize=915440 CPUtime=0
/proc/23162/task/23167/stat : 23167 (java) S 23160 23162 22228 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 166063894 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23162/tid=23168] ppid=23160 vsize=915440 CPUtime=0.26
/proc/23162/task/23168/stat : 23168 (java) S 23160 23162 22228 0 -1 64 405 0 0 0 25 1 0 0 16 0 8 0 166063894 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23162/tid=23169] ppid=23160 vsize=915440 CPUtime=0
/proc/23162/task/23169/stat : 23169 (java) S 23160 23162 22228 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 166063894 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23162/tid=23170] ppid=23160 vsize=915440 CPUtime=0
/proc/23162/task/23170/stat : 23170 (java) S 23160 23162 22228 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166063894 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1530.01
Current children cumulated vsize (KiB) 915440

[startup+1603.01 s]
/proc/loadavg: 2.00 2.01 2.00 3/93 23459
/proc/meminfo: memFree=1438640/2055920 swapFree=4191880/4192956
[pid=23162] ppid=23160 vsize=915440 CPUtime=1589.46
/proc/23162/stat : 23162 (java) R 23160 23162 22228 0 -1 0 32477 0 1 0 158906 40 0 0 25 0 8 0 166063884 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073797227 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23162/statm: 228860 32205 2531 14 0 215330 0
[pid=23162/tid=23164] ppid=23160 vsize=915440 CPUtime=0.43
/proc/23162/task/23164/stat : 23164 (java) S 23160 23162 22228 0 -1 64 15452 0 0 0 37 6 0 0 16 0 8 0 166063890 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23162/tid=23165] ppid=23160 vsize=915440 CPUtime=0
/proc/23162/task/23165/stat : 23165 (java) S 23160 23162 22228 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166063891 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23162/tid=23166] ppid=23160 vsize=915440 CPUtime=0
/proc/23162/task/23166/stat : 23166 (java) S 23160 23162 22228 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 166063891 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23162/tid=23167] ppid=23160 vsize=915440 CPUtime=0
/proc/23162/task/23167/stat : 23167 (java) S 23160 23162 22228 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 166063894 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23162/tid=23168] ppid=23160 vsize=915440 CPUtime=0.26
/proc/23162/task/23168/stat : 23168 (java) S 23160 23162 22228 0 -1 64 405 0 0 0 25 1 0 0 16 0 8 0 166063894 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23162/tid=23169] ppid=23160 vsize=915440 CPUtime=0
/proc/23162/task/23169/stat : 23169 (java) S 23160 23162 22228 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 166063894 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23162/tid=23170] ppid=23160 vsize=915440 CPUtime=0
/proc/23162/task/23170/stat : 23170 (java) S 23160 23162 22228 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166063894 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1589.46
Current children cumulated vsize (KiB) 915440

[startup+1663.02 s]
/proc/loadavg: 2.04 2.02 2.00 3/93 23459
/proc/meminfo: memFree=1438576/2055920 swapFree=4191880/4192956
[pid=23162] ppid=23160 vsize=915440 CPUtime=1648.92
/proc/23162/stat : 23162 (java) R 23160 23162 22228 0 -1 0 32477 0 1 0 164851 41 0 0 25 0 8 0 166063884 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072918514 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23162/statm: 228860 32205 2531 14 0 215330 0
[pid=23162/tid=23164] ppid=23160 vsize=915440 CPUtime=0.43
/proc/23162/task/23164/stat : 23164 (java) S 23160 23162 22228 0 -1 64 15452 0 0 0 37 6 0 0 16 0 8 0 166063890 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23162/tid=23165] ppid=23160 vsize=915440 CPUtime=0
/proc/23162/task/23165/stat : 23165 (java) S 23160 23162 22228 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166063891 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23162/tid=23166] ppid=23160 vsize=915440 CPUtime=0
/proc/23162/task/23166/stat : 23166 (java) S 23160 23162 22228 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 166063891 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23162/tid=23167] ppid=23160 vsize=915440 CPUtime=0
/proc/23162/task/23167/stat : 23167 (java) S 23160 23162 22228 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 166063894 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23162/tid=23168] ppid=23160 vsize=915440 CPUtime=0.26
/proc/23162/task/23168/stat : 23168 (java) S 23160 23162 22228 0 -1 64 405 0 0 0 25 1 0 0 16 0 8 0 166063894 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23162/tid=23169] ppid=23160 vsize=915440 CPUtime=0
/proc/23162/task/23169/stat : 23169 (java) S 23160 23162 22228 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 166063894 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23162/tid=23170] ppid=23160 vsize=915440 CPUtime=0
/proc/23162/task/23170/stat : 23170 (java) S 23160 23162 22228 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166063894 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1648.92
Current children cumulated vsize (KiB) 915440

[startup+1723.03 s]
/proc/loadavg: 2.01 2.02 2.00 4/93 23459
/proc/meminfo: memFree=1438640/2055920 swapFree=4191880/4192956
[pid=23162] ppid=23160 vsize=915440 CPUtime=1708.4
/proc/23162/stat : 23162 (java) R 23160 23162 22228 0 -1 0 32477 0 1 0 170798 42 0 0 25 0 8 0 166063884 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073659977 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23162/statm: 228860 32205 2531 14 0 215330 0
[pid=23162/tid=23164] ppid=23160 vsize=915440 CPUtime=0.43
/proc/23162/task/23164/stat : 23164 (java) S 23160 23162 22228 0 -1 64 15452 0 0 0 37 6 0 0 16 0 8 0 166063890 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23162/tid=23165] ppid=23160 vsize=915440 CPUtime=0
/proc/23162/task/23165/stat : 23165 (java) S 23160 23162 22228 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166063891 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23162/tid=23166] ppid=23160 vsize=915440 CPUtime=0
/proc/23162/task/23166/stat : 23166 (java) S 23160 23162 22228 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 166063891 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23162/tid=23167] ppid=23160 vsize=915440 CPUtime=0
/proc/23162/task/23167/stat : 23167 (java) S 23160 23162 22228 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 166063894 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23162/tid=23168] ppid=23160 vsize=915440 CPUtime=0.26
/proc/23162/task/23168/stat : 23168 (java) S 23160 23162 22228 0 -1 64 405 0 0 0 25 1 0 0 16 0 8 0 166063894 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23162/tid=23169] ppid=23160 vsize=915440 CPUtime=0
/proc/23162/task/23169/stat : 23169 (java) S 23160 23162 22228 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 166063894 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23162/tid=23170] ppid=23160 vsize=915440 CPUtime=0
/proc/23162/task/23170/stat : 23170 (java) S 23160 23162 22228 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166063894 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1708.4
Current children cumulated vsize (KiB) 915440

[startup+1783.04 s]
/proc/loadavg: 2.06 2.03 2.00 3/99 23525
/proc/meminfo: memFree=1437344/2055920 swapFree=4191880/4192956
[pid=23162] ppid=23160 vsize=915440 CPUtime=1767.8
/proc/23162/stat : 23162 (java) R 23160 23162 22228 0 -1 0 32477 0 1 0 176738 42 0 0 25 0 8 0 166063884 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073803296 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23162/statm: 228860 32205 2531 14 0 215330 0
[pid=23162/tid=23164] ppid=23160 vsize=915440 CPUtime=0.43
/proc/23162/task/23164/stat : 23164 (java) S 23160 23162 22228 0 -1 64 15452 0 0 0 37 6 0 0 16 0 8 0 166063890 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23162/tid=23165] ppid=23160 vsize=915440 CPUtime=0
/proc/23162/task/23165/stat : 23165 (java) S 23160 23162 22228 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166063891 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23162/tid=23166] ppid=23160 vsize=915440 CPUtime=0
/proc/23162/task/23166/stat : 23166 (java) S 23160 23162 22228 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 166063891 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23162/tid=23167] ppid=23160 vsize=915440 CPUtime=0
/proc/23162/task/23167/stat : 23167 (java) S 23160 23162 22228 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 166063894 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23162/tid=23168] ppid=23160 vsize=915440 CPUtime=0.26
/proc/23162/task/23168/stat : 23168 (java) S 23160 23162 22228 0 -1 64 405 0 0 0 25 1 0 0 16 0 8 0 166063894 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23162/tid=23169] ppid=23160 vsize=915440 CPUtime=0
/proc/23162/task/23169/stat : 23169 (java) S 23160 23162 22228 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 166063894 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23162/tid=23170] ppid=23160 vsize=915440 CPUtime=0
/proc/23162/task/23170/stat : 23170 (java) S 23160 23162 22228 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166063894 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1767.8
Current children cumulated vsize (KiB) 915440



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1815.69 s]
/proc/loadavg: 2.03 2.02 2.00 3/99 23597
/proc/meminfo: memFree=1437376/2055920 swapFree=4191880/4192956
[pid=23162] ppid=23160 vsize=915440 CPUtime=1800.08
/proc/23162/stat : 23162 (java) R 23160 23162 22228 0 -1 0 32477 0 1 0 179966 42 0 0 25 0 8 0 166063884 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23162/statm: 228860 32205 2531 14 0 215330 0
[pid=23162/tid=23164] ppid=23160 vsize=915440 CPUtime=0.43
/proc/23162/task/23164/stat : 23164 (java) S 23160 23162 22228 0 -1 64 15452 0 0 0 37 6 0 0 16 0 8 0 166063890 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23162/tid=23165] ppid=23160 vsize=915440 CPUtime=0
/proc/23162/task/23165/stat : 23165 (java) S 23160 23162 22228 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166063891 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23162/tid=23166] ppid=23160 vsize=915440 CPUtime=0
/proc/23162/task/23166/stat : 23166 (java) S 23160 23162 22228 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 166063891 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23162/tid=23167] ppid=23160 vsize=915440 CPUtime=0
/proc/23162/task/23167/stat : 23167 (java) S 23160 23162 22228 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 166063894 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23162/tid=23168] ppid=23160 vsize=915440 CPUtime=0.26
/proc/23162/task/23168/stat : 23168 (java) S 23160 23162 22228 0 -1 64 405 0 0 0 25 1 0 0 16 0 8 0 166063894 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23162/tid=23169] ppid=23160 vsize=915440 CPUtime=0
/proc/23162/task/23169/stat : 23169 (java) S 23160 23162 22228 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 166063894 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23162/tid=23170] ppid=23160 vsize=915440 CPUtime=0
/proc/23162/task/23170/stat : 23170 (java) S 23160 23162 22228 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166063894 937410560 32205 18446744073709551615 134512640 134570532 4294956464 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) 915440

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

Child status: 143
Real time (s): 1815.74
CPU time (s): 1800.14
CPU user time (s): 1799.69
CPU system time (s): 0.448931
CPU usage (%): 99.1405
Max. virtual memory (cumulated for all children) (KiB): 915444

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.69
system time used= 0.448931
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32495
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= 37901
involuntary context switches= 62877

runsolver used 2.04969 s user time and 6.00309 s system time

The end

Launcher Data (download as text)

Begin job on node9 on Sun Jan  7 13:31:27 UTC 2007


IDJOB= 206696
IDBENCH= 4228
FILE ID= node9/206696-1168176687

PBS_JOBID= 3478848

Free space on /tmp= 66529 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  3687c46586991f5a464cf8250795dac6

RANDOM SEED= 280797165

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.231
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.231
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:       1570416 kB
Buffers:         43872 kB
Cached:         314688 kB
SwapCached:        276 kB
Active:         192604 kB
Inactive:       230448 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1570416 kB
SwapTotal:     4192956 kB
SwapFree:      4191880 kB
Dirty:            7496 kB
Writeback:           0 kB
Mapped:          79596 kB
Slab:            47224 kB
Committed_AS:  4541484 kB
PageTables:       2284 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66529 MiB



End job on node9 on Sun Jan  7 14:01:43 UTC 2007