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:
  1. 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.
  2. SOLVER DATA
    This is the output of the solver (stdout and stderr).
  3. 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.
  4. 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

Namenormalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-p2756.opb
MD5SUMf2badf1ad4c3213045697b74fa812a03
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
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 numbers19
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1.07284
Number of variables2756
Total number of constraints3511
Number of constraints which are clauses132
Number of constraints which are cardinality constraints (but not clauses)2976
Number of constraints which are nor clauses,nor cardinality constraints403
Minimum length of a constraint1
Maximum length of a constraint546

Trace number 29985

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc1 THE 2005-05-25 13:28:48 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=21388 boxname=wulflinc1 idbench=1376 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  f2badf1ad4c3213045697b74fa812a03  /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-13-7-p2756.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-13-7-p2756.opb
IDLAUNCH: 21388
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
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	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
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:        656592 kB
Buffers:         33576 kB
Cached:         314964 kB
SwapCached:       3972 kB
Active:          72144 kB
Inactive:       283316 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        656340 kB
SwapTotal:     2097136 kB
SwapFree:      2092844 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6960 kB
Slab:            16880 kB
Committed_AS:    92720 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 13:49:31 (client local time) WITH STATUS 143 IN 1251.49 SECONDS
stats: 21388 0 1251.49 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/wulflinc1/normalized-mps-v2-13-7-p2756.opb
c reading problem ... done. Time 5.189 ms.
c #vars     2756
c #constraints  749
c SATISFIABLE
c OPTIMIZING...
c CURRENT OPTIMUM=              119780 		Current CPU time: 9.91 ms
c CURRENT OPTIMUM=              119769 		Current CPU time: 11.75 ms
c CURRENT OPTIMUM=              111940 		Current CPU time: 46.98 ms
c CURRENT OPTIMUM=               66622 		Current CPU time: 47.85 ms
c CURRENT OPTIMUM=               64470 		Current CPU time: 68.87 ms
c CURRENT OPTIMUM=               19140 		Current CPU time: 69.89 ms
c CURRENT OPTIMUM=               18771 		Current CPU time: 73.20 ms
c CURRENT OPTIMUM=               18111 		Current CPU time: 980.08 ms
c CURRENT OPTIMUM=               14067 		Current CPU time: 1029.37 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.333
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.93 0.98 0.99 2/55 22073
Raw data (stat): 22073 (runsolver) R 22072 8378 8377 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 724164952 1052672 99 4294967295 134512640 135381576 3221224400 3221219620 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0006 s]
Raw data (loadavg): 1.17 1.03 1.01 2/65 22083
Raw data (stat): 22073 (java) R 22072 8378 8377 0 -1 0 18073 0 1 0 737 38 0 0 25 0 11 0 724164952 860020736 20693 4294967295 134512640 134569956 3221224368 3221214760 1130917326 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209966 20693 13086 16 0 209950 0
vsize: 839864
[startup+20.0018 s]
Raw data (loadavg): 1.14 1.03 1.01 2/65 22085
Raw data (stat): 22073 (java) R 22072 8378 8377 0 -1 0 18120 3 1 0 1645 38 0 0 25 0 11 0 724164952 859475968 21237 4294967295 134512640 134569956 3221224368 3221214268 1130892162 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209833 21237 13086 16 0 209817 0
vsize: 839332
[startup+30.0021 s]
Raw data (loadavg): 1.12 1.03 1.01 2/65 22085
Raw data (stat): 22073 (java) R 22072 8378 8377 0 -1 0 18122 3 1 0 2596 38 0 0 19 0 11 0 724164952 858689536 21117 4294967295 134512640 134569956 3221224368 3221214360 1131569153 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209641 21117 13086 16 0 209625 0
vsize: 838564
[startup+40.0019 s]
Raw data (loadavg): 1.10 1.03 1.01 2/65 22085
Raw data (stat): 22073 (java) R 22072 8378 8377 0 -1 0 18122 3 1 0 3554 38 0 0 25 0 11 0 724164952 858689536 21200 4294967295 134512640 134569956 3221224368 3221214584 1131519852 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209641 21200 13086 16 0 209625 0
vsize: 838564
[startup+50.0027 s]
Raw data (loadavg): 1.09 1.03 1.01 2/65 22087
Raw data (stat): 22073 (java) R 22072 8378 8377 0 -1 0 18122 3 1 0 4501 39 0 0 19 0 11 0 724164952 858689536 21577 4294967295 134512640 134569956 3221224368 3221214712 1131344623 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209641 21577 13086 16 0 209625 0
vsize: 838564
[startup+60.0025 s]
Raw data (loadavg): 1.07 1.03 1.01 2/65 22087
Raw data (stat): 22073 (java) R 22072 8378 8377 0 -1 0 18122 3 1 0 5443 39 0 0 25 0 11 0 724164952 858689536 21706 4294967295 134512640 134569956 3221224368 3221214688 1131252059 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209641 21706 13086 16 0 209625 0
vsize: 838564
[startup+70.0033 s]
Raw data (loadavg): 1.06 1.03 1.00 2/65 22088
Raw data (stat): 22073 (java) R 22072 8378 8377 0 -1 0 18122 3 1 0 6388 39 0 0 17 0 11 0 724164952 858689536 22116 4294967295 134512640 134569956 3221224368 3221214632 1131239780 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209641 22116 13086 16 0 209625 0
vsize: 838564
[startup+80.0058 s]
Raw data (loadavg): 1.05 1.02 1.00 2/65 22090
Raw data (stat): 22073 (java) R 22072 8378 8377 0 -1 0 18122 3 1 0 7327 39 0 0 24 0 11 0 724164952 858689536 22237 4294967295 134512640 134569956 3221224368 3221214548 1130885150 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209641 22237 13086 16 0 209625 0
vsize: 838564
[startup+90.0059 s]
Raw data (loadavg): 1.04 1.02 1.00 2/65 22090
Raw data (stat): 22073 (java) R 22072 8378 8377 0 -1 0 18122 3 1 0 8270 39 0 0 25 0 11 0 724164952 858689536 22284 4294967295 134512640 134569956 3221224368 3221214528 1131285172 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209641 22284 13086 16 0 209625 0
vsize: 838564
[startup+100.007 s]
Raw data (loadavg): 1.04 1.02 1.00 2/65 22090
Raw data (stat): 22073 (java) R 22072 8378 8377 0 -1 0 18122 3 1 0 9211 39 0 0 25 0 11 0 724164952 858689536 22552 4294967295 134512640 134569956 3221224368 3221214572 1131304489 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209641 22552 13086 16 0 209625 0
vsize: 838564
[startup+110.007 s]
Raw data (loadavg): 1.03 1.02 1.00 2/65 22090
Raw data (stat): 22073 (java) R 22072 8378 8377 0 -1 0 18122 3 1 0 10153 40 0 0 25 0 11 0 724164952 858689536 22719 4294967295 134512640 134569956 3221224368 3221214464 1131376583 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209641 22719 13086 16 0 209625 0
vsize: 838564
[startup+120.008 s]
Raw data (loadavg): 1.02 1.02 1.00 2/65 22090
Raw data (stat): 22073 (java) R 22072 8378 8377 0 -1 0 18122 3 1 0 11096 40 0 0 25 0 11 0 724164952 858689536 22833 4294967295 134512640 134569956 3221224368 3221214592 1131303457 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209641 22833 13086 16 0 209625 0
vsize: 838564
[startup+130.008 s]
Raw data (loadavg): 1.02 1.02 1.00 2/65 22090
Raw data (stat): 22073 (java) R 22072 8378 8377 0 -1 0 18122 3 1 0 12048 40 0 0 25 0 11 0 724164952 858689536 23042 4294967295 134512640 134569956 3221224368 3221214488 1131376064 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209641 23042 13086 16 0 209625 0
vsize: 838564
[startup+140.008 s]
Raw data (loadavg): 1.02 1.02 1.00 2/65 22090
Raw data (stat): 22073 (java) R 22072 8378 8377 0 -1 0 18122 3 1 0 13012 40 0 0 25 0 11 0 724164952 858689536 23203 4294967295 134512640 134569956 3221224368 3221214568 1131525134 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209641 23203 13086 16 0 209625 0
vsize: 838564
[startup+150.009 s]
Raw data (loadavg): 1.01 1.02 1.00 2/65 22090
Raw data (stat): 22073 (java) R 22072 8378 8377 0 -1 0 18122 3 1 0 13986 40 0 0 25 0 11 0 724164952 858689536 23363 4294967295 134512640 134569956 3221224368 3221214640 1131298879 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209641 23363 13086 16 0 209625 0
vsize: 838564
[startup+160.008 s]
Raw data (loadavg): 1.01 1.02 1.00 2/65 22090
Raw data (stat): 22073 (java) R 22072 8378 8377 0 -1 0 18123 3 1 0 14965 41 0 0 24 0 11 0 724164952 858689536 23571 4294967295 134512640 134569956 3221224368 3221214488 1131376308 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209641 23571 13086 16 0 209625 0
vsize: 838564
[startup+170.009 s]
Raw data (loadavg): 1.01 1.02 1.00 2/65 22090
Raw data (stat): 22073 (java) R 22072 8378 8377 0 -1 0 18123 3 1 0 15952 41 0 0 24 0 11 0 724164952 858689536 23571 4294967295 134512640 134569956 3221224368 3221214540 1130885243 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209641 23571 13086 16 0 209625 0
vsize: 838564
[startup+180.009 s]
Raw data (loadavg): 1.01 1.01 1.00 2/65 22090
Raw data (stat): 22073 (java) R 22072 8378 8377 0 -1 0 18123 3 1 0 16941 41 0 0 25 0 11 0 724164952 858689536 23571 4294967295 134512640 134569956 3221224368 3221214568 1131524814 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209641 23571 13086 16 0 209625 0
vsize: 838564
[startup+190.009 s]
Raw data (loadavg): 1.01 1.01 1.00 2/65 22090
Raw data (stat): 22073 (java) R 22072 8378 8377 0 -1 0 18123 3 1 0 17923 41 0 0 25 0 11 0 724164952 858689536 23571 4294967295 134512640 134569956 3221224368 3221214584 1131519252 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209641 23571 13086 16 0 209625 0
vsize: 838564
[startup+200.009 s]
Raw data (loadavg): 1.00 1.01 1.00 2/65 22090
Raw data (stat): 22073 (java) R 22072 8378 8377 0 -1 0 18123 3 1 0 18904 41 0 0 25 0 11 0 724164952 858689536 23617 4294967295 134512640 134569956 3221224368 3221214640 1131299446 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209641 23617 13086 16 0 209625 0
vsize: 838564
[startup+210.009 s]
Raw data (loadavg): 1.00 1.01 1.00 2/65 22090
Raw data (stat): 22073 (java) R 22072 8378 8377 0 -1 0 18123 3 1 0 19881 42 0 0 25 0 11 0 724164952 858689536 23658 4294967295 134512640 134569956 3221224368 3221214568 1131525256 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209641 23658 13086 16 0 209625 0
vsize: 838564
[startup+220.01 s]
Raw data (loadavg): 1.00 1.01 1.00 2/65 22090
Raw data (stat): 22073 (java) R 22072 8378 8377 0 -1 0 18123 3 1 0 20856 42 0 0 25 0 11 0 724164952 858689536 23665 4294967295 134512640 134569956 3221224368 3221214568 1131524508 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209641 23665 13086 16 0 209625 0
vsize: 838564
[startup+230.01 s]
Raw data (loadavg): 1.00 1.01 1.00 2/65 22090
Raw data (stat): 22073 (java) R 22072 8378 8377 0 -1 0 18123 3 1 0 21835 42 0 0 25 0 11 0 724164952 858689536 23665 4294967295 134512640 134569956 3221224368 3221214540 1130885163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209641 23665 13086 16 0 209625 0
vsize: 838564
[startup+240.01 s]
Raw data (loadavg): 1.00 1.01 1.00 2/65 22090
Raw data (stat): 22073 (java) R 22072 8378 8377 0 -1 0 18123 3 1 0 22812 42 0 0 25 0 11 0 724164952 858689536 23760 4294967295 134512640 134569956 3221224368 3221214296 1078022145 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209641 23760 13086 16 0 209625 0
vsize: 838564
[startup+250.01 s]
Raw data (loadavg): 1.00 1.01 1.00 2/65 22090
Raw data (stat): 22073 (java) R 22072 8378 8377 0 -1 0 18123 3 1 0 23796 42 0 0 25 0 11 0 724164952 858689536 23760 4294967295 134512640 134569956 3221224368 3221214592 1131303379 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209641 23760 13086 16 0 209625 0
vsize: 838564
[startup+260.012 s]
Raw data (loadavg): 1.00 1.01 1.00 2/65 22090
Raw data (stat): 22073 (java) R 22072 8378 8377 0 -1 0 18123 3 1 0 24779 42 0 0 25 0 11 0 724164952 858689536 23891 4294967295 134512640 134569956 3221224368 3221214592 1131303381 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209641 23891 13086 16 0 209625 0
vsize: 838564
[startup+270.013 s]
Raw data (loadavg): 1.00 1.01 1.00 2/65 22090
Raw data (stat): 22073 (java) R 22072 8378 8377 0 -1 0 18123 3 1 0 25773 43 0 0 25 0 11 0 724164952 858689536 23956 4294967295 134512640 134569956 3221224368 3221214540 1130885154 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209641 23956 13086 16 0 209625 0
vsize: 838564
[startup+280.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22090
Raw data (stat): 22073 (java) R 22072 8378 8377 0 -1 0 18123 3 1 0 26764 43 0 0 25 0 11 0 724164952 858689536 23956 4294967295 134512640 134569956 3221224368 3221214520 1131377058 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209641 23956 13086 16 0 209625 0
vsize: 838564
[startup+290.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22090
Raw data (stat): 22073 (java) R 22072 8378 8377 0 -1 0 18123 3 1 0 27753 43 0 0 25 0 11 0 724164952 858689536 23956 4294967295 134512640 134569956 3221224368 3221214632 1131239676 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209641 23956 13086 16 0 209625 0
vsize: 838564
[startup+300.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22090
Raw data (stat): 22073 (java) R 22072 8378 8377 0 -1 0 18123 3 1 0 28732 43 0 0 25 0 11 0 724164952 858689536 23956 4294967295 134512640 134569956 3221224368 3221214464 1131376050 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209641 23956 13086 16 0 209625 0
vsize: 838564
[startup+310.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22090
Raw data (stat): 22073 (java) R 22072 8378 8377 0 -1 0 18123 3 1 0 29709 43 0 0 25 0 11 0 724164952 858689536 23956 4294967295 134512640 134569956 3221224368 3221214640 1131299118 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209641 23956 13086 16 0 209625 0
vsize: 838564
[startup+320.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22090
Raw data (stat): 22073 (java) S 22072 8378 8377 0 -1 0 18123 3 1 0 30674 43 0 0 25 0 11 0 724164952 858689536 23956 4294967295 134512640 134569956 3221224368 3221213208 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209641 23956 13086 16 0 209625 0
vsize: 838564
[startup+330.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22090
Raw data (stat): 22073 (java) R 22072 8378 8377 0 -1 0 18123 3 1 0 31641 43 0 0 25 0 11 0 724164952 858689536 24055 4294967295 134512640 134569956 3221224368 3221214540 1130885157 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209641 24055 13086 16 0 209625 0
vsize: 838564
[startup+340.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22090
Raw data (stat): 22073 (java) R 22072 8378 8377 0 -1 0 18123 3 1 0 32601 43 0 0 25 0 11 0 724164952 858689536 24145 4294967295 134512640 134569956 3221224368 3221214632 1131239762 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209641 24145 13086 16 0 209625 0
vsize: 838564
[startup+350.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22090
Raw data (stat): 22073 (java) R 22072 8378 8377 0 -1 0 18123 3 1 0 33565 44 0 0 25 0 11 0 724164952 858689536 24145 4294967295 134512640 134569956 3221224368 3221214540 1130885154 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209641 24145 13086 16 0 209625 0
vsize: 838564
[startup+360.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22090
Raw data (stat): 22073 (java) R 22072 8378 8377 0 -1 0 18123 3 1 0 34525 44 0 0 25 0 11 0 724164952 858689536 24304 4294967295 134512640 134569956 3221224368 3221214640 1131298968 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209641 24304 13086 16 0 209625 0
vsize: 838564
[startup+370.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22090
Raw data (stat): 22073 (java) R 22072 8378 8377 0 -1 0 18123 3 1 0 35499 44 0 0 25 0 11 0 724164952 858689536 24432 4294967295 134512640 134569956 3221224368 3221214472 1131240102 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209641 24432 13086 16 0 209625 0
vsize: 838564
[startup+380.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22090
Raw data (stat): 22073 (java) R 22072 8378 8377 0 -1 0 18123 3 1 0 36466 44 0 0 25 0 11 0 724164952 858689536 24432 4294967295 134512640 134569956 3221224368 3221214640 1131299060 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209641 24432 13086 16 0 209625 0
vsize: 838564
[startup+390.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22090
Raw data (stat): 22073 (java) R 22072 8378 8377 0 -1 0 18123 3 1 0 37430 44 0 0 25 0 11 0 724164952 858689536 24606 4294967295 134512640 134569956 3221224368 3221214464 1131376311 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209641 24606 13086 16 0 209625 0
vsize: 838564
[startup+400.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22090
Raw data (stat): 22073 (java) R 22072 8378 8377 0 -1 0 18123 3 1 0 38402 45 0 0 25 0 11 0 724164952 858689536 24652 4294967295 134512640 134569956 3221224368 3221214744 1131504184 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209641 24652 13086 16 0 209625 0
vsize: 838564
[startup+410.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22090
Raw data (stat): 22073 (java) R 22072 8378 8377 0 -1 0 18123 3 1 0 39372 45 0 0 25 0 11 0 724164952 858689536 24740 4294967295 134512640 134569956 3221224368 3221214568 1131524508 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209641 24740 13086 16 0 209625 0
vsize: 838564
[startup+420.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22090
Raw data (stat): 22073 (java) R 22072 8378 8377 0 -1 0 18123 3 1 0 40340 45 0 0 25 0 11 0 724164952 858689536 24740 4294967295 134512640 134569956 3221224368 3221214464 1131376682 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209641 24740 13086 16 0 209625 0
vsize: 838564
[startup+430.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22090
Raw data (stat): 22073 (java) R 22072 8378 8377 0 -1 0 18123 3 1 0 41315 46 0 0 25 0 11 0 724164952 858689536 24829 4294967295 134512640 134569956 3221224368 3221214464 1131378394 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209641 24829 13086 16 0 209625 0
vsize: 838564
[startup+440.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22090
Raw data (stat): 22073 (java) R 22072 8378 8377 0 -1 0 18123 3 1 0 42287 46 0 0 25 0 11 0 724164952 858689536 24968 4294967295 134512640 134569956 3221224368 3221214464 1131376173 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209641 24968 13086 16 0 209625 0
vsize: 838564
[startup+450.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22090
Raw data (stat): 22073 (java) R 22072 8378 8377 0 -1 0 18123 3 1 0 43262 46 0 0 25 0 11 0 724164952 858689536 25014 4294967295 134512640 134569956 3221224368 3221214640 1131298823 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209641 25014 13086 16 0 209625 0
vsize: 838564
[startup+460.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22090
Raw data (stat): 22073 (java) R 22072 8378 8377 0 -1 0 18123 3 1 0 44237 46 0 0 25 0 11 0 724164952 858689536 25059 4294967295 134512640 134569956 3221224368 3221214464 1131376173 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209641 25059 13086 16 0 209625 0
vsize: 838564
[startup+470.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22090
Raw data (stat): 22073 (java) R 22072 8378 8377 0 -1 0 18123 3 1 0 45209 46 0 0 25 0 11 0 724164952 858689536 25145 4294967295 134512640 134569956 3221224368 3221214640 1131298839 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209641 25145 13086 16 0 209625 0
vsize: 838564
[startup+480.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22090
Raw data (stat): 22073 (java) R 22072 8378 8377 0 -1 0 18123 3 1 0 46178 46 0 0 25 0 11 0 724164952 858689536 25188 4294967295 134512640 134569956 3221224368 3221214464 1131376151 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209641 25188 13086 16 0 209625 0
vsize: 838564
[startup+490.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22090
Raw data (stat): 22073 (java) R 22072 8378 8377 0 -1 0 18123 3 1 0 47154 46 0 0 25 0 11 0 724164952 858689536 25235 4294967295 134512640 134569956 3221224368 3221214464 1131376173 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209641 25235 13086 16 0 209625 0
vsize: 838564
[startup+500.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22090
Raw data (stat): 22073 (java) R 22072 8378 8377 0 -1 0 18123 3 1 0 48121 47 0 0 25 0 11 0 724164952 858689536 25329 4294967295 134512640 134569956 3221224368 3221214568 1131343857 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209641 25329 13086 16 0 209625 0
vsize: 838564
[startup+510.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22090
Raw data (stat): 22073 (java) R 22072 8378 8377 0 -1 0 18123 3 1 0 49094 47 0 0 25 0 11 0 724164952 858689536 25330 4294967295 134512640 134569956 3221224368 3221214744 1131504697 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209641 25330 13086 16 0 209625 0
vsize: 838564
[startup+520.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22090
Raw data (stat): 22073 (java) R 22072 8378 8377 0 -1 0 18123 3 1 0 50064 47 0 0 25 0 11 0 724164952 858689536 25415 4294967295 134512640 134569956 3221224368 3221214584 1131519320 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209641 25415 13086 16 0 209625 0
vsize: 838564
[startup+530.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22090
Raw data (stat): 22073 (java) R 22072 8378 8377 0 -1 0 18123 3 1 0 51035 47 0 0 25 0 11 0 724164952 858689536 25544 4294967295 134512640 134569956 3221224368 3221214608 1131376311 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209641 25544 13086 16 0 209625 0
vsize: 838564
[startup+540.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22090
Raw data (stat): 22073 (java) R 22072 8378 8377 0 -1 0 18123 3 1 0 52014 47 0 0 25 0 11 0 724164952 858689536 25544 4294967295 134512640 134569956 3221224368 3221214464 1131376147 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209641 25544 13086 16 0 209625 0
vsize: 838564
[startup+550.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22090
Raw data (stat): 22073 (java) S 22072 8378 8377 0 -1 0 18123 3 1 0 52990 48 0 0 25 0 11 0 724164952 858689536 25630 4294967295 134512640 134569956 3221224368 3221213192 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209641 25630 13086 16 0 209625 0
vsize: 838564
[startup+560.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22090
Raw data (stat): 22073 (java) R 22072 8378 8377 0 -1 0 18123 3 1 0 53967 48 0 0 25 0 11 0 724164952 858689536 25630 4294967295 134512640 134569956 3221224368 3221214744 1131504184 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209641 25630 13086 16 0 209625 0
vsize: 838564
[startup+570.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22090
Raw data (stat): 22073 (java) R 22072 8378 8377 0 -1 0 18123 3 1 0 54943 48 0 0 25 0 11 0 724164952 858689536 25716 4294967295 134512640 134569956 3221224368 3221214320 1078020035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209641 25716 13086 16 0 209625 0
vsize: 838564
[startup+580.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22090
Raw data (stat): 22073 (java) R 22072 8378 8377 0 -1 0 18123 3 1 0 55915 48 0 0 25 0 11 0 724164952 858689536 25802 4294967295 134512640 134569956 3221224368 3221214640 1131298879 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209641 25802 13086 16 0 209625 0
vsize: 838564
[startup+590.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22090
Raw data (stat): 22073 (java) R 22072 8378 8377 0 -1 0 18123 3 1 0 56885 48 0 0 25 0 11 0 724164952 858689536 25802 4294967295 134512640 134569956 3221224368 3221214472 1131240332 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209641 25802 13086 16 0 209625 0
vsize: 838564
[startup+600.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22090
Raw data (stat): 22073 (java) R 22072 8378 8377 0 -1 0 18123 3 1 0 57862 49 0 0 25 0 11 0 724164952 858689536 25889 4294967295 134512640 134569956 3221224368 3221214744 1131504744 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209641 25889 13086 16 0 209625 0
vsize: 838564
[startup+610.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22090
Raw data (stat): 22073 (java) R 22072 8378 8377 0 -1 0 18123 3 1 0 58830 49 0 0 25 0 11 0 724164952 858689536 25931 4294967295 134512640 134569956 3221224368 3221214568 1131524508 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209641 25931 13086 16 0 209625 0
vsize: 838564
[startup+620.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22090
Raw data (stat): 22073 (java) R 22072 8378 8377 0 -1 0 18123 3 1 0 59804 49 0 0 25 0 11 0 724164952 858689536 25975 4294967295 134512640 134569956 3221224368 3221214640 1131298480 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209641 25975 13086 16 0 209625 0
vsize: 838564
[startup+630.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22090
Raw data (stat): 22073 (java) R 22072 8378 8377 0 -1 0 18123 3 1 0 60776 49 0 0 25 0 11 0 724164952 858689536 26060 4294967295 134512640 134569956 3221224368 3221214584 1131519239 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209641 26060 13086 16 0 209625 0
vsize: 838564
[startup+640.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22090
Raw data (stat): 22073 (java) R 22072 8378 8377 0 -1 0 18123 3 1 0 61752 49 0 0 25 0 11 0 724164952 858689536 26142 4294967295 134512640 134569956 3221224368 3221214488 1131376486 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209641 26142 13086 16 0 209625 0
vsize: 838564
[startup+650.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22090
Raw data (stat): 22073 (java) R 22072 8378 8377 0 -1 0 18123 3 1 0 62728 49 0 0 25 0 11 0 724164952 858689536 26142 4294967295 134512640 134569956 3221224368 3221214640 1131298611 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209641 26142 13086 16 0 209625 0
vsize: 838564
[startup+660.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22090
Raw data (stat): 22073 (java) R 22072 8378 8377 0 -1 0 18123 3 1 0 63701 49 0 0 25 0 11 0 724164952 858689536 26228 4294967295 134512640 134569956 3221224368 3221214472 1131239679 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209641 26228 13086 16 0 209625 0
vsize: 838564
[startup+670.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22090
Raw data (stat): 22073 (java) R 22072 8378 8377 0 -1 0 18123 3 1 0 64668 49 0 0 25 0 11 0 724164952 858689536 26313 4294967295 134512640 134569956 3221224368 3221214632 1131239669 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209641 26313 13086 16 0 209625 0
vsize: 838564
[startup+680.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22090
Raw data (stat): 22073 (java) R 22072 8378 8377 0 -1 0 18123 3 1 0 65631 49 0 0 25 0 11 0 724164952 858689536 26313 4294967295 134512640 134569956 3221224368 3221214488 1131376550 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209641 26313 13086 16 0 209625 0
vsize: 838564
[startup+690.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22090
Raw data (stat): 22073 (java) R 22072 8378 8377 0 -1 0 18123 3 1 0 66601 49 0 0 25 0 11 0 724164952 858689536 26399 4294967295 134512640 134569956 3221224368 3221214568 1131524514 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209641 26399 13086 16 0 209625 0
vsize: 838564
[startup+700.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22090
Raw data (stat): 22073 (java) R 22072 8378 8377 0 -1 0 18123 3 1 0 67560 49 0 0 25 0 11 0 724164952 858689536 26470 4294967295 134512640 134569956 3221224368 3221214576 1131324596 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209641 26470 13086 16 0 209625 0
vsize: 838564
[startup+710.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22090
Raw data (stat): 22073 (java) R 22072 8378 8377 0 -1 0 18123 3 1 0 68525 49 0 0 25 0 11 0 724164952 858689536 26540 4294967295 134512640 134569956 3221224368 3221214464 1131376599 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209641 26540 13086 16 0 209625 0
vsize: 838564
[startup+720.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22090
Raw data (stat): 22073 (java) R 22072 8378 8377 0 -1 0 18123 3 1 0 69484 49 0 0 24 0 11 0 724164952 858689536 26634 4294967295 134512640 134569956 3221224368 3221214464 1131376615 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209641 26634 13086 16 0 209625 0
vsize: 838564
[startup+730.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22090
Raw data (stat): 22073 (java) R 22072 8378 8377 0 -1 0 18123 3 1 0 70456 49 0 0 25 0 11 0 724164952 858689536 26810 4294967295 134512640 134569956 3221224368 3221214464 1131376475 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209641 26810 13086 16 0 209625 0
vsize: 838564
[startup+740.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22090
Raw data (stat): 22073 (java) R 22072 8378 8377 0 -1 0 18123 3 1 0 71434 49 0 0 25 0 11 0 724164952 858689536 26810 4294967295 134512640 134569956 3221224368 3221214488 1131376496 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209641 26810 13086 16 0 209625 0
vsize: 838564
[startup+750.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22090
Raw data (stat): 22073 (java) R 22072 8378 8377 0 -1 0 18123 3 1 0 72407 50 0 0 25 0 11 0 724164952 858689536 26810 4294967295 134512640 134569956 3221224368 3221214464 1131376524 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209641 26810 13086 16 0 209625 0
vsize: 838564
[startup+760.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22090
Raw data (stat): 22073 (java) R 22072 8378 8377 0 -1 0 18123 3 1 0 73387 50 0 0 25 0 11 0 724164952 858689536 26987 4294967295 134512640 134569956 3221224368 3221214568 1131524993 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209641 26987 13086 16 0 209625 0
vsize: 838564
[startup+770.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22090
Raw data (stat): 22073 (java) R 22072 8378 8377 0 -1 0 18123 3 1 0 74379 50 0 0 25 0 11 0 724164952 858689536 27092 4294967295 134512640 134569956 3221224368 3221214480 1131299927 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209641 27092 13086 16 0 209625 0
vsize: 838564
[startup+780.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22090
Raw data (stat): 22073 (java) R 22072 8378 8377 0 -1 0 18123 3 1 0 75376 50 0 0 25 0 11 0 724164952 858689536 27093 4294967295 134512640 134569956 3221224368 3221214568 1131525012 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209641 27093 13086 16 0 209625 0
vsize: 838564
[startup+790.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22090
Raw data (stat): 22073 (java) R 22072 8378 8377 0 -1 0 18123 3 1 0 76371 50 0 0 25 0 11 0 724164952 858689536 27093 4294967295 134512640 134569956 3221224368 3221214464 1131376403 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209641 27093 13086 16 0 209625 0
vsize: 838564
[startup+800.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22090
Raw data (stat): 22073 (java) R 22072 8378 8377 0 -1 0 18123 3 1 0 77368 50 0 0 25 0 11 0 724164952 858689536 27130 4294967295 134512640 134569956 3221224368 3221214568 1131524800 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209641 27130 13086 16 0 209625 0
vsize: 838564
[startup+810.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22090
Raw data (stat): 22073 (java) R 22072 8378 8377 0 -1 0 18123 3 1 0 78366 50 0 0 25 0 11 0 724164952 858689536 27130 4294967295 134512640 134569956 3221224368 3221214488 1131376475 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209641 27130 13086 16 0 209625 0
vsize: 838564
[startup+820.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22090
Raw data (stat): 22073 (java) R 22072 8378 8377 0 -1 0 18123 3 1 0 79362 50 0 0 25 0 11 0 724164952 858689536 27130 4294967295 134512640 134569956 3221224368 3221214464 1131376173 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209641 27130 13086 16 0 209625 0
vsize: 838564
[startup+830.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22090
Raw data (stat): 22073 (java) R 22072 8378 8377 0 -1 0 18123 3 1 0 80358 50 0 0 25 0 11 0 724164952 858689536 27130 4294967295 134512640 134569956 3221224368 3221214584 1131519816 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209641 27130 13086 16 0 209625 0
vsize: 838564
[startup+840.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22090
Raw data (stat): 22073 (java) R 22072 8378 8377 0 -1 0 18123 3 1 0 81353 51 0 0 25 0 11 0 724164952 858689536 27130 4294967295 134512640 134569956 3221224368 3221214464 1131376488 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209641 27130 13086 16 0 209625 0
vsize: 838564
[startup+850.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22090
Raw data (stat): 22073 (java) R 22072 8378 8377 0 -1 0 18123 3 1 0 82350 51 0 0 25 0 11 0 724164952 858689536 27131 4294967295 134512640 134569956 3221224368 3221214488 1131376112 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209641 27131 13086 16 0 209625 0
vsize: 838564
[startup+860.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22090
Raw data (stat): 22073 (java) R 22072 8378 8377 0 -1 0 18123 3 1 0 83346 51 0 0 25 0 11 0 724164952 858689536 27131 4294967295 134512640 134569956 3221224368 3221214568 1131524514 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209641 27131 13086 16 0 209625 0
vsize: 838564
[startup+870.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22090
Raw data (stat): 22073 (java) R 22072 8378 8377 0 -1 0 18123 3 1 0 84326 51 0 0 25 0 11 0 724164952 858689536 27131 4294967295 134512640 134569956 3221224368 3221214744 1131504633 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209641 27131 13086 16 0 209625 0
vsize: 838564
[startup+880.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22090
Raw data (stat): 22073 (java) R 22072 8378 8377 0 -1 0 18123 3 1 0 85300 51 0 0 25 0 11 0 724164952 858689536 27131 4294967295 134512640 134569956 3221224368 3221214464 1131376283 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209641 27131 13086 16 0 209625 0
vsize: 838564
[startup+890.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22090
Raw data (stat): 22073 (java) R 22072 8378 8377 0 -1 0 18123 3 1 0 86278 51 0 0 25 0 11 0 724164952 858689536 27131 4294967295 134512640 134569956 3221224368 3221214568 1131524876 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209641 27131 13086 16 0 209625 0
vsize: 838564
[startup+900.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22090
Raw data (stat): 22073 (java) R 22072 8378 8377 0 -1 0 18123 3 1 0 87245 51 0 0 25 0 11 0 724164952 858689536 27133 4294967295 134512640 134569956 3221224368 3221214656 1131524508 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209641 27133 13086 16 0 209625 0
vsize: 838564
[startup+910.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22090
Raw data (stat): 22073 (java) R 22072 8378 8377 0 -1 0 18123 3 1 0 88217 51 0 0 25 0 11 0 724164952 858689536 27133 4294967295 134512640 134569956 3221224368 3221214560 1131239896 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209641 27133 13086 16 0 209625 0
vsize: 838564
[startup+920.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22090
Raw data (stat): 22073 (java) R 22072 8378 8377 0 -1 0 18123 3 1 0 89184 51 0 0 25 0 11 0 724164952 858689536 27378 4294967295 134512640 134569956 3221224368 3221214552 1131376475 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209641 27378 13086 16 0 209625 0
vsize: 838564
[startup+930.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22090
Raw data (stat): 22073 (java) R 22072 8378 8377 0 -1 0 18123 3 1 0 90162 51 0 0 25 0 11 0 724164952 858689536 27430 4294967295 134512640 134569956 3221224368 3221214632 1131239766 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209641 27430 13086 16 0 209625 0
vsize: 838564
[startup+940.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22090
Raw data (stat): 22073 (java) R 22072 8378 8377 0 -1 0 18123 3 1 0 91135 52 0 0 25 0 11 0 724164952 858689536 27430 4294967295 134512640 134569956 3221224368 3221214552 1131376524 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209641 27430 13086 16 0 209625 0
vsize: 838564
[startup+950.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22090
Raw data (stat): 22073 (java) R 22072 8378 8377 0 -1 0 18123 3 1 0 92102 52 0 0 24 0 11 0 724164952 858689536 27547 4294967295 134512640 134569956 3221224368 3221214640 1131299163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209641 27547 13086 16 0 209625 0
vsize: 838564
[startup+960.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22090
Raw data (stat): 22073 (java) R 22072 8378 8377 0 -1 0 18123 3 1 0 93075 52 0 0 25 0 11 0 724164952 858689536 27547 4294967295 134512640 134569956 3221224368 3221214744 1131504356 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209641 27547 13086 16 0 209625 0
vsize: 838564
[startup+970.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22090
Raw data (stat): 22073 (java) R 22072 8378 8377 0 -1 0 18123 3 1 0 94040 52 0 0 25 0 11 0 724164952 858689536 27600 4294967295 134512640 134569956 3221224368 3221214680 1131303379 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209641 27600 13086 16 0 209625 0
vsize: 838564
[startup+980.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22090
Raw data (stat): 22073 (java) R 22072 8378 8377 0 -1 0 18123 3 1 0 95012 52 0 0 25 0 11 0 724164952 858689536 27710 4294967295 134512640 134569956 3221224368 3221214744 1131505817 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209641 27710 13086 16 0 209625 0
vsize: 838564
[startup+990.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22091
Raw data (stat): 22073 (java) R 22072 8378 8377 0 -1 0 18123 3 1 0 95992 52 0 0 25 0 11 0 724164952 858689536 27758 4294967295 134512640 134569956 3221224368 3221214640 1131298401 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209641 27758 13086 16 0 209625 0
vsize: 838564
[startup+1000.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22091
Raw data (stat): 22073 (java) R 22072 8378 8377 0 -1 0 18123 3 1 0 96953 52 0 0 25 0 11 0 724164952 858689536 27834 4294967295 134512640 134569956 3221224368 3221214632 1131239766 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209641 27834 13086 16 0 209625 0
vsize: 838564
[startup+1010.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22091
Raw data (stat): 22073 (java) R 22072 8378 8377 0 -1 0 18123 3 1 0 97926 52 0 0 25 0 11 0 724164952 858689536 27982 4294967295 134512640 134569956 3221224368 3221214640 1131298499 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209641 27982 13086 16 0 209625 0
vsize: 838564
[startup+1020.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22091
Raw data (stat): 22073 (java) R 22072 8378 8377 0 -1 0 18123 3 1 0 98903 52 0 0 25 0 11 0 724164952 858689536 28024 4294967295 134512640 134569956 3221224368 3221214640 1131299013 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209641 28024 13086 16 0 209625 0
vsize: 838564
[startup+1030.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22091
Raw data (stat): 22073 (java) R 22072 8378 8377 0 -1 0 18123 3 1 0 99896 52 0 0 25 0 11 0 724164952 858689536 28079 4294967295 134512640 134569956 3221224368 3221214632 1131239805 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209641 28079 13086 16 0 209625 0
vsize: 838564
[startup+1040.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22092
Raw data (stat): 22073 (java) R 22072 8378 8377 0 -1 0 18123 3 1 0 100880 52 0 0 25 0 11 0 724164952 858689536 28080 4294967295 134512640 134569956 3221224368 3221214640 1131299402 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209641 28080 13086 16 0 209625 0
vsize: 838564
[startup+1050.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22092
Raw data (stat): 22073 (java) R 22072 8378 8377 0 -1 0 18123 3 1 0 101859 53 0 0 25 0 11 0 724164952 858689536 28081 4294967295 134512640 134569956 3221224368 3221214656 1131524628 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209641 28081 13086 16 0 209625 0
vsize: 838564
[startup+1060.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22092
Raw data (stat): 22073 (java) R 22072 8378 8377 0 -1 0 18123 3 1 0 102841 53 0 0 25 0 11 0 724164952 858689536 28081 4294967295 134512640 134569956 3221224368 3221214552 1131376173 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209641 28081 13086 16 0 209625 0
vsize: 838564
[startup+1070.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22092
Raw data (stat): 22073 (java) R 22072 8378 8377 0 -1 0 18123 3 1 0 103820 53 0 0 25 0 11 0 724164952 858689536 28082 4294967295 134512640 134569956 3221224368 3221214628 1130885141 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209641 28082 13086 16 0 209625 0
vsize: 838564
[startup+1080.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22092
Raw data (stat): 22073 (java) R 22072 8378 8377 0 -1 0 18123 3 1 0 104797 53 0 0 24 0 11 0 724164952 858689536 28128 4294967295 134512640 134569956 3221224368 3221214672 1131519278 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209641 28128 13086 16 0 209625 0
vsize: 838564
[startup+1090.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22092
Raw data (stat): 22073 (java) R 22072 8378 8377 0 -1 0 18123 3 1 0 105783 53 0 0 25 0 11 0 724164952 858689536 28131 4294967295 134512640 134569956 3221224368 3221214656 1131525012 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209641 28131 13086 16 0 209625 0
vsize: 838564
[startup+1100.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22092
Raw data (stat): 22073 (java) R 22072 8378 8377 0 -1 0 18123 3 1 0 106768 53 0 0 25 0 11 0 724164952 858689536 28169 4294967295 134512640 134569956 3221224368 3221214672 1131519852 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209641 28169 13086 16 0 209625 0
vsize: 838564
[startup+1110.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22092
Raw data (stat): 22073 (java) R 22072 8378 8377 0 -1 0 18123 3 1 0 107757 53 0 0 25 0 11 0 724164952 858689536 28213 4294967295 134512640 134569956 3221224368 3221214560 1131239750 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209641 28213 13086 16 0 209625 0
vsize: 838564
[startup+1120.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22092
Raw data (stat): 22073 (java) R 22072 8378 8377 0 -1 0 18123 3 1 0 108746 53 0 0 25 0 11 0 724164952 858689536 28213 4294967295 134512640 134569956 3221224368 3221214744 1131504166 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209641 28213 13086 16 0 209625 0
vsize: 838564
[startup+1130.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22092
Raw data (stat): 22073 (java) R 22072 8378 8377 0 -1 0 18123 3 1 0 109727 54 0 0 25 0 11 0 724164952 858689536 28213 4294967295 134512640 134569956 3221224368 3221214656 1131524628 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209641 28213 13086 16 0 209625 0
vsize: 838564
[startup+1140.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22092
Raw data (stat): 22073 (java) R 22072 8378 8377 0 -1 0 18123 3 1 0 110705 54 0 0 24 0 11 0 724164952 858689536 28213 4294967295 134512640 134569956 3221224368 3221214552 1131376378 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209641 28213 13086 16 0 209625 0
vsize: 838564
[startup+1150.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22092
Raw data (stat): 22073 (java) R 22072 8378 8377 0 -1 0 18123 3 1 0 111687 54 0 0 25 0 11 0 724164952 858689536 28257 4294967295 134512640 134569956 3221224368 3221214656 1131525256 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209641 28257 13086 16 0 209625 0
vsize: 838564
[startup+1160.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22092
Raw data (stat): 22073 (java) R 22072 8378 8377 0 -1 0 18123 3 1 0 112670 54 0 0 25 0 11 0 724164952 858689536 28257 4294967295 134512640 134569956 3221224368 3221214672 1131519275 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209641 28257 13086 16 0 209625 0
vsize: 838564
[startup+1170.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22092
Raw data (stat): 22073 (java) R 22072 8378 8377 0 -1 0 18123 3 1 0 113652 55 0 0 25 0 11 0 724164952 858689536 28268 4294967295 134512640 134569956 3221224368 3221214552 1131376173 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209641 28268 13086 16 0 209625 0
vsize: 838564
[startup+1180.06 s]
Raw data (loadavg): 1.08 1.02 1.01 2/65 22092
Raw data (stat): 22073 (java) R 22072 8378 8377 0 -1 0 18123 3 1 0 114638 55 0 0 25 0 11 0 724164952 858689536 28360 4294967295 134512640 134569956 3221224368 3221214656 1131524594 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209641 28360 13086 16 0 209625 0
vsize: 838564
[startup+1190.06 s]
Raw data (loadavg): 1.07 1.02 1.00 2/65 22092
Raw data (stat): 22073 (java) R 22072 8378 8377 0 -1 0 18123 3 1 0 115625 55 0 0 25 0 11 0 724164952 858689536 28360 4294967295 134512640 134569956 3221224368 3221214680 1131303387 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209641 28360 13086 16 0 209625 0
vsize: 838564
[startup+1200.06 s]
Raw data (loadavg): 1.06 1.01 1.00 2/65 22092
Raw data (stat): 22073 (java) R 22072 8378 8377 0 -1 0 18123 3 1 0 116611 55 0 0 25 0 11 0 724164952 858689536 28360 4294967295 134512640 134569956 3221224368 3221214656 1131524541 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209641 28360 13086 16 0 209625 0
vsize: 838564
[startup+1210.06 s]
Raw data (loadavg): 1.05 1.01 1.00 2/65 22092
Raw data (stat): 22073 (java) R 22072 8378 8377 0 -1 0 18123 3 1 0 117597 55 0 0 25 0 11 0 724164952 858689536 28360 4294967295 134512640 134569956 3221224368 3221214552 1131375995 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209641 28360 13086 16 0 209625 0
vsize: 838564
[startup+1220.06 s]
Raw data (loadavg): 1.04 1.01 1.00 2/65 22092
Raw data (stat): 22073 (java) R 22072 8378 8377 0 -1 0 18123 3 1 0 118583 56 0 0 25 0 11 0 724164952 858689536 28360 4294967295 134512640 134569956 3221224368 3221214656 1131525116 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209641 28360 13086 16 0 209625 0
vsize: 838564
[startup+1230.06 s]
Raw data (loadavg): 1.03 1.01 1.00 2/65 22092
Raw data (stat): 22073 (java) R 22072 8378 8377 0 -1 0 18123 3 1 0 119575 56 0 0 25 0 11 0 724164952 858689536 28430 4294967295 134512640 134569956 3221224368 3221214548 1131376579 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209641 28430 13086 16 0 209625 0
vsize: 838564
[startup+1240.06 s]
Raw data (loadavg): 1.03 1.01 1.00 2/65 22092
Raw data (stat): 22073 (java) R 22072 8378 8377 0 -1 0 18123 3 1 0 120560 56 0 0 25 0 11 0 724164952 858689536 28430 4294967295 134512640 134569956 3221224368 3221214560 1131239717 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209641 28430 13086 16 0 209625 0
vsize: 838564
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1240.39 s]
Raw data (loadavg): 1.03 1.01 1.00 1/55 22094
Raw data (stat): 22073 (java) Z 22072 8378 8377 0 -1 1036 18123 14137 1 0 120587 61 4461 38 25 0 1 0 724164952 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.39
CPU time (s): 1251.49
CPU user time (s): 1250.49
CPU system time (s): 1.00885
CPU usage (%): 100.895
Max. virtual memory (Kb): 839864
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	14067
#### END VERIFIER DATA ####