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/milp/normalized-mps-v2-13-7-dano3_3.opb
MD5SUM	cb5fbc431eb68f8a2a8d0f81405ac2af
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	20
Biggest coefficient in the objective function	524288
Number of bits for the biggest coefficient in the objective function	20
Sum of the numbers in the objective function	1048575
Number of bits of the sum of numbers in the objective function	20
Biggest number in a constraint	131072000
Number of bits of the biggest number in a constraint	27
Biggest sum of numbers in a constraint	576307709
Number of bits of the biggest sum of numbers	30
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	296.838
Number of variables	270305
Total number of constraints	3778
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	72
Number of constraints which are nor clauses,nor cardinality constraints	3706
Minimum length of a constraint	1
Maximum length of a constraint	10600
Trace number 30106

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc26 THE 2005-05-25 14:53:00 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=21508 boxname=wulflinc26 idbench=1496 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  cb5fbc431eb68f8a2a8d0f81405ac2af  /oldhome/oroussel/tmp/wulflinc26/normalized-mps-v2-13-7-dano3_3.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc26/normalized-mps-v2-13-7-dano3_3.opb
IDLAUNCH: 21508
/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:        293100 kB
Buffers:         33332 kB
Cached:         684160 kB
SwapCached:        656 kB
Active:         146364 kB
Inactive:       573832 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        292848 kB
SwapTotal:     2097892 kB
SwapFree:      2096876 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6004 kB
Slab:            15768 kB
Committed_AS:    63732 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 15:15:03 (client local time) WITH STATUS 143 IN 1325.05 SECONDS
stats: 21508 7 1325.05 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-dano3_3.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) : 1319.149
#### 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.93 0.97 0.99 2/54 5156
Raw data (stat): 5156 (runsolver) R 5155 20687 20686 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 839754605 1052672 99 4294967295 134512640 135381576 3221224400 3221219620 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.001 s]
Raw data (loadavg): 0.94 0.97 0.99 2/63 5165
Raw data (stat): 5156 (java) R 5155 20687 20686 0 -1 0 18021 0 1 0 869 40 0 0 25 0 10 0 839754605 853848064 19451 4294967295 134512640 134569956 3221224368 3221214424 1076461336 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208459 19451 13086 16 0 208443 0
vsize: 833836
[startup+20.0035 s]
Raw data (loadavg): 0.95 0.97 0.99 2/63 5165
Raw data (stat): 5156 (java) S 5155 20687 20686 0 -1 0 18021 0 1 0 1757 40 0 0 25 0 10 0 839754605 856285184 20578 4294967295 134512640 134569956 3221224368 3221213708 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209054 20578 13086 16 0 209038 0
vsize: 836216
[startup+30.0043 s]
Raw data (loadavg): 0.95 0.97 0.99 2/63 5165
Raw data (stat): 5156 (java) R 5155 20687 20686 0 -1 0 18021 0 1 0 2629 40 0 0 25 0 10 0 839754605 853848064 20620 4294967295 134512640 134569956 3221224368 3221214576 1130887239 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208459 20620 13086 16 0 208443 0
vsize: 833836
[startup+40.0051 s]
Raw data (loadavg): 1.04 0.99 0.99 2/63 5165
Raw data (stat): 5156 (java) R 5155 20687 20686 0 -1 0 18021 0 1 0 3530 40 0 0 25 0 10 0 839754605 854085632 21002 4294967295 134512640 134569956 3221224368 3221214224 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208517 21002 13086 16 0 208501 0
vsize: 834068
[startup+50.0067 s]
Raw data (loadavg): 1.03 0.99 0.99 2/63 5165
Raw data (stat): 5156 (java) R 5155 20687 20686 0 -1 0 18021 0 1 0 4431 40 0 0 24 0 10 0 839754605 854085632 21229 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208517 21229 13086 16 0 208501 0
vsize: 834068
[startup+60.0081 s]
Raw data (loadavg): 1.03 0.99 0.99 2/63 5165
Raw data (stat): 5156 (java) R 5155 20687 20686 0 -1 0 18021 0 1 0 5331 41 0 0 25 0 10 0 839754605 853848064 21339 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208459 21339 13086 16 0 208443 0
vsize: 833836
[startup+70.011 s]
Raw data (loadavg): 1.02 0.99 0.99 2/63 5165
Raw data (stat): 5156 (java) S 5155 20687 20686 0 -1 0 18021 0 1 0 6230 41 0 0 25 0 10 0 839754605 853848064 21595 4294967295 134512640 134569956 3221224368 3221213464 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208459 21595 13086 16 0 208443 0
vsize: 833836
[startup+80.0117 s]
Raw data (loadavg): 1.02 0.99 0.99 2/63 5165
Raw data (stat): 5156 (java) R 5155 20687 20686 0 -1 0 18021 0 1 0 7126 41 0 0 25 0 10 0 839754605 853848064 21796 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208459 21796 13086 16 0 208443 0
vsize: 833836
[startup+90.0123 s]
Raw data (loadavg): 1.02 0.99 0.99 2/63 5165
Raw data (stat): 5156 (java) R 5155 20687 20686 0 -1 0 18021 0 1 0 8038 41 0 0 25 0 10 0 839754605 853848064 22112 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208459 22112 13086 16 0 208443 0
vsize: 833836
[startup+100.013 s]
Raw data (loadavg): 1.01 0.99 0.99 2/63 5165
Raw data (stat): 5156 (java) R 5155 20687 20686 0 -1 0 18021 0 1 0 8970 41 0 0 24 0 10 0 839754605 853848064 22213 4294967295 134512640 134569956 3221224368 3221214764 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208459 22213 13086 16 0 208443 0
vsize: 833836
[startup+110.014 s]
Raw data (loadavg): 1.01 0.99 0.99 2/63 5165
Raw data (stat): 5156 (java) R 5155 20687 20686 0 -1 0 18021 0 1 0 9905 41 0 0 25 0 10 0 839754605 853848064 22306 4294967295 134512640 134569956 3221224368 3221214772 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208459 22306 13086 16 0 208443 0
vsize: 833836
[startup+120.014 s]
Raw data (loadavg): 1.01 0.99 0.99 2/63 5165
Raw data (stat): 5156 (java) R 5155 20687 20686 0 -1 0 18021 0 1 0 10836 42 0 0 24 0 10 0 839754605 853848064 22431 4294967295 134512640 134569956 3221224368 3221214224 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208459 22431 13086 16 0 208443 0
vsize: 833836
[startup+130.014 s]
Raw data (loadavg): 1.09 1.00 1.00 2/63 5165
Raw data (stat): 5156 (java) R 5155 20687 20686 0 -1 0 18021 0 1 0 11771 42 0 0 25 0 10 0 839754605 853848064 22517 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208459 22517 13086 16 0 208443 0
vsize: 833836
[startup+140.015 s]
Raw data (loadavg): 1.07 1.00 1.00 2/63 5165
Raw data (stat): 5156 (java) R 5155 20687 20686 0 -1 0 18021 0 1 0 12705 42 0 0 25 0 10 0 839754605 853848064 22600 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208459 22600 13086 16 0 208443 0
vsize: 833836
[startup+150.016 s]
Raw data (loadavg): 1.06 1.00 1.00 2/63 5165
Raw data (stat): 5156 (java) R 5155 20687 20686 0 -1 0 18021 0 1 0 13634 42 0 0 25 0 10 0 839754605 853848064 22715 4294967295 134512640 134569956 3221224368 3221214764 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208459 22715 13086 16 0 208443 0
vsize: 833836
[startup+160.016 s]
Raw data (loadavg): 1.05 1.00 1.00 2/63 5165
Raw data (stat): 5156 (java) R 5155 20687 20686 0 -1 0 18021 0 1 0 14566 42 0 0 25 0 10 0 839754605 853848064 22794 4294967295 134512640 134569956 3221224368 3221214224 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208459 22794 13086 16 0 208443 0
vsize: 833836
[startup+170.016 s]
Raw data (loadavg): 1.04 1.00 1.00 2/63 5165
Raw data (stat): 5156 (java) R 5155 20687 20686 0 -1 0 18021 0 1 0 15494 42 0 0 25 0 10 0 839754605 853848064 22903 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208459 22903 13086 16 0 208443 0
vsize: 833836
[startup+180.017 s]
Raw data (loadavg): 1.04 1.00 1.00 2/63 5165
Raw data (stat): 5156 (java) R 5155 20687 20686 0 -1 0 18021 0 1 0 16406 43 0 0 25 0 10 0 839754605 853848064 23009 4294967295 134512640 134569956 3221224368 3221213536 1079720844 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208459 23009 13086 16 0 208443 0
vsize: 833836
[startup+190.017 s]
Raw data (loadavg): 1.03 1.00 1.00 2/63 5165
Raw data (stat): 5156 (java) R 5155 20687 20686 0 -1 0 18021 0 1 0 17301 43 0 0 25 0 10 0 839754605 853848064 23114 4294967295 134512640 134569956 3221224368 3221214224 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208459 23114 13086 16 0 208443 0
vsize: 833836
[startup+200.018 s]
Raw data (loadavg): 1.02 1.00 1.00 2/63 5165
Raw data (stat): 5156 (java) R 5155 20687 20686 0 -1 0 18021 0 1 0 18202 43 0 0 25 0 10 0 839754605 853848064 23409 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208459 23409 13086 16 0 208443 0
vsize: 833836
[startup+210.019 s]
Raw data (loadavg): 1.02 1.00 1.00 2/63 5165
Raw data (stat): 5156 (java) R 5155 20687 20686 0 -1 0 18021 0 1 0 19126 44 0 0 25 0 10 0 839754605 853848064 23602 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208459 23602 13086 16 0 208443 0
vsize: 833836
[startup+220.018 s]
Raw data (loadavg): 1.02 1.00 1.00 2/63 5165
Raw data (stat): 5156 (java) R 5155 20687 20686 0 -1 0 18021 0 1 0 20057 44 0 0 25 0 10 0 839754605 853848064 23675 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208459 23675 13086 16 0 208443 0
vsize: 833836
[startup+230.019 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 5165
Raw data (stat): 5156 (java) S 5155 20687 20686 0 -1 0 18021 0 1 0 20989 45 0 0 25 0 10 0 839754605 853848064 23715 4294967295 134512640 134569956 3221224368 3221213480 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208459 23715 13086 16 0 208443 0
vsize: 833836
[startup+240.019 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 5165
Raw data (stat): 5156 (java) R 5155 20687 20686 0 -1 0 18021 0 1 0 21922 45 0 0 25 0 10 0 839754605 853848064 23785 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208459 23785 13086 16 0 208443 0
vsize: 833836
[startup+250.02 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 5165
Raw data (stat): 5156 (java) R 5155 20687 20686 0 -1 0 18021 0 1 0 22851 45 0 0 24 0 10 0 839754605 853848064 23857 4294967295 134512640 134569956 3221224368 3221214764 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208459 23857 13086 16 0 208443 0
vsize: 833836
[startup+260.021 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 5165
Raw data (stat): 5156 (java) R 5155 20687 20686 0 -1 0 18021 0 1 0 23784 46 0 0 25 0 10 0 839754605 853848064 23923 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208459 23923 13086 16 0 208443 0
vsize: 833836
[startup+270.021 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 5165
Raw data (stat): 5156 (java) R 5155 20687 20686 0 -1 0 18021 0 1 0 24710 46 0 0 24 0 10 0 839754605 853848064 23992 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208459 23992 13086 16 0 208443 0
vsize: 833836
[startup+280.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5165
Raw data (stat): 5156 (java) R 5155 20687 20686 0 -1 0 18021 0 1 0 25641 47 0 0 25 0 10 0 839754605 853848064 24057 4294967295 134512640 134569956 3221224368 3221214764 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208459 24057 13086 16 0 208443 0
vsize: 833836
[startup+290.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5165
Raw data (stat): 5156 (java) R 5155 20687 20686 0 -1 0 18021 0 1 0 26566 47 0 0 24 0 10 0 839754605 853848064 24093 4294967295 134512640 134569956 3221224368 3221214144 1076874552 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208459 24093 13086 16 0 208443 0
vsize: 833836
[startup+300.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5165
Raw data (stat): 5156 (java) R 5155 20687 20686 0 -1 0 18021 0 1 0 27496 47 0 0 25 0 10 0 839754605 853848064 24157 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208459 24157 13086 16 0 208443 0
vsize: 833836
[startup+310.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5165
Raw data (stat): 5156 (java) R 5155 20687 20686 0 -1 0 18021 0 1 0 28424 48 0 0 25 0 10 0 839754605 853848064 24221 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208459 24221 13086 16 0 208443 0
vsize: 833836
[startup+320.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5165
Raw data (stat): 5156 (java) R 5155 20687 20686 0 -1 0 18021 0 1 0 29346 48 0 0 25 0 10 0 839754605 853848064 24286 4294967295 134512640 134569956 3221224368 3221214224 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208459 24286 13086 16 0 208443 0
vsize: 833836
[startup+330.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5165
Raw data (stat): 5156 (java) R 5155 20687 20686 0 -1 0 18021 0 1 0 30271 48 0 0 25 0 10 0 839754605 853848064 24379 4294967295 134512640 134569956 3221224368 3221214772 1080204166 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208459 24379 13086 16 0 208443 0
vsize: 833836
[startup+340.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5165
Raw data (stat): 5156 (java) R 5155 20687 20686 0 -1 0 18021 0 1 0 31195 48 0 0 25 0 10 0 839754605 853848064 24441 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208459 24441 13086 16 0 208443 0
vsize: 833836
[startup+350.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5165
Raw data (stat): 5156 (java) R 5155 20687 20686 0 -1 0 18021 0 1 0 32111 49 0 0 24 0 10 0 839754605 853848064 24504 4294967295 134512640 134569956 3221224368 3221214764 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208459 24504 13086 16 0 208443 0
vsize: 833836
[startup+360.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5165
Raw data (stat): 5156 (java) R 5155 20687 20686 0 -1 0 18021 0 1 0 33026 50 0 0 25 0 10 0 839754605 854175744 24644 4294967295 134512640 134569956 3221224368 3221214772 1080204166 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208539 24644 13086 16 0 208523 0
vsize: 834156
[startup+370.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5165
Raw data (stat): 5156 (java) R 5155 20687 20686 0 -1 0 18021 0 1 0 33929 50 0 0 24 0 10 0 839754605 853946368 24682 4294967295 134512640 134569956 3221224368 3221214224 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208483 24682 13086 16 0 208467 0
vsize: 833932
[startup+380.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5165
Raw data (stat): 5156 (java) R 5155 20687 20686 0 -1 0 18021 0 1 0 34835 50 0 0 25 0 10 0 839754605 853946368 24803 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208483 24803 13086 16 0 208467 0
vsize: 833932
[startup+390.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5165
Raw data (stat): 5156 (java) R 5155 20687 20686 0 -1 0 18021 0 1 0 35759 51 0 0 25 0 10 0 839754605 853946368 24955 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208483 24955 13086 16 0 208467 0
vsize: 833932
[startup+400.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5165
Raw data (stat): 5156 (java) R 5155 20687 20686 0 -1 0 18021 0 1 0 36688 51 0 0 25 0 10 0 839754605 853946368 24983 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208483 24983 13086 16 0 208467 0
vsize: 833932
[startup+410.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5165
Raw data (stat): 5156 (java) R 5155 20687 20686 0 -1 0 18021 0 1 0 37614 51 0 0 24 0 10 0 839754605 853946368 25046 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208483 25046 13086 16 0 208467 0
vsize: 833932
[startup+420.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5165
Raw data (stat): 5156 (java) R 5155 20687 20686 0 -1 0 18021 0 1 0 38544 51 0 0 25 0 10 0 839754605 853946368 25074 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208483 25074 13086 16 0 208467 0
vsize: 833932
[startup+430.031 s]
Raw data (loadavg): 1.08 1.02 1.01 2/63 5218
Raw data (stat): 5156 (java) R 5155 20687 20686 0 -1 0 18021 0 1 0 39454 66 0 0 25 0 10 0 839754605 853946368 25132 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208483 25132 13086 16 0 208467 0
vsize: 833932
[startup+440.033 s]
Raw data (loadavg): 1.07 1.02 1.00 2/63 5218
Raw data (stat): 5156 (java) R 5155 20687 20686 0 -1 0 18021 0 1 0 40382 66 0 0 25 0 10 0 839754605 853946368 25189 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208483 25189 13086 16 0 208467 0
vsize: 833932
[startup+450.033 s]
Raw data (loadavg): 1.06 1.01 1.00 2/63 5218
Raw data (stat): 5156 (java) R 5155 20687 20686 0 -1 0 18021 0 1 0 41311 67 0 0 25 0 10 0 839754605 853946368 25216 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208483 25216 13086 16 0 208467 0
vsize: 833932
[startup+460.034 s]
Raw data (loadavg): 1.05 1.01 1.00 2/63 5218
Raw data (stat): 5156 (java) R 5155 20687 20686 0 -1 0 18021 0 1 0 42234 67 0 0 25 0 10 0 839754605 853946368 25275 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208483 25275 13086 16 0 208467 0
vsize: 833932
[startup+470.034 s]
Raw data (loadavg): 1.04 1.01 1.00 2/63 5218
Raw data (stat): 5156 (java) R 5155 20687 20686 0 -1 0 18021 0 1 0 43160 68 0 0 25 0 10 0 839754605 853946368 25301 4294967295 134512640 134569956 3221224368 3221214772 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208483 25301 13086 16 0 208467 0
vsize: 833932
[startup+480.036 s]
Raw data (loadavg): 1.03 1.01 1.00 2/63 5218
Raw data (stat): 5156 (java) R 5155 20687 20686 0 -1 0 18021 0 1 0 44086 69 0 0 25 0 10 0 839754605 853946368 25358 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208483 25358 13086 16 0 208467 0
vsize: 833932
[startup+490.036 s]
Raw data (loadavg): 1.03 1.01 1.00 2/63 5218
Raw data (stat): 5156 (java) R 5155 20687 20686 0 -1 0 18021 0 1 0 45007 69 0 0 24 0 10 0 839754605 853946368 25417 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208483 25417 13086 16 0 208467 0
vsize: 833932
[startup+500.037 s]
Raw data (loadavg): 1.02 1.01 1.00 2/63 5218
Raw data (stat): 5156 (java) R 5155 20687 20686 0 -1 0 18021 0 1 0 45932 69 0 0 25 0 10 0 839754605 853946368 25442 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208483 25442 13086 16 0 208467 0
vsize: 833932
[startup+510.039 s]
Raw data (loadavg): 1.02 1.01 1.00 2/63 5220
Raw data (stat): 5156 (java) R 5155 20687 20686 0 -1 0 18021 0 1 0 46856 70 0 0 25 0 10 0 839754605 853946368 25498 4294967295 134512640 134569956 3221224368 3221214764 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208483 25498 13086 16 0 208467 0
vsize: 833932
[startup+520.039 s]
Raw data (loadavg): 1.02 1.01 1.00 2/63 5220
Raw data (stat): 5156 (java) R 5155 20687 20686 0 -1 0 18021 0 1 0 47779 70 0 0 25 0 10 0 839754605 853946368 25553 4294967295 134512640 134569956 3221224368 3221214772 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208483 25553 13086 16 0 208467 0
vsize: 833932
[startup+530.039 s]
Raw data (loadavg): 1.01 1.01 1.00 2/63 5220
Raw data (stat): 5156 (java) R 5155 20687 20686 0 -1 0 18021 0 1 0 48701 71 0 0 25 0 10 0 839754605 853946368 25608 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208483 25608 13086 16 0 208467 0
vsize: 833932
[startup+540.041 s]
Raw data (loadavg): 1.01 1.01 1.00 2/63 5220
Raw data (stat): 5156 (java) R 5155 20687 20686 0 -1 0 18021 0 1 0 49623 72 0 0 25 0 10 0 839754605 853946368 25632 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208483 25632 13086 16 0 208467 0
vsize: 833932
[startup+550.042 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 5220
Raw data (stat): 5156 (java) R 5155 20687 20686 0 -1 0 18021 0 1 0 50539 72 0 0 24 0 10 0 839754605 853946368 25689 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208483 25689 13086 16 0 208467 0
vsize: 833932
[startup+560.042 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 5220
Raw data (stat): 5156 (java) R 5155 20687 20686 0 -1 0 18021 0 1 0 51459 72 0 0 25 0 10 0 839754605 853946368 25743 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208483 25743 13086 16 0 208467 0
vsize: 833932
[startup+570.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5220
Raw data (stat): 5156 (java) R 5155 20687 20686 0 -1 0 18021 0 1 0 52377 72 0 0 25 0 10 0 839754605 853946368 25797 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208483 25797 13086 16 0 208467 0
vsize: 833932
[startup+580.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5220
Raw data (stat): 5156 (java) R 5155 20687 20686 0 -1 0 18021 0 1 0 53294 73 0 0 25 0 10 0 839754605 853946368 25851 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208483 25851 13086 16 0 208467 0
vsize: 833932
[startup+590.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5220
Raw data (stat): 5156 (java) R 5155 20687 20686 0 -1 0 18021 0 1 0 54209 73 0 0 25 0 10 0 839754605 853946368 25905 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208483 25905 13086 16 0 208467 0
vsize: 833932
[startup+600.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5220
Raw data (stat): 5156 (java) R 5155 20687 20686 0 -1 0 18021 0 1 0 55120 74 0 0 25 0 10 0 839754605 853946368 25959 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208483 25959 13086 16 0 208467 0
vsize: 833932
[startup+610.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5220
Raw data (stat): 5156 (java) R 5155 20687 20686 0 -1 0 18021 0 1 0 56028 74 0 0 25 0 10 0 839754605 853946368 26042 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208483 26042 13086 16 0 208467 0
vsize: 833932
[startup+620.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5220
Raw data (stat): 5156 (java) R 5155 20687 20686 0 -1 0 18021 0 1 0 56927 75 0 0 25 0 10 0 839754605 853946368 26125 4294967295 134512640 134569956 3221224368 3221214772 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208483 26125 13086 16 0 208467 0
vsize: 833932
[startup+630.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5220
Raw data (stat): 5156 (java) R 5155 20687 20686 0 -1 0 18021 0 1 0 57841 75 0 0 25 0 10 0 839754605 853946368 26272 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208483 26272 13086 16 0 208467 0
vsize: 833932
[startup+640.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5220
Raw data (stat): 5156 (java) R 5155 20687 20686 0 -1 0 18021 0 1 0 58763 75 0 0 25 0 10 0 839754605 853946368 26295 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208483 26295 13086 16 0 208467 0
vsize: 833932
[startup+650.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5220
Raw data (stat): 5156 (java) R 5155 20687 20686 0 -1 0 18021 0 1 0 59684 76 0 0 25 0 10 0 839754605 853946368 26317 4294967295 134512640 134569956 3221224368 3221214224 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208483 26317 13086 16 0 208467 0
vsize: 833932
[startup+660.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5220
Raw data (stat): 5156 (java) R 5155 20687 20686 0 -1 0 18021 0 1 0 60607 76 0 0 25 0 10 0 839754605 853946368 26372 4294967295 134512640 134569956 3221224368 3221214764 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208483 26372 13086 16 0 208467 0
vsize: 833932
[startup+670.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5220
Raw data (stat): 5156 (java) S 5155 20687 20686 0 -1 0 18021 0 1 0 61526 76 0 0 25 0 10 0 839754605 853946368 26395 4294967295 134512640 134569956 3221224368 3221213480 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208483 26395 13086 16 0 208467 0
vsize: 833932
[startup+680.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5220
Raw data (stat): 5156 (java) R 5155 20687 20686 0 -1 0 18021 0 1 0 62439 76 0 0 24 0 10 0 839754605 853946368 26906 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208483 26906 13086 16 0 208467 0
vsize: 833932
[startup+690.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5220
Raw data (stat): 5156 (java) R 5155 20687 20686 0 -1 0 18021 0 1 0 63355 77 0 0 25 0 10 0 839754605 853946368 26906 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208483 26906 13086 16 0 208467 0
vsize: 833932
[startup+700.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5220
Raw data (stat): 5156 (java) R 5155 20687 20686 0 -1 0 18021 0 1 0 64265 77 0 0 25 0 10 0 839754605 853946368 26956 4294967295 134512640 134569956 3221224368 3221214764 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208483 26956 13086 16 0 208467 0
vsize: 833932
[startup+710.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5220
Raw data (stat): 5156 (java) R 5155 20687 20686 0 -1 0 18021 0 1 0 65175 77 0 0 19 0 10 0 839754605 853946368 26977 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208483 26977 13086 16 0 208467 0
vsize: 833932
[startup+720.064 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5220
Raw data (stat): 5156 (java) R 5155 20687 20686 0 -1 0 18021 0 1 0 66085 77 0 0 20 0 10 0 839754605 853946368 27032 4294967295 134512640 134569956 3221224368 3221214736 1131044770 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208483 27032 13086 16 0 208467 0
vsize: 833932
[startup+730.065 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5220
Raw data (stat): 5156 (java) R 5155 20687 20686 0 -1 0 18021 0 1 0 66993 77 0 0 19 0 10 0 839754605 853946368 27054 4294967295 134512640 134569956 3221224368 3221214772 1080204146 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208483 27054 13086 16 0 208467 0
vsize: 833932
[startup+740.068 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5220
Raw data (stat): 5156 (java) S 5155 20687 20686 0 -1 0 18021 0 1 0 67905 77 0 0 24 0 10 0 839754605 853946368 27106 4294967295 134512640 134569956 3221224368 3221213464 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208483 27107 13086 16 0 208467 0
vsize: 833932
[startup+750.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5220
Raw data (stat): 5156 (java) R 5155 20687 20686 0 -1 0 18021 0 1 0 68815 77 0 0 24 0 10 0 839754605 853946368 27127 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208483 27127 13086 16 0 208467 0
vsize: 833932
[startup+760.071 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5222
Raw data (stat): 5156 (java) R 5155 20687 20686 0 -1 0 18021 0 1 0 69721 77 0 0 23 0 10 0 839754605 853946368 27178 4294967295 134512640 134569956 3221224368 3221214240 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208483 27178 13086 16 0 208467 0
vsize: 833932
[startup+770.071 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5222
Raw data (stat): 5156 (java) R 5155 20687 20686 0 -1 0 18021 0 1 0 70628 77 0 0 23 0 10 0 839754605 853946368 27198 4294967295 134512640 134569956 3221224368 3221214224 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208483 27198 13086 16 0 208467 0
vsize: 833932
[startup+780.072 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5222
Raw data (stat): 5156 (java) R 5155 20687 20686 0 -1 0 18021 0 1 0 71534 77 0 0 22 0 10 0 839754605 853946368 27249 4294967295 134512640 134569956 3221224368 3221214224 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208483 27249 13086 16 0 208467 0
vsize: 833932
[startup+790.073 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5222
Raw data (stat): 5156 (java) R 5155 20687 20686 0 -1 0 18021 0 1 0 72440 78 0 0 20 0 10 0 839754605 853946368 27269 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208483 27269 13086 16 0 208467 0
vsize: 833932
[startup+800.073 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5222
Raw data (stat): 5156 (java) R 5155 20687 20686 0 -1 0 18021 0 1 0 73345 78 0 0 20 0 10 0 839754605 853946368 27319 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208483 27319 13086 16 0 208467 0
vsize: 833932
[startup+810.073 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5222
Raw data (stat): 5156 (java) R 5155 20687 20686 0 -1 0 18021 0 1 0 74251 78 0 0 19 0 10 0 839754605 853946368 27339 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208483 27339 13086 16 0 208467 0
vsize: 833932
[startup+820.074 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5222
Raw data (stat): 5156 (java) R 5155 20687 20686 0 -1 0 18021 0 1 0 75153 78 0 0 19 0 10 0 839754605 853946368 27389 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208483 27389 13086 16 0 208467 0
vsize: 833932
[startup+830.074 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5222
Raw data (stat): 5156 (java) R 5155 20687 20686 0 -1 0 18021 0 1 0 76061 78 0 0 23 0 10 0 839754605 853946368 27407 4294967295 134512640 134569956 3221224368 3221214240 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208483 27407 13086 16 0 208467 0
vsize: 833932
[startup+840.074 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5222
Raw data (stat): 5156 (java) R 5155 20687 20686 0 -1 0 18021 0 1 0 76964 78 0 0 22 0 10 0 839754605 853946368 27457 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208483 27457 13086 16 0 208467 0
vsize: 833932
[startup+850.076 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5222
Raw data (stat): 5156 (java) R 5155 20687 20686 0 -1 0 18021 0 1 0 77866 78 0 0 22 0 10 0 839754605 853946368 27507 4294967295 134512640 134569956 3221224368 3221214736 1131045363 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208483 27507 13086 16 0 208467 0
vsize: 833932
[startup+860.076 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5222
Raw data (stat): 5156 (java) R 5155 20687 20686 0 -1 0 18021 0 1 0 78766 78 0 0 19 0 10 0 839754605 853946368 27556 4294967295 134512640 134569956 3221224368 3221214224 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208483 27556 13086 16 0 208467 0
vsize: 833932
[startup+870.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5222
Raw data (stat): 5156 (java) S 5155 20687 20686 0 -1 0 18021 0 1 0 79667 78 0 0 23 0 10 0 839754605 853946368 27576 4294967295 134512640 134569956 3221224368 3221213480 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208483 27576 13086 16 0 208467 0
vsize: 833932
[startup+880.079 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5222
Raw data (stat): 5156 (java) R 5155 20687 20686 0 -1 0 18021 0 1 0 80571 78 0 0 22 0 10 0 839754605 853946368 27625 4294967295 134512640 134569956 3221224368 3221214764 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208483 27625 13086 16 0 208467 0
vsize: 833932
[startup+890.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5222
Raw data (stat): 5156 (java) R 5155 20687 20686 0 -1 0 18021 0 1 0 81468 78 0 0 20 0 10 0 839754605 853946368 27674 4294967295 134512640 134569956 3221224368 3221214764 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208483 27674 13086 16 0 208467 0
vsize: 833932
[startup+900.082 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5222
Raw data (stat): 5156 (java) R 5155 20687 20686 0 -1 0 18021 0 1 0 82363 78 0 0 19 0 10 0 839754605 853946368 27723 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208483 27723 13086 16 0 208467 0
vsize: 833932
[startup+910.082 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5222
Raw data (stat): 5156 (java) R 5155 20687 20686 0 -1 0 18021 0 1 0 83262 78 0 0 22 0 10 0 839754605 853946368 27771 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208483 27771 13086 16 0 208467 0
vsize: 833932
[startup+920.082 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5222
Raw data (stat): 5156 (java) R 5155 20687 20686 0 -1 0 18021 0 1 0 84145 78 0 0 17 0 10 0 839754605 853946368 27837 4294967295 134512640 134569956 3221224368 3221214224 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208483 27837 13086 16 0 208467 0
vsize: 833932
[startup+930.083 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5222
Raw data (stat): 5156 (java) R 5155 20687 20686 0 -1 0 18021 0 1 0 85035 78 0 0 21 0 10 0 839754605 853946368 27915 4294967295 134512640 134569956 3221224368 3221214240 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208483 27915 13086 16 0 208467 0
vsize: 833932
[startup+940.083 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5222
Raw data (stat): 5156 (java) R 5155 20687 20686 0 -1 0 18021 0 1 0 85930 78 0 0 20 0 10 0 839754605 853946368 28058 4294967295 134512640 134569956 3221224368 3221214224 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208483 28058 13086 16 0 208467 0
vsize: 833932
[startup+950.084 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5222
Raw data (stat): 5156 (java) R 5155 20687 20686 0 -1 0 18021 0 1 0 86835 79 0 0 19 0 10 0 839754605 853946368 28079 4294967295 134512640 134569956 3221224368 3221214224 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208483 28079 13086 16 0 208467 0
vsize: 833932
[startup+960.086 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5222
Raw data (stat): 5156 (java) R 5155 20687 20686 0 -1 0 18021 0 1 0 87744 79 0 0 23 0 10 0 839754605 853946368 28097 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208483 28097 13086 16 0 208467 0
vsize: 833932
[startup+970.086 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5222
Raw data (stat): 5156 (java) R 5155 20687 20686 0 -1 0 18021 0 1 0 88646 79 0 0 23 0 10 0 839754605 853946368 28148 4294967295 134512640 134569956 3221224368 3221214224 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208483 28148 13086 16 0 208467 0
vsize: 833932
[startup+980.086 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5222
Raw data (stat): 5156 (java) R 5155 20687 20686 0 -1 0 18021 0 1 0 89550 79 0 0 21 0 10 0 839754605 853946368 28168 4294967295 134512640 134569956 3221224368 3221214764 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208483 28168 13086 16 0 208467 0
vsize: 833932
[startup+990.088 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5222
Raw data (stat): 5156 (java) R 5155 20687 20686 0 -1 0 18021 0 1 0 90451 79 0 0 20 0 10 0 839754605 853946368 28186 4294967295 134512640 134569956 3221224368 3221214764 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208483 28186 13086 16 0 208467 0
vsize: 833932
[startup+1000.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5222
Raw data (stat): 5156 (java) R 5155 20687 20686 0 -1 0 18021 0 1 0 91351 79 0 0 19 0 10 0 839754605 853946368 28238 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208483 28238 13086 16 0 208467 0
vsize: 833932
[startup+1010.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5222
Raw data (stat): 5156 (java) R 5155 20687 20686 0 -1 0 18021 0 1 0 92259 79 0 0 23 0 10 0 839754605 853946368 28256 4294967295 134512640 134569956 3221224368 3221214772 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208483 28256 13086 16 0 208467 0
vsize: 833932
[startup+1020.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5222
Raw data (stat): 5156 (java) R 5155 20687 20686 0 -1 0 18021 0 1 0 93159 79 0 0 21 0 10 0 839754605 853946368 28274 4294967295 134512640 134569956 3221224368 3221214224 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208483 28274 13086 16 0 208467 0
vsize: 833932
[startup+1030.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5222
Raw data (stat): 5156 (java) R 5155 20687 20686 0 -1 0 18021 0 1 0 94061 80 0 0 20 0 10 0 839754605 853946368 28327 4294967295 134512640 134569956 3221224368 3221214224 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208483 28327 13086 16 0 208467 0
vsize: 833932
[startup+1040.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5222
Raw data (stat): 5156 (java) R 5155 20687 20686 0 -1 0 18021 0 1 0 94960 80 0 0 18 0 10 0 839754605 853946368 28344 4294967295 134512640 134569956 3221224368 3221214764 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208483 28344 13086 16 0 208467 0
vsize: 833932
[startup+1050.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5222
Raw data (stat): 5156 (java) R 5155 20687 20686 0 -1 0 18021 0 1 0 95865 80 0 0 23 0 10 0 839754605 853946368 28394 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208483 28394 13086 16 0 208467 0
vsize: 833932
[startup+1060.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5222
Raw data (stat): 5156 (java) R 5155 20687 20686 0 -1 0 18021 0 1 0 96765 80 0 0 22 0 10 0 839754605 853946368 28414 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208483 28414 13086 16 0 208467 0
vsize: 833932
[startup+1070.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5222
Raw data (stat): 5156 (java) R 5155 20687 20686 0 -1 0 18021 0 1 0 97662 80 0 0 20 0 10 0 839754605 853946368 28431 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208483 28431 13086 16 0 208467 0
vsize: 833932
[startup+1080.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5222
Raw data (stat): 5156 (java) S 5155 20687 20686 0 -1 0 18021 0 1 0 98563 80 0 0 24 0 10 0 839754605 853946368 28483 4294967295 134512640 134569956 3221224368 3221213480 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208483 28483 13086 16 0 208467 0
vsize: 833932
[startup+1090.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5222
Raw data (stat): 5156 (java) R 5155 20687 20686 0 -1 0 18021 0 1 0 99463 80 0 0 21 0 10 0 839754605 853946368 28500 4294967295 134512640 134569956 3221224368 3221214240 1080019747 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208483 28500 13086 16 0 208467 0
vsize: 833932
[startup+1100.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5222
Raw data (stat): 5156 (java) R 5155 20687 20686 0 -1 0 18021 0 1 0 100360 80 0 0 19 0 10 0 839754605 853946368 28550 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208483 28550 13086 16 0 208467 0
vsize: 833932
[startup+1110.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5222
Raw data (stat): 5156 (java) S 5155 20687 20686 0 -1 0 18021 0 1 0 101262 80 0 0 23 0 10 0 839754605 853946368 28569 4294967295 134512640 134569956 3221224368 3221213464 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208483 28569 13086 16 0 208467 0
vsize: 833932
[startup+1120.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5222
Raw data (stat): 5156 (java) R 5155 20687 20686 0 -1 0 18021 0 1 0 102161 80 0 0 21 0 10 0 839754605 853946368 28585 4294967295 134512640 134569956 3221224368 3221214224 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208483 28585 13086 16 0 208467 0
vsize: 833932
[startup+1130.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5222
Raw data (stat): 5156 (java) R 5155 20687 20686 0 -1 0 18021 0 1 0 103058 80 0 0 19 0 10 0 839754605 853946368 28639 4294967295 134512640 134569956 3221224368 3221214764 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208483 28639 13086 16 0 208467 0
vsize: 833932
[startup+1140.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5222
Raw data (stat): 5156 (java) R 5155 20687 20686 0 -1 0 18021 0 1 0 103960 80 0 0 23 0 10 0 839754605 853946368 28655 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208483 28655 13086 16 0 208467 0
vsize: 833932
[startup+1150.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5222
Raw data (stat): 5156 (java) R 5155 20687 20686 0 -1 0 18021 0 1 0 104855 80 0 0 21 0 10 0 839754605 853946368 28707 4294967295 134512640 134569956 3221224368 3221214240 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208483 28707 13086 16 0 208467 0
vsize: 833932
[startup+1160.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5222
Raw data (stat): 5156 (java) R 5155 20687 20686 0 -1 0 18021 0 1 0 105751 80 0 0 18 0 10 0 839754605 853946368 28724 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208483 28724 13086 16 0 208467 0
vsize: 833932
[startup+1170.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5222
Raw data (stat): 5156 (java) R 5155 20687 20686 0 -1 0 18021 0 1 0 106652 81 0 0 22 0 10 0 839754605 853946368 28772 4294967295 134512640 134569956 3221224368 3221214772 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208483 28772 13086 16 0 208467 0
vsize: 833932
[startup+1180.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5222
Raw data (stat): 5156 (java) R 5155 20687 20686 0 -1 0 18021 0 1 0 107547 81 0 0 20 0 10 0 839754605 853946368 28793 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208483 28793 13086 16 0 208467 0
vsize: 833932
[startup+1190.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5222
Raw data (stat): 5156 (java) R 5155 20687 20686 0 -1 0 18021 0 1 0 108444 81 0 0 18 0 10 0 839754605 853946368 28839 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208483 28839 13086 16 0 208467 0
vsize: 833932
[startup+1200.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5222
Raw data (stat): 5156 (java) R 5155 20687 20686 0 -1 0 18021 0 1 0 109345 81 0 0 21 0 10 0 839754605 853946368 28866 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208483 28866 13086 16 0 208467 0
vsize: 833932
[startup+1210.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5222
Raw data (stat): 5156 (java) R 5155 20687 20686 0 -1 0 18021 0 1 0 110241 81 0 0 19 0 10 0 839754605 853946368 28909 4294967295 134512640 134569956 3221224368 3221214224 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208483 28909 13086 16 0 208467 0
vsize: 833932
[startup+1220.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5222
Raw data (stat): 5156 (java) S 5155 20687 20686 0 -1 0 18021 0 1 0 111139 81 0 0 22 0 10 0 839754605 853946368 28924 4294967295 134512640 134569956 3221224368 3221213480 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208483 28924 13086 16 0 208467 0
vsize: 833932
[startup+1230.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5222
Raw data (stat): 5156 (java) R 5155 20687 20686 0 -1 0 18021 0 1 0 112036 81 0 0 21 0 10 0 839754605 853946368 29016 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208483 29016 13086 16 0 208467 0
vsize: 833932
[startup+1240.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5222
Raw data (stat): 5156 (java) R 5155 20687 20686 0 -1 0 18021 0 1 0 112936 81 0 0 20 0 10 0 839754605 853946368 29072 4294967295 134512640 134569956 3221224368 3221214764 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208483 29072 13086 16 0 208467 0
vsize: 833932
[startup+1250.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5222
Raw data (stat): 5156 (java) S 5155 20687 20686 0 -1 0 18021 0 1 0 113839 81 0 0 21 0 10 0 839754605 853946368 29072 4294967295 134512640 134569956 3221224368 3221213480 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208483 29072 13086 16 0 208467 0
vsize: 833932
[startup+1260.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5222
Raw data (stat): 5156 (java) R 5155 20687 20686 0 -1 0 18021 0 1 0 114745 81 0 0 22 0 10 0 839754605 853946368 29139 4294967295 134512640 134569956 3221224368 3221214224 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208483 29139 13086 16 0 208467 0
vsize: 833932
[startup+1270.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5222
Raw data (stat): 5156 (java) R 5155 20687 20686 0 -1 0 18021 0 1 0 115649 82 0 0 21 0 10 0 839754605 853946368 29191 4294967295 134512640 134569956 3221224368 3221214240 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208483 29191 13086 16 0 208467 0
vsize: 833932
[startup+1280.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5222
Raw data (stat): 5156 (java) R 5155 20687 20686 0 -1 0 18021 0 1 0 116548 82 0 0 20 0 10 0 839754605 853946368 29318 4294967295 134512640 134569956 3221224368 3221214240 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208483 29318 13086 16 0 208467 0
vsize: 833932
[startup+1290.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5222
Raw data (stat): 5156 (java) R 5155 20687 20686 0 -1 0 18021 0 1 0 117459 82 0 0 23 0 10 0 839754605 853946368 29362 4294967295 134512640 134569956 3221224368 3221214240 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208483 29362 13086 16 0 208467 0
vsize: 833932
[startup+1300.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5222
Raw data (stat): 5156 (java) R 5155 20687 20686 0 -1 0 18021 0 1 0 118354 82 0 0 19 0 10 0 839754605 853946368 29436 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208483 29436 13086 16 0 208467 0
vsize: 833932
[startup+1310.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5222
Raw data (stat): 5156 (java) R 5155 20687 20686 0 -1 0 18021 0 1 0 119257 82 0 0 19 0 10 0 839754605 853946368 29509 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208483 29509 13086 16 0 208467 0
vsize: 833932
[startup+1320.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5222
Raw data (stat): 5156 (java) R 5155 20687 20686 0 -1 0 18021 0 1 0 120165 82 0 0 23 0 10 0 839754605 853946368 29530 4294967295 134512640 134569956 3221224368 3221214772 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208483 29530 13086 16 0 208467 0
vsize: 833932
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1320.2 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 5224
Raw data (stat): 5156 (java) Z 5155 20687 20686 0 -1 1036 18021 13910 1 0 120167 88 12186 63 24 0 1 0 839754605 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1320.2
CPU time (s): 1325.05
CPU user time (s): 1323.53
CPU system time (s): 1.51577
CPU usage (%): 100.368
Max. virtual memory (Kb): 836216
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####