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.ex.br.mem.RobRegValid_bar.ucl.opb
MD5SUM	89f41bbcf2b70665bd7071c5b58e0ec8
Bench Category	no optimization function (SAT)
Has Objective Function	NO
Satisfiable	NO
(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	129
Number of bits of the biggest number in a constraint	8
Biggest sum of numbers in a constraint	510
Number of bits of the biggest sum of numbers	9
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	95.1845
Number of variables	49621
Total number of constraints	138346
Number of constraints which are clauses	127390
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	10956
Minimum length of a constraint	1
Maximum length of a constraint	15
Trace number 29313

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc26 THE 2005-05-25 06:20:04 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=20711 boxname=wulflinc26 idbench=301 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  89f41bbcf2b70665bd7071c5b58e0ec8  /oldhome/oroussel/tmp/wulflinc26/normalized-ooo.ex.br.mem.RobRegValid_bar.ucl.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc26/normalized-ooo.ex.br.mem.RobRegValid_bar.ucl.opb
IDLAUNCH: 20711
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.061
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.061
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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        401588 kB
Buffers:         35848 kB
Cached:         573388 kB
SwapCached:        656 kB
Active:         140668 kB
Inactive:       471196 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        401336 kB
SwapTotal:     2097892 kB
SwapFree:      2096880 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6032 kB
Slab:            15596 kB
Committed_AS:    63732 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 06:42:47 (client local time) WITH STATUS 143 IN 1368.58 SECONDS
stats: 20711 7 1368.58 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/wulflinc26/normalized-ooo.ex.br.mem.RobRegValid_bar.ucl.opb
c reading problem ... done. Time 736.73 ms.
c #vars     49621
c #constraints  138346
c starts	: 9
c conflicts	: 6967
c decisions	: 85091
c propagations	: 5598711
c inspects	: 18446538
c learned literals	: 0
c learned binary clauses	: 102
c learned ternary clauses	: 59
c learned clauses	: 6966
c root simplifications	: 16
s UNKNOWN
c Total CPU time (ms) : 1359.176
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 1.01 1.01 1.00 2/54 1111
Raw data (stat): 1111 (runsolver) R 1110 20687 20686 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 836676565 1052672 99 4294967295 134512640 135381576 3221224384 3221219604 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.001 s]
Raw data (loadavg): 1.09 1.03 1.00 2/63 1120
Raw data (stat): 1111 (java) R 1110 20687 20686 0 -1 0 18037 0 1 0 783 38 0 0 25 0 10 0 836676565 854167552 20869 4294967295 134512640 134569956 3221224352 3221214232 1130887239 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208537 20869 13086 16 0 208521 0
vsize: 834148
[startup+20.002 s]
Raw data (loadavg): 1.08 1.03 1.00 2/63 1120
Raw data (stat): 1111 (java) R 1110 20687 20686 0 -1 0 18037 0 1 0 1626 39 0 0 25 0 10 0 836676565 854167552 21857 4294967295 134512640 134569956 3221224352 3221214256 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208537 21857 13086 16 0 208521 0
vsize: 834148
[startup+30.0017 s]
Raw data (loadavg): 1.06 1.03 1.00 2/63 1120
Raw data (stat): 1111 (java) R 1110 20687 20686 0 -1 0 18037 0 1 0 2471 39 0 0 25 0 10 0 836676565 854167552 22547 4294967295 134512640 134569956 3221224352 3221214256 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208537 22547 13086 16 0 208521 0
vsize: 834148
[startup+40.0023 s]
Raw data (loadavg): 1.05 1.02 1.00 2/63 1120
Raw data (stat): 1111 (java) S 1110 20687 20686 0 -1 0 18037 0 1 0 3318 39 0 0 25 0 10 0 836676565 854167552 23123 4294967295 134512640 134569956 3221224352 3221213616 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208537 23125 13086 16 0 208521 0
vsize: 834148
[startup+50.0037 s]
Raw data (loadavg): 1.05 1.02 1.00 2/63 1120
Raw data (stat): 1111 (java) R 1110 20687 20686 0 -1 0 18037 0 1 0 4158 40 0 0 25 0 10 0 836676565 854167552 23593 4294967295 134512640 134569956 3221224352 3221214596 1130917752 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208537 23593 13086 16 0 208521 0
vsize: 834148
[startup+60.0038 s]
Raw data (loadavg): 1.04 1.02 1.00 2/63 1120
Raw data (stat): 1111 (java) R 1110 20687 20686 0 -1 0 18037 0 1 0 4989 40 0 0 25 0 10 0 836676565 854167552 24162 4294967295 134512640 134569956 3221224352 3221214668 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208537 24162 13086 16 0 208521 0
vsize: 834148
[startup+70.0045 s]
Raw data (loadavg): 1.03 1.02 1.00 2/63 1120
Raw data (stat): 1111 (java) R 1110 20687 20686 0 -1 0 18037 0 1 0 5827 41 0 0 25 0 10 0 836676565 854167552 24594 4294967295 134512640 134569956 3221224352 3221214680 1131342270 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208537 24594 13086 16 0 208521 0
vsize: 834148
[startup+80.0051 s]
Raw data (loadavg): 1.03 1.02 1.00 2/63 1120
Raw data (stat): 1111 (java) R 1110 20687 20686 0 -1 0 18037 0 1 0 6663 41 0 0 25 0 10 0 836676565 854167552 25017 4294967295 134512640 134569956 3221224352 3221214572 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208537 25017 13086 16 0 208521 0
vsize: 834148
[startup+90.0048 s]
Raw data (loadavg): 1.02 1.02 1.00 2/63 1120
Raw data (stat): 1111 (java) S 1110 20687 20686 0 -1 0 18037 0 1 0 7501 41 0 0 25 0 10 0 836676565 854167552 25364 4294967295 134512640 134569956 3221224352 3221213368 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208537 25364 13086 16 0 208521 0
vsize: 834148
[startup+100.004 s]
Raw data (loadavg): 1.02 1.02 1.00 2/63 1120
Raw data (stat): 1111 (java) R 1110 20687 20686 0 -1 0 18037 0 1 0 8340 42 0 0 25 0 10 0 836676565 854167552 25727 4294967295 134512640 134569956 3221224352 3221214144 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208537 25727 13086 16 0 208521 0
vsize: 834148
[startup+110.006 s]
Raw data (loadavg): 1.02 1.02 1.00 2/63 1120
Raw data (stat): 1111 (java) S 1110 20687 20686 0 -1 0 18037 0 1 0 9182 42 0 0 25 0 10 0 836676565 854167552 26062 4294967295 134512640 134569956 3221224352 3221213384 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208537 26062 13086 16 0 208521 0
vsize: 834148
[startup+120.006 s]
Raw data (loadavg): 1.01 1.02 1.00 2/63 1120
Raw data (stat): 1111 (java) R 1110 20687 20686 0 -1 0 18037 0 1 0 10028 42 0 0 25 0 10 0 836676565 854167552 26400 4294967295 134512640 134569956 3221224352 3221214572 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208537 26400 13086 16 0 208521 0
vsize: 834148
[startup+130.007 s]
Raw data (loadavg): 1.01 1.02 1.00 2/63 1120
Raw data (stat): 1111 (java) R 1110 20687 20686 0 -1 0 18037 0 1 0 10870 43 0 0 25 0 10 0 836676565 854167552 26781 4294967295 134512640 134569956 3221224352 3221214144 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208537 26781 13086 16 0 208521 0
vsize: 834148
[startup+140.006 s]
Raw data (loadavg): 1.01 1.02 1.00 2/63 1120
Raw data (stat): 1111 (java) R 1110 20687 20686 0 -1 0 18037 0 1 0 11726 43 0 0 25 0 10 0 836676565 854167552 27028 4294967295 134512640 134569956 3221224352 3221214572 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208537 27028 13086 16 0 208521 0
vsize: 834148
[startup+150.007 s]
Raw data (loadavg): 1.01 1.01 1.00 2/63 1120
Raw data (stat): 1111 (java) R 1110 20687 20686 0 -1 0 18037 0 1 0 12576 44 0 0 25 0 10 0 836676565 854167552 27418 4294967295 134512640 134569956 3221224352 3221214128 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208537 27418 13086 16 0 208521 0
vsize: 834148
[startup+160.007 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 1120
Raw data (stat): 1111 (java) R 1110 20687 20686 0 -1 0 18037 0 1 0 13438 44 0 0 25 0 10 0 836676565 854167552 27695 4294967295 134512640 134569956 3221224352 3221214572 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208537 27695 13086 16 0 208521 0
vsize: 834148
[startup+170.008 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 1120
Raw data (stat): 1111 (java) R 1110 20687 20686 0 -1 0 18037 0 1 0 14300 45 0 0 25 0 10 0 836676565 854167552 27955 4294967295 134512640 134569956 3221224352 3221214144 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208537 27955 13086 16 0 208521 0
vsize: 834148
[startup+180.008 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 1120
Raw data (stat): 1111 (java) R 1110 20687 20686 0 -1 0 18037 0 1 0 15161 45 0 0 25 0 10 0 836676565 854167552 28233 4294967295 134512640 134569956 3221224352 3221214144 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208537 28233 13086 16 0 208521 0
vsize: 834148
[startup+190.008 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 1120
Raw data (stat): 1111 (java) R 1110 20687 20686 0 -1 0 18037 0 1 0 16025 46 0 0 25 0 10 0 836676565 854167552 28493 4294967295 134512640 134569956 3221224352 3221214572 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208537 28493 13086 16 0 208521 0
vsize: 834148
[startup+200.007 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 1120
Raw data (stat): 1111 (java) R 1110 20687 20686 0 -1 0 18037 0 1 0 16882 46 0 0 25 0 10 0 836676565 854167552 28790 4294967295 134512640 134569956 3221224352 3221214144 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208537 28790 13086 16 0 208521 0
vsize: 834148
[startup+210.007 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 1120
Raw data (stat): 1111 (java) R 1110 20687 20686 0 -1 0 18037 0 1 0 17743 46 0 0 25 0 10 0 836676565 854167552 29045 4294967295 134512640 134569956 3221224352 3221214668 1080203551 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208537 29045 13086 16 0 208521 0
vsize: 834148
[startup+220.012 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 1120
Raw data (stat): 1111 (java) R 1110 20687 20686 0 -1 0 18037 0 1 0 18609 47 0 0 25 0 10 0 836676565 854167552 29402 4294967295 134512640 134569956 3221224352 3221214668 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208537 29402 13086 16 0 208521 0
vsize: 834148
[startup+230.012 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 1120
Raw data (stat): 1111 (java) R 1110 20687 20686 0 -1 0 18037 0 1 0 19479 47 0 0 25 0 10 0 836676565 854167552 29644 4294967295 134512640 134569956 3221224352 3221214128 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208537 29644 13086 16 0 208521 0
vsize: 834148
[startup+240.011 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 1120
Raw data (stat): 1111 (java) R 1110 20687 20686 0 -1 0 18037 0 1 0 20349 47 0 0 25 0 10 0 836676565 854167552 29869 4294967295 134512640 134569956 3221224352 3221214668 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208537 29869 13086 16 0 208521 0
vsize: 834148
[startup+250.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1120
Raw data (stat): 1111 (java) R 1110 20687 20686 0 -1 0 18037 0 1 0 21219 48 0 0 25 0 10 0 836676565 854167552 30090 4294967295 134512640 134569956 3221224352 3221214668 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208537 30090 13086 16 0 208521 0
vsize: 834148
[startup+260.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1120
Raw data (stat): 1111 (java) R 1110 20687 20686 0 -1 0 18037 0 1 0 22082 49 0 0 24 0 10 0 836676565 854167552 30332 4294967295 134512640 134569956 3221224352 3221214668 1080203551 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208537 30332 13086 16 0 208521 0
vsize: 834148
[startup+270.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1120
Raw data (stat): 1111 (java) R 1110 20687 20686 0 -1 0 18037 0 1 0 22956 49 0 0 25 0 10 0 836676565 854167552 30543 4294967295 134512640 134569956 3221224352 3221214128 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208537 30543 13086 16 0 208521 0
vsize: 834148
[startup+280.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1120
Raw data (stat): 1111 (java) R 1110 20687 20686 0 -1 0 18037 0 1 0 23832 49 0 0 25 0 10 0 836676565 854167552 30752 4294967295 134512640 134569956 3221224352 3221214668 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208537 30752 13086 16 0 208521 0
vsize: 834148
[startup+290.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1120
Raw data (stat): 1111 (java) S 1110 20687 20686 0 -1 0 18037 0 1 0 24703 49 0 0 25 0 10 0 836676565 854167552 30960 4294967295 134512640 134569956 3221224352 3221213384 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208537 30960 13086 16 0 208521 0
vsize: 834148
[startup+300.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1120
Raw data (stat): 1111 (java) R 1110 20687 20686 0 -1 0 18037 0 1 0 25577 49 0 0 25 0 10 0 836676565 854167552 31158 4294967295 134512640 134569956 3221224352 3221214144 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208537 31158 13086 16 0 208521 0
vsize: 834148
[startup+310.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1120
Raw data (stat): 1111 (java) R 1110 20687 20686 0 -1 0 18037 0 1 0 26452 49 0 0 25 0 10 0 836676565 854167552 31360 4294967295 134512640 134569956 3221224352 3221214128 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208537 31360 13086 16 0 208521 0
vsize: 834148
[startup+320.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1120
Raw data (stat): 1111 (java) R 1110 20687 20686 0 -1 0 18037 0 1 0 27319 49 0 0 24 0 10 0 836676565 854167552 31564 4294967295 134512640 134569956 3221224352 3221214572 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208537 31564 13086 16 0 208521 0
vsize: 834148
[startup+330.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1120
Raw data (stat): 1111 (java) R 1110 20687 20686 0 -1 0 18037 0 1 0 28195 49 0 0 17 0 10 0 836676565 854167552 31758 4294967295 134512640 134569956 3221224352 3221214144 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208537 31758 13086 16 0 208521 0
vsize: 834148
[startup+340.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1120
Raw data (stat): 1111 (java) R 1110 20687 20686 0 -1 0 18037 0 1 0 29073 50 0 0 20 0 10 0 836676565 854167552 31952 4294967295 134512640 134569956 3221224352 3221214128 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208537 31952 13086 16 0 208521 0
vsize: 834148
[startup+350.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1120
Raw data (stat): 1111 (java) R 1110 20687 20686 0 -1 0 18037 0 1 0 29945 50 0 0 17 0 10 0 836676565 854167552 32148 4294967295 134512640 134569956 3221224352 3221214144 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208537 32148 13086 16 0 208521 0
vsize: 834148
[startup+360.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1120
Raw data (stat): 1111 (java) R 1110 20687 20686 0 -1 0 18037 0 1 0 30827 50 0 0 20 0 10 0 836676565 854167552 32330 4294967295 134512640 134569956 3221224352 3221214144 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208537 32330 13086 16 0 208521 0
vsize: 834148
[startup+370.02 s]
Raw data (loadavg): 1.08 1.02 1.01 2/63 1120
Raw data (stat): 1111 (java) R 1110 20687 20686 0 -1 0 18037 0 1 0 31702 50 0 0 17 0 10 0 836676565 854167552 32515 4294967295 134512640 134569956 3221224352 3221214572 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208537 32515 13086 16 0 208521 0
vsize: 834148
[startup+380.02 s]
Raw data (loadavg): 1.07 1.02 1.00 2/63 1120
Raw data (stat): 1111 (java) R 1110 20687 20686 0 -1 0 18037 0 1 0 32584 50 0 0 19 0 10 0 836676565 854167552 32676 4294967295 134512640 134569956 3221224352 3221214572 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208537 32676 13086 16 0 208521 0
vsize: 834148
[startup+390.019 s]
Raw data (loadavg): 1.06 1.01 1.00 2/63 1120
Raw data (stat): 1111 (java) R 1110 20687 20686 0 -1 0 18037 0 1 0 33459 51 0 0 17 0 10 0 836676565 854167552 32864 4294967295 134512640 134569956 3221224352 3221214572 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208537 32864 13086 16 0 208521 0
vsize: 834148
[startup+400.02 s]
Raw data (loadavg): 1.05 1.01 1.00 2/63 1120
Raw data (stat): 1111 (java) R 1110 20687 20686 0 -1 0 18037 0 1 0 34343 51 0 0 19 0 10 0 836676565 854167552 33030 4294967295 134512640 134569956 3221224352 3221214128 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208537 33030 13086 16 0 208521 0
vsize: 834148
[startup+410.023 s]
Raw data (loadavg): 1.04 1.01 1.00 2/63 1120
Raw data (stat): 1111 (java) S 1110 20687 20686 0 -1 0 18037 0 1 0 35222 51 0 0 22 0 10 0 836676565 854167552 33189 4294967295 134512640 134569956 3221224352 3221213384 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208537 33189 13086 16 0 208521 0
vsize: 834148
[startup+420.024 s]
Raw data (loadavg): 1.03 1.01 1.00 2/63 1120
Raw data (stat): 1111 (java) R 1110 20687 20686 0 -1 0 18037 0 1 0 36105 51 0 0 19 0 10 0 836676565 854167552 33368 4294967295 134512640 134569956 3221224352 3221214144 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208537 33368 13086 16 0 208521 0
vsize: 834148
[startup+430.028 s]
Raw data (loadavg): 1.03 1.01 1.00 2/63 1120
Raw data (stat): 1111 (java) S 1110 20687 20686 0 -1 0 18037 0 1 0 36988 51 0 0 22 0 10 0 836676565 854167552 33516 4294967295 134512640 134569956 3221224352 3221213368 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208537 33516 13086 16 0 208521 0
vsize: 834148
[startup+440.028 s]
Raw data (loadavg): 1.02 1.01 1.00 2/63 1120
Raw data (stat): 1111 (java) R 1110 20687 20686 0 -1 0 18037 0 1 0 37852 51 0 0 17 0 10 0 836676565 854167552 33757 4294967295 134512640 134569956 3221224352 3221214096 1076461015 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208537 33757 13086 16 0 208521 0
vsize: 834148
[startup+450.027 s]
Raw data (loadavg): 1.02 1.01 1.00 2/63 1120
Raw data (stat): 1111 (java) R 1110 20687 20686 0 -1 0 18037 0 1 0 38723 51 0 0 18 0 10 0 836676565 854167552 34116 4294967295 134512640 134569956 3221224352 3221214128 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208537 34116 13086 16 0 208521 0
vsize: 834148
[startup+460.027 s]
Raw data (loadavg): 1.02 1.01 1.00 2/63 1120
Raw data (stat): 1111 (java) S 1110 20687 20686 0 -1 0 18037 0 1 0 39607 51 0 0 22 0 10 0 836676565 854167552 34212 4294967295 134512640 134569956 3221224352 3221213384 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208537 34212 13086 16 0 208521 0
vsize: 834148
[startup+470.032 s]
Raw data (loadavg): 1.01 1.01 1.00 2/63 1120
Raw data (stat): 1111 (java) R 1110 20687 20686 0 -1 0 18037 0 1 0 40483 51 0 0 17 0 10 0 836676565 854167552 34380 4294967295 134512640 134569956 3221224352 3221214572 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208537 34380 13086 16 0 208521 0
vsize: 834148
[startup+480.032 s]
Raw data (loadavg): 1.01 1.01 1.00 2/63 1120
Raw data (stat): 1111 (java) R 1110 20687 20686 0 -1 0 18037 0 1 0 41366 51 0 0 21 0 10 0 836676565 854167552 34544 4294967295 134512640 134569956 3221224352 3221214144 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208537 34544 13086 16 0 208521 0
vsize: 834148
[startup+490.031 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 1120
Raw data (stat): 1111 (java) R 1110 20687 20686 0 -1 0 18037 0 1 0 42243 52 0 0 18 0 10 0 836676565 854167552 34719 4294967295 134512640 134569956 3221224352 3221214668 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208537 34719 13086 16 0 208521 0
vsize: 834148
[startup+500.032 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 1120
Raw data (stat): 1111 (java) R 1110 20687 20686 0 -1 0 18037 0 1 0 43128 52 0 0 22 0 10 0 836676565 854167552 34861 4294967295 134512640 134569956 3221224352 3221214144 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208537 34861 13086 16 0 208521 0
vsize: 834148
[startup+510.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1120
Raw data (stat): 1111 (java) R 1110 20687 20686 0 -1 0 18037 0 1 0 44003 52 0 0 17 0 10 0 836676565 854167552 35024 4294967295 134512640 134569956 3221224352 3221214572 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208537 35024 13086 16 0 208521 0
vsize: 834148
[startup+520.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1120
Raw data (stat): 1111 (java) R 1110 20687 20686 0 -1 0 18037 0 1 0 44885 52 0 0 20 0 10 0 836676565 854167552 35171 4294967295 134512640 134569956 3221224352 3221214144 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208537 35171 13086 16 0 208521 0
vsize: 834148
[startup+530.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1120
Raw data (stat): 1111 (java) R 1110 20687 20686 0 -1 0 18037 0 1 0 45767 52 0 0 22 0 10 0 836676565 854167552 35324 4294967295 134512640 134569956 3221224352 3221214144 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208537 35324 13086 16 0 208521 0
vsize: 834148
[startup+540.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1120
Raw data (stat): 1111 (java) R 1110 20687 20686 0 -1 0 18037 0 1 0 46641 52 0 0 17 0 10 0 836676565 854167552 35485 4294967295 134512640 134569956 3221224352 3221214144 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208537 35485 13086 16 0 208521 0
vsize: 834148
[startup+550.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1120
Raw data (stat): 1111 (java) R 1110 20687 20686 0 -1 0 18037 0 1 0 47525 53 0 0 20 0 10 0 836676565 854167552 35633 4294967295 134512640 134569956 3221224352 3221214144 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208537 35633 13086 16 0 208521 0
vsize: 834148
[startup+560.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1120
Raw data (stat): 1111 (java) R 1110 20687 20686 0 -1 0 18037 0 1 0 48403 53 0 0 17 0 10 0 836676565 854167552 35786 4294967295 134512640 134569956 3221224352 3221214144 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208537 35786 13086 16 0 208521 0
vsize: 834148
[startup+570.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1120
Raw data (stat): 1111 (java) R 1110 20687 20686 0 -1 0 18037 0 1 0 49288 53 0 0 19 0 10 0 836676565 854167552 35921 4294967295 134512640 134569956 3221224352 3221214572 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208537 35921 13086 16 0 208521 0
vsize: 834148
[startup+580.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1120
Raw data (stat): 1111 (java) R 1110 20687 20686 0 -1 0 18037 0 1 0 50170 53 0 0 21 0 10 0 836676565 854167552 36062 4294967295 134512640 134569956 3221224352 3221214676 1080204166 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208537 36062 13086 16 0 208521 0
vsize: 834148
[startup+590.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1120
Raw data (stat): 1111 (java) R 1110 20687 20686 0 -1 0 18037 0 1 0 51046 53 0 0 17 0 10 0 836676565 854167552 36214 4294967295 134512640 134569956 3221224352 3221214572 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208537 36214 13086 16 0 208521 0
vsize: 834148
[startup+600.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1120
Raw data (stat): 1111 (java) R 1110 20687 20686 0 -1 0 18037 0 1 0 51929 53 0 0 20 0 10 0 836676565 854167552 36355 4294967295 134512640 134569956 3221224352 3221214676 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208537 36355 13086 16 0 208521 0
vsize: 834148
[startup+610.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1120
Raw data (stat): 1111 (java) R 1110 20687 20686 0 -1 0 18037 0 1 0 52802 53 0 0 17 0 10 0 836676565 854167552 36507 4294967295 134512640 134569956 3221224352 3221214144 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208537 36507 13086 16 0 208521 0
vsize: 834148
[startup+620.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1120
Raw data (stat): 1111 (java) R 1110 20687 20686 0 -1 0 18037 0 1 0 53682 53 0 0 19 0 10 0 836676565 854167552 36646 4294967295 134512640 134569956 3221224352 3221214572 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208537 36646 13086 16 0 208521 0
vsize: 834148
[startup+630.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1120
Raw data (stat): 1111 (java) R 1110 20687 20686 0 -1 0 18037 0 1 0 54568 53 0 0 21 0 10 0 836676565 854167552 36783 4294967295 134512640 134569956 3221224352 3221214128 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208537 36783 13086 16 0 208521 0
vsize: 834148
[startup+640.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1120
Raw data (stat): 1111 (java) R 1110 20687 20686 0 -1 0 18037 0 1 0 55448 54 0 0 18 0 10 0 836676565 854167552 36925 4294967295 134512640 134569956 3221224352 3221214668 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208537 36925 13086 16 0 208521 0
vsize: 834148
[startup+650.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1120
Raw data (stat): 1111 (java) R 1110 20687 20686 0 -1 0 18037 0 1 0 56335 54 0 0 22 0 10 0 836676565 854167552 37050 4294967295 134512640 134569956 3221224352 3221214572 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208537 37050 13086 16 0 208521 0
vsize: 834148
[startup+660.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1120
Raw data (stat): 1111 (java) R 1110 20687 20686 0 -1 0 18037 0 1 0 57212 54 0 0 18 0 10 0 836676565 854167552 37175 4294967295 134512640 134569956 3221224352 3221214676 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208537 37175 13086 16 0 208521 0
vsize: 834148
[startup+670.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1120
Raw data (stat): 1111 (java) R 1110 20687 20686 0 -1 0 18037 0 1 0 58095 54 0 0 20 0 10 0 836676565 854167552 37308 4294967295 134512640 134569956 3221224352 3221214576 1131305049 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208537 37308 13086 16 0 208521 0
vsize: 834148
[startup+680.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1120
Raw data (stat): 1111 (java) R 1110 20687 20686 0 -1 0 18037 0 1 0 58978 54 0 0 17 0 10 0 836676565 854167552 37454 4294967295 134512640 134569956 3221224352 3221214144 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208537 37454 13086 16 0 208521 0
vsize: 834148
[startup+690.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1120
Raw data (stat): 1111 (java) R 1110 20687 20686 0 -1 0 18037 0 1 0 59870 54 0 0 21 0 10 0 836676565 854167552 37570 4294967295 134512640 134569956 3221224352 3221214668 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208537 37570 13086 16 0 208521 0
vsize: 834148
[startup+700.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1120
Raw data (stat): 1111 (java) R 1110 20687 20686 0 -1 0 18037 0 1 0 60756 55 0 0 19 0 10 0 836676565 854167552 37685 4294967295 134512640 134569956 3221224352 3221214752 1131277178 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208537 37685 13086 16 0 208521 0
vsize: 834148
[startup+710.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1120
Raw data (stat): 1111 (java) R 1110 20687 20686 0 -1 0 18037 0 1 0 61645 55 0 0 20 0 10 0 836676565 854167552 37796 4294967295 134512640 134569956 3221224352 3221214696 1131142527 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208537 37796 13086 16 0 208521 0
vsize: 834148
[startup+720.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1120
Raw data (stat): 1111 (java) R 1110 20687 20686 0 -1 0 18037 0 1 0 62514 55 0 0 19 0 10 0 836676565 854167552 38339 4294967295 134512640 134569956 3221224352 3221214676 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208537 38339 13086 16 0 208521 0
vsize: 834148
[startup+730.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1120
Raw data (stat): 1111 (java) R 1110 20687 20686 0 -1 0 18037 0 1 0 63374 55 0 0 15 0 10 0 836676565 854167552 40376 4294967295 134512640 134569956 3221224352 3221214640 1131044787 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208537 40376 13086 16 0 208521 0
vsize: 834148
[startup+740.057 s]
Raw data (loadavg): 1.00 1.00 1.00 3/64 1121
Raw data (stat): 1111 (java) R 1110 20687 20686 0 -1 0 18075 0 1 0 64249 57 0 0 25 0 11 0 836676565 855359488 41565 4294967295 134512640 134569956 3221224352 3221214804 1130885207 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208828 41565 13086 16 0 208812 0
vsize: 835312
[startup+750.078 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1121
Raw data (stat): 1111 (java) S 1110 20687 20686 0 -1 0 18078 0 1 0 65025 57 0 0 25 0 11 0 836676565 855212032 46218 4294967295 134512640 134569956 3221224352 3221213408 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208792 46219 13086 16 0 208776 0
vsize: 835168
[startup+760.078 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1121
Raw data (stat): 1111 (java) R 1110 20687 20686 0 -1 0 18079 0 1 0 65902 57 0 0 25 0 11 0 836676565 856395776 46796 4294967295 134512640 134569956 3221224352 3221214504 1079721761 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209081 46796 13086 16 0 209065 0
vsize: 836324
[startup+770.079 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1121
Raw data (stat): 1111 (java) R 1110 20687 20686 0 -1 0 18079 0 1 0 66753 57 0 0 24 0 11 0 836676565 855212032 47791 4294967295 134512640 134569956 3221224352 3221214656 1131246723 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208792 47791 13086 16 0 208776 0
vsize: 835168
[startup+780.079 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1121
Raw data (stat): 1111 (java) R 1110 20687 20686 0 -1 0 18079 0 1 0 67598 58 0 0 25 0 11 0 836676565 855212032 48709 4294967295 134512640 134569956 3221224352 3221214752 1131406543 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208792 48709 13086 16 0 208776 0
vsize: 835168
[startup+790.079 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1121
Raw data (stat): 1111 (java) S 1110 20687 20686 0 -1 0 18079 0 1 0 68444 58 0 0 25 0 11 0 836676565 855212032 50023 4294967295 134512640 134569956 3221224352 3221213400 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208792 50023 13086 16 0 208776 0
vsize: 835168
[startup+800.079 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1121
Raw data (stat): 1111 (java) S 1110 20687 20686 0 -1 0 18079 0 1 0 69303 58 0 0 25 0 11 0 836676565 855212032 51158 4294967295 134512640 134569956 3221224352 3221213424 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208792 51158 13086 16 0 208776 0
vsize: 835168
[startup+810.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1121
Raw data (stat): 1111 (java) R 1110 20687 20686 0 -1 0 18079 0 1 0 70217 59 0 0 25 0 11 0 836676565 855212032 51158 4294967295 134512640 134569956 3221224352 3221214656 1131246177 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208792 51158 13086 16 0 208776 0
vsize: 835168
[startup+820.081 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1121
Raw data (stat): 1111 (java) S 1110 20687 20686 0 -1 0 18079 0 1 0 71073 59 0 0 25 0 11 0 836676565 855212032 52699 4294967295 134512640 134569956 3221224352 3221213400 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208792 52700 13086 16 0 208776 0
vsize: 835168
[startup+830.081 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1121
Raw data (stat): 1111 (java) S 1110 20687 20686 0 -1 0 18079 0 1 0 71949 59 0 0 25 0 11 0 836676565 855212032 53372 4294967295 134512640 134569956 3221224352 3221213360 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208792 53372 13086 16 0 208776 0
vsize: 835168
[startup+840.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1121
Raw data (stat): 1111 (java) R 1110 20687 20686 0 -1 0 18079 0 1 0 72858 60 0 0 25 0 11 0 836676565 855212032 53518 4294967295 134512640 134569956 3221224352 3221214780 1131284547 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208792 53518 13086 16 0 208776 0
vsize: 835168
[startup+850.081 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1121
Raw data (stat): 1111 (java) R 1110 20687 20686 0 -1 0 18079 0 1 0 73758 60 0 0 24 0 11 0 836676565 855212032 53786 4294967295 134512640 134569956 3221224352 3221214752 1131433586 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208792 53786 13086 16 0 208776 0
vsize: 835168
[startup+860.081 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1121
Raw data (stat): 1111 (java) R 1110 20687 20686 0 -1 0 18079 0 1 0 74682 60 0 0 25 0 11 0 836676565 855212032 53786 4294967295 134512640 134569956 3221224352 3221214752 1131406543 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208792 53786 13086 16 0 208776 0
vsize: 835168
[startup+870.081 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1121
Raw data (stat): 1111 (java) R 1110 20687 20686 0 -1 0 18079 0 1 0 75604 60 0 0 25 0 11 0 836676565 855212032 53786 4294967295 134512640 134569956 3221224352 3221214800 1131355077 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208792 53786 13086 16 0 208776 0
vsize: 835168
[startup+880.082 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1121
Raw data (stat): 1111 (java) R 1110 20687 20686 0 -1 0 18079 0 1 0 76506 60 0 0 25 0 11 0 836676565 855212032 53786 4294967295 134512640 134569956 3221224352 3221214724 1130885154 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208792 53786 13086 16 0 208776 0
vsize: 835168
[startup+890.082 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1121
Raw data (stat): 1111 (java) R 1110 20687 20686 0 -1 0 18079 0 1 0 77426 60 0 0 25 0 11 0 836676565 855212032 53786 4294967295 134512640 134569956 3221224352 3221214296 1078829708 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208792 53786 13086 16 0 208776 0
vsize: 835168
[startup+900.082 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1121
Raw data (stat): 1111 (java) R 1110 20687 20686 0 -1 0 18079 0 1 0 78346 61 0 0 25 0 11 0 836676565 855212032 53786 4294967295 134512640 134569956 3221224352 3221214656 1131247142 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208792 53786 13086 16 0 208776 0
vsize: 835168
[startup+910.082 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1121
Raw data (stat): 1111 (java) R 1110 20687 20686 0 -1 0 18079 0 1 0 79248 61 0 0 25 0 11 0 836676565 855212032 54011 4294967295 134512640 134569956 3221224352 3221214680 1131246569 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208792 54011 13086 16 0 208776 0
vsize: 835168
[startup+920.083 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1121
Raw data (stat): 1111 (java) R 1110 20687 20686 0 -1 0 18079 0 1 0 80179 61 0 0 25 0 11 0 836676565 855212032 54029 4294967295 134512640 134569956 3221224352 3221214752 1131433598 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208792 54029 13086 16 0 208776 0
vsize: 835168
[startup+930.082 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1121
Raw data (stat): 1111 (java) R 1110 20687 20686 0 -1 0 18079 0 1 0 81060 61 0 0 25 0 11 0 836676565 855212032 54625 4294967295 134512640 134569956 3221224352 3221214592 1131185332 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208792 54625 13086 16 0 208776 0
vsize: 835168
[startup+940.082 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1121
Raw data (stat): 1111 (java) R 1110 20687 20686 0 -1 0 18079 0 1 0 81972 61 0 0 25 0 11 0 836676565 855212032 54625 4294967295 134512640 134569956 3221224352 3221214752 1131407988 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208792 54625 13086 16 0 208776 0
vsize: 835168
[startup+950.083 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1121
Raw data (stat): 1111 (java) R 1110 20687 20686 0 -1 0 18079 0 1 0 82896 61 0 0 25 0 11 0 836676565 855212032 54625 4294967295 134512640 134569956 3221224352 3221214752 1131408216 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208792 54625 13086 16 0 208776 0
vsize: 835168
[startup+960.083 s]
Raw data (loadavg): 1.07 1.02 1.00 2/64 1121
Raw data (stat): 1111 (java) S 1110 20687 20686 0 -1 0 18079 0 1 0 83806 62 0 0 25 0 11 0 836676565 855212032 54626 4294967295 134512640 134569956 3221224352 3221213360 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208792 54626 13086 16 0 208776 0
vsize: 835168
[startup+970.084 s]
Raw data (loadavg): 1.06 1.02 1.00 2/64 1121
Raw data (stat): 1111 (java) R 1110 20687 20686 0 -1 0 18079 0 1 0 84734 62 0 0 25 0 11 0 836676565 855212032 54626 4294967295 134512640 134569956 3221224352 3221214752 1131407832 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208792 54626 13086 16 0 208776 0
vsize: 835168
[startup+980.084 s]
Raw data (loadavg): 1.05 1.01 1.00 2/64 1121
Raw data (stat): 1111 (java) R 1110 20687 20686 0 -1 0 18079 0 1 0 85657 62 0 0 25 0 11 0 836676565 855212032 54837 4294967295 134512640 134569956 3221224352 3221214752 1131433622 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208792 54837 13086 16 0 208776 0
vsize: 835168
[startup+990.083 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 1121
Raw data (stat): 1111 (java) R 1110 20687 20686 0 -1 0 18079 0 1 0 86584 63 0 0 25 0 11 0 836676565 855212032 54837 4294967295 134512640 134569956 3221224352 3221214776 1131435299 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208792 54837 13086 16 0 208776 0
vsize: 835168
[startup+1000.08 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 1121
Raw data (stat): 1111 (java) R 1110 20687 20686 0 -1 0 18079 0 1 0 87528 63 0 0 25 0 11 0 836676565 855212032 54888 4294967295 134512640 134569956 3221224352 3221214656 1131246177 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208792 54888 13086 16 0 208776 0
vsize: 835168
[startup+1010.08 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 1121
Raw data (stat): 1111 (java) S 1110 20687 20686 0 -1 0 18080 0 1 0 88469 63 0 0 25 0 11 0 836676565 855212032 54950 4294967295 134512640 134569956 3221224352 3221213296 1073952481 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208792 54950 13086 16 0 208776 0
vsize: 835168
[startup+1020.09 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 1121
Raw data (stat): 1111 (java) R 1110 20687 20686 0 -1 0 18080 0 1 0 89396 64 0 0 25 0 11 0 836676565 855212032 55028 4294967295 134512640 134569956 3221224352 3221214656 1131246565 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208792 55028 13086 16 0 208776 0
vsize: 835168
[startup+1030.09 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 1121
Raw data (stat): 1111 (java) R 1110 20687 20686 0 -1 0 18080 0 1 0 90322 64 0 0 25 0 11 0 836676565 855212032 55119 4294967295 134512640 134569956 3221224352 3221214752 1131433658 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208792 55119 13086 16 0 208776 0
vsize: 835168
[startup+1040.08 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 1121
Raw data (stat): 1111 (java) R 1110 20687 20686 0 -1 0 18080 0 1 0 91240 64 0 0 25 0 11 0 836676565 855212032 55330 4294967295 134512640 134569956 3221224352 3221214752 1131433695 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208792 55330 13086 16 0 208776 0
vsize: 835168
[startup+1050.09 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 1121
Raw data (stat): 1111 (java) R 1110 20687 20686 0 -1 0 18080 0 1 0 92111 64 0 0 25 0 11 0 836676565 855212032 56015 4294967295 134512640 134569956 3221224352 3221214816 1131494039 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208792 56015 13086 16 0 208776 0
vsize: 835168
[startup+1060.09 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 1121
Raw data (stat): 1111 (java) R 1110 20687 20686 0 -1 0 18080 0 1 0 92999 65 0 0 25 0 11 0 836676565 855212032 56898 4294967295 134512640 134569956 3221224352 3221214680 1131237265 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208792 56898 13086 16 0 208776 0
vsize: 835168
[startup+1070.09 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 1121
Raw data (stat): 1111 (java) R 1110 20687 20686 0 -1 0 18080 0 1 0 93919 65 0 0 25 0 11 0 836676565 855212032 56898 4294967295 134512640 134569956 3221224352 3221214656 1131246806 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208792 56898 13086 16 0 208776 0
vsize: 835168
[startup+1080.09 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 1121
Raw data (stat): 1111 (java) S 1110 20687 20686 0 -1 0 18080 0 1 0 94838 67 0 0 25 0 11 0 836676565 855212032 57317 4294967295 134512640 134569956 3221224352 3221213400 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208792 57317 13086 16 0 208776 0
vsize: 835168
[startup+1090.09 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 1121
Raw data (stat): 1111 (java) R 1110 20687 20686 0 -1 0 18080 0 1 0 95751 67 0 0 25 0 11 0 836676565 855212032 57727 4294967295 134512640 134569956 3221224352 3221214680 1131246521 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208792 57727 13086 16 0 208776 0
vsize: 835168
[startup+1100.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1121
Raw data (stat): 1111 (java) R 1110 20687 20686 0 -1 0 18080 0 1 0 96631 68 0 0 25 0 11 0 836676565 855212032 58038 4294967295 134512640 134569956 3221224352 3221214744 1131269884 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208792 58038 13086 16 0 208776 0
vsize: 835168
[startup+1110.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1121
Raw data (stat): 1111 (java) R 1110 20687 20686 0 -1 0 18080 0 1 0 97525 68 0 0 24 0 11 0 836676565 855212032 58237 4294967295 134512640 134569956 3221224352 3221214784 1131376819 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208792 58237 13086 16 0 208776 0
vsize: 835168
[startup+1120.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1121
Raw data (stat): 1111 (java) R 1110 20687 20686 0 -1 0 18080 0 1 0 98442 69 0 0 25 0 11 0 836676565 855212032 58237 4294967295 134512640 134569956 3221224352 3221214784 1131376769 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208792 58237 13086 16 0 208776 0
vsize: 835168
[startup+1130.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1121
Raw data (stat): 1111 (java) R 1110 20687 20686 0 -1 0 18080 0 1 0 99306 69 0 0 25 0 11 0 836676565 855212032 58939 4294967295 134512640 134569956 3221224352 3221214640 1131185335 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208792 58939 13086 16 0 208776 0
vsize: 835168
[startup+1140.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1121
Raw data (stat): 1111 (java) R 1110 20687 20686 0 -1 0 18080 0 1 0 100184 69 0 0 25 0 11 0 836676565 855212032 59118 4294967295 134512640 134569956 3221224352 3221214760 1131421065 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208792 59118 13086 16 0 208776 0
vsize: 835168
[startup+1150.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1121
Raw data (stat): 1111 (java) R 1110 20687 20686 0 -1 0 18080 0 1 0 101099 69 0 0 25 0 11 0 836676565 855212032 59332 4294967295 134512640 134569956 3221224352 3221214600 1131299618 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208792 59332 13086 16 0 208776 0
vsize: 835168
[startup+1160.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1121
Raw data (stat): 1111 (java) R 1110 20687 20686 0 -1 0 18080 0 1 0 102006 70 0 0 25 0 11 0 836676565 855212032 59418 4294967295 134512640 134569956 3221224352 3221214776 1131434951 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208792 59418 13086 16 0 208776 0
vsize: 835168
[startup+1170.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1121
Raw data (stat): 1111 (java) R 1110 20687 20686 0 -1 0 18080 0 1 0 102914 70 0 0 25 0 11 0 836676565 855212032 59516 4294967295 134512640 134569956 3221224352 3221214704 1131465739 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208792 59516 13086 16 0 208776 0
vsize: 835168
[startup+1180.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1121
Raw data (stat): 1111 (java) R 1110 20687 20686 0 -1 0 18080 0 1 0 103820 70 0 0 25 0 11 0 836676565 855212032 59625 4294967295 134512640 134569956 3221224352 3221214780 1131284547 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208792 59625 13086 16 0 208776 0
vsize: 835168
[startup+1190.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1121
Raw data (stat): 1111 (java) R 1110 20687 20686 0 -1 0 18080 0 1 0 104702 70 0 0 25 0 11 0 836676565 855212032 59661 4294967295 134512640 134569956 3221224352 3221214772 1131438436 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208792 59661 13086 16 0 208776 0
vsize: 835168
[startup+1200.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1121
Raw data (stat): 1111 (java) R 1110 20687 20686 0 -1 0 18080 0 1 0 105635 70 0 0 25 0 11 0 836676565 855212032 59755 4294967295 134512640 134569956 3221224352 3221214656 1131246517 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208792 59755 13086 16 0 208776 0
vsize: 835168
[startup+1210.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1121
Raw data (stat): 1111 (java) R 1110 20687 20686 0 -1 0 18080 0 1 0 106550 70 0 0 25 0 11 0 836676565 855212032 59853 4294967295 134512640 134569956 3221224352 3221214744 1131469828 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208792 59853 13086 16 0 208776 0
vsize: 835168
[startup+1220.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1121
Raw data (stat): 1111 (java) R 1110 20687 20686 0 -1 0 18080 0 1 0 107464 71 0 0 25 0 11 0 836676565 855212032 59933 4294967295 134512640 134569956 3221224352 3221214656 1131246565 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208792 59933 13086 16 0 208776 0
vsize: 835168
[startup+1230.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1121
Raw data (stat): 1111 (java) R 1110 20687 20686 0 -1 0 18080 0 1 0 108377 71 0 0 25 0 11 0 836676565 855212032 60185 4294967295 134512640 134569956 3221224352 3221214816 1131494471 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208792 60185 13086 16 0 208776 0
vsize: 835168
[startup+1240.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1121
Raw data (stat): 1111 (java) R 1110 20687 20686 0 -1 0 18080 0 1 0 109292 71 0 0 25 0 11 0 836676565 855212032 60256 4294967295 134512640 134569956 3221224352 3221214752 1131408009 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208792 60256 13086 16 0 208776 0
vsize: 835168
[startup+1250.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1121
Raw data (stat): 1111 (java) S 1110 20687 20686 0 -1 0 18080 0 1 0 110211 71 0 0 25 0 11 0 836676565 855212032 60327 4294967295 134512640 134569956 3221224352 3221213376 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208792 60327 13086 16 0 208776 0
vsize: 835168
[startup+1260.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1121
Raw data (stat): 1111 (java) R 1110 20687 20686 0 -1 0 18080 0 1 0 111142 71 0 0 25 0 11 0 836676565 855212032 60468 4294967295 134512640 134569956 3221224352 3221214656 1131246206 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208792 60468 13086 16 0 208776 0
vsize: 835168
[startup+1270.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1121
Raw data (stat): 1111 (java) R 1110 20687 20686 0 -1 0 18080 0 1 0 112055 71 0 0 25 0 11 0 836676565 855212032 60523 4294967295 134512640 134569956 3221224352 3221214680 1131340011 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208792 60523 13086 16 0 208776 0
vsize: 835168
[startup+1280.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1121
Raw data (stat): 1111 (java) R 1110 20687 20686 0 -1 0 18080 0 1 0 112969 71 0 0 25 0 11 0 836676565 855212032 60638 4294967295 134512640 134569956 3221224352 3221214752 1131433586 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208792 60638 13086 16 0 208776 0
vsize: 835168
[startup+1290.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1121
Raw data (stat): 1111 (java) R 1110 20687 20686 0 -1 0 18080 0 1 0 113885 71 0 0 25 0 11 0 836676565 855212032 60726 4294967295 134512640 134569956 3221224352 3221214568 1131203161 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208792 60726 13086 16 0 208776 0
vsize: 835168
[startup+1300.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1121
Raw data (stat): 1111 (java) R 1110 20687 20686 0 -1 0 18080 0 1 0 114799 71 0 0 25 0 11 0 836676565 855212032 60811 4294967295 134512640 134569956 3221224352 3221214744 1131441486 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208792 60811 13086 16 0 208776 0
vsize: 835168
[startup+1310.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1121
Raw data (stat): 1111 (java) R 1110 20687 20686 0 -1 0 18080 0 1 0 115715 71 0 0 25 0 11 0 836676565 855212032 60931 4294967295 134512640 134569956 3221224352 3221214744 1131441530 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208792 60931 13086 16 0 208776 0
vsize: 835168
[startup+1320.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1121
Raw data (stat): 1111 (java) R 1110 20687 20686 0 -1 0 18080 0 1 0 116629 71 0 0 25 0 11 0 836676565 855212032 61029 4294967295 134512640 134569956 3221224352 3221214744 1131441450 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208792 61029 13086 16 0 208776 0
vsize: 835168
[startup+1330.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1121
Raw data (stat): 1111 (java) R 1110 20687 20686 0 -1 0 18080 0 1 0 117542 71 0 0 25 0 11 0 836676565 855212032 61109 4294967295 134512640 134569956 3221224352 3221214648 1131439591 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208792 61109 13086 16 0 208776 0
vsize: 835168
[startup+1340.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1121
Raw data (stat): 1111 (java) R 1110 20687 20686 0 -1 0 18080 0 1 0 118456 71 0 0 25 0 11 0 836676565 855212032 61209 4294967295 134512640 134569956 3221224352 3221214772 1131441388 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208792 61209 13086 16 0 208776 0
vsize: 835168
[startup+1350.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1121
Raw data (stat): 1111 (java) R 1110 20687 20686 0 -1 0 18080 0 1 0 119372 71 0 0 25 0 11 0 836676565 855212032 61302 4294967295 134512640 134569956 3221224352 3221214752 1131408255 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208792 61302 13086 16 0 208776 0
vsize: 835168
[startup+1360.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1121
Raw data (stat): 1111 (java) R 1110 20687 20686 0 -1 0 18080 0 1 0 120288 71 0 0 25 0 11 0 836676565 855212032 61401 4294967295 134512640 134569956 3221224352 3221214752 1131433658 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208792 61401 13086 16 0 208776 0
vsize: 835168
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1360.26 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 1123
Raw data (stat): 1111 (java) Z 1110 20687 20686 0 -1 1036 18080 44836 1 0 120292 83 16376 105 25 0 1 0 836676565 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): 1360.25
CPU time (s): 1368.58
CPU user time (s): 1366.69
CPU system time (s): 1.88971
CPU usage (%): 100.612
Max. virtual memory (Kb): 836324
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####