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-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-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.03384
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 29504 

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        759336 kB
Buffers:         26420 kB
Cached:         226684 kB
SwapCached:        400 kB
Active:          48800 kB
Inactive:       206552 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        759084 kB
SwapTotal:     2097892 kB
SwapFree:      2096804 kB
Dirty:              36 kB
Writeback:           0 kB
Mapped:           5576 kB
Slab:            14400 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 08:44:45 (client local time) WITH STATUS 143 IN 1228.46 SECONDS
stats: 20906 0 1228.46 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c SAT4J: a SATisfiability library for Java (c) 2004-2005 Daniel Le Berre
c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
c version Special PB05 Second trial
c --- Begin Solver configuration ---
c org.sat4j.minisat.uip.FirstUIP@1e4cbc4
c org.sat4j.minisat.constraints.PBMinDataStructure@1fdc96c
c org.sat4j.minisat.learning.MiniSATLearning@b2fd8f
c conflictBoundIncFactor=1.5 learntBoundIncFactor=1.1 initLearntBoundConstraintFactor=0.5 initConflictBound=100 
c 
c --- End Solver configuration ---
c solving /oldhome/oroussel/tmp/wulflinc22/normalized-mps-v2-20-10-air01.opb
c reading problem ... done. Time 2.529 ms.
c #vars     771
c #constraints  46
c SATISFIABLE
c OPTIMIZING...
c CURRENT OPTIMUM=                6848 		Current CPU time: 3.37 ms
c CURRENT OPTIMUM=                6633 		Current CPU time: 3.65 ms
c CURRENT OPTIMUM=                6225 		Current CPU time: 4.09 ms
c CURRENT OPTIMUM=                4860 		Current CPU time: 4.44 ms
c CURRENT OPTIMUM=                4727 		Current CPU time: 9.06 ms
c CURRENT OPTIMUM=                4652 		Current CPU time: 13.62 ms
c CURRENT OPTIMUM=                4581 		Current CPU time: 26.59 ms
c CURRENT OPTIMUM=                4361 		Current CPU time: 34.10 ms
c CURRENT OPTIMUM=                4183 		Current CPU time: 35.95 ms
c CURRENT OPTIMUM=                4074 		Current CPU time: 46.20 ms
c CURRENT OPTIMUM=                3987 		Current CPU time: 64.17 ms
c CURRENT OPTIMUM=                3682 		Current CPU time: 102.45 ms
c CURRENT OPTIMUM=                3576 		Current CPU time: 353.11 ms
c CURRENT OPTIMUM=                3440 		Current CPU time: 362.15 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.256
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.86 0.97 0.99 2/54 1472
Raw data (stat): 1472 (runsolver) R 1471 23310 23309 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 837414007 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): 0.95 0.99 0.99 2/64 1486
Raw data (stat): 1472 (java) R 1471 23310 23309 0 -1 0 18120 3 1 0 778 38 0 0 25 0 11 0 837414007 858947584 20375 4294967295 134512640 134569956 3221224368 3221214780 1131291861 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209704 20375 13086 16 0 209688 0
vsize: 838816
[startup+20.0015 s]
Raw data (loadavg): 0.96 0.99 0.99 2/64 1488
Raw data (stat): 1472 (java) R 1471 23310 23309 0 -1 0 18121 3 1 0 1723 38 0 0 25 0 11 0 837414007 858914816 20789 4294967295 134512640 134569956 3221224368 3221214432 1131050922 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209696 20789 13086 16 0 209680 0
vsize: 838784
[startup+30.0016 s]
Raw data (loadavg): 0.97 0.99 0.99 2/64 1489
Raw data (stat): 1472 (java) R 1471 23310 23309 0 -1 0 18122 3 1 0 2660 38 0 0 25 0 11 0 837414007 858914816 21007 4294967295 134512640 134569956 3221224368 3221214568 1131330518 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209696 21007 13086 16 0 209680 0
vsize: 838784
[startup+40.0018 s]
Raw data (loadavg): 0.97 0.99 0.99 2/64 1491
Raw data (stat): 1472 (java) R 1471 23310 23309 0 -1 0 18122 3 1 0 3592 39 0 0 25 0 11 0 837414007 858914816 21311 4294967295 134512640 134569956 3221224368 3221214424 1131480408 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209696 21311 13086 16 0 209680 0
vsize: 838784
[startup+50.0026 s]
Raw data (loadavg): 0.97 0.99 0.99 2/64 1492
Raw data (stat): 1472 (java) R 1471 23310 23309 0 -1 0 18122 3 1 0 4540 39 0 0 25 0 11 0 837414007 858914816 21710 4294967295 134512640 134569956 3221224368 3221214704 1131298467 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209696 21710 13086 16 0 209680 0
vsize: 838784
[startup+60.0037 s]
Raw data (loadavg): 0.98 0.99 0.99 2/64 1492
Raw data (stat): 1472 (java) R 1471 23310 23309 0 -1 0 18122 3 1 0 5484 39 0 0 25 0 11 0 837414007 858914816 21863 4294967295 134512640 134569956 3221224368 3221214448 1131235799 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209696 21863 13086 16 0 209680 0
vsize: 838784
[startup+70.004 s]
Raw data (loadavg): 0.98 0.99 0.99 2/64 1493
Raw data (stat): 1472 (java) R 1471 23310 23309 0 -1 0 18122 3 1 0 6437 40 0 0 25 0 11 0 837414007 858914816 21996 4294967295 134512640 134569956 3221224368 3221214448 1131235797 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209696 21996 13086 16 0 209680 0
vsize: 838784
[startup+80.0037 s]
Raw data (loadavg): 0.98 0.99 0.99 2/64 1493
Raw data (stat): 1472 (java) R 1471 23310 23309 0 -1 0 18122 3 1 0 7393 40 0 0 25 0 11 0 837414007 858914816 22134 4294967295 134512640 134569956 3221224368 3221214432 1131189492 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209696 22134 13086 16 0 209680 0
vsize: 838784
[startup+90.004 s]
Raw data (loadavg): 0.98 0.99 0.99 2/64 1493
Raw data (stat): 1472 (java) R 1471 23310 23309 0 -1 0 18122 3 1 0 8366 40 0 0 25 0 11 0 837414007 858914816 22282 4294967295 134512640 134569956 3221224368 3221214448 1131235489 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209696 22282 13086 16 0 209680 0
vsize: 838784
[startup+100.004 s]
Raw data (loadavg): 0.99 0.99 0.99 2/64 1493
Raw data (stat): 1472 (java) R 1471 23310 23309 0 -1 0 18122 3 1 0 9333 40 0 0 25 0 11 0 837414007 858914816 22453 4294967295 134512640 134569956 3221224368 3221214488 1131501656 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209696 22453 13086 16 0 209680 0
vsize: 838784
[startup+110.005 s]
Raw data (loadavg): 0.99 0.99 0.99 2/64 1494
Raw data (stat): 1472 (java) R 1471 23310 23309 0 -1 0 18123 3 1 0 10311 41 0 0 25 0 11 0 837414007 858914816 22511 4294967295 134512640 134569956 3221224368 3221214648 1131189507 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209696 22511 13086 16 0 209680 0
vsize: 838784
[startup+120.006 s]
Raw data (loadavg): 0.99 0.99 0.99 2/64 1494
Raw data (stat): 1472 (java) R 1471 23310 23309 0 -1 0 18123 3 1 0 11286 41 0 0 25 0 11 0 837414007 858914816 22610 4294967295 134512640 134569956 3221224368 3221214656 1131290668 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209696 22610 13086 16 0 209680 0
vsize: 838784
[startup+130.005 s]
Raw data (loadavg): 0.99 0.99 0.99 2/64 1494
Raw data (stat): 1472 (java) R 1471 23310 23309 0 -1 0 18123 3 1 0 12263 41 0 0 25 0 11 0 837414007 858914816 22638 4294967295 134512640 134569956 3221224368 3221214656 1131291565 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209696 22638 13086 16 0 209680 0
vsize: 838784
[startup+140.005 s]
Raw data (loadavg): 0.99 0.99 0.99 2/64 1494
Raw data (stat): 1472 (java) R 1471 23310 23309 0 -1 0 18123 3 1 0 13226 41 0 0 25 0 11 0 837414007 858914816 22682 4294967295 134512640 134569956 3221224368 3221214448 1131236015 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209696 22682 13086 16 0 209680 0
vsize: 838784
[startup+150.006 s]
Raw data (loadavg): 0.99 0.99 0.99 2/64 1494
Raw data (stat): 1472 (java) R 1471 23310 23309 0 -1 0 18123 3 1 0 14198 42 0 0 25 0 11 0 837414007 858914816 22737 4294967295 134512640 134569956 3221224368 3221214448 1131235960 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209696 22737 13086 16 0 209680 0
vsize: 838784
[startup+160.006 s]
Raw data (loadavg): 0.99 0.99 0.99 2/64 1494
Raw data (stat): 1472 (java) R 1471 23310 23309 0 -1 0 18123 3 1 0 15162 42 0 0 25 0 11 0 837414007 858914816 22813 4294967295 134512640 134569956 3221224368 3221214472 1131197628 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209696 22813 13086 16 0 209680 0
vsize: 838784
[startup+170.007 s]
Raw data (loadavg): 0.99 0.99 0.99 2/64 1494
Raw data (stat): 1472 (java) R 1471 23310 23309 0 -1 0 18123 3 1 0 16132 42 0 0 25 0 11 0 837414007 858914816 22898 4294967295 134512640 134569956 3221224368 3221214656 1131290745 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209696 22898 13086 16 0 209680 0
vsize: 838784
[startup+180.006 s]
Raw data (loadavg): 0.99 0.99 0.99 2/64 1494
Raw data (stat): 1472 (java) R 1471 23310 23309 0 -1 0 18123 3 1 0 17097 43 0 0 25 0 11 0 837414007 858914816 23053 4294967295 134512640 134569956 3221224368 3221214536 1131377959 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209696 23053 13086 16 0 209680 0
vsize: 838784
[startup+190.007 s]
Raw data (loadavg): 0.99 0.99 0.99 2/64 1494
Raw data (stat): 1472 (java) R 1471 23310 23309 0 -1 0 18123 3 1 0 18059 43 0 0 25 0 11 0 837414007 858914816 23095 4294967295 134512640 134569956 3221224368 3221214448 1131235790 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209696 23095 13086 16 0 209680 0
vsize: 838784
[startup+200.007 s]
Raw data (loadavg): 0.99 0.99 0.99 2/64 1494
Raw data (stat): 1472 (java) R 1471 23310 23309 0 -1 0 18123 3 1 0 19016 44 0 0 25 0 11 0 837414007 858914816 23175 4294967295 134512640 134569956 3221224368 3221214760 1131312464 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209696 23175 13086 16 0 209680 0
vsize: 838784
[startup+210.008 s]
Raw data (loadavg): 0.99 0.99 0.99 2/64 1494
Raw data (stat): 1472 (java) R 1471 23310 23309 0 -1 0 18123 3 1 0 19974 44 0 0 25 0 11 0 837414007 858914816 23259 4294967295 134512640 134569956 3221224368 3221214496 1131350640 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209696 23259 13086 16 0 209680 0
vsize: 838784
[startup+220.009 s]
Raw data (loadavg): 0.99 0.99 0.99 2/64 1494
Raw data (stat): 1472 (java) R 1471 23310 23309 0 -1 0 18123 3 1 0 20939 44 0 0 25 0 11 0 837414007 858914816 23372 4294967295 134512640 134569956 3221224368 3221214656 1131290661 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209696 23372 13086 16 0 209680 0
vsize: 838784
[startup+230.008 s]
Raw data (loadavg): 0.99 0.99 0.99 2/64 1494
Raw data (stat): 1472 (java) R 1471 23310 23309 0 -1 0 18123 3 1 0 21906 45 0 0 25 0 11 0 837414007 858914816 23514 4294967295 134512640 134569956 3221224368 3221214656 1131290690 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209696 23514 13086 16 0 209680 0
vsize: 838784
[startup+240.009 s]
Raw data (loadavg): 0.99 0.99 0.99 2/64 1494
Raw data (stat): 1472 (java) R 1471 23310 23309 0 -1 0 18123 3 1 0 22884 45 0 0 25 0 11 0 837414007 858914816 23620 4294967295 134512640 134569956 3221224368 3221214496 1131350702 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209696 23620 13086 16 0 209680 0
vsize: 838784
[startup+250.009 s]
Raw data (loadavg): 0.99 0.99 0.99 2/64 1494
Raw data (stat): 1472 (java) R 1471 23310 23309 0 -1 0 18123 3 1 0 23866 45 0 0 25 0 11 0 837414007 858914816 23671 4294967295 134512640 134569956 3221224368 3221214552 1131348825 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209696 23671 13086 16 0 209680 0
vsize: 838784
[startup+260.01 s]
Raw data (loadavg): 0.99 0.99 0.99 2/64 1494
Raw data (stat): 1472 (java) R 1471 23310 23309 0 -1 0 18123 3 1 0 24846 45 0 0 25 0 11 0 837414007 858914816 23752 4294967295 134512640 134569956 3221224368 3221214496 1131350614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209696 23752 13086 16 0 209680 0
vsize: 838784
[startup+270.01 s]
Raw data (loadavg): 0.99 0.99 0.99 2/64 1494
Raw data (stat): 1472 (java) R 1471 23310 23309 0 -1 0 18123 3 1 0 25833 46 0 0 25 0 11 0 837414007 858914816 23797 4294967295 134512640 134569956 3221224368 3221214552 1131348739 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209696 23797 13086 16 0 209680 0
vsize: 838784
[startup+280.009 s]
Raw data (loadavg): 0.99 0.99 0.99 2/64 1494
Raw data (stat): 1472 (java) R 1471 23310 23309 0 -1 0 18123 3 1 0 26815 46 0 0 25 0 11 0 837414007 858914816 23814 4294967295 134512640 134569956 3221224368 3221214528 1131331411 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209696 23814 13086 16 0 209680 0
vsize: 838784
[startup+290.01 s]
Raw data (loadavg): 0.99 0.99 0.99 2/64 1494
Raw data (stat): 1472 (java) R 1471 23310 23309 0 -1 0 18123 3 1 0 27795 47 0 0 25 0 11 0 837414007 858914816 23835 4294967295 134512640 134569956 3221224368 3221214432 1131189492 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209696 23835 13086 16 0 209680 0
vsize: 838784
[startup+300.009 s]
Raw data (loadavg): 0.99 0.99 0.99 2/64 1494
Raw data (stat): 1472 (java) R 1471 23310 23309 0 -1 0 18123 3 1 0 28771 47 0 0 25 0 11 0 837414007 858914816 23867 4294967295 134512640 134569956 3221224368 3221214448 1131235978 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209696 23867 13086 16 0 209680 0
vsize: 838784
[startup+310.011 s]
Raw data (loadavg): 0.99 0.99 0.99 2/64 1494
Raw data (stat): 1472 (java) R 1471 23310 23309 0 -1 0 18123 3 1 0 29730 48 0 0 25 0 11 0 837414007 858914816 23925 4294967295 134512640 134569956 3221224368 3221214532 1131235475 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209696 23925 13086 16 0 209680 0
vsize: 838784
[startup+320.011 s]
Raw data (loadavg): 0.99 0.99 0.99 2/64 1494
Raw data (stat): 1472 (java) R 1471 23310 23309 0 -1 0 18123 3 1 0 30691 48 0 0 25 0 11 0 837414007 858914816 24043 4294967295 134512640 134569956 3221224368 3221214656 1131290653 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209696 24043 13086 16 0 209680 0
vsize: 838784
[startup+330.011 s]
Raw data (loadavg): 0.99 0.99 0.99 2/64 1494
Raw data (stat): 1472 (java) R 1471 23310 23309 0 -1 0 18123 3 1 0 31650 48 0 0 25 0 11 0 837414007 858914816 24079 4294967295 134512640 134569956 3221224368 3221214528 1131331904 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209696 24079 13086 16 0 209680 0
vsize: 838784
[startup+340.011 s]
Raw data (loadavg): 0.99 0.99 0.99 2/64 1494
Raw data (stat): 1472 (java) R 1471 23310 23309 0 -1 0 18123 3 1 0 32618 49 0 0 25 0 11 0 837414007 858914816 24230 4294967295 134512640 134569956 3221224368 3221214544 1131371156 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209696 24230 13086 16 0 209680 0
vsize: 838784
[startup+350.011 s]
Raw data (loadavg): 0.99 0.99 0.99 2/64 1494
Raw data (stat): 1472 (java) R 1471 23310 23309 0 -1 0 18123 3 1 0 33596 49 0 0 25 0 11 0 837414007 858914816 24394 4294967295 134512640 134569956 3221224368 3221214760 1131312464 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209696 24394 13086 16 0 209680 0
vsize: 838784
[startup+360.012 s]
Raw data (loadavg): 0.99 0.99 0.99 2/64 1495
Raw data (stat): 1472 (java) R 1471 23310 23309 0 -1 0 18123 3 1 0 34568 49 0 0 25 0 11 0 837414007 858914816 24478 4294967295 134512640 134569956 3221224368 3221214656 1131290734 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209696 24478 13086 16 0 209680 0
vsize: 838784
[startup+370.012 s]
Raw data (loadavg): 0.99 0.99 0.99 2/64 1496
Raw data (stat): 1472 (java) R 1471 23310 23309 0 -1 0 18123 3 1 0 35546 50 0 0 25 0 11 0 837414007 858914816 24506 4294967295 134512640 134569956 3221224368 3221214760 1131312464 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209696 24506 13086 16 0 209680 0
vsize: 838784
[startup+380.012 s]
Raw data (loadavg): 0.99 0.99 0.99 2/64 1496
Raw data (stat): 1472 (java) R 1471 23310 23309 0 -1 0 18123 3 1 0 36523 50 0 0 25 0 11 0 837414007 858914816 24506 4294967295 134512640 134569956 3221224368 3221214492 1131197557 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209696 24506 13086 16 0 209680 0
vsize: 838784
[startup+390.014 s]
Raw data (loadavg): 0.99 0.99 0.99 2/64 1496
Raw data (stat): 1472 (java) R 1471 23310 23309 0 -1 0 18123 3 1 0 37500 50 0 0 25 0 11 0 837414007 858914816 24591 4294967295 134512640 134569956 3221224368 3221214448 1131235920 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209696 24591 13086 16 0 209680 0
vsize: 838784
[startup+400.014 s]
Raw data (loadavg): 0.99 0.99 0.99 2/64 1496
Raw data (stat): 1472 (java) R 1471 23310 23309 0 -1 0 18123 3 1 0 38482 51 0 0 25 0 11 0 837414007 858914816 24651 4294967295 134512640 134569956 3221224368 3221214648 1131189523 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209696 24651 13086 16 0 209680 0
vsize: 838784
[startup+410.014 s]
Raw data (loadavg): 0.99 0.99 0.99 2/64 1496
Raw data (stat): 1472 (java) R 1471 23310 23309 0 -1 0 18123 3 1 0 39458 51 0 0 25 0 11 0 837414007 858914816 24713 4294967295 134512640 134569956 3221224368 3221214432 1131189560 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209696 24713 13086 16 0 209680 0
vsize: 838784
[startup+420.014 s]
Raw data (loadavg): 0.99 0.99 0.99 2/64 1496
Raw data (stat): 1472 (java) R 1471 23310 23309 0 -1 0 18123 3 1 0 40433 52 0 0 25 0 11 0 837414007 858914816 24755 4294967295 134512640 134569956 3221224368 3221214760 1131313613 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209696 24755 13086 16 0 209680 0
vsize: 838784
[startup+430.014 s]
Raw data (loadavg): 0.99 0.99 0.99 2/64 1496
Raw data (stat): 1472 (java) S 1471 23310 23309 0 -1 0 18123 3 1 0 41410 52 0 0 25 0 11 0 837414007 858914816 24782 4294967295 134512640 134569956 3221224368 3221213400 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209696 24782 13086 16 0 209680 0
vsize: 838784
[startup+440.014 s]
Raw data (loadavg): 0.99 0.99 0.99 2/64 1496
Raw data (stat): 1472 (java) R 1471 23310 23309 0 -1 0 18123 3 1 0 42384 53 0 0 25 0 11 0 837414007 858914816 24879 4294967295 134512640 134569956 3221224368 3221214656 1131291306 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209696 24879 13086 16 0 209680 0
vsize: 838784
[startup+450.015 s]
Raw data (loadavg): 0.99 0.99 0.99 2/64 1496
Raw data (stat): 1472 (java) R 1471 23310 23309 0 -1 0 18123 3 1 0 43365 53 0 0 25 0 11 0 837414007 858914816 24925 4294967295 134512640 134569956 3221224368 3221214496 1131330469 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209696 24925 13086 16 0 209680 0
vsize: 838784
[startup+460.015 s]
Raw data (loadavg): 0.99 0.99 0.99 2/64 1496
Raw data (stat): 1472 (java) R 1471 23310 23309 0 -1 0 18123 3 1 0 44342 53 0 0 25 0 11 0 837414007 858914816 25007 4294967295 134512640 134569956 3221224368 3221214656 1131291586 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209696 25007 13086 16 0 209680 0
vsize: 838784
[startup+470.016 s]
Raw data (loadavg): 0.99 0.99 0.99 2/64 1496
Raw data (stat): 1472 (java) R 1471 23310 23309 0 -1 0 18123 3 1 0 45323 54 0 0 25 0 11 0 837414007 858914816 25042 4294967295 134512640 134569956 3221224368 3221214496 1131350702 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209696 25042 13086 16 0 209680 0
vsize: 838784
[startup+480.015 s]
Raw data (loadavg): 0.99 0.99 0.99 2/64 1496
Raw data (stat): 1472 (java) S 1471 23310 23309 0 -1 0 18123 3 1 0 46300 54 0 0 25 0 11 0 837414007 858914816 25046 4294967295 134512640 134569956 3221224368 3221213152 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209696 25046 13086 16 0 209680 0
vsize: 838784
[startup+490.016 s]
Raw data (loadavg): 0.99 0.99 0.99 2/64 1496
Raw data (stat): 1472 (java) R 1471 23310 23309 0 -1 0 18123 3 1 0 47284 54 0 0 25 0 11 0 837414007 858914816 25109 4294967295 134512640 134569956 3221224368 3221214448 1131236137 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209696 25109 13086 16 0 209680 0
vsize: 838784
[startup+500.017 s]
Raw data (loadavg): 0.99 0.99 0.99 2/64 1496
Raw data (stat): 1472 (java) R 1471 23310 23309 0 -1 0 18123 3 1 0 48261 55 0 0 25 0 11 0 837414007 858914816 25180 4294967295 134512640 134569956 3221224368 3221214656 1131291121 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209696 25180 13086 16 0 209680 0
vsize: 838784
[startup+510.018 s]
Raw data (loadavg): 0.99 0.99 0.99 2/64 1496
Raw data (stat): 1472 (java) R 1471 23310 23309 0 -1 0 18123 3 1 0 49235 55 0 0 25 0 11 0 837414007 858914816 25222 4294967295 134512640 134569956 3221224368 3221214536 1131377959 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209696 25222 13086 16 0 209680 0
vsize: 838784
[startup+520.018 s]
Raw data (loadavg): 0.99 0.99 0.99 2/64 1496
Raw data (stat): 1472 (java) R 1471 23310 23309 0 -1 0 18123 3 1 0 50206 55 0 0 25 0 11 0 837414007 858914816 25262 4294967295 134512640 134569956 3221224368 3221214448 1131235915 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209696 25262 13086 16 0 209680 0
vsize: 838784
[startup+530.018 s]
Raw data (loadavg): 0.99 0.99 0.99 2/64 1496
Raw data (stat): 1472 (java) R 1471 23310 23309 0 -1 0 18123 3 1 0 51171 56 0 0 25 0 11 0 837414007 858914816 25322 4294967295 134512640 134569956 3221224368 3221214432 1131236137 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209696 25322 13086 16 0 209680 0
vsize: 838784
[startup+540.019 s]
Raw data (loadavg): 0.99 0.99 0.99 2/64 1496
Raw data (stat): 1472 (java) R 1471 23310 23309 0 -1 0 18123 3 1 0 52143 56 0 0 25 0 11 0 837414007 858914816 25394 4294967295 134512640 134569956 3221224368 3221214432 1131235719 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209696 25394 13086 16 0 209680 0
vsize: 838784
[startup+550.019 s]
Raw data (loadavg): 0.99 0.99 0.99 2/64 1496
Raw data (stat): 1472 (java) R 1471 23310 23309 0 -1 0 18123 3 1 0 53120 56 0 0 25 0 11 0 837414007 858914816 25465 4294967295 134512640 134569956 3221224368 3221214448 1131235690 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209696 25465 13086 16 0 209680 0
vsize: 838784
[startup+560.019 s]
Raw data (loadavg): 0.99 0.99 0.99 2/64 1496
Raw data (stat): 1472 (java) R 1471 23310 23309 0 -1 0 18123 3 1 0 54104 56 0 0 25 0 11 0 837414007 858914816 25569 4294967295 134512640 134569956 3221224368 3221214448 1131235797 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209696 25569 13086 16 0 209680 0
vsize: 838784
[startup+570.02 s]
Raw data (loadavg): 0.99 0.99 0.99 2/64 1496
Raw data (stat): 1472 (java) R 1471 23310 23309 0 -1 0 18123 3 1 0 55094 57 0 0 25 0 11 0 837414007 858914816 25662 4294967295 134512640 134569956 3221224368 3221214448 1131235999 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209696 25662 13086 16 0 209680 0
vsize: 838784
[startup+580.021 s]
Raw data (loadavg): 0.99 0.99 0.99 2/64 1496
Raw data (stat): 1472 (java) R 1471 23310 23309 0 -1 0 18123 3 1 0 56089 57 0 0 25 0 11 0 837414007 858914816 25672 4294967295 134512640 134569956 3221224368 3221214448 1131236009 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209696 25672 13086 16 0 209680 0
vsize: 838784
[startup+590.021 s]
Raw data (loadavg): 0.99 0.99 0.99 2/64 1496
Raw data (stat): 1472 (java) R 1471 23310 23309 0 -1 0 18123 3 1 0 57085 57 0 0 25 0 11 0 837414007 858914816 25674 4294967295 134512640 134569956 3221224368 3221214468 1130885240 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209696 25674 13086 16 0 209680 0
vsize: 838784
[startup+600.021 s]
Raw data (loadavg): 0.99 0.99 0.99 2/64 1496
Raw data (stat): 1472 (java) R 1471 23310 23309 0 -1 0 18123 3 1 0 58082 57 0 0 25 0 11 0 837414007 858914816 25675 4294967295 134512640 134569956 3221224368 3221214448 1131235915 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209696 25675 13086 16 0 209680 0
vsize: 838784
[startup+610.023 s]
Raw data (loadavg): 0.99 0.99 0.99 2/64 1496
Raw data (stat): 1472 (java) R 1471 23310 23309 0 -1 0 18123 3 1 0 59078 58 0 0 25 0 11 0 837414007 858914816 25675 4294967295 134512640 134569956 3221224368 3221214448 1131235797 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209696 25675 13086 16 0 209680 0
vsize: 838784
[startup+620.022 s]
Raw data (loadavg): 0.99 0.99 0.99 2/64 1496
Raw data (stat): 1472 (java) R 1471 23310 23309 0 -1 0 18123 3 1 0 60074 58 0 0 25 0 11 0 837414007 858914816 25675 4294967295 134512640 134569956 3221224368 3221214448 1131235936 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209696 25675 13086 16 0 209680 0
vsize: 838784
[startup+630.023 s]
Raw data (loadavg): 0.99 0.99 0.99 2/64 1496
Raw data (stat): 1472 (java) R 1471 23310 23309 0 -1 0 18123 3 1 0 61069 58 0 0 25 0 11 0 837414007 858914816 25675 4294967295 134512640 134569956 3221224368 3221214448 1131235978 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209696 25675 13086 16 0 209680 0
vsize: 838784
[startup+640.024 s]
Raw data (loadavg): 0.99 0.99 0.99 2/64 1496
Raw data (stat): 1472 (java) R 1471 23310 23309 0 -1 0 18123 3 1 0 62064 59 0 0 25 0 11 0 837414007 858914816 25683 4294967295 134512640 134569956 3221224368 3221214448 1131235797 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209696 25683 13086 16 0 209680 0
vsize: 838784
[startup+650.023 s]
Raw data (loadavg): 0.99 0.99 0.99 2/64 1496
Raw data (stat): 1472 (java) R 1471 23310 23309 0 -1 0 18123 3 1 0 63061 59 0 0 25 0 11 0 837414007 858914816 25683 4294967295 134512640 134569956 3221224368 3221214448 1131236013 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209696 25683 13086 16 0 209680 0
vsize: 838784
[startup+660.024 s]
Raw data (loadavg): 0.99 0.99 0.99 2/64 1496
Raw data (stat): 1472 (java) R 1471 23310 23309 0 -1 0 18123 3 1 0 64058 60 0 0 25 0 11 0 837414007 858914816 25684 4294967295 134512640 134569956 3221224368 3221214432 1131235797 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209696 25684 13086 16 0 209680 0
vsize: 838784
[startup+670.025 s]
Raw data (loadavg): 0.99 0.99 0.99 2/64 1496
Raw data (stat): 1472 (java) R 1471 23310 23309 0 -1 0 18123 3 1 0 65054 60 0 0 25 0 11 0 837414007 858914816 25684 4294967295 134512640 134569956 3221224368 3221214448 1131235945 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209696 25684 13086 16 0 209680 0
vsize: 838784
[startup+680.024 s]
Raw data (loadavg): 0.99 0.99 0.99 2/64 1496
Raw data (stat): 1472 (java) R 1471 23310 23309 0 -1 0 18123 3 1 0 66050 60 0 0 25 0 11 0 837414007 858914816 25684 4294967295 134512640 134569956 3221224368 3221214496 1131350698 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209696 25684 13086 16 0 209680 0
vsize: 838784
[startup+690.025 s]
Raw data (loadavg): 0.99 0.99 0.99 2/64 1496
Raw data (stat): 1472 (java) R 1471 23310 23309 0 -1 0 18123 3 1 0 67047 61 0 0 25 0 11 0 837414007 858914816 25684 4294967295 134512640 134569956 3221224368 3221214448 1131235999 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209696 25684 13086 16 0 209680 0
vsize: 838784
[startup+700.025 s]
Raw data (loadavg): 0.99 0.99 0.99 2/64 1496
Raw data (stat): 1472 (java) R 1471 23310 23309 0 -1 0 18123 3 1 0 68043 61 0 0 25 0 11 0 837414007 858914816 25684 4294967295 134512640 134569956 3221224368 3221214448 1131236033 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209696 25684 13086 16 0 209680 0
vsize: 838784
[startup+710.026 s]
Raw data (loadavg): 0.99 0.99 0.99 2/64 1496
Raw data (stat): 1472 (java) R 1471 23310 23309 0 -1 0 18123 3 1 0 69039 61 0 0 25 0 11 0 837414007 858914816 25685 4294967295 134512640 134569956 3221224368 3221214536 1131377936 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209696 25685 13086 16 0 209680 0
vsize: 838784
[startup+720.026 s]
Raw data (loadavg): 0.99 0.99 0.99 2/64 1496
Raw data (stat): 1472 (java) R 1471 23310 23309 0 -1 0 18123 3 1 0 70035 61 0 0 25 0 11 0 837414007 858914816 25685 4294967295 134512640 134569956 3221224368 3221214496 1131330527 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209696 25685 13086 16 0 209680 0
vsize: 838784
[startup+730.025 s]
Raw data (loadavg): 0.99 0.99 0.99 2/64 1496
Raw data (stat): 1472 (java) R 1471 23310 23309 0 -1 0 18123 3 1 0 71032 62 0 0 25 0 11 0 837414007 858914816 25685 4294967295 134512640 134569956 3221224368 3221214448 1131235797 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209696 25685 13086 16 0 209680 0
vsize: 838784
[startup+740.026 s]
Raw data (loadavg): 0.99 0.99 0.99 2/64 1496
Raw data (stat): 1472 (java) R 1471 23310 23309 0 -1 0 18123 3 1 0 72028 62 0 0 25 0 11 0 837414007 858914816 25685 4294967295 134512640 134569956 3221224368 3221214432 1131190273 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209696 25685 13086 16 0 209680 0
vsize: 838784
[startup+750.027 s]
Raw data (loadavg): 0.99 0.99 0.99 2/64 1496
Raw data (stat): 1472 (java) R 1471 23310 23309 0 -1 0 18123 3 1 0 73024 62 0 0 25 0 11 0 837414007 858914816 25686 4294967295 134512640 134569956 3221224368 3221214448 1131235978 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209696 25686 13086 16 0 209680 0
vsize: 838784
[startup+760.027 s]
Raw data (loadavg): 0.99 0.99 0.99 2/64 1496
Raw data (stat): 1472 (java) R 1471 23310 23309 0 -1 0 18123 3 1 0 74020 63 0 0 25 0 11 0 837414007 858914816 25686 4294967295 134512640 134569956 3221224368 3221214448 1131236015 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209696 25686 13086 16 0 209680 0
vsize: 838784
[startup+770.027 s]
Raw data (loadavg): 0.99 0.99 0.99 2/64 1496
Raw data (stat): 1472 (java) R 1471 23310 23309 0 -1 0 18123 3 1 0 75016 63 0 0 25 0 11 0 837414007 858914816 25686 4294967295 134512640 134569956 3221224368 3221214468 1130885163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209696 25686 13086 16 0 209680 0
vsize: 838784
[startup+780.027 s]
Raw data (loadavg): 0.99 0.99 0.99 2/64 1496
Raw data (stat): 1472 (java) R 1471 23310 23309 0 -1 0 18123 3 1 0 76013 63 0 0 25 0 11 0 837414007 858914816 25686 4294967295 134512640 134569956 3221224368 3221214448 1131236084 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209696 25686 13086 16 0 209680 0
vsize: 838784
[startup+790.027 s]
Raw data (loadavg): 0.99 0.99 0.99 2/64 1496
Raw data (stat): 1472 (java) R 1471 23310 23309 0 -1 0 18123 3 1 0 77008 63 0 0 25 0 11 0 837414007 858914816 25686 4294967295 134512640 134569956 3221224368 3221214448 1131235876 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209696 25686 13086 16 0 209680 0
vsize: 838784
[startup+800.027 s]
Raw data (loadavg): 0.99 0.99 0.99 2/64 1496
Raw data (stat): 1472 (java) R 1471 23310 23309 0 -1 0 18123 3 1 0 78004 64 0 0 25 0 11 0 837414007 858914816 25687 4294967295 134512640 134569956 3221224368 3221214448 1131235978 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209696 25687 13086 16 0 209680 0
vsize: 838784
[startup+810.029 s]
Raw data (loadavg): 0.99 0.99 0.99 2/64 1496
Raw data (stat): 1472 (java) R 1471 23310 23309 0 -1 0 18123 3 1 0 79000 64 0 0 25 0 11 0 837414007 858914816 25687 4294967295 134512640 134569956 3221224368 3221214448 1131235915 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209696 25687 13086 16 0 209680 0
vsize: 838784
[startup+820.029 s]
Raw data (loadavg): 0.99 0.99 0.99 2/64 1496
Raw data (stat): 1472 (java) R 1471 23310 23309 0 -1 0 18123 3 1 0 79996 65 0 0 25 0 11 0 837414007 858914816 25687 4294967295 134512640 134569956 3221224368 3221214448 1131235920 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209696 25687 13086 16 0 209680 0
vsize: 838784
[startup+830.03 s]
Raw data (loadavg): 0.99 0.99 0.99 2/64 1496
Raw data (stat): 1472 (java) R 1471 23310 23309 0 -1 0 18123 3 1 0 80991 65 0 0 25 0 11 0 837414007 858914816 25687 4294967295 134512640 134569956 3221224368 3221214496 1131350721 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209696 25687 13086 16 0 209680 0
vsize: 838784
[startup+840.03 s]
Raw data (loadavg): 0.99 0.99 0.99 2/64 1496
Raw data (stat): 1472 (java) R 1471 23310 23309 0 -1 0 18123 3 1 0 81987 66 0 0 25 0 11 0 837414007 858914816 25690 4294967295 134512640 134569956 3221224368 3221214448 1131235955 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209696 25690 13086 16 0 209680 0
vsize: 838784
[startup+850.031 s]
Raw data (loadavg): 0.99 0.99 0.99 2/64 1496
Raw data (stat): 1472 (java) R 1471 23310 23309 0 -1 0 18123 3 1 0 82983 66 0 0 25 0 11 0 837414007 858914816 25690 4294967295 134512640 134569956 3221224368 3221214448 1131235970 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209696 25690 13086 16 0 209680 0
vsize: 838784
[startup+860.032 s]
Raw data (loadavg): 0.99 0.99 0.99 2/64 1496
Raw data (stat): 1472 (java) R 1471 23310 23309 0 -1 0 18123 3 1 0 83979 66 0 0 25 0 11 0 837414007 858914816 25690 4294967295 134512640 134569956 3221224368 3221214460 1131439027 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209696 25690 13086 16 0 209680 0
vsize: 838784
[startup+870.033 s]
Raw data (loadavg): 0.99 0.99 0.99 2/64 1496
Raw data (stat): 1472 (java) R 1471 23310 23309 0 -1 0 18123 3 1 0 84976 66 0 0 25 0 11 0 837414007 858914816 25690 4294967295 134512640 134569956 3221224368 3221214448 1131235690 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209696 25690 13086 16 0 209680 0
vsize: 838784
[startup+880.033 s]
Raw data (loadavg): 0.99 0.99 0.99 2/64 1496
Raw data (stat): 1472 (java) R 1471 23310 23309 0 -1 0 18123 3 1 0 85972 67 0 0 25 0 11 0 837414007 858914816 25691 4294967295 134512640 134569956 3221224368 3221214600 1131291324 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209696 25691 13086 16 0 209680 0
vsize: 838784
[startup+890.034 s]
Raw data (loadavg): 0.99 0.99 0.99 2/64 1496
Raw data (stat): 1472 (java) R 1471 23310 23309 0 -1 0 18123 3 1 0 86965 67 0 0 25 0 11 0 837414007 858914816 25691 4294967295 134512640 134569956 3221224368 3221214656 1131291085 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209696 25691 13086 16 0 209680 0
vsize: 838784
[startup+900.035 s]
Raw data (loadavg): 0.99 0.99 0.99 2/64 1496
Raw data (stat): 1472 (java) R 1471 23310 23309 0 -1 0 18123 3 1 0 87950 68 0 0 25 0 11 0 837414007 858914816 25691 4294967295 134512640 134569956 3221224368 3221214548 1131331872 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209696 25691 13086 16 0 209680 0
vsize: 838784
[startup+910.035 s]
Raw data (loadavg): 0.99 0.99 0.99 2/64 1496
Raw data (stat): 1472 (java) R 1471 23310 23309 0 -1 0 18123 3 1 0 88936 68 0 0 25 0 11 0 837414007 858914816 25691 4294967295 134512640 134569956 3221224368 3221214552 1131348736 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209696 25691 13086 16 0 209680 0
vsize: 838784
[startup+920.035 s]
Raw data (loadavg): 0.99 0.99 0.99 2/64 1496
Raw data (stat): 1472 (java) R 1471 23310 23309 0 -1 0 18123 3 1 0 89920 69 0 0 25 0 11 0 837414007 858914816 25691 4294967295 134512640 134569956 3221224368 3221214496 1131330543 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209696 25691 13086 16 0 209680 0
vsize: 838784
[startup+930.036 s]
Raw data (loadavg): 0.99 0.99 0.99 2/64 1496
Raw data (stat): 1472 (java) R 1471 23310 23309 0 -1 0 18123 3 1 0 90905 69 0 0 25 0 11 0 837414007 858914816 25859 4294967295 134512640 134569956 3221224368 3221214656 1131291684 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209696 25859 13086 16 0 209680 0
vsize: 838784
[startup+940.036 s]
Raw data (loadavg): 0.99 0.99 0.99 2/64 1496
Raw data (stat): 1472 (java) R 1471 23310 23309 0 -1 0 18123 3 1 0 91889 69 0 0 25 0 11 0 837414007 858914816 25880 4294967295 134512640 134569956 3221224368 3221214760 1131312447 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209696 25880 13086 16 0 209680 0
vsize: 838784
[startup+950.036 s]
Raw data (loadavg): 0.99 0.99 0.99 2/64 1496
Raw data (stat): 1472 (java) R 1471 23310 23309 0 -1 0 18123 3 1 0 92872 70 0 0 25 0 11 0 837414007 858914816 25880 4294967295 134512640 134569956 3221224368 3221214656 1131290983 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209696 25880 13086 16 0 209680 0
vsize: 838784
[startup+960.038 s]
Raw data (loadavg): 0.99 0.99 0.99 2/64 1496
Raw data (stat): 1472 (java) R 1471 23310 23309 0 -1 0 18123 3 1 0 93854 70 0 0 25 0 11 0 837414007 858914816 25898 4294967295 134512640 134569956 3221224368 3221214448 1131235978 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209696 25898 13086 16 0 209680 0
vsize: 838784
[startup+970.038 s]
Raw data (loadavg): 0.99 0.99 0.99 2/64 1496
Raw data (stat): 1472 (java) R 1471 23310 23309 0 -1 0 18123 3 1 0 94831 70 0 0 25 0 11 0 837414007 858914816 25968 4294967295 134512640 134569956 3221224368 3221214528 1131353025 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209696 25968 13086 16 0 209680 0
vsize: 838784
[startup+980.038 s]
Raw data (loadavg): 0.99 0.99 0.99 2/64 1496
Raw data (stat): 1472 (java) R 1471 23310 23309 0 -1 0 18123 3 1 0 95810 70 0 0 25 0 11 0 837414007 858914816 26000 4294967295 134512640 134569956 3221224368 3221214756 1131291861 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209696 26000 13086 16 0 209680 0
vsize: 838784
[startup+990.039 s]
Raw data (loadavg): 0.99 0.99 0.99 2/64 1496
Raw data (stat): 1472 (java) R 1471 23310 23309 0 -1 0 18123 3 1 0 96790 71 0 0 25 0 11 0 837414007 858914816 26049 4294967295 134512640 134569956 3221224368 3221214496 1131351079 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209696 26049 13086 16 0 209680 0
vsize: 838784
[startup+1000.04 s]
Raw data (loadavg): 0.99 0.99 0.99 2/64 1496
Raw data (stat): 1472 (java) R 1471 23310 23309 0 -1 0 18123 3 1 0 97763 71 0 0 25 0 11 0 837414007 858914816 26121 4294967295 134512640 134569956 3221224368 3221214544 1131371396 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209696 26121 13086 16 0 209680 0
vsize: 838784
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.99 0.99 2/64 1496
Raw data (stat): 1472 (java) S 1471 23310 23309 0 -1 0 18123 3 1 0 98734 71 0 0 25 0 11 0 837414007 858914816 26166 4294967295 134512640 134569956 3221224368 3221213152 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209696 26167 13086 16 0 209680 0
vsize: 838784
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.99 0.99 2/64 1496
Raw data (stat): 1472 (java) R 1471 23310 23309 0 -1 0 18123 3 1 0 99714 71 0 0 25 0 11 0 837414007 858914816 26214 4294967295 134512640 134569956 3221224368 3221214468 1130885147 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209696 26214 13086 16 0 209680 0
vsize: 838784
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.99 0.99 2/64 1496
Raw data (stat): 1472 (java) R 1471 23310 23309 0 -1 0 18123 3 1 0 100685 71 0 0 25 0 11 0 837414007 858914816 26250 4294967295 134512640 134569956 3221224368 3221214488 1131376484 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209696 26250 13086 16 0 209680 0
vsize: 838784
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.99 0.99 2/64 1496
Raw data (stat): 1472 (java) R 1471 23310 23309 0 -1 0 18123 3 1 0 101664 72 0 0 25 0 11 0 837414007 858914816 26357 4294967295 134512640 134569956 3221224368 3221214548 1131351100 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209696 26357 13086 16 0 209680 0
vsize: 838784
[startup+1050.05 s]
Raw data (loadavg): 0.99 0.99 0.99 2/64 1496
Raw data (stat): 1472 (java) R 1471 23310 23309 0 -1 0 18123 3 1 0 102645 72 0 0 25 0 11 0 837414007 858914816 26399 4294967295 134512640 134569956 3221224368 3221214656 1131290657 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209696 26399 13086 16 0 209680 0
vsize: 838784
[startup+1060.05 s]
Raw data (loadavg): 0.99 0.99 0.99 2/64 1496
Raw data (stat): 1472 (java) R 1471 23310 23309 0 -1 0 18123 3 1 0 103624 72 0 0 25 0 11 0 837414007 858914816 26475 4294967295 134512640 134569956 3221224368 3221214656 1131291189 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209696 26475 13086 16 0 209680 0
vsize: 838784
[startup+1070.05 s]
Raw data (loadavg): 0.99 0.99 0.99 2/64 1496
Raw data (stat): 1472 (java) R 1471 23310 23309 0 -1 0 18123 3 1 0 104604 72 0 0 25 0 11 0 837414007 858914816 26512 4294967295 134512640 134569956 3221224368 3221214656 1131290690 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209696 26512 13086 16 0 209680 0
vsize: 838784
[startup+1080.05 s]
Raw data (loadavg): 0.99 0.99 0.99 2/64 1496
Raw data (stat): 1472 (java) R 1471 23310 23309 0 -1 0 18123 3 1 0 105579 73 0 0 25 0 11 0 837414007 858914816 26563 4294967295 134512640 134569956 3221224368 3221214656 1131291203 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209696 26563 13086 16 0 209680 0
vsize: 838784
[startup+1090.05 s]
Raw data (loadavg): 0.99 0.99 0.99 2/64 1496
Raw data (stat): 1472 (java) R 1471 23310 23309 0 -1 0 18123 3 1 0 106552 73 0 0 25 0 11 0 837414007 858914816 26604 4294967295 134512640 134569956 3221224368 3221214496 1131350648 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209696 26604 13086 16 0 209680 0
vsize: 838784
[startup+1100.05 s]
Raw data (loadavg): 0.99 0.99 0.99 2/64 1496
Raw data (stat): 1472 (java) R 1471 23310 23309 0 -1 0 18123 3 1 0 107531 73 0 0 25 0 11 0 837414007 858914816 26701 4294967295 134512640 134569956 3221224368 3221214760 1131312464 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209696 26701 13086 16 0 209680 0
vsize: 838784
[startup+1110.05 s]
Raw data (loadavg): 0.99 0.99 0.99 2/64 1496
Raw data (stat): 1472 (java) R 1471 23310 23309 0 -1 0 18123 3 1 0 108509 74 0 0 25 0 11 0 837414007 858914816 26739 4294967295 134512640 134569956 3221224368 3221214448 1131235719 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209696 26739 13086 16 0 209680 0
vsize: 838784
[startup+1120.05 s]
Raw data (loadavg): 0.99 0.99 0.99 2/64 1496
Raw data (stat): 1472 (java) R 1471 23310 23309 0 -1 0 18123 3 1 0 109487 74 0 0 25 0 11 0 837414007 858914816 26813 4294967295 134512640 134569956 3221224368 3221214448 1131235825 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209696 26813 13086 16 0 209680 0
vsize: 838784
[startup+1130.05 s]
Raw data (loadavg): 0.99 0.99 0.99 2/64 1496
Raw data (stat): 1472 (java) R 1471 23310 23309 0 -1 0 18123 3 1 0 110467 74 0 0 25 0 11 0 837414007 858914816 26846 4294967295 134512640 134569956 3221224368 3221214648 1131189492 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209696 26846 13086 16 0 209680 0
vsize: 838784
[startup+1140.05 s]
Raw data (loadavg): 0.99 0.99 0.99 2/64 1496
Raw data (stat): 1472 (java) R 1471 23310 23309 0 -1 0 18123 3 1 0 111443 75 0 0 25 0 11 0 837414007 858914816 26892 4294967295 134512640 134569956 3221224368 3221214656 1131291360 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209696 26892 13086 16 0 209680 0
vsize: 838784
[startup+1150.05 s]
Raw data (loadavg): 0.99 0.99 0.99 2/64 1496
Raw data (stat): 1472 (java) R 1471 23310 23309 0 -1 0 18123 3 1 0 112419 75 0 0 25 0 11 0 837414007 858914816 26947 4294967295 134512640 134569956 3221224368 3221214552 1131348739 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209696 26947 13086 16 0 209680 0
vsize: 838784
[startup+1160.05 s]
Raw data (loadavg): 0.99 0.99 0.99 2/64 1496
Raw data (stat): 1472 (java) R 1471 23310 23309 0 -1 0 18123 3 1 0 113398 76 0 0 25 0 11 0 837414007 858914816 26980 4294967295 134512640 134569956 3221224368 3221214468 1130885141 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209696 26980 13086 16 0 209680 0
vsize: 838784
[startup+1170.05 s]
Raw data (loadavg): 0.99 0.99 0.99 2/64 1496
Raw data (stat): 1472 (java) R 1471 23310 23309 0 -1 0 18123 3 1 0 114380 76 0 0 25 0 11 0 837414007 858914816 27021 4294967295 134512640 134569956 3221224368 3221214448 1131235690 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209696 27021 13086 16 0 209680 0
vsize: 838784
[startup+1180.05 s]
Raw data (loadavg): 0.99 0.99 0.99 2/64 1496
Raw data (stat): 1472 (java) R 1471 23310 23309 0 -1 0 18123 3 1 0 115363 76 0 0 25 0 11 0 837414007 858914816 27090 4294967295 134512640 134569956 3221224368 3221214432 1131235915 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209696 27090 13086 16 0 209680 0
vsize: 838784
[startup+1190.05 s]
Raw data (loadavg): 0.99 0.99 0.99 2/64 1496
Raw data (stat): 1472 (java) R 1471 23310 23309 0 -1 0 18123 3 1 0 116353 77 0 0 25 0 11 0 837414007 858914816 27133 4294967295 134512640 134569956 3221224368 3221214448 1131236013 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209696 27133 13086 16 0 209680 0
vsize: 838784
[startup+1200.05 s]
Raw data (loadavg): 0.99 0.99 0.99 2/64 1496
Raw data (stat): 1472 (java) R 1471 23310 23309 0 -1 0 18123 3 1 0 117343 77 0 0 25 0 11 0 837414007 858914816 27158 4294967295 134512640 134569956 3221224368 3221214448 1131235936 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209696 27158 13086 16 0 209680 0
vsize: 838784
[startup+1210.05 s]
Raw data (loadavg): 0.99 0.99 0.99 2/64 1496
Raw data (stat): 1472 (java) R 1471 23310 23309 0 -1 0 18123 3 1 0 118334 77 0 0 25 0 11 0 837414007 858914816 27158 4294967295 134512640 134569956 3221224368 3221214448 1131235951 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209696 27158 13086 16 0 209680 0
vsize: 838784
[startup+1220.05 s]
Raw data (loadavg): 0.99 0.99 0.99 2/64 1496
Raw data (stat): 1472 (java) R 1471 23310 23309 0 -1 0 18123 3 1 0 119328 77 0 0 25 0 11 0 837414007 858914816 27203 4294967295 134512640 134569956 3221224368 3221214448 1131235936 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209696 27203 13086 16 0 209680 0
vsize: 838784
[startup+1230.05 s]
Raw data (loadavg): 0.99 0.99 0.99 2/64 1496
Raw data (stat): 1472 (java) R 1471 23310 23309 0 -1 0 18123 3 1 0 120324 78 0 0 25 0 11 0 837414007 858914816 27206 4294967295 134512640 134569956 3221224368 3221214448 1131236009 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209696 27206 13086 16 0 209680 0
vsize: 838784
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1230.32 s]
Raw data (loadavg): 0.99 0.99 0.99 1/54 1498
Raw data (stat): 1472 (java) Z 1471 23310 23309 0 -1 1036 18123 7816 1 0 120345 78 2397 25 25 0 1 0 837414007 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1230.32
CPU time (s): 1228.46
CPU user time (s): 1227.43
CPU system time (s): 1.03784
CPU usage (%): 99.849
Max. virtual memory (Kb): 838816
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	3440
#### END VERIFIER DATA ####