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/miplib/normalized-mps-v2-20-10-lp4l.opb
MD5SUM	3c39e3c2b993ee2185e2a1a3e73b9723
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	3744
Optimality of the best value was proved	NO
Number of terms in the objective function	1086
Biggest coefficient in the objective function	283
Number of bits for the biggest coefficient in the objective function	9
Sum of the numbers in the objective function	197191
Number of bits of the sum of numbers in the objective function	18
Biggest number in a constraint	283
Number of bits of the biggest number in a constraint	9
Biggest sum of numbers in a constraint	197191
Number of bits of the biggest sum of numbers	18
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.09
Number of variables	1086
Total number of constraints	1171
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	1170
Number of constraints which are nor clauses,nor cardinality constraints	1
Minimum length of a constraint	1
Maximum length of a constraint	1086
Trace number 29531

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc8 THE 2005-05-25 08:42:02 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=20929 boxname=wulflinc8 idbench=917 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  3c39e3c2b993ee2185e2a1a3e73b9723  /oldhome/oroussel/tmp/wulflinc8/normalized-mps-v2-20-10-lp4l.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc8/normalized-mps-v2-20-10-lp4l.opb
IDLAUNCH: 20929
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
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.007
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:        303384 kB
Buffers:         37660 kB
Cached:         667160 kB
SwapCached:          0 kB
Active:          83516 kB
Inactive:       628260 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        303132 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           7068 kB
Slab:            13696 kB
Committed_AS:    63700 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 09:02:54 (client local time) WITH STATUS 143 IN 1248.43 SECONDS
stats: 20929 0 1248.43 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/wulflinc8/normalized-mps-v2-20-10-lp4l.opb
c reading problem ... done. Time 2.738 ms.
c #vars     1086
c #constraints  169
c SATISFIABLE
c OPTIMIZING...
c CURRENT OPTIMUM=                5165 		Current CPU time: 11.97 ms
c CURRENT OPTIMUM=                4773 		Current CPU time: 799.10 ms
c starts	: 7
c conflicts	: 779
c decisions	: 7890
c propagations	: 42709
c inspects	: 560902
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 778
c root simplifications	: 7
s SATISFIABLE
v -CO100001_bit0 -CO100002_bit0 -CO100003_bit0 -CO100004_bit0 -CO100005_bit0 -CO100006_bit0 -CO100007_bit0 -CO100008_bit0 -CO100009_bit0 -CO100010_bit0 -CO100011_bit0 -CO100012_bit0 CO100013_bit0 -CO100014_bit0 -CO100015_bit0 -CO100016_bit0 -CO100017_bit0 -CO100018_bit0 -CO100019_bit0 -CO100020_bit0 -CO100021_bit0 -CO100022_bit0 -CO100023_bit0 -CO100024_bit0 -CO100025_bit0 -CO100026_bit0 -CO100027_bit0 -CO100028_bit0 -CO100029_bit0 -CO100030_bit0 -CO100031_bit0 -CO100032_bit0 -CO100033_bit0 -CO100034_bit0 -CO100035_bit0 -CO100036_bit0 -CO100037_bit0 -CO100038_bit0 -CO100039_bit0 -CO100040_bit0 -CO100041_bit0 -CO100042_bit0 -CO100043_bit0 -CO100044_bit0 -CO100045_bit0 -CO100046_bit0 -CO100047_bit0 -CO100048_bit0 -CO100049_bit0 -CO100050_bit0 -CO100051_bit0 -CO100052_bit0 -CO100053_bit0 -CO100054_bit0 -CO100055_bit0 -CO100056_bit0 -CO100057_bit0 -CO100058_bit0 -CO100059_bit0 -CO100060_bit0 -CO100061_bit0 -CO100062_bit0 CO100063_bit0 -CO100064_bit0 -CO100065_bit0 -CO100066_bit0 -CO100067_bit0 -CO100068_bit0 -CO100069_bit0 -CO100070_bit0 -CO100071_bit0 -CO100072_bit0 -CO100073_bit0 -CO100074_bit0 -CO100075_bit0 -CO100076_bit0 -CO100077_bit0 -CO100078_bit0 -CO100079_bit0 -CO100080_bit0 -CO100081_bit0 -CO100082_bit0 -CO100083_bit0 CO100084_bit0 -CO100085_bit0 -CO100086_bit0 -CO100087_bit0 -CO100088_bit0 -CO100089_bit0 -CO100090_bit0 -CO100091_bit0 -CO100092_bit0 -CO100093_bit0 -CO100094_bit0 -CO100095_bit0 -CO100096_bit0 -CO100097_bit0 -CO100098_bit0 -CO100099_bit0 -CO100100_bit0 -CO100101_bit0 -CO100102_bit0 -CO100103_bit0 -CO100104_bit0 -CO100105_bit0 -CO100106_bit0 -CO100107_bit0 -CO100108_bit0 -CO100109_bit0 -CO100110_bit0 -CO100111_bit0 -CO100112_bit0 -CO100113_bit0 -CO100114_bit0 -CO100115_bit0 -CO100116_bit0 -CO100117_bit0 -CO100118_bit0 CO100119_bit0 -CO100120_bit0 -CO100121_bit0 -CO100122_bit0 -CO100123_bit0 -CO100124_bit0 -CO100125_bit0 -CO100126_bit0 -CO100127_bit0 -CO100128_bit0 -CO100129_bit0 -CO100130_bit0 -CO100131_bit0 -CO100132_bit0 -CO100133_bit0 -CO100134_bit0 -CO100135_bit0 -CO100136_bit0 CO100137_bit0 -CO100138_bit0 -CO100139_bit0 -CO100140_bit0 -CO100141_bit0 -CO100142_bit0 -CO100143_bit0 -CO100144_bit0 -CO100145_bit0 -CO100146_bit0 -CO100147_bit0 -CO100148_bit0 -CO100149_bit0 -CO100150_bit0 -CO100151_bit0 -CO100152_bit0 -CO100153_bit0 -CO100154_bit0 -CO100155_bit0 -CO100156_bit0 -CO100157_bit0 -CO100158_bit0 -CO100159_bit0 -CO100160_bit0 -CO100161_bit0 -CO100162_bit0 -CO100163_bit0 -CO100164_bit0 -CO100165_bit0 -CO100166_bit0 -CO100167_bit0 -CO100168_bit0 -CO100169_bit0 -CO100170_bit0 -CO100171_bit0 -CO100172_bit0 -CO100173_bit0 -CO100174_bit0 -CO100175_bit0 -CO100176_bit0 -CO100177_bit0 -CO100178_bit0 -CO100179_bit0 -CO100180_bit0 -CO100181_bit0 -CO100182_bit0 -CO100183_bit0 -CO100184_bit0 -CO100185_bit0 -CO100186_bit0 -CO100187_bit0 -CO100188_bit0 -CO100189_bit0 -CO100190_bit0 -CO100191_bit0 -CO100192_bit0 -CO100193_bit0 -CO100194_bit0 -CO100195_bit0 -CO100196_bit0 -CO100197_bit0 -CO100198_bit0 CO100199_bit0 -CO100200_bit0 -CO100201_bit0 -CO100202_bit0 -CO100203_bit0 -CO100204_bit0 -CO100205_bit0 -CO100206_bit0 -CO100207_bit0 -CO100208_bit0 -CO100209_bit0 -CO100210_bit0 -CO100211_bit0 -CO100212_bit0 -CO100213_bit0 -CO100214_bit0 -CO100215_bit0 -CO100216_bit0 -CO100217_bit0 -CO100218_bit0 -CO100219_bit0 -CO100220_bit0 -CO100221_bit0 -CO100222_bit0 -CO100223_bit0 -CO100224_bit0 -CO100225_bit0 -CO100226_bit0 -CO100227_bit0 -CO100228_bit0 -CO100229_bit0 -CO100230_bit0 -CO100231_bit0 -CO100232_bit0 -CO100233_bit0 CO100234_bit0 -CO100235_bit0 -CO100236_bit0 -CO100237_bit0 -CO100238_bit0 -CO100239_bit0 -CO100240_bit0 -CO100241_bit0 -CO100242_bit0 -CO100243_bit0 -CO100244_bit0 -CO100245_bit0 -CO100246_bit0 -CO100247_bit0 -CO100248_bit0 -CO100249_bit0 -CO100250_bit0 -CO100251_bit0 -CO100252_bit0 -CO100253_bit0 -CO100254_bit0 -CO100255_bit0 -CO100256_bit0 -CO100257_bit0 -CO100258_bit0 -CO100259_bit0 -CO100260_bit0 -CO100261_bit0 -CO100262_bit0 -CO100263_bit0 -CO100264_bit0 -CO100265_bit0 -CO100266_bit0 -CO100267_bit0 -CO100268_bit0 -CO100269_bit0 -CO100270_bit0 -CO100271_bit0 -CO100272_bit0 -CO100273_bit0 -CO100274_bit0 -CO100275_bit0 -CO100276_bit0 -CO100277_bit0 -CO100278_bit0 -CO100279_bit0 -CO100280_bit0 -CO100281_bit0 -CO100282_bit0 -CO100283_bit0 -CO100284_bit0 -CO100285_bit0 -CO100286_bit0 -CO100287_bit0 -CO100288_bit0 -CO100289_bit0 -CO100290_bit0 -CO100291_bit0 -CO100292_bit0 -CO100293_bit0 -CO100294_bit0 -CO100295_bit0 CO100296_bit0 -CO100297_bit0 -CO100298_bit0 -CO100299_bit0 -CO100300_bit0 -CO100301_bit0 -CO100302_bit0 -CO100303_bit0 -CO100304_bit0 -CO100305_bit0 -CO100306_bit0 -CO100307_bit0 -CO100308_bit0 -CO100309_bit0 -CO100310_bit0 -CO100311_bit0 -CO100312_bit0 -CO100313_bit0 -CO100314_bit0 -CO100315_bit0 -CO100316_bit0 -CO100317_bit0 -CO100318_bit0 -CO100319_bit0 -CO100320_bit0 -CO100321_bit0 -CO100322_bit0 -CO100323_bit0 -CO100324_bit0 -CO100325_bit0 -CO100326_bit0 -CO100327_bit0 -CO100328_bit0 -CO100329_bit0 -CO100330_bit0 -CO100331_bit0 -CO100332_bit0 -CO100333_bit0 -CO100334_bit0 -CO100335_bit0 -CO100336_bit0 -CO100337_bit0 -CO100338_bit0 -CO100339_bit0 -CO100340_bit0 -CO100341_bit0 -CO100342_bit0 -CO100343_bit0 -CO100344_bit0 -CO100345_bit0 -CO100346_bit0 -CO100347_bit0 -CO100348_bit0 -CO100349_bit0 -CO100350_bit0 -CO100351_bit0 -CO100352_bit0 -CO100353_bit0 -CO100354_bit0 -CO100355_bit0 -CO100356_bit0 -CO100357_bit0 -CO100358_bit0 -CO100359_bit0 -CO100360_bit0 CO100361_bit0 -CO100362_bit0 -CO100363_bit0 -CO100364_bit0 -CO100365_bit0 -CO100366_bit0 -CO100367_bit0 -CO100368_bit0 -CO100369_bit0 -CO100370_bit0 -CO100371_bit0 -CO100372_bit0 -CO100373_bit0 -CO100374_bit0 -CO100375_bit0 -CO100376_bit0 -CO100377_bit0 -CO100378_bit0 -CO100379_bit0 -CO100380_bit0 -CO100381_bit0 -CO100382_bit0 -CO100383_bit0 -CO100384_bit0 -CO100385_bit0 -CO100386_bit0 -CO100387_bit0 -CO100388_bit0 -CO100389_bit0 -CO100390_bit0 -CO100391_bit0 -CO100392_bit0 -CO100393_bit0 -CO100394_bit0 -CO100395_bit0 -CO100396_bit0 -CO100397_bit0 -CO100398_bit0 -CO100399_bit0 -CO100400_bit0 -CO100401_bit0 -CO100402_bit0 -CO100403_bit0 -CO100404_bit0 -CO100405_bit0 -CO100406_bit0 -CO100407_bit0 -CO100408_bit0 -CO100409_bit0 -CO100410_bit0 -CO100411_bit0 -CO100412_bit0 -CO100413_bit0 -CO100414_bit0 -CO100415_bit0 -CO100416_bit0 -CO100417_bit0 -CO100418_bit0 -CO100419_bit0 -CO100420_bit0 -CO100421_bit0 -CO100422_bit0 -CO100423_bit0 CO100424_bit0 -CO100425_bit0 -CO100426_bit0 -CO100427_bit0 -CO100428_bit0 -CO100429_bit0 -CO100430_bit0 -CO100431_bit0 -CO100432_bit0 -CO100433_bit0 -CO100434_bit0 -CO100435_bit0 -CO100436_bit0 -CO100437_bit0 -CO100438_bit0 -CO100439_bit0 -CO100440_bit0 -CO100441_bit0 -CO100442_bit0 -CO100443_bit0 -CO100444_bit0 -CO100445_bit0 -CO100446_bit0 -CO100447_bit0 -CO100448_bit0 -CO100449_bit0 -CO100450_bit0 -CO100451_bit0 -CO100452_bit0 -CO100453_bit0 -CO100454_bit0 -CO100455_bit0 -CO100456_bit0 -CO100457_bit0 -CO100458_bit0 CO100459_bit0 -CO100460_bit0 -CO100461_bit0 -CO100462_bit0 -CO100463_bit0 -CO100464_bit0 -CO100465_bit0 -CO100466_bit0 -CO100467_bit0 -CO100468_bit0 -CO100469_bit0 -CO100470_bit0 -CO100471_bit0 -CO100472_bit0 -CO100473_bit0 -CO100474_bit0 -CO100475_bit0 -CO100476_bit0 -CO100477_bit0 -CO100478_bit0 -CO100479_bit0 -CO100480_bit0 -CO100481_bit0 -CO100482_bit0 -CO100483_bit0 -CO100484_bit0 -CO100485_bit0 -CO100486_bit0 -CO100487_bit0 -CO100488_bit0 -CO100489_bit0 -CO100490_bit0 -CO100491_bit0 -CO100492_bit0 -CO100493_bit0 -CO100494_bit0 -CO100495_bit0 -CO100496_bit0 -CO100497_bit0 -CO100498_bit0 -CO100499_bit0 -CO100500_bit0 -CO100501_bit0 -CO100502_bit0 -CO100503_bit0 -CO100504_bit0 -CO100505_bit0 -CO100506_bit0 -CO100507_bit0 -CO100508_bit0 -CO100509_bit0 -CO100510_bit0 -CO100511_bit0 -CO100512_bit0 -CO100513_bit0 -CO100514_bit0 CO100515_bit0 -CO100516_bit0 -CO100517_bit0 -CO100518_bit0 -CO100519_bit0 -CO100520_bit0 -CO100521_bit0 -CO100522_bit0 -CO100523_bit0 -CO100524_bit0 -CO100525_bit0 -CO100526_bit0 -CO100527_bit0 -CO100528_bit0 -CO100529_bit0 -CO100530_bit0 -CO100531_bit0 -CO100532_bit0 -CO100533_bit0 -CO100534_bit0 -CO100535_bit0 -CO100536_bit0 -CO100537_bit0 -CO100538_bit0 -CO100539_bit0 -CO100540_bit0 -CO100541_bit0 -CO100542_bit0 -CO100543_bit0 -CO100544_bit0 -CO100545_bit0 -CO100546_bit0 -CO100547_bit0 -CO100548_bit0 -CO100549_bit0 -CO100550_bit0 -CO100551_bit0 CO100552_bit0 -CO100553_bit0 -CO100554_bit0 -CO100555_bit0 -CO100556_bit0 -CO100557_bit0 -CO100558_bit0 -CO100559_bit0 -CO100560_bit0 -CO100561_bit0 -CO100562_bit0 -CO100563_bit0 -CO100564_bit0 -CO100565_bit0 -CO100566_bit0 -CO100567_bit0 -CO100568_bit0 -CO100569_bit0 -CO100570_bit0 -CO100571_bit0 -CO100572_bit0 -CO100573_bit0 -CO100574_bit0 -CO100575_bit0 -CO100576_bit0 -CO100577_bit0 -CO100578_bit0 -CO100579_bit0 -CO100580_bit0 -CO100581_bit0 -CO100582_bit0 -CO100583_bit0 -CO100584_bit0 CO100585_bit0 -CO100586_bit0 -CO100587_bit0 -CO100588_bit0 -CO100589_bit0 -CO100590_bit0 -CO100591_bit0 -CO100592_bit0 -CO100593_bit0 -CO100594_bit0 -CO100595_bit0 -CO100596_bit0 -CO100597_bit0 -CO100598_bit0 -CO100599_bit0 -CO100600_bit0 -CO100601_bit0 -CO100602_bit0 -CO100603_bit0 -CO100604_bit0 -CO100605_bit0 -CO100606_bit0 -CO100607_bit0 -CO100608_bit0 -CO100609_bit0 -CO100610_bit0 -CO100611_bit0 -CO100612_bit0 -CO100613_bit0 -CO100614_bit0 -CO100615_bit0 -CO100616_bit0 -CO100617_bit0 -CO100618_bit0 -CO100619_bit0 -CO100620_bit0 -CO100621_bit0 -CO100622_bit0 -CO100623_bit0 -CO100624_bit0 -CO100625_bit0 -CO100626_bit0 -CO100627_bit0 -CO100628_bit0 -CO100629_bit0 -CO100630_bit0 -CO100631_bit0 -CO100632_bit0 -CO100633_bit0 -CO100634_bit0 -CO100635_bit0 -CO100636_bit0 -CO100637_bit0 -CO100638_bit0 -CO100639_bit0 -CO100640_bit0 -CO100641_bit0 -CO100642_bit0 -CO100643_bit0 -CO100644_bit0 -CO100645_bit0 -CO100646_bit0 -CO100647_bit0 -CO100648_bit0 -CO100649_bit0 -CO100650_bit0 -CO100651_bit0 -CO100652_bit0 -CO100653_bit0 -CO100654_bit0 -CO100655_bit0 -CO100656_bit0 -CO100657_bit0 -CO100658_bit0 -CO100659_bit0 -CO100660_bit0 -CO100661_bit0 -CO100662_bit0 -CO100663_bit0 CO100664_bit0 -CO100665_bit0 -CO100666_bit0 -CO100667_bit0 -CO100668_bit0 -CO100669_bit0 -CO100670_bit0 -CO100671_bit0 -CO100672_bit0 -CO100673_bit0 -CO100674_bit0 -CO100675_bit0 -CO100676_bit0 -CO100677_bit0 -CO100678_bit0 -CO100679_bit0 -CO100680_bit0 -CO100681_bit0 -CO100682_bit0 -CO100683_bit0 -CO100684_bit0 -CO100685_bit0 -CO100686_bit0 -CO100687_bit0 -CO100688_bit0 -CO100689_bit0 -CO100690_bit0 -CO100691_bit0 -CO100692_bit0 -CO100693_bit0 -CO100694_bit0 -CO100695_bit0 -CO100696_bit0 -CO100697_bit0 -CO100698_bit0 -CO100699_bit0 -CO100700_bit0 -CO100701_bit0 -CO100702_bit0 -CO100703_bit0 -CO100704_bit0 -CO100705_bit0 -CO100706_bit0 -CO100707_bit0 -CO100708_bit0 -CO100709_bit0 -CO100710_bit0 -CO100711_bit0 -CO100712_bit0 -CO100713_bit0 -CO100714_bit0 -CO100715_bit0 -CO100716_bit0 -CO100717_bit0 -CO100718_bit0 -CO100719_bit0 -CO100720_bit0 -CO100721_bit0 -CO100722_bit0 -CO100723_bit0 -CO100724_bit0 -CO100725_bit0 -CO100726_bit0 -CO100727_bit0 -CO100728_bit0 -CO100729_bit0 -CO100730_bit0 -CO100731_bit0 -CO100732_bit0 -CO100733_bit0 -CO100734_bit0 -CO100735_bit0 -CO100736_bit0 -CO100737_bit0 -CO100738_bit0 -CO100739_bit0 -CO100740_bit0 -CO100741_bit0 -CO100742_bit0 -CO100743_bit0 -CO100744_bit0 -CO100745_bit0 -CO100746_bit0 -CO100747_bit0 -CO100748_bit0 -CO100749_bit0 -CO100750_bit0 -CO100751_bit0 -CO100752_bit0 -CO100753_bit0 -CO100754_bit0 -CO100755_bit0 -CO100756_bit0 -CO100757_bit0 -CO100758_bit0 -CO100759_bit0 -CO100760_bit0 -CO100761_bit0 -CO100762_bit0 -CO100763_bit0 -CO100764_bit0 -CO100765_bit0 -CO100766_bit0 -CO100767_bit0 -CO100768_bit0 -CO100769_bit0 -CO100770_bit0 -CO100771_bit0 -CO100772_bit0 -CO100773_bit0 -CO100774_bit0 -CO100775_bit0 -CO100776_bit0 -CO100777_bit0 -CO100778_bit0 -CO100779_bit0 -CO100780_bit0 -CO100781_bit0 -CO100782_bit0 -CO100783_bit0 -CO100784_bit0 -CO100785_bit0 -CO100786_bit0 -CO100787_bit0 -CO100788_bit0 -CO100789_bit0 -CO100790_bit0 -CO100791_bit0 -CO100792_bit0 -CO100793_bit0 -CO100794_bit0 -CO100795_bit0 -CO100796_bit0 -CO100797_bit0 -CO100798_bit0 -CO100799_bit0 -CO100800_bit0 -CO100801_bit0 -CO100802_bit0 -CO100803_bit0 -CO100804_bit0 -CO100805_bit0 -CO100806_bit0 -CO100807_bit0 -CO100808_bit0 -CO100809_bit0 -CO100810_bit0 -CO100811_bit0 -CO100812_bit0 -CO100813_bit0 -CO100814_bit0 -CO100815_bit0 -CO100816_bit0 -CO100817_bit0 -CO100818_bit0 -CO100819_bit0 -CO100820_bit0 -CO100821_bit0 -CO100822_bit0 -CO100823_bit0 -CO100824_bit0 -CO100825_bit0 -CO100826_bit0 -CO100827_bit0 -CO100828_bit0 -CO100829_bit0 -CO100830_bit0 -CO100831_bit0 -CO100832_bit0 -CO100833_bit0 -CO100834_bit0 -CO100835_bit0 -CO100836_bit0 -CO100837_bit0 -CO100838_bit0 -CO100839_bit0 -CO100840_bit0 -CO100841_bit0 -CO100842_bit0 -CO100843_bit0 -CO100844_bit0 CO100845_bit0 -CO100846_bit0 -CO100847_bit0 -CO100848_bit0 -CO100849_bit0 -CO100850_bit0 -CO100851_bit0 -CO100852_bit0 -CO100853_bit0 -CO100854_bit0 CO100855_bit0 -CO100856_bit0 -CO100857_bit0 -CO100858_bit0 -CO100859_bit0 -CO100860_bit0 -CO100861_bit0 -CO100862_bit0 -CO100863_bit0 -CO100864_bit0 -CO100865_bit0 -CO100866_bit0 -CO100867_bit0 -CO100868_bit0 -CO100869_bit0 -CO100870_bit0 -CO100871_bit0 -CO100872_bit0 -CO100873_bit0 -CO100874_bit0 -CO100875_bit0 -CO100876_bit0 -CO100877_bit0 -CO100878_bit0 -CO100879_bit0 -CO100880_bit0 -CO100881_bit0 -CO100882_bit0 -CO100883_bit0 -CO100884_bit0 -CO100885_bit0 -CO100886_bit0 -CO100887_bit0 CO100888_bit0 -CO100889_bit0 -CO100890_bit0 -CO100891_bit0 -CO100892_bit0 -CO100893_bit0 -CO100894_bit0 -CO100895_bit0 -CO100896_bit0 -CO100897_bit0 -CO100898_bit0 -CO100899_bit0 -CO100900_bit0 -CO100901_bit0 -CO100902_bit0 -CO100903_bit0 -CO100904_bit0 -CO100905_bit0 -CO100906_bit0 -CO100907_bit0 -CO100908_bit0 -CO100909_bit0 -CO100910_bit0 -CO100911_bit0 -CO100912_bit0 -CO100913_bit0 -CO100914_bit0 -CO100915_bit0 -CO100916_bit0 -CO100917_bit0 -CO100918_bit0 -CO100919_bit0 -CO100920_bit0 -CO100921_bit0 -CO100922_bit0 -CO100923_bit0 -CO100924_bit0 -CO100925_bit0 -CO100926_bit0 -CO100927_bit0 -CO100928_bit0 -CO100929_bit0 -CO100930_bit0 -CO100931_bit0 CO100932_bit0 -CO100933_bit0 -CO100934_bit0 -CO100935_bit0 -CO100936_bit0 -CO100937_bit0 -CO100938_bit0 -CO100939_bit0 -CO100940_bit0 CO100941_bit0 -CO100942_bit0 -CO100943_bit0 -CO100944_bit0 -CO100945_bit0 -CO100946_bit0 -CO100947_bit0 -CO100948_bit0 -CO100949_bit0 -CO100950_bit0 CO100951_bit0 -CO100952_bit0 -CO100953_bit0 -CO100954_bit0 -CO100955_bit0 -CO100956_bit0 -CO100957_bit0 -CO100958_bit0 -CO100959_bit0 -CO100960_bit0 -CO100961_bit0 -CO100962_bit0 -CO100963_bit0 -CO100964_bit0 -CO100965_bit0 -CO100966_bit0 -CO100967_bit0 CO100968_bit0 -CO100969_bit0 -CO100970_bit0 -CO100971_bit0 -CO100972_bit0 -CO100973_bit0 -CO100974_bit0 -CO100975_bit0 -CO100976_bit0 -CO100977_bit0 -CO100978_bit0 -CO100979_bit0 -CO100980_bit0 -CO100981_bit0 -CO100982_bit0 -CO100983_bit0 -CO100984_bit0 -CO100985_bit0 -CO100986_bit0 -CO100987_bit0 -CO100988_bit0 -CO100989_bit0 -CO100990_bit0 -CO100991_bit0 -CO100992_bit0 -CO100993_bit0 -CO100994_bit0 -CO100995_bit0 -CO100996_bit0 -CO100997_bit0 CO100998_bit0 -CO100999_bit0 -CO101000_bit0 -CO101001_bit0 -CO101002_bit0 -CO101003_bit0 -CO101004_bit0 -CO101005_bit0 -CO101006_bit0 -CO101007_bit0 -CO101008_bit0 -CO101009_bit0 -CO101010_bit0 -CO101011_bit0 -CO101012_bit0 -CO101013_bit0 -CO101014_bit0 -CO101015_bit0 -CO101016_bit0 -CO101017_bit0 -CO101018_bit0 -CO101019_bit0 -CO101020_bit0 -CO101021_bit0 -CO101022_bit0 -CO101023_bit0 -CO101024_bit0 -CO101025_bit0 -CO101026_bit0 -CO101027_bit0 -CO101028_bit0 -CO101029_bit0 -CO101030_bit0 -CO101031_bit0 -CO101032_bit0 -CO101033_bit0 -CO101034_bit0 -CO101035_bit0 CO101036_bit0 -CO101037_bit0 -CO101038_bit0 -CO101039_bit0 -CO101040_bit0 -CO101041_bit0 -CO101042_bit0 -CO101043_bit0 -CO101044_bit0 -CO101045_bit0 -CO101046_bit0 -CO101047_bit0 -CO101048_bit0 -CO101049_bit0 -CO101050_bit0 -CO101051_bit0 -CO101052_bit0 -CO101053_bit0 CO101054_bit0 -CO101055_bit0 -CO101056_bit0 -CO101057_bit0 -CO101058_bit0 -CO101059_bit0 -CO101060_bit0 -CO101061_bit0 -CO101062_bit0 -CO101063_bit0 -CO101064_bit0 -CO101065_bit0 -CO101066_bit0 -CO101067_bit0 -CO101068_bit0 -CO101069_bit0 -CO101070_bit0 -CO101071_bit0 -CO101072_bit0 CO101073_bit0 -CO101074_bit0 -CO101075_bit0 -CO101076_bit0 -CO101077_bit0 CO101078_bit0 -CO101079_bit0 -CO101080_bit0 -CO101081_bit0 -CO101082_bit0 -CO101083_bit0 -CO101084_bit0 -CO101085_bit0 -CO101086_bit0 
c objectif function=4773
c Total CPU time (ms) : 1249.355
#### 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): 1.01 1.00 1.00 2/54 16127
Raw data (stat): 16127 (runsolver) R 16126 3132 3131 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 765734611 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.0008 s]
Raw data (loadavg): 1.15 1.03 1.01 2/64 16137
Raw data (stat): 16127 (java) R 16126 3132 3131 0 -1 0 18092 0 1 0 777 38 0 0 25 0 11 0 765734611 860020736 20812 4294967295 134512640 134569956 3221224368 3221214780 1131341443 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209966 20812 13086 16 0 209950 0
vsize: 839864
[startup+20.0014 s]
Raw data (loadavg): 1.13 1.03 1.01 2/64 16138
Raw data (stat): 16127 (java) R 16126 3132 3131 0 -1 0 18139 3 1 0 1691 38 0 0 25 0 11 0 765734611 859201536 22148 4294967295 134512640 134569956 3221224368 3221214608 1131331067 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209766 22148 13086 16 0 209750 0
vsize: 839064
[startup+30.0018 s]
Raw data (loadavg): 1.18 1.04 1.01 2/64 16138
Raw data (stat): 16127 (java) R 16126 3132 3131 0 -1 0 18140 3 1 0 2648 38 0 0 25 0 11 0 765734611 858808320 22061 4294967295 134512640 134569956 3221224368 3221214640 1131287811 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209670 22061 13086 16 0 209654 0
vsize: 838680
[startup+40.0025 s]
Raw data (loadavg): 1.15 1.04 1.01 2/64 16138
Raw data (stat): 16127 (java) R 16126 3132 3131 0 -1 0 18140 3 1 0 3610 38 0 0 25 0 11 0 765734611 858808320 22062 4294967295 134512640 134569956 3221224368 3221214376 1076614593 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209670 22062 13086 16 0 209654 0
vsize: 838680
[startup+50.0029 s]
Raw data (loadavg): 1.13 1.04 1.01 2/64 16138
Raw data (stat): 16127 (java) R 16126 3132 3131 0 -1 0 18140 3 1 0 4563 39 0 0 25 0 11 0 765734611 858808320 22063 4294967295 134512640 134569956 3221224368 3221214616 1131200250 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209670 22063 13086 16 0 209654 0
vsize: 838680
[startup+60.0041 s]
Raw data (loadavg): 1.11 1.04 1.01 2/64 16138
Raw data (stat): 16127 (java) R 16126 3132 3131 0 -1 0 18140 3 1 0 5517 39 0 0 25 0 11 0 765734611 858808320 22141 4294967295 134512640 134569956 3221224368 3221214520 1131202817 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209670 22141 13086 16 0 209654 0
vsize: 838680
[startup+70.0045 s]
Raw data (loadavg): 1.09 1.04 1.01 2/64 16138
Raw data (stat): 16127 (java) R 16126 3132 3131 0 -1 0 18140 3 1 0 6459 39 0 0 25 0 11 0 765734611 858808320 22441 4294967295 134512640 134569956 3221224368 3221214608 1131331056 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209670 22441 13086 16 0 209654 0
vsize: 838680
[startup+80.0041 s]
Raw data (loadavg): 1.08 1.04 1.01 2/64 16138
Raw data (stat): 16127 (java) R 16126 3132 3131 0 -1 0 18140 3 1 0 7417 39 0 0 25 0 11 0 765734611 858808320 22821 4294967295 134512640 134569956 3221224368 3221214536 1131248071 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209670 22821 13086 16 0 209654 0
vsize: 838680
[startup+90.0045 s]
Raw data (loadavg): 1.06 1.03 1.01 2/64 16138
Raw data (stat): 16127 (java) R 16126 3132 3131 0 -1 0 18140 3 1 0 8376 39 0 0 25 0 11 0 765734611 858808320 22822 4294967295 134512640 134569956 3221224368 3221214672 1131247823 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209670 22822 13086 16 0 209654 0
vsize: 838680
[startup+100.004 s]
Raw data (loadavg): 1.05 1.03 1.01 2/64 16138
Raw data (stat): 16127 (java) R 16126 3132 3131 0 -1 0 18140 3 1 0 9328 39 0 0 25 0 11 0 765734611 858808320 22823 4294967295 134512640 134569956 3221224368 3221214644 1131203456 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209670 22823 13086 16 0 209654 0
vsize: 838680
[startup+110.005 s]
Raw data (loadavg): 1.05 1.03 1.01 2/64 16138
Raw data (stat): 16127 (java) R 16126 3132 3131 0 -1 0 18140 3 1 0 10289 39 0 0 25 0 11 0 765734611 858808320 23002 4294967295 134512640 134569956 3221224368 3221214552 1131248015 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209670 23002 13086 16 0 209654 0
vsize: 838680
[startup+120.005 s]
Raw data (loadavg): 1.04 1.03 1.00 2/64 16138
Raw data (stat): 16127 (java) R 16126 3132 3131 0 -1 0 18140 3 1 0 11254 39 0 0 25 0 11 0 765734611 858808320 23141 4294967295 134512640 134569956 3221224368 3221214592 1131246548 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209670 23141 13086 16 0 209654 0
vsize: 838680
[startup+130.007 s]
Raw data (loadavg): 1.03 1.03 1.00 2/64 16138
Raw data (stat): 16127 (java) S 16126 3132 3131 0 -1 0 18140 3 1 0 12225 39 0 0 25 0 11 0 765734611 858808320 23315 4294967295 134512640 134569956 3221224368 3221213256 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209670 23315 13086 16 0 209654 0
vsize: 838680
[startup+140.009 s]
Raw data (loadavg): 1.03 1.03 1.00 2/64 16138
Raw data (stat): 16127 (java) R 16126 3132 3131 0 -1 0 18140 3 1 0 13197 39 0 0 25 0 11 0 765734611 858808320 23426 4294967295 134512640 134569956 3221224368 3221214552 1131247996 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209670 23426 13086 16 0 209654 0
vsize: 838680
[startup+150.009 s]
Raw data (loadavg): 1.02 1.03 1.00 2/64 16138
Raw data (stat): 16127 (java) R 16126 3132 3131 0 -1 0 18140 3 1 0 14177 39 0 0 25 0 11 0 765734611 858808320 23540 4294967295 134512640 134569956 3221224368 3221214656 1131287840 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209670 23540 13086 16 0 209654 0
vsize: 838680
[startup+160.009 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 16138
Raw data (stat): 16127 (java) R 16126 3132 3131 0 -1 0 18140 3 1 0 15157 40 0 0 25 0 11 0 765734611 858808320 23686 4294967295 134512640 134569956 3221224368 3221214680 1131282639 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209670 23686 13086 16 0 209654 0
vsize: 838680
[startup+170.01 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 16138
Raw data (stat): 16127 (java) R 16126 3132 3131 0 -1 0 18140 3 1 0 16119 40 0 0 25 0 11 0 765734611 858808320 23760 4294967295 134512640 134569956 3221224368 3221214672 1131202916 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209670 23760 13086 16 0 209654 0
vsize: 838680
[startup+180.011 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 16138
Raw data (stat): 16127 (java) R 16126 3132 3131 0 -1 0 18140 3 1 0 17059 40 0 0 25 0 11 0 765734611 858808320 23818 4294967295 134512640 134569956 3221224368 3221214632 1131327288 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209670 23818 13086 16 0 209654 0
vsize: 838680
[startup+190.011 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 16138
Raw data (stat): 16127 (java) R 16126 3132 3131 0 -1 0 18140 3 1 0 18008 40 0 0 25 0 11 0 765734611 858808320 23878 4294967295 134512640 134569956 3221224368 3221214784 1131292071 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209670 23878 13086 16 0 209654 0
vsize: 838680
[startup+200.012 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 16138
Raw data (stat): 16127 (java) R 16126 3132 3131 0 -1 0 18140 3 1 0 18956 40 0 0 25 0 11 0 765734611 858808320 23910 4294967295 134512640 134569956 3221224368 3221214680 1131283076 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209670 23910 13086 16 0 209654 0
vsize: 838680
[startup+210.013 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 16138
Raw data (stat): 16127 (java) R 16126 3132 3131 0 -1 0 18140 3 1 0 19887 40 0 0 25 0 11 0 765734611 858808320 24279 4294967295 134512640 134569956 3221224368 3221214784 1131292754 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209670 24279 13086 16 0 209654 0
vsize: 838680
[startup+220.013 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 16138
Raw data (stat): 16127 (java) R 16126 3132 3131 0 -1 0 18140 3 1 0 20827 40 0 0 25 0 11 0 765734611 858808320 24596 4294967295 134512640 134569956 3221224368 3221214536 1131203420 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209670 24596 13086 16 0 209654 0
vsize: 838680
[startup+230.013 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 16138
Raw data (stat): 16127 (java) R 16126 3132 3131 0 -1 0 18140 3 1 0 21799 40 0 0 25 0 11 0 765734611 858808320 24687 4294967295 134512640 134569956 3221224368 3221214588 1130885150 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209670 24687 13086 16 0 209654 0
vsize: 838680
[startup+240.023 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 16138
Raw data (stat): 16127 (java) R 16126 3132 3131 0 -1 0 18140 3 1 0 22749 40 0 0 25 0 11 0 765734611 858808320 24751 4294967295 134512640 134569956 3221224368 3221214552 1131247622 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209670 24751 13086 16 0 209654 0
vsize: 838680
[startup+250.023 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 16138
Raw data (stat): 16127 (java) R 16126 3132 3131 0 -1 0 18140 3 1 0 23689 40 0 0 25 0 11 0 765734611 858808320 24934 4294967295 134512640 134569956 3221224368 3221214552 1131247863 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209670 24934 13086 16 0 209654 0
vsize: 838680
[startup+260.027 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 16138
Raw data (stat): 16127 (java) S 16126 3132 3131 0 -1 0 18140 3 1 0 24645 40 0 0 25 0 11 0 765734611 858808320 25029 4294967295 134512640 134569956 3221224368 3221213256 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209670 25029 13086 16 0 209654 0
vsize: 838680
[startup+270.029 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 16138
Raw data (stat): 16127 (java) R 16126 3132 3131 0 -1 0 18140 3 1 0 25597 40 0 0 25 0 11 0 765734611 858808320 25119 4294967295 134512640 134569956 3221224368 3221214616 1131251747 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209670 25119 13086 16 0 209654 0
vsize: 838680
[startup+280.029 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 16138
Raw data (stat): 16127 (java) R 16126 3132 3131 0 -1 0 18140 3 1 0 26553 40 0 0 25 0 11 0 765734611 858808320 25282 4294967295 134512640 134569956 3221224368 3221214648 1131490076 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209670 25282 13086 16 0 209654 0
vsize: 838680
[startup+290.028 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 16138
Raw data (stat): 16127 (java) R 16126 3132 3131 0 -1 0 18140 3 1 0 27517 40 0 0 25 0 11 0 765734611 858808320 25419 4294967295 134512640 134569956 3221224368 3221214384 1131189760 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209670 25419 13086 16 0 209654 0
vsize: 838680
[startup+300.029 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 16138
Raw data (stat): 16127 (java) R 16126 3132 3131 0 -1 0 18140 3 1 0 28464 40 0 0 25 0 11 0 765734611 858808320 25528 4294967295 134512640 134569956 3221224368 3221214672 1131202850 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209670 25528 13086 16 0 209654 0
vsize: 838680
[startup+310.03 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 16138
Raw data (stat): 16127 (java) R 16126 3132 3131 0 -1 0 18141 3 1 0 29404 40 0 0 25 0 11 0 765734611 858808320 25683 4294967295 134512640 134569956 3221224368 3221214536 1131247863 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209670 25683 13086 16 0 209654 0
vsize: 838680
[startup+320.03 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 16138
Raw data (stat): 16127 (java) R 16126 3132 3131 0 -1 0 18141 3 1 0 30368 40 0 0 25 0 11 0 765734611 858808320 25726 4294967295 134512640 134569956 3221224368 3221214648 1131489760 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209670 25726 13086 16 0 209654 0
vsize: 838680
[startup+330.03 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 16138
Raw data (stat): 16127 (java) R 16126 3132 3131 0 -1 0 18141 3 1 0 31321 41 0 0 25 0 11 0 765734611 858808320 25908 4294967295 134512640 134569956 3221224368 3221214680 1131283200 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209670 25908 13086 16 0 209654 0
vsize: 838680
[startup+340.031 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 16138
Raw data (stat): 16127 (java) R 16126 3132 3131 0 -1 0 18141 3 1 0 32277 41 0 0 25 0 11 0 765734611 858808320 26196 4294967295 134512640 134569956 3221224368 3221214552 1131247770 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209670 26196 13086 16 0 209654 0
vsize: 838680
[startup+350.034 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 16138
Raw data (stat): 16127 (java) S 16126 3132 3131 0 -1 0 18141 3 1 0 33246 41 0 0 25 0 11 0 765734611 858808320 26299 4294967295 134512640 134569956 3221224368 3221213424 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209670 26299 13086 16 0 209654 0
vsize: 838680
[startup+360.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16138
Raw data (stat): 16127 (java) R 16126 3132 3131 0 -1 0 18141 3 1 0 34211 41 0 0 25 0 11 0 765734611 858808320 26361 4294967295 134512640 134569956 3221224368 3221214680 1131282220 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209670 26361 13086 16 0 209654 0
vsize: 838680
[startup+370.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16138
Raw data (stat): 16127 (java) R 16126 3132 3131 0 -1 0 18141 3 1 0 35163 41 0 0 25 0 11 0 765734611 858808320 26417 4294967295 134512640 134569956 3221224368 3221214680 1131282290 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209670 26417 13086 16 0 209654 0
vsize: 838680
[startup+380.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16138
Raw data (stat): 16127 (java) R 16126 3132 3131 0 -1 0 18141 3 1 0 36104 41 0 0 25 0 11 0 765734611 858808320 26527 4294967295 134512640 134569956 3221224368 3221214552 1131247622 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209670 26527 13086 16 0 209654 0
vsize: 838680
[startup+390.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16138
Raw data (stat): 16127 (java) R 16126 3132 3131 0 -1 0 18141 3 1 0 37053 41 0 0 25 0 11 0 765734611 858808320 26585 4294967295 134512640 134569956 3221224368 3221214296 1131513270 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209670 26585 13086 16 0 209654 0
vsize: 838680
[startup+400.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16138
Raw data (stat): 16127 (java) R 16126 3132 3131 0 -1 0 18141 3 1 0 37979 41 0 0 24 0 11 0 765734611 858808320 26797 4294967295 134512640 134569956 3221224368 3221214672 1131202755 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209670 26797 13086 16 0 209654 0
vsize: 838680
[startup+410.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16138
Raw data (stat): 16127 (java) R 16126 3132 3131 0 -1 0 18141 3 1 0 38918 41 0 0 25 0 11 0 765734611 858808320 26964 4294967295 134512640 134569956 3221224368 3221214616 1131247716 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209670 26964 13086 16 0 209654 0
vsize: 838680
[startup+420.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16138
Raw data (stat): 16127 (java) R 16126 3132 3131 0 -1 0 18141 3 1 0 39855 41 0 0 25 0 11 0 765734611 858808320 27194 4294967295 134512640 134569956 3221224368 3221214680 1131282521 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209670 27194 13086 16 0 209654 0
vsize: 838680
[startup+430.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16138
Raw data (stat): 16127 (java) R 16126 3132 3131 0 -1 0 18141 3 1 0 40825 41 0 0 25 0 11 0 765734611 858808320 27317 4294967295 134512640 134569956 3221224368 3221214656 1131287843 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209670 27317 13086 16 0 209654 0
vsize: 838680
[startup+440.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16138
Raw data (stat): 16127 (java) R 16126 3132 3131 0 -1 0 18141 3 1 0 41790 41 0 0 25 0 11 0 765734611 858808320 27364 4294967295 134512640 134569956 3221224368 3221214712 1131246559 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209670 27364 13086 16 0 209654 0
vsize: 838680
[startup+450.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16138
Raw data (stat): 16127 (java) R 16126 3132 3131 0 -1 0 18141 3 1 0 42750 41 0 0 25 0 11 0 765734611 858808320 27522 4294967295 134512640 134569956 3221224368 3221214640 1131363589 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209670 27522 13086 16 0 209654 0
vsize: 838680
[startup+460.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16138
Raw data (stat): 16127 (java) R 16126 3132 3131 0 -1 0 18141 3 1 0 43709 42 0 0 25 0 11 0 765734611 858808320 27631 4294967295 134512640 134569956 3221224368 3221214680 1131282918 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209670 27631 13086 16 0 209654 0
vsize: 838680
[startup+470.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16138
Raw data (stat): 16127 (java) R 16126 3132 3131 0 -1 0 18141 3 1 0 44666 42 0 0 25 0 11 0 765734611 858808320 27714 4294967295 134512640 134569956 3221224368 3221214624 1131331137 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209670 27714 13086 16 0 209654 0
vsize: 838680
[startup+480.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16138
Raw data (stat): 16127 (java) R 16126 3132 3131 0 -1 0 18141 3 1 0 45620 42 0 0 25 0 11 0 765734611 858808320 27843 4294967295 134512640 134569956 3221224368 3221214680 1131283174 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209670 27843 13086 16 0 209654 0
vsize: 838680
[startup+490.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16138
Raw data (stat): 16127 (java) R 16126 3132 3131 0 -1 0 18141 3 1 0 46575 42 0 0 25 0 11 0 765734611 858808320 27971 4294967295 134512640 134569956 3221224368 3221214648 1131489710 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209670 27971 13086 16 0 209654 0
vsize: 838680
[startup+500.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16138
Raw data (stat): 16127 (java) R 16126 3132 3131 0 -1 0 18141 3 1 0 47519 42 0 0 25 0 11 0 765734611 858808320 28036 4294967295 134512640 134569956 3221224368 3221214680 1131282681 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209670 28036 13086 16 0 209654 0
vsize: 838680
[startup+510.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16138
Raw data (stat): 16127 (java) R 16126 3132 3131 0 -1 0 18141 3 1 0 48465 42 0 0 25 0 11 0 765734611 858808320 28179 4294967295 134512640 134569956 3221224368 3221214672 1131202759 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209670 28179 13086 16 0 209654 0
vsize: 838680
[startup+520.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16138
Raw data (stat): 16127 (java) R 16126 3132 3131 0 -1 0 18141 3 1 0 49430 42 0 0 25 0 11 0 765734611 858808320 28256 4294967295 134512640 134569956 3221224368 3221214680 1131282724 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209670 28256 13086 16 0 209654 0
vsize: 838680
[startup+530.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16138
Raw data (stat): 16127 (java) R 16126 3132 3131 0 -1 0 18141 3 1 0 50397 42 0 0 25 0 11 0 765734611 858808320 28455 4294967295 134512640 134569956 3221224368 3221214552 1131247863 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209670 28455 13086 16 0 209654 0
vsize: 838680
[startup+540.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16138
Raw data (stat): 16127 (java) R 16126 3132 3131 0 -1 0 18141 3 1 0 51372 42 0 0 25 0 11 0 765734611 858808320 28519 4294967295 134512640 134569956 3221224368 3221214680 1131283076 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209670 28519 13086 16 0 209654 0
vsize: 838680
[startup+550.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16138
Raw data (stat): 16127 (java) R 16126 3132 3131 0 -1 0 18141 3 1 0 52347 43 0 0 25 0 11 0 765734611 858808320 28573 4294967295 134512640 134569956 3221224368 3221214640 1131363549 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209670 28573 13086 16 0 209654 0
vsize: 838680
[startup+560.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16138
Raw data (stat): 16127 (java) R 16126 3132 3131 0 -1 0 18141 3 1 0 53326 43 0 0 25 0 11 0 765734611 858808320 28645 4294967295 134512640 134569956 3221224368 3221214592 1131223012 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209670 28645 13086 16 0 209654 0
vsize: 838680
[startup+570.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16138
Raw data (stat): 16127 (java) R 16126 3132 3131 0 -1 0 18141 3 1 0 54298 43 0 0 25 0 11 0 765734611 858808320 28697 4294967295 134512640 134569956 3221224368 3221214680 1131282655 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209670 28697 13086 16 0 209654 0
vsize: 838680
[startup+580.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16138
Raw data (stat): 16127 (java) R 16126 3132 3131 0 -1 0 18141 3 1 0 55276 43 0 0 25 0 11 0 765734611 858808320 28737 4294967295 134512640 134569956 3221224368 3221214656 1131287858 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209670 28737 13086 16 0 209654 0
vsize: 838680
[startup+590.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16138
Raw data (stat): 16127 (java) R 16126 3132 3131 0 -1 0 18141 3 1 0 56255 43 0 0 25 0 11 0 765734611 858808320 28775 4294967295 134512640 134569956 3221224368 3221214680 1131282681 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209670 28775 13086 16 0 209654 0
vsize: 838680
[startup+600.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16138
Raw data (stat): 16127 (java) R 16126 3132 3131 0 -1 0 18141 3 1 0 57226 43 0 0 25 0 11 0 765734611 858808320 28834 4294967295 134512640 134569956 3221224368 3221214632 1131327293 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209670 28834 13086 16 0 209654 0
vsize: 838680
[startup+610.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16138
Raw data (stat): 16127 (java) R 16126 3132 3131 0 -1 0 18141 3 1 0 58191 43 0 0 25 0 11 0 765734611 858808320 28878 4294967295 134512640 134569956 3221224368 3221214624 1131328732 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209670 28878 13086 16 0 209654 0
vsize: 838680
[startup+620.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16138
Raw data (stat): 16127 (java) R 16126 3132 3131 0 -1 0 18141 3 1 0 59149 43 0 0 24 0 11 0 765734611 858808320 28968 4294967295 134512640 134569956 3221224368 3221214680 1131282209 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209670 28968 13086 16 0 209654 0
vsize: 838680
[startup+630.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16138
Raw data (stat): 16127 (java) R 16126 3132 3131 0 -1 0 18141 3 1 0 60115 44 0 0 25 0 11 0 765734611 858808320 29022 4294967295 134512640 134569956 3221224368 3221214552 1131247716 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209670 29022 13086 16 0 209654 0
vsize: 838680
[startup+640.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16138
Raw data (stat): 16127 (java) R 16126 3132 3131 0 -1 0 18141 3 1 0 61065 44 0 0 25 0 11 0 765734611 858808320 29060 4294967295 134512640 134569956 3221224368 3221214780 1131202727 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209670 29060 13086 16 0 209654 0
vsize: 838680
[startup+650.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16138
Raw data (stat): 16127 (java) R 16126 3132 3131 0 -1 0 18141 3 1 0 62024 44 0 0 25 0 11 0 765734611 858808320 29223 4294967295 134512640 134569956 3221224368 3221214656 1131287808 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209670 29223 13086 16 0 209654 0
vsize: 838680
[startup+660.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16138
Raw data (stat): 16127 (java) R 16126 3132 3131 0 -1 0 18141 3 1 0 62995 44 0 0 25 0 11 0 765734611 858808320 29367 4294967295 134512640 134569956 3221224368 3221214632 1131327281 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209670 29367 13086 16 0 209654 0
vsize: 838680
[startup+670.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16138
Raw data (stat): 16127 (java) R 16126 3132 3131 0 -1 0 18141 3 1 0 63962 44 0 0 25 0 11 0 765734611 858808320 29417 4294967295 134512640 134569956 3221224368 3221214672 1131202745 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209670 29417 13086 16 0 209654 0
vsize: 838680
[startup+680.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16138
Raw data (stat): 16127 (java) R 16126 3132 3131 0 -1 0 18141 3 1 0 64932 44 0 0 25 0 11 0 765734611 858808320 29453 4294967295 134512640 134569956 3221224368 3221214784 1131292216 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209670 29453 13086 16 0 209654 0
vsize: 838680
[startup+690.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16138
Raw data (stat): 16127 (java) R 16126 3132 3131 0 -1 0 18141 3 1 0 65900 44 0 0 25 0 11 0 765734611 858808320 29565 4294967295 134512640 134569956 3221224368 3221214536 1131247863 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209670 29565 13086 16 0 209654 0
vsize: 838680
[startup+700.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16138
Raw data (stat): 16127 (java) R 16126 3132 3131 0 -1 0 18141 3 1 0 66882 44 0 0 24 0 11 0 765734611 858808320 29601 4294967295 134512640 134569956 3221224368 3221214588 1130885186 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209670 29601 13086 16 0 209654 0
vsize: 838680
[startup+710.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16138
Raw data (stat): 16127 (java) R 16126 3132 3131 0 -1 0 18141 3 1 0 67860 44 0 0 25 0 11 0 765734611 858808320 29619 4294967295 134512640 134569956 3221224368 3221214672 1131202740 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209670 29619 13086 16 0 209654 0
vsize: 838680
[startup+720.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16138
Raw data (stat): 16127 (java) R 16126 3132 3131 0 -1 0 18141 3 1 0 68829 44 0 0 25 0 11 0 765734611 858808320 29732 4294967295 134512640 134569956 3221224368 3221214536 1131248377 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209670 29732 13086 16 0 209654 0
vsize: 838680
[startup+730.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16138
Raw data (stat): 16127 (java) R 16126 3132 3131 0 -1 0 18141 3 1 0 69794 44 0 0 25 0 11 0 765734611 858808320 29811 4294967295 134512640 134569956 3221224368 3221214784 1131292216 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209670 29811 13086 16 0 209654 0
vsize: 838680
[startup+740.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16138
Raw data (stat): 16127 (java) R 16126 3132 3131 0 -1 0 18141 3 1 0 70762 44 0 0 25 0 11 0 765734611 858808320 29910 4294967295 134512640 134569956 3221224368 3221214168 1085679756 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209670 29910 13086 16 0 209654 0
vsize: 838680
[startup+750.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16138
Raw data (stat): 16127 (java) R 16126 3132 3131 0 -1 0 18141 3 1 0 71712 44 0 0 25 0 11 0 765734611 858808320 29931 4294967295 134512640 134569956 3221224368 3221214680 1131282681 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209670 29931 13086 16 0 209654 0
vsize: 838680
[startup+760.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16138
Raw data (stat): 16127 (java) R 16126 3132 3131 0 -1 0 18141 3 1 0 72655 45 0 0 24 0 11 0 765734611 858808320 30086 4294967295 134512640 134569956 3221224368 3221214680 1131282205 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209670 30086 13086 16 0 209654 0
vsize: 838680
[startup+770.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16138
Raw data (stat): 16127 (java) R 16126 3132 3131 0 -1 0 18141 3 1 0 73620 45 0 0 25 0 11 0 765734611 858808320 30168 4294967295 134512640 134569956 3221224368 3221214536 1131248021 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209670 30168 13086 16 0 209654 0
vsize: 838680
[startup+780.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16138
Raw data (stat): 16127 (java) R 16126 3132 3131 0 -1 0 18141 3 1 0 74580 45 0 0 25 0 11 0 765734611 858808320 30334 4294967295 134512640 134569956 3221224368 3221214784 1131292213 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209670 30334 13086 16 0 209654 0
vsize: 838680
[startup+790.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16138
Raw data (stat): 16127 (java) R 16126 3132 3131 0 -1 0 18141 3 1 0 75542 45 0 0 25 0 11 0 765734611 858808320 30359 4294967295 134512640 134569956 3221224368 3221214680 1131282725 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209670 30359 13086 16 0 209654 0
vsize: 838680
[startup+800.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16139
Raw data (stat): 16127 (java) R 16126 3132 3131 0 -1 0 18141 3 1 0 76493 45 0 0 16 0 11 0 765734611 858808320 30458 4294967295 134512640 134569956 3221224368 3221214808 1131474374 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209670 30458 13086 16 0 209654 0
vsize: 838680
[startup+810.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16139
Raw data (stat): 16127 (java) R 16126 3132 3131 0 -1 0 18141 3 1 0 77469 45 0 0 25 0 11 0 765734611 858808320 30586 4294967295 134512640 134569956 3221224368 3221214832 1131246553 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209670 30586 13086 16 0 209654 0
vsize: 838680
[startup+820.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16139
Raw data (stat): 16127 (java) S 16126 3132 3131 0 -1 0 18141 3 1 0 78434 45 0 0 25 0 11 0 765734611 858808320 30706 4294967295 134512640 134569956 3221224368 3221213424 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209670 30706 13086 16 0 209654 0
vsize: 838680
[startup+830.064 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16139
Raw data (stat): 16127 (java) R 16126 3132 3131 0 -1 0 18141 3 1 0 79410 45 0 0 25 0 11 0 765734611 858808320 30772 4294967295 134512640 134569956 3221224368 3221214784 1131292662 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209670 30772 13086 16 0 209654 0
vsize: 838680
[startup+840.064 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16139
Raw data (stat): 16127 (java) R 16126 3132 3131 0 -1 0 18141 3 1 0 80368 45 0 0 25 0 11 0 765734611 858808320 30811 4294967295 134512640 134569956 3221224368 3221214672 1131202743 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209670 30811 13086 16 0 209654 0
vsize: 838680
[startup+850.064 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16139
Raw data (stat): 16127 (java) R 16126 3132 3131 0 -1 0 18141 3 1 0 81331 45 0 0 25 0 11 0 765734611 858808320 30879 4294967295 134512640 134569956 3221224368 3221214632 1131200216 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209670 30879 13086 16 0 209654 0
vsize: 838680
[startup+860.065 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16139
Raw data (stat): 16127 (java) R 16126 3132 3131 0 -1 0 18141 3 1 0 82288 45 0 0 25 0 11 0 765734611 858808320 30964 4294967295 134512640 134569956 3221224368 3221214680 1131282768 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209670 30964 13086 16 0 209654 0
vsize: 838680
[startup+870.065 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16139
Raw data (stat): 16127 (java) R 16126 3132 3131 0 -1 0 18141 3 1 0 83248 45 0 0 25 0 11 0 765734611 858808320 31091 4294967295 134512640 134569956 3221224368 3221214588 1130885169 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209670 31091 13086 16 0 209654 0
vsize: 838680
[startup+880.066 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16139
Raw data (stat): 16127 (java) R 16126 3132 3131 0 -1 0 18141 3 1 0 84210 45 0 0 25 0 11 0 765734611 858808320 31117 4294967295 134512640 134569956 3221224368 3221214784 1131292216 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209670 31117 13086 16 0 209654 0
vsize: 838680
[startup+890.066 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16139
Raw data (stat): 16127 (java) R 16126 3132 3131 0 -1 0 18141 3 1 0 85174 45 0 0 25 0 11 0 765734611 858808320 31172 4294967295 134512640 134569956 3221224368 3221214648 1131490076 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209670 31172 13086 16 0 209654 0
vsize: 838680
[startup+900.067 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16139
Raw data (stat): 16127 (java) R 16126 3132 3131 0 -1 0 18141 3 1 0 86122 45 0 0 25 0 11 0 765734611 858808320 31281 4294967295 134512640 134569956 3221224368 3221214680 1131282702 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209670 31281 13086 16 0 209654 0
vsize: 838680
[startup+910.067 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16139
Raw data (stat): 16127 (java) R 16126 3132 3131 0 -1 0 18141 3 1 0 87066 45 0 0 25 0 11 0 765734611 858808320 31411 4294967295 134512640 134569956 3221224368 3221214784 1131292071 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209670 31411 13086 16 0 209654 0
vsize: 838680
[startup+920.067 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16139
Raw data (stat): 16127 (java) R 16126 3132 3131 0 -1 0 18141 3 1 0 88019 45 0 0 25 0 11 0 765734611 858808320 31527 4294967295 134512640 134569956 3221224368 3221214536 1131247632 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209670 31527 13086 16 0 209654 0
vsize: 838680
[startup+930.068 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16139
Raw data (stat): 16127 (java) R 16126 3132 3131 0 -1 0 18141 3 1 0 88977 46 0 0 25 0 11 0 765734611 858808320 31702 4294967295 134512640 134569956 3221224368 3221214552 1131248377 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209670 31702 13086 16 0 209654 0
vsize: 838680
[startup+940.068 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16139
Raw data (stat): 16127 (java) R 16126 3132 3131 0 -1 0 18141 3 1 0 89945 46 0 0 25 0 11 0 765734611 858808320 31776 4294967295 134512640 134569956 3221224368 3221214632 1131200216 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209670 31776 13086 16 0 209654 0
vsize: 838680
[startup+950.069 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16139
Raw data (stat): 16127 (java) R 16126 3132 3131 0 -1 0 18141 3 1 0 90919 46 0 0 25 0 11 0 765734611 858808320 31815 4294967295 134512640 134569956 3221224368 3221214632 1131327238 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209670 31815 13086 16 0 209654 0
vsize: 838680
[startup+960.071 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16139
Raw data (stat): 16127 (java) R 16126 3132 3131 0 -1 0 18141 3 1 0 91894 46 0 0 24 0 11 0 765734611 858808320 31905 4294967295 134512640 134569956 3221224368 3221214672 1131248323 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209670 31905 13086 16 0 209654 0
vsize: 838680
[startup+970.071 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16139
Raw data (stat): 16127 (java) R 16126 3132 3131 0 -1 0 18141 3 1 0 92869 46 0 0 25 0 11 0 765734611 858808320 31965 4294967295 134512640 134569956 3221224368 3221214552 1131247860 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209670 31965 13086 16 0 209654 0
vsize: 838680
[startup+980.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16139
Raw data (stat): 16127 (java) R 16126 3132 3131 0 -1 0 18141 3 1 0 93840 46 0 0 25 0 11 0 765734611 858808320 32021 4294967295 134512640 134569956 3221224368 3221214648 1131489752 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209670 32021 13086 16 0 209654 0
vsize: 838680
[startup+990.071 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16139
Raw data (stat): 16127 (java) R 16126 3132 3131 0 -1 0 18141 3 1 0 94812 46 0 0 25 0 11 0 765734611 858808320 32080 4294967295 134512640 134569956 3221224368 3221214632 1131200231 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209670 32080 13086 16 0 209654 0
vsize: 838680
[startup+1000.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16139
Raw data (stat): 16127 (java) R 16126 3132 3131 0 -1 0 18141 3 1 0 95786 47 0 0 25 0 11 0 765734611 858808320 32100 4294967295 134512640 134569956 3221224368 3221214536 1131202743 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209670 32100 13086 16 0 209654 0
vsize: 838680
[startup+1010.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16139
Raw data (stat): 16127 (java) R 16126 3132 3131 0 -1 0 18141 3 1 0 96761 47 0 0 25 0 11 0 765734611 858808320 32178 4294967295 134512640 134569956 3221224368 3221214552 1131247835 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209670 32178 13086 16 0 209654 0
vsize: 838680
[startup+1020.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16139
Raw data (stat): 16127 (java) R 16126 3132 3131 0 -1 0 18141 3 1 0 97733 47 0 0 25 0 11 0 765734611 858808320 32240 4294967295 134512640 134569956 3221224368 3221214652 1131585555 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209670 32240 13086 16 0 209654 0
vsize: 838680
[startup+1030.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16139
Raw data (stat): 16127 (java) R 16126 3132 3131 0 -1 0 18141 3 1 0 98710 47 0 0 25 0 11 0 765734611 858808320 32275 4294967295 134512640 134569956 3221224368 3221214616 1131251776 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209670 32275 13086 16 0 209654 0
vsize: 838680
[startup+1040.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16139
Raw data (stat): 16127 (java) R 16126 3132 3131 0 -1 0 18141 3 1 0 99695 47 0 0 25 0 11 0 765734611 858808320 32333 4294967295 134512640 134569956 3221224368 3221214480 1131484305 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209670 32333 13086 16 0 209654 0
vsize: 838680
[startup+1050.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16139
Raw data (stat): 16127 (java) R 16126 3132 3131 0 -1 0 18141 3 1 0 100668 47 0 0 25 0 11 0 765734611 858808320 32353 4294967295 134512640 134569956 3221224368 3221214680 1131282220 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209670 32353 13086 16 0 209654 0
vsize: 838680
[startup+1060.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16139
Raw data (stat): 16127 (java) R 16126 3132 3131 0 -1 0 18141 3 1 0 101634 47 0 0 25 0 11 0 765734611 858808320 32473 4294967295 134512640 134569956 3221224368 3221214672 1131202740 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209670 32473 13086 16 0 209654 0
vsize: 838680
[startup+1070.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16139
Raw data (stat): 16127 (java) R 16126 3132 3131 0 -1 0 18141 3 1 0 102602 47 0 0 25 0 11 0 765734611 858808320 32496 4294967295 134512640 134569956 3221224368 3221214680 1131282681 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209670 32496 13086 16 0 209654 0
vsize: 838680
[startup+1080.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16139
Raw data (stat): 16127 (java) R 16126 3132 3131 0 -1 0 18141 3 1 0 103575 47 0 0 25 0 11 0 765734611 858808320 32602 4294967295 134512640 134569956 3221224368 3221214592 1131246565 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209670 32602 13086 16 0 209654 0
vsize: 838680
[startup+1090.1 s]
Raw data (loadavg): 1.07 1.02 1.00 2/64 16192
Raw data (stat): 16127 (java) R 16126 3132 3131 0 -1 0 18141 3 1 0 104531 55 0 0 25 0 11 0 765734611 858808320 32622 4294967295 134512640 134569956 3221224368 3221214536 1131247863 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209670 32622 13086 16 0 209654 0
vsize: 838680
[startup+1100.1 s]
Raw data (loadavg): 1.06 1.02 1.00 2/64 16192
Raw data (stat): 16127 (java) R 16126 3132 3131 0 -1 0 18141 3 1 0 105500 55 0 0 25 0 11 0 765734611 858808320 32682 4294967295 134512640 134569956 3221224368 3221214784 1131292179 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209670 32682 13086 16 0 209654 0
vsize: 838680
[startup+1110.1 s]
Raw data (loadavg): 1.05 1.01 1.00 2/64 16192
Raw data (stat): 16127 (java) R 16126 3132 3131 0 -1 0 18141 3 1 0 106468 55 0 0 25 0 11 0 765734611 858808320 32729 4294967295 134512640 134569956 3221224368 3221214784 1131292419 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209670 32729 13086 16 0 209654 0
vsize: 838680
[startup+1120.1 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 16192
Raw data (stat): 16127 (java) R 16126 3132 3131 0 -1 0 18141 3 1 0 107422 56 0 0 25 0 11 0 765734611 858808320 32799 4294967295 134512640 134569956 3221224368 3221214656 1131287811 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209670 32799 13086 16 0 209654 0
vsize: 838680
[startup+1130.1 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 16192
Raw data (stat): 16127 (java) R 16126 3132 3131 0 -1 0 18141 3 1 0 108392 56 0 0 25 0 11 0 765734611 858808320 32867 4294967295 134512640 134569956 3221224368 3221214680 1131282639 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209670 32867 13086 16 0 209654 0
vsize: 838680
[startup+1140.1 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 16192
Raw data (stat): 16127 (java) R 16126 3132 3131 0 -1 0 18141 3 1 0 109354 57 0 0 25 0 11 0 765734611 858808320 32996 4294967295 134512640 134569956 3221224368 3221214628 1131251792 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209670 32996 13086 16 0 209654 0
vsize: 838680
[startup+1150.1 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 16192
Raw data (stat): 16127 (java) R 16126 3132 3131 0 -1 0 18141 3 1 0 110329 57 0 0 25 0 11 0 765734611 858808320 33092 4294967295 134512640 134569956 3221224368 3221214680 1131282934 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209670 33092 13086 16 0 209654 0
vsize: 838680
[startup+1160.1 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 16194
Raw data (stat): 16127 (java) R 16126 3132 3131 0 -1 0 18141 3 1 0 111307 57 0 0 25 0 11 0 765734611 858808320 33151 4294967295 134512640 134569956 3221224368 3221214576 1131202836 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209670 33151 13086 16 0 209654 0
vsize: 838680
[startup+1170.1 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 16194
Raw data (stat): 16127 (java) R 16126 3132 3131 0 -1 0 18141 3 1 0 112283 58 0 0 25 0 11 0 765734611 858808320 33180 4294967295 134512640 134569956 3221224368 3221214612 1131246512 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209670 33180 13086 16 0 209654 0
vsize: 838680
[startup+1180.1 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 16194
Raw data (stat): 16127 (java) R 16126 3132 3131 0 -1 0 18141 3 1 0 113261 58 0 0 25 0 11 0 765734611 858808320 33211 4294967295 134512640 134569956 3221224368 3221214552 1131247863 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209670 33211 13086 16 0 209654 0
vsize: 838680
[startup+1190.1 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 16194
Raw data (stat): 16127 (java) R 16126 3132 3131 0 -1 0 18141 3 1 0 114240 58 0 0 25 0 11 0 765734611 858808320 33262 4294967295 134512640 134569956 3221224368 3221214536 1131247716 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209670 33262 13086 16 0 209654 0
vsize: 838680
[startup+1200.11 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 16194
Raw data (stat): 16127 (java) S 16126 3132 3131 0 -1 0 18141 3 1 0 115222 59 0 0 25 0 11 0 765734611 858808320 33279 4294967295 134512640 134569956 3221224368 3221213256 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209670 33279 13086 16 0 209654 0
vsize: 838680
[startup+1210.11 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 16194
Raw data (stat): 16127 (java) R 16126 3132 3131 0 -1 0 18141 3 1 0 116200 59 0 0 24 0 11 0 765734611 858808320 33345 4294967295 134512640 134569956 3221224368 3221214536 1131202828 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209670 33345 13086 16 0 209654 0
vsize: 838680
[startup+1220.11 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 16194
Raw data (stat): 16127 (java) R 16126 3132 3131 0 -1 0 18141 3 1 0 117183 60 0 0 25 0 11 0 765734611 858808320 33363 4294967295 134512640 134569956 3221224368 3221214632 1131200200 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209670 33363 13086 16 0 209654 0
vsize: 838680
[startup+1230.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16194
Raw data (stat): 16127 (java) R 16126 3132 3131 0 -1 0 18141 3 1 0 118163 60 0 0 25 0 11 0 765734611 858808320 33399 4294967295 134512640 134569956 3221224368 3221214640 1131363431 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209670 33399 13086 16 0 209654 0
vsize: 838680
[startup+1240.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16194
Raw data (stat): 16127 (java) R 16126 3132 3131 0 -1 0 18141 3 1 0 119140 61 0 0 25 0 11 0 765734611 858808320 33435 4294967295 134512640 134569956 3221224368 3221214656 1131287792 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209670 33435 13086 16 0 209654 0
vsize: 838680
[startup+1250.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16194
Raw data (stat): 16127 (java) R 16126 3132 3131 0 -1 0 18141 3 1 0 120118 61 0 0 25 0 11 0 765734611 858808320 33452 4294967295 134512640 134569956 3221224368 3221214624 1131331113 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209670 33452 13086 16 0 209654 0
vsize: 838680
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1250.41 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 16196
Raw data (stat): 16127 (java) Z 16126 3132 3131 0 -1 1036 18141 13666 1 0 120141 61 4600 39 25 0 1 0 765734611 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): 1250.41
CPU time (s): 1248.43
CPU user time (s): 1247.42
CPU system time (s): 1.01684
CPU usage (%): 99.8424
Max. virtual memory (Kb): 839864
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	4773
#### END VERIFIER DATA ####