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/fctp/normalized-mps-v2-20-10-ran13x13.opb
MD5SUM	52c9f5bb9e744e5b269906d75a40a640
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	8418073
Optimality of the best value was proved	NO
Number of terms in the objective function	5239
Biggest coefficient in the objective function	5368709120
Number of bits for the biggest coefficient in the objective function	33
Sum of the numbers in the objective function	968548072570
Number of bits of the sum of numbers in the objective function	40
Biggest number in a constraint	5368709120
Number of bits of the biggest number in a constraint	33
Biggest sum of numbers in a constraint	968548072570
Number of bits of the biggest sum of numbers	40
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1254.31
Number of variables	5239
Total number of constraints	195
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	195
Minimum length of a constraint	31
Maximum length of a constraint	390
Trace number 20855

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc7 THE 2005-04-21 22:01:19 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=14296 boxname=wulflinc7 idbench=1100 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  52c9f5bb9e744e5b269906d75a40a640  /oldhome/oroussel/tmp/wulflinc7/normalized-mps-v2-20-10-ran13x13.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc7/normalized-mps-v2-20-10-ran13x13.opb
IDLAUNCH: 14296
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.050
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.050
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:        366584 kB
Buffers:         28072 kB
Cached:         617940 kB
SwapCached:        328 kB
Active:         169364 kB
Inactive:       479264 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        366332 kB
SwapTotal:     2097136 kB
SwapFree:      2096520 kB
Dirty:              32 kB
Writeback:           0 kB
Mapped:           6456 kB
Slab:            13732 kB
Committed_AS:    63596 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-21 22:21:41 (client local time) WITH STATUS 143 IN 1232.77 SECONDS
stats: 14296 7 1232.77 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc7/normalized-mps-v2-20-10-ran13x13.opb
c reading problem 
c [nbvar=5239]
c [nbconstr=195]
c time 12.78
c #vars     5239
c #clauses  222
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=12394351
c Current CPU time (ms) : 57.864
c starts	: 1
c conflicts	: 9
c decisions	: 4490
c propagations	: 17768
c inspects	: 21915
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 9
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.57 0.80 0.86 2/54 21464
Raw data (stat): 21464 (runsolver) R 21463 22932 22931 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 490302387 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+9.99975 s]
Raw data (loadavg): 0.64 0.80 0.86 2/63 21473
Raw data (stat): 21464 (java) R 21463 22932 22931 0 -1 0 17981 0 1 0 884 42 0 0 25 0 10 0 490302387 853671936 19189 4294967295 134512640 134569956 3221224400 3221214524 1130891095 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208416 19189 13073 16 0 208400 0
vsize: 833664
[startup+20.003 s]
Raw data (loadavg): 1.00 0.88 0.88 2/64 21474
Raw data (stat): 21464 (java) R 21463 22932 22931 0 -1 0 18082 0 1 0 1461 43 0 0 25 0 11 0 490302387 863117312 22279 4294967295 134512640 134569956 3221224400 3221214680 1130893400 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210722 22279 13073 16 0 210706 0
vsize: 842888
[startup+30.0035 s]
Raw data (loadavg): 1.00 0.88 0.88 2/64 21474
Raw data (stat): 21464 (java) R 21463 22932 22931 0 -1 0 18083 0 1 0 2372 43 0 0 25 0 11 0 490302387 862953472 22328 4294967295 134512640 134569956 3221224400 3221214668 1080203741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210682 22328 13073 16 0 210666 0
vsize: 842728
[startup+40.0028 s]
Raw data (loadavg): 1.00 0.88 0.88 2/64 21474
Raw data (stat): 21464 (java) R 21463 22932 22931 0 -1 0 18083 0 1 0 3275 44 0 0 25 0 11 0 490302387 861900800 22291 4294967295 134512640 134569956 3221224400 3221214776 1131394500 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210425 22291 13073 16 0 210409 0
vsize: 841700
[startup+50.0034 s]
Raw data (loadavg): 1.00 0.89 0.89 2/64 21474
Raw data (stat): 21464 (java) R 21463 22932 22931 0 -1 0 18084 0 1 0 4202 44 0 0 25 0 11 0 490302387 861900800 22945 4294967295 134512640 134569956 3221224400 3221214680 1131263127 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210425 22945 13073 16 0 210409 0
vsize: 841700
[startup+60.0035 s]
Raw data (loadavg): 1.00 0.89 0.89 2/64 21475
Raw data (stat): 21464 (java) R 21463 22932 22931 0 -1 0 18084 3 1 0 5182 44 0 0 25 0 11 0 490302387 861900800 23011 4294967295 134512640 134569956 3221224400 3221214672 1131262681 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210425 23011 13073 16 0 210409 0
vsize: 841700
[startup+70.0046 s]
Raw data (loadavg): 1.00 0.89 0.89 2/64 21475
Raw data (stat): 21464 (java) R 21463 22932 22931 0 -1 0 18084 3 1 0 6152 45 0 0 24 0 11 0 490302387 861900800 23035 4294967295 134512640 134569956 3221224400 3221214768 1131393539 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210425 23035 13073 16 0 210409 0
vsize: 841700
[startup+80.0052 s]
Raw data (loadavg): 1.00 0.89 0.89 2/64 21475
Raw data (stat): 21464 (java) R 21463 22932 22931 0 -1 0 18084 3 1 0 7121 45 0 0 25 0 11 0 490302387 861900800 23050 4294967295 134512640 134569956 3221224400 3221214488 1131366424 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210425 23050 13073 16 0 210409 0
vsize: 841700
[startup+90.0053 s]
Raw data (loadavg): 1.00 0.90 0.89 2/64 21475
Raw data (stat): 21464 (java) R 21463 22932 22931 0 -1 0 18085 3 1 0 8094 45 0 0 25 0 11 0 490302387 861900800 23214 4294967295 134512640 134569956 3221224400 3221214584 1131498066 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210425 23214 13073 16 0 210409 0
vsize: 841700
[startup+100.006 s]
Raw data (loadavg): 1.00 0.90 0.89 2/64 21475
Raw data (stat): 21464 (java) R 21463 22932 22931 0 -1 0 18085 3 1 0 9082 45 0 0 25 0 11 0 490302387 861900800 23227 4294967295 134512640 134569956 3221224400 3221214488 1131366438 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210425 23227 13073 16 0 210409 0
vsize: 841700
[startup+110.006 s]
Raw data (loadavg): 1.00 0.90 0.89 2/64 21475
Raw data (stat): 21464 (java) R 21463 22932 22931 0 -1 0 18085 3 1 0 10073 45 0 0 25 0 11 0 490302387 861900800 23233 4294967295 134512640 134569956 3221224400 3221214584 1131499097 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210425 23233 13073 16 0 210409 0
vsize: 841700
[startup+120.012 s]
Raw data (loadavg): 1.00 0.91 0.89 2/64 21475
Raw data (stat): 21464 (java) R 21463 22932 22931 0 -1 0 18085 3 1 0 11067 45 0 0 25 0 11 0 490302387 861900800 23313 4294967295 134512640 134569956 3221224400 3221214688 1131437250 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210425 23313 13073 16 0 210409 0
vsize: 841700
[startup+130.012 s]
Raw data (loadavg): 1.00 0.91 0.89 2/64 21475
Raw data (stat): 21464 (java) R 21463 22932 22931 0 -1 0 18085 3 1 0 12053 46 0 0 25 0 11 0 490302387 861900800 23319 4294967295 134512640 134569956 3221224400 3221214600 1131476784 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210425 23319 13073 16 0 210409 0
vsize: 841700
[startup+140.012 s]
Raw data (loadavg): 1.00 0.91 0.89 2/64 21475
Raw data (stat): 21464 (java) R 21463 22932 22931 0 -1 0 18085 3 1 0 13042 46 0 0 25 0 11 0 490302387 861900800 23320 4294967295 134512640 134569956 3221224400 3221214676 1131507241 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210425 23320 13073 16 0 210409 0
vsize: 841700
[startup+150.013 s]
Raw data (loadavg): 1.00 0.91 0.89 2/64 21475
Raw data (stat): 21464 (java) R 21463 22932 22931 0 -1 0 18085 3 1 0 14021 46 0 0 18 0 11 0 490302387 861900800 23321 4294967295 134512640 134569956 3221224400 3221214768 1131392478 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210425 23321 13073 16 0 210409 0
vsize: 841700
[startup+160.014 s]
Raw data (loadavg): 1.00 0.92 0.90 2/64 21475
Raw data (stat): 21464 (java) R 21463 22932 22931 0 -1 0 18085 3 1 0 14999 46 0 0 25 0 11 0 490302387 861900800 23321 4294967295 134512640 134569956 3221224400 3221214672 1131262701 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210425 23321 13073 16 0 210409 0
vsize: 841700
[startup+170.014 s]
Raw data (loadavg): 1.00 0.92 0.90 2/64 21475
Raw data (stat): 21464 (java) R 21463 22932 22931 0 -1 0 18085 3 1 0 15979 46 0 0 25 0 11 0 490302387 861900800 23407 4294967295 134512640 134569956 3221224400 3221214672 1131263178 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210425 23407 13073 16 0 210409 0
vsize: 841700
[startup+180.014 s]
Raw data (loadavg): 1.00 0.92 0.90 2/64 21475
Raw data (stat): 21464 (java) R 21463 22932 22931 0 -1 0 18085 3 1 0 16972 46 0 0 25 0 11 0 490302387 861900800 23463 4294967295 134512640 134569956 3221224400 3221214720 1131213760 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210425 23463 13073 16 0 210409 0
vsize: 841700
[startup+190.015 s]
Raw data (loadavg): 1.00 0.92 0.90 2/64 21475
Raw data (stat): 21464 (java) R 21463 22932 22931 0 -1 0 18085 3 1 0 17967 46 0 0 25 0 11 0 490302387 861900800 23472 4294967295 134512640 134569956 3221224400 3221214672 1131263125 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210425 23472 13073 16 0 210409 0
vsize: 841700
[startup+200.015 s]
Raw data (loadavg): 1.00 0.92 0.90 2/64 21475
Raw data (stat): 21464 (java) R 21463 22932 22931 0 -1 0 18085 3 1 0 18961 46 0 0 25 0 11 0 490302387 861900800 23484 4294967295 134512640 134569956 3221224400 3221214672 1131263301 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210425 23484 13073 16 0 210409 0
vsize: 841700
[startup+210.015 s]
Raw data (loadavg): 1.00 0.93 0.90 2/64 21475
Raw data (stat): 21464 (java) R 21463 22932 22931 0 -1 0 18085 3 1 0 19956 46 0 0 25 0 11 0 490302387 861900800 23490 4294967295 134512640 134569956 3221224400 3221214672 1131262788 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210425 23490 13073 16 0 210409 0
vsize: 841700
[startup+220.017 s]
Raw data (loadavg): 1.00 0.93 0.90 2/64 21475
Raw data (stat): 21464 (java) R 21463 22932 22931 0 -1 0 18085 3 1 0 20951 46 0 0 25 0 11 0 490302387 861900800 23494 4294967295 134512640 134569956 3221224400 3221214672 1131263167 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210425 23494 13073 16 0 210409 0
vsize: 841700
[startup+230.017 s]
Raw data (loadavg): 1.00 0.93 0.90 2/64 21475
Raw data (stat): 21464 (java) R 21463 22932 22931 0 -1 0 18085 3 1 0 21945 46 0 0 25 0 11 0 490302387 861900800 23507 4294967295 134512640 134569956 3221224400 3221214672 1131262689 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210425 23507 13073 16 0 210409 0
vsize: 841700
[startup+240.017 s]
Raw data (loadavg): 1.00 0.93 0.90 2/64 21475
Raw data (stat): 21464 (java) R 21463 22932 22931 0 -1 0 18085 3 1 0 22940 46 0 0 25 0 11 0 490302387 861900800 23512 4294967295 134512640 134569956 3221224400 3221214672 1131263942 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210425 23512 13073 16 0 210409 0
vsize: 841700
[startup+250.017 s]
Raw data (loadavg): 1.00 0.93 0.90 2/64 21475
Raw data (stat): 21464 (java) R 21463 22932 22931 0 -1 0 18085 3 1 0 23935 47 0 0 25 0 11 0 490302387 861900800 23526 4294967295 134512640 134569956 3221224400 3221214952 1131549761 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210425 23526 13073 16 0 210409 0
vsize: 841700
[startup+260.018 s]
Raw data (loadavg): 1.00 0.94 0.91 2/64 21475
Raw data (stat): 21464 (java) R 21463 22932 22931 0 -1 0 18085 3 1 0 24930 47 0 0 25 0 11 0 490302387 861900800 23528 4294967295 134512640 134569956 3221224400 3221214764 1131213747 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210425 23528 13073 16 0 210409 0
vsize: 841700
[startup+270.019 s]
Raw data (loadavg): 1.00 0.94 0.91 2/64 21475
Raw data (stat): 21464 (java) R 21463 22932 22931 0 -1 0 18085 3 1 0 25926 47 0 0 25 0 11 0 490302387 861900800 23535 4294967295 134512640 134569956 3221224400 3221214768 1131402944 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210425 23535 13073 16 0 210409 0
vsize: 841700
[startup+280.02 s]
Raw data (loadavg): 1.00 0.94 0.91 2/64 21475
Raw data (stat): 21464 (java) R 21463 22932 22931 0 -1 0 18085 3 1 0 26922 47 0 0 25 0 11 0 490302387 861900800 23547 4294967295 134512640 134569956 3221224400 3221214672 1131263279 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210425 23547 13073 16 0 210409 0
vsize: 841700
[startup+290.019 s]
Raw data (loadavg): 1.00 0.94 0.91 2/64 21475
Raw data (stat): 21464 (java) R 21463 22932 22931 0 -1 0 18085 3 1 0 27918 47 0 0 25 0 11 0 490302387 861900800 23552 4294967295 134512640 134569956 3221224400 3221214672 1131263333 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210425 23552 13073 16 0 210409 0
vsize: 841700
[startup+300.019 s]
Raw data (loadavg): 1.00 0.94 0.91 2/64 21477
Raw data (stat): 21464 (java) R 21463 22932 22931 0 -1 0 18085 3 1 0 28913 47 0 0 25 0 11 0 490302387 861900800 23553 4294967295 134512640 134569956 3221224400 3221214672 1131263546 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210425 23553 13073 16 0 210409 0
vsize: 841700
[startup+310.019 s]
Raw data (loadavg): 1.00 0.94 0.91 2/64 21477
Raw data (stat): 21464 (java) R 21463 22932 22931 0 -1 0 18085 3 1 0 29908 47 0 0 25 0 11 0 490302387 861900800 23568 4294967295 134512640 134569956 3221224400 3221214672 1131264075 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210425 23568 13073 16 0 210409 0
vsize: 841700
[startup+320.02 s]
Raw data (loadavg): 1.00 0.94 0.91 2/64 21477
Raw data (stat): 21464 (java) R 21463 22932 22931 0 -1 0 18085 3 1 0 30906 47 0 0 25 0 11 0 490302387 861900800 23571 4294967295 134512640 134569956 3221224400 3221214496 1131366438 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210425 23571 13073 16 0 210409 0
vsize: 841700
[startup+330.02 s]
Raw data (loadavg): 1.00 0.95 0.91 2/64 21477
Raw data (stat): 21464 (java) R 21463 22932 22931 0 -1 0 18085 3 1 0 31904 47 0 0 25 0 11 0 490302387 861900800 23578 4294967295 134512640 134569956 3221224400 3221214616 1131417606 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210425 23578 13073 16 0 210409 0
vsize: 841700
[startup+340.02 s]
Raw data (loadavg): 1.00 0.95 0.91 2/64 21477
Raw data (stat): 21464 (java) R 21463 22932 22931 0 -1 0 18085 3 1 0 32893 47 0 0 25 0 11 0 490302387 861900800 23584 4294967295 134512640 134569956 3221224400 3221214672 1131263208 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210425 23584 13073 16 0 210409 0
vsize: 841700
[startup+350.02 s]
Raw data (loadavg): 1.00 0.95 0.91 2/64 21477
Raw data (stat): 21464 (java) R 21463 22932 22931 0 -1 0 18085 3 1 0 33883 47 0 0 25 0 11 0 490302387 861900800 23586 4294967295 134512640 134569956 3221224400 3221214600 1131476905 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210425 23586 13073 16 0 210409 0
vsize: 841700
[startup+360.021 s]
Raw data (loadavg): 1.00 0.95 0.91 2/64 21477
Raw data (stat): 21464 (java) R 21463 22932 22931 0 -1 0 18085 3 1 0 34871 47 0 0 24 0 11 0 490302387 861900800 23587 4294967295 134512640 134569956 3221224400 3221214672 1131263317 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210425 23587 13073 16 0 210409 0
vsize: 841700
[startup+370.021 s]
Raw data (loadavg): 1.00 0.95 0.91 2/64 21477
Raw data (stat): 21464 (java) R 21463 22932 22931 0 -1 0 18085 3 1 0 35857 47 0 0 25 0 11 0 490302387 861900800 23632 4294967295 134512640 134569956 3221224400 3221214672 1131263118 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210425 23632 13073 16 0 210409 0
vsize: 841700
[startup+380.021 s]
Raw data (loadavg): 1.00 0.95 0.91 2/64 21477
Raw data (stat): 21464 (java) R 21463 22932 22931 0 -1 0 18085 3 1 0 36848 48 0 0 25 0 11 0 490302387 861900800 23643 4294967295 134512640 134569956 3221224400 3221214672 1131262781 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210425 23643 13073 16 0 210409 0
vsize: 841700
[startup+390.021 s]
Raw data (loadavg): 1.00 0.95 0.91 2/64 21477
Raw data (stat): 21464 (java) R 21463 22932 22931 0 -1 0 18085 3 1 0 37840 48 0 0 25 0 11 0 490302387 861900800 23681 4294967295 134512640 134569956 3221224400 3221214768 1131392478 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210425 23681 13073 16 0 210409 0
vsize: 841700
[startup+400.022 s]
Raw data (loadavg): 1.00 0.95 0.91 2/64 21477
Raw data (stat): 21464 (java) R 21463 22932 22931 0 -1 0 18085 3 1 0 38834 48 0 0 25 0 11 0 490302387 861900800 23697 4294967295 134512640 134569956 3221224400 3221214672 1131263118 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210425 23697 13073 16 0 210409 0
vsize: 841700
[startup+410.023 s]
Raw data (loadavg): 1.00 0.95 0.91 2/64 21477
Raw data (stat): 21464 (java) R 21463 22932 22931 0 -1 0 18085 3 1 0 39827 48 0 0 25 0 11 0 490302387 861900800 23698 4294967295 134512640 134569956 3221224400 3221214672 1131262704 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210425 23698 13073 16 0 210409 0
vsize: 841700
[startup+420.024 s]
Raw data (loadavg): 1.00 0.95 0.91 2/64 21477
Raw data (stat): 21464 (java) R 21463 22932 22931 0 -1 0 18085 3 1 0 40821 48 0 0 25 0 11 0 490302387 861900800 23718 4294967295 134512640 134569956 3221224400 3221214672 1131263125 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210425 23718 13073 16 0 210409 0
vsize: 841700
[startup+430.024 s]
Raw data (loadavg): 1.00 0.96 0.91 2/64 21477
Raw data (stat): 21464 (java) R 21463 22932 22931 0 -1 0 18085 3 1 0 41814 48 0 0 25 0 11 0 490302387 861900800 23736 4294967295 134512640 134569956 3221224400 3221214672 1131262704 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210425 23736 13073 16 0 210409 0
vsize: 841700
[startup+440.025 s]
Raw data (loadavg): 1.00 0.96 0.91 2/64 21477
Raw data (stat): 21464 (java) R 21463 22932 22931 0 -1 0 18085 3 1 0 42808 48 0 0 25 0 11 0 490302387 861900800 23752 4294967295 134512640 134569956 3221224400 3221214768 1131392478 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210425 23752 13073 16 0 210409 0
vsize: 841700
[startup+450.025 s]
Raw data (loadavg): 1.00 0.96 0.91 2/64 21477
Raw data (stat): 21464 (java) R 21463 22932 22931 0 -1 0 18085 3 1 0 43801 48 0 0 25 0 11 0 490302387 861900800 23766 4294967295 134512640 134569956 3221224400 3221214764 1131262668 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210425 23766 13073 16 0 210409 0
vsize: 841700
[startup+460.026 s]
Raw data (loadavg): 1.00 0.96 0.91 2/64 21477
Raw data (stat): 21464 (java) R 21463 22932 22931 0 -1 0 18085 3 1 0 44796 49 0 0 25 0 11 0 490302387 861900800 23786 4294967295 134512640 134569956 3221224400 3221214672 1131263585 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210425 23786 13073 16 0 210409 0
vsize: 841700
[startup+470.026 s]
Raw data (loadavg): 1.00 0.96 0.91 2/64 21477
Raw data (stat): 21464 (java) R 21463 22932 22931 0 -1 0 18085 3 1 0 45792 49 0 0 25 0 11 0 490302387 861900800 23788 4294967295 134512640 134569956 3221224400 3221214696 1131689168 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210425 23788 13073 16 0 210409 0
vsize: 841700
[startup+480.027 s]
Raw data (loadavg): 1.00 0.96 0.91 2/64 21477
Raw data (stat): 21464 (java) R 21463 22932 22931 0 -1 0 18085 3 1 0 46788 49 0 0 25 0 11 0 490302387 861900800 23799 4294967295 134512640 134569956 3221224400 3221214696 1131689180 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210425 23799 13073 16 0 210409 0
vsize: 841700
[startup+490.027 s]
Raw data (loadavg): 1.00 0.96 0.91 2/64 21477
Raw data (stat): 21464 (java) R 21463 22932 22931 0 -1 0 18085 3 1 0 47784 49 0 0 25 0 11 0 490302387 861900800 23799 4294967295 134512640 134569956 3221224400 3221214768 1131393570 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210425 23799 13073 16 0 210409 0
vsize: 841700
[startup+500.027 s]
Raw data (loadavg): 1.00 0.96 0.91 2/64 21477
Raw data (stat): 21464 (java) R 21463 22932 22931 0 -1 0 18085 3 1 0 48775 49 0 0 25 0 11 0 490302387 861900800 23804 4294967295 134512640 134569956 3221224400 3221214768 1131392543 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210425 23804 13073 16 0 210409 0
vsize: 841700
[startup+510.029 s]
Raw data (loadavg): 1.00 0.96 0.91 2/64 21477
Raw data (stat): 21464 (java) R 21463 22932 22931 0 -1 0 18085 3 1 0 49760 49 0 0 25 0 11 0 490302387 861900800 23808 4294967295 134512640 134569956 3221224400 3221214672 1131263188 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210425 23808 13073 16 0 210409 0
vsize: 841700
[startup+520.033 s]
Raw data (loadavg): 1.00 0.96 0.91 2/64 21477
Raw data (stat): 21464 (java) R 21463 22932 22931 0 -1 0 18085 3 1 0 50748 49 0 0 25 0 11 0 490302387 861900800 23880 4294967295 134512640 134569956 3221224400 3221214768 1131392471 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210425 23880 13073 16 0 210409 0
vsize: 841700
[startup+530.033 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 21477
Raw data (stat): 21464 (java) R 21463 22932 22931 0 -1 0 18085 3 1 0 51739 49 0 0 25 0 11 0 490302387 861900800 23935 4294967295 134512640 134569956 3221224400 3221214720 1131213781 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210425 23935 13073 16 0 210409 0
vsize: 841700
[startup+540.033 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 21477
Raw data (stat): 21464 (java) R 21463 22932 22931 0 -1 0 18085 3 1 0 52733 49 0 0 25 0 11 0 490302387 861900800 23937 4294967295 134512640 134569956 3221224400 3221214672 1131263167 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210425 23937 13073 16 0 210409 0
vsize: 841700
[startup+550.033 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 21477
Raw data (stat): 21464 (java) R 21463 22932 22931 0 -1 0 18085 3 1 0 53726 50 0 0 24 0 11 0 490302387 861900800 23953 4294967295 134512640 134569956 3221224400 3221214672 1131263167 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210425 23953 13073 16 0 210409 0
vsize: 841700
[startup+560.047 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 21477
Raw data (stat): 21464 (java) R 21463 22932 22931 0 -1 0 18085 3 1 0 54720 50 0 0 25 0 11 0 490302387 861900800 23984 4294967295 134512640 134569956 3221224400 3221214768 1131392482 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210425 23984 13073 16 0 210409 0
vsize: 841700
[startup+570.055 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 21477
Raw data (stat): 21464 (java) R 21463 22932 22931 0 -1 0 18085 3 1 0 55715 50 0 0 25 0 11 0 490302387 861900800 23992 4294967295 134512640 134569956 3221224400 3221214672 1131262920 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210425 23992 13073 16 0 210409 0
vsize: 841700
[startup+580.056 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 21477
Raw data (stat): 21464 (java) R 21463 22932 22931 0 -1 0 18085 3 1 0 56707 50 0 0 25 0 11 0 490302387 861900800 24011 4294967295 134512640 134569956 3221224400 3221214672 1131263553 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210425 24011 13073 16 0 210409 0
vsize: 841700
[startup+590.056 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 21477
Raw data (stat): 21464 (java) R 21463 22932 22931 0 -1 0 18085 3 1 0 57701 50 0 0 25 0 11 0 490302387 861900800 24022 4294967295 134512640 134569956 3221224400 3221214672 1131264054 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210425 24022 13073 16 0 210409 0
vsize: 841700
[startup+600.057 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 21477
Raw data (stat): 21464 (java) R 21463 22932 22931 0 -1 0 18085 3 1 0 58695 50 0 0 25 0 11 0 490302387 861900800 24024 4294967295 134512640 134569956 3221224400 3221214672 1131262704 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210425 24024 13073 16 0 210409 0
vsize: 841700
[startup+610.057 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 21477
Raw data (stat): 21464 (java) R 21463 22932 22931 0 -1 0 18085 3 1 0 59687 50 0 0 25 0 11 0 490302387 861900800 24034 4294967295 134512640 134569956 3221224400 3221214768 1131394404 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210425 24034 13073 16 0 210409 0
vsize: 841700
[startup+620.057 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 21477
Raw data (stat): 21464 (java) R 21463 22932 22931 0 -1 0 18085 3 1 0 60681 50 0 0 25 0 11 0 490302387 861900800 24049 4294967295 134512640 134569956 3221224400 3221214672 1131263398 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210425 24049 13073 16 0 210409 0
vsize: 841700
[startup+630.057 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 21477
Raw data (stat): 21464 (java) R 21463 22932 22931 0 -1 0 18085 3 1 0 61675 50 0 0 25 0 11 0 490302387 861900800 24072 4294967295 134512640 134569956 3221224400 3221214768 1131392471 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210425 24072 13073 16 0 210409 0
vsize: 841700
[startup+640.057 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 21477
Raw data (stat): 21464 (java) R 21463 22932 22931 0 -1 0 18085 3 1 0 62671 50 0 0 25 0 11 0 490302387 861900800 24074 4294967295 134512640 134569956 3221224400 3221214764 1131214009 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210425 24074 13073 16 0 210409 0
vsize: 841700
[startup+650.058 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 21477
Raw data (stat): 21464 (java) R 21463 22932 22931 0 -1 0 18085 3 1 0 63667 51 0 0 25 0 11 0 490302387 861900800 24080 4294967295 134512640 134569956 3221224400 3221214672 1131263099 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210425 24080 13073 16 0 210409 0
vsize: 841700
[startup+660.058 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 21477
Raw data (stat): 21464 (java) R 21463 22932 22931 0 -1 0 18085 3 1 0 64663 51 0 0 25 0 11 0 490302387 861900800 24092 4294967295 134512640 134569956 3221224400 3221214764 1131213747 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210425 24092 13073 16 0 210409 0
vsize: 841700
[startup+670.058 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 21477
Raw data (stat): 21464 (java) R 21463 22932 22931 0 -1 0 18085 3 1 0 65658 51 0 0 25 0 11 0 490302387 861900800 24093 4294967295 134512640 134569956 3221224400 3221214720 1131213774 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210425 24093 13073 16 0 210409 0
vsize: 841700
[startup+680.059 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 21477
Raw data (stat): 21464 (java) R 21463 22932 22931 0 -1 0 18085 3 1 0 66652 51 0 0 25 0 11 0 490302387 861900800 24095 4294967295 134512640 134569956 3221224400 3221214672 1131263256 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210425 24095 13073 16 0 210409 0
vsize: 841700
[startup+690.059 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 21477
Raw data (stat): 21464 (java) R 21463 22932 22931 0 -1 0 18085 3 1 0 67647 51 0 0 25 0 11 0 490302387 861900800 24108 4294967295 134512640 134569956 3221224400 3221214672 1131262784 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210425 24108 13073 16 0 210409 0
vsize: 841700
[startup+700.06 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 21477
Raw data (stat): 21464 (java) R 21463 22932 22931 0 -1 0 18085 3 1 0 68642 51 0 0 25 0 11 0 490302387 861900800 24130 4294967295 134512640 134569956 3221224400 3221214768 1131394483 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210425 24130 13073 16 0 210409 0
vsize: 841700
[startup+710.061 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 21477
Raw data (stat): 21464 (java) R 21463 22932 22931 0 -1 0 18085 3 1 0 69638 51 0 0 25 0 11 0 490302387 861900800 24133 4294967295 134512640 134569956 3221224400 3221214672 1131264054 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210425 24133 13073 16 0 210409 0
vsize: 841700
[startup+720.061 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 21477
Raw data (stat): 21464 (java) R 21463 22932 22931 0 -1 0 18085 3 1 0 70634 52 0 0 25 0 11 0 490302387 861900800 24137 4294967295 134512640 134569956 3221224400 3221214672 1131263285 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210425 24137 13073 16 0 210409 0
vsize: 841700
[startup+730.061 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 21477
Raw data (stat): 21464 (java) R 21463 22932 22931 0 -1 0 18085 3 1 0 71630 52 0 0 25 0 11 0 490302387 861900800 24142 4294967295 134512640 134569956 3221224400 3221214768 1131392543 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210425 24142 13073 16 0 210409 0
vsize: 841700
[startup+740.062 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 21477
Raw data (stat): 21464 (java) R 21463 22932 22931 0 -1 0 18085 3 1 0 72623 52 0 0 25 0 11 0 490302387 861900800 24151 4294967295 134512640 134569956 3221224400 3221214768 1131392543 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210425 24151 13073 16 0 210409 0
vsize: 841700
[startup+750.062 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 21477
Raw data (stat): 21464 (java) R 21463 22932 22931 0 -1 0 18085 3 1 0 73617 52 0 0 25 0 11 0 490302387 861900800 24158 4294967295 134512640 134569956 3221224400 3221214672 1131262704 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210425 24158 13073 16 0 210409 0
vsize: 841700
[startup+760.064 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 21477
Raw data (stat): 21464 (java) S 21463 22932 22931 0 -1 0 18085 3 1 0 74612 52 0 0 25 0 11 0 490302387 861900800 24159 4294967295 134512640 134569956 3221224400 3221213416 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210425 24159 13073 16 0 210409 0
vsize: 841700
[startup+770.064 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 21477
Raw data (stat): 21464 (java) R 21463 22932 22931 0 -1 0 18085 3 1 0 75608 52 0 0 25 0 11 0 490302387 861900800 24187 4294967295 134512640 134569956 3221224400 3221214672 1131263202 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210425 24187 13073 16 0 210409 0
vsize: 841700
[startup+780.065 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 21477
Raw data (stat): 21464 (java) R 21463 22932 22931 0 -1 0 18085 3 1 0 76603 53 0 0 25 0 11 0 490302387 861900800 24195 4294967295 134512640 134569956 3221224400 3221214672 1131262979 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210425 24195 13073 16 0 210409 0
vsize: 841700
[startup+790.065 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 21477
Raw data (stat): 21464 (java) R 21463 22932 22931 0 -1 0 18085 3 1 0 77599 53 0 0 25 0 11 0 490302387 861900800 24197 4294967295 134512640 134569956 3221224400 3221214672 1131262689 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210425 24197 13073 16 0 210409 0
vsize: 841700
[startup+800.066 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 21477
Raw data (stat): 21464 (java) R 21463 22932 22931 0 -1 0 18085 3 1 0 78595 53 0 0 25 0 11 0 490302387 861900800 24209 4294967295 134512640 134569956 3221224400 3221214768 1131394536 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210425 24209 13073 16 0 210409 0
vsize: 841700
[startup+810.067 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 21477
Raw data (stat): 21464 (java) R 21463 22932 22931 0 -1 0 18085 3 1 0 79590 53 0 0 25 0 11 0 490302387 861900800 24221 4294967295 134512640 134569956 3221224400 3221214672 1131263671 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210425 24221 13073 16 0 210409 0
vsize: 841700
[startup+820.067 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 21477
Raw data (stat): 21464 (java) R 21463 22932 22931 0 -1 0 18085 3 1 0 80586 53 0 0 25 0 11 0 490302387 861900800 24223 4294967295 134512640 134569956 3221224400 3221214672 1131263219 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210425 24223 13073 16 0 210409 0
vsize: 841700
[startup+830.068 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 21477
Raw data (stat): 21464 (java) R 21463 22932 22931 0 -1 0 18085 3 1 0 81580 53 0 0 25 0 11 0 490302387 861900800 24237 4294967295 134512640 134569956 3221224400 3221214672 1131262689 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210425 24237 13073 16 0 210409 0
vsize: 841700
[startup+840.068 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 21477
Raw data (stat): 21464 (java) R 21463 22932 22931 0 -1 0 18085 3 1 0 82575 53 0 0 25 0 11 0 490302387 861900800 24239 4294967295 134512640 134569956 3221224400 3221214864 1131321831 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210425 24239 13073 16 0 210409 0
vsize: 841700
[startup+850.068 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 21477
Raw data (stat): 21464 (java) R 21463 22932 22931 0 -1 0 18085 3 1 0 83570 53 0 0 25 0 11 0 490302387 861900800 24245 4294967295 134512640 134569956 3221224400 3221214672 1131263317 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210425 24245 13073 16 0 210409 0
vsize: 841700
[startup+860.069 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 21477
Raw data (stat): 21464 (java) R 21463 22932 22931 0 -1 0 18085 3 1 0 84563 53 0 0 25 0 11 0 490302387 861900800 24259 4294967295 134512640 134569956 3221224400 3221214672 1131263167 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210425 24259 13073 16 0 210409 0
vsize: 841700
[startup+870.071 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 21477
Raw data (stat): 21464 (java) R 21463 22932 22931 0 -1 0 18085 3 1 0 85558 53 0 0 25 0 11 0 490302387 861900800 24267 4294967295 134512640 134569956 3221224400 3221214672 1131263244 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210425 24267 13073 16 0 210409 0
vsize: 841700
[startup+880.071 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 21477
Raw data (stat): 21464 (java) R 21463 22932 22931 0 -1 0 18085 3 1 0 86553 53 0 0 25 0 11 0 490302387 861900800 24276 4294967295 134512640 134569956 3221224400 3221214672 1131263349 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210425 24276 13073 16 0 210409 0
vsize: 841700
[startup+890.072 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 21477
Raw data (stat): 21464 (java) R 21463 22932 22931 0 -1 0 18085 3 1 0 87547 53 0 0 25 0 11 0 490302387 861900800 24286 4294967295 134512640 134569956 3221224400 3221214672 1131263321 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210425 24286 13073 16 0 210409 0
vsize: 841700
[startup+900.073 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 21477
Raw data (stat): 21464 (java) R 21463 22932 22931 0 -1 0 18085 3 1 0 88541 53 0 0 25 0 11 0 490302387 861900800 24302 4294967295 134512640 134569956 3221224400 3221214672 1131262685 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210425 24302 13073 16 0 210409 0
vsize: 841700
[startup+910.073 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 21477
Raw data (stat): 21464 (java) R 21463 22932 22931 0 -1 0 18085 3 1 0 89535 53 0 0 25 0 11 0 490302387 861900800 24319 4294967295 134512640 134569956 3221224400 3221214672 1131263414 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210425 24319 13073 16 0 210409 0
vsize: 841700
[startup+920.073 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 21477
Raw data (stat): 21464 (java) R 21463 22932 22931 0 -1 0 18085 3 1 0 90531 53 0 0 25 0 11 0 490302387 861900800 24331 4294967295 134512640 134569956 3221224400 3221214672 1131263341 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210425 24331 13073 16 0 210409 0
vsize: 841700
[startup+930.073 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 21477
Raw data (stat): 21464 (java) R 21463 22932 22931 0 -1 0 18085 3 1 0 91526 54 0 0 25 0 11 0 490302387 861900800 24358 4294967295 134512640 134569956 3221224400 3221214672 1131263957 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210425 24358 13073 16 0 210409 0
vsize: 841700
[startup+940.073 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 21477
Raw data (stat): 21464 (java) R 21463 22932 22931 0 -1 0 18085 3 1 0 92522 54 0 0 25 0 11 0 490302387 861900800 24362 4294967295 134512640 134569956 3221224400 3221214672 1131263683 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210425 24362 13073 16 0 210409 0
vsize: 841700
[startup+950.074 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 21477
Raw data (stat): 21464 (java) R 21463 22932 22931 0 -1 0 18085 3 1 0 93518 54 0 0 25 0 11 0 490302387 861900800 24381 4294967295 134512640 134569956 3221224400 3221214672 1131263167 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210425 24381 13073 16 0 210409 0
vsize: 841700
[startup+960.074 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 21477
Raw data (stat): 21464 (java) R 21463 22932 22931 0 -1 0 18085 3 1 0 94512 54 0 0 25 0 11 0 490302387 861900800 24387 4294967295 134512640 134569956 3221224400 3221214672 1131263966 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210425 24387 13073 16 0 210409 0
vsize: 841700
[startup+970.073 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 21477
Raw data (stat): 21464 (java) R 21463 22932 22931 0 -1 0 18085 3 1 0 95507 54 0 0 25 0 11 0 490302387 861900800 24393 4294967295 134512640 134569956 3221224400 3221214672 1131263167 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210425 24393 13073 16 0 210409 0
vsize: 841700
[startup+980.075 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 21477
Raw data (stat): 21464 (java) R 21463 22932 22931 0 -1 0 18085 3 1 0 96501 54 0 0 25 0 11 0 490302387 861900800 24404 4294967295 134512640 134569956 3221224400 3221214768 1131394536 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210425 24404 13073 16 0 210409 0
vsize: 841700
[startup+990.074 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 21477
Raw data (stat): 21464 (java) R 21463 22932 22931 0 -1 0 18085 3 1 0 97495 54 0 0 25 0 11 0 490302387 861900800 24417 4294967295 134512640 134569956 3221224400 3221214672 1131263127 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210425 24417 13073 16 0 210409 0
vsize: 841700
[startup+1000.07 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 21477
Raw data (stat): 21464 (java) R 21463 22932 22931 0 -1 0 18085 3 1 0 98490 54 0 0 25 0 11 0 490302387 861900800 24432 4294967295 134512640 134569956 3221224400 3221214720 1131213890 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210425 24432 13073 16 0 210409 0
vsize: 841700
[startup+1010.08 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 21477
Raw data (stat): 21464 (java) R 21463 22932 22931 0 -1 0 18085 3 1 0 99484 54 0 0 25 0 11 0 490302387 861900800 24443 4294967295 134512640 134569956 3221224400 3221214672 1131262689 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210425 24443 13073 16 0 210409 0
vsize: 841700
[startup+1020.08 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 21477
Raw data (stat): 21464 (java) R 21463 22932 22931 0 -1 0 18085 3 1 0 100478 54 0 0 25 0 11 0 490302387 861900800 24453 4294967295 134512640 134569956 3221224400 3221214672 1131263202 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210425 24453 13073 16 0 210409 0
vsize: 841700
[startup+1030.08 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 21477
Raw data (stat): 21464 (java) R 21463 22932 22931 0 -1 0 18085 3 1 0 101474 54 0 0 25 0 11 0 490302387 861900800 24466 4294967295 134512640 134569956 3221224400 3221214672 1131263355 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210425 24466 13073 16 0 210409 0
vsize: 841700
[startup+1040.08 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 21477
Raw data (stat): 21464 (java) R 21463 22932 22931 0 -1 0 18085 3 1 0 102468 54 0 0 25 0 11 0 490302387 861900800 24471 4294967295 134512640 134569956 3221224400 3221214768 1131394391 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210425 24471 13073 16 0 210409 0
vsize: 841700
[startup+1050.08 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 21477
Raw data (stat): 21464 (java) R 21463 22932 22931 0 -1 0 18085 3 1 0 103463 54 0 0 25 0 11 0 490302387 861900800 24478 4294967295 134512640 134569956 3221224400 3221214672 1131263127 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210425 24478 13073 16 0 210409 0
vsize: 841700
[startup+1060.08 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 21477
Raw data (stat): 21464 (java) R 21463 22932 22931 0 -1 0 18085 3 1 0 104459 55 0 0 25 0 11 0 490302387 861900800 24493 4294967295 134512640 134569956 3221224400 3221214672 1131262733 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210425 24493 13073 16 0 210409 0
vsize: 841700
[startup+1070.08 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 21477
Raw data (stat): 21464 (java) R 21463 22932 22931 0 -1 0 18085 3 1 0 105456 55 0 0 25 0 11 0 490302387 861900800 24497 4294967295 134512640 134569956 3221224400 3221214584 1131498066 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210425 24497 13073 16 0 210409 0
vsize: 841700
[startup+1080.08 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 21477
Raw data (stat): 21464 (java) R 21463 22932 22931 0 -1 0 18085 3 1 0 106455 55 0 0 25 0 11 0 490302387 861900800 24501 4294967295 134512640 134569956 3221224400 3221214640 1131379331 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210425 24501 13073 16 0 210409 0
vsize: 841700
[startup+1090.08 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 21477
Raw data (stat): 21464 (java) R 21463 22932 22931 0 -1 0 18085 3 1 0 107451 55 0 0 25 0 11 0 490302387 861900800 24503 4294967295 134512640 134569956 3221224400 3221214584 1131497450 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210425 24503 13073 16 0 210409 0
vsize: 841700
[startup+1100.08 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 21477
Raw data (stat): 21464 (java) R 21463 22932 22931 0 -1 0 18085 3 1 0 108449 55 0 0 25 0 11 0 490302387 861900800 24508 4294967295 134512640 134569956 3221224400 3221214696 1131687452 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210425 24508 13073 16 0 210409 0
vsize: 841700
[startup+1110.09 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 21477
Raw data (stat): 21464 (java) R 21463 22932 22931 0 -1 0 18085 3 1 0 109447 55 0 0 25 0 11 0 490302387 861900800 24509 4294967295 134512640 134569956 3221224400 3221214584 1131366289 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210425 24509 13073 16 0 210409 0
vsize: 841700
[startup+1120.09 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 21477
Raw data (stat): 21464 (java) R 21463 22932 22931 0 -1 0 18085 3 1 0 110445 55 0 0 25 0 11 0 490302387 861900800 24509 4294967295 134512640 134569956 3221224400 3221214584 1131498084 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210425 24509 13073 16 0 210409 0
vsize: 841700
[startup+1130.09 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 21477
Raw data (stat): 21464 (java) R 21463 22932 22931 0 -1 0 18085 3 1 0 111443 55 0 0 25 0 11 0 490302387 861900800 24510 4294967295 134512640 134569956 3221224400 3221214584 1131366438 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210425 24510 13073 16 0 210409 0
vsize: 841700
[startup+1140.09 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 21477
Raw data (stat): 21464 (java) R 21463 22932 22931 0 -1 0 18085 3 1 0 112440 55 0 0 25 0 11 0 490302387 861900800 24510 4294967295 134512640 134569956 3221224400 3221214488 1131478781 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210425 24510 13073 16 0 210409 0
vsize: 841700
[startup+1150.09 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 21477
Raw data (stat): 21464 (java) R 21463 22932 22931 0 -1 0 18085 3 1 0 113433 55 0 0 25 0 11 0 490302387 861900800 24510 4294967295 134512640 134569956 3221224400 3221214672 1131263957 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210425 24510 13073 16 0 210409 0
vsize: 841700
[startup+1160.09 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 21477
Raw data (stat): 21464 (java) R 21463 22932 22931 0 -1 0 18085 3 1 0 114425 55 0 0 25 0 11 0 490302387 861900800 24510 4294967295 134512640 134569956 3221224400 3221214672 1131263955 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210425 24510 13073 16 0 210409 0
vsize: 841700
[startup+1170.09 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 21477
Raw data (stat): 21464 (java) R 21463 22932 22931 0 -1 0 18085 3 1 0 115416 55 0 0 25 0 11 0 490302387 861900800 24529 4294967295 134512640 134569956 3221224400 3221214768 1131392475 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210425 24529 13073 16 0 210409 0
vsize: 841700
[startup+1180.09 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 21477
Raw data (stat): 21464 (java) R 21463 22932 22931 0 -1 0 18085 3 1 0 116401 55 0 0 25 0 11 0 490302387 861900800 24534 4294967295 134512640 134569956 3221224400 3221214768 1131392478 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210425 24534 13073 16 0 210409 0
vsize: 841700
[startup+1190.09 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 21477
Raw data (stat): 21464 (java) R 21463 22932 22931 0 -1 0 18085 3 1 0 117382 55 0 0 25 0 11 0 490302387 861900800 24547 4294967295 134512640 134569956 3221224400 3221214672 1131262689 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210425 24547 13073 16 0 210409 0
vsize: 841700
[startup+1200.09 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 21477
Raw data (stat): 21464 (java) R 21463 22932 22931 0 -1 0 18085 3 1 0 118357 55 0 0 25 0 11 0 490302387 861900800 24549 4294967295 134512640 134569956 3221224400 3221214672 1131263167 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210425 24549 13073 16 0 210409 0
vsize: 841700
[startup+1210.09 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 21477
Raw data (stat): 21464 (java) R 21463 22932 22931 0 -1 0 18085 3 1 0 119341 56 0 0 25 0 11 0 490302387 861900800 24678 4294967295 134512640 134569956 3221224400 3221214768 1131393593 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210425 24678 13073 16 0 210409 0
vsize: 841700
[startup+1220.09 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 21477
Raw data (stat): 21464 (java) R 21463 22932 22931 0 -1 0 18085 3 1 0 120334 56 0 0 25 0 11 0 490302387 861900800 24699 4294967295 134512640 134569956 3221224400 3221214768 1131402980 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210425 24699 13073 16 0 210409 0
vsize: 841700
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1220.19 s]
Raw data (loadavg): 1.00 0.97 0.91 1/54 21479
Raw data (stat): 21464 (java) Z 21463 22932 22931 0 -1 1036 18085 12818 1 0 120338 60 2830 47 25 0 1 0 490302387 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1220.19
CPU time (s): 1232.77
CPU user time (s): 1231.69
CPU system time (s): 1.08183
CPU usage (%): 101.032
Max. virtual memory (Kb): 842888
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####