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-p2756.opb
MD5SUM	f2badf1ad4c3213045697b74fa812a03
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	4605
Optimality of the best value was proved	NO
Number of terms in the objective function	2166
Biggest coefficient in the objective function	11000
Number of bits for the biggest coefficient in the objective function	14
Sum of the numbers in the objective function	321831
Number of bits of the sum of numbers in the objective function	19
Biggest number in a constraint	11000
Number of bits of the biggest number in a constraint	14
Biggest sum of numbers in a constraint	321831
Number of bits of the biggest sum of numbers	19
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.06284
Number of variables	2756
Total number of constraints	3511
Number of constraints which are clauses	132
Number of constraints which are cardinality constraints (but not clauses)	2976
Number of constraints which are nor clauses,nor cardinality constraints	403
Minimum length of a constraint	1
Maximum length of a constraint	546
Trace number 29602

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc4 THE 2005-05-25 09:28:24 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=21004 boxname=wulflinc4 idbench=992 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  f2badf1ad4c3213045697b74fa812a03  /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-20-10-p2756.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-20-10-p2756.opb
IDLAUNCH: 21004
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
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.169
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:        682464 kB
Buffers:         34424 kB
Cached:         297360 kB
SwapCached:        600 kB
Active:          68952 kB
Inactive:       265248 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        682212 kB
SwapTotal:     2097136 kB
SwapFree:      2096004 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5784 kB
Slab:            12192 kB
Committed_AS:    71796 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 09:49:07 (client local time) WITH STATUS 143 IN 1237.53 SECONDS
stats: 21004 0 1237.53 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/wulflinc4/normalized-mps-v2-20-10-p2756.opb
c reading problem ... done. Time 5.64 ms.
c #vars     2756
c #constraints  749
c SATISFIABLE
c OPTIMIZING...
c CURRENT OPTIMUM=              119780 		Current CPU time: 9.69 ms
c CURRENT OPTIMUM=              119769 		Current CPU time: 11.25 ms
c CURRENT OPTIMUM=              111940 		Current CPU time: 45.27 ms
c CURRENT OPTIMUM=               66622 		Current CPU time: 46.14 ms
c CURRENT OPTIMUM=               64470 		Current CPU time: 66.16 ms
c CURRENT OPTIMUM=               19140 		Current CPU time: 67.16 ms
c CURRENT OPTIMUM=               18771 		Current CPU time: 70.37 ms
c CURRENT OPTIMUM=               18111 		Current CPU time: 950.64 ms
c CURRENT OPTIMUM=               14067 		Current CPU time: 998.98 ms
c starts	: 11
c conflicts	: 198
c decisions	: 42699
c propagations	: 71484
c inspects	: 109848
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 197
c root simplifications	: 22
s SATISFIABLE
v -x1_bit0 -x2_bit0 -x3_bit0 -x4_bit0 -x5_bit0 -x6_bit0 -x9_bit0 -x10_bit0 -x11_bit0 -x14_bit0 -x17_bit0 -x19_bit0 -x20_bit0 -x21_bit0 -x22_bit0 -x23_bit0 -x24_bit0 -x27_bit0 -x29_bit0 -x30_bit0 -x31_bit0 -x32_bit0 -x33_bit0 -x34_bit0 -x35_bit0 -x36_bit0 -x37_bit0 -x38_bit0 -x39_bit0 -x42_bit0 x44_bit0 -x45_bit0 -x46_bit0 -x47_bit0 -x48_bit0 -x49_bit0 -x50_bit0 -x51_bit0 -x54_bit0 -x56_bit0 -x57_bit0 -x58_bit0 -x59_bit0 -x60_bit0 -x61_bit0 -x62_bit0 -x65_bit0 -x66_bit0 -x67_bit0 -x68_bit0 -x70_bit0 -x73_bit0 -x74_bit0 -x75_bit0 -x76_bit0 -x77_bit0 -x78_bit0 -x79_bit0 -x80_bit0 -x83_bit0 -x85_bit0 -x86_bit0 -x87_bit0 -x88_bit0 -x89_bit0 -x90_bit0 -x91_bit0 -x92_bit0 -x93_bit0 -x94_bit0 -x95_bit0 -x98_bit0 -x100_bit0 -x101_bit0 -x102_bit0 -x103_bit0 -x104_bit0 -x105_bit0 -x106_bit0 -x107_bit0 -x110_bit0 -x112_bit0 -x113_bit0 -x114_bit0 -x115_bit0 -x116_bit0 -x117_bit0 -x119_bit0 -x120_bit0 -x121_bit0 -x122_bit0 -x123_bit0 -x124_bit0 x126_bit0 -x127_bit0 -x128_bit0 -x129_bit0 -x131_bit0 -x132_bit0 -x133_bit0 -x134_bit0 -x135_bit0 -x136_bit0 -x137_bit0 -x139_bit0 -x140_bit0 -x141_bit0 -x142_bit0 -x143_bit0 -x144_bit0 -x145_bit0 -x148_bit0 -x149_bit0 -x150_bit0 -x153_bit0 -x156_bit0 -x158_bit0 -x159_bit0 -x160_bit0 -x161_bit0 -x162_bit0 -x163_bit0 -x166_bit0 -x168_bit0 -x169_bit0 -x170_bit0 -x171_bit0 -x172_bit0 x173_bit0 x174_bit0 -x175_bit0 x176_bit0 -x177_bit0 -x178_bit0 x181_bit0 x183_bit0 -x184_bit0 -x185_bit0 -x186_bit0 -x187_bit0 -x188_bit0 -x189_bit0 -x190_bit0 -x193_bit0 -x195_bit0 -x196_bit0 -x197_bit0 -x198_bit0 -x199_bit0 -x200_bit0 -x201_bit0 -x204_bit0 -x205_bit0 -x206_bit0 -x207_bit0 -x209_bit0 -x212_bit0 -x213_bit0 -x214_bit0 -x215_bit0 -x216_bit0 -x217_bit0 -x218_bit0 -x219_bit0 -x222_bit0 -x224_bit0 -x225_bit0 -x226_bit0 -x227_bit0 -x228_bit0 -x229_bit0 -x230_bit0 -x231_bit0 -x232_bit0 -x233_bit0 -x234_bit0 -x237_bit0 -x239_bit0 -x240_bit0 -x241_bit0 -x242_bit0 -x243_bit0 -x244_bit0 -x245_bit0 -x246_bit0 -x249_bit0 -x251_bit0 -x252_bit0 -x253_bit0 -x254_bit0 x255_bit0 -x256_bit0 -x258_bit0 -x259_bit0 -x260_bit0 -x261_bit0 -x262_bit0 -x263_bit0 -x265_bit0 -x266_bit0 -x267_bit0 -x268_bit0 -x270_bit0 -x271_bit0 -x272_bit0 -x273_bit0 -x274_bit0 x275_bit0 -x276_bit0 -x278_bit0 -x279_bit0 -x280_bit0 -x281_bit0 -x283_bit0 -x284_bit0 -x285_bit0 x286_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 -x303_bit0 -x304_bit0 -x305_bit0 -x306_bit0 -x307_bit0 -x308_bit0 -x309_bit0 -x310_bit0 -x313_bit0 -x314_bit0 -x315_bit0 -x316_bit0 -x317_bit0 -x318_bit0 -x319_bit0 -x320_bit0 -x321_bit0 -x322_bit0 -x323_bit0 -x326_bit0 -x327_bit0 -x328_bit0 -x329_bit0 -x330_bit0 -x331_bit0 -x332_bit0 -x333_bit0 -x335_bit0 -x338_bit0 -x339_bit0 -x340_bit0 -x341_bit0 -x343_bit0 -x344_bit0 -x345_bit0 -x347_bit0 -x348_bit0 -x349_bit0 -x351_bit0 -x352_bit0 -x353_bit0 -x354_bit0 -x356_bit0 -x357_bit0 -x358_bit0 -x359_bit0 -x360_bit0 -x361_bit0 -x362_bit0 -x363_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 x380_bit0 -x381_bit0 -x382_bit0 x383_bit0 -x384_bit0 -x385_bit0 -x386_bit0 -x387_bit0 -x390_bit0 -x391_bit0 -x392_bit0 -x393_bit0 -x394_bit0 -x395_bit0 -x396_bit0 -x397_bit0 -x398_bit0 -x399_bit0 -x400_bit0 -x403_bit0 -x404_bit0 -x405_bit0 -x406_bit0 -x407_bit0 -x408_bit0 -x409_bit0 -x410_bit0 -x411_bit0 x412_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 -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 -x456_bit0 -x457_bit0 -x458_bit0 -x459_bit0 -x460_bit0 -x461_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 -x479_bit0 -x480_bit0 -x481_bit0 -x482_bit0 -x483_bit0 -x484_bit0 -x485_bit0 -x486_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 -x506_bit0 -x507_bit0 -x508_bit0 -x509_bit0 -x510_bit0 -x511_bit0 -x512_bit0 -x513_bit0 -x514_bit0 -x515_bit0 -x516_bit0 -x517_bit0 -x519_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 x535_bit0 -x536_bit0 -x537_bit0 x538_bit0 -x539_bit0 x540_bit0 x541_bit0 x542_bit0 -x543_bit0 -x544_bit0 -x545_bit0 x546_bit0 x549_bit0 x550_bit0 x551_bit0 x552_bit0 x553_bit0 -x554_bit0 -x555_bit0 -x556_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 -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 -x592_bit0 -x593_bit0 -x594_bit0 -x595_bit0 -x596_bit0 -x597_bit0 -x598_bit0 -x599_bit0 -x600_bit0 -x601_bit0 -x602_bit0 x603_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 -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 -x650_bit0 x651_bit0 -x652_bit0 -x653_bit0 x656_bit0 x657_bit0 x658_bit0 x659_bit0 x660_bit0 -x661_bit0 -x662_bit0 -x663_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 -x683_bit0 -x684_bit0 -x685_bit0 -x686_bit0 -x687_bit0 -x688_bit0 -x689_bit0 -x690_bit0 -x691_bit0 -x692_bit0 -x693_bit0 -x694_bit0 -x696_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 x712_bit0 -x713_bit0 x714_bit0 x715_bit0 -x716_bit0 -x717_bit0 -x718_bit0 -x719_bit0 -x720_bit0 -x721_bit0 -x722_bit0 -x723_bit0 -x726_bit0 -x727_bit0 -x728_bit0 -x729_bit0 -x730_bit0 -x731_bit0 -x732_bit0 -x733_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 -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 -x769_bit0 -x770_bit0 -x771_bit0 -x772_bit0 -x773_bit0 -x774_bit0 -x775_bit0 -x776_bit0 -x777_bit0 -x778_bit0 -x779_bit0 -x780_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 -x796_bit0 -x797_bit0 -x798_bit0 -x799_bit0 -x800_bit0 -x812_bit0 -x813_bit0 -x814_bit0 -x815_bit0 -x816_bit0 -x817_bit0 -x818_bit0 -x821_bit0 -x822_bit0 -x823_bit0 -x824_bit0 -x825_bit0 -x829_bit0 -x833_bit0 -x837_bit0 -x838_bit0 -x839_bit0 -x840_bit0 -x841_bit0 -x842_bit0 -x843_bit0 -x846_bit0 -x847_bit0 -x848_bit0 -x849_bit0 -x850_bit0 -x851_bit0 -x854_bit0 -x856_bit0 -x860_bit0 -x864_bit0 -x865_bit0 -x867_bit0 -x870_bit0 -x871_bit0 -x872_bit0 -x873_bit0 -x875_bit0 -x876_bit0 -x877_bit0 -x878_bit0 -x879_bit0 x880_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 -x896_bit0 -x897_bit0 -x898_bit0 -x899_bit0 -x900_bit0 -x904_bit0 -x908_bit0 -x912_bit0 -x913_bit0 -x914_bit0 -x915_bit0 -x916_bit0 -x917_bit0 -x918_bit0 -x921_bit0 -x922_bit0 -x923_bit0 -x924_bit0 -x925_bit0 -x926_bit0 -x929_bit0 -x933_bit0 -x937_bit0 -x938_bit0 -x939_bit0 -x940_bit0 -x941_bit0 -x942_bit0 -x943_bit0 -x946_bit0 -x947_bit0 -x948_bit0 -x949_bit0 -x950_bit0 -x951_bit0 -x952_bit0 -x954_bit0 -x955_bit0 -x956_bit0 -x959_bit0 -x960_bit0 -x961_bit0 -x962_bit0 -x964_bit0 -x965_bit0 x967_bit0 -x970_bit0 -x971_bit0 -x972_bit0 -x973_bit0 -x974_bit0 -x975_bit0 -x976_bit0 x977_bit0 -x978_bit0 -x979_bit0 -x980_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 -x1000_bit0 -x1001_bit0 -x1002_bit0 -x1003_bit0 -x1004_bit0 -x1005_bit0 -x1008_bit0 -x1011_bit0 -x1012_bit0 -x1013_bit0 -x1014_bit0 -x1016_bit0 -x1017_bit0 -x1018_bit0 -x1019_bit0 -x1020_bit0 -x1021_bit0 -x1022_bit0 -x1023_bit0 -x1024_bit0 -x1025_bit0 -x1026_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 x1045_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 -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 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 -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 -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 -x1144_bit0 -x1145_bit0 -x1146_bit0 -x1147_bit0 -x1148_bit0 -x1149_bit0 -x1152_bit0 -x1155_bit0 -x1156_bit0 -x1157_bit0 -x1158_bit0 -x1160_bit0 -x1161_bit0 -x1162_bit0 -x1163_bit0 -x1164_bit0 -x1165_bit0 x1166_bit0 -x1167_bit0 -x1168_bit0 -x1169_bit0 -x1170_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 -x1189_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 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 -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 -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 -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 -x1348_bit0 x1349_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 -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 -x1384_bit0 -x1386_bit0 -x1387_bit0 -x1391_bit0 -x1392_bit0 -x1393_bit0 -x1394_bit0 -x1395_bit0 -x1396_bit0 -x1397_bit0 -x1398_bit0 -x1399_bit0 -x1401_bit0 -x1402_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 -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 -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 -x1455_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 -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 -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 -x1511_bit0 -x1512_bit0 -x1513_bit0 -x1514_bit0 -x1515_bit0 -x1516_bit0 -x1517_bit0 -x1518_bit0 -x1519_bit0 -x1520_bit0 -x1521_bit0 -x1522_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 -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 -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 x1578_bit0 x1579_bit0 -x1580_bit0 -x1581_bit0 -x1582_bit0 -x1583_bit0 -x1584_bit0 -x1585_bit0 -x1586_bit0 -x1587_bit0 -x1588_bit0 x1589_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 -x1609_bit0 -x1610_bit0 -x1611_bit0 -x1612_bit0 -x1613_bit0 -x1614_bit0 -x1615_bit0 -x1616_bit0 -x1617_bit0 -x1618_bit0 -x1619_bit0 -x1620_bit0 -x1623_bit0 -x1624_bit0 -x1625_bit0 -x1626_bit0 -x1627_bit0 -x1628_bit0 -x1631_bit0 -x1634_bit0 -x1635_bit0 -x1636_bit0 -x1637_bit0 -x1639_bit0 -x1640_bit0 -x1641_bit0 -x1642_bit0 -x1643_bit0 -x1644_bit0 -x1647_bit0 -x1648_bit0 x1649_bit0 x1650_bit0 -x1651_bit0 -x1652_bit0 -x1653_bit0 -x1654_bit0 -x1655_bit0 -x1656_bit0 -x1658_bit0 x1659_bit0 -x1660_bit0 -x1663_bit0 -x1664_bit0 -x1665_bit0 -x1666_bit0 -x1667_bit0 -x1668_bit0 -x1669_bit0 -x1670_bit0 -x1671_bit0 -x1672_bit0 -x1673_bit0 -x1675_bit0 -x1678_bit0 -x1679_bit0 -x1680_bit0 -x1683_bit0 -x1684_bit0 -x1685_bit0 -x1686_bit0 -x1687_bit0 -x1688_bit0 -x1690_bit0 -x1692_bit0 -x1694_bit0 -x1695_bit0 -x1696_bit0 -x1699_bit0 -x1700_bit0 -x1701_bit0 -x1702_bit0 -x1703_bit0 -x1704_bit0 -x1705_bit0 -x1708_bit0 -x1709_bit0 -x1710_bit0 -x1711_bit0 -x1712_bit0 -x1713_bit0 -x1714_bit0 -x1716_bit0 -x1719_bit0 -x1720_bit0 -x1721_bit0 -x1722_bit0 -x1723_bit0 -x1724_bit0 -x1725_bit0 -x1726_bit0 -x1727_bit0 -x1728_bit0 -x1729_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 -x1748_bit0 -x1749_bit0 -x1750_bit0 -x1751_bit0 -x1752_bit0 -x1753_bit0 -x1754_bit0 -x1755_bit0 -x1756_bit0 -x1757_bit0 -x1758_bit0 -x1760_bit0 -x1763_bit0 -x1764_bit0 -x1765_bit0 -x1766_bit0 -x1768_bit0 -x1769_bit0 -x1770_bit0 -x1771_bit0 -x1772_bit0 -x1773_bit0 -x1775_bit0 -x1776_bit0 -x1777_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 -x1793_bit0 -x1794_bit0 -x1795_bit0 -x1796_bit0 -x1797_bit0 -x1798_bit0 -x1799_bit0 x1801_bit0 -x1804_bit0 -x1805_bit0 -x1806_bit0 -x1807_bit0 -x1808_bit0 -x1809_bit0 -x1810_bit0 -x1811_bit0 -x1812_bit0 -x1813_bit0 -x1814_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 -x1833_bit0 -x1834_bit0 -x1835_bit0 -x1836_bit0 -x1837_bit0 -x1838_bit0 -x1839_bit0 -x1840_bit0 -x1841_bit0 -x1842_bit0 -x1843_bit0 -x1845_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 -x1864_bit0 -x1865_bit0 -x1866_bit0 -x1867_bit0 -x1868_bit0 -x1869_bit0 -x1870_bit0 -x1871_bit0 -x1872_bit0 -x1873_bit0 -x1874_bit0 -x1875_bit0 -x1878_bit0 -x1879_bit0 -x1880_bit0 -x1881_bit0 -x1882_bit0 -x1883_bit0 -x1884_bit0 -x1885_bit0 -x1886_bit0 -x1889_bit0 -x1890_bit0 -x1891_bit0 -x1892_bit0 -x1893_bit0 -x1894_bit0 -x1895_bit0 -x1896_bit0 -x1897_bit0 -x1898_bit0 -x1899_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 -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 -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 -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 -x1966_bit0 -x1967_bit0 -x1968_bit0 -x1969_bit0 -x1970_bit0 -x1971_bit0 -x1972_bit0 -x1973_bit0 -x1974_bit0 -x1975_bit0 -x1976_bit0 x1977_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 -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 -x2027_bit0 -x2028_bit0 -x2029_bit0 -x2030_bit0 -x2031_bit0 -x2032_bit0 -x2033_bit0 -x2034_bit0 -x2035_bit0 -x2038_bit0 -x2040_bit0 -x2041_bit0 -x2042_bit0 -x2043_bit0 -x2045_bit0 -x2046_bit0 -x2047_bit0 -x2048_bit0 x2049_bit0 -x2050_bit0 -x2051_bit0 -x2053_bit0 -x2054_bit0 x2055_bit0 -x2056_bit0 -x2057_bit0 -x2058_bit0 -x2059_bit0 -x2060_bit0 -x2061_bit0 -x2062_bit0 -x2064_bit0 -x2066_bit0 -x2067_bit0 -x2068_bit0 -x2071_bit0 -x2072_bit0 -x2073_bit0 -x2074_bit0 -x2075_bit0 -x2076_bit0 -x2077_bit0 x2078_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 -x2094_bit0 -x2095_bit0 -x2096_bit0 -x2097_bit0 -x2098_bit0 -x2099_bit0 -x2100_bit0 -x2101_bit0 -x2102_bit0 -x2105_bit0 -x2107_bit0 -x2108_bit0 -x2109_bit0 -x2110_bit0 -x2112_bit0 -x2113_bit0 -x2114_bit0 -x2115_bit0 -x2116_bit0 -x2117_bit0 -x2118_bit0 -x2120_bit0 -x2121_bit0 -x2122_bit0 -x2123_bit0 -x2124_bit0 -x2125_bit0 -x2126_bit0 -x2127_bit0 -x2128_bit0 -x2129_bit0 -x2131_bit0 -x2133_bit0 -x2134_bit0 -x2135_bit0 -x2138_bit0 -x2139_bit0 -x2140_bit0 -x2141_bit0 -x2142_bit0 -x2143_bit0 -x2144_bit0 -x2145_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 -x2161_bit0 -x2162_bit0 -x2163_bit0 -x2164_bit0 x2165_bit0 -x2166_bit0 -x2167_bit0 -x2168_bit0 -x2169_bit0 -x2170_bit0 -x2172_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 -x2187_bit0 -x2188_bit0 x2189_bit0 -x2190_bit0 -x2191_bit0 -x2192_bit0 -x2193_bit0 -x2194_bit0 -x2195_bit0 -x2196_bit0 -x2198_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 -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 -x2228_bit0 -x2229_bit0 -x2230_bit0 -x2231_bit0 -x2232_bit0 -x2233_bit0 -x2234_bit0 -x2235_bit0 -x2236_bit0 -x2237_bit0 -x2239_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 -x2254_bit0 -x2255_bit0 -x2256_bit0 -x2257_bit0 -x2258_bit0 -x2259_bit0 -x2260_bit0 -x2261_bit0 -x2262_bit0 -x2263_bit0 -x2265_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 -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 -x2295_bit0 -x2296_bit0 -x2297_bit0 -x2298_bit0 x2299_bit0 -x2300_bit0 -x2301_bit0 -x2302_bit0 -x2303_bit0 -x2306_bit0 -x2308_bit0 -x2309_bit0 -x2310_bit0 -x2311_bit0 -x2313_bit0 -x2314_bit0 -x2315_bit0 -x2316_bit0 -x2317_bit0 -x2318_bit0 -x2319_bit0 x2321_bit0 -x2322_bit0 x2323_bit0 -x2324_bit0 -x2325_bit0 -x2326_bit0 -x2327_bit0 -x2328_bit0 -x2329_bit0 -x2330_bit0 -x2332_bit0 -x2334_bit0 -x2335_bit0 -x2336_bit0 -x2337_bit0 -x2339_bit0 -x2340_bit0 -x2341_bit0 -x2342_bit0 -x2343_bit0 -x2345_bit0 x2346_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 -x2362_bit0 -x2363_bit0 -x2364_bit0 -x2365_bit0 -x2366_bit0 -x2367_bit0 -x2368_bit0 -x2369_bit0 -x2370_bit0 -x2373_bit0 -x2375_bit0 -x2376_bit0 -x2377_bit0 -x2378_bit0 -x2380_bit0 -x2381_bit0 -x2382_bit0 -x2383_bit0 -x2384_bit0 -x2385_bit0 -x2386_bit0 -x2388_bit0 -x2389_bit0 -x2390_bit0 -x2391_bit0 -x2392_bit0 -x2393_bit0 -x2394_bit0 -x2395_bit0 -x2396_bit0 -x2397_bit0 -x2399_bit0 -x2401_bit0 -x2402_bit0 -x2403_bit0 -x2404_bit0 -x2406_bit0 -x2407_bit0 -x2408_bit0 -x2409_bit0 -x2410_bit0 -x2411_bit0 -x2412_bit0 -x2413_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 -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 -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 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 -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 -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 -x2517_bit0 -x2518_bit0 -x2519_bit0 -x2520_bit0 -x2521_bit0 -x2522_bit0 -x2523_bit0 -x2524_bit0 -x2526_bit0 -x2527_bit0 x2528_bit0 -x2529_bit0 x2530_bit0 -x2531_bit0 -x2532_bit0 -x2534_bit0 -x2535_bit0 x2536_bit0 x2537_bit0 -x2538_bit0 -x2539_bit0 -x2540_bit0 -x2541_bit0 x2542_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 -x7_bit0 x8_bit0 -x12_bit0 -x13_bit0 -x15_bit0 -x16_bit0 -x18_bit0 -x25_bit0 x26_bit0 -x28_bit0 -x40_bit0 x41_bit0 x43_bit0 -x52_bit0 x53_bit0 -x55_bit0 -x63_bit0 x64_bit0 x69_bit0 -x71_bit0 -x72_bit0 -x81_bit0 x82_bit0 -x84_bit0 -x96_bit0 x97_bit0 -x99_bit0 -x108_bit0 x109_bit0 -x111_bit0 -x118_bit0 -x125_bit0 -x130_bit0 -x138_bit0 -x146_bit0 -x147_bit0 -x151_bit0 -x152_bit0 -x154_bit0 -x155_bit0 -x157_bit0 -x164_bit0 x165_bit0 -x167_bit0 -x179_bit0 x180_bit0 x182_bit0 -x191_bit0 x192_bit0 -x194_bit0 -x202_bit0 -x203_bit0 x208_bit0 -x210_bit0 -x211_bit0 -x220_bit0 -x221_bit0 -x223_bit0 -x235_bit0 -x236_bit0 -x238_bit0 -x247_bit0 x248_bit0 -x250_bit0 -x257_bit0 -x264_bit0 x269_bit0 -x277_bit0 -x282_bit0 -x287_bit0 -x288_bit0 -x301_bit0 -x302_bit0 -x311_bit0 x312_bit0 -x324_bit0 -x325_bit0 -x334_bit0 -x336_bit0 -x337_bit0 -x342_bit0 -x346_bit0 -x350_bit0 -x355_bit0 -x364_bit0 -x365_bit0 -x378_bit0 x379_bit0 -x388_bit0 x389_bit0 -x401_bit0 -x402_bit0 -x413_bit0 -x414_bit0 x427_bit0 x455_bit0 -x462_bit0 -x477_bit0 -x478_bit0 -x487_bit0 x488_bit0 -x504_bit0 -x505_bit0 -x518_bit0 -x520_bit0 -x521_bit0 x534_bit0 -x547_bit0 x548_bit0 -x557_bit0 -x558_bit0 -x574_bit0 x575_bit0 -x590_bit0 x591_bit0 -x604_bit0 x632_bit0 x649_bit0 -x654_bit0 -x655_bit0 -x664_bit0 x665_bit0 -x681_bit0 -x682_bit0 -x695_bit0 -x697_bit0 -x698_bit0 x711_bit0 -x724_bit0 x725_bit0 -x734_bit0 -x735_bit0 -x751_bit0 x752_bit0 -x767_bit0 x768_bit0 -x781_bit0 -x794_bit0 x795_bit0 -x801_bit0 -x802_bit0 -x803_bit0 -x804_bit0 -x805_bit0 -x806_bit0 -x807_bit0 -x808_bit0 -x809_bit0 -x810_bit0 -x811_bit0 -x819_bit0 x820_bit0 -x826_bit0 -x827_bit0 -x828_bit0 -x830_bit0 -x831_bit0 -x832_bit0 -x834_bit0 -x835_bit0 -x836_bit0 -x844_bit0 -x845_bit0 -x852_bit0 -x853_bit0 -x855_bit0 -x857_bit0 -x858_bit0 -x859_bit0 -x861_bit0 -x862_bit0 -x863_bit0 -x866_bit0 -x868_bit0 -x869_bit0 -x874_bit0 x881_bit0 -x894_bit0 -x895_bit0 -x901_bit0 -x902_bit0 -x903_bit0 -x905_bit0 -x906_bit0 -x907_bit0 -x909_bit0 -x910_bit0 -x911_bit0 -x919_bit0 -x920_bit0 -x927_bit0 -x928_bit0 -x930_bit0 -x931_bit0 -x932_bit0 -x934_bit0 -x935_bit0 -x936_bit0 -x944_bit0 -x945_bit0 -x953_bit0 -x957_bit0 -x958_bit0 -x963_bit0 -x966_bit0 -x968_bit0 -x969_bit0 x981_bit0 -x998_bit0 -x999_bit0 -x1006_bit0 -x1007_bit0 -x1009_bit0 -x1010_bit0 -x1015_bit0 -x1027_bit0 -x1028_bit0 -x1044_bit0 -x1046_bit0 -x1047_bit0 -x1068_bit0 x1069_bit0 -x1089_bit0 -x1090_bit0 -x1104_bit0 -x1105_bit0 x1125_bit0 -x1142_bit0 -x1143_bit0 -x1150_bit0 -x1151_bit0 -x1153_bit0 -x1154_bit0 -x1159_bit0 -x1171_bit0 x1172_bit0 x1188_bit0 -x1190_bit0 x1191_bit0 -x1212_bit0 x1213_bit0 -x1233_bit0 -x1234_bit0 -x1248_bit0 x1249_bit0 x1269_bit0 -x1347_bit0 -x1350_bit0 x1368_bit0 -x1383_bit0 -x1385_bit0 -x1388_bit0 -x1389_bit0 -x1390_bit0 -x1400_bit0 -x1403_bit0 x1421_bit0 -x1439_bit0 -x1454_bit0 -x1456_bit0 x1474_bit0 -x1492_bit0 x1510_bit0 -x1523_bit0 -x1541_bit0 x1559_bit0 x1577_bit0 -x1590_bit0 x1608_bit0 -x1621_bit0 x1622_bit0 -x1629_bit0 -x1630_bit0 -x1632_bit0 -x1633_bit0 -x1638_bit0 -x1645_bit0 x1646_bit0 -x1657_bit0 -x1661_bit0 -x1662_bit0 -x1674_bit0 -x1676_bit0 -x1677_bit0 -x1681_bit0 -x1682_bit0 -x1689_bit0 -x1691_bit0 -x1693_bit0 -x1697_bit0 -x1698_bit0 -x1706_bit0 -x1707_bit0 -x1715_bit0 -x1717_bit0 -x1718_bit0 -x1730_bit0 x1731_bit0 -x1746_bit0 x1747_bit0 -x1759_bit0 -x1761_bit0 -x1762_bit0 x1767_bit0 -x1774_bit0 -x1778_bit0 -x1791_bit0 -x1792_bit0 -x1800_bit0 -x1802_bit0 -x1803_bit0 -x1815_bit0 x1816_bit0 -x1831_bit0 x1832_bit0 -x1844_bit0 -x1846_bit0 -x1847_bit0 -x1863_bit0 -x1876_bit0 x1877_bit0 -x1887_bit0 -x1888_bit0 -x1900_bit0 x1901_bit0 -x1916_bit0 x1917_bit0 -x1931_bit0 x1932_bit0 -x1948_bit0 -x1964_bit0 -x1965_bit0 -x1978_bit0 -x1979_bit0 -x2002_bit0 x2026_bit0 -x2036_bit0 -x2037_bit0 -x2039_bit0 -x2044_bit0 x2052_bit0 -x2063_bit0 -x2065_bit0 -x2069_bit0 -x2070_bit0 -x2079_bit0 x2093_bit0 -x2103_bit0 -x2104_bit0 -x2106_bit0 -x2111_bit0 -x2119_bit0 -x2130_bit0 -x2132_bit0 -x2136_bit0 -x2137_bit0 x2146_bit0 x2160_bit0 -x2171_bit0 -x2173_bit0 x2186_bit0 -x2197_bit0 x2199_bit0 -x2213_bit0 x2227_bit0 -x2238_bit0 -x2240_bit0 -x2253_bit0 -x2264_bit0 -x2266_bit0 x2280_bit0 x2294_bit0 -x2304_bit0 -x2305_bit0 -x2307_bit0 -x2312_bit0 x2320_bit0 -x2331_bit0 -x2333_bit0 -x2338_bit0 -x2344_bit0 -x2347_bit0 x2361_bit0 -x2371_bit0 -x2372_bit0 -x2374_bit0 -x2379_bit0 -x2387_bit0 -x2398_bit0 -x2400_bit0 -x2405_bit0 x2414_bit0 x2431_bit0 x2447_bit0 x2465_bit0 x2482_bit0 x2498_bit0 x2516_bit0 x2525_bit0 x2533_bit0 -x2543_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 
c objectif function=14067
c Total CPU time (ms) : 1239.516
#### 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.86 0.97 0.99 2/54 32729
Raw data (stat): 32729 (runsolver) D 32728 21152 21151 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 779570487 1052672 99 4294967295 134512640 135381576 3221224400 3221219620 135158418 0 2147483391 7 90112 3225161850 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0005 s]
Raw data (loadavg): 0.88 0.97 0.99 3/64 32739
Raw data (stat): 32729 (java) R 32728 21152 21151 0 -1 0 18064 0 1 0 715 39 0 0 24 0 11 0 779570487 859951104 20673 4294967295 134512640 134569956 3221224368 3221214756 1130917144 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209949 20673 13086 16 0 209933 0
vsize: 839796
[startup+20.0407 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 32741
Raw data (stat): 32729 (java) R 32728 21152 21151 0 -1 0 18111 4 1 0 1621 39 0 0 25 0 11 0 779570487 859951104 21256 4294967295 134512640 134569956 3221224368 3221214432 1131394551 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209949 21256 13086 16 0 209933 0
vsize: 839796
[startup+30.0411 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 32741
Raw data (stat): 32729 (java) R 32728 21152 21151 0 -1 0 18112 4 1 0 2568 39 0 0 25 0 11 0 779570487 859951104 21331 4294967295 134512640 134569956 3221224368 3221214520 1131394902 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209949 21331 13086 16 0 209933 0
vsize: 839796
[startup+40.041 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 32741
Raw data (stat): 32729 (java) R 32728 21152 21151 0 -1 0 18112 4 1 0 3524 40 0 0 25 0 11 0 779570487 859951104 21406 4294967295 134512640 134569956 3221224368 3221214544 1131394275 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209949 21406 13086 16 0 209933 0
vsize: 839796
[startup+50.0409 s]
Raw data (loadavg): 1.02 1.00 1.00 2/64 32743
Raw data (stat): 32729 (java) R 32728 21152 21151 0 -1 0 18112 4 1 0 4460 40 0 0 25 0 11 0 779570487 859951104 21850 4294967295 134512640 134569956 3221224368 3221214640 1131294195 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209949 21850 13086 16 0 209933 0
vsize: 839796
[startup+60.0417 s]
Raw data (loadavg): 1.02 1.00 1.00 2/64 32743
Raw data (stat): 32729 (java) R 32728 21152 21151 0 -1 0 18112 4 1 0 5398 41 0 0 25 0 11 0 779570487 859951104 21990 4294967295 134512640 134569956 3221224368 3221214668 1130885204 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209949 21990 13086 16 0 209933 0
vsize: 839796
[startup+70.0497 s]
Raw data (loadavg): 1.02 1.00 1.00 2/64 32745
Raw data (stat): 32729 (java) S 32728 21152 21151 0 -1 0 18112 4 1 0 6343 41 0 0 25 0 11 0 779570487 859951104 22360 4294967295 134512640 134569956 3221224368 3221213384 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209949 22360 13086 16 0 209933 0
vsize: 839796
[startup+80.0533 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 32746
Raw data (stat): 32729 (java) R 32728 21152 21151 0 -1 0 18112 4 1 0 7271 41 0 0 25 0 11 0 779570487 859951104 22491 4294967295 134512640 134569956 3221224368 3221214560 1131516081 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209949 22491 13086 16 0 209933 0
vsize: 839796
[startup+90.0533 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 32746
Raw data (stat): 32729 (java) R 32728 21152 21151 0 -1 0 18112 4 1 0 8203 41 0 0 25 0 11 0 779570487 859951104 22602 4294967295 134512640 134569956 3221224368 3221214640 1131294542 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209949 22602 13086 16 0 209933 0
vsize: 839796
[startup+100.053 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 32746
Raw data (stat): 32729 (java) R 32728 21152 21151 0 -1 0 18112 4 1 0 9137 42 0 0 25 0 11 0 779570487 859951104 22797 4294967295 134512640 134569956 3221224368 3221214744 1131447442 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209949 22797 13086 16 0 209933 0
vsize: 839796
[startup+110.062 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 32746
Raw data (stat): 32729 (java) R 32728 21152 21151 0 -1 0 18112 4 1 0 10078 42 0 0 25 0 11 0 779570487 859951104 23001 4294967295 134512640 134569956 3221224368 3221214448 1131235967 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209949 23001 13086 16 0 209933 0
vsize: 839796
[startup+120.065 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 32746
Raw data (stat): 32729 (java) R 32728 21152 21151 0 -1 0 18113 4 1 0 11025 42 0 0 25 0 11 0 779570487 859951104 23172 4294967295 134512640 134569956 3221224368 3221214464 1131394551 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209949 23172 13086 16 0 209933 0
vsize: 839796
[startup+130.066 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32746
Raw data (stat): 32729 (java) R 32728 21152 21151 0 -1 0 18113 4 1 0 11985 42 0 0 25 0 11 0 779570487 859951104 23366 4294967295 134512640 134569956 3221224368 3221214440 1131394413 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209949 23366 13086 16 0 209933 0
vsize: 839796
[startup+140.067 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32746
Raw data (stat): 32729 (java) R 32728 21152 21151 0 -1 0 18113 4 1 0 12956 42 0 0 25 0 11 0 779570487 859951104 23534 4294967295 134512640 134569956 3221224368 3221214544 1131520873 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209949 23534 13086 16 0 209933 0
vsize: 839796
[startup+150.068 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32746
Raw data (stat): 32729 (java) R 32728 21152 21151 0 -1 0 18113 4 1 0 13933 42 0 0 25 0 11 0 779570487 859951104 23745 4294967295 134512640 134569956 3221224368 3221214520 1131219737 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209949 23745 13086 16 0 209933 0
vsize: 839796
[startup+160.069 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32746
Raw data (stat): 32729 (java) R 32728 21152 21151 0 -1 0 18113 4 1 0 14921 42 0 0 25 0 11 0 779570487 859951104 23784 4294967295 134512640 134569956 3221224368 3221214544 1131521220 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209949 23784 13086 16 0 209933 0
vsize: 839796
[startup+170.069 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32746
Raw data (stat): 32729 (java) R 32728 21152 21151 0 -1 0 18113 4 1 0 15908 42 0 0 25 0 11 0 779570487 859951104 23784 4294967295 134512640 134569956 3221224368 3221214520 1131219760 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209949 23784 13086 16 0 209933 0
vsize: 839796
[startup+180.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32746
Raw data (stat): 32729 (java) R 32728 21152 21151 0 -1 0 18113 4 1 0 16891 42 0 0 25 0 11 0 779570487 859951104 23784 4294967295 134512640 134569956 3221224368 3221214464 1131394523 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209949 23784 13086 16 0 209933 0
vsize: 839796
[startup+190.071 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32746
Raw data (stat): 32729 (java) R 32728 21152 21151 0 -1 0 18113 4 1 0 17876 42 0 0 25 0 11 0 779570487 859951104 23784 4294967295 134512640 134569956 3221224368 3221214440 1131394332 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209949 23784 13086 16 0 209933 0
vsize: 839796
[startup+200.071 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32746
Raw data (stat): 32729 (java) R 32728 21152 21151 0 -1 0 18113 4 1 0 18852 43 0 0 25 0 11 0 779570487 859951104 23871 4294967295 134512640 134569956 3221224368 3221214448 1131235967 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209949 23871 13086 16 0 209933 0
vsize: 839796
[startup+210.072 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32746
Raw data (stat): 32729 (java) R 32728 21152 21151 0 -1 0 18113 4 1 0 19828 43 0 0 25 0 11 0 779570487 859951104 23878 4294967295 134512640 134569956 3221224368 3221214544 1131520716 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209949 23878 13086 16 0 209933 0
vsize: 839796
[startup+220.073 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32746
Raw data (stat): 32729 (java) R 32728 21152 21151 0 -1 0 18113 4 1 0 20803 43 0 0 25 0 11 0 779570487 859951104 23878 4294967295 134512640 134569956 3221224368 3221214544 1131520716 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209949 23878 13086 16 0 209933 0
vsize: 839796
[startup+230.073 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32746
Raw data (stat): 32729 (java) R 32728 21152 21151 0 -1 0 18113 4 1 0 21784 43 0 0 25 0 11 0 779570487 859951104 23973 4294967295 134512640 134569956 3221224368 3221214440 1131394719 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209949 23973 13086 16 0 209933 0
vsize: 839796
[startup+240.073 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32746
Raw data (stat): 32729 (java) R 32728 21152 21151 0 -1 0 18113 4 1 0 22765 43 0 0 25 0 11 0 779570487 859951104 23973 4294967295 134512640 134569956 3221224368 3221214440 1131394413 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209949 23973 13086 16 0 209933 0
vsize: 839796
[startup+250.074 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32746
Raw data (stat): 32729 (java) R 32728 21152 21151 0 -1 0 18113 4 1 0 23749 43 0 0 25 0 11 0 779570487 859951104 24104 4294967295 134512640 134569956 3221224368 3221214544 1131521088 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209949 24104 13086 16 0 209933 0
vsize: 839796
[startup+260.074 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32746
Raw data (stat): 32729 (java) R 32728 21152 21151 0 -1 0 18113 4 1 0 24745 43 0 0 25 0 11 0 779570487 859951104 24169 4294967295 134512640 134569956 3221224368 3221214440 1131394678 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209949 24169 13086 16 0 209933 0
vsize: 839796
[startup+270.075 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32746
Raw data (stat): 32729 (java) R 32728 21152 21151 0 -1 0 18113 4 1 0 25736 43 0 0 25 0 11 0 779570487 859951104 24169 4294967295 134512640 134569956 3221224368 3221214516 1130885204 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209949 24169 13086 16 0 209933 0
vsize: 839796
[startup+280.076 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32746
Raw data (stat): 32729 (java) R 32728 21152 21151 0 -1 0 18113 4 1 0 26725 43 0 0 25 0 11 0 779570487 859951104 24169 4294967295 134512640 134569956 3221224368 3221214636 1131234087 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209949 24169 13086 16 0 209933 0
vsize: 839796
[startup+290.077 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32746
Raw data (stat): 32729 (java) R 32728 21152 21151 0 -1 0 18113 4 1 0 27704 43 0 0 25 0 11 0 779570487 859951104 24169 4294967295 134512640 134569956 3221224368 3221214448 1131236184 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209949 24169 13086 16 0 209933 0
vsize: 839796
[startup+300.076 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32746
Raw data (stat): 32729 (java) R 32728 21152 21151 0 -1 0 18113 4 1 0 28681 43 0 0 25 0 11 0 779570487 859951104 24169 4294967295 134512640 134569956 3221224368 3221214516 1130885141 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209949 24169 13086 16 0 209933 0
vsize: 839796
[startup+310.18 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32746
Raw data (stat): 32729 (java) R 32728 21152 21151 0 -1 0 18113 4 1 0 29650 43 0 0 25 0 11 0 779570487 859951104 24169 4294967295 134512640 134569956 3221224368 3221214464 1131394521 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209949 24169 13086 16 0 209933 0
vsize: 839796
[startup+320.179 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32746
Raw data (stat): 32729 (java) R 32728 21152 21151 0 -1 0 18113 4 1 0 30617 43 0 0 25 0 11 0 779570487 859951104 24268 4294967295 134512640 134569956 3221224368 3221214560 1131328395 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209949 24268 13086 16 0 209933 0
vsize: 839796
[startup+330.18 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32746
Raw data (stat): 32729 (java) R 32728 21152 21151 0 -1 0 18113 4 1 0 31572 43 0 0 25 0 11 0 779570487 859951104 24358 4294967295 134512640 134569956 3221224368 3221214740 1131235936 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209949 24358 13086 16 0 209933 0
vsize: 839796
[startup+340.18 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32746
Raw data (stat): 32729 (java) R 32728 21152 21151 0 -1 0 18113 4 1 0 32534 43 0 0 25 0 11 0 779570487 859951104 24400 4294967295 134512640 134569956 3221224368 3221214544 1131520722 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209949 24400 13086 16 0 209933 0
vsize: 839796
[startup+350.18 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32746
Raw data (stat): 32729 (java) R 32728 21152 21151 0 -1 0 18113 4 1 0 33495 43 0 0 25 0 11 0 779570487 859951104 24585 4294967295 134512640 134569956 3221224368 3221214440 1131394551 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209949 24585 13086 16 0 209933 0
vsize: 839796
[startup+360.18 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32746
Raw data (stat): 32729 (java) R 32728 21152 21151 0 -1 0 18113 4 1 0 34472 43 0 0 25 0 11 0 779570487 859951104 24645 4294967295 134512640 134569956 3221224368 3221214640 1131294243 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209949 24645 13086 16 0 209933 0
vsize: 839796
[startup+370.181 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32746
Raw data (stat): 32729 (java) R 32728 21152 21151 0 -1 0 18113 4 1 0 35428 43 0 0 24 0 11 0 779570487 859951104 24774 4294967295 134512640 134569956 3221224368 3221214716 1131282048 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209949 24774 13086 16 0 209933 0
vsize: 839796
[startup+380.182 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32746
Raw data (stat): 32729 (java) R 32728 21152 21151 0 -1 0 18113 4 1 0 36398 43 0 0 25 0 11 0 779570487 859951104 24865 4294967295 134512640 134569956 3221224368 3221214544 1131520838 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209949 24865 13086 16 0 209933 0
vsize: 839796
[startup+390.182 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32746
Raw data (stat): 32729 (java) R 32728 21152 21151 0 -1 0 18113 4 1 0 37364 44 0 0 25 0 11 0 779570487 859951104 24909 4294967295 134512640 134569956 3221224368 3221214440 1131394413 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209949 24909 13086 16 0 209933 0
vsize: 839796
[startup+400.183 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32746
Raw data (stat): 32729 (java) R 32728 21152 21151 0 -1 0 18113 4 1 0 38340 44 0 0 25 0 11 0 779570487 859951104 24954 4294967295 134512640 134569956 3221224368 3221214544 1131521312 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209949 24954 13086 16 0 209933 0
vsize: 839796
[startup+410.183 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32746
Raw data (stat): 32729 (java) R 32728 21152 21151 0 -1 0 18113 4 1 0 39307 44 0 0 25 0 11 0 779570487 859951104 25043 4294967295 134512640 134569956 3221224368 3221214464 1131394551 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209949 25043 13086 16 0 209933 0
vsize: 839796
[startup+420.183 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32746
Raw data (stat): 32729 (java) R 32728 21152 21151 0 -1 0 18113 4 1 0 40277 44 0 0 25 0 11 0 779570487 859951104 25182 4294967295 134512640 134569956 3221224368 3221214632 1131235964 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209949 25182 13086 16 0 209933 0
vsize: 839796
[startup+430.184 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32746
Raw data (stat): 32729 (java) R 32728 21152 21151 0 -1 0 18113 4 1 0 41256 44 0 0 25 0 11 0 779570487 859951104 25182 4294967295 134512640 134569956 3221224368 3221214544 1131352122 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209949 25182 13086 16 0 209933 0
vsize: 839796
[startup+440.185 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32746
Raw data (stat): 32729 (java) R 32728 21152 21151 0 -1 0 18113 4 1 0 42227 44 0 0 25 0 11 0 779570487 859951104 25273 4294967295 134512640 134569956 3221224368 3221214440 1131394889 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209949 25273 13086 16 0 209933 0
vsize: 839796
[startup+450.187 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32746
Raw data (stat): 32729 (java) S 32728 21152 21151 0 -1 0 18113 4 1 0 43198 44 0 0 25 0 11 0 779570487 859951104 25313 4294967295 134512640 134569956 3221224368 3221213360 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209949 25313 13086 16 0 209933 0
vsize: 839796
[startup+460.189 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32746
Raw data (stat): 32729 (java) R 32728 21152 21151 0 -1 0 18113 4 1 0 44165 45 0 0 24 0 11 0 779570487 859951104 25359 4294967295 134512640 134569956 3221224368 3221214632 1131235964 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209949 25359 13086 16 0 209933 0
vsize: 839796
[startup+470.189 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32746
Raw data (stat): 32729 (java) R 32728 21152 21151 0 -1 0 18113 4 1 0 45136 45 0 0 24 0 11 0 779570487 859951104 25449 4294967295 134512640 134569956 3221224368 3221214544 1131520783 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209949 25449 13086 16 0 209933 0
vsize: 839796
[startup+480.193 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32746
Raw data (stat): 32729 (java) S 32728 21152 21151 0 -1 0 18113 4 1 0 46106 45 0 0 25 0 11 0 779570487 859951104 25499 4294967295 134512640 134569956 3221224368 3221213144 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209949 25499 13086 16 0 209933 0
vsize: 839796
[startup+490.194 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32746
Raw data (stat): 32729 (java) R 32728 21152 21151 0 -1 0 18113 4 1 0 47081 45 0 0 25 0 11 0 779570487 859951104 25544 4294967295 134512640 134569956 3221224368 3221214640 1131294890 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209949 25544 13086 16 0 209933 0
vsize: 839796
[startup+500.195 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32746
Raw data (stat): 32729 (java) R 32728 21152 21151 0 -1 0 18113 4 1 0 48047 45 0 0 25 0 11 0 779570487 859951104 25629 4294967295 134512640 134569956 3221224368 3221214440 1131394424 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209949 25629 13086 16 0 209933 0
vsize: 839796
[startup+510.195 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32746
Raw data (stat): 32729 (java) R 32728 21152 21151 0 -1 0 18113 4 1 0 49018 45 0 0 25 0 11 0 779570487 859951104 25758 4294967295 134512640 134569956 3221224368 3221214448 1131236696 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209949 25758 13086 16 0 209933 0
vsize: 839796
[startup+520.196 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32746
Raw data (stat): 32729 (java) R 32728 21152 21151 0 -1 0 18113 4 1 0 49998 45 0 0 25 0 11 0 779570487 859951104 25758 4294967295 134512640 134569956 3221224368 3221214536 1131421377 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209949 25758 13086 16 0 209933 0
vsize: 839796
[startup+530.196 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32746
Raw data (stat): 32729 (java) R 32728 21152 21151 0 -1 0 18113 4 1 0 50971 45 0 0 25 0 11 0 779570487 859951104 25844 4294967295 134512640 134569956 3221224368 3221214464 1131394521 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209949 25844 13086 16 0 209933 0
vsize: 839796
[startup+540.197 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32746
Raw data (stat): 32729 (java) R 32728 21152 21151 0 -1 0 18113 4 1 0 51947 45 0 0 25 0 11 0 779570487 859951104 25885 4294967295 134512640 134569956 3221224368 3221214560 1131328411 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209949 25885 13086 16 0 209933 0
vsize: 839796
[startup+550.197 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32746
Raw data (stat): 32729 (java) R 32728 21152 21151 0 -1 0 18113 4 1 0 52924 45 0 0 25 0 11 0 779570487 859951104 25930 4294967295 134512640 134569956 3221224368 3221214464 1131394776 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209949 25930 13086 16 0 209933 0
vsize: 839796
[startup+560.198 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32746
Raw data (stat): 32729 (java) R 32728 21152 21151 0 -1 0 18113 4 1 0 53896 45 0 0 25 0 11 0 779570487 859951104 26016 4294967295 134512640 134569956 3221224368 3221214616 1131394551 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209949 26016 13086 16 0 209933 0
vsize: 839796
[startup+570.199 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32746
Raw data (stat): 32729 (java) R 32728 21152 21151 0 -1 0 18113 4 1 0 54865 45 0 0 25 0 11 0 779570487 859951104 26058 4294967295 134512640 134569956 3221224368 3221214544 1131520705 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209949 26058 13086 16 0 209933 0
vsize: 839796
[startup+580.2 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32746
Raw data (stat): 32729 (java) R 32728 21152 21151 0 -1 0 18113 4 1 0 55835 45 0 0 25 0 11 0 779570487 859951104 26103 4294967295 134512640 134569956 3221224368 3221214640 1131295118 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209949 26103 13086 16 0 209933 0
vsize: 839796
[startup+590.199 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32746
Raw data (stat): 32729 (java) R 32728 21152 21151 0 -1 0 18113 4 1 0 56811 45 0 0 25 0 11 0 779570487 859951104 26189 4294967295 134512640 134569956 3221224368 3221214464 1131394551 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209949 26189 13086 16 0 209933 0
vsize: 839796
[startup+600.199 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32746
Raw data (stat): 32729 (java) R 32728 21152 21151 0 -1 0 18113 4 1 0 57780 45 0 0 25 0 11 0 779570487 859951104 26189 4294967295 134512640 134569956 3221224368 3221214448 1131235967 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209949 26189 13086 16 0 209933 0
vsize: 839796
[startup+610.2 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32746
Raw data (stat): 32729 (java) R 32728 21152 21151 0 -1 0 18113 4 1 0 58754 46 0 0 25 0 11 0 779570487 859951104 26316 4294967295 134512640 134569956 3221224368 3221214640 1131294423 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209949 26316 13086 16 0 209933 0
vsize: 839796
[startup+620.201 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32746
Raw data (stat): 32729 (java) R 32728 21152 21151 0 -1 0 18113 4 1 0 59727 46 0 0 25 0 11 0 779570487 859951104 26356 4294967295 134512640 134569956 3221224368 3221214560 1131515476 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209949 26356 13086 16 0 209933 0
vsize: 839796
[startup+630.201 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32746
Raw data (stat): 32729 (java) R 32728 21152 21151 0 -1 0 18113 4 1 0 60698 46 0 0 24 0 11 0 779570487 859951104 26442 4294967295 134512640 134569956 3221224368 3221214544 1131520722 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209949 26442 13086 16 0 209933 0
vsize: 839796
[startup+640.202 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32746
Raw data (stat): 32729 (java) R 32728 21152 21151 0 -1 0 18113 4 1 0 61675 46 0 0 25 0 11 0 779570487 859951104 26442 4294967295 134512640 134569956 3221224368 3221214544 1131521392 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209949 26442 13086 16 0 209933 0
vsize: 839796
[startup+650.202 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32746
Raw data (stat): 32729 (java) R 32728 21152 21151 0 -1 0 18113 4 1 0 62632 46 0 0 24 0 11 0 779570487 859951104 26527 4294967295 134512640 134569956 3221224368 3221214448 1131235967 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209949 26527 13086 16 0 209933 0
vsize: 839796
[startup+660.202 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32746
Raw data (stat): 32729 (java) R 32728 21152 21151 0 -1 0 18113 4 1 0 63600 46 0 0 25 0 11 0 779570487 859951104 26569 4294967295 134512640 134569956 3221224368 3221214568 1131326837 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209949 26569 13086 16 0 209933 0
vsize: 839796
[startup+670.203 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32746
Raw data (stat): 32729 (java) R 32728 21152 21151 0 -1 0 18113 4 1 0 64567 46 0 0 25 0 11 0 779570487 859951104 26613 4294967295 134512640 134569956 3221224368 3221214392 1131258153 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209949 26613 13086 16 0 209933 0
vsize: 839796
[startup+680.205 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32746
Raw data (stat): 32729 (java) R 32728 21152 21151 0 -1 0 18113 4 1 0 65529 46 0 0 25 0 11 0 779570487 859951104 26754 4294967295 134512640 134569956 3221224368 3221214544 1131520716 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209949 26754 13086 16 0 209933 0
vsize: 839796
[startup+690.205 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32746
Raw data (stat): 32729 (java) R 32728 21152 21151 0 -1 0 18113 4 1 0 66487 46 0 0 25 0 11 0 779570487 859951104 26754 4294967295 134512640 134569956 3221224368 3221214520 1131219760 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209949 26754 13086 16 0 209933 0
vsize: 839796
[startup+700.205 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32746
Raw data (stat): 32729 (java) R 32728 21152 21151 0 -1 0 18113 4 1 0 67456 46 0 0 25 0 11 0 779570487 859951104 26925 4294967295 134512640 134569956 3221224368 3221214560 1131515499 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209949 26925 13086 16 0 209933 0
vsize: 839796
[startup+710.213 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32746
Raw data (stat): 32729 (java) R 32728 21152 21151 0 -1 0 18113 4 1 0 68429 46 0 0 25 0 11 0 779570487 859951104 27024 4294967295 134512640 134569956 3221224368 3221214544 1131520716 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209949 27024 13086 16 0 209933 0
vsize: 839796
[startup+720.213 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32746
Raw data (stat): 32729 (java) R 32728 21152 21151 0 -1 0 18113 4 1 0 69406 47 0 0 25 0 11 0 779570487 859951104 27024 4294967295 134512640 134569956 3221224368 3221214320 1131617493 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209949 27024 13086 16 0 209933 0
vsize: 839796
[startup+730.214 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32746
Raw data (stat): 32729 (java) R 32728 21152 21151 0 -1 0 18113 4 1 0 70381 47 0 0 25 0 11 0 779570487 859951104 27191 4294967295 134512640 134569956 3221224368 3221214544 1131521109 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209949 27191 13086 16 0 209933 0
vsize: 839796
[startup+740.215 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32746
Raw data (stat): 32729 (java) R 32728 21152 21151 0 -1 0 18113 4 1 0 71372 47 0 0 25 0 11 0 779570487 859951104 27306 4294967295 134512640 134569956 3221224368 3221214440 1131394646 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209949 27306 13086 16 0 209933 0
vsize: 839796
[startup+750.214 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32746
Raw data (stat): 32729 (java) R 32728 21152 21151 0 -1 0 18113 4 1 0 72367 47 0 0 25 0 11 0 779570487 859951104 27307 4294967295 134512640 134569956 3221224368 3221214440 1131394726 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209949 27307 13086 16 0 209933 0
vsize: 839796
[startup+760.215 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32746
Raw data (stat): 32729 (java) R 32728 21152 21151 0 -1 0 18113 4 1 0 73364 47 0 0 25 0 11 0 779570487 859951104 27307 4294967295 134512640 134569956 3221224368 3221214464 1131394780 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209949 27307 13086 16 0 209933 0
vsize: 839796
[startup+770.215 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32746
Raw data (stat): 32729 (java) R 32728 21152 21151 0 -1 0 18113 4 1 0 74360 47 0 0 25 0 11 0 779570487 859951104 27344 4294967295 134512640 134569956 3221224368 3221214568 1131326892 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209949 27344 13086 16 0 209933 0
vsize: 839796
[startup+780.216 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32746
Raw data (stat): 32729 (java) R 32728 21152 21151 0 -1 0 18113 4 1 0 75358 47 0 0 25 0 11 0 779570487 859951104 27344 4294967295 134512640 134569956 3221224368 3221214440 1131394413 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209949 27344 13086 16 0 209933 0
vsize: 839796
[startup+790.216 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32746
Raw data (stat): 32729 (java) R 32728 21152 21151 0 -1 0 18113 4 1 0 76355 47 0 0 25 0 11 0 779570487 859951104 27344 4294967295 134512640 134569956 3221224368 3221214544 1131520810 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209949 27344 13086 16 0 209933 0
vsize: 839796
[startup+800.216 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32746
Raw data (stat): 32729 (java) R 32728 21152 21151 0 -1 0 18113 4 1 0 77351 47 0 0 25 0 11 0 779570487 859951104 27344 4294967295 134512640 134569956 3221224368 3221214560 1131515502 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209949 27344 13086 16 0 209933 0
vsize: 839796
[startup+810.216 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32746
Raw data (stat): 32729 (java) R 32728 21152 21151 0 -1 0 18113 4 1 0 78347 47 0 0 25 0 11 0 779570487 859951104 27344 4294967295 134512640 134569956 3221224368 3221214516 1130885157 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209949 27344 13086 16 0 209933 0
vsize: 839796
[startup+820.217 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32746
Raw data (stat): 32729 (java) R 32728 21152 21151 0 -1 0 18113 4 1 0 79343 47 0 0 25 0 11 0 779570487 859951104 27345 4294967295 134512640 134569956 3221224368 3221214440 1131394790 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209949 27345 13086 16 0 209933 0
vsize: 839796
[startup+830.217 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32746
Raw data (stat): 32729 (java) R 32728 21152 21151 0 -1 0 18113 4 1 0 80338 47 0 0 25 0 11 0 779570487 859951104 27345 4294967295 134512640 134569956 3221224368 3221214544 1131521058 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209949 27345 13086 16 0 209933 0
vsize: 839796
[startup+840.217 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32746
Raw data (stat): 32729 (java) R 32728 21152 21151 0 -1 0 18113 4 1 0 81325 47 0 0 25 0 11 0 779570487 859951104 27345 4294967295 134512640 134569956 3221224368 3221214696 1131249346 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209949 27345 13086 16 0 209933 0
vsize: 839796
[startup+850.218 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32746
Raw data (stat): 32729 (java) R 32728 21152 21151 0 -1 0 18113 4 1 0 82301 47 0 0 25 0 11 0 779570487 859951104 27345 4294967295 134512640 134569956 3221224368 3221214464 1131394667 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209949 27345 13086 16 0 209933 0
vsize: 839796
[startup+860.219 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32746
Raw data (stat): 32729 (java) R 32728 21152 21151 0 -1 0 18113 4 1 0 83275 47 0 0 25 0 11 0 779570487 859951104 27345 4294967295 134512640 134569956 3221224368 3221214544 1131352713 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209949 27345 13086 16 0 209933 0
vsize: 839796
[startup+870.22 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32746
Raw data (stat): 32729 (java) R 32728 21152 21151 0 -1 0 18113 4 1 0 84248 47 0 0 25 0 11 0 779570487 859951104 27345 4294967295 134512640 134569956 3221224368 3221214564 1131352041 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209949 27345 13086 16 0 209933 0
vsize: 839796
[startup+880.221 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32746
Raw data (stat): 32729 (java) R 32728 21152 21151 0 -1 0 18113 4 1 0 85216 47 0 0 25 0 11 0 779570487 859951104 27345 4294967295 134512640 134569956 3221224368 3221214448 1131236634 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209949 27345 13086 16 0 209933 0
vsize: 839796
[startup+890.221 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32746
Raw data (stat): 32729 (java) R 32728 21152 21151 0 -1 0 18113 4 1 0 86182 47 0 0 25 0 11 0 779570487 859951104 27590 4294967295 134512640 134569956 3221224368 3221214544 1131520974 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209949 27590 13086 16 0 209933 0
vsize: 839796
[startup+900.221 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32746
Raw data (stat): 32729 (java) R 32728 21152 21151 0 -1 0 18113 4 1 0 87160 47 0 0 24 0 11 0 779570487 859951104 27642 4294967295 134512640 134569956 3221224368 3221214640 1131294671 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209949 27642 13086 16 0 209933 0
vsize: 839796
[startup+910.225 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32746
Raw data (stat): 32729 (java) S 32728 21152 21151 0 -1 0 18113 4 1 0 88132 47 0 0 25 0 11 0 779570487 859951104 27642 4294967295 134512640 134569956 3221224368 3221213208 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209949 27642 13086 16 0 209933 0
vsize: 839796
[startup+920.226 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32746
Raw data (stat): 32729 (java) R 32728 21152 21151 0 -1 0 18113 4 1 0 89105 47 0 0 25 0 11 0 779570487 859951104 27704 4294967295 134512640 134569956 3221224368 3221214744 1131447442 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209949 27704 13086 16 0 209933 0
vsize: 839796
[startup+930.226 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32746
Raw data (stat): 32729 (java) R 32728 21152 21151 0 -1 0 18113 4 1 0 90069 47 0 0 25 0 11 0 779570487 859951104 27759 4294967295 134512640 134569956 3221224368 3221214744 1131445480 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209949 27759 13086 16 0 209933 0
vsize: 839796
[startup+940.227 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32746
Raw data (stat): 32729 (java) R 32728 21152 21151 0 -1 0 18113 4 1 0 91035 47 0 0 25 0 11 0 779570487 859951104 27812 4294967295 134512640 134569956 3221224368 3221214640 1131294241 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209949 27812 13086 16 0 209933 0
vsize: 839796
[startup+950.227 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32746
Raw data (stat): 32729 (java) R 32728 21152 21151 0 -1 0 18113 4 1 0 92007 47 0 0 25 0 11 0 779570487 859951104 27922 4294967295 134512640 134569956 3221224368 3221214640 1131294729 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209949 27922 13086 16 0 209933 0
vsize: 839796
[startup+960.229 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32747
Raw data (stat): 32729 (java) R 32728 21152 21151 0 -1 0 18113 4 1 0 92987 48 0 0 25 0 11 0 779570487 859951104 27970 4294967295 134512640 134569956 3221224368 3221214632 1131235964 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209949 27970 13086 16 0 209933 0
vsize: 839796
[startup+970.23 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32747
Raw data (stat): 32729 (java) R 32728 21152 21151 0 -1 0 18113 4 1 0 93948 48 0 0 25 0 11 0 779570487 859951104 28046 4294967295 134512640 134569956 3221224368 3221214632 1131235957 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209949 28046 13086 16 0 209933 0
vsize: 839796
[startup+980.231 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32747
Raw data (stat): 32729 (java) R 32728 21152 21151 0 -1 0 18113 4 1 0 94922 48 0 0 25 0 11 0 779570487 859951104 28194 4294967295 134512640 134569956 3221224368 3221214744 1131447188 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209949 28194 13086 16 0 209933 0
vsize: 839796
[startup+990.232 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32747
Raw data (stat): 32729 (java) R 32728 21152 21151 0 -1 0 18113 4 1 0 95896 48 0 0 25 0 11 0 779570487 859951104 28280 4294967295 134512640 134569956 3221224368 3221214640 1131295112 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209949 28280 13086 16 0 209933 0
vsize: 839796
[startup+1000.23 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32748
Raw data (stat): 32729 (java) R 32728 21152 21151 0 -1 0 18113 4 1 0 96891 48 0 0 25 0 11 0 779570487 859951104 28291 4294967295 134512640 134569956 3221224368 3221214632 1131235964 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209949 28291 13086 16 0 209933 0
vsize: 839796
[startup+1010.23 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32748
Raw data (stat): 32729 (java) R 32728 21152 21151 0 -1 0 18113 4 1 0 97873 48 0 0 25 0 11 0 779570487 859951104 28292 4294967295 134512640 134569956 3221224368 3221214456 1131540744 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209949 28292 13086 16 0 209933 0
vsize: 839796
[startup+1020.23 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32748
Raw data (stat): 32729 (java) R 32728 21152 21151 0 -1 0 18113 4 1 0 98855 49 0 0 25 0 11 0 779570487 859951104 28293 4294967295 134512640 134569956 3221224368 3221214540 1131282051 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209949 28293 13086 16 0 209933 0
vsize: 839796
[startup+1030.23 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32748
Raw data (stat): 32729 (java) R 32728 21152 21151 0 -1 0 18113 4 1 0 99834 49 0 0 25 0 11 0 779570487 859951104 28293 4294967295 134512640 134569956 3221224368 3221214464 1131394523 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209949 28293 13086 16 0 209933 0
vsize: 839796
[startup+1040.24 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32748
Raw data (stat): 32729 (java) R 32728 21152 21151 0 -1 0 18113 4 1 0 100813 49 0 0 25 0 11 0 779570487 859951104 28294 4294967295 134512640 134569956 3221224368 3221214440 1131394902 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209949 28294 13086 16 0 209933 0
vsize: 839796
[startup+1050.24 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32748
Raw data (stat): 32729 (java) R 32728 21152 21151 0 -1 0 18113 4 1 0 101794 49 0 0 25 0 11 0 779570487 859951104 28340 4294967295 134512640 134569956 3221224368 3221214440 1131394551 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209949 28340 13086 16 0 209933 0
vsize: 839796
[startup+1060.24 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32748
Raw data (stat): 32729 (java) R 32728 21152 21151 0 -1 0 18113 4 1 0 102777 49 0 0 25 0 11 0 779570487 859951104 28381 4294967295 134512640 134569956 3221224368 3221214544 1131521088 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209949 28381 13086 16 0 209933 0
vsize: 839796
[startup+1070.24 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32748
Raw data (stat): 32729 (java) R 32728 21152 21151 0 -1 0 18113 4 1 0 103762 49 0 0 24 0 11 0 779570487 859951104 28424 4294967295 134512640 134569956 3221224368 3221214544 1131520838 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209949 28424 13086 16 0 209933 0
vsize: 839796
[startup+1080.24 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32748
Raw data (stat): 32729 (java) R 32728 21152 21151 0 -1 0 18113 4 1 0 104752 49 0 0 25 0 11 0 779570487 859951104 28425 4294967295 134512640 134569956 3221224368 3221214448 1131235949 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209949 28425 13086 16 0 209933 0
vsize: 839796
[startup+1090.24 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32748
Raw data (stat): 32729 (java) R 32728 21152 21151 0 -1 0 18113 4 1 0 105744 49 0 0 25 0 11 0 779570487 859951104 28425 4294967295 134512640 134569956 3221224368 3221214632 1131236087 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209949 28425 13086 16 0 209933 0
vsize: 839796
[startup+1100.24 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32748
Raw data (stat): 32729 (java) R 32728 21152 21151 0 -1 0 18113 4 1 0 106722 49 0 0 25 0 11 0 779570487 859951104 28425 4294967295 134512640 134569956 3221224368 3221214440 1131394270 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209949 28425 13086 16 0 209933 0
vsize: 839796
[startup+1110.24 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32748
Raw data (stat): 32729 (java) R 32728 21152 21151 0 -1 0 18113 4 1 0 107703 49 0 0 25 0 11 0 779570487 859951104 28425 4294967295 134512640 134569956 3221224368 3221214560 1131515874 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209949 28425 13086 16 0 209933 0
vsize: 839796
[startup+1120.24 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32748
Raw data (stat): 32729 (java) R 32728 21152 21151 0 -1 0 18113 4 1 0 108686 49 0 0 25 0 11 0 779570487 859951104 28469 4294967295 134512640 134569956 3221224368 3221214436 1131396613 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209949 28469 13086 16 0 209933 0
vsize: 839796
[startup+1130.24 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32748
Raw data (stat): 32729 (java) R 32728 21152 21151 0 -1 0 18113 4 1 0 109669 49 0 0 25 0 11 0 779570487 859951104 28469 4294967295 134512640 134569956 3221224368 3221214544 1131520976 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209949 28469 13086 16 0 209933 0
vsize: 839796
[startup+1140.24 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32748
Raw data (stat): 32729 (java) R 32728 21152 21151 0 -1 0 18113 4 1 0 110652 49 0 0 25 0 11 0 779570487 859951104 28480 4294967295 134512640 134569956 3221224368 3221214544 1131520838 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209949 28480 13086 16 0 209933 0
vsize: 839796
[startup+1150.24 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32748
Raw data (stat): 32729 (java) R 32728 21152 21151 0 -1 0 18113 4 1 0 111637 49 0 0 25 0 11 0 779570487 859951104 28572 4294967295 134512640 134569956 3221224368 3221214544 1131520722 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209949 28572 13086 16 0 209933 0
vsize: 839796
[startup+1160.24 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32748
Raw data (stat): 32729 (java) R 32728 21152 21151 0 -1 0 18113 4 1 0 112624 49 0 0 25 0 11 0 779570487 859951104 28572 4294967295 134512640 134569956 3221224368 3221214440 1131394551 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209949 28572 13086 16 0 209933 0
vsize: 839796
[startup+1170.24 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32748
Raw data (stat): 32729 (java) R 32728 21152 21151 0 -1 0 18113 4 1 0 113611 49 0 0 25 0 11 0 779570487 859951104 28572 4294967295 134512640 134569956 3221224368 3221214544 1131520815 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209949 28572 13086 16 0 209933 0
vsize: 839796
[startup+1180.24 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32748
Raw data (stat): 32729 (java) R 32728 21152 21151 0 -1 0 18113 4 1 0 114598 49 0 0 25 0 11 0 779570487 859951104 28572 4294967295 134512640 134569956 3221224368 3221214440 1131394678 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209949 28572 13086 16 0 209933 0
vsize: 839796
[startup+1190.24 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32748
Raw data (stat): 32729 (java) R 32728 21152 21151 0 -1 0 18113 4 1 0 115585 49 0 0 25 0 11 0 779570487 859951104 28572 4294967295 134512640 134569956 3221224368 3221214544 1131521000 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209949 28572 13086 16 0 209933 0
vsize: 839796
[startup+1200.24 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32748
Raw data (stat): 32729 (java) R 32728 21152 21151 0 -1 0 18113 4 1 0 116577 50 0 0 25 0 11 0 779570487 859951104 28642 4294967295 134512640 134569956 3221224368 3221214640 1131294671 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209949 28642 13086 16 0 209933 0
vsize: 839796
[startup+1210.24 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32748
Raw data (stat): 32729 (java) R 32728 21152 21151 0 -1 0 18113 4 1 0 117564 50 0 0 25 0 11 0 779570487 859951104 28642 4294967295 134512640 134569956 3221224368 3221214464 1131394670 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209949 28642 13086 16 0 209933 0
vsize: 839796
[startup+1220.24 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32748
Raw data (stat): 32729 (java) R 32728 21152 21151 0 -1 0 18113 4 1 0 118549 50 0 0 25 0 11 0 779570487 859951104 28642 4294967295 134512640 134569956 3221224368 3221214464 1131394678 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209949 28642 13086 16 0 209933 0
vsize: 839796
[startup+1230.24 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32748
Raw data (stat): 32729 (java) R 32728 21152 21151 0 -1 0 18113 4 1 0 119535 50 0 0 25 0 11 0 779570487 859951104 28642 4294967295 134512640 134569956 3221224368 3221214520 1131219737 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209949 28642 13086 16 0 209933 0
vsize: 839796
[startup+1240.24 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32748
Raw data (stat): 32729 (java) R 32728 21152 21151 0 -1 0 18113 4 1 0 120523 50 0 0 25 0 11 0 779570487 859951104 28642 4294967295 134512640 134569956 3221224368 3221214464 1131394548 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209949 28642 13086 16 0 209933 0
vsize: 839796
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1240.59 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 32750
Raw data (stat): 32729 (java) Z 32728 21152 21151 0 -1 1036 18113 8796 1 0 120546 50 3130 26 25 0 1 0 779570487 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1240.59
CPU time (s): 1237.53
CPU user time (s): 1236.77
CPU system time (s): 0.763883
CPU usage (%): 99.7536
Max. virtual memory (Kb): 839796
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	14067
#### END VERIFIER DATA ####