PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-harp2.opb
MD5SUM	9daf89aad4f1fef005847be296977991
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-63525540
Optimality of the best value was proved	NO
Number of terms in the objective function	2993
Biggest coefficient in the objective function	17006200
Number of bits for the biggest coefficient in the objective function	25
Sum of the numbers in the objective function	4415092451
Number of bits of the sum of numbers in the objective function	33
Biggest number in a constraint	4208540000
Number of bits of the biggest number in a constraint	32
Biggest sum of numbers in a constraint	46909379837
Number of bits of the biggest sum of numbers	36
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1267.65
Number of variables	2993
Total number of constraints	3105
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	3066
Number of constraints which are nor clauses,nor cardinality constraints	39
Minimum length of a constraint	1
Maximum length of a constraint	73
Trace number 29965

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.037
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        640312 kB
Buffers:         34132 kB
Cached:         338684 kB
SwapCached:        640 kB
Active:          86672 kB
Inactive:       288588 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        640060 kB
SwapTotal:     2097136 kB
SwapFree:      2096032 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5628 kB
Slab:            13332 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 13:37:57 (client local time) WITH STATUS 143 IN 1267.65 SECONDS
stats: 21366 0 1267.65 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/wulflinc23/normalized-mps-v2-13-7-harp2.opb
c reading problem ... done. Time 5.829 ms.
c #vars     2993
c #constraints  185
c SATISFIABLE
c OPTIMIZING...
c CURRENT OPTIMUM=                -146 		Current CPU time: 7.58 ms
c CURRENT OPTIMUM=             -340504 		Current CPU time: 10.79 ms
c CURRENT OPTIMUM=             -553262 		Current CPU time: 13.27 ms
c CURRENT OPTIMUM=           -61170458 		Current CPU time: 14.39 ms
c CURRENT OPTIMUM=           -63229581 		Current CPU time: 620.50 ms
c CURRENT OPTIMUM=           -63525540 		Current CPU time: 692.88 ms
c starts	: 9
c conflicts	: 338
c decisions	: 4511
c propagations	: 17633
c inspects	: 230792
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 338
c root simplifications	: 10
s SATISFIABLE
v -x1_bit0 -x2_bit0 -x3_bit0 -x4_bit0 -x5_bit0 -x6_bit0 -x7_bit0 -x8_bit0 -x9_bit0 -x10_bit0 -x11_bit0 -x12_bit0 -x13_bit0 -x14_bit0 -x15_bit0 -x16_bit0 -x17_bit0 -x18_bit0 -x19_bit0 -x20_bit0 -x21_bit0 -x22_bit0 -x23_bit0 -x24_bit0 -x25_bit0 -x26_bit0 -x27_bit0 -x28_bit0 -x29_bit0 -x30_bit0 -x31_bit0 -x32_bit0 -x33_bit0 -x34_bit0 -x35_bit0 -x36_bit0 -x37_bit0 -x38_bit0 -x39_bit0 x40_bit0 -x41_bit0 -x42_bit0 -x43_bit0 -x44_bit0 -x45_bit0 -x46_bit0 -x47_bit0 -x48_bit0 -x49_bit0 -x50_bit0 -x51_bit0 -x52_bit0 -x53_bit0 -x54_bit0 -x55_bit0 -x56_bit0 -x57_bit0 -x58_bit0 -x59_bit0 -x60_bit0 -x61_bit0 -x62_bit0 -x63_bit0 -x64_bit0 -x65_bit0 -x66_bit0 -x67_bit0 -x68_bit0 -x69_bit0 -x70_bit0 -x71_bit0 -x72_bit0 -x73_bit0 -x74_bit0 -x75_bit0 -x76_bit0 -x77_bit0 -x78_bit0 -x79_bit0 x80_bit0 -x81_bit0 -x82_bit0 -x83_bit0 -x84_bit0 -x85_bit0 -x86_bit0 -x87_bit0 -x88_bit0 -x89_bit0 -x90_bit0 -x91_bit0 -x92_bit0 -x93_bit0 -x94_bit0 -x95_bit0 -x96_bit0 -x97_bit0 -x98_bit0 -x99_bit0 -x100_bit0 -x101_bit0 -x102_bit0 -x103_bit0 -x104_bit0 -x105_bit0 -x106_bit0 -x107_bit0 -x108_bit0 -x109_bit0 -x110_bit0 -x111_bit0 -x112_bit0 -x113_bit0 -x114_bit0 -x115_bit0 -x116_bit0 -x117_bit0 -x118_bit0 -x119_bit0 -x120_bit0 x121_bit0 -x122_bit0 -x123_bit0 -x124_bit0 -x125_bit0 -x126_bit0 -x127_bit0 x128_bit0 -x129_bit0 -x130_bit0 -x131_bit0 -x132_bit0 -x133_bit0 -x134_bit0 -x135_bit0 -x136_bit0 -x137_bit0 -x138_bit0 -x139_bit0 -x140_bit0 -x141_bit0 -x142_bit0 -x143_bit0 -x144_bit0 -x145_bit0 -x146_bit0 -x147_bit0 -x148_bit0 -x149_bit0 -x150_bit0 -x151_bit0 -x152_bit0 -x153_bit0 -x154_bit0 -x155_bit0 -x156_bit0 -x157_bit0 -x158_bit0 -x159_bit0 -x160_bit0 -x161_bit0 -x162_bit0 -x163_bit0 -x164_bit0 -x165_bit0 -x166_bit0 -x167_bit0 -x168_bit0 x169_bit0 -x170_bit0 -x171_bit0 -x172_bit0 -x173_bit0 -x174_bit0 -x175_bit0 -x176_bit0 -x177_bit0 -x178_bit0 -x179_bit0 -x180_bit0 -x181_bit0 -x182_bit0 -x183_bit0 -x184_bit0 -x185_bit0 -x186_bit0 -x187_bit0 -x188_bit0 -x189_bit0 -x190_bit0 -x191_bit0 -x192_bit0 -x193_bit0 -x194_bit0 -x195_bit0 -x196_bit0 -x197_bit0 -x198_bit0 -x199_bit0 -x200_bit0 -x201_bit0 -x202_bit0 -x203_bit0 -x204_bit0 -x205_bit0 -x206_bit0 -x207_bit0 -x208_bit0 -x209_bit0 -x210_bit0 -x211_bit0 -x212_bit0 -x213_bit0 -x214_bit0 -x215_bit0 -x216_bit0 -x217_bit0 -x218_bit0 -x219_bit0 -x220_bit0 -x221_bit0 -x222_bit0 -x223_bit0 -x224_bit0 -x225_bit0 -x226_bit0 -x227_bit0 -x228_bit0 -x229_bit0 -x230_bit0 -x231_bit0 -x232_bit0 -x233_bit0 -x234_bit0 -x235_bit0 -x236_bit0 -x237_bit0 -x238_bit0 -x239_bit0 -x240_bit0 -x241_bit0 -x242_bit0 -x243_bit0 x244_bit0 -x245_bit0 -x246_bit0 -x247_bit0 -x248_bit0 -x249_bit0 -x250_bit0 -x251_bit0 -x252_bit0 -x253_bit0 -x254_bit0 -x255_bit0 -x256_bit0 -x257_bit0 -x258_bit0 -x259_bit0 -x260_bit0 -x261_bit0 -x262_bit0 -x263_bit0 -x264_bit0 -x265_bit0 -x266_bit0 -x267_bit0 -x268_bit0 -x269_bit0 -x270_bit0 -x271_bit0 -x272_bit0 -x273_bit0 -x274_bit0 -x275_bit0 -x276_bit0 -x277_bit0 -x278_bit0 -x279_bit0 -x280_bit0 -x281_bit0 -x282_bit0 -x283_bit0 -x284_bit0 x285_bit0 -x286_bit0 -x287_bit0 -x288_bit0 -x289_bit0 -x290_bit0 -x291_bit0 -x292_bit0 -x293_bit0 -x294_bit0 -x295_bit0 -x296_bit0 -x297_bit0 -x298_bit0 -x299_bit0 -x300_bit0 x301_bit0 -x302_bit0 -x303_bit0 -x304_bit0 -x305_bit0 -x306_bit0 -x307_bit0 -x308_bit0 -x309_bit0 -x310_bit0 -x311_bit0 -x312_bit0 -x313_bit0 -x314_bit0 -x315_bit0 -x316_bit0 -x317_bit0 -x318_bit0 -x319_bit0 -x320_bit0 -x321_bit0 -x322_bit0 -x323_bit0 -x324_bit0 -x325_bit0 -x326_bit0 -x327_bit0 -x328_bit0 -x329_bit0 -x330_bit0 -x331_bit0 -x332_bit0 -x333_bit0 -x334_bit0 -x335_bit0 -x336_bit0 -x337_bit0 -x338_bit0 -x339_bit0 -x340_bit0 -x341_bit0 x342_bit0 -x343_bit0 -x344_bit0 -x345_bit0 -x346_bit0 -x347_bit0 -x348_bit0 -x349_bit0 -x350_bit0 -x351_bit0 -x352_bit0 -x353_bit0 -x354_bit0 -x355_bit0 -x356_bit0 -x357_bit0 -x358_bit0 -x359_bit0 -x360_bit0 -x361_bit0 -x362_bit0 -x363_bit0 -x364_bit0 -x365_bit0 -x366_bit0 -x367_bit0 -x368_bit0 -x369_bit0 -x370_bit0 -x371_bit0 -x372_bit0 -x373_bit0 x374_bit0 -x375_bit0 -x376_bit0 -x377_bit0 -x378_bit0 -x379_bit0 -x380_bit0 -x381_bit0 -x382_bit0 -x383_bit0 -x384_bit0 -x385_bit0 -x386_bit0 -x387_bit0 -x388_bit0 -x389_bit0 -x390_bit0 -x391_bit0 -x392_bit0 -x393_bit0 -x394_bit0 -x395_bit0 -x396_bit0 -x397_bit0 -x398_bit0 -x399_bit0 -x400_bit0 -x401_bit0 -x402_bit0 -x403_bit0 -x404_bit0 -x405_bit0 -x406_bit0 -x407_bit0 -x408_bit0 -x409_bit0 -x410_bit0 -x411_bit0 -x412_bit0 -x413_bit0 -x414_bit0 -x415_bit0 -x416_bit0 -x417_bit0 -x418_bit0 -x419_bit0 -x420_bit0 -x421_bit0 -x422_bit0 -x423_bit0 -x424_bit0 -x425_bit0 -x426_bit0 -x427_bit0 -x428_bit0 -x429_bit0 -x430_bit0 -x431_bit0 -x432_bit0 -x433_bit0 -x434_bit0 -x435_bit0 -x436_bit0 -x437_bit0 -x438_bit0 -x439_bit0 -x440_bit0 -x441_bit0 -x442_bit0 -x443_bit0 -x444_bit0 -x445_bit0 -x446_bit0 -x447_bit0 -x448_bit0 -x449_bit0 x450_bit0 -x451_bit0 -x452_bit0 -x453_bit0 -x454_bit0 -x455_bit0 -x456_bit0 -x457_bit0 -x458_bit0 -x459_bit0 -x460_bit0 -x461_bit0 -x462_bit0 -x463_bit0 -x464_bit0 -x465_bit0 -x466_bit0 -x467_bit0 -x468_bit0 -x469_bit0 -x470_bit0 -x471_bit0 -x472_bit0 -x473_bit0 -x474_bit0 -x475_bit0 -x476_bit0 -x477_bit0 -x478_bit0 -x479_bit0 -x480_bit0 -x481_bit0 -x482_bit0 -x483_bit0 -x484_bit0 -x485_bit0 -x486_bit0 -x487_bit0 -x488_bit0 -x489_bit0 -x490_bit0 -x491_bit0 x492_bit0 -x493_bit0 -x494_bit0 -x495_bit0 -x496_bit0 x497_bit0 -x498_bit0 -x499_bit0 -x500_bit0 -x501_bit0 -x502_bit0 -x503_bit0 -x504_bit0 -x505_bit0 -x506_bit0 -x507_bit0 -x508_bit0 -x509_bit0 -x510_bit0 -x511_bit0 -x512_bit0 -x513_bit0 -x514_bit0 -x515_bit0 -x516_bit0 -x517_bit0 -x518_bit0 -x519_bit0 -x520_bit0 -x521_bit0 -x522_bit0 -x523_bit0 -x524_bit0 -x525_bit0 -x526_bit0 -x527_bit0 -x528_bit0 -x529_bit0 -x530_bit0 -x531_bit0 -x532_bit0 -x533_bit0 -x534_bit0 -x535_bit0 -x536_bit0 -x537_bit0 x538_bit0 -x539_bit0 -x540_bit0 -x541_bit0 -x542_bit0 -x543_bit0 -x544_bit0 -x545_bit0 -x546_bit0 -x547_bit0 -x548_bit0 -x549_bit0 -x550_bit0 -x551_bit0 -x552_bit0 -x553_bit0 -x554_bit0 -x555_bit0 -x556_bit0 -x557_bit0 -x558_bit0 -x559_bit0 -x560_bit0 -x561_bit0 -x562_bit0 -x563_bit0 -x564_bit0 -x565_bit0 -x566_bit0 -x567_bit0 -x568_bit0 -x569_bit0 -x570_bit0 -x571_bit0 -x572_bit0 -x573_bit0 -x574_bit0 -x575_bit0 -x576_bit0 -x577_bit0 -x578_bit0 x579_bit0 -x580_bit0 -x581_bit0 -x582_bit0 -x583_bit0 -x584_bit0 -x585_bit0 -x586_bit0 -x587_bit0 -x588_bit0 -x589_bit0 -x590_bit0 -x591_bit0 -x592_bit0 -x593_bit0 -x594_bit0 -x595_bit0 -x596_bit0 -x597_bit0 -x598_bit0 -x599_bit0 -x600_bit0 -x601_bit0 -x602_bit0 -x603_bit0 -x604_bit0 -x605_bit0 -x606_bit0 -x607_bit0 -x608_bit0 -x609_bit0 -x610_bit0 -x611_bit0 -x612_bit0 -x613_bit0 -x614_bit0 -x615_bit0 -x616_bit0 -x617_bit0 -x618_bit0 -x619_bit0 x620_bit0 -x621_bit0 -x622_bit0 -x623_bit0 -x624_bit0 -x625_bit0 -x626_bit0 -x627_bit0 -x628_bit0 -x629_bit0 -x630_bit0 -x631_bit0 -x632_bit0 -x633_bit0 -x634_bit0 -x635_bit0 -x636_bit0 -x637_bit0 -x638_bit0 -x639_bit0 -x640_bit0 -x641_bit0 -x642_bit0 -x643_bit0 -x644_bit0 -x645_bit0 -x646_bit0 -x647_bit0 -x648_bit0 -x649_bit0 -x650_bit0 -x651_bit0 -x652_bit0 -x653_bit0 -x654_bit0 -x655_bit0 -x656_bit0 -x657_bit0 -x658_bit0 -x659_bit0 -x660_bit0 -x661_bit0 -x662_bit0 -x663_bit0 -x664_bit0 -x665_bit0 -x666_bit0 -x667_bit0 -x668_bit0 -x669_bit0 -x670_bit0 -x671_bit0 -x672_bit0 -x673_bit0 -x674_bit0 -x675_bit0 -x676_bit0 -x677_bit0 -x678_bit0 -x679_bit0 -x680_bit0 -x681_bit0 -x682_bit0 -x683_bit0 -x684_bit0 -x685_bit0 -x686_bit0 -x687_bit0 -x688_bit0 -x689_bit0 -x690_bit0 -x691_bit0 -x692_bit0 -x693_bit0 -x694_bit0 -x695_bit0 x696_bit0 -x697_bit0 -x698_bit0 -x699_bit0 -x700_bit0 -x701_bit0 -x702_bit0 -x703_bit0 -x704_bit0 -x705_bit0 -x706_bit0 -x707_bit0 -x708_bit0 -x709_bit0 -x710_bit0 -x711_bit0 -x712_bit0 -x713_bit0 -x714_bit0 -x715_bit0 -x716_bit0 -x717_bit0 -x718_bit0 -x719_bit0 -x720_bit0 -x721_bit0 -x722_bit0 -x723_bit0 -x724_bit0 -x725_bit0 -x726_bit0 -x727_bit0 -x728_bit0 -x729_bit0 -x730_bit0 -x731_bit0 -x732_bit0 -x733_bit0 -x734_bit0 -x735_bit0 x736_bit0 -x737_bit0 -x738_bit0 -x739_bit0 -x740_bit0 x741_bit0 -x742_bit0 -x743_bit0 -x744_bit0 -x745_bit0 -x746_bit0 -x747_bit0 -x748_bit0 -x749_bit0 -x750_bit0 -x751_bit0 -x752_bit0 -x753_bit0 -x754_bit0 -x755_bit0 -x756_bit0 -x757_bit0 -x758_bit0 -x759_bit0 -x760_bit0 -x761_bit0 -x762_bit0 -x763_bit0 -x764_bit0 -x765_bit0 -x766_bit0 -x767_bit0 -x768_bit0 -x769_bit0 -x770_bit0 -x771_bit0 -x772_bit0 -x773_bit0 -x774_bit0 -x775_bit0 -x776_bit0 -x777_bit0 -x778_bit0 -x779_bit0 -x780_bit0 -x781_bit0 -x782_bit0 -x783_bit0 x784_bit0 -x785_bit0 -x786_bit0 -x787_bit0 -x788_bit0 -x789_bit0 -x790_bit0 -x791_bit0 -x792_bit0 -x793_bit0 -x794_bit0 -x795_bit0 -x796_bit0 -x797_bit0 -x798_bit0 -x799_bit0 -x800_bit0 -x801_bit0 -x802_bit0 -x803_bit0 -x804_bit0 -x805_bit0 -x806_bit0 -x807_bit0 -x808_bit0 -x809_bit0 -x810_bit0 -x811_bit0 -x812_bit0 -x813_bit0 -x814_bit0 -x815_bit0 -x816_bit0 -x817_bit0 -x818_bit0 -x819_bit0 -x820_bit0 -x821_bit0 -x822_bit0 -x823_bit0 -x824_bit0 x825_bit0 -x826_bit0 -x827_bit0 -x828_bit0 -x829_bit0 -x830_bit0 -x831_bit0 -x832_bit0 -x833_bit0 -x834_bit0 -x835_bit0 -x836_bit0 -x837_bit0 -x838_bit0 -x839_bit0 -x840_bit0 -x841_bit0 -x842_bit0 -x843_bit0 -x844_bit0 -x845_bit0 -x846_bit0 -x847_bit0 -x848_bit0 -x849_bit0 -x850_bit0 -x851_bit0 -x852_bit0 -x853_bit0 -x854_bit0 -x855_bit0 -x856_bit0 -x857_bit0 -x858_bit0 -x859_bit0 -x860_bit0 -x861_bit0 -x862_bit0 -x863_bit0 -x864_bit0 -x865_bit0 -x866_bit0 -x867_bit0 -x868_bit0 -x869_bit0 -x870_bit0 -x871_bit0 -x872_bit0 -x873_bit0 -x874_bit0 -x875_bit0 -x876_bit0 -x877_bit0 -x878_bit0 -x879_bit0 -x880_bit0 -x881_bit0 -x882_bit0 -x883_bit0 -x884_bit0 -x885_bit0 -x886_bit0 -x887_bit0 -x888_bit0 -x889_bit0 -x890_bit0 -x891_bit0 -x892_bit0 -x893_bit0 -x894_bit0 -x895_bit0 -x896_bit0 -x897_bit0 -x898_bit0 -x899_bit0 -x900_bit0 x901_bit0 -x902_bit0 -x903_bit0 -x904_bit0 -x905_bit0 -x906_bit0 -x907_bit0 -x908_bit0 -x909_bit0 -x910_bit0 -x911_bit0 -x912_bit0 -x913_bit0 -x914_bit0 -x915_bit0 -x916_bit0 -x917_bit0 -x918_bit0 -x919_bit0 -x920_bit0 -x921_bit0 -x922_bit0 -x923_bit0 -x924_bit0 -x925_bit0 -x926_bit0 -x927_bit0 -x928_bit0 -x929_bit0 -x930_bit0 -x931_bit0 -x932_bit0 -x933_bit0 -x934_bit0 -x935_bit0 -x936_bit0 -x937_bit0 -x938_bit0 -x939_bit0 -x940_bit0 -x941_bit0 x942_bit0 -x943_bit0 -x944_bit0 -x945_bit0 -x946_bit0 -x947_bit0 -x948_bit0 -x949_bit0 -x950_bit0 -x951_bit0 -x952_bit0 -x953_bit0 -x954_bit0 -x955_bit0 -x956_bit0 -x957_bit0 -x958_bit0 -x959_bit0 -x960_bit0 -x961_bit0 -x962_bit0 -x963_bit0 -x964_bit0 -x965_bit0 -x966_bit0 -x967_bit0 -x968_bit0 -x969_bit0 -x970_bit0 -x971_bit0 -x972_bit0 -x973_bit0 -x974_bit0 -x975_bit0 -x976_bit0 -x977_bit0 -x978_bit0 -x979_bit0 -x980_bit0 -x981_bit0 -x982_bit0 x983_bit0 -x984_bit0 -x985_bit0 -x986_bit0 -x987_bit0 -x988_bit0 x989_bit0 -x990_bit0 -x991_bit0 -x992_bit0 -x993_bit0 -x994_bit0 -x995_bit0 -x996_bit0 -x997_bit0 -x998_bit0 -x999_bit0 -x1000_bit0 -x1001_bit0 -x1002_bit0 -x1003_bit0 -x1004_bit0 -x1005_bit0 -x1006_bit0 -x1007_bit0 -x1008_bit0 -x1009_bit0 -x1010_bit0 -x1011_bit0 -x1012_bit0 -x1013_bit0 -x1014_bit0 -x1015_bit0 -x1016_bit0 -x1017_bit0 -x1018_bit0 -x1019_bit0 -x1020_bit0 -x1021_bit0 -x1022_bit0 -x1023_bit0 -x1024_bit0 -x1025_bit0 -x1026_bit0 -x1027_bit0 -x1028_bit0 -x1029_bit0 x1030_bit0 -x1031_bit0 -x1032_bit0 -x1033_bit0 -x1034_bit0 -x1035_bit0 -x1036_bit0 -x1037_bit0 -x1038_bit0 -x1039_bit0 -x1040_bit0 -x1041_bit0 -x1042_bit0 -x1043_bit0 -x1044_bit0 -x1045_bit0 -x1046_bit0 -x1047_bit0 -x1048_bit0 -x1049_bit0 -x1050_bit0 -x1051_bit0 -x1052_bit0 -x1053_bit0 -x1054_bit0 -x1055_bit0 -x1056_bit0 -x1057_bit0 -x1058_bit0 -x1059_bit0 -x1060_bit0 -x1061_bit0 -x1062_bit0 -x1063_bit0 -x1064_bit0 -x1065_bit0 -x1066_bit0 -x1067_bit0 -x1068_bit0 -x1069_bit0 -x1070_bit0 x1071_bit0 -x1072_bit0 -x1073_bit0 -x1074_bit0 -x1075_bit0 -x1076_bit0 -x1077_bit0 -x1078_bit0 -x1079_bit0 -x1080_bit0 -x1081_bit0 -x1082_bit0 -x1083_bit0 -x1084_bit0 -x1085_bit0 -x1086_bit0 -x1087_bit0 -x1088_bit0 -x1089_bit0 -x1090_bit0 -x1091_bit0 -x1092_bit0 -x1093_bit0 -x1094_bit0 -x1095_bit0 -x1096_bit0 -x1097_bit0 -x1098_bit0 -x1099_bit0 -x1100_bit0 -x1101_bit0 -x1102_bit0 -x1103_bit0 -x1104_bit0 -x1105_bit0 -x1106_bit0 -x1107_bit0 -x1108_bit0 -x1109_bit0 -x1110_bit0 -x1111_bit0 -x1112_bit0 -x1113_bit0 -x1114_bit0 -x1115_bit0 -x1116_bit0 -x1117_bit0 -x1118_bit0 -x1119_bit0 -x1120_bit0 -x1121_bit0 -x1122_bit0 -x1123_bit0 -x1124_bit0 -x1125_bit0 -x1126_bit0 -x1127_bit0 -x1128_bit0 -x1129_bit0 -x1130_bit0 -x1131_bit0 -x1132_bit0 -x1133_bit0 -x1134_bit0 -x1135_bit0 -x1136_bit0 -x1137_bit0 -x1138_bit0 -x1139_bit0 -x1140_bit0 -x1141_bit0 -x1142_bit0 -x1143_bit0 -x1144_bit0 -x1145_bit0 -x1146_bit0 -x1147_bit0 x1148_bit0 -x1149_bit0 -x1150_bit0 -x1151_bit0 -x1152_bit0 -x1153_bit0 -x1154_bit0 -x1155_bit0 -x1156_bit0 -x1157_bit0 -x1158_bit0 -x1159_bit0 -x1160_bit0 -x1161_bit0 -x1162_bit0 -x1163_bit0 -x1164_bit0 -x1165_bit0 -x1166_bit0 -x1167_bit0 -x1168_bit0 -x1169_bit0 -x1170_bit0 -x1171_bit0 -x1172_bit0 -x1173_bit0 -x1174_bit0 -x1175_bit0 -x1176_bit0 -x1177_bit0 -x1178_bit0 -x1179_bit0 -x1180_bit0 -x1181_bit0 -x1182_bit0 -x1183_bit0 -x1184_bit0 -x1185_bit0 -x1186_bit0 -x1187_bit0 -x1188_bit0 x1189_bit0 -x1190_bit0 -x1191_bit0 -x1192_bit0 -x1193_bit0 -x1194_bit0 -x1195_bit0 -x1196_bit0 -x1197_bit0 -x1198_bit0 -x1199_bit0 -x1200_bit0 -x1201_bit0 -x1202_bit0 -x1203_bit0 -x1204_bit0 -x1205_bit0 -x1206_bit0 -x1207_bit0 -x1208_bit0 -x1209_bit0 -x1210_bit0 -x1211_bit0 -x1212_bit0 -x1213_bit0 -x1214_bit0 -x1215_bit0 -x1216_bit0 -x1217_bit0 -x1218_bit0 -x1219_bit0 -x1220_bit0 -x1221_bit0 -x1222_bit0 -x1223_bit0 -x1224_bit0 -x1225_bit0 -x1226_bit0 -x1227_bit0 -x1228_bit0 -x1229_bit0 x1230_bit0 -x1231_bit0 -x1232_bit0 -x1233_bit0 -x1234_bit0 -x1235_bit0 -x1236_bit0 -x1237_bit0 -x1238_bit0 -x1239_bit0 -x1240_bit0 -x1241_bit0 -x1242_bit0 -x1243_bit0 -x1244_bit0 -x1245_bit0 -x1246_bit0 -x1247_bit0 -x1248_bit0 -x1249_bit0 -x1250_bit0 -x1251_bit0 -x1252_bit0 -x1253_bit0 -x1254_bit0 -x1255_bit0 -x1256_bit0 -x1257_bit0 -x1258_bit0 -x1259_bit0 -x1260_bit0 -x1261_bit0 -x1262_bit0 -x1263_bit0 -x1264_bit0 -x1265_bit0 -x1266_bit0 -x1267_bit0 -x1268_bit0 -x1269_bit0 -x1270_bit0 x1271_bit0 -x1272_bit0 -x1273_bit0 -x1274_bit0 -x1275_bit0 x1276_bit0 -x1277_bit0 -x1278_bit0 -x1279_bit0 -x1280_bit0 -x1281_bit0 -x1282_bit0 -x1283_bit0 -x1284_bit0 -x1285_bit0 -x1286_bit0 -x1287_bit0 -x1288_bit0 -x1289_bit0 -x1290_bit0 -x1291_bit0 -x1292_bit0 -x1293_bit0 -x1294_bit0 -x1295_bit0 -x1296_bit0 -x1297_bit0 -x1298_bit0 -x1299_bit0 -x1300_bit0 -x1301_bit0 -x1302_bit0 -x1303_bit0 -x1304_bit0 -x1305_bit0 -x1306_bit0 -x1307_bit0 -x1308_bit0 -x1309_bit0 -x1310_bit0 -x1311_bit0 -x1312_bit0 -x1313_bit0 -x1314_bit0 -x1315_bit0 -x1316_bit0 -x1317_bit0 -x1318_bit0 -x1319_bit0 -x1320_bit0 -x1321_bit0 -x1322_bit0 -x1323_bit0 -x1324_bit0 -x1325_bit0 x1326_bit0 -x1327_bit0 -x1328_bit0 -x1329_bit0 -x1330_bit0 -x1331_bit0 -x1332_bit0 -x1333_bit0 -x1334_bit0 -x1335_bit0 -x1336_bit0 -x1337_bit0 -x1338_bit0 -x1339_bit0 -x1340_bit0 -x1341_bit0 -x1342_bit0 -x1343_bit0 -x1344_bit0 -x1345_bit0 -x1346_bit0 -x1347_bit0 -x1348_bit0 -x1349_bit0 -x1350_bit0 -x1351_bit0 -x1352_bit0 -x1353_bit0 -x1354_bit0 -x1355_bit0 -x1356_bit0 -x1357_bit0 -x1358_bit0 -x1359_bit0 -x1360_bit0 -x1361_bit0 -x1362_bit0 -x1363_bit0 -x1364_bit0 -x1365_bit0 -x1366_bit0 x1367_bit0 -x1368_bit0 -x1369_bit0 -x1370_bit0 -x1371_bit0 -x1372_bit0 -x1373_bit0 -x1374_bit0 -x1375_bit0 -x1376_bit0 -x1377_bit0 -x1378_bit0 -x1379_bit0 -x1380_bit0 -x1381_bit0 -x1382_bit0 -x1383_bit0 -x1384_bit0 -x1385_bit0 -x1386_bit0 -x1387_bit0 -x1388_bit0 -x1389_bit0 -x1390_bit0 -x1391_bit0 -x1392_bit0 -x1393_bit0 -x1394_bit0 -x1395_bit0 -x1396_bit0 -x1397_bit0 -x1398_bit0 x1399_bit0 -x1400_bit0 -x1401_bit0 -x1402_bit0 -x1403_bit0 -x1404_bit0 -x1405_bit0 -x1406_bit0 -x1407_bit0 -x1408_bit0 -x1409_bit0 -x1410_bit0 -x1411_bit0 -x1412_bit0 -x1413_bit0 -x1414_bit0 -x1415_bit0 -x1416_bit0 -x1417_bit0 -x1418_bit0 -x1419_bit0 -x1420_bit0 -x1421_bit0 -x1422_bit0 -x1423_bit0 -x1424_bit0 -x1425_bit0 -x1426_bit0 -x1427_bit0 -x1428_bit0 -x1429_bit0 -x1430_bit0 -x1431_bit0 -x1432_bit0 -x1433_bit0 -x1434_bit0 -x1435_bit0 -x1436_bit0 -x1437_bit0 -x1438_bit0 -x1439_bit0 x1440_bit0 -x1441_bit0 -x1442_bit0 -x1443_bit0 -x1444_bit0 -x1445_bit0 -x1446_bit0 -x1447_bit0 -x1448_bit0 -x1449_bit0 -x1450_bit0 -x1451_bit0 -x1452_bit0 -x1453_bit0 -x1454_bit0 -x1455_bit0 -x1456_bit0 -x1457_bit0 -x1458_bit0 -x1459_bit0 -x1460_bit0 -x1461_bit0 -x1462_bit0 -x1463_bit0 -x1464_bit0 -x1465_bit0 -x1466_bit0 -x1467_bit0 -x1468_bit0 -x1469_bit0 -x1470_bit0 -x1471_bit0 -x1472_bit0 -x1473_bit0 -x1474_bit0 -x1475_bit0 -x1476_bit0 -x1477_bit0 -x1478_bit0 -x1479_bit0 -x1480_bit0 -x1481_bit0 -x1482_bit0 -x1483_bit0 -x1484_bit0 -x1485_bit0 -x1486_bit0 -x1487_bit0 -x1488_bit0 -x1489_bit0 -x1490_bit0 -x1491_bit0 -x1492_bit0 -x1493_bit0 -x1494_bit0 -x1495_bit0 -x1496_bit0 -x1497_bit0 -x1498_bit0 -x1499_bit0 -x1500_bit0 -x1501_bit0 -x1502_bit0 -x1503_bit0 -x1504_bit0 -x1505_bit0 -x1506_bit0 -x1507_bit0 -x1508_bit0 -x1509_bit0 -x1510_bit0 -x1511_bit0 -x1512_bit0 -x1513_bit0 -x1514_bit0 -x1515_bit0 x1516_bit0 -x1517_bit0 -x1518_bit0 -x1519_bit0 -x1520_bit0 -x1521_bit0 -x1522_bit0 -x1523_bit0 -x1524_bit0 -x1525_bit0 -x1526_bit0 -x1527_bit0 -x1528_bit0 -x1529_bit0 -x1530_bit0 x1531_bit0 -x1532_bit0 -x1533_bit0 -x1534_bit0 -x1535_bit0 -x1536_bit0 -x1537_bit0 -x1538_bit0 -x1539_bit0 -x1540_bit0 -x1541_bit0 -x1542_bit0 -x1543_bit0 -x1544_bit0 -x1545_bit0 -x1546_bit0 -x1547_bit0 -x1548_bit0 -x1549_bit0 -x1550_bit0 -x1551_bit0 -x1552_bit0 -x1553_bit0 -x1554_bit0 -x1555_bit0 -x1556_bit0 -x1557_bit0 -x1558_bit0 -x1559_bit0 -x1560_bit0 -x1561_bit0 -x1562_bit0 x1563_bit0 -x1564_bit0 -x1565_bit0 -x1566_bit0 -x1567_bit0 -x1568_bit0 -x1569_bit0 -x1570_bit0 -x1571_bit0 -x1572_bit0 -x1573_bit0 -x1574_bit0 -x1575_bit0 -x1576_bit0 -x1577_bit0 -x1578_bit0 -x1579_bit0 -x1580_bit0 -x1581_bit0 -x1582_bit0 -x1583_bit0 -x1584_bit0 -x1585_bit0 -x1586_bit0 -x1587_bit0 -x1588_bit0 -x1589_bit0 -x1590_bit0 -x1591_bit0 -x1592_bit0 -x1593_bit0 -x1594_bit0 -x1595_bit0 -x1596_bit0 -x1597_bit0 -x1598_bit0 -x1599_bit0 -x1600_bit0 -x1601_bit0 -x1602_bit0 -x1603_bit0 -x1604_bit0 -x1605_bit0 -x1606_bit0 -x1607_bit0 -x1608_bit0 -x1609_bit0 -x1610_bit0 -x1611_bit0 -x1612_bit0 -x1613_bit0 -x1614_bit0 -x1615_bit0 -x1616_bit0 -x1617_bit0 -x1618_bit0 -x1619_bit0 -x1620_bit0 -x1621_bit0 -x1622_bit0 -x1623_bit0 -x1624_bit0 -x1625_bit0 -x1626_bit0 -x1627_bit0 -x1628_bit0 -x1629_bit0 -x1630_bit0 -x1631_bit0 -x1632_bit0 -x1633_bit0 -x1634_bit0 -x1635_bit0 -x1636_bit0 x1637_bit0 -x1638_bit0 -x1639_bit0 -x1640_bit0 -x1641_bit0 -x1642_bit0 -x1643_bit0 -x1644_bit0 -x1645_bit0 -x1646_bit0 -x1647_bit0 -x1648_bit0 -x1649_bit0 -x1650_bit0 -x1651_bit0 -x1652_bit0 -x1653_bit0 -x1654_bit0 -x1655_bit0 -x1656_bit0 -x1657_bit0 -x1658_bit0 -x1659_bit0 -x1660_bit0 -x1661_bit0 -x1662_bit0 -x1663_bit0 -x1664_bit0 -x1665_bit0 -x1666_bit0 -x1667_bit0 -x1668_bit0 -x1669_bit0 -x1670_bit0 -x1671_bit0 -x1672_bit0 -x1673_bit0 -x1674_bit0 -x1675_bit0 -x1676_bit0 -x1677_bit0 -x1678_bit0 -x1679_bit0 x1680_bit0 -x1681_bit0 -x1682_bit0 -x1683_bit0 -x1684_bit0 -x1685_bit0 x1686_bit0 -x1687_bit0 -x1688_bit0 -x1689_bit0 -x1690_bit0 -x1691_bit0 -x1692_bit0 -x1693_bit0 -x1694_bit0 -x1695_bit0 -x1696_bit0 -x1697_bit0 -x1698_bit0 -x1699_bit0 -x1700_bit0 -x1701_bit0 -x1702_bit0 -x1703_bit0 -x1704_bit0 -x1705_bit0 -x1706_bit0 -x1707_bit0 -x1708_bit0 -x1709_bit0 -x1710_bit0 -x1711_bit0 -x1712_bit0 -x1713_bit0 -x1714_bit0 -x1715_bit0 -x1716_bit0 -x1717_bit0 -x1718_bit0 -x1719_bit0 -x1720_bit0 -x1721_bit0 -x1722_bit0 -x1723_bit0 -x1724_bit0 -x1725_bit0 -x1726_bit0 x1727_bit0 -x1728_bit0 -x1729_bit0 -x1730_bit0 -x1731_bit0 -x1732_bit0 -x1733_bit0 -x1734_bit0 -x1735_bit0 -x1736_bit0 -x1737_bit0 -x1738_bit0 -x1739_bit0 -x1740_bit0 -x1741_bit0 -x1742_bit0 -x1743_bit0 -x1744_bit0 -x1745_bit0 -x1746_bit0 -x1747_bit0 -x1748_bit0 -x1749_bit0 -x1750_bit0 -x1751_bit0 -x1752_bit0 -x1753_bit0 -x1754_bit0 -x1755_bit0 -x1756_bit0 -x1757_bit0 -x1758_bit0 -x1759_bit0 -x1760_bit0 -x1761_bit0 -x1762_bit0 -x1763_bit0 -x1764_bit0 -x1765_bit0 -x1766_bit0 -x1767_bit0 -x1768_bit0 -x1769_bit0 -x1770_bit0 -x1771_bit0 -x1772_bit0 -x1773_bit0 -x1774_bit0 -x1775_bit0 -x1776_bit0 -x1777_bit0 -x1778_bit0 -x1779_bit0 -x1780_bit0 -x1781_bit0 -x1782_bit0 -x1783_bit0 -x1784_bit0 -x1785_bit0 -x1786_bit0 -x1787_bit0 -x1788_bit0 -x1789_bit0 -x1790_bit0 -x1791_bit0 -x1792_bit0 -x1793_bit0 -x1794_bit0 -x1795_bit0 -x1796_bit0 -x1797_bit0 -x1798_bit0 -x1799_bit0 -x1800_bit0 -x1801_bit0 -x1802_bit0 x1803_bit0 -x1804_bit0 -x1805_bit0 -x1806_bit0 -x1807_bit0 -x1808_bit0 -x1809_bit0 -x1810_bit0 -x1811_bit0 -x1812_bit0 -x1813_bit0 -x1814_bit0 -x1815_bit0 -x1816_bit0 -x1817_bit0 -x1818_bit0 -x1819_bit0 -x1820_bit0 -x1821_bit0 -x1822_bit0 -x1823_bit0 -x1824_bit0 -x1825_bit0 -x1826_bit0 -x1827_bit0 -x1828_bit0 -x1829_bit0 -x1830_bit0 -x1831_bit0 -x1832_bit0 -x1833_bit0 -x1834_bit0 -x1835_bit0 -x1836_bit0 -x1837_bit0 -x1838_bit0 -x1839_bit0 -x1840_bit0 -x1841_bit0 -x1842_bit0 -x1843_bit0 x1844_bit0 -x1845_bit0 -x1846_bit0 -x1847_bit0 -x1848_bit0 -x1849_bit0 -x1850_bit0 -x1851_bit0 -x1852_bit0 -x1853_bit0 -x1854_bit0 -x1855_bit0 -x1856_bit0 -x1857_bit0 -x1858_bit0 -x1859_bit0 -x1860_bit0 -x1861_bit0 -x1862_bit0 -x1863_bit0 -x1864_bit0 -x1865_bit0 -x1866_bit0 -x1867_bit0 -x1868_bit0 -x1869_bit0 -x1870_bit0 -x1871_bit0 -x1872_bit0 -x1873_bit0 -x1874_bit0 -x1875_bit0 -x1876_bit0 -x1877_bit0 -x1878_bit0 -x1879_bit0 -x1880_bit0 -x1881_bit0 -x1882_bit0 -x1883_bit0 -x1884_bit0 x1885_bit0 -x1886_bit0 -x1887_bit0 -x1888_bit0 -x1889_bit0 -x1890_bit0 -x1891_bit0 -x1892_bit0 -x1893_bit0 -x1894_bit0 -x1895_bit0 -x1896_bit0 -x1897_bit0 -x1898_bit0 -x1899_bit0 -x1900_bit0 -x1901_bit0 -x1902_bit0 -x1903_bit0 -x1904_bit0 -x1905_bit0 -x1906_bit0 -x1907_bit0 -x1908_bit0 -x1909_bit0 -x1910_bit0 -x1911_bit0 -x1912_bit0 -x1913_bit0 -x1914_bit0 -x1915_bit0 -x1916_bit0 -x1917_bit0 -x1918_bit0 -x1919_bit0 -x1920_bit0 -x1921_bit0 -x1922_bit0 -x1923_bit0 -x1924_bit0 -x1925_bit0 x1926_bit0 -x1927_bit0 -x1928_bit0 -x1929_bit0 -x1930_bit0 -x1931_bit0 -x1932_bit0 -x1933_bit0 -x1934_bit0 -x1935_bit0 -x1936_bit0 -x1937_bit0 -x1938_bit0 -x1939_bit0 -x1940_bit0 -x1941_bit0 -x1942_bit0 -x1943_bit0 -x1944_bit0 -x1945_bit0 -x1946_bit0 -x1947_bit0 -x1948_bit0 -x1949_bit0 -x1950_bit0 -x1951_bit0 -x1952_bit0 -x1953_bit0 -x1954_bit0 -x1955_bit0 -x1956_bit0 -x1957_bit0 -x1958_bit0 -x1959_bit0 -x1960_bit0 -x1961_bit0 -x1962_bit0 -x1963_bit0 -x1964_bit0 -x1965_bit0 -x1966_bit0 x1967_bit0 -x1968_bit0 -x1969_bit0 -x1970_bit0 -x1971_bit0 -x1972_bit0 x1973_bit0 -x1974_bit0 -x1975_bit0 -x1976_bit0 -x1977_bit0 -x1978_bit0 -x1979_bit0 -x1980_bit0 -x1981_bit0 -x1982_bit0 -x1983_bit0 -x1984_bit0 -x1985_bit0 -x1986_bit0 -x1987_bit0 -x1988_bit0 -x1989_bit0 -x1990_bit0 -x1991_bit0 -x1992_bit0 -x1993_bit0 -x1994_bit0 -x1995_bit0 -x1996_bit0 -x1997_bit0 -x1998_bit0 -x1999_bit0 -x2000_bit0 -x2001_bit0 -x2002_bit0 -x2003_bit0 -x2004_bit0 -x2005_bit0 -x2006_bit0 -x2007_bit0 -x2008_bit0 -x2009_bit0 -x2010_bit0 -x2011_bit0 -x2012_bit0 -x2013_bit0 -x2014_bit0 -x2015_bit0 -x2016_bit0 -x2017_bit0 -x2018_bit0 -x2019_bit0 -x2020_bit0 -x2021_bit0 -x2022_bit0 -x2023_bit0 -x2024_bit0 -x2025_bit0 -x2026_bit0 -x2027_bit0 -x2028_bit0 -x2029_bit0 -x2030_bit0 -x2031_bit0 -x2032_bit0 -x2033_bit0 -x2034_bit0 -x2035_bit0 -x2036_bit0 -x2037_bit0 -x2038_bit0 -x2039_bit0 -x2040_bit0 -x2041_bit0 -x2042_bit0 -x2043_bit0 -x2044_bit0 -x2045_bit0 -x2046_bit0 x2047_bit0 -x2048_bit0 -x2049_bit0 -x2050_bit0 -x2051_bit0 -x2052_bit0 -x2053_bit0 -x2054_bit0 x2055_bit0 -x2056_bit0 -x2057_bit0 -x2058_bit0 -x2059_bit0 -x2060_bit0 -x2061_bit0 -x2062_bit0 -x2063_bit0 -x2064_bit0 -x2065_bit0 -x2066_bit0 -x2067_bit0 -x2068_bit0 -x2069_bit0 -x2070_bit0 -x2071_bit0 -x2072_bit0 -x2073_bit0 -x2074_bit0 -x2075_bit0 -x2076_bit0 -x2077_bit0 -x2078_bit0 -x2079_bit0 -x2080_bit0 -x2081_bit0 -x2082_bit0 -x2083_bit0 -x2084_bit0 -x2085_bit0 -x2086_bit0 -x2087_bit0 -x2088_bit0 -x2089_bit0 -x2090_bit0 -x2091_bit0 -x2092_bit0 -x2093_bit0 -x2094_bit0 -x2095_bit0 -x2096_bit0 -x2097_bit0 -x2098_bit0 -x2099_bit0 -x2100_bit0 -x2101_bit0 -x2102_bit0 -x2103_bit0 -x2104_bit0 -x2105_bit0 -x2106_bit0 -x2107_bit0 -x2108_bit0 -x2109_bit0 -x2110_bit0 -x2111_bit0 -x2112_bit0 -x2113_bit0 -x2114_bit0 -x2115_bit0 -x2116_bit0 -x2117_bit0 -x2118_bit0 -x2119_bit0 -x2120_bit0 -x2121_bit0 -x2122_bit0 -x2123_bit0 -x2124_bit0 -x2125_bit0 -x2126_bit0 -x2127_bit0 -x2128_bit0 -x2129_bit0 x2130_bit0 -x2131_bit0 -x2132_bit0 -x2133_bit0 -x2134_bit0 -x2135_bit0 -x2136_bit0 x2137_bit0 -x2138_bit0 -x2139_bit0 -x2140_bit0 -x2141_bit0 -x2142_bit0 -x2143_bit0 -x2144_bit0 -x2145_bit0 -x2146_bit0 -x2147_bit0 -x2148_bit0 -x2149_bit0 -x2150_bit0 -x2151_bit0 -x2152_bit0 -x2153_bit0 -x2154_bit0 -x2155_bit0 -x2156_bit0 -x2157_bit0 -x2158_bit0 -x2159_bit0 -x2160_bit0 -x2161_bit0 -x2162_bit0 -x2163_bit0 -x2164_bit0 -x2165_bit0 -x2166_bit0 -x2167_bit0 -x2168_bit0 -x2169_bit0 -x2170_bit0 -x2171_bit0 -x2172_bit0 -x2173_bit0 -x2174_bit0 -x2175_bit0 -x2176_bit0 -x2177_bit0 -x2178_bit0 -x2179_bit0 -x2180_bit0 -x2181_bit0 -x2182_bit0 -x2183_bit0 -x2184_bit0 -x2185_bit0 -x2186_bit0 -x2187_bit0 -x2188_bit0 -x2189_bit0 -x2190_bit0 -x2191_bit0 -x2192_bit0 -x2193_bit0 -x2194_bit0 -x2195_bit0 -x2196_bit0 -x2197_bit0 -x2198_bit0 -x2199_bit0 -x2200_bit0 -x2201_bit0 -x2202_bit0 -x2203_bit0 -x2204_bit0 -x2205_bit0 -x2206_bit0 -x2207_bit0 -x2208_bit0 -x2209_bit0 -x2210_bit0 -x2211_bit0 x2212_bit0 -x2213_bit0 -x2214_bit0 -x2215_bit0 -x2216_bit0 -x2217_bit0 -x2218_bit0 -x2219_bit0 -x2220_bit0 -x2221_bit0 -x2222_bit0 -x2223_bit0 -x2224_bit0 -x2225_bit0 -x2226_bit0 -x2227_bit0 -x2228_bit0 -x2229_bit0 -x2230_bit0 -x2231_bit0 -x2232_bit0 -x2233_bit0 -x2234_bit0 -x2235_bit0 -x2236_bit0 -x2237_bit0 -x2238_bit0 -x2239_bit0 -x2240_bit0 -x2241_bit0 -x2242_bit0 -x2243_bit0 -x2244_bit0 -x2245_bit0 -x2246_bit0 -x2247_bit0 -x2248_bit0 -x2249_bit0 -x2250_bit0 -x2251_bit0 -x2252_bit0 -x2253_bit0 x2254_bit0 -x2255_bit0 -x2256_bit0 -x2257_bit0 -x2258_bit0 -x2259_bit0 -x2260_bit0 -x2261_bit0 -x2262_bit0 -x2263_bit0 -x2264_bit0 -x2265_bit0 -x2266_bit0 -x2267_bit0 -x2268_bit0 -x2269_bit0 -x2270_bit0 -x2271_bit0 -x2272_bit0 -x2273_bit0 -x2274_bit0 -x2275_bit0 -x2276_bit0 -x2277_bit0 -x2278_bit0 -x2279_bit0 -x2280_bit0 -x2281_bit0 -x2282_bit0 -x2283_bit0 -x2284_bit0 -x2285_bit0 -x2286_bit0 -x2287_bit0 -x2288_bit0 -x2289_bit0 -x2290_bit0 -x2291_bit0 -x2292_bit0 -x2293_bit0 x2294_bit0 -x2295_bit0 -x2296_bit0 -x2297_bit0 -x2298_bit0 -x2299_bit0 -x2300_bit0 -x2301_bit0 -x2302_bit0 -x2303_bit0 -x2304_bit0 -x2305_bit0 -x2306_bit0 -x2307_bit0 -x2308_bit0 -x2309_bit0 -x2310_bit0 -x2311_bit0 -x2312_bit0 -x2313_bit0 -x2314_bit0 -x2315_bit0 -x2316_bit0 -x2317_bit0 -x2318_bit0 -x2319_bit0 -x2320_bit0 -x2321_bit0 -x2322_bit0 -x2323_bit0 -x2324_bit0 -x2325_bit0 -x2326_bit0 -x2327_bit0 -x2328_bit0 -x2329_bit0 -x2330_bit0 -x2331_bit0 -x2332_bit0 -x2333_bit0 -x2334_bit0 -x2335_bit0 x2336_bit0 -x2337_bit0 -x2338_bit0 -x2339_bit0 -x2340_bit0 -x2341_bit0 x2342_bit0 -x2343_bit0 -x2344_bit0 -x2345_bit0 -x2346_bit0 -x2347_bit0 -x2348_bit0 -x2349_bit0 -x2350_bit0 -x2351_bit0 -x2352_bit0 -x2353_bit0 -x2354_bit0 -x2355_bit0 -x2356_bit0 -x2357_bit0 -x2358_bit0 -x2359_bit0 -x2360_bit0 -x2361_bit0 -x2362_bit0 -x2363_bit0 -x2364_bit0 -x2365_bit0 -x2366_bit0 -x2367_bit0 -x2368_bit0 -x2369_bit0 -x2370_bit0 -x2371_bit0 -x2372_bit0 -x2373_bit0 -x2374_bit0 -x2375_bit0 -x2376_bit0 -x2377_bit0 -x2378_bit0 -x2379_bit0 -x2380_bit0 -x2381_bit0 -x2382_bit0 x2383_bit0 -x2384_bit0 -x2385_bit0 -x2386_bit0 -x2387_bit0 -x2388_bit0 -x2389_bit0 -x2390_bit0 -x2391_bit0 -x2392_bit0 -x2393_bit0 -x2394_bit0 -x2395_bit0 -x2396_bit0 -x2397_bit0 -x2398_bit0 -x2399_bit0 -x2400_bit0 -x2401_bit0 -x2402_bit0 -x2403_bit0 -x2404_bit0 -x2405_bit0 -x2406_bit0 -x2407_bit0 -x2408_bit0 -x2409_bit0 -x2410_bit0 -x2411_bit0 -x2412_bit0 -x2413_bit0 -x2414_bit0 -x2415_bit0 -x2416_bit0 -x2417_bit0 -x2418_bit0 -x2419_bit0 -x2420_bit0 -x2421_bit0 -x2422_bit0 -x2423_bit0 -x2424_bit0 -x2425_bit0 -x2426_bit0 -x2427_bit0 -x2428_bit0 -x2429_bit0 -x2430_bit0 -x2431_bit0 -x2432_bit0 x2433_bit0 -x2434_bit0 -x2435_bit0 -x2436_bit0 -x2437_bit0 -x2438_bit0 -x2439_bit0 -x2440_bit0 -x2441_bit0 -x2442_bit0 -x2443_bit0 -x2444_bit0 -x2445_bit0 -x2446_bit0 -x2447_bit0 -x2448_bit0 -x2449_bit0 -x2450_bit0 -x2451_bit0 -x2452_bit0 -x2453_bit0 -x2454_bit0 -x2455_bit0 -x2456_bit0 -x2457_bit0 -x2458_bit0 -x2459_bit0 -x2460_bit0 -x2461_bit0 -x2462_bit0 -x2463_bit0 -x2464_bit0 -x2465_bit0 -x2466_bit0 -x2467_bit0 -x2468_bit0 -x2469_bit0 -x2470_bit0 -x2471_bit0 -x2472_bit0 -x2473_bit0 -x2474_bit0 -x2475_bit0 -x2476_bit0 -x2477_bit0 -x2478_bit0 -x2479_bit0 -x2480_bit0 -x2481_bit0 -x2482_bit0 -x2483_bit0 -x2484_bit0 -x2485_bit0 -x2486_bit0 -x2487_bit0 -x2488_bit0 -x2489_bit0 -x2490_bit0 -x2491_bit0 -x2492_bit0 -x2493_bit0 -x2494_bit0 -x2495_bit0 -x2496_bit0 -x2497_bit0 -x2498_bit0 -x2499_bit0 -x2500_bit0 x2501_bit0 -x2502_bit0 -x2503_bit0 -x2504_bit0 -x2505_bit0 -x2506_bit0 -x2507_bit0 -x2508_bit0 -x2509_bit0 -x2510_bit0 -x2511_bit0 -x2512_bit0 -x2513_bit0 -x2514_bit0 -x2515_bit0 -x2516_bit0 -x2517_bit0 -x2518_bit0 -x2519_bit0 -x2520_bit0 -x2521_bit0 -x2522_bit0 -x2523_bit0 -x2524_bit0 -x2525_bit0 -x2526_bit0 -x2527_bit0 -x2528_bit0 -x2529_bit0 -x2530_bit0 -x2531_bit0 -x2532_bit0 -x2533_bit0 -x2534_bit0 -x2535_bit0 -x2536_bit0 -x2537_bit0 -x2538_bit0 -x2539_bit0 x2540_bit0 -x2541_bit0 -x2542_bit0 -x2543_bit0 -x2544_bit0 -x2545_bit0 -x2546_bit0 -x2547_bit0 -x2548_bit0 -x2549_bit0 -x2550_bit0 -x2551_bit0 -x2552_bit0 -x2553_bit0 -x2554_bit0 -x2555_bit0 -x2556_bit0 -x2557_bit0 -x2558_bit0 -x2559_bit0 -x2560_bit0 -x2561_bit0 -x2562_bit0 -x2563_bit0 -x2564_bit0 -x2565_bit0 -x2566_bit0 -x2567_bit0 -x2568_bit0 -x2569_bit0 -x2570_bit0 -x2571_bit0 -x2572_bit0 -x2573_bit0 -x2574_bit0 -x2575_bit0 -x2576_bit0 -x2577_bit0 -x2578_bit0 -x2579_bit0 -x2580_bit0 -x2581_bit0 x2582_bit0 -x2583_bit0 -x2584_bit0 -x2585_bit0 -x2586_bit0 -x2587_bit0 x2588_bit0 -x2589_bit0 -x2590_bit0 -x2591_bit0 -x2592_bit0 -x2593_bit0 -x2594_bit0 -x2595_bit0 -x2596_bit0 -x2597_bit0 -x2598_bit0 -x2599_bit0 -x2600_bit0 -x2601_bit0 -x2602_bit0 -x2603_bit0 -x2604_bit0 -x2605_bit0 -x2606_bit0 -x2607_bit0 -x2608_bit0 -x2609_bit0 -x2610_bit0 -x2611_bit0 -x2612_bit0 -x2613_bit0 -x2614_bit0 -x2615_bit0 -x2616_bit0 -x2617_bit0 -x2618_bit0 -x2619_bit0 -x2620_bit0 -x2621_bit0 -x2622_bit0 -x2623_bit0 -x2624_bit0 -x2625_bit0 -x2626_bit0 -x2627_bit0 -x2628_bit0 x2629_bit0 -x2630_bit0 -x2631_bit0 -x2632_bit0 -x2633_bit0 -x2634_bit0 -x2635_bit0 -x2636_bit0 -x2637_bit0 -x2638_bit0 -x2639_bit0 -x2640_bit0 -x2641_bit0 -x2642_bit0 -x2643_bit0 -x2644_bit0 -x2645_bit0 -x2646_bit0 -x2647_bit0 -x2648_bit0 -x2649_bit0 -x2650_bit0 -x2651_bit0 -x2652_bit0 -x2653_bit0 -x2654_bit0 -x2655_bit0 -x2656_bit0 -x2657_bit0 -x2658_bit0 -x2659_bit0 -x2660_bit0 -x2661_bit0 -x2662_bit0 -x2663_bit0 -x2664_bit0 -x2665_bit0 -x2666_bit0 -x2667_bit0 -x2668_bit0 -x2669_bit0 -x2670_bit0 -x2671_bit0 -x2672_bit0 -x2673_bit0 -x2674_bit0 -x2675_bit0 -x2676_bit0 -x2677_bit0 -x2678_bit0 x2679_bit0 -x2680_bit0 -x2681_bit0 -x2682_bit0 -x2683_bit0 -x2684_bit0 -x2685_bit0 -x2686_bit0 -x2687_bit0 -x2688_bit0 -x2689_bit0 -x2690_bit0 -x2691_bit0 -x2692_bit0 -x2693_bit0 -x2694_bit0 -x2695_bit0 -x2696_bit0 -x2697_bit0 -x2698_bit0 -x2699_bit0 -x2700_bit0 -x2701_bit0 -x2702_bit0 -x2703_bit0 -x2704_bit0 -x2705_bit0 -x2706_bit0 -x2707_bit0 -x2708_bit0 -x2709_bit0 -x2710_bit0 x2711_bit0 -x2712_bit0 -x2713_bit0 -x2714_bit0 -x2715_bit0 -x2716_bit0 -x2717_bit0 -x2718_bit0 -x2719_bit0 -x2720_bit0 -x2721_bit0 -x2722_bit0 -x2723_bit0 -x2724_bit0 -x2725_bit0 -x2726_bit0 -x2727_bit0 -x2728_bit0 -x2729_bit0 -x2730_bit0 -x2731_bit0 -x2732_bit0 -x2733_bit0 -x2734_bit0 -x2735_bit0 -x2736_bit0 -x2737_bit0 -x2738_bit0 -x2739_bit0 -x2740_bit0 -x2741_bit0 -x2742_bit0 -x2743_bit0 -x2744_bit0 -x2745_bit0 -x2746_bit0 -x2747_bit0 -x2748_bit0 -x2749_bit0 -x2750_bit0 -x2751_bit0 x2752_bit0 -x2753_bit0 -x2754_bit0 -x2755_bit0 -x2756_bit0 -x2757_bit0 -x2758_bit0 -x2759_bit0 -x2760_bit0 -x2761_bit0 -x2762_bit0 -x2763_bit0 -x2764_bit0 -x2765_bit0 -x2766_bit0 -x2767_bit0 -x2768_bit0 -x2769_bit0 -x2770_bit0 -x2771_bit0 -x2772_bit0 -x2773_bit0 -x2774_bit0 -x2775_bit0 -x2776_bit0 -x2777_bit0 -x2778_bit0 -x2779_bit0 -x2780_bit0 -x2781_bit0 -x2782_bit0 -x2783_bit0 -x2784_bit0 -x2785_bit0 -x2786_bit0 -x2787_bit0 -x2788_bit0 -x2789_bit0 -x2790_bit0 -x2791_bit0 -x2792_bit0 x2793_bit0 -x2794_bit0 -x2795_bit0 -x2796_bit0 -x2797_bit0 -x2798_bit0 -x2799_bit0 -x2800_bit0 -x2801_bit0 -x2802_bit0 -x2803_bit0 -x2804_bit0 -x2805_bit0 -x2806_bit0 -x2807_bit0 -x2808_bit0 -x2809_bit0 -x2810_bit0 -x2811_bit0 -x2812_bit0 -x2813_bit0 -x2814_bit0 -x2815_bit0 -x2816_bit0 -x2817_bit0 -x2818_bit0 -x2819_bit0 -x2820_bit0 -x2821_bit0 -x2822_bit0 -x2823_bit0 -x2824_bit0 -x2825_bit0 -x2826_bit0 -x2827_bit0 -x2828_bit0 -x2829_bit0 -x2830_bit0 -x2831_bit0 x2832_bit0 -x2833_bit0 -x2834_bit0 -x2835_bit0 -x2836_bit0 -x2837_bit0 -x2838_bit0 -x2839_bit0 -x2840_bit0 -x2841_bit0 -x2842_bit0 -x2843_bit0 -x2844_bit0 -x2845_bit0 -x2846_bit0 -x2847_bit0 -x2848_bit0 -x2849_bit0 -x2850_bit0 -x2851_bit0 -x2852_bit0 -x2853_bit0 -x2854_bit0 -x2855_bit0 -x2856_bit0 -x2857_bit0 -x2858_bit0 -x2859_bit0 -x2860_bit0 -x2861_bit0 -x2862_bit0 -x2863_bit0 -x2864_bit0 -x2865_bit0 -x2866_bit0 -x2867_bit0 -x2868_bit0 -x2869_bit0 -x2870_bit0 -x2871_bit0 -x2872_bit0 -x2873_bit0 -x2874_bit0 -x2875_bit0 -x2876_bit0 -x2877_bit0 -x2878_bit0 -x2879_bit0 -x2880_bit0 -x2881_bit0 -x2882_bit0 -x2883_bit0 x2884_bit0 -x2885_bit0 -x2886_bit0 -x2887_bit0 -x2888_bit0 -x2889_bit0 -x2890_bit0 -x2891_bit0 -x2892_bit0 -x2893_bit0 -x2894_bit0 -x2895_bit0 -x2896_bit0 -x2897_bit0 -x2898_bit0 -x2899_bit0 -x2900_bit0 -x2901_bit0 -x2902_bit0 -x2903_bit0 -x2904_bit0 -x2905_bit0 -x2906_bit0 -x2907_bit0 -x2908_bit0 -x2909_bit0 -x2910_bit0 -x2911_bit0 -x2912_bit0 -x2913_bit0 -x2914_bit0 -x2915_bit0 -x2916_bit0 -x2917_bit0 -x2918_bit0 -x2919_bit0 -x2920_bit0 -x2921_bit0 -x2922_bit0 -x2923_bit0 -x2924_bit0 -x2925_bit0 -x2926_bit0 -x2927_bit0 -x2928_bit0 -x2929_bit0 -x2930_bit0 -x2931_bit0 -x2932_bit0 -x2933_bit0 -x2934_bit0 -x2935_bit0 -x2936_bit0 -x2937_bit0 -x2938_bit0 -x2939_bit0 -x2940_bit0 -x2941_bit0 -x2942_bit0 -x2943_bit0 -x2944_bit0 -x2945_bit0 -x2946_bit0 -x2947_bit0 -x2948_bit0 -x2949_bit0 x2950_bit0 -x2951_bit0 -x2952_bit0 -x2953_bit0 -x2954_bit0 -x2955_bit0 -x2956_bit0 -x2957_bit0 -x2958_bit0 -x2959_bit0 -x2960_bit0 -x2961_bit0 -x2962_bit0 -x2963_bit0 -x2964_bit0 -x2965_bit0 -x2966_bit0 -x2967_bit0 -x2968_bit0 -x2969_bit0 -x2970_bit0 -x2971_bit0 -x2972_bit0 -x2973_bit0 -x2974_bit0 -x2975_bit0 -x2976_bit0 -x2977_bit0 -x2978_bit0 -x2979_bit0 -x2980_bit0 -x2981_bit0 -x2982_bit0 -x2983_bit0 -x2984_bit0 -x2985_bit0 -x2986_bit0 -x2987_bit0 -x2988_bit0 -x2989_bit0 -x2990_bit0 x2991_bit0 -x2992_bit0 -x2993_bit0 
c objectif function=-63525540
c Total CPU time (ms) : 1269.472
#### 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.93 0.98 0.99 2/54 16552
Raw data (stat): 16552 (runsolver) R 16551 5562 5561 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 839172493 1052672 99 4294967295 134512640 135381576 3221224400 3221219620 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0007 s]
Raw data (loadavg): 1.10 1.02 1.01 4/64 16563
Raw data (stat): 16552 (java) R 16551 5562 5561 0 -1 0 18125 3 1 0 764 39 0 0 25 0 11 0 839172493 863625216 21077 4294967295 134512640 134569956 3221224368 3221214712 1130893403 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210846 21077 13086 16 0 210830 0
vsize: 843384
[startup+20.0016 s]
Raw data (loadavg): 1.08 1.02 1.00 2/64 16566
Raw data (stat): 16552 (java) R 16551 5562 5561 0 -1 0 18156 3 1 0 1665 40 0 0 25 0 11 0 839172493 865755136 22780 4294967295 134512640 134569956 3221224368 3221214624 1131434164 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211366 22780 13086 16 0 211350 0
vsize: 845464
[startup+30.0028 s]
Raw data (loadavg): 1.07 1.01 1.00 2/64 16566
Raw data (stat): 16552 (java) R 16551 5562 5561 0 -1 0 18156 3 1 0 2587 40 0 0 25 0 11 0 839172493 858791936 23858 4294967295 134512640 134569956 3221224368 3221214608 1131433998 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209666 23858 13086 16 0 209650 0
vsize: 838664
[startup+40.0024 s]
Raw data (loadavg): 1.06 1.01 1.00 2/64 16566
Raw data (stat): 16552 (java) R 16551 5562 5561 0 -1 0 18156 3 1 0 3556 40 0 0 25 0 11 0 839172493 858791936 24302 4294967295 134512640 134569956 3221224368 3221214608 1131434028 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209666 24302 13086 16 0 209650 0
vsize: 838664
[startup+50.002 s]
Raw data (loadavg): 1.05 1.01 1.00 2/64 16566
Raw data (stat): 16552 (java) R 16551 5562 5561 0 -1 0 18156 3 1 0 4518 41 0 0 25 0 11 0 839172493 858791936 24303 4294967295 134512640 134569956 3221224368 3221214576 1131382188 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209666 24303 13086 16 0 209650 0
vsize: 838664
[startup+60.0031 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 16566
Raw data (stat): 16552 (java) R 16551 5562 5561 0 -1 0 18156 3 1 0 5487 41 0 0 25 0 11 0 839172493 858791936 24303 4294967295 134512640 134569956 3221224368 3221214672 1131362426 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209666 24303 13086 16 0 209650 0
vsize: 838664
[startup+70.0034 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 16566
Raw data (stat): 16552 (java) R 16551 5562 5561 0 -1 0 18156 3 1 0 6446 41 0 0 25 0 11 0 839172493 858791936 24730 4294967295 134512640 134569956 3221224368 3221214564 1131223648 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209666 24730 13086 16 0 209650 0
vsize: 838664
[startup+80.003 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 16566
Raw data (stat): 16552 (java) R 16551 5562 5561 0 -1 0 18157 3 1 0 7379 42 0 0 25 0 11 0 839172493 858791936 25170 4294967295 134512640 134569956 3221224368 3221214728 1131196144 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209666 25170 13086 16 0 209650 0
vsize: 838664
[startup+90.0032 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 16566
Raw data (stat): 16552 (java) R 16551 5562 5561 0 -1 0 18157 3 1 0 8325 42 0 0 25 0 11 0 839172493 858791936 25549 4294967295 134512640 134569956 3221224368 3221214568 1131309189 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209666 25549 13086 16 0 209650 0
vsize: 838664
[startup+100.003 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 16566
Raw data (stat): 16552 (java) S 16551 5562 5561 0 -1 0 18157 3 1 0 9229 43 0 0 25 0 11 0 839172493 858791936 25809 4294967295 134512640 134569956 3221224368 3221213312 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209666 25809 13086 16 0 209650 0
vsize: 838664
[startup+110.004 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 16566
Raw data (stat): 16552 (java) R 16551 5562 5561 0 -1 0 18157 3 1 0 10193 43 0 0 25 0 11 0 839172493 858791936 26179 4294967295 134512640 134569956 3221224368 3221214624 1131395911 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209666 26179 13086 16 0 209650 0
vsize: 838664
[startup+120.004 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 16566
Raw data (stat): 16552 (java) R 16551 5562 5561 0 -1 0 18157 3 1 0 11106 44 0 0 25 0 11 0 839172493 858791936 26717 4294967295 134512640 134569956 3221224368 3221214568 1131309661 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209666 26717 13086 16 0 209650 0
vsize: 838664
[startup+130.003 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 16566
Raw data (stat): 16552 (java) R 16551 5562 5561 0 -1 0 18157 3 1 0 12019 44 0 0 25 0 11 0 839172493 858791936 27065 4294967295 134512640 134569956 3221224368 3221214672 1131361471 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209666 27065 13086 16 0 209650 0
vsize: 838664
[startup+140.004 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 16566
Raw data (stat): 16552 (java) R 16551 5562 5561 0 -1 0 18157 3 1 0 12967 45 0 0 25 0 11 0 839172493 858791936 27348 4294967295 134512640 134569956 3221224368 3221214604 1131196083 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209666 27348 13086 16 0 209650 0
vsize: 838664
[startup+150.004 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 16566
Raw data (stat): 16552 (java) R 16551 5562 5561 0 -1 0 18157 3 1 0 13875 45 0 0 25 0 11 0 839172493 858791936 27755 4294967295 134512640 134569956 3221224368 3221214624 1131395869 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209666 27755 13086 16 0 209650 0
vsize: 838664
[startup+160.004 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16566
Raw data (stat): 16552 (java) R 16551 5562 5561 0 -1 0 18157 3 1 0 14781 45 0 0 25 0 11 0 839172493 859099136 27977 4294967295 134512640 134569956 3221224368 3221214568 1131309314 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209741 27977 13086 16 0 209725 0
vsize: 838964
[startup+170.004 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16566
Raw data (stat): 16552 (java) R 16551 5562 5561 0 -1 0 18157 3 1 0 15693 45 0 0 25 0 11 0 839172493 859099136 28142 4294967295 134512640 134569956 3221224368 3221214568 1131309189 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209741 28142 13086 16 0 209725 0
vsize: 838964
[startup+180.004 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16566
Raw data (stat): 16552 (java) R 16551 5562 5561 0 -1 0 18157 3 1 0 16619 45 0 0 25 0 11 0 839172493 859099136 28446 4294967295 134512640 134569956 3221224368 3221214568 1131309189 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209741 28446 13086 16 0 209725 0
vsize: 838964
[startup+190.004 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16566
Raw data (stat): 16552 (java) R 16551 5562 5561 0 -1 0 18157 3 1 0 17549 45 0 0 25 0 11 0 839172493 859099136 28838 4294967295 134512640 134569956 3221224368 3221214672 1131361471 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209741 28838 13086 16 0 209725 0
vsize: 838964
[startup+200.006 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16566
Raw data (stat): 16552 (java) S 16551 5562 5561 0 -1 0 18157 3 1 0 18468 46 0 0 25 0 11 0 839172493 859099136 28842 4294967295 134512640 134569956 3221224368 3221213272 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209741 28842 13086 16 0 209725 0
vsize: 838964
[startup+210.008 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16566
Raw data (stat): 16552 (java) R 16551 5562 5561 0 -1 0 18157 3 1 0 19377 46 0 0 25 0 11 0 839172493 859099136 29053 4294967295 134512640 134569956 3221224368 3221214568 1131309310 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209741 29053 13086 16 0 209725 0
vsize: 838964
[startup+220.008 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16566
Raw data (stat): 16552 (java) R 16551 5562 5561 0 -1 0 18157 3 1 0 20275 46 0 0 25 0 11 0 839172493 859099136 29432 4294967295 134512640 134569956 3221224368 3221214568 1131308709 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209741 29432 13086 16 0 209725 0
vsize: 838964
[startup+230.008 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16566
Raw data (stat): 16552 (java) R 16551 5562 5561 0 -1 0 18157 3 1 0 21193 46 0 0 25 0 11 0 839172493 859099136 29638 4294967295 134512640 134569956 3221224368 3221214568 1131309189 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209741 29638 13086 16 0 209725 0
vsize: 838964
[startup+240.009 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16566
Raw data (stat): 16552 (java) R 16551 5562 5561 0 -1 0 18157 3 1 0 22099 46 0 0 25 0 11 0 839172493 859099136 29942 4294967295 134512640 134569956 3221224368 3221214568 1131308782 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209741 29942 13086 16 0 209725 0
vsize: 838964
[startup+250.008 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16566
Raw data (stat): 16552 (java) R 16551 5562 5561 0 -1 0 18157 3 1 0 23039 47 0 0 25 0 11 0 839172493 859099136 30196 4294967295 134512640 134569956 3221224368 3221214568 1131309155 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209741 30196 13086 16 0 209725 0
vsize: 838964
[startup+260.009 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16566
Raw data (stat): 16552 (java) R 16551 5562 5561 0 -1 0 18157 3 1 0 23953 47 0 0 18 0 11 0 839172493 859099136 30501 4294967295 134512640 134569956 3221224368 3221214672 1131362466 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209741 30501 13086 16 0 209725 0
vsize: 838964
[startup+270.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16566
Raw data (stat): 16552 (java) S 16551 5562 5561 0 -1 0 18157 3 1 0 24849 47 0 0 23 0 11 0 839172493 859099136 30501 4294967295 134512640 134569956 3221224368 3221213312 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209741 30501 13086 16 0 209725 0
vsize: 838964
[startup+280.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16566
Raw data (stat): 16552 (java) R 16551 5562 5561 0 -1 0 18157 3 1 0 25774 47 0 0 25 0 11 0 839172493 859099136 30867 4294967295 134512640 134569956 3221224368 3221214568 1131309158 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209741 30867 13086 16 0 209725 0
vsize: 838964
[startup+290.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16566
Raw data (stat): 16552 (java) R 16551 5562 5561 0 -1 0 18157 3 1 0 26703 48 0 0 25 0 11 0 839172493 859099136 31383 4294967295 134512640 134569956 3221224368 3221214568 1131309164 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209741 31383 13086 16 0 209725 0
vsize: 838964
[startup+300.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16566
Raw data (stat): 16552 (java) R 16551 5562 5561 0 -1 0 18157 3 1 0 27640 48 0 0 25 0 11 0 839172493 859099136 31385 4294967295 134512640 134569956 3221224368 3221214568 1131309652 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209741 31385 13086 16 0 209725 0
vsize: 838964
[startup+310.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16566
Raw data (stat): 16552 (java) R 16551 5562 5561 0 -1 0 18157 3 1 0 28583 48 0 0 25 0 11 0 839172493 859099136 31537 4294967295 134512640 134569956 3221224368 3221214568 1131309189 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209741 31537 13086 16 0 209725 0
vsize: 838964
[startup+320.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16566
Raw data (stat): 16552 (java) R 16551 5562 5561 0 -1 0 18157 3 1 0 29532 49 0 0 25 0 11 0 839172493 859099136 31840 4294967295 134512640 134569956 3221224368 3221214568 1131309318 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209741 31840 13086 16 0 209725 0
vsize: 838964
[startup+330.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16566
Raw data (stat): 16552 (java) S 16551 5562 5561 0 -1 0 18157 3 1 0 30482 49 0 0 25 0 11 0 839172493 859099136 31891 4294967295 134512640 134569956 3221224368 3221213168 1073952481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209741 31891 13086 16 0 209725 0
vsize: 838964
[startup+340.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16566
Raw data (stat): 16552 (java) R 16551 5562 5561 0 -1 0 18157 3 1 0 31430 49 0 0 25 0 11 0 839172493 859099136 31992 4294967295 134512640 134569956 3221224368 3221214672 1131360069 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209741 31992 13086 16 0 209725 0
vsize: 838964
[startup+350.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16566
Raw data (stat): 16552 (java) R 16551 5562 5561 0 -1 0 18157 3 1 0 32379 50 0 0 25 0 11 0 839172493 859099136 32163 4294967295 134512640 134569956 3221224368 3221214568 1131309459 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209741 32163 13086 16 0 209725 0
vsize: 838964
[startup+360.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16566
Raw data (stat): 16552 (java) R 16551 5562 5561 0 -1 0 18157 3 1 0 33305 50 0 0 24 0 11 0 839172493 859099136 32320 4294967295 134512640 134569956 3221224368 3221214568 1131308967 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209741 32320 13086 16 0 209725 0
vsize: 838964
[startup+370.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16566
Raw data (stat): 16552 (java) R 16551 5562 5561 0 -1 0 18157 3 1 0 34231 50 0 0 25 0 11 0 839172493 859099136 32370 4294967295 134512640 134569956 3221224368 3221214568 1131309115 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209741 32370 13086 16 0 209725 0
vsize: 838964
[startup+380.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16566
Raw data (stat): 16552 (java) R 16551 5562 5561 0 -1 0 18157 3 1 0 35154 51 0 0 24 0 11 0 839172493 859099136 32622 4294967295 134512640 134569956 3221224368 3221214568 1131308875 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209741 32622 13086 16 0 209725 0
vsize: 838964
[startup+390.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16566
Raw data (stat): 16552 (java) R 16551 5562 5561 0 -1 0 18157 3 1 0 36095 51 0 0 25 0 11 0 839172493 859099136 32925 4294967295 134512640 134569956 3221224368 3221214672 1131360239 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209741 32925 13086 16 0 209725 0
vsize: 838964
[startup+400.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16566
Raw data (stat): 16552 (java) R 16551 5562 5561 0 -1 0 18157 3 1 0 37032 51 0 0 25 0 11 0 839172493 859099136 33027 4294967295 134512640 134569956 3221224368 3221214568 1131309189 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209741 33027 13086 16 0 209725 0
vsize: 838964
[startup+410.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16566
Raw data (stat): 16552 (java) R 16551 5562 5561 0 -1 0 18157 3 1 0 37957 51 0 0 25 0 11 0 839172493 859099136 33230 4294967295 134512640 134569956 3221224368 3221214672 1131360053 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209741 33230 13086 16 0 209725 0
vsize: 838964
[startup+420.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16566
Raw data (stat): 16552 (java) S 16551 5562 5561 0 -1 0 18157 3 1 0 38884 52 0 0 25 0 11 0 839172493 859099136 33436 4294967295 134512640 134569956 3221224368 3221213272 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209741 33436 13086 16 0 209725 0
vsize: 838964
[startup+430.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16566
Raw data (stat): 16552 (java) R 16551 5562 5561 0 -1 0 18157 3 1 0 39795 52 0 0 25 0 11 0 839172493 859099136 33554 4294967295 134512640 134569956 3221224368 3221214672 1131362379 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209741 33554 13086 16 0 209725 0
vsize: 838964
[startup+440.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16566
Raw data (stat): 16552 (java) R 16551 5562 5561 0 -1 0 18157 3 1 0 40726 52 0 0 25 0 11 0 839172493 859099136 33917 4294967295 134512640 134569956 3221224368 3221214304 1131268130 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209741 33917 13086 16 0 209725 0
vsize: 838964
[startup+450.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16566
Raw data (stat): 16552 (java) R 16551 5562 5561 0 -1 0 18157 3 1 0 41658 53 0 0 25 0 11 0 839172493 859099136 34181 4294967295 134512640 134569956 3221224368 3221214672 1131365161 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209741 34181 13086 16 0 209725 0
vsize: 838964
[startup+460.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16566
Raw data (stat): 16552 (java) R 16551 5562 5561 0 -1 0 18157 3 1 0 42606 54 0 0 25 0 11 0 839172493 859099136 34181 4294967295 134512640 134569956 3221224368 3221214624 1131395812 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209741 34181 13086 16 0 209725 0
vsize: 838964
[startup+470.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16566
Raw data (stat): 16552 (java) R 16551 5562 5561 0 -1 0 18157 3 1 0 43533 54 0 0 25 0 11 0 839172493 859099136 34334 4294967295 134512640 134569956 3221224368 3221214672 1131361433 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209741 34334 13086 16 0 209725 0
vsize: 838964
[startup+480.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16566
Raw data (stat): 16552 (java) R 16551 5562 5561 0 -1 0 18157 3 1 0 44462 54 0 0 25 0 11 0 839172493 859099136 34487 4294967295 134512640 134569956 3221224368 3221214568 1131309189 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209741 34487 13086 16 0 209725 0
vsize: 838964
[startup+490.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16566
Raw data (stat): 16552 (java) R 16551 5562 5561 0 -1 0 18157 3 1 0 45389 55 0 0 25 0 11 0 839172493 859099136 34639 4294967295 134512640 134569956 3221224368 3221214568 1131308713 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209741 34639 13086 16 0 209725 0
vsize: 838964
[startup+500.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16566
Raw data (stat): 16552 (java) R 16551 5562 5561 0 -1 0 18157 3 1 0 46330 55 0 0 25 0 11 0 839172493 859099136 34894 4294967295 134512640 134569956 3221224368 3221214720 1131382181 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209741 34894 13086 16 0 209725 0
vsize: 838964
[startup+510.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16566
Raw data (stat): 16552 (java) R 16551 5562 5561 0 -1 0 18157 3 1 0 47266 55 0 0 25 0 11 0 839172493 859099136 35097 4294967295 134512640 134569956 3221224368 3221214624 1131395828 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209741 35097 13086 16 0 209725 0
vsize: 838964
[startup+520.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16566
Raw data (stat): 16552 (java) R 16551 5562 5561 0 -1 0 18157 3 1 0 48189 56 0 0 24 0 11 0 839172493 859099136 35250 4294967295 134512640 134569956 3221224368 3221214568 1131308860 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209741 35250 13086 16 0 209725 0
vsize: 838964
[startup+530.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16566
Raw data (stat): 16552 (java) R 16551 5562 5561 0 -1 0 18157 3 1 0 49123 56 0 0 25 0 11 0 839172493 859099136 35352 4294967295 134512640 134569956 3221224368 3221214672 1131362313 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209741 35352 13086 16 0 209725 0
vsize: 838964
[startup+540.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16566
Raw data (stat): 16552 (java) R 16551 5562 5561 0 -1 0 18157 3 1 0 50045 57 0 0 25 0 11 0 839172493 859099136 35555 4294967295 134512640 134569956 3221224368 3221214568 1131309342 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209741 35555 13086 16 0 209725 0
vsize: 838964
[startup+550.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16566
Raw data (stat): 16552 (java) R 16551 5562 5561 0 -1 0 18157 3 1 0 50968 58 0 0 25 0 11 0 839172493 859099136 35915 4294967295 134512640 134569956 3221224368 3221214568 1131309730 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209741 35915 13086 16 0 209725 0
vsize: 838964
[startup+560.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16566
Raw data (stat): 16552 (java) R 16551 5562 5561 0 -1 0 18157 3 1 0 51917 58 0 0 25 0 11 0 839172493 859099136 35915 4294967295 134512640 134569956 3221224368 3221214704 1131304297 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209741 35915 13086 16 0 209725 0
vsize: 838964
[startup+570.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16566
Raw data (stat): 16552 (java) R 16551 5562 5561 0 -1 0 18157 3 1 0 52832 58 0 0 24 0 11 0 839172493 859066368 36118 4294967295 134512640 134569956 3221224368 3221214568 1131308869 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209733 36118 13086 16 0 209717 0
vsize: 838932
[startup+580.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16566
Raw data (stat): 16552 (java) R 16551 5562 5561 0 -1 0 18157 3 1 0 53761 59 0 0 25 0 11 0 839172493 859066368 36373 4294967295 134512640 134569956 3221224368 3221214568 1131309393 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209733 36373 13086 16 0 209717 0
vsize: 838932
[startup+590.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16566
Raw data (stat): 16552 (java) R 16551 5562 5561 0 -1 0 18157 3 1 0 54692 59 0 0 25 0 11 0 839172493 859066368 36424 4294967295 134512640 134569956 3221224368 3221214672 1131362394 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209733 36424 13086 16 0 209717 0
vsize: 838932
[startup+600.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16566
Raw data (stat): 16552 (java) R 16551 5562 5561 0 -1 0 18157 3 1 0 55676 60 0 0 25 0 11 0 839172493 859066368 36892 4294967295 134512640 134569956 3221224368 3221214568 1131309374 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209733 36892 13086 16 0 209717 0
vsize: 838932
[startup+610.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16566
Raw data (stat): 16552 (java) R 16551 5562 5561 0 -1 0 18157 3 1 0 56669 60 0 0 25 0 11 0 839172493 859066368 36906 4294967295 134512640 134569956 3221224368 3221214568 1131309612 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209733 36906 13086 16 0 209717 0
vsize: 838932
[startup+620.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16566
Raw data (stat): 16552 (java) R 16551 5562 5561 0 -1 0 18157 3 1 0 57662 61 0 0 25 0 11 0 839172493 859066368 36910 4294967295 134512640 134569956 3221224368 3221214568 1131308719 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209733 36910 13086 16 0 209717 0
vsize: 838932
[startup+630.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16567
Raw data (stat): 16552 (java) R 16551 5562 5561 0 -1 0 18157 3 1 0 58649 61 0 0 25 0 11 0 839172493 859066368 36912 4294967295 134512640 134569956 3221224368 3221214568 1131309266 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209733 36912 13086 16 0 209717 0
vsize: 838932
[startup+640.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16567
Raw data (stat): 16552 (java) R 16551 5562 5561 0 -1 0 18157 3 1 0 59634 62 0 0 25 0 11 0 839172493 859066368 36915 4294967295 134512640 134569956 3221224368 3221214568 1131309354 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209733 36915 13086 16 0 209717 0
vsize: 838932
[startup+650.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16567
Raw data (stat): 16552 (java) R 16551 5562 5561 0 -1 0 18157 3 1 0 60619 62 0 0 25 0 11 0 839172493 859066368 36976 4294967295 134512640 134569956 3221224368 3221214568 1131309164 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209733 36976 13086 16 0 209717 0
vsize: 838932
[startup+660.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16567
Raw data (stat): 16552 (java) R 16551 5562 5561 0 -1 0 18157 3 1 0 61614 62 0 0 25 0 11 0 839172493 859066368 36977 4294967295 134512640 134569956 3221224368 3221214568 1131309189 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209733 36977 13086 16 0 209717 0
vsize: 838932
[startup+670.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16567
Raw data (stat): 16552 (java) S 16551 5562 5561 0 -1 0 18157 3 1 0 62607 63 0 0 25 0 11 0 839172493 859066368 36977 4294967295 134512640 134569956 3221224368 3221213312 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209733 36977 13086 16 0 209717 0
vsize: 838932
[startup+680.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16567
Raw data (stat): 16552 (java) R 16551 5562 5561 0 -1 0 18157 3 1 0 63588 63 0 0 25 0 11 0 839172493 859066368 36977 4294967295 134512640 134569956 3221224368 3221214568 1131309386 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209733 36977 13086 16 0 209717 0
vsize: 838932
[startup+690.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16567
Raw data (stat): 16552 (java) R 16551 5562 5561 0 -1 0 18157 3 1 0 64566 64 0 0 25 0 11 0 839172493 859066368 36977 4294967295 134512640 134569956 3221224368 3221214568 1131309189 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209733 36977 13086 16 0 209717 0
vsize: 838932
[startup+700.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16568
Raw data (stat): 16552 (java) R 16551 5562 5561 0 -1 0 18157 3 1 0 65547 64 0 0 25 0 11 0 839172493 859066368 37027 4294967295 134512640 134569956 3221224368 3221214672 1131362426 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209733 37027 13086 16 0 209717 0
vsize: 838932
[startup+710.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16568
Raw data (stat): 16552 (java) R 16551 5562 5561 0 -1 0 18157 3 1 0 66529 65 0 0 25 0 11 0 839172493 859066368 37090 4294967295 134512640 134569956 3221224368 3221214480 1131223674 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209733 37090 13086 16 0 209717 0
vsize: 838932
[startup+720.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16568
Raw data (stat): 16552 (java) R 16551 5562 5561 0 -1 0 18157 3 1 0 67513 66 0 0 25 0 11 0 839172493 859066368 37090 4294967295 134512640 134569956 3221224368 3221214672 1131360417 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209733 37090 13086 16 0 209717 0
vsize: 838932
[startup+730.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16568
Raw data (stat): 16552 (java) R 16551 5562 5561 0 -1 0 18157 3 1 0 68503 66 0 0 25 0 11 0 839172493 859066368 37151 4294967295 134512640 134569956 3221224368 3221214568 1131309189 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209733 37151 13086 16 0 209717 0
vsize: 838932
[startup+740.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16568
Raw data (stat): 16552 (java) R 16551 5562 5561 0 -1 0 18157 3 1 0 69497 67 0 0 25 0 11 0 839172493 859066368 37155 4294967295 134512640 134569956 3221224368 3221214568 1131308906 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209733 37155 13086 16 0 209717 0
vsize: 838932
[startup+750.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16568
Raw data (stat): 16552 (java) R 16551 5562 5561 0 -1 0 18157 3 1 0 70487 67 0 0 25 0 11 0 839172493 859066368 37160 4294967295 134512640 134569956 3221224368 3221214568 1131308716 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209733 37160 13086 16 0 209717 0
vsize: 838932
[startup+760.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16568
Raw data (stat): 16552 (java) R 16551 5562 5561 0 -1 0 18157 3 1 0 71471 67 0 0 25 0 11 0 839172493 859066368 37160 4294967295 134512640 134569956 3221224368 3221214568 1131309189 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209733 37160 13086 16 0 209717 0
vsize: 838932
[startup+770.064 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16568
Raw data (stat): 16552 (java) R 16551 5562 5561 0 -1 0 18157 3 1 0 72457 68 0 0 25 0 11 0 839172493 859066368 37161 4294967295 134512640 134569956 3221224368 3221214568 1131309258 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209733 37161 13086 16 0 209717 0
vsize: 838932
[startup+780.065 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16568
Raw data (stat): 16552 (java) R 16551 5562 5561 0 -1 0 18157 3 1 0 73447 68 0 0 25 0 11 0 839172493 859066368 37219 4294967295 134512640 134569956 3221224368 3221214568 1131309266 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209733 37219 13086 16 0 209717 0
vsize: 838932
[startup+790.065 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16568
Raw data (stat): 16552 (java) R 16551 5562 5561 0 -1 0 18157 3 1 0 74440 69 0 0 25 0 11 0 839172493 859066368 37220 4294967295 134512640 134569956 3221224368 3221214568 1131309035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209733 37220 13086 16 0 209717 0
vsize: 838932
[startup+800.066 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16568
Raw data (stat): 16552 (java) R 16551 5562 5561 0 -1 0 18157 3 1 0 75420 69 0 0 25 0 11 0 839172493 859066368 37220 4294967295 134512640 134569956 3221224368 3221214568 1131308860 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209733 37220 13086 16 0 209717 0
vsize: 838932
[startup+810.067 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16568
Raw data (stat): 16552 (java) R 16551 5562 5561 0 -1 0 18157 3 1 0 76384 70 0 0 25 0 11 0 839172493 859066368 37220 4294967295 134512640 134569956 3221224368 3221214568 1131309209 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209733 37220 13086 16 0 209717 0
vsize: 838932
[startup+820.067 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16568
Raw data (stat): 16552 (java) R 16551 5562 5561 0 -1 0 18157 3 1 0 77336 70 0 0 25 0 11 0 839172493 859066368 37272 4294967295 134512640 134569956 3221224368 3221214568 1131309155 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209733 37272 13086 16 0 209717 0
vsize: 838932
[startup+830.067 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16568
Raw data (stat): 16552 (java) R 16551 5562 5561 0 -1 0 18157 3 1 0 78292 70 0 0 25 0 11 0 839172493 859066368 37378 4294967295 134512640 134569956 3221224368 3221214568 1131308778 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209733 37378 13086 16 0 209717 0
vsize: 838932
[startup+840.069 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16568
Raw data (stat): 16552 (java) S 16551 5562 5561 0 -1 0 18157 3 1 0 79244 71 0 0 25 0 11 0 839172493 859066368 37479 4294967295 134512640 134569956 3221224368 3221213312 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209733 37479 13086 16 0 209717 0
vsize: 838932
[startup+850.069 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16568
Raw data (stat): 16552 (java) R 16551 5562 5561 0 -1 0 18157 3 1 0 80209 71 0 0 25 0 11 0 839172493 859066368 37637 4294967295 134512640 134569956 3221224368 3221214568 1131309189 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209733 37637 13086 16 0 209717 0
vsize: 838932
[startup+860.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16568
Raw data (stat): 16552 (java) R 16551 5562 5561 0 -1 0 18157 3 1 0 81164 71 0 0 25 0 11 0 839172493 859066368 37637 4294967295 134512640 134569956 3221224368 3221214568 1131308716 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209733 37637 13086 16 0 209717 0
vsize: 838932
[startup+870.071 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16568
Raw data (stat): 16552 (java) R 16551 5562 5561 0 -1 0 18157 3 1 0 82106 72 0 0 25 0 11 0 839172493 859066368 37840 4294967295 134512640 134569956 3221224368 3221214672 1131362222 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209733 37840 13086 16 0 209717 0
vsize: 838932
[startup+880.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16568
Raw data (stat): 16552 (java) R 16551 5562 5561 0 -1 0 18157 3 1 0 83054 73 0 0 24 0 11 0 839172493 859066368 37941 4294967295 134512640 134569956 3221224368 3221214568 1131308881 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209733 37941 13086 16 0 209717 0
vsize: 838932
[startup+890.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16568
Raw data (stat): 16552 (java) R 16551 5562 5561 0 -1 0 18157 3 1 0 84030 73 0 0 25 0 11 0 839172493 859066368 38202 4294967295 134512640 134569956 3221224368 3221214568 1131308726 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209733 38202 13086 16 0 209717 0
vsize: 838932
[startup+900.071 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16568
Raw data (stat): 16552 (java) R 16551 5562 5561 0 -1 0 18157 3 1 0 85022 74 0 0 25 0 11 0 839172493 859066368 38202 4294967295 134512640 134569956 3221224368 3221214568 1131309652 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209733 38202 13086 16 0 209717 0
vsize: 838932
[startup+910.072 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16568
Raw data (stat): 16552 (java) R 16551 5562 5561 0 -1 0 18157 3 1 0 86006 74 0 0 25 0 11 0 839172493 859066368 38202 4294967295 134512640 134569956 3221224368 3221214672 1131361471 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209733 38202 13086 16 0 209717 0
vsize: 838932
[startup+920.072 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16568
Raw data (stat): 16552 (java) R 16551 5562 5561 0 -1 0 18157 3 1 0 86991 74 0 0 25 0 11 0 839172493 859066368 38203 4294967295 134512640 134569956 3221224368 3221214672 1131365176 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209733 38203 13086 16 0 209717 0
vsize: 838932
[startup+930.072 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16568
Raw data (stat): 16552 (java) R 16551 5562 5561 0 -1 0 18157 3 1 0 87980 75 0 0 25 0 11 0 839172493 859066368 38260 4294967295 134512640 134569956 3221224368 3221214568 1131309706 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209733 38260 13086 16 0 209717 0
vsize: 838932
[startup+940.072 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16568
Raw data (stat): 16552 (java) R 16551 5562 5561 0 -1 0 18157 3 1 0 88974 75 0 0 25 0 11 0 839172493 859066368 38260 4294967295 134512640 134569956 3221224368 3221214464 1131299423 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209733 38260 13086 16 0 209717 0
vsize: 838932
[startup+950.072 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16568
Raw data (stat): 16552 (java) R 16551 5562 5561 0 -1 0 18157 3 1 0 89945 76 0 0 25 0 11 0 839172493 859066368 38260 4294967295 134512640 134569956 3221224368 3221213988 1131253232 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209733 38260 13086 16 0 209717 0
vsize: 838932
[startup+960.073 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16568
Raw data (stat): 16552 (java) S 16551 5562 5561 0 -1 0 18157 3 1 0 90900 76 0 0 25 0 11 0 839172493 859066368 38260 4294967295 134512640 134569956 3221224368 3221213312 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209733 38260 13086 16 0 209717 0
vsize: 838932
[startup+970.073 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16568
Raw data (stat): 16552 (java) S 16551 5562 5561 0 -1 0 18157 3 1 0 91824 77 0 0 25 0 11 0 839172493 859066368 38308 4294967295 134512640 134569956 3221224368 3221213312 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209733 38308 13086 16 0 209717 0
vsize: 838932
[startup+980.074 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16568
Raw data (stat): 16552 (java) R 16551 5562 5561 0 -1 0 18157 3 1 0 92764 77 0 0 25 0 11 0 839172493 859066368 38460 4294967295 134512640 134569956 3221224368 3221214672 1131361471 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209733 38460 13086 16 0 209717 0
vsize: 838932
[startup+990.074 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16568
Raw data (stat): 16552 (java) R 16551 5562 5561 0 -1 0 18157 3 1 0 93703 78 0 0 25 0 11 0 839172493 859066368 38902 4294967295 134512640 134569956 3221224368 3221214568 1131309720 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209733 38902 13086 16 0 209717 0
vsize: 838932
[startup+1000.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16568
Raw data (stat): 16552 (java) R 16551 5562 5561 0 -1 0 18157 3 1 0 94671 78 0 0 25 0 11 0 839172493 859066368 38902 4294967295 134512640 134569956 3221224368 3221214568 1131309490 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209733 38902 13086 16 0 209717 0
vsize: 838932
[startup+1010.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16568
Raw data (stat): 16552 (java) R 16551 5562 5561 0 -1 0 18157 3 1 0 95653 79 0 0 25 0 11 0 839172493 859066368 38902 4294967295 134512640 134569956 3221224368 3221214528 1131448851 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209733 38902 13086 16 0 209717 0
vsize: 838932
[startup+1020.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16568
Raw data (stat): 16552 (java) R 16551 5562 5561 0 -1 0 18157 3 1 0 96609 79 0 0 25 0 11 0 839172493 859066368 39104 4294967295 134512640 134569956 3221224368 3221214568 1131308742 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209733 39104 13086 16 0 209717 0
vsize: 838932
[startup+1030.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16568
Raw data (stat): 16552 (java) R 16551 5562 5561 0 -1 0 18157 3 1 0 97573 79 0 0 25 0 11 0 839172493 859066368 39104 4294967295 134512640 134569956 3221224368 3221214568 1131308967 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209733 39104 13086 16 0 209717 0
vsize: 838932
[startup+1040.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16568
Raw data (stat): 16552 (java) R 16551 5562 5561 0 -1 0 18157 3 1 0 98543 80 0 0 25 0 11 0 839172493 859066368 39324 4294967295 134512640 134569956 3221224368 3221214568 1131308795 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209733 39324 13086 16 0 209717 0
vsize: 838932
[startup+1050.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16568
Raw data (stat): 16552 (java) R 16551 5562 5561 0 -1 0 18157 3 1 0 99533 80 0 0 25 0 11 0 839172493 859066368 39324 4294967295 134512640 134569956 3221224368 3221214568 1131309189 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209733 39324 13086 16 0 209717 0
vsize: 838932
[startup+1060.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16568
Raw data (stat): 16552 (java) R 16551 5562 5561 0 -1 0 18157 3 1 0 100519 81 0 0 25 0 11 0 839172493 859066368 39324 4294967295 134512640 134569956 3221224368 3221214568 1131308830 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209733 39324 13086 16 0 209717 0
vsize: 838932
[startup+1070.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16568
Raw data (stat): 16552 (java) R 16551 5562 5561 0 -1 0 18157 3 1 0 101486 81 0 0 25 0 11 0 839172493 859066368 39325 4294967295 134512640 134569956 3221224368 3221214568 1131309310 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209733 39325 13086 16 0 209717 0
vsize: 838932
[startup+1080.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16568
Raw data (stat): 16552 (java) R 16551 5562 5561 0 -1 0 18157 3 1 0 102435 81 0 0 25 0 11 0 839172493 859066368 39325 4294967295 134512640 134569956 3221224368 3221214568 1131309451 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209733 39325 13086 16 0 209717 0
vsize: 838932
[startup+1090.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16568
Raw data (stat): 16552 (java) R 16551 5562 5561 0 -1 0 18157 3 1 0 103399 81 0 0 25 0 11 0 839172493 859066368 39432 4294967295 134512640 134569956 3221224368 3221214480 1131224116 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209733 39432 13086 16 0 209717 0
vsize: 838932
[startup+1100.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16568
Raw data (stat): 16552 (java) R 16551 5562 5561 0 -1 0 18157 3 1 0 104350 82 0 0 22 0 11 0 839172493 859066368 39710 4294967295 134512640 134569956 3221224368 3221214568 1131308701 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209733 39710 13086 16 0 209717 0
vsize: 838932
[startup+1110.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16568
Raw data (stat): 16552 (java) R 16551 5562 5561 0 -1 0 18157 3 1 0 105302 82 0 0 25 0 11 0 839172493 859066368 39710 4294967295 134512640 134569956 3221224368 3221214672 1131360243 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209733 39710 13086 16 0 209717 0
vsize: 838932
[startup+1120.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16568
Raw data (stat): 16552 (java) R 16551 5562 5561 0 -1 0 18157 3 1 0 106254 82 0 0 25 0 11 0 839172493 859066368 39865 4294967295 134512640 134569956 3221224368 3221214608 1131434166 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209733 39865 13086 16 0 209717 0
vsize: 838932
[startup+1130.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16568
Raw data (stat): 16552 (java) R 16551 5562 5561 0 -1 0 18157 3 1 0 107235 83 0 0 25 0 11 0 839172493 859066368 39923 4294967295 134512640 134569956 3221224368 3221214568 1131309164 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209733 39923 13086 16 0 209717 0
vsize: 838932
[startup+1140.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16568
Raw data (stat): 16552 (java) R 16551 5562 5561 0 -1 0 18157 3 1 0 108190 83 0 0 25 0 11 0 839172493 859066368 40035 4294967295 134512640 134569956 3221224368 3221214672 1131361471 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209733 40035 13086 16 0 209717 0
vsize: 838932
[startup+1150.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16568
Raw data (stat): 16552 (java) R 16551 5562 5561 0 -1 0 18157 3 1 0 109145 84 0 0 25 0 11 0 839172493 859066368 40092 4294967295 134512640 134569956 3221224368 3221214568 1131309310 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209733 40092 13086 16 0 209717 0
vsize: 838932
[startup+1160.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16568
Raw data (stat): 16552 (java) R 16551 5562 5561 0 -1 0 18157 3 1 0 110100 84 0 0 24 0 11 0 839172493 859066368 40273 4294967295 134512640 134569956 3221224368 3221214568 1131308801 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209733 40273 13086 16 0 209717 0
vsize: 838932
[startup+1170.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16568
Raw data (stat): 16552 (java) R 16551 5562 5561 0 -1 0 18157 3 1 0 111064 84 0 0 25 0 11 0 839172493 859066368 40381 4294967295 134512640 134569956 3221224368 3221214480 1131224724 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209733 40381 13086 16 0 209717 0
vsize: 838932
[startup+1180.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16568
Raw data (stat): 16552 (java) R 16551 5562 5561 0 -1 0 18157 3 1 0 112042 85 0 0 25 0 11 0 839172493 859066368 40511 4294967295 134512640 134569956 3221224368 3221214568 1131308705 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209733 40511 13086 16 0 209717 0
vsize: 838932
[startup+1190.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16568
Raw data (stat): 16552 (java) R 16551 5562 5561 0 -1 0 18157 3 1 0 113012 85 0 0 25 0 11 0 839172493 859066368 40511 4294967295 134512640 134569956 3221224368 3221214672 1131365331 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209733 40511 13086 16 0 209717 0
vsize: 838932
[startup+1200.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16568
Raw data (stat): 16552 (java) R 16551 5562 5561 0 -1 0 18157 3 1 0 113962 85 0 0 24 0 11 0 839172493 859066368 40624 4294967295 134512640 134569956 3221224368 3221214568 1131309189 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209733 40624 13086 16 0 209717 0
vsize: 838932
[startup+1210.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16568
Raw data (stat): 16552 (java) R 16551 5562 5561 0 -1 0 18157 3 1 0 114925 85 0 0 25 0 11 0 839172493 859066368 40686 4294967295 134512640 134569956 3221224368 3221214568 1131309164 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209733 40686 13086 16 0 209717 0
vsize: 838932
[startup+1220.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16568
Raw data (stat): 16552 (java) S 16551 5562 5561 0 -1 0 18157 3 1 0 115896 86 0 0 25 0 11 0 839172493 859066368 40856 4294967295 134512640 134569956 3221224368 3221213312 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209733 40856 13086 16 0 209717 0
vsize: 838932
[startup+1230.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16568
Raw data (stat): 16552 (java) R 16551 5562 5561 0 -1 0 18157 3 1 0 116887 86 0 0 25 0 11 0 839172493 859066368 40913 4294967295 134512640 134569956 3221224368 3221214504 1131277992 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209733 40913 13086 16 0 209717 0
vsize: 838932
[startup+1240.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16568
Raw data (stat): 16552 (java) R 16551 5562 5561 0 -1 0 18157 3 1 0 117863 86 0 0 25 0 11 0 839172493 859066368 40914 4294967295 134512640 134569956 3221224368 3221214568 1131308709 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209733 40914 13086 16 0 209717 0
vsize: 838932
[startup+1250.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16568
Raw data (stat): 16552 (java) R 16551 5562 5561 0 -1 0 18157 3 1 0 118828 87 0 0 25 0 11 0 839172493 859066368 40914 4294967295 134512640 134569956 3221224368 3221214568 1131309189 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209733 40914 13086 16 0 209717 0
vsize: 838932
[startup+1260.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16568
Raw data (stat): 16552 (java) R 16551 5562 5561 0 -1 0 18157 3 1 0 119790 87 0 0 25 0 11 0 839172493 859066368 40914 4294967295 134512640 134569956 3221224368 3221214568 1131309638 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209733 40914 13086 16 0 209717 0
vsize: 838932
[startup+1270.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16568
Raw data (stat): 16552 (java) R 16551 5562 5561 0 -1 0 18157 3 1 0 120762 87 0 0 25 0 11 0 839172493 859066368 41138 4294967295 134512640 134569956 3221224368 3221214668 1131309974 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209733 41138 13086 16 0 209717 0
vsize: 838932
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1270.52 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 16570
Raw data (stat): 16552 (java) Z 16551 5562 5561 0 -1 1036 18157 21507 1 0 120793 87 5822 60 16 0 1 0 839172493 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): 1270.52
CPU time (s): 1267.65
CPU user time (s): 1266.16
CPU system time (s): 1.48877
CPU usage (%): 99.7738
Max. virtual memory (Kb): 845464
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	-63525540
#### END VERIFIER DATA ####