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).
    Note that some very long lines in this section may be truncated by your web browser !
  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

Namemps-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 YES
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 benchmarkOPTIMUM FOUND
Best CPU time to get the best result obtained on this benchmark112.221
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 8763

Launcher Data

LAUNCH ON wulflinc9 THE 2005-09-20 18:26:00 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=6793 boxname=wulflinc9 idbench=933 idsolver=6 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  90db1995bd949fc5ac74143a523f3bcf  /oldhome/oroussel/tmp/wulflinc9/normalized-mps-v2-13-7-air01.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoTer.jar /oldhome/oroussel/tmp/wulflinc9/normalized-mps-v2-13-7-air01.opb
IDLAUNCH: 6793
/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:        797136 kB
Buffers:         38192 kB
Cached:         169864 kB
SwapCached:       1044 kB
Active:          81200 kB
Inactive:       129616 kB
HighTotal:      131008 kB
HighFree:         1456 kB
LowTotal:       903652 kB
LowFree:        795680 kB
SwapTotal:     2097136 kB
SwapFree:      2095568 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5680 kB
Slab:            21104 kB
Committed_AS:    64136 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-20 18:46:41 (client local time) WITH STATUS 143 IN 1245.45 SECONDS
stats: 6793 0 1245.45 143

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 JAVA5.1.1.31
c --- Begin Solver configuration ---
c org.sat4j.minisat.uip.FirstUIP@a20892
c org.sat4j.minisat.constraints.PBMinDataStructure@1e0bc08
c org.sat4j.minisat.learning.MiniSATLearning@158b649
c conflictBoundIncFactor=1.5 learntBoundIncFactor=1.1 initLearntBoundConstraintFactor=0.5 initConflictBound=100 
c VSIDS like heuristics from MiniSAT using a sorted array
c No reason simplification
c --- End Solver configuration ---
c solving /oldhome/oroussel/tmp/wulflinc9/normalized-mps-v2-13-7-air01.opb
c reading problem ... done. Time 2.117 ms.
c #vars     771
c #constraints  46
c SATISFIABLE
c OPTIMIZING...
c CURRENT OPTIMUM=                6848 		Current CPU time: 3.14 ms
c CURRENT OPTIMUM=                6428 		Current CPU time: 3.65 ms
c CURRENT OPTIMUM=                5964 		Current CPU time: 5.50 ms
c CURRENT OPTIMUM=                5525 		Current CPU time: 5.85 ms
c CURRENT OPTIMUM=                5248 		Current CPU time: 14.24 ms
c CURRENT OPTIMUM=                5122 		Current CPU time: 16.29 ms
c CURRENT OPTIMUM=                4967 		Current CPU time: 68.90 ms
c CURRENT OPTIMUM=                4620 		Current CPU time: 79.07 ms
c CURRENT OPTIMUM=                4565 		Current CPU time: 84.90 ms
c CURRENT OPTIMUM=                4048 		Current CPU time: 139.69 ms
c CURRENT OPTIMUM=                3847 		Current CPU time: 262.62 ms
c CURRENT OPTIMUM=                3677 		Current CPU time: 320.09 ms
c CURRENT OPTIMUM=                3619 		Current CPU time: 377.97 ms
c CURRENT OPTIMUM=                3571 		Current CPU time: 988.80 ms
c starts		: 16
c conflicts		: 375
c decisions		: 22256
c propagations		: 44613
c inspects		: 140997
c learnt literals	: 0
c learnt binary clauses	: 0
c learnt ternary clauses	: 0
c learnt clauses	: 374
c root simplifications	: 32
c removed literals (reason simplification)	: 0
c reason swapping (by a shorter reason)	: 0
c Calls to reduceDB	: 19509
c speed (decisions/second)	: 89.01794677961898
c non guided choices	2053
c random choices	0
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 objective function=3571
c Total CPU time (ms) : 1238.988

Watcher Data

Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing Stack size limit: 67108864 bytes
Enforcing memory limit (will send SIGTERM then SIGKILL): 921600 Kb
Enforcing VSIZE limit: 994918400 bytes
Current StackSize limit: 67108864 bytes
Raw data (/proc/12005/stat): 12005 (java) R 12004 12005 30740 0 -1 0 19 0 0 0 0 0 0 0 22 0 1 0 1802456609 159744 3 4294967295 134512640 134569956 3221224464 3221224464 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12005/statm): 39 3 38 16 0 23 0
[pid=12005] vsize: 156
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libpthread.so.0
open syscall for file tls/i686/libpthread.so.0
open syscall for file tls/mmx/libpthread.so.0
open syscall for file tls/libpthread.so.0
open syscall for file i686/mmx/libpthread.so.0
open syscall for file i686/libpthread.so.0
open syscall for file mmx/libpthread.so.0
open syscall for file libpthread.so.0
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/lib/tls/i686/libpthread.so.0
open syscall for file /oldhome/oroussel/lib/tls/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/lib/tls/libpthread.so.0
open syscall for file /oldhome/oroussel/lib/i686/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/lib/i686/libpthread.so.0
open syscall for file /oldhome/oroussel/lib/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/lib/libpthread.so.0
open syscall for file /etc/ld.so.cache
open syscall for file /lib/tls/libpthread.so.0
open syscall for file tls/i686/mmx/libdl.so.2
open syscall for file tls/i686/libdl.so.2
open syscall for file tls/mmx/libdl.so.2
open syscall for file tls/libdl.so.2
open syscall for file i686/mmx/libdl.so.2
open syscall for file i686/libdl.so.2
open syscall for file mmx/libdl.so.2
open syscall for file libdl.so.2
open syscall for file /oldhome/oroussel/lib/libdl.so.2
open syscall for file /lib/libdl.so.2
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /oldhome/oroussel/solvers/sat4jPseudoTer.jar
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/jvm.cfg
execve syscall for /oldhome/oroussel/jre1.5.0_05/bin/java executable
open syscall for file /etc/ld.so.preload
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/tls/i686/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/tls/i686/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/tls/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/tls/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/i686/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/i686/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/tls/i686/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/tls/i686/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/tls/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/tls/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/i686/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/i686/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/../lib/i386/tls/i686/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/../lib/i386/tls/i686/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/../lib/i386/tls/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/../lib/i386/tls/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/../lib/i386/i686/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/../lib/i386/i686/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/../lib/i386/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/../lib/i386/libpthread.so.0
open syscall for file tls/i686/mmx/libpthread.so.0
open syscall for file tls/i686/libpthread.so.0
open syscall for file tls/mmx/libpthread.so.0
open syscall for file tls/libpthread.so.0
open syscall for file i686/mmx/libpthread.so.0
open syscall for file i686/libpthread.so.0
open syscall for file mmx/libpthread.so.0
open syscall for file libpthread.so.0
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/lib/tls/i686/libpthread.so.0
open syscall for file /oldhome/oroussel/lib/tls/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/lib/tls/libpthread.so.0
open syscall for file /oldhome/oroussel/lib/i686/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/lib/i686/libpthread.so.0
open syscall for file /oldhome/oroussel/lib/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/lib/libpthread.so.0
open syscall for file /etc/ld.so.cache
open syscall for file /lib/tls/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/libdl.so.2
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/libdl.so.2
open syscall for file tls/i686/mmx/libdl.so.2
open syscall for file tls/i686/libdl.so.2
open syscall for file tls/mmx/libdl.so.2
open syscall for file tls/libdl.so.2
open syscall for file i686/mmx/libdl.so.2
open syscall for file i686/libdl.so.2
open syscall for file mmx/libdl.so.2
open syscall for file libdl.so.2
open syscall for file /oldhome/oroussel/lib/libdl.so.2
open syscall for file /lib/libdl.so.2
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/libc.so.6
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/libc.so.6
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /oldhome/oroussel/solvers/sat4jPseudoTer.jar
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/jvm.cfg
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/libjvm.so
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/libm.so.6
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/libm.so.6
open syscall for file tls/i686/mmx/libm.so.6
open syscall for file tls/i686/libm.so.6
open syscall for file tls/mmx/libm.so.6
open syscall for file tls/libm.so.6
open syscall for file i686/mmx/libm.so.6
open syscall for file i686/libm.so.6
open syscall for file mmx/libm.so.6
open syscall for file libm.so.6
open syscall for file /oldhome/oroussel/lib/libm.so.6
open syscall for file /etc/ld.so.cache
open syscall for file /lib/tls/libm.so.6
open syscall for file /etc/mtab
open syscall for file /proc/stat
open syscall for file /etc/mtab
open syscall for file /proc/meminfo
open syscall for file .hotspotrc
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/endorsed
open syscall for file /etc/mtab
open syscall for file /proc/stat
open syscall for file /proc/self/maps
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/native_threads/libhpi.so
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/libnsl.so.1
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/libnsl.so.1
open syscall for file tls/i686/mmx/libnsl.so.1
open syscall for file tls/i686/libnsl.so.1
open syscall for file tls/mmx/libnsl.so.1
open syscall for file tls/libnsl.so.1
open syscall for file i686/mmx/libnsl.so.1
open syscall for file i686/libnsl.so.1
open syscall for file mmx/libnsl.so.1
open syscall for file libnsl.so.1
open syscall for file /oldhome/oroussel/lib/libnsl.so.1
open syscall for file /etc/ld.so.cache
open syscall for file /lib/libnsl.so.1
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=4
socket syscall connect(4,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /tmp/hsperfdata_oroussel
open syscall for file /tmp/hsperfdata_oroussel/12005
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/libverify.so
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/libjava.so
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/libzip.so
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/rt.jar
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/jsse.jar
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/jce.jar
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/charsets.jar
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/classes.jsa
open syscall for file .hotspot_compiler
New thread pid=12006
New thread pid=12007
New thread pid=12008
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=4
socket syscall connect(4,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /etc/localtime
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/ext
New thread pid=12009
New thread pid=12010
New thread pid=12011
New thread pid=12012
New thread pid=12013
New thread pid=12014
open syscall for file /oldhome/oroussel/solvers/sat4jPseudoTer.jar
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/ext/sunjce_provider.jar
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/ext/sunpkcs11.jar
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/ext/dnsns.jar
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/ext/localedata.jar
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/security/java.security
open syscall for file /dev/random
open syscall for file /dev/urandom
open syscall for file /oldhome/oroussel/tmp/wulflinc9/normalized-mps-v2-13-7-air01.opb
New thread pid=12015
One traced child (pid=12015) exited with status: 0
New thread pid=12016
One traced child (pid=12016) exited with status: 0
New thread pid=12017
One traced child (pid=12017) exited with status: 0
New thread pid=12018
One traced child (pid=12018) exited with status: 0
New thread pid=12019

[startup+10.0027 s]
Raw data (loadavg): 1.31 1.08 1.00 2/66 12019
Raw data (/proc/12005/stat): 12005 (java) R 12004 12005 30740 0 -1 0 18174 4 1 0 745 46 0 0 19 0 11 0 1802456609 856592384 19942 4294967295 134512640 134569956 3221224336 3221214640 1131360874 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/12005/statm): 209129 19942 13129 16 0 209113 0
[pid=12005] vsize: 836516
Current children cumulated CPU time (s) 7.91
Current children cumulated vsize (Kb) 836516
One traced child (pid=12019) exited with status: 0
New thread pid=12020
One traced child (pid=12020) exited with status: 0
New thread pid=12021

[startup+20.0035 s]
Raw data (loadavg): 1.26 1.08 1.00 2/66 12021
Raw data (/proc/12005/stat): 12005 (java) R 12004 12005 30740 0 -1 0 18186 4 1 0 1689 46 0 0 17 0 11 0 1802456609 856592384 20215 4294967295 134512640 134569956 3221224336 3221214592 1131537004 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/12005/statm): 209129 20215 13129 16 0 209113 0
[pid=12005] vsize: 836516
Current children cumulated CPU time (s) 17.35
Current children cumulated vsize (Kb) 836516

[startup+30.0043 s]
Raw data (loadavg): 1.22 1.08 1.00 2/66 12021
Raw data (/proc/12005/stat): 12005 (java) R 12004 12005 30740 0 -1 0 18195 4 1 0 2640 47 0 0 23 0 11 0 1802456609 856592384 20324 4294967295 134512640 134569956 3221224336 3221214472 1131435662 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/12005/statm): 209129 20324 13129 16 0 209113 0
[pid=12005] vsize: 836516
Current children cumulated CPU time (s) 26.87
Current children cumulated vsize (Kb) 836516

[startup+40.005 s]
Raw data (loadavg): 1.18 1.07 1.00 2/66 12021
Raw data (/proc/12005/stat): 12005 (java) R 12004 12005 30740 0 -1 0 18202 4 1 0 3590 47 0 0 25 0 11 0 1802456609 856592384 20425 4294967295 134512640 134569956 3221224336 3221214584 1131533385 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/12005/statm): 209129 20425 13129 16 0 209113 0
[pid=12005] vsize: 836516
Current children cumulated CPU time (s) 36.37
Current children cumulated vsize (Kb) 836516

[startup+50.0068 s]
Raw data (loadavg): 1.16 1.07 1.00 2/66 12021
Raw data (/proc/12005/stat): 12005 (java) R 12004 12005 30740 0 -1 0 18210 4 1 0 4528 47 0 0 17 0 11 0 1802456609 856592384 20833 4294967295 134512640 134569956 3221224336 3221214588 1131360800 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/12005/statm): 209129 20833 13129 16 0 209113 0
[pid=12005] vsize: 836516
Current children cumulated CPU time (s) 45.75
Current children cumulated vsize (Kb) 836516

[startup+60.0076 s]
Raw data (loadavg): 1.13 1.07 1.00 2/66 12021
Raw data (/proc/12005/stat): 12005 (java) R 12004 12005 30740 0 -1 0 18217 4 1 0 5501 48 0 0 21 0 11 0 1802456609 856592384 21010 4294967295 134512640 134569956 3221224336 3221214576 1131544916 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/12005/statm): 209129 21010 13129 16 0 209113 0
[pid=12005] vsize: 836516
Current children cumulated CPU time (s) 55.49
Current children cumulated vsize (Kb) 836516

[startup+70.0083 s]
Raw data (loadavg): 1.11 1.06 1.00 2/66 12021
Raw data (/proc/12005/stat): 12005 (java) R 12004 12005 30740 0 -1 0 18229 4 1 0 6474 48 0 0 17 0 11 0 1802456609 856592384 21052 4294967295 134512640 134569956 3221224336 3221214656 1131473590 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/12005/statm): 209129 21052 13129 16 0 209113 0
[pid=12005] vsize: 836516
Current children cumulated CPU time (s) 65.22
Current children cumulated vsize (Kb) 836516
One traced child (pid=12021) exited with status: 0
New thread pid=12022

[startup+80.0101 s]
Raw data (loadavg): 1.09 1.06 1.00 2/66 12022
Raw data (/proc/12005/stat): 12005 (java) R 12004 12005 30740 0 -1 0 18238 4 1 0 7448 49 0 0 25 0 11 0 1802456609 856592384 21154 4294967295 134512640 134569956 3221224336 3221214696 1131517797 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/12005/statm): 209129 21154 13129 16 0 209113 0
[pid=12005] vsize: 836516
Current children cumulated CPU time (s) 74.97
Current children cumulated vsize (Kb) 836516
One traced child (pid=12022) exited with status: 0
New thread pid=12023
One traced child (pid=12023) exited with status: 0
New thread pid=12024

[startup+90.0108 s]
Raw data (loadavg): 1.08 1.06 1.00 2/66 12024
Raw data (/proc/12005/stat): 12005 (java) R 12004 12005 30740 0 -1 0 18248 4 1 0 8398 49 0 0 20 0 11 0 1802456609 856592384 21227 4294967295 134512640 134569956 3221224336 3221214576 1131544565 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/12005/statm): 209129 21227 13129 16 0 209113 0
[pid=12005] vsize: 836516
Current children cumulated CPU time (s) 84.47
Current children cumulated vsize (Kb) 836516

[startup+100.012 s]
Raw data (loadavg): 1.07 1.06 1.00 2/66 12024
Raw data (/proc/12005/stat): 12005 (java) R 12004 12005 30740 0 -1 0 18254 4 1 0 9357 49 0 0 25 0 11 0 1802456609 856592384 21227 4294967295 134512640 134569956 3221224336 3221214572 1131391328 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/12005/statm): 209129 21227 13129 16 0 209113 0
[pid=12005] vsize: 836516
Current children cumulated CPU time (s) 94.06
Current children cumulated vsize (Kb) 836516

[startup+110.012 s]
Raw data (loadavg): 1.06 1.05 1.00 2/66 12024
Raw data (/proc/12005/stat): 12005 (java) R 12004 12005 30740 0 -1 0 18263 4 1 0 10299 50 0 0 17 0 11 0 1802456609 856592384 21291 4294967295 134512640 134569956 3221224336 3221214656 1131473026 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/12005/statm): 209129 21291 13129 16 0 209113 0
[pid=12005] vsize: 836516
Current children cumulated CPU time (s) 103.49
Current children cumulated vsize (Kb) 836516

[startup+120.013 s]
Raw data (loadavg): 1.05 1.05 1.00 2/66 12024
Raw data (/proc/12005/stat): 12005 (java) R 12004 12005 30740 0 -1 0 18269 4 1 0 11258 50 0 0 21 0 11 0 1802456609 856592384 21380 4294967295 134512640 134569956 3221224336 3221214576 1131545110 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/12005/statm): 209129 21380 13129 16 0 209113 0
[pid=12005] vsize: 836516
Current children cumulated CPU time (s) 113.08
Current children cumulated vsize (Kb) 836516

[startup+130.014 s]
Raw data (loadavg): 1.04 1.05 1.00 2/66 12024
Raw data (/proc/12005/stat): 12005 (java) R 12004 12005 30740 0 -1 0 18276 4 1 0 12214 50 0 0 25 0 11 0 1802456609 856592384 21648 4294967295 134512640 134569956 3221224336 3221214656 1131473437 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/12005/statm): 209129 21648 13129 16 0 209113 0
[pid=12005] vsize: 836516
Current children cumulated CPU time (s) 122.64
Current children cumulated vsize (Kb) 836516

[startup+140.015 s]
Raw data (loadavg): 1.03 1.05 1.00 2/66 12024
Raw data (/proc/12005/stat): 12005 (java) R 12004 12005 30740 0 -1 0 18284 4 1 0 13180 51 0 0 24 0 11 0 1802456609 856592384 21801 4294967295 134512640 134569956 3221224336 3221214548 1131057152 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/12005/statm): 209129 21801 13129 16 0 209113 0
[pid=12005] vsize: 836516
Current children cumulated CPU time (s) 132.31
Current children cumulated vsize (Kb) 836516
One traced child (pid=12024) exited with status: 0
New thread pid=12025

[startup+150.016 s]
Raw data (loadavg): 1.03 1.05 1.00 2/66 12025
Raw data (/proc/12005/stat): 12005 (java) R 12004 12005 30740 0 -1 0 18292 4 1 0 14140 51 0 0 25 0 11 0 1802456609 856592384 21841 4294967295 134512640 134569956 3221224336 3221214584 1131533332 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/12005/statm): 209129 21841 13129 16 0 209113 0
[pid=12005] vsize: 836516
Current children cumulated CPU time (s) 141.91
Current children cumulated vsize (Kb) 836516

[startup+160.017 s]
Raw data (loadavg): 1.02 1.04 1.00 2/66 12025
Raw data (/proc/12005/stat): 12005 (java) R 12004 12005 30740 0 -1 0 18299 4 1 0 15106 52 0 0 25 0 11 0 1802456609 856592384 21959 4294967295 134512640 134569956 3221224336 3221214480 1131435717 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/12005/statm): 209129 21959 13129 16 0 209113 0
[pid=12005] vsize: 836516
Current children cumulated CPU time (s) 151.58
Current children cumulated vsize (Kb) 836516

[startup+170.018 s]
Raw data (loadavg): 1.02 1.04 1.00 2/66 12025
Raw data (/proc/12005/stat): 12005 (java) R 12004 12005 30740 0 -1 0 18306 4 1 0 16078 52 0 0 25 0 11 0 1802456609 856592384 22029 4294967295 134512640 134569956 3221224336 3221214480 1131435561 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/12005/statm): 209129 22029 13129 16 0 209113 0
[pid=12005] vsize: 836516
Current children cumulated CPU time (s) 161.3
Current children cumulated vsize (Kb) 836516

[startup+180.019 s]
Raw data (loadavg): 1.02 1.04 1.00 2/66 12025
Raw data (/proc/12005/stat): 12005 (java) R 12004 12005 30740 0 -1 0 18314 4 1 0 17048 52 0 0 25 0 11 0 1802456609 856592384 22129 4294967295 134512640 134569956 3221224336 3221214472 1131435696 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/12005/statm): 209129 22129 13129 16 0 209113 0
[pid=12005] vsize: 836516
Current children cumulated CPU time (s) 171
Current children cumulated vsize (Kb) 836516

[startup+190.019 s]
Raw data (loadavg): 1.01 1.04 1.00 2/66 12025
Raw data (/proc/12005/stat): 12005 (java) R 12004 12005 30740 0 -1 0 18321 4 1 0 18024 52 0 0 25 0 11 0 1802456609 856592384 22243 4294967295 134512640 134569956 3221224336 3221214548 1131057272 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/12005/statm): 209129 22243 13129 16 0 209113 0
[pid=12005] vsize: 836516
Current children cumulated CPU time (s) 180.76
Current children cumulated vsize (Kb) 836516

[startup+200.021 s]
Raw data (loadavg): 1.01 1.04 1.00 2/66 12025
Raw data (/proc/12005/stat): 12005 (java) R 12004 12005 30740 0 -1 0 18329 4 1 0 19001 52 0 0 25 0 11 0 1802456609 856592384 22302 4294967295 134512640 134569956 3221224336 3221214656 1131473026 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/12005/statm): 209129 22302 13129 16 0 209113 0
[pid=12005] vsize: 836516
Current children cumulated CPU time (s) 190.53
Current children cumulated vsize (Kb) 836516

[startup+210.022 s]
Raw data (loadavg): 1.01 1.04 1.00 2/66 12025
Raw data (/proc/12005/stat): 12005 (java) R 12004 12005 30740 0 -1 0 18336 4 1 0 19979 53 0 0 25 0 11 0 1802456609 856592384 22302 4294967295 134512640 134569956 3221224336 3221214592 1131537043 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/12005/statm): 209129 22302 13129 16 0 209113 0
[pid=12005] vsize: 836516
Current children cumulated CPU time (s) 200.32
Current children cumulated vsize (Kb) 836516

[startup+220.023 s]
Raw data (loadavg): 1.01 1.03 1.00 2/66 12025
Raw data (/proc/12005/stat): 12005 (java) R 12004 12005 30740 0 -1 0 18344 4 1 0 20948 53 0 0 18 0 11 0 1802456609 856592384 22434 4294967295 134512640 134569956 3221224336 3221214472 1131435717 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/12005/statm): 209129 22434 13129 16 0 209113 0
[pid=12005] vsize: 836516
Current children cumulated CPU time (s) 210.01
Current children cumulated vsize (Kb) 836516

[startup+230.024 s]
Raw data (loadavg): 1.00 1.03 1.00 2/66 12025
Raw data (/proc/12005/stat): 12005 (java) R 12004 12005 30740 0 -1 0 18352 4 1 0 21915 54 0 0 17 0 11 0 1802456609 856592384 22456 4294967295 134512640 134569956 3221224336 3221214656 1131472989 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/12005/statm): 209129 22456 13129 16 0 209113 0
[pid=12005] vsize: 836516
Current children cumulated CPU time (s) 219.69
Current children cumulated vsize (Kb) 836516

[startup+240.024 s]
Raw data (loadavg): 1.00 1.03 1.00 2/66 12025
Raw data (/proc/12005/stat): 12005 (java) R 12004 12005 30740 0 -1 0 18361 4 1 0 22872 54 0 0 22 0 11 0 1802456609 856592384 22518 4294967295 134512640 134569956 3221224336 3221214656 1131473477 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/12005/statm): 209129 22518 13129 16 0 209113 0
[pid=12005] vsize: 836516
Current children cumulated CPU time (s) 229.26
Current children cumulated vsize (Kb) 836516

[startup+250.025 s]
Raw data (loadavg): 1.00 1.03 1.00 2/66 12025
Raw data (/proc/12005/stat): 12005 (java) S 12004 12005 30740 0 -1 0 18368 4 1 0 23826 55 0 0 17 0 11 0 1802456609 856592384 22533 4294967295 134512640 134569956 3221224336 3221213400 1073943035 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/12005/statm): 209129 22533 13129 16 0 209113 0
[pid=12005] vsize: 836516
Current children cumulated CPU time (s) 238.81
Current children cumulated vsize (Kb) 836516

[startup+260.027 s]
Raw data (loadavg): 1.00 1.03 1.00 2/66 12025
Raw data (/proc/12005/stat): 12005 (java) R 12004 12005 30740 0 -1 0 18378 4 1 0 24768 55 0 0 18 0 11 0 1802456609 856592384 22734 4294967295 134512640 134569956 3221224336 3221214656 1131473026 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/12005/statm): 209129 22734 13129 16 0 209113 0
[pid=12005] vsize: 836516
Current children cumulated CPU time (s) 248.23
Current children cumulated vsize (Kb) 836516
One traced child (pid=12025) exited with status: 0
New thread pid=12026

[startup+270.028 s]
Raw data (loadavg): 1.00 1.03 1.00 2/66 12026
Raw data (/proc/12005/stat): 12005 (java) R 12004 12005 30740 0 -1 0 18387 4 1 0 25716 55 0 0 21 0 11 0 1802456609 857477120 23119 4294967295 134512640 134569956 3221224336 3221214472 1131435909 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/12005/statm): 209345 23119 13129 16 0 209329 0
[pid=12005] vsize: 837380
Current children cumulated CPU time (s) 257.71
Current children cumulated vsize (Kb) 837380

[startup+280.029 s]
Raw data (loadavg): 1.00 1.03 1.00 2/66 12026
Raw data (/proc/12005/stat): 12005 (java) R 12004 12005 30740 0 -1 0 18394 4 1 0 26682 56 0 0 25 0 11 0 1802456609 857477120 23233 4294967295 134512640 134569956 3221224336 3221214472 1131435881 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/12005/statm): 209345 23233 13129 16 0 209329 0
[pid=12005] vsize: 837380
Current children cumulated CPU time (s) 267.38
Current children cumulated vsize (Kb) 837380

[startup+290.03 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 12026
Raw data (/proc/12005/stat): 12005 (java) R 12004 12005 30740 0 -1 0 18402 4 1 0 27647 56 0 0 17 0 11 0 1802456609 857477120 23311 4294967295 134512640 134569956 3221224336 3221214656 1131474024 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/12005/statm): 209345 23311 13129 16 0 209329 0
[pid=12005] vsize: 837380
Current children cumulated CPU time (s) 277.03
Current children cumulated vsize (Kb) 837380

[startup+300.032 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 12026
Raw data (/proc/12005/stat): 12005 (java) R 12004 12005 30740 0 -1 0 18409 4 1 0 28620 56 0 0 25 0 11 0 1802456609 857477120 23400 4294967295 134512640 134569956 3221224336 3221214480 1131360910 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/12005/statm): 209345 23400 13129 16 0 209329 0
[pid=12005] vsize: 837380
Current children cumulated CPU time (s) 286.76
Current children cumulated vsize (Kb) 837380

[startup+310.033 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 12026
Raw data (/proc/12005/stat): 12005 (java) S 12004 12005 30740 0 -1 0 18417 4 1 0 29595 56 0 0 25 0 11 0 1802456609 857477120 23473 4294967295 134512640 134569956 3221224336 3221213256 1073952481 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/12005/statm): 209345 23473 13129 16 0 209329 0
[pid=12005] vsize: 837380
Current children cumulated CPU time (s) 296.51
Current children cumulated vsize (Kb) 837380

[startup+320.034 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 12026
Raw data (/proc/12005/stat): 12005 (java) R 12004 12005 30740 0 -1 0 18424 4 1 0 30572 56 0 0 17 0 11 0 1802456609 857477120 23558 4294967295 134512640 134569956 3221224336 3221214656 1131473477 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/12005/statm): 209345 23558 13129 16 0 209329 0
[pid=12005] vsize: 837380
Current children cumulated CPU time (s) 306.28
Current children cumulated vsize (Kb) 837380
One traced child (pid=12026) exited with status: 0
New thread pid=12027

[startup+330.034 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 12027
Raw data (/proc/12005/stat): 12005 (java) R 12004 12005 30740 0 -1 0 18433 4 1 0 31547 57 0 0 25 0 11 0 1802456609 857477120 23599 4294967295 134512640 134569956 3221224336 3221214352 1131360820 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/12005/statm): 209345 23599 13129 16 0 209329 0
[pid=12005] vsize: 837380
Current children cumulated CPU time (s) 316.04
Current children cumulated vsize (Kb) 837380

[startup+340.035 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 12027
Raw data (/proc/12005/stat): 12005 (java) R 12004 12005 30740 0 -1 0 18440 4 1 0 32527 57 0 0 25 0 11 0 1802456609 857477120 23627 4294967295 134512640 134569956 3221224336 3221214464 1131537372 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/12005/statm): 209345 23627 13129 16 0 209329 0
[pid=12005] vsize: 837380
Current children cumulated CPU time (s) 325.84
Current children cumulated vsize (Kb) 837380

[startup+350.037 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 12027
Raw data (/proc/12005/stat): 12005 (java) R 12004 12005 30740 0 -1 0 18448 4 1 0 33507 58 0 0 25 0 11 0 1802456609 857477120 23724 4294967295 134512640 134569956 3221224336 3221214344 1131435561 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/12005/statm): 209345 23724 13129 16 0 209329 0
[pid=12005] vsize: 837380
Current children cumulated CPU time (s) 335.65
Current children cumulated vsize (Kb) 837380

[startup+360.038 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 12027
Raw data (/proc/12005/stat): 12005 (java) R 12004 12005 30740 0 -1 0 18456 4 1 0 34491 58 0 0 25 0 11 0 1802456609 857477120 23753 4294967295 134512640 134569956 3221224336 3221214448 1131544907 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/12005/statm): 209345 23753 13129 16 0 209329 0
[pid=12005] vsize: 837380
Current children cumulated CPU time (s) 345.49
Current children cumulated vsize (Kb) 837380

[startup+370.038 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 12027
Raw data (/proc/12005/stat): 12005 (java) R 12004 12005 30740 0 -1 0 18464 4 1 0 35474 59 0 0 25 0 11 0 1802456609 857477120 23799 4294967295 134512640 134569956 3221224336 3221214420 1131057186 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/12005/statm): 209345 23799 13129 16 0 209329 0
[pid=12005] vsize: 837380
Current children cumulated CPU time (s) 355.33
Current children cumulated vsize (Kb) 837380
One traced child (pid=12027) exited with status: 0
New thread pid=12028

[startup+380.04 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 12028
Raw data (/proc/12005/stat): 12005 (java) R 12004 12005 30740 0 -1 0 18472 4 1 0 36451 59 0 0 25 0 11 0 1802456609 857477120 23799 4294967295 134512640 134569956 3221224336 3221214576 1131473477 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/12005/statm): 209345 23799 13129 16 0 209329 0
[pid=12005] vsize: 837380
Current children cumulated CPU time (s) 365.1
Current children cumulated vsize (Kb) 837380

[startup+390.04 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 12028
Raw data (/proc/12005/stat): 12005 (java) R 12004 12005 30740 0 -1 0 18479 4 1 0 37429 60 0 0 25 0 11 0 1802456609 857477120 23799 4294967295 134512640 134569956 3221224336 3221214344 1131435792 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/12005/statm): 209345 23799 13129 16 0 209329 0
[pid=12005] vsize: 837380
Current children cumulated CPU time (s) 374.89
Current children cumulated vsize (Kb) 837380

[startup+400.041 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 12028
Raw data (/proc/12005/stat): 12005 (java) R 12004 12005 30740 0 -1 0 18487 4 1 0 38405 60 0 0 21 0 11 0 1802456609 857477120 23863 4294967295 134512640 134569956 3221224336 3221214448 1131544592 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/12005/statm): 209345 23863 13129 16 0 209329 0
[pid=12005] vsize: 837380
Current children cumulated CPU time (s) 384.65
Current children cumulated vsize (Kb) 837380

[startup+410.041 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 12028
Raw data (/proc/12005/stat): 12005 (java) R 12004 12005 30740 0 -1 0 18494 4 1 0 39390 60 0 0 25 0 11 0 1802456609 857477120 23929 4294967295 134512640 134569956 3221224336 3221214576 1131472989 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/12005/statm): 209345 23929 13129 16 0 209329 0
[pid=12005] vsize: 837380
Current children cumulated CPU time (s) 394.5
Current children cumulated vsize (Kb) 837380

[startup+420.042 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 12028
Raw data (/proc/12005/stat): 12005 (java) R 12004 12005 30740 0 -1 0 18501 4 1 0 40375 61 0 0 25 0 11 0 1802456609 857477120 23985 4294967295 134512640 134569956 3221224336 3221214352 1131435561 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/12005/statm): 209345 23985 13129 16 0 209329 0
[pid=12005] vsize: 837380
Current children cumulated CPU time (s) 404.36
Current children cumulated vsize (Kb) 837380

[startup+430.043 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 12028
Raw data (/proc/12005/stat): 12005 (java) R 12004 12005 30740 0 -1 0 18508 4 1 0 41362 61 0 0 25 0 11 0 1802456609 857477120 24013 4294967295 134512640 134569956 3221224336 3221214576 1131473642 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/12005/statm): 209345 24013 13129 16 0 209329 0
[pid=12005] vsize: 837380
Current children cumulated CPU time (s) 414.23
Current children cumulated vsize (Kb) 837380

[startup+440.043 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 12028
Raw data (/proc/12005/stat): 12005 (java) R 12004 12005 30740 0 -1 0 18516 4 1 0 42340 62 0 0 25 0 11 0 1802456609 857477120 24013 4294967295 134512640 134569956 3221224336 3221214576 1131473450 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/12005/statm): 209345 24013 13129 16 0 209329 0
[pid=12005] vsize: 837380
Current children cumulated CPU time (s) 424.02
Current children cumulated vsize (Kb) 837380

[startup+450.045 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 12028
Raw data (/proc/12005/stat): 12005 (java) R 12004 12005 30740 0 -1 0 18523 4 1 0 43309 62 0 0 23 0 11 0 1802456609 857477120 24013 4294967295 134512640 134569956 3221224336 3221214464 1131537001 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/12005/statm): 209345 24013 13129 16 0 209329 0
[pid=12005] vsize: 837380
Current children cumulated CPU time (s) 433.71
Current children cumulated vsize (Kb) 837380

[startup+460.045 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 12028
Raw data (/proc/12005/stat): 12005 (java) R 12004 12005 30740 0 -1 0 18532 4 1 0 44263 63 0 0 25 0 11 0 1802456609 857477120 24090 4294967295 134512640 134569956 3221224336 3221214560 1131360820 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/12005/statm): 209345 24090 13129 16 0 209329 0
[pid=12005] vsize: 837380
Current children cumulated CPU time (s) 443.26
Current children cumulated vsize (Kb) 837380

[startup+470.045 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 12028
Raw data (/proc/12005/stat): 12005 (java) S 12004 12005 30740 0 -1 0 18540 4 1 0 45214 63 0 0 25 0 11 0 1802456609 857477120 24175 4294967295 134512640 134569956 3221224336 3221213320 1073943035 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/12005/statm): 209345 24175 13129 16 0 209329 0
[pid=12005] vsize: 837380
Current children cumulated CPU time (s) 452.77
Current children cumulated vsize (Kb) 837380

[startup+480.046 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 12028
Raw data (/proc/12005/stat): 12005 (java) R 12004 12005 30740 0 -1 0 18548 4 1 0 46173 63 0 0 20 0 11 0 1802456609 857477120 24303 4294967295 134512640 134569956 3221224336 3221214344 1131435666 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/12005/statm): 209345 24303 13129 16 0 209329 0
[pid=12005] vsize: 837380
Current children cumulated CPU time (s) 462.36
Current children cumulated vsize (Kb) 837380

[startup+490.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 12028
Raw data (/proc/12005/stat): 12005 (java) R 12004 12005 30740 0 -1 0 18556 4 1 0 47145 64 0 0 21 0 11 0 1802456609 857477120 24441 4294967295 134512640 134569956 3221224336 3221214560 1131360820 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/12005/statm): 209345 24441 13129 16 0 209329 0
[pid=12005] vsize: 837380
Current children cumulated CPU time (s) 472.09
Current children cumulated vsize (Kb) 837380

[startup+500.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 12028
Raw data (/proc/12005/stat): 12005 (java) R 12004 12005 30740 0 -1 0 18562 4 1 0 48126 64 0 0 25 0 11 0 1802456609 857477120 24508 4294967295 134512640 134569956 3221224336 3221214344 1131435717 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/12005/statm): 209345 24508 13129 16 0 209329 0
[pid=12005] vsize: 837380
Current children cumulated CPU time (s) 481.9
Current children cumulated vsize (Kb) 837380

[startup+510.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 12028
Raw data (/proc/12005/stat): 12005 (java) R 12004 12005 30740 0 -1 0 18570 4 1 0 49104 65 0 0 25 0 11 0 1802456609 857477120 24604 4294967295 134512640 134569956 3221224336 3221214720 1131391385 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/12005/statm): 209345 24604 13129 16 0 209329 0
[pid=12005] vsize: 837380
Current children cumulated CPU time (s) 491.69
Current children cumulated vsize (Kb) 837380

[startup+520.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 12028
Raw data (/proc/12005/stat): 12005 (java) R 12004 12005 30740 0 -1 0 18577 4 1 0 50082 65 0 0 25 0 11 0 1802456609 857477120 24621 4294967295 134512640 134569956 3221224336 3221214192 1078904510 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/12005/statm): 209345 24621 13129 16 0 209329 0
[pid=12005] vsize: 837380
Current children cumulated CPU time (s) 501.47
Current children cumulated vsize (Kb) 837380

[startup+530.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 12028
Raw data (/proc/12005/stat): 12005 (java) R 12004 12005 30740 0 -1 0 18585 4 1 0 51051 66 0 0 17 0 11 0 1802456609 857477120 24641 4294967295 134512640 134569956 3221224336 3221214464 1131537483 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/12005/statm): 209345 24641 13129 16 0 209329 0
[pid=12005] vsize: 837380
Current children cumulated CPU time (s) 511.17
Current children cumulated vsize (Kb) 837380

[startup+540.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 12028
Raw data (/proc/12005/stat): 12005 (java) S 12004 12005 30740 0 -1 0 18592 4 1 0 52024 66 0 0 25 0 11 0 1802456609 857477120 24675 4294967295 134512640 134569956 3221224336 3221212984 1073952481 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/12005/statm): 209345 24675 13129 16 0 209329 0
[pid=12005] vsize: 837380
Current children cumulated CPU time (s) 520.9
Current children cumulated vsize (Kb) 837380

[startup+550.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 12028
Raw data (/proc/12005/stat): 12005 (java) R 12004 12005 30740 0 -1 0 18598 4 1 0 53002 66 0 0 25 0 11 0 1802456609 857477120 24759 4294967295 134512640 134569956 3221224336 3221214344 1131435714 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/12005/statm): 209345 24759 13129 16 0 209329 0
[pid=12005] vsize: 837380
Current children cumulated CPU time (s) 530.68
Current children cumulated vsize (Kb) 837380

[startup+560.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 12028
Raw data (/proc/12005/stat): 12005 (java) R 12004 12005 30740 0 -1 0 18605 4 1 0 53983 66 0 0 25 0 11 0 1802456609 857477120 24830 4294967295 134512640 134569956 3221224336 3221214344 1131435664 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/12005/statm): 209345 24830 13129 16 0 209329 0
[pid=12005] vsize: 837380
Current children cumulated CPU time (s) 540.49
Current children cumulated vsize (Kb) 837380

[startup+570.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 12028
Raw data (/proc/12005/stat): 12005 (java) R 12004 12005 30740 0 -1 0 18613 4 1 0 54966 67 0 0 24 0 11 0 1802456609 857477120 24923 4294967295 134512640 134569956 3221224336 3221214464 1131537366 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/12005/statm): 209345 24923 13129 16 0 209329 0
[pid=12005] vsize: 837380
Current children cumulated CPU time (s) 550.33
Current children cumulated vsize (Kb) 837380

[startup+580.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 12028
Raw data (/proc/12005/stat): 12005 (java) R 12004 12005 30740 0 -1 0 18619 4 1 0 55954 67 0 0 24 0 11 0 1802456609 857477120 24938 4294967295 134512640 134569956 3221224336 3221214344 1131435717 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/12005/statm): 209345 24938 13129 16 0 209329 0
[pid=12005] vsize: 837380
Current children cumulated CPU time (s) 560.21
Current children cumulated vsize (Kb) 837380

[startup+590.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 12028
Raw data (/proc/12005/stat): 12005 (java) R 12004 12005 30740 0 -1 0 18626 4 1 0 56941 68 0 0 24 0 11 0 1802456609 857477120 24938 4294967295 134512640 134569956 3221224336 3221214352 1131435666 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/12005/statm): 209345 24938 13129 16 0 209329 0
[pid=12005] vsize: 837380
Current children cumulated CPU time (s) 570.09
Current children cumulated vsize (Kb) 837380

[startup+600.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 12028
Raw data (/proc/12005/stat): 12005 (java) R 12004 12005 30740 0 -1 0 18634 4 1 0 57921 69 0 0 25 0 11 0 1802456609 857477120 24938 4294967295 134512640 134569956 3221224336 3221214352 1131565954 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/12005/statm): 209345 24938 13129 16 0 209329 0
[pid=12005] vsize: 837380
Current children cumulated CPU time (s) 579.9
Current children cumulated vsize (Kb) 837380

[startup+610.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 12028
Raw data (/proc/12005/stat): 12005 (java) R 12004 12005 30740 0 -1 0 18642 4 1 0 58899 69 0 0 25 0 11 0 1802456609 857477120 24979 4294967295 134512640 134569956 3221224336 3221214444 1131391328 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/12005/statm): 209345 24979 13129 16 0 209329 0
[pid=12005] vsize: 837380
Current children cumulated CPU time (s) 589.68
Current children cumulated vsize (Kb) 837380

[startup+620.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 12028
Raw data (/proc/12005/stat): 12005 (java) R 12004 12005 30740 0 -1 0 18650 4 1 0 59877 69 0 0 25 0 11 0 1802456609 857477120 25011 4294967295 134512640 134569956 3221224336 3221214444 1131492452 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/12005/statm): 209345 25011 13129 16 0 209329 0
[pid=12005] vsize: 837380
Current children cumulated CPU time (s) 599.46
Current children cumulated vsize (Kb) 837380

[startup+630.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 12028
Raw data (/proc/12005/stat): 12005 (java) R 12004 12005 30740 0 -1 0 18657 4 1 0 60853 69 0 0 23 0 11 0 1802456609 857477120 25034 4294967295 134512640 134569956 3221224336 3221214344 1131435944 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/12005/statm): 209345 25034 13129 16 0 209329 0
[pid=12005] vsize: 837380
Current children cumulated CPU time (s) 609.22
Current children cumulated vsize (Kb) 837380

[startup+640.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 12028
Raw data (/proc/12005/stat): 12005 (java) R 12004 12005 30740 0 -1 0 18664 4 1 0 61831 70 0 0 25 0 11 0 1802456609 857477120 25111 4294967295 134512640 134569956 3221224336 3221214448 1131544818 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/12005/statm): 209345 25111 13129 16 0 209329 0
[pid=12005] vsize: 837380
Current children cumulated CPU time (s) 619.01
Current children cumulated vsize (Kb) 837380

[startup+650.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 12028
Raw data (/proc/12005/stat): 12005 (java) R 12004 12005 30740 0 -1 0 18672 4 1 0 62811 71 0 0 25 0 11 0 1802456609 857477120 25130 4294967295 134512640 134569956 3221224336 3221214448 1131545021 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/12005/statm): 209345 25130 13129 16 0 209329 0
[pid=12005] vsize: 837380
Current children cumulated CPU time (s) 628.82
Current children cumulated vsize (Kb) 837380

[startup+660.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 12028
Raw data (/proc/12005/stat): 12005 (java) R 12004 12005 30740 0 -1 0 18680 4 1 0 63792 71 0 0 17 0 11 0 1802456609 857477120 25196 4294967295 134512640 134569956 3221224336 3221214672 1131498328 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/12005/statm): 209345 25196 13129 16 0 209329 0
[pid=12005] vsize: 837380
Current children cumulated CPU time (s) 638.63
Current children cumulated vsize (Kb) 837380

[startup+670.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 12028
Raw data (/proc/12005/stat): 12005 (java) R 12004 12005 30740 0 -1 0 18687 4 1 0 64777 71 0 0 25 0 11 0 1802456609 857477120 25265 4294967295 134512640 134569956 3221224336 3221214344 1131435561 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/12005/statm): 209345 25265 13129 16 0 209329 0
[pid=12005] vsize: 837380
Current children cumulated CPU time (s) 648.48
Current children cumulated vsize (Kb) 837380

[startup+680.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 12028
Raw data (/proc/12005/stat): 12005 (java) R 12004 12005 30740 0 -1 0 18695 4 1 0 65758 72 0 0 19 0 11 0 1802456609 857477120 25265 4294967295 134512640 134569956 3221224336 3221214352 1131360883 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/12005/statm): 209345 25265 13129 16 0 209329 0
[pid=12005] vsize: 837380
Current children cumulated CPU time (s) 658.3
Current children cumulated vsize (Kb) 837380

[startup+690.064 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 12028
Raw data (/proc/12005/stat): 12005 (java) R 12004 12005 30740 0 -1 0 18702 4 1 0 66736 73 0 0 25 0 11 0 1802456609 857477120 25265 4294967295 134512640 134569956 3221224336 3221214576 1131473477 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/12005/statm): 209345 25265 13129 16 0 209329 0
[pid=12005] vsize: 837380
Current children cumulated CPU time (s) 668.09
Current children cumulated vsize (Kb) 837380

[startup+700.066 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 12028
Raw data (/proc/12005/stat): 12005 (java) R 12004 12005 30740 0 -1 0 18709 4 1 0 67711 73 0 0 25 0 11 0 1802456609 857477120 25301 4294967295 134512640 134569956 3221224336 3221214344 1131435775 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/12005/statm): 209345 25301 13129 16 0 209329 0
[pid=12005] vsize: 837380
Current children cumulated CPU time (s) 677.84
Current children cumulated vsize (Kb) 837380

[startup+710.067 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 12028
Raw data (/proc/12005/stat): 12005 (java) R 12004 12005 30740 0 -1 0 18716 4 1 0 68689 73 0 0 25 0 11 0 1802456609 857477120 25332 4294967295 134512640 134569956 3221224336 3221214464 1131537427 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/12005/statm): 209345 25332 13129 16 0 209329 0
[pid=12005] vsize: 837380
Current children cumulated CPU time (s) 687.62
Current children cumulated vsize (Kb) 837380

[startup+720.068 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 12028
Raw data (/proc/12005/stat): 12005 (java) R 12004 12005 30740 0 -1 0 18723 4 1 0 69668 74 0 0 23 0 11 0 1802456609 857477120 25404 4294967295 134512640 134569956 3221224336 3221214576 1131472989 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/12005/statm): 209345 25404 13129 16 0 209329 0
[pid=12005] vsize: 837380
Current children cumulated CPU time (s) 697.42
Current children cumulated vsize (Kb) 837380

[startup+730.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 12028
Raw data (/proc/12005/stat): 12005 (java) R 12004 12005 30740 0 -1 0 18731 4 1 0 70644 74 0 0 25 0 11 0 1802456609 857477120 25443 4294967295 134512640 134569956 3221224336 3221214352 1131435696 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/12005/statm): 209345 25443 13129 16 0 209329 0
[pid=12005] vsize: 837380
Current children cumulated CPU time (s) 707.18
Current children cumulated vsize (Kb) 837380

[startup+740.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 12028
Raw data (/proc/12005/stat): 12005 (java) R 12004 12005 30740 0 -1 0 18737 4 1 0 71627 74 0 0 25 0 11 0 1802456609 857477120 25519 4294967295 134512640 134569956 3221224336 3221214560 1131360820 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/12005/statm): 209345 25519 13129 16 0 209329 0
[pid=12005] vsize: 837380
Current children cumulated CPU time (s) 717.01
Current children cumulated vsize (Kb) 837380

[startup+750.071 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 12028
Raw data (/proc/12005/stat): 12005 (java) R 12004 12005 30740 0 -1 0 18744 4 1 0 72606 74 0 0 24 0 11 0 1802456609 857477120 25519 4294967295 134512640 134569956 3221224336 3221214584 1131515154 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/12005/statm): 209345 25519 13129 16 0 209329 0
[pid=12005] vsize: 837380
Current children cumulated CPU time (s) 726.8
Current children cumulated vsize (Kb) 837380

[startup+760.072 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 12028
Raw data (/proc/12005/stat): 12005 (java) R 12004 12005 30740 0 -1 0 18752 4 1 0 73578 75 0 0 25 0 11 0 1802456609 857477120 25551 4294967295 134512640 134569956 3221224336 3221214576 1131473626 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/12005/statm): 209345 25551 13129 16 0 209329 0
[pid=12005] vsize: 837380
Current children cumulated CPU time (s) 736.53
Current children cumulated vsize (Kb) 837380

[startup+770.072 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 12028
Raw data (/proc/12005/stat): 12005 (java) R 12004 12005 30740 0 -1 0 18760 4 1 0 74548 75 0 0 19 0 11 0 1802456609 857477120 25631 4294967295 134512640 134569956 3221224336 3221214672 1131498328 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/12005/statm): 209345 25631 13129 16 0 209329 0
[pid=12005] vsize: 837380
Current children cumulated CPU time (s) 746.23
Current children cumulated vsize (Kb) 837380

[startup+780.073 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 12028
Raw data (/proc/12005/stat): 12005 (java) R 12004 12005 30740 0 -1 0 18768 4 1 0 75516 76 0 0 16 0 11 0 1802456609 857477120 25669 4294967295 134512640 134569956 3221224336 3221214444 1131391328 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/12005/statm): 209345 25669 13129 16 0 209329 0
[pid=12005] vsize: 837380
Current children cumulated CPU time (s) 755.92
Current children cumulated vsize (Kb) 837380

[startup+790.073 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 12028
Raw data (/proc/12005/stat): 12005 (java) R 12004 12005 30740 0 -1 0 18775 4 1 0 76486 76 0 0 25 0 11 0 1802456609 857477120 25730 4294967295 134512640 134569956 3221224336 3221214344 1131435926 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/12005/statm): 209345 25730 13129 16 0 209329 0
[pid=12005] vsize: 837380
Current children cumulated CPU time (s) 765.62
Current children cumulated vsize (Kb) 837380

[startup+800.075 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 12028
Raw data (/proc/12005/stat): 12005 (java) R 12004 12005 30740 0 -1 0 18781 4 1 0 77461 76 0 0 25 0 11 0 1802456609 857477120 25776 4294967295 134512640 134569956 3221224336 3221214344 1131435877 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/12005/statm): 209345 25776 13129 16 0 209329 0
[pid=12005] vsize: 837380
Current children cumulated CPU time (s) 775.37
Current children cumulated vsize (Kb) 837380

[startup+810.076 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 12028
Raw data (/proc/12005/stat): 12005 (java) R 12004 12005 30740 0 -1 0 18789 4 1 0 78430 77 0 0 25 0 11 0 1802456609 857477120 25840 4294967295 134512640 134569956 3221224336 3221214424 1131391420 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/12005/statm): 209345 25840 13129 16 0 209329 0
[pid=12005] vsize: 837380
Current children cumulated CPU time (s) 785.07
Current children cumulated vsize (Kb) 837380

[startup+820.077 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 12028
Raw data (/proc/12005/stat): 12005 (java) R 12004 12005 30740 0 -1 0 18795 4 1 0 79406 77 0 0 25 0 11 0 1802456609 857477120 25900 4294967295 134512640 134569956 3221224336 3221214448 1131544976 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/12005/statm): 209345 25900 13129 16 0 209329 0
[pid=12005] vsize: 837380
Current children cumulated CPU time (s) 794.83
Current children cumulated vsize (Kb) 837380

[startup+830.078 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 12028
Raw data (/proc/12005/stat): 12005 (java) R 12004 12005 30740 0 -1 0 18803 4 1 0 80383 77 0 0 16 0 11 0 1802456609 857477120 25986 4294967295 134512640 134569956 3221224336 3221214464 1131537142 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/12005/statm): 209345 25986 13129 16 0 209329 0
[pid=12005] vsize: 837380
Current children cumulated CPU time (s) 804.6
Current children cumulated vsize (Kb) 837380

[startup+840.079 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 12028
Raw data (/proc/12005/stat): 12005 (java) R 12004 12005 30740 0 -1 0 18811 4 1 0 81361 78 0 0 24 0 11 0 1802456609 857477120 26057 4294967295 134512640 134569956 3221224336 3221214448 1131544655 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/12005/statm): 209345 26057 13129 16 0 209329 0
[pid=12005] vsize: 837380
Current children cumulated CPU time (s) 814.39
Current children cumulated vsize (Kb) 837380

[startup+850.079 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 12028
Raw data (/proc/12005/stat): 12005 (java) R 12004 12005 30740 0 -1 0 18818 4 1 0 82343 78 0 0 25 0 11 0 1802456609 857477120 26098 4294967295 134512640 134569956 3221224336 3221214576 1131473031 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/12005/statm): 209345 26098 13129 16 0 209329 0
[pid=12005] vsize: 837380
Current children cumulated CPU time (s) 824.21
Current children cumulated vsize (Kb) 837380

[startup+860.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 12028
Raw data (/proc/12005/stat): 12005 (java) R 12004 12005 30740 0 -1 0 18826 4 1 0 83323 78 0 0 24 0 11 0 1802456609 857477120 26161 4294967295 134512640 134569956 3221224336 3221214448 1131545210 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/12005/statm): 209345 26161 13129 16 0 209329 0
[pid=12005] vsize: 837380
Current children cumulated CPU time (s) 834.01
Current children cumulated vsize (Kb) 837380

[startup+870.081 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 12028
Raw data (/proc/12005/stat): 12005 (java) R 12004 12005 30740 0 -1 0 18833 4 1 0 84304 78 0 0 21 0 11 0 1802456609 857477120 26186 4294967295 134512640 134569956 3221224336 3221214352 1131435666 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/12005/statm): 209345 26186 13129 16 0 209329 0
[pid=12005] vsize: 837380
Current children cumulated CPU time (s) 843.82
Current children cumulated vsize (Kb) 837380

[startup+880.082 s]
Raw data (loadavg): 1.07 1.02 1.00 2/66 12028
Raw data (/proc/12005/stat): 12005 (java) R 12004 12005 30740 0 -1 0 18841 4 1 0 85285 79 0 0 25 0 11 0 1802456609 856592384 26040 4294967295 134512640 134569956 3221224336 3221214576 1131474281 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/12005/statm): 209129 26040 13129 16 0 209113 0
[pid=12005] vsize: 836516
Current children cumulated CPU time (s) 853.64
Current children cumulated vsize (Kb) 836516

[startup+890.082 s]
Raw data (loadavg): 1.06 1.02 1.00 2/66 12028
Raw data (/proc/12005/stat): 12005 (java) R 12004 12005 30740 0 -1 0 18849 4 1 0 86262 79 0 0 19 0 11 0 1802456609 856592384 26041 4294967295 134512640 134569956 3221224336 3221214464 1131537068 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/12005/statm): 209129 26041 13129 16 0 209113 0
[pid=12005] vsize: 836516
Current children cumulated CPU time (s) 863.41
Current children cumulated vsize (Kb) 836516

[startup+900.083 s]
Raw data (loadavg): 1.05 1.01 1.00 2/66 12028
Raw data (/proc/12005/stat): 12005 (java) R 12004 12005 30740 0 -1 0 18856 4 1 0 87243 79 0 0 23 0 11 0 1802456609 856592384 26129 4294967295 134512640 134569956 3221224336 3221214464 1131537475 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/12005/statm): 209129 26129 13129 16 0 209113 0
[pid=12005] vsize: 836516
Current children cumulated CPU time (s) 873.22
Current children cumulated vsize (Kb) 836516

[startup+910.084 s]
Raw data (loadavg): 1.04 1.01 1.00 2/66 12028
Raw data (/proc/12005/stat): 12005 (java) R 12004 12005 30740 0 -1 0 18865 4 1 0 88223 79 0 0 24 0 11 0 1802456609 856592384 26146 4294967295 134512640 134569956 3221224336 3221214352 1131360851 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/12005/statm): 209129 26146 13129 16 0 209113 0
[pid=12005] vsize: 836516
Current children cumulated CPU time (s) 883.02
Current children cumulated vsize (Kb) 836516

[startup+920.084 s]
Raw data (loadavg): 1.04 1.01 1.00 2/66 12028
Raw data (/proc/12005/stat): 12005 (java) R 12004 12005 30740 0 -1 0 18874 4 1 0 89203 80 0 0 25 0 11 0 1802456609 856592384 26219 4294967295 134512640 134569956 3221224336 3221214344 1131435957 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/12005/statm): 209129 26219 13129 16 0 209113 0
[pid=12005] vsize: 836516
Current children cumulated CPU time (s) 892.83
Current children cumulated vsize (Kb) 836516

[startup+930.085 s]
Raw data (loadavg): 1.03 1.01 1.00 2/66 12028
Raw data (/proc/12005/stat): 12005 (java) R 12004 12005 30740 0 -1 0 18881 4 1 0 90189 80 0 0 25 0 11 0 1802456609 856592384 26220 4294967295 134512640 134569956 3221224336 3221214420 1131057272 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/12005/statm): 209129 26220 13129 16 0 209113 0
[pid=12005] vsize: 836516
Current children cumulated CPU time (s) 902.69
Current children cumulated vsize (Kb) 836516

[startup+940.086 s]
Raw data (loadavg): 1.02 1.01 1.00 2/66 12028
Raw data (/proc/12005/stat): 12005 (java) R 12004 12005 30740 0 -1 0 18888 4 1 0 91174 80 0 0 25 0 11 0 1802456609 856592384 26220 4294967295 134512640 134569956 3221224336 3221214576 1131473477 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/12005/statm): 209129 26220 13129 16 0 209113 0
[pid=12005] vsize: 836516
Current children cumulated CPU time (s) 912.54
Current children cumulated vsize (Kb) 836516

[startup+950.086 s]
Raw data (loadavg): 1.02 1.01 1.00 2/66 12028
Raw data (/proc/12005/stat): 12005 (java) R 12004 12005 30740 0 -1 0 18898 4 1 0 92152 81 0 0 25 0 11 0 1802456609 856592384 26266 4294967295 134512640 134569956 3221224336 3221214352 1131435455 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/12005/statm): 209129 26266 13129 16 0 209113 0
[pid=12005] vsize: 836516
Current children cumulated CPU time (s) 922.33
Current children cumulated vsize (Kb) 836516

[startup+960.087 s]
Raw data (loadavg): 1.02 1.01 1.00 2/66 12028
Raw data (/proc/12005/stat): 12005 (java) R 12004 12005 30740 0 -1 0 18905 4 1 0 93135 81 0 0 24 0 11 0 1802456609 856592384 26298 4294967295 134512640 134569956 3221224336 3221214444 1131391328 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/12005/statm): 209129 26298 13129 16 0 209113 0
[pid=12005] vsize: 836516
Current children cumulated CPU time (s) 932.16
Current children cumulated vsize (Kb) 836516

[startup+970.088 s]
Raw data (loadavg): 1.01 1.01 1.00 2/66 12028
Raw data (/proc/12005/stat): 12005 (java) R 12004 12005 30740 0 -1 0 18913 4 1 0 94114 81 0 0 25 0 11 0 1802456609 856592384 26314 4294967295 134512640 134569956 3221224336 3221214560 1131361518 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/12005/statm): 209129 26314 13129 16 0 209113 0
[pid=12005] vsize: 836516
Current children cumulated CPU time (s) 941.95
Current children cumulated vsize (Kb) 836516

[startup+980.089 s]
Raw data (loadavg): 1.01 1.01 1.00 2/66 12028
Raw data (/proc/12005/stat): 12005 (java) R 12004 12005 30740 0 -1 0 18922 4 1 0 95086 81 0 0 25 0 11 0 1802456609 856592384 26337 4294967295 134512640 134569956 3221224336 3221214344 1131435865 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/12005/statm): 209129 26337 13129 16 0 209113 0
[pid=12005] vsize: 836516
Current children cumulated CPU time (s) 951.67
Current children cumulated vsize (Kb) 836516

[startup+990.09 s]
Raw data (loadavg): 1.01 1.01 1.00 2/66 12028
Raw data (/proc/12005/stat): 12005 (java) R 12004 12005 30740 0 -1 0 18930 4 1 0 96064 82 0 0 25 0 11 0 1802456609 856592384 26402 4294967295 134512640 134569956 3221224336 3221214656 1131623035 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/12005/statm): 209129 26402 13129 16 0 209113 0
[pid=12005] vsize: 836516
Current children cumulated CPU time (s) 961.46
Current children cumulated vsize (Kb) 836516
One traced child (pid=12028) exited with status: 0
New thread pid=12029

[startup+1000.09 s]
Raw data (loadavg): 1.01 1.00 1.00 2/66 12029
Raw data (/proc/12005/stat): 12005 (java) R 12004 12005 30740 0 -1 0 18939 4 1 0 97039 82 0 0 25 0 11 0 1802456609 856592384 26431 4294967295 134512640 134569956 3221224336 3221214424 1131391385 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/12005/statm): 209129 26431 13129 16 0 209113 0
[pid=12005] vsize: 836516
Current children cumulated CPU time (s) 971.21
Current children cumulated vsize (Kb) 836516

[startup+1010.09 s]
Raw data (loadavg): 1.01 1.00 1.00 2/66 12029
Raw data (/proc/12005/stat): 12005 (java) R 12004 12005 30740 0 -1 0 18946 4 1 0 98021 83 0 0 17 0 11 0 1802456609 856592384 26480 4294967295 134512640 134569956 3221224336 3221214448 1131544946 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/12005/statm): 209129 26480 13129 16 0 209113 0
[pid=12005] vsize: 836516
Current children cumulated CPU time (s) 981.04
Current children cumulated vsize (Kb) 836516

[startup+1020.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 12029
Raw data (/proc/12005/stat): 12005 (java) R 12004 12005 30740 0 -1 0 18953 4 1 0 99006 83 0 0 19 0 11 0 1802456609 856592384 26522 4294967295 134512640 134569956 3221224336 3221214344 1131435881 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/12005/statm): 209129 26522 13129 16 0 209113 0
[pid=12005] vsize: 836516
Current children cumulated CPU time (s) 990.89
Current children cumulated vsize (Kb) 836516

[startup+1030.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 12029
Raw data (/proc/12005/stat): 12005 (java) R 12004 12005 30740 0 -1 0 18960 4 1 0 99992 83 0 0 25 0 11 0 1802456609 856592384 26548 4294967295 134512640 134569956 3221224336 3221214344 1131435811 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/12005/statm): 209129 26548 13129 16 0 209113 0
[pid=12005] vsize: 836516
Current children cumulated CPU time (s) 1000.75
Current children cumulated vsize (Kb) 836516

[startup+1040.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 12029
Raw data (/proc/12005/stat): 12005 (java) R 12004 12005 30740 0 -1 0 18967 4 1 0 100980 83 0 0 17 0 11 0 1802456609 856592384 26610 4294967295 134512640 134569956 3221224336 3221214344 1131435855 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/12005/statm): 209129 26610 13129 16 0 209113 0
[pid=12005] vsize: 836516
Current children cumulated CPU time (s) 1010.63
Current children cumulated vsize (Kb) 836516

[startup+1050.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 12029
Raw data (/proc/12005/stat): 12005 (java) R 12004 12005 30740 0 -1 0 18974 4 1 0 101975 83 0 0 25 0 11 0 1802456609 856592384 26619 4294967295 134512640 134569956 3221224336 3221214344 1131435427 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/12005/statm): 209129 26619 13129 16 0 209113 0
[pid=12005] vsize: 836516
Current children cumulated CPU time (s) 1020.58
Current children cumulated vsize (Kb) 836516

[startup+1060.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 12029
Raw data (/proc/12005/stat): 12005 (java) R 12004 12005 30740 0 -1 0 18981 4 1 0 102969 84 0 0 25 0 11 0 1802456609 856592384 26619 4294967295 134512640 134569956 3221224336 3221214344 1131435844 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/12005/statm): 209129 26619 13129 16 0 209113 0
[pid=12005] vsize: 836516
Current children cumulated CPU time (s) 1030.53
Current children cumulated vsize (Kb) 836516

[startup+1070.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 12029
Raw data (/proc/12005/stat): 12005 (java) R 12004 12005 30740 0 -1 0 18988 4 1 0 103963 84 0 0 25 0 11 0 1802456609 856592384 26620 4294967295 134512640 134569956 3221224336 3221214344 1131435822 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/12005/statm): 209129 26620 13129 16 0 209113 0
[pid=12005] vsize: 836516
Current children cumulated CPU time (s) 1040.47
Current children cumulated vsize (Kb) 836516

[startup+1080.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 12029
Raw data (/proc/12005/stat): 12005 (java) R 12004 12005 30740 0 -1 0 18995 4 1 0 104958 85 0 0 25 0 11 0 1802456609 856592384 26620 4294967295 134512640 134569956 3221224336 3221214420 1131057207 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/12005/statm): 209129 26620 13129 16 0 209113 0
[pid=12005] vsize: 836516
Current children cumulated CPU time (s) 1050.43
Current children cumulated vsize (Kb) 836516

[startup+1090.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 12029
Raw data (/proc/12005/stat): 12005 (java) R 12004 12005 30740 0 -1 0 19002 4 1 0 105953 85 0 0 25 0 11 0 1802456609 856592384 26620 4294967295 134512640 134569956 3221224336 3221214344 1131435561 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/12005/statm): 209129 26620 13129 16 0 209113 0
[pid=12005] vsize: 836516
Current children cumulated CPU time (s) 1060.38
Current children cumulated vsize (Kb) 836516

[startup+1100.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 12029
Raw data (/proc/12005/stat): 12005 (java) R 12004 12005 30740 0 -1 0 19009 4 1 0 106948 86 0 0 25 0 11 0 1802456609 856592384 26621 4294967295 134512640 134569956 3221224336 3221214344 1131435881 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/12005/statm): 209129 26621 13129 16 0 209113 0
[pid=12005] vsize: 836516
Current children cumulated CPU time (s) 1070.34
Current children cumulated vsize (Kb) 836516

[startup+1110.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 12029
Raw data (/proc/12005/stat): 12005 (java) R 12004 12005 30740 0 -1 0 19017 4 1 0 107943 86 0 0 25 0 11 0 1802456609 856592384 26622 4294967295 134512640 134569956 3221224336 3221214344 1131435782 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/12005/statm): 209129 26622 13129 16 0 209113 0
[pid=12005] vsize: 836516
Current children cumulated CPU time (s) 1080.29
Current children cumulated vsize (Kb) 836516

[startup+1120.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 12029
Raw data (/proc/12005/stat): 12005 (java) R 12004 12005 30740 0 -1 0 19024 4 1 0 108938 86 0 0 19 0 11 0 1802456609 856592384 26622 4294967295 134512640 134569956 3221224336 3221214344 1131435746 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/12005/statm): 209129 26622 13129 16 0 209113 0
[pid=12005] vsize: 836516
Current children cumulated CPU time (s) 1090.24
Current children cumulated vsize (Kb) 836516

[startup+1130.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 12029
Raw data (/proc/12005/stat): 12005 (java) R 12004 12005 30740 0 -1 0 19031 4 1 0 109933 87 0 0 25 0 11 0 1802456609 856592384 26622 4294967295 134512640 134569956 3221224336 3221214344 1131435995 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/12005/statm): 209129 26622 13129 16 0 209113 0
[pid=12005] vsize: 836516
Current children cumulated CPU time (s) 1100.2
Current children cumulated vsize (Kb) 836516

[startup+1140.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 12029
Raw data (/proc/12005/stat): 12005 (java) R 12004 12005 30740 0 -1 0 19038 4 1 0 110928 87 0 0 22 0 11 0 1802456609 856592384 26622 4294967295 134512640 134569956 3221224336 3221214344 1131435865 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/12005/statm): 209129 26622 13129 16 0 209113 0
[pid=12005] vsize: 836516
Current children cumulated CPU time (s) 1110.15
Current children cumulated vsize (Kb) 836516

[startup+1150.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 12029
Raw data (/proc/12005/stat): 12005 (java) R 12004 12005 30740 0 -1 0 19045 4 1 0 111923 88 0 0 23 0 11 0 1802456609 856592384 26623 4294967295 134512640 134569956 3221224336 3221214344 1131435781 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/12005/statm): 209129 26623 13129 16 0 209113 0
[pid=12005] vsize: 836516
Current children cumulated CPU time (s) 1120.11
Current children cumulated vsize (Kb) 836516

[startup+1160.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 12029
Raw data (/proc/12005/stat): 12005 (java) R 12004 12005 30740 0 -1 0 19052 4 1 0 112919 88 0 0 25 0 11 0 1802456609 856592384 26623 4294967295 134512640 134569956 3221224336 3221214344 1131435855 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/12005/statm): 209129 26623 13129 16 0 209113 0
[pid=12005] vsize: 836516
Current children cumulated CPU time (s) 1130.07
Current children cumulated vsize (Kb) 836516

[startup+1170.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 12029
Raw data (/proc/12005/stat): 12005 (java) R 12004 12005 30740 0 -1 0 19059 4 1 0 113914 88 0 0 25 0 11 0 1802456609 856592384 26624 4294967295 134512640 134569956 3221224336 3221214456 1131533200 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/12005/statm): 209129 26624 13129 16 0 209113 0
[pid=12005] vsize: 836516
Current children cumulated CPU time (s) 1140.02
Current children cumulated vsize (Kb) 836516

[startup+1180.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 12029
Raw data (/proc/12005/stat): 12005 (java) R 12004 12005 30740 0 -1 0 19066 4 1 0 114909 88 0 0 25 0 11 0 1802456609 856592384 26624 4294967295 134512640 134569956 3221224336 3221214344 1131435911 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/12005/statm): 209129 26624 13129 16 0 209113 0
[pid=12005] vsize: 836516
Current children cumulated CPU time (s) 1149.97
Current children cumulated vsize (Kb) 836516

[startup+1190.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 12029
Raw data (/proc/12005/stat): 12005 (java) R 12004 12005 30740 0 -1 0 19073 4 1 0 115903 89 0 0 25 0 11 0 1802456609 856592384 26624 4294967295 134512640 134569956 3221224336 3221214344 1131435857 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/12005/statm): 209129 26624 13129 16 0 209113 0
[pid=12005] vsize: 836516
Current children cumulated CPU time (s) 1159.92
Current children cumulated vsize (Kb) 836516

[startup+1200.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 12029
Raw data (/proc/12005/stat): 12005 (java) R 12004 12005 30740 0 -1 0 19081 4 1 0 116897 91 0 0 25 0 11 0 1802456609 856592384 26625 4294967295 134512640 134569956 3221224336 3221214352 1131435717 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/12005/statm): 209129 26625 13129 16 0 209113 0
[pid=12005] vsize: 836516
Current children cumulated CPU time (s) 1169.88
Current children cumulated vsize (Kb) 836516

[startup+1210.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 12029
Raw data (/proc/12005/stat): 12005 (java) R 12004 12005 30740 0 -1 0 19088 4 1 0 117890 92 0 0 25 0 11 0 1802456609 856592384 26625 4294967295 134512640 134569956 3221224336 3221214344 1131435746 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/12005/statm): 209129 26625 13129 16 0 209113 0
[pid=12005] vsize: 836516
Current children cumulated CPU time (s) 1179.82
Current children cumulated vsize (Kb) 836516

[startup+1220.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 12029
Raw data (/proc/12005/stat): 12005 (java) R 12004 12005 30740 0 -1 0 19095 4 1 0 118885 93 0 0 18 0 11 0 1802456609 856592384 26625 4294967295 134512640 134569956 3221224336 3221214344 1131435865 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/12005/statm): 209129 26625 13129 16 0 209113 0
[pid=12005] vsize: 836516
Current children cumulated CPU time (s) 1189.78
Current children cumulated vsize (Kb) 836516

[startup+1230.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 12029
Raw data (/proc/12005/stat): 12005 (java) R 12004 12005 30740 0 -1 0 19102 4 1 0 119880 93 0 0 20 0 11 0 1802456609 856592384 26625 4294967295 134512640 134569956 3221224336 3221214344 1131435561 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/12005/statm): 209129 26625 13129 16 0 209113 0
[pid=12005] vsize: 836516
Current children cumulated CPU time (s) 1199.73
Current children cumulated vsize (Kb) 836516

[startup+1240.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 12029
Raw data (/proc/12005/stat): 12005 (java) R 12004 12005 30740 0 -1 0 19109 4 1 0 120875 94 0 0 25 0 11 0 1802456609 856592384 26626 4294967295 134512640 134569956 3221224336 3221214344 1131435822 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/12005/statm): 209129 26626 13129 16 0 209113 0
[pid=12005] vsize: 836516
Current children cumulated CPU time (s) 1209.69
Current children cumulated vsize (Kb) 836516



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1240.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 12029
Raw data (/proc/12005/stat): 12005 (java) R 12004 12005 30740 0 -1 0 19109 4 1 0 120875 94 0 0 25 0 11 0 1802456609 856592384 26626 4294967295 134512640 134569956 3221224336 3221214344 1131435664 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/12005/statm): 209129 26626 13129 16 0 209113 0
[pid=12005] vsize: 836516
Current children cumulated CPU time (s) 1209.69
Current children cumulated vsize (Kb) 836516

Sending SIGTERM to -12005
Sleeping 2 seconds
New thread pid=12031
New thread pid=12032
One traced child (pid=12032) exited with status: 0
One traced child (pid=12014) exited with status: 0
One traced child (pid=12009) exited with status: 0
One traced child (pid=12006) exited with status: 143
One traced child (pid=12007) exited with status: 143
One traced child (pid=12008) exited with status: 143
One traced child (pid=12010) exited with status: 143
One traced child (pid=12013) exited with status: 143
One traced child (pid=12011) exited with status: 143
One traced child (pid=12029) exited with status: 143
One traced child (pid=12012) exited with status: 143
One traced child (pid=12031) exited with status: 143
One traced child (pid=12005) exited with status: 143
All traced children have exited ! Game is over.

Child status: 143
Real time (s): 1240.38
CPU time (s): 1245.45
CPU user time (s): 1243.72
CPU system time (s): 1.73074
CPU usage (%): 100.409
Max. virtual memory (cumulated for all children) (Kb): 837380

Verifier Data

Verifier:	OK	3571