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/MIPLIB/miplib3/normalized-mps-v2-20-10-bell3a.opb
MD5SUM26dd13d463ba85c3a30386739f6ae61e
Bench Categoryoptimization, big integers (OPTBIGINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 1964389119494640
Optimality of the best value was proved NO
Number of terms in the objective function 1716
Biggest coefficient in the objective function 5134096531456000
Number of bits for the biggest coefficient in the objective function 53
Sum of the numbers in the objective function 216401520151185266
Number of bits of the sum of numbers in the objective function 58
Biggest number in a constraint 5134096531456000
Number of bits of the biggest number in a constraint 53
Biggest sum of numbers in a constraint 216401520151185266
Number of bits of the biggest sum of numbers58
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1195.15
Number of variables2219
Total number of constraints194
Number of constraints which are clauses22
Number of constraints which are cardinality constraints (but not clauses)39
Number of constraints which are nor clauses,nor cardinality constraints133
Minimum length of a constraint1
Maximum length of a constraint191

Trace number 4790

Launcher Data

LAUNCH ON wulflinc9 THE 2005-09-19 19:48:35 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=6477 boxname=wulflinc9 idbench=617 idsolver=6 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  26dd13d463ba85c3a30386739f6ae61e  /oldhome/oroussel/tmp/wulflinc9/normalized-mps-v2-20-10-bell3a.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoTer.jar /oldhome/oroussel/tmp/wulflinc9/normalized-mps-v2-20-10-bell3a.opb
IDLAUNCH: 6477
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.242
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.242
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:        876112 kB
Buffers:         36904 kB
Cached:          95264 kB
SwapCached:       1044 kB
Active:          64500 kB
Inactive:        70360 kB
HighTotal:      131008 kB
HighFree:        40152 kB
LowTotal:       903652 kB
LowFree:        835960 kB
SwapTotal:     2097136 kB
SwapFree:      2095568 kB
Dirty:               4 kB
Writeback:           0 kB
Mapped:           5664 kB
Slab:            18052 kB
Committed_AS:    64168 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-19 20:09:05 (client local time) WITH STATUS 143 IN 1225.74 SECONDS
stats: 6477 0 1225.74 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/wulflinc9/normalized-mps-v2-20-10-bell3a.opb
c reading problem ... done. Time 1.965 ms.
c #vars     2219
c #constraints  151
c SATISFIABLE
c OPTIMIZING...
c CURRENT OPTIMUM=    7389636589126850 		Current CPU time: 55.46 ms
c CURRENT OPTIMUM=    4988155069698400 		Current CPU time: 76.12 ms
c CURRENT OPTIMUM=    4807063003277620 		Current CPU time: 89.78 ms
c CURRENT OPTIMUM=    3896640976658400 		Current CPU time: 840.97 ms
c CURRENT OPTIMUM=    3120761045979250 		Current CPU time: 941.24 ms
c starts		: 10
c conflicts		: 874
c decisions		: 43476
c propagations		: 131485
c inspects		: 1295636
c learnt literals	: 0
c learnt binary clauses	: 0
c learnt ternary clauses	: 0
c learnt clauses	: 873
c root simplifications	: 292
c removed literals (reason simplification)	: 0
c reason swapping (by a shorter reason)	: 0
c Calls to reduceDB	: 42106
c speed (decisions/second)	: 151.19772973875303
c non guided choices	15493
c random choices	0
s SATISFIABLE
v -d1_bit0 d2_bit0 d3_bit0 d4_bit0 d5_bit0 -d6_bit0 d7_bit0 -d9_bit0 d10_bit0 -d12_bit0 -d13_bit0 -d15_bit0 -d16_bit0 -d17_bit0 d20_bit0 -d21_bit0 -h1_bit0 -h1_bit1 -h1_bit2 -h1_bit3 -h1_bit4 -h1_bit5 -h1_bit6 -h1_bit7 -h1_bit8 -h1_bit9 h2_bit0 h2_bit1 h2_bit2 -h2_bit3 -h2_bit4 -h2_bit5 -h2_bit6 -h2_bit7 -h2_bit8 -h2_bit9 h3_bit0 h3_bit1 h3_bit2 -h3_bit3 -h3_bit4 -h3_bit5 -h3_bit6 -h3_bit7 -h3_bit8 -h3_bit9 h4_bit0 h4_bit1 h4_bit2 -h4_bit3 -h4_bit4 -h4_bit5 -h4_bit6 -h4_bit7 -h4_bit8 -h4_bit9 h5_bit0 h5_bit1 h5_bit2 h5_bit3 -h5_bit4 -h5_bit5 -h5_bit6 -h5_bit7 -h5_bit8 -h5_bit9 h6_bit0 h6_bit1 -h6_bit2 h6_bit3 -h6_bit4 -h6_bit5 -h6_bit6 -h6_bit7 -h6_bit8 -h6_bit9 -h7_bit0 -h7_bit1 -h7_bit2 -h7_bit3 h7_bit4 -h7_bit5 -h7_bit6 -h7_bit7 -h7_bit8 -h7_bit9 -h9_bit0 -h9_bit1 -h9_bit2 -h9_bit3 -h9_bit4 -h9_bit5 -h9_bit6 -h9_bit7 -h9_bit8 -h9_bit9 -h10_bit0 -h10_bit1 -h10_bit2 -h10_bit3 -h10_bit4 -h10_bit5 -h10_bit6 -h10_bit7 -h10_bit8 -h10_bit9 -h12_bit0 -h12_bit1 -h12_bit2 -h12_bit3 -h12_bit4 -h12_bit5 -h12_bit6 -h12_bit7 -h12_bit8 -h12_bit9 -h13_bit0 -h13_bit1 -h13_bit2 -h13_bit3 -h13_bit4 -h13_bit5 -h13_bit6 -h13_bit7 -h13_bit8 -h13_bit9 -h15_bit0 -h15_bit1 -h15_bit2 -h15_bit3 -h15_bit4 -h15_bit5 -h15_bit6 -h15_bit7 -h15_bit8 -h15_bit9 -h16_bit0 -h16_bit1 -h16_bit2 -h16_bit3 -h16_bit4 -h16_bit5 -h16_bit6 -h16_bit7 -h16_bit8 -h16_bit9 -h17_bit0 -h17_bit1 -h17_bit2 -h17_bit3 -h17_bit4 -h17_bit5 -h17_bit6 -h17_bit7 -h17_bit8 -h17_bit9 -h20_bit0 -h20_bit1 -h20_bit2 -h20_bit3 -h20_bit4 -h20_bit5 -h20_bit6 -h20_bit7 -h20_bit8 -h20_bit9 -h21_bit0 -h21_bit1 -h21_bit2 -h21_bit3 -h21_bit4 -h21_bit5 -h21_bit6 -h21_bit7 -h21_bit8 -h21_bit9 -g1_bit0 -g1_bit1 -g1_bit2 -g1_bit3 -g1_bit4 -g1_bit5 -g1_bit6 -g1_bit7 -g1_bit8 -g1_bit9 g2_bit0 g2_bit1 g2_bit2 g2_bit3 g2_bit4 -g2_bit5 -g2_bit6 -g2_bit7 -g2_bit8 -g2_bit9 g3_bit0 g3_bit1 g3_bit2 g3_bit3 g3_bit4 -g3_bit5 -g3_bit6 -g3_bit7 -g3_bit8 -g3_bit9 g4_bit0 g4_bit1 g4_bit2 -g4_bit3 -g4_bit4 -g4_bit5 -g4_bit6 -g4_bit7 -g4_bit8 -g4_bit9 g5_bit0 g5_bit1 g5_bit2 g5_bit3 g5_bit4 g5_bit5 g5_bit6 -g5_bit7 -g5_bit8 -g5_bit9 -g6_bit0 -g6_bit1 -g6_bit2 g6_bit3 -g6_bit4 g6_bit5 g6_bit6 g6_bit7 g6_bit8 g6_bit9 -g7_bit0 g7_bit1 g7_bit2 -g7_bit3 g7_bit4 -g7_bit5 g7_bit6 -g7_bit7 g7_bit8 -g7_bit9 -g9_bit0 -g9_bit1 -g9_bit2 -g9_bit3 -g9_bit4 -g9_bit5 -g9_bit6 -g9_bit7 -g9_bit8 -g9_bit9 g10_bit0 g10_bit1 g10_bit2 g10_bit3 g10_bit4 -g10_bit5 -g10_bit6 -g10_bit7 -g10_bit8 -g10_bit9 g12_bit0 g12_bit1 g12_bit2 -g12_bit3 -g12_bit4 -g12_bit5 -g12_bit6 -g12_bit7 -g12_bit8 -g12_bit9 -g13_bit0 -g13_bit1 g13_bit2 -g13_bit3 -g13_bit4 -g13_bit5 -g13_bit6 -g13_bit7 -g13_bit8 -g13_bit9 -g15_bit0 -g15_bit1 -g15_bit2 g15_bit3 -g15_bit4 g15_bit5 g15_bit6 g15_bit7 g15_bit8 g15_bit9 -g16_bit0 -g16_bit1 -g16_bit2 -g16_bit3 -g16_bit4 -g16_bit5 -g16_bit6 -g16_bit7 -g16_bit8 -g16_bit9 -g17_bit0 -g17_bit1 -g17_bit2 -g17_bit3 -g17_bit4 -g17_bit5 -g17_bit6 -g17_bit7 -g17_bit8 -g17_bit9 g20_bit0 -g20_bit1 -g20_bit2 g20_bit3 g20_bit4 -g20_bit5 -g20_bit6 -g20_bit7 -g20_bit8 -g20_bit9 -g21_bit0 -g21_bit1 -g21_bit2 -g21_bit3 -g21_bit4 -g21_bit5 -g21_bit6 -g21_bit7 -g21_bit8 -g21_bit9 -a1_bit_10 -a1_bit_9 -a1_bit_8 -a1_bit_7 -a1_bit_6 -a1_bit_5 -a1_bit_4 -a1_bit_3 -a1_bit_2 -a1_bit_1 -a1_bit0 -a1_bit1 a1_bit2 -a1_bit3 -a1_bit4 a1_bit5 a1_bit6 -a1_bit7 -a1_bit8 -a1_bit9 -a1_bit10 -a1_bit11 -a1_bit12 -a1_bit13 -a1_bit14 -a1_bit15 -a1_bit16 -a1_bit17 -a1_bit18 -a1_bit19 -a2_bit_10 -a2_bit_9 -a2_bit_8 -a2_bit_7 -a2_bit_6 -a2_bit_5 -a2_bit_4 -a2_bit_3 -a2_bit_2 -a2_bit_1 -a2_bit0 -a2_bit1 -a2_bit2 -a2_bit3 -a2_bit4 -a2_bit5 -a2_bit6 -a2_bit7 -a2_bit8 -a2_bit9 -a2_bit10 -a2_bit11 -a2_bit12 -a2_bit13 -a2_bit14 -a2_bit15 -a2_bit16 -a2_bit17 -a2_bit18 -a2_bit19 -a3_bit_10 -a3_bit_9 -a3_bit_8 -a3_bit_7 -a3_bit_6 -a3_bit_5 -a3_bit_4 -a3_bit_3 -a3_bit_2 -a3_bit_1 -a3_bit0 a3_bit1 a3_bit2 -a3_bit3 a3_bit4 a3_bit5 -a3_bit6 a3_bit7 -a3_bit8 a3_bit9 -a3_bit10 -a3_bit11 -a3_bit12 -a3_bit13 -a3_bit14 -a3_bit15 -a3_bit16 -a3_bit17 -a3_bit18 -a3_bit19 -a4_bit_10 -a4_bit_9 -a4_bit_8 -a4_bit_7 -a4_bit_6 -a4_bit_5 -a4_bit_4 -a4_bit_3 -a4_bit_2 -a4_bit_1 -a4_bit0 -a4_bit1 -a4_bit2 -a4_bit3 -a4_bit4 -a4_bit5 -a4_bit6 -a4_bit7 -a4_bit8 -a4_bit9 -a4_bit10 -a4_bit11 -a4_bit12 -a4_bit13 -a4_bit14 -a4_bit15 -a4_bit16 -a4_bit17 -a4_bit18 -a4_bit19 -a5_bit_10 -a5_bit_9 -a5_bit_8 -a5_bit_7 -a5_bit_6 -a5_bit_5 -a5_bit_4 -a5_bit_3 -a5_bit_2 -a5_bit_1 -a5_bit0 -a5_bit1 -a5_bit2 -a5_bit3 -a5_bit4 -a5_bit5 -a5_bit6 -a5_bit7 -a5_bit8 -a5_bit9 -a5_bit10 -a5_bit11 -a5_bit12 -a5_bit13 -a5_bit14 -a5_bit15 -a5_bit16 -a5_bit17 -a5_bit18 -a5_bit19 -a6_bit_10 -a6_bit_9 -a6_bit_8 -a6_bit_7 -a6_bit_6 -a6_bit_5 -a6_bit_4 -a6_bit_3 -a6_bit_2 -a6_bit_1 -a6_bit0 -a6_bit1 -a6_bit2 -a6_bit3 -a6_bit4 -a6_bit5 -a6_bit6 -a6_bit7 -a6_bit8 -a6_bit9 -a6_bit10 -a6_bit11 -a6_bit12 -a6_bit13 -a6_bit14 -a6_bit15 -a6_bit16 -a6_bit17 -a6_bit18 -a6_bit19 -a7_bit_10 -a7_bit_9 -a7_bit_8 -a7_bit_7 -a7_bit_6 -a7_bit_5 -a7_bit_4 -a7_bit_3 -a7_bit_2 -a7_bit_1 -a7_bit0 -a7_bit1 -a7_bit2 -a7_bit3 -a7_bit4 -a7_bit5 -a7_bit6 -a7_bit7 -a7_bit8 -a7_bit9 -a7_bit10 -a7_bit11 -a7_bit12 -a7_bit13 -a7_bit14 -a7_bit15 -a7_bit16 -a7_bit17 -a7_bit18 -a7_bit19 -a8_bit_10 -a8_bit_9 -a8_bit_8 -a8_bit_7 -a8_bit_6 -a8_bit_5 -a8_bit_4 -a8_bit_3 -a8_bit_2 -a8_bit_1 -a8_bit0 a8_bit1 a8_bit2 a8_bit3 a8_bit4 a8_bit5 a8_bit6 a8_bit7 a8_bit8 -a8_bit9 -a8_bit10 -a8_bit11 -a8_bit12 -a8_bit13 -a8_bit14 -a8_bit15 -a8_bit16 -a8_bit17 -a8_bit18 -a8_bit19 -a9_bit_10 -a9_bit_9 -a9_bit_8 -a9_bit_7 -a9_bit_6 -a9_bit_5 -a9_bit_4 -a9_bit_3 -a9_bit_2 -a9_bit_1 -a9_bit0 -a9_bit1 a9_bit2 -a9_bit3 a9_bit4 a9_bit5 a9_bit6 a9_bit7 a9_bit8 -a9_bit9 -a9_bit10 -a9_bit11 -a9_bit12 -a9_bit13 -a9_bit14 -a9_bit15 -a9_bit16 -a9_bit17 -a9_bit18 -a9_bit19 -a10_bit_10 -a10_bit_9 -a10_bit_8 -a10_bit_7 -a10_bit_6 -a10_bit_5 -a10_bit_4 -a10_bit_3 -a10_bit_2 -a10_bit_1 -a10_bit0 -a10_bit1 -a10_bit2 -a10_bit3 -a10_bit4 -a10_bit5 -a10_bit6 -a10_bit7 -a10_bit8 -a10_bit9 -a10_bit10 -a10_bit11 -a10_bit12 -a10_bit13 -a10_bit14 -a10_bit15 -a10_bit16 -a10_bit17 -a10_bit18 -a10_bit19 -a11_bit_10 -a11_bit_9 -a11_bit_8 -a11_bit_7 -a11_bit_6 -a11_bit_5 -a11_bit_4 -a11_bit_3 -a11_bit_2 -a11_bit_1 -a11_bit0 a11_bit1 -a11_bit2 -a11_bit3 a11_bit4 a11_bit5 -a11_bit6 -a11_bit7 -a11_bit8 -a11_bit9 -a11_bit10 -a11_bit11 -a11_bit12 -a11_bit13 -a11_bit14 -a11_bit15 -a11_bit16 -a11_bit17 -a11_bit18 -a11_bit19 -a12_bit_10 -a12_bit_9 -a12_bit_8 -a12_bit_7 -a12_bit_6 -a12_bit_5 -a12_bit_4 -a12_bit_3 -a12_bit_2 -a12_bit_1 -a12_bit0 -a12_bit1 -a12_bit2 -a12_bit3 -a12_bit4 -a12_bit5 -a12_bit6 -a12_bit7 -a12_bit8 -a12_bit9 -a12_bit10 -a12_bit11 -a12_bit12 -a12_bit13 -a12_bit14 -a12_bit15 -a12_bit16 -a12_bit17 -a12_bit18 -a12_bit19 a13_bit_10 -a13_bit_9 -a13_bit_8 -a13_bit_7 -a13_bit_6 a13_bit_5 a13_bit_4 a13_bit_3 -a13_bit_2 a13_bit_1 -a13_bit0 a13_bit1 a13_bit2 -a13_bit3 -a13_bit4 -a13_bit5 -a13_bit6 -a13_bit7 -a13_bit8 -a13_bit9 -a13_bit10 -a13_bit11 -a13_bit12 -a13_bit13 -a13_bit14 -a13_bit15 -a13_bit16 -a13_bit17 -a13_bit18 -a13_bit19 -a14_bit_10 -a14_bit_9 -a14_bit_8 -a14_bit_7 -a14_bit_6 -a14_bit_5 -a14_bit_4 -a14_bit_3 -a14_bit_2 -a14_bit_1 -a14_bit0 -a14_bit1 a14_bit2 a14_bit3 -a14_bit4 a14_bit5 -a14_bit6 -a14_bit7 a14_bit8 -a14_bit9 -a14_bit10 -a14_bit11 -a14_bit12 -a14_bit13 -a14_bit14 -a14_bit15 -a14_bit16 -a14_bit17 -a14_bit18 -a14_bit19 a15_bit_10 a15_bit_9 a15_bit_8 a15_bit_7 a15_bit_6 a15_bit_5 a15_bit_4 a15_bit_3 a15_bit_2 a15_bit_1 a15_bit0 a15_bit1 a15_bit2 a15_bit3 a15_bit4 a15_bit5 a15_bit6 a15_bit7 a15_bit8 a15_bit9 a15_bit10 -a15_bit11 -a15_bit12 -a15_bit13 -a15_bit14 -a15_bit15 -a15_bit16 -a15_bit17 -a15_bit18 -a15_bit19 -a16_bit_10 -a16_bit_9 -a16_bit_8 -a16_bit_7 -a16_bit_6 -a16_bit_5 -a16_bit_4 -a16_bit_3 -a16_bit_2 -a16_bit_1 -a16_bit0 -a16_bit1 a16_bit2 -a16_bit3 a16_bit4 a16_bit5 -a16_bit6 a16_bit7 -a16_bit8 -a16_bit9 -a16_bit10 -a16_bit11 -a16_bit12 -a16_bit13 -a16_bit14 -a16_bit15 -a16_bit16 -a16_bit17 -a16_bit18 -a16_bit19 -a17_bit_10 -a17_bit_9 -a17_bit_8 -a17_bit_7 -a17_bit_6 -a17_bit_5 -a17_bit_4 -a17_bit_3 -a17_bit_2 -a17_bit_1 -a17_bit0 a17_bit1 a17_bit2 a17_bit3 a17_bit4 -a17_bit5 -a17_bit6 -a17_bit7 -a17_bit8 -a17_bit9 -a17_bit10 -a17_bit11 -a17_bit12 -a17_bit13 -a17_bit14 -a17_bit15 -a17_bit16 -a17_bit17 -a17_bit18 -a17_bit19 -a18_bit_10 -a18_bit_9 -a18_bit_8 -a18_bit_7 -a18_bit_6 -a18_bit_5 -a18_bit_4 -a18_bit_3 -a18_bit_2 -a18_bit_1 -a18_bit0 -a18_bit1 a18_bit2 -a18_bit3 a18_bit4 -a18_bit5 -a18_bit6 -a18_bit7 -a18_bit8 -a18_bit9 -a18_bit10 -a18_bit11 -a18_bit12 -a18_bit13 -a18_bit14 -a18_bit15 -a18_bit16 -a18_bit17 -a18_bit18 -a18_bit19 -a19_bit_10 -a19_bit_9 -a19_bit_8 -a19_bit_7 -a19_bit_6 -a19_bit_5 -a19_bit_4 -a19_bit_3 -a19_bit_2 -a19_bit_1 -a19_bit0 -a19_bit1 -a19_bit2 -a19_bit3 -a19_bit4 -a19_bit5 -a19_bit6 -a19_bit7 -a19_bit8 -a19_bit9 -a19_bit10 -a19_bit11 -a19_bit12 -a19_bit13 -a19_bit14 -a19_bit15 -a19_bit16 -a19_bit17 -a19_bit18 -a19_bit19 -a20_bit_10 -a20_bit_9 -a20_bit_8 -a20_bit_7 -a20_bit_6 -a20_bit_5 -a20_bit_4 -a20_bit_3 -a20_bit_2 -a20_bit_1 -a20_bit0 -a20_bit1 -a20_bit2 -a20_bit3 -a20_bit4 -a20_bit5 -a20_bit6 -a20_bit7 -a20_bit8 -a20_bit9 -a20_bit10 -a20_bit11 -a20_bit12 -a20_bit13 -a20_bit14 -a20_bit15 -a20_bit16 -a20_bit17 -a20_bit18 -a20_bit19 a21_bit_10 a21_bit_9 a21_bit_8 a21_bit_7 a21_bit_6 a21_bit_5 a21_bit_4 a21_bit_3 a21_bit_2 a21_bit_1 a21_bit0 a21_bit1 a21_bit2 a21_bit3 a21_bit4 a21_bit5 a21_bit6 a21_bit7 a21_bit8 a21_bit9 a21_bit10 -a21_bit11 -a21_bit12 -a21_bit13 -a21_bit14 -a21_bit15 -a21_bit16 -a21_bit17 -a21_bit18 -a21_bit19 a22_bit_10 a22_bit_9 a22_bit_8 a22_bit_7 a22_bit_6 a22_bit_5 a22_bit_4 a22_bit_3 a22_bit_2 a22_bit_1 a22_bit0 a22_bit1 a22_bit2 -a22_bit3 -a22_bit4 a22_bit5 a22_bit6 -a22_bit7 -a22_bit8 -a22_bit9 -a22_bit10 -a22_bit11 -a22_bit12 -a22_bit13 -a22_bit14 -a22_bit15 -a22_bit16 -a22_bit17 -a22_bit18 -a22_bit19 -a23_bit_10 -a23_bit_9 -a23_bit_8 -a23_bit_7 -a23_bit_6 -a23_bit_5 -a23_bit_4 -a23_bit_3 -a23_bit_2 -a23_bit_1 -a23_bit0 a23_bit1 -a23_bit2 -a23_bit3 a23_bit4 a23_bit5 -a23_bit6 -a23_bit7 -a23_bit8 -a23_bit9 -a23_bit10 -a23_bit11 -a23_bit12 -a23_bit13 -a23_bit14 -a23_bit15 -a23_bit16 -a23_bit17 -a23_bit18 -a23_bit19 -b1_bit_10 -b1_bit_9 -b1_bit_8 -b1_bit_7 -b1_bit_6 -b1_bit_5 -b1_bit_4 -b1_bit_3 -b1_bit_2 -b1_bit_1 -b1_bit0 -b1_bit1 -b1_bit2 -b1_bit3 -b1_bit4 -b1_bit5 -b1_bit6 -b1_bit7 -b1_bit8 -b1_bit9 -b1_bit10 -b1_bit11 -b1_bit12 -b1_bit13 -b1_bit14 -b1_bit15 -b1_bit16 -b1_bit17 -b1_bit18 -b1_bit19 -b2_bit_10 -b2_bit_9 -b2_bit_8 -b2_bit_7 -b2_bit_6 -b2_bit_5 -b2_bit_4 -b2_bit_3 -b2_bit_2 -b2_bit_1 -b2_bit0 -b2_bit1 -b2_bit2 -b2_bit3 -b2_bit4 -b2_bit5 -b2_bit6 -b2_bit7 -b2_bit8 -b2_bit9 -b2_bit10 -b2_bit11 -b2_bit12 -b2_bit13 -b2_bit14 -b2_bit15 -b2_bit16 -b2_bit17 -b2_bit18 -b2_bit19 b3_bit_10 b3_bit_9 b3_bit_8 b3_bit_7 -b3_bit_6 b3_bit_5 b3_bit_4 -b3_bit_3 -b3_bit_2 -b3_bit_1 b3_bit0 b3_bit1 -b3_bit2 b3_bit3 b3_bit4 -b3_bit5 b3_bit6 b3_bit7 b3_bit8 b3_bit9 -b3_bit10 -b3_bit11 b3_bit12 -b3_bit13 -b3_bit14 -b3_bit15 -b3_bit16 -b3_bit17 -b3_bit18 -b3_bit19 -b4_bit_10 -b4_bit_9 -b4_bit_8 -b4_bit_7 -b4_bit_6 -b4_bit_5 -b4_bit_4 -b4_bit_3 -b4_bit_2 -b4_bit_1 -b4_bit0 -b4_bit1 -b4_bit2 -b4_bit3 -b4_bit4 -b4_bit5 -b4_bit6 -b4_bit7 -b4_bit8 -b4_bit9 -b4_bit10 -b4_bit11 -b4_bit12 -b4_bit13 -b4_bit14 -b4_bit15 -b4_bit16 -b4_bit17 -b4_bit18 -b4_bit19 -b5_bit_10 -b5_bit_9 -b5_bit_8 -b5_bit_7 -b5_bit_6 -b5_bit_5 -b5_bit_4 -b5_bit_3 -b5_bit_2 -b5_bit_1 -b5_bit0 -b5_bit1 -b5_bit2 -b5_bit3 -b5_bit4 -b5_bit5 -b5_bit6 -b5_bit7 -b5_bit8 -b5_bit9 -b5_bit10 -b5_bit11 -b5_bit12 -b5_bit13 -b5_bit14 -b5_bit15 -b5_bit16 -b5_bit17 -b5_bit18 -b5_bit19 b6_bit_10 b6_bit_9 b6_bit_8 b6_bit_7 b6_bit_6 b6_bit_5 b6_bit_4 b6_bit_3 b6_bit_2 b6_bit_1 b6_bit0 b6_bit1 b6_bit2 b6_bit3 b6_bit4 b6_bit5 b6_bit6 b6_bit7 b6_bit8 -b6_bit9 b6_bit10 -b6_bit11 -b6_bit12 b6_bit13 -b6_bit14 -b6_bit15 -b6_bit16 -b6_bit17 -b6_bit18 -b6_bit19 b7_bit_10 b7_bit_9 b7_bit_8 b7_bit_7 b7_bit_6 b7_bit_5 b7_bit_4 b7_bit_3 b7_bit_2 b7_bit_1 b7_bit0 b7_bit1 b7_bit2 b7_bit3 b7_bit4 b7_bit5 b7_bit6 b7_bit7 b7_bit8 -b7_bit9 -b7_bit10 -b7_bit11 -b7_bit12 -b7_bit13 -b7_bit14 -b7_bit15 -b7_bit16 -b7_bit17 -b7_bit18 -b7_bit19 -b8_bit_10 -b8_bit_9 -b8_bit_8 -b8_bit_7 -b8_bit_6 -b8_bit_5 -b8_bit_4 -b8_bit_3 -b8_bit_2 -b8_bit_1 -b8_bit0 -b8_bit1 -b8_bit2 -b8_bit3 -b8_bit4 -b8_bit5 -b8_bit6 -b8_bit7 -b8_bit8 -b8_bit9 -b8_bit10 -b8_bit11 -b8_bit12 -b8_bit13 -b8_bit14 -b8_bit15 -b8_bit16 -b8_bit17 -b8_bit18 -b8_bit19 -b9_bit_10 -b9_bit_9 -b9_bit_8 -b9_bit_7 -b9_bit_6 -b9_bit_5 -b9_bit_4 -b9_bit_3 -b9_bit_2 -b9_bit_1 -b9_bit0 -b9_bit1 -b9_bit2 -b9_bit3 -b9_bit4 -b9_bit5 -b9_bit6 -b9_bit7 -b9_bit8 -b9_bit9 -b9_bit10 -b9_bit11 -b9_bit12 -b9_bit13 -b9_bit14 -b9_bit15 -b9_bit16 -b9_bit17 -b9_bit18 -b9_bit19 -b10_bit_10 -b10_bit_9 -b10_bit_8 -b10_bit_7 -b10_bit_6 -b10_bit_5 -b10_bit_4 -b10_bit_3 -b10_bit_2 -b10_bit_1 -b10_bit0 -b10_bit1 -b10_bit2 -b10_bit3 -b10_bit4 -b10_bit5 -b10_bit6 -b10_bit7 -b10_bit8 -b10_bit9 -b10_bit10 -b10_bit11 -b10_bit12 -b10_bit13 -b10_bit14 -b10_bit15 -b10_bit16 -b10_bit17 -b10_bit18 -b10_bit19 b11_bit_10 -b11_bit_9 -b11_bit_8 -b11_bit_7 -b11_bit_6 -b11_bit_5 -b11_bit_4 -b11_bit_3 -b11_bit_2 -b11_bit_1 -b11_bit0 -b11_bit1 -b11_bit2 -b11_bit3 -b11_bit4 b11_bit5 -b11_bit6 -b11_bit7 b11_bit8 -b11_bit9 -b11_bit10 -b11_bit11 -b11_bit12 -b11_bit13 -b11_bit14 -b11_bit15 -b11_bit16 -b11_bit17 -b11_bit18 -b11_bit19 b12_bit_10 -b12_bit_9 -b12_bit_8 -b12_bit_7 -b12_bit_6 -b12_bit_5 -b12_bit_4 -b12_bit_3 -b12_bit_2 -b12_bit_1 -b12_bit0 -b12_bit1 -b12_bit2 -b12_bit3 -b12_bit4 b12_bit5 -b12_bit6 -b12_bit7 b12_bit8 -b12_bit9 -b12_bit10 -b12_bit11 -b12_bit12 -b12_bit13 -b12_bit14 -b12_bit15 -b12_bit16 -b12_bit17 -b12_bit18 -b12_bit19 b13_bit_10 b13_bit_9 b13_bit_8 b13_bit_7 b13_bit_6 -b13_bit_5 -b13_bit_4 -b13_bit_3 b13_bit_2 -b13_bit_1 b13_bit0 -b13_bit1 b13_bit2 b13_bit3 b13_bit4 -b13_bit5 b13_bit6 -b13_bit7 -b13_bit8 -b13_bit9 -b13_bit10 -b13_bit11 -b13_bit12 -b13_bit13 -b13_bit14 -b13_bit15 -b13_bit16 -b13_bit17 -b13_bit18 -b13_bit19 -b14_bit_10 -b14_bit_9 -b14_bit_8 -b14_bit_7 -b14_bit_6 -b14_bit_5 -b14_bit_4 -b14_bit_3 -b14_bit_2 -b14_bit_1 -b14_bit0 -b14_bit1 -b14_bit2 -b14_bit3 -b14_bit4 -b14_bit5 -b14_bit6 -b14_bit7 -b14_bit8 -b14_bit9 -b14_bit10 -b14_bit11 -b14_bit12 -b14_bit13 -b14_bit14 -b14_bit15 -b14_bit16 -b14_bit17 -b14_bit18 -b14_bit19 -b15_bit_10 -b15_bit_9 -b15_bit_8 -b15_bit_7 -b15_bit_6 -b15_bit_5 -b15_bit_4 -b15_bit_3 -b15_bit_2 -b15_bit_1 -b15_bit0 -b15_bit1 -b15_bit2 -b15_bit3 -b15_bit4 -b15_bit5 -b15_bit6 -b15_bit7 -b15_bit8 -b15_bit9 -b15_bit10 -b15_bit11 -b15_bit12 -b15_bit13 -b15_bit14 -b15_bit15 -b15_bit16 -b15_bit17 -b15_bit18 -b15_bit19 -b16_bit_10 -b16_bit_9 -b16_bit_8 -b16_bit_7 -b16_bit_6 -b16_bit_5 -b16_bit_4 -b16_bit_3 -b16_bit_2 -b16_bit_1 -b16_bit0 -b16_bit1 -b16_bit2 -b16_bit3 -b16_bit4 -b16_bit5 -b16_bit6 -b16_bit7 -b16_bit8 -b16_bit9 -b16_bit10 -b16_bit11 -b16_bit12 -b16_bit13 -b16_bit14 -b16_bit15 -b16_bit16 -b16_bit17 -b16_bit18 -b16_bit19 -b17_bit_10 -b17_bit_9 -b17_bit_8 -b17_bit_7 -b17_bit_6 -b17_bit_5 -b17_bit_4 -b17_bit_3 -b17_bit_2 -b17_bit_1 -b17_bit0 -b17_bit1 -b17_bit2 -b17_bit3 -b17_bit4 -b17_bit5 -b17_bit6 -b17_bit7 -b17_bit8 -b17_bit9 -b17_bit10 -b17_bit11 -b17_bit12 -b17_bit13 -b17_bit14 -b17_bit15 -b17_bit16 -b17_bit17 -b17_bit18 -b17_bit19 -b18_bit_10 -b18_bit_9 -b18_bit_8 -b18_bit_7 -b18_bit_6 -b18_bit_5 -b18_bit_4 -b18_bit_3 -b18_bit_2 -b18_bit_1 -b18_bit0 -b18_bit1 -b18_bit2 -b18_bit3 -b18_bit4 -b18_bit5 -b18_bit6 -b18_bit7 -b18_bit8 -b18_bit9 -b18_bit10 -b18_bit11 -b18_bit12 -b18_bit13 -b18_bit14 -b18_bit15 -b18_bit16 -b18_bit17 -b18_bit18 -b18_bit19 -b19_bit_10 -b19_bit_9 -b19_bit_8 -b19_bit_7 -b19_bit_6 -b19_bit_5 -b19_bit_4 -b19_bit_3 -b19_bit_2 -b19_bit_1 -b19_bit0 -b19_bit1 -b19_bit2 -b19_bit3 -b19_bit4 -b19_bit5 -b19_bit6 -b19_bit7 -b19_bit8 -b19_bit9 -b19_bit10 -b19_bit11 -b19_bit12 -b19_bit13 -b19_bit14 -b19_bit15 -b19_bit16 -b19_bit17 -b19_bit18 -b19_bit19 -b20_bit_10 -b20_bit_9 -b20_bit_8 -b20_bit_7 -b20_bit_6 -b20_bit_5 -b20_bit_4 -b20_bit_3 -b20_bit_2 -b20_bit_1 -b20_bit0 -b20_bit1 -b20_bit2 -b20_bit3 -b20_bit4 -b20_bit5 -b20_bit6 -b20_bit7 -b20_bit8 -b20_bit9 -b20_bit10 -b20_bit11 -b20_bit12 -b20_bit13 -b20_bit14 -b20_bit15 -b20_bit16 -b20_bit17 -b20_bit18 -b20_bit19 -b21_bit_10 -b21_bit_9 -b21_bit_8 -b21_bit_7 -b21_bit_6 -b21_bit_5 -b21_bit_4 -b21_bit_3 -b21_bit_2 -b21_bit_1 -b21_bit0 -b21_bit1 -b21_bit2 -b21_bit3 -b21_bit4 -b21_bit5 -b21_bit6 -b21_bit7 -b21_bit8 -b21_bit9 -b21_bit10 -b21_bit11 -b21_bit12 -b21_bit13 -b21_bit14 -b21_bit15 -b21_bit16 -b21_bit17 -b21_bit18 -b21_bit19 -b22_bit_10 -b22_bit_9 -b22_bit_8 -b22_bit_7 -b22_bit_6 -b22_bit_5 -b22_bit_4 -b22_bit_3 -b22_bit_2 -b22_bit_1 -b22_bit0 -b22_bit1 -b22_bit2 -b22_bit3 -b22_bit4 -b22_bit5 -b22_bit6 -b22_bit7 -b22_bit8 -b22_bit9 -b22_bit10 -b22_bit11 -b22_bit12 -b22_bit13 -b22_bit14 -b22_bit15 -b22_bit16 -b22_bit17 -b22_bit18 -b22_bit19 -b23_bit_10 -b23_bit_9 -b23_bit_8 -b23_bit_7 -b23_bit_6 -b23_bit_5 -b23_bit_4 -b23_bit_3 -b23_bit_2 -b23_bit_1 -b23_bit0 -b23_bit1 -b23_bit2 -b23_bit3 -b23_bit4 -b23_bit5 -b23_bit6 -b23_bit7 -b23_bit8 -b23_bit9 -b23_bit10 -b23_bit11 -b23_bit12 -b23_bit13 -b23_bit14 -b23_bit15 -b23_bit16 -b23_bit17 -b23_bit18 -b23_bit19 c1_bit0 c2_bit0 c3_bit0 c4_bit0 c5_bit0 c6_bit0 c7_bit0 -c8_bit0 -c9_bit0 c10_bit0 -c11_bit0 -c12_bit0 -c13_bit0 -c14_bit0 -c15_bit0 -c16_bit0 -c17_bit0 -c18_bit0 c19_bit0 c20_bit0 -c21_bit0 -c22_bit0 -c23_bit0 -f1_bit_10 -f1_bit_9 -f1_bit_8 -f1_bit_7 -f1_bit_6 -f1_bit_5 -f1_bit_4 -f1_bit_3 -f1_bit_2 -f1_bit_1 -f1_bit0 -f1_bit1 -f1_bit2 -f1_bit3 -f1_bit4 -f1_bit5 -f1_bit6 -f1_bit7 -f1_bit8 -f1_bit9 -f1_bit10 -f1_bit11 -f1_bit12 -f1_bit13 -f1_bit14 -f1_bit15 -f1_bit16 -f1_bit17 -f1_bit18 -f1_bit19 f10_bit_10 f10_bit_9 f10_bit_8 f10_bit_7 f10_bit_6 f10_bit_5 f10_bit_4 f10_bit_3 f10_bit_2 f10_bit_1 f10_bit0 f10_bit1 f10_bit2 f10_bit3 f10_bit4 f10_bit5 f10_bit6 -f10_bit7 f10_bit8 -f10_bit9 -f10_bit10 -f10_bit11 -f10_bit12 -f10_bit13 -f10_bit14 -f10_bit15 -f10_bit16 -f10_bit17 -f10_bit18 -f10_bit19 -f12_bit_10 -f12_bit_9 -f12_bit_8 -f12_bit_7 -f12_bit_6 -f12_bit_5 -f12_bit_4 -f12_bit_3 -f12_bit_2 -f12_bit_1 -f12_bit0 -f12_bit1 -f12_bit2 f12_bit3 -f12_bit4 f12_bit5 -f12_bit6 f12_bit7 -f12_bit8 -f12_bit9 -f12_bit10 -f12_bit11 -f12_bit12 -f12_bit13 -f12_bit14 -f12_bit15 -f12_bit16 -f12_bit17 -f12_bit18 -f12_bit19 f13_bit_10 f13_bit_9 f13_bit_8 f13_bit_7 f13_bit_6 -f13_bit_5 -f13_bit_4 -f13_bit_3 f13_bit_2 -f13_bit_1 f13_bit0 -f13_bit1 f13_bit2 f13_bit3 f13_bit4 -f13_bit5 f13_bit6 -f13_bit7 -f13_bit8 -f13_bit9 -f13_bit10 -f13_bit11 -f13_bit12 -f13_bit13 -f13_bit14 -f13_bit15 -f13_bit16 -f13_bit17 -f13_bit18 -f13_bit19 -f15_bit_10 -f15_bit_9 -f15_bit_8 -f15_bit_7 -f15_bit_6 -f15_bit_5 -f15_bit_4 -f15_bit_3 -f15_bit_2 -f15_bit_1 -f15_bit0 -f15_bit1 -f15_bit2 -f15_bit3 -f15_bit4 -f15_bit5 -f15_bit6 -f15_bit7 -f15_bit8 -f15_bit9 -f15_bit10 -f15_bit11 -f15_bit12 -f15_bit13 -f15_bit14 -f15_bit15 -f15_bit16 -f15_bit17 -f15_bit18 -f15_bit19 -f16_bit_10 -f16_bit_9 -f16_bit_8 -f16_bit_7 -f16_bit_6 -f16_bit_5 -f16_bit_4 -f16_bit_3 -f16_bit_2 -f16_bit_1 -f16_bit0 -f16_bit1 -f16_bit2 -f16_bit3 -f16_bit4 -f16_bit5 -f16_bit6 -f16_bit7 -f16_bit8 -f16_bit9 -f16_bit10 -f16_bit11 -f16_bit12 -f16_bit13 -f16_bit14 -f16_bit15 -f16_bit16 -f16_bit17 -f16_bit18 -f16_bit19 -f17_bit_10 -f17_bit_9 -f17_bit_8 -f17_bit_7 -f17_bit_6 -f17_bit_5 -f17_bit_4 -f17_bit_3 -f17_bit_2 -f17_bit_1 -f17_bit0 -f17_bit1 -f17_bit2 -f17_bit3 -f17_bit4 -f17_bit5 -f17_bit6 -f17_bit7 -f17_bit8 -f17_bit9 -f17_bit10 -f17_bit11 -f17_bit12 -f17_bit13 -f17_bit14 -f17_bit15 -f17_bit16 -f17_bit17 -f17_bit18 -f17_bit19 -f2_bit_10 -f2_bit_9 -f2_bit_8 -f2_bit_7 -f2_bit_6 -f2_bit_5 -f2_bit_4 -f2_bit_3 -f2_bit_2 -f2_bit_1 -f2_bit0 -f2_bit1 -f2_bit2 f2_bit3 -f2_bit4 f2_bit5 f2_bit6 f2_bit7 -f2_bit8 f2_bit9 -f2_bit10 -f2_bit11 -f2_bit12 -f2_bit13 -f2_bit14 -f2_bit15 -f2_bit16 -f2_bit17 -f2_bit18 -f2_bit19 -f20_bit_10 -f20_bit_9 -f20_bit_8 -f20_bit_7 -f20_bit_6 -f20_bit_5 -f20_bit_4 -f20_bit_3 -f20_bit_2 -f20_bit_1 -f20_bit0 -f20_bit1 -f20_bit2 f20_bit3 f20_bit4 -f20_bit5 f20_bit6 -f20_bit7 -f20_bit8 f20_bit9 -f20_bit10 -f20_bit11 -f20_bit12 -f20_bit13 -f20_bit14 -f20_bit15 -f20_bit16 -f20_bit17 -f20_bit18 -f20_bit19 -f21_bit_10 -f21_bit_9 -f21_bit_8 -f21_bit_7 -f21_bit_6 -f21_bit_5 -f21_bit_4 -f21_bit_3 -f21_bit_2 -f21_bit_1 -f21_bit0 -f21_bit1 -f21_bit2 -f21_bit3 -f21_bit4 -f21_bit5 -f21_bit6 -f21_bit7 -f21_bit8 -f21_bit9 -f21_bit10 -f21_bit11 -f21_bit12 -f21_bit13 -f21_bit14 -f21_bit15 -f21_bit16 -f21_bit17 -f21_bit18 -f21_bit19 -f3_bit_10 -f3_bit_9 -f3_bit_8 -f3_bit_7 -f3_bit_6 -f3_bit_5 -f3_bit_4 -f3_bit_3 -f3_bit_2 -f3_bit_1 -f3_bit0 -f3_bit1 -f3_bit2 -f3_bit3 -f3_bit4 -f3_bit5 -f3_bit6 -f3_bit7 -f3_bit8 -f3_bit9 -f3_bit10 -f3_bit11 -f3_bit12 -f3_bit13 -f3_bit14 -f3_bit15 -f3_bit16 -f3_bit17 -f3_bit18 -f3_bit19 -f4_bit_10 -f4_bit_9 -f4_bit_8 -f4_bit_7 -f4_bit_6 -f4_bit_5 -f4_bit_4 -f4_bit_3 -f4_bit_2 -f4_bit_1 -f4_bit0 -f4_bit1 -f4_bit2 -f4_bit3 -f4_bit4 -f4_bit5 -f4_bit6 f4_bit7 -f4_bit8 -f4_bit9 -f4_bit10 -f4_bit11 -f4_bit12 -f4_bit13 -f4_bit14 -f4_bit15 -f4_bit16 -f4_bit17 -f4_bit18 -f4_bit19 -f5_bit_10 -f5_bit_9 -f5_bit_8 -f5_bit_7 -f5_bit_6 -f5_bit_5 -f5_bit_4 -f5_bit_3 -f5_bit_2 -f5_bit_1 -f5_bit0 -f5_bit1 -f5_bit2 -f5_bit3 -f5_bit4 -f5_bit5 -f5_bit6 -f5_bit7 -f5_bit8 -f5_bit9 -f5_bit10 f5_bit11 -f5_bit12 -f5_bit13 -f5_bit14 -f5_bit15 -f5_bit16 -f5_bit17 -f5_bit18 -f5_bit19 -f6_bit_10 -f6_bit_9 -f6_bit_8 -f6_bit_7 -f6_bit_6 -f6_bit_5 -f6_bit_4 -f6_bit_3 -f6_bit_2 -f6_bit_1 -f6_bit0 -f6_bit1 -f6_bit2 -f6_bit3 -f6_bit4 -f6_bit5 f6_bit6 f6_bit7 f6_bit8 -f6_bit9 f6_bit10 f6_bit11 f6_bit12 -f6_bit13 f6_bit14 -f6_bit15 -f6_bit16 -f6_bit17 -f6_bit18 -f6_bit19 -f7_bit_10 -f7_bit_9 -f7_bit_8 -f7_bit_7 -f7_bit_6 -f7_bit_5 -f7_bit_4 -f7_bit_3 -f7_bit_2 -f7_bit_1 -f7_bit0 -f7_bit1 -f7_bit2 -f7_bit3 -f7_bit4 -f7_bit5 -f7_bit6 -f7_bit7 -f7_bit8 -f7_bit9 -f7_bit10 -f7_bit11 -f7_bit12 f7_bit13 -f7_bit14 -f7_bit15 -f7_bit16 -f7_bit17 -f7_bit18 -f7_bit19 -f9_bit_10 -f9_bit_9 -f9_bit_8 -f9_bit_7 -f9_bit_6 -f9_bit_5 -f9_bit_4 -f9_bit_3 -f9_bit_2 -f9_bit_1 -f9_bit0 -f9_bit1 -f9_bit2 -f9_bit3 -f9_bit4 -f9_bit5 -f9_bit6 -f9_bit7 -f9_bit8 -f9_bit9 -f9_bit10 -f9_bit11 -f9_bit12 -f9_bit13 -f9_bit14 -f9_bit15 -f9_bit16 -f9_bit17 -f9_bit18 -f9_bit19 
c objective function=3120761045979250
c Total CPU time (ms) : 1229.026

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/15688/stat): 15688 (java) R 15687 15688 30740 0 -1 0 19 0 0 0 0 0 0 0 22 0 1 0 1794310980 159744 3 4294967295 134512640 134569956 3221224464 3221224464 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15688/statm): 39 3 38 16 0 23 0
[pid=15688] 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/15688
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=15689
New thread pid=15690
New thread pid=15691
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=15692
New thread pid=15693
New thread pid=15694
New thread pid=15695
New thread pid=15696
New thread pid=15697
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/wulflinc9/normalized-mps-v2-20-10-bell3a.opb
New thread pid=15698

[startup+10.0029 s]
Raw data (loadavg): 0.78 0.90 0.89 4/66 15698
Raw data (/proc/15688/stat): 15688 (java) R 15687 15688 30740 0 -1 0 18156 0 1 0 675 49 0 0 25 0 11 0 1794310980 867790848 21852 4294967295 134512640 134569956 3221224336 3221214464 1131504297 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15688/statm): 211863 21852 13129 16 0 211847 0
[pid=15688] vsize: 847452
Current children cumulated CPU time (s) 7.24
Current children cumulated vsize (Kb) 847452

[startup+20.0037 s]
Raw data (loadavg): 0.96 0.94 0.90 2/66 15698
Raw data (/proc/15688/stat): 15688 (java) R 15687 15688 30740 0 -1 0 18167 0 1 0 1629 49 0 0 25 0 11 0 1794310980 867758080 22351 4294967295 134512640 134569956 3221224336 3221214488 1131548791 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15688/statm): 211855 22351 13129 16 0 211839 0
[pid=15688] vsize: 847420
Current children cumulated CPU time (s) 16.78
Current children cumulated vsize (Kb) 847420

[startup+30.0044 s]
Raw data (loadavg): 1.12 0.97 0.91 2/66 15698
Raw data (/proc/15688/stat): 15688 (java) R 15687 15688 30740 0 -1 0 18176 0 1 0 2597 50 0 0 25 0 11 0 1794310980 867758080 22453 4294967295 134512640 134569956 3221224336 3221214056 1131568117 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15688/statm): 211855 22453 13129 16 0 211839 0
[pid=15688] vsize: 847420
Current children cumulated CPU time (s) 26.47
Current children cumulated vsize (Kb) 847420

[startup+40.0042 s]
Raw data (loadavg): 1.10 0.97 0.91 2/66 15698
Raw data (/proc/15688/stat): 15688 (java) R 15687 15688 30740 0 -1 0 18183 0 1 0 3560 50 0 0 25 0 11 0 1794310980 867758080 22757 4294967295 134512640 134569956 3221224336 3221214348 1076632640 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15688/statm): 211855 22757 13129 16 0 211839 0
[pid=15688] vsize: 847420
Current children cumulated CPU time (s) 36.1
Current children cumulated vsize (Kb) 847420

[startup+50.005 s]
Raw data (loadavg): 1.08 0.97 0.91 2/66 15698
Raw data (/proc/15688/stat): 15688 (java) R 15687 15688 30740 0 -1 0 18190 0 1 0 4514 51 0 0 25 0 11 0 1794310980 867758080 23110 4294967295 134512640 134569956 3221224336 3221214576 1131458992 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15688/statm): 211855 23110 13129 16 0 211839 0
[pid=15688] vsize: 847420
Current children cumulated CPU time (s) 45.65
Current children cumulated vsize (Kb) 847420
One traced child (pid=15698) exited with status: 0
New thread pid=15699

[startup+60.0057 s]
Raw data (loadavg): 1.07 0.97 0.91 2/66 15699
Raw data (/proc/15688/stat): 15688 (java) R 15687 15688 30740 0 -1 0 18248 5 1 0 5457 52 0 0 25 0 11 0 1794310980 867758080 23730 4294967295 134512640 134569956 3221224336 3221214456 1131486117 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15688/statm): 211855 23730 13129 16 0 211839 0
[pid=15688] vsize: 847420
Current children cumulated CPU time (s) 55.09
Current children cumulated vsize (Kb) 847420

[startup+70.0055 s]
Raw data (loadavg): 1.06 0.97 0.91 2/66 15699
Raw data (/proc/15688/stat): 15688 (java) S 15687 15688 30740 0 -1 0 18254 5 1 0 6404 52 0 0 25 0 11 0 1794310980 867758080 23737 4294967295 134512640 134569956 3221224336 3221213400 1073943035 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15688/statm): 211855 23737 13129 16 0 211839 0
[pid=15688] vsize: 847420
Current children cumulated CPU time (s) 64.56
Current children cumulated vsize (Kb) 847420
One traced child (pid=15699) exited with status: 0
New thread pid=15700

[startup+80.0073 s]
Raw data (loadavg): 1.05 0.97 0.91 2/66 15700
Raw data (/proc/15688/stat): 15688 (java) R 15687 15688 30740 0 -1 0 18263 5 1 0 7349 53 0 0 17 0 11 0 1794310980 867758080 23852 4294967295 134512640 134569956 3221224336 3221214488 1131378492 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15688/statm): 211855 23852 13129 16 0 211839 0
[pid=15688] vsize: 847420
Current children cumulated CPU time (s) 74.02
Current children cumulated vsize (Kb) 847420

[startup+90.008 s]
Raw data (loadavg): 1.04 0.97 0.91 2/66 15700
Raw data (/proc/15688/stat): 15688 (java) R 15687 15688 30740 0 -1 0 18270 5 1 0 8291 53 0 0 22 0 11 0 1794310980 867758080 24011 4294967295 134512640 134569956 3221224336 3221214576 1131511434 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15688/statm): 211855 24011 13129 16 0 211839 0
[pid=15688] vsize: 847420
Current children cumulated CPU time (s) 83.44
Current children cumulated vsize (Kb) 847420
One traced child (pid=15700) exited with status: 0
New thread pid=15701

[startup+100.009 s]
Raw data (loadavg): 1.03 0.97 0.91 2/66 15701
Raw data (/proc/15688/stat): 15688 (java) R 15687 15688 30740 0 -1 0 18278 5 1 0 9233 53 0 0 17 0 11 0 1794310980 867758080 24333 4294967295 134512640 134569956 3221224336 3221214552 1131737477 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15688/statm): 211855 24333 13129 16 0 211839 0
[pid=15688] vsize: 847420
Current children cumulated CPU time (s) 92.86
Current children cumulated vsize (Kb) 847420

[startup+110.01 s]
Raw data (loadavg): 1.03 0.97 0.91 2/66 15701
Raw data (/proc/15688/stat): 15688 (java) R 15687 15688 30740 0 -1 0 18286 5 1 0 10186 54 0 0 24 0 11 0 1794310980 867758080 24539 4294967295 134512640 134569956 3221224336 3221214672 1131523426 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15688/statm): 211855 24539 13129 16 0 211839 0
[pid=15688] vsize: 847420
Current children cumulated CPU time (s) 102.4
Current children cumulated vsize (Kb) 847420

[startup+120.009 s]
Raw data (loadavg): 1.02 0.97 0.91 2/66 15701
Raw data (/proc/15688/stat): 15688 (java) R 15687 15688 30740 0 -1 0 18296 5 1 0 11143 54 0 0 25 0 11 0 1794310980 867758080 24674 4294967295 134512640 134569956 3221224336 3221214576 1131510429 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15688/statm): 211855 24674 13129 16 0 211839 0
[pid=15688] vsize: 847420
Current children cumulated CPU time (s) 111.97
Current children cumulated vsize (Kb) 847420

[startup+130.01 s]
Raw data (loadavg): 1.02 0.97 0.91 2/66 15701
Raw data (/proc/15688/stat): 15688 (java) R 15687 15688 30740 0 -1 0 18307 5 1 0 12105 54 0 0 23 0 11 0 1794310980 867758080 24812 4294967295 134512640 134569956 3221224336 3221214576 1131511084 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15688/statm): 211855 24812 13129 16 0 211839 0
[pid=15688] vsize: 847420
Current children cumulated CPU time (s) 121.59
Current children cumulated vsize (Kb) 847420

[startup+140.011 s]
Raw data (loadavg): 1.02 0.97 0.91 2/66 15701
Raw data (/proc/15688/stat): 15688 (java) R 15687 15688 30740 0 -1 0 18317 5 1 0 13079 55 0 0 20 0 11 0 1794310980 867758080 24898 4294967295 134512640 134569956 3221224336 3221214576 1131511062 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15688/statm): 211855 24898 13129 16 0 211839 0
[pid=15688] vsize: 847420
Current children cumulated CPU time (s) 131.34
Current children cumulated vsize (Kb) 847420

[startup+150.012 s]
Raw data (loadavg): 1.01 0.97 0.91 2/66 15701
Raw data (/proc/15688/stat): 15688 (java) R 15687 15688 30740 0 -1 0 18328 5 1 0 14054 55 0 0 24 0 11 0 1794310980 867758080 24980 4294967295 134512640 134569956 3221224336 3221214576 1131510489 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15688/statm): 211855 24980 13129 16 0 211839 0
[pid=15688] vsize: 847420
Current children cumulated CPU time (s) 141.09
Current children cumulated vsize (Kb) 847420

[startup+160.012 s]
Raw data (loadavg): 1.01 0.97 0.91 2/66 15701
Raw data (/proc/15688/stat): 15688 (java) R 15687 15688 30740 0 -1 0 18338 5 1 0 15032 56 0 0 25 0 11 0 1794310980 867758080 25043 4294967295 134512640 134569956 3221224336 3221214576 1131510425 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15688/statm): 211855 25043 13129 16 0 211839 0
[pid=15688] vsize: 847420
Current children cumulated CPU time (s) 150.88
Current children cumulated vsize (Kb) 847420

[startup+170.013 s]
Raw data (loadavg): 1.01 0.97 0.91 2/66 15701
Raw data (/proc/15688/stat): 15688 (java) R 15687 15688 30740 0 -1 0 18349 5 1 0 16012 56 0 0 25 0 11 0 1794310980 867758080 25095 4294967295 134512640 134569956 3221224336 3221214672 1131523141 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15688/statm): 211855 25095 13129 16 0 211839 0
[pid=15688] vsize: 847420
Current children cumulated CPU time (s) 160.68
Current children cumulated vsize (Kb) 847420

[startup+180.015 s]
Raw data (loadavg): 1.01 0.97 0.91 2/66 15701
Raw data (/proc/15688/stat): 15688 (java) R 15687 15688 30740 0 -1 0 18360 5 1 0 16993 56 0 0 23 0 11 0 1794310980 867758080 25148 4294967295 134512640 134569956 3221224336 3221214712 1131476159 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15688/statm): 211855 25148 13129 16 0 211839 0
[pid=15688] vsize: 847420
Current children cumulated CPU time (s) 170.49
Current children cumulated vsize (Kb) 847420

[startup+190.016 s]
Raw data (loadavg): 1.00 0.97 0.91 2/66 15701
Raw data (/proc/15688/stat): 15688 (java) R 15687 15688 30740 0 -1 0 18370 5 1 0 17976 56 0 0 25 0 11 0 1794310980 867758080 25181 4294967295 134512640 134569956 3221224336 3221214576 1131511084 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15688/statm): 211855 25181 13129 16 0 211839 0
[pid=15688] vsize: 847420
Current children cumulated CPU time (s) 180.32
Current children cumulated vsize (Kb) 847420

[startup+200.018 s]
Raw data (loadavg): 1.00 0.97 0.91 2/66 15701
Raw data (/proc/15688/stat): 15688 (java) R 15687 15688 30740 0 -1 0 18381 5 1 0 18958 57 0 0 25 0 11 0 1794310980 867758080 25218 4294967295 134512640 134569956 3221224336 3221214576 1131510470 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15688/statm): 211855 25218 13129 16 0 211839 0
[pid=15688] vsize: 847420
Current children cumulated CPU time (s) 190.15
Current children cumulated vsize (Kb) 847420

[startup+210.018 s]
Raw data (loadavg): 1.00 0.97 0.91 2/66 15701
Raw data (/proc/15688/stat): 15688 (java) R 15687 15688 30740 0 -1 0 18392 5 1 0 19939 57 0 0 25 0 11 0 1794310980 867758080 25255 4294967295 134512640 134569956 3221224336 3221214624 1131592700 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15688/statm): 211855 25255 13129 16 0 211839 0
[pid=15688] vsize: 847420
Current children cumulated CPU time (s) 199.96
Current children cumulated vsize (Kb) 847420

[startup+220.019 s]
Raw data (loadavg): 1.00 0.97 0.91 2/66 15701
Raw data (/proc/15688/stat): 15688 (java) R 15687 15688 30740 0 -1 0 18403 5 1 0 20919 58 0 0 23 0 11 0 1794310980 867758080 25292 4294967295 134512640 134569956 3221224336 3221214576 1131510847 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15688/statm): 211855 25292 13129 16 0 211839 0
[pid=15688] vsize: 847420
Current children cumulated CPU time (s) 209.77
Current children cumulated vsize (Kb) 847420

[startup+230.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/66 15701
Raw data (/proc/15688/stat): 15688 (java) R 15687 15688 30740 0 -1 0 18413 5 1 0 21902 58 0 0 22 0 11 0 1794310980 867758080 25330 4294967295 134512640 134569956 3221224336 3221214512 1131491988 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15688/statm): 211855 25330 13129 16 0 211839 0
[pid=15688] vsize: 847420
Current children cumulated CPU time (s) 219.6
Current children cumulated vsize (Kb) 847420

[startup+240.021 s]
Raw data (loadavg): 1.00 0.97 0.91 2/66 15701
Raw data (/proc/15688/stat): 15688 (java) R 15687 15688 30740 0 -1 0 18424 5 1 0 22884 59 0 0 25 0 11 0 1794310980 867758080 25372 4294967295 134512640 134569956 3221224336 3221214624 1131352125 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15688/statm): 211855 25372 13129 16 0 211839 0
[pid=15688] vsize: 847420
Current children cumulated CPU time (s) 229.43
Current children cumulated vsize (Kb) 847420

[startup+250.022 s]
Raw data (loadavg): 1.00 0.97 0.91 2/66 15701
Raw data (/proc/15688/stat): 15688 (java) R 15687 15688 30740 0 -1 0 18435 5 1 0 23867 59 0 0 25 0 11 0 1794310980 867758080 25416 4294967295 134512640 134569956 3221224336 3221214576 1131510881 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15688/statm): 211855 25416 13129 16 0 211839 0
[pid=15688] vsize: 847420
Current children cumulated CPU time (s) 239.26
Current children cumulated vsize (Kb) 847420

[startup+260.023 s]
Raw data (loadavg): 1.00 0.97 0.91 2/66 15701
Raw data (/proc/15688/stat): 15688 (java) R 15687 15688 30740 0 -1 0 18446 5 1 0 24849 60 0 0 25 0 11 0 1794310980 867758080 25446 4294967295 134512640 134569956 3221224336 3221214624 1131352251 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15688/statm): 211855 25446 13129 16 0 211839 0
[pid=15688] vsize: 847420
Current children cumulated CPU time (s) 249.09
Current children cumulated vsize (Kb) 847420

[startup+270.024 s]
Raw data (loadavg): 1.00 0.97 0.91 2/66 15701
Raw data (/proc/15688/stat): 15688 (java) R 15687 15688 30740 0 -1 0 18457 5 1 0 25833 61 0 0 24 0 11 0 1794310980 867758080 25480 4294967295 134512640 134569956 3221224336 3221214576 1131511010 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15688/statm): 211855 25480 13129 16 0 211839 0
[pid=15688] vsize: 847420
Current children cumulated CPU time (s) 258.94
Current children cumulated vsize (Kb) 847420

[startup+280.026 s]
Raw data (loadavg): 1.00 0.97 0.91 2/66 15701
Raw data (/proc/15688/stat): 15688 (java) R 15687 15688 30740 0 -1 0 18467 5 1 0 26819 61 0 0 25 0 11 0 1794310980 867758080 25513 4294967295 134512640 134569956 3221224336 3221214576 1131510881 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15688/statm): 211855 25513 13129 16 0 211839 0
[pid=15688] vsize: 847420
Current children cumulated CPU time (s) 268.8
Current children cumulated vsize (Kb) 847420

[startup+290.027 s]
Raw data (loadavg): 1.00 0.97 0.91 2/66 15701
Raw data (/proc/15688/stat): 15688 (java) R 15687 15688 30740 0 -1 0 18478 5 1 0 27804 62 0 0 22 0 11 0 1794310980 867758080 25538 4294967295 134512640 134569956 3221224336 3221214576 1131511167 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15688/statm): 211855 25538 13129 16 0 211839 0
[pid=15688] vsize: 847420
Current children cumulated CPU time (s) 278.66
Current children cumulated vsize (Kb) 847420

[startup+300.027 s]
Raw data (loadavg): 1.00 0.97 0.91 2/66 15701
Raw data (/proc/15688/stat): 15688 (java) R 15687 15688 30740 0 -1 0 18489 5 1 0 28790 62 0 0 20 0 11 0 1794310980 867758080 25559 4294967295 134512640 134569956 3221224336 3221214576 1131510845 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15688/statm): 211855 25559 13129 16 0 211839 0
[pid=15688] vsize: 847420
Current children cumulated CPU time (s) 288.52
Current children cumulated vsize (Kb) 847420

[startup+310.028 s]
Raw data (loadavg): 1.00 0.97 0.91 2/66 15701
Raw data (/proc/15688/stat): 15688 (java) R 15687 15688 30740 0 -1 0 18500 5 1 0 29776 62 0 0 25 0 11 0 1794310980 867758080 25581 4294967295 134512640 134569956 3221224336 3221214576 1131510881 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15688/statm): 211855 25581 13129 16 0 211839 0
[pid=15688] vsize: 847420
Current children cumulated CPU time (s) 298.38
Current children cumulated vsize (Kb) 847420

[startup+320.029 s]
Raw data (loadavg): 1.00 0.97 0.91 2/66 15701
Raw data (/proc/15688/stat): 15688 (java) R 15687 15688 30740 0 -1 0 18511 5 1 0 30762 62 0 0 19 0 11 0 1794310980 867758080 25605 4294967295 134512640 134569956 3221224336 3221214340 1131055572 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15688/statm): 211855 25605 13129 16 0 211839 0
[pid=15688] vsize: 847420
Current children cumulated CPU time (s) 308.24
Current children cumulated vsize (Kb) 847420

[startup+330.03 s]
Raw data (loadavg): 1.00 0.97 0.91 2/66 15701
Raw data (/proc/15688/stat): 15688 (java) R 15687 15688 30740 0 -1 0 18522 5 1 0 31748 62 0 0 25 0 11 0 1794310980 867758080 25624 4294967295 134512640 134569956 3221224336 3221214576 1131510810 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15688/statm): 211855 25624 13129 16 0 211839 0
[pid=15688] vsize: 847420
Current children cumulated CPU time (s) 318.1
Current children cumulated vsize (Kb) 847420

[startup+340.031 s]
Raw data (loadavg): 1.00 0.97 0.91 2/66 15701
Raw data (/proc/15688/stat): 15688 (java) R 15687 15688 30740 0 -1 0 18533 5 1 0 32734 63 0 0 17 0 11 0 1794310980 867758080 25648 4294967295 134512640 134569956 3221224336 3221214624 1131352128 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15688/statm): 211855 25648 13129 16 0 211839 0
[pid=15688] vsize: 847420
Current children cumulated CPU time (s) 327.97
Current children cumulated vsize (Kb) 847420

[startup+350.032 s]
Raw data (loadavg): 1.00 0.97 0.91 2/66 15701
Raw data (/proc/15688/stat): 15688 (java) R 15687 15688 30740 0 -1 0 18544 5 1 0 33720 64 0 0 16 0 11 0 1794310980 867758080 25667 4294967295 134512640 134569956 3221224336 3221214672 1131522981 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15688/statm): 211855 25667 13129 16 0 211839 0
[pid=15688] vsize: 847420
Current children cumulated CPU time (s) 337.84
Current children cumulated vsize (Kb) 847420

[startup+360.033 s]
Raw data (loadavg): 1.00 0.97 0.91 2/66 15701
Raw data (/proc/15688/stat): 15688 (java) R 15687 15688 30740 0 -1 0 18555 5 1 0 34707 65 0 0 24 0 11 0 1794310980 867758080 25685 4294967295 134512640 134569956 3221224336 3221214624 1131352149 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15688/statm): 211855 25685 13129 16 0 211839 0
[pid=15688] vsize: 847420
Current children cumulated CPU time (s) 347.72
Current children cumulated vsize (Kb) 847420

[startup+370.034 s]
Raw data (loadavg): 1.00 0.97 0.91 2/66 15701
Raw data (/proc/15688/stat): 15688 (java) R 15687 15688 30740 0 -1 0 18566 5 1 0 35693 65 0 0 24 0 11 0 1794310980 867758080 25703 4294967295 134512640 134569956 3221224336 3221214624 1131352125 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15688/statm): 211855 25703 13129 16 0 211839 0
[pid=15688] vsize: 847420
Current children cumulated CPU time (s) 357.58
Current children cumulated vsize (Kb) 847420

[startup+380.035 s]
Raw data (loadavg): 1.00 0.97 0.91 2/66 15701
Raw data (/proc/15688/stat): 15688 (java) R 15687 15688 30740 0 -1 0 18577 5 1 0 36679 66 0 0 16 0 11 0 1794310980 867758080 25722 4294967295 134512640 134569956 3221224336 3221214624 1131352149 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15688/statm): 211855 25722 13129 16 0 211839 0
[pid=15688] vsize: 847420
Current children cumulated CPU time (s) 367.45
Current children cumulated vsize (Kb) 847420

[startup+390.035 s]
Raw data (loadavg): 1.00 0.97 0.91 2/66 15701
Raw data (/proc/15688/stat): 15688 (java) R 15687 15688 30740 0 -1 0 18588 5 1 0 37665 67 0 0 24 0 11 0 1794310980 867758080 25744 4294967295 134512640 134569956 3221224336 3221214576 1131510548 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15688/statm): 211855 25744 13129 16 0 211839 0
[pid=15688] vsize: 847420
Current children cumulated CPU time (s) 377.32
Current children cumulated vsize (Kb) 847420

[startup+400.036 s]
Raw data (loadavg): 1.00 0.97 0.91 2/66 15701
Raw data (/proc/15688/stat): 15688 (java) R 15687 15688 30740 0 -1 0 18599 5 1 0 38651 68 0 0 16 0 11 0 1794310980 867758080 25762 4294967295 134512640 134569956 3221224336 3221214576 1131511066 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15688/statm): 211855 25762 13129 16 0 211839 0
[pid=15688] vsize: 847420
Current children cumulated CPU time (s) 387.19
Current children cumulated vsize (Kb) 847420

[startup+410.037 s]
Raw data (loadavg): 1.00 0.97 0.91 2/66 15701
Raw data (/proc/15688/stat): 15688 (java) R 15687 15688 30740 0 -1 0 18610 5 1 0 39638 68 0 0 17 0 11 0 1794310980 867758080 25777 4294967295 134512640 134569956 3221224336 3221214576 1131510823 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15688/statm): 211855 25777 13129 16 0 211839 0
[pid=15688] vsize: 847420
Current children cumulated CPU time (s) 397.06
Current children cumulated vsize (Kb) 847420

[startup+420.038 s]
Raw data (loadavg): 1.00 0.97 0.91 2/66 15701
Raw data (/proc/15688/stat): 15688 (java) R 15687 15688 30740 0 -1 0 18621 5 1 0 40625 68 0 0 25 0 11 0 1794310980 867758080 25796 4294967295 134512640 134569956 3221224336 3221214624 1131352125 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15688/statm): 211855 25796 13129 16 0 211839 0
[pid=15688] vsize: 847420
Current children cumulated CPU time (s) 406.93
Current children cumulated vsize (Kb) 847420

[startup+430.039 s]
Raw data (loadavg): 1.00 0.97 0.91 2/66 15701
Raw data (/proc/15688/stat): 15688 (java) R 15687 15688 30740 0 -1 0 18632 5 1 0 41612 68 0 0 17 0 11 0 1794310980 867758080 25814 4294967295 134512640 134569956 3221224336 3221214624 1131352145 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15688/statm): 211855 25814 13129 16 0 211839 0
[pid=15688] vsize: 847420
Current children cumulated CPU time (s) 416.8
Current children cumulated vsize (Kb) 847420

[startup+440.039 s]
Raw data (loadavg): 1.00 0.97 0.91 2/66 15701
Raw data (/proc/15688/stat): 15688 (java) R 15687 15688 30740 0 -1 0 18643 5 1 0 42599 69 0 0 25 0 11 0 1794310980 867758080 25833 4294967295 134512640 134569956 3221224336 3221214576 1131510523 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15688/statm): 211855 25833 13129 16 0 211839 0
[pid=15688] vsize: 847420
Current children cumulated CPU time (s) 426.68
Current children cumulated vsize (Kb) 847420

[startup+450.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/66 15701
Raw data (/proc/15688/stat): 15688 (java) R 15687 15688 30740 0 -1 0 18654 5 1 0 43585 70 0 0 18 0 11 0 1794310980 867758080 25851 4294967295 134512640 134569956 3221224336 3221214576 1131510990 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15688/statm): 211855 25851 13129 16 0 211839 0
[pid=15688] vsize: 847420
Current children cumulated CPU time (s) 436.55
Current children cumulated vsize (Kb) 847420

[startup+460.041 s]
Raw data (loadavg): 1.00 0.97 0.91 2/66 15701
Raw data (/proc/15688/stat): 15688 (java) R 15687 15688 30740 0 -1 0 18665 5 1 0 44572 70 0 0 25 0 11 0 1794310980 867758080 25864 4294967295 134512640 134569956 3221224336 3221214576 1131510429 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15688/statm): 211855 25864 13129 16 0 211839 0
[pid=15688] vsize: 847420
Current children cumulated CPU time (s) 446.42
Current children cumulated vsize (Kb) 847420

[startup+470.042 s]
Raw data (loadavg): 1.00 0.97 0.91 2/66 15701
Raw data (/proc/15688/stat): 15688 (java) R 15687 15688 30740 0 -1 0 18676 5 1 0 45559 70 0 0 25 0 11 0 1794310980 867758080 25883 4294967295 134512640 134569956 3221224336 3221214576 1131510845 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15688/statm): 211855 25883 13129 16 0 211839 0
[pid=15688] vsize: 847420
Current children cumulated CPU time (s) 456.29
Current children cumulated vsize (Kb) 847420

[startup+480.043 s]
Raw data (loadavg): 1.00 0.97 0.91 2/66 15701
Raw data (/proc/15688/stat): 15688 (java) R 15687 15688 30740 0 -1 0 18687 5 1 0 46545 71 0 0 19 0 11 0 1794310980 867758080 25901 4294967295 134512640 134569956 3221224336 3221214576 1131510881 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15688/statm): 211855 25901 13129 16 0 211839 0
[pid=15688] vsize: 847420
Current children cumulated CPU time (s) 466.16
Current children cumulated vsize (Kb) 847420

[startup+490.043 s]
Raw data (loadavg): 1.00 0.97 0.91 2/66 15701
Raw data (/proc/15688/stat): 15688 (java) R 15687 15688 30740 0 -1 0 18698 5 1 0 47529 72 0 0 25 0 11 0 1794310980 867758080 25913 4294967295 134512640 134569956 3221224336 3221214624 1131352145 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15688/statm): 211855 25913 13129 16 0 211839 0
[pid=15688] vsize: 847420
Current children cumulated CPU time (s) 476.01
Current children cumulated vsize (Kb) 847420

[startup+500.044 s]
Raw data (loadavg): 1.00 0.97 0.91 2/66 15701
Raw data (/proc/15688/stat): 15688 (java) R 15687 15688 30740 0 -1 0 18709 5 1 0 48513 72 0 0 19 0 11 0 1794310980 867758080 25933 4294967295 134512640 134569956 3221224336 3221214576 1131510881 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15688/statm): 211855 25933 13129 16 0 211839 0
[pid=15688] vsize: 847420
Current children cumulated CPU time (s) 485.85
Current children cumulated vsize (Kb) 847420

[startup+510.045 s]
Raw data (loadavg): 1.00 0.97 0.91 2/66 15701
Raw data (/proc/15688/stat): 15688 (java) R 15687 15688 30740 0 -1 0 18720 5 1 0 49496 73 0 0 25 0 11 0 1794310980 867758080 25956 4294967295 134512640 134569956 3221224336 3221214576 1131511329 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15688/statm): 211855 25956 13129 16 0 211839 0
[pid=15688] vsize: 847420
Current children cumulated CPU time (s) 495.69
Current children cumulated vsize (Kb) 847420

[startup+520.046 s]
Raw data (loadavg): 1.07 0.99 0.91 2/66 15701
Raw data (/proc/15688/stat): 15688 (java) R 15687 15688 30740 0 -1 0 18731 5 1 0 50481 73 0 0 20 0 11 0 1794310980 867758080 25992 4294967295 134512640 134569956 3221224336 3221214576 1131511446 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15688/statm): 211855 25992 13129 16 0 211839 0
[pid=15688] vsize: 847420
Current children cumulated CPU time (s) 505.54
Current children cumulated vsize (Kb) 847420

[startup+530.049 s]
Raw data (loadavg): 1.06 0.99 0.91 2/66 15701
Raw data (/proc/15688/stat): 15688 (java) R 15687 15688 30740 0 -1 0 18742 5 1 0 51464 74 0 0 20 0 11 0 1794310980 867758080 26020 4294967295 134512640 134569956 3221224336 3221214576 1131510881 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15688/statm): 211855 26020 13129 16 0 211839 0
[pid=15688] vsize: 847420
Current children cumulated CPU time (s) 515.38
Current children cumulated vsize (Kb) 847420

[startup+540.05 s]
Raw data (loadavg): 1.05 0.99 0.91 2/66 15701
Raw data (/proc/15688/stat): 15688 (java) R 15687 15688 30740 0 -1 0 18753 5 1 0 52448 75 0 0 25 0 11 0 1794310980 867758080 26049 4294967295 134512640 134569956 3221224336 3221214672 1131523993 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15688/statm): 211855 26049 13129 16 0 211839 0
[pid=15688] vsize: 847420
Current children cumulated CPU time (s) 525.23
Current children cumulated vsize (Kb) 847420

[startup+550.051 s]
Raw data (loadavg): 1.04 0.99 0.91 2/66 15701
Raw data (/proc/15688/stat): 15688 (java) R 15687 15688 30740 0 -1 0 18764 5 1 0 53432 75 0 0 20 0 11 0 1794310980 867758080 26071 4294967295 134512640 134569956 3221224336 3221214576 1131510928 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15688/statm): 211855 26071 13129 16 0 211839 0
[pid=15688] vsize: 847420
Current children cumulated CPU time (s) 535.07
Current children cumulated vsize (Kb) 847420

[startup+560.052 s]
Raw data (loadavg): 1.04 0.99 0.91 2/66 15701
Raw data (/proc/15688/stat): 15688 (java) R 15687 15688 30740 0 -1 0 18775 5 1 0 54417 75 0 0 21 0 11 0 1794310980 867758080 26091 4294967295 134512640 134569956 3221224336 3221214576 1131510441 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15688/statm): 211855 26091 13129 16 0 211839 0
[pid=15688] vsize: 847420
Current children cumulated CPU time (s) 544.92
Current children cumulated vsize (Kb) 847420

[startup+570.053 s]
Raw data (loadavg): 1.03 0.99 0.91 2/66 15701
Raw data (/proc/15688/stat): 15688 (java) R 15687 15688 30740 0 -1 0 18786 5 1 0 55402 76 0 0 23 0 11 0 1794310980 867758080 26122 4294967295 134512640 134569956 3221224336 3221214672 1131523141 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15688/statm): 211855 26122 13129 16 0 211839 0
[pid=15688] vsize: 847420
Current children cumulated CPU time (s) 554.78
Current children cumulated vsize (Kb) 847420

[startup+580.054 s]
Raw data (loadavg): 1.02 0.99 0.91 2/66 15701
Raw data (/proc/15688/stat): 15688 (java) R 15687 15688 30740 0 -1 0 18797 5 1 0 56386 76 0 0 25 0 11 0 1794310980 867758080 26141 4294967295 134512640 134569956 3221224336 3221214576 1131510433 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15688/statm): 211855 26141 13129 16 0 211839 0
[pid=15688] vsize: 847420
Current children cumulated CPU time (s) 564.62
Current children cumulated vsize (Kb) 847420

[startup+590.055 s]
Raw data (loadavg): 1.02 0.99 0.91 2/66 15701
Raw data (/proc/15688/stat): 15688 (java) R 15687 15688 30740 0 -1 0 18808 5 1 0 57370 77 0 0 25 0 11 0 1794310980 867758080 26155 4294967295 134512640 134569956 3221224336 3221214720 1131363865 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15688/statm): 211855 26155 13129 16 0 211839 0
[pid=15688] vsize: 847420
Current children cumulated CPU time (s) 574.47
Current children cumulated vsize (Kb) 847420

[startup+600.056 s]
Raw data (loadavg): 1.02 0.99 0.91 2/66 15701
Raw data (/proc/15688/stat): 15688 (java) R 15687 15688 30740 0 -1 0 18819 5 1 0 58354 77 0 0 25 0 11 0 1794310980 867758080 26192 4294967295 134512640 134569956 3221224336 3221214624 1131352128 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15688/statm): 211855 26192 13129 16 0 211839 0
[pid=15688] vsize: 847420
Current children cumulated CPU time (s) 584.31
Current children cumulated vsize (Kb) 847420

[startup+610.057 s]
Raw data (loadavg): 1.01 0.99 0.91 2/66 15701
Raw data (/proc/15688/stat): 15688 (java) R 15687 15688 30740 0 -1 0 18831 5 1 0 59339 78 0 0 24 0 11 0 1794310980 867758080 26215 4294967295 134512640 134569956 3221224336 3221214624 1131352145 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15688/statm): 211855 26215 13129 16 0 211839 0
[pid=15688] vsize: 847420
Current children cumulated CPU time (s) 594.17
Current children cumulated vsize (Kb) 847420

[startup+620.058 s]
Raw data (loadavg): 1.01 0.99 0.91 2/66 15701
Raw data (/proc/15688/stat): 15688 (java) R 15687 15688 30740 0 -1 0 18842 5 1 0 60325 78 0 0 25 0 11 0 1794310980 867758080 26234 4294967295 134512640 134569956 3221224336 3221214576 1131510429 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15688/statm): 211855 26234 13129 16 0 211839 0
[pid=15688] vsize: 847420
Current children cumulated CPU time (s) 604.03
Current children cumulated vsize (Kb) 847420

[startup+630.06 s]
Raw data (loadavg): 1.01 0.99 0.91 2/66 15701
Raw data (/proc/15688/stat): 15688 (java) R 15687 15688 30740 0 -1 0 18853 5 1 0 61311 79 0 0 17 0 11 0 1794310980 867758080 26246 4294967295 134512640 134569956 3221224336 3221214576 1131510845 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15688/statm): 211855 26246 13129 16 0 211839 0
[pid=15688] vsize: 847420
Current children cumulated CPU time (s) 613.9
Current children cumulated vsize (Kb) 847420

[startup+640.061 s]
Raw data (loadavg): 1.01 0.99 0.91 2/66 15701
Raw data (/proc/15688/stat): 15688 (java) R 15687 15688 30740 0 -1 0 18864 5 1 0 62298 79 0 0 17 0 11 0 1794310980 867758080 26264 4294967295 134512640 134569956 3221224336 3221214576 1131511359 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15688/statm): 211855 26264 13129 16 0 211839 0
[pid=15688] vsize: 847420
Current children cumulated CPU time (s) 623.77
Current children cumulated vsize (Kb) 847420

[startup+650.062 s]
Raw data (loadavg): 1.01 0.99 0.91 2/66 15701
Raw data (/proc/15688/stat): 15688 (java) R 15687 15688 30740 0 -1 0 18875 5 1 0 63284 80 0 0 25 0 11 0 1794310980 867758080 26277 4294967295 134512640 134569956 3221224336 3221214624 1131352353 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15688/statm): 211855 26277 13129 16 0 211839 0
[pid=15688] vsize: 847420
Current children cumulated CPU time (s) 633.64
Current children cumulated vsize (Kb) 847420

[startup+660.062 s]
Raw data (loadavg): 1.00 0.99 0.91 2/66 15701
Raw data (/proc/15688/stat): 15688 (java) R 15687 15688 30740 0 -1 0 18886 5 1 0 64271 80 0 0 19 0 11 0 1794310980 867758080 26289 4294967295 134512640 134569956 3221224336 3221214576 1131511446 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15688/statm): 211855 26289 13129 16 0 211839 0
[pid=15688] vsize: 847420
Current children cumulated CPU time (s) 643.51
Current children cumulated vsize (Kb) 847420

[startup+670.063 s]
Raw data (loadavg): 1.00 0.99 0.91 2/66 15701
Raw data (/proc/15688/stat): 15688 (java) R 15687 15688 30740 0 -1 0 18897 5 1 0 65258 80 0 0 18 0 11 0 1794310980 867758080 26301 4294967295 134512640 134569956 3221224336 3221214576 1131511092 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15688/statm): 211855 26301 13129 16 0 211839 0
[pid=15688] vsize: 847420
Current children cumulated CPU time (s) 653.38
Current children cumulated vsize (Kb) 847420

[startup+680.064 s]
Raw data (loadavg): 1.00 0.99 0.91 2/66 15701
Raw data (/proc/15688/stat): 15688 (java) R 15687 15688 30740 0 -1 0 18908 5 1 0 66245 81 0 0 25 0 11 0 1794310980 867758080 26314 4294967295 134512640 134569956 3221224336 3221214576 1131511313 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15688/statm): 211855 26314 13129 16 0 211839 0
[pid=15688] vsize: 847420
Current children cumulated CPU time (s) 663.26
Current children cumulated vsize (Kb) 847420

[startup+690.065 s]
Raw data (loadavg): 1.00 0.99 0.91 2/66 15701
Raw data (/proc/15688/stat): 15688 (java) R 15687 15688 30740 0 -1 0 18919 5 1 0 67232 81 0 0 25 0 11 0 1794310980 867758080 26326 4294967295 134512640 134569956 3221224336 3221214576 1131511398 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15688/statm): 211855 26326 13129 16 0 211839 0
[pid=15688] vsize: 847420
Current children cumulated CPU time (s) 673.13
Current children cumulated vsize (Kb) 847420

[startup+700.066 s]
Raw data (loadavg): 1.00 0.99 0.91 2/66 15701
Raw data (/proc/15688/stat): 15688 (java) R 15687 15688 30740 0 -1 0 18930 5 1 0 68219 82 0 0 21 0 11 0 1794310980 867758080 26338 4294967295 134512640 134569956 3221224336 3221214624 1131352149 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15688/statm): 211855 26338 13129 16 0 211839 0
[pid=15688] vsize: 847420
Current children cumulated CPU time (s) 683.01
Current children cumulated vsize (Kb) 847420

[startup+710.067 s]
Raw data (loadavg): 1.00 0.99 0.91 2/66 15701
Raw data (/proc/15688/stat): 15688 (java) R 15687 15688 30740 0 -1 0 18941 5 1 0 69206 82 0 0 25 0 11 0 1794310980 867758080 26350 4294967295 134512640 134569956 3221224336 3221214576 1131510794 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15688/statm): 211855 26350 13129 16 0 211839 0
[pid=15688] vsize: 847420
Current children cumulated CPU time (s) 692.88
Current children cumulated vsize (Kb) 847420

[startup+720.068 s]
Raw data (loadavg): 1.00 0.99 0.91 2/66 15701
Raw data (/proc/15688/stat): 15688 (java) R 15687 15688 30740 0 -1 0 18952 5 1 0 70192 83 0 0 25 0 11 0 1794310980 867758080 26363 4294967295 134512640 134569956 3221224336 3221214576 1131510881 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15688/statm): 211855 26363 13129 16 0 211839 0
[pid=15688] vsize: 847420
Current children cumulated CPU time (s) 702.75
Current children cumulated vsize (Kb) 847420

[startup+730.069 s]
Raw data (loadavg): 1.00 0.99 0.91 2/66 15701
Raw data (/proc/15688/stat): 15688 (java) R 15687 15688 30740 0 -1 0 18963 5 1 0 71179 83 0 0 25 0 11 0 1794310980 867758080 26375 4294967295 134512640 134569956 3221224336 3221214576 1131510523 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15688/statm): 211855 26375 13129 16 0 211839 0
[pid=15688] vsize: 847420
Current children cumulated CPU time (s) 712.62
Current children cumulated vsize (Kb) 847420

[startup+740.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/66 15701
Raw data (/proc/15688/stat): 15688 (java) R 15687 15688 30740 0 -1 0 18975 5 1 0 72165 83 0 0 24 0 11 0 1794310980 867758080 26387 4294967295 134512640 134569956 3221224336 3221214624 1131352128 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15688/statm): 211855 26387 13129 16 0 211839 0
[pid=15688] vsize: 847420
Current children cumulated CPU time (s) 722.48
Current children cumulated vsize (Kb) 847420

[startup+750.071 s]
Raw data (loadavg): 1.00 0.99 0.91 2/66 15701
Raw data (/proc/15688/stat): 15688 (java) R 15687 15688 30740 0 -1 0 18986 5 1 0 73152 84 0 0 17 0 11 0 1794310980 867758080 26399 4294967295 134512640 134569956 3221224336 3221214576 1131510837 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15688/statm): 211855 26399 13129 16 0 211839 0
[pid=15688] vsize: 847420
Current children cumulated CPU time (s) 732.36
Current children cumulated vsize (Kb) 847420

[startup+760.072 s]
Raw data (loadavg): 1.00 0.99 0.91 2/66 15701
Raw data (/proc/15688/stat): 15688 (java) R 15687 15688 30740 0 -1 0 18997 5 1 0 74139 84 0 0 17 0 11 0 1794310980 867758080 26412 4294967295 134512640 134569956 3221224336 3221214576 1131510531 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15688/statm): 211855 26412 13129 16 0 211839 0
[pid=15688] vsize: 847420
Current children cumulated CPU time (s) 742.23
Current children cumulated vsize (Kb) 847420

[startup+770.073 s]
Raw data (loadavg): 1.00 0.99 0.91 2/66 15701
Raw data (/proc/15688/stat): 15688 (java) R 15687 15688 30740 0 -1 0 19008 5 1 0 75125 85 0 0 25 0 11 0 1794310980 867758080 26424 4294967295 134512640 134569956 3221224336 3221214624 1131352128 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15688/statm): 211855 26424 13129 16 0 211839 0
[pid=15688] vsize: 847420
Current children cumulated CPU time (s) 752.1
Current children cumulated vsize (Kb) 847420

[startup+780.074 s]
Raw data (loadavg): 1.00 0.99 0.91 3/66 15701
Raw data (/proc/15688/stat): 15688 (java) R 15687 15688 30740 0 -1 0 19018 5 1 0 76113 85 0 0 25 0 11 0 1794310980 867758080 26436 4294967295 134512640 134569956 3221224336 3221214488 1131378492 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15688/statm): 211855 26436 13129 16 0 211839 0
[pid=15688] vsize: 847420
Current children cumulated CPU time (s) 761.98
Current children cumulated vsize (Kb) 847420

[startup+790.074 s]
Raw data (loadavg): 1.00 0.99 0.91 2/66 15701
Raw data (/proc/15688/stat): 15688 (java) R 15687 15688 30740 0 -1 0 19025 5 1 0 77099 85 0 0 24 0 11 0 1794310980 867758080 26442 4294967295 134512640 134569956 3221224336 3221214576 1131510881 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15688/statm): 211855 26442 13129 16 0 211839 0
[pid=15688] vsize: 847420
Current children cumulated CPU time (s) 771.84
Current children cumulated vsize (Kb) 847420

[startup+800.075 s]
Raw data (loadavg): 1.00 0.99 0.91 2/66 15701
Raw data (/proc/15688/stat): 15688 (java) R 15687 15688 30740 0 -1 0 19035 5 1 0 78073 86 0 0 25 0 11 0 1794310980 867758080 26456 4294967295 134512640 134569956 3221224336 3221214624 1131352149 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15688/statm): 211855 26456 13129 16 0 211839 0
[pid=15688] vsize: 847420
Current children cumulated CPU time (s) 781.59
Current children cumulated vsize (Kb) 847420

[startup+810.076 s]
Raw data (loadavg): 1.00 0.99 0.91 2/66 15701
Raw data (/proc/15688/stat): 15688 (java) R 15687 15688 30740 0 -1 0 19044 5 1 0 79048 86 0 0 20 0 11 0 1794310980 867758080 26462 4294967295 134512640 134569956 3221224336 3221214576 1131510983 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15688/statm): 211855 26462 13129 16 0 211839 0
[pid=15688] vsize: 847420
Current children cumulated CPU time (s) 791.34
Current children cumulated vsize (Kb) 847420

[startup+820.077 s]
Raw data (loadavg): 1.00 0.99 0.91 2/66 15701
Raw data (/proc/15688/stat): 15688 (java) R 15687 15688 30740 0 -1 0 19050 5 1 0 80028 86 0 0 23 0 11 0 1794310980 867758080 26478 4294967295 134512640 134569956 3221224336 3221214576 1131511437 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15688/statm): 211855 26478 13129 16 0 211839 0
[pid=15688] vsize: 847420
Current children cumulated CPU time (s) 801.14
Current children cumulated vsize (Kb) 847420

[startup+830.078 s]
Raw data (loadavg): 1.00 0.99 0.91 2/66 15701
Raw data (/proc/15688/stat): 15688 (java) R 15687 15688 30740 0 -1 0 19057 5 1 0 81005 87 0 0 25 0 11 0 1794310980 867758080 26580 4294967295 134512640 134569956 3221224336 3221214736 1131741324 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15688/statm): 211855 26580 13129 16 0 211839 0
[pid=15688] vsize: 847420
Current children cumulated CPU time (s) 810.92
Current children cumulated vsize (Kb) 847420

[startup+840.078 s]
Raw data (loadavg): 1.00 0.99 0.91 2/66 15701
Raw data (/proc/15688/stat): 15688 (java) R 15687 15688 30740 0 -1 0 19064 5 1 0 81986 87 0 0 25 0 11 0 1794310980 867758080 26598 4294967295 134512640 134569956 3221224336 3221214576 1131511696 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15688/statm): 211855 26598 13129 16 0 211839 0
[pid=15688] vsize: 847420
Current children cumulated CPU time (s) 820.73
Current children cumulated vsize (Kb) 847420
One traced child (pid=15701) exited with status: 0
New thread pid=15702

[startup+850.08 s]
Raw data (loadavg): 1.00 0.99 0.91 2/66 15702
Raw data (/proc/15688/stat): 15688 (java) R 15687 15688 30740 0 -1 0 19072 5 1 0 82964 88 0 0 25 0 11 0 1794310980 867758080 26620 4294967295 134512640 134569956 3221224336 3221214576 1131511038 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15688/statm): 211855 26620 13129 16 0 211839 0
[pid=15688] vsize: 847420
Current children cumulated CPU time (s) 830.52
Current children cumulated vsize (Kb) 847420

[startup+860.08 s]
Raw data (loadavg): 1.00 0.99 0.91 2/66 15702
Raw data (/proc/15688/stat): 15688 (java) R 15687 15688 30740 0 -1 0 19081 5 1 0 83935 88 0 0 25 0 11 0 1794310980 867758080 26709 4294967295 134512640 134569956 3221224336 3221214576 1131510523 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15688/statm): 211855 26709 13129 16 0 211839 0
[pid=15688] vsize: 847420
Current children cumulated CPU time (s) 840.23
Current children cumulated vsize (Kb) 847420

[startup+870.081 s]
Raw data (loadavg): 1.00 0.99 0.91 2/66 15702
Raw data (/proc/15688/stat): 15688 (java) R 15687 15688 30740 0 -1 0 19089 5 1 0 84914 88 0 0 25 0 11 0 1794310980 867758080 26739 4294967295 134512640 134569956 3221224336 3221214256 1085806297 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15688/statm): 211855 26739 13129 16 0 211839 0
[pid=15688] vsize: 847420
Current children cumulated CPU time (s) 850.02
Current children cumulated vsize (Kb) 847420

[startup+880.082 s]
Raw data (loadavg): 1.00 0.99 0.91 2/66 15702
Raw data (/proc/15688/stat): 15688 (java) R 15687 15688 30740 0 -1 0 19099 5 1 0 85889 89 0 0 23 0 11 0 1794310980 867758080 26802 4294967295 134512640 134569956 3221224336 3221214568 1131491996 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15688/statm): 211855 26802 13129 16 0 211839 0
[pid=15688] vsize: 847420
Current children cumulated CPU time (s) 859.78
Current children cumulated vsize (Kb) 847420

[startup+890.081 s]
Raw data (loadavg): 1.00 0.99 0.91 2/66 15702
Raw data (/proc/15688/stat): 15688 (java) R 15687 15688 30740 0 -1 0 19109 5 1 0 86872 89 0 0 24 0 11 0 1794310980 867758080 26856 4294967295 134512640 134569956 3221224336 3221214392 1131486332 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15688/statm): 211855 26856 13129 16 0 211839 0
[pid=15688] vsize: 847420
Current children cumulated CPU time (s) 869.61
Current children cumulated vsize (Kb) 847420

[startup+900.082 s]
Raw data (loadavg): 1.00 0.99 0.91 2/66 15702
Raw data (/proc/15688/stat): 15688 (java) R 15687 15688 30740 0 -1 0 19117 5 1 0 87860 90 0 0 22 0 11 0 1794310980 867758080 26867 4294967295 134512640 134569956 3221224336 3221214576 1131510881 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15688/statm): 211855 26867 13129 16 0 211839 0
[pid=15688] vsize: 847420
Current children cumulated CPU time (s) 879.5
Current children cumulated vsize (Kb) 847420

[startup+910.084 s]
Raw data (loadavg): 1.07 1.00 0.92 2/66 15702
Raw data (/proc/15688/stat): 15688 (java) R 15687 15688 30740 0 -1 0 19127 5 1 0 88841 90 0 0 20 0 11 0 1794310980 867758080 26876 4294967295 134512640 134569956 3221224336 3221214648 1131470065 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15688/statm): 211855 26876 13129 16 0 211839 0
[pid=15688] vsize: 847420
Current children cumulated CPU time (s) 889.31
Current children cumulated vsize (Kb) 847420

[startup+920.084 s]
Raw data (loadavg): 1.06 1.00 0.92 2/66 15702
Raw data (/proc/15688/stat): 15688 (java) R 15687 15688 30740 0 -1 0 19136 5 1 0 89825 90 0 0 23 0 11 0 1794310980 867758080 26877 4294967295 134512640 134569956 3221224336 3221214624 1131352145 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15688/statm): 211855 26877 13129 16 0 211839 0
[pid=15688] vsize: 847420
Current children cumulated CPU time (s) 899.15
Current children cumulated vsize (Kb) 847420

[startup+930.085 s]
Raw data (loadavg): 1.05 1.00 0.92 2/66 15702
Raw data (/proc/15688/stat): 15688 (java) R 15687 15688 30740 0 -1 0 19144 5 1 0 90810 90 0 0 25 0 11 0 1794310980 867758080 26893 4294967295 134512640 134569956 3221224336 3221214672 1131523141 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15688/statm): 211855 26893 13129 16 0 211839 0
[pid=15688] vsize: 847420
Current children cumulated CPU time (s) 909
Current children cumulated vsize (Kb) 847420

[startup+940.085 s]
Raw data (loadavg): 1.04 1.00 0.92 2/66 15702
Raw data (/proc/15688/stat): 15688 (java) R 15687 15688 30740 0 -1 0 19153 5 1 0 91795 91 0 0 25 0 11 0 1794310980 867758080 26940 4294967295 134512640 134569956 3221224336 3221214624 1131352128 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15688/statm): 211855 26940 13129 16 0 211839 0
[pid=15688] vsize: 847420
Current children cumulated CPU time (s) 918.86
Current children cumulated vsize (Kb) 847420
One traced child (pid=15702) exited with status: 0
New thread pid=15703

[startup+950.086 s]
Raw data (loadavg): 1.04 1.00 0.92 2/66 15703
Raw data (/proc/15688/stat): 15688 (java) R 15687 15688 30740 0 -1 0 19160 5 1 0 92781 91 0 0 25 0 11 0 1794310980 867758080 26946 4294967295 134512640 134569956 3221224336 3221214208 1131492138 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15688/statm): 211855 26946 13129 16 0 211839 0
[pid=15688] vsize: 847420
Current children cumulated CPU time (s) 928.72
Current children cumulated vsize (Kb) 847420

[startup+960.087 s]
Raw data (loadavg): 1.03 1.00 0.92 2/66 15703
Raw data (/proc/15688/stat): 15688 (java) R 15687 15688 30740 0 -1 0 19169 5 1 0 93759 91 0 0 25 0 11 0 1794310980 867758080 26952 4294967295 134512640 134569956 3221224336 3221214576 1131510444 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15688/statm): 211855 26952 13129 16 0 211839 0
[pid=15688] vsize: 847420
Current children cumulated CPU time (s) 938.5
Current children cumulated vsize (Kb) 847420

[startup+970.088 s]
Raw data (loadavg): 1.02 1.00 0.92 2/66 15703
Raw data (/proc/15688/stat): 15688 (java) R 15687 15688 30740 0 -1 0 19179 5 1 0 94734 92 0 0 25 0 11 0 1794310980 867758080 26967 4294967295 134512640 134569956 3221224336 3221214576 1131510557 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15688/statm): 211855 26967 13129 16 0 211839 0
[pid=15688] vsize: 847420
Current children cumulated CPU time (s) 948.26
Current children cumulated vsize (Kb) 847420

[startup+980.089 s]
Raw data (loadavg): 1.02 1.00 0.92 2/66 15703
Raw data (/proc/15688/stat): 15688 (java) R 15687 15688 30740 0 -1 0 19187 5 1 0 95715 92 0 0 25 0 11 0 1794310980 867758080 27033 4294967295 134512640 134569956 3221224336 3221214576 1131510444 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15688/statm): 211855 27033 13129 16 0 211839 0
[pid=15688] vsize: 847420
Current children cumulated CPU time (s) 958.07
Current children cumulated vsize (Kb) 847420

[startup+990.089 s]
Raw data (loadavg): 1.02 1.00 0.92 2/66 15703
Raw data (/proc/15688/stat): 15688 (java) R 15687 15688 30740 0 -1 0 19195 5 1 0 96700 93 0 0 25 0 11 0 1794310980 867758080 27074 4294967295 134512640 134569956 3221224336 3221214624 1131352128 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15688/statm): 211855 27074 13129 16 0 211839 0
[pid=15688] vsize: 847420
Current children cumulated CPU time (s) 967.93
Current children cumulated vsize (Kb) 847420

[startup+1000.09 s]
Raw data (loadavg): 1.01 1.00 0.92 2/66 15703
Raw data (/proc/15688/stat): 15688 (java) R 15687 15688 30740 0 -1 0 19203 5 1 0 97686 93 0 0 25 0 11 0 1794310980 867758080 27081 4294967295 134512640 134569956 3221224336 3221214576 1131510881 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15688/statm): 211855 27081 13129 16 0 211839 0
[pid=15688] vsize: 847420
Current children cumulated CPU time (s) 977.79
Current children cumulated vsize (Kb) 847420

[startup+1010.09 s]
Raw data (loadavg): 1.01 1.00 0.92 2/66 15703
Raw data (/proc/15688/stat): 15688 (java) R 15687 15688 30740 0 -1 0 19213 5 1 0 98665 93 0 0 24 0 11 0 1794310980 867758080 27097 4294967295 134512640 134569956 3221224336 3221214624 1131352202 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15688/statm): 211855 27097 13129 16 0 211839 0
[pid=15688] vsize: 847420
Current children cumulated CPU time (s) 987.58
Current children cumulated vsize (Kb) 847420

[startup+1020.09 s]
Raw data (loadavg): 1.01 1.00 0.92 2/66 15703
Raw data (/proc/15688/stat): 15688 (java) R 15687 15688 30740 0 -1 0 19220 5 1 0 99652 93 0 0 19 0 11 0 1794310980 867758080 27111 4294967295 134512640 134569956 3221224336 3221214624 1131352128 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15688/statm): 211855 27111 13129 16 0 211839 0
[pid=15688] vsize: 847420
Current children cumulated CPU time (s) 997.45
Current children cumulated vsize (Kb) 847420

[startup+1030.09 s]
Raw data (loadavg): 1.01 1.00 0.92 2/66 15703
Raw data (/proc/15688/stat): 15688 (java) R 15687 15688 30740 0 -1 0 19227 5 1 0 100638 94 0 0 25 0 11 0 1794310980 867758080 27117 4294967295 134512640 134569956 3221224336 3221214120 1085806738 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15688/statm): 211855 27117 13129 16 0 211839 0
[pid=15688] vsize: 847420
Current children cumulated CPU time (s) 1007.32
Current children cumulated vsize (Kb) 847420

[startup+1040.09 s]
Raw data (loadavg): 1.01 1.00 0.92 2/66 15703
Raw data (/proc/15688/stat): 15688 (java) R 15687 15688 30740 0 -1 0 19234 5 1 0 101622 94 0 0 25 0 11 0 1794310980 867758080 27157 4294967295 134512640 134569956 3221224336 3221214256 1131487740 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15688/statm): 211855 27157 13129 16 0 211839 0
[pid=15688] vsize: 847420
Current children cumulated CPU time (s) 1017.16
Current children cumulated vsize (Kb) 847420

[startup+1050.1 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 15703
Raw data (/proc/15688/stat): 15688 (java) R 15687 15688 30740 0 -1 0 19242 5 1 0 102605 95 0 0 25 0 11 0 1794310980 867758080 27161 4294967295 134512640 134569956 3221224336 3221214576 1131511088 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15688/statm): 211855 27161 13129 16 0 211839 0
[pid=15688] vsize: 847420
Current children cumulated CPU time (s) 1027
Current children cumulated vsize (Kb) 847420

[startup+1060.1 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 15703
Raw data (/proc/15688/stat): 15688 (java) R 15687 15688 30740 0 -1 0 19250 5 1 0 103585 95 0 0 25 0 11 0 1794310980 867758080 27174 4294967295 134512640 134569956 3221224336 3221214576 1131511004 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15688/statm): 211855 27174 13129 16 0 211839 0
[pid=15688] vsize: 847420
Current children cumulated CPU time (s) 1036.8
Current children cumulated vsize (Kb) 847420

[startup+1070.1 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 15703
Raw data (/proc/15688/stat): 15688 (java) R 15687 15688 30740 0 -1 0 19259 5 1 0 104562 96 0 0 25 0 11 0 1794310980 867758080 27187 4294967295 134512640 134569956 3221224336 3221214392 1131486324 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15688/statm): 211855 27187 13129 16 0 211839 0
[pid=15688] vsize: 847420
Current children cumulated CPU time (s) 1046.58
Current children cumulated vsize (Kb) 847420

[startup+1080.1 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 15703
Raw data (/proc/15688/stat): 15688 (java) R 15687 15688 30740 0 -1 0 19268 5 1 0 105541 96 0 0 21 0 11 0 1794310980 867758080 27241 4294967295 134512640 134569956 3221224336 3221214576 1131510928 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15688/statm): 211855 27241 13129 16 0 211839 0
[pid=15688] vsize: 847420
Current children cumulated CPU time (s) 1056.37
Current children cumulated vsize (Kb) 847420

[startup+1090.1 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 15703
Raw data (/proc/15688/stat): 15688 (java) R 15687 15688 30740 0 -1 0 19276 5 1 0 106529 96 0 0 25 0 11 0 1794310980 867758080 27272 4294967295 134512640 134569956 3221224336 3221214448 1131542689 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15688/statm): 211855 27272 13129 16 0 211839 0
[pid=15688] vsize: 847420
Current children cumulated CPU time (s) 1066.25
Current children cumulated vsize (Kb) 847420

[startup+1100.1 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 15703
Raw data (/proc/15688/stat): 15688 (java) R 15687 15688 30740 0 -1 0 19283 5 1 0 107518 97 0 0 25 0 11 0 1794310980 867758080 27296 4294967295 134512640 134569956 3221224336 3221214408 1131533900 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15688/statm): 211855 27296 13129 16 0 211839 0
[pid=15688] vsize: 847420
Current children cumulated CPU time (s) 1076.15
Current children cumulated vsize (Kb) 847420

[startup+1110.1 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 15703
Raw data (/proc/15688/stat): 15688 (java) R 15687 15688 30740 0 -1 0 19288 5 1 0 108511 97 0 0 24 0 11 0 1794310980 867758080 27302 4294967295 134512640 134569956 3221224336 3221214116 1085743744 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15688/statm): 211855 27302 13129 16 0 211839 0
[pid=15688] vsize: 847420
Current children cumulated CPU time (s) 1086.08
Current children cumulated vsize (Kb) 847420

[startup+1120.1 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 15703
Raw data (/proc/15688/stat): 15688 (java) R 15687 15688 30740 0 -1 0 19296 5 1 0 109497 97 0 0 25 0 11 0 1794310980 867758080 27302 4294967295 134512640 134569956 3221224336 3221214344 1131492105 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15688/statm): 211855 27302 13129 16 0 211839 0
[pid=15688] vsize: 847420
Current children cumulated CPU time (s) 1095.94
Current children cumulated vsize (Kb) 847420

[startup+1130.1 s]
Raw data (loadavg): 1.08 1.02 0.93 2/66 15703
Raw data (/proc/15688/stat): 15688 (java) R 15687 15688 30740 0 -1 0 19304 5 1 0 110480 98 0 0 21 0 11 0 1794310980 867758080 27303 4294967295 134512640 134569956 3221224336 3221214576 1131510444 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15688/statm): 211855 27303 13129 16 0 211839 0
[pid=15688] vsize: 847420
Current children cumulated CPU time (s) 1105.78
Current children cumulated vsize (Kb) 847420

[startup+1140.1 s]
Raw data (loadavg): 1.07 1.02 0.93 2/66 15703
Raw data (/proc/15688/stat): 15688 (java) R 15687 15688 30740 0 -1 0 19311 5 1 0 111464 98 0 0 25 0 11 0 1794310980 867758080 27304 4294967295 134512640 134569956 3221224336 3221214120 1085806294 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15688/statm): 211855 27304 13129 16 0 211839 0
[pid=15688] vsize: 847420
Current children cumulated CPU time (s) 1115.62
Current children cumulated vsize (Kb) 847420

[startup+1150.1 s]
Raw data (loadavg): 1.06 1.01 0.93 2/66 15703
Raw data (/proc/15688/stat): 15688 (java) R 15687 15688 30740 0 -1 0 19319 5 1 0 112447 98 0 0 24 0 11 0 1794310980 867758080 27339 4294967295 134512640 134569956 3221224336 3221214344 1131504008 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15688/statm): 211855 27339 13129 16 0 211839 0
[pid=15688] vsize: 847420
Current children cumulated CPU time (s) 1125.45
Current children cumulated vsize (Kb) 847420

[startup+1160.1 s]
Raw data (loadavg): 1.05 1.01 0.93 2/66 15703
Raw data (/proc/15688/stat): 15688 (java) R 15687 15688 30740 0 -1 0 19325 5 1 0 113432 98 0 0 25 0 11 0 1794310980 867758080 27342 4294967295 134512640 134569956 3221224336 3221214448 1131542606 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15688/statm): 211855 27342 13129 16 0 211839 0
[pid=15688] vsize: 847420
Current children cumulated CPU time (s) 1135.3
Current children cumulated vsize (Kb) 847420

[startup+1170.1 s]
Raw data (loadavg): 1.04 1.01 0.93 2/66 15703
Raw data (/proc/15688/stat): 15688 (java) R 15687 15688 30740 0 -1 0 19331 5 1 0 114419 99 0 0 20 0 11 0 1794310980 867758080 27386 4294967295 134512640 134569956 3221224336 3221214176 1085759268 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15688/statm): 211855 27386 13129 16 0 211839 0
[pid=15688] vsize: 847420
Current children cumulated CPU time (s) 1145.18
Current children cumulated vsize (Kb) 847420

[startup+1180.11 s]
Raw data (loadavg): 1.03 1.01 0.93 2/66 15703
Raw data (/proc/15688/stat): 15688 (java) R 15687 15688 30740 0 -1 0 19338 5 1 0 115404 99 0 0 25 0 11 0 1794310980 867758080 27387 4294967295 134512640 134569956 3221224336 3221214576 1131510881 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15688/statm): 211855 27387 13129 16 0 211839 0
[pid=15688] vsize: 847420
Current children cumulated CPU time (s) 1155.03
Current children cumulated vsize (Kb) 847420

[startup+1190.11 s]
Raw data (loadavg): 1.03 1.01 0.93 2/66 15703
Raw data (/proc/15688/stat): 15688 (java) R 15687 15688 30740 0 -1 0 19347 5 1 0 116386 99 0 0 23 0 11 0 1794310980 867758080 27399 4294967295 134512640 134569956 3221224336 3221214120 1085806294 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15688/statm): 211855 27399 13129 16 0 211839 0
[pid=15688] vsize: 847420
Current children cumulated CPU time (s) 1164.85
Current children cumulated vsize (Kb) 847420

[startup+1200.11 s]
Raw data (loadavg): 1.02 1.01 0.93 2/66 15703
Raw data (/proc/15688/stat): 15688 (java) R 15687 15688 30740 0 -1 0 19355 5 1 0 117371 99 0 0 25 0 11 0 1794310980 867758080 27415 4294967295 134512640 134569956 3221224336 3221214392 1131486319 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15688/statm): 211855 27415 13129 16 0 211839 0
[pid=15688] vsize: 847420
Current children cumulated CPU time (s) 1174.7
Current children cumulated vsize (Kb) 847420

[startup+1210.11 s]
Raw data (loadavg): 1.02 1.01 0.93 2/66 15703
Raw data (/proc/15688/stat): 15688 (java) R 15687 15688 30740 0 -1 0 19363 5 1 0 118357 100 0 0 25 0 11 0 1794310980 867758080 27461 4294967295 134512640 134569956 3221224336 3221214576 1131511458 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15688/statm): 211855 27461 13129 16 0 211839 0
[pid=15688] vsize: 847420
Current children cumulated CPU time (s) 1184.57
Current children cumulated vsize (Kb) 847420

[startup+1220.11 s]
Raw data (loadavg): 1.02 1.01 0.93 2/66 15703
Raw data (/proc/15688/stat): 15688 (java) R 15687 15688 30740 0 -1 0 19373 5 1 0 119344 100 0 0 25 0 11 0 1794310980 867758080 27467 4294967295 134512640 134569956 3221224336 3221214576 1131510992 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15688/statm): 211855 27467 13129 16 0 211839 0
[pid=15688] vsize: 847420
Current children cumulated CPU time (s) 1194.44
Current children cumulated vsize (Kb) 847420

[startup+1230.11 s]
Raw data (loadavg): 1.01 1.01 0.93 2/66 15703
Raw data (/proc/15688/stat): 15688 (java) R 15687 15688 30740 0 -1 0 19383 5 1 0 120333 100 0 0 17 0 11 0 1794310980 867758080 27469 4294967295 134512640 134569956 3221224336 3221214344 1131504582 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15688/statm): 211855 27469 13129 16 0 211839 0
[pid=15688] vsize: 847420
Current children cumulated CPU time (s) 1204.33
Current children cumulated vsize (Kb) 847420



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1230.11 s]
Raw data (loadavg): 1.01 1.01 0.93 2/66 15703
Raw data (/proc/15688/stat): 15688 (java) R 15687 15688 30740 0 -1 0 19383 5 1 0 120333 100 0 0 17 0 11 0 1794310980 867758080 27469 4294967295 134512640 134569956 3221224336 3221214344 1131504582 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15688/statm): 211855 27469 13129 16 0 211839 0
[pid=15688] vsize: 847420
Current children cumulated CPU time (s) 1204.33
Current children cumulated vsize (Kb) 847420

Sending SIGTERM to -15688
Sleeping 2 seconds
New thread pid=15705
New thread pid=15706
One traced child (pid=15706) exited with status: 0
One traced child (pid=15697) exited with status: 0
One traced child (pid=15692) exited with status: 0
One traced child (pid=15689) exited with status: 143
One traced child (pid=15690) exited with status: 143
One traced child (pid=15693) exited with status: 143
One traced child (pid=15696) exited with status: 143
One traced child (pid=15691) exited with status: 143
One traced child (pid=15694) exited with status: 143
One traced child (pid=15703) exited with status: 143
One traced child (pid=15695) exited with status: 143
One traced child (pid=15705) exited with status: 143
One traced child (pid=15688) exited with status: 143
All traced children have exited ! Game is over.

Child status: 143
Real time (s): 1230.44
CPU time (s): 1225.74
CPU user time (s): 1223.97
CPU system time (s): 1.77273
CPU usage (%): 99.6182
Max. virtual memory (cumulated for all children) (Kb): 847452

Verifier Data

Verifier:	OK	3120761045979250