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-ii32b1.opb
MD5SUMc4653389ddee2820797c664a0856c651
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 191
Optimality of the best value was proved NO
Number of terms in the objective function 456
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 456
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 456
Number of bits of the biggest sum of numbers9
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1.02784
Number of variables456
Total number of constraints1602
Number of constraints which are clauses1602
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 constraint2
Maximum length of a constraint32

Trace number 4312

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc11 THE 2005-04-13 16:21:36 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=1323 boxname=wulflinc11 idbench=147 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  c4653389ddee2820797c664a0856c651  /oldhome/oroussel/tmp/wulflinc11/normalized-ii32b1.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc11/normalized-ii32b1.opb
IDLAUNCH: 1323
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.028
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.028
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:        929916 kB
Buffers:         32652 kB
Cached:          48028 kB
SwapCached:       4932 kB
Active:          47492 kB
Inactive:        40940 kB
HighTotal:      131008 kB
HighFree:        79268 kB
LowTotal:       903652 kB
LowFree:        850648 kB
SwapTotal:     2097136 kB
SwapFree:      2092204 kB
Dirty:              44 kB
Writeback:           0 kB
Mapped:           6924 kB
Slab:            10780 kB
Committed_AS:    63488 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-13 16:42:19 (client local time) WITH STATUS 143 IN  SECONDS
stats: 1323 7  143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc11/normalized-ii32b1.opb
c reading problem 
c [nbvar=456]
c [nbconstr=1602]
c time 2.155
c #vars     456
c #clauses  1602
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=225
c Current CPU time (ms) : 4.329
c starts	: 1
c conflicts	: 7
c decisions	: 135
c propagations	: 948
c inspects	: 2961
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 7
c root simplifications	: 1
c 
c CURRENT OPTIMUM=197
c Current CPU time (ms) : 8.805
c starts	: 2
c conflicts	: 29
c decisions	: 405
c propagations	: 3686
c inspects	: 11586
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 29
c root simplifications	: 2
c 
c CURRENT OPTIMUM=196
c Current CPU time (ms) : 42.509
c starts	: 4
c conflicts	: 160
c decisions	: 1285
c propagations	: 11280
c inspects	: 59340
c learned literals	: 0
c learned binary clauses	: 1
c learned ternary clauses	: 0
c learned clauses	: 160
c root simplifications	: 4
c 
c CURRENT OPTIMUM=195
c Current CPU time (ms) : 58.89
c starts	: 5
c conflicts	: 238
c decisions	: 1964
c propagations	: 15257
c inspects	: 102533
c learned literals	: 0
c learned binary clauses	: 2
c learned ternary clauses	: 2
c learned clauses	: 238
c root simplifications	: 5
c 
c CURRENT OPTIMUM=194
c Current CPU time (ms) : 157.327
c starts	: 7
c conflicts	: 439
c decisions	: 2667
c propagations	: 30640
c inspects	: 431225
c learned literals	: 0
c learned binary clauses	: 2
c learned ternary clauses	: 2
c learned clauses	: 439
c root simplifications	: 7
c 
c CURRENT OPTIMUM=193
c Current CPU time (ms) : 248.113
c starts	: 9
c conflicts	: 601
c decisions	: 3290
c propagations	: 44616
c inspects	: 797304
c learned literals	: 0
c learned binary clauses	: 2
c learned ternary clauses	: 2
c learned clauses	: 601
c root simplifications	: 9
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.92 1.00 0.83 2/54 816
Raw data (stat): 816 (runsolver) R 815 32461 32460 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 419127407 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.0001 s]
Raw data (loadavg): 1.24 1.07 0.86 2/64 830
Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18094 3 1 0 549 42 0 0 25 0 11 0 419127407 865656832 21569 4294967295 134512640 134569956 3221224416 3221214760 1131249423 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211342 21569 13073 16 0 211326 0
vsize: 845368
[startup+20.0013 s]
Raw data (loadavg): 1.20 1.06 0.86 2/64 830
Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18096 3 1 0 1499 43 0 0 25 0 11 0 419127407 863911936 21659 4294967295 134512640 134569956 3221224416 3221214608 1131249155 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210916 21659 13073 16 0 210900 0
vsize: 843664
[startup+30.002 s]
Raw data (loadavg): 1.17 1.06 0.86 2/64 830
Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18096 3 1 0 2448 43 0 0 25 0 11 0 419127407 863911936 22030 4294967295 134512640 134569956 3221224416 3221214596 1131568068 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210916 22030 13073 16 0 210900 0
vsize: 843664
[startup+40.0024 s]
Raw data (loadavg): 1.14 1.06 0.86 2/64 830
Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18096 3 1 0 3387 43 0 0 25 0 11 0 419127407 863911936 22406 4294967295 134512640 134569956 3221224416 3221214792 1131310693 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210916 22406 13073 16 0 210900 0
vsize: 843664
[startup+50.0036 s]
Raw data (loadavg): 1.12 1.06 0.86 2/64 831
Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18097 3 1 0 4316 43 0 0 25 0 11 0 419127407 863911936 22844 4294967295 134512640 134569956 3221224416 3221214696 1131232599 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210916 22844 13073 16 0 210900 0
vsize: 843664
[startup+60.0044 s]
Raw data (loadavg): 1.10 1.05 0.86 2/64 832
Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18097 3 1 0 5242 43 0 0 25 0 11 0 419127407 863911936 23051 4294967295 134512640 134569956 3221224416 3221214736 1131535087 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210916 23051 13073 16 0 210900 0
vsize: 843664
[startup+70.0049 s]
Raw data (loadavg): 1.09 1.05 0.86 2/64 832
Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18097 3 1 0 6175 44 0 0 25 0 11 0 419127407 863911936 23234 4294967295 134512640 134569956 3221224416 3221214760 1131233219 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210916 23234 13073 16 0 210900 0
vsize: 843664
[startup+80.006 s]
Raw data (loadavg): 1.07 1.05 0.86 2/64 832
Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18097 3 1 0 7113 44 0 0 25 0 11 0 419127407 863911936 23407 4294967295 134512640 134569956 3221224416 3221214696 1131233450 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210916 23407 13073 16 0 210900 0
vsize: 843664
[startup+90.0068 s]
Raw data (loadavg): 1.06 1.05 0.87 2/64 832
Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18097 3 1 0 8060 44 0 0 25 0 11 0 419127407 863911936 23530 4294967295 134512640 134569956 3221224416 3221214696 1131232789 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210916 23530 13073 16 0 210900 0
vsize: 843664
[startup+100.007 s]
Raw data (loadavg): 1.05 1.05 0.87 2/64 832
Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18097 3 1 0 9018 44 0 0 25 0 11 0 419127407 863911936 23847 4294967295 134512640 134569956 3221224416 3221214792 1131310933 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210916 23847 13073 16 0 210900 0
vsize: 843664
[startup+110.008 s]
Raw data (loadavg): 1.04 1.04 0.87 2/64 832
Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18097 3 1 0 9986 44 0 0 25 0 11 0 419127407 863911936 23962 4294967295 134512640 134569956 3221224416 3221214704 1131611543 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210916 23962 13073 16 0 210900 0
vsize: 843664
[startup+120.009 s]
Raw data (loadavg): 1.04 1.04 0.87 2/64 832
Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18097 3 1 0 10957 44 0 0 25 0 11 0 419127407 863911936 24033 4294967295 134512640 134569956 3221224416 3221214696 1131232581 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210916 24033 13073 16 0 210900 0
vsize: 843664
[startup+130.009 s]
Raw data (loadavg): 1.03 1.04 0.87 2/64 832
Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18097 3 1 0 11934 44 0 0 25 0 11 0 419127407 863911936 24080 4294967295 134512640 134569956 3221224416 3221214696 1131233552 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210916 24080 13073 16 0 210900 0
vsize: 843664
[startup+140.01 s]
Raw data (loadavg): 1.02 1.04 0.87 2/64 832
Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18097 3 1 0 12911 45 0 0 25 0 11 0 419127407 863911936 24120 4294967295 134512640 134569956 3221224416 3221214792 1131311850 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210916 24120 13073 16 0 210900 0
vsize: 843664
[startup+150.011 s]
Raw data (loadavg): 1.02 1.04 0.87 2/64 832
Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18097 3 1 0 13889 45 0 0 25 0 11 0 419127407 863911936 24203 4294967295 134512640 134569956 3221224416 3221214792 1131310868 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210916 24203 13073 16 0 210900 0
vsize: 843664
[startup+160.012 s]
Raw data (loadavg): 1.02 1.03 0.87 2/64 833
Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18097 3 1 0 14865 46 0 0 25 0 11 0 419127407 863911936 24272 4294967295 134512640 134569956 3221224416 3221214696 1131233048 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210916 24272 13073 16 0 210900 0
vsize: 843664
[startup+170.012 s]
Raw data (loadavg): 1.01 1.03 0.87 2/64 833
Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18097 3 1 0 15842 46 0 0 25 0 11 0 419127407 863911936 24323 4294967295 134512640 134569956 3221224416 3221214792 1131310868 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210916 24323 13073 16 0 210900 0
vsize: 843664
[startup+180.013 s]
Raw data (loadavg): 1.01 1.03 0.87 2/64 833
Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18097 3 1 0 16821 46 0 0 25 0 11 0 419127407 863911936 24357 4294967295 134512640 134569956 3221224416 3221214792 1131310952 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210916 24357 13073 16 0 210900 0
vsize: 843664
[startup+190.013 s]
Raw data (loadavg): 1.01 1.03 0.87 2/64 833
Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18097 3 1 0 17798 46 0 0 24 0 11 0 419127407 863911936 24385 4294967295 134512640 134569956 3221224416 3221214792 1131310693 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210916 24385 13073 16 0 210900 0
vsize: 843664
[startup+200.014 s]
Raw data (loadavg): 1.01 1.03 0.88 2/64 833
Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18097 3 1 0 18778 46 0 0 25 0 11 0 419127407 863911936 24497 4294967295 134512640 134569956 3221224416 3221214792 1131310933 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210916 24497 13073 16 0 210900 0
vsize: 843664
[startup+210.015 s]
Raw data (loadavg): 1.01 1.03 0.88 2/64 833
Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18097 3 1 0 19762 46 0 0 25 0 11 0 419127407 863911936 24521 4294967295 134512640 134569956 3221224416 3221214792 1131310708 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210916 24521 13073 16 0 210900 0
vsize: 843664
[startup+220.016 s]
Raw data (loadavg): 1.00 1.03 0.88 2/64 833
Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18097 3 1 0 20747 47 0 0 25 0 11 0 419127407 863911936 24539 4294967295 134512640 134569956 3221224416 3221214816 1131372588 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210916 24539 13073 16 0 210900 0
vsize: 843664
[startup+230.017 s]
Raw data (loadavg): 1.00 1.02 0.88 2/64 833
Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18097 3 1 0 21729 47 0 0 25 0 11 0 419127407 863911936 24558 4294967295 134512640 134569956 3221224416 3221214792 1131312955 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210916 24558 13073 16 0 210900 0
vsize: 843664
[startup+240.017 s]
Raw data (loadavg): 1.00 1.02 0.88 2/64 833
Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18097 3 1 0 22707 48 0 0 25 0 11 0 419127407 863911936 24596 4294967295 134512640 134569956 3221224416 3221214696 1131232993 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210916 24596 13073 16 0 210900 0
vsize: 843664
[startup+250.018 s]
Raw data (loadavg): 1.00 1.02 0.88 2/64 834
Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18097 3 1 0 23682 49 0 0 25 0 11 0 419127407 863911936 24623 4294967295 134512640 134569956 3221224416 3221214792 1131311014 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210916 24623 13073 16 0 210900 0
vsize: 843664
[startup+260.019 s]
Raw data (loadavg): 1.00 1.02 0.88 2/64 834
Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18097 3 1 0 24657 49 0 0 25 0 11 0 419127407 863911936 24662 4294967295 134512640 134569956 3221224416 3221214792 1131310933 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210916 24662 13073 16 0 210900 0
vsize: 843664
[startup+270.019 s]
Raw data (loadavg): 1.00 1.02 0.88 2/64 834
Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18097 3 1 0 25629 49 0 0 25 0 11 0 419127407 863911936 24683 4294967295 134512640 134569956 3221224416 3221214792 1131314087 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210916 24683 13073 16 0 210900 0
vsize: 843664
[startup+280.019 s]
Raw data (loadavg): 1.00 1.02 0.88 2/64 834
Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18097 3 1 0 26605 50 0 0 25 0 11 0 419127407 863911936 24730 4294967295 134512640 134569956 3221224416 3221214696 1131233459 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210916 24730 13073 16 0 210900 0
vsize: 843664
[startup+290.02 s]
Raw data (loadavg): 1.00 1.02 0.88 2/64 834
Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18097 3 1 0 27574 50 0 0 24 0 11 0 419127407 863911936 24872 4294967295 134512640 134569956 3221224416 3221214792 1131310956 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210916 24872 13073 16 0 210900 0
vsize: 843664
[startup+300.021 s]
Raw data (loadavg): 1.00 1.02 0.89 2/64 834
Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18097 3 1 0 28551 50 0 0 25 0 11 0 419127407 863911936 24907 4294967295 134512640 134569956 3221224416 3221214696 1131232670 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210916 24907 13073 16 0 210900 0
vsize: 843664
[startup+310.022 s]
Raw data (loadavg): 1.00 1.02 0.89 2/64 834
Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18097 3 1 0 29524 50 0 0 25 0 11 0 419127407 863911936 24967 4294967295 134512640 134569956 3221224416 3221214804 1080203749 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210916 24967 13073 16 0 210900 0
vsize: 843664
[startup+320.022 s]
Raw data (loadavg): 1.00 1.02 0.89 2/64 834
Raw data (stat): 816 (java) S 815 32461 32460 0 -1 0 18097 3 1 0 30490 51 0 0 25 0 11 0 419127407 863911936 25000 4294967295 134512640 134569956 3221224416 3221213400 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210916 25000 13073 16 0 210900 0
vsize: 843664
[startup+330.024 s]
Raw data (loadavg): 1.00 1.02 0.89 2/64 834
Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18097 3 1 0 31457 52 0 0 25 0 11 0 419127407 863911936 25046 4294967295 134512640 134569956 3221224416 3221214792 1131310952 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210916 25046 13073 16 0 210900 0
vsize: 843664
[startup+340.024 s]
Raw data (loadavg): 1.00 1.01 0.89 2/64 834
Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18097 3 1 0 32411 52 0 0 25 0 11 0 419127407 863911936 25132 4294967295 134512640 134569956 3221224416 3221214792 1131310705 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210916 25132 13073 16 0 210900 0
vsize: 843664
[startup+350.025 s]
Raw data (loadavg): 1.00 1.01 0.89 2/64 834
Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18097 3 1 0 33367 52 0 0 25 0 11 0 419127407 863911936 25234 4294967295 134512640 134569956 3221224416 3221214808 1131483050 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210916 25234 13073 16 0 210900 0
vsize: 843664
[startup+360.026 s]
Raw data (loadavg): 1.00 1.01 0.89 2/64 834
Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18097 3 1 0 34332 53 0 0 25 0 11 0 419127407 863911936 25328 4294967295 134512640 134569956 3221224416 3221214792 1131312873 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210916 25328 13073 16 0 210900 0
vsize: 843664
[startup+370.025 s]
Raw data (loadavg): 1.00 1.01 0.89 2/64 834
Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18097 3 1 0 35301 53 0 0 25 0 11 0 419127407 863911936 25407 4294967295 134512640 134569956 3221224416 3221214696 1131233600 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210916 25407 13073 16 0 210900 0
vsize: 843664
[startup+380.026 s]
Raw data (loadavg): 1.00 1.01 0.89 2/64 834
Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18097 3 1 0 36274 54 0 0 25 0 11 0 419127407 863911936 25542 4294967295 134512640 134569956 3221224416 3221214696 1131233502 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210916 25542 13073 16 0 210900 0
vsize: 843664
[startup+390.027 s]
Raw data (loadavg): 1.00 1.01 0.89 2/64 834
Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18097 3 1 0 37249 54 0 0 25 0 11 0 419127407 863911936 25622 4294967295 134512640 134569956 3221224416 3221214792 1131312824 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210916 25622 13073 16 0 210900 0
vsize: 843664
[startup+400.029 s]
Raw data (loadavg): 1.00 1.01 0.90 2/64 834
Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18097 3 1 0 38223 54 0 0 25 0 11 0 419127407 863911936 25672 4294967295 134512640 134569956 3221224416 3221214792 1131311962 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210916 25672 13073 16 0 210900 0
vsize: 843664
[startup+410.029 s]
Raw data (loadavg): 1.00 1.01 0.90 2/64 834
Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18097 3 1 0 39193 55 0 0 25 0 11 0 419127407 863911936 25726 4294967295 134512640 134569956 3221224416 3221214792 1131310830 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210916 25726 13073 16 0 210900 0
vsize: 843664
[startup+420.029 s]
Raw data (loadavg): 1.00 1.01 0.90 2/64 834
Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18097 3 1 0 40162 55 0 0 25 0 11 0 419127407 863911936 25741 4294967295 134512640 134569956 3221224416 3221214792 1131310952 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210916 25741 13073 16 0 210900 0
vsize: 843664
[startup+430.03 s]
Raw data (loadavg): 1.00 1.01 0.90 2/64 834
Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18097 3 1 0 41119 56 0 0 25 0 11 0 419127407 863911936 25760 4294967295 134512640 134569956 3221224416 3221214696 1131233502 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210916 25760 13073 16 0 210900 0
vsize: 843664
[startup+440.03 s]
Raw data (loadavg): 1.00 1.00 0.90 3/64 834
Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18097 3 1 0 42074 56 0 0 25 0 11 0 419127407 863911936 25995 4294967295 134512640 134569956 3221224416 3221214000 1130883327 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210916 25995 13073 16 0 210900 0
vsize: 843664
[startup+450.03 s]
Raw data (loadavg): 1.00 1.00 0.90 2/64 834
Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18098 3 1 0 43030 56 0 0 25 0 11 0 419127407 863911936 26043 4294967295 134512640 134569956 3221224416 3221214696 1131233065 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210916 26043 13073 16 0 210900 0
vsize: 843664
[startup+460.03 s]
Raw data (loadavg): 1.00 1.00 0.90 2/64 834
Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18098 3 1 0 43990 57 0 0 25 0 11 0 419127407 863911936 26073 4294967295 134512640 134569956 3221224416 3221214696 1131232993 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210916 26073 13073 16 0 210900 0
vsize: 843664
[startup+470.031 s]
Raw data (loadavg): 1.00 1.00 0.90 2/64 834
Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18098 3 1 0 44946 57 0 0 25 0 11 0 419127407 863911936 26198 4294967295 134512640 134569956 3221224416 3221214696 1131233605 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210916 26198 13073 16 0 210900 0
vsize: 843664
[startup+480.032 s]
Raw data (loadavg): 1.00 1.00 0.90 2/64 834
Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18098 3 1 0 45905 57 0 0 25 0 11 0 419127407 863911936 26287 4294967295 134512640 134569956 3221224416 3221214608 1131249383 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210916 26287 13073 16 0 210900 0
vsize: 843664
[startup+490.033 s]
Raw data (loadavg): 1.00 1.00 0.90 2/64 834
Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18098 3 1 0 46877 58 0 0 25 0 11 0 419127407 863911936 26448 4294967295 134512640 134569956 3221224416 3221214816 1131371040 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210916 26448 13073 16 0 210900 0
vsize: 843664
[startup+500.033 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 834
Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18098 3 1 0 47846 58 0 0 25 0 11 0 419127407 863911936 26522 4294967295 134512640 134569956 3221224416 3221214144 1085679358 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210916 26522 13073 16 0 210900 0
vsize: 843664
[startup+510.033 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 834
Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18098 3 1 0 48812 58 0 0 25 0 11 0 419127407 863911936 26565 4294967295 134512640 134569956 3221224416 3221214696 1131233575 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210916 26565 13073 16 0 210900 0
vsize: 843664
[startup+520.033 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 834
Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18098 3 1 0 49777 58 0 0 25 0 11 0 419127407 863911936 26620 4294967295 134512640 134569956 3221224416 3221213976 1085679762 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210916 26620 13073 16 0 210900 0
vsize: 843664
[startup+530.034 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 834
Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18098 3 1 0 50736 59 0 0 24 0 11 0 419127407 863911936 26721 4294967295 134512640 134569956 3221224416 3221214792 1131312011 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210916 26721 13073 16 0 210900 0
vsize: 843664
[startup+540.035 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 834
Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18098 3 1 0 51705 59 0 0 25 0 11 0 419127407 863911936 26840 4294967295 134512640 134569956 3221224416 3221214768 1131343684 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210916 26840 13073 16 0 210900 0
vsize: 843664
[startup+550.035 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 834
Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18098 3 1 0 52674 60 0 0 25 0 11 0 419127407 863911936 26938 4294967295 134512640 134569956 3221224416 3221214792 1131312007 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210916 26938 13073 16 0 210900 0
vsize: 843664
[startup+560.035 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 834
Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18098 3 1 0 53651 60 0 0 25 0 11 0 419127407 863911936 26948 4294967295 134512640 134569956 3221224416 3221214664 1131647837 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210916 26948 13073 16 0 210900 0
vsize: 843664
[startup+570.036 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 834
Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18098 3 1 0 54626 60 0 0 25 0 11 0 419127407 863911936 27034 4294967295 134512640 134569956 3221224416 3221214696 1131233010 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210916 27034 13073 16 0 210900 0
vsize: 843664
[startup+580.037 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 834
Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18098 3 1 0 55610 61 0 0 25 0 11 0 419127407 863911936 27129 4294967295 134512640 134569956 3221224416 3221214696 1131232948 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210916 27129 13073 16 0 210900 0
vsize: 843664
[startup+590.037 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 834
Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18098 3 1 0 56596 61 0 0 25 0 11 0 419127407 863911936 27171 4294967295 134512640 134569956 3221224416 3221214792 1131310868 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210916 27171 13073 16 0 210900 0
vsize: 843664
[startup+600.038 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 834
Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18098 3 1 0 57583 62 0 0 25 0 11 0 419127407 863911936 27194 4294967295 134512640 134569956 3221224416 3221214696 1131233183 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210916 27194 13073 16 0 210900 0
vsize: 843664
[startup+610.038 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 834
Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18098 3 1 0 58569 62 0 0 24 0 11 0 419127407 863911936 27203 4294967295 134512640 134569956 3221224416 3221214792 1131312681 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210916 27203 13073 16 0 210900 0
vsize: 843664
[startup+620.038 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 834
Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18098 3 1 0 59557 63 0 0 25 0 11 0 419127407 863911936 27220 4294967295 134512640 134569956 3221224416 3221214792 1131310868 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210916 27220 13073 16 0 210900 0
vsize: 843664
[startup+630.039 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 834
Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18098 3 1 0 60542 63 0 0 25 0 11 0 419127407 863911936 27247 4294967295 134512640 134569956 3221224416 3221214696 1131232993 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210916 27247 13073 16 0 210900 0
vsize: 843664
[startup+640.04 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 834
Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18098 3 1 0 61526 64 0 0 25 0 11 0 419127407 863911936 27263 4294967295 134512640 134569956 3221224416 3221214792 1131311924 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210916 27263 13073 16 0 210900 0
vsize: 843664
[startup+650.039 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 834
Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18098 3 1 0 62508 64 0 0 25 0 11 0 419127407 863911936 27277 4294967295 134512640 134569956 3221224416 3221214744 1131281524 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210916 27277 13073 16 0 210900 0
vsize: 843664
[startup+660.041 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 834
Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18098 3 1 0 63491 64 0 0 25 0 11 0 419127407 863911936 27285 4294967295 134512640 134569956 3221224416 3221214792 1131310933 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210916 27285 13073 16 0 210900 0
vsize: 843664
[startup+670.041 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 834
Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18098 3 1 0 64472 65 0 0 24 0 11 0 419127407 863911936 27292 4294967295 134512640 134569956 3221224416 3221214792 1131317121 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210916 27292 13073 16 0 210900 0
vsize: 843664
[startup+680.041 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 834
Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18098 3 1 0 65454 65 0 0 25 0 11 0 419127407 863911936 27350 4294967295 134512640 134569956 3221224416 3221214696 1131232993 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210916 27350 13073 16 0 210900 0
vsize: 843664
[startup+690.041 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 834
Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18098 3 1 0 66438 65 0 0 25 0 11 0 419127407 863911936 27382 4294967295 134512640 134569956 3221224416 3221214696 1131232690 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210916 27382 13073 16 0 210900 0
vsize: 843664
[startup+700.041 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 834
Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18098 3 1 0 67422 66 0 0 25 0 11 0 419127407 863911936 27425 4294967295 134512640 134569956 3221224416 3221214792 1131312978 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210916 27425 13073 16 0 210900 0
vsize: 843664
[startup+710.042 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 834
Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18098 3 1 0 68409 67 0 0 25 0 11 0 419127407 863911936 27443 4294967295 134512640 134569956 3221224416 3221214792 1131310900 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210916 27443 13073 16 0 210900 0
vsize: 843664
[startup+720.042 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 834
Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18098 3 1 0 69397 67 0 0 24 0 11 0 419127407 863911936 27452 4294967295 134512640 134569956 3221224416 3221214696 1131232613 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210916 27452 13073 16 0 210900 0
vsize: 843664
[startup+730.043 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 834
Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18098 3 1 0 70384 67 0 0 25 0 11 0 419127407 863911936 27468 4294967295 134512640 134569956 3221224416 3221214696 1131232931 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210916 27468 13073 16 0 210900 0
vsize: 843664
[startup+740.043 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 834
Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18098 3 1 0 71374 68 0 0 25 0 11 0 419127407 863911936 27474 4294967295 134512640 134569956 3221224416 3221214792 1131311962 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210916 27474 13073 16 0 210900 0
vsize: 843664
[startup+750.043 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 834
Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18098 3 1 0 72361 68 0 0 25 0 11 0 419127407 863911936 27484 4294967295 134512640 134569956 3221224416 3221214792 1131310872 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210916 27484 13073 16 0 210900 0
vsize: 843664
[startup+760.043 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 834
Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18098 3 1 0 73346 69 0 0 25 0 11 0 419127407 863911936 27493 4294967295 134512640 134569956 3221224416 3221214792 1131312011 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210916 27493 13073 16 0 210900 0
vsize: 843664
[startup+770.043 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 834
Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18098 3 1 0 74340 69 0 0 25 0 11 0 419127407 863911936 27498 4294967295 134512640 134569956 3221224416 3221214792 1131311789 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210916 27498 13073 16 0 210900 0
vsize: 843664
[startup+780.044 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 834
Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18098 3 1 0 75326 69 0 0 25 0 11 0 419127407 863911936 27507 4294967295 134512640 134569956 3221224416 3221214792 1131310861 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210916 27507 13073 16 0 210900 0
vsize: 843664
[startup+790.044 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 834
Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18098 3 1 0 76315 70 0 0 25 0 11 0 419127407 863911936 27526 4294967295 134512640 134569956 3221224416 3221214792 1131312007 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210916 27526 13073 16 0 210900 0
vsize: 843664
[startup+800.044 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 834
Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18098 3 1 0 77304 70 0 0 25 0 11 0 419127407 863911936 27539 4294967295 134512640 134569956 3221224416 3221214696 1131233215 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210916 27539 13073 16 0 210900 0
vsize: 843664
[startup+810.044 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 834
Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18098 3 1 0 78289 70 0 0 25 0 11 0 419127407 863911936 27549 4294967295 134512640 134569956 3221224416 3221214696 1131232690 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210916 27549 13073 16 0 210900 0
vsize: 843664
[startup+820.045 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 834
Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18098 3 1 0 79278 71 0 0 25 0 11 0 419127407 863911936 27562 4294967295 134512640 134569956 3221224416 3221214792 1131312011 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210916 27562 13073 16 0 210900 0
vsize: 843664
[startup+830.045 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 834
Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18098 3 1 0 80265 71 0 0 25 0 11 0 419127407 863911936 27573 4294967295 134512640 134569956 3221224416 3221214376 1131647810 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210916 27573 13073 16 0 210900 0
vsize: 843664
[startup+840.046 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 834
Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18098 3 1 0 81252 71 0 0 25 0 11 0 419127407 863911936 27587 4294967295 134512640 134569956 3221224416 3221214792 1131311962 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210916 27587 13073 16 0 210900 0
vsize: 843664
[startup+850.046 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 834
Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18098 3 1 0 82235 72 0 0 25 0 11 0 419127407 863911936 27608 4294967295 134512640 134569956 3221224416 3221214792 1131312838 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210916 27608 13073 16 0 210900 0
vsize: 843664
[startup+860.047 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 834
Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18098 3 1 0 83223 72 0 0 25 0 11 0 419127407 863911936 27625 4294967295 134512640 134569956 3221224416 3221214696 1131232931 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210916 27625 13073 16 0 210900 0
vsize: 843664
[startup+870.047 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 834
Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18098 3 1 0 84204 73 0 0 25 0 11 0 419127407 863911936 27640 4294967295 134512640 134569956 3221224416 3221214600 1131569098 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210916 27640 13073 16 0 210900 0
vsize: 843664
[startup+880.048 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 834
Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18098 3 1 0 85186 73 0 0 25 0 11 0 419127407 863911936 27649 4294967295 134512640 134569956 3221224416 3221214792 1131310705 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210916 27649 13073 16 0 210900 0
vsize: 843664
[startup+890.048 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 834
Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18098 3 1 0 86166 73 0 0 25 0 11 0 419127407 863911936 27652 4294967295 134512640 134569956 3221224416 3221214160 1131647804 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210916 27652 13073 16 0 210900 0
vsize: 843664
[startup+900.048 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 834
Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18098 3 1 0 87146 74 0 0 24 0 11 0 419127407 863911936 27659 4294967295 134512640 134569956 3221224416 3221214696 1131233215 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210916 27659 13073 16 0 210900 0
vsize: 843664
[startup+910.049 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 834
Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18098 3 1 0 88123 74 0 0 25 0 11 0 419127407 863911936 27687 4294967295 134512640 134569956 3221224416 3221214696 1131232993 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210916 27687 13073 16 0 210900 0
vsize: 843664
[startup+920.049 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 834
Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18098 3 1 0 89107 74 0 0 25 0 11 0 419127407 863911936 27761 4294967295 134512640 134569956 3221224416 3221214696 1131233688 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210916 27761 13073 16 0 210900 0
vsize: 843664
[startup+930.05 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 834
Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18098 3 1 0 90089 75 0 0 25 0 11 0 419127407 863911936 27788 4294967295 134512640 134569956 3221224416 3221214420 1131647561 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210916 27788 13073 16 0 210900 0
vsize: 843664
[startup+940.051 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 834
Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18098 3 1 0 91071 75 0 0 25 0 11 0 419127407 863911936 27819 4294967295 134512640 134569956 3221224416 3221214792 1131310861 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210916 27819 13073 16 0 210900 0
vsize: 843664
[startup+950.051 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 834
Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18098 3 1 0 92056 75 0 0 25 0 11 0 419127407 863911936 27858 4294967295 134512640 134569956 3221224416 3221214696 1131232655 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210916 27858 13073 16 0 210900 0
vsize: 843664
[startup+960.052 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 834
Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18098 3 1 0 93039 76 0 0 25 0 11 0 419127407 863911936 27880 4294967295 134512640 134569956 3221224416 3221214792 1131312824 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210916 27880 13073 16 0 210900 0
vsize: 843664
[startup+970.053 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 834
Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18098 3 1 0 94022 76 0 0 25 0 11 0 419127407 863911936 27899 4294967295 134512640 134569956 3221224416 3221214792 1131312867 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210916 27899 13073 16 0 210900 0
vsize: 843664
[startup+980.053 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 834
Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18098 3 1 0 95003 77 0 0 25 0 11 0 419127407 863911936 27914 4294967295 134512640 134569956 3221224416 3221214696 1131233818 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210916 27914 13073 16 0 210900 0
vsize: 843664
[startup+990.054 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 834
Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18098 3 1 0 95983 77 0 0 25 0 11 0 419127407 863911936 27936 4294967295 134512640 134569956 3221224416 3221214696 1131233662 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210916 27936 13073 16 0 210900 0
vsize: 843664
[startup+1000.05 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 834
Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18098 3 1 0 96962 78 0 0 25 0 11 0 419127407 863911936 27971 4294967295 134512640 134569956 3221224416 3221214792 1131310868 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210916 27971 13073 16 0 210900 0
vsize: 843664
[startup+1010.05 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 834
Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18098 3 1 0 97943 78 0 0 25 0 11 0 419127407 863911936 27996 4294967295 134512640 134569956 3221224416 3221214792 1131312858 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210916 27996 13073 16 0 210900 0
vsize: 843664
[startup+1020.05 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 834
Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18098 3 1 0 98921 78 0 0 25 0 11 0 419127407 863911936 28057 4294967295 134512640 134569956 3221224416 3221214792 1131310868 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210916 28057 13073 16 0 210900 0
vsize: 843664
[startup+1030.06 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 834
Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18098 3 1 0 99901 78 0 0 25 0 11 0 419127407 863911936 28083 4294967295 134512640 134569956 3221224416 3221214224 1131647762 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210916 28083 13073 16 0 210900 0
vsize: 843664
[startup+1040.06 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 834
Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18098 3 1 0 100871 78 0 0 24 0 11 0 419127407 863911936 28115 4294967295 134512640 134569956 3221224416 3221214792 1131310933 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210916 28115 13073 16 0 210900 0
vsize: 843664
[startup+1050.06 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 834
Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18098 3 1 0 101843 78 0 0 25 0 11 0 419127407 863911936 28178 4294967295 134512640 134569956 3221224416 3221214792 1131310868 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210916 28178 13073 16 0 210900 0
vsize: 843664
[startup+1060.06 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 834
Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18098 3 1 0 102815 78 0 0 25 0 11 0 419127407 863911936 28219 4294967295 134512640 134569956 3221224416 3221214264 1131645866 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210916 28219 13073 16 0 210900 0
vsize: 843664
[startup+1070.06 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 834
Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18098 3 1 0 103785 78 0 0 25 0 11 0 419127407 863911936 28236 4294967295 134512640 134569956 3221224416 3221214792 1131310693 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210916 28236 13073 16 0 210900 0
vsize: 843664
[startup+1080.06 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 834
Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18098 3 1 0 104757 79 0 0 25 0 11 0 419127407 863911936 28348 4294967295 134512640 134569956 3221224416 3221214696 1131233169 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210916 28348 13073 16 0 210900 0
vsize: 843664
[startup+1090.06 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 834
Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18098 3 1 0 105733 79 0 0 25 0 11 0 419127407 863911936 28433 4294967295 134512640 134569956 3221224416 3221214704 1131611671 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210916 28433 13073 16 0 210900 0
vsize: 843664
[startup+1100.06 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 834
Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18098 3 1 0 106711 79 0 0 25 0 11 0 419127407 863911936 28478 4294967295 134512640 134569956 3221224416 3221214696 1131232993 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210916 28478 13073 16 0 210900 0
vsize: 843664
[startup+1110.06 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 834
Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18098 3 1 0 107692 80 0 0 25 0 11 0 419127407 863911936 28539 4294967295 134512640 134569956 3221224416 3221214792 1131310868 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210916 28539 13073 16 0 210900 0
vsize: 843664
[startup+1120.06 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 834
Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18098 3 1 0 108673 80 0 0 25 0 11 0 419127407 863911936 28561 4294967295 134512640 134569956 3221224416 3221214792 1131312811 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210916 28561 13073 16 0 210900 0
vsize: 843664
[startup+1130.06 s]
Raw data (loadavg): 1.07 1.02 0.91 2/64 834
Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18098 3 1 0 109652 81 0 0 25 0 11 0 419127407 863911936 28591 4294967295 134512640 134569956 3221224416 3221214696 1131233580 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210916 28591 13073 16 0 210900 0
vsize: 843664
[startup+1140.06 s]
Raw data (loadavg): 1.06 1.02 0.91 2/64 834
Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18098 3 1 0 110632 81 0 0 25 0 11 0 419127407 863911936 28619 4294967295 134512640 134569956 3221224416 3221214496 1131620273 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210916 28619 13073 16 0 210900 0
vsize: 843664
[startup+1150.06 s]
Raw data (loadavg): 1.05 1.01 0.91 2/64 834
Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18098 3 1 0 111612 82 0 0 25 0 11 0 419127407 863911936 28650 4294967295 134512640 134569956 3221224416 3221214792 1131310868 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210916 28650 13073 16 0 210900 0
vsize: 843664
[startup+1160.06 s]
Raw data (loadavg): 1.04 1.01 0.91 2/64 834
Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18098 3 1 0 112592 82 0 0 24 0 11 0 419127407 863911936 28697 4294967295 134512640 134569956 3221224416 3221214696 1131232613 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210916 28697 13073 16 0 210900 0
vsize: 843664
[startup+1170.06 s]
Raw data (loadavg): 1.04 1.01 0.91 2/64 834
Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18098 3 1 0 113575 83 0 0 25 0 11 0 419127407 863911936 28728 4294967295 134512640 134569956 3221224416 3221214792 1131310900 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210916 28728 13073 16 0 210900 0
vsize: 843664
[startup+1180.06 s]
Raw data (loadavg): 1.03 1.01 0.91 2/64 834
Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18098 3 1 0 114556 83 0 0 25 0 11 0 419127407 863911936 28760 4294967295 134512640 134569956 3221224416 3221214696 1131232676 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210916 28760 13073 16 0 210900 0
vsize: 843664
[startup+1190.06 s]
Raw data (loadavg): 1.02 1.01 0.91 2/64 834
Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18098 3 1 0 115536 83 0 0 25 0 11 0 419127407 863911936 28789 4294967295 134512640 134569956 3221224416 3221214792 1131310868 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210916 28789 13073 16 0 210900 0
vsize: 843664
[startup+1200.07 s]
Raw data (loadavg): 1.02 1.01 0.91 2/64 834
Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18098 3 1 0 116514 84 0 0 25 0 11 0 419127407 863911936 28816 4294967295 134512640 134569956 3221224416 3221214696 1131232993 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210916 28816 13073 16 0 210900 0
vsize: 843664
[startup+1210.07 s]
Raw data (loadavg): 1.02 1.01 0.91 2/64 834
Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18098 3 1 0 117493 84 0 0 24 0 11 0 419127407 863911936 28853 4294967295 134512640 134569956 3221224416 3221214792 1131310933 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210916 28853 13073 16 0 210900 0
vsize: 843664
[startup+1220.07 s]
Raw data (loadavg): 1.01 1.01 0.91 2/64 834
Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18098 3 1 0 118474 85 0 0 25 0 11 0 419127407 863911936 28878 4294967295 134512640 134569956 3221224416 3221214792 1131310868 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210916 28878 13073 16 0 210900 0
vsize: 843664
[startup+1230.07 s]
Raw data (loadavg): 1.01 1.01 0.91 2/64 834
Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18098 3 1 0 119454 85 0 0 25 0 11 0 419127407 863911936 28908 4294967295 134512640 134569956 3221224416 3221214696 1131232573 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210916 28908 13073 16 0 210900 0
vsize: 843664
[startup+1240.07 s]
Raw data (loadavg): 1.01 1.01 0.91 2/64 834
Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18098 3 1 0 120433 85 0 0 25 0 11 0 419127407 863911936 28967 4294967295 134512640 134569956 3221224416 3221214792 1131311078 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210916 28967 13073 16 0 210900 0
vsize: 843664
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1240.15 s]
Raw data (loadavg): 1.01 1.01 0.91 1/54 836
Raw data (stat): 816 (java) Z 815 32461 32460 0 -1 1036 18098 8190 1 0 120436 85 3010 29 25 0 1 0 419127407 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): 1240.15
CPU time (s): 1235.61
CPU user time (s): 1234.47
CPU system time (s): 1.14682
CPU usage (%): 99.6344
Max. virtual memory (Kb): 845368
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####