PB'05 competition: run trace

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
General information on the benchmark

Name	normalized-opb/web/uclid_pb_benchmarks/normalized-ooo.ex.mem.LsqHdStrong.ucl.opb
MD5SUM	dcb6d1c3f66e900ae345e6fa455bef2a
Bench Category	no optimization function (SAT)
Has Objective Function	NO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	0
Biggest coefficient in the objective function	0
Number of bits for the biggest coefficient in the objective function	0
Sum of the numbers in the objective function	0
Number of bits of the sum of numbers in the objective function	0
Biggest number in a constraint	130
Number of bits of the biggest number in a constraint	8
Biggest sum of numbers in a constraint	512
Number of bits of the biggest sum of numbers	10
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables	168111
Total number of constraints	487525
Number of constraints which are clauses	468727
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	18798
Minimum length of a constraint	1
Maximum length of a constraint	15
Trace number 29314

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc19 THE 2005-05-25 06:20:28 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=20712 boxname=wulflinc19 idbench=302 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  dcb6d1c3f66e900ae345e6fa455bef2a  /oldhome/oroussel/tmp/wulflinc19/normalized-ooo.ex.mem.LsqHdStrong.ucl.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc19/normalized-ooo.ex.mem.LsqHdStrong.ucl.opb
IDLAUNCH: 20712
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.037
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	: 3
cpu MHz		: 451.037
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:        616328 kB
Buffers:         30564 kB
Cached:         360292 kB
SwapCached:        416 kB
Active:          51432 kB
Inactive:       341696 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        616076 kB
SwapTotal:     2097892 kB
SwapFree:      2096804 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5676 kB
Slab:            19540 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 06:43:21 (client local time) WITH STATUS 143 IN 1370.85 SECONDS
stats: 20712 7 1370.85 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/wulflinc19/normalized-ooo.ex.mem.LsqHdStrong.ucl.opb
c reading problem ... c starts	: 0
c conflicts	: 0
c decisions	: 0
c propagations	: 0
c inspects	: 0
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 0
s UNKNOWN
c Total CPU time (ms) : 1369.168
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 1.00 1.01 1.00 2/54 21314
Raw data (stat): 21314 (runsolver) R 21313 10795 10794 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 836665134 1052672 99 4294967295 134512640 135381576 3221224384 3221219604 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.0006 s]
Raw data (loadavg): 1.14 1.05 1.01 2/63 21323
Raw data (stat): 21314 (java) R 21313 10795 10794 0 -1 0 18060 0 1 0 780 41 0 0 24 0 10 0 836665134 854421504 20901 4294967295 134512640 134569956 3221224368 3221214784 1131156664 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208599 20901 13086 16 0 208583 0
vsize: 834396
[startup+20.0014 s]
Raw data (loadavg): 1.12 1.04 1.01 2/63 21323
Raw data (stat): 21314 (java) R 21313 10795 10794 0 -1 0 18060 0 1 0 1633 41 0 0 25 0 10 0 836665134 854421504 21854 4294967295 134512640 134569956 3221224368 3221214360 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208599 21854 13086 16 0 208583 0
vsize: 834396
[startup+30.0012 s]
Raw data (loadavg): 1.10 1.04 1.01 2/63 21323
Raw data (stat): 21314 (java) R 21313 10795 10794 0 -1 0 18060 0 1 0 2476 41 0 0 24 0 10 0 836665134 854421504 22666 4294967295 134512640 134569956 3221224368 3221214432 1076461336 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208599 22666 13086 16 0 208583 0
vsize: 834396
[startup+40.0021 s]
Raw data (loadavg): 1.09 1.04 1.01 2/63 21323
Raw data (stat): 21314 (java) R 21313 10795 10794 0 -1 0 18060 0 1 0 3333 41 0 0 25 0 10 0 836665134 854421504 23226 4294967295 134512640 134569956 3221224368 3221214484 1076461336 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208599 23226 13086 16 0 208583 0
vsize: 834396
[startup+50.003 s]
Raw data (loadavg): 1.07 1.04 1.01 2/63 21323
Raw data (stat): 21314 (java) R 21313 10795 10794 0 -1 0 18060 0 1 0 4180 42 0 0 25 0 10 0 836665134 854421504 23790 4294967295 134512640 134569956 3221224368 3221214728 1131335823 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208599 23790 13086 16 0 208583 0
vsize: 834396
[startup+60.0036 s]
Raw data (loadavg): 1.06 1.04 1.00 2/63 21323
Raw data (stat): 21314 (java) R 21313 10795 10794 0 -1 0 18060 0 1 0 5029 42 0 0 25 0 10 0 836665134 854421504 24279 4294967295 134512640 134569956 3221224368 3221214360 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208599 24279 13086 16 0 208583 0
vsize: 834396
[startup+70.0064 s]
Raw data (loadavg): 1.05 1.03 1.00 2/63 21323
Raw data (stat): 21314 (java) S 21313 10795 10794 0 -1 0 18060 0 1 0 5880 43 0 0 25 0 10 0 836665134 854421504 24792 4294967295 134512640 134569956 3221224368 3221213720 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208599 24792 13086 16 0 208583 0
vsize: 834396
[startup+80.0062 s]
Raw data (loadavg): 1.04 1.03 1.00 2/63 21323
Raw data (stat): 21314 (java) R 21313 10795 10794 0 -1 0 18060 0 1 0 6728 43 0 0 25 0 10 0 836665134 854421504 25196 4294967295 134512640 134569956 3221224368 3221214584 1130887961 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208599 25196 13086 16 0 208583 0
vsize: 834396
[startup+90.0059 s]
Raw data (loadavg): 1.04 1.03 1.00 3/63 21323
Raw data (stat): 21314 (java) R 21313 10795 10794 0 -1 0 18060 0 1 0 7580 43 0 0 25 0 10 0 836665134 854421504 25532 4294967295 134512640 134569956 3221224368 3221213844 1073952732 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208599 25532 13086 16 0 208583 0
vsize: 834396
[startup+100.006 s]
Raw data (loadavg): 1.03 1.03 1.00 2/63 21323
Raw data (stat): 21314 (java) R 21313 10795 10794 0 -1 0 18060 0 1 0 8423 44 0 0 25 0 10 0 836665134 854421504 25885 4294967295 134512640 134569956 3221224368 3221214360 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208599 25885 13086 16 0 208583 0
vsize: 834396
[startup+110.007 s]
Raw data (loadavg): 1.02 1.03 1.00 2/63 21323
Raw data (stat): 21314 (java) R 21313 10795 10794 0 -1 0 18060 0 1 0 9279 44 0 0 25 0 10 0 836665134 854421504 26214 4294967295 134512640 134569956 3221224368 3221214480 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208599 26214 13086 16 0 208583 0
vsize: 834396
[startup+120.007 s]
Raw data (loadavg): 1.02 1.03 1.00 2/63 21323
Raw data (stat): 21314 (java) R 21313 10795 10794 0 -1 0 18060 0 1 0 10125 44 0 0 25 0 10 0 836665134 854421504 26538 4294967295 134512640 134569956 3221224368 3221214716 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208599 26538 13086 16 0 208583 0
vsize: 834396
[startup+130.007 s]
Raw data (loadavg): 1.02 1.03 1.00 2/63 21323
Raw data (stat): 21314 (java) R 21313 10795 10794 0 -1 0 18060 0 1 0 10962 45 0 0 24 0 10 0 836665134 854421504 26985 4294967295 134512640 134569956 3221224368 3221214360 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208599 26985 13086 16 0 208583 0
vsize: 834396
[startup+140.007 s]
Raw data (loadavg): 1.01 1.02 1.00 2/63 21323
Raw data (stat): 21314 (java) R 21313 10795 10794 0 -1 0 18060 0 1 0 11814 45 0 0 25 0 10 0 836665134 854421504 27259 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208599 27259 13086 16 0 208583 0
vsize: 834396
[startup+150.007 s]
Raw data (loadavg): 1.01 1.02 1.00 2/63 21323
Raw data (stat): 21314 (java) R 21313 10795 10794 0 -1 0 18060 0 1 0 12661 45 0 0 25 0 10 0 836665134 854421504 27632 4294967295 134512640 134569956 3221224368 3221214360 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208599 27632 13086 16 0 208583 0
vsize: 834396
[startup+160.008 s]
Raw data (loadavg): 1.01 1.02 1.00 2/63 21323
Raw data (stat): 21314 (java) S 21313 10795 10794 0 -1 0 18060 0 1 0 13523 45 0 0 25 0 10 0 836665134 854421504 27920 4294967295 134512640 134569956 3221224368 3221213720 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208599 27920 13086 16 0 208583 0
vsize: 834396
[startup+170.008 s]
Raw data (loadavg): 1.01 1.02 1.00 2/63 21323
Raw data (stat): 21314 (java) R 21313 10795 10794 0 -1 0 18060 0 1 0 14379 46 0 0 25 0 10 0 836665134 854421504 28193 4294967295 134512640 134569956 3221224368 3221214360 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208599 28193 13086 16 0 208583 0
vsize: 834396
[startup+180.008 s]
Raw data (loadavg): 1.01 1.02 1.00 2/63 21323
Raw data (stat): 21314 (java) R 21313 10795 10794 0 -1 0 18060 0 1 0 15236 46 0 0 25 0 10 0 836665134 854421504 28477 4294967295 134512640 134569956 3221224368 3221214192 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208599 28477 13086 16 0 208583 0
vsize: 834396
[startup+190.009 s]
Raw data (loadavg): 1.00 1.02 1.00 2/63 21323
Raw data (stat): 21314 (java) R 21313 10795 10794 0 -1 0 18060 0 1 0 16099 47 0 0 25 0 10 0 836665134 854421504 28757 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208599 28757 13086 16 0 208583 0
vsize: 834396
[startup+200.009 s]
Raw data (loadavg): 1.00 1.02 1.00 2/63 21323
Raw data (stat): 21314 (java) R 21313 10795 10794 0 -1 0 18060 0 1 0 16966 47 0 0 25 0 10 0 836665134 854421504 29012 4294967295 134512640 134569956 3221224368 3221214360 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208599 29012 13086 16 0 208583 0
vsize: 834396
[startup+210.01 s]
Raw data (loadavg): 1.00 1.02 1.00 2/63 21323
Raw data (stat): 21314 (java) S 21313 10795 10794 0 -1 0 18060 0 1 0 17822 47 0 0 25 0 10 0 836665134 854421504 29294 4294967295 134512640 134569956 3221224368 3221213432 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208599 29294 13086 16 0 208583 0
vsize: 834396
[startup+220.011 s]
Raw data (loadavg): 1.00 1.02 1.00 2/63 21323
Raw data (stat): 21314 (java) R 21313 10795 10794 0 -1 0 18060 0 1 0 18691 48 0 0 25 0 10 0 836665134 854421504 29538 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208599 29538 13086 16 0 208583 0
vsize: 834396
[startup+230.01 s]
Raw data (loadavg): 1.00 1.02 1.00 2/63 21323
Raw data (stat): 21314 (java) R 21313 10795 10794 0 -1 0 18060 0 1 0 19559 48 0 0 25 0 10 0 836665134 854421504 29885 4294967295 134512640 134569956 3221224368 3221214360 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208599 29885 13086 16 0 208583 0
vsize: 834396
[startup+240.01 s]
Raw data (loadavg): 1.00 1.02 1.00 2/63 21323
Raw data (stat): 21314 (java) R 21313 10795 10794 0 -1 0 18060 0 1 0 20428 48 0 0 25 0 10 0 836665134 854421504 30136 4294967295 134512640 134569956 3221224368 3221214432 1074489757 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208599 30136 13086 16 0 208583 0
vsize: 834396
[startup+250.01 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 21323
Raw data (stat): 21314 (java) R 21313 10795 10794 0 -1 0 18060 0 1 0 21299 49 0 0 25 0 10 0 836665134 854421504 30346 4294967295 134512640 134569956 3221224368 3221214192 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208599 30346 13086 16 0 208583 0
vsize: 834396
[startup+260.012 s]
Raw data (loadavg): 1.23 1.06 1.02 2/63 21323
Raw data (stat): 21314 (java) S 21313 10795 10794 0 -1 0 18060 0 1 0 22171 49 0 0 25 0 10 0 836665134 854421504 30575 4294967295 134512640 134569956 3221224368 3221213432 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208599 30576 13086 16 0 208583 0
vsize: 834396
[startup+270.012 s]
Raw data (loadavg): 1.19 1.06 1.01 2/63 21323
Raw data (stat): 21314 (java) S 21313 10795 10794 0 -1 0 18060 0 1 0 23040 50 0 0 25 0 10 0 836665134 854421504 30788 4294967295 134512640 134569956 3221224368 3221213720 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208599 30788 13086 16 0 208583 0
vsize: 834396
[startup+280.013 s]
Raw data (loadavg): 1.16 1.06 1.01 2/63 21323
Raw data (stat): 21314 (java) R 21313 10795 10794 0 -1 0 18060 0 1 0 23918 50 0 0 25 0 10 0 836665134 854421504 31001 4294967295 134512640 134569956 3221224368 3221214724 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208599 31001 13086 16 0 208583 0
vsize: 834396
[startup+290.013 s]
Raw data (loadavg): 1.21 1.07 1.02 2/63 21323
Raw data (stat): 21314 (java) R 21313 10795 10794 0 -1 0 18060 0 1 0 24806 51 0 0 25 0 10 0 836665134 854421504 31197 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208599 31197 13086 16 0 208583 0
vsize: 834396
[startup+300.013 s]
Raw data (loadavg): 1.18 1.07 1.02 2/63 21323
Raw data (stat): 21314 (java) R 21313 10795 10794 0 -1 0 18060 0 1 0 25692 51 0 0 25 0 10 0 836665134 854421504 31368 4294967295 134512640 134569956 3221224368 3221214480 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208599 31368 13086 16 0 208583 0
vsize: 834396
[startup+310.014 s]
Raw data (loadavg): 1.15 1.07 1.02 2/63 21323
Raw data (stat): 21314 (java) R 21313 10795 10794 0 -1 0 18060 0 1 0 26578 51 0 0 25 0 10 0 836665134 854421504 31534 4294967295 134512640 134569956 3221224368 3221214480 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208599 31534 13086 16 0 208583 0
vsize: 834396
[startup+320.018 s]
Raw data (loadavg): 1.13 1.06 1.02 2/63 21323
Raw data (stat): 21314 (java) S 21313 10795 10794 0 -1 0 18060 0 1 0 27457 51 0 0 25 0 10 0 836665134 854421504 31739 4294967295 134512640 134569956 3221224368 3221213720 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208599 31741 13086 16 0 208583 0
vsize: 834396
[startup+330.018 s]
Raw data (loadavg): 1.11 1.06 1.01 2/63 21323
Raw data (stat): 21314 (java) R 21313 10795 10794 0 -1 0 18060 0 1 0 28347 51 0 0 17 0 10 0 836665134 854421504 31907 4294967295 134512640 134569956 3221224368 3221214724 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208599 31907 13086 16 0 208583 0
vsize: 834396
[startup+340.018 s]
Raw data (loadavg): 1.16 1.07 1.02 2/63 21323
Raw data (stat): 21314 (java) R 21313 10795 10794 0 -1 0 18060 0 1 0 29234 51 0 0 18 0 10 0 836665134 854421504 32071 4294967295 134512640 134569956 3221224368 3221214480 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208599 32071 13086 16 0 208583 0
vsize: 834396
[startup+350.018 s]
Raw data (loadavg): 1.14 1.07 1.02 2/63 21323
Raw data (stat): 21314 (java) R 21313 10795 10794 0 -1 0 18060 0 1 0 30117 52 0 0 18 0 10 0 836665134 854421504 32248 4294967295 134512640 134569956 3221224368 3221214724 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208599 32248 13086 16 0 208583 0
vsize: 834396
[startup+360.019 s]
Raw data (loadavg): 1.12 1.07 1.02 2/63 21323
Raw data (stat): 21314 (java) R 21313 10795 10794 0 -1 0 18060 0 1 0 30996 52 0 0 19 0 10 0 836665134 854421504 32423 4294967295 134512640 134569956 3221224368 3221214724 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208599 32423 13086 16 0 208583 0
vsize: 834396
[startup+370.019 s]
Raw data (loadavg): 1.10 1.06 1.02 2/63 21323
Raw data (stat): 21314 (java) R 21313 10795 10794 0 -1 0 18060 0 1 0 31872 52 0 0 19 0 10 0 836665134 854421504 32605 4294967295 134512640 134569956 3221224368 3221214360 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208599 32605 13086 16 0 208583 0
vsize: 834396
[startup+380.019 s]
Raw data (loadavg): 1.08 1.06 1.01 2/63 21323
Raw data (stat): 21314 (java) R 21313 10795 10794 0 -1 0 18060 0 1 0 32748 52 0 0 21 0 10 0 836665134 854421504 32792 4294967295 134512640 134569956 3221224368 3221214480 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208599 32792 13086 16 0 208583 0
vsize: 834396
[startup+390.019 s]
Raw data (loadavg): 1.07 1.06 1.01 2/63 21323
Raw data (stat): 21314 (java) R 21313 10795 10794 0 -1 0 18060 0 1 0 33624 53 0 0 21 0 10 0 836665134 854421504 32982 4294967295 134512640 134569956 3221224368 3221214192 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208599 32982 13086 16 0 208583 0
vsize: 834396
[startup+400.022 s]
Raw data (loadavg): 1.06 1.06 1.01 2/63 21323
Raw data (stat): 21314 (java) S 21313 10795 10794 0 -1 0 18060 0 1 0 34501 53 0 0 21 0 10 0 836665134 854421504 33169 4294967295 134512640 134569956 3221224368 3221213432 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208599 33169 13086 16 0 208583 0
vsize: 834396
[startup+410.026 s]
Raw data (loadavg): 1.05 1.05 1.01 2/63 21323
Raw data (stat): 21314 (java) R 21313 10795 10794 0 -1 0 18060 0 1 0 35372 53 0 0 16 0 10 0 836665134 854421504 33361 4294967295 134512640 134569956 3221224368 3221214360 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208599 33361 13086 16 0 208583 0
vsize: 834396
[startup+420.027 s]
Raw data (loadavg): 1.04 1.05 1.01 2/63 21323
Raw data (stat): 21314 (java) R 21313 10795 10794 0 -1 0 18060 0 1 0 36250 53 0 0 17 0 10 0 836665134 854421504 33542 4294967295 134512640 134569956 3221224368 3221214360 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208599 33542 13086 16 0 208583 0
vsize: 834396
[startup+430.026 s]
Raw data (loadavg): 1.03 1.05 1.01 2/63 21323
Raw data (stat): 21314 (java) R 21313 10795 10794 0 -1 0 18060 0 1 0 37127 54 0 0 18 0 10 0 836665134 854421504 33715 4294967295 134512640 134569956 3221224368 3221214480 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208599 33715 13086 16 0 208583 0
vsize: 834396
[startup+440.028 s]
Raw data (loadavg): 1.03 1.05 1.01 2/63 21323
Raw data (stat): 21314 (java) R 21313 10795 10794 0 -1 0 18060 0 1 0 37994 54 0 0 17 0 10 0 836665134 854421504 33973 4294967295 134512640 134569956 3221224368 3221214192 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208599 33973 13086 16 0 208583 0
vsize: 834396
[startup+450.028 s]
Raw data (loadavg): 1.02 1.05 1.01 2/63 21323
Raw data (stat): 21314 (java) R 21313 10795 10794 0 -1 0 18060 0 1 0 38865 55 0 0 18 0 10 0 836665134 854421504 34315 4294967295 134512640 134569956 3221224368 3221214724 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208599 34315 13086 16 0 208583 0
vsize: 834396
[startup+460.029 s]
Raw data (loadavg): 1.02 1.04 1.01 2/63 21323
Raw data (stat): 21314 (java) R 21313 10795 10794 0 -1 0 18060 0 1 0 39746 55 0 0 19 0 10 0 836665134 854421504 34431 4294967295 134512640 134569956 3221224368 3221214476 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208599 34431 13086 16 0 208583 0
vsize: 834396
[startup+470.03 s]
Raw data (loadavg): 1.02 1.04 1.01 2/63 21323
Raw data (stat): 21314 (java) R 21313 10795 10794 0 -1 0 18060 0 1 0 40628 55 0 0 19 0 10 0 836665134 854421504 34597 4294967295 134512640 134569956 3221224368 3221214724 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208599 34597 13086 16 0 208583 0
vsize: 834396
[startup+480.03 s]
Raw data (loadavg): 1.01 1.04 1.00 2/63 21323
Raw data (stat): 21314 (java) R 21313 10795 10794 0 -1 0 18060 0 1 0 41511 56 0 0 20 0 10 0 836665134 854421504 34763 4294967295 134512640 134569956 3221224368 3221214480 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208599 34763 13086 16 0 208583 0
vsize: 834396
[startup+490.032 s]
Raw data (loadavg): 1.01 1.04 1.00 2/63 21323
Raw data (stat): 21314 (java) R 21313 10795 10794 0 -1 0 18060 0 1 0 42394 56 0 0 21 0 10 0 836665134 854421504 34928 4294967295 134512640 134569956 3221224368 3221214816 1131169189 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208599 34928 13086 16 0 208583 0
vsize: 834396
[startup+500.033 s]
Raw data (loadavg): 1.01 1.04 1.00 2/63 21323
Raw data (stat): 21314 (java) R 21313 10795 10794 0 -1 0 18060 0 1 0 43277 56 0 0 22 0 10 0 836665134 854421504 35080 4294967295 134512640 134569956 3221224368 3221214716 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208599 35080 13086 16 0 208583 0
vsize: 834396
[startup+510.037 s]
Raw data (loadavg): 1.01 1.04 1.00 2/63 21323
Raw data (stat): 21314 (java) S 21313 10795 10794 0 -1 0 18060 0 1 0 44157 56 0 0 21 0 10 0 836665134 854421504 35237 4294967295 134512640 134569956 3221224368 3221213464 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208599 35237 13086 16 0 208583 0
vsize: 834396
[startup+520.037 s]
Raw data (loadavg): 1.00 1.03 1.00 2/63 21323
Raw data (stat): 21314 (java) R 21313 10795 10794 0 -1 0 18060 0 1 0 45038 56 0 0 17 0 10 0 836665134 854421504 35396 4294967295 134512640 134569956 3221224368 3221214360 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208599 35396 13086 16 0 208583 0
vsize: 834396
[startup+530.038 s]
Raw data (loadavg): 1.00 1.03 1.00 2/63 21323
Raw data (stat): 21314 (java) R 21313 10795 10794 0 -1 0 18060 0 1 0 45922 56 0 0 17 0 10 0 836665134 854421504 35545 4294967295 134512640 134569956 3221224368 3221214360 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208599 35545 13086 16 0 208583 0
vsize: 834396
[startup+540.038 s]
Raw data (loadavg): 1.00 1.03 1.00 2/63 21323
Raw data (stat): 21314 (java) R 21313 10795 10794 0 -1 0 18060 0 1 0 46807 56 0 0 19 0 10 0 836665134 854421504 35698 4294967295 134512640 134569956 3221224368 3221214192 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208599 35698 13086 16 0 208583 0
vsize: 834396
[startup+550.039 s]
Raw data (loadavg): 1.00 1.03 1.00 2/63 21323
Raw data (stat): 21314 (java) R 21313 10795 10794 0 -1 0 18060 0 1 0 47690 56 0 0 20 0 10 0 836665134 854421504 35847 4294967295 134512640 134569956 3221224368 3221214360 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208599 35847 13086 16 0 208583 0
vsize: 834396
[startup+560.041 s]
Raw data (loadavg): 1.00 1.03 1.00 2/63 21323
Raw data (stat): 21314 (java) R 21313 10795 10794 0 -1 0 18060 0 1 0 48571 57 0 0 20 0 10 0 836665134 854421504 35997 4294967295 134512640 134569956 3221224368 3221214724 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208599 35997 13086 16 0 208583 0
vsize: 834396
[startup+570.041 s]
Raw data (loadavg): 1.00 1.03 1.00 2/63 21323
Raw data (stat): 21314 (java) R 21313 10795 10794 0 -1 0 18060 0 1 0 49454 57 0 0 20 0 10 0 836665134 854421504 36149 4294967295 134512640 134569956 3221224368 3221214432 1074489757 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208599 36149 13086 16 0 208583 0
vsize: 834396
[startup+580.041 s]
Raw data (loadavg): 1.00 1.03 1.00 2/63 21323
Raw data (stat): 21314 (java) R 21313 10795 10794 0 -1 0 18060 0 1 0 50341 57 0 0 22 0 10 0 836665134 854421504 36299 4294967295 134512640 134569956 3221224368 3221214480 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208599 36299 13086 16 0 208583 0
vsize: 834396
[startup+590.042 s]
Raw data (loadavg): 1.00 1.02 1.00 2/63 21323
Raw data (stat): 21314 (java) R 21313 10795 10794 0 -1 0 18060 0 1 0 51226 57 0 0 18 0 10 0 836665134 854421504 36452 4294967295 134512640 134569956 3221224368 3221214480 1080019600 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208599 36452 13086 16 0 208583 0
vsize: 834396
[startup+600.042 s]
Raw data (loadavg): 1.00 1.02 1.00 2/63 21323
Raw data (stat): 21314 (java) R 21313 10795 10794 0 -1 0 18060 0 1 0 52121 57 0 0 20 0 10 0 836665134 854421504 36565 4294967295 134512640 134569956 3221224368 3221214724 1080204166 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208599 36565 13086 16 0 208583 0
vsize: 834396
[startup+610.044 s]
Raw data (loadavg): 1.00 1.02 1.00 2/63 21323
Raw data (stat): 21314 (java) R 21313 10795 10794 0 -1 0 18060 0 1 0 53010 58 0 0 20 0 10 0 836665134 854421504 36680 4294967295 134512640 134569956 3221224368 3221214192 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208599 36680 13086 16 0 208583 0
vsize: 834396
[startup+620.045 s]
Raw data (loadavg): 1.00 1.02 1.00 2/63 21323
Raw data (stat): 21314 (java) R 21313 10795 10794 0 -1 0 18060 0 1 0 53895 58 0 0 22 0 10 0 836665134 854421504 36804 4294967295 134512640 134569956 3221224368 3221214064 1076461259 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208599 36804 13086 16 0 208583 0
vsize: 834396
[startup+630.049 s]
Raw data (loadavg): 1.00 1.02 1.00 2/63 21323
Raw data (stat): 21314 (java) S 21313 10795 10794 0 -1 0 18060 0 1 0 54775 58 0 0 21 0 10 0 836665134 854421504 36941 4294967295 134512640 134569956 3221224368 3221213432 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208599 36941 13086 16 0 208583 0
vsize: 834396
[startup+640.05 s]
Raw data (loadavg): 1.00 1.02 1.00 2/63 21323
Raw data (stat): 21314 (java) R 21313 10795 10794 0 -1 0 18060 0 1 0 55654 59 0 0 17 0 10 0 836665134 854421504 37088 4294967295 134512640 134569956 3221224368 3221214360 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208599 37088 13086 16 0 208583 0
vsize: 834396
[startup+650.051 s]
Raw data (loadavg): 1.00 1.02 1.00 2/63 21323
Raw data (stat): 21314 (java) R 21313 10795 10794 0 -1 0 18060 0 1 0 56538 59 0 0 17 0 10 0 836665134 854421504 37230 4294967295 134512640 134569956 3221224368 3221214360 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208599 37230 13086 16 0 208583 0
vsize: 834396
[startup+660.051 s]
Raw data (loadavg): 1.00 1.02 1.00 2/63 21323
Raw data (stat): 21314 (java) R 21313 10795 10794 0 -1 0 18060 0 1 0 57419 59 0 0 19 0 10 0 836665134 854421504 37371 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208599 37371 13086 16 0 208583 0
vsize: 834396
[startup+670.052 s]
Raw data (loadavg): 1.00 1.02 1.00 2/63 21323
Raw data (stat): 21314 (java) R 21313 10795 10794 0 -1 0 18060 0 1 0 58300 60 0 0 19 0 10 0 836665134 854421504 37510 4294967295 134512640 134569956 3221224368 3221214192 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208599 37510 13086 16 0 208583 0
vsize: 834396
[startup+680.053 s]
Raw data (loadavg): 1.00 1.02 1.00 2/63 21323
Raw data (stat): 21314 (java) R 21313 10795 10794 0 -1 0 18060 0 1 0 59181 60 0 0 20 0 10 0 836665134 854421504 37648 4294967295 134512640 134569956 3221224368 3221214480 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208599 37648 13086 16 0 208583 0
vsize: 834396
[startup+690.053 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 21323
Raw data (stat): 21314 (java) R 21313 10795 10794 0 -1 0 18060 0 1 0 60062 61 0 0 21 0 10 0 836665134 854421504 37787 4294967295 134512640 134569956 3221224368 3221214360 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208599 37787 13086 16 0 208583 0
vsize: 834396
[startup+700.055 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 21323
Raw data (stat): 21314 (java) S 21313 10795 10794 0 -1 0 18060 0 1 0 60946 61 0 0 22 0 10 0 836665134 854421504 37921 4294967295 134512640 134569956 3221224368 3221213432 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208599 37921 13086 16 0 208583 0
vsize: 834396
[startup+710.055 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 21323
Raw data (stat): 21314 (java) S 21313 10795 10794 0 -1 0 18060 0 1 0 61825 61 0 0 22 0 10 0 836665134 854421504 38054 4294967295 134512640 134569956 3221224368 3221213720 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208599 38054 13086 16 0 208583 0
vsize: 834396
[startup+720.056 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 21323
Raw data (stat): 21314 (java) R 21313 10795 10794 0 -1 0 18060 0 1 0 62708 61 0 0 17 0 10 0 836665134 854421504 38188 4294967295 134512640 134569956 3221224368 3221214360 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208599 38188 13086 16 0 208583 0
vsize: 834396
[startup+730.057 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 21323
Raw data (stat): 21314 (java) R 21313 10795 10794 0 -1 0 18060 0 1 0 63592 61 0 0 17 0 10 0 836665134 854421504 38314 4294967295 134512640 134569956 3221224368 3221214724 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208599 38314 13086 16 0 208583 0
vsize: 834396
[startup+740.058 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 21323
Raw data (stat): 21314 (java) R 21313 10795 10794 0 -1 0 18060 0 1 0 64468 62 0 0 16 0 10 0 836665134 854421504 39190 4294967295 134512640 134569956 3221224368 3221214360 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208599 39190 13086 16 0 208583 0
vsize: 834396
[startup+750.058 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 21323
Raw data (stat): 21314 (java) R 21313 10795 10794 0 -1 0 18060 0 1 0 65386 62 0 0 25 0 10 0 836665134 854421504 39190 4294967295 134512640 134569956 3221224368 3221214480 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208599 39190 13086 16 0 208583 0
vsize: 834396
[startup+760.06 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 21323
Raw data (stat): 21314 (java) R 21313 10795 10794 0 -1 0 18060 0 1 0 66274 62 0 0 25 0 10 0 836665134 854421504 39190 4294967295 134512640 134569956 3221224368 3221214716 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208599 39190 13086 16 0 208583 0
vsize: 834396
[startup+770.06 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 21323
Raw data (stat): 21314 (java) R 21313 10795 10794 0 -1 0 18060 0 1 0 67147 62 0 0 25 0 10 0 836665134 854421504 39320 4294967295 134512640 134569956 3221224368 3221214192 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208599 39320 13086 16 0 208583 0
vsize: 834396
[startup+780.061 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 21323
Raw data (stat): 21314 (java) R 21313 10795 10794 0 -1 0 18060 0 1 0 68021 62 0 0 25 0 10 0 836665134 854421504 39453 4294967295 134512640 134569956 3221224368 3221214360 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208599 39453 13086 16 0 208583 0
vsize: 834396
[startup+790.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 21323
Raw data (stat): 21314 (java) R 21313 10795 10794 0 -1 0 18060 0 1 0 68895 62 0 0 25 0 10 0 836665134 854421504 39582 4294967295 134512640 134569956 3221224368 3221214192 1080019741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208599 39582 13086 16 0 208583 0
vsize: 834396
[startup+800.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 21323
Raw data (stat): 21314 (java) R 21313 10795 10794 0 -1 0 18060 0 1 0 69770 62 0 0 25 0 10 0 836665134 854421504 39708 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208599 39708 13086 16 0 208583 0
vsize: 834396
[startup+810.064 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 21323
Raw data (stat): 21314 (java) R 21313 10795 10794 0 -1 0 18060 0 1 0 70645 63 0 0 25 0 10 0 836665134 854421504 39833 4294967295 134512640 134569956 3221224368 3221214360 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208599 39833 13086 16 0 208583 0
vsize: 834396
[startup+820.065 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 21323
Raw data (stat): 21314 (java) R 21313 10795 10794 0 -1 0 18060 0 1 0 71520 63 0 0 25 0 10 0 836665134 854421504 39958 4294967295 134512640 134569956 3221224368 3221214716 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208599 39958 13086 16 0 208583 0
vsize: 834396
[startup+830.065 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 21323
Raw data (stat): 21314 (java) R 21313 10795 10794 0 -1 0 18060 0 1 0 72394 63 0 0 25 0 10 0 836665134 854421504 40098 4294967295 134512640 134569956 3221224368 3221214360 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208599 40098 13086 16 0 208583 0
vsize: 834396
[startup+840.066 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 21323
Raw data (stat): 21314 (java) R 21313 10795 10794 0 -1 0 18060 0 1 0 73268 63 0 0 24 0 10 0 836665134 854421504 40206 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208599 40206 13086 16 0 208583 0
vsize: 834396
[startup+850.066 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 21323
Raw data (stat): 21314 (java) R 21313 10795 10794 0 -1 0 18060 0 1 0 74142 63 0 0 24 0 10 0 836665134 854421504 40325 4294967295 134512640 134569956 3221224368 3221214360 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208599 40325 13086 16 0 208583 0
vsize: 834396
[startup+860.068 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 21323
Raw data (stat): 21314 (java) R 21313 10795 10794 0 -1 0 18060 0 1 0 75017 63 0 0 24 0 10 0 836665134 854421504 40466 4294967295 134512640 134569956 3221224368 3221214724 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208599 40466 13086 16 0 208583 0
vsize: 834396
[startup+870.068 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 21323
Raw data (stat): 21314 (java) R 21313 10795 10794 0 -1 0 18060 0 1 0 75893 64 0 0 24 0 10 0 836665134 854421504 40566 4294967295 134512640 134569956 3221224368 3221214360 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208599 40566 13086 16 0 208583 0
vsize: 834396
[startup+880.068 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 21323
Raw data (stat): 21314 (java) R 21313 10795 10794 0 -1 0 18060 0 1 0 76770 64 0 0 24 0 10 0 836665134 854421504 40699 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208599 40699 13086 16 0 208583 0
vsize: 834396
[startup+890.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 21323
Raw data (stat): 21314 (java) R 21313 10795 10794 0 -1 0 18060 0 1 0 77647 64 0 0 24 0 10 0 836665134 854421504 40832 4294967295 134512640 134569956 3221224368 3221214480 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208599 40832 13086 16 0 208583 0
vsize: 834396
[startup+900.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 21323
Raw data (stat): 21314 (java) R 21313 10795 10794 0 -1 0 18060 0 1 0 78525 64 0 0 24 0 10 0 836665134 854421504 40920 4294967295 134512640 134569956 3221224368 3221214724 1080204146 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208599 40920 13086 16 0 208583 0
vsize: 834396
[startup+910.071 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 21323
Raw data (stat): 21314 (java) R 21313 10795 10794 0 -1 0 18060 0 1 0 79399 64 0 0 24 0 10 0 836665134 854421504 41033 4294967295 134512640 134569956 3221224368 3221214360 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208599 41033 13086 16 0 208583 0
vsize: 834396
[startup+920.072 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 21323
Raw data (stat): 21314 (java) R 21313 10795 10794 0 -1 0 18060 0 1 0 80275 65 0 0 24 0 10 0 836665134 854421504 41185 4294967295 134512640 134569956 3221224368 3221214360 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208599 41185 13086 16 0 208583 0
vsize: 834396
[startup+930.073 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 21323
Raw data (stat): 21314 (java) R 21313 10795 10794 0 -1 0 18060 0 1 0 81151 65 0 0 24 0 10 0 836665134 854421504 41292 4294967295 134512640 134569956 3221224368 3221214360 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208599 41292 13086 16 0 208583 0
vsize: 834396
[startup+940.073 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 21323
Raw data (stat): 21314 (java) R 21313 10795 10794 0 -1 0 18060 0 1 0 82027 65 0 0 24 0 10 0 836665134 854421504 41377 4294967295 134512640 134569956 3221224368 3221214724 1080204146 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208599 41377 13086 16 0 208583 0
vsize: 834396
[startup+950.074 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 21323
Raw data (stat): 21314 (java) S 21313 10795 10794 0 -1 0 18060 0 1 0 82901 65 0 0 25 0 10 0 836665134 854421504 41485 4294967295 134512640 134569956 3221224368 3221213720 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208599 41485 13086 16 0 208583 0
vsize: 834396
[startup+960.074 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 21323
Raw data (stat): 21314 (java) S 21313 10795 10794 0 -1 0 18060 0 1 0 83778 65 0 0 25 0 10 0 836665134 854421504 41636 4294967295 134512640 134569956 3221224368 3221213464 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208599 41636 13086 16 0 208583 0
vsize: 834396
[startup+970.074 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 21323
Raw data (stat): 21314 (java) S 21313 10795 10794 0 -1 0 18060 0 1 0 84651 65 0 0 25 0 10 0 836665134 854421504 41751 4294967295 134512640 134569956 3221224368 3221213720 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208599 41751 13086 16 0 208583 0
vsize: 834396
[startup+980.075 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 21323
Raw data (stat): 21314 (java) R 21313 10795 10794 0 -1 0 18060 0 1 0 85527 66 0 0 24 0 10 0 836665134 854421504 41879 4294967295 134512640 134569956 3221224368 3221214360 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208599 41879 13086 16 0 208583 0
vsize: 834396
[startup+990.076 s]
Raw data (loadavg): 1.07 1.02 1.00 2/63 21323
Raw data (stat): 21314 (java) R 21313 10795 10794 0 -1 0 18060 0 1 0 86409 66 0 0 25 0 10 0 836665134 854421504 41990 4294967295 134512640 134569956 3221224368 3221214480 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208599 41990 13086 16 0 208583 0
vsize: 834396
[startup+1000.08 s]
Raw data (loadavg): 1.06 1.02 1.00 2/63 21323
Raw data (stat): 21314 (java) R 21313 10795 10794 0 -1 0 18060 0 1 0 87287 66 0 0 25 0 10 0 836665134 854421504 42065 4294967295 134512640 134569956 3221224368 3221214192 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208599 42065 13086 16 0 208583 0
vsize: 834396
[startup+1010.08 s]
Raw data (loadavg): 1.05 1.01 1.00 2/63 21323
Raw data (stat): 21314 (java) R 21313 10795 10794 0 -1 0 18060 0 1 0 88164 66 0 0 25 0 10 0 836665134 854421504 42178 4294967295 134512640 134569956 3221224368 3221214480 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208599 42178 13086 16 0 208583 0
vsize: 834396
[startup+1020.08 s]
Raw data (loadavg): 1.04 1.01 1.00 2/63 21323
Raw data (stat): 21314 (java) R 21313 10795 10794 0 -1 0 18060 0 1 0 89045 67 0 0 25 0 10 0 836665134 854421504 42326 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208599 42326 13086 16 0 208583 0
vsize: 834396
[startup+1030.08 s]
Raw data (loadavg): 1.04 1.01 1.00 2/63 21323
Raw data (stat): 21314 (java) R 21313 10795 10794 0 -1 0 18060 0 1 0 89923 67 0 0 25 0 10 0 836665134 854421504 42407 4294967295 134512640 134569956 3221224368 3221214432 1074489757 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208599 42407 13086 16 0 208583 0
vsize: 834396
[startup+1040.08 s]
Raw data (loadavg): 1.03 1.01 1.00 2/63 21323
Raw data (stat): 21314 (java) R 21313 10795 10794 0 -1 0 18060 0 1 0 90804 67 0 0 25 0 10 0 836665134 854421504 42571 4294967295 134512640 134569956 3221224368 3221214360 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208599 42571 13086 16 0 208583 0
vsize: 834396
[startup+1050.08 s]
Raw data (loadavg): 1.02 1.01 1.00 2/63 21323
Raw data (stat): 21314 (java) R 21313 10795 10794 0 -1 0 18060 0 1 0 91682 68 0 0 25 0 10 0 836665134 854421504 42637 4294967295 134512640 134569956 3221224368 3221214192 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208599 42637 13086 16 0 208583 0
vsize: 834396
[startup+1060.08 s]
Raw data (loadavg): 1.02 1.01 1.00 2/63 21323
Raw data (stat): 21314 (java) R 21313 10795 10794 0 -1 0 18060 0 1 0 92557 68 0 0 25 0 10 0 836665134 854421504 42797 4294967295 134512640 134569956 3221224368 3221214192 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208599 42797 13086 16 0 208583 0
vsize: 834396
[startup+1070.08 s]
Raw data (loadavg): 1.02 1.01 1.00 2/63 21323
Raw data (stat): 21314 (java) R 21313 10795 10794 0 -1 0 18060 0 1 0 93439 69 0 0 25 0 10 0 836665134 854421504 42914 4294967295 134512640 134569956 3221224368 3221214192 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208599 42914 13086 16 0 208583 0
vsize: 834396
[startup+1080.08 s]
Raw data (loadavg): 1.01 1.01 1.00 2/63 21323
Raw data (stat): 21314 (java) R 21313 10795 10794 0 -1 0 18060 0 1 0 94323 69 0 0 25 0 10 0 836665134 854421504 43016 4294967295 134512640 134569956 3221224368 3221214480 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208599 43016 13086 16 0 208583 0
vsize: 834396
[startup+1090.08 s]
Raw data (loadavg): 1.01 1.01 1.00 2/63 21323
Raw data (stat): 21314 (java) R 21313 10795 10794 0 -1 0 18060 0 1 0 95206 69 0 0 25 0 10 0 836665134 854421504 43122 4294967295 134512640 134569956 3221224368 3221214480 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208599 43122 13086 16 0 208583 0
vsize: 834396
[startup+1100.08 s]
Raw data (loadavg): 1.01 1.01 1.00 2/63 21323
Raw data (stat): 21314 (java) R 21313 10795 10794 0 -1 0 18060 0 1 0 96087 69 0 0 25 0 10 0 836665134 854421504 43185 4294967295 134512640 134569956 3221224368 3221214724 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208599 43185 13086 16 0 208583 0
vsize: 834396
[startup+1110.08 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 21323
Raw data (stat): 21314 (java) S 21313 10795 10794 0 -1 0 18060 0 1 0 96961 70 0 0 25 0 10 0 836665134 854421504 43276 4294967295 134512640 134569956 3221224368 3221213720 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208599 43276 13086 16 0 208583 0
vsize: 834396
[startup+1120.08 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 21323
Raw data (stat): 21314 (java) R 21313 10795 10794 0 -1 0 18060 0 1 0 97837 70 0 0 24 0 10 0 836665134 854421504 43431 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208599 43431 13086 16 0 208583 0
vsize: 834396
[startup+1130.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 21323
Raw data (stat): 21314 (java) R 21313 10795 10794 0 -1 0 18060 0 1 0 98726 70 0 0 25 0 10 0 836665134 854421504 43523 4294967295 134512640 134569956 3221224368 3221214360 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208599 43523 13086 16 0 208583 0
vsize: 834396
[startup+1140.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 21323
Raw data (stat): 21314 (java) R 21313 10795 10794 0 -1 0 18060 0 1 0 99610 71 0 0 25 0 10 0 836665134 854421504 43619 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208599 43619 13086 16 0 208583 0
vsize: 834396
[startup+1150.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 21323
Raw data (stat): 21314 (java) R 21313 10795 10794 0 -1 0 18060 0 1 0 100497 71 0 0 20 0 10 0 836665134 854421504 43730 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208599 43730 13086 16 0 208583 0
vsize: 834396
[startup+1160.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 21323
Raw data (stat): 21314 (java) R 21313 10795 10794 0 -1 0 18060 0 1 0 101383 71 0 0 20 0 10 0 836665134 854421504 43793 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208599 43793 13086 16 0 208583 0
vsize: 834396
[startup+1170.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 21323
Raw data (stat): 21314 (java) R 21313 10795 10794 0 -1 0 18060 0 1 0 102274 71 0 0 22 0 10 0 836665134 854421504 43944 4294967295 134512640 134569956 3221224368 3221214480 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208599 43944 13086 16 0 208583 0
vsize: 834396
[startup+1180.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 21323
Raw data (stat): 21314 (java) R 21313 10795 10794 0 -1 0 18060 0 1 0 103155 72 0 0 17 0 10 0 836665134 854421504 43998 4294967295 134512640 134569956 3221224368 3221214480 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208599 43998 13086 16 0 208583 0
vsize: 834396
[startup+1190.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 21323
Raw data (stat): 21314 (java) R 21313 10795 10794 0 -1 0 18060 0 1 0 104042 72 0 0 18 0 10 0 836665134 854421504 44124 4294967295 134512640 134569956 3221224368 3221214480 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208599 44124 13086 16 0 208583 0
vsize: 834396
[startup+1200.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 21323
Raw data (stat): 21314 (java) R 21313 10795 10794 0 -1 0 18060 0 1 0 104929 73 0 0 19 0 10 0 836665134 854421504 44257 4294967295 134512640 134569956 3221224368 3221214724 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208599 44257 13086 16 0 208583 0
vsize: 834396
[startup+1210.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 21323
Raw data (stat): 21314 (java) R 21313 10795 10794 0 -1 0 18060 0 1 0 105821 73 0 0 20 0 10 0 836665134 854421504 44352 4294967295 134512640 134569956 3221224368 3221214724 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208599 44352 13086 16 0 208583 0
vsize: 834396
[startup+1220.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 21323
Raw data (stat): 21314 (java) R 21313 10795 10794 0 -1 0 18060 0 1 0 106714 74 0 0 22 0 10 0 836665134 854421504 44452 4294967295 134512640 134569956 3221224368 3221214192 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208599 44452 13086 16 0 208583 0
vsize: 834396
[startup+1230.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 21323
Raw data (stat): 21314 (java) R 21313 10795 10794 0 -1 0 18060 0 1 0 107601 74 0 0 18 0 10 0 836665134 854421504 44583 4294967295 134512640 134569956 3221224368 3221214360 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208599 44583 13086 16 0 208583 0
vsize: 834396
[startup+1240.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 21323
Raw data (stat): 21314 (java) R 21313 10795 10794 0 -1 0 18060 0 1 0 108495 75 0 0 19 0 10 0 836665134 854421504 44630 4294967295 134512640 134569956 3221224368 3221214724 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208599 44630 13086 16 0 208583 0
vsize: 834396
[startup+1250.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 21323
Raw data (stat): 21314 (java) R 21313 10795 10794 0 -1 0 18060 0 1 0 109388 75 0 0 21 0 10 0 836665134 854421504 44772 4294967295 134512640 134569956 3221224368 3221214716 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208599 44772 13086 16 0 208583 0
vsize: 834396
[startup+1260.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 21323
Raw data (stat): 21314 (java) S 21313 10795 10794 0 -1 0 18060 0 1 0 110282 76 0 0 23 0 10 0 836665134 854421504 44876 4294967295 134512640 134569956 3221224368 3221213432 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208599 44876 13086 16 0 208583 0
vsize: 834396
[startup+1270.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 21323
Raw data (stat): 21314 (java) R 21313 10795 10794 0 -1 0 18060 0 1 0 111171 76 0 0 18 0 10 0 836665134 854421504 44932 4294967295 134512640 134569956 3221224368 3221214192 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208599 44932 13086 16 0 208583 0
vsize: 834396
[startup+1280.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 21323
Raw data (stat): 21314 (java) R 21313 10795 10794 0 -1 0 18060 0 1 0 112065 76 0 0 21 0 10 0 836665134 854421504 45074 4294967295 134512640 134569956 3221224368 3221214480 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208599 45074 13086 16 0 208583 0
vsize: 834396
[startup+1290.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 21323
Raw data (stat): 21314 (java) R 21313 10795 10794 0 -1 0 18060 0 1 0 112962 77 0 0 23 0 10 0 836665134 854421504 45168 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208599 45168 13086 16 0 208583 0
vsize: 834396
[startup+1300.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 21323
Raw data (stat): 21314 (java) R 21313 10795 10794 0 -1 0 18060 0 1 0 113845 77 0 0 17 0 10 0 836665134 854421504 45214 4294967295 134512640 134569956 3221224368 3221214360 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208599 45214 13086 16 0 208583 0
vsize: 834396
[startup+1310.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 21323
Raw data (stat): 21314 (java) R 21313 10795 10794 0 -1 0 18060 0 1 0 114732 77 0 0 18 0 10 0 836665134 854421504 45312 4294967295 134512640 134569956 3221224368 3221214480 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208599 45312 13086 16 0 208583 0
vsize: 834396
[startup+1320.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 21323
Raw data (stat): 21314 (java) R 21313 10795 10794 0 -1 0 18060 0 1 0 115623 77 0 0 20 0 10 0 836665134 854421504 45425 4294967295 134512640 134569956 3221224368 3221214480 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208599 45425 13086 16 0 208583 0
vsize: 834396
[startup+1330.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 21323
Raw data (stat): 21314 (java) R 21313 10795 10794 0 -1 0 18060 0 1 0 116520 77 0 0 22 0 10 0 836665134 854421504 45544 4294967295 134512640 134569956 3221224368 3221214724 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208599 45544 13086 16 0 208583 0
vsize: 834396
[startup+1340.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 21323
Raw data (stat): 21314 (java) R 21313 10795 10794 0 -1 0 18060 0 1 0 117412 78 0 0 18 0 10 0 836665134 854421504 45617 4294967295 134512640 134569956 3221224368 3221214432 1074489757 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208599 45617 13086 16 0 208583 0
vsize: 834396
[startup+1350.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 21323
Raw data (stat): 21314 (java) R 21313 10795 10794 0 -1 0 18060 0 1 0 118311 78 0 0 19 0 10 0 836665134 854421504 45726 4294967295 134512640 134569956 3221224368 3221214360 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208599 45726 13086 16 0 208583 0
vsize: 834396
[startup+1360.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 21323
Raw data (stat): 21314 (java) R 21313 10795 10794 0 -1 0 18060 0 1 0 119214 78 0 0 22 0 10 0 836665134 854421504 45854 4294967295 134512640 134569956 3221224368 3221214360 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208599 45854 13086 16 0 208583 0
vsize: 834396
[startup+1370.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 21323
Raw data (stat): 21314 (java) S 21313 10795 10794 0 -1 0 18060 0 1 0 120104 79 0 0 22 0 10 0 836665134 854421504 45900 4294967295 134512640 134569956 3221224368 3221213464 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208599 45900 13086 16 0 208583 0
vsize: 834396
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1370.22 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 21325
Raw data (stat): 21314 (java) Z 21313 10795 10794 0 -1 1036 18060 27759 1 0 120108 79 16816 81 18 0 1 0 836665134 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1370.22
CPU time (s): 1370.85
CPU user time (s): 1369.24
CPU system time (s): 1.60376
CPU usage (%): 100.046
Max. virtual memory (Kb): 834396
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####