Trace number 195987

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.09 1810.33

General information on the benchmark

Namerandom/rand-3-24-24/
rand-3-24-24-76-632-2_ext.xml
MD5SUMcd732b701dc19065140f3438f227da6d
Bench CategoryN-ARY-EXT (n-ary constraints in extension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1394.08
SatisfiableYES
(Un)Satisfiability was proved
Number of variables24
Number of constraints73
Maximum constraint arity3
Maximum domain size24
Number of constraints which are defined in extension73
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Solver Data (download as text)

0.40	   
0.40	Abscon 109 (November, 2006)
0.40	   
0.40	   configuration
0.40	     name=esac.xml
0.44	   
0.44	   instance
0.44	     name=/tmp/evaluation/195987-1168117160/unknown.xml
0.47	   
0.47	   domains being loaded...
0.47	   
0.47	   variables being loaded...
0.51	     nbVariables=24  nbDomainTypes=1  minDomainSize=24  maxDomainSize=24
0.51	       =>  wckTime=0.1  cpuTime=0.09  mem=6M951
0.51	   
0.51	   relations being loaded...
1.09	   
1.09	   constraints being loaded...
1.42	     nbConstraints=73  nbRelationTypes=73  nbExtensionStructures=73  nbSharedExtensionStructures=0
1.42	     nbConflictsStructures=73  nbSharedConflictsStructures=0  nbSharedBinaryRepresentations=0  maxDegree=16  maxArity=3
1.42	       =>  wckTime=1.019  cpuTime=0.89  mem=44M949
1.55	   
1.55	   solver IterativeSystematicSolver being built... 
1.73	       =>  wckTime=1.324  cpuTime=1.03  mem=34M507
1.84	   
1.84	   preprocessing
1.84	     nbConstraintChecks=33901  nbValidityChecks=50458  nbPropagations=198  nbRevisions=2002  nbUselessRevisions=1730
1.84	     nbSingletonTests=30  nbEffectiveSingletonTests=0  nbESACBranches=4  nbRemovedValues=0  detectedInconsistency=no
1.84	       =>  wckTime=0.107  cpuTime=0.08  mem=34M507
1.93	   
1.93	   search
1.93	     run=0  nbConstraintChecks=43119  nbValidityChecks=85169  nbPropagations=642  nbRevisions=7041
1.93	     nbUselessRevisions=5715  nbAssignments=41  nbFailedAssignments=25  nbBacktracks=10  nbVisitedNodes=75
1.93	     nbRestartNogoods=0  mapSize=9  nbInferences=0  nbTooLargeKeys=0
1.93	       =>  wckTime=0.196  cpuTime=0.16  mem=34M507
2.04	   
2.04	   search
2.05	     run=1  nbConstraintChecks=108768  nbValidityChecks=212096  nbPropagations=2017  nbRevisions=22962
2.05	     nbUselessRevisions=18282  nbAssignments=99  nbFailedAssignments=63  nbBacktracks=25  nbVisitedNodes=184
2.05	     nbRestartNogoods=3  mapSize=24  nbInferences=0  nbTooLargeKeys=0
2.05	       =>  wckTime=0.313  cpuTime=0.27  mem=34M507
2.15	   
2.15	   search
2.15	     run=2  nbConstraintChecks=166115  nbValidityChecks=323924  nbPropagations=4100  nbRevisions=47157
2.15	     nbUselessRevisions=37411  nbAssignments=153  nbFailedAssignments=88  nbBacktracks=47  nbVisitedNodes=277
2.15	     nbRestartNogoods=6  mapSize=43  nbInferences=0  nbTooLargeKeys=0
2.15	       =>  wckTime=0.42  cpuTime=0.36  mem=34M507
2.31	   
2.31	   search
2.31	     run=3  nbConstraintChecks=260691  nbValidityChecks=523400  nbPropagations=7223  nbRevisions=83503
2.31	     nbUselessRevisions=66346  nbAssignments=261  nbFailedAssignments=136  nbBacktracks=80  nbVisitedNodes=432
2.31	     nbRestartNogoods=13  mapSize=72  nbInferences=0  nbTooLargeKeys=0
2.31	       =>  wckTime=0.579  cpuTime=0.52  mem=34M507
2.51	   
2.51	   search
2.51	     run=4  nbConstraintChecks=385480  nbValidityChecks=769795  nbPropagations=12040  nbRevisions=138255
2.51	     nbUselessRevisions=109619  nbAssignments=394  nbFailedAssignments=213  nbBacktracks=130  nbVisitedNodes=674
2.51	     nbRestartNogoods=16  mapSize=120  nbInferences=0  nbTooLargeKeys=0
2.51	       =>  wckTime=0.772  cpuTime=0.71  mem=34M507
2.87	   
2.87	   search
2.87	     run=5  nbConstraintChecks=618623  nbValidityChecks=1239334  nbPropagations=19648  nbRevisions=225534
2.87	     nbUselessRevisions=178174  nbAssignments=626  nbFailedAssignments=364  nbBacktracks=205  nbVisitedNodes=1115
2.87	     nbRestartNogoods=19  mapSize=193  nbInferences=0  nbTooLargeKeys=0
2.87	       =>  wckTime=1.134  cpuTime=1.06  mem=34M507
3.41	   
3.41	   search
3.41	     run=6  nbConstraintChecks=972819  nbValidityChecks=1934980  nbPropagations=31525  nbRevisions=362752
3.41	     nbUselessRevisions=285489  nbAssignments=929  nbFailedAssignments=549  nbBacktracks=318  nbVisitedNodes=1682
3.41	     nbRestartNogoods=29  mapSize=293  nbInferences=0  nbTooLargeKeys=0
3.41	       =>  wckTime=1.676  cpuTime=1.59  mem=34M507
4.26	   
4.26	   search
4.26	     run=7  nbConstraintChecks=1537645  nbValidityChecks=3032810  nbPropagations=49764  nbRevisions=571403
4.26	     nbUselessRevisions=448198  nbAssignments=1448  nbFailedAssignments=893  nbBacktracks=488  nbVisitedNodes=2668
4.26	     nbRestartNogoods=34  mapSize=453  nbInferences=0  nbTooLargeKeys=0
4.26	       =>  wckTime=2.524  cpuTime=2.44  mem=34M507
5.25	   
5.25	   search
5.25	     run=8  nbConstraintChecks=2198085  nbValidityChecks=4345752  nbPropagations=77070  nbRevisions=881634
5.25	     nbUselessRevisions=689868  nbAssignments=2127  nbFailedAssignments=1310  nbBacktracks=745  nbVisitedNodes=3953
5.25	     nbRestartNogoods=38  mapSize=699  nbInferences=0  nbTooLargeKeys=0
5.25	       =>  wckTime=3.518  cpuTime=3.41  mem=34M507
6.97	   
6.97	   INFO : Stopping hyperNogood (mapSize=1028, nbTooLargekeys=0, mem=34M507)
7.09	   
7.09	   search
7.09	     run=9  nbConstraintChecks=3425563  nbValidityChecks=6699320  nbPropagations=117346  nbRevisions=1351036
7.09	     nbUselessRevisions=1056598  nbAssignments=3134  nbFailedAssignments=1915  nbBacktracks=1130  nbVisitedNodes=5831
7.09	     nbRestartNogoods=46
7.09	       =>  wckTime=5.357  cpuTime=5.23  mem=34M507
9.59	   
9.59	   search
9.59	     run=10  nbConstraintChecks=5211846  nbValidityChecks=10236514  nbPropagations=178366  nbRevisions=2076466
9.59	     nbUselessRevisions=1624648  nbAssignments=4738  nbFailedAssignments=2939  nbBacktracks=1706  nbVisitedNodes=8912
9.59	     nbRestartNogoods=50
9.59	       =>  wckTime=7.861  cpuTime=7.72  mem=34M507
13.27	   
13.27	   search
13.27	     run=11  nbConstraintChecks=7786496  nbValidityChecks=15382671  nbPropagations=270564  nbRevisions=3147197
13.27	     nbUselessRevisions=2458593  nbAssignments=7292  nbFailedAssignments=4622  nbBacktracks=2570  nbVisitedNodes=13778
13.27	     nbRestartNogoods=60
13.27	       =>  wckTime=11.534  cpuTime=11.37  mem=34M507
18.60	   
18.60	   search
18.60	     run=12  nbConstraintChecks=11634305  nbValidityChecks=22740437  nbPropagations=408516  nbRevisions=4748145
18.60	     nbUselessRevisions=3704034  nbAssignments=10751  nbFailedAssignments=6778  nbBacktracks=3869  nbVisitedNodes=20308
18.60	     nbRestartNogoods=72
18.60	       =>  wckTime=16.871  cpuTime=16.68  mem=34M507
27.35	   
27.35	   search
27.35	     run=13  nbConstraintChecks=17586107  nbValidityChecks=34233407  nbPropagations=611371  nbRevisions=7143826
27.35	     nbUselessRevisions=5573257  nbAssignments=15753  nbFailedAssignments=9828  nbBacktracks=5815  nbVisitedNodes=29740
27.35	     nbRestartNogoods=79
27.35	       =>  wckTime=25.614  cpuTime=25.38  mem=34M507
40.13	   
40.13	   search
40.13	     run=14  nbConstraintChecks=26597193  nbValidityChecks=52087182  nbPropagations=919289  nbRevisions=10834639
40.13	     nbUselessRevisions=8459082  nbAssignments=23935  nbFailedAssignments=15085  nbBacktracks=8735  nbVisitedNodes=45377
40.13	     nbRestartNogoods=93
40.13	       =>  wckTime=38.396  cpuTime=38.1  mem=34M507
58.07	   
58.07	   search
58.07	     run=15  nbConstraintChecks=39191540  nbValidityChecks=77116627  nbPropagations=1376571  nbRevisions=16214707
58.07	     nbUselessRevisions=12654837  nbAssignments=36071  nbFailedAssignments=22784  nbBacktracks=13113
58.07	     nbVisitedNodes=68268  nbRestartNogoods=114
58.07	       =>  wckTime=56.338  cpuTime=55.95  mem=34M507
82.94	   
82.94	   search
82.94	     run=16  nbConstraintChecks=56710585  nbValidityChecks=111433507  nbPropagations=2047110  nbRevisions=24126463
82.94	     nbUselessRevisions=18834108  nbAssignments=52433  nbFailedAssignments=32572  nbBacktracks=19681
82.94	     nbVisitedNodes=98851  nbRestartNogoods=128
82.94	       =>  wckTime=81.209  cpuTime=80.71  mem=34M507
125.12	   
125.12	   search
125.12	     run=17  nbConstraintChecks=85840778  nbValidityChecks=167996571  nbPropagations=3046914  nbRevisions=36091831
125.12	     nbUselessRevisions=28211599  nbAssignments=77097  nbFailedAssignments=47378  nbBacktracks=29533
125.12	     nbVisitedNodes=144986  nbRestartNogoods=142
125.12	       =>  wckTime=123.386  cpuTime=122.58  mem=34M507
188.05	   
188.05	   search
188.05	     run=18  nbConstraintChecks=130063924  nbValidityChecks=255751861  nbPropagations=4626449  nbRevisions=54645559
188.05	     nbUselessRevisions=42698031  nbAssignments=118769  nbFailedAssignments=74189  nbBacktracks=44312
188.05	     nbVisitedNodes=224331  nbRestartNogoods=177
188.05	       =>  wckTime=186.316  cpuTime=185.11  mem=34M507
272.03	   
272.03	   search
272.03	     run=19  nbConstraintChecks=189081843  nbValidityChecks=371276871  nbPropagations=6954350  nbRevisions=81825293
272.03	     nbUselessRevisions=63898246  nbAssignments=174014  nbFailedAssignments=107261  nbBacktracks=66480
272.03	     nbVisitedNodes=328100  nbRestartNogoods=198
272.03	       =>  wckTime=270.298  cpuTime=268.66  mem=34M507
404.04	   
404.04	   search
404.04	     run=20  nbConstraintChecks=281565967  nbValidityChecks=554825510  nbPropagations=10429201  nbRevisions=122568722
404.04	     nbUselessRevisions=95722153  nbAssignments=260278  nbFailedAssignments=160268  nbBacktracks=99733
404.04	     nbVisitedNodes=490583  nbRestartNogoods=209
404.05	       =>  wckTime=402.313  cpuTime=400.05  mem=34M507
587.91	   
587.91	   search
587.91	     run=21  nbConstraintChecks=410960215  nbValidityChecks=809191661  nbPropagations=15513258  nbRevisions=182254344
587.91	     nbUselessRevisions=142380334  nbAssignments=382662  nbFailedAssignments=232768  nbBacktracks=149611
587.91	     nbVisitedNodes=719160  nbRestartNogoods=240
587.91	       =>  wckTime=586.18  cpuTime=583.04  mem=34M507
909.62	   
909.62	   search
909.62	     run=22  nbConstraintChecks=637817102  nbValidityChecks=1257534059  nbPropagations=23434116  nbRevisions=274639124
909.62	     nbUselessRevisions=214464450  nbAssignments=587738  nbFailedAssignments=363009  nbBacktracks=224429
909.62	     nbVisitedNodes=1108684  nbRestartNogoods=260
909.62	       =>  wckTime=907.891  cpuTime=903.23  mem=34M507
1322.13	   
1322.13	   search
1322.13	     run=23  nbConstraintChecks=943957005  nbValidityChecks=1856876081  nbPropagations=35037327  nbRevisions=410670074
1322.13	     nbUselessRevisions=320691836  nbAssignments=863394  nbFailedAssignments=526431  nbBacktracks=336659
1322.13	     nbVisitedNodes=1625094  nbRestartNogoods=294
1322.13	       =>  wckTime=1320.399  cpuTime=1313.08  mem=34M507

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/node3/watcher-195987-1168117160 -o ROOT/results/node3/solver-195987-1168117160 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/195987-1168117160/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 1.99 2/87 8542
/proc/meminfo: memFree=1635144/2055920 swapFree=4192812/4192956
[pid=8541] ppid=8539 vsize=18540 CPUtime=0
/proc/8541/stat : 8541 (runsolver) R 8539 8541 7386 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 160111816 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 233632754983 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/8541/statm: 4635 279 244 17 0 2626 0

[startup+0.102838 s]
/proc/loadavg: 2.00 2.00 1.99 2/87 8542
/proc/meminfo: memFree=1635144/2055920 swapFree=4192812/4192956
[pid=8541] ppid=8539 vsize=913068 CPUtime=0.08
/proc/8541/stat : 8541 (java) S 8539 8541 7386 0 -1 0 2873 0 1 0 7 1 0 0 18 0 8 0 160111816 934981632 2619 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8541/statm: 228267 2619 1396 14 0 215168 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 913068

[startup+0.510904 s]
/proc/loadavg: 2.00 2.00 1.99 2/87 8542
/proc/meminfo: memFree=1635144/2055920 swapFree=4192812/4192956
[pid=8541] ppid=8539 vsize=915328 CPUtime=0.4
/proc/8541/stat : 8541 (java) R 8539 8541 7386 0 -1 0 6108 0 1 0 37 3 0 0 18 0 8 0 160111816 937295872 5847 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072943898 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8541/statm: 228832 5847 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.4
Current children cumulated vsize (KiB) 915328

[startup+1.34004 s]
/proc/loadavg: 2.00 2.00 1.99 4/94 8549
/proc/meminfo: memFree=1575312/2055920 swapFree=4192812/4192956
[pid=8541] ppid=8539 vsize=915328 CPUtime=1.22
/proc/8541/stat : 8541 (java) R 8539 8541 7386 0 -1 0 19097 0 1 0 112 10 0 0 24 0 8 0 160111816 937295872 18834 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073646496 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8541/statm: 228832 18834 2160 14 0 215302 0
[pid=8541/tid=8543] ppid=8539 vsize=915328 CPUtime=0.06
/proc/8541/task/8543/stat : 8543 (java) S 8539 8541 7386 0 -1 64 2632 0 0 0 5 1 0 0 16 0 8 0 160111820 937295872 18834 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8541/tid=8544] ppid=8539 vsize=915328 CPUtime=0
/proc/8541/task/8544/stat : 8544 (java) S 8539 8541 7386 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160111821 937295872 18834 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8541/tid=8545] ppid=8539 vsize=915328 CPUtime=0
/proc/8541/task/8545/stat : 8545 (java) S 8539 8541 7386 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 160111821 937295872 18834 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8541/tid=8546] ppid=8539 vsize=915328 CPUtime=0
/proc/8541/task/8546/stat : 8546 (java) S 8539 8541 7386 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 160111824 937295872 18834 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8541/tid=8547] ppid=8539 vsize=915328 CPUtime=0.1
/proc/8541/task/8547/stat : 8547 (java) S 8539 8541 7386 0 -1 64 320 0 0 0 10 0 0 0 16 0 8 0 160111824 937295872 18834 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8541/tid=8548] ppid=8539 vsize=915328 CPUtime=0
/proc/8541/task/8548/stat : 8548 (java) S 8539 8541 7386 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 160111824 937295872 18834 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8541/tid=8549] ppid=8539 vsize=915328 CPUtime=0
/proc/8541/task/8549/stat : 8549 (java) S 8539 8541 7386 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 160111824 937295872 18834 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.22
Current children cumulated vsize (KiB) 915328

[startup+2.9813 s]
/proc/loadavg: 2.00 2.00 1.99 3/94 8549
/proc/meminfo: memFree=1552464/2055920 swapFree=4192812/4192956
[pid=8541] ppid=8539 vsize=915424 CPUtime=2.85
/proc/8541/stat : 8541 (java) R 8539 8541 7386 0 -1 0 23307 0 1 0 271 14 0 0 25 0 8 0 160111816 937394176 23042 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073788192 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8541/statm: 228856 23042 2531 14 0 215326 0
[pid=8541/tid=8543] ppid=8539 vsize=915424 CPUtime=0.18
/proc/8541/task/8543/stat : 8543 (java) S 8539 8541 7386 0 -1 64 6323 0 0 0 15 3 0 0 17 0 8 0 160111820 937394176 23042 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8541/tid=8544] ppid=8539 vsize=915424 CPUtime=0
/proc/8541/task/8544/stat : 8544 (java) S 8539 8541 7386 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160111821 937394176 23042 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8541/tid=8545] ppid=8539 vsize=915424 CPUtime=0
/proc/8541/task/8545/stat : 8545 (java) S 8539 8541 7386 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160111821 937394176 23042 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8541/tid=8546] ppid=8539 vsize=915424 CPUtime=0
/proc/8541/task/8546/stat : 8546 (java) S 8539 8541 7386 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 160111824 937394176 23042 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8541/tid=8547] ppid=8539 vsize=915424 CPUtime=0.21
/proc/8541/task/8547/stat : 8547 (java) S 8539 8541 7386 0 -1 64 371 0 0 0 20 1 0 0 15 0 8 0 160111824 937394176 23042 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8541/tid=8548] ppid=8539 vsize=915424 CPUtime=0
/proc/8541/task/8548/stat : 8548 (java) S 8539 8541 7386 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 160111824 937394176 23042 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8541/tid=8549] ppid=8539 vsize=915424 CPUtime=0
/proc/8541/task/8549/stat : 8549 (java) S 8539 8541 7386 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 160111824 937394176 23042 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.85
Current children cumulated vsize (KiB) 915424

[startup+6.28084 s]
/proc/loadavg: 2.00 2.00 1.99 3/94 8549
/proc/meminfo: memFree=1552272/2055920 swapFree=4192812/4192956
[pid=8541] ppid=8539 vsize=915424 CPUtime=6.13
/proc/8541/stat : 8541 (java) R 8539 8541 7386 0 -1 0 23323 0 1 0 599 14 0 0 25 0 8 0 160111816 937394176 23055 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073624813 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8541/statm: 228856 23055 2531 14 0 215326 0
[pid=8541/tid=8543] ppid=8539 vsize=915424 CPUtime=0.18
/proc/8541/task/8543/stat : 8543 (java) S 8539 8541 7386 0 -1 64 6323 0 0 0 15 3 0 0 17 0 8 0 160111820 937394176 23055 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8541/tid=8544] ppid=8539 vsize=915424 CPUtime=0
/proc/8541/task/8544/stat : 8544 (java) S 8539 8541 7386 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160111821 937394176 23055 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8541/tid=8545] ppid=8539 vsize=915424 CPUtime=0
/proc/8541/task/8545/stat : 8545 (java) S 8539 8541 7386 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160111821 937394176 23055 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8541/tid=8546] ppid=8539 vsize=915424 CPUtime=0
/proc/8541/task/8546/stat : 8546 (java) S 8539 8541 7386 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 160111824 937394176 23055 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8541/tid=8547] ppid=8539 vsize=915424 CPUtime=0.24
/proc/8541/task/8547/stat : 8547 (java) S 8539 8541 7386 0 -1 64 385 0 0 0 23 1 0 0 16 0 8 0 160111824 937394176 23055 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8541/tid=8548] ppid=8539 vsize=915424 CPUtime=0
/proc/8541/task/8548/stat : 8548 (java) S 8539 8541 7386 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 160111824 937394176 23055 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8541/tid=8549] ppid=8539 vsize=915424 CPUtime=0
/proc/8541/task/8549/stat : 8549 (java) S 8539 8541 7386 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 160111824 937394176 23055 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.13
Current children cumulated vsize (KiB) 915424

[startup+12.7659 s]
/proc/loadavg: 2.00 2.00 1.99 3/94 8549
/proc/meminfo: memFree=1552016/2055920 swapFree=4192812/4192956
[pid=8541] ppid=8539 vsize=915424 CPUtime=12.59
/proc/8541/stat : 8541 (java) R 8539 8541 7386 0 -1 0 23328 0 1 0 1244 15 0 0 25 0 8 0 160111816 937394176 23059 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073762079 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8541/statm: 228856 23059 2531 14 0 215326 0
[pid=8541/tid=8543] ppid=8539 vsize=915424 CPUtime=0.18
/proc/8541/task/8543/stat : 8543 (java) S 8539 8541 7386 0 -1 64 6323 0 0 0 15 3 0 0 16 0 8 0 160111820 937394176 23059 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8541/tid=8544] ppid=8539 vsize=915424 CPUtime=0
/proc/8541/task/8544/stat : 8544 (java) S 8539 8541 7386 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160111821 937394176 23059 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8541/tid=8545] ppid=8539 vsize=915424 CPUtime=0
/proc/8541/task/8545/stat : 8545 (java) S 8539 8541 7386 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160111821 937394176 23059 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8541/tid=8546] ppid=8539 vsize=915424 CPUtime=0
/proc/8541/task/8546/stat : 8546 (java) S 8539 8541 7386 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 160111824 937394176 23059 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8541/tid=8547] ppid=8539 vsize=915424 CPUtime=0.24
/proc/8541/task/8547/stat : 8547 (java) S 8539 8541 7386 0 -1 64 390 0 0 0 23 1 0 0 16 0 8 0 160111824 937394176 23059 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8541/tid=8548] ppid=8539 vsize=915424 CPUtime=0
/proc/8541/task/8548/stat : 8548 (java) S 8539 8541 7386 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 160111824 937394176 23059 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8541/tid=8549] ppid=8539 vsize=915424 CPUtime=0
/proc/8541/task/8549/stat : 8549 (java) S 8539 8541 7386 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 160111824 937394176 23059 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 915424

[startup+25.632 s]
/proc/loadavg: 2.00 2.00 1.99 3/94 8549
/proc/meminfo: memFree=1551696/2055920 swapFree=4192812/4192956
[pid=8541] ppid=8539 vsize=915424 CPUtime=25.4
/proc/8541/stat : 8541 (java) R 8539 8541 7386 0 -1 0 23328 0 1 0 2525 15 0 0 25 0 8 0 160111816 937394176 23059 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073629628 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8541/statm: 228856 23059 2531 14 0 215326 0
[pid=8541/tid=8543] ppid=8539 vsize=915424 CPUtime=0.18
/proc/8541/task/8543/stat : 8543 (java) S 8539 8541 7386 0 -1 64 6323 0 0 0 15 3 0 0 16 0 8 0 160111820 937394176 23059 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8541/tid=8544] ppid=8539 vsize=915424 CPUtime=0
/proc/8541/task/8544/stat : 8544 (java) S 8539 8541 7386 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160111821 937394176 23059 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8541/tid=8545] ppid=8539 vsize=915424 CPUtime=0
/proc/8541/task/8545/stat : 8545 (java) S 8539 8541 7386 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160111821 937394176 23059 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8541/tid=8546] ppid=8539 vsize=915424 CPUtime=0
/proc/8541/task/8546/stat : 8546 (java) S 8539 8541 7386 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 160111824 937394176 23059 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8541/tid=8547] ppid=8539 vsize=915424 CPUtime=0.24
/proc/8541/task/8547/stat : 8547 (java) S 8539 8541 7386 0 -1 64 390 0 0 0 23 1 0 0 16 0 8 0 160111824 937394176 23059 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8541/tid=8548] ppid=8539 vsize=915424 CPUtime=0
/proc/8541/task/8548/stat : 8548 (java) S 8539 8541 7386 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 160111824 937394176 23059 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8541/tid=8549] ppid=8539 vsize=915424 CPUtime=0
/proc/8541/task/8549/stat : 8549 (java) S 8539 8541 7386 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 160111824 937394176 23059 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.4
Current children cumulated vsize (KiB) 915424

[startup+51.2701 s]
/proc/loadavg: 2.00 2.00 1.99 3/94 8549
/proc/meminfo: memFree=1550480/2055920 swapFree=4192812/4192956
[pid=8541] ppid=8539 vsize=915424 CPUtime=50.91
/proc/8541/stat : 8541 (java) R 8539 8541 7386 0 -1 0 23329 0 1 0 5076 15 0 0 25 0 8 0 160111816 937394176 23059 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073753283 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8541/statm: 228856 23059 2531 14 0 215326 0
[pid=8541/tid=8543] ppid=8539 vsize=915424 CPUtime=0.18
/proc/8541/task/8543/stat : 8543 (java) S 8539 8541 7386 0 -1 64 6323 0 0 0 15 3 0 0 16 0 8 0 160111820 937394176 23059 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8541/tid=8544] ppid=8539 vsize=915424 CPUtime=0
/proc/8541/task/8544/stat : 8544 (java) S 8539 8541 7386 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160111821 937394176 23059 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8541/tid=8545] ppid=8539 vsize=915424 CPUtime=0
/proc/8541/task/8545/stat : 8545 (java) S 8539 8541 7386 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160111821 937394176 23059 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8541/tid=8546] ppid=8539 vsize=915424 CPUtime=0
/proc/8541/task/8546/stat : 8546 (java) S 8539 8541 7386 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 160111824 937394176 23059 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8541/tid=8547] ppid=8539 vsize=915424 CPUtime=0.25
/proc/8541/task/8547/stat : 8547 (java) S 8539 8541 7386 0 -1 64 390 0 0 0 24 1 0 0 16 0 8 0 160111824 937394176 23059 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8541/tid=8548] ppid=8539 vsize=915424 CPUtime=0
/proc/8541/task/8548/stat : 8548 (java) S 8539 8541 7386 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 160111824 937394176 23059 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8541/tid=8549] ppid=8539 vsize=915424 CPUtime=0
/proc/8541/task/8549/stat : 8549 (java) S 8539 8541 7386 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 160111824 937394176 23059 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.91
Current children cumulated vsize (KiB) 915424

[startup+102.547 s]
/proc/loadavg: 2.00 2.00 1.99 3/100 8575
/proc/meminfo: memFree=1546656/2055920 swapFree=4192812/4192956
[pid=8541] ppid=8539 vsize=915424 CPUtime=101.92
/proc/8541/stat : 8541 (java) R 8539 8541 7386 0 -1 0 23329 0 1 0 10176 16 0 0 25 0 8 0 160111816 937394176 23059 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073629628 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8541/statm: 228856 23059 2531 14 0 215326 0
[pid=8541/tid=8543] ppid=8539 vsize=915424 CPUtime=0.18
/proc/8541/task/8543/stat : 8543 (java) S 8539 8541 7386 0 -1 64 6323 0 0 0 15 3 0 0 16 0 8 0 160111820 937394176 23059 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8541/tid=8544] ppid=8539 vsize=915424 CPUtime=0
/proc/8541/task/8544/stat : 8544 (java) S 8539 8541 7386 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160111821 937394176 23059 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8541/tid=8545] ppid=8539 vsize=915424 CPUtime=0
/proc/8541/task/8545/stat : 8545 (java) S 8539 8541 7386 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160111821 937394176 23059 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8541/tid=8546] ppid=8539 vsize=915424 CPUtime=0
/proc/8541/task/8546/stat : 8546 (java) S 8539 8541 7386 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 160111824 937394176 23059 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8541/tid=8547] ppid=8539 vsize=915424 CPUtime=0.25
/proc/8541/task/8547/stat : 8547 (java) S 8539 8541 7386 0 -1 64 390 0 0 0 24 1 0 0 16 0 8 0 160111824 937394176 23059 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8541/tid=8548] ppid=8539 vsize=915424 CPUtime=0
/proc/8541/task/8548/stat : 8548 (java) S 8539 8541 7386 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 160111824 937394176 23059 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8541/tid=8549] ppid=8539 vsize=915424 CPUtime=0
/proc/8541/task/8549/stat : 8549 (java) S 8539 8541 7386 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 160111824 937394176 23059 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.92
Current children cumulated vsize (KiB) 915424

[startup+162.594 s]
/proc/loadavg: 2.00 2.00 1.99 3/100 8701
/proc/meminfo: memFree=1543392/2055920 swapFree=4192812/4192956
[pid=8541] ppid=8539 vsize=915424 CPUtime=161.53
/proc/8541/stat : 8541 (java) R 8539 8541 7386 0 -1 0 23329 0 1 0 16137 16 0 0 25 0 8 0 160111816 937394176 23059 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073751469 0 4 0 23759 18446744073709551615 0 0 17 1 0 0

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

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

[startup+1483.59 s]
/proc/loadavg: 2.00 2.01 2.00 3/105 8802
/proc/meminfo: memFree=1426232/2055920 swapFree=4192812/4192956
[pid=8541] ppid=8539 vsize=915424 CPUtime=1475.28
/proc/8541/stat : 8541 (java) R 8539 8541 7386 0 -1 0 23330 0 1 0 147502 26 0 0 25 0 8 0 160111816 937394176 23060 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073753341 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8541/statm: 228856 23060 2531 14 0 215326 0
[pid=8541/tid=8543] ppid=8539 vsize=915424 CPUtime=0.18
/proc/8541/task/8543/stat : 8543 (java) S 8539 8541 7386 0 -1 64 6323 0 0 0 15 3 0 0 16 0 8 0 160111820 937394176 23060 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8541/tid=8544] ppid=8539 vsize=915424 CPUtime=0
/proc/8541/task/8544/stat : 8544 (java) S 8539 8541 7386 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160111821 937394176 23060 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8541/tid=8545] ppid=8539 vsize=915424 CPUtime=0
/proc/8541/task/8545/stat : 8545 (java) S 8539 8541 7386 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160111821 937394176 23060 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8541/tid=8546] ppid=8539 vsize=915424 CPUtime=0
/proc/8541/task/8546/stat : 8546 (java) S 8539 8541 7386 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 160111824 937394176 23060 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8541/tid=8547] ppid=8539 vsize=915424 CPUtime=0.25
/proc/8541/task/8547/stat : 8547 (java) S 8539 8541 7386 0 -1 64 391 0 0 0 24 1 0 0 16 0 8 0 160111824 937394176 23060 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8541/tid=8548] ppid=8539 vsize=915424 CPUtime=0
/proc/8541/task/8548/stat : 8548 (java) S 8539 8541 7386 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 160111824 937394176 23060 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8541/tid=8549] ppid=8539 vsize=915424 CPUtime=0
/proc/8541/task/8549/stat : 8549 (java) S 8539 8541 7386 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 160111824 937394176 23060 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1475.28
Current children cumulated vsize (KiB) 915424

[startup+1543.69 s]
/proc/loadavg: 2.00 2.01 2.00 3/105 8802
/proc/meminfo: memFree=1426104/2055920 swapFree=4192812/4192956
[pid=8541] ppid=8539 vsize=915424 CPUtime=1535.03
/proc/8541/stat : 8541 (java) R 8539 8541 7386 0 -1 0 23330 0 1 0 153476 27 0 0 25 0 8 0 160111816 937394176 23060 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073749364 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8541/statm: 228856 23060 2531 14 0 215326 0
[pid=8541/tid=8543] ppid=8539 vsize=915424 CPUtime=0.18
/proc/8541/task/8543/stat : 8543 (java) S 8539 8541 7386 0 -1 64 6323 0 0 0 15 3 0 0 16 0 8 0 160111820 937394176 23060 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8541/tid=8544] ppid=8539 vsize=915424 CPUtime=0
/proc/8541/task/8544/stat : 8544 (java) S 8539 8541 7386 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160111821 937394176 23060 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8541/tid=8545] ppid=8539 vsize=915424 CPUtime=0
/proc/8541/task/8545/stat : 8545 (java) S 8539 8541 7386 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160111821 937394176 23060 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8541/tid=8546] ppid=8539 vsize=915424 CPUtime=0
/proc/8541/task/8546/stat : 8546 (java) S 8539 8541 7386 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 160111824 937394176 23060 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8541/tid=8547] ppid=8539 vsize=915424 CPUtime=0.25
/proc/8541/task/8547/stat : 8547 (java) S 8539 8541 7386 0 -1 64 391 0 0 0 24 1 0 0 16 0 8 0 160111824 937394176 23060 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8541/tid=8548] ppid=8539 vsize=915424 CPUtime=0
/proc/8541/task/8548/stat : 8548 (java) S 8539 8541 7386 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 160111824 937394176 23060 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8541/tid=8549] ppid=8539 vsize=915424 CPUtime=0
/proc/8541/task/8549/stat : 8549 (java) S 8539 8541 7386 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 160111824 937394176 23060 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1535.03
Current children cumulated vsize (KiB) 915424

[startup+1603.77 s]
/proc/loadavg: 2.00 2.00 2.00 3/105 8802
/proc/meminfo: memFree=1398776/2055920 swapFree=4192812/4192956
[pid=8541] ppid=8539 vsize=915424 CPUtime=1594.77
/proc/8541/stat : 8541 (java) R 8539 8541 7386 0 -1 0 23330 0 1 0 159450 27 0 0 25 0 8 0 160111816 937394176 23060 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073807352 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8541/statm: 228856 23060 2531 14 0 215326 0
[pid=8541/tid=8543] ppid=8539 vsize=915424 CPUtime=0.18
/proc/8541/task/8543/stat : 8543 (java) S 8539 8541 7386 0 -1 64 6323 0 0 0 15 3 0 0 16 0 8 0 160111820 937394176 23060 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8541/tid=8544] ppid=8539 vsize=915424 CPUtime=0
/proc/8541/task/8544/stat : 8544 (java) S 8539 8541 7386 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160111821 937394176 23060 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8541/tid=8545] ppid=8539 vsize=915424 CPUtime=0
/proc/8541/task/8545/stat : 8545 (java) S 8539 8541 7386 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160111821 937394176 23060 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8541/tid=8546] ppid=8539 vsize=915424 CPUtime=0
/proc/8541/task/8546/stat : 8546 (java) S 8539 8541 7386 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 160111824 937394176 23060 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8541/tid=8547] ppid=8539 vsize=915424 CPUtime=0.25
/proc/8541/task/8547/stat : 8547 (java) S 8539 8541 7386 0 -1 64 391 0 0 0 24 1 0 0 16 0 8 0 160111824 937394176 23060 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8541/tid=8548] ppid=8539 vsize=915424 CPUtime=0
/proc/8541/task/8548/stat : 8548 (java) S 8539 8541 7386 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 160111824 937394176 23060 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8541/tid=8549] ppid=8539 vsize=915424 CPUtime=0
/proc/8541/task/8549/stat : 8549 (java) S 8539 8541 7386 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 160111824 937394176 23060 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1594.77
Current children cumulated vsize (KiB) 915424

[startup+1663.87 s]
/proc/loadavg: 2.00 2.00 2.00 3/105 8802
/proc/meminfo: memFree=1398712/2055920 swapFree=4192812/4192956
[pid=8541] ppid=8539 vsize=915424 CPUtime=1654.54
/proc/8541/stat : 8541 (java) R 8539 8541 7386 0 -1 0 23330 0 1 0 165427 27 0 0 25 0 8 0 160111816 937394176 23060 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073913680 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8541/statm: 228856 23060 2531 14 0 215326 0
[pid=8541/tid=8543] ppid=8539 vsize=915424 CPUtime=0.18
/proc/8541/task/8543/stat : 8543 (java) S 8539 8541 7386 0 -1 64 6323 0 0 0 15 3 0 0 16 0 8 0 160111820 937394176 23060 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8541/tid=8544] ppid=8539 vsize=915424 CPUtime=0
/proc/8541/task/8544/stat : 8544 (java) S 8539 8541 7386 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160111821 937394176 23060 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8541/tid=8545] ppid=8539 vsize=915424 CPUtime=0
/proc/8541/task/8545/stat : 8545 (java) S 8539 8541 7386 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160111821 937394176 23060 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8541/tid=8546] ppid=8539 vsize=915424 CPUtime=0
/proc/8541/task/8546/stat : 8546 (java) S 8539 8541 7386 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 160111824 937394176 23060 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8541/tid=8547] ppid=8539 vsize=915424 CPUtime=0.25
/proc/8541/task/8547/stat : 8547 (java) S 8539 8541 7386 0 -1 64 391 0 0 0 24 1 0 0 16 0 8 0 160111824 937394176 23060 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8541/tid=8548] ppid=8539 vsize=915424 CPUtime=0
/proc/8541/task/8548/stat : 8548 (java) S 8539 8541 7386 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 160111824 937394176 23060 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8541/tid=8549] ppid=8539 vsize=915424 CPUtime=0
/proc/8541/task/8549/stat : 8549 (java) S 8539 8541 7386 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 160111824 937394176 23060 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1654.54
Current children cumulated vsize (KiB) 915424

[startup+1723.96 s]
/proc/loadavg: 2.00 2.00 2.00 3/105 8802
/proc/meminfo: memFree=1398648/2055920 swapFree=4192812/4192956
[pid=8541] ppid=8539 vsize=915424 CPUtime=1714.29
/proc/8541/stat : 8541 (java) R 8539 8541 7386 0 -1 0 23330 0 1 0 171402 27 0 0 25 0 8 0 160111816 937394176 23060 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073624735 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8541/statm: 228856 23060 2531 14 0 215326 0
[pid=8541/tid=8543] ppid=8539 vsize=915424 CPUtime=0.18
/proc/8541/task/8543/stat : 8543 (java) S 8539 8541 7386 0 -1 64 6323 0 0 0 15 3 0 0 16 0 8 0 160111820 937394176 23060 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8541/tid=8544] ppid=8539 vsize=915424 CPUtime=0
/proc/8541/task/8544/stat : 8544 (java) S 8539 8541 7386 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160111821 937394176 23060 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8541/tid=8545] ppid=8539 vsize=915424 CPUtime=0
/proc/8541/task/8545/stat : 8545 (java) S 8539 8541 7386 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160111821 937394176 23060 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8541/tid=8546] ppid=8539 vsize=915424 CPUtime=0
/proc/8541/task/8546/stat : 8546 (java) S 8539 8541 7386 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 160111824 937394176 23060 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8541/tid=8547] ppid=8539 vsize=915424 CPUtime=0.25
/proc/8541/task/8547/stat : 8547 (java) S 8539 8541 7386 0 -1 64 391 0 0 0 24 1 0 0 16 0 8 0 160111824 937394176 23060 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8541/tid=8548] ppid=8539 vsize=915424 CPUtime=0
/proc/8541/task/8548/stat : 8548 (java) S 8539 8541 7386 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 160111824 937394176 23060 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8541/tid=8549] ppid=8539 vsize=915424 CPUtime=0
/proc/8541/task/8549/stat : 8549 (java) S 8539 8541 7386 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 160111824 937394176 23060 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1714.29
Current children cumulated vsize (KiB) 915424

[startup+1784.04 s]
/proc/loadavg: 2.00 2.00 2.00 3/105 8802
/proc/meminfo: memFree=1371576/2055920 swapFree=4192812/4192956
[pid=8541] ppid=8539 vsize=915424 CPUtime=1773.93
/proc/8541/stat : 8541 (java) R 8539 8541 7386 0 -1 0 23330 0 1 0 177366 27 0 0 25 0 8 0 160111816 937394176 23060 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073629628 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8541/statm: 228856 23060 2531 14 0 215326 0
[pid=8541/tid=8543] ppid=8539 vsize=915424 CPUtime=0.18
/proc/8541/task/8543/stat : 8543 (java) S 8539 8541 7386 0 -1 64 6323 0 0 0 15 3 0 0 16 0 8 0 160111820 937394176 23060 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8541/tid=8544] ppid=8539 vsize=915424 CPUtime=0
/proc/8541/task/8544/stat : 8544 (java) S 8539 8541 7386 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160111821 937394176 23060 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8541/tid=8545] ppid=8539 vsize=915424 CPUtime=0
/proc/8541/task/8545/stat : 8545 (java) S 8539 8541 7386 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160111821 937394176 23060 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8541/tid=8546] ppid=8539 vsize=915424 CPUtime=0
/proc/8541/task/8546/stat : 8546 (java) S 8539 8541 7386 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 160111824 937394176 23060 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8541/tid=8547] ppid=8539 vsize=915424 CPUtime=0.25
/proc/8541/task/8547/stat : 8547 (java) S 8539 8541 7386 0 -1 64 391 0 0 0 24 1 0 0 16 0 8 0 160111824 937394176 23060 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8541/tid=8548] ppid=8539 vsize=915424 CPUtime=0
/proc/8541/task/8548/stat : 8548 (java) S 8539 8541 7386 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 160111824 937394176 23060 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8541/tid=8549] ppid=8539 vsize=915424 CPUtime=0
/proc/8541/task/8549/stat : 8549 (java) S 8539 8541 7386 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 160111824 937394176 23060 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1773.93
Current children cumulated vsize (KiB) 915424



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1810.28 s]
/proc/loadavg: 2.00 2.00 2.00 3/105 8802
/proc/meminfo: memFree=1371576/2055920 swapFree=4192812/4192956
[pid=8541] ppid=8539 vsize=915424 CPUtime=1800.04
/proc/8541/stat : 8541 (java) R 8539 8541 7386 0 -1 0 23330 0 1 0 179977 27 0 0 25 0 8 0 160111816 937394176 23060 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073624803 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8541/statm: 228856 23060 2531 14 0 215326 0
[pid=8541/tid=8543] ppid=8539 vsize=915424 CPUtime=0.18
/proc/8541/task/8543/stat : 8543 (java) S 8539 8541 7386 0 -1 64 6323 0 0 0 15 3 0 0 16 0 8 0 160111820 937394176 23060 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8541/tid=8544] ppid=8539 vsize=915424 CPUtime=0
/proc/8541/task/8544/stat : 8544 (java) S 8539 8541 7386 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160111821 937394176 23060 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8541/tid=8545] ppid=8539 vsize=915424 CPUtime=0
/proc/8541/task/8545/stat : 8545 (java) S 8539 8541 7386 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160111821 937394176 23060 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8541/tid=8546] ppid=8539 vsize=915424 CPUtime=0
/proc/8541/task/8546/stat : 8546 (java) S 8539 8541 7386 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 160111824 937394176 23060 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8541/tid=8547] ppid=8539 vsize=915424 CPUtime=0.25
/proc/8541/task/8547/stat : 8547 (java) S 8539 8541 7386 0 -1 64 391 0 0 0 24 1 0 0 16 0 8 0 160111824 937394176 23060 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8541/tid=8548] ppid=8539 vsize=915424 CPUtime=0
/proc/8541/task/8548/stat : 8548 (java) S 8539 8541 7386 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 160111824 937394176 23060 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8541/tid=8549] ppid=8539 vsize=915424 CPUtime=0
/proc/8541/task/8549/stat : 8549 (java) S 8539 8541 7386 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 160111824 937394176 23060 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 915424

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

Child status: 143
Real time (s): 1810.33
CPU time (s): 1800.09
CPU user time (s): 1799.8
CPU system time (s): 0.289955
CPU usage (%): 99.4346
Max. virtual memory (cumulated for all children) (KiB): 915424

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.8
system time used= 0.289955
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23347
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= 37746
involuntary context switches= 46696

runsolver used 2.20366 s user time and 5.87311 s system time

The end

Launcher Data (download as text)

Begin job on node3 on Sat Jan  6 20:59:22 UTC 2007


IDJOB= 195987
IDBENCH= 3317
FILE ID= node3/195987-1168117160

PBS_JOBID= 3477111

Free space on /tmp= 66520 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  cd732b701dc19065140f3438f227da6d

RANDOM SEED= 976957471

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.279
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.279
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:       1635624 kB
Buffers:         41908 kB
Cached:         137748 kB
SwapCached:          0 kB
Active:         284664 kB
Inactive:        82236 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1635624 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            4480 kB
Writeback:           0 kB
Mapped:         207220 kB
Slab:            38156 kB
Committed_AS:  4052836 kB
PageTables:       2332 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= 66537 MiB



End job on node3 on Sat Jan  6 21:29:33 UTC 2007