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/ttp/normalized-circ10_3.opb
MD5SUMfc17fbe37098e8642918641dd9a84b04
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 350
Optimality of the best value was proved NO
Number of terms in the objective function 900
Biggest coefficient in the objective function 5
Number of bits for the biggest coefficient in the objective function 3
Sum of the numbers in the objective function 2500
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 32
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 2500
Number of bits of the biggest sum of numbers12
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1189.1
Number of variables2700
Total number of constraints42620
Number of constraints which are clauses20220
Number of constraints which are cardinality constraints (but not clauses)800
Number of constraints which are nor clauses,nor cardinality constraints21600
Minimum length of a constraint2
Maximum length of a constraint36

Trace number 4451 

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc8 THE 2005-04-13 17:17:24 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=2304 boxname=wulflinc8 idbench=256 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  fc17fbe37098e8642918641dd9a84b04  /oldhome/oroussel/tmp/wulflinc8/normalized-circ10_3.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc8/normalized-circ10_3.opb
IDLAUNCH: 2304
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
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.007
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:        914352 kB
Buffers:         36448 kB
Cached:          64056 kB
SwapCached:          0 kB
Active:          74972 kB
Inactive:        28392 kB
HighTotal:      131008 kB
HighFree:        63084 kB
LowTotal:       903652 kB
LowFree:        851268 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6932 kB
Slab:            11388 kB
Committed_AS:    63484 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-13 17:39:36 (client local time) WITH STATUS 143 IN  SECONDS
stats: 2304 7  143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc8/normalized-circ10_3.opb
c reading problem 
c [nbvar=2700]
c [nbconstr=42620]
c time 15.754
c #vars     2700
c #clauses  43070
c starts	: 0
c conflicts	: 0
c decisions	: 0
c propagations	: 0
c inspects	: 0
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 0
c SATISFIABLE
c OPTIMIZING...
c 
c CURRENT OPTIMUM=432
c Current CPU time (ms) : 132.747
c starts	: 5
c conflicts	: 838
c decisions	: 7944
c propagations	: 97043
c inspects	: 576736
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 838
c root simplifications	: 5
c 
c CURRENT OPTIMUM=388
c Current CPU time (ms) : 278.77
c starts	: 10
c conflicts	: 1681
c decisions	: 10584
c propagations	: 183939
c inspects	: 1399000
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 1681
c root simplifications	: 10
c 
c CURRENT OPTIMUM=380
c Current CPU time (ms) : 1206.176
c starts	: 17
c conflicts	: 4036
c decisions	: 18780
c propagations	: 461354
c inspects	: 5961094
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 4036
c root simplifications	: 17
#### 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.94 0.98 0.94 2/54 27650
Raw data (stat): 27650 (runsolver) R 27649 26667 26666 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 405899821 1052672 99 4294967295 134512640 135381576 3221224448 3221219696 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.0002 s]
Raw data (loadavg): 1.10 1.02 0.95 2/63 27659
Raw data (stat): 27650 (java) R 27649 26667 26666 0 -1 0 18001 0 1 0 811 46 0 0 25 0 10 0 405899821 856915968 21890 4294967295 134512640 134569956 3221224416 3221214632 1131163102 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209208 21890 13073 16 0 209192 0
vsize: 836832
[startup+20.0001 s]
Raw data (loadavg): 1.24 1.05 0.96 4/64 27660
Raw data (stat): 27650 (java) R 27649 26667 26666 0 -1 0 18089 0 1 0 1685 48 0 0 25 0 11 0 405899821 862744576 27971 4294967295 134512640 134569956 3221224416 3221214444 1077635754 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210631 27971 13073 16 0 210615 0
vsize: 842524
[startup+30.0005 s]
Raw data (loadavg): 1.35 1.08 0.98 2/64 27660
Raw data (stat): 27650 (java) R 27649 26667 26666 0 -1 0 18115 0 1 0 2384 48 0 0 24 0 11 0 405899821 876617728 35032 4294967295 134512640 134569956 3221224416 3221214696 1131233708 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214018 35032 13073 16 0 214002 0
vsize: 856072
[startup+40.0008 s]
Raw data (loadavg): 1.30 1.08 0.98 2/64 27660
Raw data (stat): 27650 (java) R 27649 26667 26666 0 -1 0 18116 0 1 0 3325 49 0 0 25 0 11 0 405899821 875089920 34664 4294967295 134512640 134569956 3221224416 3221214592 1131344264 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213645 34664 13073 16 0 213629 0
vsize: 854580
[startup+50.0019 s]
Raw data (loadavg): 1.25 1.07 0.98 2/64 27660
Raw data (stat): 27650 (java) R 27649 26667 26666 0 -1 0 18116 0 1 0 4233 49 0 0 25 0 11 0 405899821 875089920 35028 4294967295 134512640 134569956 3221224416 3221214696 1131714291 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213645 35028 13073 16 0 213629 0
vsize: 854580
[startup+60.0023 s]
Raw data (loadavg): 1.21 1.07 0.98 2/64 27660
Raw data (stat): 27650 (java) R 27649 26667 26666 0 -1 0 18116 0 1 0 5146 49 0 0 25 0 11 0 405899821 875089920 35312 4294967295 134512640 134569956 3221224416 3221214752 1131340056 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213645 35312 13073 16 0 213629 0
vsize: 854580
[startup+70.0031 s]
Raw data (loadavg): 1.18 1.07 0.98 2/64 27660
Raw data (stat): 27650 (java) R 27649 26667 26666 0 -1 0 18116 0 1 0 6049 49 0 0 25 0 11 0 405899821 875089920 35625 4294967295 134512640 134569956 3221224416 3221214864 1131337260 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213645 35625 13073 16 0 213629 0
vsize: 854580
[startup+80.0069 s]
Raw data (loadavg): 1.15 1.06 0.98 2/64 27660
Raw data (stat): 27650 (java) R 27649 26667 26666 0 -1 0 18116 0 1 0 6975 49 0 0 25 0 11 0 405899821 875089920 35886 4294967295 134512640 134569956 3221224416 3221214744 1131347896 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213645 35886 13073 16 0 213629 0
vsize: 854580
[startup+90.0071 s]
Raw data (loadavg): 1.13 1.06 0.98 2/64 27660
Raw data (stat): 27650 (java) R 27649 26667 26666 0 -1 0 18116 0 1 0 7881 49 0 0 24 0 11 0 405899821 875089920 36324 4294967295 134512640 134569956 3221224416 3221214864 1131337281 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213645 36324 13073 16 0 213629 0
vsize: 854580
[startup+100.006 s]
Raw data (loadavg): 1.11 1.06 0.98 2/64 27660
Raw data (stat): 27650 (java) R 27649 26667 26666 0 -1 0 18116 0 1 0 8805 49 0 0 25 0 11 0 405899821 875089920 36729 4294967295 134512640 134569956 3221224416 3221214704 1131712340 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213645 36729 13073 16 0 213629 0
vsize: 854580
[startup+110.015 s]
Raw data (loadavg): 1.09 1.06 0.98 2/64 27660
Raw data (stat): 27650 (java) R 27649 26667 26666 0 -1 0 18116 0 1 0 9722 49 0 0 25 0 11 0 405899821 875089920 37063 4294967295 134512640 134569956 3221224416 3221214704 1131712340 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213645 37063 13073 16 0 213629 0
vsize: 854580
[startup+120.015 s]
Raw data (loadavg): 1.08 1.05 0.98 2/64 27660
Raw data (stat): 27650 (java) R 27649 26667 26666 0 -1 0 18116 0 1 0 10634 49 0 0 25 0 11 0 405899821 875089920 37337 4294967295 134512640 134569956 3221224416 3221214696 1131186521 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213645 37337 13073 16 0 213629 0
vsize: 854580
[startup+130.015 s]
Raw data (loadavg): 1.06 1.05 0.98 2/64 27660
Raw data (stat): 27650 (java) R 27649 26667 26666 0 -1 0 18116 0 1 0 11566 49 0 0 25 0 11 0 405899821 875089920 37604 4294967295 134512640 134569956 3221224416 3221214864 1131337271 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213645 37604 13073 16 0 213629 0
vsize: 854580
[startup+140.019 s]
Raw data (loadavg): 1.05 1.05 0.98 2/64 27661
Raw data (stat): 27650 (java) S 27649 26667 26666 0 -1 0 18116 3 1 0 12464 49 0 0 25 0 11 0 405899821 875089920 38204 4294967295 134512640 134569956 3221224416 3221213440 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213645 38204 13073 16 0 213629 0
vsize: 854580
[startup+150.02 s]
Raw data (loadavg): 1.04 1.05 0.98 2/64 27661
Raw data (stat): 27650 (java) R 27649 26667 26666 0 -1 0 18116 3 1 0 13362 49 0 0 25 0 11 0 405899821 875089920 38645 4294967295 134512640 134569956 3221224416 3221214792 1131390653 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213645 38645 13073 16 0 213629 0
vsize: 854580
[startup+160.02 s]
Raw data (loadavg): 1.04 1.05 0.98 2/64 27661
Raw data (stat): 27650 (java) R 27649 26667 26666 0 -1 0 18116 3 1 0 14271 49 0 0 25 0 11 0 405899821 875089920 38909 4294967295 134512640 134569956 3221224416 3221214704 1131712481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213645 38909 13073 16 0 213629 0
vsize: 854580
[startup+170.02 s]
Raw data (loadavg): 1.03 1.04 0.98 2/64 27661
Raw data (stat): 27650 (java) R 27649 26667 26666 0 -1 0 18116 3 1 0 15184 49 0 0 25 0 11 0 405899821 875089920 39203 4294967295 134512640 134569956 3221224416 3221214800 1131445467 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213645 39203 13073 16 0 213629 0
vsize: 854580
[startup+180.021 s]
Raw data (loadavg): 1.03 1.04 0.98 2/64 27661
Raw data (stat): 27650 (java) R 27649 26667 26666 0 -1 0 18116 3 1 0 16083 49 0 0 24 0 11 0 405899821 875089920 39666 4294967295 134512640 134569956 3221224416 3221214864 1131337260 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213645 39666 13073 16 0 213629 0
vsize: 854580
[startup+190.02 s]
Raw data (loadavg): 1.02 1.04 0.98 2/64 27661
Raw data (stat): 27650 (java) R 27649 26667 26666 0 -1 0 18116 3 1 0 17007 50 0 0 25 0 11 0 405899821 875089920 39950 4294967295 134512640 134569956 3221224416 3221214736 1131443234 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213645 39950 13073 16 0 213629 0
vsize: 854580
[startup+200.021 s]
Raw data (loadavg): 1.02 1.04 0.98 2/64 27661
Raw data (stat): 27650 (java) R 27649 26667 26666 0 -1 0 18116 3 1 0 17919 50 0 0 25 0 11 0 405899821 875089920 40366 4294967295 134512640 134569956 3221224416 3221214800 1131446692 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213645 40366 13073 16 0 213629 0
vsize: 854580
[startup+210.021 s]
Raw data (loadavg): 1.01 1.04 0.98 2/64 27661
Raw data (stat): 27650 (java) R 27649 26667 26666 0 -1 0 18116 3 1 0 18833 50 0 0 25 0 11 0 405899821 875089920 40709 4294967295 134512640 134569956 3221224416 3221214592 1131656563 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213645 40709 13073 16 0 213629 0
vsize: 854580
[startup+220.022 s]
Raw data (loadavg): 1.01 1.04 0.98 2/64 27661
Raw data (stat): 27650 (java) R 27649 26667 26666 0 -1 0 18116 3 1 0 19730 50 0 0 25 0 11 0 405899821 875089920 41060 4294967295 134512640 134569956 3221224416 3221214608 1131233873 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213645 41060 13073 16 0 213629 0
vsize: 854580
[startup+230.022 s]
Raw data (loadavg): 1.01 1.03 0.98 2/64 27661
Raw data (stat): 27650 (java) R 27649 26667 26666 0 -1 0 18116 3 1 0 20649 50 0 0 25 0 11 0 405899821 875089920 41356 4294967295 134512640 134569956 3221224416 3221214744 1131349183 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213645 41356 13073 16 0 213629 0
vsize: 854580
[startup+240.023 s]
Raw data (loadavg): 1.01 1.03 0.98 2/64 27661
Raw data (stat): 27650 (java) R 27649 26667 26666 0 -1 0 18116 3 1 0 21558 50 0 0 25 0 11 0 405899821 875089920 41602 4294967295 134512640 134569956 3221224416 3221214704 1131712340 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213645 41602 13073 16 0 213629 0
vsize: 854580
[startup+250.023 s]
Raw data (loadavg): 1.01 1.03 0.98 2/64 27661
Raw data (stat): 27650 (java) R 27649 26667 26666 0 -1 0 18116 3 1 0 22480 50 0 0 25 0 11 0 405899821 875089920 41868 4294967295 134512640 134569956 3221224416 3221214792 1131391052 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213645 41868 13073 16 0 213629 0
vsize: 854580
[startup+260.024 s]
Raw data (loadavg): 1.00 1.03 0.98 2/64 27661
Raw data (stat): 27650 (java) R 27649 26667 26666 0 -1 0 18116 3 1 0 23394 50 0 0 25 0 11 0 405899821 875089920 42111 4294967295 134512640 134569956 3221224416 3221214696 1131186521 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213645 42111 13073 16 0 213629 0
vsize: 854580
[startup+270.025 s]
Raw data (loadavg): 1.00 1.03 0.98 2/64 27661
Raw data (stat): 27650 (java) R 27649 26667 26666 0 -1 0 18116 3 1 0 24309 50 0 0 25 0 11 0 405899821 875089920 42441 4294967295 134512640 134569956 3221224416 3221214776 1131390908 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213645 42441 13073 16 0 213629 0
vsize: 854580
[startup+280.025 s]
Raw data (loadavg): 1.00 1.03 0.98 2/64 27662
Raw data (stat): 27650 (java) R 27649 26667 26666 0 -1 0 18116 3 1 0 25204 50 0 0 25 0 11 0 405899821 875089920 42868 4294967295 134512640 134569956 3221224416 3221214776 1131390629 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213645 42868 13073 16 0 213629 0
vsize: 854580
[startup+290.027 s]
Raw data (loadavg): 1.00 1.03 0.98 2/64 27662
Raw data (stat): 27650 (java) R 27649 26667 26666 0 -1 0 18116 3 1 0 26096 50 0 0 25 0 11 0 405899821 875089920 43182 4294967295 134512640 134569956 3221224416 3221214776 1131390997 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213645 43182 13073 16 0 213629 0
vsize: 854580
[startup+300.027 s]
Raw data (loadavg): 1.00 1.02 0.98 2/64 27662
Raw data (stat): 27650 (java) R 27649 26667 26666 0 -1 0 18116 3 1 0 26987 50 0 0 25 0 11 0 405899821 875089920 43446 4294967295 134512640 134569956 3221224416 3221214776 1131390908 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213645 43446 13073 16 0 213629 0
vsize: 854580
[startup+310.028 s]
Raw data (loadavg): 1.00 1.02 0.98 2/64 27662
Raw data (stat): 27650 (java) R 27649 26667 26666 0 -1 0 18116 3 1 0 27882 50 0 0 25 0 11 0 405899821 875089920 43683 4294967295 134512640 134569956 3221224416 3221214680 1131186521 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213645 43683 13073 16 0 213629 0
vsize: 854580
[startup+320.029 s]
Raw data (loadavg): 1.00 1.02 0.98 2/64 27662
Raw data (stat): 27650 (java) R 27649 26667 26666 0 -1 0 18116 3 1 0 28759 50 0 0 25 0 11 0 405899821 875089920 43948 4294967295 134512640 134569956 3221224416 3221214748 1080203749 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213645 43948 13073 16 0 213629 0
vsize: 854580
[startup+330.029 s]
Raw data (loadavg): 1.00 1.02 0.98 2/64 27662
Raw data (stat): 27650 (java) R 27649 26667 26666 0 -1 0 18116 3 1 0 29654 50 0 0 25 0 11 0 405899821 875089920 44162 4294967295 134512640 134569956 3221224416 3221214680 1131186550 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213645 44162 13073 16 0 213629 0
vsize: 854580
[startup+340.029 s]
Raw data (loadavg): 1.00 1.02 0.98 2/64 27662
Raw data (stat): 27650 (java) R 27649 26667 26666 0 -1 0 18116 3 1 0 30553 50 0 0 25 0 11 0 405899821 875089920 44442 4294967295 134512640 134569956 3221224416 3221214680 1131186117 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213645 44442 13073 16 0 213629 0
vsize: 854580
[startup+350.029 s]
Raw data (loadavg): 1.00 1.02 0.98 2/64 27662
Raw data (stat): 27650 (java) R 27649 26667 26666 0 -1 0 18116 3 1 0 31450 50 0 0 25 0 11 0 405899821 875089920 44539 4294967295 134512640 134569956 3221224416 3221214776 1131390805 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213645 44539 13073 16 0 213629 0
vsize: 854580
[startup+360.03 s]
Raw data (loadavg): 1.00 1.02 0.98 2/64 27662
Raw data (stat): 27650 (java) R 27649 26667 26666 0 -1 0 18116 3 1 0 32357 50 0 0 25 0 11 0 405899821 875089920 44711 4294967295 134512640 134569956 3221224416 3221214936 1131152217 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213645 44711 13073 16 0 213629 0
vsize: 854580
[startup+370.03 s]
Raw data (loadavg): 1.00 1.02 0.98 2/64 27662
Raw data (stat): 27650 (java) R 27649 26667 26666 0 -1 0 18116 3 1 0 33274 50 0 0 25 0 11 0 405899821 875089920 45039 4294967295 134512640 134569956 3221224416 3221214748 1080204240 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213645 45039 13073 16 0 213629 0
vsize: 854580
[startup+380.031 s]
Raw data (loadavg): 1.00 1.02 0.98 2/64 27662
Raw data (stat): 27650 (java) R 27649 26667 26666 0 -1 0 18116 3 1 0 34168 50 0 0 25 0 11 0 405899821 875089920 45403 4294967295 134512640 134569956 3221224416 3221214664 1131712475 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213645 45403 13073 16 0 213629 0
vsize: 854580
[startup+390.032 s]
Raw data (loadavg): 1.00 1.02 0.98 2/64 27662
Raw data (stat): 27650 (java) R 27649 26667 26666 0 -1 0 18116 3 1 0 35084 50 0 0 25 0 11 0 405899821 875089920 45636 4294967295 134512640 134569956 3221224416 3221214640 1131484242 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213645 45636 13073 16 0 213629 0
vsize: 854580
[startup+400.032 s]
Raw data (loadavg): 1.00 1.01 0.98 2/64 27662
Raw data (stat): 27650 (java) R 27649 26667 26666 0 -1 0 18116 3 1 0 35971 50 0 0 25 0 11 0 405899821 875089920 45871 4294967295 134512640 134569956 3221224416 3221214680 1131187326 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213645 45871 13073 16 0 213629 0
vsize: 854580
[startup+410.033 s]
Raw data (loadavg): 1.00 1.01 0.98 2/64 27662
Raw data (stat): 27650 (java) R 27649 26667 26666 0 -1 0 18116 3 1 0 36877 51 0 0 25 0 11 0 405899821 875089920 46004 4294967295 134512640 134569956 3221224416 3221214776 1131391874 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213645 46004 13073 16 0 213629 0
vsize: 854580
[startup+420.034 s]
Raw data (loadavg): 1.00 1.01 0.98 2/64 27662
Raw data (stat): 27650 (java) R 27649 26667 26666 0 -1 0 18116 3 1 0 37764 51 0 0 25 0 11 0 405899821 875089920 46294 4294967295 134512640 134569956 3221224416 3221214552 1131656537 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213645 46294 13073 16 0 213629 0
vsize: 854580
[startup+430.034 s]
Raw data (loadavg): 1.00 1.01 0.98 2/64 27662
Raw data (stat): 27650 (java) R 27649 26667 26666 0 -1 0 18116 3 1 0 38657 51 0 0 25 0 11 0 405899821 875089920 46350 4294967295 134512640 134569956 3221224416 3221214552 1131658254 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213645 46350 13073 16 0 213629 0
vsize: 854580
[startup+440.034 s]
Raw data (loadavg): 1.00 1.01 0.98 2/64 27662
Raw data (stat): 27650 (java) R 27649 26667 26666 0 -1 0 18116 3 1 0 39575 51 0 0 25 0 11 0 405899821 875089920 46555 4294967295 134512640 134569956 3221224416 3221214776 1131390875 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213645 46555 13073 16 0 213629 0
vsize: 854580
[startup+450.035 s]
Raw data (loadavg): 1.00 1.01 0.98 2/64 27662
Raw data (stat): 27650 (java) R 27649 26667 26666 0 -1 0 18116 3 1 0 40471 51 0 0 25 0 11 0 405899821 875089920 46780 4294967295 134512640 134569956 3221224416 3221214680 1131233873 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213645 46780 13073 16 0 213629 0
vsize: 854580
[startup+460.036 s]
Raw data (loadavg): 1.00 1.01 0.98 2/64 27662
Raw data (stat): 27650 (java) R 27649 26667 26666 0 -1 0 18116 3 1 0 41378 51 0 0 25 0 11 0 405899821 875089920 46972 4294967295 134512640 134569956 3221224416 3221214680 1131186521 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213645 46972 13073 16 0 213629 0
vsize: 854580
[startup+470.037 s]
Raw data (loadavg): 1.00 1.01 0.98 2/64 27662
Raw data (stat): 27650 (java) R 27649 26667 26666 0 -1 0 18116 3 1 0 42290 51 0 0 25 0 11 0 405899821 875089920 47241 4294967295 134512640 134569956 3221224416 3221214772 1131186092 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213645 47241 13073 16 0 213629 0
vsize: 854580
[startup+480.036 s]
Raw data (loadavg): 1.00 1.01 0.98 2/64 27662
Raw data (stat): 27650 (java) R 27649 26667 26666 0 -1 0 18116 3 1 0 43185 51 0 0 25 0 11 0 405899821 875089920 47439 4294967295 134512640 134569956 3221224416 3221214752 1080203665 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213645 47439 13073 16 0 213629 0
vsize: 854580
[startup+490.037 s]
Raw data (loadavg): 1.00 1.01 0.98 2/64 27662
Raw data (stat): 27650 (java) R 27649 26667 26666 0 -1 0 18116 3 1 0 44076 51 0 0 25 0 11 0 405899821 875089920 47592 4294967295 134512640 134569956 3221224416 3221214776 1131390843 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213645 47592 13073 16 0 213629 0
vsize: 854580
[startup+500.037 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 27662
Raw data (stat): 27650 (java) R 27649 26667 26666 0 -1 0 18116 3 1 0 44970 51 0 0 25 0 11 0 405899821 875089920 47838 4294967295 134512640 134569956 3221224416 3221214728 1131234144 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213645 47838 13073 16 0 213629 0
vsize: 854580
[startup+510.038 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 27662
Raw data (stat): 27650 (java) R 27649 26667 26666 0 -1 0 18116 3 1 0 45867 51 0 0 25 0 11 0 405899821 875089920 48011 4294967295 134512640 134569956 3221224416 3221214560 1131233642 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213645 48011 13073 16 0 213629 0
vsize: 854580
[startup+520.038 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 27662
Raw data (stat): 27650 (java) R 27649 26667 26666 0 -1 0 18116 3 1 0 46769 51 0 0 25 0 11 0 405899821 875089920 48192 4294967295 134512640 134569956 3221224416 3221214776 1131390836 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213645 48192 13073 16 0 213629 0
vsize: 854580
[startup+530.038 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 27662
Raw data (stat): 27650 (java) R 27649 26667 26666 0 -1 0 18116 3 1 0 47673 51 0 0 25 0 11 0 405899821 875089920 48351 4294967295 134512640 134569956 3221224416 3221214616 1131510784 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213645 48351 13073 16 0 213629 0
vsize: 854580
[startup+540.039 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 27662
Raw data (stat): 27650 (java) R 27649 26667 26666 0 -1 0 18116 3 1 0 48578 52 0 0 25 0 11 0 405899821 875089920 48551 4294967295 134512640 134569956 3221224416 3221214640 1131486276 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213645 48551 13073 16 0 213629 0
vsize: 854580
[startup+550.039 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 27662
Raw data (stat): 27650 (java) R 27649 26667 26666 0 -1 0 18116 3 1 0 49500 52 0 0 25 0 11 0 405899821 875089920 48760 4294967295 134512640 134569956 3221224416 3221214680 1131186572 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213645 48760 13073 16 0 213629 0
vsize: 854580
[startup+560.041 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 27662
Raw data (stat): 27650 (java) R 27649 26667 26666 0 -1 0 18116 3 1 0 50408 52 0 0 25 0 11 0 405899821 875089920 48955 4294967295 134512640 134569956 3221224416 3221214712 1131340066 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213645 48955 13073 16 0 213629 0
vsize: 854580
[startup+570.042 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 27662
Raw data (stat): 27650 (java) R 27649 26667 26666 0 -1 0 18116 3 1 0 51310 52 0 0 25 0 11 0 405899821 875089920 49292 4294967295 134512640 134569956 3221224416 3221214852 1080204241 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213645 49292 13073 16 0 213629 0
vsize: 854580
[startup+580.042 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 27662
Raw data (stat): 27650 (java) R 27649 26667 26666 0 -1 0 18116 3 1 0 52211 52 0 0 25 0 11 0 405899821 875089920 49502 4294967295 134512640 134569956 3221224416 3221214824 1131337372 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213645 49502 13073 16 0 213629 0
vsize: 854580
[startup+590.042 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 27662
Raw data (stat): 27650 (java) R 27649 26667 26666 0 -1 0 18116 3 1 0 53111 52 0 0 25 0 11 0 405899821 875089920 49646 4294967295 134512640 134569956 3221224416 3221214776 1131390805 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213645 49646 13073 16 0 213629 0
vsize: 854580
[startup+600.043 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 27662
Raw data (stat): 27650 (java) R 27649 26667 26666 0 -1 0 18116 3 1 0 54010 52 0 0 25 0 11 0 405899821 875089920 49837 4294967295 134512640 134569956 3221224416 3221214776 1131390908 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213645 49837 13073 16 0 213629 0
vsize: 854580
[startup+610.043 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 27662
Raw data (stat): 27650 (java) R 27649 26667 26666 0 -1 0 18116 3 1 0 54911 52 0 0 25 0 11 0 405899821 875089920 50053 4294967295 134512640 134569956 3221224416 3221214776 1131390843 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213645 50053 13073 16 0 213629 0
vsize: 854580
[startup+620.043 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 27662
Raw data (stat): 27650 (java) R 27649 26667 26666 0 -1 0 18116 3 1 0 55812 52 0 0 25 0 11 0 405899821 875089920 50220 4294967295 134512640 134569956 3221224416 3221214664 1131712481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213645 50220 13073 16 0 213629 0
vsize: 854580
[startup+630.043 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 27662
Raw data (stat): 27650 (java) R 27649 26667 26666 0 -1 0 18116 3 1 0 56714 52 0 0 25 0 11 0 405899821 875089920 50361 4294967295 134512640 134569956 3221224416 3221214680 1131186149 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213645 50361 13073 16 0 213629 0
vsize: 854580
[startup+640.044 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 27662
Raw data (stat): 27650 (java) R 27649 26667 26666 0 -1 0 18116 3 1 0 57616 52 0 0 25 0 11 0 405899821 875089920 50543 4294967295 134512640 134569956 3221224416 3221214824 1131337553 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213645 50543 13073 16 0 213629 0
vsize: 854580
[startup+650.045 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 27662
Raw data (stat): 27650 (java) R 27649 26667 26666 0 -1 0 18116 3 1 0 58518 52 0 0 25 0 11 0 405899821 875089920 50773 4294967295 134512640 134569956 3221224416 3221214824 1131337271 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213645 50773 13073 16 0 213629 0
vsize: 854580
[startup+660.045 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 27662
Raw data (stat): 27650 (java) R 27649 26667 26666 0 -1 0 18116 3 1 0 59437 52 0 0 25 0 11 0 405899821 875089920 50909 4294967295 134512640 134569956 3221224416 3221214760 1131444217 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213645 50909 13073 16 0 213629 0
vsize: 854580
[startup+670.046 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 27662
Raw data (stat): 27650 (java) R 27649 26667 26666 0 -1 0 18116 3 1 0 60343 52 0 0 25 0 11 0 405899821 875089920 51112 4294967295 134512640 134569956 3221224416 3221214640 1131483233 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213645 51112 13073 16 0 213629 0
vsize: 854580
[startup+680.046 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 27662
Raw data (stat): 27650 (java) R 27649 26667 26666 0 -1 0 18116 3 1 0 61250 52 0 0 25 0 11 0 405899821 875089920 51369 4294967295 134512640 134569956 3221224416 3221214824 1131337344 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213645 51369 13073 16 0 213629 0
vsize: 854580
[startup+690.047 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 27662
Raw data (stat): 27650 (java) R 27649 26667 26666 0 -1 0 18116 3 1 0 62162 52 0 0 25 0 11 0 405899821 875089920 51555 4294967295 134512640 134569956 3221224416 3221214680 1131186538 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213645 51555 13073 16 0 213629 0
vsize: 854580
[startup+700.047 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 27662
Raw data (stat): 27650 (java) R 27649 26667 26666 0 -1 0 18116 3 1 0 63091 52 0 0 25 0 11 0 405899821 875089920 51725 4294967295 134512640 134569956 3221224416 3221214776 1131391071 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213645 51725 13073 16 0 213629 0
vsize: 854580
[startup+710.048 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 27662
Raw data (stat): 27650 (java) R 27649 26667 26666 0 -1 0 18116 3 1 0 64008 52 0 0 25 0 11 0 405899821 875089920 51978 4294967295 134512640 134569956 3221224416 3221214640 1131483823 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213645 51978 13073 16 0 213629 0
vsize: 854580
[startup+720.049 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 27662
Raw data (stat): 27650 (java) R 27649 26667 26666 0 -1 0 18116 3 1 0 64926 52 0 0 25 0 11 0 405899821 875089920 52163 4294967295 134512640 134569956 3221224416 3221214760 1131444832 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213645 52163 13073 16 0 213629 0
vsize: 854580
[startup+730.051 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 27662
Raw data (stat): 27650 (java) S 27649 26667 26666 0 -1 0 18116 3 1 0 65853 52 0 0 25 0 11 0 405899821 875089920 52322 4294967295 134512640 134569956 3221224416 3221213384 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213645 52322 13073 16 0 213629 0
vsize: 854580
[startup+740.053 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 27662
Raw data (stat): 27650 (java) R 27649 26667 26666 0 -1 0 18116 3 1 0 66776 52 0 0 25 0 11 0 405899821 875089920 52502 4294967295 134512640 134569956 3221224416 3221214680 1131362984 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213645 52502 13073 16 0 213629 0
vsize: 854580
[startup+750.054 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 27662
Raw data (stat): 27650 (java) R 27649 26667 26666 0 -1 0 18116 3 1 0 67686 52 0 0 25 0 11 0 405899821 875089920 52747 4294967295 134512640 134569956 3221224416 3221214776 1131390843 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213645 52747 13073 16 0 213629 0
vsize: 854580
[startup+760.054 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 27662
Raw data (stat): 27650 (java) R 27649 26667 26666 0 -1 0 18116 3 1 0 68573 53 0 0 25 0 11 0 405899821 875089920 52953 4294967295 134512640 134569956 3221224416 3221214776 1131390836 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213645 52953 13073 16 0 213629 0
vsize: 854580
[startup+770.054 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 27662
Raw data (stat): 27650 (java) R 27649 26667 26666 0 -1 0 18116 3 1 0 69442 53 0 0 25 0 11 0 405899821 875089920 53143 4294967295 134512640 134569956 3221224416 3221214664 1131712343 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213645 53143 13073 16 0 213629 0
vsize: 854580
[startup+780.055 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 27662
Raw data (stat): 27650 (java) R 27649 26667 26666 0 -1 0 18116 3 1 0 70342 53 0 0 25 0 11 0 405899821 875089920 53227 4294967295 134512640 134569956 3221224416 3221214776 1131393111 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213645 53227 13073 16 0 213629 0
vsize: 854580
[startup+790.055 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 27662
Raw data (stat): 27650 (java) R 27649 26667 26666 0 -1 0 18116 3 1 0 71223 53 0 0 25 0 11 0 405899821 875089920 53411 4294967295 134512640 134569956 3221224416 3221214664 1131712357 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213645 53411 13073 16 0 213629 0
vsize: 854580
[startup+800.055 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 27662
Raw data (stat): 27650 (java) R 27649 26667 26666 0 -1 0 18116 3 1 0 72115 53 0 0 25 0 11 0 405899821 875089920 53645 4294967295 134512640 134569956 3221224416 3221214552 1131656537 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213645 53645 13073 16 0 213629 0
vsize: 854580
[startup+810.056 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 27662
Raw data (stat): 27650 (java) R 27649 26667 26666 0 -1 0 18116 3 1 0 73014 53 0 0 25 0 11 0 405899821 875089920 53793 4294967295 134512640 134569956 3221224416 3221214656 1131714423 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213645 53793 13073 16 0 213629 0
vsize: 854580
[startup+820.057 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 27662
Raw data (stat): 27650 (java) R 27649 26667 26666 0 -1 0 18116 3 1 0 73931 53 0 0 25 0 11 0 405899821 875089920 53903 4294967295 134512640 134569956 3221224416 3221214800 1131378977 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213645 53903 13073 16 0 213629 0
vsize: 854580
[startup+830.057 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 27662
Raw data (stat): 27650 (java) R 27649 26667 26666 0 -1 0 18116 3 1 0 74848 53 0 0 25 0 11 0 405899821 875089920 54133 4294967295 134512640 134569956 3221224416 3221214776 1131390908 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213645 54133 13073 16 0 213629 0
vsize: 854580
[startup+840.057 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 27662
Raw data (stat): 27650 (java) R 27649 26667 26666 0 -1 0 18116 3 1 0 75767 53 0 0 25 0 11 0 405899821 875089920 54283 4294967295 134512640 134569956 3221224416 3221214680 1131186521 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213645 54283 13073 16 0 213629 0
vsize: 854580
[startup+850.057 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 27662
Raw data (stat): 27650 (java) R 27649 26667 26666 0 -1 0 18116 3 1 0 76674 53 0 0 25 0 11 0 405899821 875089920 54433 4294967295 134512640 134569956 3221224416 3221214568 1131233873 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213645 54433 13073 16 0 213629 0
vsize: 854580
[startup+860.058 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 27662
Raw data (stat): 27650 (java) R 27649 26667 26666 0 -1 0 18116 3 1 0 77593 53 0 0 25 0 11 0 405899821 875089920 54536 4294967295 134512640 134569956 3221224416 3221214560 1131233873 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213645 54536 13073 16 0 213629 0
vsize: 854580
[startup+870.064 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 27662
Raw data (stat): 27650 (java) S 27649 26667 26666 0 -1 0 18116 3 1 0 78517 53 0 0 25 0 11 0 405899821 875089920 54627 4294967295 134512640 134569956 3221224416 3221213328 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213645 54627 13073 16 0 213629 0
vsize: 854580
[startup+880.064 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 27662
Raw data (stat): 27650 (java) R 27649 26667 26666 0 -1 0 18116 3 1 0 79432 53 0 0 25 0 11 0 405899821 875089920 54796 4294967295 134512640 134569956 3221224416 3221214932 1130885154 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213645 54796 13073 16 0 213629 0
vsize: 854580
[startup+890.064 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 27662
Raw data (stat): 27650 (java) R 27649 26667 26666 0 -1 0 18116 3 1 0 80357 53 0 0 25 0 11 0 405899821 875089920 54918 4294967295 134512640 134569956 3221224416 3221214680 1131186518 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213645 54918 13073 16 0 213629 0
vsize: 854580
[startup+900.065 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 27662
Raw data (stat): 27650 (java) R 27649 26667 26666 0 -1 0 18116 3 1 0 81266 53 0 0 25 0 11 0 405899821 875089920 55068 4294967295 134512640 134569956 3221224416 3221214760 1131444865 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213645 55068 13073 16 0 213629 0
vsize: 854580
[startup+910.065 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 27662
Raw data (stat): 27650 (java) R 27649 26667 26666 0 -1 0 18116 3 1 0 82177 53 0 0 25 0 11 0 405899821 875089920 55231 4294967295 134512640 134569956 3221224416 3221214776 1131390843 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213645 55231 13073 16 0 213629 0
vsize: 854580
[startup+920.067 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 27662
Raw data (stat): 27650 (java) R 27649 26667 26666 0 -1 0 18116 3 1 0 83089 53 0 0 25 0 11 0 405899821 875089920 55424 4294967295 134512640 134569956 3221224416 3221214776 1131390676 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213645 55424 13073 16 0 213629 0
vsize: 854580
[startup+930.066 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 27662
Raw data (stat): 27650 (java) R 27649 26667 26666 0 -1 0 18116 3 1 0 84015 53 0 0 25 0 11 0 405899821 875089920 55560 4294967295 134512640 134569956 3221224416 3221214776 1131390657 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213645 55560 13073 16 0 213629 0
vsize: 854580
[startup+940.067 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 27662
Raw data (stat): 27650 (java) R 27649 26667 26666 0 -1 0 18116 3 1 0 84927 53 0 0 25 0 11 0 405899821 875089920 55777 4294967295 134512640 134569956 3221224416 3221214776 1131390843 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213645 55777 13073 16 0 213629 0
vsize: 854580
[startup+950.067 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 27662
Raw data (stat): 27650 (java) R 27649 26667 26666 0 -1 0 18116 3 1 0 85839 53 0 0 25 0 11 0 405899821 875089920 55926 4294967295 134512640 134569956 3221224416 3221214776 1131390809 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213645 55926 13073 16 0 213629 0
vsize: 854580
[startup+960.067 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 27662
Raw data (stat): 27650 (java) R 27649 26667 26666 0 -1 0 18116 3 1 0 86766 53 0 0 25 0 11 0 405899821 875089920 56080 4294967295 134512640 134569956 3221224416 3221214664 1131712357 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213645 56080 13073 16 0 213629 0
vsize: 854580
[startup+970.067 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 27662
Raw data (stat): 27650 (java) R 27649 26667 26666 0 -1 0 18116 3 1 0 87688 53 0 0 25 0 11 0 405899821 875089920 56341 4294967295 134512640 134569956 3221224416 3221214640 1131484743 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213645 56341 13073 16 0 213629 0
vsize: 854580
[startup+980.067 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 27662
Raw data (stat): 27650 (java) R 27649 26667 26666 0 -1 0 18116 3 1 0 88595 53 0 0 25 0 11 0 405899821 875089920 56663 4294967295 134512640 134569956 3221224416 3221214560 1131233873 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213645 56663 13073 16 0 213629 0
vsize: 854580
[startup+990.068 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 27662
Raw data (stat): 27650 (java) R 27649 26667 26666 0 -1 0 18116 3 1 0 89506 53 0 0 25 0 11 0 405899821 875089920 56873 4294967295 134512640 134569956 3221224416 3221214824 1131337563 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213645 56873 13073 16 0 213629 0
vsize: 854580
[startup+1000.07 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 27662
Raw data (stat): 27650 (java) R 27649 26667 26666 0 -1 0 18116 3 1 0 90416 54 0 0 25 0 11 0 405899821 875089920 57032 4294967295 134512640 134569956 3221224416 3221214776 1131390908 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213645 57032 13073 16 0 213629 0
vsize: 854580
[startup+1010.07 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 27662
Raw data (stat): 27650 (java) R 27649 26667 26666 0 -1 0 18116 3 1 0 91324 54 0 0 25 0 11 0 405899821 875089920 57241 4294967295 134512640 134569956 3221224416 3221214704 1131349199 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213645 57241 13073 16 0 213629 0
vsize: 854580
[startup+1020.07 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 27662
Raw data (stat): 27650 (java) R 27649 26667 26666 0 -1 0 18116 3 1 0 92233 54 0 0 25 0 11 0 405899821 875089920 57358 4294967295 134512640 134569956 3221224416 3221214680 1131186521 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213645 57358 13073 16 0 213629 0
vsize: 854580
[startup+1030.07 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 27662
Raw data (stat): 27650 (java) R 27649 26667 26666 0 -1 0 18116 3 1 0 93135 54 0 0 25 0 11 0 405899821 875089920 57494 4294967295 134512640 134569956 3221224416 3221214680 1131186538 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213645 57494 13073 16 0 213629 0
vsize: 854580
[startup+1040.07 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 27662
Raw data (stat): 27650 (java) R 27649 26667 26666 0 -1 0 18116 3 1 0 94036 54 0 0 25 0 11 0 405899821 875089920 57694 4294967295 134512640 134569956 3221224416 3221214776 1131391874 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213645 57694 13073 16 0 213629 0
vsize: 854580
[startup+1050.07 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 27662
Raw data (stat): 27650 (java) R 27649 26667 26666 0 -1 0 18116 3 1 0 94937 54 0 0 25 0 11 0 405899821 875089920 57931 4294967295 134512640 134569956 3221224416 3221214680 1131186126 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213645 57931 13073 16 0 213629 0
vsize: 854580
[startup+1060.07 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 27662
Raw data (stat): 27650 (java) R 27649 26667 26666 0 -1 0 18116 3 1 0 95842 54 0 0 25 0 11 0 405899821 875089920 58090 4294967295 134512640 134569956 3221224416 3221214776 1131391007 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213645 58090 13073 16 0 213629 0
vsize: 854580
[startup+1070.07 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 27662
Raw data (stat): 27650 (java) R 27649 26667 26666 0 -1 0 18116 3 1 0 96754 54 0 0 25 0 11 0 405899821 875089920 58288 4294967295 134512640 134569956 3221224416 3221214776 1131391766 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213645 58288 13073 16 0 213629 0
vsize: 854580
[startup+1080.07 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 27662
Raw data (stat): 27650 (java) S 27649 26667 26666 0 -1 0 18116 3 1 0 97677 54 0 0 25 0 11 0 405899821 875089920 58464 4294967295 134512640 134569956 3221224416 3221213384 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213645 58464 13073 16 0 213629 0
vsize: 854580
[startup+1090.08 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 27662
Raw data (stat): 27650 (java) R 27649 26667 26666 0 -1 0 18116 3 1 0 98577 54 0 0 25 0 11 0 405899821 875089920 58753 4294967295 134512640 134569956 3221224416 3221214748 1080203749 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213645 58753 13073 16 0 213629 0
vsize: 854580
[startup+1100.08 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 27662
Raw data (stat): 27650 (java) R 27649 26667 26666 0 -1 0 18116 3 1 0 99482 54 0 0 25 0 11 0 405899821 875089920 58895 4294967295 134512640 134569956 3221224416 3221214560 1131233873 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213645 58895 13073 16 0 213629 0
vsize: 854580
[startup+1110.08 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 27662
Raw data (stat): 27650 (java) R 27649 26667 26666 0 -1 0 18116 3 1 0 100387 54 0 0 25 0 11 0 405899821 875089920 59068 4294967295 134512640 134569956 3221224416 3221214680 1131186634 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213645 59068 13073 16 0 213629 0
vsize: 854580
[startup+1120.08 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 27662
Raw data (stat): 27650 (java) S 27649 26667 26666 0 -1 0 18116 3 1 0 101275 54 0 0 25 0 11 0 405899821 875089920 59235 4294967295 134512640 134569956 3221224416 3221213384 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213645 59235 13073 16 0 213629 0
vsize: 854580
[startup+1130.08 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 27662
Raw data (stat): 27650 (java) R 27649 26667 26666 0 -1 0 18116 3 1 0 102178 54 0 0 25 0 11 0 405899821 875089920 59401 4294967295 134512640 134569956 3221224416 3221214680 1131186521 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213645 59401 13073 16 0 213629 0
vsize: 854580
[startup+1140.08 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 27662
Raw data (stat): 27650 (java) R 27649 26667 26666 0 -1 0 18116 3 1 0 103089 54 0 0 25 0 11 0 405899821 875089920 59551 4294967295 134512640 134569956 3221224416 3221214728 1131233652 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213645 59551 13073 16 0 213629 0
vsize: 854580
[startup+1150.08 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 27662
Raw data (stat): 27650 (java) R 27649 26667 26666 0 -1 0 18116 3 1 0 103999 54 0 0 25 0 11 0 405899821 875089920 59684 4294967295 134512640 134569956 3221224416 3221214776 1131396950 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213645 59684 13073 16 0 213629 0
vsize: 854580
[startup+1160.08 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 27662
Raw data (stat): 27650 (java) R 27649 26667 26666 0 -1 0 18116 3 1 0 104910 54 0 0 25 0 11 0 405899821 875089920 59844 4294967295 134512640 134569956 3221224416 3221214776 1131392869 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213645 59844 13073 16 0 213629 0
vsize: 854580
[startup+1170.08 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 27662
Raw data (stat): 27650 (java) R 27649 26667 26666 0 -1 0 18116 3 1 0 105822 54 0 0 25 0 11 0 405899821 875089920 60019 4294967295 134512640 134569956 3221224416 3221214660 1080204256 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213645 60019 13073 16 0 213629 0
vsize: 854580
[startup+1180.08 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 27662
Raw data (stat): 27650 (java) R 27649 26667 26666 0 -1 0 18116 3 1 0 106733 54 0 0 25 0 11 0 405899821 875089920 60163 4294967295 134512640 134569956 3221224416 3221214704 1131348365 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213645 60163 13073 16 0 213629 0
vsize: 854580
[startup+1190.08 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 27662
Raw data (stat): 27650 (java) R 27649 26667 26666 0 -1 0 18116 3 1 0 107646 54 0 0 25 0 11 0 405899821 875089920 60326 4294967295 134512640 134569956 3221224416 3221214776 1131391966 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213645 60326 13073 16 0 213629 0
vsize: 854580
[startup+1200.08 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 27662
Raw data (stat): 27650 (java) R 27649 26667 26666 0 -1 0 18116 3 1 0 108533 54 0 0 25 0 11 0 405899821 875089920 60478 4294967295 134512640 134569956 3221224416 3221214568 1131233834 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213645 60478 13073 16 0 213629 0
vsize: 854580
[startup+1210.08 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 27663
Raw data (stat): 27650 (java) R 27649 26667 26666 0 -1 0 18116 3 1 0 109441 55 0 0 25 0 11 0 405899821 875089920 60642 4294967295 134512640 134569956 3221224416 3221214776 1131391874 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213645 60642 13073 16 0 213629 0
vsize: 854580
[startup+1220.09 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 27663
Raw data (stat): 27650 (java) R 27649 26667 26666 0 -1 0 18116 3 1 0 110341 55 0 0 24 0 11 0 405899821 875089920 60818 4294967295 134512640 134569956 3221224416 3221214776 1131390805 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213645 60818 13073 16 0 213629 0
vsize: 854580
[startup+1230.09 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 27663
Raw data (stat): 27650 (java) R 27649 26667 26666 0 -1 0 18116 3 1 0 111257 55 0 0 25 0 11 0 405899821 875089920 60993 4294967295 134512640 134569956 3221224416 3221214776 1131392869 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213645 60993 13073 16 0 213629 0
vsize: 854580
[startup+1240.09 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 27663
Raw data (stat): 27650 (java) R 27649 26667 26666 0 -1 0 18116 3 1 0 112160 55 0 0 25 0 11 0 405899821 875089920 61128 4294967295 134512640 134569956 3221224416 3221214776 1131390843 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213645 61128 13073 16 0 213629 0
vsize: 854580
[startup+1250.09 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 27663
Raw data (stat): 27650 (java) R 27649 26667 26666 0 -1 0 18116 3 1 0 113060 55 0 0 25 0 11 0 405899821 875089920 61192 4294967295 134512640 134569956 3221224416 3221214776 1131391924 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213645 61192 13073 16 0 213629 0
vsize: 854580
[startup+1260.09 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 27663
Raw data (stat): 27650 (java) R 27649 26667 26666 0 -1 0 18116 3 1 0 113942 55 0 0 25 0 11 0 405899821 875089920 61319 4294967295 134512640 134569956 3221224416 3221214776 1131390843 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213645 61319 13073 16 0 213629 0
vsize: 854580
[startup+1270.09 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 27663
Raw data (stat): 27650 (java) R 27649 26667 26666 0 -1 0 18116 3 1 0 114845 55 0 0 25 0 11 0 405899821 875089920 61483 4294967295 134512640 134569956 3221224416 3221214776 1131390805 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213645 61483 13073 16 0 213629 0
vsize: 854580
[startup+1280.09 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 27663
Raw data (stat): 27650 (java) R 27649 26667 26666 0 -1 0 18116 3 1 0 115732 55 0 0 25 0 11 0 405899821 875089920 61625 4294967295 134512640 134569956 3221224416 3221214680 1131186149 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213645 61625 13073 16 0 213629 0
vsize: 854580
[startup+1290.09 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 27663
Raw data (stat): 27650 (java) R 27649 26667 26666 0 -1 0 18116 3 1 0 116623 55 0 0 25 0 11 0 405899821 875089920 61761 4294967295 134512640 134569956 3221224416 3221214776 1131391661 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213645 61761 13073 16 0 213629 0
vsize: 854580
[startup+1300.09 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 27663
Raw data (stat): 27650 (java) R 27649 26667 26666 0 -1 0 18116 3 1 0 117519 56 0 0 25 0 11 0 405899821 875089920 61990 4294967295 134512640 134569956 3221224416 3221214680 1131233577 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213645 61990 13073 16 0 213629 0
vsize: 854580
[startup+1310.09 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 27663
Raw data (stat): 27650 (java) R 27649 26667 26666 0 -1 0 18116 3 1 0 118426 56 0 0 25 0 11 0 405899821 875089920 62089 4294967295 134512640 134569956 3221224416 3221214552 1131657181 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213645 62089 13073 16 0 213629 0
vsize: 854580
[startup+1320.09 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 27663
Raw data (stat): 27650 (java) R 27649 26667 26666 0 -1 0 18116 3 1 0 119326 57 0 0 25 0 11 0 405899821 875089920 62298 4294967295 134512640 134569956 3221224416 3221214568 1131233662 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213645 62298 13073 16 0 213629 0
vsize: 854580
[startup+1330.09 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 27663
Raw data (stat): 27650 (java) R 27649 26667 26666 0 -1 0 18116 3 1 0 120248 57 0 0 25 0 11 0 405899821 875089920 62390 4294967295 134512640 134569956 3221224416 3221214680 1131186784 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213645 62390 13073 16 0 213629 0
vsize: 854580
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1330.24 s]
Raw data (loadavg): 1.00 1.00 0.98 1/54 27665
Raw data (stat): 27650 (java) Z 27649 26667 26666 0 -1 1036 18116 38891 1 0 120251 57 12255 93 25 0 1 0 405899821 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1330.24
CPU time (s): 1326.57
CPU user time (s): 1325.06
CPU system time (s): 1.50777
CPU usage (%): 99.7242
Max. virtual memory (Kb): 856072
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####