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/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran10x10b.opb
MD5SUM76a1809de3568e1012eb6c6785191a40
Bench Categoryoptimization, big integers (OPTBIGINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 7349490
Optimality of the best value was proved NO
Number of terms in the objective function 3100
Biggest coefficient in the objective function 4831838208
Number of bits for the biggest coefficient in the objective function 33
Sum of the numbers in the objective function 511129031204
Number of bits of the sum of numbers in the objective function 39
Biggest number in a constraint 4831838208
Number of bits of the biggest number in a constraint 33
Biggest sum of numbers in a constraint 511129031204
Number of bits of the biggest sum of numbers39
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1195.06
Number of variables3100
Total number of constraints120
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints120
Minimum length of a constraint31
Maximum length of a constraint300

Trace number 4888

Launcher Data

LAUNCH ON wulflinc19 THE 2005-09-19 20:45:36 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=6553 boxname=wulflinc19 idbench=693 idsolver=6 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  76a1809de3568e1012eb6c6785191a40  /oldhome/oroussel/tmp/wulflinc19/normalized-mps-v2-20-10-ran10x10b.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoTer.jar /oldhome/oroussel/tmp/wulflinc19/normalized-mps-v2-20-10-ran10x10b.opb
IDLAUNCH: 6553
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.037
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	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.037
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:        880572 kB
Buffers:         36304 kB
Cached:          90160 kB
SwapCached:        832 kB
Active:          72596 kB
Inactive:        56424 kB
HighTotal:      131008 kB
HighFree:        40096 kB
LowTotal:       903652 kB
LowFree:        840476 kB
SwapTotal:     2097892 kB
SwapFree:      2096460 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5700 kB
Slab:            19304 kB
Committed_AS:    64240 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-19 21:05:57 (client local time) WITH STATUS 143 IN 1228.76 SECONDS
stats: 6553 0 1228.76 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/wulflinc19/normalized-mps-v2-20-10-ran10x10b.opb
c reading problem ... done. Time 3.783 ms.
c #vars     3100
c #constraints  140
c SATISFIABLE
c OPTIMIZING...
c CURRENT OPTIMUM=             9717383 		Current CPU time: 13.80 ms
c CURRENT OPTIMUM=             8132878 		Current CPU time: 28.71 ms
c CURRENT OPTIMUM=             7541039 		Current CPU time: 94.10 ms
c starts		: 6
c conflicts		: 268
c decisions		: 18394
c propagations		: 47980
c inspects		: 532991
c learnt literals	: 0
c learnt binary clauses	: 0
c learnt ternary clauses	: 0
c learnt clauses	: 268
c root simplifications	: 132
c removed literals (reason simplification)	: 0
c reason swapping (by a shorter reason)	: 0
c Calls to reduceDB	: 7137
c speed (decisions/second)	: 16.355805003663473
c non guided choices	3645
c random choices	0
s SATISFIABLE
v -X0_bit_10 -X0_bit_9 -X0_bit_8 -X0_bit_7 -X0_bit_6 -X0_bit_5 -X0_bit_4 -X0_bit_3 -X0_bit_2 -X0_bit_1 -X0_bit0 -X0_bit1 -X0_bit2 -X0_bit3 -X0_bit4 -X0_bit5 -X0_bit6 -X0_bit7 -X0_bit8 -X0_bit9 -X0_bit10 -X0_bit11 -X0_bit12 -X0_bit13 -X0_bit14 -X0_bit15 -X0_bit16 -X0_bit17 -X0_bit18 -X0_bit19 -X1_bit_10 -X1_bit_9 -X1_bit_8 -X1_bit_7 -X1_bit_6 -X1_bit_5 -X1_bit_4 -X1_bit_3 -X1_bit_2 -X1_bit_1 X1_bit0 X1_bit1 X1_bit2 X1_bit3 -X1_bit4 -X1_bit5 -X1_bit6 -X1_bit7 -X1_bit8 -X1_bit9 -X1_bit10 -X1_bit11 -X1_bit12 -X1_bit13 -X1_bit14 -X1_bit15 -X1_bit16 -X1_bit17 -X1_bit18 -X1_bit19 -X2_bit_10 -X2_bit_9 -X2_bit_8 -X2_bit_7 -X2_bit_6 -X2_bit_5 -X2_bit_4 -X2_bit_3 -X2_bit_2 -X2_bit_1 -X2_bit0 -X2_bit1 -X2_bit2 -X2_bit3 -X2_bit4 -X2_bit5 -X2_bit6 -X2_bit7 -X2_bit8 -X2_bit9 -X2_bit10 -X2_bit11 -X2_bit12 -X2_bit13 -X2_bit14 -X2_bit15 -X2_bit16 -X2_bit17 -X2_bit18 -X2_bit19 -X3_bit_10 -X3_bit_9 -X3_bit_8 -X3_bit_7 -X3_bit_6 -X3_bit_5 -X3_bit_4 -X3_bit_3 -X3_bit_2 -X3_bit_1 -X3_bit0 -X3_bit1 -X3_bit2 -X3_bit3 -X3_bit4 -X3_bit5 -X3_bit6 -X3_bit7 -X3_bit8 -X3_bit9 -X3_bit10 -X3_bit11 -X3_bit12 -X3_bit13 -X3_bit14 -X3_bit15 -X3_bit16 -X3_bit17 -X3_bit18 -X3_bit19 -X4_bit_10 -X4_bit_9 -X4_bit_8 -X4_bit_7 -X4_bit_6 -X4_bit_5 -X4_bit_4 -X4_bit_3 -X4_bit_2 -X4_bit_1 -X4_bit0 -X4_bit1 -X4_bit2 -X4_bit3 -X4_bit4 -X4_bit5 -X4_bit6 -X4_bit7 -X4_bit8 -X4_bit9 -X4_bit10 -X4_bit11 -X4_bit12 -X4_bit13 -X4_bit14 -X4_bit15 -X4_bit16 -X4_bit17 -X4_bit18 -X4_bit19 -X5_bit_10 -X5_bit_9 -X5_bit_8 -X5_bit_7 -X5_bit_6 -X5_bit_5 -X5_bit_4 -X5_bit_3 -X5_bit_2 -X5_bit_1 -X5_bit0 -X5_bit1 -X5_bit2 -X5_bit3 -X5_bit4 -X5_bit5 -X5_bit6 -X5_bit7 -X5_bit8 -X5_bit9 -X5_bit10 -X5_bit11 -X5_bit12 -X5_bit13 -X5_bit14 -X5_bit15 -X5_bit16 -X5_bit17 -X5_bit18 -X5_bit19 -X6_bit_10 -X6_bit_9 -X6_bit_8 -X6_bit_7 -X6_bit_6 -X6_bit_5 -X6_bit_4 -X6_bit_3 -X6_bit_2 -X6_bit_1 -X6_bit0 -X6_bit1 -X6_bit2 -X6_bit3 -X6_bit4 -X6_bit5 -X6_bit6 -X6_bit7 -X6_bit8 -X6_bit9 -X6_bit10 -X6_bit11 -X6_bit12 -X6_bit13 -X6_bit14 -X6_bit15 -X6_bit16 -X6_bit17 -X6_bit18 -X6_bit19 -X7_bit_10 -X7_bit_9 -X7_bit_8 -X7_bit_7 -X7_bit_6 -X7_bit_5 -X7_bit_4 -X7_bit_3 -X7_bit_2 -X7_bit_1 -X7_bit0 -X7_bit1 -X7_bit2 -X7_bit3 -X7_bit4 -X7_bit5 -X7_bit6 -X7_bit7 -X7_bit8 -X7_bit9 -X7_bit10 -X7_bit11 -X7_bit12 -X7_bit13 -X7_bit14 -X7_bit15 -X7_bit16 -X7_bit17 -X7_bit18 -X7_bit19 -X8_bit_10 -X8_bit_9 -X8_bit_8 -X8_bit_7 -X8_bit_6 -X8_bit_5 -X8_bit_4 -X8_bit_3 -X8_bit_2 -X8_bit_1 X8_bit0 -X8_bit1 -X8_bit2 -X8_bit3 -X8_bit4 -X8_bit5 -X8_bit6 -X8_bit7 -X8_bit8 -X8_bit9 -X8_bit10 -X8_bit11 -X8_bit12 -X8_bit13 -X8_bit14 -X8_bit15 -X8_bit16 -X8_bit17 -X8_bit18 -X8_bit19 -X9_bit_10 -X9_bit_9 -X9_bit_8 -X9_bit_7 -X9_bit_6 -X9_bit_5 -X9_bit_4 -X9_bit_3 -X9_bit_2 -X9_bit_1 -X9_bit0 -X9_bit1 -X9_bit2 -X9_bit3 -X9_bit4 -X9_bit5 -X9_bit6 -X9_bit7 -X9_bit8 -X9_bit9 -X9_bit10 -X9_bit11 -X9_bit12 -X9_bit13 -X9_bit14 -X9_bit15 -X9_bit16 -X9_bit17 -X9_bit18 -X9_bit19 -X10_bit_10 -X10_bit_9 -X10_bit_8 -X10_bit_7 -X10_bit_6 -X10_bit_5 -X10_bit_4 -X10_bit_3 -X10_bit_2 -X10_bit_1 -X10_bit0 -X10_bit1 -X10_bit2 -X10_bit3 -X10_bit4 -X10_bit5 -X10_bit6 -X10_bit7 -X10_bit8 -X10_bit9 -X10_bit10 -X10_bit11 -X10_bit12 -X10_bit13 -X10_bit14 -X10_bit15 -X10_bit16 -X10_bit17 -X10_bit18 -X10_bit19 -X11_bit_10 -X11_bit_9 -X11_bit_8 -X11_bit_7 -X11_bit_6 -X11_bit_5 -X11_bit_4 -X11_bit_3 -X11_bit_2 -X11_bit_1 -X11_bit0 -X11_bit1 -X11_bit2 -X11_bit3 -X11_bit4 -X11_bit5 -X11_bit6 -X11_bit7 -X11_bit8 -X11_bit9 -X11_bit10 -X11_bit11 -X11_bit12 -X11_bit13 -X11_bit14 -X11_bit15 -X11_bit16 -X11_bit17 -X11_bit18 -X11_bit19 X12_bit_10 X12_bit_9 -X12_bit_8 -X12_bit_7 -X12_bit_6 -X12_bit_5 -X12_bit_4 -X12_bit_3 -X12_bit_2 -X12_bit_1 -X12_bit0 -X12_bit1 -X12_bit2 -X12_bit3 -X12_bit4 -X12_bit5 -X12_bit6 -X12_bit7 -X12_bit8 -X12_bit9 -X12_bit10 -X12_bit11 -X12_bit12 -X12_bit13 -X12_bit14 -X12_bit15 -X12_bit16 -X12_bit17 -X12_bit18 -X12_bit19 X13_bit_10 X13_bit_9 X13_bit_8 X13_bit_7 X13_bit_6 X13_bit_5 X13_bit_4 X13_bit_3 X13_bit_2 X13_bit_1 X13_bit0 -X13_bit1 -X13_bit2 -X13_bit3 -X13_bit4 -X13_bit5 -X13_bit6 -X13_bit7 -X13_bit8 -X13_bit9 -X13_bit10 -X13_bit11 -X13_bit12 -X13_bit13 -X13_bit14 -X13_bit15 -X13_bit16 -X13_bit17 -X13_bit18 -X13_bit19 X14_bit_10 X14_bit_9 X14_bit_8 X14_bit_7 X14_bit_6 X14_bit_5 X14_bit_4 X14_bit_3 X14_bit_2 X14_bit_1 -X14_bit0 -X14_bit1 -X14_bit2 -X14_bit3 -X14_bit4 -X14_bit5 -X14_bit6 -X14_bit7 -X14_bit8 -X14_bit9 -X14_bit10 -X14_bit11 -X14_bit12 -X14_bit13 -X14_bit14 -X14_bit15 -X14_bit16 -X14_bit17 -X14_bit18 -X14_bit19 -X15_bit_10 -X15_bit_9 -X15_bit_8 -X15_bit_7 -X15_bit_6 -X15_bit_5 -X15_bit_4 -X15_bit_3 -X15_bit_2 -X15_bit_1 -X15_bit0 -X15_bit1 -X15_bit2 -X15_bit3 -X15_bit4 -X15_bit5 -X15_bit6 -X15_bit7 -X15_bit8 -X15_bit9 -X15_bit10 -X15_bit11 -X15_bit12 -X15_bit13 -X15_bit14 -X15_bit15 -X15_bit16 -X15_bit17 -X15_bit18 -X15_bit19 X16_bit_10 X16_bit_9 X16_bit_8 X16_bit_7 X16_bit_6 X16_bit_5 X16_bit_4 X16_bit_3 X16_bit_2 X16_bit_1 X16_bit0 -X16_bit1 -X16_bit2 -X16_bit3 -X16_bit4 -X16_bit5 -X16_bit6 -X16_bit7 -X16_bit8 -X16_bit9 -X16_bit10 -X16_bit11 -X16_bit12 -X16_bit13 -X16_bit14 -X16_bit15 -X16_bit16 -X16_bit17 -X16_bit18 -X16_bit19 -X17_bit_10 -X17_bit_9 -X17_bit_8 -X17_bit_7 -X17_bit_6 -X17_bit_5 -X17_bit_4 -X17_bit_3 -X17_bit_2 -X17_bit_1 -X17_bit0 X17_bit1 -X17_bit2 -X17_bit3 -X17_bit4 -X17_bit5 -X17_bit6 -X17_bit7 -X17_bit8 -X17_bit9 -X17_bit10 -X17_bit11 -X17_bit12 -X17_bit13 -X17_bit14 -X17_bit15 -X17_bit16 -X17_bit17 -X17_bit18 -X17_bit19 -X18_bit_10 -X18_bit_9 -X18_bit_8 -X18_bit_7 -X18_bit_6 -X18_bit_5 -X18_bit_4 -X18_bit_3 -X18_bit_2 -X18_bit_1 -X18_bit0 -X18_bit1 -X18_bit2 -X18_bit3 -X18_bit4 -X18_bit5 -X18_bit6 -X18_bit7 -X18_bit8 -X18_bit9 -X18_bit10 -X18_bit11 -X18_bit12 -X18_bit13 -X18_bit14 -X18_bit15 -X18_bit16 -X18_bit17 -X18_bit18 -X18_bit19 -X19_bit_10 -X19_bit_9 -X19_bit_8 -X19_bit_7 -X19_bit_6 -X19_bit_5 -X19_bit_4 -X19_bit_3 -X19_bit_2 -X19_bit_1 -X19_bit0 -X19_bit1 -X19_bit2 -X19_bit3 -X19_bit4 -X19_bit5 -X19_bit6 -X19_bit7 -X19_bit8 -X19_bit9 -X19_bit10 -X19_bit11 -X19_bit12 -X19_bit13 -X19_bit14 -X19_bit15 -X19_bit16 -X19_bit17 -X19_bit18 -X19_bit19 -X20_bit_10 -X20_bit_9 -X20_bit_8 -X20_bit_7 -X20_bit_6 -X20_bit_5 -X20_bit_4 -X20_bit_3 -X20_bit_2 -X20_bit_1 -X20_bit0 -X20_bit1 -X20_bit2 -X20_bit3 -X20_bit4 -X20_bit5 -X20_bit6 -X20_bit7 -X20_bit8 -X20_bit9 -X20_bit10 -X20_bit11 -X20_bit12 -X20_bit13 -X20_bit14 -X20_bit15 -X20_bit16 -X20_bit17 -X20_bit18 -X20_bit19 -X21_bit_10 -X21_bit_9 -X21_bit_8 -X21_bit_7 -X21_bit_6 -X21_bit_5 -X21_bit_4 -X21_bit_3 -X21_bit_2 -X21_bit_1 -X21_bit0 -X21_bit1 -X21_bit2 -X21_bit3 -X21_bit4 -X21_bit5 -X21_bit6 -X21_bit7 -X21_bit8 -X21_bit9 -X21_bit10 -X21_bit11 -X21_bit12 -X21_bit13 -X21_bit14 -X21_bit15 -X21_bit16 -X21_bit17 -X21_bit18 -X21_bit19 -X22_bit_10 -X22_bit_9 -X22_bit_8 -X22_bit_7 -X22_bit_6 -X22_bit_5 -X22_bit_4 -X22_bit_3 -X22_bit_2 -X22_bit_1 -X22_bit0 -X22_bit1 -X22_bit2 -X22_bit3 -X22_bit4 -X22_bit5 -X22_bit6 -X22_bit7 -X22_bit8 -X22_bit9 -X22_bit10 -X22_bit11 -X22_bit12 -X22_bit13 -X22_bit14 -X22_bit15 -X22_bit16 -X22_bit17 -X22_bit18 -X22_bit19 -X23_bit_10 -X23_bit_9 -X23_bit_8 -X23_bit_7 -X23_bit_6 -X23_bit_5 -X23_bit_4 -X23_bit_3 -X23_bit_2 -X23_bit_1 -X23_bit0 -X23_bit1 -X23_bit2 -X23_bit3 -X23_bit4 -X23_bit5 -X23_bit6 -X23_bit7 -X23_bit8 -X23_bit9 -X23_bit10 -X23_bit11 -X23_bit12 -X23_bit13 -X23_bit14 -X23_bit15 -X23_bit16 -X23_bit17 -X23_bit18 -X23_bit19 -X24_bit_10 -X24_bit_9 -X24_bit_8 -X24_bit_7 -X24_bit_6 -X24_bit_5 -X24_bit_4 -X24_bit_3 -X24_bit_2 -X24_bit_1 -X24_bit0 -X24_bit1 -X24_bit2 -X24_bit3 -X24_bit4 -X24_bit5 -X24_bit6 -X24_bit7 -X24_bit8 -X24_bit9 -X24_bit10 -X24_bit11 -X24_bit12 -X24_bit13 -X24_bit14 -X24_bit15 -X24_bit16 -X24_bit17 -X24_bit18 -X24_bit19 -X25_bit_10 -X25_bit_9 -X25_bit_8 -X25_bit_7 -X25_bit_6 -X25_bit_5 -X25_bit_4 -X25_bit_3 -X25_bit_2 -X25_bit_1 -X25_bit0 -X25_bit1 -X25_bit2 -X25_bit3 -X25_bit4 -X25_bit5 -X25_bit6 -X25_bit7 -X25_bit8 -X25_bit9 -X25_bit10 -X25_bit11 -X25_bit12 -X25_bit13 -X25_bit14 -X25_bit15 -X25_bit16 -X25_bit17 -X25_bit18 -X25_bit19 -X26_bit_10 -X26_bit_9 -X26_bit_8 -X26_bit_7 -X26_bit_6 -X26_bit_5 -X26_bit_4 -X26_bit_3 -X26_bit_2 -X26_bit_1 -X26_bit0 -X26_bit1 -X26_bit2 -X26_bit3 -X26_bit4 -X26_bit5 -X26_bit6 -X26_bit7 -X26_bit8 -X26_bit9 -X26_bit10 -X26_bit11 -X26_bit12 -X26_bit13 -X26_bit14 -X26_bit15 -X26_bit16 -X26_bit17 -X26_bit18 -X26_bit19 -X27_bit_10 -X27_bit_9 -X27_bit_8 -X27_bit_7 -X27_bit_6 -X27_bit_5 -X27_bit_4 -X27_bit_3 -X27_bit_2 -X27_bit_1 -X27_bit0 -X27_bit1 X27_bit2 -X27_bit3 -X27_bit4 -X27_bit5 -X27_bit6 -X27_bit7 -X27_bit8 -X27_bit9 -X27_bit10 -X27_bit11 -X27_bit12 -X27_bit13 -X27_bit14 -X27_bit15 -X27_bit16 -X27_bit17 -X27_bit18 -X27_bit19 -X28_bit_10 -X28_bit_9 -X28_bit_8 -X28_bit_7 -X28_bit_6 -X28_bit_5 -X28_bit_4 -X28_bit_3 -X28_bit_2 -X28_bit_1 -X28_bit0 -X28_bit1 -X28_bit2 -X28_bit3 -X28_bit4 -X28_bit5 -X28_bit6 -X28_bit7 -X28_bit8 -X28_bit9 -X28_bit10 -X28_bit11 -X28_bit12 -X28_bit13 -X28_bit14 -X28_bit15 -X28_bit16 -X28_bit17 -X28_bit18 -X28_bit19 -X29_bit_10 -X29_bit_9 -X29_bit_8 -X29_bit_7 -X29_bit_6 -X29_bit_5 -X29_bit_4 -X29_bit_3 -X29_bit_2 -X29_bit_1 -X29_bit0 -X29_bit1 -X29_bit2 -X29_bit3 -X29_bit4 -X29_bit5 -X29_bit6 -X29_bit7 -X29_bit8 -X29_bit9 -X29_bit10 -X29_bit11 -X29_bit12 -X29_bit13 -X29_bit14 -X29_bit15 -X29_bit16 -X29_bit17 -X29_bit18 -X29_bit19 -X30_bit_10 -X30_bit_9 -X30_bit_8 -X30_bit_7 -X30_bit_6 -X30_bit_5 -X30_bit_4 -X30_bit_3 -X30_bit_2 -X30_bit_1 -X30_bit0 -X30_bit1 -X30_bit2 -X30_bit3 -X30_bit4 -X30_bit5 -X30_bit6 -X30_bit7 -X30_bit8 -X30_bit9 -X30_bit10 -X30_bit11 -X30_bit12 -X30_bit13 -X30_bit14 -X30_bit15 -X30_bit16 -X30_bit17 -X30_bit18 -X30_bit19 -X31_bit_10 -X31_bit_9 -X31_bit_8 -X31_bit_7 -X31_bit_6 -X31_bit_5 -X31_bit_4 -X31_bit_3 -X31_bit_2 -X31_bit_1 -X31_bit0 -X31_bit1 -X31_bit2 -X31_bit3 -X31_bit4 -X31_bit5 -X31_bit6 -X31_bit7 -X31_bit8 -X31_bit9 -X31_bit10 -X31_bit11 -X31_bit12 -X31_bit13 -X31_bit14 -X31_bit15 -X31_bit16 -X31_bit17 -X31_bit18 -X31_bit19 -X32_bit_10 -X32_bit_9 -X32_bit_8 -X32_bit_7 -X32_bit_6 -X32_bit_5 -X32_bit_4 -X32_bit_3 -X32_bit_2 -X32_bit_1 -X32_bit0 -X32_bit1 -X32_bit2 -X32_bit3 -X32_bit4 -X32_bit5 -X32_bit6 -X32_bit7 -X32_bit8 -X32_bit9 -X32_bit10 -X32_bit11 -X32_bit12 -X32_bit13 -X32_bit14 -X32_bit15 -X32_bit16 -X32_bit17 -X32_bit18 -X32_bit19 -X33_bit_10 -X33_bit_9 -X33_bit_8 -X33_bit_7 -X33_bit_6 -X33_bit_5 -X33_bit_4 -X33_bit_3 -X33_bit_2 -X33_bit_1 X33_bit0 -X33_bit1 X33_bit2 -X33_bit3 -X33_bit4 -X33_bit5 -X33_bit6 -X33_bit7 -X33_bit8 -X33_bit9 -X33_bit10 -X33_bit11 -X33_bit12 -X33_bit13 -X33_bit14 -X33_bit15 -X33_bit16 -X33_bit17 -X33_bit18 -X33_bit19 -X34_bit_10 -X34_bit_9 -X34_bit_8 -X34_bit_7 -X34_bit_6 -X34_bit_5 -X34_bit_4 -X34_bit_3 -X34_bit_2 -X34_bit_1 -X34_bit0 -X34_bit1 -X34_bit2 -X34_bit3 -X34_bit4 -X34_bit5 -X34_bit6 -X34_bit7 -X34_bit8 -X34_bit9 -X34_bit10 -X34_bit11 -X34_bit12 -X34_bit13 -X34_bit14 -X34_bit15 -X34_bit16 -X34_bit17 -X34_bit18 -X34_bit19 -X35_bit_10 -X35_bit_9 -X35_bit_8 -X35_bit_7 -X35_bit_6 -X35_bit_5 -X35_bit_4 -X35_bit_3 -X35_bit_2 -X35_bit_1 X35_bit0 X35_bit1 -X35_bit2 -X35_bit3 -X35_bit4 -X35_bit5 -X35_bit6 -X35_bit7 -X35_bit8 -X35_bit9 -X35_bit10 -X35_bit11 -X35_bit12 -X35_bit13 -X35_bit14 -X35_bit15 -X35_bit16 -X35_bit17 -X35_bit18 -X35_bit19 -X36_bit_10 -X36_bit_9 -X36_bit_8 -X36_bit_7 -X36_bit_6 -X36_bit_5 -X36_bit_4 -X36_bit_3 -X36_bit_2 -X36_bit_1 -X36_bit0 -X36_bit1 -X36_bit2 -X36_bit3 -X36_bit4 -X36_bit5 -X36_bit6 -X36_bit7 -X36_bit8 -X36_bit9 -X36_bit10 -X36_bit11 -X36_bit12 -X36_bit13 -X36_bit14 -X36_bit15 -X36_bit16 -X36_bit17 -X36_bit18 -X36_bit19 -X37_bit_10 -X37_bit_9 -X37_bit_8 -X37_bit_7 -X37_bit_6 -X37_bit_5 -X37_bit_4 -X37_bit_3 -X37_bit_2 -X37_bit_1 -X37_bit0 -X37_bit1 -X37_bit2 -X37_bit3 -X37_bit4 -X37_bit5 -X37_bit6 -X37_bit7 -X37_bit8 -X37_bit9 -X37_bit10 -X37_bit11 -X37_bit12 -X37_bit13 -X37_bit14 -X37_bit15 -X37_bit16 -X37_bit17 -X37_bit18 -X37_bit19 -X38_bit_10 -X38_bit_9 -X38_bit_8 -X38_bit_7 -X38_bit_6 -X38_bit_5 -X38_bit_4 -X38_bit_3 -X38_bit_2 -X38_bit_1 -X38_bit0 -X38_bit1 -X38_bit2 -X38_bit3 -X38_bit4 -X38_bit5 -X38_bit6 -X38_bit7 -X38_bit8 -X38_bit9 -X38_bit10 -X38_bit11 -X38_bit12 -X38_bit13 -X38_bit14 -X38_bit15 -X38_bit16 -X38_bit17 -X38_bit18 -X38_bit19 -X39_bit_10 -X39_bit_9 -X39_bit_8 -X39_bit_7 -X39_bit_6 -X39_bit_5 -X39_bit_4 -X39_bit_3 -X39_bit_2 -X39_bit_1 X39_bit0 -X39_bit1 -X39_bit2 X39_bit3 -X39_bit4 -X39_bit5 -X39_bit6 -X39_bit7 -X39_bit8 -X39_bit9 -X39_bit10 -X39_bit11 -X39_bit12 -X39_bit13 -X39_bit14 -X39_bit15 -X39_bit16 -X39_bit17 -X39_bit18 -X39_bit19 -X40_bit_10 X40_bit_9 X40_bit_8 -X40_bit_7 X40_bit_6 X40_bit_5 X40_bit_4 X40_bit_3 X40_bit_2 -X40_bit_1 -X40_bit0 -X40_bit1 -X40_bit2 -X40_bit3 -X40_bit4 -X40_bit5 -X40_bit6 -X40_bit7 -X40_bit8 -X40_bit9 -X40_bit10 -X40_bit11 -X40_bit12 -X40_bit13 -X40_bit14 -X40_bit15 -X40_bit16 -X40_bit17 -X40_bit18 -X40_bit19 -X41_bit_10 -X41_bit_9 -X41_bit_8 -X41_bit_7 -X41_bit_6 -X41_bit_5 -X41_bit_4 -X41_bit_3 -X41_bit_2 -X41_bit_1 -X41_bit0 -X41_bit1 -X41_bit2 -X41_bit3 -X41_bit4 -X41_bit5 -X41_bit6 -X41_bit7 -X41_bit8 -X41_bit9 -X41_bit10 -X41_bit11 -X41_bit12 -X41_bit13 -X41_bit14 -X41_bit15 -X41_bit16 -X41_bit17 -X41_bit18 -X41_bit19 -X42_bit_10 -X42_bit_9 -X42_bit_8 -X42_bit_7 -X42_bit_6 -X42_bit_5 -X42_bit_4 -X42_bit_3 -X42_bit_2 -X42_bit_1 -X42_bit0 -X42_bit1 -X42_bit2 -X42_bit3 -X42_bit4 -X42_bit5 -X42_bit6 -X42_bit7 -X42_bit8 -X42_bit9 -X42_bit10 -X42_bit11 -X42_bit12 -X42_bit13 -X42_bit14 -X42_bit15 -X42_bit16 -X42_bit17 -X42_bit18 -X42_bit19 -X43_bit_10 -X43_bit_9 -X43_bit_8 -X43_bit_7 -X43_bit_6 -X43_bit_5 -X43_bit_4 -X43_bit_3 -X43_bit_2 -X43_bit_1 -X43_bit0 -X43_bit1 -X43_bit2 -X43_bit3 -X43_bit4 -X43_bit5 -X43_bit6 -X43_bit7 -X43_bit8 -X43_bit9 -X43_bit10 -X43_bit11 -X43_bit12 -X43_bit13 -X43_bit14 -X43_bit15 -X43_bit16 -X43_bit17 -X43_bit18 -X43_bit19 -X44_bit_10 X44_bit_9 -X44_bit_8 X44_bit_7 -X44_bit_6 -X44_bit_5 -X44_bit_4 -X44_bit_3 -X44_bit_2 X44_bit_1 -X44_bit0 -X44_bit1 X44_bit2 -X44_bit3 -X44_bit4 -X44_bit5 -X44_bit6 -X44_bit7 -X44_bit8 -X44_bit9 -X44_bit10 -X44_bit11 -X44_bit12 -X44_bit13 -X44_bit14 -X44_bit15 -X44_bit16 -X44_bit17 -X44_bit18 -X44_bit19 -X45_bit_10 -X45_bit_9 -X45_bit_8 -X45_bit_7 -X45_bit_6 -X45_bit_5 -X45_bit_4 -X45_bit_3 -X45_bit_2 -X45_bit_1 -X45_bit0 -X45_bit1 -X45_bit2 -X45_bit3 -X45_bit4 -X45_bit5 -X45_bit6 -X45_bit7 -X45_bit8 -X45_bit9 -X45_bit10 -X45_bit11 -X45_bit12 -X45_bit13 -X45_bit14 -X45_bit15 -X45_bit16 -X45_bit17 -X45_bit18 -X45_bit19 -X46_bit_10 -X46_bit_9 -X46_bit_8 -X46_bit_7 -X46_bit_6 -X46_bit_5 -X46_bit_4 -X46_bit_3 -X46_bit_2 -X46_bit_1 -X46_bit0 -X46_bit1 -X46_bit2 -X46_bit3 -X46_bit4 -X46_bit5 -X46_bit6 -X46_bit7 -X46_bit8 -X46_bit9 -X46_bit10 -X46_bit11 -X46_bit12 -X46_bit13 -X46_bit14 -X46_bit15 -X46_bit16 -X46_bit17 -X46_bit18 -X46_bit19 -X47_bit_10 -X47_bit_9 -X47_bit_8 -X47_bit_7 -X47_bit_6 -X47_bit_5 -X47_bit_4 -X47_bit_3 -X47_bit_2 -X47_bit_1 -X47_bit0 -X47_bit1 -X47_bit2 -X47_bit3 -X47_bit4 -X47_bit5 -X47_bit6 -X47_bit7 -X47_bit8 -X47_bit9 -X47_bit10 -X47_bit11 -X47_bit12 -X47_bit13 -X47_bit14 -X47_bit15 -X47_bit16 -X47_bit17 -X47_bit18 -X47_bit19 -X48_bit_10 -X48_bit_9 -X48_bit_8 -X48_bit_7 -X48_bit_6 -X48_bit_5 -X48_bit_4 -X48_bit_3 -X48_bit_2 -X48_bit_1 -X48_bit0 -X48_bit1 -X48_bit2 -X48_bit3 -X48_bit4 -X48_bit5 -X48_bit6 -X48_bit7 -X48_bit8 -X48_bit9 -X48_bit10 -X48_bit11 -X48_bit12 -X48_bit13 -X48_bit14 -X48_bit15 -X48_bit16 -X48_bit17 -X48_bit18 -X48_bit19 -X49_bit_10 -X49_bit_9 -X49_bit_8 -X49_bit_7 -X49_bit_6 -X49_bit_5 -X49_bit_4 -X49_bit_3 -X49_bit_2 -X49_bit_1 -X49_bit0 -X49_bit1 -X49_bit2 -X49_bit3 -X49_bit4 -X49_bit5 -X49_bit6 -X49_bit7 -X49_bit8 -X49_bit9 -X49_bit10 -X49_bit11 -X49_bit12 -X49_bit13 -X49_bit14 -X49_bit15 -X49_bit16 -X49_bit17 -X49_bit18 -X49_bit19 X50_bit_10 -X50_bit_9 X50_bit_8 X50_bit_7 X50_bit_6 X50_bit_5 X50_bit_4 X50_bit_3 X50_bit_2 X50_bit_1 -X50_bit0 -X50_bit1 -X50_bit2 -X50_bit3 -X50_bit4 -X50_bit5 -X50_bit6 -X50_bit7 -X50_bit8 -X50_bit9 -X50_bit10 -X50_bit11 -X50_bit12 -X50_bit13 -X50_bit14 -X50_bit15 -X50_bit16 -X50_bit17 -X50_bit18 -X50_bit19 -X51_bit_10 -X51_bit_9 -X51_bit_8 -X51_bit_7 -X51_bit_6 -X51_bit_5 -X51_bit_4 -X51_bit_3 -X51_bit_2 -X51_bit_1 -X51_bit0 -X51_bit1 -X51_bit2 -X51_bit3 -X51_bit4 -X51_bit5 -X51_bit6 -X51_bit7 -X51_bit8 -X51_bit9 -X51_bit10 -X51_bit11 -X51_bit12 -X51_bit13 -X51_bit14 -X51_bit15 -X51_bit16 -X51_bit17 -X51_bit18 -X51_bit19 -X52_bit_10 -X52_bit_9 -X52_bit_8 -X52_bit_7 -X52_bit_6 -X52_bit_5 -X52_bit_4 -X52_bit_3 -X52_bit_2 -X52_bit_1 -X52_bit0 -X52_bit1 -X52_bit2 -X52_bit3 -X52_bit4 -X52_bit5 -X52_bit6 -X52_bit7 -X52_bit8 -X52_bit9 -X52_bit10 -X52_bit11 -X52_bit12 -X52_bit13 -X52_bit14 -X52_bit15 -X52_bit16 -X52_bit17 -X52_bit18 -X52_bit19 -X53_bit_10 -X53_bit_9 -X53_bit_8 -X53_bit_7 -X53_bit_6 X53_bit_5 X53_bit_4 X53_bit_3 -X53_bit_2 -X53_bit_1 -X53_bit0 X53_bit1 -X53_bit2 -X53_bit3 -X53_bit4 -X53_bit5 -X53_bit6 -X53_bit7 -X53_bit8 -X53_bit9 -X53_bit10 -X53_bit11 -X53_bit12 -X53_bit13 -X53_bit14 -X53_bit15 -X53_bit16 -X53_bit17 -X53_bit18 -X53_bit19 X54_bit_10 X54_bit_9 -X54_bit_8 -X54_bit_7 -X54_bit_6 X54_bit_5 -X54_bit_4 -X54_bit_3 X54_bit_2 X54_bit_1 -X54_bit0 -X54_bit1 -X54_bit2 X54_bit3 -X54_bit4 -X54_bit5 -X54_bit6 -X54_bit7 -X54_bit8 -X54_bit9 -X54_bit10 -X54_bit11 -X54_bit12 -X54_bit13 -X54_bit14 -X54_bit15 -X54_bit16 -X54_bit17 -X54_bit18 -X54_bit19 -X55_bit_10 -X55_bit_9 -X55_bit_8 -X55_bit_7 -X55_bit_6 -X55_bit_5 -X55_bit_4 -X55_bit_3 -X55_bit_2 -X55_bit_1 -X55_bit0 -X55_bit1 -X55_bit2 -X55_bit3 -X55_bit4 -X55_bit5 -X55_bit6 -X55_bit7 -X55_bit8 -X55_bit9 -X55_bit10 -X55_bit11 -X55_bit12 -X55_bit13 -X55_bit14 -X55_bit15 -X55_bit16 -X55_bit17 -X55_bit18 -X55_bit19 -X56_bit_10 -X56_bit_9 -X56_bit_8 -X56_bit_7 -X56_bit_6 -X56_bit_5 -X56_bit_4 -X56_bit_3 -X56_bit_2 -X56_bit_1 -X56_bit0 -X56_bit1 -X56_bit2 -X56_bit3 -X56_bit4 -X56_bit5 -X56_bit6 -X56_bit7 -X56_bit8 -X56_bit9 -X56_bit10 -X56_bit11 -X56_bit12 -X56_bit13 -X56_bit14 -X56_bit15 -X56_bit16 -X56_bit17 -X56_bit18 -X56_bit19 -X57_bit_10 -X57_bit_9 -X57_bit_8 -X57_bit_7 -X57_bit_6 -X57_bit_5 -X57_bit_4 -X57_bit_3 -X57_bit_2 -X57_bit_1 -X57_bit0 -X57_bit1 -X57_bit2 -X57_bit3 -X57_bit4 -X57_bit5 -X57_bit6 -X57_bit7 -X57_bit8 -X57_bit9 -X57_bit10 -X57_bit11 -X57_bit12 -X57_bit13 -X57_bit14 -X57_bit15 -X57_bit16 -X57_bit17 -X57_bit18 -X57_bit19 -X58_bit_10 -X58_bit_9 -X58_bit_8 -X58_bit_7 -X58_bit_6 -X58_bit_5 -X58_bit_4 -X58_bit_3 -X58_bit_2 -X58_bit_1 -X58_bit0 -X58_bit1 -X58_bit2 -X58_bit3 -X58_bit4 -X58_bit5 -X58_bit6 -X58_bit7 -X58_bit8 -X58_bit9 -X58_bit10 -X58_bit11 -X58_bit12 -X58_bit13 -X58_bit14 -X58_bit15 -X58_bit16 -X58_bit17 -X58_bit18 -X58_bit19 -X59_bit_10 -X59_bit_9 -X59_bit_8 -X59_bit_7 -X59_bit_6 -X59_bit_5 -X59_bit_4 -X59_bit_3 -X59_bit_2 -X59_bit_1 -X59_bit0 -X59_bit1 -X59_bit2 -X59_bit3 -X59_bit4 -X59_bit5 -X59_bit6 -X59_bit7 -X59_bit8 -X59_bit9 -X59_bit10 -X59_bit11 -X59_bit12 -X59_bit13 -X59_bit14 -X59_bit15 -X59_bit16 -X59_bit17 -X59_bit18 -X59_bit19 X60_bit_10 X60_bit_9 X60_bit_8 X60_bit_7 X60_bit_6 -X60_bit_5 X60_bit_4 X60_bit_3 -X60_bit_2 -X60_bit_1 -X60_bit0 -X60_bit1 -X60_bit2 -X60_bit3 -X60_bit4 -X60_bit5 -X60_bit6 -X60_bit7 -X60_bit8 -X60_bit9 -X60_bit10 -X60_bit11 -X60_bit12 -X60_bit13 -X60_bit14 -X60_bit15 -X60_bit16 -X60_bit17 -X60_bit18 -X60_bit19 -X61_bit_10 -X61_bit_9 -X61_bit_8 -X61_bit_7 -X61_bit_6 -X61_bit_5 -X61_bit_4 -X61_bit_3 -X61_bit_2 -X61_bit_1 -X61_bit0 -X61_bit1 -X61_bit2 -X61_bit3 -X61_bit4 -X61_bit5 -X61_bit6 -X61_bit7 -X61_bit8 -X61_bit9 -X61_bit10 -X61_bit11 -X61_bit12 -X61_bit13 -X61_bit14 -X61_bit15 -X61_bit16 -X61_bit17 -X61_bit18 -X61_bit19 -X62_bit_10 -X62_bit_9 -X62_bit_8 -X62_bit_7 -X62_bit_6 -X62_bit_5 -X62_bit_4 -X62_bit_3 -X62_bit_2 -X62_bit_1 -X62_bit0 -X62_bit1 -X62_bit2 -X62_bit3 -X62_bit4 -X62_bit5 -X62_bit6 -X62_bit7 -X62_bit8 -X62_bit9 -X62_bit10 -X62_bit11 -X62_bit12 -X62_bit13 -X62_bit14 -X62_bit15 -X62_bit16 -X62_bit17 -X62_bit18 -X62_bit19 X63_bit_10 -X63_bit_9 -X63_bit_8 -X63_bit_7 -X63_bit_6 X63_bit_5 -X63_bit_4 -X63_bit_3 X63_bit_2 X63_bit_1 -X63_bit0 -X63_bit1 -X63_bit2 X63_bit3 -X63_bit4 -X63_bit5 -X63_bit6 -X63_bit7 -X63_bit8 -X63_bit9 -X63_bit10 -X63_bit11 -X63_bit12 -X63_bit13 -X63_bit14 -X63_bit15 -X63_bit16 -X63_bit17 -X63_bit18 -X63_bit19 -X64_bit_10 -X64_bit_9 -X64_bit_8 -X64_bit_7 -X64_bit_6 -X64_bit_5 -X64_bit_4 -X64_bit_3 -X64_bit_2 -X64_bit_1 -X64_bit0 -X64_bit1 -X64_bit2 -X64_bit3 -X64_bit4 -X64_bit5 -X64_bit6 -X64_bit7 -X64_bit8 -X64_bit9 -X64_bit10 -X64_bit11 -X64_bit12 -X64_bit13 -X64_bit14 -X64_bit15 -X64_bit16 -X64_bit17 -X64_bit18 -X64_bit19 -X65_bit_10 -X65_bit_9 -X65_bit_8 -X65_bit_7 -X65_bit_6 -X65_bit_5 -X65_bit_4 -X65_bit_3 -X65_bit_2 -X65_bit_1 -X65_bit0 -X65_bit1 -X65_bit2 -X65_bit3 -X65_bit4 -X65_bit5 -X65_bit6 -X65_bit7 -X65_bit8 -X65_bit9 -X65_bit10 -X65_bit11 -X65_bit12 -X65_bit13 -X65_bit14 -X65_bit15 -X65_bit16 -X65_bit17 -X65_bit18 -X65_bit19 -X66_bit_10 -X66_bit_9 -X66_bit_8 -X66_bit_7 -X66_bit_6 -X66_bit_5 -X66_bit_4 -X66_bit_3 -X66_bit_2 -X66_bit_1 -X66_bit0 -X66_bit1 -X66_bit2 -X66_bit3 -X66_bit4 -X66_bit5 -X66_bit6 -X66_bit7 -X66_bit8 -X66_bit9 -X66_bit10 -X66_bit11 -X66_bit12 -X66_bit13 -X66_bit14 -X66_bit15 -X66_bit16 -X66_bit17 -X66_bit18 -X66_bit19 -X67_bit_10 -X67_bit_9 -X67_bit_8 -X67_bit_7 -X67_bit_6 -X67_bit_5 -X67_bit_4 -X67_bit_3 -X67_bit_2 -X67_bit_1 -X67_bit0 -X67_bit1 -X67_bit2 -X67_bit3 -X67_bit4 -X67_bit5 -X67_bit6 -X67_bit7 -X67_bit8 -X67_bit9 -X67_bit10 -X67_bit11 -X67_bit12 -X67_bit13 -X67_bit14 -X67_bit15 -X67_bit16 -X67_bit17 -X67_bit18 -X67_bit19 -X68_bit_10 -X68_bit_9 -X68_bit_8 -X68_bit_7 -X68_bit_6 -X68_bit_5 -X68_bit_4 -X68_bit_3 -X68_bit_2 -X68_bit_1 -X68_bit0 -X68_bit1 -X68_bit2 -X68_bit3 -X68_bit4 -X68_bit5 -X68_bit6 -X68_bit7 -X68_bit8 -X68_bit9 -X68_bit10 -X68_bit11 -X68_bit12 -X68_bit13 -X68_bit14 -X68_bit15 -X68_bit16 -X68_bit17 -X68_bit18 -X68_bit19 -X69_bit_10 -X69_bit_9 -X69_bit_8 -X69_bit_7 -X69_bit_6 -X69_bit_5 -X69_bit_4 -X69_bit_3 -X69_bit_2 -X69_bit_1 -X69_bit0 -X69_bit1 -X69_bit2 -X69_bit3 -X69_bit4 -X69_bit5 -X69_bit6 -X69_bit7 -X69_bit8 -X69_bit9 -X69_bit10 -X69_bit11 -X69_bit12 -X69_bit13 -X69_bit14 -X69_bit15 -X69_bit16 -X69_bit17 -X69_bit18 -X69_bit19 -X70_bit_10 -X70_bit_9 -X70_bit_8 -X70_bit_7 -X70_bit_6 -X70_bit_5 -X70_bit_4 -X70_bit_3 -X70_bit_2 -X70_bit_1 -X70_bit0 -X70_bit1 -X70_bit2 -X70_bit3 -X70_bit4 -X70_bit5 -X70_bit6 -X70_bit7 -X70_bit8 -X70_bit9 -X70_bit10 -X70_bit11 -X70_bit12 -X70_bit13 -X70_bit14 -X70_bit15 -X70_bit16 -X70_bit17 -X70_bit18 -X70_bit19 -X71_bit_10 -X71_bit_9 -X71_bit_8 -X71_bit_7 -X71_bit_6 -X71_bit_5 -X71_bit_4 -X71_bit_3 -X71_bit_2 -X71_bit_1 -X71_bit0 -X71_bit1 -X71_bit2 -X71_bit3 -X71_bit4 -X71_bit5 -X71_bit6 -X71_bit7 -X71_bit8 -X71_bit9 -X71_bit10 -X71_bit11 -X71_bit12 -X71_bit13 -X71_bit14 -X71_bit15 -X71_bit16 -X71_bit17 -X71_bit18 -X71_bit19 -X72_bit_10 -X72_bit_9 -X72_bit_8 -X72_bit_7 -X72_bit_6 -X72_bit_5 -X72_bit_4 -X72_bit_3 -X72_bit_2 -X72_bit_1 -X72_bit0 -X72_bit1 -X72_bit2 -X72_bit3 -X72_bit4 -X72_bit5 -X72_bit6 -X72_bit7 -X72_bit8 -X72_bit9 -X72_bit10 -X72_bit11 -X72_bit12 -X72_bit13 -X72_bit14 -X72_bit15 -X72_bit16 -X72_bit17 -X72_bit18 -X72_bit19 -X73_bit_10 -X73_bit_9 -X73_bit_8 -X73_bit_7 -X73_bit_6 -X73_bit_5 -X73_bit_4 -X73_bit_3 -X73_bit_2 -X73_bit_1 -X73_bit0 -X73_bit1 -X73_bit2 -X73_bit3 -X73_bit4 -X73_bit5 -X73_bit6 -X73_bit7 -X73_bit8 -X73_bit9 -X73_bit10 -X73_bit11 -X73_bit12 -X73_bit13 -X73_bit14 -X73_bit15 -X73_bit16 -X73_bit17 -X73_bit18 -X73_bit19 -X74_bit_10 -X74_bit_9 -X74_bit_8 -X74_bit_7 -X74_bit_6 -X74_bit_5 -X74_bit_4 -X74_bit_3 -X74_bit_2 -X74_bit_1 -X74_bit0 -X74_bit1 -X74_bit2 -X74_bit3 -X74_bit4 -X74_bit5 -X74_bit6 -X74_bit7 -X74_bit8 -X74_bit9 -X74_bit10 -X74_bit11 -X74_bit12 -X74_bit13 -X74_bit14 -X74_bit15 -X74_bit16 -X74_bit17 -X74_bit18 -X74_bit19 -X75_bit_10 -X75_bit_9 -X75_bit_8 -X75_bit_7 -X75_bit_6 -X75_bit_5 -X75_bit_4 -X75_bit_3 -X75_bit_2 -X75_bit_1 -X75_bit0 -X75_bit1 -X75_bit2 -X75_bit3 -X75_bit4 -X75_bit5 -X75_bit6 -X75_bit7 -X75_bit8 -X75_bit9 -X75_bit10 -X75_bit11 -X75_bit12 -X75_bit13 -X75_bit14 -X75_bit15 -X75_bit16 -X75_bit17 -X75_bit18 -X75_bit19 -X76_bit_10 -X76_bit_9 -X76_bit_8 -X76_bit_7 -X76_bit_6 -X76_bit_5 -X76_bit_4 -X76_bit_3 -X76_bit_2 -X76_bit_1 -X76_bit0 -X76_bit1 -X76_bit2 -X76_bit3 -X76_bit4 -X76_bit5 -X76_bit6 -X76_bit7 -X76_bit8 -X76_bit9 -X76_bit10 -X76_bit11 -X76_bit12 -X76_bit13 -X76_bit14 -X76_bit15 -X76_bit16 -X76_bit17 -X76_bit18 -X76_bit19 -X77_bit_10 -X77_bit_9 -X77_bit_8 -X77_bit_7 -X77_bit_6 -X77_bit_5 -X77_bit_4 -X77_bit_3 -X77_bit_2 -X77_bit_1 X77_bit0 X77_bit1 -X77_bit2 -X77_bit3 -X77_bit4 -X77_bit5 -X77_bit6 -X77_bit7 -X77_bit8 -X77_bit9 -X77_bit10 -X77_bit11 -X77_bit12 -X77_bit13 -X77_bit14 -X77_bit15 -X77_bit16 -X77_bit17 -X77_bit18 -X77_bit19 -X78_bit_10 -X78_bit_9 -X78_bit_8 -X78_bit_7 -X78_bit_6 -X78_bit_5 -X78_bit_4 -X78_bit_3 -X78_bit_2 -X78_bit_1 -X78_bit0 -X78_bit1 -X78_bit2 -X78_bit3 -X78_bit4 -X78_bit5 -X78_bit6 -X78_bit7 -X78_bit8 -X78_bit9 -X78_bit10 -X78_bit11 -X78_bit12 -X78_bit13 -X78_bit14 -X78_bit15 -X78_bit16 -X78_bit17 -X78_bit18 -X78_bit19 -X79_bit_10 -X79_bit_9 -X79_bit_8 -X79_bit_7 -X79_bit_6 -X79_bit_5 -X79_bit_4 -X79_bit_3 -X79_bit_2 -X79_bit_1 -X79_bit0 -X79_bit1 -X79_bit2 -X79_bit3 -X79_bit4 -X79_bit5 -X79_bit6 -X79_bit7 -X79_bit8 -X79_bit9 -X79_bit10 -X79_bit11 -X79_bit12 -X79_bit13 -X79_bit14 -X79_bit15 -X79_bit16 -X79_bit17 -X79_bit18 -X79_bit19 X80_bit_10 X80_bit_9 X80_bit_8 X80_bit_7 -X80_bit_6 X80_bit_5 X80_bit_4 -X80_bit_3 X80_bit_2 -X80_bit_1 -X80_bit0 -X80_bit1 -X80_bit2 -X80_bit3 -X80_bit4 -X80_bit5 -X80_bit6 -X80_bit7 -X80_bit8 -X80_bit9 -X80_bit10 -X80_bit11 -X80_bit12 -X80_bit13 -X80_bit14 -X80_bit15 -X80_bit16 -X80_bit17 -X80_bit18 -X80_bit19 -X81_bit_10 -X81_bit_9 -X81_bit_8 -X81_bit_7 -X81_bit_6 -X81_bit_5 -X81_bit_4 -X81_bit_3 -X81_bit_2 -X81_bit_1 -X81_bit0 -X81_bit1 -X81_bit2 -X81_bit3 -X81_bit4 -X81_bit5 -X81_bit6 -X81_bit7 -X81_bit8 -X81_bit9 -X81_bit10 -X81_bit11 -X81_bit12 -X81_bit13 -X81_bit14 -X81_bit15 -X81_bit16 -X81_bit17 -X81_bit18 -X81_bit19 -X82_bit_10 -X82_bit_9 -X82_bit_8 -X82_bit_7 -X82_bit_6 -X82_bit_5 -X82_bit_4 -X82_bit_3 -X82_bit_2 -X82_bit_1 -X82_bit0 -X82_bit1 -X82_bit2 -X82_bit3 -X82_bit4 -X82_bit5 -X82_bit6 -X82_bit7 -X82_bit8 -X82_bit9 -X82_bit10 -X82_bit11 -X82_bit12 -X82_bit13 -X82_bit14 -X82_bit15 -X82_bit16 -X82_bit17 -X82_bit18 -X82_bit19 -X83_bit_10 -X83_bit_9 -X83_bit_8 -X83_bit_7 -X83_bit_6 -X83_bit_5 -X83_bit_4 -X83_bit_3 -X83_bit_2 -X83_bit_1 -X83_bit0 -X83_bit1 -X83_bit2 -X83_bit3 -X83_bit4 -X83_bit5 -X83_bit6 -X83_bit7 -X83_bit8 -X83_bit9 -X83_bit10 -X83_bit11 -X83_bit12 -X83_bit13 -X83_bit14 -X83_bit15 -X83_bit16 -X83_bit17 -X83_bit18 -X83_bit19 -X84_bit_10 -X84_bit_9 -X84_bit_8 -X84_bit_7 -X84_bit_6 -X84_bit_5 -X84_bit_4 -X84_bit_3 -X84_bit_2 -X84_bit_1 -X84_bit0 -X84_bit1 -X84_bit2 -X84_bit3 -X84_bit4 -X84_bit5 -X84_bit6 -X84_bit7 -X84_bit8 -X84_bit9 -X84_bit10 -X84_bit11 -X84_bit12 -X84_bit13 -X84_bit14 -X84_bit15 -X84_bit16 -X84_bit17 -X84_bit18 -X84_bit19 -X85_bit_10 -X85_bit_9 -X85_bit_8 -X85_bit_7 -X85_bit_6 -X85_bit_5 -X85_bit_4 -X85_bit_3 -X85_bit_2 -X85_bit_1 -X85_bit0 -X85_bit1 -X85_bit2 -X85_bit3 -X85_bit4 -X85_bit5 -X85_bit6 -X85_bit7 -X85_bit8 -X85_bit9 -X85_bit10 -X85_bit11 -X85_bit12 -X85_bit13 -X85_bit14 -X85_bit15 -X85_bit16 -X85_bit17 -X85_bit18 -X85_bit19 X86_bit_10 -X86_bit_9 -X86_bit_8 -X86_bit_7 X86_bit_6 -X86_bit_5 -X86_bit_4 X86_bit_3 -X86_bit_2 X86_bit_1 X86_bit0 X86_bit1 -X86_bit2 -X86_bit3 -X86_bit4 -X86_bit5 -X86_bit6 -X86_bit7 -X86_bit8 -X86_bit9 -X86_bit10 -X86_bit11 -X86_bit12 -X86_bit13 -X86_bit14 -X86_bit15 -X86_bit16 -X86_bit17 -X86_bit18 -X86_bit19 -X87_bit_10 -X87_bit_9 -X87_bit_8 -X87_bit_7 -X87_bit_6 -X87_bit_5 -X87_bit_4 -X87_bit_3 -X87_bit_2 -X87_bit_1 -X87_bit0 -X87_bit1 -X87_bit2 -X87_bit3 -X87_bit4 -X87_bit5 -X87_bit6 -X87_bit7 -X87_bit8 -X87_bit9 -X87_bit10 -X87_bit11 -X87_bit12 -X87_bit13 -X87_bit14 -X87_bit15 -X87_bit16 -X87_bit17 -X87_bit18 -X87_bit19 -X88_bit_10 -X88_bit_9 -X88_bit_8 -X88_bit_7 -X88_bit_6 -X88_bit_5 -X88_bit_4 -X88_bit_3 -X88_bit_2 -X88_bit_1 -X88_bit0 -X88_bit1 -X88_bit2 -X88_bit3 -X88_bit4 -X88_bit5 -X88_bit6 -X88_bit7 -X88_bit8 -X88_bit9 -X88_bit10 -X88_bit11 -X88_bit12 -X88_bit13 -X88_bit14 -X88_bit15 -X88_bit16 -X88_bit17 -X88_bit18 -X88_bit19 -X89_bit_10 -X89_bit_9 -X89_bit_8 -X89_bit_7 -X89_bit_6 -X89_bit_5 -X89_bit_4 -X89_bit_3 -X89_bit_2 -X89_bit_1 -X89_bit0 -X89_bit1 -X89_bit2 -X89_bit3 -X89_bit4 -X89_bit5 -X89_bit6 -X89_bit7 -X89_bit8 -X89_bit9 -X89_bit10 -X89_bit11 -X89_bit12 -X89_bit13 -X89_bit14 -X89_bit15 -X89_bit16 -X89_bit17 -X89_bit18 -X89_bit19 X90_bit_10 X90_bit_9 X90_bit_8 X90_bit_7 X90_bit_6 X90_bit_5 -X90_bit_4 X90_bit_3 X90_bit_2 X90_bit_1 -X90_bit0 -X90_bit1 -X90_bit2 -X90_bit3 -X90_bit4 -X90_bit5 -X90_bit6 -X90_bit7 -X90_bit8 -X90_bit9 -X90_bit10 -X90_bit11 -X90_bit12 -X90_bit13 -X90_bit14 -X90_bit15 -X90_bit16 -X90_bit17 -X90_bit18 -X90_bit19 -X91_bit_10 -X91_bit_9 -X91_bit_8 -X91_bit_7 -X91_bit_6 -X91_bit_5 -X91_bit_4 -X91_bit_3 -X91_bit_2 -X91_bit_1 -X91_bit0 -X91_bit1 -X91_bit2 -X91_bit3 -X91_bit4 -X91_bit5 -X91_bit6 -X91_bit7 -X91_bit8 -X91_bit9 -X91_bit10 -X91_bit11 -X91_bit12 -X91_bit13 -X91_bit14 -X91_bit15 -X91_bit16 -X91_bit17 -X91_bit18 -X91_bit19 X92_bit_10 -X92_bit_9 X92_bit_8 X92_bit_7 X92_bit_6 X92_bit_5 X92_bit_4 X92_bit_3 X92_bit_2 X92_bit_1 X92_bit0 -X92_bit1 X92_bit2 -X92_bit3 -X92_bit4 -X92_bit5 -X92_bit6 -X92_bit7 -X92_bit8 -X92_bit9 -X92_bit10 -X92_bit11 -X92_bit12 -X92_bit13 -X92_bit14 -X92_bit15 -X92_bit16 -X92_bit17 -X92_bit18 -X92_bit19 -X93_bit_10 -X93_bit_9 -X93_bit_8 -X93_bit_7 -X93_bit_6 -X93_bit_5 -X93_bit_4 -X93_bit_3 -X93_bit_2 -X93_bit_1 -X93_bit0 -X93_bit1 -X93_bit2 -X93_bit3 -X93_bit4 -X93_bit5 -X93_bit6 -X93_bit7 -X93_bit8 -X93_bit9 -X93_bit10 -X93_bit11 -X93_bit12 -X93_bit13 -X93_bit14 -X93_bit15 -X93_bit16 -X93_bit17 -X93_bit18 -X93_bit19 -X94_bit_10 -X94_bit_9 X94_bit_8 -X94_bit_7 X94_bit_6 -X94_bit_5 X94_bit_4 X94_bit_3 -X94_bit_2 X94_bit_1 -X94_bit0 X94_bit1 -X94_bit2 -X94_bit3 -X94_bit4 -X94_bit5 -X94_bit6 -X94_bit7 -X94_bit8 -X94_bit9 -X94_bit10 -X94_bit11 -X94_bit12 -X94_bit13 -X94_bit14 -X94_bit15 -X94_bit16 -X94_bit17 -X94_bit18 -X94_bit19 -X95_bit_10 -X95_bit_9 -X95_bit_8 -X95_bit_7 -X95_bit_6 -X95_bit_5 -X95_bit_4 -X95_bit_3 -X95_bit_2 -X95_bit_1 -X95_bit0 -X95_bit1 -X95_bit2 -X95_bit3 -X95_bit4 -X95_bit5 -X95_bit6 -X95_bit7 -X95_bit8 -X95_bit9 -X95_bit10 -X95_bit11 -X95_bit12 -X95_bit13 -X95_bit14 -X95_bit15 -X95_bit16 -X95_bit17 -X95_bit18 -X95_bit19 -X96_bit_10 -X96_bit_9 -X96_bit_8 -X96_bit_7 X96_bit_6 X96_bit_5 X96_bit_4 -X96_bit_3 X96_bit_2 -X96_bit_1 X96_bit0 -X96_bit1 X96_bit2 X96_bit3 -X96_bit4 -X96_bit5 -X96_bit6 -X96_bit7 -X96_bit8 -X96_bit9 -X96_bit10 -X96_bit11 -X96_bit12 -X96_bit13 -X96_bit14 -X96_bit15 -X96_bit16 -X96_bit17 -X96_bit18 -X96_bit19 -X97_bit_10 -X97_bit_9 -X97_bit_8 -X97_bit_7 -X97_bit_6 -X97_bit_5 -X97_bit_4 -X97_bit_3 -X97_bit_2 -X97_bit_1 -X97_bit0 -X97_bit1 -X97_bit2 -X97_bit3 -X97_bit4 -X97_bit5 -X97_bit6 -X97_bit7 -X97_bit8 -X97_bit9 -X97_bit10 -X97_bit11 -X97_bit12 -X97_bit13 -X97_bit14 -X97_bit15 -X97_bit16 -X97_bit17 -X97_bit18 -X97_bit19 -X98_bit_10 -X98_bit_9 -X98_bit_8 -X98_bit_7 -X98_bit_6 -X98_bit_5 -X98_bit_4 -X98_bit_3 -X98_bit_2 -X98_bit_1 -X98_bit0 -X98_bit1 -X98_bit2 -X98_bit3 -X98_bit4 -X98_bit5 -X98_bit6 -X98_bit7 -X98_bit8 -X98_bit9 -X98_bit10 -X98_bit11 -X98_bit12 -X98_bit13 -X98_bit14 -X98_bit15 -X98_bit16 -X98_bit17 -X98_bit18 -X98_bit19 -X99_bit_10 -X99_bit_9 -X99_bit_8 -X99_bit_7 -X99_bit_6 -X99_bit_5 -X99_bit_4 -X99_bit_3 -X99_bit_2 -X99_bit_1 -X99_bit0 -X99_bit1 -X99_bit2 -X99_bit3 -X99_bit4 -X99_bit5 -X99_bit6 -X99_bit7 -X99_bit8 -X99_bit9 -X99_bit10 -X99_bit11 -X99_bit12 -X99_bit13 -X99_bit14 -X99_bit15 -X99_bit16 -X99_bit17 -X99_bit18 -X99_bit19 -Y0_bit0 Y1_bit0 -Y2_bit0 -Y3_bit0 -Y4_bit0 -Y5_bit0 -Y6_bit0 -Y7_bit0 Y8_bit0 -Y9_bit0 -Y10_bit0 -Y11_bit0 Y12_bit0 Y13_bit0 Y14_bit0 -Y15_bit0 Y16_bit0 Y17_bit0 -Y18_bit0 -Y19_bit0 -Y20_bit0 -Y21_bit0 -Y22_bit0 -Y23_bit0 -Y24_bit0 -Y25_bit0 -Y26_bit0 Y27_bit0 -Y28_bit0 -Y29_bit0 -Y30_bit0 -Y31_bit0 -Y32_bit0 Y33_bit0 -Y34_bit0 Y35_bit0 -Y36_bit0 -Y37_bit0 -Y38_bit0 Y39_bit0 Y40_bit0 -Y41_bit0 -Y42_bit0 -Y43_bit0 Y44_bit0 -Y45_bit0 -Y46_bit0 -Y47_bit0 -Y48_bit0 -Y49_bit0 Y50_bit0 -Y51_bit0 -Y52_bit0 Y53_bit0 Y54_bit0 -Y55_bit0 -Y56_bit0 -Y57_bit0 -Y58_bit0 -Y59_bit0 Y60_bit0 -Y61_bit0 -Y62_bit0 Y63_bit0 -Y64_bit0 -Y65_bit0 -Y66_bit0 -Y67_bit0 -Y68_bit0 -Y69_bit0 -Y70_bit0 -Y71_bit0 -Y72_bit0 -Y73_bit0 -Y74_bit0 -Y75_bit0 -Y76_bit0 Y77_bit0 -Y78_bit0 -Y79_bit0 Y80_bit0 -Y81_bit0 -Y82_bit0 -Y83_bit0 -Y84_bit0 -Y85_bit0 Y86_bit0 -Y87_bit0 -Y88_bit0 -Y89_bit0 Y90_bit0 -Y91_bit0 Y92_bit0 -Y93_bit0 Y94_bit0 -Y95_bit0 Y96_bit0 -Y97_bit0 -Y98_bit0 -Y99_bit0 
c objective function=7541039
c Total CPU time (ms) : 1219.177

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/25626/stat): 25626 (java) R 25625 25626 5929 0 -1 0 19 0 0 0 0 0 0 0 22 0 1 0 1852864703 159744 3 4294967295 134512640 134569956 3221224464 3221224464 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/25626/statm): 39 3 38 16 0 23 0
[pid=25626] 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/25626
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=25627
New thread pid=25628
New thread pid=25629
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=25630
New thread pid=25631
New thread pid=25632
New thread pid=25633
New thread pid=25634
New thread pid=25635
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/wulflinc19/normalized-mps-v2-20-10-ran10x10b.opb
New thread pid=25636

[startup+10.002 s]
Raw data (loadavg): 1.24 1.05 0.95 2/66 25636
Raw data (/proc/25626/stat): 25626 (java) R 25625 25626 5929 0 -1 0 18142 0 1 0 684 52 0 0 20 0 11 0 1852864703 859361280 20936 4294967295 134512640 134569956 3221224336 3221214592 1131359185 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25626/statm): 209805 20936 13129 16 0 209789 0
[pid=25626] vsize: 839220
Current children cumulated CPU time (s) 7.36
Current children cumulated vsize (Kb) 839220
One traced child (pid=25636) exited with status: 0
New thread pid=25637

[startup+20.0028 s]
Raw data (loadavg): 1.20 1.05 0.95 2/66 25637
Raw data (/proc/25626/stat): 25626 (java) R 25625 25626 5929 0 -1 0 18202 3 1 0 1580 52 0 0 17 0 11 0 1852864703 859361280 21211 4294967295 134512640 134569956 3221224336 3221214544 1131418416 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25626/statm): 209805 21211 13129 16 0 209789 0
[pid=25626] vsize: 839220
Current children cumulated CPU time (s) 16.32
Current children cumulated vsize (Kb) 839220
One traced child (pid=25637) exited with status: 0

[startup+30.0036 s]
Raw data (loadavg): 1.17 1.05 0.95 2/65 25637
Raw data (/proc/25626/stat): 25626 (java) R 25625 25626 5929 0 -1 0 18213 3 1 0 2482 52 0 0 18 0 10 0 1852864703 859361280 21260 4294967295 134512640 134569956 3221224336 3221214976 1131569786 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25626/statm): 209805 21260 13129 16 0 209789 0
[pid=25626] vsize: 839220
Current children cumulated CPU time (s) 25.34
Current children cumulated vsize (Kb) 839220
New thread pid=25638

[startup+40.0045 s]
Raw data (loadavg): 1.14 1.04 0.95 2/66 25638
Raw data (/proc/25626/stat): 25626 (java) R 25625 25626 5929 0 -1 0 18223 3 1 0 3407 53 0 0 25 0 11 0 1852864703 859361280 21984 4294967295 134512640 134569956 3221224336 3221214800 1131362841 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25626/statm): 209805 21984 13129 16 0 209789 0
[pid=25626] vsize: 839220
Current children cumulated CPU time (s) 34.6
Current children cumulated vsize (Kb) 839220

[startup+50.0053 s]
Raw data (loadavg): 1.12 1.04 0.95 2/66 25638
Raw data (/proc/25626/stat): 25626 (java) R 25625 25626 5929 0 -1 0 18235 3 1 0 4373 53 0 0 25 0 11 0 1852864703 859361280 22099 4294967295 134512640 134569956 3221224336 3221214544 1131418703 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25626/statm): 209805 22099 13129 16 0 209789 0
[pid=25626] vsize: 839220
Current children cumulated CPU time (s) 44.26
Current children cumulated vsize (Kb) 839220

[startup+60.0061 s]
Raw data (loadavg): 1.10 1.04 0.95 3/66 25638
Raw data (/proc/25626/stat): 25626 (java) S 25625 25626 5929 0 -1 0 18244 3 1 0 5351 53 0 0 25 0 11 0 1852864703 861696000 22508 4294967295 134512640 134569956 3221224336 3221213000 1073952481 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25626/statm): 210375 22508 13129 16 0 210359 0
[pid=25626] vsize: 841500
Current children cumulated CPU time (s) 54.04
Current children cumulated vsize (Kb) 841500

[startup+70.0069 s]
Raw data (loadavg): 1.16 1.05 0.96 2/66 25638
Raw data (/proc/25626/stat): 25626 (java) R 25625 25626 5929 0 -1 0 18249 3 1 0 6334 54 0 0 17 0 11 0 1852864703 861417472 22707 4294967295 134512640 134569956 3221224336 3221214500 1131475351 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25626/statm): 210307 22707 13129 16 0 210291 0
[pid=25626] vsize: 841228
Current children cumulated CPU time (s) 63.88
Current children cumulated vsize (Kb) 841228

[startup+80.0077 s]
Raw data (loadavg): 1.14 1.05 0.96 2/66 25638
Raw data (/proc/25626/stat): 25626 (java) R 25625 25626 5929 0 -1 0 18256 3 1 0 7321 54 0 0 25 0 11 0 1852864703 861417472 22730 4294967295 134512640 134569956 3221224336 3221214496 1131383857 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25626/statm): 210307 22730 13129 16 0 210291 0
[pid=25626] vsize: 841228
Current children cumulated CPU time (s) 73.75
Current children cumulated vsize (Kb) 841228

[startup+90.0085 s]
Raw data (loadavg): 1.11 1.05 0.96 2/66 25638
Raw data (/proc/25626/stat): 25626 (java) R 25625 25626 5929 0 -1 0 18268 3 1 0 8303 54 0 0 16 0 11 0 1852864703 861417472 22751 4294967295 134512640 134569956 3221224336 3221214640 1131542272 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25626/statm): 210307 22751 13129 16 0 210291 0
[pid=25626] vsize: 841228
Current children cumulated CPU time (s) 83.57
Current children cumulated vsize (Kb) 841228
One traced child (pid=25638) exited with status: 0
New thread pid=25639

[startup+100.009 s]
Raw data (loadavg): 1.10 1.05 0.96 2/66 25639
Raw data (/proc/25626/stat): 25626 (java) R 25625 25626 5929 0 -1 0 18280 3 1 0 9280 55 0 0 24 0 11 0 1852864703 861417472 22751 4294967295 134512640 134569956 3221224336 3221214528 1131419003 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25626/statm): 210307 22751 13129 16 0 210291 0
[pid=25626] vsize: 841228
Current children cumulated CPU time (s) 93.35
Current children cumulated vsize (Kb) 841228

[startup+110.009 s]
Raw data (loadavg): 1.08 1.05 0.96 2/66 25639
Raw data (/proc/25626/stat): 25626 (java) R 25625 25626 5929 0 -1 0 18291 3 1 0 10256 56 0 0 17 0 11 0 1852864703 861417472 22814 4294967295 134512640 134569956 3221224336 3221214528 1131419144 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25626/statm): 210307 22814 13129 16 0 210291 0
[pid=25626] vsize: 841228
Current children cumulated CPU time (s) 103.12
Current children cumulated vsize (Kb) 841228

[startup+120.011 s]
Raw data (loadavg): 1.07 1.04 0.96 2/66 25639
Raw data (/proc/25626/stat): 25626 (java) R 25625 25626 5929 0 -1 0 18300 3 1 0 11240 56 0 0 25 0 11 0 1852864703 861417472 22825 4294967295 134512640 134569956 3221224336 3221214416 1131473755 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25626/statm): 210307 22825 13129 16 0 210291 0
[pid=25626] vsize: 841228
Current children cumulated CPU time (s) 112.96
Current children cumulated vsize (Kb) 841228

[startup+130.011 s]
Raw data (loadavg): 1.06 1.04 0.96 2/66 25639
Raw data (/proc/25626/stat): 25626 (java) R 25625 25626 5929 0 -1 0 18309 3 1 0 12224 56 0 0 25 0 11 0 1852864703 861417472 22921 4294967295 134512640 134569956 3221224336 3221214528 1131418429 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25626/statm): 210307 22921 13129 16 0 210291 0
[pid=25626] vsize: 841228
Current children cumulated CPU time (s) 122.8
Current children cumulated vsize (Kb) 841228

[startup+140.012 s]
Raw data (loadavg): 1.05 1.04 0.96 2/66 25639
Raw data (/proc/25626/stat): 25626 (java) R 25625 25626 5929 0 -1 0 18321 3 1 0 13214 57 0 0 20 0 11 0 1852864703 861417472 22943 4294967295 134512640 134569956 3221224336 3221214528 1131418540 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25626/statm): 210307 22943 13129 16 0 210291 0
[pid=25626] vsize: 841228
Current children cumulated CPU time (s) 132.71
Current children cumulated vsize (Kb) 841228

[startup+150.012 s]
Raw data (loadavg): 1.04 1.04 0.96 2/66 25639
Raw data (/proc/25626/stat): 25626 (java) R 25625 25626 5929 0 -1 0 18332 3 1 0 14203 57 0 0 25 0 11 0 1852864703 861417472 22945 4294967295 134512640 134569956 3221224336 3221214524 1131383456 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25626/statm): 210307 22945 13129 16 0 210291 0
[pid=25626] vsize: 841228
Current children cumulated CPU time (s) 142.6
Current children cumulated vsize (Kb) 841228

[startup+160.012 s]
Raw data (loadavg): 1.03 1.04 0.96 3/66 25639
Raw data (/proc/25626/stat): 25626 (java) R 25625 25626 5929 0 -1 0 18343 3 1 0 15185 57 0 0 25 0 11 0 1852864703 861417472 22963 4294967295 134512640 134569956 3221224336 3221214624 1131540521 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25626/statm): 210307 22963 13129 16 0 210291 0
[pid=25626] vsize: 841228
Current children cumulated CPU time (s) 152.42
Current children cumulated vsize (Kb) 841228

[startup+170.013 s]
Raw data (loadavg): 1.03 1.04 0.96 2/66 25639
Raw data (/proc/25626/stat): 25626 (java) R 25625 25626 5929 0 -1 0 18354 3 1 0 16172 58 0 0 25 0 11 0 1852864703 861417472 22969 4294967295 134512640 134569956 3221224336 3221214528 1131418745 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25626/statm): 210307 22969 13129 16 0 210291 0
[pid=25626] vsize: 841228
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (Kb) 841228

[startup+180.015 s]
Raw data (loadavg): 1.02 1.03 0.96 2/66 25639
Raw data (/proc/25626/stat): 25626 (java) R 25625 25626 5929 0 -1 0 18366 3 1 0 17158 58 0 0 25 0 11 0 1852864703 861417472 23024 4294967295 134512640 134569956 3221224336 3221214528 1131418416 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25626/statm): 210307 23024 13129 16 0 210291 0
[pid=25626] vsize: 841228
Current children cumulated CPU time (s) 172.16
Current children cumulated vsize (Kb) 841228

[startup+190.016 s]
Raw data (loadavg): 1.02 1.03 0.96 2/66 25639
Raw data (/proc/25626/stat): 25626 (java) R 25625 25626 5929 0 -1 0 18375 3 1 0 18143 59 0 0 24 0 11 0 1852864703 861417472 23033 4294967295 134512640 134569956 3221224336 3221214528 1131418907 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25626/statm): 210307 23033 13129 16 0 210291 0
[pid=25626] vsize: 841228
Current children cumulated CPU time (s) 182.02
Current children cumulated vsize (Kb) 841228

[startup+200.015 s]
Raw data (loadavg): 1.02 1.03 0.96 2/66 25639
Raw data (/proc/25626/stat): 25626 (java) R 25625 25626 5929 0 -1 0 18386 3 1 0 19124 59 0 0 25 0 11 0 1852864703 861417472 23053 4294967295 134512640 134569956 3221224336 3221214624 1131542335 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25626/statm): 210307 23053 13129 16 0 210291 0
[pid=25626] vsize: 841228
Current children cumulated CPU time (s) 191.83
Current children cumulated vsize (Kb) 841228

[startup+210.015 s]
Raw data (loadavg): 1.01 1.03 0.96 2/66 25639
Raw data (/proc/25626/stat): 25626 (java) R 25625 25626 5929 0 -1 0 18396 3 1 0 20108 60 0 0 19 0 11 0 1852864703 861417472 23054 4294967295 134512640 134569956 3221224336 3221214528 1131418745 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25626/statm): 210307 23054 13129 16 0 210291 0
[pid=25626] vsize: 841228
Current children cumulated CPU time (s) 201.68
Current children cumulated vsize (Kb) 841228

[startup+220.016 s]
Raw data (loadavg): 1.01 1.03 0.96 2/66 25639
Raw data (/proc/25626/stat): 25626 (java) R 25625 25626 5929 0 -1 0 18407 3 1 0 21094 60 0 0 19 0 11 0 1852864703 861417472 23126 4294967295 134512640 134569956 3221224336 3221214528 1131418374 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25626/statm): 210307 23126 13129 16 0 210291 0
[pid=25626] vsize: 841228
Current children cumulated CPU time (s) 211.54
Current children cumulated vsize (Kb) 841228

[startup+230.016 s]
Raw data (loadavg): 1.01 1.03 0.96 2/66 25639
Raw data (/proc/25626/stat): 25626 (java) R 25625 25626 5929 0 -1 0 18418 3 1 0 22086 60 0 0 25 0 11 0 1852864703 861417472 23139 4294967295 134512640 134569956 3221224336 3221214528 1131418745 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25626/statm): 210307 23139 13129 16 0 210291 0
[pid=25626] vsize: 841228
Current children cumulated CPU time (s) 221.46
Current children cumulated vsize (Kb) 841228

[startup+240.018 s]
Raw data (loadavg): 1.01 1.03 0.96 2/66 25639
Raw data (/proc/25626/stat): 25626 (java) R 25625 25626 5929 0 -1 0 18429 3 1 0 23076 61 0 0 25 0 11 0 1852864703 861417472 23154 4294967295 134512640 134569956 3221224336 3221214520 1131589449 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25626/statm): 210307 23154 13129 16 0 210291 0
[pid=25626] vsize: 841228
Current children cumulated CPU time (s) 231.37
Current children cumulated vsize (Kb) 841228

[startup+250.017 s]
Raw data (loadavg): 1.00 1.02 0.96 2/66 25639
Raw data (/proc/25626/stat): 25626 (java) R 25625 25626 5929 0 -1 0 18441 3 1 0 24068 61 0 0 25 0 11 0 1852864703 861417472 23166 4294967295 134512640 134569956 3221224336 3221214528 1131418701 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25626/statm): 210307 23166 13129 16 0 210291 0
[pid=25626] vsize: 841228
Current children cumulated CPU time (s) 241.29
Current children cumulated vsize (Kb) 841228

[startup+260.018 s]
Raw data (loadavg): 1.08 1.04 0.96 2/66 25639
Raw data (/proc/25626/stat): 25626 (java) R 25625 25626 5929 0 -1 0 18452 3 1 0 25060 61 0 0 25 0 11 0 1852864703 861417472 23174 4294967295 134512640 134569956 3221224336 3221214528 1131418423 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25626/statm): 210307 23174 13129 16 0 210291 0
[pid=25626] vsize: 841228
Current children cumulated CPU time (s) 251.21
Current children cumulated vsize (Kb) 841228

[startup+270.019 s]
Raw data (loadavg): 1.07 1.04 0.96 2/66 25639
Raw data (/proc/25626/stat): 25626 (java) R 25625 25626 5929 0 -1 0 18463 3 1 0 26050 62 0 0 25 0 11 0 1852864703 861417472 23186 4294967295 134512640 134569956 3221224336 3221214624 1131542353 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25626/statm): 210307 23186 13129 16 0 210291 0
[pid=25626] vsize: 841228
Current children cumulated CPU time (s) 261.12
Current children cumulated vsize (Kb) 841228

[startup+280.019 s]
Raw data (loadavg): 1.06 1.04 0.96 3/66 25639
Raw data (/proc/25626/stat): 25626 (java) R 25625 25626 5929 0 -1 0 18474 3 1 0 27042 62 0 0 25 0 11 0 1852864703 861417472 23192 4294967295 134512640 134569956 3221224336 3221214624 1131539777 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25626/statm): 210307 23192 13129 16 0 210291 0
[pid=25626] vsize: 841228
Current children cumulated CPU time (s) 271.04
Current children cumulated vsize (Kb) 841228

[startup+290.021 s]
Raw data (loadavg): 1.05 1.03 0.96 2/66 25639
Raw data (/proc/25626/stat): 25626 (java) R 25625 25626 5929 0 -1 0 18485 3 1 0 28034 62 0 0 25 0 11 0 1852864703 861417472 23203 4294967295 134512640 134569956 3221224336 3221214624 1131542474 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25626/statm): 210307 23203 13129 16 0 210291 0
[pid=25626] vsize: 841228
Current children cumulated CPU time (s) 280.96
Current children cumulated vsize (Kb) 841228

[startup+300.022 s]
Raw data (loadavg): 1.04 1.03 0.96 2/66 25639
Raw data (/proc/25626/stat): 25626 (java) R 25625 25626 5929 0 -1 0 18495 3 1 0 29025 63 0 0 22 0 11 0 1852864703 861417472 23210 4294967295 134512640 134569956 3221224336 3221214624 1131539587 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25626/statm): 210307 23210 13129 16 0 210291 0
[pid=25626] vsize: 841228
Current children cumulated CPU time (s) 290.88
Current children cumulated vsize (Kb) 841228

[startup+310.022 s]
Raw data (loadavg): 1.04 1.03 0.96 2/66 25639
Raw data (/proc/25626/stat): 25626 (java) R 25625 25626 5929 0 -1 0 18507 3 1 0 30016 63 0 0 17 0 11 0 1852864703 861417472 23222 4294967295 134512640 134569956 3221224336 3221214528 1131418416 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25626/statm): 210307 23222 13129 16 0 210291 0
[pid=25626] vsize: 841228
Current children cumulated CPU time (s) 300.79
Current children cumulated vsize (Kb) 841228

[startup+320.023 s]
Raw data (loadavg): 1.03 1.03 0.96 2/66 25639
Raw data (/proc/25626/stat): 25626 (java) R 25625 25626 5929 0 -1 0 18517 3 1 0 31004 63 0 0 25 0 11 0 1852864703 861417472 23229 4294967295 134512640 134569956 3221224336 3221214624 1131542316 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25626/statm): 210307 23229 13129 16 0 210291 0
[pid=25626] vsize: 841228
Current children cumulated CPU time (s) 310.67
Current children cumulated vsize (Kb) 841228

[startup+330.024 s]
Raw data (loadavg): 1.02 1.03 0.96 2/66 25639
Raw data (/proc/25626/stat): 25626 (java) R 25625 25626 5929 0 -1 0 18528 3 1 0 31987 64 0 0 25 0 11 0 1852864703 861417472 23243 4294967295 134512640 134569956 3221224336 3221214624 1131539522 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25626/statm): 210307 23243 13129 16 0 210291 0
[pid=25626] vsize: 841228
Current children cumulated CPU time (s) 320.51
Current children cumulated vsize (Kb) 841228

[startup+340.025 s]
Raw data (loadavg): 1.02 1.03 0.96 2/66 25639
Raw data (/proc/25626/stat): 25626 (java) R 25625 25626 5929 0 -1 0 18539 3 1 0 32971 64 0 0 21 0 11 0 1852864703 861417472 23244 4294967295 134512640 134569956 3221224336 3221214624 1131542260 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25626/statm): 210307 23244 13129 16 0 210291 0
[pid=25626] vsize: 841228
Current children cumulated CPU time (s) 330.35
Current children cumulated vsize (Kb) 841228

[startup+350.025 s]
Raw data (loadavg): 1.02 1.03 0.96 2/66 25639
Raw data (/proc/25626/stat): 25626 (java) R 25625 25626 5929 0 -1 0 18550 3 1 0 33961 65 0 0 25 0 11 0 1852864703 861417472 23316 4294967295 134512640 134569956 3221224336 3221214528 1131418872 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25626/statm): 210307 23316 13129 16 0 210291 0
[pid=25626] vsize: 841228
Current children cumulated CPU time (s) 340.26
Current children cumulated vsize (Kb) 841228

[startup+360.025 s]
Raw data (loadavg): 1.01 1.02 0.96 2/66 25639
Raw data (/proc/25626/stat): 25626 (java) R 25625 25626 5929 0 -1 0 18561 3 1 0 34952 65 0 0 22 0 11 0 1852864703 861417472 23324 4294967295 134512640 134569956 3221224336 3221214528 1131418907 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25626/statm): 210307 23324 13129 16 0 210291 0
[pid=25626] vsize: 841228
Current children cumulated CPU time (s) 350.17
Current children cumulated vsize (Kb) 841228

[startup+370.026 s]
Raw data (loadavg): 1.01 1.02 0.96 2/66 25639
Raw data (/proc/25626/stat): 25626 (java) R 25625 25626 5929 0 -1 0 18572 3 1 0 35945 66 0 0 25 0 11 0 1852864703 861417472 23329 4294967295 134512640 134569956 3221224336 3221214528 1131418745 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25626/statm): 210307 23329 13129 16 0 210291 0
[pid=25626] vsize: 841228
Current children cumulated CPU time (s) 360.11
Current children cumulated vsize (Kb) 841228

[startup+380.026 s]
Raw data (loadavg): 1.01 1.02 0.96 2/66 25639
Raw data (/proc/25626/stat): 25626 (java) R 25625 25626 5929 0 -1 0 18584 3 1 0 36937 66 0 0 17 0 11 0 1852864703 861417472 23334 4294967295 134512640 134569956 3221224336 3221214624 1131539587 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25626/statm): 210307 23334 13129 16 0 210291 0
[pid=25626] vsize: 841228
Current children cumulated CPU time (s) 370.03
Current children cumulated vsize (Kb) 841228

[startup+390.028 s]
Raw data (loadavg): 1.01 1.02 0.96 2/66 25639
Raw data (/proc/25626/stat): 25626 (java) R 25625 25626 5929 0 -1 0 18595 3 1 0 37929 67 0 0 25 0 11 0 1852864703 861417472 23340 4294967295 134512640 134569956 3221224336 3221214528 1131418689 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25626/statm): 210307 23340 13129 16 0 210291 0
[pid=25626] vsize: 841228
Current children cumulated CPU time (s) 379.96
Current children cumulated vsize (Kb) 841228

[startup+400.029 s]
Raw data (loadavg): 1.01 1.02 0.96 2/66 25639
Raw data (/proc/25626/stat): 25626 (java) R 25625 25626 5929 0 -1 0 18606 3 1 0 38922 67 0 0 25 0 11 0 1852864703 861417472 23345 4294967295 134512640 134569956 3221224336 3221214416 1131473463 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25626/statm): 210307 23345 13129 16 0 210291 0
[pid=25626] vsize: 841228
Current children cumulated CPU time (s) 389.89
Current children cumulated vsize (Kb) 841228

[startup+410.028 s]
Raw data (loadavg): 1.00 1.02 0.96 2/66 25639
Raw data (/proc/25626/stat): 25626 (java) R 25625 25626 5929 0 -1 0 18617 3 1 0 39914 67 0 0 18 0 11 0 1852864703 861417472 23352 4294967295 134512640 134569956 3221224336 3221214624 1131539587 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25626/statm): 210307 23352 13129 16 0 210291 0
[pid=25626] vsize: 841228
Current children cumulated CPU time (s) 399.81
Current children cumulated vsize (Kb) 841228

[startup+420.029 s]
Raw data (loadavg): 1.00 1.02 0.96 2/66 25639
Raw data (/proc/25626/stat): 25626 (java) R 25625 25626 5929 0 -1 0 18628 3 1 0 40906 67 0 0 18 0 11 0 1852864703 861417472 23362 4294967295 134512640 134569956 3221224336 3221214624 1131542339 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25626/statm): 210307 23362 13129 16 0 210291 0
[pid=25626] vsize: 841228
Current children cumulated CPU time (s) 409.73
Current children cumulated vsize (Kb) 841228

[startup+430.03 s]
Raw data (loadavg): 1.00 1.02 0.96 2/66 25639
Raw data (/proc/25626/stat): 25626 (java) R 25625 25626 5929 0 -1 0 18639 3 1 0 41898 68 0 0 25 0 11 0 1852864703 861417472 23369 4294967295 134512640 134569956 3221224336 3221214528 1131418745 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25626/statm): 210307 23369 13129 16 0 210291 0
[pid=25626] vsize: 841228
Current children cumulated CPU time (s) 419.66
Current children cumulated vsize (Kb) 841228

[startup+440.031 s]
Raw data (loadavg): 1.00 1.02 0.96 2/66 25639
Raw data (/proc/25626/stat): 25626 (java) R 25625 25626 5929 0 -1 0 18650 3 1 0 42891 68 0 0 21 0 11 0 1852864703 861417472 23375 4294967295 134512640 134569956 3221224336 3221214528 1131418341 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25626/statm): 210307 23375 13129 16 0 210291 0
[pid=25626] vsize: 841228
Current children cumulated CPU time (s) 429.59
Current children cumulated vsize (Kb) 841228

[startup+450.032 s]
Raw data (loadavg): 1.00 1.02 0.96 2/66 25639
Raw data (/proc/25626/stat): 25626 (java) R 25625 25626 5929 0 -1 0 18662 3 1 0 43877 70 0 0 22 0 11 0 1852864703 861417472 23386 4294967295 134512640 134569956 3221224336 3221214416 1131473556 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25626/statm): 210307 23386 13129 16 0 210291 0
[pid=25626] vsize: 841228
Current children cumulated CPU time (s) 439.47
Current children cumulated vsize (Kb) 841228

[startup+460.032 s]
Raw data (loadavg): 1.00 1.02 0.96 2/66 25639
Raw data (/proc/25626/stat): 25626 (java) R 25625 25626 5929 0 -1 0 18673 3 1 0 44857 71 0 0 25 0 11 0 1852864703 861417472 23393 4294967295 134512640 134569956 3221224336 3221214624 1131539587 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25626/statm): 210307 23393 13129 16 0 210291 0
[pid=25626] vsize: 841228
Current children cumulated CPU time (s) 449.28
Current children cumulated vsize (Kb) 841228

[startup+470.033 s]
Raw data (loadavg): 1.00 1.01 0.96 2/66 25639
Raw data (/proc/25626/stat): 25626 (java) R 25625 25626 5929 0 -1 0 18684 3 1 0 45833 72 0 0 25 0 11 0 1852864703 861417472 23400 4294967295 134512640 134569956 3221224336 3221214480 1131383527 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25626/statm): 210307 23400 13129 16 0 210291 0
[pid=25626] vsize: 841228
Current children cumulated CPU time (s) 459.05
Current children cumulated vsize (Kb) 841228

[startup+480.034 s]
Raw data (loadavg): 1.00 1.01 0.96 2/66 25639
Raw data (/proc/25626/stat): 25626 (java) R 25625 25626 5929 0 -1 0 18695 3 1 0 46809 72 0 0 17 0 11 0 1852864703 861417472 23467 4294967295 134512640 134569956 3221224336 3221214528 1131418984 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25626/statm): 210307 23467 13129 16 0 210291 0
[pid=25626] vsize: 841228
Current children cumulated CPU time (s) 468.81
Current children cumulated vsize (Kb) 841228

[startup+490.035 s]
Raw data (loadavg): 1.00 1.01 0.96 2/66 25639
Raw data (/proc/25626/stat): 25626 (java) R 25625 25626 5929 0 -1 0 18705 3 1 0 47799 72 0 0 25 0 11 0 1852864703 861417472 23560 4294967295 134512640 134569956 3221224336 3221214528 1131418984 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25626/statm): 210307 23560 13129 16 0 210291 0
[pid=25626] vsize: 841228
Current children cumulated CPU time (s) 478.71
Current children cumulated vsize (Kb) 841228

[startup+500.036 s]
Raw data (loadavg): 1.00 1.01 0.96 2/66 25639
Raw data (/proc/25626/stat): 25626 (java) R 25625 25626 5929 0 -1 0 18716 3 1 0 48790 73 0 0 25 0 11 0 1852864703 861417472 23569 4294967295 134512640 134569956 3221224336 3221214528 1131418341 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25626/statm): 210307 23569 13129 16 0 210291 0
[pid=25626] vsize: 841228
Current children cumulated CPU time (s) 488.63
Current children cumulated vsize (Kb) 841228

[startup+510.036 s]
Raw data (loadavg): 1.00 1.01 0.96 1/66 25639
Raw data (/proc/25626/stat): 25626 (java) T 25625 25626 5929 0 -1 0 18728 3 1 0 49781 74 0 0 25 0 11 0 1852864703 861417472 23575 4294967295 134512640 134569956 3221224336 3221213400 1073952732 0 4 1 23758 3222434794 0 0 17 0 0 0
Raw data (/proc/25626/statm): 210307 23575 13129 16 0 210291 0
[pid=25626] vsize: 841228
Current children cumulated CPU time (s) 498.55
Current children cumulated vsize (Kb) 841228

[startup+520.037 s]
Raw data (loadavg): 1.00 1.01 0.96 2/66 25639
Raw data (/proc/25626/stat): 25626 (java) R 25625 25626 5929 0 -1 0 18739 3 1 0 50772 74 0 0 16 0 11 0 1852864703 861417472 23583 4294967295 134512640 134569956 3221224336 3221214528 1131419343 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25626/statm): 210307 23583 13129 16 0 210291 0
[pid=25626] vsize: 841228
Current children cumulated CPU time (s) 508.46
Current children cumulated vsize (Kb) 841228

[startup+530.038 s]
Raw data (loadavg): 1.00 1.01 0.96 3/66 25639
Raw data (/proc/25626/stat): 25626 (java) R 25625 25626 5929 0 -1 0 18750 3 1 0 51763 75 0 0 25 0 11 0 1852864703 861417472 23590 4294967295 134512640 134569956 3221224336 3221214528 1131419290 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25626/statm): 210307 23590 13129 16 0 210291 0
[pid=25626] vsize: 841228
Current children cumulated CPU time (s) 518.38
Current children cumulated vsize (Kb) 841228

[startup+540.04 s]
Raw data (loadavg): 1.00 1.01 0.96 2/66 25639
Raw data (/proc/25626/stat): 25626 (java) R 25625 25626 5929 0 -1 0 18761 3 1 0 52754 75 0 0 25 0 11 0 1852864703 861417472 23598 4294967295 134512640 134569956 3221224336 3221214624 1131540666 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25626/statm): 210307 23598 13129 16 0 210291 0
[pid=25626] vsize: 841228
Current children cumulated CPU time (s) 528.29
Current children cumulated vsize (Kb) 841228

[startup+550.041 s]
Raw data (loadavg): 1.00 1.01 0.96 2/66 25639
Raw data (/proc/25626/stat): 25626 (java) R 25625 25626 5929 0 -1 0 18772 3 1 0 53746 76 0 0 25 0 11 0 1852864703 861417472 23607 4294967295 134512640 134569956 3221224336 3221214620 1131418316 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25626/statm): 210307 23607 13129 16 0 210291 0
[pid=25626] vsize: 841228
Current children cumulated CPU time (s) 538.22
Current children cumulated vsize (Kb) 841228

[startup+560.042 s]
Raw data (loadavg): 1.00 1.01 0.96 2/66 25639
Raw data (/proc/25626/stat): 25626 (java) R 25625 25626 5929 0 -1 0 18783 3 1 0 54736 76 0 0 25 0 11 0 1852864703 861417472 23623 4294967295 134512640 134569956 3221224336 3221214624 1131540767 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25626/statm): 210307 23623 13129 16 0 210291 0
[pid=25626] vsize: 841228
Current children cumulated CPU time (s) 548.12
Current children cumulated vsize (Kb) 841228

[startup+570.042 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 25639
Raw data (/proc/25626/stat): 25626 (java) R 25625 25626 5929 0 -1 0 18794 3 1 0 55728 76 0 0 25 0 11 0 1852864703 861417472 23623 4294967295 134512640 134569956 3221224336 3221214528 1131418745 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25626/statm): 210307 23623 13129 16 0 210291 0
[pid=25626] vsize: 841228
Current children cumulated CPU time (s) 558.04
Current children cumulated vsize (Kb) 841228

[startup+580.042 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 25639
Raw data (/proc/25626/stat): 25626 (java) R 25625 25626 5929 0 -1 0 18805 3 1 0 56719 77 0 0 25 0 11 0 1852864703 861417472 23642 4294967295 134512640 134569956 3221224336 3221214528 1131418703 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25626/statm): 210307 23642 13129 16 0 210291 0
[pid=25626] vsize: 841228
Current children cumulated CPU time (s) 567.96
Current children cumulated vsize (Kb) 841228

[startup+590.043 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 25639
Raw data (/proc/25626/stat): 25626 (java) R 25625 25626 5929 0 -1 0 18816 3 1 0 57709 78 0 0 25 0 11 0 1852864703 861417472 23642 4294967295 134512640 134569956 3221224336 3221214744 1131576674 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25626/statm): 210307 23642 13129 16 0 210291 0
[pid=25626] vsize: 841228
Current children cumulated CPU time (s) 577.87
Current children cumulated vsize (Kb) 841228

[startup+600.045 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 25639
Raw data (/proc/25626/stat): 25626 (java) R 25625 25626 5929 0 -1 0 18827 3 1 0 58701 78 0 0 25 0 11 0 1852864703 861417472 23655 4294967295 134512640 134569956 3221224336 3221214528 1131418837 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25626/statm): 210307 23655 13129 16 0 210291 0
[pid=25626] vsize: 841228
Current children cumulated CPU time (s) 587.79
Current children cumulated vsize (Kb) 841228

[startup+610.045 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 25639
Raw data (/proc/25626/stat): 25626 (java) R 25625 25626 5929 0 -1 0 18838 3 1 0 59692 79 0 0 19 0 11 0 1852864703 861417472 23661 4294967295 134512640 134569956 3221224336 3221214516 1131525824 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25626/statm): 210307 23661 13129 16 0 210291 0
[pid=25626] vsize: 841228
Current children cumulated CPU time (s) 597.71
Current children cumulated vsize (Kb) 841228

[startup+620.045 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 25639
Raw data (/proc/25626/stat): 25626 (java) R 25625 25626 5929 0 -1 0 18849 3 1 0 60684 79 0 0 20 0 11 0 1852864703 861417472 23667 4294967295 134512640 134569956 3221224336 3221214528 1131418745 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25626/statm): 210307 23667 13129 16 0 210291 0
[pid=25626] vsize: 841228
Current children cumulated CPU time (s) 607.63
Current children cumulated vsize (Kb) 841228

[startup+630.046 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 25639
Raw data (/proc/25626/stat): 25626 (java) R 25625 25626 5929 0 -1 0 18860 3 1 0 61675 80 0 0 25 0 11 0 1852864703 861417472 23672 4294967295 134512640 134569956 3221224336 3221214528 1131418760 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25626/statm): 210307 23672 13129 16 0 210291 0
[pid=25626] vsize: 841228
Current children cumulated CPU time (s) 617.55
Current children cumulated vsize (Kb) 841228

[startup+640.047 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 25639
Raw data (/proc/25626/stat): 25626 (java) R 25625 25626 5929 0 -1 0 18871 3 1 0 62667 81 0 0 25 0 11 0 1852864703 861417472 23678 4294967295 134512640 134569956 3221224336 3221214528 1131418907 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25626/statm): 210307 23678 13129 16 0 210291 0
[pid=25626] vsize: 841228
Current children cumulated CPU time (s) 627.48
Current children cumulated vsize (Kb) 841228

[startup+650.047 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 25639
Raw data (/proc/25626/stat): 25626 (java) R 25625 25626 5929 0 -1 0 18882 3 1 0 63659 81 0 0 25 0 11 0 1852864703 861417472 23683 4294967295 134512640 134569956 3221224336 3221214528 1131418423 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25626/statm): 210307 23683 13129 16 0 210291 0
[pid=25626] vsize: 841228
Current children cumulated CPU time (s) 637.4
Current children cumulated vsize (Kb) 841228

[startup+660.048 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 25639
Raw data (/proc/25626/stat): 25626 (java) R 25625 25626 5929 0 -1 0 18893 3 1 0 64650 81 0 0 23 0 11 0 1852864703 861417472 23689 4294967295 134512640 134569956 3221224336 3221214524 1131383463 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25626/statm): 210307 23689 13129 16 0 210291 0
[pid=25626] vsize: 841228
Current children cumulated CPU time (s) 647.31
Current children cumulated vsize (Kb) 841228

[startup+670.048 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 25639
Raw data (/proc/25626/stat): 25626 (java) R 25625 25626 5929 0 -1 0 18905 3 1 0 65641 82 0 0 25 0 11 0 1852864703 861417472 23695 4294967295 134512640 134569956 3221224336 3221214528 1131418745 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25626/statm): 210307 23695 13129 16 0 210291 0
[pid=25626] vsize: 841228
Current children cumulated CPU time (s) 657.23
Current children cumulated vsize (Kb) 841228

[startup+680.048 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 25639
Raw data (/proc/25626/stat): 25626 (java) R 25625 25626 5929 0 -1 0 18916 3 1 0 66633 82 0 0 17 0 11 0 1852864703 861417472 23700 4294967295 134512640 134569956 3221224336 3221214528 1131418701 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25626/statm): 210307 23700 13129 16 0 210291 0
[pid=25626] vsize: 841228
Current children cumulated CPU time (s) 667.15
Current children cumulated vsize (Kb) 841228

[startup+690.05 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 25639
Raw data (/proc/25626/stat): 25626 (java) R 25625 25626 5929 0 -1 0 18927 3 1 0 67625 83 0 0 25 0 11 0 1852864703 861417472 23700 4294967295 134512640 134569956 3221224336 3221214620 1131418323 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25626/statm): 210307 23700 13129 16 0 210291 0
[pid=25626] vsize: 841228
Current children cumulated CPU time (s) 677.08
Current children cumulated vsize (Kb) 841228

[startup+700.051 s]
Raw data (loadavg): 1.07 1.02 0.97 2/66 25639
Raw data (/proc/25626/stat): 25626 (java) R 25625 25626 5929 0 -1 0 18938 3 1 0 68616 83 0 0 25 0 11 0 1852864703 861417472 23712 4294967295 134512640 134569956 3221224336 3221214624 1131540666 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25626/statm): 210307 23712 13129 16 0 210291 0
[pid=25626] vsize: 841228
Current children cumulated CPU time (s) 686.99
Current children cumulated vsize (Kb) 841228

[startup+710.051 s]
Raw data (loadavg): 1.06 1.02 0.97 2/66 25639
Raw data (/proc/25626/stat): 25626 (java) R 25625 25626 5929 0 -1 0 18949 3 1 0 69608 84 0 0 25 0 11 0 1852864703 861417472 23712 4294967295 134512640 134569956 3221224336 3221214624 1131542272 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25626/statm): 210307 23712 13129 16 0 210291 0
[pid=25626] vsize: 841228
Current children cumulated CPU time (s) 696.92
Current children cumulated vsize (Kb) 841228

[startup+720.052 s]
Raw data (loadavg): 1.05 1.01 0.97 2/66 25639
Raw data (/proc/25626/stat): 25626 (java) R 25625 25626 5929 0 -1 0 18960 3 1 0 70599 84 0 0 20 0 11 0 1852864703 861417472 23718 4294967295 134512640 134569956 3221224336 3221214528 1131418738 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25626/statm): 210307 23718 13129 16 0 210291 0
[pid=25626] vsize: 841228
Current children cumulated CPU time (s) 706.83
Current children cumulated vsize (Kb) 841228

[startup+730.052 s]
Raw data (loadavg): 1.04 1.01 0.97 2/66 25639
Raw data (/proc/25626/stat): 25626 (java) R 25625 25626 5929 0 -1 0 18971 3 1 0 71592 85 0 0 25 0 11 0 1852864703 861417472 23723 4294967295 134512640 134569956 3221224336 3221214528 1131418423 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25626/statm): 210307 23723 13129 16 0 210291 0
[pid=25626] vsize: 841228
Current children cumulated CPU time (s) 716.77
Current children cumulated vsize (Kb) 841228

[startup+740.053 s]
Raw data (loadavg): 1.04 1.01 0.97 2/66 25639
Raw data (/proc/25626/stat): 25626 (java) R 25625 25626 5929 0 -1 0 18982 3 1 0 72584 85 0 0 20 0 11 0 1852864703 861417472 23729 4294967295 134512640 134569956 3221224336 3221214528 1131418745 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25626/statm): 210307 23729 13129 16 0 210291 0
[pid=25626] vsize: 841228
Current children cumulated CPU time (s) 726.69
Current children cumulated vsize (Kb) 841228

[startup+750.054 s]
Raw data (loadavg): 1.03 1.01 0.97 2/66 25639
Raw data (/proc/25626/stat): 25626 (java) R 25625 25626 5929 0 -1 0 18993 3 1 0 73577 85 0 0 25 0 11 0 1852864703 861417472 23735 4294967295 134512640 134569956 3221224336 3221214624 1131542330 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25626/statm): 210307 23735 13129 16 0 210291 0
[pid=25626] vsize: 841228
Current children cumulated CPU time (s) 736.62
Current children cumulated vsize (Kb) 841228

[startup+760.055 s]
Raw data (loadavg): 1.02 1.01 0.97 2/66 25639
Raw data (/proc/25626/stat): 25626 (java) R 25625 25626 5929 0 -1 0 19004 3 1 0 74568 86 0 0 25 0 11 0 1852864703 861417472 23740 4294967295 134512640 134569956 3221224336 3221214624 1131540521 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25626/statm): 210307 23740 13129 16 0 210291 0
[pid=25626] vsize: 841228
Current children cumulated CPU time (s) 746.54
Current children cumulated vsize (Kb) 841228

[startup+770.056 s]
Raw data (loadavg): 1.02 1.01 0.97 2/66 25639
Raw data (/proc/25626/stat): 25626 (java) R 25625 25626 5929 0 -1 0 19015 3 1 0 75560 87 0 0 25 0 11 0 1852864703 861417472 23745 4294967295 134512640 134569956 3221224336 3221214528 1131419356 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25626/statm): 210307 23745 13129 16 0 210291 0
[pid=25626] vsize: 841228
Current children cumulated CPU time (s) 756.47
Current children cumulated vsize (Kb) 841228

[startup+780.056 s]
Raw data (loadavg): 1.02 1.01 0.97 2/66 25639
Raw data (/proc/25626/stat): 25626 (java) R 25625 25626 5929 0 -1 0 19026 3 1 0 76551 87 0 0 25 0 11 0 1852864703 861417472 23752 4294967295 134512640 134569956 3221224336 3221214528 1131418703 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25626/statm): 210307 23752 13129 16 0 210291 0
[pid=25626] vsize: 841228
Current children cumulated CPU time (s) 766.38
Current children cumulated vsize (Kb) 841228

[startup+790.057 s]
Raw data (loadavg): 1.01 1.01 0.97 2/66 25639
Raw data (/proc/25626/stat): 25626 (java) R 25625 25626 5929 0 -1 0 19038 3 1 0 77542 88 0 0 25 0 11 0 1852864703 861417472 23758 4294967295 134512640 134569956 3221224336 3221214528 1131419367 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25626/statm): 210307 23758 13129 16 0 210291 0
[pid=25626] vsize: 841228
Current children cumulated CPU time (s) 776.3
Current children cumulated vsize (Kb) 841228

[startup+800.058 s]
Raw data (loadavg): 1.01 1.01 0.97 2/66 25639
Raw data (/proc/25626/stat): 25626 (java) R 25625 25626 5929 0 -1 0 19049 3 1 0 78533 89 0 0 18 0 11 0 1852864703 861417472 23763 4294967295 134512640 134569956 3221224336 3221214528 1131419220 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25626/statm): 210307 23763 13129 16 0 210291 0
[pid=25626] vsize: 841228
Current children cumulated CPU time (s) 786.22
Current children cumulated vsize (Kb) 841228

[startup+810.059 s]
Raw data (loadavg): 1.01 1.01 0.97 2/66 25639
Raw data (/proc/25626/stat): 25626 (java) R 25625 25626 5929 0 -1 0 19060 3 1 0 79524 89 0 0 25 0 11 0 1852864703 861417472 23768 4294967295 134512640 134569956 3221224336 3221214528 1131418423 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25626/statm): 210307 23768 13129 16 0 210291 0
[pid=25626] vsize: 841228
Current children cumulated CPU time (s) 796.13
Current children cumulated vsize (Kb) 841228

[startup+820.06 s]
Raw data (loadavg): 1.01 1.00 0.97 2/66 25639
Raw data (/proc/25626/stat): 25626 (java) R 25625 25626 5929 0 -1 0 19071 3 1 0 80514 90 0 0 18 0 11 0 1852864703 861417472 23774 4294967295 134512640 134569956 3221224336 3221214696 1131747788 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25626/statm): 210307 23774 13129 16 0 210291 0
[pid=25626] vsize: 841228
Current children cumulated CPU time (s) 806.04
Current children cumulated vsize (Kb) 841228

[startup+830.059 s]
Raw data (loadavg): 1.01 1.00 0.97 2/66 25639
Raw data (/proc/25626/stat): 25626 (java) R 25625 25626 5929 0 -1 0 19082 3 1 0 81505 90 0 0 18 0 11 0 1852864703 861417472 23784 4294967295 134512640 134569956 3221224336 3221214620 1131419605 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25626/statm): 210307 23784 13129 16 0 210291 0
[pid=25626] vsize: 841228
Current children cumulated CPU time (s) 815.95
Current children cumulated vsize (Kb) 841228

[startup+840.061 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 25639
Raw data (/proc/25626/stat): 25626 (java) R 25625 25626 5929 0 -1 0 19093 3 1 0 82495 90 0 0 22 0 11 0 1852864703 861417472 23784 4294967295 134512640 134569956 3221224336 3221214424 1131598895 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25626/statm): 210307 23784 13129 16 0 210291 0
[pid=25626] vsize: 841228
Current children cumulated CPU time (s) 825.85
Current children cumulated vsize (Kb) 841228

[startup+850.062 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 25639
Raw data (/proc/25626/stat): 25626 (java) R 25625 25626 5929 0 -1 0 19104 3 1 0 83486 91 0 0 25 0 11 0 1852864703 861417472 23797 4294967295 134512640 134569956 3221224336 3221214528 1131418337 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25626/statm): 210307 23797 13129 16 0 210291 0
[pid=25626] vsize: 841228
Current children cumulated CPU time (s) 835.77
Current children cumulated vsize (Kb) 841228

[startup+860.062 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 25639
Raw data (/proc/25626/stat): 25626 (java) R 25625 25626 5929 0 -1 0 19115 3 1 0 84476 92 0 0 25 0 11 0 1852864703 861417472 23797 4294967295 134512640 134569956 3221224336 3221214528 1131418370 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25626/statm): 210307 23797 13129 16 0 210291 0
[pid=25626] vsize: 841228
Current children cumulated CPU time (s) 845.68
Current children cumulated vsize (Kb) 841228

[startup+870.063 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 25639
Raw data (/proc/25626/stat): 25626 (java) R 25625 25626 5929 0 -1 0 19126 3 1 0 85466 93 0 0 25 0 11 0 1852864703 861417472 23812 4294967295 134512640 134569956 3221224336 3221214624 1131542443 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25626/statm): 210307 23812 13129 16 0 210291 0
[pid=25626] vsize: 841228
Current children cumulated CPU time (s) 855.59
Current children cumulated vsize (Kb) 841228

[startup+880.064 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 25639
Raw data (/proc/25626/stat): 25626 (java) R 25625 25626 5929 0 -1 0 19137 3 1 0 86458 93 0 0 18 0 11 0 1852864703 861417472 23813 4294967295 134512640 134569956 3221224336 3221214624 1131543137 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25626/statm): 210307 23813 13129 16 0 210291 0
[pid=25626] vsize: 841228
Current children cumulated CPU time (s) 865.51
Current children cumulated vsize (Kb) 841228

[startup+890.064 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 25639
Raw data (/proc/25626/stat): 25626 (java) R 25625 25626 5929 0 -1 0 19147 3 1 0 87450 93 0 0 25 0 11 0 1852864703 861417472 23818 4294967295 134512640 134569956 3221224336 3221214528 1131418745 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25626/statm): 210307 23818 13129 16 0 210291 0
[pid=25626] vsize: 841228
Current children cumulated CPU time (s) 875.43
Current children cumulated vsize (Kb) 841228

[startup+900.065 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 25639
Raw data (/proc/25626/stat): 25626 (java) R 25625 25626 5929 0 -1 0 19158 3 1 0 88440 93 0 0 25 0 11 0 1852864703 861417472 23823 4294967295 134512640 134569956 3221224336 3221214528 1131419240 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25626/statm): 210307 23823 13129 16 0 210291 0
[pid=25626] vsize: 841228
Current children cumulated CPU time (s) 885.33
Current children cumulated vsize (Kb) 841228

[startup+910.066 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 25639
Raw data (/proc/25626/stat): 25626 (java) R 25625 25626 5929 0 -1 0 19169 3 1 0 89429 94 0 0 22 0 11 0 1852864703 861417472 23829 4294967295 134512640 134569956 3221224336 3221214624 1131540722 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25626/statm): 210307 23829 13129 16 0 210291 0
[pid=25626] vsize: 841228
Current children cumulated CPU time (s) 895.23
Current children cumulated vsize (Kb) 841228

[startup+920.067 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 25639
Raw data (/proc/25626/stat): 25626 (java) R 25625 25626 5929 0 -1 0 19181 3 1 0 90419 94 0 0 25 0 11 0 1852864703 861417472 23844 4294967295 134512640 134569956 3221224336 3221214528 1131418883 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25626/statm): 210307 23844 13129 16 0 210291 0
[pid=25626] vsize: 841228
Current children cumulated CPU time (s) 905.13
Current children cumulated vsize (Kb) 841228

[startup+930.068 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 25639
Raw data (/proc/25626/stat): 25626 (java) R 25625 25626 5929 0 -1 0 19191 3 1 0 91411 94 0 0 22 0 11 0 1852864703 861417472 23850 4294967295 134512640 134569956 3221224336 3221214528 1131418972 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25626/statm): 210307 23850 13129 16 0 210291 0
[pid=25626] vsize: 841228
Current children cumulated CPU time (s) 915.05
Current children cumulated vsize (Kb) 841228

[startup+940.069 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 25639
Raw data (/proc/25626/stat): 25626 (java) R 25625 25626 5929 0 -1 0 19203 3 1 0 92402 95 0 0 25 0 11 0 1852864703 861417472 23856 4294967295 134512640 134569956 3221224336 3221214624 1131540670 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25626/statm): 210307 23856 13129 16 0 210291 0
[pid=25626] vsize: 841228
Current children cumulated CPU time (s) 924.97
Current children cumulated vsize (Kb) 841228

[startup+950.07 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 25639
Raw data (/proc/25626/stat): 25626 (java) R 25625 25626 5929 0 -1 0 19214 3 1 0 93393 95 0 0 18 0 11 0 1852864703 861417472 23862 4294967295 134512640 134569956 3221224336 3221214528 1131418745 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25626/statm): 210307 23862 13129 16 0 210291 0
[pid=25626] vsize: 841228
Current children cumulated CPU time (s) 934.88
Current children cumulated vsize (Kb) 841228

[startup+960.071 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 25639
Raw data (/proc/25626/stat): 25626 (java) R 25625 25626 5929 0 -1 0 19225 3 1 0 94384 96 0 0 25 0 11 0 1852864703 861417472 23867 4294967295 134512640 134569956 3221224336 3221214624 1131539522 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25626/statm): 210307 23867 13129 16 0 210291 0
[pid=25626] vsize: 841228
Current children cumulated CPU time (s) 944.8
Current children cumulated vsize (Kb) 841228

[startup+970.072 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 25639
Raw data (/proc/25626/stat): 25626 (java) R 25625 25626 5929 0 -1 0 19236 3 1 0 95375 96 0 0 25 0 11 0 1852864703 861417472 23867 4294967295 134512640 134569956 3221224336 3221214528 1131418986 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25626/statm): 210307 23867 13129 16 0 210291 0
[pid=25626] vsize: 841228
Current children cumulated CPU time (s) 954.71
Current children cumulated vsize (Kb) 841228

[startup+980.072 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 25639
Raw data (/proc/25626/stat): 25626 (java) R 25625 25626 5929 0 -1 0 19246 3 1 0 96367 96 0 0 21 0 11 0 1852864703 861417472 23873 4294967295 134512640 134569956 3221224336 3221214624 1131539522 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25626/statm): 210307 23873 13129 16 0 210291 0
[pid=25626] vsize: 841228
Current children cumulated CPU time (s) 964.63
Current children cumulated vsize (Kb) 841228

[startup+990.072 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 25639
Raw data (/proc/25626/stat): 25626 (java) R 25625 25626 5929 0 -1 0 19257 3 1 0 97357 97 0 0 25 0 11 0 1852864703 861417472 23879 4294967295 134512640 134569956 3221224336 3221214528 1131418337 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25626/statm): 210307 23879 13129 16 0 210291 0
[pid=25626] vsize: 841228
Current children cumulated CPU time (s) 974.54
Current children cumulated vsize (Kb) 841228

[startup+1000.07 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 25639
Raw data (/proc/25626/stat): 25626 (java) R 25625 25626 5929 0 -1 0 19268 3 1 0 98347 97 0 0 21 0 11 0 1852864703 861417472 23886 4294967295 134512640 134569956 3221224336 3221214528 1131418337 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25626/statm): 210307 23886 13129 16 0 210291 0
[pid=25626] vsize: 841228
Current children cumulated CPU time (s) 984.44
Current children cumulated vsize (Kb) 841228

[startup+1010.07 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 25639
Raw data (/proc/25626/stat): 25626 (java) R 25625 25626 5929 0 -1 0 19279 3 1 0 99338 98 0 0 25 0 11 0 1852864703 861417472 23902 4294967295 134512640 134569956 3221224336 3221214528 1131418745 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25626/statm): 210307 23902 13129 16 0 210291 0
[pid=25626] vsize: 841228
Current children cumulated CPU time (s) 994.36
Current children cumulated vsize (Kb) 841228

[startup+1020.07 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 25639
Raw data (/proc/25626/stat): 25626 (java) R 25625 25626 5929 0 -1 0 19291 3 1 0 100328 98 0 0 17 0 11 0 1852864703 861417472 23907 4294967295 134512640 134569956 3221224336 3221214416 1131473249 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25626/statm): 210307 23907 13129 16 0 210291 0
[pid=25626] vsize: 841228
Current children cumulated CPU time (s) 1004.26
Current children cumulated vsize (Kb) 841228

[startup+1030.07 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 25639
Raw data (/proc/25626/stat): 25626 (java) R 25625 25626 5929 0 -1 0 19302 3 1 0 101318 99 0 0 25 0 11 0 1852864703 861417472 23916 4294967295 134512640 134569956 3221224336 3221214528 1131418703 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25626/statm): 210307 23916 13129 16 0 210291 0
[pid=25626] vsize: 841228
Current children cumulated CPU time (s) 1014.17
Current children cumulated vsize (Kb) 841228

[startup+1040.08 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 25639
Raw data (/proc/25626/stat): 25626 (java) R 25625 25626 5929 0 -1 0 19313 3 1 0 102307 99 0 0 25 0 11 0 1852864703 861417472 23922 4294967295 134512640 134569956 3221224336 3221214528 1131418864 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25626/statm): 210307 23922 13129 16 0 210291 0
[pid=25626] vsize: 841228
Current children cumulated CPU time (s) 1024.06
Current children cumulated vsize (Kb) 841228

[startup+1050.08 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 25639
Raw data (/proc/25626/stat): 25626 (java) R 25625 25626 5929 0 -1 0 19324 3 1 0 103296 101 0 0 17 0 11 0 1852864703 861417472 23938 4294967295 134512640 134569956 3221224336 3221214528 1131418907 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25626/statm): 210307 23938 13129 16 0 210291 0
[pid=25626] vsize: 841228
Current children cumulated CPU time (s) 1033.97
Current children cumulated vsize (Kb) 841228

[startup+1060.08 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 25639
Raw data (/proc/25626/stat): 25626 (java) R 25625 25626 5929 0 -1 0 19335 3 1 0 104285 102 0 0 25 0 11 0 1852864703 861417472 23939 4294967295 134512640 134569956 3221224336 3221214528 1131419045 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25626/statm): 210307 23939 13129 16 0 210291 0
[pid=25626] vsize: 841228
Current children cumulated CPU time (s) 1043.87
Current children cumulated vsize (Kb) 841228

[startup+1070.08 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 25639
Raw data (/proc/25626/stat): 25626 (java) R 25625 25626 5929 0 -1 0 19346 3 1 0 105274 103 0 0 25 0 11 0 1852864703 861417472 23950 4294967295 134512640 134569956 3221224336 3221214528 1131418965 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25626/statm): 210307 23950 13129 16 0 210291 0
[pid=25626] vsize: 841228
Current children cumulated CPU time (s) 1053.77
Current children cumulated vsize (Kb) 841228

[startup+1080.08 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 25639
Raw data (/proc/25626/stat): 25626 (java) R 25625 25626 5929 0 -1 0 19357 3 1 0 106263 103 0 0 25 0 11 0 1852864703 861417472 23959 4294967295 134512640 134569956 3221224336 3221214624 1131540767 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25626/statm): 210307 23959 13129 16 0 210291 0
[pid=25626] vsize: 841228
Current children cumulated CPU time (s) 1063.66
Current children cumulated vsize (Kb) 841228

[startup+1090.08 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 25639
Raw data (/proc/25626/stat): 25626 (java) R 25625 25626 5929 0 -1 0 19368 3 1 0 107253 104 0 0 25 0 11 0 1852864703 861417472 23974 4294967295 134512640 134569956 3221224336 3221214528 1131418401 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25626/statm): 210307 23974 13129 16 0 210291 0
[pid=25626] vsize: 841228
Current children cumulated CPU time (s) 1073.57
Current children cumulated vsize (Kb) 841228

[startup+1100.08 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 25639
Raw data (/proc/25626/stat): 25626 (java) R 25625 25626 5929 0 -1 0 19380 3 1 0 108242 104 0 0 18 0 11 0 1852864703 861417472 23985 4294967295 134512640 134569956 3221224336 3221214528 1131418345 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25626/statm): 210307 23985 13129 16 0 210291 0
[pid=25626] vsize: 841228
Current children cumulated CPU time (s) 1083.46
Current children cumulated vsize (Kb) 841228

[startup+1110.08 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 25639
Raw data (/proc/25626/stat): 25626 (java) R 25625 25626 5929 0 -1 0 19391 3 1 0 109231 105 0 0 25 0 11 0 1852864703 861417472 23992 4294967295 134512640 134569956 3221224336 3221214528 1131418435 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25626/statm): 210307 23992 13129 16 0 210291 0
[pid=25626] vsize: 841228
Current children cumulated CPU time (s) 1093.36
Current children cumulated vsize (Kb) 841228

[startup+1120.08 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 25639
Raw data (/proc/25626/stat): 25626 (java) R 25625 25626 5929 0 -1 0 19402 3 1 0 110223 105 0 0 19 0 11 0 1852864703 861417472 23997 4294967295 134512640 134569956 3221224336 3221214624 1131541645 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25626/statm): 210307 23997 13129 16 0 210291 0
[pid=25626] vsize: 841228
Current children cumulated CPU time (s) 1103.28
Current children cumulated vsize (Kb) 841228

[startup+1130.08 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 25639
Raw data (/proc/25626/stat): 25626 (java) R 25625 25626 5929 0 -1 0 19413 3 1 0 111213 106 0 0 25 0 11 0 1852864703 861417472 24002 4294967295 134512640 134569956 3221224336 3221214624 1131542339 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25626/statm): 210307 24002 13129 16 0 210291 0
[pid=25626] vsize: 841228
Current children cumulated CPU time (s) 1113.19
Current children cumulated vsize (Kb) 841228

[startup+1140.08 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 25639
Raw data (/proc/25626/stat): 25626 (java) R 25625 25626 5929 0 -1 0 19424 3 1 0 112204 106 0 0 25 0 11 0 1852864703 861417472 24012 4294967295 134512640 134569956 3221224336 3221214528 1131419240 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25626/statm): 210307 24012 13129 16 0 210291 0
[pid=25626] vsize: 841228
Current children cumulated CPU time (s) 1123.1
Current children cumulated vsize (Kb) 841228

[startup+1150.08 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 25639
Raw data (/proc/25626/stat): 25626 (java) R 25625 25626 5929 0 -1 0 19436 3 1 0 113193 107 0 0 17 0 11 0 1852864703 861417472 24018 4294967295 134512640 134569956 3221224336 3221214624 1131539587 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25626/statm): 210307 24018 13129 16 0 210291 0
[pid=25626] vsize: 841228
Current children cumulated CPU time (s) 1133
Current children cumulated vsize (Kb) 841228

[startup+1160.08 s]
Raw data (loadavg): 1.00 1.00 0.97 3/66 25639
Raw data (/proc/25626/stat): 25626 (java) R 25625 25626 5929 0 -1 0 19447 3 1 0 114182 108 0 0 25 0 11 0 1852864703 861417472 24023 4294967295 134512640 134569956 3221224336 3221214528 1131418363 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25626/statm): 210307 24023 13129 16 0 210291 0
[pid=25626] vsize: 841228
Current children cumulated CPU time (s) 1142.9
Current children cumulated vsize (Kb) 841228

[startup+1170.09 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 25639
Raw data (/proc/25626/stat): 25626 (java) R 25625 25626 5929 0 -1 0 19459 3 1 0 115169 109 0 0 25 0 11 0 1852864703 861417472 24028 4294967295 134512640 134569956 3221224336 3221214528 1131418933 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25626/statm): 210307 24028 13129 16 0 210291 0
[pid=25626] vsize: 841228
Current children cumulated CPU time (s) 1152.78
Current children cumulated vsize (Kb) 841228

[startup+1180.09 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 25639
Raw data (/proc/25626/stat): 25626 (java) R 25625 25626 5929 0 -1 0 19467 3 1 0 116160 109 0 0 18 0 11 0 1852864703 861417472 24028 4294967295 134512640 134569956 3221224336 3221214504 1131364805 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25626/statm): 210307 24028 13129 16 0 210291 0
[pid=25626] vsize: 841228
Current children cumulated CPU time (s) 1162.69
Current children cumulated vsize (Kb) 841228

[startup+1190.09 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 25639
Raw data (/proc/25626/stat): 25626 (java) R 25625 25626 5929 0 -1 0 19474 3 1 0 117143 109 0 0 25 0 11 0 1852864703 861417472 24049 4294967295 134512640 134569956 3221224336 3221214520 1131589457 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25626/statm): 210307 24049 13129 16 0 210291 0
[pid=25626] vsize: 841228
Current children cumulated CPU time (s) 1172.52
Current children cumulated vsize (Kb) 841228

[startup+1200.09 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 25639
Raw data (/proc/25626/stat): 25626 (java) R 25625 25626 5929 0 -1 0 19482 3 1 0 118113 110 0 0 16 0 11 0 1852864703 861417472 24056 4294967295 134512640 134569956 3221224336 3221214424 1131599045 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25626/statm): 210307 24056 13129 16 0 210291 0
[pid=25626] vsize: 841228
Current children cumulated CPU time (s) 1182.23
Current children cumulated vsize (Kb) 841228

[startup+1210.09 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 25639
Raw data (/proc/25626/stat): 25626 (java) R 25625 25626 5929 0 -1 0 19489 3 1 0 119079 110 0 0 25 0 11 0 1852864703 861417472 24056 4294967295 134512640 134569956 3221224336 3221214528 1131418872 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25626/statm): 210307 24056 13129 16 0 210291 0
[pid=25626] vsize: 841228
Current children cumulated CPU time (s) 1191.89
Current children cumulated vsize (Kb) 841228

[startup+1220.09 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 25639
Raw data (/proc/25626/stat): 25626 (java) R 25625 25626 5929 0 -1 0 19500 3 1 0 120025 110 0 0 22 0 11 0 1852864703 861417472 24170 4294967295 134512640 134569956 3221224336 3221214528 1131418824 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25626/statm): 210307 24170 13129 16 0 210291 0
[pid=25626] vsize: 841228
Current children cumulated CPU time (s) 1201.35
Current children cumulated vsize (Kb) 841228



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1220.09 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 25639
Raw data (/proc/25626/stat): 25626 (java) R 25625 25626 5929 0 -1 0 19500 3 1 0 120025 110 0 0 22 0 11 0 1852864703 861417472 24170 4294967295 134512640 134569956 3221224336 3221213984 1085806342 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25626/statm): 210307 24170 13129 16 0 210291 0
[pid=25626] vsize: 841228
Current children cumulated CPU time (s) 1201.35
Current children cumulated vsize (Kb) 841228

Sending SIGTERM to -25626
Sleeping 2 seconds
New thread pid=25641
New thread pid=25642
One traced child (pid=25642) exited with status: 0
One traced child (pid=25635) exited with status: 0
One traced child (pid=25630) exited with status: 0
One traced child (pid=25627) exited with status: 143
One traced child (pid=25629) exited with status: 143
One traced child (pid=25628) exited with status: 143
One traced child (pid=25631) exited with status: 143
One traced child (pid=25634) exited with status: 143
One traced child (pid=25639) exited with status: 143
One traced child (pid=25632) exited with status: 143
One traced child (pid=25633) exited with status: 143
One traced child (pid=25641) exited with status: 143
One traced child (pid=25626) exited with status: 143
All traced children have exited ! Game is over.

Child status: 143
Real time (s): 1220.57
CPU time (s): 1228.76
CPU user time (s): 1226.58
CPU system time (s): 2.18867
CPU usage (%): 100.671
Max. virtual memory (cumulated for all children) (Kb): 841500

Verifier Data

Verifier:	OK	7541039