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/submitted/aloul/FPGA_SAT05/normalized-fpga35_33_sat_pb.cnf.cr.opb
MD5SUMd4fd8917eebbcee2e1b2df9714e1fab8
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 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 36
Number of bits of the biggest sum of numbers6
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1.59276
Number of variables1733
Total number of constraints1256
Number of constraints which are clauses1188
Number of constraints which are cardinality constraints (but not clauses)68
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint17
Maximum length of a constraint35

Trace number 29107

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc10 THE 2005-05-25 04:43:49 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=20459 boxname=wulflinc10 idbench=49 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  d4fd8917eebbcee2e1b2df9714e1fab8  /oldhome/oroussel/tmp/wulflinc10/normalized-fpga35_33_sat_pb.cnf.cr.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc10/normalized-fpga35_33_sat_pb.cnf.cr.opb
IDLAUNCH: 20459
/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:        892148 kB
Buffers:         10128 kB
Cached:         110752 kB
SwapCached:         92 kB
Active:          28540 kB
Inactive:        95004 kB
HighTotal:      131008 kB
HighFree:        20468 kB
LowTotal:       903652 kB
LowFree:        871680 kB
SwapTotal:     2097136 kB
SwapFree:      2096752 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6392 kB
Slab:            13488 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 05:04:32 (client local time) WITH STATUS 143 IN 1245.68 SECONDS
stats: 20459 7 1245.68 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c SAT4J: a SATisfiability library for Java (c) 2004-2005 Daniel Le Berre
c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
c version Special PB05 Second trial
c --- Begin Solver configuration ---
c org.sat4j.minisat.uip.FirstUIP@1e4cbc4
c org.sat4j.minisat.constraints.PBMinDataStructure@1fdc96c
c org.sat4j.minisat.learning.MiniSATLearning@b2fd8f
c conflictBoundIncFactor=1.5 learntBoundIncFactor=1.1 initLearntBoundConstraintFactor=0.5 initConflictBound=100 
c 
c --- End Solver configuration ---
c solving /oldhome/oroussel/tmp/wulflinc10/normalized-fpga35_33_sat_pb.cnf.cr.opb
c reading problem ... done. Time 3.878 ms.
c #vars     1733
c #constraints  1256
c starts	: 4
c conflicts	: 786
c decisions	: 11197
c propagations	: 54621
c inspects	: 294993
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 786
c root simplifications	: 4
s UNKNOWN
c Total CPU time (ms) : 1235.69
#### 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.95 0.93 2/54 27400
Raw data (stat): 27400 (runsolver) R 27399 15547 15546 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 777884334 1052672 99 4294967295 134512640 135381576 3221224400 3221219620 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0184 s]
Raw data (loadavg): 1.24 1.02 0.95 4/64 27410
Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17981 0 88 0 459 43 0 0 25 0 11 0 777884334 862236672 20585 4294967295 134512640 134569956 3221224368 3221213464 1076862509 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210507 20585 13086 16 0 210491 0
vsize: 842028
[startup+20.0194 s]
Raw data (loadavg): 1.36 1.05 0.97 2/64 27410
Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17983 0 88 0 1405 43 0 0 25 0 11 0 777884334 860643328 22207 4294967295 134512640 134569956 3221224368 3221214544 1131180464 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210118 22207 13086 16 0 210102 0
vsize: 840472
[startup+30.0193 s]
Raw data (loadavg): 1.31 1.05 0.97 2/64 27410
Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17983 0 88 0 2371 43 0 0 25 0 11 0 777884334 859734016 22887 4294967295 134512640 134569956 3221224368 3221214624 1131311491 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209896 22887 13086 16 0 209880 0
vsize: 839584
[startup+40.019 s]
Raw data (loadavg): 1.26 1.05 0.97 2/64 27410
Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17984 0 89 0 3345 44 0 0 25 0 11 0 777884334 859734016 22889 4294967295 134512640 134569956 3221224368 3221214560 1131437081 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209896 22889 13086 16 0 209880 0
vsize: 839584
[startup+50.0196 s]
Raw data (loadavg): 1.22 1.05 0.97 2/64 27410
Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17984 0 89 0 4331 44 0 0 25 0 11 0 777884334 859734016 22889 4294967295 134512640 134569956 3221224368 3221214624 1131311538 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209896 22889 13086 16 0 209880 0
vsize: 839584
[startup+60.0206 s]
Raw data (loadavg): 1.18 1.05 0.97 2/64 27410
Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17984 0 89 0 5320 44 0 0 25 0 11 0 777884334 859734016 22891 4294967295 134512640 134569956 3221224368 3221214624 1131311564 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209896 22891 13086 16 0 209880 0
vsize: 839584
[startup+70.0206 s]
Raw data (loadavg): 1.16 1.04 0.97 2/64 27410
Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17984 0 89 0 6304 44 0 0 25 0 11 0 777884334 859734016 22891 4294967295 134512640 134569956 3221224368 3221214568 1131309671 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209896 22891 13086 16 0 209880 0
vsize: 839584
[startup+80.0223 s]
Raw data (loadavg): 1.13 1.04 0.97 2/64 27410
Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17984 0 89 0 7288 44 0 0 25 0 11 0 777884334 859734016 22891 4294967295 134512640 134569956 3221224368 3221214540 1130885141 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209896 22891 13086 16 0 209880 0
vsize: 839584
[startup+90.0221 s]
Raw data (loadavg): 1.18 1.06 0.97 2/64 27410
Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17984 0 89 0 8276 44 0 0 25 0 11 0 777884334 859734016 22891 4294967295 134512640 134569956 3221224368 3221214592 1131313279 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209896 22891 13086 16 0 209880 0
vsize: 839584
[startup+100.021 s]
Raw data (loadavg): 1.16 1.05 0.97 2/64 27410
Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17984 0 89 0 9259 44 0 0 25 0 11 0 777884334 859734016 22891 4294967295 134512640 134569956 3221224368 3221214616 1131401006 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209896 22891 13086 16 0 209880 0
vsize: 839584
[startup+110.022 s]
Raw data (loadavg): 1.13 1.05 0.97 2/64 27410
Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17984 0 89 0 10241 44 0 0 25 0 11 0 777884334 859734016 22891 4294967295 134512640 134569956 3221224368 3221214592 1131313339 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209896 22891 13086 16 0 209880 0
vsize: 839584
[startup+120.023 s]
Raw data (loadavg): 1.11 1.05 0.97 2/64 27410
Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17984 0 89 0 11220 44 0 0 25 0 11 0 777884334 859734016 22891 4294967295 134512640 134569956 3221224368 3221214624 1131311491 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209896 22891 13086 16 0 209880 0
vsize: 839584
[startup+130.022 s]
Raw data (loadavg): 1.09 1.05 0.97 2/64 27410
Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17984 0 89 0 12199 44 0 0 25 0 11 0 777884334 859734016 22945 4294967295 134512640 134569956 3221224368 3221214616 1131401412 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209896 22945 13086 16 0 209880 0
vsize: 839584
[startup+140.022 s]
Raw data (loadavg): 1.08 1.05 0.97 2/64 27410
Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17984 0 89 0 13186 44 0 0 25 0 11 0 777884334 859734016 23178 4294967295 134512640 134569956 3221224368 3221214624 1131311564 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209896 23178 13086 16 0 209880 0
vsize: 839584
[startup+150.022 s]
Raw data (loadavg): 1.07 1.04 0.97 2/64 27410
Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17984 0 89 0 14173 44 0 0 25 0 11 0 777884334 859734016 23213 4294967295 134512640 134569956 3221224368 3221214616 1131401491 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209896 23213 13086 16 0 209880 0
vsize: 839584
[startup+160.023 s]
Raw data (loadavg): 1.06 1.04 0.97 2/64 27410
Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17984 0 89 0 15161 44 0 0 25 0 11 0 777884334 859734016 23302 4294967295 134512640 134569956 3221224368 3221214504 1131156770 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209896 23302 13086 16 0 209880 0
vsize: 839584
[startup+170.022 s]
Raw data (loadavg): 1.05 1.04 0.97 2/64 27410
Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17984 0 89 0 16151 44 0 0 25 0 11 0 777884334 859734016 23319 4294967295 134512640 134569956 3221224368 3221214528 1131251241 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209896 23319 13086 16 0 209880 0
vsize: 839584
[startup+180.022 s]
Raw data (loadavg): 1.04 1.04 0.97 2/64 27410
Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17984 0 89 0 17140 45 0 0 25 0 11 0 777884334 859734016 23371 4294967295 134512640 134569956 3221224368 3221214568 1131309251 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209896 23371 13086 16 0 209880 0
vsize: 839584
[startup+190.022 s]
Raw data (loadavg): 1.03 1.04 0.97 2/64 27410
Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17984 0 89 0 18133 45 0 0 25 0 11 0 777884334 859734016 23371 4294967295 134512640 134569956 3221224368 3221214620 1131308585 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209896 23371 13086 16 0 209880 0
vsize: 839584
[startup+200.023 s]
Raw data (loadavg): 1.03 1.04 0.97 2/64 27410
Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17984 0 89 0 19122 45 0 0 25 0 11 0 777884334 859734016 23405 4294967295 134512640 134569956 3221224368 3221214504 1131156660 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209896 23405 13086 16 0 209880 0
vsize: 839584
[startup+210.024 s]
Raw data (loadavg): 1.02 1.03 0.97 2/64 27410
Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17984 0 89 0 20111 45 0 0 25 0 11 0 777884334 859734016 23440 4294967295 134512640 134569956 3221224368 3221214528 1131251024 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209896 23440 13086 16 0 209880 0
vsize: 839584
[startup+220.024 s]
Raw data (loadavg): 1.02 1.03 0.97 2/64 27410
Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17984 0 89 0 21100 45 0 0 25 0 11 0 777884334 859734016 23477 4294967295 134512640 134569956 3221224368 3221214528 1131251084 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209896 23477 13086 16 0 209880 0
vsize: 839584
[startup+230.024 s]
Raw data (loadavg): 1.02 1.03 0.97 2/64 27410
Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17984 0 89 0 22090 45 0 0 25 0 11 0 777884334 859734016 23539 4294967295 134512640 134569956 3221224368 3221214616 1131313341 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209896 23539 13086 16 0 209880 0
vsize: 839584
[startup+240.024 s]
Raw data (loadavg): 1.01 1.03 0.97 2/64 27410
Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17984 0 89 0 23081 45 0 0 25 0 11 0 777884334 859734016 23557 4294967295 134512640 134569956 3221224368 3221214736 1131309151 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209896 23557 13086 16 0 209880 0
vsize: 839584
[startup+250.024 s]
Raw data (loadavg): 1.01 1.03 0.97 2/64 27410
Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17984 0 89 0 24075 45 0 0 25 0 11 0 777884334 859734016 23557 4294967295 134512640 134569956 3221224368 3221214640 1131401476 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209896 23557 13086 16 0 209880 0
vsize: 839584
[startup+260.031 s]
Raw data (loadavg): 1.01 1.03 0.97 2/64 27410
Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17984 0 89 0 25066 45 0 0 25 0 11 0 777884334 859734016 23575 4294967295 134512640 134569956 3221224368 3221214564 1130885141 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209896 23575 13086 16 0 209880 0
vsize: 839584
[startup+270.031 s]
Raw data (loadavg): 1.01 1.03 0.97 2/64 27410
Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17984 0 89 0 26057 46 0 0 25 0 11 0 777884334 859734016 23592 4294967295 134512640 134569956 3221224368 3221214528 1131156756 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209896 23592 13086 16 0 209880 0
vsize: 839584
[startup+280.03 s]
Raw data (loadavg): 1.00 1.02 0.97 2/64 27410
Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17984 0 89 0 27047 46 0 0 25 0 11 0 777884334 859734016 23610 4294967295 134512640 134569956 3221224368 3221214640 1131401436 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209896 23610 13086 16 0 209880 0
vsize: 839584
[startup+290.035 s]
Raw data (loadavg): 1.00 1.02 0.97 2/64 27410
Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17984 0 89 0 28037 46 0 0 25 0 11 0 777884334 859734016 23645 4294967295 134512640 134569956 3221224368 3221214564 1130885154 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209896 23645 13086 16 0 209880 0
vsize: 839584
[startup+300.035 s]
Raw data (loadavg): 1.00 1.02 0.97 2/64 27410
Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17984 0 89 0 29028 46 0 0 25 0 11 0 777884334 859734016 23680 4294967295 134512640 134569956 3221224368 3221214564 1130885141 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209896 23680 13086 16 0 209880 0
vsize: 839584
[startup+310.035 s]
Raw data (loadavg): 1.00 1.02 0.97 2/64 27410
Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17984 0 89 0 30019 46 0 0 25 0 11 0 777884334 859734016 23715 4294967295 134512640 134569956 3221224368 3221214616 1131313362 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209896 23715 13086 16 0 209880 0
vsize: 839584
[startup+320.035 s]
Raw data (loadavg): 1.00 1.02 0.97 2/64 27410
Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17984 0 89 0 31010 46 0 0 25 0 11 0 777884334 859734016 23732 4294967295 134512640 134569956 3221224368 3221214648 1131311523 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209896 23732 13086 16 0 209880 0
vsize: 839584
[startup+330.036 s]
Raw data (loadavg): 1.00 1.02 0.97 2/64 27410
Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17984 0 89 0 32005 46 0 0 25 0 11 0 777884334 859734016 23748 4294967295 134512640 134569956 3221224368 3221214528 1131288056 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209896 23748 13086 16 0 209880 0
vsize: 839584
[startup+340.036 s]
Raw data (loadavg): 1.00 1.02 0.97 2/64 27410
Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17984 0 89 0 32995 46 0 0 25 0 11 0 777884334 859734016 23783 4294967295 134512640 134569956 3221224368 3221214568 1131180457 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209896 23783 13086 16 0 209880 0
vsize: 839584
[startup+350.035 s]
Raw data (loadavg): 1.00 1.02 0.97 2/64 27410
Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17984 0 89 0 33987 46 0 0 25 0 11 0 777884334 859734016 23800 4294967295 134512640 134569956 3221224368 3221214592 1131309294 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209896 23800 13086 16 0 209880 0
vsize: 839584
[startup+360.036 s]
Raw data (loadavg): 1.08 1.03 0.98 2/64 27410
Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17984 0 89 0 34979 46 0 0 25 0 11 0 777884334 859734016 23817 4294967295 134512640 134569956 3221224368 3221214528 1131156805 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209896 23817 13086 16 0 209880 0
vsize: 839584
[startup+370.037 s]
Raw data (loadavg): 1.07 1.03 0.98 2/64 27410
Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17984 0 89 0 35971 46 0 0 25 0 11 0 777884334 859734016 23851 4294967295 134512640 134569956 3221224368 3221214648 1131311523 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209896 23851 13086 16 0 209880 0
vsize: 839584
[startup+380.036 s]
Raw data (loadavg): 1.13 1.05 0.98 2/64 27410
Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17984 0 89 0 36962 47 0 0 25 0 11 0 777884334 859734016 23867 4294967295 134512640 134569956 3221224368 3221214568 1131180436 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209896 23867 13086 16 0 209880 0
vsize: 839584
[startup+390.036 s]
Raw data (loadavg): 1.11 1.04 0.98 2/64 27410
Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17984 0 89 0 37954 47 0 0 25 0 11 0 777884334 859734016 23884 4294967295 134512640 134569956 3221224368 3221214616 1131313328 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209896 23884 13086 16 0 209880 0
vsize: 839584
[startup+400.036 s]
Raw data (loadavg): 1.09 1.04 0.98 2/64 27410
Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17984 0 89 0 38945 47 0 0 25 0 11 0 777884334 859734016 23884 4294967295 134512640 134569956 3221224368 3221214640 1131401006 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209896 23884 13086 16 0 209880 0
vsize: 839584
[startup+410.038 s]
Raw data (loadavg): 1.08 1.04 0.98 3/64 27410
Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17984 0 89 0 39940 47 0 0 25 0 11 0 777884334 859734016 23900 4294967295 134512640 134569956 3221224368 3221214640 1131401372 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209896 23900 13086 16 0 209880 0
vsize: 839584
[startup+420.039 s]
Raw data (loadavg): 1.07 1.04 0.98 2/64 27410
Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17984 0 89 0 40930 47 0 0 25 0 11 0 777884334 859734016 23952 4294967295 134512640 134569956 3221224368 3221214576 1131251241 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209896 23952 13086 16 0 209880 0
vsize: 839584
[startup+430.039 s]
Raw data (loadavg): 1.06 1.04 0.98 2/64 27410
Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17984 0 89 0 41922 47 0 0 25 0 11 0 777884334 859734016 23969 4294967295 134512640 134569956 3221224368 3221214648 1131311520 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209896 23969 13086 16 0 209880 0
vsize: 839584
[startup+440.039 s]
Raw data (loadavg): 1.05 1.03 0.98 2/64 27410
Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17984 0 89 0 42914 47 0 0 25 0 11 0 777884334 859734016 23986 4294967295 134512640 134569956 3221224368 3221214632 1131427671 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209896 23986 13086 16 0 209880 0
vsize: 839584
[startup+450.038 s]
Raw data (loadavg): 1.04 1.03 0.98 2/64 27410
Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17984 0 89 0 43907 47 0 0 25 0 11 0 777884334 859734016 24002 4294967295 134512640 134569956 3221224368 3221214592 1131309652 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209896 24002 13086 16 0 209880 0
vsize: 839584
[startup+460.039 s]
Raw data (loadavg): 1.03 1.03 0.98 2/64 27410
Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17984 0 89 0 44899 47 0 0 25 0 11 0 777884334 859734016 24019 4294967295 134512640 134569956 3221224368 3221214568 1131180459 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209896 24019 13086 16 0 209880 0
vsize: 839584
[startup+470.039 s]
Raw data (loadavg): 1.03 1.03 0.98 2/64 27410
Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17984 0 89 0 45892 47 0 0 25 0 11 0 777884334 859734016 24035 4294967295 134512640 134569956 3221224368 3221214616 1131313358 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209896 24035 13086 16 0 209880 0
vsize: 839584
[startup+480.039 s]
Raw data (loadavg): 1.02 1.03 0.98 2/64 27410
Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17984 0 89 0 46884 47 0 0 25 0 11 0 777884334 859734016 24052 4294967295 134512640 134569956 3221224368 3221214640 1131401225 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209896 24052 13086 16 0 209880 0
vsize: 839584
[startup+490.039 s]
Raw data (loadavg): 1.09 1.04 0.99 2/64 27410
Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17984 0 89 0 47875 47 0 0 25 0 11 0 777884334 859734016 24068 4294967295 134512640 134569956 3221224368 3221214544 1131251198 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209896 24068 13086 16 0 209880 0
vsize: 839584
[startup+500.04 s]
Raw data (loadavg): 1.08 1.04 0.99 2/64 27410
Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17984 0 89 0 48869 47 0 0 25 0 11 0 777884334 859734016 24068 4294967295 134512640 134569956 3221224368 3221214616 1131313339 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209896 24068 13086 16 0 209880 0
vsize: 839584
[startup+510.041 s]
Raw data (loadavg): 1.06 1.04 0.99 2/64 27410
Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17984 0 89 0 49858 47 0 0 25 0 11 0 777884334 859734016 24119 4294967295 134512640 134569956 3221224368 3221214788 1131292387 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209896 24119 13086 16 0 209880 0
vsize: 839584
[startup+520.041 s]
Raw data (loadavg): 1.05 1.04 0.99 2/64 27410
Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17984 0 89 0 50822 47 0 0 25 0 11 0 777884334 859734016 24154 4294967295 134512640 134569956 3221224368 3221214592 1131309278 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209896 24154 13086 16 0 209880 0
vsize: 839584
[startup+530.042 s]
Raw data (loadavg): 1.05 1.04 0.99 2/64 27410
Raw data (stat): 27400 (java) S 27399 15547 15546 0 -1 0 17984 0 89 0 51771 48 0 0 25 0 11 0 777884334 859734016 24220 4294967295 134512640 134569956 3221224368 3221213400 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209896 24220 13086 16 0 209880 0
vsize: 839584
[startup+540.046 s]
Raw data (loadavg): 1.04 1.03 0.99 2/64 27410
Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17984 0 89 0 52741 48 0 0 25 0 11 0 777884334 859734016 24305 4294967295 134512640 134569956 3221224368 3221214656 1131295353 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209896 24305 13086 16 0 209880 0
vsize: 839584
[startup+550.046 s]
Raw data (loadavg): 1.03 1.03 0.99 2/64 27410
Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17984 0 89 0 53691 48 0 0 25 0 11 0 777884334 859734016 24498 4294967295 134512640 134569956 3221224368 3221214648 1131311523 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209896 24498 13086 16 0 209880 0
vsize: 839584
[startup+560.047 s]
Raw data (loadavg): 1.03 1.03 0.99 2/64 27410
Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17984 0 89 0 54651 48 0 0 25 0 11 0 777884334 859734016 24547 4294967295 134512640 134569956 3221224368 3221214640 1131401006 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209896 24547 13086 16 0 209880 0
vsize: 839584
[startup+570.047 s]
Raw data (loadavg): 1.02 1.03 0.99 2/64 27410
Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17985 0 89 0 55620 48 0 0 25 0 11 0 777884334 859734016 24659 4294967295 134512640 134569956 3221224368 3221214528 1131157242 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209896 24659 13086 16 0 209880 0
vsize: 839584
[startup+580.046 s]
Raw data (loadavg): 1.02 1.03 0.99 2/64 27410
Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17985 0 89 0 56582 48 0 0 25 0 11 0 777884334 859734016 24659 4294967295 134512640 134569956 3221224368 3221214640 1131401547 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209896 24659 13086 16 0 209880 0
vsize: 839584
[startup+590.046 s]
Raw data (loadavg): 1.02 1.03 0.99 2/64 27410
Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17985 0 89 0 57552 48 0 0 25 0 11 0 777884334 859734016 24889 4294967295 134512640 134569956 3221224368 3221214544 1131251384 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209896 24889 13086 16 0 209880 0
vsize: 839584
[startup+600.046 s]
Raw data (loadavg): 1.01 1.03 0.99 2/64 27410
Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17985 0 89 0 58512 48 0 0 25 0 11 0 777884334 859734016 25072 4294967295 134512640 134569956 3221224368 3221214528 1131156663 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209896 25072 13086 16 0 209880 0
vsize: 839584
[startup+610.047 s]
Raw data (loadavg): 1.01 1.02 0.99 2/64 27410
Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17985 0 89 0 59481 48 0 0 25 0 11 0 777884334 859734016 25196 4294967295 134512640 134569956 3221224368 3221214640 1131401372 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209896 25196 13086 16 0 209880 0
vsize: 839584
[startup+620.051 s]
Raw data (loadavg): 1.01 1.02 0.99 2/64 27410
Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17985 0 89 0 60460 49 0 0 25 0 11 0 777884334 859734016 25302 4294967295 134512640 134569956 3221224368 3221214656 1131294973 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209896 25302 13086 16 0 209880 0
vsize: 839584
[startup+630.051 s]
Raw data (loadavg): 1.01 1.02 0.99 2/64 27410
Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17985 0 89 0 61436 49 0 0 25 0 11 0 777884334 859734016 25406 4294967295 134512640 134569956 3221224368 3221214616 1131313328 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209896 25406 13086 16 0 209880 0
vsize: 839584
[startup+640.051 s]
Raw data (loadavg): 1.00 1.02 0.99 2/64 27410
Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17985 0 89 0 62423 49 0 0 25 0 11 0 777884334 859734016 25451 4294967295 134512640 134569956 3221224368 3221214568 1131180453 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209896 25451 13086 16 0 209880 0
vsize: 839584
[startup+650.05 s]
Raw data (loadavg): 1.00 1.02 0.99 2/64 27410
Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17985 0 89 0 63406 50 0 0 25 0 11 0 777884334 859734016 25527 4294967295 134512640 134569956 3221224368 3221214528 1131156663 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209896 25527 13086 16 0 209880 0
vsize: 839584
[startup+660.052 s]
Raw data (loadavg): 1.00 1.02 0.99 2/64 27410
Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17985 0 89 0 64390 50 0 0 25 0 11 0 777884334 859734016 25617 4294967295 134512640 134569956 3221224368 3221214616 1131438713 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209896 25617 13086 16 0 209880 0
vsize: 839584
[startup+670.052 s]
Raw data (loadavg): 1.00 1.02 0.99 2/64 27410
Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17985 0 89 0 65379 50 0 0 25 0 11 0 777884334 859734016 25617 4294967295 134512640 134569956 3221224368 3221214552 1131251198 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209896 25617 13086 16 0 209880 0
vsize: 839584
[startup+680.052 s]
Raw data (loadavg): 1.00 1.02 0.99 2/64 27410
Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17985 0 89 0 66356 51 0 0 25 0 11 0 777884334 859734016 25677 4294967295 134512640 134569956 3221224368 3221214636 1131308588 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209896 25677 13086 16 0 209880 0
vsize: 839584
[startup+690.052 s]
Raw data (loadavg): 1.00 1.02 0.99 2/64 27410
Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17985 0 89 0 67345 51 0 0 25 0 11 0 777884334 859734016 25691 4294967295 134512640 134569956 3221224368 3221214640 1131400960 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209896 25691 13086 16 0 209880 0
vsize: 839584
[startup+700.052 s]
Raw data (loadavg): 1.00 1.02 0.99 2/64 27410
Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17985 0 89 0 68332 51 0 0 25 0 11 0 777884334 859734016 25727 4294967295 134512640 134569956 3221224368 3221214640 1131401502 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209896 25727 13086 16 0 209880 0
vsize: 839584
[startup+710.053 s]
Raw data (loadavg): 1.00 1.01 0.99 2/64 27410
Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17985 0 89 0 69319 51 0 0 25 0 11 0 777884334 859734016 25761 4294967295 134512640 134569956 3221224368 3221214640 1131401462 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209896 25761 13086 16 0 209880 0
vsize: 839584
[startup+720.053 s]
Raw data (loadavg): 1.00 1.01 0.99 2/64 27410
Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17985 0 89 0 70308 51 0 0 25 0 11 0 777884334 859734016 25813 4294967295 134512640 134569956 3221224368 3221214640 1131401006 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209896 25813 13086 16 0 209880 0
vsize: 839584
[startup+730.052 s]
Raw data (loadavg): 1.00 1.01 0.99 2/64 27410
Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17985 0 89 0 71296 51 0 0 25 0 11 0 777884334 859734016 25845 4294967295 134512640 134569956 3221224368 3221214640 1131329009 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209896 25845 13086 16 0 209880 0
vsize: 839584
[startup+740.053 s]
Raw data (loadavg): 1.00 1.01 0.99 2/64 27410
Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17985 0 89 0 72286 52 0 0 25 0 11 0 777884334 859734016 25893 4294967295 134512640 134569956 3221224368 3221214616 1131313406 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209896 25893 13086 16 0 209880 0
vsize: 839584
[startup+750.054 s]
Raw data (loadavg): 1.00 1.01 0.99 2/64 27410
Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17985 0 89 0 73279 52 0 0 25 0 11 0 777884334 859734016 25925 4294967295 134512640 134569956 3221224368 3221214616 1131313328 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209896 25925 13086 16 0 209880 0
vsize: 839584
[startup+760.054 s]
Raw data (loadavg): 1.00 1.01 0.99 2/64 27410
Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17985 0 89 0 74270 52 0 0 25 0 11 0 777884334 859734016 25953 4294967295 134512640 134569956 3221224368 3221214528 1131156663 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209896 25953 13086 16 0 209880 0
vsize: 839584
[startup+770.053 s]
Raw data (loadavg): 1.00 1.01 0.99 2/64 27410
Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17985 0 89 0 75261 52 0 0 25 0 11 0 777884334 859734016 25953 4294967295 134512640 134569956 3221224368 3221214648 1131311577 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209896 25953 13086 16 0 209880 0
vsize: 839584
[startup+780.053 s]
Raw data (loadavg): 1.00 1.01 0.99 2/64 27410
Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17985 0 89 0 76254 53 0 0 25 0 11 0 777884334 859734016 25971 4294967295 134512640 134569956 3221224368 3221214592 1131309321 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209896 25971 13086 16 0 209880 0
vsize: 839584
[startup+790.053 s]
Raw data (loadavg): 1.00 1.01 0.99 2/64 27410
Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17985 0 89 0 77245 53 0 0 25 0 11 0 777884334 859734016 25988 4294967295 134512640 134569956 3221224368 3221214640 1131401006 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209896 25988 13086 16 0 209880 0
vsize: 839584
[startup+800.053 s]
Raw data (loadavg): 1.00 1.01 0.99 2/64 27410
Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17985 0 89 0 78236 53 0 0 25 0 11 0 777884334 859734016 26006 4294967295 134512640 134569956 3221224368 3221214640 1131401537 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209896 26006 13086 16 0 209880 0
vsize: 839584
[startup+810.054 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 27410
Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17985 0 89 0 79228 53 0 0 25 0 11 0 777884334 859734016 26022 4294967295 134512640 134569956 3221224368 3221214568 1131180436 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209896 26022 13086 16 0 209880 0
vsize: 839584
[startup+820.054 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 27410
Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17985 0 89 0 80220 54 0 0 25 0 11 0 777884334 859734016 26022 4294967295 134512640 134569956 3221224368 3221214648 1131311523 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209896 26022 13086 16 0 209880 0
vsize: 839584
[startup+830.053 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 27410
Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17985 0 89 0 81212 54 0 0 25 0 11 0 777884334 859734016 26038 4294967295 134512640 134569956 3221224368 3221214552 1131251084 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209896 26038 13086 16 0 209880 0
vsize: 839584
[startup+840.054 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 27410
Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17985 0 89 0 82201 54 0 0 25 0 11 0 777884334 859734016 26054 4294967295 134512640 134569956 3221224368 3221214696 1131251059 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209896 26054 13086 16 0 209880 0
vsize: 839584
[startup+850.054 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 27410
Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17985 0 89 0 83168 55 0 0 25 0 11 0 777884334 859734016 26086 4294967295 134512640 134569956 3221224368 3221214388 1130904611 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209896 26086 13086 16 0 209880 0
vsize: 839584
[startup+860.055 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 27410
Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17985 0 89 0 84105 55 0 0 25 0 11 0 777884334 859734016 26134 4294967295 134512640 134569956 3221224368 3221214656 1131295353 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209896 26134 13086 16 0 209880 0
vsize: 839584
[startup+870.055 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 27410
Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17985 0 89 0 85064 55 0 0 25 0 11 0 777884334 859734016 26200 4294967295 134512640 134569956 3221224368 3221214640 1131401003 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209896 26200 13086 16 0 209880 0
vsize: 839584
[startup+880.054 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 27410
Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17985 0 89 0 86032 55 0 0 25 0 11 0 777884334 859734016 26328 4294967295 134512640 134569956 3221224368 3221214564 1130885154 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209896 26328 13086 16 0 209880 0
vsize: 839584
[startup+890.055 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 27410
Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17985 0 89 0 86992 56 0 0 25 0 11 0 777884334 859734016 26328 4294967295 134512640 134569956 3221224368 3221214552 1131251084 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209896 26328 13086 16 0 209880 0
vsize: 839584
[startup+900.055 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 27410
Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17985 0 89 0 87962 56 0 0 25 0 11 0 777884334 859734016 26391 4294967295 134512640 134569956 3221224368 3221214528 1131156728 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209896 26391 13086 16 0 209880 0
vsize: 839584
[startup+910.055 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 27410
Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17985 0 89 0 88920 56 0 0 25 0 11 0 777884334 859734016 26488 4294967295 134512640 134569956 3221224368 3221214564 1130885175 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209896 26488 13086 16 0 209880 0
vsize: 839584
[startup+920.056 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 27410
Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17985 0 89 0 89889 57 0 0 25 0 11 0 777884334 859734016 26619 4294967295 134512640 134569956 3221224368 3221214636 1131323497 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209896 26619 13086 16 0 209880 0
vsize: 839584
[startup+930.056 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 27410
Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17985 0 89 0 90849 57 0 0 25 0 11 0 777884334 859734016 26796 4294967295 134512640 134569956 3221224368 3221214592 1131309652 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209896 26796 13086 16 0 209880 0
vsize: 839584
[startup+940.056 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 27410
Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17985 0 89 0 91821 58 0 0 25 0 11 0 777884334 859734016 26814 4294967295 134512640 134569956 3221224368 3221214528 1131156762 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209896 26814 13086 16 0 209880 0
vsize: 839584
[startup+950.055 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 27410
Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17985 0 89 0 92780 58 0 0 25 0 11 0 777884334 859734016 26943 4294967295 134512640 134569956 3221224368 3221214616 1131313328 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209896 26943 13086 16 0 209880 0
vsize: 839584
[startup+960.056 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 27410
Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17985 0 89 0 93753 58 0 0 25 0 11 0 777884334 859734016 27107 4294967295 134512640 134569956 3221224368 3221214640 1131401427 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209896 27107 13086 16 0 209880 0
vsize: 839584
[startup+970.057 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 27410
Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17985 0 89 0 94722 59 0 0 25 0 11 0 777884334 859734016 27200 4294967295 134512640 134569956 3221224368 3221214552 1131251084 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209896 27200 13086 16 0 209880 0
vsize: 839584
[startup+980.058 s]
Raw data (loadavg): 1.15 1.03 1.00 2/68 27456
Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17985 0 89 0 95689 60 0 0 24 0 11 0 777884334 859734016 27231 4294967295 134512640 134569956 3221224368 3221214648 1131311535 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209896 27231 13086 16 0 209880 0
vsize: 839584
[startup+990.059 s]
Raw data (loadavg): 1.13 1.03 1.00 2/64 27463
Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17985 0 89 0 96666 60 0 0 25 0 11 0 777884334 859734016 27275 4294967295 134512640 134569956 3221224368 3221214564 1130885120 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209896 27275 13086 16 0 209880 0
vsize: 839584
[startup+1000.06 s]
Raw data (loadavg): 1.11 1.03 1.00 2/64 27463
Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17985 0 89 0 97636 60 0 0 25 0 11 0 777884334 859734016 27388 4294967295 134512640 134569956 3221224368 3221214616 1131313396 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209896 27388 13086 16 0 209880 0
vsize: 839584
[startup+1010.06 s]
Raw data (loadavg): 1.09 1.03 1.00 2/64 27463
Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17985 0 89 0 98614 61 0 0 25 0 11 0 777884334 859734016 27480 4294967295 134512640 134569956 3221224368 3221214544 1131251198 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209896 27480 13086 16 0 209880 0
vsize: 839584
[startup+1020.06 s]
Raw data (loadavg): 1.08 1.03 1.00 2/64 27463
Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17985 0 89 0 99589 61 0 0 25 0 11 0 777884334 859734016 27578 4294967295 134512640 134569956 3221224368 3221214528 1131156660 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209896 27578 13086 16 0 209880 0
vsize: 839584
[startup+1030.06 s]
Raw data (loadavg): 1.06 1.03 1.00 2/64 27463
Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17985 0 89 0 100571 61 0 0 25 0 11 0 777884334 859734016 27710 4294967295 134512640 134569956 3221224368 3221214624 1131323488 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209896 27710 13086 16 0 209880 0
vsize: 839584
[startup+1040.06 s]
Raw data (loadavg): 1.05 1.02 1.00 2/64 27463
Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17985 0 89 0 101550 61 0 0 25 0 11 0 777884334 859734016 27775 4294967295 134512640 134569956 3221224368 3221214616 1131308614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209896 27775 13086 16 0 209880 0
vsize: 839584
[startup+1050.06 s]
Raw data (loadavg): 1.05 1.02 1.00 2/64 27463
Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17985 0 89 0 102531 62 0 0 25 0 11 0 777884334 859734016 27807 4294967295 134512640 134569956 3221224368 3221214616 1131313334 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209896 27807 13086 16 0 209880 0
vsize: 839584
[startup+1060.06 s]
Raw data (loadavg): 1.04 1.02 1.00 2/64 27465
Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17985 0 89 0 103515 62 0 0 25 0 11 0 777884334 859734016 27854 4294967295 134512640 134569956 3221224368 3221214512 1131442508 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209896 27854 13086 16 0 209880 0
vsize: 839584
[startup+1070.06 s]
Raw data (loadavg): 1.03 1.02 1.00 2/64 27465
Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17985 0 89 0 104495 62 0 0 25 0 11 0 777884334 859734016 27916 4294967295 134512640 134569956 3221224368 3221214564 1130885189 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209896 27916 13086 16 0 209880 0
vsize: 839584
[startup+1080.06 s]
Raw data (loadavg): 1.03 1.02 1.00 2/64 27465
Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17985 0 89 0 105480 63 0 0 25 0 11 0 777884334 859734016 27933 4294967295 134512640 134569956 3221224368 3221214648 1131311491 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209896 27933 13086 16 0 209880 0
vsize: 839584
[startup+1090.06 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 27465
Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17985 0 89 0 106460 64 0 0 25 0 11 0 777884334 859734016 27995 4294967295 134512640 134569956 3221224368 3221214640 1131401396 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209896 27995 13086 16 0 209880 0
vsize: 839584
[startup+1100.06 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 27465
Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17985 0 89 0 107445 64 0 0 25 0 11 0 777884334 859734016 28042 4294967295 134512640 134569956 3221224368 3221214592 1131309151 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209896 28042 13086 16 0 209880 0
vsize: 839584
[startup+1110.06 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 27465
Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17985 0 89 0 108425 64 0 0 25 0 11 0 777884334 859734016 28074 4294967295 134512640 134569956 3221224368 3221214640 1131329013 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209896 28074 13086 16 0 209880 0
vsize: 839584
[startup+1120.06 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 27465
Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17985 0 89 0 109402 65 0 0 25 0 11 0 777884334 859734016 28136 4294967295 134512640 134569956 3221224368 3221214644 1131308686 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209896 28136 13086 16 0 209880 0
vsize: 839584
[startup+1130.06 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 27465
Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17985 0 89 0 110380 65 0 0 25 0 11 0 777884334 859734016 28166 4294967295 134512640 134569956 3221224368 3221214648 1131311491 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209896 28166 13086 16 0 209880 0
vsize: 839584
[startup+1140.06 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 27465
Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17985 0 89 0 111355 65 0 0 25 0 11 0 777884334 859734016 28216 4294967295 134512640 134569956 3221224368 3221214648 1131311488 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209896 28216 13086 16 0 209880 0
vsize: 839584
[startup+1150.06 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 27465
Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17985 0 89 0 112323 66 0 0 25 0 11 0 777884334 859734016 28298 4294967295 134512640 134569956 3221224368 3221214644 1131309120 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209896 28298 13086 16 0 209880 0
vsize: 839584
[startup+1160.07 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 27465
Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17985 0 89 0 113296 66 0 0 25 0 11 0 777884334 859734016 28314 4294967295 134512640 134569956 3221224368 3221214644 1131309132 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209896 28314 13086 16 0 209880 0
vsize: 839584
[startup+1170.07 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 27465
Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17985 0 89 0 114269 66 0 0 25 0 11 0 777884334 859734016 28376 4294967295 134512640 134569956 3221224368 3221214648 1131156660 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209896 28376 13086 16 0 209880 0
vsize: 839584
[startup+1180.07 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 27465
Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17985 0 89 0 115217 66 0 0 25 0 11 0 777884334 859734016 28456 4294967295 134512640 134569956 3221224368 3221214656 1131295436 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209896 28456 13086 16 0 209880 0
vsize: 839584
[startup+1190.07 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 27465
Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17985 0 89 0 116148 67 0 0 25 0 11 0 777884334 859734016 28837 4294967295 134512640 134569956 3221224368 3221214792 1131305020 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209896 28837 13086 16 0 209880 0
vsize: 839584
[startup+1200.07 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 27465
Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17985 0 89 0 117082 67 0 0 25 0 11 0 777884334 859734016 29135 4294967295 134512640 134569956 3221224368 3221214760 1131500840 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209896 29135 13086 16 0 209880 0
vsize: 839584
[startup+1210.07 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 27465
Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17985 0 89 0 118002 67 0 0 25 0 11 0 777884334 859734016 29691 4294967295 134512640 134569956 3221224368 3221214656 1131294885 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209896 29691 13086 16 0 209880 0
vsize: 839584
[startup+1220.07 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 27465
Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17985 0 89 0 118920 68 0 0 25 0 11 0 777884334 859734016 30194 4294967295 134512640 134569956 3221224368 3221214656 1131294885 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209896 30194 13086 16 0 209880 0
vsize: 839584
[startup+1230.07 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 27465
Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17985 0 89 0 119842 68 0 0 25 0 11 0 777884334 859734016 30611 4294967295 134512640 134569956 3221224368 3221214656 1131295353 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209896 30611 13086 16 0 209880 0
vsize: 839584
[startup+1240.07 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 27465
Raw data (stat): 27400 (java) R 27399 15547 15546 0 -1 0 17985 0 89 0 120766 68 0 0 25 0 11 0 777884334 859734016 30910 4294967295 134512640 134569956 3221224368 3221214756 1131296117 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209896 30910 13086 16 0 209880 0
vsize: 839584
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1240.15 s]
Raw data (loadavg): 1.00 1.01 1.00 1/54 27467
Raw data (stat): 27400 (java) Z 27399 15547 15546 0 -1 1036 17985 15737 89 0 120768 73 3687 38 25 0 1 0 777884334 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): 1240.15
CPU time (s): 1245.68
CPU user time (s): 1244.56
CPU system time (s): 1.12183
CPU usage (%): 100.446
Max. virtual memory (Kb): 842028
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####