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/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-adlittle.opb
MD5SUM	f517bba7737c6a2d32340ac67613cda8
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
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	1640
Biggest coefficient in the objective function	86769664000
Number of bits for the biggest coefficient in the objective function	37
Sum of the numbers in the objective function	3602973954525
Number of bits of the sum of numbers in the objective function	42
Biggest number in a constraint	351272960000
Number of bits of the biggest number in a constraint	39
Biggest sum of numbers in a constraint	5928173491850
Number of bits of the biggest sum of numbers	43
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.212967
Number of variables	1940
Total number of constraints	56
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	56
Minimum length of a constraint	20
Maximum length of a constraint	540
Trace number 29808

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc27 THE 2005-05-25 11:41:09 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=21200 boxname=wulflinc27 idbench=1188 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  f517bba7737c6a2d32340ac67613cda8  /oldhome/oroussel/tmp/wulflinc27/normalized-mps-v2-13-7-adlittle.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc27/normalized-mps-v2-13-7-adlittle.opb
IDLAUNCH: 21200
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.169
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.169
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:        428324 kB
Buffers:         34624 kB
Cached:         549740 kB
SwapCached:        640 kB
Active:          87416 kB
Inactive:       499420 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        428072 kB
SwapTotal:     2097892 kB
SwapFree:      2096760 kB
Dirty:              60 kB
Writeback:           0 kB
Mapped:           5648 kB
Slab:            13716 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 12:02:11 (client local time) WITH STATUS 143 IN 1257.46 SECONDS
stats: 21200 7 1257.46 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/wulflinc27/normalized-mps-v2-13-7-adlittle.opb
c reading problem ... done. Time 3.565 ms.
c #vars     1940
c #constraints  70
c starts	: 7
c conflicts	: 3147
c decisions	: 7531
c propagations	: 27436
c inspects	: 1590988
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 3147
c root simplifications	: 24
s UNKNOWN
c Total CPU time (ms) : 1259.188
#### 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.98 1.00 1.00 2/54 17840
Raw data (stat): 17840 (runsolver) R 17839 3394 3393 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 838591258 1052672 99 4294967295 134512640 135381576 3221224400 3221219620 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0034 s]
Raw data (loadavg): 1.06 1.01 1.00 4/64 17850
Raw data (stat): 17840 (java) R 17839 3394 3393 0 -1 0 18077 0 1 0 742 42 0 0 25 0 11 0 838591258 861757440 21090 4294967295 134512640 134569956 3221224368 3221213700 1073952732 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210390 21090 13086 16 0 210374 0
vsize: 841560
[startup+20.0162 s]
Raw data (loadavg): 1.20 1.05 1.01 2/64 17850
Raw data (stat): 17840 (java) R 17839 3394 3393 0 -1 0 18084 0 1 0 1665 42 0 0 25 0 11 0 838591258 863629312 21893 4294967295 134512640 134569956 3221224368 3221214368 1078033010 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210847 21893 13086 16 0 210831 0
vsize: 843388
[startup+30.017 s]
Raw data (loadavg): 1.17 1.04 1.01 2/64 17850
Raw data (stat): 17840 (java) R 17839 3394 3393 0 -1 0 18085 0 1 0 2616 43 0 0 25 0 11 0 838591258 863629312 22315 4294967295 134512640 134569956 3221224368 3221214556 1130885120 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210847 22315 13086 16 0 210831 0
vsize: 843388
[startup+40.0169 s]
Raw data (loadavg): 1.14 1.04 1.01 2/64 17850
Raw data (stat): 17840 (java) R 17839 3394 3393 0 -1 0 18085 0 1 0 3546 43 0 0 25 0 11 0 838591258 863629312 22832 4294967295 134512640 134569956 3221224368 3221214584 1131346422 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210847 22832 13086 16 0 210831 0
vsize: 843388
[startup+50.0177 s]
Raw data (loadavg): 1.12 1.04 1.01 2/64 17850
Raw data (stat): 17840 (java) R 17839 3394 3393 0 -1 0 18085 0 1 0 4498 44 0 0 25 0 11 0 838591258 863629312 23122 4294967295 134512640 134569956 3221224368 3221214512 1131287395 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210847 23122 13086 16 0 210831 0
vsize: 843388
[startup+60.0175 s]
Raw data (loadavg): 1.10 1.04 1.01 2/64 17850
Raw data (stat): 17840 (java) R 17839 3394 3393 0 -1 0 18085 0 1 0 5448 44 0 0 25 0 11 0 838591258 863629312 23124 4294967295 134512640 134569956 3221224368 3221214512 1131430337 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210847 23124 13086 16 0 210831 0
vsize: 843388
[startup+70.0184 s]
Raw data (loadavg): 1.08 1.04 1.01 2/64 17850
Raw data (stat): 17840 (java) R 17839 3394 3393 0 -1 0 18085 0 1 0 6399 44 0 0 25 0 11 0 838591258 863629312 23319 4294967295 134512640 134569956 3221224368 3221214584 1131565059 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210847 23319 13086 16 0 210831 0
vsize: 843388
[startup+80.0196 s]
Raw data (loadavg): 1.07 1.03 1.01 2/64 17850
Raw data (stat): 17840 (java) R 17839 3394 3393 0 -1 0 18085 0 1 0 7350 45 0 0 25 0 11 0 838591258 863629312 23441 4294967295 134512640 134569956 3221224368 3221214512 1131431449 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210847 23441 13086 16 0 210831 0
vsize: 843388
[startup+90.019 s]
Raw data (loadavg): 1.06 1.03 1.01 2/64 17850
Raw data (stat): 17840 (java) R 17839 3394 3393 0 -1 0 18085 0 1 0 8292 45 0 0 25 0 11 0 838591258 863629312 23590 4294967295 134512640 134569956 3221224368 3221214512 1131287600 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210847 23590 13086 16 0 210831 0
vsize: 843388
[startup+100.019 s]
Raw data (loadavg): 1.05 1.03 1.01 2/64 17850
Raw data (stat): 17840 (java) R 17839 3394 3393 0 -1 0 18085 0 1 0 9242 45 0 0 25 0 11 0 838591258 863629312 23741 4294967295 134512640 134569956 3221224368 3221214612 1131345984 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210847 23741 13086 16 0 210831 0
vsize: 843388
[startup+110.02 s]
Raw data (loadavg): 1.04 1.03 1.00 2/64 17850
Raw data (stat): 17840 (java) S 17839 3394 3393 0 -1 0 18085 0 1 0 10191 46 0 0 25 0 11 0 838591258 863629312 23892 4294967295 134512640 134569956 3221224368 3221213152 1073952481 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210847 23892 13086 16 0 210831 0
vsize: 843388
[startup+120.021 s]
Raw data (loadavg): 1.04 1.03 1.00 2/64 17850
Raw data (stat): 17840 (java) R 17839 3394 3393 0 -1 0 18085 0 1 0 11133 46 0 0 25 0 11 0 838591258 863629312 24102 4294967295 134512640 134569956 3221224368 3221214512 1131287789 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210847 24102 13086 16 0 210831 0
vsize: 843388
[startup+130.02 s]
Raw data (loadavg): 1.03 1.03 1.00 2/64 17850
Raw data (stat): 17840 (java) R 17839 3394 3393 0 -1 0 18086 0 1 0 12082 46 0 0 25 0 11 0 838591258 863629312 24262 4294967295 134512640 134569956 3221224368 3221214688 1131252769 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210847 24262 13086 16 0 210831 0
vsize: 843388
[startup+140.02 s]
Raw data (loadavg): 1.02 1.03 1.00 2/64 17850
Raw data (stat): 17840 (java) R 17839 3394 3393 0 -1 0 18086 0 1 0 13031 46 0 0 25 0 11 0 838591258 863629312 24434 4294967295 134512640 134569956 3221224368 3221214744 1131205593 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210847 24434 13086 16 0 210831 0
vsize: 843388
[startup+150.021 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 17850
Raw data (stat): 17840 (java) R 17839 3394 3393 0 -1 0 18086 0 1 0 13975 47 0 0 25 0 11 0 838591258 863629312 24528 4294967295 134512640 134569956 3221224368 3221214512 1131431629 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210847 24528 13086 16 0 210831 0
vsize: 843388
[startup+160.021 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 17850
Raw data (stat): 17840 (java) R 17839 3394 3393 0 -1 0 18086 0 1 0 14918 47 0 0 25 0 11 0 838591258 863629312 24700 4294967295 134512640 134569956 3221224368 3221214104 1131303096 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210847 24700 13086 16 0 210831 0
vsize: 843388
[startup+170.022 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 17850
Raw data (stat): 17840 (java) R 17839 3394 3393 0 -1 0 18086 0 1 0 15870 47 0 0 25 0 11 0 838591258 863629312 24868 4294967295 134512640 134569956 3221224368 3221214616 1131298418 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210847 24868 13086 16 0 210831 0
vsize: 843388
[startup+180.023 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 17850
Raw data (stat): 17840 (java) S 17839 3394 3393 0 -1 0 18086 0 1 0 16819 47 0 0 25 0 11 0 838591258 863629312 25065 4294967295 134512640 134569956 3221224368 3221213288 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210847 25065 13086 16 0 210831 0
vsize: 843388
[startup+190.022 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 17850
Raw data (stat): 17840 (java) R 17839 3394 3393 0 -1 0 18086 0 1 0 17768 48 0 0 25 0 11 0 838591258 863629312 25256 4294967295 134512640 134569956 3221224368 3221214612 1131360649 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210847 25256 13086 16 0 210831 0
vsize: 843388
[startup+200.023 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 17850
Raw data (stat): 17840 (java) R 17839 3394 3393 0 -1 0 18086 0 1 0 18720 48 0 0 25 0 11 0 838591258 863629312 25356 4294967295 134512640 134569956 3221224368 3221214512 1131430413 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210847 25356 13086 16 0 210831 0
vsize: 843388
[startup+210.023 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 17850
Raw data (stat): 17840 (java) R 17839 3394 3393 0 -1 0 18086 0 1 0 19658 49 0 0 25 0 11 0 838591258 863629312 25474 4294967295 134512640 134569956 3221224368 3221214688 1131253796 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210847 25474 13086 16 0 210831 0
vsize: 843388
[startup+220.024 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 17850
Raw data (stat): 17840 (java) R 17839 3394 3393 0 -1 0 18086 0 1 0 20605 49 0 0 25 0 11 0 838591258 863629312 25653 4294967295 134512640 134569956 3221224368 3221214584 1131346460 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210847 25653 13086 16 0 210831 0
vsize: 843388
[startup+230.024 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 17850
Raw data (stat): 17840 (java) R 17839 3394 3393 0 -1 0 18086 0 1 0 21551 49 0 0 25 0 11 0 838591258 863629312 25910 4294967295 134512640 134569956 3221224368 3221214584 1131346430 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210847 25910 13086 16 0 210831 0
vsize: 843388
[startup+240.024 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 17850
Raw data (stat): 17840 (java) R 17839 3394 3393 0 -1 0 18086 0 1 0 22500 49 0 0 24 0 11 0 838591258 863629312 26048 4294967295 134512640 134569956 3221224368 3221214688 1131253479 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210847 26048 13086 16 0 210831 0
vsize: 843388
[startup+250.024 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 17850
Raw data (stat): 17840 (java) R 17839 3394 3393 0 -1 0 18086 0 1 0 23450 50 0 0 25 0 11 0 838591258 863629312 26171 4294967295 134512640 134569956 3221224368 3221214408 1131253214 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210847 26171 13086 16 0 210831 0
vsize: 843388
[startup+260.024 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 17850
Raw data (stat): 17840 (java) S 17839 3394 3393 0 -1 0 18086 0 1 0 24394 50 0 0 25 0 11 0 838591258 863629312 26296 4294967295 134512640 134569956 3221224368 3221213112 1073952481 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210847 26296 13086 16 0 210831 0
vsize: 843388
[startup+270.025 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 17850
Raw data (stat): 17840 (java) R 17839 3394 3393 0 -1 0 18086 0 1 0 25339 50 0 0 25 0 11 0 838591258 863629312 26486 4294967295 134512640 134569956 3221224368 3221214720 1131485145 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210847 26486 13086 16 0 210831 0
vsize: 843388
[startup+280.026 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 17850
Raw data (stat): 17840 (java) R 17839 3394 3393 0 -1 0 18086 0 1 0 26289 50 0 0 25 0 11 0 838591258 863629312 26633 4294967295 134512640 134569956 3221224368 3221214368 1131490388 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210847 26633 13086 16 0 210831 0
vsize: 843388
[startup+290.026 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 17850
Raw data (stat): 17840 (java) R 17839 3394 3393 0 -1 0 18086 0 1 0 27228 50 0 0 25 0 11 0 838591258 863629312 26863 4294967295 134512640 134569956 3221224368 3221214384 1078032383 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210847 26863 13086 16 0 210831 0
vsize: 843388
[startup+300.027 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 17850
Raw data (stat): 17840 (java) R 17839 3394 3393 0 -1 0 18086 0 1 0 28177 51 0 0 25 0 11 0 838591258 863629312 26961 4294967295 134512640 134569956 3221224368 3221214600 1131218502 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210847 26961 13086 16 0 210831 0
vsize: 843388
[startup+310.026 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 17850
Raw data (stat): 17840 (java) R 17839 3394 3393 0 -1 0 18086 0 1 0 29123 51 0 0 25 0 11 0 838591258 863629312 27142 4294967295 134512640 134569956 3221224368 3221214512 1131304701 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210847 27142 13086 16 0 210831 0
vsize: 843388
[startup+320.028 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 17850
Raw data (stat): 17840 (java) R 17839 3394 3393 0 -1 0 18086 0 1 0 30069 51 0 0 25 0 11 0 838591258 863629312 27348 4294967295 134512640 134569956 3221224368 3221214096 1131205579 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210847 27348 13086 16 0 210831 0
vsize: 843388
[startup+330.028 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 17850
Raw data (stat): 17840 (java) R 17839 3394 3393 0 -1 0 18086 0 1 0 31014 52 0 0 25 0 11 0 838591258 863629312 27585 4294967295 134512640 134569956 3221224368 3221214616 1131298371 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210847 27585 13086 16 0 210831 0
vsize: 843388
[startup+340.028 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 17850
Raw data (stat): 17840 (java) R 17839 3394 3393 0 -1 0 18086 0 1 0 31959 52 0 0 25 0 11 0 838591258 863629312 27808 4294967295 134512640 134569956 3221224368 3221214584 1131384101 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210847 27808 13086 16 0 210831 0
vsize: 843388
[startup+350.028 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 17850
Raw data (stat): 17840 (java) R 17839 3394 3393 0 -1 0 18086 0 1 0 32893 53 0 0 25 0 11 0 838591258 863629312 28098 4294967295 134512640 134569956 3221224368 3221214512 1131430671 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210847 28098 13086 16 0 210831 0
vsize: 843388
[startup+360.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17850
Raw data (stat): 17840 (java) R 17839 3394 3393 0 -1 0 18086 0 1 0 33840 53 0 0 25 0 11 0 838591258 863629312 28301 4294967295 134512640 134569956 3221224368 3221214792 1131567990 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210847 28301 13086 16 0 210831 0
vsize: 843388
[startup+370.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17850
Raw data (stat): 17840 (java) R 17839 3394 3393 0 -1 0 18086 0 1 0 34791 53 0 0 25 0 11 0 838591258 863629312 28301 4294967295 134512640 134569956 3221224368 3221214688 1131253251 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210847 28301 13086 16 0 210831 0
vsize: 843388
[startup+380.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17850
Raw data (stat): 17840 (java) R 17839 3394 3393 0 -1 0 18086 0 1 0 35731 53 0 0 25 0 11 0 838591258 863629312 28416 4294967295 134512640 134569956 3221224368 3221214600 1131218488 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210847 28416 13086 16 0 210831 0
vsize: 843388
[startup+390.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17850
Raw data (stat): 17840 (java) R 17839 3394 3393 0 -1 0 18086 0 1 0 36667 54 0 0 25 0 11 0 838591258 863629312 28632 4294967295 134512640 134569956 3221224368 3221214584 1131346416 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210847 28632 13086 16 0 210831 0
vsize: 843388
[startup+400.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17850
Raw data (stat): 17840 (java) R 17839 3394 3393 0 -1 0 18086 0 1 0 37622 54 0 0 25 0 11 0 838591258 863629312 28925 4294967295 134512640 134569956 3221224368 3221214612 1131304617 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210847 28925 13086 16 0 210831 0
vsize: 843388
[startup+410.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17850
Raw data (stat): 17840 (java) R 17839 3394 3393 0 -1 0 18086 0 1 0 38587 54 0 0 25 0 11 0 838591258 863629312 29114 4294967295 134512640 134569956 3221224368 3221214688 1131253208 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210847 29114 13086 16 0 210831 0
vsize: 843388
[startup+420.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17850
Raw data (stat): 17840 (java) R 17839 3394 3393 0 -1 0 18086 0 1 0 39545 54 0 0 25 0 11 0 838591258 863629312 29192 4294967295 134512640 134569956 3221224368 3221214688 1131253210 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210847 29192 13086 16 0 210831 0
vsize: 843388
[startup+430.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17850
Raw data (stat): 17840 (java) S 17839 3394 3393 0 -1 0 18086 0 1 0 40497 55 0 0 25 0 11 0 838591258 863629312 29263 4294967295 134512640 134569956 3221224368 3221213112 1073952481 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210847 29263 13086 16 0 210831 0
vsize: 843388
[startup+440.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17850
Raw data (stat): 17840 (java) R 17839 3394 3393 0 -1 0 18086 0 1 0 41445 55 0 0 25 0 11 0 838591258 863629312 29340 4294967295 134512640 134569956 3221224368 3221214616 1131280275 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210847 29340 13086 16 0 210831 0
vsize: 843388
[startup+450.033 s]
Raw data (loadavg): 1.07 1.02 1.00 2/64 17850
Raw data (stat): 17840 (java) R 17839 3394 3393 0 -1 0 18086 0 1 0 42389 55 0 0 25 0 11 0 838591258 863629312 29649 4294967295 134512640 134569956 3221224368 3221214512 1131287663 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210847 29649 13086 16 0 210831 0
vsize: 843388
[startup+460.033 s]
Raw data (loadavg): 1.06 1.02 1.00 2/64 17850
Raw data (stat): 17840 (java) S 17839 3394 3393 0 -1 0 18086 0 1 0 43330 55 0 0 25 0 11 0 838591258 863629312 29872 4294967295 134512640 134569956 3221224368 3221213432 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210847 29872 13086 16 0 210831 0
vsize: 843388
[startup+470.033 s]
Raw data (loadavg): 1.05 1.01 1.00 2/64 17850
Raw data (stat): 17840 (java) R 17839 3394 3393 0 -1 0 18086 0 1 0 44272 55 0 0 25 0 11 0 838591258 863629312 30072 4294967295 134512640 134569956 3221224368 3221214632 1131280383 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210847 30072 13086 16 0 210831 0
vsize: 843388
[startup+480.034 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 17850
Raw data (stat): 17840 (java) R 17839 3394 3393 0 -1 0 18086 0 1 0 45220 56 0 0 25 0 11 0 838591258 863629312 30257 4294967295 134512640 134569956 3221224368 3221214100 1131303120 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210847 30257 13086 16 0 210831 0
vsize: 843388
[startup+490.034 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 17850
Raw data (stat): 17840 (java) R 17839 3394 3393 0 -1 0 18086 0 1 0 46166 56 0 0 25 0 11 0 838591258 863629312 30477 4294967295 134512640 134569956 3221224368 3221214744 1131205568 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210847 30477 13086 16 0 210831 0
vsize: 843388
[startup+500.035 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 17850
Raw data (stat): 17840 (java) R 17839 3394 3393 0 -1 0 18086 0 1 0 47100 57 0 0 25 0 11 0 838591258 863629312 30669 4294967295 134512640 134569956 3221224368 3221214528 1131432463 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210847 30669 13086 16 0 210831 0
vsize: 843388
[startup+510.036 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 17850
Raw data (stat): 17840 (java) R 17839 3394 3393 0 -1 0 18086 0 1 0 48046 58 0 0 25 0 11 0 838591258 863629312 30846 4294967295 134512640 134569956 3221224368 3221214688 1131253664 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210847 30846 13086 16 0 210831 0
vsize: 843388
[startup+520.037 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 17850
Raw data (stat): 17840 (java) R 17839 3394 3393 0 -1 0 18086 0 1 0 48980 58 0 0 24 0 11 0 838591258 863629312 31041 4294967295 134512640 134569956 3221224368 3221214600 1131360810 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210847 31041 13086 16 0 210831 0
vsize: 843388
[startup+530.036 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 17850
Raw data (stat): 17840 (java) R 17839 3394 3393 0 -1 0 18086 0 1 0 49925 58 0 0 25 0 11 0 838591258 863629312 31221 4294967295 134512640 134569956 3221224368 3221214600 1131218512 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210847 31221 13086 16 0 210831 0
vsize: 843388
[startup+540.036 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 17850
Raw data (stat): 17840 (java) R 17839 3394 3393 0 -1 0 18086 0 1 0 50869 59 0 0 25 0 11 0 838591258 863629312 31440 4294967295 134512640 134569956 3221224368 3221214528 1131430651 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210847 31440 13086 16 0 210831 0
vsize: 843388
[startup+550.037 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 17850
Raw data (stat): 17840 (java) R 17839 3394 3393 0 -1 0 18086 0 1 0 51815 59 0 0 25 0 11 0 838591258 863629312 31619 4294967295 134512640 134569956 3221224368 3221214600 1131360744 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210847 31619 13086 16 0 210831 0
vsize: 843388
[startup+560.037 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 17850
Raw data (stat): 17840 (java) S 17839 3394 3393 0 -1 0 18086 0 1 0 52753 60 0 0 25 0 11 0 838591258 863629312 31791 4294967295 134512640 134569956 3221224368 3221213432 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210847 31791 13086 16 0 210831 0
vsize: 843388
[startup+570.038 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 17850
Raw data (stat): 17840 (java) R 17839 3394 3393 0 -1 0 18086 0 1 0 53708 60 0 0 25 0 11 0 838591258 863629312 31930 4294967295 134512640 134569956 3221224368 3221214744 1131205568 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210847 31930 13086 16 0 210831 0
vsize: 843388
[startup+580.038 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 17850
Raw data (stat): 17840 (java) R 17839 3394 3393 0 -1 0 18086 0 1 0 54657 61 0 0 25 0 11 0 838591258 863629312 31963 4294967295 134512640 134569956 3221224368 3221214688 1131253251 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210847 31963 13086 16 0 210831 0
vsize: 843388
[startup+590.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17850
Raw data (stat): 17840 (java) R 17839 3394 3393 0 -1 0 18086 0 1 0 55610 61 0 0 25 0 11 0 838591258 863629312 32116 4294967295 134512640 134569956 3221224368 3221214688 1131252769 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210847 32116 13086 16 0 210831 0
vsize: 843388
[startup+600.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17850
Raw data (stat): 17840 (java) S 17839 3394 3393 0 -1 0 18086 0 1 0 56565 61 0 0 25 0 11 0 838591258 863629312 32330 4294967295 134512640 134569956 3221224368 3221213272 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210847 32330 13086 16 0 210831 0
vsize: 843388
[startup+610.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17850
Raw data (stat): 17840 (java) S 17839 3394 3393 0 -1 0 18086 0 1 0 57540 62 0 0 25 0 11 0 838591258 863629312 32469 4294967295 134512640 134569956 3221224368 3221213432 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210847 32469 13086 16 0 210831 0
vsize: 843388
[startup+620.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17850
Raw data (stat): 17840 (java) R 17839 3394 3393 0 -1 0 18086 0 1 0 58507 62 0 0 25 0 11 0 838591258 863629312 32647 4294967295 134512640 134569956 3221224368 3221214040 1131276906 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210847 32647 13086 16 0 210831 0
vsize: 843388
[startup+630.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17850
Raw data (stat): 17840 (java) R 17839 3394 3393 0 -1 0 18086 0 1 0 59474 62 0 0 25 0 11 0 838591258 863629312 32816 4294967295 134512640 134569956 3221224368 3221214744 1131205757 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210847 32816 13086 16 0 210831 0
vsize: 843388
[startup+640.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17850
Raw data (stat): 17840 (java) R 17839 3394 3393 0 -1 0 18086 0 1 0 60441 63 0 0 25 0 11 0 838591258 863629312 32824 4294967295 134512640 134569956 3221224368 3221214392 1085679762 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210847 32824 13086 16 0 210831 0
vsize: 843388
[startup+650.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17850
Raw data (stat): 17840 (java) R 17839 3394 3393 0 -1 0 18086 0 1 0 61399 63 0 0 25 0 11 0 838591258 863629312 32854 4294967295 134512640 134569956 3221224368 3221214632 1131298448 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210847 32854 13086 16 0 210831 0
vsize: 843388
[startup+660.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17850
Raw data (stat): 17840 (java) R 17839 3394 3393 0 -1 0 18086 0 1 0 62356 63 0 0 25 0 11 0 838591258 863629312 32887 4294967295 134512640 134569956 3221224368 3221214688 1131253808 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210847 32887 13086 16 0 210831 0
vsize: 843388
[startup+670.042 s]
Raw data (loadavg): 1.08 1.02 1.01 2/64 17850
Raw data (stat): 17840 (java) R 17839 3394 3393 0 -1 0 18086 0 1 0 63307 63 0 0 25 0 11 0 838591258 863629312 33010 4294967295 134512640 134569956 3221224368 3221213812 1131277129 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210847 33010 13086 16 0 210831 0
vsize: 843388
[startup+680.043 s]
Raw data (loadavg): 1.07 1.02 1.00 2/64 17850
Raw data (stat): 17840 (java) R 17839 3394 3393 0 -1 0 18086 0 1 0 64263 64 0 0 25 0 11 0 838591258 863629312 33201 4294967295 134512640 134569956 3221224368 3221214040 1131276909 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210847 33201 13086 16 0 210831 0
vsize: 843388
[startup+690.043 s]
Raw data (loadavg): 1.06 1.01 1.00 2/64 17850
Raw data (stat): 17840 (java) R 17839 3394 3393 0 -1 0 18086 0 1 0 65221 64 0 0 25 0 11 0 838591258 863629312 33338 4294967295 134512640 134569956 3221224368 3221214192 1131637655 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210847 33338 13086 16 0 210831 0
vsize: 843388
[startup+700.042 s]
Raw data (loadavg): 1.05 1.01 1.00 2/64 17850
Raw data (stat): 17840 (java) R 17839 3394 3393 0 -1 0 18086 0 1 0 66192 64 0 0 25 0 11 0 838591258 863629312 33434 4294967295 134512640 134569956 3221224368 3221214688 1131252907 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210847 33434 13086 16 0 210831 0
vsize: 843388
[startup+710.042 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 17850
Raw data (stat): 17840 (java) R 17839 3394 3393 0 -1 0 18086 0 1 0 67154 65 0 0 25 0 11 0 838591258 863629312 33650 4294967295 134512640 134569956 3221224368 3221214688 1131254035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210847 33650 13086 16 0 210831 0
vsize: 843388
[startup+720.043 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 17850
Raw data (stat): 17840 (java) R 17839 3394 3393 0 -1 0 18086 0 1 0 68124 65 0 0 25 0 11 0 838591258 863629312 33700 4294967295 134512640 134569956 3221224368 3221214600 1131218477 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210847 33700 13086 16 0 210831 0
vsize: 843388
[startup+730.043 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 17850
Raw data (stat): 17840 (java) R 17839 3394 3393 0 -1 0 18086 0 1 0 69093 66 0 0 25 0 11 0 838591258 863629312 33752 4294967295 134512640 134569956 3221224368 3221214528 1131287772 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210847 33752 13086 16 0 210831 0
vsize: 843388
[startup+740.043 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 17850
Raw data (stat): 17840 (java) R 17839 3394 3393 0 -1 0 18086 0 1 0 70063 66 0 0 25 0 11 0 838591258 863629312 33830 4294967295 134512640 134569956 3221224368 3221214688 1131252814 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210847 33830 13086 16 0 210831 0
vsize: 843388
[startup+750.044 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 17850
Raw data (stat): 17840 (java) R 17839 3394 3393 0 -1 0 18086 0 1 0 71032 66 0 0 25 0 11 0 838591258 863629312 33886 4294967295 134512640 134569956 3221224368 3221214688 1131253218 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210847 33886 13086 16 0 210831 0
vsize: 843388
[startup+760.044 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 17850
Raw data (stat): 17840 (java) R 17839 3394 3393 0 -1 0 18086 0 1 0 71999 66 0 0 25 0 11 0 838591258 863629312 33939 4294967295 134512640 134569956 3221224368 3221214688 1131252802 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210847 33939 13086 16 0 210831 0
vsize: 843388
[startup+770.045 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 17850
Raw data (stat): 17840 (java) R 17839 3394 3393 0 -1 0 18086 0 1 0 72964 67 0 0 25 0 11 0 838591258 863629312 34020 4294967295 134512640 134569956 3221224368 3221214528 1131287663 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210847 34020 13086 16 0 210831 0
vsize: 843388
[startup+780.045 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 17850
Raw data (stat): 17840 (java) R 17839 3394 3393 0 -1 0 18086 0 1 0 73931 67 0 0 25 0 11 0 838591258 863629312 34098 4294967295 134512640 134569956 3221224368 3221214528 1131635448 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210847 34098 13086 16 0 210831 0
vsize: 843388
[startup+790.046 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 17850
Raw data (stat): 17840 (java) R 17839 3394 3393 0 -1 0 18086 0 1 0 74897 67 0 0 25 0 11 0 838591258 863629312 34199 4294967295 134512640 134569956 3221224368 3221214744 1131205618 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210847 34199 13086 16 0 210831 0
vsize: 843388
[startup+800.046 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 17850
Raw data (stat): 17840 (java) R 17839 3394 3393 0 -1 0 18086 0 1 0 75868 67 0 0 25 0 11 0 838591258 863629312 34247 4294967295 134512640 134569956 3221224368 3221214688 1131253214 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210847 34247 13086 16 0 210831 0
vsize: 843388
[startup+810.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17850
Raw data (stat): 17840 (java) R 17839 3394 3393 0 -1 0 18086 0 1 0 76830 68 0 0 25 0 11 0 838591258 863629312 34342 4294967295 134512640 134569956 3221224368 3221214688 1131252997 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210847 34342 13086 16 0 210831 0
vsize: 843388
[startup+820.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17850
Raw data (stat): 17840 (java) R 17839 3394 3393 0 -1 0 18086 0 1 0 77794 68 0 0 25 0 11 0 838591258 863629312 34407 4294967295 134512640 134569956 3221224368 3221214744 1131205568 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210847 34407 13086 16 0 210831 0
vsize: 843388
[startup+830.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17850
Raw data (stat): 17840 (java) R 17839 3394 3393 0 -1 0 18086 0 1 0 78759 69 0 0 25 0 11 0 838591258 863629312 34488 4294967295 134512640 134569956 3221224368 3221214524 1131446087 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210847 34488 13086 16 0 210831 0
vsize: 843388
[startup+840.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17850
Raw data (stat): 17840 (java) R 17839 3394 3393 0 -1 0 18086 0 1 0 79725 69 0 0 25 0 11 0 838591258 863629312 34570 4294967295 134512640 134569956 3221224368 3221214600 1131360778 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210847 34570 13086 16 0 210831 0
vsize: 843388
[startup+850.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17850
Raw data (stat): 17840 (java) R 17839 3394 3393 0 -1 0 18086 0 1 0 80690 69 0 0 25 0 11 0 838591258 863629312 34662 4294967295 134512640 134569956 3221224368 3221214792 1131568309 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210847 34662 13086 16 0 210831 0
vsize: 843388
[startup+860.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17850
Raw data (stat): 17840 (java) R 17839 3394 3393 0 -1 0 18086 0 1 0 81657 70 0 0 25 0 11 0 838591258 863629312 34744 4294967295 134512640 134569956 3221224368 3221214688 1131253696 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210847 34744 13086 16 0 210831 0
vsize: 843388
[startup+870.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17850
Raw data (stat): 17840 (java) R 17839 3394 3393 0 -1 0 18086 0 1 0 82623 70 0 0 25 0 11 0 838591258 863629312 34818 4294967295 134512640 134569956 3221224368 3221214792 1131567845 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210847 34818 13086 16 0 210831 0
vsize: 843388
[startup+880.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17850
Raw data (stat): 17840 (java) R 17839 3394 3393 0 -1 0 18086 0 1 0 83594 70 0 0 25 0 11 0 838591258 863629312 34897 4294967295 134512640 134569956 3221224368 3221214560 1131253155 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210847 34897 13086 16 0 210831 0
vsize: 843388
[startup+890.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17850
Raw data (stat): 17840 (java) R 17839 3394 3393 0 -1 0 18086 0 1 0 84562 70 0 0 25 0 11 0 838591258 863629312 34971 4294967295 134512640 134569956 3221224368 3221214688 1131252848 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210847 34971 13086 16 0 210831 0
vsize: 843388
[startup+900.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17850
Raw data (stat): 17840 (java) R 17839 3394 3393 0 -1 0 18086 0 1 0 85531 71 0 0 25 0 11 0 838591258 863629312 35036 4294967295 134512640 134569956 3221224368 3221214600 1131360816 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210847 35036 13086 16 0 210831 0
vsize: 843388
[startup+910.052 s]
Raw data (loadavg): 1.00 1.00 1.00 3/64 17850
Raw data (stat): 17840 (java) R 17839 3394 3393 0 -1 0 18086 0 1 0 86502 71 0 0 25 0 11 0 838591258 863629312 35089 4294967295 134512640 134569956 3221224368 3221213560 1073952732 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210847 35089 13086 16 0 210831 0
vsize: 843388
[startup+920.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17850
Raw data (stat): 17840 (java) R 17839 3394 3393 0 -1 0 18086 0 1 0 87471 71 0 0 25 0 11 0 838591258 863629312 35168 4294967295 134512640 134569956 3221224368 3221214744 1131205561 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210847 35168 13086 16 0 210831 0
vsize: 843388
[startup+930.066 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17850
Raw data (stat): 17840 (java) R 17839 3394 3393 0 -1 0 18086 0 1 0 88440 72 0 0 24 0 11 0 838591258 863629312 35226 4294967295 134512640 134569956 3221224368 3221214744 1131205675 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210847 35226 13086 16 0 210831 0
vsize: 843388
[startup+940.065 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17850
Raw data (stat): 17840 (java) R 17839 3394 3393 0 -1 0 18086 0 1 0 89408 72 0 0 25 0 11 0 838591258 863629312 35283 4294967295 134512640 134569956 3221224368 3221214600 1131218525 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210847 35283 13086 16 0 210831 0
vsize: 843388
[startup+950.066 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17850
Raw data (stat): 17840 (java) R 17839 3394 3393 0 -1 0 18086 0 1 0 90374 73 0 0 25 0 11 0 838591258 863629312 35356 4294967295 134512640 134569956 3221224368 3221214744 1131205585 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210847 35356 13086 16 0 210831 0
vsize: 843388
[startup+960.067 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17850
Raw data (stat): 17840 (java) R 17839 3394 3393 0 -1 0 18086 0 1 0 91345 73 0 0 25 0 11 0 838591258 863629312 35417 4294967295 134512640 134569956 3221224368 3221214788 1131205548 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210847 35417 13086 16 0 210831 0
vsize: 843388
[startup+970.068 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17850
Raw data (stat): 17840 (java) R 17839 3394 3393 0 -1 0 18086 0 1 0 92312 73 0 0 25 0 11 0 838591258 863629312 35511 4294967295 134512640 134569956 3221224368 3221214688 1131253105 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210847 35511 13086 16 0 210831 0
vsize: 843388
[startup+980.069 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17850
Raw data (stat): 17840 (java) R 17839 3394 3393 0 -1 0 18086 0 1 0 93284 73 0 0 25 0 11 0 838591258 863629312 35571 4294967295 134512640 134569956 3221224368 3221214788 1131252748 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210847 35571 13086 16 0 210831 0
vsize: 843388
[startup+990.068 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17850
Raw data (stat): 17840 (java) R 17839 3394 3393 0 -1 0 18086 0 1 0 94256 74 0 0 25 0 11 0 838591258 863629312 35619 4294967295 134512640 134569956 3221224368 3221214632 1131298403 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210847 35619 13086 16 0 210831 0
vsize: 843388
[startup+1000.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17850
Raw data (stat): 17840 (java) R 17839 3394 3393 0 -1 0 18086 0 1 0 95225 74 0 0 25 0 11 0 838591258 863629312 35689 4294967295 134512640 134569956 3221224368 3221214688 1131254027 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210847 35689 13086 16 0 210831 0
vsize: 843388
[startup+1010.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17850
Raw data (stat): 17840 (java) R 17839 3394 3393 0 -1 0 18086 0 1 0 96194 74 0 0 25 0 11 0 838591258 863629312 35754 4294967295 134512640 134569956 3221224368 3221214528 1131431760 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210847 35754 13086 16 0 210831 0
vsize: 843388
[startup+1020.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17850
Raw data (stat): 17840 (java) R 17839 3394 3393 0 -1 0 18086 0 1 0 97167 74 0 0 25 0 11 0 838591258 863629312 35821 4294967295 134512640 134569956 3221224368 3221214384 1078032851 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210847 35821 13086 16 0 210831 0
vsize: 843388
[startup+1030.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17850
Raw data (stat): 17840 (java) R 17839 3394 3393 0 -1 0 18086 0 1 0 98136 75 0 0 25 0 11 0 838591258 863629312 35871 4294967295 134512640 134569956 3221224368 3221214792 1131567835 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210847 35871 13086 16 0 210831 0
vsize: 843388
[startup+1040.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17850
Raw data (stat): 17840 (java) R 17839 3394 3393 0 -1 0 18086 0 1 0 99104 75 0 0 25 0 11 0 838591258 863629312 35929 4294967295 134512640 134569956 3221224368 3221214436 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210847 35929 13086 16 0 210831 0
vsize: 843388
[startup+1050.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17850
Raw data (stat): 17840 (java) R 17839 3394 3393 0 -1 0 18086 0 1 0 100074 75 0 0 25 0 11 0 838591258 863629312 35985 4294967295 134512640 134569956 3221224368 3221214688 1131253251 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210847 35985 13086 16 0 210831 0
vsize: 843388
[startup+1060.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17850
Raw data (stat): 17840 (java) R 17839 3394 3393 0 -1 0 18086 0 1 0 101040 76 0 0 25 0 11 0 838591258 863629312 36060 4294967295 134512640 134569956 3221224368 3221214600 1131346462 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210847 36060 13086 16 0 210831 0
vsize: 843388
[startup+1070.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17850
Raw data (stat): 17840 (java) R 17839 3394 3393 0 -1 0 18086 0 1 0 102007 76 0 0 25 0 11 0 838591258 863629312 36114 4294967295 134512640 134569956 3221224368 3221214688 1131253502 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210847 36114 13086 16 0 210831 0
vsize: 843388
[startup+1080.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17850
Raw data (stat): 17840 (java) R 17839 3394 3393 0 -1 0 18086 0 1 0 102975 76 0 0 25 0 11 0 838591258 863629312 36190 4294967295 134512640 134569956 3221224368 3221214600 1131346382 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210847 36190 13086 16 0 210831 0
vsize: 843388
[startup+1090.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17850
Raw data (stat): 17840 (java) R 17839 3394 3393 0 -1 0 18086 0 1 0 103941 77 0 0 25 0 11 0 838591258 863629312 36268 4294967295 134512640 134569956 3221224368 3221214688 1131252769 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210847 36268 13086 16 0 210831 0
vsize: 843388
[startup+1100.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17850
Raw data (stat): 17840 (java) R 17839 3394 3393 0 -1 0 18086 0 1 0 104908 77 0 0 25 0 11 0 838591258 863629312 36333 4294967295 134512640 134569956 3221224368 3221214744 1131205571 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210847 36333 13086 16 0 210831 0
vsize: 843388
[startup+1110.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17850
Raw data (stat): 17840 (java) R 17839 3394 3393 0 -1 0 18086 0 1 0 105875 78 0 0 24 0 11 0 838591258 863629312 36412 4294967295 134512640 134569956 3221224368 3221214792 1131568031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210847 36412 13086 16 0 210831 0
vsize: 843388
[startup+1120.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17850
Raw data (stat): 17840 (java) R 17839 3394 3393 0 -1 0 18086 0 1 0 106846 79 0 0 25 0 11 0 838591258 863629312 36463 4294967295 134512640 134569956 3221224368 3221214744 1131205593 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210847 36463 13086 16 0 210831 0
vsize: 843388
[startup+1130.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17850
Raw data (stat): 17840 (java) R 17839 3394 3393 0 -1 0 18086 0 1 0 107813 79 0 0 25 0 11 0 838591258 863629312 36519 4294967295 134512640 134569956 3221224368 3221214688 1131253479 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210847 36519 13086 16 0 210831 0
vsize: 843388
[startup+1140.08 s]
Raw data (loadavg): 1.08 1.02 1.01 2/64 17903
Raw data (stat): 17840 (java) R 17839 3394 3393 0 -1 0 18086 0 1 0 108776 83 0 0 24 0 11 0 838591258 863629312 36589 4294967295 134512640 134569956 3221224368 3221214744 1131205770 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210847 36589 13086 16 0 210831 0
vsize: 843388
[startup+1150.08 s]
Raw data (loadavg): 1.07 1.02 1.00 2/64 17903
Raw data (stat): 17840 (java) R 17839 3394 3393 0 -1 0 18086 0 1 0 109748 83 0 0 25 0 11 0 838591258 863629312 36664 4294967295 134512640 134569956 3221224368 3221214528 1131430584 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210847 36664 13086 16 0 210831 0
vsize: 843388
[startup+1160.08 s]
Raw data (loadavg): 1.06 1.01 1.00 2/64 17903
Raw data (stat): 17840 (java) R 17839 3394 3393 0 -1 0 18086 0 1 0 110717 83 0 0 25 0 11 0 838591258 863629312 36720 4294967295 134512640 134569956 3221224368 3221214688 1131253728 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210847 36720 13086 16 0 210831 0
vsize: 843388
[startup+1170.08 s]
Raw data (loadavg): 1.05 1.01 1.00 2/64 17903
Raw data (stat): 17840 (java) R 17839 3394 3393 0 -1 0 18086 0 1 0 111688 83 0 0 25 0 11 0 838591258 863629312 36773 4294967295 134512640 134569956 3221224368 3221214688 1131253251 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210847 36773 13086 16 0 210831 0
vsize: 843388
[startup+1180.08 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 17903
Raw data (stat): 17840 (java) R 17839 3394 3393 0 -1 0 18086 0 1 0 112652 83 0 0 25 0 11 0 838591258 863629312 36833 4294967295 134512640 134569956 3221224368 3221214792 1131568337 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210847 36833 13086 16 0 210831 0
vsize: 843388
[startup+1190.08 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 17903
Raw data (stat): 17840 (java) R 17839 3394 3393 0 -1 0 18086 0 1 0 113639 83 0 0 25 0 11 0 838591258 863629312 36859 4294967295 134512640 134569956 3221224368 3221214416 1131632936 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210847 36859 13086 16 0 210831 0
vsize: 843388
[startup+1200.08 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 17905
Raw data (stat): 17840 (java) R 17839 3394 3393 0 -1 0 18086 0 1 0 114605 83 0 0 25 0 11 0 838591258 863629312 36911 4294967295 134512640 134569956 3221224368 3221214792 1131568005 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210847 36911 13086 16 0 210831 0
vsize: 843388
[startup+1210.08 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 17905
Raw data (stat): 17840 (java) R 17839 3394 3393 0 -1 0 18086 0 1 0 115567 83 0 0 25 0 11 0 838591258 863629312 36988 4294967295 134512640 134569956 3221224368 3221214688 1131253401 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210847 36988 13086 16 0 210831 0
vsize: 843388
[startup+1220.08 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 17905
Raw data (stat): 17840 (java) R 17839 3394 3393 0 -1 0 18086 0 1 0 116530 83 0 0 25 0 11 0 838591258 863629312 37079 4294967295 134512640 134569956 3221224368 3221214628 1131346020 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210847 37079 13086 16 0 210831 0
vsize: 843388
[startup+1230.08 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 17905
Raw data (stat): 17840 (java) R 17839 3394 3393 0 -1 0 18086 0 1 0 117496 84 0 0 25 0 11 0 838591258 863629312 37166 4294967295 134512640 134569956 3221224368 3221214688 1131253719 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210847 37166 13086 16 0 210831 0
vsize: 843388
[startup+1240.08 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 17905
Raw data (stat): 17840 (java) R 17839 3394 3393 0 -1 0 18086 0 1 0 118464 84 0 0 24 0 11 0 838591258 863629312 37232 4294967295 134512640 134569956 3221224368 3221214392 1085679302 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210847 37232 13086 16 0 210831 0
vsize: 843388
[startup+1250.08 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 17905
Raw data (stat): 17840 (java) R 17839 3394 3393 0 -1 0 18086 0 1 0 119434 84 0 0 25 0 11 0 838591258 863629312 37309 4294967295 134512640 134569956 3221224368 3221214688 1131253523 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210847 37309 13086 16 0 210831 0
vsize: 843388
[startup+1260.08 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 17905
Raw data (stat): 17840 (java) S 17839 3394 3393 0 -1 0 18086 0 1 0 120408 84 0 0 25 0 11 0 838591258 863629312 37370 4294967295 134512640 134569956 3221224368 3221213288 1073952481 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210847 37370 13086 16 0 210831 0
vsize: 843388
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1260.21 s]
Raw data (loadavg): 1.01 1.00 1.00 1/54 17907
Raw data (stat): 17840 (java) Z 17839 3394 3393 0 -1 1036 18086 16552 1 0 120411 84 5207 43 24 0 1 0 838591258 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): 1260.21
CPU time (s): 1257.46
CPU user time (s): 1256.19
CPU system time (s): 1.27681
CPU usage (%): 99.7821
Max. virtual memory (Kb): 843388
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####