Trace number 206216

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Abscon 109 AC? (TO) 1800.12 1812.49

General information on the benchmark

Namerandom/rand-3-28-28/
rand-3-28-28-93-632-34_ext.xml
MD5SUMe0c16901ffb9b279c6d92aac488c3c21
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.29	   
0.29	Abscon 109 (November, 2006)
0.29	   
0.29	   configuration
0.29	     name=mac.xml
0.32	   
0.32	   instance
0.33	     name=/tmp/evaluation/206216-1168073534/unknown.xml
0.35	   
0.35	   domains being loaded...
0.36	   
0.36	   variables being loaded...
0.39	     nbVariables=28  nbDomainTypes=1  minDomainSize=28  maxDomainSize=28
0.39	       =>  wckTime=0.094  cpuTime=0.08  mem=6M951
0.39	   
0.39	   relations being loaded...
1.44	   
1.44	   constraints being loaded...
2.13	     nbConstraints=93  nbRelationTypes=93  nbExtensionStructures=93  nbSharedExtensionStructures=0
2.13	     nbConflictsStructures=93  nbSharedConflictsStructures=0  nbSharedBinaryRepresentations=0  maxDegree=15  maxArity=3
2.13	       =>  wckTime=1.83  cpuTime=1.47  mem=59M105
2.29	   
2.29	   solver IterativeSystematicSolver being built... 
2.46	       =>  wckTime=2.16  cpuTime=1.6  mem=66M390
2.46	   
2.46	   preprocessing
2.46	     nbConstraintChecks=0  nbPropagations=28  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
2.46	     detectedInconsistency=no
2.46	       =>  wckTime=0.0040  cpuTime=0.0  mem=66M390
2.59	   
2.59	   search
2.59	     run=0  nbConstraintChecks=35136  nbValidityChecks=63709  nbPropagations=447  nbRevisions=4736
2.59	     nbUselessRevisions=3863  nbAssignments=32  nbFailedAssignments=13  nbBacktracks=10  nbVisitedNodes=54
2.59	     nbRestartNogoods=0  mapSize=10  nbInferences=0  nbTooLargeKeys=0
2.59	       =>  wckTime=0.13  cpuTime=0.09  mem=66M390
2.71	   
2.71	   search
2.71	     run=1  nbConstraintChecks=98366  nbValidityChecks=190712  nbPropagations=1562  nbRevisions=17896
2.71	     nbUselessRevisions=14379  nbAssignments=89  nbFailedAssignments=46  nbBacktracks=25  nbVisitedNodes=154
2.71	     nbRestartNogoods=5  mapSize=24  nbInferences=0  nbTooLargeKeys=0
2.71	       =>  wckTime=0.256  cpuTime=0.21  mem=66M390
2.83	   
2.83	   search
2.83	     run=2  nbConstraintChecks=157114  nbValidityChecks=311318  nbPropagations=3521  nbRevisions=40450
2.83	     nbUselessRevisions=32379  nbAssignments=149  nbFailedAssignments=74  nbBacktracks=50  nbVisitedNodes=257
2.83	     nbRestartNogoods=8  mapSize=45  nbInferences=0  nbTooLargeKeys=0
2.83	       =>  wckTime=0.372  cpuTime=0.32  mem=66M390
3.03	   
3.03	   search
3.03	     run=3  nbConstraintChecks=281029  nbValidityChecks=563439  nbPropagations=6600  nbRevisions=78021
3.03	     nbUselessRevisions=62578  nbAssignments=245  nbFailedAssignments=129  nbBacktracks=83  nbVisitedNodes=432
3.03	     nbRestartNogoods=11  mapSize=73  nbInferences=0  nbTooLargeKeys=0
3.03	       =>  wckTime=0.568  cpuTime=0.52  mem=66M390
3.28	   
3.28	   search
3.28	     run=4  nbConstraintChecks=443653  nbValidityChecks=894566  nbPropagations=11389  nbRevisions=138611
3.28	     nbUselessRevisions=111261  nbAssignments=382  nbFailedAssignments=208  nbBacktracks=133  nbVisitedNodes=686
3.28	     nbRestartNogoods=17  mapSize=118  nbInferences=0  nbTooLargeKeys=0
3.28	       =>  wckTime=0.824  cpuTime=0.77  mem=66M390
3.64	   
3.64	   search
3.64	     run=5  nbConstraintChecks=652531  nbValidityChecks=1339356  nbPropagations=19254  nbRevisions=234479
3.64	     nbUselessRevisions=187732  nbAssignments=605  nbFailedAssignments=346  nbBacktracks=209  nbVisitedNodes=1101
3.64	     nbRestartNogoods=23  mapSize=191  nbInferences=0  nbTooLargeKeys=0
3.64	       =>  wckTime=1.185  cpuTime=1.12  mem=66M390
4.23	   
4.23	   search
4.23	     run=6  nbConstraintChecks=1004073  nbValidityChecks=2099253  nbPropagations=31555  nbRevisions=385924
4.23	     nbUselessRevisions=307536  nbAssignments=945  nbFailedAssignments=565  nbBacktracks=325  nbVisitedNodes=1732
4.23	     nbRestartNogoods=32  mapSize=296  nbInferences=0  nbTooLargeKeys=0
4.23	       =>  wckTime=1.772  cpuTime=1.7  mem=66M390
4.93	   
4.93	   search
4.93	     run=7  nbConstraintChecks=1417286  nbValidityChecks=2958947  nbPropagations=48955  nbRevisions=602859
4.93	     nbUselessRevisions=479726  nbAssignments=1334  nbFailedAssignments=775  nbBacktracks=495  nbVisitedNodes=2445
4.93	     nbRestartNogoods=33  mapSize=448  nbInferences=0  nbTooLargeKeys=0
4.93	       =>  wckTime=2.467  cpuTime=2.39  mem=66M390
5.97	   
5.97	   search
5.97	     run=8  nbConstraintChecks=2043050  nbValidityChecks=4254581  nbPropagations=74250  nbRevisions=912806
5.97	     nbUselessRevisions=725453  nbAssignments=1882  nbFailedAssignments=1059  nbBacktracks=751  nbVisitedNodes=3437
5.97	     nbRestartNogoods=42  mapSize=677  nbInferences=0  nbTooLargeKeys=0
5.97	       =>  wckTime=3.514  cpuTime=3.41  mem=66M390
7.87	   
7.87	   search
7.87	     run=9  nbConstraintChecks=3234037  nbValidityChecks=6699864  nbPropagations=112146  nbRevisions=1394808
7.87	     nbUselessRevisions=1110328  nbAssignments=2819  nbFailedAssignments=1603  nbBacktracks=1137  nbVisitedNodes=5186
7.87	     nbRestartNogoods=54  mapSize=1031  nbInferences=0  nbTooLargeKeys=0
7.87	       =>  wckTime=5.407  cpuTime=5.29  mem=67M381
7.93	   
7.93	   INFO : Stopping hyperNogood (mapSize=1041, nbTooLargekeys=0, mem=67M381)
9.90	   
9.90	   search
9.90	     run=10  nbConstraintChecks=4484553  nbValidityChecks=9387699  nbPropagations=167515  nbRevisions=2079237
9.90	     nbUselessRevisions=1655242  nbAssignments=3990  nbFailedAssignments=2190  nbBacktracks=1713  nbVisitedNodes=7322
9.90	     nbRestartNogoods=59
9.90	       =>  wckTime=7.437  cpuTime=7.3  mem=67M381
14.23	   
14.23	   search
14.23	     run=11  nbConstraintChecks=7125225  nbValidityChecks=14784887  nbPropagations=252388  nbRevisions=3119727
14.23	     nbUselessRevisions=2476433  nbAssignments=6029  nbFailedAssignments=3355  nbBacktracks=2577  nbVisitedNodes=11097
14.23	     nbRestartNogoods=72
14.23	       =>  wckTime=11.773  cpuTime=11.61  mem=67M381
19.14	   
19.14	   search
19.14	     run=12  nbConstraintChecks=10209949  nbValidityChecks=21503157  nbPropagations=381460  nbRevisions=4661332
19.14	     nbUselessRevisions=3690538  nbAssignments=9514  nbFailedAssignments=5534  nbBacktracks=3874  nbVisitedNodes=17607
19.14	     nbRestartNogoods=91
19.14	       =>  wckTime=16.677  cpuTime=16.5  mem=67M381
30.34	   
30.34	   search
30.34	     run=13  nbConstraintChecks=17225738  nbValidityChecks=35871251  nbPropagations=585592  nbRevisions=7174909
30.34	     nbUselessRevisions=5673206  nbAssignments=14672  nbFailedAssignments=8739  nbBacktracks=5820  nbVisitedNodes=27368
30.34	     nbRestartNogoods=105
30.34	       =>  wckTime=27.883  cpuTime=27.65  mem=67M381
42.25	   
42.25	   search
42.25	     run=14  nbConstraintChecks=25015975  nbValidityChecks=51981517  nbPropagations=879748  nbRevisions=10864081
42.25	     nbUselessRevisions=8591898  nbAssignments=21772  nbFailedAssignments=12912  nbBacktracks=8739  nbVisitedNodes=40539
42.25	     nbRestartNogoods=115
42.25	       =>  wckTime=39.79  cpuTime=39.5  mem=67M381
63.47	   
63.47	   search
63.47	     run=15  nbConstraintChecks=38268725  nbValidityChecks=79279835  nbPropagations=1319091  nbRevisions=16377705
63.47	     nbUselessRevisions=12952369  nbAssignments=31819  nbFailedAssignments=18573  nbBacktracks=13117
63.47	     nbVisitedNodes=59156  nbRestartNogoods=130
63.47	       =>  wckTime=61.009  cpuTime=60.6  mem=67M381
87.90	   
87.90	   search
87.90	     run=16  nbConstraintChecks=53399949  nbValidityChecks=111725184  nbPropagations=1968372  nbRevisions=24336805
87.90	     nbUselessRevisions=19247520  nbAssignments=46135  nbFailedAssignments=26314  nbBacktracks=19685
87.90	     nbVisitedNodes=85414  nbRestartNogoods=147
87.90	       =>  wckTime=85.441  cpuTime=84.9  mem=67M381
124.31	   
124.31	   search
124.31	     run=17  nbConstraintChecks=76239497  nbValidityChecks=160301937  nbPropagations=2963137  nbRevisions=36301864
124.31	     nbUselessRevisions=28712711  nbAssignments=70572  nbFailedAssignments=40891  nbBacktracks=29537
124.31	     nbVisitedNodes=131217  nbRestartNogoods=157
124.31	       =>  wckTime=121.847  cpuTime=121.13  mem=67M381
204.93	   
204.93	   search
204.93	     run=18  nbConstraintChecks=126965228  nbValidityChecks=265069646  nbPropagations=4553909  nbRevisions=55689818
204.93	     nbUselessRevisions=44014590  nbAssignments=110259  nbFailedAssignments=65793  nbBacktracks=44315
204.93	     nbVisitedNodes=206657  nbRestartNogoods=172
204.93	       =>  wckTime=202.476  cpuTime=201.36  mem=67M381
307.24	   
307.24	   search
307.24	     run=19  nbConstraintChecks=192021620  nbValidityChecks=400730730  nbPropagations=6950858  nbRevisions=84741441
307.24	     nbUselessRevisions=66905311  nbAssignments=165475  nbFailedAssignments=98833  nbBacktracks=66483
307.24	     nbVisitedNodes=310379  nbRestartNogoods=187
307.24	       =>  wckTime=304.781  cpuTime=303.14  mem=67M381
455.47	   
455.47	   search
455.47	     run=20  nbConstraintChecks=284105271  nbValidityChecks=594613604  nbPropagations=10456131  nbRevisions=127677256
455.47	     nbUselessRevisions=100776996  nbAssignments=242622  nbFailedAssignments=142721  nbBacktracks=99735
455.47	     nbVisitedNodes=453446  nbRestartNogoods=211
455.47	       =>  wckTime=453.009  cpuTime=450.6  mem=67M381
698.38	   
698.39	   search
698.39	     run=21  nbConstraintChecks=440729810  nbValidityChecks=907255954  nbPropagations=15531405  nbRevisions=191169360
698.39	     nbUselessRevisions=151009740  nbAssignments=364832  nbFailedAssignments=215044  nbBacktracks=149614
698.39	     nbVisitedNodes=680659  nbRestartNogoods=232
698.39	       =>  wckTime=695.927  cpuTime=692.2  mem=67M381
1065.29	   
1065.29	   search
1065.29	     run=22  nbConstraintChecks=670020669  nbValidityChecks=1385260500  nbPropagations=23249260  nbRevisions=286891860
1065.29	     nbUselessRevisions=226660656  nbAssignments=541450  nbFailedAssignments=316836  nbBacktracks=224433
1065.29	     nbVisitedNodes=1010669  nbRestartNogoods=259
1065.29	       =>  wckTime=1062.833  cpuTime=1057.03  mem=67M381
1528.81	   
1528.81	   search
1528.81	     run=23  nbConstraintChecks=959160147  nbValidityChecks=1996309770  nbPropagations=34711334  nbRevisions=427026194
1528.81	     nbUselessRevisions=337380828  nbAssignments=820425  nbFailedAssignments=483575  nbBacktracks=336660
1528.81	     nbVisitedNodes=1529823  nbRestartNogoods=278
1528.81	       =>  wckTime=1526.347  cpuTime=1516.34  mem=67M381

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/node35/watcher-206216-1168073534 -o ROOT/results/node35/solver-206216-1168073534 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/206216-1168073534/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.08 0.98 1.12 4/70 13139
/proc/meminfo: memFree=1647752/2055920 swapFree=4192812/4192956
[pid=13138] ppid=13135 vsize=1784 CPUtime=0
/proc/13138/stat : 13138 (java) R 13135 13138 13005 0 -1 0 169 0 0 0 0 0 0 0 18 0 1 0 155747918 1826816 140 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 0 0 0 17 1 0 0
/proc/13138/statm: 446 140 106 14 0 91 0

[startup+0.103231 s]
/proc/loadavg: 1.08 0.98 1.12 4/70 13139
/proc/meminfo: memFree=1647752/2055920 swapFree=4192812/4192956
[pid=13138] ppid=13135 vsize=914988 CPUtime=0.08
/proc/13138/stat : 13138 (java) S 13135 13138 13005 0 -1 0 2997 0 1 0 7 1 0 0 22 0 8 0 155747918 936947712 2743 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13138/statm: 228747 2743 1427 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988

[startup+0.511281 s]
/proc/loadavg: 1.08 0.98 1.12 4/70 13139
/proc/meminfo: memFree=1647752/2055920 swapFree=4192812/4192956
[pid=13138] ppid=13135 vsize=915328 CPUtime=0.49
/proc/13138/stat : 13138 (java) R 13135 13138 13005 0 -1 0 8207 0 1 0 44 5 0 0 25 0 8 0 155747918 937295872 7946 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073445380 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13138/statm: 228832 7946 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328

[startup+1.33238 s]
/proc/loadavg: 1.16 1.00 1.12 3/87 13156
/proc/meminfo: memFree=1513344/2055920 swapFree=4192812/4192956
[pid=13138] ppid=13135 vsize=915328 CPUtime=1.3
/proc/13138/stat : 13138 (java) R 13135 13138 13005 0 -1 0 19100 0 1 0 121 9 0 0 25 0 8 0 155747918 937295872 18838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073565598 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13138/statm: 228832 18838 2149 14 0 215302 0
[pid=13138/tid=13143] ppid=13135 vsize=915328 CPUtime=0.04
/proc/13138/task/13143/stat : 13143 (java) S 13135 13138 13005 0 -1 64 2681 0 0 0 4 0 0 0 17 0 8 0 155747922 937295872 18838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13138/tid=13145] ppid=13135 vsize=915328 CPUtime=0
/proc/13138/task/13145/stat : 13145 (java) S 13135 13138 13005 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155747923 937295872 18838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13138/tid=13146] ppid=13135 vsize=915328 CPUtime=0
/proc/13138/task/13146/stat : 13146 (java) S 13135 13138 13005 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155747923 937295872 18838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13138/tid=13149] ppid=13135 vsize=915328 CPUtime=0
/proc/13138/task/13149/stat : 13149 (java) S 13135 13138 13005 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155747926 937295872 18838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13138/tid=13150] ppid=13135 vsize=915328 CPUtime=0.08
/proc/13138/task/13150/stat : 13150 (java) S 13135 13138 13005 0 -1 64 309 0 0 0 8 0 0 0 16 0 8 0 155747926 937295872 18838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13138/tid=13151] ppid=13135 vsize=915328 CPUtime=0
/proc/13138/task/13151/stat : 13151 (java) S 13135 13138 13005 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155747926 937295872 18838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13138/tid=13152] ppid=13135 vsize=915328 CPUtime=0
/proc/13138/task/13152/stat : 13152 (java) S 13135 13138 13005 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155747926 937295872 18838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915328

[startup+2.96957 s]
/proc/loadavg: 1.16 1.00 1.12 5/87 13156
/proc/meminfo: memFree=1432136/2055920 swapFree=4192812/4192956
[pid=13138] ppid=13135 vsize=915424 CPUtime=2.94
/proc/13138/stat : 13138 (java) R 13135 13138 13005 0 -1 0 32681 0 1 0 279 15 0 0 25 0 8 0 155747918 937394176 32415 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073789436 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13138/statm: 228856 32415 2521 14 0 215326 0
[pid=13138/tid=13143] ppid=13135 vsize=915424 CPUtime=0.43
/proc/13138/task/13143/stat : 13143 (java) S 13135 13138 13005 0 -1 64 15713 0 0 0 39 4 0 0 16 0 8 0 155747922 937394176 32415 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13138/tid=13145] ppid=13135 vsize=915424 CPUtime=0
/proc/13138/task/13145/stat : 13145 (java) S 13135 13138 13005 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155747923 937394176 32415 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13138/tid=13146] ppid=13135 vsize=915424 CPUtime=0
/proc/13138/task/13146/stat : 13146 (java) S 13135 13138 13005 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155747923 937394176 32415 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13138/tid=13149] ppid=13135 vsize=915424 CPUtime=0
/proc/13138/task/13149/stat : 13149 (java) S 13135 13138 13005 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155747926 937394176 32415 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13138/tid=13150] ppid=13135 vsize=915424 CPUtime=0.2
/proc/13138/task/13150/stat : 13150 (java) S 13135 13138 13005 0 -1 64 371 0 0 0 19 1 0 0 15 0 8 0 155747926 937394176 32415 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13138/tid=13151] ppid=13135 vsize=915424 CPUtime=0
/proc/13138/task/13151/stat : 13151 (java) S 13135 13138 13005 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155747926 937394176 32415 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13138/tid=13152] ppid=13135 vsize=915424 CPUtime=0
/proc/13138/task/13152/stat : 13152 (java) S 13135 13138 13005 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155747926 937394176 32415 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915424

[startup+6.26596 s]
/proc/loadavg: 1.22 1.02 1.13 4/87 13156
/proc/meminfo: memFree=1407952/2055920 swapFree=4192812/4192956
[pid=13138] ppid=13135 vsize=915424 CPUtime=6.21
/proc/13138/stat : 13138 (java) R 13135 13138 13005 0 -1 0 32699 0 1 0 606 15 0 0 25 0 8 0 155747918 937394176 32430 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073629940 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13138/statm: 228856 32430 2521 14 0 215326 0
[pid=13138/tid=13143] ppid=13135 vsize=915424 CPUtime=0.43
/proc/13138/task/13143/stat : 13143 (java) S 13135 13138 13005 0 -1 64 15713 0 0 0 39 4 0 0 17 0 8 0 155747922 937394176 32430 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13138/tid=13145] ppid=13135 vsize=915424 CPUtime=0
/proc/13138/task/13145/stat : 13145 (java) S 13135 13138 13005 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155747923 937394176 32430 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13138/tid=13146] ppid=13135 vsize=915424 CPUtime=0
/proc/13138/task/13146/stat : 13146 (java) S 13135 13138 13005 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155747923 937394176 32430 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13138/tid=13149] ppid=13135 vsize=915424 CPUtime=0
/proc/13138/task/13149/stat : 13149 (java) S 13135 13138 13005 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155747926 937394176 32430 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13138/tid=13150] ppid=13135 vsize=915424 CPUtime=0.24
/proc/13138/task/13150/stat : 13150 (java) S 13135 13138 13005 0 -1 64 387 0 0 0 23 1 0 0 15 0 8 0 155747926 937394176 32430 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13138/tid=13151] ppid=13135 vsize=915424 CPUtime=0
/proc/13138/task/13151/stat : 13151 (java) S 13135 13138 13005 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155747926 937394176 32430 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13138/tid=13152] ppid=13135 vsize=915424 CPUtime=0
/proc/13138/task/13152/stat : 13152 (java) S 13135 13138 13005 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155747926 937394176 32430 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) 915424

[startup+12.7417 s]
/proc/loadavg: 1.29 1.03 1.13 3/87 13156
/proc/meminfo: memFree=1407888/2055920 swapFree=4192812/4192956
[pid=13138] ppid=13135 vsize=915424 CPUtime=12.66
/proc/13138/stat : 13138 (java) R 13135 13138 13005 0 -1 0 32706 0 1 0 1250 16 0 0 25 0 8 0 155747918 937394176 32435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073629940 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13138/statm: 228856 32435 2521 14 0 215326 0
[pid=13138/tid=13143] ppid=13135 vsize=915424 CPUtime=0.43
/proc/13138/task/13143/stat : 13143 (java) S 13135 13138 13005 0 -1 64 15713 0 0 0 39 4 0 0 16 0 8 0 155747922 937394176 32435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13138/tid=13145] ppid=13135 vsize=915424 CPUtime=0
/proc/13138/task/13145/stat : 13145 (java) S 13135 13138 13005 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155747923 937394176 32435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13138/tid=13146] ppid=13135 vsize=915424 CPUtime=0
/proc/13138/task/13146/stat : 13146 (java) S 13135 13138 13005 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155747923 937394176 32435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13138/tid=13149] ppid=13135 vsize=915424 CPUtime=0
/proc/13138/task/13149/stat : 13149 (java) S 13135 13138 13005 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155747926 937394176 32435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13138/tid=13150] ppid=13135 vsize=915424 CPUtime=0.24
/proc/13138/task/13150/stat : 13150 (java) S 13135 13138 13005 0 -1 64 393 0 0 0 23 1 0 0 16 0 8 0 155747926 937394176 32435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13138/tid=13151] ppid=13135 vsize=915424 CPUtime=0
/proc/13138/task/13151/stat : 13151 (java) S 13135 13138 13005 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155747926 937394176 32435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13138/tid=13152] ppid=13135 vsize=915424 CPUtime=0
/proc/13138/task/13152/stat : 13152 (java) S 13135 13138 13005 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155747926 937394176 32435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 915424

[startup+25.6193 s]
/proc/loadavg: 1.40 1.06 1.14 3/87 13156
/proc/meminfo: memFree=1407952/2055920 swapFree=4192812/4192956
[pid=13138] ppid=13135 vsize=915424 CPUtime=25.47
/proc/13138/stat : 13138 (java) R 13135 13138 13005 0 -1 0 32706 0 1 0 2531 16 0 0 25 0 8 0 155747918 937394176 32435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073775694 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13138/statm: 228856 32435 2521 14 0 215326 0
[pid=13138/tid=13143] ppid=13135 vsize=915424 CPUtime=0.43
/proc/13138/task/13143/stat : 13143 (java) S 13135 13138 13005 0 -1 64 15713 0 0 0 39 4 0 0 16 0 8 0 155747922 937394176 32435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13138/tid=13145] ppid=13135 vsize=915424 CPUtime=0
/proc/13138/task/13145/stat : 13145 (java) S 13135 13138 13005 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155747923 937394176 32435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13138/tid=13146] ppid=13135 vsize=915424 CPUtime=0
/proc/13138/task/13146/stat : 13146 (java) S 13135 13138 13005 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155747923 937394176 32435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13138/tid=13149] ppid=13135 vsize=915424 CPUtime=0
/proc/13138/task/13149/stat : 13149 (java) S 13135 13138 13005 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155747926 937394176 32435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13138/tid=13150] ppid=13135 vsize=915424 CPUtime=0.24
/proc/13138/task/13150/stat : 13150 (java) S 13135 13138 13005 0 -1 64 393 0 0 0 23 1 0 0 16 0 8 0 155747926 937394176 32435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13138/tid=13151] ppid=13135 vsize=915424 CPUtime=0
/proc/13138/task/13151/stat : 13151 (java) S 13135 13138 13005 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155747926 937394176 32435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13138/tid=13152] ppid=13135 vsize=915424 CPUtime=0
/proc/13138/task/13152/stat : 13152 (java) S 13135 13138 13005 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155747926 937394176 32435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 915424

[startup+51.2413 s]
/proc/loadavg: 1.63 1.15 1.17 3/87 13156
/proc/meminfo: memFree=1407952/2055920 swapFree=4192812/4192956
[pid=13138] ppid=13135 vsize=915424 CPUtime=50.96
/proc/13138/stat : 13138 (java) R 13135 13138 13005 0 -1 0 32706 0 1 0 5079 17 0 0 25 0 8 0 155747918 937394176 32435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073774751 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13138/statm: 228856 32435 2521 14 0 215326 0
[pid=13138/tid=13143] ppid=13135 vsize=915424 CPUtime=0.43
/proc/13138/task/13143/stat : 13143 (java) S 13135 13138 13005 0 -1 64 15713 0 0 0 39 4 0 0 16 0 8 0 155747922 937394176 32435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13138/tid=13145] ppid=13135 vsize=915424 CPUtime=0
/proc/13138/task/13145/stat : 13145 (java) S 13135 13138 13005 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155747923 937394176 32435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13138/tid=13146] ppid=13135 vsize=915424 CPUtime=0
/proc/13138/task/13146/stat : 13146 (java) S 13135 13138 13005 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155747923 937394176 32435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13138/tid=13149] ppid=13135 vsize=915424 CPUtime=0
/proc/13138/task/13149/stat : 13149 (java) S 13135 13138 13005 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155747926 937394176 32435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13138/tid=13150] ppid=13135 vsize=915424 CPUtime=0.24
/proc/13138/task/13150/stat : 13150 (java) S 13135 13138 13005 0 -1 64 393 0 0 0 23 1 0 0 16 0 8 0 155747926 937394176 32435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13138/tid=13151] ppid=13135 vsize=915424 CPUtime=0
/proc/13138/task/13151/stat : 13151 (java) S 13135 13138 13005 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155747926 937394176 32435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13138/tid=13152] ppid=13135 vsize=915424 CPUtime=0
/proc/13138/task/13152/stat : 13152 (java) S 13135 13138 13005 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155747926 937394176 32435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.96
Current children cumulated vsize (KiB) 915424

[startup+102.475 s]
/proc/loadavg: 1.84 1.28 1.21 3/87 13156
/proc/meminfo: memFree=1408016/2055920 swapFree=4192812/4192956
[pid=13138] ppid=13135 vsize=915424 CPUtime=101.94
/proc/13138/stat : 13138 (java) R 13135 13138 13005 0 -1 0 32708 0 1 0 10177 17 0 0 25 0 8 0 155747918 937394176 32436 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073629940 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13138/statm: 228856 32436 2521 14 0 215326 0
[pid=13138/tid=13143] ppid=13135 vsize=915424 CPUtime=0.43
/proc/13138/task/13143/stat : 13143 (java) S 13135 13138 13005 0 -1 64 15713 0 0 0 39 4 0 0 16 0 8 0 155747922 937394176 32436 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13138/tid=13145] ppid=13135 vsize=915424 CPUtime=0
/proc/13138/task/13145/stat : 13145 (java) S 13135 13138 13005 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155747923 937394176 32436 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13138/tid=13146] ppid=13135 vsize=915424 CPUtime=0
/proc/13138/task/13146/stat : 13146 (java) S 13135 13138 13005 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155747923 937394176 32436 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13138/tid=13149] ppid=13135 vsize=915424 CPUtime=0
/proc/13138/task/13149/stat : 13149 (java) S 13135 13138 13005 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155747926 937394176 32436 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13138/tid=13150] ppid=13135 vsize=915424 CPUtime=0.25
/proc/13138/task/13150/stat : 13150 (java) S 13135 13138 13005 0 -1 64 394 0 0 0 24 1 0 0 16 0 8 0 155747926 937394176 32436 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13138/tid=13151] ppid=13135 vsize=915424 CPUtime=0
/proc/13138/task/13151/stat : 13151 (java) S 13135 13138 13005 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155747926 937394176 32436 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13138/tid=13152] ppid=13135 vsize=915424 CPUtime=0
/proc/13138/task/13152/stat : 13152 (java) S 13135 13138 13005 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155747926 937394176 32436 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.94
Current children cumulated vsize (KiB) 915424

[startup+162.558 s]
/proc/loadavg: 1.94 1.41 1.25 3/87 13156
/proc/meminfo: memFree=1408080/2055920 swapFree=4192812/4192956
[pid=13138] ppid=13135 vsize=915424 CPUtime=161.72
/proc/13138/stat : 13138 (java) R 13135 13138 13005 0 -1 0 32708 0 1 0 16155 17 0 0 25 0 8 0 155747918 937394176 32436 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073768312 0 4 0 23759 18446744073709551615 0 0 17 0 0 0

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

Current children cumulated CPU time (s) 1415.3
Current children cumulated vsize (KiB) 915424

[startup+1484.31 s]
/proc/loadavg: 2.00 1.97 1.79 3/87 13354
/proc/meminfo: memFree=1407504/2055920 swapFree=4192812/4192956
[pid=13138] ppid=13135 vsize=915424 CPUtime=1474.81
/proc/13138/stat : 13138 (java) R 13135 13138 13005 0 -1 0 32709 0 1 0 147440 41 0 0 25 0 8 0 155747918 937394176 32437 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073826710 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13138/statm: 228856 32437 2521 14 0 215326 0
[pid=13138/tid=13143] ppid=13135 vsize=915424 CPUtime=0.44
/proc/13138/task/13143/stat : 13143 (java) S 13135 13138 13005 0 -1 64 15713 0 0 0 39 5 0 0 16 0 8 0 155747922 937394176 32437 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13138/tid=13145] ppid=13135 vsize=915424 CPUtime=0
/proc/13138/task/13145/stat : 13145 (java) S 13135 13138 13005 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155747923 937394176 32437 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13138/tid=13146] ppid=13135 vsize=915424 CPUtime=0
/proc/13138/task/13146/stat : 13146 (java) S 13135 13138 13005 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155747923 937394176 32437 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13138/tid=13149] ppid=13135 vsize=915424 CPUtime=0
/proc/13138/task/13149/stat : 13149 (java) S 13135 13138 13005 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155747926 937394176 32437 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13138/tid=13150] ppid=13135 vsize=915424 CPUtime=0.25
/proc/13138/task/13150/stat : 13150 (java) S 13135 13138 13005 0 -1 64 395 0 0 0 24 1 0 0 16 0 8 0 155747926 937394176 32437 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13138/tid=13151] ppid=13135 vsize=915424 CPUtime=0
/proc/13138/task/13151/stat : 13151 (java) S 13135 13138 13005 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155747926 937394176 32437 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13138/tid=13152] ppid=13135 vsize=915424 CPUtime=0.01
/proc/13138/task/13152/stat : 13152 (java) R 13135 13138 13005 0 -1 64 1 0 0 0 1 0 0 0 15 0 8 0 155747926 937394176 32437 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1474.81
Current children cumulated vsize (KiB) 915424

[startup+1544.4 s]
/proc/loadavg: 2.00 1.97 1.81 3/87 13354
/proc/meminfo: memFree=1407568/2055920 swapFree=4192812/4192956
[pid=13138] ppid=13135 vsize=915424 CPUtime=1534.36
/proc/13138/stat : 13138 (java) R 13135 13138 13005 0 -1 0 32709 0 1 0 153394 42 0 0 25 0 8 0 155747918 937394176 32437 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073629997 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13138/statm: 228856 32437 2521 14 0 215326 0
[pid=13138/tid=13143] ppid=13135 vsize=915424 CPUtime=0.44
/proc/13138/task/13143/stat : 13143 (java) S 13135 13138 13005 0 -1 64 15713 0 0 0 39 5 0 0 16 0 8 0 155747922 937394176 32437 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13138/tid=13145] ppid=13135 vsize=915424 CPUtime=0
/proc/13138/task/13145/stat : 13145 (java) S 13135 13138 13005 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155747923 937394176 32437 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13138/tid=13146] ppid=13135 vsize=915424 CPUtime=0
/proc/13138/task/13146/stat : 13146 (java) S 13135 13138 13005 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155747923 937394176 32437 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13138/tid=13149] ppid=13135 vsize=915424 CPUtime=0
/proc/13138/task/13149/stat : 13149 (java) S 13135 13138 13005 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155747926 937394176 32437 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13138/tid=13150] ppid=13135 vsize=915424 CPUtime=0.25
/proc/13138/task/13150/stat : 13150 (java) S 13135 13138 13005 0 -1 64 395 0 0 0 24 1 0 0 16 0 8 0 155747926 937394176 32437 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13138/tid=13151] ppid=13135 vsize=915424 CPUtime=0
/proc/13138/task/13151/stat : 13151 (java) S 13135 13138 13005 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155747926 937394176 32437 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13138/tid=13152] ppid=13135 vsize=915424 CPUtime=0.02
/proc/13138/task/13152/stat : 13152 (java) S 13135 13138 13005 0 -1 64 1 0 0 0 2 0 0 0 15 0 8 0 155747926 937394176 32437 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1534.36
Current children cumulated vsize (KiB) 915424

[startup+1604.48 s]
/proc/loadavg: 2.00 1.97 1.82 3/87 13354
/proc/meminfo: memFree=1407504/2055920 swapFree=4192812/4192956
[pid=13138] ppid=13135 vsize=915424 CPUtime=1593.92
/proc/13138/stat : 13138 (java) R 13135 13138 13005 0 -1 0 32709 0 1 0 159350 42 0 0 25 0 8 0 155747918 937394176 32437 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073771105 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13138/statm: 228856 32437 2521 14 0 215326 0
[pid=13138/tid=13143] ppid=13135 vsize=915424 CPUtime=0.44
/proc/13138/task/13143/stat : 13143 (java) S 13135 13138 13005 0 -1 64 15713 0 0 0 39 5 0 0 16 0 8 0 155747922 937394176 32437 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13138/tid=13145] ppid=13135 vsize=915424 CPUtime=0
/proc/13138/task/13145/stat : 13145 (java) S 13135 13138 13005 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155747923 937394176 32437 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13138/tid=13146] ppid=13135 vsize=915424 CPUtime=0
/proc/13138/task/13146/stat : 13146 (java) S 13135 13138 13005 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155747923 937394176 32437 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13138/tid=13149] ppid=13135 vsize=915424 CPUtime=0
/proc/13138/task/13149/stat : 13149 (java) S 13135 13138 13005 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155747926 937394176 32437 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13138/tid=13150] ppid=13135 vsize=915424 CPUtime=0.25
/proc/13138/task/13150/stat : 13150 (java) S 13135 13138 13005 0 -1 64 395 0 0 0 24 1 0 0 16 0 8 0 155747926 937394176 32437 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13138/tid=13151] ppid=13135 vsize=915424 CPUtime=0
/proc/13138/task/13151/stat : 13151 (java) S 13135 13138 13005 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155747926 937394176 32437 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13138/tid=13152] ppid=13135 vsize=915424 CPUtime=0.03
/proc/13138/task/13152/stat : 13152 (java) S 13135 13138 13005 0 -1 64 1 0 0 0 2 1 0 0 15 0 8 0 155747926 937394176 32437 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1593.92
Current children cumulated vsize (KiB) 915424

[startup+1664.57 s]
/proc/loadavg: 2.04 1.99 1.83 3/87 13356
/proc/meminfo: memFree=1407376/2055920 swapFree=4192812/4192956
[pid=13138] ppid=13135 vsize=915424 CPUtime=1653.45
/proc/13138/stat : 13138 (java) R 13135 13138 13005 0 -1 0 32709 0 1 0 165303 42 0 0 25 0 8 0 155747918 937394176 32437 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073826720 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13138/statm: 228856 32437 2521 14 0 215326 0
[pid=13138/tid=13143] ppid=13135 vsize=915424 CPUtime=0.44
/proc/13138/task/13143/stat : 13143 (java) S 13135 13138 13005 0 -1 64 15713 0 0 0 39 5 0 0 16 0 8 0 155747922 937394176 32437 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13138/tid=13145] ppid=13135 vsize=915424 CPUtime=0
/proc/13138/task/13145/stat : 13145 (java) S 13135 13138 13005 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155747923 937394176 32437 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13138/tid=13146] ppid=13135 vsize=915424 CPUtime=0
/proc/13138/task/13146/stat : 13146 (java) S 13135 13138 13005 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155747923 937394176 32437 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13138/tid=13149] ppid=13135 vsize=915424 CPUtime=0
/proc/13138/task/13149/stat : 13149 (java) S 13135 13138 13005 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155747926 937394176 32437 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13138/tid=13150] ppid=13135 vsize=915424 CPUtime=0.25
/proc/13138/task/13150/stat : 13150 (java) S 13135 13138 13005 0 -1 64 395 0 0 0 24 1 0 0 16 0 8 0 155747926 937394176 32437 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13138/tid=13151] ppid=13135 vsize=915424 CPUtime=0
/proc/13138/task/13151/stat : 13151 (java) S 13135 13138 13005 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155747926 937394176 32437 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13138/tid=13152] ppid=13135 vsize=915424 CPUtime=0.03
/proc/13138/task/13152/stat : 13152 (java) S 13135 13138 13005 0 -1 64 1 0 0 0 2 1 0 0 15 0 8 0 155747926 937394176 32437 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1653.45
Current children cumulated vsize (KiB) 915424

[startup+1724.65 s]
/proc/loadavg: 2.01 1.99 1.83 3/87 13356
/proc/meminfo: memFree=1407376/2055920 swapFree=4192812/4192956
[pid=13138] ppid=13135 vsize=915424 CPUtime=1713.01
/proc/13138/stat : 13138 (java) R 13135 13138 13005 0 -1 0 32709 0 1 0 171258 43 0 0 25 0 8 0 155747918 937394176 32437 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13138/statm: 228856 32437 2521 14 0 215326 0
[pid=13138/tid=13143] ppid=13135 vsize=915424 CPUtime=0.44
/proc/13138/task/13143/stat : 13143 (java) S 13135 13138 13005 0 -1 64 15713 0 0 0 39 5 0 0 16 0 8 0 155747922 937394176 32437 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13138/tid=13145] ppid=13135 vsize=915424 CPUtime=0
/proc/13138/task/13145/stat : 13145 (java) S 13135 13138 13005 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155747923 937394176 32437 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13138/tid=13146] ppid=13135 vsize=915424 CPUtime=0
/proc/13138/task/13146/stat : 13146 (java) S 13135 13138 13005 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155747923 937394176 32437 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13138/tid=13149] ppid=13135 vsize=915424 CPUtime=0
/proc/13138/task/13149/stat : 13149 (java) S 13135 13138 13005 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155747926 937394176 32437 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13138/tid=13150] ppid=13135 vsize=915424 CPUtime=0.25
/proc/13138/task/13150/stat : 13150 (java) S 13135 13138 13005 0 -1 64 395 0 0 0 24 1 0 0 16 0 8 0 155747926 937394176 32437 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13138/tid=13151] ppid=13135 vsize=915424 CPUtime=0
/proc/13138/task/13151/stat : 13151 (java) S 13135 13138 13005 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155747926 937394176 32437 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13138/tid=13152] ppid=13135 vsize=915424 CPUtime=0.03
/proc/13138/task/13152/stat : 13152 (java) S 13135 13138 13005 0 -1 64 1 0 0 0 2 1 0 0 15 0 8 0 155747926 937394176 32437 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1713.01
Current children cumulated vsize (KiB) 915424

[startup+1784.74 s]
/proc/loadavg: 2.00 1.99 1.84 3/87 13356
/proc/meminfo: memFree=1407440/2055920 swapFree=4192812/4192956
[pid=13138] ppid=13135 vsize=915424 CPUtime=1772.58
/proc/13138/stat : 13138 (java) R 13135 13138 13005 0 -1 0 32709 0 1 0 177215 43 0 0 25 0 8 0 155747918 937394176 32437 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073766004 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13138/statm: 228856 32437 2521 14 0 215326 0
[pid=13138/tid=13143] ppid=13135 vsize=915424 CPUtime=0.44
/proc/13138/task/13143/stat : 13143 (java) S 13135 13138 13005 0 -1 64 15713 0 0 0 39 5 0 0 16 0 8 0 155747922 937394176 32437 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13138/tid=13145] ppid=13135 vsize=915424 CPUtime=0
/proc/13138/task/13145/stat : 13145 (java) S 13135 13138 13005 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155747923 937394176 32437 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13138/tid=13146] ppid=13135 vsize=915424 CPUtime=0
/proc/13138/task/13146/stat : 13146 (java) S 13135 13138 13005 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155747923 937394176 32437 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13138/tid=13149] ppid=13135 vsize=915424 CPUtime=0
/proc/13138/task/13149/stat : 13149 (java) S 13135 13138 13005 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155747926 937394176 32437 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13138/tid=13150] ppid=13135 vsize=915424 CPUtime=0.25
/proc/13138/task/13150/stat : 13150 (java) S 13135 13138 13005 0 -1 64 395 0 0 0 24 1 0 0 16 0 8 0 155747926 937394176 32437 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13138/tid=13151] ppid=13135 vsize=915424 CPUtime=0
/proc/13138/task/13151/stat : 13151 (java) S 13135 13138 13005 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155747926 937394176 32437 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13138/tid=13152] ppid=13135 vsize=915424 CPUtime=0.03
/proc/13138/task/13152/stat : 13152 (java) S 13135 13138 13005 0 -1 64 1 0 0 0 2 1 0 0 15 0 8 0 155747926 937394176 32437 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1772.58
Current children cumulated vsize (KiB) 915424



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1812.42 s]
/proc/loadavg: 1.85 1.95 1.83 2/75 13425
/proc/meminfo: memFree=1534320/2055920 swapFree=4192812/4192956
[pid=13138] ppid=13135 vsize=915424 CPUtime=1800.05
/proc/13138/stat : 13138 (java) R 13135 13138 13005 0 -1 0 32709 0 1 0 179961 44 0 0 25 0 8 0 155747918 937394176 32437 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073629987 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13138/statm: 228856 32437 2521 14 0 215326 0
[pid=13138/tid=13143] ppid=13135 vsize=915424 CPUtime=0.44
/proc/13138/task/13143/stat : 13143 (java) S 13135 13138 13005 0 -1 64 15713 0 0 0 39 5 0 0 16 0 8 0 155747922 937394176 32437 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13138/tid=13145] ppid=13135 vsize=915424 CPUtime=0
/proc/13138/task/13145/stat : 13145 (java) S 13135 13138 13005 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155747923 937394176 32437 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13138/tid=13146] ppid=13135 vsize=915424 CPUtime=0
/proc/13138/task/13146/stat : 13146 (java) S 13135 13138 13005 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155747923 937394176 32437 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13138/tid=13149] ppid=13135 vsize=915424 CPUtime=0
/proc/13138/task/13149/stat : 13149 (java) S 13135 13138 13005 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155747926 937394176 32437 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13138/tid=13150] ppid=13135 vsize=915424 CPUtime=0.25
/proc/13138/task/13150/stat : 13150 (java) S 13135 13138 13005 0 -1 64 395 0 0 0 24 1 0 0 16 0 8 0 155747926 937394176 32437 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13138/tid=13151] ppid=13135 vsize=915424 CPUtime=0
/proc/13138/task/13151/stat : 13151 (java) S 13135 13138 13005 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155747926 937394176 32437 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13138/tid=13152] ppid=13135 vsize=915424 CPUtime=0.03
/proc/13138/task/13152/stat : 13152 (java) S 13135 13138 13005 0 -1 64 1 0 0 0 2 1 0 0 15 0 8 0 155747926 937394176 32437 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 915424

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

Child status: 143
Real time (s): 1812.49
CPU time (s): 1800.12
CPU user time (s): 1799.66
CPU system time (s): 0.465929
CPU usage (%): 99.3176
Max. virtual memory (cumulated for all children) (KiB): 915424

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.66
system time used= 0.465929
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32726
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= 37830
involuntary context switches= 84762

runsolver used 2.04469 s user time and 5.37718 s system time

The end

Launcher Data (download as text)

Begin job on node35 on Sat Jan  6 08:52:18 UTC 2007


IDJOB= 206216
IDBENCH= 4191
FILE ID= node35/206216-1168073534

PBS_JOBID= 3476000

Free space on /tmp= 66547 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  e0c16901ffb9b279c6d92aac488c3c21

RANDOM SEED= 359996336

TIME LIMIT= 1800 seconds

MEMORY LIMIT= 900 MiB


/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.234
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.234
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1648312 kB
Buffers:         26148 kB
Cached:         285088 kB
SwapCached:          0 kB
Active:          91864 kB
Inactive:       239508 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1648312 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:           15252 kB
Writeback:           0 kB
Mapped:          30328 kB
Slab:            61900 kB
Committed_AS:  3030072 kB
PageTables:       1660 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= 66554 MiB



End job on node35 on Sat Jan  6 09:22:36 UTC 2007