PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-UMTS.opb
MD5SUM	ea791006d6c51b520e558c3246209299
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	85314464
Optimality of the best value was proved	NO
Number of terms in the objective function	4170
Biggest coefficient in the objective function	23582998528
Number of bits for the biggest coefficient in the objective function	35
Sum of the numbers in the objective function	2904924551250
Number of bits of the sum of numbers in the objective function	42
Biggest number in a constraint	1024000000000
Number of bits of the biggest number in a constraint	40
Biggest sum of numbers in a constraint	2904924551250
Number of bits of the biggest sum of numbers	42
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1247.2
Number of variables	6402
Total number of constraints	7267
Number of constraints which are clauses	2785
Number of constraints which are cardinality constraints (but not clauses)	4230
Number of constraints which are nor clauses,nor cardinality constraints	252
Minimum length of a constraint	1
Maximum length of a constraint	511
Trace number 13233

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc22 THE 2005-04-20 20:19:32 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=15310 boxname=wulflinc22 idbench=1178 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  ea791006d6c51b520e558c3246209299  /oldhome/oroussel/tmp/wulflinc22/normalized-mps-v2-20-10-UMTS.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc22/normalized-mps-v2-20-10-UMTS.opb
IDLAUNCH: 15310
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.031
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.031
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:        514768 kB
Buffers:         35816 kB
Cached:         437780 kB
SwapCached:       3696 kB
Active:         177652 kB
Inactive:       302548 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        514516 kB
SwapTotal:     2097892 kB
SwapFree:      2094184 kB
Dirty:               4 kB
Writeback:           0 kB
Mapped:           6928 kB
Slab:            34020 kB
Committed_AS:    63488 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-20 20:40:26 (client local time) WITH STATUS 143 IN 1261.33 SECONDS
stats: 15310 7 1261.33 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc22/normalized-mps-v2-20-10-UMTS.opb
c reading problem 
c [nbvar=6402]
c [nbconstr=7267]
c time 19.801
c #vars     6402
c #clauses  4640
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=94592077
c Current CPU time (ms) : 224.541
c starts	: 2
c conflicts	: 126
c decisions	: 2379
c propagations	: 19014
c inspects	: 51138
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 126
c root simplifications	: 3
c 
c CURRENT OPTIMUM=94081433
c Current CPU time (ms) : 239.819
c starts	: 3
c conflicts	: 130
c decisions	: 3069
c propagations	: 23073
c inspects	: 63850
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 130
c root simplifications	: 4
c 
c CURRENT OPTIMUM=94054640
c Current CPU time (ms) : 258.138
c starts	: 4
c conflicts	: 132
c decisions	: 3663
c propagations	: 26851
c inspects	: 75943
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 132
c root simplifications	: 5
c 
c CURRENT OPTIMUM=94009938
c Current CPU time (ms) : 307.895
c starts	: 5
c conflicts	: 139
c decisions	: 4757
c propagations	: 33252
c inspects	: 95069
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 139
c root simplifications	: 7
c 
c CURRENT OPTIMUM=48299403
c Current CPU time (ms) : 398.993
c starts	: 6
c conflicts	: 178
c decisions	: 7347
c propagations	: 41594
c inspects	: 146523
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 178
c root simplifications	: 9
c 
c CURRENT OPTIMUM=42808369
c Current CPU time (ms) : 666.793
c starts	: 8
c conflicts	: 337
c decisions	: 9781
c propagations	: 53248
c inspects	: 217891
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 337
c root simplifications	: 11
c 
c CURRENT OPTIMUM=34967414
c Current CPU time (ms) : 934.818
c starts	: 10
c conflicts	: 448
c decisions	: 14956
c propagations	: 66244
c inspects	: 318301
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 448
c root simplifications	: 14
c 
c CURRENT OPTIMUM=34714738
c Current CPU time (ms) : 1212.308
c starts	: 12
c conflicts	: 599
c decisions	: 17392
c propagations	: 74742
c inspects	: 437669
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 599
c root simplifications	: 16
#### 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.08 0.02 0.01 2/54 20386
Raw data (stat): 20386 (runsolver) R 20385 26298 26297 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 539265308 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.22 0.05 0.02 4/63 20395
Raw data (stat): 20386 (java) R 20385 26298 26297 0 -1 0 17990 0 1 0 818 38 0 0 25 0 10 0 539265308 860643328 20795 4294967295 134512640 134569956 3221224400 3221214488 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210118 20795 13073 16 0 210102 0
vsize: 840472
[startup+20.0018 s]
Raw data (loadavg): 0.34 0.08 0.02 2/63 20395
Raw data (stat): 20386 (java) R 20385 26298 26297 0 -1 0 17992 0 1 0 1684 40 0 0 25 0 10 0 539265308 860577792 21977 4294967295 134512640 134569956 3221224400 3221214272 1131209391 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210102 21977 13073 16 0 210086 0
vsize: 840408
[startup+30.0019 s]
Raw data (loadavg): 0.44 0.11 0.03 2/64 20396
Raw data (stat): 20386 (java) R 20385 26298 26297 0 -1 0 18060 0 1 0 2520 41 0 0 25 0 11 0 539265308 861106176 22685 4294967295 134512640 134569956 3221224400 3221214680 1131464092 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210231 22685 13073 16 0 210215 0
vsize: 840924
[startup+40.0022 s]
Raw data (loadavg): 0.53 0.14 0.04 2/64 20396
Raw data (stat): 20386 (java) R 20385 26298 26297 0 -1 0 18060 0 1 0 3407 41 0 0 25 0 11 0 539265308 861106176 22833 4294967295 134512640 134569956 3221224400 3221214760 1131435813 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210231 22833 13073 16 0 210215 0
vsize: 840924
[startup+50.0033 s]
Raw data (loadavg): 0.60 0.17 0.05 2/64 20396
Raw data (stat): 20386 (java) R 20385 26298 26297 0 -1 0 18060 0 1 0 4308 41 0 0 25 0 11 0 539265308 861106176 22911 4294967295 134512640 134569956 3221224400 3221214760 1131456581 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210231 22911 13073 16 0 210215 0
vsize: 840924
[startup+60.0035 s]
Raw data (loadavg): 0.66 0.19 0.06 2/64 20396
Raw data (stat): 20386 (java) R 20385 26298 26297 0 -1 0 18060 0 1 0 5230 41 0 0 25 0 11 0 539265308 861106176 23572 4294967295 134512640 134569956 3221224400 3221214824 1131444108 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210231 23572 13073 16 0 210215 0
vsize: 840924
[startup+70.0037 s]
Raw data (loadavg): 0.71 0.22 0.07 2/64 20396
Raw data (stat): 20386 (java) R 20385 26298 26297 0 -1 0 18060 0 1 0 6182 42 0 0 25 0 11 0 539265308 861106176 23685 4294967295 134512640 134569956 3221224400 3221214776 1131433929 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210231 23685 13073 16 0 210215 0
vsize: 840924
[startup+80.0039 s]
Raw data (loadavg): 0.76 0.24 0.08 2/64 20396
Raw data (stat): 20386 (java) R 20385 26298 26297 0 -1 0 18060 0 1 0 7140 42 0 0 24 0 11 0 539265308 861106176 23867 4294967295 134512640 134569956 3221224400 3221214824 1131443726 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210231 23867 13073 16 0 210215 0
vsize: 840924
[startup+90.0046 s]
Raw data (loadavg): 0.79 0.27 0.09 2/64 20396
Raw data (stat): 20386 (java) R 20385 26298 26297 0 -1 0 18060 0 1 0 8115 42 0 0 24 0 11 0 539265308 861106176 24017 4294967295 134512640 134569956 3221224400 3221214840 1131409504 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210231 24017 13073 16 0 210215 0
vsize: 840924
[startup+100.004 s]
Raw data (loadavg): 0.90 0.31 0.11 2/64 20396
Raw data (stat): 20386 (java) R 20385 26298 26297 0 -1 0 18061 0 1 0 9086 43 0 0 25 0 11 0 539265308 861106176 24063 4294967295 134512640 134569956 3221224400 3221214824 1131444421 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210231 24063 13073 16 0 210215 0
vsize: 840924
[startup+110.022 s]
Raw data (loadavg): 0.92 0.33 0.12 2/64 20396
Raw data (stat): 20386 (java) R 20385 26298 26297 0 -1 0 18061 0 1 0 10025 43 0 0 25 0 11 0 539265308 861106176 24112 4294967295 134512640 134569956 3221224400 3221214760 1131457060 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210231 24112 13073 16 0 210215 0
vsize: 840924
[startup+120.029 s]
Raw data (loadavg): 0.93 0.35 0.12 2/64 20396
Raw data (stat): 20386 (java) R 20385 26298 26297 0 -1 0 18061 0 1 0 10954 44 0 0 25 0 11 0 539265308 861106176 24183 4294967295 134512640 134569956 3221224400 3221214760 1131458064 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210231 24183 13073 16 0 210215 0
vsize: 840924
[startup+130.028 s]
Raw data (loadavg): 0.94 0.37 0.13 2/64 20396
Raw data (stat): 20386 (java) R 20385 26298 26297 0 -1 0 18061 0 1 0 11881 44 0 0 25 0 11 0 539265308 861106176 24403 4294967295 134512640 134569956 3221224400 3221214748 1080203690 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210231 24403 13073 16 0 210215 0
vsize: 840924
[startup+140.034 s]
Raw data (loadavg): 0.95 0.39 0.14 2/64 20396
Raw data (stat): 20386 (java) R 20385 26298 26297 0 -1 0 18061 0 1 0 12827 44 0 0 25 0 11 0 539265308 861106176 24672 4294967295 134512640 134569956 3221224400 3221214748 1080203741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210231 24672 13073 16 0 210215 0
vsize: 840924
[startup+150.035 s]
Raw data (loadavg): 0.96 0.41 0.15 2/64 20396
Raw data (stat): 20386 (java) R 20385 26298 26297 0 -1 0 18061 0 1 0 13779 45 0 0 25 0 11 0 539265308 861106176 24863 4294967295 134512640 134569956 3221224400 3221214896 1131375398 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210231 24863 13073 16 0 210215 0
vsize: 840924
[startup+160.036 s]
Raw data (loadavg): 0.96 0.43 0.16 2/64 20396
Raw data (stat): 20386 (java) R 20385 26298 26297 0 -1 0 18061 0 1 0 14734 46 0 0 24 0 11 0 539265308 861106176 24970 4294967295 134512640 134569956 3221224400 3221214896 1131375330 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210231 24970 13073 16 0 210215 0
vsize: 840924
[startup+170.049 s]
Raw data (loadavg): 0.97 0.45 0.17 2/64 20396
Raw data (stat): 20386 (java) R 20385 26298 26297 0 -1 0 18062 0 1 0 15685 46 0 0 25 0 11 0 539265308 861106176 25037 4294967295 134512640 134569956 3221224400 3221214776 1131433609 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210231 25037 13073 16 0 210215 0
vsize: 840924
[startup+180.056 s]
Raw data (loadavg): 0.97 0.47 0.18 2/64 20396
Raw data (stat): 20386 (java) R 20385 26298 26297 0 -1 0 18062 0 1 0 16657 46 0 0 25 0 11 0 539265308 861106176 25097 4294967295 134512640 134569956 3221224400 3221214688 1131608926 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210231 25097 13073 16 0 210215 0
vsize: 840924
[startup+190.066 s]
Raw data (loadavg): 0.98 0.48 0.19 2/64 20396
Raw data (stat): 20386 (java) S 20385 26298 26297 0 -1 0 18062 0 1 0 17619 46 0 0 25 0 11 0 539265308 861106176 25097 4294967295 134512640 134569956 3221224400 3221213504 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210231 25097 13073 16 0 210215 0
vsize: 840924
[startup+200.086 s]
Raw data (loadavg): 0.98 0.50 0.19 2/64 20396
Raw data (stat): 20386 (java) R 20385 26298 26297 0 -1 0 18062 0 1 0 18543 46 0 0 25 0 11 0 539265308 861106176 25190 4294967295 134512640 134569956 3221224400 3221214800 1131233964 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210231 25190 13073 16 0 210215 0
vsize: 840924
[startup+210.086 s]
Raw data (loadavg): 0.98 0.52 0.20 2/64 20396
Raw data (stat): 20386 (java) R 20385 26298 26297 0 -1 0 18062 0 1 0 19454 47 0 0 25 0 11 0 539265308 861106176 25359 4294967295 134512640 134569956 3221224400 3221214896 1131376256 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210231 25359 13073 16 0 210215 0
vsize: 840924
[startup+220.11 s]
Raw data (loadavg): 0.98 0.53 0.21 2/64 20396
Raw data (stat): 20386 (java) R 20385 26298 26297 0 -1 0 18062 0 1 0 20387 47 0 0 25 0 11 0 539265308 861106176 25953 4294967295 134512640 134569956 3221224400 3221214848 1131205209 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210231 25953 13073 16 0 210215 0
vsize: 840924
[startup+230.11 s]
Raw data (loadavg): 0.99 0.55 0.22 2/64 20397
Raw data (stat): 20386 (java) R 20385 26298 26297 0 -1 0 18062 3 1 0 21356 48 0 0 25 0 11 0 539265308 861106176 26032 4294967295 134512640 134569956 3221224400 3221214848 1131205205 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210231 26032 13073 16 0 210215 0
vsize: 840924
[startup+240.111 s]
Raw data (loadavg): 0.99 0.56 0.22 2/64 20397
Raw data (stat): 20386 (java) R 20385 26298 26297 0 -1 0 18062 3 1 0 22324 48 0 0 25 0 11 0 539265308 861106176 26113 4294967295 134512640 134569956 3221224400 3221214728 1131483691 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210231 26113 13073 16 0 210215 0
vsize: 840924
[startup+250.11 s]
Raw data (loadavg): 0.99 0.58 0.23 2/64 20398
Raw data (stat): 20386 (java) R 20385 26298 26297 0 -1 0 18063 3 1 0 23277 49 0 0 25 0 11 0 539265308 861106176 26137 4294967295 134512640 134569956 3221224400 3221214800 1131233587 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210231 26137 13073 16 0 210215 0
vsize: 840924
[startup+260.112 s]
Raw data (loadavg): 0.99 0.59 0.24 2/64 20399
Raw data (stat): 20386 (java) R 20385 26298 26297 0 -1 0 18064 3 1 0 24245 49 0 0 25 0 11 0 539265308 861106176 26252 4294967295 134512640 134569956 3221224400 3221214800 1131233885 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210231 26252 13073 16 0 210215 0
vsize: 840924
[startup+270.112 s]
Raw data (loadavg): 0.99 0.60 0.25 2/64 20399
Raw data (stat): 20386 (java) R 20385 26298 26297 0 -1 0 18064 3 1 0 25210 49 0 0 25 0 11 0 539265308 861106176 26272 4294967295 134512640 134569956 3221224400 3221214848 1131205184 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210231 26272 13073 16 0 210215 0
vsize: 840924
[startup+280.133 s]
Raw data (loadavg): 0.99 0.61 0.26 2/64 20399
Raw data (stat): 20386 (java) R 20385 26298 26297 0 -1 0 18064 3 1 0 26181 49 0 0 25 0 11 0 539265308 861106176 26356 4294967295 134512640 134569956 3221224400 3221214800 1131233353 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210231 26356 13073 16 0 210215 0
vsize: 840924
[startup+290.168 s]
Raw data (loadavg): 0.99 0.63 0.26 2/64 20399
Raw data (stat): 20386 (java) R 20385 26298 26297 0 -1 0 18064 3 1 0 27158 50 0 0 25 0 11 0 539265308 861106176 26469 4294967295 134512640 134569956 3221224400 3221214800 1131233719 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210231 26469 13073 16 0 210215 0
vsize: 840924
[startup+300.18 s]
Raw data (loadavg): 0.99 0.64 0.27 2/64 20399
Raw data (stat): 20386 (java) R 20385 26298 26297 0 -1 0 18064 3 1 0 28149 50 0 0 25 0 11 0 539265308 861106176 26473 4294967295 134512640 134569956 3221224400 3221214576 1131294825 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210231 26473 13073 16 0 210215 0
vsize: 840924
[startup+310.18 s]
Raw data (loadavg): 0.99 0.65 0.28 2/64 20400
Raw data (stat): 20386 (java) R 20385 26298 26297 0 -1 0 18064 3 1 0 29137 51 0 0 25 0 11 0 539265308 861106176 26485 4294967295 134512640 134569956 3221224400 3221214800 1131233561 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210231 26485 13073 16 0 210215 0
vsize: 840924
[startup+320.18 s]
Raw data (loadavg): 0.99 0.66 0.29 2/64 20400
Raw data (stat): 20386 (java) R 20385 26298 26297 0 -1 0 18064 3 1 0 30104 51 0 0 25 0 11 0 539265308 861106176 26506 4294967295 134512640 134569956 3221224400 3221214800 1131233353 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210231 26506 13073 16 0 210215 0
vsize: 840924
[startup+330.18 s]
Raw data (loadavg): 0.99 0.67 0.29 2/64 20400
Raw data (stat): 20386 (java) R 20385 26298 26297 0 -1 0 18064 3 1 0 31068 51 0 0 25 0 11 0 539265308 861106176 26520 4294967295 134512640 134569956 3221224400 3221214800 1131233517 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210231 26520 13073 16 0 210215 0
vsize: 840924
[startup+340.18 s]
Raw data (loadavg): 0.99 0.68 0.30 2/64 20400
Raw data (stat): 20386 (java) R 20385 26298 26297 0 -1 0 18064 3 1 0 32029 51 0 0 25 0 11 0 539265308 861106176 26720 4294967295 134512640 134569956 3221224400 3221214800 1131233596 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210231 26720 13073 16 0 210215 0
vsize: 840924
[startup+350.181 s]
Raw data (loadavg): 0.99 0.69 0.31 2/64 20400
Raw data (stat): 20386 (java) R 20385 26298 26297 0 -1 0 18064 3 1 0 33011 51 0 0 25 0 11 0 539265308 861106176 26731 4294967295 134512640 134569956 3221224400 3221214848 1131205184 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210231 26731 13073 16 0 210215 0
vsize: 840924
[startup+360.196 s]
Raw data (loadavg): 0.99 0.70 0.31 2/64 20400
Raw data (stat): 20386 (java) R 20385 26298 26297 0 -1 0 18064 3 1 0 33969 52 0 0 25 0 11 0 539265308 861106176 26787 4294967295 134512640 134569956 3221224400 3221214800 1131233941 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210231 26787 13073 16 0 210215 0
vsize: 840924
[startup+370.196 s]
Raw data (loadavg): 0.99 0.71 0.32 2/64 20400
Raw data (stat): 20386 (java) R 20385 26298 26297 0 -1 0 18064 3 1 0 34919 52 0 0 25 0 11 0 539265308 861106176 26794 4294967295 134512640 134569956 3221224400 3221214800 1131233974 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210231 26794 13073 16 0 210215 0
vsize: 840924
[startup+380.202 s]
Raw data (loadavg): 0.99 0.72 0.33 2/64 20400
Raw data (stat): 20386 (java) R 20385 26298 26297 0 -1 0 18064 3 1 0 35860 52 0 0 25 0 11 0 539265308 861106176 26812 4294967295 134512640 134569956 3221224400 3221214800 1131234544 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210231 26812 13073 16 0 210215 0
vsize: 840924
[startup+390.202 s]
Raw data (loadavg): 0.99 0.73 0.33 2/64 20400
Raw data (stat): 20386 (java) R 20385 26298 26297 0 -1 0 18064 3 1 0 36810 52 0 0 25 0 11 0 539265308 861106176 27145 4294967295 134512640 134569956 3221224400 3221214800 1131233765 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210231 27145 13073 16 0 210215 0
vsize: 840924
[startup+400.203 s]
Raw data (loadavg): 0.99 0.74 0.34 2/64 20401
Raw data (stat): 20386 (java) R 20385 26298 26297 0 -1 0 18064 3 1 0 37783 53 0 0 25 0 11 0 539265308 861106176 27212 4294967295 134512640 134569956 3221224400 3221214800 1131233309 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210231 27212 13073 16 0 210215 0
vsize: 840924
[startup+410.203 s]
Raw data (loadavg): 0.99 0.75 0.35 2/64 20401
Raw data (stat): 20386 (java) R 20385 26298 26297 0 -1 0 18064 3 1 0 38745 54 0 0 25 0 11 0 539265308 861106176 27309 4294967295 134512640 134569956 3221224400 3221214800 1131234058 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210231 27309 13073 16 0 210215 0
vsize: 840924
[startup+420.204 s]
Raw data (loadavg): 0.99 0.75 0.35 2/64 20401
Raw data (stat): 20386 (java) R 20385 26298 26297 0 -1 0 18064 3 1 0 39716 54 0 0 25 0 11 0 539265308 861106176 27316 4294967295 134512640 134569956 3221224400 3221214800 1131233663 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210231 27316 13073 16 0 210215 0
vsize: 840924
[startup+430.204 s]
Raw data (loadavg): 0.99 0.76 0.36 2/64 20401
Raw data (stat): 20386 (java) R 20385 26298 26297 0 -1 0 18064 3 1 0 40686 54 0 0 25 0 11 0 539265308 861106176 27444 4294967295 134512640 134569956 3221224400 3221214848 1131205209 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210231 27444 13073 16 0 210215 0
vsize: 840924
[startup+440.205 s]
Raw data (loadavg): 0.99 0.77 0.37 2/64 20401
Raw data (stat): 20386 (java) R 20385 26298 26297 0 -1 0 18064 3 1 0 41662 54 0 0 20 0 11 0 539265308 861106176 27456 4294967295 134512640 134569956 3221224400 3221214800 1131233549 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210231 27456 13073 16 0 210215 0
vsize: 840924
[startup+450.205 s]
Raw data (loadavg): 0.99 0.78 0.37 2/64 20401
Raw data (stat): 20386 (java) R 20385 26298 26297 0 -1 0 18064 3 1 0 42645 55 0 0 25 0 11 0 539265308 861106176 27467 4294967295 134512640 134569956 3221224400 3221214688 1131608956 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210231 27467 13073 16 0 210215 0
vsize: 840924
[startup+460.206 s]
Raw data (loadavg): 0.99 0.78 0.38 2/64 20401
Raw data (stat): 20386 (java) R 20385 26298 26297 0 -1 0 18064 3 1 0 43625 55 0 0 25 0 11 0 539265308 861106176 27501 4294967295 134512640 134569956 3221224400 3221214800 1131233369 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210231 27501 13073 16 0 210215 0
vsize: 840924
[startup+470.207 s]
Raw data (loadavg): 0.99 0.79 0.39 2/64 20401
Raw data (stat): 20386 (java) R 20385 26298 26297 0 -1 0 18064 3 1 0 44608 55 0 0 25 0 11 0 539265308 861106176 27573 4294967295 134512640 134569956 3221224400 3221214848 1131205230 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210231 27573 13073 16 0 210215 0
vsize: 840924
[startup+480.207 s]
Raw data (loadavg): 0.99 0.80 0.39 2/64 20401
Raw data (stat): 20386 (java) R 20385 26298 26297 0 -1 0 18064 3 1 0 45593 55 0 0 25 0 11 0 539265308 861106176 27639 4294967295 134512640 134569956 3221224400 3221214688 1131608915 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210231 27639 13073 16 0 210215 0
vsize: 840924
[startup+490.207 s]
Raw data (loadavg): 0.99 0.80 0.40 2/64 20401
Raw data (stat): 20386 (java) R 20385 26298 26297 0 -1 0 18064 3 1 0 46579 56 0 0 25 0 11 0 539265308 861106176 27666 4294967295 134512640 134569956 3221224400 3221214688 1131609057 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210231 27666 13073 16 0 210215 0
vsize: 840924
[startup+500.208 s]
Raw data (loadavg): 0.99 0.81 0.40 2/64 20401
Raw data (stat): 20386 (java) R 20385 26298 26297 0 -1 0 18064 3 1 0 47565 56 0 0 24 0 11 0 539265308 861106176 27695 4294967295 134512640 134569956 3221224400 3221214848 1131205309 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210231 27695 13073 16 0 210215 0
vsize: 840924
[startup+510.208 s]
Raw data (loadavg): 0.99 0.81 0.41 2/64 20401
Raw data (stat): 20386 (java) R 20385 26298 26297 0 -1 0 18064 3 1 0 48553 56 0 0 25 0 11 0 539265308 861106176 27720 4294967295 134512640 134569956 3221224400 3221214848 1131205187 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210231 27720 13073 16 0 210215 0
vsize: 840924
[startup+520.208 s]
Raw data (loadavg): 0.99 0.82 0.41 2/64 20401
Raw data (stat): 20386 (java) R 20385 26298 26297 0 -1 0 18064 3 1 0 49539 57 0 0 25 0 11 0 539265308 861106176 27763 4294967295 134512640 134569956 3221224400 3221214688 1131608896 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210231 27763 13073 16 0 210215 0
vsize: 840924
[startup+530.208 s]
Raw data (loadavg): 0.99 0.83 0.42 2/64 20401
Raw data (stat): 20386 (java) R 20385 26298 26297 0 -1 0 18064 3 1 0 50525 57 0 0 25 0 11 0 539265308 861106176 27794 4294967295 134512640 134569956 3221224400 3221214688 1131609014 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210231 27794 13073 16 0 210215 0
vsize: 840924
[startup+540.209 s]
Raw data (loadavg): 0.99 0.83 0.43 2/64 20401
Raw data (stat): 20386 (java) R 20385 26298 26297 0 -1 0 18064 3 1 0 51513 57 0 0 25 0 11 0 539265308 861106176 27825 4294967295 134512640 134569956 3221224400 3221214800 1131233330 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210231 27825 13073 16 0 210215 0
vsize: 840924
[startup+550.209 s]
Raw data (loadavg): 0.99 0.83 0.43 2/64 20401
Raw data (stat): 20386 (java) R 20385 26298 26297 0 -1 0 18064 3 1 0 52500 57 0 0 25 0 11 0 539265308 861106176 27863 4294967295 134512640 134569956 3221224400 3221214800 1131233838 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210231 27863 13073 16 0 210215 0
vsize: 840924
[startup+560.21 s]
Raw data (loadavg): 0.99 0.84 0.44 2/64 20401
Raw data (stat): 20386 (java) R 20385 26298 26297 0 -1 0 18064 3 1 0 53487 58 0 0 24 0 11 0 539265308 861106176 27890 4294967295 134512640 134569956 3221224400 3221214488 1131233342 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210231 27890 13073 16 0 210215 0
vsize: 840924
[startup+570.21 s]
Raw data (loadavg): 0.99 0.84 0.44 2/64 20401
Raw data (stat): 20386 (java) R 20385 26298 26297 0 -1 0 18064 3 1 0 54474 58 0 0 25 0 11 0 539265308 861106176 27918 4294967295 134512640 134569956 3221224400 3221214800 1131234017 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210231 27918 13073 16 0 210215 0
vsize: 840924
[startup+580.211 s]
Raw data (loadavg): 0.99 0.85 0.45 2/64 20401
Raw data (stat): 20386 (java) R 20385 26298 26297 0 -1 0 18064 3 1 0 55459 58 0 0 24 0 11 0 539265308 861106176 27956 4294967295 134512640 134569956 3221224400 3221214800 1131233719 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210231 27956 13073 16 0 210215 0
vsize: 840924
[startup+590.211 s]
Raw data (loadavg): 0.99 0.85 0.46 2/64 20401
Raw data (stat): 20386 (java) R 20385 26298 26297 0 -1 0 18064 3 1 0 56438 58 0 0 25 0 11 0 539265308 861106176 27986 4294967295 134512640 134569956 3221224400 3221214800 1131234457 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210231 27986 13073 16 0 210215 0
vsize: 840924
[startup+600.212 s]
Raw data (loadavg): 0.99 0.86 0.46 2/64 20401
Raw data (stat): 20386 (java) R 20385 26298 26297 0 -1 0 18064 3 1 0 57420 58 0 0 25 0 11 0 539265308 861106176 28046 4294967295 134512640 134569956 3221224400 3221214896 1131375507 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210231 28046 13073 16 0 210215 0
vsize: 840924
[startup+610.214 s]
Raw data (loadavg): 0.99 0.86 0.47 2/64 20401
Raw data (stat): 20386 (java) R 20385 26298 26297 0 -1 0 18064 3 1 0 58398 59 0 0 25 0 11 0 539265308 861106176 28099 4294967295 134512640 134569956 3221224400 3221214632 1131486125 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210231 28099 13073 16 0 210215 0
vsize: 840924
[startup+620.214 s]
Raw data (loadavg): 0.99 0.87 0.47 2/64 20401
Raw data (stat): 20386 (java) R 20385 26298 26297 0 -1 0 18064 3 1 0 59365 59 0 0 25 0 11 0 539265308 861106176 28120 4294967295 134512640 134569956 3221224400 3221214800 1131234457 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210231 28120 13073 16 0 210215 0
vsize: 840924
[startup+630.213 s]
Raw data (loadavg): 0.99 0.87 0.47 2/64 20401
Raw data (stat): 20386 (java) R 20385 26298 26297 0 -1 0 18064 3 1 0 60327 59 0 0 25 0 11 0 539265308 861106176 28134 4294967295 134512640 134569956 3221224400 3221214848 1131205177 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210231 28134 13073 16 0 210215 0
vsize: 840924
[startup+640.215 s]
Raw data (loadavg): 0.99 0.87 0.48 2/64 20401
Raw data (stat): 20386 (java) R 20385 26298 26297 0 -1 0 18064 3 1 0 61294 59 0 0 25 0 11 0 539265308 861106176 28289 4294967295 134512640 134569956 3221224400 3221214848 1131205184 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210231 28289 13073 16 0 210215 0
vsize: 840924
[startup+650.215 s]
Raw data (loadavg): 0.99 0.88 0.48 2/64 20401
Raw data (stat): 20386 (java) R 20385 26298 26297 0 -1 0 18064 3 1 0 62272 60 0 0 25 0 11 0 539265308 861106176 28361 4294967295 134512640 134569956 3221224400 3221214800 1131233549 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210231 28361 13073 16 0 210215 0
vsize: 840924
[startup+660.216 s]
Raw data (loadavg): 0.99 0.88 0.49 2/64 20401
Raw data (stat): 20386 (java) R 20385 26298 26297 0 -1 0 18064 3 1 0 63249 60 0 0 25 0 11 0 539265308 861106176 28426 4294967295 134512640 134569956 3221224400 3221214576 1131295044 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210231 28426 13073 16 0 210215 0
vsize: 840924
[startup+670.216 s]
Raw data (loadavg): 0.99 0.89 0.49 2/64 20402
Raw data (stat): 20386 (java) R 20385 26298 26297 0 -1 0 18064 3 1 0 64218 61 0 0 25 0 11 0 539265308 861106176 28480 4294967295 134512640 134569956 3221224400 3221214800 1131233328 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210231 28480 13073 16 0 210215 0
vsize: 840924
[startup+680.217 s]
Raw data (loadavg): 0.99 0.89 0.50 2/64 20402
Raw data (stat): 20386 (java) R 20385 26298 26297 0 -1 0 18064 3 1 0 65181 61 0 0 25 0 11 0 539265308 861106176 28493 4294967295 134512640 134569956 3221224400 3221214176 1076460984 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210231 28493 13073 16 0 210215 0
vsize: 840924
[startup+690.218 s]
Raw data (loadavg): 0.99 0.89 0.50 2/64 20402
Raw data (stat): 20386 (java) R 20385 26298 26297 0 -1 0 18064 3 1 0 66150 62 0 0 25 0 11 0 539265308 861106176 28586 4294967295 134512640 134569956 3221224400 3221214800 1131233328 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210231 28586 13073 16 0 210215 0
vsize: 840924
[startup+700.218 s]
Raw data (loadavg): 0.99 0.89 0.51 2/64 20402
Raw data (stat): 20386 (java) R 20385 26298 26297 0 -1 0 18064 3 1 0 67119 62 0 0 25 0 11 0 539265308 861106176 28697 4294967295 134512640 134569956 3221224400 3221214800 1131233719 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210231 28697 13073 16 0 210215 0
vsize: 840924
[startup+710.218 s]
Raw data (loadavg): 0.99 0.90 0.51 2/64 20402
Raw data (stat): 20386 (java) R 20385 26298 26297 0 -1 0 18064 3 1 0 68094 62 0 0 25 0 11 0 539265308 861106176 28705 4294967295 134512640 134569956 3221224400 3221214680 1131614983 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210231 28705 13073 16 0 210215 0
vsize: 840924
[startup+720.218 s]
Raw data (loadavg): 0.99 0.90 0.52 2/64 20402
Raw data (stat): 20386 (java) R 20385 26298 26297 0 -1 0 18064 3 1 0 69076 63 0 0 25 0 11 0 539265308 861106176 28705 4294967295 134512640 134569956 3221224400 3221214576 1131295148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210231 28705 13073 16 0 210215 0
vsize: 840924
[startup+730.218 s]
Raw data (loadavg): 0.99 0.90 0.52 2/64 20402
Raw data (stat): 20386 (java) R 20385 26298 26297 0 -1 0 18064 3 1 0 70063 63 0 0 25 0 11 0 539265308 861106176 28785 4294967295 134512640 134569956 3221224400 3221214680 1131614976 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210231 28785 13073 16 0 210215 0
vsize: 840924
[startup+740.218 s]
Raw data (loadavg): 0.99 0.91 0.53 2/64 20402
Raw data (stat): 20386 (java) R 20385 26298 26297 0 -1 0 18064 3 1 0 71055 63 0 0 25 0 11 0 539265308 861106176 28800 4294967295 134512640 134569956 3221224400 3221214800 1131233515 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210231 28800 13073 16 0 210215 0
vsize: 840924
[startup+750.219 s]
Raw data (loadavg): 0.99 0.91 0.53 2/64 20402
Raw data (stat): 20386 (java) R 20385 26298 26297 0 -1 0 18064 3 1 0 72036 64 0 0 25 0 11 0 539265308 861106176 28816 4294967295 134512640 134569956 3221224400 3221214896 1131375245 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210231 28816 13073 16 0 210215 0
vsize: 840924
[startup+760.22 s]
Raw data (loadavg): 0.99 0.91 0.54 2/64 20402
Raw data (stat): 20386 (java) R 20385 26298 26297 0 -1 0 18064 3 1 0 73018 64 0 0 25 0 11 0 539265308 861106176 28826 4294967295 134512640 134569956 3221224400 3221214800 1131233313 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210231 28826 13073 16 0 210215 0
vsize: 840924
[startup+770.22 s]
Raw data (loadavg): 0.99 0.91 0.54 2/64 20402
Raw data (stat): 20386 (java) R 20385 26298 26297 0 -1 0 18064 3 1 0 73995 64 0 0 25 0 11 0 539265308 861106176 28863 4294967295 134512640 134569956 3221224400 3221214800 1131233353 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210231 28863 13073 16 0 210215 0
vsize: 840924
[startup+780.22 s]
Raw data (loadavg): 0.99 0.92 0.55 2/64 20402
Raw data (stat): 20386 (java) R 20385 26298 26297 0 -1 0 18064 3 1 0 74972 64 0 0 25 0 11 0 539265308 861106176 28881 4294967295 134512640 134569956 3221224400 3221214800 1131233964 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210231 28881 13073 16 0 210215 0
vsize: 840924
[startup+790.221 s]
Raw data (loadavg): 0.99 0.92 0.55 2/64 20402
Raw data (stat): 20386 (java) R 20385 26298 26297 0 -1 0 18064 3 1 0 75933 64 0 0 25 0 11 0 539265308 861106176 28890 4294967295 134512640 134569956 3221224400 3221214760 1131458139 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210231 28890 13073 16 0 210215 0
vsize: 840924
[startup+800.221 s]
Raw data (loadavg): 0.99 0.92 0.56 2/64 20402
Raw data (stat): 20386 (java) R 20385 26298 26297 0 -1 0 18064 3 1 0 76879 64 0 0 25 0 11 0 539265308 861106176 28956 4294967295 134512640 134569956 3221224400 3221214800 1131233885 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210231 28956 13073 16 0 210215 0
vsize: 840924
[startup+810.222 s]
Raw data (loadavg): 0.99 0.92 0.56 2/64 20402
Raw data (stat): 20386 (java) R 20385 26298 26297 0 -1 0 18064 3 1 0 77829 64 0 0 25 0 11 0 539265308 861106176 29062 4294967295 134512640 134569956 3221224400 3221214800 1131233719 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210231 29062 13073 16 0 210215 0
vsize: 840924
[startup+820.225 s]
Raw data (loadavg): 0.99 0.92 0.56 2/64 20402
Raw data (stat): 20386 (java) R 20385 26298 26297 0 -1 0 18064 3 1 0 78797 64 0 0 25 0 11 0 539265308 861106176 29279 4294967295 134512640 134569956 3221224400 3221214728 1131483688 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210231 29279 13073 16 0 210215 0
vsize: 840924
[startup+830.225 s]
Raw data (loadavg): 0.99 0.93 0.57 2/64 20402
Raw data (stat): 20386 (java) R 20385 26298 26297 0 -1 0 18064 3 1 0 79754 64 0 0 25 0 11 0 539265308 861106176 29348 4294967295 134512640 134569956 3221224400 3221214800 1131233328 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210231 29348 13073 16 0 210215 0
vsize: 840924
[startup+840.227 s]
Raw data (loadavg): 0.99 0.93 0.57 2/64 20402
Raw data (stat): 20386 (java) R 20385 26298 26297 0 -1 0 18064 3 1 0 80705 64 0 0 24 0 11 0 539265308 861106176 29381 4294967295 134512640 134569956 3221224400 3221214800 1131233719 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210231 29381 13073 16 0 210215 0
vsize: 840924
[startup+850.23 s]
Raw data (loadavg): 0.99 0.93 0.58 2/64 20402
Raw data (stat): 20386 (java) R 20385 26298 26297 0 -1 0 18064 3 1 0 81681 64 0 0 25 0 11 0 539265308 861106176 29411 4294967295 134512640 134569956 3221224400 3221214688 1131608908 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210231 29411 13073 16 0 210215 0
vsize: 840924
[startup+860.23 s]
Raw data (loadavg): 0.99 0.93 0.58 2/64 20402
Raw data (stat): 20386 (java) R 20385 26298 26297 0 -1 0 18064 3 1 0 82652 64 0 0 25 0 11 0 539265308 861106176 29485 4294967295 134512640 134569956 3221224400 3221214688 1131608915 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210231 29485 13073 16 0 210215 0
vsize: 840924
[startup+870.23 s]
Raw data (loadavg): 0.99 0.93 0.58 2/64 20402
Raw data (stat): 20386 (java) R 20385 26298 26297 0 -1 0 18064 3 1 0 83621 64 0 0 25 0 11 0 539265308 861106176 29738 4294967295 134512640 134569956 3221224400 3221214616 1131503199 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210231 29738 13073 16 0 210215 0
vsize: 840924
[startup+880.233 s]
Raw data (loadavg): 0.99 0.94 0.59 2/64 20402
Raw data (stat): 20386 (java) S 20385 26298 26297 0 -1 0 18064 3 1 0 84555 64 0 0 25 0 11 0 539265308 861106176 29753 4294967295 134512640 134569956 3221224400 3221213552 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210231 29753 13073 16 0 210215 0
vsize: 840924
[startup+890.234 s]
Raw data (loadavg): 0.99 0.94 0.59 2/64 20402
Raw data (stat): 20386 (java) R 20385 26298 26297 0 -1 0 18064 3 1 0 85467 64 0 0 25 0 11 0 539265308 861106176 29800 4294967295 134512640 134569956 3221224400 3221214808 1131234602 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210231 29800 13073 16 0 210215 0
vsize: 840924
[startup+900.234 s]
Raw data (loadavg): 0.99 0.94 0.59 2/64 20402
Raw data (stat): 20386 (java) R 20385 26298 26297 0 -1 0 18064 3 1 0 86372 64 0 0 25 0 11 0 539265308 861106176 29872 4294967295 134512640 134569956 3221224400 3221214808 1131233719 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210231 29872 13073 16 0 210215 0
vsize: 840924
[startup+910.235 s]
Raw data (loadavg): 0.99 0.94 0.60 2/64 20402
Raw data (stat): 20386 (java) R 20385 26298 26297 0 -1 0 18064 3 1 0 87304 65 0 0 25 0 11 0 539265308 861106176 30316 4294967295 134512640 134569956 3221224400 3221214808 1131234474 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210231 30316 13073 16 0 210215 0
vsize: 840924
[startup+920.24 s]
Raw data (loadavg): 0.99 0.94 0.60 2/64 20402
Raw data (stat): 20386 (java) S 20385 26298 26297 0 -1 0 18064 3 1 0 88269 65 0 0 25 0 11 0 539265308 861106176 30626 4294967295 134512640 134569956 3221224400 3221213552 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210231 30626 13073 16 0 210215 0
vsize: 840924
[startup+930.24 s]
Raw data (loadavg): 0.99 0.94 0.61 2/64 20402
Raw data (stat): 20386 (java) R 20385 26298 26297 0 -1 0 18064 3 1 0 89238 65 0 0 25 0 11 0 539265308 861106176 30644 4294967295 134512640 134569956 3221224400 3221214808 1131233893 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210231 30644 13073 16 0 210215 0
vsize: 840924
[startup+940.241 s]
Raw data (loadavg): 0.99 0.94 0.61 2/64 20403
Raw data (stat): 20386 (java) R 20385 26298 26297 0 -1 0 18064 3 1 0 90201 65 0 0 25 0 11 0 539265308 861106176 30692 4294967295 134512640 134569956 3221224400 3221214808 1131233719 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210231 30692 13073 16 0 210215 0
vsize: 840924
[startup+950.248 s]
Raw data (loadavg): 0.99 0.95 0.61 2/64 20403
Raw data (stat): 20386 (java) R 20385 26298 26297 0 -1 0 18064 3 1 0 91171 65 0 0 25 0 11 0 539265308 861106176 30830 4294967295 134512640 134569956 3221224400 3221214808 1131234205 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210231 30830 13073 16 0 210215 0
vsize: 840924
[startup+960.254 s]
Raw data (loadavg): 0.99 0.95 0.62 2/64 20403
Raw data (stat): 20386 (java) R 20385 26298 26297 0 -1 0 18064 3 1 0 92143 65 0 0 25 0 11 0 539265308 861106176 30835 4294967295 134512640 134569956 3221224400 3221214856 1131205201 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210231 30835 13073 16 0 210215 0
vsize: 840924
[startup+970.254 s]
Raw data (loadavg): 0.99 0.95 0.62 2/64 20403
Raw data (stat): 20386 (java) R 20385 26298 26297 0 -1 0 18064 3 1 0 93120 65 0 0 25 0 11 0 539265308 861106176 30923 4294967295 134512640 134569956 3221224400 3221214604 1131293228 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210231 30923 13073 16 0 210215 0
vsize: 840924
[startup+980.259 s]
Raw data (loadavg): 0.99 0.95 0.63 2/64 20403
Raw data (stat): 20386 (java) R 20385 26298 26297 0 -1 0 18064 3 1 0 94104 65 0 0 25 0 11 0 539265308 861106176 30930 4294967295 134512640 134569956 3221224400 3221214616 1131608926 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210231 30930 13073 16 0 210215 0
vsize: 840924
[startup+990.263 s]
Raw data (loadavg): 0.99 0.95 0.63 2/64 20403
Raw data (stat): 20386 (java) R 20385 26298 26297 0 -1 0 18064 3 1 0 95086 65 0 0 25 0 11 0 539265308 861106176 30937 4294967295 134512640 134569956 3221224400 3221214616 1131609047 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210231 30937 13073 16 0 210215 0
vsize: 840924
[startup+1000.26 s]
Raw data (loadavg): 0.99 0.95 0.63 2/64 20403
Raw data (stat): 20386 (java) R 20385 26298 26297 0 -1 0 18064 3 1 0 96053 65 0 0 24 0 11 0 539265308 861106176 30952 4294967295 134512640 134569956 3221224400 3221214856 1131205201 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210231 30952 13073 16 0 210215 0
vsize: 840924
[startup+1010.27 s]
Raw data (loadavg): 0.99 0.95 0.64 2/64 20403
Raw data (stat): 20386 (java) R 20385 26298 26297 0 -1 0 18064 3 1 0 97027 65 0 0 25 0 11 0 539265308 861106176 31058 4294967295 134512640 134569956 3221224400 3221214632 1131433795 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210231 31058 13073 16 0 210215 0
vsize: 840924
[startup+1020.27 s]
Raw data (loadavg): 0.99 0.95 0.64 2/64 20403
Raw data (stat): 20386 (java) R 20385 26298 26297 0 -1 0 18064 3 1 0 98005 65 0 0 25 0 11 0 539265308 861106176 31151 4294967295 134512640 134569956 3221224400 3221214856 1131205326 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210231 31151 13073 16 0 210215 0
vsize: 840924
[startup+1030.27 s]
Raw data (loadavg): 0.99 0.95 0.64 2/64 20403
Raw data (stat): 20386 (java) R 20385 26298 26297 0 -1 0 18064 3 1 0 98989 66 0 0 25 0 11 0 539265308 861106176 31195 4294967295 134512640 134569956 3221224400 3221214856 1131205201 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210231 31195 13073 16 0 210215 0
vsize: 840924
[startup+1040.28 s]
Raw data (loadavg): 0.99 0.95 0.65 2/64 20403
Raw data (stat): 20386 (java) R 20385 26298 26297 0 -1 0 18064 3 1 0 99968 66 0 0 25 0 11 0 539265308 861106176 31207 4294967295 134512640 134569956 3221224400 3221214808 1131233620 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210231 31207 13073 16 0 210215 0
vsize: 840924
[startup+1050.28 s]
Raw data (loadavg): 0.99 0.95 0.65 2/64 20403
Raw data (stat): 20386 (java) R 20385 26298 26297 0 -1 0 18064 3 1 0 100930 66 0 0 17 0 11 0 539265308 861106176 31221 4294967295 134512640 134569956 3221224400 3221214808 1131233719 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210231 31221 13073 16 0 210215 0
vsize: 840924
[startup+1060.29 s]
Raw data (loadavg): 0.99 0.96 0.65 2/64 20403
Raw data (stat): 20386 (java) R 20385 26298 26297 0 -1 0 18064 3 1 0 101897 66 0 0 25 0 11 0 539265308 861106176 31266 4294967295 134512640 134569956 3221224400 3221214808 1131233719 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210231 31266 13073 16 0 210215 0
vsize: 840924
[startup+1070.29 s]
Raw data (loadavg): 0.99 0.96 0.66 2/64 20403
Raw data (stat): 20386 (java) R 20385 26298 26297 0 -1 0 18064 3 1 0 102857 66 0 0 25 0 11 0 539265308 861106176 31345 4294967295 134512640 134569956 3221224400 3221214808 1131233719 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210231 31345 13073 16 0 210215 0
vsize: 840924
[startup+1080.29 s]
Raw data (loadavg): 0.99 0.96 0.66 2/64 20403
Raw data (stat): 20386 (java) R 20385 26298 26297 0 -1 0 18064 3 1 0 103815 66 0 0 24 0 11 0 539265308 861106176 31502 4294967295 134512640 134569956 3221224400 3221214504 1131294825 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210231 31502 13073 16 0 210215 0
vsize: 840924
[startup+1090.29 s]
Raw data (loadavg): 0.99 0.96 0.66 2/64 20403
Raw data (stat): 20386 (java) R 20385 26298 26297 0 -1 0 18064 3 1 0 104775 66 0 0 24 0 11 0 539265308 861106176 31553 4294967295 134512640 134569956 3221224400 3221214512 1131294973 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210231 31553 13073 16 0 210215 0
vsize: 840924
[startup+1100.29 s]
Raw data (loadavg): 0.99 0.96 0.66 2/64 20403
Raw data (stat): 20386 (java) R 20385 26298 26297 0 -1 0 18064 3 1 0 105733 66 0 0 25 0 11 0 539265308 861106176 31652 4294967295 134512640 134569956 3221224400 3221214808 1131233719 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210231 31652 13073 16 0 210215 0
vsize: 840924
[startup+1110.29 s]
Raw data (loadavg): 0.99 0.96 0.67 2/64 20403
Raw data (stat): 20386 (java) R 20385 26298 26297 0 -1 0 18064 3 1 0 106681 66 0 0 25 0 11 0 539265308 861106176 31784 4294967295 134512640 134569956 3221224400 3221214808 1131234517 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210231 31784 13073 16 0 210215 0
vsize: 840924
[startup+1120.29 s]
Raw data (loadavg): 0.99 0.96 0.67 2/64 20403
Raw data (stat): 20386 (java) R 20385 26298 26297 0 -1 0 18064 3 1 0 107646 66 0 0 25 0 11 0 539265308 861106176 31947 4294967295 134512640 134569956 3221224400 3221214808 1131233779 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210231 31947 13073 16 0 210215 0
vsize: 840924
[startup+1130.29 s]
Raw data (loadavg): 0.99 0.96 0.67 2/64 20403
Raw data (stat): 20386 (java) R 20385 26298 26297 0 -1 0 18064 3 1 0 108620 66 0 0 25 0 11 0 539265308 861106176 32084 4294967295 134512640 134569956 3221224400 3221214808 1131233663 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210231 32084 13073 16 0 210215 0
vsize: 840924
[startup+1140.3 s]
Raw data (loadavg): 0.99 0.96 0.68 2/64 20403
Raw data (stat): 20386 (java) R 20385 26298 26297 0 -1 0 18064 3 1 0 109602 66 0 0 25 0 11 0 539265308 861106176 32096 4294967295 134512640 134569956 3221224400 3221214744 1131293256 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210231 32096 13073 16 0 210215 0
vsize: 840924
[startup+1150.3 s]
Raw data (loadavg): 0.99 0.96 0.68 2/64 20403
Raw data (stat): 20386 (java) R 20385 26298 26297 0 -1 0 18064 3 1 0 110560 66 0 0 25 0 11 0 539265308 861106176 32127 4294967295 134512640 134569956 3221224400 3221214856 1131205209 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210231 32127 13073 16 0 210215 0
vsize: 840924
[startup+1160.3 s]
Raw data (loadavg): 0.99 0.97 0.68 2/64 20403
Raw data (stat): 20386 (java) R 20385 26298 26297 0 -1 0 18064 3 1 0 111505 67 0 0 25 0 11 0 539265308 861106176 32144 4294967295 134512640 134569956 3221224400 3221214808 1131233503 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210231 32144 13073 16 0 210215 0
vsize: 840924
[startup+1170.3 s]
Raw data (loadavg): 0.99 0.97 0.68 2/64 20403
Raw data (stat): 20386 (java) R 20385 26298 26297 0 -1 0 18064 3 1 0 112445 67 0 0 25 0 11 0 539265308 861106176 32220 4294967295 134512640 134569956 3221224400 3221214512 1131586391 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210231 32220 13073 16 0 210215 0
vsize: 840924
[startup+1180.31 s]
Raw data (loadavg): 0.99 0.97 0.69 2/64 20403
Raw data (stat): 20386 (java) R 20385 26298 26297 0 -1 0 18064 3 1 0 113408 67 0 0 25 0 11 0 539265308 861106176 32427 4294967295 134512640 134569956 3221224400 3221214616 1131609053 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210231 32427 13073 16 0 210215 0
vsize: 840924
[startup+1190.31 s]
Raw data (loadavg): 0.99 0.97 0.69 2/64 20403
Raw data (stat): 20386 (java) R 20385 26298 26297 0 -1 0 18064 3 1 0 114347 67 0 0 25 0 11 0 539265308 861106176 32517 4294967295 134512640 134569956 3221224400 3221214856 1131205184 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210231 32517 13073 16 0 210215 0
vsize: 840924
[startup+1200.31 s]
Raw data (loadavg): 0.99 0.97 0.69 2/64 20403
Raw data (stat): 20386 (java) R 20385 26298 26297 0 -1 0 18064 3 1 0 115284 67 0 0 25 0 11 0 539265308 861106176 32658 4294967295 134512640 134569956 3221224400 3221214808 1131233377 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210231 32658 13073 16 0 210215 0
vsize: 840924
[startup+1210.31 s]
Raw data (loadavg): 0.99 0.97 0.70 2/64 20403
Raw data (stat): 20386 (java) R 20385 26298 26297 0 -1 0 18064 3 1 0 116247 67 0 0 24 0 11 0 539265308 861106176 32919 4294967295 134512640 134569956 3221224400 3221214808 1131233729 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210231 32919 13073 16 0 210215 0
vsize: 840924
[startup+1220.32 s]
Raw data (loadavg): 1.07 0.99 0.70 2/64 20404
Raw data (stat): 20386 (java) R 20385 26298 26297 0 -1 0 18064 3 1 0 117219 67 0 0 24 0 11 0 539265308 861106176 33056 4294967295 134512640 134569956 3221224400 3221214808 1131233719 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210231 33056 13073 16 0 210215 0
vsize: 840924
[startup+1230.32 s]
Raw data (loadavg): 1.06 0.99 0.71 2/64 20404
Raw data (stat): 20386 (java) R 20385 26298 26297 0 -1 0 18064 3 1 0 118194 67 0 0 24 0 11 0 539265308 861106176 33062 4294967295 134512640 134569956 3221224400 3221214856 1131205184 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210231 33062 13073 16 0 210215 0
vsize: 840924
[startup+1240.32 s]
Raw data (loadavg): 1.05 0.99 0.71 2/64 20404
Raw data (stat): 20386 (java) R 20385 26298 26297 0 -1 0 18064 3 1 0 119165 67 0 0 25 0 11 0 539265308 861106176 33067 4294967295 134512640 134569956 3221224400 3221214808 1131233309 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210231 33067 13073 16 0 210215 0
vsize: 840924
[startup+1250.32 s]
Raw data (loadavg): 1.04 0.99 0.71 2/64 20404
Raw data (stat): 20386 (java) R 20385 26298 26297 0 -1 0 18064 3 1 0 120141 67 0 0 25 0 11 0 539265308 861106176 33173 4294967295 134512640 134569956 3221224400 3221214808 1131233719 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210231 33173 13073 16 0 210215 0
vsize: 840924
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1250.42 s]
Raw data (loadavg): 1.04 0.99 0.71 1/54 20406
Raw data (stat): 20386 (java) Z 20385 26298 26297 0 -1 1036 18064 16785 1 0 120142 73 5864 52 24 0 1 0 539265308 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): 1250.41
CPU time (s): 1261.33
CPU user time (s): 1260.06
CPU system time (s): 1.26881
CPU usage (%): 100.873
Max. virtual memory (Kb): 840924
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####