Name | normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-israel.opb |
MD5SUM | 326c72a25c8066513471046cf298330a |
Bench Category | optimization, big integers (OPTBIGINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -2147483648 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 1780 |
Biggest coefficient in the objective function | 788267008000 |
Number of bits for the biggest coefficient in the objective function | 40 |
Sum of the numbers in the objective function | 9669174315900 |
Number of bits of the sum of numbers in the objective function | 44 |
Biggest number in a constraint | 788267008000 |
Number of bits of the biggest number in a constraint | 40 |
Biggest sum of numbers in a constraint | 9669174315900 |
Number of bits of the biggest sum of numbers | 44 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1218.06 |
Number of variables | 2840 |
Total number of constraints | 174 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 174 |
Minimum length of a constraint | 20 |
Maximum length of a constraint | 2360 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc22 THE 2005-05-25 12:00:03 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=21238 boxname=wulflinc22 idbench=1226 idsolver=14 numberseed=0 MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e /oldhome/oroussel/solvers/sat4jPseudoBis.jar MD5SUM BENCH: 326c72a25c8066513471046cf298330a /oldhome/oroussel/tmp/wulflinc22/normalized-mps-v2-13-7-israel.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc22/normalized-mps-v2-13-7-israel.opb IDLAUNCH: 21238 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.031 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 890.88 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.031 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: 677944 kB Buffers: 33040 kB Cached: 301256 kB SwapCached: 400 kB Active: 60340 kB Inactive: 276168 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 677692 kB SwapTotal: 2097892 kB SwapFree: 2096804 kB Dirty: 40 kB Writeback: 0 kB Mapped: 5576 kB Slab: 14668 kB Committed_AS: 63600 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-05-25 12:20:26 (client local time) WITH STATUS 143 IN 1218.06 SECONDS stats: 21238 0 1218.06 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/wulflinc22/normalized-mps-v2-13-7-israel.opb c reading problem ... done. Time 7.105 ms. c #vars 2840 c #constraints 174 c SATISFIABLE c OPTIMIZING... c CURRENT OPTIMUM= -12419072000 Current CPU time: 14.78 ms c CURRENT OPTIMUM= -13860864000 Current CPU time: 24.27 ms c CURRENT OPTIMUM= -14581760000 Current CPU time: 37.15 ms c CURRENT OPTIMUM= -14942208000 Current CPU time: 52.77 ms c CURRENT OPTIMUM= -15032320000 Current CPU time: 70.93 ms c CURRENT OPTIMUM= -15077376000 Current CPU time: 92.10 ms c CURRENT OPTIMUM= -15078080000 Current CPU time: 116.72 ms c CURRENT OPTIMUM= -15078256000 Current CPU time: 144.51 ms c CURRENT OPTIMUM= -15078344000 Current CPU time: 175.42 ms c CURRENT OPTIMUM= -15078388000 Current CPU time: 209.44 ms c CURRENT OPTIMUM= -15078393500 Current CPU time: 278.91 ms c CURRENT OPTIMUM= -28905082450 Current CPU time: 329.69 ms c starts : 13 c conflicts : 88 c decisions : 17217 c propagations : 44232 c inspects : 271527 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 88 c root simplifications : 40 s SATISFIABLE v A301_bit_7 -A301_bit_6 -A301_bit_5 -A301_bit_4 -A301_bit_3 -A301_bit_2 -A301_bit_1 -A301_bit0 -A301_bit1 -A301_bit2 -A301_bit3 -A301_bit4 -A301_bit5 -A301_bit6 -A301_bit7 -A301_bit8 -A301_bit9 -A301_bit10 -A301_bit11 -A301_bit12 -A302_bit_7 -A302_bit_6 -A302_bit_5 -A302_bit_4 -A302_bit_3 -A302_bit_2 -A302_bit_1 -A302_bit0 -A302_bit1 -A302_bit2 -A302_bit3 -A302_bit4 -A302_bit5 -A302_bit6 -A302_bit7 -A302_bit8 -A302_bit9 -A302_bit10 -A302_bit11 -A302_bit12 A303_bit_7 -A303_bit_6 -A303_bit_5 -A303_bit_4 -A303_bit_3 A303_bit_2 -A303_bit_1 -A303_bit0 -A303_bit1 -A303_bit2 -A303_bit3 -A303_bit4 -A303_bit5 -A303_bit6 -A303_bit7 -A303_bit8 -A303_bit9 -A303_bit10 -A303_bit11 -A303_bit12 -A304_bit_7 -A304_bit_6 -A304_bit_5 -A304_bit_4 -A304_bit_3 -A304_bit_2 -A304_bit_1 -A304_bit0 -A304_bit1 -A304_bit2 -A304_bit3 -A304_bit4 -A304_bit5 -A304_bit6 -A304_bit7 -A304_bit8 -A304_bit9 -A304_bit10 -A304_bit11 -A304_bit12 -A305_bit_7 -A305_bit_6 -A305_bit_5 -A305_bit_4 -A305_bit_3 -A305_bit_2 -A305_bit_1 -A305_bit0 -A305_bit1 -A305_bit2 -A305_bit3 -A305_bit4 -A305_bit5 -A305_bit6 -A305_bit7 -A305_bit8 -A305_bit9 -A305_bit10 -A305_bit11 -A305_bit12 -A306_bit_7 -A306_bit_6 -A306_bit_5 -A306_bit_4 -A306_bit_3 -A306_bit_2 -A306_bit_1 -A306_bit0 -A306_bit1 -A306_bit2 -A306_bit3 -A306_bit4 -A306_bit5 -A306_bit6 -A306_bit7 -A306_bit8 -A306_bit9 -A306_bit10 -A306_bit11 -A306_bit12 -A307_bit_7 -A307_bit_6 -A307_bit_5 -A307_bit_4 -A307_bit_3 -A307_bit_2 -A307_bit_1 -A307_bit0 -A307_bit1 -A307_bit2 -A307_bit3 -A307_bit4 -A307_bit5 -A307_bit6 -A307_bit7 -A307_bit8 -A307_bit9 -A307_bit10 -A307_bit11 -A307_bit12 -A308_bit_7 -A308_bit_6 -A308_bit_5 -A308_bit_4 -A308_bit_3 -A308_bit_2 -A308_bit_1 -A308_bit0 -A308_bit1 -A308_bit2 -A308_bit3 -A308_bit4 -A308_bit5 -A308_bit6 -A308_bit7 -A308_bit8 -A308_bit9 -A308_bit10 -A308_bit11 -A308_bit12 -A309_bit_7 -A309_bit_6 -A309_bit_5 -A309_bit_4 -A309_bit_3 -A309_bit_2 -A309_bit_1 -A309_bit0 -A309_bit1 -A309_bit2 -A309_bit3 -A309_bit4 -A309_bit5 -A309_bit6 -A309_bit7 -A309_bit8 -A309_bit9 -A309_bit10 -A309_bit11 -A309_bit12 -A310_bit_7 -A310_bit_6 -A310_bit_5 -A310_bit_4 -A310_bit_3 -A310_bit_2 -A310_bit_1 -A310_bit0 -A310_bit1 -A310_bit2 -A310_bit3 -A310_bit4 -A310_bit5 -A310_bit6 -A310_bit7 -A310_bit8 -A310_bit9 -A310_bit10 -A310_bit11 -A310_bit12 -A311_bit_7 -A311_bit_6 -A311_bit_5 -A311_bit_4 -A311_bit_3 -A311_bit_2 -A311_bit_1 -A311_bit0 -A311_bit1 -A311_bit2 -A311_bit3 -A311_bit4 -A311_bit5 -A311_bit6 -A311_bit7 -A311_bit8 -A311_bit9 -A311_bit10 -A311_bit11 -A311_bit12 -A312_bit_7 -A312_bit_6 -A312_bit_5 -A312_bit_4 -A312_bit_3 -A312_bit_2 -A312_bit_1 -A312_bit0 -A312_bit1 -A312_bit2 -A312_bit3 -A312_bit4 -A312_bit5 -A312_bit6 -A312_bit7 -A312_bit8 -A312_bit9 -A312_bit10 -A312_bit11 -A312_bit12 -A313_bit_7 -A313_bit_6 -A313_bit_5 -A313_bit_4 -A313_bit_3 -A313_bit_2 -A313_bit_1 -A313_bit0 -A313_bit1 -A313_bit2 -A313_bit3 -A313_bit4 -A313_bit5 -A313_bit6 -A313_bit7 -A313_bit8 -A313_bit9 -A313_bit10 -A313_bit11 -A313_bit12 -A314_bit_7 -A314_bit_6 -A314_bit_5 -A314_bit_4 -A314_bit_3 -A314_bit_2 -A314_bit_1 -A314_bit0 -A314_bit1 -A314_bit2 -A314_bit3 -A314_bit4 -A314_bit5 -A314_bit6 -A314_bit7 -A314_bit8 -A314_bit9 -A314_bit10 -A314_bit11 -A314_bit12 -A315_bit_7 -A315_bit_6 -A315_bit_5 -A315_bit_4 -A315_bit_3 -A315_bit_2 -A315_bit_1 -A315_bit0 -A315_bit1 -A315_bit2 -A315_bit3 -A315_bit4 -A315_bit5 -A315_bit6 -A315_bit7 -A315_bit8 -A315_bit9 -A315_bit10 -A315_bit11 -A315_bit12 -A316_bit_7 -A316_bit_6 -A316_bit_5 -A316_bit_4 -A316_bit_3 -A316_bit_2 -A316_bit_1 -A316_bit0 -A316_bit1 -A316_bit2 -A316_bit3 -A316_bit4 -A316_bit5 -A316_bit6 -A316_bit7 -A316_bit8 -A316_bit9 -A316_bit10 -A316_bit11 -A316_bit12 -A317_bit_7 -A317_bit_6 -A317_bit_5 -A317_bit_4 -A317_bit_3 -A317_bit_2 -A317_bit_1 -A317_bit0 -A317_bit1 -A317_bit2 -A317_bit3 -A317_bit4 -A317_bit5 -A317_bit6 -A317_bit7 -A317_bit8 -A317_bit9 -A317_bit10 -A317_bit11 -A317_bit12 -A318_bit_7 -A318_bit_6 -A318_bit_5 -A318_bit_4 -A318_bit_3 -A318_bit_2 -A318_bit_1 -A318_bit0 -A318_bit1 -A318_bit2 -A318_bit3 -A318_bit4 -A318_bit5 -A318_bit6 -A318_bit7 -A318_bit8 -A318_bit9 -A318_bit10 -A318_bit11 -A318_bit12 -A319_bit_7 -A319_bit_6 -A319_bit_5 -A319_bit_4 -A319_bit_3 -A319_bit_2 -A319_bit_1 -A319_bit0 -A319_bit1 -A319_bit2 -A319_bit3 -A319_bit4 -A319_bit5 -A319_bit6 -A319_bit7 -A319_bit8 -A319_bit9 -A319_bit10 -A319_bit11 -A319_bit12 -A320_bit_7 -A320_bit_6 -A320_bit_5 -A320_bit_4 -A320_bit_3 -A320_bit_2 -A320_bit_1 -A320_bit0 -A320_bit1 -A320_bit2 -A320_bit3 -A320_bit4 -A320_bit5 -A320_bit6 -A320_bit7 -A320_bit8 -A320_bit9 -A320_bit10 -A320_bit11 -A320_bit12 -A321_bit_7 -A321_bit_6 -A321_bit_5 -A321_bit_4 -A321_bit_3 -A321_bit_2 -A321_bit_1 -A321_bit0 -A321_bit1 -A321_bit2 -A321_bit3 -A321_bit4 -A321_bit5 -A321_bit6 -A321_bit7 -A321_bit8 -A321_bit9 -A321_bit10 -A321_bit11 -A321_bit12 -A322_bit_7 -A322_bit_6 -A322_bit_5 -A322_bit_4 -A322_bit_3 -A322_bit_2 -A322_bit_1 -A322_bit0 -A322_bit1 -A322_bit2 -A322_bit3 -A322_bit4 -A322_bit5 -A322_bit6 -A322_bit7 -A322_bit8 -A322_bit9 -A322_bit10 -A322_bit11 -A322_bit12 -A323_bit_7 -A323_bit_6 -A323_bit_5 -A323_bit_4 -A323_bit_3 -A323_bit_2 -A323_bit_1 -A323_bit0 -A323_bit1 -A323_bit2 -A323_bit3 -A323_bit4 -A323_bit5 -A323_bit6 -A323_bit7 -A323_bit8 -A323_bit9 -A323_bit10 -A323_bit11 -A323_bit12 -A324_bit_7 -A324_bit_6 -A324_bit_5 -A324_bit_4 -A324_bit_3 -A324_bit_2 -A324_bit_1 -A324_bit0 -A324_bit1 -A324_bit2 -A324_bit3 -A324_bit4 -A324_bit5 -A324_bit6 -A324_bit7 -A324_bit8 -A324_bit9 -A324_bit10 -A324_bit11 -A324_bit12 -A325_bit_7 -A325_bit_6 -A325_bit_5 -A325_bit_4 -A325_bit_3 -A325_bit_2 -A325_bit_1 -A325_bit0 -A325_bit1 -A325_bit2 -A325_bit3 -A325_bit4 -A325_bit5 -A325_bit6 -A325_bit7 -A325_bit8 -A325_bit9 -A325_bit10 -A325_bit11 -A325_bit12 -A326_bit_7 -A326_bit_6 -A326_bit_5 -A326_bit_4 -A326_bit_3 -A326_bit_2 -A326_bit_1 -A326_bit0 -A326_bit1 -A326_bit2 -A326_bit3 -A326_bit4 -A326_bit5 -A326_bit6 -A326_bit7 -A326_bit8 -A326_bit9 -A326_bit10 -A326_bit11 -A326_bit12 -A327_bit_7 -A327_bit_6 -A327_bit_5 -A327_bit_4 -A327_bit_3 -A327_bit_2 -A327_bit_1 -A327_bit0 -A327_bit1 -A327_bit2 -A327_bit3 -A327_bit4 -A327_bit5 -A327_bit6 -A327_bit7 -A327_bit8 -A327_bit9 -A327_bit10 -A327_bit11 -A327_bit12 -A328_bit_7 -A328_bit_6 -A328_bit_5 -A328_bit_4 -A328_bit_3 -A328_bit_2 -A328_bit_1 -A328_bit0 -A328_bit1 -A328_bit2 -A328_bit3 -A328_bit4 -A328_bit5 -A328_bit6 -A328_bit7 -A328_bit8 -A328_bit9 -A328_bit10 -A328_bit11 -A328_bit12 -A329_bit_7 -A329_bit_6 -A329_bit_5 -A329_bit_4 -A329_bit_3 -A329_bit_2 -A329_bit_1 -A329_bit0 -A329_bit1 -A329_bit2 -A329_bit3 -A329_bit4 -A329_bit5 -A329_bit6 -A329_bit7 -A329_bit8 -A329_bit9 -A329_bit10 -A329_bit11 -A329_bit12 -A330_bit_7 -A330_bit_6 -A330_bit_5 -A330_bit_4 -A330_bit_3 -A330_bit_2 -A330_bit_1 -A330_bit0 -A330_bit1 -A330_bit2 -A330_bit3 -A330_bit4 -A330_bit5 -A330_bit6 -A330_bit7 -A330_bit8 -A330_bit9 -A330_bit10 -A330_bit11 -A330_bit12 -A331_bit_7 -A331_bit_6 -A331_bit_5 -A331_bit_4 -A331_bit_3 -A331_bit_2 -A331_bit_1 -A331_bit0 -A331_bit1 -A331_bit2 -A331_bit3 -A331_bit4 -A331_bit5 -A331_bit6 -A331_bit7 -A331_bit8 -A331_bit9 -A331_bit10 -A331_bit11 -A331_bit12 -A332_bit_7 -A332_bit_6 -A332_bit_5 -A332_bit_4 -A332_bit_3 -A332_bit_2 -A332_bit_1 -A332_bit0 -A332_bit1 -A332_bit2 -A332_bit3 -A332_bit4 -A332_bit5 -A332_bit6 -A332_bit7 -A332_bit8 -A332_bit9 A332_bit10 -A332_bit11 -A332_bit12 -A333_bit_7 -A333_bit_6 -A333_bit_5 -A333_bit_4 -A333_bit_3 -A333_bit_2 -A333_bit_1 -A333_bit0 -A333_bit1 -A333_bit2 -A333_bit3 -A333_bit4 -A333_bit5 -A333_bit6 -A333_bit7 -A333_bit8 -A333_bit9 -A333_bit10 -A333_bit11 -A333_bit12 -A334_bit_7 -A334_bit_6 -A334_bit_5 -A334_bit_4 -A334_bit_3 -A334_bit_2 -A334_bit_1 -A334_bit0 -A334_bit1 -A334_bit2 -A334_bit3 -A334_bit4 -A334_bit5 -A334_bit6 -A334_bit7 -A334_bit8 A334_bit9 -A334_bit10 -A334_bit11 -A334_bit12 -A335_bit_7 -A335_bit_6 -A335_bit_5 -A335_bit_4 -A335_bit_3 -A335_bit_2 -A335_bit_1 -A335_bit0 -A335_bit1 -A335_bit2 -A335_bit3 -A335_bit4 -A335_bit5 -A335_bit6 -A335_bit7 -A335_bit8 -A335_bit9 -A335_bit10 -A335_bit11 -A335_bit12 -A336_bit_7 -A336_bit_6 -A336_bit_5 -A336_bit_4 -A336_bit_3 -A336_bit_2 -A336_bit_1 -A336_bit0 -A336_bit1 -A336_bit2 -A336_bit3 -A336_bit4 -A336_bit5 -A336_bit6 -A336_bit7 A336_bit8 -A336_bit9 -A336_bit10 -A336_bit11 -A336_bit12 A337_bit_7 A337_bit_6 A337_bit_5 A337_bit_4 A337_bit_3 A337_bit_2 A337_bit_1 A337_bit0 A337_bit1 A337_bit2 A337_bit3 A337_bit4 A337_bit5 A337_bit6 A337_bit7 -A337_bit8 -A337_bit9 -A337_bit10 -A337_bit11 -A337_bit12 -A338_bit_7 -A338_bit_6 -A338_bit_5 -A338_bit_4 -A338_bit_3 -A338_bit_2 -A338_bit_1 -A338_bit0 -A338_bit1 -A338_bit2 -A338_bit3 -A338_bit4 -A338_bit5 -A338_bit6 -A338_bit7 -A338_bit8 -A338_bit9 -A338_bit10 -A338_bit11 -A338_bit12 -A339_bit_7 -A339_bit_6 -A339_bit_5 -A339_bit_4 -A339_bit_3 -A339_bit_2 -A339_bit_1 -A339_bit0 -A339_bit1 -A339_bit2 -A339_bit3 -A339_bit4 -A339_bit5 -A339_bit6 -A339_bit7 -A339_bit8 -A339_bit9 -A339_bit10 -A339_bit11 -A339_bit12 -A340_bit_7 -A340_bit_6 -A340_bit_5 -A340_bit_4 -A340_bit_3 -A340_bit_2 -A340_bit_1 -A340_bit0 -A340_bit1 -A340_bit2 -A340_bit3 -A340_bit4 -A340_bit5 -A340_bit6 -A340_bit7 -A340_bit8 -A340_bit9 A340_bit10 -A340_bit11 -A340_bit12 -A341_bit_7 -A341_bit_6 -A341_bit_5 -A341_bit_4 -A341_bit_3 -A341_bit_2 -A341_bit_1 -A341_bit0 -A341_bit1 A341_bit2 A341_bit3 -A341_bit4 A341_bit5 -A341_bit6 -A341_bit7 A341_bit8 -A341_bit9 -A341_bit10 -A341_bit11 -A341_bit12 -A342_bit_7 -A342_bit_6 -A342_bit_5 -A342_bit_4 -A342_bit_3 -A342_bit_2 -A342_bit_1 -A342_bit0 -A342_bit1 -A342_bit2 -A342_bit3 -A342_bit4 -A342_bit5 -A342_bit6 -A342_bit7 -A342_bit8 A342_bit9 A342_bit10 -A342_bit11 -A342_bit12 -A343_bit_7 -A343_bit_6 -A343_bit_5 -A343_bit_4 -A343_bit_3 -A343_bit_2 -A343_bit_1 -A343_bit0 -A343_bit1 -A343_bit2 -A343_bit3 -A343_bit4 -A343_bit5 -A343_bit6 -A343_bit7 -A343_bit8 -A343_bit9 -A343_bit10 -A343_bit11 -A343_bit12 -A344_bit_7 -A344_bit_6 -A344_bit_5 -A344_bit_4 -A344_bit_3 -A344_bit_2 -A344_bit_1 -A344_bit0 -A344_bit1 -A344_bit2 A344_bit3 -A344_bit4 -A344_bit5 A344_bit6 A344_bit7 -A344_bit8 -A344_bit9 -A344_bit10 -A344_bit11 -A344_bit12 -A345_bit_7 -A345_bit_6 -A345_bit_5 -A345_bit_4 -A345_bit_3 -A345_bit_2 -A345_bit_1 -A345_bit0 -A345_bit1 -A345_bit2 -A345_bit3 -A345_bit4 -A345_bit5 -A345_bit6 -A345_bit7 -A345_bit8 -A345_bit9 -A345_bit10 A345_bit11 -A345_bit12 -A346_bit_7 -A346_bit_6 -A346_bit_5 -A346_bit_4 -A346_bit_3 -A346_bit_2 -A346_bit_1 -A346_bit0 -A346_bit1 -A346_bit2 -A346_bit3 A346_bit4 -A346_bit5 -A346_bit6 A346_bit7 A346_bit8 -A346_bit9 -A346_bit10 -A346_bit11 -A346_bit12 -A347_bit_7 -A347_bit_6 -A347_bit_5 -A347_bit_4 -A347_bit_3 -A347_bit_2 -A347_bit_1 -A347_bit0 -A347_bit1 -A347_bit2 -A347_bit3 -A347_bit4 -A347_bit5 -A347_bit6 -A347_bit7 -A347_bit8 -A347_bit9 A347_bit10 -A347_bit11 -A347_bit12 -A348_bit_7 -A348_bit_6 -A348_bit_5 -A348_bit_4 -A348_bit_3 -A348_bit_2 -A348_bit_1 -A348_bit0 -A348_bit1 -A348_bit2 -A348_bit3 -A348_bit4 A348_bit5 A348_bit6 A348_bit7 -A348_bit8 -A348_bit9 -A348_bit10 -A348_bit11 -A348_bit12 -A349_bit_7 -A349_bit_6 -A349_bit_5 -A349_bit_4 -A349_bit_3 -A349_bit_2 -A349_bit_1 -A349_bit0 -A349_bit1 -A349_bit2 -A349_bit3 -A349_bit4 -A349_bit5 -A349_bit6 -A349_bit7 -A349_bit8 -A349_bit9 -A349_bit10 -A349_bit11 -A349_bit12 -A350_bit_7 -A350_bit_6 -A350_bit_5 -A350_bit_4 -A350_bit_3 -A350_bit_2 -A350_bit_1 -A350_bit0 -A350_bit1 -A350_bit2 -A350_bit3 -A350_bit4 -A350_bit5 -A350_bit6 -A350_bit7 -A350_bit8 -A350_bit9 -A350_bit10 -A350_bit11 -A350_bit12 -A351_bit_7 -A351_bit_6 -A351_bit_5 -A351_bit_4 -A351_bit_3 -A351_bit_2 -A351_bit_1 -A351_bit0 -A351_bit1 -A351_bit2 -A351_bit3 -A351_bit4 -A351_bit5 -A351_bit6 -A351_bit7 -A351_bit8 -A351_bit9 -A351_bit10 -A351_bit11 -A351_bit12 -A352_bit_7 -A352_bit_6 -A352_bit_5 -A352_bit_4 -A352_bit_3 -A352_bit_2 -A352_bit_1 -A352_bit0 -A352_bit1 -A352_bit2 -A352_bit3 -A352_bit4 -A352_bit5 -A352_bit6 -A352_bit7 -A352_bit8 -A352_bit9 -A352_bit10 -A352_bit11 -A352_bit12 -A353_bit_7 -A353_bit_6 -A353_bit_5 -A353_bit_4 -A353_bit_3 -A353_bit_2 -A353_bit_1 -A353_bit0 -A353_bit1 -A353_bit2 -A353_bit3 -A353_bit4 -A353_bit5 -A353_bit6 -A353_bit7 -A353_bit8 -A353_bit9 -A353_bit10 -A353_bit11 -A353_bit12 A354_bit_7 A354_bit_6 A354_bit_5 -A354_bit_4 -A354_bit_3 -A354_bit_2 A354_bit_1 -A354_bit0 A354_bit1 A354_bit2 A354_bit3 A354_bit4 A354_bit5 -A354_bit6 -A354_bit7 A354_bit8 -A354_bit9 -A354_bit10 -A354_bit11 -A354_bit12 -A355_bit_7 -A355_bit_6 -A355_bit_5 -A355_bit_4 -A355_bit_3 -A355_bit_2 -A355_bit_1 -A355_bit0 -A355_bit1 -A355_bit2 -A355_bit3 -A355_bit4 -A355_bit5 -A355_bit6 -A355_bit7 -A355_bit8 -A355_bit9 -A355_bit10 -A355_bit11 -A355_bit12 -A356_bit_7 -A356_bit_6 -A356_bit_5 -A356_bit_4 -A356_bit_3 -A356_bit_2 -A356_bit_1 -A356_bit0 -A356_bit1 -A356_bit2 -A356_bit3 -A356_bit4 -A356_bit5 -A356_bit6 -A356_bit7 -A356_bit8 -A356_bit9 -A356_bit10 -A356_bit11 -A356_bit12 -A357_bit_7 -A357_bit_6 -A357_bit_5 -A357_bit_4 -A357_bit_3 -A357_bit_2 -A357_bit_1 -A357_bit0 -A357_bit1 -A357_bit2 -A357_bit3 -A357_bit4 -A357_bit5 -A357_bit6 -A357_bit7 -A357_bit8 -A357_bit9 -A357_bit10 -A357_bit11 -A357_bit12 -A358_bit_7 -A358_bit_6 -A358_bit_5 -A358_bit_4 -A358_bit_3 -A358_bit_2 -A358_bit_1 -A358_bit0 -A358_bit1 -A358_bit2 -A358_bit3 -A358_bit4 -A358_bit5 -A358_bit6 -A358_bit7 -A358_bit8 -A358_bit9 -A358_bit10 -A358_bit11 -A358_bit12 -A359_bit_7 -A359_bit_6 -A359_bit_5 -A359_bit_4 -A359_bit_3 -A359_bit_2 -A359_bit_1 -A359_bit0 -A359_bit1 -A359_bit2 -A359_bit3 -A359_bit4 -A359_bit5 -A359_bit6 -A359_bit7 -A359_bit8 -A359_bit9 -A359_bit10 -A359_bit11 -A359_bit12 -A360_bit_7 -A360_bit_6 -A360_bit_5 -A360_bit_4 -A360_bit_3 -A360_bit_2 -A360_bit_1 -A360_bit0 -A360_bit1 -A360_bit2 -A360_bit3 -A360_bit4 -A360_bit5 -A360_bit6 -A360_bit7 -A360_bit8 -A360_bit9 -A360_bit10 -A360_bit11 -A360_bit12 -A361_bit_7 -A361_bit_6 -A361_bit_5 -A361_bit_4 -A361_bit_3 -A361_bit_2 -A361_bit_1 -A361_bit0 -A361_bit1 -A361_bit2 -A361_bit3 -A361_bit4 -A361_bit5 -A361_bit6 -A361_bit7 -A361_bit8 -A361_bit9 -A361_bit10 -A361_bit11 -A361_bit12 -A362_bit_7 -A362_bit_6 -A362_bit_5 -A362_bit_4 -A362_bit_3 -A362_bit_2 -A362_bit_1 -A362_bit0 -A362_bit1 -A362_bit2 -A362_bit3 -A362_bit4 -A362_bit5 -A362_bit6 -A362_bit7 -A362_bit8 -A362_bit9 -A362_bit10 -A362_bit11 -A362_bit12 -A363_bit_7 -A363_bit_6 -A363_bit_5 -A363_bit_4 -A363_bit_3 -A363_bit_2 -A363_bit_1 -A363_bit0 -A363_bit1 -A363_bit2 -A363_bit3 -A363_bit4 -A363_bit5 -A363_bit6 -A363_bit7 -A363_bit8 -A363_bit9 -A363_bit10 -A363_bit11 -A363_bit12 -A364_bit_7 -A364_bit_6 -A364_bit_5 -A364_bit_4 -A364_bit_3 -A364_bit_2 -A364_bit_1 -A364_bit0 -A364_bit1 -A364_bit2 -A364_bit3 -A364_bit4 -A364_bit5 -A364_bit6 -A364_bit7 -A364_bit8 -A364_bit9 -A364_bit10 -A364_bit11 -A364_bit12 -A365_bit_7 -A365_bit_6 -A365_bit_5 -A365_bit_4 -A365_bit_3 -A365_bit_2 -A365_bit_1 -A365_bit0 -A365_bit1 -A365_bit2 -A365_bit3 -A365_bit4 -A365_bit5 -A365_bit6 -A365_bit7 -A365_bit8 -A365_bit9 -A365_bit10 -A365_bit11 -A365_bit12 -A366_bit_7 -A366_bit_6 -A366_bit_5 -A366_bit_4 -A366_bit_3 -A366_bit_2 -A366_bit_1 -A366_bit0 -A366_bit1 -A366_bit2 -A366_bit3 -A366_bit4 -A366_bit5 -A366_bit6 -A366_bit7 -A366_bit8 -A366_bit9 -A366_bit10 -A366_bit11 -A366_bit12 -A367_bit_7 -A367_bit_6 -A367_bit_5 -A367_bit_4 -A367_bit_3 -A367_bit_2 -A367_bit_1 -A367_bit0 -A367_bit1 -A367_bit2 -A367_bit3 -A367_bit4 -A367_bit5 -A367_bit6 -A367_bit7 -A367_bit8 -A367_bit9 -A367_bit10 -A367_bit11 -A367_bit12 -A368_bit_7 -A368_bit_6 -A368_bit_5 -A368_bit_4 -A368_bit_3 -A368_bit_2 -A368_bit_1 -A368_bit0 -A368_bit1 -A368_bit2 -A368_bit3 -A368_bit4 -A368_bit5 -A368_bit6 -A368_bit7 -A368_bit8 -A368_bit9 -A368_bit10 -A368_bit11 -A368_bit12 -A369_bit_7 -A369_bit_6 -A369_bit_5 -A369_bit_4 -A369_bit_3 -A369_bit_2 -A369_bit_1 -A369_bit0 -A369_bit1 -A369_bit2 -A369_bit3 -A369_bit4 -A369_bit5 -A369_bit6 -A369_bit7 -A369_bit8 -A369_bit9 -A369_bit10 -A369_bit11 -A369_bit12 -A370_bit_7 -A370_bit_6 -A370_bit_5 -A370_bit_4 -A370_bit_3 -A370_bit_2 -A370_bit_1 -A370_bit0 -A370_bit1 -A370_bit2 -A370_bit3 -A370_bit4 -A370_bit5 -A370_bit6 -A370_bit7 -A370_bit8 -A370_bit9 -A370_bit10 -A370_bit11 -A370_bit12 -A371_bit_7 -A371_bit_6 -A371_bit_5 -A371_bit_4 -A371_bit_3 -A371_bit_2 -A371_bit_1 -A371_bit0 -A371_bit1 -A371_bit2 -A371_bit3 -A371_bit4 -A371_bit5 -A371_bit6 -A371_bit7 -A371_bit8 -A371_bit9 -A371_bit10 -A371_bit11 -A371_bit12 -A372_bit_7 -A372_bit_6 -A372_bit_5 -A372_bit_4 -A372_bit_3 -A372_bit_2 -A372_bit_1 -A372_bit0 -A372_bit1 -A372_bit2 -A372_bit3 -A372_bit4 -A372_bit5 -A372_bit6 -A372_bit7 -A372_bit8 -A372_bit9 -A372_bit10 -A372_bit11 -A372_bit12 -A373_bit_7 -A373_bit_6 -A373_bit_5 -A373_bit_4 -A373_bit_3 -A373_bit_2 -A373_bit_1 -A373_bit0 A373_bit1 A373_bit2 -A373_bit3 -A373_bit4 -A373_bit5 -A373_bit6 -A373_bit7 -A373_bit8 -A373_bit9 -A373_bit10 -A373_bit11 -A373_bit12 -A374_bit_7 -A374_bit_6 -A374_bit_5 -A374_bit_4 -A374_bit_3 -A374_bit_2 -A374_bit_1 -A374_bit0 A374_bit1 A374_bit2 -A374_bit3 -A374_bit4 -A374_bit5 -A374_bit6 -A374_bit7 -A374_bit8 -A374_bit9 -A374_bit10 -A374_bit11 -A374_bit12 -A375_bit_7 -A375_bit_6 -A375_bit_5 -A375_bit_4 -A375_bit_3 -A375_bit_2 -A375_bit_1 -A375_bit0 A375_bit1 A375_bit2 -A375_bit3 -A375_bit4 -A375_bit5 -A375_bit6 -A375_bit7 -A375_bit8 -A375_bit9 -A375_bit10 -A375_bit11 -A375_bit12 -A376_bit_7 -A376_bit_6 -A376_bit_5 -A376_bit_4 -A376_bit_3 -A376_bit_2 -A376_bit_1 -A376_bit0 A376_bit1 A376_bit2 -A376_bit3 -A376_bit4 -A376_bit5 -A376_bit6 -A376_bit7 -A376_bit8 -A376_bit9 -A376_bit10 -A376_bit11 -A376_bit12 -A377_bit_7 -A377_bit_6 -A377_bit_5 -A377_bit_4 -A377_bit_3 -A377_bit_2 -A377_bit_1 -A377_bit0 A377_bit1 A377_bit2 -A377_bit3 -A377_bit4 -A377_bit5 -A377_bit6 -A377_bit7 -A377_bit8 -A377_bit9 -A377_bit10 -A377_bit11 -A377_bit12 -A378_bit_7 A378_bit_6 -A378_bit_5 A378_bit_4 -A378_bit_3 A378_bit_2 -A378_bit_1 A378_bit0 A378_bit1 A378_bit2 -A378_bit3 -A378_bit4 -A378_bit5 -A378_bit6 -A378_bit7 -A378_bit8 -A378_bit9 -A378_bit10 -A378_bit11 -A378_bit12 -A379_bit_7 -A379_bit_6 -A379_bit_5 -A379_bit_4 -A379_bit_3 -A379_bit_2 -A379_bit_1 -A379_bit0 A379_bit1 A379_bit2 -A379_bit3 -A379_bit4 -A379_bit5 -A379_bit6 -A379_bit7 -A379_bit8 -A379_bit9 -A379_bit10 -A379_bit11 -A379_bit12 -A380_bit_7 -A380_bit_6 -A380_bit_5 -A380_bit_4 -A380_bit_3 -A380_bit_2 -A380_bit_1 -A380_bit0 A380_bit1 A380_bit2 -A380_bit3 -A380_bit4 -A380_bit5 -A380_bit6 -A380_bit7 -A380_bit8 -A380_bit9 -A380_bit10 -A380_bit11 -A380_bit12 -A381_bit_7 -A381_bit_6 -A381_bit_5 -A381_bit_4 -A381_bit_3 -A381_bit_2 -A381_bit_1 -A381_bit0 A381_bit1 A381_bit2 -A381_bit3 -A381_bit4 -A381_bit5 -A381_bit6 -A381_bit7 -A381_bit8 -A381_bit9 -A381_bit10 -A381_bit11 -A381_bit12 -A382_bit_7 -A382_bit_6 -A382_bit_5 -A382_bit_4 -A382_bit_3 -A382_bit_2 -A382_bit_1 -A382_bit0 A382_bit1 A382_bit2 -A382_bit3 -A382_bit4 -A382_bit5 -A382_bit6 -A382_bit7 -A382_bit8 -A382_bit9 -A382_bit10 -A382_bit11 -A382_bit12 -A383_bit_7 -A383_bit_6 -A383_bit_5 -A383_bit_4 -A383_bit_3 -A383_bit_2 -A383_bit_1 -A383_bit0 A383_bit1 A383_bit2 -A383_bit3 -A383_bit4 -A383_bit5 -A383_bit6 -A383_bit7 -A383_bit8 -A383_bit9 -A383_bit10 -A383_bit11 -A383_bit12 A384_bit_7 A384_bit_6 -A384_bit_5 -A384_bit_4 -A384_bit_3 A384_bit_2 A384_bit_1 A384_bit0 -A384_bit1 A384_bit2 -A384_bit3 -A384_bit4 -A384_bit5 -A384_bit6 -A384_bit7 -A384_bit8 -A384_bit9 -A384_bit10 -A384_bit11 -A384_bit12 -A433_bit_7 -A433_bit_6 -A433_bit_5 -A433_bit_4 -A433_bit_3 -A433_bit_2 -A433_bit_1 -A433_bit0 -A433_bit1 -A433_bit2 -A433_bit3 -A433_bit4 -A433_bit5 -A433_bit6 -A433_bit7 -A433_bit8 -A433_bit9 -A433_bit10 -A433_bit11 -A433_bit12 -A434_bit_7 -A434_bit_6 -A434_bit_5 -A434_bit_4 -A434_bit_3 -A434_bit_2 -A434_bit_1 -A434_bit0 -A434_bit1 -A434_bit2 -A434_bit3 -A434_bit4 -A434_bit5 -A434_bit6 -A434_bit7 -A434_bit8 -A434_bit9 -A434_bit10 -A434_bit11 -A434_bit12 -A435_bit_7 -A435_bit_6 -A435_bit_5 -A435_bit_4 -A435_bit_3 -A435_bit_2 -A435_bit_1 -A435_bit0 -A435_bit1 -A435_bit2 -A435_bit3 -A435_bit4 -A435_bit5 -A435_bit6 -A435_bit7 -A435_bit8 -A435_bit9 -A435_bit10 -A435_bit11 -A435_bit12 -A436_bit_7 -A436_bit_6 -A436_bit_5 -A436_bit_4 -A436_bit_3 -A436_bit_2 -A436_bit_1 -A436_bit0 -A436_bit1 -A436_bit2 -A436_bit3 -A436_bit4 -A436_bit5 -A436_bit6 -A436_bit7 -A436_bit8 -A436_bit9 -A436_bit10 -A436_bit11 -A436_bit12 -A437_bit_7 -A437_bit_6 -A437_bit_5 -A437_bit_4 -A437_bit_3 -A437_bit_2 -A437_bit_1 -A437_bit0 -A437_bit1 -A437_bit2 -A437_bit3 -A437_bit4 -A437_bit5 -A437_bit6 -A437_bit7 -A437_bit8 -A437_bit9 -A437_bit10 -A437_bit11 -A437_bit12 -A415_bit_7 -A415_bit_6 -A415_bit_5 -A415_bit_4 -A415_bit_3 -A415_bit_2 -A415_bit_1 -A415_bit0 -A415_bit1 -A415_bit2 -A415_bit3 -A415_bit4 -A415_bit5 -A415_bit6 -A415_bit7 -A415_bit8 -A415_bit9 -A415_bit10 -A415_bit11 -A415_bit12 -A416_bit_7 -A416_bit_6 -A416_bit_5 -A416_bit_4 -A416_bit_3 -A416_bit_2 -A416_bit_1 -A416_bit0 -A416_bit1 -A416_bit2 -A416_bit3 -A416_bit4 -A416_bit5 -A416_bit6 -A416_bit7 -A416_bit8 -A416_bit9 -A416_bit10 -A416_bit11 -A416_bit12 -A417_bit_7 -A417_bit_6 -A417_bit_5 -A417_bit_4 -A417_bit_3 -A417_bit_2 -A417_bit_1 -A417_bit0 -A417_bit1 -A417_bit2 -A417_bit3 -A417_bit4 -A417_bit5 -A417_bit6 -A417_bit7 -A417_bit8 -A417_bit9 -A417_bit10 -A417_bit11 -A417_bit12 -A418_bit_7 -A418_bit_6 -A418_bit_5 -A418_bit_4 -A418_bit_3 -A418_bit_2 -A418_bit_1 -A418_bit0 -A418_bit1 -A418_bit2 -A418_bit3 -A418_bit4 -A418_bit5 -A418_bit6 -A418_bit7 -A418_bit8 -A418_bit9 -A418_bit10 -A418_bit11 -A418_bit12 -A419_bit_7 -A419_bit_6 -A419_bit_5 -A419_bit_4 -A419_bit_3 -A419_bit_2 -A419_bit_1 -A419_bit0 -A419_bit1 -A419_bit2 -A419_bit3 -A419_bit4 -A419_bit5 -A419_bit6 -A419_bit7 -A419_bit8 -A419_bit9 -A419_bit10 -A419_bit11 -A419_bit12 -A397_bit_7 -A397_bit_6 -A397_bit_5 -A397_bit_4 -A397_bit_3 -A397_bit_2 -A397_bit_1 -A397_bit0 -A397_bit1 -A397_bit2 -A397_bit3 -A397_bit4 -A397_bit5 -A397_bit6 -A397_bit7 -A397_bit8 -A397_bit9 -A397_bit10 -A397_bit11 -A397_bit12 -A398_bit_7 -A398_bit_6 -A398_bit_5 -A398_bit_4 -A398_bit_3 -A398_bit_2 -A398_bit_1 -A398_bit0 -A398_bit1 -A398_bit2 -A398_bit3 -A398_bit4 -A398_bit5 -A398_bit6 -A398_bit7 -A398_bit8 -A398_bit9 -A398_bit10 -A398_bit11 -A398_bit12 -A399_bit_7 -A399_bit_6 -A399_bit_5 -A399_bit_4 -A399_bit_3 -A399_bit_2 -A399_bit_1 -A399_bit0 -A399_bit1 -A399_bit2 -A399_bit3 -A399_bit4 -A399_bit5 -A399_bit6 -A399_bit7 -A399_bit8 -A399_bit9 -A399_bit10 -A399_bit11 -A399_bit12 -A400_bit_7 -A400_bit_6 -A400_bit_5 -A400_bit_4 -A400_bit_3 -A400_bit_2 -A400_bit_1 -A400_bit0 -A400_bit1 -A400_bit2 -A400_bit3 -A400_bit4 -A400_bit5 -A400_bit6 -A400_bit7 -A400_bit8 -A400_bit9 -A400_bit10 -A400_bit11 -A400_bit12 -A401_bit_7 -A401_bit_6 -A401_bit_5 -A401_bit_4 -A401_bit_3 -A401_bit_2 -A401_bit_1 -A401_bit0 -A401_bit1 -A401_bit2 -A401_bit3 -A401_bit4 -A401_bit5 -A401_bit6 -A401_bit7 -A401_bit8 -A401_bit9 -A401_bit10 -A401_bit11 -A401_bit12 -A402_bit_7 -A402_bit_6 -A402_bit_5 -A402_bit_4 -A402_bit_3 -A402_bit_2 -A402_bit_1 -A402_bit0 -A402_bit1 -A402_bit2 -A402_bit3 -A402_bit4 -A402_bit5 -A402_bit6 -A402_bit7 -A402_bit8 -A402_bit9 -A402_bit10 -A402_bit11 -A402_bit12 -A403_bit_7 -A403_bit_6 -A403_bit_5 -A403_bit_4 -A403_bit_3 -A403_bit_2 -A403_bit_1 -A403_bit0 -A403_bit1 -A403_bit2 -A403_bit3 -A403_bit4 -A403_bit5 -A403_bit6 -A403_bit7 -A403_bit8 -A403_bit9 -A403_bit10 -A403_bit11 -A403_bit12 -A404_bit_7 -A404_bit_6 -A404_bit_5 -A404_bit_4 -A404_bit_3 -A404_bit_2 -A404_bit_1 -A404_bit0 -A404_bit1 -A404_bit2 -A404_bit3 -A404_bit4 -A404_bit5 -A404_bit6 -A404_bit7 -A404_bit8 -A404_bit9 -A404_bit10 -A404_bit11 -A404_bit12 -A405_bit_7 -A405_bit_6 -A405_bit_5 -A405_bit_4 -A405_bit_3 -A405_bit_2 -A405_bit_1 -A405_bit0 -A405_bit1 -A405_bit2 -A405_bit3 -A405_bit4 -A405_bit5 -A405_bit6 -A405_bit7 -A405_bit8 -A405_bit9 -A405_bit10 -A405_bit11 -A405_bit12 -A406_bit_7 -A406_bit_6 -A406_bit_5 -A406_bit_4 -A406_bit_3 -A406_bit_2 -A406_bit_1 -A406_bit0 -A406_bit1 -A406_bit2 -A406_bit3 -A406_bit4 -A406_bit5 -A406_bit6 -A406_bit7 -A406_bit8 -A406_bit9 -A406_bit10 -A406_bit11 -A406_bit12 -A407_bit_7 -A407_bit_6 -A407_bit_5 -A407_bit_4 -A407_bit_3 -A407_bit_2 -A407_bit_1 -A407_bit0 -A407_bit1 -A407_bit2 -A407_bit3 -A407_bit4 -A407_bit5 -A407_bit6 -A407_bit7 -A407_bit8 -A407_bit9 -A407_bit10 -A407_bit11 -A407_bit12 -A408_bit_7 -A408_bit_6 -A408_bit_5 -A408_bit_4 -A408_bit_3 -A408_bit_2 -A408_bit_1 -A408_bit0 -A408_bit1 -A408_bit2 -A408_bit3 -A408_bit4 -A408_bit5 -A408_bit6 -A408_bit7 -A408_bit8 -A408_bit9 -A408_bit10 -A408_bit11 -A408_bit12 -A385_bit_7 -A385_bit_6 -A385_bit_5 -A385_bit_4 -A385_bit_3 -A385_bit_2 -A385_bit_1 -A385_bit0 -A385_bit1 -A385_bit2 -A385_bit3 -A385_bit4 -A385_bit5 -A385_bit6 -A385_bit7 -A385_bit8 -A385_bit9 -A385_bit10 -A385_bit11 -A385_bit12 -A409_bit_7 -A409_bit_6 -A409_bit_5 -A409_bit_4 -A409_bit_3 -A409_bit_2 -A409_bit_1 -A409_bit0 -A409_bit1 -A409_bit2 -A409_bit3 -A409_bit4 -A409_bit5 -A409_bit6 -A409_bit7 -A409_bit8 -A409_bit9 -A409_bit10 -A409_bit11 -A409_bit12 -A421_bit_7 -A421_bit_6 -A421_bit_5 -A421_bit_4 -A421_bit_3 -A421_bit_2 -A421_bit_1 -A421_bit0 -A421_bit1 -A421_bit2 -A421_bit3 -A421_bit4 -A421_bit5 -A421_bit6 -A421_bit7 -A421_bit8 -A421_bit9 -A421_bit10 -A421_bit11 -A421_bit12 -A386_bit_7 -A386_bit_6 -A386_bit_5 -A386_bit_4 -A386_bit_3 -A386_bit_2 -A386_bit_1 -A386_bit0 -A386_bit1 -A386_bit2 -A386_bit3 -A386_bit4 -A386_bit5 -A386_bit6 -A386_bit7 -A386_bit8 -A386_bit9 -A386_bit10 -A386_bit11 -A386_bit12 -A410_bit_7 -A410_bit_6 -A410_bit_5 -A410_bit_4 -A410_bit_3 -A410_bit_2 -A410_bit_1 -A410_bit0 -A410_bit1 -A410_bit2 -A410_bit3 -A410_bit4 -A410_bit5 -A410_bit6 -A410_bit7 -A410_bit8 -A410_bit9 -A410_bit10 -A410_bit11 -A410_bit12 -A422_bit_7 -A422_bit_6 -A422_bit_5 -A422_bit_4 -A422_bit_3 -A422_bit_2 -A422_bit_1 -A422_bit0 -A422_bit1 -A422_bit2 -A422_bit3 -A422_bit4 -A422_bit5 -A422_bit6 -A422_bit7 -A422_bit8 -A422_bit9 -A422_bit10 -A422_bit11 -A422_bit12 -A387_bit_7 -A387_bit_6 -A387_bit_5 -A387_bit_4 -A387_bit_3 -A387_bit_2 -A387_bit_1 -A387_bit0 -A387_bit1 -A387_bit2 -A387_bit3 -A387_bit4 -A387_bit5 -A387_bit6 -A387_bit7 -A387_bit8 -A387_bit9 -A387_bit10 -A387_bit11 -A387_bit12 -A411_bit_7 -A411_bit_6 -A411_bit_5 -A411_bit_4 -A411_bit_3 -A411_bit_2 -A411_bit_1 -A411_bit0 -A411_bit1 -A411_bit2 -A411_bit3 -A411_bit4 -A411_bit5 -A411_bit6 -A411_bit7 -A411_bit8 -A411_bit9 -A411_bit10 -A411_bit11 -A411_bit12 -A423_bit_7 -A423_bit_6 -A423_bit_5 -A423_bit_4 -A423_bit_3 -A423_bit_2 -A423_bit_1 -A423_bit0 -A423_bit1 -A423_bit2 -A423_bit3 -A423_bit4 -A423_bit5 -A423_bit6 -A423_bit7 -A423_bit8 -A423_bit9 -A423_bit10 -A423_bit11 -A423_bit12 -A388_bit_7 -A388_bit_6 -A388_bit_5 -A388_bit_4 -A388_bit_3 -A388_bit_2 -A388_bit_1 -A388_bit0 -A388_bit1 -A388_bit2 -A388_bit3 -A388_bit4 -A388_bit5 -A388_bit6 -A388_bit7 -A388_bit8 -A388_bit9 -A388_bit10 -A388_bit11 -A388_bit12 -A412_bit_7 -A412_bit_6 -A412_bit_5 -A412_bit_4 -A412_bit_3 -A412_bit_2 -A412_bit_1 -A412_bit0 -A412_bit1 -A412_bit2 -A412_bit3 -A412_bit4 -A412_bit5 -A412_bit6 -A412_bit7 -A412_bit8 -A412_bit9 -A412_bit10 -A412_bit11 -A412_bit12 -A424_bit_7 -A424_bit_6 -A424_bit_5 -A424_bit_4 -A424_bit_3 -A424_bit_2 -A424_bit_1 -A424_bit0 -A424_bit1 -A424_bit2 -A424_bit3 -A424_bit4 -A424_bit5 -A424_bit6 -A424_bit7 -A424_bit8 -A424_bit9 -A424_bit10 -A424_bit11 -A424_bit12 -A389_bit_7 -A389_bit_6 -A389_bit_5 -A389_bit_4 -A389_bit_3 -A389_bit_2 -A389_bit_1 -A389_bit0 -A389_bit1 -A389_bit2 -A389_bit3 -A389_bit4 -A389_bit5 -A389_bit6 -A389_bit7 -A389_bit8 -A389_bit9 -A389_bit10 -A389_bit11 -A389_bit12 -A413_bit_7 -A413_bit_6 -A413_bit_5 -A413_bit_4 -A413_bit_3 -A413_bit_2 -A413_bit_1 -A413_bit0 -A413_bit1 -A413_bit2 -A413_bit3 -A413_bit4 -A413_bit5 -A413_bit6 -A413_bit7 -A413_bit8 -A413_bit9 -A413_bit10 -A413_bit11 -A413_bit12 -A425_bit_7 -A425_bit_6 -A425_bit_5 -A425_bit_4 -A425_bit_3 -A425_bit_2 -A425_bit_1 -A425_bit0 -A425_bit1 -A425_bit2 -A425_bit3 -A425_bit4 -A425_bit5 -A425_bit6 -A425_bit7 -A425_bit8 -A425_bit9 -A425_bit10 -A425_bit11 -A425_bit12 -A390_bit_7 -A390_bit_6 -A390_bit_5 -A390_bit_4 -A390_bit_3 -A390_bit_2 -A390_bit_1 -A390_bit0 -A390_bit1 -A390_bit2 -A390_bit3 -A390_bit4 -A390_bit5 -A390_bit6 -A390_bit7 -A390_bit8 -A390_bit9 -A390_bit10 -A390_bit11 -A390_bit12 -A414_bit_7 -A414_bit_6 -A414_bit_5 -A414_bit_4 -A414_bit_3 -A414_bit_2 -A414_bit_1 -A414_bit0 -A414_bit1 -A414_bit2 -A414_bit3 -A414_bit4 -A414_bit5 -A414_bit6 -A414_bit7 -A414_bit8 -A414_bit9 -A414_bit10 -A414_bit11 -A414_bit12 -A426_bit_7 -A426_bit_6 -A426_bit_5 -A426_bit_4 -A426_bit_3 -A426_bit_2 -A426_bit_1 -A426_bit0 -A426_bit1 -A426_bit2 -A426_bit3 -A426_bit4 -A426_bit5 -A426_bit6 -A426_bit7 -A426_bit8 -A426_bit9 -A426_bit10 -A426_bit11 -A426_bit12 -A391_bit_7 -A391_bit_6 -A391_bit_5 -A391_bit_4 -A391_bit_3 -A391_bit_2 -A391_bit_1 -A391_bit0 -A391_bit1 -A391_bit2 -A391_bit3 -A391_bit4 -A391_bit5 -A391_bit6 -A391_bit7 -A391_bit8 -A391_bit9 -A391_bit10 -A391_bit11 -A391_bit12 -A427_bit_7 -A427_bit_6 -A427_bit_5 -A427_bit_4 -A427_bit_3 -A427_bit_2 -A427_bit_1 -A427_bit0 -A427_bit1 -A427_bit2 -A427_bit3 -A427_bit4 -A427_bit5 -A427_bit6 -A427_bit7 -A427_bit8 -A427_bit9 -A427_bit10 -A427_bit11 -A427_bit12 -A392_bit_7 -A392_bit_6 -A392_bit_5 -A392_bit_4 -A392_bit_3 -A392_bit_2 -A392_bit_1 -A392_bit0 -A392_bit1 -A392_bit2 -A392_bit3 -A392_bit4 -A392_bit5 -A392_bit6 -A392_bit7 -A392_bit8 -A392_bit9 -A392_bit10 -A392_bit11 -A392_bit12 -A428_bit_7 -A428_bit_6 -A428_bit_5 -A428_bit_4 -A428_bit_3 -A428_bit_2 -A428_bit_1 -A428_bit0 -A428_bit1 -A428_bit2 -A428_bit3 -A428_bit4 -A428_bit5 -A428_bit6 -A428_bit7 -A428_bit8 -A428_bit9 -A428_bit10 -A428_bit11 -A428_bit12 -A393_bit_7 -A393_bit_6 -A393_bit_5 -A393_bit_4 -A393_bit_3 -A393_bit_2 -A393_bit_1 -A393_bit0 -A393_bit1 -A393_bit2 -A393_bit3 -A393_bit4 -A393_bit5 -A393_bit6 -A393_bit7 -A393_bit8 -A393_bit9 -A393_bit10 -A393_bit11 -A393_bit12 -A429_bit_7 -A429_bit_6 -A429_bit_5 -A429_bit_4 -A429_bit_3 -A429_bit_2 -A429_bit_1 -A429_bit0 -A429_bit1 -A429_bit2 -A429_bit3 -A429_bit4 -A429_bit5 -A429_bit6 -A429_bit7 -A429_bit8 -A429_bit9 -A429_bit10 -A429_bit11 -A429_bit12 -A394_bit_7 -A394_bit_6 -A394_bit_5 -A394_bit_4 -A394_bit_3 -A394_bit_2 -A394_bit_1 -A394_bit0 -A394_bit1 -A394_bit2 -A394_bit3 -A394_bit4 -A394_bit5 -A394_bit6 -A394_bit7 -A394_bit8 -A394_bit9 -A394_bit10 -A394_bit11 -A394_bit12 -A430_bit_7 -A430_bit_6 -A430_bit_5 -A430_bit_4 -A430_bit_3 -A430_bit_2 -A430_bit_1 -A430_bit0 -A430_bit1 -A430_bit2 -A430_bit3 -A430_bit4 -A430_bit5 -A430_bit6 -A430_bit7 -A430_bit8 -A430_bit9 -A430_bit10 -A430_bit11 -A430_bit12 -A395_bit_7 -A395_bit_6 -A395_bit_5 -A395_bit_4 -A395_bit_3 -A395_bit_2 -A395_bit_1 -A395_bit0 -A395_bit1 -A395_bit2 -A395_bit3 -A395_bit4 -A395_bit5 -A395_bit6 -A395_bit7 -A395_bit8 -A395_bit9 -A395_bit10 -A395_bit11 -A395_bit12 -A431_bit_7 -A431_bit_6 -A431_bit_5 -A431_bit_4 -A431_bit_3 -A431_bit_2 -A431_bit_1 -A431_bit0 -A431_bit1 -A431_bit2 -A431_bit3 -A431_bit4 -A431_bit5 -A431_bit6 -A431_bit7 -A431_bit8 -A431_bit9 -A431_bit10 -A431_bit11 -A431_bit12 -A396_bit_7 -A396_bit_6 -A396_bit_5 -A396_bit_4 -A396_bit_3 -A396_bit_2 -A396_bit_1 -A396_bit0 -A396_bit1 -A396_bit2 -A396_bit3 -A396_bit4 -A396_bit5 -A396_bit6 -A396_bit7 -A396_bit8 -A396_bit9 -A396_bit10 -A396_bit11 -A396_bit12 -A420_bit_7 -A420_bit_6 -A420_bit_5 -A420_bit_4 -A420_bit_3 -A420_bit_2 -A420_bit_1 -A420_bit0 -A420_bit1 -A420_bit2 -A420_bit3 -A420_bit4 -A420_bit5 -A420_bit6 -A420_bit7 -A420_bit8 -A420_bit9 -A420_bit10 -A420_bit11 -A420_bit12 -A432_bit_7 -A432_bit_6 -A432_bit_5 -A432_bit_4 -A432_bit_3 -A432_bit_2 -A432_bit_1 -A432_bit0 -A432_bit1 -A432_bit2 -A432_bit3 -A432_bit4 -A432_bit5 -A432_bit6 -A432_bit7 -A432_bit8 -A432_bit9 -A432_bit10 -A432_bit11 -A432_bit12 -A438_bit_7 -A438_bit_6 -A438_bit_5 -A438_bit_4 -A438_bit_3 -A438_bit_2 -A438_bit_1 -A438_bit0 -A438_bit1 -A438_bit2 -A438_bit3 -A438_bit4 -A438_bit5 -A438_bit6 -A438_bit7 -A438_bit8 -A438_bit9 -A438_bit10 -A438_bit11 -A438_bit12 -A439_bit_7 -A439_bit_6 -A439_bit_5 -A439_bit_4 -A439_bit_3 -A439_bit_2 -A439_bit_1 -A439_bit0 -A439_bit1 -A439_bit2 -A439_bit3 -A439_bit4 -A439_bit5 -A439_bit6 -A439_bit7 -A439_bit8 -A439_bit9 -A439_bit10 -A439_bit11 -A439_bit12 -A440_bit_7 -A440_bit_6 -A440_bit_5 -A440_bit_4 -A440_bit_3 -A440_bit_2 -A440_bit_1 -A440_bit0 -A440_bit1 -A440_bit2 -A440_bit3 -A440_bit4 -A440_bit5 -A440_bit6 -A440_bit7 -A440_bit8 -A440_bit9 -A440_bit10 -A440_bit11 -A440_bit12 -A441_bit_7 -A441_bit_6 -A441_bit_5 -A441_bit_4 -A441_bit_3 -A441_bit_2 -A441_bit_1 -A441_bit0 -A441_bit1 -A441_bit2 -A441_bit3 -A441_bit4 -A441_bit5 -A441_bit6 -A441_bit7 -A441_bit8 -A441_bit9 -A441_bit10 -A441_bit11 -A441_bit12 -A442_bit_7 -A442_bit_6 -A442_bit_5 -A442_bit_4 -A442_bit_3 -A442_bit_2 -A442_bit_1 -A442_bit0 -A442_bit1 -A442_bit2 -A442_bit3 -A442_bit4 -A442_bit5 -A442_bit6 -A442_bit7 -A442_bit8 -A442_bit9 -A442_bit10 -A442_bit11 -A442_bit12 c objectif function=-28905082450 c Total CPU time (ms) : 1219.23 #### 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.97 1.02 1.00 3/55 3126 Raw data (stat): 3126 (runsolver) R 3125 23310 23309 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 838709250 1052672 99 4294967295 134512640 135381576 3221224400 3221219620 135158418 0 0 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): 1.04 1.04 1.01 3/64 3188 Raw data (stat): 3126 (java) R 3125 23310 23309 0 -1 0 18071 0 1 0 720 48 0 0 25 0 11 0 838709250 859549696 20990 4294967295 134512640 134569956 3221224368 3221214788 1131142119 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209851 20990 13086 16 0 209835 0 vsize: 839404 [startup+20.0014 s] Raw data (loadavg): 1.04 1.04 1.01 2/64 3189 Raw data (stat): 3126 (java) R 3125 23310 23309 0 -1 0 18156 3 1 0 1630 49 0 0 25 0 11 0 838709250 858169344 21659 4294967295 134512640 134569956 3221224368 3221214648 1131296058 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209514 21659 13086 16 0 209498 0 vsize: 838056 [startup+30.0024 s] Raw data (loadavg): 1.03 1.04 1.00 2/64 3190 Raw data (stat): 3126 (java) R 3125 23310 23309 0 -1 0 18156 3 1 0 2534 49 0 0 24 0 11 0 838709250 857120768 21555 4294967295 134512640 134569956 3221224368 3221214736 1131288540 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209258 21555 13086 16 0 209242 0 vsize: 837032 [startup+40.0026 s] Raw data (loadavg): 1.03 1.03 1.00 2/64 3191 Raw data (stat): 3126 (java) R 3125 23310 23309 0 -1 0 18157 3 1 0 3451 49 0 0 25 0 11 0 838709250 857120768 21556 4294967295 134512640 134569956 3221224368 3221214648 1131296351 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209258 21556 13086 16 0 209242 0 vsize: 837032 [startup+50.0024 s] Raw data (loadavg): 1.02 1.03 1.00 2/64 3191 Raw data (stat): 3126 (java) R 3125 23310 23309 0 -1 0 18157 3 1 0 4401 49 0 0 25 0 11 0 838709250 857120768 22344 4294967295 134512640 134569956 3221224368 3221214760 1131329146 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209258 22344 13086 16 0 209242 0 vsize: 837032 [startup+60.0035 s] Raw data (loadavg): 1.02 1.03 1.00 2/64 3192 Raw data (stat): 3126 (java) R 3125 23310 23309 0 -1 0 18157 3 1 0 5387 49 0 0 25 0 11 0 838709250 857120768 22419 4294967295 134512640 134569956 3221224368 3221214648 1131297484 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209258 22419 13086 16 0 209242 0 vsize: 837032 [startup+70.0038 s] Raw data (loadavg): 1.01 1.03 1.00 2/64 3192 Raw data (stat): 3126 (java) R 3125 23310 23309 0 -1 0 18157 3 1 0 6377 49 0 0 25 0 11 0 838709250 857120768 22419 4294967295 134512640 134569956 3221224368 3221214648 1131297528 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209258 22419 13086 16 0 209242 0 vsize: 837032 [startup+80.005 s] Raw data (loadavg): 1.01 1.03 1.00 2/64 3195 Raw data (stat): 3126 (java) R 3125 23310 23309 0 -1 0 18157 3 1 0 7363 50 0 0 25 0 11 0 838709250 857120768 22455 4294967295 134512640 134569956 3221224368 3221214648 1131297022 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209258 22455 13086 16 0 209242 0 vsize: 837032 [startup+90.0057 s] Raw data (loadavg): 1.01 1.03 1.00 2/64 3195 Raw data (stat): 3126 (java) R 3125 23310 23309 0 -1 0 18157 3 1 0 8353 50 0 0 25 0 11 0 838709250 857120768 22513 4294967295 134512640 134569956 3221224368 3221214784 1131417175 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209258 22513 13086 16 0 209242 0 vsize: 837032 [startup+100.005 s] Raw data (loadavg): 1.01 1.03 1.00 2/64 3196 Raw data (stat): 3126 (java) R 3125 23310 23309 0 -1 0 18157 3 1 0 9343 50 0 0 25 0 11 0 838709250 857120768 22514 4294967295 134512640 134569956 3221224368 3221214648 1131307573 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209258 22514 13086 16 0 209242 0 vsize: 837032 [startup+110.006 s] Raw data (loadavg): 1.01 1.02 1.00 2/64 3196 Raw data (stat): 3126 (java) R 3125 23310 23309 0 -1 0 18157 3 1 0 10334 50 0 0 25 0 11 0 838709250 857120768 22553 4294967295 134512640 134569956 3221224368 3221214736 1131288540 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209258 22553 13086 16 0 209242 0 vsize: 837032 [startup+120.006 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 3197 Raw data (stat): 3126 (java) R 3125 23310 23309 0 -1 0 18157 3 1 0 11325 50 0 0 25 0 11 0 838709250 857120768 22555 4294967295 134512640 134569956 3221224368 3221214632 1131329591 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209258 22555 13086 16 0 209242 0 vsize: 837032 [startup+130.006 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 3197 Raw data (stat): 3126 (java) R 3125 23310 23309 0 -1 0 18157 3 1 0 12315 50 0 0 25 0 11 0 838709250 857120768 22593 4294967295 134512640 134569956 3221224368 3221214736 1131288540 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209258 22593 13086 16 0 209242 0 vsize: 837032 [startup+140.007 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 3197 Raw data (stat): 3126 (java) R 3125 23310 23309 0 -1 0 18157 3 1 0 13308 50 0 0 25 0 11 0 838709250 857120768 22594 4294967295 134512640 134569956 3221224368 3221214648 1131297490 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209258 22594 13086 16 0 209242 0 vsize: 837032 [startup+150.01 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 3198 Raw data (stat): 3126 (java) R 3125 23310 23309 0 -1 0 18157 3 1 0 14298 50 0 0 25 0 11 0 838709250 857120768 22635 4294967295 134512640 134569956 3221224368 3221214648 1131297473 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209258 22635 13086 16 0 209242 0 vsize: 837032 [startup+160.01 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 3198 Raw data (stat): 3126 (java) R 3125 23310 23309 0 -1 0 18157 3 1 0 15289 50 0 0 17 0 11 0 838709250 857120768 22636 4294967295 134512640 134569956 3221224368 3221214736 1131187537 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209258 22636 13086 16 0 209242 0 vsize: 837032 [startup+170.011 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 3198 Raw data (stat): 3126 (java) R 3125 23310 23309 0 -1 0 18157 3 1 0 16281 50 0 0 25 0 11 0 838709250 857120768 22636 4294967295 134512640 134569956 3221224368 3221214648 1131296179 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209258 22636 13086 16 0 209242 0 vsize: 837032 [startup+180.012 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 3199 Raw data (stat): 3126 (java) R 3125 23310 23309 0 -1 0 18157 3 1 0 17273 50 0 0 25 0 11 0 838709250 857120768 22684 4294967295 134512640 134569956 3221224368 3221214648 1131307600 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209258 22684 13086 16 0 209242 0 vsize: 837032 [startup+190.016 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 3199 Raw data (stat): 3126 (java) S 3125 23310 23309 0 -1 0 18157 3 1 0 18264 51 0 0 25 0 11 0 838709250 857120768 22685 4294967295 134512640 134569956 3221224368 3221213352 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209258 22685 13086 16 0 209242 0 vsize: 837032 [startup+200.016 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 3199 Raw data (stat): 3126 (java) R 3125 23310 23309 0 -1 0 18157 3 1 0 19256 51 0 0 25 0 11 0 838709250 857120768 22688 4294967295 134512640 134569956 3221224368 3221214760 1131329137 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209258 22688 13086 16 0 209242 0 vsize: 837032 [startup+210.017 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 3199 Raw data (stat): 3126 (java) R 3125 23310 23309 0 -1 0 18157 3 1 0 20248 51 0 0 25 0 11 0 838709250 857120768 22726 4294967295 134512640 134569956 3221224368 3221214648 1131296119 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209258 22726 13086 16 0 209242 0 vsize: 837032 [startup+220.017 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 3200 Raw data (stat): 3126 (java) R 3125 23310 23309 0 -1 0 18157 3 1 0 21242 51 0 0 25 0 11 0 838709250 857120768 22776 4294967295 134512640 134569956 3221224368 3221214648 1131296163 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209258 22776 13086 16 0 209242 0 vsize: 837032 [startup+230.018 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 3200 Raw data (stat): 3126 (java) R 3125 23310 23309 0 -1 0 18157 3 1 0 22235 51 0 0 25 0 11 0 838709250 857120768 22776 4294967295 134512640 134569956 3221224368 3221214648 1131296121 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209258 22776 13086 16 0 209242 0 vsize: 837032 [startup+240.018 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 3200 Raw data (stat): 3126 (java) R 3125 23310 23309 0 -1 0 18157 3 1 0 23228 51 0 0 25 0 11 0 838709250 857120768 22776 4294967295 134512640 134569956 3221224368 3221214648 1131296169 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209258 22776 13086 16 0 209242 0 vsize: 837032 [startup+250.018 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 3200 Raw data (stat): 3126 (java) R 3125 23310 23309 0 -1 0 18160 3 1 0 24218 51 0 0 25 0 11 0 838709250 857120768 22825 4294967295 134512640 134569956 3221224368 3221214624 1131448483 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209258 22825 13086 16 0 209242 0 vsize: 837032 [startup+260.019 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 3200 Raw data (stat): 3126 (java) R 3125 23310 23309 0 -1 0 18162 3 1 0 25204 51 0 0 25 0 11 0 838709250 857120768 22841 4294967295 134512640 134569956 3221224368 3221214616 1131461401 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209258 22841 13086 16 0 209242 0 vsize: 837032 [startup+270.019 s] Raw data (loadavg): 1.07 1.03 1.00 2/64 3200 Raw data (stat): 3126 (java) R 3125 23310 23309 0 -1 0 18162 3 1 0 26199 51 0 0 25 0 11 0 838709250 860065792 23533 4294967295 134512640 134569956 3221224368 3221214504 1131467650 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209977 23533 13086 16 0 209961 0 vsize: 839908 [startup+280.02 s] Raw data (loadavg): 1.06 1.02 1.00 2/63 3200 Raw data (stat): 3126 (java) D 3125 23310 23309 0 -1 0 18162 3 1 0 27196 51 0 0 25 0 10 0 838709250 859869184 23487 4294967295 134512640 134569956 3221224368 3221205820 1073952961 0 2147483391 3 23756 3225161850 0 0 17 0 0 0 Raw data (statm): 209929 23487 13086 16 0 209913 0 vsize: 839716 [startup+290.021 s] Raw data (loadavg): 1.05 1.02 1.00 2/64 3201 Raw data (stat): 3126 (java) R 3125 23310 23309 0 -1 0 18162 3 1 0 28185 52 0 0 25 0 11 0 838709250 859869184 23487 4294967295 134512640 134569956 3221224368 3221214592 1131307613 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209929 23487 13086 16 0 209913 0 vsize: 839716 [startup+300.021 s] Raw data (loadavg): 1.04 1.02 1.00 2/64 3201 Raw data (stat): 3126 (java) R 3125 23310 23309 0 -1 0 18162 3 1 0 29172 52 0 0 25 0 11 0 838709250 859869184 23491 4294967295 134512640 134569956 3221224368 3221214728 1131417349 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209929 23491 13086 16 0 209913 0 vsize: 839716 [startup+310.021 s] Raw data (loadavg): 1.04 1.02 1.00 2/64 3201 Raw data (stat): 3126 (java) R 3125 23310 23309 0 -1 0 18162 3 1 0 30158 52 0 0 25 0 11 0 838709250 859869184 23510 4294967295 134512640 134569956 3221224368 3221214680 1131187520 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209929 23510 13086 16 0 209913 0 vsize: 839716 [startup+320.022 s] Raw data (loadavg): 1.03 1.02 1.00 2/64 3201 Raw data (stat): 3126 (java) R 3125 23310 23309 0 -1 0 18162 3 1 0 31150 52 0 0 25 0 11 0 838709250 859869184 23551 4294967295 134512640 134569956 3221224368 3221214592 1131296172 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209929 23551 13086 16 0 209913 0 vsize: 839716 [startup+330.022 s] Raw data (loadavg): 1.02 1.02 1.00 2/64 3203 Raw data (stat): 3126 (java) R 3125 23310 23309 0 -1 0 18163 3 1 0 32145 53 0 0 25 0 11 0 838709250 859869184 23569 4294967295 134512640 134569956 3221224368 3221214680 1131187584 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209929 23569 13086 16 0 209913 0 vsize: 839716 [startup+340.022 s] Raw data (loadavg): 1.02 1.02 1.00 2/64 3204 Raw data (stat): 3126 (java) R 3125 23310 23309 0 -1 0 18163 3 1 0 33132 53 0 0 25 0 11 0 838709250 859869184 23569 4294967295 134512640 134569956 3221224368 3221214592 1131296243 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209929 23569 13086 16 0 209913 0 vsize: 839716 [startup+350.022 s] Raw data (loadavg): 1.02 1.02 1.00 2/64 3204 Raw data (stat): 3126 (java) R 3125 23310 23309 0 -1 0 18163 3 1 0 34117 53 0 0 25 0 11 0 838709250 859869184 23570 4294967295 134512640 134569956 3221224368 3221214680 1131288702 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209929 23570 13086 16 0 209913 0 vsize: 839716 [startup+360.023 s] Raw data (loadavg): 1.01 1.02 1.00 2/64 3204 Raw data (stat): 3126 (java) R 3125 23310 23309 0 -1 0 18163 3 1 0 35101 54 0 0 25 0 11 0 838709250 859869184 23580 4294967295 134512640 134569956 3221224368 3221214680 1131288540 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209929 23580 13086 16 0 209913 0 vsize: 839716 [startup+370.023 s] Raw data (loadavg): 1.01 1.02 1.00 2/64 3204 Raw data (stat): 3126 (java) R 3125 23310 23309 0 -1 0 18163 3 1 0 36088 54 0 0 25 0 11 0 838709250 859869184 23672 4294967295 134512640 134569956 3221224368 3221214592 1131296172 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209929 23672 13086 16 0 209913 0 vsize: 839716 [startup+380.024 s] Raw data (loadavg): 1.01 1.01 1.00 2/64 3204 Raw data (stat): 3126 (java) R 3125 23310 23309 0 -1 0 18163 3 1 0 37076 54 0 0 25 0 11 0 838709250 859869184 23674 4294967295 134512640 134569956 3221224368 3221214680 1131187574 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209929 23674 13086 16 0 209913 0 vsize: 839716 [startup+390.025 s] Raw data (loadavg): 1.01 1.01 1.00 2/64 3204 Raw data (stat): 3126 (java) R 3125 23310 23309 0 -1 0 18163 3 1 0 38053 55 0 0 25 0 11 0 838709250 859869184 23694 4294967295 134512640 134569956 3221224368 3221214728 1131417659 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209929 23694 13086 16 0 209913 0 vsize: 839716 [startup+400.024 s] Raw data (loadavg): 1.01 1.01 1.00 2/64 3204 Raw data (stat): 3126 (java) R 3125 23310 23309 0 -1 0 18163 3 1 0 39037 55 0 0 25 0 11 0 838709250 859869184 23727 4294967295 134512640 134569956 3221224368 3221214592 1131296121 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209929 23727 13086 16 0 209913 0 vsize: 839716 [startup+410.025 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 3204 Raw data (stat): 3126 (java) R 3125 23310 23309 0 -1 0 18163 3 1 0 40023 56 0 0 25 0 11 0 838709250 859869184 23771 4294967295 134512640 134569956 3221224368 3221214576 1131329707 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209929 23771 13086 16 0 209913 0 vsize: 839716 [startup+420.025 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 3204 Raw data (stat): 3126 (java) R 3125 23310 23309 0 -1 0 18163 3 1 0 41014 56 0 0 25 0 11 0 838709250 859869184 23814 4294967295 134512640 134569956 3221224368 3221214680 1131288470 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209929 23814 13086 16 0 209913 0 vsize: 839716 [startup+430.027 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 3204 Raw data (stat): 3126 (java) R 3125 23310 23309 0 -1 0 18163 3 1 0 42007 57 0 0 25 0 11 0 838709250 859869184 23815 4294967295 134512640 134569956 3221224368 3221214680 1131187525 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209929 23815 13086 16 0 209913 0 vsize: 839716 [startup+440.027 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 3204 Raw data (stat): 3126 (java) R 3125 23310 23309 0 -1 0 18163 3 1 0 42997 57 0 0 25 0 11 0 838709250 859869184 23816 4294967295 134512640 134569956 3221224368 3221214592 1131296369 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209929 23816 13086 16 0 209913 0 vsize: 839716 [startup+450.026 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 3204 Raw data (stat): 3126 (java) R 3125 23310 23309 0 -1 0 18163 3 1 0 43986 58 0 0 23 0 11 0 838709250 859869184 23818 4294967295 134512640 134569956 3221224368 3221214680 1131187674 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209929 23818 13086 16 0 209913 0 vsize: 839716 [startup+460.027 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 3204 Raw data (stat): 3126 (java) R 3125 23310 23309 0 -1 0 18163 3 1 0 44979 58 0 0 25 0 11 0 838709250 859869184 23850 4294967295 134512640 134569956 3221224368 3221214592 1131296119 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209929 23850 13086 16 0 209913 0 vsize: 839716 [startup+470.026 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 3204 Raw data (stat): 3126 (java) R 3125 23310 23309 0 -1 0 18163 3 1 0 45975 59 0 0 25 0 11 0 838709250 859869184 23862 4294967295 134512640 134569956 3221224368 3221214416 1131239322 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209929 23862 13086 16 0 209913 0 vsize: 839716 [startup+480.028 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 3204 Raw data (stat): 3126 (java) R 3125 23310 23309 0 -1 0 18163 3 1 0 46962 59 0 0 25 0 11 0 838709250 859869184 23863 4294967295 134512640 134569956 3221224368 3221214672 1131251890 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209929 23863 13086 16 0 209913 0 vsize: 839716 [startup+490.028 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 3204 Raw data (stat): 3126 (java) R 3125 23310 23309 0 -1 0 18163 3 1 0 47943 60 0 0 25 0 11 0 838709250 859869184 23864 4294967295 134512640 134569956 3221224368 3221214680 1131187520 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209929 23864 13086 16 0 209913 0 vsize: 839716 [startup+500.036 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 3204 Raw data (stat): 3126 (java) R 3125 23310 23309 0 -1 0 18163 3 1 0 48901 60 0 0 25 0 11 0 838709250 859869184 23864 4294967295 134512640 134569956 3221224368 3221214676 1131297407 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209929 23864 13086 16 0 209913 0 vsize: 839716 [startup+510.037 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 3204 Raw data (stat): 3126 (java) R 3125 23310 23309 0 -1 0 18163 3 1 0 49862 60 0 0 25 0 11 0 838709250 859869184 23865 4294967295 134512640 134569956 3221224368 3221214592 1131296172 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209929 23865 13086 16 0 209913 0 vsize: 839716 [startup+520.037 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 3204 Raw data (stat): 3126 (java) R 3125 23310 23309 0 -1 0 18163 3 1 0 50831 61 0 0 25 0 11 0 838709250 859869184 24096 4294967295 134512640 134569956 3221224368 3221214592 1131297490 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209929 24096 13086 16 0 209913 0 vsize: 839716 [startup+530.038 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 3204 Raw data (stat): 3126 (java) R 3125 23310 23309 0 -1 0 18163 3 1 0 51822 61 0 0 25 0 11 0 838709250 859869184 24237 4294967295 134512640 134569956 3221224368 3221214680 1131187537 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209929 24237 13086 16 0 209913 0 vsize: 839716 [startup+540.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 3204 Raw data (stat): 3126 (java) R 3125 23310 23309 0 -1 0 18163 3 1 0 52820 61 0 0 25 0 11 0 838709250 859869184 24237 4294967295 134512640 134569956 3221224368 3221214576 1131329591 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209929 24237 13086 16 0 209913 0 vsize: 839716 [startup+550.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 3204 Raw data (stat): 3126 (java) R 3125 23310 23309 0 -1 0 18163 3 1 0 53818 62 0 0 25 0 11 0 838709250 859869184 24237 4294967295 134512640 134569956 3221224368 3221214592 1131307613 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209929 24237 13086 16 0 209913 0 vsize: 839716 [startup+560.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 3204 Raw data (stat): 3126 (java) R 3125 23310 23309 0 -1 0 18163 3 1 0 54814 62 0 0 25 0 11 0 838709250 859869184 24237 4294967295 134512640 134569956 3221224368 3221214728 1131417175 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209929 24237 13086 16 0 209913 0 vsize: 839716 [startup+570.042 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 3204 Raw data (stat): 3126 (java) R 3125 23310 23309 0 -1 0 18163 3 1 0 55805 62 0 0 25 0 11 0 838709250 859869184 24237 4294967295 134512640 134569956 3221224368 3221214592 1131296031 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209929 24237 13086 16 0 209913 0 vsize: 839716 [startup+580.042 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 3204 Raw data (stat): 3126 (java) R 3125 23310 23309 0 -1 0 18163 3 1 0 56796 62 0 0 25 0 11 0 838709250 859869184 24238 4294967295 134512640 134569956 3221224368 3221214592 1131296172 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209929 24238 13086 16 0 209913 0 vsize: 839716 [startup+590.043 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 3204 Raw data (stat): 3126 (java) R 3125 23310 23309 0 -1 0 18163 3 1 0 57786 62 0 0 25 0 11 0 838709250 859869184 24240 4294967295 134512640 134569956 3221224368 3221214592 1131297022 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209929 24240 13086 16 0 209913 0 vsize: 839716 [startup+600.044 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 3204 Raw data (stat): 3126 (java) R 3125 23310 23309 0 -1 0 18163 3 1 0 58782 62 0 0 25 0 11 0 838709250 859869184 24279 4294967295 134512640 134569956 3221224368 3221214576 1131329591 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209929 24279 13086 16 0 209913 0 vsize: 839716 [startup+610.044 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 3204 Raw data (stat): 3126 (java) R 3125 23310 23309 0 -1 0 18163 3 1 0 59779 62 0 0 25 0 11 0 838709250 859869184 24280 4294967295 134512640 134569956 3221224368 3221214592 1131296172 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209929 24280 13086 16 0 209913 0 vsize: 839716 [startup+620.044 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 3204 Raw data (stat): 3126 (java) R 3125 23310 23309 0 -1 0 18163 3 1 0 60775 62 0 0 25 0 11 0 838709250 859869184 24281 4294967295 134512640 134569956 3221224368 3221214592 1131307602 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209929 24281 13086 16 0 209913 0 vsize: 839716 [startup+630.045 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 3204 Raw data (stat): 3126 (java) R 3125 23310 23309 0 -1 0 18163 3 1 0 61772 62 0 0 25 0 11 0 838709250 859869184 24290 4294967295 134512640 134569956 3221224368 3221214728 1131418173 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209929 24290 13086 16 0 209913 0 vsize: 839716 [startup+640.045 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 3204 Raw data (stat): 3126 (java) R 3125 23310 23309 0 -1 0 18163 3 1 0 62767 63 0 0 25 0 11 0 838709250 859869184 24290 4294967295 134512640 134569956 3221224368 3221214680 1131288540 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209929 24290 13086 16 0 209913 0 vsize: 839716 [startup+650.045 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 3204 Raw data (stat): 3126 (java) R 3125 23310 23309 0 -1 0 18163 3 1 0 63761 63 0 0 25 0 11 0 838709250 859869184 24290 4294967295 134512640 134569956 3221224368 3221214592 1131297571 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209929 24290 13086 16 0 209913 0 vsize: 839716 [startup+660.046 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 3204 Raw data (stat): 3126 (java) R 3125 23310 23309 0 -1 0 18163 3 1 0 64751 63 0 0 25 0 11 0 838709250 859869184 24301 4294967295 134512640 134569956 3221224368 3221214592 1131296031 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209929 24301 13086 16 0 209913 0 vsize: 839716 [startup+670.047 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 3204 Raw data (stat): 3126 (java) R 3125 23310 23309 0 -1 0 18163 3 1 0 65736 63 0 0 25 0 11 0 838709250 859869184 24313 4294967295 134512640 134569956 3221224368 3221214576 1131329611 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209929 24313 13086 16 0 209913 0 vsize: 839716 [startup+680.048 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 3204 Raw data (stat): 3126 (java) R 3125 23310 23309 0 -1 0 18163 3 1 0 66722 63 0 0 25 0 11 0 838709250 859869184 24326 4294967295 134512640 134569956 3221224368 3221214592 1131296087 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209929 24326 13086 16 0 209913 0 vsize: 839716 [startup+690.048 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 3204 Raw data (stat): 3126 (java) R 3125 23310 23309 0 -1 0 18163 3 1 0 67708 63 0 0 25 0 11 0 838709250 859869184 24373 4294967295 134512640 134569956 3221224368 3221214592 1131308020 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209929 24373 13086 16 0 209913 0 vsize: 839716 [startup+700.048 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 3204 Raw data (stat): 3126 (java) R 3125 23310 23309 0 -1 0 18163 3 1 0 68697 63 0 0 25 0 11 0 838709250 859869184 24414 4294967295 134512640 134569956 3221224368 3221214592 1131297027 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209929 24414 13086 16 0 209913 0 vsize: 839716 [startup+710.048 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 3204 Raw data (stat): 3126 (java) R 3125 23310 23309 0 -1 0 18163 3 1 0 69693 64 0 0 25 0 11 0 838709250 859869184 24414 4294967295 134512640 134569956 3221224368 3221214680 1131288164 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209929 24414 13086 16 0 209913 0 vsize: 839716 [startup+720.049 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 3204 Raw data (stat): 3126 (java) R 3125 23310 23309 0 -1 0 18163 3 1 0 70687 64 0 0 25 0 11 0 838709250 859869184 24416 4294967295 134512640 134569956 3221224368 3221214592 1131296172 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209929 24416 13086 16 0 209913 0 vsize: 839716 [startup+730.049 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 3204 Raw data (stat): 3126 (java) R 3125 23310 23309 0 -1 0 18163 3 1 0 71682 64 0 0 25 0 11 0 838709250 859869184 24419 4294967295 134512640 134569956 3221224368 3221214592 1131297014 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209929 24419 13086 16 0 209913 0 vsize: 839716 [startup+740.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 3204 Raw data (stat): 3126 (java) R 3125 23310 23309 0 -1 0 18163 3 1 0 72679 64 0 0 25 0 11 0 838709250 859869184 24431 4294967295 134512640 134569956 3221224368 3221214680 1131288702 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209929 24431 13086 16 0 209913 0 vsize: 839716 [startup+750.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 3204 Raw data (stat): 3126 (java) R 3125 23310 23309 0 -1 0 18163 3 1 0 73677 64 0 0 25 0 11 0 838709250 859869184 24434 4294967295 134512640 134569956 3221224368 3221214592 1131296675 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209929 24434 13086 16 0 209913 0 vsize: 839716 [startup+760.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 3204 Raw data (stat): 3126 (java) R 3125 23310 23309 0 -1 0 18163 3 1 0 74674 64 0 0 25 0 11 0 838709250 859869184 24436 4294967295 134512640 134569956 3221224368 3221214680 1131288526 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209929 24436 13086 16 0 209913 0 vsize: 839716 [startup+770.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 3204 Raw data (stat): 3126 (java) R 3125 23310 23309 0 -1 0 18163 3 1 0 75671 64 0 0 25 0 11 0 838709250 859869184 24438 4294967295 134512640 134569956 3221224368 3221214592 1131296907 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209929 24438 13086 16 0 209913 0 vsize: 839716 [startup+780.051 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 3204 Raw data (stat): 3126 (java) R 3125 23310 23309 0 -1 0 18163 3 1 0 76669 64 0 0 25 0 11 0 838709250 859869184 24439 4294967295 134512640 134569956 3221224368 3221214416 1131239094 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209929 24439 13086 16 0 209913 0 vsize: 839716 [startup+790.051 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 3204 Raw data (stat): 3126 (java) R 3125 23310 23309 0 -1 0 18163 3 1 0 77660 64 0 0 25 0 11 0 838709250 859869184 24440 4294967295 134512640 134569956 3221224368 3221214724 1131288140 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209929 24440 13086 16 0 209913 0 vsize: 839716 [startup+800.051 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 3204 Raw data (stat): 3126 (java) R 3125 23310 23309 0 -1 0 18163 3 1 0 78649 64 0 0 25 0 11 0 838709250 859869184 24441 4294967295 134512640 134569956 3221224368 3221214592 1131296031 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209929 24441 13086 16 0 209913 0 vsize: 839716 [startup+810.052 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 3204 Raw data (stat): 3126 (java) R 3125 23310 23309 0 -1 0 18163 3 1 0 79636 64 0 0 25 0 11 0 838709250 859869184 24442 4294967295 134512640 134569956 3221224368 3221214672 1131251882 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209929 24442 13086 16 0 209913 0 vsize: 839716 [startup+820.052 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 3204 Raw data (stat): 3126 (java) R 3125 23310 23309 0 -1 0 18163 3 1 0 80625 65 0 0 25 0 11 0 838709250 859869184 24493 4294967295 134512640 134569956 3221224368 3221214728 1131418152 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209929 24493 13086 16 0 209913 0 vsize: 839716 [startup+830.052 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 3204 Raw data (stat): 3126 (java) R 3125 23310 23309 0 -1 0 18163 3 1 0 81612 65 0 0 25 0 11 0 838709250 859869184 24506 4294967295 134512640 134569956 3221224368 3221214576 1131329591 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209929 24506 13086 16 0 209913 0 vsize: 839716 [startup+840.052 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 3204 Raw data (stat): 3126 (java) R 3125 23310 23309 0 -1 0 18163 3 1 0 82600 65 0 0 25 0 11 0 838709250 859869184 24506 4294967295 134512640 134569956 3221224368 3221214680 1131288489 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209929 24506 13086 16 0 209913 0 vsize: 839716 [startup+850.053 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 3204 Raw data (stat): 3126 (java) R 3125 23310 23309 0 -1 0 18163 3 1 0 83588 65 0 0 25 0 11 0 838709250 859869184 24536 4294967295 134512640 134569956 3221224368 3221214676 1131251906 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209929 24536 13086 16 0 209913 0 vsize: 839716 [startup+860.054 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 3204 Raw data (stat): 3126 (java) R 3125 23310 23309 0 -1 0 18163 3 1 0 84585 65 0 0 25 0 11 0 838709250 859869184 24572 4294967295 134512640 134569956 3221224368 3221214592 1131296172 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209929 24572 13086 16 0 209913 0 vsize: 839716 [startup+870.054 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 3204 Raw data (stat): 3126 (java) R 3125 23310 23309 0 -1 0 18163 3 1 0 85580 65 0 0 25 0 11 0 838709250 859869184 24572 4294967295 134512640 134569956 3221224368 3221214680 1131187520 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209929 24572 13086 16 0 209913 0 vsize: 839716 [startup+880.055 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 3204 Raw data (stat): 3126 (java) R 3125 23310 23309 0 -1 0 18163 3 1 0 86570 65 0 0 25 0 11 0 838709250 859869184 24572 4294967295 134512640 134569956 3221224368 3221214576 1131329581 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209929 24572 13086 16 0 209913 0 vsize: 839716 [startup+890.054 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 3204 Raw data (stat): 3126 (java) R 3125 23310 23309 0 -1 0 18163 3 1 0 87562 65 0 0 25 0 11 0 838709250 859869184 24572 4294967295 134512640 134569956 3221224368 3221214440 1131315057 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209929 24572 13086 16 0 209913 0 vsize: 839716 [startup+900.055 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 3204 Raw data (stat): 3126 (java) R 3125 23310 23309 0 -1 0 18163 3 1 0 88548 65 0 0 25 0 11 0 838709250 859869184 24605 4294967295 134512640 134569956 3221224368 3221214592 1131296397 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209929 24605 13086 16 0 209913 0 vsize: 839716 [startup+910.055 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 3204 Raw data (stat): 3126 (java) R 3125 23310 23309 0 -1 0 18163 3 1 0 89539 65 0 0 25 0 11 0 838709250 859869184 24605 4294967295 134512640 134569956 3221224368 3221214520 1131448483 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209929 24605 13086 16 0 209913 0 vsize: 839716 [startup+920.056 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 3204 Raw data (stat): 3126 (java) R 3125 23310 23309 0 -1 0 18163 3 1 0 90528 66 0 0 24 0 11 0 838709250 859869184 24605 4294967295 134512640 134569956 3221224368 3221214416 1131239322 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209929 24605 13086 16 0 209913 0 vsize: 839716 [startup+930.056 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 3204 Raw data (stat): 3126 (java) R 3125 23310 23309 0 -1 0 18163 3 1 0 91517 66 0 0 25 0 11 0 838709250 859869184 24637 4294967295 134512640 134569956 3221224368 3221214484 1131366089 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209929 24637 13086 16 0 209913 0 vsize: 839716 [startup+940.056 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 3204 Raw data (stat): 3126 (java) R 3125 23310 23309 0 -1 0 18163 3 1 0 92504 66 0 0 25 0 11 0 838709250 859869184 24644 4294967295 134512640 134569956 3221224368 3221214448 1131240051 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209929 24644 13086 16 0 209913 0 vsize: 839716 [startup+950.056 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 3204 Raw data (stat): 3126 (java) R 3125 23310 23309 0 -1 0 18163 3 1 0 93489 66 0 0 25 0 11 0 838709250 859869184 24645 4294967295 134512640 134569956 3221224368 3221214416 1131239549 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209929 24645 13086 16 0 209913 0 vsize: 839716 [startup+960.057 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 3204 Raw data (stat): 3126 (java) R 3125 23310 23309 0 -1 0 18163 3 1 0 94473 66 0 0 25 0 11 0 838709250 859869184 24645 4294967295 134512640 134569956 3221224368 3221214488 1131460045 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209929 24645 13086 16 0 209913 0 vsize: 839716 [startup+970.057 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 3204 Raw data (stat): 3126 (java) R 3125 23310 23309 0 -1 0 18163 3 1 0 95455 66 0 0 25 0 11 0 838709250 859869184 24679 4294967295 134512640 134569956 3221224368 3221214416 1131239983 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209929 24679 13086 16 0 209913 0 vsize: 839716 [startup+980.057 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 3204 Raw data (stat): 3126 (java) R 3125 23310 23309 0 -1 0 18163 3 1 0 96436 66 0 0 21 0 11 0 838709250 859869184 24713 4294967295 134512640 134569956 3221224368 3221214416 1131239206 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209929 24713 13086 16 0 209913 0 vsize: 839716 [startup+990.058 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 3204 Raw data (stat): 3126 (java) R 3125 23310 23309 0 -1 0 18163 3 1 0 97417 66 0 0 25 0 11 0 838709250 859869184 24745 4294967295 134512640 134569956 3221224368 3221214496 1131329137 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209929 24745 13086 16 0 209913 0 vsize: 839716 [startup+1000.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 3204 Raw data (stat): 3126 (java) R 3125 23310 23309 0 -1 0 18163 3 1 0 98400 66 0 0 25 0 11 0 838709250 859869184 24777 4294967295 134512640 134569956 3221224368 3221214416 1131239367 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209929 24777 13086 16 0 209913 0 vsize: 839716 [startup+1010.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 3204 Raw data (stat): 3126 (java) R 3125 23310 23309 0 -1 0 18163 3 1 0 99381 66 0 0 25 0 11 0 838709250 859869184 24847 4294967295 134512640 134569956 3221224368 3221214416 1131239441 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209929 24847 13086 16 0 209913 0 vsize: 839716 [startup+1020.11 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 3204 Raw data (stat): 3126 (java) R 3125 23310 23309 0 -1 0 18163 3 1 0 100365 66 0 0 25 0 11 0 838709250 859869184 24881 4294967295 134512640 134569956 3221224368 3221214680 1131187520 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209929 24881 13086 16 0 209913 0 vsize: 839716 [startup+1030.11 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 3204 Raw data (stat): 3126 (java) R 3125 23310 23309 0 -1 0 18163 3 1 0 101345 66 0 0 25 0 11 0 838709250 859869184 24916 4294967295 134512640 134569956 3221224368 3221214672 1131456515 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209929 24916 13086 16 0 209913 0 vsize: 839716 [startup+1040.11 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 3204 Raw data (stat): 3126 (java) R 3125 23310 23309 0 -1 0 18163 3 1 0 102324 66 0 0 25 0 11 0 838709250 859869184 24952 4294967295 134512640 134569956 3221224368 3221214452 1130885120 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209929 24952 13086 16 0 209913 0 vsize: 839716 [startup+1050.11 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 3204 Raw data (stat): 3126 (java) R 3125 23310 23309 0 -1 0 18163 3 1 0 103302 67 0 0 25 0 11 0 838709250 859869184 24996 4294967295 134512640 134569956 3221224368 3221214480 1131322536 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209929 24996 13086 16 0 209913 0 vsize: 839716 [startup+1060.11 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 3204 Raw data (stat): 3126 (java) R 3125 23310 23309 0 -1 0 18163 3 1 0 104284 67 0 0 25 0 11 0 838709250 859869184 25054 4294967295 134512640 134569956 3221224368 3221214520 1131448451 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209929 25054 13086 16 0 209913 0 vsize: 839716 [startup+1070.11 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 3204 Raw data (stat): 3126 (java) R 3125 23310 23309 0 -1 0 18163 3 1 0 105260 67 0 0 25 0 11 0 838709250 859869184 25089 4294967295 134512640 134569956 3221224368 3221214464 1131251861 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209929 25089 13086 16 0 209913 0 vsize: 839716 [startup+1080.11 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 3204 Raw data (stat): 3126 (java) R 3125 23310 23309 0 -1 0 18163 3 1 0 106237 67 0 0 25 0 11 0 838709250 859869184 25123 4294967295 134512640 134569956 3221224368 3221214496 1131190958 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209929 25123 13086 16 0 209913 0 vsize: 839716 [startup+1090.11 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 3204 Raw data (stat): 3126 (java) R 3125 23310 23309 0 -1 0 18163 3 1 0 107213 67 0 0 25 0 11 0 838709250 859869184 25166 4294967295 134512640 134569956 3221224368 3221214496 1131329146 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209929 25166 13086 16 0 209913 0 vsize: 839716 [startup+1100.11 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 3204 Raw data (stat): 3126 (java) R 3125 23310 23309 0 -1 0 18163 3 1 0 108190 67 0 0 25 0 11 0 838709250 859869184 25222 4294967295 134512640 134569956 3221224368 3221214492 1131322464 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209929 25222 13086 16 0 209913 0 vsize: 839716 [startup+1110.11 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 3204 Raw data (stat): 3126 (java) R 3125 23310 23309 0 -1 0 18163 3 1 0 109168 67 0 0 25 0 11 0 838709250 859869184 25289 4294967295 134512640 134569956 3221224368 3221214520 1131448498 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209929 25289 13086 16 0 209913 0 vsize: 839716 [startup+1120.11 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 3204 Raw data (stat): 3126 (java) R 3125 23310 23309 0 -1 0 18163 3 1 0 110146 67 0 0 24 0 11 0 838709250 859869184 25323 4294967295 134512640 134569956 3221224368 3221214408 1131239322 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209929 25323 13086 16 0 209913 0 vsize: 839716 [startup+1130.11 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 3204 Raw data (stat): 3126 (java) R 3125 23310 23309 0 -1 0 18163 3 1 0 111127 67 0 0 25 0 11 0 838709250 859869184 25359 4294967295 134512640 134569956 3221224368 3221214400 1131470745 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209929 25359 13086 16 0 209913 0 vsize: 839716 [startup+1140.11 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 3204 Raw data (stat): 3126 (java) R 3125 23310 23309 0 -1 0 18163 3 1 0 112107 68 0 0 25 0 11 0 838709250 859869184 25453 4294967295 134512640 134569956 3221224368 3221214592 1131297571 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209929 25453 13086 16 0 209913 0 vsize: 839716 [startup+1150.11 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 3204 Raw data (stat): 3126 (java) R 3125 23310 23309 0 -1 0 18163 3 1 0 113088 68 0 0 25 0 11 0 838709250 859869184 25493 4294967295 134512640 134569956 3221224368 3221214448 1131186099 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209929 25493 13086 16 0 209913 0 vsize: 839716 [startup+1160.11 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 3204 Raw data (stat): 3126 (java) R 3125 23310 23309 0 -1 0 18163 3 1 0 114069 68 0 0 25 0 11 0 838709250 859869184 25534 4294967295 134512640 134569956 3221224368 3221214480 1131322523 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209929 25534 13086 16 0 209913 0 vsize: 839716 [startup+1170.11 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 3204 Raw data (stat): 3126 (java) R 3125 23310 23309 0 -1 0 18163 3 1 0 115049 68 0 0 25 0 11 0 838709250 859869184 25569 4294967295 134512640 134569956 3221224368 3221214680 1131187520 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209929 25569 13086 16 0 209913 0 vsize: 839716 [startup+1180.11 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 3204 Raw data (stat): 3126 (java) R 3125 23310 23309 0 -1 0 18163 3 1 0 116022 68 0 0 25 0 11 0 838709250 859869184 25600 4294967295 134512640 134569956 3221224368 3221214592 1131296172 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209929 25600 13086 16 0 209913 0 vsize: 839716 [startup+1190.11 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 3204 Raw data (stat): 3126 (java) R 3125 23310 23309 0 -1 0 18163 3 1 0 116999 68 0 0 25 0 11 0 838709250 859869184 25661 4294967295 134512640 134569956 3221224368 3221214592 1131297548 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209929 25661 13086 16 0 209913 0 vsize: 839716 [startup+1200.11 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 3204 Raw data (stat): 3126 (java) R 3125 23310 23309 0 -1 0 18163 3 1 0 117981 68 0 0 25 0 11 0 838709250 859869184 25691 4294967295 134512640 134569956 3221224368 3221214592 1131296121 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209929 25691 13086 16 0 209913 0 vsize: 839716 [startup+1210.11 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 3204 Raw data (stat): 3126 (java) R 3125 23310 23309 0 -1 0 18163 3 1 0 118971 68 0 0 25 0 11 0 838709250 859869184 25814 4294967295 134512640 134569956 3221224368 3221214728 1131417337 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209929 25814 13086 16 0 209913 0 vsize: 839716 [startup+1220.12 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 3204 Raw data (stat): 3126 (java) R 3125 23310 23309 0 -1 0 18163 3 1 0 119969 68 0 0 25 0 11 0 838709250 859869184 25814 4294967295 134512640 134569956 3221224368 3221214680 1131288164 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209929 25814 13086 16 0 209913 0 vsize: 839716 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1220.43 s] Raw data (loadavg): 1.00 1.00 1.00 1/54 3206 Raw data (stat): 3126 (java) Z 3125 23310 23309 0 -1 1036 18163 5867 1 0 119995 68 1716 25 25 0 1 0 838709250 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): 1220.43 CPU time (s): 1218.06 CPU user time (s): 1217.12 CPU system time (s): 0.941856 CPU usage (%): 99.806 Max. virtual memory (Kb): 839908 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### Verifier: OK -28905082450 #### END VERIFIER DATA ####