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-elf.rf10.ucl.opb
MD5SUM	59052c182e2f0c4ec9aef432e4002ed0
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	67
Number of bits of the biggest number in a constraint	7
Biggest sum of numbers in a constraint	256
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	20.5079
Number of variables	55066
Total number of constraints	160619
Number of constraints which are clauses	156587
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	4032
Minimum length of a constraint	1
Maximum length of a constraint	13
Trace number 29309

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc3 THE 2005-05-25 06:16:06 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=20701 boxname=wulflinc3 idbench=291 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  59052c182e2f0c4ec9aef432e4002ed0  /oldhome/oroussel/tmp/wulflinc3/normalized-elf.rf10.ucl.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc3/normalized-elf.rf10.ucl.opb
IDLAUNCH: 20701
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
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	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
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:        845292 kB
Buffers:         25228 kB
Cached:         143956 kB
SwapCached:          0 kB
Active:          58916 kB
Inactive:       112932 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        845040 kB
SwapTotal:     2097136 kB
SwapFree:      2096800 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6576 kB
Slab:            11828 kB
Committed_AS:    71796 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 06:38:59 (client local time) WITH STATUS 143 IN 1369.11 SECONDS
stats: 20701 7 1369.11 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/wulflinc3/normalized-elf.rf10.ucl.opb
c reading problem ... done. Time 926.248 ms.
c #vars     55066
c #constraints  160619
c starts	: 4
c conflicts	: 534
c decisions	: 1436
c propagations	: 2756916
c inspects	: 8185382
c learned literals	: 3
c learned binary clauses	: 25
c learned ternary clauses	: 19
c learned clauses	: 530
c root simplifications	: 8
s UNKNOWN
c Total CPU time (ms) : 1369.52
#### 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.94 0.99 0.99 2/54 30724
Raw data (stat): 30724 (runsolver) R 30723 20224 20223 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 778417443 1052672 99 4294967295 134512640 135381576 3221224416 3221219636 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+9.99969 s]
Raw data (loadavg): 1.10 1.02 1.00 2/63 30733
Raw data (stat): 30724 (java) R 30723 20224 20223 0 -1 0 18035 0 1 0 778 41 0 0 25 0 10 0 778417443 855195648 21128 4294967295 134512640 134569956 3221224384 3221214440 1076461336 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208788 21128 13086 16 0 208772 0
vsize: 835152
[startup+20.0011 s]
Raw data (loadavg): 1.08 1.02 1.00 2/63 30733
Raw data (stat): 30724 (java) R 30723 20224 20223 0 -1 0 18035 0 1 0 1627 42 0 0 25 0 10 0 778417443 855195648 22225 4294967295 134512640 134569956 3221224384 3221214492 1076461336 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208788 22225 13086 16 0 208772 0
vsize: 835152
[startup+30.0016 s]
Raw data (loadavg): 1.07 1.02 1.00 2/63 30733
Raw data (stat): 30724 (java) R 30723 20224 20223 0 -1 0 18035 0 1 0 2483 42 0 0 25 0 10 0 778417443 855195648 22991 4294967295 134512640 134569956 3221224384 3221214440 1074489757 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208788 22991 13086 16 0 208772 0
vsize: 835152
[startup+40.0023 s]
Raw data (loadavg): 1.06 1.02 1.00 2/63 30733
Raw data (stat): 30724 (java) R 30723 20224 20223 0 -1 0 18035 0 1 0 3340 42 0 0 25 0 10 0 778417443 855195648 23642 4294967295 134512640 134569956 3221224384 3221214508 1076461336 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208788 23642 13086 16 0 208772 0
vsize: 835152
[startup+50.0035 s]
Raw data (loadavg): 1.05 1.02 1.00 2/63 30733
Raw data (stat): 30724 (java) R 30723 20224 20223 0 -1 0 18035 0 1 0 4192 42 0 0 25 0 10 0 778417443 855195648 24187 4294967295 134512640 134569956 3221224384 3221214388 1076874552 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208788 24187 13086 16 0 208772 0
vsize: 835152
[startup+60.0029 s]
Raw data (loadavg): 1.12 1.04 1.01 2/63 30733
Raw data (stat): 30724 (java) R 30723 20224 20223 0 -1 0 18035 0 1 0 5045 42 0 0 24 0 10 0 778417443 855195648 24610 4294967295 134512640 134569956 3221224384 3221214724 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208788 24610 13086 16 0 208772 0
vsize: 835152
[startup+70.0037 s]
Raw data (loadavg): 1.10 1.03 1.00 2/63 30733
Raw data (stat): 30724 (java) R 30723 20224 20223 0 -1 0 18035 0 1 0 5900 43 0 0 25 0 10 0 778417443 855195648 25108 4294967295 134512640 134569956 3221224384 3221214724 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208788 25108 13086 16 0 208772 0
vsize: 835152
[startup+80.0051 s]
Raw data (loadavg): 1.08 1.03 1.00 2/63 30733
Raw data (stat): 30724 (java) R 30723 20224 20223 0 -1 0 18035 0 1 0 6761 43 0 0 19 0 10 0 778417443 855195648 25528 4294967295 134512640 134569956 3221224384 3221214768 1131230529 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208788 25528 13086 16 0 208772 0
vsize: 835152
[startup+90.0059 s]
Raw data (loadavg): 1.07 1.03 1.00 2/63 30733
Raw data (stat): 30724 (java) R 30723 20224 20223 0 -1 0 18035 0 1 0 7616 43 0 0 18 0 10 0 778417443 855195648 25847 4294967295 134512640 134569956 3221224384 3221214888 1131177583 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208788 25847 13086 16 0 208772 0
vsize: 835152
[startup+100.006 s]
Raw data (loadavg): 1.06 1.03 1.00 2/63 30733
Raw data (stat): 30724 (java) R 30723 20224 20223 0 -1 0 18035 0 1 0 8469 43 0 0 18 0 10 0 778417443 855195648 26219 4294967295 134512640 134569956 3221224384 3221214368 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208788 26219 13086 16 0 208772 0
vsize: 835152
[startup+110.007 s]
Raw data (loadavg): 1.05 1.03 1.00 2/63 30733
Raw data (stat): 30724 (java) R 30723 20224 20223 0 -1 0 18035 0 1 0 9314 43 0 0 15 0 10 0 778417443 855195648 26554 4294967295 134512640 134569956 3221224384 3221214368 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208788 26554 13086 16 0 208772 0
vsize: 835152
[startup+120.008 s]
Raw data (loadavg): 1.04 1.03 1.00 2/63 30733
Raw data (stat): 30724 (java) R 30723 20224 20223 0 -1 0 18035 0 1 0 10159 44 0 0 16 0 10 0 778417443 855195648 27004 4294967295 134512640 134569956 3221224384 3221214732 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208788 27004 13086 16 0 208772 0
vsize: 835152
[startup+130.008 s]
Raw data (loadavg): 1.03 1.03 1.00 2/63 30733
Raw data (stat): 30724 (java) R 30723 20224 20223 0 -1 0 18035 0 1 0 11008 44 0 0 17 0 10 0 778417443 855195648 27337 4294967295 134512640 134569956 3221224384 3221214440 1076461336 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208788 27337 13086 16 0 208772 0
vsize: 835152
[startup+140.009 s]
Raw data (loadavg): 1.03 1.02 1.00 2/63 30733
Raw data (stat): 30724 (java) R 30723 20224 20223 0 -1 0 18035 0 1 0 11861 44 0 0 20 0 10 0 778417443 855195648 27648 4294967295 134512640 134569956 3221224384 3221214440 1074489757 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208788 27648 13086 16 0 208772 0
vsize: 835152
[startup+150.01 s]
Raw data (loadavg): 1.02 1.02 1.00 2/63 30733
Raw data (stat): 30724 (java) R 30723 20224 20223 0 -1 0 18035 0 1 0 12699 44 0 0 16 0 10 0 778417443 855195648 27998 4294967295 134512640 134569956 3221224384 3221214484 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208788 27998 13086 16 0 208772 0
vsize: 835152
[startup+160.012 s]
Raw data (loadavg): 1.02 1.02 1.00 2/63 30733
Raw data (stat): 30724 (java) R 30723 20224 20223 0 -1 0 18035 0 1 0 13551 44 0 0 16 0 10 0 778417443 855195648 28303 4294967295 134512640 134569956 3221224384 3221214288 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208788 28303 13086 16 0 208772 0
vsize: 835152
[startup+170.014 s]
Raw data (loadavg): 1.02 1.02 1.00 2/63 30733
Raw data (stat): 30724 (java) R 30723 20224 20223 0 -1 0 18035 0 1 0 14397 45 0 0 16 0 10 0 778417443 855195648 28617 4294967295 134512640 134569956 3221224384 3221214368 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208788 28617 13086 16 0 208772 0
vsize: 835152
[startup+180.017 s]
Raw data (loadavg): 1.01 1.02 1.00 2/63 30733
Raw data (stat): 30724 (java) R 30723 20224 20223 0 -1 0 18035 0 1 0 15256 45 0 0 16 0 10 0 778417443 855195648 28904 4294967295 134512640 134569956 3221224384 3221214556 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208788 28904 13086 16 0 208772 0
vsize: 835152
[startup+190.023 s]
Raw data (loadavg): 1.01 1.02 1.00 2/63 30733
Raw data (stat): 30724 (java) R 30723 20224 20223 0 -1 0 18035 0 1 0 16109 45 0 0 16 0 10 0 778417443 855195648 29198 4294967295 134512640 134569956 3221224384 3221214368 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208788 29198 13086 16 0 208772 0
vsize: 835152
[startup+200.023 s]
Raw data (loadavg): 1.01 1.02 1.00 2/63 30733
Raw data (stat): 30724 (java) R 30723 20224 20223 0 -1 0 18035 0 1 0 16964 46 0 0 16 0 10 0 778417443 855195648 29487 4294967295 134512640 134569956 3221224384 3221214488 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208788 29487 13086 16 0 208772 0
vsize: 835152
[startup+210.027 s]
Raw data (loadavg): 1.01 1.02 1.00 2/63 30733
Raw data (stat): 30724 (java) S 30723 20224 20223 0 -1 0 18035 0 1 0 17821 46 0 0 16 0 10 0 778417443 855195648 29817 4294967295 134512640 134569956 3221224384 3221213728 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208788 29817 13086 16 0 208772 0
vsize: 835152
[startup+220.031 s]
Raw data (loadavg): 1.00 1.02 1.00 2/63 30733
Raw data (stat): 30724 (java) R 30723 20224 20223 0 -1 0 18035 0 1 0 18683 47 0 0 16 0 10 0 778417443 855195648 30027 4294967295 134512640 134569956 3221224384 3221214200 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208788 30027 13086 16 0 208772 0
vsize: 835152
[startup+230.032 s]
Raw data (loadavg): 1.00 1.02 1.00 2/63 30733
Raw data (stat): 30724 (java) R 30723 20224 20223 0 -1 0 18035 0 1 0 19547 47 0 0 16 0 10 0 778417443 855195648 30420 4294967295 134512640 134569956 3221224384 3221214200 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208788 30420 13086 16 0 208772 0
vsize: 835152
[startup+240.032 s]
Raw data (loadavg): 1.00 1.02 1.00 2/63 30733
Raw data (stat): 30724 (java) R 30723 20224 20223 0 -1 0 18035 0 1 0 20414 48 0 0 16 0 10 0 778417443 855195648 30637 4294967295 134512640 134569956 3221224384 3221214440 1074489757 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208788 30637 13086 16 0 208772 0
vsize: 835152
[startup+250.032 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 30733
Raw data (stat): 30724 (java) R 30723 20224 20223 0 -1 0 18035 0 1 0 21274 49 0 0 16 0 10 0 778417443 855195648 30874 4294967295 134512640 134569956 3221224384 3221214724 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208788 30874 13086 16 0 208772 0
vsize: 835152
[startup+260.033 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 30733
Raw data (stat): 30724 (java) R 30723 20224 20223 0 -1 0 18035 0 1 0 22138 49 0 0 16 0 10 0 778417443 855195648 31118 4294967295 134512640 134569956 3221224384 3221214368 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208788 31118 13086 16 0 208772 0
vsize: 835152
[startup+270.039 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 30733
Raw data (stat): 30724 (java) R 30723 20224 20223 0 -1 0 18035 0 1 0 23005 49 0 0 16 0 10 0 778417443 855195648 31352 4294967295 134512640 134569956 3221224384 3221214200 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208788 31352 13086 16 0 208772 0
vsize: 835152
[startup+280.044 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 30733
Raw data (stat): 30724 (java) R 30723 20224 20223 0 -1 0 18035 0 1 0 23873 49 0 0 16 0 10 0 778417443 855195648 31582 4294967295 134512640 134569956 3221224384 3221214488 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208788 31582 13086 16 0 208772 0
vsize: 835152
[startup+290.045 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 30733
Raw data (stat): 30724 (java) R 30723 20224 20223 0 -1 0 18035 0 1 0 24740 50 0 0 16 0 10 0 778417443 855195648 31808 4294967295 134512640 134569956 3221224384 3221214488 1131172880 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208788 31808 13086 16 0 208772 0
vsize: 835152
[startup+300.045 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 30733
Raw data (stat): 30724 (java) R 30723 20224 20223 0 -1 0 18035 0 1 0 25608 50 0 0 16 0 10 0 778417443 855195648 32031 4294967295 134512640 134569956 3221224384 3221214488 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208788 32031 13086 16 0 208772 0
vsize: 835152
[startup+310.048 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 30733
Raw data (stat): 30724 (java) R 30723 20224 20223 0 -1 0 18035 0 1 0 26478 51 0 0 16 0 10 0 778417443 855195648 32244 4294967295 134512640 134569956 3221224384 3221214732 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208788 32244 13086 16 0 208772 0
vsize: 835152
[startup+320.049 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 30733
Raw data (stat): 30724 (java) R 30723 20224 20223 0 -1 0 18035 0 1 0 27349 51 0 0 16 0 10 0 778417443 855195648 32457 4294967295 134512640 134569956 3221224384 3221214368 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208788 32457 13086 16 0 208772 0
vsize: 835152
[startup+330.05 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 30733
Raw data (stat): 30724 (java) R 30723 20224 20223 0 -1 0 18035 0 1 0 28221 51 0 0 16 0 10 0 778417443 855195648 32666 4294967295 134512640 134569956 3221224384 3221214232 1080019600 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208788 32666 13086 16 0 208772 0
vsize: 835152
[startup+340.055 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 30733
Raw data (stat): 30724 (java) R 30723 20224 20223 0 -1 0 18035 0 1 0 29095 51 0 0 16 0 10 0 778417443 855195648 32870 4294967295 134512640 134569956 3221224384 3221214368 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208788 32870 13086 16 0 208772 0
vsize: 835152
[startup+350.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 30733
Raw data (stat): 30724 (java) R 30723 20224 20223 0 -1 0 18035 0 1 0 29966 52 0 0 16 0 10 0 778417443 855195648 33068 4294967295 134512640 134569956 3221224384 3221214200 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208788 33068 13086 16 0 208772 0
vsize: 835152
[startup+360.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 30733
Raw data (stat): 30724 (java) R 30723 20224 20223 0 -1 0 18035 0 1 0 30838 52 0 0 16 0 10 0 778417443 855195648 33268 4294967295 134512640 134569956 3221224384 3221214368 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208788 33268 13086 16 0 208772 0
vsize: 835152
[startup+370.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 30733
Raw data (stat): 30724 (java) R 30723 20224 20223 0 -1 0 18035 0 1 0 31710 53 0 0 16 0 10 0 778417443 855195648 33465 4294967295 134512640 134569956 3221224384 3221214488 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208788 33465 13086 16 0 208772 0
vsize: 835152
[startup+380.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 30733
Raw data (stat): 30724 (java) R 30723 20224 20223 0 -1 0 18035 0 1 0 32583 53 0 0 16 0 10 0 778417443 855195648 33785 4294967295 134512640 134569956 3221224384 3221214232 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208788 33785 13086 16 0 208772 0
vsize: 835152
[startup+390.067 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 30733
Raw data (stat): 30724 (java) R 30723 20224 20223 0 -1 0 18035 0 1 0 33452 53 0 0 16 0 10 0 778417443 855195648 33938 4294967295 134512640 134569956 3221224384 3221214368 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208788 33938 13086 16 0 208772 0
vsize: 835152
[startup+400.068 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 30733
Raw data (stat): 30724 (java) R 30723 20224 20223 0 -1 0 18035 0 1 0 34328 53 0 0 16 0 10 0 778417443 855195648 34243 4294967295 134512640 134569956 3221224384 3221214368 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208788 34243 13086 16 0 208772 0
vsize: 835152
[startup+410.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 30733
Raw data (stat): 30724 (java) R 30723 20224 20223 0 -1 0 18035 0 1 0 35203 54 0 0 16 0 10 0 778417443 855195648 34427 4294967295 134512640 134569956 3221224384 3221214724 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208788 34427 13086 16 0 208772 0
vsize: 835152
[startup+420.071 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 30733
Raw data (stat): 30724 (java) R 30723 20224 20223 0 -1 0 18035 0 1 0 36079 54 0 0 16 0 10 0 778417443 855195648 34612 4294967295 134512640 134569956 3221224384 3221214368 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208788 34612 13086 16 0 208772 0
vsize: 835152
[startup+430.071 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 30733
Raw data (stat): 30724 (java) R 30723 20224 20223 0 -1 0 18035 0 1 0 36956 55 0 0 16 0 10 0 778417443 855195648 34788 4294967295 134512640 134569956 3221224384 3221214732 1080204166 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208788 34788 13086 16 0 208772 0
vsize: 835152
[startup+440.076 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 30733
Raw data (stat): 30724 (java) S 30723 20224 20223 0 -1 0 18035 0 1 0 37829 55 0 0 16 0 10 0 778417443 855195648 34967 4294967295 134512640 134569956 3221224384 3221213440 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208788 34967 13086 16 0 208772 0
vsize: 835152
[startup+450.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 30733
Raw data (stat): 30724 (java) S 30723 20224 20223 0 -1 0 18035 0 1 0 38703 56 0 0 16 0 10 0 778417443 855195648 35143 4294967295 134512640 134569956 3221224384 3221213724 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208788 35143 13086 16 0 208772 0
vsize: 835152
[startup+460.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 30733
Raw data (stat): 30724 (java) R 30723 20224 20223 0 -1 0 18035 0 1 0 39579 56 0 0 15 0 10 0 778417443 855195648 35328 4294967295 134512640 134569956 3221224384 3221214484 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208788 35328 13086 16 0 208772 0
vsize: 835152
[startup+470.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 30733
Raw data (stat): 30724 (java) R 30723 20224 20223 0 -1 0 18035 0 1 0 40457 57 0 0 16 0 10 0 778417443 855195648 35502 4294967295 134512640 134569956 3221224384 3221214488 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208788 35502 13086 16 0 208772 0
vsize: 835152
[startup+480.081 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 30733
Raw data (stat): 30724 (java) R 30723 20224 20223 0 -1 0 18035 0 1 0 41336 58 0 0 16 0 10 0 778417443 855195648 35662 4294967295 134512640 134569956 3221224384 3221214368 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208788 35662 13086 16 0 208772 0
vsize: 835152
[startup+490.083 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 30733
Raw data (stat): 30724 (java) R 30723 20224 20223 0 -1 0 18035 0 1 0 42214 58 0 0 16 0 10 0 778417443 855195648 35825 4294967295 134512640 134569956 3221224384 3221214724 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208788 35825 13086 16 0 208772 0
vsize: 835152
[startup+500.083 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 30733
Raw data (stat): 30724 (java) R 30723 20224 20223 0 -1 0 18035 0 1 0 43090 59 0 0 16 0 10 0 778417443 855195648 35989 4294967295 134512640 134569956 3221224384 3221214732 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208788 35989 13086 16 0 208772 0
vsize: 835152
[startup+510.083 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 30733
Raw data (stat): 30724 (java) R 30723 20224 20223 0 -1 0 18035 0 1 0 43968 59 0 0 16 0 10 0 778417443 855195648 36155 4294967295 134512640 134569956 3221224384 3221214724 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208788 36155 13086 16 0 208772 0
vsize: 835152
[startup+520.089 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 30733
Raw data (stat): 30724 (java) S 30723 20224 20223 0 -1 0 18035 0 1 0 44841 60 0 0 16 0 10 0 778417443 855195648 36320 4294967295 134512640 134569956 3221224384 3221213472 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208788 36320 13086 16 0 208772 0
vsize: 835152
[startup+530.089 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 30733
Raw data (stat): 30724 (java) R 30723 20224 20223 0 -1 0 18035 0 1 0 45716 60 0 0 16 0 10 0 778417443 855195648 36489 4294967295 134512640 134569956 3221224384 3221214368 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208788 36489 13086 16 0 208772 0
vsize: 835152
[startup+540.095 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 30733
Raw data (stat): 30724 (java) R 30723 20224 20223 0 -1 0 18035 0 1 0 46596 60 0 0 16 0 10 0 778417443 855195648 36648 4294967295 134512640 134569956 3221224384 3221214200 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208788 36648 13086 16 0 208772 0
vsize: 835152
[startup+550.096 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 30733
Raw data (stat): 30724 (java) R 30723 20224 20223 0 -1 0 18035 0 1 0 47472 60 0 0 16 0 10 0 778417443 855195648 36807 4294967295 134512640 134569956 3221224384 3221214724 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208788 36807 13086 16 0 208772 0
vsize: 835152
[startup+560.097 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 30733
Raw data (stat): 30724 (java) R 30723 20224 20223 0 -1 0 18035 0 1 0 48348 61 0 0 16 0 10 0 778417443 855195648 36962 4294967295 134512640 134569956 3221224384 3221214368 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208788 36962 13086 16 0 208772 0
vsize: 835152
[startup+570.098 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 30733
Raw data (stat): 30724 (java) R 30723 20224 20223 0 -1 0 18035 0 1 0 49226 62 0 0 16 0 10 0 778417443 855195648 37116 4294967295 134512640 134569956 3221224384 3221214732 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208788 37116 13086 16 0 208772 0
vsize: 835152
[startup+580.099 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 30733
Raw data (stat): 30724 (java) R 30723 20224 20223 0 -1 0 18035 0 1 0 50107 62 0 0 16 0 10 0 778417443 855195648 37268 4294967295 134512640 134569956 3221224384 3221214732 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208788 37268 13086 16 0 208772 0
vsize: 835152
[startup+590.099 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 30733
Raw data (stat): 30724 (java) R 30723 20224 20223 0 -1 0 18035 0 1 0 50988 62 0 0 16 0 10 0 778417443 855195648 37416 4294967295 134512640 134569956 3221224384 3221214200 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208788 37416 13086 16 0 208772 0
vsize: 835152
[startup+600.103 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 30733
Raw data (stat): 30724 (java) S 30723 20224 20223 0 -1 0 18035 0 1 0 51866 63 0 0 16 0 10 0 778417443 855195648 37567 4294967295 134512640 134569956 3221224384 3221213624 1073952481 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208788 37567 13086 16 0 208772 0
vsize: 835152
[startup+610.103 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 30733
Raw data (stat): 30724 (java) R 30723 20224 20223 0 -1 0 18035 0 1 0 52743 63 0 0 15 0 10 0 778417443 855195648 37724 4294967295 134512640 134569956 3221224384 3221214724 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208788 37724 13086 16 0 208772 0
vsize: 835152
[startup+620.104 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 30733
Raw data (stat): 30724 (java) R 30723 20224 20223 0 -1 0 18035 0 1 0 53624 63 0 0 15 0 10 0 778417443 855195648 37874 4294967295 134512640 134569956 3221224384 3221214488 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208788 37874 13086 16 0 208772 0
vsize: 835152
[startup+630.104 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 30733
Raw data (stat): 30724 (java) R 30723 20224 20223 0 -1 0 18035 0 1 0 54506 63 0 0 16 0 10 0 778417443 855195648 38013 4294967295 134512640 134569956 3221224384 3221214200 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208788 38013 13086 16 0 208772 0
vsize: 835152
[startup+640.105 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 30733
Raw data (stat): 30724 (java) R 30723 20224 20223 0 -1 0 18035 0 1 0 55390 64 0 0 16 0 10 0 778417443 855195648 38156 4294967295 134512640 134569956 3221224384 3221214612 1131209267 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208788 38156 13086 16 0 208772 0
vsize: 835152
[startup+650.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 30733
Raw data (stat): 30724 (java) R 30723 20224 20223 0 -1 0 18035 0 1 0 56279 64 0 0 16 0 10 0 778417443 855195648 38290 4294967295 134512640 134569956 3221224384 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208788 38290 13086 16 0 208772 0
vsize: 835152
[startup+660.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 30733
Raw data (stat): 30724 (java) R 30723 20224 20223 0 -1 0 18035 0 1 0 57168 65 0 0 16 0 10 0 778417443 855195648 38425 4294967295 134512640 134569956 3221224384 3221214488 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208788 38425 13086 16 0 208772 0
vsize: 835152
[startup+670.111 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 30733
Raw data (stat): 30724 (java) R 30723 20224 20223 0 -1 0 18035 0 1 0 58053 65 0 0 16 0 10 0 778417443 855195648 38545 4294967295 134512640 134569956 3221224384 3221214824 1131145391 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208788 38545 13086 16 0 208772 0
vsize: 835152
[startup+680.112 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 30733
Raw data (stat): 30724 (java) R 30723 20224 20223 0 -1 0 18035 0 1 0 58948 66 0 0 16 0 10 0 778417443 855195648 38671 4294967295 134512640 134569956 3221224384 3221214440 1074489757 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208788 38671 13086 16 0 208772 0
vsize: 835152
[startup+690.116 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 30733
Raw data (stat): 30724 (java) S 30723 20224 20223 0 -1 0 18035 0 1 0 59830 66 0 0 16 0 10 0 778417443 855195648 38767 4294967295 134512640 134569956 3221224384 3221213440 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208788 38767 13086 16 0 208772 0
vsize: 835152
[startup+700.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 30733
Raw data (stat): 30724 (java) R 30723 20224 20223 0 -1 0 18035 0 1 0 60711 67 0 0 16 0 10 0 778417443 855195648 38894 4294967295 134512640 134569956 3221224384 3221214200 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208788 38894 13086 16 0 208772 0
vsize: 835152
[startup+710.121 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 30733
Raw data (stat): 30724 (java) R 30723 20224 20223 0 -1 0 18035 0 1 0 61591 67 0 0 16 0 10 0 778417443 855195648 39029 4294967295 134512640 134569956 3221224384 3221214732 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208788 39029 13086 16 0 208772 0
vsize: 835152
[startup+720.123 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 30733
Raw data (stat): 30724 (java) R 30723 20224 20223 0 -1 0 18035 0 1 0 62472 68 0 0 16 0 10 0 778417443 855195648 39159 4294967295 134512640 134569956 3221224384 3221214368 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208788 39159 13086 16 0 208772 0
vsize: 835152
[startup+730.127 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 30733
Raw data (stat): 30724 (java) R 30723 20224 20223 0 -1 0 18035 0 1 0 63354 68 0 0 16 0 10 0 778417443 855195648 39293 4294967295 134512640 134569956 3221224384 3221214200 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208788 39293 13086 16 0 208772 0
vsize: 835152
[startup+740.129 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 30733
Raw data (stat): 30724 (java) R 30723 20224 20223 0 -1 0 18035 0 1 0 64237 68 0 0 16 0 10 0 778417443 855195648 39426 4294967295 134512640 134569956 3221224384 3221214368 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208788 39426 13086 16 0 208772 0
vsize: 835152
[startup+750.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 30733
Raw data (stat): 30724 (java) R 30723 20224 20223 0 -1 0 18035 0 1 0 65121 68 0 0 16 0 10 0 778417443 855195648 40052 4294967295 134512640 134569956 3221224384 3221214368 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208788 40052 13086 16 0 208772 0
vsize: 835152
[startup+760.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 30733
Raw data (stat): 30724 (java) R 30723 20224 20223 0 -1 0 18035 0 1 0 66011 68 0 0 16 0 10 0 778417443 855195648 40157 4294967295 134512640 134569956 3221224384 3221214488 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208788 40157 13086 16 0 208772 0
vsize: 835152
[startup+770.133 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 30733
Raw data (stat): 30724 (java) R 30723 20224 20223 0 -1 0 18035 0 1 0 66887 68 0 0 16 0 10 0 778417443 855195648 40229 4294967295 134512640 134569956 3221224384 3221214200 1080019747 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208788 40229 13086 16 0 208772 0
vsize: 835152
[startup+780.134 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 30733
Raw data (stat): 30724 (java) R 30723 20224 20223 0 -1 0 18035 0 1 0 67760 68 0 0 17 0 10 0 778417443 855195648 40358 4294967295 134512640 134569956 3221224384 3221214488 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208788 40358 13086 16 0 208772 0
vsize: 835152
[startup+790.139 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 30733
Raw data (stat): 30724 (java) R 30723 20224 20223 0 -1 0 18035 0 1 0 68634 69 0 0 16 0 10 0 778417443 855195648 40484 4294967295 134512640 134569956 3221224384 3221214724 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208788 40484 13086 16 0 208772 0
vsize: 835152
[startup+800.14 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 30733
Raw data (stat): 30724 (java) R 30723 20224 20223 0 -1 0 18035 0 1 0 69505 69 0 0 16 0 10 0 778417443 855195648 40611 4294967295 134512640 134569956 3221224384 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208788 40611 13086 16 0 208772 0
vsize: 835152
[startup+810.141 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 30733
Raw data (stat): 30724 (java) R 30723 20224 20223 0 -1 0 18035 0 1 0 70375 70 0 0 17 0 10 0 778417443 855195648 40738 4294967295 134512640 134569956 3221224384 3221214732 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208788 40738 13086 16 0 208772 0
vsize: 835152
[startup+820.141 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 30733
Raw data (stat): 30724 (java) R 30723 20224 20223 0 -1 0 18035 0 1 0 71247 70 0 0 16 0 10 0 778417443 855195648 40864 4294967295 134512640 134569956 3221224384 3221214368 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208788 40864 13086 16 0 208772 0
vsize: 835152
[startup+830.141 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 30733
Raw data (stat): 30724 (java) R 30723 20224 20223 0 -1 0 18035 0 1 0 72119 71 0 0 16 0 10 0 778417443 855195648 40990 4294967295 134512640 134569956 3221224384 3221214368 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208788 40990 13086 16 0 208772 0
vsize: 835152
[startup+840.142 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 30733
Raw data (stat): 30724 (java) R 30723 20224 20223 0 -1 0 18035 0 1 0 72991 72 0 0 16 0 10 0 778417443 855195648 41132 4294967295 134512640 134569956 3221224384 3221214368 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208788 41132 13086 16 0 208772 0
vsize: 835152
[startup+850.143 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 30733
Raw data (stat): 30724 (java) R 30723 20224 20223 0 -1 0 18035 0 1 0 73862 72 0 0 16 0 10 0 778417443 855195648 41239 4294967295 134512640 134569956 3221224384 3221214484 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208788 41239 13086 16 0 208772 0
vsize: 835152
[startup+860.143 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 30733
Raw data (stat): 30724 (java) R 30723 20224 20223 0 -1 0 18035 0 1 0 74734 73 0 0 16 0 10 0 778417443 855195648 41357 4294967295 134512640 134569956 3221224384 3221214488 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208788 41357 13086 16 0 208772 0
vsize: 835152
[startup+870.144 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 30733
Raw data (stat): 30724 (java) R 30723 20224 20223 0 -1 0 18035 0 1 0 75607 74 0 0 16 0 10 0 778417443 855195648 41504 4294967295 134512640 134569956 3221224384 3221214200 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208788 41504 13086 16 0 208772 0
vsize: 835152
[startup+880.149 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 30733
Raw data (stat): 30724 (java) R 30723 20224 20223 0 -1 0 18035 0 1 0 76482 74 0 0 16 0 10 0 778417443 855195648 41616 4294967295 134512640 134569956 3221224384 3221214488 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208788 41616 13086 16 0 208772 0
vsize: 835152
[startup+890.152 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 30733
Raw data (stat): 30724 (java) R 30723 20224 20223 0 -1 0 18035 0 1 0 77357 74 0 0 16 0 10 0 778417443 855195648 41736 4294967295 134512640 134569956 3221224384 3221214288 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208788 41736 13086 16 0 208772 0
vsize: 835152
[startup+900.154 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 30733
Raw data (stat): 30724 (java) R 30723 20224 20223 0 -1 0 18035 0 1 0 78234 75 0 0 16 0 10 0 778417443 855195648 41849 4294967295 134512640 134569956 3221224384 3221214556 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208788 41849 13086 16 0 208772 0
vsize: 835152
[startup+910.157 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 30733
Raw data (stat): 30724 (java) R 30723 20224 20223 0 -1 0 18035 0 1 0 79113 75 0 0 16 0 10 0 778417443 855195648 41987 4294967295 134512640 134569956 3221224384 3221214232 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208788 41987 13086 16 0 208772 0
vsize: 835152
[startup+920.158 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 30733
Raw data (stat): 30724 (java) R 30723 20224 20223 0 -1 0 18035 0 1 0 79984 75 0 0 16 0 10 0 778417443 855195648 42237 4294967295 134512640 134569956 3221224384 3221214232 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208788 42237 13086 16 0 208772 0
vsize: 835152
[startup+930.158 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30734
Raw data (stat): 30724 (java) R 30723 20224 20223 0 -1 0 18085 0 1 0 80879 75 0 0 21 0 11 0 778417443 857186304 43345 4294967295 134512640 134569956 3221224384 3221214768 1131366381 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209274 43345 13086 16 0 209258 0
vsize: 837096
[startup+940.16 s]
Raw data (loadavg): 1.00 1.00 1.00 3/64 30734
Raw data (stat): 30724 (java) R 30723 20224 20223 0 -1 0 18087 0 1 0 81732 76 0 0 18 0 11 0 778417443 856539136 46493 4294967295 134512640 134569956 3221224384 3221214800 1131372565 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209116 46493 13086 16 0 209100 0
vsize: 836464
[startup+950.161 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30734
Raw data (stat): 30724 (java) R 30723 20224 20223 0 -1 0 18088 0 1 0 82676 76 0 0 18 0 11 0 778417443 856539136 46498 4294967295 134512640 134569956 3221224384 3221214776 1131196711 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209116 46498 13086 16 0 209100 0
vsize: 836464
[startup+960.161 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30734
Raw data (stat): 30724 (java) R 30723 20224 20223 0 -1 0 18088 0 1 0 83608 76 0 0 17 0 11 0 778417443 856539136 46498 4294967295 134512640 134569956 3221224384 3221214696 1131276510 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209116 46498 13086 16 0 209100 0
vsize: 836464
[startup+970.164 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30734
Raw data (stat): 30724 (java) R 30723 20224 20223 0 -1 0 18088 0 1 0 84532 76 0 0 15 0 11 0 778417443 856539136 46498 4294967295 134512640 134569956 3221224384 3221214696 1131275907 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209116 46498 13086 16 0 209100 0
vsize: 836464
[startup+980.164 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30734
Raw data (stat): 30724 (java) R 30723 20224 20223 0 -1 0 18088 0 1 0 85472 77 0 0 18 0 11 0 778417443 856539136 46725 4294967295 134512640 134569956 3221224384 3221214704 1131241423 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209116 46725 13086 16 0 209100 0
vsize: 836464
[startup+990.165 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30734
Raw data (stat): 30724 (java) R 30723 20224 20223 0 -1 0 18088 0 1 0 86349 77 0 0 18 0 11 0 778417443 856539136 47298 4294967295 134512640 134569956 3221224384 3221214680 1131374675 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209116 47298 13086 16 0 209100 0
vsize: 836464
[startup+1000.17 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30734
Raw data (stat): 30724 (java) R 30723 20224 20223 0 -1 0 18088 0 1 0 87168 77 0 0 16 0 11 0 778417443 856539136 48809 4294967295 134512640 134569956 3221224384 3221214800 1131396756 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209116 48809 13086 16 0 209100 0
vsize: 836464
[startup+1010.17 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30734
Raw data (stat): 30724 (java) R 30723 20224 20223 0 -1 0 18088 0 1 0 88080 77 0 0 16 0 11 0 778417443 856539136 49474 4294967295 134512640 134569956 3221224384 3221214768 1131365250 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209116 49474 13086 16 0 209100 0
vsize: 836464
[startup+1020.17 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30734
Raw data (stat): 30724 (java) R 30723 20224 20223 0 -1 0 18088 0 1 0 89023 77 0 0 17 0 11 0 778417443 856539136 49474 4294967295 134512640 134569956 3221224384 3221214704 1131241476 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209116 49474 13086 16 0 209100 0
vsize: 836464
[startup+1030.17 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30734
Raw data (stat): 30724 (java) R 30723 20224 20223 0 -1 0 18088 0 1 0 89935 77 0 0 17 0 11 0 778417443 856539136 50225 4294967295 134512640 134569956 3221224384 3221214736 1131172895 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209116 50225 13086 16 0 209100 0
vsize: 836464
[startup+1040.17 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30734
Raw data (stat): 30724 (java) R 30723 20224 20223 0 -1 0 18088 0 1 0 90824 77 0 0 16 0 11 0 778417443 856539136 50452 4294967295 134512640 134569956 3221224384 3221214736 1131172895 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209116 50452 13086 16 0 209100 0
vsize: 836464
[startup+1050.17 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30734
Raw data (stat): 30724 (java) R 30723 20224 20223 0 -1 0 18088 0 1 0 91693 77 0 0 16 0 11 0 778417443 856539136 51202 4294967295 134512640 134569956 3221224384 3221214736 1131172912 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209116 51202 13086 16 0 209100 0
vsize: 836464
[startup+1060.17 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30734
Raw data (stat): 30724 (java) R 30723 20224 20223 0 -1 0 18088 0 1 0 92599 77 0 0 17 0 11 0 778417443 856539136 51710 4294967295 134512640 134569956 3221224384 3221214768 1131365238 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209116 51710 13086 16 0 209100 0
vsize: 836464
[startup+1070.17 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30734
Raw data (stat): 30724 (java) R 30723 20224 20223 0 -1 0 18088 0 1 0 93473 77 0 0 16 0 11 0 778417443 856539136 53014 4294967295 134512640 134569956 3221224384 3221214800 1131396384 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209116 53014 13086 16 0 209100 0
vsize: 836464
[startup+1080.17 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30734
Raw data (stat): 30724 (java) R 30723 20224 20223 0 -1 0 18088 0 1 0 94385 77 0 0 18 0 11 0 778417443 856539136 53977 4294967295 134512640 134569956 3221224384 3221214704 1131241557 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209116 53977 13086 16 0 209100 0
vsize: 836464
[startup+1090.17 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30734
Raw data (stat): 30724 (java) S 30723 20224 20223 0 -1 0 18088 0 1 0 95303 77 0 0 18 0 11 0 778417443 856539136 53981 4294967295 134512640 134569956 3221224384 3221213408 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209116 53981 13086 16 0 209100 0
vsize: 836464
[startup+1100.17 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30734
Raw data (stat): 30724 (java) R 30723 20224 20223 0 -1 0 18088 0 1 0 96206 77 0 0 17 0 11 0 778417443 856539136 54329 4294967295 134512640 134569956 3221224384 3221214640 1131431868 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209116 54329 13086 16 0 209100 0
vsize: 836464
[startup+1110.17 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30734
Raw data (stat): 30724 (java) R 30723 20224 20223 0 -1 0 18088 0 1 0 97060 77 0 0 16 0 11 0 778417443 856539136 55700 4294967295 134512640 134569956 3221224384 3221214576 1131275637 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209116 55700 13086 16 0 209100 0
vsize: 836464
[startup+1120.18 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30734
Raw data (stat): 30724 (java) R 30723 20224 20223 0 -1 0 18088 0 1 0 97957 77 0 0 17 0 11 0 778417443 856539136 57025 4294967295 134512640 134569956 3221224384 3221214800 1131396574 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209116 57025 13086 16 0 209100 0
vsize: 836464
[startup+1130.18 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30734
Raw data (stat): 30724 (java) R 30723 20224 20223 0 -1 0 18088 0 1 0 98914 77 0 0 18 0 11 0 778417443 856539136 57027 4294967295 134512640 134569956 3221224384 3221214776 1131196668 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209116 57027 13086 16 0 209100 0
vsize: 836464
[startup+1140.18 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30734
Raw data (stat): 30724 (java) R 30723 20224 20223 0 -1 0 18088 0 1 0 99870 77 0 0 19 0 11 0 778417443 856539136 57027 4294967295 134512640 134569956 3221224384 3221214732 1130885144 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209116 57027 13086 16 0 209100 0
vsize: 836464
[startup+1150.18 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30734
Raw data (stat): 30724 (java) R 30723 20224 20223 0 -1 0 18088 0 1 0 100768 78 0 0 16 0 11 0 778417443 856539136 57027 4294967295 134512640 134569956 3221224384 3221214760 1131173502 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209116 57027 13086 16 0 209100 0
vsize: 836464
[startup+1160.18 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30734
Raw data (stat): 30724 (java) R 30723 20224 20223 0 -1 0 18088 0 1 0 101661 78 0 0 16 0 11 0 778417443 856539136 57184 4294967295 134512640 134569956 3221224384 3221214760 1131173488 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209116 57184 13086 16 0 209100 0
vsize: 836464
[startup+1170.18 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30734
Raw data (stat): 30724 (java) S 30723 20224 20223 0 -1 0 18088 0 1 0 102570 78 0 0 17 0 11 0 778417443 856539136 57411 4294967295 134512640 134569956 3221224384 3221213448 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209116 57411 13086 16 0 209100 0
vsize: 836464
[startup+1180.18 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30734
Raw data (stat): 30724 (java) R 30723 20224 20223 0 -1 0 18088 0 1 0 103482 78 0 0 17 0 11 0 778417443 856539136 57411 4294967295 134512640 134569956 3221224384 3221214544 1131425328 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209116 57411 13086 16 0 209100 0
vsize: 836464
[startup+1190.18 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30734
Raw data (stat): 30724 (java) R 30723 20224 20223 0 -1 0 18088 0 1 0 104393 79 0 0 17 0 11 0 778417443 856539136 57737 4294967295 134512640 134569956 3221224384 3221214704 1131242239 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209116 57737 13086 16 0 209100 0
vsize: 836464
[startup+1200.18 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30734
Raw data (stat): 30724 (java) R 30723 20224 20223 0 -1 0 18088 0 1 0 105303 79 0 0 16 0 11 0 778417443 856539136 57737 4294967295 134512640 134569956 3221224384 3221214760 1131173509 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209116 57737 13086 16 0 209100 0
vsize: 836464
[startup+1210.18 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30734
Raw data (stat): 30724 (java) R 30723 20224 20223 0 -1 0 18088 0 1 0 106241 79 0 0 19 0 11 0 778417443 856539136 57737 4294967295 134512640 134569956 3221224384 3221214736 1131400674 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209116 57737 13086 16 0 209100 0
vsize: 836464
[startup+1220.18 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30734
Raw data (stat): 30724 (java) R 30723 20224 20223 0 -1 0 18088 0 1 0 107075 79 0 0 16 0 11 0 778417443 856539136 58444 4294967295 134512640 134569956 3221224384 3221214680 1131374689 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209116 58444 13086 16 0 209100 0
vsize: 836464
[startup+1230.18 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30734
Raw data (stat): 30724 (java) R 30723 20224 20223 0 -1 0 18088 0 1 0 107944 79 0 0 16 0 11 0 778417443 856539136 60227 4294967295 134512640 134569956 3221224384 3221214768 1131400625 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209116 60227 13086 16 0 209100 0
vsize: 836464
[startup+1240.18 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30734
Raw data (stat): 30724 (java) R 30723 20224 20223 0 -1 0 18088 0 1 0 108790 79 0 0 16 0 11 0 778417443 856539136 61599 4294967295 134512640 134569956 3221224384 3221214576 1131275545 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209116 61599 13086 16 0 209100 0
vsize: 836464
[startup+1250.18 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30734
Raw data (stat): 30724 (java) R 30723 20224 20223 0 -1 0 18088 0 1 0 109678 79 0 0 19 0 11 0 778417443 856539136 62830 4294967295 134512640 134569956 3221224384 3221214488 1131199605 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209116 62830 13086 16 0 209100 0
vsize: 836464
[startup+1260.18 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30734
Raw data (stat): 30724 (java) R 30723 20224 20223 0 -1 0 18088 0 1 0 110616 79 0 0 16 0 11 0 778417443 856539136 62830 4294967295 134512640 134569956 3221224384 3221214800 1131396387 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209116 62830 13086 16 0 209100 0
vsize: 836464
[startup+1270.18 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30734
Raw data (stat): 30724 (java) R 30723 20224 20223 0 -1 0 18088 0 1 0 111577 79 0 0 19 0 11 0 778417443 856539136 62830 4294967295 134512640 134569956 3221224384 3221214576 1131275549 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209116 62830 13086 16 0 209100 0
vsize: 836464
[startup+1280.18 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30734
Raw data (stat): 30724 (java) R 30723 20224 20223 0 -1 0 18088 0 1 0 112436 79 0 0 17 0 11 0 778417443 856539136 64659 4294967295 134512640 134569956 3221224384 3221214520 1131413296 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209116 64659 13086 16 0 209100 0
vsize: 836464
[startup+1290.18 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30734
Raw data (stat): 30724 (java) R 30723 20224 20223 0 -1 0 18088 0 1 0 113378 79 0 0 17 0 11 0 778417443 856539136 64659 4294967295 134512640 134569956 3221224384 3221214696 1131275935 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209116 64659 13086 16 0 209100 0
vsize: 836464
[startup+1300.18 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30734
Raw data (stat): 30724 (java) R 30723 20224 20223 0 -1 0 18088 0 1 0 114314 79 0 0 17 0 11 0 778417443 856539136 64659 4294967295 134512640 134569956 3221224384 3221214576 1131275898 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209116 64659 13086 16 0 209100 0
vsize: 836464
[startup+1310.19 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30734
Raw data (stat): 30724 (java) S 30723 20224 20223 0 -1 0 18088 0 1 0 115221 79 0 0 18 0 11 0 778417443 856539136 65576 4294967295 134512640 134569956 3221224384 3221213440 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209116 65576 13086 16 0 209100 0
vsize: 836464
[startup+1320.19 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30734
Raw data (stat): 30724 (java) R 30723 20224 20223 0 -1 0 18088 0 1 0 116125 79 0 0 16 0 11 0 778417443 856539136 65591 4294967295 134512640 134569956 3221224384 3221214576 1131275935 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209116 65591 13086 16 0 209100 0
vsize: 836464
[startup+1330.19 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30734
Raw data (stat): 30724 (java) R 30723 20224 20223 0 -1 0 18088 0 1 0 117032 79 0 0 16 0 11 0 778417443 856539136 66831 4294967295 134512640 134569956 3221224384 3221214736 1131400664 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209116 66831 13086 16 0 209100 0
vsize: 836464
[startup+1340.19 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30734
Raw data (stat): 30724 (java) R 30723 20224 20223 0 -1 0 18088 0 1 0 117956 79 0 0 16 0 11 0 778417443 856539136 66922 4294967295 134512640 134569956 3221224384 3221214800 1131396504 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209116 66922 13086 16 0 209100 0
vsize: 836464
[startup+1350.2 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30734
Raw data (stat): 30724 (java) S 30723 20224 20223 0 -1 0 18088 0 1 0 118851 79 0 0 20 0 11 0 778417443 856539136 67611 4294967295 134512640 134569956 3221224384 3221213440 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209116 67611 13086 16 0 209100 0
vsize: 836464
[startup+1360.2 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30734
Raw data (stat): 30724 (java) R 30723 20224 20223 0 -1 0 18088 0 1 0 119731 79 0 0 17 0 11 0 778417443 856539136 68914 4294967295 134512640 134569956 3221224384 3221214800 1131396800 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209116 68914 13086 16 0 209100 0
vsize: 836464
[startup+1370.2 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30734
Raw data (stat): 30724 (java) R 30723 20224 20223 0 -1 0 18088 0 1 0 120598 79 0 0 17 0 11 0 778417443 856539136 69598 4294967295 134512640 134569956 3221224384 3221214832 1131490914 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209116 69598 13086 16 0 209100 0
vsize: 836464
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1370.62 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 30736
Raw data (stat): 30724 (java) Z 30723 20224 20223 0 -1 1036 18088 50572 1 0 120601 79 16106 122 16 0 1 0 778417443 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1370.62
CPU time (s): 1369.11
CPU user time (s): 1367.09
CPU system time (s): 2.02669
CPU usage (%): 99.8901
Max. virtual memory (Kb): 837096
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####