Trace number 195883

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.16 1809.16

General information on the benchmark

Namerandom/rand-3-24-24/
rand-3-24-24-76-632-45_ext.xml
MD5SUM98b2c3eb7c5ef9b6c13b42e20f078dd6
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 variables24
Number of constraints75
Maximum constraint arity3
Maximum domain size24
Number of constraints which are defined in extension75
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.35	   
0.35	   instance
0.35	     name=/tmp/evaluation/195883-1168115544/unknown.xml
0.38	   
0.38	   domains being loaded...
0.39	   
0.39	   variables being loaded...
0.42	     nbVariables=24  nbDomainTypes=1  minDomainSize=24  maxDomainSize=24
0.42	       =>  wckTime=0.099  cpuTime=0.08  mem=6M951
0.42	   
0.42	   relations being loaded...
1.09	   
1.09	   constraints being loaded...
1.36	     nbConstraints=75  nbRelationTypes=75  nbExtensionStructures=75  nbSharedExtensionStructures=0
1.36	     nbConflictsStructures=75  nbSharedConflictsStructures=0  nbSharedBinaryRepresentations=0  maxDegree=15  maxArity=3
1.36	       =>  wckTime=1.036  cpuTime=0.9  mem=48M655
1.50	   
1.50	   solver IterativeSystematicSolver being built... 
1.67	       =>  wckTime=1.347  cpuTime=1.04  mem=34M506
1.78	   
1.78	   preprocessing
1.78	     nbConstraintChecks=35686  nbValidityChecks=57244  nbPropagations=234  nbRevisions=2415  nbUselessRevisions=2091
1.78	     nbSingletonTests=31  nbEffectiveSingletonTests=0  nbESACBranches=4  nbRemovedValues=0  detectedInconsistency=no
1.78	       =>  wckTime=0.109  cpuTime=0.08  mem=34M506
1.86	   
1.86	   search
1.86	     run=0  nbConstraintChecks=40398  nbValidityChecks=73343  nbPropagations=571  nbRevisions=6463
1.86	     nbUselessRevisions=5297  nbAssignments=32  nbFailedAssignments=18  nbBacktracks=10  nbVisitedNodes=57
1.86	     nbRestartNogoods=0  mapSize=9  nbInferences=0  nbTooLargeKeys=0
1.86	       =>  wckTime=0.185  cpuTime=0.16  mem=35M509
1.95	   
1.96	   search
1.96	     run=1  nbConstraintChecks=93327  nbValidityChecks=173893  nbPropagations=1672  nbRevisions=19377
1.96	     nbUselessRevisions=15677  nbAssignments=78  nbFailedAssignments=42  nbBacktracks=25  nbVisitedNodes=138
1.96	     nbRestartNogoods=1  mapSize=23  nbInferences=0  nbTooLargeKeys=0
1.96	       =>  wckTime=0.284  cpuTime=0.26  mem=35M509
2.20	   
2.20	   search
2.20	     run=2  nbConstraintChecks=246308  nbValidityChecks=500739  nbPropagations=4115  nbRevisions=50379
2.20	     nbUselessRevisions=40928  nbAssignments=217  nbFailedAssignments=98  nbBacktracks=47  nbVisitedNodes=298
2.20	     nbRestartNogoods=13  mapSize=45  nbInferences=0  nbTooLargeKeys=0
2.20	       =>  wckTime=0.533  cpuTime=0.49  mem=35M509
2.36	   
2.36	   search
2.36	     run=3  nbConstraintChecks=342206  nbValidityChecks=689792  nbPropagations=7536  nbRevisions=92940
2.36	     nbUselessRevisions=75471  nbAssignments=303  nbFailedAssignments=134  nbBacktracks=81  nbVisitedNodes=430
2.36	     nbRestartNogoods=20  mapSize=77  nbInferences=0  nbTooLargeKeys=0
2.36	       =>  wckTime=0.691  cpuTime=0.64  mem=35M509
2.58	   
2.58	   search
2.58	     run=4  nbConstraintChecks=487576  nbValidityChecks=975064  nbPropagations=12483  nbRevisions=154008
2.58	     nbUselessRevisions=124824  nbAssignments=441  nbFailedAssignments=206  nbBacktracks=132  nbVisitedNodes=665
2.58	     nbRestartNogoods=25  mapSize=125  nbInferences=0  nbTooLargeKeys=0
2.58	       =>  wckTime=0.908  cpuTime=0.86  mem=35M509
3.02	   
3.02	   search
3.02	     run=5  nbConstraintChecks=775564  nbValidityChecks=1565464  nbPropagations=20562  nbRevisions=253013
3.02	     nbUselessRevisions=204240  nbAssignments=688  nbFailedAssignments=346  nbBacktracks=207  nbVisitedNodes=1087
3.02	     nbRestartNogoods=36  mapSize=198  nbInferences=0  nbTooLargeKeys=0
3.02	       =>  wckTime=1.345  cpuTime=1.29  mem=35M509
3.60	   
3.60	   search
3.60	     run=6  nbConstraintChecks=1190597  nbValidityChecks=2317383  nbPropagations=31984  nbRevisions=395506
3.60	     nbUselessRevisions=318375  nbAssignments=972  nbFailedAssignments=513  nbBacktracks=320  nbVisitedNodes=1610
3.60	     nbRestartNogoods=45  mapSize=301  nbInferences=0  nbTooLargeKeys=0
3.60	       =>  wckTime=1.932  cpuTime=1.87  mem=35M509
4.40	   
4.40	   search
4.40	     run=7  nbConstraintChecks=1729859  nbValidityChecks=3352638  nbPropagations=48547  nbRevisions=599322
4.40	     nbUselessRevisions=480649  nbAssignments=1350  nbFailedAssignments=716  nbBacktracks=490  nbVisitedNodes=2313
4.40	     nbRestartNogoods=48  mapSize=459  nbInferences=0  nbTooLargeKeys=0
4.40	       =>  wckTime=2.73  cpuTime=2.66  mem=35M509
5.79	   
5.79	   search
5.79	     run=8  nbConstraintChecks=2647791  nbValidityChecks=5389032  nbPropagations=75895  nbRevisions=924082
5.79	     nbUselessRevisions=734554  nbAssignments=2383  nbFailedAssignments=1486  nbBacktracks=746  nbVisitedNodes=4299
5.79	     nbRestartNogoods=54  mapSize=706  nbInferences=0  nbTooLargeKeys=0
5.79	       =>  wckTime=4.116  cpuTime=4.01  mem=35M509
7.33	   
7.33	   INFO : Stopping hyperNogood (mapSize=1042, nbTooLargekeys=0, mem=35M509)
7.45	   
7.45	   search
7.45	     run=9  nbConstraintChecks=3836256  nbValidityChecks=7719380  nbPropagations=116320  nbRevisions=1403488
7.45	     nbUselessRevisions=1109937  nbAssignments=3411  nbFailedAssignments=2124  nbBacktracks=1130  nbVisitedNodes=6230
7.45	     nbRestartNogoods=63
7.45	       =>  wckTime=5.781  cpuTime=5.66  mem=35M509
9.69	   
9.69	   search
9.69	     run=10  nbConstraintChecks=5420778  nbValidityChecks=10806886  nbPropagations=174877  nbRevisions=2093350
9.69	     nbUselessRevisions=1650316  nbAssignments=4837  nbFailedAssignments=2948  nbBacktracks=1707  nbVisitedNodes=8833
9.69	     nbRestartNogoods=71
9.69	       =>  wckTime=8.018  cpuTime=7.88  mem=35M509
14.88	   
14.88	   search
14.88	     run=11  nbConstraintChecks=9272654  nbValidityChecks=18059569  nbPropagations=265213  nbRevisions=3220683
14.88	     nbUselessRevisions=2541111  nbAssignments=7848  nbFailedAssignments=5089  nbBacktracks=2572  nbVisitedNodes=14645
14.88	     nbRestartNogoods=78
14.88	       =>  wckTime=13.212  cpuTime=13.04  mem=35M509
19.41	   
19.41	   search
19.41	     run=12  nbConstraintChecks=12420395  nbValidityChecks=24231285  nbPropagations=390023  nbRevisions=4760116
19.41	     nbUselessRevisions=3760251  nbAssignments=10634  nbFailedAssignments=6560  nbBacktracks=3871  nbVisitedNodes=19698
19.41	     nbRestartNogoods=86
19.41	       =>  wckTime=17.741  cpuTime=17.55  mem=35M509
26.55	   
26.55	   search
26.55	     run=13  nbConstraintChecks=17442073  nbValidityChecks=33976665  nbPropagations=568342  nbRevisions=6941000
26.55	     nbUselessRevisions=5487348  nbAssignments=14984  nbFailedAssignments=8958  nbBacktracks=5818  nbVisitedNodes=27655
26.55	     nbRestartNogoods=97
26.55	       =>  wckTime=24.877  cpuTime=24.65  mem=35M509
37.85	   
37.85	   search
37.85	     run=14  nbConstraintChecks=25483413  nbValidityChecks=49480717  nbPropagations=828738  nbRevisions=10096780
37.85	     nbUselessRevisions=7982669  nbAssignments=21603  nbFailedAssignments=12652  nbBacktracks=8737  nbVisitedNodes=39760
37.85	     nbRestartNogoods=104
37.85	       =>  wckTime=36.18  cpuTime=35.89  mem=35M509
59.61	   
59.61	   search
59.61	     run=15  nbConstraintChecks=41253453  nbValidityChecks=80833334  nbPropagations=1252106  nbRevisions=15336485
59.61	     nbUselessRevisions=12132152  nbAssignments=33798  nbFailedAssignments=20454  nbBacktracks=13115
59.61	     nbVisitedNodes=63143  nbRestartNogoods=114
59.61	       =>  wckTime=57.941  cpuTime=57.55  mem=35M509
86.29	   
86.29	   search
86.29	     run=16  nbConstraintChecks=60364945  nbValidityChecks=120465466  nbPropagations=1886788  nbRevisions=23010475
86.29	     nbUselessRevisions=18168384  nbAssignments=51785  nbFailedAssignments=31868  nbBacktracks=19684
86.29	     nbVisitedNodes=96933  nbRestartNogoods=121
86.29	       =>  wckTime=84.623  cpuTime=84.1  mem=35M509
124.41	   
124.41	   search
124.41	     run=17  nbConstraintChecks=88324006  nbValidityChecks=174916996  nbPropagations=2839312  nbRevisions=34481315
124.41	     nbUselessRevisions=27200109  nbAssignments=75988  nbFailedAssignments=46212  nbBacktracks=29536
124.41	     nbVisitedNodes=142260  nbRestartNogoods=132
124.41	       =>  wckTime=122.739  cpuTime=122.05  mem=35M509
185.08	   
185.08	   search
185.08	     run=18  nbConstraintChecks=132651231  nbValidityChecks=261543209  nbPropagations=4264098  nbRevisions=51607631
185.08	     nbUselessRevisions=40696546  nbAssignments=112048  nbFailedAssignments=67442  nbBacktracks=44314
185.08	     nbVisitedNodes=209406  nbRestartNogoods=155
185.08	       =>  wckTime=183.409  cpuTime=182.42  mem=35M509
276.40	   
276.40	   search
276.40	     run=19  nbConstraintChecks=200173548  nbValidityChecks=391340126  nbPropagations=6353211  nbRevisions=76876329
276.40	     nbUselessRevisions=60659613  nbAssignments=164714  nbFailedAssignments=97935  nbBacktracks=66482
276.40	     nbVisitedNodes=306901  nbRestartNogoods=170
276.40	       =>  wckTime=274.731  cpuTime=273.31  mem=35M509
398.54	   
398.54	   search
398.54	     run=20  nbConstraintChecks=288903122  nbValidityChecks=563599206  nbPropagations=9379548  nbRevisions=113410089
398.54	     nbUselessRevisions=89549970  nbAssignments=239602  nbFailedAssignments=139565  nbBacktracks=99735
398.54	     nbVisitedNodes=444278  nbRestartNogoods=198
398.54	       =>  wckTime=396.868  cpuTime=394.88  mem=35M509
612.34	   
612.34	   search
612.34	     run=21  nbConstraintChecks=445155334  nbValidityChecks=872836898  nbPropagations=14146774  nbRevisions=171143392
612.34	     nbUselessRevisions=135189101  nbAssignments=369431  nbFailedAssignments=219498  nbBacktracks=149613
612.34	     nbVisitedNodes=690056  nbRestartNogoods=215
612.34	       =>  wckTime=610.665  cpuTime=607.67  mem=35M509
881.24	   
881.24	   search
881.24	     run=22  nbConstraintChecks=639768578  nbValidityChecks=1249340584  nbPropagations=20956767  nbRevisions=253351316
881.24	     nbUselessRevisions=200203384  nbAssignments=531427  nbFailedAssignments=306648  nbBacktracks=224431
881.24	     nbVisitedNodes=985793  nbRestartNogoods=234
881.24	       =>  wckTime=879.566  cpuTime=875.29  mem=35M509
1371.52	   
1371.52	   search
1371.52	     run=23  nbConstraintChecks=1001144978  nbValidityChecks=1949329697  nbPropagations=31394059  nbRevisions=380153668
1371.52	     nbUselessRevisions=300482168  nbAssignments=813394  nbFailedAssignments=476386  nbBacktracks=336658
1371.52	     nbVisitedNodes=1513684  nbRestartNogoods=257
1371.52	       =>  wckTime=1369.844  cpuTime=1363.25  mem=35M509

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/node10/watcher-195883-1168115544 -o ROOT/results/node10/solver-195883-1168115544 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/195883-1168115544/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.38 2.67 2.62 2/86 8054
/proc/meminfo: memFree=1406800/2055920 swapFree=4178332/4192956
[pid=8053] ppid=8051 vsize=18540 CPUtime=0
/proc/8053/stat : 8053 (runsolver) R 8051 8053 7214 0 -1 4194368 17 0 0 0 0 0 0 0 20 0 1 0 159949587 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 214919867687 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/8053/statm: 4635 279 244 17 0 2626 0

[startup+0.102272 s]
/proc/loadavg: 2.38 2.67 2.62 2/86 8054
/proc/meminfo: memFree=1406800/2055920 swapFree=4178332/4192956
[pid=8053] ppid=8051 vsize=913068 CPUtime=0.08
/proc/8053/stat : 8053 (java) S 8051 8053 7214 0 -1 0 2887 0 1 0 6 2 0 0 19 0 8 0 159949587 934981632 2633 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8053/statm: 228267 2633 1396 14 0 215168 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 913068

[startup+0.510325 s]
/proc/loadavg: 2.38 2.67 2.62 2/86 8054
/proc/meminfo: memFree=1406800/2055920 swapFree=4178332/4192956
[pid=8053] ppid=8051 vsize=915328 CPUtime=0.49
/proc/8053/stat : 8053 (java) R 8051 8053 7214 0 -1 0 7314 0 1 0 43 6 0 0 18 0 8 0 159949587 937295872 7053 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073456067 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8053/statm: 228832 7053 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328

[startup+1.33344 s]
/proc/loadavg: 2.38 2.67 2.62 4/93 8061
/proc/meminfo: memFree=1339224/2055920 swapFree=4178332/4192956
[pid=8053] ppid=8051 vsize=915328 CPUtime=1.31
/proc/8053/stat : 8053 (java) R 8051 8053 7214 0 -1 0 19107 0 1 0 119 12 0 0 24 0 8 0 159949587 937295872 18845 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153379438 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8053/statm: 228832 18845 2160 14 0 215302 0
[pid=8053/tid=8055] ppid=8051 vsize=915328 CPUtime=0.05
/proc/8053/task/8055/stat : 8055 (java) S 8051 8053 7214 0 -1 64 2644 0 0 0 4 1 0 0 17 0 8 0 159949591 937295872 18845 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8053/tid=8056] ppid=8051 vsize=915328 CPUtime=0
/proc/8053/task/8056/stat : 8056 (java) S 8051 8053 7214 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 159949592 937295872 18845 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8053/tid=8057] ppid=8051 vsize=915328 CPUtime=0
/proc/8053/task/8057/stat : 8057 (java) S 8051 8053 7214 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 159949592 937295872 18845 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8053/tid=8058] ppid=8051 vsize=915328 CPUtime=0
/proc/8053/task/8058/stat : 8058 (java) S 8051 8053 7214 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 159949595 937295872 18845 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8053/tid=8059] ppid=8051 vsize=915328 CPUtime=0.09
/proc/8053/task/8059/stat : 8059 (java) S 8051 8053 7214 0 -1 64 320 0 0 0 9 0 0 0 16 0 8 0 159949595 937295872 18845 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8053/tid=8060] ppid=8051 vsize=915328 CPUtime=0
/proc/8053/task/8060/stat : 8060 (java) S 8051 8053 7214 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 159949596 937295872 18845 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8053/tid=8061] ppid=8051 vsize=915328 CPUtime=0
/proc/8053/task/8061/stat : 8061 (java) S 8051 8053 7214 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 159949596 937295872 18845 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915328

[startup+2.98667 s]
/proc/loadavg: 2.38 2.67 2.62 3/93 8061
/proc/meminfo: memFree=1322904/2055920 swapFree=4178332/4192956
[pid=8053] ppid=8051 vsize=915416 CPUtime=2.95
/proc/8053/stat : 8053 (java) R 8051 8053 7214 0 -1 0 23477 0 1 0 280 15 0 0 25 0 8 0 159949587 937385984 23213 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073760094 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8053/statm: 228854 23213 2531 14 0 215324 0
[pid=8053/tid=8055] ppid=8051 vsize=915416 CPUtime=0.18
/proc/8053/task/8055/stat : 8055 (java) S 8051 8053 7214 0 -1 64 6496 0 0 0 15 3 0 0 17 0 8 0 159949591 937385984 23213 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8053/tid=8056] ppid=8051 vsize=915416 CPUtime=0
/proc/8053/task/8056/stat : 8056 (java) S 8051 8053 7214 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 159949592 937385984 23213 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8053/tid=8057] ppid=8051 vsize=915416 CPUtime=0
/proc/8053/task/8057/stat : 8057 (java) S 8051 8053 7214 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159949592 937385984 23213 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8053/tid=8058] ppid=8051 vsize=915416 CPUtime=0
/proc/8053/task/8058/stat : 8058 (java) S 8051 8053 7214 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 159949595 937385984 23213 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8053/tid=8059] ppid=8051 vsize=915416 CPUtime=0.2
/proc/8053/task/8059/stat : 8059 (java) S 8051 8053 7214 0 -1 64 370 0 0 0 19 1 0 0 15 0 8 0 159949595 937385984 23213 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8053/tid=8060] ppid=8051 vsize=915416 CPUtime=0
/proc/8053/task/8060/stat : 8060 (java) S 8051 8053 7214 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 159949596 937385984 23213 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8053/tid=8061] ppid=8051 vsize=915416 CPUtime=0
/proc/8053/task/8061/stat : 8061 (java) S 8051 8053 7214 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 159949596 937385984 23213 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 915416

[startup+6.28512 s]
/proc/loadavg: 2.35 2.66 2.62 3/93 8061
/proc/meminfo: memFree=1322136/2055920 swapFree=4178332/4192956
[pid=8053] ppid=8051 vsize=915416 CPUtime=6.23
/proc/8053/stat : 8053 (java) R 8051 8053 7214 0 -1 0 23494 0 1 0 608 15 0 0 25 0 8 0 159949587 937385984 23227 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073759977 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8053/statm: 228854 23227 2531 14 0 215324 0
[pid=8053/tid=8055] ppid=8051 vsize=915416 CPUtime=0.18
/proc/8053/task/8055/stat : 8055 (java) S 8051 8053 7214 0 -1 64 6496 0 0 0 15 3 0 0 17 0 8 0 159949591 937385984 23227 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8053/tid=8056] ppid=8051 vsize=915416 CPUtime=0
/proc/8053/task/8056/stat : 8056 (java) S 8051 8053 7214 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 159949592 937385984 23227 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8053/tid=8057] ppid=8051 vsize=915416 CPUtime=0
/proc/8053/task/8057/stat : 8057 (java) S 8051 8053 7214 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159949592 937385984 23227 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8053/tid=8058] ppid=8051 vsize=915416 CPUtime=0
/proc/8053/task/8058/stat : 8058 (java) S 8051 8053 7214 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 159949595 937385984 23227 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8053/tid=8059] ppid=8051 vsize=915416 CPUtime=0.23
/proc/8053/task/8059/stat : 8059 (java) S 8051 8053 7214 0 -1 64 386 0 0 0 22 1 0 0 16 0 8 0 159949595 937385984 23227 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8053/tid=8060] ppid=8051 vsize=915416 CPUtime=0
/proc/8053/task/8060/stat : 8060 (java) S 8051 8053 7214 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 159949596 937385984 23227 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8053/tid=8061] ppid=8051 vsize=915416 CPUtime=0
/proc/8053/task/8061/stat : 8061 (java) S 8051 8053 7214 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 159949596 937385984 23227 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 915416

[startup+12.776 s]
/proc/loadavg: 2.32 2.65 2.61 3/93 8061
/proc/meminfo: memFree=1321880/2055920 swapFree=4178332/4192956
[pid=8053] ppid=8051 vsize=915416 CPUtime=12.68
/proc/8053/stat : 8053 (java) R 8051 8053 7214 0 -1 0 23498 0 1 0 1253 15 0 0 25 0 8 0 159949587 937385984 23230 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073752638 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8053/statm: 228854 23230 2531 14 0 215324 0
[pid=8053/tid=8055] ppid=8051 vsize=915416 CPUtime=0.18
/proc/8053/task/8055/stat : 8055 (java) S 8051 8053 7214 0 -1 64 6496 0 0 0 15 3 0 0 16 0 8 0 159949591 937385984 23230 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8053/tid=8056] ppid=8051 vsize=915416 CPUtime=0
/proc/8053/task/8056/stat : 8056 (java) S 8051 8053 7214 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 159949592 937385984 23230 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8053/tid=8057] ppid=8051 vsize=915416 CPUtime=0
/proc/8053/task/8057/stat : 8057 (java) S 8051 8053 7214 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159949592 937385984 23230 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8053/tid=8058] ppid=8051 vsize=915416 CPUtime=0
/proc/8053/task/8058/stat : 8058 (java) S 8051 8053 7214 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 159949595 937385984 23230 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8053/tid=8059] ppid=8051 vsize=915416 CPUtime=0.24
/proc/8053/task/8059/stat : 8059 (java) S 8051 8053 7214 0 -1 64 390 0 0 0 23 1 0 0 16 0 8 0 159949595 937385984 23230 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8053/tid=8060] ppid=8051 vsize=915416 CPUtime=0
/proc/8053/task/8060/stat : 8060 (java) S 8051 8053 7214 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 159949596 937385984 23230 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8053/tid=8061] ppid=8051 vsize=915416 CPUtime=0
/proc/8053/task/8061/stat : 8061 (java) S 8051 8053 7214 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 159949596 937385984 23230 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 915416

[startup+25.6297 s]
/proc/loadavg: 2.25 2.62 2.60 3/93 8061
/proc/meminfo: memFree=1321944/2055920 swapFree=4178332/4192956
[pid=8053] ppid=8051 vsize=915416 CPUtime=25.47
/proc/8053/stat : 8053 (java) R 8051 8053 7214 0 -1 0 23498 0 1 0 2532 15 0 0 25 0 8 0 159949587 937385984 23230 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073632892 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8053/statm: 228854 23230 2531 14 0 215324 0
[pid=8053/tid=8055] ppid=8051 vsize=915416 CPUtime=0.18
/proc/8053/task/8055/stat : 8055 (java) S 8051 8053 7214 0 -1 64 6496 0 0 0 15 3 0 0 16 0 8 0 159949591 937385984 23230 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8053/tid=8056] ppid=8051 vsize=915416 CPUtime=0
/proc/8053/task/8056/stat : 8056 (java) S 8051 8053 7214 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 159949592 937385984 23230 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8053/tid=8057] ppid=8051 vsize=915416 CPUtime=0
/proc/8053/task/8057/stat : 8057 (java) S 8051 8053 7214 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159949592 937385984 23230 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8053/tid=8058] ppid=8051 vsize=915416 CPUtime=0
/proc/8053/task/8058/stat : 8058 (java) S 8051 8053 7214 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 159949595 937385984 23230 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8053/tid=8059] ppid=8051 vsize=915416 CPUtime=0.24
/proc/8053/task/8059/stat : 8059 (java) S 8051 8053 7214 0 -1 64 390 0 0 0 23 1 0 0 16 0 8 0 159949595 937385984 23230 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8053/tid=8060] ppid=8051 vsize=915416 CPUtime=0
/proc/8053/task/8060/stat : 8060 (java) S 8051 8053 7214 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 159949596 937385984 23230 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8053/tid=8061] ppid=8051 vsize=915416 CPUtime=0
/proc/8053/task/8061/stat : 8061 (java) S 8051 8053 7214 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 159949596 937385984 23230 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 915416

[startup+51.2642 s]
/proc/loadavg: 2.16 2.57 2.58 3/94 8062
/proc/meminfo: memFree=1181136/2055920 swapFree=4178332/4192956
[pid=8053] ppid=8051 vsize=915416 CPUtime=50.99
/proc/8053/stat : 8053 (java) R 8051 8053 7214 0 -1 0 23499 0 1 0 5083 16 0 0 25 0 8 0 159949587 937385984 23230 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073754426 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8053/statm: 228854 23230 2531 14 0 215324 0
[pid=8053/tid=8055] ppid=8051 vsize=915416 CPUtime=0.18
/proc/8053/task/8055/stat : 8055 (java) S 8051 8053 7214 0 -1 64 6496 0 0 0 15 3 0 0 16 0 8 0 159949591 937385984 23230 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8053/tid=8056] ppid=8051 vsize=915416 CPUtime=0
/proc/8053/task/8056/stat : 8056 (java) S 8051 8053 7214 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 159949592 937385984 23230 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8053/tid=8057] ppid=8051 vsize=915416 CPUtime=0
/proc/8053/task/8057/stat : 8057 (java) S 8051 8053 7214 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159949592 937385984 23230 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8053/tid=8058] ppid=8051 vsize=915416 CPUtime=0
/proc/8053/task/8058/stat : 8058 (java) S 8051 8053 7214 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 159949595 937385984 23230 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8053/tid=8059] ppid=8051 vsize=915416 CPUtime=0.24
/proc/8053/task/8059/stat : 8059 (java) S 8051 8053 7214 0 -1 64 390 0 0 0 23 1 0 0 16 0 8 0 159949595 937385984 23230 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8053/tid=8060] ppid=8051 vsize=915416 CPUtime=0
/proc/8053/task/8060/stat : 8060 (java) S 8051 8053 7214 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 159949596 937385984 23230 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8053/tid=8061] ppid=8051 vsize=915416 CPUtime=0
/proc/8053/task/8061/stat : 8061 (java) S 8051 8053 7214 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 159949596 937385984 23230 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.99
Current children cumulated vsize (KiB) 915416

[startup+102.524 s]
/proc/loadavg: 2.16 2.51 2.56 3/94 8062
/proc/meminfo: memFree=1181136/2055920 swapFree=4178332/4192956
[pid=8053] ppid=8051 vsize=915416 CPUtime=102
/proc/8053/stat : 8053 (java) R 8051 8053 7214 0 -1 0 23499 0 1 0 10184 16 0 0 25 0 8 0 159949587 937385984 23230 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073810300 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8053/statm: 228854 23230 2531 14 0 215324 0
[pid=8053/tid=8055] ppid=8051 vsize=915416 CPUtime=0.18
/proc/8053/task/8055/stat : 8055 (java) S 8051 8053 7214 0 -1 64 6496 0 0 0 15 3 0 0 16 0 8 0 159949591 937385984 23230 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8053/tid=8056] ppid=8051 vsize=915416 CPUtime=0
/proc/8053/task/8056/stat : 8056 (java) S 8051 8053 7214 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 159949592 937385984 23230 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8053/tid=8057] ppid=8051 vsize=915416 CPUtime=0
/proc/8053/task/8057/stat : 8057 (java) S 8051 8053 7214 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159949592 937385984 23230 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8053/tid=8058] ppid=8051 vsize=915416 CPUtime=0
/proc/8053/task/8058/stat : 8058 (java) S 8051 8053 7214 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 159949595 937385984 23230 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8053/tid=8059] ppid=8051 vsize=915416 CPUtime=0.24
/proc/8053/task/8059/stat : 8059 (java) S 8051 8053 7214 0 -1 64 390 0 0 0 23 1 0 0 16 0 8 0 159949595 937385984 23230 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8053/tid=8060] ppid=8051 vsize=915416 CPUtime=0
/proc/8053/task/8060/stat : 8060 (java) S 8051 8053 7214 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 159949596 937385984 23230 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8053/tid=8061] ppid=8051 vsize=915416 CPUtime=0
/proc/8053/task/8061/stat : 8061 (java) S 8051 8053 7214 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 159949596 937385984 23230 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 102
Current children cumulated vsize (KiB) 915416

[startup+162.534 s]
/proc/loadavg: 2.11 2.43 2.53 3/94 8062
/proc/meminfo: memFree=1181072/2055920 swapFree=4178332/4192956
[pid=8053] ppid=8051 vsize=915416 CPUtime=161.73
/proc/8053/stat : 8053 (java) R 8051 8053 7214 0 -1 0 23499 0 1 0 16156 17 0 0 25 0 8 0 159949587 937385984 23230 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073759506 0 4 0 23759 18446744073709551615 0 0 17 1 0 0

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

Current children cumulated CPU time (s) 1415.97
Current children cumulated vsize (KiB) 915416

[startup+1482.75 s]
/proc/loadavg: 2.00 2.00 2.11 3/96 8064
/proc/meminfo: memFree=1180736/2055920 swapFree=4178332/4192956
[pid=8053] ppid=8051 vsize=915416 CPUtime=1475.69
/proc/8053/stat : 8053 (java) R 8051 8053 7214 0 -1 0 23499 0 1 0 147543 26 0 0 25 0 8 0 159949587 937385984 23230 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073772646 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8053/statm: 228854 23230 2531 14 0 215324 0
[pid=8053/tid=8055] ppid=8051 vsize=915416 CPUtime=0.18
/proc/8053/task/8055/stat : 8055 (java) S 8051 8053 7214 0 -1 64 6496 0 0 0 15 3 0 0 16 0 8 0 159949591 937385984 23230 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8053/tid=8056] ppid=8051 vsize=915416 CPUtime=0
/proc/8053/task/8056/stat : 8056 (java) S 8051 8053 7214 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 159949592 937385984 23230 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8053/tid=8057] ppid=8051 vsize=915416 CPUtime=0
/proc/8053/task/8057/stat : 8057 (java) S 8051 8053 7214 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159949592 937385984 23230 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8053/tid=8058] ppid=8051 vsize=915416 CPUtime=0
/proc/8053/task/8058/stat : 8058 (java) S 8051 8053 7214 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 159949595 937385984 23230 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8053/tid=8059] ppid=8051 vsize=915416 CPUtime=0.24
/proc/8053/task/8059/stat : 8059 (java) S 8051 8053 7214 0 -1 64 390 0 0 0 23 1 0 0 16 0 8 0 159949595 937385984 23230 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8053/tid=8060] ppid=8051 vsize=915416 CPUtime=0
/proc/8053/task/8060/stat : 8060 (java) S 8051 8053 7214 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 159949596 937385984 23230 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8053/tid=8061] ppid=8051 vsize=915416 CPUtime=0
/proc/8053/task/8061/stat : 8061 (java) S 8051 8053 7214 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 159949596 937385984 23230 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1475.69
Current children cumulated vsize (KiB) 915416

[startup+1542.76 s]
/proc/loadavg: 2.00 2.00 2.09 3/96 8064
/proc/meminfo: memFree=1180800/2055920 swapFree=4178332/4192956
[pid=8053] ppid=8051 vsize=915416 CPUtime=1535.43
/proc/8053/stat : 8053 (java) R 8051 8053 7214 0 -1 0 23499 0 1 0 153516 27 0 0 25 0 8 0 159949587 937385984 23230 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073632892 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8053/statm: 228854 23230 2531 14 0 215324 0
[pid=8053/tid=8055] ppid=8051 vsize=915416 CPUtime=0.18
/proc/8053/task/8055/stat : 8055 (java) S 8051 8053 7214 0 -1 64 6496 0 0 0 15 3 0 0 16 0 8 0 159949591 937385984 23230 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8053/tid=8056] ppid=8051 vsize=915416 CPUtime=0
/proc/8053/task/8056/stat : 8056 (java) S 8051 8053 7214 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 159949592 937385984 23230 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8053/tid=8057] ppid=8051 vsize=915416 CPUtime=0
/proc/8053/task/8057/stat : 8057 (java) S 8051 8053 7214 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159949592 937385984 23230 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8053/tid=8058] ppid=8051 vsize=915416 CPUtime=0
/proc/8053/task/8058/stat : 8058 (java) S 8051 8053 7214 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 159949595 937385984 23230 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8053/tid=8059] ppid=8051 vsize=915416 CPUtime=0.24
/proc/8053/task/8059/stat : 8059 (java) S 8051 8053 7214 0 -1 64 390 0 0 0 23 1 0 0 16 0 8 0 159949595 937385984 23230 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8053/tid=8060] ppid=8051 vsize=915416 CPUtime=0
/proc/8053/task/8060/stat : 8060 (java) S 8051 8053 7214 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 159949596 937385984 23230 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8053/tid=8061] ppid=8051 vsize=915416 CPUtime=0
/proc/8053/task/8061/stat : 8061 (java) S 8051 8053 7214 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 159949596 937385984 23230 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1535.43
Current children cumulated vsize (KiB) 915416

[startup+1602.77 s]
/proc/loadavg: 2.00 2.00 2.09 3/96 8064
/proc/meminfo: memFree=1180736/2055920 swapFree=4178332/4192956
[pid=8053] ppid=8051 vsize=915416 CPUtime=1595.15
/proc/8053/stat : 8053 (java) R 8051 8053 7214 0 -1 0 23499 0 1 0 159488 27 0 0 25 0 8 0 159949587 937385984 23230 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073752628 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8053/statm: 228854 23230 2531 14 0 215324 0
[pid=8053/tid=8055] ppid=8051 vsize=915416 CPUtime=0.18
/proc/8053/task/8055/stat : 8055 (java) S 8051 8053 7214 0 -1 64 6496 0 0 0 15 3 0 0 16 0 8 0 159949591 937385984 23230 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8053/tid=8056] ppid=8051 vsize=915416 CPUtime=0
/proc/8053/task/8056/stat : 8056 (java) S 8051 8053 7214 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 159949592 937385984 23230 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8053/tid=8057] ppid=8051 vsize=915416 CPUtime=0
/proc/8053/task/8057/stat : 8057 (java) S 8051 8053 7214 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159949592 937385984 23230 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8053/tid=8058] ppid=8051 vsize=915416 CPUtime=0
/proc/8053/task/8058/stat : 8058 (java) S 8051 8053 7214 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 159949595 937385984 23230 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8053/tid=8059] ppid=8051 vsize=915416 CPUtime=0.24
/proc/8053/task/8059/stat : 8059 (java) S 8051 8053 7214 0 -1 64 390 0 0 0 23 1 0 0 16 0 8 0 159949595 937385984 23230 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8053/tid=8060] ppid=8051 vsize=915416 CPUtime=0
/proc/8053/task/8060/stat : 8060 (java) S 8051 8053 7214 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 159949596 937385984 23230 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8053/tid=8061] ppid=8051 vsize=915416 CPUtime=0
/proc/8053/task/8061/stat : 8061 (java) S 8051 8053 7214 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 159949596 937385984 23230 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1595.15
Current children cumulated vsize (KiB) 915416

[startup+1662.78 s]
/proc/loadavg: 2.00 2.00 2.08 3/96 8064
/proc/meminfo: memFree=1180800/2055920 swapFree=4178332/4192956
[pid=8053] ppid=8051 vsize=915416 CPUtime=1654.88
/proc/8053/stat : 8053 (java) R 8051 8053 7214 0 -1 0 23499 0 1 0 165460 28 0 0 25 0 8 0 159949587 937385984 23230 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073812324 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8053/statm: 228854 23230 2531 14 0 215324 0
[pid=8053/tid=8055] ppid=8051 vsize=915416 CPUtime=0.18
/proc/8053/task/8055/stat : 8055 (java) S 8051 8053 7214 0 -1 64 6496 0 0 0 15 3 0 0 16 0 8 0 159949591 937385984 23230 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8053/tid=8056] ppid=8051 vsize=915416 CPUtime=0
/proc/8053/task/8056/stat : 8056 (java) S 8051 8053 7214 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 159949592 937385984 23230 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8053/tid=8057] ppid=8051 vsize=915416 CPUtime=0
/proc/8053/task/8057/stat : 8057 (java) S 8051 8053 7214 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159949592 937385984 23230 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8053/tid=8058] ppid=8051 vsize=915416 CPUtime=0
/proc/8053/task/8058/stat : 8058 (java) S 8051 8053 7214 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 159949595 937385984 23230 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8053/tid=8059] ppid=8051 vsize=915416 CPUtime=0.24
/proc/8053/task/8059/stat : 8059 (java) S 8051 8053 7214 0 -1 64 390 0 0 0 23 1 0 0 16 0 8 0 159949595 937385984 23230 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8053/tid=8060] ppid=8051 vsize=915416 CPUtime=0
/proc/8053/task/8060/stat : 8060 (java) S 8051 8053 7214 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 159949596 937385984 23230 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8053/tid=8061] ppid=8051 vsize=915416 CPUtime=0
/proc/8053/task/8061/stat : 8061 (java) S 8051 8053 7214 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 159949596 937385984 23230 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1654.88
Current children cumulated vsize (KiB) 915416

[startup+1722.79 s]
/proc/loadavg: 2.07 2.02 2.08 3/102 8128
/proc/meminfo: memFree=1179328/2055920 swapFree=4178332/4192956
[pid=8053] ppid=8051 vsize=915416 CPUtime=1714.54
/proc/8053/stat : 8053 (java) R 8051 8053 7214 0 -1 0 23499 0 1 0 171426 28 0 0 25 0 8 0 159949587 937385984 23230 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073632892 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8053/statm: 228854 23230 2531 14 0 215324 0
[pid=8053/tid=8055] ppid=8051 vsize=915416 CPUtime=0.18
/proc/8053/task/8055/stat : 8055 (java) S 8051 8053 7214 0 -1 64 6496 0 0 0 15 3 0 0 16 0 8 0 159949591 937385984 23230 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8053/tid=8056] ppid=8051 vsize=915416 CPUtime=0
/proc/8053/task/8056/stat : 8056 (java) S 8051 8053 7214 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 159949592 937385984 23230 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8053/tid=8057] ppid=8051 vsize=915416 CPUtime=0
/proc/8053/task/8057/stat : 8057 (java) S 8051 8053 7214 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159949592 937385984 23230 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8053/tid=8058] ppid=8051 vsize=915416 CPUtime=0
/proc/8053/task/8058/stat : 8058 (java) S 8051 8053 7214 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 159949595 937385984 23230 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8053/tid=8059] ppid=8051 vsize=915416 CPUtime=0.24
/proc/8053/task/8059/stat : 8059 (java) S 8051 8053 7214 0 -1 64 390 0 0 0 23 1 0 0 16 0 8 0 159949595 937385984 23230 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8053/tid=8060] ppid=8051 vsize=915416 CPUtime=0
/proc/8053/task/8060/stat : 8060 (java) S 8051 8053 7214 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 159949596 937385984 23230 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8053/tid=8061] ppid=8051 vsize=915416 CPUtime=0
/proc/8053/task/8061/stat : 8061 (java) S 8051 8053 7214 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 159949596 937385984 23230 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1714.54
Current children cumulated vsize (KiB) 915416

[startup+1782.83 s]
/proc/loadavg: 2.02 2.01 2.07 4/102 8220
/proc/meminfo: memFree=1179408/2055920 swapFree=4178332/4192956
[pid=8053] ppid=8051 vsize=915416 CPUtime=1774.21
/proc/8053/stat : 8053 (java) R 8051 8053 7214 0 -1 0 23499 0 1 0 177393 28 0 0 25 0 8 0 159949587 937385984 23230 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073753451 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8053/statm: 228854 23230 2531 14 0 215324 0
[pid=8053/tid=8055] ppid=8051 vsize=915416 CPUtime=0.18
/proc/8053/task/8055/stat : 8055 (java) S 8051 8053 7214 0 -1 64 6496 0 0 0 15 3 0 0 16 0 8 0 159949591 937385984 23230 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8053/tid=8056] ppid=8051 vsize=915416 CPUtime=0
/proc/8053/task/8056/stat : 8056 (java) S 8051 8053 7214 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 159949592 937385984 23230 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8053/tid=8057] ppid=8051 vsize=915416 CPUtime=0
/proc/8053/task/8057/stat : 8057 (java) S 8051 8053 7214 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159949592 937385984 23230 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8053/tid=8058] ppid=8051 vsize=915416 CPUtime=0
/proc/8053/task/8058/stat : 8058 (java) S 8051 8053 7214 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 159949595 937385984 23230 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8053/tid=8059] ppid=8051 vsize=915416 CPUtime=0.24
/proc/8053/task/8059/stat : 8059 (java) S 8051 8053 7214 0 -1 64 390 0 0 0 23 1 0 0 16 0 8 0 159949595 937385984 23230 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8053/tid=8060] ppid=8051 vsize=915416 CPUtime=0
/proc/8053/task/8060/stat : 8060 (java) S 8051 8053 7214 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 159949596 937385984 23230 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8053/tid=8061] ppid=8051 vsize=915416 CPUtime=0
/proc/8053/task/8061/stat : 8061 (java) S 8051 8053 7214 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 159949596 937385984 23230 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1774.21
Current children cumulated vsize (KiB) 915416



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1809.09 s]
/proc/loadavg: 2.08 2.02 2.08 3/111 8298
/proc/meminfo: memFree=1293448/2055920 swapFree=4178332/4192956
[pid=8053] ppid=8051 vsize=915416 CPUtime=1800.09
/proc/8053/stat : 8053 (java) R 8051 8053 7214 0 -1 0 23499 0 1 0 179976 33 0 0 25 0 8 0 159949587 937385984 23230 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073761411 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8053/statm: 228854 23230 2531 14 0 215324 0
[pid=8053/tid=8055] ppid=8051 vsize=915416 CPUtime=0.18
/proc/8053/task/8055/stat : 8055 (java) S 8051 8053 7214 0 -1 64 6496 0 0 0 15 3 0 0 16 0 8 0 159949591 937385984 23230 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8053/tid=8056] ppid=8051 vsize=915416 CPUtime=0
/proc/8053/task/8056/stat : 8056 (java) S 8051 8053 7214 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 159949592 937385984 23230 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8053/tid=8057] ppid=8051 vsize=915416 CPUtime=0
/proc/8053/task/8057/stat : 8057 (java) S 8051 8053 7214 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159949592 937385984 23230 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8053/tid=8058] ppid=8051 vsize=915416 CPUtime=0
/proc/8053/task/8058/stat : 8058 (java) S 8051 8053 7214 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 159949595 937385984 23230 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8053/tid=8059] ppid=8051 vsize=915416 CPUtime=0.24
/proc/8053/task/8059/stat : 8059 (java) S 8051 8053 7214 0 -1 64 390 0 0 0 23 1 0 0 16 0 8 0 159949595 937385984 23230 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8053/tid=8060] ppid=8051 vsize=915416 CPUtime=0
/proc/8053/task/8060/stat : 8060 (java) S 8051 8053 7214 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 159949596 937385984 23230 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8053/tid=8061] ppid=8051 vsize=915416 CPUtime=0
/proc/8053/task/8061/stat : 8061 (java) S 8051 8053 7214 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 159949596 937385984 23230 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 915416

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

Child status: 143
Real time (s): 1809.16
CPU time (s): 1800.16
CPU user time (s): 1799.81
CPU system time (s): 0.344947
CPU usage (%): 99.5024
Max. virtual memory (cumulated for all children) (KiB): 915416

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.81
system time used= 0.344947
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23515
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= 37679
involuntary context switches= 57118

runsolver used 2.38564 s user time and 5.64114 s system time

The end

Launcher Data (download as text)

Begin job on node10 on Sat Jan  6 20:32:25 UTC 2007


IDJOB= 195883
IDBENCH= 3309
FILE ID= node10/195883-1168115544

PBS_JOBID= 3477096

Free space on /tmp= 66347 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  98b2c3eb7c5ef9b6c13b42e20f078dd6

RANDOM SEED= 391867201

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.232
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.232
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:       1407280 kB
Buffers:         53200 kB
Cached:         363832 kB
SwapCached:       2120 kB
Active:         259664 kB
Inactive:       299348 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1407280 kB
SwapTotal:     4192956 kB
SwapFree:      4178332 kB
Dirty:           12316 kB
Writeback:           0 kB
Mapped:         153040 kB
Slab:            74332 kB
Committed_AS:  3840664 kB
PageTables:       2460 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= 66350 MiB



End job on node10 on Sat Jan  6 21:02:34 UTC 2007