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-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-neos2.opb
MD5SUM	b7400535246fc2c2b54a52ae77322df5
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	84
Biggest coefficient in the objective function	1048576
Number of bits for the biggest coefficient in the objective function	21
Sum of the numbers in the objective function	8388604
Number of bits of the sum of numbers in the objective function	23
Biggest number in a constraint	2396687647113216000
Number of bits of the biggest number in a constraint	62
Biggest sum of numbers in a constraint	282492798299765243904
Number of bits of the biggest sum of numbers	68
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables	21894
Total number of constraints	2173
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	1053
Number of constraints which are nor clauses,nor cardinality constraints	1120
Minimum length of a constraint	1
Maximum length of a constraint	3188
Trace number 30121

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc3 THE 2005-05-25 15:05:18 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=21526 boxname=wulflinc3 idbench=1514 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  b7400535246fc2c2b54a52ae77322df5  /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-13-7-neos2.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-13-7-neos2.opb
IDLAUNCH: 21526
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 890.88

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        775964 kB
Buffers:         34556 kB
Cached:         203988 kB
SwapCached:          0 kB
Active:          78104 kB
Inactive:       163148 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        775712 kB
SwapTotal:     2097136 kB
SwapFree:      2096800 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6572 kB
Slab:            11796 kB
Committed_AS:    71792 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 15:25:50 (client local time) WITH STATUS 143 IN 1240.31 SECONDS
stats: 21526 7 1240.31 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c SAT4J: a SATisfiability library for Java (c) 2004-2005 Daniel Le Berre
c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
c version Special PB05 Second trial
c --- Begin Solver configuration ---
c org.sat4j.minisat.uip.FirstUIP@1e4cbc4
c org.sat4j.minisat.constraints.PBMinDataStructure@1fdc96c
c org.sat4j.minisat.learning.MiniSATLearning@b2fd8f
c conflictBoundIncFactor=1.5 learntBoundIncFactor=1.1 initLearntBoundConstraintFactor=0.5 initConflictBound=100 
c 
c --- End Solver configuration ---
c solving /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-13-7-neos2.opb
c reading problem ... done. Time 146.312 ms.
c #vars     21894
c #constraints  1176
c starts	: 1
c conflicts	: 47
c decisions	: 7997
c propagations	: 39484
c inspects	: 89131
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 47
c root simplifications	: 21
s UNKNOWN
c Total CPU time (ms) : 1229.102
#### 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.99 1.00 1.00 2/54 1966
Raw data (stat): 1966 (runsolver) R 1965 20224 20223 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 781592990 1052672 99 4294967295 134512640 135381576 3221224400 3221219620 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0005 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 1977
Raw data (stat): 1966 (java) R 1965 20224 20223 0 -1 0 18035 0 1 0 849 41 0 0 25 0 10 0 781592990 856715264 19902 4294967295 134512640 134569956 3221224368 3221214652 1130887239 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209159 19902 13086 16 0 209143 0
vsize: 836636
[startup+20.0017 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 1977
Raw data (stat): 1966 (java) R 1965 20224 20223 0 -1 0 18037 0 1 0 1726 42 0 0 24 0 10 0 781592990 856551424 20427 4294967295 134512640 134569956 3221224368 3221214360 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209119 20427 13086 16 0 209103 0
vsize: 836476
[startup+30.002 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 1977
Raw data (stat): 1966 (java) R 1965 20224 20223 0 -1 0 18037 0 1 0 2620 42 0 0 25 0 10 0 781592990 856551424 20904 4294967295 134512640 134569956 3221224368 3221214432 1076461342 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209119 20904 13086 16 0 209103 0
vsize: 836476
[startup+40.0024 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 1977
Raw data (stat): 1966 (java) R 1965 20224 20223 0 -1 0 18037 0 1 0 3536 43 0 0 25 0 10 0 781592990 855027712 20864 4294967295 134512640 134569956 3221224368 3221214480 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208747 20864 13086 16 0 208731 0
vsize: 834988
[startup+50.0034 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 1977
Raw data (stat): 1966 (java) R 1965 20224 20223 0 -1 0 18037 0 1 0 4464 43 0 0 25 0 10 0 781592990 855027712 20993 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208747 20993 13086 16 0 208731 0
vsize: 834988
[startup+60.0036 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 1977
Raw data (stat): 1966 (java) R 1965 20224 20223 0 -1 0 18037 0 1 0 5379 44 0 0 25 0 10 0 781592990 854532096 21045 4294967295 134512640 134569956 3221224368 3221214432 1076461336 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208626 21045 13086 16 0 208610 0
vsize: 834504
[startup+70.0044 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 1977
Raw data (stat): 1966 (java) R 1965 20224 20223 0 -1 0 18037 0 1 0 6307 44 0 0 25 0 10 0 781592990 854532096 21149 4294967295 134512640 134569956 3221224368 3221214480 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208626 21149 13086 16 0 208610 0
vsize: 834504
[startup+80.0116 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 1977
Raw data (stat): 1966 (java) R 1965 20224 20223 0 -1 0 18037 0 1 0 7239 44 0 0 25 0 10 0 781592990 854532096 21373 4294967295 134512640 134569956 3221224368 3221214756 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208626 21373 13086 16 0 208610 0
vsize: 834504
[startup+90.011 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 1977
Raw data (stat): 1966 (java) R 1965 20224 20223 0 -1 0 18037 0 1 0 8167 44 0 0 25 0 10 0 781592990 854532096 21449 4294967295 134512640 134569956 3221224368 3221214480 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208626 21449 13086 16 0 208610 0
vsize: 834504
[startup+100.011 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 1977
Raw data (stat): 1966 (java) R 1965 20224 20223 0 -1 0 18037 0 1 0 9096 45 0 0 25 0 10 0 781592990 854532096 21642 4294967295 134512640 134569956 3221224368 3221214432 1074489757 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208626 21642 13086 16 0 208610 0
vsize: 834504
[startup+110.013 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 1977
Raw data (stat): 1966 (java) R 1965 20224 20223 0 -1 0 18037 0 1 0 10036 45 0 0 25 0 10 0 781592990 854532096 21722 4294967295 134512640 134569956 3221224368 3221214480 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208626 21722 13086 16 0 208610 0
vsize: 834504
[startup+120.013 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 1977
Raw data (stat): 1966 (java) R 1965 20224 20223 0 -1 0 18037 0 1 0 10965 46 0 0 25 0 10 0 781592990 854532096 21783 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208626 21783 13086 16 0 208610 0
vsize: 834504
[startup+130.013 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 1977
Raw data (stat): 1966 (java) R 1965 20224 20223 0 -1 0 18037 0 1 0 11897 46 0 0 25 0 10 0 781592990 854532096 21964 4294967295 134512640 134569956 3221224368 3221214756 1080204160 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208626 21964 13086 16 0 208610 0
vsize: 834504
[startup+140.014 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 1977
Raw data (stat): 1966 (java) R 1965 20224 20223 0 -1 0 18037 0 1 0 12842 46 0 0 25 0 10 0 781592990 854532096 22034 4294967295 134512640 134569956 3221224368 3221214480 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208626 22034 13086 16 0 208610 0
vsize: 834504
[startup+150.014 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 1977
Raw data (stat): 1966 (java) R 1965 20224 20223 0 -1 0 18059 0 1 0 13732 47 0 0 25 0 10 0 781592990 856223744 24672 4294967295 134512640 134569956 3221224368 3221214932 1130885124 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209039 24672 13086 16 0 209023 0
vsize: 836156
[startup+160.014 s]
Raw data (loadavg): 0.99 1.00 1.00 2/64 1978
Raw data (stat): 1966 (java) R 1965 20224 20223 0 -1 0 18066 0 1 0 14660 47 0 0 25 0 11 0 781592990 856752128 24704 4294967295 134512640 134569956 3221224368 3221214640 1131205056 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209168 24704 13086 16 0 209152 0
vsize: 836672
[startup+170.016 s]
Raw data (loadavg): 0.99 1.00 1.00 2/64 1978
Raw data (stat): 1966 (java) R 1965 20224 20223 0 -1 0 18078 0 1 0 15589 48 0 0 25 0 11 0 781592990 856522752 24673 4294967295 134512640 134569956 3221224368 3221214744 1131375984 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209112 24673 13086 16 0 209096 0
vsize: 836448
[startup+180.016 s]
Raw data (loadavg): 0.99 1.00 1.00 2/64 1978
Raw data (stat): 1966 (java) R 1965 20224 20223 0 -1 0 18078 0 1 0 16562 48 0 0 25 0 11 0 781592990 856522752 24674 4294967295 134512640 134569956 3221224368 3221214560 1131409209 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209112 24674 13086 16 0 209096 0
vsize: 836448
[startup+190.015 s]
Raw data (loadavg): 0.99 1.00 1.00 2/64 1978
Raw data (stat): 1966 (java) R 1965 20224 20223 0 -1 0 18078 0 1 0 17508 48 0 0 25 0 11 0 781592990 856522752 24674 4294967295 134512640 134569956 3221224368 3221214744 1131207545 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209112 24674 13086 16 0 209096 0
vsize: 836448
[startup+200.017 s]
Raw data (loadavg): 0.99 1.00 1.00 2/64 1978
Raw data (stat): 1966 (java) R 1965 20224 20223 0 -1 0 18079 0 1 0 18460 48 0 0 25 0 11 0 781592990 856522752 25443 4294967295 134512640 134569956 3221224368 3221214648 1131316521 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209112 25443 13086 16 0 209096 0
vsize: 836448
[startup+210.017 s]
Raw data (loadavg): 1.07 1.02 1.00 2/64 1978
Raw data (stat): 1966 (java) R 1965 20224 20223 0 -1 0 18079 0 1 0 19440 49 0 0 25 0 11 0 781592990 856522752 25444 4294967295 134512640 134569956 3221224368 3221214648 1131316977 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209112 25444 13086 16 0 209096 0
vsize: 836448
[startup+220.018 s]
Raw data (loadavg): 1.06 1.01 1.00 2/64 1978
Raw data (stat): 1966 (java) R 1965 20224 20223 0 -1 0 18086 0 1 0 20421 49 0 0 25 0 11 0 781592990 856522752 25478 4294967295 134512640 134569956 3221224368 3221214384 1131224071 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209112 25478 13086 16 0 209096 0
vsize: 836448
[startup+230.02 s]
Raw data (loadavg): 1.05 1.01 1.00 2/64 1978
Raw data (stat): 1966 (java) R 1965 20224 20223 0 -1 0 18086 0 1 0 21406 49 0 0 25 0 11 0 781592990 858873856 26089 4294967295 134512640 134569956 3221224368 3221214608 1131306471 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209686 26089 13086 16 0 209670 0
vsize: 838744
[startup+240.02 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 1978
Raw data (stat): 1966 (java) R 1965 20224 20223 0 -1 0 18086 0 1 0 22398 49 0 0 25 0 11 0 781592990 858873856 26093 4294967295 134512640 134569956 3221224368 3221214592 1131428440 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209686 26093 13086 16 0 209670 0
vsize: 838744
[startup+250.019 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 1978
Raw data (stat): 1966 (java) R 1965 20224 20223 0 -1 0 18086 0 1 0 23389 50 0 0 25 0 11 0 781592990 858873856 26093 4294967295 134512640 134569956 3221224368 3221214592 1131428210 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209686 26093 13086 16 0 209670 0
vsize: 838744
[startup+260.02 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 1978
Raw data (stat): 1966 (java) R 1965 20224 20223 0 -1 0 18088 0 1 0 24380 50 0 0 25 0 11 0 781592990 858873856 26164 4294967295 134512640 134569956 3221224368 3221214504 1131224071 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209686 26164 13086 16 0 209670 0
vsize: 838744
[startup+270.02 s]
Raw data (loadavg): 1.10 1.03 1.00 2/64 1978
Raw data (stat): 1966 (java) R 1965 20224 20223 0 -1 0 18088 0 1 0 25374 50 0 0 25 0 11 0 781592990 858873856 26191 4294967295 134512640 134569956 3221224368 3221214592 1131428124 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209686 26191 13086 16 0 209670 0
vsize: 838744
[startup+280.02 s]
Raw data (loadavg): 1.08 1.03 1.00 2/64 1978
Raw data (stat): 1966 (java) R 1965 20224 20223 0 -1 0 18088 0 1 0 26362 50 0 0 25 0 11 0 781592990 858873856 26197 4294967295 134512640 134569956 3221224368 3221214592 1131428206 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209686 26197 13086 16 0 209670 0
vsize: 838744
[startup+290.021 s]
Raw data (loadavg): 1.07 1.02 1.00 2/64 1978
Raw data (stat): 1966 (java) R 1965 20224 20223 0 -1 0 18088 0 1 0 27356 51 0 0 25 0 11 0 781592990 858873856 26198 4294967295 134512640 134569956 3221224368 3221214504 1131223796 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209686 26198 13086 16 0 209670 0
vsize: 838744
[startup+300.022 s]
Raw data (loadavg): 1.06 1.02 1.00 2/64 1978
Raw data (stat): 1966 (java) R 1965 20224 20223 0 -1 0 18088 0 1 0 28349 51 0 0 25 0 11 0 781592990 858873856 26198 4294967295 134512640 134569956 3221224368 3221214564 1130885175 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209686 26198 13086 16 0 209670 0
vsize: 838744
[startup+310.022 s]
Raw data (loadavg): 1.05 1.02 1.00 2/64 1978
Raw data (stat): 1966 (java) R 1965 20224 20223 0 -1 0 18088 0 1 0 29340 51 0 0 25 0 11 0 781592990 858873856 26201 4294967295 134512640 134569956 3221224368 3221214504 1131223910 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209686 26201 13086 16 0 209670 0
vsize: 838744
[startup+320.023 s]
Raw data (loadavg): 1.04 1.02 1.00 2/64 1978
Raw data (stat): 1966 (java) R 1965 20224 20223 0 -1 0 18088 0 1 0 30328 51 0 0 25 0 11 0 781592990 858873856 26232 4294967295 134512640 134569956 3221224368 3221214744 1131207552 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209686 26232 13086 16 0 209670 0
vsize: 838744
[startup+330.023 s]
Raw data (loadavg): 1.11 1.04 1.00 2/64 1978
Raw data (stat): 1966 (java) R 1965 20224 20223 0 -1 0 18088 0 1 0 31318 52 0 0 25 0 11 0 781592990 858873856 26286 4294967295 134512640 134569956 3221224368 3221214608 1131306542 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209686 26286 13086 16 0 209670 0
vsize: 838744
[startup+340.023 s]
Raw data (loadavg): 1.09 1.03 1.00 2/64 1978
Raw data (stat): 1966 (java) R 1965 20224 20223 0 -1 0 18088 0 1 0 32312 52 0 0 25 0 11 0 781592990 858873856 26286 4294967295 134512640 134569956 3221224368 3221214504 1131224227 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209686 26286 13086 16 0 209670 0
vsize: 838744
[startup+350.025 s]
Raw data (loadavg): 1.08 1.03 1.00 2/64 1978
Raw data (stat): 1966 (java) R 1965 20224 20223 0 -1 0 18088 0 1 0 33305 52 0 0 24 0 11 0 781592990 858873856 26313 4294967295 134512640 134569956 3221224368 3221214608 1131306512 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209686 26313 13086 16 0 209670 0
vsize: 838744
[startup+360.025 s]
Raw data (loadavg): 1.06 1.03 1.00 2/64 1978
Raw data (stat): 1966 (java) R 1965 20224 20223 0 -1 0 18088 0 1 0 34297 53 0 0 25 0 11 0 781592990 858873856 26313 4294967295 134512640 134569956 3221224368 3221214592 1131428440 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209686 26313 13086 16 0 209670 0
vsize: 838744
[startup+370.026 s]
Raw data (loadavg): 1.05 1.03 1.00 2/64 1978
Raw data (stat): 1966 (java) R 1965 20224 20223 0 -1 0 18088 0 1 0 35290 53 0 0 25 0 11 0 781592990 858873856 26313 4294967295 134512640 134569956 3221224368 3221214588 1131243763 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209686 26313 13086 16 0 209670 0
vsize: 838744
[startup+380.026 s]
Raw data (loadavg): 1.04 1.03 1.00 2/64 1978
Raw data (stat): 1966 (java) R 1965 20224 20223 0 -1 0 18088 0 1 0 36281 53 0 0 25 0 11 0 781592990 858873856 26342 4294967295 134512640 134569956 3221224368 3221214592 1131428859 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209686 26342 13086 16 0 209670 0
vsize: 838744
[startup+390.025 s]
Raw data (loadavg): 1.04 1.03 1.00 2/64 1978
Raw data (stat): 1966 (java) R 1965 20224 20223 0 -1 0 18088 0 1 0 37273 53 0 0 25 0 11 0 781592990 858873856 26342 4294967295 134512640 134569956 3221224368 3221214592 1131428368 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209686 26342 13086 16 0 209670 0
vsize: 838744
[startup+400.026 s]
Raw data (loadavg): 1.03 1.03 1.00 2/64 1978
Raw data (stat): 1966 (java) R 1965 20224 20223 0 -1 0 18088 0 1 0 38256 54 0 0 25 0 11 0 781592990 858873856 26369 4294967295 134512640 134569956 3221224368 3221214648 1131317137 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209686 26369 13086 16 0 209670 0
vsize: 838744
[startup+410.027 s]
Raw data (loadavg): 1.03 1.02 1.00 2/64 1978
Raw data (stat): 1966 (java) R 1965 20224 20223 0 -1 0 18088 0 1 0 39239 54 0 0 25 0 11 0 781592990 858873856 26423 4294967295 134512640 134569956 3221224368 3221214648 1131317928 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209686 26423 13086 16 0 209670 0
vsize: 838744
[startup+420.028 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 1978
Raw data (stat): 1966 (java) R 1965 20224 20223 0 -1 0 18088 0 1 0 40225 55 0 0 25 0 11 0 781592990 858873856 26452 4294967295 134512640 134569956 3221224368 3221214744 1131207552 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209686 26452 13086 16 0 209670 0
vsize: 838744
[startup+430.029 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 1978
Raw data (stat): 1966 (java) R 1965 20224 20223 0 -1 0 18088 0 1 0 41206 55 0 0 25 0 11 0 781592990 858873856 26510 4294967295 134512640 134569956 3221224368 3221214648 1131316626 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209686 26510 13086 16 0 209670 0
vsize: 838744
[startup+440.029 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 1978
Raw data (stat): 1966 (java) R 1965 20224 20223 0 -1 0 18088 0 1 0 42191 56 0 0 25 0 11 0 781592990 858873856 26542 4294967295 134512640 134569956 3221224368 3221214648 1131316521 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209686 26542 13086 16 0 209670 0
vsize: 838744
[startup+450.029 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 1978
Raw data (stat): 1966 (java) R 1965 20224 20223 0 -1 0 18088 0 1 0 43177 56 0 0 25 0 11 0 781592990 858873856 26542 4294967295 134512640 134569956 3221224368 3221214672 1131223777 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209686 26542 13086 16 0 209670 0
vsize: 838744
[startup+460.029 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 1978
Raw data (stat): 1966 (java) R 1965 20224 20223 0 -1 0 18088 0 1 0 44164 56 0 0 25 0 11 0 781592990 858873856 26627 4294967295 134512640 134569956 3221224368 3221214648 1131316533 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209686 26627 13086 16 0 209670 0
vsize: 838744
[startup+470.031 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 1978
Raw data (stat): 1966 (java) R 1965 20224 20223 0 -1 0 18088 0 1 0 45156 56 0 0 25 0 11 0 781592990 858873856 26629 4294967295 134512640 134569956 3221224368 3221214728 1131366173 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209686 26629 13086 16 0 209670 0
vsize: 838744
[startup+480.031 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 1978
Raw data (stat): 1966 (java) R 1965 20224 20223 0 -1 0 18088 0 1 0 46147 57 0 0 25 0 11 0 781592990 858873856 26630 4294967295 134512640 134569956 3221224368 3221214728 1131366563 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209686 26630 13086 16 0 209670 0
vsize: 838744
[startup+490.031 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 1978
Raw data (stat): 1966 (java) R 1965 20224 20223 0 -1 0 18088 0 1 0 47142 57 0 0 25 0 11 0 781592990 858873856 26661 4294967295 134512640 134569956 3221224368 3221214792 1131357417 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209686 26661 13086 16 0 209670 0
vsize: 838744
[startup+500.032 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 1978
Raw data (stat): 1966 (java) R 1965 20224 20223 0 -1 0 18088 0 1 0 48137 57 0 0 25 0 11 0 781592990 858873856 26663 4294967295 134512640 134569956 3221224368 3221214648 1131316521 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209686 26663 13086 16 0 209670 0
vsize: 838744
[startup+510.031 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 1978
Raw data (stat): 1966 (java) R 1965 20224 20223 0 -1 0 18088 0 1 0 49132 57 0 0 25 0 11 0 781592990 858873856 26670 4294967295 134512640 134569956 3221224368 3221214648 1131316521 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209686 26670 13086 16 0 209670 0
vsize: 838744
[startup+520.032 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 1978
Raw data (stat): 1966 (java) R 1965 20224 20223 0 -1 0 18088 0 1 0 50127 58 0 0 25 0 11 0 781592990 858873856 26674 4294967295 134512640 134569956 3221224368 3221214792 1131356816 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209686 26674 13086 16 0 209670 0
vsize: 838744
[startup+530.034 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 1978
Raw data (stat): 1966 (java) R 1965 20224 20223 0 -1 0 18088 0 1 0 51124 58 0 0 25 0 11 0 781592990 858873856 26677 4294967295 134512640 134569956 3221224368 3221214648 1131316521 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209686 26677 13086 16 0 209670 0
vsize: 838744
[startup+540.033 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 1978
Raw data (stat): 1966 (java) R 1965 20224 20223 0 -1 0 18088 0 1 0 52121 58 0 0 25 0 11 0 781592990 858873856 26680 4294967295 134512640 134569956 3221224368 3221214624 1131223910 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209686 26680 13086 16 0 209670 0
vsize: 838744
[startup+550.034 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 1978
Raw data (stat): 1966 (java) R 1965 20224 20223 0 -1 0 18088 0 1 0 53117 59 0 0 25 0 11 0 781592990 858873856 26680 4294967295 134512640 134569956 3221224368 3221214648 1131316533 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209686 26680 13086 16 0 209670 0
vsize: 838744
[startup+560.034 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 1978
Raw data (stat): 1966 (java) R 1965 20224 20223 0 -1 0 18088 0 1 0 54114 59 0 0 25 0 11 0 781592990 858873856 26680 4294967295 134512640 134569956 3221224368 3221214640 1131205048 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209686 26680 13086 16 0 209670 0
vsize: 838744
[startup+570.034 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 1978
Raw data (stat): 1966 (java) R 1965 20224 20223 0 -1 0 18088 0 1 0 55111 59 0 0 25 0 11 0 781592990 858873856 26680 4294967295 134512640 134569956 3221224368 3221214648 1131316521 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209686 26680 13086 16 0 209670 0
vsize: 838744
[startup+580.034 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 1978
Raw data (stat): 1966 (java) R 1965 20224 20223 0 -1 0 18088 0 1 0 56108 59 0 0 25 0 11 0 781592990 858873856 26683 4294967295 134512640 134569956 3221224368 3221214728 1131366605 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209686 26683 13086 16 0 209670 0
vsize: 838744
[startup+590.034 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 1978
Raw data (stat): 1966 (java) R 1965 20224 20223 0 -1 0 18088 0 1 0 57105 60 0 0 25 0 11 0 781592990 858873856 26683 4294967295 134512640 134569956 3221224368 3221214744 1131207552 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209686 26683 13086 16 0 209670 0
vsize: 838744
[startup+600.035 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 1978
Raw data (stat): 1966 (java) R 1965 20224 20223 0 -1 0 18088 0 1 0 58102 61 0 0 25 0 11 0 781592990 858873856 26683 4294967295 134512640 134569956 3221224368 3221214648 1131316425 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209686 26683 13086 16 0 209670 0
vsize: 838744
[startup+610.035 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 1978
Raw data (stat): 1966 (java) R 1965 20224 20223 0 -1 0 18088 0 1 0 59098 61 0 0 25 0 11 0 781592990 858873856 26685 4294967295 134512640 134569956 3221224368 3221214648 1131316711 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209686 26685 13086 16 0 209670 0
vsize: 838744
[startup+620.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1978
Raw data (stat): 1966 (java) R 1965 20224 20223 0 -1 0 18088 0 1 0 60095 62 0 0 25 0 11 0 781592990 858873856 26685 4294967295 134512640 134569956 3221224368 3221214768 1131347197 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209686 26685 13086 16 0 209670 0
vsize: 838744
[startup+630.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1978
Raw data (stat): 1966 (java) R 1965 20224 20223 0 -1 0 18088 0 1 0 61092 62 0 0 25 0 11 0 781592990 858873856 26685 4294967295 134512640 134569956 3221224368 3221214792 1131356534 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209686 26685 13086 16 0 209670 0
vsize: 838744
[startup+640.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1978
Raw data (stat): 1966 (java) R 1965 20224 20223 0 -1 0 18088 0 1 0 62088 63 0 0 25 0 11 0 781592990 858873856 26689 4294967295 134512640 134569956 3221224368 3221214648 1131317785 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209686 26689 13086 16 0 209670 0
vsize: 838744
[startup+650.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1978
Raw data (stat): 1966 (java) R 1965 20224 20223 0 -1 0 18088 0 1 0 63085 63 0 0 25 0 11 0 781592990 858873856 26689 4294967295 134512640 134569956 3221224368 3221214648 1131316587 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209686 26689 13086 16 0 209670 0
vsize: 838744
[startup+660.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1978
Raw data (stat): 1966 (java) R 1965 20224 20223 0 -1 0 18088 0 1 0 64078 63 0 0 25 0 11 0 781592990 858873856 26689 4294967295 134512640 134569956 3221224368 3221214792 1131356534 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209686 26689 13086 16 0 209670 0
vsize: 838744
[startup+670.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1978
Raw data (stat): 1966 (java) R 1965 20224 20223 0 -1 0 18088 0 1 0 65072 64 0 0 25 0 11 0 781592990 858873856 26691 4294967295 134512640 134569956 3221224368 3221214592 1131428158 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209686 26691 13086 16 0 209670 0
vsize: 838744
[startup+680.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1978
Raw data (stat): 1966 (java) R 1965 20224 20223 0 -1 0 18088 0 1 0 66066 64 0 0 25 0 11 0 781592990 858873856 26691 4294967295 134512640 134569956 3221224368 3221214504 1131224031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209686 26691 13086 16 0 209670 0
vsize: 838744
[startup+690.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1978
Raw data (stat): 1966 (java) R 1965 20224 20223 0 -1 0 18088 0 1 0 67061 64 0 0 25 0 11 0 781592990 858873856 26691 4294967295 134512640 134569956 3221224368 3221214512 1131445116 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209686 26691 13086 16 0 209670 0
vsize: 838744
[startup+700.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1978
Raw data (stat): 1966 (java) R 1965 20224 20223 0 -1 0 18088 0 1 0 68053 65 0 0 25 0 11 0 781592990 858873856 26720 4294967295 134512640 134569956 3221224368 3221214728 1131366484 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209686 26720 13086 16 0 209670 0
vsize: 838744
[startup+710.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1978
Raw data (stat): 1966 (java) R 1965 20224 20223 0 -1 0 18088 0 1 0 69045 65 0 0 20 0 11 0 781592990 858873856 26720 4294967295 134512640 134569956 3221224368 3221214744 1131207552 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209686 26720 13086 16 0 209670 0
vsize: 838744
[startup+720.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1978
Raw data (stat): 1966 (java) R 1965 20224 20223 0 -1 0 18088 0 1 0 70035 65 0 0 25 0 11 0 781592990 858873856 26720 4294967295 134512640 134569956 3221224368 3221214648 1131317872 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209686 26720 13086 16 0 209670 0
vsize: 838744
[startup+730.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1978
Raw data (stat): 1966 (java) R 1965 20224 20223 0 -1 0 18088 0 1 0 71027 66 0 0 25 0 11 0 781592990 858873856 26753 4294967295 134512640 134569956 3221224368 3221214512 1131446736 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209686 26753 13086 16 0 209670 0
vsize: 838744
[startup+740.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1978
Raw data (stat): 1966 (java) R 1965 20224 20223 0 -1 0 18088 0 1 0 72021 66 0 0 25 0 11 0 781592990 858873856 26753 4294967295 134512640 134569956 3221224368 3221214504 1131224227 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209686 26753 13086 16 0 209670 0
vsize: 838744
[startup+750.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1978
Raw data (stat): 1966 (java) R 1965 20224 20223 0 -1 0 18088 0 1 0 73015 66 0 0 25 0 11 0 781592990 858873856 26788 4294967295 134512640 134569956 3221224368 3221214504 1131224104 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209686 26788 13086 16 0 209670 0
vsize: 838744
[startup+760.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1978
Raw data (stat): 1966 (java) R 1965 20224 20223 0 -1 0 18088 0 1 0 74011 66 0 0 25 0 11 0 781592990 858873856 26788 4294967295 134512640 134569956 3221224368 3221214592 1131428244 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209686 26788 13086 16 0 209670 0
vsize: 838744
[startup+770.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1978
Raw data (stat): 1966 (java) R 1965 20224 20223 0 -1 0 18088 0 1 0 75006 66 0 0 25 0 11 0 781592990 858873856 26788 4294967295 134512640 134569956 3221224368 3221214592 1131428674 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209686 26788 13086 16 0 209670 0
vsize: 838744
[startup+780.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1978
Raw data (stat): 1966 (java) R 1965 20224 20223 0 -1 0 18088 0 1 0 76001 67 0 0 25 0 11 0 781592990 858873856 26788 4294967295 134512640 134569956 3221224368 3221214608 1131306471 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209686 26788 13086 16 0 209670 0
vsize: 838744
[startup+790.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1978
Raw data (stat): 1966 (java) R 1965 20224 20223 0 -1 0 18088 0 1 0 76996 67 0 0 25 0 11 0 781592990 858873856 26789 4294967295 134512640 134569956 3221224368 3221214512 1131445760 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209686 26789 13086 16 0 209670 0
vsize: 838744
[startup+800.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1978
Raw data (stat): 1966 (java) R 1965 20224 20223 0 -1 0 18088 0 1 0 77989 68 0 0 25 0 11 0 781592990 858873856 26789 4294967295 134512640 134569956 3221224368 3221214608 1131306471 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209686 26789 13086 16 0 209670 0
vsize: 838744
[startup+810.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1978
Raw data (stat): 1966 (java) R 1965 20224 20223 0 -1 0 18088 0 1 0 78983 68 0 0 22 0 11 0 781592990 858873856 26789 4294967295 134512640 134569956 3221224368 3221214608 1131306585 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209686 26789 13086 16 0 209670 0
vsize: 838744
[startup+820.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1978
Raw data (stat): 1966 (java) R 1965 20224 20223 0 -1 0 18088 0 1 0 79975 68 0 0 25 0 11 0 781592990 858873856 26789 4294967295 134512640 134569956 3221224368 3221214504 1131224162 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209686 26789 13086 16 0 209670 0
vsize: 838744
[startup+830.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1978
Raw data (stat): 1966 (java) R 1965 20224 20223 0 -1 0 18088 0 1 0 80967 68 0 0 25 0 11 0 781592990 858873856 26789 4294967295 134512640 134569956 3221224368 3221214472 1131465665 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209686 26789 13086 16 0 209670 0
vsize: 838744
[startup+840.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1978
Raw data (stat): 1966 (java) R 1965 20224 20223 0 -1 0 18088 0 1 0 81959 68 0 0 25 0 11 0 781592990 858873856 26789 4294967295 134512640 134569956 3221224368 3221214488 1131223771 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209686 26789 13086 16 0 209670 0
vsize: 838744
[startup+850.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1978
Raw data (stat): 1966 (java) R 1965 20224 20223 0 -1 0 18088 0 1 0 82950 69 0 0 25 0 11 0 781592990 858873856 26789 4294967295 134512640 134569956 3221224368 3221214504 1131224071 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209686 26789 13086 16 0 209670 0
vsize: 838744
[startup+860.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1978
Raw data (stat): 1966 (java) R 1965 20224 20223 0 -1 0 18088 0 1 0 83942 69 0 0 25 0 11 0 781592990 858873856 26789 4294967295 134512640 134569956 3221224368 3221214592 1131428124 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209686 26789 13086 16 0 209670 0
vsize: 838744
[startup+870.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1978
Raw data (stat): 1966 (java) R 1965 20224 20223 0 -1 0 18088 0 1 0 84932 69 0 0 25 0 11 0 781592990 858873856 26789 4294967295 134512640 134569956 3221224368 3221214512 1131445782 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209686 26789 13086 16 0 209670 0
vsize: 838744
[startup+880.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1978
Raw data (stat): 1966 (java) R 1965 20224 20223 0 -1 0 18088 0 1 0 85923 69 0 0 25 0 11 0 781592990 858873856 26870 4294967295 134512640 134569956 3221224368 3221214592 1131428124 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209686 26870 13086 16 0 209670 0
vsize: 838744
[startup+890.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1978
Raw data (stat): 1966 (java) R 1965 20224 20223 0 -1 0 18088 0 1 0 86915 69 0 0 25 0 11 0 781592990 858873856 26870 4294967295 134512640 134569956 3221224368 3221214512 1131445806 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209686 26870 13086 16 0 209670 0
vsize: 838744
[startup+900.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1978
Raw data (stat): 1966 (java) R 1965 20224 20223 0 -1 0 18088 0 1 0 87905 70 0 0 25 0 11 0 781592990 858873856 26870 4294967295 134512640 134569956 3221224368 3221214792 1131356534 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209686 26870 13086 16 0 209670 0
vsize: 838744
[startup+910.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1978
Raw data (stat): 1966 (java) R 1965 20224 20223 0 -1 0 18088 0 1 0 88888 70 0 0 25 0 11 0 781592990 858873856 26870 4294967295 134512640 134569956 3221224368 3221214648 1131316946 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209686 26870 13086 16 0 209670 0
vsize: 838744
[startup+920.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1978
Raw data (stat): 1966 (java) R 1965 20224 20223 0 -1 0 18088 0 1 0 89871 70 0 0 25 0 11 0 781592990 858873856 26939 4294967295 134512640 134569956 3221224368 3221214648 1131316425 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209686 26939 13086 16 0 209670 0
vsize: 838744
[startup+930.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1978
Raw data (stat): 1966 (java) R 1965 20224 20223 0 -1 0 18088 0 1 0 90857 71 0 0 25 0 11 0 781592990 858873856 26939 4294967295 134512640 134569956 3221224368 3221214724 1131316352 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209686 26939 13086 16 0 209670 0
vsize: 838744
[startup+940.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1978
Raw data (stat): 1966 (java) R 1965 20224 20223 0 -1 0 18088 0 1 0 91848 71 0 0 25 0 11 0 781592990 858873856 27001 4294967295 134512640 134569956 3221224368 3221214648 1131317965 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209686 27001 13086 16 0 209670 0
vsize: 838744
[startup+950.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1978
Raw data (stat): 1966 (java) R 1965 20224 20223 0 -1 0 18088 0 1 0 92841 71 0 0 25 0 11 0 781592990 858873856 27001 4294967295 134512640 134569956 3221224368 3221214648 1131316807 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209686 27001 13086 16 0 209670 0
vsize: 838744
[startup+960.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1978
Raw data (stat): 1966 (java) R 1965 20224 20223 0 -1 0 18088 0 1 0 93833 71 0 0 25 0 11 0 781592990 858873856 27033 4294967295 134512640 134569956 3221224368 3221214648 1131316601 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209686 27033 13086 16 0 209670 0
vsize: 838744
[startup+970.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1978
Raw data (stat): 1966 (java) R 1965 20224 20223 0 -1 0 18088 0 1 0 94826 72 0 0 25 0 11 0 781592990 858873856 27035 4294967295 134512640 134569956 3221224368 3221214792 1131356864 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209686 27035 13086 16 0 209670 0
vsize: 838744
[startup+980.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1978
Raw data (stat): 1966 (java) R 1965 20224 20223 0 -1 0 18088 0 1 0 95816 72 0 0 25 0 11 0 781592990 858873856 27036 4294967295 134512640 134569956 3221224368 3221214728 1131366560 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209686 27036 13086 16 0 209670 0
vsize: 838744
[startup+990.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1978
Raw data (stat): 1966 (java) R 1965 20224 20223 0 -1 0 18088 0 1 0 96804 72 0 0 25 0 11 0 781592990 858873856 27037 4294967295 134512640 134569956 3221224368 3221214724 1131316352 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209686 27037 13086 16 0 209670 0
vsize: 838744
[startup+1000.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1978
Raw data (stat): 1966 (java) R 1965 20224 20223 0 -1 0 18088 0 1 0 97794 73 0 0 25 0 11 0 781592990 858873856 27103 4294967295 134512640 134569956 3221224368 3221214728 1131366259 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209686 27103 13086 16 0 209670 0
vsize: 838744
[startup+1010.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1978
Raw data (stat): 1966 (java) R 1965 20224 20223 0 -1 0 18088 0 1 0 98791 73 0 0 25 0 11 0 781592990 858873856 27103 4294967295 134512640 134569956 3221224368 3221214728 1131366181 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209686 27103 13086 16 0 209670 0
vsize: 838744
[startup+1020.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1978
Raw data (stat): 1966 (java) R 1965 20224 20223 0 -1 0 18088 0 1 0 99788 73 0 0 25 0 11 0 781592990 858873856 27103 4294967295 134512640 134569956 3221224368 3221214592 1131428373 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209686 27103 13086 16 0 209670 0
vsize: 838744
[startup+1030.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1978
Raw data (stat): 1966 (java) R 1965 20224 20223 0 -1 0 18088 0 1 0 100784 73 0 0 25 0 11 0 781592990 858873856 27103 4294967295 134512640 134569956 3221224368 3221214592 1131428523 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209686 27103 13086 16 0 209670 0
vsize: 838744
[startup+1040.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1978
Raw data (stat): 1966 (java) R 1965 20224 20223 0 -1 0 18088 0 1 0 101778 74 0 0 25 0 11 0 781592990 858873856 27103 4294967295 134512640 134569956 3221224368 3221214608 1131306585 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209686 27103 13086 16 0 209670 0
vsize: 838744
[startup+1050.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1978
Raw data (stat): 1966 (java) R 1965 20224 20223 0 -1 0 18088 0 1 0 102773 74 0 0 25 0 11 0 781592990 858873856 27104 4294967295 134512640 134569956 3221224368 3221214592 1131428241 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209686 27104 13086 16 0 209670 0
vsize: 838744
[startup+1060.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1978
Raw data (stat): 1966 (java) R 1965 20224 20223 0 -1 0 18088 0 1 0 103765 75 0 0 24 0 11 0 781592990 858873856 27104 4294967295 134512640 134569956 3221224368 3221214640 1131206104 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209686 27104 13086 16 0 209670 0
vsize: 838744
[startup+1070.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1978
Raw data (stat): 1966 (java) R 1965 20224 20223 0 -1 0 18088 0 1 0 104758 75 0 0 25 0 11 0 781592990 858873856 27105 4294967295 134512640 134569956 3221224368 3221214592 1131428124 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209686 27105 13086 16 0 209670 0
vsize: 838744
[startup+1080.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1978
Raw data (stat): 1966 (java) R 1965 20224 20223 0 -1 0 18088 0 1 0 105748 75 0 0 25 0 11 0 781592990 858873856 27106 4294967295 134512640 134569956 3221224368 3221214592 1131428098 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209686 27106 13086 16 0 209670 0
vsize: 838744
[startup+1090.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1978
Raw data (stat): 1966 (java) R 1965 20224 20223 0 -1 0 18088 0 1 0 106739 76 0 0 25 0 11 0 781592990 858873856 27133 4294967295 134512640 134569956 3221224368 3221214512 1131445095 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209686 27133 13086 16 0 209670 0
vsize: 838744
[startup+1100.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1978
Raw data (stat): 1966 (java) R 1965 20224 20223 0 -1 0 18088 0 1 0 107729 76 0 0 25 0 11 0 781592990 858873856 27161 4294967295 134512640 134569956 3221224368 3221214648 1131316383 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209686 27161 13086 16 0 209670 0
vsize: 838744
[startup+1110.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1978
Raw data (stat): 1966 (java) R 1965 20224 20223 0 -1 0 18088 0 1 0 108716 76 0 0 25 0 11 0 781592990 858873856 27161 4294967295 134512640 134569956 3221224368 3221214512 1131445158 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209686 27161 13086 16 0 209670 0
vsize: 838744
[startup+1120.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1978
Raw data (stat): 1966 (java) R 1965 20224 20223 0 -1 0 18088 0 1 0 109705 76 0 0 25 0 11 0 781592990 858873856 27215 4294967295 134512640 134569956 3221224368 3221214592 1131428153 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209686 27215 13086 16 0 209670 0
vsize: 838744
[startup+1130.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1978
Raw data (stat): 1966 (java) R 1965 20224 20223 0 -1 0 18088 0 1 0 110694 77 0 0 25 0 11 0 781592990 858873856 27215 4294967295 134512640 134569956 3221224368 3221214592 1131428340 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209686 27215 13086 16 0 209670 0
vsize: 838744
[startup+1140.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1978
Raw data (stat): 1966 (java) R 1965 20224 20223 0 -1 0 18088 0 1 0 111684 77 0 0 25 0 11 0 781592990 858873856 27242 4294967295 134512640 134569956 3221224368 3221214592 1131428155 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209686 27242 13086 16 0 209670 0
vsize: 838744
[startup+1150.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1978
Raw data (stat): 1966 (java) R 1965 20224 20223 0 -1 0 18088 0 1 0 112675 77 0 0 25 0 11 0 781592990 858873856 27269 4294967295 134512640 134569956 3221224368 3221214504 1131224090 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209686 27269 13086 16 0 209670 0
vsize: 838744
[startup+1160.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1978
Raw data (stat): 1966 (java) R 1965 20224 20223 0 -1 0 18088 0 1 0 113655 78 0 0 21 0 11 0 781592990 858873856 27324 4294967295 134512640 134569956 3221224368 3221214728 1131366654 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209686 27324 13086 16 0 209670 0
vsize: 838744
[startup+1170.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1978
Raw data (stat): 1966 (java) R 1965 20224 20223 0 -1 0 18088 0 1 0 114636 78 0 0 25 0 11 0 781592990 858873856 27378 4294967295 134512640 134569956 3221224368 3221214648 1131316477 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209686 27378 13086 16 0 209670 0
vsize: 838744
[startup+1180.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1978
Raw data (stat): 1966 (java) R 1965 20224 20223 0 -1 0 18088 0 1 0 115621 79 0 0 25 0 11 0 781592990 858873856 27405 4294967295 134512640 134569956 3221224368 3221214648 1131317517 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209686 27405 13086 16 0 209670 0
vsize: 838744
[startup+1190.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1978
Raw data (stat): 1966 (java) R 1965 20224 20223 0 -1 0 18088 0 1 0 116613 80 0 0 25 0 11 0 781592990 858873856 27501 4294967295 134512640 134569956 3221224368 3221214724 1131205024 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209686 27501 13086 16 0 209670 0
vsize: 838744
[startup+1200.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1978
Raw data (stat): 1966 (java) R 1965 20224 20223 0 -1 0 18088 0 1 0 117609 80 0 0 25 0 11 0 781592990 858873856 27502 4294967295 134512640 134569956 3221224368 3221214648 1131316521 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209686 27502 13086 16 0 209670 0
vsize: 838744
[startup+1210.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1978
Raw data (stat): 1966 (java) R 1965 20224 20223 0 -1 0 18088 0 1 0 118605 81 0 0 25 0 11 0 781592990 858873856 27502 4294967295 134512640 134569956 3221224368 3221214728 1131366188 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209686 27502 13086 16 0 209670 0
vsize: 838744
[startup+1220.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1978
Raw data (stat): 1966 (java) R 1965 20224 20223 0 -1 0 18088 0 1 0 119600 81 0 0 25 0 11 0 781592990 858873856 27502 4294967295 134512640 134569956 3221224368 3221214728 1131366177 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209686 27502 13086 16 0 209670 0
vsize: 838744
[startup+1230.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1978
Raw data (stat): 1966 (java) R 1965 20224 20223 0 -1 0 18088 0 1 0 120595 82 0 0 25 0 11 0 781592990 858873856 27503 4294967295 134512640 134569956 3221224368 3221214728 1131366259 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209686 27503 13086 16 0 209670 0
vsize: 838744
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1230.17 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 1980
Raw data (stat): 1966 (java) Z 1965 20224 20223 0 -1 1036 18088 13264 1 0 120599 87 3302 41 25 0 1 0 781592990 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): 1230.17
CPU time (s): 1240.31
CPU user time (s): 1239.02
CPU system time (s): 1.2918
CPU usage (%): 100.825
Max. virtual memory (Kb): 838744
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####