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/miplib/normalized-mps-v2-20-10-bell3a.opb
MD5SUM20897ed4b3cd94cc1a84b64d339b40e4
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.11
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 3460

Launcher Data

LAUNCH ON wulflinc12 THE 2005-09-19 00:52:20 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=6360 boxname=wulflinc12 idbench=500 idsolver=6 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  20897ed4b3cd94cc1a84b64d339b40e4  /oldhome/oroussel/tmp/wulflinc12/normalized-mps-v2-20-10-bell3a.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoTer.jar /oldhome/oroussel/tmp/wulflinc12/normalized-mps-v2-20-10-bell3a.opb
IDLAUNCH: 6360
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.091
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.091
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:        883528 kB
Buffers:         39104 kB
Cached:          72008 kB
SwapCached:        544 kB
Active:          70144 kB
Inactive:        53128 kB
HighTotal:      131008 kB
HighFree:        59052 kB
LowTotal:       903652 kB
LowFree:        824476 kB
SwapTotal:     2097136 kB
SwapFree:      2096072 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5884 kB
Slab:            22292 kB
Committed_AS:    64164 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-19 01:12:50 (client local time) WITH STATUS 143 IN 1223.83 SECONDS
stats: 6360 0 1223.83 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/wulflinc12/normalized-mps-v2-20-10-bell3a.opb
c reading problem ... done. Time 2.381 ms.
c #vars     2219
c #constraints  151
c SATISFIABLE
c OPTIMIZING...
c CURRENT OPTIMUM=    7389636589126850 		Current CPU time: 55.00 ms
c CURRENT OPTIMUM=    4988155069698400 		Current CPU time: 75.22 ms
c CURRENT OPTIMUM=    4807063003277620 		Current CPU time: 88.54 ms
c CURRENT OPTIMUM=    3896640976658400 		Current CPU time: 828.52 ms
c CURRENT OPTIMUM=    3120761045979250 		Current CPU time: 926.34 ms
c starts		: 10
c conflicts		: 876
c decisions		: 44343
c propagations		: 133047
c inspects		: 1303767
c learnt literals	: 0
c learnt binary clauses	: 0
c learnt ternary clauses	: 0
c learnt clauses	: 876
c root simplifications	: 294
c removed literals (reason simplification)	: 0
c reason swapping (by a shorter reason)	: 0
c Calls to reduceDB	: 42973
c speed (decisions/second)	: 146.61557180833475
c non guided choices	15505
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.031

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/28343/stat): 28343 (java) R 28342 28343 8263 0 -1 0 19 0 0 0 0 0 0 0 22 0 1 0 1787480562 159744 3 4294967295 134512640 134569956 3221224464 3221224464 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/28343/statm): 39 3 38 16 0 23 0
[pid=28343] 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/28343
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=28344
New thread pid=28345
New thread pid=28346
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=28347
New thread pid=28348
New thread pid=28349
New thread pid=28350
New thread pid=28351
New thread pid=28352
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/wulflinc12/normalized-mps-v2-20-10-bell3a.opb
New thread pid=28353

[startup+10.002 s]
Raw data (loadavg): 1.05 1.01 1.00 3/66 28353
Raw data (/proc/28343/stat): 28343 (java) R 28342 28343 8263 0 -1 0 18161 0 1 0 506 51 0 0 23 0 11 0 1787480562 879230976 24300 4294967295 134512640 134569956 3221224336 3221213360 1073952732 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/28343/statm): 214656 24300 13129 16 0 214640 0
[pid=28343] vsize: 858624
Current children cumulated CPU time (s) 5.57
Current children cumulated vsize (Kb) 858624

[startup+20.0028 s]
Raw data (loadavg): 1.04 1.01 1.00 2/66 28353
Raw data (/proc/28343/stat): 28343 (java) R 28342 28343 8263 0 -1 0 18170 0 1 0 1447 51 0 0 19 0 11 0 1787480562 869441536 22955 4294967295 134512640 134569956 3221224336 3221214488 1131424028 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/28343/statm): 212266 22955 13129 16 0 212250 0
[pid=28343] vsize: 849064
Current children cumulated CPU time (s) 14.98
Current children cumulated vsize (Kb) 849064

[startup+30.0036 s]
Raw data (loadavg): 1.03 1.01 1.00 2/66 28353
Raw data (/proc/28343/stat): 28343 (java) R 28342 28343 8263 0 -1 0 18180 0 1 0 2410 52 0 0 16 0 11 0 1787480562 869441536 23085 4294967295 134512640 134569956 3221224336 3221214580 1131057218 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/28343/statm): 212266 23085 13129 16 0 212250 0
[pid=28343] vsize: 849064
Current children cumulated CPU time (s) 24.62
Current children cumulated vsize (Kb) 849064

[startup+40.0035 s]
Raw data (loadavg): 1.03 1.01 1.00 2/66 28353
Raw data (/proc/28343/stat): 28343 (java) R 28342 28343 8263 0 -1 0 18187 0 1 0 3375 52 0 0 25 0 11 0 1787480562 869441536 23366 4294967295 134512640 134569956 3221224336 3221214596 1131487506 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/28343/statm): 212266 23366 13129 16 0 212250 0
[pid=28343] vsize: 849064
Current children cumulated CPU time (s) 34.27
Current children cumulated vsize (Kb) 849064

[startup+50.0043 s]
Raw data (loadavg): 1.02 1.01 1.00 2/66 28353
Raw data (/proc/28343/stat): 28343 (java) R 28342 28343 8263 0 -1 0 18195 0 1 0 4329 52 0 0 25 0 11 0 1787480562 869441536 23723 4294967295 134512640 134569956 3221224336 3221214604 1131361973 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/28343/statm): 212266 23723 13129 16 0 212250 0
[pid=28343] vsize: 849064
Current children cumulated CPU time (s) 43.81
Current children cumulated vsize (Kb) 849064
One traced child (pid=28353) exited with status: 0
New thread pid=28354

[startup+60.0041 s]
Raw data (loadavg): 1.02 1.01 1.00 2/66 28354
Raw data (/proc/28343/stat): 28343 (java) R 28342 28343 8263 0 -1 0 18252 3 1 0 5267 53 0 0 16 0 11 0 1787480562 869441536 24344 4294967295 134512640 134569956 3221224336 3221214648 1131607873 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/28343/statm): 212266 24344 13129 16 0 212250 0
[pid=28343] vsize: 849064
Current children cumulated CPU time (s) 53.2
Current children cumulated vsize (Kb) 849064

[startup+70.005 s]
Raw data (loadavg): 1.02 1.01 1.00 2/66 28354
Raw data (/proc/28343/stat): 28343 (java) R 28342 28343 8263 0 -1 0 18258 3 1 0 6218 54 0 0 25 0 11 0 1787480562 869441536 24378 4294967295 134512640 134569956 3221224336 3221214560 1131377412 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/28343/statm): 212266 24378 13129 16 0 212250 0
[pid=28343] vsize: 849064
Current children cumulated CPU time (s) 62.72
Current children cumulated vsize (Kb) 849064
One traced child (pid=28354) exited with status: 0
New thread pid=28355

[startup+80.0058 s]
Raw data (loadavg): 1.01 1.01 1.00 2/66 28355
Raw data (/proc/28343/stat): 28343 (java) R 28342 28343 8263 0 -1 0 18266 3 1 0 7166 54 0 0 24 0 11 0 1787480562 869441536 24468 4294967295 134512640 134569956 3221224336 3221214568 1131617272 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/28343/statm): 212266 24468 13129 16 0 212250 0
[pid=28343] vsize: 849064
Current children cumulated CPU time (s) 72.2
Current children cumulated vsize (Kb) 849064
One traced child (pid=28355) exited with status: 0
New thread pid=28356

[startup+90.0056 s]
Raw data (loadavg): 1.01 1.00 1.00 2/66 28356
Raw data (/proc/28343/stat): 28343 (java) R 28342 28343 8263 0 -1 0 18274 3 1 0 8092 55 0 0 17 0 11 0 1787480562 869441536 24661 4294967295 134512640 134569956 3221224336 3221214232 1085806738 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/28343/statm): 212266 24661 13129 16 0 212250 0
[pid=28343] vsize: 849064
Current children cumulated CPU time (s) 81.47
Current children cumulated vsize (Kb) 849064

[startup+100.006 s]
Raw data (loadavg): 1.01 1.00 1.00 2/66 28356
Raw data (/proc/28343/stat): 28343 (java) R 28342 28343 8263 0 -1 0 18282 3 1 0 9038 55 0 0 25 0 11 0 1787480562 869441536 24971 4294967295 134512640 134569956 3221224336 3221214312 1085806269 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/28343/statm): 212266 24971 13129 16 0 212250 0
[pid=28343] vsize: 849064
Current children cumulated CPU time (s) 90.93
Current children cumulated vsize (Kb) 849064

[startup+110.007 s]
Raw data (loadavg): 1.01 1.00 1.00 2/66 28356
Raw data (/proc/28343/stat): 28343 (java) R 28342 28343 8263 0 -1 0 18292 3 1 0 9987 55 0 0 25 0 11 0 1787480562 869441536 25175 4294967295 134512640 134569956 3221224336 3221214368 1085806738 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/28343/statm): 212266 25175 13129 16 0 212250 0
[pid=28343] vsize: 849064
Current children cumulated CPU time (s) 100.42
Current children cumulated vsize (Kb) 849064

[startup+120.009 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 28356
Raw data (/proc/28343/stat): 28343 (java) R 28342 28343 8263 0 -1 0 18302 3 1 0 10945 55 0 0 25 0 11 0 1787480562 869441536 25310 4294967295 134512640 134569956 3221224336 3221214568 1131610346 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/28343/statm): 212266 25310 13129 16 0 212250 0
[pid=28343] vsize: 849064
Current children cumulated CPU time (s) 110
Current children cumulated vsize (Kb) 849064

[startup+130.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 28356
Raw data (/proc/28343/stat): 28343 (java) R 28342 28343 8263 0 -1 0 18313 3 1 0 11908 56 0 0 24 0 11 0 1787480562 869441536 25454 4294967295 134512640 134569956 3221224336 3221214568 1131618384 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/28343/statm): 212266 25454 13129 16 0 212250 0
[pid=28343] vsize: 849064
Current children cumulated CPU time (s) 119.64
Current children cumulated vsize (Kb) 849064

[startup+140.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 28356
Raw data (/proc/28343/stat): 28343 (java) R 28342 28343 8263 0 -1 0 18323 3 1 0 12882 57 0 0 25 0 11 0 1787480562 869441536 25535 4294967295 134512640 134569956 3221224336 3221214568 1131612224 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/28343/statm): 212266 25535 13129 16 0 212250 0
[pid=28343] vsize: 849064
Current children cumulated CPU time (s) 129.39
Current children cumulated vsize (Kb) 849064

[startup+150.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 28356
Raw data (/proc/28343/stat): 28343 (java) R 28342 28343 8263 0 -1 0 18334 3 1 0 13857 57 0 0 25 0 11 0 1787480562 869441536 25609 4294967295 134512640 134569956 3221224336 3221214480 1131434517 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/28343/statm): 212266 25609 13129 16 0 212250 0
[pid=28343] vsize: 849064
Current children cumulated CPU time (s) 139.14
Current children cumulated vsize (Kb) 849064

[startup+160.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 28356
Raw data (/proc/28343/stat): 28343 (java) R 28342 28343 8263 0 -1 0 18345 3 1 0 14834 58 0 0 25 0 11 0 1787480562 869441536 25675 4294967295 134512640 134569956 3221224336 3221214568 1131615318 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/28343/statm): 212266 25675 13129 16 0 212250 0
[pid=28343] vsize: 849064
Current children cumulated CPU time (s) 148.92
Current children cumulated vsize (Kb) 849064

[startup+170.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 28356
Raw data (/proc/28343/stat): 28343 (java) R 28342 28343 8263 0 -1 0 18356 3 1 0 15812 58 0 0 17 0 11 0 1787480562 869441536 25727 4294967295 134512640 134569956 3221224336 3221214568 1131608955 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/28343/statm): 212266 25727 13129 16 0 212250 0
[pid=28343] vsize: 849064
Current children cumulated CPU time (s) 158.7
Current children cumulated vsize (Kb) 849064

[startup+180.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 28356
Raw data (/proc/28343/stat): 28343 (java) R 28342 28343 8263 0 -1 0 18366 3 1 0 16795 59 0 0 25 0 11 0 1787480562 869441536 25774 4294967295 134512640 134569956 3221224336 3221214568 1131605915 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/28343/statm): 212266 25774 13129 16 0 212250 0
[pid=28343] vsize: 849064
Current children cumulated CPU time (s) 168.54
Current children cumulated vsize (Kb) 849064

[startup+190.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 28356
Raw data (/proc/28343/stat): 28343 (java) R 28342 28343 8263 0 -1 0 18377 3 1 0 17775 60 0 0 25 0 11 0 1787480562 869441536 25811 4294967295 134512640 134569956 3221224336 3221214568 1131617062 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/28343/statm): 212266 25811 13129 16 0 212250 0
[pid=28343] vsize: 849064
Current children cumulated CPU time (s) 178.35
Current children cumulated vsize (Kb) 849064

[startup+200.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 28356
Raw data (/proc/28343/stat): 28343 (java) R 28342 28343 8263 0 -1 0 18388 3 1 0 18756 60 0 0 25 0 11 0 1787480562 869441536 25848 4294967295 134512640 134569956 3221224336 3221214568 1131609305 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/28343/statm): 212266 25848 13129 16 0 212250 0
[pid=28343] vsize: 849064
Current children cumulated CPU time (s) 188.16
Current children cumulated vsize (Kb) 849064

[startup+210.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 28356
Raw data (/proc/28343/stat): 28343 (java) R 28342 28343 8263 0 -1 0 18399 3 1 0 19737 61 0 0 25 0 11 0 1787480562 869441536 25878 4294967295 134512640 134569956 3221224336 3221214720 1131362009 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/28343/statm): 212266 25878 13129 16 0 212250 0
[pid=28343] vsize: 849064
Current children cumulated CPU time (s) 197.98
Current children cumulated vsize (Kb) 849064

[startup+220.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 28356
Raw data (/proc/28343/stat): 28343 (java) R 28342 28343 8263 0 -1 0 18410 3 1 0 20718 62 0 0 25 0 11 0 1787480562 869441536 25921 4294967295 134512640 134569956 3221224336 3221214504 1131724946 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/28343/statm): 212266 25921 13129 16 0 212250 0
[pid=28343] vsize: 849064
Current children cumulated CPU time (s) 207.8
Current children cumulated vsize (Kb) 849064

[startup+230.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 28356
Raw data (/proc/28343/stat): 28343 (java) R 28342 28343 8263 0 -1 0 18421 3 1 0 21699 62 0 0 25 0 11 0 1787480562 869441536 25963 4294967295 134512640 134569956 3221224336 3221214568 1131605827 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/28343/statm): 212266 25963 13129 16 0 212250 0
[pid=28343] vsize: 849064
Current children cumulated CPU time (s) 217.61
Current children cumulated vsize (Kb) 849064

[startup+240.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 28356
Raw data (/proc/28343/stat): 28343 (java) R 28342 28343 8263 0 -1 0 18432 3 1 0 22681 62 0 0 25 0 11 0 1787480562 869441536 26007 4294967295 134512640 134569956 3221224336 3221214508 1131694864 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/28343/statm): 212266 26007 13129 16 0 212250 0
[pid=28343] vsize: 849064
Current children cumulated CPU time (s) 227.43
Current children cumulated vsize (Kb) 849064

[startup+250.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 28356
Raw data (/proc/28343/stat): 28343 (java) R 28342 28343 8263 0 -1 0 18443 3 1 0 23664 62 0 0 18 0 11 0 1787480562 869441536 26040 4294967295 134512640 134569956 3221224336 3221214568 1131619929 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/28343/statm): 212266 26040 13129 16 0 212250 0
[pid=28343] vsize: 849064
Current children cumulated CPU time (s) 237.26
Current children cumulated vsize (Kb) 849064

[startup+260.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 28356
Raw data (/proc/28343/stat): 28343 (java) R 28342 28343 8263 0 -1 0 18454 3 1 0 24646 63 0 0 25 0 11 0 1787480562 869441536 26075 4294967295 134512640 134569956 3221224336 3221214568 1131619964 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/28343/statm): 212266 26075 13129 16 0 212250 0
[pid=28343] vsize: 849064
Current children cumulated CPU time (s) 247.09
Current children cumulated vsize (Kb) 849064

[startup+270.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 28356
Raw data (/proc/28343/stat): 28343 (java) R 28342 28343 8263 0 -1 0 18465 3 1 0 25631 63 0 0 25 0 11 0 1787480562 869441536 26115 4294967295 134512640 134569956 3221224336 3221214568 1131605882 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/28343/statm): 212266 26115 13129 16 0 212250 0
[pid=28343] vsize: 849064
Current children cumulated CPU time (s) 256.94
Current children cumulated vsize (Kb) 849064

[startup+280.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 28356
Raw data (/proc/28343/stat): 28343 (java) R 28342 28343 8263 0 -1 0 18476 3 1 0 26614 64 0 0 25 0 11 0 1787480562 869441536 26142 4294967295 134512640 134569956 3221224336 3221214720 1131362009 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/28343/statm): 212266 26142 13129 16 0 212250 0
[pid=28343] vsize: 849064
Current children cumulated CPU time (s) 266.78
Current children cumulated vsize (Kb) 849064

[startup+290.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 28356
Raw data (/proc/28343/stat): 28343 (java) R 28342 28343 8263 0 -1 0 18487 3 1 0 27600 65 0 0 25 0 11 0 1787480562 869441536 26161 4294967295 134512640 134569956 3221224336 3221214568 1131609374 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/28343/statm): 212266 26161 13129 16 0 212250 0
[pid=28343] vsize: 849064
Current children cumulated CPU time (s) 276.65
Current children cumulated vsize (Kb) 849064

[startup+300.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 28356
Raw data (/proc/28343/stat): 28343 (java) R 28342 28343 8263 0 -1 0 18498 3 1 0 28585 65 0 0 25 0 11 0 1787480562 869441536 26185 4294967295 134512640 134569956 3221224336 3221214568 1131610393 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/28343/statm): 212266 26185 13129 16 0 212250 0
[pid=28343] vsize: 849064
Current children cumulated CPU time (s) 286.5
Current children cumulated vsize (Kb) 849064

[startup+310.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 28356
Raw data (/proc/28343/stat): 28343 (java) R 28342 28343 8263 0 -1 0 18509 3 1 0 29570 66 0 0 25 0 11 0 1787480562 869441536 26210 4294967295 134512640 134569956 3221224336 3221214568 1131606825 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/28343/statm): 212266 26210 13129 16 0 212250 0
[pid=28343] vsize: 849064
Current children cumulated CPU time (s) 296.36
Current children cumulated vsize (Kb) 849064

[startup+320.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 28356
Raw data (/proc/28343/stat): 28343 (java) R 28342 28343 8263 0 -1 0 18520 3 1 0 30555 66 0 0 25 0 11 0 1787480562 869441536 26228 4294967295 134512640 134569956 3221224336 3221214568 1131612259 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/28343/statm): 212266 26228 13129 16 0 212250 0
[pid=28343] vsize: 849064
Current children cumulated CPU time (s) 306.21
Current children cumulated vsize (Kb) 849064

[startup+330.028 s]
Raw data (loadavg): 1.07 1.02 1.00 2/66 28356
Raw data (/proc/28343/stat): 28343 (java) R 28342 28343 8263 0 -1 0 18531 3 1 0 31541 66 0 0 25 0 11 0 1787480562 869441536 26253 4294967295 134512640 134569956 3221224336 3221214568 1131607706 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/28343/statm): 212266 26253 13129 16 0 212250 0
[pid=28343] vsize: 849064
Current children cumulated CPU time (s) 316.07
Current children cumulated vsize (Kb) 849064

[startup+340.029 s]
Raw data (loadavg): 1.06 1.02 1.00 2/66 28356
Raw data (/proc/28343/stat): 28343 (java) R 28342 28343 8263 0 -1 0 18542 3 1 0 32527 67 0 0 25 0 11 0 1787480562 869441536 26271 4294967295 134512640 134569956 3221224336 3221214568 1131615411 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/28343/statm): 212266 26271 13129 16 0 212250 0
[pid=28343] vsize: 849064
Current children cumulated CPU time (s) 325.94
Current children cumulated vsize (Kb) 849064

[startup+350.03 s]
Raw data (loadavg): 1.05 1.01 1.00 2/66 28356
Raw data (/proc/28343/stat): 28343 (java) R 28342 28343 8263 0 -1 0 18553 3 1 0 33512 68 0 0 25 0 11 0 1787480562 869441536 26291 4294967295 134512640 134569956 3221224336 3221214424 1085806281 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/28343/statm): 212266 26291 13129 16 0 212250 0
[pid=28343] vsize: 849064
Current children cumulated CPU time (s) 335.8
Current children cumulated vsize (Kb) 849064

[startup+360.03 s]
Raw data (loadavg): 1.04 1.01 1.00 2/66 28356
Raw data (/proc/28343/stat): 28343 (java) R 28342 28343 8263 0 -1 0 18564 3 1 0 34497 69 0 0 23 0 11 0 1787480562 869441536 26315 4294967295 134512640 134569956 3221224336 3221214568 1131616979 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/28343/statm): 212266 26315 13129 16 0 212250 0
[pid=28343] vsize: 849064
Current children cumulated CPU time (s) 345.66
Current children cumulated vsize (Kb) 849064

[startup+370.031 s]
Raw data (loadavg): 1.04 1.01 1.00 2/66 28356
Raw data (/proc/28343/stat): 28343 (java) R 28342 28343 8263 0 -1 0 18575 3 1 0 35483 69 0 0 25 0 11 0 1787480562 869441536 26334 4294967295 134512640 134569956 3221224336 3221214568 1131605827 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/28343/statm): 212266 26334 13129 16 0 212250 0
[pid=28343] vsize: 849064
Current children cumulated CPU time (s) 355.52
Current children cumulated vsize (Kb) 849064

[startup+380.032 s]
Raw data (loadavg): 1.03 1.01 1.00 2/66 28356
Raw data (/proc/28343/stat): 28343 (java) R 28342 28343 8263 0 -1 0 18587 3 1 0 36467 70 0 0 25 0 11 0 1787480562 869441536 26352 4294967295 134512640 134569956 3221224336 3221214740 1131361955 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/28343/statm): 212266 26352 13129 16 0 212250 0
[pid=28343] vsize: 849064
Current children cumulated CPU time (s) 365.37
Current children cumulated vsize (Kb) 849064

[startup+390.033 s]
Raw data (loadavg): 1.02 1.01 1.00 2/66 28356
Raw data (/proc/28343/stat): 28343 (java) R 28342 28343 8263 0 -1 0 18598 3 1 0 37451 71 0 0 25 0 11 0 1787480562 869441536 26371 4294967295 134512640 134569956 3221224336 3221214568 1131617302 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/28343/statm): 212266 26371 13129 16 0 212250 0
[pid=28343] vsize: 849064
Current children cumulated CPU time (s) 375.22
Current children cumulated vsize (Kb) 849064

[startup+400.034 s]
Raw data (loadavg): 1.02 1.01 1.00 2/66 28356
Raw data (/proc/28343/stat): 28343 (java) R 28342 28343 8263 0 -1 0 18609 3 1 0 38437 72 0 0 20 0 11 0 1787480562 869441536 26389 4294967295 134512640 134569956 3221224336 3221214568 1131615301 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/28343/statm): 212266 26389 13129 16 0 212250 0
[pid=28343] vsize: 849064
Current children cumulated CPU time (s) 385.09
Current children cumulated vsize (Kb) 849064

[startup+410.034 s]
Raw data (loadavg): 1.02 1.01 1.00 2/66 28356
Raw data (/proc/28343/stat): 28343 (java) R 28342 28343 8263 0 -1 0 18620 3 1 0 39422 73 0 0 25 0 11 0 1787480562 869441536 26407 4294967295 134512640 134569956 3221224336 3221214720 1131362009 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/28343/statm): 212266 26407 13129 16 0 212250 0
[pid=28343] vsize: 849064
Current children cumulated CPU time (s) 394.95
Current children cumulated vsize (Kb) 849064

[startup+420.035 s]
Raw data (loadavg): 1.01 1.01 1.00 2/66 28356
Raw data (/proc/28343/stat): 28343 (java) R 28342 28343 8263 0 -1 0 18631 3 1 0 40409 74 0 0 22 0 11 0 1787480562 869441536 26426 4294967295 134512640 134569956 3221224336 3221214568 1131612998 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/28343/statm): 212266 26426 13129 16 0 212250 0
[pid=28343] vsize: 849064
Current children cumulated CPU time (s) 404.83
Current children cumulated vsize (Kb) 849064

[startup+430.036 s]
Raw data (loadavg): 1.01 1.01 1.00 2/66 28356
Raw data (/proc/28343/stat): 28343 (java) R 28342 28343 8263 0 -1 0 18643 3 1 0 41394 74 0 0 25 0 11 0 1787480562 869441536 26445 4294967295 134512640 134569956 3221224336 3221214568 1131611114 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/28343/statm): 212266 26445 13129 16 0 212250 0
[pid=28343] vsize: 849064
Current children cumulated CPU time (s) 414.68
Current children cumulated vsize (Kb) 849064

[startup+440.037 s]
Raw data (loadavg): 1.01 1.01 1.00 2/66 28356
Raw data (/proc/28343/stat): 28343 (java) R 28342 28343 8263 0 -1 0 18654 3 1 0 42380 74 0 0 25 0 11 0 1787480562 869441536 26463 4294967295 134512640 134569956 3221224336 3221214720 1131362009 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/28343/statm): 212266 26463 13129 16 0 212250 0
[pid=28343] vsize: 849064
Current children cumulated CPU time (s) 424.54
Current children cumulated vsize (Kb) 849064

[startup+450.039 s]
Raw data (loadavg): 1.01 1.00 1.00 2/66 28356
Raw data (/proc/28343/stat): 28343 (java) R 28342 28343 8263 0 -1 0 18665 3 1 0 43368 75 0 0 25 0 11 0 1787480562 869441536 26476 4294967295 134512640 134569956 3221224336 3221214568 1131616986 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/28343/statm): 212266 26476 13129 16 0 212250 0
[pid=28343] vsize: 849064
Current children cumulated CPU time (s) 434.43
Current children cumulated vsize (Kb) 849064

[startup+460.04 s]
Raw data (loadavg): 1.01 1.00 1.00 2/66 28356
Raw data (/proc/28343/stat): 28343 (java) R 28342 28343 8263 0 -1 0 18676 3 1 0 44354 75 0 0 22 0 11 0 1787480562 869441536 26494 4294967295 134512640 134569956 3221224336 3221214568 1131615411 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/28343/statm): 212266 26494 13129 16 0 212250 0
[pid=28343] vsize: 849064
Current children cumulated CPU time (s) 444.29
Current children cumulated vsize (Kb) 849064

[startup+470.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 28356
Raw data (/proc/28343/stat): 28343 (java) R 28342 28343 8263 0 -1 0 18688 3 1 0 45340 76 0 0 25 0 11 0 1787480562 869441536 26513 4294967295 134512640 134569956 3221224336 3221214568 1131609335 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/28343/statm): 212266 26513 13129 16 0 212250 0
[pid=28343] vsize: 849064
Current children cumulated CPU time (s) 454.16
Current children cumulated vsize (Kb) 849064

[startup+480.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 28356
Raw data (/proc/28343/stat): 28343 (java) R 28342 28343 8263 0 -1 0 18699 3 1 0 46325 76 0 0 25 0 11 0 1787480562 869441536 26531 4294967295 134512640 134569956 3221224336 3221214568 1131615411 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/28343/statm): 212266 26531 13129 16 0 212250 0
[pid=28343] vsize: 849064
Current children cumulated CPU time (s) 464.01
Current children cumulated vsize (Kb) 849064

[startup+490.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 28356
Raw data (/proc/28343/stat): 28343 (java) R 28342 28343 8263 0 -1 0 18710 3 1 0 47309 76 0 0 25 0 11 0 1787480562 869441536 26543 4294967295 134512640 134569956 3221224336 3221214568 1131614514 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/28343/statm): 212266 26543 13129 16 0 212250 0
[pid=28343] vsize: 849064
Current children cumulated CPU time (s) 473.85
Current children cumulated vsize (Kb) 849064

[startup+500.044 s]
Raw data (loadavg): 1.08 1.02 1.01 2/66 28356
Raw data (/proc/28343/stat): 28343 (java) R 28342 28343 8263 0 -1 0 18721 3 1 0 48291 77 0 0 25 0 11 0 1787480562 869441536 26574 4294967295 134512640 134569956 3221224336 3221214568 1131609672 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/28343/statm): 212266 26574 13129 16 0 212250 0
[pid=28343] vsize: 849064
Current children cumulated CPU time (s) 483.68
Current children cumulated vsize (Kb) 849064

[startup+510.045 s]
Raw data (loadavg): 1.07 1.02 1.00 2/66 28356
Raw data (/proc/28343/stat): 28343 (java) R 28342 28343 8263 0 -1 0 18732 3 1 0 49275 77 0 0 25 0 11 0 1787480562 869441536 26602 4294967295 134512640 134569956 3221224336 3221214568 1131613029 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/28343/statm): 212266 26602 13129 16 0 212250 0
[pid=28343] vsize: 849064
Current children cumulated CPU time (s) 493.52
Current children cumulated vsize (Kb) 849064

[startup+520.046 s]
Raw data (loadavg): 1.14 1.03 1.01 2/66 28356
Raw data (/proc/28343/stat): 28343 (java) R 28342 28343 8263 0 -1 0 18743 3 1 0 50258 78 0 0 24 0 11 0 1787480562 869441536 26638 4294967295 134512640 134569956 3221224336 3221214568 1131605882 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/28343/statm): 212266 26638 13129 16 0 212250 0
[pid=28343] vsize: 849064
Current children cumulated CPU time (s) 503.36
Current children cumulated vsize (Kb) 849064

[startup+530.047 s]
Raw data (loadavg): 1.12 1.03 1.01 2/66 28356
Raw data (/proc/28343/stat): 28343 (java) R 28342 28343 8263 0 -1 0 18755 3 1 0 51241 78 0 0 24 0 11 0 1787480562 869441536 26656 4294967295 134512640 134569956 3221224336 3221214568 1131605861 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/28343/statm): 212266 26656 13129 16 0 212250 0
[pid=28343] vsize: 849064
Current children cumulated CPU time (s) 513.19
Current children cumulated vsize (Kb) 849064

[startup+540.047 s]
Raw data (loadavg): 1.10 1.03 1.01 2/66 28356
Raw data (/proc/28343/stat): 28343 (java) R 28342 28343 8263 0 -1 0 18766 3 1 0 52225 79 0 0 19 0 11 0 1787480562 869441536 26689 4294967295 134512640 134569956 3221224336 3221214568 1131605905 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/28343/statm): 212266 26689 13129 16 0 212250 0
[pid=28343] vsize: 849064
Current children cumulated CPU time (s) 523.04
Current children cumulated vsize (Kb) 849064

[startup+550.048 s]
Raw data (loadavg): 1.08 1.03 1.01 2/66 28356
Raw data (/proc/28343/stat): 28343 (java) R 28342 28343 8263 0 -1 0 18777 3 1 0 53210 79 0 0 25 0 11 0 1787480562 869441536 26709 4294967295 134512640 134569956 3221224336 3221214568 1131609574 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/28343/statm): 212266 26709 13129 16 0 212250 0
[pid=28343] vsize: 849064
Current children cumulated CPU time (s) 532.89
Current children cumulated vsize (Kb) 849064

[startup+560.049 s]
Raw data (loadavg): 1.07 1.03 1.00 2/66 28356
Raw data (/proc/28343/stat): 28343 (java) R 28342 28343 8263 0 -1 0 18788 3 1 0 54195 79 0 0 25 0 11 0 1787480562 869441536 26733 4294967295 134512640 134569956 3221224336 3221214568 1131614266 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/28343/statm): 212266 26733 13129 16 0 212250 0
[pid=28343] vsize: 849064
Current children cumulated CPU time (s) 542.74
Current children cumulated vsize (Kb) 849064

[startup+570.05 s]
Raw data (loadavg): 1.06 1.03 1.00 2/66 28356
Raw data (/proc/28343/stat): 28343 (java) R 28342 28343 8263 0 -1 0 18799 3 1 0 55180 80 0 0 25 0 11 0 1787480562 869441536 26759 4294967295 134512640 134569956 3221224336 3221214568 1131607653 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/28343/statm): 212266 26759 13129 16 0 212250 0
[pid=28343] vsize: 849064
Current children cumulated CPU time (s) 552.6
Current children cumulated vsize (Kb) 849064

[startup+580.051 s]
Raw data (loadavg): 1.13 1.04 1.01 2/66 28356
Raw data (/proc/28343/stat): 28343 (java) R 28342 28343 8263 0 -1 0 18811 3 1 0 56163 80 0 0 25 0 11 0 1787480562 869441536 26773 4294967295 134512640 134569956 3221224336 3221214568 1131613114 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/28343/statm): 212266 26773 13129 16 0 212250 0
[pid=28343] vsize: 849064
Current children cumulated CPU time (s) 562.43
Current children cumulated vsize (Kb) 849064

[startup+590.052 s]
Raw data (loadavg): 1.11 1.04 1.01 2/66 28356
Raw data (/proc/28343/stat): 28343 (java) R 28342 28343 8263 0 -1 0 18822 3 1 0 57147 81 0 0 25 0 11 0 1787480562 869441536 26803 4294967295 134512640 134569956 3221224336 3221214568 1131610643 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/28343/statm): 212266 26803 13129 16 0 212250 0
[pid=28343] vsize: 849064
Current children cumulated CPU time (s) 572.28
Current children cumulated vsize (Kb) 849064

[startup+600.053 s]
Raw data (loadavg): 1.09 1.04 1.01 2/66 28356
Raw data (/proc/28343/stat): 28343 (java) R 28342 28343 8263 0 -1 0 18833 3 1 0 58133 81 0 0 19 0 11 0 1787480562 869441536 26833 4294967295 134512640 134569956 3221224336 3221214568 1131612170 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/28343/statm): 212266 26833 13129 16 0 212250 0
[pid=28343] vsize: 849064
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (Kb) 849064

[startup+610.053 s]
Raw data (loadavg): 1.08 1.04 1.01 2/66 28356
Raw data (/proc/28343/stat): 28343 (java) R 28342 28343 8263 0 -1 0 18844 3 1 0 59118 82 0 0 25 0 11 0 1787480562 869441536 26852 4294967295 134512640 134569956 3221224336 3221214568 1131609231 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/28343/statm): 212266 26852 13129 16 0 212250 0
[pid=28343] vsize: 849064
Current children cumulated CPU time (s) 592
Current children cumulated vsize (Kb) 849064

[startup+620.054 s]
Raw data (loadavg): 1.06 1.03 1.00 2/66 28356
Raw data (/proc/28343/stat): 28343 (java) R 28342 28343 8263 0 -1 0 18856 3 1 0 60104 82 0 0 16 0 11 0 1787480562 869441536 26864 4294967295 134512640 134569956 3221224336 3221214568 1131605827 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/28343/statm): 212266 26864 13129 16 0 212250 0
[pid=28343] vsize: 849064
Current children cumulated CPU time (s) 601.86
Current children cumulated vsize (Kb) 849064

[startup+630.055 s]
Raw data (loadavg): 1.05 1.03 1.00 2/66 28356
Raw data (/proc/28343/stat): 28343 (java) R 28342 28343 8263 0 -1 0 18867 3 1 0 61090 83 0 0 18 0 11 0 1787480562 869441536 26876 4294967295 134512640 134569956 3221224336 3221214568 1131614544 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/28343/statm): 212266 26876 13129 16 0 212250 0
[pid=28343] vsize: 849064
Current children cumulated CPU time (s) 611.73
Current children cumulated vsize (Kb) 849064

[startup+640.056 s]
Raw data (loadavg): 1.05 1.03 1.00 2/66 28356
Raw data (/proc/28343/stat): 28343 (java) R 28342 28343 8263 0 -1 0 18878 3 1 0 62077 83 0 0 25 0 11 0 1787480562 869441536 26895 4294967295 134512640 134569956 3221224336 3221214568 1131611146 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/28343/statm): 212266 26895 13129 16 0 212250 0
[pid=28343] vsize: 849064
Current children cumulated CPU time (s) 621.6
Current children cumulated vsize (Kb) 849064

[startup+650.057 s]
Raw data (loadavg): 1.04 1.03 1.00 2/66 28356
Raw data (/proc/28343/stat): 28343 (java) R 28342 28343 8263 0 -1 0 18889 3 1 0 63064 84 0 0 25 0 11 0 1787480562 869441536 26907 4294967295 134512640 134569956 3221224336 3221214568 1131610530 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/28343/statm): 212266 26907 13129 16 0 212250 0
[pid=28343] vsize: 849064
Current children cumulated CPU time (s) 631.48
Current children cumulated vsize (Kb) 849064

[startup+660.058 s]
Raw data (loadavg): 1.03 1.03 1.00 2/66 28356
Raw data (/proc/28343/stat): 28343 (java) R 28342 28343 8263 0 -1 0 18900 3 1 0 64050 84 0 0 25 0 11 0 1787480562 869441536 26919 4294967295 134512640 134569956 3221224336 3221214568 1131620100 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/28343/statm): 212266 26919 13129 16 0 212250 0
[pid=28343] vsize: 849064
Current children cumulated CPU time (s) 641.34
Current children cumulated vsize (Kb) 849064

[startup+670.059 s]
Raw data (loadavg): 1.03 1.03 1.00 2/66 28356
Raw data (/proc/28343/stat): 28343 (java) R 28342 28343 8263 0 -1 0 18912 3 1 0 65036 85 0 0 17 0 11 0 1787480562 869441536 26932 4294967295 134512640 134569956 3221224336 3221214568 1131605827 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/28343/statm): 212266 26932 13129 16 0 212250 0
[pid=28343] vsize: 849064
Current children cumulated CPU time (s) 651.21
Current children cumulated vsize (Kb) 849064

[startup+680.059 s]
Raw data (loadavg): 1.02 1.03 1.00 2/66 28356
Raw data (/proc/28343/stat): 28343 (java) R 28342 28343 8263 0 -1 0 18923 3 1 0 66023 85 0 0 25 0 11 0 1787480562 869441536 26944 4294967295 134512640 134569956 3221224336 3221214256 1131702385 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/28343/statm): 212266 26944 13129 16 0 212250 0
[pid=28343] vsize: 849064
Current children cumulated CPU time (s) 661.08
Current children cumulated vsize (Kb) 849064

[startup+690.06 s]
Raw data (loadavg): 1.02 1.02 1.00 2/66 28356
Raw data (/proc/28343/stat): 28343 (java) R 28342 28343 8263 0 -1 0 18934 3 1 0 67010 85 0 0 20 0 11 0 1787480562 869441536 26956 4294967295 134512640 134569956 3221224336 3221214568 1131605623 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/28343/statm): 212266 26956 13129 16 0 212250 0
[pid=28343] vsize: 849064
Current children cumulated CPU time (s) 670.95
Current children cumulated vsize (Kb) 849064

[startup+700.061 s]
Raw data (loadavg): 1.02 1.02 1.00 2/66 28356
Raw data (/proc/28343/stat): 28343 (java) R 28342 28343 8263 0 -1 0 18945 3 1 0 67997 86 0 0 25 0 11 0 1787480562 869441536 26968 4294967295 134512640 134569956 3221224336 3221214568 1131618091 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/28343/statm): 212266 26968 13129 16 0 212250 0
[pid=28343] vsize: 849064
Current children cumulated CPU time (s) 680.83
Current children cumulated vsize (Kb) 849064

[startup+710.062 s]
Raw data (loadavg): 1.01 1.02 1.00 2/66 28356
Raw data (/proc/28343/stat): 28343 (java) R 28342 28343 8263 0 -1 0 18957 3 1 0 68983 86 0 0 16 0 11 0 1787480562 869441536 26981 4294967295 134512640 134569956 3221224336 3221214568 1131605882 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/28343/statm): 212266 26981 13129 16 0 212250 0
[pid=28343] vsize: 849064
Current children cumulated CPU time (s) 690.69
Current children cumulated vsize (Kb) 849064

[startup+720.062 s]
Raw data (loadavg): 1.01 1.02 1.00 2/66 28356
Raw data (/proc/28343/stat): 28343 (java) R 28342 28343 8263 0 -1 0 18968 3 1 0 69970 86 0 0 18 0 11 0 1787480562 869441536 26993 4294967295 134512640 134569956 3221224336 3221214456 1131694868 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/28343/statm): 212266 26993 13129 16 0 212250 0
[pid=28343] vsize: 849064
Current children cumulated CPU time (s) 700.56
Current children cumulated vsize (Kb) 849064

[startup+730.063 s]
Raw data (loadavg): 1.01 1.02 1.00 2/66 28356
Raw data (/proc/28343/stat): 28343 (java) R 28342 28343 8263 0 -1 0 18979 3 1 0 70956 87 0 0 25 0 11 0 1787480562 869441536 27005 4294967295 134512640 134569956 3221224336 3221214568 1131618304 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/28343/statm): 212266 27005 13129 16 0 212250 0
[pid=28343] vsize: 849064
Current children cumulated CPU time (s) 710.43
Current children cumulated vsize (Kb) 849064

[startup+740.064 s]
Raw data (loadavg): 1.01 1.02 1.00 2/66 28356
Raw data (/proc/28343/stat): 28343 (java) R 28342 28343 8263 0 -1 0 18990 3 1 0 71943 87 0 0 22 0 11 0 1787480562 869441536 27017 4294967295 134512640 134569956 3221224336 3221214568 1131617302 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/28343/statm): 212266 27017 13129 16 0 212250 0
[pid=28343] vsize: 849064
Current children cumulated CPU time (s) 720.3
Current children cumulated vsize (Kb) 849064

[startup+750.064 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 28356
Raw data (/proc/28343/stat): 28343 (java) R 28342 28343 8263 0 -1 0 19001 3 1 0 72929 88 0 0 25 0 11 0 1787480562 869441536 27030 4294967295 134512640 134569956 3221224336 3221214568 1131619379 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/28343/statm): 212266 27030 13129 16 0 212250 0
[pid=28343] vsize: 849064
Current children cumulated CPU time (s) 730.17
Current children cumulated vsize (Kb) 849064

[startup+760.065 s]
Raw data (loadavg): 1.08 1.03 1.00 2/66 28356
Raw data (/proc/28343/stat): 28343 (java) R 28342 28343 8263 0 -1 0 19013 3 1 0 73914 89 0 0 25 0 11 0 1787480562 869441536 27042 4294967295 134512640 134569956 3221224336 3221214568 1131615318 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/28343/statm): 212266 27042 13129 16 0 212250 0
[pid=28343] vsize: 849064
Current children cumulated CPU time (s) 740.03
Current children cumulated vsize (Kb) 849064

[startup+770.065 s]
Raw data (loadavg): 1.07 1.03 1.00 2/66 28356
Raw data (/proc/28343/stat): 28343 (java) R 28342 28343 8263 0 -1 0 19023 3 1 0 74901 89 0 0 17 0 11 0 1787480562 869441536 27054 4294967295 134512640 134569956 3221224336 3221214544 1131497935 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/28343/statm): 212266 27054 13129 16 0 212250 0
[pid=28343] vsize: 849064
Current children cumulated CPU time (s) 749.9
Current children cumulated vsize (Kb) 849064

[startup+780.066 s]
Raw data (loadavg): 1.06 1.03 1.00 2/66 28356
Raw data (/proc/28343/stat): 28343 (java) R 28342 28343 8263 0 -1 0 19031 3 1 0 75883 90 0 0 25 0 11 0 1787480562 869441536 27060 4294967295 134512640 134569956 3221224336 3221214568 1131610546 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/28343/statm): 212266 27060 13129 16 0 212250 0
[pid=28343] vsize: 849064
Current children cumulated CPU time (s) 759.73
Current children cumulated vsize (Kb) 849064

[startup+790.067 s]
Raw data (loadavg): 1.05 1.03 1.00 2/66 28356
Raw data (/proc/28343/stat): 28343 (java) R 28342 28343 8263 0 -1 0 19041 3 1 0 76856 90 0 0 25 0 11 0 1787480562 869441536 27074 4294967295 134512640 134569956 3221224336 3221214648 1131521420 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/28343/statm): 212266 27074 13129 16 0 212250 0
[pid=28343] vsize: 849064
Current children cumulated CPU time (s) 769.46
Current children cumulated vsize (Kb) 849064

[startup+800.069 s]
Raw data (loadavg): 1.04 1.03 1.00 2/66 28356
Raw data (/proc/28343/stat): 28343 (java) R 28342 28343 8263 0 -1 0 19049 3 1 0 77833 90 0 0 25 0 11 0 1787480562 869441536 27086 4294967295 134512640 134569956 3221224336 3221214568 1131610559 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/28343/statm): 212266 27086 13129 16 0 212250 0
[pid=28343] vsize: 849064
Current children cumulated CPU time (s) 779.23
Current children cumulated vsize (Kb) 849064

[startup+810.069 s]
Raw data (loadavg): 1.03 1.03 1.00 2/66 28356
Raw data (/proc/28343/stat): 28343 (java) R 28342 28343 8263 0 -1 0 19055 3 1 0 78813 91 0 0 25 0 11 0 1787480562 869441536 27098 4294967295 134512640 134569956 3221224336 3221214568 1131605623 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/28343/statm): 212266 27098 13129 16 0 212250 0
[pid=28343] vsize: 849064
Current children cumulated CPU time (s) 789.04
Current children cumulated vsize (Kb) 849064

[startup+820.07 s]
Raw data (loadavg): 1.03 1.03 1.00 2/66 28356
Raw data (/proc/28343/stat): 28343 (java) R 28342 28343 8263 0 -1 0 19063 3 1 0 79788 91 0 0 17 0 11 0 1787480562 869441536 27200 4294967295 134512640 134569956 3221224336 3221214568 1131614528 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/28343/statm): 212266 27200 13129 16 0 212250 0
[pid=28343] vsize: 849064
Current children cumulated CPU time (s) 798.79
Current children cumulated vsize (Kb) 849064
One traced child (pid=28356) exited with status: 0
New thread pid=28357

[startup+830.071 s]
Raw data (loadavg): 1.10 1.04 1.01 2/66 28357
Raw data (/proc/28343/stat): 28343 (java) R 28342 28343 8263 0 -1 0 19070 3 1 0 80771 92 0 0 17 0 11 0 1787480562 869441536 27220 4294967295 134512640 134569956 3221224336 3221214568 1131605886 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/28343/statm): 212266 27220 13129 16 0 212250 0
[pid=28343] vsize: 849064
Current children cumulated CPU time (s) 808.63
Current children cumulated vsize (Kb) 849064

[startup+840.071 s]
Raw data (loadavg): 1.09 1.04 1.00 2/66 28357
Raw data (/proc/28343/stat): 28343 (java) R 28342 28343 8263 0 -1 0 19079 3 1 0 81743 92 0 0 25 0 11 0 1787480562 869441536 27246 4294967295 134512640 134569956 3221224336 3221214464 1131497961 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/28343/statm): 212266 27246 13129 16 0 212250 0
[pid=28343] vsize: 849064
Current children cumulated CPU time (s) 818.35
Current children cumulated vsize (Kb) 849064

[startup+850.073 s]
Raw data (loadavg): 1.07 1.04 1.00 2/66 28357
Raw data (/proc/28343/stat): 28343 (java) R 28342 28343 8263 0 -1 0 19087 3 1 0 82717 92 0 0 25 0 11 0 1787480562 869441536 27332 4294967295 134512640 134569956 3221224336 3221214568 1131617264 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/28343/statm): 212266 27332 13129 16 0 212250 0
[pid=28343] vsize: 849064
Current children cumulated CPU time (s) 828.09
Current children cumulated vsize (Kb) 849064

[startup+860.074 s]
Raw data (loadavg): 1.06 1.04 1.00 2/66 28357
Raw data (/proc/28343/stat): 28343 (java) R 28342 28343 8263 0 -1 0 19096 3 1 0 83694 92 0 0 25 0 11 0 1787480562 869441536 27360 4294967295 134512640 134569956 3221224336 3221214568 1131615411 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/28343/statm): 212266 27360 13129 16 0 212250 0
[pid=28343] vsize: 849064
Current children cumulated CPU time (s) 837.86
Current children cumulated vsize (Kb) 849064

[startup+870.075 s]
Raw data (loadavg): 1.05 1.03 1.00 2/66 28357
Raw data (/proc/28343/stat): 28343 (java) R 28342 28343 8263 0 -1 0 19106 3 1 0 84671 93 0 0 25 0 11 0 1787480562 869441536 27428 4294967295 134512640 134569956 3221224336 3221214568 1131606705 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/28343/statm): 212266 27428 13129 16 0 212250 0
[pid=28343] vsize: 849064
Current children cumulated CPU time (s) 847.64
Current children cumulated vsize (Kb) 849064

[startup+880.076 s]
Raw data (loadavg): 1.04 1.03 1.00 2/66 28357
Raw data (/proc/28343/stat): 28343 (java) R 28342 28343 8263 0 -1 0 19116 3 1 0 85655 94 0 0 25 0 11 0 1787480562 869441536 27474 4294967295 134512640 134569956 3221224336 3221214480 1131378449 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/28343/statm): 212266 27474 13129 16 0 212250 0
[pid=28343] vsize: 849064
Current children cumulated CPU time (s) 857.49
Current children cumulated vsize (Kb) 849064

[startup+890.077 s]
Raw data (loadavg): 1.04 1.03 1.00 2/66 28357
Raw data (/proc/28343/stat): 28343 (java) R 28342 28343 8263 0 -1 0 19125 3 1 0 86639 95 0 0 24 0 11 0 1787480562 869441536 27489 4294967295 134512640 134569956 3221224336 3221214568 1131607928 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/28343/statm): 212266 27489 13129 16 0 212250 0
[pid=28343] vsize: 849064
Current children cumulated CPU time (s) 867.34
Current children cumulated vsize (Kb) 849064

[startup+900.078 s]
Raw data (loadavg): 1.03 1.03 1.00 2/66 28357
Raw data (/proc/28343/stat): 28343 (java) R 28342 28343 8263 0 -1 0 19134 3 1 0 87622 95 0 0 25 0 11 0 1787480562 869441536 27495 4294967295 134512640 134569956 3221224336 3221214256 1085806307 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/28343/statm): 212266 27495 13129 16 0 212250 0
[pid=28343] vsize: 849064
Current children cumulated CPU time (s) 877.17
Current children cumulated vsize (Kb) 849064

[startup+910.079 s]
Raw data (loadavg): 1.02 1.03 1.00 2/66 28357
Raw data (/proc/28343/stat): 28343 (java) R 28342 28343 8263 0 -1 0 19144 3 1 0 88602 95 0 0 25 0 11 0 1787480562 869441536 27502 4294967295 134512640 134569956 3221224336 3221214208 1131694985 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/28343/statm): 212266 27502 13129 16 0 212250 0
[pid=28343] vsize: 849064
Current children cumulated CPU time (s) 886.97
Current children cumulated vsize (Kb) 849064

[startup+920.08 s]
Raw data (loadavg): 1.02 1.03 1.00 2/66 28357
Raw data (/proc/28343/stat): 28343 (java) R 28342 28343 8263 0 -1 0 19152 3 1 0 89587 96 0 0 25 0 11 0 1787480562 869441536 27548 4294967295 134512640 134569956 3221224336 3221214208 1131694868 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/28343/statm): 212266 27548 13129 16 0 212250 0
[pid=28343] vsize: 849064
Current children cumulated CPU time (s) 896.83
Current children cumulated vsize (Kb) 849064
One traced child (pid=28357) exited with status: 0
New thread pid=28358

[startup+930.08 s]
Raw data (loadavg): 1.02 1.03 1.00 2/66 28358
Raw data (/proc/28343/stat): 28343 (java) R 28342 28343 8263 0 -1 0 19160 3 1 0 90573 96 0 0 25 0 11 0 1787480562 869441536 27561 4294967295 134512640 134569956 3221224336 3221214288 1131694942 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/28343/statm): 212266 27561 13129 16 0 212250 0
[pid=28343] vsize: 849064
Current children cumulated CPU time (s) 906.69
Current children cumulated vsize (Kb) 849064

[startup+940.081 s]
Raw data (loadavg): 1.01 1.02 1.00 2/66 28358
Raw data (/proc/28343/stat): 28343 (java) R 28342 28343 8263 0 -1 0 19169 3 1 0 91553 97 0 0 25 0 11 0 1787480562 869441536 27570 4294967295 134512640 134569956 3221224336 3221214568 1131617302 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/28343/statm): 212266 27570 13129 16 0 212250 0
[pid=28343] vsize: 849064
Current children cumulated CPU time (s) 916.5
Current children cumulated vsize (Kb) 849064

[startup+950.083 s]
Raw data (loadavg): 1.01 1.02 1.00 2/66 28358
Raw data (/proc/28343/stat): 28343 (java) R 28342 28343 8263 0 -1 0 19179 3 1 0 92528 97 0 0 25 0 11 0 1787480562 869441536 27573 4294967295 134512640 134569956 3221224336 3221214568 1131616483 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/28343/statm): 212266 27573 13129 16 0 212250 0
[pid=28343] vsize: 849064
Current children cumulated CPU time (s) 926.25
Current children cumulated vsize (Kb) 849064

[startup+960.083 s]
Raw data (loadavg): 1.01 1.02 1.00 2/66 28358
Raw data (/proc/28343/stat): 28343 (java) R 28342 28343 8263 0 -1 0 19188 3 1 0 93506 98 0 0 21 0 11 0 1787480562 869441536 27604 4294967295 134512640 134569956 3221224336 3221214568 1131605901 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/28343/statm): 212266 27604 13129 16 0 212250 0
[pid=28343] vsize: 849064
Current children cumulated CPU time (s) 936.04
Current children cumulated vsize (Kb) 849064

[startup+970.083 s]
Raw data (loadavg): 1.01 1.02 1.00 2/66 28358
Raw data (/proc/28343/stat): 28343 (java) R 28342 28343 8263 0 -1 0 19196 3 1 0 94490 98 0 0 25 0 11 0 1787480562 869441536 27657 4294967295 134512640 134569956 3221224336 3221214568 1131605827 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/28343/statm): 212266 27657 13129 16 0 212250 0
[pid=28343] vsize: 849064
Current children cumulated CPU time (s) 945.88
Current children cumulated vsize (Kb) 849064

[startup+980.084 s]
Raw data (loadavg): 1.01 1.02 1.00 2/66 28358
Raw data (/proc/28343/stat): 28343 (java) R 28342 28343 8263 0 -1 0 19204 3 1 0 95476 98 0 0 25 0 11 0 1787480562 869441536 27699 4294967295 134512640 134569956 3221224336 3221214568 1131614470 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/28343/statm): 212266 27699 13129 16 0 212250 0
[pid=28343] vsize: 849064
Current children cumulated CPU time (s) 955.74
Current children cumulated vsize (Kb) 849064

[startup+990.084 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 28358
Raw data (/proc/28343/stat): 28343 (java) R 28342 28343 8263 0 -1 0 19213 3 1 0 96458 99 0 0 25 0 11 0 1787480562 869441536 27699 4294967295 134512640 134569956 3221224336 3221214568 1131610393 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/28343/statm): 212266 27699 13129 16 0 212250 0
[pid=28343] vsize: 849064
Current children cumulated CPU time (s) 965.57
Current children cumulated vsize (Kb) 849064

[startup+1000.09 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 28358
Raw data (/proc/28343/stat): 28343 (java) R 28342 28343 8263 0 -1 0 19222 3 1 0 97439 100 0 0 18 0 11 0 1787480562 869441536 27724 4294967295 134512640 134569956 3221224336 3221214568 1131618199 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/28343/statm): 212266 27724 13129 16 0 212250 0
[pid=28343] vsize: 849064
Current children cumulated CPU time (s) 975.39
Current children cumulated vsize (Kb) 849064

[startup+1010.09 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 28358
Raw data (/proc/28343/stat): 28343 (java) R 28342 28343 8263 0 -1 0 19229 3 1 0 98426 100 0 0 25 0 11 0 1787480562 869441536 27731 4294967295 134512640 134569956 3221224336 3221214384 1131424120 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/28343/statm): 212266 27731 13129 16 0 212250 0
[pid=28343] vsize: 849064
Current children cumulated CPU time (s) 985.26
Current children cumulated vsize (Kb) 849064

[startup+1020.09 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 28358
Raw data (/proc/28343/stat): 28343 (java) R 28342 28343 8263 0 -1 0 19236 3 1 0 99410 101 0 0 25 0 11 0 1787480562 869441536 27735 4294967295 134512640 134569956 3221224336 3221214464 1131498475 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/28343/statm): 212266 27735 13129 16 0 212250 0
[pid=28343] vsize: 849064
Current children cumulated CPU time (s) 995.11
Current children cumulated vsize (Kb) 849064

[startup+1030.09 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 28358
Raw data (/proc/28343/stat): 28343 (java) R 28342 28343 8263 0 -1 0 19243 3 1 0 100395 101 0 0 25 0 11 0 1787480562 869441536 27778 4294967295 134512640 134569956 3221224336 3221214568 1131610344 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/28343/statm): 212266 27778 13129 16 0 212250 0
[pid=28343] vsize: 849064
Current children cumulated CPU time (s) 1004.96
Current children cumulated vsize (Kb) 849064

[startup+1040.09 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 28358
Raw data (/proc/28343/stat): 28343 (java) R 28342 28343 8263 0 -1 0 19252 3 1 0 101373 101 0 0 25 0 11 0 1787480562 869441536 27784 4294967295 134512640 134569956 3221224336 3221214568 1131607751 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/28343/statm): 212266 27784 13129 16 0 212250 0
[pid=28343] vsize: 849064
Current children cumulated CPU time (s) 1014.74
Current children cumulated vsize (Kb) 849064

[startup+1050.09 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 28358
Raw data (/proc/28343/stat): 28343 (java) R 28342 28343 8263 0 -1 0 19260 3 1 0 102353 102 0 0 25 0 11 0 1787480562 869441536 27792 4294967295 134512640 134569956 3221224336 3221214568 1131619991 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/28343/statm): 212266 27792 13129 16 0 212250 0
[pid=28343] vsize: 849064
Current children cumulated CPU time (s) 1024.55
Current children cumulated vsize (Kb) 849064

[startup+1060.09 s]
Raw data (loadavg): 1.07 1.03 1.00 2/66 28358
Raw data (/proc/28343/stat): 28343 (java) R 28342 28343 8263 0 -1 0 19270 3 1 0 103328 103 0 0 19 0 11 0 1787480562 869441536 27852 4294967295 134512640 134569956 3221224336 3221214568 1131612224 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/28343/statm): 212266 27852 13129 16 0 212250 0
[pid=28343] vsize: 849064
Current children cumulated CPU time (s) 1034.31
Current children cumulated vsize (Kb) 849064

[startup+1070.09 s]
Raw data (loadavg): 1.06 1.03 1.00 2/66 28358
Raw data (/proc/28343/stat): 28343 (java) R 28342 28343 8263 0 -1 0 19278 3 1 0 104315 103 0 0 25 0 11 0 1787480562 869441536 27881 4294967295 134512640 134569956 3221224336 3221214568 1131612228 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/28343/statm): 212266 27881 13129 16 0 212250 0
[pid=28343] vsize: 849064
Current children cumulated CPU time (s) 1044.18
Current children cumulated vsize (Kb) 849064

[startup+1080.09 s]
Raw data (loadavg): 1.05 1.03 1.00 2/66 28358
Raw data (/proc/28343/stat): 28343 (java) R 28342 28343 8263 0 -1 0 19285 3 1 0 105305 103 0 0 25 0 11 0 1787480562 869441536 27914 4294967295 134512640 134569956 3221224336 3221214248 1131557210 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/28343/statm): 212266 27914 13129 16 0 212250 0
[pid=28343] vsize: 849064
Current children cumulated CPU time (s) 1054.08
Current children cumulated vsize (Kb) 849064

[startup+1090.09 s]
Raw data (loadavg): 1.04 1.03 1.00 2/66 28358
Raw data (/proc/28343/stat): 28343 (java) R 28342 28343 8263 0 -1 0 19291 3 1 0 106295 104 0 0 25 0 11 0 1787480562 869441536 27917 4294967295 134512640 134569956 3221224336 3221214552 1131701205 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/28343/statm): 212266 27917 13129 16 0 212250 0
[pid=28343] vsize: 849064
Current children cumulated CPU time (s) 1063.99
Current children cumulated vsize (Kb) 849064

[startup+1100.09 s]
Raw data (loadavg): 1.04 1.02 1.00 2/66 28358
Raw data (/proc/28343/stat): 28343 (java) R 28342 28343 8263 0 -1 0 19300 3 1 0 107280 105 0 0 25 0 11 0 1787480562 869441536 27920 4294967295 134512640 134569956 3221224336 3221214736 1131718083 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/28343/statm): 212266 27920 13129 16 0 212250 0
[pid=28343] vsize: 849064
Current children cumulated CPU time (s) 1073.85
Current children cumulated vsize (Kb) 849064

[startup+1110.09 s]
Raw data (loadavg): 1.03 1.02 1.00 2/66 28358
Raw data (/proc/28343/stat): 28343 (java) R 28342 28343 8263 0 -1 0 19307 3 1 0 108265 105 0 0 25 0 11 0 1787480562 869441536 27921 4294967295 134512640 134569956 3221224336 3221214256 1131702632 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/28343/statm): 212266 27921 13129 16 0 212250 0
[pid=28343] vsize: 849064
Current children cumulated CPU time (s) 1083.7
Current children cumulated vsize (Kb) 849064

[startup+1120.09 s]
Raw data (loadavg): 1.02 1.02 1.00 2/66 28358
Raw data (/proc/28343/stat): 28343 (java) R 28342 28343 8263 0 -1 0 19314 3 1 0 109250 105 0 0 25 0 11 0 1787480562 869441536 27922 4294967295 134512640 134569956 3221224336 3221214568 1131619663 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/28343/statm): 212266 27922 13129 16 0 212250 0
[pid=28343] vsize: 849064
Current children cumulated CPU time (s) 1093.55
Current children cumulated vsize (Kb) 849064

[startup+1130.1 s]
Raw data (loadavg): 1.02 1.02 1.00 2/66 28358
Raw data (/proc/28343/stat): 28343 (java) R 28342 28343 8263 0 -1 0 19322 3 1 0 110233 105 0 0 19 0 11 0 1787480562 869441536 27956 4294967295 134512640 134569956 3221224336 3221214432 1131481573 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/28343/statm): 212266 27956 13129 16 0 212250 0
[pid=28343] vsize: 849064
Current children cumulated CPU time (s) 1103.38
Current children cumulated vsize (Kb) 849064

[startup+1140.1 s]
Raw data (loadavg): 1.02 1.02 1.00 2/66 28358
Raw data (/proc/28343/stat): 28343 (java) R 28342 28343 8263 0 -1 0 19328 3 1 0 111219 105 0 0 25 0 11 0 1787480562 869441536 27960 4294967295 134512640 134569956 3221224336 3221214464 1131498583 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/28343/statm): 212266 27960 13129 16 0 212250 0
[pid=28343] vsize: 849064
Current children cumulated CPU time (s) 1113.24
Current children cumulated vsize (Kb) 849064

[startup+1150.1 s]
Raw data (loadavg): 1.01 1.02 1.00 2/66 28358
Raw data (/proc/28343/stat): 28343 (java) R 28342 28343 8263 0 -1 0 19334 3 1 0 112206 106 0 0 17 0 11 0 1787480562 869441536 28003 4294967295 134512640 134569956 3221224336 3221214568 1131615588 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/28343/statm): 212266 28003 13129 16 0 212250 0
[pid=28343] vsize: 849064
Current children cumulated CPU time (s) 1123.12
Current children cumulated vsize (Kb) 849064

[startup+1160.1 s]
Raw data (loadavg): 1.01 1.02 1.00 2/66 28358
Raw data (/proc/28343/stat): 28343 (java) R 28342 28343 8263 0 -1 0 19341 3 1 0 113191 106 0 0 25 0 11 0 1787480562 869441536 28005 4294967295 134512640 134569956 3221224336 3221214568 1131610570 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/28343/statm): 212266 28005 13129 16 0 212250 0
[pid=28343] vsize: 849064
Current children cumulated CPU time (s) 1132.97
Current children cumulated vsize (Kb) 849064

[startup+1170.1 s]
Raw data (loadavg): 1.01 1.02 1.00 2/66 28358
Raw data (/proc/28343/stat): 28343 (java) R 28342 28343 8263 0 -1 0 19351 3 1 0 114171 107 0 0 24 0 11 0 1787480562 869441536 28017 4294967295 134512640 134569956 3221224336 3221214568 1131607751 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/28343/statm): 212266 28017 13129 16 0 212250 0
[pid=28343] vsize: 849064
Current children cumulated CPU time (s) 1142.78
Current children cumulated vsize (Kb) 849064

[startup+1180.1 s]
Raw data (loadavg): 1.01 1.02 1.00 2/66 28358
Raw data (/proc/28343/stat): 28343 (java) R 28342 28343 8263 0 -1 0 19359 3 1 0 115155 107 0 0 25 0 11 0 1787480562 869441536 28033 4294967295 134512640 134569956 3221224336 3221214568 1131610630 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/28343/statm): 212266 28033 13129 16 0 212250 0
[pid=28343] vsize: 849064
Current children cumulated CPU time (s) 1152.62
Current children cumulated vsize (Kb) 849064

[startup+1190.1 s]
Raw data (loadavg): 1.01 1.02 1.00 2/66 28358
Raw data (/proc/28343/stat): 28343 (java) R 28342 28343 8263 0 -1 0 19367 3 1 0 116141 107 0 0 25 0 11 0 1787480562 869441536 28079 4294967295 134512640 134569956 3221224336 3221214120 1085806281 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/28343/statm): 212266 28079 13129 16 0 212250 0
[pid=28343] vsize: 849064
Current children cumulated CPU time (s) 1162.48
Current children cumulated vsize (Kb) 849064

[startup+1200.1 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 28358
Raw data (/proc/28343/stat): 28343 (java) R 28342 28343 8263 0 -1 0 19377 3 1 0 117128 108 0 0 25 0 11 0 1787480562 869441536 28085 4294967295 134512640 134569956 3221224336 3221214568 1131605882 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/28343/statm): 212266 28085 13129 16 0 212250 0
[pid=28343] vsize: 849064
Current children cumulated CPU time (s) 1172.36
Current children cumulated vsize (Kb) 849064

[startup+1210.1 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 28358
Raw data (/proc/28343/stat): 28343 (java) R 28342 28343 8263 0 -1 0 19387 3 1 0 118116 108 0 0 21 0 11 0 1787480562 869441536 28087 4294967295 134512640 134569956 3221224336 3221214384 1131424567 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/28343/statm): 212266 28087 13129 16 0 212250 0
[pid=28343] vsize: 849064
Current children cumulated CPU time (s) 1182.24
Current children cumulated vsize (Kb) 849064

[startup+1220.1 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 28358
Raw data (/proc/28343/stat): 28343 (java) R 28342 28343 8263 0 -1 0 19393 3 1 0 119107 108 0 0 25 0 11 0 1787480562 869441536 28096 4294967295 134512640 134569956 3221224336 3221214568 1131619756 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/28343/statm): 212266 28096 13129 16 0 212250 0
[pid=28343] vsize: 849064
Current children cumulated CPU time (s) 1192.15
Current children cumulated vsize (Kb) 849064

[startup+1230.1 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 28358
Raw data (/proc/28343/stat): 28343 (java) R 28342 28343 8263 0 -1 0 19401 3 1 0 120096 108 0 0 20 0 11 0 1787480562 869441536 28108 4294967295 134512640 134569956 3221224336 3221214568 1131618833 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/28343/statm): 212266 28108 13129 16 0 212250 0
[pid=28343] vsize: 849064
Current children cumulated CPU time (s) 1202.04
Current children cumulated vsize (Kb) 849064



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1230.11 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 28358
Raw data (/proc/28343/stat): 28343 (java) R 28342 28343 8263 0 -1 0 19401 3 1 0 120096 108 0 0 20 0 11 0 1787480562 869441536 28108 4294967295 134512640 134569956 3221224336 3221214568 1131617239 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/28343/statm): 212266 28108 13129 16 0 212250 0
[pid=28343] vsize: 849064
Current children cumulated CPU time (s) 1202.04
Current children cumulated vsize (Kb) 849064

Sending SIGTERM to -28343
Sleeping 2 seconds
New thread pid=28360
New thread pid=28361
One traced child (pid=28361) exited with status: 0
One traced child (pid=28352) exited with status: 0
One traced child (pid=28347) exited with status: 0
One traced child (pid=28344) exited with status: 143
One traced child (pid=28345) exited with status: 143
One traced child (pid=28346) exited with status: 143
One traced child (pid=28348) exited with status: 143
One traced child (pid=28351) exited with status: 143
One traced child (pid=28350) exited with status: 143
One traced child (pid=28358) exited with status: 143
One traced child (pid=28360) exited with status: 143
One traced child (pid=28349) exited with status: 143
One traced child (pid=28343) exited with status: 143
All traced children have exited ! Game is over.

Child status: 143
Real time (s): 1230.4
CPU time (s): 1223.83
CPU user time (s): 1221.91
CPU system time (s): 1.91871
CPU usage (%): 99.4656
Max. virtual memory (cumulated for all children) (Kb): 858624

Verifier Data

Verifier:	OK	3120761045979250