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-fiber.opb
MD5SUM	d1d488615de0d5a5bcf2a298507e66b1
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	108097879
Optimality of the best value was proved	NO
Number of terms in the objective function	1254
Biggest coefficient in the objective function	72966962
Number of bits for the biggest coefficient in the objective function	27
Sum of the numbers in the objective function	4807778524
Number of bits of the sum of numbers in the objective function	33
Biggest number in a constraint	72966962
Number of bits of the biggest number in a constraint	27
Biggest sum of numbers in a constraint	4807778524
Number of bits of the biggest sum of numbers	33
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	90.9232
Number of variables	2134
Total number of constraints	1617
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	1290
Number of constraints which are nor clauses,nor cardinality constraints	327
Minimum length of a constraint	1
Maximum length of a constraint	51
Trace number 29960

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        643152 kB
Buffers:         33496 kB
Cached:         335684 kB
SwapCached:        400 kB
Active:          62536 kB
Inactive:       308852 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        642900 kB
SwapTotal:     2097892 kB
SwapFree:      2096804 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5576 kB
Slab:            14412 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 13:32:42 (client local time) WITH STATUS 143 IN 1249.1 SECONDS
stats: 21361 0 1249.1 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c SAT4J: a SATisfiability library for Java (c) 2004-2005 Daniel Le Berre
c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
c version Special PB05 Second trial
c --- Begin Solver configuration ---
c org.sat4j.minisat.uip.FirstUIP@1e4cbc4
c org.sat4j.minisat.constraints.PBMinDataStructure@1fdc96c
c org.sat4j.minisat.learning.MiniSATLearning@b2fd8f
c conflictBoundIncFactor=1.5 learntBoundIncFactor=1.1 initLearntBoundConstraintFactor=0.5 initConflictBound=100 
c 
c --- End Solver configuration ---
c solving /oldhome/oroussel/tmp/wulflinc22/normalized-mps-v2-13-7-fiber.opb
c reading problem ... done. Time 4.29 ms.
c #vars     2134
c #constraints  711
c SATISFIABLE
c OPTIMIZING...
c CURRENT OPTIMUM=           305889142 		Current CPU time: 5.77 ms
c CURRENT OPTIMUM=           266583590 		Current CPU time: 224.82 ms
c CURRENT OPTIMUM=           216724987 		Current CPU time: 407.23 ms
c CURRENT OPTIMUM=           211590716 		Current CPU time: 414.23 ms
c CURRENT OPTIMUM=           185433598 		Current CPU time: 431.47 ms
c starts	: 7
c conflicts	: 314
c decisions	: 40344
c propagations	: 94436
c inspects	: 277588
c learned literals	: 0
c learned binary clauses	: 1
c learned ternary clauses	: 4
c learned clauses	: 314
c root simplifications	: 79
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_bit_7 -x1255_bit_6 -x1255_bit_5 -x1255_bit_4 -x1255_bit_3 -x1255_bit_2 -x1255_bit_1 -x1255_bit0 x1255_bit1 -x1255_bit2 x1255_bit3 -x1255_bit4 -x1255_bit5 -x1255_bit6 -x1255_bit7 -x1255_bit8 -x1255_bit9 -x1255_bit10 -x1255_bit11 -x1255_bit12 -x1264_bit_7 -x1264_bit_6 -x1264_bit_5 -x1264_bit_4 -x1264_bit_3 -x1264_bit_2 -x1264_bit_1 -x1264_bit0 x1264_bit1 -x1264_bit2 x1264_bit3 x1264_bit4 -x1264_bit5 x1264_bit6 -x1264_bit7 -x1264_bit8 -x1264_bit9 -x1264_bit10 -x1264_bit11 -x1264_bit12 -x1265_bit_7 -x1265_bit_6 -x1265_bit_5 -x1265_bit_4 -x1265_bit_3 -x1265_bit_2 -x1265_bit_1 -x1265_bit0 x1265_bit1 -x1265_bit2 -x1265_bit3 -x1265_bit4 -x1265_bit5 -x1265_bit6 -x1265_bit7 -x1265_bit8 -x1265_bit9 -x1265_bit10 -x1265_bit11 -x1265_bit12 -x1266_bit_7 -x1266_bit_6 -x1266_bit_5 -x1266_bit_4 -x1266_bit_3 -x1266_bit_2 -x1266_bit_1 -x1266_bit0 -x1266_bit1 -x1266_bit2 x1266_bit3 x1266_bit4 -x1266_bit5 -x1266_bit6 -x1266_bit7 -x1266_bit8 -x1266_bit9 -x1266_bit10 -x1266_bit11 -x1266_bit12 -x1267_bit_7 -x1267_bit_6 -x1267_bit_5 -x1267_bit_4 -x1267_bit_3 -x1267_bit_2 -x1267_bit_1 -x1267_bit0 -x1267_bit1 -x1267_bit2 x1267_bit3 x1267_bit4 x1267_bit5 -x1267_bit6 x1267_bit7 -x1267_bit8 -x1267_bit9 -x1267_bit10 -x1267_bit11 -x1267_bit12 -x1268_bit_7 -x1268_bit_6 -x1268_bit_5 -x1268_bit_4 -x1268_bit_3 -x1268_bit_2 -x1268_bit_1 -x1268_bit0 -x1268_bit1 -x1268_bit2 -x1268_bit3 -x1268_bit4 -x1268_bit5 -x1268_bit6 -x1268_bit7 -x1268_bit8 -x1268_bit9 -x1268_bit10 -x1268_bit11 -x1268_bit12 -x1269_bit_7 -x1269_bit_6 -x1269_bit_5 -x1269_bit_4 -x1269_bit_3 -x1269_bit_2 -x1269_bit_1 -x1269_bit0 -x1269_bit1 -x1269_bit2 -x1269_bit3 -x1269_bit4 x1269_bit5 -x1269_bit6 -x1269_bit7 -x1269_bit8 -x1269_bit9 -x1269_bit10 -x1269_bit11 -x1269_bit12 -x1270_bit_7 -x1270_bit_6 -x1270_bit_5 -x1270_bit_4 -x1270_bit_3 -x1270_bit_2 -x1270_bit_1 -x1270_bit0 x1270_bit1 x1270_bit2 -x1270_bit3 -x1270_bit4 -x1270_bit5 -x1270_bit6 -x1270_bit7 -x1270_bit8 -x1270_bit9 -x1270_bit10 -x1270_bit11 -x1270_bit12 -x1271_bit_7 -x1271_bit_6 -x1271_bit_5 -x1271_bit_4 -x1271_bit_3 -x1271_bit_2 -x1271_bit_1 -x1271_bit0 -x1271_bit1 -x1271_bit2 -x1271_bit3 x1271_bit4 -x1271_bit5 -x1271_bit6 -x1271_bit7 -x1271_bit8 -x1271_bit9 -x1271_bit10 -x1271_bit11 -x1271_bit12 -x1272_bit_7 -x1272_bit_6 -x1272_bit_5 -x1272_bit_4 -x1272_bit_3 -x1272_bit_2 -x1272_bit_1 -x1272_bit0 x1272_bit1 x1272_bit2 x1272_bit3 x1272_bit4 -x1272_bit5 x1272_bit6 -x1272_bit7 -x1272_bit8 -x1272_bit9 -x1272_bit10 -x1272_bit11 -x1272_bit12 -x1273_bit_7 -x1273_bit_6 -x1273_bit_5 -x1273_bit_4 -x1273_bit_3 -x1273_bit_2 -x1273_bit_1 -x1273_bit0 -x1273_bit1 -x1273_bit2 -x1273_bit3 -x1273_bit4 -x1273_bit5 -x1273_bit6 -x1273_bit7 -x1273_bit8 -x1273_bit9 -x1273_bit10 -x1273_bit11 -x1273_bit12 -x1256_bit_7 -x1256_bit_6 -x1256_bit_5 -x1256_bit_4 -x1256_bit_3 -x1256_bit_2 -x1256_bit_1 -x1256_bit0 x1256_bit1 -x1256_bit2 -x1256_bit3 -x1256_bit4 -x1256_bit5 x1256_bit6 -x1256_bit7 -x1256_bit8 -x1256_bit9 -x1256_bit10 -x1256_bit11 -x1256_bit12 -x1274_bit_7 -x1274_bit_6 -x1274_bit_5 -x1274_bit_4 -x1274_bit_3 -x1274_bit_2 -x1274_bit_1 x1274_bit0 x1274_bit1 -x1274_bit2 x1274_bit3 x1274_bit4 x1274_bit5 x1274_bit6 -x1274_bit7 -x1274_bit8 x1274_bit9 -x1274_bit10 -x1274_bit11 -x1274_bit12 -x1275_bit_7 -x1275_bit_6 -x1275_bit_5 -x1275_bit_4 -x1275_bit_3 -x1275_bit_2 -x1275_bit_1 -x1275_bit0 -x1275_bit1 x1275_bit2 -x1275_bit3 -x1275_bit4 -x1275_bit5 -x1275_bit6 -x1275_bit7 -x1275_bit8 -x1275_bit9 -x1275_bit10 -x1275_bit11 -x1275_bit12 -x1276_bit_7 -x1276_bit_6 -x1276_bit_5 -x1276_bit_4 -x1276_bit_3 -x1276_bit_2 -x1276_bit_1 -x1276_bit0 -x1276_bit1 x1276_bit2 -x1276_bit3 -x1276_bit4 -x1276_bit5 -x1276_bit6 -x1276_bit7 -x1276_bit8 -x1276_bit9 -x1276_bit10 -x1276_bit11 -x1276_bit12 -x1277_bit_7 -x1277_bit_6 -x1277_bit_5 -x1277_bit_4 -x1277_bit_3 -x1277_bit_2 -x1277_bit_1 -x1277_bit0 -x1277_bit1 -x1277_bit2 x1277_bit3 -x1277_bit4 x1277_bit5 x1277_bit6 -x1277_bit7 -x1277_bit8 -x1277_bit9 -x1277_bit10 -x1277_bit11 -x1277_bit12 -x1278_bit_7 -x1278_bit_6 -x1278_bit_5 -x1278_bit_4 -x1278_bit_3 -x1278_bit_2 -x1278_bit_1 -x1278_bit0 x1278_bit1 x1278_bit2 -x1278_bit3 -x1278_bit4 -x1278_bit5 -x1278_bit6 -x1278_bit7 -x1278_bit8 -x1278_bit9 -x1278_bit10 -x1278_bit11 -x1278_bit12 -x1279_bit_7 -x1279_bit_6 -x1279_bit_5 -x1279_bit_4 -x1279_bit_3 -x1279_bit_2 -x1279_bit_1 -x1279_bit0 x1279_bit1 x1279_bit2 x1279_bit3 x1279_bit4 x1279_bit5 x1279_bit6 -x1279_bit7 -x1279_bit8 -x1279_bit9 -x1279_bit10 -x1279_bit11 -x1279_bit12 -x1280_bit_7 -x1280_bit_6 -x1280_bit_5 -x1280_bit_4 -x1280_bit_3 -x1280_bit_2 -x1280_bit_1 -x1280_bit0 -x1280_bit1 -x1280_bit2 -x1280_bit3 -x1280_bit4 -x1280_bit5 -x1280_bit6 -x1280_bit7 -x1280_bit8 -x1280_bit9 -x1280_bit10 -x1280_bit11 -x1280_bit12 -x1281_bit_7 -x1281_bit_6 -x1281_bit_5 -x1281_bit_4 -x1281_bit_3 -x1281_bit_2 -x1281_bit_1 -x1281_bit0 -x1281_bit1 x1281_bit2 -x1281_bit3 x1281_bit4 -x1281_bit5 -x1281_bit6 -x1281_bit7 -x1281_bit8 -x1281_bit9 -x1281_bit10 -x1281_bit11 -x1281_bit12 -x1282_bit_7 -x1282_bit_6 -x1282_bit_5 -x1282_bit_4 -x1282_bit_3 -x1282_bit_2 -x1282_bit_1 x1282_bit0 -x1282_bit1 -x1282_bit2 -x1282_bit3 -x1282_bit4 -x1282_bit5 -x1282_bit6 -x1282_bit7 -x1282_bit8 -x1282_bit9 -x1282_bit10 -x1282_bit11 -x1282_bit12 -x1283_bit_7 -x1283_bit_6 -x1283_bit_5 -x1283_bit_4 -x1283_bit_3 -x1283_bit_2 -x1283_bit_1 -x1283_bit0 x1283_bit1 x1283_bit2 x1283_bit3 -x1283_bit4 -x1283_bit5 -x1283_bit6 -x1283_bit7 -x1283_bit8 -x1283_bit9 -x1283_bit10 -x1283_bit11 -x1283_bit12 -x1257_bit_7 -x1257_bit_6 -x1257_bit_5 -x1257_bit_4 -x1257_bit_3 -x1257_bit_2 -x1257_bit_1 x1257_bit0 x1257_bit1 x1257_bit2 x1257_bit3 x1257_bit4 -x1257_bit5 -x1257_bit6 -x1257_bit7 -x1257_bit8 -x1257_bit9 -x1257_bit10 -x1257_bit11 -x1257_bit12 -x1284_bit_7 -x1284_bit_6 -x1284_bit_5 -x1284_bit_4 -x1284_bit_3 -x1284_bit_2 -x1284_bit_1 -x1284_bit0 x1284_bit1 -x1284_bit2 -x1284_bit3 -x1284_bit4 -x1284_bit5 -x1284_bit6 -x1284_bit7 -x1284_bit8 -x1284_bit9 -x1284_bit10 -x1284_bit11 -x1284_bit12 -x1285_bit_7 -x1285_bit_6 -x1285_bit_5 -x1285_bit_4 -x1285_bit_3 -x1285_bit_2 -x1285_bit_1 -x1285_bit0 -x1285_bit1 x1285_bit2 -x1285_bit3 -x1285_bit4 -x1285_bit5 -x1285_bit6 x1285_bit7 -x1285_bit8 -x1285_bit9 -x1285_bit10 -x1285_bit11 -x1285_bit12 -x1286_bit_7 -x1286_bit_6 -x1286_bit_5 -x1286_bit_4 -x1286_bit_3 -x1286_bit_2 -x1286_bit_1 x1286_bit0 x1286_bit1 x1286_bit2 x1286_bit3 x1286_bit4 x1286_bit5 x1286_bit6 x1286_bit7 -x1286_bit8 -x1286_bit9 -x1286_bit10 -x1286_bit11 -x1286_bit12 -x1287_bit_7 -x1287_bit_6 -x1287_bit_5 -x1287_bit_4 -x1287_bit_3 -x1287_bit_2 -x1287_bit_1 -x1287_bit0 x1287_bit1 -x1287_bit2 x1287_bit3 -x1287_bit4 -x1287_bit5 -x1287_bit6 -x1287_bit7 -x1287_bit8 -x1287_bit9 -x1287_bit10 -x1287_bit11 -x1287_bit12 -x1288_bit_7 -x1288_bit_6 -x1288_bit_5 -x1288_bit_4 -x1288_bit_3 -x1288_bit_2 -x1288_bit_1 -x1288_bit0 x1288_bit1 x1288_bit2 -x1288_bit3 -x1288_bit4 -x1288_bit5 -x1288_bit6 -x1288_bit7 -x1288_bit8 -x1288_bit9 -x1288_bit10 -x1288_bit11 -x1288_bit12 -x1289_bit_7 -x1289_bit_6 -x1289_bit_5 -x1289_bit_4 -x1289_bit_3 -x1289_bit_2 -x1289_bit_1 -x1289_bit0 x1289_bit1 -x1289_bit2 -x1289_bit3 x1289_bit4 -x1289_bit5 x1289_bit6 -x1289_bit7 -x1289_bit8 -x1289_bit9 -x1289_bit10 -x1289_bit11 -x1289_bit12 -x1290_bit_7 -x1290_bit_6 -x1290_bit_5 -x1290_bit_4 -x1290_bit_3 -x1290_bit_2 -x1290_bit_1 -x1290_bit0 x1290_bit1 -x1290_bit2 -x1290_bit3 -x1290_bit4 x1290_bit5 x1290_bit6 -x1290_bit7 -x1290_bit8 -x1290_bit9 -x1290_bit10 -x1290_bit11 -x1290_bit12 -x1291_bit_7 -x1291_bit_6 -x1291_bit_5 -x1291_bit_4 -x1291_bit_3 -x1291_bit_2 -x1291_bit_1 -x1291_bit0 -x1291_bit1 x1291_bit2 -x1291_bit3 -x1291_bit4 x1291_bit5 -x1291_bit6 -x1291_bit7 -x1291_bit8 -x1291_bit9 -x1291_bit10 -x1291_bit11 -x1291_bit12 -x1292_bit_7 -x1292_bit_6 -x1292_bit_5 -x1292_bit_4 -x1292_bit_3 -x1292_bit_2 -x1292_bit_1 x1292_bit0 x1292_bit1 x1292_bit2 -x1292_bit3 -x1292_bit4 -x1292_bit5 -x1292_bit6 -x1292_bit7 -x1292_bit8 -x1292_bit9 -x1292_bit10 -x1292_bit11 -x1292_bit12 -x1293_bit_7 -x1293_bit_6 -x1293_bit_5 -x1293_bit_4 -x1293_bit_3 -x1293_bit_2 -x1293_bit_1 -x1293_bit0 -x1293_bit1 -x1293_bit2 -x1293_bit3 -x1293_bit4 x1293_bit5 -x1293_bit6 -x1293_bit7 -x1293_bit8 -x1293_bit9 -x1293_bit10 -x1293_bit11 -x1293_bit12 -x1258_bit_7 -x1258_bit_6 -x1258_bit_5 -x1258_bit_4 -x1258_bit_3 -x1258_bit_2 -x1258_bit_1 -x1258_bit0 x1258_bit1 -x1258_bit2 -x1258_bit3 -x1258_bit4 -x1258_bit5 -x1258_bit6 -x1258_bit7 -x1258_bit8 -x1258_bit9 -x1258_bit10 -x1258_bit11 -x1258_bit12 -x1294_bit_7 -x1294_bit_6 -x1294_bit_5 -x1294_bit_4 -x1294_bit_3 -x1294_bit_2 -x1294_bit_1 -x1294_bit0 x1294_bit1 -x1294_bit2 -x1294_bit3 x1294_bit4 -x1294_bit5 -x1294_bit6 -x1294_bit7 -x1294_bit8 -x1294_bit9 -x1294_bit10 -x1294_bit11 -x1294_bit12 -x1295_bit_7 -x1295_bit_6 -x1295_bit_5 -x1295_bit_4 -x1295_bit_3 -x1295_bit_2 -x1295_bit_1 -x1295_bit0 x1295_bit1 -x1295_bit2 -x1295_bit3 -x1295_bit4 -x1295_bit5 -x1295_bit6 -x1295_bit7 -x1295_bit8 -x1295_bit9 -x1295_bit10 -x1295_bit11 -x1295_bit12 -x1296_bit_7 -x1296_bit_6 -x1296_bit_5 -x1296_bit_4 -x1296_bit_3 -x1296_bit_2 -x1296_bit_1 -x1296_bit0 -x1296_bit1 x1296_bit2 -x1296_bit3 x1296_bit4 -x1296_bit5 -x1296_bit6 -x1296_bit7 -x1296_bit8 -x1296_bit9 -x1296_bit10 -x1296_bit11 -x1296_bit12 -x1297_bit_7 -x1297_bit_6 -x1297_bit_5 -x1297_bit_4 -x1297_bit_3 -x1297_bit_2 -x1297_bit_1 x1297_bit0 x1297_bit1 -x1297_bit2 x1297_bit3 x1297_bit4 -x1297_bit5 -x1297_bit6 -x1297_bit7 -x1297_bit8 -x1297_bit9 -x1297_bit10 -x1297_bit11 -x1297_bit12 -x1298_bit_7 -x1298_bit_6 -x1298_bit_5 -x1298_bit_4 -x1298_bit_3 -x1298_bit_2 -x1298_bit_1 -x1298_bit0 -x1298_bit1 x1298_bit2 -x1298_bit3 x1298_bit4 -x1298_bit5 -x1298_bit6 -x1298_bit7 -x1298_bit8 -x1298_bit9 -x1298_bit10 -x1298_bit11 -x1298_bit12 -x1259_bit_7 -x1259_bit_6 -x1259_bit_5 -x1259_bit_4 -x1259_bit_3 -x1259_bit_2 -x1259_bit_1 x1259_bit0 -x1259_bit1 x1259_bit2 x1259_bit3 -x1259_bit4 -x1259_bit5 -x1259_bit6 x1259_bit7 -x1259_bit8 -x1259_bit9 -x1259_bit10 -x1259_bit11 -x1259_bit12 -x1260_bit_7 -x1260_bit_6 -x1260_bit_5 -x1260_bit_4 -x1260_bit_3 -x1260_bit_2 -x1260_bit_1 x1260_bit0 x1260_bit1 -x1260_bit2 x1260_bit3 -x1260_bit4 -x1260_bit5 -x1260_bit6 -x1260_bit7 -x1260_bit8 -x1260_bit9 -x1260_bit10 -x1260_bit11 -x1260_bit12 -x1261_bit_7 -x1261_bit_6 -x1261_bit_5 -x1261_bit_4 -x1261_bit_3 -x1261_bit_2 -x1261_bit_1 -x1261_bit0 -x1261_bit1 x1261_bit2 x1261_bit3 x1261_bit4 -x1261_bit5 -x1261_bit6 -x1261_bit7 -x1261_bit8 -x1261_bit9 -x1261_bit10 -x1261_bit11 -x1261_bit12 -x1262_bit_7 -x1262_bit_6 -x1262_bit_5 -x1262_bit_4 -x1262_bit_3 -x1262_bit_2 -x1262_bit_1 x1262_bit0 x1262_bit1 x1262_bit2 -x1262_bit3 -x1262_bit4 -x1262_bit5 -x1262_bit6 -x1262_bit7 -x1262_bit8 -x1262_bit9 -x1262_bit10 -x1262_bit11 -x1262_bit12 -x1263_bit_7 -x1263_bit_6 -x1263_bit_5 -x1263_bit_4 -x1263_bit_3 -x1263_bit_2 -x1263_bit_1 -x1263_bit0 -x1263_bit1 -x1263_bit2 x1263_bit3 x1263_bit4 x1263_bit5 -x1263_bit6 x1263_bit7 -x1263_bit8 -x1263_bit9 -x1263_bit10 -x1263_bit11 -x1263_bit12 
c objectif function=185433598
c Total CPU time (ms) : 1229.436
#### 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 3769
Raw data (stat): 3769 (runsolver) R 3768 23310 23309 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 839141850 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.0002 s]
Raw data (loadavg): 1.03 1.00 1.00 4/64 3780
Raw data (stat): 3769 (java) R 3768 23310 23309 0 -1 0 18135 3 1 0 666 38 0 0 25 0 11 0 839141850 866025472 21827 4294967295 134512640 134569956 3221224368 3221214752 1131220384 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211432 21827 13086 16 0 211416 0
vsize: 845728
[startup+20.0015 s]
Raw data (loadavg): 1.25 1.05 1.02 2/64 3780
Raw data (stat): 3769 (java) R 3768 23310 23309 0 -1 0 18167 3 1 0 1510 39 0 0 24 0 11 0 839141850 868368384 22991 4294967295 134512640 134569956 3221224368 3221214552 1131270969 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212004 22991 13086 16 0 211988 0
vsize: 848016
[startup+30.0017 s]
Raw data (loadavg): 1.21 1.05 1.01 2/64 3780
Raw data (stat): 3769 (java) R 3768 23310 23309 0 -1 0 18167 3 1 0 2442 39 0 0 25 0 11 0 839141850 866631680 22730 4294967295 134512640 134569956 3221224368 3221214520 1131271866 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211580 22730 13086 16 0 211564 0
vsize: 846320
[startup+40.0024 s]
Raw data (loadavg): 1.18 1.05 1.01 2/64 3780
Raw data (stat): 3769 (java) R 3768 23310 23309 0 -1 0 18168 3 1 0 3372 39 0 0 25 0 11 0 839141850 866631680 22743 4294967295 134512640 134569956 3221224368 3221214432 1131210393 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211580 22743 13086 16 0 211564 0
vsize: 846320
[startup+50.0035 s]
Raw data (loadavg): 1.15 1.04 1.01 2/64 3780
Raw data (stat): 3769 (java) R 3768 23310 23309 0 -1 0 18168 3 1 0 4330 40 0 0 25 0 11 0 839141850 866631680 23235 4294967295 134512640 134569956 3221224368 3221214520 1131270906 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211580 23235 13086 16 0 211564 0
vsize: 846320
[startup+60.0028 s]
Raw data (loadavg): 1.21 1.06 1.02 4/64 3780
Raw data (stat): 3769 (java) R 3768 23310 23309 0 -1 0 18169 3 1 0 5297 40 0 0 25 0 11 0 839141850 868728832 23869 4294967295 134512640 134569956 3221224368 3221213304 1073952732 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212092 23869 13086 16 0 212076 0
vsize: 848368
[startup+70.0056 s]
Raw data (loadavg): 1.18 1.06 1.02 2/64 3780
Raw data (stat): 3769 (java) R 3768 23310 23309 0 -1 0 18169 3 1 0 6282 40 0 0 25 0 11 0 839141850 868728832 23834 4294967295 134512640 134569956 3221224368 3221214424 1131619834 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212092 23834 13086 16 0 212076 0
vsize: 848368
[startup+80.0137 s]
Raw data (loadavg): 1.15 1.05 1.02 2/64 3780
Raw data (stat): 3769 (java) R 3768 23310 23309 0 -1 0 18169 3 1 0 7266 41 0 0 25 0 11 0 839141850 868728832 23867 4294967295 134512640 134569956 3221224368 3221214520 1131271600 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212092 23867 13086 16 0 212076 0
vsize: 848368
[startup+90.014 s]
Raw data (loadavg): 1.12 1.05 1.01 2/64 3780
Raw data (stat): 3769 (java) R 3768 23310 23309 0 -1 0 18169 3 1 0 8250 41 0 0 25 0 11 0 839141850 868728832 23923 4294967295 134512640 134569956 3221224368 3221214424 1131620598 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212092 23923 13086 16 0 212076 0
vsize: 848368
[startup+100.014 s]
Raw data (loadavg): 1.10 1.05 1.01 2/64 3780
Raw data (stat): 3769 (java) R 3768 23310 23309 0 -1 0 18169 3 1 0 9239 41 0 0 25 0 11 0 839141850 868728832 23924 4294967295 134512640 134569956 3221224368 3221214496 1131436534 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212092 23924 13086 16 0 212076 0
vsize: 848368
[startup+110.014 s]
Raw data (loadavg): 1.09 1.05 1.01 2/64 3780
Raw data (stat): 3769 (java) R 3768 23310 23309 0 -1 0 18169 3 1 0 10227 41 0 0 25 0 11 0 839141850 868728832 23963 4294967295 134512640 134569956 3221224368 3221214520 1131271926 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212092 23963 13086 16 0 212076 0
vsize: 848368
[startup+120.014 s]
Raw data (loadavg): 1.07 1.05 1.01 2/64 3780
Raw data (stat): 3769 (java) R 3768 23310 23309 0 -1 0 18169 3 1 0 11217 41 0 0 25 0 11 0 839141850 868728832 23998 4294967295 134512640 134569956 3221224368 3221214416 1131244300 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212092 23998 13086 16 0 212076 0
vsize: 848368
[startup+130.014 s]
Raw data (loadavg): 1.06 1.04 1.01 2/64 3780
Raw data (stat): 3769 (java) R 3768 23310 23309 0 -1 0 18169 3 1 0 12210 41 0 0 25 0 11 0 839141850 868728832 23999 4294967295 134512640 134569956 3221224368 3221214424 1131620463 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212092 23999 13086 16 0 212076 0
vsize: 848368
[startup+140.015 s]
Raw data (loadavg): 1.05 1.04 1.01 2/64 3780
Raw data (stat): 3769 (java) R 3768 23310 23309 0 -1 0 18169 3 1 0 13202 41 0 0 25 0 11 0 839141850 868728832 24005 4294967295 134512640 134569956 3221224368 3221214624 1131593068 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212092 24005 13086 16 0 212076 0
vsize: 848368
[startup+150.015 s]
Raw data (loadavg): 1.04 1.04 1.01 2/64 3780
Raw data (stat): 3769 (java) R 3768 23310 23309 0 -1 0 18169 3 1 0 14189 41 0 0 25 0 11 0 839141850 868728832 24039 4294967295 134512640 134569956 3221224368 3221214584 1131658915 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212092 24039 13086 16 0 212076 0
vsize: 848368
[startup+160.015 s]
Raw data (loadavg): 1.04 1.04 1.01 2/64 3780
Raw data (stat): 3769 (java) R 3768 23310 23309 0 -1 0 18169 3 1 0 15179 41 0 0 25 0 11 0 839141850 868728832 24042 4294967295 134512640 134569956 3221224368 3221214592 1131480423 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212092 24042 13086 16 0 212076 0
vsize: 848368
[startup+170.015 s]
Raw data (loadavg): 1.03 1.04 1.01 2/64 3780
Raw data (stat): 3769 (java) R 3768 23310 23309 0 -1 0 18169 3 1 0 16170 41 0 0 25 0 11 0 839141850 868728832 24046 4294967295 134512640 134569956 3221224368 3221214512 1131244300 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212092 24046 13086 16 0 212076 0
vsize: 848368
[startup+180.015 s]
Raw data (loadavg): 1.03 1.03 1.01 2/64 3780
Raw data (stat): 3769 (java) R 3768 23310 23309 0 -1 0 18169 3 1 0 17160 41 0 0 25 0 11 0 839141850 868728832 24079 4294967295 134512640 134569956 3221224368 3221214624 1131591847 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212092 24079 13086 16 0 212076 0
vsize: 848368
[startup+190.016 s]
Raw data (loadavg): 1.02 1.03 1.00 2/64 3780
Raw data (stat): 3769 (java) R 3768 23310 23309 0 -1 0 18169 3 1 0 18147 41 0 0 25 0 11 0 839141850 868728832 24105 4294967295 134512640 134569956 3221224368 3221214520 1131270885 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212092 24105 13086 16 0 212076 0
vsize: 848368
[startup+200.019 s]
Raw data (loadavg): 1.02 1.03 1.00 2/64 3780
Raw data (stat): 3769 (java) R 3768 23310 23309 0 -1 0 18169 3 1 0 19135 41 0 0 25 0 11 0 839141850 868728832 24112 4294967295 134512640 134569956 3221224368 3221214624 1131593928 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212092 24112 13086 16 0 212076 0
vsize: 848368
[startup+210.019 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 3780
Raw data (stat): 3769 (java) R 3768 23310 23309 0 -1 0 18169 3 1 0 20123 41 0 0 25 0 11 0 839141850 868728832 24139 4294967295 134512640 134569956 3221224368 3221214820 1131200243 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212092 24139 13086 16 0 212076 0
vsize: 848368
[startup+220.02 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 3780
Raw data (stat): 3769 (java) R 3768 23310 23309 0 -1 0 18169 3 1 0 21109 41 0 0 25 0 11 0 839141850 868728832 24149 4294967295 134512640 134569956 3221224368 3221214432 1131210804 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212092 24149 13086 16 0 212076 0
vsize: 848368
[startup+230.02 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 3781
Raw data (stat): 3769 (java) R 3768 23310 23309 0 -1 0 18169 3 1 0 22092 41 0 0 25 0 11 0 839141850 868728832 24176 4294967295 134512640 134569956 3221224368 3221214624 1131593061 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212092 24176 13086 16 0 212076 0
vsize: 848368
[startup+240.021 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 3781
Raw data (stat): 3769 (java) R 3768 23310 23309 0 -1 0 18169 3 1 0 23077 41 0 0 25 0 11 0 839141850 868728832 24202 4294967295 134512640 134569956 3221224368 3221214624 1131591917 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212092 24202 13086 16 0 212076 0
vsize: 848368
[startup+250.021 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 3781
Raw data (stat): 3769 (java) R 3768 23310 23309 0 -1 0 18169 3 1 0 24064 41 0 0 25 0 11 0 839141850 868728832 24229 4294967295 134512640 134569956 3221224368 3221214520 1131270962 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212092 24229 13086 16 0 212076 0
vsize: 848368
[startup+260.022 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 3781
Raw data (stat): 3769 (java) R 3768 23310 23309 0 -1 0 18169 3 1 0 25056 41 0 0 25 0 11 0 839141850 868728832 24259 4294967295 134512640 134569956 3221224368 3221214524 1131245350 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212092 24259 13086 16 0 212076 0
vsize: 848368
[startup+270.022 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 3781
Raw data (stat): 3769 (java) R 3768 23310 23309 0 -1 0 18169 3 1 0 26048 41 0 0 25 0 11 0 839141850 868728832 24261 4294967295 134512640 134569956 3221224368 3221214504 1131291629 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212092 24261 13086 16 0 212076 0
vsize: 848368
[startup+280.022 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 3781
Raw data (stat): 3769 (java) R 3768 23310 23309 0 -1 0 18169 3 1 0 27040 42 0 0 25 0 11 0 839141850 868728832 24271 4294967295 134512640 134569956 3221224368 3221214528 1131439158 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212092 24271 13086 16 0 212076 0
vsize: 848368
[startup+290.023 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 3781
Raw data (stat): 3769 (java) R 3768 23310 23309 0 -1 0 18169 3 1 0 28031 42 0 0 25 0 11 0 839141850 868728832 24273 4294967295 134512640 134569956 3221224368 3221214524 1131291552 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212092 24273 13086 16 0 212076 0
vsize: 848368
[startup+300.023 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 3781
Raw data (stat): 3769 (java) R 3768 23310 23309 0 -1 0 18169 3 1 0 29021 42 0 0 25 0 11 0 839141850 868728832 24276 4294967295 134512640 134569956 3221224368 3221214432 1131244777 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212092 24276 13086 16 0 212076 0
vsize: 848368
[startup+310.023 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 3781
Raw data (stat): 3769 (java) R 3768 23310 23309 0 -1 0 18169 3 1 0 30010 42 0 0 25 0 11 0 839141850 868728832 24276 4294967295 134512640 134569956 3221224368 3221214432 1131244461 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212092 24276 13086 16 0 212076 0
vsize: 848368
[startup+320.024 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 3781
Raw data (stat): 3769 (java) R 3768 23310 23309 0 -1 0 18169 3 1 0 30999 42 0 0 25 0 11 0 839141850 868728832 24308 4294967295 134512640 134569956 3221224368 3221214432 1131244300 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212092 24308 13086 16 0 212076 0
vsize: 848368
[startup+330.024 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 3781
Raw data (stat): 3769 (java) R 3768 23310 23309 0 -1 0 18169 3 1 0 31989 43 0 0 25 0 11 0 839141850 868728832 24308 4294967295 134512640 134569956 3221224368 3221214432 1131244461 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212092 24308 13086 16 0 212076 0
vsize: 848368
[startup+340.025 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 3781
Raw data (stat): 3769 (java) R 3768 23310 23309 0 -1 0 18169 3 1 0 32977 43 0 0 25 0 11 0 839141850 868728832 24342 4294967295 134512640 134569956 3221224368 3221214528 1131439194 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212092 24342 13086 16 0 212076 0
vsize: 848368
[startup+350.025 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 3781
Raw data (stat): 3769 (java) R 3768 23310 23309 0 -1 0 18169 3 1 0 33967 43 0 0 25 0 11 0 839141850 868728832 24342 4294967295 134512640 134569956 3221224368 3221214416 1131244418 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212092 24342 13086 16 0 212076 0
vsize: 848368
[startup+360.025 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 3781
Raw data (stat): 3769 (java) R 3768 23310 23309 0 -1 0 18169 3 1 0 34956 43 0 0 25 0 11 0 839141850 868728832 24384 4294967295 134512640 134569956 3221224368 3221214424 1131619645 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212092 24384 13086 16 0 212076 0
vsize: 848368
[startup+370.025 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 3781
Raw data (stat): 3769 (java) R 3768 23310 23309 0 -1 0 18169 3 1 0 35945 44 0 0 25 0 11 0 839141850 868728832 24384 4294967295 134512640 134569956 3221224368 3221214476 1130885154 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212092 24384 13086 16 0 212076 0
vsize: 848368
[startup+380.026 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 3781
Raw data (stat): 3769 (java) R 3768 23310 23309 0 -1 0 18169 3 1 0 36935 44 0 0 25 0 11 0 839141850 868728832 24413 4294967295 134512640 134569956 3221224368 3221214424 1131619642 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212092 24413 13086 16 0 212076 0
vsize: 848368
[startup+390.027 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 3781
Raw data (stat): 3769 (java) R 3768 23310 23309 0 -1 0 18169 3 1 0 37923 44 0 0 25 0 11 0 839141850 868728832 24413 4294967295 134512640 134569956 3221224368 3221214432 1131244583 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212092 24413 13086 16 0 212076 0
vsize: 848368
[startup+400.028 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 3781
Raw data (stat): 3769 (java) R 3768 23310 23309 0 -1 0 18169 3 1 0 38911 44 0 0 25 0 11 0 839141850 868728832 24451 4294967295 134512640 134569956 3221224368 3221214624 1131591879 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212092 24451 13086 16 0 212076 0
vsize: 848368
[startup+410.028 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 3782
Raw data (stat): 3769 (java) R 3768 23310 23309 0 -1 0 18169 3 1 0 39896 45 0 0 25 0 11 0 839141850 868728832 24480 4294967295 134512640 134569956 3221224368 3221214520 1131271355 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212092 24480 13086 16 0 212076 0
vsize: 848368
[startup+420.029 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 3783
Raw data (stat): 3769 (java) R 3768 23310 23309 0 -1 0 18169 3 1 0 40876 46 0 0 25 0 11 0 839141850 868728832 24510 4294967295 134512640 134569956 3221224368 3221214624 1131593928 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212092 24510 13086 16 0 212076 0
vsize: 848368
[startup+430.029 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 3783
Raw data (stat): 3769 (java) R 3768 23310 23309 0 -1 0 18169 3 1 0 41858 46 0 0 25 0 11 0 839141850 868728832 24533 4294967295 134512640 134569956 3221224368 3221214624 1131591847 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212092 24533 13086 16 0 212076 0
vsize: 848368
[startup+440.029 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 3784
Raw data (stat): 3769 (java) R 3768 23310 23309 0 -1 0 18169 3 1 0 42839 47 0 0 25 0 11 0 839141850 868728832 24558 4294967295 134512640 134569956 3221224368 3221214624 1131596794 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212092 24558 13086 16 0 212076 0
vsize: 848368
[startup+450.029 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 3784
Raw data (stat): 3769 (java) R 3768 23310 23309 0 -1 0 18169 3 1 0 43821 47 0 0 25 0 11 0 839141850 868728832 24610 4294967295 134512640 134569956 3221224368 3221214520 1131270892 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212092 24610 13086 16 0 212076 0
vsize: 848368
[startup+460.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3784
Raw data (stat): 3769 (java) R 3768 23310 23309 0 -1 0 18169 3 1 0 44807 48 0 0 25 0 11 0 839141850 868728832 24610 4294967295 134512640 134569956 3221224368 3221214520 1131271598 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212092 24610 13086 16 0 212076 0
vsize: 848368
[startup+470.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3784
Raw data (stat): 3769 (java) S 3768 23310 23309 0 -1 0 18169 3 1 0 45792 48 0 0 25 0 11 0 839141850 868728832 24639 4294967295 134512640 134569956 3221224368 3221213264 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212092 24639 13086 16 0 212076 0
vsize: 848368
[startup+480.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3784
Raw data (stat): 3769 (java) R 3768 23310 23309 0 -1 0 18169 3 1 0 46773 48 0 0 25 0 11 0 839141850 868728832 24661 4294967295 134512640 134569956 3221224368 3221214520 1131271313 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212092 24661 13086 16 0 212076 0
vsize: 848368
[startup+490.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3784
Raw data (stat): 3769 (java) R 3768 23310 23309 0 -1 0 18169 3 1 0 47755 49 0 0 25 0 11 0 839141850 868728832 24709 4294967295 134512640 134569956 3221224368 3221214520 1131271485 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212092 24709 13086 16 0 212076 0
vsize: 848368
[startup+500.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3784
Raw data (stat): 3769 (java) R 3768 23310 23309 0 -1 0 18169 3 1 0 48738 49 0 0 25 0 11 0 839141850 868728832 24732 4294967295 134512640 134569956 3221224368 3221214520 1131271924 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212092 24732 13086 16 0 212076 0
vsize: 848368
[startup+510.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3784
Raw data (stat): 3769 (java) R 3768 23310 23309 0 -1 0 18169 3 1 0 49723 50 0 0 25 0 11 0 839141850 868728832 24757 4294967295 134512640 134569956 3221224368 3221214520 1131271485 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212092 24757 13086 16 0 212076 0
vsize: 848368
[startup+520.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3784
Raw data (stat): 3769 (java) R 3768 23310 23309 0 -1 0 18169 3 1 0 50708 50 0 0 25 0 11 0 839141850 868728832 24783 4294967295 134512640 134569956 3221224368 3221214520 1131271598 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212092 24783 13086 16 0 212076 0
vsize: 848368
[startup+530.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3784
Raw data (stat): 3769 (java) R 3768 23310 23309 0 -1 0 18169 3 1 0 51694 51 0 0 25 0 11 0 839141850 868728832 24808 4294967295 134512640 134569956 3221224368 3221214520 1131270962 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212092 24808 13086 16 0 212076 0
vsize: 848368
[startup+540.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3784
Raw data (stat): 3769 (java) R 3768 23310 23309 0 -1 0 18169 3 1 0 52680 51 0 0 25 0 11 0 839141850 868728832 24833 4294967295 134512640 134569956 3221224368 3221214592 1131307408 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212092 24833 13086 16 0 212076 0
vsize: 848368
[startup+550.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3784
Raw data (stat): 3769 (java) R 3768 23310 23309 0 -1 0 18169 3 1 0 53666 51 0 0 25 0 11 0 839141850 868728832 24859 4294967295 134512640 134569956 3221224368 3221214520 1131272155 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212092 24859 13086 16 0 212076 0
vsize: 848368
[startup+560.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3784
Raw data (stat): 3769 (java) R 3768 23310 23309 0 -1 0 18169 3 1 0 54654 52 0 0 25 0 11 0 839141850 868728832 24859 4294967295 134512640 134569956 3221224368 3221214520 1131244300 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212092 24859 13086 16 0 212076 0
vsize: 848368
[startup+570.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3784
Raw data (stat): 3769 (java) R 3768 23310 23309 0 -1 0 18169 3 1 0 55642 53 0 0 25 0 11 0 839141850 868728832 24885 4294967295 134512640 134569956 3221224368 3221214520 1131271489 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212092 24885 13086 16 0 212076 0
vsize: 848368
[startup+580.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3784
Raw data (stat): 3769 (java) R 3768 23310 23309 0 -1 0 18169 3 1 0 56627 53 0 0 25 0 11 0 839141850 868728832 24914 4294967295 134512640 134569956 3221224368 3221214520 1131271423 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212092 24914 13086 16 0 212076 0
vsize: 848368
[startup+590.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3784
Raw data (stat): 3769 (java) S 3768 23310 23309 0 -1 0 18169 3 1 0 57609 53 0 0 25 0 11 0 839141850 868728832 24914 4294967295 134512640 134569956 3221224368 3221213224 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212092 24914 13086 16 0 212076 0
vsize: 848368
[startup+600.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3784
Raw data (stat): 3769 (java) R 3768 23310 23309 0 -1 0 18169 3 1 0 58592 54 0 0 25 0 11 0 839141850 868728832 24949 4294967295 134512640 134569956 3221224368 3221214520 1131271313 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212092 24949 13086 16 0 212076 0
vsize: 848368
[startup+610.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3784
Raw data (stat): 3769 (java) R 3768 23310 23309 0 -1 0 18169 3 1 0 59576 54 0 0 25 0 11 0 839141850 868728832 24983 4294967295 134512640 134569956 3221224368 3221214504 1131245056 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212092 24983 13086 16 0 212076 0
vsize: 848368
[startup+620.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3784
Raw data (stat): 3769 (java) R 3768 23310 23309 0 -1 0 18169 3 1 0 60564 54 0 0 25 0 11 0 839141850 868728832 25021 4294967295 134512640 134569956 3221224368 3221214520 1131271359 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212092 25021 13086 16 0 212076 0
vsize: 848368
[startup+630.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3784
Raw data (stat): 3769 (java) R 3768 23310 23309 0 -1 0 18169 3 1 0 61549 55 0 0 25 0 11 0 839141850 868728832 25030 4294967295 134512640 134569956 3221224368 3221214520 1131271274 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212092 25030 13086 16 0 212076 0
vsize: 848368
[startup+640.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3784
Raw data (stat): 3769 (java) R 3768 23310 23309 0 -1 0 18169 3 1 0 62537 55 0 0 25 0 11 0 839141850 868728832 25084 4294967295 134512640 134569956 3221224368 3221214512 1131619026 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212092 25084 13086 16 0 212076 0
vsize: 848368
[startup+650.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3784
Raw data (stat): 3769 (java) R 3768 23310 23309 0 -1 0 18169 3 1 0 63532 56 0 0 25 0 11 0 839141850 868728832 25085 4294967295 134512640 134569956 3221224368 3221214600 1131480462 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212092 25085 13086 16 0 212076 0
vsize: 848368
[startup+660.15 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3784
Raw data (stat): 3769 (java) R 3768 23310 23309 0 -1 0 18169 3 1 0 64537 57 0 0 25 0 11 0 839141850 868728832 25088 4294967295 134512640 134569956 3221224368 3221214512 1131619633 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212092 25088 13086 16 0 212076 0
vsize: 848368
[startup+670.151 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3784
Raw data (stat): 3769 (java) R 3768 23310 23309 0 -1 0 18169 3 1 0 65534 57 0 0 25 0 11 0 839141850 868728832 25090 4294967295 134512640 134569956 3221224368 3221214504 1131244461 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212092 25090 13086 16 0 212076 0
vsize: 848368
[startup+680.152 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3784
Raw data (stat): 3769 (java) R 3768 23310 23309 0 -1 0 18169 3 1 0 66530 58 0 0 25 0 11 0 839141850 868728832 25097 4294967295 134512640 134569956 3221224368 3221214512 1131619645 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212092 25097 13086 16 0 212076 0
vsize: 848368
[startup+690.153 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3784
Raw data (stat): 3769 (java) R 3768 23310 23309 0 -1 0 18169 3 1 0 67527 58 0 0 25 0 11 0 839141850 868728832 25098 4294967295 134512640 134569956 3221224368 3221214512 1131619656 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212092 25098 13086 16 0 212076 0
vsize: 848368
[startup+700.162 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3784
Raw data (stat): 3769 (java) R 3768 23310 23309 0 -1 0 18169 3 1 0 68521 59 0 0 25 0 11 0 839141850 868728832 25100 4294967295 134512640 134569956 3221224368 3221214504 1131244200 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212092 25100 13086 16 0 212076 0
vsize: 848368
[startup+710.167 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3784
Raw data (stat): 3769 (java) R 3768 23310 23309 0 -1 0 18169 3 1 0 69510 59 0 0 25 0 11 0 839141850 868728832 25102 4294967295 134512640 134569956 3221224368 3221214504 1131244418 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212092 25102 13086 16 0 212076 0
vsize: 848368
[startup+720.175 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3784
Raw data (stat): 3769 (java) R 3768 23310 23309 0 -1 0 18169 3 1 0 70500 59 0 0 25 0 11 0 839141850 868728832 25104 4294967295 134512640 134569956 3221224368 3221214672 1131200299 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212092 25104 13086 16 0 212076 0
vsize: 848368
[startup+730.175 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3784
Raw data (stat): 3769 (java) R 3768 23310 23309 0 -1 0 18169 3 1 0 71483 60 0 0 25 0 11 0 839141850 868728832 25105 4294967295 134512640 134569956 3221224368 3221214432 1131210360 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212092 25105 13086 16 0 212076 0
vsize: 848368
[startup+740.176 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3784
Raw data (stat): 3769 (java) R 3768 23310 23309 0 -1 0 18169 3 1 0 72466 60 0 0 25 0 11 0 839141850 868728832 25178 4294967295 134512640 134569956 3221224368 3221214520 1131271552 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212092 25178 13086 16 0 212076 0
vsize: 848368
[startup+750.177 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3784
Raw data (stat): 3769 (java) R 3768 23310 23309 0 -1 0 18169 3 1 0 73450 60 0 0 25 0 11 0 839141850 868728832 25181 4294967295 134512640 134569956 3221224368 3221214520 1131271355 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212092 25181 13086 16 0 212076 0
vsize: 848368
[startup+760.178 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3784
Raw data (stat): 3769 (java) R 3768 23310 23309 0 -1 0 18169 3 1 0 74433 61 0 0 25 0 11 0 839141850 868728832 25211 4294967295 134512640 134569956 3221224368 3221214624 1131591847 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212092 25211 13086 16 0 212076 0
vsize: 848368
[startup+770.179 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3784
Raw data (stat): 3769 (java) R 3768 23310 23309 0 -1 0 18169 3 1 0 75416 61 0 0 25 0 11 0 839141850 868728832 25238 4294967295 134512640 134569956 3221224368 3221214520 1131271313 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212092 25238 13086 16 0 212076 0
vsize: 848368
[startup+780.179 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3784
Raw data (stat): 3769 (java) R 3768 23310 23309 0 -1 0 18169 3 1 0 76405 61 0 0 25 0 11 0 839141850 868728832 25262 4294967295 134512640 134569956 3221224368 3221214584 1131436587 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212092 25262 13086 16 0 212076 0
vsize: 848368
[startup+790.181 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3784
Raw data (stat): 3769 (java) R 3768 23310 23309 0 -1 0 18169 3 1 0 77395 62 0 0 25 0 11 0 839141850 868728832 25262 4294967295 134512640 134569956 3221224368 3221214600 1131480587 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212092 25262 13086 16 0 212076 0
vsize: 848368
[startup+800.181 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3784
Raw data (stat): 3769 (java) R 3768 23310 23309 0 -1 0 18169 3 1 0 78385 62 0 0 24 0 11 0 839141850 868728832 25288 4294967295 134512640 134569956 3221224368 3221214376 1078032391 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212092 25288 13086 16 0 212076 0
vsize: 848368
[startup+810.181 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3784
Raw data (stat): 3769 (java) R 3768 23310 23309 0 -1 0 18169 3 1 0 79374 63 0 0 25 0 11 0 839141850 868728832 25291 4294967295 134512640 134569956 3221224368 3221214600 1131480423 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212092 25291 13086 16 0 212076 0
vsize: 848368
[startup+820.182 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3784
Raw data (stat): 3769 (java) R 3768 23310 23309 0 -1 0 18169 3 1 0 80365 63 0 0 25 0 11 0 839141850 868728832 25296 4294967295 134512640 134569956 3221224368 3221214512 1131620713 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212092 25296 13086 16 0 212076 0
vsize: 848368
[startup+830.182 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3784
Raw data (stat): 3769 (java) R 3768 23310 23309 0 -1 0 18169 3 1 0 81354 63 0 0 25 0 11 0 839141850 868728832 25297 4294967295 134512640 134569956 3221224368 3221214520 1131244563 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212092 25297 13086 16 0 212076 0
vsize: 848368
[startup+840.183 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3784
Raw data (stat): 3769 (java) R 3768 23310 23309 0 -1 0 18169 3 1 0 82338 64 0 0 25 0 11 0 839141850 868728832 25327 4294967295 134512640 134569956 3221224368 3221214696 1131362257 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212092 25327 13086 16 0 212076 0
vsize: 848368
[startup+850.184 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3784
Raw data (stat): 3769 (java) R 3768 23310 23309 0 -1 0 18169 3 1 0 83321 64 0 0 24 0 11 0 839141850 868728832 25355 4294967295 134512640 134569956 3221224368 3221214624 1131591847 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212092 25355 13086 16 0 212076 0
vsize: 848368
[startup+860.184 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3784
Raw data (stat): 3769 (java) R 3768 23310 23309 0 -1 0 18169 3 1 0 84305 64 0 0 25 0 11 0 839141850 868728832 25360 4294967295 134512640 134569956 3221224368 3221214520 1131271021 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212092 25360 13086 16 0 212076 0
vsize: 848368
[startup+870.184 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3784
Raw data (stat): 3769 (java) R 3768 23310 23309 0 -1 0 18169 3 1 0 85289 65 0 0 25 0 11 0 839141850 868728832 25388 4294967295 134512640 134569956 3221224368 3221214520 1131271428 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212092 25388 13086 16 0 212076 0
vsize: 848368
[startup+880.185 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3784
Raw data (stat): 3769 (java) R 3768 23310 23309 0 -1 0 18169 3 1 0 86274 65 0 0 25 0 11 0 839141850 868728832 25413 4294967295 134512640 134569956 3221224368 3221214624 1131596805 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212092 25413 13086 16 0 212076 0
vsize: 848368
[startup+890.186 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3784
Raw data (stat): 3769 (java) R 3768 23310 23309 0 -1 0 18169 3 1 0 87259 65 0 0 25 0 11 0 839141850 868728832 25415 4294967295 134512640 134569956 3221224368 3221214584 1131436590 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212092 25415 13086 16 0 212076 0
vsize: 848368
[startup+900.186 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3784
Raw data (stat): 3769 (java) R 3768 23310 23309 0 -1 0 18169 3 1 0 88248 66 0 0 25 0 11 0 839141850 868728832 25441 4294967295 134512640 134569956 3221224368 3221214520 1131271832 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212092 25441 13086 16 0 212076 0
vsize: 848368
[startup+910.186 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3784
Raw data (stat): 3769 (java) R 3768 23310 23309 0 -1 0 18169 3 1 0 89234 66 0 0 25 0 11 0 839141850 868728832 25466 4294967295 134512640 134569956 3221224368 3221214696 1131361989 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212092 25466 13086 16 0 212076 0
vsize: 848368
[startup+920.187 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3784
Raw data (stat): 3769 (java) R 3768 23310 23309 0 -1 0 18169 3 1 0 90219 66 0 0 25 0 11 0 839141850 868728832 25466 4294967295 134512640 134569956 3221224368 3221214432 1131210405 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212092 25466 13086 16 0 212076 0
vsize: 848368
[startup+930.187 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3784
Raw data (stat): 3769 (java) R 3768 23310 23309 0 -1 0 18169 3 1 0 91206 66 0 0 25 0 11 0 839141850 868728832 25496 4294967295 134512640 134569956 3221224368 3221214600 1131480423 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212092 25496 13086 16 0 212076 0
vsize: 848368
[startup+940.188 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3784
Raw data (stat): 3769 (java) R 3768 23310 23309 0 -1 0 18169 3 1 0 92193 67 0 0 24 0 11 0 839141850 868728832 25497 4294967295 134512640 134569956 3221224368 3221214624 1131591948 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212092 25497 13086 16 0 212076 0
vsize: 848368
[startup+950.188 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3784
Raw data (stat): 3769 (java) R 3768 23310 23309 0 -1 0 18169 3 1 0 93182 67 0 0 25 0 11 0 839141850 868728832 25523 4294967295 134512640 134569956 3221224368 3221214504 1131244300 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212092 25523 13086 16 0 212076 0
vsize: 848368
[startup+960.188 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3784
Raw data (stat): 3769 (java) R 3768 23310 23309 0 -1 0 18169 3 1 0 94170 67 0 0 25 0 11 0 839141850 868728832 25524 4294967295 134512640 134569956 3221224368 3221214592 1131307386 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212092 25524 13086 16 0 212076 0
vsize: 848368
[startup+970.188 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3784
Raw data (stat): 3769 (java) R 3768 23310 23309 0 -1 0 18169 3 1 0 95161 67 0 0 25 0 11 0 839141850 868728832 25524 4294967295 134512640 134569956 3221224368 3221214512 1131619649 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212092 25524 13086 16 0 212076 0
vsize: 848368
[startup+980.188 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3784
Raw data (stat): 3769 (java) R 3768 23310 23309 0 -1 0 18169 3 1 0 96152 67 0 0 25 0 11 0 839141850 868728832 25554 4294967295 134512640 134569956 3221224368 3221214600 1131480568 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212092 25554 13086 16 0 212076 0
vsize: 848368
[startup+990.189 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3784
Raw data (stat): 3769 (java) R 3768 23310 23309 0 -1 0 18169 3 1 0 97147 68 0 0 25 0 11 0 839141850 868728832 25571 4294967295 134512640 134569956 3221224368 3221214504 1131244418 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212092 25571 13086 16 0 212076 0
vsize: 848368
[startup+1000.19 s]
Raw data (loadavg): 1.07 1.02 1.00 2/64 3784
Raw data (stat): 3769 (java) R 3768 23310 23309 0 -1 0 18169 3 1 0 98136 68 0 0 24 0 11 0 839141850 868728832 25571 4294967295 134512640 134569956 3221224368 3221214504 1131244300 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212092 25571 13086 16 0 212076 0
vsize: 848368
[startup+1010.19 s]
Raw data (loadavg): 1.06 1.02 1.00 2/64 3784
Raw data (stat): 3769 (java) R 3768 23310 23309 0 -1 0 18169 3 1 0 99123 68 0 0 25 0 11 0 839141850 868728832 25571 4294967295 134512640 134569956 3221224368 3221214512 1131619642 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212092 25571 13086 16 0 212076 0
vsize: 848368
[startup+1020.19 s]
Raw data (loadavg): 1.05 1.01 1.00 2/64 3784
Raw data (stat): 3769 (java) R 3768 23310 23309 0 -1 0 18169 3 1 0 100110 69 0 0 25 0 11 0 839141850 868728832 25571 4294967295 134512640 134569956 3221224368 3221214520 1131244250 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212092 25571 13086 16 0 212076 0
vsize: 848368
[startup+1030.19 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 3784
Raw data (stat): 3769 (java) R 3768 23310 23309 0 -1 0 18169 3 1 0 101097 70 0 0 25 0 11 0 839141850 868728832 25571 4294967295 134512640 134569956 3221224368 3221214584 1131436528 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212092 25571 13086 16 0 212076 0
vsize: 848368
[startup+1040.19 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 3784
Raw data (stat): 3769 (java) R 3768 23310 23309 0 -1 0 18169 3 1 0 102080 71 0 0 25 0 11 0 839141850 868728832 25637 4294967295 134512640 134569956 3221224368 3221214520 1131271851 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212092 25637 13086 16 0 212076 0
vsize: 848368
[startup+1050.19 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 3784
Raw data (stat): 3769 (java) R 3768 23310 23309 0 -1 0 18169 3 1 0 103067 71 0 0 25 0 11 0 839141850 868728832 25637 4294967295 134512640 134569956 3221224368 3221214600 1131480599 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212092 25637 13086 16 0 212076 0
vsize: 848368
[startup+1060.19 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 3784
Raw data (stat): 3769 (java) R 3768 23310 23309 0 -1 0 18169 3 1 0 104051 72 0 0 24 0 11 0 839141850 868728832 25637 4294967295 134512640 134569956 3221224368 3221214624 1131596736 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212092 25637 13086 16 0 212076 0
vsize: 848368
[startup+1070.19 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 3784
Raw data (stat): 3769 (java) R 3768 23310 23309 0 -1 0 18169 3 1 0 105037 72 0 0 24 0 11 0 839141850 868728832 25692 4294967295 134512640 134569956 3221224368 3221214624 1131592018 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212092 25692 13086 16 0 212076 0
vsize: 848368
[startup+1080.19 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 3784
Raw data (stat): 3769 (java) R 3768 23310 23309 0 -1 0 18169 3 1 0 106023 72 0 0 25 0 11 0 839141850 868728832 25694 4294967295 134512640 134569956 3221224368 3221214520 1131271417 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212092 25694 13086 16 0 212076 0
vsize: 848368
[startup+1090.2 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 3784
Raw data (stat): 3769 (java) R 3768 23310 23309 0 -1 0 18169 3 1 0 107007 73 0 0 24 0 11 0 839141850 868728832 25727 4294967295 134512640 134569956 3221224368 3221214624 1131596778 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212092 25727 13086 16 0 212076 0
vsize: 848368
[startup+1100.2 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 3784
Raw data (stat): 3769 (java) R 3768 23310 23309 0 -1 0 18169 3 1 0 107998 74 0 0 25 0 11 0 839141850 868728832 25729 4294967295 134512640 134569956 3221224368 3221214520 1131271665 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212092 25729 13086 16 0 212076 0
vsize: 848368
[startup+1110.2 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 3784
Raw data (stat): 3769 (java) R 3768 23310 23309 0 -1 0 18169 3 1 0 108983 74 0 0 25 0 11 0 839141850 868728832 25753 4294967295 134512640 134569956 3221224368 3221214520 1131270892 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212092 25753 13086 16 0 212076 0
vsize: 848368
[startup+1120.2 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 3784
Raw data (stat): 3769 (java) R 3768 23310 23309 0 -1 0 18169 3 1 0 109970 75 0 0 25 0 11 0 839141850 868728832 25753 4294967295 134512640 134569956 3221224368 3221214520 1131271417 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212092 25753 13086 16 0 212076 0
vsize: 848368
[startup+1130.2 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 3784
Raw data (stat): 3769 (java) R 3768 23310 23309 0 -1 0 18169 3 1 0 110957 75 0 0 25 0 11 0 839141850 868728832 25785 4294967295 134512640 134569956 3221224368 3221214520 1131270979 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212092 25785 13086 16 0 212076 0
vsize: 848368
[startup+1140.2 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3784
Raw data (stat): 3769 (java) R 3768 23310 23309 0 -1 0 18169 3 1 0 111947 75 0 0 25 0 11 0 839141850 868728832 25788 4294967295 134512640 134569956 3221224368 3221214520 1131271313 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212092 25788 13086 16 0 212076 0
vsize: 848368
[startup+1150.2 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3784
Raw data (stat): 3769 (java) R 3768 23310 23309 0 -1 0 18169 3 1 0 112934 76 0 0 25 0 11 0 839141850 868728832 25792 4294967295 134512640 134569956 3221224368 3221214600 1131480423 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212092 25792 13086 16 0 212076 0
vsize: 848368
[startup+1160.2 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3784
Raw data (stat): 3769 (java) R 3768 23310 23309 0 -1 0 18169 3 1 0 113920 77 0 0 25 0 11 0 839141850 868728832 25793 4294967295 134512640 134569956 3221224368 3221214520 1131271533 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212092 25793 13086 16 0 212076 0
vsize: 848368
[startup+1170.2 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3784
Raw data (stat): 3769 (java) R 3768 23310 23309 0 -1 0 18169 3 1 0 114907 77 0 0 25 0 11 0 839141850 868728832 25820 4294967295 134512640 134569956 3221224368 3221214520 1131271348 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212092 25820 13086 16 0 212076 0
vsize: 848368
[startup+1180.2 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3784
Raw data (stat): 3769 (java) R 3768 23310 23309 0 -1 0 18169 3 1 0 115894 78 0 0 25 0 11 0 839141850 868728832 25820 4294967295 134512640 134569956 3221224368 3221214520 1131271297 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212092 25820 13086 16 0 212076 0
vsize: 848368
[startup+1190.2 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3784
Raw data (stat): 3769 (java) R 3768 23310 23309 0 -1 0 18169 3 1 0 116885 78 0 0 25 0 11 0 839141850 868728832 25845 4294967295 134512640 134569956 3221224368 3221214520 1131244592 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212092 25845 13086 16 0 212076 0
vsize: 848368
[startup+1200.2 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3784
Raw data (stat): 3769 (java) R 3768 23310 23309 0 -1 0 18169 3 1 0 117872 79 0 0 24 0 11 0 839141850 868728832 25848 4294967295 134512640 134569956 3221224368 3221214520 1131271444 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212092 25848 13086 16 0 212076 0
vsize: 848368
[startup+1210.2 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3784
Raw data (stat): 3769 (java) R 3768 23310 23309 0 -1 0 18169 3 1 0 118860 79 0 0 24 0 11 0 839141850 868728832 25849 4294967295 134512640 134569956 3221224368 3221214520 1131271272 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212092 25849 13086 16 0 212076 0
vsize: 848368
[startup+1220.2 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3784
Raw data (stat): 3769 (java) R 3768 23310 23309 0 -1 0 18169 3 1 0 119845 79 0 0 25 0 11 0 839141850 868728832 25877 4294967295 134512640 134569956 3221224368 3221214520 1131270892 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212092 25877 13086 16 0 212076 0
vsize: 848368
[startup+1230.2 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3784
Raw data (stat): 3769 (java) R 3768 23310 23309 0 -1 0 18169 3 1 0 120832 79 0 0 25 0 11 0 839141850 868728832 25877 4294967295 134512640 134569956 3221224368 3221214520 1131271512 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212092 25877 13086 16 0 212076 0
vsize: 848368
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1230.52 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 3786
Raw data (stat): 3769 (java) Z 3768 23310 23309 0 -1 1036 18169 20642 1 0 120858 84 3901 64 25 0 1 0 839141850 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1230.52
CPU time (s): 1249.1
CPU user time (s): 1247.61
CPU system time (s): 1.49077
CPU usage (%): 101.51
Max. virtual memory (Kb): 848368
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	185433598
#### END VERIFIER DATA ####