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 in four parts:
  1. 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 provide some useful information on the computer.
  2. 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 !
  3. 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 1200 seconds. 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 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
    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.
  4. 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.

General information on the benchmark

Namemps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-sc50b.opb
MD5SUMf10dfcccbc5d23245c6e708690ee08ea
Bench Categoryoptimization, big integers (OPTBIGINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -60000
Optimality of the best value was proved NO
Number of terms in the objective function 30
Biggest coefficient in the objective function 536870912
Number of bits for the biggest coefficient in the objective function 30
Sum of the numbers in the objective function 1073741823
Number of bits of the sum of numbers in the objective function 30
Biggest number in a constraint 5905580032
Number of bits of the biggest number in a constraint 33
Biggest sum of numbers in a constraint 22548578283
Number of bits of the biggest sum of numbers35
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1195.38
Number of variables1440
Total number of constraints48
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints48
Minimum length of a constraint60
Maximum length of a constraint120

Trace number 3395

Launcher Data

LAUNCH ON wulflinc5 THE 2005-09-19 00:29:34 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=6316 boxname=wulflinc5 idbench=456 idsolver=6 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  f10dfcccbc5d23245c6e708690ee08ea  /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-20-10-sc50b.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoTer.jar /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-20-10-sc50b.opb
IDLAUNCH: 6316
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        907996 kB
Buffers:         34648 kB
Cached:          68408 kB
SwapCached:        780 kB
Active:          65252 kB
Inactive:        40452 kB
HighTotal:      131008 kB
HighFree:        59024 kB
LowTotal:       903652 kB
LowFree:        848972 kB
SwapTotal:     2097136 kB
SwapFree:      2095888 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5804 kB
Slab:            15340 kB
Committed_AS:    64300 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-19 00:50:25 (client local time) WITH STATUS 143 IN 1258.14 SECONDS
stats: 6316 0 1258.14 143

Solver Data

c SAT4J: a SATisfiability library for Java (c) 2004-2005 Daniel Le Berre
c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
c version JAVA5.1.1.31
c --- Begin Solver configuration ---
c org.sat4j.minisat.uip.FirstUIP@a20892
c org.sat4j.minisat.constraints.PBMinDataStructure@1e0bc08
c org.sat4j.minisat.learning.MiniSATLearning@158b649
c conflictBoundIncFactor=1.5 learntBoundIncFactor=1.1 initLearntBoundConstraintFactor=0.5 initConflictBound=100 
c VSIDS like heuristics from MiniSAT using a sorted array
c No reason simplification
c --- End Solver configuration ---
c solving /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-20-10-sc50b.opb
c reading problem ... done. Time 1.426 ms.
c #vars     1440
c #constraints  68
c SATISFIABLE
c OPTIMIZING...
c CURRENT OPTIMUM=                   0 		Current CPU time: 3.37 ms
c CURRENT OPTIMUM=              -10000 		Current CPU time: 845.13 ms
c starts		: 16
c conflicts		: 8422
c decisions		: 10267
c propagations		: 163255
c inspects		: 7346344
c learnt literals	: 0
c learnt binary clauses	: 0
c learnt ternary clauses	: 0
c learnt clauses	: 8422
c root simplifications	: 36
c removed literals (reason simplification)	: 0
c reason swapping (by a shorter reason)	: 0
c Calls to reduceDB	: 9916
c speed (decisions/second)	: 25.434078742342155
c non guided choices	3178
c random choices	0
s SATISFIABLE
v -COL00004_bit_10 -COL00004_bit_9 -COL00004_bit_8 -COL00004_bit_7 COL00004_bit_6 -COL00004_bit_5 -COL00004_bit_4 -COL00004_bit_3 COL00004_bit_2 COL00004_bit_1 COL00004_bit0 -COL00004_bit1 -COL00004_bit2 COL00004_bit3 -COL00004_bit4 -COL00004_bit5 -COL00004_bit6 -COL00004_bit7 -COL00004_bit8 -COL00004_bit9 -COL00004_bit10 -COL00004_bit11 -COL00004_bit12 -COL00004_bit13 -COL00004_bit14 -COL00004_bit15 -COL00004_bit16 -COL00004_bit17 -COL00004_bit18 -COL00004_bit19 -COL00001_bit_10 -COL00001_bit_9 -COL00001_bit_8 -COL00001_bit_7 -COL00001_bit_6 -COL00001_bit_5 -COL00001_bit_4 -COL00001_bit_3 -COL00001_bit_2 -COL00001_bit_1 -COL00001_bit0 -COL00001_bit1 -COL00001_bit2 -COL00001_bit3 -COL00001_bit4 -COL00001_bit5 -COL00001_bit6 -COL00001_bit7 -COL00001_bit8 -COL00001_bit9 -COL00001_bit10 -COL00001_bit11 -COL00001_bit12 -COL00001_bit13 -COL00001_bit14 -COL00001_bit15 -COL00001_bit16 -COL00001_bit17 -COL00001_bit18 -COL00001_bit19 COL00002_bit_10 COL00002_bit_9 COL00002_bit_8 COL00002_bit_7 COL00002_bit_6 COL00002_bit_5 COL00002_bit_4 COL00002_bit_3 COL00002_bit_2 COL00002_bit_1 COL00002_bit0 COL00002_bit1 COL00002_bit2 COL00002_bit3 COL00002_bit4 COL00002_bit5 -COL00002_bit6 -COL00002_bit7 -COL00002_bit8 -COL00002_bit9 -COL00002_bit10 -COL00002_bit11 -COL00002_bit12 -COL00002_bit13 -COL00002_bit14 -COL00002_bit15 -COL00002_bit16 -COL00002_bit17 -COL00002_bit18 -COL00002_bit19 -COL00003_bit_10 -COL00003_bit_9 -COL00003_bit_8 -COL00003_bit_7 COL00003_bit_6 COL00003_bit_5 COL00003_bit_4 -COL00003_bit_3 COL00003_bit_2 COL00003_bit_1 COL00003_bit0 -COL00003_bit1 COL00003_bit2 -COL00003_bit3 -COL00003_bit4 -COL00003_bit5 -COL00003_bit6 -COL00003_bit7 -COL00003_bit8 -COL00003_bit9 -COL00003_bit10 -COL00003_bit11 -COL00003_bit12 -COL00003_bit13 -COL00003_bit14 -COL00003_bit15 -COL00003_bit16 -COL00003_bit17 -COL00003_bit18 -COL00003_bit19 -COL00005_bit_10 -COL00005_bit_9 -COL00005_bit_8 -COL00005_bit_7 COL00005_bit_6 -COL00005_bit_5 -COL00005_bit_4 -COL00005_bit_3 COL00005_bit_2 COL00005_bit_1 COL00005_bit0 -COL00005_bit1 -COL00005_bit2 COL00005_bit3 -COL00005_bit4 -COL00005_bit5 -COL00005_bit6 -COL00005_bit7 -COL00005_bit8 -COL00005_bit9 -COL00005_bit10 -COL00005_bit11 -COL00005_bit12 -COL00005_bit13 -COL00005_bit14 -COL00005_bit15 -COL00005_bit16 -COL00005_bit17 -COL00005_bit18 -COL00005_bit19 -COL00006_bit_10 -COL00006_bit_9 -COL00006_bit_8 -COL00006_bit_7 -COL00006_bit_6 -COL00006_bit_5 -COL00006_bit_4 -COL00006_bit_3 -COL00006_bit_2 -COL00006_bit_1 -COL00006_bit0 -COL00006_bit1 -COL00006_bit2 -COL00006_bit3 -COL00006_bit4 -COL00006_bit5 -COL00006_bit6 -COL00006_bit7 -COL00006_bit8 -COL00006_bit9 -COL00006_bit10 -COL00006_bit11 -COL00006_bit12 -COL00006_bit13 -COL00006_bit14 -COL00006_bit15 -COL00006_bit16 -COL00006_bit17 -COL00006_bit18 -COL00006_bit19 COL00007_bit_10 COL00007_bit_9 COL00007_bit_8 COL00007_bit_7 COL00007_bit_6 COL00007_bit_5 COL00007_bit_4 COL00007_bit_3 COL00007_bit_2 COL00007_bit_1 COL00007_bit0 COL00007_bit1 COL00007_bit2 COL00007_bit3 COL00007_bit4 COL00007_bit5 -COL00007_bit6 -COL00007_bit7 -COL00007_bit8 -COL00007_bit9 -COL00007_bit10 -COL00007_bit11 -COL00007_bit12 -COL00007_bit13 -COL00007_bit14 -COL00007_bit15 -COL00007_bit16 -COL00007_bit17 -COL00007_bit18 -COL00007_bit19 -COL00008_bit_10 -COL00008_bit_9 -COL00008_bit_8 -COL00008_bit_7 COL00008_bit_6 COL00008_bit_5 COL00008_bit_4 -COL00008_bit_3 COL00008_bit_2 COL00008_bit_1 COL00008_bit0 -COL00008_bit1 COL00008_bit2 -COL00008_bit3 -COL00008_bit4 -COL00008_bit5 -COL00008_bit6 -COL00008_bit7 -COL00008_bit8 -COL00008_bit9 -COL00008_bit10 -COL00008_bit11 -COL00008_bit12 -COL00008_bit13 -COL00008_bit14 -COL00008_bit15 -COL00008_bit16 -COL00008_bit17 -COL00008_bit18 -COL00008_bit19 -COL00009_bit_10 -COL00009_bit_9 -COL00009_bit_8 -COL00009_bit_7 -COL00009_bit_6 -COL00009_bit_5 -COL00009_bit_4 -COL00009_bit_3 -COL00009_bit_2 -COL00009_bit_1 -COL00009_bit0 -COL00009_bit1 -COL00009_bit2 -COL00009_bit3 -COL00009_bit4 -COL00009_bit5 -COL00009_bit6 -COL00009_bit7 -COL00009_bit8 -COL00009_bit9 -COL00009_bit10 -COL00009_bit11 -COL00009_bit12 -COL00009_bit13 -COL00009_bit14 -COL00009_bit15 -COL00009_bit16 -COL00009_bit17 -COL00009_bit18 -COL00009_bit19 COL00010_bit_10 COL00010_bit_9 COL00010_bit_8 COL00010_bit_7 COL00010_bit_6 COL00010_bit_5 COL00010_bit_4 COL00010_bit_3 COL00010_bit_2 COL00010_bit_1 COL00010_bit0 COL00010_bit1 COL00010_bit2 -COL00010_bit3 -COL00010_bit4 -COL00010_bit5 -COL00010_bit6 -COL00010_bit7 -COL00010_bit8 -COL00010_bit9 -COL00010_bit10 -COL00010_bit11 -COL00010_bit12 -COL00010_bit13 -COL00010_bit14 -COL00010_bit15 -COL00010_bit16 -COL00010_bit17 -COL00010_bit18 -COL00010_bit19 -COL00011_bit_10 -COL00011_bit_9 -COL00011_bit_8 -COL00011_bit_7 COL00011_bit_6 COL00011_bit_5 COL00011_bit_4 -COL00011_bit_3 COL00011_bit_2 COL00011_bit_1 COL00011_bit0 -COL00011_bit1 COL00011_bit2 -COL00011_bit3 -COL00011_bit4 -COL00011_bit5 -COL00011_bit6 -COL00011_bit7 -COL00011_bit8 -COL00011_bit9 -COL00011_bit10 -COL00011_bit11 -COL00011_bit12 -COL00011_bit13 -COL00011_bit14 -COL00011_bit15 -COL00011_bit16 -COL00011_bit17 -COL00011_bit18 -COL00011_bit19 -COL00012_bit_10 -COL00012_bit_9 -COL00012_bit_8 -COL00012_bit_7 -COL00012_bit_6 -COL00012_bit_5 -COL00012_bit_4 -COL00012_bit_3 -COL00012_bit_2 -COL00012_bit_1 -COL00012_bit0 -COL00012_bit1 -COL00012_bit2 -COL00012_bit3 -COL00012_bit4 -COL00012_bit5 -COL00012_bit6 -COL00012_bit7 -COL00012_bit8 -COL00012_bit9 -COL00012_bit10 -COL00012_bit11 -COL00012_bit12 -COL00012_bit13 -COL00012_bit14 -COL00012_bit15 -COL00012_bit16 -COL00012_bit17 -COL00012_bit18 -COL00012_bit19 -COL00013_bit_10 -COL00013_bit_9 -COL00013_bit_8 -COL00013_bit_7 -COL00013_bit_6 -COL00013_bit_5 -COL00013_bit_4 -COL00013_bit_3 -COL00013_bit_2 -COL00013_bit_1 -COL00013_bit0 -COL00013_bit1 -COL00013_bit2 -COL00013_bit3 -COL00013_bit4 -COL00013_bit5 -COL00013_bit6 -COL00013_bit7 -COL00013_bit8 -COL00013_bit9 -COL00013_bit10 -COL00013_bit11 -COL00013_bit12 -COL00013_bit13 -COL00013_bit14 -COL00013_bit15 -COL00013_bit16 -COL00013_bit17 -COL00013_bit18 -COL00013_bit19 -COL00014_bit_10 -COL00014_bit_9 -COL00014_bit_8 -COL00014_bit_7 -COL00014_bit_6 -COL00014_bit_5 -COL00014_bit_4 -COL00014_bit_3 -COL00014_bit_2 -COL00014_bit_1 -COL00014_bit0 -COL00014_bit1 -COL00014_bit2 -COL00014_bit3 -COL00014_bit4 -COL00014_bit5 COL00014_bit6 -COL00014_bit7 -COL00014_bit8 -COL00014_bit9 -COL00014_bit10 -COL00014_bit11 -COL00014_bit12 -COL00014_bit13 -COL00014_bit14 -COL00014_bit15 -COL00014_bit16 -COL00014_bit17 -COL00014_bit18 -COL00014_bit19 -COL00015_bit_10 -COL00015_bit_9 -COL00015_bit_8 COL00015_bit_7 COL00015_bit_6 COL00015_bit_5 COL00015_bit_4 COL00015_bit_3 -COL00015_bit_2 COL00015_bit_1 -COL00015_bit0 COL00015_bit1 -COL00015_bit2 COL00015_bit3 -COL00015_bit4 -COL00015_bit5 -COL00015_bit6 -COL00015_bit7 -COL00015_bit8 -COL00015_bit9 -COL00015_bit10 -COL00015_bit11 -COL00015_bit12 -COL00015_bit13 -COL00015_bit14 -COL00015_bit15 -COL00015_bit16 -COL00015_bit17 -COL00015_bit18 -COL00015_bit19 -COL00016_bit_10 -COL00016_bit_9 -COL00016_bit_8 COL00016_bit_7 -COL00016_bit_6 -COL00016_bit_5 -COL00016_bit_4 -COL00016_bit_3 -COL00016_bit_2 COL00016_bit_1 -COL00016_bit0 -COL00016_bit1 COL00016_bit2 -COL00016_bit3 COL00016_bit4 -COL00016_bit5 -COL00016_bit6 -COL00016_bit7 -COL00016_bit8 -COL00016_bit9 -COL00016_bit10 -COL00016_bit11 -COL00016_bit12 -COL00016_bit13 -COL00016_bit14 -COL00016_bit15 -COL00016_bit16 -COL00016_bit17 -COL00016_bit18 -COL00016_bit19 -COL00017_bit_10 -COL00017_bit_9 -COL00017_bit_8 -COL00017_bit_7 -COL00017_bit_6 -COL00017_bit_5 -COL00017_bit_4 -COL00017_bit_3 -COL00017_bit_2 -COL00017_bit_1 -COL00017_bit0 -COL00017_bit1 -COL00017_bit2 -COL00017_bit3 -COL00017_bit4 -COL00017_bit5 -COL00017_bit6 -COL00017_bit7 -COL00017_bit8 -COL00017_bit9 -COL00017_bit10 -COL00017_bit11 -COL00017_bit12 -COL00017_bit13 -COL00017_bit14 -COL00017_bit15 -COL00017_bit16 -COL00017_bit17 -COL00017_bit18 -COL00017_bit19 COL00018_bit_10 COL00018_bit_9 COL00018_bit_8 COL00018_bit_7 COL00018_bit_6 COL00018_bit_5 COL00018_bit_4 COL00018_bit_3 COL00018_bit_2 COL00018_bit_1 COL00018_bit0 COL00018_bit1 COL00018_bit2 COL00018_bit3 COL00018_bit4 COL00018_bit5 -COL00018_bit6 -COL00018_bit7 -COL00018_bit8 -COL00018_bit9 -COL00018_bit10 -COL00018_bit11 -COL00018_bit12 -COL00018_bit13 -COL00018_bit14 -COL00018_bit15 -COL00018_bit16 -COL00018_bit17 -COL00018_bit18 -COL00018_bit19 -COL00019_bit_10 -COL00019_bit_9 -COL00019_bit_8 -COL00019_bit_7 COL00019_bit_6 COL00019_bit_5 COL00019_bit_4 -COL00019_bit_3 COL00019_bit_2 COL00019_bit_1 COL00019_bit0 -COL00019_bit1 COL00019_bit2 -COL00019_bit3 -COL00019_bit4 -COL00019_bit5 COL00019_bit6 -COL00019_bit7 -COL00019_bit8 -COL00019_bit9 -COL00019_bit10 -COL00019_bit11 -COL00019_bit12 -COL00019_bit13 -COL00019_bit14 -COL00019_bit15 -COL00019_bit16 -COL00019_bit17 -COL00019_bit18 -COL00019_bit19 -COL00020_bit_10 -COL00020_bit_9 -COL00020_bit_8 -COL00020_bit_7 -COL00020_bit_6 -COL00020_bit_5 -COL00020_bit_4 -COL00020_bit_3 -COL00020_bit_2 -COL00020_bit_1 -COL00020_bit0 -COL00020_bit1 -COL00020_bit2 -COL00020_bit3 -COL00020_bit4 -COL00020_bit5 -COL00020_bit6 -COL00020_bit7 -COL00020_bit8 -COL00020_bit9 -COL00020_bit10 -COL00020_bit11 -COL00020_bit12 -COL00020_bit13 -COL00020_bit14 -COL00020_bit15 -COL00020_bit16 -COL00020_bit17 -COL00020_bit18 -COL00020_bit19 -COL00021_bit_10 -COL00021_bit_9 -COL00021_bit_8 -COL00021_bit_7 -COL00021_bit_6 -COL00021_bit_5 -COL00021_bit_4 -COL00021_bit_3 -COL00021_bit_2 -COL00021_bit_1 -COL00021_bit0 -COL00021_bit1 -COL00021_bit2 -COL00021_bit3 -COL00021_bit4 COL00021_bit5 -COL00021_bit6 -COL00021_bit7 -COL00021_bit8 -COL00021_bit9 -COL00021_bit10 -COL00021_bit11 -COL00021_bit12 -COL00021_bit13 -COL00021_bit14 -COL00021_bit15 -COL00021_bit16 -COL00021_bit17 -COL00021_bit18 -COL00021_bit19 COL00022_bit_10 COL00022_bit_9 COL00022_bit_8 COL00022_bit_7 COL00022_bit_6 COL00022_bit_5 COL00022_bit_4 COL00022_bit_3 COL00022_bit_2 COL00022_bit_1 COL00022_bit0 COL00022_bit1 COL00022_bit2 -COL00022_bit3 -COL00022_bit4 COL00022_bit5 -COL00022_bit6 -COL00022_bit7 -COL00022_bit8 -COL00022_bit9 -COL00022_bit10 -COL00022_bit11 -COL00022_bit12 -COL00022_bit13 -COL00022_bit14 -COL00022_bit15 -COL00022_bit16 -COL00022_bit17 -COL00022_bit18 -COL00022_bit19 -COL00023_bit_10 -COL00023_bit_9 -COL00023_bit_8 -COL00023_bit_7 -COL00023_bit_6 -COL00023_bit_5 -COL00023_bit_4 -COL00023_bit_3 -COL00023_bit_2 -COL00023_bit_1 -COL00023_bit0 -COL00023_bit1 -COL00023_bit2 -COL00023_bit3 -COL00023_bit4 -COL00023_bit5 -COL00023_bit6 -COL00023_bit7 -COL00023_bit8 -COL00023_bit9 -COL00023_bit10 -COL00023_bit11 -COL00023_bit12 -COL00023_bit13 -COL00023_bit14 -COL00023_bit15 -COL00023_bit16 -COL00023_bit17 -COL00023_bit18 -COL00023_bit19 -COL00024_bit_10 -COL00024_bit_9 -COL00024_bit_8 -COL00024_bit_7 -COL00024_bit_6 -COL00024_bit_5 -COL00024_bit_4 -COL00024_bit_3 -COL00024_bit_2 -COL00024_bit_1 -COL00024_bit0 -COL00024_bit1 -COL00024_bit2 -COL00024_bit3 -COL00024_bit4 -COL00024_bit5 -COL00024_bit6 -COL00024_bit7 -COL00024_bit8 -COL00024_bit9 -COL00024_bit10 -COL00024_bit11 -COL00024_bit12 -COL00024_bit13 -COL00024_bit14 -COL00024_bit15 -COL00024_bit16 -COL00024_bit17 -COL00024_bit18 -COL00024_bit19 -COL00025_bit_10 -COL00025_bit_9 -COL00025_bit_8 -COL00025_bit_7 -COL00025_bit_6 -COL00025_bit_5 -COL00025_bit_4 -COL00025_bit_3 -COL00025_bit_2 -COL00025_bit_1 -COL00025_bit0 -COL00025_bit1 -COL00025_bit2 -COL00025_bit3 -COL00025_bit4 -COL00025_bit5 -COL00025_bit6 -COL00025_bit7 -COL00025_bit8 -COL00025_bit9 -COL00025_bit10 -COL00025_bit11 -COL00025_bit12 -COL00025_bit13 -COL00025_bit14 -COL00025_bit15 -COL00025_bit16 -COL00025_bit17 -COL00025_bit18 -COL00025_bit19 -COL00026_bit_10 -COL00026_bit_9 COL00026_bit_8 -COL00026_bit_7 -COL00026_bit_6 -COL00026_bit_5 COL00026_bit_4 -COL00026_bit_3 COL00026_bit_2 COL00026_bit_1 COL00026_bit0 COL00026_bit1 -COL00026_bit2 COL00026_bit3 -COL00026_bit4 -COL00026_bit5 -COL00026_bit6 -COL00026_bit7 -COL00026_bit8 -COL00026_bit9 -COL00026_bit10 -COL00026_bit11 -COL00026_bit12 -COL00026_bit13 -COL00026_bit14 -COL00026_bit15 -COL00026_bit16 -COL00026_bit17 -COL00026_bit18 -COL00026_bit19 -COL00027_bit_10 -COL00027_bit_9 COL00027_bit_8 COL00027_bit_7 -COL00027_bit_6 -COL00027_bit_5 COL00027_bit_4 -COL00027_bit_3 COL00027_bit_2 -COL00027_bit_1 -COL00027_bit0 -COL00027_bit1 -COL00027_bit2 -COL00027_bit3 -COL00027_bit4 COL00027_bit5 -COL00027_bit6 -COL00027_bit7 -COL00027_bit8 -COL00027_bit9 -COL00027_bit10 -COL00027_bit11 -COL00027_bit12 -COL00027_bit13 -COL00027_bit14 -COL00027_bit15 -COL00027_bit16 -COL00027_bit17 -COL00027_bit18 -COL00027_bit19 -COL00028_bit_10 -COL00028_bit_9 -COL00028_bit_8 -COL00028_bit_7 -COL00028_bit_6 -COL00028_bit_5 -COL00028_bit_4 -COL00028_bit_3 -COL00028_bit_2 -COL00028_bit_1 -COL00028_bit0 -COL00028_bit1 -COL00028_bit2 -COL00028_bit3 -COL00028_bit4 -COL00028_bit5 -COL00028_bit6 -COL00028_bit7 -COL00028_bit8 -COL00028_bit9 -COL00028_bit10 -COL00028_bit11 -COL00028_bit12 -COL00028_bit13 -COL00028_bit14 -COL00028_bit15 -COL00028_bit16 -COL00028_bit17 -COL00028_bit18 -COL00028_bit19 COL00029_bit_10 COL00029_bit_9 COL00029_bit_8 COL00029_bit_7 COL00029_bit_6 COL00029_bit_5 COL00029_bit_4 COL00029_bit_3 COL00029_bit_2 COL00029_bit_1 COL00029_bit0 COL00029_bit1 COL00029_bit2 COL00029_bit3 COL00029_bit4 COL00029_bit5 -COL00029_bit6 -COL00029_bit7 -COL00029_bit8 -COL00029_bit9 -COL00029_bit10 -COL00029_bit11 -COL00029_bit12 -COL00029_bit13 -COL00029_bit14 -COL00029_bit15 -COL00029_bit16 -COL00029_bit17 -COL00029_bit18 -COL00029_bit19 -COL00030_bit_10 -COL00030_bit_9 -COL00030_bit_8 -COL00030_bit_7 COL00030_bit_6 COL00030_bit_5 COL00030_bit_4 -COL00030_bit_3 COL00030_bit_2 COL00030_bit_1 COL00030_bit0 -COL00030_bit1 COL00030_bit2 -COL00030_bit3 -COL00030_bit4 -COL00030_bit5 COL00030_bit6 -COL00030_bit7 -COL00030_bit8 -COL00030_bit9 -COL00030_bit10 -COL00030_bit11 -COL00030_bit12 -COL00030_bit13 -COL00030_bit14 -COL00030_bit15 -COL00030_bit16 -COL00030_bit17 -COL00030_bit18 -COL00030_bit19 -COL00031_bit_10 -COL00031_bit_9 -COL00031_bit_8 -COL00031_bit_7 -COL00031_bit_6 -COL00031_bit_5 -COL00031_bit_4 -COL00031_bit_3 -COL00031_bit_2 -COL00031_bit_1 -COL00031_bit0 -COL00031_bit1 -COL00031_bit2 -COL00031_bit3 -COL00031_bit4 -COL00031_bit5 -COL00031_bit6 -COL00031_bit7 -COL00031_bit8 -COL00031_bit9 -COL00031_bit10 -COL00031_bit11 -COL00031_bit12 -COL00031_bit13 -COL00031_bit14 -COL00031_bit15 -COL00031_bit16 -COL00031_bit17 -COL00031_bit18 -COL00031_bit19 -COL00032_bit_10 -COL00032_bit_9 -COL00032_bit_8 -COL00032_bit_7 -COL00032_bit_6 -COL00032_bit_5 -COL00032_bit_4 -COL00032_bit_3 -COL00032_bit_2 -COL00032_bit_1 -COL00032_bit0 -COL00032_bit1 -COL00032_bit2 -COL00032_bit3 -COL00032_bit4 COL00032_bit5 -COL00032_bit6 -COL00032_bit7 -COL00032_bit8 -COL00032_bit9 -COL00032_bit10 -COL00032_bit11 -COL00032_bit12 -COL00032_bit13 -COL00032_bit14 -COL00032_bit15 -COL00032_bit16 -COL00032_bit17 -COL00032_bit18 -COL00032_bit19 -COL00033_bit_10 -COL00033_bit_9 -COL00033_bit_8 -COL00033_bit_7 -COL00033_bit_6 -COL00033_bit_5 -COL00033_bit_4 -COL00033_bit_3 -COL00033_bit_2 -COL00033_bit_1 -COL00033_bit0 -COL00033_bit1 -COL00033_bit2 -COL00033_bit3 -COL00033_bit4 -COL00033_bit5 COL00033_bit6 -COL00033_bit7 -COL00033_bit8 -COL00033_bit9 -COL00033_bit10 -COL00033_bit11 -COL00033_bit12 -COL00033_bit13 -COL00033_bit14 -COL00033_bit15 -COL00033_bit16 -COL00033_bit17 -COL00033_bit18 -COL00033_bit19 -COL00034_bit_10 -COL00034_bit_9 -COL00034_bit_8 -COL00034_bit_7 -COL00034_bit_6 -COL00034_bit_5 -COL00034_bit_4 -COL00034_bit_3 -COL00034_bit_2 -COL00034_bit_1 -COL00034_bit0 -COL00034_bit1 -COL00034_bit2 -COL00034_bit3 -COL00034_bit4 -COL00034_bit5 -COL00034_bit6 -COL00034_bit7 -COL00034_bit8 -COL00034_bit9 -COL00034_bit10 -COL00034_bit11 -COL00034_bit12 -COL00034_bit13 -COL00034_bit14 -COL00034_bit15 -COL00034_bit16 -COL00034_bit17 -COL00034_bit18 -COL00034_bit19 -COL00035_bit_10 -COL00035_bit_9 -COL00035_bit_8 -COL00035_bit_7 -COL00035_bit_6 -COL00035_bit_5 -COL00035_bit_4 -COL00035_bit_3 -COL00035_bit_2 -COL00035_bit_1 -COL00035_bit0 -COL00035_bit1 -COL00035_bit2 -COL00035_bit3 -COL00035_bit4 -COL00035_bit5 -COL00035_bit6 -COL00035_bit7 -COL00035_bit8 -COL00035_bit9 -COL00035_bit10 -COL00035_bit11 -COL00035_bit12 -COL00035_bit13 -COL00035_bit14 -COL00035_bit15 -COL00035_bit16 -COL00035_bit17 -COL00035_bit18 -COL00035_bit19 -COL00036_bit_10 -COL00036_bit_9 -COL00036_bit_8 -COL00036_bit_7 -COL00036_bit_6 -COL00036_bit_5 -COL00036_bit_4 -COL00036_bit_3 -COL00036_bit_2 -COL00036_bit_1 -COL00036_bit0 -COL00036_bit1 -COL00036_bit2 -COL00036_bit3 -COL00036_bit4 -COL00036_bit5 -COL00036_bit6 -COL00036_bit7 -COL00036_bit8 -COL00036_bit9 -COL00036_bit10 -COL00036_bit11 -COL00036_bit12 -COL00036_bit13 -COL00036_bit14 -COL00036_bit15 -COL00036_bit16 -COL00036_bit17 -COL00036_bit18 -COL00036_bit19 -COL00037_bit_10 COL00037_bit_9 COL00037_bit_8 COL00037_bit_7 COL00037_bit_6 COL00037_bit_5 COL00037_bit_4 COL00037_bit_3 COL00037_bit_2 COL00037_bit_1 -COL00037_bit0 -COL00037_bit1 COL00037_bit2 COL00037_bit3 -COL00037_bit4 -COL00037_bit5 -COL00037_bit6 -COL00037_bit7 -COL00037_bit8 -COL00037_bit9 -COL00037_bit10 -COL00037_bit11 -COL00037_bit12 -COL00037_bit13 -COL00037_bit14 -COL00037_bit15 -COL00037_bit16 -COL00037_bit17 -COL00037_bit18 -COL00037_bit19 -COL00038_bit_10 COL00038_bit_9 -COL00038_bit_8 COL00038_bit_7 -COL00038_bit_6 -COL00038_bit_5 COL00038_bit_4 -COL00038_bit_3 COL00038_bit_2 -COL00038_bit_1 COL00038_bit0 -COL00038_bit1 COL00038_bit2 COL00038_bit3 -COL00038_bit4 COL00038_bit5 -COL00038_bit6 -COL00038_bit7 -COL00038_bit8 -COL00038_bit9 -COL00038_bit10 -COL00038_bit11 -COL00038_bit12 -COL00038_bit13 -COL00038_bit14 -COL00038_bit15 -COL00038_bit16 -COL00038_bit17 -COL00038_bit18 -COL00038_bit19 -COL00039_bit_10 -COL00039_bit_9 -COL00039_bit_8 -COL00039_bit_7 -COL00039_bit_6 -COL00039_bit_5 -COL00039_bit_4 -COL00039_bit_3 -COL00039_bit_2 -COL00039_bit_1 -COL00039_bit0 -COL00039_bit1 -COL00039_bit2 -COL00039_bit3 -COL00039_bit4 -COL00039_bit5 -COL00039_bit6 -COL00039_bit7 -COL00039_bit8 -COL00039_bit9 -COL00039_bit10 -COL00039_bit11 -COL00039_bit12 -COL00039_bit13 -COL00039_bit14 -COL00039_bit15 -COL00039_bit16 -COL00039_bit17 -COL00039_bit18 -COL00039_bit19 COL00040_bit_10 COL00040_bit_9 COL00040_bit_8 COL00040_bit_7 COL00040_bit_6 COL00040_bit_5 COL00040_bit_4 COL00040_bit_3 COL00040_bit_2 COL00040_bit_1 COL00040_bit0 COL00040_bit1 COL00040_bit2 COL00040_bit3 COL00040_bit4 COL00040_bit5 -COL00040_bit6 -COL00040_bit7 -COL00040_bit8 -COL00040_bit9 -COL00040_bit10 -COL00040_bit11 -COL00040_bit12 -COL00040_bit13 -COL00040_bit14 -COL00040_bit15 -COL00040_bit16 -COL00040_bit17 -COL00040_bit18 -COL00040_bit19 -COL00041_bit_10 -COL00041_bit_9 -COL00041_bit_8 -COL00041_bit_7 COL00041_bit_6 COL00041_bit_5 COL00041_bit_4 -COL00041_bit_3 COL00041_bit_2 COL00041_bit_1 COL00041_bit0 -COL00041_bit1 COL00041_bit2 -COL00041_bit3 -COL00041_bit4 -COL00041_bit5 COL00041_bit6 -COL00041_bit7 -COL00041_bit8 -COL00041_bit9 -COL00041_bit10 -COL00041_bit11 -COL00041_bit12 -COL00041_bit13 -COL00041_bit14 -COL00041_bit15 -COL00041_bit16 -COL00041_bit17 -COL00041_bit18 -COL00041_bit19 -COL00042_bit_10 -COL00042_bit_9 -COL00042_bit_8 -COL00042_bit_7 -COL00042_bit_6 -COL00042_bit_5 -COL00042_bit_4 -COL00042_bit_3 -COL00042_bit_2 -COL00042_bit_1 -COL00042_bit0 -COL00042_bit1 -COL00042_bit2 -COL00042_bit3 -COL00042_bit4 -COL00042_bit5 -COL00042_bit6 -COL00042_bit7 -COL00042_bit8 -COL00042_bit9 -COL00042_bit10 -COL00042_bit11 -COL00042_bit12 -COL00042_bit13 -COL00042_bit14 -COL00042_bit15 -COL00042_bit16 -COL00042_bit17 -COL00042_bit18 -COL00042_bit19 -COL00043_bit_10 -COL00043_bit_9 -COL00043_bit_8 -COL00043_bit_7 -COL00043_bit_6 -COL00043_bit_5 -COL00043_bit_4 -COL00043_bit_3 -COL00043_bit_2 -COL00043_bit_1 -COL00043_bit0 -COL00043_bit1 -COL00043_bit2 -COL00043_bit3 -COL00043_bit4 COL00043_bit5 -COL00043_bit6 -COL00043_bit7 -COL00043_bit8 -COL00043_bit9 -COL00043_bit10 -COL00043_bit11 -COL00043_bit12 -COL00043_bit13 -COL00043_bit14 -COL00043_bit15 -COL00043_bit16 -COL00043_bit17 -COL00043_bit18 -COL00043_bit19 -COL00044_bit_10 -COL00044_bit_9 -COL00044_bit_8 -COL00044_bit_7 -COL00044_bit_6 -COL00044_bit_5 -COL00044_bit_4 -COL00044_bit_3 -COL00044_bit_2 -COL00044_bit_1 -COL00044_bit0 -COL00044_bit1 -COL00044_bit2 -COL00044_bit3 -COL00044_bit4 -COL00044_bit5 COL00044_bit6 -COL00044_bit7 -COL00044_bit8 -COL00044_bit9 -COL00044_bit10 -COL00044_bit11 -COL00044_bit12 -COL00044_bit13 -COL00044_bit14 -COL00044_bit15 -COL00044_bit16 -COL00044_bit17 -COL00044_bit18 -COL00044_bit19 -COL00045_bit_10 -COL00045_bit_9 -COL00045_bit_8 -COL00045_bit_7 -COL00045_bit_6 -COL00045_bit_5 -COL00045_bit_4 -COL00045_bit_3 -COL00045_bit_2 -COL00045_bit_1 -COL00045_bit0 -COL00045_bit1 -COL00045_bit2 -COL00045_bit3 -COL00045_bit4 -COL00045_bit5 COL00045_bit6 -COL00045_bit7 -COL00045_bit8 -COL00045_bit9 -COL00045_bit10 -COL00045_bit11 -COL00045_bit12 -COL00045_bit13 -COL00045_bit14 -COL00045_bit15 -COL00045_bit16 -COL00045_bit17 -COL00045_bit18 -COL00045_bit19 COL00046_bit_10 -COL00046_bit_9 -COL00046_bit_8 -COL00046_bit_7 -COL00046_bit_6 COL00046_bit_5 COL00046_bit_4 COL00046_bit_3 -COL00046_bit_2 COL00046_bit_1 COL00046_bit0 -COL00046_bit1 COL00046_bit2 -COL00046_bit3 -COL00046_bit4 -COL00046_bit5 -COL00046_bit6 -COL00046_bit7 -COL00046_bit8 -COL00046_bit9 -COL00046_bit10 -COL00046_bit11 -COL00046_bit12 -COL00046_bit13 -COL00046_bit14 -COL00046_bit15 -COL00046_bit16 -COL00046_bit17 -COL00046_bit18 -COL00046_bit19 -COL00047_bit_10 -COL00047_bit_9 -COL00047_bit_8 -COL00047_bit_7 -COL00047_bit_6 -COL00047_bit_5 -COL00047_bit_4 -COL00047_bit_3 -COL00047_bit_2 -COL00047_bit_1 -COL00047_bit0 -COL00047_bit1 -COL00047_bit2 -COL00047_bit3 COL00047_bit4 -COL00047_bit5 -COL00047_bit6 -COL00047_bit7 -COL00047_bit8 -COL00047_bit9 -COL00047_bit10 -COL00047_bit11 -COL00047_bit12 -COL00047_bit13 -COL00047_bit14 -COL00047_bit15 -COL00047_bit16 -COL00047_bit17 -COL00047_bit18 -COL00047_bit19 COL00048_bit_10 -COL00048_bit_9 -COL00048_bit_8 -COL00048_bit_7 COL00048_bit_6 COL00048_bit_5 -COL00048_bit_4 -COL00048_bit_3 COL00048_bit_2 -COL00048_bit_1 -COL00048_bit0 COL00048_bit1 COL00048_bit2 COL00048_bit3 -COL00048_bit4 -COL00048_bit5 -COL00048_bit6 -COL00048_bit7 -COL00048_bit8 -COL00048_bit9 -COL00048_bit10 -COL00048_bit11 -COL00048_bit12 -COL00048_bit13 -COL00048_bit14 -COL00048_bit15 -COL00048_bit16 -COL00048_bit17 -COL00048_bit18 -COL00048_bit19 
c objective function=-10000
c Total CPU time (ms) : 1248.964

Watcher Data

Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing Stack size limit: 67108864 bytes
Enforcing memory limit (will send SIGTERM then SIGKILL): 921600 Kb
Enforcing VSIZE limit: 994918400 bytes
Current StackSize limit: 67108864 bytes
Raw data (/proc/14876/stat): 14876 (java) R 14875 14876 824 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1787361117 159744 3 4294967295 134512640 134569956 3221224464 3221224464 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14876/statm): 39 3 38 16 0 23 0
[pid=14876] vsize: 156
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libpthread.so.0
open syscall for file tls/i686/libpthread.so.0
open syscall for file tls/mmx/libpthread.so.0
open syscall for file tls/libpthread.so.0
open syscall for file i686/mmx/libpthread.so.0
open syscall for file i686/libpthread.so.0
open syscall for file mmx/libpthread.so.0
open syscall for file libpthread.so.0
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/lib/tls/i686/libpthread.so.0
open syscall for file /oldhome/oroussel/lib/tls/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/lib/tls/libpthread.so.0
open syscall for file /oldhome/oroussel/lib/i686/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/lib/i686/libpthread.so.0
open syscall for file /oldhome/oroussel/lib/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/lib/libpthread.so.0
open syscall for file /etc/ld.so.cache
open syscall for file /lib/tls/libpthread.so.0
open syscall for file tls/i686/mmx/libdl.so.2
open syscall for file tls/i686/libdl.so.2
open syscall for file tls/mmx/libdl.so.2
open syscall for file tls/libdl.so.2
open syscall for file i686/mmx/libdl.so.2
open syscall for file i686/libdl.so.2
open syscall for file mmx/libdl.so.2
open syscall for file libdl.so.2
open syscall for file /oldhome/oroussel/lib/libdl.so.2
open syscall for file /lib/libdl.so.2
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /oldhome/oroussel/solvers/sat4jPseudoTer.jar
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/jvm.cfg
execve syscall for /oldhome/oroussel/jre1.5.0_05/bin/java executable
open syscall for file /etc/ld.so.preload
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/tls/i686/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/tls/i686/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/tls/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/tls/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/i686/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/i686/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/tls/i686/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/tls/i686/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/tls/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/tls/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/i686/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/i686/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/../lib/i386/tls/i686/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/../lib/i386/tls/i686/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/../lib/i386/tls/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/../lib/i386/tls/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/../lib/i386/i686/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/../lib/i386/i686/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/../lib/i386/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/../lib/i386/libpthread.so.0
open syscall for file tls/i686/mmx/libpthread.so.0
open syscall for file tls/i686/libpthread.so.0
open syscall for file tls/mmx/libpthread.so.0
open syscall for file tls/libpthread.so.0
open syscall for file i686/mmx/libpthread.so.0
open syscall for file i686/libpthread.so.0
open syscall for file mmx/libpthread.so.0
open syscall for file libpthread.so.0
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/lib/tls/i686/libpthread.so.0
open syscall for file /oldhome/oroussel/lib/tls/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/lib/tls/libpthread.so.0
open syscall for file /oldhome/oroussel/lib/i686/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/lib/i686/libpthread.so.0
open syscall for file /oldhome/oroussel/lib/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/lib/libpthread.so.0
open syscall for file /etc/ld.so.cache
open syscall for file /lib/tls/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/libdl.so.2
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/libdl.so.2
open syscall for file tls/i686/mmx/libdl.so.2
open syscall for file tls/i686/libdl.so.2
open syscall for file tls/mmx/libdl.so.2
open syscall for file tls/libdl.so.2
open syscall for file i686/mmx/libdl.so.2
open syscall for file i686/libdl.so.2
open syscall for file mmx/libdl.so.2
open syscall for file libdl.so.2
open syscall for file /oldhome/oroussel/lib/libdl.so.2
open syscall for file /lib/libdl.so.2
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/libc.so.6
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/libc.so.6
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /oldhome/oroussel/solvers/sat4jPseudoTer.jar
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/jvm.cfg
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/libjvm.so
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/libm.so.6
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/libm.so.6
open syscall for file tls/i686/mmx/libm.so.6
open syscall for file tls/i686/libm.so.6
open syscall for file tls/mmx/libm.so.6
open syscall for file tls/libm.so.6
open syscall for file i686/mmx/libm.so.6
open syscall for file i686/libm.so.6
open syscall for file mmx/libm.so.6
open syscall for file libm.so.6
open syscall for file /oldhome/oroussel/lib/libm.so.6
open syscall for file /etc/ld.so.cache
open syscall for file /lib/tls/libm.so.6
open syscall for file /etc/mtab
open syscall for file /proc/stat
open syscall for file /etc/mtab
open syscall for file /proc/meminfo
open syscall for file .hotspotrc
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/endorsed
open syscall for file /etc/mtab
open syscall for file /proc/stat
open syscall for file /proc/self/maps
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/native_threads/libhpi.so
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/libnsl.so.1
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/libnsl.so.1
open syscall for file tls/i686/mmx/libnsl.so.1
open syscall for file tls/i686/libnsl.so.1
open syscall for file tls/mmx/libnsl.so.1
open syscall for file tls/libnsl.so.1
open syscall for file i686/mmx/libnsl.so.1
open syscall for file i686/libnsl.so.1
open syscall for file mmx/libnsl.so.1
open syscall for file libnsl.so.1
open syscall for file /oldhome/oroussel/lib/libnsl.so.1
open syscall for file /etc/ld.so.cache
open syscall for file /lib/libnsl.so.1
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=4
socket syscall connect(4,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /tmp/hsperfdata_oroussel
open syscall for file /tmp/hsperfdata_oroussel/14876
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/libverify.so
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/libjava.so
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/libzip.so
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/rt.jar
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/jsse.jar
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/jce.jar
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/charsets.jar
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/classes.jsa
open syscall for file .hotspot_compiler
New thread pid=14877
New thread pid=14878
New thread pid=14879
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=4
socket syscall connect(4,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /etc/localtime
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/ext
New thread pid=14880
New thread pid=14881
New thread pid=14882
New thread pid=14883
New thread pid=14884
New thread pid=14885
open syscall for file /oldhome/oroussel/solvers/sat4jPseudoTer.jar
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/ext/sunjce_provider.jar
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/ext/sunpkcs11.jar
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/ext/dnsns.jar
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/ext/localedata.jar
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/security/java.security
open syscall for file /dev/random
open syscall for file /dev/urandom
open syscall for file /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-20-10-sc50b.opb
New thread pid=14886
One traced child (pid=14886) exited with status: 0
New thread pid=14887

[startup+10.0021 s]
Raw data (loadavg): 1.08 1.03 1.00 2/66 14887
Raw data (/proc/14876/stat): 14876 (java) R 14875 14876 824 0 -1 0 18189 3 1 0 689 52 0 0 22 0 11 0 1787361117 859705344 20411 4294967295 134512640 134569956 3221224336 3221214464 1131425383 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14876/statm): 209889 20411 13129 16 0 209873 0
[pid=14876] vsize: 839556
Current children cumulated CPU time (s) 7.41
Current children cumulated vsize (Kb) 839556

[startup+20.0029 s]
Raw data (loadavg): 1.14 1.04 1.01 2/66 14887
Raw data (/proc/14876/stat): 14876 (java) R 14875 14876 824 0 -1 0 18201 3 1 0 1630 52 0 0 19 0 11 0 1787361117 859537408 21097 4294967295 134512640 134569956 3221224336 3221214640 1131338012 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14876/statm): 209848 21097 13129 16 0 209832 0
[pid=14876] vsize: 839392
Current children cumulated CPU time (s) 16.82
Current children cumulated vsize (Kb) 839392

[startup+30.0036 s]
Raw data (loadavg): 1.12 1.04 1.01 2/66 14887
Raw data (/proc/14876/stat): 14876 (java) R 14875 14876 824 0 -1 0 18208 3 1 0 2573 53 0 0 25 0 11 0 1787361117 859537408 21658 4294967295 134512640 134569956 3221224336 3221214576 1131490450 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14876/statm): 209848 21658 13129 16 0 209832 0
[pid=14876] vsize: 839392
Current children cumulated CPU time (s) 26.26
Current children cumulated vsize (Kb) 839392

[startup+40.0044 s]
Raw data (loadavg): 1.10 1.04 1.01 2/66 14887
Raw data (/proc/14876/stat): 14876 (java) R 14875 14876 824 0 -1 0 18215 3 1 0 3519 53 0 0 25 0 11 0 1787361117 859537408 21980 4294967295 134512640 134569956 3221224336 3221214228 1131367112 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14876/statm): 209848 21980 13129 16 0 209832 0
[pid=14876] vsize: 839392
Current children cumulated CPU time (s) 35.72
Current children cumulated vsize (Kb) 839392

[startup+50.0061 s]
Raw data (loadavg): 1.08 1.04 1.01 2/66 14887
Raw data (/proc/14876/stat): 14876 (java) R 14875 14876 824 0 -1 0 18223 3 1 0 4459 53 0 0 25 0 11 0 1787361117 859537408 22158 4294967295 134512640 134569956 3221224336 3221214504 1131420991 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14876/statm): 209848 22158 13129 16 0 209832 0
[pid=14876] vsize: 839392
Current children cumulated CPU time (s) 45.12
Current children cumulated vsize (Kb) 839392

[startup+60.0058 s]
Raw data (loadavg): 1.07 1.04 1.01 2/66 14887
Raw data (/proc/14876/stat): 14876 (java) R 14875 14876 824 0 -1 0 18229 3 1 0 5396 54 0 0 22 0 11 0 1787361117 859537408 22522 4294967295 134512640 134569956 3221224336 3221213672 1131388095 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14876/statm): 209848 22522 13129 16 0 209832 0
[pid=14876] vsize: 839392
Current children cumulated CPU time (s) 54.5
Current children cumulated vsize (Kb) 839392

[startup+70.0066 s]
Raw data (loadavg): 1.06 1.03 1.00 2/66 14887
Raw data (/proc/14876/stat): 14876 (java) R 14875 14876 824 0 -1 0 18235 3 1 0 6336 54 0 0 25 0 11 0 1787361117 859537408 22699 4294967295 134512640 134569956 3221224336 3221214648 1131453126 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14876/statm): 209848 22699 13129 16 0 209832 0
[pid=14876] vsize: 839392
Current children cumulated CPU time (s) 63.9
Current children cumulated vsize (Kb) 839392

[startup+80.0073 s]
Raw data (loadavg): 1.05 1.03 1.00 2/66 14887
Raw data (/proc/14876/stat): 14876 (java) R 14875 14876 824 0 -1 0 18243 3 1 0 7273 54 0 0 25 0 11 0 1787361117 859537408 22923 4294967295 134512640 134569956 3221224336 3221214648 1131453033 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14876/statm): 209848 22923 13129 16 0 209832 0
[pid=14876] vsize: 839392
Current children cumulated CPU time (s) 73.27
Current children cumulated vsize (Kb) 839392

[startup+90.0081 s]
Raw data (loadavg): 1.04 1.03 1.00 2/66 14887
Raw data (/proc/14876/stat): 14876 (java) R 14875 14876 824 0 -1 0 18250 3 1 0 8211 54 0 0 19 0 11 0 1787361117 859537408 23130 4294967295 134512640 134569956 3221224336 3221214560 1131435719 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14876/statm): 209848 23130 13129 16 0 209832 0
[pid=14876] vsize: 839392
Current children cumulated CPU time (s) 82.65
Current children cumulated vsize (Kb) 839392

[startup+100.008 s]
Raw data (loadavg): 1.04 1.03 1.00 2/66 14887
Raw data (/proc/14876/stat): 14876 (java) R 14875 14876 824 0 -1 0 18256 3 1 0 9149 55 0 0 16 0 11 0 1787361117 859537408 23319 4294967295 134512640 134569956 3221224336 3221214000 1085806738 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14876/statm): 209848 23319 13129 16 0 209832 0
[pid=14876] vsize: 839392
Current children cumulated CPU time (s) 92.04
Current children cumulated vsize (Kb) 839392

[startup+110.009 s]
Raw data (loadavg): 1.03 1.03 1.00 2/66 14887
Raw data (/proc/14876/stat): 14876 (java) R 14875 14876 824 0 -1 0 18261 3 1 0 10096 55 0 0 25 0 11 0 1787361117 859537408 23512 4294967295 134512640 134569956 3221224336 3221214564 1131299984 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14876/statm): 209848 23512 13129 16 0 209832 0
[pid=14876] vsize: 839392
Current children cumulated CPU time (s) 101.51
Current children cumulated vsize (Kb) 839392

[startup+120.01 s]
Raw data (loadavg): 1.02 1.03 1.00 2/66 14887
Raw data (/proc/14876/stat): 14876 (java) R 14875 14876 824 0 -1 0 18266 3 1 0 11044 55 0 0 25 0 11 0 1787361117 859537408 23686 4294967295 134512640 134569956 3221224336 3221214648 1131453826 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14876/statm): 209848 23686 13129 16 0 209832 0
[pid=14876] vsize: 839392
Current children cumulated CPU time (s) 110.99
Current children cumulated vsize (Kb) 839392

[startup+130.01 s]
Raw data (loadavg): 1.02 1.03 1.00 2/66 14887
Raw data (/proc/14876/stat): 14876 (java) R 14875 14876 824 0 -1 0 18272 3 1 0 11981 55 0 0 17 0 11 0 1787361117 859537408 23896 4294967295 134512640 134569956 3221224336 3221214552 1131428151 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14876/statm): 209848 23896 13129 16 0 209832 0
[pid=14876] vsize: 839392
Current children cumulated CPU time (s) 120.36
Current children cumulated vsize (Kb) 839392

[startup+140.012 s]
Raw data (loadavg): 1.02 1.02 1.00 2/66 14887
Raw data (/proc/14876/stat): 14876 (java) R 14875 14876 824 0 -1 0 18277 3 1 0 12929 56 0 0 25 0 11 0 1787361117 859537408 24078 4294967295 134512640 134569956 3221224336 3221214560 1131435515 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14876/statm): 209848 24078 13129 16 0 209832 0
[pid=14876] vsize: 839392
Current children cumulated CPU time (s) 129.85
Current children cumulated vsize (Kb) 839392

[startup+150.013 s]
Raw data (loadavg): 1.01 1.02 1.00 2/66 14887
Raw data (/proc/14876/stat): 14876 (java) R 14875 14876 824 0 -1 0 18284 3 1 0 13867 56 0 0 25 0 11 0 1787361117 859537408 24176 4294967295 134512640 134569956 3221224336 3221214604 1131399459 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14876/statm): 209848 24176 13129 16 0 209832 0
[pid=14876] vsize: 839392
Current children cumulated CPU time (s) 139.23
Current children cumulated vsize (Kb) 839392

[startup+160.012 s]
Raw data (loadavg): 1.01 1.02 1.00 2/66 14887
Raw data (/proc/14876/stat): 14876 (java) R 14875 14876 824 0 -1 0 18290 3 1 0 14806 56 0 0 25 0 11 0 1787361117 859537408 24306 4294967295 134512640 134569956 3221224336 3221214376 1085806289 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14876/statm): 209848 24306 13129 16 0 209832 0
[pid=14876] vsize: 839392
Current children cumulated CPU time (s) 148.62
Current children cumulated vsize (Kb) 839392

[startup+170.013 s]
Raw data (loadavg): 1.01 1.02 1.00 2/66 14887
Raw data (/proc/14876/stat): 14876 (java) R 14875 14876 824 0 -1 0 18295 3 1 0 15754 57 0 0 25 0 11 0 1787361117 859537408 24482 4294967295 134512640 134569956 3221224336 3221214584 1131399527 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14876/statm): 209848 24482 13129 16 0 209832 0
[pid=14876] vsize: 839392
Current children cumulated CPU time (s) 158.11
Current children cumulated vsize (Kb) 839392

[startup+180.014 s]
Raw data (loadavg): 1.01 1.02 1.00 2/66 14887
Raw data (/proc/14876/stat): 14876 (java) R 14875 14876 824 0 -1 0 18301 3 1 0 16697 57 0 0 25 0 11 0 1787361117 859537408 24709 4294967295 134512640 134569956 3221224336 3221214464 1131658436 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14876/statm): 209848 24709 13129 16 0 209832 0
[pid=14876] vsize: 839392
Current children cumulated CPU time (s) 167.54
Current children cumulated vsize (Kb) 839392

[startup+190.014 s]
Raw data (loadavg): 1.01 1.02 1.00 2/66 14887
Raw data (/proc/14876/stat): 14876 (java) R 14875 14876 824 0 -1 0 18308 3 1 0 17640 57 0 0 16 0 11 0 1787361117 859537408 24938 4294967295 134512640 134569956 3221224336 3221214560 1131435734 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14876/statm): 209848 24938 13129 16 0 209832 0
[pid=14876] vsize: 839392
Current children cumulated CPU time (s) 176.97
Current children cumulated vsize (Kb) 839392

[startup+200.015 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 14887
Raw data (/proc/14876/stat): 14876 (java) R 14875 14876 824 0 -1 0 18314 3 1 0 18597 58 0 0 25 0 11 0 1787361117 859537408 25061 4294967295 134512640 134569956 3221224336 3221214080 1131658582 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14876/statm): 209848 25061 13129 16 0 209832 0
[pid=14876] vsize: 839392
Current children cumulated CPU time (s) 186.55
Current children cumulated vsize (Kb) 839392

[startup+210.016 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 14887
Raw data (/proc/14876/stat): 14876 (java) R 14875 14876 824 0 -1 0 18321 3 1 0 19550 58 0 0 19 0 11 0 1787361117 859537408 25220 4294967295 134512640 134569956 3221224336 3221214604 1131490345 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14876/statm): 209848 25220 13129 16 0 209832 0
[pid=14876] vsize: 839392
Current children cumulated CPU time (s) 196.08
Current children cumulated vsize (Kb) 839392

[startup+220.017 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 14887
Raw data (/proc/14876/stat): 14876 (java) R 14875 14876 824 0 -1 0 18328 3 1 0 20508 59 0 0 25 0 11 0 1787361117 859537408 25381 4294967295 134512640 134569956 3221224336 3221214608 1131488080 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14876/statm): 209848 25381 13129 16 0 209832 0
[pid=14876] vsize: 839392
Current children cumulated CPU time (s) 205.67
Current children cumulated vsize (Kb) 839392

[startup+230.017 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 14887
Raw data (/proc/14876/stat): 14876 (java) R 14875 14876 824 0 -1 0 18335 3 1 0 21472 59 0 0 24 0 11 0 1787361117 859537408 25501 4294967295 134512640 134569956 3221224336 3221214080 1131658481 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14876/statm): 209848 25501 13129 16 0 209832 0
[pid=14876] vsize: 839392
Current children cumulated CPU time (s) 215.31
Current children cumulated vsize (Kb) 839392

[startup+240.019 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 14887
Raw data (/proc/14876/stat): 14876 (java) R 14875 14876 824 0 -1 0 18341 3 1 0 22441 59 0 0 25 0 11 0 1787361117 859537408 25583 4294967295 134512640 134569956 3221224336 3221214640 1131338044 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14876/statm): 209848 25583 13129 16 0 209832 0
[pid=14876] vsize: 839392
Current children cumulated CPU time (s) 225
Current children cumulated vsize (Kb) 839392

[startup+250.02 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 14887
Raw data (/proc/14876/stat): 14876 (java) R 14875 14876 824 0 -1 0 18348 3 1 0 23407 59 0 0 18 0 11 0 1787361117 859537408 25680 4294967295 134512640 134569956 3221224336 3221214728 1131519715 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14876/statm): 209848 25680 13129 16 0 209832 0
[pid=14876] vsize: 839392
Current children cumulated CPU time (s) 234.66
Current children cumulated vsize (Kb) 839392

[startup+260.021 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 14887
Raw data (/proc/14876/stat): 14876 (java) R 14875 14876 824 0 -1 0 18354 3 1 0 24377 59 0 0 25 0 11 0 1787361117 859537408 25745 4294967295 134512640 134569956 3221224336 3221214648 1131450783 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14876/statm): 209848 25745 13129 16 0 209832 0
[pid=14876] vsize: 839392
Current children cumulated CPU time (s) 244.36
Current children cumulated vsize (Kb) 839392

[startup+270.021 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 14887
Raw data (/proc/14876/stat): 14876 (java) R 14875 14876 824 0 -1 0 18361 3 1 0 25341 60 0 0 25 0 11 0 1787361117 859537408 25819 4294967295 134512640 134569956 3221224336 3221214504 1131421255 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14876/statm): 209848 25819 13129 16 0 209832 0
[pid=14876] vsize: 839392
Current children cumulated CPU time (s) 254.01
Current children cumulated vsize (Kb) 839392

[startup+280.022 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 14887
Raw data (/proc/14876/stat): 14876 (java) R 14875 14876 824 0 -1 0 18369 3 1 0 26305 60 0 0 25 0 11 0 1787361117 859537408 25892 4294967295 134512640 134569956 3221224336 3221214568 1131490438 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14876/statm): 209848 25892 13129 16 0 209832 0
[pid=14876] vsize: 839392
Current children cumulated CPU time (s) 263.65
Current children cumulated vsize (Kb) 839392

[startup+290.024 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 14887
Raw data (/proc/14876/stat): 14876 (java) R 14875 14876 824 0 -1 0 18375 3 1 0 27275 61 0 0 25 0 11 0 1787361117 859537408 25967 4294967295 134512640 134569956 3221224336 3221214544 1131692068 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14876/statm): 209848 25967 13129 16 0 209832 0
[pid=14876] vsize: 839392
Current children cumulated CPU time (s) 273.36
Current children cumulated vsize (Kb) 839392

[startup+300.025 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 14887
Raw data (/proc/14876/stat): 14876 (java) R 14875 14876 824 0 -1 0 18382 3 1 0 28240 61 0 0 25 0 11 0 1787361117 859537408 26062 4294967295 134512640 134569956 3221224336 3221214536 1131436226 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14876/statm): 209848 26062 13129 16 0 209832 0
[pid=14876] vsize: 839392
Current children cumulated CPU time (s) 283.01
Current children cumulated vsize (Kb) 839392

[startup+310.025 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 14887
Raw data (/proc/14876/stat): 14876 (java) R 14875 14876 824 0 -1 0 18388 3 1 0 29209 62 0 0 25 0 11 0 1787361117 859537408 26146 4294967295 134512640 134569956 3221224336 3221214520 1131421094 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14876/statm): 209848 26146 13129 16 0 209832 0
[pid=14876] vsize: 839392
Current children cumulated CPU time (s) 292.71
Current children cumulated vsize (Kb) 839392

[startup+320.026 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 14887
Raw data (/proc/14876/stat): 14876 (java) R 14875 14876 824 0 -1 0 18394 3 1 0 30176 62 0 0 25 0 11 0 1787361117 859537408 26205 4294967295 134512640 134569956 3221224336 3221214292 1080338864 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14876/statm): 209848 26205 13129 16 0 209832 0
[pid=14876] vsize: 839392
Current children cumulated CPU time (s) 302.38
Current children cumulated vsize (Kb) 839392

[startup+330.027 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 14887
Raw data (/proc/14876/stat): 14876 (java) R 14875 14876 824 0 -1 0 18400 3 1 0 31143 62 0 0 25 0 11 0 1787361117 859537408 26278 4294967295 134512640 134569956 3221224336 3221214616 1131338005 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14876/statm): 209848 26278 13129 16 0 209832 0
[pid=14876] vsize: 839392
Current children cumulated CPU time (s) 312.05
Current children cumulated vsize (Kb) 839392

[startup+340.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 14887
Raw data (/proc/14876/stat): 14876 (java) R 14875 14876 824 0 -1 0 18406 3 1 0 32107 62 0 0 25 0 11 0 1787361117 859537408 26339 4294967295 134512640 134569956 3221224336 3221214496 1131422108 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14876/statm): 209848 26339 13129 16 0 209832 0
[pid=14876] vsize: 839392
Current children cumulated CPU time (s) 321.69
Current children cumulated vsize (Kb) 839392

[startup+350.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 14887
Raw data (/proc/14876/stat): 14876 (java) R 14875 14876 824 0 -1 0 18412 3 1 0 33068 63 0 0 25 0 11 0 1787361117 859537408 26411 4294967295 134512640 134569956 3221224336 3221214720 1131519333 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14876/statm): 209848 26411 13129 16 0 209832 0
[pid=14876] vsize: 839392
Current children cumulated CPU time (s) 331.31
Current children cumulated vsize (Kb) 839392

[startup+360.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 14887
Raw data (/proc/14876/stat): 14876 (java) R 14875 14876 824 0 -1 0 18419 3 1 0 34023 63 0 0 25 0 11 0 1787361117 859537408 26523 4294967295 134512640 134569956 3221224336 3221214584 1131516970 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14876/statm): 209848 26523 13129 16 0 209832 0
[pid=14876] vsize: 839392
Current children cumulated CPU time (s) 340.86
Current children cumulated vsize (Kb) 839392

[startup+370.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 14887
Raw data (/proc/14876/stat): 14876 (java) S 14875 14876 824 0 -1 0 18425 3 1 0 34990 63 0 0 25 0 11 0 1787361117 859537408 26596 4294967295 134512640 134569956 3221224336 3221213264 1073952481 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14876/statm): 209848 26596 13129 16 0 209832 0
[pid=14876] vsize: 839392
Current children cumulated CPU time (s) 350.53
Current children cumulated vsize (Kb) 839392

[startup+380.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 14887
Raw data (/proc/14876/stat): 14876 (java) R 14875 14876 824 0 -1 0 18431 3 1 0 35946 64 0 0 25 0 11 0 1787361117 859537408 26688 4294967295 134512640 134569956 3221224336 3221213936 1085806297 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14876/statm): 209848 26688 13129 16 0 209832 0
[pid=14876] vsize: 839392
Current children cumulated CPU time (s) 360.1
Current children cumulated vsize (Kb) 839392

[startup+390.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 14887
Raw data (/proc/14876/stat): 14876 (java) R 14875 14876 824 0 -1 0 18437 3 1 0 36909 64 0 0 25 0 11 0 1787361117 859537408 26842 4294967295 134512640 134569956 3221224336 3221214624 1131451064 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14876/statm): 209848 26842 13129 16 0 209832 0
[pid=14876] vsize: 839392
Current children cumulated CPU time (s) 369.73
Current children cumulated vsize (Kb) 839392

[startup+400.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 14887
Raw data (/proc/14876/stat): 14876 (java) R 14875 14876 824 0 -1 0 18443 3 1 0 37875 65 0 0 17 0 11 0 1787361117 859537408 26926 4294967295 134512640 134569956 3221224336 3221214536 1131352440 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14876/statm): 209848 26926 13129 16 0 209832 0
[pid=14876] vsize: 839392
Current children cumulated CPU time (s) 379.4
Current children cumulated vsize (Kb) 839392

[startup+410.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 14887
Raw data (/proc/14876/stat): 14876 (java) R 14875 14876 824 0 -1 0 18449 3 1 0 38839 65 0 0 25 0 11 0 1787361117 859537408 26989 4294967295 134512640 134569956 3221224336 3221214624 1131452408 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14876/statm): 209848 26989 13129 16 0 209832 0
[pid=14876] vsize: 839392
Current children cumulated CPU time (s) 389.04
Current children cumulated vsize (Kb) 839392

[startup+420.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 14887
Raw data (/proc/14876/stat): 14876 (java) R 14875 14876 824 0 -1 0 18454 3 1 0 39806 65 0 0 25 0 11 0 1787361117 859537408 27055 4294967295 134512640 134569956 3221224336 3221214496 1131421255 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14876/statm): 209848 27055 13129 16 0 209832 0
[pid=14876] vsize: 839392
Current children cumulated CPU time (s) 398.71
Current children cumulated vsize (Kb) 839392

[startup+430.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 14887
Raw data (/proc/14876/stat): 14876 (java) R 14875 14876 824 0 -1 0 18460 3 1 0 40765 66 0 0 25 0 11 0 1787361117 859537408 27143 4294967295 134512640 134569956 3221224336 3221213992 1085759263 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14876/statm): 209848 27143 13129 16 0 209832 0
[pid=14876] vsize: 839392
Current children cumulated CPU time (s) 408.31
Current children cumulated vsize (Kb) 839392

[startup+440.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 14887
Raw data (/proc/14876/stat): 14876 (java) R 14875 14876 824 0 -1 0 18466 3 1 0 41724 66 0 0 25 0 11 0 1787361117 859537408 27240 4294967295 134512640 134569956 3221224336 3221214624 1131453108 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14876/statm): 209848 27240 13129 16 0 209832 0
[pid=14876] vsize: 839392
Current children cumulated CPU time (s) 417.9
Current children cumulated vsize (Kb) 839392

[startup+450.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 14887
Raw data (/proc/14876/stat): 14876 (java) R 14875 14876 824 0 -1 0 18472 3 1 0 42685 67 0 0 25 0 11 0 1787361117 859537408 27316 4294967295 134512640 134569956 3221224336 3221214496 1131421126 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14876/statm): 209848 27316 13129 16 0 209832 0
[pid=14876] vsize: 839392
Current children cumulated CPU time (s) 427.52
Current children cumulated vsize (Kb) 839392

[startup+460.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 14887
Raw data (/proc/14876/stat): 14876 (java) R 14875 14876 824 0 -1 0 18478 3 1 0 43644 67 0 0 25 0 11 0 1787361117 859537408 27409 4294967295 134512640 134569956 3221224336 3221214528 1131428263 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14876/statm): 209848 27409 13129 16 0 209832 0
[pid=14876] vsize: 839392
Current children cumulated CPU time (s) 437.11
Current children cumulated vsize (Kb) 839392

[startup+470.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 14887
Raw data (/proc/14876/stat): 14876 (java) R 14875 14876 824 0 -1 0 18484 3 1 0 44605 68 0 0 23 0 11 0 1787361117 859537408 27563 4294967295 134512640 134569956 3221224336 3221214624 1131450946 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14876/statm): 209848 27563 13129 16 0 209832 0
[pid=14876] vsize: 839392
Current children cumulated CPU time (s) 446.73
Current children cumulated vsize (Kb) 839392

[startup+480.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 14887
Raw data (/proc/14876/stat): 14876 (java) S 14875 14876 824 0 -1 0 18490 3 1 0 45571 68 0 0 25 0 11 0 1787361117 859537408 27641 4294967295 134512640 134569956 3221224336 3221213136 1073952481 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14876/statm): 209848 27641 13129 16 0 209832 0
[pid=14876] vsize: 839392
Current children cumulated CPU time (s) 456.39
Current children cumulated vsize (Kb) 839392

[startup+490.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 14887
Raw data (/proc/14876/stat): 14876 (java) R 14875 14876 824 0 -1 0 18495 3 1 0 46538 68 0 0 25 0 11 0 1787361117 859537408 27722 4294967295 134512640 134569956 3221224336 3221214624 1131452892 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14876/statm): 209848 27722 13129 16 0 209832 0
[pid=14876] vsize: 839392
Current children cumulated CPU time (s) 466.06
Current children cumulated vsize (Kb) 839392

[startup+500.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 14887
Raw data (/proc/14876/stat): 14876 (java) R 14875 14876 824 0 -1 0 18501 3 1 0 47499 69 0 0 24 0 11 0 1787361117 859537408 27798 4294967295 134512640 134569956 3221224336 3221214616 1131338041 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14876/statm): 209848 27798 13129 16 0 209832 0
[pid=14876] vsize: 839392
Current children cumulated CPU time (s) 475.68
Current children cumulated vsize (Kb) 839392

[startup+510.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 14887
Raw data (/proc/14876/stat): 14876 (java) R 14875 14876 824 0 -1 0 18506 3 1 0 48466 69 0 0 25 0 11 0 1787361117 859537408 27864 4294967295 134512640 134569956 3221224336 3221214536 1131435809 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14876/statm): 209848 27864 13129 16 0 209832 0
[pid=14876] vsize: 839392
Current children cumulated CPU time (s) 485.35
Current children cumulated vsize (Kb) 839392

[startup+520.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 14887
Raw data (/proc/14876/stat): 14876 (java) R 14875 14876 824 0 -1 0 18512 3 1 0 49426 69 0 0 25 0 11 0 1787361117 859537408 27950 4294967295 134512640 134569956 3221224336 3221214568 1131421338 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14876/statm): 209848 27950 13129 16 0 209832 0
[pid=14876] vsize: 839392
Current children cumulated CPU time (s) 494.95
Current children cumulated vsize (Kb) 839392

[startup+530.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 14887
Raw data (/proc/14876/stat): 14876 (java) R 14875 14876 824 0 -1 0 18519 3 1 0 50384 70 0 0 24 0 11 0 1787361117 859537408 28042 4294967295 134512640 134569956 3221224336 3221214536 1131436857 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14876/statm): 209848 28042 13129 16 0 209832 0
[pid=14876] vsize: 839392
Current children cumulated CPU time (s) 504.54
Current children cumulated vsize (Kb) 839392

[startup+540.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 14887
Raw data (/proc/14876/stat): 14876 (java) R 14875 14876 824 0 -1 0 18524 3 1 0 51351 70 0 0 25 0 11 0 1787361117 859537408 28123 4294967295 134512640 134569956 3221224336 3221214112 1131650817 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14876/statm): 209848 28123 13129 16 0 209832 0
[pid=14876] vsize: 839392
Current children cumulated CPU time (s) 514.21
Current children cumulated vsize (Kb) 839392

[startup+550.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 14887
Raw data (/proc/14876/stat): 14876 (java) R 14875 14876 824 0 -1 0 18530 3 1 0 52312 70 0 0 25 0 11 0 1787361117 859537408 28216 4294967295 134512640 134569956 3221224336 3221214624 1131452892 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14876/statm): 209848 28216 13129 16 0 209832 0
[pid=14876] vsize: 839392
Current children cumulated CPU time (s) 523.82
Current children cumulated vsize (Kb) 839392

[startup+560.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 14887
Raw data (/proc/14876/stat): 14876 (java) R 14875 14876 824 0 -1 0 18535 3 1 0 53279 70 0 0 25 0 11 0 1787361117 859537408 28298 4294967295 134512640 134569956 3221224336 3221214568 1131489889 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14876/statm): 209848 28298 13129 16 0 209832 0
[pid=14876] vsize: 839392
Current children cumulated CPU time (s) 533.49
Current children cumulated vsize (Kb) 839392

[startup+570.048 s]
Raw data (loadavg): 1.16 1.03 1.01 2/66 14887
Raw data (/proc/14876/stat): 14876 (java) R 14875 14876 824 0 -1 0 18541 3 1 0 54239 71 0 0 18 0 11 0 1787361117 859537408 28391 4294967295 134512640 134569956 3221224336 3221214536 1131436779 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14876/statm): 209848 28391 13129 16 0 209832 0
[pid=14876] vsize: 839392
Current children cumulated CPU time (s) 543.1
Current children cumulated vsize (Kb) 839392

[startup+580.048 s]
Raw data (loadavg): 1.13 1.03 1.01 2/66 14887
Raw data (/proc/14876/stat): 14876 (java) R 14875 14876 824 0 -1 0 18546 3 1 0 55206 71 0 0 25 0 11 0 1787361117 859537408 28481 4294967295 134512640 134569956 3221224336 3221214576 1131399512 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14876/statm): 209848 28481 13129 16 0 209832 0
[pid=14876] vsize: 839392
Current children cumulated CPU time (s) 552.77
Current children cumulated vsize (Kb) 839392

[startup+590.05 s]
Raw data (loadavg): 1.11 1.03 1.01 2/66 14887
Raw data (/proc/14876/stat): 14876 (java) R 14875 14876 824 0 -1 0 18552 3 1 0 56168 71 0 0 25 0 11 0 1787361117 859537408 28575 4294967295 134512640 134569956 3221224336 3221214624 1131452843 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14876/statm): 209848 28575 13129 16 0 209832 0
[pid=14876] vsize: 839392
Current children cumulated CPU time (s) 562.39
Current children cumulated vsize (Kb) 839392

[startup+600.051 s]
Raw data (loadavg): 1.10 1.03 1.01 2/66 14887
Raw data (/proc/14876/stat): 14876 (java) R 14875 14876 824 0 -1 0 18558 3 1 0 57131 71 0 0 15 0 11 0 1787361117 859537408 28655 4294967295 134512640 134569956 3221224336 3221214576 1131489875 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14876/statm): 209848 28655 13129 16 0 209832 0
[pid=14876] vsize: 839392
Current children cumulated CPU time (s) 572.02
Current children cumulated vsize (Kb) 839392

[startup+610.052 s]
Raw data (loadavg): 1.08 1.03 1.01 2/66 14887
Raw data (/proc/14876/stat): 14876 (java) R 14875 14876 824 0 -1 0 18563 3 1 0 58099 72 0 0 25 0 11 0 1787361117 859537408 28723 4294967295 134512640 134569956 3221224336 3221214624 1131452800 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14876/statm): 209848 28723 13129 16 0 209832 0
[pid=14876] vsize: 839392
Current children cumulated CPU time (s) 581.71
Current children cumulated vsize (Kb) 839392

[startup+620.052 s]
Raw data (loadavg): 1.07 1.03 1.01 2/66 14887
Raw data (/proc/14876/stat): 14876 (java) R 14875 14876 824 0 -1 0 18568 3 1 0 59067 72 0 0 23 0 11 0 1787361117 859537408 28807 4294967295 134512640 134569956 3221224336 3221214616 1131338044 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14876/statm): 209848 28807 13129 16 0 209832 0
[pid=14876] vsize: 839392
Current children cumulated CPU time (s) 591.39
Current children cumulated vsize (Kb) 839392

[startup+630.053 s]
Raw data (loadavg): 1.06 1.03 1.00 2/66 14887
Raw data (/proc/14876/stat): 14876 (java) R 14875 14876 824 0 -1 0 18573 3 1 0 60035 72 0 0 25 0 11 0 1787361117 859537408 28877 4294967295 134512640 134569956 3221224336 3221214536 1131435517 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14876/statm): 209848 28877 13129 16 0 209832 0
[pid=14876] vsize: 839392
Current children cumulated CPU time (s) 601.07
Current children cumulated vsize (Kb) 839392

[startup+640.054 s]
Raw data (loadavg): 1.05 1.02 1.00 2/66 14887
Raw data (/proc/14876/stat): 14876 (java) R 14875 14876 824 0 -1 0 18579 3 1 0 60997 73 0 0 23 0 11 0 1787361117 859537408 28958 4294967295 134512640 134569956 3221224336 3221214072 1131656060 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14876/statm): 209848 28958 13129 16 0 209832 0
[pid=14876] vsize: 839392
Current children cumulated CPU time (s) 610.7
Current children cumulated vsize (Kb) 839392

[startup+650.055 s]
Raw data (loadavg): 1.04 1.02 1.00 2/66 14887
Raw data (/proc/14876/stat): 14876 (java) R 14875 14876 824 0 -1 0 18585 3 1 0 61958 73 0 0 25 0 11 0 1787361117 859537408 29036 4294967295 134512640 134569956 3221224336 3221214624 1131450968 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14876/statm): 209848 29036 13129 16 0 209832 0
[pid=14876] vsize: 839392
Current children cumulated CPU time (s) 620.31
Current children cumulated vsize (Kb) 839392

[startup+660.055 s]
Raw data (loadavg): 1.03 1.02 1.00 2/66 14887
Raw data (/proc/14876/stat): 14876 (java) R 14875 14876 824 0 -1 0 18589 3 1 0 62932 73 0 0 25 0 11 0 1787361117 859537408 29091 4294967295 134512640 134569956 3221224336 3221214544 1131692942 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14876/statm): 209848 29091 13129 16 0 209832 0
[pid=14876] vsize: 839392
Current children cumulated CPU time (s) 630.05
Current children cumulated vsize (Kb) 839392

[startup+670.056 s]
Raw data (loadavg): 1.03 1.02 1.00 2/66 14887
Raw data (/proc/14876/stat): 14876 (java) R 14875 14876 824 0 -1 0 18594 3 1 0 63898 73 0 0 25 0 11 0 1787361117 859537408 29176 4294967295 134512640 134569956 3221224336 3221214536 1131435570 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14876/statm): 209848 29176 13129 16 0 209832 0
[pid=14876] vsize: 839392
Current children cumulated CPU time (s) 639.71
Current children cumulated vsize (Kb) 839392

[startup+680.057 s]
Raw data (loadavg): 1.02 1.02 1.00 2/66 14887
Raw data (/proc/14876/stat): 14876 (java) R 14875 14876 824 0 -1 0 18598 3 1 0 64871 73 0 0 25 0 11 0 1787361117 859537408 29238 4294967295 134512640 134569956 3221224336 3221214536 1131436874 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14876/statm): 209848 29238 13129 16 0 209832 0
[pid=14876] vsize: 839392
Current children cumulated CPU time (s) 649.44
Current children cumulated vsize (Kb) 839392

[startup+690.058 s]
Raw data (loadavg): 1.02 1.02 1.00 2/66 14887
Raw data (/proc/14876/stat): 14876 (java) R 14875 14876 824 0 -1 0 18602 3 1 0 65842 74 0 0 25 0 11 0 1787361117 859537408 29291 4294967295 134512640 134569956 3221224336 3221214536 1131659221 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14876/statm): 209848 29291 13129 16 0 209832 0
[pid=14876] vsize: 839392
Current children cumulated CPU time (s) 659.16
Current children cumulated vsize (Kb) 839392

[startup+700.058 s]
Raw data (loadavg): 1.02 1.02 1.00 2/66 14887
Raw data (/proc/14876/stat): 14876 (java) R 14875 14876 824 0 -1 0 18607 3 1 0 66803 74 0 0 25 0 11 0 1787361117 859537408 29366 4294967295 134512640 134569956 3221224336 3221214536 1131659221 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14876/statm): 209848 29366 13129 16 0 209832 0
[pid=14876] vsize: 839392
Current children cumulated CPU time (s) 668.77
Current children cumulated vsize (Kb) 839392

[startup+710.059 s]
Raw data (loadavg): 1.01 1.02 1.00 2/66 14887
Raw data (/proc/14876/stat): 14876 (java) R 14875 14876 824 0 -1 0 18611 3 1 0 67770 74 0 0 25 0 11 0 1787361117 859537408 29418 4294967295 134512640 134569956 3221224336 3221214536 1131692220 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14876/statm): 209848 29418 13129 16 0 209832 0
[pid=14876] vsize: 839392
Current children cumulated CPU time (s) 678.44
Current children cumulated vsize (Kb) 839392

[startup+720.06 s]
Raw data (loadavg): 1.01 1.02 1.00 2/66 14887
Raw data (/proc/14876/stat): 14876 (java) R 14875 14876 824 0 -1 0 18615 3 1 0 68737 75 0 0 25 0 11 0 1787361117 859537408 29467 4294967295 134512640 134569956 3221224336 3221214536 1131352442 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14876/statm): 209848 29467 13129 16 0 209832 0
[pid=14876] vsize: 839392
Current children cumulated CPU time (s) 688.12
Current children cumulated vsize (Kb) 839392

[startup+730.059 s]
Raw data (loadavg): 1.01 1.02 1.00 2/66 14887
Raw data (/proc/14876/stat): 14876 (java) R 14875 14876 824 0 -1 0 18620 3 1 0 69693 75 0 0 24 0 11 0 1787361117 859537408 29559 4294967295 134512640 134569956 3221224336 3221214352 1131694428 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14876/statm): 209848 29559 13129 16 0 209832 0
[pid=14876] vsize: 839392
Current children cumulated CPU time (s) 697.68
Current children cumulated vsize (Kb) 839392

[startup+740.06 s]
Raw data (loadavg): 1.01 1.01 1.00 2/66 14887
Raw data (/proc/14876/stat): 14876 (java) R 14875 14876 824 0 -1 0 18624 3 1 0 70658 75 0 0 25 0 11 0 1787361117 859537408 29648 4294967295 134512640 134569956 3221224336 3221214716 1131487241 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14876/statm): 209848 29648 13129 16 0 209832 0
[pid=14876] vsize: 839392
Current children cumulated CPU time (s) 707.33
Current children cumulated vsize (Kb) 839392

[startup+750.061 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 14887
Raw data (/proc/14876/stat): 14876 (java) R 14875 14876 824 0 -1 0 18629 3 1 0 71614 76 0 0 24 0 11 0 1787361117 859537408 29749 4294967295 134512640 134569956 3221224336 3221214108 1131655808 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14876/statm): 209848 29749 13129 16 0 209832 0
[pid=14876] vsize: 839392
Current children cumulated CPU time (s) 716.9
Current children cumulated vsize (Kb) 839392

[startup+760.061 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 14887
Raw data (/proc/14876/stat): 14876 (java) R 14875 14876 824 0 -1 0 18633 3 1 0 72581 76 0 0 25 0 11 0 1787361117 859537408 29840 4294967295 134512640 134569956 3221224336 3221214544 1131692395 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14876/statm): 209848 29840 13129 16 0 209832 0
[pid=14876] vsize: 839392
Current children cumulated CPU time (s) 726.57
Current children cumulated vsize (Kb) 839392

[startup+770.062 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 14887
Raw data (/proc/14876/stat): 14876 (java) R 14875 14876 824 0 -1 0 18638 3 1 0 73539 76 0 0 25 0 11 0 1787361117 859537408 29949 4294967295 134512640 134569956 3221224336 3221214564 1131057182 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14876/statm): 209848 29949 13129 16 0 209832 0
[pid=14876] vsize: 839392
Current children cumulated CPU time (s) 736.15
Current children cumulated vsize (Kb) 839392

[startup+780.062 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 14887
Raw data (/proc/14876/stat): 14876 (java) R 14875 14876 824 0 -1 0 18642 3 1 0 74505 76 0 0 25 0 11 0 1787361117 859537408 30045 4294967295 134512640 134569956 3221224336 3221214068 1131659209 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14876/statm): 209848 30045 13129 16 0 209832 0
[pid=14876] vsize: 839392
Current children cumulated CPU time (s) 745.81
Current children cumulated vsize (Kb) 839392

[startup+790.063 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 14887
Raw data (/proc/14876/stat): 14876 (java) R 14875 14876 824 0 -1 0 18646 3 1 0 75473 76 0 0 25 0 11 0 1787361117 859537408 30121 4294967295 134512640 134569956 3221224336 3221214068 1131659200 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14876/statm): 209848 30121 13129 16 0 209832 0
[pid=14876] vsize: 839392
Current children cumulated CPU time (s) 755.49
Current children cumulated vsize (Kb) 839392

[startup+800.064 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 14887
Raw data (/proc/14876/stat): 14876 (java) S 14875 14876 824 0 -1 0 18651 3 1 0 76435 77 0 0 25 0 11 0 1787361117 859537408 30210 4294967295 134512640 134569956 3221224336 3221213264 1073952481 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14876/statm): 209848 30210 13129 16 0 209832 0
[pid=14876] vsize: 839392
Current children cumulated CPU time (s) 765.12
Current children cumulated vsize (Kb) 839392

[startup+810.063 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 14887
Raw data (/proc/14876/stat): 14876 (java) R 14875 14876 824 0 -1 0 18655 3 1 0 77396 77 0 0 25 0 11 0 1787361117 859537408 30306 4294967295 134512640 134569956 3221224336 3221214624 1131450783 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14876/statm): 209848 30306 13129 16 0 209832 0
[pid=14876] vsize: 839392
Current children cumulated CPU time (s) 774.73
Current children cumulated vsize (Kb) 839392

[startup+820.064 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 14887
Raw data (/proc/14876/stat): 14876 (java) R 14875 14876 824 0 -1 0 18659 3 1 0 78361 77 0 0 25 0 11 0 1787361117 859537408 30384 4294967295 134512640 134569956 3221224336 3221214624 1131450649 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14876/statm): 209848 30384 13129 16 0 209832 0
[pid=14876] vsize: 839392
Current children cumulated CPU time (s) 784.38
Current children cumulated vsize (Kb) 839392

[startup+830.065 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 14887
Raw data (/proc/14876/stat): 14876 (java) R 14875 14876 824 0 -1 0 18660 3 1 0 79352 77 0 0 25 0 11 0 1787361117 859537408 30397 4294967295 134512640 134569956 3221224336 3221214208 1131658489 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14876/statm): 209848 30397 13129 16 0 209832 0
[pid=14876] vsize: 839392
Current children cumulated CPU time (s) 794.29
Current children cumulated vsize (Kb) 839392

[startup+840.066 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 14887
Raw data (/proc/14876/stat): 14876 (java) R 14875 14876 824 0 -1 0 18661 3 1 0 80342 77 0 0 25 0 11 0 1787361117 859537408 30412 4294967295 134512640 134569956 3221224336 3221214544 1131694210 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14876/statm): 209848 30412 13129 16 0 209832 0
[pid=14876] vsize: 839392
Current children cumulated CPU time (s) 804.19
Current children cumulated vsize (Kb) 839392
One traced child (pid=14887) exited with status: 0
New thread pid=14888

[startup+850.066 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 14888
Raw data (/proc/14876/stat): 14876 (java) R 14875 14876 824 0 -1 0 18663 3 1 0 81333 78 0 0 16 0 11 0 1787361117 859537408 30437 4294967295 134512640 134569956 3221224336 3221214620 1131436674 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14876/statm): 209848 30437 13129 16 0 209832 0
[pid=14876] vsize: 839392
Current children cumulated CPU time (s) 814.11
Current children cumulated vsize (Kb) 839392

[startup+860.067 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 14888
Raw data (/proc/14876/stat): 14876 (java) R 14875 14876 824 0 -1 0 18667 3 1 0 82297 78 0 0 25 0 11 0 1787361117 859537408 30499 4294967295 134512640 134569956 3221224336 3221214152 1131692220 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14876/statm): 209848 30499 13129 16 0 209832 0
[pid=14876] vsize: 839392
Current children cumulated CPU time (s) 823.75
Current children cumulated vsize (Kb) 839392

[startup+870.068 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 14888
Raw data (/proc/14876/stat): 14876 (java) S 14875 14876 824 0 -1 0 18673 3 1 0 83255 78 0 0 25 0 11 0 1787361117 859537408 30595 4294967295 134512640 134569956 3221224336 3221213136 1073952481 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14876/statm): 209848 30595 13129 16 0 209832 0
[pid=14876] vsize: 839392
Current children cumulated CPU time (s) 833.33
Current children cumulated vsize (Kb) 839392

[startup+880.071 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 14888
Raw data (/proc/14876/stat): 14876 (java) R 14875 14876 824 0 -1 0 18677 3 1 0 84216 78 0 0 25 0 11 0 1787361117 859537408 30704 4294967295 134512640 134569956 3221224336 3221214624 1131450783 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14876/statm): 209848 30704 13129 16 0 209832 0
[pid=14876] vsize: 839392
Current children cumulated CPU time (s) 842.94
Current children cumulated vsize (Kb) 839392

[startup+890.072 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 14888
Raw data (/proc/14876/stat): 14876 (java) R 14875 14876 824 0 -1 0 18682 3 1 0 85179 78 0 0 25 0 11 0 1787361117 859537408 30789 4294967295 134512640 134569956 3221224336 3221214624 1131452892 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14876/statm): 209848 30789 13129 16 0 209832 0
[pid=14876] vsize: 839392
Current children cumulated CPU time (s) 852.57
Current children cumulated vsize (Kb) 839392

[startup+900.073 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 14888
Raw data (/proc/14876/stat): 14876 (java) R 14875 14876 824 0 -1 0 18687 3 1 0 86143 79 0 0 25 0 11 0 1787361117 859537408 30953 4294967295 134512640 134569956 3221224336 3221214624 1131452843 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14876/statm): 209848 30953 13129 16 0 209832 0
[pid=14876] vsize: 839392
Current children cumulated CPU time (s) 862.22
Current children cumulated vsize (Kb) 839392

[startup+910.073 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 14888
Raw data (/proc/14876/stat): 14876 (java) R 14875 14876 824 0 -1 0 18692 3 1 0 87111 79 0 0 25 0 11 0 1787361117 859537408 31054 4294967295 134512640 134569956 3221224336 3221214624 1131450783 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14876/statm): 209848 31054 13129 16 0 209832 0
[pid=14876] vsize: 839392
Current children cumulated CPU time (s) 871.9
Current children cumulated vsize (Kb) 839392

[startup+920.075 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 14888
Raw data (/proc/14876/stat): 14876 (java) R 14875 14876 824 0 -1 0 18697 3 1 0 88080 80 0 0 25 0 11 0 1787361117 859537408 31106 4294967295 134512640 134569956 3221224336 3221214624 1131450783 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14876/statm): 209848 31106 13129 16 0 209832 0
[pid=14876] vsize: 839392
Current children cumulated CPU time (s) 881.6
Current children cumulated vsize (Kb) 839392

[startup+930.074 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 14888
Raw data (/proc/14876/stat): 14876 (java) R 14875 14876 824 0 -1 0 18702 3 1 0 89049 80 0 0 25 0 11 0 1787361117 859537408 31165 4294967295 134512640 134569956 3221224336 3221214600 1131367128 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14876/statm): 209848 31165 13129 16 0 209832 0
[pid=14876] vsize: 839392
Current children cumulated CPU time (s) 891.29
Current children cumulated vsize (Kb) 839392

[startup+940.075 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 14888
Raw data (/proc/14876/stat): 14876 (java) R 14875 14876 824 0 -1 0 18707 3 1 0 90019 80 0 0 25 0 11 0 1787361117 859537408 31236 4294967295 134512640 134569956 3221224336 3221214068 1131659212 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14876/statm): 209848 31236 13129 16 0 209832 0
[pid=14876] vsize: 839392
Current children cumulated CPU time (s) 900.99
Current children cumulated vsize (Kb) 839392

[startup+950.076 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 14888
Raw data (/proc/14876/stat): 14876 (java) R 14875 14876 824 0 -1 0 18713 3 1 0 90980 81 0 0 25 0 11 0 1787361117 859537408 31289 4294967295 134512640 134569956 3221224336 3221214528 1131428208 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14876/statm): 209848 31289 13129 16 0 209832 0
[pid=14876] vsize: 839392
Current children cumulated CPU time (s) 910.61
Current children cumulated vsize (Kb) 839392

[startup+960.076 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 14888
Raw data (/proc/14876/stat): 14876 (java) R 14875 14876 824 0 -1 0 18718 3 1 0 91950 81 0 0 25 0 11 0 1787361117 859537408 31369 4294967295 134512640 134569956 3221224336 3221214528 1131428277 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14876/statm): 209848 31369 13129 16 0 209832 0
[pid=14876] vsize: 839392
Current children cumulated CPU time (s) 920.31
Current children cumulated vsize (Kb) 839392

[startup+970.076 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 14888
Raw data (/proc/14876/stat): 14876 (java) R 14875 14876 824 0 -1 0 18724 3 1 0 92916 81 0 0 25 0 11 0 1787361117 859537408 31427 4294967295 134512640 134569956 3221224336 3221214528 1131428171 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14876/statm): 209848 31427 13129 16 0 209832 0
[pid=14876] vsize: 839392
Current children cumulated CPU time (s) 929.97
Current children cumulated vsize (Kb) 839392

[startup+980.077 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 14888
Raw data (/proc/14876/stat): 14876 (java) R 14875 14876 824 0 -1 0 18730 3 1 0 93883 82 0 0 25 0 11 0 1787361117 859537408 31516 4294967295 134512640 134569956 3221224336 3221214536 1131435570 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14876/statm): 209848 31516 13129 16 0 209832 0
[pid=14876] vsize: 839392
Current children cumulated CPU time (s) 939.65
Current children cumulated vsize (Kb) 839392

[startup+990.081 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 14888
Raw data (/proc/14876/stat): 14876 (java) R 14875 14876 824 0 -1 0 18736 3 1 0 94853 82 0 0 25 0 11 0 1787361117 859537408 31597 4294967295 134512640 134569956 3221224336 3221214624 1131450999 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14876/statm): 209848 31597 13129 16 0 209832 0
[pid=14876] vsize: 839392
Current children cumulated CPU time (s) 949.35
Current children cumulated vsize (Kb) 839392

[startup+1000.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 14888
Raw data (/proc/14876/stat): 14876 (java) R 14875 14876 824 0 -1 0 18742 3 1 0 95825 83 0 0 25 0 11 0 1787361117 859537408 31658 4294967295 134512640 134569956 3221224336 3221214624 1131450946 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14876/statm): 209848 31658 13129 16 0 209832 0
[pid=14876] vsize: 839392
Current children cumulated CPU time (s) 959.08
Current children cumulated vsize (Kb) 839392

[startup+1010.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 14888
Raw data (/proc/14876/stat): 14876 (java) R 14875 14876 824 0 -1 0 18748 3 1 0 96798 83 0 0 25 0 11 0 1787361117 859537408 31720 4294967295 134512640 134569956 3221224336 3221214544 1131691687 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14876/statm): 209848 31720 13129 16 0 209832 0
[pid=14876] vsize: 839392
Current children cumulated CPU time (s) 968.81
Current children cumulated vsize (Kb) 839392

[startup+1020.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 14888
Raw data (/proc/14876/stat): 14876 (java) R 14875 14876 824 0 -1 0 18755 3 1 0 97768 83 0 0 24 0 11 0 1787361117 859537408 31763 4294967295 134512640 134569956 3221224336 3221214496 1131504699 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14876/statm): 209848 31763 13129 16 0 209832 0
[pid=14876] vsize: 839392
Current children cumulated CPU time (s) 978.51
Current children cumulated vsize (Kb) 839392

[startup+1030.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 14888
Raw data (/proc/14876/stat): 14876 (java) S 14875 14876 824 0 -1 0 18761 3 1 0 98745 84 0 0 25 0 11 0 1787361117 859537408 31791 4294967295 134512640 134569956 3221224336 3221213128 1073952481 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14876/statm): 209848 31791 13129 16 0 209832 0
[pid=14876] vsize: 839392
Current children cumulated CPU time (s) 988.29
Current children cumulated vsize (Kb) 839392

[startup+1040.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 14888
Raw data (/proc/14876/stat): 14876 (java) R 14875 14876 824 0 -1 0 18767 3 1 0 99716 84 0 0 20 0 11 0 1787361117 859537408 31847 4294967295 134512640 134569956 3221224336 3221214112 1131658547 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14876/statm): 209848 31847 13129 16 0 209832 0
[pid=14876] vsize: 839392
Current children cumulated CPU time (s) 998
Current children cumulated vsize (Kb) 839392

[startup+1050.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 14888
Raw data (/proc/14876/stat): 14876 (java) R 14875 14876 824 0 -1 0 18773 3 1 0 100690 84 0 0 25 0 11 0 1787361117 859537408 31890 4294967295 134512640 134569956 3221224336 3221214520 1131421611 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14876/statm): 209848 31890 13129 16 0 209832 0
[pid=14876] vsize: 839392
Current children cumulated CPU time (s) 1007.74
Current children cumulated vsize (Kb) 839392

[startup+1060.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 14888
Raw data (/proc/14876/stat): 14876 (java) S 14875 14876 824 0 -1 0 18778 3 1 0 101665 85 0 0 17 0 11 0 1787361117 859537408 31926 4294967295 134512640 134569956 3221224336 3221213240 1073943035 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14876/statm): 209848 31926 13129 16 0 209832 0
[pid=14876] vsize: 839392
Current children cumulated CPU time (s) 1017.5
Current children cumulated vsize (Kb) 839392

[startup+1070.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 14888
Raw data (/proc/14876/stat): 14876 (java) R 14875 14876 824 0 -1 0 18784 3 1 0 102641 85 0 0 25 0 11 0 1787361117 859537408 31959 4294967295 134512640 134569956 3221224336 3221214624 1131450635 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14876/statm): 209848 31959 13129 16 0 209832 0
[pid=14876] vsize: 839392
Current children cumulated CPU time (s) 1027.26
Current children cumulated vsize (Kb) 839392

[startup+1080.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 14888
Raw data (/proc/14876/stat): 14876 (java) R 14875 14876 824 0 -1 0 18790 3 1 0 103614 86 0 0 25 0 11 0 1787361117 859537408 32007 4294967295 134512640 134569956 3221224336 3221214112 1131658460 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14876/statm): 209848 32007 13129 16 0 209832 0
[pid=14876] vsize: 839392
Current children cumulated CPU time (s) 1037
Current children cumulated vsize (Kb) 839392

[startup+1090.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 14888
Raw data (/proc/14876/stat): 14876 (java) R 14875 14876 824 0 -1 0 18796 3 1 0 104588 86 0 0 23 0 11 0 1787361117 859537408 32043 4294967295 134512640 134569956 3221224336 3221214024 1085806738 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14876/statm): 209848 32043 13129 16 0 209832 0
[pid=14876] vsize: 839392
Current children cumulated CPU time (s) 1046.74
Current children cumulated vsize (Kb) 839392

[startup+1100.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 14888
Raw data (/proc/14876/stat): 14876 (java) R 14875 14876 824 0 -1 0 18803 3 1 0 105556 86 0 0 24 0 11 0 1787361117 859537408 32087 4294967295 134512640 134569956 3221224336 3221214204 1085759292 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14876/statm): 209848 32087 13129 16 0 209832 0
[pid=14876] vsize: 839392
Current children cumulated CPU time (s) 1056.42
Current children cumulated vsize (Kb) 839392

[startup+1110.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 14888
Raw data (/proc/14876/stat): 14876 (java) R 14875 14876 824 0 -1 0 18809 3 1 0 106530 87 0 0 25 0 11 0 1787361117 859537408 32139 4294967295 134512640 134569956 3221224336 3221214536 1131435570 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14876/statm): 209848 32139 13129 16 0 209832 0
[pid=14876] vsize: 839392
Current children cumulated CPU time (s) 1066.17
Current children cumulated vsize (Kb) 839392

[startup+1120.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 14888
Raw data (/proc/14876/stat): 14876 (java) R 14875 14876 824 0 -1 0 18816 3 1 0 107501 87 0 0 25 0 11 0 1787361117 859537408 32187 4294967295 134512640 134569956 3221224336 3221214624 1131450992 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14876/statm): 209848 32187 13129 16 0 209832 0
[pid=14876] vsize: 839392
Current children cumulated CPU time (s) 1075.88
Current children cumulated vsize (Kb) 839392

[startup+1130.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 14888
Raw data (/proc/14876/stat): 14876 (java) R 14875 14876 824 0 -1 0 18822 3 1 0 108476 87 0 0 25 0 11 0 1787361117 859537408 32231 4294967295 134512640 134569956 3221224336 3221214500 1131631443 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14876/statm): 209848 32231 13129 16 0 209832 0
[pid=14876] vsize: 839392
Current children cumulated CPU time (s) 1085.63
Current children cumulated vsize (Kb) 839392

[startup+1140.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 14888
Raw data (/proc/14876/stat): 14876 (java) S 14875 14876 824 0 -1 0 18829 3 1 0 109449 87 0 0 25 0 11 0 1787361117 859537408 32277 4294967295 134512640 134569956 3221224336 3221213136 1073952481 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14876/statm): 209848 32277 13129 16 0 209832 0
[pid=14876] vsize: 839392
Current children cumulated CPU time (s) 1095.36
Current children cumulated vsize (Kb) 839392

[startup+1150.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 14888
Raw data (/proc/14876/stat): 14876 (java) R 14875 14876 824 0 -1 0 18835 3 1 0 110422 88 0 0 25 0 11 0 1787361117 859537408 32310 4294967295 134512640 134569956 3221224336 3221214408 1085806738 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14876/statm): 209848 32310 13129 16 0 209832 0
[pid=14876] vsize: 839392
Current children cumulated CPU time (s) 1105.1
Current children cumulated vsize (Kb) 839392

[startup+1160.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 14888
Raw data (/proc/14876/stat): 14876 (java) R 14875 14876 824 0 -1 0 18842 3 1 0 111392 88 0 0 25 0 11 0 1787361117 859537408 32347 4294967295 134512640 134569956 3221224336 3221214532 1131057207 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14876/statm): 209848 32347 13129 16 0 209832 0
[pid=14876] vsize: 839392
Current children cumulated CPU time (s) 1114.8
Current children cumulated vsize (Kb) 839392

[startup+1170.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 14888
Raw data (/proc/14876/stat): 14876 (java) R 14875 14876 824 0 -1 0 18848 3 1 0 112367 88 0 0 24 0 11 0 1787361117 859537408 32385 4294967295 134512640 134569956 3221224336 3221214620 1131338053 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14876/statm): 209848 32385 13129 16 0 209832 0
[pid=14876] vsize: 839392
Current children cumulated CPU time (s) 1124.55
Current children cumulated vsize (Kb) 839392

[startup+1180.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 14888
Raw data (/proc/14876/stat): 14876 (java) R 14875 14876 824 0 -1 0 18855 3 1 0 113338 89 0 0 18 0 11 0 1787361117 859537408 32431 4294967295 134512640 134569956 3221224336 3221214160 1131694203 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14876/statm): 209848 32431 13129 16 0 209832 0
[pid=14876] vsize: 839392
Current children cumulated CPU time (s) 1134.27
Current children cumulated vsize (Kb) 839392

[startup+1190.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 14888
Raw data (/proc/14876/stat): 14876 (java) R 14875 14876 824 0 -1 0 18862 3 1 0 114309 89 0 0 16 0 11 0 1787361117 859537408 32481 4294967295 134512640 134569956 3221224336 3221214616 1131338018 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14876/statm): 209848 32481 13129 16 0 209832 0
[pid=14876] vsize: 839392
Current children cumulated CPU time (s) 1143.98
Current children cumulated vsize (Kb) 839392

[startup+1200.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 14888
Raw data (/proc/14876/stat): 14876 (java) R 14875 14876 824 0 -1 0 18868 3 1 0 115285 89 0 0 25 0 11 0 1787361117 859537408 32513 4294967295 134512640 134569956 3221224336 3221214536 1131435698 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14876/statm): 209848 32513 13129 16 0 209832 0
[pid=14876] vsize: 839392
Current children cumulated CPU time (s) 1153.74
Current children cumulated vsize (Kb) 839392

[startup+1210.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 14888
Raw data (/proc/14876/stat): 14876 (java) R 14875 14876 824 0 -1 0 18875 3 1 0 116257 89 0 0 19 0 11 0 1787361117 859537408 32552 4294967295 134512640 134569956 3221224336 3221214624 1131453712 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14876/statm): 209848 32552 13129 16 0 209832 0
[pid=14876] vsize: 839392
Current children cumulated CPU time (s) 1163.46
Current children cumulated vsize (Kb) 839392

[startup+1220.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 14888
Raw data (/proc/14876/stat): 14876 (java) R 14875 14876 824 0 -1 0 18881 3 1 0 117233 90 0 0 25 0 11 0 1787361117 859537408 32597 4294967295 134512640 134569956 3221224336 3221214520 1131421255 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14876/statm): 209848 32597 13129 16 0 209832 0
[pid=14876] vsize: 839392
Current children cumulated CPU time (s) 1173.23
Current children cumulated vsize (Kb) 839392

[startup+1230.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 14888
Raw data (/proc/14876/stat): 14876 (java) R 14875 14876 824 0 -1 0 18888 3 1 0 118204 90 0 0 24 0 11 0 1787361117 859537408 32632 4294967295 134512640 134569956 3221224336 3221214488 1131532543 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14876/statm): 209848 32632 13129 16 0 209832 0
[pid=14876] vsize: 839392
Current children cumulated CPU time (s) 1182.94
Current children cumulated vsize (Kb) 839392

[startup+1240.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 14888
Raw data (/proc/14876/stat): 14876 (java) R 14875 14876 824 0 -1 0 18894 3 1 0 119179 90 0 0 25 0 11 0 1787361117 859537408 32669 4294967295 134512640 134569956 3221224336 3221214272 1085759286 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14876/statm): 209848 32669 13129 16 0 209832 0
[pid=14876] vsize: 839392
Current children cumulated CPU time (s) 1192.69
Current children cumulated vsize (Kb) 839392

[startup+1250.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 14888
Raw data (/proc/14876/stat): 14876 (java) R 14875 14876 824 0 -1 0 18900 3 1 0 120152 90 0 0 25 0 11 0 1787361117 859537408 32699 4294967295 134512640 134569956 3221224336 3221214356 1085806240 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14876/statm): 209848 32699 13129 16 0 209832 0
[pid=14876] vsize: 839392
Current children cumulated CPU time (s) 1202.42
Current children cumulated vsize (Kb) 839392



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1250.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 14888
Raw data (/proc/14876/stat): 14876 (java) R 14875 14876 824 0 -1 0 18900 3 1 0 120153 90 0 0 25 0 11 0 1787361117 859537408 32699 4294967295 134512640 134569956 3221224336 3221214352 1131691965 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14876/statm): 209848 32699 13129 16 0 209832 0
[pid=14876] vsize: 839392
Current children cumulated CPU time (s) 1202.43
Current children cumulated vsize (Kb) 839392

Sending SIGTERM to -14876
Sleeping 2 seconds
New thread pid=14890
New thread pid=14891
One traced child (pid=14891) exited with status: 0
One traced child (pid=14885) exited with status: 0
One traced child (pid=14880) exited with status: 0
One traced child (pid=14877) exited with status: 143
One traced child (pid=14890) exited with status: 143
One traced child (pid=14884) exited with status: 143
One traced child (pid=14881) exited with status: 143
One traced child (pid=14883) exited with status: 143
One traced child (pid=14878) exited with status: 143
One traced child (pid=14879) exited with status: 143
One traced child (pid=14888) exited with status: 143
One traced child (pid=14882) exited with status: 143
One traced child (pid=14876) exited with status: 143
All traced children have exited ! Game is over.

Child status: 143
Real time (s): 1250.39
CPU time (s): 1258.14
CPU user time (s): 1256.36
CPU system time (s): 1.78873
CPU usage (%): 100.62
Max. virtual memory (cumulated for all children) (Kb): 839556

Verifier Data

Verifier:	OK	-10000