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.Ih1arity.ucl.opb
MD5SUM2fc65c15b9b26fc3028e8a890f1d86ad
Bench Categoryno optimization function (SAT)
Has Objective FunctionNO
SatisfiableNO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
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 benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark1075.62
Number of variables201731
Total number of constraints592525
Number of constraints which are clauses579429
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints13096
Minimum length of a constraint1
Maximum length of a constraint15

Trace number 4457

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc10 THE 2005-04-13 17:19:24 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=2538 boxname=wulflinc10 idbench=282 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  2fc65c15b9b26fc3028e8a890f1d86ad  /oldhome/oroussel/tmp/wulflinc10/normalized-cache-ibm-q-unbounded.Ih1arity.ucl.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc10/normalized-cache-ibm-q-unbounded.Ih1arity.ucl.opb
IDLAUNCH: 2538
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 450.999
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	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 450.999
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:        895204 kB
Buffers:         32948 kB
Cached:          86296 kB
SwapCached:        164 kB
Active:          65024 kB
Inactive:        57264 kB
HighTotal:      131008 kB
HighFree:        40964 kB
LowTotal:       903652 kB
LowFree:        854240 kB
SwapTotal:     2097136 kB
SwapFree:      2096972 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6916 kB
Slab:            11592 kB
Committed_AS:    63484 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-13 17:41:47 (client local time) WITH STATUS 143 IN  SECONDS
stats: 2538 7  143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc10/normalized-cache-ibm-q-unbounded.Ih1arity.ucl.opb
c reading problem 
c [nbvar=201731]
c [nbconstr=592525]
#### 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.22 1.06 0.97 2/54 26647
Raw data (stat): 26647 (runsolver) R 26646 25347 25346 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 419483347 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.0004 s]
Raw data (loadavg): 1.18 1.06 0.97 2/63 26656
Raw data (stat): 26647 (java) R 26646 25347 25346 0 -1 0 17995 0 1 0 807 42 0 0 25 0 10 0 419483347 855560192 20655 4294967295 134512640 134569956 3221224384 3221214376 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208877 20655 13073 16 0 208861 0
vsize: 835508
[startup+20.0014 s]
Raw data (loadavg): 1.23 1.07 0.97 2/63 26656
Raw data (stat): 26647 (java) R 26646 25347 25346 0 -1 0 17995 0 1 0 1676 42 0 0 25 0 10 0 419483347 855560192 21431 4294967295 134512640 134569956 3221224384 3221214468 1074489757 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208877 21431 13073 16 0 208861 0
vsize: 835508
[startup+30.0015 s]
Raw data (loadavg): 1.20 1.07 0.97 2/63 26656
Raw data (stat): 26647 (java) R 26646 25347 25346 0 -1 0 17995 0 1 0 2533 42 0 0 25 0 10 0 419483347 855560192 21973 4294967295 134512640 134569956 3221224384 3221214704 1130896151 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208877 21973 13073 16 0 208861 0
vsize: 835508
[startup+40.0022 s]
Raw data (loadavg): 1.17 1.07 0.97 2/63 26656
Raw data (stat): 26647 (java) R 26646 25347 25346 0 -1 0 17995 0 1 0 3389 43 0 0 25 0 10 0 419483347 855560192 22437 4294967295 134512640 134569956 3221224384 3221214856 1131170610 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208877 22437 13073 16 0 208861 0
vsize: 835508
[startup+50.0042 s]
Raw data (loadavg): 1.14 1.06 0.97 2/63 26656
Raw data (stat): 26647 (java) R 26646 25347 25346 0 -1 0 17995 0 1 0 4246 43 0 0 25 0 10 0 419483347 855560192 22780 4294967295 134512640 134569956 3221224384 3221214460 1074489757 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208877 22780 13073 16 0 208861 0
vsize: 835508
[startup+60.0042 s]
Raw data (loadavg): 1.12 1.06 0.97 2/63 26656
Raw data (stat): 26647 (java) R 26646 25347 25346 0 -1 0 17995 0 1 0 5105 44 0 0 25 0 10 0 419483347 855560192 23094 4294967295 134512640 134569956 3221224384 3221214744 1131296375 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208877 23094 13073 16 0 208861 0
vsize: 835508
[startup+70.0038 s]
Raw data (loadavg): 1.10 1.06 0.97 2/63 26656
Raw data (stat): 26647 (java) R 26646 25347 25346 0 -1 0 17995 0 1 0 5966 44 0 0 25 0 10 0 419483347 855560192 23398 4294967295 134512640 134569956 3221224384 3221214240 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208877 23398 13073 16 0 208861 0
vsize: 835508
[startup+80.005 s]
Raw data (loadavg): 1.08 1.06 0.97 2/63 26656
Raw data (stat): 26647 (java) R 26646 25347 25346 0 -1 0 17995 0 1 0 6816 45 0 0 25 0 10 0 419483347 855560192 23811 4294967295 134512640 134569956 3221224384 3221214792 1131321138 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208877 23811 13073 16 0 208861 0
vsize: 835508
[startup+90.0049 s]
Raw data (loadavg): 1.07 1.05 0.97 2/63 26656
Raw data (stat): 26647 (java) R 26646 25347 25346 0 -1 0 17995 0 1 0 7682 46 0 0 25 0 10 0 419483347 855560192 24078 4294967295 134512640 134569956 3221224384 3221214256 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208877 24078 13073 16 0 208861 0
vsize: 835508
[startup+100.005 s]
Raw data (loadavg): 1.06 1.05 0.97 2/63 26656
Raw data (stat): 26647 (java) R 26646 25347 25346 0 -1 0 17995 0 1 0 8553 46 0 0 25 0 10 0 419483347 855560192 24405 4294967295 134512640 134569956 3221224384 3221214240 1077558368 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208877 24405 13073 16 0 208861 0
vsize: 835508
[startup+110.006 s]
Raw data (loadavg): 1.05 1.05 0.97 2/63 26656
Raw data (stat): 26647 (java) R 26646 25347 25346 0 -1 0 17995 0 1 0 9433 46 0 0 25 0 10 0 419483347 855560192 24660 4294967295 134512640 134569956 3221224384 3221214636 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208877 24660 13073 16 0 208861 0
vsize: 835508
[startup+120.008 s]
Raw data (loadavg): 1.04 1.05 0.97 2/63 26656
Raw data (stat): 26647 (java) S 26646 25347 25346 0 -1 0 17995 0 1 0 10314 47 0 0 25 0 10 0 419483347 855560192 24895 4294967295 134512640 134569956 3221224384 3221213480 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208877 24895 13073 16 0 208861 0
vsize: 835508
[startup+130.008 s]
Raw data (loadavg): 1.04 1.05 0.97 2/63 26656
Raw data (stat): 26647 (java) R 26646 25347 25346 0 -1 0 17995 0 1 0 11193 47 0 0 25 0 10 0 419483347 855560192 25127 4294967295 134512640 134569956 3221224384 3221214684 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208877 25127 13073 16 0 208861 0
vsize: 835508
[startup+140.008 s]
Raw data (loadavg): 1.03 1.04 0.97 2/63 26656
Raw data (stat): 26647 (java) R 26646 25347 25346 0 -1 0 17995 0 1 0 12082 47 0 0 25 0 10 0 419483347 855560192 25346 4294967295 134512640 134569956 3221224384 3221214692 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208877 25346 13073 16 0 208861 0
vsize: 835508
[startup+150.009 s]
Raw data (loadavg): 1.02 1.04 0.97 2/63 26656
Raw data (stat): 26647 (java) R 26646 25347 25346 0 -1 0 17995 0 1 0 12968 47 0 0 25 0 10 0 419483347 855560192 25553 4294967295 134512640 134569956 3221224384 3221214700 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208877 25553 13073 16 0 208861 0
vsize: 835508
[startup+160.009 s]
Raw data (loadavg): 1.02 1.04 0.97 2/63 26656
Raw data (stat): 26647 (java) R 26646 25347 25346 0 -1 0 17995 0 1 0 13854 47 0 0 25 0 10 0 419483347 855560192 25751 4294967295 134512640 134569956 3221224384 3221214780 1080203551 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208877 25751 13073 16 0 208861 0
vsize: 835508
[startup+170.009 s]
Raw data (loadavg): 1.02 1.04 0.97 2/63 26656
Raw data (stat): 26647 (java) R 26646 25347 25346 0 -1 0 17995 0 1 0 14734 47 0 0 24 0 10 0 419483347 855560192 26056 4294967295 134512640 134569956 3221224384 3221214168 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208877 26056 13073 16 0 208861 0
vsize: 835508
[startup+180.009 s]
Raw data (loadavg): 1.01 1.04 0.97 2/63 26656
Raw data (stat): 26647 (java) R 26646 25347 25346 0 -1 0 17995 0 1 0 15636 47 0 0 20 0 10 0 419483347 855560192 26224 4294967295 134512640 134569956 3221224384 3221214684 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208877 26224 13073 16 0 208861 0
vsize: 835508
[startup+190.01 s]
Raw data (loadavg): 1.01 1.03 0.97 2/63 26656
Raw data (stat): 26647 (java) R 26646 25347 25346 0 -1 0 17995 0 1 0 16538 47 0 0 22 0 10 0 419483347 855560192 26393 4294967295 134512640 134569956 3221224384 3221214256 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208877 26393 13073 16 0 208861 0
vsize: 835508
[startup+200.011 s]
Raw data (loadavg): 1.01 1.03 0.97 2/63 26656
Raw data (stat): 26647 (java) R 26646 25347 25346 0 -1 0 17995 0 1 0 17431 47 0 0 17 0 10 0 419483347 855560192 26578 4294967295 134512640 134569956 3221224384 3221214684 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208877 26578 13073 16 0 208861 0
vsize: 835508
[startup+210.011 s]
Raw data (loadavg): 1.01 1.03 0.97 2/63 26656
Raw data (stat): 26647 (java) R 26646 25347 25346 0 -1 0 17995 0 1 0 18333 48 0 0 20 0 10 0 419483347 855560192 26747 4294967295 134512640 134569956 3221224384 3221214256 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208877 26747 13073 16 0 208861 0
vsize: 835508
[startup+220.011 s]
Raw data (loadavg): 1.01 1.03 0.97 2/63 26656
Raw data (stat): 26647 (java) R 26646 25347 25346 0 -1 0 17995 0 1 0 19237 48 0 0 23 0 10 0 419483347 855560192 26915 4294967295 134512640 134569956 3221224384 3221214552 1131155852 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208877 26915 13073 16 0 208861 0
vsize: 835508
[startup+230.011 s]
Raw data (loadavg): 1.00 1.03 0.97 2/63 26656
Raw data (stat): 26647 (java) R 26646 25347 25346 0 -1 0 17995 0 1 0 20136 48 0 0 19 0 10 0 419483347 855560192 27089 4294967295 134512640 134569956 3221224384 3221214692 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208877 27089 13073 16 0 208861 0
vsize: 835508
[startup+240.011 s]
Raw data (loadavg): 1.00 1.03 0.97 2/63 26656
Raw data (stat): 26647 (java) R 26646 25347 25346 0 -1 0 17995 0 1 0 21044 48 0 0 22 0 10 0 419483347 855560192 27244 4294967295 134512640 134569956 3221224384 3221214552 1131155880 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208877 27244 13073 16 0 208861 0
vsize: 835508
[startup+250.012 s]
Raw data (loadavg): 1.00 1.03 0.97 2/63 26656
Raw data (stat): 26647 (java) R 26646 25347 25346 0 -1 0 17995 0 1 0 21944 48 0 0 17 0 10 0 419483347 855560192 27399 4294967295 134512640 134569956 3221224384 3221214168 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208877 27399 13073 16 0 208861 0
vsize: 835508
[startup+260.013 s]
Raw data (loadavg): 1.00 1.02 0.97 2/63 26656
Raw data (stat): 26647 (java) R 26646 25347 25346 0 -1 0 17995 0 1 0 22850 48 0 0 19 0 10 0 419483347 855560192 27547 4294967295 134512640 134569956 3221224384 3221214256 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208877 27547 13073 16 0 208861 0
vsize: 835508
[startup+270.013 s]
Raw data (loadavg): 1.00 1.02 0.97 2/63 26656
Raw data (stat): 26647 (java) R 26646 25347 25346 0 -1 0 17995 0 1 0 23744 48 0 0 22 0 10 0 419483347 855560192 27688 4294967295 134512640 134569956 3221224384 3221214692 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208877 27688 13073 16 0 208861 0
vsize: 835508
[startup+280.014 s]
Raw data (loadavg): 1.00 1.02 0.97 2/63 26656
Raw data (stat): 26647 (java) R 26646 25347 25346 0 -1 0 17995 0 1 0 24630 48 0 0 16 0 10 0 419483347 855560192 27840 4294967295 134512640 134569956 3221224384 3221214692 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208877 27840 13073 16 0 208861 0
vsize: 835508
[startup+290.015 s]
Raw data (loadavg): 1.00 1.02 0.97 2/63 26656
Raw data (stat): 26647 (java) R 26646 25347 25346 0 -1 0 17995 0 1 0 25532 49 0 0 20 0 10 0 419483347 855560192 28133 4294967295 134512640 134569956 3221224384 3221214240 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208877 28133 13073 16 0 208861 0
vsize: 835508
[startup+300.015 s]
Raw data (loadavg): 1.00 1.02 0.97 2/63 26656
Raw data (stat): 26647 (java) R 26646 25347 25346 0 -1 0 17995 0 1 0 26439 49 0 0 23 0 10 0 419483347 855560192 28268 4294967295 134512640 134569956 3221224384 3221214700 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208877 28268 13073 16 0 208861 0
vsize: 835508
[startup+310.014 s]
Raw data (loadavg): 1.00 1.02 0.97 2/63 26656
Raw data (stat): 26647 (java) R 26646 25347 25346 0 -1 0 17995 0 1 0 27338 49 0 0 18 0 10 0 419483347 855560192 28412 4294967295 134512640 134569956 3221224384 3221214552 1131155873 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208877 28412 13073 16 0 208861 0
vsize: 835508
[startup+320.014 s]
Raw data (loadavg): 1.00 1.02 0.97 2/63 26656
Raw data (stat): 26647 (java) R 26646 25347 25346 0 -1 0 17995 0 1 0 28245 49 0 0 22 0 10 0 419483347 855560192 28544 4294967295 134512640 134569956 3221224384 3221214636 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208877 28544 13073 16 0 208861 0
vsize: 835508
[startup+330.014 s]
Raw data (loadavg): 1.00 1.02 0.97 2/63 26656
Raw data (stat): 26647 (java) R 26646 25347 25346 0 -1 0 17995 0 1 0 29146 49 0 0 20 0 10 0 419483347 855560192 28682 4294967295 134512640 134569956 3221224384 3221214192 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208877 28682 13073 16 0 208861 0
vsize: 835508
[startup+340.015 s]
Raw data (loadavg): 1.00 1.02 0.97 2/63 26656
Raw data (stat): 26647 (java) R 26646 25347 25346 0 -1 0 17995 0 1 0 30057 49 0 0 24 0 10 0 419483347 855560192 28809 4294967295 134512640 134569956 3221224384 3221214684 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208877 28809 13073 16 0 208861 0
vsize: 835508
[startup+350.016 s]
Raw data (loadavg): 1.00 1.02 0.97 2/63 26656
Raw data (stat): 26647 (java) R 26646 25347 25346 0 -1 0 17995 0 1 0 30963 50 0 0 21 0 10 0 419483347 855560192 28933 4294967295 134512640 134569956 3221224384 3221214240 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208877 28933 13073 16 0 208861 0
vsize: 835508
[startup+360.02 s]
Raw data (loadavg): 1.00 1.01 0.97 2/63 26656
Raw data (stat): 26647 (java) S 26646 25347 25346 0 -1 0 17995 0 1 0 31870 50 0 0 24 0 10 0 419483347 855560192 29051 4294967295 134512640 134569956 3221224384 3221213480 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208877 29051 13073 16 0 208861 0
vsize: 835508
[startup+370.02 s]
Raw data (loadavg): 1.00 1.01 0.97 2/63 26656
Raw data (stat): 26647 (java) R 26646 25347 25346 0 -1 0 17995 0 1 0 32779 50 0 0 20 0 10 0 419483347 855560192 29168 4294967295 134512640 134569956 3221224384 3221214700 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208877 29168 13073 16 0 208861 0
vsize: 835508
[startup+380.021 s]
Raw data (loadavg): 1.00 1.01 0.97 2/63 26656
Raw data (stat): 26647 (java) R 26646 25347 25346 0 -1 0 17995 0 1 0 33689 50 0 0 24 0 10 0 419483347 855560192 29281 4294967295 134512640 134569956 3221224384 3221214240 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208877 29281 13073 16 0 208861 0
vsize: 835508
[startup+390.021 s]
Raw data (loadavg): 1.00 1.01 0.97 2/63 26656
Raw data (stat): 26647 (java) R 26646 25347 25346 0 -1 0 17995 0 1 0 34592 50 0 0 20 0 10 0 419483347 855560192 29408 4294967295 134512640 134569956 3221224384 3221214700 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208877 29408 13073 16 0 208861 0
vsize: 835508
[startup+400.022 s]
Raw data (loadavg): 1.00 1.01 0.97 2/63 26656
Raw data (stat): 26647 (java) R 26646 25347 25346 0 -1 0 17995 0 1 0 35503 50 0 0 24 0 10 0 419483347 855560192 29527 4294967295 134512640 134569956 3221224384 3221214684 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208877 29527 13073 16 0 208861 0
vsize: 835508
[startup+410.022 s]
Raw data (loadavg): 1.00 1.01 0.97 2/63 26656
Raw data (stat): 26647 (java) R 26646 25347 25346 0 -1 0 17995 0 1 0 36408 50 0 0 19 0 10 0 419483347 855560192 29645 4294967295 134512640 134569956 3221224384 3221214780 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208877 29645 13073 16 0 208861 0
vsize: 835508
[startup+420.021 s]
Raw data (loadavg): 1.00 1.01 0.97 2/63 26656
Raw data (stat): 26647 (java) R 26646 25347 25346 0 -1 0 17995 0 1 0 37319 51 0 0 23 0 10 0 419483347 855560192 29755 4294967295 134512640 134569956 3221224384 3221214684 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208877 29755 13073 16 0 208861 0
vsize: 835508
[startup+430.022 s]
Raw data (loadavg): 1.00 1.01 0.97 2/63 26656
Raw data (stat): 26647 (java) R 26646 25347 25346 0 -1 0 17995 0 1 0 38223 51 0 0 19 0 10 0 419483347 855560192 29873 4294967295 134512640 134569956 3221224384 3221214684 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208877 29873 13073 16 0 208861 0
vsize: 835508
[startup+440.022 s]
Raw data (loadavg): 1.00 1.01 0.97 2/63 26656
Raw data (stat): 26647 (java) R 26646 25347 25346 0 -1 0 17995 0 1 0 39134 51 0 0 22 0 10 0 419483347 855560192 29981 4294967295 134512640 134569956 3221224384 3221214684 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208877 29981 13073 16 0 208861 0
vsize: 835508
[startup+450.022 s]
Raw data (loadavg): 1.00 1.01 0.97 2/63 26656
Raw data (stat): 26647 (java) R 26646 25347 25346 0 -1 0 17995 0 1 0 40037 51 0 0 18 0 10 0 419483347 855560192 30098 4294967295 134512640 134569956 3221224384 3221214192 1077558382 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208877 30098 13073 16 0 208861 0
vsize: 835508
[startup+460.022 s]
Raw data (loadavg): 1.00 1.00 0.97 2/63 26656
Raw data (stat): 26647 (java) R 26646 25347 25346 0 -1 0 17995 0 1 0 40947 51 0 0 21 0 10 0 419483347 855560192 30206 4294967295 134512640 134569956 3221224384 3221214636 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208877 30206 13073 16 0 208861 0
vsize: 835508
[startup+470.026 s]
Raw data (loadavg): 1.00 1.00 0.97 2/63 26656
Raw data (stat): 26647 (java) S 26646 25347 25346 0 -1 0 17995 0 1 0 41854 51 0 0 24 0 10 0 419483347 855560192 30313 4294967295 134512640 134569956 3221224384 3221213496 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208877 30313 13073 16 0 208861 0
vsize: 835508
[startup+480.026 s]
Raw data (loadavg): 1.00 1.00 0.97 2/63 26656
Raw data (stat): 26647 (java) R 26646 25347 25346 0 -1 0 17995 0 1 0 42760 51 0 0 20 0 10 0 419483347 855560192 30424 4294967295 134512640 134569956 3221224384 3221214684 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208877 30424 13073 16 0 208861 0
vsize: 835508
[startup+490.025 s]
Raw data (loadavg): 1.00 1.00 0.97 2/63 26656
Raw data (stat): 26647 (java) R 26646 25347 25346 0 -1 0 17995 0 1 0 43670 52 0 0 23 0 10 0 419483347 855560192 30530 4294967295 134512640 134569956 3221224384 3221214240 1077558382 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208877 30530 13073 16 0 208861 0
vsize: 835508
[startup+500.027 s]
Raw data (loadavg): 1.00 1.00 0.97 2/63 26656
Raw data (stat): 26647 (java) R 26646 25347 25346 0 -1 0 17995 0 1 0 44573 52 0 0 19 0 10 0 419483347 855560192 30639 4294967295 134512640 134569956 3221224384 3221214700 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208877 30639 13073 16 0 208861 0
vsize: 835508
[startup+510.027 s]
Raw data (loadavg): 1.00 1.00 0.97 2/63 26656
Raw data (stat): 26647 (java) R 26646 25347 25346 0 -1 0 17995 0 1 0 45484 52 0 0 22 0 10 0 419483347 855560192 30738 4294967295 134512640 134569956 3221224384 3221214256 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208877 30738 13073 16 0 208861 0
vsize: 835508
[startup+520.029 s]
Raw data (loadavg): 1.00 1.00 0.97 2/63 26656
Raw data (stat): 26647 (java) S 26646 25347 25346 0 -1 0 17995 0 1 0 46389 53 0 0 24 0 10 0 419483347 855560192 30834 4294967295 134512640 134569956 3221224384 3221213496 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208877 30834 13073 16 0 208861 0
vsize: 835508
[startup+530.03 s]
Raw data (loadavg): 1.00 1.00 0.97 2/63 26656
Raw data (stat): 26647 (java) R 26646 25347 25346 0 -1 0 17995 0 1 0 47293 53 0 0 17 0 10 0 419483347 855560192 30986 4294967295 134512640 134569956 3221224384 3221214168 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208877 30986 13073 16 0 208861 0
vsize: 835508
[startup+540.031 s]
Raw data (loadavg): 1.00 1.00 0.97 2/63 26656
Raw data (stat): 26647 (java) R 26646 25347 25346 0 -1 0 17995 0 1 0 48187 53 0 0 18 0 10 0 419483347 855560192 31061 4294967295 134512640 134569956 3221224384 3221214684 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208877 31061 13073 16 0 208861 0
vsize: 835508
[startup+550.032 s]
Raw data (loadavg): 1.00 1.00 0.97 2/63 26656
Raw data (stat): 26647 (java) R 26646 25347 25346 0 -1 0 17995 0 1 0 49081 53 0 0 20 0 10 0 419483347 855560192 31157 4294967295 134512640 134569956 3221224384 3221214684 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208877 31157 13073 16 0 208861 0
vsize: 835508
[startup+560.032 s]
Raw data (loadavg): 1.00 1.00 0.97 2/63 26656
Raw data (stat): 26647 (java) R 26646 25347 25346 0 -1 0 17995 0 1 0 49988 53 0 0 24 0 10 0 419483347 855560192 31420 4294967295 134512640 134569956 3221224384 3221214700 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208877 31420 13073 16 0 208861 0
vsize: 835508
[startup+570.032 s]
Raw data (loadavg): 1.00 1.00 0.97 2/63 26656
Raw data (stat): 26647 (java) R 26646 25347 25346 0 -1 0 17995 0 1 0 50889 53 0 0 17 0 10 0 419483347 855560192 31525 4294967295 134512640 134569956 3221224384 3221214240 1077558382 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208877 31525 13073 16 0 208861 0
vsize: 835508
[startup+580.033 s]
Raw data (loadavg): 1.00 1.00 0.97 2/63 26656
Raw data (stat): 26647 (java) R 26646 25347 25346 0 -1 0 17995 0 1 0 51799 53 0 0 20 0 10 0 419483347 855560192 31619 4294967295 134512640 134569956 3221224384 3221214168 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208877 31619 13073 16 0 208861 0
vsize: 835508
[startup+590.033 s]
Raw data (loadavg): 1.00 1.00 0.97 2/63 26656
Raw data (stat): 26647 (java) R 26646 25347 25346 0 -1 0 17995 0 1 0 52708 54 0 0 22 0 10 0 419483347 855560192 31712 4294967295 134512640 134569956 3221224384 3221214552 1131155709 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208877 31712 13073 16 0 208861 0
vsize: 835508
[startup+600.035 s]
Raw data (loadavg): 1.00 1.00 0.97 2/63 26656
Raw data (stat): 26647 (java) R 26646 25347 25346 0 -1 0 17995 0 1 0 53612 54 0 0 18 0 10 0 419483347 855560192 31812 4294967295 134512640 134569956 3221224384 3221214256 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208877 31812 13073 16 0 208861 0
vsize: 835508
[startup+610.034 s]
Raw data (loadavg): 1.00 1.00 0.97 2/63 26656
Raw data (stat): 26647 (java) R 26646 25347 25346 0 -1 0 17995 0 1 0 54525 54 0 0 25 0 10 0 419483347 855560192 31900 4294967295 134512640 134569956 3221224384 3221214168 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208877 31900 13073 16 0 208861 0
vsize: 835508
[startup+620.037 s]
Raw data (loadavg): 1.00 1.00 0.97 2/63 26656
Raw data (stat): 26647 (java) S 26646 25347 25346 0 -1 0 17995 0 1 0 55435 54 0 0 25 0 10 0 419483347 855560192 31985 4294967295 134512640 134569956 3221224384 3221213408 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208877 31985 13073 16 0 208861 0
vsize: 835508
[startup+630.037 s]
Raw data (loadavg): 1.00 1.00 0.97 2/63 26656
Raw data (stat): 26647 (java) R 26646 25347 25346 0 -1 0 17995 0 1 0 56344 54 0 0 25 0 10 0 419483347 855560192 32079 4294967295 134512640 134569956 3221224384 3221214684 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208877 32079 13073 16 0 208861 0
vsize: 835508
[startup+640.038 s]
Raw data (loadavg): 1.00 1.00 0.97 2/63 26656
Raw data (stat): 26647 (java) R 26646 25347 25346 0 -1 0 17995 0 1 0 57255 54 0 0 25 0 10 0 419483347 855560192 32161 4294967295 134512640 134569956 3221224384 3221214240 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208877 32161 13073 16 0 208861 0
vsize: 835508
[startup+650.039 s]
Raw data (loadavg): 1.00 1.00 0.97 2/63 26656
Raw data (stat): 26647 (java) R 26646 25347 25346 0 -1 0 17995 0 1 0 58165 54 0 0 25 0 10 0 419483347 855560192 32240 4294967295 134512640 134569956 3221224384 3221214552 1131155880 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208877 32240 13073 16 0 208861 0
vsize: 835508
[startup+660.039 s]
Raw data (loadavg): 1.00 1.00 0.97 2/63 26656
Raw data (stat): 26647 (java) R 26646 25347 25346 0 -1 0 17995 0 1 0 59067 55 0 0 17 0 10 0 419483347 855560192 32335 4294967295 134512640 134569956 3221224384 3221214256 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208877 32335 13073 16 0 208861 0
vsize: 835508
[startup+670.04 s]
Raw data (loadavg): 1.00 1.00 0.97 2/63 26656
Raw data (stat): 26647 (java) R 26646 25347 25346 0 -1 0 17995 0 1 0 59977 55 0 0 18 0 10 0 419483347 855560192 32422 4294967295 134512640 134569956 3221224384 3221214240 1077558382 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208877 32422 13073 16 0 208861 0
vsize: 835508
[startup+680.041 s]
Raw data (loadavg): 1.00 1.00 0.97 2/63 26656
Raw data (stat): 26647 (java) R 26646 25347 25346 0 -1 0 17995 0 1 0 60887 55 0 0 20 0 10 0 419483347 855560192 32510 4294967295 134512640 134569956 3221224384 3221214240 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208877 32510 13073 16 0 208861 0
vsize: 835508
[startup+690.041 s]
Raw data (loadavg): 1.00 1.00 0.97 2/63 26656
Raw data (stat): 26647 (java) R 26646 25347 25346 0 -1 0 17995 0 1 0 61796 55 0 0 23 0 10 0 419483347 855560192 32599 4294967295 134512640 134569956 3221224384 3221214552 1131155880 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208877 32599 13073 16 0 208861 0
vsize: 835508
[startup+700.045 s]
Raw data (loadavg): 1.00 1.00 0.97 2/63 26656
Raw data (stat): 26647 (java) S 26646 25347 25346 0 -1 0 17995 0 1 0 62705 55 0 0 24 0 10 0 419483347 855560192 32688 4294967295 134512640 134569956 3221224384 3221213480 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208877 32688 13073 16 0 208861 0
vsize: 835508
[startup+710.047 s]
Raw data (loadavg): 1.00 1.00 0.97 2/63 26656
Raw data (stat): 26647 (java) R 26646 25347 25346 0 -1 0 17995 0 1 0 63609 55 0 0 18 0 10 0 419483347 855560192 32776 4294967295 134512640 134569956 3221224384 3221214692 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208877 32776 13073 16 0 208861 0
vsize: 835508
[startup+720.047 s]
Raw data (loadavg): 1.00 1.00 0.97 2/63 26656
Raw data (stat): 26647 (java) R 26646 25347 25346 0 -1 0 17995 0 1 0 64519 55 0 0 20 0 10 0 419483347 855560192 32860 4294967295 134512640 134569956 3221224384 3221214240 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208877 32860 13073 16 0 208861 0
vsize: 835508
[startup+730.048 s]
Raw data (loadavg): 1.00 1.00 0.97 2/63 26656
Raw data (stat): 26647 (java) R 26646 25347 25346 0 -1 0 17995 0 1 0 65429 55 0 0 22 0 10 0 419483347 855560192 32941 4294967295 134512640 134569956 3221224384 3221214636 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208877 32941 13073 16 0 208861 0
vsize: 835508
[startup+740.049 s]
Raw data (loadavg): 1.00 1.00 0.97 2/63 26656
Raw data (stat): 26647 (java) R 26646 25347 25346 0 -1 0 17995 0 1 0 66339 56 0 0 23 0 10 0 419483347 855560192 33024 4294967295 134512640 134569956 3221224384 3221214700 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208877 33024 13073 16 0 208861 0
vsize: 835508
[startup+750.051 s]
Raw data (loadavg): 1.00 1.00 0.97 2/63 26656
Raw data (stat): 26647 (java) S 26646 25347 25346 0 -1 0 17995 0 1 0 67247 56 0 0 24 0 10 0 419483347 855560192 33107 4294967295 134512640 134569956 3221224384 3221213408 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208877 33107 13073 16 0 208861 0
vsize: 835508
[startup+760.052 s]
Raw data (loadavg): 1.00 1.00 0.97 2/63 26656
Raw data (stat): 26647 (java) R 26646 25347 25346 0 -1 0 17995 0 1 0 68149 56 0 0 17 0 10 0 419483347 855560192 33195 4294967295 134512640 134569956 3221224384 3221214664 1131044787 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208877 33195 13073 16 0 208861 0
vsize: 835508
[startup+770.053 s]
Raw data (loadavg): 1.00 1.00 0.97 2/63 26656
Raw data (stat): 26647 (java) R 26646 25347 25346 0 -1 0 17995 0 1 0 69059 56 0 0 18 0 10 0 419483347 855560192 33277 4294967295 134512640 134569956 3221224384 3221214684 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208877 33277 13073 16 0 208861 0
vsize: 835508
[startup+780.053 s]
Raw data (loadavg): 1.00 1.00 0.97 2/63 26656
Raw data (stat): 26647 (java) R 26646 25347 25346 0 -1 0 17995 0 1 0 69968 56 0 0 19 0 10 0 419483347 855560192 33357 4294967295 134512640 134569956 3221224384 3221214684 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208877 33357 13073 16 0 208861 0
vsize: 835508
[startup+790.052 s]
Raw data (loadavg): 1.00 1.00 0.97 2/63 26656
Raw data (stat): 26647 (java) R 26646 25347 25346 0 -1 0 17995 0 1 0 70877 56 0 0 20 0 10 0 419483347 855560192 33436 4294967295 134512640 134569956 3221224384 3221214684 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208877 33436 13073 16 0 208861 0
vsize: 835508
[startup+800.053 s]
Raw data (loadavg): 1.00 1.00 0.97 2/63 26656
Raw data (stat): 26647 (java) R 26646 25347 25346 0 -1 0 17995 0 1 0 71784 56 0 0 21 0 10 0 419483347 855560192 33516 4294967295 134512640 134569956 3221224384 3221214684 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208877 33516 13073 16 0 208861 0
vsize: 835508
[startup+810.053 s]
Raw data (loadavg): 1.00 1.00 0.97 2/63 26656
Raw data (stat): 26647 (java) R 26646 25347 25346 0 -1 0 17995 0 1 0 72693 56 0 0 22 0 10 0 419483347 855560192 33597 4294967295 134512640 134569956 3221224384 3221214684 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208877 33597 13073 16 0 208861 0
vsize: 835508
[startup+820.053 s]
Raw data (loadavg): 1.00 1.00 0.97 2/63 26656
Raw data (stat): 26647 (java) R 26646 25347 25346 0 -1 0 17995 0 1 0 73601 56 0 0 23 0 10 0 419483347 855560192 33676 4294967295 134512640 134569956 3221224384 3221214780 1080203551 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208877 33676 13073 16 0 208861 0
vsize: 835508
[startup+830.054 s]
Raw data (loadavg): 1.00 1.00 0.97 2/63 26656
Raw data (stat): 26647 (java) R 26646 25347 25346 0 -1 0 17995 0 1 0 74509 56 0 0 23 0 10 0 419483347 855560192 33756 4294967295 134512640 134569956 3221224384 3221214700 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208877 33756 13073 16 0 208861 0
vsize: 835508
[startup+840.057 s]
Raw data (loadavg): 1.00 1.00 0.97 2/63 26656
Raw data (stat): 26647 (java) S 26646 25347 25346 0 -1 0 17995 0 1 0 75410 56 0 0 25 0 10 0 419483347 855560192 33840 4294967295 134512640 134569956 3221224384 3221213480 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208877 33840 13073 16 0 208861 0
vsize: 835508
[startup+850.058 s]
Raw data (loadavg): 1.00 1.00 0.97 2/63 26656
Raw data (stat): 26647 (java) R 26646 25347 25346 0 -1 0 17995 0 1 0 76317 56 0 0 19 0 10 0 419483347 855560192 33917 4294967295 134512640 134569956 3221224384 3221214684 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208877 33917 13073 16 0 208861 0
vsize: 835508
[startup+860.058 s]
Raw data (loadavg): 1.00 1.00 0.97 2/63 26656
Raw data (stat): 26647 (java) R 26646 25347 25346 0 -1 0 17995 0 1 0 77224 57 0 0 20 0 10 0 419483347 855560192 33994 4294967295 134512640 134569956 3221224384 3221214168 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208877 33994 13073 16 0 208861 0
vsize: 835508
[startup+870.058 s]
Raw data (loadavg): 1.00 1.00 0.97 2/63 26656
Raw data (stat): 26647 (java) R 26646 25347 25346 0 -1 0 17995 0 1 0 78132 57 0 0 23 0 10 0 419483347 855560192 34069 4294967295 134512640 134569956 3221224384 3221214684 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208877 34069 13073 16 0 208861 0
vsize: 835508
[startup+880.062 s]
Raw data (loadavg): 1.00 1.00 0.97 2/63 26656
Raw data (stat): 26647 (java) S 26646 25347 25346 0 -1 0 17995 0 1 0 79034 57 0 0 24 0 10 0 419483347 855560192 34147 4294967295 134512640 134569956 3221224384 3221213408 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208877 34147 13073 16 0 208861 0
vsize: 835508
[startup+890.061 s]
Raw data (loadavg): 1.00 1.00 0.97 2/63 26656
Raw data (stat): 26647 (java) R 26646 25347 25346 0 -1 0 17995 0 1 0 79938 57 0 0 18 0 10 0 419483347 855560192 34224 4294967295 134512640 134569956 3221224384 3221214684 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208877 34224 13073 16 0 208861 0
vsize: 835508
[startup+900.061 s]
Raw data (loadavg): 1.00 1.00 0.97 2/63 26656
Raw data (stat): 26647 (java) R 26646 25347 25346 0 -1 0 17995 0 1 0 80844 57 0 0 20 0 10 0 419483347 855560192 34295 4294967295 134512640 134569956 3221224384 3221214700 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208877 34295 13073 16 0 208861 0
vsize: 835508
[startup+910.062 s]
Raw data (loadavg): 1.00 1.00 0.97 2/63 26656
Raw data (stat): 26647 (java) R 26646 25347 25346 0 -1 0 17995 0 1 0 81750 57 0 0 20 0 10 0 419483347 855560192 34371 4294967295 134512640 134569956 3221224384 3221214256 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208877 34371 13073 16 0 208861 0
vsize: 835508
[startup+920.062 s]
Raw data (loadavg): 1.00 1.00 0.97 2/63 26656
Raw data (stat): 26647 (java) R 26646 25347 25346 0 -1 0 17995 0 1 0 82656 58 0 0 21 0 10 0 419483347 855560192 34443 4294967295 134512640 134569956 3221224384 3221214684 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208877 34443 13073 16 0 208861 0
vsize: 835508
[startup+930.062 s]
Raw data (loadavg): 1.00 1.00 0.97 2/63 26656
Raw data (stat): 26647 (java) R 26646 25347 25346 0 -1 0 17995 0 1 0 83561 58 0 0 22 0 10 0 419483347 855560192 34517 4294967295 134512640 134569956 3221224384 3221214684 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208877 34517 13073 16 0 208861 0
vsize: 835508
[startup+940.062 s]
Raw data (loadavg): 1.00 1.00 0.97 2/63 26656
Raw data (stat): 26647 (java) R 26646 25347 25346 0 -1 0 17995 0 1 0 84467 58 0 0 22 0 10 0 419483347 855560192 34589 4294967295 134512640 134569956 3221224384 3221214552 1131155788 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208877 34589 13073 16 0 208861 0
vsize: 835508
[startup+950.064 s]
Raw data (loadavg): 1.00 1.00 0.97 2/63 26656
Raw data (stat): 26647 (java) R 26646 25347 25346 0 -1 0 17995 0 1 0 85372 58 0 0 23 0 10 0 419483347 855560192 34664 4294967295 134512640 134569956 3221224384 3221214552 1131155744 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208877 34664 13073 16 0 208861 0
vsize: 835508
[startup+960.064 s]
Raw data (loadavg): 1.00 1.00 0.97 2/63 26656
Raw data (stat): 26647 (java) R 26646 25347 25346 0 -1 0 17995 0 1 0 86276 58 0 0 22 0 10 0 419483347 855560192 34736 4294967295 134512640 134569956 3221224384 3221214636 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208877 34736 13073 16 0 208861 0
vsize: 835508
[startup+970.063 s]
Raw data (loadavg): 1.00 1.00 0.97 2/63 26656
Raw data (stat): 26647 (java) R 26646 25347 25346 0 -1 0 17995 0 1 0 87181 58 0 0 23 0 10 0 419483347 855560192 34808 4294967295 134512640 134569956 3221224384 3221214712 1131135458 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208877 34808 13073 16 0 208861 0
vsize: 835508
[startup+980.064 s]
Raw data (loadavg): 1.00 1.00 0.97 2/63 26656
Raw data (stat): 26647 (java) R 26646 25347 25346 0 -1 0 17995 0 1 0 88086 58 0 0 24 0 10 0 419483347 855560192 34881 4294967295 134512640 134569956 3221224384 3221214684 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208877 34881 13073 16 0 208861 0
vsize: 835508
[startup+990.065 s]
Raw data (loadavg): 1.00 1.00 0.97 2/63 26656
Raw data (stat): 26647 (java) R 26646 25347 25346 0 -1 0 17995 0 1 0 88990 58 0 0 23 0 10 0 419483347 855560192 34952 4294967295 134512640 134569956 3221224384 3221214684 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208877 34952 13073 16 0 208861 0
vsize: 835508
[startup+1000.07 s]
Raw data (loadavg): 1.00 1.00 0.97 2/63 26656
Raw data (stat): 26647 (java) S 26646 25347 25346 0 -1 0 17995 0 1 0 89890 58 0 0 24 0 10 0 419483347 855560192 35022 4294967295 134512640 134569956 3221224384 3221213408 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208877 35022 13073 16 0 208861 0
vsize: 835508
[startup+1010.07 s]
Raw data (loadavg): 1.00 1.00 0.97 2/63 26656
Raw data (stat): 26647 (java) S 26646 25347 25346 0 -1 0 17995 0 1 0 90791 58 0 0 24 0 10 0 419483347 855560192 35095 4294967295 134512640 134569956 3221224384 3221213432 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208877 35095 13073 16 0 208861 0
vsize: 835508
[startup+1020.07 s]
Raw data (loadavg): 1.00 1.00 0.97 2/63 26656
Raw data (stat): 26647 (java) R 26646 25347 25346 0 -1 0 17995 0 1 0 91696 59 0 0 25 0 10 0 419483347 855560192 35830 4294967295 134512640 134569956 3221224384 3221214552 1131155880 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208877 35830 13073 16 0 208861 0
vsize: 835508
[startup+1030.07 s]
Raw data (loadavg): 1.00 1.00 0.97 2/63 26656
Raw data (stat): 26647 (java) R 26646 25347 25346 0 -1 0 17995 0 1 0 92618 59 0 0 25 0 10 0 419483347 855560192 35830 4294967295 134512640 134569956 3221224384 3221214636 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208877 35830 13073 16 0 208861 0
vsize: 835508
[startup+1040.07 s]
Raw data (loadavg): 1.00 1.00 0.97 2/63 26656
Raw data (stat): 26647 (java) R 26646 25347 25346 0 -1 0 17995 0 1 0 93527 59 0 0 25 0 10 0 419483347 855560192 35830 4294967295 134512640 134569956 3221224384 3221214684 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208877 35830 13073 16 0 208861 0
vsize: 835508
[startup+1050.07 s]
Raw data (loadavg): 1.00 1.00 0.97 2/63 26656
Raw data (stat): 26647 (java) R 26646 25347 25346 0 -1 0 17995 0 1 0 94427 59 0 0 25 0 10 0 419483347 855560192 35885 4294967295 134512640 134569956 3221224384 3221214192 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208877 35885 13073 16 0 208861 0
vsize: 835508
[startup+1060.07 s]
Raw data (loadavg): 1.00 1.00 0.97 2/63 26656
Raw data (stat): 26647 (java) R 26646 25347 25346 0 -1 0 17995 0 1 0 95327 59 0 0 25 0 10 0 419483347 855560192 35952 4294967295 134512640 134569956 3221224384 3221214636 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208877 35952 13073 16 0 208861 0
vsize: 835508
[startup+1070.07 s]
Raw data (loadavg): 1.00 1.00 0.97 2/63 26656
Raw data (stat): 26647 (java) S 26646 25347 25346 0 -1 0 17995 0 1 0 96226 59 0 0 25 0 10 0 419483347 855560192 36016 4294967295 134512640 134569956 3221224384 3221213496 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208877 36016 13073 16 0 208861 0
vsize: 835508
[startup+1080.07 s]
Raw data (loadavg): 1.00 1.00 0.97 2/63 26656
Raw data (stat): 26647 (java) R 26646 25347 25346 0 -1 0 17995 0 1 0 97120 59 0 0 24 0 10 0 419483347 855560192 36085 4294967295 134512640 134569956 3221224384 3221214636 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208877 36085 13073 16 0 208861 0
vsize: 835508
[startup+1090.07 s]
Raw data (loadavg): 1.00 1.00 0.97 2/63 26656
Raw data (stat): 26647 (java) S 26646 25347 25346 0 -1 0 17995 0 1 0 98023 59 0 0 25 0 10 0 419483347 855560192 36148 4294967295 134512640 134569956 3221224384 3221213432 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208877 36148 13073 16 0 208861 0
vsize: 835508
[startup+1100.08 s]
Raw data (loadavg): 1.00 1.00 0.97 2/63 26656
Raw data (stat): 26647 (java) S 26646 25347 25346 0 -1 0 17995 0 1 0 98927 59 0 0 25 0 10 0 419483347 855560192 36228 4294967295 134512640 134569956 3221224384 3221213408 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208877 36228 13073 16 0 208861 0
vsize: 835508
[startup+1110.08 s]
Raw data (loadavg): 1.00 1.00 0.97 2/63 26656
Raw data (stat): 26647 (java) R 26646 25347 25346 0 -1 0 17995 0 1 0 99828 59 0 0 25 0 10 0 419483347 855560192 36300 4294967295 134512640 134569956 3221224384 3221214168 1080019741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208877 36300 13073 16 0 208861 0
vsize: 835508
[startup+1120.08 s]
Raw data (loadavg): 1.00 1.00 0.97 2/63 26656
Raw data (stat): 26647 (java) R 26646 25347 25346 0 -1 0 17995 0 1 0 100728 60 0 0 25 0 10 0 419483347 855560192 36340 4294967295 134512640 134569956 3221224384 3221214240 1077558382 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208877 36340 13073 16 0 208861 0
vsize: 835508
[startup+1130.08 s]
Raw data (loadavg): 1.00 1.00 0.97 2/63 26656
Raw data (stat): 26647 (java) R 26646 25347 25346 0 -1 0 17995 0 1 0 101628 60 0 0 25 0 10 0 419483347 855560192 36407 4294967295 134512640 134569956 3221224384 3221214552 1131155827 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208877 36407 13073 16 0 208861 0
vsize: 835508
[startup+1140.08 s]
Raw data (loadavg): 1.00 1.00 0.97 2/63 26656
Raw data (stat): 26647 (java) R 26646 25347 25346 0 -1 0 17995 0 1 0 102527 60 0 0 25 0 10 0 419483347 855560192 36514 4294967295 134512640 134569956 3221224384 3221214552 1131155709 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208877 36514 13073 16 0 208861 0
vsize: 835508
[startup+1150.08 s]
Raw data (loadavg): 1.00 1.00 0.97 2/63 26656
Raw data (stat): 26647 (java) R 26646 25347 25346 0 -1 0 17995 0 1 0 103428 60 0 0 25 0 10 0 419483347 855560192 36570 4294967295 134512640 134569956 3221224384 3221214552 1131155852 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208877 36570 13073 16 0 208861 0
vsize: 835508
[startup+1160.08 s]
Raw data (loadavg): 1.00 1.00 0.97 2/63 26656
Raw data (stat): 26647 (java) R 26646 25347 25346 0 -1 0 17995 0 1 0 104329 60 0 0 25 0 10 0 419483347 855560192 36609 4294967295 134512640 134569956 3221224384 3221214568 1131263971 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208877 36609 13073 16 0 208861 0
vsize: 835508
[startup+1170.08 s]
Raw data (loadavg): 1.00 1.00 0.97 2/63 26656
Raw data (stat): 26647 (java) S 26646 25347 25346 0 -1 0 17995 0 1 0 105227 60 0 0 25 0 10 0 419483347 855560192 36671 4294967295 134512640 134569956 3221224384 3221213496 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208877 36671 13073 16 0 208861 0
vsize: 835508
[startup+1180.08 s]
Raw data (loadavg): 1.00 1.00 0.97 2/63 26656
Raw data (stat): 26647 (java) S 26646 25347 25346 0 -1 0 17995 0 1 0 106130 60 0 0 25 0 10 0 419483347 855560192 36747 4294967295 134512640 134569956 3221224384 3221213496 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208877 36747 13073 16 0 208861 0
vsize: 835508
[startup+1190.08 s]
Raw data (loadavg): 1.00 1.00 0.97 2/63 26656
Raw data (stat): 26647 (java) R 26646 25347 25346 0 -1 0 17995 0 1 0 107033 60 0 0 25 0 10 0 419483347 855560192 36803 4294967295 134512640 134569956 3221224384 3221214552 1131155873 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208877 36803 13073 16 0 208861 0
vsize: 835508
[startup+1200.08 s]
Raw data (loadavg): 1.00 1.00 0.97 2/63 26656
Raw data (stat): 26647 (java) R 26646 25347 25346 0 -1 0 17995 0 1 0 107935 60 0 0 25 0 10 0 419483347 855560192 36872 4294967295 134512640 134569956 3221224384 3221214700 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208877 36872 13073 16 0 208861 0
vsize: 835508
[startup+1210.08 s]
Raw data (loadavg): 1.00 1.00 0.97 2/63 26656
Raw data (stat): 26647 (java) R 26646 25347 25346 0 -1 0 17995 0 1 0 108832 60 0 0 25 0 10 0 419483347 855560192 36932 4294967295 134512640 134569956 3221224384 3221214192 1077558382 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208877 36932 13073 16 0 208861 0
vsize: 835508
[startup+1220.08 s]
Raw data (loadavg): 1.00 1.00 0.97 2/63 26656
Raw data (stat): 26647 (java) R 26646 25347 25346 0 -1 0 17995 0 1 0 109731 60 0 0 21 0 10 0 419483347 855560192 37034 4294967295 134512640 134569956 3221224384 3221214684 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208877 37034 13073 16 0 208861 0
vsize: 835508
[startup+1230.08 s]
Raw data (loadavg): 1.00 1.00 0.97 2/63 26656
Raw data (stat): 26647 (java) R 26646 25347 25346 0 -1 0 17995 0 1 0 110630 60 0 0 19 0 10 0 419483347 855560192 37070 4294967295 134512640 134569956 3221224384 3221214752 1131045363 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208877 37070 13073 16 0 208861 0
vsize: 835508
[startup+1240.08 s]
Raw data (loadavg): 1.00 1.00 0.97 2/63 26656
Raw data (stat): 26647 (java) R 26646 25347 25346 0 -1 0 17995 0 1 0 111527 60 0 0 19 0 10 0 419483347 855560192 37134 4294967295 134512640 134569956 3221224384 3221214256 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208877 37134 13073 16 0 208861 0
vsize: 835508
[startup+1250.09 s]
Raw data (loadavg): 1.00 1.00 0.97 2/63 26656
Raw data (stat): 26647 (java) R 26646 25347 25346 0 -1 0 17995 0 1 0 112426 60 0 0 17 0 10 0 419483347 855560192 37200 4294967295 134512640 134569956 3221224384 3221214552 1131155880 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208877 37200 13073 16 0 208861 0
vsize: 835508
[startup+1260.09 s]
Raw data (loadavg): 1.00 1.00 0.97 2/63 26656
Raw data (stat): 26647 (java) R 26646 25347 25346 0 -1 0 17995 0 1 0 113328 60 0 0 17 0 10 0 419483347 855560192 37264 4294967295 134512640 134569956 3221224384 3221214256 1080019600 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208877 37264 13073 16 0 208861 0
vsize: 835508
[startup+1270.09 s]
Raw data (loadavg): 1.08 1.02 0.98 2/63 26656
Raw data (stat): 26647 (java) R 26646 25347 25346 0 -1 0 17995 0 1 0 114239 61 0 0 23 0 10 0 419483347 855560192 37332 4294967295 134512640 134569956 3221224384 3221214700 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208877 37332 13073 16 0 208861 0
vsize: 835508
[startup+1280.09 s]
Raw data (loadavg): 1.07 1.02 0.98 2/63 26656
Raw data (stat): 26647 (java) R 26646 25347 25346 0 -1 0 17995 0 1 0 115139 61 0 0 23 0 10 0 419483347 855560192 37431 4294967295 134512640 134569956 3221224384 3221214552 1131155709 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208877 37431 13073 16 0 208861 0
vsize: 835508
[startup+1290.09 s]
Raw data (loadavg): 1.06 1.01 0.98 2/63 26656
Raw data (stat): 26647 (java) R 26646 25347 25346 0 -1 0 17995 0 1 0 116044 61 0 0 21 0 10 0 419483347 855560192 37500 4294967295 134512640 134569956 3221224384 3221214552 1131155880 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208877 37500 13073 16 0 208861 0
vsize: 835508
[startup+1300.09 s]
Raw data (loadavg): 1.05 1.01 0.98 2/63 26656
Raw data (stat): 26647 (java) R 26646 25347 25346 0 -1 0 17995 0 1 0 116946 61 0 0 20 0 10 0 419483347 855560192 37526 4294967295 134512640 134569956 3221224384 3221214552 1131155856 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208877 37526 13073 16 0 208861 0
vsize: 835508
[startup+1310.09 s]
Raw data (loadavg): 1.04 1.01 0.98 2/63 26656
Raw data (stat): 26647 (java) R 26646 25347 25346 0 -1 0 17995 0 1 0 117851 61 0 0 20 0 10 0 419483347 855560192 37589 4294967295 134512640 134569956 3221224384 3221214256 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208877 37589 13073 16 0 208861 0
vsize: 835508
[startup+1320.09 s]
Raw data (loadavg): 1.03 1.01 0.98 2/63 26656
Raw data (stat): 26647 (java) R 26646 25347 25346 0 -1 0 17995 0 1 0 118753 61 0 0 19 0 10 0 419483347 855560192 37698 4294967295 134512640 134569956 3221224384 3221214256 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208877 37698 13073 16 0 208861 0
vsize: 835508
[startup+1330.09 s]
Raw data (loadavg): 1.03 1.01 0.98 2/63 26656
Raw data (stat): 26647 (java) S 26646 25347 25346 0 -1 0 17995 0 1 0 119656 61 0 0 23 0 10 0 419483347 855560192 37715 4294967295 134512640 134569956 3221224384 3221213328 1073952481 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208877 37715 13073 16 0 208861 0
vsize: 835508
[startup+1340.1 s]
Raw data (loadavg): 1.02 1.01 0.98 2/63 26656
Raw data (stat): 26647 (java) R 26646 25347 25346 0 -1 0 17995 0 1 0 120568 61 0 0 24 0 10 0 419483347 855560192 37828 4294967295 134512640 134569956 3221224384 3221214684 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208877 37828 13073 16 0 208861 0
vsize: 835508
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1340.18 s]
Raw data (loadavg): 1.02 1.01 0.98 1/54 26657
Raw data (stat): 26647 (java) Z 26646 25347 25346 0 -1 1036 17995 19095 1 0 120569 61 13256 60 25 0 1 0 419483347 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.18
CPU time (s): 1339.48
CPU user time (s): 1338.25
CPU system time (s): 1.22181
CPU usage (%): 99.9475
Max. virtual memory (Kb): 835508
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####