PB'05 competition: run trace

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:
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.
SOLVER DATA
This is the output of the solver (stdout and stderr).
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.
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

Name	normalized-opb/web/uclid_pb_benchmarks/normalized-ooo.burch_dill.8.accl.ucl.opb
MD5SUM	0e5bfa52e1e730089f4eefb216f69dfd
Bench Category	no optimization function (SAT)
Has Objective Function	NO
Satisfiable
(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	73
Number of bits of the biggest number in a constraint	7
Biggest sum of numbers in a constraint	262
Number of bits of the biggest sum of numbers	9
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables	21380
Total number of constraints	60984
Number of constraints which are clauses	58828
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	2156
Minimum length of a constraint	1
Maximum length of a constraint	13
Trace number 29311

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc8 THE 2005-05-25 06:19:59 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=20710 boxname=wulflinc8 idbench=300 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  0e5bfa52e1e730089f4eefb216f69dfd  /oldhome/oroussel/tmp/wulflinc8/normalized-ooo.burch_dill.8.accl.ucl.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc8/normalized-ooo.burch_dill.8.accl.ucl.opb
IDLAUNCH: 20710
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
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.007
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:        322616 kB
Buffers:         37540 kB
Cached:         647900 kB
SwapCached:          0 kB
Active:          78444 kB
Inactive:       613860 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        322364 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           7068 kB
Slab:            14120 kB
Committed_AS:    63732 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 06:41:31 (client local time) WITH STATUS 143 IN 1289.24 SECONDS
stats: 20710 7 1289.24 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/wulflinc8/normalized-ooo.burch_dill.8.accl.ucl.opb
c reading problem ... done. Time 156.247 ms.
c #vars     21380
c #constraints  60984
c starts	: 10
c conflicts	: 11192
c decisions	: 52477
c propagations	: 5784821
c inspects	: 21680487
c learned literals	: 0
c learned binary clauses	: 73
c learned ternary clauses	: 63
c learned clauses	: 11191
c root simplifications	: 17
s UNKNOWN
c Total CPU time (ms) : 1289.437
#### 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.97 0.98 0.97 2/54 15279
Raw data (stat): 15279 (runsolver) R 15278 3132 3131 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 764882179 1052672 99 4294967295 134512640 135381576 3221224400 3221219620 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0033 s]
Raw data (loadavg): 1.05 1.00 0.97 2/63 15288
Raw data (stat): 15279 (java) R 15278 3132 3131 0 -1 0 18045 0 1 0 802 37 0 0 17 0 10 0 764882179 854319104 20850 4294967295 134512640 134569956 3221224368 3221214496 1131267817 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208574 20850 13086 16 0 208558 0
vsize: 834296
[startup+20.0048 s]
Raw data (loadavg): 1.04 1.00 0.97 2/63 15288
Raw data (stat): 15279 (java) R 15278 3132 3131 0 -1 0 18045 0 1 0 1645 37 0 0 17 0 10 0 764882179 854106112 21836 4294967295 134512640 134569956 3221224368 3221214616 1131282358 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208522 21836 13086 16 0 208506 0
vsize: 834088
[startup+30.005 s]
Raw data (loadavg): 1.04 1.00 0.97 2/63 15288
Raw data (stat): 15279 (java) R 15278 3132 3131 0 -1 0 18045 0 1 0 2502 38 0 0 17 0 10 0 764882179 854106112 22563 4294967295 134512640 134569956 3221224368 3221214464 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208522 22563 13086 16 0 208506 0
vsize: 834088
[startup+40.0065 s]
Raw data (loadavg): 1.03 1.00 0.97 2/63 15288
Raw data (stat): 15279 (java) R 15278 3132 3131 0 -1 0 18045 0 1 0 3359 39 0 0 17 0 10 0 764882179 854106112 23147 4294967295 134512640 134569956 3221224368 3221214464 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208522 23147 13086 16 0 208506 0
vsize: 834088
[startup+50.0076 s]
Raw data (loadavg): 1.03 1.00 0.97 2/63 15288
Raw data (stat): 15279 (java) R 15278 3132 3131 0 -1 0 18045 0 1 0 4207 39 0 0 17 0 10 0 764882179 854106112 23723 4294967295 134512640 134569956 3221224368 3221214708 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208522 23723 13086 16 0 208506 0
vsize: 834088
[startup+60.0072 s]
Raw data (loadavg): 1.02 1.00 0.97 2/63 15288
Raw data (stat): 15279 (java) R 15278 3132 3131 0 -1 0 18045 0 1 0 5056 40 0 0 17 0 10 0 764882179 854106112 24218 4294967295 134512640 134569956 3221224368 3221214208 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208522 24218 13086 16 0 208506 0
vsize: 834088
[startup+70.0086 s]
Raw data (loadavg): 1.02 1.00 0.97 2/63 15288
Raw data (stat): 15279 (java) R 15278 3132 3131 0 -1 0 18045 0 1 0 5909 40 0 0 19 0 10 0 764882179 854106112 24715 4294967295 134512640 134569956 3221224368 3221214708 1080204160 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208522 24715 13086 16 0 208506 0
vsize: 834088
[startup+80.0088 s]
Raw data (loadavg): 1.01 1.00 0.97 2/63 15288
Raw data (stat): 15279 (java) R 15278 3132 3131 0 -1 0 18045 0 1 0 6753 40 0 0 18 0 10 0 764882179 854106112 25167 4294967295 134512640 134569956 3221224368 3221214708 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208522 25167 13086 16 0 208506 0
vsize: 834088
[startup+90.0094 s]
Raw data (loadavg): 1.01 1.00 0.97 2/63 15288
Raw data (stat): 15279 (java) R 15278 3132 3131 0 -1 0 18045 0 1 0 7594 41 0 0 16 0 10 0 764882179 854106112 25570 4294967295 134512640 134569956 3221224368 3221214416 1076461328 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208522 25570 13086 16 0 208506 0
vsize: 834088
[startup+100.029 s]
Raw data (loadavg): 1.01 1.00 0.97 2/63 15288
Raw data (stat): 15279 (java) R 15278 3132 3131 0 -1 0 18045 0 1 0 8438 41 0 0 16 0 10 0 764882179 854106112 25931 4294967295 134512640 134569956 3221224368 3221214176 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208522 25931 13086 16 0 208506 0
vsize: 834088
[startup+110.037 s]
Raw data (loadavg): 1.01 1.00 0.97 2/63 15288
Raw data (stat): 15279 (java) R 15278 3132 3131 0 -1 0 18045 0 1 0 9283 41 0 0 16 0 10 0 764882179 854106112 26326 4294967295 134512640 134569956 3221224368 3221214176 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208522 26326 13086 16 0 208506 0
vsize: 834088
[startup+120.038 s]
Raw data (loadavg): 1.01 1.00 0.97 2/63 15288
Raw data (stat): 15279 (java) R 15278 3132 3131 0 -1 0 18045 0 1 0 10115 41 0 0 16 0 10 0 764882179 854106112 26802 4294967295 134512640 134569956 3221224368 3221214344 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208522 26802 13086 16 0 208506 0
vsize: 834088
[startup+130.038 s]
Raw data (loadavg): 1.00 1.00 0.97 2/63 15288
Raw data (stat): 15279 (java) R 15278 3132 3131 0 -1 0 18045 0 1 0 10964 42 0 0 16 0 10 0 764882179 854106112 27124 4294967295 134512640 134569956 3221224368 3221214464 1080019600 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208522 27124 13086 16 0 208506 0
vsize: 834088
[startup+140.038 s]
Raw data (loadavg): 1.00 1.00 0.97 2/63 15288
Raw data (stat): 15279 (java) R 15278 3132 3131 0 -1 0 18045 0 1 0 11803 42 0 0 16 0 10 0 764882179 854106112 27484 4294967295 134512640 134569956 3221224368 3221214176 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208522 27484 13086 16 0 208506 0
vsize: 834088
[startup+150.039 s]
Raw data (loadavg): 1.00 1.00 0.97 2/63 15288
Raw data (stat): 15279 (java) R 15278 3132 3131 0 -1 0 18045 0 1 0 12650 42 0 0 16 0 10 0 764882179 854106112 27783 4294967295 134512640 134569956 3221224368 3221214464 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208522 27783 13086 16 0 208506 0
vsize: 834088
[startup+160.04 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 15289
Raw data (stat): 15279 (java) R 15278 3132 3131 0 -1 0 18085 0 1 0 13484 43 0 0 16 0 11 0 764882179 854798336 28972 4294967295 134512640 134569956 3221224368 3221214808 1131326276 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208691 28972 13086 16 0 208675 0
vsize: 834764
[startup+170.04 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 15289
Raw data (stat): 15279 (java) S 15278 3132 3131 0 -1 0 18085 0 1 0 14363 43 0 0 18 0 11 0 764882179 856408064 30460 4294967295 134512640 134569956 3221224368 3221213320 1073952481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209084 30460 13086 16 0 209068 0
vsize: 836336
[startup+180.042 s]
Raw data (loadavg): 1.07 1.02 0.98 2/64 15289
Raw data (stat): 15279 (java) R 15278 3132 3131 0 -1 0 18086 0 1 0 15289 43 0 0 17 0 11 0 764882179 855781376 30444 4294967295 134512640 134569956 3221224368 3221214696 1131354335 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208931 30444 13086 16 0 208915 0
vsize: 835724
[startup+190.043 s]
Raw data (loadavg): 1.06 1.02 0.98 2/64 15289
Raw data (stat): 15279 (java) R 15278 3132 3131 0 -1 0 18086 0 1 0 16196 43 0 0 17 0 11 0 764882179 855093248 30326 4294967295 134512640 134569956 3221224368 3221214644 1130885120 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208763 30326 13086 16 0 208747 0
vsize: 835052
[startup+200.043 s]
Raw data (loadavg): 1.05 1.01 0.98 2/64 15289
Raw data (stat): 15279 (java) R 15278 3132 3131 0 -1 0 18086 0 1 0 17098 44 0 0 16 0 11 0 764882179 854634496 30364 4294967295 134512640 134569956 3221224368 3221214632 1131267950 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208651 30364 13086 16 0 208635 0
vsize: 834604
[startup+210.043 s]
Raw data (loadavg): 1.04 1.01 0.98 3/64 15289
Raw data (stat): 15279 (java) R 15278 3132 3131 0 -1 0 18086 0 1 0 18003 44 0 0 16 0 11 0 764882179 855683072 30629 4294967295 134512640 134569956 3221224368 3221214696 1131352147 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208907 30629 13086 16 0 208891 0
vsize: 835628
[startup+220.262 s]
Raw data (loadavg): 1.04 1.01 0.98 2/64 15289
Raw data (stat): 15279 (java) R 15278 3132 3131 0 -1 0 18086 0 1 0 18933 45 0 0 17 0 11 0 764882179 856731648 30934 4294967295 134512640 134569956 3221224368 3221214756 1131187637 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209163 30934 13086 16 0 209147 0
vsize: 836652
[startup+230.262 s]
Raw data (loadavg): 1.03 1.01 0.98 2/64 15289
Raw data (stat): 15279 (java) R 15278 3132 3131 0 -1 0 18086 0 1 0 19858 45 0 0 17 0 11 0 764882179 856731648 31034 4294967295 134512640 134569956 3221224368 3221214632 1131267989 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209163 31034 13086 16 0 209147 0
vsize: 836652
[startup+240.263 s]
Raw data (loadavg): 1.02 1.01 0.98 2/64 15289
Raw data (stat): 15279 (java) R 15278 3132 3131 0 -1 0 18086 0 1 0 20784 46 0 0 17 0 11 0 764882179 856731648 31091 4294967295 134512640 134569956 3221224368 3221214644 1130885222 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209163 31091 13086 16 0 209147 0
vsize: 836652
[startup+250.263 s]
Raw data (loadavg): 1.02 1.01 0.98 2/64 15289
Raw data (stat): 15279 (java) R 15278 3132 3131 0 -1 0 18086 0 1 0 21711 46 0 0 16 0 11 0 764882179 856731648 31197 4294967295 134512640 134569956 3221224368 3221214728 1131373043 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209163 31197 13086 16 0 209147 0
vsize: 836652
[startup+260.264 s]
Raw data (loadavg): 1.02 1.01 0.98 2/64 15289
Raw data (stat): 15279 (java) R 15278 3132 3131 0 -1 0 18087 0 1 0 22638 46 0 0 17 0 11 0 764882179 856731648 31260 4294967295 134512640 134569956 3221224368 3221214696 1131352633 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209163 31260 13086 16 0 209147 0
vsize: 836652
[startup+270.264 s]
Raw data (loadavg): 1.01 1.01 0.98 2/64 15289
Raw data (stat): 15279 (java) R 15278 3132 3131 0 -1 0 18087 0 1 0 23583 47 0 0 23 0 11 0 764882179 856731648 31403 4294967295 134512640 134569956 3221224368 3221214644 1130885144 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209163 31403 13086 16 0 209147 0
vsize: 836652
[startup+280.265 s]
Raw data (loadavg): 1.01 1.01 0.98 2/64 15289
Raw data (stat): 15279 (java) R 15278 3132 3131 0 -1 0 18087 0 1 0 24513 47 0 0 16 0 11 0 764882179 855683072 31771 4294967295 134512640 134569956 3221224368 3221214724 1131331492 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208907 31771 13086 16 0 208891 0
vsize: 835628
[startup+290.266 s]
Raw data (loadavg): 1.01 1.01 0.98 2/64 15289
Raw data (stat): 15279 (java) R 15278 3132 3131 0 -1 0 18087 0 1 0 25465 47 0 0 17 0 11 0 764882179 855683072 31876 4294967295 134512640 134569956 3221224368 3221214724 1131377353 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208907 31876 13086 16 0 208891 0
vsize: 835628
[startup+300.266 s]
Raw data (loadavg): 1.01 1.00 0.98 2/64 15289
Raw data (stat): 15279 (java) R 15278 3132 3131 0 -1 0 18087 0 1 0 26430 48 0 0 21 0 11 0 764882179 855683072 32100 4294967295 134512640 134569956 3221224368 3221214536 1131188602 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208907 32100 13086 16 0 208891 0
vsize: 835628
[startup+310.266 s]
Raw data (loadavg): 1.01 1.00 0.98 2/64 15289
Raw data (stat): 15279 (java) R 15278 3132 3131 0 -1 0 18087 0 1 0 27380 48 0 0 16 0 11 0 764882179 855683072 32466 4294967295 134512640 134569956 3221224368 3221214704 1131390433 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208907 32466 13086 16 0 208891 0
vsize: 835628
[startup+320.27 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 15289
Raw data (stat): 15279 (java) S 15278 3132 3131 0 -1 0 18087 0 1 0 28327 49 0 0 20 0 11 0 764882179 855683072 32731 4294967295 134512640 134569956 3221224368 3221213296 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208907 32732 13086 16 0 208891 0
vsize: 835628
[startup+330.271 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 15289
Raw data (stat): 15279 (java) R 15278 3132 3131 0 -1 0 18087 0 1 0 29243 49 0 0 16 0 11 0 764882179 855683072 33578 4294967295 134512640 134569956 3221224368 3221214728 1131372808 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208907 33578 13086 16 0 208891 0
vsize: 835628
[startup+340.276 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 15289
Raw data (stat): 15279 (java) R 15278 3132 3131 0 -1 0 18087 0 1 0 30173 49 0 0 16 0 11 0 764882179 855683072 33578 4294967295 134512640 134569956 3221224368 3221214696 1131352147 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208907 33578 13086 16 0 208891 0
vsize: 835628
[startup+350.275 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 15289
Raw data (stat): 15279 (java) R 15278 3132 3131 0 -1 0 18087 0 1 0 31119 49 0 0 19 0 11 0 764882179 855683072 33677 4294967295 134512640 134569956 3221224368 3221214360 1131447952 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208907 33677 13086 16 0 208891 0
vsize: 835628
[startup+360.275 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 15289
Raw data (stat): 15279 (java) R 15278 3132 3131 0 -1 0 18087 0 1 0 32067 50 0 0 20 0 11 0 764882179 855683072 33833 4294967295 134512640 134569956 3221224368 3221214696 1131354019 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208907 33833 13086 16 0 208891 0
vsize: 835628
[startup+370.279 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 15289
Raw data (stat): 15279 (java) S 15278 3132 3131 0 -1 0 18087 0 1 0 33029 50 0 0 22 0 11 0 764882179 855683072 34284 4294967295 134512640 134569956 3221224368 3221213336 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208907 34284 13086 16 0 208891 0
vsize: 835628
[startup+380.279 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 15289
Raw data (stat): 15279 (java) R 15278 3132 3131 0 -1 0 18087 0 1 0 33955 50 0 0 17 0 11 0 764882179 855683072 34509 4294967295 134512640 134569956 3221224368 3221214724 1131340201 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208907 34509 13086 16 0 208891 0
vsize: 835628
[startup+390.28 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 15289
Raw data (stat): 15279 (java) R 15278 3132 3131 0 -1 0 18087 0 1 0 34908 51 0 0 17 0 11 0 764882179 855683072 34749 4294967295 134512640 134569956 3221224368 3221214592 1131263393 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208907 34749 13086 16 0 208891 0
vsize: 835628
[startup+400.283 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 15289
Raw data (stat): 15279 (java) R 15278 3132 3131 0 -1 0 18087 0 1 0 35861 51 0 0 19 0 11 0 764882179 855683072 34933 4294967295 134512640 134569956 3221224368 3221214736 1131397895 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208907 34933 13086 16 0 208891 0
vsize: 835628
[startup+410.283 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 15289
Raw data (stat): 15279 (java) R 15278 3132 3131 0 -1 0 18087 0 1 0 36813 51 0 0 21 0 11 0 764882179 855683072 35142 4294967295 134512640 134569956 3221224368 3221214600 1131267824 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208907 35142 13086 16 0 208891 0
vsize: 835628
[startup+420.283 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 15289
Raw data (stat): 15279 (java) R 15278 3132 3131 0 -1 0 18087 0 1 0 37762 52 0 0 18 0 11 0 764882179 855683072 35534 4294967295 134512640 134569956 3221224368 3221214644 1130885169 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208907 35534 13086 16 0 208891 0
vsize: 835628
[startup+430.289 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 15289
Raw data (stat): 15279 (java) R 15278 3132 3131 0 -1 0 18087 0 1 0 38715 52 0 0 17 0 11 0 764882179 855683072 35827 4294967295 134512640 134569956 3221224368 3221214592 1131263839 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208907 35827 13086 16 0 208891 0
vsize: 835628
[startup+440.29 s]
Raw data (loadavg): 1.07 1.02 0.98 2/64 15289
Raw data (stat): 15279 (java) R 15278 3132 3131 0 -1 0 18087 0 1 0 39627 52 0 0 17 0 11 0 764882179 855683072 36522 4294967295 134512640 134569956 3221224368 3221214592 1131263909 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208907 36522 13086 16 0 208891 0
vsize: 835628
[startup+450.289 s]
Raw data (loadavg): 1.06 1.01 0.98 2/64 15289
Raw data (stat): 15279 (java) R 15278 3132 3131 0 -1 0 18087 0 1 0 40536 53 0 0 17 0 11 0 764882179 855683072 36840 4294967295 134512640 134569956 3221224368 3221214592 1131263477 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208907 36840 13086 16 0 208891 0
vsize: 835628
[startup+460.29 s]
Raw data (loadavg): 1.05 1.01 0.98 2/64 15289
Raw data (stat): 15279 (java) R 15278 3132 3131 0 -1 0 18087 0 1 0 41485 53 0 0 18 0 11 0 764882179 855683072 36840 4294967295 134512640 134569956 3221224368 3221214584 1131188116 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208907 36840 13086 16 0 208891 0
vsize: 835628
[startup+470.294 s]
Raw data (loadavg): 1.04 1.01 0.98 2/64 15289
Raw data (stat): 15279 (java) S 15278 3132 3131 0 -1 0 18087 0 1 0 42407 53 0 0 18 0 11 0 764882179 855683072 36988 4294967295 134512640 134569956 3221224368 3221213336 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208907 36988 13086 16 0 208891 0
vsize: 835628
[startup+480.294 s]
Raw data (loadavg): 1.03 1.01 0.98 2/64 15289
Raw data (stat): 15279 (java) R 15278 3132 3131 0 -1 0 18087 0 1 0 43335 53 0 0 18 0 11 0 764882179 855683072 37351 4294967295 134512640 134569956 3221224368 3221214672 1131377526 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208907 37351 13086 16 0 208891 0
vsize: 835628
[startup+490.298 s]
Raw data (loadavg): 1.03 1.01 0.98 2/64 15289
Raw data (stat): 15279 (java) R 15278 3132 3131 0 -1 0 18087 0 1 0 44268 54 0 0 16 0 11 0 764882179 855683072 37611 4294967295 134512640 134569956 3221224368 3221214648 1131187673 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208907 37611 13086 16 0 208891 0
vsize: 835628
[startup+500.298 s]
Raw data (loadavg): 1.02 1.01 0.98 2/64 15289
Raw data (stat): 15279 (java) R 15278 3132 3131 0 -1 0 18087 0 1 0 45232 54 0 0 17 0 11 0 764882179 855683072 37973 4294967295 134512640 134569956 3221224368 3221214620 1130885204 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208907 37973 13086 16 0 208891 0
vsize: 835628
[startup+510.298 s]
Raw data (loadavg): 1.02 1.01 0.98 2/64 15289
Raw data (stat): 15279 (java) R 15278 3132 3131 0 -1 0 18087 0 1 0 46185 55 0 0 17 0 11 0 764882179 855683072 38355 4294967295 134512640 134569956 3221224368 3221214672 1131377885 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208907 38355 13086 16 0 208891 0
vsize: 835628
[startup+520.3 s]
Raw data (loadavg): 1.02 1.01 0.98 2/64 15289
Raw data (stat): 15279 (java) R 15278 3132 3131 0 -1 0 18087 0 1 0 47140 55 0 0 18 0 11 0 764882179 855683072 38614 4294967295 134512640 134569956 3221224368 3221214724 1131340192 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208907 38614 13086 16 0 208891 0
vsize: 835628
[startup+530.303 s]
Raw data (loadavg): 1.01 1.01 0.98 2/64 15289
Raw data (stat): 15279 (java) R 15278 3132 3131 0 -1 0 18087 0 1 0 48094 56 0 0 16 0 11 0 764882179 855683072 38815 4294967295 134512640 134569956 3221224368 3221214592 1131263839 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208907 38815 13086 16 0 208891 0
vsize: 835628
[startup+540.303 s]
Raw data (loadavg): 1.01 1.01 0.98 2/64 15289
Raw data (stat): 15279 (java) R 15278 3132 3131 0 -1 0 18087 0 1 0 49048 56 0 0 17 0 11 0 764882179 855683072 39069 4294967295 134512640 134569956 3221224368 3221214728 1131372704 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208907 39069 13086 16 0 208891 0
vsize: 835628
[startup+550.304 s]
Raw data (loadavg): 1.01 1.00 0.98 2/64 15289
Raw data (stat): 15279 (java) R 15278 3132 3131 0 -1 0 18087 0 1 0 50001 57 0 0 16 0 11 0 764882179 855683072 39314 4294967295 134512640 134569956 3221224368 3221214672 1131377545 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208907 39314 13086 16 0 208891 0
vsize: 835628
[startup+560.304 s]
Raw data (loadavg): 1.01 1.00 0.98 2/64 15289
Raw data (stat): 15279 (java) R 15278 3132 3131 0 -1 0 18087 0 1 0 50955 57 0 0 17 0 11 0 764882179 855683072 39532 4294967295 134512640 134569956 3221224368 3221214616 1131420098 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208907 39532 13086 16 0 208891 0
vsize: 835628
[startup+570.309 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 15289
Raw data (stat): 15279 (java) S 15278 3132 3131 0 -1 0 18087 0 1 0 51919 57 0 0 20 0 11 0 764882179 855683072 39727 4294967295 134512640 134569956 3221224368 3221213192 1073952481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208907 39727 13086 16 0 208891 0
vsize: 835628
[startup+580.309 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 15289
Raw data (stat): 15279 (java) R 15278 3132 3131 0 -1 0 18087 0 1 0 52876 57 0 0 18 0 11 0 764882179 855683072 39958 4294967295 134512640 134569956 3221224368 3221214672 1131377529 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208907 39958 13086 16 0 208891 0
vsize: 835628
[startup+590.31 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 15289
Raw data (stat): 15279 (java) R 15278 3132 3131 0 -1 0 18087 0 1 0 53824 58 0 0 18 0 11 0 764882179 855683072 40275 4294967295 134512640 134569956 3221224368 3221214632 1131267989 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208907 40275 13086 16 0 208891 0
vsize: 835628
[startup+600.31 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 15289
Raw data (stat): 15279 (java) R 15278 3132 3131 0 -1 0 18087 0 1 0 54776 58 0 0 18 0 11 0 764882179 855683072 40520 4294967295 134512640 134569956 3221224368 3221214728 1131372707 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208907 40520 13086 16 0 208891 0
vsize: 835628
[startup+610.311 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 15289
Raw data (stat): 15279 (java) R 15278 3132 3131 0 -1 0 18087 0 1 0 55728 58 0 0 18 0 11 0 764882179 855683072 40811 4294967295 134512640 134569956 3221224368 3221214592 1131264320 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208907 40811 13086 16 0 208891 0
vsize: 835628
[startup+620.312 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 15289
Raw data (stat): 15279 (java) R 15278 3132 3131 0 -1 0 18087 0 1 0 56682 59 0 0 17 0 11 0 764882179 855683072 41059 4294967295 134512640 134569956 3221224368 3221214592 1131263839 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208907 41059 13086 16 0 208891 0
vsize: 835628
[startup+630.311 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 15289
Raw data (stat): 15279 (java) R 15278 3132 3131 0 -1 0 18087 0 1 0 57638 59 0 0 17 0 11 0 764882179 855683072 41316 4294967295 134512640 134569956 3221224368 3221214696 1131371318 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208907 41316 13086 16 0 208891 0
vsize: 835628
[startup+640.316 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 15289
Raw data (stat): 15279 (java) R 15278 3132 3131 0 -1 0 18087 0 1 0 58592 59 0 0 16 0 11 0 764882179 855683072 41496 4294967295 134512640 134569956 3221224368 3221214692 1131263372 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208907 41496 13086 16 0 208891 0
vsize: 835628
[startup+650.319 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 15289
Raw data (stat): 15279 (java) S 15278 3132 3131 0 -1 0 18087 0 1 0 59479 59 0 0 17 0 11 0 764882179 855683072 42192 4294967295 134512640 134569956 3221224368 3221213336 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208907 42192 13086 16 0 208891 0
vsize: 835628
[startup+660.322 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 15289
Raw data (stat): 15279 (java) R 15278 3132 3131 0 -1 0 18087 0 1 0 60371 59 0 0 16 0 11 0 764882179 855683072 42643 4294967295 134512640 134569956 3221224368 3221214228 1080217184 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208907 42643 13086 16 0 208891 0
vsize: 835628
[startup+670.323 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 15289
Raw data (stat): 15279 (java) R 15278 3132 3131 0 -1 0 18087 0 1 0 61284 59 0 0 16 0 11 0 764882179 855683072 42643 4294967295 134512640 134569956 3221224368 3221214592 1131263659 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208907 42643 13086 16 0 208891 0
vsize: 835628
[startup+680.323 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 15289
Raw data (stat): 15279 (java) R 15278 3132 3131 0 -1 0 18087 0 1 0 62187 60 0 0 17 0 11 0 764882179 855683072 42643 4294967295 134512640 134569956 3221224368 3221214672 1131377520 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208907 42643 13086 16 0 208891 0
vsize: 835628
[startup+690.324 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 15289
Raw data (stat): 15279 (java) R 15278 3132 3131 0 -1 0 18087 0 1 0 63084 60 0 0 17 0 11 0 764882179 855683072 42760 4294967295 134512640 134569956 3221224368 3221214456 1131274618 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208907 42760 13086 16 0 208891 0
vsize: 835628
[startup+700.325 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 15289
Raw data (stat): 15279 (java) R 15278 3132 3131 0 -1 0 18087 0 1 0 63982 61 0 0 17 0 11 0 764882179 855683072 42913 4294967295 134512640 134569956 3221224368 3221214592 1131263477 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208907 42913 13086 16 0 208891 0
vsize: 835628
[startup+710.325 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 15289
Raw data (stat): 15279 (java) R 15278 3132 3131 0 -1 0 18087 0 1 0 64863 61 0 0 16 0 11 0 764882179 855683072 43170 4294967295 134512640 134569956 3221224368 3221214756 1131397355 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208907 43170 13086 16 0 208891 0
vsize: 835628
[startup+720.325 s]
Raw data (loadavg): 1.07 1.02 0.99 2/64 15289
Raw data (stat): 15279 (java) R 15278 3132 3131 0 -1 0 18087 0 1 0 65782 62 0 0 17 0 11 0 764882179 855683072 43243 4294967295 134512640 134569956 3221224368 3221214580 1131127952 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208907 43243 13086 16 0 208891 0
vsize: 835628
[startup+730.326 s]
Raw data (loadavg): 1.06 1.02 0.99 2/64 15289
Raw data (stat): 15279 (java) R 15278 3132 3131 0 -1 0 18087 0 1 0 66654 62 0 0 16 0 11 0 764882179 855683072 43766 4294967295 134512640 134569956 3221224368 3221214648 1131187708 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208907 43766 13086 16 0 208891 0
vsize: 835628
[startup+740.326 s]
Raw data (loadavg): 1.05 1.01 0.99 2/64 15289
Raw data (stat): 15279 (java) R 15278 3132 3131 0 -1 0 18087 0 1 0 67554 62 0 0 16 0 11 0 764882179 855683072 43823 4294967295 134512640 134569956 3221224368 3221214644 1130885120 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208907 43823 13086 16 0 208891 0
vsize: 835628
[startup+750.327 s]
Raw data (loadavg): 1.04 1.01 0.99 2/64 15289
Raw data (stat): 15279 (java) R 15278 3132 3131 0 -1 0 18087 0 1 0 68474 63 0 0 17 0 11 0 764882179 855683072 44016 4294967295 134512640 134569956 3221224368 3221214696 1131352189 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208907 44016 13086 16 0 208891 0
vsize: 835628
[startup+760.327 s]
Raw data (loadavg): 1.04 1.01 0.99 2/64 15289
Raw data (stat): 15279 (java) R 15278 3132 3131 0 -1 0 18087 0 1 0 69378 63 0 0 16 0 11 0 764882179 855683072 44065 4294967295 134512640 134569956 3221224368 3221214704 1131390881 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208907 44065 13086 16 0 208891 0
vsize: 835628
[startup+770.329 s]
Raw data (loadavg): 1.03 1.01 0.99 2/64 15289
Raw data (stat): 15279 (java) R 15278 3132 3131 0 -1 0 18087 0 1 0 70304 64 0 0 18 0 11 0 764882179 855683072 44242 4294967295 134512640 134569956 3221224368 3221214592 1131263422 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208907 44242 13086 16 0 208891 0
vsize: 835628
[startup+780.329 s]
Raw data (loadavg): 1.02 1.01 0.99 2/64 15289
Raw data (stat): 15279 (java) R 15278 3132 3131 0 -1 0 18087 0 1 0 71265 64 0 0 23 0 11 0 764882179 855683072 44394 4294967295 134512640 134569956 3221224368 3221214696 1131352164 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208907 44394 13086 16 0 208891 0
vsize: 835628
[startup+790.33 s]
Raw data (loadavg): 1.02 1.01 0.99 2/64 15289
Raw data (stat): 15279 (java) R 15278 3132 3131 0 -1 0 18087 0 1 0 72211 65 0 0 16 0 11 0 764882179 855683072 44830 4294967295 134512640 134569956 3221224368 3221214644 1130885163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208907 44830 13086 16 0 208891 0
vsize: 835628
[startup+800.331 s]
Raw data (loadavg): 1.02 1.01 0.99 2/64 15289
Raw data (stat): 15279 (java) R 15278 3132 3131 0 -1 0 18087 0 1 0 73178 65 0 0 18 0 11 0 764882179 855683072 45117 4294967295 134512640 134569956 3221224368 3221214592 1131263533 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208907 45117 13086 16 0 208891 0
vsize: 835628
[startup+810.331 s]
Raw data (loadavg): 1.01 1.01 0.99 2/64 15289
Raw data (stat): 15279 (java) R 15278 3132 3131 0 -1 0 18087 0 1 0 74146 65 0 0 20 0 11 0 764882179 855683072 45230 4294967295 134512640 134569956 3221224368 3221214568 1131442289 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208907 45230 13086 16 0 208891 0
vsize: 835628
[startup+820.333 s]
Raw data (loadavg): 1.01 1.01 0.99 2/64 15289
Raw data (stat): 15279 (java) R 15278 3132 3131 0 -1 0 18087 0 1 0 75098 66 0 0 18 0 11 0 764882179 855683072 45667 4294967295 134512640 134569956 3221224368 3221214696 1131371312 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208907 45667 13086 16 0 208891 0
vsize: 835628
[startup+830.333 s]
Raw data (loadavg): 1.01 1.01 0.99 2/64 15289
Raw data (stat): 15279 (java) R 15278 3132 3131 0 -1 0 18087 0 1 0 76049 66 0 0 16 0 11 0 764882179 855683072 45873 4294967295 134512640 134569956 3221224368 3221214644 1130885243 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208907 45873 13086 16 0 208891 0
vsize: 835628
[startup+840.333 s]
Raw data (loadavg): 1.01 1.00 0.99 2/64 15289
Raw data (stat): 15279 (java) R 15278 3132 3131 0 -1 0 18087 0 1 0 77014 66 0 0 18 0 11 0 764882179 855683072 46098 4294967295 134512640 134569956 3221224368 3221214568 1131441800 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208907 46098 13086 16 0 208891 0
vsize: 835628
[startup+850.335 s]
Raw data (loadavg): 1.01 1.00 0.99 2/64 15289
Raw data (stat): 15279 (java) R 15278 3132 3131 0 -1 0 18087 0 1 0 77980 67 0 0 20 0 11 0 764882179 855683072 46381 4294967295 134512640 134569956 3221224368 3221214620 1130885120 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208907 46381 13086 16 0 208891 0
vsize: 835628
[startup+860.335 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 15289
Raw data (stat): 15279 (java) S 15278 3132 3131 0 -1 0 18087 0 1 0 78933 67 0 0 25 0 11 0 764882179 855683072 46698 4294967295 134512640 134569956 3221224368 3221213336 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208907 46698 13086 16 0 208891 0
vsize: 835628
[startup+870.335 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 15289
Raw data (stat): 15279 (java) R 15278 3132 3131 0 -1 0 18087 0 1 0 79892 67 0 0 17 0 11 0 764882179 855683072 47093 4294967295 134512640 134569956 3221224368 3221214668 1131187643 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208907 47093 13086 16 0 208891 0
vsize: 835628
[startup+880.336 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 15289
Raw data (stat): 15279 (java) R 15278 3132 3131 0 -1 0 18087 0 1 0 80857 68 0 0 18 0 11 0 764882179 855683072 47372 4294967295 134512640 134569956 3221224368 3221214568 1131433592 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208907 47372 13086 16 0 208891 0
vsize: 835628
[startup+890.341 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 15289
Raw data (stat): 15279 (java) R 15278 3132 3131 0 -1 0 18087 0 1 0 81806 68 0 0 16 0 11 0 764882179 855683072 47687 4294967295 134512640 134569956 3221224368 3221214520 1131251940 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208907 47687 13086 16 0 208891 0
vsize: 835628
[startup+900.341 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 15289
Raw data (stat): 15279 (java) R 15278 3132 3131 0 -1 0 18087 0 1 0 82769 69 0 0 19 0 11 0 764882179 855683072 47939 4294967295 134512640 134569956 3221224368 3221214528 1131268627 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208907 47939 13086 16 0 208891 0
vsize: 835628
[startup+910.341 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 15289
Raw data (stat): 15279 (java) R 15278 3132 3131 0 -1 0 18087 0 1 0 83715 69 0 0 17 0 11 0 764882179 855683072 48370 4294967295 134512640 134569956 3221224368 3221214696 1131371342 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208907 48370 13086 16 0 208891 0
vsize: 835628
[startup+920.342 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 15289
Raw data (stat): 15279 (java) R 15278 3132 3131 0 -1 0 18087 0 1 0 84644 69 0 0 16 0 11 0 764882179 855683072 48774 4294967295 134512640 134569956 3221224368 3221214592 1131264446 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208907 48774 13086 16 0 208891 0
vsize: 835628
[startup+930.342 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 15289
Raw data (stat): 15279 (java) R 15278 3132 3131 0 -1 0 18087 0 1 0 85592 70 0 0 18 0 11 0 764882179 855683072 48899 4294967295 134512640 134569956 3221224368 3221214696 1131371374 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208907 48899 13086 16 0 208891 0
vsize: 835628
[startup+940.344 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 15289
Raw data (stat): 15279 (java) R 15278 3132 3131 0 -1 0 18087 0 1 0 86539 70 0 0 18 0 11 0 764882179 855683072 49113 4294967295 134512640 134569956 3221224368 3221214592 1131263406 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208907 49113 13086 16 0 208891 0
vsize: 835628
[startup+950.345 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 15289
Raw data (stat): 15279 (java) R 15278 3132 3131 0 -1 0 18087 0 1 0 87501 70 0 0 20 0 11 0 764882179 855683072 49405 4294967295 134512640 134569956 3221224368 3221214568 1131442126 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208907 49405 13086 16 0 208891 0
vsize: 835628
[startup+960.345 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 15289
Raw data (stat): 15279 (java) R 15278 3132 3131 0 -1 0 18087 0 1 0 88468 71 0 0 21 0 11 0 764882179 855683072 49522 4294967295 134512640 134569956 3221224368 3221214696 1131371358 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208907 49522 13086 16 0 208891 0
vsize: 835628
[startup+970.348 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 15289
Raw data (stat): 15279 (java) S 15278 3132 3131 0 -1 0 18087 0 1 0 89413 71 0 0 20 0 11 0 764882179 855683072 49819 4294967295 134512640 134569956 3221224368 3221213120 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208907 49819 13086 16 0 208891 0
vsize: 835628
[startup+980.349 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 15289
Raw data (stat): 15279 (java) R 15278 3132 3131 0 -1 0 18087 0 1 0 90364 71 0 0 17 0 11 0 764882179 855683072 50198 4294967295 134512640 134569956 3221224368 3221214668 1131187616 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208907 50198 13086 16 0 208891 0
vsize: 835628
[startup+990.349 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 15289
Raw data (stat): 15279 (java) R 15278 3132 3131 0 -1 0 18087 0 1 0 91329 71 0 0 20 0 11 0 764882179 855683072 50410 4294967295 134512640 134569956 3221224368 3221214568 1131442126 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208907 50410 13086 16 0 208891 0
vsize: 835628
[startup+1000.35 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 15289
Raw data (stat): 15279 (java) R 15278 3132 3131 0 -1 0 18087 0 1 0 92276 72 0 0 17 0 11 0 764882179 855683072 50798 4294967295 134512640 134569956 3221224368 3221214672 1131377919 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208907 50798 13086 16 0 208891 0
vsize: 835628
[startup+1010.35 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 15289
Raw data (stat): 15279 (java) R 15278 3132 3131 0 -1 0 18087 0 1 0 93242 72 0 0 16 0 11 0 764882179 855683072 51034 4294967295 134512640 134569956 3221224368 3221214608 1131267656 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208907 51034 13086 16 0 208891 0
vsize: 835628
[startup+1020.35 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 15289
Raw data (stat): 15279 (java) R 15278 3132 3131 0 -1 0 18087 0 1 0 94209 72 0 0 19 0 11 0 764882179 855683072 51290 4294967295 134512640 134569956 3221224368 3221214724 1131331465 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208907 51290 13086 16 0 208891 0
vsize: 835628
[startup+1030.35 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 15289
Raw data (stat): 15279 (java) R 15278 3132 3131 0 -1 0 18087 0 1 0 95158 73 0 0 16 0 11 0 764882179 855683072 51657 4294967295 134512640 134569956 3221224368 3221214644 1130885141 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208907 51657 13086 16 0 208891 0
vsize: 835628
[startup+1040.35 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 15289
Raw data (stat): 15279 (java) R 15278 3132 3131 0 -1 0 18087 0 1 0 96125 73 0 0 19 0 11 0 764882179 855683072 51794 4294967295 134512640 134569956 3221224368 3221214576 1131230324 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208907 51794 13086 16 0 208891 0
vsize: 835628
[startup+1050.35 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 15289
Raw data (stat): 15279 (java) R 15278 3132 3131 0 -1 0 18087 0 1 0 97089 74 0 0 22 0 11 0 764882179 855683072 52058 4294967295 134512640 134569956 3221224368 3221214648 1131250723 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208907 52058 13086 16 0 208891 0
vsize: 835628
[startup+1060.35 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 15289
Raw data (stat): 15279 (java) R 15278 3132 3131 0 -1 0 18087 0 1 0 98036 74 0 0 16 0 11 0 764882179 855683072 52389 4294967295 134512640 134569956 3221224368 3221214728 1131372704 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208907 52389 13086 16 0 208891 0
vsize: 835628
[startup+1070.35 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 15289
Raw data (stat): 15279 (java) R 15278 3132 3131 0 -1 0 18087 0 1 0 99002 74 0 0 18 0 11 0 764882179 855683072 52606 4294967295 134512640 134569956 3221224368 3221214672 1131377526 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208907 52606 13086 16 0 208891 0
vsize: 835628
[startup+1080.35 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 15289
Raw data (stat): 15279 (java) R 15278 3132 3131 0 -1 0 18087 0 1 0 99967 75 0 0 22 0 11 0 764882179 855683072 52866 4294967295 134512640 134569956 3221224368 3221214608 1131267667 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208907 52866 13086 16 0 208891 0
vsize: 835628
[startup+1090.35 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 15289
Raw data (stat): 15279 (java) R 15278 3132 3131 0 -1 0 18087 0 1 0 100914 75 0 0 16 0 11 0 764882179 855683072 53216 4294967295 134512640 134569956 3221224368 3221214588 1131192288 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208907 53216 13086 16 0 208891 0
vsize: 835628
[startup+1100.36 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 15289
Raw data (stat): 15279 (java) R 15278 3132 3131 0 -1 0 18087 0 1 0 101875 75 0 0 17 0 11 0 764882179 855683072 53556 4294967295 134512640 134569956 3221224368 3221214724 1131377353 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208907 53556 13086 16 0 208891 0
vsize: 835628
[startup+1110.35 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 15289
Raw data (stat): 15279 (java) R 15278 3132 3131 0 -1 0 18087 0 1 0 102838 76 0 0 19 0 11 0 764882179 855683072 53773 4294967295 134512640 134569956 3221224368 3221214712 1131339721 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208907 53773 13086 16 0 208891 0
vsize: 835628
[startup+1120.35 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 15289
Raw data (stat): 15279 (java) R 15278 3132 3131 0 -1 0 18087 0 1 0 103803 77 0 0 19 0 11 0 764882179 855683072 53868 4294967295 134512640 134569956 3221224368 3221214728 1131373043 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208907 53868 13086 16 0 208891 0
vsize: 835628
[startup+1130.36 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 15289
Raw data (stat): 15279 (java) R 15278 3132 3131 0 -1 0 18087 0 1 0 104767 77 0 0 21 0 11 0 764882179 855683072 54252 4294967295 134512640 134569956 3221224368 3221214544 1131187673 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208907 54252 13086 16 0 208891 0
vsize: 835628
[startup+1140.35 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 15289
Raw data (stat): 15279 (java) R 15278 3132 3131 0 -1 0 18087 0 1 0 105717 77 0 0 17 0 11 0 764882179 855683072 54484 4294967295 134512640 134569956 3221224368 3221214696 1131371312 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208907 54484 13086 16 0 208891 0
vsize: 835628
[startup+1150.35 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 15289
Raw data (stat): 15279 (java) R 15278 3132 3131 0 -1 0 18087 0 1 0 106683 77 0 0 23 0 11 0 764882179 855683072 54833 4294967295 134512640 134569956 3221224368 3221214568 1131441924 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208907 54833 13086 16 0 208891 0
vsize: 835628
[startup+1160.36 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 15289
Raw data (stat): 15279 (java) R 15278 3132 3131 0 -1 0 18087 0 1 0 107648 77 0 0 23 0 11 0 764882179 855683072 55139 4294967295 134512640 134569956 3221224368 3221214696 1131371330 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208907 55139 13086 16 0 208891 0
vsize: 835628
[startup+1170.36 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 15289
Raw data (stat): 15279 (java) R 15278 3132 3131 0 -1 0 18087 0 1 0 108614 78 0 0 24 0 11 0 764882179 855683072 55448 4294967295 134512640 134569956 3221224368 3221214728 1131372707 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208907 55448 13086 16 0 208891 0
vsize: 835628
[startup+1180.36 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 15289
Raw data (stat): 15279 (java) R 15278 3132 3131 0 -1 0 18087 0 1 0 109565 78 0 0 18 0 11 0 764882179 855683072 55760 4294967295 134512640 134569956 3221224368 3221214592 1131263597 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208907 55760 13086 16 0 208891 0
vsize: 835628
[startup+1190.36 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 15289
Raw data (stat): 15279 (java) R 15278 3132 3131 0 -1 0 18087 0 1 0 110514 78 0 0 16 0 11 0 764882179 855683072 56181 4294967295 134512640 134569956 3221224368 3221214536 1131188020 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208907 56181 13086 16 0 208891 0
vsize: 835628
[startup+1200.36 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 15289
Raw data (stat): 15279 (java) R 15278 3132 3131 0 -1 0 18087 0 1 0 111482 78 0 0 18 0 11 0 764882179 855683072 56393 4294967295 134512640 134569956 3221224368 3221214696 1131371328 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208907 56393 13086 16 0 208891 0
vsize: 835628
[startup+1210.36 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 15289
Raw data (stat): 15279 (java) R 15278 3132 3131 0 -1 0 18087 0 1 0 112434 78 0 0 16 0 11 0 764882179 855683072 56679 4294967295 134512640 134569956 3221224368 3221214696 1131352714 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208907 56679 13086 16 0 208891 0
vsize: 835628
[startup+1220.36 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 15289
Raw data (stat): 15279 (java) R 15278 3132 3131 0 -1 0 18087 0 1 0 113401 79 0 0 16 0 11 0 764882179 855683072 56927 4294967295 134512640 134569956 3221224368 3221214728 1131373079 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208907 56927 13086 16 0 208891 0
vsize: 835628
[startup+1230.36 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 15289
Raw data (stat): 15279 (java) R 15278 3132 3131 0 -1 0 18087 0 1 0 114369 79 0 0 18 0 11 0 764882179 855683072 57135 4294967295 134512640 134569956 3221224368 3221214696 1131371342 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208907 57135 13086 16 0 208891 0
vsize: 835628
[startup+1240.36 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 15289
Raw data (stat): 15279 (java) R 15278 3132 3131 0 -1 0 18087 0 1 0 115334 79 0 0 20 0 11 0 764882179 855683072 57358 4294967295 134512640 134569956 3221224368 3221214592 1131263799 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208907 57358 13086 16 0 208891 0
vsize: 835628
[startup+1250.36 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 15289
Raw data (stat): 15279 (java) R 15278 3132 3131 0 -1 0 18087 0 1 0 116283 79 0 0 17 0 11 0 764882179 855683072 57831 4294967295 134512640 134569956 3221224368 3221214696 1131371318 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208907 57831 13086 16 0 208891 0
vsize: 835628
[startup+1260.36 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 15289
Raw data (stat): 15279 (java) R 15278 3132 3131 0 -1 0 18087 0 1 0 117250 79 0 0 17 0 11 0 764882179 855683072 58090 4294967295 134512640 134569956 3221224368 3221214696 1131371312 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208907 58090 13086 16 0 208891 0
vsize: 835628
[startup+1270.36 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 15289
Raw data (stat): 15279 (java) R 15278 3132 3131 0 -1 0 18087 0 1 0 118215 80 0 0 19 0 11 0 764882179 855683072 58389 4294967295 134512640 134569956 3221224368 3221214672 1131377885 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208907 58389 13086 16 0 208891 0
vsize: 835628
[startup+1280.36 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 15289
Raw data (stat): 15279 (java) R 15278 3132 3131 0 -1 0 18087 0 1 0 119165 80 0 0 17 0 11 0 764882179 855683072 58616 4294967295 134512640 134569956 3221224368 3221214728 1131373144 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208907 58616 13086 16 0 208891 0
vsize: 835628
[startup+1290.36 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 15289
Raw data (stat): 15279 (java) R 15278 3132 3131 0 -1 0 18087 0 1 0 120131 81 0 0 21 0 11 0 764882179 855683072 58748 4294967295 134512640 134569956 3221224368 3221214304 1131230147 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208907 58748 13086 16 0 208891 0
vsize: 835628
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1290.52 s]
Raw data (loadavg): 1.00 1.00 0.99 1/54 15291
Raw data (stat): 15279 (java) Z 15278 3132 3131 0 -1 1036 18087 39967 1 0 120135 81 8625 81 21 0 1 0 764882179 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): 1290.52
CPU time (s): 1289.24
CPU user time (s): 1287.61
CPU system time (s): 1.63175
CPU usage (%): 99.9011
Max. virtual memory (Kb): 836652
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####