Trace number 206475

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.13 1810.95

General information on the benchmark

Namerandom/rand-3-28-28/
rand-3-28-28-93-632-2_ext.xml
MD5SUM860928ff7cfcb295e33958fc1dc04e8a
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.32	   
0.32	Abscon 109 (November, 2006)
0.32	   
0.32	   configuration
0.32	     name=esac.xml
0.36	   
0.36	   instance
0.36	     name=/tmp/evaluation/206475-1168173833/unknown.xml
0.39	   
0.39	   domains being loaded...
0.39	   
0.39	   variables being loaded...
0.43	     nbVariables=28  nbDomainTypes=1  minDomainSize=28  maxDomainSize=28
0.43	       =>  wckTime=0.101  cpuTime=0.09  mem=6M951
0.43	   
0.43	   relations being loaded...
1.59	   
1.59	   constraints being loaded...
2.36	     nbConstraints=90  nbRelationTypes=93  nbMergedConstraints=3  nbExtensionStructures=90
2.36	     nbSharedExtensionStructures=0  nbConflictsStructures=90  nbSharedConflictsStructures=0
2.36	     nbSharedBinaryRepresentations=0  maxDegree=17  maxArity=3
2.36	       =>  wckTime=2.033  cpuTime=1.62  mem=55M882
2.52	   
2.52	   solver IterativeSystematicSolver being built... 
2.69	       =>  wckTime=2.368  cpuTime=1.76  mem=64M573
2.84	   
2.84	   preprocessing
2.84	     nbConstraintChecks=52756  nbValidityChecks=89824  nbPropagations=312  nbRevisions=3206  nbUselessRevisions=2776
2.84	     nbSingletonTests=39  nbEffectiveSingletonTests=0  nbESACBranches=4  nbRemovedValues=0  detectedInconsistency=no
2.84	       =>  wckTime=0.148  cpuTime=0.12  mem=64M573
2.95	   
2.95	   search
2.95	     run=0  nbConstraintChecks=46786  nbValidityChecks=90451  nbPropagations=797  nbRevisions=9024
2.95	     nbUselessRevisions=7393  nbAssignments=40  nbFailedAssignments=22  nbBacktracks=11  nbVisitedNodes=70
2.95	     nbRestartNogoods=0  mapSize=11  nbInferences=0  nbTooLargeKeys=0
2.95	       =>  wckTime=0.25  cpuTime=0.22  mem=65M597
3.04	   
3.11	   search
3.11	     run=1  nbConstraintChecks=97991  nbValidityChecks=188618  nbPropagations=1954  nbRevisions=22318
3.11	     nbUselessRevisions=18252  nbAssignments=75  nbFailedAssignments=36  nbBacktracks=26  nbVisitedNodes=128
3.11	     nbRestartNogoods=2  mapSize=22  nbInferences=0  nbTooLargeKeys=0
3.11	       =>  wckTime=0.347  cpuTime=0.31  mem=65M597
3.27	   
3.27	   search
3.27	     run=2  nbConstraintChecks=236829  nbValidityChecks=449499  nbPropagations=3990  nbRevisions=47342
3.27	     nbUselessRevisions=38312  nbAssignments=149  nbFailedAssignments=81  nbBacktracks=49  nbVisitedNodes=263
3.27	     nbRestartNogoods=5  mapSize=43  nbInferences=0  nbTooLargeKeys=0
3.27	       =>  wckTime=0.575  cpuTime=0.52  mem=65M597
3.42	   
3.42	   search
3.42	     run=3  nbConstraintChecks=320022  nbValidityChecks=602215  nbPropagations=6815  nbRevisions=81177
3.42	     nbUselessRevisions=65370  nbAssignments=220  nbFailedAssignments=111  nbBacktracks=85  nbVisitedNodes=380
3.42	     nbRestartNogoods=9  mapSize=65  nbInferences=0  nbTooLargeKeys=0
3.42	       =>  wckTime=0.723  cpuTime=0.66  mem=65M597
3.94	   
3.94	   search
3.94	     run=4  nbConstraintChecks=636660  nbValidityChecks=1246271  nbPropagations=12265  nbRevisions=148371
3.94	     nbUselessRevisions=118850  nbAssignments=455  nbFailedAssignments=278  nbBacktracks=135  nbVisitedNodes=807
3.94	     nbRestartNogoods=13  mapSize=112  nbInferences=0  nbTooLargeKeys=0
3.94	       =>  wckTime=1.243  cpuTime=1.18  mem=65M597
4.40	   
4.40	   search
4.40	     run=5  nbConstraintChecks=902254  nbValidityChecks=1865006  nbPropagations=20665  nbRevisions=250013
4.40	     nbUselessRevisions=200611  nbAssignments=747  nbFailedAssignments=368  nbBacktracks=210  nbVisitedNodes=1112
4.40	     nbRestartNogoods=26  mapSize=173  nbInferences=0  nbTooLargeKeys=0
4.40	       =>  wckTime=1.702  cpuTime=1.63  mem=65M597
5.03	   
5.03	   search
5.03	     run=6  nbConstraintChecks=1290009  nbValidityChecks=2562899  nbPropagations=32320  nbRevisions=390261
5.03	     nbUselessRevisions=313101  nbAssignments=991  nbFailedAssignments=474  nbBacktracks=324  nbVisitedNodes=1510
5.03	     nbRestartNogoods=33  mapSize=260  nbInferences=0  nbTooLargeKeys=0
5.03	       =>  wckTime=2.338  cpuTime=2.25  mem=65M597
6.18	   
6.18	   search
6.18	     run=7  nbConstraintChecks=1998944  nbValidityChecks=3926199  nbPropagations=49492  nbRevisions=604951
6.18	     nbUselessRevisions=484856  nbAssignments=1398  nbFailedAssignments=704  nbBacktracks=495  nbVisitedNodes=2259
6.18	     nbRestartNogoods=40  mapSize=410  nbInferences=0  nbTooLargeKeys=0
6.18	       =>  wckTime=3.485  cpuTime=3.39  mem=65M597
7.87	   
7.87	   search
7.87	     run=8  nbConstraintChecks=3000385  nbValidityChecks=6101029  nbPropagations=78039  nbRevisions=959975
7.87	     nbUselessRevisions=766223  nbAssignments=2225  nbFailedAssignments=1265  nbBacktracks=751  nbVisitedNodes=3840
7.87	     nbRestartNogoods=46  mapSize=659  nbInferences=0  nbTooLargeKeys=0
7.87	       =>  wckTime=5.173  cpuTime=5.04  mem=65M597
9.44	   
9.44	   search
9.44	     run=9  nbConstraintChecks=3929480  nbValidityChecks=8005988  nbPropagations=117432  nbRevisions=1434939
9.44	     nbUselessRevisions=1142216  nbAssignments=3058  nbFailedAssignments=1693  nbBacktracks=1135  nbVisitedNodes=5308
9.44	     nbRestartNogoods=54  mapSize=985  nbInferences=0  nbTooLargeKeys=0
9.44	       =>  wckTime=6.748  cpuTime=6.58  mem=65M597
9.84	   
9.84	   INFO : Stopping hyperNogood (mapSize=1041, nbTooLargekeys=0, mem=65M597)
12.45	   
12.45	   search
12.45	     run=10  nbConstraintChecks=5694856  nbValidityChecks=11767243  nbPropagations=176041  nbRevisions=2130508
12.45	     nbUselessRevisions=1691004  nbAssignments=4525  nbFailedAssignments=2576  nbBacktracks=1711  nbVisitedNodes=8028
12.45	     nbRestartNogoods=70
12.45	       =>  wckTime=9.751  cpuTime=9.56  mem=65M597
17.29	   
17.29	   search
17.29	     run=11  nbConstraintChecks=8630827  nbValidityChecks=17512469  nbPropagations=262203  nbRevisions=3140433
17.29	     nbUselessRevisions=2486732  nbAssignments=6627  nbFailedAssignments=3784  nbBacktracks=2577  nbVisitedNodes=11863
17.29	     nbRestartNogoods=77
17.29	       =>  wckTime=14.598  cpuTime=14.35  mem=65M597
22.88	   
22.88	   search
22.88	     run=12  nbConstraintChecks=12101381  nbValidityChecks=24215041  nbPropagations=386111  nbRevisions=4561593
22.88	     nbUselessRevisions=3604306  nbAssignments=9232  nbFailedAssignments=5086  nbBacktracks=3874  nbVisitedNodes=16511
22.88	     nbRestartNogoods=84
22.88	       =>  wckTime=20.18  cpuTime=19.88  mem=65M597
34.33	   
34.33	   search
34.33	     run=13  nbConstraintChecks=19113038  nbValidityChecks=39228793  nbPropagations=583876  nbRevisions=6935029
34.33	     nbUselessRevisions=5475234  nbAssignments=15242  nbFailedAssignments=9141  nbBacktracks=5821  nbVisitedNodes=27880
34.33	     nbRestartNogoods=90
34.33	       =>  wckTime=31.634  cpuTime=31.24  mem=65M597
46.14	   
46.14	   search
46.14	     run=14  nbConstraintChecks=26265910  nbValidityChecks=53554970  nbPropagations=865978  nbRevisions=10250863
46.14	     nbUselessRevisions=8085778  nbAssignments=21367  nbFailedAssignments=12294  nbBacktracks=8741  nbVisitedNodes=38855
46.14	     nbRestartNogoods=107
46.14	       =>  wckTime=43.44  cpuTime=42.93  mem=65M597
68.67	   
68.67	   search
68.67	     run=15  nbConstraintChecks=39865822  nbValidityChecks=81512001  nbPropagations=1291303  nbRevisions=15268435
68.67	     nbUselessRevisions=12031968  nbAssignments=32348  nbFailedAssignments=18861  nbBacktracks=13119
68.67	     nbVisitedNodes=59091  nbRestartNogoods=120
68.67	       =>  wckTime=65.97  cpuTime=65.25  mem=65M597
103.67	   
103.67	   search
103.67	     run=16  nbConstraintChecks=62208906  nbValidityChecks=122123544  nbPropagations=1906893  nbRevisions=22581161
103.67	     nbUselessRevisions=17786611  nbAssignments=46222  nbFailedAssignments=26161  nbBacktracks=19687
103.67	     nbVisitedNodes=83891  nbRestartNogoods=131
103.67	       =>  wckTime=100.977  cpuTime=99.94  mem=65M597
161.36	   
161.36	   search
161.36	     run=17  nbConstraintChecks=97801110  nbValidityChecks=193257986  nbPropagations=2866661  nbRevisions=33973281
161.36	     nbUselessRevisions=26726044  nbAssignments=70992  nbFailedAssignments=41073  nbBacktracks=29539
161.36	     nbVisitedNodes=130273  nbRestartNogoods=147
161.36	       =>  wckTime=158.668  cpuTime=157.1  mem=65M597
270.97	   
270.97	   search
270.97	     run=18  nbConstraintChecks=169178115  nbValidityChecks=328925638  nbPropagations=4400059  nbRevisions=52515713
270.97	     nbUselessRevisions=41258574  nbAssignments=115029  nbFailedAssignments=70312  nbBacktracks=44319
270.97	     nbVisitedNodes=213657  nbRestartNogoods=159
270.97	       =>  wckTime=268.273  cpuTime=265.71  mem=65M597
380.57	   
380.57	   search
380.57	     run=19  nbConstraintChecks=237812296  nbValidityChecks=461503941  nbPropagations=6627760  nbRevisions=79215464
380.57	     nbUselessRevisions=62206507  nbAssignments=164856  nbFailedAssignments=97953  nbBacktracks=66488
380.57	     nbVisitedNodes=304367  nbRestartNogoods=177
380.57	       =>  wckTime=377.871  cpuTime=374.31  mem=65M597
549.58	   
549.58	   search
549.58	     run=20  nbConstraintChecks=339791752  nbValidityChecks=661385151  nbPropagations=9873439  nbRevisions=117266990
549.58	     nbUselessRevisions=92004591  nbAssignments=237509  nbFailedAssignments=137348  nbBacktracks=99740
549.58	     nbVisitedNodes=436791  nbRestartNogoods=189
549.58	       =>  wckTime=546.884  cpuTime=541.78  mem=65M597
800.16	   
800.16	   search
800.16	     run=21  nbConstraintChecks=496602293  nbValidityChecks=966364784  nbPropagations=14658183  nbRevisions=173605180
800.16	     nbUselessRevisions=136215435  nbAssignments=349802  nbFailedAssignments=199756  nbBacktracks=149618
800.16	     nbVisitedNodes=641405  nbRestartNogoods=207
800.16	       =>  wckTime=797.463  cpuTime=790.08  mem=65M597
1226.72	   
1226.73	   search
1226.73	     run=22  nbConstraintChecks=767118018  nbValidityChecks=1528253630  nbPropagations=22247213  nbRevisions=265663956
1226.73	     nbUselessRevisions=208598635  nbAssignments=572569  nbFailedAssignments=347697  nbBacktracks=224436
1226.73	     nbVisitedNodes=1063267  nbRestartNogoods=231
1226.73	       =>  wckTime=1224.029  cpuTime=1213.72  mem=65M597
1638.10	   
1638.10	   search
1638.10	     run=23  nbConstraintChecks=1036509580  nbValidityChecks=2065370002  nbPropagations=32914648  nbRevisions=392059489
1638.10	     nbUselessRevisions=308026608  nbAssignments=801585  nbFailedAssignments=464478  nbBacktracks=336666
1638.10	     nbVisitedNodes=1471046  nbRestartNogoods=251
1638.10	       =>  wckTime=1635.408  cpuTime=1624.7  mem=65M597

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/node18/watcher-206475-1168173833 -o ROOT/results/node18/solver-206475-1168173833 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/206475-1168173833/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: 2.00 2.00 2.00 2/93 26823
/proc/meminfo: memFree=1627920/2055920 swapFree=4192812/4192956
[pid=26822] ppid=26820 vsize=18540 CPUtime=0
/proc/26822/stat : 26822 (runsolver) R 26820 26822 26293 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 165777993 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 227848809767 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/26822/statm: 4635 279 244 17 0 2626 0

[startup+0.102473 s]
/proc/loadavg: 2.00 2.00 2.00 2/93 26823
/proc/meminfo: memFree=1627920/2055920 swapFree=4192812/4192956
[pid=26822] ppid=26820 vsize=913228 CPUtime=0.08
/proc/26822/stat : 26822 (java) R 26820 26822 26293 0 -1 0 2920 0 1 0 7 1 0 0 17 0 8 0 165777993 935145472 2666 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 2147483391 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26822/statm: 228307 2666 1396 14 0 215208 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 913228

[startup+0.511508 s]
/proc/loadavg: 2.00 2.00 2.00 2/93 26823
/proc/meminfo: memFree=1627920/2055920 swapFree=4192812/4192956
[pid=26822] ppid=26820 vsize=915328 CPUtime=0.48
/proc/26822/stat : 26822 (java) R 26820 26822 26293 0 -1 0 7332 0 1 0 45 3 0 0 18 0 8 0 165777993 937295872 7071 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073583170 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26822/statm: 228832 7071 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328

[startup+1.34059 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 26830
/proc/meminfo: memFree=1560792/2055920 swapFree=4192812/4192956
[pid=26822] ppid=26820 vsize=915328 CPUtime=1.29
/proc/26822/stat : 26822 (java) R 26820 26822 26293 0 -1 0 19099 0 1 0 120 9 0 0 25 0 8 0 165777993 937295872 18837 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073581012 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26822/statm: 228832 18837 2149 14 0 215302 0
[pid=26822/tid=26824] ppid=26820 vsize=915328 CPUtime=0.05
/proc/26822/task/26824/stat : 26824 (java) S 26820 26822 26293 0 -1 64 2681 0 0 0 4 1 0 0 17 0 8 0 165777997 937295872 18837 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26822/tid=26825] ppid=26820 vsize=915328 CPUtime=0
/proc/26822/task/26825/stat : 26825 (java) S 26820 26822 26293 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165777998 937295872 18837 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26822/tid=26826] ppid=26820 vsize=915328 CPUtime=0
/proc/26822/task/26826/stat : 26826 (java) S 26820 26822 26293 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165777998 937295872 18837 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26822/tid=26827] ppid=26820 vsize=915328 CPUtime=0
/proc/26822/task/26827/stat : 26827 (java) S 26820 26822 26293 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165778001 937295872 18837 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26822/tid=26828] ppid=26820 vsize=915328 CPUtime=0.08
/proc/26822/task/26828/stat : 26828 (java) S 26820 26822 26293 0 -1 64 308 0 0 0 8 0 0 0 16 0 8 0 165778001 937295872 18837 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26822/tid=26829] ppid=26820 vsize=915328 CPUtime=0
/proc/26822/task/26829/stat : 26829 (java) S 26820 26822 26293 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 165778001 937295872 18837 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26822/tid=26830] ppid=26820 vsize=915328 CPUtime=0
/proc/26822/task/26830/stat : 26830 (java) S 26820 26822 26293 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 165778001 937295872 18837 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 915328

[startup+2.98575 s]
/proc/loadavg: 2.00 2.00 2.00 4/100 26830
/proc/meminfo: memFree=1521176/2055920 swapFree=4192812/4192956
[pid=26822] ppid=26820 vsize=915440 CPUtime=2.93
/proc/26822/stat : 26822 (java) R 26820 26822 26293 0 -1 0 32313 0 1 0 276 17 0 0 25 0 8 0 165777993 937410560 32048 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073660020 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26822/statm: 228860 32048 2531 14 0 215330 0
[pid=26822/tid=26824] ppid=26820 vsize=915440 CPUtime=0.44
/proc/26822/task/26824/stat : 26824 (java) S 26820 26822 26293 0 -1 64 15323 0 0 0 38 6 0 0 17 0 8 0 165777997 937410560 32048 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26822/tid=26825] ppid=26820 vsize=915440 CPUtime=0
/proc/26822/task/26825/stat : 26825 (java) S 26820 26822 26293 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165777998 937410560 32048 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26822/tid=26826] ppid=26820 vsize=915440 CPUtime=0
/proc/26822/task/26826/stat : 26826 (java) S 26820 26822 26293 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165777998 937410560 32048 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26822/tid=26827] ppid=26820 vsize=915440 CPUtime=0
/proc/26822/task/26827/stat : 26827 (java) S 26820 26822 26293 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165778001 937410560 32048 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26822/tid=26828] ppid=26820 vsize=915440 CPUtime=0.21
/proc/26822/task/26828/stat : 26828 (java) S 26820 26822 26293 0 -1 64 373 0 0 0 20 1 0 0 15 0 8 0 165778001 937410560 32048 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26822/tid=26829] ppid=26820 vsize=915440 CPUtime=0
/proc/26822/task/26829/stat : 26829 (java) S 26820 26822 26293 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 165778001 937410560 32048 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26822/tid=26830] ppid=26820 vsize=915440 CPUtime=0
/proc/26822/task/26830/stat : 26830 (java) S 26820 26822 26293 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 165778001 937410560 32048 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915440

[startup+6.26507 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 26830
/proc/meminfo: memFree=1509216/2055920 swapFree=4192812/4192956
[pid=26822] ppid=26820 vsize=915440 CPUtime=6.18
/proc/26822/stat : 26822 (java) R 26820 26822 26293 0 -1 0 32328 0 1 0 601 17 0 0 25 0 8 0 165777993 937410560 32060 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073802343 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26822/statm: 228860 32060 2531 14 0 215330 0
[pid=26822/tid=26824] ppid=26820 vsize=915440 CPUtime=0.44
/proc/26822/task/26824/stat : 26824 (java) S 26820 26822 26293 0 -1 64 15323 0 0 0 38 6 0 0 17 0 8 0 165777997 937410560 32060 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26822/tid=26825] ppid=26820 vsize=915440 CPUtime=0
/proc/26822/task/26825/stat : 26825 (java) S 26820 26822 26293 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165777998 937410560 32060 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26822/tid=26826] ppid=26820 vsize=915440 CPUtime=0
/proc/26822/task/26826/stat : 26826 (java) S 26820 26822 26293 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165777998 937410560 32060 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26822/tid=26827] ppid=26820 vsize=915440 CPUtime=0
/proc/26822/task/26827/stat : 26827 (java) S 26820 26822 26293 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165778001 937410560 32060 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26822/tid=26828] ppid=26820 vsize=915440 CPUtime=0.24
/proc/26822/task/26828/stat : 26828 (java) S 26820 26822 26293 0 -1 64 388 0 0 0 23 1 0 0 15 0 8 0 165778001 937410560 32060 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26822/tid=26829] ppid=26820 vsize=915440 CPUtime=0
/proc/26822/task/26829/stat : 26829 (java) S 26820 26822 26293 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 165778001 937410560 32060 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26822/tid=26830] ppid=26820 vsize=915440 CPUtime=0
/proc/26822/task/26830/stat : 26830 (java) S 26820 26822 26293 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 165778001 937410560 32060 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 915440

[startup+12.7627 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 26830
/proc/meminfo: memFree=1509288/2055920 swapFree=4192812/4192956
[pid=26822] ppid=26820 vsize=915440 CPUtime=12.61
/proc/26822/stat : 26822 (java) R 26820 26822 26293 0 -1 0 32344 0 1 0 1243 18 0 0 25 0 8 0 165777993 937410560 32073 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073660020 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26822/statm: 228860 32073 2531 14 0 215330 0
[pid=26822/tid=26824] ppid=26820 vsize=915440 CPUtime=0.44
/proc/26822/task/26824/stat : 26824 (java) S 26820 26822 26293 0 -1 64 15323 0 0 0 38 6 0 0 16 0 8 0 165777997 937410560 32073 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26822/tid=26825] ppid=26820 vsize=915440 CPUtime=0
/proc/26822/task/26825/stat : 26825 (java) S 26820 26822 26293 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165777998 937410560 32073 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26822/tid=26826] ppid=26820 vsize=915440 CPUtime=0
/proc/26822/task/26826/stat : 26826 (java) S 26820 26822 26293 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165777998 937410560 32073 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26822/tid=26827] ppid=26820 vsize=915440 CPUtime=0
/proc/26822/task/26827/stat : 26827 (java) S 26820 26822 26293 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165778001 937410560 32073 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26822/tid=26828] ppid=26820 vsize=915440 CPUtime=0.27
/proc/26822/task/26828/stat : 26828 (java) S 26820 26822 26293 0 -1 64 401 0 0 0 26 1 0 0 16 0 8 0 165778001 937410560 32073 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26822/tid=26829] ppid=26820 vsize=915440 CPUtime=0
/proc/26822/task/26829/stat : 26829 (java) S 26820 26822 26293 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 165778001 937410560 32073 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26822/tid=26830] ppid=26820 vsize=915440 CPUtime=0
/proc/26822/task/26830/stat : 26830 (java) S 26820 26822 26293 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 165778001 937410560 32073 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 915440

[startup+25.6279 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 26830
/proc/meminfo: memFree=1509480/2055920 swapFree=4192812/4192956
[pid=26822] ppid=26820 vsize=915440 CPUtime=25.36
/proc/26822/stat : 26822 (java) R 26820 26822 26293 0 -1 0 32346 0 1 0 2518 18 0 0 25 0 8 0 165777993 937410560 32075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073660020 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26822/statm: 228860 32075 2531 14 0 215330 0
[pid=26822/tid=26824] ppid=26820 vsize=915440 CPUtime=0.44
/proc/26822/task/26824/stat : 26824 (java) S 26820 26822 26293 0 -1 64 15323 0 0 0 38 6 0 0 16 0 8 0 165777997 937410560 32075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26822/tid=26825] ppid=26820 vsize=915440 CPUtime=0
/proc/26822/task/26825/stat : 26825 (java) S 26820 26822 26293 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165777998 937410560 32075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26822/tid=26826] ppid=26820 vsize=915440 CPUtime=0
/proc/26822/task/26826/stat : 26826 (java) S 26820 26822 26293 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165777998 937410560 32075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26822/tid=26827] ppid=26820 vsize=915440 CPUtime=0
/proc/26822/task/26827/stat : 26827 (java) S 26820 26822 26293 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165778001 937410560 32075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26822/tid=26828] ppid=26820 vsize=915440 CPUtime=0.27
/proc/26822/task/26828/stat : 26828 (java) S 26820 26822 26293 0 -1 64 403 0 0 0 26 1 0 0 15 0 8 0 165778001 937410560 32075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26822/tid=26829] ppid=26820 vsize=915440 CPUtime=0
/proc/26822/task/26829/stat : 26829 (java) S 26820 26822 26293 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 165778001 937410560 32075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26822/tid=26830] ppid=26820 vsize=915440 CPUtime=0
/proc/26822/task/26830/stat : 26830 (java) S 26820 26822 26293 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 165778001 937410560 32075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 915440

[startup+51.2624 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 26830
/proc/meminfo: memFree=1509480/2055920 swapFree=4192812/4192956
[pid=26822] ppid=26820 vsize=915440 CPUtime=50.75
/proc/26822/stat : 26822 (java) R 26820 26822 26293 0 -1 0 32346 0 1 0 5057 18 0 0 25 0 8 0 165777993 937410560 32075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073660020 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26822/statm: 228860 32075 2531 14 0 215330 0
[pid=26822/tid=26824] ppid=26820 vsize=915440 CPUtime=0.44
/proc/26822/task/26824/stat : 26824 (java) S 26820 26822 26293 0 -1 64 15323 0 0 0 38 6 0 0 16 0 8 0 165777997 937410560 32075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26822/tid=26825] ppid=26820 vsize=915440 CPUtime=0
/proc/26822/task/26825/stat : 26825 (java) S 26820 26822 26293 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165777998 937410560 32075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26822/tid=26826] ppid=26820 vsize=915440 CPUtime=0
/proc/26822/task/26826/stat : 26826 (java) S 26820 26822 26293 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165777998 937410560 32075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26822/tid=26827] ppid=26820 vsize=915440 CPUtime=0
/proc/26822/task/26827/stat : 26827 (java) S 26820 26822 26293 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165778001 937410560 32075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26822/tid=26828] ppid=26820 vsize=915440 CPUtime=0.27
/proc/26822/task/26828/stat : 26828 (java) S 26820 26822 26293 0 -1 64 403 0 0 0 26 1 0 0 15 0 8 0 165778001 937410560 32075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26822/tid=26829] ppid=26820 vsize=915440 CPUtime=0
/proc/26822/task/26829/stat : 26829 (java) S 26820 26822 26293 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 165778001 937410560 32075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26822/tid=26830] ppid=26820 vsize=915440 CPUtime=0
/proc/26822/task/26830/stat : 26830 (java) S 26820 26822 26293 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 165778001 937410560 32075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.75
Current children cumulated vsize (KiB) 915440

[startup+102.524 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 26830
/proc/meminfo: memFree=1509544/2055920 swapFree=4192812/4192956
[pid=26822] ppid=26820 vsize=915440 CPUtime=101.54
/proc/26822/stat : 26822 (java) R 26820 26822 26293 0 -1 0 32346 0 1 0 10136 18 0 0 25 0 8 0 165777993 937410560 32075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073659984 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26822/statm: 228860 32075 2531 14 0 215330 0
[pid=26822/tid=26824] ppid=26820 vsize=915440 CPUtime=0.44
/proc/26822/task/26824/stat : 26824 (java) S 26820 26822 26293 0 -1 64 15323 0 0 0 38 6 0 0 16 0 8 0 165777997 937410560 32075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26822/tid=26825] ppid=26820 vsize=915440 CPUtime=0
/proc/26822/task/26825/stat : 26825 (java) S 26820 26822 26293 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165777998 937410560 32075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26822/tid=26826] ppid=26820 vsize=915440 CPUtime=0
/proc/26822/task/26826/stat : 26826 (java) S 26820 26822 26293 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165777998 937410560 32075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26822/tid=26827] ppid=26820 vsize=915440 CPUtime=0
/proc/26822/task/26827/stat : 26827 (java) S 26820 26822 26293 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165778001 937410560 32075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26822/tid=26828] ppid=26820 vsize=915440 CPUtime=0.27
/proc/26822/task/26828/stat : 26828 (java) S 26820 26822 26293 0 -1 64 403 0 0 0 26 1 0 0 15 0 8 0 165778001 937410560 32075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26822/tid=26829] ppid=26820 vsize=915440 CPUtime=0
/proc/26822/task/26829/stat : 26829 (java) S 26820 26822 26293 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 165778001 937410560 32075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26822/tid=26830] ppid=26820 vsize=915440 CPUtime=0
/proc/26822/task/26830/stat : 26830 (java) S 26820 26822 26293 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 165778001 937410560 32075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.54
Current children cumulated vsize (KiB) 915440

[startup+162.535 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 26830
/proc/meminfo: memFree=1509416/2055920 swapFree=4192812/4192956
[pid=26822] ppid=26820 vsize=915440 CPUtime=161.02
/proc/26822/stat : 26822 (java) R 26820 26822 26293 0 -1 0 32346 0 1 0 16083 19 0 0 25 0 8 0 165777993 937410560 32075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073803280 0 4 0 23759 18446744073709551615 0 0 17 1 0 0

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

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

[startup+1483.21 s]
/proc/loadavg: 2.00 2.00 2.00 3/101 27100
/proc/meminfo: memFree=1560856/2055920 swapFree=4192812/4192956
[pid=26822] ppid=26820 vsize=915440 CPUtime=1472.71
/proc/26822/stat : 26822 (java) R 26820 26822 26293 0 -1 0 32348 0 1 0 147234 37 0 0 25 0 8 0 165777993 937410560 32076 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26822/statm: 228860 32076 2531 14 0 215330 0
[pid=26822/tid=26824] ppid=26820 vsize=915440 CPUtime=0.44
/proc/26822/task/26824/stat : 26824 (java) S 26820 26822 26293 0 -1 64 15323 0 0 0 38 6 0 0 16 0 8 0 165777997 937410560 32076 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26822/tid=26825] ppid=26820 vsize=915440 CPUtime=0
/proc/26822/task/26825/stat : 26825 (java) S 26820 26822 26293 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165777998 937410560 32076 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26822/tid=26826] ppid=26820 vsize=915440 CPUtime=0
/proc/26822/task/26826/stat : 26826 (java) S 26820 26822 26293 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165777998 937410560 32076 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26822/tid=26827] ppid=26820 vsize=915440 CPUtime=0
/proc/26822/task/26827/stat : 26827 (java) S 26820 26822 26293 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165778001 937410560 32076 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26822/tid=26828] ppid=26820 vsize=915440 CPUtime=0.27
/proc/26822/task/26828/stat : 26828 (java) S 26820 26822 26293 0 -1 64 404 0 0 0 26 1 0 0 16 0 8 0 165778001 937410560 32076 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26822/tid=26829] ppid=26820 vsize=915440 CPUtime=0
/proc/26822/task/26829/stat : 26829 (java) S 26820 26822 26293 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 165778001 937410560 32076 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26822/tid=26830] ppid=26820 vsize=915440 CPUtime=0
/proc/26822/task/26830/stat : 26830 (java) S 26820 26822 26293 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 165778001 937410560 32076 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1472.71
Current children cumulated vsize (KiB) 915440

[startup+1543.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/101 27100
/proc/meminfo: memFree=1560792/2055920 swapFree=4192812/4192956
[pid=26822] ppid=26820 vsize=915440 CPUtime=1532.75
/proc/26822/stat : 26822 (java) R 26820 26822 26293 0 -1 0 32348 0 1 0 153238 37 0 0 25 0 8 0 165777993 937410560 32076 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26822/statm: 228860 32076 2531 14 0 215330 0
[pid=26822/tid=26824] ppid=26820 vsize=915440 CPUtime=0.44
/proc/26822/task/26824/stat : 26824 (java) S 26820 26822 26293 0 -1 64 15323 0 0 0 38 6 0 0 16 0 8 0 165777997 937410560 32076 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26822/tid=26825] ppid=26820 vsize=915440 CPUtime=0
/proc/26822/task/26825/stat : 26825 (java) S 26820 26822 26293 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165777998 937410560 32076 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26822/tid=26826] ppid=26820 vsize=915440 CPUtime=0
/proc/26822/task/26826/stat : 26826 (java) S 26820 26822 26293 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165777998 937410560 32076 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26822/tid=26827] ppid=26820 vsize=915440 CPUtime=0
/proc/26822/task/26827/stat : 26827 (java) S 26820 26822 26293 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165778001 937410560 32076 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26822/tid=26828] ppid=26820 vsize=915440 CPUtime=0.27
/proc/26822/task/26828/stat : 26828 (java) S 26820 26822 26293 0 -1 64 404 0 0 0 26 1 0 0 16 0 8 0 165778001 937410560 32076 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26822/tid=26829] ppid=26820 vsize=915440 CPUtime=0
/proc/26822/task/26829/stat : 26829 (java) S 26820 26822 26293 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 165778001 937410560 32076 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26822/tid=26830] ppid=26820 vsize=915440 CPUtime=0
/proc/26822/task/26830/stat : 26830 (java) S 26820 26822 26293 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 165778001 937410560 32076 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1532.75
Current children cumulated vsize (KiB) 915440

[startup+1603.39 s]
/proc/loadavg: 2.00 2.00 2.00 3/101 27100
/proc/meminfo: memFree=1560856/2055920 swapFree=4192812/4192956
[pid=26822] ppid=26820 vsize=915440 CPUtime=1592.77
/proc/26822/stat : 26822 (java) R 26820 26822 26293 0 -1 0 32348 0 1 0 159240 37 0 0 25 0 8 0 165777993 937410560 32076 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26822/statm: 228860 32076 2531 14 0 215330 0
[pid=26822/tid=26824] ppid=26820 vsize=915440 CPUtime=0.44
/proc/26822/task/26824/stat : 26824 (java) S 26820 26822 26293 0 -1 64 15323 0 0 0 38 6 0 0 16 0 8 0 165777997 937410560 32076 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26822/tid=26825] ppid=26820 vsize=915440 CPUtime=0
/proc/26822/task/26825/stat : 26825 (java) S 26820 26822 26293 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165777998 937410560 32076 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26822/tid=26826] ppid=26820 vsize=915440 CPUtime=0
/proc/26822/task/26826/stat : 26826 (java) S 26820 26822 26293 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165777998 937410560 32076 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26822/tid=26827] ppid=26820 vsize=915440 CPUtime=0
/proc/26822/task/26827/stat : 26827 (java) S 26820 26822 26293 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165778001 937410560 32076 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26822/tid=26828] ppid=26820 vsize=915440 CPUtime=0.27
/proc/26822/task/26828/stat : 26828 (java) S 26820 26822 26293 0 -1 64 404 0 0 0 26 1 0 0 16 0 8 0 165778001 937410560 32076 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26822/tid=26829] ppid=26820 vsize=915440 CPUtime=0
/proc/26822/task/26829/stat : 26829 (java) S 26820 26822 26293 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 165778001 937410560 32076 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26822/tid=26830] ppid=26820 vsize=915440 CPUtime=0
/proc/26822/task/26830/stat : 26830 (java) S 26820 26822 26293 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 165778001 937410560 32076 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1592.77
Current children cumulated vsize (KiB) 915440

[startup+1663.39 s]
/proc/loadavg: 2.00 2.00 2.00 3/101 27100
/proc/meminfo: memFree=1560856/2055920 swapFree=4192812/4192956
[pid=26822] ppid=26820 vsize=915440 CPUtime=1652.69
/proc/26822/stat : 26822 (java) R 26820 26822 26293 0 -1 0 32348 0 1 0 165232 37 0 0 25 0 8 0 165777993 937410560 32076 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26822/statm: 228860 32076 2531 14 0 215330 0
[pid=26822/tid=26824] ppid=26820 vsize=915440 CPUtime=0.44
/proc/26822/task/26824/stat : 26824 (java) S 26820 26822 26293 0 -1 64 15323 0 0 0 38 6 0 0 16 0 8 0 165777997 937410560 32076 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26822/tid=26825] ppid=26820 vsize=915440 CPUtime=0
/proc/26822/task/26825/stat : 26825 (java) S 26820 26822 26293 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165777998 937410560 32076 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26822/tid=26826] ppid=26820 vsize=915440 CPUtime=0
/proc/26822/task/26826/stat : 26826 (java) S 26820 26822 26293 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165777998 937410560 32076 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26822/tid=26827] ppid=26820 vsize=915440 CPUtime=0
/proc/26822/task/26827/stat : 26827 (java) S 26820 26822 26293 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165778001 937410560 32076 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26822/tid=26828] ppid=26820 vsize=915440 CPUtime=0.27
/proc/26822/task/26828/stat : 26828 (java) S 26820 26822 26293 0 -1 64 404 0 0 0 26 1 0 0 16 0 8 0 165778001 937410560 32076 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26822/tid=26829] ppid=26820 vsize=915440 CPUtime=0
/proc/26822/task/26829/stat : 26829 (java) S 26820 26822 26293 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 165778001 937410560 32076 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26822/tid=26830] ppid=26820 vsize=915440 CPUtime=0
/proc/26822/task/26830/stat : 26830 (java) S 26820 26822 26293 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 165778001 937410560 32076 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1652.69
Current children cumulated vsize (KiB) 915440

[startup+1723.47 s]
/proc/loadavg: 2.00 2.00 2.00 3/101 27100
/proc/meminfo: memFree=1560792/2055920 swapFree=4192812/4192956
[pid=26822] ppid=26820 vsize=915440 CPUtime=1712.73
/proc/26822/stat : 26822 (java) R 26820 26822 26293 0 -1 0 32348 0 1 0 171236 37 0 0 25 0 8 0 165777993 937410560 32076 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073799105 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26822/statm: 228860 32076 2531 14 0 215330 0
[pid=26822/tid=26824] ppid=26820 vsize=915440 CPUtime=0.44
/proc/26822/task/26824/stat : 26824 (java) S 26820 26822 26293 0 -1 64 15323 0 0 0 38 6 0 0 16 0 8 0 165777997 937410560 32076 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26822/tid=26825] ppid=26820 vsize=915440 CPUtime=0
/proc/26822/task/26825/stat : 26825 (java) S 26820 26822 26293 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165777998 937410560 32076 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26822/tid=26826] ppid=26820 vsize=915440 CPUtime=0
/proc/26822/task/26826/stat : 26826 (java) S 26820 26822 26293 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165777998 937410560 32076 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26822/tid=26827] ppid=26820 vsize=915440 CPUtime=0
/proc/26822/task/26827/stat : 26827 (java) S 26820 26822 26293 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165778001 937410560 32076 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26822/tid=26828] ppid=26820 vsize=915440 CPUtime=0.27
/proc/26822/task/26828/stat : 26828 (java) S 26820 26822 26293 0 -1 64 404 0 0 0 26 1 0 0 16 0 8 0 165778001 937410560 32076 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26822/tid=26829] ppid=26820 vsize=915440 CPUtime=0
/proc/26822/task/26829/stat : 26829 (java) S 26820 26822 26293 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 165778001 937410560 32076 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26822/tid=26830] ppid=26820 vsize=915440 CPUtime=0
/proc/26822/task/26830/stat : 26830 (java) S 26820 26822 26293 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 165778001 937410560 32076 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1712.73
Current children cumulated vsize (KiB) 915440

[startup+1783.55 s]
/proc/loadavg: 2.00 2.00 2.00 3/101 27100
/proc/meminfo: memFree=1560728/2055920 swapFree=4192812/4192956
[pid=26822] ppid=26820 vsize=915440 CPUtime=1772.75
/proc/26822/stat : 26822 (java) R 26820 26822 26293 0 -1 0 32348 0 1 0 177238 37 0 0 25 0 8 0 165777993 937410560 32076 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073480081 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26822/statm: 228860 32076 2531 14 0 215330 0
[pid=26822/tid=26824] ppid=26820 vsize=915440 CPUtime=0.44
/proc/26822/task/26824/stat : 26824 (java) S 26820 26822 26293 0 -1 64 15323 0 0 0 38 6 0 0 16 0 8 0 165777997 937410560 32076 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26822/tid=26825] ppid=26820 vsize=915440 CPUtime=0
/proc/26822/task/26825/stat : 26825 (java) S 26820 26822 26293 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165777998 937410560 32076 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26822/tid=26826] ppid=26820 vsize=915440 CPUtime=0
/proc/26822/task/26826/stat : 26826 (java) S 26820 26822 26293 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165777998 937410560 32076 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26822/tid=26827] ppid=26820 vsize=915440 CPUtime=0
/proc/26822/task/26827/stat : 26827 (java) S 26820 26822 26293 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165778001 937410560 32076 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26822/tid=26828] ppid=26820 vsize=915440 CPUtime=0.27
/proc/26822/task/26828/stat : 26828 (java) S 26820 26822 26293 0 -1 64 404 0 0 0 26 1 0 0 16 0 8 0 165778001 937410560 32076 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26822/tid=26829] ppid=26820 vsize=915440 CPUtime=0
/proc/26822/task/26829/stat : 26829 (java) S 26820 26822 26293 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 165778001 937410560 32076 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26822/tid=26830] ppid=26820 vsize=915440 CPUtime=0
/proc/26822/task/26830/stat : 26830 (java) S 26820 26822 26293 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 165778001 937410560 32076 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1772.75
Current children cumulated vsize (KiB) 915440



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1810.92 s]
/proc/loadavg: 2.06 2.02 2.00 3/101 27100
/proc/meminfo: memFree=1560664/2055920 swapFree=4192812/4192956
[pid=26822] ppid=26820 vsize=915440 CPUtime=1800.1
/proc/26822/stat : 26822 (java) R 26820 26822 26293 0 -1 0 32348 0 1 0 179972 38 0 0 25 0 8 0 165777993 937410560 32076 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073660004 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26822/statm: 228860 32076 2531 14 0 215330 0
[pid=26822/tid=26824] ppid=26820 vsize=915440 CPUtime=0.44
/proc/26822/task/26824/stat : 26824 (java) S 26820 26822 26293 0 -1 64 15323 0 0 0 38 6 0 0 16 0 8 0 165777997 937410560 32076 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26822/tid=26825] ppid=26820 vsize=915440 CPUtime=0
/proc/26822/task/26825/stat : 26825 (java) S 26820 26822 26293 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165777998 937410560 32076 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26822/tid=26826] ppid=26820 vsize=915440 CPUtime=0
/proc/26822/task/26826/stat : 26826 (java) S 26820 26822 26293 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165777998 937410560 32076 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26822/tid=26827] ppid=26820 vsize=915440 CPUtime=0
/proc/26822/task/26827/stat : 26827 (java) S 26820 26822 26293 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165778001 937410560 32076 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26822/tid=26828] ppid=26820 vsize=915440 CPUtime=0.27
/proc/26822/task/26828/stat : 26828 (java) S 26820 26822 26293 0 -1 64 404 0 0 0 26 1 0 0 16 0 8 0 165778001 937410560 32076 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26822/tid=26829] ppid=26820 vsize=915440 CPUtime=0
/proc/26822/task/26829/stat : 26829 (java) S 26820 26822 26293 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 165778001 937410560 32076 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26822/tid=26830] ppid=26820 vsize=915440 CPUtime=0
/proc/26822/task/26830/stat : 26830 (java) S 26820 26822 26293 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 165778001 937410560 32076 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 915440

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

Child status: 143
Real time (s): 1810.95
CPU time (s): 1800.13
CPU user time (s): 1799.73
CPU system time (s): 0.400939
CPU usage (%): 99.4025
Max. virtual memory (cumulated for all children) (KiB): 915440

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.73
system time used= 0.400939
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32365
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= 37788
involuntary context switches= 74861

runsolver used 2.48962 s user time and 5.56015 s system time

The end

Launcher Data (download as text)

Begin job on node18 on Sun Jan  7 12:43:53 UTC 2007


IDJOB= 206475
IDBENCH= 4211
FILE ID= node18/206475-1168173833

PBS_JOBID= 3478832

Free space on /tmp= 66278 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  860928ff7cfcb295e33958fc1dc04e8a

RANDOM SEED= 778642658

TIME LIMIT= 1800 seconds

MEMORY LIMIT= 900 MiB


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

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1628400 kB
Buffers:         24396 kB
Cached:         163964 kB
SwapCached:          0 kB
Active:         256268 kB
Inactive:       112300 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1628400 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            7504 kB
Writeback:           0 kB
Mapped:         209184 kB
Slab:            43688 kB
Committed_AS:  5382060 kB
PageTables:       2352 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= 66280 MiB



End job on node18 on Sun Jan  7 13:14:04 UTC 2007