Trace number 211303

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.15 1816.12

General information on the benchmark

NamepseudoSeries/ttp/
circ-10-3.xml
MD5SUM0e55a6b21f60962d919e77257912f16e
Bench CategoryN-ARY-INT (n-ary constraints in intension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark44.3613
SatisfiableYES
(Un)Satisfiability was proved
Number of variables2700
Number of constraints43070
Maximum constraint arity36
Maximum domain size2
Number of constraints which are defined in extension0
Number of constraints which are defined in intension43070
Global constraints used (with number of constraints)

Solver Data (download as text)

0.29	   
0.29	Abscon 109 (November, 2006)
0.29	   
0.29	   configuration
0.29	     name=esac.xml
0.32	   
0.32	   instance
0.32	     name=/tmp/evaluation/211303-1168206929/unknown.xml
0.35	   
0.35	   domains being loaded...
0.36	   
0.36	   variables being loaded...
0.53	     nbVariables=2700  nbDomainTypes=1  minDomainSize=2  maxDomainSize=2
0.53	       =>  wckTime=0.233  cpuTime=0.16  mem=10M819
0.53	   
0.53	   predicates being loaded...
0.56	   
0.56	   constraints being loaded...
10.23	     nbConstraints=42620  nbMergedConstraints=450  nbConvertedConstraints=3330  nbConvertConstraintsChecks=133656
10.23	     nbExtensionStructures=2  nbSharedExtensionStructures=3328  nbConflictsStructures=22
10.23	     nbSharedConflictsStructures=39478  nbUnbuiltConflictsStructures=4  nbSharedBinaryRepresentations=5
10.23	     nbEvaluationManagers=24  nbSharedEvaluationManagers=39266  maxDegree=272  maxArity=36
10.23	       =>  wckTime=9.935  cpuTime=8.13  mem=323M230
10.64	   
10.64	   solver IterativeSystematicSolver being built... 
12.84	       =>  wckTime=12.546  cpuTime=9.58  mem=384M751
88.58	   
88.58	   INFO : Stopping ESAC
88.58	   
88.58	   preprocessing
88.58	     nbConstraintChecks=2042566  nbValidityChecks=6581150  nbPropagations=9135  nbRevisions=4509862
88.58	     nbUselessRevisions=4506637  nbSingletonTests=3327  nbEffectiveSingletonTests=0  nbESACBranches=5  nbRemovedValues=0
88.58	     detectedInconsistency=no
88.58	       =>  wckTime=75.732  cpuTime=75.01  mem=402M15
91.84	   
91.84	   search
91.84	     run=0  nbConstraintChecks=180758  nbValidityChecks=1366973  nbPropagations=9839  nbRevisions=5349184
91.84	     nbUselessRevisions=5345520  nbAssignments=360  nbFailedAssignments=3  nbBacktracks=10  nbVisitedNodes=366
91.84	     nbRestartNogoods=0  mapSize=3  nbInferences=0  nbTooLargeKeys=0
91.84	       =>  wckTime=78.998  cpuTime=78.23  mem=403M63
94.75	   
94.75	   search
94.75	     run=1  nbConstraintChecks=325086  nbValidityChecks=2712844  nbPropagations=20402  nbRevisions=11530605
94.75	     nbUselessRevisions=11522869  nbAssignments=728  nbFailedAssignments=5  nbBacktracks=31  nbVisitedNodes=738
94.75	     nbRestartNogoods=2  mapSize=6  nbInferences=0  nbTooLargeKeys=0
94.75	       =>  wckTime=81.907  cpuTime=81.11  mem=403M63
97.67	   
97.67	   search
97.67	     run=2  nbConstraintChecks=469571  nbValidityChecks=4081246  nbPropagations=31697  nbRevisions=18557554
97.67	     nbUselessRevisions=18545332  nbAssignments=1098  nbFailedAssignments=7  nbBacktracks=56  nbVisitedNodes=1112
97.67	     nbRestartNogoods=3  mapSize=9  nbInferences=0  nbTooLargeKeys=0
97.67	       =>  wckTime=84.828  cpuTime=84.01  mem=403M63
100.48	   
100.48	   search
100.48	     run=3  nbConstraintChecks=613962  nbValidityChecks=5462954  nbPropagations=43728  nbRevisions=26437841
100.48	     nbUselessRevisions=26420717  nbAssignments=1470  nbFailedAssignments=9  nbBacktracks=95  nbVisitedNodes=1488
100.48	     nbRestartNogoods=4  mapSize=12  nbInferences=0  nbTooLargeKeys=0
100.48	       =>  wckTime=87.634  cpuTime=86.79  mem=404M79
104.46	   
104.46	   search
104.46	     run=4  nbConstraintChecks=938455  nbValidityChecks=7148719  nbPropagations=56800  nbRevisions=35364981
104.46	     nbUselessRevisions=35342161  nbAssignments=1874  nbFailedAssignments=15  nbBacktracks=150  nbVisitedNodes=1903
104.46	     nbRestartNogoods=5  mapSize=22  nbInferences=0  nbTooLargeKeys=0
104.46	       =>  wckTime=91.612  cpuTime=90.7  mem=404M79
109.25	   
109.25	   search
109.25	     run=5  nbConstraintChecks=1390339  nbValidityChecks=9057258  nbPropagations=71125  nbRevisions=45480712
109.25	     nbUselessRevisions=45451163  nbAssignments=2305  nbFailedAssignments=24  nbBacktracks=233  nbVisitedNodes=2350
109.25	     nbRestartNogoods=6  mapSize=36  nbInferences=0  nbTooLargeKeys=0
109.25	       =>  wckTime=96.408  cpuTime=95.46  mem=404M79
117.76	   
117.76	   search
117.76	     run=6  nbConstraintChecks=2009368  nbValidityChecks=12928435  nbPropagations=87734  nbRevisions=58019671
117.76	     nbUselessRevisions=57981899  nbAssignments=3392  nbFailedAssignments=34  nbBacktracks=380  nbVisitedNodes=2840
117.76	     nbRestartNogoods=8  mapSize=55  nbInferences=0  nbTooLargeKeys=0
117.76	       =>  wckTime=104.913  cpuTime=103.89  mem=405M94
125.71	   
125.71	   search
125.71	     run=7  nbConstraintChecks=2944332  nbValidityChecks=15720345  nbPropagations=106495  nbRevisions=72313145
125.71	     nbUselessRevisions=72265152  nbAssignments=3924  nbFailedAssignments=52  nbBacktracks=569  nbVisitedNodes=3406
125.71	     nbRestartNogoods=9  mapSize=87  nbInferences=0  nbTooLargeKeys=0
125.71	       =>  wckTime=112.863  cpuTime=111.77  mem=405M94
138.71	   
138.71	   search
138.71	     run=8  nbConstraintChecks=4239884  nbValidityChecks=20809680  nbPropagations=128759  nbRevisions=89806858
138.71	     nbUselessRevisions=89745825  nbAssignments=5139  nbFailedAssignments=76  nbBacktracks=839  nbVisitedNodes=4082
138.71	     nbRestartNogoods=11  mapSize=130  nbInferences=0  nbTooLargeKeys=0
138.71	       =>  wckTime=125.867  cpuTime=124.66  mem=406M110
156.39	   
156.39	   search
156.39	     run=9  nbConstraintChecks=5754456  nbValidityChecks=28385737  nbPropagations=155873  nbRevisions=112043208
156.39	     nbUselessRevisions=111965558  nbAssignments=7069  nbFailedAssignments=102  nbBacktracks=1236  nbVisitedNodes=4891
156.39	     nbRestartNogoods=14  mapSize=178  nbInferences=0  nbTooLargeKeys=0
156.39	       =>  wckTime=143.545  cpuTime=142.18  mem=406M110
202.84	   
202.84	   search
202.84	     run=10  nbConstraintChecks=10510312  nbValidityChecks=47929058  nbPropagations=197064  nbRevisions=146015380
202.84	     nbUselessRevisions=145905871  nbAssignments=8569  nbFailedAssignments=121  nbBacktracks=1824  nbVisitedNodes=5906
202.84	     nbRestartNogoods=17  mapSize=296  nbInferences=0  nbTooLargeKeys=0
202.84	       =>  wckTime=189.993  cpuTime=188.21  mem=407M125
211.56	   
211.56	   search
211.56	     run=11  nbConstraintChecks=10967182  nbValidityChecks=51293597  nbPropagations=247166  nbRevisions=182181531
211.56	     nbUselessRevisions=182030903  nbAssignments=10865  nbFailedAssignments=142  nbBacktracks=2742  nbVisitedNodes=8339
211.56	     nbRestartNogoods=19  mapSize=431  nbInferences=0  nbTooLargeKeys=0
211.56	       =>  wckTime=198.714  cpuTime=196.68  mem=394M402
284.34	   
284.34	   search
284.34	     run=12  nbConstraintChecks=21433407  nbValidityChecks=73309463  nbPropagations=315602  nbRevisions=231819898
284.34	     nbUselessRevisions=231607884  nbAssignments=12550  nbFailedAssignments=199  nbBacktracks=4067  nbVisitedNodes=10248
284.34	     nbRestartNogoods=21  mapSize=653  nbInferences=0  nbTooLargeKeys=0
284.34	       =>  wckTime=271.492  cpuTime=268.82  mem=395M417
294.67	   
294.67	   search
294.67	     run=13  nbConstraintChecks=21843252  nbValidityChecks=77324094  nbPropagations=398639  nbRevisions=284145398
294.67	     nbUselessRevisions=283856776  nbAssignments=15948  nbFailedAssignments=285  nbBacktracks=6013  nbVisitedNodes=13887
294.67	     nbRestartNogoods=23  mapSize=892  nbInferences=0  nbTooLargeKeys=0
294.67	       =>  wckTime=281.826  cpuTime=279.07  mem=412M681
303.27	   
303.27	   INFO : Stopping hyperNogood (mapSize=1006, nbTooLargekeys=0, mem=420M805)
311.46	   
311.47	   search
311.47	     run=14  nbConstraintChecks=22508275  nbValidityChecks=84581006  nbPropagations=509960  nbRevisions=341340874
311.47	     nbUselessRevisions=340944797  nbAssignments=20160  nbFailedAssignments=412  nbBacktracks=8958  nbVisitedNodes=18489
311.47	     nbRestartNogoods=25
311.47	       =>  wckTime=298.621  cpuTime=295.73  mem=420M805
338.35	   
338.35	   search
338.35	     run=15  nbConstraintChecks=23353694  nbValidityChecks=97668814  nbPropagations=657078  nbRevisions=406908802
338.36	     nbUselessRevisions=406367064  nbAssignments=25790  nbFailedAssignments=623  nbBacktracks=13356
338.36	     nbVisitedNodes=24615  nbRestartNogoods=26
338.36	       =>  wckTime=325.51  cpuTime=322.31  mem=420M805
387.56	   
387.56	   search
387.56	     run=16  nbConstraintChecks=24581740  nbValidityChecks=123958408  nbPropagations=852900  nbRevisions=488877201
387.56	     nbUselessRevisions=488138934  nbAssignments=33500  nbFailedAssignments=879  nbBacktracks=19944
387.56	     nbVisitedNodes=32917  nbRestartNogoods=29
387.56	       =>  wckTime=374.718  cpuTime=370.99  mem=420M805
491.66	   
491.66	   search
491.66	     run=17  nbConstraintChecks=27952833  nbValidityChecks=183555152  nbPropagations=1152601  nbRevisions=605360216
491.66	     nbUselessRevisions=604307280  nbAssignments=44587  nbFailedAssignments=1471  nbBacktracks=29796
491.66	     nbVisitedNodes=45346  nbRestartNogoods=33
491.66	       =>  wckTime=478.813  cpuTime=474.09  mem=420M805
620.28	   
620.28	   search
620.28	     run=18  nbConstraintChecks=30912321  nbValidityChecks=259051485  nbPropagations=1516893  nbRevisions=767782624
620.28	     nbUselessRevisions=766354634  nbAssignments=60609  nbFailedAssignments=2008  nbBacktracks=44598
620.28	     nbVisitedNodes=62469  nbRestartNogoods=36
620.28	       =>  wckTime=607.438  cpuTime=601.59  mem=420M805
787.29	   
787.29	   search
787.29	     run=19  nbConstraintChecks=36470218  nbValidityChecks=332234351  nbPropagations=2203526  nbRevisions=984531038
787.29	     nbUselessRevisions=982328924  nbAssignments=86003  nbFailedAssignments=4095  nbBacktracks=66768
787.29	     nbVisitedNodes=93332  nbRestartNogoods=41
787.29	       =>  wckTime=774.443  cpuTime=767.11  mem=420M805
1035.76	   
1035.76	   search
1035.76	     run=20  nbConstraintChecks=44122777  nbValidityChecks=452703005  nbPropagations=3237860  nbRevisions=1285521850
1035.76	     nbUselessRevisions=1282140395  nbAssignments=122670  nbFailedAssignments=6265  nbBacktracks=100038
1035.76	     nbVisitedNodes=135595  nbRestartNogoods=46
1035.76	       =>  wckTime=1022.918  cpuTime=1013.42  mem=420M805
1494.13	   
1494.13	   search
1494.13	     run=21  nbConstraintChecks=58144102  nbValidityChecks=664478127  nbPropagations=4931737  nbRevisions=1750321255
1494.13	     nbUselessRevisions=1745000140  nbAssignments=177971  nbFailedAssignments=9384  nbBacktracks=149932
1494.13	     nbVisitedNodes=198398  nbRestartNogoods=54
1494.13	       =>  wckTime=1481.283  cpuTime=1467.71  mem=420M805

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/node76/watcher-211303-1168206929 -o ROOT/results/node76/solver-211303-1168206929 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/211303-1168206929/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.87 1.85 1.48 4/78 5204
/proc/meminfo: memFree=1328544/2055888 swapFree=4095388/4096564
[pid=5203] ppid=5201 vsize=906648 CPUtime=0.02
/proc/5203/stat : 5203 (java) S 5201 5203 4179 0 -1 0 2066 0 1 0 1 1 0 0 19 0 2 0 169089999 928407552 1817 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 7368 18446744073709551615 0 0 17 0 0 0
/proc/5203/statm: 226662 1817 1035 14 0 214244 0
[pid=5203/tid=5205] ppid=5201 vsize=906648 CPUtime=0
/proc/5203/task/5205/stat : 5205 (java) R 5201 5203 4179 0 -1 64 4 0 0 0 0 0 0 0 20 0 2 0 169090002 928407552 1817 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 7368 0 0 0 -1 0 0 0

[startup+0.102694 s]
/proc/loadavg: 1.87 1.85 1.48 4/78 5204
/proc/meminfo: memFree=1328544/2055888 swapFree=4095388/4096564
[pid=5203] ppid=5201 vsize=914992 CPUtime=0.09
/proc/5203/stat : 5203 (java) R 5201 5203 4179 0 -1 0 3057 0 1 0 7 2 0 0 23 0 8 0 169089999 936951808 2805 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4154105182 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5203/statm: 228748 2805 1450 14 0 215242 0
[pid=5203/tid=5205] ppid=5201 vsize=914992 CPUtime=0
/proc/5203/task/5205/stat : 5205 (java) S 5201 5203 4179 0 -1 64 6 0 0 0 0 0 0 0 19 0 8 0 169090002 936951808 2805 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914992

[startup+0.510774 s]
/proc/loadavg: 1.87 1.85 1.48 4/78 5204
/proc/meminfo: memFree=1328544/2055888 swapFree=4095388/4096564
[pid=5203] ppid=5201 vsize=915332 CPUtime=0.49
/proc/5203/stat : 5203 (java) R 5201 5203 4179 0 -1 0 6632 0 1 0 43 6 0 0 25 0 8 0 169089999 937299968 6373 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5203/statm: 228833 6373 2137 14 0 215302 0
[pid=5203/tid=5205] ppid=5201 vsize=915332 CPUtime=0
/proc/5203/task/5205/stat : 5205 (java) S 5201 5203 4179 0 -1 64 6 0 0 0 0 0 0 0 19 0 8 0 169090002 937299968 6373 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915332

[startup+1.33194 s]
/proc/loadavg: 1.87 1.85 1.48 3/85 5211
/proc/meminfo: memFree=1266600/2055888 swapFree=4095388/4096564
[pid=5203] ppid=5201 vsize=915644 CPUtime=1.31
/proc/5203/stat : 5203 (java) R 5201 5203 4179 0 -1 0 18494 0 1 0 118 13 0 0 25 0 8 0 169089999 937619456 18232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4154522528 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5203/statm: 228911 18232 2158 14 0 215380 0
[pid=5203/tid=5205] ppid=5201 vsize=915644 CPUtime=0.08
/proc/5203/task/5205/stat : 5205 (java) S 5201 5203 4179 0 -1 64 1959 0 0 0 7 1 0 0 16 0 8 0 169090002 937619456 18232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5203/tid=5206] ppid=5201 vsize=915644 CPUtime=0
/proc/5203/task/5206/stat : 5206 (java) S 5201 5203 4179 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 169090003 937619456 18232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5203/tid=5207] ppid=5201 vsize=915644 CPUtime=0
/proc/5203/task/5207/stat : 5207 (java) S 5201 5203 4179 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 169090003 937619456 18232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5203/tid=5208] ppid=5201 vsize=915644 CPUtime=0
/proc/5203/task/5208/stat : 5208 (java) S 5201 5203 4179 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 169090006 937619456 18232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5203/tid=5209] ppid=5201 vsize=915644 CPUtime=0.14
/proc/5203/task/5209/stat : 5209 (java) S 5201 5203 4179 0 -1 64 407 0 0 0 14 0 0 0 16 0 8 0 169090006 937619456 18232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5203/tid=5210] ppid=5201 vsize=915644 CPUtime=0
/proc/5203/task/5210/stat : 5210 (java) S 5201 5203 4179 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 169090006 937619456 18232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5203/tid=5211] ppid=5201 vsize=915644 CPUtime=0
/proc/5203/task/5211/stat : 5211 (java) S 5201 5203 4179 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 169090006 937619456 18232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915644

[startup+2.97527 s]
/proc/loadavg: 1.88 1.86 1.49 4/85 5211
/proc/meminfo: memFree=1251944/2055888 swapFree=4095388/4096564
[pid=5203] ppid=5201 vsize=915644 CPUtime=2.93
/proc/5203/stat : 5203 (java) R 5201 5203 4179 0 -1 0 22529 0 1 0 277 16 0 0 25 0 8 0 169089999 937619456 22254 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073735163 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5203/statm: 228911 22254 2158 14 0 215380 0
[pid=5203/tid=5205] ppid=5201 vsize=915644 CPUtime=0.34
/proc/5203/task/5205/stat : 5205 (java) S 5201 5203 4179 0 -1 64 5980 0 0 0 30 4 0 0 16 0 8 0 169090002 937619456 22254 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5203/tid=5206] ppid=5201 vsize=915644 CPUtime=0
/proc/5203/task/5206/stat : 5206 (java) S 5201 5203 4179 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 169090003 937619456 22254 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5203/tid=5207] ppid=5201 vsize=915644 CPUtime=0
/proc/5203/task/5207/stat : 5207 (java) S 5201 5203 4179 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 169090003 937619456 22254 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5203/tid=5208] ppid=5201 vsize=915644 CPUtime=0
/proc/5203/task/5208/stat : 5208 (java) S 5201 5203 4179 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 169090006 937619456 22254 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5203/tid=5209] ppid=5201 vsize=915644 CPUtime=0.15
/proc/5203/task/5209/stat : 5209 (java) S 5201 5203 4179 0 -1 64 408 0 0 0 15 0 0 0 16 0 8 0 169090006 937619456 22254 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5203/tid=5210] ppid=5201 vsize=915644 CPUtime=0
/proc/5203/task/5210/stat : 5210 (java) S 5201 5203 4179 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 169090006 937619456 22254 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5203/tid=5211] ppid=5201 vsize=915644 CPUtime=0
/proc/5203/task/5211/stat : 5211 (java) S 5201 5203 4179 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 169090006 937619456 22254 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915644

[startup+6.2709 s]
/proc/loadavg: 1.88 1.86 1.49 3/85 5211
/proc/meminfo: memFree=1233456/2055888 swapFree=4095388/4096564
[pid=5203] ppid=5201 vsize=915644 CPUtime=6.21
/proc/5203/stat : 5203 (java) R 5201 5203 4179 0 -1 0 30381 0 1 0 531 90 0 0 25 0 8 0 169089999 937619456 30092 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5203/statm: 228911 30092 2179 14 0 215380 0
[pid=5203/tid=5205] ppid=5201 vsize=915644 CPUtime=0.7
/proc/5203/task/5205/stat : 5205 (java) R 5201 5203 4179 0 -1 64 13726 0 0 0 63 7 0 0 17 0 8 0 169090002 937619456 30092 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153823240 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5203/tid=5206] ppid=5201 vsize=915644 CPUtime=0
/proc/5203/task/5206/stat : 5206 (java) S 5201 5203 4179 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 169090003 937619456 30092 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5203/tid=5207] ppid=5201 vsize=915644 CPUtime=0
/proc/5203/task/5207/stat : 5207 (java) S 5201 5203 4179 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 169090003 937619456 30092 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5203/tid=5208] ppid=5201 vsize=915644 CPUtime=0
/proc/5203/task/5208/stat : 5208 (java) S 5201 5203 4179 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 169090006 937619456 30092 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5203/tid=5209] ppid=5201 vsize=915644 CPUtime=0.2
/proc/5203/task/5209/stat : 5209 (java) S 5201 5203 4179 0 -1 64 436 0 0 0 19 1 0 0 16 0 8 0 169090006 937619456 30092 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5203/tid=5210] ppid=5201 vsize=915644 CPUtime=0
/proc/5203/task/5210/stat : 5210 (java) S 5201 5203 4179 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 169090006 937619456 30092 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5203/tid=5211] ppid=5201 vsize=915644 CPUtime=0
/proc/5203/task/5211/stat : 5211 (java) S 5201 5203 4179 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 169090006 937619456 30092 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 915644

[startup+12.7502 s]
/proc/loadavg: 1.90 1.86 1.49 3/85 5211
/proc/meminfo: memFree=911680/2055888 swapFree=4095388/4096564
[pid=5203] ppid=5201 vsize=915800 CPUtime=12.6
/proc/5203/stat : 5203 (java) R 5201 5203 4179 0 -1 0 108322 0 1 0 1061 199 0 0 25 0 8 0 169089999 937779200 107967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155885681 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5203/statm: 228950 107967 2534 14 0 215419 0
[pid=5203/tid=5205] ppid=5201 vsize=915800 CPUtime=2.56
/proc/5203/task/5205/stat : 5205 (java) S 5201 5203 4179 0 -1 64 91151 0 0 0 214 42 0 0 16 0 8 0 169090002 937779200 107967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5203/tid=5206] ppid=5201 vsize=915800 CPUtime=0
/proc/5203/task/5206/stat : 5206 (java) S 5201 5203 4179 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 169090003 937779200 107967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5203/tid=5207] ppid=5201 vsize=915800 CPUtime=0
/proc/5203/task/5207/stat : 5207 (java) S 5201 5203 4179 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 169090003 937779200 107967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5203/tid=5208] ppid=5201 vsize=915800 CPUtime=0
/proc/5203/task/5208/stat : 5208 (java) S 5201 5203 4179 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 169090006 937779200 107967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5203/tid=5209] ppid=5201 vsize=915800 CPUtime=0.27
/proc/5203/task/5209/stat : 5209 (java) S 5201 5203 4179 0 -1 64 516 0 0 0 26 1 0 0 15 0 8 0 169090006 937779200 107967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5203/tid=5210] ppid=5201 vsize=915800 CPUtime=0
/proc/5203/task/5210/stat : 5210 (java) S 5201 5203 4179 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 169090006 937779200 107967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5203/tid=5211] ppid=5201 vsize=915800 CPUtime=0
/proc/5203/task/5211/stat : 5211 (java) S 5201 5203 4179 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 169090006 937779200 107967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 915800

[startup+25.6157 s]
/proc/loadavg: 1.92 1.86 1.50 3/85 5211
/proc/meminfo: memFree=905792/2055888 swapFree=4095388/4096564
[pid=5203] ppid=5201 vsize=915916 CPUtime=25.37
/proc/5203/stat : 5203 (java) R 5201 5203 4179 0 -1 0 108411 0 1 0 2337 200 0 0 25 0 8 0 169089999 937897984 108051 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074227952 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5203/statm: 228979 108051 2547 14 0 215448 0
[pid=5203/tid=5205] ppid=5201 vsize=915916 CPUtime=2.56
/proc/5203/task/5205/stat : 5205 (java) S 5201 5203 4179 0 -1 64 91151 0 0 0 214 42 0 0 16 0 8 0 169090002 937897984 108051 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5203/tid=5206] ppid=5201 vsize=915916 CPUtime=0
/proc/5203/task/5206/stat : 5206 (java) S 5201 5203 4179 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 169090003 937897984 108051 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5203/tid=5207] ppid=5201 vsize=915916 CPUtime=0
/proc/5203/task/5207/stat : 5207 (java) S 5201 5203 4179 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 169090003 937897984 108051 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5203/tid=5208] ppid=5201 vsize=915916 CPUtime=0
/proc/5203/task/5208/stat : 5208 (java) S 5201 5203 4179 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 169090006 937897984 108051 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5203/tid=5209] ppid=5201 vsize=915916 CPUtime=0.36
/proc/5203/task/5209/stat : 5209 (java) S 5201 5203 4179 0 -1 64 557 0 0 0 34 2 0 0 16 0 8 0 169090006 937897984 108051 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5203/tid=5210] ppid=5201 vsize=915916 CPUtime=0
/proc/5203/task/5210/stat : 5210 (java) S 5201 5203 4179 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 169090006 937897984 108051 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5203/tid=5211] ppid=5201 vsize=915916 CPUtime=0
/proc/5203/task/5211/stat : 5211 (java) S 5201 5203 4179 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 169090006 937897984 108051 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 915916

[startup+51.2287 s]
/proc/loadavg: 1.94 1.87 1.51 3/85 5211
/proc/meminfo: memFree=905792/2055888 swapFree=4095388/4096564
[pid=5203] ppid=5201 vsize=915916 CPUtime=50.75
/proc/5203/stat : 5203 (java) R 5201 5203 4179 0 -1 0 108414 0 1 0 4875 200 0 0 25 0 8 0 169089999 937897984 108052 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074227952 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5203/statm: 228979 108052 2547 14 0 215448 0
[pid=5203/tid=5205] ppid=5201 vsize=915916 CPUtime=2.56
/proc/5203/task/5205/stat : 5205 (java) S 5201 5203 4179 0 -1 64 91151 0 0 0 214 42 0 0 16 0 8 0 169090002 937897984 108052 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5203/tid=5206] ppid=5201 vsize=915916 CPUtime=0
/proc/5203/task/5206/stat : 5206 (java) S 5201 5203 4179 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 169090003 937897984 108052 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5203/tid=5207] ppid=5201 vsize=915916 CPUtime=0
/proc/5203/task/5207/stat : 5207 (java) S 5201 5203 4179 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 169090003 937897984 108052 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5203/tid=5208] ppid=5201 vsize=915916 CPUtime=0
/proc/5203/task/5208/stat : 5208 (java) S 5201 5203 4179 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 169090006 937897984 108052 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5203/tid=5209] ppid=5201 vsize=915916 CPUtime=0.36
/proc/5203/task/5209/stat : 5209 (java) S 5201 5203 4179 0 -1 64 558 0 0 0 34 2 0 0 16 0 8 0 169090006 937897984 108052 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5203/tid=5210] ppid=5201 vsize=915916 CPUtime=0
/proc/5203/task/5210/stat : 5210 (java) S 5201 5203 4179 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 169090006 937897984 108052 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5203/tid=5211] ppid=5201 vsize=915916 CPUtime=0
/proc/5203/task/5211/stat : 5211 (java) S 5201 5203 4179 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 169090006 937897984 108052 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.75
Current children cumulated vsize (KiB) 915916

[startup+102.446 s]
/proc/loadavg: 1.98 1.89 1.53 3/85 5211
/proc/meminfo: memFree=905920/2055888 swapFree=4095388/4096564
[pid=5203] ppid=5201 vsize=915916 CPUtime=101.5
/proc/5203/stat : 5203 (java) R 5201 5203 4179 0 -1 0 108439 0 1 0 9949 201 0 0 25 0 8 0 169089999 937897984 108074 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073876455 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5203/statm: 228979 108074 2548 14 0 215448 0
[pid=5203/tid=5205] ppid=5201 vsize=915916 CPUtime=2.56
/proc/5203/task/5205/stat : 5205 (java) S 5201 5203 4179 0 -1 64 91151 0 0 0 214 42 0 0 16 0 8 0 169090002 937897984 108074 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5203/tid=5206] ppid=5201 vsize=915916 CPUtime=0
/proc/5203/task/5206/stat : 5206 (java) S 5201 5203 4179 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 169090003 937897984 108074 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5203/tid=5207] ppid=5201 vsize=915916 CPUtime=0
/proc/5203/task/5207/stat : 5207 (java) S 5201 5203 4179 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 169090003 937897984 108074 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5203/tid=5208] ppid=5201 vsize=915916 CPUtime=0
/proc/5203/task/5208/stat : 5208 (java) S 5201 5203 4179 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 169090006 937897984 108074 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5203/tid=5209] ppid=5201 vsize=915916 CPUtime=0.4
/proc/5203/task/5209/stat : 5209 (java) S 5201 5203 4179 0 -1 64 578 0 0 0 38 2 0 0 15 0 8 0 169090006 937897984 108074 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5203/tid=5210] ppid=5201 vsize=915916 CPUtime=0
/proc/5203/task/5210/stat : 5210 (java) S 5201 5203 4179 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 169090006 937897984 108074 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5203/tid=5211] ppid=5201 vsize=915916 CPUtime=0
/proc/5203/task/5211/stat : 5211 (java) S 5201 5203 4179 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 169090006 937897984 108074 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.5
Current children cumulated vsize (KiB) 915916

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

Current children cumulated CPU time (s) 1411.3
Current children cumulated vsize (KiB) 915916

[startup+1484.18 s]
/proc/loadavg: 2.00 2.00 1.86 3/85 5411
/proc/meminfo: memFree=881792/2055888 swapFree=4095388/4096564
[pid=5203] ppid=5201 vsize=915916 CPUtime=1470.87
/proc/5203/stat : 5203 (java) R 5201 5203 4179 0 -1 0 114349 0 1 0 146864 223 0 0 25 0 8 0 169089999 937897984 113971 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074150602 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5203/statm: 228979 113971 2548 14 0 215448 0
[pid=5203/tid=5205] ppid=5201 vsize=915916 CPUtime=2.75
/proc/5203/task/5205/stat : 5205 (java) S 5201 5203 4179 0 -1 64 97038 0 0 0 229 46 0 0 16 0 8 0 169090002 937897984 113971 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5203/tid=5206] ppid=5201 vsize=915916 CPUtime=0
/proc/5203/task/5206/stat : 5206 (java) S 5201 5203 4179 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 169090003 937897984 113971 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5203/tid=5207] ppid=5201 vsize=915916 CPUtime=0
/proc/5203/task/5207/stat : 5207 (java) S 5201 5203 4179 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 169090003 937897984 113971 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5203/tid=5208] ppid=5201 vsize=915916 CPUtime=0
/proc/5203/task/5208/stat : 5208 (java) S 5201 5203 4179 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 169090006 937897984 113971 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5203/tid=5209] ppid=5201 vsize=915916 CPUtime=0.42
/proc/5203/task/5209/stat : 5209 (java) S 5201 5203 4179 0 -1 64 589 0 0 0 40 2 0 0 16 0 8 0 169090006 937897984 113971 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5203/tid=5210] ppid=5201 vsize=915916 CPUtime=0
/proc/5203/task/5210/stat : 5210 (java) S 5201 5203 4179 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 169090006 937897984 113971 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5203/tid=5211] ppid=5201 vsize=915916 CPUtime=0.01
/proc/5203/task/5211/stat : 5211 (java) S 5201 5203 4179 0 -1 64 1 0 0 0 1 0 0 0 15 0 8 0 169090006 937897984 113971 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1470.87
Current children cumulated vsize (KiB) 915916

[startup+1544.25 s]
/proc/loadavg: 2.04 2.01 1.87 3/85 5411
/proc/meminfo: memFree=881856/2055888 swapFree=4095388/4096564
[pid=5203] ppid=5201 vsize=915916 CPUtime=1530.42
/proc/5203/stat : 5203 (java) R 5201 5203 4179 0 -1 0 114350 0 1 0 152818 224 0 0 25 0 8 0 169089999 937897984 113971 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074149656 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5203/statm: 228979 113971 2548 14 0 215448 0
[pid=5203/tid=5205] ppid=5201 vsize=915916 CPUtime=2.75
/proc/5203/task/5205/stat : 5205 (java) S 5201 5203 4179 0 -1 64 97038 0 0 0 229 46 0 0 16 0 8 0 169090002 937897984 113971 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5203/tid=5206] ppid=5201 vsize=915916 CPUtime=0
/proc/5203/task/5206/stat : 5206 (java) S 5201 5203 4179 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 169090003 937897984 113971 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5203/tid=5207] ppid=5201 vsize=915916 CPUtime=0
/proc/5203/task/5207/stat : 5207 (java) S 5201 5203 4179 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 169090003 937897984 113971 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5203/tid=5208] ppid=5201 vsize=915916 CPUtime=0
/proc/5203/task/5208/stat : 5208 (java) S 5201 5203 4179 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 169090006 937897984 113971 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5203/tid=5209] ppid=5201 vsize=915916 CPUtime=0.42
/proc/5203/task/5209/stat : 5209 (java) S 5201 5203 4179 0 -1 64 589 0 0 0 40 2 0 0 16 0 8 0 169090006 937897984 113971 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5203/tid=5210] ppid=5201 vsize=915916 CPUtime=0
/proc/5203/task/5210/stat : 5210 (java) S 5201 5203 4179 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 169090006 937897984 113971 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5203/tid=5211] ppid=5201 vsize=915916 CPUtime=0.01
/proc/5203/task/5211/stat : 5211 (java) S 5201 5203 4179 0 -1 64 1 0 0 0 1 0 0 0 15 0 8 0 169090006 937897984 113971 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1530.42
Current children cumulated vsize (KiB) 915916

[startup+1604.33 s]
/proc/loadavg: 2.01 2.01 1.88 3/85 5411
/proc/meminfo: memFree=881856/2055888 swapFree=4095388/4096564
[pid=5203] ppid=5201 vsize=915916 CPUtime=1589.98
/proc/5203/stat : 5203 (java) R 5201 5203 4179 0 -1 0 114350 0 1 0 158774 224 0 0 25 0 8 0 169089999 937897984 113971 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074150635 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5203/statm: 228979 113971 2548 14 0 215448 0
[pid=5203/tid=5205] ppid=5201 vsize=915916 CPUtime=2.75
/proc/5203/task/5205/stat : 5205 (java) S 5201 5203 4179 0 -1 64 97038 0 0 0 229 46 0 0 16 0 8 0 169090002 937897984 113971 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5203/tid=5206] ppid=5201 vsize=915916 CPUtime=0
/proc/5203/task/5206/stat : 5206 (java) S 5201 5203 4179 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 169090003 937897984 113971 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5203/tid=5207] ppid=5201 vsize=915916 CPUtime=0
/proc/5203/task/5207/stat : 5207 (java) S 5201 5203 4179 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 169090003 937897984 113971 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5203/tid=5208] ppid=5201 vsize=915916 CPUtime=0
/proc/5203/task/5208/stat : 5208 (java) S 5201 5203 4179 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 169090006 937897984 113971 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5203/tid=5209] ppid=5201 vsize=915916 CPUtime=0.42
/proc/5203/task/5209/stat : 5209 (java) S 5201 5203 4179 0 -1 64 589 0 0 0 40 2 0 0 16 0 8 0 169090006 937897984 113971 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5203/tid=5210] ppid=5201 vsize=915916 CPUtime=0
/proc/5203/task/5210/stat : 5210 (java) S 5201 5203 4179 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 169090006 937897984 113971 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5203/tid=5211] ppid=5201 vsize=915916 CPUtime=0.01
/proc/5203/task/5211/stat : 5211 (java) S 5201 5203 4179 0 -1 64 1 0 0 0 1 0 0 0 15 0 8 0 169090006 937897984 113971 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1589.98
Current children cumulated vsize (KiB) 915916

[startup+1664.4 s]
/proc/loadavg: 2.00 2.00 1.88 3/85 5411
/proc/meminfo: memFree=881856/2055888 swapFree=4095388/4096564
[pid=5203] ppid=5201 vsize=915916 CPUtime=1649.55
/proc/5203/stat : 5203 (java) R 5201 5203 4179 0 -1 0 114350 0 1 0 164730 225 0 0 25 0 8 0 169089999 937897984 113971 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074179718 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5203/statm: 228979 113971 2548 14 0 215448 0
[pid=5203/tid=5205] ppid=5201 vsize=915916 CPUtime=2.75
/proc/5203/task/5205/stat : 5205 (java) S 5201 5203 4179 0 -1 64 97038 0 0 0 229 46 0 0 16 0 8 0 169090002 937897984 113971 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5203/tid=5206] ppid=5201 vsize=915916 CPUtime=0
/proc/5203/task/5206/stat : 5206 (java) S 5201 5203 4179 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 169090003 937897984 113971 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5203/tid=5207] ppid=5201 vsize=915916 CPUtime=0
/proc/5203/task/5207/stat : 5207 (java) S 5201 5203 4179 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 169090003 937897984 113971 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5203/tid=5208] ppid=5201 vsize=915916 CPUtime=0
/proc/5203/task/5208/stat : 5208 (java) S 5201 5203 4179 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 169090006 937897984 113971 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5203/tid=5209] ppid=5201 vsize=915916 CPUtime=0.42
/proc/5203/task/5209/stat : 5209 (java) S 5201 5203 4179 0 -1 64 589 0 0 0 40 2 0 0 16 0 8 0 169090006 937897984 113971 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5203/tid=5210] ppid=5201 vsize=915916 CPUtime=0
/proc/5203/task/5210/stat : 5210 (java) S 5201 5203 4179 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 169090006 937897984 113971 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5203/tid=5211] ppid=5201 vsize=915916 CPUtime=0.02
/proc/5203/task/5211/stat : 5211 (java) R 5201 5203 4179 0 -1 64 1 0 0 0 1 1 0 0 15 0 8 0 169090006 937897984 113971 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1649.55
Current children cumulated vsize (KiB) 915916

[startup+1724.47 s]
/proc/loadavg: 2.00 2.00 1.89 3/85 5411
/proc/meminfo: memFree=881920/2055888 swapFree=4095388/4096564
[pid=5203] ppid=5201 vsize=915916 CPUtime=1709.08
/proc/5203/stat : 5203 (java) R 5201 5203 4179 0 -1 0 114350 0 1 0 170683 225 0 0 25 0 8 0 169089999 937897984 113971 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074179712 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5203/statm: 228979 113971 2548 14 0 215448 0
[pid=5203/tid=5205] ppid=5201 vsize=915916 CPUtime=2.75
/proc/5203/task/5205/stat : 5205 (java) S 5201 5203 4179 0 -1 64 97038 0 0 0 229 46 0 0 16 0 8 0 169090002 937897984 113971 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5203/tid=5206] ppid=5201 vsize=915916 CPUtime=0
/proc/5203/task/5206/stat : 5206 (java) S 5201 5203 4179 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 169090003 937897984 113971 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5203/tid=5207] ppid=5201 vsize=915916 CPUtime=0
/proc/5203/task/5207/stat : 5207 (java) S 5201 5203 4179 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 169090003 937897984 113971 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5203/tid=5208] ppid=5201 vsize=915916 CPUtime=0
/proc/5203/task/5208/stat : 5208 (java) S 5201 5203 4179 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 169090006 937897984 113971 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5203/tid=5209] ppid=5201 vsize=915916 CPUtime=0.42
/proc/5203/task/5209/stat : 5209 (java) S 5201 5203 4179 0 -1 64 589 0 0 0 40 2 0 0 16 0 8 0 169090006 937897984 113971 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5203/tid=5210] ppid=5201 vsize=915916 CPUtime=0
/proc/5203/task/5210/stat : 5210 (java) S 5201 5203 4179 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 169090006 937897984 113971 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5203/tid=5211] ppid=5201 vsize=915916 CPUtime=0.02
/proc/5203/task/5211/stat : 5211 (java) S 5201 5203 4179 0 -1 64 1 0 0 0 1 1 0 0 15 0 8 0 169090006 937897984 113971 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1709.08
Current children cumulated vsize (KiB) 915916

[startup+1784.57 s]
/proc/loadavg: 2.05 2.01 1.90 3/85 5411
/proc/meminfo: memFree=881920/2055888 swapFree=4095388/4096564
[pid=5203] ppid=5201 vsize=915916 CPUtime=1768.64
/proc/5203/stat : 5203 (java) R 5201 5203 4179 0 -1 0 114350 0 1 0 176639 225 0 0 25 0 8 0 169089999 937897984 113971 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073973885 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5203/statm: 228979 113971 2548 14 0 215448 0
[pid=5203/tid=5205] ppid=5201 vsize=915916 CPUtime=2.75
/proc/5203/task/5205/stat : 5205 (java) S 5201 5203 4179 0 -1 64 97038 0 0 0 229 46 0 0 16 0 8 0 169090002 937897984 113971 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5203/tid=5206] ppid=5201 vsize=915916 CPUtime=0
/proc/5203/task/5206/stat : 5206 (java) S 5201 5203 4179 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 169090003 937897984 113971 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5203/tid=5207] ppid=5201 vsize=915916 CPUtime=0
/proc/5203/task/5207/stat : 5207 (java) S 5201 5203 4179 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 169090003 937897984 113971 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5203/tid=5208] ppid=5201 vsize=915916 CPUtime=0
/proc/5203/task/5208/stat : 5208 (java) S 5201 5203 4179 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 169090006 937897984 113971 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5203/tid=5209] ppid=5201 vsize=915916 CPUtime=0.42
/proc/5203/task/5209/stat : 5209 (java) S 5201 5203 4179 0 -1 64 589 0 0 0 40 2 0 0 16 0 8 0 169090006 937897984 113971 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5203/tid=5210] ppid=5201 vsize=915916 CPUtime=0
/proc/5203/task/5210/stat : 5210 (java) S 5201 5203 4179 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 169090006 937897984 113971 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5203/tid=5211] ppid=5201 vsize=915916 CPUtime=0.02
/proc/5203/task/5211/stat : 5211 (java) S 5201 5203 4179 0 -1 64 1 0 0 0 1 1 0 0 15 0 8 0 169090006 937897984 113971 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1768.64
Current children cumulated vsize (KiB) 915916



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1815.99 s]
/proc/loadavg: 1.69 1.93 1.87 2/77 5430
/proc/meminfo: memFree=911184/2055888 swapFree=4095388/4096564
[pid=5203] ppid=5201 vsize=915916 CPUtime=1800.03
/proc/5203/stat : 5203 (java) R 5201 5203 4179 0 -1 0 114350 0 1 0 179777 226 0 0 25 0 8 0 169089999 937897984 113971 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074150635 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5203/statm: 228979 113971 2548 14 0 215448 0
[pid=5203/tid=5205] ppid=5201 vsize=915916 CPUtime=2.75
/proc/5203/task/5205/stat : 5205 (java) S 5201 5203 4179 0 -1 64 97038 0 0 0 229 46 0 0 16 0 8 0 169090002 937897984 113971 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5203/tid=5206] ppid=5201 vsize=915916 CPUtime=0
/proc/5203/task/5206/stat : 5206 (java) S 5201 5203 4179 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 169090003 937897984 113971 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5203/tid=5207] ppid=5201 vsize=915916 CPUtime=0
/proc/5203/task/5207/stat : 5207 (java) S 5201 5203 4179 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 169090003 937897984 113971 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5203/tid=5208] ppid=5201 vsize=915916 CPUtime=0
/proc/5203/task/5208/stat : 5208 (java) S 5201 5203 4179 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 169090006 937897984 113971 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5203/tid=5209] ppid=5201 vsize=915916 CPUtime=0.42
/proc/5203/task/5209/stat : 5209 (java) S 5201 5203 4179 0 -1 64 589 0 0 0 40 2 0 0 16 0 8 0 169090006 937897984 113971 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5203/tid=5210] ppid=5201 vsize=915916 CPUtime=0
/proc/5203/task/5210/stat : 5210 (java) S 5201 5203 4179 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 169090006 937897984 113971 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5203/tid=5211] ppid=5201 vsize=915916 CPUtime=0.02
/proc/5203/task/5211/stat : 5211 (java) S 5201 5203 4179 0 -1 64 1 0 0 0 1 1 0 0 15 0 8 0 169090006 937897984 113971 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 915916

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

Child status: 143
Real time (s): 1816.12
CPU time (s): 1800.15
CPU user time (s): 1797.83
CPU system time (s): 2.32665
CPU usage (%): 99.1208
Max. virtual memory (cumulated for all children) (KiB): 915916

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.83
system time used= 2.32665
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 114366
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= 38883
involuntary context switches= 75005

runsolver used 2.46862 s user time and 4.84626 s system time

The end

Launcher Data (download as text)

Begin job on node76 on Sun Jan  7 21:55:29 UTC 2007


IDJOB= 211303
IDBENCH= 4684
FILE ID= node76/211303-1168206929

PBS_JOBID= 3480792

Free space on /tmp= 66634 MiB

BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/ttp/circ-10-3.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/211303-1168206929/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node76/watcher-211303-1168206929 -o ROOT/results/node76/solver-211303-1168206929 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/211303-1168206929/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  0e55a6b21f60962d919e77257912f16e

RANDOM SEED= 210210282

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.254
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	: 6006.17
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.254
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	: 5999.42
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055888 kB
MemFree:       1328768 kB
Buffers:         46460 kB
Cached:         586192 kB
SwapCached:        428 kB
Active:         159584 kB
Inactive:       513456 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055888 kB
LowFree:       1328768 kB
SwapTotal:     4096564 kB
SwapFree:      4095388 kB
Dirty:           14632 kB
Writeback:           0 kB
Mapped:          52680 kB
Slab:            39700 kB
Committed_AS:  6341348 kB
PageTables:       1780 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264388 kB
VmallocChunk: 536606243 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66638 MiB



End job on node76 on Sun Jan  7 22:25:45 UTC 2007