Some explanations

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

General information on the benchmark

Namenormalized-opb/web/uclid_pb_benchmarks/normalized-cache-ibm-q-unbounded.Ih2arity.ucl.opb
MD5SUM10884ebaf21c192c8c7003372b35d2fc
Bench Categoryno optimization function (SAT)
Has Objective FunctionNO
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 0
Optimality of the best value was proved NO
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 131
Number of bits of the biggest number in a constraint 8
Biggest sum of numbers in a constraint 513
Number of bits of the biggest sum of numbers10
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark12.0522
Number of variables76091
Total number of constraints218262
Number of constraints which are clauses207610
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints10652
Minimum length of a constraint2
Maximum length of a constraint15

Trace number 29304 

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc2 THE 2005-05-25 06:13:33 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=20693 boxname=wulflinc2 idbench=283 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  10884ebaf21c192c8c7003372b35d2fc  /oldhome/oroussel/tmp/wulflinc2/normalized-cache-ibm-q-unbounded.Ih2arity.ucl.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc2/normalized-cache-ibm-q-unbounded.Ih2arity.ucl.opb
IDLAUNCH: 20693
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.191
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        544832 kB
Buffers:         24864 kB
Cached:         444116 kB
SwapCached:        696 kB
Active:          45176 kB
Inactive:       426112 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        544580 kB
SwapTotal:     2097136 kB
SwapFree:      2095796 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5620 kB
Slab:            12844 kB
Committed_AS:    71788 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 06:36:36 (client local time) WITH STATUS 143 IN 1379.36 SECONDS
stats: 20693 7 1379.36 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/wulflinc2/normalized-cache-ibm-q-unbounded.Ih2arity.ucl.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) : 1379.253
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 1.01 1.00 0.94 2/54 10674
Raw data (stat): 10674 (runsolver) R 10673 31399 31398 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 778412754 1052672 99 4294967295 134512640 135381576 3221224384 3221219604 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): 1.00 1.00 0.94 2/63 10683
Raw data (stat): 10674 (java) R 10673 31399 31398 0 -1 0 18031 0 1 0 760 38 0 0 24 0 10 0 778412754 854945792 21183 4294967295 134512640 134569956 3221224352 3221214572 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208727 21183 13086 16 0 208711 0
vsize: 834908
[startup+20.0024 s]
Raw data (loadavg): 1.00 1.00 0.94 2/63 10683
Raw data (stat): 10674 (java) R 10673 31399 31398 0 -1 0 18031 0 1 0 1606 39 0 0 25 0 10 0 778412754 854847488 22169 4294967295 134512640 134569956 3221224352 3221214560 1131328653 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208703 22169 13086 16 0 208687 0
vsize: 834812
[startup+30.0016 s]
Raw data (loadavg): 1.00 1.00 0.94 2/63 10683
Raw data (stat): 10674 (java) R 10673 31399 31398 0 -1 0 18031 0 1 0 2452 39 0 0 25 0 10 0 778412754 854847488 22906 4294967295 134512640 134569956 3221224352 3221214556 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208703 22906 13086 16 0 208687 0
vsize: 834812
[startup+40.0027 s]
Raw data (loadavg): 1.00 1.00 0.94 2/63 10683
Raw data (stat): 10674 (java) R 10673 31399 31398 0 -1 0 18031 0 1 0 3298 40 0 0 25 0 10 0 778412754 854847488 23475 4294967295 134512640 134569956 3221224352 3221214256 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208703 23475 13086 16 0 208687 0
vsize: 834812
[startup+50.0036 s]
Raw data (loadavg): 1.00 1.00 0.94 2/63 10683
Raw data (stat): 10674 (java) R 10673 31399 31398 0 -1 0 18031 0 1 0 4124 40 0 0 25 0 10 0 778412754 854847488 24074 4294967295 134512640 134569956 3221224352 3221214572 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208703 24074 13086 16 0 208687 0
vsize: 834812
[startup+60.0038 s]
Raw data (loadavg): 1.00 1.00 0.94 2/63 10683
Raw data (stat): 10674 (java) R 10673 31399 31398 0 -1 0 18031 0 1 0 4951 40 0 0 24 0 10 0 778412754 854847488 24659 4294967295 134512640 134569956 3221224352 3221214712 1131237986 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208703 24659 13086 16 0 208687 0
vsize: 834812
[startup+70.0063 s]
Raw data (loadavg): 1.00 1.00 0.94 2/63 10683
Raw data (stat): 10674 (java) S 10673 31399 31398 0 -1 0 18031 0 1 0 5791 40 0 0 25 0 10 0 778412754 854847488 25095 4294967295 134512640 134569956 3221224352 3221213368 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208703 25095 13086 16 0 208687 0
vsize: 834812
[startup+80.0066 s]
Raw data (loadavg): 1.00 1.00 0.94 2/63 10683
Raw data (stat): 10674 (java) R 10673 31399 31398 0 -1 0 18031 0 1 0 6633 40 0 0 25 0 10 0 778412754 854847488 25514 4294967295 134512640 134569956 3221224352 3221214144 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208703 25514 13086 16 0 208687 0
vsize: 834812
[startup+90.0069 s]
Raw data (loadavg): 1.00 1.00 0.94 3/63 10683
Raw data (stat): 10674 (java) R 10673 31399 31398 0 -1 0 18031 0 1 0 7466 40 0 0 25 0 10 0 778412754 854847488 25929 4294967295 134512640 134569956 3221224352 3221214572 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208703 25929 13086 16 0 208687 0
vsize: 834812
[startup+100.01 s]
Raw data (loadavg): 1.00 1.00 0.94 2/63 10683
Raw data (stat): 10674 (java) S 10673 31399 31398 0 -1 0 18031 0 1 0 8307 41 0 0 20 0 10 0 778412754 854847488 26264 4294967295 134512640 134569956 3221224352 3221213368 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208703 26264 13086 16 0 208687 0
vsize: 834812
[startup+110.012 s]
Raw data (loadavg): 1.00 1.00 0.94 2/63 10683
Raw data (stat): 10674 (java) R 10673 31399 31398 0 -1 0 18031 0 1 0 9147 41 0 0 17 0 10 0 778412754 854847488 26604 4294967295 134512640 134569956 3221224352 3221214676 1080204160 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208703 26604 13086 16 0 208687 0
vsize: 834812
[startup+120.016 s]
Raw data (loadavg): 1.00 1.00 0.94 2/63 10683
Raw data (stat): 10674 (java) S 10673 31399 31398 0 -1 0 18031 0 1 0 9988 41 0 0 20 0 10 0 778412754 854847488 27089 4294967295 134512640 134569956 3221224352 3221213384 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208703 27089 13086 16 0 208687 0
vsize: 834812
[startup+130.016 s]
Raw data (loadavg): 1.00 1.00 0.94 2/63 10683
Raw data (stat): 10674 (java) R 10673 31399 31398 0 -1 0 18031 0 1 0 10843 41 0 0 19 0 10 0 778412754 854847488 27482 4294967295 134512640 134569956 3221224352 3221214128 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208703 27482 13086 16 0 208687 0
vsize: 834812
[startup+140.019 s]
Raw data (loadavg): 1.00 1.00 0.94 2/63 10683
Raw data (stat): 10674 (java) R 10673 31399 31398 0 -1 0 18031 0 1 0 11688 41 0 0 17 0 10 0 778412754 854847488 27754 4294967295 134512640 134569956 3221224352 3221214572 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208703 27754 13086 16 0 208687 0
vsize: 834812
[startup+150.02 s]
Raw data (loadavg): 1.07 1.02 0.94 2/63 10683
Raw data (stat): 10674 (java) R 10673 31399 31398 0 -1 0 18031 0 1 0 12534 41 0 0 15 0 10 0 778412754 854847488 28066 4294967295 134512640 134569956 3221224352 3221214128 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208703 28066 13086 16 0 208687 0
vsize: 834812
[startup+160.021 s]
Raw data (loadavg): 1.06 1.02 0.94 2/63 10683
Raw data (stat): 10674 (java) R 10673 31399 31398 0 -1 0 18031 0 1 0 13392 42 0 0 20 0 10 0 778412754 854847488 28352 4294967295 134512640 134569956 3221224352 3221214676 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208703 28352 13086 16 0 208687 0
vsize: 834812
[startup+170.022 s]
Raw data (loadavg): 1.05 1.01 0.94 2/63 10683
Raw data (stat): 10674 (java) R 10673 31399 31398 0 -1 0 18031 0 1 0 14242 42 0 0 16 0 10 0 778412754 854847488 28651 4294967295 134512640 134569956 3221224352 3221214144 1080019600 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208703 28651 13086 16 0 208687 0
vsize: 834812
[startup+180.022 s]
Raw data (loadavg): 1.04 1.01 0.94 2/63 10683
Raw data (stat): 10674 (java) R 10673 31399 31398 0 -1 0 18031 0 1 0 15097 43 0 0 16 0 10 0 778412754 854847488 28933 4294967295 134512640 134569956 3221224352 3221214572 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208703 28933 13086 16 0 208687 0
vsize: 834812
[startup+190.024 s]
Raw data (loadavg): 1.04 1.01 0.94 2/63 10683
Raw data (stat): 10674 (java) R 10673 31399 31398 0 -1 0 18031 0 1 0 15957 43 0 0 16 0 10 0 778412754 854847488 29215 4294967295 134512640 134569956 3221224352 3221214144 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208703 29215 13086 16 0 208687 0
vsize: 834812
[startup+200.028 s]
Raw data (loadavg): 1.03 1.01 0.94 2/63 10683
Raw data (stat): 10674 (java) R 10673 31399 31398 0 -1 0 18031 0 1 0 16816 43 0 0 16 0 10 0 778412754 854847488 29511 4294967295 134512640 134569956 3221224352 3221214128 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208703 29511 13086 16 0 208687 0
vsize: 834812
[startup+210.029 s]
Raw data (loadavg): 1.02 1.01 0.94 2/63 10683
Raw data (stat): 10674 (java) R 10673 31399 31398 0 -1 0 18031 0 1 0 17677 43 0 0 16 0 10 0 778412754 854847488 29777 4294967295 134512640 134569956 3221224352 3221214676 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208703 29777 13086 16 0 208687 0
vsize: 834812
[startup+220.033 s]
Raw data (loadavg): 1.02 1.01 0.94 2/63 10683
Raw data (stat): 10674 (java) R 10673 31399 31398 0 -1 0 18031 0 1 0 18541 43 0 0 16 0 10 0 778412754 854847488 30122 4294967295 134512640 134569956 3221224352 3221214676 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208703 30122 13086 16 0 208687 0
vsize: 834812
[startup+230.033 s]
Raw data (loadavg): 1.02 1.01 0.94 2/63 10683
Raw data (stat): 10674 (java) R 10673 31399 31398 0 -1 0 18031 0 1 0 19405 44 0 0 16 0 10 0 778412754 854847488 30366 4294967295 134512640 134569956 3221224352 3221214128 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208703 30366 13086 16 0 208687 0
vsize: 834812
[startup+240.034 s]
Raw data (loadavg): 1.01 1.01 0.94 2/63 10683
Raw data (stat): 10674 (java) R 10673 31399 31398 0 -1 0 18031 0 1 0 20269 44 0 0 16 0 10 0 778412754 854847488 30612 4294967295 134512640 134569956 3221224352 3221214668 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208703 30612 13086 16 0 208687 0
vsize: 834812
[startup+250.035 s]
Raw data (loadavg): 1.01 1.01 0.94 2/63 10683
Raw data (stat): 10674 (java) R 10673 31399 31398 0 -1 0 18031 0 1 0 21134 45 0 0 16 0 10 0 778412754 854847488 30849 4294967295 134512640 134569956 3221224352 3221214144 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208703 30849 13086 16 0 208687 0
vsize: 834812
[startup+260.039 s]
Raw data (loadavg): 1.01 1.01 0.94 2/63 10683
Raw data (stat): 10674 (java) R 10673 31399 31398 0 -1 0 18031 0 1 0 22003 45 0 0 16 0 10 0 778412754 854847488 31085 4294967295 134512640 134569956 3221224352 3221214128 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208703 31085 13086 16 0 208687 0
vsize: 834812
[startup+270.039 s]
Raw data (loadavg): 1.01 1.00 0.94 2/63 10683
Raw data (stat): 10674 (java) R 10673 31399 31398 0 -1 0 18031 0 1 0 22875 45 0 0 16 0 10 0 778412754 854847488 31307 4294967295 134512640 134569956 3221224352 3221214144 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208703 31307 13086 16 0 208687 0
vsize: 834812
[startup+280.04 s]
Raw data (loadavg): 1.01 1.00 0.94 2/63 10683
Raw data (stat): 10674 (java) S 10673 31399 31398 0 -1 0 18031 0 1 0 23744 46 0 0 16 0 10 0 778412754 854847488 31525 4294967295 134512640 134569956 3221224352 3221213384 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208703 31525 13086 16 0 208687 0
vsize: 834812
[startup+290.043 s]
Raw data (loadavg): 1.00 1.00 0.94 2/63 10683
Raw data (stat): 10674 (java) R 10673 31399 31398 0 -1 0 18031 0 1 0 24609 46 0 0 16 0 10 0 778412754 854847488 31753 4294967295 134512640 134569956 3221224352 3221214572 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208703 31753 13086 16 0 208687 0
vsize: 834812
[startup+300.044 s]
Raw data (loadavg): 1.00 1.00 0.94 2/63 10683
Raw data (stat): 10674 (java) R 10673 31399 31398 0 -1 0 18031 0 1 0 25480 46 0 0 16 0 10 0 778412754 854847488 31966 4294967295 134512640 134569956 3221224352 3221214572 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208703 31966 13086 16 0 208687 0
vsize: 834812
[startup+310.045 s]
Raw data (loadavg): 1.00 1.00 0.94 2/63 10683
Raw data (stat): 10674 (java) R 10673 31399 31398 0 -1 0 18031 0 1 0 26350 46 0 0 17 0 10 0 778412754 854847488 32179 4294967295 134512640 134569956 3221224352 3221214676 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208703 32179 13086 16 0 208687 0
vsize: 834812
[startup+320.045 s]
Raw data (loadavg): 1.00 1.00 0.94 2/63 10683
Raw data (stat): 10674 (java) R 10673 31399 31398 0 -1 0 18031 0 1 0 27220 47 0 0 16 0 10 0 778412754 854847488 32387 4294967295 134512640 134569956 3221224352 3221214668 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208703 32387 13086 16 0 208687 0
vsize: 834812
[startup+330.049 s]
Raw data (loadavg): 1.00 1.00 0.94 2/63 10683
Raw data (stat): 10674 (java) R 10673 31399 31398 0 -1 0 18031 0 1 0 28093 47 0 0 16 0 10 0 778412754 854847488 32589 4294967295 134512640 134569956 3221224352 3221214144 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208703 32589 13086 16 0 208687 0
vsize: 834812
[startup+340.053 s]
Raw data (loadavg): 1.00 1.00 0.94 2/63 10683
Raw data (stat): 10674 (java) R 10673 31399 31398 0 -1 0 18031 0 1 0 28967 48 0 0 16 0 10 0 778412754 854847488 32778 4294967295 134512640 134569956 3221224352 3221214572 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208703 32778 13086 16 0 208687 0
vsize: 834812
[startup+350.056 s]
Raw data (loadavg): 1.00 1.00 0.94 2/63 10683
Raw data (stat): 10674 (java) S 10673 31399 31398 0 -1 0 18031 0 1 0 29837 48 0 0 16 0 10 0 778412754 854847488 32975 4294967295 134512640 134569956 3221224352 3221213384 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208703 32975 13086 16 0 208687 0
vsize: 834812
[startup+360.06 s]
Raw data (loadavg): 1.07 1.02 0.95 2/63 10683
Raw data (stat): 10674 (java) R 10673 31399 31398 0 -1 0 18031 0 1 0 30706 48 0 0 16 0 10 0 778412754 854847488 33177 4294967295 134512640 134569956 3221224352 3221214144 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208703 33177 13086 16 0 208687 0
vsize: 834812
[startup+370.061 s]
Raw data (loadavg): 1.06 1.02 0.95 2/63 10683
Raw data (stat): 10674 (java) R 10673 31399 31398 0 -1 0 18031 0 1 0 31581 48 0 0 16 0 10 0 778412754 854847488 33367 4294967295 134512640 134569956 3221224352 3221214676 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208703 33367 13086 16 0 208687 0
vsize: 834812
[startup+380.063 s]
Raw data (loadavg): 1.05 1.01 0.95 2/63 10683
Raw data (stat): 10674 (java) R 10673 31399 31398 0 -1 0 18031 0 1 0 32460 49 0 0 16 0 10 0 778412754 854847488 33554 4294967295 134512640 134569956 3221224352 3221214144 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208703 33554 13086 16 0 208687 0
vsize: 834812
[startup+390.066 s]
Raw data (loadavg): 1.04 1.01 0.95 2/63 10683
Raw data (stat): 10674 (java) R 10673 31399 31398 0 -1 0 18031 0 1 0 33336 49 0 0 16 0 10 0 778412754 854847488 33761 4294967295 134512640 134569956 3221224352 3221214144 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208703 33761 13086 16 0 208687 0
vsize: 834812
[startup+400.069 s]
Raw data (loadavg): 1.04 1.01 0.95 2/63 10683
Raw data (stat): 10674 (java) R 10673 31399 31398 0 -1 0 18031 0 1 0 34203 50 0 0 16 0 10 0 778412754 854847488 33971 4294967295 134512640 134569956 3221224352 3221214128 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208703 33971 13086 16 0 208687 0
vsize: 834812
[startup+410.073 s]
Raw data (loadavg): 1.03 1.01 0.95 2/63 10683
Raw data (stat): 10674 (java) R 10673 31399 31398 0 -1 0 18031 0 1 0 35071 50 0 0 16 0 10 0 778412754 854847488 34248 4294967295 134512640 134569956 3221224352 3221214128 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208703 34248 13086 16 0 208687 0
vsize: 834812
[startup+420.073 s]
Raw data (loadavg): 1.02 1.01 0.95 2/63 10683
Raw data (stat): 10674 (java) R 10673 31399 31398 0 -1 0 18031 0 1 0 35950 51 0 0 16 0 10 0 778412754 854847488 34420 4294967295 134512640 134569956 3221224352 3221214676 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208703 34420 13086 16 0 208687 0
vsize: 834812
[startup+430.078 s]
Raw data (loadavg): 1.02 1.01 0.95 2/63 10683
Raw data (stat): 10674 (java) R 10673 31399 31398 0 -1 0 18031 0 1 0 36828 51 0 0 16 0 10 0 778412754 854847488 34599 4294967295 134512640 134569956 3221224352 3221214668 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208703 34599 13086 16 0 208687 0
vsize: 834812
[startup+440.079 s]
Raw data (loadavg): 1.02 1.01 0.95 2/63 10683
Raw data (stat): 10674 (java) R 10673 31399 31398 0 -1 0 18031 0 1 0 37706 51 0 0 16 0 10 0 778412754 854847488 34774 4294967295 134512640 134569956 3221224352 3221214144 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208703 34774 13086 16 0 208687 0
vsize: 834812
[startup+450.079 s]
Raw data (loadavg): 1.01 1.01 0.95 2/63 10683
Raw data (stat): 10674 (java) R 10673 31399 31398 0 -1 0 18031 0 1 0 38576 52 0 0 16 0 10 0 778412754 854847488 34959 4294967295 134512640 134569956 3221224352 3221214572 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208703 34959 13086 16 0 208687 0
vsize: 834812
[startup+460.08 s]
Raw data (loadavg): 1.01 1.01 0.95 2/63 10683
Raw data (stat): 10674 (java) R 10673 31399 31398 0 -1 0 18031 0 1 0 39453 53 0 0 16 0 10 0 778412754 854847488 35131 4294967295 134512640 134569956 3221224352 3221214572 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208703 35131 13086 16 0 208687 0
vsize: 834812
[startup+470.081 s]
Raw data (loadavg): 1.01 1.01 0.95 2/63 10683
Raw data (stat): 10674 (java) R 10673 31399 31398 0 -1 0 18031 0 1 0 40331 53 0 0 16 0 10 0 778412754 854847488 35301 4294967295 134512640 134569956 3221224352 3221214572 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208703 35301 13086 16 0 208687 0
vsize: 834812
[startup+480.081 s]
Raw data (loadavg): 1.01 1.00 0.95 2/63 10683
Raw data (stat): 10674 (java) R 10673 31399 31398 0 -1 0 18031 0 1 0 41210 53 0 0 16 0 10 0 778412754 854847488 35467 4294967295 134512640 134569956 3221224352 3221214676 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208703 35467 13086 16 0 208687 0
vsize: 834812
[startup+490.083 s]
Raw data (loadavg): 1.01 1.00 0.95 2/63 10683
Raw data (stat): 10674 (java) R 10673 31399 31398 0 -1 0 18031 0 1 0 42086 54 0 0 16 0 10 0 778412754 854847488 35643 4294967295 134512640 134569956 3221224352 3221214144 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208703 35643 13086 16 0 208687 0
vsize: 834812
[startup+500.083 s]
Raw data (loadavg): 1.00 1.00 0.95 2/63 10683
Raw data (stat): 10674 (java) R 10673 31399 31398 0 -1 0 18031 0 1 0 42976 54 0 0 16 0 10 0 778412754 854847488 35798 4294967295 134512640 134569956 3221224352 3221214144 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208703 35798 13086 16 0 208687 0
vsize: 834812
[startup+510.087 s]
Raw data (loadavg): 1.00 1.00 0.95 2/63 10683
Raw data (stat): 10674 (java) S 10673 31399 31398 0 -1 0 18031 0 1 0 43863 55 0 0 16 0 10 0 778412754 854847488 35928 4294967295 134512640 134569956 3221224352 3221213368 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208703 35928 13086 16 0 208687 0
vsize: 834812
[startup+520.088 s]
Raw data (loadavg): 1.00 1.00 0.95 2/63 10683
Raw data (stat): 10674 (java) R 10673 31399 31398 0 -1 0 18031 0 1 0 44746 55 0 0 16 0 10 0 778412754 854847488 36075 4294967295 134512640 134569956 3221224352 3221214572 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208703 36075 13086 16 0 208687 0
vsize: 834812
[startup+530.088 s]
Raw data (loadavg): 1.08 1.02 0.95 2/63 10683
Raw data (stat): 10674 (java) R 10673 31399 31398 0 -1 0 18031 0 1 0 45631 55 0 0 16 0 10 0 778412754 854847488 36220 4294967295 134512640 134569956 3221224352 3221214572 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208703 36220 13086 16 0 208687 0
vsize: 834812
[startup+540.088 s]
Raw data (loadavg): 1.07 1.02 0.95 2/63 10683
Raw data (stat): 10674 (java) R 10673 31399 31398 0 -1 0 18031 0 1 0 46516 56 0 0 16 0 10 0 778412754 854847488 36363 4294967295 134512640 134569956 3221224352 3221214144 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208703 36363 13086 16 0 208687 0
vsize: 834812
[startup+550.09 s]
Raw data (loadavg): 1.06 1.01 0.95 2/63 10683
Raw data (stat): 10674 (java) R 10673 31399 31398 0 -1 0 18031 0 1 0 47392 57 0 0 15 0 10 0 778412754 854847488 36516 4294967295 134512640 134569956 3221224352 3221214676 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208703 36516 13086 16 0 208687 0
vsize: 834812
[startup+560.091 s]
Raw data (loadavg): 1.05 1.01 0.95 2/63 10683
Raw data (stat): 10674 (java) R 10673 31399 31398 0 -1 0 18031 0 1 0 48275 57 0 0 16 0 10 0 778412754 854847488 36660 4294967295 134512640 134569956 3221224352 3221214712 1131236604 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208703 36660 13086 16 0 208687 0
vsize: 834812
[startup+570.091 s]
Raw data (loadavg): 1.04 1.01 0.95 2/63 10683
Raw data (stat): 10674 (java) R 10673 31399 31398 0 -1 0 18031 0 1 0 49156 57 0 0 16 0 10 0 778412754 854847488 36801 4294967295 134512640 134569956 3221224352 3221214572 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208703 36801 13086 16 0 208687 0
vsize: 834812
[startup+580.093 s]
Raw data (loadavg): 1.03 1.01 0.95 2/63 10683
Raw data (stat): 10674 (java) R 10673 31399 31398 0 -1 0 18031 0 1 0 50036 57 0 0 16 0 10 0 778412754 854847488 36949 4294967295 134512640 134569956 3221224352 3221214144 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208703 36949 13086 16 0 208687 0
vsize: 834812
[startup+590.093 s]
Raw data (loadavg): 1.03 1.01 0.95 2/63 10683
Raw data (stat): 10674 (java) R 10673 31399 31398 0 -1 0 18031 0 1 0 50917 58 0 0 16 0 10 0 778412754 854847488 37097 4294967295 134512640 134569956 3221224352 3221214128 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208703 37097 13086 16 0 208687 0
vsize: 834812
[startup+600.094 s]
Raw data (loadavg): 1.02 1.01 0.95 2/63 10683
Raw data (stat): 10674 (java) R 10673 31399 31398 0 -1 0 18031 0 1 0 51799 58 0 0 16 0 10 0 778412754 854847488 37240 4294967295 134512640 134569956 3221224352 3221214144 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208703 37240 13086 16 0 208687 0
vsize: 834812
[startup+610.098 s]
Raw data (loadavg): 1.02 1.01 0.95 2/63 10683
Raw data (stat): 10674 (java) S 10673 31399 31398 0 -1 0 18031 0 1 0 52676 59 0 0 16 0 10 0 778412754 854847488 37384 4294967295 134512640 134569956 3221224352 3221213384 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208703 37384 13086 16 0 208687 0
vsize: 834812
[startup+620.103 s]
Raw data (loadavg): 1.02 1.01 0.95 2/63 10683
Raw data (stat): 10674 (java) R 10673 31399 31398 0 -1 0 18031 0 1 0 53553 59 0 0 16 0 10 0 778412754 854847488 37536 4294967295 134512640 134569956 3221224352 3221214144 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208703 37536 13086 16 0 208687 0
vsize: 834812
[startup+630.103 s]
Raw data (loadavg): 1.09 1.02 0.96 2/63 10683
Raw data (stat): 10674 (java) R 10673 31399 31398 0 -1 0 18031 0 1 0 54434 60 0 0 16 0 10 0 778412754 854847488 37679 4294967295 134512640 134569956 3221224352 3221214572 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208703 37679 13086 16 0 208687 0
vsize: 834812
[startup+640.104 s]
Raw data (loadavg): 1.07 1.02 0.96 2/63 10683
Raw data (stat): 10674 (java) R 10673 31399 31398 0 -1 0 18031 0 1 0 55314 60 0 0 16 0 10 0 778412754 854847488 37819 4294967295 134512640 134569956 3221224352 3221214144 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208703 37819 13086 16 0 208687 0
vsize: 834812
[startup+650.104 s]
Raw data (loadavg): 1.06 1.02 0.96 2/63 10683
Raw data (stat): 10674 (java) R 10673 31399 31398 0 -1 0 18031 0 1 0 56193 61 0 0 16 0 10 0 778412754 854847488 37958 4294967295 134512640 134569956 3221224352 3221214572 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208703 37958 13086 16 0 208687 0
vsize: 834812
[startup+660.105 s]
Raw data (loadavg): 1.05 1.02 0.96 2/63 10683
Raw data (stat): 10674 (java) S 10673 31399 31398 0 -1 0 18031 0 1 0 57064 62 0 0 16 0 10 0 778412754 854847488 38100 4294967295 134512640 134569956 3221224352 3221213384 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208703 38100 13086 16 0 208687 0
vsize: 834812
[startup+670.109 s]
Raw data (loadavg): 1.04 1.02 0.96 2/63 10683
Raw data (stat): 10674 (java) R 10673 31399 31398 0 -1 0 18031 0 1 0 57945 62 0 0 16 0 10 0 778412754 854847488 38247 4294967295 134512640 134569956 3221224352 3221214572 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208703 38247 13086 16 0 208687 0
vsize: 834812
[startup+680.115 s]
Raw data (loadavg): 1.04 1.02 0.96 2/63 10683
Raw data (stat): 10674 (java) R 10673 31399 31398 0 -1 0 18031 0 1 0 58826 63 0 0 16 0 10 0 778412754 854847488 38384 4294967295 134512640 134569956 3221224352 3221214572 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208703 38384 13086 16 0 208687 0
vsize: 834812
[startup+690.121 s]
Raw data (loadavg): 1.03 1.02 0.96 2/63 10683
Raw data (stat): 10674 (java) R 10673 31399 31398 0 -1 0 18031 0 1 0 59712 63 0 0 16 0 10 0 778412754 854847488 38518 4294967295 134512640 134569956 3221224352 3221214572 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208703 38518 13086 16 0 208687 0
vsize: 834812
[startup+700.121 s]
Raw data (loadavg): 1.02 1.02 0.96 2/63 10683
Raw data (stat): 10674 (java) R 10673 31399 31398 0 -1 0 18031 0 1 0 60587 63 0 0 15 0 10 0 778412754 854847488 38655 4294967295 134512640 134569956 3221224352 3221214676 1080204146 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208703 38655 13086 16 0 208687 0
vsize: 834812
[startup+710.122 s]
Raw data (loadavg): 1.02 1.02 0.96 2/63 10683
Raw data (stat): 10674 (java) R 10673 31399 31398 0 -1 0 18031 0 1 0 61467 64 0 0 16 0 10 0 778412754 854847488 38783 4294967295 134512640 134569956 3221224352 3221214128 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208703 38783 13086 16 0 208687 0
vsize: 834812
[startup+720.123 s]
Raw data (loadavg): 1.02 1.01 0.96 2/63 10683
Raw data (stat): 10674 (java) R 10673 31399 31398 0 -1 0 18031 0 1 0 62350 64 0 0 16 0 10 0 778412754 854847488 38910 4294967295 134512640 134569956 3221224352 3221214144 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208703 38910 13086 16 0 208687 0
vsize: 834812
[startup+730.123 s]
Raw data (loadavg): 1.01 1.01 0.96 2/63 10683
Raw data (stat): 10674 (java) R 10673 31399 31398 0 -1 0 18031 0 1 0 63230 65 0 0 16 0 10 0 778412754 854847488 39732 4294967295 134512640 134569956 3221224352 3221214128 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208703 39732 13086 16 0 208687 0
vsize: 834812
[startup+740.124 s]
Raw data (loadavg): 1.01 1.01 0.96 2/63 10683
Raw data (stat): 10674 (java) R 10673 31399 31398 0 -1 0 18031 0 1 0 64136 66 0 0 16 0 10 0 778412754 854847488 39732 4294967295 134512640 134569956 3221224352 3221214144 1080019600 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208703 39732 13086 16 0 208687 0
vsize: 834812
[startup+750.124 s]
Raw data (loadavg): 1.01 1.01 0.96 2/63 10683
Raw data (stat): 10674 (java) R 10673 31399 31398 0 -1 0 18031 0 1 0 65017 66 0 0 16 0 10 0 778412754 854847488 39757 4294967295 134512640 134569956 3221224352 3221214572 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208703 39757 13086 16 0 208687 0
vsize: 834812
[startup+760.126 s]
Raw data (loadavg): 1.01 1.01 0.96 2/63 10683
Raw data (stat): 10674 (java) R 10673 31399 31398 0 -1 0 18031 0 1 0 65890 66 0 0 16 0 10 0 778412754 854847488 39887 4294967295 134512640 134569956 3221224352 3221214144 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208703 39887 13086 16 0 208687 0
vsize: 834812
[startup+770.127 s]
Raw data (loadavg): 1.01 1.01 0.96 2/63 10683
Raw data (stat): 10674 (java) R 10673 31399 31398 0 -1 0 18031 0 1 0 66763 66 0 0 16 0 10 0 778412754 854847488 40011 4294967295 134512640 134569956 3221224352 3221214572 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208703 40011 13086 16 0 208687 0
vsize: 834812
[startup+780.127 s]
Raw data (loadavg): 1.00 1.01 0.96 2/63 10683
Raw data (stat): 10674 (java) R 10673 31399 31398 0 -1 0 18031 0 1 0 67635 67 0 0 16 0 10 0 778412754 854847488 40137 4294967295 134512640 134569956 3221224352 3221214676 1080204166 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208703 40137 13086 16 0 208687 0
vsize: 834812
[startup+790.129 s]
Raw data (loadavg): 1.00 1.01 0.96 2/63 10683
Raw data (stat): 10674 (java) R 10673 31399 31398 0 -1 0 18031 0 1 0 68506 67 0 0 16 0 10 0 778412754 854847488 40262 4294967295 134512640 134569956 3221224352 3221214128 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208703 40262 13086 16 0 208687 0
vsize: 834812
[startup+800.129 s]
Raw data (loadavg): 1.00 1.01 0.96 2/63 10683
Raw data (stat): 10674 (java) R 10673 31399 31398 0 -1 0 18031 0 1 0 69377 67 0 0 16 0 10 0 778412754 854847488 40388 4294967295 134512640 134569956 3221224352 3221214572 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208703 40388 13086 16 0 208687 0
vsize: 834812
[startup+810.129 s]
Raw data (loadavg): 1.00 1.01 0.96 2/63 10683
Raw data (stat): 10674 (java) R 10673 31399 31398 0 -1 0 18031 0 1 0 70253 68 0 0 16 0 10 0 778412754 854847488 40513 4294967295 134512640 134569956 3221224352 3221214572 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208703 40513 13086 16 0 208687 0
vsize: 834812
[startup+820.132 s]
Raw data (loadavg): 1.00 1.00 0.96 2/63 10683
Raw data (stat): 10674 (java) S 10673 31399 31398 0 -1 0 18031 0 1 0 71123 69 0 0 16 0 10 0 778412754 854847488 40622 4294967295 134512640 134569956 3221224352 3221213384 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208703 40622 13086 16 0 208687 0
vsize: 834812
[startup+830.138 s]
Raw data (loadavg): 1.00 1.00 0.96 2/63 10683
Raw data (stat): 10674 (java) R 10673 31399 31398 0 -1 0 18031 0 1 0 72001 69 0 0 16 0 10 0 778412754 854847488 40745 4294967295 134512640 134569956 3221224352 3221214144 1080019600 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208703 40745 13086 16 0 208687 0
vsize: 834812
[startup+840.138 s]
Raw data (loadavg): 1.00 1.00 0.96 2/63 10683
Raw data (stat): 10674 (java) R 10673 31399 31398 0 -1 0 18031 0 1 0 72877 70 0 0 16 0 10 0 778412754 854847488 40856 4294967295 134512640 134569956 3221224352 3221214144 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208703 40856 13086 16 0 208687 0
vsize: 834812
[startup+850.142 s]
Raw data (loadavg): 1.00 1.00 0.96 2/63 10683
Raw data (stat): 10674 (java) R 10673 31399 31398 0 -1 0 18031 0 1 0 73753 70 0 0 16 0 10 0 778412754 854847488 40974 4294967295 134512640 134569956 3221224352 3221214572 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208703 40974 13086 16 0 208687 0
vsize: 834812
[startup+860.143 s]
Raw data (loadavg): 1.00 1.00 0.96 2/63 10683
Raw data (stat): 10674 (java) R 10673 31399 31398 0 -1 0 18031 0 1 0 74629 70 0 0 16 0 10 0 778412754 854847488 41081 4294967295 134512640 134569956 3221224352 3221214572 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208703 41081 13086 16 0 208687 0
vsize: 834812
[startup+870.143 s]
Raw data (loadavg): 1.00 1.00 0.96 2/63 10683
Raw data (stat): 10674 (java) R 10673 31399 31398 0 -1 0 18031 0 1 0 75506 70 0 0 16 0 10 0 778412754 854847488 41213 4294967295 134512640 134569956 3221224352 3221214128 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208703 41213 13086 16 0 208687 0
vsize: 834812
[startup+880.146 s]
Raw data (loadavg): 1.00 1.00 0.96 2/63 10683
Raw data (stat): 10674 (java) S 10673 31399 31398 0 -1 0 18031 0 1 0 76378 71 0 0 16 0 10 0 778412754 854847488 41325 4294967295 134512640 134569956 3221224352 3221213384 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208703 41325 13086 16 0 208687 0
vsize: 834812
[startup+890.147 s]
Raw data (loadavg): 1.00 1.00 0.96 2/63 10683
Raw data (stat): 10674 (java) R 10673 31399 31398 0 -1 0 18031 0 1 0 77254 71 0 0 16 0 10 0 778412754 854847488 41429 4294967295 134512640 134569956 3221224352 3221214144 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208703 41429 13086 16 0 208687 0
vsize: 834812
[startup+900.148 s]
Raw data (loadavg): 1.00 1.00 0.96 2/63 10683
Raw data (stat): 10674 (java) R 10673 31399 31398 0 -1 0 18031 0 1 0 78129 72 0 0 16 0 10 0 778412754 854847488 41570 4294967295 134512640 134569956 3221224352 3221214144 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208703 41570 13086 16 0 208687 0
vsize: 834812
[startup+910.148 s]
Raw data (loadavg): 1.00 1.00 0.96 2/63 10683
Raw data (stat): 10674 (java) R 10673 31399 31398 0 -1 0 18031 0 1 0 79006 72 0 0 16 0 10 0 778412754 854847488 41675 4294967295 134512640 134569956 3221224352 3221214144 1080019600 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208703 41675 13086 16 0 208687 0
vsize: 834812
[startup+920.149 s]
Raw data (loadavg): 1.00 1.00 0.96 2/63 10683
Raw data (stat): 10674 (java) R 10673 31399 31398 0 -1 0 18031 0 1 0 79882 72 0 0 16 0 10 0 778412754 854847488 41791 4294967295 134512640 134569956 3221224352 3221214668 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208703 41791 13086 16 0 208687 0
vsize: 834812
[startup+930.149 s]
Raw data (loadavg): 1.00 1.00 0.96 2/63 10683
Raw data (stat): 10674 (java) R 10673 31399 31398 0 -1 0 18031 0 1 0 80759 73 0 0 16 0 10 0 778412754 854847488 41892 4294967295 134512640 134569956 3221224352 3221214144 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208703 41892 13086 16 0 208687 0
vsize: 834812
[startup+940.151 s]
Raw data (loadavg): 1.00 1.00 0.96 2/63 10683
Raw data (stat): 10674 (java) R 10673 31399 31398 0 -1 0 18031 0 1 0 81638 74 0 0 16 0 10 0 778412754 854847488 42050 4294967295 134512640 134569956 3221224352 3221214676 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208703 42050 13086 16 0 208687 0
vsize: 834812
[startup+950.152 s]
Raw data (loadavg): 1.00 1.00 0.96 2/63 10683
Raw data (stat): 10674 (java) R 10673 31399 31398 0 -1 0 18031 0 1 0 82516 74 0 0 16 0 10 0 778412754 854847488 42156 4294967295 134512640 134569956 3221224352 3221214676 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208703 42156 13086 16 0 208687 0
vsize: 834812
[startup+960.154 s]
Raw data (loadavg): 1.00 1.00 0.96 2/63 10683
Raw data (stat): 10674 (java) S 10673 31399 31398 0 -1 0 18031 0 1 0 83392 75 0 0 16 0 10 0 778412754 854847488 42278 4294967295 134512640 134569956 3221224352 3221213368 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208703 42278 13086 16 0 208687 0
vsize: 834812
[startup+970.159 s]
Raw data (loadavg): 1.00 1.00 0.96 2/63 10683
Raw data (stat): 10674 (java) R 10673 31399 31398 0 -1 0 18031 0 1 0 84266 75 0 0 16 0 10 0 778412754 854847488 42391 4294967295 134512640 134569956 3221224352 3221214128 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208703 42391 13086 16 0 208687 0
vsize: 834812
[startup+980.16 s]
Raw data (loadavg): 1.00 1.00 0.96 2/63 10683
Raw data (stat): 10674 (java) R 10673 31399 31398 0 -1 0 18031 0 1 0 85143 76 0 0 16 0 10 0 778412754 854847488 42465 4294967295 134512640 134569956 3221224352 3221214752 1131142858 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208703 42465 13086 16 0 208687 0
vsize: 834812
[startup+990.16 s]
Raw data (loadavg): 1.00 1.00 0.96 2/63 10683
Raw data (stat): 10674 (java) R 10673 31399 31398 0 -1 0 18031 0 1 0 86015 76 0 0 16 0 10 0 778412754 854847488 42578 4294967295 134512640 134569956 3221224352 3221214572 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208703 42578 13086 16 0 208687 0
vsize: 834812
[startup+1000.16 s]
Raw data (loadavg): 1.00 1.00 0.96 2/63 10683
Raw data (stat): 10674 (java) R 10673 31399 31398 0 -1 0 18031 0 1 0 86896 76 0 0 16 0 10 0 778412754 854847488 42745 4294967295 134512640 134569956 3221224352 3221214572 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208703 42745 13086 16 0 208687 0
vsize: 834812
[startup+1010.16 s]
Raw data (loadavg): 1.00 1.00 0.96 2/63 10683
Raw data (stat): 10674 (java) R 10673 31399 31398 0 -1 0 18031 0 1 0 87778 77 0 0 16 0 10 0 778412754 854847488 42869 4294967295 134512640 134569956 3221224352 3221214676 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208703 42869 13086 16 0 208687 0
vsize: 834812
[startup+1020.17 s]
Raw data (loadavg): 1.00 1.00 0.96 2/63 10683
Raw data (stat): 10674 (java) R 10673 31399 31398 0 -1 0 18031 0 1 0 88659 77 0 0 16 0 10 0 778412754 854847488 42919 4294967295 134512640 134569956 3221224352 3221214572 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208703 42919 13086 16 0 208687 0
vsize: 834812
[startup+1030.17 s]
Raw data (loadavg): 1.00 1.00 0.96 2/63 10683
Raw data (stat): 10674 (java) R 10673 31399 31398 0 -1 0 18031 0 1 0 89537 78 0 0 16 0 10 0 778412754 854847488 43092 4294967295 134512640 134569956 3221224352 3221214128 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208703 43092 13086 16 0 208687 0
vsize: 834812
[startup+1040.17 s]
Raw data (loadavg): 1.00 1.00 0.96 2/63 10683
Raw data (stat): 10674 (java) R 10673 31399 31398 0 -1 0 18031 0 1 0 90414 78 0 0 15 0 10 0 778412754 854847488 43215 4294967295 134512640 134569956 3221224352 3221214668 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208703 43215 13086 16 0 208687 0
vsize: 834812
[startup+1050.17 s]
Raw data (loadavg): 1.00 1.00 0.96 2/63 10683
Raw data (stat): 10674 (java) R 10673 31399 31398 0 -1 0 18031 0 1 0 91297 78 0 0 16 0 10 0 778412754 854847488 43326 4294967295 134512640 134569956 3221224352 3221214572 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208703 43326 13086 16 0 208687 0
vsize: 834812
[startup+1060.17 s]
Raw data (loadavg): 1.00 1.00 0.96 2/63 10683
Raw data (stat): 10674 (java) R 10673 31399 31398 0 -1 0 18031 0 1 0 92180 79 0 0 16 0 10 0 778412754 854847488 43430 4294967295 134512640 134569956 3221224352 3221214572 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208703 43430 13086 16 0 208687 0
vsize: 834812
[startup+1070.17 s]
Raw data (loadavg): 1.00 1.00 0.96 2/63 10683
Raw data (stat): 10674 (java) R 10673 31399 31398 0 -1 0 18031 0 1 0 93065 79 0 0 16 0 10 0 778412754 854847488 43516 4294967295 134512640 134569956 3221224352 3221214144 1080019741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208703 43516 13086 16 0 208687 0
vsize: 834812
[startup+1080.17 s]
Raw data (loadavg): 1.00 1.00 0.96 2/63 10683
Raw data (stat): 10674 (java) R 10673 31399 31398 0 -1 0 18031 0 1 0 93949 80 0 0 16 0 10 0 778412754 854847488 43634 4294967295 134512640 134569956 3221224352 3221214572 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208703 43634 13086 16 0 208687 0
vsize: 834812
[startup+1090.18 s]
Raw data (loadavg): 1.00 1.00 0.96 2/63 10683
Raw data (stat): 10674 (java) S 10673 31399 31398 0 -1 0 18031 0 1 0 94830 80 0 0 16 0 10 0 778412754 854847488 43715 4294967295 134512640 134569956 3221224352 3221213384 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208703 43715 13086 16 0 208687 0
vsize: 834812
[startup+1100.18 s]
Raw data (loadavg): 1.00 1.00 0.96 2/63 10683
Raw data (stat): 10674 (java) S 10673 31399 31398 0 -1 0 18031 0 1 0 95706 80 0 0 16 0 10 0 778412754 854847488 43863 4294967295 134512640 134569956 3221224352 3221213384 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208703 43863 13086 16 0 208687 0
vsize: 834812
[startup+1110.18 s]
Raw data (loadavg): 1.00 1.00 0.96 2/63 10683
Raw data (stat): 10674 (java) R 10673 31399 31398 0 -1 0 18031 0 1 0 96591 80 0 0 16 0 10 0 778412754 854847488 43988 4294967295 134512640 134569956 3221224352 3221214144 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208703 43988 13086 16 0 208687 0
vsize: 834812
[startup+1120.18 s]
Raw data (loadavg): 1.00 1.00 0.96 2/63 10683
Raw data (stat): 10674 (java) R 10673 31399 31398 0 -1 0 18031 0 1 0 97480 80 0 0 16 0 10 0 778412754 854847488 44036 4294967295 134512640 134569956 3221224352 3221214144 1080019733 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208703 44036 13086 16 0 208687 0
vsize: 834812
[startup+1130.18 s]
Raw data (loadavg): 1.00 1.00 0.96 2/63 10683
Raw data (stat): 10674 (java) R 10673 31399 31398 0 -1 0 18031 0 1 0 98369 80 0 0 16 0 10 0 778412754 854847488 44193 4294967295 134512640 134569956 3221224352 3221214840 1131247622 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208703 44193 13086 16 0 208687 0
vsize: 834812
[startup+1140.18 s]
Raw data (loadavg): 1.00 1.00 0.96 2/63 10683
Raw data (stat): 10674 (java) R 10673 31399 31398 0 -1 0 18031 0 1 0 99252 81 0 0 16 0 10 0 778412754 854847488 44287 4294967295 134512640 134569956 3221224352 3221214144 1080019741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208703 44287 13086 16 0 208687 0
vsize: 834812
[startup+1150.18 s]
Raw data (loadavg): 1.00 1.00 0.96 2/63 10683
Raw data (stat): 10674 (java) R 10673 31399 31398 0 -1 0 18031 0 1 0 100140 81 0 0 16 0 10 0 778412754 854847488 44424 4294967295 134512640 134569956 3221224352 3221214572 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208703 44424 13086 16 0 208687 0
vsize: 834812
[startup+1160.19 s]
Raw data (loadavg): 1.00 1.00 0.96 2/63 10683
Raw data (stat): 10674 (java) R 10673 31399 31398 0 -1 0 18031 0 1 0 101033 82 0 0 16 0 10 0 778412754 854847488 44521 4294967295 134512640 134569956 3221224352 3221214668 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208703 44521 13086 16 0 208687 0
vsize: 834812
[startup+1170.19 s]
Raw data (loadavg): 1.00 1.00 0.96 2/63 10683
Raw data (stat): 10674 (java) R 10673 31399 31398 0 -1 0 18031 0 1 0 101920 82 0 0 16 0 10 0 778412754 854847488 44596 4294967295 134512640 134569956 3221224352 3221214144 1080019741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208703 44596 13086 16 0 208687 0
vsize: 834812
[startup+1180.19 s]
Raw data (loadavg): 1.00 1.00 0.96 2/63 10683
Raw data (stat): 10674 (java) R 10673 31399 31398 0 -1 0 18031 0 1 0 102802 83 0 0 16 0 10 0 778412754 854847488 44704 4294967295 134512640 134569956 3221224352 3221214572 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208703 44704 13086 16 0 208687 0
vsize: 834812
[startup+1190.19 s]
Raw data (loadavg): 1.00 1.00 0.96 2/63 10683
Raw data (stat): 10674 (java) R 10673 31399 31398 0 -1 0 18031 0 1 0 103692 83 0 0 16 0 10 0 778412754 854847488 44828 4294967295 134512640 134569956 3221224352 3221214144 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208703 44828 13086 16 0 208687 0
vsize: 834812
[startup+1200.19 s]
Raw data (loadavg): 1.00 1.00 0.96 2/63 10683
Raw data (stat): 10674 (java) R 10673 31399 31398 0 -1 0 18031 0 1 0 104584 84 0 0 16 0 10 0 778412754 854847488 44942 4294967295 134512640 134569956 3221224352 3221214128 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208703 44942 13086 16 0 208687 0
vsize: 834812
[startup+1210.19 s]
Raw data (loadavg): 1.00 1.00 0.96 2/63 10683
Raw data (stat): 10674 (java) R 10673 31399 31398 0 -1 0 18031 0 1 0 105477 84 0 0 16 0 10 0 778412754 854847488 45030 4294967295 134512640 134569956 3221224352 3221214144 1080019600 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208703 45030 13086 16 0 208687 0
vsize: 834812
[startup+1220.19 s]
Raw data (loadavg): 1.00 1.00 0.96 2/63 10683
Raw data (stat): 10674 (java) R 10673 31399 31398 0 -1 0 18031 0 1 0 106365 85 0 0 16 0 10 0 778412754 854847488 45164 4294967295 134512640 134569956 3221224352 3221214572 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208703 45164 13086 16 0 208687 0
vsize: 834812
[startup+1230.19 s]
Raw data (loadavg): 1.00 1.00 0.96 2/63 10683
Raw data (stat): 10674 (java) R 10673 31399 31398 0 -1 0 18031 0 1 0 107257 85 0 0 16 0 10 0 778412754 854847488 45238 4294967295 134512640 134569956 3221224352 3221214676 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208703 45238 13086 16 0 208687 0
vsize: 834812
[startup+1240.19 s]
Raw data (loadavg): 1.00 1.00 0.96 2/63 10683
Raw data (stat): 10674 (java) R 10673 31399 31398 0 -1 0 18031 0 1 0 108149 85 0 0 16 0 10 0 778412754 854847488 45363 4294967295 134512640 134569956 3221224352 3221214676 1080204166 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208703 45363 13086 16 0 208687 0
vsize: 834812
[startup+1250.19 s]
Raw data (loadavg): 1.00 1.00 0.96 2/63 10683
Raw data (stat): 10674 (java) S 10673 31399 31398 0 -1 0 18031 0 1 0 109044 86 0 0 16 0 10 0 778412754 854847488 45470 4294967295 134512640 134569956 3221224352 3221213384 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208703 45470 13086 16 0 208687 0
vsize: 834812
[startup+1260.2 s]
Raw data (loadavg): 1.00 1.00 0.96 2/63 10683
Raw data (stat): 10674 (java) R 10673 31399 31398 0 -1 0 18031 0 1 0 109932 86 0 0 16 0 10 0 778412754 854847488 45581 4294967295 134512640 134569956 3221224352 3221214144 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208703 45581 13086 16 0 208687 0
vsize: 834812
[startup+1270.2 s]
Raw data (loadavg): 1.00 1.00 0.96 2/63 10683
Raw data (stat): 10674 (java) R 10673 31399 31398 0 -1 0 18031 0 1 0 110826 86 0 0 16 0 10 0 778412754 854847488 45656 4294967295 134512640 134569956 3221224352 3221214144 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208703 45656 13086 16 0 208687 0
vsize: 834812
[startup+1280.2 s]
Raw data (loadavg): 1.00 1.00 0.96 2/63 10683
Raw data (stat): 10674 (java) R 10673 31399 31398 0 -1 0 18031 0 1 0 111723 87 0 0 16 0 10 0 778412754 854847488 45795 4294967295 134512640 134569956 3221224352 3221214144 1080019741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208703 45795 13086 16 0 208687 0
vsize: 834812
[startup+1290.2 s]
Raw data (loadavg): 1.00 1.00 0.96 2/63 10683
Raw data (stat): 10674 (java) R 10673 31399 31398 0 -1 0 18031 0 1 0 112616 87 0 0 16 0 10 0 778412754 854847488 45896 4294967295 134512640 134569956 3221224352 3221214572 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208703 45896 13086 16 0 208687 0
vsize: 834812
[startup+1300.2 s]
Raw data (loadavg): 1.00 1.00 0.96 2/63 10683
Raw data (stat): 10674 (java) R 10673 31399 31398 0 -1 0 18031 0 1 0 113517 87 0 0 16 0 10 0 778412754 854847488 45974 4294967295 134512640 134569956 3221224352 3221214128 1077558169 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208703 45974 13086 16 0 208687 0
vsize: 834812
[startup+1310.2 s]
Raw data (loadavg): 1.00 1.00 0.96 2/63 10683
Raw data (stat): 10674 (java) S 10673 31399 31398 0 -1 0 18031 0 1 0 114408 88 0 0 16 0 10 0 778412754 854847488 46047 4294967295 134512640 134569956 3221224352 3221213384 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208703 46047 13086 16 0 208687 0
vsize: 834812
[startup+1320.2 s]
Raw data (loadavg): 1.00 1.00 0.96 2/63 10683
Raw data (stat): 10674 (java) R 10673 31399 31398 0 -1 0 18031 0 1 0 115303 88 0 0 16 0 10 0 778412754 854847488 46187 4294967295 134512640 134569956 3221224352 3221214572 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208703 46187 13086 16 0 208687 0
vsize: 834812
[startup+1330.2 s]
Raw data (loadavg): 1.00 1.00 0.96 2/63 10683
Raw data (stat): 10674 (java) R 10673 31399 31398 0 -1 0 18031 0 1 0 116205 88 0 0 16 0 10 0 778412754 854847488 46297 4294967295 134512640 134569956 3221224352 3221214572 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208703 46297 13086 16 0 208687 0
vsize: 834812
[startup+1340.21 s]
Raw data (loadavg): 1.00 1.00 0.96 2/63 10683
Raw data (stat): 10674 (java) R 10673 31399 31398 0 -1 0 18031 0 1 0 117097 89 0 0 15 0 10 0 778412754 854847488 46380 4294967295 134512640 134569956 3221224352 3221214572 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208703 46380 13086 16 0 208687 0
vsize: 834812
[startup+1350.21 s]
Raw data (loadavg): 1.00 1.00 0.96 2/63 10683
Raw data (stat): 10674 (java) R 10673 31399 31398 0 -1 0 18031 0 1 0 118000 89 0 0 16 0 10 0 778412754 854847488 46440 4294967295 134512640 134569956 3221224352 3221214572 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208703 46440 13086 16 0 208687 0
vsize: 834812
[startup+1360.22 s]
Raw data (loadavg): 1.00 1.00 0.96 2/63 10683
Raw data (stat): 10674 (java) R 10673 31399 31398 0 -1 0 18031 0 1 0 118893 90 0 0 16 0 10 0 778412754 854847488 46580 4294967295 134512640 134569956 3221224352 3221214128 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208703 46580 13086 16 0 208687 0
vsize: 834812
[startup+1370.22 s]
Raw data (loadavg): 1.00 1.00 0.96 2/63 10683
Raw data (stat): 10674 (java) R 10673 31399 31398 0 -1 0 18031 0 1 0 119792 90 0 0 16 0 10 0 778412754 854847488 46680 4294967295 134512640 134569956 3221224352 3221214572 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208703 46680 13086 16 0 208687 0
vsize: 834812
[startup+1380.22 s]
Raw data (loadavg): 1.00 1.00 0.96 2/63 10683
Raw data (stat): 10674 (java) R 10673 31399 31398 0 -1 0 18031 0 1 0 120694 90 0 0 16 0 10 0 778412754 854847488 46741 4294967295 134512640 134569956 3221224352 3221214668 1080203551 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208703 46741 13086 16 0 208687 0
vsize: 834812
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1380.37 s]
Raw data (loadavg): 1.00 1.00 0.96 1/54 10685
Raw data (stat): 10674 (java) Z 10673 31399 31398 0 -1 1036 18031 28130 1 0 120700 90 17059 84 16 0 1 0 778412754 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): 1380.37
CPU time (s): 1379.36
CPU user time (s): 1377.6
CPU system time (s): 1.75673
CPU usage (%): 99.9268
Max. virtual memory (Kb): 834908
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####