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/MIPLIB/miplib3/normalized-mps-v2-13-7-rout.opb
MD5SUM	43b060c182b659f22c02b8a980d1ee8f
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	1221280
Optimality of the best value was proved	NO
Number of terms in the objective function	21
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	2097151
Number of bits of the sum of numbers in the objective function	21
Biggest number in a constraint	33812000
Number of bits of the biggest number in a constraint	26
Biggest sum of numbers in a constraint	166074535
Number of bits of the biggest sum of numbers	28
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1569.48
Number of variables	5151
Total number of constraints	606
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	314
Number of constraints which are nor clauses,nor cardinality constraints	292
Minimum length of a constraint	1
Maximum length of a constraint	617
Trace number 30059

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.042
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:        697652 kB
Buffers:         33044 kB
Cached:         279208 kB
SwapCached:        412 kB
Active:          87388 kB
Inactive:       227128 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        697400 kB
SwapTotal:     2097136 kB
SwapFree:      2096036 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5692 kB
Slab:            16824 kB
Committed_AS:    63732 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 14:43:23 (client local time) WITH STATUS 143 IN 1248.49 SECONDS
stats: 21463 7 1248.49 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/wulflinc6/normalized-mps-v2-13-7-rout.opb
c reading problem ... done. Time 10.922 ms.
c #vars     5151
c #constraints  337
c starts	: 6
c conflicts	: 1338
c decisions	: 6607
c propagations	: 101587
c inspects	: 1279685
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 1338
c root simplifications	: 24
s UNKNOWN
c Total CPU time (ms) : 1249.193
#### 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.92 0.98 0.99 2/54 8033
Raw data (stat): 8033 (runsolver) R 8032 25568 25567 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 781342896 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.0006 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 8042
Raw data (stat): 8033 (java) S 8032 25568 25567 0 -1 0 18051 0 1 0 800 41 0 0 21 0 10 0 781342896 856379392 20288 4294967295 134512640 134569956 3221224384 3221213584 1073952481 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209077 20289 13086 16 0 209061 0
vsize: 836308
[startup+20.0017 s]
Raw data (loadavg): 1.16 1.03 1.01 4/64 8043
Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18161 0 1 0 1696 42 0 0 25 0 11 0 781342896 867778560 23359 4294967295 134512640 134569956 3221224384 3221214840 1130883229 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211860 23359 13086 16 0 211844 0
vsize: 847440
[startup+30.0018 s]
Raw data (loadavg): 1.13 1.03 1.01 2/64 8043
Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18162 0 1 0 2607 42 0 0 25 0 11 0 781342896 866324480 23180 4294967295 134512640 134569956 3221224384 3221214576 1131334841 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211505 23180 13086 16 0 211489 0
vsize: 846020
[startup+40.002 s]
Raw data (loadavg): 1.11 1.03 1.01 2/64 8043
Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18162 0 1 0 3507 42 0 0 24 0 11 0 781342896 864976896 23187 4294967295 134512640 134569956 3221224384 3221214576 1131334881 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211176 23187 13086 16 0 211160 0
vsize: 844704
[startup+50.003 s]
Raw data (loadavg): 1.10 1.03 1.01 2/64 8043
Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18163 0 1 0 4456 43 0 0 25 0 11 0 781342896 864976896 23743 4294967295 134512640 134569956 3221224384 3221214672 1131507239 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211176 23743 13086 16 0 211160 0
vsize: 844704
[startup+60.0037 s]
Raw data (loadavg): 1.08 1.03 1.01 2/64 8043
Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18163 0 1 0 5437 43 0 0 25 0 11 0 781342896 864976896 23795 4294967295 134512640 134569956 3221224384 3221214672 1131502134 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211176 23795 13086 16 0 211160 0
vsize: 844704
[startup+70.0044 s]
Raw data (loadavg): 1.07 1.03 1.01 2/64 8043
Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18163 0 1 0 6407 43 0 0 25 0 11 0 781342896 864976896 23811 4294967295 134512640 134569956 3221224384 3221214672 1131497579 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211176 23811 13086 16 0 211160 0
vsize: 844704
[startup+80.0055 s]
Raw data (loadavg): 1.06 1.02 1.00 2/64 8043
Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18163 0 1 0 7387 43 0 0 25 0 11 0 781342896 864976896 23852 4294967295 134512640 134569956 3221224384 3221214584 1131192076 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211176 23852 13086 16 0 211160 0
vsize: 844704
[startup+90.0057 s]
Raw data (loadavg): 1.05 1.02 1.00 2/64 8043
Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18163 0 1 0 8368 44 0 0 25 0 11 0 781342896 864976896 23926 4294967295 134512640 134569956 3221224384 3221214672 1131501183 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211176 23926 13086 16 0 211160 0
vsize: 844704
[startup+100.006 s]
Raw data (loadavg): 1.04 1.02 1.00 2/64 8043
Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18164 0 1 0 9350 44 0 0 25 0 11 0 781342896 864976896 23975 4294967295 134512640 134569956 3221224384 3221214576 1131334881 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211176 23975 13086 16 0 211160 0
vsize: 844704
[startup+110.007 s]
Raw data (loadavg): 1.03 1.02 1.00 2/64 8043
Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18164 0 1 0 10331 44 0 0 25 0 11 0 781342896 864976896 24006 4294967295 134512640 134569956 3221224384 3221214576 1131335057 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211176 24006 13086 16 0 211160 0
vsize: 844704
[startup+120.008 s]
Raw data (loadavg): 1.03 1.02 1.00 2/64 8043
Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18164 0 1 0 11310 44 0 0 24 0 11 0 781342896 864976896 24068 4294967295 134512640 134569956 3221224384 3221214576 1131334841 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211176 24068 13086 16 0 211160 0
vsize: 844704
[startup+130.008 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 8043
Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18164 0 1 0 12293 44 0 0 25 0 11 0 781342896 864976896 24125 4294967295 134512640 134569956 3221224384 3221214760 1131190957 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211176 24125 13086 16 0 211160 0
vsize: 844704
[startup+140.008 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 8043
Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18164 0 1 0 13274 45 0 0 25 0 11 0 781342896 864976896 24149 4294967295 134512640 134569956 3221224384 3221214672 1131497519 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211176 24149 13086 16 0 211160 0
vsize: 844704
[startup+150.009 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 8043
Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18166 0 1 0 14227 45 0 0 25 0 11 0 781342896 864976896 24212 4294967295 134512640 134569956 3221224384 3221214576 1131335093 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211176 24212 13086 16 0 211160 0
vsize: 844704
[startup+160.009 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 8043
Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18166 0 1 0 15200 45 0 0 25 0 11 0 781342896 864976896 24242 4294967295 134512640 134569956 3221224384 3221214672 1131507272 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211176 24242 13086 16 0 211160 0
vsize: 844704
[startup+170.009 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 8043
Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18167 0 1 0 16176 45 0 0 25 0 11 0 781342896 864976896 24294 4294967295 134512640 134569956 3221224384 3221214536 1131331059 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211176 24294 13086 16 0 211160 0
vsize: 844704
[startup+180.009 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 8043
Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18167 0 1 0 17147 46 0 0 25 0 11 0 781342896 864976896 24422 4294967295 134512640 134569956 3221224384 3221214672 1131497512 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211176 24422 13086 16 0 211160 0
vsize: 844704
[startup+190.013 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 8043
Raw data (stat): 8033 (java) S 8032 25568 25567 0 -1 0 18167 0 1 0 18108 46 0 0 25 0 11 0 781342896 864976896 24427 4294967295 134512640 134569956 3221224384 3221213416 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211176 24427 13086 16 0 211160 0
vsize: 844704
[startup+200.013 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 8043
Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18167 0 1 0 19049 46 0 0 25 0 11 0 781342896 864976896 24471 4294967295 134512640 134569956 3221224384 3221214576 1131334881 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211176 24471 13086 16 0 211160 0
vsize: 844704
[startup+210.013 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 8043
Raw data (stat): 8033 (java) S 8032 25568 25567 0 -1 0 18167 0 1 0 19959 46 0 0 25 0 11 0 781342896 864976896 24630 4294967295 134512640 134569956 3221224384 3221213312 1073952481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211176 24630 13086 16 0 211160 0
vsize: 844704
[startup+220.015 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 8043
Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18167 0 1 0 20883 46 0 0 25 0 11 0 781342896 864976896 24932 4294967295 134512640 134569956 3221224384 3221214672 1131502112 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211176 24932 13086 16 0 211160 0
vsize: 844704
[startup+230.015 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 8043
Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18167 0 1 0 21840 46 0 0 25 0 11 0 781342896 864976896 25351 4294967295 134512640 134569956 3221224384 3221214672 1131499520 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211176 25351 13086 16 0 211160 0
vsize: 844704
[startup+240.015 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 8043
Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18167 0 1 0 22825 47 0 0 25 0 11 0 781342896 864976896 25506 4294967295 134512640 134569956 3221224384 3221214576 1131334799 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211176 25506 13086 16 0 211160 0
vsize: 844704
[startup+250.016 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 8043
Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18167 0 1 0 23796 47 0 0 25 0 11 0 781342896 864976896 25511 4294967295 134512640 134569956 3221224384 3221214672 1131500018 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211176 25511 13086 16 0 211160 0
vsize: 844704
[startup+260.017 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 8043
Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18167 0 1 0 24756 47 0 0 24 0 11 0 781342896 864976896 25525 4294967295 134512640 134569956 3221224384 3221214576 1131334881 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211176 25525 13086 16 0 211160 0
vsize: 844704
[startup+270.017 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 8043
Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18167 0 1 0 25722 47 0 0 25 0 11 0 781342896 864976896 25555 4294967295 134512640 134569956 3221224384 3221214576 1131335135 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211176 25555 13086 16 0 211160 0
vsize: 844704
[startup+280.018 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 8043
Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18167 0 1 0 26692 47 0 0 25 0 11 0 781342896 864976896 25782 4294967295 134512640 134569956 3221224384 3221214576 1131334881 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211176 25782 13086 16 0 211160 0
vsize: 844704
[startup+290.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8043
Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18167 0 1 0 27674 48 0 0 25 0 11 0 781342896 864976896 25867 4294967295 134512640 134569956 3221224384 3221214672 1131507206 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211176 25867 13086 16 0 211160 0
vsize: 844704
[startup+300.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8043
Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18167 0 1 0 28652 48 0 0 24 0 11 0 781342896 864976896 25905 4294967295 134512640 134569956 3221224384 3221214672 1131501140 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211176 25905 13086 16 0 211160 0
vsize: 844704
[startup+310.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8043
Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18167 0 1 0 29637 48 0 0 25 0 11 0 781342896 864976896 25951 4294967295 134512640 134569956 3221224384 3221214576 1131334733 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211176 25951 13086 16 0 211160 0
vsize: 844704
[startup+320.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8043
Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18167 0 1 0 30625 48 0 0 25 0 11 0 781342896 864976896 26006 4294967295 134512640 134569956 3221224384 3221214544 1131278062 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211176 26006 13086 16 0 211160 0
vsize: 844704
[startup+330.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8043
Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18167 0 1 0 31618 49 0 0 25 0 11 0 781342896 864976896 26009 4294967295 134512640 134569956 3221224384 3221214604 1130885147 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211176 26009 13086 16 0 211160 0
vsize: 844704
[startup+340.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8043
Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18167 0 1 0 32608 49 0 0 25 0 11 0 781342896 864976896 26013 4294967295 134512640 134569956 3221224384 3221214672 1131500724 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211176 26013 13086 16 0 211160 0
vsize: 844704
[startup+350.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8043
Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18167 0 1 0 33590 49 0 0 25 0 11 0 781342896 864976896 26020 4294967295 134512640 134569956 3221224384 3221214576 1131334881 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211176 26020 13086 16 0 211160 0
vsize: 844704
[startup+360.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8043
Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18167 0 1 0 34567 49 0 0 25 0 11 0 781342896 864976896 26044 4294967295 134512640 134569956 3221224384 3221214640 1131183342 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211176 26044 13086 16 0 211160 0
vsize: 844704
[startup+370.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8043
Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18167 0 1 0 35536 49 0 0 25 0 11 0 781342896 864976896 26061 4294967295 134512640 134569956 3221224384 3221214648 1131479264 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211176 26061 13086 16 0 211160 0
vsize: 844704
[startup+380.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8043
Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18167 0 1 0 36495 50 0 0 25 0 11 0 781342896 864976896 26123 4294967295 134512640 134569956 3221224384 3221214672 1131501140 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211176 26123 13086 16 0 211160 0
vsize: 844704
[startup+390.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8043
Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18167 0 1 0 37450 50 0 0 25 0 11 0 781342896 864976896 26220 4294967295 134512640 134569956 3221224384 3221214672 1131497331 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211176 26220 13086 16 0 211160 0
vsize: 844704
[startup+400.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8043
Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18167 0 1 0 38402 50 0 0 25 0 11 0 781342896 864976896 26324 4294967295 134512640 134569956 3221224384 3221214648 1131479271 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211176 26324 13086 16 0 211160 0
vsize: 844704
[startup+410.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8043
Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18167 0 1 0 39355 50 0 0 25 0 11 0 781342896 864976896 26485 4294967295 134512640 134569956 3221224384 3221214576 1131334939 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211176 26485 13086 16 0 211160 0
vsize: 844704
[startup+420.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8043
Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18167 0 1 0 40307 50 0 0 25 0 11 0 781342896 864976896 26669 4294967295 134512640 134569956 3221224384 3221214576 1131335742 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211176 26669 13086 16 0 211160 0
vsize: 844704
[startup+430.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8043
Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18167 0 1 0 41272 50 0 0 25 0 11 0 781342896 864976896 26857 4294967295 134512640 134569956 3221224384 3221214604 1130885175 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211176 26857 13086 16 0 211160 0
vsize: 844704
[startup+440.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8043
Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18167 0 1 0 42254 50 0 0 25 0 11 0 781342896 864976896 26987 4294967295 134512640 134569956 3221224384 3221214584 1131192058 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211176 26987 13086 16 0 211160 0
vsize: 844704
[startup+450.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8043
Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18167 0 1 0 43234 51 0 0 24 0 11 0 781342896 864976896 27011 4294967295 134512640 134569956 3221224384 3221214672 1131498709 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211176 27011 13086 16 0 211160 0
vsize: 844704
[startup+460.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8043
Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18167 0 1 0 44214 51 0 0 25 0 11 0 781342896 864976896 27023 4294967295 134512640 134569956 3221224384 3221214576 1131335615 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211176 27023 13086 16 0 211160 0
vsize: 844704
[startup+470.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8043
Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18167 0 1 0 45195 51 0 0 25 0 11 0 781342896 864976896 27082 4294967295 134512640 134569956 3221224384 3221214648 1131551569 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211176 27082 13086 16 0 211160 0
vsize: 844704
[startup+480.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8043
Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18167 0 1 0 46181 51 0 0 25 0 11 0 781342896 864976896 27132 4294967295 134512640 134569956 3221224384 3221214648 1131551472 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211176 27132 13086 16 0 211160 0
vsize: 844704
[startup+490.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8043
Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18167 0 1 0 47159 51 0 0 25 0 11 0 781342896 864976896 27140 4294967295 134512640 134569956 3221224384 3221214376 1076461257 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211176 27140 13086 16 0 211160 0
vsize: 844704
[startup+500.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8043
Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18167 0 1 0 48135 51 0 0 25 0 11 0 781342896 864976896 27149 4294967295 134512640 134569956 3221224384 3221214672 1131499645 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211176 27149 13086 16 0 211160 0
vsize: 844704
[startup+510.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8043
Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18167 0 1 0 49099 51 0 0 24 0 11 0 781342896 864976896 27196 4294967295 134512640 134569956 3221224384 3221214672 1131501140 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211176 27196 13086 16 0 211160 0
vsize: 844704
[startup+520.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8043
Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18167 0 1 0 50068 51 0 0 25 0 11 0 781342896 864976896 27299 4294967295 134512640 134569956 3221224384 3221214648 1131479271 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211176 27299 13086 16 0 211160 0
vsize: 844704
[startup+530.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8043
Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18167 0 1 0 51033 51 0 0 24 0 11 0 781342896 864976896 27414 4294967295 134512640 134569956 3221224384 3221214576 1131335726 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211176 27414 13086 16 0 211160 0
vsize: 844704
[startup+540.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8043
Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18167 0 1 0 52003 51 0 0 25 0 11 0 781342896 864976896 27505 4294967295 134512640 134569956 3221224384 3221214560 1131580936 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211176 27505 13086 16 0 211160 0
vsize: 844704
[startup+550.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8043
Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18167 0 1 0 52968 52 0 0 24 0 11 0 781342896 864976896 27617 4294967295 134512640 134569956 3221224384 3221214576 1131335554 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211176 27617 13086 16 0 211160 0
vsize: 844704
[startup+560.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8043
Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18167 0 1 0 53938 52 0 0 25 0 11 0 781342896 864976896 27702 4294967295 134512640 134569956 3221224384 3221214648 1131551305 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211176 27702 13086 16 0 211160 0
vsize: 844704
[startup+570.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8043
Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18167 0 1 0 54903 52 0 0 25 0 11 0 781342896 864976896 27814 4294967295 134512640 134569956 3221224384 3221214544 1131278102 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211176 27814 13086 16 0 211160 0
vsize: 844704
[startup+580.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8043
Raw data (stat): 8033 (java) S 8032 25568 25567 0 -1 0 18167 0 1 0 55869 52 0 0 25 0 11 0 781342896 864976896 27899 4294967295 134512640 134569956 3221224384 3221213416 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211176 27899 13086 16 0 211160 0
vsize: 844704
[startup+590.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8043
Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18167 0 1 0 56838 52 0 0 25 0 11 0 781342896 864976896 28004 4294967295 134512640 134569956 3221224384 3221214560 1131579291 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211176 28004 13086 16 0 211160 0
vsize: 844704
[startup+600.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8043
Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18167 0 1 0 57804 52 0 0 25 0 11 0 781342896 864976896 28100 4294967295 134512640 134569956 3221224384 3221214672 1131505220 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211176 28100 13086 16 0 211160 0
vsize: 844704
[startup+610.049 s]
Raw data (loadavg): 1.07 1.02 1.00 2/64 8043
Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18167 0 1 0 58770 52 0 0 24 0 11 0 781342896 864976896 28219 4294967295 134512640 134569956 3221224384 3221214396 1078128056 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211176 28219 13086 16 0 211160 0
vsize: 844704
[startup+620.05 s]
Raw data (loadavg): 1.06 1.02 1.00 2/64 8043
Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18167 0 1 0 59741 52 0 0 25 0 11 0 781342896 864976896 28295 4294967295 134512640 134569956 3221224384 3221214672 1131499983 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211176 28295 13086 16 0 211160 0
vsize: 844704
[startup+630.051 s]
Raw data (loadavg): 1.05 1.01 1.00 2/64 8043
Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18167 0 1 0 60706 53 0 0 24 0 11 0 781342896 864976896 28411 4294967295 134512640 134569956 3221224384 3221214672 1131500763 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211176 28411 13086 16 0 211160 0
vsize: 844704
[startup+640.052 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 8043
Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18167 0 1 0 61673 53 0 0 21 0 11 0 781342896 864976896 28501 4294967295 134512640 134569956 3221224384 3221214672 1131501129 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211176 28501 13086 16 0 211160 0
vsize: 844704
[startup+650.052 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 8043
Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18167 0 1 0 62640 54 0 0 21 0 11 0 781342896 864976896 28592 4294967295 134512640 134569956 3221224384 3221214544 1131278293 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211176 28592 13086 16 0 211160 0
vsize: 844704
[startup+660.054 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 8043
Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18167 0 1 0 63607 54 0 0 20 0 11 0 781342896 864976896 28698 4294967295 134512640 134569956 3221224384 3221214520 1131623962 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211176 28698 13086 16 0 211160 0
vsize: 844704
[startup+670.054 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 8043
Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18167 0 1 0 64574 54 0 0 19 0 11 0 781342896 864976896 28796 4294967295 134512640 134569956 3221224384 3221214604 1130885120 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211176 28796 13086 16 0 211160 0
vsize: 844704
[startup+680.055 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 8043
Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18167 0 1 0 65542 54 0 0 18 0 11 0 781342896 864976896 28892 4294967295 134512640 134569956 3221224384 3221214544 1131278100 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211176 28892 13086 16 0 211160 0
vsize: 844704
[startup+690.056 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 8043
Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18167 0 1 0 66508 54 0 0 20 0 11 0 781342896 864976896 28980 4294967295 134512640 134569956 3221224384 3221214560 1131578555 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211176 28980 13086 16 0 211160 0
vsize: 844704
[startup+700.057 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 8043
Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18167 0 1 0 67474 55 0 0 22 0 11 0 781342896 864976896 29073 4294967295 134512640 134569956 3221224384 3221214672 1131507206 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211176 29073 13086 16 0 211160 0
vsize: 844704
[startup+710.058 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 8043
Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18167 0 1 0 68437 55 0 0 20 0 11 0 781342896 864976896 29208 4294967295 134512640 134569956 3221224384 3221214584 1131193116 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211176 29208 13086 16 0 211160 0
vsize: 844704
[startup+720.059 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 8043
Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18167 0 1 0 69406 55 0 0 22 0 11 0 781342896 864976896 29326 4294967295 134512640 134569956 3221224384 3221214672 1131499638 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211176 29326 13086 16 0 211160 0
vsize: 844704
[startup+730.059 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 8043
Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18167 0 1 0 70384 56 0 0 17 0 11 0 781342896 864976896 29410 4294967295 134512640 134569956 3221224384 3221214576 1131334881 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211176 29410 13086 16 0 211160 0
vsize: 844704
[startup+740.059 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 8043
Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18167 0 1 0 71368 57 0 0 21 0 11 0 781342896 864976896 29442 4294967295 134512640 134569956 3221224384 3221214576 1131334790 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211176 29442 13086 16 0 211160 0
vsize: 844704
[startup+750.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8043
Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18167 0 1 0 72351 57 0 0 22 0 11 0 781342896 864976896 29464 4294967295 134512640 134569956 3221224384 3221214672 1131501140 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211176 29464 13086 16 0 211160 0
vsize: 844704
[startup+760.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8043
Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18167 0 1 0 73336 58 0 0 23 0 11 0 781342896 864976896 29503 4294967295 134512640 134569956 3221224384 3221214416 1131661169 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211176 29503 13086 16 0 211160 0
vsize: 844704
[startup+770.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8043
Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18167 0 1 0 74318 58 0 0 25 0 11 0 781342896 864976896 29512 4294967295 134512640 134569956 3221224384 3221214576 1131335018 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211176 29512 13086 16 0 211160 0
vsize: 844704
[startup+780.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8043
Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18167 0 1 0 75289 58 0 0 19 0 11 0 781342896 864976896 29529 4294967295 134512640 134569956 3221224384 3221214648 1131236769 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211176 29529 13086 16 0 211160 0
vsize: 844704
[startup+790.064 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8043
Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18167 0 1 0 76253 59 0 0 22 0 11 0 781342896 864976896 29553 4294967295 134512640 134569956 3221224384 3221214544 1131278102 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211176 29553 13086 16 0 211160 0
vsize: 844704
[startup+800.065 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8043
Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18167 0 1 0 77214 59 0 0 18 0 11 0 781342896 864976896 29655 4294967295 134512640 134569956 3221224384 3221214560 1131578606 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211176 29655 13086 16 0 211160 0
vsize: 844704
[startup+810.065 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8043
Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18167 0 1 0 78180 59 0 0 25 0 11 0 781342896 864976896 29733 4294967295 134512640 134569956 3221224384 3221214576 1131335049 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211176 29733 13086 16 0 211160 0
vsize: 844704
[startup+820.066 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8043
Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18167 0 1 0 79143 60 0 0 21 0 11 0 781342896 864976896 29843 4294967295 134512640 134569956 3221224384 3221214576 1131335006 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211176 29843 13086 16 0 211160 0
vsize: 844704
[startup+830.067 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8043
Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18167 0 1 0 80109 60 0 0 18 0 11 0 781342896 864976896 29950 4294967295 134512640 134569956 3221224384 3221214544 1131278821 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211176 29950 13086 16 0 211160 0
vsize: 844704
[startup+840.067 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8043
Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18167 0 1 0 81079 60 0 0 25 0 11 0 781342896 864976896 30033 4294967295 134512640 134569956 3221224384 3221214672 1131498541 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211176 30033 13086 16 0 211160 0
vsize: 844704
[startup+850.069 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8043
Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18167 0 1 0 82046 61 0 0 20 0 11 0 781342896 864976896 30116 4294967295 134512640 134569956 3221224384 3221214604 1130885169 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211176 30116 13086 16 0 211160 0
vsize: 844704
[startup+860.073 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8043
Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18167 0 1 0 83013 61 0 0 16 0 11 0 781342896 864976896 30214 4294967295 134512640 134569956 3221224384 3221214560 1131578897 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211176 30214 13086 16 0 211160 0
vsize: 844704
[startup+870.074 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8043
Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18167 0 1 0 83984 62 0 0 24 0 11 0 781342896 864976896 30290 4294967295 134512640 134569956 3221224384 3221214576 1131334881 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211176 30290 13086 16 0 211160 0
vsize: 844704
[startup+880.074 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8043
Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18167 0 1 0 84951 63 0 0 21 0 11 0 781342896 864976896 30394 4294967295 134512640 134569956 3221224384 3221214576 1131335469 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211176 30394 13086 16 0 211160 0
vsize: 844704
[startup+890.075 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8043
Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18167 0 1 0 85919 63 0 0 19 0 11 0 781342896 864976896 30477 4294967295 134512640 134569956 3221224384 3221214668 1131335767 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211176 30477 13086 16 0 211160 0
vsize: 844704
[startup+900.077 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8043
Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18167 0 1 0 86890 63 0 0 25 0 11 0 781342896 864976896 30559 4294967295 134512640 134569956 3221224384 3221214576 1131335449 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211176 30559 13086 16 0 211160 0
vsize: 844704
[startup+910.078 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8043
Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18167 0 1 0 87857 63 0 0 23 0 11 0 781342896 864976896 30642 4294967295 134512640 134569956 3221224384 3221214672 1131501179 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211176 30642 13086 16 0 211160 0
vsize: 844704
[startup+920.079 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8043
Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18167 0 1 0 88823 64 0 0 19 0 11 0 781342896 864976896 30731 4294967295 134512640 134569956 3221224384 3221214576 1131335710 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211176 30731 13086 16 0 211160 0
vsize: 844704
[startup+930.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8043
Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18167 0 1 0 89790 64 0 0 16 0 11 0 781342896 864976896 30818 4294967295 134512640 134569956 3221224384 3221214576 1131334841 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211176 30818 13086 16 0 211160 0
vsize: 844704
[startup+940.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8043
Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18167 0 1 0 90760 64 0 0 25 0 11 0 781342896 864976896 30894 4294967295 134512640 134569956 3221224384 3221214560 1131578555 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211176 30894 13086 16 0 211160 0
vsize: 844704
[startup+950.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8043
Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18167 0 1 0 91727 65 0 0 22 0 11 0 781342896 864976896 30990 4294967295 134512640 134569956 3221224384 3221214576 1131335077 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211176 30990 13086 16 0 211160 0
vsize: 844704
[startup+960.082 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8043
Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18167 0 1 0 92694 65 0 0 25 0 11 0 781342896 864976896 31085 4294967295 134512640 134569956 3221224384 3221214672 1131497512 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211176 31085 13086 16 0 211160 0
vsize: 844704
[startup+970.082 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8043
Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18167 0 1 0 93661 66 0 0 18 0 11 0 781342896 864976896 31172 4294967295 134512640 134569956 3221224384 3221214672 1131500008 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211176 31172 13086 16 0 211160 0
vsize: 844704
[startup+980.083 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8043
Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18167 0 1 0 94629 66 0 0 17 0 11 0 781342896 864976896 31256 4294967295 134512640 134569956 3221224384 3221214560 1131580109 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211176 31256 13086 16 0 211160 0
vsize: 844704
[startup+990.084 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8043
Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18167 0 1 0 95601 67 0 0 23 0 11 0 781342896 864976896 31328 4294967295 134512640 134569956 3221224384 3221214576 1131335791 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211176 31328 13086 16 0 211160 0
vsize: 844704
[startup+1000.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8043
Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18167 0 1 0 96570 67 0 0 24 0 11 0 781342896 864976896 31418 4294967295 134512640 134569956 3221224384 3221214648 1131479271 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211176 31418 13086 16 0 211160 0
vsize: 844704
[startup+1010.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8043
Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18167 0 1 0 97538 67 0 0 21 0 11 0 781342896 864976896 31494 4294967295 134512640 134569956 3221224384 3221214576 1131334793 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211176 31494 13086 16 0 211160 0
vsize: 844704
[startup+1020.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8043
Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18167 0 1 0 98506 67 0 0 20 0 11 0 781342896 864976896 31583 4294967295 134512640 134569956 3221224384 3221214604 1130885147 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211176 31583 13086 16 0 211160 0
vsize: 844704
[startup+1030.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8043
Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18167 0 1 0 99474 68 0 0 18 0 11 0 781342896 864976896 31665 4294967295 134512640 134569956 3221224384 3221214672 1131499512 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211176 31665 13086 16 0 211160 0
vsize: 844704
[startup+1040.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8043
Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18167 0 1 0 100442 68 0 0 25 0 11 0 781342896 864976896 31742 4294967295 134512640 134569956 3221224384 3221214672 1131501238 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211176 31742 13086 16 0 211160 0
vsize: 844704
[startup+1050.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8043
Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18167 0 1 0 101410 68 0 0 25 0 11 0 781342896 864976896 31817 4294967295 134512640 134569956 3221224384 3221214576 1131334881 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211176 31817 13086 16 0 211160 0
vsize: 844704
[startup+1060.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8043
Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18167 0 1 0 102379 68 0 0 17 0 11 0 781342896 864976896 31913 4294967295 134512640 134569956 3221224384 3221214644 1131277779 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211176 31913 13086 16 0 211160 0
vsize: 844704
[startup+1070.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8043
Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18167 0 1 0 103346 69 0 0 17 0 11 0 781342896 864976896 31996 4294967295 134512640 134569956 3221224384 3221214544 1131278129 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211176 31996 13086 16 0 211160 0
vsize: 844704
[startup+1080.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8043
Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18167 0 1 0 104318 69 0 0 25 0 11 0 781342896 864976896 32059 4294967295 134512640 134569956 3221224384 3221214848 1131190425 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211176 32059 13086 16 0 211160 0
vsize: 844704
[startup+1090.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8043
Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18167 0 1 0 105286 69 0 0 24 0 11 0 781342896 864976896 32150 4294967295 134512640 134569956 3221224384 3221214576 1131334740 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211176 32150 13086 16 0 211160 0
vsize: 844704
[startup+1100.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8043
Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18167 0 1 0 106254 70 0 0 24 0 11 0 781342896 864976896 32230 4294967295 134512640 134569956 3221224384 3221214424 1078033246 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211176 32230 13086 16 0 211160 0
vsize: 844704
[startup+1110.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8043
Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18167 0 1 0 107222 70 0 0 25 0 11 0 781342896 864976896 32313 4294967295 134512640 134569956 3221224384 3221214576 1131335018 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211176 32313 13086 16 0 211160 0
vsize: 844704
[startup+1120.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8043
Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18167 0 1 0 108190 71 0 0 22 0 11 0 781342896 864976896 32384 4294967295 134512640 134569956 3221224384 3221214672 1131498769 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211176 32384 13086 16 0 211160 0
vsize: 844704
[startup+1130.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8043
Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18167 0 1 0 109158 71 0 0 25 0 11 0 781342896 864976896 32474 4294967295 134512640 134569956 3221224384 3221214672 1131498679 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211176 32474 13086 16 0 211160 0
vsize: 844704
[startup+1140.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8043
Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18167 0 1 0 110126 71 0 0 25 0 11 0 781342896 864976896 32551 4294967295 134512640 134569956 3221224384 3221214576 1131334870 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211176 32551 13086 16 0 211160 0
vsize: 844704
[startup+1150.1 s]
Raw data (loadavg): 1.08 1.02 1.01 2/64 8043
Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18167 0 1 0 111095 71 0 0 25 0 11 0 781342896 864976896 32636 4294967295 134512640 134569956 3221224384 3221214648 1131551569 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211176 32636 13086 16 0 211160 0
vsize: 844704
[startup+1160.1 s]
Raw data (loadavg): 1.14 1.03 1.01 2/64 8043
Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18167 0 1 0 112062 71 0 0 24 0 11 0 781342896 864976896 32713 4294967295 134512640 134569956 3221224384 3221214672 1131507272 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211176 32713 13086 16 0 211160 0
vsize: 844704
[startup+1170.1 s]
Raw data (loadavg): 1.12 1.03 1.01 2/64 8043
Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18167 0 1 0 113027 72 0 0 25 0 11 0 781342896 864976896 32791 4294967295 134512640 134569956 3221224384 3221214672 1131500018 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211176 32791 13086 16 0 211160 0
vsize: 844704
[startup+1180.1 s]
Raw data (loadavg): 1.10 1.03 1.01 2/64 8043
Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18167 0 1 0 113994 72 0 0 25 0 11 0 781342896 864976896 32895 4294967295 134512640 134569956 3221224384 3221214576 1131334881 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211176 32895 13086 16 0 211160 0
vsize: 844704
[startup+1190.1 s]
Raw data (loadavg): 1.08 1.03 1.01 2/64 8043
Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18167 0 1 0 114970 72 0 0 25 0 11 0 781342896 864976896 32981 4294967295 134512640 134569956 3221224384 3221214672 1131498701 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211176 32981 13086 16 0 211160 0
vsize: 844704
[startup+1200.1 s]
Raw data (loadavg): 1.07 1.03 1.01 2/64 8043
Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18167 0 1 0 115949 72 0 0 25 0 11 0 781342896 864976896 33021 4294967295 134512640 134569956 3221224384 3221214668 1131334720 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211176 33021 13086 16 0 211160 0
vsize: 844704
[startup+1210.1 s]
Raw data (loadavg): 1.06 1.03 1.00 2/64 8043
Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18167 0 1 0 116925 72 0 0 25 0 11 0 781342896 864976896 33046 4294967295 134512640 134569956 3221224384 3221214576 1131335006 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211176 33046 13086 16 0 211160 0
vsize: 844704
[startup+1220.1 s]
Raw data (loadavg): 1.05 1.02 1.00 2/64 8043
Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18167 0 1 0 117903 72 0 0 25 0 11 0 781342896 864976896 33072 4294967295 134512640 134569956 3221224384 3221214736 1131190420 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211176 33072 13086 16 0 211160 0
vsize: 844704
[startup+1230.1 s]
Raw data (loadavg): 1.04 1.02 1.00 2/64 8043
Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18167 0 1 0 118880 72 0 0 25 0 11 0 781342896 864976896 33119 4294967295 134512640 134569956 3221224384 3221214672 1131502073 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211176 33119 13086 16 0 211160 0
vsize: 844704
[startup+1240.1 s]
Raw data (loadavg): 1.04 1.02 1.00 2/64 8043
Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18167 0 1 0 119860 73 0 0 25 0 11 0 781342896 864976896 33150 4294967295 134512640 134569956 3221224384 3221214672 1131502173 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211176 33150 13086 16 0 211160 0
vsize: 844704
[startup+1250.1 s]
Raw data (loadavg): 1.03 1.02 1.00 2/64 8043
Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18167 0 1 0 120839 73 0 0 25 0 11 0 781342896 864976896 33164 4294967295 134512640 134569956 3221224384 3221214672 1131498735 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211176 33164 13086 16 0 211160 0
vsize: 844704
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1250.23 s]
Raw data (loadavg): 1.03 1.02 1.00 1/54 8045
Raw data (stat): 8033 (java) Z 8032 25568 25567 0 -1 1036 18167 12108 1 0 120843 73 3891 39 17 0 1 0 781342896 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): 1250.23
CPU time (s): 1248.49
CPU user time (s): 1247.36
CPU system time (s): 1.13283
CPU usage (%): 99.8605
Max. virtual memory (Kb): 847440
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####