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 4459

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        919868 kB
Buffers:         33068 kB
Cached:          61332 kB
SwapCached:        392 kB
Active:          51964 kB
Inactive:        45660 kB
HighTotal:      131008 kB
HighFree:        65744 kB
LowTotal:       903652 kB
LowFree:        854124 kB
SwapTotal:     2097136 kB
SwapFree:      2096744 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6928 kB
Slab:            11468 kB
Committed_AS:    63448 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-13 17:42:28 (client local time) WITH STATUS 143 IN  SECONDS
stats: 2547 7  143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc13/normalized-cache-ibm-q-unbounded.Ih2arity.ucl.opb
c reading problem 
c [nbvar=76091]
c [nbconstr=218262]
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.92 0.98 0.98 2/54 32002
Raw data (stat): 32002 (runsolver) R 32001 30701 30700 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 419484126 1052672 99 4294967295 134512640 135381576 3221224416 3221219664 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.0001 s]
Raw data (loadavg): 1.09 1.02 0.99 2/63 32011
Raw data (stat): 32002 (java) R 32001 30701 30700 0 -1 0 18005 0 1 0 797 41 0 0 20 0 10 0 419484126 855703552 20759 4294967295 134512640 134569956 3221224384 3221214496 1080019600 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208912 20759 13073 16 0 208896 0
vsize: 835648
[startup+20.0007 s]
Raw data (loadavg): 1.08 1.02 0.99 2/63 32011
Raw data (stat): 32002 (java) R 32001 30701 30700 0 -1 0 18005 0 1 0 1663 42 0 0 20 0 10 0 419484126 855703552 21567 4294967295 134512640 134569956 3221224384 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208912 21567 13073 16 0 208896 0
vsize: 835648
[startup+30.0003 s]
Raw data (loadavg): 1.07 1.01 0.99 2/63 32011
Raw data (stat): 32002 (java) R 32001 30701 30700 0 -1 0 18005 0 1 0 2520 43 0 0 18 0 10 0 419484126 855703552 22151 4294967295 134512640 134569956 3221224384 3221214536 1131148805 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208912 22151 13073 16 0 208896 0
vsize: 835648
[startup+40.0041 s]
Raw data (loadavg): 1.06 1.01 0.99 2/63 32011
Raw data (stat): 32002 (java) R 32001 30701 30700 0 -1 0 18005 0 1 0 3378 43 0 0 16 0 10 0 419484126 855703552 22566 4294967295 134512640 134569956 3221224384 3221214460 1074489757 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208912 22566 13073 16 0 208896 0
vsize: 835648
[startup+50.0045 s]
Raw data (loadavg): 1.05 1.01 0.99 2/63 32011
Raw data (stat): 32002 (java) R 32001 30701 30700 0 -1 0 18005 0 1 0 4247 44 0 0 19 0 10 0 419484126 855703552 22886 4294967295 134512640 134569956 3221224384 3221214536 1131148757 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208912 22886 13073 16 0 208896 0
vsize: 835648
[startup+60.0049 s]
Raw data (loadavg): 1.04 1.01 0.99 2/63 32011
Raw data (stat): 32002 (java) R 32001 30701 30700 0 -1 0 18005 0 1 0 5105 44 0 0 17 0 10 0 419484126 855703552 23227 4294967295 134512640 134569956 3221224384 3221214684 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208912 23227 13073 16 0 208896 0
vsize: 835648
[startup+70.005 s]
Raw data (loadavg): 1.03 1.01 0.99 2/63 32011
Raw data (stat): 32002 (java) R 32001 30701 30700 0 -1 0 18005 0 1 0 5967 45 0 0 19 0 10 0 419484126 855703552 23516 4294967295 134512640 134569956 3221224384 3221214684 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208912 23516 13073 16 0 208896 0
vsize: 835648
[startup+80.0063 s]
Raw data (loadavg): 1.03 1.01 0.99 2/63 32011
Raw data (stat): 32002 (java) R 32001 30701 30700 0 -1 0 18005 0 1 0 6829 45 0 0 20 0 10 0 419484126 855703552 23921 4294967295 134512640 134569956 3221224384 3221214168 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208912 23921 13073 16 0 208896 0
vsize: 835648
[startup+90.0073 s]
Raw data (loadavg): 1.02 1.01 0.99 2/63 32011
Raw data (stat): 32002 (java) R 32001 30701 30700 0 -1 0 18005 0 1 0 7697 45 0 0 21 0 10 0 419484126 855703552 24152 4294967295 134512640 134569956 3221224384 3221214692 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208912 24152 13073 16 0 208896 0
vsize: 835648
[startup+100.01 s]
Raw data (loadavg): 1.02 1.01 0.99 2/63 32011
Raw data (stat): 32002 (java) S 32001 30701 30700 0 -1 0 18005 0 1 0 8565 46 0 0 16 0 10 0 419484126 855703552 24512 4294967295 134512640 134569956 3221224384 3221213496 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208912 24512 13073 16 0 208896 0
vsize: 835648
[startup+110.01 s]
Raw data (loadavg): 1.02 1.01 0.99 2/63 32011
Raw data (stat): 32002 (java) S 32001 30701 30700 0 -1 0 18005 0 1 0 9445 46 0 0 16 0 10 0 419484126 855703552 24754 4294967295 134512640 134569956 3221224384 3221213408 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208912 24754 13073 16 0 208896 0
vsize: 835648
[startup+120.014 s]
Raw data (loadavg): 1.01 1.01 0.99 2/63 32011
Raw data (stat): 32002 (java) S 32001 30701 30700 0 -1 0 18005 0 1 0 10328 46 0 0 16 0 10 0 419484126 855703552 24997 4294967295 134512640 134569956 3221224384 3221213496 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208912 24997 13073 16 0 208896 0
vsize: 835648
[startup+130.018 s]
Raw data (loadavg): 1.01 1.00 0.99 2/63 32011
Raw data (stat): 32002 (java) R 32001 30701 30700 0 -1 0 18005 0 1 0 11205 47 0 0 16 0 10 0 419484126 855703552 25236 4294967295 134512640 134569956 3221224384 3221214684 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208912 25236 13073 16 0 208896 0
vsize: 835648
[startup+140.019 s]
Raw data (loadavg): 1.01 1.00 0.99 2/63 32011
Raw data (stat): 32002 (java) R 32001 30701 30700 0 -1 0 18005 0 1 0 12095 47 0 0 16 0 10 0 419484126 855703552 25453 4294967295 134512640 134569956 3221224384 3221214240 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208912 25453 13073 16 0 208896 0
vsize: 835648
[startup+150.023 s]
Raw data (loadavg): 1.01 1.00 0.99 2/63 32011
Raw data (stat): 32002 (java) R 32001 30701 30700 0 -1 0 18005 0 1 0 12986 47 0 0 16 0 10 0 419484126 855703552 25659 4294967295 134512640 134569956 3221224384 3221214612 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208912 25659 13073 16 0 208896 0
vsize: 835648
[startup+160.026 s]
Raw data (loadavg): 1.00 1.00 0.99 2/63 32011
Raw data (stat): 32002 (java) R 32001 30701 30700 0 -1 0 18005 0 1 0 13870 48 0 0 16 0 10 0 419484126 855703552 25843 4294967295 134512640 134569956 3221224384 3221214256 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208912 25843 13073 16 0 208896 0
vsize: 835648
[startup+170.027 s]
Raw data (loadavg): 1.00 1.00 0.99 2/63 32011
Raw data (stat): 32002 (java) R 32001 30701 30700 0 -1 0 18005 0 1 0 14756 48 0 0 16 0 10 0 419484126 855703552 26032 4294967295 134512640 134569956 3221224384 3221214240 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208912 26032 13073 16 0 208896 0
vsize: 835648
[startup+180.028 s]
Raw data (loadavg): 1.00 1.00 0.99 2/63 32011
Raw data (stat): 32002 (java) R 32001 30701 30700 0 -1 0 18005 0 1 0 15650 48 0 0 16 0 10 0 419484126 855703552 26314 4294967295 134512640 134569956 3221224384 3221214684 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208912 26314 13073 16 0 208896 0
vsize: 835648
[startup+190.028 s]
Raw data (loadavg): 1.00 1.00 0.99 2/63 32011
Raw data (stat): 32002 (java) R 32001 30701 30700 0 -1 0 18005 0 1 0 16550 48 0 0 16 0 10 0 419484126 855703552 26488 4294967295 134512640 134569956 3221224384 3221214700 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208912 26488 13073 16 0 208896 0
vsize: 835648
[startup+200.028 s]
Raw data (loadavg): 1.00 1.00 0.99 2/63 32011
Raw data (stat): 32002 (java) S 32001 30701 30700 0 -1 0 18005 0 1 0 17449 48 0 0 16 0 10 0 419484126 855703552 26663 4294967295 134512640 134569956 3221224384 3221213408 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208912 26663 13073 16 0 208896 0
vsize: 835648
[startup+210.033 s]
Raw data (loadavg): 1.00 1.00 0.99 2/63 32011
Raw data (stat): 32002 (java) R 32001 30701 30700 0 -1 0 18005 0 1 0 18343 48 0 0 16 0 10 0 419484126 855703552 26842 4294967295 134512640 134569956 3221224384 3221214536 1131148840 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208912 26842 13073 16 0 208896 0
vsize: 835648
[startup+220.037 s]
Raw data (loadavg): 1.00 1.00 0.99 2/63 32011
Raw data (stat): 32002 (java) R 32001 30701 30700 0 -1 0 18005 0 1 0 19244 49 0 0 16 0 10 0 419484126 855703552 27005 4294967295 134512640 134569956 3221224384 3221214256 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208912 27005 13073 16 0 208896 0
vsize: 835648
[startup+230.037 s]
Raw data (loadavg): 1.00 1.00 0.99 2/63 32011
Raw data (stat): 32002 (java) R 32001 30701 30700 0 -1 0 18005 0 1 0 20147 49 0 0 16 0 10 0 419484126 855703552 27160 4294967295 134512640 134569956 3221224384 3221214684 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208912 27160 13073 16 0 208896 0
vsize: 835648
[startup+240.04 s]
Raw data (loadavg): 1.00 1.00 0.99 2/63 32011
Raw data (stat): 32002 (java) R 32001 30701 30700 0 -1 0 18005 0 1 0 21050 49 0 0 16 0 10 0 419484126 855703552 27316 4294967295 134512640 134569956 3221224384 3221214240 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208912 27316 13073 16 0 208896 0
vsize: 835648
[startup+250.045 s]
Raw data (loadavg): 1.00 1.00 0.99 2/63 32011
Raw data (stat): 32002 (java) R 32001 30701 30700 0 -1 0 18005 0 1 0 21948 49 0 0 16 0 10 0 419484126 855703552 27482 4294967295 134512640 134569956 3221224384 3221214256 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208912 27482 13073 16 0 208896 0
vsize: 835648
[startup+260.047 s]
Raw data (loadavg): 1.00 1.00 0.99 2/63 32011
Raw data (stat): 32002 (java) R 32001 30701 30700 0 -1 0 18005 0 1 0 22856 50 0 0 16 0 10 0 419484126 855703552 27632 4294967295 134512640 134569956 3221224384 3221214240 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208912 27632 13073 16 0 208896 0
vsize: 835648
[startup+270.051 s]
Raw data (loadavg): 1.00 1.00 0.99 2/63 32011
Raw data (stat): 32002 (java) R 32001 30701 30700 0 -1 0 18005 0 1 0 23754 50 0 0 16 0 10 0 419484126 855703552 27768 4294967295 134512640 134569956 3221224384 3221214240 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208912 27768 13073 16 0 208896 0
vsize: 835648
[startup+280.054 s]
Raw data (loadavg): 1.00 1.00 0.99 2/63 32011
Raw data (stat): 32002 (java) R 32001 30701 30700 0 -1 0 18005 0 1 0 24651 50 0 0 16 0 10 0 419484126 855703552 27896 4294967295 134512640 134569956 3221224384 3221214168 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208912 27896 13073 16 0 208896 0
vsize: 835648
[startup+290.058 s]
Raw data (loadavg): 1.00 1.00 0.99 2/63 32011
Raw data (stat): 32002 (java) S 32001 30701 30700 0 -1 0 18005 0 1 0 25543 50 0 0 16 0 10 0 419484126 855703552 28193 4294967295 134512640 134569956 3221224384 3221213480 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208912 28193 13073 16 0 208896 0
vsize: 835648
[startup+300.058 s]
Raw data (loadavg): 1.00 1.00 0.99 2/63 32011
Raw data (stat): 32002 (java) R 32001 30701 30700 0 -1 0 18005 0 1 0 26449 51 0 0 16 0 10 0 419484126 855703552 28335 4294967295 134512640 134569956 3221224384 3221214240 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208912 28335 13073 16 0 208896 0
vsize: 835648
[startup+310.058 s]
Raw data (loadavg): 1.00 1.00 0.99 2/63 32011
Raw data (stat): 32002 (java) R 32001 30701 30700 0 -1 0 18005 0 1 0 27356 51 0 0 17 0 10 0 419484126 855703552 28468 4294967295 134512640 134569956 3221224384 3221214684 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208912 28468 13073 16 0 208896 0
vsize: 835648
[startup+320.063 s]
Raw data (loadavg): 1.00 1.00 0.99 2/63 32011
Raw data (stat): 32002 (java) R 32001 30701 30700 0 -1 0 18005 0 1 0 28265 51 0 0 16 0 10 0 419484126 855703552 28601 4294967295 134512640 134569956 3221224384 3221214168 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208912 28601 13073 16 0 208896 0
vsize: 835648
[startup+330.066 s]
Raw data (loadavg): 1.00 1.00 0.99 2/63 32011
Raw data (stat): 32002 (java) S 32001 30701 30700 0 -1 0 18005 0 1 0 29165 52 0 0 16 0 10 0 419484126 855703552 28735 4294967295 134512640 134569956 3221224384 3221213496 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208912 28735 13073 16 0 208896 0
vsize: 835648
[startup+340.07 s]
Raw data (loadavg): 1.00 1.00 0.99 2/63 32011
Raw data (stat): 32002 (java) R 32001 30701 30700 0 -1 0 18005 0 1 0 30073 52 0 0 16 0 10 0 419484126 855703552 28870 4294967295 134512640 134569956 3221224384 3221214256 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208912 28870 13073 16 0 208896 0
vsize: 835648
[startup+350.071 s]
Raw data (loadavg): 1.00 1.00 0.99 2/63 32011
Raw data (stat): 32002 (java) R 32001 30701 30700 0 -1 0 18005 0 1 0 30982 52 0 0 16 0 10 0 419484126 855703552 28998 4294967295 134512640 134569956 3221224384 3221214168 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208912 28998 13073 16 0 208896 0
vsize: 835648
[startup+360.075 s]
Raw data (loadavg): 1.00 1.00 0.99 2/63 32011
Raw data (stat): 32002 (java) S 32001 30701 30700 0 -1 0 18005 0 1 0 31887 53 0 0 16 0 10 0 419484126 855703552 29124 4294967295 134512640 134569956 3221224384 3221213496 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208912 29124 13073 16 0 208896 0
vsize: 835648
[startup+370.079 s]
Raw data (loadavg): 1.00 1.00 0.99 2/63 32011
Raw data (stat): 32002 (java) R 32001 30701 30700 0 -1 0 18005 0 1 0 32794 53 0 0 16 0 10 0 419484126 855703552 29252 4294967295 134512640 134569956 3221224384 3221214684 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208912 29252 13073 16 0 208896 0
vsize: 835648
[startup+380.079 s]
Raw data (loadavg): 1.00 1.00 0.99 2/63 32011
Raw data (stat): 32002 (java) R 32001 30701 30700 0 -1 0 18005 0 1 0 33704 54 0 0 16 0 10 0 419484126 855703552 29368 4294967295 134512640 134569956 3221224384 3221214168 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208912 29368 13073 16 0 208896 0
vsize: 835648
[startup+390.08 s]
Raw data (loadavg): 1.00 1.00 0.99 2/63 32011
Raw data (stat): 32002 (java) R 32001 30701 30700 0 -1 0 18005 0 1 0 34614 54 0 0 16 0 10 0 419484126 855703552 29485 4294967295 134512640 134569956 3221224384 3221214684 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208912 29485 13073 16 0 208896 0
vsize: 835648
[startup+400.08 s]
Raw data (loadavg): 1.00 1.00 0.99 2/63 32011
Raw data (stat): 32002 (java) R 32001 30701 30700 0 -1 0 18005 0 1 0 35516 55 0 0 16 0 10 0 419484126 855703552 29612 4294967295 134512640 134569956 3221224384 3221214768 1131229780 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208912 29612 13073 16 0 208896 0
vsize: 835648
[startup+410.081 s]
Raw data (loadavg): 1.00 1.00 0.99 2/63 32011
Raw data (stat): 32002 (java) R 32001 30701 30700 0 -1 0 18005 0 1 0 36425 55 0 0 16 0 10 0 419484126 855703552 29725 4294967295 134512640 134569956 3221224384 3221214684 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208912 29725 13073 16 0 208896 0
vsize: 835648
[startup+420.083 s]
Raw data (loadavg): 1.00 1.00 0.99 2/63 32011
Raw data (stat): 32002 (java) R 32001 30701 30700 0 -1 0 18005 0 1 0 37334 55 0 0 16 0 10 0 419484126 855703552 29841 4294967295 134512640 134569956 3221224384 3221214168 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208912 29841 13073 16 0 208896 0
vsize: 835648
[startup+430.083 s]
Raw data (loadavg): 1.00 1.00 0.99 2/63 32011
Raw data (stat): 32002 (java) R 32001 30701 30700 0 -1 0 18005 0 1 0 38233 56 0 0 16 0 10 0 419484126 855703552 29964 4294967295 134512640 134569956 3221224384 3221214700 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208912 29964 13073 16 0 208896 0
vsize: 835648
[startup+440.084 s]
Raw data (loadavg): 1.00 1.00 0.99 2/63 32011
Raw data (stat): 32002 (java) R 32001 30701 30700 0 -1 0 18005 0 1 0 39142 56 0 0 16 0 10 0 419484126 855703552 30075 4294967295 134512640 134569956 3221224384 3221214536 1131148812 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208912 30075 13073 16 0 208896 0
vsize: 835648
[startup+450.084 s]
Raw data (loadavg): 1.00 1.00 0.99 2/63 32011
Raw data (stat): 32002 (java) R 32001 30701 30700 0 -1 0 18005 0 1 0 40051 56 0 0 16 0 10 0 419484126 855703552 30185 4294967295 134512640 134569956 3221224384 3221214612 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208912 30185 13073 16 0 208896 0
vsize: 835648
[startup+460.085 s]
Raw data (loadavg): 1.00 1.00 0.99 2/63 32011
Raw data (stat): 32002 (java) R 32001 30701 30700 0 -1 0 18005 0 1 0 40952 57 0 0 16 0 10 0 419484126 855703552 30295 4294967295 134512640 134569956 3221224384 3221214700 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208912 30295 13073 16 0 208896 0
vsize: 835648
[startup+470.086 s]
Raw data (loadavg): 1.00 1.00 0.99 2/63 32011
Raw data (stat): 32002 (java) R 32001 30701 30700 0 -1 0 18005 0 1 0 41861 57 0 0 16 0 10 0 419484126 855703552 30402 4294967295 134512640 134569956 3221224384 3221214612 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208912 30402 13073 16 0 208896 0
vsize: 835648
[startup+480.086 s]
Raw data (loadavg): 1.00 1.00 0.99 2/63 32011
Raw data (stat): 32002 (java) R 32001 30701 30700 0 -1 0 18005 0 1 0 42770 57 0 0 16 0 10 0 419484126 855703552 30508 4294967295 134512640 134569956 3221224384 3221214684 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208912 30508 13073 16 0 208896 0
vsize: 835648
[startup+490.088 s]
Raw data (loadavg): 1.00 1.00 0.99 2/63 32011
Raw data (stat): 32002 (java) R 32001 30701 30700 0 -1 0 18005 0 1 0 43678 58 0 0 16 0 10 0 419484126 855703552 30612 4294967295 134512640 134569956 3221224384 3221214256 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208912 30612 13073 16 0 208896 0
vsize: 835648
[startup+500.089 s]
Raw data (loadavg): 1.00 1.00 0.99 2/63 32011
Raw data (stat): 32002 (java) R 32001 30701 30700 0 -1 0 18005 0 1 0 44579 58 0 0 16 0 10 0 419484126 855703552 30724 4294967295 134512640 134569956 3221224384 3221214684 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208912 30724 13073 16 0 208896 0
vsize: 835648
[startup+510.089 s]
Raw data (loadavg): 1.00 1.00 0.99 2/63 32011
Raw data (stat): 32002 (java) R 32001 30701 30700 0 -1 0 18005 0 1 0 45488 58 0 0 16 0 10 0 419484126 855703552 30826 4294967295 134512640 134569956 3221224384 3221214684 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208912 30826 13073 16 0 208896 0
vsize: 835648
[startup+520.089 s]
Raw data (loadavg): 1.00 1.00 0.99 2/63 32011
Raw data (stat): 32002 (java) R 32001 30701 30700 0 -1 0 18005 0 1 0 46399 59 0 0 16 0 10 0 419484126 855703552 30927 4294967295 134512640 134569956 3221224384 3221214536 1131148687 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208912 30927 13073 16 0 208896 0
vsize: 835648
[startup+530.091 s]
Raw data (loadavg): 1.00 1.00 0.99 2/63 32011
Raw data (stat): 32002 (java) R 32001 30701 30700 0 -1 0 18005 0 1 0 47304 60 0 0 16 0 10 0 419484126 855703552 31029 4294967295 134512640 134569956 3221224384 3221214256 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208912 31029 13073 16 0 208896 0
vsize: 835648
[startup+540.092 s]
Raw data (loadavg): 1.00 1.00 0.99 2/63 32011
Raw data (stat): 32002 (java) R 32001 30701 30700 0 -1 0 18005 0 1 0 48204 60 0 0 16 0 10 0 419484126 855703552 31123 4294967295 134512640 134569956 3221224384 3221214240 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208912 31123 13073 16 0 208896 0
vsize: 835648
[startup+550.092 s]
Raw data (loadavg): 1.00 1.00 0.99 2/63 32011
Raw data (stat): 32002 (java) R 32001 30701 30700 0 -1 0 18005 0 1 0 49100 61 0 0 16 0 10 0 419484126 855703552 31212 4294967295 134512640 134569956 3221224384 3221214536 1131148704 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208912 31212 13073 16 0 208896 0
vsize: 835648
[startup+560.096 s]
Raw data (loadavg): 1.00 1.00 0.99 2/63 32011
Raw data (stat): 32002 (java) R 32001 30701 30700 0 -1 0 18005 0 1 0 50006 61 0 0 16 0 10 0 419484126 855703552 31492 4294967295 134512640 134569956 3221224384 3221214240 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208912 31492 13073 16 0 208896 0
vsize: 835648
[startup+570.096 s]
Raw data (loadavg): 1.00 1.00 0.99 2/63 32011
Raw data (stat): 32002 (java) R 32001 30701 30700 0 -1 0 18005 0 1 0 50908 61 0 0 16 0 10 0 419484126 855703552 31582 4294967295 134512640 134569956 3221224384 3221214692 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208912 31582 13073 16 0 208896 0
vsize: 835648
[startup+580.098 s]
Raw data (loadavg): 1.00 1.00 0.99 2/63 32011
Raw data (stat): 32002 (java) R 32001 30701 30700 0 -1 0 18005 0 1 0 51818 61 0 0 16 0 10 0 419484126 855703552 31679 4294967295 134512640 134569956 3221224384 3221214256 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208912 31679 13073 16 0 208896 0
vsize: 835648
[startup+590.101 s]
Raw data (loadavg): 1.00 1.00 0.99 2/63 32011
Raw data (stat): 32002 (java) R 32001 30701 30700 0 -1 0 18005 0 1 0 52728 62 0 0 16 0 10 0 419484126 855703552 31773 4294967295 134512640 134569956 3221224384 3221214684 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208912 31773 13073 16 0 208896 0
vsize: 835648
[startup+600.105 s]
Raw data (loadavg): 1.00 1.00 0.99 2/63 32011
Raw data (stat): 32002 (java) R 32001 30701 30700 0 -1 0 18005 0 1 0 53638 62 0 0 16 0 10 0 419484126 855703552 31868 4294967295 134512640 134569956 3221224384 3221214684 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208912 31868 13073 16 0 208896 0
vsize: 835648
[startup+610.106 s]
Raw data (loadavg): 1.00 1.00 0.99 2/63 32011
Raw data (stat): 32002 (java) R 32001 30701 30700 0 -1 0 18005 0 1 0 54548 62 0 0 16 0 10 0 419484126 855703552 31963 4294967295 134512640 134569956 3221224384 3221214168 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208912 31963 13073 16 0 208896 0
vsize: 835648
[startup+620.107 s]
Raw data (loadavg): 1.00 1.00 0.99 2/63 32011
Raw data (stat): 32002 (java) R 32001 30701 30700 0 -1 0 18005 0 1 0 55458 63 0 0 16 0 10 0 419484126 855703552 32056 4294967295 134512640 134569956 3221224384 3221214072 1076874552 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208912 32056 13073 16 0 208896 0
vsize: 835648
[startup+630.107 s]
Raw data (loadavg): 1.00 1.00 0.99 2/63 32011
Raw data (stat): 32002 (java) R 32001 30701 30700 0 -1 0 18005 0 1 0 56366 63 0 0 16 0 10 0 419484126 855703552 32148 4294967295 134512640 134569956 3221224384 3221214256 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208912 32148 13073 16 0 208896 0
vsize: 835648
[startup+640.106 s]
Raw data (loadavg): 1.00 1.00 0.99 2/63 32011
Raw data (stat): 32002 (java) R 32001 30701 30700 0 -1 0 18005 0 1 0 57275 64 0 0 16 0 10 0 419484126 855703552 32242 4294967295 134512640 134569956 3221224384 3221214684 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208912 32242 13073 16 0 208896 0
vsize: 835648
[startup+650.108 s]
Raw data (loadavg): 1.00 1.00 0.99 2/63 32011
Raw data (stat): 32002 (java) R 32001 30701 30700 0 -1 0 18005 0 1 0 58184 64 0 0 16 0 10 0 419484126 855703552 32334 4294967295 134512640 134569956 3221224384 3221214240 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208912 32334 13073 16 0 208896 0
vsize: 835648
[startup+660.108 s]
Raw data (loadavg): 1.00 1.00 0.99 2/63 32011
Raw data (stat): 32002 (java) R 32001 30701 30700 0 -1 0 18005 0 1 0 59086 65 0 0 16 0 10 0 419484126 855703552 32431 4294967295 134512640 134569956 3221224384 3221214684 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208912 32431 13073 16 0 208896 0
vsize: 835648
[startup+670.109 s]
Raw data (loadavg): 1.07 1.02 1.00 2/63 32011
Raw data (stat): 32002 (java) R 32001 30701 30700 0 -1 0 18005 0 1 0 59995 65 0 0 16 0 10 0 419484126 855703552 32521 4294967295 134512640 134569956 3221224384 3221214256 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208912 32521 13073 16 0 208896 0
vsize: 835648
[startup+680.109 s]
Raw data (loadavg): 1.06 1.02 1.00 2/63 32011
Raw data (stat): 32002 (java) R 32001 30701 30700 0 -1 0 18005 0 1 0 60907 65 0 0 16 0 10 0 419484126 855703552 32610 4294967295 134512640 134569956 3221224384 3221214684 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208912 32610 13073 16 0 208896 0
vsize: 835648
[startup+690.109 s]
Raw data (loadavg): 1.05 1.01 1.00 2/63 32011
Raw data (stat): 32002 (java) R 32001 30701 30700 0 -1 0 18005 0 1 0 61813 66 0 0 16 0 10 0 419484126 855703552 32701 4294967295 134512640 134569956 3221224384 3221214700 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208912 32701 13073 16 0 208896 0
vsize: 835648
[startup+700.109 s]
Raw data (loadavg): 1.04 1.01 1.00 2/63 32011
Raw data (stat): 32002 (java) R 32001 30701 30700 0 -1 0 18005 0 1 0 62727 67 0 0 16 0 10 0 419484126 855703552 32779 4294967295 134512640 134569956 3221224384 3221214700 1080204166 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208912 32779 13073 16 0 208896 0
vsize: 835648
[startup+710.112 s]
Raw data (loadavg): 1.04 1.01 1.00 2/63 32011
Raw data (stat): 32002 (java) S 32001 30701 30700 0 -1 0 18005 0 1 0 63640 67 0 0 16 0 10 0 419484126 855703552 32853 4294967295 134512640 134569956 3221224384 3221213480 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208912 32853 13073 16 0 208896 0
vsize: 835648
[startup+720.116 s]
Raw data (loadavg): 1.03 1.01 1.00 2/63 32011
Raw data (stat): 32002 (java) R 32001 30701 30700 0 -1 0 18005 0 1 0 64545 68 0 0 16 0 10 0 419484126 855703552 32934 4294967295 134512640 134569956 3221224384 3221214700 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208912 32934 13073 16 0 208896 0
vsize: 835648
[startup+730.117 s]
Raw data (loadavg): 1.02 1.01 1.00 2/63 32011
Raw data (stat): 32002 (java) R 32001 30701 30700 0 -1 0 18005 0 1 0 65457 68 0 0 16 0 10 0 419484126 855703552 33013 4294967295 134512640 134569956 3221224384 3221214684 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208912 33013 13073 16 0 208896 0
vsize: 835648
[startup+740.12 s]
Raw data (loadavg): 1.02 1.01 1.00 2/63 32011
Raw data (stat): 32002 (java) R 32001 30701 30700 0 -1 0 18005 0 1 0 66368 68 0 0 16 0 10 0 419484126 855703552 33091 4294967295 134512640 134569956 3221224384 3221214240 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208912 33091 13073 16 0 208896 0
vsize: 835648
[startup+750.12 s]
Raw data (loadavg): 1.02 1.01 1.00 2/63 32011
Raw data (stat): 32002 (java) R 32001 30701 30700 0 -1 0 18005 0 1 0 67279 68 0 0 16 0 10 0 419484126 855703552 33169 4294967295 134512640 134569956 3221224384 3221214240 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208912 33169 13073 16 0 208896 0
vsize: 835648
[startup+760.12 s]
Raw data (loadavg): 1.01 1.01 1.00 2/63 32011
Raw data (stat): 32002 (java) R 32001 30701 30700 0 -1 0 18005 0 1 0 68188 69 0 0 16 0 10 0 419484126 855703552 33248 4294967295 134512640 134569956 3221224384 3221214700 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208912 33248 13073 16 0 208896 0
vsize: 835648
[startup+770.124 s]
Raw data (loadavg): 1.01 1.01 1.00 2/63 32011
Raw data (stat): 32002 (java) R 32001 30701 30700 0 -1 0 18005 0 1 0 69089 69 0 0 16 0 10 0 419484126 855703552 33332 4294967295 134512640 134569956 3221224384 3221214536 1131148711 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208912 33332 13073 16 0 208896 0
vsize: 835648
[startup+780.125 s]
Raw data (loadavg): 1.01 1.01 1.00 2/63 32011
Raw data (stat): 32002 (java) R 32001 30701 30700 0 -1 0 18005 0 1 0 69998 69 0 0 16 0 10 0 419484126 855703552 33411 4294967295 134512640 134569956 3221224384 3221214240 1077558368 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208912 33411 13073 16 0 208896 0
vsize: 835648
[startup+790.127 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 32011
Raw data (stat): 32002 (java) S 32001 30701 30700 0 -1 0 18005 0 1 0 70910 70 0 0 16 0 10 0 419484126 855703552 33484 4294967295 134512640 134569956 3221224384 3221213408 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208912 33484 13073 16 0 208896 0
vsize: 835648
[startup+800.127 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 32011
Raw data (stat): 32002 (java) S 32001 30701 30700 0 -1 0 18005 0 1 0 71819 70 0 0 16 0 10 0 419484126 855703552 33561 4294967295 134512640 134569956 3221224384 3221213496 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208912 33561 13073 16 0 208896 0
vsize: 835648
[startup+810.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 32011
Raw data (stat): 32002 (java) S 32001 30701 30700 0 -1 0 18005 0 1 0 72721 70 0 0 16 0 10 0 419484126 855703552 33643 4294967295 134512640 134569956 3221224384 3221213480 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208912 33643 13073 16 0 208896 0
vsize: 835648
[startup+820.132 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 32011
Raw data (stat): 32002 (java) R 32001 30701 30700 0 -1 0 18005 0 1 0 73633 70 0 0 16 0 10 0 419484126 855703552 33723 4294967295 134512640 134569956 3221224384 3221214692 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208912 33723 13073 16 0 208896 0
vsize: 835648
[startup+830.132 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 32011
Raw data (stat): 32002 (java) R 32001 30701 30700 0 -1 0 18005 0 1 0 74540 70 0 0 16 0 10 0 419484126 855703552 33799 4294967295 134512640 134569956 3221224384 3221214168 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208912 33799 13073 16 0 208896 0
vsize: 835648
[startup+840.136 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 32011
Raw data (stat): 32002 (java) R 32001 30701 30700 0 -1 0 18005 0 1 0 75447 70 0 0 16 0 10 0 419484126 855703552 33878 4294967295 134512640 134569956 3221224384 3221214656 1131193369 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208912 33878 13073 16 0 208896 0
vsize: 835648
[startup+850.139 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 32011
Raw data (stat): 32002 (java) R 32001 30701 30700 0 -1 0 18005 0 1 0 76355 70 0 0 16 0 10 0 419484126 855703552 33955 4294967295 134512640 134569956 3221224384 3221214612 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208912 33955 13073 16 0 208896 0
vsize: 835648
[startup+860.139 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 32011
Raw data (stat): 32002 (java) R 32001 30701 30700 0 -1 0 18005 0 1 0 77262 70 0 0 16 0 10 0 419484126 855703552 34032 4294967295 134512640 134569956 3221224384 3221214536 1131148704 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208912 34032 13073 16 0 208896 0
vsize: 835648
[startup+870.139 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 32011
Raw data (stat): 32002 (java) R 32001 30701 30700 0 -1 0 18005 0 1 0 78169 71 0 0 16 0 10 0 419484126 855703552 34110 4294967295 134512640 134569956 3221224384 3221214256 1080019600 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208912 34110 13073 16 0 208896 0
vsize: 835648
[startup+880.14 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 32011
Raw data (stat): 32002 (java) R 32001 30701 30700 0 -1 0 18005 0 1 0 79076 71 0 0 16 0 10 0 419484126 855703552 34186 4294967295 134512640 134569956 3221224384 3221214256 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208912 34186 13073 16 0 208896 0
vsize: 835648
[startup+890.14 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 32011
Raw data (stat): 32002 (java) R 32001 30701 30700 0 -1 0 18005 0 1 0 79983 71 0 0 16 0 10 0 419484126 855703552 34263 4294967295 134512640 134569956 3221224384 3221214612 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208912 34263 13073 16 0 208896 0
vsize: 835648
[startup+900.141 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 32011
Raw data (stat): 32002 (java) R 32001 30701 30700 0 -1 0 18005 0 1 0 80889 72 0 0 16 0 10 0 419484126 855703552 34338 4294967295 134512640 134569956 3221224384 3221214072 1076874552 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208912 34338 13073 16 0 208896 0
vsize: 835648
[startup+910.146 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 32011
Raw data (stat): 32002 (java) R 32001 30701 30700 0 -1 0 18005 0 1 0 81794 72 0 0 16 0 10 0 419484126 855703552 34413 4294967295 134512640 134569956 3221224384 3221214684 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208912 34413 13073 16 0 208896 0
vsize: 835648
[startup+920.149 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 32011
Raw data (stat): 32002 (java) R 32001 30701 30700 0 -1 0 18005 0 1 0 82699 72 0 0 16 0 10 0 419484126 855703552 34490 4294967295 134512640 134569956 3221224384 3221214536 1131148840 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208912 34490 13073 16 0 208896 0
vsize: 835648
[startup+930.148 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 32011
Raw data (stat): 32002 (java) R 32001 30701 30700 0 -1 0 18005 0 1 0 83604 73 0 0 16 0 10 0 419484126 855703552 34565 4294967295 134512640 134569956 3221224384 3221214700 1080204160 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208912 34565 13073 16 0 208896 0
vsize: 835648
[startup+940.148 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 32011
Raw data (stat): 32002 (java) R 32001 30701 30700 0 -1 0 18005 0 1 0 84509 74 0 0 16 0 10 0 419484126 855703552 34641 4294967295 134512640 134569956 3221224384 3221214692 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208912 34641 13073 16 0 208896 0
vsize: 835648
[startup+950.149 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 32011
Raw data (stat): 32002 (java) R 32001 30701 30700 0 -1 0 18005 0 1 0 85415 74 0 0 16 0 10 0 419484126 855703552 34715 4294967295 134512640 134569956 3221224384 3221214700 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208912 34715 13073 16 0 208896 0
vsize: 835648
[startup+960.149 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 32011
Raw data (stat): 32002 (java) R 32001 30701 30700 0 -1 0 18005 0 1 0 86321 74 0 0 16 0 10 0 419484126 855703552 34790 4294967295 134512640 134569956 3221224384 3221214780 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208912 34790 13073 16 0 208896 0
vsize: 835648
[startup+970.149 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 32011
Raw data (stat): 32002 (java) R 32001 30701 30700 0 -1 0 18005 0 1 0 87228 75 0 0 16 0 10 0 419484126 855703552 34862 4294967295 134512640 134569956 3221224384 3221214684 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208912 34862 13073 16 0 208896 0
vsize: 835648
[startup+980.15 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 32011
Raw data (stat): 32002 (java) R 32001 30701 30700 0 -1 0 18005 0 1 0 88135 75 0 0 16 0 10 0 419484126 855703552 34934 4294967295 134512640 134569956 3221224384 3221214780 1080203551 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208912 34934 13073 16 0 208896 0
vsize: 835648
[startup+990.149 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 32011
Raw data (stat): 32002 (java) R 32001 30701 30700 0 -1 0 18005 0 1 0 89040 76 0 0 16 0 10 0 419484126 855703552 34996 4294967295 134512640 134569956 3221224384 3221214536 1131148669 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208912 34996 13073 16 0 208896 0
vsize: 835648
[startup+1000.15 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 32011
Raw data (stat): 32002 (java) R 32001 30701 30700 0 -1 0 18005 0 1 0 89945 76 0 0 16 0 10 0 419484126 855703552 35070 4294967295 134512640 134569956 3221224384 3221214168 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208912 35070 13073 16 0 208896 0
vsize: 835648
[startup+1010.15 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 32011
Raw data (stat): 32002 (java) R 32001 30701 30700 0 -1 0 18005 0 1 0 90850 76 0 0 16 0 10 0 419484126 855703552 35138 4294967295 134512640 134569956 3221224384 3221214168 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208912 35138 13073 16 0 208896 0
vsize: 835648
[startup+1020.15 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 32011
Raw data (stat): 32002 (java) R 32001 30701 30700 0 -1 0 18005 0 1 0 91756 77 0 0 17 0 10 0 419484126 855703552 35210 4294967295 134512640 134569956 3221224384 3221214684 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208912 35210 13073 16 0 208896 0
vsize: 835648
[startup+1030.16 s]
Raw data (loadavg): 1.00 1.00 1.00 3/63 32011
Raw data (stat): 32002 (java) R 32001 30701 30700 0 -1 0 18005 0 1 0 92659 77 0 0 16 0 10 0 419484126 855703552 35755 4294967295 134512640 134569956 3221224384 3221214612 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208912 35755 13073 16 0 208896 0
vsize: 835648
[startup+1040.16 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 32011
Raw data (stat): 32002 (java) R 32001 30701 30700 0 -1 0 18005 0 1 0 93569 77 0 0 16 0 10 0 419484126 855703552 35755 4294967295 134512640 134569956 3221224384 3221214168 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208912 35755 13073 16 0 208896 0
vsize: 835648
[startup+1050.16 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 32011
Raw data (stat): 32002 (java) R 32001 30701 30700 0 -1 0 18005 0 1 0 94473 78 0 0 16 0 10 0 419484126 855703552 35857 4294967295 134512640 134569956 3221224384 3221214536 1131148787 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208912 35857 13073 16 0 208896 0
vsize: 835648
[startup+1060.16 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 32011
Raw data (stat): 32002 (java) R 32001 30701 30700 0 -1 0 18005 0 1 0 95371 78 0 0 16 0 10 0 419484126 855703552 35909 4294967295 134512640 134569956 3221224384 3221214168 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208912 35909 13073 16 0 208896 0
vsize: 835648
[startup+1070.16 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 32011
Raw data (stat): 32002 (java) R 32001 30701 30700 0 -1 0 18005 0 1 0 96268 79 0 0 16 0 10 0 419484126 855703552 35985 4294967295 134512640 134569956 3221224384 3221214240 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208912 35985 13073 16 0 208896 0
vsize: 835648
[startup+1080.17 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 32011
Raw data (stat): 32002 (java) R 32001 30701 30700 0 -1 0 18005 0 1 0 97165 79 0 0 16 0 10 0 419484126 855703552 36063 4294967295 134512640 134569956 3221224384 3221214240 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208912 36063 13073 16 0 208896 0
vsize: 835648
[startup+1090.17 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 32011
Raw data (stat): 32002 (java) R 32001 30701 30700 0 -1 0 18005 0 1 0 98070 80 0 0 16 0 10 0 419484126 855703552 36121 4294967295 134512640 134569956 3221224384 3221214684 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208912 36121 13073 16 0 208896 0
vsize: 835648
[startup+1100.17 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 32011
Raw data (stat): 32002 (java) R 32001 30701 30700 0 -1 0 18005 0 1 0 98968 80 0 0 16 0 10 0 419484126 855703552 36199 4294967295 134512640 134569956 3221224384 3221214612 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208912 36199 13073 16 0 208896 0
vsize: 835648
[startup+1110.17 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 32011
Raw data (stat): 32002 (java) R 32001 30701 30700 0 -1 0 18005 0 1 0 99865 80 0 0 16 0 10 0 419484126 855703552 36245 4294967295 134512640 134569956 3221224384 3221214684 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208912 36245 13073 16 0 208896 0
vsize: 835648
[startup+1120.17 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 32011
Raw data (stat): 32002 (java) S 32001 30701 30700 0 -1 0 18005 0 1 0 100767 80 0 0 16 0 10 0 419484126 855703552 36307 4294967295 134512640 134569956 3221224384 3221213480 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208912 36307 13073 16 0 208896 0
vsize: 835648
[startup+1130.17 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 32011
Raw data (stat): 32002 (java) R 32001 30701 30700 0 -1 0 18005 0 1 0 101658 80 0 0 16 0 10 0 419484126 855703552 36398 4294967295 134512640 134569956 3221224384 3221214684 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208912 36398 13073 16 0 208896 0
vsize: 835648
[startup+1140.18 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 32011
Raw data (stat): 32002 (java) R 32001 30701 30700 0 -1 0 18005 0 1 0 102565 80 0 0 16 0 10 0 419484126 855703552 36449 4294967295 134512640 134569956 3221224384 3221214536 1131148840 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208912 36449 13073 16 0 208896 0
vsize: 835648
[startup+1150.18 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 32011
Raw data (stat): 32002 (java) R 32001 30701 30700 0 -1 0 18005 0 1 0 103466 80 0 0 16 0 10 0 419484126 855703552 36506 4294967295 134512640 134569956 3221224384 3221214240 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208912 36506 13073 16 0 208896 0
vsize: 835648
[startup+1160.18 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 32011
Raw data (stat): 32002 (java) R 32001 30701 30700 0 -1 0 18005 0 1 0 104365 80 0 0 16 0 10 0 419484126 855703552 36566 4294967295 134512640 134569956 3221224384 3221214684 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208912 36566 13073 16 0 208896 0
vsize: 835648
[startup+1170.19 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 32011
Raw data (stat): 32002 (java) R 32001 30701 30700 0 -1 0 18005 0 1 0 105264 80 0 0 16 0 10 0 419484126 855703552 36628 4294967295 134512640 134569956 3221224384 3221214168 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208912 36628 13073 16 0 208896 0
vsize: 835648
[startup+1180.19 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 32011
Raw data (stat): 32002 (java) R 32001 30701 30700 0 -1 0 18005 0 1 0 106164 80 0 0 16 0 10 0 419484126 855703552 36719 4294967295 134512640 134569956 3221224384 3221214700 1080204146 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208912 36719 13073 16 0 208896 0
vsize: 835648
[startup+1190.19 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 32011
Raw data (stat): 32002 (java) S 32001 30701 30700 0 -1 0 18005 0 1 0 107072 80 0 0 16 0 10 0 419484126 855703552 36745 4294967295 134512640 134569956 3221224384 3221213480 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208912 36745 13073 16 0 208896 0
vsize: 835648
[startup+1200.19 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 32011
Raw data (stat): 32002 (java) S 32001 30701 30700 0 -1 0 18005 0 1 0 107971 81 0 0 16 0 10 0 419484126 855703552 36811 4294967295 134512640 134569956 3221224384 3221213480 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208912 36811 13073 16 0 208896 0
vsize: 835648
[startup+1210.19 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 32011
Raw data (stat): 32002 (java) R 32001 30701 30700 0 -1 0 18005 0 1 0 108872 81 0 0 16 0 10 0 419484126 855703552 36895 4294967295 134512640 134569956 3221224384 3221214240 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208912 36895 13073 16 0 208896 0
vsize: 835648
[startup+1220.19 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 32011
Raw data (stat): 32002 (java) R 32001 30701 30700 0 -1 0 18005 0 1 0 109776 81 0 0 16 0 10 0 419484126 855703552 36955 4294967295 134512640 134569956 3221224384 3221214780 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208912 36955 13073 16 0 208896 0
vsize: 835648
[startup+1230.19 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 32011
Raw data (stat): 32002 (java) R 32001 30701 30700 0 -1 0 18005 0 1 0 110676 82 0 0 16 0 10 0 419484126 855703552 36988 4294967295 134512640 134569956 3221224384 3221214168 1080019600 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208912 36988 13073 16 0 208896 0
vsize: 835648
[startup+1240.19 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 32011
Raw data (stat): 32002 (java) R 32001 30701 30700 0 -1 0 18005 0 1 0 111576 82 0 0 16 0 10 0 419484126 855703552 37058 4294967295 134512640 134569956 3221224384 3221214536 1131148656 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208912 37058 13073 16 0 208896 0
vsize: 835648
[startup+1250.19 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 32011
Raw data (stat): 32002 (java) R 32001 30701 30700 0 -1 0 18005 0 1 0 112481 83 0 0 16 0 10 0 419484126 855703552 37159 4294967295 134512640 134569956 3221224384 3221214536 1131148732 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208912 37159 13073 16 0 208896 0
vsize: 835648
[startup+1260.2 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 32011
Raw data (stat): 32002 (java) S 32001 30701 30700 0 -1 0 18005 0 1 0 113385 83 0 0 16 0 10 0 419484126 855703552 37182 4294967295 134512640 134569956 3221224384 3221213496 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208912 37182 13073 16 0 208896 0
vsize: 835648
[startup+1270.2 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 32011
Raw data (stat): 32002 (java) R 32001 30701 30700 0 -1 0 18005 0 1 0 114289 84 0 0 16 0 10 0 419484126 855703552 37245 4294967295 134512640 134569956 3221224384 3221214168 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208912 37245 13073 16 0 208896 0
vsize: 835648
[startup+1280.2 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 32011
Raw data (stat): 32002 (java) R 32001 30701 30700 0 -1 0 18005 0 1 0 115190 84 0 0 16 0 10 0 419484126 855703552 37313 4294967295 134512640 134569956 3221224384 3221214584 1131202584 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208912 37313 13073 16 0 208896 0
vsize: 835648
[startup+1290.2 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 32011
Raw data (stat): 32002 (java) R 32001 30701 30700 0 -1 0 18005 0 1 0 116091 85 0 0 16 0 10 0 419484126 855703552 37405 4294967295 134512640 134569956 3221224384 3221214684 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208912 37405 13073 16 0 208896 0
vsize: 835648
[startup+1300.2 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 32011
Raw data (stat): 32002 (java) R 32001 30701 30700 0 -1 0 18005 0 1 0 116996 85 0 0 16 0 10 0 419484126 855703552 37485 4294967295 134512640 134569956 3221224384 3221214536 1131148805 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208912 37485 13073 16 0 208896 0
vsize: 835648
[startup+1310.2 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 32011
Raw data (stat): 32002 (java) S 32001 30701 30700 0 -1 0 18005 0 1 0 117904 85 0 0 16 0 10 0 419484126 855703552 37533 4294967295 134512640 134569956 3221224384 3221213408 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208912 37533 13073 16 0 208896 0
vsize: 835648
[startup+1320.21 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 32011
Raw data (stat): 32002 (java) R 32001 30701 30700 0 -1 0 18005 0 1 0 118815 85 0 0 16 0 10 0 419484126 855703552 37599 4294967295 134512640 134569956 3221224384 3221214256 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208912 37599 13073 16 0 208896 0
vsize: 835648
[startup+1330.21 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 32011
Raw data (stat): 32002 (java) R 32001 30701 30700 0 -1 0 18005 0 1 0 119719 86 0 0 16 0 10 0 419484126 855703552 37672 4294967295 134512640 134569956 3221224384 3221214700 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208912 37672 13073 16 0 208896 0
vsize: 835648
[startup+1340.21 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 32011
Raw data (stat): 32002 (java) R 32001 30701 30700 0 -1 0 18005 0 1 0 120623 86 0 0 16 0 10 0 419484126 855703552 37691 4294967295 134512640 134569956 3221224384 3221214700 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208912 37691 13073 16 0 208896 0
vsize: 835648
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1340.33 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 32012
Raw data (stat): 32002 (java) Z 32001 30701 30700 0 -1 1036 18005 18851 1 0 120628 86 13180 57 16 0 1 0 419484126 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): 1340.33
CPU time (s): 1339.53
CPU user time (s): 1338.09
CPU system time (s): 1.44278
CPU usage (%): 99.9403
Max. virtual memory (Kb): 835648
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####