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/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-n3705.opb
MD5SUM	0c133df60e56cfadff3d5b0562856855
Bench Category	optimization, medium integers (OPTMEDINT)
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	105000
Biggest coefficient in the objective function	4194304
Number of bits for the biggest coefficient in the objective function	23
Sum of the numbers in the objective function	39009164451
Number of bits of the sum of numbers in the objective function	36
Biggest number in a constraint	4194304
Number of bits of the biggest number in a constraint	23
Biggest sum of numbers in a constraint	39009164451
Number of bits of the biggest sum of numbers	36
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.97685
Number of variables	105000
Total number of constraints	5150
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	5150
Minimum length of a constraint	21
Maximum length of a constraint	2000
Trace number 30075

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc26 THE 2005-05-25 14:30:52 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=21479 boxname=wulflinc26 idbench=1467 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  0c133df60e56cfadff3d5b0562856855  /oldhome/oroussel/tmp/wulflinc26/normalized-mps-v2-13-7-n3705.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc26/normalized-mps-v2-13-7-n3705.opb
IDLAUNCH: 21479
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.061
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.061
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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        334288 kB
Buffers:         33316 kB
Cached:         643240 kB
SwapCached:        656 kB
Active:         127988 kB
Inactive:       551176 kB
HighTotal:      131008 kB
HighFree:          280 kB
LowTotal:       903652 kB
LowFree:        334008 kB
SwapTotal:     2097892 kB
SwapFree:      2096876 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6004 kB
Slab:            15604 kB
Committed_AS:    63732 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 14:52:45 (client local time) WITH STATUS 143 IN 1310.01 SECONDS
stats: 21479 7 1310.01 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/wulflinc26/normalized-mps-v2-13-7-n3705.opb
c reading problem ... c starts	: 0
c conflicts	: 0
c decisions	: 0
c propagations	: 0
c inspects	: 0
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 0
s UNKNOWN
c Total CPU time (ms) : 1309.203
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.92 0.98 0.99 2/54 5053
Raw data (stat): 5053 (runsolver) R 5052 20687 20686 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 839621802 1052672 99 4294967295 134512640 135381576 3221224400 3221219620 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0009 s]
Raw data (loadavg): 0.93 0.98 0.99 2/63 5062
Raw data (stat): 5053 (java) S 5052 20687 20686 0 -1 0 18006 0 1 0 879 36 0 0 25 0 10 0 839621802 853577728 19351 4294967295 134512640 134569956 3221224368 3221213248 1073952481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208393 19351 13086 16 0 208377 0
vsize: 833572
[startup+20.0009 s]
Raw data (loadavg): 0.94 0.98 0.99 2/63 5062
Raw data (stat): 5053 (java) S 5052 20687 20686 0 -1 0 18006 0 1 0 1775 37 0 0 25 0 10 0 839621802 853155840 19700 4294967295 134512640 134569956 3221224368 3221213392 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208290 19700 13086 16 0 208274 0
vsize: 833160
[startup+30.0015 s]
Raw data (loadavg): 0.95 0.98 0.99 2/63 5062
Raw data (stat): 5053 (java) R 5052 20687 20686 0 -1 0 18006 0 1 0 2668 37 0 0 25 0 10 0 839621802 853155840 20196 4294967295 134512640 134569956 3221224368 3221214344 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208290 20196 13086 16 0 208274 0
vsize: 833160
[startup+40.0022 s]
Raw data (loadavg): 0.96 0.98 0.99 2/63 5062
Raw data (stat): 5053 (java) S 5052 20687 20686 0 -1 0 18006 0 1 0 3583 38 0 0 25 0 10 0 839621802 853938176 20637 4294967295 134512640 134569956 3221224368 3221213472 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208481 20637 13086 16 0 208465 0
vsize: 833924
[startup+50.0038 s]
Raw data (loadavg): 0.96 0.98 0.99 2/63 5062
Raw data (stat): 5053 (java) R 5052 20687 20686 0 -1 0 18006 0 1 0 4504 38 0 0 25 0 10 0 839621802 853938176 20797 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208481 20797 13086 16 0 208465 0
vsize: 833924
[startup+60.0049 s]
Raw data (loadavg): 0.97 0.98 0.99 2/63 5062
Raw data (stat): 5053 (java) R 5052 20687 20686 0 -1 0 18006 0 1 0 5420 39 0 0 25 0 10 0 839621802 853938176 20928 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208481 20928 13086 16 0 208465 0
vsize: 833924
[startup+70.0066 s]
Raw data (loadavg): 0.97 0.98 0.99 2/63 5062
Raw data (stat): 5053 (java) R 5052 20687 20686 0 -1 0 18006 0 1 0 6352 39 0 0 25 0 10 0 839621802 853700608 21127 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208423 21127 13086 16 0 208407 0
vsize: 833692
[startup+80.0078 s]
Raw data (loadavg): 0.98 0.98 0.99 2/63 5062
Raw data (stat): 5053 (java) R 5052 20687 20686 0 -1 0 18006 0 1 0 7290 39 0 0 25 0 10 0 839621802 853700608 21229 4294967295 134512640 134569956 3221224368 3221214740 1080203551 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208423 21229 13086 16 0 208407 0
vsize: 833692
[startup+90.0075 s]
Raw data (loadavg): 0.98 0.98 0.99 2/63 5062
Raw data (stat): 5053 (java) R 5052 20687 20686 0 -1 0 18006 0 1 0 8232 40 0 0 25 0 10 0 839621802 853700608 21316 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208423 21316 13086 16 0 208407 0
vsize: 833692
[startup+100.008 s]
Raw data (loadavg): 0.98 0.98 0.99 2/63 5062
Raw data (stat): 5053 (java) R 5052 20687 20686 0 -1 0 18006 0 1 0 9172 40 0 0 25 0 10 0 839621802 853700608 21402 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208423 21402 13086 16 0 208407 0
vsize: 833692
[startup+110.009 s]
Raw data (loadavg): 0.98 0.98 0.99 2/63 5062
Raw data (stat): 5053 (java) R 5052 20687 20686 0 -1 0 18006 0 1 0 10116 40 0 0 25 0 10 0 839621802 853700608 21478 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208423 21478 13086 16 0 208407 0
vsize: 833692
[startup+120.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5062
Raw data (stat): 5053 (java) R 5052 20687 20686 0 -1 0 18006 0 1 0 11056 41 0 0 25 0 10 0 839621802 853700608 21554 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208423 21554 13086 16 0 208407 0
vsize: 833692
[startup+130.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5062
Raw data (stat): 5053 (java) R 5052 20687 20686 0 -1 0 18006 0 1 0 11997 41 0 0 25 0 10 0 839621802 853700608 21626 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208423 21626 13086 16 0 208407 0
vsize: 833692
[startup+140.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5062
Raw data (stat): 5053 (java) R 5052 20687 20686 0 -1 0 18006 0 1 0 12942 42 0 0 25 0 10 0 839621802 853700608 21691 4294967295 134512640 134569956 3221224368 3221214168 1076461015 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208423 21691 13086 16 0 208407 0
vsize: 833692
[startup+150.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5062
Raw data (stat): 5053 (java) R 5052 20687 20686 0 -1 0 18006 0 1 0 13884 42 0 0 25 0 10 0 839621802 853700608 21757 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208423 21757 13086 16 0 208407 0
vsize: 833692
[startup+160.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5062
Raw data (stat): 5053 (java) R 5052 20687 20686 0 -1 0 18006 0 1 0 14830 42 0 0 25 0 10 0 839621802 853700608 21817 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208423 21817 13086 16 0 208407 0
vsize: 833692
[startup+170.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5062
Raw data (stat): 5053 (java) R 5052 20687 20686 0 -1 0 18006 0 1 0 15769 42 0 0 25 0 10 0 839621802 853700608 21878 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208423 21878 13086 16 0 208407 0
vsize: 833692
[startup+180.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5062
Raw data (stat): 5053 (java) R 5052 20687 20686 0 -1 0 18006 0 1 0 16687 42 0 0 25 0 10 0 839621802 853700608 21934 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208423 21934 13086 16 0 208407 0
vsize: 833692
[startup+190.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5062
Raw data (stat): 5053 (java) R 5052 20687 20686 0 -1 0 18006 0 1 0 17609 42 0 0 25 0 10 0 839621802 853700608 22245 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208423 22245 13086 16 0 208407 0
vsize: 833692
[startup+200.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5062
Raw data (stat): 5053 (java) R 5052 20687 20686 0 -1 0 18006 0 1 0 18551 42 0 0 25 0 10 0 839621802 853700608 22298 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208423 22298 13086 16 0 208407 0
vsize: 833692
[startup+210.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5062
Raw data (stat): 5053 (java) R 5052 20687 20686 0 -1 0 18006 0 1 0 19490 42 0 0 25 0 10 0 839621802 853700608 22352 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208423 22352 13086 16 0 208407 0
vsize: 833692
[startup+220.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5062
Raw data (stat): 5053 (java) R 5052 20687 20686 0 -1 0 18006 0 1 0 20431 43 0 0 25 0 10 0 839621802 853700608 22401 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208423 22401 13086 16 0 208407 0
vsize: 833692
[startup+230.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5062
Raw data (stat): 5053 (java) R 5052 20687 20686 0 -1 0 18006 0 1 0 21370 43 0 0 25 0 10 0 839621802 853700608 22453 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208423 22453 13086 16 0 208407 0
vsize: 833692
[startup+240.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5062
Raw data (stat): 5053 (java) R 5052 20687 20686 0 -1 0 18006 0 1 0 22311 43 0 0 25 0 10 0 839621802 853700608 22500 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208423 22500 13086 16 0 208407 0
vsize: 833692
[startup+250.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5062
Raw data (stat): 5053 (java) R 5052 20687 20686 0 -1 0 18006 0 1 0 23248 43 0 0 24 0 10 0 839621802 853700608 22550 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208423 22550 13086 16 0 208407 0
vsize: 833692
[startup+260.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5062
Raw data (stat): 5053 (java) R 5052 20687 20686 0 -1 0 18006 0 1 0 24189 43 0 0 25 0 10 0 839621802 853700608 22595 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208423 22595 13086 16 0 208407 0
vsize: 833692
[startup+270.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5062
Raw data (stat): 5053 (java) R 5052 20687 20686 0 -1 0 18006 0 1 0 25129 43 0 0 25 0 10 0 839621802 853700608 22639 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208423 22639 13086 16 0 208407 0
vsize: 833692
[startup+280.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5062
Raw data (stat): 5053 (java) R 5052 20687 20686 0 -1 0 18006 0 1 0 26066 43 0 0 25 0 10 0 839621802 853700608 22685 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208423 22685 13086 16 0 208407 0
vsize: 833692
[startup+290.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5062
Raw data (stat): 5053 (java) R 5052 20687 20686 0 -1 0 18006 0 1 0 27005 43 0 0 25 0 10 0 839621802 853700608 22728 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208423 22728 13086 16 0 208407 0
vsize: 833692
[startup+300.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5062
Raw data (stat): 5053 (java) R 5052 20687 20686 0 -1 0 18006 0 1 0 27940 43 0 0 24 0 10 0 839621802 853700608 22772 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208423 22772 13086 16 0 208407 0
vsize: 833692
[startup+310.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5062
Raw data (stat): 5053 (java) R 5052 20687 20686 0 -1 0 18006 0 1 0 28879 44 0 0 25 0 10 0 839621802 853700608 22813 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208423 22813 13086 16 0 208407 0
vsize: 833692
[startup+320.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5062
Raw data (stat): 5053 (java) R 5052 20687 20686 0 -1 0 18006 0 1 0 29817 44 0 0 25 0 10 0 839621802 853700608 22853 4294967295 134512640 134569956 3221224368 3221214216 1080019600 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208423 22853 13086 16 0 208407 0
vsize: 833692
[startup+330.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5062
Raw data (stat): 5053 (java) R 5052 20687 20686 0 -1 0 18006 0 1 0 30751 44 0 0 25 0 10 0 839621802 853700608 22895 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208423 22895 13086 16 0 208407 0
vsize: 833692
[startup+340.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5062
Raw data (stat): 5053 (java) R 5052 20687 20686 0 -1 0 18006 0 1 0 31688 44 0 0 25 0 10 0 839621802 853700608 22934 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208423 22934 13086 16 0 208407 0
vsize: 833692
[startup+350.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5062
Raw data (stat): 5053 (java) R 5052 20687 20686 0 -1 0 18006 0 1 0 32625 44 0 0 25 0 10 0 839621802 853700608 22972 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208423 22972 13086 16 0 208407 0
vsize: 833692
[startup+360.026 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5062
Raw data (stat): 5053 (java) R 5052 20687 20686 0 -1 0 18006 0 1 0 33562 44 0 0 25 0 10 0 839621802 853700608 23010 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208423 23010 13086 16 0 208407 0
vsize: 833692
[startup+370.026 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5062
Raw data (stat): 5053 (java) R 5052 20687 20686 0 -1 0 18006 0 1 0 34494 44 0 0 24 0 10 0 839621802 853700608 23050 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208423 23050 13086 16 0 208407 0
vsize: 833692
[startup+380.027 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5062
Raw data (stat): 5053 (java) R 5052 20687 20686 0 -1 0 18006 0 1 0 35429 44 0 0 25 0 10 0 839621802 853700608 23087 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208423 23087 13086 16 0 208407 0
vsize: 833692
[startup+390.027 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5062
Raw data (stat): 5053 (java) R 5052 20687 20686 0 -1 0 18006 0 1 0 36363 45 0 0 25 0 10 0 839621802 853700608 23123 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208423 23123 13086 16 0 208407 0
vsize: 833692
[startup+400.028 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5062
Raw data (stat): 5053 (java) R 5052 20687 20686 0 -1 0 18006 0 1 0 37299 45 0 0 25 0 10 0 839621802 853700608 23159 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208423 23159 13086 16 0 208407 0
vsize: 833692
[startup+410.028 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5062
Raw data (stat): 5053 (java) R 5052 20687 20686 0 -1 0 18006 0 1 0 38234 45 0 0 25 0 10 0 839621802 853700608 23194 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208423 23194 13086 16 0 208407 0
vsize: 833692
[startup+420.032 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5062
Raw data (stat): 5053 (java) S 5052 20687 20686 0 -1 0 18006 0 1 0 39165 45 0 0 25 0 10 0 839621802 853700608 23229 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208423 23229 13086 16 0 208407 0
vsize: 833692
[startup+430.032 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5062
Raw data (stat): 5053 (java) R 5052 20687 20686 0 -1 0 18006 0 1 0 40097 46 0 0 24 0 10 0 839621802 853700608 23265 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208423 23265 13086 16 0 208407 0
vsize: 833692
[startup+440.033 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5062
Raw data (stat): 5053 (java) R 5052 20687 20686 0 -1 0 18006 0 1 0 41029 46 0 0 25 0 10 0 839621802 853700608 23299 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208423 23299 13086 16 0 208407 0
vsize: 833692
[startup+450.033 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5062
Raw data (stat): 5053 (java) R 5052 20687 20686 0 -1 0 18006 0 1 0 41962 46 0 0 25 0 10 0 839621802 853700608 23332 4294967295 134512640 134569956 3221224368 3221214712 1131044787 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208423 23332 13086 16 0 208407 0
vsize: 833692
[startup+460.034 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5062
Raw data (stat): 5053 (java) R 5052 20687 20686 0 -1 0 18006 0 1 0 42894 46 0 0 25 0 10 0 839621802 853700608 23365 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208423 23365 13086 16 0 208407 0
vsize: 833692
[startup+470.034 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5062
Raw data (stat): 5053 (java) R 5052 20687 20686 0 -1 0 18006 0 1 0 43826 46 0 0 25 0 10 0 839621802 853700608 23398 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208423 23398 13086 16 0 208407 0
vsize: 833692
[startup+480.034 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5062
Raw data (stat): 5053 (java) R 5052 20687 20686 0 -1 0 18006 0 1 0 44758 47 0 0 25 0 10 0 839621802 853700608 23430 4294967295 134512640 134569956 3221224368 3221214712 1131045363 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208423 23430 13086 16 0 208407 0
vsize: 833692
[startup+490.035 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5062
Raw data (stat): 5053 (java) R 5052 20687 20686 0 -1 0 18006 0 1 0 45689 47 0 0 25 0 10 0 839621802 853700608 23462 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208423 23462 13086 16 0 208407 0
vsize: 833692
[startup+500.036 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5062
Raw data (stat): 5053 (java) R 5052 20687 20686 0 -1 0 18006 0 1 0 46620 47 0 0 25 0 10 0 839621802 853700608 23494 4294967295 134512640 134569956 3221224368 3221214728 1130883211 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208423 23494 13086 16 0 208407 0
vsize: 833692
[startup+510.039 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5062
Raw data (stat): 5053 (java) S 5052 20687 20686 0 -1 0 18006 0 1 0 47548 47 0 0 25 0 10 0 839621802 853700608 23526 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208423 23526 13086 16 0 208407 0
vsize: 833692
[startup+520.041 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5062
Raw data (stat): 5053 (java) R 5052 20687 20686 0 -1 0 18006 0 1 0 48477 47 0 0 24 0 10 0 839621802 853700608 23559 4294967295 134512640 134569956 3221224368 3221214740 1080203551 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208423 23559 13086 16 0 208407 0
vsize: 833692
[startup+530.042 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5062
Raw data (stat): 5053 (java) R 5052 20687 20686 0 -1 0 18006 0 1 0 49407 47 0 0 24 0 10 0 839621802 853700608 23590 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208423 23590 13086 16 0 208407 0
vsize: 833692
[startup+540.043 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5062
Raw data (stat): 5053 (java) R 5052 20687 20686 0 -1 0 18006 0 1 0 50336 47 0 0 24 0 10 0 839621802 853700608 23620 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208423 23620 13086 16 0 208407 0
vsize: 833692
[startup+550.043 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5062
Raw data (stat): 5053 (java) R 5052 20687 20686 0 -1 0 18006 0 1 0 51266 47 0 0 25 0 10 0 839621802 853700608 23650 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208423 23650 13086 16 0 208407 0
vsize: 833692
[startup+560.044 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5062
Raw data (stat): 5053 (java) R 5052 20687 20686 0 -1 0 18006 0 1 0 52194 47 0 0 25 0 10 0 839621802 853700608 23680 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208423 23680 13086 16 0 208407 0
vsize: 833692
[startup+570.044 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5062
Raw data (stat): 5053 (java) R 5052 20687 20686 0 -1 0 18006 0 1 0 53122 48 0 0 25 0 10 0 839621802 853700608 23710 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208423 23710 13086 16 0 208407 0
vsize: 833692
[startup+580.044 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5062
Raw data (stat): 5053 (java) R 5052 20687 20686 0 -1 0 18006 0 1 0 54050 48 0 0 25 0 10 0 839621802 853700608 23739 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208423 23739 13086 16 0 208407 0
vsize: 833692
[startup+590.045 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5062
Raw data (stat): 5053 (java) R 5052 20687 20686 0 -1 0 18006 0 1 0 54977 48 0 0 25 0 10 0 839621802 853700608 23768 4294967295 134512640 134569956 3221224368 3221214748 1080204166 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208423 23768 13086 16 0 208407 0
vsize: 833692
[startup+600.046 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5062
Raw data (stat): 5053 (java) R 5052 20687 20686 0 -1 0 18006 0 1 0 55904 48 0 0 25 0 10 0 839621802 853700608 23797 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208423 23797 13086 16 0 208407 0
vsize: 833692
[startup+610.046 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5062
Raw data (stat): 5053 (java) R 5052 20687 20686 0 -1 0 18006 0 1 0 56830 48 0 0 25 0 10 0 839621802 853700608 23825 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208423 23825 13086 16 0 208407 0
vsize: 833692
[startup+620.046 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5062
Raw data (stat): 5053 (java) R 5052 20687 20686 0 -1 0 18006 0 1 0 57757 48 0 0 25 0 10 0 839621802 853700608 23854 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208423 23854 13086 16 0 208407 0
vsize: 833692
[startup+630.047 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5062
Raw data (stat): 5053 (java) R 5052 20687 20686 0 -1 0 18006 0 1 0 58683 48 0 0 25 0 10 0 839621802 853700608 23882 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208423 23882 13086 16 0 208407 0
vsize: 833692
[startup+640.046 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5062
Raw data (stat): 5053 (java) R 5052 20687 20686 0 -1 0 18006 0 1 0 59608 49 0 0 25 0 10 0 839621802 853700608 23910 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208423 23910 13086 16 0 208407 0
vsize: 833692
[startup+650.047 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5062
Raw data (stat): 5053 (java) R 5052 20687 20686 0 -1 0 18006 0 1 0 60534 49 0 0 25 0 10 0 839621802 853700608 23937 4294967295 134512640 134569956 3221224368 3221214120 1076874552 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208423 23937 13086 16 0 208407 0
vsize: 833692
[startup+660.048 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5062
Raw data (stat): 5053 (java) R 5052 20687 20686 0 -1 0 18006 0 1 0 61460 49 0 0 25 0 10 0 839621802 853700608 23965 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208423 23965 13086 16 0 208407 0
vsize: 833692
[startup+670.048 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5062
Raw data (stat): 5053 (java) R 5052 20687 20686 0 -1 0 18006 0 1 0 62375 49 0 0 25 0 10 0 839621802 853700608 24901 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208423 24901 13086 16 0 208407 0
vsize: 833692
[startup+680.049 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5062
Raw data (stat): 5053 (java) R 5052 20687 20686 0 -1 0 18006 0 1 0 63305 49 0 0 25 0 10 0 839621802 853700608 24901 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208423 24901 13086 16 0 208407 0
vsize: 833692
[startup+690.049 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5062
Raw data (stat): 5053 (java) R 5052 20687 20686 0 -1 0 18006 0 1 0 64223 49 0 0 25 0 10 0 839621802 853700608 24904 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208423 24904 13086 16 0 208407 0
vsize: 833692
[startup+700.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5062
Raw data (stat): 5053 (java) R 5052 20687 20686 0 -1 0 18006 0 1 0 65138 49 0 0 25 0 10 0 839621802 853700608 24932 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208423 24932 13086 16 0 208407 0
vsize: 833692
[startup+710.051 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5062
Raw data (stat): 5053 (java) R 5052 20687 20686 0 -1 0 18006 0 1 0 66053 49 0 0 25 0 10 0 839621802 853700608 24958 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208423 24958 13086 16 0 208407 0
vsize: 833692
[startup+720.054 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5062
Raw data (stat): 5053 (java) S 5052 20687 20686 0 -1 0 18006 0 1 0 66969 49 0 0 25 0 10 0 839621802 853700608 24983 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208423 24983 13086 16 0 208407 0
vsize: 833692
[startup+730.058 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5062
Raw data (stat): 5053 (java) R 5052 20687 20686 0 -1 0 18006 0 1 0 67885 49 0 0 25 0 10 0 839621802 853700608 25009 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208423 25009 13086 16 0 208407 0
vsize: 833692
[startup+740.058 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5062
Raw data (stat): 5053 (java) R 5052 20687 20686 0 -1 0 18006 0 1 0 68798 49 0 0 25 0 10 0 839621802 853700608 25035 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208423 25035 13086 16 0 208407 0
vsize: 833692
[startup+750.059 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5062
Raw data (stat): 5053 (java) R 5052 20687 20686 0 -1 0 18006 0 1 0 69711 49 0 0 25 0 10 0 839621802 853700608 25061 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208423 25061 13086 16 0 208407 0
vsize: 833692
[startup+760.063 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5062
Raw data (stat): 5053 (java) S 5052 20687 20686 0 -1 0 18006 0 1 0 70628 49 0 0 25 0 10 0 839621802 853700608 25085 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208423 25085 13086 16 0 208407 0
vsize: 833692
[startup+770.063 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5062
Raw data (stat): 5053 (java) R 5052 20687 20686 0 -1 0 18006 0 1 0 71543 49 0 0 25 0 10 0 839621802 853700608 25110 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208423 25110 13086 16 0 208407 0
vsize: 833692
[startup+780.064 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5062
Raw data (stat): 5053 (java) R 5052 20687 20686 0 -1 0 18006 0 1 0 72456 49 0 0 25 0 10 0 839621802 853700608 25135 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208423 25135 13086 16 0 208407 0
vsize: 833692
[startup+790.065 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5062
Raw data (stat): 5053 (java) R 5052 20687 20686 0 -1 0 18006 0 1 0 73366 50 0 0 24 0 10 0 839621802 853700608 25160 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208423 25160 13086 16 0 208407 0
vsize: 833692
[startup+800.066 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5062
Raw data (stat): 5053 (java) R 5052 20687 20686 0 -1 0 18006 0 1 0 74284 50 0 0 25 0 10 0 839621802 853700608 25183 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208423 25183 13086 16 0 208407 0
vsize: 833692
[startup+810.067 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5062
Raw data (stat): 5053 (java) R 5052 20687 20686 0 -1 0 18006 0 1 0 75195 50 0 0 25 0 10 0 839621802 853700608 25208 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208423 25208 13086 16 0 208407 0
vsize: 833692
[startup+820.068 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5062
Raw data (stat): 5053 (java) R 5052 20687 20686 0 -1 0 18006 0 1 0 76107 50 0 0 25 0 10 0 839621802 853700608 25232 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208423 25232 13086 16 0 208407 0
vsize: 833692
[startup+830.068 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5062
Raw data (stat): 5053 (java) R 5052 20687 20686 0 -1 0 18006 0 1 0 77023 50 0 0 25 0 10 0 839621802 853700608 25255 4294967295 134512640 134569956 3221224368 3221214748 1080204166 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208423 25255 13086 16 0 208407 0
vsize: 833692
[startup+840.069 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5062
Raw data (stat): 5053 (java) R 5052 20687 20686 0 -1 0 18006 0 1 0 77934 50 0 0 25 0 10 0 839621802 853700608 25279 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208423 25279 13086 16 0 208407 0
vsize: 833692
[startup+850.071 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5062
Raw data (stat): 5053 (java) R 5052 20687 20686 0 -1 0 18006 0 1 0 78844 50 0 0 25 0 10 0 839621802 853700608 25303 4294967295 134512640 134569956 3221224368 3221214216 1080019741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208423 25303 13086 16 0 208407 0
vsize: 833692
[startup+860.071 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5062
Raw data (stat): 5053 (java) R 5052 20687 20686 0 -1 0 18006 0 1 0 79759 50 0 0 25 0 10 0 839621802 853700608 25326 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208423 25326 13086 16 0 208407 0
vsize: 833692
[startup+870.072 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5062
Raw data (stat): 5053 (java) R 5052 20687 20686 0 -1 0 18006 0 1 0 80669 50 0 0 25 0 10 0 839621802 853700608 25350 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208423 25350 13086 16 0 208407 0
vsize: 833692
[startup+880.073 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5062
Raw data (stat): 5053 (java) R 5052 20687 20686 0 -1 0 18006 0 1 0 81577 50 0 0 24 0 10 0 839621802 853700608 25373 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208423 25373 13086 16 0 208407 0
vsize: 833692
[startup+890.073 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5062
Raw data (stat): 5053 (java) R 5052 20687 20686 0 -1 0 18006 0 1 0 82491 50 0 0 25 0 10 0 839621802 853700608 25395 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208423 25395 13086 16 0 208407 0
vsize: 833692
[startup+900.074 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5062
Raw data (stat): 5053 (java) R 5052 20687 20686 0 -1 0 18006 0 1 0 83400 51 0 0 25 0 10 0 839621802 853700608 25419 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208423 25419 13086 16 0 208407 0
vsize: 833692
[startup+910.078 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5062
Raw data (stat): 5053 (java) S 5052 20687 20686 0 -1 0 18006 0 1 0 84312 51 0 0 25 0 10 0 839621802 853700608 25442 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208423 25442 13086 16 0 208407 0
vsize: 833692
[startup+920.079 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5062
Raw data (stat): 5053 (java) R 5052 20687 20686 0 -1 0 18006 0 1 0 85222 51 0 0 25 0 10 0 839621802 853700608 25465 4294967295 134512640 134569956 3221224368 3221214748 1080204160 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208423 25465 13086 16 0 208407 0
vsize: 833692
[startup+930.079 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5062
Raw data (stat): 5053 (java) R 5052 20687 20686 0 -1 0 18006 0 1 0 86129 51 0 0 25 0 10 0 839621802 853700608 25494 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208423 25494 13086 16 0 208407 0
vsize: 833692
[startup+940.082 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5062
Raw data (stat): 5053 (java) S 5052 20687 20686 0 -1 0 18006 0 1 0 87040 51 0 0 25 0 10 0 839621802 853700608 25519 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208423 25519 13086 16 0 208407 0
vsize: 833692
[startup+950.084 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5062
Raw data (stat): 5053 (java) R 5052 20687 20686 0 -1 0 18006 0 1 0 87949 51 0 0 25 0 10 0 839621802 853700608 25545 4294967295 134512640 134569956 3221224368 3221214216 1080019741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208423 25545 13086 16 0 208407 0
vsize: 833692
[startup+960.085 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5062
Raw data (stat): 5053 (java) R 5052 20687 20686 0 -1 0 18006 0 1 0 88856 51 0 0 25 0 10 0 839621802 853700608 25573 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208423 25573 13086 16 0 208407 0
vsize: 833692
[startup+970.087 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5062
Raw data (stat): 5053 (java) S 5052 20687 20686 0 -1 0 18006 0 1 0 89766 51 0 0 25 0 10 0 839621802 853700608 25598 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208423 25598 13086 16 0 208407 0
vsize: 833692
[startup+980.09 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5062
Raw data (stat): 5053 (java) R 5052 20687 20686 0 -1 0 18006 0 1 0 90673 51 0 0 25 0 10 0 839621802 853700608 25621 4294967295 134512640 134569956 3221224368 3221214120 1076874552 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208423 25621 13086 16 0 208407 0
vsize: 833692
[startup+990.09 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5062
Raw data (stat): 5053 (java) R 5052 20687 20686 0 -1 0 18006 0 1 0 91577 52 0 0 25 0 10 0 839621802 853700608 25650 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208423 25650 13086 16 0 208407 0
vsize: 833692
[startup+1000.09 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5062
Raw data (stat): 5053 (java) R 5052 20687 20686 0 -1 0 18006 0 1 0 92487 52 0 0 25 0 10 0 839621802 853700608 25670 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208423 25670 13086 16 0 208407 0
vsize: 833692
[startup+1010.09 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5062
Raw data (stat): 5053 (java) R 5052 20687 20686 0 -1 0 18006 0 1 0 93389 53 0 0 25 0 10 0 839621802 853700608 25698 4294967295 134512640 134569956 3221224368 3221214712 1131045363 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208423 25698 13086 16 0 208407 0
vsize: 833692
[startup+1020.09 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5062
Raw data (stat): 5053 (java) R 5052 20687 20686 0 -1 0 18006 0 1 0 94292 54 0 0 24 0 10 0 839621802 853700608 25722 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208423 25722 13086 16 0 208407 0
vsize: 833692
[startup+1030.09 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5062
Raw data (stat): 5053 (java) R 5052 20687 20686 0 -1 0 18006 0 1 0 95202 54 0 0 25 0 10 0 839621802 853700608 25743 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208423 25743 13086 16 0 208407 0
vsize: 833692
[startup+1040.09 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5062
Raw data (stat): 5053 (java) R 5052 20687 20686 0 -1 0 18006 0 1 0 96104 54 0 0 25 0 10 0 839621802 853700608 25775 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208423 25775 13086 16 0 208407 0
vsize: 833692
[startup+1050.1 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5062
Raw data (stat): 5053 (java) S 5052 20687 20686 0 -1 0 18006 0 1 0 97007 55 0 0 25 0 10 0 839621802 853700608 25797 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208423 25797 13086 16 0 208407 0
vsize: 833692
[startup+1060.1 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5062
Raw data (stat): 5053 (java) R 5052 20687 20686 0 -1 0 18006 0 1 0 97914 55 0 0 25 0 10 0 839621802 853700608 25823 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208423 25823 13086 16 0 208407 0
vsize: 833692
[startup+1070.1 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5062
Raw data (stat): 5053 (java) R 5052 20687 20686 0 -1 0 18006 0 1 0 98816 56 0 0 25 0 10 0 839621802 853700608 25848 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208423 25848 13086 16 0 208407 0
vsize: 833692
[startup+1080.1 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5062
Raw data (stat): 5053 (java) R 5052 20687 20686 0 -1 0 18006 0 1 0 99722 56 0 0 25 0 10 0 839621802 853700608 25872 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208423 25872 13086 16 0 208407 0
vsize: 833692
[startup+1090.1 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5062
Raw data (stat): 5053 (java) R 5052 20687 20686 0 -1 0 18006 0 1 0 100621 56 0 0 25 0 10 0 839621802 853700608 25896 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208423 25896 13086 16 0 208407 0
vsize: 833692
[startup+1100.1 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5062
Raw data (stat): 5053 (java) R 5052 20687 20686 0 -1 0 18006 0 1 0 101529 57 0 0 25 0 10 0 839621802 853700608 25916 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208423 25916 13086 16 0 208407 0
vsize: 833692
[startup+1110.1 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5062
Raw data (stat): 5053 (java) R 5052 20687 20686 0 -1 0 18006 0 1 0 102429 57 0 0 25 0 10 0 839621802 853700608 25943 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208423 25943 13086 16 0 208407 0
vsize: 833692
[startup+1120.1 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5062
Raw data (stat): 5053 (java) S 5052 20687 20686 0 -1 0 18006 0 1 0 103331 57 0 0 25 0 10 0 839621802 853700608 25967 4294967295 134512640 134569956 3221224368 3221213440 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208423 25967 13086 16 0 208407 0
vsize: 833692
[startup+1130.11 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5062
Raw data (stat): 5053 (java) R 5052 20687 20686 0 -1 0 18006 0 1 0 104235 58 0 0 25 0 10 0 839621802 853700608 25992 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208423 25992 13086 16 0 208407 0
vsize: 833692
[startup+1140.11 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5062
Raw data (stat): 5053 (java) R 5052 20687 20686 0 -1 0 18006 0 1 0 105135 58 0 0 25 0 10 0 839621802 853700608 26017 4294967295 134512640 134569956 3221224368 3221214216 1080019600 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208423 26017 13086 16 0 208407 0
vsize: 833692
[startup+1150.11 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5062
Raw data (stat): 5053 (java) R 5052 20687 20686 0 -1 0 18006 0 1 0 106040 58 0 0 25 0 10 0 839621802 853700608 26040 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208423 26040 13086 16 0 208407 0
vsize: 833692
[startup+1160.11 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5062
Raw data (stat): 5053 (java) R 5052 20687 20686 0 -1 0 18006 0 1 0 106939 58 0 0 25 0 10 0 839621802 853700608 26060 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208423 26060 13086 16 0 208407 0
vsize: 833692
[startup+1170.11 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5062
Raw data (stat): 5053 (java) R 5052 20687 20686 0 -1 0 18006 0 1 0 107844 59 0 0 25 0 10 0 839621802 853700608 26087 4294967295 134512640 134569956 3221224368 3221214740 1080203551 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208423 26087 13086 16 0 208407 0
vsize: 833692
[startup+1180.11 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5062
Raw data (stat): 5053 (java) R 5052 20687 20686 0 -1 0 18006 0 1 0 108744 59 0 0 25 0 10 0 839621802 853700608 26107 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208423 26107 13086 16 0 208407 0
vsize: 833692
[startup+1190.11 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5062
Raw data (stat): 5053 (java) R 5052 20687 20686 0 -1 0 18006 0 1 0 109648 59 0 0 25 0 10 0 839621802 853700608 26130 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208423 26130 13086 16 0 208407 0
vsize: 833692
[startup+1200.12 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5062
Raw data (stat): 5053 (java) R 5052 20687 20686 0 -1 0 18006 0 1 0 110546 59 0 0 19 0 10 0 839621802 853700608 26156 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208423 26156 13086 16 0 208407 0
vsize: 833692
[startup+1210.13 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5062
Raw data (stat): 5053 (java) R 5052 20687 20686 0 -1 0 18006 0 1 0 111450 60 0 0 22 0 10 0 839621802 853700608 26179 4294967295 134512640 134569956 3221224368 3221214216 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208423 26179 13086 16 0 208407 0
vsize: 833692
[startup+1220.13 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5062
Raw data (stat): 5053 (java) R 5052 20687 20686 0 -1 0 18006 0 1 0 112344 60 0 0 19 0 10 0 839621802 853700608 26202 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208423 26202 13086 16 0 208407 0
vsize: 833692
[startup+1230.15 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5062
Raw data (stat): 5053 (java) R 5052 20687 20686 0 -1 0 18006 0 1 0 113249 61 0 0 23 0 10 0 839621802 853700608 26222 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208423 26222 13086 16 0 208407 0
vsize: 833692
[startup+1240.15 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5062
Raw data (stat): 5053 (java) R 5052 20687 20686 0 -1 0 18006 0 1 0 114148 61 0 0 19 0 10 0 839621802 853700608 26245 4294967295 134512640 134569956 3221224368 3221214216 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208423 26245 13086 16 0 208407 0
vsize: 833692
[startup+1250.16 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5062
Raw data (stat): 5053 (java) R 5052 20687 20686 0 -1 0 18006 0 1 0 115052 61 0 0 22 0 10 0 839621802 853700608 26264 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208423 26264 13086 16 0 208407 0
vsize: 833692
[startup+1260.16 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5062
Raw data (stat): 5053 (java) R 5052 20687 20686 0 -1 0 18006 0 1 0 115949 62 0 0 19 0 10 0 839621802 853700608 26284 4294967295 134512640 134569956 3221224368 3221214200 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208423 26284 13086 16 0 208407 0
vsize: 833692
[startup+1270.16 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5062
Raw data (stat): 5053 (java) R 5052 20687 20686 0 -1 0 18006 0 1 0 116853 62 0 0 22 0 10 0 839621802 853700608 26318 4294967295 134512640 134569956 3221224368 3221214216 1080019747 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208423 26318 13086 16 0 208407 0
vsize: 833692
[startup+1280.16 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5062
Raw data (stat): 5053 (java) R 5052 20687 20686 0 -1 0 18006 0 1 0 117750 62 0 0 18 0 10 0 839621802 853700608 26334 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208423 26334 13086 16 0 208407 0
vsize: 833692
[startup+1290.16 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5062
Raw data (stat): 5053 (java) R 5052 20687 20686 0 -1 0 18006 0 1 0 118653 62 0 0 22 0 10 0 839621802 853700608 26367 4294967295 134512640 134569956 3221224368 3221214200 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208423 26367 13086 16 0 208407 0
vsize: 833692
[startup+1300.16 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5062
Raw data (stat): 5053 (java) R 5052 20687 20686 0 -1 0 18006 0 1 0 119553 63 0 0 18 0 10 0 839621802 853700608 26381 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208423 26381 13086 16 0 208407 0
vsize: 833692
[startup+1310.16 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5062
Raw data (stat): 5053 (java) R 5052 20687 20686 0 -1 0 18006 0 1 0 120458 63 0 0 22 0 10 0 839621802 853700608 26411 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208423 26411 13086 16 0 208407 0
vsize: 833692
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1310.26 s]
Raw data (loadavg): 0.99 0.98 0.99 1/54 5064
Raw data (stat): 5053 (java) Z 5052 20687 20686 0 -1 1036 18006 8102 1 0 120463 63 10429 44 23 0 1 0 839621802 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): 1310.26
CPU time (s): 1310.01
CPU user time (s): 1308.93
CPU system time (s): 1.07883
CPU usage (%): 99.9808
Max. virtual memory (Kb): 833924
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####