PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-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	1273.42
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 29579

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc3 THE 2005-05-25 09:09:40 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=20982 boxname=wulflinc3 idbench=970 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  9daf89aad4f1fef005847be296977991  /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-20-10-harp2.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-20-10-harp2.opb
IDLAUNCH: 20982
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
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	: 2
cpu MHz		: 451.190
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:        828212 kB
Buffers:         30820 kB
Cached:         155908 kB
SwapCached:          0 kB
Active:          62916 kB
Inactive:       126440 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        827960 kB
SwapTotal:     2097136 kB
SwapFree:      2096800 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6576 kB
Slab:            11308 kB
Committed_AS:    71796 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 09:30:43 (client local time) WITH STATUS 143 IN 1273.42 SECONDS
stats: 20982 0 1273.42 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/wulflinc3/normalized-mps-v2-20-10-harp2.opb
c reading problem ... done. Time 5.7 ms.
c #vars     2993
c #constraints  185
c SATISFIABLE
c OPTIMIZING...
c CURRENT OPTIMUM=                -146 		Current CPU time: 11.20 ms
c CURRENT OPTIMUM=             -340504 		Current CPU time: 12.40 ms
c CURRENT OPTIMUM=             -553262 		Current CPU time: 14.28 ms
c CURRENT OPTIMUM=           -61170458 		Current CPU time: 15.22 ms
c CURRENT OPTIMUM=           -63229581 		Current CPU time: 619.46 ms
c CURRENT OPTIMUM=           -63525540 		Current CPU time: 692.34 ms
c starts	: 9
c conflicts	: 335
c decisions	: 4506
c propagations	: 17612
c inspects	: 228819
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 335
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) : 1259.52
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.85 0.97 0.99 2/54 31971
Raw data (stat): 31971 (runsolver) R 31970 20224 20223 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 779458933 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.0004 s]
Raw data (loadavg): 1.03 1.00 1.00 4/63 31981
Raw data (stat): 31971 (java) R 31970 20224 20223 0 -1 0 18127 4 1 0 773 36 0 0 25 0 10 0 779458933 871944192 23058 4294967295 134512640 134569956 3221224368 3221214980 1130907725 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212877 23058 13086 16 0 212861 0
vsize: 851508
[startup+20.0589 s]
Raw data (loadavg): 1.25 1.05 1.02 2/64 31985
Raw data (stat): 31971 (java) R 31970 20224 20223 0 -1 0 18211 4 1 0 1609 36 0 0 25 0 11 0 779458933 871985152 24288 4294967295 134512640 134569956 3221224368 3221214632 1131328579 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212887 24288 13086 16 0 212871 0
vsize: 851548
[startup+30.0589 s]
Raw data (loadavg): 1.22 1.05 1.01 2/64 31985
Raw data (stat): 31971 (java) R 31970 20224 20223 0 -1 0 18211 4 1 0 2533 37 0 0 25 0 11 0 779458933 871690240 26958 4294967295 134512640 134569956 3221224368 3221214632 1131277564 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212815 26958 13086 16 0 212799 0
vsize: 851260
[startup+40.0588 s]
Raw data (loadavg): 1.18 1.05 1.01 2/64 31985
Raw data (stat): 31971 (java) R 31970 20224 20223 0 -1 0 18211 4 1 0 3503 37 0 0 25 0 11 0 779458933 871690240 27403 4294967295 134512640 134569956 3221224368 3221214600 1131326174 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212815 27403 13086 16 0 212799 0
vsize: 851260
[startup+50.0599 s]
Raw data (loadavg): 1.23 1.06 1.02 2/64 31985
Raw data (stat): 31971 (java) R 31970 20224 20223 0 -1 0 18211 4 1 0 4468 37 0 0 25 0 11 0 779458933 871690240 27404 4294967295 134512640 134569956 3221224368 3221214600 1131326174 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212815 27404 13086 16 0 212799 0
vsize: 851260
[startup+60.0595 s]
Raw data (loadavg): 1.19 1.06 1.02 2/64 31985
Raw data (stat): 31971 (java) R 31970 20224 20223 0 -1 0 18211 4 1 0 5437 37 0 0 25 0 11 0 779458933 871690240 27405 4294967295 134512640 134569956 3221224368 3221214552 1131317011 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212815 27405 13086 16 0 212799 0
vsize: 851260
[startup+70.0603 s]
Raw data (loadavg): 1.16 1.06 1.02 2/64 31985
Raw data (stat): 31971 (java) R 31970 20224 20223 0 -1 0 18211 4 1 0 6398 37 0 0 25 0 11 0 779458933 871690240 27830 4294967295 134512640 134569956 3221224368 3221214632 1131328579 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212815 27830 13086 16 0 212799 0
vsize: 851260
[startup+80.0612 s]
Raw data (loadavg): 1.14 1.06 1.02 2/64 31985
Raw data (stat): 31971 (java) R 31970 20224 20223 0 -1 0 18211 4 1 0 7336 37 0 0 25 0 11 0 779458933 871690240 28272 4294967295 134512640 134569956 3221224368 3221214728 1131321611 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212815 28272 13086 16 0 212799 0
vsize: 851260
[startup+90.0611 s]
Raw data (loadavg): 1.11 1.05 1.01 2/64 31985
Raw data (stat): 31971 (java) R 31970 20224 20223 0 -1 0 18211 4 1 0 8283 37 0 0 25 0 11 0 779458933 871690240 28651 4294967295 134512640 134569956 3221224368 3221214656 1131360232 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212815 28651 13086 16 0 212799 0
vsize: 851260
[startup+100.062 s]
Raw data (loadavg): 1.10 1.05 1.01 2/64 31985
Raw data (stat): 31971 (java) R 31970 20224 20223 0 -1 0 18211 4 1 0 9200 37 0 0 25 0 11 0 779458933 871690240 28911 4294967295 134512640 134569956 3221224368 3221214624 1131512907 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212815 28911 13086 16 0 212799 0
vsize: 851260
[startup+110.062 s]
Raw data (loadavg): 1.08 1.05 1.01 2/64 31985
Raw data (stat): 31971 (java) R 31970 20224 20223 0 -1 0 18212 4 1 0 10159 37 0 0 25 0 11 0 779458933 871690240 29282 4294967295 134512640 134569956 3221224368 3221214580 1130885154 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212815 29282 13086 16 0 212799 0
vsize: 851260
[startup+120.062 s]
Raw data (loadavg): 1.07 1.05 1.01 2/64 31985
Raw data (stat): 31971 (java) R 31970 20224 20223 0 -1 0 18212 4 1 0 11076 37 0 0 25 0 11 0 779458933 871690240 29820 4294967295 134512640 134569956 3221224368 3221214552 1131316644 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212815 29820 13086 16 0 212799 0
vsize: 851260
[startup+130.062 s]
Raw data (loadavg): 1.06 1.05 1.01 2/64 31985
Raw data (stat): 31971 (java) R 31970 20224 20223 0 -1 0 18212 4 1 0 11994 38 0 0 25 0 11 0 779458933 871690240 30169 4294967295 134512640 134569956 3221224368 3221214548 1131240615 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212815 30169 13086 16 0 212799 0
vsize: 851260
[startup+140.063 s]
Raw data (loadavg): 1.05 1.04 1.01 2/64 31985
Raw data (stat): 31971 (java) R 31970 20224 20223 0 -1 0 18212 4 1 0 12946 38 0 0 25 0 11 0 779458933 871690240 30452 4294967295 134512640 134569956 3221224368 3221214632 1131328611 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212815 30452 13086 16 0 212799 0
vsize: 851260
[startup+150.063 s]
Raw data (loadavg): 1.04 1.04 1.01 2/64 31985
Raw data (stat): 31971 (java) R 31970 20224 20223 0 -1 0 18212 4 1 0 13858 38 0 0 25 0 11 0 779458933 871690240 30859 4294967295 134512640 134569956 3221224368 3221214552 1131316953 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212815 30859 13086 16 0 212799 0
vsize: 851260
[startup+160.063 s]
Raw data (loadavg): 1.03 1.04 1.01 2/64 31985
Raw data (stat): 31971 (java) R 31970 20224 20223 0 -1 0 18212 4 1 0 14766 38 0 0 25 0 11 0 779458933 871690240 31049 4294967295 134512640 134569956 3221224368 3221214544 1131317811 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212815 31049 13086 16 0 212799 0
vsize: 851260
[startup+170.064 s]
Raw data (loadavg): 1.03 1.04 1.01 2/64 31985
Raw data (stat): 31971 (java) R 31970 20224 20223 0 -1 0 18212 4 1 0 15679 38 0 0 25 0 11 0 779458933 871690240 31214 4294967295 134512640 134569956 3221224368 3221214544 1131317381 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212815 31214 13086 16 0 212799 0
vsize: 851260
[startup+180.065 s]
Raw data (loadavg): 1.02 1.04 1.01 2/64 31985
Raw data (stat): 31971 (java) R 31970 20224 20223 0 -1 0 18212 4 1 0 16605 39 0 0 25 0 11 0 779458933 871690240 31518 4294967295 134512640 134569956 3221224368 3221214544 1131316925 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212815 31518 13086 16 0 212799 0
vsize: 851260
[startup+190.065 s]
Raw data (loadavg): 1.02 1.03 1.00 2/64 31985
Raw data (stat): 31971 (java) R 31970 20224 20223 0 -1 0 18212 4 1 0 17536 39 0 0 25 0 11 0 779458933 871690240 31910 4294967295 134512640 134569956 3221224368 3221214648 1131362373 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212815 31910 13086 16 0 212799 0
vsize: 851260
[startup+200.065 s]
Raw data (loadavg): 1.02 1.03 1.00 2/64 31985
Raw data (stat): 31971 (java) R 31970 20224 20223 0 -1 0 18212 4 1 0 18449 40 0 0 25 0 11 0 779458933 871690240 31914 4294967295 134512640 134569956 3221224368 3221214544 1131317074 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212815 31914 13086 16 0 212799 0
vsize: 851260
[startup+210.065 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 31985
Raw data (stat): 31971 (java) R 31970 20224 20223 0 -1 0 18212 4 1 0 19365 40 0 0 25 0 11 0 779458933 871690240 32125 4294967295 134512640 134569956 3221224368 3221214648 1131365267 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212815 32125 13086 16 0 212799 0
vsize: 851260
[startup+220.066 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 31985
Raw data (stat): 31971 (java) R 31970 20224 20223 0 -1 0 18212 4 1 0 20265 41 0 0 25 0 11 0 779458933 871690240 32504 4294967295 134512640 134569956 3221224368 3221214544 1131317022 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212815 32504 13086 16 0 212799 0
vsize: 851260
[startup+230.067 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 31985
Raw data (stat): 31971 (java) R 31970 20224 20223 0 -1 0 18212 4 1 0 21173 41 0 0 25 0 11 0 779458933 871690240 32710 4294967295 134512640 134569956 3221224368 3221214648 1131360430 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212815 32710 13086 16 0 212799 0
vsize: 851260
[startup+240.067 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 31985
Raw data (stat): 31971 (java) R 31970 20224 20223 0 -1 0 18212 4 1 0 22082 41 0 0 25 0 11 0 779458933 871690240 33014 4294967295 134512640 134569956 3221224368 3221214456 1131239591 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212815 33014 13086 16 0 212799 0
vsize: 851260
[startup+250.068 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 31985
Raw data (stat): 31971 (java) R 31970 20224 20223 0 -1 0 18212 4 1 0 23035 42 0 0 25 0 11 0 779458933 871690240 33268 4294967295 134512640 134569956 3221224368 3221214648 1131361560 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212815 33268 13086 16 0 212799 0
vsize: 851260
[startup+260.068 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 31985
Raw data (stat): 31971 (java) R 31970 20224 20223 0 -1 0 18212 4 1 0 23943 42 0 0 25 0 11 0 779458933 871690240 33573 4294967295 134512640 134569956 3221224368 3221214544 1131316916 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212815 33573 13086 16 0 212799 0
vsize: 851260
[startup+270.07 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 31985
Raw data (stat): 31971 (java) R 31970 20224 20223 0 -1 0 18212 4 1 0 24849 42 0 0 25 0 11 0 779458933 871690240 33573 4294967295 134512640 134569956 3221224368 3221214544 1131316460 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212815 33573 13086 16 0 212799 0
vsize: 851260
[startup+280.07 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 31985
Raw data (stat): 31971 (java) R 31970 20224 20223 0 -1 0 18212 4 1 0 25770 43 0 0 25 0 11 0 779458933 871690240 33995 4294967295 134512640 134569956 3221224368 3221214544 1131316543 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212815 33995 13086 16 0 212799 0
vsize: 851260
[startup+290.071 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 31985
Raw data (stat): 31971 (java) R 31970 20224 20223 0 -1 0 18212 4 1 0 26706 43 0 0 25 0 11 0 779458933 871690240 34455 4294967295 134512640 134569956 3221224368 3221214544 1131316909 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212815 34455 13086 16 0 212799 0
vsize: 851260
[startup+300.072 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 31985
Raw data (stat): 31971 (java) R 31970 20224 20223 0 -1 0 18212 4 1 0 27645 44 0 0 25 0 11 0 779458933 871690240 34457 4294967295 134512640 134569956 3221224368 3221214648 1131360369 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212815 34457 13086 16 0 212799 0
vsize: 851260
[startup+310.072 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 31985
Raw data (stat): 31971 (java) R 31970 20224 20223 0 -1 0 18212 4 1 0 28590 44 0 0 25 0 11 0 779458933 871690240 34761 4294967295 134512640 134569956 3221224368 3221214544 1131317381 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212815 34761 13086 16 0 212799 0
vsize: 851260
[startup+320.072 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 31985
Raw data (stat): 31971 (java) R 31970 20224 20223 0 -1 0 18212 4 1 0 29543 44 0 0 25 0 11 0 779458933 871690240 34912 4294967295 134512640 134569956 3221224368 3221214544 1131316445 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212815 34912 13086 16 0 212799 0
vsize: 851260
[startup+330.074 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 31985
Raw data (stat): 31971 (java) R 31970 20224 20223 0 -1 0 18212 4 1 0 30491 45 0 0 25 0 11 0 779458933 871690240 34963 4294967295 134512640 134569956 3221224368 3221214544 1131317011 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212815 34963 13086 16 0 212799 0
vsize: 851260
[startup+340.074 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 31985
Raw data (stat): 31971 (java) R 31970 20224 20223 0 -1 0 18212 4 1 0 31442 45 0 0 25 0 11 0 779458933 871690240 35064 4294967295 134512640 134569956 3221224368 3221214544 1131316953 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212815 35064 13086 16 0 212799 0
vsize: 851260
[startup+350.074 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 31985
Raw data (stat): 31971 (java) R 31970 20224 20223 0 -1 0 18212 4 1 0 32393 46 0 0 25 0 11 0 779458933 871690240 35235 4294967295 134512640 134569956 3221224368 3221214704 1131566796 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212815 35235 13086 16 0 212799 0
vsize: 851260
[startup+360.075 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 31985
Raw data (stat): 31971 (java) R 31970 20224 20223 0 -1 0 18212 4 1 0 33321 46 0 0 25 0 11 0 779458933 871690240 35392 4294967295 134512640 134569956 3221224368 3221214544 1131316648 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212815 35392 13086 16 0 212799 0
vsize: 851260
[startup+370.076 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 31985
Raw data (stat): 31971 (java) R 31970 20224 20223 0 -1 0 18212 4 1 0 34248 46 0 0 24 0 11 0 779458933 871690240 35543 4294967295 134512640 134569956 3221224368 3221214648 1131362420 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212815 35543 13086 16 0 212799 0
vsize: 851260
[startup+380.077 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 31985
Raw data (stat): 31971 (java) R 31970 20224 20223 0 -1 0 18212 4 1 0 35175 47 0 0 25 0 11 0 779458933 871690240 35694 4294967295 134512640 134569956 3221224368 3221214544 1131316925 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212815 35694 13086 16 0 212799 0
vsize: 851260
[startup+390.077 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 31985
Raw data (stat): 31971 (java) R 31970 20224 20223 0 -1 0 18212 4 1 0 36119 47 0 0 25 0 11 0 779458933 871690240 35997 4294967295 134512640 134569956 3221224368 3221214456 1131239591 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212815 35997 13086 16 0 212799 0
vsize: 851260
[startup+400.078 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 31985
Raw data (stat): 31971 (java) R 31970 20224 20223 0 -1 0 18212 4 1 0 37059 47 0 0 25 0 11 0 779458933 871690240 36099 4294967295 134512640 134569956 3221224368 3221214544 1131317484 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212815 36099 13086 16 0 212799 0
vsize: 851260
[startup+410.078 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 31985
Raw data (stat): 31971 (java) R 31970 20224 20223 0 -1 0 18212 4 1 0 37987 48 0 0 25 0 11 0 779458933 871690240 36302 4294967295 134512640 134569956 3221224368 3221214648 1131362444 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212815 36302 13086 16 0 212799 0
vsize: 851260
[startup+420.079 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 31985
Raw data (stat): 31971 (java) R 31970 20224 20223 0 -1 0 18212 4 1 0 38908 48 0 0 25 0 11 0 779458933 871690240 36508 4294967295 134512640 134569956 3221224368 3221214648 1131361560 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212815 36508 13086 16 0 212799 0
vsize: 851260
[startup+430.08 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 31985
Raw data (stat): 31971 (java) S 31970 20224 20223 0 -1 0 18212 4 1 0 39830 48 0 0 25 0 11 0 779458933 871690240 36626 4294967295 134512640 134569956 3221224368 3221213288 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212815 36626 13086 16 0 212799 0
vsize: 851260
[startup+440.079 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 31985
Raw data (stat): 31971 (java) R 31970 20224 20223 0 -1 0 18212 4 1 0 40763 49 0 0 25 0 11 0 779458933 871690240 36989 4294967295 134512640 134569956 3221224368 3221214544 1131317118 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212815 36989 13086 16 0 212799 0
vsize: 851260
[startup+450.08 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 31985
Raw data (stat): 31971 (java) R 31970 20224 20223 0 -1 0 18212 4 1 0 41697 49 0 0 25 0 11 0 779458933 871690240 37253 4294967295 134512640 134569956 3221224368 3221214648 1131360300 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212815 37253 13086 16 0 212799 0
vsize: 851260
[startup+460.081 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31985
Raw data (stat): 31971 (java) R 31970 20224 20223 0 -1 0 18212 4 1 0 42647 50 0 0 25 0 11 0 779458933 871690240 37305 4294967295 134512640 134569956 3221224368 3221214648 1131361564 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212815 37305 13086 16 0 212799 0
vsize: 851260
[startup+470.086 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31985
Raw data (stat): 31971 (java) R 31970 20224 20223 0 -1 0 18212 4 1 0 43572 50 0 0 25 0 11 0 779458933 871690240 37559 4294967295 134512640 134569956 3221224368 3221214560 1131485688 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212815 37559 13086 16 0 212799 0
vsize: 851260
[startup+480.087 s]
Raw data (loadavg): 1.07 1.02 1.00 2/64 31985
Raw data (stat): 31971 (java) R 31970 20224 20223 0 -1 0 18212 4 1 0 44506 50 0 0 25 0 11 0 779458933 871690240 37609 4294967295 134512640 134569956 3221224368 3221214544 1131317484 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212815 37609 13086 16 0 212799 0
vsize: 851260
[startup+490.089 s]
Raw data (loadavg): 1.06 1.02 1.00 2/64 31985
Raw data (stat): 31971 (java) R 31970 20224 20223 0 -1 0 18212 4 1 0 45435 50 0 0 25 0 11 0 779458933 871690240 37965 4294967295 134512640 134569956 3221224368 3221214560 1131485688 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212815 37965 13086 16 0 212799 0
vsize: 851260
[startup+500.092 s]
Raw data (loadavg): 1.05 1.02 1.00 2/64 31985
Raw data (stat): 31971 (java) R 31970 20224 20223 0 -1 0 18212 4 1 0 46386 50 0 0 25 0 11 0 779458933 871690240 37966 4294967295 134512640 134569956 3221224368 3221214648 1131361470 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212815 37966 13086 16 0 212799 0
vsize: 851260
[startup+510.092 s]
Raw data (loadavg): 1.04 1.02 1.00 2/64 31985
Raw data (stat): 31971 (java) R 31970 20224 20223 0 -1 0 18212 4 1 0 47325 50 0 0 25 0 11 0 779458933 871690240 38169 4294967295 134512640 134569956 3221224368 3221214544 1131317396 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212815 38169 13086 16 0 212799 0
vsize: 851260
[startup+520.093 s]
Raw data (loadavg): 1.04 1.02 1.00 2/64 31985
Raw data (stat): 31971 (java) R 31970 20224 20223 0 -1 0 18212 4 1 0 48253 50 0 0 25 0 11 0 779458933 871690240 38322 4294967295 134512640 134569956 3221224368 3221214544 1131316521 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212815 38322 13086 16 0 212799 0
vsize: 851260
[startup+530.093 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 31985
Raw data (stat): 31971 (java) R 31970 20224 20223 0 -1 0 18212 4 1 0 49181 50 0 0 25 0 11 0 779458933 871690240 38424 4294967295 134512640 134569956 3221224368 3221214544 1131316953 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212815 38424 13086 16 0 212799 0
vsize: 851260
[startup+540.094 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 31985
Raw data (stat): 31971 (java) R 31970 20224 20223 0 -1 0 18212 4 1 0 50115 51 0 0 25 0 11 0 779458933 871690240 38627 4294967295 134512640 134569956 3221224368 3221214544 1131316981 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212815 38627 13086 16 0 212799 0
vsize: 851260
[startup+550.094 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 31985
Raw data (stat): 31971 (java) R 31970 20224 20223 0 -1 0 18212 4 1 0 51039 51 0 0 24 0 11 0 779458933 871690240 38987 4294967295 134512640 134569956 3221224368 3221214544 1131317167 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212815 38987 13086 16 0 212799 0
vsize: 851260
[startup+560.095 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 31985
Raw data (stat): 31971 (java) R 31970 20224 20223 0 -1 0 18212 4 1 0 51989 51 0 0 25 0 11 0 779458933 871690240 38987 4294967295 134512640 134569956 3221224368 3221214648 1131360069 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212815 38987 13086 16 0 212799 0
vsize: 851260
[startup+570.096 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 31985
Raw data (stat): 31971 (java) R 31970 20224 20223 0 -1 0 18212 4 1 0 52912 51 0 0 21 0 11 0 779458933 871690240 39190 4294967295 134512640 134569956 3221224368 3221214544 1131317126 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212815 39190 13086 16 0 212799 0
vsize: 851260
[startup+580.097 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 31985
Raw data (stat): 31971 (java) R 31970 20224 20223 0 -1 0 18212 4 1 0 53840 51 0 0 25 0 11 0 779458933 871690240 39445 4294967295 134512640 134569956 3221224368 3221214544 1131316509 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212815 39445 13086 16 0 212799 0
vsize: 851260
[startup+590.097 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 31985
Raw data (stat): 31971 (java) R 31970 20224 20223 0 -1 0 18212 4 1 0 54778 51 0 0 25 0 11 0 779458933 871690240 39954 4294967295 134512640 134569956 3221224368 3221214544 1131316594 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212815 39954 13086 16 0 212799 0
vsize: 851260
[startup+600.097 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 31985
Raw data (stat): 31971 (java) R 31970 20224 20223 0 -1 0 18212 4 1 0 55770 51 0 0 25 0 11 0 779458933 871690240 39965 4294967295 134512640 134569956 3221224368 3221214648 1131362502 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212815 39965 13086 16 0 212799 0
vsize: 851260
[startup+610.098 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 31985
Raw data (stat): 31971 (java) R 31970 20224 20223 0 -1 0 18212 4 1 0 56763 51 0 0 25 0 11 0 779458933 871690240 39978 4294967295 134512640 134569956 3221224368 3221214648 1131361656 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212815 39978 13086 16 0 212799 0
vsize: 851260
[startup+620.099 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 31985
Raw data (stat): 31971 (java) R 31970 20224 20223 0 -1 0 18212 4 1 0 57758 51 0 0 25 0 11 0 779458933 871690240 39982 4294967295 134512640 134569956 3221224368 3221214696 1131566796 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212815 39982 13086 16 0 212799 0
vsize: 851260
[startup+630.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31986
Raw data (stat): 31971 (java) R 31970 20224 20223 0 -1 0 18212 4 1 0 58745 52 0 0 25 0 11 0 779458933 871690240 39985 4294967295 134512640 134569956 3221224368 3221214544 1131316449 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212815 39985 13086 16 0 212799 0
vsize: 851260
[startup+640.101 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31986
Raw data (stat): 31971 (java) R 31970 20224 20223 0 -1 0 18212 4 1 0 59730 52 0 0 24 0 11 0 779458933 871690240 39988 4294967295 134512640 134569956 3221224368 3221214544 1131317180 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212815 39988 13086 16 0 212799 0
vsize: 851260
[startup+650.102 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31986
Raw data (stat): 31971 (java) R 31970 20224 20223 0 -1 0 18212 4 1 0 60718 52 0 0 25 0 11 0 779458933 871690240 40048 4294967295 134512640 134569956 3221224368 3221214544 1131316882 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212815 40048 13086 16 0 212799 0
vsize: 851260
[startup+660.102 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31986
Raw data (stat): 31971 (java) R 31970 20224 20223 0 -1 0 18212 4 1 0 61713 52 0 0 25 0 11 0 779458933 871690240 40049 4294967295 134512640 134569956 3221224368 3221214544 1131317161 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212815 40049 13086 16 0 212799 0
vsize: 851260
[startup+670.103 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31986
Raw data (stat): 31971 (java) R 31970 20224 20223 0 -1 0 18212 4 1 0 62705 52 0 0 25 0 11 0 779458933 871690240 40049 4294967295 134512640 134569956 3221224368 3221214660 1130885154 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212815 40049 13086 16 0 212799 0
vsize: 851260
[startup+680.104 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31986
Raw data (stat): 31971 (java) R 31970 20224 20223 0 -1 0 18212 4 1 0 63686 52 0 0 25 0 11 0 779458933 871690240 40049 4294967295 134512640 134569956 3221224368 3221214544 1131317211 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212815 40049 13086 16 0 212799 0
vsize: 851260
[startup+690.105 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31986
Raw data (stat): 31971 (java) R 31970 20224 20223 0 -1 0 18212 4 1 0 64667 52 0 0 25 0 11 0 779458933 871690240 40049 4294967295 134512640 134569956 3221224368 3221214648 1131361564 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212815 40049 13086 16 0 212799 0
vsize: 851260
[startup+700.106 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31987
Raw data (stat): 31971 (java) R 31970 20224 20223 0 -1 0 18212 4 1 0 65648 52 0 0 25 0 11 0 779458933 871690240 40161 4294967295 134512640 134569956 3221224368 3221214544 1131317114 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212815 40161 13086 16 0 212799 0
vsize: 851260
[startup+710.107 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31987
Raw data (stat): 31971 (java) R 31970 20224 20223 0 -1 0 18212 4 1 0 66634 52 0 0 25 0 11 0 779458933 871690240 40162 4294967295 134512640 134569956 3221224368 3221214544 1131316953 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212815 40162 13086 16 0 212799 0
vsize: 851260
[startup+720.107 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31987
Raw data (stat): 31971 (java) R 31970 20224 20223 0 -1 0 18212 4 1 0 67617 52 0 0 25 0 11 0 779458933 871690240 40162 4294967295 134512640 134569956 3221224368 3221214544 1131316953 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212815 40162 13086 16 0 212799 0
vsize: 851260
[startup+730.107 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31987
Raw data (stat): 31971 (java) R 31970 20224 20223 0 -1 0 18212 4 1 0 68609 52 0 0 25 0 11 0 779458933 871690240 40223 4294967295 134512640 134569956 3221224368 3221214544 1131316633 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212815 40223 13086 16 0 212799 0
vsize: 851260
[startup+740.107 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31987
Raw data (stat): 31971 (java) R 31970 20224 20223 0 -1 0 18212 4 1 0 69604 53 0 0 25 0 11 0 779458933 871690240 40227 4294967295 134512640 134569956 3221224368 3221214544 1131316953 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212815 40227 13086 16 0 212799 0
vsize: 851260
[startup+750.108 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31987
Raw data (stat): 31971 (java) R 31970 20224 20223 0 -1 0 18212 4 1 0 70594 53 0 0 25 0 11 0 779458933 871690240 40232 4294967295 134512640 134569956 3221224368 3221214544 1131316478 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212815 40232 13086 16 0 212799 0
vsize: 851260
[startup+760.109 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31987
Raw data (stat): 31971 (java) R 31970 20224 20223 0 -1 0 18212 4 1 0 71580 53 0 0 25 0 11 0 779458933 871690240 40232 4294967295 134512640 134569956 3221224368 3221214544 1131317078 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212815 40232 13086 16 0 212799 0
vsize: 851260
[startup+770.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31987
Raw data (stat): 31971 (java) R 31970 20224 20223 0 -1 0 18212 4 1 0 72566 53 0 0 25 0 11 0 779458933 871690240 40233 4294967295 134512640 134569956 3221224368 3221214544 1131316780 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212815 40233 13086 16 0 212799 0
vsize: 851260
[startup+780.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31987
Raw data (stat): 31971 (java) R 31970 20224 20223 0 -1 0 18212 4 1 0 73557 53 0 0 25 0 11 0 779458933 871690240 40291 4294967295 134512640 134569956 3221224368 3221214648 1131365267 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212815 40291 13086 16 0 212799 0
vsize: 851260
[startup+790.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31987
Raw data (stat): 31971 (java) R 31970 20224 20223 0 -1 0 18212 4 1 0 74550 53 0 0 25 0 11 0 779458933 871690240 40292 4294967295 134512640 134569956 3221224368 3221214648 1131365255 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212815 40292 13086 16 0 212799 0
vsize: 851260
[startup+800.111 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31987
Raw data (stat): 31971 (java) R 31970 20224 20223 0 -1 0 18212 4 1 0 75532 53 0 0 25 0 11 0 779458933 871690240 40292 4294967295 134512640 134569956 3221224368 3221214544 1131316842 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212815 40292 13086 16 0 212799 0
vsize: 851260
[startup+810.115 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31987
Raw data (stat): 31971 (java) S 31970 20224 20223 0 -1 0 18212 4 1 0 76498 53 0 0 25 0 11 0 779458933 871690240 40292 4294967295 134512640 134569956 3221224368 3221213288 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212815 40292 13086 16 0 212799 0
vsize: 851260
[startup+820.117 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31987
Raw data (stat): 31971 (java) R 31970 20224 20223 0 -1 0 18212 4 1 0 77452 53 0 0 17 0 11 0 779458933 871690240 40344 4294967295 134512640 134569956 3221224368 3221214648 1131361556 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212815 40344 13086 16 0 212799 0
vsize: 851260
[startup+830.118 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31987
Raw data (stat): 31971 (java) R 31970 20224 20223 0 -1 0 18212 4 1 0 78409 54 0 0 25 0 11 0 779458933 871690240 40450 4294967295 134512640 134569956 3221224368 3221214544 1131316953 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212815 40450 13086 16 0 212799 0
vsize: 851260
[startup+840.117 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31987
Raw data (stat): 31971 (java) R 31970 20224 20223 0 -1 0 18212 4 1 0 79366 54 0 0 25 0 11 0 779458933 871690240 40551 4294967295 134512640 134569956 3221224368 3221214544 1131317491 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212815 40551 13086 16 0 212799 0
vsize: 851260
[startup+850.118 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31987
Raw data (stat): 31971 (java) R 31970 20224 20223 0 -1 0 18212 4 1 0 80331 54 0 0 25 0 11 0 779458933 871690240 40709 4294967295 134512640 134569956 3221224368 3221214648 1131362502 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212815 40709 13086 16 0 212799 0
vsize: 851260
[startup+860.123 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31987
Raw data (stat): 31971 (java) R 31970 20224 20223 0 -1 0 18212 4 1 0 81288 54 0 0 25 0 11 0 779458933 871690240 40709 4294967295 134512640 134569956 3221224368 3221214544 1131316953 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212815 40709 13086 16 0 212799 0
vsize: 851260
[startup+870.127 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31987
Raw data (stat): 31971 (java) R 31970 20224 20223 0 -1 0 18212 4 1 0 82233 54 0 0 25 0 11 0 779458933 871690240 40912 4294967295 134512640 134569956 3221224368 3221214544 1131317428 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212815 40912 13086 16 0 212799 0
vsize: 851260
[startup+880.126 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31987
Raw data (stat): 31971 (java) R 31970 20224 20223 0 -1 0 18212 4 1 0 83187 54 0 0 25 0 11 0 779458933 871690240 40963 4294967295 134512640 134569956 3221224368 3221214544 1131316545 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212815 40963 13086 16 0 212799 0
vsize: 851260
[startup+890.129 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31987
Raw data (stat): 31971 (java) R 31970 20224 20223 0 -1 0 18212 4 1 0 84162 54 0 0 25 0 11 0 779458933 871690240 41274 4294967295 134512640 134569956 3221224368 3221214544 1131316478 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212815 41274 13086 16 0 212799 0
vsize: 851260
[startup+900.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31987
Raw data (stat): 31971 (java) R 31970 20224 20223 0 -1 0 18212 4 1 0 85155 54 0 0 25 0 11 0 779458933 871690240 41274 4294967295 134512640 134569956 3221224368 3221214544 1131316478 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212815 41274 13086 16 0 212799 0
vsize: 851260
[startup+910.132 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31987
Raw data (stat): 31971 (java) R 31970 20224 20223 0 -1 0 18212 4 1 0 86140 54 0 0 25 0 11 0 779458933 871690240 41274 4294967295 134512640 134569956 3221224368 3221214648 1131361531 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212815 41274 13086 16 0 212799 0
vsize: 851260
[startup+920.134 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31987
Raw data (stat): 31971 (java) R 31970 20224 20223 0 -1 0 18212 4 1 0 87124 54 0 0 24 0 11 0 779458933 871690240 41275 4294967295 134512640 134569956 3221224368 3221214456 1131239568 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212815 41275 13086 16 0 212799 0
vsize: 851260
[startup+930.135 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31987
Raw data (stat): 31971 (java) R 31970 20224 20223 0 -1 0 18212 4 1 0 88114 55 0 0 25 0 11 0 779458933 871690240 41332 4294967295 134512640 134569956 3221224368 3221214544 1131316449 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212815 41332 13086 16 0 212799 0
vsize: 851260
[startup+940.135 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31987
Raw data (stat): 31971 (java) R 31970 20224 20223 0 -1 0 18212 4 1 0 89108 55 0 0 25 0 11 0 779458933 871690240 41332 4294967295 134512640 134569956 3221224368 3221214544 1131317416 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212815 41332 13086 16 0 212799 0
vsize: 851260
[startup+950.135 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31987
Raw data (stat): 31971 (java) R 31970 20224 20223 0 -1 0 18212 4 1 0 90083 55 0 0 25 0 11 0 779458933 871690240 41332 4294967295 134512640 134569956 3221224368 3221214648 1131361382 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212815 41332 13086 16 0 212799 0
vsize: 851260
[startup+960.136 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31987
Raw data (stat): 31971 (java) R 31970 20224 20223 0 -1 0 18212 4 1 0 91050 55 0 0 25 0 11 0 779458933 871690240 41332 4294967295 134512640 134569956 3221224368 3221214560 1131485682 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212815 41332 13086 16 0 212799 0
vsize: 851260
[startup+970.137 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31987
Raw data (stat): 31971 (java) R 31970 20224 20223 0 -1 0 18212 4 1 0 91974 56 0 0 25 0 11 0 779458933 871690240 41333 4294967295 134512640 134569956 3221224368 3221214544 1131316842 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212815 41333 13086 16 0 212799 0
vsize: 851260
[startup+980.138 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31987
Raw data (stat): 31971 (java) R 31970 20224 20223 0 -1 0 18212 4 1 0 92914 56 0 0 25 0 11 0 779458933 871690240 41532 4294967295 134512640 134569956 3221224368 3221214560 1131485763 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212815 41532 13086 16 0 212799 0
vsize: 851260
[startup+990.138 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31987
Raw data (stat): 31971 (java) R 31970 20224 20223 0 -1 0 18212 4 1 0 93855 56 0 0 25 0 11 0 779458933 871690240 41974 4294967295 134512640 134569956 3221224368 3221214544 1131316946 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212815 41974 13086 16 0 212799 0
vsize: 851260
[startup+1000.14 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31987
Raw data (stat): 31971 (java) R 31970 20224 20223 0 -1 0 18212 4 1 0 94822 56 0 0 25 0 11 0 779458933 871690240 41974 4294967295 134512640 134569956 3221224368 3221214544 1131317477 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212815 41974 13086 16 0 212799 0
vsize: 851260
[startup+1010.14 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31987
Raw data (stat): 31971 (java) R 31970 20224 20223 0 -1 0 18212 4 1 0 95803 56 0 0 25 0 11 0 779458933 871690240 41974 4294967295 134512640 134569956 3221224368 3221214576 1131328579 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212815 41974 13086 16 0 212799 0
vsize: 851260
[startup+1020.14 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31987
Raw data (stat): 31971 (java) R 31970 20224 20223 0 -1 0 18212 4 1 0 96764 56 0 0 25 0 11 0 779458933 871690240 42176 4294967295 134512640 134569956 3221224368 3221214648 1131365261 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212815 42176 13086 16 0 212799 0
vsize: 851260
[startup+1030.14 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31987
Raw data (stat): 31971 (java) R 31970 20224 20223 0 -1 0 18212 4 1 0 97733 56 0 0 25 0 11 0 779458933 871690240 42176 4294967295 134512640 134569956 3221224368 3221214544 1131316545 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212815 42176 13086 16 0 212799 0
vsize: 851260
[startup+1040.14 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31987
Raw data (stat): 31971 (java) R 31970 20224 20223 0 -1 0 18212 4 1 0 98700 57 0 0 25 0 11 0 779458933 871690240 42396 4294967295 134512640 134569956 3221224368 3221214544 1131316580 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212815 42396 13086 16 0 212799 0
vsize: 851260
[startup+1050.14 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31987
Raw data (stat): 31971 (java) R 31970 20224 20223 0 -1 0 18212 4 1 0 99691 57 0 0 25 0 11 0 779458933 871690240 42396 4294967295 134512640 134569956 3221224368 3221214648 1131361560 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212815 42396 13086 16 0 212799 0
vsize: 851260
[startup+1060.15 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31987
Raw data (stat): 31971 (java) R 31970 20224 20223 0 -1 0 18212 4 1 0 100679 57 0 0 25 0 11 0 779458933 871690240 42396 4294967295 134512640 134569956 3221224368 3221214544 1131316513 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212815 42396 13086 16 0 212799 0
vsize: 851260
[startup+1070.15 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31987
Raw data (stat): 31971 (java) R 31970 20224 20223 0 -1 0 18212 4 1 0 101653 57 0 0 25 0 11 0 779458933 871690240 42397 4294967295 134512640 134569956 3221224368 3221214544 1131317528 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212815 42397 13086 16 0 212799 0
vsize: 851260
[startup+1080.15 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31987
Raw data (stat): 31971 (java) R 31970 20224 20223 0 -1 0 18212 4 1 0 102604 57 0 0 25 0 11 0 779458933 871690240 42397 4294967295 134512640 134569956 3221224368 3221214544 1131317140 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212815 42397 13086 16 0 212799 0
vsize: 851260
[startup+1090.15 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31987
Raw data (stat): 31971 (java) S 31970 20224 20223 0 -1 0 18212 4 1 0 103569 57 0 0 25 0 11 0 779458933 871690240 42448 4294967295 134512640 134569956 3221224368 3221213288 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212815 42448 13086 16 0 212799 0
vsize: 851260
[startup+1100.15 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31987
Raw data (stat): 31971 (java) R 31970 20224 20223 0 -1 0 18212 4 1 0 104519 58 0 0 25 0 11 0 779458933 871690240 42735 4294967295 134512640 134569956 3221224368 3221214648 1131361450 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212815 42735 13086 16 0 212799 0
vsize: 851260
[startup+1110.15 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31987
Raw data (stat): 31971 (java) R 31970 20224 20223 0 -1 0 18212 4 1 0 105478 58 0 0 25 0 11 0 779458933 871690240 42782 4294967295 134512640 134569956 3221224368 3221214544 1131316953 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212815 42782 13086 16 0 212799 0
vsize: 851260
[startup+1120.15 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31987
Raw data (stat): 31971 (java) R 31970 20224 20223 0 -1 0 18212 4 1 0 106428 58 0 0 25 0 11 0 779458933 871690240 42937 4294967295 134512640 134569956 3221224368 3221214544 1131317510 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212815 42937 13086 16 0 212799 0
vsize: 851260
[startup+1130.16 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31987
Raw data (stat): 31971 (java) R 31970 20224 20223 0 -1 0 18212 4 1 0 107413 58 0 0 25 0 11 0 779458933 871690240 42937 4294967295 134512640 134569956 3221224368 3221214648 1131360239 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212815 42937 13086 16 0 212799 0
vsize: 851260
[startup+1140.16 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31987
Raw data (stat): 31971 (java) R 31970 20224 20223 0 -1 0 18212 4 1 0 108371 58 0 0 25 0 11 0 779458933 871690240 43107 4294967295 134512640 134569956 3221224368 3221214728 1131566784 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212815 43107 13086 16 0 212799 0
vsize: 851260
[startup+1150.16 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31987
Raw data (stat): 31971 (java) R 31970 20224 20223 0 -1 0 18212 4 1 0 109329 58 0 0 25 0 11 0 779458933 871690240 43164 4294967295 134512640 134569956 3221224368 3221214544 1131317484 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212815 43164 13086 16 0 212799 0
vsize: 851260
[startup+1160.16 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31987
Raw data (stat): 31971 (java) R 31970 20224 20223 0 -1 0 18212 4 1 0 110282 58 0 0 25 0 11 0 779458933 871690240 43345 4294967295 134512640 134569956 3221224368 3221214648 1131361560 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212815 43345 13086 16 0 212799 0
vsize: 851260
[startup+1170.16 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31987
Raw data (stat): 31971 (java) R 31970 20224 20223 0 -1 0 18212 4 1 0 111248 58 0 0 24 0 11 0 779458933 871690240 43453 4294967295 134512640 134569956 3221224368 3221214544 1131317428 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212815 43453 13086 16 0 212799 0
vsize: 851260
[startup+1180.16 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31987
Raw data (stat): 31971 (java) R 31970 20224 20223 0 -1 0 18212 4 1 0 112228 58 0 0 24 0 11 0 779458933 871690240 43509 4294967295 134512640 134569956 3221224368 3221214544 1131316449 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212815 43509 13086 16 0 212799 0
vsize: 851260
[startup+1190.16 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31987
Raw data (stat): 31971 (java) R 31970 20224 20223 0 -1 0 18212 4 1 0 113197 58 0 0 25 0 11 0 779458933 871690240 43583 4294967295 134512640 134569956 3221224368 3221214544 1131316445 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212815 43583 13086 16 0 212799 0
vsize: 851260
[startup+1200.16 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31987
Raw data (stat): 31971 (java) S 31970 20224 20223 0 -1 0 18212 4 1 0 114154 58 0 0 25 0 11 0 779458933 871690240 43583 4294967295 134512640 134569956 3221224368 3221213288 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212815 43583 13086 16 0 212799 0
vsize: 851260
[startup+1210.17 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31987
Raw data (stat): 31971 (java) R 31970 20224 20223 0 -1 0 18212 4 1 0 115115 58 0 0 25 0 11 0 779458933 871690240 43758 4294967295 134512640 134569956 3221224368 3221214544 1131316953 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212815 43758 13086 16 0 212799 0
vsize: 851260
[startup+1220.17 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31987
Raw data (stat): 31971 (java) R 31970 20224 20223 0 -1 0 18212 4 1 0 116086 58 0 0 25 0 11 0 779458933 871690240 43928 4294967295 134512640 134569956 3221224368 3221214648 1131361568 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212815 43928 13086 16 0 212799 0
vsize: 851260
[startup+1230.18 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31987
Raw data (stat): 31971 (java) R 31970 20224 20223 0 -1 0 18212 4 1 0 117076 59 0 0 25 0 11 0 779458933 871690240 43985 4294967295 134512640 134569956 3221224368 3221214544 1131316925 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212815 43985 13086 16 0 212799 0
vsize: 851260
[startup+1240.18 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31987
Raw data (stat): 31971 (java) R 31970 20224 20223 0 -1 0 18212 4 1 0 118059 59 0 0 25 0 11 0 779458933 871690240 43986 4294967295 134512640 134569956 3221224368 3221214456 1131239996 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212815 43986 13086 16 0 212799 0
vsize: 851260
[startup+1250.19 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31987
Raw data (stat): 31971 (java) R 31970 20224 20223 0 -1 0 18212 4 1 0 119028 59 0 0 25 0 11 0 779458933 871690240 43986 4294967295 134512640 134569956 3221224368 3221214648 1131362420 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212815 43986 13086 16 0 212799 0
vsize: 851260
[startup+1260.2 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31987
Raw data (stat): 31971 (java) R 31970 20224 20223 0 -1 0 18212 4 1 0 119994 59 0 0 24 0 11 0 779458933 871690240 43986 4294967295 134512640 134569956 3221224368 3221214544 1131317118 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212815 43986 13086 16 0 212799 0
vsize: 851260
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1260.62 s]
Raw data (loadavg): 1.16 1.03 1.01 1/54 31989
Raw data (stat): 31971 (java) Z 31970 20224 20223 0 -1 1036 18212 32144 1 0 120024 67 7167 83 24 0 1 0 779458933 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): 1260.62
CPU time (s): 1273.42
CPU user time (s): 1271.91
CPU system time (s): 1.50477
CPU usage (%): 101.015
Max. virtual memory (Kb): 851548
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	-63525540
#### END VERIFIER DATA ####