PB'05 competition: run trace

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
General information on the benchmark

Name	normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-forplan.opb
MD5SUM	ddf2305d343a013723560db78488e836
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	6325
Biggest coefficient in the objective function	10098206310400
Number of bits for the biggest coefficient in the objective function	44
Sum of the numbers in the objective function	1154186082635000
Number of bits of the sum of numbers in the objective function	51
Biggest number in a constraint	107374182400000
Number of bits of the biggest number in a constraint	47
Biggest sum of numbers in a constraint	1154186082635000
Number of bits of the biggest sum of numbers	51
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.076988
Number of variables	8495
Total number of constraints	155
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	155
Minimum length of a constraint	20
Maximum length of a constraint	6060
Trace number 29834

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc28 THE 2005-05-25 11:58:07 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=21230 boxname=wulflinc28 idbench=1218 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  ddf2305d343a013723560db78488e836  /oldhome/oroussel/tmp/wulflinc28/normalized-mps-v2-13-7-forplan.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc28/normalized-mps-v2-13-7-forplan.opb
IDLAUNCH: 21230
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.077
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	: 3
cpu MHz		: 451.077
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:        611840 kB
Buffers:         29924 kB
Cached:         371176 kB
SwapCached:       1052 kB
Active:          52468 kB
Inactive:       351188 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        611588 kB
SwapTotal:     2097640 kB
SwapFree:      2096168 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5464 kB
Slab:            13584 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 12:18:30 (client local time) WITH STATUS 143 IN 1217.67 SECONDS
stats: 21230 7 1217.67 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/wulflinc28/normalized-mps-v2-13-7-forplan.opb
c reading problem ... done. Time 29.299 ms.
c #vars     8495
c #constraints  239
c starts	: 4
c conflicts	: 482
c decisions	: 6106
c propagations	: 71131
c inspects	: 2450809
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 482
c root simplifications	: 471
s UNKNOWN
c Total CPU time (ms) : 1218.591
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 1.13 1.03 1.01 1/54 5233
Raw data (stat): 5233 (runsolver) D 5232 24821 24820 0 -1 64 4 0 0 0 0 0 0 0 18 0 1 0 838704878 1052672 99 4294967295 134512640 135381576 3221224400 3221219620 135158418 0 2147483391 7 90112 3225161850 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0006 s]
Raw data (loadavg): 1.11 1.03 1.01 2/63 5242
Raw data (stat): 5233 (java) R 5232 24821 24820 0 -1 0 18016 0 1 0 825 41 0 0 25 0 10 0 838704878 857239552 20155 4294967295 134512640 134569956 3221224368 3221214344 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209287 20155 13086 16 0 209271 0
vsize: 837148
[startup+20.0017 s]
Raw data (loadavg): 1.09 1.03 1.01 3/63 5242
Raw data (stat): 5233 (java) R 5232 24821 24820 0 -1 0 18027 0 1 0 1666 42 0 0 25 0 10 0 838704878 856739840 20955 4294967295 134512640 134569956 3221224368 3221214012 1130899395 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209165 20955 13086 16 0 209149 0
vsize: 836660
[startup+30.0016 s]
Raw data (loadavg): 1.08 1.03 1.01 2/63 5242
Raw data (stat): 5233 (java) R 5232 24821 24820 0 -1 0 18028 0 1 0 2536 43 0 0 25 0 10 0 838704878 856031232 23743 4294967295 134512640 134569956 3221224368 3221214760 1131215291 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208992 23743 13086 16 0 208976 0
vsize: 835968
[startup+40.0016 s]
Raw data (loadavg): 1.29 1.07 1.02 2/64 5243
Raw data (stat): 5233 (java) R 5232 24821 24820 0 -1 0 18086 0 1 0 3411 44 0 0 25 0 11 0 838704878 860094464 26123 4294967295 134512640 134569956 3221224368 3221214496 1131309689 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209984 26123 13086 16 0 209968 0
vsize: 839936
[startup+50.0018 s]
Raw data (loadavg): 1.25 1.07 1.02 2/64 5243
Raw data (stat): 5233 (java) R 5232 24821 24820 0 -1 0 18086 0 1 0 4394 45 0 0 25 0 11 0 838704878 858566656 25720 4294967295 134512640 134569956 3221224368 3221214600 1131322657 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209611 25720 13086 16 0 209595 0
vsize: 838444
[startup+60.0025 s]
Raw data (loadavg): 1.21 1.07 1.02 2/64 5243
Raw data (stat): 5233 (java) R 5232 24821 24820 0 -1 0 18087 0 1 0 5369 45 0 0 25 0 11 0 838704878 857608192 25510 4294967295 134512640 134569956 3221224368 3221214512 1131309907 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209377 25510 13086 16 0 209361 0
vsize: 837508
[startup+70.0028 s]
Raw data (loadavg): 1.18 1.07 1.02 2/64 5243
Raw data (stat): 5233 (java) R 5232 24821 24820 0 -1 0 18087 0 1 0 6354 45 0 0 25 0 11 0 838704878 857608192 25565 4294967295 134512640 134569956 3221224368 3221214656 1131383769 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209377 25565 13086 16 0 209361 0
vsize: 837508
[startup+80.0029 s]
Raw data (loadavg): 1.15 1.06 1.02 2/64 5243
Raw data (stat): 5233 (java) R 5232 24821 24820 0 -1 0 18087 0 1 0 7347 46 0 0 25 0 11 0 838704878 857608192 25599 4294967295 134512640 134569956 3221224368 3221214656 1131382786 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209377 25599 13086 16 0 209361 0
vsize: 837508
[startup+90.0038 s]
Raw data (loadavg): 1.12 1.06 1.02 2/64 5243
Raw data (stat): 5233 (java) R 5232 24821 24820 0 -1 0 18087 0 1 0 8341 47 0 0 25 0 11 0 838704878 857608192 25610 4294967295 134512640 134569956 3221224368 3221214656 1131381657 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209377 25610 13086 16 0 209361 0
vsize: 837508
[startup+100.004 s]
Raw data (loadavg): 1.11 1.06 1.02 2/64 5243
Raw data (stat): 5233 (java) R 5232 24821 24820 0 -1 0 18087 0 1 0 9337 47 0 0 25 0 11 0 838704878 857608192 25617 4294967295 134512640 134569956 3221224368 3221214656 1131382797 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209377 25617 13086 16 0 209361 0
vsize: 837508
[startup+110.005 s]
Raw data (loadavg): 1.09 1.06 1.01 2/64 5243
Raw data (stat): 5233 (java) R 5232 24821 24820 0 -1 0 18087 0 1 0 10332 47 0 0 25 0 11 0 838704878 857608192 25620 4294967295 134512640 134569956 3221224368 3221214656 1131386370 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209377 25620 13086 16 0 209361 0
vsize: 837508
[startup+120.005 s]
Raw data (loadavg): 1.15 1.07 1.02 3/67 5283
Raw data (stat): 5233 (java) R 5232 24821 24820 0 -1 0 18087 0 1 0 11324 51 0 0 25 0 11 0 838704878 857608192 25624 4294967295 134512640 134569956 3221224368 3221214656 1131386370 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209377 25624 13086 16 0 209361 0
vsize: 837508
[startup+130.005 s]
Raw data (loadavg): 1.20 1.08 1.02 2/64 5296
Raw data (stat): 5233 (java) R 5232 24821 24820 0 -1 0 18087 0 1 0 12319 51 0 0 25 0 11 0 838704878 857608192 25628 4294967295 134512640 134569956 3221224368 3221214512 1131309740 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209377 25628 13086 16 0 209361 0
vsize: 837508
[startup+140.006 s]
Raw data (loadavg): 1.17 1.08 1.02 2/64 5296
Raw data (stat): 5233 (java) R 5232 24821 24820 0 -1 0 18087 0 1 0 13315 51 0 0 25 0 11 0 838704878 857608192 25633 4294967295 134512640 134569956 3221224368 3221214600 1131322672 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209377 25633 13086 16 0 209361 0
vsize: 837508
[startup+150.007 s]
Raw data (loadavg): 1.15 1.08 1.02 2/64 5296
Raw data (stat): 5233 (java) R 5232 24821 24820 0 -1 0 18087 0 1 0 14311 52 0 0 25 0 11 0 838704878 857608192 25637 4294967295 134512640 134569956 3221224368 3221214600 1131323049 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209377 25637 13086 16 0 209361 0
vsize: 837508
[startup+160.007 s]
Raw data (loadavg): 1.12 1.08 1.02 2/64 5296
Raw data (stat): 5233 (java) R 5232 24821 24820 0 -1 0 18087 0 1 0 15307 52 0 0 25 0 11 0 838704878 857608192 25641 4294967295 134512640 134569956 3221224368 3221214600 1131322944 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209377 25641 13086 16 0 209361 0
vsize: 837508
[startup+170.007 s]
Raw data (loadavg): 1.10 1.07 1.02 2/64 5296
Raw data (stat): 5233 (java) R 5232 24821 24820 0 -1 0 18087 0 1 0 16302 53 0 0 25 0 11 0 838704878 857608192 25644 4294967295 134512640 134569956 3221224368 3221214656 1131382728 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209377 25644 13086 16 0 209361 0
vsize: 837508
[startup+180.006 s]
Raw data (loadavg): 1.09 1.07 1.02 2/64 5296
Raw data (stat): 5233 (java) R 5232 24821 24820 0 -1 0 18087 0 1 0 17298 53 0 0 25 0 11 0 838704878 857608192 25650 4294967295 134512640 134569956 3221224368 3221214600 1131323068 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209377 25650 13086 16 0 209361 0
vsize: 837508
[startup+190.007 s]
Raw data (loadavg): 1.07 1.07 1.02 2/64 5296
Raw data (stat): 5233 (java) R 5232 24821 24820 0 -1 0 18087 0 1 0 18293 54 0 0 25 0 11 0 838704878 857608192 25655 4294967295 134512640 134569956 3221224368 3221214600 1131322660 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209377 25655 13086 16 0 209361 0
vsize: 837508
[startup+200.007 s]
Raw data (loadavg): 1.06 1.06 1.02 2/64 5298
Raw data (stat): 5233 (java) R 5232 24821 24820 0 -1 0 18087 0 1 0 19288 54 0 0 25 0 11 0 838704878 857608192 25658 4294967295 134512640 134569956 3221224368 3221214512 1131309740 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209377 25658 13086 16 0 209361 0
vsize: 837508
[startup+210.008 s]
Raw data (loadavg): 1.05 1.06 1.02 2/64 5298
Raw data (stat): 5233 (java) R 5232 24821 24820 0 -1 0 18087 0 1 0 20284 55 0 0 25 0 11 0 838704878 857608192 25661 4294967295 134512640 134569956 3221224368 3221214512 1131309740 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209377 25661 13086 16 0 209361 0
vsize: 837508
[startup+220.008 s]
Raw data (loadavg): 1.04 1.06 1.01 2/64 5298
Raw data (stat): 5233 (java) R 5232 24821 24820 0 -1 0 18087 0 1 0 21280 55 0 0 25 0 11 0 838704878 857608192 25665 4294967295 134512640 134569956 3221224368 3221214512 1131310618 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209377 25665 13086 16 0 209361 0
vsize: 837508
[startup+230.008 s]
Raw data (loadavg): 1.04 1.06 1.01 2/64 5298
Raw data (stat): 5233 (java) R 5232 24821 24820 0 -1 0 18087 0 1 0 22276 55 0 0 25 0 11 0 838704878 857608192 25668 4294967295 134512640 134569956 3221224368 3221214600 1131322721 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209377 25668 13086 16 0 209361 0
vsize: 837508
[startup+240.008 s]
Raw data (loadavg): 1.03 1.05 1.01 2/64 5298
Raw data (stat): 5233 (java) R 5232 24821 24820 0 -1 0 18087 0 1 0 23271 55 0 0 25 0 11 0 838704878 857608192 25674 4294967295 134512640 134569956 3221224368 3221214656 1131381617 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209377 25674 13086 16 0 209361 0
vsize: 837508
[startup+250.008 s]
Raw data (loadavg): 1.02 1.05 1.01 2/64 5298
Raw data (stat): 5233 (java) R 5232 24821 24820 0 -1 0 18087 0 1 0 24266 56 0 0 25 0 11 0 838704878 857608192 25678 4294967295 134512640 134569956 3221224368 3221214656 1131386302 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209377 25678 13086 16 0 209361 0
vsize: 837508
[startup+260.009 s]
Raw data (loadavg): 1.02 1.05 1.01 2/64 5298
Raw data (stat): 5233 (java) R 5232 24821 24820 0 -1 0 18087 0 1 0 25261 56 0 0 25 0 11 0 838704878 857608192 25681 4294967295 134512640 134569956 3221224368 3221214656 1131386392 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209377 25681 13086 16 0 209361 0
vsize: 837508
[startup+270.01 s]
Raw data (loadavg): 1.02 1.05 1.01 2/64 5298
Raw data (stat): 5233 (java) R 5232 24821 24820 0 -1 0 18087 0 1 0 26256 57 0 0 25 0 11 0 838704878 857608192 25685 4294967295 134512640 134569956 3221224368 3221214600 1131322796 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209377 25685 13086 16 0 209361 0
vsize: 837508
[startup+280.01 s]
Raw data (loadavg): 1.01 1.05 1.01 2/64 5298
Raw data (stat): 5233 (java) R 5232 24821 24820 0 -1 0 18087 0 1 0 27251 57 0 0 25 0 11 0 838704878 857608192 25688 4294967295 134512640 134569956 3221224368 3221214596 1131309568 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209377 25688 13086 16 0 209361 0
vsize: 837508
[startup+290.011 s]
Raw data (loadavg): 1.01 1.04 1.01 2/64 5298
Raw data (stat): 5233 (java) R 5232 24821 24820 0 -1 0 18087 0 1 0 28247 57 0 0 25 0 11 0 838704878 857608192 25697 4294967295 134512640 134569956 3221224368 3221214656 1131386272 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209377 25697 13086 16 0 209361 0
vsize: 837508
[startup+300.012 s]
Raw data (loadavg): 1.01 1.04 1.01 2/64 5298
Raw data (stat): 5233 (java) R 5232 24821 24820 0 -1 0 18088 0 1 0 29239 58 0 0 25 0 11 0 838704878 857608192 25707 4294967295 134512640 134569956 3221224368 3221214512 1131310439 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209377 25707 13086 16 0 209361 0
vsize: 837508
[startup+310.012 s]
Raw data (loadavg): 1.01 1.04 1.01 2/64 5298
Raw data (stat): 5233 (java) R 5232 24821 24820 0 -1 0 18088 0 1 0 30234 59 0 0 25 0 11 0 838704878 857608192 25728 4294967295 134512640 134569956 3221224368 3221214512 1131309689 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209377 25728 13086 16 0 209361 0
vsize: 837508
[startup+320.012 s]
Raw data (loadavg): 1.01 1.04 1.00 2/64 5298
Raw data (stat): 5233 (java) R 5232 24821 24820 0 -1 0 18088 0 1 0 31229 59 0 0 25 0 11 0 838704878 857608192 25731 4294967295 134512640 134569956 3221224368 3221214656 1131386418 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209377 25731 13086 16 0 209361 0
vsize: 837508
[startup+330.013 s]
Raw data (loadavg): 1.00 1.04 1.00 2/64 5298
Raw data (stat): 5233 (java) R 5232 24821 24820 0 -1 0 18088 0 1 0 32225 59 0 0 25 0 11 0 838704878 857608192 25735 4294967295 134512640 134569956 3221224368 3221214512 1131310954 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209377 25735 13086 16 0 209361 0
vsize: 837508
[startup+340.013 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 5298
Raw data (stat): 5233 (java) R 5232 24821 24820 0 -1 0 18088 0 1 0 33221 60 0 0 25 0 11 0 838704878 857608192 25738 4294967295 134512640 134569956 3221224368 3221214656 1131383705 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209377 25738 13086 16 0 209361 0
vsize: 837508
[startup+350.013 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 5298
Raw data (stat): 5233 (java) R 5232 24821 24820 0 -1 0 18088 0 1 0 34216 60 0 0 25 0 11 0 838704878 857608192 25741 4294967295 134512640 134569956 3221224368 3221214656 1131381661 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209377 25741 13086 16 0 209361 0
vsize: 837508
[startup+360.015 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 5298
Raw data (stat): 5233 (java) R 5232 24821 24820 0 -1 0 18088 0 1 0 35211 60 0 0 25 0 11 0 838704878 857608192 25744 4294967295 134512640 134569956 3221224368 3221214656 1131383670 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209377 25744 13086 16 0 209361 0
vsize: 837508
[startup+370.014 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 5298
Raw data (stat): 5233 (java) R 5232 24821 24820 0 -1 0 18088 0 1 0 36206 60 0 0 25 0 11 0 838704878 857608192 25747 4294967295 134512640 134569956 3221224368 3221214724 1130918347 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209377 25747 13086 16 0 209361 0
vsize: 837508
[startup+380.014 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 5298
Raw data (stat): 5233 (java) R 5232 24821 24820 0 -1 0 18088 0 1 0 37201 61 0 0 25 0 11 0 838704878 857608192 25751 4294967295 134512640 134569956 3221224368 3221214656 1131382738 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209377 25751 13086 16 0 209361 0
vsize: 837508
[startup+390.015 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 5298
Raw data (stat): 5233 (java) R 5232 24821 24820 0 -1 0 18088 0 1 0 38196 62 0 0 25 0 11 0 838704878 857608192 25753 4294967295 134512640 134569956 3221224368 3221214600 1131322695 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209377 25753 13086 16 0 209361 0
vsize: 837508
[startup+400.015 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 5298
Raw data (stat): 5233 (java) R 5232 24821 24820 0 -1 0 18088 0 1 0 39191 62 0 0 25 0 11 0 838704878 857608192 25757 4294967295 134512640 134569956 3221224368 3221214656 1131381461 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209377 25757 13086 16 0 209361 0
vsize: 837508
[startup+410.016 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 5298
Raw data (stat): 5233 (java) R 5232 24821 24820 0 -1 0 18088 0 1 0 40186 62 0 0 25 0 11 0 838704878 857608192 25760 4294967295 134512640 134569956 3221224368 3221214512 1131311007 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209377 25760 13086 16 0 209361 0
vsize: 837508
[startup+420.017 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 5298
Raw data (stat): 5233 (java) R 5232 24821 24820 0 -1 0 18088 0 1 0 41181 63 0 0 25 0 11 0 838704878 857608192 25764 4294967295 134512640 134569956 3221224368 3221214600 1131322952 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209377 25764 13086 16 0 209361 0
vsize: 837508
[startup+430.016 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 5298
Raw data (stat): 5233 (java) R 5232 24821 24820 0 -1 0 18088 0 1 0 42176 63 0 0 25 0 11 0 838704878 857608192 25767 4294967295 134512640 134569956 3221224368 3221214512 1131311107 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209377 25767 13086 16 0 209361 0
vsize: 837508
[startup+440.017 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 5298
Raw data (stat): 5233 (java) R 5232 24821 24820 0 -1 0 18088 0 1 0 43170 63 0 0 25 0 11 0 838704878 857608192 25769 4294967295 134512640 134569956 3221224368 3221214656 1131381657 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209377 25769 13086 16 0 209361 0
vsize: 837508
[startup+450.018 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 5298
Raw data (stat): 5233 (java) R 5232 24821 24820 0 -1 0 18088 0 1 0 44164 63 0 0 25 0 11 0 838704878 857608192 25772 4294967295 134512640 134569956 3221224368 3221214600 1131322967 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209377 25772 13086 16 0 209361 0
vsize: 837508
[startup+460.018 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 5300
Raw data (stat): 5233 (java) R 5232 24821 24820 0 -1 0 18088 0 1 0 45159 64 0 0 25 0 11 0 838704878 857608192 25767 4294967295 134512640 134569956 3221224368 3221214512 1131309740 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209377 25767 13086 16 0 209361 0
vsize: 837508
[startup+470.02 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 5300
Raw data (stat): 5233 (java) R 5232 24821 24820 0 -1 0 18088 0 1 0 46154 64 0 0 25 0 11 0 838704878 857608192 25771 4294967295 134512640 134569956 3221224368 3221214600 1131323077 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209377 25771 13086 16 0 209361 0
vsize: 837508
[startup+480.019 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 5300
Raw data (stat): 5233 (java) R 5232 24821 24820 0 -1 0 18088 0 1 0 47146 65 0 0 25 0 11 0 838704878 857608192 25773 4294967295 134512640 134569956 3221224368 3221214512 1131310566 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209377 25773 13086 16 0 209361 0
vsize: 837508
[startup+490.019 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 5300
Raw data (stat): 5233 (java) R 5232 24821 24820 0 -1 0 18088 0 1 0 48140 65 0 0 25 0 11 0 838704878 857608192 25777 4294967295 134512640 134569956 3221224368 3221214656 1131381610 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209377 25777 13086 16 0 209361 0
vsize: 837508
[startup+500.021 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 5300
Raw data (stat): 5233 (java) R 5232 24821 24820 0 -1 0 18088 0 1 0 49134 65 0 0 25 0 11 0 838704878 857608192 25780 4294967295 134512640 134569956 3221224368 3221214512 1131240789 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209377 25780 13086 16 0 209361 0
vsize: 837508
[startup+510.021 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 5300
Raw data (stat): 5233 (java) R 5232 24821 24820 0 -1 0 18088 0 1 0 50128 65 0 0 25 0 11 0 838704878 857608192 25793 4294967295 134512640 134569956 3221224368 3221214600 1131322736 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209377 25793 13086 16 0 209361 0
vsize: 837508
[startup+520.022 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 5300
Raw data (stat): 5233 (java) R 5232 24821 24820 0 -1 0 18088 0 1 0 51122 66 0 0 25 0 11 0 838704878 857608192 25798 4294967295 134512640 134569956 3221224368 3221214600 1131322961 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209377 25798 13086 16 0 209361 0
vsize: 837508
[startup+530.022 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 5300
Raw data (stat): 5233 (java) R 5232 24821 24820 0 -1 0 18088 0 1 0 52116 67 0 0 25 0 11 0 838704878 857608192 25800 4294967295 134512640 134569956 3221224368 3221214512 1131309788 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209377 25800 13086 16 0 209361 0
vsize: 837508
[startup+540.022 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 5300
Raw data (stat): 5233 (java) R 5232 24821 24820 0 -1 0 18088 0 1 0 53111 67 0 0 25 0 11 0 838704878 857608192 25804 4294967295 134512640 134569956 3221224368 3221214512 1131310351 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209377 25804 13086 16 0 209361 0
vsize: 837508
[startup+550.022 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 5300
Raw data (stat): 5233 (java) R 5232 24821 24820 0 -1 0 18088 0 1 0 54105 67 0 0 25 0 11 0 838704878 857608192 25812 4294967295 134512640 134569956 3221224368 3221214512 1131309740 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209377 25812 13086 16 0 209361 0
vsize: 837508
[startup+560.023 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 5300
Raw data (stat): 5233 (java) R 5232 24821 24820 0 -1 0 18088 0 1 0 55099 68 0 0 25 0 11 0 838704878 857608192 25815 4294967295 134512640 134569956 3221224368 3221214656 1131386370 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209377 25815 13086 16 0 209361 0
vsize: 837508
[startup+570.024 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 5300
Raw data (stat): 5233 (java) R 5232 24821 24820 0 -1 0 18088 0 1 0 56093 69 0 0 25 0 11 0 838704878 857608192 25817 4294967295 134512640 134569956 3221224368 3221214512 1131309588 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209377 25817 13086 16 0 209361 0
vsize: 837508
[startup+580.024 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 5300
Raw data (stat): 5233 (java) R 5232 24821 24820 0 -1 0 18088 0 1 0 57086 69 0 0 25 0 11 0 838704878 857608192 25820 4294967295 134512640 134569956 3221224368 3221214576 1131323010 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209377 25820 13086 16 0 209361 0
vsize: 837508
[startup+590.025 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 5300
Raw data (stat): 5233 (java) R 5232 24821 24820 0 -1 0 18088 0 1 0 58081 70 0 0 25 0 11 0 838704878 857608192 25823 4294967295 134512640 134569956 3221224368 3221214632 1131381657 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209377 25823 13086 16 0 209361 0
vsize: 837508
[startup+600.025 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 5300
Raw data (stat): 5233 (java) R 5232 24821 24820 0 -1 0 18088 0 1 0 59075 70 0 0 25 0 11 0 838704878 857608192 25826 4294967295 134512640 134569956 3221224368 3221214488 1131311058 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209377 25826 13086 16 0 209361 0
vsize: 837508
[startup+610.027 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 5300
Raw data (stat): 5233 (java) R 5232 24821 24820 0 -1 0 18088 0 1 0 60069 71 0 0 25 0 11 0 838704878 857608192 25829 4294967295 134512640 134569956 3221224368 3221214688 1131332908 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209377 25829 13086 16 0 209361 0
vsize: 837508
[startup+620.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5300
Raw data (stat): 5233 (java) R 5232 24821 24820 0 -1 0 18088 0 1 0 61064 71 0 0 25 0 11 0 838704878 857608192 25832 4294967295 134512640 134569956 3221224368 3221214488 1131311087 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209377 25832 13086 16 0 209361 0
vsize: 837508
[startup+630.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5300
Raw data (stat): 5233 (java) R 5232 24821 24820 0 -1 0 18088 0 1 0 62057 72 0 0 25 0 11 0 838704878 857608192 25834 4294967295 134512640 134569956 3221224368 3221214632 1131387365 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209377 25834 13086 16 0 209361 0
vsize: 837508
[startup+640.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5300
Raw data (stat): 5233 (java) R 5232 24821 24820 0 -1 0 18088 0 1 0 63051 72 0 0 25 0 11 0 838704878 857608192 25837 4294967295 134512640 134569956 3221224368 3221214576 1131322653 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209377 25837 13086 16 0 209361 0
vsize: 837508
[startup+650.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5300
Raw data (stat): 5233 (java) R 5232 24821 24820 0 -1 0 18088 0 1 0 64046 72 0 0 25 0 11 0 838704878 857608192 25839 4294967295 134512640 134569956 3221224368 3221214488 1131309740 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209377 25839 13086 16 0 209361 0
vsize: 837508
[startup+660.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5300
Raw data (stat): 5233 (java) R 5232 24821 24820 0 -1 0 18088 0 1 0 65039 73 0 0 25 0 11 0 838704878 857608192 25843 4294967295 134512640 134569956 3221224368 3221214632 1131386330 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209377 25843 13086 16 0 209361 0
vsize: 837508
[startup+670.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5300
Raw data (stat): 5233 (java) R 5232 24821 24820 0 -1 0 18088 0 1 0 66033 73 0 0 25 0 11 0 838704878 857608192 25846 4294967295 134512640 134569956 3221224368 3221214488 1131310340 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209377 25846 13086 16 0 209361 0
vsize: 837508
[startup+680.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5300
Raw data (stat): 5233 (java) R 5232 24821 24820 0 -1 0 18088 0 1 0 67027 74 0 0 25 0 11 0 838704878 857608192 25848 4294967295 134512640 134569956 3221224368 3221214748 1130919491 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209377 25848 13086 16 0 209361 0
vsize: 837508
[startup+690.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5300
Raw data (stat): 5233 (java) R 5232 24821 24820 0 -1 0 18088 0 1 0 68020 74 0 0 25 0 11 0 838704878 857608192 25851 4294967295 134512640 134569956 3221224368 3221214488 1131240749 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209377 25851 13086 16 0 209361 0
vsize: 837508
[startup+700.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5300
Raw data (stat): 5233 (java) R 5232 24821 24820 0 -1 0 18088 0 1 0 69014 75 0 0 25 0 11 0 838704878 857608192 25854 4294967295 134512640 134569956 3221224368 3221214632 1131386302 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209377 25854 13086 16 0 209361 0
vsize: 837508
[startup+710.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5300
Raw data (stat): 5233 (java) R 5232 24821 24820 0 -1 0 18088 0 1 0 70009 75 0 0 25 0 11 0 838704878 857608192 25856 4294967295 134512640 134569956 3221224368 3221214488 1131309689 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209377 25856 13086 16 0 209361 0
vsize: 837508
[startup+720.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5300
Raw data (stat): 5233 (java) R 5232 24821 24820 0 -1 0 18088 0 1 0 71002 75 0 0 25 0 11 0 838704878 857608192 25859 4294967295 134512640 134569956 3221224368 3221214632 1131381697 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209377 25859 13086 16 0 209361 0
vsize: 837508
[startup+730.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5300
Raw data (stat): 5233 (java) R 5232 24821 24820 0 -1 0 18088 0 1 0 71996 75 0 0 25 0 11 0 838704878 857608192 25861 4294967295 134512640 134569956 3221224368 3221214576 1131323028 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209377 25861 13086 16 0 209361 0
vsize: 837508
[startup+740.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5300
Raw data (stat): 5233 (java) R 5232 24821 24820 0 -1 0 18088 0 1 0 72990 75 0 0 25 0 11 0 838704878 857608192 25864 4294967295 134512640 134569956 3221224368 3221214576 1131322769 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209377 25864 13086 16 0 209361 0
vsize: 837508
[startup+750.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5300
Raw data (stat): 5233 (java) R 5232 24821 24820 0 -1 0 18088 0 1 0 73983 76 0 0 25 0 11 0 838704878 857608192 25867 4294967295 134512640 134569956 3221224368 3221214488 1131309755 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209377 25867 13086 16 0 209361 0
vsize: 837508
[startup+760.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5300
Raw data (stat): 5233 (java) R 5232 24821 24820 0 -1 0 18088 0 1 0 74977 77 0 0 25 0 11 0 838704878 857608192 25870 4294967295 134512640 134569956 3221224368 3221214576 1131322908 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209377 25870 13086 16 0 209361 0
vsize: 837508
[startup+770.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5300
Raw data (stat): 5233 (java) R 5232 24821 24820 0 -1 0 18088 0 1 0 75970 77 0 0 25 0 11 0 838704878 857608192 25873 4294967295 134512640 134569956 3221224368 3221214576 1131322852 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209377 25873 13086 16 0 209361 0
vsize: 837508
[startup+780.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5300
Raw data (stat): 5233 (java) R 5232 24821 24820 0 -1 0 18088 0 1 0 76964 77 0 0 25 0 11 0 838704878 857608192 25875 4294967295 134512640 134569956 3221224368 3221214488 1131310113 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209377 25875 13086 16 0 209361 0
vsize: 837508
[startup+790.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5300
Raw data (stat): 5233 (java) R 5232 24821 24820 0 -1 0 18088 0 1 0 77958 77 0 0 25 0 11 0 838704878 857608192 25878 4294967295 134512640 134569956 3221224368 3221214632 1131381657 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209377 25878 13086 16 0 209361 0
vsize: 837508
[startup+800.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5300
Raw data (stat): 5233 (java) R 5232 24821 24820 0 -1 0 18088 0 1 0 78952 78 0 0 25 0 11 0 838704878 857608192 25881 4294967295 134512640 134569956 3221224368 3221214628 1131322636 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209377 25881 13086 16 0 209361 0
vsize: 837508
[startup+810.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5300
Raw data (stat): 5233 (java) R 5232 24821 24820 0 -1 0 18088 0 1 0 79945 78 0 0 25 0 11 0 838704878 857608192 25884 4294967295 134512640 134569956 3221224368 3221214632 1131382801 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209377 25884 13086 16 0 209361 0
vsize: 837508
[startup+820.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5300
Raw data (stat): 5233 (java) R 5232 24821 24820 0 -1 0 18088 0 1 0 80939 79 0 0 25 0 11 0 838704878 857608192 25886 4294967295 134512640 134569956 3221224368 3221214488 1131309740 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209377 25886 13086 16 0 209361 0
vsize: 837508
[startup+830.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5300
Raw data (stat): 5233 (java) R 5232 24821 24820 0 -1 0 18088 0 1 0 81933 79 0 0 25 0 11 0 838704878 857608192 25888 4294967295 134512640 134569956 3221224368 3221214488 1131309740 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209377 25888 13086 16 0 209361 0
vsize: 837508
[startup+840.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5300
Raw data (stat): 5233 (java) R 5232 24821 24820 0 -1 0 18088 0 1 0 82926 79 0 0 25 0 11 0 838704878 857608192 25891 4294967295 134512640 134569956 3221224368 3221214488 1131310471 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209377 25891 13086 16 0 209361 0
vsize: 837508
[startup+850.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5300
Raw data (stat): 5233 (java) R 5232 24821 24820 0 -1 0 18088 0 1 0 83920 79 0 0 25 0 11 0 838704878 857608192 25893 4294967295 134512640 134569956 3221224368 3221214632 1131381707 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209377 25893 13086 16 0 209361 0
vsize: 837508
[startup+860.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5300
Raw data (stat): 5233 (java) R 5232 24821 24820 0 -1 0 18088 0 1 0 84912 80 0 0 25 0 11 0 838704878 857608192 25897 4294967295 134512640 134569956 3221224368 3221214488 1131309668 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209377 25897 13086 16 0 209361 0
vsize: 837508
[startup+870.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5300
Raw data (stat): 5233 (java) R 5232 24821 24820 0 -1 0 18088 0 1 0 85906 80 0 0 25 0 11 0 838704878 857608192 25900 4294967295 134512640 134569956 3221224368 3221214824 1131474851 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209377 25900 13086 16 0 209361 0
vsize: 837508
[startup+880.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5300
Raw data (stat): 5233 (java) R 5232 24821 24820 0 -1 0 18088 0 1 0 86899 80 0 0 25 0 11 0 838704878 857608192 25902 4294967295 134512640 134569956 3221224368 3221214488 1131309811 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209377 25902 13086 16 0 209361 0
vsize: 837508
[startup+890.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5300
Raw data (stat): 5233 (java) R 5232 24821 24820 0 -1 0 18088 0 1 0 87893 80 0 0 25 0 11 0 838704878 857608192 25906 4294967295 134512640 134569956 3221224368 3221214488 1131240749 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209377 25906 13086 16 0 209361 0
vsize: 837508
[startup+900.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5300
Raw data (stat): 5233 (java) R 5232 24821 24820 0 -1 0 18088 0 1 0 88886 81 0 0 25 0 11 0 838704878 857608192 25910 4294967295 134512640 134569956 3221224368 3221214488 1131309915 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209377 25910 13086 16 0 209361 0
vsize: 837508
[startup+910.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5300
Raw data (stat): 5233 (java) R 5232 24821 24820 0 -1 0 18088 0 1 0 89879 81 0 0 25 0 11 0 838704878 857608192 25912 4294967295 134512640 134569956 3221224368 3221214488 1131310471 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209377 25912 13086 16 0 209361 0
vsize: 837508
[startup+920.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5300
Raw data (stat): 5233 (java) R 5232 24821 24820 0 -1 0 18088 0 1 0 90872 81 0 0 25 0 11 0 838704878 857608192 25915 4294967295 134512640 134569956 3221224368 3221214576 1131322784 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209377 25915 13086 16 0 209361 0
vsize: 837508
[startup+930.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5300
Raw data (stat): 5233 (java) R 5232 24821 24820 0 -1 0 18088 0 1 0 91864 82 0 0 25 0 11 0 838704878 857608192 25917 4294967295 134512640 134569956 3221224368 3221214488 1131309844 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209377 25917 13086 16 0 209361 0
vsize: 837508
[startup+940.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5300
Raw data (stat): 5233 (java) R 5232 24821 24820 0 -1 0 18088 0 1 0 92856 82 0 0 25 0 11 0 838704878 857608192 25919 4294967295 134512640 134569956 3221224368 3221214632 1131386492 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209377 25919 13086 16 0 209361 0
vsize: 837508
[startup+950.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5300
Raw data (stat): 5233 (java) R 5232 24821 24820 0 -1 0 18088 0 1 0 93849 82 0 0 25 0 11 0 838704878 857608192 25929 4294967295 134512640 134569956 3221224368 3221214632 1131381427 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209377 25929 13086 16 0 209361 0
vsize: 837508
[startup+960.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5300
Raw data (stat): 5233 (java) R 5232 24821 24820 0 -1 0 18088 0 1 0 94842 82 0 0 25 0 11 0 838704878 857608192 25937 4294967295 134512640 134569956 3221224368 3221214488 1131309689 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209377 25937 13086 16 0 209361 0
vsize: 837508
[startup+970.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5300
Raw data (stat): 5233 (java) R 5232 24821 24820 0 -1 0 18088 0 1 0 95836 82 0 0 25 0 11 0 838704878 857608192 25941 4294967295 134512640 134569956 3221224368 3221214488 1131309907 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209377 25941 13086 16 0 209361 0
vsize: 837508
[startup+980.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5300
Raw data (stat): 5233 (java) R 5232 24821 24820 0 -1 0 18088 0 1 0 96829 82 0 0 25 0 11 0 838704878 857608192 25943 4294967295 134512640 134569956 3221224368 3221214488 1131241204 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209377 25943 13086 16 0 209361 0
vsize: 837508
[startup+990.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5300
Raw data (stat): 5233 (java) R 5232 24821 24820 0 -1 0 18088 0 1 0 97822 82 0 0 25 0 11 0 838704878 857608192 25946 4294967295 134512640 134569956 3221224368 3221214576 1131323004 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209377 25946 13086 16 0 209361 0
vsize: 837508
[startup+1000.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5300
Raw data (stat): 5233 (java) R 5232 24821 24820 0 -1 0 18088 0 1 0 98814 82 0 0 25 0 11 0 838704878 857608192 25949 4294967295 134512640 134569956 3221224368 3221214576 1131323086 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209377 25949 13086 16 0 209361 0
vsize: 837508
[startup+1010.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5300
Raw data (stat): 5233 (java) R 5232 24821 24820 0 -1 0 18088 0 1 0 99805 82 0 0 25 0 11 0 838704878 857608192 25962 4294967295 134512640 134569956 3221224368 3221214488 1131310962 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209377 25962 13086 16 0 209361 0
vsize: 837508
[startup+1020.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5300
Raw data (stat): 5233 (java) R 5232 24821 24820 0 -1 0 18088 0 1 0 100798 82 0 0 25 0 11 0 838704878 857608192 25976 4294967295 134512640 134569956 3221224368 3221214488 1131309806 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209377 25976 13086 16 0 209361 0
vsize: 837508
[startup+1030.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5300
Raw data (stat): 5233 (java) R 5232 24821 24820 0 -1 0 18088 0 1 0 101792 82 0 0 25 0 11 0 838704878 857608192 25978 4294967295 134512640 134569956 3221224368 3221214632 1131381657 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209377 25978 13086 16 0 209361 0
vsize: 837508
[startup+1040.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5300
Raw data (stat): 5233 (java) R 5232 24821 24820 0 -1 0 18088 0 1 0 102784 82 0 0 25 0 11 0 838704878 857608192 25981 4294967295 134512640 134569956 3221224368 3221214628 1131322636 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209377 25981 13086 16 0 209361 0
vsize: 837508
[startup+1050.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5300
Raw data (stat): 5233 (java) R 5232 24821 24820 0 -1 0 18088 0 1 0 103778 82 0 0 25 0 11 0 838704878 857608192 25983 4294967295 134512640 134569956 3221224368 3221214488 1131309716 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209377 25983 13086 16 0 209361 0
vsize: 837508
[startup+1060.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5300
Raw data (stat): 5233 (java) R 5232 24821 24820 0 -1 0 18088 0 1 0 104771 82 0 0 25 0 11 0 838704878 857608192 25986 4294967295 134512640 134569956 3221224368 3221214632 1131381637 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209377 25986 13086 16 0 209361 0
vsize: 837508
[startup+1070.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5300
Raw data (stat): 5233 (java) R 5232 24821 24820 0 -1 0 18088 0 1 0 105764 83 0 0 25 0 11 0 838704878 857608192 25988 4294967295 134512640 134569956 3221224368 3221214576 1131322660 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209377 25988 13086 16 0 209361 0
vsize: 837508
[startup+1080.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5300
Raw data (stat): 5233 (java) R 5232 24821 24820 0 -1 0 18088 0 1 0 106757 83 0 0 25 0 11 0 838704878 857608192 25990 4294967295 134512640 134569956 3221224368 3221214632 1131386362 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209377 25990 13086 16 0 209361 0
vsize: 837508
[startup+1090.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5300
Raw data (stat): 5233 (java) R 5232 24821 24820 0 -1 0 18088 0 1 0 107750 83 0 0 25 0 11 0 838704878 857608192 25993 4294967295 134512640 134569956 3221224368 3221214488 1131309689 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209377 25993 13086 16 0 209361 0
vsize: 837508
[startup+1100.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5300
Raw data (stat): 5233 (java) R 5232 24821 24820 0 -1 0 18088 0 1 0 108743 83 0 0 25 0 11 0 838704878 857608192 25995 4294967295 134512640 134569956 3221224368 3221214576 1131322930 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209377 25995 13086 16 0 209361 0
vsize: 837508
[startup+1110.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5300
Raw data (stat): 5233 (java) R 5232 24821 24820 0 -1 0 18088 0 1 0 109736 83 0 0 25 0 11 0 838704878 857608192 25998 4294967295 134512640 134569956 3221224368 3221214488 1131310000 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209377 25998 13086 16 0 209361 0
vsize: 837508
[startup+1120.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5300
Raw data (stat): 5233 (java) R 5232 24821 24820 0 -1 0 18088 0 1 0 110729 83 0 0 25 0 11 0 838704878 857608192 26000 4294967295 134512640 134569956 3221224368 3221214632 1131382891 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209377 26000 13086 16 0 209361 0
vsize: 837508
[startup+1130.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5300
Raw data (stat): 5233 (java) R 5232 24821 24820 0 -1 0 18088 0 1 0 111721 84 0 0 25 0 11 0 838704878 857608192 26002 4294967295 134512640 134569956 3221224368 3221214632 1131382882 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209377 26002 13086 16 0 209361 0
vsize: 837508
[startup+1140.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5300
Raw data (stat): 5233 (java) R 5232 24821 24820 0 -1 0 18088 0 1 0 112715 84 0 0 25 0 11 0 838704878 857608192 26005 4294967295 134512640 134569956 3221224368 3221214632 1131382471 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209377 26005 13086 16 0 209361 0
vsize: 837508
[startup+1150.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5300
Raw data (stat): 5233 (java) R 5232 24821 24820 0 -1 0 18088 0 1 0 113707 84 0 0 25 0 11 0 838704878 857608192 26007 4294967295 134512640 134569956 3221224368 3221214488 1131309740 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209377 26007 13086 16 0 209361 0
vsize: 837508
[startup+1160.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5300
Raw data (stat): 5233 (java) R 5232 24821 24820 0 -1 0 18088 0 1 0 114700 84 0 0 25 0 11 0 838704878 857608192 26010 4294967295 134512640 134569956 3221224368 3221214488 1131309644 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209377 26010 13086 16 0 209361 0
vsize: 837508
[startup+1170.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5300
Raw data (stat): 5233 (java) R 5232 24821 24820 0 -1 0 18088 0 1 0 115693 84 0 0 25 0 11 0 838704878 857608192 26012 4294967295 134512640 134569956 3221224368 3221214488 1131309647 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209377 26012 13086 16 0 209361 0
vsize: 837508
[startup+1180.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5300
Raw data (stat): 5233 (java) R 5232 24821 24820 0 -1 0 18088 0 1 0 116686 84 0 0 25 0 11 0 838704878 857608192 26015 4294967295 134512640 134569956 3221224368 3221214632 1131386370 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209377 26015 13086 16 0 209361 0
vsize: 837508
[startup+1190.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5300
Raw data (stat): 5233 (java) R 5232 24821 24820 0 -1 0 18088 0 1 0 117678 84 0 0 25 0 11 0 838704878 857608192 26017 4294967295 134512640 134569956 3221224368 3221214488 1131309740 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209377 26017 13086 16 0 209361 0
vsize: 837508
[startup+1200.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5300
Raw data (stat): 5233 (java) R 5232 24821 24820 0 -1 0 18088 0 1 0 118671 84 0 0 25 0 11 0 838704878 857608192 26019 4294967295 134512640 134569956 3221224368 3221214576 1131322690 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209377 26019 13086 16 0 209361 0
vsize: 837508
[startup+1210.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5300
Raw data (stat): 5233 (java) R 5232 24821 24820 0 -1 0 18088 0 1 0 119664 84 0 0 25 0 11 0 838704878 857608192 26022 4294967295 134512640 134569956 3221224368 3221214632 1131381617 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209377 26022 13086 16 0 209361 0
vsize: 837508
[startup+1220.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5300
Raw data (stat): 5233 (java) R 5232 24821 24820 0 -1 0 18088 0 1 0 120656 84 0 0 25 0 11 0 838704878 857608192 26024 4294967295 134512640 134569956 3221224368 3221214576 1131322852 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209377 26024 13086 16 0 209361 0
vsize: 837508
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1220.11 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 5302
Raw data (stat): 5233 (java) Z 5232 24821 24820 0 -1 1036 18088 6788 1 0 120657 84 1000 24 25 0 1 0 838704878 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): 1220.11
CPU time (s): 1217.67
CPU user time (s): 1216.58
CPU system time (s): 1.09183
CPU usage (%): 99.7998
Max. virtual memory (Kb): 839936
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####