Some explanations

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

General information on the benchmark

Namenormalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-par32-5.opb
MD5SUM9b244c88702eddacf15d45f12fda5eb0
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
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 6352
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 6352
Number of bits of the sum of numbers in the objective function 13
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 6352
Number of bits of the biggest sum of numbers13
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables6352
Total number of constraints13501
Number of constraints which are clauses13501
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint3

Trace number 4396

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.177
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:        925416 kB
Buffers:         32756 kB
Cached:          40636 kB
SwapCached:        320 kB
Active:          43368 kB
Inactive:        33148 kB
HighTotal:      131008 kB
HighFree:        86408 kB
LowTotal:       903652 kB
LowFree:        839008 kB
SwapTotal:     2097892 kB
SwapFree:      2097572 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6936 kB
Slab:            27204 kB
Committed_AS:    63704 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-13 17:17:27 (client local time) WITH STATUS 143 IN  SECONDS
stats: 1908 7  143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc18/normalized-par32-5.opb
c reading problem 
c [nbvar=6352]
c [nbconstr=13501]
c time 20.123
c #vars     6352
c #clauses  13501
c starts	: 0
c conflicts	: 0
c decisions	: 0
c propagations	: 0
c inspects	: 0
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 0
#### 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.84 0.94 0.90 2/55 20985
Raw data (stat): 20985 (runsolver) R 20984 20024 20023 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 477557162 1052672 99 4294967295 134512640 135381576 3221224448 3221219696 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0003 s]
Raw data (loadavg): 0.87 0.94 0.90 2/64 20994
Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 17967 0 1 0 886 48 0 0 25 0 10 0 477557162 855019520 19206 4294967295 134512640 134569956 3221224416 3221214488 1076461336 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208745 19206 13073 16 0 208729 0
vsize: 834980
[startup+20.0008 s]
Raw data (loadavg): 0.97 0.96 0.91 2/64 20994
Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 17974 0 1 0 1727 49 0 0 25 0 10 0 477557162 857153536 19925 4294967295 134512640 134569956 3221224416 3221214648 1131231501 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209266 19925 13073 16 0 209250 0
vsize: 837064
[startup+30.0006 s]
Raw data (loadavg): 1.12 1.00 0.92 2/65 20995
Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 18054 0 1 0 2636 49 0 0 25 0 11 0 477557162 860037120 21685 4294967295 134512640 134569956 3221224416 3221214760 1131435835 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209970 21685 13073 16 0 209954 0
vsize: 839880
[startup+40.002 s]
Raw data (loadavg): 1.10 1.00 0.92 2/65 20995
Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 18054 0 1 0 3636 49 0 0 25 0 11 0 477557162 859123712 21496 4294967295 134512640 134569956 3221224416 3221214760 1131435817 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209747 21496 13073 16 0 209731 0
vsize: 838988
[startup+50.0024 s]
Raw data (loadavg): 1.09 1.00 0.92 2/65 20995
Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 18054 0 1 0 4610 50 0 0 25 0 11 0 477557162 859123712 22971 4294967295 134512640 134569956 3221224416 3221213816 1073943903 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209747 22971 13073 16 0 209731 0
vsize: 838988
[startup+60.0025 s]
Raw data (loadavg): 1.07 1.00 0.92 3/65 20995
Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 18054 0 1 0 5605 50 0 0 25 0 11 0 477557162 859451392 23026 4294967295 134512640 134569956 3221224416 3221214664 1131198019 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209827 23026 13073 16 0 209811 0
vsize: 839308
[startup+70.0075 s]
Raw data (loadavg): 1.06 1.00 0.92 2/65 20995
Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 18054 0 1 0 6606 50 0 0 25 0 11 0 477557162 859123712 22981 4294967295 134512640 134569956 3221224416 3221214872 1131398546 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209747 22981 13073 16 0 209731 0
vsize: 838988
[startup+80.0071 s]
Raw data (loadavg): 1.13 1.01 0.92 2/65 20995
Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 18054 0 1 0 7598 50 0 0 25 0 11 0 477557162 859123712 22982 4294967295 134512640 134569956 3221224416 3221214872 1131398360 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209747 22982 13073 16 0 209731 0
vsize: 838988
[startup+90.0072 s]
Raw data (loadavg): 1.11 1.01 0.92 2/65 20995
Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 18054 0 1 0 8593 50 0 0 25 0 11 0 477557162 859123712 22982 4294967295 134512640 134569956 3221224416 3221214872 1131398055 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209747 22982 13073 16 0 209731 0
vsize: 838988
[startup+100.008 s]
Raw data (loadavg): 1.09 1.01 0.92 2/65 20995
Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 18054 0 1 0 9587 50 0 0 25 0 11 0 477557162 859123712 22982 4294967295 134512640 134569956 3221224416 3221214760 1131435839 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209747 22982 13073 16 0 209731 0
vsize: 838988
[startup+110.008 s]
Raw data (loadavg): 1.08 1.01 0.92 2/65 20995
Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 18054 0 1 0 10586 51 0 0 25 0 11 0 477557162 859123712 22982 4294967295 134512640 134569956 3221224416 3221214872 1131398519 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209747 22982 13073 16 0 209731 0
vsize: 838988
[startup+120.009 s]
Raw data (loadavg): 1.06 1.01 0.92 2/65 20995
Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 18054 0 1 0 11581 51 0 0 25 0 11 0 477557162 859123712 22982 4294967295 134512640 134569956 3221224416 3221214872 1131398242 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209747 22982 13073 16 0 209731 0
vsize: 838988
[startup+130.009 s]
Raw data (loadavg): 1.05 1.01 0.92 2/65 20995
Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 18054 0 1 0 12576 51 0 0 25 0 11 0 477557162 859123712 22982 4294967295 134512640 134569956 3221224416 3221214872 1131398052 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209747 22982 13073 16 0 209731 0
vsize: 838988
[startup+140.01 s]
Raw data (loadavg): 1.20 1.04 0.93 2/65 20995
Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 18054 0 1 0 13575 51 0 0 25 0 11 0 477557162 859123712 22982 4294967295 134512640 134569956 3221224416 3221214720 1131568587 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209747 22982 13073 16 0 209731 0
vsize: 838988
[startup+150.01 s]
Raw data (loadavg): 1.17 1.04 0.93 2/65 20995
Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 18055 0 1 0 14570 51 0 0 25 0 11 0 477557162 859123712 22983 4294967295 134512640 134569956 3221224416 3221214872 1131398372 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209747 22983 13073 16 0 209731 0
vsize: 838988
[startup+160.01 s]
Raw data (loadavg): 1.14 1.03 0.93 2/65 20995
Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 18055 0 1 0 15564 51 0 0 25 0 11 0 477557162 859123712 22983 4294967295 134512640 134569956 3221224416 3221214872 1131398265 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209747 22983 13073 16 0 209731 0
vsize: 838988
[startup+170.013 s]
Raw data (loadavg): 1.19 1.05 0.94 3/66 20996
Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 18055 0 1 0 16553 55 0 0 25 0 11 0 477557162 859123712 22983 4294967295 134512640 134569956 3221224416 3221214872 1131398255 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209747 22983 13073 16 0 209731 0
vsize: 838988
[startup+180.014 s]
Raw data (loadavg): 1.24 1.06 0.94 2/65 21048
Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 18055 0 1 0 17553 55 0 0 25 0 11 0 477557162 859123712 22983 4294967295 134512640 134569956 3221224416 3221214872 1131398532 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209747 22983 13073 16 0 209731 0
vsize: 838988
[startup+190.014 s]
Raw data (loadavg): 1.20 1.06 0.94 2/65 21048
Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 18055 0 1 0 18545 55 0 0 25 0 11 0 477557162 859123712 23029 4294967295 134512640 134569956 3221224416 3221214872 1131398242 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209747 23029 13073 16 0 209731 0
vsize: 838988
[startup+200.014 s]
Raw data (loadavg): 1.17 1.06 0.94 2/65 21048
Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 18055 0 1 0 19537 55 0 0 25 0 11 0 477557162 859123712 23029 4294967295 134512640 134569956 3221224416 3221214872 1131398356 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209747 23029 13073 16 0 209731 0
vsize: 838988
[startup+210.015 s]
Raw data (loadavg): 1.14 1.06 0.94 2/65 21048
Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 18055 0 1 0 20529 55 0 0 24 0 11 0 477557162 859123712 23148 4294967295 134512640 134569956 3221224416 3221214760 1131434979 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209747 23148 13073 16 0 209731 0
vsize: 838988
[startup+220.016 s]
Raw data (loadavg): 1.12 1.05 0.94 2/65 21048
Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 18055 0 1 0 21528 55 0 0 25 0 11 0 477557162 859123712 23148 4294967295 134512640 134569956 3221224416 3221214872 1131398062 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209747 23148 13073 16 0 209731 0
vsize: 838988
[startup+230.016 s]
Raw data (loadavg): 1.10 1.05 0.94 2/65 21048
Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 18055 0 1 0 22520 55 0 0 25 0 11 0 477557162 859123712 23148 4294967295 134512640 134569956 3221224416 3221214760 1131434979 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209747 23148 13073 16 0 209731 0
vsize: 838988
[startup+240.016 s]
Raw data (loadavg): 1.08 1.05 0.94 2/65 21050
Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 18055 0 1 0 23511 55 0 0 25 0 11 0 477557162 859123712 23243 4294967295 134512640 134569956 3221224416 3221214872 1131398048 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209747 23243 13073 16 0 209731 0
vsize: 838988
[startup+250.016 s]
Raw data (loadavg): 1.07 1.05 0.94 2/65 21050
Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 18055 0 1 0 24510 56 0 0 25 0 11 0 477557162 859123712 23243 4294967295 134512640 134569956 3221224416 3221214872 1131398519 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209747 23243 13073 16 0 209731 0
vsize: 838988
[startup+260.016 s]
Raw data (loadavg): 1.06 1.05 0.94 2/65 21050
Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 18055 0 1 0 25500 56 0 0 25 0 11 0 477557162 859123712 23243 4294967295 134512640 134569956 3221224416 3221214872 1131398055 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209747 23243 13073 16 0 209731 0
vsize: 838988
[startup+270.016 s]
Raw data (loadavg): 1.05 1.04 0.94 2/65 21050
Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 18055 0 1 0 26491 56 0 0 25 0 11 0 477557162 859123712 23304 4294967295 134512640 134569956 3221224416 3221214872 1131398048 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209747 23304 13073 16 0 209731 0
vsize: 838988
[startup+280.017 s]
Raw data (loadavg): 1.04 1.04 0.94 2/65 21052
Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 18055 0 1 0 27481 56 0 0 25 0 11 0 477557162 859123712 23304 4294967295 134512640 134569956 3221224416 3221214872 1131398336 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209747 23304 13073 16 0 209731 0
vsize: 838988
[startup+290.017 s]
Raw data (loadavg): 1.04 1.04 0.94 2/65 21052
Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 18055 0 1 0 28480 57 0 0 25 0 11 0 477557162 859123712 23304 4294967295 134512640 134569956 3221224416 3221214872 1131398532 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209747 23304 13073 16 0 209731 0
vsize: 838988
[startup+300.018 s]
Raw data (loadavg): 1.03 1.04 0.94 2/65 21052
Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 18055 0 1 0 29471 57 0 0 25 0 11 0 477557162 859123712 23389 4294967295 134512640 134569956 3221224416 3221214872 1131398044 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209747 23389 13073 16 0 209731 0
vsize: 838988
[startup+310.018 s]
Raw data (loadavg): 1.02 1.04 0.94 2/65 21052
Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 18055 0 1 0 30460 57 0 0 25 0 11 0 477557162 859123712 23425 4294967295 134512640 134569956 3221224416 3221214872 1131398032 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209747 23425 13073 16 0 209731 0
vsize: 838988
[startup+320.018 s]
Raw data (loadavg): 1.02 1.03 0.94 2/65 21052
Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 18055 0 1 0 31459 57 0 0 25 0 11 0 477557162 859123712 23425 4294967295 134512640 134569956 3221224416 3221214760 1131434943 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209747 23425 13073 16 0 209731 0
vsize: 838988
[startup+330.02 s]
Raw data (loadavg): 1.02 1.03 0.94 2/65 21052
Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 18055 0 1 0 32450 57 0 0 25 0 11 0 477557162 859123712 23512 4294967295 134512640 134569956 3221224416 3221214872 1131398259 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209747 23512 13073 16 0 209731 0
vsize: 838988
[startup+340.02 s]
Raw data (loadavg): 1.01 1.03 0.94 2/65 21052
Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 18055 0 1 0 33440 57 0 0 25 0 11 0 477557162 859123712 23566 4294967295 134512640 134569956 3221224416 3221214760 1131434983 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209747 23566 13073 16 0 209731 0
vsize: 838988
[startup+350.02 s]
Raw data (loadavg): 1.01 1.03 0.94 2/65 21052
Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 18055 0 1 0 34430 57 0 0 25 0 11 0 477557162 859123712 23643 4294967295 134512640 134569956 3221224416 3221214760 1131434968 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209747 23643 13073 16 0 209731 0
vsize: 838988
[startup+360.02 s]
Raw data (loadavg): 1.01 1.03 0.94 2/65 21052
Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 18055 0 1 0 35429 58 0 0 25 0 11 0 477557162 859123712 23643 4294967295 134512640 134569956 3221224416 3221214760 1131434947 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209747 23643 13073 16 0 209731 0
vsize: 838988
[startup+370.021 s]
Raw data (loadavg): 1.01 1.03 0.94 2/65 21052
Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 18055 0 1 0 36419 58 0 0 25 0 11 0 477557162 859123712 23744 4294967295 134512640 134569956 3221224416 3221214872 1131398367 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209747 23744 13073 16 0 209731 0
vsize: 838988
[startup+380.021 s]
Raw data (loadavg): 1.01 1.03 0.94 2/65 21052
Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 18055 0 1 0 37409 58 0 0 25 0 11 0 477557162 859123712 23846 4294967295 134512640 134569956 3221224416 3221214872 1131398532 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209747 23846 13073 16 0 209731 0
vsize: 838988
[startup+390.022 s]
Raw data (loadavg): 1.00 1.02 0.94 2/65 21052
Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 18055 0 1 0 38401 58 0 0 25 0 11 0 477557162 859123712 23980 4294967295 134512640 134569956 3221224416 3221214872 1131398532 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209747 23980 13073 16 0 209731 0
vsize: 838988
[startup+400.023 s]
Raw data (loadavg): 1.00 1.02 0.94 2/65 21052
Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 18055 0 1 0 39400 59 0 0 25 0 11 0 477557162 859123712 23980 4294967295 134512640 134569956 3221224416 3221214872 1131398360 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209747 23980 13073 16 0 209731 0
vsize: 838988
[startup+410.022 s]
Raw data (loadavg): 1.00 1.02 0.94 2/65 21052
Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 18055 0 1 0 40393 59 0 0 25 0 11 0 477557162 859123712 23980 4294967295 134512640 134569956 3221224416 3221214872 1131398360 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209747 23980 13073 16 0 209731 0
vsize: 838988
[startup+420.023 s]
Raw data (loadavg): 1.00 1.02 0.94 2/65 21052
Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 18055 0 1 0 41386 59 0 0 25 0 11 0 477557162 859123712 24013 4294967295 134512640 134569956 3221224416 3221214872 1131398052 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209747 24013 13073 16 0 209731 0
vsize: 838988
[startup+430.023 s]
Raw data (loadavg): 1.00 1.02 0.94 2/65 21052
Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 18055 0 1 0 42384 59 0 0 25 0 11 0 477557162 859123712 24013 4294967295 134512640 134569956 3221224416 3221214760 1131435926 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209747 24013 13073 16 0 209731 0
vsize: 838988
[startup+440.024 s]
Raw data (loadavg): 1.00 1.02 0.94 2/65 21052
Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 18055 0 1 0 43377 59 0 0 25 0 11 0 477557162 859123712 24107 4294967295 134512640 134569956 3221224416 3221214872 1131398356 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209747 24107 13073 16 0 209731 0
vsize: 838988
[startup+450.025 s]
Raw data (loadavg): 1.00 1.02 0.94 2/65 21052
Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 18055 0 1 0 44369 59 0 0 25 0 11 0 477557162 859123712 24107 4294967295 134512640 134569956 3221224416 3221214872 1131398255 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209747 24107 13073 16 0 209731 0
vsize: 838988
[startup+460.025 s]
Raw data (loadavg): 1.00 1.02 0.94 2/65 21052
Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 18055 0 1 0 45361 59 0 0 25 0 11 0 477557162 859123712 24208 4294967295 134512640 134569956 3221224416 3221214872 1131398372 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209747 24208 13073 16 0 209731 0
vsize: 838988
[startup+470.026 s]
Raw data (loadavg): 1.00 1.02 0.94 2/65 21052
Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 18055 0 1 0 46360 59 0 0 25 0 11 0 477557162 859123712 24208 4294967295 134512640 134569956 3221224416 3221214872 1131398055 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209747 24208 13073 16 0 209731 0
vsize: 838988
[startup+480.026 s]
Raw data (loadavg): 1.00 1.02 0.94 2/65 21052
Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 18055 0 1 0 47351 60 0 0 25 0 11 0 477557162 859123712 24208 4294967295 134512640 134569956 3221224416 3221214872 1131398044 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209747 24208 13073 16 0 209731 0
vsize: 838988
[startup+490.027 s]
Raw data (loadavg): 1.00 1.02 0.94 2/65 21052
Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 18055 0 1 0 48342 60 0 0 25 0 11 0 477557162 859123712 24315 4294967295 134512640 134569956 3221224416 3221214816 1131496139 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209747 24315 13073 16 0 209731 0
vsize: 838988
[startup+500.028 s]
Raw data (loadavg): 1.00 1.01 0.94 2/65 21052
Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 18055 0 1 0 49333 60 0 0 25 0 11 0 477557162 859123712 24385 4294967295 134512640 134569956 3221224416 3221214872 1131398534 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209747 24385 13073 16 0 209731 0
vsize: 838988
[startup+510.028 s]
Raw data (loadavg): 1.00 1.01 0.94 2/65 21052
Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 18055 0 1 0 50333 60 0 0 25 0 11 0 477557162 859123712 24385 4294967295 134512640 134569956 3221224416 3221214872 1131398536 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209747 24385 13073 16 0 209731 0
vsize: 838988
[startup+520.029 s]
Raw data (loadavg): 1.00 1.01 0.94 2/65 21052
Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 18055 0 1 0 51323 60 0 0 25 0 11 0 477557162 859123712 24487 4294967295 134512640 134569956 3221224416 3221214872 1131398372 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209747 24487 13073 16 0 209731 0
vsize: 838988
[startup+530.028 s]
Raw data (loadavg): 1.00 1.01 0.94 2/65 21054
Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 18055 0 1 0 52313 60 0 0 25 0 11 0 477557162 859123712 24569 4294967295 134512640 134569956 3221224416 3221214760 1131435839 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209747 24569 13073 16 0 209731 0
vsize: 838988
[startup+540.029 s]
Raw data (loadavg): 1.00 1.01 0.94 2/65 21054
Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 18055 0 1 0 53314 60 0 0 25 0 11 0 477557162 859123712 24569 4294967295 134512640 134569956 3221224416 3221214872 1131398546 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209747 24569 13073 16 0 209731 0
vsize: 838988
[startup+550.03 s]
Raw data (loadavg): 1.00 1.01 0.94 2/65 21054
Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 18055 0 1 0 54304 60 0 0 25 0 11 0 477557162 859123712 24665 4294967295 134512640 134569956 3221224416 3221214760 1131434925 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209747 24665 13073 16 0 209731 0
vsize: 838988
[startup+560.029 s]
Raw data (loadavg): 1.00 1.01 0.94 2/65 21054
Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 18055 0 1 0 55294 60 0 0 25 0 11 0 477557162 859123712 24665 4294967295 134512640 134569956 3221224416 3221214760 1131435817 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209747 24665 13073 16 0 209731 0
vsize: 838988
[startup+570.031 s]
Raw data (loadavg): 1.00 1.01 0.94 2/65 21054
Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 18055 0 1 0 56294 60 0 0 25 0 11 0 477557162 859123712 24665 4294967295 134512640 134569956 3221224416 3221214920 1131477096 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209747 24665 13073 16 0 209731 0
vsize: 838988
[startup+580.031 s]
Raw data (loadavg): 1.00 1.01 0.94 2/65 21056
Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 18055 0 1 0 57285 60 0 0 25 0 11 0 477557162 859123712 24707 4294967295 134512640 134569956 3221224416 3221214872 1131398536 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209747 24707 13073 16 0 209731 0
vsize: 838988
[startup+590.032 s]
Raw data (loadavg): 1.00 1.01 0.94 2/65 21056
Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 18055 0 1 0 58276 61 0 0 25 0 11 0 477557162 859123712 24753 4294967295 134512640 134569956 3221224416 3221214872 1131398534 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209747 24753 13073 16 0 209731 0
vsize: 838988
[startup+600.033 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 21056
Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 18055 0 1 0 59276 61 0 0 25 0 11 0 477557162 859123712 24753 4294967295 134512640 134569956 3221224416 3221214872 1131398532 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209747 24753 13073 16 0 209731 0
vsize: 838988
[startup+610.033 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 21056
Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 18055 0 1 0 60267 61 0 0 25 0 11 0 477557162 859123712 24786 4294967295 134512640 134569956 3221224416 3221214872 1131398532 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209747 24786 13073 16 0 209731 0
vsize: 838988
[startup+620.033 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 21056
Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 18055 0 1 0 61258 61 0 0 25 0 11 0 477557162 859123712 24867 4294967295 134512640 134569956 3221224416 3221214872 1131398048 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209747 24867 13073 16 0 209731 0
vsize: 838988
[startup+630.034 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 21056
Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 18055 0 1 0 62258 61 0 0 25 0 11 0 477557162 859123712 24867 4294967295 134512640 134569956 3221224416 3221214872 1131398372 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209747 24867 13073 16 0 209731 0
vsize: 838988
[startup+640.034 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 21056
Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 18055 0 1 0 63249 61 0 0 25 0 11 0 477557162 859123712 24924 4294967295 134512640 134569956 3221224416 3221214872 1131398259 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209747 24924 13073 16 0 209731 0
vsize: 838988
[startup+650.034 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 21056
Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 18055 0 1 0 64240 61 0 0 25 0 11 0 477557162 859123712 24972 4294967295 134512640 134569956 3221224416 3221214872 1131398259 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209747 24972 13073 16 0 209731 0
vsize: 838988
[startup+660.035 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 21056
Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 18055 0 1 0 65231 61 0 0 25 0 11 0 477557162 859123712 25026 4294967295 134512640 134569956 3221224416 3221214848 1131543675 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209747 25026 13073 16 0 209731 0
vsize: 838988
[startup+670.035 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 21056
Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 18055 0 1 0 66230 61 0 0 25 0 11 0 477557162 859123712 25026 4294967295 134512640 134569956 3221224416 3221214872 1131398048 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209747 25026 13073 16 0 209731 0
vsize: 838988
[startup+680.035 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 21056
Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 18055 0 1 0 67221 61 0 0 25 0 11 0 477557162 859123712 25120 4294967295 134512640 134569956 3221224416 3221214872 1131398336 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209747 25120 13073 16 0 209731 0
vsize: 838988
[startup+690.037 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 21056
Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 18055 0 1 0 68212 61 0 0 25 0 11 0 477557162 859123712 25239 4294967295 134512640 134569956 3221224416 3221214760 1131434979 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209747 25239 13073 16 0 209731 0
vsize: 838988
[startup+700.037 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 21056
Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 18055 0 1 0 69211 61 0 0 25 0 11 0 477557162 859123712 25239 4294967295 134512640 134569956 3221224416 3221214872 1131398532 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209747 25239 13073 16 0 209731 0
vsize: 838988
[startup+710.037 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 21056
Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 18055 0 1 0 70202 61 0 0 25 0 11 0 477557162 859123712 25340 4294967295 134512640 134569956 3221224416 3221214872 1131398259 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209747 25340 13073 16 0 209731 0
vsize: 838988
[startup+720.037 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 21056
Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 18055 0 1 0 71194 61 0 0 25 0 11 0 477557162 859123712 25449 4294967295 134512640 134569956 3221224416 3221214872 1131398372 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209747 25449 13073 16 0 209731 0
vsize: 838988
[startup+730.038 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 21056
Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 18055 0 1 0 72193 61 0 0 25 0 11 0 477557162 859123712 25449 4294967295 134512640 134569956 3221224416 3221214872 1131398048 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209747 25449 13073 16 0 209731 0
vsize: 838988
[startup+740.038 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 21056
Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 18055 0 1 0 73184 62 0 0 25 0 11 0 477557162 859123712 25572 4294967295 134512640 134569956 3221224416 3221214872 1131398058 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209747 25572 13073 16 0 209731 0
vsize: 838988
[startup+750.039 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 21056
Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 18055 0 1 0 74177 62 0 0 25 0 11 0 477557162 859123712 25572 4294967295 134512640 134569956 3221224416 3221214872 1131398519 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209747 25572 13073 16 0 209731 0
vsize: 838988
[startup+760.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 21056
Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 18055 0 1 0 75168 62 0 0 25 0 11 0 477557162 859123712 25665 4294967295 134512640 134569956 3221224416 3221214760 1131435817 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209747 25665 13073 16 0 209731 0
vsize: 838988
[startup+770.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 21056
Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 18055 0 1 0 76167 62 0 0 25 0 11 0 477557162 859123712 25665 4294967295 134512640 134569956 3221224416 3221214872 1131398356 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209747 25665 13073 16 0 209731 0
vsize: 838988
[startup+780.041 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 21056
Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 18055 0 1 0 77159 62 0 0 25 0 11 0 477557162 859123712 25665 4294967295 134512640 134569956 3221224416 3221214592 1131524480 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209747 25665 13073 16 0 209731 0
vsize: 838988
[startup+790.042 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 21056
Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 18055 0 1 0 78151 62 0 0 25 0 11 0 477557162 859123712 25740 4294967295 134512640 134569956 3221224416 3221214872 1131398536 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209747 25740 13073 16 0 209731 0
vsize: 838988
[startup+800.043 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 21056
Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 18055 0 1 0 79150 62 0 0 25 0 11 0 477557162 859123712 25740 4294967295 134512640 134569956 3221224416 3221214760 1131435835 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209747 25740 13073 16 0 209731 0
vsize: 838988
[startup+810.043 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 21056
Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 18055 0 1 0 80142 62 0 0 25 0 11 0 477557162 859123712 25917 4294967295 134512640 134569956 3221224416 3221214872 1131398032 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209747 25917 13073 16 0 209731 0
vsize: 838988
[startup+820.044 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 21056
Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 18055 0 1 0 81135 62 0 0 25 0 11 0 477557162 859123712 25917 4294967295 134512640 134569956 3221224416 3221214872 1131398519 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209747 25917 13073 16 0 209731 0
vsize: 838988
[startup+830.044 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 21056
Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 18055 0 1 0 82135 63 0 0 25 0 11 0 477557162 859123712 25917 4294967295 134512640 134569956 3221224416 3221214872 1131398255 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209747 25917 13073 16 0 209731 0
vsize: 838988
[startup+840.046 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 21056
Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 18055 0 1 0 83127 63 0 0 25 0 11 0 477557162 859123712 25917 4294967295 134512640 134569956 3221224416 3221214872 1131398255 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209747 25917 13073 16 0 209731 0
vsize: 838988
[startup+850.046 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 21056
Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 18055 0 1 0 84120 63 0 0 25 0 11 0 477557162 859123712 25993 4294967295 134512640 134569956 3221224416 3221214872 1131398032 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209747 25993 13073 16 0 209731 0
vsize: 838988
[startup+860.046 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 21056
Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 18055 0 1 0 85113 63 0 0 25 0 11 0 477557162 859123712 25993 4294967295 134512640 134569956 3221224416 3221214872 1131398048 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209747 25993 13073 16 0 209731 0
vsize: 838988
[startup+870.047 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 21056
Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 18055 0 1 0 86112 63 0 0 25 0 11 0 477557162 859123712 25993 4294967295 134512640 134569956 3221224416 3221214872 1131398058 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209747 25993 13073 16 0 209731 0
vsize: 838988
[startup+880.047 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 21058
Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 18055 0 1 0 87105 63 0 0 25 0 11 0 477557162 859123712 26060 4294967295 134512640 134569956 3221224416 3221214720 1131568464 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209747 26060 13073 16 0 209731 0
vsize: 838988
[startup+890.048 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 21058
Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 18055 0 1 0 88097 64 0 0 25 0 11 0 477557162 859123712 26135 4294967295 134512640 134569956 3221224416 3221214760 1131434976 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209747 26135 13073 16 0 209731 0
vsize: 838988
[startup+900.048 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 21058
Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 18055 0 1 0 89097 64 0 0 25 0 11 0 477557162 859123712 26135 4294967295 134512640 134569956 3221224416 3221214872 1131398536 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209747 26135 13073 16 0 209731 0
vsize: 838988
[startup+910.048 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 21058
Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 18055 0 1 0 90089 64 0 0 25 0 11 0 477557162 859123712 26191 4294967295 134512640 134569956 3221224416 3221214720 1131568587 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209747 26191 13073 16 0 209731 0
vsize: 838988
[startup+920.049 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 21058
Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 18055 0 1 0 91081 65 0 0 25 0 11 0 477557162 859123712 26304 4294967295 134512640 134569956 3221224416 3221214872 1131398344 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209747 26304 13073 16 0 209731 0
vsize: 838988
[startup+930.049 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 21058
Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 18055 0 1 0 92081 65 0 0 25 0 11 0 477557162 859123712 26304 4294967295 134512640 134569956 3221224416 3221214720 1131568595 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209747 26304 13073 16 0 209731 0
vsize: 838988
[startup+940.049 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 21058
Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 18055 0 1 0 93074 65 0 0 25 0 11 0 477557162 859123712 26343 4294967295 134512640 134569956 3221224416 3221214872 1131398356 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209747 26343 13073 16 0 209731 0
vsize: 838988
[startup+950.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 21058
Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 18055 0 1 0 94067 65 0 0 25 0 11 0 477557162 859123712 26396 4294967295 134512640 134569956 3221224416 3221214760 1131434979 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209747 26396 13073 16 0 209731 0
vsize: 838988
[startup+960.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 21058
Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 18055 0 1 0 95066 66 0 0 25 0 11 0 477557162 859123712 26396 4294967295 134512640 134569956 3221224416 3221214872 1131398534 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209747 26396 13073 16 0 209731 0
vsize: 838988
[startup+970.051 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 21058
Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 18055 0 1 0 96059 66 0 0 25 0 11 0 477557162 859123712 26518 4294967295 134512640 134569956 3221224416 3221214760 1131434929 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209747 26518 13073 16 0 209731 0
vsize: 838988
[startup+980.051 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 21058
Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 18055 0 1 0 97052 66 0 0 25 0 11 0 477557162 859123712 26518 4294967295 134512640 134569956 3221224416 3221214872 1131398546 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209747 26518 13073 16 0 209731 0
vsize: 838988
[startup+990.053 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 21058
Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 18055 0 1 0 98045 66 0 0 25 0 11 0 477557162 859123712 26650 4294967295 134512640 134569956 3221224416 3221214760 1131435831 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209747 26650 13073 16 0 209731 0
vsize: 838988
[startup+1000.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 21058
Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 18055 0 1 0 99045 66 0 0 25 0 11 0 477557162 859123712 26650 4294967295 134512640 134569956 3221224416 3221214872 1131398058 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209747 26650 13073 16 0 209731 0
vsize: 838988
[startup+1010.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 21058
Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 18055 0 1 0 100037 66 0 0 25 0 11 0 477557162 859123712 26736 4294967295 134512640 134569956 3221224416 3221214760 1131434947 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209747 26736 13073 16 0 209731 0
vsize: 838988
[startup+1020.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 21058
Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 18055 0 1 0 101030 66 0 0 25 0 11 0 477557162 859123712 26736 4294967295 134512640 134569956 3221224416 3221214872 1131398052 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209747 26736 13073 16 0 209731 0
vsize: 838988
[startup+1030.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 21058
Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 18055 0 1 0 102030 66 0 0 25 0 11 0 477557162 859123712 26736 4294967295 134512640 134569956 3221224416 3221214872 1131398372 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209747 26736 13073 16 0 209731 0
vsize: 838988
[startup+1040.05 s]
Raw data (loadavg): 1.08 1.02 0.95 2/65 21058
Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 18055 0 1 0 103022 66 0 0 25 0 11 0 477557162 859123712 26825 4294967295 134512640 134569956 3221224416 3221214760 1131434943 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209747 26825 13073 16 0 209731 0
vsize: 838988
[startup+1050.05 s]
Raw data (loadavg): 1.07 1.02 0.95 2/65 21058
Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 18055 0 1 0 104015 67 0 0 25 0 11 0 477557162 859123712 26973 4294967295 134512640 134569956 3221224416 3221214872 1131398532 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209747 26973 13073 16 0 209731 0
vsize: 838988
[startup+1060.06 s]
Raw data (loadavg): 1.06 1.01 0.95 2/65 21058
Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 18055 0 1 0 105014 67 0 0 25 0 11 0 477557162 859123712 26973 4294967295 134512640 134569956 3221224416 3221214872 1131398546 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209747 26973 13073 16 0 209731 0
vsize: 838988
[startup+1070.06 s]
Raw data (loadavg): 1.05 1.01 0.95 2/65 21058
Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 18055 0 1 0 106006 67 0 0 25 0 11 0 477557162 859123712 27080 4294967295 134512640 134569956 3221224416 3221214872 1131398052 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209747 27080 13073 16 0 209731 0
vsize: 838988
[startup+1080.06 s]
Raw data (loadavg): 1.04 1.01 0.95 2/65 21058
Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 18055 0 1 0 106999 67 0 0 25 0 11 0 477557162 859123712 27149 4294967295 134512640 134569956 3221224416 3221214760 1131434935 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209747 27149 13073 16 0 209731 0
vsize: 838988
[startup+1090.06 s]
Raw data (loadavg): 1.03 1.01 0.95 2/65 21058
Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 18055 0 1 0 107999 67 0 0 25 0 11 0 477557162 859123712 27149 4294967295 134512640 134569956 3221224416 3221214872 1131398360 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209747 27149 13073 16 0 209731 0
vsize: 838988
[startup+1100.06 s]
Raw data (loadavg): 1.03 1.01 0.95 2/65 21058
Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 18055 0 1 0 108991 67 0 0 25 0 11 0 477557162 859123712 27286 4294967295 134512640 134569956 3221224416 3221214760 1131435811 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209747 27286 13073 16 0 209731 0
vsize: 838988
[startup+1110.06 s]
Raw data (loadavg): 1.02 1.01 0.95 2/65 21058
Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 18055 0 1 0 109983 67 0 0 25 0 11 0 477557162 859123712 27436 4294967295 134512640 134569956 3221224416 3221214872 1131398536 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209747 27436 13073 16 0 209731 0
vsize: 838988
[startup+1120.06 s]
Raw data (loadavg): 1.02 1.01 0.95 2/65 21058
Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 18055 0 1 0 110977 67 0 0 25 0 11 0 477557162 859123712 27507 4294967295 134512640 134569956 3221224416 3221214760 1131434976 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209747 27507 13073 16 0 209731 0
vsize: 838988
[startup+1130.06 s]
Raw data (loadavg): 1.02 1.01 0.95 2/65 21058
Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 18055 0 1 0 111976 67 0 0 25 0 11 0 477557162 859123712 27507 4294967295 134512640 134569956 3221224416 3221214872 1131398532 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209747 27507 13073 16 0 209731 0
vsize: 838988
[startup+1140.06 s]
Raw data (loadavg): 1.01 1.01 0.95 2/65 21058
Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 18055 0 1 0 112969 68 0 0 25 0 11 0 477557162 859123712 27648 4294967295 134512640 134569956 3221224416 3221214872 1131398242 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209747 27648 13073 16 0 209731 0
vsize: 838988
[startup+1150.06 s]
Raw data (loadavg): 1.01 1.01 0.95 2/65 21058
Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 18055 0 1 0 113961 68 0 0 25 0 11 0 477557162 859123712 27676 4294967295 134512640 134569956 3221224416 3221214872 1131398048 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209747 27676 13073 16 0 209731 0
vsize: 838988
[startup+1160.06 s]
Raw data (loadavg): 1.01 1.00 0.95 2/65 21058
Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 18055 0 1 0 114961 68 0 0 25 0 11 0 477557162 859123712 27676 4294967295 134512640 134569956 3221224416 3221214872 1131398356 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209747 27676 13073 16 0 209731 0
vsize: 838988
[startup+1170.06 s]
Raw data (loadavg): 1.01 1.00 0.95 2/65 21058
Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 18055 0 1 0 115953 68 0 0 25 0 11 0 477557162 859123712 27878 4294967295 134512640 134569956 3221224416 3221214760 1131435905 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209747 27878 13073 16 0 209731 0
vsize: 838988
[startup+1180.06 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 21060
Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 18055 0 1 0 116946 69 0 0 25 0 11 0 477557162 859123712 27878 4294967295 134512640 134569956 3221224416 3221214872 1131398062 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209747 27878 13073 16 0 209731 0
vsize: 838988
[startup+1190.06 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 21060
Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 18055 0 1 0 117939 69 0 0 25 0 11 0 477557162 859123712 27993 4294967295 134512640 134569956 3221224416 3221214872 1131398546 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209747 27993 13073 16 0 209731 0
vsize: 838988
[startup+1200.06 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 21060
Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 18055 0 1 0 118939 69 0 0 25 0 11 0 477557162 859123712 27993 4294967295 134512640 134569956 3221224416 3221214872 1131398352 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209747 27993 13073 16 0 209731 0
vsize: 838988
[startup+1210.06 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 21060
Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 18055 0 1 0 119932 70 0 0 25 0 11 0 477557162 859123712 27993 4294967295 134512640 134569956 3221224416 3221214696 1131555127 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209747 27993 13073 16 0 209731 0
vsize: 838988
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1210.15 s]
Raw data (loadavg): 1.00 1.00 0.95 1/55 21062
Raw data (stat): 20985 (java) Z 20984 20024 20023 0 -1 1036 18055 8610 1 0 119936 70 740 19 25 0 1 0 477557162 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): 1210.15
CPU time (s): 1207.66
CPU user time (s): 1206.76
CPU system time (s): 0.901862
CPU usage (%): 99.7945
Max. virtual memory (Kb): 839880
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####