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 4455

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc29 THE 2005-04-13 17:19:15 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=2520 boxname=wulflinc29 idbench=280 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  6bfe4c2dce1e5dbe61cc34b52b1b387f  /oldhome/oroussel/tmp/wulflinc29/normalized-cache-ibm-q-unbounded.Ic22arity.ucl.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc29/normalized-cache-ibm-q-unbounded.Ic22arity.ucl.opb
IDLAUNCH: 2520
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.020
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	: 3
cpu MHz		: 451.020
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:        857672 kB
Buffers:         35420 kB
Cached:         103628 kB
SwapCached:         12 kB
Active:          59852 kB
Inactive:        81980 kB
HighTotal:      131008 kB
HighFree:        23996 kB
LowTotal:       903652 kB
LowFree:        833676 kB
SwapTotal:     2097892 kB
SwapFree:      2097880 kB
Dirty:               4 kB
Writeback:           0 kB
Mapped:           6928 kB
Slab:            29536 kB
Committed_AS:    63492 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-13 17:41:38 (client local time) WITH STATUS 143 IN  SECONDS
stats: 2520 7  143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc29/normalized-cache-ibm-q-unbounded.Ic22arity.ucl.opb
c reading problem 
c [nbvar=87751]
c [nbconstr=254772]
#### 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.91 0.97 0.95 2/54 28316
Raw data (stat): 28316 (runsolver) R 28315 27222 27221 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 477694134 1052672 99 4294967295 134512640 135381576 3221224416 3221219664 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.0009 s]
Raw data (loadavg): 0.93 0.97 0.95 2/63 28325
Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 807 38 0 0 25 0 10 0 477694134 856129536 20755 4294967295 134512640 134569956 3221224384 3221214512 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209016 20755 13073 16 0 209000 0
vsize: 836064
[startup+20.0016 s]
Raw data (loadavg): 0.94 0.97 0.95 2/63 28325
Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 1673 39 0 0 25 0 10 0 477694134 856129536 21676 4294967295 134512640 134569956 3221224384 3221214484 1074489757 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209016 21676 13073 16 0 209000 0
vsize: 836064
[startup+30.0008 s]
Raw data (loadavg): 0.95 0.97 0.95 2/63 28325
Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 2531 39 0 0 25 0 10 0 477694134 856129536 22260 4294967295 134512640 134569956 3221224384 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209016 22260 13073 16 0 209000 0
vsize: 836064
[startup+40.0023 s]
Raw data (loadavg): 0.95 0.97 0.95 2/63 28325
Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 3391 40 0 0 25 0 10 0 477694134 856129536 22675 4294967295 134512640 134569956 3221224384 3221214476 1074489757 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209016 22675 13073 16 0 209000 0
vsize: 836064
[startup+50.003 s]
Raw data (loadavg): 0.96 0.97 0.95 2/63 28325
Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 4248 40 0 0 25 0 10 0 477694134 856129536 23032 4294967295 134512640 134569956 3221224384 3221214476 1076461336 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209016 23032 13073 16 0 209000 0
vsize: 836064
[startup+60.0033 s]
Raw data (loadavg): 0.97 0.97 0.95 2/63 28325
Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 5107 40 0 0 25 0 10 0 477694134 856129536 23302 4294967295 134512640 134569956 3221224384 3221214796 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209016 23302 13073 16 0 209000 0
vsize: 836064
[startup+70.0035 s]
Raw data (loadavg): 0.97 0.97 0.95 2/63 28325
Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 5969 40 0 0 25 0 10 0 477694134 856129536 23591 4294967295 134512640 134569956 3221224384 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209016 23591 13073 16 0 209000 0
vsize: 836064
[startup+80.0044 s]
Raw data (loadavg): 0.98 0.97 0.95 2/63 28325
Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 6822 40 0 0 25 0 10 0 477694134 856129536 23989 4294967295 134512640 134569956 3221224384 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209016 23989 13073 16 0 209000 0
vsize: 836064
[startup+90.0076 s]
Raw data (loadavg): 0.98 0.97 0.95 2/63 28325
Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 7691 40 0 0 25 0 10 0 477694134 856129536 24242 4294967295 134512640 134569956 3221224384 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209016 24242 13073 16 0 209000 0
vsize: 836064
[startup+100.011 s]
Raw data (loadavg): 0.98 0.97 0.95 2/63 28325
Raw data (stat): 28316 (java) S 28315 27222 27221 0 -1 0 18011 0 1 0 8562 40 0 0 25 0 10 0 477694134 856129536 24597 4294967295 134512640 134569956 3221224384 3221213496 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209016 24597 13073 16 0 209000 0
vsize: 836064
[startup+110.013 s]
Raw data (loadavg): 0.98 0.97 0.95 2/63 28325
Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 9435 40 0 0 25 0 10 0 477694134 856129536 24857 4294967295 134512640 134569956 3221224384 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209016 24857 13073 16 0 209000 0
vsize: 836064
[startup+120.013 s]
Raw data (loadavg): 0.99 0.97 0.95 2/63 28325
Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 10318 40 0 0 25 0 10 0 477694134 856129536 25095 4294967295 134512640 134569956 3221224384 3221214208 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209016 25095 13073 16 0 209000 0
vsize: 836064
[startup+130.014 s]
Raw data (loadavg): 0.99 0.97 0.95 2/63 28325
Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 11197 40 0 0 25 0 10 0 477694134 856129536 25335 4294967295 134512640 134569956 3221224384 3221214184 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209016 25335 13073 16 0 209000 0
vsize: 836064
[startup+140.015 s]
Raw data (loadavg): 0.99 0.97 0.95 2/63 28325
Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 12090 41 0 0 25 0 10 0 477694134 856129536 25552 4294967295 134512640 134569956 3221224384 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209016 25552 13073 16 0 209000 0
vsize: 836064
[startup+150.016 s]
Raw data (loadavg): 0.99 0.97 0.95 2/63 28325
Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 12980 41 0 0 25 0 10 0 477694134 856129536 25751 4294967295 134512640 134569956 3221224384 3221214796 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209016 25751 13073 16 0 209000 0
vsize: 836064
[startup+160.017 s]
Raw data (loadavg): 0.99 0.97 0.95 2/63 28325
Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 13857 41 0 0 24 0 10 0 477694134 856129536 25949 4294967295 134512640 134569956 3221224384 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209016 25949 13073 16 0 209000 0
vsize: 836064
[startup+170.017 s]
Raw data (loadavg): 0.99 0.97 0.95 2/63 28325
Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 14745 41 0 0 25 0 10 0 477694134 856129536 26235 4294967295 134512640 134569956 3221224384 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209016 26235 13073 16 0 209000 0
vsize: 836064
[startup+180.017 s]
Raw data (loadavg): 0.99 0.97 0.95 2/63 28325
Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 15645 41 0 0 25 0 10 0 477694134 856129536 26420 4294967295 134512640 134569956 3221224384 3221214796 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209016 26420 13073 16 0 209000 0
vsize: 836064
[startup+190.018 s]
Raw data (loadavg): 0.99 0.97 0.95 2/63 28325
Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 16539 41 0 0 25 0 10 0 477694134 856129536 26605 4294967295 134512640 134569956 3221224384 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209016 26605 13073 16 0 209000 0
vsize: 836064
[startup+200.019 s]
Raw data (loadavg): 0.99 0.97 0.95 2/63 28325
Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 17440 41 0 0 25 0 10 0 477694134 856129536 26777 4294967295 134512640 134569956 3221224384 3221214716 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209016 26777 13073 16 0 209000 0
vsize: 836064
[startup+210.019 s]
Raw data (loadavg): 0.99 0.97 0.95 2/63 28325
Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 18334 41 0 0 25 0 10 0 477694134 856129536 26954 4294967295 134512640 134569956 3221224384 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209016 26954 13073 16 0 209000 0
vsize: 836064
[startup+220.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/63 28325
Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 19237 42 0 0 25 0 10 0 477694134 856129536 27118 4294967295 134512640 134569956 3221224384 3221214184 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209016 27118 13073 16 0 209000 0
vsize: 836064
[startup+230.021 s]
Raw data (loadavg): 0.99 0.97 0.95 2/63 28325
Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 20134 42 0 0 25 0 10 0 477694134 856129536 27282 4294967295 134512640 134569956 3221224384 3221214716 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209016 27282 13073 16 0 209000 0
vsize: 836064
[startup+240.021 s]
Raw data (loadavg): 0.99 0.97 0.95 2/63 28325
Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 21039 42 0 0 25 0 10 0 477694134 856129536 27438 4294967295 134512640 134569956 3221224384 3221214708 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209016 27438 13073 16 0 209000 0
vsize: 836064
[startup+250.021 s]
Raw data (loadavg): 0.99 0.97 0.95 2/63 28325
Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 21939 42 0 0 25 0 10 0 477694134 856129536 27602 4294967295 134512640 134569956 3221224384 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209016 27602 13073 16 0 209000 0
vsize: 836064
[startup+260.023 s]
Raw data (loadavg): 0.99 0.97 0.95 2/63 28325
Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 22837 42 0 0 24 0 10 0 477694134 856129536 27756 4294967295 134512640 134569956 3221224384 3221214716 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209016 27756 13073 16 0 209000 0
vsize: 836064
[startup+270.024 s]
Raw data (loadavg): 0.99 0.97 0.95 2/63 28325
Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 23734 42 0 0 25 0 10 0 477694134 856129536 27886 4294967295 134512640 134569956 3221224384 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209016 27886 13073 16 0 209000 0
vsize: 836064
[startup+280.027 s]
Raw data (loadavg): 0.99 0.97 0.95 2/63 28325
Raw data (stat): 28316 (java) S 28315 27222 27221 0 -1 0 18011 0 1 0 24627 42 0 0 25 0 10 0 477694134 856129536 28018 4294967295 134512640 134569956 3221224384 3221213512 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209016 28018 13073 16 0 209000 0
vsize: 836064
[startup+290.028 s]
Raw data (loadavg): 0.99 0.97 0.95 2/63 28325
Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 25530 42 0 0 25 0 10 0 477694134 856129536 28325 4294967295 134512640 134569956 3221224384 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209016 28325 13073 16 0 209000 0
vsize: 836064
[startup+300.032 s]
Raw data (loadavg): 0.99 0.97 0.95 2/63 28325
Raw data (stat): 28316 (java) S 28315 27222 27221 0 -1 0 18011 0 1 0 26436 43 0 0 25 0 10 0 477694134 856129536 28460 4294967295 134512640 134569956 3221224384 3221213392 1073952481 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209016 28460 13073 16 0 209000 0
vsize: 836064
[startup+310.033 s]
Raw data (loadavg): 0.99 0.97 0.95 2/63 28325
Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 27339 43 0 0 25 0 10 0 477694134 856129536 28600 4294967295 134512640 134569956 3221224384 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209016 28600 13073 16 0 209000 0
vsize: 836064
[startup+320.036 s]
Raw data (loadavg): 0.99 0.97 0.95 2/63 28325
Raw data (stat): 28316 (java) S 28315 27222 27221 0 -1 0 18011 0 1 0 28243 43 0 0 25 0 10 0 477694134 856129536 28735 4294967295 134512640 134569956 3221224384 3221213512 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209016 28735 13073 16 0 209000 0
vsize: 836064
[startup+330.036 s]
Raw data (loadavg): 0.99 0.97 0.95 2/63 28325
Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 29148 43 0 0 25 0 10 0 477694134 856129536 28873 4294967295 134512640 134569956 3221224384 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209016 28873 13073 16 0 209000 0
vsize: 836064
[startup+340.038 s]
Raw data (loadavg): 0.99 0.97 0.95 2/63 28325
Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 30050 43 0 0 24 0 10 0 477694134 856129536 29013 4294967295 134512640 134569956 3221224384 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209016 29013 13073 16 0 209000 0
vsize: 836064
[startup+350.038 s]
Raw data (loadavg): 0.99 0.97 0.95 2/63 28325
Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 30960 43 0 0 25 0 10 0 477694134 856129536 29136 4294967295 134512640 134569956 3221224384 3221214716 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209016 29136 13073 16 0 209000 0
vsize: 836064
[startup+360.039 s]
Raw data (loadavg): 0.99 0.97 0.95 2/63 28325
Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 31863 44 0 0 24 0 10 0 477694134 856129536 29267 4294967295 134512640 134569956 3221224384 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209016 29267 13073 16 0 209000 0
vsize: 836064
[startup+370.04 s]
Raw data (loadavg): 0.99 0.97 0.95 2/63 28325
Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 32774 44 0 0 25 0 10 0 477694134 856129536 29383 4294967295 134512640 134569956 3221224384 3221214568 1131155724 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209016 29383 13073 16 0 209000 0
vsize: 836064
[startup+380.04 s]
Raw data (loadavg): 0.99 0.97 0.95 2/63 28325
Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 33677 44 0 0 24 0 10 0 477694134 856129536 29509 4294967295 134512640 134569956 3221224384 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209016 29509 13073 16 0 209000 0
vsize: 836064
[startup+390.04 s]
Raw data (loadavg): 0.99 0.97 0.95 2/63 28325
Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 34587 44 0 0 25 0 10 0 477694134 856129536 29626 4294967295 134512640 134569956 3221224384 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209016 29626 13073 16 0 209000 0
vsize: 836064
[startup+400.041 s]
Raw data (loadavg): 0.99 0.97 0.95 2/63 28325
Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 35489 44 0 0 25 0 10 0 477694134 856129536 29752 4294967295 134512640 134569956 3221224384 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209016 29752 13073 16 0 209000 0
vsize: 836064
[startup+410.043 s]
Raw data (loadavg): 0.99 0.97 0.95 2/63 28325
Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 36399 44 0 0 25 0 10 0 477694134 856129536 29865 4294967295 134512640 134569956 3221224384 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209016 29865 13073 16 0 209000 0
vsize: 836064
[startup+420.043 s]
Raw data (loadavg): 0.99 0.97 0.95 2/63 28325
Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 37300 44 0 0 25 0 10 0 477694134 856129536 29989 4294967295 134512640 134569956 3221224384 3221214568 1131155727 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209016 29989 13073 16 0 209000 0
vsize: 836064
[startup+430.044 s]
Raw data (loadavg): 0.99 0.97 0.95 2/63 28325
Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 38209 44 0 0 25 0 10 0 477694134 856129536 30101 4294967295 134512640 134569956 3221224384 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209016 30101 13073 16 0 209000 0
vsize: 836064
[startup+440.045 s]
Raw data (loadavg): 0.99 0.97 0.95 2/63 28325
Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 39111 44 0 0 25 0 10 0 477694134 856129536 30221 4294967295 134512640 134569956 3221224384 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209016 30221 13073 16 0 209000 0
vsize: 836064
[startup+450.046 s]
Raw data (loadavg): 0.99 0.97 0.95 2/63 28325
Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 40020 45 0 0 25 0 10 0 477694134 856129536 30321 4294967295 134512640 134569956 3221224384 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209016 30321 13073 16 0 209000 0
vsize: 836064
[startup+460.047 s]
Raw data (loadavg): 0.99 0.97 0.95 2/63 28325
Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 40921 45 0 0 25 0 10 0 477694134 856129536 30437 4294967295 134512640 134569956 3221224384 3221214716 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209016 30437 13073 16 0 209000 0
vsize: 836064
[startup+470.048 s]
Raw data (loadavg): 0.99 0.97 0.95 2/63 28325
Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 41830 45 0 0 22 0 10 0 477694134 856129536 30544 4294967295 134512640 134569956 3221224384 3221214716 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209016 30544 13073 16 0 209000 0
vsize: 836064
[startup+480.048 s]
Raw data (loadavg): 0.99 0.97 0.95 2/63 28325
Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 42731 45 0 0 17 0 10 0 477694134 856129536 30657 4294967295 134512640 134569956 3221224384 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209016 30657 13073 16 0 209000 0
vsize: 836064
[startup+490.049 s]
Raw data (loadavg): 0.99 0.97 0.95 2/63 28325
Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 43640 45 0 0 20 0 10 0 477694134 856129536 30760 4294967295 134512640 134569956 3221224384 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209016 30760 13073 16 0 209000 0
vsize: 836064
[startup+500.05 s]
Raw data (loadavg): 0.99 0.97 0.95 2/63 28325
Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 44542 45 0 0 18 0 10 0 477694134 856129536 30871 4294967295 134512640 134569956 3221224384 3221214716 1080204166 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209016 30871 13073 16 0 209000 0
vsize: 836064
[startup+510.052 s]
Raw data (loadavg): 0.99 0.97 0.95 2/63 28325
Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 45454 45 0 0 22 0 10 0 477694134 856129536 30972 4294967295 134512640 134569956 3221224384 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209016 30972 13073 16 0 209000 0
vsize: 836064
[startup+520.052 s]
Raw data (loadavg): 0.99 0.97 0.95 2/63 28325
Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 46360 45 0 0 19 0 10 0 477694134 856129536 31074 4294967295 134512640 134569956 3221224384 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209016 31074 13073 16 0 209000 0
vsize: 836064
[startup+530.052 s]
Raw data (loadavg): 0.99 0.97 0.95 2/63 28325
Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 47259 45 0 0 22 0 10 0 477694134 856129536 31168 4294967295 134512640 134569956 3221224384 3221214160 1076874552 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209016 31168 13073 16 0 209000 0
vsize: 836064
[startup+540.053 s]
Raw data (loadavg): 0.99 0.97 0.95 2/63 28325
Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 48145 45 0 0 16 0 10 0 477694134 856129536 31265 4294967295 134512640 134569956 3221224384 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209016 31265 13073 16 0 209000 0
vsize: 836064
[startup+550.054 s]
Raw data (loadavg): 0.99 0.97 0.95 2/63 28325
Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 49043 45 0 0 19 0 10 0 477694134 856129536 31542 4294967295 134512640 134569956 3221224384 3221214568 1131155873 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209016 31542 13073 16 0 209000 0
vsize: 836064
[startup+560.055 s]
Raw data (loadavg): 0.99 0.97 0.95 2/63 28325
Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 49953 45 0 0 22 0 10 0 477694134 856129536 31627 4294967295 134512640 134569956 3221224384 3221214708 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209016 31627 13073 16 0 209000 0
vsize: 836064
[startup+570.058 s]
Raw data (loadavg): 0.99 0.97 0.95 2/63 28325
Raw data (stat): 28316 (java) S 28315 27222 27221 0 -1 0 18011 0 1 0 50856 46 0 0 24 0 10 0 477694134 856129536 31726 4294967295 134512640 134569956 3221224384 3221213424 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209016 31726 13073 16 0 209000 0
vsize: 836064
[startup+580.059 s]
Raw data (loadavg): 0.99 0.97 0.95 2/63 28325
Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 51767 46 0 0 19 0 10 0 477694134 856129536 31826 4294967295 134512640 134569956 3221224384 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209016 31826 13073 16 0 209000 0
vsize: 836064
[startup+590.06 s]
Raw data (loadavg): 0.99 0.97 0.95 2/63 28325
Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 52678 46 0 0 22 0 10 0 477694134 856129536 31920 4294967295 134512640 134569956 3221224384 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209016 31920 13073 16 0 209000 0
vsize: 836064
[startup+600.06 s]
Raw data (loadavg): 0.99 0.97 0.95 2/63 28325
Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 53588 46 0 0 23 0 10 0 477694134 856129536 32016 4294967295 134512640 134569956 3221224384 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209016 32016 13073 16 0 209000 0
vsize: 836064
[startup+610.061 s]
Raw data (loadavg): 0.99 0.97 0.95 2/63 28325
Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 54491 46 0 0 18 0 10 0 477694134 856129536 32116 4294967295 134512640 134569956 3221224384 3221214568 1131155856 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209016 32116 13073 16 0 209000 0
vsize: 836064
[startup+620.062 s]
Raw data (loadavg): 0.99 0.97 0.95 2/63 28325
Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 55401 46 0 0 19 0 10 0 477694134 856129536 32210 4294967295 134512640 134569956 3221224384 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209016 32210 13073 16 0 209000 0
vsize: 836064
[startup+630.063 s]
Raw data (loadavg): 0.99 0.97 0.95 2/63 28325
Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 56310 46 0 0 20 0 10 0 477694134 856129536 32303 4294967295 134512640 134569956 3221224384 3221214716 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209016 32303 13073 16 0 209000 0
vsize: 836064
[startup+640.064 s]
Raw data (loadavg): 0.99 0.97 0.95 2/63 28325
Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 57220 46 0 0 22 0 10 0 477694134 856129536 32395 4294967295 134512640 134569956 3221224384 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209016 32395 13073 16 0 209000 0
vsize: 836064
[startup+650.065 s]
Raw data (loadavg): 0.99 0.97 0.95 2/63 28325
Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 58123 46 0 0 18 0 10 0 477694134 856129536 32491 4294967295 134512640 134569956 3221224384 3221214568 1131155880 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209016 32491 13073 16 0 209000 0
vsize: 836064
[startup+660.065 s]
Raw data (loadavg): 0.99 0.97 0.95 2/63 28325
Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 59034 46 0 0 20 0 10 0 477694134 856129536 32581 4294967295 134512640 134569956 3221224384 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209016 32581 13073 16 0 209000 0
vsize: 836064
[startup+670.065 s]
Raw data (loadavg): 0.99 0.97 0.95 2/63 28325
Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 59939 47 0 0 19 0 10 0 477694134 856129536 32671 4294967295 134512640 134569956 3221224384 3221214208 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209016 32671 13073 16 0 209000 0
vsize: 836064
[startup+680.066 s]
Raw data (loadavg): 0.99 0.97 0.95 2/63 28325
Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 60853 47 0 0 25 0 10 0 477694134 856129536 32761 4294967295 134512640 134569956 3221224384 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209016 32761 13073 16 0 209000 0
vsize: 836064
[startup+690.068 s]
Raw data (loadavg): 0.99 0.97 0.95 2/63 28325
Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 61761 47 0 0 25 0 10 0 477694134 856129536 32841 4294967295 134512640 134569956 3221224384 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209016 32841 13073 16 0 209000 0
vsize: 836064
[startup+700.068 s]
Raw data (loadavg): 0.99 0.97 0.95 2/63 28325
Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 62675 47 0 0 25 0 10 0 477694134 856129536 32915 4294967295 134512640 134569956 3221224384 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209016 32915 13073 16 0 209000 0
vsize: 836064
[startup+710.069 s]
Raw data (loadavg): 0.99 0.97 0.95 2/63 28325
Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 63579 47 0 0 25 0 10 0 477694134 856129536 32999 4294967295 134512640 134569956 3221224384 3221214184 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209016 32999 13073 16 0 209000 0
vsize: 836064
[startup+720.07 s]
Raw data (loadavg): 0.99 0.97 0.95 2/63 28325
Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 64491 47 0 0 25 0 10 0 477694134 856129536 33078 4294967295 134512640 134569956 3221224384 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209016 33078 13073 16 0 209000 0
vsize: 836064
[startup+730.073 s]
Raw data (loadavg): 0.99 0.97 0.95 2/63 28325
Raw data (stat): 28316 (java) S 28315 27222 27221 0 -1 0 18011 0 1 0 65395 47 0 0 25 0 10 0 477694134 856129536 33157 4294967295 134512640 134569956 3221224384 3221213496 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209016 33159 13073 16 0 209000 0
vsize: 836064
[startup+740.074 s]
Raw data (loadavg): 0.99 0.97 0.95 2/63 28325
Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 66306 47 0 0 25 0 10 0 477694134 856129536 33241 4294967295 134512640 134569956 3221224384 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209016 33241 13073 16 0 209000 0
vsize: 836064
[startup+750.074 s]
Raw data (loadavg): 0.99 0.97 0.95 2/63 28325
Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 67217 47 0 0 25 0 10 0 477694134 856129536 33319 4294967295 134512640 134569956 3221224384 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209016 33319 13073 16 0 209000 0
vsize: 836064
[startup+760.079 s]
Raw data (loadavg): 0.99 0.97 0.95 2/63 28325
Raw data (stat): 28316 (java) S 28315 27222 27221 0 -1 0 18011 0 1 0 68122 47 0 0 25 0 10 0 477694134 856129536 33398 4294967295 134512640 134569956 3221224384 3221213496 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209016 33398 13073 16 0 209000 0
vsize: 836064
[startup+770.08 s]
Raw data (loadavg): 0.99 0.97 0.95 2/63 28325
Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 69028 47 0 0 24 0 10 0 477694134 856129536 33482 4294967295 134512640 134569956 3221224384 3221214568 1131155863 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209016 33482 13073 16 0 209000 0
vsize: 836064
[startup+780.08 s]
Raw data (loadavg): 0.99 0.97 0.95 2/63 28325
Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 69937 47 0 0 25 0 10 0 477694134 856129536 33560 4294967295 134512640 134569956 3221224384 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209016 33560 13073 16 0 209000 0
vsize: 836064
[startup+790.084 s]
Raw data (loadavg): 0.99 0.97 0.95 2/63 28325
Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 70845 47 0 0 25 0 10 0 477694134 856129536 33640 4294967295 134512640 134569956 3221224384 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209016 33640 13073 16 0 209000 0
vsize: 836064
[startup+800.084 s]
Raw data (loadavg): 0.99 0.97 0.95 2/63 28325
Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 71753 47 0 0 25 0 10 0 477694134 856129536 33721 4294967295 134512640 134569956 3221224384 3221214568 1131155852 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209016 33721 13073 16 0 209000 0
vsize: 836064
[startup+810.086 s]
Raw data (loadavg): 0.99 0.97 0.95 2/63 28325
Raw data (stat): 28316 (java) S 28315 27222 27221 0 -1 0 18011 0 1 0 72655 47 0 0 25 0 10 0 477694134 856129536 33802 4294967295 134512640 134569956 3221224384 3221213448 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209016 33803 13073 16 0 209000 0
vsize: 836064
[startup+820.087 s]
Raw data (loadavg): 0.99 0.97 0.95 2/63 28325
Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 73564 48 0 0 25 0 10 0 477694134 856129536 33884 4294967295 134512640 134569956 3221224384 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209016 33884 13073 16 0 209000 0
vsize: 836064
[startup+830.088 s]
Raw data (loadavg): 0.99 0.97 0.95 2/63 28325
Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 74473 48 0 0 25 0 10 0 477694134 856129536 33961 4294967295 134512640 134569956 3221224384 3221214208 1077558368 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209016 33961 13073 16 0 209000 0
vsize: 836064
[startup+840.088 s]
Raw data (loadavg): 0.99 0.97 0.95 2/63 28325
Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 75381 48 0 0 25 0 10 0 477694134 856129536 34038 4294967295 134512640 134569956 3221224384 3221214768 1131045363 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209016 34038 13073 16 0 209000 0
vsize: 836064
[startup+850.088 s]
Raw data (loadavg): 0.99 0.97 0.95 2/63 28325
Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 76289 48 0 0 25 0 10 0 477694134 856129536 34116 4294967295 134512640 134569956 3221224384 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209016 34116 13073 16 0 209000 0
vsize: 836064
[startup+860.089 s]
Raw data (loadavg): 0.99 0.97 0.95 2/63 28325
Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 77197 48 0 0 25 0 10 0 477694134 856129536 34193 4294967295 134512640 134569956 3221224384 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209016 34193 13073 16 0 209000 0
vsize: 836064
[startup+870.089 s]
Raw data (loadavg): 0.99 0.97 0.95 2/63 28325
Raw data (stat): 28316 (java) S 28315 27222 27221 0 -1 0 18011 0 1 0 78100 48 0 0 25 0 10 0 477694134 856129536 34270 4294967295 134512640 134569956 3221224384 3221213512 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209016 34270 13073 16 0 209000 0
vsize: 836064
[startup+880.09 s]
Raw data (loadavg): 0.99 0.97 0.95 2/63 28325
Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 79004 48 0 0 17 0 10 0 477694134 856129536 34351 4294967295 134512640 134569956 3221224384 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209016 34351 13073 16 0 209000 0
vsize: 836064
[startup+890.09 s]
Raw data (loadavg): 0.99 0.97 0.95 2/63 28325
Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 79911 48 0 0 17 0 10 0 477694134 856129536 34427 4294967295 134512640 134569956 3221224384 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209016 34427 13073 16 0 209000 0
vsize: 836064
[startup+900.09 s]
Raw data (loadavg): 0.99 0.97 0.95 2/63 28325
Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 80816 48 0 0 18 0 10 0 477694134 856129536 34503 4294967295 134512640 134569956 3221224384 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209016 34503 13073 16 0 209000 0
vsize: 836064
[startup+910.091 s]
Raw data (loadavg): 0.99 0.97 0.95 2/63 28325
Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 81723 48 0 0 20 0 10 0 477694134 856129536 34579 4294967295 134512640 134569956 3221224384 3221214716 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209016 34579 13073 16 0 209000 0
vsize: 836064
[startup+920.092 s]
Raw data (loadavg): 0.99 0.97 0.95 2/63 28325
Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 82629 48 0 0 20 0 10 0 477694134 856129536 34655 4294967295 134512640 134569956 3221224384 3221214716 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209016 34655 13073 16 0 209000 0
vsize: 836064
[startup+930.092 s]
Raw data (loadavg): 0.99 0.97 0.95 2/63 28325
Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 83535 48 0 0 21 0 10 0 477694134 856129536 34728 4294967295 134512640 134569956 3221224384 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209016 34728 13073 16 0 209000 0
vsize: 836064
[startup+940.093 s]
Raw data (loadavg): 0.99 0.97 0.95 2/63 28325
Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 84442 48 0 0 22 0 10 0 477694134 856129536 34804 4294967295 134512640 134569956 3221224384 3221214184 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209016 34804 13073 16 0 209000 0
vsize: 836064
[startup+950.097 s]
Raw data (loadavg): 0.99 0.97 0.95 2/63 28325
Raw data (stat): 28316 (java) S 28315 27222 27221 0 -1 0 18011 0 1 0 85344 48 0 0 24 0 10 0 477694134 856129536 34878 4294967295 134512640 134569956 3221224384 3221213512 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209016 34878 13073 16 0 209000 0
vsize: 836064
[startup+960.096 s]
Raw data (loadavg): 0.99 0.97 0.95 2/63 28325
Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 86249 49 0 0 17 0 10 0 477694134 856129536 34955 4294967295 134512640 134569956 3221224384 3221214176 1076874552 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209016 34955 13073 16 0 209000 0
vsize: 836064
[startup+970.097 s]
Raw data (loadavg): 0.99 0.97 0.95 2/63 28325
Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 87155 49 0 0 19 0 10 0 477694134 856129536 35017 4294967295 134512640 134569956 3221224384 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209016 35017 13073 16 0 209000 0
vsize: 836064
[startup+980.098 s]
Raw data (loadavg): 0.99 0.97 0.95 2/63 28325
Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 88061 49 0 0 20 0 10 0 477694134 856129536 35090 4294967295 134512640 134569956 3221224384 3221214716 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209016 35090 13073 16 0 209000 0
vsize: 836064
[startup+990.099 s]
Raw data (loadavg): 0.99 0.97 0.95 2/63 28325
Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 88966 49 0 0 24 0 10 0 477694134 856129536 35161 4294967295 134512640 134569956 3221224384 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209016 35161 13073 16 0 209000 0
vsize: 836064
[startup+1000.1 s]
Raw data (loadavg): 0.99 0.97 0.95 2/63 28325
Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 89864 49 0 0 17 0 10 0 477694134 856129536 35237 4294967295 134512640 134569956 3221224384 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209016 35237 13073 16 0 209000 0
vsize: 836064
[startup+1010.1 s]
Raw data (loadavg): 0.99 0.97 0.95 2/63 28325
Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 90764 49 0 0 18 0 10 0 477694134 856129536 35800 4294967295 134512640 134569956 3221224384 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209016 35800 13073 16 0 209000 0
vsize: 836064
[startup+1020.1 s]
Raw data (loadavg): 0.99 0.97 0.95 2/63 28325
Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 91679 50 0 0 25 0 10 0 477694134 856129536 35800 4294967295 134512640 134569956 3221224384 3221214568 1131155880 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209016 35800 13073 16 0 209000 0
vsize: 836064
[startup+1030.1 s]
Raw data (loadavg): 0.99 0.97 0.95 2/63 28325
Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 92584 50 0 0 25 0 10 0 477694134 856129536 35902 4294967295 134512640 134569956 3221224384 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209016 35902 13073 16 0 209000 0
vsize: 836064
[startup+1040.1 s]
Raw data (loadavg): 0.99 0.97 0.95 2/63 28325
Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 93484 50 0 0 25 0 10 0 477694134 856129536 35936 4294967295 134512640 134569956 3221224384 3221214568 1131155827 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209016 35936 13073 16 0 209000 0
vsize: 836064
[startup+1050.1 s]
Raw data (loadavg): 0.99 0.97 0.95 2/63 28325
Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 94381 50 0 0 25 0 10 0 477694134 856129536 36007 4294967295 134512640 134569956 3221224384 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209016 36007 13073 16 0 209000 0
vsize: 836064
[startup+1060.1 s]
Raw data (loadavg): 0.99 0.97 0.95 2/63 28325
Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 95279 50 0 0 25 0 10 0 477694134 856129536 36074 4294967295 134512640 134569956 3221224384 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209016 36074 13073 16 0 209000 0
vsize: 836064
[startup+1070.1 s]
Raw data (loadavg): 0.99 0.97 0.95 2/63 28325
Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 96177 50 0 0 25 0 10 0 477694134 856129536 36143 4294967295 134512640 134569956 3221224384 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209016 36143 13073 16 0 209000 0
vsize: 836064
[startup+1080.1 s]
Raw data (loadavg): 0.99 0.97 0.95 2/63 28325
Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 97076 50 0 0 25 0 10 0 477694134 856129536 36216 4294967295 134512640 134569956 3221224384 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209016 36216 13073 16 0 209000 0
vsize: 836064
[startup+1090.11 s]
Raw data (loadavg): 0.99 0.97 0.95 2/63 28325
Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 97974 51 0 0 25 0 10 0 477694134 856129536 36290 4294967295 134512640 134569956 3221224384 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209016 36290 13073 16 0 209000 0
vsize: 836064
[startup+1100.11 s]
Raw data (loadavg): 0.99 0.97 0.95 2/63 28325
Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 98871 51 0 0 25 0 10 0 477694134 856129536 36347 4294967295 134512640 134569956 3221224384 3221214716 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209016 36347 13073 16 0 209000 0
vsize: 836064
[startup+1110.11 s]
Raw data (loadavg): 0.99 0.97 0.95 2/63 28325
Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 99761 51 0 0 25 0 10 0 477694134 856129536 36443 4294967295 134512640 134569956 3221224384 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209016 36443 13073 16 0 209000 0
vsize: 836064
[startup+1120.11 s]
Raw data (loadavg): 0.99 0.97 0.95 2/63 28325
Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 100661 51 0 0 25 0 10 0 477694134 856129536 36494 4294967295 134512640 134569956 3221224384 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209016 36494 13073 16 0 209000 0
vsize: 836064
[startup+1130.11 s]
Raw data (loadavg): 0.99 0.97 0.95 2/63 28325
Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 101562 51 0 0 25 0 10 0 477694134 856129536 36551 4294967295 134512640 134569956 3221224384 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209016 36551 13073 16 0 209000 0
vsize: 836064
[startup+1140.11 s]
Raw data (loadavg): 0.99 0.97 0.95 2/63 28325
Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 102464 51 0 0 25 0 10 0 477694134 856129536 36611 4294967295 134512640 134569956 3221224384 3221214112 1076874558 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209016 36611 13073 16 0 209000 0
vsize: 836064
[startup+1150.11 s]
Raw data (loadavg): 0.99 0.97 0.95 2/63 28325
Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 103363 51 0 0 25 0 10 0 477694134 856129536 36673 4294967295 134512640 134569956 3221224384 3221214568 1131155856 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209016 36673 13073 16 0 209000 0
vsize: 836064
[startup+1160.11 s]
Raw data (loadavg): 0.99 0.97 0.95 2/63 28325
Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 104265 51 0 0 23 0 10 0 477694134 856129536 36764 4294967295 134512640 134569956 3221224384 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209016 36764 13073 16 0 209000 0
vsize: 836064
[startup+1170.11 s]
Raw data (loadavg): 0.99 0.97 0.95 2/63 28325
Raw data (stat): 28316 (java) S 28315 27222 27221 0 -1 0 18011 0 1 0 105161 52 0 0 23 0 10 0 477694134 856129536 36796 4294967295 134512640 134569956 3221224384 3221213424 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209016 36796 13073 16 0 209000 0
vsize: 836064
[startup+1180.11 s]
Raw data (loadavg): 0.99 0.97 0.95 2/63 28325
Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 106059 52 0 0 17 0 10 0 477694134 856129536 36866 4294967295 134512640 134569956 3221224384 3221214184 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209016 36866 13073 16 0 209000 0
vsize: 836064
[startup+1190.12 s]
Raw data (loadavg): 0.99 0.97 0.95 2/63 28325
Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 106961 52 0 0 19 0 10 0 477694134 856129536 36958 4294967295 134512640 134569956 3221224384 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209016 36958 13073 16 0 209000 0
vsize: 836064
[startup+1200.12 s]
Raw data (loadavg): 0.99 0.97 0.95 2/63 28325
Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 107865 52 0 0 21 0 10 0 477694134 856129536 37027 4294967295 134512640 134569956 3221224384 3221214568 1131155737 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209016 37027 13073 16 0 209000 0
vsize: 836064
[startup+1210.12 s]
Raw data (loadavg): 0.99 0.97 0.95 2/63 28325
Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 108766 52 0 0 20 0 10 0 477694134 856129536 37043 4294967295 134512640 134569956 3221224384 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209016 37043 13073 16 0 209000 0
vsize: 836064
[startup+1220.12 s]
Raw data (loadavg): 0.99 0.97 0.95 2/63 28325
Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 109668 52 0 0 20 0 10 0 477694134 856129536 37162 4294967295 134512640 134569956 3221224384 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209016 37162 13073 16 0 209000 0
vsize: 836064
[startup+1230.12 s]
Raw data (loadavg): 0.99 0.97 0.95 2/63 28325
Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 110574 52 0 0 21 0 10 0 477694134 856129536 37204 4294967295 134512640 134569956 3221224384 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209016 37204 13073 16 0 209000 0
vsize: 836064
[startup+1240.12 s]
Raw data (loadavg): 0.99 0.97 0.95 2/63 28325
Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 111474 52 0 0 20 0 10 0 477694134 856129536 37242 4294967295 134512640 134569956 3221224384 3221214112 1076874552 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209016 37242 13073 16 0 209000 0
vsize: 836064
[startup+1250.12 s]
Raw data (loadavg): 0.99 0.97 0.95 2/63 28325
Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 112371 52 0 0 20 0 10 0 477694134 856129536 37358 4294967295 134512640 134569956 3221224384 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209016 37358 13073 16 0 209000 0
vsize: 836064
[startup+1260.12 s]
Raw data (loadavg): 0.99 0.97 0.95 2/63 28325
Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 113274 52 0 0 21 0 10 0 477694134 856129536 37368 4294967295 134512640 134569956 3221224384 3221214568 1131155880 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209016 37368 13073 16 0 209000 0
vsize: 836064
[startup+1270.12 s]
Raw data (loadavg): 0.99 0.97 0.95 2/63 28325
Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 114175 52 0 0 21 0 10 0 477694134 856129536 37489 4294967295 134512640 134569956 3221224384 3221214568 1131155779 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209016 37489 13073 16 0 209000 0
vsize: 836064
[startup+1280.12 s]
Raw data (loadavg): 0.99 0.97 0.95 2/63 28325
Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 115082 52 0 0 23 0 10 0 477694134 856129536 37545 4294967295 134512640 134569956 3221224384 3221214208 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209016 37545 13073 16 0 209000 0
vsize: 836064
[startup+1290.12 s]
Raw data (loadavg): 0.99 0.97 0.95 2/63 28325
Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 115989 53 0 0 22 0 10 0 477694134 856129536 37578 4294967295 134512640 134569956 3221224384 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209016 37578 13073 16 0 209000 0
vsize: 836064
[startup+1300.12 s]
Raw data (loadavg): 0.99 0.97 0.95 2/63 28325
Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 116893 53 0 0 23 0 10 0 477694134 856129536 37644 4294967295 134512640 134569956 3221224384 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209016 37644 13073 16 0 209000 0
vsize: 836064
[startup+1310.12 s]
Raw data (loadavg): 0.99 0.97 0.95 2/63 28325
Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 117798 53 0 0 23 0 10 0 477694134 856129536 37717 4294967295 134512640 134569956 3221224384 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209016 37717 13073 16 0 209000 0
vsize: 836064
[startup+1320.12 s]
Raw data (loadavg): 0.99 0.97 0.95 2/63 28325
Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 118700 53 0 0 21 0 10 0 477694134 856129536 37757 4294967295 134512640 134569956 3221224384 3221214708 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209016 37757 13073 16 0 209000 0
vsize: 836064
[startup+1330.12 s]
Raw data (loadavg): 0.99 0.97 0.95 2/63 28325
Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 119606 53 0 0 25 0 10 0 477694134 856129536 37870 4294967295 134512640 134569956 3221224384 3221214184 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209016 37870 13073 16 0 209000 0
vsize: 836064
[startup+1340.12 s]
Raw data (loadavg): 0.99 0.97 0.95 2/63 28325
Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 120516 53 0 0 25 0 10 0 477694134 856129536 37932 4294967295 134512640 134569956 3221224384 3221214184 1080019741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209016 37932 13073 16 0 209000 0
vsize: 836064
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1340.25 s]
Raw data (loadavg): 0.99 0.97 0.95 1/54 28326
Raw data (stat): 28316 (java) Z 28315 27222 27221 0 -1 1036 18011 19055 1 0 120521 53 13314 58 25 0 1 0 477694134 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1340.25
CPU time (s): 1339.48
CPU user time (s): 1338.36
CPU system time (s): 1.12083
CPU usage (%): 99.9426
Max. virtual memory (Kb): 836064
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####