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-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-neos17.opb
MD5SUM	0094639e675238eae16e44b5d375cf2e
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	2269138
Optimality of the best value was proved	NO
Number of terms in the objective function	1610
Biggest coefficient in the objective function	3457920
Number of bits for the biggest coefficient in the objective function	22
Sum of the numbers in the objective function	13794172
Number of bits of the sum of numbers in the objective function	24
Biggest number in a constraint	1638400000000
Number of bits of the biggest number in a constraint	41
Biggest sum of numbers in a constraint	39322360302947
Number of bits of the biggest sum of numbers	46
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1228.72
Number of variables	2300
Total number of constraints	971
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	300
Number of constraints which are nor clauses,nor cardinality constraints	671
Minimum length of a constraint	1
Maximum length of a constraint	520
Trace number 30118

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.042
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:        694236 kB
Buffers:         33832 kB
Cached:         281548 kB
SwapCached:        412 kB
Active:          89512 kB
Inactive:       228128 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        693984 kB
SwapTotal:     2097136 kB
SwapFree:      2096036 kB
Dirty:              44 kB
Writeback:           0 kB
Mapped:           5692 kB
Slab:            17112 kB
Committed_AS:    63732 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 15:24:34 (client local time) WITH STATUS 143 IN 1228.72 SECONDS
stats: 21521 0 1228.72 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/wulflinc6/normalized-mps-v2-13-7-neos17.opb
c reading problem ... done. Time 7.031 ms.
c #vars     2300
c #constraints  672
c SATISFIABLE
c OPTIMIZING...
c CURRENT OPTIMUM=             4217984 		Current CPU time: 12.43 ms
c CURRENT OPTIMUM=             4215508 		Current CPU time: 16.87 ms
c CURRENT OPTIMUM=             4213248 		Current CPU time: 25.20 ms
c CURRENT OPTIMUM=             4212010 		Current CPU time: 31.23 ms
c CURRENT OPTIMUM=             4178368 		Current CPU time: 612.14 ms
c CURRENT OPTIMUM=             4146949 		Current CPU time: 680.36 ms
c CURRENT OPTIMUM=             4055960 		Current CPU time: 798.03 ms
c CURRENT OPTIMUM=             2836589 		Current CPU time: 832.81 ms
c CURRENT OPTIMUM=             2803874 		Current CPU time: 920.23 ms
c CURRENT OPTIMUM=             2269138 		Current CPU time: 1134.38 ms
c starts	: 12
c conflicts	: 252
c decisions	: 46857
c propagations	: 66532
c inspects	: 429299
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 251
c root simplifications	: 34
s SATISFIABLE
v D0001_bit0 D0002_bit0 D0004_bit0 D0005_bit0 D0006_bit0 -D0007_bit0 D0008_bit0 D0009_bit0 -D0010_bit0 D0011_bit0 D0012_bit0 D0013_bit0 D0014_bit0 -D0016_bit0 D0017_bit0 D0018_bit0 D0020_bit0 D0021_bit0 D0022_bit0 -D0023_bit0 D0024_bit0 D0025_bit0 D0026_bit0 -D0028_bit0 D0030_bit0 D0031_bit0 D0033_bit0 -D0034_bit0 -D0035_bit0 D0037_bit0 -D0038_bit0 D0039_bit0 D0041_bit0 -D0042_bit0 D0043_bit0 D0044_bit0 -D0045_bit0 -D0047_bit0 -D0048_bit0 D0049_bit0 D0052_bit0 D0053_bit0 D0054_bit0 D0055_bit0 D0056_bit0 D0057_bit0 D0060_bit0 D0062_bit0 -D0063_bit0 -D0064_bit0 D0065_bit0 D0068_bit0 D0070_bit0 D0071_bit0 D0072_bit0 D0073_bit0 D0074_bit0 D0075_bit0 D0077_bit0 D0079_bit0 -D0080_bit0 D0081_bit0 D0082_bit0 D0083_bit0 -D0084_bit0 -D0085_bit0 D0086_bit0 D0087_bit0 D0089_bit0 D0090_bit0 D0091_bit0 -D0093_bit0 D0094_bit0 D0095_bit0 D0097_bit0 -D0098_bit0 D0101_bit0 D0102_bit0 -D0104_bit0 D0105_bit0 D0106_bit0 -D0107_bit0 D0108_bit0 D0109_bit0 D0113_bit0 D0115_bit0 D0116_bit0 -D0117_bit0 D0118_bit0 D0119_bit0 D0120_bit0 -D0121_bit0 D0123_bit0 D0124_bit0 -D0125_bit0 D0126_bit0 D0128_bit0 D0129_bit0 D0130_bit0 D0131_bit0 D0132_bit0 D0133_bit0 D0134_bit0 D0135_bit0 D0137_bit0 D0138_bit0 D0139_bit0 D0140_bit0 -D0141_bit0 D0142_bit0 D0143_bit0 D0144_bit0 D0145_bit0 D0148_bit0 D0149_bit0 D0151_bit0 D0152_bit0 -D0153_bit0 -D0157_bit0 D0162_bit0 D0163_bit0 D0164_bit0 D0165_bit0 D0166_bit0 D0167_bit0 D0168_bit0 D0169_bit0 D0170_bit0 D0171_bit0 -D0172_bit0 D0173_bit0 D0174_bit0 D0175_bit0 D0176_bit0 -D0178_bit0 -D0179_bit0 D0180_bit0 -D0182_bit0 D0183_bit0 -D0184_bit0 D0186_bit0 D0187_bit0 D0188_bit0 D0189_bit0 -D0190_bit0 D0192_bit0 D0195_bit0 D0196_bit0 D0197_bit0 -D0198_bit0 D0201_bit0 D0202_bit0 -D0203_bit0 D0204_bit0 D0205_bit0 D0206_bit0 -D0207_bit0 D0208_bit0 D0209_bit0 D0210_bit0 -D0211_bit0 D0212_bit0 D0213_bit0 D0214_bit0 -D0215_bit0 D0216_bit0 D0217_bit0 D0219_bit0 D0220_bit0 D0221_bit0 D0222_bit0 D0223_bit0 D0224_bit0 D0225_bit0 -D0227_bit0 -D0228_bit0 D0229_bit0 D0230_bit0 D0231_bit0 -D0234_bit0 D0235_bit0 D0236_bit0 D0237_bit0 D0238_bit0 D0241_bit0 D0242_bit0 D0243_bit0 -D0245_bit0 D0246_bit0 -D0247_bit0 D0248_bit0 D0249_bit0 D0250_bit0 D0251_bit0 D0252_bit0 -D0254_bit0 D0258_bit0 D0259_bit0 D0260_bit0 D0261_bit0 -D0262_bit0 D0263_bit0 D0264_bit0 D0265_bit0 D0266_bit0 -D0267_bit0 D0268_bit0 -D0269_bit0 D0270_bit0 D0271_bit0 D0275_bit0 D0276_bit0 D0277_bit0 D0278_bit0 D0279_bit0 D0280_bit0 D0281_bit0 D0282_bit0 D0283_bit0 D0285_bit0 D0286_bit0 D0287_bit0 D0288_bit0 D0289_bit0 D0290_bit0 D0291_bit0 D0292_bit0 D0293_bit0 D0295_bit0 D0296_bit0 D0297_bit0 D0298_bit0 -D0299_bit0 D0300_bit0 -D0301_bit_7 D0301_bit_6 -D0301_bit_5 -D0301_bit_4 -D0301_bit_3 -D0301_bit_2 -D0301_bit_1 -D0301_bit0 -D0302_bit_7 -D0302_bit_6 -D0302_bit_5 -D0302_bit_4 -D0302_bit_3 -D0302_bit_2 -D0302_bit_1 -D0302_bit0 -D0303_bit_7 -D0303_bit_6 -D0303_bit_5 -D0303_bit_4 -D0303_bit_3 -D0303_bit_2 -D0303_bit_1 -D0303_bit0 -D0304_bit_7 -D0304_bit_6 D0304_bit_5 -D0304_bit_4 -D0304_bit_3 -D0304_bit_2 -D0304_bit_1 -D0304_bit0 D0305_bit_7 -D0305_bit_6 -D0305_bit_5 -D0305_bit_4 -D0305_bit_3 -D0305_bit_2 -D0305_bit_1 -D0305_bit0 -D0307_bit_7 -D0307_bit_6 -D0307_bit_5 -D0307_bit_4 -D0307_bit_3 -D0307_bit_2 -D0307_bit_1 -D0307_bit0 -D0308_bit_7 D0308_bit_6 -D0308_bit_5 -D0308_bit_4 -D0308_bit_3 -D0308_bit_2 -D0308_bit_1 -D0308_bit0 D0309_bit_7 D0309_bit_6 -D0309_bit_5 -D0309_bit_4 -D0309_bit_3 -D0309_bit_2 -D0309_bit_1 -D0309_bit0 D0311_bit_7 -D0311_bit_6 -D0311_bit_5 -D0311_bit_4 -D0311_bit_3 -D0311_bit_2 -D0311_bit_1 -D0311_bit0 D0312_bit_7 -D0312_bit_6 -D0312_bit_5 -D0312_bit_4 -D0312_bit_3 -D0312_bit_2 -D0312_bit_1 -D0312_bit0 D0313_bit_7 D0313_bit_6 -D0313_bit_5 -D0313_bit_4 -D0313_bit_3 -D0313_bit_2 -D0313_bit_1 -D0313_bit0 -D0314_bit_7 -D0314_bit_6 -D0314_bit_5 -D0314_bit_4 -D0314_bit_3 -D0314_bit_2 -D0314_bit_1 -D0314_bit0 -D0315_bit_7 D0315_bit_6 D0315_bit_5 -D0315_bit_4 -D0315_bit_3 -D0315_bit_2 -D0315_bit_1 -D0315_bit0 D0316_bit_7 D0316_bit_6 -D0316_bit_5 -D0316_bit_4 -D0316_bit_3 -D0316_bit_2 -D0316_bit_1 -D0316_bit0 D0317_bit_7 -D0317_bit_6 D0317_bit_5 -D0317_bit_4 -D0317_bit_3 -D0317_bit_2 -D0317_bit_1 -D0317_bit0 -D0318_bit_7 -D0318_bit_6 -D0318_bit_5 D0318_bit_4 -D0318_bit_3 -D0318_bit_2 -D0318_bit_1 -D0318_bit0 -D0319_bit_7 D0319_bit_6 -D0319_bit_5 -D0319_bit_4 -D0319_bit_3 -D0319_bit_2 -D0319_bit_1 -D0319_bit0 -D0320_bit_7 D0320_bit_6 -D0320_bit_5 -D0320_bit_4 -D0320_bit_3 -D0320_bit_2 -D0320_bit_1 -D0320_bit0 D0321_bit_7 D0321_bit_6 D0321_bit_5 -D0321_bit_4 -D0321_bit_3 -D0321_bit_2 -D0321_bit_1 -D0321_bit0 -D0322_bit_7 D0322_bit_6 -D0322_bit_5 -D0322_bit_4 -D0322_bit_3 -D0322_bit_2 -D0322_bit_1 -D0322_bit0 -D0323_bit_7 D0323_bit_6 -D0323_bit_5 D0323_bit_4 -D0323_bit_3 D0323_bit_2 -D0323_bit_1 -D0323_bit0 D0324_bit_7 D0324_bit_6 -D0324_bit_5 -D0324_bit_4 -D0324_bit_3 -D0324_bit_2 -D0324_bit_1 -D0324_bit0 -D0325_bit_7 -D0325_bit_6 -D0325_bit_5 -D0325_bit_4 -D0325_bit_3 -D0325_bit_2 -D0325_bit_1 -D0325_bit0 D0327_bit_7 -D0327_bit_6 D0327_bit_5 -D0327_bit_4 -D0327_bit_3 -D0327_bit_2 -D0327_bit_1 -D0327_bit0 -D0328_bit_7 D0328_bit_6 -D0328_bit_5 D0328_bit_4 -D0328_bit_3 -D0328_bit_2 -D0328_bit_1 -D0328_bit0 -D0329_bit_7 -D0329_bit_6 D0329_bit_5 -D0329_bit_4 -D0329_bit_3 -D0329_bit_2 -D0329_bit_1 -D0329_bit0 -D0330_bit_7 D0330_bit_6 D0330_bit_5 -D0330_bit_4 -D0330_bit_3 -D0330_bit_2 -D0330_bit_1 -D0330_bit0 -D0331_bit_7 -D0331_bit_6 -D0331_bit_5 -D0331_bit_4 -D0331_bit_3 -D0331_bit_2 -D0331_bit_1 -D0331_bit0 -D0332_bit_7 -D0332_bit_6 -D0332_bit_5 -D0332_bit_4 -D0332_bit_3 -D0332_bit_2 -D0332_bit_1 -D0332_bit0 D0333_bit_7 D0333_bit_6 -D0333_bit_5 -D0333_bit_4 -D0333_bit_3 -D0333_bit_2 -D0333_bit_1 -D0333_bit0 D0334_bit_7 D0334_bit_6 D0334_bit_5 D0334_bit_4 D0334_bit_3 D0334_bit_2 D0334_bit_1 -D0334_bit0 -D0335_bit_7 -D0335_bit_6 -D0335_bit_5 -D0335_bit_4 -D0335_bit_3 -D0335_bit_2 -D0335_bit_1 -D0335_bit0 -D0336_bit_7 -D0336_bit_6 -D0336_bit_5 -D0336_bit_4 -D0336_bit_3 -D0336_bit_2 -D0336_bit_1 -D0336_bit0 D0337_bit_7 D0337_bit_6 -D0337_bit_5 -D0337_bit_4 -D0337_bit_3 -D0337_bit_2 -D0337_bit_1 -D0337_bit0 -D0338_bit_7 -D0338_bit_6 -D0338_bit_5 -D0338_bit_4 -D0338_bit_3 -D0338_bit_2 -D0338_bit_1 -D0338_bit0 -D0340_bit_7 D0340_bit_6 -D0340_bit_5 D0340_bit_4 -D0340_bit_3 D0340_bit_2 -D0340_bit_1 -D0340_bit0 D0341_bit_7 -D0341_bit_6 D0341_bit_5 -D0341_bit_4 -D0341_bit_3 -D0341_bit_2 -D0341_bit_1 -D0341_bit0 D0343_bit_7 -D0343_bit_6 -D0343_bit_5 -D0343_bit_4 -D0343_bit_3 -D0343_bit_2 -D0343_bit_1 -D0343_bit0 D0344_bit_7 -D0344_bit_6 D0344_bit_5 -D0344_bit_4 -D0344_bit_3 -D0344_bit_2 -D0344_bit_1 -D0344_bit0 -D0345_bit_7 -D0345_bit_6 D0345_bit_5 -D0345_bit_4 -D0345_bit_3 -D0345_bit_2 -D0345_bit_1 -D0345_bit0 -D0346_bit_7 D0346_bit_6 -D0346_bit_5 -D0346_bit_4 -D0346_bit_3 -D0346_bit_2 -D0346_bit_1 -D0346_bit0 -D0347_bit_7 -D0347_bit_6 D0347_bit_5 -D0347_bit_4 -D0347_bit_3 -D0347_bit_2 -D0347_bit_1 -D0347_bit0 -D0348_bit_7 -D0348_bit_6 D0348_bit_5 -D0348_bit_4 -D0348_bit_3 -D0348_bit_2 -D0348_bit_1 -D0348_bit0 -D0349_bit_7 D0349_bit_6 -D0349_bit_5 -D0349_bit_4 -D0349_bit_3 -D0349_bit_2 -D0349_bit_1 -D0349_bit0 D0350_bit_7 -D0350_bit_6 D0350_bit_5 -D0350_bit_4 -D0350_bit_3 -D0350_bit_2 -D0350_bit_1 -D0350_bit0 -D0351_bit_7 -D0351_bit_6 -D0351_bit_5 -D0351_bit_4 -D0351_bit_3 -D0351_bit_2 -D0351_bit_1 -D0351_bit0 -D0352_bit_7 -D0352_bit_6 -D0352_bit_5 D0352_bit_4 -D0352_bit_3 -D0352_bit_2 -D0352_bit_1 -D0352_bit0 -D0353_bit_7 -D0353_bit_6 D0353_bit_5 D0353_bit_4 -D0353_bit_3 -D0353_bit_2 -D0353_bit_1 -D0353_bit0 D0354_bit_7 -D0354_bit_6 -D0354_bit_5 -D0354_bit_4 -D0354_bit_3 -D0354_bit_2 -D0354_bit_1 -D0354_bit0 -D0355_bit_7 -D0355_bit_6 D0355_bit_5 -D0355_bit_4 -D0355_bit_3 -D0355_bit_2 -D0355_bit_1 -D0355_bit0 D0356_bit_7 D0356_bit_6 -D0356_bit_5 -D0356_bit_4 -D0356_bit_3 -D0356_bit_2 -D0356_bit_1 -D0356_bit0 -D0357_bit_7 -D0357_bit_6 -D0357_bit_5 -D0357_bit_4 -D0357_bit_3 -D0357_bit_2 -D0357_bit_1 -D0357_bit0 D0358_bit_7 -D0358_bit_6 D0358_bit_5 D0358_bit_4 -D0358_bit_3 -D0358_bit_2 -D0358_bit_1 -D0358_bit0 D0359_bit_7 D0359_bit_6 -D0359_bit_5 -D0359_bit_4 -D0359_bit_3 -D0359_bit_2 -D0359_bit_1 -D0359_bit0 -D0360_bit_7 -D0360_bit_6 -D0360_bit_5 D0360_bit_4 -D0360_bit_3 -D0360_bit_2 -D0360_bit_1 -D0360_bit0 D0361_bit_7 -D0361_bit_6 D0361_bit_5 -D0361_bit_4 -D0361_bit_3 -D0361_bit_2 -D0361_bit_1 -D0361_bit0 -D0362_bit_7 D0362_bit_6 -D0362_bit_5 -D0362_bit_4 -D0362_bit_3 -D0362_bit_2 -D0362_bit_1 -D0362_bit0 -D0363_bit_7 D0363_bit_6 -D0363_bit_5 -D0363_bit_4 -D0363_bit_3 -D0363_bit_2 -D0363_bit_1 -D0363_bit0 D0364_bit_7 -D0364_bit_6 -D0364_bit_5 -D0364_bit_4 -D0364_bit_3 -D0364_bit_2 -D0364_bit_1 -D0364_bit0 D0365_bit_7 -D0365_bit_6 D0365_bit_5 -D0365_bit_4 -D0365_bit_3 -D0365_bit_2 -D0365_bit_1 -D0365_bit0 -D0366_bit_7 -D0366_bit_6 -D0366_bit_5 -D0366_bit_4 -D0366_bit_3 -D0366_bit_2 -D0366_bit_1 -D0366_bit0 -D0367_bit_7 -D0367_bit_6 -D0367_bit_5 -D0367_bit_4 -D0367_bit_3 -D0367_bit_2 -D0367_bit_1 -D0367_bit0 -D0368_bit_7 -D0368_bit_6 D0368_bit_5 -D0368_bit_4 -D0368_bit_3 -D0368_bit_2 -D0368_bit_1 -D0368_bit0 -D0369_bit_7 D0369_bit_6 -D0369_bit_5 -D0369_bit_4 -D0369_bit_3 -D0369_bit_2 -D0369_bit_1 -D0369_bit0 -D0371_bit_7 -D0371_bit_6 -D0371_bit_5 -D0371_bit_4 -D0371_bit_3 -D0371_bit_2 -D0371_bit_1 -D0371_bit0 -D0372_bit_7 -D0372_bit_6 -D0372_bit_5 -D0372_bit_4 -D0372_bit_3 -D0372_bit_2 -D0372_bit_1 -D0372_bit0 -D0373_bit_7 -D0373_bit_6 -D0373_bit_5 -D0373_bit_4 -D0373_bit_3 D0373_bit_2 -D0373_bit_1 -D0373_bit0 D0375_bit_7 D0375_bit_6 -D0375_bit_5 -D0375_bit_4 -D0375_bit_3 -D0375_bit_2 -D0375_bit_1 -D0375_bit0 -D0376_bit_7 -D0376_bit_6 D0376_bit_5 -D0376_bit_4 -D0376_bit_3 -D0376_bit_2 -D0376_bit_1 -D0376_bit0 -D0377_bit_7 -D0377_bit_6 -D0377_bit_5 D0377_bit_4 -D0377_bit_3 -D0377_bit_2 -D0377_bit_1 -D0377_bit0 -D0378_bit_7 -D0378_bit_6 D0378_bit_5 -D0378_bit_4 -D0378_bit_3 -D0378_bit_2 -D0378_bit_1 -D0378_bit0 -D0379_bit_7 -D0379_bit_6 D0379_bit_5 -D0379_bit_4 -D0379_bit_3 -D0379_bit_2 -D0379_bit_1 -D0379_bit0 -D0382_bit_7 -D0382_bit_6 -D0382_bit_5 -D0382_bit_4 -D0382_bit_3 -D0382_bit_2 -D0382_bit_1 -D0382_bit0 -D0383_bit_7 -D0383_bit_6 D0383_bit_5 -D0383_bit_4 -D0383_bit_3 -D0383_bit_2 -D0383_bit_1 -D0383_bit0 -D0384_bit_7 D0384_bit_6 -D0384_bit_5 -D0384_bit_4 -D0384_bit_3 -D0384_bit_2 -D0384_bit_1 -D0384_bit0 -D0385_bit_7 D0385_bit_6 -D0385_bit_5 -D0385_bit_4 -D0385_bit_3 -D0385_bit_2 -D0385_bit_1 -D0385_bit0 -D0386_bit_7 -D0386_bit_6 -D0386_bit_5 -D0386_bit_4 -D0386_bit_3 -D0386_bit_2 -D0386_bit_1 -D0386_bit0 D0387_bit_7 -D0387_bit_6 -D0387_bit_5 -D0387_bit_4 -D0387_bit_3 -D0387_bit_2 -D0387_bit_1 -D0387_bit0 -D0388_bit_7 -D0388_bit_6 -D0388_bit_5 -D0388_bit_4 -D0388_bit_3 -D0388_bit_2 -D0388_bit_1 -D0388_bit0 -D0389_bit_7 -D0389_bit_6 -D0389_bit_5 -D0389_bit_4 -D0389_bit_3 -D0389_bit_2 -D0389_bit_1 -D0389_bit0 D0390_bit_7 D0390_bit_6 -D0390_bit_5 -D0390_bit_4 -D0390_bit_3 -D0390_bit_2 -D0390_bit_1 -D0390_bit0 -D0391_bit_7 -D0391_bit_6 D0391_bit_5 -D0391_bit_4 -D0391_bit_3 -D0391_bit_2 -D0391_bit_1 -D0391_bit0 -D0392_bit_7 -D0392_bit_6 D0392_bit_5 -D0392_bit_4 -D0392_bit_3 -D0392_bit_2 -D0392_bit_1 -D0392_bit0 -D0394_bit_7 D0394_bit_6 -D0394_bit_5 -D0394_bit_4 -D0394_bit_3 -D0394_bit_2 -D0394_bit_1 -D0394_bit0 D0395_bit_7 -D0395_bit_6 -D0395_bit_5 -D0395_bit_4 -D0395_bit_3 -D0395_bit_2 -D0395_bit_1 -D0395_bit0 -D0396_bit_7 -D0396_bit_6 D0396_bit_5 -D0396_bit_4 -D0396_bit_3 -D0396_bit_2 -D0396_bit_1 -D0396_bit0 D0397_bit_7 -D0397_bit_6 -D0397_bit_5 -D0397_bit_4 -D0397_bit_3 -D0397_bit_2 -D0397_bit_1 -D0397_bit0 D0398_bit_7 D0398_bit_6 D0398_bit_5 -D0398_bit_4 -D0398_bit_3 -D0398_bit_2 -D0398_bit_1 -D0398_bit0 -D0399_bit_7 -D0399_bit_6 D0399_bit_5 -D0399_bit_4 -D0399_bit_3 -D0399_bit_2 -D0399_bit_1 -D0399_bit0 -D0400_bit_7 D0400_bit_6 -D0400_bit_5 D0400_bit_4 -D0400_bit_3 -D0400_bit_2 -D0400_bit_1 -D0400_bit0 -D0401_bit_7 -D0401_bit_6 -D0401_bit_5 -D0401_bit_4 -D0401_bit_3 -D0401_bit_2 -D0401_bit_1 -D0401_bit0 -D0403_bit_7 D0403_bit_6 -D0403_bit_5 -D0403_bit_4 -D0403_bit_3 -D0403_bit_2 -D0403_bit_1 -D0403_bit0 -D0404_bit_7 D0404_bit_6 -D0404_bit_5 -D0404_bit_4 -D0404_bit_3 -D0404_bit_2 -D0404_bit_1 -D0404_bit0 -D0405_bit_7 -D0405_bit_6 -D0405_bit_5 -D0405_bit_4 -D0405_bit_3 -D0405_bit_2 -D0405_bit_1 -D0405_bit0 D0406_bit_7 D0406_bit_6 -D0406_bit_5 -D0406_bit_4 -D0406_bit_3 -D0406_bit_2 -D0406_bit_1 -D0406_bit0 -D0407_bit_7 D0407_bit_6 D0407_bit_5 -D0407_bit_4 -D0407_bit_3 -D0407_bit_2 -D0407_bit_1 -D0407_bit0 -D0408_bit_7 -D0408_bit_6 -D0408_bit_5 -D0408_bit_4 D0408_bit_3 -D0408_bit_2 -D0408_bit_1 -D0408_bit0 -D0409_bit_7 -D0409_bit_6 -D0409_bit_5 -D0409_bit_4 -D0409_bit_3 -D0409_bit_2 -D0409_bit_1 -D0409_bit0 D0410_bit_7 D0410_bit_6 D0410_bit_5 -D0410_bit_4 -D0410_bit_3 -D0410_bit_2 -D0410_bit_1 -D0410_bit0 D0411_bit_7 -D0411_bit_6 D0411_bit_5 -D0411_bit_4 -D0411_bit_3 -D0411_bit_2 -D0411_bit_1 -D0411_bit0 D0412_bit_7 -D0412_bit_6 D0412_bit_5 -D0412_bit_4 -D0412_bit_3 -D0412_bit_2 -D0412_bit_1 -D0412_bit0 D0413_bit_7 -D0413_bit_6 -D0413_bit_5 -D0413_bit_4 -D0413_bit_3 -D0413_bit_2 -D0413_bit_1 -D0413_bit0 -D0414_bit_7 -D0414_bit_6 -D0414_bit_5 D0414_bit_4 -D0414_bit_3 -D0414_bit_2 -D0414_bit_1 -D0414_bit0 -D0415_bit_7 -D0415_bit_6 -D0415_bit_5 -D0415_bit_4 -D0415_bit_3 -D0415_bit_2 -D0415_bit_1 D0415_bit0 D0416_bit_7 -D0416_bit_6 -D0416_bit_5 D0416_bit_4 -D0416_bit_3 -D0416_bit_2 -D0416_bit_1 -D0416_bit0 D0417_bit_7 -D0417_bit_6 -D0417_bit_5 -D0417_bit_4 -D0417_bit_3 -D0417_bit_2 -D0417_bit_1 -D0417_bit0 -D0418_bit_7 -D0418_bit_6 D0418_bit_5 -D0418_bit_4 -D0418_bit_3 -D0418_bit_2 -D0418_bit_1 -D0418_bit0 -D0419_bit_7 -D0419_bit_6 -D0419_bit_5 -D0419_bit_4 -D0419_bit_3 -D0419_bit_2 -D0419_bit_1 -D0419_bit0 -D0420_bit_7 -D0420_bit_6 -D0420_bit_5 -D0420_bit_4 -D0420_bit_3 -D0420_bit_2 -D0420_bit_1 -D0420_bit0 -D0421_bit_7 -D0421_bit_6 -D0421_bit_5 -D0421_bit_4 -D0421_bit_3 -D0421_bit_2 -D0421_bit_1 -D0421_bit0 -D0422_bit_7 D0422_bit_6 D0422_bit_5 -D0422_bit_4 -D0422_bit_3 -D0422_bit_2 -D0422_bit_1 -D0422_bit0 D0423_bit_7 -D0423_bit_6 -D0423_bit_5 -D0423_bit_4 -D0423_bit_3 -D0423_bit_2 -D0423_bit_1 -D0423_bit0 -D0424_bit_7 -D0424_bit_6 -D0424_bit_5 -D0424_bit_4 -D0424_bit_3 -D0424_bit_2 -D0424_bit_1 -D0424_bit0 -D0426_bit_7 -D0426_bit_6 D0426_bit_5 -D0426_bit_4 -D0426_bit_3 -D0426_bit_2 -D0426_bit_1 -D0426_bit0 -D0427_bit_7 -D0427_bit_6 -D0427_bit_5 -D0427_bit_4 -D0427_bit_3 -D0427_bit_2 -D0427_bit_1 -D0427_bit0 -D0428_bit_7 D0428_bit_6 -D0428_bit_5 D0428_bit_4 -D0428_bit_3 D0428_bit_2 -D0428_bit_1 -D0428_bit0 -D0429_bit_7 -D0429_bit_6 -D0429_bit_5 -D0429_bit_4 -D0429_bit_3 -D0429_bit_2 -D0429_bit_1 -D0429_bit0 -D0430_bit_7 -D0430_bit_6 -D0430_bit_5 D0430_bit_4 -D0430_bit_3 -D0430_bit_2 -D0430_bit_1 -D0430_bit0 D0431_bit_7 -D0431_bit_6 -D0431_bit_5 -D0431_bit_4 -D0431_bit_3 -D0431_bit_2 -D0431_bit_1 -D0431_bit0 D0432_bit_7 D0432_bit_6 -D0432_bit_5 D0432_bit_4 -D0432_bit_3 -D0432_bit_2 -D0432_bit_1 -D0432_bit0 -D0433_bit_7 -D0433_bit_6 -D0433_bit_5 -D0433_bit_4 -D0433_bit_3 -D0433_bit_2 -D0433_bit_1 -D0433_bit0 -D0434_bit_7 -D0434_bit_6 -D0434_bit_5 -D0434_bit_4 -D0434_bit_3 -D0434_bit_2 -D0434_bit_1 -D0434_bit0 -D0435_bit_7 -D0435_bit_6 D0435_bit_5 -D0435_bit_4 -D0435_bit_3 -D0435_bit_2 -D0435_bit_1 -D0435_bit0 -D0436_bit_7 D0436_bit_6 D0436_bit_5 -D0436_bit_4 -D0436_bit_3 -D0436_bit_2 -D0436_bit_1 -D0436_bit0 -D0437_bit_7 -D0437_bit_6 -D0437_bit_5 -D0437_bit_4 -D0437_bit_3 -D0437_bit_2 -D0437_bit_1 -D0437_bit0 -D0438_bit_7 D0438_bit_6 D0438_bit_5 -D0438_bit_4 -D0438_bit_3 -D0438_bit_2 -D0438_bit_1 -D0438_bit0 D0439_bit_7 D0439_bit_6 D0439_bit_5 D0439_bit_4 -D0439_bit_3 -D0439_bit_2 -D0439_bit_1 -D0439_bit0 -D0440_bit_7 -D0440_bit_6 D0440_bit_5 -D0440_bit_4 -D0440_bit_3 -D0440_bit_2 -D0440_bit_1 -D0440_bit0 -D0441_bit_7 -D0441_bit_6 -D0441_bit_5 -D0441_bit_4 -D0441_bit_3 -D0441_bit_2 -D0441_bit_1 -D0441_bit0 -D0442_bit_7 -D0442_bit_6 -D0442_bit_5 -D0442_bit_4 -D0442_bit_3 -D0442_bit_2 -D0442_bit_1 -D0442_bit0 -D0443_bit_7 -D0443_bit_6 -D0443_bit_5 -D0443_bit_4 -D0443_bit_3 -D0443_bit_2 -D0443_bit_1 -D0443_bit0 D0444_bit_7 D0444_bit_6 D0444_bit_5 -D0444_bit_4 -D0444_bit_3 -D0444_bit_2 -D0444_bit_1 -D0444_bit0 D0446_bit_7 D0446_bit_6 D0446_bit_5 -D0446_bit_4 -D0446_bit_3 -D0446_bit_2 -D0446_bit_1 -D0446_bit0 -D0447_bit_7 -D0447_bit_6 -D0447_bit_5 D0447_bit_4 -D0447_bit_3 -D0447_bit_2 -D0447_bit_1 -D0447_bit0 D0448_bit_7 D0448_bit_6 D0448_bit_5 -D0448_bit_4 -D0448_bit_3 -D0448_bit_2 -D0448_bit_1 -D0448_bit0 D0449_bit_7 -D0449_bit_6 D0449_bit_5 -D0449_bit_4 -D0449_bit_3 -D0449_bit_2 -D0449_bit_1 -D0449_bit0 D0450_bit_7 -D0450_bit_6 -D0450_bit_5 -D0450_bit_4 -D0450_bit_3 -D0450_bit_2 -D0450_bit_1 -D0450_bit0 D0451_bit_7 D0451_bit_6 D0451_bit_5 -D0451_bit_4 -D0451_bit_3 -D0451_bit_2 -D0451_bit_1 -D0451_bit0 -D0452_bit_7 D0452_bit_6 D0452_bit_5 -D0452_bit_4 -D0452_bit_3 -D0452_bit_2 -D0452_bit_1 -D0452_bit0 D0453_bit_7 -D0453_bit_6 -D0453_bit_5 -D0453_bit_4 -D0453_bit_3 -D0453_bit_2 -D0453_bit_1 -D0453_bit0 -D0454_bit_7 D0454_bit_6 -D0454_bit_5 D0454_bit_4 -D0454_bit_3 D0454_bit_2 -D0454_bit_1 -D0454_bit0 -D0455_bit_7 -D0455_bit_6 -D0455_bit_5 -D0455_bit_4 -D0455_bit_3 -D0455_bit_2 -D0455_bit_1 -D0455_bit0 D0456_bit_7 -D0456_bit_6 -D0456_bit_5 D0456_bit_4 -D0456_bit_3 -D0456_bit_2 -D0456_bit_1 -D0456_bit0 D0457_bit_7 -D0457_bit_6 D0457_bit_5 -D0457_bit_4 -D0457_bit_3 -D0457_bit_2 -D0457_bit_1 -D0457_bit0 -D0458_bit_7 D0458_bit_6 D0458_bit_5 -D0458_bit_4 -D0458_bit_3 -D0458_bit_2 -D0458_bit_1 -D0458_bit0 -D0459_bit_7 -D0459_bit_6 -D0459_bit_5 D0459_bit_4 -D0459_bit_3 -D0459_bit_2 -D0459_bit_1 -D0459_bit0 -D0460_bit_7 -D0460_bit_6 D0460_bit_5 -D0460_bit_4 -D0460_bit_3 -D0460_bit_2 -D0460_bit_1 -D0460_bit0 D0461_bit_7 D0461_bit_6 -D0461_bit_5 -D0461_bit_4 -D0461_bit_3 -D0461_bit_2 -D0461_bit_1 -D0461_bit0 D0462_bit_7 -D0462_bit_6 D0462_bit_5 -D0462_bit_4 -D0462_bit_3 -D0462_bit_2 -D0462_bit_1 -D0462_bit0 -D0463_bit_7 -D0463_bit_6 -D0463_bit_5 -D0463_bit_4 -D0463_bit_3 -D0463_bit_2 -D0463_bit_1 -D0463_bit0 D0464_bit_7 D0464_bit_6 D0464_bit_5 D0464_bit_4 -D0464_bit_3 D0464_bit_2 -D0464_bit_1 -D0464_bit0 D0465_bit_7 D0465_bit_6 D0465_bit_5 -D0465_bit_4 -D0465_bit_3 -D0465_bit_2 -D0465_bit_1 -D0465_bit0 D0466_bit_7 -D0466_bit_6 -D0466_bit_5 -D0466_bit_4 -D0466_bit_3 -D0466_bit_2 -D0466_bit_1 -D0466_bit0 D0467_bit_7 -D0467_bit_6 -D0467_bit_5 -D0467_bit_4 -D0467_bit_3 -D0467_bit_2 -D0467_bit_1 -D0467_bit0 -D0468_bit_7 -D0468_bit_6 -D0468_bit_5 -D0468_bit_4 -D0468_bit_3 -D0468_bit_2 -D0468_bit_1 -D0468_bit0 D0469_bit_7 D0469_bit_6 -D0469_bit_5 D0469_bit_4 -D0469_bit_3 -D0469_bit_2 -D0469_bit_1 -D0469_bit0 D0470_bit_7 D0470_bit_6 -D0470_bit_5 -D0470_bit_4 -D0470_bit_3 -D0470_bit_2 -D0470_bit_1 -D0470_bit0 D0471_bit_7 -D0471_bit_6 -D0471_bit_5 -D0471_bit_4 -D0471_bit_3 -D0471_bit_2 -D0471_bit_1 -D0471_bit0 -D0472_bit_7 -D0472_bit_6 -D0472_bit_5 -D0472_bit_4 -D0472_bit_3 -D0472_bit_2 -D0472_bit_1 -D0472_bit0 -D0473_bit_7 D0473_bit_6 -D0473_bit_5 -D0473_bit_4 -D0473_bit_3 -D0473_bit_2 -D0473_bit_1 -D0473_bit0 -D0474_bit_7 -D0474_bit_6 -D0474_bit_5 -D0474_bit_4 -D0474_bit_3 -D0474_bit_2 -D0474_bit_1 -D0474_bit0 -D0475_bit_7 -D0475_bit_6 -D0475_bit_5 -D0475_bit_4 -D0475_bit_3 -D0475_bit_2 -D0475_bit_1 -D0475_bit0 -D0476_bit_7 -D0476_bit_6 D0476_bit_5 -D0476_bit_4 -D0476_bit_3 -D0476_bit_2 -D0476_bit_1 -D0476_bit0 -D0477_bit_7 -D0477_bit_6 D0477_bit_5 -D0477_bit_4 -D0477_bit_3 -D0477_bit_2 -D0477_bit_1 -D0477_bit0 D0478_bit_7 -D0478_bit_6 -D0478_bit_5 -D0478_bit_4 -D0478_bit_3 -D0478_bit_2 -D0478_bit_1 -D0478_bit0 D0479_bit_7 D0479_bit_6 -D0479_bit_5 -D0479_bit_4 -D0479_bit_3 -D0479_bit_2 -D0479_bit_1 -D0479_bit0 -D0480_bit_7 -D0480_bit_6 -D0480_bit_5 D0480_bit_4 -D0480_bit_3 -D0480_bit_2 -D0480_bit_1 -D0480_bit0 -D0481_bit_7 -D0481_bit_6 -D0481_bit_5 -D0481_bit_4 -D0481_bit_3 -D0481_bit_2 -D0481_bit_1 D0481_bit0 -D0482_bit_7 -D0482_bit_6 -D0482_bit_5 -D0482_bit_4 -D0482_bit_3 -D0482_bit_2 -D0482_bit_1 -D0482_bit0 D0483_bit_7 -D0483_bit_6 -D0483_bit_5 -D0483_bit_4 -D0483_bit_3 -D0483_bit_2 -D0483_bit_1 -D0483_bit0 -D0484_bit_7 -D0484_bit_6 D0484_bit_5 -D0484_bit_4 -D0484_bit_3 -D0484_bit_2 -D0484_bit_1 -D0484_bit0 -D0485_bit_7 -D0485_bit_6 -D0485_bit_5 -D0485_bit_4 -D0485_bit_3 -D0485_bit_2 -D0485_bit_1 -D0485_bit0 -D0003_bit0 -D0015_bit0 -D0019_bit0 D0027_bit0 D0029_bit0 -D0032_bit0 -D0036_bit0 D0040_bit0 -D0046_bit0 D0050_bit0 D0051_bit0 -D0058_bit0 -D0059_bit0 -D0061_bit0 D0066_bit0 D0067_bit0 -D0069_bit0 D0076_bit0 -D0078_bit0 -D0088_bit0 D0092_bit0 D0096_bit0 D0099_bit0 -D0100_bit0 D0103_bit0 D0110_bit0 D0111_bit0 D0112_bit0 D0114_bit0 -D0122_bit0 D0127_bit0 D0136_bit0 -D0146_bit0 D0147_bit0 D0150_bit0 D0154_bit0 D0155_bit0 -D0156_bit0 -D0158_bit0 D0159_bit0 D0160_bit0 D0161_bit0 D0177_bit0 D0181_bit0 D0185_bit0 -D0191_bit0 D0193_bit0 -D0194_bit0 D0199_bit0 D0200_bit0 D0218_bit0 D0226_bit0 D0232_bit0 D0233_bit0 D0239_bit0 -D0240_bit0 D0244_bit0 D0253_bit0 D0255_bit0 D0256_bit0 -D0257_bit0 -D0272_bit0 D0273_bit0 D0274_bit0 D0284_bit0 D0294_bit0 -D0306_bit_7 -D0306_bit_6 -D0306_bit_5 -D0306_bit_4 -D0306_bit_3 -D0306_bit_2 -D0306_bit_1 -D0306_bit0 -D0310_bit_7 -D0310_bit_6 -D0310_bit_5 -D0310_bit_4 -D0310_bit_3 -D0310_bit_2 -D0310_bit_1 D0310_bit0 -D0326_bit_7 -D0326_bit_6 -D0326_bit_5 -D0326_bit_4 -D0326_bit_3 -D0326_bit_2 -D0326_bit_1 -D0326_bit0 -D0339_bit_7 -D0339_bit_6 -D0339_bit_5 -D0339_bit_4 -D0339_bit_3 -D0339_bit_2 -D0339_bit_1 D0339_bit0 -D0342_bit_7 -D0342_bit_6 -D0342_bit_5 -D0342_bit_4 -D0342_bit_3 -D0342_bit_2 -D0342_bit_1 -D0342_bit0 -D0370_bit_7 -D0370_bit_6 -D0370_bit_5 -D0370_bit_4 -D0370_bit_3 -D0370_bit_2 -D0370_bit_1 D0370_bit0 -D0374_bit_7 -D0374_bit_6 -D0374_bit_5 -D0374_bit_4 -D0374_bit_3 -D0374_bit_2 -D0374_bit_1 D0374_bit0 -D0380_bit_7 -D0380_bit_6 -D0380_bit_5 -D0380_bit_4 -D0380_bit_3 -D0380_bit_2 -D0380_bit_1 -D0380_bit0 -D0381_bit_7 -D0381_bit_6 -D0381_bit_5 -D0381_bit_4 -D0381_bit_3 -D0381_bit_2 -D0381_bit_1 D0381_bit0 -D0393_bit_7 -D0393_bit_6 -D0393_bit_5 -D0393_bit_4 -D0393_bit_3 -D0393_bit_2 -D0393_bit_1 D0393_bit0 -D0402_bit_7 -D0402_bit_6 -D0402_bit_5 -D0402_bit_4 -D0402_bit_3 -D0402_bit_2 -D0402_bit_1 D0402_bit0 -D0425_bit_7 -D0425_bit_6 -D0425_bit_5 -D0425_bit_4 -D0425_bit_3 -D0425_bit_2 -D0425_bit_1 D0425_bit0 -D0445_bit_7 -D0445_bit_6 -D0445_bit_5 -D0445_bit_4 -D0445_bit_3 -D0445_bit_2 -D0445_bit_1 -D0445_bit0 -A01_bit_7 -A01_bit_6 -A01_bit_5 -A01_bit_4 -A01_bit_3 -A01_bit_2 -A01_bit_1 -A01_bit0 -A01_bit1 -A01_bit2 -A01_bit3 -A01_bit4 -A01_bit5 -A01_bit6 -A01_bit7 -A01_bit8 -A01_bit9 -A01_bit10 -A01_bit11 -A01_bit12 -A02_bit_7 -A02_bit_6 -A02_bit_5 -A02_bit_4 -A02_bit_3 -A02_bit_2 -A02_bit_1 -A02_bit0 -A02_bit1 -A02_bit2 -A02_bit3 -A02_bit4 -A02_bit5 -A02_bit6 -A02_bit7 -A02_bit8 -A02_bit9 -A02_bit10 -A02_bit11 -A02_bit12 -A03_bit_7 -A03_bit_6 -A03_bit_5 -A03_bit_4 -A03_bit_3 -A03_bit_2 -A03_bit_1 -A03_bit0 -A03_bit1 -A03_bit2 -A03_bit3 -A03_bit4 -A03_bit5 -A03_bit6 -A03_bit7 -A03_bit8 -A03_bit9 -A03_bit10 -A03_bit11 -A03_bit12 -A04_bit_7 -A04_bit_6 -A04_bit_5 -A04_bit_4 -A04_bit_3 -A04_bit_2 -A04_bit_1 -A04_bit0 -A04_bit1 -A04_bit2 -A04_bit3 -A04_bit4 -A04_bit5 -A04_bit6 -A04_bit7 -A04_bit8 -A04_bit9 -A04_bit10 -A04_bit11 -A04_bit12 -A05_bit_7 -A05_bit_6 -A05_bit_5 -A05_bit_4 -A05_bit_3 -A05_bit_2 -A05_bit_1 -A05_bit0 -A05_bit1 -A05_bit2 -A05_bit3 -A05_bit4 -A05_bit5 -A05_bit6 -A05_bit7 -A05_bit8 -A05_bit9 -A05_bit10 -A05_bit11 -A05_bit12 A06_bit_7 -A06_bit_6 -A06_bit_5 -A06_bit_4 -A06_bit_3 -A06_bit_2 -A06_bit_1 -A06_bit0 -A06_bit1 -A06_bit2 -A06_bit3 -A06_bit4 -A06_bit5 -A06_bit6 -A06_bit7 -A06_bit8 -A06_bit9 -A06_bit10 -A06_bit11 -A06_bit12 -A07_bit_7 A07_bit_6 -A07_bit_5 -A07_bit_4 -A07_bit_3 -A07_bit_2 -A07_bit_1 -A07_bit0 -A07_bit1 -A07_bit2 -A07_bit3 -A07_bit4 -A07_bit5 -A07_bit6 -A07_bit7 -A07_bit8 -A07_bit9 -A07_bit10 -A07_bit11 -A07_bit12 -A08_bit_7 -A08_bit_6 -A08_bit_5 -A08_bit_4 -A08_bit_3 -A08_bit_2 -A08_bit_1 -A08_bit0 -A08_bit1 -A08_bit2 -A08_bit3 -A08_bit4 -A08_bit5 -A08_bit6 -A08_bit7 -A08_bit8 -A08_bit9 -A08_bit10 -A08_bit11 -A08_bit12 -A09_bit_7 -A09_bit_6 -A09_bit_5 -A09_bit_4 -A09_bit_3 -A09_bit_2 -A09_bit_1 -A09_bit0 -A09_bit1 -A09_bit2 -A09_bit3 -A09_bit4 -A09_bit5 -A09_bit6 -A09_bit7 -A09_bit8 -A09_bit9 -A09_bit10 -A09_bit11 -A09_bit12 -A10_bit_7 -A10_bit_6 -A10_bit_5 -A10_bit_4 -A10_bit_3 -A10_bit_2 -A10_bit_1 -A10_bit0 -A10_bit1 -A10_bit2 -A10_bit3 -A10_bit4 -A10_bit5 -A10_bit6 -A10_bit7 -A10_bit8 -A10_bit9 -A10_bit10 -A10_bit11 -A10_bit12 -A11_bit_7 -A11_bit_6 -A11_bit_5 -A11_bit_4 -A11_bit_3 -A11_bit_2 -A11_bit_1 -A11_bit0 -A11_bit1 -A11_bit2 -A11_bit3 -A11_bit4 -A11_bit5 -A11_bit6 -A11_bit7 -A11_bit8 -A11_bit9 -A11_bit10 -A11_bit11 -A11_bit12 A12_bit_7 -A12_bit_6 -A12_bit_5 -A12_bit_4 -A12_bit_3 -A12_bit_2 -A12_bit_1 -A12_bit0 -A12_bit1 -A12_bit2 -A12_bit3 -A12_bit4 -A12_bit5 -A12_bit6 -A12_bit7 -A12_bit8 -A12_bit9 -A12_bit10 -A12_bit11 -A12_bit12 A13_bit_7 -A13_bit_6 -A13_bit_5 -A13_bit_4 -A13_bit_3 -A13_bit_2 -A13_bit_1 -A13_bit0 -A13_bit1 -A13_bit2 -A13_bit3 -A13_bit4 -A13_bit5 -A13_bit6 -A13_bit7 -A13_bit8 -A13_bit9 -A13_bit10 -A13_bit11 -A13_bit12 -A14_bit_7 A14_bit_6 -A14_bit_5 -A14_bit_4 -A14_bit_3 -A14_bit_2 -A14_bit_1 -A14_bit0 -A14_bit1 -A14_bit2 -A14_bit3 -A14_bit4 -A14_bit5 -A14_bit6 -A14_bit7 -A14_bit8 -A14_bit9 -A14_bit10 -A14_bit11 -A14_bit12 -A15_bit_7 -A15_bit_6 -A15_bit_5 -A15_bit_4 -A15_bit_3 -A15_bit_2 -A15_bit_1 -A15_bit0 -A15_bit1 -A15_bit2 -A15_bit3 -A15_bit4 -A15_bit5 -A15_bit6 -A15_bit7 -A15_bit8 -A15_bit9 -A15_bit10 -A15_bit11 -A15_bit12 -A16_bit_7 -A16_bit_6 -A16_bit_5 -A16_bit_4 -A16_bit_3 -A16_bit_2 -A16_bit_1 -A16_bit0 -A16_bit1 -A16_bit2 -A16_bit3 -A16_bit4 -A16_bit5 -A16_bit6 -A16_bit7 -A16_bit8 -A16_bit9 -A16_bit10 -A16_bit11 -A16_bit12 A17_bit_7 -A17_bit_6 -A17_bit_5 -A17_bit_4 -A17_bit_3 -A17_bit_2 -A17_bit_1 -A17_bit0 -A17_bit1 -A17_bit2 -A17_bit3 -A17_bit4 -A17_bit5 -A17_bit6 -A17_bit7 -A17_bit8 -A17_bit9 -A17_bit10 -A17_bit11 -A17_bit12 -A18_bit_7 -A18_bit_6 -A18_bit_5 -A18_bit_4 -A18_bit_3 -A18_bit_2 -A18_bit_1 -A18_bit0 -A18_bit1 -A18_bit2 -A18_bit3 -A18_bit4 -A18_bit5 -A18_bit6 -A18_bit7 -A18_bit8 -A18_bit9 -A18_bit10 -A18_bit11 -A18_bit12 A19_bit_7 A19_bit_6 -A19_bit_5 -A19_bit_4 -A19_bit_3 -A19_bit_2 -A19_bit_1 -A19_bit0 -A19_bit1 -A19_bit2 -A19_bit3 -A19_bit4 -A19_bit5 -A19_bit6 -A19_bit7 -A19_bit8 -A19_bit9 -A19_bit10 -A19_bit11 -A19_bit12 -A20_bit_7 -A20_bit_6 -A20_bit_5 A20_bit_4 -A20_bit_3 -A20_bit_2 -A20_bit_1 -A20_bit0 -A20_bit1 -A20_bit2 -A20_bit3 -A20_bit4 -A20_bit5 -A20_bit6 -A20_bit7 -A20_bit8 -A20_bit9 -A20_bit10 -A20_bit11 -A20_bit12 -A21_bit_7 -A21_bit_6 -A21_bit_5 -A21_bit_4 -A21_bit_3 -A21_bit_2 -A21_bit_1 -A21_bit0 -A21_bit1 -A21_bit2 -A21_bit3 -A21_bit4 -A21_bit5 -A21_bit6 -A21_bit7 -A21_bit8 -A21_bit9 -A21_bit10 -A21_bit11 -A21_bit12 -A22_bit_7 -A22_bit_6 -A22_bit_5 -A22_bit_4 -A22_bit_3 -A22_bit_2 -A22_bit_1 -A22_bit0 -A22_bit1 -A22_bit2 -A22_bit3 -A22_bit4 -A22_bit5 -A22_bit6 -A22_bit7 -A22_bit8 -A22_bit9 -A22_bit10 -A22_bit11 -A22_bit12 -A23_bit_7 A23_bit_6 -A23_bit_5 A23_bit_4 -A23_bit_3 A23_bit_2 -A23_bit_1 -A23_bit0 -A23_bit1 -A23_bit2 -A23_bit3 -A23_bit4 -A23_bit5 -A23_bit6 -A23_bit7 -A23_bit8 -A23_bit9 -A23_bit10 -A23_bit11 -A23_bit12 -A24_bit_7 -A24_bit_6 A24_bit_5 -A24_bit_4 -A24_bit_3 -A24_bit_2 -A24_bit_1 -A24_bit0 -A24_bit1 -A24_bit2 -A24_bit3 -A24_bit4 -A24_bit5 -A24_bit6 -A24_bit7 -A24_bit8 -A24_bit9 -A24_bit10 -A24_bit11 -A24_bit12 A25_bit_7 A25_bit_6 A25_bit_5 A25_bit_4 A25_bit_3 -A25_bit_2 -A25_bit_1 -A25_bit0 -A25_bit1 -A25_bit2 -A25_bit3 -A25_bit4 -A25_bit5 -A25_bit6 -A25_bit7 -A25_bit8 -A25_bit9 -A25_bit10 -A25_bit11 -A25_bit12 -B25_bit_7 -B25_bit_6 -B25_bit_5 -B25_bit_4 -B25_bit_3 B25_bit_2 -B25_bit_1 -B25_bit0 -B25_bit1 -B25_bit2 -B25_bit3 -B25_bit4 -B25_bit5 -B25_bit6 -B25_bit7 -B25_bit8 -B25_bit9 -B25_bit10 -B25_bit11 -B25_bit12 
c objectif function=2269138
c Total CPU time (ms) : 1229.411
#### 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): 0.99 1.00 1.00 2/54 8314
Raw data (stat): 8314 (runsolver) R 8313 25568 25567 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 781591971 1052672 99 4294967295 134512640 135381576 3221224400 3221219620 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0006 s]
Raw data (loadavg): 0.99 1.00 1.00 2/64 8324
Raw data (stat): 8314 (java) R 8313 25568 25567 0 -1 0 18071 0 1 0 775 40 0 0 16 0 11 0 781591971 857235456 22135 4294967295 134512640 134569956 3221224368 3221214656 1131366218 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209286 22135 13086 16 0 209270 0
vsize: 837144
[startup+20.0063 s]
Raw data (loadavg): 1.07 1.02 1.00 2/64 8326
Raw data (stat): 8314 (java) R 8313 25568 25567 0 -1 0 18130 3 1 0 1714 40 0 0 16 0 11 0 781591971 857169920 22187 4294967295 134512640 134569956 3221224368 3221214680 1131364211 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209270 22187 13086 16 0 209254 0
vsize: 837080
[startup+30.0068 s]
Raw data (loadavg): 1.06 1.02 1.00 2/64 8327
Raw data (stat): 8314 (java) R 8313 25568 25567 0 -1 0 18131 3 1 0 2686 40 0 0 23 0 11 0 781591971 857169920 22215 4294967295 134512640 134569956 3221224368 3221214284 1130910784 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209270 22215 13086 16 0 209254 0
vsize: 837080
[startup+40.1093 s]
Raw data (loadavg): 1.05 1.01 1.00 2/64 8328
Raw data (stat): 8314 (java) R 8313 25568 25567 0 -1 0 18131 3 1 0 3664 41 0 0 25 0 11 0 781591971 857169920 22331 4294967295 134512640 134569956 3221224368 3221214560 1131412931 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209270 22331 13086 16 0 209254 0
vsize: 837080
[startup+50.1107 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 8328
Raw data (stat): 8314 (java) R 8313 25568 25567 0 -1 0 18131 3 1 0 4633 41 0 0 22 0 11 0 781591971 857169920 22332 4294967295 134512640 134569956 3221224368 3221214464 1131240097 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209270 22332 13086 16 0 209254 0
vsize: 837080
[startup+60.1104 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 8328
Raw data (stat): 8314 (java) R 8313 25568 25567 0 -1 0 18132 3 1 0 5606 41 0 0 22 0 11 0 781591971 857169920 22509 4294967295 134512640 134569956 3221224368 3221214520 1131217625 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209270 22509 13086 16 0 209254 0
vsize: 837080
[startup+70.1104 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 8328
Raw data (stat): 8314 (java) R 8313 25568 25567 0 -1 0 18132 3 1 0 6589 42 0 0 21 0 11 0 781591971 857169920 22550 4294967295 134512640 134569956 3221224368 3221214560 1131412616 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209270 22550 13086 16 0 209254 0
vsize: 837080
[startup+80.111 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 8328
Raw data (stat): 8314 (java) R 8313 25568 25567 0 -1 0 18132 3 1 0 7578 43 0 0 22 0 11 0 781591971 857169920 22698 4294967295 134512640 134569956 3221224368 3221214560 1131412865 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209270 22698 13086 16 0 209254 0
vsize: 837080
[startup+90.1156 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 8330
Raw data (stat): 8314 (java) R 8313 25568 25567 0 -1 0 18132 3 1 0 8574 44 0 0 16 0 11 0 781591971 857169920 22733 4294967295 134512640 134569956 3221224368 3221214464 1131240587 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209270 22733 13086 16 0 209254 0
vsize: 837080
[startup+100.116 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 8330
Raw data (stat): 8314 (java) R 8313 25568 25567 0 -1 0 18132 3 1 0 9573 44 0 0 23 0 11 0 781591971 857169920 22733 4294967295 134512640 134569956 3221224368 3221214464 1131240480 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209270 22733 13086 16 0 209254 0
vsize: 837080
[startup+110.116 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 8330
Raw data (stat): 8314 (java) R 8313 25568 25567 0 -1 0 18132 3 1 0 10562 45 0 0 17 0 11 0 781591971 857169920 22737 4294967295 134512640 134569956 3221224368 3221214316 1131217584 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209270 22737 13086 16 0 209254 0
vsize: 837080
[startup+120.117 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 8330
Raw data (stat): 8314 (java) R 8313 25568 25567 0 -1 0 18132 3 1 0 11547 45 0 0 20 0 11 0 781591971 857169920 22737 4294967295 134512640 134569956 3221224368 3221214464 1131241563 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209270 22737 13086 16 0 209254 0
vsize: 837080
[startup+130.117 s]
Raw data (loadavg): 1.08 1.02 1.00 2/64 8330
Raw data (stat): 8314 (java) R 8313 25568 25567 0 -1 0 18132 3 1 0 12533 45 0 0 16 0 11 0 781591971 857169920 22739 4294967295 134512640 134569956 3221224368 3221214464 1131241358 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209270 22739 13086 16 0 209254 0
vsize: 837080
[startup+140.118 s]
Raw data (loadavg): 1.07 1.02 1.00 2/64 8330
Raw data (stat): 8314 (java) R 8313 25568 25567 0 -1 0 18132 3 1 0 13520 46 0 0 25 0 11 0 781591971 857169920 22740 4294967295 134512640 134569956 3221224368 3221214560 1131412937 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209270 22740 13086 16 0 209254 0
vsize: 837080
[startup+150.119 s]
Raw data (loadavg): 1.06 1.02 1.00 2/64 8330
Raw data (stat): 8314 (java) R 8313 25568 25567 0 -1 0 18132 3 1 0 14506 46 0 0 25 0 11 0 781591971 857169920 22801 4294967295 134512640 134569956 3221224368 3221214560 1131412852 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209270 22801 13086 16 0 209254 0
vsize: 837080
[startup+160.119 s]
Raw data (loadavg): 1.05 1.02 1.00 2/64 8330
Raw data (stat): 8314 (java) R 8313 25568 25567 0 -1 0 18132 3 1 0 15497 47 0 0 24 0 11 0 781591971 857169920 22904 4294967295 134512640 134569956 3221224368 3221214560 1131412616 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209270 22904 13086 16 0 209254 0
vsize: 837080
[startup+170.119 s]
Raw data (loadavg): 1.04 1.02 1.00 2/64 8330
Raw data (stat): 8314 (java) R 8313 25568 25567 0 -1 0 18132 3 1 0 16494 47 0 0 24 0 11 0 781591971 857169920 22904 4294967295 134512640 134569956 3221224368 3221214560 1131412489 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209270 22904 13086 16 0 209254 0
vsize: 837080
[startup+180.119 s]
Raw data (loadavg): 1.03 1.02 1.00 2/64 8330
Raw data (stat): 8314 (java) R 8313 25568 25567 0 -1 0 18132 3 1 0 17489 48 0 0 20 0 11 0 781591971 857169920 22905 4294967295 134512640 134569956 3221224368 3221214576 1131260201 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209270 22905 13086 16 0 209254 0
vsize: 837080
[startup+190.119 s]
Raw data (loadavg): 1.03 1.02 1.00 2/64 8330
Raw data (stat): 8314 (java) R 8313 25568 25567 0 -1 0 18132 3 1 0 18477 48 0 0 25 0 11 0 781591971 857169920 22906 4294967295 134512640 134569956 3221224368 3221214560 1131412880 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209270 22906 13086 16 0 209254 0
vsize: 837080
[startup+200.12 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 8330
Raw data (stat): 8314 (java) R 8313 25568 25567 0 -1 0 18132 3 1 0 19463 48 0 0 25 0 11 0 781591971 857169920 22906 4294967295 134512640 134569956 3221224368 3221214560 1131412489 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209270 22906 13086 16 0 209254 0
vsize: 837080
[startup+210.119 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 8330
Raw data (stat): 8314 (java) R 8313 25568 25567 0 -1 0 18132 3 1 0 20446 49 0 0 25 0 11 0 781591971 857169920 22907 4294967295 134512640 134569956 3221224368 3221214560 1131412716 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209270 22907 13086 16 0 209254 0
vsize: 837080
[startup+220.12 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 8330
Raw data (stat): 8314 (java) R 8313 25568 25567 0 -1 0 18132 3 1 0 21425 49 0 0 17 0 11 0 781591971 857169920 22918 4294967295 134512640 134569956 3221224368 3221214448 1131240014 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209270 22918 13086 16 0 209254 0
vsize: 837080
[startup+230.12 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 8330
Raw data (stat): 8314 (java) R 8313 25568 25567 0 -1 0 18132 3 1 0 22403 49 0 0 20 0 11 0 781591971 857169920 22952 4294967295 134512640 134569956 3221224368 3221214464 1131240097 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209270 22952 13086 16 0 209254 0
vsize: 837080
[startup+240.12 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 8330
Raw data (stat): 8314 (java) R 8313 25568 25567 0 -1 0 18132 3 1 0 23383 50 0 0 23 0 11 0 781591971 857169920 22991 4294967295 134512640 134569956 3221224368 3221214560 1131412677 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209270 22991 13086 16 0 209254 0
vsize: 837080
[startup+250.12 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 8330
Raw data (stat): 8314 (java) R 8313 25568 25567 0 -1 0 18132 3 1 0 24364 50 0 0 25 0 11 0 781591971 857169920 23035 4294967295 134512640 134569956 3221224368 3221214560 1131412769 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209270 23035 13086 16 0 209254 0
vsize: 837080
[startup+260.121 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 8330
Raw data (stat): 8314 (java) R 8313 25568 25567 0 -1 0 18132 3 1 0 25345 50 0 0 25 0 11 0 781591971 857169920 23078 4294967295 134512640 134569956 3221224368 3221214464 1131240097 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209270 23078 13086 16 0 209254 0
vsize: 837080
[startup+270.12 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 8330
Raw data (stat): 8314 (java) R 8313 25568 25567 0 -1 0 18132 3 1 0 26325 50 0 0 25 0 11 0 781591971 857169920 23119 4294967295 134512640 134569956 3221224368 3221214608 1131472964 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209270 23119 13086 16 0 209254 0
vsize: 837080
[startup+280.121 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 8330
Raw data (stat): 8314 (java) R 8313 25568 25567 0 -1 0 18132 3 1 0 27303 51 0 0 18 0 11 0 781591971 857169920 23196 4294967295 134512640 134569956 3221224368 3221214560 1131412469 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209270 23196 13086 16 0 209254 0
vsize: 837080
[startup+290.122 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 8330
Raw data (stat): 8314 (java) R 8313 25568 25567 0 -1 0 18132 3 1 0 28286 52 0 0 22 0 11 0 781591971 857169920 23237 4294967295 134512640 134569956 3221224368 3221214560 1131412489 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209270 23237 13086 16 0 209254 0
vsize: 837080
[startup+300.122 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 8330
Raw data (stat): 8314 (java) R 8313 25568 25567 0 -1 0 18132 3 1 0 29268 52 0 0 25 0 11 0 781591971 857169920 23278 4294967295 134512640 134569956 3221224368 3221214560 1131412880 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209270 23278 13086 16 0 209254 0
vsize: 837080
[startup+310.122 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8330
Raw data (stat): 8314 (java) R 8313 25568 25567 0 -1 0 18132 3 1 0 30251 52 0 0 25 0 11 0 781591971 857169920 23324 4294967295 134512640 134569956 3221224368 3221214464 1131240276 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209270 23324 13086 16 0 209254 0
vsize: 837080
[startup+320.123 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8330
Raw data (stat): 8314 (java) R 8313 25568 25567 0 -1 0 18132 3 1 0 31234 52 0 0 25 0 11 0 781591971 857169920 23324 4294967295 134512640 134569956 3221224368 3221214560 1131413313 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209270 23324 13086 16 0 209254 0
vsize: 837080
[startup+330.123 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8330
Raw data (stat): 8314 (java) R 8313 25568 25567 0 -1 0 18132 3 1 0 32214 52 0 0 17 0 11 0 781591971 857169920 23364 4294967295 134512640 134569956 3221224368 3221214448 1131239979 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209270 23364 13086 16 0 209254 0
vsize: 837080
[startup+340.124 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8330
Raw data (stat): 8314 (java) R 8313 25568 25567 0 -1 0 18132 3 1 0 33197 53 0 0 25 0 11 0 781591971 857169920 23405 4294967295 134512640 134569956 3221224368 3221214560 1131413410 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209270 23405 13086 16 0 209254 0
vsize: 837080
[startup+350.124 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8330
Raw data (stat): 8314 (java) R 8313 25568 25567 0 -1 0 18132 3 1 0 34171 53 0 0 22 0 11 0 781591971 857169920 23444 4294967295 134512640 134569956 3221224368 3221214560 1131412555 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209270 23444 13086 16 0 209254 0
vsize: 837080
[startup+360.125 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8330
Raw data (stat): 8314 (java) R 8313 25568 25567 0 -1 0 18132 3 1 0 35142 53 0 0 19 0 11 0 781591971 857169920 23483 4294967295 134512640 134569956 3221224368 3221214464 1131239934 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209270 23483 13086 16 0 209254 0
vsize: 837080
[startup+370.125 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8330
Raw data (stat): 8314 (java) R 8313 25568 25567 0 -1 0 18132 3 1 0 36107 53 0 0 17 0 11 0 781591971 857169920 23636 4294967295 134512640 134569956 3221224368 3221214464 1131240406 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209270 23636 13086 16 0 209254 0
vsize: 837080
[startup+380.125 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8330
Raw data (stat): 8314 (java) R 8313 25568 25567 0 -1 0 18132 3 1 0 37068 54 0 0 18 0 11 0 781591971 857169920 23710 4294967295 134512640 134569956 3221224368 3221214464 1131240097 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209270 23710 13086 16 0 209254 0
vsize: 837080
[startup+390.129 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8330
Raw data (stat): 8314 (java) R 8313 25568 25567 0 -1 0 18132 3 1 0 38035 54 0 0 16 0 11 0 781591971 857169920 23792 4294967295 134512640 134569956 3221224368 3221214472 1131424102 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209270 23792 13086 16 0 209254 0
vsize: 837080
[startup+400.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8330
Raw data (stat): 8314 (java) R 8313 25568 25567 0 -1 0 18132 3 1 0 39009 54 0 0 25 0 11 0 781591971 857169920 23900 4294967295 134512640 134569956 3221224368 3221214664 1131364068 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209270 23900 13086 16 0 209254 0
vsize: 837080
[startup+410.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8330
Raw data (stat): 8314 (java) R 8313 25568 25567 0 -1 0 18132 3 1 0 39984 54 0 0 20 0 11 0 781591971 857169920 24034 4294967295 134512640 134569956 3221224368 3221214688 1131201431 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209270 24034 13086 16 0 209254 0
vsize: 837080
[startup+420.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8330
Raw data (stat): 8314 (java) R 8313 25568 25567 0 -1 0 18132 3 1 0 40967 54 0 0 25 0 11 0 781591971 857169920 24117 4294967295 134512640 134569956 3221224368 3221214504 1131309580 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209270 24117 13086 16 0 209254 0
vsize: 837080
[startup+430.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8330
Raw data (stat): 8314 (java) R 8313 25568 25567 0 -1 0 18132 3 1 0 41929 55 0 0 25 0 11 0 781591971 857169920 24229 4294967295 134512640 134569956 3221224368 3221214664 1131364031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209270 24229 13086 16 0 209254 0
vsize: 837080
[startup+440.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8330
Raw data (stat): 8314 (java) R 8313 25568 25567 0 -1 0 18132 3 1 0 42853 55 0 0 25 0 11 0 781591971 857169920 24947 4294967295 134512640 134569956 3221224368 3221214552 1131392542 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209270 24947 13086 16 0 209254 0
vsize: 837080
[startup+450.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8330
Raw data (stat): 8314 (java) R 8313 25568 25567 0 -1 0 18132 3 1 0 43779 55 0 0 25 0 11 0 781591971 857169920 25637 4294967295 134512640 134569956 3221224368 3221214576 1131260201 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209270 25637 13086 16 0 209254 0
vsize: 837080
[startup+460.131 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8330
Raw data (stat): 8314 (java) R 8313 25568 25567 0 -1 0 18132 3 1 0 44694 55 0 0 18 0 11 0 781591971 857169920 26440 4294967295 134512640 134569956 3221224368 3221214560 1131219728 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209270 26440 13086 16 0 209254 0
vsize: 837080
[startup+470.132 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8330
Raw data (stat): 8314 (java) S 8313 25568 25567 0 -1 0 18133 3 1 0 45637 55 0 0 25 0 11 0 781591971 857169920 26647 4294967295 134512640 134569956 3221224368 3221213408 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209270 26647 13086 16 0 209254 0
vsize: 837080
[startup+480.131 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8330
Raw data (stat): 8314 (java) R 8313 25568 25567 0 -1 0 18133 3 1 0 46569 55 0 0 25 0 11 0 781591971 857169920 26741 4294967295 134512640 134569956 3221224368 3221214576 1131198940 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209270 26741 13086 16 0 209254 0
vsize: 837080
[startup+490.132 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8330
Raw data (stat): 8314 (java) S 8313 25568 25567 0 -1 0 18133 3 1 0 47524 55 0 0 25 0 11 0 781591971 857169920 26741 4294967295 134512640 134569956 3221224368 3221213408 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209270 26741 13086 16 0 209254 0
vsize: 837080
[startup+500.136 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8330
Raw data (stat): 8314 (java) R 8313 25568 25567 0 -1 0 18133 3 1 0 48471 56 0 0 25 0 11 0 781591971 857169920 26741 4294967295 134512640 134569956 3221224368 3221214516 1130885144 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209270 26741 13086 16 0 209254 0
vsize: 837080
[startup+510.136 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8330
Raw data (stat): 8314 (java) R 8313 25568 25567 0 -1 0 18133 3 1 0 49404 56 0 0 25 0 11 0 781591971 857169920 27023 4294967295 134512640 134569956 3221224368 3221214560 1131412880 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209270 27023 13086 16 0 209254 0
vsize: 837080
[startup+520.136 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8330
Raw data (stat): 8314 (java) R 8313 25568 25567 0 -1 0 18133 3 1 0 50377 56 0 0 25 0 11 0 781591971 857169920 27555 4294967295 134512640 134569956 3221224368 3221214664 1131365960 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209270 27555 13086 16 0 209254 0
vsize: 837080
[startup+530.137 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8330
Raw data (stat): 8314 (java) R 8313 25568 25567 0 -1 0 18133 3 1 0 51358 56 0 0 25 0 11 0 781591971 857169920 27590 4294967295 134512640 134569956 3221224368 3221214576 1131260178 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209270 27590 13086 16 0 209254 0
vsize: 837080
[startup+540.137 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8330
Raw data (stat): 8314 (java) R 8313 25568 25567 0 -1 0 18133 3 1 0 52336 56 0 0 25 0 11 0 781591971 857169920 27594 4294967295 134512640 134569956 3221224368 3221214576 1131261457 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209270 27594 13086 16 0 209254 0
vsize: 837080
[startup+550.137 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8330
Raw data (stat): 8314 (java) R 8313 25568 25567 0 -1 0 18133 3 1 0 53313 56 0 0 25 0 11 0 781591971 857169920 27594 4294967295 134512640 134569956 3221224368 3221214560 1131412616 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209270 27594 13086 16 0 209254 0
vsize: 837080
[startup+560.138 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8330
Raw data (stat): 8314 (java) R 8313 25568 25567 0 -1 0 18133 3 1 0 54289 56 0 0 25 0 11 0 781591971 857169920 27631 4294967295 134512640 134569956 3221224368 3221214544 1131217278 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209270 27631 13086 16 0 209254 0
vsize: 837080
[startup+570.138 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8330
Raw data (stat): 8314 (java) R 8313 25568 25567 0 -1 0 18133 3 1 0 55271 56 0 0 25 0 11 0 781591971 857169920 27671 4294967295 134512640 134569956 3221224368 3221214472 1131424232 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209270 27671 13086 16 0 209254 0
vsize: 837080
[startup+580.139 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8330
Raw data (stat): 8314 (java) R 8313 25568 25567 0 -1 0 18133 3 1 0 56253 56 0 0 24 0 11 0 781591971 857169920 27724 4294967295 134512640 134569956 3221224368 3221214664 1131365960 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209270 27724 13086 16 0 209254 0
vsize: 837080
[startup+590.139 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8330
Raw data (stat): 8314 (java) R 8313 25568 25567 0 -1 0 18133 3 1 0 57236 56 0 0 25 0 11 0 781591971 857169920 27770 4294967295 134512640 134569956 3221224368 3221214656 1131200929 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209270 27770 13086 16 0 209254 0
vsize: 837080
[startup+600.14 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8330
Raw data (stat): 8314 (java) R 8313 25568 25567 0 -1 0 18133 3 1 0 58214 56 0 0 25 0 11 0 781591971 857169920 27770 4294967295 134512640 134569956 3221224368 3221214664 1131364068 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209270 27770 13086 16 0 209254 0
vsize: 837080
[startup+610.141 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8330
Raw data (stat): 8314 (java) R 8313 25568 25567 0 -1 0 18133 3 1 0 59183 56 0 0 18 0 11 0 781591971 857169920 27770 4294967295 134512640 134569956 3221224368 3221214568 1131244819 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209270 27770 13086 16 0 209254 0
vsize: 837080
[startup+620.14 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8331
Raw data (stat): 8314 (java) R 8313 25568 25567 0 -1 0 18133 3 1 0 60146 57 0 0 17 0 11 0 781591971 857169920 27810 4294967295 134512640 134569956 3221224368 3221214664 1131366297 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209270 27810 13086 16 0 209254 0
vsize: 837080
[startup+630.141 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8331
Raw data (stat): 8314 (java) R 8313 25568 25567 0 -1 0 18133 3 1 0 61112 58 0 0 25 0 11 0 781591971 857169920 27903 4294967295 134512640 134569956 3221224368 3221214664 1131363855 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209270 27903 13086 16 0 209254 0
vsize: 837080
[startup+640.143 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8331
Raw data (stat): 8314 (java) R 8313 25568 25567 0 -1 0 18133 3 1 0 62084 58 0 0 19 0 11 0 781591971 857169920 27978 4294967295 134512640 134569956 3221224368 3221214464 1131240685 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209270 27978 13086 16 0 209254 0
vsize: 837080
[startup+650.143 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8331
Raw data (stat): 8314 (java) R 8313 25568 25567 0 -1 0 18133 3 1 0 63059 58 0 0 25 0 11 0 781591971 857169920 28028 4294967295 134512640 134569956 3221224368 3221214576 1131197882 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209270 28028 13086 16 0 209254 0
vsize: 837080
[startup+660.143 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8331
Raw data (stat): 8314 (java) R 8313 25568 25567 0 -1 0 18133 3 1 0 64037 59 0 0 25 0 11 0 781591971 857169920 28060 4294967295 134512640 134569956 3221224368 3221214664 1131364102 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209270 28060 13086 16 0 209254 0
vsize: 837080
[startup+670.144 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8331
Raw data (stat): 8314 (java) R 8313 25568 25567 0 -1 0 18133 3 1 0 65009 60 0 0 25 0 11 0 781591971 857169920 28137 4294967295 134512640 134569956 3221224368 3221214664 1131364061 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209270 28137 13086 16 0 209254 0
vsize: 837080
[startup+680.144 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8331
Raw data (stat): 8314 (java) R 8313 25568 25567 0 -1 0 18133 3 1 0 65988 60 0 0 18 0 11 0 781591971 857169920 28179 4294967295 134512640 134569956 3221224368 3221214664 1131365348 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209270 28179 13086 16 0 209254 0
vsize: 837080
[startup+690.145 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8332
Raw data (stat): 8314 (java) R 8313 25568 25567 0 -1 0 18133 3 1 0 66968 60 0 0 24 0 11 0 781591971 857169920 28258 4294967295 134512640 134569956 3221224368 3221214680 1131404368 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209270 28258 13086 16 0 209254 0
vsize: 837080
[startup+700.145 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8332
Raw data (stat): 8314 (java) R 8313 25568 25567 0 -1 0 18133 3 1 0 67953 61 0 0 21 0 11 0 781591971 857169920 28272 4294967295 134512640 134569956 3221224368 3221214576 1131198940 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209270 28272 13086 16 0 209254 0
vsize: 837080
[startup+710.146 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8332
Raw data (stat): 8314 (java) R 8313 25568 25567 0 -1 0 18133 3 1 0 68934 61 0 0 24 0 11 0 781591971 857169920 28281 4294967295 134512640 134569956 3221224368 3221214576 1131261466 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209270 28281 13086 16 0 209254 0
vsize: 837080
[startup+720.151 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8332
Raw data (stat): 8314 (java) R 8313 25568 25567 0 -1 0 18133 3 1 0 69917 61 0 0 17 0 11 0 781591971 857169920 28282 4294967295 134512640 134569956 3221224368 3221214664 1131369228 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209270 28282 13086 16 0 209254 0
vsize: 837080
[startup+730.152 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8332
Raw data (stat): 8314 (java) R 8313 25568 25567 0 -1 0 18133 3 1 0 70895 62 0 0 25 0 11 0 781591971 857169920 28317 4294967295 134512640 134569956 3221224368 3221214576 1131260201 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209270 28317 13086 16 0 209254 0
vsize: 837080
[startup+740.152 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8332
Raw data (stat): 8314 (java) R 8313 25568 25567 0 -1 0 18133 3 1 0 71871 62 0 0 25 0 11 0 781591971 857169920 28317 4294967295 134512640 134569956 3221224368 3221214576 1131261497 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209270 28317 13086 16 0 209254 0
vsize: 837080
[startup+750.154 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8332
Raw data (stat): 8314 (java) R 8313 25568 25567 0 -1 0 18133 3 1 0 72854 62 0 0 25 0 11 0 781591971 857169920 28446 4294967295 134512640 134569956 3221224368 3221214664 1131366310 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209270 28446 13086 16 0 209254 0
vsize: 837080
[startup+760.154 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8332
Raw data (stat): 8314 (java) R 8313 25568 25567 0 -1 0 18133 3 1 0 73836 62 0 0 25 0 11 0 781591971 857169920 28453 4294967295 134512640 134569956 3221224368 3221214568 1131244791 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209270 28453 13086 16 0 209254 0
vsize: 837080
[startup+770.155 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8332
Raw data (stat): 8314 (java) R 8313 25568 25567 0 -1 0 18133 3 1 0 74815 62 0 0 25 0 11 0 781591971 857169920 28466 4294967295 134512640 134569956 3221224368 3221214664 1131363839 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209270 28466 13086 16 0 209254 0
vsize: 837080
[startup+780.156 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8332
Raw data (stat): 8314 (java) R 8313 25568 25567 0 -1 0 18133 3 1 0 75799 62 0 0 25 0 11 0 781591971 857169920 28468 4294967295 134512640 134569956 3221224368 3221214664 1131364123 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209270 28468 13086 16 0 209254 0
vsize: 837080
[startup+790.157 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8332
Raw data (stat): 8314 (java) R 8313 25568 25567 0 -1 0 18133 3 1 0 76782 62 0 0 25 0 11 0 781591971 857169920 28510 4294967295 134512640 134569956 3221224368 3221214664 1131364061 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209270 28510 13086 16 0 209254 0
vsize: 837080
[startup+800.156 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8333
Raw data (stat): 8314 (java) R 8313 25568 25567 0 -1 0 18133 3 1 0 77765 62 0 0 24 0 11 0 781591971 857169920 28526 4294967295 134512640 134569956 3221224368 3221214576 1131260201 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209270 28526 13086 16 0 209254 0
vsize: 837080
[startup+810.157 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8333
Raw data (stat): 8314 (java) R 8313 25568 25567 0 -1 0 18133 3 1 0 78745 62 0 0 25 0 11 0 781591971 857169920 28568 4294967295 134512640 134569956 3221224368 3221214656 1131200953 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209270 28568 13086 16 0 209254 0
vsize: 837080
[startup+820.158 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8333
Raw data (stat): 8314 (java) R 8313 25568 25567 0 -1 0 18133 3 1 0 79723 62 0 0 24 0 11 0 781591971 857169920 28573 4294967295 134512640 134569956 3221224368 3221214664 1131367668 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209270 28573 13086 16 0 209254 0
vsize: 837080
[startup+830.158 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8333
Raw data (stat): 8314 (java) R 8313 25568 25567 0 -1 0 18133 3 1 0 80705 63 0 0 22 0 11 0 781591971 857169920 28614 4294967295 134512640 134569956 3221224368 3221214664 1131364068 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209270 28614 13086 16 0 209254 0
vsize: 837080
[startup+840.158 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8334
Raw data (stat): 8314 (java) R 8313 25568 25567 0 -1 0 18133 3 1 0 81683 63 0 0 25 0 11 0 781591971 857169920 28645 4294967295 134512640 134569956 3221224368 3221214656 1131200938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209270 28645 13086 16 0 209254 0
vsize: 837080
[startup+850.159 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8334
Raw data (stat): 8314 (java) R 8313 25568 25567 0 -1 0 18133 3 1 0 82659 63 0 0 24 0 11 0 781591971 857169920 28695 4294967295 134512640 134569956 3221224368 3221214664 1131368216 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209270 28695 13086 16 0 209254 0
vsize: 837080
[startup+860.159 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8334
Raw data (stat): 8314 (java) R 8313 25568 25567 0 -1 0 18133 3 1 0 83641 64 0 0 25 0 11 0 781591971 857169920 28713 4294967295 134512640 134569956 3221224368 3221214576 1131260155 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209270 28713 13086 16 0 209254 0
vsize: 837080
[startup+870.16 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8334
Raw data (stat): 8314 (java) R 8313 25568 25567 0 -1 0 18133 3 1 0 84618 64 0 0 19 0 11 0 781591971 857169920 28715 4294967295 134512640 134569956 3221224368 3221214664 1131367668 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209270 28715 13086 16 0 209254 0
vsize: 837080
[startup+880.161 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8334
Raw data (stat): 8314 (java) R 8313 25568 25567 0 -1 0 18133 3 1 0 85596 64 0 0 20 0 11 0 781591971 857169920 28748 4294967295 134512640 134569956 3221224368 3221214664 1131368607 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209270 28748 13086 16 0 209254 0
vsize: 837080
[startup+890.161 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8334
Raw data (stat): 8314 (java) R 8313 25568 25567 0 -1 0 18133 3 1 0 86582 65 0 0 23 0 11 0 781591971 857169920 28822 4294967295 134512640 134569956 3221224368 3221214576 1131260919 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209270 28822 13086 16 0 209254 0
vsize: 837080
[startup+900.162 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8334
Raw data (stat): 8314 (java) R 8313 25568 25567 0 -1 0 18133 3 1 0 87564 65 0 0 25 0 11 0 781591971 857169920 28832 4294967295 134512640 134569956 3221224368 3221214664 1131368216 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209270 28832 13086 16 0 209254 0
vsize: 837080
[startup+910.162 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8334
Raw data (stat): 8314 (java) R 8313 25568 25567 0 -1 0 18133 3 1 0 88548 65 0 0 25 0 11 0 781591971 857169920 28837 4294967295 134512640 134569956 3221224368 3221214576 1131260157 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209270 28837 13086 16 0 209254 0
vsize: 837080
[startup+920.162 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8334
Raw data (stat): 8314 (java) R 8313 25568 25567 0 -1 0 18133 3 1 0 89532 66 0 0 25 0 11 0 781591971 857169920 28845 4294967295 134512640 134569956 3221224368 3221214664 1131364123 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209270 28845 13086 16 0 209254 0
vsize: 837080
[startup+930.163 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8335
Raw data (stat): 8314 (java) R 8313 25568 25567 0 -1 0 18133 3 1 0 90513 66 0 0 25 0 11 0 781591971 857169920 28913 4294967295 134512640 134569956 3221224368 3221214656 1131200903 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209270 28913 13086 16 0 209254 0
vsize: 837080
[startup+940.164 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8335
Raw data (stat): 8314 (java) R 8313 25568 25567 0 -1 0 18133 3 1 0 91499 67 0 0 25 0 11 0 781591971 857169920 28913 4294967295 134512640 134569956 3221224368 3221214664 1131363855 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209270 28913 13086 16 0 209254 0
vsize: 837080
[startup+950.163 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8335
Raw data (stat): 8314 (java) R 8313 25568 25567 0 -1 0 18133 3 1 0 92487 67 0 0 24 0 11 0 781591971 857169920 28914 4294967295 134512640 134569956 3221224368 3221214576 1131240626 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209270 28914 13086 16 0 209254 0
vsize: 837080
[startup+960.165 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8335
Raw data (stat): 8314 (java) R 8313 25568 25567 0 -1 0 18133 3 1 0 93467 67 0 0 25 0 11 0 781591971 857169920 28915 4294967295 134512640 134569956 3221224368 3221214576 1131261512 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209270 28915 13086 16 0 209254 0
vsize: 837080
[startup+970.165 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8335
Raw data (stat): 8314 (java) R 8313 25568 25567 0 -1 0 18133 3 1 0 94448 68 0 0 23 0 11 0 781591971 857169920 28949 4294967295 134512640 134569956 3221224368 3221214664 1131364068 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209270 28949 13086 16 0 209254 0
vsize: 837080
[startup+980.165 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8335
Raw data (stat): 8314 (java) R 8313 25568 25567 0 -1 0 18133 3 1 0 95422 68 0 0 20 0 11 0 781591971 857169920 28951 4294967295 134512640 134569956 3221224368 3221214472 1131425354 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209270 28951 13086 16 0 209254 0
vsize: 837080
[startup+990.166 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8335
Raw data (stat): 8314 (java) R 8313 25568 25567 0 -1 0 18133 3 1 0 96388 68 0 0 20 0 11 0 781591971 857169920 29021 4294967295 134512640 134569956 3221224368 3221214664 1131364031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209270 29021 13086 16 0 209254 0
vsize: 837080
[startup+1000.17 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8335
Raw data (stat): 8314 (java) R 8313 25568 25567 0 -1 0 18133 3 1 0 97346 68 0 0 18 0 11 0 781591971 857169920 29053 4294967295 134512640 134569956 3221224368 3221214616 1131420744 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209270 29053 13086 16 0 209254 0
vsize: 837080
[startup+1010.17 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8335
Raw data (stat): 8314 (java) R 8313 25568 25567 0 -1 0 18133 3 1 0 98316 69 0 0 25 0 11 0 781591971 857169920 29094 4294967295 134512640 134569956 3221224368 3221214616 1131420306 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209270 29094 13086 16 0 209254 0
vsize: 837080
[startup+1020.17 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8335
Raw data (stat): 8314 (java) R 8313 25568 25567 0 -1 0 18133 3 1 0 99284 69 0 0 21 0 11 0 781591971 857169920 29096 4294967295 134512640 134569956 3221224368 3221214520 1131240049 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209270 29096 13086 16 0 209254 0
vsize: 837080
[startup+1030.17 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8335
Raw data (stat): 8314 (java) R 8313 25568 25567 0 -1 0 18133 3 1 0 100254 70 0 0 25 0 11 0 781591971 857169920 29252 4294967295 134512640 134569956 3221224368 3221214656 1131200953 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209270 29252 13086 16 0 209254 0
vsize: 837080
[startup+1040.17 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8335
Raw data (stat): 8314 (java) R 8313 25568 25567 0 -1 0 18133 3 1 0 101218 70 0 0 24 0 11 0 781591971 857169920 29404 4294967295 134512640 134569956 3221224368 3221214576 1131198940 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209270 29404 13086 16 0 209254 0
vsize: 837080
[startup+1050.17 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8335
Raw data (stat): 8314 (java) R 8313 25568 25567 0 -1 0 18133 3 1 0 102188 70 0 0 19 0 11 0 781591971 857169920 29404 4294967295 134512640 134569956 3221224368 3221214576 1131198332 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209270 29404 13086 16 0 209254 0
vsize: 837080
[startup+1060.17 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8335
Raw data (stat): 8314 (java) R 8313 25568 25567 0 -1 0 18133 3 1 0 103158 71 0 0 22 0 11 0 781591971 857169920 29404 4294967295 134512640 134569956 3221224368 3221214664 1131364068 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209270 29404 13086 16 0 209254 0
vsize: 837080
[startup+1070.17 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8335
Raw data (stat): 8314 (java) R 8313 25568 25567 0 -1 0 18133 3 1 0 104127 71 0 0 21 0 11 0 781591971 857169920 29564 4294967295 134512640 134569956 3221224368 3221214664 1131367033 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209270 29564 13086 16 0 209254 0
vsize: 837080
[startup+1080.17 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8335
Raw data (stat): 8314 (java) R 8313 25568 25567 0 -1 0 18133 3 1 0 105118 71 0 0 19 0 11 0 781591971 857169920 29638 4294967295 134512640 134569956 3221224368 3221214664 1131365456 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209270 29638 13086 16 0 209254 0
vsize: 837080
[startup+1090.17 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8335
Raw data (stat): 8314 (java) R 8313 25568 25567 0 -1 0 18133 3 1 0 106113 72 0 0 23 0 11 0 781591971 857169920 29639 4294967295 134512640 134569956 3221224368 3221214576 1131260601 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209270 29639 13086 16 0 209254 0
vsize: 837080
[startup+1100.17 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8335
Raw data (stat): 8314 (java) R 8313 25568 25567 0 -1 0 18133 3 1 0 107107 72 0 0 23 0 11 0 781591971 857169920 29642 4294967295 134512640 134569956 3221224368 3221214664 1131365960 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209270 29642 13086 16 0 209254 0
vsize: 837080
[startup+1110.17 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8335
Raw data (stat): 8314 (java) S 8313 25568 25567 0 -1 0 18133 3 1 0 108100 72 0 0 25 0 11 0 781591971 857169920 29643 4294967295 134512640 134569956 3221224368 3221213408 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209270 29643 13086 16 0 209254 0
vsize: 837080
[startup+1120.17 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8335
Raw data (stat): 8314 (java) R 8313 25568 25567 0 -1 0 18133 3 1 0 109093 73 0 0 23 0 11 0 781591971 857169920 29645 4294967295 134512640 134569956 3221224368 3221214664 1131365166 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209270 29645 13086 16 0 209254 0
vsize: 837080
[startup+1130.17 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8335
Raw data (stat): 8314 (java) R 8313 25568 25567 0 -1 0 18133 3 1 0 110086 73 0 0 25 0 11 0 781591971 857169920 29648 4294967295 134512640 134569956 3221224368 3221214576 1131260201 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209270 29648 13086 16 0 209254 0
vsize: 837080
[startup+1140.17 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8336
Raw data (stat): 8314 (java) R 8313 25568 25567 0 -1 0 18133 3 1 0 111074 73 0 0 20 0 11 0 781591971 857169920 29657 4294967295 134512640 134569956 3221224368 3221214664 1131364123 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209270 29657 13086 16 0 209254 0
vsize: 837080
[startup+1150.17 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8336
Raw data (stat): 8314 (java) R 8313 25568 25567 0 -1 0 18133 3 1 0 112058 74 0 0 17 0 11 0 781591971 857169920 29674 4294967295 134512640 134569956 3221224368 3221214632 1131412419 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209270 29674 13086 16 0 209254 0
vsize: 837080
[startup+1160.17 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8336
Raw data (stat): 8314 (java) R 8313 25568 25567 0 -1 0 18133 3 1 0 113045 74 0 0 23 0 11 0 781591971 857169920 29675 4294967295 134512640 134569956 3221224368 3221214332 1078830954 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209270 29675 13086 16 0 209254 0
vsize: 837080
[startup+1170.17 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8336
Raw data (stat): 8314 (java) R 8313 25568 25567 0 -1 0 18133 3 1 0 114031 75 0 0 25 0 11 0 781591971 857169920 29675 4294967295 134512640 134569956 3221224368 3221214632 1131412578 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209270 29675 13086 16 0 209254 0
vsize: 837080
[startup+1180.18 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8336
Raw data (stat): 8314 (java) R 8313 25568 25567 0 -1 0 18133 3 1 0 115016 75 0 0 17 0 11 0 781591971 857169920 29676 4294967295 134512640 134569956 3221224368 3221214520 1131240007 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209270 29676 13086 16 0 209254 0
vsize: 837080
[startup+1190.18 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8336
Raw data (stat): 8314 (java) R 8313 25568 25567 0 -1 0 18133 3 1 0 116007 75 0 0 25 0 11 0 781591971 857169920 29719 4294967295 134512640 134569956 3221224368 3221214536 1131240609 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209270 29719 13086 16 0 209254 0
vsize: 837080
[startup+1200.18 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8336
Raw data (stat): 8314 (java) R 8313 25568 25567 0 -1 0 18133 3 1 0 117002 76 0 0 25 0 11 0 781591971 857169920 29744 4294967295 134512640 134569956 3221224368 3221214496 1131198049 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209270 29744 13086 16 0 209254 0
vsize: 837080
[startup+1210.18 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8336
Raw data (stat): 8314 (java) R 8313 25568 25567 0 -1 0 18133 3 1 0 117996 76 0 0 25 0 11 0 781591971 857169920 29744 4294967295 134512640 134569956 3221224368 3221214616 1131420247 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209270 29744 13086 16 0 209254 0
vsize: 837080
[startup+1220.18 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8336
Raw data (stat): 8314 (java) R 8313 25568 25567 0 -1 0 18133 3 1 0 118991 76 0 0 24 0 11 0 781591971 857169920 29744 4294967295 134512640 134569956 3221224368 3221214536 1131240215 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209270 29744 13086 16 0 209254 0
vsize: 837080
[startup+1230.18 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8336
Raw data (stat): 8314 (java) R 8313 25568 25567 0 -1 0 18133 3 1 0 119986 77 0 0 20 0 11 0 781591971 857169920 29744 4294967295 134512640 134569956 3221224368 3221214632 1131412616 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209270 29744 13086 16 0 209254 0
vsize: 837080
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1230.49 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 8338
Raw data (stat): 8314 (java) Z 8313 25568 25567 0 -1 1036 18133 10448 1 0 120010 77 2749 34 23 0 1 0 781591971 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 0 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): 1230.49
CPU time (s): 1228.72
CPU user time (s): 1227.6
CPU system time (s): 1.11983
CPU usage (%): 99.8565
Max. virtual memory (Kb): 837144
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	2269138
#### END VERIFIER DATA ####