PB'05 competition: run trace

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:
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.
SOLVER DATA
This is the output of the solver (stdout and stderr).
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.
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

Name	normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-blend.opb
MD5SUM	c063ddfef33c4e28cf3156e6931d679b
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	0
Optimality of the best value was proved	NO
Number of terms in the objective function	660
Biggest coefficient in the objective function	14388140441600
Number of bits for the biggest coefficient in the objective function	44
Sum of the numbers in the objective function	203610440670021
Number of bits of the sum of numbers in the objective function	48
Biggest number in a constraint	78436840243200
Number of bits of the biggest number in a constraint	47
Biggest sum of numbers in a constraint	789015556311444
Number of bits of the biggest sum of numbers	50
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1218.24
Number of variables	2490
Total number of constraints	74
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	74
Minimum length of a constraint	30
Maximum length of a constraint	780
Trace number 29423

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc27 THE 2005-05-25 07:32:22 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=20823 boxname=wulflinc27 idbench=811 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  c063ddfef33c4e28cf3156e6931d679b  /oldhome/oroussel/tmp/wulflinc27/normalized-mps-v2-20-10-blend.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc27/normalized-mps-v2-20-10-blend.opb
IDLAUNCH: 20823
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.169
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.169
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:        508524 kB
Buffers:         32780 kB
Cached:         471956 kB
SwapCached:        640 kB
Active:          77380 kB
Inactive:       429780 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        508272 kB
SwapTotal:     2097892 kB
SwapFree:      2096760 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5648 kB
Slab:            13416 kB
Committed_AS:    63596 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 07:52:45 (client local time) WITH STATUS 143 IN 1218.24 SECONDS
stats: 20823 0 1218.24 143
#### END LAUNCHER DATA ####
#### BEGIN 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 Special PB05 Second trial
c --- Begin Solver configuration ---
c org.sat4j.minisat.uip.FirstUIP@1e4cbc4
c org.sat4j.minisat.constraints.PBMinDataStructure@1fdc96c
c org.sat4j.minisat.learning.MiniSATLearning@b2fd8f
c conflictBoundIncFactor=1.5 learntBoundIncFactor=1.1 initLearntBoundConstraintFactor=0.5 initConflictBound=100 
c 
c --- End Solver configuration ---
c solving /oldhome/oroussel/tmp/wulflinc27/normalized-mps-v2-20-10-blend.opb
c reading problem ... done. Time 4.856 ms.
c #vars     2490
c #constraints  114
c SATISFIABLE
c OPTIMIZING...
c CURRENT OPTIMUM=                   0 		Current CPU time: 10.04 ms
c starts	: 6
c conflicts	: 1105
c decisions	: 12120
c propagations	: 43652
c inspects	: 3978376
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 1105
c root simplifications	: 842
s SATISFIABLE
v -V1_bit_10 -V1_bit_9 -V1_bit_8 -V1_bit_7 -V1_bit_6 -V1_bit_5 -V1_bit_4 -V1_bit_3 -V1_bit_2 -V1_bit_1 -V1_bit0 -V1_bit1 -V1_bit2 -V1_bit3 -V1_bit4 -V1_bit5 -V1_bit6 -V1_bit7 -V1_bit8 -V1_bit9 -V1_bit10 -V1_bit11 -V1_bit12 -V1_bit13 -V1_bit14 -V1_bit15 -V1_bit16 -V1_bit17 -V1_bit18 -V1_bit19 -V2_bit_10 -V2_bit_9 -V2_bit_8 -V2_bit_7 -V2_bit_6 -V2_bit_5 -V2_bit_4 -V2_bit_3 -V2_bit_2 -V2_bit_1 -V2_bit0 -V2_bit1 -V2_bit2 -V2_bit3 -V2_bit4 -V2_bit5 -V2_bit6 -V2_bit7 -V2_bit8 -V2_bit9 -V2_bit10 -V2_bit11 -V2_bit12 -V2_bit13 -V2_bit14 -V2_bit15 -V2_bit16 -V2_bit17 -V2_bit18 -V2_bit19 -V8_bit_10 -V8_bit_9 -V8_bit_8 -V8_bit_7 -V8_bit_6 -V8_bit_5 -V8_bit_4 -V8_bit_3 -V8_bit_2 -V8_bit_1 -V8_bit0 -V8_bit1 -V8_bit2 -V8_bit3 -V8_bit4 -V8_bit5 -V8_bit6 -V8_bit7 -V8_bit8 -V8_bit9 -V8_bit10 -V8_bit11 -V8_bit12 -V8_bit13 -V8_bit14 -V8_bit15 -V8_bit16 -V8_bit17 -V8_bit18 -V8_bit19 -V13_bit_10 -V13_bit_9 -V13_bit_8 -V13_bit_7 -V13_bit_6 -V13_bit_5 -V13_bit_4 -V13_bit_3 -V13_bit_2 -V13_bit_1 -V13_bit0 -V13_bit1 -V13_bit2 -V13_bit3 -V13_bit4 -V13_bit5 -V13_bit6 -V13_bit7 -V13_bit8 -V13_bit9 -V13_bit10 -V13_bit11 -V13_bit12 -V13_bit13 -V13_bit14 -V13_bit15 -V13_bit16 -V13_bit17 -V13_bit18 -V13_bit19 -V15_bit_10 -V15_bit_9 -V15_bit_8 -V15_bit_7 -V15_bit_6 -V15_bit_5 -V15_bit_4 -V15_bit_3 -V15_bit_2 -V15_bit_1 -V15_bit0 -V15_bit1 -V15_bit2 -V15_bit3 -V15_bit4 -V15_bit5 -V15_bit6 -V15_bit7 -V15_bit8 -V15_bit9 -V15_bit10 -V15_bit11 -V15_bit12 -V15_bit13 -V15_bit14 -V15_bit15 -V15_bit16 -V15_bit17 -V15_bit18 -V15_bit19 -V16_bit_10 -V16_bit_9 -V16_bit_8 -V16_bit_7 -V16_bit_6 -V16_bit_5 -V16_bit_4 -V16_bit_3 -V16_bit_2 -V16_bit_1 -V16_bit0 -V16_bit1 -V16_bit2 -V16_bit3 -V16_bit4 -V16_bit5 -V16_bit6 -V16_bit7 -V16_bit8 -V16_bit9 -V16_bit10 -V16_bit11 -V16_bit12 -V16_bit13 -V16_bit14 -V16_bit15 -V16_bit16 -V16_bit17 -V16_bit18 -V16_bit19 -V17_bit_10 -V17_bit_9 -V17_bit_8 -V17_bit_7 -V17_bit_6 -V17_bit_5 -V17_bit_4 -V17_bit_3 -V17_bit_2 -V17_bit_1 -V17_bit0 -V17_bit1 -V17_bit2 -V17_bit3 -V17_bit4 -V17_bit5 -V17_bit6 -V17_bit7 -V17_bit8 -V17_bit9 -V17_bit10 -V17_bit11 -V17_bit12 -V17_bit13 -V17_bit14 -V17_bit15 -V17_bit16 -V17_bit17 -V17_bit18 -V17_bit19 -V18_bit_10 -V18_bit_9 -V18_bit_8 -V18_bit_7 -V18_bit_6 -V18_bit_5 -V18_bit_4 -V18_bit_3 -V18_bit_2 -V18_bit_1 -V18_bit0 -V18_bit1 -V18_bit2 -V18_bit3 -V18_bit4 -V18_bit5 -V18_bit6 -V18_bit7 -V18_bit8 -V18_bit9 -V18_bit10 -V18_bit11 -V18_bit12 -V18_bit13 -V18_bit14 -V18_bit15 -V18_bit16 -V18_bit17 -V18_bit18 -V18_bit19 -V23_bit_10 -V23_bit_9 -V23_bit_8 -V23_bit_7 -V23_bit_6 -V23_bit_5 -V23_bit_4 -V23_bit_3 -V23_bit_2 -V23_bit_1 -V23_bit0 -V23_bit1 -V23_bit2 -V23_bit3 -V23_bit4 -V23_bit5 -V23_bit6 -V23_bit7 -V23_bit8 -V23_bit9 -V23_bit10 -V23_bit11 -V23_bit12 -V23_bit13 -V23_bit14 -V23_bit15 -V23_bit16 -V23_bit17 -V23_bit18 -V23_bit19 -V24_bit_10 -V24_bit_9 -V24_bit_8 -V24_bit_7 -V24_bit_6 -V24_bit_5 -V24_bit_4 -V24_bit_3 -V24_bit_2 -V24_bit_1 -V24_bit0 -V24_bit1 -V24_bit2 -V24_bit3 -V24_bit4 -V24_bit5 -V24_bit6 -V24_bit7 -V24_bit8 -V24_bit9 -V24_bit10 -V24_bit11 -V24_bit12 -V24_bit13 -V24_bit14 -V24_bit15 -V24_bit16 -V24_bit17 -V24_bit18 -V24_bit19 -V37_bit_10 -V37_bit_9 -V37_bit_8 -V37_bit_7 -V37_bit_6 -V37_bit_5 -V37_bit_4 -V37_bit_3 -V37_bit_2 -V37_bit_1 -V37_bit0 -V37_bit1 -V37_bit2 -V37_bit3 -V37_bit4 -V37_bit5 -V37_bit6 -V37_bit7 -V37_bit8 -V37_bit9 -V37_bit10 -V37_bit11 -V37_bit12 -V37_bit13 -V37_bit14 -V37_bit15 -V37_bit16 -V37_bit17 -V37_bit18 -V37_bit19 -V45_bit_10 -V45_bit_9 -V45_bit_8 -V45_bit_7 -V45_bit_6 -V45_bit_5 -V45_bit_4 -V45_bit_3 -V45_bit_2 -V45_bit_1 -V45_bit0 -V45_bit1 -V45_bit2 -V45_bit3 -V45_bit4 -V45_bit5 -V45_bit6 -V45_bit7 -V45_bit8 -V45_bit9 -V45_bit10 -V45_bit11 -V45_bit12 -V45_bit13 -V45_bit14 -V45_bit15 -V45_bit16 -V45_bit17 -V45_bit18 -V45_bit19 -V53_bit_10 -V53_bit_9 -V53_bit_8 -V53_bit_7 -V53_bit_6 -V53_bit_5 -V53_bit_4 -V53_bit_3 -V53_bit_2 -V53_bit_1 -V53_bit0 -V53_bit1 -V53_bit2 -V53_bit3 -V53_bit4 -V53_bit5 -V53_bit6 -V53_bit7 -V53_bit8 -V53_bit9 -V53_bit10 -V53_bit11 -V53_bit12 -V53_bit13 -V53_bit14 -V53_bit15 -V53_bit16 -V53_bit17 -V53_bit18 -V53_bit19 -V57_bit_10 -V57_bit_9 -V57_bit_8 -V57_bit_7 -V57_bit_6 -V57_bit_5 -V57_bit_4 -V57_bit_3 -V57_bit_2 -V57_bit_1 -V57_bit0 -V57_bit1 -V57_bit2 -V57_bit3 -V57_bit4 -V57_bit5 -V57_bit6 -V57_bit7 -V57_bit8 -V57_bit9 -V57_bit10 -V57_bit11 -V57_bit12 -V57_bit13 -V57_bit14 -V57_bit15 -V57_bit16 -V57_bit17 -V57_bit18 -V57_bit19 -V60_bit_10 -V60_bit_9 -V60_bit_8 -V60_bit_7 -V60_bit_6 -V60_bit_5 -V60_bit_4 -V60_bit_3 -V60_bit_2 -V60_bit_1 -V60_bit0 -V60_bit1 -V60_bit2 -V60_bit3 -V60_bit4 -V60_bit5 -V60_bit6 -V60_bit7 -V60_bit8 -V60_bit9 -V60_bit10 -V60_bit11 -V60_bit12 -V60_bit13 -V60_bit14 -V60_bit15 -V60_bit16 -V60_bit17 -V60_bit18 -V60_bit19 -V63_bit_10 -V63_bit_9 -V63_bit_8 -V63_bit_7 -V63_bit_6 -V63_bit_5 -V63_bit_4 -V63_bit_3 -V63_bit_2 -V63_bit_1 -V63_bit0 -V63_bit1 -V63_bit2 -V63_bit3 -V63_bit4 -V63_bit5 -V63_bit6 -V63_bit7 -V63_bit8 -V63_bit9 -V63_bit10 -V63_bit11 -V63_bit12 -V63_bit13 -V63_bit14 -V63_bit15 -V63_bit16 -V63_bit17 -V63_bit18 -V63_bit19 -V70_bit_10 -V70_bit_9 -V70_bit_8 -V70_bit_7 -V70_bit_6 -V70_bit_5 -V70_bit_4 -V70_bit_3 -V70_bit_2 -V70_bit_1 -V70_bit0 -V70_bit1 -V70_bit2 -V70_bit3 -V70_bit4 -V70_bit5 -V70_bit6 -V70_bit7 -V70_bit8 -V70_bit9 -V70_bit10 -V70_bit11 -V70_bit12 -V70_bit13 -V70_bit14 -V70_bit15 -V70_bit16 -V70_bit17 -V70_bit18 -V70_bit19 -V77_bit_10 -V77_bit_9 -V77_bit_8 -V77_bit_7 -V77_bit_6 -V77_bit_5 -V77_bit_4 -V77_bit_3 -V77_bit_2 -V77_bit_1 -V77_bit0 -V77_bit1 -V77_bit2 -V77_bit3 -V77_bit4 -V77_bit5 -V77_bit6 -V77_bit7 -V77_bit8 -V77_bit9 -V77_bit10 -V77_bit11 -V77_bit12 -V77_bit13 -V77_bit14 -V77_bit15 -V77_bit16 -V77_bit17 -V77_bit18 -V77_bit19 -V79_bit_10 -V79_bit_9 -V79_bit_8 -V79_bit_7 -V79_bit_6 -V79_bit_5 -V79_bit_4 -V79_bit_3 -V79_bit_2 -V79_bit_1 -V79_bit0 -V79_bit1 -V79_bit2 -V79_bit3 -V79_bit4 -V79_bit5 -V79_bit6 -V79_bit7 -V79_bit8 -V79_bit9 -V79_bit10 -V79_bit11 -V79_bit12 -V79_bit13 -V79_bit14 -V79_bit15 -V79_bit16 -V79_bit17 -V79_bit18 -V79_bit19 -V80_bit_10 -V80_bit_9 -V80_bit_8 -V80_bit_7 -V80_bit_6 -V80_bit_5 -V80_bit_4 -V80_bit_3 -V80_bit_2 -V80_bit_1 -V80_bit0 -V80_bit1 -V80_bit2 -V80_bit3 -V80_bit4 -V80_bit5 -V80_bit6 -V80_bit7 -V80_bit8 -V80_bit9 -V80_bit10 -V80_bit11 -V80_bit12 -V80_bit13 -V80_bit14 -V80_bit15 -V80_bit16 -V80_bit17 -V80_bit18 -V80_bit19 -V82_bit_10 -V82_bit_9 -V82_bit_8 -V82_bit_7 -V82_bit_6 -V82_bit_5 -V82_bit_4 -V82_bit_3 -V82_bit_2 -V82_bit_1 -V82_bit0 -V82_bit1 -V82_bit2 -V82_bit3 -V82_bit4 -V82_bit5 -V82_bit6 -V82_bit7 -V82_bit8 -V82_bit9 -V82_bit10 -V82_bit11 -V82_bit12 -V82_bit13 -V82_bit14 -V82_bit15 -V82_bit16 -V82_bit17 -V82_bit18 -V82_bit19 -V83_bit_10 -V83_bit_9 -V83_bit_8 -V83_bit_7 -V83_bit_6 -V83_bit_5 -V83_bit_4 -V83_bit_3 -V83_bit_2 -V83_bit_1 -V83_bit0 -V83_bit1 -V83_bit2 -V83_bit3 -V83_bit4 -V83_bit5 -V83_bit6 -V83_bit7 -V83_bit8 -V83_bit9 -V83_bit10 -V83_bit11 -V83_bit12 -V83_bit13 -V83_bit14 -V83_bit15 -V83_bit16 -V83_bit17 -V83_bit18 -V83_bit19 -V4_bit_10 -V4_bit_9 -V4_bit_8 -V4_bit_7 -V4_bit_6 -V4_bit_5 -V4_bit_4 -V4_bit_3 -V4_bit_2 -V4_bit_1 -V4_bit0 -V4_bit1 -V4_bit2 -V4_bit3 -V4_bit4 -V4_bit5 -V4_bit6 -V4_bit7 -V4_bit8 -V4_bit9 -V4_bit10 -V4_bit11 -V4_bit12 -V4_bit13 -V4_bit14 -V4_bit15 -V4_bit16 -V4_bit17 -V4_bit18 -V4_bit19 -V3_bit_10 -V3_bit_9 -V3_bit_8 -V3_bit_7 -V3_bit_6 -V3_bit_5 -V3_bit_4 -V3_bit_3 -V3_bit_2 -V3_bit_1 -V3_bit0 -V3_bit1 -V3_bit2 -V3_bit3 -V3_bit4 -V3_bit5 -V3_bit6 -V3_bit7 -V3_bit8 -V3_bit9 -V3_bit10 -V3_bit11 -V3_bit12 -V3_bit13 -V3_bit14 -V3_bit15 -V3_bit16 -V3_bit17 -V3_bit18 -V3_bit19 -V5_bit_10 -V5_bit_9 -V5_bit_8 -V5_bit_7 -V5_bit_6 -V5_bit_5 -V5_bit_4 -V5_bit_3 -V5_bit_2 -V5_bit_1 -V5_bit0 -V5_bit1 -V5_bit2 -V5_bit3 -V5_bit4 -V5_bit5 -V5_bit6 -V5_bit7 -V5_bit8 -V5_bit9 -V5_bit10 -V5_bit11 -V5_bit12 -V5_bit13 -V5_bit14 -V5_bit15 -V5_bit16 -V5_bit17 -V5_bit18 -V5_bit19 -V6_bit_10 -V6_bit_9 -V6_bit_8 -V6_bit_7 -V6_bit_6 -V6_bit_5 -V6_bit_4 -V6_bit_3 -V6_bit_2 -V6_bit_1 -V6_bit0 -V6_bit1 -V6_bit2 -V6_bit3 -V6_bit4 -V6_bit5 -V6_bit6 -V6_bit7 -V6_bit8 -V6_bit9 -V6_bit10 -V6_bit11 -V6_bit12 -V6_bit13 -V6_bit14 -V6_bit15 -V6_bit16 -V6_bit17 -V6_bit18 -V6_bit19 -V7_bit_10 -V7_bit_9 -V7_bit_8 -V7_bit_7 -V7_bit_6 -V7_bit_5 -V7_bit_4 -V7_bit_3 -V7_bit_2 -V7_bit_1 -V7_bit0 -V7_bit1 -V7_bit2 -V7_bit3 -V7_bit4 -V7_bit5 -V7_bit6 -V7_bit7 -V7_bit8 -V7_bit9 -V7_bit10 -V7_bit11 -V7_bit12 -V7_bit13 -V7_bit14 -V7_bit15 -V7_bit16 -V7_bit17 -V7_bit18 -V7_bit19 -V26_bit_10 -V26_bit_9 -V26_bit_8 -V26_bit_7 -V26_bit_6 -V26_bit_5 -V26_bit_4 -V26_bit_3 -V26_bit_2 -V26_bit_1 -V26_bit0 -V26_bit1 -V26_bit2 -V26_bit3 -V26_bit4 -V26_bit5 -V26_bit6 -V26_bit7 -V26_bit8 -V26_bit9 -V26_bit10 -V26_bit11 -V26_bit12 -V26_bit13 -V26_bit14 -V26_bit15 -V26_bit16 -V26_bit17 -V26_bit18 -V26_bit19 -V27_bit_10 -V27_bit_9 -V27_bit_8 -V27_bit_7 -V27_bit_6 -V27_bit_5 -V27_bit_4 -V27_bit_3 -V27_bit_2 -V27_bit_1 -V27_bit0 -V27_bit1 -V27_bit2 -V27_bit3 -V27_bit4 -V27_bit5 -V27_bit6 -V27_bit7 -V27_bit8 -V27_bit9 -V27_bit10 -V27_bit11 -V27_bit12 -V27_bit13 -V27_bit14 -V27_bit15 -V27_bit16 -V27_bit17 -V27_bit18 -V27_bit19 -V35_bit_10 -V35_bit_9 -V35_bit_8 -V35_bit_7 -V35_bit_6 -V35_bit_5 -V35_bit_4 -V35_bit_3 -V35_bit_2 -V35_bit_1 -V35_bit0 -V35_bit1 -V35_bit2 -V35_bit3 -V35_bit4 -V35_bit5 -V35_bit6 -V35_bit7 -V35_bit8 -V35_bit9 -V35_bit10 -V35_bit11 -V35_bit12 -V35_bit13 -V35_bit14 -V35_bit15 -V35_bit16 -V35_bit17 -V35_bit18 -V35_bit19 -V43_bit_10 -V43_bit_9 -V43_bit_8 -V43_bit_7 -V43_bit_6 -V43_bit_5 -V43_bit_4 -V43_bit_3 -V43_bit_2 -V43_bit_1 -V43_bit0 -V43_bit1 -V43_bit2 -V43_bit3 -V43_bit4 -V43_bit5 -V43_bit6 -V43_bit7 -V43_bit8 -V43_bit9 -V43_bit10 -V43_bit11 -V43_bit12 -V43_bit13 -V43_bit14 -V43_bit15 -V43_bit16 -V43_bit17 -V43_bit18 -V43_bit19 -V51_bit_10 -V51_bit_9 -V51_bit_8 -V51_bit_7 -V51_bit_6 -V51_bit_5 -V51_bit_4 -V51_bit_3 -V51_bit_2 -V51_bit_1 -V51_bit0 -V51_bit1 -V51_bit2 -V51_bit3 -V51_bit4 -V51_bit5 -V51_bit6 -V51_bit7 -V51_bit8 -V51_bit9 -V51_bit10 -V51_bit11 -V51_bit12 -V51_bit13 -V51_bit14 -V51_bit15 -V51_bit16 -V51_bit17 -V51_bit18 -V51_bit19 -V56_bit_10 -V56_bit_9 -V56_bit_8 -V56_bit_7 -V56_bit_6 -V56_bit_5 -V56_bit_4 -V56_bit_3 -V56_bit_2 -V56_bit_1 -V56_bit0 -V56_bit1 -V56_bit2 -V56_bit3 -V56_bit4 -V56_bit5 -V56_bit6 -V56_bit7 -V56_bit8 -V56_bit9 -V56_bit10 -V56_bit11 -V56_bit12 -V56_bit13 -V56_bit14 -V56_bit15 -V56_bit16 -V56_bit17 -V56_bit18 -V56_bit19 -V73_bit_10 -V73_bit_9 -V73_bit_8 -V73_bit_7 -V73_bit_6 -V73_bit_5 -V73_bit_4 -V73_bit_3 -V73_bit_2 -V73_bit_1 -V73_bit0 -V73_bit1 -V73_bit2 -V73_bit3 -V73_bit4 -V73_bit5 -V73_bit6 -V73_bit7 -V73_bit8 -V73_bit9 -V73_bit10 -V73_bit11 -V73_bit12 -V73_bit13 -V73_bit14 -V73_bit15 -V73_bit16 -V73_bit17 -V73_bit18 -V73_bit19 -V28_bit_10 -V28_bit_9 -V28_bit_8 -V28_bit_7 -V28_bit_6 -V28_bit_5 -V28_bit_4 -V28_bit_3 -V28_bit_2 -V28_bit_1 -V28_bit0 -V28_bit1 -V28_bit2 -V28_bit3 -V28_bit4 -V28_bit5 -V28_bit6 -V28_bit7 -V28_bit8 -V28_bit9 -V28_bit10 -V28_bit11 -V28_bit12 -V28_bit13 -V28_bit14 -V28_bit15 -V28_bit16 -V28_bit17 -V28_bit18 -V28_bit19 -V38_bit_10 -V38_bit_9 -V38_bit_8 -V38_bit_7 -V38_bit_6 -V38_bit_5 -V38_bit_4 -V38_bit_3 -V38_bit_2 -V38_bit_1 -V38_bit0 -V38_bit1 -V38_bit2 -V38_bit3 -V38_bit4 -V38_bit5 -V38_bit6 -V38_bit7 -V38_bit8 -V38_bit9 -V38_bit10 -V38_bit11 -V38_bit12 -V38_bit13 -V38_bit14 -V38_bit15 -V38_bit16 -V38_bit17 -V38_bit18 -V38_bit19 -V46_bit_10 -V46_bit_9 -V46_bit_8 -V46_bit_7 -V46_bit_6 -V46_bit_5 -V46_bit_4 -V46_bit_3 -V46_bit_2 -V46_bit_1 -V46_bit0 -V46_bit1 -V46_bit2 -V46_bit3 -V46_bit4 -V46_bit5 -V46_bit6 -V46_bit7 -V46_bit8 -V46_bit9 -V46_bit10 -V46_bit11 -V46_bit12 -V46_bit13 -V46_bit14 -V46_bit15 -V46_bit16 -V46_bit17 -V46_bit18 -V46_bit19 -V58_bit_10 -V58_bit_9 -V58_bit_8 -V58_bit_7 -V58_bit_6 -V58_bit_5 -V58_bit_4 -V58_bit_3 -V58_bit_2 -V58_bit_1 -V58_bit0 -V58_bit1 -V58_bit2 -V58_bit3 -V58_bit4 -V58_bit5 -V58_bit6 -V58_bit7 -V58_bit8 -V58_bit9 -V58_bit10 -V58_bit11 -V58_bit12 -V58_bit13 -V58_bit14 -V58_bit15 -V58_bit16 -V58_bit17 -V58_bit18 -V58_bit19 -V59_bit_10 -V59_bit_9 -V59_bit_8 -V59_bit_7 -V59_bit_6 -V59_bit_5 -V59_bit_4 -V59_bit_3 -V59_bit_2 -V59_bit_1 -V59_bit0 -V59_bit1 -V59_bit2 -V59_bit3 -V59_bit4 -V59_bit5 -V59_bit6 -V59_bit7 -V59_bit8 -V59_bit9 -V59_bit10 -V59_bit11 -V59_bit12 -V59_bit13 -V59_bit14 -V59_bit15 -V59_bit16 -V59_bit17 -V59_bit18 -V59_bit19 -V21_bit_10 -V21_bit_9 -V21_bit_8 -V21_bit_7 -V21_bit_6 -V21_bit_5 -V21_bit_4 -V21_bit_3 -V21_bit_2 -V21_bit_1 -V21_bit0 -V21_bit1 -V21_bit2 -V21_bit3 -V21_bit4 -V21_bit5 -V21_bit6 -V21_bit7 -V21_bit8 -V21_bit9 -V21_bit10 -V21_bit11 -V21_bit12 -V21_bit13 -V21_bit14 -V21_bit15 -V21_bit16 -V21_bit17 -V21_bit18 -V21_bit19 -V22_bit_10 -V22_bit_9 -V22_bit_8 -V22_bit_7 -V22_bit_6 -V22_bit_5 -V22_bit_4 -V22_bit_3 -V22_bit_2 -V22_bit_1 -V22_bit0 -V22_bit1 -V22_bit2 -V22_bit3 -V22_bit4 -V22_bit5 -V22_bit6 -V22_bit7 -V22_bit8 -V22_bit9 -V22_bit10 -V22_bit11 -V22_bit12 -V22_bit13 -V22_bit14 -V22_bit15 -V22_bit16 -V22_bit17 -V22_bit18 -V22_bit19 -V72_bit_10 -V72_bit_9 -V72_bit_8 -V72_bit_7 -V72_bit_6 -V72_bit_5 -V72_bit_4 -V72_bit_3 -V72_bit_2 -V72_bit_1 -V72_bit0 -V72_bit1 -V72_bit2 -V72_bit3 -V72_bit4 -V72_bit5 -V72_bit6 -V72_bit7 -V72_bit8 -V72_bit9 -V72_bit10 -V72_bit11 -V72_bit12 -V72_bit13 -V72_bit14 -V72_bit15 -V72_bit16 -V72_bit17 -V72_bit18 -V72_bit19 -V11_bit_10 -V11_bit_9 -V11_bit_8 -V11_bit_7 -V11_bit_6 -V11_bit_5 -V11_bit_4 -V11_bit_3 -V11_bit_2 -V11_bit_1 -V11_bit0 -V11_bit1 -V11_bit2 -V11_bit3 -V11_bit4 -V11_bit5 -V11_bit6 -V11_bit7 -V11_bit8 -V11_bit9 -V11_bit10 -V11_bit11 -V11_bit12 -V11_bit13 -V11_bit14 -V11_bit15 -V11_bit16 -V11_bit17 -V11_bit18 -V11_bit19 -V12_bit_10 -V12_bit_9 -V12_bit_8 -V12_bit_7 -V12_bit_6 -V12_bit_5 -V12_bit_4 -V12_bit_3 -V12_bit_2 -V12_bit_1 -V12_bit0 -V12_bit1 -V12_bit2 -V12_bit3 -V12_bit4 -V12_bit5 -V12_bit6 -V12_bit7 -V12_bit8 -V12_bit9 -V12_bit10 -V12_bit11 -V12_bit12 -V12_bit13 -V12_bit14 -V12_bit15 -V12_bit16 -V12_bit17 -V12_bit18 -V12_bit19 -V9_bit_10 -V9_bit_9 -V9_bit_8 -V9_bit_7 -V9_bit_6 -V9_bit_5 -V9_bit_4 -V9_bit_3 -V9_bit_2 -V9_bit_1 -V9_bit0 -V9_bit1 -V9_bit2 -V9_bit3 -V9_bit4 -V9_bit5 -V9_bit6 -V9_bit7 -V9_bit8 -V9_bit9 -V9_bit10 -V9_bit11 -V9_bit12 -V9_bit13 -V9_bit14 -V9_bit15 -V9_bit16 -V9_bit17 -V9_bit18 -V9_bit19 -V10_bit_10 -V10_bit_9 -V10_bit_8 -V10_bit_7 -V10_bit_6 -V10_bit_5 -V10_bit_4 -V10_bit_3 -V10_bit_2 -V10_bit_1 -V10_bit0 -V10_bit1 -V10_bit2 -V10_bit3 -V10_bit4 -V10_bit5 -V10_bit6 -V10_bit7 -V10_bit8 -V10_bit9 -V10_bit10 -V10_bit11 -V10_bit12 -V10_bit13 -V10_bit14 -V10_bit15 -V10_bit16 -V10_bit17 -V10_bit18 -V10_bit19 -V14_bit_10 -V14_bit_9 -V14_bit_8 -V14_bit_7 -V14_bit_6 -V14_bit_5 -V14_bit_4 -V14_bit_3 -V14_bit_2 -V14_bit_1 -V14_bit0 -V14_bit1 -V14_bit2 -V14_bit3 -V14_bit4 -V14_bit5 -V14_bit6 -V14_bit7 -V14_bit8 -V14_bit9 -V14_bit10 -V14_bit11 -V14_bit12 -V14_bit13 -V14_bit14 -V14_bit15 -V14_bit16 -V14_bit17 -V14_bit18 -V14_bit19 -V30_bit_10 -V30_bit_9 -V30_bit_8 -V30_bit_7 -V30_bit_6 -V30_bit_5 -V30_bit_4 -V30_bit_3 -V30_bit_2 -V30_bit_1 -V30_bit0 -V30_bit1 -V30_bit2 -V30_bit3 -V30_bit4 -V30_bit5 -V30_bit6 -V30_bit7 -V30_bit8 -V30_bit9 -V30_bit10 -V30_bit11 -V30_bit12 -V30_bit13 -V30_bit14 -V30_bit15 -V30_bit16 -V30_bit17 -V30_bit18 -V30_bit19 -V40_bit_10 -V40_bit_9 -V40_bit_8 -V40_bit_7 -V40_bit_6 -V40_bit_5 -V40_bit_4 -V40_bit_3 -V40_bit_2 -V40_bit_1 -V40_bit0 -V40_bit1 -V40_bit2 -V40_bit3 -V40_bit4 -V40_bit5 -V40_bit6 -V40_bit7 -V40_bit8 -V40_bit9 -V40_bit10 -V40_bit11 -V40_bit12 -V40_bit13 -V40_bit14 -V40_bit15 -V40_bit16 -V40_bit17 -V40_bit18 -V40_bit19 -V48_bit_10 -V48_bit_9 -V48_bit_8 -V48_bit_7 -V48_bit_6 -V48_bit_5 -V48_bit_4 -V48_bit_3 -V48_bit_2 -V48_bit_1 -V48_bit0 -V48_bit1 -V48_bit2 -V48_bit3 -V48_bit4 -V48_bit5 -V48_bit6 -V48_bit7 -V48_bit8 -V48_bit9 -V48_bit10 -V48_bit11 -V48_bit12 -V48_bit13 -V48_bit14 -V48_bit15 -V48_bit16 -V48_bit17 -V48_bit18 -V48_bit19 -V31_bit_10 -V31_bit_9 -V31_bit_8 -V31_bit_7 -V31_bit_6 -V31_bit_5 -V31_bit_4 -V31_bit_3 -V31_bit_2 -V31_bit_1 -V31_bit0 -V31_bit1 -V31_bit2 -V31_bit3 -V31_bit4 -V31_bit5 -V31_bit6 -V31_bit7 -V31_bit8 -V31_bit9 -V31_bit10 -V31_bit11 -V31_bit12 -V31_bit13 -V31_bit14 -V31_bit15 -V31_bit16 -V31_bit17 -V31_bit18 -V31_bit19 -V41_bit_10 -V41_bit_9 -V41_bit_8 -V41_bit_7 -V41_bit_6 -V41_bit_5 -V41_bit_4 -V41_bit_3 -V41_bit_2 -V41_bit_1 -V41_bit0 -V41_bit1 -V41_bit2 -V41_bit3 -V41_bit4 -V41_bit5 -V41_bit6 -V41_bit7 -V41_bit8 -V41_bit9 -V41_bit10 -V41_bit11 -V41_bit12 -V41_bit13 -V41_bit14 -V41_bit15 -V41_bit16 -V41_bit17 -V41_bit18 -V41_bit19 -V49_bit_10 -V49_bit_9 -V49_bit_8 -V49_bit_7 -V49_bit_6 -V49_bit_5 -V49_bit_4 -V49_bit_3 -V49_bit_2 -V49_bit_1 -V49_bit0 -V49_bit1 -V49_bit2 -V49_bit3 -V49_bit4 -V49_bit5 -V49_bit6 -V49_bit7 -V49_bit8 -V49_bit9 -V49_bit10 -V49_bit11 -V49_bit12 -V49_bit13 -V49_bit14 -V49_bit15 -V49_bit16 -V49_bit17 -V49_bit18 -V49_bit19 -V29_bit_10 -V29_bit_9 -V29_bit_8 -V29_bit_7 -V29_bit_6 -V29_bit_5 -V29_bit_4 -V29_bit_3 -V29_bit_2 -V29_bit_1 -V29_bit0 -V29_bit1 -V29_bit2 -V29_bit3 -V29_bit4 -V29_bit5 -V29_bit6 -V29_bit7 -V29_bit8 -V29_bit9 -V29_bit10 -V29_bit11 -V29_bit12 -V29_bit13 -V29_bit14 -V29_bit15 -V29_bit16 -V29_bit17 -V29_bit18 -V29_bit19 -V39_bit_10 -V39_bit_9 -V39_bit_8 -V39_bit_7 -V39_bit_6 -V39_bit_5 -V39_bit_4 -V39_bit_3 -V39_bit_2 -V39_bit_1 -V39_bit0 -V39_bit1 -V39_bit2 -V39_bit3 -V39_bit4 -V39_bit5 -V39_bit6 -V39_bit7 -V39_bit8 -V39_bit9 -V39_bit10 -V39_bit11 -V39_bit12 -V39_bit13 -V39_bit14 -V39_bit15 -V39_bit16 -V39_bit17 -V39_bit18 -V39_bit19 -V47_bit_10 -V47_bit_9 -V47_bit_8 -V47_bit_7 -V47_bit_6 -V47_bit_5 -V47_bit_4 -V47_bit_3 -V47_bit_2 -V47_bit_1 -V47_bit0 -V47_bit1 -V47_bit2 -V47_bit3 -V47_bit4 -V47_bit5 -V47_bit6 -V47_bit7 -V47_bit8 -V47_bit9 -V47_bit10 -V47_bit11 -V47_bit12 -V47_bit13 -V47_bit14 -V47_bit15 -V47_bit16 -V47_bit17 -V47_bit18 -V47_bit19 -V76_bit_10 -V76_bit_9 -V76_bit_8 -V76_bit_7 -V76_bit_6 -V76_bit_5 -V76_bit_4 -V76_bit_3 -V76_bit_2 -V76_bit_1 -V76_bit0 -V76_bit1 -V76_bit2 -V76_bit3 -V76_bit4 -V76_bit5 -V76_bit6 -V76_bit7 -V76_bit8 -V76_bit9 -V76_bit10 -V76_bit11 -V76_bit12 -V76_bit13 -V76_bit14 -V76_bit15 -V76_bit16 -V76_bit17 -V76_bit18 -V76_bit19 -V25_bit_10 -V25_bit_9 -V25_bit_8 -V25_bit_7 -V25_bit_6 -V25_bit_5 -V25_bit_4 -V25_bit_3 -V25_bit_2 -V25_bit_1 -V25_bit0 -V25_bit1 -V25_bit2 -V25_bit3 -V25_bit4 -V25_bit5 -V25_bit6 -V25_bit7 -V25_bit8 -V25_bit9 -V25_bit10 -V25_bit11 -V25_bit12 -V25_bit13 -V25_bit14 -V25_bit15 -V25_bit16 -V25_bit17 -V25_bit18 -V25_bit19 -V75_bit_10 -V75_bit_9 -V75_bit_8 -V75_bit_7 -V75_bit_6 -V75_bit_5 -V75_bit_4 -V75_bit_3 -V75_bit_2 -V75_bit_1 -V75_bit0 -V75_bit1 -V75_bit2 -V75_bit3 -V75_bit4 -V75_bit5 -V75_bit6 -V75_bit7 -V75_bit8 -V75_bit9 -V75_bit10 -V75_bit11 -V75_bit12 -V75_bit13 -V75_bit14 -V75_bit15 -V75_bit16 -V75_bit17 -V75_bit18 -V75_bit19 -V54_bit_10 -V54_bit_9 -V54_bit_8 -V54_bit_7 -V54_bit_6 -V54_bit_5 -V54_bit_4 -V54_bit_3 -V54_bit_2 -V54_bit_1 -V54_bit0 -V54_bit1 -V54_bit2 -V54_bit3 -V54_bit4 -V54_bit5 -V54_bit6 -V54_bit7 -V54_bit8 -V54_bit9 -V54_bit10 -V54_bit11 -V54_bit12 -V54_bit13 -V54_bit14 -V54_bit15 -V54_bit16 -V54_bit17 -V54_bit18 -V54_bit19 -V19_bit_10 -V19_bit_9 -V19_bit_8 -V19_bit_7 -V19_bit_6 -V19_bit_5 -V19_bit_4 -V19_bit_3 -V19_bit_2 -V19_bit_1 -V19_bit0 -V19_bit1 -V19_bit2 -V19_bit3 -V19_bit4 -V19_bit5 -V19_bit6 -V19_bit7 -V19_bit8 -V19_bit9 -V19_bit10 -V19_bit11 -V19_bit12 -V19_bit13 -V19_bit14 -V19_bit15 -V19_bit16 -V19_bit17 -V19_bit18 -V19_bit19 -V20_bit_10 -V20_bit_9 -V20_bit_8 -V20_bit_7 -V20_bit_6 -V20_bit_5 -V20_bit_4 -V20_bit_3 -V20_bit_2 -V20_bit_1 -V20_bit0 -V20_bit1 -V20_bit2 -V20_bit3 -V20_bit4 -V20_bit5 -V20_bit6 -V20_bit7 -V20_bit8 -V20_bit9 -V20_bit10 -V20_bit11 -V20_bit12 -V20_bit13 -V20_bit14 -V20_bit15 -V20_bit16 -V20_bit17 -V20_bit18 -V20_bit19 -V32_bit_10 -V32_bit_9 -V32_bit_8 -V32_bit_7 -V32_bit_6 -V32_bit_5 -V32_bit_4 -V32_bit_3 -V32_bit_2 -V32_bit_1 -V32_bit0 -V32_bit1 -V32_bit2 -V32_bit3 -V32_bit4 -V32_bit5 -V32_bit6 -V32_bit7 -V32_bit8 -V32_bit9 -V32_bit10 -V32_bit11 -V32_bit12 -V32_bit13 -V32_bit14 -V32_bit15 -V32_bit16 -V32_bit17 -V32_bit18 -V32_bit19 -V42_bit_10 -V42_bit_9 -V42_bit_8 -V42_bit_7 -V42_bit_6 -V42_bit_5 -V42_bit_4 -V42_bit_3 -V42_bit_2 -V42_bit_1 -V42_bit0 -V42_bit1 -V42_bit2 -V42_bit3 -V42_bit4 -V42_bit5 -V42_bit6 -V42_bit7 -V42_bit8 -V42_bit9 -V42_bit10 -V42_bit11 -V42_bit12 -V42_bit13 -V42_bit14 -V42_bit15 -V42_bit16 -V42_bit17 -V42_bit18 -V42_bit19 -V50_bit_10 -V50_bit_9 -V50_bit_8 -V50_bit_7 -V50_bit_6 -V50_bit_5 -V50_bit_4 -V50_bit_3 -V50_bit_2 -V50_bit_1 -V50_bit0 -V50_bit1 -V50_bit2 -V50_bit3 -V50_bit4 -V50_bit5 -V50_bit6 -V50_bit7 -V50_bit8 -V50_bit9 -V50_bit10 -V50_bit11 -V50_bit12 -V50_bit13 -V50_bit14 -V50_bit15 -V50_bit16 -V50_bit17 -V50_bit18 -V50_bit19 -V69_bit_10 -V69_bit_9 -V69_bit_8 -V69_bit_7 -V69_bit_6 -V69_bit_5 -V69_bit_4 -V69_bit_3 -V69_bit_2 -V69_bit_1 -V69_bit0 -V69_bit1 -V69_bit2 -V69_bit3 -V69_bit4 -V69_bit5 -V69_bit6 -V69_bit7 -V69_bit8 -V69_bit9 -V69_bit10 -V69_bit11 -V69_bit12 -V69_bit13 -V69_bit14 -V69_bit15 -V69_bit16 -V69_bit17 -V69_bit18 -V69_bit19 -V68_bit_10 -V68_bit_9 -V68_bit_8 -V68_bit_7 -V68_bit_6 -V68_bit_5 -V68_bit_4 -V68_bit_3 -V68_bit_2 -V68_bit_1 -V68_bit0 -V68_bit1 -V68_bit2 -V68_bit3 -V68_bit4 -V68_bit5 -V68_bit6 -V68_bit7 -V68_bit8 -V68_bit9 -V68_bit10 -V68_bit11 -V68_bit12 -V68_bit13 -V68_bit14 -V68_bit15 -V68_bit16 -V68_bit17 -V68_bit18 -V68_bit19 -V62_bit_10 -V62_bit_9 -V62_bit_8 -V62_bit_7 -V62_bit_6 -V62_bit_5 -V62_bit_4 -V62_bit_3 -V62_bit_2 -V62_bit_1 -V62_bit0 -V62_bit1 -V62_bit2 -V62_bit3 -V62_bit4 -V62_bit5 -V62_bit6 -V62_bit7 -V62_bit8 -V62_bit9 -V62_bit10 -V62_bit11 -V62_bit12 -V62_bit13 -V62_bit14 -V62_bit15 -V62_bit16 -V62_bit17 -V62_bit18 -V62_bit19 -V33_bit_10 -V33_bit_9 -V33_bit_8 -V33_bit_7 -V33_bit_6 -V33_bit_5 -V33_bit_4 -V33_bit_3 -V33_bit_2 -V33_bit_1 -V33_bit0 -V33_bit1 -V33_bit2 -V33_bit3 -V33_bit4 -V33_bit5 -V33_bit6 -V33_bit7 -V33_bit8 -V33_bit9 -V33_bit10 -V33_bit11 -V33_bit12 -V33_bit13 -V33_bit14 -V33_bit15 -V33_bit16 -V33_bit17 -V33_bit18 -V33_bit19 -V34_bit_10 -V34_bit_9 -V34_bit_8 -V34_bit_7 -V34_bit_6 -V34_bit_5 -V34_bit_4 -V34_bit_3 -V34_bit_2 -V34_bit_1 -V34_bit0 -V34_bit1 -V34_bit2 -V34_bit3 -V34_bit4 -V34_bit5 -V34_bit6 -V34_bit7 -V34_bit8 -V34_bit9 -V34_bit10 -V34_bit11 -V34_bit12 -V34_bit13 -V34_bit14 -V34_bit15 -V34_bit16 -V34_bit17 -V34_bit18 -V34_bit19 -V61_bit_10 -V61_bit_9 -V61_bit_8 -V61_bit_7 -V61_bit_6 -V61_bit_5 -V61_bit_4 -V61_bit_3 -V61_bit_2 -V61_bit_1 -V61_bit0 -V61_bit1 -V61_bit2 -V61_bit3 -V61_bit4 -V61_bit5 -V61_bit6 -V61_bit7 -V61_bit8 -V61_bit9 -V61_bit10 -V61_bit11 -V61_bit12 -V61_bit13 -V61_bit14 -V61_bit15 -V61_bit16 -V61_bit17 -V61_bit18 -V61_bit19 -V64_bit_10 -V64_bit_9 -V64_bit_8 -V64_bit_7 -V64_bit_6 -V64_bit_5 -V64_bit_4 -V64_bit_3 -V64_bit_2 -V64_bit_1 -V64_bit0 -V64_bit1 -V64_bit2 -V64_bit3 -V64_bit4 -V64_bit5 -V64_bit6 -V64_bit7 -V64_bit8 -V64_bit9 -V64_bit10 -V64_bit11 -V64_bit12 -V64_bit13 -V64_bit14 -V64_bit15 -V64_bit16 -V64_bit17 -V64_bit18 -V64_bit19 -V65_bit_10 -V65_bit_9 -V65_bit_8 -V65_bit_7 -V65_bit_6 -V65_bit_5 -V65_bit_4 -V65_bit_3 -V65_bit_2 -V65_bit_1 -V65_bit0 -V65_bit1 -V65_bit2 -V65_bit3 -V65_bit4 -V65_bit5 -V65_bit6 -V65_bit7 -V65_bit8 -V65_bit9 -V65_bit10 -V65_bit11 -V65_bit12 -V65_bit13 -V65_bit14 -V65_bit15 -V65_bit16 -V65_bit17 -V65_bit18 -V65_bit19 -V66_bit_10 -V66_bit_9 -V66_bit_8 -V66_bit_7 -V66_bit_6 -V66_bit_5 -V66_bit_4 -V66_bit_3 -V66_bit_2 -V66_bit_1 -V66_bit0 -V66_bit1 -V66_bit2 -V66_bit3 -V66_bit4 -V66_bit5 -V66_bit6 -V66_bit7 -V66_bit8 -V66_bit9 -V66_bit10 -V66_bit11 -V66_bit12 -V66_bit13 -V66_bit14 -V66_bit15 -V66_bit16 -V66_bit17 -V66_bit18 -V66_bit19 -V67_bit_10 -V67_bit_9 -V67_bit_8 -V67_bit_7 -V67_bit_6 -V67_bit_5 -V67_bit_4 -V67_bit_3 -V67_bit_2 -V67_bit_1 -V67_bit0 -V67_bit1 -V67_bit2 -V67_bit3 -V67_bit4 -V67_bit5 -V67_bit6 -V67_bit7 -V67_bit8 -V67_bit9 -V67_bit10 -V67_bit11 -V67_bit12 -V67_bit13 -V67_bit14 -V67_bit15 -V67_bit16 -V67_bit17 -V67_bit18 -V67_bit19 -V55_bit_10 -V55_bit_9 -V55_bit_8 -V55_bit_7 -V55_bit_6 -V55_bit_5 -V55_bit_4 -V55_bit_3 -V55_bit_2 -V55_bit_1 -V55_bit0 -V55_bit1 -V55_bit2 -V55_bit3 -V55_bit4 -V55_bit5 -V55_bit6 -V55_bit7 -V55_bit8 -V55_bit9 -V55_bit10 -V55_bit11 -V55_bit12 -V55_bit13 -V55_bit14 -V55_bit15 -V55_bit16 -V55_bit17 -V55_bit18 -V55_bit19 -V71_bit_10 -V71_bit_9 -V71_bit_8 -V71_bit_7 -V71_bit_6 -V71_bit_5 -V71_bit_4 -V71_bit_3 -V71_bit_2 -V71_bit_1 -V71_bit0 -V71_bit1 -V71_bit2 -V71_bit3 -V71_bit4 -V71_bit5 -V71_bit6 -V71_bit7 -V71_bit8 -V71_bit9 -V71_bit10 -V71_bit11 -V71_bit12 -V71_bit13 -V71_bit14 -V71_bit15 -V71_bit16 -V71_bit17 -V71_bit18 -V71_bit19 -V78_bit_10 -V78_bit_9 -V78_bit_8 -V78_bit_7 -V78_bit_6 -V78_bit_5 -V78_bit_4 -V78_bit_3 -V78_bit_2 -V78_bit_1 -V78_bit0 -V78_bit1 -V78_bit2 -V78_bit3 -V78_bit4 -V78_bit5 -V78_bit6 -V78_bit7 -V78_bit8 -V78_bit9 -V78_bit10 -V78_bit11 -V78_bit12 -V78_bit13 -V78_bit14 -V78_bit15 -V78_bit16 -V78_bit17 -V78_bit18 -V78_bit19 -V74_bit_10 -V74_bit_9 -V74_bit_8 -V74_bit_7 -V74_bit_6 -V74_bit_5 -V74_bit_4 -V74_bit_3 -V74_bit_2 -V74_bit_1 -V74_bit0 -V74_bit1 -V74_bit2 -V74_bit3 -V74_bit4 -V74_bit5 -V74_bit6 -V74_bit7 -V74_bit8 -V74_bit9 -V74_bit10 -V74_bit11 -V74_bit12 -V74_bit13 -V74_bit14 -V74_bit15 -V74_bit16 -V74_bit17 -V74_bit18 -V74_bit19 -V81_bit_10 -V81_bit_9 -V81_bit_8 -V81_bit_7 -V81_bit_6 -V81_bit_5 -V81_bit_4 -V81_bit_3 -V81_bit_2 -V81_bit_1 -V81_bit0 -V81_bit1 -V81_bit2 -V81_bit3 -V81_bit4 -V81_bit5 -V81_bit6 -V81_bit7 -V81_bit8 -V81_bit9 -V81_bit10 -V81_bit11 -V81_bit12 -V81_bit13 -V81_bit14 -V81_bit15 -V81_bit16 -V81_bit17 -V81_bit18 -V81_bit19 -V36_bit_10 -V36_bit_9 -V36_bit_8 -V36_bit_7 -V36_bit_6 -V36_bit_5 -V36_bit_4 -V36_bit_3 -V36_bit_2 -V36_bit_1 -V36_bit0 -V36_bit1 -V36_bit2 -V36_bit3 -V36_bit4 -V36_bit5 -V36_bit6 -V36_bit7 -V36_bit8 -V36_bit9 -V36_bit10 -V36_bit11 -V36_bit12 -V36_bit13 -V36_bit14 -V36_bit15 -V36_bit16 -V36_bit17 -V36_bit18 -V36_bit19 -V44_bit_10 -V44_bit_9 -V44_bit_8 -V44_bit_7 -V44_bit_6 -V44_bit_5 -V44_bit_4 -V44_bit_3 -V44_bit_2 -V44_bit_1 -V44_bit0 -V44_bit1 -V44_bit2 -V44_bit3 -V44_bit4 -V44_bit5 -V44_bit6 -V44_bit7 -V44_bit8 -V44_bit9 -V44_bit10 -V44_bit11 -V44_bit12 -V44_bit13 -V44_bit14 -V44_bit15 -V44_bit16 -V44_bit17 -V44_bit18 -V44_bit19 -V52_bit_10 -V52_bit_9 -V52_bit_8 -V52_bit_7 -V52_bit_6 -V52_bit_5 -V52_bit_4 -V52_bit_3 -V52_bit_2 -V52_bit_1 -V52_bit0 -V52_bit1 -V52_bit2 -V52_bit3 -V52_bit4 -V52_bit5 -V52_bit6 -V52_bit7 -V52_bit8 -V52_bit9 -V52_bit10 -V52_bit11 -V52_bit12 -V52_bit13 -V52_bit14 -V52_bit15 -V52_bit16 -V52_bit17 -V52_bit18 -V52_bit19 
c objectif function=0
c Total CPU time (ms) : 1219.294
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 1.01 1.00 0.95 2/54 15944
Raw data (stat): 15944 (runsolver) R 15943 3394 3393 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 837098367 1052672 99 4294967295 134512640 135381576 3221224400 3221219620 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0008 s]
Raw data (loadavg): 1.15 1.03 0.96 2/64 15954
Raw data (stat): 15944 (java) R 15943 3394 3393 0 -1 0 18046 0 1 0 803 37 0 0 25 0 11 0 837098367 857473024 20502 4294967295 134512640 134569956 3221224368 3221214672 1131327060 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209344 20502 13086 16 0 209328 0
vsize: 837376
[startup+20.0019 s]
Raw data (loadavg): 1.13 1.03 0.96 2/64 15955
Raw data (stat): 15944 (java) R 15943 3394 3393 0 -1 0 18106 4 1 0 1682 37 0 0 24 0 11 0 837098367 857128960 20724 4294967295 134512640 134569956 3221224368 3221214672 1131326937 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209260 20724 13086 16 0 209244 0
vsize: 837040
[startup+30.0018 s]
Raw data (loadavg): 1.11 1.03 0.96 2/64 15955
Raw data (stat): 15944 (java) R 15943 3394 3393 0 -1 0 18106 4 1 0 2619 38 0 0 25 0 11 0 837098367 857128960 21348 4294967295 134512640 134569956 3221224368 3221214472 1131387658 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209260 21348 13086 16 0 209244 0
vsize: 837040
[startup+40.0021 s]
Raw data (loadavg): 1.09 1.03 0.96 3/64 15955
Raw data (stat): 15944 (java) R 15943 3394 3393 0 -1 0 18108 4 1 0 3570 38 0 0 25 0 11 0 837098367 861503488 22682 4294967295 134512640 134569956 3221224368 3221214424 1131455576 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210328 22682 13086 16 0 210312 0
vsize: 841312
[startup+50.003 s]
Raw data (loadavg): 1.08 1.03 0.96 2/64 15955
Raw data (stat): 15944 (java) R 15943 3394 3393 0 -1 0 18108 4 1 0 4535 38 0 0 25 0 11 0 837098367 860274688 23190 4294967295 134512640 134569956 3221224368 3221214496 1131241156 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210028 23190 13086 16 0 210012 0
vsize: 840112
[startup+60.0024 s]
Raw data (loadavg): 1.06 1.03 0.96 2/64 15955
Raw data (stat): 15944 (java) R 15943 3394 3393 0 -1 0 18108 4 1 0 5505 38 0 0 25 0 11 0 837098367 860274688 23532 4294967295 134512640 134569956 3221224368 3221214496 1131241005 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210028 23532 13086 16 0 210012 0
vsize: 840112
[startup+70.0036 s]
Raw data (loadavg): 1.05 1.02 0.96 2/64 15955
Raw data (stat): 15944 (java) R 15943 3394 3393 0 -1 0 18108 4 1 0 6470 38 0 0 25 0 11 0 837098367 860274688 24004 4294967295 134512640 134569956 3221224368 3221214704 1131316355 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210028 24004 13086 16 0 210012 0
vsize: 840112
[startup+80.0044 s]
Raw data (loadavg): 1.05 1.02 0.96 2/64 15955
Raw data (stat): 15944 (java) R 15943 3394 3393 0 -1 0 18108 4 1 0 7427 38 0 0 25 0 11 0 837098367 860274688 24004 4294967295 134512640 134569956 3221224368 3221214668 1131182700 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210028 24004 13086 16 0 210012 0
vsize: 840112
[startup+90.0038 s]
Raw data (loadavg): 1.04 1.02 0.96 2/64 15955
Raw data (stat): 15944 (java) R 15943 3394 3393 0 -1 0 18108 4 1 0 8380 38 0 0 25 0 11 0 837098367 857128960 23336 4294967295 134512640 134569956 3221224368 3221214584 1131288783 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209260 23336 13086 16 0 209244 0
vsize: 837040
[startup+100.004 s]
Raw data (loadavg): 1.03 1.02 0.96 2/64 15955
Raw data (stat): 15944 (java) R 15943 3394 3393 0 -1 0 18108 4 1 0 9343 39 0 0 25 0 11 0 837098367 857128960 23862 4294967295 134512640 134569956 3221224368 3221214560 1131292666 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209260 23862 13086 16 0 209244 0
vsize: 837040
[startup+110.005 s]
Raw data (loadavg): 1.03 1.02 0.96 2/64 15955
Raw data (stat): 15944 (java) R 15943 3394 3393 0 -1 0 18108 4 1 0 10329 39 0 0 25 0 11 0 837098367 857128960 24113 4294967295 134512640 134569956 3221224368 3221214560 1131293351 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209260 24113 13086 16 0 209244 0
vsize: 837040
[startup+120.005 s]
Raw data (loadavg): 1.02 1.02 0.96 2/64 15955
Raw data (stat): 15944 (java) R 15943 3394 3393 0 -1 0 18108 4 1 0 11316 39 0 0 25 0 11 0 837098367 857128960 24151 4294967295 134512640 134569956 3221224368 3221214672 1131325407 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209260 24151 13086 16 0 209244 0
vsize: 837040
[startup+130.006 s]
Raw data (loadavg): 1.02 1.02 0.96 2/64 15955
Raw data (stat): 15944 (java) R 15943 3394 3393 0 -1 0 18108 4 1 0 12306 39 0 0 25 0 11 0 837098367 857128960 24182 4294967295 134512640 134569956 3221224368 3221214672 1131326993 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209260 24182 13086 16 0 209244 0
vsize: 837040
[startup+140.007 s]
Raw data (loadavg): 1.02 1.02 0.96 2/64 15955
Raw data (stat): 15944 (java) R 15943 3394 3393 0 -1 0 18108 4 1 0 13294 39 0 0 25 0 11 0 837098367 857128960 24224 4294967295 134512640 134569956 3221224368 3221214584 1131287481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209260 24224 13086 16 0 209244 0
vsize: 837040
[startup+150.008 s]
Raw data (loadavg): 1.01 1.02 0.96 2/64 15955
Raw data (stat): 15944 (java) R 15943 3394 3393 0 -1 0 18108 4 1 0 14284 40 0 0 25 0 11 0 837098367 857128960 24247 4294967295 134512640 134569956 3221224368 3221214560 1131292607 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209260 24247 13086 16 0 209244 0
vsize: 837040
[startup+160.008 s]
Raw data (loadavg): 1.01 1.02 0.96 2/64 15955
Raw data (stat): 15944 (java) R 15943 3394 3393 0 -1 0 18108 4 1 0 15272 40 0 0 25 0 11 0 837098367 857128960 24270 4294967295 134512640 134569956 3221224368 3221214672 1131328981 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209260 24270 13086 16 0 209244 0
vsize: 837040
[startup+170.009 s]
Raw data (loadavg): 1.01 1.02 0.96 2/64 15955
Raw data (stat): 15944 (java) R 15943 3394 3393 0 -1 0 18108 4 1 0 16262 40 0 0 25 0 11 0 837098367 857128960 24289 4294967295 134512640 134569956 3221224368 3221214672 1131325305 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209260 24289 13086 16 0 209244 0
vsize: 837040
[startup+180.009 s]
Raw data (loadavg): 1.01 1.01 0.96 2/64 15955
Raw data (stat): 15944 (java) R 15943 3394 3393 0 -1 0 18108 4 1 0 17250 40 0 0 25 0 11 0 837098367 857128960 24312 4294967295 134512640 134569956 3221224368 3221214672 1131327505 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209260 24312 13086 16 0 209244 0
vsize: 837040
[startup+190.009 s]
Raw data (loadavg): 1.00 1.01 0.96 2/64 15955
Raw data (stat): 15944 (java) R 15943 3394 3393 0 -1 0 18108 4 1 0 18241 41 0 0 25 0 11 0 837098367 857128960 24354 4294967295 134512640 134569956 3221224368 3221214672 1131325587 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209260 24354 13086 16 0 209244 0
vsize: 837040
[startup+200.01 s]
Raw data (loadavg): 1.00 1.01 0.96 2/64 15955
Raw data (stat): 15944 (java) R 15943 3394 3393 0 -1 0 18108 4 1 0 19231 41 0 0 25 0 11 0 837098367 857128960 24372 4294967295 134512640 134569956 3221224368 3221214616 1131240934 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209260 24372 13086 16 0 209244 0
vsize: 837040
[startup+210.01 s]
Raw data (loadavg): 1.00 1.01 0.96 2/64 15955
Raw data (stat): 15944 (java) R 15943 3394 3393 0 -1 0 18108 4 1 0 20221 42 0 0 25 0 11 0 837098367 857128960 24390 4294967295 134512640 134569956 3221224368 3221214576 1131190535 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209260 24390 13086 16 0 209244 0
vsize: 837040
[startup+220.011 s]
Raw data (loadavg): 1.00 1.01 0.96 2/64 15955
Raw data (stat): 15944 (java) R 15943 3394 3393 0 -1 0 18108 4 1 0 21213 42 0 0 25 0 11 0 837098367 857128960 24405 4294967295 134512640 134569956 3221224368 3221214584 1131287550 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209260 24405 13086 16 0 209244 0
vsize: 837040
[startup+230.012 s]
Raw data (loadavg): 1.00 1.01 0.96 2/64 15955
Raw data (stat): 15944 (java) R 15943 3394 3393 0 -1 0 18108 4 1 0 22204 42 0 0 25 0 11 0 837098367 857128960 24421 4294967295 134512640 134569956 3221224368 3221214584 1131287731 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209260 24421 13086 16 0 209244 0
vsize: 837040
[startup+240.011 s]
Raw data (loadavg): 1.07 1.02 0.97 2/64 15955
Raw data (stat): 15944 (java) R 15943 3394 3393 0 -1 0 18108 4 1 0 23196 42 0 0 25 0 11 0 837098367 857128960 24434 4294967295 134512640 134569956 3221224368 3221214672 1131327880 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209260 24434 13086 16 0 209244 0
vsize: 837040
[startup+250.012 s]
Raw data (loadavg): 1.06 1.02 0.97 2/64 15955
Raw data (stat): 15944 (java) R 15943 3394 3393 0 -1 0 18108 4 1 0 24187 43 0 0 25 0 11 0 837098367 857128960 24451 4294967295 134512640 134569956 3221224368 3221214672 1131327053 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209260 24451 13086 16 0 209244 0
vsize: 837040
[startup+260.012 s]
Raw data (loadavg): 1.05 1.02 0.97 2/64 15955
Raw data (stat): 15944 (java) R 15943 3394 3393 0 -1 0 18108 4 1 0 25180 43 0 0 25 0 11 0 837098367 857128960 24465 4294967295 134512640 134569956 3221224368 3221214576 1131190522 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209260 24465 13086 16 0 209244 0
vsize: 837040
[startup+270.013 s]
Raw data (loadavg): 1.04 1.02 0.97 2/64 15955
Raw data (stat): 15944 (java) R 15943 3394 3393 0 -1 0 18108 4 1 0 26171 43 0 0 25 0 11 0 837098367 857128960 24479 4294967295 134512640 134569956 3221224368 3221214664 1131182780 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209260 24479 13086 16 0 209244 0
vsize: 837040
[startup+280.013 s]
Raw data (loadavg): 1.04 1.02 0.97 2/64 15955
Raw data (stat): 15944 (java) R 15943 3394 3393 0 -1 0 18108 4 1 0 27164 44 0 0 25 0 11 0 837098367 857128960 24491 4294967295 134512640 134569956 3221224368 3221214584 1131287529 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209260 24491 13086 16 0 209244 0
vsize: 837040
[startup+290.013 s]
Raw data (loadavg): 1.03 1.02 0.97 2/64 15955
Raw data (stat): 15944 (java) R 15943 3394 3393 0 -1 0 18108 4 1 0 28155 44 0 0 25 0 11 0 837098367 857128960 24504 4294967295 134512640 134569956 3221224368 3221214672 1131330854 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209260 24504 13086 16 0 209244 0
vsize: 837040
[startup+300.013 s]
Raw data (loadavg): 1.02 1.02 0.97 2/64 15955
Raw data (stat): 15944 (java) R 15943 3394 3393 0 -1 0 18108 4 1 0 29148 44 0 0 25 0 11 0 837098367 857128960 24517 4294967295 134512640 134569956 3221224368 3221214584 1131287464 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209260 24517 13086 16 0 209244 0
vsize: 837040
[startup+310.013 s]
Raw data (loadavg): 1.02 1.02 0.97 2/64 15955
Raw data (stat): 15944 (java) R 15943 3394 3393 0 -1 0 18108 4 1 0 30139 44 0 0 25 0 11 0 837098367 857128960 24529 4294967295 134512640 134569956 3221224368 3221214584 1131287439 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209260 24529 13086 16 0 209244 0
vsize: 837040
[startup+320.015 s]
Raw data (loadavg): 1.02 1.02 0.97 2/64 15955
Raw data (stat): 15944 (java) R 15943 3394 3393 0 -1 0 18108 4 1 0 31129 45 0 0 25 0 11 0 837098367 857128960 24540 4294967295 134512640 134569956 3221224368 3221214180 1131212048 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209260 24540 13086 16 0 209244 0
vsize: 837040
[startup+330.016 s]
Raw data (loadavg): 1.01 1.02 0.97 2/64 15955
Raw data (stat): 15944 (java) R 15943 3394 3393 0 -1 0 18108 4 1 0 32116 45 0 0 25 0 11 0 837098367 857128960 24553 4294967295 134512640 134569956 3221224368 3221214672 1131328639 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209260 24553 13086 16 0 209244 0
vsize: 837040
[startup+340.016 s]
Raw data (loadavg): 1.01 1.02 0.97 2/64 15955
Raw data (stat): 15944 (java) R 15943 3394 3393 0 -1 0 18108 4 1 0 33105 45 0 0 25 0 11 0 837098367 857128960 24566 4294967295 134512640 134569956 3221224368 3221214560 1131292599 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209260 24566 13086 16 0 209244 0
vsize: 837040
[startup+350.016 s]
Raw data (loadavg): 1.01 1.01 0.97 2/64 15955
Raw data (stat): 15944 (java) R 15943 3394 3393 0 -1 0 18108 4 1 0 34094 46 0 0 25 0 11 0 837098367 857128960 24628 4294967295 134512640 134569956 3221224368 3221214584 1131288842 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209260 24628 13086 16 0 209244 0
vsize: 837040
[startup+360.017 s]
Raw data (loadavg): 1.01 1.01 0.97 2/64 15955
Raw data (stat): 15944 (java) R 15943 3394 3393 0 -1 0 18108 4 1 0 35086 46 0 0 25 0 11 0 837098367 857128960 24639 4294967295 134512640 134569956 3221224368 3221214584 1131287464 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209260 24639 13086 16 0 209244 0
vsize: 837040
[startup+370.018 s]
Raw data (loadavg): 1.01 1.01 0.97 2/64 15955
Raw data (stat): 15944 (java) R 15943 3394 3393 0 -1 0 18108 4 1 0 36078 46 0 0 25 0 11 0 837098367 857128960 24649 4294967295 134512640 134569956 3221224368 3221214584 1131288279 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209260 24649 13086 16 0 209244 0
vsize: 837040
[startup+380.019 s]
Raw data (loadavg): 1.00 1.01 0.97 2/64 15955
Raw data (stat): 15944 (java) R 15943 3394 3393 0 -1 0 18108 4 1 0 37068 46 0 0 25 0 11 0 837098367 857128960 24660 4294967295 134512640 134569956 3221224368 3221214584 1131288779 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209260 24660 13086 16 0 209244 0
vsize: 837040
[startup+390.02 s]
Raw data (loadavg): 1.00 1.01 0.97 2/64 15955
Raw data (stat): 15944 (java) R 15943 3394 3393 0 -1 0 18108 4 1 0 38060 46 0 0 25 0 11 0 837098367 857128960 24670 4294967295 134512640 134569956 3221224368 3221214560 1131292694 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209260 24670 13086 16 0 209244 0
vsize: 837040
[startup+400.021 s]
Raw data (loadavg): 1.00 1.01 0.97 2/64 15955
Raw data (stat): 15944 (java) R 15943 3394 3393 0 -1 0 18108 4 1 0 39051 47 0 0 25 0 11 0 837098367 857128960 24681 4294967295 134512640 134569956 3221224368 3221214584 1131287464 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209260 24681 13086 16 0 209244 0
vsize: 837040
[startup+410.02 s]
Raw data (loadavg): 1.00 1.01 0.97 2/64 15955
Raw data (stat): 15944 (java) R 15943 3394 3393 0 -1 0 18108 4 1 0 40043 47 0 0 25 0 11 0 837098367 857128960 24691 4294967295 134512640 134569956 3221224368 3221214496 1131545300 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209260 24691 13086 16 0 209244 0
vsize: 837040
[startup+420.021 s]
Raw data (loadavg): 1.00 1.01 0.97 2/64 15955
Raw data (stat): 15944 (java) R 15943 3394 3393 0 -1 0 18108 4 1 0 41035 47 0 0 25 0 11 0 837098367 857128960 24701 4294967295 134512640 134569956 3221224368 3221214560 1131293327 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209260 24701 13086 16 0 209244 0
vsize: 837040
[startup+430.022 s]
Raw data (loadavg): 1.00 1.01 0.97 2/64 15955
Raw data (stat): 15944 (java) R 15943 3394 3393 0 -1 0 18108 4 1 0 42026 47 0 0 25 0 11 0 837098367 857128960 24711 4294967295 134512640 134569956 3221224368 3221214584 1131287529 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209260 24711 13086 16 0 209244 0
vsize: 837040
[startup+440.022 s]
Raw data (loadavg): 1.00 1.01 0.97 2/64 15955
Raw data (stat): 15944 (java) R 15943 3394 3393 0 -1 0 18108 4 1 0 43017 47 0 0 25 0 11 0 837098367 857128960 24721 4294967295 134512640 134569956 3221224368 3221214536 1131287468 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209260 24721 13086 16 0 209244 0
vsize: 837040
[startup+450.023 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 15955
Raw data (stat): 15944 (java) R 15943 3394 3393 0 -1 0 18108 4 1 0 44009 47 0 0 25 0 11 0 837098367 857128960 24729 4294967295 134512640 134569956 3221224368 3221214668 1131190496 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209260 24729 13086 16 0 209244 0
vsize: 837040
[startup+460.024 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 15955
Raw data (stat): 15944 (java) R 15943 3394 3393 0 -1 0 18108 4 1 0 45000 47 0 0 25 0 11 0 837098367 857128960 24740 4294967295 134512640 134569956 3221224368 3221214672 1131326682 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209260 24740 13086 16 0 209244 0
vsize: 837040
[startup+470.024 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 15955
Raw data (stat): 15944 (java) R 15943 3394 3393 0 -1 0 18108 4 1 0 45991 47 0 0 25 0 11 0 837098367 857128960 24749 4294967295 134512640 134569956 3221224368 3221214584 1131287432 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209260 24749 13086 16 0 209244 0
vsize: 837040
[startup+480.024 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 15955
Raw data (stat): 15944 (java) R 15943 3394 3393 0 -1 0 18108 4 1 0 46981 48 0 0 25 0 11 0 837098367 857128960 24758 4294967295 134512640 134569956 3221224368 3221214584 1131287784 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209260 24758 13086 16 0 209244 0
vsize: 837040
[startup+490.024 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 15955
Raw data (stat): 15944 (java) R 15943 3394 3393 0 -1 0 18108 4 1 0 47973 48 0 0 25 0 11 0 837098367 857128960 24767 4294967295 134512640 134569956 3221224368 3221214140 1131510308 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209260 24767 13086 16 0 209244 0
vsize: 837040
[startup+500.025 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 15955
Raw data (stat): 15944 (java) R 15943 3394 3393 0 -1 0 18108 4 1 0 48964 48 0 0 25 0 11 0 837098367 857128960 24776 4294967295 134512640 134569956 3221224368 3221214584 1131287656 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209260 24776 13086 16 0 209244 0
vsize: 837040
[startup+510.025 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 15955
Raw data (stat): 15944 (java) R 15943 3394 3393 0 -1 0 18108 4 1 0 49955 48 0 0 25 0 11 0 837098367 857128960 24786 4294967295 134512640 134569956 3221224368 3221214584 1131288423 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209260 24786 13086 16 0 209244 0
vsize: 837040
[startup+520.025 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 15955
Raw data (stat): 15944 (java) R 15943 3394 3393 0 -1 0 18108 4 1 0 50946 48 0 0 25 0 11 0 837098367 857128960 24794 4294967295 134512640 134569956 3221224368 3221214672 1131327060 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209260 24794 13086 16 0 209244 0
vsize: 837040
[startup+530.026 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 15955
Raw data (stat): 15944 (java) R 15943 3394 3393 0 -1 0 18108 4 1 0 51937 48 0 0 25 0 11 0 837098367 857128960 24803 4294967295 134512640 134569956 3221224368 3221214584 1131287481 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209260 24803 13086 16 0 209244 0
vsize: 837040
[startup+540.026 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 15955
Raw data (stat): 15944 (java) R 15943 3394 3393 0 -1 0 18108 4 1 0 52928 48 0 0 25 0 11 0 837098367 857128960 24811 4294967295 134512640 134569956 3221224368 3221214584 1131288779 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209260 24811 13086 16 0 209244 0
vsize: 837040
[startup+550.027 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 15955
Raw data (stat): 15944 (java) R 15943 3394 3393 0 -1 0 18108 4 1 0 53919 48 0 0 25 0 11 0 837098367 857128960 24819 4294967295 134512640 134569956 3221224368 3221214672 1131329836 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209260 24819 13086 16 0 209244 0
vsize: 837040
[startup+560.027 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 15955
Raw data (stat): 15944 (java) R 15943 3394 3393 0 -1 0 18108 4 1 0 54910 48 0 0 25 0 11 0 837098367 857128960 24827 4294967295 134512640 134569956 3221224368 3221214664 1131182780 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209260 24827 13086 16 0 209244 0
vsize: 837040
[startup+570.028 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 15955
Raw data (stat): 15944 (java) R 15943 3394 3393 0 -1 0 18108 4 1 0 55900 48 0 0 25 0 11 0 837098367 857128960 24836 4294967295 134512640 134569956 3221224368 3221214672 1131329836 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209260 24836 13086 16 0 209244 0
vsize: 837040
[startup+580.028 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 15955
Raw data (stat): 15944 (java) R 15943 3394 3393 0 -1 0 18108 4 1 0 56891 48 0 0 25 0 11 0 837098367 857128960 24844 4294967295 134512640 134569956 3221224368 3221214712 1131316425 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209260 24844 13086 16 0 209244 0
vsize: 837040
[startup+590.028 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 15955
Raw data (stat): 15944 (java) R 15943 3394 3393 0 -1 0 18108 4 1 0 57882 48 0 0 25 0 11 0 837098367 857128960 24852 4294967295 134512640 134569956 3221224368 3221214672 1131327560 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209260 24852 13086 16 0 209244 0
vsize: 837040
[startup+600.029 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 15955
Raw data (stat): 15944 (java) R 15943 3394 3393 0 -1 0 18108 4 1 0 58873 48 0 0 25 0 11 0 837098367 857128960 24860 4294967295 134512640 134569956 3221224368 3221214584 1131287529 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209260 24860 13086 16 0 209244 0
vsize: 837040
[startup+610.029 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 15955
Raw data (stat): 15944 (java) R 15943 3394 3393 0 -1 0 18108 4 1 0 59863 49 0 0 25 0 11 0 837098367 857128960 24868 4294967295 134512640 134569956 3221224368 3221214584 1131287450 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209260 24868 13086 16 0 209244 0
vsize: 837040
[startup+620.03 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 15955
Raw data (stat): 15944 (java) R 15943 3394 3393 0 -1 0 18108 4 1 0 60854 49 0 0 25 0 11 0 837098367 857128960 24875 4294967295 134512640 134569956 3221224368 3221214584 1131287502 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209260 24875 13086 16 0 209244 0
vsize: 837040
[startup+630.03 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 15955
Raw data (stat): 15944 (java) R 15943 3394 3393 0 -1 0 18108 4 1 0 61844 49 0 0 25 0 11 0 837098367 857128960 24883 4294967295 134512640 134569956 3221224368 3221214368 1131549628 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209260 24883 13086 16 0 209244 0
vsize: 837040
[startup+640.031 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 15955
Raw data (stat): 15944 (java) R 15943 3394 3393 0 -1 0 18108 4 1 0 62835 49 0 0 25 0 11 0 837098367 857128960 24891 4294967295 134512640 134569956 3221224368 3221214672 1131325636 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209260 24891 13086 16 0 209244 0
vsize: 837040
[startup+650.032 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 15955
Raw data (stat): 15944 (java) R 15943 3394 3393 0 -1 0 18108 4 1 0 63826 49 0 0 25 0 11 0 837098367 857128960 24898 4294967295 134512640 134569956 3221224368 3221214672 1131327231 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209260 24898 13086 16 0 209244 0
vsize: 837040
[startup+660.032 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 15955
Raw data (stat): 15944 (java) R 15943 3394 3393 0 -1 0 18108 4 1 0 64816 49 0 0 25 0 11 0 837098367 857128960 24906 4294967295 134512640 134569956 3221224368 3221214584 1131287508 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209260 24906 13086 16 0 209244 0
vsize: 837040
[startup+670.033 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 15955
Raw data (stat): 15944 (java) R 15943 3394 3393 0 -1 0 18108 4 1 0 65806 49 0 0 25 0 11 0 837098367 857128960 24914 4294967295 134512640 134569956 3221224368 3221214816 1131618325 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209260 24914 13086 16 0 209244 0
vsize: 837040
[startup+680.034 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 15955
Raw data (stat): 15944 (java) R 15943 3394 3393 0 -1 0 18108 4 1 0 66797 49 0 0 25 0 11 0 837098367 857128960 24921 4294967295 134512640 134569956 3221224368 3221214672 1131328644 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209260 24921 13086 16 0 209244 0
vsize: 837040
[startup+690.033 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 15955
Raw data (stat): 15944 (java) R 15943 3394 3393 0 -1 0 18108 4 1 0 67787 49 0 0 25 0 11 0 837098367 857128960 24929 4294967295 134512640 134569956 3221224368 3221214584 1131287471 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209260 24929 13086 16 0 209244 0
vsize: 837040
[startup+700.034 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 15955
Raw data (stat): 15944 (java) R 15943 3394 3393 0 -1 0 18108 4 1 0 68776 49 0 0 25 0 11 0 837098367 857128960 24936 4294967295 134512640 134569956 3221224368 3221214584 1131288267 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209260 24936 13086 16 0 209244 0
vsize: 837040
[startup+710.035 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 15955
Raw data (stat): 15944 (java) R 15943 3394 3393 0 -1 0 18108 4 1 0 69765 49 0 0 25 0 11 0 837098367 857128960 24945 4294967295 134512640 134569956 3221224368 3221214576 1131190517 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209260 24945 13086 16 0 209244 0
vsize: 837040
[startup+720.036 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 15955
Raw data (stat): 15944 (java) R 15943 3394 3393 0 -1 0 18108 4 1 0 70754 50 0 0 25 0 11 0 837098367 857128960 24953 4294967295 134512640 134569956 3221224368 3221214584 1131288790 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209260 24953 13086 16 0 209244 0
vsize: 837040
[startup+730.037 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 15955
Raw data (stat): 15944 (java) R 15943 3394 3393 0 -1 0 18108 4 1 0 71743 50 0 0 25 0 11 0 837098367 857128960 24971 4294967295 134512640 134569956 3221224368 3221214672 1131325291 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209260 24971 13086 16 0 209244 0
vsize: 837040
[startup+740.037 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 15955
Raw data (stat): 15944 (java) R 15943 3394 3393 0 -1 0 18108 4 1 0 72732 50 0 0 25 0 11 0 837098367 857128960 24979 4294967295 134512640 134569956 3221224368 3221214672 1131329749 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209260 24979 13086 16 0 209244 0
vsize: 837040
[startup+750.037 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 15955
Raw data (stat): 15944 (java) R 15943 3394 3393 0 -1 0 18108 4 1 0 73722 50 0 0 25 0 11 0 837098367 857128960 24993 4294967295 134512640 134569956 3221224368 3221214584 1131288423 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209260 24993 13086 16 0 209244 0
vsize: 837040
[startup+760.038 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 15955
Raw data (stat): 15944 (java) R 15943 3394 3393 0 -1 0 18108 4 1 0 74711 50 0 0 25 0 11 0 837098367 857128960 25001 4294967295 134512640 134569956 3221224368 3221214672 1131329749 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209260 25001 13086 16 0 209244 0
vsize: 837040
[startup+770.038 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 15955
Raw data (stat): 15944 (java) R 15943 3394 3393 0 -1 0 18108 4 1 0 75700 50 0 0 25 0 11 0 837098367 857128960 25007 4294967295 134512640 134569956 3221224368 3221214584 1131287529 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209260 25007 13086 16 0 209244 0
vsize: 837040
[startup+780.039 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 15955
Raw data (stat): 15944 (java) R 15943 3394 3393 0 -1 0 18108 4 1 0 76689 50 0 0 25 0 11 0 837098367 857128960 25015 4294967295 134512640 134569956 3221224368 3221214664 1131182751 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209260 25015 13086 16 0 209244 0
vsize: 837040
[startup+790.038 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 15955
Raw data (stat): 15944 (java) R 15943 3394 3393 0 -1 0 18108 4 1 0 77679 50 0 0 25 0 11 0 837098367 857128960 25022 4294967295 134512640 134569956 3221224368 3221214584 1131287529 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209260 25022 13086 16 0 209244 0
vsize: 837040
[startup+800.039 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 15955
Raw data (stat): 15944 (java) R 15943 3394 3393 0 -1 0 18108 4 1 0 78668 50 0 0 25 0 11 0 837098367 857128960 25030 4294967295 134512640 134569956 3221224368 3221214584 1131287529 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209260 25030 13086 16 0 209244 0
vsize: 837040
[startup+810.039 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 15955
Raw data (stat): 15944 (java) R 15943 3394 3393 0 -1 0 18108 4 1 0 79657 50 0 0 25 0 11 0 837098367 857128960 25038 4294967295 134512640 134569956 3221224368 3221214584 1131287481 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209260 25038 13086 16 0 209244 0
vsize: 837040
[startup+820.04 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 15955
Raw data (stat): 15944 (java) R 15943 3394 3393 0 -1 0 18108 4 1 0 80646 50 0 0 25 0 11 0 837098367 857128960 25046 4294967295 134512640 134569956 3221224368 3221214584 1131287656 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209260 25046 13086 16 0 209244 0
vsize: 837040
[startup+830.04 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 15955
Raw data (stat): 15944 (java) R 15943 3394 3393 0 -1 0 18108 4 1 0 81636 50 0 0 25 0 11 0 837098367 857128960 25053 4294967295 134512640 134569956 3221224368 3221214672 1131329245 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209260 25053 13086 16 0 209244 0
vsize: 837040
[startup+840.041 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 15955
Raw data (stat): 15944 (java) R 15943 3394 3393 0 -1 0 18108 4 1 0 82625 50 0 0 25 0 11 0 837098367 857128960 25059 4294967295 134512640 134569956 3221224368 3221214856 1131351358 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209260 25059 13086 16 0 209244 0
vsize: 837040
[startup+850.042 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 15955
Raw data (stat): 15944 (java) R 15943 3394 3393 0 -1 0 18108 4 1 0 83613 50 0 0 25 0 11 0 837098367 857128960 25068 4294967295 134512640 134569956 3221224368 3221214584 1131287771 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209260 25068 13086 16 0 209244 0
vsize: 837040
[startup+860.045 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 15955
Raw data (stat): 15944 (java) R 15943 3394 3393 0 -1 0 18108 4 1 0 84602 50 0 0 25 0 11 0 837098367 857128960 25077 4294967295 134512640 134569956 3221224368 3221214584 1131287420 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209260 25077 13086 16 0 209244 0
vsize: 837040
[startup+870.046 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 15955
Raw data (stat): 15944 (java) R 15943 3394 3393 0 -1 0 18108 4 1 0 85592 50 0 0 25 0 11 0 837098367 857128960 25084 4294967295 134512640 134569956 3221224368 3221214584 1131288779 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209260 25084 13086 16 0 209244 0
vsize: 837040
[startup+880.047 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 15955
Raw data (stat): 15944 (java) R 15943 3394 3393 0 -1 0 18108 4 1 0 86580 50 0 0 25 0 11 0 837098367 857128960 25092 4294967295 134512640 134569956 3221224368 3221214096 1085679762 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209260 25092 13086 16 0 209244 0
vsize: 837040
[startup+890.047 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 15955
Raw data (stat): 15944 (java) R 15943 3394 3393 0 -1 0 18108 4 1 0 87569 50 0 0 25 0 11 0 837098367 857128960 25100 4294967295 134512640 134569956 3221224368 3221214584 1131287529 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209260 25100 13086 16 0 209244 0
vsize: 837040
[startup+900.047 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 15955
Raw data (stat): 15944 (java) R 15943 3394 3393 0 -1 0 18108 4 1 0 88557 50 0 0 25 0 11 0 837098367 857128960 25107 4294967295 134512640 134569956 3221224368 3221214672 1131327420 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209260 25107 13086 16 0 209244 0
vsize: 837040
[startup+910.047 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 15955
Raw data (stat): 15944 (java) R 15943 3394 3393 0 -1 0 18108 4 1 0 89547 50 0 0 25 0 11 0 837098367 857128960 25114 4294967295 134512640 134569956 3221224368 3221214672 1131329836 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209260 25114 13086 16 0 209244 0
vsize: 837040
[startup+920.048 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 15955
Raw data (stat): 15944 (java) R 15943 3394 3393 0 -1 0 18108 4 1 0 90536 51 0 0 25 0 11 0 837098367 857128960 25120 4294967295 134512640 134569956 3221224368 3221214584 1131287529 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209260 25120 13086 16 0 209244 0
vsize: 837040
[startup+930.049 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 15955
Raw data (stat): 15944 (java) R 15943 3394 3393 0 -1 0 18108 4 1 0 91525 51 0 0 25 0 11 0 837098367 857128960 25128 4294967295 134512640 134569956 3221224368 3221214672 1131325636 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209260 25128 13086 16 0 209244 0
vsize: 837040
[startup+940.049 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 15955
Raw data (stat): 15944 (java) R 15943 3394 3393 0 -1 0 18108 4 1 0 92514 51 0 0 25 0 11 0 837098367 857128960 25135 4294967295 134512640 134569956 3221224368 3221214672 1131328633 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209260 25135 13086 16 0 209244 0
vsize: 837040
[startup+950.05 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 15955
Raw data (stat): 15944 (java) R 15943 3394 3393 0 -1 0 18108 4 1 0 93503 51 0 0 25 0 11 0 837098367 857128960 25142 4294967295 134512640 134569956 3221224368 3221214584 1131287529 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209260 25142 13086 16 0 209244 0
vsize: 837040
[startup+960.05 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 15955
Raw data (stat): 15944 (java) R 15943 3394 3393 0 -1 0 18108 4 1 0 94492 51 0 0 25 0 11 0 837098367 857128960 25149 4294967295 134512640 134569956 3221224368 3221214584 1131287628 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209260 25149 13086 16 0 209244 0
vsize: 837040
[startup+970.051 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 15955
Raw data (stat): 15944 (java) R 15943 3394 3393 0 -1 0 18108 4 1 0 95480 51 0 0 25 0 11 0 837098367 857128960 25156 4294967295 134512640 134569956 3221224368 3221214856 1131351253 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209260 25156 13086 16 0 209244 0
vsize: 837040
[startup+980.052 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 15955
Raw data (stat): 15944 (java) R 15943 3394 3393 0 -1 0 18108 4 1 0 96470 51 0 0 25 0 11 0 837098367 857128960 25162 4294967295 134512640 134569956 3221224368 3221214672 1131329836 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209260 25162 13086 16 0 209244 0
vsize: 837040
[startup+990.052 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 15955
Raw data (stat): 15944 (java) R 15943 3394 3393 0 -1 0 18108 4 1 0 97457 51 0 0 25 0 11 0 837098367 857128960 25170 4294967295 134512640 134569956 3221224368 3221214616 1131241146 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209260 25170 13086 16 0 209244 0
vsize: 837040
[startup+1000.05 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 15955
Raw data (stat): 15944 (java) R 15943 3394 3393 0 -1 0 18108 4 1 0 98440 51 0 0 25 0 11 0 837098367 857128960 25177 4294967295 134512640 134569956 3221224368 3221214012 1085679260 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209260 25177 13086 16 0 209244 0
vsize: 837040
[startup+1010.06 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 15955
Raw data (stat): 15944 (java) S 15943 3394 3393 0 -1 0 18108 4 1 0 99421 51 0 0 25 0 11 0 837098367 857128960 25187 4294967295 134512640 134569956 3221224368 3221213360 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209260 25187 13086 16 0 209244 0
vsize: 837040
[startup+1020.06 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 15955
Raw data (stat): 15944 (java) R 15943 3394 3393 0 -1 0 18108 4 1 0 100403 51 0 0 25 0 11 0 837098367 857128960 25218 4294967295 134512640 134569956 3221224368 3221214696 1131240841 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209260 25218 13086 16 0 209244 0
vsize: 837040
[startup+1030.06 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 15955
Raw data (stat): 15944 (java) R 15943 3394 3393 0 -1 0 18108 4 1 0 101386 51 0 0 25 0 11 0 837098367 857128960 25285 4294967295 134512640 134569956 3221224368 3221214832 1131184921 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209260 25285 13086 16 0 209244 0
vsize: 837040
[startup+1040.06 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 15955
Raw data (stat): 15944 (java) R 15943 3394 3393 0 -1 0 18108 4 1 0 102372 52 0 0 24 0 11 0 837098367 857128960 25316 4294967295 134512640 134569956 3221224368 3221214576 1131190562 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209260 25316 13086 16 0 209244 0
vsize: 837040
[startup+1050.06 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 15955
Raw data (stat): 15944 (java) R 15943 3394 3393 0 -1 0 18108 4 1 0 103362 52 0 0 25 0 11 0 837098367 857128960 25323 4294967295 134512640 134569956 3221224368 3221214672 1131325423 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209260 25323 13086 16 0 209244 0
vsize: 837040
[startup+1060.06 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 15955
Raw data (stat): 15944 (java) R 15943 3394 3393 0 -1 0 18108 4 1 0 104350 52 0 0 25 0 11 0 837098367 857128960 25330 4294967295 134512640 134569956 3221224368 3221214672 1131329691 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209260 25330 13086 16 0 209244 0
vsize: 837040
[startup+1070.06 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 15955
Raw data (stat): 15944 (java) R 15943 3394 3393 0 -1 0 18108 4 1 0 105338 52 0 0 24 0 11 0 837098367 857128960 25336 4294967295 134512640 134569956 3221224368 3221214672 1131330063 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209260 25336 13086 16 0 209244 0
vsize: 837040
[startup+1080.06 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 15955
Raw data (stat): 15944 (java) R 15943 3394 3393 0 -1 0 18108 4 1 0 106327 52 0 0 25 0 11 0 837098367 857128960 25343 4294967295 134512640 134569956 3221224368 3221214320 1131212060 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209260 25343 13086 16 0 209244 0
vsize: 837040
[startup+1090.06 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 15955
Raw data (stat): 15944 (java) R 15943 3394 3393 0 -1 0 18108 4 1 0 107315 53 0 0 25 0 11 0 837098367 857128960 25350 4294967295 134512640 134569956 3221224368 3221214672 1131327847 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209260 25350 13086 16 0 209244 0
vsize: 837040
[startup+1100.06 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 15955
Raw data (stat): 15944 (java) R 15943 3394 3393 0 -1 0 18108 4 1 0 108303 53 0 0 25 0 11 0 837098367 857128960 25357 4294967295 134512640 134569956 3221224368 3221214584 1131288233 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209260 25357 13086 16 0 209244 0
vsize: 837040
[startup+1110.06 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 15955
Raw data (stat): 15944 (java) R 15943 3394 3393 0 -1 0 18108 4 1 0 109293 53 0 0 25 0 11 0 837098367 857128960 25363 4294967295 134512640 134569956 3221224368 3221214672 1131325636 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209260 25363 13086 16 0 209244 0
vsize: 837040
[startup+1120.06 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 15955
Raw data (stat): 15944 (java) R 15943 3394 3393 0 -1 0 18108 4 1 0 110281 53 0 0 25 0 11 0 837098367 857128960 25369 4294967295 134512640 134569956 3221224368 3221214672 1131330059 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209260 25369 13086 16 0 209244 0
vsize: 837040
[startup+1130.06 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 15955
Raw data (stat): 15944 (java) R 15943 3394 3393 0 -1 0 18108 4 1 0 111268 53 0 0 25 0 11 0 837098367 857128960 25376 4294967295 134512640 134569956 3221224368 3221214584 1131287529 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209260 25376 13086 16 0 209244 0
vsize: 837040
[startup+1140.06 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 15955
Raw data (stat): 15944 (java) R 15943 3394 3393 0 -1 0 18108 4 1 0 112257 53 0 0 25 0 11 0 837098367 857128960 25383 4294967295 134512640 134569956 3221224368 3221214672 1131328610 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209260 25383 13086 16 0 209244 0
vsize: 837040
[startup+1150.06 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 15955
Raw data (stat): 15944 (java) R 15943 3394 3393 0 -1 0 18108 4 1 0 113245 53 0 0 25 0 11 0 837098367 857128960 25390 4294967295 134512640 134569956 3221224368 3221214584 1131287393 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209260 25390 13086 16 0 209244 0
vsize: 837040
[startup+1160.06 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 15955
Raw data (stat): 15944 (java) R 15943 3394 3393 0 -1 0 18109 4 1 0 114232 54 0 0 25 0 11 0 837098367 857128960 25399 4294967295 134512640 134569956 3221224368 3221214584 1131288158 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209260 25399 13086 16 0 209244 0
vsize: 837040
[startup+1170.06 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 15955
Raw data (stat): 15944 (java) R 15943 3394 3393 0 -1 0 18109 4 1 0 115221 54 0 0 25 0 11 0 837098367 857128960 25405 4294967295 134512640 134569956 3221224368 3221214584 1131287673 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209260 25405 13086 16 0 209244 0
vsize: 837040
[startup+1180.06 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 15955
Raw data (stat): 15944 (java) R 15943 3394 3393 0 -1 0 18109 4 1 0 116209 54 0 0 25 0 11 0 837098367 857128960 25412 4294967295 134512640 134569956 3221224368 3221214584 1131287483 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209260 25412 13086 16 0 209244 0
vsize: 837040
[startup+1190.06 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 15955
Raw data (stat): 15944 (java) R 15943 3394 3393 0 -1 0 18109 4 1 0 117197 54 0 0 25 0 11 0 837098367 857128960 25421 4294967295 134512640 134569956 3221224368 3221214672 1131329732 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209260 25421 13086 16 0 209244 0
vsize: 837040
[startup+1200.06 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 15955
Raw data (stat): 15944 (java) R 15943 3394 3393 0 -1 0 18109 4 1 0 118186 54 0 0 25 0 11 0 837098367 857128960 25427 4294967295 134512640 134569956 3221224368 3221214672 1131327555 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209260 25427 13086 16 0 209244 0
vsize: 837040
[startup+1210.06 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 15955
Raw data (stat): 15944 (java) R 15943 3394 3393 0 -1 0 18109 4 1 0 119173 54 0 0 25 0 11 0 837098367 857128960 25434 4294967295 134512640 134569956 3221224368 3221214672 1131327780 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209260 25434 13086 16 0 209244 0
vsize: 837040
[startup+1220.07 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 15955
Raw data (stat): 15944 (java) R 15943 3394 3393 0 -1 0 18109 4 1 0 120161 54 0 0 25 0 11 0 837098367 857128960 25441 4294967295 134512640 134569956 3221224368 3221214584 1131287529 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209260 25441 13086 16 0 209244 0
vsize: 837040
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1220.34 s]
Raw data (loadavg): 1.00 1.00 0.97 1/54 15957
Raw data (stat): 15944 (java) Z 15943 3394 3393 0 -1 1036 18109 6163 1 0 120184 54 1561 23 25 0 1 0 837098367 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1220.34
CPU time (s): 1218.24
CPU user time (s): 1217.45
CPU system time (s): 0.78588
CPU usage (%): 99.8277
Max. virtual memory (Kb): 841312
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	0
#### END VERIFIER DATA ####