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/miplib/normalized-mps-v2-13-7-air01.opb
MD5SUM90db1995bd949fc5ac74143a523f3bcf
Bench Categoryoptimization, medium integers (OPTMEDINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 3398
Optimality of the best value was proved NO
Number of terms in the objective function 771
Biggest coefficient in the objective function 3698
Number of bits for the biggest coefficient in the objective function 12
Sum of the numbers in the objective function 1192753
Number of bits of the sum of numbers in the objective function 21
Biggest number in a constraint 3698
Number of bits of the biggest number in a constraint 12
Biggest sum of numbers in a constraint 1192753
Number of bits of the biggest sum of numbers21
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1.02884
Number of variables771
Total number of constraints794
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)794
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint438

Trace number 29894 

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc9 THE 2005-05-25 12:31:46 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=21290 boxname=wulflinc9 idbench=1278 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  90db1995bd949fc5ac74143a523f3bcf  /oldhome/oroussel/tmp/wulflinc9/normalized-mps-v2-13-7-air01.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc9/normalized-mps-v2-13-7-air01.opb
IDLAUNCH: 21290
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.242
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.242
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:        460244 kB
Buffers:         34872 kB
Cached:         518336 kB
SwapCached:        584 kB
Active:          55640 kB
Inactive:       499684 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        459992 kB
SwapTotal:     2097136 kB
SwapFree:      2095724 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5416 kB
Slab:            13460 kB
Committed_AS:    63596 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 12:52:18 (client local time) WITH STATUS 143 IN 1237.78 SECONDS
stats: 21290 0 1237.78 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/wulflinc9/normalized-mps-v2-13-7-air01.opb
c reading problem ... done. Time 2.573 ms.
c #vars     771
c #constraints  46
c SATISFIABLE
c OPTIMIZING...
c CURRENT OPTIMUM=                6848 		Current CPU time: 3.42 ms
c CURRENT OPTIMUM=                6633 		Current CPU time: 3.84 ms
c CURRENT OPTIMUM=                6225 		Current CPU time: 4.25 ms
c CURRENT OPTIMUM=                4860 		Current CPU time: 4.59 ms
c CURRENT OPTIMUM=                4727 		Current CPU time: 9.30 ms
c CURRENT OPTIMUM=                4652 		Current CPU time: 13.92 ms
c CURRENT OPTIMUM=                4581 		Current CPU time: 26.96 ms
c CURRENT OPTIMUM=                4361 		Current CPU time: 34.52 ms
c CURRENT OPTIMUM=                4183 		Current CPU time: 36.35 ms
c CURRENT OPTIMUM=                4074 		Current CPU time: 46.56 ms
c CURRENT OPTIMUM=                3987 		Current CPU time: 64.65 ms
c CURRENT OPTIMUM=                3682 		Current CPU time: 103.06 ms
c CURRENT OPTIMUM=                3576 		Current CPU time: 354.22 ms
c CURRENT OPTIMUM=                3440 		Current CPU time: 363.20 ms
c starts	: 17
c conflicts	: 325
c decisions	: 15068
c propagations	: 37482
c inspects	: 125576
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 324
c root simplifications	: 38
s SATISFIABLE
v -CL000001_bit0 -CL000002_bit0 -CL000003_bit0 -CL000004_bit0 CL000005_bit0 -CL000006_bit0 -CL000007_bit0 -CL000008_bit0 -CL000009_bit0 -CL000010_bit0 -CL000011_bit0 -CL000012_bit0 -CL000013_bit0 -CL000014_bit0 -CL000015_bit0 -CL000016_bit0 -CL000017_bit0 -CL000018_bit0 -CL000019_bit0 -CL000020_bit0 -CL000021_bit0 -CL000022_bit0 -CL000023_bit0 -CL000024_bit0 -CL000025_bit0 -CL000026_bit0 -CL000027_bit0 -CL000028_bit0 -CL000029_bit0 -CL000030_bit0 -CL000031_bit0 -CL000032_bit0 -CL000033_bit0 -CL000034_bit0 -CL000035_bit0 -CL000036_bit0 -CL000037_bit0 -CL000038_bit0 -CL000039_bit0 -CL000040_bit0 -CL000041_bit0 -CL000042_bit0 -CL000043_bit0 -CL000044_bit0 -CL000045_bit0 -CL000046_bit0 -CL000047_bit0 -CL000048_bit0 -CL000049_bit0 -CL000050_bit0 -CL000051_bit0 -CL000052_bit0 -CL000053_bit0 -CL000054_bit0 CL000055_bit0 -CL000056_bit0 -CL000057_bit0 -CL000058_bit0 -CL000059_bit0 -CL000060_bit0 -CL000061_bit0 -CL000062_bit0 -CL000063_bit0 -CL000064_bit0 -CL000065_bit0 -CL000066_bit0 -CL000067_bit0 -CL000068_bit0 -CL000069_bit0 -CL000070_bit0 -CL000071_bit0 -CL000072_bit0 -CL000073_bit0 -CL000074_bit0 -CL000075_bit0 -CL000076_bit0 -CL000077_bit0 -CL000078_bit0 -CL000079_bit0 -CL000080_bit0 -CL000081_bit0 -CL000082_bit0 -CL000083_bit0 -CL000084_bit0 -CL000085_bit0 -CL000086_bit0 -CL000087_bit0 -CL000088_bit0 -CL000089_bit0 -CL000090_bit0 -CL000091_bit0 -CL000092_bit0 -CL000093_bit0 -CL000094_bit0 -CL000095_bit0 -CL000096_bit0 -CL000097_bit0 -CL000098_bit0 -CL000099_bit0 -CL000100_bit0 -CL000101_bit0 -CL000102_bit0 -CL000103_bit0 -CL000104_bit0 -CL000105_bit0 -CL000106_bit0 -CL000107_bit0 -CL000108_bit0 -CL000109_bit0 -CL000110_bit0 -CL000111_bit0 -CL000112_bit0 -CL000113_bit0 -CL000114_bit0 -CL000115_bit0 -CL000116_bit0 -CL000117_bit0 -CL000118_bit0 -CL000119_bit0 -CL000120_bit0 -CL000121_bit0 -CL000122_bit0 -CL000123_bit0 -CL000124_bit0 -CL000125_bit0 -CL000126_bit0 -CL000127_bit0 -CL000128_bit0 -CL000129_bit0 -CL000130_bit0 -CL000131_bit0 -CL000132_bit0 -CL000133_bit0 -CL000134_bit0 -CL000135_bit0 -CL000136_bit0 -CL000137_bit0 -CL000138_bit0 -CL000139_bit0 -CL000140_bit0 -CL000141_bit0 -CL000142_bit0 -CL000143_bit0 -CL000144_bit0 -CL000145_bit0 -CL000146_bit0 -CL000147_bit0 -CL000148_bit0 -CL000149_bit0 -CL000150_bit0 -CL000151_bit0 -CL000152_bit0 -CL000153_bit0 -CL000154_bit0 -CL000155_bit0 -CL000156_bit0 CL000157_bit0 -CL000158_bit0 -CL000159_bit0 -CL000160_bit0 -CL000161_bit0 -CL000162_bit0 -CL000163_bit0 -CL000164_bit0 -CL000165_bit0 -CL000166_bit0 -CL000167_bit0 -CL000168_bit0 -CL000169_bit0 -CL000170_bit0 -CL000171_bit0 -CL000172_bit0 -CL000173_bit0 -CL000174_bit0 -CL000175_bit0 -CL000176_bit0 -CL000177_bit0 -CL000178_bit0 -CL000179_bit0 -CL000180_bit0 -CL000181_bit0 -CL000182_bit0 -CL000183_bit0 -CL000184_bit0 -CL000185_bit0 -CL000186_bit0 -CL000187_bit0 -CL000188_bit0 -CL000189_bit0 -CL000190_bit0 -CL000191_bit0 -CL000192_bit0 -CL000193_bit0 -CL000194_bit0 -CL000195_bit0 -CL000196_bit0 -CL000197_bit0 -CL000198_bit0 -CL000199_bit0 -CL000200_bit0 -CL000201_bit0 -CL000202_bit0 -CL000203_bit0 -CL000204_bit0 -CL000205_bit0 -CL000206_bit0 -CL000207_bit0 -CL000208_bit0 -CL000209_bit0 -CL000210_bit0 -CL000211_bit0 -CL000212_bit0 -CL000213_bit0 -CL000214_bit0 -CL000215_bit0 -CL000216_bit0 -CL000217_bit0 -CL000218_bit0 -CL000219_bit0 -CL000220_bit0 -CL000221_bit0 -CL000222_bit0 -CL000223_bit0 -CL000224_bit0 -CL000225_bit0 -CL000226_bit0 -CL000227_bit0 -CL000228_bit0 -CL000229_bit0 -CL000230_bit0 -CL000231_bit0 -CL000232_bit0 -CL000233_bit0 -CL000234_bit0 -CL000235_bit0 -CL000236_bit0 -CL000237_bit0 -CL000238_bit0 -CL000239_bit0 -CL000240_bit0 -CL000241_bit0 -CL000242_bit0 -CL000243_bit0 -CL000244_bit0 -CL000245_bit0 -CL000246_bit0 -CL000247_bit0 -CL000248_bit0 -CL000249_bit0 -CL000250_bit0 -CL000251_bit0 -CL000252_bit0 -CL000253_bit0 -CL000254_bit0 -CL000255_bit0 -CL000256_bit0 -CL000257_bit0 -CL000258_bit0 -CL000259_bit0 -CL000260_bit0 -CL000261_bit0 -CL000262_bit0 -CL000263_bit0 -CL000264_bit0 -CL000265_bit0 -CL000266_bit0 -CL000267_bit0 -CL000268_bit0 -CL000269_bit0 -CL000270_bit0 -CL000271_bit0 -CL000272_bit0 -CL000273_bit0 -CL000274_bit0 -CL000275_bit0 -CL000276_bit0 -CL000277_bit0 -CL000278_bit0 -CL000279_bit0 -CL000280_bit0 -CL000281_bit0 -CL000282_bit0 -CL000283_bit0 -CL000284_bit0 -CL000285_bit0 -CL000286_bit0 CL000287_bit0 -CL000288_bit0 -CL000289_bit0 -CL000290_bit0 -CL000291_bit0 -CL000292_bit0 -CL000293_bit0 -CL000294_bit0 -CL000295_bit0 -CL000296_bit0 -CL000297_bit0 -CL000298_bit0 -CL000299_bit0 -CL000300_bit0 -CL000301_bit0 -CL000302_bit0 -CL000303_bit0 -CL000304_bit0 -CL000305_bit0 -CL000306_bit0 -CL000307_bit0 -CL000308_bit0 -CL000309_bit0 -CL000310_bit0 -CL000311_bit0 -CL000312_bit0 -CL000313_bit0 -CL000314_bit0 -CL000315_bit0 -CL000316_bit0 -CL000317_bit0 -CL000318_bit0 -CL000319_bit0 -CL000320_bit0 -CL000321_bit0 -CL000322_bit0 -CL000323_bit0 -CL000324_bit0 -CL000325_bit0 -CL000326_bit0 -CL000327_bit0 -CL000328_bit0 -CL000329_bit0 -CL000330_bit0 -CL000331_bit0 -CL000332_bit0 -CL000333_bit0 -CL000334_bit0 -CL000335_bit0 -CL000336_bit0 -CL000337_bit0 -CL000338_bit0 -CL000339_bit0 -CL000340_bit0 -CL000341_bit0 -CL000342_bit0 -CL000343_bit0 -CL000344_bit0 -CL000345_bit0 -CL000346_bit0 -CL000347_bit0 -CL000348_bit0 -CL000349_bit0 -CL000350_bit0 -CL000351_bit0 -CL000352_bit0 -CL000353_bit0 -CL000354_bit0 -CL000355_bit0 -CL000356_bit0 -CL000357_bit0 CL000358_bit0 -CL000359_bit0 -CL000360_bit0 -CL000361_bit0 -CL000362_bit0 -CL000363_bit0 -CL000364_bit0 -CL000365_bit0 -CL000366_bit0 -CL000367_bit0 -CL000368_bit0 -CL000369_bit0 -CL000370_bit0 -CL000371_bit0 -CL000372_bit0 -CL000373_bit0 -CL000374_bit0 -CL000375_bit0 -CL000376_bit0 -CL000377_bit0 -CL000378_bit0 -CL000379_bit0 -CL000380_bit0 -CL000381_bit0 -CL000382_bit0 -CL000383_bit0 -CL000384_bit0 -CL000385_bit0 -CL000386_bit0 -CL000387_bit0 -CL000388_bit0 -CL000389_bit0 -CL000390_bit0 -CL000391_bit0 -CL000392_bit0 -CL000393_bit0 -CL000394_bit0 -CL000395_bit0 -CL000396_bit0 -CL000397_bit0 -CL000398_bit0 -CL000399_bit0 -CL000400_bit0 -CL000401_bit0 -CL000402_bit0 -CL000403_bit0 -CL000404_bit0 -CL000405_bit0 -CL000406_bit0 -CL000407_bit0 -CL000408_bit0 -CL000409_bit0 -CL000410_bit0 -CL000411_bit0 -CL000412_bit0 -CL000413_bit0 -CL000414_bit0 -CL000415_bit0 -CL000416_bit0 -CL000417_bit0 -CL000418_bit0 -CL000419_bit0 -CL000420_bit0 -CL000421_bit0 -CL000422_bit0 -CL000423_bit0 -CL000424_bit0 -CL000425_bit0 -CL000426_bit0 -CL000427_bit0 -CL000428_bit0 -CL000429_bit0 -CL000430_bit0 -CL000431_bit0 -CL000432_bit0 -CL000433_bit0 -CL000434_bit0 -CL000435_bit0 -CL000436_bit0 -CL000437_bit0 -CL000438_bit0 -CL000439_bit0 -CL000440_bit0 -CL000441_bit0 -CL000442_bit0 -CL000443_bit0 -CL000444_bit0 -CL000445_bit0 -CL000446_bit0 -CL000447_bit0 -CL000448_bit0 -CL000449_bit0 -CL000450_bit0 -CL000451_bit0 -CL000452_bit0 -CL000453_bit0 -CL000454_bit0 -CL000455_bit0 -CL000456_bit0 -CL000457_bit0 -CL000458_bit0 -CL000459_bit0 -CL000460_bit0 -CL000461_bit0 -CL000462_bit0 -CL000463_bit0 -CL000464_bit0 -CL000465_bit0 -CL000466_bit0 -CL000467_bit0 -CL000468_bit0 -CL000469_bit0 -CL000470_bit0 -CL000471_bit0 -CL000472_bit0 -CL000473_bit0 -CL000474_bit0 -CL000475_bit0 -CL000476_bit0 -CL000477_bit0 -CL000478_bit0 -CL000479_bit0 -CL000480_bit0 -CL000481_bit0 -CL000482_bit0 -CL000483_bit0 -CL000484_bit0 -CL000485_bit0 -CL000486_bit0 -CL000487_bit0 -CL000488_bit0 -CL000489_bit0 -CL000490_bit0 -CL000491_bit0 -CL000492_bit0 -CL000493_bit0 -CL000494_bit0 -CL000495_bit0 -CL000496_bit0 -CL000497_bit0 -CL000498_bit0 -CL000499_bit0 -CL000500_bit0 -CL000501_bit0 -CL000502_bit0 -CL000503_bit0 -CL000504_bit0 -CL000505_bit0 -CL000506_bit0 -CL000507_bit0 -CL000508_bit0 -CL000509_bit0 -CL000510_bit0 -CL000511_bit0 -CL000512_bit0 -CL000513_bit0 -CL000514_bit0 -CL000515_bit0 -CL000516_bit0 -CL000517_bit0 -CL000518_bit0 -CL000519_bit0 -CL000520_bit0 -CL000521_bit0 -CL000522_bit0 -CL000523_bit0 -CL000524_bit0 -CL000525_bit0 -CL000526_bit0 -CL000527_bit0 -CL000528_bit0 -CL000529_bit0 -CL000530_bit0 -CL000531_bit0 -CL000532_bit0 -CL000533_bit0 -CL000534_bit0 -CL000535_bit0 -CL000536_bit0 -CL000537_bit0 -CL000538_bit0 -CL000539_bit0 -CL000540_bit0 -CL000541_bit0 -CL000542_bit0 -CL000543_bit0 -CL000544_bit0 -CL000545_bit0 -CL000546_bit0 -CL000547_bit0 -CL000548_bit0 -CL000549_bit0 -CL000550_bit0 -CL000551_bit0 -CL000552_bit0 -CL000553_bit0 -CL000554_bit0 -CL000555_bit0 -CL000556_bit0 -CL000557_bit0 CL000558_bit0 -CL000559_bit0 -CL000560_bit0 -CL000561_bit0 -CL000562_bit0 -CL000563_bit0 -CL000564_bit0 -CL000565_bit0 -CL000566_bit0 -CL000567_bit0 -CL000568_bit0 -CL000569_bit0 -CL000570_bit0 -CL000571_bit0 -CL000572_bit0 -CL000573_bit0 -CL000574_bit0 -CL000575_bit0 -CL000576_bit0 -CL000577_bit0 -CL000578_bit0 -CL000579_bit0 -CL000580_bit0 -CL000581_bit0 -CL000582_bit0 -CL000583_bit0 -CL000584_bit0 -CL000585_bit0 -CL000586_bit0 -CL000587_bit0 -CL000588_bit0 -CL000589_bit0 -CL000590_bit0 -CL000591_bit0 -CL000592_bit0 -CL000593_bit0 -CL000594_bit0 -CL000595_bit0 -CL000596_bit0 -CL000597_bit0 -CL000598_bit0 -CL000599_bit0 -CL000600_bit0 -CL000601_bit0 -CL000602_bit0 -CL000603_bit0 -CL000604_bit0 -CL000605_bit0 -CL000606_bit0 -CL000607_bit0 -CL000608_bit0 -CL000609_bit0 -CL000610_bit0 -CL000611_bit0 -CL000612_bit0 -CL000613_bit0 -CL000614_bit0 -CL000615_bit0 -CL000616_bit0 -CL000617_bit0 -CL000618_bit0 -CL000619_bit0 -CL000620_bit0 -CL000621_bit0 -CL000622_bit0 -CL000623_bit0 -CL000624_bit0 -CL000625_bit0 -CL000626_bit0 -CL000627_bit0 -CL000628_bit0 -CL000629_bit0 -CL000630_bit0 -CL000631_bit0 -CL000632_bit0 -CL000633_bit0 -CL000634_bit0 -CL000635_bit0 -CL000636_bit0 -CL000637_bit0 -CL000638_bit0 -CL000639_bit0 -CL000640_bit0 -CL000641_bit0 -CL000642_bit0 -CL000643_bit0 -CL000644_bit0 -CL000645_bit0 -CL000646_bit0 -CL000647_bit0 -CL000648_bit0 -CL000649_bit0 -CL000650_bit0 -CL000651_bit0 -CL000652_bit0 -CL000653_bit0 -CL000654_bit0 -CL000655_bit0 -CL000656_bit0 -CL000657_bit0 -CL000658_bit0 -CL000659_bit0 -CL000660_bit0 -CL000661_bit0 -CL000662_bit0 -CL000663_bit0 -CL000664_bit0 -CL000665_bit0 -CL000666_bit0 -CL000667_bit0 -CL000668_bit0 -CL000669_bit0 -CL000670_bit0 -CL000671_bit0 -CL000672_bit0 -CL000673_bit0 -CL000674_bit0 -CL000675_bit0 -CL000676_bit0 -CL000677_bit0 -CL000678_bit0 -CL000679_bit0 -CL000680_bit0 -CL000681_bit0 -CL000682_bit0 -CL000683_bit0 -CL000684_bit0 -CL000685_bit0 -CL000686_bit0 -CL000687_bit0 -CL000688_bit0 -CL000689_bit0 -CL000690_bit0 -CL000691_bit0 -CL000692_bit0 -CL000693_bit0 -CL000694_bit0 -CL000695_bit0 -CL000696_bit0 -CL000697_bit0 -CL000698_bit0 -CL000699_bit0 -CL000700_bit0 -CL000701_bit0 -CL000702_bit0 -CL000703_bit0 -CL000704_bit0 -CL000705_bit0 -CL000706_bit0 -CL000707_bit0 -CL000708_bit0 -CL000709_bit0 -CL000710_bit0 -CL000711_bit0 -CL000712_bit0 -CL000713_bit0 -CL000714_bit0 -CL000715_bit0 -CL000716_bit0 -CL000717_bit0 -CL000718_bit0 -CL000719_bit0 -CL000720_bit0 -CL000721_bit0 -CL000722_bit0 -CL000723_bit0 -CL000724_bit0 -CL000725_bit0 -CL000726_bit0 -CL000727_bit0 -CL000728_bit0 -CL000729_bit0 -CL000730_bit0 -CL000731_bit0 -CL000732_bit0 -CL000733_bit0 -CL000734_bit0 -CL000735_bit0 -CL000736_bit0 -CL000737_bit0 -CL000738_bit0 -CL000739_bit0 -CL000740_bit0 -CL000741_bit0 -CL000742_bit0 -CL000743_bit0 -CL000744_bit0 -CL000745_bit0 -CL000746_bit0 -CL000747_bit0 -CL000748_bit0 -CL000749_bit0 -CL000750_bit0 -CL000751_bit0 -CL000752_bit0 -CL000753_bit0 -CL000754_bit0 -CL000755_bit0 -CL000756_bit0 -CL000757_bit0 -CL000758_bit0 -CL000759_bit0 -CL000760_bit0 -CL000761_bit0 -CL000762_bit0 -CL000763_bit0 -CL000764_bit0 -CL000765_bit0 -CL000766_bit0 -CL000767_bit0 -CL000768_bit0 -CL000769_bit0 -CL000770_bit0 -CL000771_bit0 
c objectif function=3440
c Total CPU time (ms) : 1229.167
#### 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.92 0.98 0.99 2/54 19956
Raw data (stat): 19956 (runsolver) R 19955 3944 3943 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 780677971 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.0007 s]
Raw data (loadavg): 1.08 1.02 1.00 2/64 19970
Raw data (stat): 19956 (java) R 19955 3944 3943 0 -1 0 18106 4 1 0 759 37 0 0 25 0 11 0 780677971 856797184 20112 4294967295 134512640 134569956 3221224368 3221214720 1131332709 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209179 20112 13086 16 0 209163 0
vsize: 836716
[startup+20.0014 s]
Raw data (loadavg): 1.07 1.02 1.00 2/64 19972
Raw data (stat): 19956 (java) R 19955 3944 3943 0 -1 0 18107 4 1 0 1700 37 0 0 25 0 11 0 780677971 856797184 20607 4294967295 134512640 134569956 3221224368 3221214604 1131331808 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209179 20607 13086 16 0 209163 0
vsize: 836716
[startup+30.0018 s]
Raw data (loadavg): 1.06 1.01 1.00 2/64 19973
Raw data (stat): 19956 (java) R 19955 3944 3943 0 -1 0 18108 4 1 0 2646 38 0 0 25 0 11 0 780677971 858910720 21171 4294967295 134512640 134569956 3221224368 3221214616 1131356530 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209695 21171 13086 16 0 209679 0
vsize: 838780
[startup+40.0016 s]
Raw data (loadavg): 1.05 1.01 1.00 2/64 19975
Raw data (stat): 19956 (java) R 19955 3944 3943 0 -1 0 18108 4 1 0 3572 38 0 0 25 0 11 0 780677971 856797184 21041 4294967295 134512640 134569956 3221224368 3221214544 1131356515 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209179 21041 13086 16 0 209163 0
vsize: 836716
[startup+50.0019 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 19976
Raw data (stat): 19956 (java) R 19955 3944 3943 0 -1 0 18108 4 1 0 4521 39 0 0 25 0 11 0 780677971 856797184 21440 4294967295 134512640 134569956 3221224368 3221214648 1131186868 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209179 21440 13086 16 0 209163 0
vsize: 836716
[startup+60.0021 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 19976
Raw data (stat): 19956 (java) R 19955 3944 3943 0 -1 0 18108 4 1 0 5467 39 0 0 25 0 11 0 780677971 856797184 21592 4294967295 134512640 134569956 3221224368 3221214656 1131303151 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209179 21592 13086 16 0 209163 0
vsize: 836716
[startup+70.0019 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 19977
Raw data (stat): 19956 (java) R 19955 3944 3943 0 -1 0 18108 4 1 0 6422 40 0 0 25 0 11 0 780677971 856797184 21725 4294967295 134512640 134569956 3221224368 3221214440 1131236313 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209179 21725 13086 16 0 209163 0
vsize: 836716
[startup+80.0032 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 19977
Raw data (stat): 19956 (java) R 19955 3944 3943 0 -1 0 18108 4 1 0 7385 40 0 0 25 0 11 0 780677971 856797184 21836 4294967295 134512640 134569956 3221224368 3221214424 1131186891 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209179 21836 13086 16 0 209163 0
vsize: 836716
[startup+90.0034 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 19977
Raw data (stat): 19956 (java) R 19955 3944 3943 0 -1 0 18108 4 1 0 8354 40 0 0 25 0 11 0 780677971 856797184 22011 4294967295 134512640 134569956 3221224368 3221214424 1131236663 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209179 22011 13086 16 0 209163 0
vsize: 836716
[startup+100.004 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 19977
Raw data (stat): 19956 (java) R 19955 3944 3943 0 -1 0 18108 4 1 0 9325 40 0 0 25 0 11 0 780677971 856797184 22183 4294967295 134512640 134569956 3221224368 3221214656 1131303001 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209179 22183 13086 16 0 209163 0
vsize: 836716
[startup+110.005 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 19978
Raw data (stat): 19956 (java) R 19955 3944 3943 0 -1 0 18109 4 1 0 10303 41 0 0 25 0 11 0 780677971 856797184 22241 4294967295 134512640 134569956 3221224368 3221214608 1131204608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209179 22241 13086 16 0 209163 0
vsize: 836716
[startup+120.005 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 19978
Raw data (stat): 19956 (java) R 19955 3944 3943 0 -1 0 18109 4 1 0 11280 41 0 0 25 0 11 0 780677971 856797184 22340 4294967295 134512640 134569956 3221224368 3221214620 1130885222 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209179 22340 13086 16 0 209163 0
vsize: 836716
[startup+130.005 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 19978
Raw data (stat): 19956 (java) R 19955 3944 3943 0 -1 0 18109 4 1 0 12258 41 0 0 25 0 11 0 780677971 856797184 22368 4294967295 134512640 134569956 3221224368 3221214648 1131186868 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209179 22368 13086 16 0 209163 0
vsize: 836716
[startup+140.006 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 19978
Raw data (stat): 19956 (java) R 19955 3944 3943 0 -1 0 18109 4 1 0 13224 41 0 0 25 0 11 0 780677971 856797184 22397 4294967295 134512640 134569956 3221224368 3221214424 1131236663 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209179 22397 13086 16 0 209163 0
vsize: 836716
[startup+150.006 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19978
Raw data (stat): 19956 (java) R 19955 3944 3943 0 -1 0 18109 4 1 0 14197 42 0 0 25 0 11 0 780677971 856797184 22467 4294967295 134512640 134569956 3221224368 3221214536 1131374097 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209179 22467 13086 16 0 209163 0
vsize: 836716
[startup+160.006 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19978
Raw data (stat): 19956 (java) R 19955 3944 3943 0 -1 0 18109 4 1 0 15163 42 0 0 25 0 11 0 780677971 856797184 22529 4294967295 134512640 134569956 3221224368 3221214520 1131333665 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209179 22529 13086 16 0 209163 0
vsize: 836716
[startup+170.006 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19978
Raw data (stat): 19956 (java) R 19955 3944 3943 0 -1 0 18109 4 1 0 16134 42 0 0 25 0 11 0 780677971 856797184 22583 4294967295 134512640 134569956 3221224368 3221214656 1131304007 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209179 22583 13086 16 0 209163 0
vsize: 836716
[startup+180.007 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19978
Raw data (stat): 19956 (java) R 19955 3944 3943 0 -1 0 18109 4 1 0 17099 43 0 0 25 0 11 0 780677971 856797184 22783 4294967295 134512640 134569956 3221224368 3221214320 1131555564 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209179 22783 13086 16 0 209163 0
vsize: 836716
[startup+190.008 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19978
Raw data (stat): 19956 (java) R 19955 3944 3943 0 -1 0 18109 4 1 0 18063 43 0 0 25 0 11 0 780677971 856797184 22825 4294967295 134512640 134569956 3221224368 3221214488 1131332709 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209179 22825 13086 16 0 209163 0
vsize: 836716
[startup+200.008 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19978
Raw data (stat): 19956 (java) R 19955 3944 3943 0 -1 0 18109 4 1 0 19022 44 0 0 25 0 11 0 780677971 856797184 22905 4294967295 134512640 134569956 3221224368 3221214424 1131236663 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209179 22905 13086 16 0 209163 0
vsize: 836716
[startup+210.008 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19978
Raw data (stat): 19956 (java) R 19955 3944 3943 0 -1 0 18109 4 1 0 19979 45 0 0 25 0 11 0 780677971 856797184 22969 4294967295 134512640 134569956 3221224368 3221214540 1131287932 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209179 22969 13086 16 0 209163 0
vsize: 836716
[startup+220.009 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19978
Raw data (stat): 19956 (java) R 19955 3944 3943 0 -1 0 18109 4 1 0 20945 45 0 0 25 0 11 0 780677971 856797184 23102 4294967295 134512640 134569956 3221224368 3221214536 1131374156 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209179 23102 13086 16 0 209163 0
vsize: 836716
[startup+230.009 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19978
Raw data (stat): 19956 (java) R 19955 3944 3943 0 -1 0 18109 4 1 0 21912 45 0 0 25 0 11 0 780677971 856797184 23244 4294967295 134512640 134569956 3221224368 3221214040 1131242266 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209179 23244 13086 16 0 209163 0
vsize: 836716
[startup+240.009 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19978
Raw data (stat): 19956 (java) R 19955 3944 3943 0 -1 0 18109 4 1 0 22888 46 0 0 25 0 11 0 780677971 856797184 23334 4294967295 134512640 134569956 3221224368 3221214536 1131374126 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209179 23334 13086 16 0 209163 0
vsize: 836716
[startup+250.009 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19978
Raw data (stat): 19956 (java) R 19955 3944 3943 0 -1 0 18109 4 1 0 23870 46 0 0 25 0 11 0 780677971 856797184 23401 4294967295 134512640 134569956 3221224368 3221214424 1131236518 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209179 23401 13086 16 0 209163 0
vsize: 836716
[startup+260.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19978
Raw data (stat): 19956 (java) R 19955 3944 3943 0 -1 0 18109 4 1 0 24850 47 0 0 25 0 11 0 780677971 856797184 23482 4294967295 134512640 134569956 3221224368 3221214656 1131303908 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209179 23482 13086 16 0 209163 0
vsize: 836716
[startup+270.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19978
Raw data (stat): 19956 (java) R 19955 3944 3943 0 -1 0 18109 4 1 0 25837 47 0 0 25 0 11 0 780677971 856797184 23527 4294967295 134512640 134569956 3221224368 3221214440 1131236820 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209179 23527 13086 16 0 209163 0
vsize: 836716
[startup+280.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19978
Raw data (stat): 19956 (java) R 19955 3944 3943 0 -1 0 18109 4 1 0 26820 48 0 0 25 0 11 0 780677971 856797184 23544 4294967295 134512640 134569956 3221224368 3221214384 1131470485 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209179 23544 13086 16 0 209163 0
vsize: 836716
[startup+290.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19978
Raw data (stat): 19956 (java) R 19955 3944 3943 0 -1 0 18109 4 1 0 27801 48 0 0 25 0 11 0 780677971 856797184 23544 4294967295 134512640 134569956 3221224368 3221214544 1131364146 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209179 23544 13086 16 0 209163 0
vsize: 836716
[startup+300.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19978
Raw data (stat): 19956 (java) R 19955 3944 3943 0 -1 0 18109 4 1 0 28778 48 0 0 25 0 11 0 780677971 856797184 23597 4294967295 134512640 134569956 3221224368 3221214520 1131333651 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209179 23597 13086 16 0 209163 0
vsize: 836716
[startup+310.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19978
Raw data (stat): 19956 (java) R 19955 3944 3943 0 -1 0 18109 4 1 0 29740 49 0 0 25 0 11 0 780677971 856797184 23655 4294967295 134512640 134569956 3221224368 3221214760 1131337397 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209179 23655 13086 16 0 209163 0
vsize: 836716
[startup+320.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19978
Raw data (stat): 19956 (java) R 19955 3944 3943 0 -1 0 18109 4 1 0 30701 49 0 0 25 0 11 0 780677971 856797184 23741 4294967295 134512640 134569956 3221224368 3221214656 1131303527 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209179 23741 13086 16 0 209163 0
vsize: 836716
[startup+330.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19978
Raw data (stat): 19956 (java) R 19955 3944 3943 0 -1 0 18109 4 1 0 31661 49 0 0 25 0 11 0 780677971 856797184 23809 4294967295 134512640 134569956 3221224368 3221214536 1131318231 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209179 23809 13086 16 0 209163 0
vsize: 836716
[startup+340.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19978
Raw data (stat): 19956 (java) R 19955 3944 3943 0 -1 0 18109 4 1 0 32629 49 0 0 25 0 11 0 780677971 856797184 23906 4294967295 134512640 134569956 3221224368 3221214264 1079721490 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209179 23906 13086 16 0 209163 0
vsize: 836716
[startup+350.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19978
Raw data (stat): 19956 (java) R 19955 3944 3943 0 -1 0 18109 4 1 0 33605 49 0 0 25 0 11 0 780677971 856797184 24124 4294967295 134512640 134569956 3221224368 3221214776 1131475420 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209179 24124 13086 16 0 209163 0
vsize: 836716
[startup+360.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19979
Raw data (stat): 19956 (java) R 19955 3944 3943 0 -1 0 18109 4 1 0 34579 49 0 0 24 0 11 0 780677971 856797184 24194 4294967295 134512640 134569956 3221224368 3221214656 1131303648 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209179 24194 13086 16 0 209163 0
vsize: 836716
[startup+370.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19980
Raw data (stat): 19956 (java) R 19955 3944 3943 0 -1 0 18109 4 1 0 35554 50 0 0 24 0 11 0 780677971 856797184 24236 4294967295 134512640 134569956 3221224368 3221214440 1131236635 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209179 24236 13086 16 0 209163 0
vsize: 836716
[startup+380.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19980
Raw data (stat): 19956 (java) R 19955 3944 3943 0 -1 0 18109 4 1 0 36532 50 0 0 25 0 11 0 780677971 856797184 24236 4294967295 134512640 134569956 3221224368 3221214424 1131236871 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209179 24236 13086 16 0 209163 0
vsize: 836716
[startup+390.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19980
Raw data (stat): 19956 (java) R 19955 3944 3943 0 -1 0 18109 4 1 0 37512 50 0 0 25 0 11 0 780677971 856797184 24305 4294967295 134512640 134569956 3221224368 3221214440 1131236660 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209179 24305 13086 16 0 209163 0
vsize: 836716
[startup+400.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19980
Raw data (stat): 19956 (java) R 19955 3944 3943 0 -1 0 18109 4 1 0 38494 50 0 0 25 0 11 0 780677971 856797184 24379 4294967295 134512640 134569956 3221224368 3221214760 1131337947 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209179 24379 13086 16 0 209163 0
vsize: 836716
[startup+410.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19980
Raw data (stat): 19956 (java) R 19955 3944 3943 0 -1 0 18109 4 1 0 39469 50 0 0 24 0 11 0 780677971 856797184 24443 4294967295 134512640 134569956 3221224368 3221214544 1131356483 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209179 24443 13086 16 0 209163 0
vsize: 836716
[startup+420.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19980
Raw data (stat): 19956 (java) R 19955 3944 3943 0 -1 0 18109 4 1 0 40447 50 0 0 25 0 11 0 780677971 856797184 24485 4294967295 134512640 134569956 3221224368 3221214648 1131186931 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209179 24485 13086 16 0 209163 0
vsize: 836716
[startup+430.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19980
Raw data (stat): 19956 (java) R 19955 3944 3943 0 -1 0 18109 4 1 0 41422 50 0 0 25 0 11 0 780677971 856797184 24512 4294967295 134512640 134569956 3221224368 3221214656 1131303660 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209179 24512 13086 16 0 209163 0
vsize: 836716
[startup+440.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19980
Raw data (stat): 19956 (java) R 19955 3944 3943 0 -1 0 18109 4 1 0 42399 51 0 0 25 0 11 0 780677971 856797184 24562 4294967295 134512640 134569956 3221224368 3221214424 1131236321 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209179 24562 13086 16 0 209163 0
vsize: 836716
[startup+450.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19980
Raw data (stat): 19956 (java) R 19955 3944 3943 0 -1 0 18109 4 1 0 43376 51 0 0 25 0 11 0 780677971 856797184 24655 4294967295 134512640 134569956 3221224368 3221214424 1131236820 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209179 24655 13086 16 0 209163 0
vsize: 836716
[startup+460.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19980
Raw data (stat): 19956 (java) R 19955 3944 3943 0 -1 0 18109 4 1 0 44357 51 0 0 25 0 11 0 780677971 856797184 24737 4294967295 134512640 134569956 3221224368 3221214760 1131338620 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209179 24737 13086 16 0 209163 0
vsize: 836716
[startup+470.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19980
Raw data (stat): 19956 (java) R 19955 3944 3943 0 -1 0 18109 4 1 0 45335 51 0 0 25 0 11 0 780677971 856797184 24772 4294967295 134512640 134569956 3221224368 3221214536 1131374126 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209179 24772 13086 16 0 209163 0
vsize: 836716
[startup+480.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19980
Raw data (stat): 19956 (java) R 19955 3944 3943 0 -1 0 18109 4 1 0 46315 51 0 0 25 0 11 0 780677971 856797184 24772 4294967295 134512640 134569956 3221224368 3221214424 1131236518 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209179 24772 13086 16 0 209163 0
vsize: 836716
[startup+490.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19980
Raw data (stat): 19956 (java) R 19955 3944 3943 0 -1 0 18109 4 1 0 47297 51 0 0 25 0 11 0 780677971 856797184 24839 4294967295 134512640 134569956 3221224368 3221214528 1131371552 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209179 24839 13086 16 0 209163 0
vsize: 836716
[startup+500.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19980
Raw data (stat): 19956 (java) R 19955 3944 3943 0 -1 0 18109 4 1 0 48274 52 0 0 25 0 11 0 780677971 856797184 24910 4294967295 134512640 134569956 3221224368 3221214608 1131204633 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209179 24910 13086 16 0 209163 0
vsize: 836716
[startup+510.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19980
Raw data (stat): 19956 (java) R 19955 3944 3943 0 -1 0 18109 4 1 0 49249 52 0 0 25 0 11 0 780677971 856797184 24952 4294967295 134512640 134569956 3221224368 3221214440 1131236504 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209179 24952 13086 16 0 209163 0
vsize: 836716
[startup+520.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19980
Raw data (stat): 19956 (java) R 19955 3944 3943 0 -1 0 18109 4 1 0 50220 52 0 0 25 0 11 0 780677971 856797184 24992 4294967295 134512640 134569956 3221224368 3221214440 1131236793 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209179 24992 13086 16 0 209163 0
vsize: 836716
[startup+530.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19980
Raw data (stat): 19956 (java) R 19955 3944 3943 0 -1 0 18109 4 1 0 51186 52 0 0 25 0 11 0 780677971 856797184 25052 4294967295 134512640 134569956 3221224368 3221214440 1131236895 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209179 25052 13086 16 0 209163 0
vsize: 836716
[startup+540.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19980
Raw data (stat): 19956 (java) R 19955 3944 3943 0 -1 0 18109 4 1 0 52155 52 0 0 24 0 11 0 780677971 856797184 25124 4294967295 134512640 134569956 3221224368 3221214440 1131236837 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209179 25124 13086 16 0 209163 0
vsize: 836716
[startup+550.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19980
Raw data (stat): 19956 (java) R 19955 3944 3943 0 -1 0 18109 4 1 0 53137 52 0 0 25 0 11 0 780677971 856797184 25195 4294967295 134512640 134569956 3221224368 3221214424 1131236857 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209179 25195 13086 16 0 209163 0
vsize: 836716
[startup+560.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19980
Raw data (stat): 19956 (java) R 19955 3944 3943 0 -1 0 18109 4 1 0 54121 52 0 0 25 0 11 0 780677971 856797184 25299 4294967295 134512640 134569956 3221224368 3221214440 1131236820 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209179 25299 13086 16 0 209163 0
vsize: 836716
[startup+570.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19980
Raw data (stat): 19956 (java) R 19955 3944 3943 0 -1 0 18109 4 1 0 55111 52 0 0 25 0 11 0 780677971 856797184 25392 4294967295 134512640 134569956 3221224368 3221214424 1131236518 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209179 25392 13086 16 0 209163 0
vsize: 836716
[startup+580.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19980
Raw data (stat): 19956 (java) R 19955 3944 3943 0 -1 0 18109 4 1 0 56107 53 0 0 25 0 11 0 780677971 856797184 25402 4294967295 134512640 134569956 3221224368 3221214536 1131374126 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209179 25402 13086 16 0 209163 0
vsize: 836716
[startup+590.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19980
Raw data (stat): 19956 (java) R 19955 3944 3943 0 -1 0 18109 4 1 0 57103 53 0 0 25 0 11 0 780677971 856797184 25404 4294967295 134512640 134569956 3221224368 3221214440 1131236851 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209179 25404 13086 16 0 209163 0
vsize: 836716
[startup+600.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19980
Raw data (stat): 19956 (java) R 19955 3944 3943 0 -1 0 18109 4 1 0 58099 53 0 0 25 0 11 0 780677971 856797184 25405 4294967295 134512640 134569956 3221224368 3221214440 1131236895 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209179 25405 13086 16 0 209163 0
vsize: 836716
[startup+610.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19980
Raw data (stat): 19956 (java) R 19955 3944 3943 0 -1 0 18109 4 1 0 59095 53 0 0 25 0 11 0 780677971 856797184 25405 4294967295 134512640 134569956 3221224368 3221214440 1131236857 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209179 25405 13086 16 0 209163 0
vsize: 836716
[startup+620.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19980
Raw data (stat): 19956 (java) R 19955 3944 3943 0 -1 0 18109 4 1 0 60091 53 0 0 25 0 11 0 780677971 856797184 25405 4294967295 134512640 134569956 3221224368 3221214440 1131236633 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209179 25405 13086 16 0 209163 0
vsize: 836716
[startup+630.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19980
Raw data (stat): 19956 (java) R 19955 3944 3943 0 -1 0 18109 4 1 0 61087 53 0 0 25 0 11 0 780677971 856797184 25405 4294967295 134512640 134569956 3221224368 3221214440 1131236820 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209179 25405 13086 16 0 209163 0
vsize: 836716
[startup+640.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19980
Raw data (stat): 19956 (java) R 19955 3944 3943 0 -1 0 18109 4 1 0 62083 54 0 0 25 0 11 0 780677971 856797184 25413 4294967295 134512640 134569956 3221224368 3221214536 1131374262 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209179 25413 13086 16 0 209163 0
vsize: 836716
[startup+650.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19980
Raw data (stat): 19956 (java) R 19955 3944 3943 0 -1 0 18109 4 1 0 63080 54 0 0 25 0 11 0 780677971 856797184 25413 4294967295 134512640 134569956 3221224368 3221214440 1131236633 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209179 25413 13086 16 0 209163 0
vsize: 836716
[startup+660.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19980
Raw data (stat): 19956 (java) R 19955 3944 3943 0 -1 0 18109 4 1 0 64077 54 0 0 25 0 11 0 780677971 856797184 25413 4294967295 134512640 134569956 3221224368 3221214440 1131236820 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209179 25413 13086 16 0 209163 0
vsize: 836716
[startup+670.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19980
Raw data (stat): 19956 (java) R 19955 3944 3943 0 -1 0 18109 4 1 0 65074 54 0 0 25 0 11 0 780677971 856797184 25414 4294967295 134512640 134569956 3221224368 3221214440 1131236633 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209179 25414 13086 16 0 209163 0
vsize: 836716
[startup+680.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19980
Raw data (stat): 19956 (java) R 19955 3944 3943 0 -1 0 18109 4 1 0 66071 54 0 0 25 0 11 0 780677971 856797184 25414 4294967295 134512640 134569956 3221224368 3221214440 1131236633 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209179 25414 13086 16 0 209163 0
vsize: 836716
[startup+690.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19980
Raw data (stat): 19956 (java) R 19955 3944 3943 0 -1 0 18109 4 1 0 67067 54 0 0 25 0 11 0 780677971 856797184 25414 4294967295 134512640 134569956 3221224368 3221214440 1131236837 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209179 25414 13086 16 0 209163 0
vsize: 836716
[startup+700.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19980
Raw data (stat): 19956 (java) R 19955 3944 3943 0 -1 0 18109 4 1 0 68064 54 0 0 25 0 11 0 780677971 856797184 25414 4294967295 134512640 134569956 3221224368 3221214440 1131236820 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209179 25414 13086 16 0 209163 0
vsize: 836716
[startup+710.029 s]
Raw data (loadavg): 1.07 1.02 1.00 2/64 19980
Raw data (stat): 19956 (java) R 19955 3944 3943 0 -1 0 18109 4 1 0 69061 54 0 0 25 0 11 0 780677971 856797184 25415 4294967295 134512640 134569956 3221224368 3221214488 1131287397 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209179 25415 13086 16 0 209163 0
vsize: 836716
[startup+720.029 s]
Raw data (loadavg): 1.06 1.02 1.00 2/64 19980
Raw data (stat): 19956 (java) R 19955 3944 3943 0 -1 0 18109 4 1 0 70057 54 0 0 25 0 11 0 780677971 856797184 25415 4294967295 134512640 134569956 3221224368 3221214440 1131236857 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209179 25415 13086 16 0 209163 0
vsize: 836716
[startup+730.031 s]
Raw data (loadavg): 1.05 1.01 1.00 2/64 19980
Raw data (stat): 19956 (java) R 19955 3944 3943 0 -1 0 18109 4 1 0 71054 54 0 0 25 0 11 0 780677971 856797184 25415 4294967295 134512640 134569956 3221224368 3221214440 1131236633 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209179 25415 13086 16 0 209163 0
vsize: 836716
[startup+740.032 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 19980
Raw data (stat): 19956 (java) R 19955 3944 3943 0 -1 0 18109 4 1 0 72050 54 0 0 25 0 11 0 780677971 856797184 25415 4294967295 134512640 134569956 3221224368 3221214440 1131236841 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209179 25415 13086 16 0 209163 0
vsize: 836716
[startup+750.031 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 19980
Raw data (stat): 19956 (java) R 19955 3944 3943 0 -1 0 18109 4 1 0 73047 54 0 0 25 0 11 0 780677971 856797184 25416 4294967295 134512640 134569956 3221224368 3221214464 1131181209 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209179 25416 13086 16 0 209163 0
vsize: 836716
[startup+760.031 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 19980
Raw data (stat): 19956 (java) R 19955 3944 3943 0 -1 0 18109 4 1 0 74043 54 0 0 25 0 11 0 780677971 856797184 25416 4294967295 134512640 134569956 3221224368 3221214440 1131236883 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209179 25416 13086 16 0 209163 0
vsize: 836716
[startup+770.032 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 19980
Raw data (stat): 19956 (java) R 19955 3944 3943 0 -1 0 18109 4 1 0 75040 54 0 0 25 0 11 0 780677971 856797184 25416 4294967295 134512640 134569956 3221224368 3221214440 1131236837 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209179 25416 13086 16 0 209163 0
vsize: 836716
[startup+780.032 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 19980
Raw data (stat): 19956 (java) R 19955 3944 3943 0 -1 0 18109 4 1 0 76037 54 0 0 25 0 11 0 780677971 856797184 25416 4294967295 134512640 134569956 3221224368 3221214440 1131236857 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209179 25416 13086 16 0 209163 0
vsize: 836716
[startup+790.033 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 19980
Raw data (stat): 19956 (java) R 19955 3944 3943 0 -1 0 18109 4 1 0 77033 55 0 0 25 0 11 0 780677971 856797184 25416 4294967295 134512640 134569956 3221224368 3221214440 1131236757 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209179 25416 13086 16 0 209163 0
vsize: 836716
[startup+800.033 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 19980
Raw data (stat): 19956 (java) R 19955 3944 3943 0 -1 0 18109 4 1 0 78029 55 0 0 25 0 11 0 780677971 856797184 25417 4294967295 134512640 134569956 3221224368 3221214440 1131236820 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209179 25417 13086 16 0 209163 0
vsize: 836716
[startup+810.034 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 19980
Raw data (stat): 19956 (java) R 19955 3944 3943 0 -1 0 18109 4 1 0 79025 55 0 0 25 0 11 0 780677971 856797184 25417 4294967295 134512640 134569956 3221224368 3221214424 1131236883 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209179 25417 13086 16 0 209163 0
vsize: 836716
[startup+820.033 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 19980
Raw data (stat): 19956 (java) R 19955 3944 3943 0 -1 0 18109 4 1 0 80021 55 0 0 25 0 11 0 780677971 856797184 25417 4294967295 134512640 134569956 3221224368 3221214440 1131236633 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209179 25417 13086 16 0 209163 0
vsize: 836716
[startup+830.035 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 19980
Raw data (stat): 19956 (java) R 19955 3944 3943 0 -1 0 18109 4 1 0 81017 55 0 0 25 0 11 0 780677971 856797184 25417 4294967295 134512640 134569956 3221224368 3221214480 1131268142 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209179 25417 13086 16 0 209163 0
vsize: 836716
[startup+840.035 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 19980
Raw data (stat): 19956 (java) R 19955 3944 3943 0 -1 0 18109 4 1 0 82013 55 0 0 25 0 11 0 780677971 856797184 25420 4294967295 134512640 134569956 3221224368 3221214440 1131236820 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209179 25420 13086 16 0 209163 0
vsize: 836716
[startup+850.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19980
Raw data (stat): 19956 (java) R 19955 3944 3943 0 -1 0 18109 4 1 0 83009 56 0 0 25 0 11 0 780677971 856797184 25420 4294967295 134512640 134569956 3221224368 3221214440 1131236822 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209179 25420 13086 16 0 209163 0
vsize: 836716
[startup+860.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19980
Raw data (stat): 19956 (java) R 19955 3944 3943 0 -1 0 18109 4 1 0 84006 56 0 0 25 0 11 0 780677971 856797184 25420 4294967295 134512640 134569956 3221224368 3221214440 1131236820 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209179 25420 13086 16 0 209163 0
vsize: 836716
[startup+870.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19980
Raw data (stat): 19956 (java) R 19955 3944 3943 0 -1 0 18109 4 1 0 85003 56 0 0 25 0 11 0 780677971 856797184 25420 4294967295 134512640 134569956 3221224368 3221214440 1131236757 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209179 25420 13086 16 0 209163 0
vsize: 836716
[startup+880.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19980
Raw data (stat): 19956 (java) R 19955 3944 3943 0 -1 0 18109 4 1 0 85999 56 0 0 25 0 11 0 780677971 856797184 25421 4294967295 134512640 134569956 3221224368 3221214480 1131268122 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209179 25421 13086 16 0 209163 0
vsize: 836716
[startup+890.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19980
Raw data (stat): 19956 (java) R 19955 3944 3943 0 -1 0 18109 4 1 0 86996 56 0 0 25 0 11 0 780677971 856797184 25421 4294967295 134512640 134569956 3221224368 3221214440 1131236633 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209179 25421 13086 16 0 209163 0
vsize: 836716
[startup+900.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19980
Raw data (stat): 19956 (java) R 19955 3944 3943 0 -1 0 18109 4 1 0 87985 56 0 0 25 0 11 0 780677971 856797184 25421 4294967295 134512640 134569956 3221224368 3221214568 1131510089 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209179 25421 13086 16 0 209163 0
vsize: 836716
[startup+910.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19980
Raw data (stat): 19956 (java) R 19955 3944 3943 0 -1 0 18109 4 1 0 88972 56 0 0 25 0 11 0 780677971 856797184 25421 4294967295 134512640 134569956 3221224368 3221214424 1131236914 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209179 25421 13086 16 0 209163 0
vsize: 836716
[startup+920.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19980
Raw data (stat): 19956 (java) R 19955 3944 3943 0 -1 0 18109 4 1 0 89957 56 0 0 25 0 11 0 780677971 856797184 25421 4294967295 134512640 134569956 3221224368 3221214440 1131236865 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209179 25421 13086 16 0 209163 0
vsize: 836716
[startup+930.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19980
Raw data (stat): 19956 (java) R 19955 3944 3943 0 -1 0 18109 4 1 0 90942 56 0 0 25 0 11 0 780677971 856797184 25498 4294967295 134512640 134569956 3221224368 3221214760 1131337255 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209179 25498 13086 16 0 209163 0
vsize: 836716
[startup+940.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19980
Raw data (stat): 19956 (java) R 19955 3944 3943 0 -1 0 18109 4 1 0 91926 56 0 0 25 0 11 0 780677971 856797184 25592 4294967295 134512640 134569956 3221224368 3221214440 1131236663 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209179 25592 13086 16 0 209163 0
vsize: 836716
[startup+950.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19980
Raw data (stat): 19956 (java) R 19955 3944 3943 0 -1 0 18109 4 1 0 92910 56 0 0 25 0 11 0 780677971 856797184 25610 4294967295 134512640 134569956 3221224368 3221214112 1080217202 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209179 25610 13086 16 0 209163 0
vsize: 836716
[startup+960.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19980
Raw data (stat): 19956 (java) R 19955 3944 3943 0 -1 0 18109 4 1 0 93894 57 0 0 25 0 11 0 780677971 856797184 25628 4294967295 134512640 134569956 3221224368 3221214528 1131371552 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209179 25628 13086 16 0 209163 0
vsize: 836716
[startup+970.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19980
Raw data (stat): 19956 (java) R 19955 3944 3943 0 -1 0 18109 4 1 0 94873 57 0 0 25 0 11 0 780677971 856797184 25655 4294967295 134512640 134569956 3221224368 3221214648 1131186931 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209179 25655 13086 16 0 209163 0
vsize: 836716
[startup+980.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19980
Raw data (stat): 19956 (java) R 19955 3944 3943 0 -1 0 18109 4 1 0 95851 57 0 0 25 0 11 0 780677971 856797184 25713 4294967295 134512640 134569956 3221224368 3221214648 1131186902 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209179 25713 13086 16 0 209163 0
vsize: 836716
[startup+990.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19980
Raw data (stat): 19956 (java) R 19955 3944 3943 0 -1 0 18109 4 1 0 96829 57 0 0 24 0 11 0 780677971 856797184 25752 4294967295 134512640 134569956 3221224368 3221214424 1131236851 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209179 25752 13086 16 0 209163 0
vsize: 836716
[startup+1000.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19980
Raw data (stat): 19956 (java) R 19955 3944 3943 0 -1 0 18109 4 1 0 97807 57 0 0 24 0 11 0 780677971 856797184 25821 4294967295 134512640 134569956 3221224368 3221214656 1131303816 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209179 25821 13086 16 0 209163 0
vsize: 836716
[startup+1010.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19980
Raw data (stat): 19956 (java) R 19955 3944 3943 0 -1 0 18109 4 1 0 98782 57 0 0 25 0 11 0 780677971 856797184 25879 4294967295 134512640 134569956 3221224368 3221214648 1131186868 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209179 25879 13086 16 0 209163 0
vsize: 836716
[startup+1020.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19980
Raw data (stat): 19956 (java) R 19955 3944 3943 0 -1 0 18109 4 1 0 99756 58 0 0 25 0 11 0 780677971 856797184 25929 4294967295 134512640 134569956 3221224368 3221214440 1131236635 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209179 25929 13086 16 0 209163 0
vsize: 836716
[startup+1030.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19980
Raw data (stat): 19956 (java) R 19955 3944 3943 0 -1 0 18109 4 1 0 100732 58 0 0 25 0 11 0 780677971 856797184 25964 4294967295 134512640 134569956 3221224368 3221214432 1131460137 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209179 25964 13086 16 0 209163 0
vsize: 836716
[startup+1040.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19980
Raw data (stat): 19956 (java) R 19955 3944 3943 0 -1 0 18109 4 1 0 101705 58 0 0 25 0 11 0 780677971 856797184 26052 4294967295 134512640 134569956 3221224368 3221214536 1131201010 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209179 26052 13086 16 0 209163 0
vsize: 836716
[startup+1050.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19980
Raw data (stat): 19956 (java) R 19955 3944 3943 0 -1 0 18109 4 1 0 102686 58 0 0 25 0 11 0 780677971 856797184 26103 4294967295 134512640 134569956 3221224368 3221214424 1131186976 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209179 26103 13086 16 0 209163 0
vsize: 836716
[startup+1060.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19980
Raw data (stat): 19956 (java) R 19955 3944 3943 0 -1 0 18109 4 1 0 103668 58 0 0 25 0 11 0 780677971 856797184 26159 4294967295 134512640 134569956 3221224368 3221214460 1130885163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209179 26159 13086 16 0 209163 0
vsize: 836716
[startup+1070.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19980
Raw data (stat): 19956 (java) R 19955 3944 3943 0 -1 0 18109 4 1 0 104649 58 0 0 25 0 11 0 780677971 856797184 26205 4294967295 134512640 134569956 3221224368 3221214440 1131236518 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209179 26205 13086 16 0 209163 0
vsize: 836716
[startup+1080.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19980
Raw data (stat): 19956 (java) R 19955 3944 3943 0 -1 0 18109 4 1 0 105627 58 0 0 25 0 11 0 780677971 856797184 26263 4294967295 134512640 134569956 3221224368 3221214656 1131303465 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209179 26263 13086 16 0 209163 0
vsize: 836716
[startup+1090.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19980
Raw data (stat): 19956 (java) R 19955 3944 3943 0 -1 0 18109 4 1 0 106600 58 0 0 25 0 11 0 780677971 856797184 26318 4294967295 134512640 134569956 3221224368 3221214440 1131236663 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209179 26318 13086 16 0 209163 0
vsize: 836716
[startup+1100.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19980
Raw data (stat): 19956 (java) R 19955 3944 3943 0 -1 0 18109 4 1 0 107576 58 0 0 24 0 11 0 780677971 856797184 26365 4294967295 134512640 134569956 3221224368 3221214464 1131181209 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209179 26365 13086 16 0 209163 0
vsize: 836716
[startup+1110.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19980
Raw data (stat): 19956 (java) R 19955 3944 3943 0 -1 0 18109 4 1 0 108554 58 0 0 25 0 11 0 780677971 856797184 26453 4294967295 134512640 134569956 3221224368 3221214656 1131303029 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209179 26453 13086 16 0 209163 0
vsize: 836716
[startup+1120.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19980
Raw data (stat): 19956 (java) R 19955 3944 3943 0 -1 0 18109 4 1 0 109532 58 0 0 24 0 11 0 780677971 856797184 26523 4294967295 134512640 134569956 3221224368 3221214648 1131186861 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209179 26523 13086 16 0 209163 0
vsize: 836716
[startup+1130.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19980
Raw data (stat): 19956 (java) R 19955 3944 3943 0 -1 0 18109 4 1 0 110514 58 0 0 25 0 11 0 780677971 856797184 26559 4294967295 134512640 134569956 3221224368 3221214656 1131303553 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209179 26559 13086 16 0 209163 0
vsize: 836716
[startup+1140.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19980
Raw data (stat): 19956 (java) R 19955 3944 3943 0 -1 0 18109 4 1 0 111490 58 0 0 25 0 11 0 780677971 856797184 26591 4294967295 134512640 134569956 3221224368 3221214760 1131337400 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209179 26591 13086 16 0 209163 0
vsize: 836716
[startup+1150.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19980
Raw data (stat): 19956 (java) R 19955 3944 3943 0 -1 0 18109 4 1 0 112463 58 0 0 25 0 11 0 780677971 856797184 26661 4294967295 134512640 134569956 3221224368 3221214440 1131236857 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209179 26661 13086 16 0 209163 0
vsize: 836716
[startup+1160.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19980
Raw data (stat): 19956 (java) R 19955 3944 3943 0 -1 0 18109 4 1 0 113443 58 0 0 25 0 11 0 780677971 856797184 26709 4294967295 134512640 134569956 3221224368 3221214440 1131236857 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209179 26709 13086 16 0 209163 0
vsize: 836716
[startup+1170.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19980
Raw data (stat): 19956 (java) R 19955 3944 3943 0 -1 0 18109 4 1 0 114424 58 0 0 25 0 11 0 780677971 856797184 26732 4294967295 134512640 134569956 3221224368 3221214544 1131356512 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209179 26732 13086 16 0 209163 0
vsize: 836716
[startup+1180.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19980
Raw data (stat): 19956 (java) R 19955 3944 3943 0 -1 0 18109 4 1 0 115409 58 0 0 25 0 11 0 780677971 856797184 26768 4294967295 134512640 134569956 3221224368 3221214440 1131236706 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209179 26768 13086 16 0 209163 0
vsize: 836716
[startup+1190.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19980
Raw data (stat): 19956 (java) R 19955 3944 3943 0 -1 0 18109 4 1 0 116394 58 0 0 25 0 11 0 780677971 856797184 26863 4294967295 134512640 134569956 3221224368 3221214544 1131356483 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209179 26863 13086 16 0 209163 0
vsize: 836716
[startup+1200.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19980
Raw data (stat): 19956 (java) R 19955 3944 3943 0 -1 0 18109 4 1 0 117385 58 0 0 25 0 11 0 780677971 856797184 26864 4294967295 134512640 134569956 3221224368 3221214440 1131236798 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209179 26864 13086 16 0 209163 0
vsize: 836716
[startup+1210.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19980
Raw data (stat): 19956 (java) R 19955 3944 3943 0 -1 0 18109 4 1 0 118376 59 0 0 25 0 11 0 780677971 856797184 26888 4294967295 134512640 134569956 3221224368 3221214440 1131236802 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209179 26888 13086 16 0 209163 0
vsize: 836716
[startup+1220.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19980
Raw data (stat): 19956 (java) R 19955 3944 3943 0 -1 0 18109 4 1 0 119368 59 0 0 25 0 11 0 780677971 856797184 26925 4294967295 134512640 134569956 3221224368 3221214440 1131236822 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209179 26925 13086 16 0 209163 0
vsize: 836716
[startup+1230.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19980
Raw data (stat): 19956 (java) R 19955 3944 3943 0 -1 0 18109 4 1 0 120364 59 0 0 25 0 11 0 780677971 856797184 26935 4294967295 134512640 134569956 3221224368 3221214544 1131356483 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209179 26935 13086 16 0 209163 0
vsize: 836716
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1230.23 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 19982
Raw data (stat): 19956 (java) Z 19955 3944 3943 0 -1 1036 18109 11649 1 0 120372 64 3301 38 24 0 1 0 780677971 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): 1230.23
CPU time (s): 1237.78
CPU user time (s): 1236.75
CPU system time (s): 1.02984
CPU usage (%): 100.613
Max. virtual memory (Kb): 838780
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	3440
#### END VERIFIER DATA ####