Trace number 206852

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Abscon 109 ESAC? (TO) 1800.13 1807.71

General information on the benchmark

Namerandom/rand-3-28-28/
rand-3-28-28-93-632-16_ext.xml
MD5SUM0d8c0cee3fe4dc25dc6d0f77c207051a
Bench CategoryN-ARY-EXT (n-ary constraints in extension)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables28
Number of constraints93
Maximum constraint arity3
Maximum domain size28
Number of constraints which are defined in extension93
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Solver Data (download as text)

0.31	   
0.31	Abscon 109 (November, 2006)
0.31	   
0.31	   configuration
0.31	     name=esac.xml
0.35	   
0.35	   instance
0.35	     name=/tmp/evaluation/206852-1168178985/unknown.xml
0.38	   
0.38	   domains being loaded...
0.38	   
0.38	   variables being loaded...
0.42	     nbVariables=28  nbDomainTypes=1  minDomainSize=28  maxDomainSize=28
0.42	       =>  wckTime=0.101  cpuTime=0.1  mem=6M951
0.42	   
0.42	   relations being loaded...
1.57	   
1.57	   constraints being loaded...
2.35	     nbConstraints=92  nbRelationTypes=93  nbMergedConstraints=1  nbExtensionStructures=92
2.35	     nbSharedExtensionStructures=0  nbConflictsStructures=92  nbSharedConflictsStructures=0
2.35	     nbSharedBinaryRepresentations=0  maxDegree=15  maxArity=3
2.35	       =>  wckTime=2.027  cpuTime=1.62  mem=58M67
2.51	   
2.51	   solver IterativeSystematicSolver being built... 
2.69	       =>  wckTime=2.37  cpuTime=1.77  mem=65M619
2.83	   
2.83	   preprocessing
2.83	     nbConstraintChecks=45594  nbValidityChecks=74456  nbPropagations=237  nbRevisions=2430  nbUselessRevisions=2152
2.83	     nbSingletonTests=39  nbEffectiveSingletonTests=0  nbESACBranches=4  nbRemovedValues=0  detectedInconsistency=no
2.83	       =>  wckTime=0.139  cpuTime=0.11  mem=65M619
2.92	   
2.92	   search
2.92	     run=0  nbConstraintChecks=41830  nbValidityChecks=79388  nbPropagations=634  nbRevisions=6875
2.92	     nbUselessRevisions=5759  nbAssignments=39  nbFailedAssignments=21  nbBacktracks=12  nbVisitedNodes=66
2.92	     nbRestartNogoods=0  mapSize=10  nbInferences=0  nbTooLargeKeys=0
2.92	       =>  wckTime=0.231  cpuTime=0.19  mem=66M627
3.04	   
3.04	   search
3.04	     run=1  nbConstraintChecks=98831  nbValidityChecks=186768  nbPropagations=1666  nbRevisions=19116
3.04	     nbUselessRevisions=15906  nbAssignments=78  nbFailedAssignments=36  nbBacktracks=27  nbVisitedNodes=128
3.04	     nbRestartNogoods=1  mapSize=21  nbInferences=0  nbTooLargeKeys=0
3.04	       =>  wckTime=0.344  cpuTime=0.3  mem=66M627
3.20	   
3.20	   search
3.20	     run=2  nbConstraintChecks=184183  nbValidityChecks=370928  nbPropagations=3517  nbRevisions=41514
3.20	     nbUselessRevisions=34415  nbAssignments=155  nbFailedAssignments=68  nbBacktracks=50  nbVisitedNodes=239
3.20	     nbRestartNogoods=5  mapSize=41  nbInferences=0  nbTooLargeKeys=0
3.20	       =>  wckTime=0.511  cpuTime=0.45  mem=66M627
3.44	   
3.44	   search
3.44	     run=3  nbConstraintChecks=319455  nbValidityChecks=650332  nbPropagations=6520  nbRevisions=79616
3.44	     nbUselessRevisions=65684  nbAssignments=270  nbFailedAssignments=142  nbBacktracks=84  nbVisitedNodes=450
3.44	     nbRestartNogoods=7  mapSize=71  nbInferences=0  nbTooLargeKeys=0
3.44	       =>  wckTime=0.751  cpuTime=0.69  mem=66M627
3.71	   
3.71	   search
3.71	     run=4  nbConstraintChecks=475837  nbValidityChecks=967606  nbPropagations=10970  nbRevisions=134751
3.71	     nbUselessRevisions=110603  nbAssignments=379  nbFailedAssignments=193  nbBacktracks=135  nbVisitedNodes=647
3.71	     nbRestartNogoods=9  mapSize=116  nbInferences=0  nbTooLargeKeys=0
3.71	       =>  wckTime=1.021  cpuTime=0.96  mem=66M627
4.39	   
4.39	   search
4.39	     run=5  nbConstraintChecks=868980  nbValidityChecks=1755974  nbPropagations=19330  nbRevisions=243139
4.39	     nbUselessRevisions=197426  nbAssignments=666  nbFailedAssignments=395  nbBacktracks=212  nbVisitedNodes=1204
4.39	     nbRestartNogoods=16  mapSize=191  nbInferences=0  nbTooLargeKeys=0
4.39	       =>  wckTime=1.702  cpuTime=1.63  mem=66M627
5.05	   
5.05	   search
5.05	     run=6  nbConstraintChecks=1239977  nbValidityChecks=2521036  nbPropagations=31716  nbRevisions=400641
5.05	     nbUselessRevisions=323004  nbAssignments=977  nbFailedAssignments=570  nbBacktracks=325  nbVisitedNodes=1750
5.05	     nbRestartNogoods=27  mapSize=292  nbInferences=0  nbTooLargeKeys=0
5.05	       =>  wckTime=2.356  cpuTime=2.28  mem=66M627
5.99	   
5.99	   search
5.99	     run=7  nbConstraintChecks=1792444  nbValidityChecks=3627979  nbPropagations=48854  nbRevisions=624225
5.99	     nbUselessRevisions=501760  nbAssignments=1413  nbFailedAssignments=829  nbBacktracks=495  nbVisitedNodes=2546
5.99	     nbRestartNogoods=33  mapSize=437  nbInferences=0  nbTooLargeKeys=0
5.99	       =>  wckTime=3.294  cpuTime=3.2  mem=66M627
7.20	   
7.20	   search
7.20	     run=8  nbConstraintChecks=2503968  nbValidityChecks=5122178  nbPropagations=74197  nbRevisions=943856
7.20	     nbUselessRevisions=757275  nbAssignments=2112  nbFailedAssignments=1264  nbBacktracks=751  nbVisitedNodes=3833
7.20	     nbRestartNogoods=43  mapSize=654  nbInferences=0  nbTooLargeKeys=0
7.20	       =>  wckTime=4.511  cpuTime=4.39  mem=66M627
9.47	   
9.47	   search
9.47	     run=9  nbConstraintChecks=3869816  nbValidityChecks=7870097  nbPropagations=111009  nbRevisions=1424739
9.47	     nbUselessRevisions=1143466  nbAssignments=3127  nbFailedAssignments=1872  nbBacktracks=1135  nbVisitedNodes=5687
9.47	     nbRestartNogoods=52  mapSize=972  nbInferences=0  nbTooLargeKeys=0
9.47	       =>  wckTime=6.782  cpuTime=6.64  mem=66M627
9.80	   
9.80	   INFO : Stopping hyperNogood (mapSize=1028, nbTooLargekeys=0, mem=66M627)
12.19	   
12.19	   search
12.19	     run=10  nbConstraintChecks=5539907  nbValidityChecks=11250745  nbPropagations=164507  nbRevisions=2104280
12.19	     nbUselessRevisions=1688806  nbAssignments=4439  nbFailedAssignments=2599  nbBacktracks=1712  nbVisitedNodes=8121
12.19	     nbRestartNogoods=61
12.19	       =>  wckTime=9.498  cpuTime=9.34  mem=66M627
19.02	   
19.02	   search
19.03	     run=11  nbConstraintChecks=9728866  nbValidityChecks=19076281  nbPropagations=248399  nbRevisions=3194483
19.03	     nbUselessRevisions=2564069  nbAssignments=6741  nbFailedAssignments=4030  nbBacktracks=2578  nbVisitedNodes=12487
19.03	     nbRestartNogoods=72
19.03	       =>  wckTime=16.334  cpuTime=16.14  mem=66M627
24.73	   
24.73	   search
24.73	     run=12  nbConstraintChecks=13237232  nbValidityChecks=26233116  nbPropagations=367898  nbRevisions=4708595
24.73	     nbUselessRevisions=3779063  nbAssignments=9699  nbFailedAssignments=5684  nbBacktracks=3875  nbVisitedNodes=17923
24.73	     nbRestartNogoods=78
24.73	       =>  wckTime=22.034  cpuTime=21.83  mem=66M627
35.23	   
35.23	   search
35.23	     run=13  nbConstraintChecks=19721301  nbValidityChecks=39184223  nbPropagations=538267  nbRevisions=6941460
35.23	     nbUselessRevisions=5580157  nbAssignments=14588  nbFailedAssignments=8580  nbBacktracks=5822  nbVisitedNodes=26869
35.23	     nbRestartNogoods=100
35.23	       =>  wckTime=32.537  cpuTime=32.27  mem=66M627
51.48	   
51.48	   search
51.48	     run=14  nbConstraintChecks=29334250  nbValidityChecks=58731648  nbPropagations=792982  nbRevisions=10254204
51.48	     nbUselessRevisions=8245927  nbAssignments=22073  nbFailedAssignments=13125  nbBacktracks=8741  nbVisitedNodes=40606
51.48	     nbRestartNogoods=110
51.48	       =>  wckTime=48.785  cpuTime=48.44  mem=66M627
82.33	   
82.33	   search
82.33	     run=15  nbConstraintChecks=48573450  nbValidityChecks=96565010  nbPropagations=1209484  nbRevisions=15631626
82.33	     nbUselessRevisions=12562644  nbAssignments=33928  nbFailedAssignments=20560  nbBacktracks=13119
82.33	     nbVisitedNodes=63205  nbRestartNogoods=120
82.33	       =>  wckTime=79.64  cpuTime=79.15  mem=66M627
116.70	   
116.70	   search
116.70	     run=16  nbConstraintChecks=69365793  nbValidityChecks=138898420  nbPropagations=1811360  nbRevisions=23482657
116.70	     nbUselessRevisions=18887974  nbAssignments=49373  nbFailedAssignments=29416  nbBacktracks=19688
116.70	     nbVisitedNodes=91668  nbRestartNogoods=141
116.70	       =>  wckTime=114.011  cpuTime=113.35  mem=66M627
196.91	   
196.91	   search
196.91	     run=17  nbConstraintChecks=118696526  nbValidityChecks=231889526  nbPropagations=2770101  nbRevisions=36114544
196.91	     nbUselessRevisions=29058091  nbAssignments=76873  nbFailedAssignments=47056  nbBacktracks=29542
196.91	     nbVisitedNodes=143946  nbRestartNogoods=163
196.91	       =>  wckTime=194.224  cpuTime=193.18  mem=66M627
258.55	   
258.55	   search
258.55	     run=18  nbConstraintChecks=156930032  nbValidityChecks=310473988  nbPropagations=4112736  nbRevisions=53355594
258.55	     nbUselessRevisions=42910349  nbAssignments=109114  nbFailedAssignments=64511  nbBacktracks=44321
258.55	     nbVisitedNodes=202530  nbRestartNogoods=172
258.55	       =>  wckTime=255.861  cpuTime=254.52  mem=66M627
434.58	   
434.58	   search
434.58	     run=19  nbConstraintChecks=265135247  nbValidityChecks=513494730  nbPropagations=6229161  nbRevisions=81020897
434.58	     nbUselessRevisions=65142028  nbAssignments=167720  nbFailedAssignments=100943  nbBacktracks=66489
434.58	     nbVisitedNodes=313370  nbRestartNogoods=187
434.58	       =>  wckTime=431.889  cpuTime=429.72  mem=66M627
571.62	   
571.63	   search
571.63	     run=20  nbConstraintChecks=350014535  nbValidityChecks=690047770  nbPropagations=9231174  nbRevisions=119448413
571.63	     nbUselessRevisions=96014119  nbAssignments=242632  nbFailedAssignments=142597  nbBacktracks=99741
571.63	     nbVisitedNodes=450336  nbRestartNogoods=216
571.63	       =>  wckTime=568.934  cpuTime=566.11  mem=66M627
928.77	   
928.77	   search
928.77	     run=21  nbConstraintChecks=571198573  nbValidityChecks=1117892835  nbPropagations=13965616  nbRevisions=180338161
928.77	     nbUselessRevisions=145013364  nbAssignments=371484  nbFailedAssignments=221536  nbBacktracks=149619
928.77	     nbVisitedNodes=694729  nbRestartNogoods=232
928.77	       =>  wckTime=926.075  cpuTime=921.54  mem=66M627
1307.00	   
1307.00	   search
1307.00	     run=22  nbConstraintChecks=803025224  nbValidityChecks=1590573216  nbPropagations=20872349  nbRevisions=268221183
1307.00	     nbUselessRevisions=215623126  nbAssignments=550549  nbFailedAssignments=325776  nbBacktracks=224437
1307.00	     nbVisitedNodes=1025816  nbRestartNogoods=253
1307.00	       =>  wckTime=1304.311  cpuTime=1297.98  mem=66M627
1803.11	   
1803.11	   search
1803.11	     run=23  nbConstraintChecks=1124913767  nbValidityChecks=2247566147  nbPropagations=30890624  nbRevisions=393587242
1803.11	     nbUselessRevisions=316189240  nbAssignments=799250  nbFailedAssignments=462172  nbBacktracks=336666
1803.11	     nbVisitedNodes=1480559  nbRestartNogoods=286
1803.11	       =>  wckTime=1800.416  cpuTime=1792.77  mem=66M627

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/node43/watcher-206852-1168178985 -o ROOT/results/node43/solver-206852-1168178985 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/206852-1168178985/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.02 2.00 5/82 11197
/proc/meminfo: memFree=862856/2055920 swapFree=4192812/4192956
[pid=11196] ppid=11194 vsize=9748 CPUtime=0
/proc/11196/stat : 11196 (java) D 11194 11196 10176 0 -1 0 637 0 0 0 0 0 0 0 18 0 1 0 166297604 9981952 412 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4731684 0 2147483391 0 7368 18446744072099781622 0 0 17 1 0 0
/proc/11196/statm: 2437 412 333 14 0 1140 0

[startup+0.103214 s]
/proc/loadavg: 2.00 2.02 2.00 5/82 11197
/proc/meminfo: memFree=862856/2055920 swapFree=4192812/4192956
[pid=11196] ppid=11194 vsize=914988 CPUtime=0.09
/proc/11196/stat : 11196 (java) R 11194 11196 10176 0 -1 0 2978 0 1 0 7 2 0 0 17 0 8 0 166297604 936947712 2724 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072942952 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11196/statm: 228747 2724 1423 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988

[startup+0.511282 s]
/proc/loadavg: 2.00 2.02 2.00 5/82 11197
/proc/meminfo: memFree=862856/2055920 swapFree=4192812/4192956
[pid=11196] ppid=11194 vsize=915328 CPUtime=0.48
/proc/11196/stat : 11196 (java) R 11194 11196 10176 0 -1 0 7461 0 1 0 45 3 0 0 18 0 8 0 166297604 937295872 7200 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073565442 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11196/statm: 228832 7200 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328

[startup+1.33442 s]
/proc/loadavg: 2.00 2.02 2.00 3/89 11204
/proc/meminfo: memFree=795920/2055920 swapFree=4192812/4192956
[pid=11196] ppid=11194 vsize=915328 CPUtime=1.31
/proc/11196/stat : 11196 (java) R 11194 11196 10176 0 -1 0 19097 0 1 0 120 11 0 0 25 0 8 0 166297604 937295872 18835 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11196/statm: 228832 18835 2149 14 0 215302 0
[pid=11196/tid=11198] ppid=11194 vsize=915328 CPUtime=0.05
/proc/11196/task/11198/stat : 11198 (java) S 11194 11196 10176 0 -1 64 2681 0 0 0 4 1 0 0 17 0 8 0 166297608 937295872 18835 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11196/tid=11199] ppid=11194 vsize=915328 CPUtime=0
/proc/11196/task/11199/stat : 11199 (java) S 11194 11196 10176 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166297608 937295872 18835 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11196/tid=11200] ppid=11194 vsize=915328 CPUtime=0
/proc/11196/task/11200/stat : 11200 (java) S 11194 11196 10176 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 166297608 937295872 18835 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11196/tid=11201] ppid=11194 vsize=915328 CPUtime=0
/proc/11196/task/11201/stat : 11201 (java) S 11194 11196 10176 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 166297612 937295872 18835 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11196/tid=11202] ppid=11194 vsize=915328 CPUtime=0.07
/proc/11196/task/11202/stat : 11202 (java) R 11194 11196 10176 0 -1 64 307 0 0 0 7 0 0 0 16 0 8 0 166297612 937295872 18835 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153145169 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11196/tid=11203] ppid=11194 vsize=915328 CPUtime=0
/proc/11196/task/11203/stat : 11203 (java) S 11194 11196 10176 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 166297612 937295872 18835 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11196/tid=11204] ppid=11194 vsize=915328 CPUtime=0
/proc/11196/task/11204/stat : 11204 (java) S 11194 11196 10176 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 166297612 937295872 18835 18446744073709551615 134512640 134570532 4294956480 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.98869 s]
/proc/loadavg: 2.00 2.01 2.00 4/89 11204
/proc/meminfo: memFree=755280/2055920 swapFree=4192812/4192956
[pid=11196] ppid=11194 vsize=915440 CPUtime=2.95
/proc/11196/stat : 11196 (java) R 11194 11196 10176 0 -1 0 32570 0 1 0 277 18 0 0 25 0 8 0 166297604 937410560 32305 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073629872 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11196/statm: 228860 32305 2531 14 0 215330 0
[pid=11196/tid=11198] ppid=11194 vsize=915440 CPUtime=0.46
/proc/11196/task/11198/stat : 11198 (java) S 11194 11196 10176 0 -1 64 15582 0 0 0 40 6 0 0 17 0 8 0 166297608 937410560 32305 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11196/tid=11199] ppid=11194 vsize=915440 CPUtime=0
/proc/11196/task/11199/stat : 11199 (java) S 11194 11196 10176 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166297608 937410560 32305 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11196/tid=11200] ppid=11194 vsize=915440 CPUtime=0
/proc/11196/task/11200/stat : 11200 (java) S 11194 11196 10176 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 166297608 937410560 32305 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11196/tid=11201] ppid=11194 vsize=915440 CPUtime=0
/proc/11196/task/11201/stat : 11201 (java) S 11194 11196 10176 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 166297612 937410560 32305 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11196/tid=11202] ppid=11194 vsize=915440 CPUtime=0.2
/proc/11196/task/11202/stat : 11202 (java) S 11194 11196 10176 0 -1 64 372 0 0 0 19 1 0 0 15 0 8 0 166297612 937410560 32305 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11196/tid=11203] ppid=11194 vsize=915440 CPUtime=0
/proc/11196/task/11203/stat : 11203 (java) S 11194 11196 10176 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 166297612 937410560 32305 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11196/tid=11204] ppid=11194 vsize=915440 CPUtime=0
/proc/11196/task/11204/stat : 11204 (java) S 11194 11196 10176 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 166297612 937410560 32305 18446744073709551615 134512640 134570532 4294956480 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) 915440

[startup+6.27624 s]
/proc/loadavg: 2.00 2.01 2.00 3/89 11204
/proc/meminfo: memFree=743248/2055920 swapFree=4192812/4192956
[pid=11196] ppid=11194 vsize=915440 CPUtime=6.22
/proc/11196/stat : 11196 (java) R 11194 11196 10176 0 -1 0 32589 0 1 0 603 19 0 0 25 0 8 0 166297604 937410560 32322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11196/statm: 228860 32322 2531 14 0 215330 0
[pid=11196/tid=11198] ppid=11194 vsize=915440 CPUtime=0.46
/proc/11196/task/11198/stat : 11198 (java) S 11194 11196 10176 0 -1 64 15582 0 0 0 40 6 0 0 17 0 8 0 166297608 937410560 32322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11196/tid=11199] ppid=11194 vsize=915440 CPUtime=0
/proc/11196/task/11199/stat : 11199 (java) S 11194 11196 10176 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166297608 937410560 32322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11196/tid=11200] ppid=11194 vsize=915440 CPUtime=0
/proc/11196/task/11200/stat : 11200 (java) S 11194 11196 10176 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 166297608 937410560 32322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11196/tid=11201] ppid=11194 vsize=915440 CPUtime=0
/proc/11196/task/11201/stat : 11201 (java) S 11194 11196 10176 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 166297612 937410560 32322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11196/tid=11202] ppid=11194 vsize=915440 CPUtime=0.24
/proc/11196/task/11202/stat : 11202 (java) S 11194 11196 10176 0 -1 64 389 0 0 0 23 1 0 0 16 0 8 0 166297612 937410560 32322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11196/tid=11203] ppid=11194 vsize=915440 CPUtime=0
/proc/11196/task/11203/stat : 11203 (java) S 11194 11196 10176 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 166297612 937410560 32322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11196/tid=11204] ppid=11194 vsize=915440 CPUtime=0
/proc/11196/task/11204/stat : 11204 (java) S 11194 11196 10176 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 166297612 937410560 32322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 915440

[startup+12.7703 s]
/proc/loadavg: 2.00 2.01 2.00 3/89 11204
/proc/meminfo: memFree=743384/2055920 swapFree=4192812/4192956
[pid=11196] ppid=11194 vsize=915440 CPUtime=12.68
/proc/11196/stat : 11196 (java) R 11194 11196 10176 0 -1 0 32601 0 1 0 1249 19 0 0 25 0 8 0 166297604 937410560 32330 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073800472 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11196/statm: 228860 32330 2531 14 0 215330 0
[pid=11196/tid=11198] ppid=11194 vsize=915440 CPUtime=0.46
/proc/11196/task/11198/stat : 11198 (java) S 11194 11196 10176 0 -1 64 15582 0 0 0 40 6 0 0 16 0 8 0 166297608 937410560 32330 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11196/tid=11199] ppid=11194 vsize=915440 CPUtime=0
/proc/11196/task/11199/stat : 11199 (java) S 11194 11196 10176 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166297608 937410560 32330 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11196/tid=11200] ppid=11194 vsize=915440 CPUtime=0
/proc/11196/task/11200/stat : 11200 (java) S 11194 11196 10176 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 166297608 937410560 32330 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11196/tid=11201] ppid=11194 vsize=915440 CPUtime=0
/proc/11196/task/11201/stat : 11201 (java) S 11194 11196 10176 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 166297612 937410560 32330 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11196/tid=11202] ppid=11194 vsize=915440 CPUtime=0.25
/proc/11196/task/11202/stat : 11202 (java) S 11194 11196 10176 0 -1 64 397 0 0 0 24 1 0 0 16 0 8 0 166297612 937410560 32330 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11196/tid=11203] ppid=11194 vsize=915440 CPUtime=0
/proc/11196/task/11203/stat : 11203 (java) S 11194 11196 10176 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 166297612 937410560 32330 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11196/tid=11204] ppid=11194 vsize=915440 CPUtime=0
/proc/11196/task/11204/stat : 11204 (java) S 11194 11196 10176 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 166297612 937410560 32330 18446744073709551615 134512640 134570532 4294956480 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) 915440

[startup+25.6345 s]
/proc/loadavg: 2.00 2.01 2.00 3/89 11204
/proc/meminfo: memFree=743512/2055920 swapFree=4192812/4192956
[pid=11196] ppid=11194 vsize=915440 CPUtime=25.48
/proc/11196/stat : 11196 (java) R 11194 11196 10176 0 -1 0 32603 0 1 0 2529 19 0 0 25 0 8 0 166297604 937410560 32332 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073664841 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11196/statm: 228860 32332 2531 14 0 215330 0
[pid=11196/tid=11198] ppid=11194 vsize=915440 CPUtime=0.46
/proc/11196/task/11198/stat : 11198 (java) S 11194 11196 10176 0 -1 64 15582 0 0 0 40 6 0 0 16 0 8 0 166297608 937410560 32332 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11196/tid=11199] ppid=11194 vsize=915440 CPUtime=0
/proc/11196/task/11199/stat : 11199 (java) S 11194 11196 10176 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166297608 937410560 32332 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11196/tid=11200] ppid=11194 vsize=915440 CPUtime=0
/proc/11196/task/11200/stat : 11200 (java) S 11194 11196 10176 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 166297608 937410560 32332 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11196/tid=11201] ppid=11194 vsize=915440 CPUtime=0
/proc/11196/task/11201/stat : 11201 (java) S 11194 11196 10176 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 166297612 937410560 32332 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11196/tid=11202] ppid=11194 vsize=915440 CPUtime=0.26
/proc/11196/task/11202/stat : 11202 (java) S 11194 11196 10176 0 -1 64 399 0 0 0 25 1 0 0 15 0 8 0 166297612 937410560 32332 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11196/tid=11203] ppid=11194 vsize=915440 CPUtime=0
/proc/11196/task/11203/stat : 11203 (java) S 11194 11196 10176 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 166297612 937410560 32332 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11196/tid=11204] ppid=11194 vsize=915440 CPUtime=0
/proc/11196/task/11204/stat : 11204 (java) S 11194 11196 10176 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 166297612 937410560 32332 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 915440

[startup+51.2697 s]
/proc/loadavg: 2.00 2.01 2.00 4/89 11204
/proc/meminfo: memFree=743576/2055920 swapFree=4192812/4192956
[pid=11196] ppid=11194 vsize=915440 CPUtime=50.99
/proc/11196/stat : 11196 (java) R 11194 11196 10176 0 -1 0 32603 0 1 0 5080 19 0 0 25 0 8 0 166297604 937410560 32332 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073803296 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11196/statm: 228860 32332 2531 14 0 215330 0
[pid=11196/tid=11198] ppid=11194 vsize=915440 CPUtime=0.46
/proc/11196/task/11198/stat : 11198 (java) S 11194 11196 10176 0 -1 64 15582 0 0 0 40 6 0 0 16 0 8 0 166297608 937410560 32332 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11196/tid=11199] ppid=11194 vsize=915440 CPUtime=0
/proc/11196/task/11199/stat : 11199 (java) S 11194 11196 10176 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166297608 937410560 32332 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11196/tid=11200] ppid=11194 vsize=915440 CPUtime=0
/proc/11196/task/11200/stat : 11200 (java) S 11194 11196 10176 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 166297608 937410560 32332 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11196/tid=11201] ppid=11194 vsize=915440 CPUtime=0
/proc/11196/task/11201/stat : 11201 (java) S 11194 11196 10176 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 166297612 937410560 32332 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11196/tid=11202] ppid=11194 vsize=915440 CPUtime=0.26
/proc/11196/task/11202/stat : 11202 (java) S 11194 11196 10176 0 -1 64 399 0 0 0 25 1 0 0 15 0 8 0 166297612 937410560 32332 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11196/tid=11203] ppid=11194 vsize=915440 CPUtime=0
/proc/11196/task/11203/stat : 11203 (java) S 11194 11196 10176 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 166297612 937410560 32332 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11196/tid=11204] ppid=11194 vsize=915440 CPUtime=0
/proc/11196/task/11204/stat : 11204 (java) S 11194 11196 10176 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 166297612 937410560 32332 18446744073709551615 134512640 134570532 4294956480 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) 915440

[startup+102.527 s]
/proc/loadavg: 2.00 2.01 2.00 3/89 11204
/proc/meminfo: memFree=743640/2055920 swapFree=4192812/4192956
[pid=11196] ppid=11194 vsize=915440 CPUtime=102.01
/proc/11196/stat : 11196 (java) R 11194 11196 10176 0 -1 0 32604 0 1 0 10182 19 0 0 25 0 8 0 166297604 937410560 32332 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073634830 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11196/statm: 228860 32332 2531 14 0 215330 0
[pid=11196/tid=11198] ppid=11194 vsize=915440 CPUtime=0.46
/proc/11196/task/11198/stat : 11198 (java) S 11194 11196 10176 0 -1 64 15582 0 0 0 40 6 0 0 16 0 8 0 166297608 937410560 32332 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11196/tid=11199] ppid=11194 vsize=915440 CPUtime=0
/proc/11196/task/11199/stat : 11199 (java) S 11194 11196 10176 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166297608 937410560 32332 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11196/tid=11200] ppid=11194 vsize=915440 CPUtime=0
/proc/11196/task/11200/stat : 11200 (java) S 11194 11196 10176 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 166297608 937410560 32332 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11196/tid=11201] ppid=11194 vsize=915440 CPUtime=0
/proc/11196/task/11201/stat : 11201 (java) S 11194 11196 10176 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 166297612 937410560 32332 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11196/tid=11202] ppid=11194 vsize=915440 CPUtime=0.26
/proc/11196/task/11202/stat : 11202 (java) S 11194 11196 10176 0 -1 64 399 0 0 0 25 1 0 0 16 0 8 0 166297612 937410560 32332 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11196/tid=11203] ppid=11194 vsize=915440 CPUtime=0
/proc/11196/task/11203/stat : 11203 (java) S 11194 11196 10176 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 166297612 937410560 32332 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11196/tid=11204] ppid=11194 vsize=915440 CPUtime=0
/proc/11196/task/11204/stat : 11204 (java) S 11194 11196 10176 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 166297612 937410560 32332 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 102.01
Current children cumulated vsize (KiB) 915440

[startup+162.547 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 11204
/proc/meminfo: memFree=743704/2055920 swapFree=4192812/4192956
[pid=11196] ppid=11194 vsize=915440 CPUtime=161.75
/proc/11196/stat : 11196 (java) R 11194 11196 10176 0 -1 0 32604 0 1 0 16155 20 0 0 25 0 8 0 166297604 937410560 32332 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073629940 0 4 0 23759 18446744073709551615 0 0 17 1 0 0

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

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

[startup+1482.86 s]
/proc/loadavg: 2.04 2.03 2.00 3/89 11206
/proc/meminfo: memFree=743256/2055920 swapFree=4192812/4192956
[pid=11196] ppid=11194 vsize=915440 CPUtime=1475.77
/proc/11196/stat : 11196 (java) R 11194 11196 10176 0 -1 0 32605 0 1 0 147554 23 0 0 25 0 8 0 166297604 937410560 32333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11196/statm: 228860 32333 2531 14 0 215330 0
[pid=11196/tid=11198] ppid=11194 vsize=915440 CPUtime=0.46
/proc/11196/task/11198/stat : 11198 (java) S 11194 11196 10176 0 -1 64 15582 0 0 0 40 6 0 0 16 0 8 0 166297608 937410560 32333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11196/tid=11199] ppid=11194 vsize=915440 CPUtime=0
/proc/11196/task/11199/stat : 11199 (java) S 11194 11196 10176 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166297608 937410560 32333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11196/tid=11200] ppid=11194 vsize=915440 CPUtime=0
/proc/11196/task/11200/stat : 11200 (java) S 11194 11196 10176 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 166297608 937410560 32333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11196/tid=11201] ppid=11194 vsize=915440 CPUtime=0
/proc/11196/task/11201/stat : 11201 (java) S 11194 11196 10176 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 166297612 937410560 32333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11196/tid=11202] ppid=11194 vsize=915440 CPUtime=0.26
/proc/11196/task/11202/stat : 11202 (java) S 11194 11196 10176 0 -1 64 400 0 0 0 25 1 0 0 16 0 8 0 166297612 937410560 32333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11196/tid=11203] ppid=11194 vsize=915440 CPUtime=0
/proc/11196/task/11203/stat : 11203 (java) S 11194 11196 10176 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 166297612 937410560 32333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11196/tid=11204] ppid=11194 vsize=915440 CPUtime=0
/proc/11196/task/11204/stat : 11204 (java) S 11194 11196 10176 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 166297612 937410560 32333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1475.77
Current children cumulated vsize (KiB) 915440

[startup+1542.96 s]
/proc/loadavg: 2.01 2.02 2.00 3/81 11271
/proc/meminfo: memFree=1268760/2055920 swapFree=4192812/4192956
[pid=11196] ppid=11194 vsize=915440 CPUtime=1535.65
/proc/11196/stat : 11196 (java) R 11194 11196 10176 0 -1 0 32605 0 1 0 153541 24 0 0 25 0 8 0 166297604 937410560 32333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11196/statm: 228860 32333 2531 14 0 215330 0
[pid=11196/tid=11198] ppid=11194 vsize=915440 CPUtime=0.46
/proc/11196/task/11198/stat : 11198 (java) S 11194 11196 10176 0 -1 64 15582 0 0 0 40 6 0 0 16 0 8 0 166297608 937410560 32333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11196/tid=11199] ppid=11194 vsize=915440 CPUtime=0
/proc/11196/task/11199/stat : 11199 (java) S 11194 11196 10176 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166297608 937410560 32333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11196/tid=11200] ppid=11194 vsize=915440 CPUtime=0
/proc/11196/task/11200/stat : 11200 (java) S 11194 11196 10176 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 166297608 937410560 32333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11196/tid=11201] ppid=11194 vsize=915440 CPUtime=0
/proc/11196/task/11201/stat : 11201 (java) S 11194 11196 10176 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 166297612 937410560 32333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11196/tid=11202] ppid=11194 vsize=915440 CPUtime=0.26
/proc/11196/task/11202/stat : 11202 (java) S 11194 11196 10176 0 -1 64 400 0 0 0 25 1 0 0 16 0 8 0 166297612 937410560 32333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11196/tid=11203] ppid=11194 vsize=915440 CPUtime=0
/proc/11196/task/11203/stat : 11203 (java) S 11194 11196 10176 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 166297612 937410560 32333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11196/tid=11204] ppid=11194 vsize=915440 CPUtime=0
/proc/11196/task/11204/stat : 11204 (java) S 11194 11196 10176 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 166297612 937410560 32333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1535.65
Current children cumulated vsize (KiB) 915440

[startup+1603.01 s]
/proc/loadavg: 2.00 2.01 2.00 4/81 11271
/proc/meminfo: memFree=1268824/2055920 swapFree=4192812/4192956
[pid=11196] ppid=11194 vsize=915440 CPUtime=1595.61
/proc/11196/stat : 11196 (java) R 11194 11196 10176 0 -1 0 32605 0 1 0 159536 25 0 0 25 0 8 0 166297604 937410560 32333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073629937 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11196/statm: 228860 32333 2531 14 0 215330 0
[pid=11196/tid=11198] ppid=11194 vsize=915440 CPUtime=0.46
/proc/11196/task/11198/stat : 11198 (java) S 11194 11196 10176 0 -1 64 15582 0 0 0 40 6 0 0 16 0 8 0 166297608 937410560 32333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11196/tid=11199] ppid=11194 vsize=915440 CPUtime=0
/proc/11196/task/11199/stat : 11199 (java) S 11194 11196 10176 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166297608 937410560 32333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11196/tid=11200] ppid=11194 vsize=915440 CPUtime=0
/proc/11196/task/11200/stat : 11200 (java) S 11194 11196 10176 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 166297608 937410560 32333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11196/tid=11201] ppid=11194 vsize=915440 CPUtime=0
/proc/11196/task/11201/stat : 11201 (java) S 11194 11196 10176 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 166297612 937410560 32333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11196/tid=11202] ppid=11194 vsize=915440 CPUtime=0.26
/proc/11196/task/11202/stat : 11202 (java) S 11194 11196 10176 0 -1 64 400 0 0 0 25 1 0 0 16 0 8 0 166297612 937410560 32333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11196/tid=11203] ppid=11194 vsize=915440 CPUtime=0
/proc/11196/task/11203/stat : 11203 (java) S 11194 11196 10176 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 166297612 937410560 32333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11196/tid=11204] ppid=11194 vsize=915440 CPUtime=0
/proc/11196/task/11204/stat : 11204 (java) S 11194 11196 10176 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 166297612 937410560 32333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1595.61
Current children cumulated vsize (KiB) 915440

[startup+1663.06 s]
/proc/loadavg: 2.00 2.01 2.00 3/81 11271
/proc/meminfo: memFree=1268824/2055920 swapFree=4192812/4192956
[pid=11196] ppid=11194 vsize=915440 CPUtime=1655.61
/proc/11196/stat : 11196 (java) R 11194 11196 10176 0 -1 0 32605 0 1 0 165536 25 0 0 25 0 8 0 166297604 937410560 32333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11196/statm: 228860 32333 2531 14 0 215330 0
[pid=11196/tid=11198] ppid=11194 vsize=915440 CPUtime=0.46
/proc/11196/task/11198/stat : 11198 (java) S 11194 11196 10176 0 -1 64 15582 0 0 0 40 6 0 0 16 0 8 0 166297608 937410560 32333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11196/tid=11199] ppid=11194 vsize=915440 CPUtime=0
/proc/11196/task/11199/stat : 11199 (java) S 11194 11196 10176 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166297608 937410560 32333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11196/tid=11200] ppid=11194 vsize=915440 CPUtime=0
/proc/11196/task/11200/stat : 11200 (java) S 11194 11196 10176 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 166297608 937410560 32333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11196/tid=11201] ppid=11194 vsize=915440 CPUtime=0
/proc/11196/task/11201/stat : 11201 (java) S 11194 11196 10176 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 166297612 937410560 32333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11196/tid=11202] ppid=11194 vsize=915440 CPUtime=0.26
/proc/11196/task/11202/stat : 11202 (java) S 11194 11196 10176 0 -1 64 400 0 0 0 25 1 0 0 16 0 8 0 166297612 937410560 32333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11196/tid=11203] ppid=11194 vsize=915440 CPUtime=0
/proc/11196/task/11203/stat : 11203 (java) S 11194 11196 10176 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 166297612 937410560 32333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11196/tid=11204] ppid=11194 vsize=915440 CPUtime=0
/proc/11196/task/11204/stat : 11204 (java) S 11194 11196 10176 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 166297612 937410560 32333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1655.61
Current children cumulated vsize (KiB) 915440

[startup+1723.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 11271
/proc/meminfo: memFree=1268824/2055920 swapFree=4192812/4192956
[pid=11196] ppid=11194 vsize=915440 CPUtime=1715.61
/proc/11196/stat : 11196 (java) R 11194 11196 10176 0 -1 0 32605 0 1 0 171536 25 0 0 25 0 8 0 166297604 937410560 32333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073634884 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11196/statm: 228860 32333 2531 14 0 215330 0
[pid=11196/tid=11198] ppid=11194 vsize=915440 CPUtime=0.46
/proc/11196/task/11198/stat : 11198 (java) S 11194 11196 10176 0 -1 64 15582 0 0 0 40 6 0 0 16 0 8 0 166297608 937410560 32333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11196/tid=11199] ppid=11194 vsize=915440 CPUtime=0
/proc/11196/task/11199/stat : 11199 (java) S 11194 11196 10176 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166297608 937410560 32333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11196/tid=11200] ppid=11194 vsize=915440 CPUtime=0
/proc/11196/task/11200/stat : 11200 (java) S 11194 11196 10176 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 166297608 937410560 32333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11196/tid=11201] ppid=11194 vsize=915440 CPUtime=0
/proc/11196/task/11201/stat : 11201 (java) S 11194 11196 10176 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 166297612 937410560 32333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11196/tid=11202] ppid=11194 vsize=915440 CPUtime=0.26
/proc/11196/task/11202/stat : 11202 (java) S 11194 11196 10176 0 -1 64 400 0 0 0 25 1 0 0 16 0 8 0 166297612 937410560 32333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11196/tid=11203] ppid=11194 vsize=915440 CPUtime=0
/proc/11196/task/11203/stat : 11203 (java) S 11194 11196 10176 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 166297612 937410560 32333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11196/tid=11204] ppid=11194 vsize=915440 CPUtime=0
/proc/11196/task/11204/stat : 11204 (java) S 11194 11196 10176 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 166297612 937410560 32333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1715.61
Current children cumulated vsize (KiB) 915440

[startup+1783.16 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 11271
/proc/meminfo: memFree=1268760/2055920 swapFree=4192812/4192956
[pid=11196] ppid=11194 vsize=915440 CPUtime=1775.59
/proc/11196/stat : 11196 (java) R 11194 11196 10176 0 -1 0 32605 0 1 0 177534 25 0 0 25 0 8 0 166297604 937410560 32333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073828783 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11196/statm: 228860 32333 2531 14 0 215330 0
[pid=11196/tid=11198] ppid=11194 vsize=915440 CPUtime=0.46
/proc/11196/task/11198/stat : 11198 (java) S 11194 11196 10176 0 -1 64 15582 0 0 0 40 6 0 0 16 0 8 0 166297608 937410560 32333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11196/tid=11199] ppid=11194 vsize=915440 CPUtime=0
/proc/11196/task/11199/stat : 11199 (java) S 11194 11196 10176 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166297608 937410560 32333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11196/tid=11200] ppid=11194 vsize=915440 CPUtime=0
/proc/11196/task/11200/stat : 11200 (java) S 11194 11196 10176 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 166297608 937410560 32333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11196/tid=11201] ppid=11194 vsize=915440 CPUtime=0
/proc/11196/task/11201/stat : 11201 (java) S 11194 11196 10176 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 166297612 937410560 32333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11196/tid=11202] ppid=11194 vsize=915440 CPUtime=0.26
/proc/11196/task/11202/stat : 11202 (java) S 11194 11196 10176 0 -1 64 400 0 0 0 25 1 0 0 16 0 8 0 166297612 937410560 32333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11196/tid=11203] ppid=11194 vsize=915440 CPUtime=0
/proc/11196/task/11203/stat : 11203 (java) S 11194 11196 10176 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 166297612 937410560 32333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11196/tid=11204] ppid=11194 vsize=915440 CPUtime=0
/proc/11196/task/11204/stat : 11204 (java) S 11194 11196 10176 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 166297612 937410560 32333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1775.59
Current children cumulated vsize (KiB) 915440



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1807.64 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 11271
/proc/meminfo: memFree=1268760/2055920 swapFree=4192812/4192956
[pid=11196] ppid=11194 vsize=915440 CPUtime=1800.06
/proc/11196/stat : 11196 (java) R 11194 11196 10176 0 -1 0 32605 0 1 0 179981 25 0 0 25 0 8 0 166297604 937410560 32333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073802379 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11196/statm: 228860 32333 2531 14 0 215330 0
[pid=11196/tid=11198] ppid=11194 vsize=915440 CPUtime=0.46
/proc/11196/task/11198/stat : 11198 (java) S 11194 11196 10176 0 -1 64 15582 0 0 0 40 6 0 0 16 0 8 0 166297608 937410560 32333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11196/tid=11199] ppid=11194 vsize=915440 CPUtime=0
/proc/11196/task/11199/stat : 11199 (java) S 11194 11196 10176 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166297608 937410560 32333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11196/tid=11200] ppid=11194 vsize=915440 CPUtime=0
/proc/11196/task/11200/stat : 11200 (java) S 11194 11196 10176 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 166297608 937410560 32333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11196/tid=11201] ppid=11194 vsize=915440 CPUtime=0
/proc/11196/task/11201/stat : 11201 (java) S 11194 11196 10176 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 166297612 937410560 32333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11196/tid=11202] ppid=11194 vsize=915440 CPUtime=0.26
/proc/11196/task/11202/stat : 11202 (java) S 11194 11196 10176 0 -1 64 400 0 0 0 25 1 0 0 16 0 8 0 166297612 937410560 32333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11196/tid=11203] ppid=11194 vsize=915440 CPUtime=0
/proc/11196/task/11203/stat : 11203 (java) S 11194 11196 10176 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 166297612 937410560 32333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11196/tid=11204] ppid=11194 vsize=915440 CPUtime=0
/proc/11196/task/11204/stat : 11204 (java) S 11194 11196 10176 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 166297612 937410560 32333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 915440

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

Child status: 143
Real time (s): 1807.71
CPU time (s): 1800.13
CPU user time (s): 1799.85
CPU system time (s): 0.278957
CPU usage (%): 99.5809
Max. virtual memory (cumulated for all children) (KiB): 915440

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.85
system time used= 0.278957
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32622
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= 37731
involuntary context switches= 59757

runsolver used 2.59061 s user time and 5.42617 s system time

The end

Launcher Data (download as text)

Begin job on node43 on Sun Jan  7 14:09:45 UTC 2007


IDJOB= 206852
IDBENCH= 4240
FILE ID= node43/206852-1168178985

PBS_JOBID= 3479086

Free space on /tmp= 66478 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  0d8c0cee3fe4dc25dc6d0f77c207051a

RANDOM SEED= 107245858

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.278
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.278
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:        863336 kB
Buffers:         42124 kB
Cached:         515544 kB
SwapCached:          0 kB
Active:         642284 kB
Inactive:       487224 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:        863336 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            7488 kB
Writeback:           0 kB
Mapped:         590972 kB
Slab:            47124 kB
Committed_AS:  4128244 kB
PageTables:       2944 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= 66485 MiB



End job on node43 on Sun Jan  7 14:39:53 UTC 2007