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

Namenormalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-2.opb
MD5SUM45b026c6b351128e9764d865ca917a59
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -40
Optimality of the best value was proved NO
Number of terms in the objective function 1272
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 1272
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1272
Number of bits of the biggest sum of numbers11
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1175.11
Number of variables1272
Total number of constraints94289
Number of constraints which are clauses94289
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint2

Trace number 4504 

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-04-13 17:58:17 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=3060 boxname=wulflinc31 idbench=340 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  45b026c6b351128e9764d865ca917a59  /oldhome/oroussel/tmp/wulflinc31/normalized-frb53-24-2.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc31/normalized-frb53-24-2.opb
IDLAUNCH: 3060
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        911892 kB
Buffers:         34076 kB
Cached:          49784 kB
SwapCached:        392 kB
Active:          44780 kB
Inactive:        42216 kB
HighTotal:      131008 kB
HighFree:        77560 kB
LowTotal:       903652 kB
LowFree:        834332 kB
SwapTotal:     2097892 kB
SwapFree:      2097452 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6832 kB
Slab:            30128 kB
Committed_AS:    63484 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-13 18:20:30 (client local time) WITH STATUS 143 IN  SECONDS
stats: 3060 7  143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc31/normalized-frb53-24-2.opb
c reading problem 
c [nbvar=1272]
c [nbconstr=94289]
c time 14.013
c #vars     1272
c #clauses  94289
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
c SATISFIABLE
c OPTIMIZING...
c 
c CURRENT OPTIMUM=0
c Current CPU time (ms) : 14.483
c starts	: 1
c conflicts	: 0
c decisions	: 1272
c propagations	: 1272
c inspects	: 0
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 1
c 
c CURRENT OPTIMUM=-1
c Current CPU time (ms) : 14.693
c starts	: 2
c conflicts	: 0
c decisions	: 2543
c propagations	: 2544
c inspects	: 170
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 2
c 
c CURRENT OPTIMUM=-2
c Current CPU time (ms) : 20.615
c starts	: 3
c conflicts	: 23
c decisions	: 3814
c propagations	: 4115
c inspects	: 3952
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 23
c root simplifications	: 3
c 
c CURRENT OPTIMUM=-38
c Current CPU time (ms) : 20.858
c starts	: 4
c conflicts	: 23
c decisions	: 3852
c propagations	: 5387
c inspects	: 9447
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 23
c root simplifications	: 4
c 
c CURRENT OPTIMUM=-39
c Current CPU time (ms) : 21.925
c starts	: 5
c conflicts	: 28
c decisions	: 3892
c propagations	: 6680
c inspects	: 16272
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 28
c root simplifications	: 5
c 
c CURRENT OPTIMUM=-40
c Current CPU time (ms) : 561.232
c starts	: 10
c conflicts	: 871
c decisions	: 5113
c propagations	: 19201
c inspects	: 582243
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 871
c root simplifications	: 10
#### 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.85 0.97 0.99 2/54 24064
Raw data (stat): 24064 (runsolver) R 24063 23176 23175 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 477918251 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0011 s]
Raw data (loadavg): 0.94 0.98 0.99 2/63 24073
Raw data (stat): 24064 (java) R 24063 23176 23175 0 -1 0 17996 0 1 0 834 47 0 0 25 0 10 0 477918251 858341376 20702 4294967295 134512640 134569956 3221224416 3221214496 1131159364 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209556 20702 13073 16 0 209540 0
vsize: 838224
[startup+20.0021 s]
Raw data (loadavg): 1.11 1.02 1.01 2/64 24076
Raw data (stat): 24064 (java) R 24063 23176 23175 0 -1 0 18080 3 1 0 1496 49 0 0 23 0 11 0 477918251 861560832 31909 4294967295 134512640 134569956 3221224416 3221214608 1131473357 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210342 31909 13073 16 0 210326 0
vsize: 841368
[startup+30.003 s]
Raw data (loadavg): 1.09 1.02 1.00 2/64 24079
Raw data (stat): 24064 (java) R 24063 23176 23175 0 -1 0 18084 3 1 0 2313 49 0 0 25 0 11 0 477918251 863887360 34399 4294967295 134512640 134569956 3221224416 3221214608 1131473376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210910 34399 13073 16 0 210894 0
vsize: 843640
[startup+40.004 s]
Raw data (loadavg): 1.08 1.02 1.00 2/64 24079
Raw data (stat): 24064 (java) R 24063 23176 23175 0 -1 0 18084 3 1 0 3212 49 0 0 25 0 11 0 477918251 863887360 34776 4294967295 134512640 134569956 3221224416 3221214256 1078830954 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210910 34776 13073 16 0 210894 0
vsize: 843640
[startup+50.006 s]
Raw data (loadavg): 1.07 1.01 1.00 2/64 24079
Raw data (stat): 24064 (java) R 24063 23176 23175 0 -1 0 18084 3 1 0 4121 49 0 0 25 0 11 0 477918251 863887360 35230 4294967295 134512640 134569956 3221224416 3221214688 1131209946 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210910 35230 13073 16 0 210894 0
vsize: 843640
[startup+60.0065 s]
Raw data (loadavg): 1.06 1.01 1.00 2/64 24079
Raw data (stat): 24064 (java) R 24063 23176 23175 0 -1 0 18084 3 1 0 5013 49 0 0 25 0 11 0 477918251 863887360 35620 4294967295 134512640 134569956 3221224416 3221214688 1131210211 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210910 35620 13073 16 0 210894 0
vsize: 843640
[startup+70.0076 s]
Raw data (loadavg): 1.05 1.01 1.00 2/64 24079
Raw data (stat): 24064 (java) R 24063 23176 23175 0 -1 0 18085 3 1 0 5889 49 0 0 25 0 11 0 477918251 863887360 36019 4294967295 134512640 134569956 3221224416 3221214600 1131602922 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210910 36019 13073 16 0 210894 0
vsize: 843640
[startup+80.0118 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 24079
Raw data (stat): 24064 (java) S 24063 23176 23175 0 -1 0 18085 3 1 0 6752 49 0 0 25 0 11 0 477918251 863887360 36630 4294967295 134512640 134569956 3221224416 3221213472 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210910 36630 13073 16 0 210894 0
vsize: 843640
[startup+90.0129 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 24079
Raw data (stat): 24064 (java) R 24063 23176 23175 0 -1 0 18085 3 1 0 7646 49 0 0 25 0 11 0 477918251 863887360 37116 4294967295 134512640 134569956 3221224416 3221214688 1131209760 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210910 37116 13073 16 0 210894 0
vsize: 843640
[startup+100.013 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 24079
Raw data (stat): 24064 (java) R 24063 23176 23175 0 -1 0 18085 3 1 0 8536 49 0 0 25 0 11 0 477918251 863887360 37440 4294967295 134512640 134569956 3221224416 3221214600 1131602102 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210910 37440 13073 16 0 210894 0
vsize: 843640
[startup+110.015 s]
Raw data (loadavg): 1.10 1.02 1.01 2/67 24120
Raw data (stat): 24064 (java) S 24063 23176 23175 0 -1 0 18085 3 1 0 9436 50 0 0 25 0 11 0 477918251 863887360 37826 4294967295 134512640 134569956 3221224416 3221213504 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210910 37826 13073 16 0 210894 0
vsize: 843640
[startup+120.015 s]
Raw data (loadavg): 1.16 1.04 1.01 2/64 24132
Raw data (stat): 24064 (java) R 24063 23176 23175 0 -1 0 18085 3 1 0 10321 50 0 0 25 0 11 0 477918251 863887360 38227 4294967295 134512640 134569956 3221224416 3221214688 1131210233 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210910 38227 13073 16 0 210894 0
vsize: 843640
[startup+130.023 s]
Raw data (loadavg): 1.13 1.04 1.01 2/64 24132
Raw data (stat): 24064 (java) R 24063 23176 23175 0 -1 0 18085 3 1 0 11214 50 0 0 25 0 11 0 477918251 863887360 38529 4294967295 134512640 134569956 3221224416 3221214600 1131600723 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210910 38529 13073 16 0 210894 0
vsize: 843640
[startup+140.028 s]
Raw data (loadavg): 1.11 1.04 1.01 2/64 24132
Raw data (stat): 24064 (java) R 24063 23176 23175 0 -1 0 18085 3 1 0 12075 50 0 0 25 0 11 0 477918251 863887360 38829 4294967295 134512640 134569956 3221224416 3221214784 1131364264 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210910 38829 13073 16 0 210894 0
vsize: 843640
[startup+150.029 s]
Raw data (loadavg): 1.10 1.03 1.01 2/64 24132
Raw data (stat): 24064 (java) R 24063 23176 23175 0 -1 0 18085 3 1 0 12935 50 0 0 25 0 11 0 477918251 863887360 39213 4294967295 134512640 134569956 3221224416 3221214688 1131210017 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210910 39213 13073 16 0 210894 0
vsize: 843640
[startup+160.03 s]
Raw data (loadavg): 1.08 1.03 1.01 2/64 24132
Raw data (stat): 24064 (java) R 24063 23176 23175 0 -1 0 18085 3 1 0 13796 51 0 0 25 0 11 0 477918251 863887360 39560 4294967295 134512640 134569956 3221224416 3221214600 1131600750 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210910 39560 13073 16 0 210894 0
vsize: 843640
[startup+170.031 s]
Raw data (loadavg): 1.07 1.03 1.00 2/64 24132
Raw data (stat): 24064 (java) R 24063 23176 23175 0 -1 0 18085 3 1 0 14679 51 0 0 25 0 11 0 477918251 863887360 39888 4294967295 134512640 134569956 3221224416 3221214688 1131209470 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210910 39888 13073 16 0 210894 0
vsize: 843640
[startup+180.032 s]
Raw data (loadavg): 1.06 1.03 1.00 2/64 24132
Raw data (stat): 24064 (java) R 24063 23176 23175 0 -1 0 18085 3 1 0 15569 52 0 0 25 0 11 0 477918251 863887360 40205 4294967295 134512640 134569956 3221224416 3221214688 1131210453 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210910 40205 13073 16 0 210894 0
vsize: 843640
[startup+190.031 s]
Raw data (loadavg): 1.05 1.03 1.00 2/64 24134
Raw data (stat): 24064 (java) R 24063 23176 23175 0 -1 0 18085 3 1 0 16460 52 0 0 25 0 11 0 477918251 863887360 40564 4294967295 134512640 134569956 3221224416 3221214784 1131364290 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210910 40564 13073 16 0 210894 0
vsize: 843640
[startup+200.033 s]
Raw data (loadavg): 1.04 1.03 1.00 2/64 24134
Raw data (stat): 24064 (java) R 24063 23176 23175 0 -1 0 18085 3 1 0 17354 52 0 0 25 0 11 0 477918251 863887360 40810 4294967295 134512640 134569956 3221224416 3221214688 1131209903 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210910 40810 13073 16 0 210894 0
vsize: 843640
[startup+210.034 s]
Raw data (loadavg): 1.03 1.03 1.00 2/64 24134
Raw data (stat): 24064 (java) R 24063 23176 23175 0 -1 0 18085 3 1 0 18237 52 0 0 25 0 11 0 477918251 863887360 41149 4294967295 134512640 134569956 3221224416 3221214964 1131362803 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210910 41149 13073 16 0 210894 0
vsize: 843640
[startup+220.033 s]
Raw data (loadavg): 1.03 1.02 1.00 2/64 24134
Raw data (stat): 24064 (java) R 24063 23176 23175 0 -1 0 18085 3 1 0 19131 53 0 0 25 0 11 0 477918251 863887360 41379 4294967295 134512640 134569956 3221224416 3221214688 1131210229 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210910 41379 13073 16 0 210894 0
vsize: 843640
[startup+230.035 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 24134
Raw data (stat): 24064 (java) R 24063 23176 23175 0 -1 0 18085 3 1 0 20027 53 0 0 25 0 11 0 477918251 863887360 41638 4294967295 134512640 134569956 3221224416 3221214688 1131210001 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210910 41638 13073 16 0 210894 0
vsize: 843640
[startup+240.035 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 24134
Raw data (stat): 24064 (java) R 24063 23176 23175 0 -1 0 18085 3 1 0 20925 53 0 0 25 0 11 0 477918251 863887360 41874 4294967295 134512640 134569956 3221224416 3221214784 1131363029 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210910 41874 13073 16 0 210894 0
vsize: 843640
[startup+250.036 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 24134
Raw data (stat): 24064 (java) R 24063 23176 23175 0 -1 0 18085 3 1 0 21820 53 0 0 25 0 11 0 477918251 863887360 42131 4294967295 134512640 134569956 3221224416 3221214760 1131436889 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210910 42131 13073 16 0 210894 0
vsize: 843640
[startup+260.037 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 24134
Raw data (stat): 24064 (java) R 24063 23176 23175 0 -1 0 18085 3 1 0 22730 53 0 0 25 0 11 0 477918251 863887360 42371 4294967295 134512640 134569956 3221224416 3221214688 1131210185 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210910 42371 13073 16 0 210894 0
vsize: 843640
[startup+270.037 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 24134
Raw data (stat): 24064 (java) R 24063 23176 23175 0 -1 0 18085 3 1 0 23625 53 0 0 25 0 11 0 477918251 863887360 42618 4294967295 134512640 134569956 3221224416 3221214704 1131659079 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210910 42618 13073 16 0 210894 0
vsize: 843640
[startup+280.038 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 24134
Raw data (stat): 24064 (java) R 24063 23176 23175 0 -1 0 18085 3 1 0 24514 54 0 0 25 0 11 0 477918251 863887360 42878 4294967295 134512640 134569956 3221224416 3221214784 1131363176 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210910 42878 13073 16 0 210894 0
vsize: 843640
[startup+290.039 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 24134
Raw data (stat): 24064 (java) R 24063 23176 23175 0 -1 0 18085 3 1 0 25387 54 0 0 25 0 11 0 477918251 863887360 43085 4294967295 134512640 134569956 3221224416 3221214688 1131210233 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210910 43085 13073 16 0 210894 0
vsize: 843640
[startup+300.04 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 24134
Raw data (stat): 24064 (java) R 24063 23176 23175 0 -1 0 18085 3 1 0 26256 54 0 0 24 0 11 0 477918251 863887360 43484 4294967295 134512640 134569956 3221224416 3221214688 1131210637 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210910 43484 13073 16 0 210894 0
vsize: 843640
[startup+310.039 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 24134
Raw data (stat): 24064 (java) R 24063 23176 23175 0 -1 0 18085 3 1 0 27136 54 0 0 25 0 11 0 477918251 863887360 43799 4294967295 134512640 134569956 3221224416 3221214688 1131210229 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210910 43799 13073 16 0 210894 0
vsize: 843640
[startup+320.04 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 24134
Raw data (stat): 24064 (java) S 24063 23176 23175 0 -1 0 18085 3 1 0 28019 54 0 0 25 0 11 0 477918251 863887360 44278 4294967295 134512640 134569956 3221224416 3221213432 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210910 44278 13073 16 0 210894 0
vsize: 843640
[startup+330.041 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 24134
Raw data (stat): 24064 (java) R 24063 23176 23175 0 -1 0 18085 3 1 0 28903 55 0 0 25 0 11 0 477918251 863887360 44639 4294967295 134512640 134569956 3221224416 3221214584 1131434447 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210910 44639 13073 16 0 210894 0
vsize: 843640
[startup+340.041 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 24134
Raw data (stat): 24064 (java) R 24063 23176 23175 0 -1 0 18085 3 1 0 29793 55 0 0 25 0 11 0 477918251 863887360 44956 4294967295 134512640 134569956 3221224416 3221214688 1131210001 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210910 44956 13073 16 0 210894 0
vsize: 843640
[startup+350.043 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 24134
Raw data (stat): 24064 (java) R 24063 23176 23175 0 -1 0 18085 3 1 0 30683 56 0 0 25 0 11 0 477918251 863887360 45174 4294967295 134512640 134569956 3221224416 3221214784 1131365106 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210910 45174 13073 16 0 210894 0
vsize: 843640
[startup+360.043 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 24134
Raw data (stat): 24064 (java) R 24063 23176 23175 0 -1 0 18085 3 1 0 31572 56 0 0 25 0 11 0 477918251 863887360 45497 4294967295 134512640 134569956 3221224416 3221214688 1131210001 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210910 45497 13073 16 0 210894 0
vsize: 843640
[startup+370.043 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 24134
Raw data (stat): 24064 (java) R 24063 23176 23175 0 -1 0 18085 3 1 0 32463 56 0 0 25 0 11 0 477918251 863887360 45824 4294967295 134512640 134569956 3221224416 3221214688 1131210603 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210910 45824 13073 16 0 210894 0
vsize: 843640
[startup+380.045 s]
Raw data (loadavg): 1.08 1.03 1.01 2/64 24134
Raw data (stat): 24064 (java) R 24063 23176 23175 0 -1 0 18085 3 1 0 33357 56 0 0 25 0 11 0 477918251 863887360 46101 4294967295 134512640 134569956 3221224416 3221214600 1131602082 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210910 46101 13073 16 0 210894 0
vsize: 843640
[startup+390.045 s]
Raw data (loadavg): 1.07 1.02 1.00 2/64 24134
Raw data (stat): 24064 (java) R 24063 23176 23175 0 -1 0 18085 3 1 0 34240 57 0 0 25 0 11 0 477918251 863887360 46322 4294967295 134512640 134569956 3221224416 3221214688 1131210001 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210910 46322 13073 16 0 210894 0
vsize: 843640
[startup+400.046 s]
Raw data (loadavg): 1.06 1.02 1.00 2/64 24134
Raw data (stat): 24064 (java) S 24063 23176 23175 0 -1 0 18085 3 1 0 35126 57 0 0 25 0 11 0 477918251 863887360 46627 4294967295 134512640 134569956 3221224416 3221213288 1073952481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210910 46627 13073 16 0 210894 0
vsize: 843640
[startup+410.047 s]
Raw data (loadavg): 1.05 1.02 1.00 2/64 24134
Raw data (stat): 24064 (java) R 24063 23176 23175 0 -1 0 18085 3 1 0 36014 57 0 0 25 0 11 0 477918251 863887360 46900 4294967295 134512640 134569956 3221224416 3221214688 1131210211 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210910 46900 13073 16 0 210894 0
vsize: 843640
[startup+420.048 s]
Raw data (loadavg): 1.04 1.02 1.00 2/64 24136
Raw data (stat): 24064 (java) R 24063 23176 23175 0 -1 0 18085 3 1 0 36896 58 0 0 24 0 11 0 477918251 863887360 47215 4294967295 134512640 134569956 3221224416 3221214784 1131363224 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210910 47215 13073 16 0 210894 0
vsize: 843640
[startup+430.049 s]
Raw data (loadavg): 1.03 1.02 1.00 2/64 24136
Raw data (stat): 24064 (java) R 24063 23176 23175 0 -1 0 18085 3 1 0 37788 58 0 0 25 0 11 0 477918251 863887360 47490 4294967295 134512640 134569956 3221224416 3221214784 1131364108 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210910 47490 13073 16 0 210894 0
vsize: 843640
[startup+440.049 s]
Raw data (loadavg): 1.03 1.02 1.00 2/64 24136
Raw data (stat): 24064 (java) R 24063 23176 23175 0 -1 0 18085 3 1 0 38669 59 0 0 25 0 11 0 477918251 863887360 47782 4294967295 134512640 134569956 3221224416 3221214784 1131365126 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210910 47782 13073 16 0 210894 0
vsize: 843640
[startup+450.051 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 24136
Raw data (stat): 24064 (java) R 24063 23176 23175 0 -1 0 18085 3 1 0 39563 59 0 0 25 0 11 0 477918251 863887360 48068 4294967295 134512640 134569956 3221224416 3221214688 1131209445 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210910 48068 13073 16 0 210894 0
vsize: 843640
[startup+460.051 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 24136
Raw data (stat): 24064 (java) R 24063 23176 23175 0 -1 0 18085 3 1 0 40450 59 0 0 25 0 11 0 477918251 863887360 48346 4294967295 134512640 134569956 3221224416 3221214600 1131601171 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210910 48346 13073 16 0 210894 0
vsize: 843640
[startup+470.052 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 24136
Raw data (stat): 24064 (java) R 24063 23176 23175 0 -1 0 18085 3 1 0 41347 60 0 0 25 0 11 0 477918251 863887360 48635 4294967295 134512640 134569956 3221224416 3221214680 1131493230 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210910 48635 13073 16 0 210894 0
vsize: 843640
[startup+480.052 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 24136
Raw data (stat): 24064 (java) R 24063 23176 23175 0 -1 0 18085 3 1 0 42251 60 0 0 25 0 11 0 477918251 863887360 48903 4294967295 134512640 134569956 3221224416 3221214688 1131209745 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210910 48903 13073 16 0 210894 0
vsize: 843640
[startup+490.053 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 24136
Raw data (stat): 24064 (java) R 24063 23176 23175 0 -1 0 18085 3 1 0 43154 61 0 0 25 0 11 0 477918251 863887360 49100 4294967295 134512640 134569956 3221224416 3221214688 1131209946 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210910 49100 13073 16 0 210894 0
vsize: 843640
[startup+500.055 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 24136
Raw data (stat): 24064 (java) R 24063 23176 23175 0 -1 0 18085 3 1 0 44059 61 0 0 25 0 11 0 477918251 863887360 49308 4294967295 134512640 134569956 3221224416 3221214688 1131209760 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210910 49308 13073 16 0 210894 0
vsize: 843640
[startup+510.056 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 24136
Raw data (stat): 24064 (java) R 24063 23176 23175 0 -1 0 18085 3 1 0 44955 62 0 0 25 0 11 0 477918251 863887360 49511 4294967295 134512640 134569956 3221224416 3221214688 1131209909 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210910 49511 13073 16 0 210894 0
vsize: 843640
[startup+520.056 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 24136
Raw data (stat): 24064 (java) R 24063 23176 23175 0 -1 0 18085 3 1 0 45838 63 0 0 25 0 11 0 477918251 863887360 49769 4294967295 134512640 134569956 3221224416 3221214688 1131209774 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210910 49769 13073 16 0 210894 0
vsize: 843640
[startup+530.058 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 24136
Raw data (stat): 24064 (java) S 24063 23176 23175 0 -1 0 18085 3 1 0 46714 63 0 0 25 0 11 0 477918251 863887360 50058 4294967295 134512640 134569956 3221224416 3221213432 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210910 50058 13073 16 0 210894 0
vsize: 843640
[startup+540.058 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 24136
Raw data (stat): 24064 (java) R 24063 23176 23175 0 -1 0 18085 3 1 0 47615 63 0 0 24 0 11 0 477918251 863887360 50438 4294967295 134512640 134569956 3221224416 3221214784 1131365211 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210910 50438 13073 16 0 210894 0
vsize: 843640
[startup+550.059 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 24136
Raw data (stat): 24064 (java) R 24063 23176 23175 0 -1 0 18085 3 1 0 48545 63 0 0 25 0 11 0 477918251 863887360 50636 4294967295 134512640 134569956 3221224416 3221214600 1131600884 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210910 50636 13073 16 0 210894 0
vsize: 843640
[startup+560.06 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 24136
Raw data (stat): 24064 (java) R 24063 23176 23175 0 -1 0 18085 3 1 0 49471 63 0 0 25 0 11 0 477918251 863887360 50677 4294967295 134512640 134569956 3221224416 3221214704 1131382702 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210910 50677 13073 16 0 210894 0
vsize: 843640
[startup+570.06 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 24137
Raw data (stat): 24064 (java) S 24063 23176 23175 0 -1 0 18085 3 1 0 50361 64 0 0 25 0 11 0 477918251 863887360 50694 4294967295 134512640 134569956 3221224416 3221213432 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210910 50694 13073 16 0 210894 0
vsize: 843640
[startup+580.061 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 24137
Raw data (stat): 24064 (java) R 24063 23176 23175 0 -1 0 18085 3 1 0 51245 64 0 0 25 0 11 0 477918251 863887360 50896 4294967295 134512640 134569956 3221224416 3221214784 1131364316 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210910 50896 13073 16 0 210894 0
vsize: 843640
[startup+590.062 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 24137
Raw data (stat): 24064 (java) R 24063 23176 23175 0 -1 0 18085 3 1 0 52150 64 0 0 25 0 11 0 477918251 863887360 51206 4294967295 134512640 134569956 3221224416 3221214832 1131401827 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210910 51206 13073 16 0 210894 0
vsize: 843640
[startup+600.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24137
Raw data (stat): 24064 (java) R 24063 23176 23175 0 -1 0 18085 3 1 0 53076 64 0 0 25 0 11 0 477918251 863887360 51356 4294967295 134512640 134569956 3221224416 3221214832 1131401189 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210910 51356 13073 16 0 210894 0
vsize: 843640
[startup+610.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24137
Raw data (stat): 24064 (java) R 24063 23176 23175 0 -1 0 18085 3 1 0 53988 65 0 0 25 0 11 0 477918251 863887360 51388 4294967295 134512640 134569956 3221224416 3221214832 1131402644 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210910 51388 13073 16 0 210894 0
vsize: 843640
[startup+620.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24137
Raw data (stat): 24064 (java) R 24063 23176 23175 0 -1 0 18085 3 1 0 54885 65 0 0 25 0 11 0 477918251 863887360 51413 4294967295 134512640 134569956 3221224416 3221214688 1131210233 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210910 51413 13073 16 0 210894 0
vsize: 843640
[startup+630.065 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24137
Raw data (stat): 24064 (java) R 24063 23176 23175 0 -1 0 18085 3 1 0 55767 65 0 0 25 0 11 0 477918251 863887360 51769 4294967295 134512640 134569956 3221224416 3221214772 1080203719 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210910 51769 13073 16 0 210894 0
vsize: 843640
[startup+640.065 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24137
Raw data (stat): 24064 (java) R 24063 23176 23175 0 -1 0 18085 3 1 0 56671 65 0 0 25 0 11 0 477918251 863887360 51950 4294967295 134512640 134569956 3221224416 3221214784 1131365126 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210910 51950 13073 16 0 210894 0
vsize: 843640
[startup+650.067 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24137
Raw data (stat): 24064 (java) R 24063 23176 23175 0 -1 0 18085 3 1 0 57564 65 0 0 25 0 11 0 477918251 863887360 52191 4294967295 134512640 134569956 3221224416 3221214820 1080203690 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210910 52191 13073 16 0 210894 0
vsize: 843640
[startup+660.067 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24137
Raw data (stat): 24064 (java) R 24063 23176 23175 0 -1 0 18085 3 1 0 58470 66 0 0 25 0 11 0 477918251 863887360 52520 4294967295 134512640 134569956 3221224416 3221214688 1131210233 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210910 52520 13073 16 0 210894 0
vsize: 843640
[startup+670.067 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24137
Raw data (stat): 24064 (java) S 24063 23176 23175 0 -1 0 18085 3 1 0 59367 66 0 0 25 0 11 0 477918251 863887360 52665 4294967295 134512640 134569956 3221224416 3221213288 1073952481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210910 52665 13073 16 0 210894 0
vsize: 843640
[startup+680.067 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24137
Raw data (stat): 24064 (java) R 24063 23176 23175 0 -1 0 18085 3 1 0 60256 66 0 0 25 0 11 0 477918251 863887360 52904 4294967295 134512640 134569956 3221224416 3221214688 1131209449 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210910 52904 13073 16 0 210894 0
vsize: 843640
[startup+690.068 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24137
Raw data (stat): 24064 (java) S 24063 23176 23175 0 -1 0 18085 3 1 0 61167 66 0 0 25 0 11 0 477918251 863887360 53197 4294967295 134512640 134569956 3221224416 3221213392 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210910 53197 13073 16 0 210894 0
vsize: 843640
[startup+700.069 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24137
Raw data (stat): 24064 (java) R 24063 23176 23175 0 -1 0 18085 3 1 0 62106 67 0 0 24 0 11 0 477918251 863887360 53344 4294967295 134512640 134569956 3221224416 3221214784 1131223175 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210910 53344 13073 16 0 210894 0
vsize: 843640
[startup+710.069 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24137
Raw data (stat): 24064 (java) S 24063 23176 23175 0 -1 0 18085 3 1 0 63025 67 0 0 25 0 11 0 477918251 863887360 53373 4294967295 134512640 134569956 3221224416 3221213432 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210910 53373 13073 16 0 210894 0
vsize: 843640
[startup+720.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24137
Raw data (stat): 24064 (java) R 24063 23176 23175 0 -1 0 18085 3 1 0 63939 67 0 0 25 0 11 0 477918251 863887360 53403 4294967295 134512640 134569956 3221224416 3221214688 1131210717 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210910 53403 13073 16 0 210894 0
vsize: 843640
[startup+730.071 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24137
Raw data (stat): 24064 (java) R 24063 23176 23175 0 -1 0 18085 3 1 0 64837 67 0 0 25 0 11 0 477918251 863887360 53637 4294967295 134512640 134569956 3221224416 3221214760 1131437614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210910 53637 13073 16 0 210894 0
vsize: 843640
[startup+740.071 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24137
Raw data (stat): 24064 (java) R 24063 23176 23175 0 -1 0 18085 3 1 0 65740 68 0 0 25 0 11 0 477918251 863887360 53821 4294967295 134512640 134569956 3221224416 3221214680 1131393985 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210910 53821 13073 16 0 210894 0
vsize: 843640
[startup+750.072 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24137
Raw data (stat): 24064 (java) R 24063 23176 23175 0 -1 0 18085 3 1 0 66646 68 0 0 25 0 11 0 477918251 863887360 54102 4294967295 134512640 134569956 3221224416 3221214716 1080204256 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210910 54102 13073 16 0 210894 0
vsize: 843640
[startup+760.072 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24137
Raw data (stat): 24064 (java) S 24063 23176 23175 0 -1 0 18085 3 1 0 67551 68 0 0 25 0 11 0 477918251 863887360 54267 4294967295 134512640 134569956 3221224416 3221213328 1073952481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210910 54267 13073 16 0 210894 0
vsize: 843640
[startup+770.073 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24137
Raw data (stat): 24064 (java) R 24063 23176 23175 0 -1 0 18085 3 1 0 68461 68 0 0 24 0 11 0 477918251 863887360 54508 4294967295 134512640 134569956 3221224416 3221214784 1131364268 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210910 54508 13073 16 0 210894 0
vsize: 843640
[startup+780.073 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24137
Raw data (stat): 24064 (java) R 24063 23176 23175 0 -1 0 18085 3 1 0 69365 68 0 0 25 0 11 0 477918251 863887360 54735 4294967295 134512640 134569956 3221224416 3221214784 1131364297 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210910 54735 13073 16 0 210894 0
vsize: 843640
[startup+790.074 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24137
Raw data (stat): 24064 (java) R 24063 23176 23175 0 -1 0 18085 3 1 0 70272 68 0 0 25 0 11 0 477918251 863887360 54900 4294967295 134512640 134569956 3221224416 3221214688 1131209938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210910 54900 13073 16 0 210894 0
vsize: 843640
[startup+800.075 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24137
Raw data (stat): 24064 (java) R 24063 23176 23175 0 -1 0 18085 3 1 0 71180 69 0 0 25 0 11 0 477918251 863887360 55115 4294967295 134512640 134569956 3221224416 3221214688 1131210268 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210910 55115 13073 16 0 210894 0
vsize: 843640
[startup+810.076 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24137
Raw data (stat): 24064 (java) R 24063 23176 23175 0 -1 0 18085 3 1 0 72093 69 0 0 25 0 11 0 477918251 863887360 55347 4294967295 134512640 134569956 3221224416 3221214688 1131209745 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210910 55347 13073 16 0 210894 0
vsize: 843640
[startup+820.077 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24137
Raw data (stat): 24064 (java) R 24063 23176 23175 0 -1 0 18085 3 1 0 73010 69 0 0 25 0 11 0 477918251 863887360 55542 4294967295 134512640 134569956 3221224416 3221214688 1131210578 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210910 55542 13073 16 0 210894 0
vsize: 843640
[startup+830.078 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24137
Raw data (stat): 24064 (java) R 24063 23176 23175 0 -1 0 18085 3 1 0 73922 70 0 0 25 0 11 0 477918251 863887360 55759 4294967295 134512640 134569956 3221224416 3221214824 1131389941 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210910 55759 13073 16 0 210894 0
vsize: 843640
[startup+840.079 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24137
Raw data (stat): 24064 (java) R 24063 23176 23175 0 -1 0 18085 3 1 0 74815 70 0 0 25 0 11 0 477918251 863887360 55957 4294967295 134512640 134569956 3221224416 3221214688 1131210667 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210910 55957 13073 16 0 210894 0
vsize: 843640
[startup+850.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24137
Raw data (stat): 24064 (java) R 24063 23176 23175 0 -1 0 18085 3 1 0 75713 70 0 0 24 0 11 0 477918251 863887360 56105 4294967295 134512640 134569956 3221224416 3221214688 1131209445 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210910 56105 13073 16 0 210894 0
vsize: 843640
[startup+860.081 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24137
Raw data (stat): 24064 (java) R 24063 23176 23175 0 -1 0 18085 3 1 0 76624 70 0 0 25 0 11 0 477918251 863887360 56416 4294967295 134512640 134569956 3221224416 3221214780 1131209427 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210910 56416 13073 16 0 210894 0
vsize: 843640
[startup+870.081 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24137
Raw data (stat): 24064 (java) R 24063 23176 23175 0 -1 0 18085 3 1 0 77577 70 0 0 25 0 11 0 477918251 863887360 56463 4294967295 134512640 134569956 3221224416 3221214784 1131364245 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210910 56463 13073 16 0 210894 0
vsize: 843640
[startup+880.082 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24137
Raw data (stat): 24064 (java) S 24063 23176 23175 0 -1 0 18085 3 1 0 78508 71 0 0 25 0 11 0 477918251 863887360 56489 4294967295 134512640 134569956 3221224416 3221213432 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210910 56489 13073 16 0 210894 0
vsize: 843640
[startup+890.083 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24137
Raw data (stat): 24064 (java) R 24063 23176 23175 0 -1 0 18085 3 1 0 79427 71 0 0 25 0 11 0 477918251 863887360 56516 4294967295 134512640 134569956 3221224416 3221214688 1131209938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210910 56516 13073 16 0 210894 0
vsize: 843640
[startup+900.084 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24137
Raw data (stat): 24064 (java) R 24063 23176 23175 0 -1 0 18085 3 1 0 80341 71 0 0 25 0 11 0 477918251 863887360 56679 4294967295 134512640 134569956 3221224416 3221214784 1131362985 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210910 56679 13073 16 0 210894 0
vsize: 843640
[startup+910.085 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24137
Raw data (stat): 24064 (java) R 24063 23176 23175 0 -1 0 18085 3 1 0 81259 71 0 0 25 0 11 0 477918251 863887360 56879 4294967295 134512640 134569956 3221224416 3221214688 1131210578 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210910 56879 13073 16 0 210894 0
vsize: 843640
[startup+920.086 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24137
Raw data (stat): 24064 (java) R 24063 23176 23175 0 -1 0 18085 3 1 0 82178 72 0 0 25 0 11 0 477918251 863887360 56982 4294967295 134512640 134569956 3221224416 3221214688 1131210001 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210910 56982 13073 16 0 210894 0
vsize: 843640
[startup+930.087 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24137
Raw data (stat): 24064 (java) R 24063 23176 23175 0 -1 0 18085 3 1 0 83097 73 0 0 25 0 11 0 477918251 863887360 57169 4294967295 134512640 134569956 3221224416 3221214784 1131364290 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210910 57169 13073 16 0 210894 0
vsize: 843640
[startup+940.087 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24137
Raw data (stat): 24064 (java) R 24063 23176 23175 0 -1 0 18085 3 1 0 84024 73 0 0 25 0 11 0 477918251 863887360 57361 4294967295 134512640 134569956 3221224416 3221214784 1131363237 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210910 57361 13073 16 0 210894 0
vsize: 843640
[startup+950.088 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24137
Raw data (stat): 24064 (java) R 24063 23176 23175 0 -1 0 18085 3 1 0 84949 73 0 0 25 0 11 0 477918251 863887360 57504 4294967295 134512640 134569956 3221224416 3221214688 1131209445 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210910 57504 13073 16 0 210894 0
vsize: 843640
[startup+960.089 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24137
Raw data (stat): 24064 (java) R 24063 23176 23175 0 -1 0 18085 3 1 0 85882 74 0 0 25 0 11 0 477918251 863887360 57678 4294967295 134512640 134569956 3221224416 3221214688 1131209702 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210910 57678 13073 16 0 210894 0
vsize: 843640
[startup+970.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24137
Raw data (stat): 24064 (java) R 24063 23176 23175 0 -1 0 18085 3 1 0 86813 74 0 0 25 0 11 0 477918251 863887360 57831 4294967295 134512640 134569956 3221224416 3221214688 1131209745 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210910 57831 13073 16 0 210894 0
vsize: 843640
[startup+980.091 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24137
Raw data (stat): 24064 (java) S 24063 23176 23175 0 -1 0 18085 3 1 0 87748 74 0 0 25 0 11 0 477918251 863887360 57969 4294967295 134512640 134569956 3221224416 3221213432 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210910 57969 13073 16 0 210894 0
vsize: 843640
[startup+990.092 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24137
Raw data (stat): 24064 (java) R 24063 23176 23175 0 -1 0 18085 3 1 0 88663 74 0 0 24 0 11 0 477918251 863887360 58094 4294967295 134512640 134569956 3221224416 3221214704 1131659079 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210910 58094 13073 16 0 210894 0
vsize: 843640
[startup+1000.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24137
Raw data (stat): 24064 (java) R 24063 23176 23175 0 -1 0 18085 3 1 0 89581 75 0 0 24 0 11 0 477918251 863887360 58198 4294967295 134512640 134569956 3221224416 3221214568 1131457458 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210910 58198 13073 16 0 210894 0
vsize: 843640
[startup+1010.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24137
Raw data (stat): 24064 (java) R 24063 23176 23175 0 -1 0 18085 3 1 0 90504 75 0 0 25 0 11 0 477918251 863887360 58361 4294967295 134512640 134569956 3221224416 3221214688 1131209886 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210910 58361 13073 16 0 210894 0
vsize: 843640
[startup+1020.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24137
Raw data (stat): 24064 (java) R 24063 23176 23175 0 -1 0 18085 3 1 0 91422 75 0 0 25 0 11 0 477918251 863887360 58597 4294967295 134512640 134569956 3221224416 3221214688 1131209441 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210910 58597 13073 16 0 210894 0
vsize: 843640
[startup+1030.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24137
Raw data (stat): 24064 (java) R 24063 23176 23175 0 -1 0 18085 3 1 0 92353 75 0 0 25 0 11 0 477918251 863887360 58743 4294967295 134512640 134569956 3221224416 3221214688 1131209938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210910 58743 13073 16 0 210894 0
vsize: 843640
[startup+1040.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24137
Raw data (stat): 24064 (java) R 24063 23176 23175 0 -1 0 18085 3 1 0 93283 76 0 0 24 0 11 0 477918251 863887360 58912 4294967295 134512640 134569956 3221224416 3221214600 1131601107 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210910 58912 13073 16 0 210894 0
vsize: 843640
[startup+1050.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24137
Raw data (stat): 24064 (java) R 24063 23176 23175 0 -1 0 18085 3 1 0 94222 76 0 0 25 0 11 0 477918251 863887360 59009 4294967295 134512640 134569956 3221224416 3221214600 1131600913 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210910 59009 13073 16 0 210894 0
vsize: 843640
[startup+1060.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24137
Raw data (stat): 24064 (java) R 24063 23176 23175 0 -1 0 18085 3 1 0 95152 77 0 0 24 0 11 0 477918251 863887360 59169 4294967295 134512640 134569956 3221224416 3221214720 1131244449 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210910 59169 13073 16 0 210894 0
vsize: 843640
[startup+1070.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24137
Raw data (stat): 24064 (java) R 24063 23176 23175 0 -1 0 18085 3 1 0 96089 77 0 0 25 0 11 0 477918251 863887360 59229 4294967295 134512640 134569956 3221224416 3221214688 1131209655 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210910 59229 13073 16 0 210894 0
vsize: 843640
[startup+1080.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24137
Raw data (stat): 24064 (java) R 24063 23176 23175 0 -1 0 18085 3 1 0 97019 78 0 0 24 0 11 0 477918251 863887360 59460 4294967295 134512640 134569956 3221224416 3221214688 1131210001 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210910 59460 13073 16 0 210894 0
vsize: 843640
[startup+1090.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24137
Raw data (stat): 24064 (java) R 24063 23176 23175 0 -1 0 18085 3 1 0 97955 78 0 0 25 0 11 0 477918251 863887360 59577 4294967295 134512640 134569956 3221224416 3221214688 1131210017 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210910 59577 13073 16 0 210894 0
vsize: 843640
[startup+1100.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24137
Raw data (stat): 24064 (java) R 24063 23176 23175 0 -1 0 18085 3 1 0 98883 79 0 0 25 0 11 0 477918251 863887360 59664 4294967295 134512640 134569956 3221224416 3221214688 1131209700 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210910 59664 13073 16 0 210894 0
vsize: 843640
[startup+1110.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24137
Raw data (stat): 24064 (java) R 24063 23176 23175 0 -1 0 18085 3 1 0 99819 79 0 0 25 0 11 0 477918251 863887360 59825 4294967295 134512640 134569956 3221224416 3221214688 1131210001 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210910 59825 13073 16 0 210894 0
vsize: 843640
[startup+1120.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24137
Raw data (stat): 24064 (java) R 24063 23176 23175 0 -1 0 18085 3 1 0 100756 79 0 0 24 0 11 0 477918251 863887360 59946 4294967295 134512640 134569956 3221224416 3221214688 1131210001 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210910 59946 13073 16 0 210894 0
vsize: 843640
[startup+1130.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24137
Raw data (stat): 24064 (java) R 24063 23176 23175 0 -1 0 18085 3 1 0 101701 79 0 0 25 0 11 0 477918251 863887360 60088 4294967295 134512640 134569956 3221224416 3221214688 1131210508 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210910 60088 13073 16 0 210894 0
vsize: 843640
[startup+1140.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24137
Raw data (stat): 24064 (java) R 24063 23176 23175 0 -1 0 18085 3 1 0 102649 80 0 0 25 0 11 0 477918251 863887360 60139 4294967295 134512640 134569956 3221224416 3221214688 1131210104 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210910 60139 13073 16 0 210894 0
vsize: 843640
[startup+1150.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24137
Raw data (stat): 24064 (java) R 24063 23176 23175 0 -1 0 18085 3 1 0 103591 80 0 0 25 0 11 0 477918251 863887360 60276 4294967295 134512640 134569956 3221224416 3221214784 1131364404 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210910 60276 13073 16 0 210894 0
vsize: 843640
[startup+1160.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24137
Raw data (stat): 24064 (java) R 24063 23176 23175 0 -1 0 18085 3 1 0 104534 80 0 0 25 0 11 0 477918251 863887360 60379 4294967295 134512640 134569956 3221224416 3221214704 1131659123 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210910 60379 13073 16 0 210894 0
vsize: 843640
[startup+1170.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24137
Raw data (stat): 24064 (java) R 24063 23176 23175 0 -1 0 18085 3 1 0 105476 81 0 0 25 0 11 0 477918251 863887360 60461 4294967295 134512640 134569956 3221224416 3221214600 1131601300 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210910 60461 13073 16 0 210894 0
vsize: 843640
[startup+1180.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24137
Raw data (stat): 24064 (java) R 24063 23176 23175 0 -1 0 18085 3 1 0 106406 81 0 0 25 0 11 0 477918251 863887360 60569 4294967295 134512640 134569956 3221224416 3221214688 1131210233 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210910 60569 13073 16 0 210894 0
vsize: 843640
[startup+1190.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24137
Raw data (stat): 24064 (java) R 24063 23176 23175 0 -1 0 18085 3 1 0 107322 82 0 0 25 0 11 0 477918251 863887360 60687 4294967295 134512640 134569956 3221224416 3221214784 1131364290 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210910 60687 13073 16 0 210894 0
vsize: 843640
[startup+1200.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24137
Raw data (stat): 24064 (java) R 24063 23176 23175 0 -1 0 18085 3 1 0 108241 82 0 0 25 0 11 0 477918251 863887360 60847 4294967295 134512640 134569956 3221224416 3221214784 1131364276 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210910 60847 13073 16 0 210894 0
vsize: 843640
[startup+1210.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24137
Raw data (stat): 24064 (java) R 24063 23176 23175 0 -1 0 18085 3 1 0 109176 82 0 0 25 0 11 0 477918251 863887360 61021 4294967295 134512640 134569956 3221224416 3221214688 1131210177 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210910 61021 13073 16 0 210894 0
vsize: 843640
[startup+1220.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24137
Raw data (stat): 24064 (java) R 24063 23176 23175 0 -1 0 18085 3 1 0 110127 83 0 0 25 0 11 0 477918251 863887360 61061 4294967295 134512640 134569956 3221224416 3221214688 1131210054 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210910 61061 13073 16 0 210894 0
vsize: 843640
[startup+1230.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24137
Raw data (stat): 24064 (java) R 24063 23176 23175 0 -1 0 18085 3 1 0 111060 83 0 0 25 0 11 0 477918251 863887360 61090 4294967295 134512640 134569956 3221224416 3221214688 1131210514 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210910 61090 13073 16 0 210894 0
vsize: 843640
[startup+1240.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24137
Raw data (stat): 24064 (java) R 24063 23176 23175 0 -1 0 18085 3 1 0 111968 84 0 0 25 0 11 0 477918251 863887360 61113 4294967295 134512640 134569956 3221224416 3221214688 1131209445 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210910 61113 13073 16 0 210894 0
vsize: 843640
[startup+1250.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24137
Raw data (stat): 24064 (java) R 24063 23176 23175 0 -1 0 18085 3 1 0 112873 84 0 0 25 0 11 0 477918251 863887360 61312 4294967295 134512640 134569956 3221224416 3221214688 1131210250 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210910 61312 13073 16 0 210894 0
vsize: 843640
[startup+1260.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24137
Raw data (stat): 24064 (java) R 24063 23176 23175 0 -1 0 18085 3 1 0 113775 84 0 0 24 0 11 0 477918251 863887360 61563 4294967295 134512640 134569956 3221224416 3221214688 1131210637 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210910 61563 13073 16 0 210894 0
vsize: 843640
[startup+1270.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24137
Raw data (stat): 24064 (java) R 24063 23176 23175 0 -1 0 18085 3 1 0 114693 85 0 0 25 0 11 0 477918251 863887360 61771 4294967295 134512640 134569956 3221224416 3221214688 1131210001 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210910 61771 13073 16 0 210894 0
vsize: 843640
[startup+1280.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24137
Raw data (stat): 24064 (java) R 24063 23176 23175 0 -1 0 18085 3 1 0 115606 85 0 0 25 0 11 0 477918251 863887360 61914 4294967295 134512640 134569956 3221224416 3221214784 1131363169 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210910 61914 13073 16 0 210894 0
vsize: 843640
[startup+1290.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24137
Raw data (stat): 24064 (java) R 24063 23176 23175 0 -1 0 18085 3 1 0 116512 86 0 0 25 0 11 0 477918251 863887360 62081 4294967295 134512640 134569956 3221224416 3221214688 1131209710 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210910 62081 13073 16 0 210894 0
vsize: 843640
[startup+1300.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24137
Raw data (stat): 24064 (java) R 24063 23176 23175 0 -1 0 18085 3 1 0 117414 86 0 0 25 0 11 0 477918251 863887360 62292 4294967295 134512640 134569956 3221224416 3221214688 1131210001 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210910 62292 13073 16 0 210894 0
vsize: 843640
[startup+1310.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24137
Raw data (stat): 24064 (java) R 24063 23176 23175 0 -1 0 18085 3 1 0 118316 87 0 0 25 0 11 0 477918251 863887360 62541 4294967295 134512640 134569956 3221224416 3221214688 1131210628 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210910 62541 13073 16 0 210894 0
vsize: 843640
[startup+1320.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24137
Raw data (stat): 24064 (java) R 24063 23176 23175 0 -1 0 18085 3 1 0 119211 87 0 0 25 0 11 0 477918251 863887360 62765 4294967295 134512640 134569956 3221224416 3221214784 1131364300 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210910 62765 13073 16 0 210894 0
vsize: 843640
[startup+1330.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24137
Raw data (stat): 24064 (java) R 24063 23176 23175 0 -1 0 18085 3 1 0 120117 87 0 0 25 0 11 0 477918251 863887360 62954 4294967295 134512640 134569956 3221224416 3221214584 1131434565 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210910 62954 13073 16 0 210894 0
vsize: 843640
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1330.29 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 24139
Raw data (stat): 24064 (java) Z 24063 23176 23175 0 -1 1036 18085 50123 1 0 120121 99 13731 132 25 0 1 0 477918251 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): 1330.29
CPU time (s): 1340.85
CPU user time (s): 1338.53
CPU system time (s): 2.31665
CPU usage (%): 100.794
Max. virtual memory (Kb): 843640
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####