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.Ic22arity.ucl.opb
MD5SUM6bfe4c2dce1e5dbe61cc34b52b1b387f
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 130
Number of bits of the biggest number in a constraint 8
Biggest sum of numbers in a constraint 512
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 benchmark45.816
Number of variables87751
Total number of constraints254772
Number of constraints which are clauses247060
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints7712
Minimum length of a constraint1
Maximum length of a constraint15

Trace number 29301

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.042
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:        828688 kB
Buffers:         21104 kB
Cached:         159296 kB
SwapCached:        412 kB
Active:          73484 kB
Inactive:       109268 kB
HighTotal:      131008 kB
HighFree:        18144 kB
LowTotal:       903652 kB
LowFree:        810544 kB
SwapTotal:     2097136 kB
SwapFree:      2096036 kB
Dirty:               4 kB
Writeback:           0 kB
Mapped:           5692 kB
Slab:            17624 kB
Committed_AS:    63732 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 06:34:46 (client local time) WITH STATUS 143 IN 1374.29 SECONDS
stats: 20690 7 1374.29 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/wulflinc6/normalized-cache-ibm-q-unbounded.Ic22arity.ucl.opb
c reading problem ... c starts	: 0
c conflicts	: 0
c decisions	: 0
c propagations	: 0
c inspects	: 0
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 0
s UNKNOWN
c Total CPU time (ms) : 1369.294
#### 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.72 0.92 0.97 2/54 4770
Raw data (stat): 4770 (runsolver) R 4769 25568 25567 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 778398770 1052672 99 4294967295 134512640 135381576 3221224384 3221219604 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.0028 s]
Raw data (loadavg): 0.91 0.96 0.98 2/63 4779
Raw data (stat): 4770 (java) S 4769 25568 25567 0 -1 0 18038 0 1 0 773 38 0 0 22 0 10 0 778398770 855375872 21249 4294967295 134512640 134569956 3221224352 3221213280 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208832 21249 13086 16 0 208816 0
vsize: 835328
[startup+20.0029 s]
Raw data (loadavg): 0.93 0.96 0.98 2/63 4779
Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 1609 39 0 0 19 0 10 0 778398770 854450176 22037 4294967295 134512640 134569956 3221224352 3221214324 1076461336 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208606 22037 13086 16 0 208590 0
vsize: 834424
[startup+30.0035 s]
Raw data (loadavg): 0.94 0.96 0.98 2/63 4779
Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 2451 39 0 0 18 0 10 0 778398770 854450176 22838 4294967295 134512640 134569956 3221224352 3221214256 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208606 22838 13086 16 0 208590 0
vsize: 834424
[startup+40.0042 s]
Raw data (loadavg): 0.95 0.96 0.98 2/63 4779
Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 3294 40 0 0 17 0 10 0 778398770 854450176 23407 4294967295 134512640 134569956 3221224352 3221214548 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208606 23407 13086 16 0 208590 0
vsize: 834424
[startup+50.0083 s]
Raw data (loadavg): 0.95 0.96 0.98 2/63 4779
Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 4132 40 0 0 18 0 10 0 778398770 854450176 24005 4294967295 134512640 134569956 3221224352 3221214680 1131349383 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208606 24005 13086 16 0 208590 0
vsize: 834424
[startup+60.011 s]
Raw data (loadavg): 0.96 0.96 0.98 2/63 4779
Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 4958 40 0 0 16 0 10 0 778398770 854450176 24646 4294967295 134512640 134569956 3221224352 3221214572 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208606 24646 13086 16 0 208590 0
vsize: 834424
[startup+70.0106 s]
Raw data (loadavg): 0.97 0.96 0.98 2/63 4779
Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 5804 41 0 0 19 0 10 0 778398770 854450176 25084 4294967295 134512640 134569956 3221224352 3221214572 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208606 25084 13086 16 0 208590 0
vsize: 834424
[startup+80.0118 s]
Raw data (loadavg): 0.97 0.96 0.98 2/63 4779
Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 6638 41 0 0 16 0 10 0 778398770 854450176 25507 4294967295 134512640 134569956 3221224352 3221214680 1131350144 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208606 25507 13086 16 0 208590 0
vsize: 834424
[startup+90.0124 s]
Raw data (loadavg): 0.98 0.96 0.98 2/63 4779
Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 7480 41 0 0 16 0 10 0 778398770 854450176 25896 4294967295 134512640 134569956 3221224352 3221214144 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208606 25896 13086 16 0 208590 0
vsize: 834424
[startup+100.012 s]
Raw data (loadavg): 0.98 0.97 0.98 2/63 4779
Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 8313 42 0 0 17 0 10 0 778398770 854450176 26254 4294967295 134512640 134569956 3221224352 3221214668 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208606 26254 13086 16 0 208590 0
vsize: 834424
[startup+110.013 s]
Raw data (loadavg): 0.98 0.97 0.98 2/63 4779
Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 9157 43 0 0 17 0 10 0 778398770 854450176 26600 4294967295 134512640 134569956 3221224352 3221214640 1131044787 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208606 26600 13086 16 0 208590 0
vsize: 834424
[startup+120.015 s]
Raw data (loadavg): 0.98 0.97 0.98 2/63 4779
Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 10004 43 0 0 17 0 10 0 778398770 854450176 27035 4294967295 134512640 134569956 3221224352 3221214572 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208606 27035 13086 16 0 208590 0
vsize: 834424
[startup+130.018 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 4779
Raw data (stat): 4770 (java) S 4769 25568 25567 0 -1 0 18038 0 1 0 10848 44 0 0 17 0 10 0 778398770 854450176 27341 4294967295 134512640 134569956 3221224352 3221213384 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208606 27341 13086 16 0 208590 0
vsize: 834424
[startup+140.019 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 4779
Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 11701 45 0 0 17 0 10 0 778398770 854450176 27684 4294967295 134512640 134569956 3221224352 3221214144 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208606 27684 13086 16 0 208590 0
vsize: 834424
[startup+150.021 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 4779
Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 12557 45 0 0 17 0 10 0 778398770 854450176 27978 4294967295 134512640 134569956 3221224352 3221214572 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208606 27978 13086 16 0 208590 0
vsize: 834424
[startup+160.021 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 4779
Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 13404 46 0 0 17 0 10 0 778398770 854450176 28291 4294967295 134512640 134569956 3221224352 3221214676 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208606 28291 13086 16 0 208590 0
vsize: 834424
[startup+170.022 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 4779
Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 14264 47 0 0 17 0 10 0 778398770 854450176 28571 4294967295 134512640 134569956 3221224352 3221214676 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208606 28571 13086 16 0 208590 0
vsize: 834424
[startup+180.023 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 4779
Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 15117 48 0 0 17 0 10 0 778398770 854450176 28853 4294967295 134512640 134569956 3221224352 3221214128 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208606 28853 13086 16 0 208590 0
vsize: 834424
[startup+190.025 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 4779
Raw data (stat): 4770 (java) S 4769 25568 25567 0 -1 0 18038 0 1 0 15977 48 0 0 17 0 10 0 778398770 854450176 29123 4294967295 134512640 134569956 3221224352 3221213384 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208606 29123 13086 16 0 208590 0
vsize: 834424
[startup+200.026 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 4779
Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 16845 48 0 0 17 0 10 0 778398770 854450176 29424 4294967295 134512640 134569956 3221224352 3221214668 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208606 29424 13086 16 0 208590 0
vsize: 834424
[startup+210.028 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 4779
Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 17702 49 0 0 17 0 10 0 778398770 854450176 29681 4294967295 134512640 134569956 3221224352 3221214572 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208606 29681 13086 16 0 208590 0
vsize: 834424
[startup+220.031 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 4779
Raw data (stat): 4770 (java) S 4769 25568 25567 0 -1 0 18038 0 1 0 18566 49 0 0 17 0 10 0 778398770 854450176 30022 4294967295 134512640 134569956 3221224352 3221213384 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208606 30022 13086 16 0 208590 0
vsize: 834424
[startup+230.036 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 4779
Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 19438 50 0 0 17 0 10 0 778398770 854450176 30264 4294967295 134512640 134569956 3221224352 3221214128 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208606 30264 13086 16 0 208590 0
vsize: 834424
[startup+240.038 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 4779
Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 20302 50 0 0 17 0 10 0 778398770 854450176 30510 4294967295 134512640 134569956 3221224352 3221214144 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208606 30510 13086 16 0 208590 0
vsize: 834424
[startup+250.038 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 4779
Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 21167 50 0 0 17 0 10 0 778398770 854450176 30753 4294967295 134512640 134569956 3221224352 3221214572 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208606 30753 13086 16 0 208590 0
vsize: 834424
[startup+260.041 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 4779
Raw data (stat): 4770 (java) S 4769 25568 25567 0 -1 0 18038 0 1 0 22042 50 0 0 17 0 10 0 778398770 854450176 30976 4294967295 134512640 134569956 3221224352 3221213384 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208606 30976 13086 16 0 208590 0
vsize: 834424
[startup+270.045 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 4779
Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 22913 51 0 0 17 0 10 0 778398770 854450176 31200 4294967295 134512640 134569956 3221224352 3221214572 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208606 31200 13086 16 0 208590 0
vsize: 834424
[startup+280.045 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 4779
Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 23783 52 0 0 17 0 10 0 778398770 854450176 31419 4294967295 134512640 134569956 3221224352 3221214144 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208606 31419 13086 16 0 208590 0
vsize: 834424
[startup+290.045 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 4779
Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 24654 52 0 0 17 0 10 0 778398770 854450176 31633 4294967295 134512640 134569956 3221224352 3221214144 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208606 31633 13086 16 0 208590 0
vsize: 834424
[startup+300.047 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 4779
Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 25524 53 0 0 17 0 10 0 778398770 854450176 31850 4294967295 134512640 134569956 3221224352 3221214128 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208606 31850 13086 16 0 208590 0
vsize: 834424
[startup+310.051 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 4779
Raw data (stat): 4770 (java) S 4769 25568 25567 0 -1 0 18038 0 1 0 26399 53 0 0 17 0 10 0 778398770 854450176 32050 4294967295 134512640 134569956 3221224352 3221213368 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208606 32050 13086 16 0 208590 0
vsize: 834424
[startup+320.054 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 4779
Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 27274 54 0 0 17 0 10 0 778398770 854450176 32258 4294967295 134512640 134569956 3221224352 3221214676 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208606 32258 13086 16 0 208590 0
vsize: 834424
[startup+330.058 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 4779
Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 28147 54 0 0 16 0 10 0 778398770 854450176 32465 4294967295 134512640 134569956 3221224352 3221214668 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208606 32465 13086 16 0 208590 0
vsize: 834424
[startup+340.064 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 4779
Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 29022 54 0 0 17 0 10 0 778398770 854450176 32662 4294967295 134512640 134569956 3221224352 3221214144 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208606 32662 13086 16 0 208590 0
vsize: 834424
[startup+350.064 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 4779
Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 29895 54 0 0 17 0 10 0 778398770 854450176 32852 4294967295 134512640 134569956 3221224352 3221214128 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208606 32852 13086 16 0 208590 0
vsize: 834424
[startup+360.065 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 4779
Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 30768 55 0 0 16 0 10 0 778398770 854450176 33047 4294967295 134512640 134569956 3221224352 3221214572 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208606 33047 13086 16 0 208590 0
vsize: 834424
[startup+370.068 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 4779
Raw data (stat): 4770 (java) S 4769 25568 25567 0 -1 0 18038 0 1 0 31649 55 0 0 17 0 10 0 778398770 854450176 33227 4294967295 134512640 134569956 3221224352 3221213368 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208606 33227 13086 16 0 208590 0
vsize: 834424
[startup+380.072 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 4779
Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 32526 55 0 0 17 0 10 0 778398770 854450176 33414 4294967295 134512640 134569956 3221224352 3221214572 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208606 33414 13086 16 0 208590 0
vsize: 834424
[startup+390.073 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 4779
Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 33406 55 0 0 17 0 10 0 778398770 854450176 33600 4294967295 134512640 134569956 3221224352 3221214128 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208606 33600 13086 16 0 208590 0
vsize: 834424
[startup+400.074 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 4779
Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 34276 56 0 0 17 0 10 0 778398770 854450176 33794 4294967295 134512640 134569956 3221224352 3221214128 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208606 33794 13086 16 0 208590 0
vsize: 834424
[startup+410.075 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 4779
Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 35144 56 0 0 17 0 10 0 778398770 854450176 34002 4294967295 134512640 134569956 3221224352 3221214144 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208606 34002 13086 16 0 208590 0
vsize: 834424
[startup+420.076 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 4779
Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 36022 57 0 0 17 0 10 0 778398770 854450176 34277 4294967295 134512640 134569956 3221224352 3221214676 1080204166 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208606 34277 13086 16 0 208590 0
vsize: 834424
[startup+430.08 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 4779
Raw data (stat): 4770 (java) S 4769 25568 25567 0 -1 0 18038 0 1 0 36903 57 0 0 17 0 10 0 778398770 854450176 34443 4294967295 134512640 134569956 3221224352 3221213368 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208606 34443 13086 16 0 208590 0
vsize: 834424
[startup+440.083 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 4779
Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 37786 58 0 0 17 0 10 0 778398770 854450176 34619 4294967295 134512640 134569956 3221224352 3221214144 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208606 34619 13086 16 0 208590 0
vsize: 834424
[startup+450.085 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 4779
Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 38665 58 0 0 17 0 10 0 778398770 854450176 34794 4294967295 134512640 134569956 3221224352 3221214144 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208606 34794 13086 16 0 208590 0
vsize: 834424
[startup+460.086 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 4779
Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 39542 58 0 0 17 0 10 0 778398770 854450176 34967 4294967295 134512640 134569956 3221224352 3221214144 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208606 34967 13086 16 0 208590 0
vsize: 834424
[startup+470.086 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 4779
Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 40419 59 0 0 17 0 10 0 778398770 854450176 35139 4294967295 134512640 134569956 3221224352 3221214144 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208606 35139 13086 16 0 208590 0
vsize: 834424
[startup+480.087 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 4779
Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 41297 60 0 0 17 0 10 0 778398770 854450176 35308 4294967295 134512640 134569956 3221224352 3221214572 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208606 35308 13086 16 0 208590 0
vsize: 834424
[startup+490.088 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 4779
Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 42176 60 0 0 17 0 10 0 778398770 854450176 35475 4294967295 134512640 134569956 3221224352 3221214572 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208606 35475 13086 16 0 208590 0
vsize: 834424
[startup+500.09 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 4779
Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 43060 61 0 0 17 0 10 0 778398770 854450176 35641 4294967295 134512640 134569956 3221224352 3221214668 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208606 35641 13086 16 0 208590 0
vsize: 834424
[startup+510.104 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 4779
Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 43951 61 0 0 17 0 10 0 778398770 854450176 35795 4294967295 134512640 134569956 3221224352 3221214668 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208606 35795 13086 16 0 208590 0
vsize: 834424
[startup+520.109 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 4779
Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 44842 61 0 0 17 0 10 0 778398770 854450176 35924 4294967295 134512640 134569956 3221224352 3221214492 1131234259 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208606 35924 13086 16 0 208590 0
vsize: 834424
[startup+530.11 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 4779
Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 45729 61 0 0 17 0 10 0 778398770 854450176 36062 4294967295 134512640 134569956 3221224352 3221214572 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208606 36062 13086 16 0 208590 0
vsize: 834424
[startup+540.111 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 4779
Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 46614 62 0 0 17 0 10 0 778398770 854450176 36208 4294967295 134512640 134569956 3221224352 3221214144 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208606 36208 13086 16 0 208590 0
vsize: 834424
[startup+550.112 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 4779
Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 47499 63 0 0 16 0 10 0 778398770 854450176 36351 4294967295 134512640 134569956 3221224352 3221214144 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208606 36351 13086 16 0 208590 0
vsize: 834424
[startup+560.113 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 4779
Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 48384 63 0 0 16 0 10 0 778398770 854450176 36493 4294967295 134512640 134569956 3221224352 3221214572 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208606 36493 13086 16 0 208590 0
vsize: 834424
[startup+570.117 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 4779
Raw data (stat): 4770 (java) S 4769 25568 25567 0 -1 0 18038 0 1 0 49272 63 0 0 17 0 10 0 778398770 854450176 36629 4294967295 134512640 134569956 3221224352 3221213368 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208606 36629 13086 16 0 208590 0
vsize: 834424
[startup+580.123 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 4779
Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 50158 63 0 0 17 0 10 0 778398770 854450176 36770 4294967295 134512640 134569956 3221224352 3221214572 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208606 36770 13086 16 0 208590 0
vsize: 834424
[startup+590.125 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 4779
Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 51038 64 0 0 16 0 10 0 778398770 854450176 36916 4294967295 134512640 134569956 3221224352 3221214128 1077558382 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208606 36916 13086 16 0 208590 0
vsize: 834424
[startup+600.125 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 4779
Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 51919 64 0 0 17 0 10 0 778398770 854450176 37065 4294967295 134512640 134569956 3221224352 3221214588 1131311907 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208606 37065 13086 16 0 208590 0
vsize: 834424
[startup+610.129 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 4779
Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 52802 64 0 0 16 0 10 0 778398770 854450176 37209 4294967295 134512640 134569956 3221224352 3221214572 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208606 37209 13086 16 0 208590 0
vsize: 834424
[startup+620.13 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 4779
Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 53684 65 0 0 16 0 10 0 778398770 854450176 37351 4294967295 134512640 134569956 3221224352 3221214572 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208606 37351 13086 16 0 208590 0
vsize: 834424
[startup+630.132 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 4779
Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 54567 65 0 0 16 0 10 0 778398770 854450176 37495 4294967295 134512640 134569956 3221224352 3221214572 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208606 37495 13086 16 0 208590 0
vsize: 834424
[startup+640.132 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 4779
Raw data (stat): 4770 (java) S 4769 25568 25567 0 -1 0 18038 0 1 0 55451 65 0 0 17 0 10 0 778398770 854450176 37629 4294967295 134512640 134569956 3221224352 3221213368 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208606 37629 13086 16 0 208590 0
vsize: 834424
[startup+650.137 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 4779
Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 56338 65 0 0 17 0 10 0 778398770 854450176 37769 4294967295 134512640 134569956 3221224352 3221214144 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208606 37769 13086 16 0 208590 0
vsize: 834424
[startup+660.139 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 4779
Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 57217 65 0 0 17 0 10 0 778398770 854450176 37909 4294967295 134512640 134569956 3221224352 3221214572 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208606 37909 13086 16 0 208590 0
vsize: 834424
[startup+670.14 s]
Raw data (loadavg): 1.07 0.99 0.99 2/63 4779
Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 58096 66 0 0 17 0 10 0 778398770 854450176 38048 4294967295 134512640 134569956 3221224352 3221214676 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208606 38048 13086 16 0 208590 0
vsize: 834424
[startup+680.141 s]
Raw data (loadavg): 1.06 0.99 0.99 2/63 4779
Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 58976 66 0 0 17 0 10 0 778398770 854450176 38189 4294967295 134512640 134569956 3221224352 3221214572 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208606 38189 13086 16 0 208590 0
vsize: 834424
[startup+690.143 s]
Raw data (loadavg): 1.05 0.99 0.99 2/63 4779
Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 59857 66 0 0 17 0 10 0 778398770 854450176 38326 4294967295 134512640 134569956 3221224352 3221214572 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208606 38326 13086 16 0 208590 0
vsize: 834424
[startup+700.144 s]
Raw data (loadavg): 1.04 0.99 0.99 2/63 4779
Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 60740 67 0 0 17 0 10 0 778398770 854450176 38461 4294967295 134512640 134569956 3221224352 3221214144 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208606 38461 13086 16 0 208590 0
vsize: 834424
[startup+710.145 s]
Raw data (loadavg): 1.04 0.99 0.99 2/63 4779
Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 61623 67 0 0 16 0 10 0 778398770 854450176 38597 4294967295 134512640 134569956 3221224352 3221214144 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208606 38597 13086 16 0 208590 0
vsize: 834424
[startup+720.147 s]
Raw data (loadavg): 1.03 0.99 0.99 2/63 4779
Raw data (stat): 4770 (java) S 4769 25568 25567 0 -1 0 18038 0 1 0 62511 67 0 0 17 0 10 0 778398770 854450176 38709 4294967295 134512640 134569956 3221224352 3221213384 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208606 38709 13086 16 0 208590 0
vsize: 834424
[startup+730.152 s]
Raw data (loadavg): 1.03 0.99 0.99 2/63 4779
Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 63395 68 0 0 17 0 10 0 778398770 854450176 38842 4294967295 134512640 134569956 3221224352 3221214572 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208606 38842 13086 16 0 208590 0
vsize: 834424
[startup+740.153 s]
Raw data (loadavg): 1.02 0.99 0.99 2/63 4779
Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 64276 68 0 0 17 0 10 0 778398770 854450176 38970 4294967295 134512640 134569956 3221224352 3221214144 1080019600 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208606 38970 13086 16 0 208590 0
vsize: 834424
[startup+750.155 s]
Raw data (loadavg): 1.02 0.99 0.99 2/63 4779
Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 65175 69 0 0 17 0 10 0 778398770 854450176 39755 4294967295 134512640 134569956 3221224352 3221214144 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208606 39755 13086 16 0 208590 0
vsize: 834424
[startup+760.158 s]
Raw data (loadavg): 1.01 0.99 0.99 2/63 4779
Raw data (stat): 4770 (java) S 4769 25568 25567 0 -1 0 18038 0 1 0 66073 69 0 0 17 0 10 0 778398770 854450176 39755 4294967295 134512640 134569956 3221224352 3221213368 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208606 39755 13086 16 0 208590 0
vsize: 834424
[startup+770.164 s]
Raw data (loadavg): 1.01 0.99 0.99 2/63 4779
Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 66948 70 0 0 17 0 10 0 778398770 854450176 39831 4294967295 134512640 134569956 3221224352 3221214128 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208606 39831 13086 16 0 208590 0
vsize: 834424
[startup+780.165 s]
Raw data (loadavg): 1.01 0.99 0.99 2/63 4779
Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 67821 70 0 0 17 0 10 0 778398770 854450176 39960 4294967295 134512640 134569956 3221224352 3221214572 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208606 39960 13086 16 0 208590 0
vsize: 834424
[startup+790.166 s]
Raw data (loadavg): 1.01 0.99 0.99 2/63 4779
Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 68693 71 0 0 16 0 10 0 778398770 854450176 40085 4294967295 134512640 134569956 3221224352 3221214128 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208606 40085 13086 16 0 208590 0
vsize: 834424
[startup+800.168 s]
Raw data (loadavg): 1.01 0.99 0.99 2/63 4779
Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 69573 72 0 0 17 0 10 0 778398770 854450176 40201 4294967295 134512640 134569956 3221224352 3221214144 1080019741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208606 40201 13086 16 0 208590 0
vsize: 834424
[startup+810.169 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 4779
Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 70443 72 0 0 17 0 10 0 778398770 854450176 40327 4294967295 134512640 134569956 3221224352 3221214676 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208606 40327 13086 16 0 208590 0
vsize: 834424
[startup+820.17 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 4779
Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 71317 72 0 0 16 0 10 0 778398770 854450176 40452 4294967295 134512640 134569956 3221224352 3221214144 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208606 40452 13086 16 0 208590 0
vsize: 834424
[startup+830.171 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 4779
Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 72201 73 0 0 17 0 10 0 778398770 854450176 40569 4294967295 134512640 134569956 3221224352 3221214144 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208606 40569 13086 16 0 208590 0
vsize: 834424
[startup+840.173 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 4779
Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 73079 73 0 0 17 0 10 0 778398770 854450176 40675 4294967295 134512640 134569956 3221224352 3221214572 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208606 40675 13086 16 0 208590 0
vsize: 834424
[startup+850.174 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 4779
Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 73955 74 0 0 17 0 10 0 778398770 854450176 40790 4294967295 134512640 134569956 3221224352 3221214668 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208606 40790 13086 16 0 208590 0
vsize: 834424
[startup+860.175 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 4779
Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 74832 74 0 0 17 0 10 0 778398770 854450176 40901 4294967295 134512640 134569956 3221224352 3221214572 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208606 40901 13086 16 0 208590 0
vsize: 834424
[startup+870.177 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 4779
Raw data (stat): 4770 (java) S 4769 25568 25567 0 -1 0 18038 0 1 0 75710 74 0 0 16 0 10 0 778398770 854450176 41015 4294967295 134512640 134569956 3221224352 3221213384 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208606 41015 13086 16 0 208590 0
vsize: 834424
[startup+880.182 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 4779
Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 76591 75 0 0 16 0 10 0 778398770 854450176 41119 4294967295 134512640 134569956 3221224352 3221214144 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208606 41119 13086 16 0 208590 0
vsize: 834424
[startup+890.188 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 4779
Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 77470 75 0 0 17 0 10 0 778398770 854450176 41236 4294967295 134512640 134569956 3221224352 3221214572 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208606 41236 13086 16 0 208590 0
vsize: 834424
[startup+900.189 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 4779
Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 78347 75 0 0 17 0 10 0 778398770 854450176 41372 4294967295 134512640 134569956 3221224352 3221214572 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208606 41372 13086 16 0 208590 0
vsize: 834424
[startup+910.191 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 4779
Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 79224 75 0 0 17 0 10 0 778398770 854450176 41460 4294967295 134512640 134569956 3221224352 3221214676 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208606 41460 13086 16 0 208590 0
vsize: 834424
[startup+920.192 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 4779
Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 80105 76 0 0 17 0 10 0 778398770 854450176 41593 4294967295 134512640 134569956 3221224352 3221214572 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208606 41593 13086 16 0 208590 0
vsize: 834424
[startup+930.193 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 4779
Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 80983 77 0 0 17 0 10 0 778398770 854450176 41698 4294967295 134512640 134569956 3221224352 3221214144 1080019741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208606 41698 13086 16 0 208590 0
vsize: 834424
[startup+940.195 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 4779
Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 81859 77 0 0 16 0 10 0 778398770 854450176 41814 4294967295 134512640 134569956 3221224352 3221214668 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208606 41814 13086 16 0 208590 0
vsize: 834424
[startup+950.196 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 4779
Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 82737 77 0 0 17 0 10 0 778398770 854450176 41915 4294967295 134512640 134569956 3221224352 3221214144 1080019600 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208606 41915 13086 16 0 208590 0
vsize: 834424
[startup+960.197 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 4779
Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 83623 78 0 0 17 0 10 0 778398770 854450176 42065 4294967295 134512640 134569956 3221224352 3221214572 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208606 42065 13086 16 0 208590 0
vsize: 834424
[startup+970.198 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 4779
Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 84501 78 0 0 17 0 10 0 778398770 854450176 42179 4294967295 134512640 134569956 3221224352 3221214128 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208606 42179 13086 16 0 208590 0
vsize: 834424
[startup+980.2 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 4779
Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 85379 78 0 0 17 0 10 0 778398770 854450176 42240 4294967295 134512640 134569956 3221224352 3221214128 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208606 42240 13086 16 0 208590 0
vsize: 834424
[startup+990.201 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 4779
Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 86259 79 0 0 17 0 10 0 778398770 854450176 42414 4294967295 134512640 134569956 3221224352 3221214144 1080019733 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208606 42414 13086 16 0 208590 0
vsize: 834424
[startup+1000.2 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 4779
Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 87145 79 0 0 17 0 10 0 778398770 854450176 42466 4294967295 134512640 134569956 3221224352 3221214144 1080019741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208606 42466 13086 16 0 208590 0
vsize: 834424
[startup+1010.2 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 4779
Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 88017 80 0 0 17 0 10 0 778398770 854450176 42579 4294967295 134512640 134569956 3221224352 3221214676 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208606 42579 13086 16 0 208590 0
vsize: 834424
[startup+1020.21 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 4779
Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 88895 81 0 0 17 0 10 0 778398770 854450176 42745 4294967295 134512640 134569956 3221224352 3221214572 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208606 42745 13086 16 0 208590 0
vsize: 834424
[startup+1030.21 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 4779
Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 89778 81 0 0 17 0 10 0 778398770 854450176 42811 4294967295 134512640 134569956 3221224352 3221214572 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208606 42811 13086 16 0 208590 0
vsize: 834424
[startup+1040.21 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 4779
Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 90666 81 0 0 17 0 10 0 778398770 854450176 42921 4294967295 134512640 134569956 3221224352 3221214572 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208606 42921 13086 16 0 208590 0
vsize: 834424
[startup+1050.21 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 4779
Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 91543 82 0 0 17 0 10 0 778398770 854450176 43041 4294967295 134512640 134569956 3221224352 3221214572 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208606 43041 13086 16 0 208590 0
vsize: 834424
[startup+1060.21 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 4779
Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 92425 83 0 0 17 0 10 0 778398770 854450176 43201 4294967295 134512640 134569956 3221224352 3221214572 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208606 43201 13086 16 0 208590 0
vsize: 834424
[startup+1070.21 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 4779
Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 93309 83 0 0 17 0 10 0 778398770 854450176 43260 4294967295 134512640 134569956 3221224352 3221214572 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208606 43260 13086 16 0 208590 0
vsize: 834424
[startup+1080.21 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 4779
Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 94189 83 0 0 17 0 10 0 778398770 854450176 43401 4294967295 134512640 134569956 3221224352 3221214144 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208606 43401 13086 16 0 208590 0
vsize: 834424
[startup+1090.21 s]
Raw data (loadavg): 1.00 0.99 0.99 6/63 4779
Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 95081 83 0 0 17 0 10 0 778398770 854450176 43513 4294967295 134512640 134569956 3221224352 3221214676 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208606 43513 13086 16 0 208590 0
vsize: 834424
[startup+1100.21 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 4779
Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 95964 84 0 0 17 0 10 0 778398770 854450176 43642 4294967295 134512640 134569956 3221224352 3221214572 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208606 43642 13086 16 0 208590 0
vsize: 834424
[startup+1110.22 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 4779
Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 96849 84 0 0 17 0 10 0 778398770 854450176 43729 4294967295 134512640 134569956 3221224352 3221214144 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208606 43729 13086 16 0 208590 0
vsize: 834424
[startup+1120.22 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 4779
Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 97727 84 0 0 17 0 10 0 778398770 854450176 43801 4294967295 134512640 134569956 3221224352 3221214144 1080019600 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208606 43801 13086 16 0 208590 0
vsize: 834424
[startup+1130.22 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 4779
Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 98610 85 0 0 16 0 10 0 778398770 854450176 43947 4294967295 134512640 134569956 3221224352 3221214144 1080019741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208606 43947 13086 16 0 208590 0
vsize: 834424
[startup+1140.22 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 4779
Raw data (stat): 4770 (java) S 4769 25568 25567 0 -1 0 18038 0 1 0 99502 86 0 0 17 0 10 0 778398770 854450176 44053 4294967295 134512640 134569956 3221224352 3221213384 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208606 44053 13086 16 0 208590 0
vsize: 834424
[startup+1150.22 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 4779
Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 100393 86 0 0 17 0 10 0 778398770 854450176 44155 4294967295 134512640 134569956 3221224352 3221214128 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208606 44155 13086 16 0 208590 0
vsize: 834424
[startup+1160.22 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 4779
Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 101279 86 0 0 17 0 10 0 778398770 854450176 44263 4294967295 134512640 134569956 3221224352 3221214128 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208606 44263 13086 16 0 208590 0
vsize: 834424
[startup+1170.22 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 4779
Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 102165 87 0 0 17 0 10 0 778398770 854450176 44379 4294967295 134512640 134569956 3221224352 3221214676 1080204166 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208606 44379 13086 16 0 208590 0
vsize: 834424
[startup+1180.23 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 4779
Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 103056 87 0 0 17 0 10 0 778398770 854450176 44489 4294967295 134512640 134569956 3221224352 3221214144 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208606 44489 13086 16 0 208590 0
vsize: 834424
[startup+1190.23 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 4779
Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 103947 88 0 0 17 0 10 0 778398770 854450176 44544 4294967295 134512640 134569956 3221224352 3221214668 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208606 44544 13086 16 0 208590 0
vsize: 834424
[startup+1200.23 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 4779
Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 104833 88 0 0 17 0 10 0 778398770 854450176 44682 4294967295 134512640 134569956 3221224352 3221214572 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208606 44682 13086 16 0 208590 0
vsize: 834424
[startup+1210.23 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 4779
Raw data (stat): 4770 (java) S 4769 25568 25567 0 -1 0 18038 0 1 0 105724 88 0 0 17 0 10 0 778398770 854450176 44796 4294967295 134512640 134569956 3221224352 3221213368 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208606 44796 13086 16 0 208590 0
vsize: 834424
[startup+1220.23 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 4779
Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 106622 89 0 0 17 0 10 0 778398770 854450176 44902 4294967295 134512640 134569956 3221224352 3221214144 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208606 44902 13086 16 0 208590 0
vsize: 834424
[startup+1230.23 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 4779
Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 107515 89 0 0 17 0 10 0 778398770 854450176 44985 4294967295 134512640 134569956 3221224352 3221214668 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208606 44985 13086 16 0 208590 0
vsize: 834424
[startup+1240.23 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 4779
Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 108407 89 0 0 17 0 10 0 778398770 854450176 45101 4294967295 134512640 134569956 3221224352 3221214144 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208606 45101 13086 16 0 208590 0
vsize: 834424
[startup+1250.23 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 4779
Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 109303 90 0 0 17 0 10 0 778398770 854450176 45201 4294967295 134512640 134569956 3221224352 3221214144 1080019741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208606 45201 13086 16 0 208590 0
vsize: 834424
[startup+1260.23 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 4779
Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 110195 90 0 0 17 0 10 0 778398770 854450176 45261 4294967295 134512640 134569956 3221224352 3221214676 1080204166 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208606 45261 13086 16 0 208590 0
vsize: 834424
[startup+1270.23 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 4779
Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 111088 90 0 0 17 0 10 0 778398770 854450176 45406 4294967295 134512640 134569956 3221224352 3221214128 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208606 45406 13086 16 0 208590 0
vsize: 834424
[startup+1280.23 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 4779
Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 111982 90 0 0 17 0 10 0 778398770 854450176 45493 4294967295 134512640 134569956 3221224352 3221214572 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208606 45493 13086 16 0 208590 0
vsize: 834424
[startup+1290.24 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 4779
Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 112875 91 0 0 17 0 10 0 778398770 854450176 45604 4294967295 134512640 134569956 3221224352 3221214416 1131267823 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208606 45604 13086 16 0 208590 0
vsize: 834424
[startup+1300.24 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 4779
Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 113768 91 0 0 17 0 10 0 778398770 854450176 45720 4294967295 134512640 134569956 3221224352 3221214668 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208606 45720 13086 16 0 208590 0
vsize: 834424
[startup+1310.24 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 4779
Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 114665 91 0 0 17 0 10 0 778398770 854450176 45831 4294967295 134512640 134569956 3221224352 3221214096 1076461015 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208606 45831 13086 16 0 208590 0
vsize: 834424
[startup+1320.24 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 4779
Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 115565 91 0 0 17 0 10 0 778398770 854450176 45926 4294967295 134512640 134569956 3221224352 3221214128 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208606 45926 13086 16 0 208590 0
vsize: 834424
[startup+1330.24 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 4779
Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 116466 92 0 0 17 0 10 0 778398770 854450176 45998 4294967295 134512640 134569956 3221224352 3221214128 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208606 45998 13086 16 0 208590 0
vsize: 834424
[startup+1340.24 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 4779
Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 117360 93 0 0 17 0 10 0 778398770 854450176 46070 4294967295 134512640 134569956 3221224352 3221214572 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208606 46070 13086 16 0 208590 0
vsize: 834424
[startup+1350.24 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 4779
Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 118257 93 0 0 17 0 10 0 778398770 854450176 46210 4294967295 134512640 134569956 3221224352 3221214144 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208606 46210 13086 16 0 208590 0
vsize: 834424
[startup+1360.24 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 4779
Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 119158 93 0 0 17 0 10 0 778398770 854450176 46320 4294967295 134512640 134569956 3221224352 3221214144 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208606 46320 13086 16 0 208590 0
vsize: 834424
[startup+1370.24 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 4779
Raw data (stat): 4770 (java) R 4769 25568 25567 0 -1 0 18038 0 1 0 120057 94 0 0 17 0 10 0 778398770 854450176 46403 4294967295 134512640 134569956 3221224352 3221214668 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208606 46403 13086 16 0 208590 0
vsize: 834424
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1370.38 s]
Raw data (loadavg): 1.00 0.99 0.99 1/54 4781
Raw data (stat): 4770 (java) Z 4769 25568 25567 0 -1 1036 18038 29617 1 0 120062 102 17174 89 17 0 1 0 778398770 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): 1370.38
CPU time (s): 1374.29
CPU user time (s): 1372.37
CPU system time (s): 1.91671
CPU usage (%): 100.285
Max. virtual memory (Kb): 835328
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####