Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
  1. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
  2. SOLVER DATA
    This is the output of the solver (stdout and stderr).
  3. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  4. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.

General information on the benchmark

Namenormalized-opb/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos17.opb
MD5SUM510c7f71a2644dcf876297008b35f617
Bench Categoryoptimization, big integers (OPTBIGINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 20977859
Optimality of the best value was proved NO
Number of terms in the objective function 2126
Biggest coefficient in the objective function 27663360
Number of bits for the biggest coefficient in the objective function 25
Sum of the numbers in the objective function 110500348
Number of bits of the sum of numbers in the objective function 27
Biggest number in a constraint 1677721600000000
Number of bits of the biggest number in a constraint 51
Biggest sum of numbers in a constraint 40265324766820451
Number of bits of the biggest sum of numbers56
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1240.29
Number of variables3115
Total number of constraints971
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)300
Number of constraints which are nor clauses,nor cardinality constraints671
Minimum length of a constraint1
Maximum length of a constraint780

Trace number 29732

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc11 THE 2005-05-25 10:56:58 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=21136 boxname=wulflinc11 idbench=1124 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  510c7f71a2644dcf876297008b35f617  /oldhome/oroussel/tmp/wulflinc11/normalized-mps-v2-20-10-neos17.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc11/normalized-mps-v2-20-10-neos17.opb
IDLAUNCH: 21136
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.028
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.028
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:        843364 kB
Buffers:         32132 kB
Cached:         137912 kB
SwapCached:        772 kB
Active:          64620 kB
Inactive:       107476 kB
HighTotal:      131008 kB
HighFree:          280 kB
LowTotal:       903652 kB
LowFree:        843084 kB
SwapTotal:     2097136 kB
SwapFree:      2095468 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5024 kB
Slab:            13552 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 11:17:30 (client local time) WITH STATUS 143 IN 1240.29 SECONDS
stats: 21136 0 1240.29 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/wulflinc11/normalized-mps-v2-20-10-neos17.opb
c reading problem ... done. Time 9.278 ms.
c #vars     3115
c #constraints  672
c SATISFIABLE
c OPTIMIZING...
c CURRENT OPTIMUM=            57584426 		Current CPU time: 27.22 ms
c CURRENT OPTIMUM=            57565482 		Current CPU time: 36.15 ms
c CURRENT OPTIMUM=            57560746 		Current CPU time: 45.43 ms
c CURRENT OPTIMUM=            57558378 		Current CPU time: 54.47 ms
c CURRENT OPTIMUM=            57557194 		Current CPU time: 63.77 ms
c CURRENT OPTIMUM=            57556602 		Current CPU time: 73.47 ms
c CURRENT OPTIMUM=            57556306 		Current CPU time: 83.51 ms
c CURRENT OPTIMUM=            57556158 		Current CPU time: 93.89 ms
c CURRENT OPTIMUM=            57556084 		Current CPU time: 104.63 ms
c CURRENT OPTIMUM=            57556047 		Current CPU time: 115.70 ms
c CURRENT OPTIMUM=            57556010 		Current CPU time: 160.07 ms
c CURRENT OPTIMUM=            33715456 		Current CPU time: 163.82 ms
c CURRENT OPTIMUM=            33714218 		Current CPU time: 168.32 ms
c CURRENT OPTIMUM=            33712980 		Current CPU time: 176.95 ms
c CURRENT OPTIMUM=            21610477 		Current CPU time: 187.96 ms
c CURRENT OPTIMUM=            21293549 		Current CPU time: 198.67 ms
c CURRENT OPTIMUM=            21135085 		Current CPU time: 209.82 ms
c CURRENT OPTIMUM=            21055853 		Current CPU time: 221.47 ms
c CURRENT OPTIMUM=            21016237 		Current CPU time: 233.69 ms
c CURRENT OPTIMUM=            20996429 		Current CPU time: 246.52 ms
c CURRENT OPTIMUM=            20986525 		Current CPU time: 259.94 ms
c CURRENT OPTIMUM=            20981573 		Current CPU time: 273.94 ms
c CURRENT OPTIMUM=            20979097 		Current CPU time: 288.52 ms
c CURRENT OPTIMUM=            20977859 		Current CPU time: 303.76 ms
c starts	: 25
c conflicts	: 79
c decisions	: 85074
c propagations	: 107111
c inspects	: 493471
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 79
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_10 -D0301_bit_9 -D0301_bit_8 -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_10 -D0302_bit_9 -D0302_bit_8 -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_10 -D0303_bit_9 -D0303_bit_8 -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_10 -D0304_bit_9 -D0304_bit_8 -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_10 -D0305_bit_9 -D0305_bit_8 -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_10 -D0307_bit_9 -D0307_bit_8 -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_10 -D0308_bit_9 -D0308_bit_8 -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_10 -D0309_bit_9 -D0309_bit_8 -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_10 -D0311_bit_9 -D0311_bit_8 -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_10 -D0312_bit_9 -D0312_bit_8 -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_10 -D0313_bit_9 -D0313_bit_8 -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_10 -D0314_bit_9 -D0314_bit_8 -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_10 -D0315_bit_9 -D0315_bit_8 -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_10 -D0316_bit_9 -D0316_bit_8 -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_10 -D0317_bit_9 -D0317_bit_8 -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_10 -D0318_bit_9 -D0318_bit_8 -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_10 -D0319_bit_9 -D0319_bit_8 -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_10 -D0320_bit_9 -D0320_bit_8 -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_10 -D0321_bit_9 -D0321_bit_8 -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_10 -D0322_bit_9 -D0322_bit_8 -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_10 -D0323_bit_9 -D0323_bit_8 -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_10 -D0324_bit_9 -D0324_bit_8 -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_10 D0325_bit_9 -D0325_bit_8 -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_10 -D0327_bit_9 -D0327_bit_8 -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_10 -D0328_bit_9 -D0328_bit_8 -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_10 -D0329_bit_9 -D0329_bit_8 -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_10 -D0330_bit_9 -D0330_bit_8 -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_10 -D0331_bit_9 -D0331_bit_8 -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_10 -D0332_bit_9 -D0332_bit_8 -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_10 -D0333_bit_9 -D0333_bit_8 -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_10 -D0334_bit_9 -D0334_bit_8 -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_10 D0335_bit_9 -D0335_bit_8 -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_10 -D0336_bit_9 -D0336_bit_8 -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_10 -D0337_bit_9 -D0337_bit_8 -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_10 -D0338_bit_9 -D0338_bit_8 -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_10 -D0340_bit_9 -D0340_bit_8 -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_10 -D0341_bit_9 -D0341_bit_8 -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_10 -D0343_bit_9 -D0343_bit_8 -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_10 -D0344_bit_9 -D0344_bit_8 -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_10 -D0345_bit_9 -D0345_bit_8 -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_10 -D0346_bit_9 -D0346_bit_8 -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_10 -D0347_bit_9 -D0347_bit_8 -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_10 -D0348_bit_9 -D0348_bit_8 -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_10 -D0349_bit_9 -D0349_bit_8 -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_10 -D0350_bit_9 -D0350_bit_8 -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_10 -D0351_bit_9 -D0351_bit_8 -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_10 -D0352_bit_9 -D0352_bit_8 -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_10 -D0353_bit_9 -D0353_bit_8 -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_10 -D0354_bit_9 -D0354_bit_8 -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_10 -D0355_bit_9 -D0355_bit_8 -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_10 -D0356_bit_9 -D0356_bit_8 -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_10 -D0357_bit_9 -D0357_bit_8 -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_10 -D0358_bit_9 -D0358_bit_8 -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_10 -D0359_bit_9 -D0359_bit_8 -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_10 -D0360_bit_9 -D0360_bit_8 -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_10 -D0361_bit_9 -D0361_bit_8 -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_10 -D0362_bit_9 -D0362_bit_8 -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_10 -D0363_bit_9 -D0363_bit_8 -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_10 -D0364_bit_9 -D0364_bit_8 -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_10 -D0365_bit_9 -D0365_bit_8 -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_10 -D0366_bit_9 -D0366_bit_8 -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_10 -D0367_bit_9 -D0367_bit_8 -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_10 -D0368_bit_9 -D0368_bit_8 -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_10 -D0369_bit_9 -D0369_bit_8 -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_10 -D0371_bit_9 -D0371_bit_8 -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_10 -D0372_bit_9 -D0372_bit_8 -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_10 -D0373_bit_9 -D0373_bit_8 -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_10 -D0375_bit_9 -D0375_bit_8 -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_10 -D0376_bit_9 -D0376_bit_8 -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_10 -D0377_bit_9 -D0377_bit_8 -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_10 -D0378_bit_9 -D0378_bit_8 -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_10 -D0379_bit_9 -D0379_bit_8 -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_10 -D0382_bit_9 -D0382_bit_8 -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_10 -D0383_bit_9 -D0383_bit_8 -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_10 -D0384_bit_9 -D0384_bit_8 -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_10 -D0385_bit_9 -D0385_bit_8 -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_10 -D0386_bit_9 -D0386_bit_8 -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_10 -D0387_bit_9 -D0387_bit_8 -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_10 -D0388_bit_9 -D0388_bit_8 -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_10 -D0389_bit_9 -D0389_bit_8 -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_10 -D0390_bit_9 -D0390_bit_8 -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_10 -D0391_bit_9 -D0391_bit_8 -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_10 -D0392_bit_9 -D0392_bit_8 -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_10 -D0394_bit_9 -D0394_bit_8 -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_10 -D0395_bit_9 -D0395_bit_8 -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_10 D0396_bit_9 -D0396_bit_8 -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_10 -D0397_bit_9 -D0397_bit_8 -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_10 -D0398_bit_9 -D0398_bit_8 -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_10 -D0399_bit_9 -D0399_bit_8 -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_10 -D0400_bit_9 -D0400_bit_8 -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_10 D0401_bit_9 -D0401_bit_8 -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_10 -D0403_bit_9 -D0403_bit_8 -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_10 D0404_bit_9 -D0404_bit_8 -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_10 -D0405_bit_9 -D0405_bit_8 -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_10 -D0406_bit_9 -D0406_bit_8 -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_10 -D0407_bit_9 -D0407_bit_8 -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_10 -D0408_bit_9 -D0408_bit_8 -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_10 -D0409_bit_9 -D0409_bit_8 -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_10 -D0410_bit_9 -D0410_bit_8 -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_10 -D0411_bit_9 -D0411_bit_8 -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_10 -D0412_bit_9 -D0412_bit_8 -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_10 -D0413_bit_9 -D0413_bit_8 -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_10 -D0414_bit_9 -D0414_bit_8 -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_10 -D0415_bit_9 -D0415_bit_8 -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_10 -D0416_bit_9 -D0416_bit_8 -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_10 -D0417_bit_9 -D0417_bit_8 -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_10 -D0418_bit_9 -D0418_bit_8 -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_10 D0419_bit_9 -D0419_bit_8 -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_10 -D0420_bit_9 -D0420_bit_8 -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_10 -D0421_bit_9 -D0421_bit_8 -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_10 -D0422_bit_9 -D0422_bit_8 -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_10 -D0423_bit_9 -D0423_bit_8 -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_10 -D0424_bit_9 -D0424_bit_8 -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_10 -D0426_bit_9 -D0426_bit_8 -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_10 -D0427_bit_9 -D0427_bit_8 -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_10 -D0428_bit_9 -D0428_bit_8 -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_10 D0429_bit_9 -D0429_bit_8 -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_10 -D0430_bit_9 -D0430_bit_8 -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_10 -D0431_bit_9 -D0431_bit_8 -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_10 -D0432_bit_9 -D0432_bit_8 -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_10 -D0433_bit_9 -D0433_bit_8 -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_10 -D0434_bit_9 -D0434_bit_8 -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_10 -D0435_bit_9 -D0435_bit_8 -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_10 -D0436_bit_9 -D0436_bit_8 -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_10 D0437_bit_9 -D0437_bit_8 -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_10 -D0438_bit_9 -D0438_bit_8 -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_10 -D0439_bit_9 -D0439_bit_8 -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_10 -D0440_bit_9 -D0440_bit_8 -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_10 -D0441_bit_9 -D0441_bit_8 -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_10 -D0442_bit_9 -D0442_bit_8 -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_10 -D0443_bit_9 -D0443_bit_8 -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_10 -D0444_bit_9 -D0444_bit_8 -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_10 -D0446_bit_9 -D0446_bit_8 -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_10 -D0447_bit_9 -D0447_bit_8 -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_10 -D0448_bit_9 -D0448_bit_8 -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_10 -D0449_bit_9 -D0449_bit_8 -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_10 -D0450_bit_9 -D0450_bit_8 -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_10 -D0451_bit_9 -D0451_bit_8 -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_10 -D0452_bit_9 -D0452_bit_8 -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_10 -D0453_bit_9 -D0453_bit_8 -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_10 -D0454_bit_9 -D0454_bit_8 -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_10 -D0455_bit_9 -D0455_bit_8 -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_10 -D0456_bit_9 -D0456_bit_8 -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_10 -D0457_bit_9 -D0457_bit_8 -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_10 -D0458_bit_9 -D0458_bit_8 -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_10 -D0459_bit_9 -D0459_bit_8 -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_10 -D0460_bit_9 -D0460_bit_8 -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_10 -D0461_bit_9 -D0461_bit_8 -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_10 -D0462_bit_9 -D0462_bit_8 -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_10 -D0463_bit_9 -D0463_bit_8 -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_10 -D0464_bit_9 -D0464_bit_8 -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_10 -D0465_bit_9 -D0465_bit_8 -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_10 -D0466_bit_9 -D0466_bit_8 -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_10 -D0467_bit_9 -D0467_bit_8 -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_10 -D0468_bit_9 -D0468_bit_8 -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_10 -D0469_bit_9 -D0469_bit_8 -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_10 -D0470_bit_9 -D0470_bit_8 -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_10 -D0471_bit_9 -D0471_bit_8 -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_10 -D0472_bit_9 -D0472_bit_8 -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_10 -D0473_bit_9 -D0473_bit_8 -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_10 -D0474_bit_9 -D0474_bit_8 -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_10 D0475_bit_9 -D0475_bit_8 -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_10 -D0476_bit_9 -D0476_bit_8 -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_10 -D0477_bit_9 -D0477_bit_8 -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_10 -D0478_bit_9 -D0478_bit_8 -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_10 -D0479_bit_9 -D0479_bit_8 -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_10 -D0480_bit_9 -D0480_bit_8 -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_10 -D0481_bit_9 -D0481_bit_8 -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_10 -D0482_bit_9 -D0482_bit_8 -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_10 -D0483_bit_9 -D0483_bit_8 -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_10 -D0484_bit_9 -D0484_bit_8 -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_10 -D0485_bit_9 -D0485_bit_8 -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_10 -D0306_bit_9 -D0306_bit_8 -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_10 -D0310_bit_9 -D0310_bit_8 -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_10 -D0326_bit_9 -D0326_bit_8 -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_10 -D0339_bit_9 -D0339_bit_8 -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_10 -D0342_bit_9 -D0342_bit_8 -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_10 -D0370_bit_9 -D0370_bit_8 -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_10 -D0374_bit_9 -D0374_bit_8 -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_10 -D0380_bit_9 -D0380_bit_8 -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_10 -D0381_bit_9 -D0381_bit_8 -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_10 -D0393_bit_9 -D0393_bit_8 -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_10 -D0402_bit_9 -D0402_bit_8 -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_10 -D0425_bit_9 -D0425_bit_8 -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_10 -D0445_bit_9 -D0445_bit_8 -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_10 -A01_bit_9 -A01_bit_8 -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 -A01_bit13 -A01_bit14 -A01_bit15 -A01_bit16 -A01_bit17 -A01_bit18 -A01_bit19 -A02_bit_10 -A02_bit_9 -A02_bit_8 -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 -A02_bit13 -A02_bit14 -A02_bit15 -A02_bit16 -A02_bit17 -A02_bit18 -A02_bit19 -A03_bit_10 -A03_bit_9 -A03_bit_8 -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 -A03_bit13 -A03_bit14 -A03_bit15 -A03_bit16 -A03_bit17 -A03_bit18 -A03_bit19 -A04_bit_10 -A04_bit_9 -A04_bit_8 -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 -A04_bit13 -A04_bit14 -A04_bit15 -A04_bit16 -A04_bit17 -A04_bit18 -A04_bit19 -A05_bit_10 -A05_bit_9 -A05_bit_8 -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 -A05_bit13 -A05_bit14 -A05_bit15 -A05_bit16 -A05_bit17 -A05_bit18 -A05_bit19 -A06_bit_10 -A06_bit_9 -A06_bit_8 -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 -A06_bit13 -A06_bit14 -A06_bit15 -A06_bit16 -A06_bit17 -A06_bit18 -A06_bit19 -A07_bit_10 -A07_bit_9 -A07_bit_8 -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 -A07_bit13 -A07_bit14 -A07_bit15 -A07_bit16 -A07_bit17 -A07_bit18 -A07_bit19 -A08_bit_10 -A08_bit_9 -A08_bit_8 -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 -A08_bit13 -A08_bit14 -A08_bit15 -A08_bit16 -A08_bit17 -A08_bit18 -A08_bit19 -A09_bit_10 -A09_bit_9 -A09_bit_8 -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 -A09_bit13 -A09_bit14 -A09_bit15 -A09_bit16 -A09_bit17 -A09_bit18 -A09_bit19 -A10_bit_10 -A10_bit_9 -A10_bit_8 -A10_bit_7 -A10_bit_6 -A10_bit_5 -A10_bit_4 -A10_bit_3 -A10_bit_2 -A10_bit_1 -A10_bit0 -A10_bit1 -A10_bit2 -A10_bit3 -A10_bit4 -A10_bit5 -A10_bit6 -A10_bit7 -A10_bit8 -A10_bit9 -A10_bit10 -A10_bit11 -A10_bit12 -A10_bit13 -A10_bit14 -A10_bit15 -A10_bit16 -A10_bit17 -A10_bit18 -A10_bit19 A11_bit_10 -A11_bit_9 -A11_bit_8 -A11_bit_7 -A11_bit_6 -A11_bit_5 -A11_bit_4 -A11_bit_3 -A11_bit_2 -A11_bit_1 -A11_bit0 -A11_bit1 -A11_bit2 -A11_bit3 -A11_bit4 -A11_bit5 -A11_bit6 -A11_bit7 -A11_bit8 -A11_bit9 -A11_bit10 -A11_bit11 -A11_bit12 -A11_bit13 -A11_bit14 -A11_bit15 -A11_bit16 -A11_bit17 -A11_bit18 -A11_bit19 -A12_bit_10 -A12_bit_9 -A12_bit_8 -A12_bit_7 -A12_bit_6 -A12_bit_5 -A12_bit_4 -A12_bit_3 -A12_bit_2 -A12_bit_1 -A12_bit0 -A12_bit1 -A12_bit2 -A12_bit3 -A12_bit4 -A12_bit5 -A12_bit6 -A12_bit7 -A12_bit8 -A12_bit9 -A12_bit10 -A12_bit11 -A12_bit12 -A12_bit13 -A12_bit14 -A12_bit15 -A12_bit16 -A12_bit17 -A12_bit18 -A12_bit19 -A13_bit_10 -A13_bit_9 -A13_bit_8 -A13_bit_7 -A13_bit_6 -A13_bit_5 -A13_bit_4 -A13_bit_3 -A13_bit_2 -A13_bit_1 -A13_bit0 -A13_bit1 -A13_bit2 -A13_bit3 -A13_bit4 -A13_bit5 -A13_bit6 -A13_bit7 -A13_bit8 -A13_bit9 -A13_bit10 -A13_bit11 -A13_bit12 -A13_bit13 -A13_bit14 -A13_bit15 -A13_bit16 -A13_bit17 -A13_bit18 -A13_bit19 -A14_bit_10 -A14_bit_9 -A14_bit_8 -A14_bit_7 -A14_bit_6 -A14_bit_5 -A14_bit_4 -A14_bit_3 -A14_bit_2 -A14_bit_1 -A14_bit0 -A14_bit1 -A14_bit2 -A14_bit3 -A14_bit4 -A14_bit5 -A14_bit6 -A14_bit7 -A14_bit8 -A14_bit9 -A14_bit10 -A14_bit11 -A14_bit12 -A14_bit13 -A14_bit14 -A14_bit15 -A14_bit16 -A14_bit17 -A14_bit18 -A14_bit19 -A15_bit_10 -A15_bit_9 -A15_bit_8 -A15_bit_7 -A15_bit_6 -A15_bit_5 -A15_bit_4 -A15_bit_3 -A15_bit_2 -A15_bit_1 -A15_bit0 -A15_bit1 -A15_bit2 -A15_bit3 -A15_bit4 -A15_bit5 -A15_bit6 -A15_bit7 -A15_bit8 -A15_bit9 -A15_bit10 -A15_bit11 -A15_bit12 -A15_bit13 -A15_bit14 -A15_bit15 -A15_bit16 -A15_bit17 -A15_bit18 -A15_bit19 -A16_bit_10 -A16_bit_9 -A16_bit_8 -A16_bit_7 -A16_bit_6 -A16_bit_5 -A16_bit_4 -A16_bit_3 -A16_bit_2 -A16_bit_1 -A16_bit0 -A16_bit1 -A16_bit2 -A16_bit3 -A16_bit4 -A16_bit5 -A16_bit6 -A16_bit7 -A16_bit8 -A16_bit9 -A16_bit10 -A16_bit11 -A16_bit12 -A16_bit13 -A16_bit14 -A16_bit15 -A16_bit16 -A16_bit17 -A16_bit18 -A16_bit19 -A17_bit_10 -A17_bit_9 -A17_bit_8 -A17_bit_7 -A17_bit_6 -A17_bit_5 -A17_bit_4 -A17_bit_3 -A17_bit_2 -A17_bit_1 -A17_bit0 -A17_bit1 -A17_bit2 -A17_bit3 -A17_bit4 -A17_bit5 -A17_bit6 -A17_bit7 -A17_bit8 -A17_bit9 -A17_bit10 -A17_bit11 -A17_bit12 -A17_bit13 -A17_bit14 -A17_bit15 -A17_bit16 -A17_bit17 -A17_bit18 -A17_bit19 -A18_bit_10 -A18_bit_9 -A18_bit_8 -A18_bit_7 -A18_bit_6 -A18_bit_5 -A18_bit_4 -A18_bit_3 -A18_bit_2 -A18_bit_1 -A18_bit0 -A18_bit1 -A18_bit2 -A18_bit3 -A18_bit4 -A18_bit5 -A18_bit6 -A18_bit7 -A18_bit8 -A18_bit9 -A18_bit10 -A18_bit11 -A18_bit12 -A18_bit13 -A18_bit14 -A18_bit15 -A18_bit16 -A18_bit17 -A18_bit18 -A18_bit19 -A19_bit_10 -A19_bit_9 -A19_bit_8 -A19_bit_7 -A19_bit_6 -A19_bit_5 -A19_bit_4 -A19_bit_3 -A19_bit_2 -A19_bit_1 -A19_bit0 -A19_bit1 -A19_bit2 -A19_bit3 -A19_bit4 -A19_bit5 -A19_bit6 -A19_bit7 -A19_bit8 -A19_bit9 -A19_bit10 -A19_bit11 -A19_bit12 -A19_bit13 -A19_bit14 -A19_bit15 -A19_bit16 -A19_bit17 -A19_bit18 -A19_bit19 -A20_bit_10 -A20_bit_9 -A20_bit_8 -A20_bit_7 -A20_bit_6 -A20_bit_5 -A20_bit_4 -A20_bit_3 -A20_bit_2 -A20_bit_1 -A20_bit0 -A20_bit1 -A20_bit2 -A20_bit3 -A20_bit4 -A20_bit5 -A20_bit6 -A20_bit7 -A20_bit8 -A20_bit9 -A20_bit10 -A20_bit11 -A20_bit12 -A20_bit13 -A20_bit14 -A20_bit15 -A20_bit16 -A20_bit17 -A20_bit18 -A20_bit19 -A21_bit_10 -A21_bit_9 -A21_bit_8 -A21_bit_7 -A21_bit_6 -A21_bit_5 -A21_bit_4 -A21_bit_3 -A21_bit_2 -A21_bit_1 -A21_bit0 -A21_bit1 -A21_bit2 -A21_bit3 -A21_bit4 -A21_bit5 -A21_bit6 -A21_bit7 -A21_bit8 -A21_bit9 -A21_bit10 -A21_bit11 -A21_bit12 -A21_bit13 -A21_bit14 -A21_bit15 -A21_bit16 -A21_bit17 -A21_bit18 -A21_bit19 -A22_bit_10 -A22_bit_9 -A22_bit_8 -A22_bit_7 -A22_bit_6 -A22_bit_5 -A22_bit_4 -A22_bit_3 -A22_bit_2 -A22_bit_1 -A22_bit0 -A22_bit1 -A22_bit2 -A22_bit3 -A22_bit4 -A22_bit5 -A22_bit6 -A22_bit7 -A22_bit8 -A22_bit9 -A22_bit10 -A22_bit11 -A22_bit12 -A22_bit13 -A22_bit14 -A22_bit15 -A22_bit16 -A22_bit17 -A22_bit18 -A22_bit19 -A23_bit_10 -A23_bit_9 -A23_bit_8 -A23_bit_7 -A23_bit_6 -A23_bit_5 -A23_bit_4 -A23_bit_3 -A23_bit_2 -A23_bit_1 -A23_bit0 -A23_bit1 -A23_bit2 -A23_bit3 -A23_bit4 -A23_bit5 -A23_bit6 -A23_bit7 -A23_bit8 -A23_bit9 -A23_bit10 -A23_bit11 -A23_bit12 -A23_bit13 -A23_bit14 -A23_bit15 -A23_bit16 -A23_bit17 -A23_bit18 -A23_bit19 -A24_bit_10 -A24_bit_9 -A24_bit_8 -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 -A24_bit13 -A24_bit14 -A24_bit15 -A24_bit16 -A24_bit17 -A24_bit18 -A24_bit19 A25_bit_10 A25_bit_9 A25_bit_8 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 -A25_bit13 -A25_bit14 -A25_bit15 -A25_bit16 -A25_bit17 -A25_bit18 -A25_bit19 -B25_bit_10 -B25_bit_9 -B25_bit_8 -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 -B25_bit13 -B25_bit14 -B25_bit15 -B25_bit16 -B25_bit17 -B25_bit18 -B25_bit19 
c objectif function=20977859
c Total CPU time (ms) : 1229.339
#### 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.85 0.97 0.99 2/54 6638
Raw data (stat): 6638 (runsolver) R 6637 25830 25829 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 780106273 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.0015 s]
Raw data (loadavg): 1.03 1.00 1.00 2/63 6647
Raw data (stat): 6638 (java) R 6637 25830 25829 0 -1 0 18061 0 1 0 846 39 0 0 25 0 10 0 780106273 858218496 21374 4294967295 134512640 134569956 3221224368 3221214776 1131267012 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209526 21374 13086 16 0 209510 0
vsize: 838104
[startup+20.0019 s]
Raw data (loadavg): 1.02 1.00 1.00 2/64 6648
Raw data (stat): 6638 (java) R 6637 25830 25829 0 -1 0 18100 0 1 0 1746 40 0 0 25 0 11 0 780106273 858615808 23181 4294967295 134512640 134569956 3221224368 3221214688 1131372792 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209623 23181 13086 16 0 209607 0
vsize: 838492
[startup+30.0016 s]
Raw data (loadavg): 1.02 1.00 1.00 2/64 6649
Raw data (stat): 6638 (java) R 6637 25830 25829 0 -1 0 18146 3 1 0 2660 40 0 0 25 0 11 0 780106273 858320896 23205 4294967295 134512640 134569956 3221224368 3221214528 1131252533 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209551 23205 13086 16 0 209535 0
vsize: 838204
[startup+40.0015 s]
Raw data (loadavg): 1.02 1.00 1.00 2/64 6650
Raw data (stat): 6638 (java) R 6637 25830 25829 0 -1 0 18146 3 1 0 3583 40 0 0 25 0 11 0 780106273 858320896 23163 4294967295 134512640 134569956 3221224368 3221214616 1131264663 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209551 23163 13086 16 0 209535 0
vsize: 838204
[startup+50.0014 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 6651
Raw data (stat): 6638 (java) R 6637 25830 25829 0 -1 0 18146 3 1 0 4512 40 0 0 25 0 11 0 780106273 858320896 23848 4294967295 134512640 134569956 3221224368 3221214520 1131252506 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209551 23848 13086 16 0 209535 0
vsize: 838204
[startup+60.0139 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 6652
Raw data (stat): 6638 (java) S 6637 25830 25829 0 -1 0 18146 3 1 0 5488 41 0 0 25 0 11 0 780106273 858320896 23978 4294967295 134512640 134569956 3221224368 3221213360 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209551 23978 13086 16 0 209535 0
vsize: 838204
[startup+70.0185 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 6653
Raw data (stat): 6638 (java) R 6637 25830 25829 0 -1 0 18146 3 1 0 6466 41 0 0 25 0 11 0 780106273 858320896 24051 4294967295 134512640 134569956 3221224368 3221214720 1131371827 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209551 24051 13086 16 0 209535 0
vsize: 838204
[startup+80.0187 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 6654
Raw data (stat): 6638 (java) R 6637 25830 25829 0 -1 0 18146 3 1 0 7444 41 0 0 25 0 11 0 780106273 858320896 24087 4294967295 134512640 134569956 3221224368 3221214560 1131252636 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209551 24087 13086 16 0 209535 0
vsize: 838204
[startup+90.0221 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 6655
Raw data (stat): 6638 (java) S 6637 25830 25829 0 -1 0 18146 3 1 0 8422 41 0 0 25 0 11 0 780106273 858320896 24123 4294967295 134512640 134569956 3221224368 3221213400 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209551 24123 13086 16 0 209535 0
vsize: 838204
[startup+100.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6656
Raw data (stat): 6638 (java) R 6637 25830 25829 0 -1 0 18146 3 1 0 9402 41 0 0 25 0 11 0 780106273 858320896 24183 4294967295 134512640 134569956 3221224368 3221214656 1131264322 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209551 24183 13086 16 0 209535 0
vsize: 838204
[startup+110.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6657
Raw data (stat): 6638 (java) R 6637 25830 25829 0 -1 0 18146 3 1 0 10383 41 0 0 25 0 11 0 780106273 858320896 24219 4294967295 134512640 134569956 3221224368 3221214864 1131221337 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209551 24219 13086 16 0 209535 0
vsize: 838204
[startup+120.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6658
Raw data (stat): 6638 (java) R 6637 25830 25829 0 -1 0 18146 3 1 0 11363 41 0 0 25 0 11 0 780106273 858320896 24255 4294967295 134512640 134569956 3221224368 3221214560 1131252533 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209551 24255 13086 16 0 209535 0
vsize: 838204
[startup+130.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6658
Raw data (stat): 6638 (java) R 6637 25830 25829 0 -1 0 18146 3 1 0 12347 42 0 0 25 0 11 0 780106273 858320896 24323 4294967295 134512640 134569956 3221224368 3221214480 1131401487 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209551 24323 13086 16 0 209535 0
vsize: 838204
[startup+140.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6658
Raw data (stat): 6638 (java) R 6637 25830 25829 0 -1 0 18147 3 1 0 13336 42 0 0 25 0 11 0 780106273 858320896 24304 4294967295 134512640 134569956 3221224368 3221214528 1131401407 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209551 24304 13086 16 0 209535 0
vsize: 838204
[startup+150.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6658
Raw data (stat): 6638 (java) R 6637 25830 25829 0 -1 0 18147 3 1 0 14328 42 0 0 25 0 11 0 780106273 858320896 24319 4294967295 134512640 134569956 3221224368 3221214496 1131258595 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209551 24319 13086 16 0 209535 0
vsize: 838204
[startup+160.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6658
Raw data (stat): 6638 (java) R 6637 25830 25829 0 -1 0 18147 3 1 0 15320 42 0 0 25 0 11 0 780106273 858320896 24371 4294967295 134512640 134569956 3221224368 3221214528 1131401151 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209551 24371 13086 16 0 209535 0
vsize: 838204
[startup+170.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6661
Raw data (stat): 6638 (java) R 6637 25830 25829 0 -1 0 18147 3 1 0 16302 43 0 0 25 0 11 0 780106273 858320896 24408 4294967295 134512640 134569956 3221224368 3221214716 1131264268 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209551 24408 13086 16 0 209535 0
vsize: 838204
[startup+180.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6662
Raw data (stat): 6638 (java) R 6637 25830 25829 0 -1 0 18147 3 1 0 17275 43 0 0 25 0 11 0 780106273 858320896 24436 4294967295 134512640 134569956 3221224368 3221214720 1131373310 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209551 24436 13086 16 0 209535 0
vsize: 838204
[startup+190.027 s]
Raw data (loadavg): 1.00 1.00 1.00 3/67 6707
Raw data (stat): 6638 (java) S 6637 25830 25829 0 -1 0 18147 3 1 0 18237 45 0 0 25 0 11 0 780106273 858320896 24436 4294967295 134512640 134569956 3221224368 3221213264 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209551 24436 13086 16 0 209535 0
vsize: 838204
[startup+200.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6717
Raw data (stat): 6638 (java) R 6637 25830 25829 0 -1 0 18147 3 1 0 19200 47 0 0 25 0 11 0 780106273 858320896 24526 4294967295 134512640 134569956 3221224368 3221214716 1131264268 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209551 24526 13086 16 0 209535 0
vsize: 838204
[startup+210.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6717
Raw data (stat): 6638 (java) S 6637 25830 25829 0 -1 0 18147 3 1 0 20173 47 0 0 25 0 11 0 780106273 858320896 24675 4294967295 134512640 134569956 3221224368 3221213264 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209551 24675 13086 16 0 209535 0
vsize: 838204
[startup+220.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6718
Raw data (stat): 6638 (java) R 6637 25830 25829 0 -1 0 18147 3 1 0 21154 47 0 0 24 0 11 0 780106273 858320896 24747 4294967295 134512640 134569956 3221224368 3221214720 1131370479 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209551 24747 13086 16 0 209535 0
vsize: 838204
[startup+230.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6719
Raw data (stat): 6638 (java) R 6637 25830 25829 0 -1 0 18147 3 1 0 22137 48 0 0 25 0 11 0 780106273 858320896 24747 4294967295 134512640 134569956 3221224368 3221214720 1131370703 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209551 24747 13086 16 0 209535 0
vsize: 838204
[startup+240.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6720
Raw data (stat): 6638 (java) R 6637 25830 25829 0 -1 0 18147 3 1 0 23121 48 0 0 25 0 11 0 780106273 858320896 24783 4294967295 134512640 134569956 3221224368 3221214720 1131371857 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209551 24783 13086 16 0 209535 0
vsize: 838204
[startup+250.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6721
Raw data (stat): 6638 (java) R 6637 25830 25829 0 -1 0 18147 3 1 0 24104 49 0 0 25 0 11 0 780106273 858320896 24819 4294967295 134512640 134569956 3221224368 3221214560 1131253267 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209551 24819 13086 16 0 209535 0
vsize: 838204
[startup+260.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6721
Raw data (stat): 6638 (java) R 6637 25830 25829 0 -1 0 18147 3 1 0 25090 49 0 0 25 0 11 0 780106273 858320896 24856 4294967295 134512640 134569956 3221224368 3221214720 1131370703 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209551 24856 13086 16 0 209535 0
vsize: 838204
[startup+270.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6724
Raw data (stat): 6638 (java) R 6637 25830 25829 0 -1 0 18147 3 1 0 26074 49 0 0 25 0 11 0 780106273 858320896 24892 4294967295 134512640 134569956 3221224368 3221214720 1131370672 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209551 24892 13086 16 0 209535 0
vsize: 838204
[startup+280.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6725
Raw data (stat): 6638 (java) R 6637 25830 25829 0 -1 0 18147 3 1 0 27059 49 0 0 25 0 11 0 780106273 858320896 24928 4294967295 134512640 134569956 3221224368 3221214720 1131370479 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209551 24928 13086 16 0 209535 0
vsize: 838204
[startup+290.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6726
Raw data (stat): 6638 (java) R 6637 25830 25829 0 -1 0 18147 3 1 0 28044 50 0 0 20 0 11 0 780106273 858320896 24928 4294967295 134512640 134569956 3221224368 3221214560 1131253328 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209551 24928 13086 16 0 209535 0
vsize: 838204
[startup+300.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6726
Raw data (stat): 6638 (java) R 6637 25830 25829 0 -1 0 18147 3 1 0 29028 50 0 0 25 0 11 0 780106273 858320896 24965 4294967295 134512640 134569956 3221224368 3221214560 1131252504 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209551 24965 13086 16 0 209535 0
vsize: 838204
[startup+310.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6727
Raw data (stat): 6638 (java) R 6637 25830 25829 0 -1 0 18147 3 1 0 30006 50 0 0 25 0 11 0 780106273 858320896 25001 4294967295 134512640 134569956 3221224368 3221214656 1131264375 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209551 25001 13086 16 0 209535 0
vsize: 838204
[startup+320.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6727
Raw data (stat): 6638 (java) R 6637 25830 25829 0 -1 0 18147 3 1 0 30981 51 0 0 25 0 11 0 780106273 858320896 25001 4294967295 134512640 134569956 3221224368 3221214652 1131248096 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209551 25001 13086 16 0 209535 0
vsize: 838204
[startup+330.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6727
Raw data (stat): 6638 (java) R 6637 25830 25829 0 -1 0 18147 3 1 0 31956 51 0 0 25 0 11 0 780106273 858320896 25019 4294967295 134512640 134569956 3221224368 3221214656 1131264648 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209551 25019 13086 16 0 209535 0
vsize: 838204
[startup+340.033 s]
Raw data (loadavg): 1.07 1.02 1.00 2/64 6727
Raw data (stat): 6638 (java) R 6637 25830 25829 0 -1 0 18147 3 1 0 32931 51 0 0 25 0 11 0 780106273 858320896 25160 4294967295 134512640 134569956 3221224368 3221214528 1131400989 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209551 25160 13086 16 0 209535 0
vsize: 838204
[startup+350.033 s]
Raw data (loadavg): 1.06 1.02 1.00 2/64 6727
Raw data (stat): 6638 (java) R 6637 25830 25829 0 -1 0 18147 3 1 0 33907 52 0 0 25 0 11 0 780106273 858320896 25291 4294967295 134512640 134569956 3221224368 3221214600 1131408623 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209551 25291 13086 16 0 209535 0
vsize: 838204
[startup+360.034 s]
Raw data (loadavg): 1.05 1.01 1.00 2/64 6727
Raw data (stat): 6638 (java) R 6637 25830 25829 0 -1 0 18147 3 1 0 34885 52 0 0 25 0 11 0 780106273 858320896 25188 4294967295 134512640 134569956 3221224368 3221214720 1131370463 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209551 25188 13086 16 0 209535 0
vsize: 838204
[startup+370.035 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 6727
Raw data (stat): 6638 (java) R 6637 25830 25829 0 -1 0 18147 3 1 0 35858 52 0 0 25 0 11 0 780106273 858320896 25286 4294967295 134512640 134569956 3221224368 3221214656 1131264281 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209551 25286 13086 16 0 209535 0
vsize: 838204
[startup+380.034 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 6727
Raw data (stat): 6638 (java) R 6637 25830 25829 0 -1 0 18147 3 1 0 36842 52 0 0 25 0 11 0 780106273 858320896 25287 4294967295 134512640 134569956 3221224368 3221214632 1131389059 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209551 25287 13086 16 0 209535 0
vsize: 838204
[startup+390.039 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 6727
Raw data (stat): 6638 (java) R 6637 25830 25829 0 -1 0 18147 3 1 0 37829 52 0 0 25 0 11 0 780106273 858320896 25314 4294967295 134512640 134569956 3221224368 3221214632 1131389040 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209551 25314 13086 16 0 209535 0
vsize: 838204
[startup+400.039 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 6727
Raw data (stat): 6638 (java) R 6637 25830 25829 0 -1 0 18147 3 1 0 38816 52 0 0 24 0 11 0 780106273 858320896 25371 4294967295 134512640 134569956 3221224368 3221214496 1131258791 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209551 25371 13086 16 0 209535 0
vsize: 838204
[startup+410.04 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 6727
Raw data (stat): 6638 (java) R 6637 25830 25829 0 -1 0 18147 3 1 0 39808 53 0 0 25 0 11 0 780106273 858320896 25409 4294967295 134512640 134569956 3221224368 3221214496 1131258702 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209551 25409 13086 16 0 209535 0
vsize: 838204
[startup+420.039 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 6727
Raw data (stat): 6638 (java) R 6637 25830 25829 0 -1 0 18147 3 1 0 40802 53 0 0 25 0 11 0 780106273 858320896 25418 4294967295 134512640 134569956 3221224368 3221214576 1131386873 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209551 25418 13086 16 0 209535 0
vsize: 838204
[startup+430.04 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 6727
Raw data (stat): 6638 (java) R 6637 25830 25829 0 -1 0 18147 3 1 0 41796 53 0 0 25 0 11 0 780106273 858320896 25420 4294967295 134512640 134569956 3221224368 3221214676 1130885147 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209551 25420 13086 16 0 209535 0
vsize: 838204
[startup+440.04 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 6727
Raw data (stat): 6638 (java) R 6637 25830 25829 0 -1 0 18147 3 1 0 42793 53 0 0 25 0 11 0 780106273 858320896 25493 4294967295 134512640 134569956 3221224368 3221214548 1130885243 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209551 25493 13086 16 0 209535 0
vsize: 838204
[startup+450.04 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 6727
Raw data (stat): 6638 (java) R 6637 25830 25829 0 -1 0 18147 3 1 0 43774 53 0 0 25 0 11 0 780106273 858320896 25493 4294967295 134512640 134569956 3221224368 3221214656 1131264289 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209551 25493 13086 16 0 209535 0
vsize: 838204
[startup+460.041 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 6727
Raw data (stat): 6638 (java) R 6637 25830 25829 0 -1 0 18147 3 1 0 44753 54 0 0 25 0 11 0 780106273 858320896 25493 4294967295 134512640 134569956 3221224368 3221214560 1131252533 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209551 25493 13086 16 0 209535 0
vsize: 838204
[startup+470.04 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 6727
Raw data (stat): 6638 (java) R 6637 25830 25829 0 -1 0 18147 3 1 0 45731 54 0 0 25 0 11 0 780106273 858320896 25493 4294967295 134512640 134569956 3221224368 3221214496 1131260490 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209551 25493 13086 16 0 209535 0
vsize: 838204
[startup+480.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6727
Raw data (stat): 6638 (java) R 6637 25830 25829 0 -1 0 18147 3 1 0 46712 54 0 0 25 0 11 0 780106273 858320896 25567 4294967295 134512640 134569956 3221224368 3221214552 1131221349 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209551 25567 13086 16 0 209535 0
vsize: 838204
[startup+490.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6727
Raw data (stat): 6638 (java) R 6637 25830 25829 0 -1 0 18147 3 1 0 47699 54 0 0 25 0 11 0 780106273 858320896 25629 4294967295 134512640 134569956 3221224368 3221214496 1131258791 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209551 25629 13086 16 0 209535 0
vsize: 838204
[startup+500.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6727
Raw data (stat): 6638 (java) R 6637 25830 25829 0 -1 0 18147 3 1 0 48692 54 0 0 25 0 11 0 780106273 858320896 25636 4294967295 134512640 134569956 3221224368 3221214592 1131208540 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209551 25636 13086 16 0 209535 0
vsize: 838204
[startup+510.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6727
Raw data (stat): 6638 (java) R 6637 25830 25829 0 -1 0 18147 3 1 0 49686 54 0 0 25 0 11 0 780106273 858320896 25637 4294967295 134512640 134569956 3221224368 3221214600 1131392129 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209551 25637 13086 16 0 209535 0
vsize: 838204
[startup+520.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6727
Raw data (stat): 6638 (java) R 6637 25830 25829 0 -1 0 18147 3 1 0 50681 54 0 0 25 0 11 0 780106273 858320896 25638 4294967295 134512640 134569956 3221224368 3221214496 1131260190 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209551 25638 13086 16 0 209535 0
vsize: 838204
[startup+530.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6727
Raw data (stat): 6638 (java) R 6637 25830 25829 0 -1 0 18147 3 1 0 51676 54 0 0 25 0 11 0 780106273 858320896 25714 4294967295 134512640 134569956 3221224368 3221214496 1131259558 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209551 25714 13086 16 0 209535 0
vsize: 838204
[startup+540.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6727
Raw data (stat): 6638 (java) R 6637 25830 25829 0 -1 0 18147 3 1 0 52674 54 0 0 25 0 11 0 780106273 858320896 25714 4294967295 134512640 134569956 3221224368 3221214632 1131389059 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209551 25714 13086 16 0 209535 0
vsize: 838204
[startup+550.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6727
Raw data (stat): 6638 (java) R 6637 25830 25829 0 -1 0 18147 3 1 0 53671 54 0 0 25 0 11 0 780106273 858320896 25714 4294967295 134512640 134569956 3221224368 3221214592 1131208181 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209551 25714 13086 16 0 209535 0
vsize: 838204
[startup+560.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6729
Raw data (stat): 6638 (java) R 6637 25830 25829 0 -1 0 18147 3 1 0 54658 54 0 0 25 0 11 0 780106273 858320896 25714 4294967295 134512640 134569956 3221224368 3221214560 1131254178 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209551 25714 13086 16 0 209535 0
vsize: 838204
[startup+570.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6729
Raw data (stat): 6638 (java) R 6637 25830 25829 0 -1 0 18147 3 1 0 55640 55 0 0 25 0 11 0 780106273 858320896 25714 4294967295 134512640 134569956 3221224368 3221214656 1131264322 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209551 25714 13086 16 0 209535 0
vsize: 838204
[startup+580.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6729
Raw data (stat): 6638 (java) R 6637 25830 25829 0 -1 0 18147 3 1 0 56622 55 0 0 25 0 11 0 780106273 858320896 25714 4294967295 134512640 134569956 3221224368 3221214656 1131264300 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209551 25714 13086 16 0 209535 0
vsize: 838204
[startup+590.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6729
Raw data (stat): 6638 (java) R 6637 25830 25829 0 -1 0 18147 3 1 0 57606 55 0 0 25 0 11 0 780106273 858320896 25777 4294967295 134512640 134569956 3221224368 3221214656 1131264300 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209551 25777 13086 16 0 209535 0
vsize: 838204
[startup+600.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6729
Raw data (stat): 6638 (java) R 6637 25830 25829 0 -1 0 18147 3 1 0 58581 55 0 0 25 0 11 0 780106273 858320896 25795 4294967295 134512640 134569956 3221224368 3221214720 1131371812 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209551 25795 13086 16 0 209535 0
vsize: 838204
[startup+610.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6729
Raw data (stat): 6638 (java) R 6637 25830 25829 0 -1 0 18147 3 1 0 59558 55 0 0 25 0 11 0 780106273 858320896 25796 4294967295 134512640 134569956 3221224368 3221214656 1131264375 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209551 25796 13086 16 0 209535 0
vsize: 838204
[startup+620.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6729
Raw data (stat): 6638 (java) R 6637 25830 25829 0 -1 0 18147 3 1 0 60537 55 0 0 25 0 11 0 780106273 858320896 25842 4294967295 134512640 134569956 3221224368 3221214652 1131248096 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209551 25842 13086 16 0 209535 0
vsize: 838204
[startup+630.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6729
Raw data (stat): 6638 (java) R 6637 25830 25829 0 -1 0 18147 3 1 0 61521 56 0 0 25 0 11 0 780106273 858320896 25976 4294967295 134512640 134569956 3221224368 3221214560 1131253196 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209551 25976 13086 16 0 209535 0
vsize: 838204
[startup+640.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6729
Raw data (stat): 6638 (java) R 6637 25830 25829 0 -1 0 18147 3 1 0 62510 56 0 0 25 0 11 0 780106273 858320896 25978 4294967295 134512640 134569956 3221224368 3221214720 1131370703 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209551 25978 13086 16 0 209535 0
vsize: 838204
[startup+650.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6729
Raw data (stat): 6638 (java) R 6637 25830 25829 0 -1 0 18147 3 1 0 63498 56 0 0 25 0 11 0 780106273 858320896 25980 4294967295 134512640 134569956 3221224368 3221214656 1131264654 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209551 25980 13086 16 0 209535 0
vsize: 838204
[startup+660.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6729
Raw data (stat): 6638 (java) R 6637 25830 25829 0 -1 0 18147 3 1 0 64483 56 0 0 24 0 11 0 780106273 858320896 26026 4294967295 134512640 134569956 3221224368 3221214560 1131252727 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209551 26026 13086 16 0 209535 0
vsize: 838204
[startup+670.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6729
Raw data (stat): 6638 (java) R 6637 25830 25829 0 -1 0 18147 3 1 0 65470 56 0 0 25 0 11 0 780106273 858320896 26026 4294967295 134512640 134569956 3221224368 3221214720 1131370825 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209551 26026 13086 16 0 209535 0
vsize: 838204
[startup+680.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6729
Raw data (stat): 6638 (java) R 6637 25830 25829 0 -1 0 18147 3 1 0 66455 56 0 0 25 0 11 0 780106273 858320896 26026 4294967295 134512640 134569956 3221224368 3221214568 1131249172 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209551 26026 13086 16 0 209535 0
vsize: 838204
[startup+690.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6729
Raw data (stat): 6638 (java) R 6637 25830 25829 0 -1 0 18147 3 1 0 67440 56 0 0 25 0 11 0 780106273 858320896 26115 4294967295 134512640 134569956 3221224368 3221214560 1131252549 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209551 26115 13086 16 0 209535 0
vsize: 838204
[startup+700.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6729
Raw data (stat): 6638 (java) R 6637 25830 25829 0 -1 0 18147 3 1 0 68429 56 0 0 25 0 11 0 780106273 858320896 26116 4294967295 134512640 134569956 3221224368 3221214864 1131221337 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209551 26116 13086 16 0 209535 0
vsize: 838204
[startup+710.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6729
Raw data (stat): 6638 (java) R 6637 25830 25829 0 -1 0 18147 3 1 0 69419 57 0 0 25 0 11 0 780106273 858320896 26116 4294967295 134512640 134569956 3221224368 3221214656 1131264311 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209551 26116 13086 16 0 209535 0
vsize: 838204
[startup+720.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6729
Raw data (stat): 6638 (java) R 6637 25830 25829 0 -1 0 18147 3 1 0 70407 57 0 0 25 0 11 0 780106273 858320896 26116 4294967295 134512640 134569956 3221224368 3221214560 1131252477 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209551 26116 13086 16 0 209535 0
vsize: 838204
[startup+730.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6729
Raw data (stat): 6638 (java) R 6637 25830 25829 0 -1 0 18147 3 1 0 71389 57 0 0 25 0 11 0 780106273 858320896 26160 4294967295 134512640 134569956 3221224368 3221214656 1131264289 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209551 26160 13086 16 0 209535 0
vsize: 838204
[startup+740.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6729
Raw data (stat): 6638 (java) R 6637 25830 25829 0 -1 0 18147 3 1 0 72369 57 0 0 25 0 11 0 780106273 858320896 26160 4294967295 134512640 134569956 3221224368 3221214720 1131371844 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209551 26160 13086 16 0 209535 0
vsize: 838204
[startup+750.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6729
Raw data (stat): 6638 (java) R 6637 25830 25829 0 -1 0 18147 3 1 0 73352 57 0 0 25 0 11 0 780106273 858320896 26160 4294967295 134512640 134569956 3221224368 3221214656 1131264724 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209551 26160 13086 16 0 209535 0
vsize: 838204
[startup+760.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6729
Raw data (stat): 6638 (java) R 6637 25830 25829 0 -1 0 18147 3 1 0 74331 57 0 0 25 0 11 0 780106273 858320896 26292 4294967295 134512640 134569956 3221224368 3221214656 1131264586 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209551 26292 13086 16 0 209535 0
vsize: 838204
[startup+770.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6729
Raw data (stat): 6638 (java) R 6637 25830 25829 0 -1 0 18147 3 1 0 75313 58 0 0 25 0 11 0 780106273 858320896 26292 4294967295 134512640 134569956 3221224368 3221214560 1131252549 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209551 26292 13086 16 0 209535 0
vsize: 838204
[startup+780.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6729
Raw data (stat): 6638 (java) R 6637 25830 25829 0 -1 0 18147 3 1 0 76293 58 0 0 25 0 11 0 780106273 858320896 26292 4294967295 134512640 134569956 3221224368 3221214720 1131370781 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209551 26292 13086 16 0 209535 0
vsize: 838204
[startup+790.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6729
Raw data (stat): 6638 (java) R 6637 25830 25829 0 -1 0 18147 3 1 0 77277 58 0 0 25 0 11 0 780106273 858320896 26427 4294967295 134512640 134569956 3221224368 3221214664 1131363269 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209551 26427 13086 16 0 209535 0
vsize: 838204
[startup+800.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6729
Raw data (stat): 6638 (java) R 6637 25830 25829 0 -1 0 18147 3 1 0 78266 58 0 0 25 0 11 0 780106273 858320896 26427 4294967295 134512640 134569956 3221224368 3221214656 1131264289 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209551 26427 13086 16 0 209535 0
vsize: 838204
[startup+810.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6729
Raw data (stat): 6638 (java) R 6637 25830 25829 0 -1 0 18147 3 1 0 79255 58 0 0 25 0 11 0 780106273 858320896 26427 4294967295 134512640 134569956 3221224368 3221214560 1131252533 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209551 26427 13086 16 0 209535 0
vsize: 838204
[startup+820.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6729
Raw data (stat): 6638 (java) R 6637 25830 25829 0 -1 0 18147 3 1 0 80245 59 0 0 25 0 11 0 780106273 858320896 26428 4294967295 134512640 134569956 3221224368 3221214560 1131252533 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209551 26428 13086 16 0 209535 0
vsize: 838204
[startup+830.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6729
Raw data (stat): 6638 (java) R 6637 25830 25829 0 -1 0 18147 3 1 0 81226 59 0 0 25 0 11 0 780106273 858320896 26471 4294967295 134512640 134569956 3221224368 3221214720 1131372777 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209551 26471 13086 16 0 209535 0
vsize: 838204
[startup+840.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6729
Raw data (stat): 6638 (java) R 6637 25830 25829 0 -1 0 18147 3 1 0 82209 59 0 0 25 0 11 0 780106273 858320896 26471 4294967295 134512640 134569956 3221224368 3221214720 1131370703 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209551 26471 13086 16 0 209535 0
vsize: 838204
[startup+850.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6729
Raw data (stat): 6638 (java) R 6637 25830 25829 0 -1 0 18147 3 1 0 83191 59 0 0 25 0 11 0 780106273 858320896 26471 4294967295 134512640 134569956 3221224368 3221214720 1131371689 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209551 26471 13086 16 0 209535 0
vsize: 838204
[startup+860.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6729
Raw data (stat): 6638 (java) R 6637 25830 25829 0 -1 0 18147 3 1 0 84168 59 0 0 25 0 11 0 780106273 858320896 26575 4294967295 134512640 134569956 3221224368 3221214656 1131265052 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209551 26575 13086 16 0 209535 0
vsize: 838204
[startup+870.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6729
Raw data (stat): 6638 (java) R 6637 25830 25829 0 -1 0 18147 3 1 0 85144 59 0 0 25 0 11 0 780106273 858320896 26575 4294967295 134512640 134569956 3221224368 3221214720 1131371876 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209551 26575 13086 16 0 209535 0
vsize: 838204
[startup+880.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6729
Raw data (stat): 6638 (java) R 6637 25830 25829 0 -1 0 18147 3 1 0 86121 59 0 0 25 0 11 0 780106273 858320896 26575 4294967295 134512640 134569956 3221224368 3221214560 1131252707 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209551 26575 13086 16 0 209535 0
vsize: 838204
[startup+890.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6729
Raw data (stat): 6638 (java) R 6637 25830 25829 0 -1 0 18147 3 1 0 87099 60 0 0 25 0 11 0 780106273 858320896 26767 4294967295 134512640 134569956 3221224368 3221214720 1131370791 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209551 26767 13086 16 0 209535 0
vsize: 838204
[startup+900.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6729
Raw data (stat): 6638 (java) R 6637 25830 25829 0 -1 0 18147 3 1 0 88081 60 0 0 25 0 11 0 780106273 858320896 26767 4294967295 134512640 134569956 3221224368 3221214720 1131371793 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209551 26767 13086 16 0 209535 0
vsize: 838204
[startup+910.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6729
Raw data (stat): 6638 (java) R 6637 25830 25829 0 -1 0 18147 3 1 0 89065 60 0 0 25 0 11 0 780106273 858320896 26767 4294967295 134512640 134569956 3221224368 3221214656 1131264289 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209551 26767 13086 16 0 209535 0
vsize: 838204
[startup+920.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6729
Raw data (stat): 6638 (java) R 6637 25830 25829 0 -1 0 18147 3 1 0 90043 60 0 0 25 0 11 0 780106273 858320896 26855 4294967295 134512640 134569956 3221224368 3221214720 1131370688 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209551 26855 13086 16 0 209535 0
vsize: 838204
[startup+930.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6729
Raw data (stat): 6638 (java) R 6637 25830 25829 0 -1 0 18147 3 1 0 91023 60 0 0 25 0 11 0 780106273 858320896 26855 4294967295 134512640 134569956 3221224368 3221214656 1131264737 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209551 26855 13086 16 0 209535 0
vsize: 838204
[startup+940.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6729
Raw data (stat): 6638 (java) R 6637 25830 25829 0 -1 0 18147 3 1 0 92001 61 0 0 25 0 11 0 780106273 858320896 26855 4294967295 134512640 134569956 3221224368 3221214560 1131253977 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209551 26855 13086 16 0 209535 0
vsize: 838204
[startup+950.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6729
Raw data (stat): 6638 (java) R 6637 25830 25829 0 -1 0 18147 3 1 0 92980 61 0 0 25 0 11 0 780106273 858320896 26988 4294967295 134512640 134569956 3221224368 3221214560 1131253945 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209551 26988 13086 16 0 209535 0
vsize: 838204
[startup+960.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6729
Raw data (stat): 6638 (java) R 6637 25830 25829 0 -1 0 18147 3 1 0 93962 61 0 0 24 0 11 0 780106273 858320896 26988 4294967295 134512640 134569956 3221224368 3221214560 1131252533 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209551 26988 13086 16 0 209535 0
vsize: 838204
[startup+970.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6729
Raw data (stat): 6638 (java) R 6637 25830 25829 0 -1 0 18147 3 1 0 94945 61 0 0 25 0 11 0 780106273 858320896 26988 4294967295 134512640 134569956 3221224368 3221214656 1131264300 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209551 26988 13086 16 0 209535 0
vsize: 838204
[startup+980.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6729
Raw data (stat): 6638 (java) R 6637 25830 25829 0 -1 0 18147 3 1 0 95928 62 0 0 25 0 11 0 780106273 858320896 26988 4294967295 134512640 134569956 3221224368 3221214560 1131252533 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209551 26988 13086 16 0 209535 0
vsize: 838204
[startup+990.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6729
Raw data (stat): 6638 (java) S 6637 25830 25829 0 -1 0 18147 3 1 0 96912 62 0 0 25 0 11 0 780106273 858320896 27079 4294967295 134512640 134569956 3221224368 3221213264 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209551 27079 13086 16 0 209535 0
vsize: 838204
[startup+1000.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6729
Raw data (stat): 6638 (java) R 6637 25830 25829 0 -1 0 18147 3 1 0 97898 63 0 0 25 0 11 0 780106273 858320896 27079 4294967295 134512640 134569956 3221224368 3221214656 1131264300 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209551 27079 13086 16 0 209535 0
vsize: 838204
[startup+1010.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6729
Raw data (stat): 6638 (java) R 6637 25830 25829 0 -1 0 18147 3 1 0 98883 64 0 0 25 0 11 0 780106273 858320896 27079 4294967295 134512640 134569956 3221224368 3221214720 1131371635 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209551 27079 13086 16 0 209535 0
vsize: 838204
[startup+1020.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6729
Raw data (stat): 6638 (java) R 6637 25830 25829 0 -1 0 18147 3 1 0 99865 64 0 0 25 0 11 0 780106273 858320896 27127 4294967295 134512640 134569956 3221224368 3221214560 1131252763 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209551 27127 13086 16 0 209535 0
vsize: 838204
[startup+1030.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6729
Raw data (stat): 6638 (java) R 6637 25830 25829 0 -1 0 18147 3 1 0 100841 64 0 0 25 0 11 0 780106273 858320896 27127 4294967295 134512640 134569956 3221224368 3221214720 1131370488 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209551 27127 13086 16 0 209535 0
vsize: 838204
[startup+1040.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6729
Raw data (stat): 6638 (java) R 6637 25830 25829 0 -1 0 18147 3 1 0 101819 64 0 0 25 0 11 0 780106273 858320896 27127 4294967295 134512640 134569956 3221224368 3221214652 1131252352 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209551 27127 13086 16 0 209535 0
vsize: 838204
[startup+1050.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6729
Raw data (stat): 6638 (java) R 6637 25830 25829 0 -1 0 18147 3 1 0 102799 64 0 0 25 0 11 0 780106273 858320896 27268 4294967295 134512640 134569956 3221224368 3221214720 1131373992 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209551 27268 13086 16 0 209535 0
vsize: 838204
[startup+1060.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6729
Raw data (stat): 6638 (java) R 6637 25830 25829 0 -1 0 18147 3 1 0 103785 65 0 0 25 0 11 0 780106273 858320896 27268 4294967295 134512640 134569956 3221224368 3221214560 1131252504 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209551 27268 13086 16 0 209535 0
vsize: 838204
[startup+1070.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6729
Raw data (stat): 6638 (java) R 6637 25830 25829 0 -1 0 18147 3 1 0 104770 65 0 0 25 0 11 0 780106273 858320896 27268 4294967295 134512640 134569956 3221224368 3221214560 1131252660 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209551 27268 13086 16 0 209535 0
vsize: 838204
[startup+1080.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6729
Raw data (stat): 6638 (java) R 6637 25830 25829 0 -1 0 18147 3 1 0 105757 65 0 0 25 0 11 0 780106273 858320896 27268 4294967295 134512640 134569956 3221224368 3221214652 1131252352 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209551 27268 13086 16 0 209535 0
vsize: 838204
[startup+1090.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6729
Raw data (stat): 6638 (java) R 6637 25830 25829 0 -1 0 18147 3 1 0 106740 65 0 0 25 0 11 0 780106273 858320896 27315 4294967295 134512640 134569956 3221224368 3221214720 1131370762 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209551 27315 13086 16 0 209535 0
vsize: 838204
[startup+1100.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6729
Raw data (stat): 6638 (java) R 6637 25830 25829 0 -1 0 18147 3 1 0 107718 66 0 0 25 0 11 0 780106273 858320896 27315 4294967295 134512640 134569956 3221224368 3221214560 1131252533 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209551 27315 13086 16 0 209535 0
vsize: 838204
[startup+1110.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6729
Raw data (stat): 6638 (java) R 6637 25830 25829 0 -1 0 18147 3 1 0 108695 66 0 0 25 0 11 0 780106273 858320896 27315 4294967295 134512640 134569956 3221224368 3221214560 1131252399 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209551 27315 13086 16 0 209535 0
vsize: 838204
[startup+1120.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6729
Raw data (stat): 6638 (java) R 6637 25830 25829 0 -1 0 18147 3 1 0 109674 67 0 0 25 0 11 0 780106273 858320896 27453 4294967295 134512640 134569956 3221224368 3221214656 1131264705 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209551 27453 13086 16 0 209535 0
vsize: 838204
[startup+1130.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6729
Raw data (stat): 6638 (java) R 6637 25830 25829 0 -1 0 18147 3 1 0 110648 67 0 0 25 0 11 0 780106273 858320896 27454 4294967295 134512640 134569956 3221224368 3221214560 1131252683 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209551 27454 13086 16 0 209535 0
vsize: 838204
[startup+1140.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6729
Raw data (stat): 6638 (java) R 6637 25830 25829 0 -1 0 18147 3 1 0 111607 67 0 0 25 0 11 0 780106273 858320896 27454 4294967295 134512640 134569956 3221224368 3221214560 1131252715 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209551 27454 13086 16 0 209535 0
vsize: 838204
[startup+1150.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6729
Raw data (stat): 6638 (java) R 6637 25830 25829 0 -1 0 18147 3 1 0 112557 67 0 0 25 0 11 0 780106273 858320896 27454 4294967295 134512640 134569956 3221224368 3221214656 1131264300 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209551 27454 13086 16 0 209535 0
vsize: 838204
[startup+1160.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6729
Raw data (stat): 6638 (java) R 6637 25830 25829 0 -1 0 18147 3 1 0 113511 67 0 0 25 0 11 0 780106273 858320896 27586 4294967295 134512640 134569956 3221224368 3221214720 1131373203 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209551 27586 13086 16 0 209535 0
vsize: 838204
[startup+1170.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6729
Raw data (stat): 6638 (java) R 6637 25830 25829 0 -1 0 18147 3 1 0 114485 67 0 0 25 0 11 0 780106273 858320896 27900 4294967295 134512640 134569956 3221224368 3221214560 1131252781 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209551 27900 13086 16 0 209535 0
vsize: 838204
[startup+1180.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6729
Raw data (stat): 6638 (java) R 6637 25830 25829 0 -1 0 18147 3 1 0 115461 67 0 0 25 0 11 0 780106273 858320896 27901 4294967295 134512640 134569956 3221224368 3221214656 1131264375 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209551 27901 13086 16 0 209535 0
vsize: 838204
[startup+1190.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6729
Raw data (stat): 6638 (java) R 6637 25830 25829 0 -1 0 18147 3 1 0 116417 68 0 0 24 0 11 0 780106273 858320896 27901 4294967295 134512640 134569956 3221224368 3221214560 1131252549 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209551 27901 13086 16 0 209535 0
vsize: 838204
[startup+1200.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6729
Raw data (stat): 6638 (java) R 6637 25830 25829 0 -1 0 18147 3 1 0 117374 68 0 0 24 0 11 0 780106273 858320896 27901 4294967295 134512640 134569956 3221224368 3221214560 1131254178 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209551 27901 13086 16 0 209535 0
vsize: 838204
[startup+1210.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6729
Raw data (stat): 6638 (java) R 6637 25830 25829 0 -1 0 18147 3 1 0 118335 68 0 0 25 0 11 0 780106273 858320896 28033 4294967295 134512640 134569956 3221224368 3221214560 1131252733 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209551 28033 13086 16 0 209535 0
vsize: 838204
[startup+1220.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6729
Raw data (stat): 6638 (java) R 6637 25830 25829 0 -1 0 18147 3 1 0 119316 69 0 0 25 0 11 0 780106273 858320896 28270 4294967295 134512640 134569956 3221224368 3221214656 1131264498 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209551 28270 13086 16 0 209535 0
vsize: 838204
[startup+1230.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6729
Raw data (stat): 6638 (java) R 6637 25830 25829 0 -1 0 18147 3 1 0 120301 69 0 0 24 0 11 0 780106273 858320896 28270 4294967295 134512640 134569956 3221224368 3221214560 1131253184 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209551 28270 13086 16 0 209535 0
vsize: 838204
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1230.39 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 6731
Raw data (stat): 6638 (java) Z 6637 25830 25829 0 -1 1036 18147 13823 1 0 120326 74 3588 39 25 0 1 0 780106273 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): 1230.39
CPU time (s): 1240.29
CPU user time (s): 1239.15
CPU system time (s): 1.13583
CPU usage (%): 100.805
Max. virtual memory (Kb): 838492
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	20977859
#### END VERIFIER DATA ####