Trace number 206449

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.11 1811.9

General information on the benchmark

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

Solver Data (download as text)

0.32	   
0.32	Abscon 109 (November, 2006)
0.32	   
0.32	   configuration
0.32	     name=esac.xml
0.35	   
0.35	   instance
0.35	     name=/tmp/evaluation/206449-1168173297/unknown.xml
0.38	   
0.38	   domains being loaded...
0.39	   
0.39	   variables being loaded...
0.42	     nbVariables=28  nbDomainTypes=1  minDomainSize=28  maxDomainSize=28
0.42	       =>  wckTime=0.101  cpuTime=0.08  mem=6M951
0.42	   
0.42	   relations being loaded...
1.60	   
1.60	   constraints being loaded...
2.37	     nbConstraints=92  nbRelationTypes=93  nbMergedConstraints=1  nbExtensionStructures=92
2.37	     nbSharedExtensionStructures=0  nbConflictsStructures=92  nbSharedConflictsStructures=0
2.37	     nbSharedBinaryRepresentations=0  maxDegree=17  maxArity=3
2.37	       =>  wckTime=2.05  cpuTime=1.62  mem=58M37
2.53	   
2.53	   solver IterativeSystematicSolver being built... 
2.71	       =>  wckTime=2.385  cpuTime=1.77  mem=65M618
2.87	   
2.87	   preprocessing
2.87	     nbConstraintChecks=51365  nbValidityChecks=81812  nbPropagations=270  nbRevisions=2977  nbUselessRevisions=2563
2.87	     nbSingletonTests=37  nbEffectiveSingletonTests=0  nbESACBranches=4  nbRemovedValues=0  detectedInconsistency=no
2.87	       =>  wckTime=0.155  cpuTime=0.12  mem=65M618
2.98	   
2.99	   search
2.99	     run=0  nbConstraintChecks=54069  nbValidityChecks=103522  nbPropagations=717  nbRevisions=8904
2.99	     nbUselessRevisions=7349  nbAssignments=35  nbFailedAssignments=17  nbBacktracks=11  nbVisitedNodes=61
2.99	     nbRestartNogoods=0  mapSize=10  nbInferences=0  nbTooLargeKeys=0
2.99	       =>  wckTime=0.275  cpuTime=0.23  mem=66M626
3.12	   
3.12	   search
3.12	     run=1  nbConstraintChecks=118651  nbValidityChecks=244593  nbPropagations=2175  nbRevisions=26519
3.12	     nbUselessRevisions=21659  nbAssignments=101  nbFailedAssignments=60  nbBacktracks=26  nbVisitedNodes=181
3.12	     nbRestartNogoods=3  mapSize=24  nbInferences=0  nbTooLargeKeys=0
3.12	       =>  wckTime=0.414  cpuTime=0.37  mem=66M626
3.31	   
3.31	   search
3.31	     run=2  nbConstraintChecks=210736  nbValidityChecks=430409  nbPropagations=4646  nbRevisions=55901
3.31	     nbUselessRevisions=45259  nbAssignments=181  nbFailedAssignments=97  nbBacktracks=48  nbVisitedNodes=300
3.31	     nbRestartNogoods=6  mapSize=46  nbInferences=0  nbTooLargeKeys=0
3.31	       =>  wckTime=0.598  cpuTime=0.54  mem=66M626
3.60	   
3.60	   search
3.60	     run=3  nbConstraintChecks=362854  nbValidityChecks=780700  nbPropagations=8766  nbRevisions=105688
3.60	     nbUselessRevisions=85509  nbAssignments=325  nbFailedAssignments=153  nbBacktracks=81  nbVisitedNodes=481
3.60	     nbRestartNogoods=16  mapSize=78  nbInferences=0  nbTooLargeKeys=0
3.60	       =>  wckTime=0.887  cpuTime=0.82  mem=66M626
3.82	   
3.82	   search
3.82	     run=4  nbConstraintChecks=491767  nbValidityChecks=1047007  nbPropagations=14136  nbRevisions=170890
3.82	     nbUselessRevisions=138034  nbAssignments=440  nbFailedAssignments=193  nbBacktracks=132  nbVisitedNodes=644
3.82	     nbRestartNogoods=23  mapSize=117  nbInferences=0  nbTooLargeKeys=0
3.82	       =>  wckTime=1.108  cpuTime=1.04  mem=66M626
4.38	   
4.38	   search
4.38	     run=5  nbConstraintChecks=831889  nbValidityChecks=1699346  nbPropagations=22553  nbRevisions=274576
4.38	     nbUselessRevisions=220567  nbAssignments=670  nbFailedAssignments=338  nbBacktracks=212  nbVisitedNodes=1078
4.38	     nbRestartNogoods=26  mapSize=187  nbInferences=0  nbTooLargeKeys=0
4.38	       =>  wckTime=1.667  cpuTime=1.59  mem=66M626
4.98	   
4.98	   search
4.98	     run=6  nbConstraintChecks=1184987  nbValidityChecks=2419317  nbPropagations=34627  nbRevisions=421960
4.98	     nbUselessRevisions=337069  nbAssignments=937  nbFailedAssignments=485  nbBacktracks=325  nbVisitedNodes=1564
4.98	     nbRestartNogoods=27  mapSize=282  nbInferences=0  nbTooLargeKeys=0
4.98	       =>  wckTime=2.274  cpuTime=2.19  mem=66M626
5.90	   
5.90	   search
5.90	     run=7  nbConstraintChecks=1717329  nbValidityChecks=3498998  nbPropagations=51450  nbRevisions=631071
5.90	     nbUselessRevisions=502335  nbAssignments=1309  nbFailedAssignments=668  nbBacktracks=495  nbVisitedNodes=2202
5.90	     nbRestartNogoods=32  mapSize=419  nbInferences=0  nbTooLargeKeys=0
5.90	       =>  wckTime=3.189  cpuTime=3.09  mem=66M626
7.30	   
7.30	   search
7.31	     run=8  nbConstraintChecks=2563428  nbValidityChecks=5211632  nbPropagations=76761  nbRevisions=947168
7.31	     nbUselessRevisions=752185  nbAssignments=1994  nbFailedAssignments=1077  nbBacktracks=752  nbVisitedNodes=3440
7.31	     nbRestartNogoods=42  mapSize=646  nbInferences=0  nbTooLargeKeys=0
7.31	       =>  wckTime=4.595  cpuTime=4.46  mem=66M626
9.50	   
9.51	   search
9.51	     run=9  nbConstraintChecks=3880258  nbValidityChecks=7941731  nbPropagations=116242  nbRevisions=1433079
9.51	     nbUselessRevisions=1134049  nbAssignments=3009  nbFailedAssignments=1700  nbBacktracks=1136  nbVisitedNodes=5345
9.51	     nbRestartNogoods=48  mapSize=987  nbInferences=0  nbTooLargeKeys=0
9.51	       =>  wckTime=6.794  cpuTime=6.64  mem=66M626
9.89	   
9.89	   INFO : Stopping hyperNogood (mapSize=1047, nbTooLargekeys=0, mem=66M626)
12.88	   
12.88	   search
12.88	     run=10  nbConstraintChecks=5992735  nbValidityChecks=12161152  nbPropagations=176244  nbRevisions=2181436
12.88	     nbUselessRevisions=1722541  nbAssignments=4589  nbFailedAssignments=2683  nbBacktracks=1712  nbVisitedNodes=8290
12.88	     nbRestartNogoods=62
12.88	       =>  wckTime=10.171  cpuTime=9.97  mem=66M626
18.15	   
18.15	   search
18.15	     run=11  nbConstraintChecks=9162362  nbValidityChecks=18676462  nbPropagations=270196  nbRevisions=3334866
18.15	     nbUselessRevisions=2626012  nbAssignments=7094  nbFailedAssignments=4286  nbBacktracks=2577  nbVisitedNodes=12995
18.15	     nbRestartNogoods=73
18.15	       =>  wckTime=15.437  cpuTime=15.19  mem=66M626
23.10	   
23.10	   search
23.10	     run=12  nbConstraintChecks=12139905  nbValidityChecks=24689460  nbPropagations=396398  nbRevisions=4883732
23.10	     nbUselessRevisions=3844316  nbAssignments=9654  nbFailedAssignments=5498  nbBacktracks=3878  nbVisitedNodes=17422
23.10	     nbRestartNogoods=91
23.10	       =>  wckTime=20.393  cpuTime=20.1  mem=66M626
32.65	   
32.65	   search
32.65	     run=13  nbConstraintChecks=17937406  nbValidityChecks=36529356  nbPropagations=580385  nbRevisions=7176980
32.65	     nbUselessRevisions=5655345  nbAssignments=14254  nbFailedAssignments=8142  nbBacktracks=5825  nbVisitedNodes=25889
32.65	     nbRestartNogoods=103
32.65	       =>  wckTime=29.937  cpuTime=29.56  mem=66M626
48.53	   
48.53	   search
48.53	     run=14  nbConstraintChecks=27492158  nbValidityChecks=55716556  nbPropagations=849955  nbRevisions=10569989
48.53	     nbUselessRevisions=8337171  nbAssignments=20697  nbFailedAssignments=11657  nbBacktracks=8746  nbVisitedNodes=37661
48.53	     nbRestartNogoods=117
48.53	       =>  wckTime=45.819  cpuTime=45.29  mem=66M626
73.00	   
73.00	   search
73.00	     run=15  nbConstraintChecks=42799560  nbValidityChecks=86899641  nbPropagations=1276914  nbRevisions=15957383
73.00	     nbUselessRevisions=12591903  nbAssignments=32748  nbFailedAssignments=19323  nbBacktracks=13124
73.00	     nbVisitedNodes=60339  nbRestartNogoods=136
73.00	       =>  wckTime=70.288  cpuTime=69.54  mem=66M626
108.86	   
108.86	   search
108.86	     run=16  nbConstraintChecks=64486424  nbValidityChecks=131443273  nbPropagations=1935763  nbRevisions=24115139
108.86	     nbUselessRevisions=19009078  nbAssignments=49875  nbFailedAssignments=29874  nbBacktracks=19692
108.86	     nbVisitedNodes=92541  nbRestartNogoods=149
108.86	       =>  wckTime=106.147  cpuTime=105.07  mem=66M626
147.52	   
147.52	   search
147.52	     run=17  nbConstraintChecks=87655026  nbValidityChecks=178409569  nbPropagations=2849438  nbRevisions=35377922
147.52	     nbUselessRevisions=27886585  nbAssignments=69370  nbFailedAssignments=39470  nbBacktracks=29544
147.52	     nbVisitedNodes=127085  nbRestartNogoods=166
147.52	       =>  wckTime=144.813  cpuTime=143.38  mem=66M626
224.63	   
224.63	   search
224.63	     run=18  nbConstraintChecks=134975675  nbValidityChecks=275954722  nbPropagations=4269698  nbRevisions=52935681
224.63	     nbUselessRevisions=41716951  nbAssignments=106825  nbFailedAssignments=62139  nbBacktracks=44323
224.63	     nbVisitedNodes=196796  nbRestartNogoods=186
224.63	       =>  wckTime=221.919  cpuTime=219.79  mem=66M626
350.82	   
350.82	   search
350.82	     run=19  nbConstraintChecks=210887396  nbValidityChecks=433931710  nbPropagations=6524243  nbRevisions=80308391
350.82	     nbUselessRevisions=63161138  nbAssignments=167085  nbFailedAssignments=100223  nbBacktracks=66491
350.82	     nbVisitedNodes=310461  nbRestartNogoods=196
350.82	       =>  wckTime=348.109  cpuTime=344.82  mem=66M626
473.93	   
473.93	   search
473.93	     run=20  nbConstraintChecks=285236400  nbValidityChecks=584254200  nbPropagations=9608855  nbRevisions=117698068
473.93	     nbUselessRevisions=92546602  nbAssignments=232786  nbFailedAssignments=132664  nbBacktracks=99745
473.93	     nbVisitedNodes=426447  nbRestartNogoods=211
473.93	       =>  wckTime=471.216  cpuTime=466.8  mem=66M626
735.94	   
735.95	   search
735.95	     run=21  nbConstraintChecks=448821067  nbValidityChecks=920988572  nbPropagations=14412716  nbRevisions=176438166
735.95	     nbUselessRevisions=138708955  nbAssignments=360914  nbFailedAssignments=210894  nbBacktracks=149624
735.95	     nbVisitedNodes=665416  nbRestartNogoods=228
735.95	       =>  wckTime=733.235  cpuTime=727.34  mem=66M626
1069.79	   
1069.79	   search
1069.79	     run=22  nbConstraintChecks=663842901  nbValidityChecks=1353506814  nbPropagations=21333742  nbRevisions=261856676
1069.79	     nbUselessRevisions=206042627  nbAssignments=525870  nbFailedAssignments=301011  nbBacktracks=224443
1069.79	     nbVisitedNodes=964884  nbRestartNogoods=244
1069.79	       =>  wckTime=1067.083  cpuTime=1059.37  mem=66M626
1608.69	   
1608.69	   search
1608.69	     run=23  nbConstraintChecks=1013538878  nbValidityChecks=2066412970  nbPropagations=31681513  nbRevisions=391541501
1608.69	     nbUselessRevisions=308626445  nbAssignments=791687  nbFailedAssignments=454592  nbBacktracks=336670
1608.69	     nbVisitedNodes=1453245  nbRestartNogoods=267
1608.69	       =>  wckTime=1605.981  cpuTime=1595.27  mem=66M626

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/node4/watcher-206449-1168173297 -o ROOT/results/node4/solver-206449-1168173297 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/206449-1168173297/unknown.xml 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB

/proc/loadavg: 2.00 2.00 2.00 4/93 16058
/proc/meminfo: memFree=1581248/2055920 swapFree=4182144/4192956
[pid=16057] ppid=16055 vsize=18540 CPUtime=0
/proc/16057/stat : 16057 (runsolver) R 16055 16057 14434 0 -1 4194368 17 0 0 0 0 0 0 0 20 0 1 0 165725246 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 259913215271 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/16057/statm: 4635 279 244 17 0 2626 0

[startup+0.107979 s]
/proc/loadavg: 2.00 2.00 2.00 4/93 16058
/proc/meminfo: memFree=1581248/2055920 swapFree=4182144/4192956
[pid=16057] ppid=16055 vsize=914988 CPUtime=0.08
/proc/16057/stat : 16057 (java) R 16055 16057 14434 0 -1 0 2979 0 1 0 7 1 0 0 18 0 8 0 165725246 936947712 2725 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072917031 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16057/statm: 228747 2725 1423 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988

[startup+0.516622 s]
/proc/loadavg: 2.00 2.00 2.00 4/93 16058
/proc/meminfo: memFree=1581248/2055920 swapFree=4182144/4192956
[pid=16057] ppid=16055 vsize=915328 CPUtime=0.48
/proc/16057/stat : 16057 (java) R 16055 16057 14434 0 -1 0 7351 0 1 0 44 4 0 0 18 0 8 0 165725246 937295872 7090 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073565752 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16057/statm: 228832 7090 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328

[startup+1.33809 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 16065
/proc/meminfo: memFree=1514120/2055920 swapFree=4182144/4192956
[pid=16057] ppid=16055 vsize=915328 CPUtime=1.3
/proc/16057/stat : 16057 (java) R 16055 16057 14434 0 -1 0 19098 0 1 0 121 9 0 0 25 0 8 0 165725246 937295872 18836 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073585802 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16057/statm: 228832 18836 2149 14 0 215302 0
[pid=16057/tid=16059] ppid=16055 vsize=915328 CPUtime=0.05
/proc/16057/task/16059/stat : 16059 (java) S 16055 16057 14434 0 -1 64 2681 0 0 0 4 1 0 0 17 0 8 0 165725251 937295872 18836 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16057/tid=16060] ppid=16055 vsize=915328 CPUtime=0
/proc/16057/task/16060/stat : 16060 (java) S 16055 16057 14434 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 165725251 937295872 18836 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16057/tid=16061] ppid=16055 vsize=915328 CPUtime=0
/proc/16057/task/16061/stat : 16061 (java) S 16055 16057 14434 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165725251 937295872 18836 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16057/tid=16062] ppid=16055 vsize=915328 CPUtime=0
/proc/16057/task/16062/stat : 16062 (java) S 16055 16057 14434 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 165725255 937295872 18836 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16057/tid=16063] ppid=16055 vsize=915328 CPUtime=0.08
/proc/16057/task/16063/stat : 16063 (java) S 16055 16057 14434 0 -1 64 308 0 0 0 8 0 0 0 16 0 8 0 165725255 937295872 18836 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16057/tid=16064] ppid=16055 vsize=915328 CPUtime=0
/proc/16057/task/16064/stat : 16064 (java) S 16055 16057 14434 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 165725255 937295872 18836 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16057/tid=16065] ppid=16055 vsize=915328 CPUtime=0
/proc/16057/task/16065/stat : 16065 (java) S 16055 16057 14434 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165725255 937295872 18836 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915328

[startup+2.98476 s]
/proc/loadavg: 2.16 2.03 2.01 4/100 16065
/proc/meminfo: memFree=1474376/2055920 swapFree=4182144/4192956
[pid=16057] ppid=16055 vsize=915440 CPUtime=2.93
/proc/16057/stat : 16057 (java) R 16055 16057 14434 0 -1 0 32571 0 1 0 277 16 0 0 25 0 8 0 165725246 937410560 32306 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073665353 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16057/statm: 228860 32306 2531 14 0 215330 0
[pid=16057/tid=16059] ppid=16055 vsize=915440 CPUtime=0.45
/proc/16057/task/16059/stat : 16059 (java) S 16055 16057 14434 0 -1 64 15582 0 0 0 38 7 0 0 17 0 8 0 165725251 937410560 32306 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16057/tid=16060] ppid=16055 vsize=915440 CPUtime=0
/proc/16057/task/16060/stat : 16060 (java) S 16055 16057 14434 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 165725251 937410560 32306 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16057/tid=16061] ppid=16055 vsize=915440 CPUtime=0
/proc/16057/task/16061/stat : 16061 (java) S 16055 16057 14434 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165725251 937410560 32306 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16057/tid=16062] ppid=16055 vsize=915440 CPUtime=0
/proc/16057/task/16062/stat : 16062 (java) S 16055 16057 14434 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 165725255 937410560 32306 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16057/tid=16063] ppid=16055 vsize=915440 CPUtime=0.19
/proc/16057/task/16063/stat : 16063 (java) S 16055 16057 14434 0 -1 64 373 0 0 0 19 0 0 0 15 0 8 0 165725255 937410560 32306 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16057/tid=16064] ppid=16055 vsize=915440 CPUtime=0
/proc/16057/task/16064/stat : 16064 (java) S 16055 16057 14434 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 165725255 937410560 32306 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16057/tid=16065] ppid=16055 vsize=915440 CPUtime=0
/proc/16057/task/16065/stat : 16065 (java) S 16055 16057 14434 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165725255 937410560 32306 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915440

[startup+6.19303 s]
/proc/loadavg: 2.16 2.03 2.01 3/100 16065
/proc/meminfo: memFree=1461384/2055920 swapFree=4182144/4192956
[pid=16057] ppid=16055 vsize=915440 CPUtime=6.1
/proc/16057/stat : 16057 (java) R 16055 16057 14434 0 -1 0 32585 0 1 0 594 16 0 0 25 0 8 0 165725246 937410560 32318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16057/statm: 228860 32318 2531 14 0 215330 0
[pid=16057/tid=16059] ppid=16055 vsize=915440 CPUtime=0.45
/proc/16057/task/16059/stat : 16059 (java) S 16055 16057 14434 0 -1 64 15582 0 0 0 38 7 0 0 17 0 8 0 165725251 937410560 32318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16057/tid=16060] ppid=16055 vsize=915440 CPUtime=0
/proc/16057/task/16060/stat : 16060 (java) S 16055 16057 14434 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 165725251 937410560 32318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16057/tid=16061] ppid=16055 vsize=915440 CPUtime=0
/proc/16057/task/16061/stat : 16061 (java) S 16055 16057 14434 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165725251 937410560 32318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16057/tid=16062] ppid=16055 vsize=915440 CPUtime=0
/proc/16057/task/16062/stat : 16062 (java) S 16055 16057 14434 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 165725255 937410560 32318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16057/tid=16063] ppid=16055 vsize=915440 CPUtime=0.22
/proc/16057/task/16063/stat : 16063 (java) S 16055 16057 14434 0 -1 64 387 0 0 0 22 0 0 0 15 0 8 0 165725255 937410560 32318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16057/tid=16064] ppid=16055 vsize=915440 CPUtime=0
/proc/16057/task/16064/stat : 16064 (java) S 16055 16057 14434 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 165725255 937410560 32318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16057/tid=16065] ppid=16055 vsize=915440 CPUtime=0
/proc/16057/task/16065/stat : 16065 (java) S 16055 16057 14434 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165725255 937410560 32318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.1
Current children cumulated vsize (KiB) 915440

[startup+12.6682 s]
/proc/loadavg: 2.13 2.03 2.01 3/100 16065
/proc/meminfo: memFree=1461512/2055920 swapFree=4182144/4192956
[pid=16057] ppid=16055 vsize=915440 CPUtime=12.51
/proc/16057/stat : 16057 (java) R 16055 16057 14434 0 -1 0 32603 0 1 0 1235 16 0 0 25 0 8 0 165725246 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073813665 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16057/statm: 228860 32333 2531 14 0 215330 0
[pid=16057/tid=16059] ppid=16055 vsize=915440 CPUtime=0.45
/proc/16057/task/16059/stat : 16059 (java) S 16055 16057 14434 0 -1 64 15582 0 0 0 38 7 0 0 16 0 8 0 165725251 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16057/tid=16060] ppid=16055 vsize=915440 CPUtime=0
/proc/16057/task/16060/stat : 16060 (java) S 16055 16057 14434 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 165725251 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16057/tid=16061] ppid=16055 vsize=915440 CPUtime=0
/proc/16057/task/16061/stat : 16061 (java) S 16055 16057 14434 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165725251 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16057/tid=16062] ppid=16055 vsize=915440 CPUtime=0
/proc/16057/task/16062/stat : 16062 (java) S 16055 16057 14434 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 165725255 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16057/tid=16063] ppid=16055 vsize=915440 CPUtime=0.25
/proc/16057/task/16063/stat : 16063 (java) S 16055 16057 14434 0 -1 64 403 0 0 0 25 0 0 0 16 0 8 0 165725255 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16057/tid=16064] ppid=16055 vsize=915440 CPUtime=0
/proc/16057/task/16064/stat : 16064 (java) S 16055 16057 14434 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 165725255 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16057/tid=16065] ppid=16055 vsize=915440 CPUtime=0
/proc/16057/task/16065/stat : 16065 (java) S 16055 16057 14434 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165725255 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.51
Current children cumulated vsize (KiB) 915440

[startup+25.5394 s]
/proc/loadavg: 2.11 2.03 2.01 3/100 16065
/proc/meminfo: memFree=1461640/2055920 swapFree=4182144/4192956
[pid=16057] ppid=16055 vsize=915440 CPUtime=25.27
/proc/16057/stat : 16057 (java) R 16055 16057 14434 0 -1 0 32603 0 1 0 2511 16 0 0 25 0 8 0 165725246 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16057/statm: 228860 32333 2531 14 0 215330 0
[pid=16057/tid=16059] ppid=16055 vsize=915440 CPUtime=0.45
/proc/16057/task/16059/stat : 16059 (java) S 16055 16057 14434 0 -1 64 15582 0 0 0 38 7 0 0 16 0 8 0 165725251 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16057/tid=16060] ppid=16055 vsize=915440 CPUtime=0
/proc/16057/task/16060/stat : 16060 (java) S 16055 16057 14434 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 165725251 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16057/tid=16061] ppid=16055 vsize=915440 CPUtime=0
/proc/16057/task/16061/stat : 16061 (java) S 16055 16057 14434 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165725251 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16057/tid=16062] ppid=16055 vsize=915440 CPUtime=0
/proc/16057/task/16062/stat : 16062 (java) S 16055 16057 14434 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 165725255 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16057/tid=16063] ppid=16055 vsize=915440 CPUtime=0.25
/proc/16057/task/16063/stat : 16063 (java) S 16055 16057 14434 0 -1 64 403 0 0 0 25 0 0 0 16 0 8 0 165725255 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16057/tid=16064] ppid=16055 vsize=915440 CPUtime=0
/proc/16057/task/16064/stat : 16064 (java) S 16055 16057 14434 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 165725255 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16057/tid=16065] ppid=16055 vsize=915440 CPUtime=0
/proc/16057/task/16065/stat : 16065 (java) S 16055 16057 14434 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165725255 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.27
Current children cumulated vsize (KiB) 915440

[startup+51.1739 s]
/proc/loadavg: 2.07 2.03 2.01 3/100 16065
/proc/meminfo: memFree=1461704/2055920 swapFree=4182144/4192956
[pid=16057] ppid=16055 vsize=915440 CPUtime=50.67
/proc/16057/stat : 16057 (java) R 16055 16057 14434 0 -1 0 32603 0 1 0 5050 17 0 0 25 0 8 0 165725246 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073803331 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16057/statm: 228860 32333 2531 14 0 215330 0
[pid=16057/tid=16059] ppid=16055 vsize=915440 CPUtime=0.45
/proc/16057/task/16059/stat : 16059 (java) S 16055 16057 14434 0 -1 64 15582 0 0 0 38 7 0 0 16 0 8 0 165725251 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16057/tid=16060] ppid=16055 vsize=915440 CPUtime=0
/proc/16057/task/16060/stat : 16060 (java) S 16055 16057 14434 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 165725251 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16057/tid=16061] ppid=16055 vsize=915440 CPUtime=0
/proc/16057/task/16061/stat : 16061 (java) S 16055 16057 14434 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165725251 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16057/tid=16062] ppid=16055 vsize=915440 CPUtime=0
/proc/16057/task/16062/stat : 16062 (java) S 16055 16057 14434 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 165725255 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16057/tid=16063] ppid=16055 vsize=915440 CPUtime=0.25
/proc/16057/task/16063/stat : 16063 (java) S 16055 16057 14434 0 -1 64 403 0 0 0 25 0 0 0 16 0 8 0 165725255 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16057/tid=16064] ppid=16055 vsize=915440 CPUtime=0
/proc/16057/task/16064/stat : 16064 (java) S 16055 16057 14434 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 165725255 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16057/tid=16065] ppid=16055 vsize=915440 CPUtime=0
/proc/16057/task/16065/stat : 16065 (java) S 16055 16057 14434 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165725255 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.67
Current children cumulated vsize (KiB) 915440

[startup+102.436 s]
/proc/loadavg: 2.03 2.02 2.00 3/100 16065
/proc/meminfo: memFree=1461704/2055920 swapFree=4182144/4192956
[pid=16057] ppid=16055 vsize=915440 CPUtime=101.46
/proc/16057/stat : 16057 (java) R 16055 16057 14434 0 -1 0 32603 0 1 0 10129 17 0 0 25 0 8 0 165725246 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073796377 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16057/statm: 228860 32333 2531 14 0 215330 0
[pid=16057/tid=16059] ppid=16055 vsize=915440 CPUtime=0.45
/proc/16057/task/16059/stat : 16059 (java) S 16055 16057 14434 0 -1 64 15582 0 0 0 38 7 0 0 16 0 8 0 165725251 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16057/tid=16060] ppid=16055 vsize=915440 CPUtime=0
/proc/16057/task/16060/stat : 16060 (java) S 16055 16057 14434 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 165725251 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16057/tid=16061] ppid=16055 vsize=915440 CPUtime=0
/proc/16057/task/16061/stat : 16061 (java) S 16055 16057 14434 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165725251 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16057/tid=16062] ppid=16055 vsize=915440 CPUtime=0
/proc/16057/task/16062/stat : 16062 (java) S 16055 16057 14434 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 165725255 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16057/tid=16063] ppid=16055 vsize=915440 CPUtime=0.25
/proc/16057/task/16063/stat : 16063 (java) S 16055 16057 14434 0 -1 64 403 0 0 0 25 0 0 0 16 0 8 0 165725255 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16057/tid=16064] ppid=16055 vsize=915440 CPUtime=0
/proc/16057/task/16064/stat : 16064 (java) S 16055 16057 14434 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 165725255 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16057/tid=16065] ppid=16055 vsize=915440 CPUtime=0
/proc/16057/task/16065/stat : 16065 (java) S 16055 16057 14434 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165725255 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.46
Current children cumulated vsize (KiB) 915440

[startup+162.449 s]
/proc/loadavg: 2.01 2.02 2.00 3/100 16065
/proc/meminfo: memFree=1461640/2055920 swapFree=4182144/4192956
[pid=16057] ppid=16055 vsize=915440 CPUtime=160.92
/proc/16057/stat : 16057 (java) R 16055 16057 14434 0 -1 0 32604 0 1 0 16075 17 0 0 25 0 8 0 165725246 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 1 0 0

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

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

[startup+1483.96 s]
/proc/loadavg: 2.13 2.09 2.02 3/101 16137
/proc/meminfo: memFree=1514624/2055920 swapFree=4182144/4192956
[pid=16057] ppid=16055 vsize=915440 CPUtime=1474.04
/proc/16057/stat : 16057 (java) R 16055 16057 14434 0 -1 0 32605 0 1 0 147376 28 0 0 25 0 8 0 165725246 937410560 32334 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073799215 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16057/statm: 228860 32334 2531 14 0 215330 0
[pid=16057/tid=16059] ppid=16055 vsize=915440 CPUtime=0.45
/proc/16057/task/16059/stat : 16059 (java) S 16055 16057 14434 0 -1 64 15582 0 0 0 38 7 0 0 16 0 8 0 165725251 937410560 32334 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16057/tid=16060] ppid=16055 vsize=915440 CPUtime=0
/proc/16057/task/16060/stat : 16060 (java) S 16055 16057 14434 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 165725251 937410560 32334 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16057/tid=16061] ppid=16055 vsize=915440 CPUtime=0
/proc/16057/task/16061/stat : 16061 (java) S 16055 16057 14434 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165725251 937410560 32334 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16057/tid=16062] ppid=16055 vsize=915440 CPUtime=0
/proc/16057/task/16062/stat : 16062 (java) S 16055 16057 14434 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 165725255 937410560 32334 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16057/tid=16063] ppid=16055 vsize=915440 CPUtime=0.26
/proc/16057/task/16063/stat : 16063 (java) S 16055 16057 14434 0 -1 64 404 0 0 0 26 0 0 0 16 0 8 0 165725255 937410560 32334 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16057/tid=16064] ppid=16055 vsize=915440 CPUtime=0
/proc/16057/task/16064/stat : 16064 (java) S 16055 16057 14434 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 165725255 937410560 32334 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16057/tid=16065] ppid=16055 vsize=915440 CPUtime=0
/proc/16057/task/16065/stat : 16065 (java) S 16055 16057 14434 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165725255 937410560 32334 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1474.04
Current children cumulated vsize (KiB) 915440

[startup+1544.05 s]
/proc/loadavg: 2.05 2.07 2.01 3/101 16137
/proc/meminfo: memFree=1514496/2055920 swapFree=4182144/4192956
[pid=16057] ppid=16055 vsize=915440 CPUtime=1533.8
/proc/16057/stat : 16057 (java) R 16055 16057 14434 0 -1 0 32605 0 1 0 153352 28 0 0 25 0 8 0 165725246 937410560 32334 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073665396 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16057/statm: 228860 32334 2531 14 0 215330 0
[pid=16057/tid=16059] ppid=16055 vsize=915440 CPUtime=0.45
/proc/16057/task/16059/stat : 16059 (java) S 16055 16057 14434 0 -1 64 15582 0 0 0 38 7 0 0 16 0 8 0 165725251 937410560 32334 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16057/tid=16060] ppid=16055 vsize=915440 CPUtime=0
/proc/16057/task/16060/stat : 16060 (java) S 16055 16057 14434 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 165725251 937410560 32334 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16057/tid=16061] ppid=16055 vsize=915440 CPUtime=0
/proc/16057/task/16061/stat : 16061 (java) S 16055 16057 14434 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165725251 937410560 32334 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16057/tid=16062] ppid=16055 vsize=915440 CPUtime=0
/proc/16057/task/16062/stat : 16062 (java) S 16055 16057 14434 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 165725255 937410560 32334 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16057/tid=16063] ppid=16055 vsize=915440 CPUtime=0.26
/proc/16057/task/16063/stat : 16063 (java) S 16055 16057 14434 0 -1 64 404 0 0 0 26 0 0 0 16 0 8 0 165725255 937410560 32334 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16057/tid=16064] ppid=16055 vsize=915440 CPUtime=0
/proc/16057/task/16064/stat : 16064 (java) S 16055 16057 14434 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 165725255 937410560 32334 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16057/tid=16065] ppid=16055 vsize=915440 CPUtime=0
/proc/16057/task/16065/stat : 16065 (java) S 16055 16057 14434 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165725255 937410560 32334 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1533.8
Current children cumulated vsize (KiB) 915440

[startup+1604.16 s]
/proc/loadavg: 2.02 2.06 2.01 3/107 16275
/proc/meminfo: memFree=1513104/2055920 swapFree=4182144/4192956
[pid=16057] ppid=16055 vsize=915440 CPUtime=1593.51
/proc/16057/stat : 16057 (java) R 16055 16057 14434 0 -1 0 32605 0 1 0 159313 38 0 0 25 0 8 0 165725246 937410560 32334 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073830161 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16057/statm: 228860 32334 2531 14 0 215330 0
[pid=16057/tid=16059] ppid=16055 vsize=915440 CPUtime=0.45
/proc/16057/task/16059/stat : 16059 (java) S 16055 16057 14434 0 -1 64 15582 0 0 0 38 7 0 0 16 0 8 0 165725251 937410560 32334 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16057/tid=16060] ppid=16055 vsize=915440 CPUtime=0
/proc/16057/task/16060/stat : 16060 (java) S 16055 16057 14434 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 165725251 937410560 32334 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16057/tid=16061] ppid=16055 vsize=915440 CPUtime=0
/proc/16057/task/16061/stat : 16061 (java) S 16055 16057 14434 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165725251 937410560 32334 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16057/tid=16062] ppid=16055 vsize=915440 CPUtime=0
/proc/16057/task/16062/stat : 16062 (java) S 16055 16057 14434 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 165725255 937410560 32334 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16057/tid=16063] ppid=16055 vsize=915440 CPUtime=0.26
/proc/16057/task/16063/stat : 16063 (java) S 16055 16057 14434 0 -1 64 404 0 0 0 26 0 0 0 16 0 8 0 165725255 937410560 32334 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16057/tid=16064] ppid=16055 vsize=915440 CPUtime=0
/proc/16057/task/16064/stat : 16064 (java) S 16055 16057 14434 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 165725255 937410560 32334 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16057/tid=16065] ppid=16055 vsize=915440 CPUtime=0
/proc/16057/task/16065/stat : 16065 (java) S 16055 16057 14434 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165725255 937410560 32334 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1593.51
Current children cumulated vsize (KiB) 915440

[startup+1664.16 s]
/proc/loadavg: 2.00 2.05 2.00 3/101 16335
/proc/meminfo: memFree=1514112/2055920 swapFree=4182144/4192956
[pid=16057] ppid=16055 vsize=915440 CPUtime=1653.17
/proc/16057/stat : 16057 (java) R 16055 16057 14434 0 -1 0 32605 0 1 0 165270 47 0 0 25 0 8 0 165725246 937410560 32334 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073665396 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16057/statm: 228860 32334 2531 14 0 215330 0
[pid=16057/tid=16059] ppid=16055 vsize=915440 CPUtime=0.45
/proc/16057/task/16059/stat : 16059 (java) S 16055 16057 14434 0 -1 64 15582 0 0 0 38 7 0 0 16 0 8 0 165725251 937410560 32334 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16057/tid=16060] ppid=16055 vsize=915440 CPUtime=0
/proc/16057/task/16060/stat : 16060 (java) S 16055 16057 14434 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 165725251 937410560 32334 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16057/tid=16061] ppid=16055 vsize=915440 CPUtime=0
/proc/16057/task/16061/stat : 16061 (java) S 16055 16057 14434 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165725251 937410560 32334 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16057/tid=16062] ppid=16055 vsize=915440 CPUtime=0
/proc/16057/task/16062/stat : 16062 (java) S 16055 16057 14434 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 165725255 937410560 32334 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16057/tid=16063] ppid=16055 vsize=915440 CPUtime=0.26
/proc/16057/task/16063/stat : 16063 (java) S 16055 16057 14434 0 -1 64 404 0 0 0 26 0 0 0 16 0 8 0 165725255 937410560 32334 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16057/tid=16064] ppid=16055 vsize=915440 CPUtime=0
/proc/16057/task/16064/stat : 16064 (java) S 16055 16057 14434 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 165725255 937410560 32334 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16057/tid=16065] ppid=16055 vsize=915440 CPUtime=0
/proc/16057/task/16065/stat : 16065 (java) S 16055 16057 14434 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165725255 937410560 32334 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1653.17
Current children cumulated vsize (KiB) 915440

[startup+1724.25 s]
/proc/loadavg: 2.00 2.03 2.00 3/101 16335
/proc/meminfo: memFree=1514112/2055920 swapFree=4182144/4192956
[pid=16057] ppid=16055 vsize=915440 CPUtime=1712.93
/proc/16057/stat : 16057 (java) R 16055 16057 14434 0 -1 0 32605 0 1 0 171246 47 0 0 25 0 8 0 165725246 937410560 32334 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073336182 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16057/statm: 228860 32334 2531 14 0 215330 0
[pid=16057/tid=16059] ppid=16055 vsize=915440 CPUtime=0.45
/proc/16057/task/16059/stat : 16059 (java) S 16055 16057 14434 0 -1 64 15582 0 0 0 38 7 0 0 16 0 8 0 165725251 937410560 32334 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16057/tid=16060] ppid=16055 vsize=915440 CPUtime=0
/proc/16057/task/16060/stat : 16060 (java) S 16055 16057 14434 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 165725251 937410560 32334 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16057/tid=16061] ppid=16055 vsize=915440 CPUtime=0
/proc/16057/task/16061/stat : 16061 (java) S 16055 16057 14434 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165725251 937410560 32334 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16057/tid=16062] ppid=16055 vsize=915440 CPUtime=0
/proc/16057/task/16062/stat : 16062 (java) S 16055 16057 14434 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 165725255 937410560 32334 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16057/tid=16063] ppid=16055 vsize=915440 CPUtime=0.26
/proc/16057/task/16063/stat : 16063 (java) S 16055 16057 14434 0 -1 64 404 0 0 0 26 0 0 0 16 0 8 0 165725255 937410560 32334 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16057/tid=16064] ppid=16055 vsize=915440 CPUtime=0
/proc/16057/task/16064/stat : 16064 (java) S 16055 16057 14434 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 165725255 937410560 32334 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16057/tid=16065] ppid=16055 vsize=915440 CPUtime=0
/proc/16057/task/16065/stat : 16065 (java) S 16055 16057 14434 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165725255 937410560 32334 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1712.93
Current children cumulated vsize (KiB) 915440

[startup+1784.35 s]
/proc/loadavg: 2.08 2.04 2.01 3/101 16335
/proc/meminfo: memFree=1514112/2055920 swapFree=4182144/4192956
[pid=16057] ppid=16055 vsize=915440 CPUtime=1772.7
/proc/16057/stat : 16057 (java) R 16055 16057 14434 0 -1 0 32605 0 1 0 177223 47 0 0 25 0 8 0 165725246 937410560 32334 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073629880 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16057/statm: 228860 32334 2531 14 0 215330 0
[pid=16057/tid=16059] ppid=16055 vsize=915440 CPUtime=0.45
/proc/16057/task/16059/stat : 16059 (java) S 16055 16057 14434 0 -1 64 15582 0 0 0 38 7 0 0 16 0 8 0 165725251 937410560 32334 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16057/tid=16060] ppid=16055 vsize=915440 CPUtime=0
/proc/16057/task/16060/stat : 16060 (java) S 16055 16057 14434 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 165725251 937410560 32334 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16057/tid=16061] ppid=16055 vsize=915440 CPUtime=0
/proc/16057/task/16061/stat : 16061 (java) S 16055 16057 14434 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165725251 937410560 32334 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16057/tid=16062] ppid=16055 vsize=915440 CPUtime=0
/proc/16057/task/16062/stat : 16062 (java) S 16055 16057 14434 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 165725255 937410560 32334 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16057/tid=16063] ppid=16055 vsize=915440 CPUtime=0.26
/proc/16057/task/16063/stat : 16063 (java) S 16055 16057 14434 0 -1 64 404 0 0 0 26 0 0 0 16 0 8 0 165725255 937410560 32334 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16057/tid=16064] ppid=16055 vsize=915440 CPUtime=0
/proc/16057/task/16064/stat : 16064 (java) S 16055 16057 14434 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 165725255 937410560 32334 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16057/tid=16065] ppid=16055 vsize=915440 CPUtime=0
/proc/16057/task/16065/stat : 16065 (java) S 16055 16057 14434 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165725255 937410560 32334 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1772.7
Current children cumulated vsize (KiB) 915440



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1811.83 s]
/proc/loadavg: 2.05 2.04 2.00 3/101 16335
/proc/meminfo: memFree=1514112/2055920 swapFree=4182144/4192956
[pid=16057] ppid=16055 vsize=915440 CPUtime=1800.03
/proc/16057/stat : 16057 (java) R 16055 16057 14434 0 -1 0 32605 0 1 0 179956 47 0 0 25 0 8 0 165725246 937410560 32334 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073665357 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16057/statm: 228860 32334 2531 14 0 215330 0
[pid=16057/tid=16059] ppid=16055 vsize=915440 CPUtime=0.45
/proc/16057/task/16059/stat : 16059 (java) S 16055 16057 14434 0 -1 64 15582 0 0 0 38 7 0 0 16 0 8 0 165725251 937410560 32334 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16057/tid=16060] ppid=16055 vsize=915440 CPUtime=0
/proc/16057/task/16060/stat : 16060 (java) S 16055 16057 14434 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 165725251 937410560 32334 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16057/tid=16061] ppid=16055 vsize=915440 CPUtime=0
/proc/16057/task/16061/stat : 16061 (java) S 16055 16057 14434 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165725251 937410560 32334 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16057/tid=16062] ppid=16055 vsize=915440 CPUtime=0
/proc/16057/task/16062/stat : 16062 (java) S 16055 16057 14434 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 165725255 937410560 32334 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16057/tid=16063] ppid=16055 vsize=915440 CPUtime=0.26
/proc/16057/task/16063/stat : 16063 (java) S 16055 16057 14434 0 -1 64 404 0 0 0 26 0 0 0 16 0 8 0 165725255 937410560 32334 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16057/tid=16064] ppid=16055 vsize=915440 CPUtime=0
/proc/16057/task/16064/stat : 16064 (java) S 16055 16057 14434 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 165725255 937410560 32334 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16057/tid=16065] ppid=16055 vsize=915440 CPUtime=0
/proc/16057/task/16065/stat : 16065 (java) S 16055 16057 14434 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165725255 937410560 32334 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 915440

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

Child status: 143
Real time (s): 1811.9
CPU time (s): 1800.11
CPU user time (s): 1799.62
CPU system time (s): 0.494924
CPU usage (%): 99.3492
Max. virtual memory (cumulated for all children) (KiB): 915440

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.62
system time used= 0.494924
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32623
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= 37811
involuntary context switches= 72912

runsolver used 2.17167 s user time and 5.86611 s system time

The end

Launcher Data (download as text)

Begin job on node4 on Sun Jan  7 12:34:57 UTC 2007


IDJOB= 206449
IDBENCH= 4209
FILE ID= node4/206449-1168173297

PBS_JOBID= 3478809

Free space on /tmp= 66295 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  6e34df8fcc34f2f20744837f33af4217

RANDOM SEED= 920057339

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.223
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.223
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:       1581728 kB
Buffers:         43544 kB
Cached:         215328 kB
SwapCached:       2520 kB
Active:         255012 kB
Inactive:       165812 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1581728 kB
SwapTotal:     4192956 kB
SwapFree:      4182144 kB
Dirty:            7500 kB
Writeback:           0 kB
Mapped:         181420 kB
Slab:            37828 kB
Committed_AS:  5069008 kB
PageTables:       2680 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= 66297 MiB



End job on node4 on Sun Jan  7 13:05:09 UTC 2007