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/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-gt2.opb
MD5SUMf1382105ee9fb79777762a53cf6a73c1
Bench Categoryoptimization, medium integers (OPTMEDINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 21166
Optimality of the best value was proved NO
Number of terms in the objective function 304
Biggest coefficient in the objective function 62376
Number of bits for the biggest coefficient in the objective function 16
Sum of the numbers in the objective function 3092598
Number of bits of the sum of numbers in the objective function 22
Biggest number in a constraint 62376
Number of bits of the biggest number in a constraint 16
Biggest sum of numbers in a constraint 3092598
Number of bits of the biggest sum of numbers22
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1175.14
Number of variables556
Total number of constraints217
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)26
Number of constraints which are nor clauses,nor cardinality constraints191
Minimum length of a constraint1
Maximum length of a constraint48

Trace number 18215

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc8 THE 2005-04-21 13:55:47 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=18443 boxname=wulflinc8 idbench=1419 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  f1382105ee9fb79777762a53cf6a73c1  /oldhome/oroussel/tmp/wulflinc8/normalized-mps-v2-13-7-gt2.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc8/normalized-mps-v2-13-7-gt2.opb
IDLAUNCH: 18443
/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:        675216 kB
Buffers:         31592 kB
Cached:         305892 kB
SwapCached:          0 kB
Active:          81204 kB
Inactive:       259148 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        674964 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           6952 kB
Slab:            13372 kB
Committed_AS:    63596 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-21 14:16:10 (client local time) WITH STATUS 143 IN 1216.72 SECONDS
stats: 18443 7 1216.72 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc8/normalized-mps-v2-13-7-gt2.opb
c reading problem 
c [nbvar=556]
c [nbconstr=217]
c time 1.352
c #vars     556
c #clauses  180
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=21166
c Current CPU time (ms) : 9.519
c starts	: 1
c conflicts	: 31
c decisions	: 695
c propagations	: 1712
c inspects	: 1190
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 31
c root simplifications	: 1
#### 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.91 0.95 0.90 2/54 31804
Raw data (stat): 31804 (runsolver) R 31803 26667 26666 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 473818949 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0006 s]
Raw data (loadavg): 1.09 0.99 0.92 2/64 31814
Raw data (stat): 31804 (java) R 31803 26667 26666 0 -1 0 18096 0 1 0 651 40 0 0 25 0 11 0 473818949 867962880 22095 4294967295 134512640 134569956 3221224416 3221214832 1131188245 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211905 22095 13073 16 0 211889 0
vsize: 847620
[startup+20.0008 s]
Raw data (loadavg): 1.15 1.00 0.92 2/64 31815
Raw data (stat): 31804 (java) R 31803 26667 26666 0 -1 0 18099 3 1 0 1583 41 0 0 24 0 11 0 473818949 867504128 22339 4294967295 134512640 134569956 3221224416 3221214816 1131196901 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211793 22339 13073 16 0 211777 0
vsize: 847172
[startup+30.0016 s]
Raw data (loadavg): 1.12 1.00 0.92 2/64 31815
Raw data (stat): 31804 (java) R 31803 26667 26666 0 -1 0 18099 3 1 0 2528 41 0 0 25 0 11 0 473818949 867504128 22527 4294967295 134512640 134569956 3221224416 3221214816 1131197043 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211793 22527 13073 16 0 211777 0
vsize: 847172
[startup+40.0017 s]
Raw data (loadavg): 1.10 1.00 0.92 2/64 31815
Raw data (stat): 31804 (java) R 31803 26667 26666 0 -1 0 18099 3 1 0 3497 41 0 0 25 0 11 0 473818949 867504128 22602 4294967295 134512640 134569956 3221224416 3221214452 1131615820 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211793 22602 13073 16 0 211777 0
vsize: 847172
[startup+50.003 s]
Raw data (loadavg): 1.09 1.00 0.92 2/64 31815
Raw data (stat): 31804 (java) R 31803 26667 26666 0 -1 0 18099 3 1 0 4467 41 0 0 25 0 11 0 473818949 867504128 22914 4294967295 134512640 134569956 3221224416 3221214816 1131619367 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211793 22914 13073 16 0 211777 0
vsize: 847172
[startup+60.0039 s]
Raw data (loadavg): 1.07 1.00 0.92 2/64 31815
Raw data (stat): 31804 (java) R 31803 26667 26666 0 -1 0 18099 3 1 0 5450 42 0 0 25 0 11 0 473818949 867504128 22977 4294967295 134512640 134569956 3221224416 3221214808 1131188257 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211793 22977 13073 16 0 211777 0
vsize: 847172
[startup+70.0041 s]
Raw data (loadavg): 1.06 1.00 0.92 2/64 31815
Raw data (stat): 31804 (java) R 31803 26667 26666 0 -1 0 18099 3 1 0 6436 42 0 0 25 0 11 0 473818949 867504128 23013 4294967295 134512640 134569956 3221224416 3221214768 1131640626 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211793 23013 13073 16 0 211777 0
vsize: 847172
[startup+80.0054 s]
Raw data (loadavg): 1.05 1.00 0.92 2/64 31815
Raw data (stat): 31804 (java) R 31803 26667 26666 0 -1 0 18099 3 1 0 7422 42 0 0 25 0 11 0 473818949 867504128 23065 4294967295 134512640 134569956 3221224416 3221214768 1131197529 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211793 23065 13073 16 0 211777 0
vsize: 847172
[startup+90.0053 s]
Raw data (loadavg): 1.04 1.00 0.92 2/64 31815
Raw data (stat): 31804 (java) R 31803 26667 26666 0 -1 0 18099 3 1 0 8411 42 0 0 25 0 11 0 473818949 867504128 23159 4294967295 134512640 134569956 3221224416 3221214768 1131196878 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211793 23159 13073 16 0 211777 0
vsize: 847172
[startup+100.005 s]
Raw data (loadavg): 1.04 1.00 0.92 2/64 31815
Raw data (stat): 31804 (java) R 31803 26667 26666 0 -1 0 18099 3 1 0 9402 42 0 0 25 0 11 0 473818949 867504128 23199 4294967295 134512640 134569956 3221224416 3221214664 1131637991 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211793 23199 13073 16 0 211777 0
vsize: 847172
[startup+110.005 s]
Raw data (loadavg): 1.03 1.00 0.92 2/64 31815
Raw data (stat): 31804 (java) R 31803 26667 26666 0 -1 0 18099 3 1 0 10391 42 0 0 25 0 11 0 473818949 867504128 23224 4294967295 134512640 134569956 3221224416 3221214440 1085679762 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211793 23224 13073 16 0 211777 0
vsize: 847172
[startup+120.006 s]
Raw data (loadavg): 1.02 1.00 0.92 2/64 31815
Raw data (stat): 31804 (java) R 31803 26667 26666 0 -1 0 18099 3 1 0 11377 42 0 0 25 0 11 0 473818949 867504128 23249 4294967295 134512640 134569956 3221224416 3221214864 1131209871 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211793 23249 13073 16 0 211777 0
vsize: 847172
[startup+130.006 s]
Raw data (loadavg): 1.02 1.00 0.92 2/64 31815
Raw data (stat): 31804 (java) R 31803 26667 26666 0 -1 0 18099 3 1 0 12359 42 0 0 25 0 11 0 473818949 867504128 23271 4294967295 134512640 134569956 3221224416 3221214864 1131209159 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211793 23271 13073 16 0 211777 0
vsize: 847172
[startup+140.006 s]
Raw data (loadavg): 1.02 1.00 0.92 2/64 31815
Raw data (stat): 31804 (java) R 31803 26667 26666 0 -1 0 18099 3 1 0 13338 42 0 0 25 0 11 0 473818949 867504128 23297 4294967295 134512640 134569956 3221224416 3221214672 1131639973 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211793 23297 13073 16 0 211777 0
vsize: 847172
[startup+150.007 s]
Raw data (loadavg): 1.01 1.00 0.92 2/64 31815
Raw data (stat): 31804 (java) R 31803 26667 26666 0 -1 0 18099 3 1 0 14318 42 0 0 25 0 11 0 473818949 867504128 23356 4294967295 134512640 134569956 3221224416 3221214808 1131188322 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211793 23356 13073 16 0 211777 0
vsize: 847172
[startup+160.007 s]
Raw data (loadavg): 1.01 1.00 0.92 2/64 31815
Raw data (stat): 31804 (java) R 31803 26667 26666 0 -1 0 18099 3 1 0 15301 42 0 0 25 0 11 0 473818949 867504128 23492 4294967295 134512640 134569956 3221224416 3221214860 1131196467 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211793 23492 13073 16 0 211777 0
vsize: 847172
[startup+170.007 s]
Raw data (loadavg): 1.01 1.00 0.92 2/64 31815
Raw data (stat): 31804 (java) R 31803 26667 26666 0 -1 0 18099 3 1 0 16290 43 0 0 25 0 11 0 473818949 867504128 23535 4294967295 134512640 134569956 3221224416 3221214768 1131197592 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211793 23535 13073 16 0 211777 0
vsize: 847172
[startup+180.007 s]
Raw data (loadavg): 1.01 1.00 0.92 2/64 31815
Raw data (stat): 31804 (java) R 31803 26667 26666 0 -1 0 18099 3 1 0 17281 43 0 0 25 0 11 0 473818949 867504128 23558 4294967295 134512640 134569956 3221224416 3221214768 1131196473 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211793 23558 13073 16 0 211777 0
vsize: 847172
[startup+190.008 s]
Raw data (loadavg): 1.01 1.00 0.92 2/64 31815
Raw data (stat): 31804 (java) R 31803 26667 26666 0 -1 0 18099 3 1 0 18272 43 0 0 25 0 11 0 473818949 867504128 23604 4294967295 134512640 134569956 3221224416 3221214864 1131209871 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211793 23604 13073 16 0 211777 0
vsize: 847172
[startup+200.008 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 31815
Raw data (stat): 31804 (java) R 31803 26667 26666 0 -1 0 18099 3 1 0 19264 43 0 0 25 0 11 0 473818949 867504128 23629 4294967295 134512640 134569956 3221224416 3221214864 1131209799 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211793 23629 13073 16 0 211777 0
vsize: 847172
[startup+210.009 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 31815
Raw data (stat): 31804 (java) R 31803 26667 26666 0 -1 0 18099 3 1 0 20256 43 0 0 25 0 11 0 473818949 867504128 23656 4294967295 134512640 134569956 3221224416 3221214808 1131188357 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211793 23656 13073 16 0 211777 0
vsize: 847172
[startup+220.009 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 31815
Raw data (stat): 31804 (java) R 31803 26667 26666 0 -1 0 18099 3 1 0 21249 43 0 0 25 0 11 0 473818949 867504128 23674 4294967295 134512640 134569956 3221224416 3221214768 1131197375 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211793 23674 13073 16 0 211777 0
vsize: 847172
[startup+230.009 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 31815
Raw data (stat): 31804 (java) R 31803 26667 26666 0 -1 0 18099 3 1 0 22240 43 0 0 25 0 11 0 473818949 867504128 23693 4294967295 134512640 134569956 3221224416 3221214864 1131209316 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211793 23693 13073 16 0 211777 0
vsize: 847172
[startup+240.009 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 31815
Raw data (stat): 31804 (java) R 31803 26667 26666 0 -1 0 18099 3 1 0 23231 43 0 0 25 0 11 0 473818949 867504128 23712 4294967295 134512640 134569956 3221224416 3221214808 1131188224 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211793 23712 13073 16 0 211777 0
vsize: 847172
[startup+250.009 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 31815
Raw data (stat): 31804 (java) R 31803 26667 26666 0 -1 0 18099 3 1 0 24223 44 0 0 25 0 11 0 473818949 867504128 23731 4294967295 134512640 134569956 3221224416 3221214768 1131196846 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211793 23731 13073 16 0 211777 0
vsize: 847172
[startup+260.01 s]
Raw data (loadavg): 1.00 1.00 0.92 3/67 31854
Raw data (stat): 31804 (java) R 31803 26667 26666 0 -1 0 18099 3 1 0 25209 48 0 0 25 0 11 0 473818949 867504128 23759 4294967295 134512640 134569956 3221224416 3221214808 1131188257 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211793 23759 13073 16 0 211777 0
vsize: 847172
[startup+270.01 s]
Raw data (loadavg): 1.07 1.02 0.93 2/64 31868
Raw data (stat): 31804 (java) R 31803 26667 26666 0 -1 0 18099 3 1 0 26196 52 0 0 25 0 11 0 473818949 867504128 23780 4294967295 134512640 134569956 3221224416 3221214808 1131188224 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211793 23780 13073 16 0 211777 0
vsize: 847172
[startup+280.011 s]
Raw data (loadavg): 1.06 1.02 0.93 2/64 31868
Raw data (stat): 31804 (java) R 31803 26667 26666 0 -1 0 18099 3 1 0 27188 53 0 0 25 0 11 0 473818949 867504128 23797 4294967295 134512640 134569956 3221224416 3221214768 1131196998 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211793 23797 13073 16 0 211777 0
vsize: 847172
[startup+290.011 s]
Raw data (loadavg): 1.05 1.01 0.93 2/64 31868
Raw data (stat): 31804 (java) R 31803 26667 26666 0 -1 0 18099 3 1 0 28180 53 0 0 25 0 11 0 473818949 867504128 23816 4294967295 134512640 134569956 3221224416 3221214672 1131638278 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211793 23816 13073 16 0 211777 0
vsize: 847172
[startup+300.011 s]
Raw data (loadavg): 1.04 1.01 0.93 2/64 31868
Raw data (stat): 31804 (java) R 31803 26667 26666 0 -1 0 18099 3 1 0 29172 53 0 0 25 0 11 0 473818949 867504128 23834 4294967295 134512640 134569956 3221224416 3221214524 1131613328 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211793 23834 13073 16 0 211777 0
vsize: 847172
[startup+310.011 s]
Raw data (loadavg): 1.04 1.01 0.93 2/64 31868
Raw data (stat): 31804 (java) R 31803 26667 26666 0 -1 0 18099 3 1 0 30163 54 0 0 25 0 11 0 473818949 867504128 23853 4294967295 134512640 134569956 3221224416 3221214440 1131613308 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211793 23853 13073 16 0 211777 0
vsize: 847172
[startup+320.011 s]
Raw data (loadavg): 1.03 1.01 0.93 2/64 31868
Raw data (stat): 31804 (java) R 31803 26667 26666 0 -1 0 18099 3 1 0 31154 54 0 0 25 0 11 0 473818949 867504128 23879 4294967295 134512640 134569956 3221224416 3221214488 1131611476 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211793 23879 13073 16 0 211777 0
vsize: 847172
[startup+330.012 s]
Raw data (loadavg): 1.02 1.01 0.93 2/64 31868
Raw data (stat): 31804 (java) R 31803 26667 26666 0 -1 0 18099 3 1 0 32147 54 0 0 25 0 11 0 473818949 867504128 23897 4294967295 134512640 134569956 3221224416 3221214808 1131188224 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211793 23897 13073 16 0 211777 0
vsize: 847172
[startup+340.012 s]
Raw data (loadavg): 1.02 1.01 0.93 2/64 31870
Raw data (stat): 31804 (java) R 31803 26667 26666 0 -1 0 18099 3 1 0 33137 55 0 0 25 0 11 0 473818949 867504128 23923 4294967295 134512640 134569956 3221224416 3221214768 1131197529 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211793 23923 13073 16 0 211777 0
vsize: 847172
[startup+350.013 s]
Raw data (loadavg): 1.02 1.01 0.93 2/64 31870
Raw data (stat): 31804 (java) R 31803 26667 26666 0 -1 0 18099 3 1 0 34128 55 0 0 25 0 11 0 473818949 867504128 23946 4294967295 134512640 134569956 3221224416 3221214600 1131629270 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211793 23946 13073 16 0 211777 0
vsize: 847172
[startup+360.013 s]
Raw data (loadavg): 1.01 1.01 0.93 2/64 31870
Raw data (stat): 31804 (java) R 31803 26667 26666 0 -1 0 18099 3 1 0 35120 56 0 0 25 0 11 0 473818949 867504128 23964 4294967295 134512640 134569956 3221224416 3221214768 1131196846 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211793 23964 13073 16 0 211777 0
vsize: 847172
[startup+370.013 s]
Raw data (loadavg): 1.01 1.01 0.93 2/64 31870
Raw data (stat): 31804 (java) R 31803 26667 26666 0 -1 0 18099 3 1 0 36108 56 0 0 24 0 11 0 473818949 867504128 23986 4294967295 134512640 134569956 3221224416 3221214768 1131196901 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211793 23986 13073 16 0 211777 0
vsize: 847172
[startup+380.014 s]
Raw data (loadavg): 1.01 1.01 0.93 2/64 31870
Raw data (stat): 31804 (java) R 31803 26667 26666 0 -1 0 18099 3 1 0 37096 56 0 0 25 0 11 0 473818949 867504128 24003 4294967295 134512640 134569956 3221224416 3221214768 1131196901 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211793 24003 13073 16 0 211777 0
vsize: 847172
[startup+390.013 s]
Raw data (loadavg): 1.01 1.00 0.93 2/64 31870
Raw data (stat): 31804 (java) R 31803 26667 26666 0 -1 0 18099 3 1 0 38081 57 0 0 25 0 11 0 473818949 867504128 24024 4294967295 134512640 134569956 3221224416 3221214808 1131487304 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211793 24024 13073 16 0 211777 0
vsize: 847172
[startup+400.014 s]
Raw data (loadavg): 1.01 1.00 0.93 2/64 31870
Raw data (stat): 31804 (java) R 31803 26667 26666 0 -1 0 18099 3 1 0 39055 57 0 0 25 0 11 0 473818949 867504128 24073 4294967295 134512640 134569956 3221224416 3221214768 1131196532 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211793 24073 13073 16 0 211777 0
vsize: 847172
[startup+410.015 s]
Raw data (loadavg): 1.08 1.02 0.93 2/64 31870
Raw data (stat): 31804 (java) R 31803 26667 26666 0 -1 0 18099 3 1 0 40030 58 0 0 25 0 11 0 473818949 867504128 24127 4294967295 134512640 134569956 3221224416 3221214488 1131611530 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211793 24127 13073 16 0 211777 0
vsize: 847172
[startup+420.014 s]
Raw data (loadavg): 1.07 1.02 0.93 2/64 31870
Raw data (stat): 31804 (java) R 31803 26667 26666 0 -1 0 18099 3 1 0 41007 58 0 0 25 0 11 0 473818949 867504128 24162 4294967295 134512640 134569956 3221224416 3221214808 1131188241 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211793 24162 13073 16 0 211777 0
vsize: 847172
[startup+430.016 s]
Raw data (loadavg): 1.06 1.02 0.93 2/64 31870
Raw data (stat): 31804 (java) R 31803 26667 26666 0 -1 0 18099 3 1 0 41982 58 0 0 25 0 11 0 473818949 867504128 24212 4294967295 134512640 134569956 3221224416 3221214768 1131641008 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211793 24212 13073 16 0 211777 0
vsize: 847172
[startup+440.015 s]
Raw data (loadavg): 1.05 1.02 0.93 2/64 31870
Raw data (stat): 31804 (java) R 31803 26667 26666 0 -1 0 18099 3 1 0 42967 58 0 0 25 0 11 0 473818949 867504128 24421 4294967295 134512640 134569956 3221224416 3221214860 1131197747 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211793 24421 13073 16 0 211777 0
vsize: 847172
[startup+450.016 s]
Raw data (loadavg): 1.04 1.02 0.93 2/64 31870
Raw data (stat): 31804 (java) R 31803 26667 26666 0 -1 0 18099 3 1 0 43958 59 0 0 25 0 11 0 473818949 867504128 24462 4294967295 134512640 134569956 3221224416 3221214768 1131196901 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211793 24462 13073 16 0 211777 0
vsize: 847172
[startup+460.016 s]
Raw data (loadavg): 1.03 1.01 0.93 2/64 31870
Raw data (stat): 31804 (java) R 31803 26667 26666 0 -1 0 18099 3 1 0 44951 59 0 0 25 0 11 0 473818949 867504128 24484 4294967295 134512640 134569956 3221224416 3221214768 1131196492 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211793 24484 13073 16 0 211777 0
vsize: 847172
[startup+470.017 s]
Raw data (loadavg): 1.03 1.01 0.93 2/64 31870
Raw data (stat): 31804 (java) R 31803 26667 26666 0 -1 0 18099 3 1 0 45944 59 0 0 25 0 11 0 473818949 867504128 24500 4294967295 134512640 134569956 3221224416 3221214768 1131197365 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211793 24500 13073 16 0 211777 0
vsize: 847172
[startup+480.017 s]
Raw data (loadavg): 1.02 1.01 0.93 2/64 31870
Raw data (stat): 31804 (java) R 31803 26667 26666 0 -1 0 18099 3 1 0 46934 60 0 0 25 0 11 0 473818949 867504128 24519 4294967295 134512640 134569956 3221224416 3221214720 1131613304 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211793 24519 13073 16 0 211777 0
vsize: 847172
[startup+490.018 s]
Raw data (loadavg): 1.02 1.01 0.93 2/64 31870
Raw data (stat): 31804 (java) R 31803 26667 26666 0 -1 0 18099 3 1 0 47926 60 0 0 25 0 11 0 473818949 867504128 24535 4294967295 134512640 134569956 3221224416 3221214632 1085679358 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211793 24535 13073 16 0 211777 0
vsize: 847172
[startup+500.019 s]
Raw data (loadavg): 1.09 1.03 0.94 2/64 31870
Raw data (stat): 31804 (java) R 31803 26667 26666 0 -1 0 18099 3 1 0 48918 61 0 0 25 0 11 0 473818949 867504128 24549 4294967295 134512640 134569956 3221224416 3221214768 1131197079 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211793 24549 13073 16 0 211777 0
vsize: 847172
[startup+510.019 s]
Raw data (loadavg): 1.07 1.03 0.94 2/64 31870
Raw data (stat): 31804 (java) R 31803 26667 26666 0 -1 0 18099 3 1 0 49908 61 0 0 25 0 11 0 473818949 867504128 24570 4294967295 134512640 134569956 3221224416 3221214536 1085679302 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211793 24570 13073 16 0 211777 0
vsize: 847172
[startup+520.019 s]
Raw data (loadavg): 1.06 1.02 0.94 2/64 31870
Raw data (stat): 31804 (java) R 31803 26667 26666 0 -1 0 18099 3 1 0 50900 62 0 0 25 0 11 0 473818949 867504128 24632 4294967295 134512640 134569956 3221224416 3221214408 1085632310 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211793 24632 13073 16 0 211777 0
vsize: 847172
[startup+530.02 s]
Raw data (loadavg): 1.05 1.02 0.94 2/64 31870
Raw data (stat): 31804 (java) R 31803 26667 26666 0 -1 0 18099 3 1 0 51893 62 0 0 25 0 11 0 473818949 867504128 24646 4294967295 134512640 134569956 3221224416 3221214808 1131188322 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211793 24646 13073 16 0 211777 0
vsize: 847172
[startup+540.02 s]
Raw data (loadavg): 1.04 1.02 0.94 2/64 31870
Raw data (stat): 31804 (java) R 31803 26667 26666 0 -1 0 18099 3 1 0 52884 62 0 0 25 0 11 0 473818949 867504128 24667 4294967295 134512640 134569956 3221224416 3221214624 1131613297 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211793 24667 13073 16 0 211777 0
vsize: 847172
[startup+550.021 s]
Raw data (loadavg): 1.04 1.02 0.94 2/64 31870
Raw data (stat): 31804 (java) R 31803 26667 26666 0 -1 0 18099 3 1 0 53877 63 0 0 25 0 11 0 473818949 867504128 24681 4294967295 134512640 134569956 3221224416 3221214528 1131613268 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211793 24681 13073 16 0 211777 0
vsize: 847172
[startup+560.021 s]
Raw data (loadavg): 1.03 1.02 0.94 2/64 31870
Raw data (stat): 31804 (java) R 31803 26667 26666 0 -1 0 18099 3 1 0 54868 63 0 0 25 0 11 0 473818949 867504128 24701 4294967295 134512640 134569956 3221224416 3221214344 1085679296 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211793 24701 13073 16 0 211777 0
vsize: 847172
[startup+570.021 s]
Raw data (loadavg): 1.03 1.02 0.94 2/64 31872
Raw data (stat): 31804 (java) R 31803 26667 26666 0 -1 0 18099 3 1 0 55861 64 0 0 25 0 11 0 473818949 867504128 24727 4294967295 134512640 134569956 3221224416 3221214768 1131196481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211793 24727 13073 16 0 211777 0
vsize: 847172
[startup+580.021 s]
Raw data (loadavg): 1.02 1.02 0.94 2/64 31872
Raw data (stat): 31804 (java) R 31803 26667 26666 0 -1 0 18099 3 1 0 56852 64 0 0 25 0 11 0 473818949 867504128 24743 4294967295 134512640 134569956 3221224416 3221214808 1131188331 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211793 24743 13073 16 0 211777 0
vsize: 847172
[startup+590.021 s]
Raw data (loadavg): 1.02 1.02 0.94 2/64 31872
Raw data (stat): 31804 (java) R 31803 26667 26666 0 -1 0 18099 3 1 0 57844 64 0 0 25 0 11 0 473818949 867504128 24761 4294967295 134512640 134569956 3221224416 3221214768 1131196828 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211793 24761 13073 16 0 211777 0
vsize: 847172
[startup+600.022 s]
Raw data (loadavg): 1.01 1.02 0.94 2/64 31872
Raw data (stat): 31804 (java) R 31803 26667 26666 0 -1 0 18099 3 1 0 58837 65 0 0 25 0 11 0 473818949 867504128 24776 4294967295 134512640 134569956 3221224416 3221214680 1131240183 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211793 24776 13073 16 0 211777 0
vsize: 847172
[startup+610.022 s]
Raw data (loadavg): 1.01 1.02 0.94 2/64 31872
Raw data (stat): 31804 (java) R 31803 26667 26666 0 -1 0 18099 3 1 0 59828 65 0 0 25 0 11 0 473818949 867504128 24793 4294967295 134512640 134569956 3221224416 3221214440 1085679272 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211793 24793 13073 16 0 211777 0
vsize: 847172
[startup+620.023 s]
Raw data (loadavg): 1.01 1.01 0.94 2/64 31872
Raw data (stat): 31804 (java) R 31803 26667 26666 0 -1 0 18099 3 1 0 60820 66 0 0 25 0 11 0 473818949 867504128 24819 4294967295 134512640 134569956 3221224416 3221214768 1131196680 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211793 24819 13073 16 0 211777 0
vsize: 847172
[startup+630.023 s]
Raw data (loadavg): 1.01 1.01 0.94 2/64 31872
Raw data (stat): 31804 (java) R 31803 26667 26666 0 -1 0 18099 3 1 0 61812 66 0 0 25 0 11 0 473818949 867504128 24834 4294967295 134512640 134569956 3221224416 3221214768 1131196901 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211793 24834 13073 16 0 211777 0
vsize: 847172
[startup+640.024 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 31872
Raw data (stat): 31804 (java) R 31803 26667 26666 0 -1 0 18099 3 1 0 62803 67 0 0 25 0 11 0 473818949 867504128 24852 4294967295 134512640 134569956 3221224416 3221214768 1131197497 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211793 24852 13073 16 0 211777 0
vsize: 847172
[startup+650.025 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 31872
Raw data (stat): 31804 (java) R 31803 26667 26666 0 -1 0 18099 3 1 0 63796 67 0 0 25 0 11 0 473818949 867504128 24868 4294967295 134512640 134569956 3221224416 3221214768 1131196777 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211793 24868 13073 16 0 211777 0
vsize: 847172
[startup+660.028 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 31872
Raw data (stat): 31804 (java) S 31803 26667 26666 0 -1 0 18099 3 1 0 64788 67 0 0 25 0 11 0 473818949 867504128 24883 4294967295 134512640 134569956 3221224416 3221213472 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211793 24883 13073 16 0 211777 0
vsize: 847172
[startup+670.028 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 31872
Raw data (stat): 31804 (java) R 31803 26667 26666 0 -1 0 18099 3 1 0 65780 67 0 0 25 0 11 0 473818949 867504128 24897 4294967295 134512640 134569956 3221224416 3221214632 1085679762 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211793 24897 13073 16 0 211777 0
vsize: 847172
[startup+680.029 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 31872
Raw data (stat): 31804 (java) R 31803 26667 26666 0 -1 0 18099 3 1 0 66773 67 0 0 25 0 11 0 473818949 867504128 24911 4294967295 134512640 134569956 3221224416 3221214524 1131613264 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211793 24911 13073 16 0 211777 0
vsize: 847172
[startup+690.03 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 31872
Raw data (stat): 31804 (java) R 31803 26667 26666 0 -1 0 18099 3 1 0 67765 68 0 0 25 0 11 0 473818949 867504128 24925 4294967295 134512640 134569956 3221224416 3221214640 1131221559 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211793 24925 13073 16 0 211777 0
vsize: 847172
[startup+700.03 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 31872
Raw data (stat): 31804 (java) R 31803 26667 26666 0 -1 0 18099 3 1 0 68756 68 0 0 25 0 11 0 473818949 867504128 24942 4294967295 134512640 134569956 3221224416 3221214340 1085632316 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211793 24942 13073 16 0 211777 0
vsize: 847172
[startup+710.032 s]
Raw data (loadavg): 1.08 1.02 0.94 2/64 31872
Raw data (stat): 31804 (java) R 31803 26667 26666 0 -1 0 18099 3 1 0 69749 69 0 0 25 0 11 0 473818949 867504128 24955 4294967295 134512640 134569956 3221224416 3221214808 1131188221 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211793 24955 13073 16 0 211777 0
vsize: 847172
[startup+720.031 s]
Raw data (loadavg): 1.14 1.04 0.95 2/64 31872
Raw data (stat): 31804 (java) R 31803 26667 26666 0 -1 0 18099 3 1 0 70740 69 0 0 25 0 11 0 473818949 867504128 24972 4294967295 134512640 134569956 3221224416 3221214436 1131613328 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211793 24972 13073 16 0 211777 0
vsize: 847172
[startup+730.031 s]
Raw data (loadavg): 1.12 1.04 0.95 2/64 31872
Raw data (stat): 31804 (java) R 31803 26667 26666 0 -1 0 18099 3 1 0 71733 69 0 0 25 0 11 0 473818949 867504128 24984 4294967295 134512640 134569956 3221224416 3221214680 1131239996 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211793 24984 13073 16 0 211777 0
vsize: 847172
[startup+740.036 s]
Raw data (loadavg): 1.10 1.03 0.95 2/64 31872
Raw data (stat): 31804 (java) R 31803 26667 26666 0 -1 0 18099 3 1 0 72725 69 0 0 25 0 11 0 473818949 867504128 25000 4294967295 134512640 134569956 3221224416 3221214576 1131638282 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211793 25000 13073 16 0 211777 0
vsize: 847172
[startup+750.043 s]
Raw data (loadavg): 1.08 1.03 0.95 2/64 31872
Raw data (stat): 31804 (java) R 31803 26667 26666 0 -1 0 18099 3 1 0 73717 70 0 0 25 0 11 0 473818949 867504128 25018 4294967295 134512640 134569956 3221224416 3221214860 1131485891 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211793 25018 13073 16 0 211777 0
vsize: 847172
[startup+760.043 s]
Raw data (loadavg): 1.07 1.03 0.95 2/64 31872
Raw data (stat): 31804 (java) R 31803 26667 26666 0 -1 0 18099 3 1 0 74708 71 0 0 24 0 11 0 473818949 867504128 25036 4294967295 134512640 134569956 3221224416 3221214768 1131196757 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211793 25036 13073 16 0 211777 0
vsize: 847172
[startup+770.043 s]
Raw data (loadavg): 1.06 1.03 0.95 2/64 31872
Raw data (stat): 31804 (java) R 31803 26667 26666 0 -1 0 18099 3 1 0 75701 71 0 0 25 0 11 0 473818949 867504128 25052 4294967295 134512640 134569956 3221224416 3221214808 1131188314 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211793 25052 13073 16 0 211777 0
vsize: 847172
[startup+780.045 s]
Raw data (loadavg): 1.05 1.03 0.95 2/64 31872
Raw data (stat): 31804 (java) R 31803 26667 26666 0 -1 0 18099 3 1 0 76693 71 0 0 25 0 11 0 473818949 867504128 25065 4294967295 134512640 134569956 3221224416 3221214888 1131590188 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211793 25065 13073 16 0 211777 0
vsize: 847172
[startup+790.044 s]
Raw data (loadavg): 1.04 1.03 0.95 2/64 31872
Raw data (stat): 31804 (java) R 31803 26667 26666 0 -1 0 18099 3 1 0 77684 71 0 0 25 0 11 0 473818949 867504128 25084 4294967295 134512640 134569956 3221224416 3221214768 1131196492 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211793 25084 13073 16 0 211777 0
vsize: 847172
[startup+800.046 s]
Raw data (loadavg): 1.04 1.03 0.95 2/64 31872
Raw data (stat): 31804 (java) R 31803 26667 26666 0 -1 0 18099 3 1 0 78677 71 0 0 25 0 11 0 473818949 867504128 25109 4294967295 134512640 134569956 3221224416 3221214768 1131196810 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211793 25109 13073 16 0 211777 0
vsize: 847172
[startup+810.046 s]
Raw data (loadavg): 1.03 1.02 0.95 2/64 31872
Raw data (stat): 31804 (java) R 31803 26667 26666 0 -1 0 18099 3 1 0 79668 72 0 0 25 0 11 0 473818949 867504128 25126 4294967295 134512640 134569956 3221224416 3221214768 1131638492 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211793 25126 13073 16 0 211777 0
vsize: 847172
[startup+820.046 s]
Raw data (loadavg): 1.02 1.02 0.95 2/64 31872
Raw data (stat): 31804 (java) R 31803 26667 26666 0 -1 0 18099 3 1 0 80661 72 0 0 25 0 11 0 473818949 867504128 25144 4294967295 134512640 134569956 3221224416 3221214440 1131613297 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211793 25144 13073 16 0 211777 0
vsize: 847172
[startup+830.047 s]
Raw data (loadavg): 1.02 1.02 0.95 2/64 31872
Raw data (stat): 31804 (java) R 31803 26667 26666 0 -1 0 18099 3 1 0 81652 73 0 0 25 0 11 0 473818949 867504128 25161 4294967295 134512640 134569956 3221224416 3221214488 1131611561 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211793 25161 13073 16 0 211777 0
vsize: 847172
[startup+840.047 s]
Raw data (loadavg): 1.02 1.02 0.95 2/64 31872
Raw data (stat): 31804 (java) R 31803 26667 26666 0 -1 0 18099 3 1 0 82644 73 0 0 25 0 11 0 473818949 867504128 25178 4294967295 134512640 134569956 3221224416 3221214808 1131188229 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211793 25178 13073 16 0 211777 0
vsize: 847172
[startup+850.048 s]
Raw data (loadavg): 1.01 1.02 0.95 2/64 31872
Raw data (stat): 31804 (java) R 31803 26667 26666 0 -1 0 18099 3 1 0 83636 73 0 0 25 0 11 0 473818949 867504128 25194 4294967295 134512640 134569956 3221224416 3221214864 1131209029 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211793 25194 13073 16 0 211777 0
vsize: 847172
[startup+860.048 s]
Raw data (loadavg): 1.01 1.02 0.95 2/64 31872
Raw data (stat): 31804 (java) R 31803 26667 26666 0 -1 0 18099 3 1 0 84629 74 0 0 25 0 11 0 473818949 867504128 25209 4294967295 134512640 134569956 3221224416 3221214472 1131615831 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211793 25209 13073 16 0 211777 0
vsize: 847172
[startup+870.048 s]
Raw data (loadavg): 1.01 1.02 0.95 2/64 31872
Raw data (stat): 31804 (java) R 31803 26667 26666 0 -1 0 18099 3 1 0 85620 74 0 0 25 0 11 0 473818949 867504128 25226 4294967295 134512640 134569956 3221224416 3221214768 1131197552 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211793 25226 13073 16 0 211777 0
vsize: 847172
[startup+880.049 s]
Raw data (loadavg): 1.01 1.02 0.95 2/64 31872
Raw data (stat): 31804 (java) R 31803 26667 26666 0 -1 0 18099 3 1 0 86612 74 0 0 24 0 11 0 473818949 867504128 25242 4294967295 134512640 134569956 3221224416 3221214768 1131196612 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211793 25242 13073 16 0 211777 0
vsize: 847172
[startup+890.049 s]
Raw data (loadavg): 1.01 1.02 0.95 2/64 31872
Raw data (stat): 31804 (java) R 31803 26667 26666 0 -1 0 18099 3 1 0 87605 75 0 0 25 0 11 0 473818949 867504128 25257 4294967295 134512640 134569956 3221224416 3221214768 1131197121 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211793 25257 13073 16 0 211777 0
vsize: 847172
[startup+900.049 s]
Raw data (loadavg): 1.00 1.02 0.95 2/64 31872
Raw data (stat): 31804 (java) R 31803 26667 26666 0 -1 0 18099 3 1 0 88597 75 0 0 25 0 11 0 473818949 867504128 25272 4294967295 134512640 134569956 3221224416 3221214768 1131196492 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211793 25272 13073 16 0 211777 0
vsize: 847172
[startup+910.05 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 31872
Raw data (stat): 31804 (java) R 31803 26667 26666 0 -1 0 18099 3 1 0 89589 76 0 0 25 0 11 0 473818949 867504128 25285 4294967295 134512640 134569956 3221224416 3221214784 1131496483 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211793 25285 13073 16 0 211777 0
vsize: 847172
[startup+920.05 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 31872
Raw data (stat): 31804 (java) R 31803 26667 26666 0 -1 0 18099 3 1 0 90580 76 0 0 25 0 11 0 473818949 867504128 25300 4294967295 134512640 134569956 3221224416 3221214860 1131188204 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211793 25300 13073 16 0 211777 0
vsize: 847172
[startup+930.05 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 31872
Raw data (stat): 31804 (java) R 31803 26667 26666 0 -1 0 18099 3 1 0 91572 77 0 0 25 0 11 0 473818949 867504128 25317 4294967295 134512640 134569956 3221224416 3221214768 1131196901 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211793 25317 13073 16 0 211777 0
vsize: 847172
[startup+940.052 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 31872
Raw data (stat): 31804 (java) R 31803 26667 26666 0 -1 0 18099 3 1 0 92565 77 0 0 25 0 11 0 473818949 867504128 25332 4294967295 134512640 134569956 3221224416 3221214864 1131209856 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211793 25332 13073 16 0 211777 0
vsize: 847172
[startup+950.053 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 31872
Raw data (stat): 31804 (java) R 31803 26667 26666 0 -1 0 18099 3 1 0 93557 77 0 0 25 0 11 0 473818949 867504128 25345 4294967295 134512640 134569956 3221224416 3221214768 1131197075 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211793 25345 13073 16 0 211777 0
vsize: 847172
[startup+960.053 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 31872
Raw data (stat): 31804 (java) R 31803 26667 26666 0 -1 0 18099 3 1 0 94550 77 0 0 25 0 11 0 473818949 867504128 25360 4294967295 134512640 134569956 3221224416 3221214864 1131209303 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211793 25360 13073 16 0 211777 0
vsize: 847172
[startup+970.052 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 31872
Raw data (stat): 31804 (java) R 31803 26667 26666 0 -1 0 18099 3 1 0 95541 77 0 0 25 0 11 0 473818949 867504128 25377 4294967295 134512640 134569956 3221224416 3221214524 1085632272 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211793 25377 13073 16 0 211777 0
vsize: 847172
[startup+980.053 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 31872
Raw data (stat): 31804 (java) R 31803 26667 26666 0 -1 0 18099 3 1 0 96533 77 0 0 25 0 11 0 473818949 867504128 25390 4294967295 134512640 134569956 3221224416 3221214808 1131188224 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211793 25390 13073 16 0 211777 0
vsize: 847172
[startup+990.053 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 31872
Raw data (stat): 31804 (java) R 31803 26667 26666 0 -1 0 18099 3 1 0 97525 78 0 0 25 0 11 0 473818949 867504128 25404 4294967295 134512640 134569956 3221224416 3221214808 1131188224 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211793 25404 13073 16 0 211777 0
vsize: 847172
[startup+1000.05 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 31872
Raw data (stat): 31804 (java) R 31803 26667 26666 0 -1 0 18099 3 1 0 98516 78 0 0 25 0 11 0 473818949 867504128 25421 4294967295 134512640 134569956 3221224416 3221214768 1131197497 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211793 25421 13073 16 0 211777 0
vsize: 847172
[startup+1010.06 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 31872
Raw data (stat): 31804 (java) R 31803 26667 26666 0 -1 0 18099 3 1 0 99508 79 0 0 25 0 11 0 473818949 867504128 25436 4294967295 134512640 134569956 3221224416 3221214476 1131615840 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211793 25436 13073 16 0 211777 0
vsize: 847172
[startup+1020.06 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 31872
Raw data (stat): 31804 (java) R 31803 26667 26666 0 -1 0 18099 3 1 0 100501 79 0 0 25 0 11 0 473818949 867504128 25465 4294967295 134512640 134569956 3221224416 3221214672 1131640913 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211793 25465 13073 16 0 211777 0
vsize: 847172
[startup+1030.06 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 31872
Raw data (stat): 31804 (java) R 31803 26667 26666 0 -1 0 18099 3 1 0 101492 79 0 0 25 0 11 0 473818949 867504128 25482 4294967295 134512640 134569956 3221224416 3221214808 1131188249 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211793 25482 13073 16 0 211777 0
vsize: 847172
[startup+1040.06 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 31872
Raw data (stat): 31804 (java) R 31803 26667 26666 0 -1 0 18099 3 1 0 102483 80 0 0 25 0 11 0 473818949 867504128 25499 4294967295 134512640 134569956 3221224416 3221214768 1131197383 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211793 25499 13073 16 0 211777 0
vsize: 847172
[startup+1050.06 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 31872
Raw data (stat): 31804 (java) R 31803 26667 26666 0 -1 0 18099 3 1 0 103474 80 0 0 25 0 11 0 473818949 867504128 25517 4294967295 134512640 134569956 3221224416 3221214672 1131638596 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211793 25517 13073 16 0 211777 0
vsize: 847172
[startup+1060.06 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 31872
Raw data (stat): 31804 (java) R 31803 26667 26666 0 -1 0 18099 3 1 0 104465 81 0 0 24 0 11 0 473818949 867504128 25535 4294967295 134512640 134569956 3221224416 3221214768 1131196901 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211793 25535 13073 16 0 211777 0
vsize: 847172
[startup+1070.06 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 31872
Raw data (stat): 31804 (java) R 31803 26667 26666 0 -1 0 18099 3 1 0 105456 81 0 0 25 0 11 0 473818949 867504128 25552 4294967295 134512640 134569956 3221224416 3221214432 1131613329 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211793 25552 13073 16 0 211777 0
vsize: 847172
[startup+1080.06 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 31872
Raw data (stat): 31804 (java) R 31803 26667 26666 0 -1 0 18099 3 1 0 106447 81 0 0 25 0 11 0 473818949 867504128 25577 4294967295 134512640 134569956 3221224416 3221214528 1131613389 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211793 25577 13073 16 0 211777 0
vsize: 847172
[startup+1090.06 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 31872
Raw data (stat): 31804 (java) R 31803 26667 26666 0 -1 0 18099 3 1 0 107437 81 0 0 25 0 11 0 473818949 867504128 25601 4294967295 134512640 134569956 3221224416 3221214768 1131197507 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211793 25601 13073 16 0 211777 0
vsize: 847172
[startup+1100.06 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 31872
Raw data (stat): 31804 (java) R 31803 26667 26666 0 -1 0 18099 3 1 0 108428 81 0 0 25 0 11 0 473818949 867504128 25623 4294967295 134512640 134569956 3221224416 3221214768 1131196747 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211793 25623 13073 16 0 211777 0
vsize: 847172
[startup+1110.06 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 31872
Raw data (stat): 31804 (java) R 31803 26667 26666 0 -1 0 18099 3 1 0 109418 81 0 0 25 0 11 0 473818949 867504128 25647 4294967295 134512640 134569956 3221224416 3221214808 1131188227 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211793 25647 13073 16 0 211777 0
vsize: 847172
[startup+1120.06 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 31872
Raw data (stat): 31804 (java) R 31803 26667 26666 0 -1 0 18099 3 1 0 110408 81 0 0 25 0 11 0 473818949 867504128 25668 4294967295 134512640 134569956 3221224416 3221214768 1131196821 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211793 25668 13073 16 0 211777 0
vsize: 847172
[startup+1130.06 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 31872
Raw data (stat): 31804 (java) R 31803 26667 26666 0 -1 0 18099 3 1 0 111397 81 0 0 24 0 11 0 473818949 867504128 25697 4294967295 134512640 134569956 3221224416 3221214768 1131196492 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211793 25697 13073 16 0 211777 0
vsize: 847172
[startup+1140.06 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 31872
Raw data (stat): 31804 (java) R 31803 26667 26666 0 -1 0 18099 3 1 0 112386 81 0 0 25 0 11 0 473818949 867504128 25723 4294967295 134512640 134569956 3221224416 3221214672 1131638566 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211793 25723 13073 16 0 211777 0
vsize: 847172
[startup+1150.06 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 31872
Raw data (stat): 31804 (java) R 31803 26667 26666 0 -1 0 18099 3 1 0 113375 81 0 0 24 0 11 0 473818949 867504128 25743 4294967295 134512640 134569956 3221224416 3221214808 1131188224 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211793 25743 13073 16 0 211777 0
vsize: 847172
[startup+1160.06 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 31872
Raw data (stat): 31804 (java) R 31803 26667 26666 0 -1 0 18099 3 1 0 114365 82 0 0 25 0 11 0 473818949 867504128 25768 4294967295 134512640 134569956 3221224416 3221214340 1131613328 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211793 25768 13073 16 0 211777 0
vsize: 847172
[startup+1170.06 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 31872
Raw data (stat): 31804 (java) R 31803 26667 26666 0 -1 0 18099 3 1 0 115355 82 0 0 25 0 11 0 473818949 867504128 25792 4294967295 134512640 134569956 3221224416 3221214768 1131196485 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211793 25792 13073 16 0 211777 0
vsize: 847172
[startup+1180.07 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 31872
Raw data (stat): 31804 (java) R 31803 26667 26666 0 -1 0 18099 3 1 0 116344 82 0 0 24 0 11 0 473818949 867504128 25825 4294967295 134512640 134569956 3221224416 3221214768 1131638492 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211793 25825 13073 16 0 211777 0
vsize: 847172
[startup+1190.07 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 31872
Raw data (stat): 31804 (java) R 31803 26667 26666 0 -1 0 18099 3 1 0 117336 82 0 0 25 0 11 0 473818949 867504128 25841 4294967295 134512640 134569956 3221224416 3221214860 1131188465 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211793 25841 13073 16 0 211777 0
vsize: 847172
[startup+1200.07 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 31872
Raw data (stat): 31804 (java) R 31803 26667 26666 0 -1 0 18099 3 1 0 118326 82 0 0 25 0 11 0 473818949 867504128 25866 4294967295 134512640 134569956 3221224416 3221214768 1131196901 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211793 25866 13073 16 0 211777 0
vsize: 847172
[startup+1210.07 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 31872
Raw data (stat): 31804 (java) R 31803 26667 26666 0 -1 0 18099 3 1 0 119317 82 0 0 25 0 11 0 473818949 867504128 25886 4294967295 134512640 134569956 3221224416 3221214768 1131196672 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211793 25886 13073 16 0 211777 0
vsize: 847172
[startup+1220.07 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 31872
Raw data (stat): 31804 (java) R 31803 26667 26666 0 -1 0 18099 3 1 0 120309 82 0 0 25 0 11 0 473818949 867504128 25905 4294967295 134512640 134569956 3221224416 3221214808 1131188302 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211793 25905 13073 16 0 211777 0
vsize: 847172
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1220.18 s]
Raw data (loadavg): 1.00 1.00 0.95 1/54 31874
Raw data (stat): 31804 (java) Z 31803 26667 26666 0 -1 1036 18099 4274 1 0 120314 82 1254 20 25 0 1 0 473818949 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): 1220.18
CPU time (s): 1216.72
CPU user time (s): 1215.69
CPU system time (s): 1.03184
CPU usage (%): 99.7164
Max. virtual memory (Kb): 847620
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####