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-ii32b4.opb
MD5SUMc3974db7e8a7a7dcf1a342d47c14e34f
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 376
Optimality of the best value was proved NO
Number of terms in the objective function 762
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 762
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 762
Number of bits of the biggest sum of numbers10
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1.03584
Number of variables762
Total number of constraints7299
Number of constraints which are clauses7299
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 4329

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc4 THE 2005-04-13 16:29:41 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=1350 boxname=wulflinc4 idbench=150 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  c3974db7e8a7a7dcf1a342d47c14e34f  /oldhome/oroussel/tmp/wulflinc4/normalized-ii32b4.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc4/normalized-ii32b4.opb
IDLAUNCH: 1350
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
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	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
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:        934180 kB
Buffers:         32972 kB
Cached:          48084 kB
SwapCached:          0 kB
Active:          43548 kB
Inactive:        40364 kB
HighTotal:      131008 kB
HighFree:        79156 kB
LowTotal:       903652 kB
LowFree:        855024 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              36 kB
Writeback:           0 kB
Mapped:           6920 kB
Slab:            11092 kB
Committed_AS:    71676 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-13 16:50:33 (client local time) WITH STATUS 143 IN  SECONDS
stats: 1350 7  143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc4/normalized-ii32b4.opb
c reading problem 
c [nbvar=762]
c [nbconstr=7299]
c time 4.427
c #vars     762
c #clauses  7299
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=379
c Current CPU time (ms) : 53.317
c starts	: 5
c conflicts	: 833
c decisions	: 3992
c propagations	: 150834
c inspects	: 833118
c learned literals	: 1
c learned binary clauses	: 12
c learned ternary clauses	: 2
c learned clauses	: 832
c root simplifications	: 6
c 
c CURRENT OPTIMUM=378
c Current CPU time (ms) : 55.077
c starts	: 6
c conflicts	: 862
c decisions	: 4035
c propagations	: 154799
c inspects	: 858652
c learned literals	: 1
c learned binary clauses	: 12
c learned ternary clauses	: 2
c learned clauses	: 861
c root simplifications	: 7
c 
c CURRENT OPTIMUM=377
c Current CPU time (ms) : 328.992
c starts	: 14
c conflicts	: 4381
c decisions	: 9020
c propagations	: 637660
c inspects	: 4631232
c learned literals	: 1
c learned binary clauses	: 69
c learned ternary clauses	: 29
c learned clauses	: 4380
c root simplifications	: 22
c 
c CURRENT OPTIMUM=376
c Current CPU time (ms) : 457.632
c starts	: 18
c conflicts	: 4985
c decisions	: 10137
c propagations	: 724123
c inspects	: 5587258
c learned literals	: 1
c learned binary clauses	: 91
c learned ternary clauses	: 39
c learned clauses	: 4984
c root simplifications	: 27
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.92 0.98 0.88 2/54 6314
Raw data (stat): 6314 (runsolver) R 6313 5897 5896 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 419174234 1052672 99 4294967295 134512640 135381576 3221224448 3221219696 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0216 s]
Raw data (loadavg): 1.09 1.02 0.89 3/64 6324
Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 16833 0 1 0 577 41 0 0 25 0 11 0 419174234 863678464 19640 4294967295 134512640 134569956 3221224416 3221214752 1131354363 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210859 19641 13073 16 0 210843 0
vsize: 843436
[startup+20.0678 s]
Raw data (loadavg): 1.08 1.02 0.90 2/64 6324
Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18079 0 1 0 1525 45 0 0 25 0 11 0 419174234 862859264 22481 4294967295 134512640 134569956 3221224416 3221214760 1131239662 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210659 22481 13073 16 0 210643 0
vsize: 842636
[startup+30.0684 s]
Raw data (loadavg): 1.07 1.01 0.90 2/64 6324
Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18079 0 1 0 2489 45 0 0 24 0 11 0 419174234 862859264 23079 4294967295 134512640 134569956 3221224416 3221214744 1131355221 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210659 23079 13073 16 0 210643 0
vsize: 842636
[startup+40.0697 s]
Raw data (loadavg): 1.06 1.01 0.90 2/64 6324
Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18085 0 1 0 3459 45 0 0 25 0 11 0 419174234 862859264 23176 4294967295 134512640 134569956 3221224416 3221214736 1131412432 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210659 23176 13073 16 0 210643 0
vsize: 842636
[startup+50.0706 s]
Raw data (loadavg): 1.12 1.03 0.90 2/64 6324
Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18085 0 1 0 4427 45 0 0 25 0 11 0 419174234 862859264 23511 4294967295 134512640 134569956 3221224416 3221214744 1131355338 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210659 23511 13073 16 0 210643 0
vsize: 842636
[startup+60.071 s]
Raw data (loadavg): 1.10 1.03 0.91 2/64 6326
Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18085 3 1 0 5386 46 0 0 25 0 11 0 419174234 867389440 24936 4294967295 134512640 134569956 3221224416 3221214688 1131209605 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211765 24936 13073 16 0 211749 0
vsize: 847060
[startup+70.0724 s]
Raw data (loadavg): 1.08 1.03 0.91 2/64 6326
Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18085 3 1 0 6335 46 0 0 25 0 11 0 419174234 862859264 24104 4294967295 134512640 134569956 3221224416 3221214784 1131381001 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210659 24104 13073 16 0 210643 0
vsize: 842636
[startup+80.0733 s]
Raw data (loadavg): 1.07 1.03 0.91 2/64 6326
Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18085 3 1 0 7291 46 0 0 25 0 11 0 419174234 862859264 24204 4294967295 134512640 134569956 3221224416 3221214784 1131380875 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210659 24204 13073 16 0 210643 0
vsize: 842636
[startup+90.0743 s]
Raw data (loadavg): 1.06 1.02 0.91 2/64 6326
Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18086 3 1 0 8238 47 0 0 25 0 11 0 419174234 862859264 24493 4294967295 134512640 134569956 3221224416 3221214856 1131340839 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210659 24493 13073 16 0 210643 0
vsize: 842636
[startup+100.075 s]
Raw data (loadavg): 1.05 1.02 0.91 2/64 6326
Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18086 3 1 0 9193 47 0 0 25 0 11 0 419174234 862859264 24912 4294967295 134512640 134569956 3221224416 3221214688 1131209601 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210659 24912 13073 16 0 210643 0
vsize: 842636
[startup+110.076 s]
Raw data (loadavg): 1.04 1.02 0.91 2/64 6326
Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18086 3 1 0 10150 48 0 0 25 0 11 0 419174234 862859264 25198 4294967295 134512640 134569956 3221224416 3221214784 1131380953 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210659 25198 13073 16 0 210643 0
vsize: 842636
[startup+120.077 s]
Raw data (loadavg): 1.04 1.02 0.91 2/64 6326
Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18086 3 1 0 11106 48 0 0 25 0 11 0 419174234 862859264 25457 4294967295 134512640 134569956 3221224416 3221214760 1131240237 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210659 25457 13073 16 0 210643 0
vsize: 842636
[startup+130.077 s]
Raw data (loadavg): 1.03 1.02 0.91 2/64 6326
Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18086 3 1 0 12061 48 0 0 25 0 11 0 419174234 862859264 25777 4294967295 134512640 134569956 3221224416 3221214824 1131376123 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210659 25777 13073 16 0 210643 0
vsize: 842636
[startup+140.078 s]
Raw data (loadavg): 1.02 1.02 0.91 2/64 6326
Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18086 3 1 0 13010 49 0 0 25 0 11 0 419174234 862859264 26015 4294967295 134512640 134569956 3221224416 3221214704 1131606028 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210659 26015 13073 16 0 210643 0
vsize: 842636
[startup+150.079 s]
Raw data (loadavg): 1.02 1.02 0.91 2/64 6326
Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18086 3 1 0 13967 49 0 0 25 0 11 0 419174234 862859264 26209 4294967295 134512640 134569956 3221224416 3221214688 1131209726 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210659 26209 13073 16 0 210643 0
vsize: 842636
[startup+160.079 s]
Raw data (loadavg): 1.02 1.02 0.91 2/64 6326
Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18086 3 1 0 14916 49 0 0 25 0 11 0 419174234 862859264 26410 4294967295 134512640 134569956 3221224416 3221214856 1131341303 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210659 26410 13073 16 0 210643 0
vsize: 842636
[startup+170.08 s]
Raw data (loadavg): 1.01 1.02 0.91 2/64 6326
Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18086 3 1 0 15870 49 0 0 25 0 11 0 419174234 862859264 26564 4294967295 134512640 134569956 3221224416 3221214416 1076461221 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210659 26564 13073 16 0 210643 0
vsize: 842636
[startup+180.08 s]
Raw data (loadavg): 1.01 1.02 0.91 2/64 6326
Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18086 3 1 0 16814 50 0 0 25 0 11 0 419174234 862859264 26761 4294967295 134512640 134569956 3221224416 3221214680 1131422894 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210659 26761 13073 16 0 210643 0
vsize: 842636
[startup+190.081 s]
Raw data (loadavg): 1.01 1.02 0.91 2/64 6326
Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18086 3 1 0 17764 50 0 0 25 0 11 0 419174234 862859264 26960 4294967295 134512640 134569956 3221224416 3221214816 1131459063 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210659 26960 13073 16 0 210643 0
vsize: 842636
[startup+200.081 s]
Raw data (loadavg): 1.01 1.01 0.91 2/64 6326
Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18086 3 1 0 18713 51 0 0 25 0 11 0 419174234 862859264 27127 4294967295 134512640 134569956 3221224416 3221214856 1131341140 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210659 27127 13073 16 0 210643 0
vsize: 842636
[startup+210.082 s]
Raw data (loadavg): 1.01 1.01 0.91 2/64 6326
Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18086 3 1 0 19661 51 0 0 25 0 11 0 419174234 862859264 27426 4294967295 134512640 134569956 3221224416 3221214856 1131340866 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210659 27426 13073 16 0 210643 0
vsize: 842636
[startup+220.083 s]
Raw data (loadavg): 1.00 1.01 0.91 2/64 6326
Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18086 3 1 0 20611 52 0 0 25 0 11 0 419174234 862859264 27663 4294967295 134512640 134569956 3221224416 3221214704 1131606032 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210659 27663 13073 16 0 210643 0
vsize: 842636
[startup+230.083 s]
Raw data (loadavg): 1.00 1.01 0.91 2/64 6326
Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18086 3 1 0 21556 52 0 0 25 0 11 0 419174234 862859264 27955 4294967295 134512640 134569956 3221224416 3221214688 1131210115 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210659 27955 13073 16 0 210643 0
vsize: 842636
[startup+240.084 s]
Raw data (loadavg): 1.00 1.01 0.91 2/64 6326
Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18086 3 1 0 22502 53 0 0 25 0 11 0 419174234 862859264 28187 4294967295 134512640 134569956 3221224416 3221214784 1131380751 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210659 28187 13073 16 0 210643 0
vsize: 842636
[startup+250.084 s]
Raw data (loadavg): 1.00 1.01 0.91 2/64 6326
Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18086 3 1 0 23457 53 0 0 25 0 11 0 419174234 862859264 28487 4294967295 134512640 134569956 3221224416 3221214688 1131209983 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210659 28487 13073 16 0 210643 0
vsize: 842636
[startup+260.086 s]
Raw data (loadavg): 1.00 1.01 0.91 2/64 6326
Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18086 3 1 0 24402 54 0 0 25 0 11 0 419174234 862859264 28788 4294967295 134512640 134569956 3221224416 3221214688 1131210575 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210659 28788 13073 16 0 210643 0
vsize: 842636
[startup+270.087 s]
Raw data (loadavg): 1.00 1.01 0.91 2/64 6326
Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18086 3 1 0 25353 54 0 0 25 0 11 0 419174234 862859264 29129 4294967295 134512640 134569956 3221224416 3221214688 1131209641 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210659 29129 13073 16 0 210643 0
vsize: 842636
[startup+280.086 s]
Raw data (loadavg): 1.00 1.01 0.91 2/64 6326
Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18086 3 1 0 26299 54 0 0 25 0 11 0 419174234 862859264 29377 4294967295 134512640 134569956 3221224416 3221214696 1131144337 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210659 29377 13073 16 0 210643 0
vsize: 842636
[startup+290.088 s]
Raw data (loadavg): 1.00 1.01 0.91 2/64 6326
Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18086 3 1 0 27252 54 0 0 25 0 11 0 419174234 862859264 29593 4294967295 134512640 134569956 3221224416 3221214784 1131381801 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210659 29593 13073 16 0 210643 0
vsize: 842636
[startup+300.089 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 6326
Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18086 3 1 0 28204 54 0 0 25 0 11 0 419174234 862859264 29792 4294967295 134512640 134569956 3221224416 3221214688 1131239479 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210659 29792 13073 16 0 210643 0
vsize: 842636
[startup+310.09 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 6326
Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18086 3 1 0 29155 54 0 0 25 0 11 0 419174234 862859264 29967 4294967295 134512640 134569956 3221224416 3221214704 1131606176 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210659 29967 13073 16 0 210643 0
vsize: 842636
[startup+320.091 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 6326
Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18086 3 1 0 30094 54 0 0 25 0 11 0 419174234 862859264 30228 4294967295 134512640 134569956 3221224416 3221214856 1131341039 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210659 30228 13073 16 0 210643 0
vsize: 842636
[startup+330.092 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 6327
Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18086 3 1 0 31039 54 0 0 25 0 11 0 419174234 862859264 30413 4294967295 134512640 134569956 3221224416 3221214108 1131608779 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210659 30413 13073 16 0 210643 0
vsize: 842636
[startup+340.092 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 6327
Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18086 3 1 0 32020 54 0 0 25 0 11 0 419174234 862859264 30514 4294967295 134512640 134569956 3221224416 3221214688 1131210251 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210659 30514 13073 16 0 210643 0
vsize: 842636
[startup+350.092 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 6327
Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18086 3 1 0 32985 54 0 0 25 0 11 0 419174234 862859264 30572 4294967295 134512640 134569956 3221224416 3221214248 1085679359 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210659 30572 13073 16 0 210643 0
vsize: 842636
[startup+360.094 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 6327
Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18086 3 1 0 33950 54 0 0 25 0 11 0 419174234 862859264 30679 4294967295 134512640 134569956 3221224416 3221214056 1131608845 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210659 30679 13073 16 0 210643 0
vsize: 842636
[startup+370.094 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 6327
Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18086 3 1 0 34915 54 0 0 25 0 11 0 419174234 862859264 30772 4294967295 134512640 134569956 3221224416 3221214744 1131355211 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210659 30772 13073 16 0 210643 0
vsize: 842636
[startup+380.094 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 6327
Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18086 3 1 0 35880 54 0 0 25 0 11 0 419174234 862859264 30898 4294967295 134512640 134569956 3221224416 3221214784 1131382960 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210659 30898 13073 16 0 210643 0
vsize: 842636
[startup+390.095 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 6327
Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18086 3 1 0 36854 54 0 0 25 0 11 0 419174234 862859264 30965 4294967295 134512640 134569956 3221224416 3221214688 1131209983 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210659 30965 13073 16 0 210643 0
vsize: 842636
[startup+400.095 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 6327
Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18086 3 1 0 37811 54 0 0 25 0 11 0 419174234 862859264 31061 4294967295 134512640 134569956 3221224416 3221214088 1131608785 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210659 31061 13073 16 0 210643 0
vsize: 842636
[startup+410.096 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 6327
Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18086 3 1 0 38769 54 0 0 25 0 11 0 419174234 862859264 31253 4294967295 134512640 134569956 3221224416 3221214784 1131380914 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210659 31253 13073 16 0 210643 0
vsize: 842636
[startup+420.097 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 6327
Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18086 3 1 0 39730 54 0 0 25 0 11 0 419174234 862859264 31331 4294967295 134512640 134569956 3221224416 3221214784 1131380921 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210659 31331 13073 16 0 210643 0
vsize: 842636
[startup+430.098 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 6327
Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18086 3 1 0 40692 54 0 0 25 0 11 0 419174234 862859264 31446 4294967295 134512640 134569956 3221224416 3221214688 1131210646 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210659 31446 13073 16 0 210643 0
vsize: 842636
[startup+440.099 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 6327
Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18086 3 1 0 41648 55 0 0 25 0 11 0 419174234 862859264 31606 4294967295 134512640 134569956 3221224416 3221214856 1131340846 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210659 31606 13073 16 0 210643 0
vsize: 842636
[startup+450.1 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 6327
Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18086 3 1 0 42594 55 0 0 25 0 11 0 419174234 862859264 31771 4294967295 134512640 134569956 3221224416 3221214892 1080204224 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210659 31771 13073 16 0 210643 0
vsize: 842636
[startup+460.1 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 6328
Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18086 3 1 0 43563 55 0 0 25 0 11 0 419174234 862859264 31855 4294967295 134512640 134569956 3221224416 3221214408 1085632292 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210659 31855 13073 16 0 210643 0
vsize: 842636
[startup+470.101 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 6328
Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18086 3 1 0 44555 55 0 0 25 0 11 0 419174234 862859264 31879 4294967295 134512640 134569956 3221224416 3221214192 1131644888 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210659 31879 13073 16 0 210643 0
vsize: 842636
[startup+480.102 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 6328
Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18086 3 1 0 45514 55 0 0 20 0 11 0 419174234 862859264 32026 4294967295 134512640 134569956 3221224416 3221214736 1131209813 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210659 32026 13073 16 0 210643 0
vsize: 842636
[startup+490.102 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 6328
Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18086 3 1 0 46473 55 0 0 25 0 11 0 419174234 862859264 32110 4294967295 134512640 134569956 3221224416 3221214832 1131380921 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210659 32110 13073 16 0 210643 0
vsize: 842636
[startup+500.102 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 6328
Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18086 3 1 0 47434 55 0 0 25 0 11 0 419174234 862859264 32206 4294967295 134512640 134569956 3221224416 3221214736 1131209983 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210659 32206 13073 16 0 210643 0
vsize: 842636
[startup+510.104 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 6328
Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18086 3 1 0 48396 55 0 0 25 0 11 0 419174234 862859264 32342 4294967295 134512640 134569956 3221224416 3221214736 1131210169 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210659 32342 13073 16 0 210643 0
vsize: 842636
[startup+520.105 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 6328
Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18086 3 1 0 49360 55 0 0 25 0 11 0 419174234 862859264 32411 4294967295 134512640 134569956 3221224416 3221214832 1131380914 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210659 32411 13073 16 0 210643 0
vsize: 842636
[startup+530.105 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 6328
Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18086 3 1 0 50332 55 0 0 25 0 11 0 419174234 862859264 32474 4294967295 134512640 134569956 3221224416 3221214508 1085679264 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210659 32474 13073 16 0 210643 0
vsize: 842636
[startup+540.106 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 6328
Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18086 3 1 0 51294 55 0 0 24 0 11 0 419174234 862859264 32642 4294967295 134512640 134569956 3221224416 3221214832 1131382869 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210659 32642 13073 16 0 210643 0
vsize: 842636
[startup+550.106 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 6328
Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18086 3 1 0 52264 55 0 0 25 0 11 0 419174234 862859264 32688 4294967295 134512640 134569956 3221224416 3221214832 1131380982 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210659 32688 13073 16 0 210643 0
vsize: 842636
[startup+560.108 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 6328
Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18086 3 1 0 53229 55 0 0 25 0 11 0 419174234 862859264 32761 4294967295 134512640 134569956 3221224416 3221214736 1131209968 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210659 32761 13073 16 0 210643 0
vsize: 842636
[startup+570.109 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 6328
Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18086 3 1 0 54205 55 0 0 25 0 11 0 419174234 862859264 32805 4294967295 134512640 134569956 3221224416 3221214736 1131209726 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210659 32805 13073 16 0 210643 0
vsize: 842636
[startup+580.108 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 6328
Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18086 3 1 0 55174 55 0 0 25 0 11 0 419174234 862859264 32875 4294967295 134512640 134569956 3221224416 3221214832 1131381988 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210659 32875 13073 16 0 210643 0
vsize: 842636
[startup+590.108 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 6328
Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18086 3 1 0 56142 55 0 0 25 0 11 0 419174234 862859264 32945 4294967295 134512640 134569956 3221224416 3221214736 1131209932 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210659 32945 13073 16 0 210643 0
vsize: 842636
[startup+600.11 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 6328
Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18086 3 1 0 57106 55 0 0 25 0 11 0 419174234 862859264 33000 4294967295 134512640 134569956 3221224416 3221213960 1085679762 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210659 33000 13073 16 0 210643 0
vsize: 842636
[startup+610.11 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 6328
Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18086 3 1 0 58084 56 0 0 25 0 11 0 419174234 862859264 33033 4294967295 134512640 134569956 3221224416 3221213768 1085679762 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210659 33033 13073 16 0 210643 0
vsize: 842636
[startup+620.11 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 6328
Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18086 3 1 0 59046 57 0 0 25 0 11 0 419174234 862859264 33079 4294967295 134512640 134569956 3221224416 3221213904 1085679346 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210659 33079 13073 16 0 210643 0
vsize: 842636
[startup+630.11 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 6328
Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18086 3 1 0 60008 57 0 0 25 0 11 0 419174234 862859264 33135 4294967295 134512640 134569956 3221224416 3221214736 1131209716 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210659 33135 13073 16 0 210643 0
vsize: 842636
[startup+640.111 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 6328
Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18086 3 1 0 60971 57 0 0 25 0 11 0 419174234 862859264 33223 4294967295 134512640 134569956 3221224416 3221213984 1131647852 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210659 33223 13073 16 0 210643 0
vsize: 842636
[startup+650.111 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 6328
Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18086 3 1 0 61929 57 0 0 25 0 11 0 419174234 862859264 33318 4294967295 134512640 134569956 3221224416 3221214156 1131608784 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210659 33318 13073 16 0 210643 0
vsize: 842636
[startup+660.112 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 6328
Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18086 3 1 0 62889 58 0 0 25 0 11 0 419174234 862859264 33460 4294967295 134512640 134569956 3221224416 3221214408 1085679538 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210659 33460 13073 16 0 210643 0
vsize: 842636
[startup+670.112 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 6328
Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18086 3 1 0 63866 58 0 0 25 0 11 0 419174234 862859264 33504 4294967295 134512640 134569956 3221224416 3221214736 1131209641 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210659 33504 13073 16 0 210643 0
vsize: 842636
[startup+680.112 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 6328
Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18086 3 1 0 64837 59 0 0 25 0 11 0 419174234 862859264 33557 4294967295 134512640 134569956 3221224416 3221214832 1131381988 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210659 33557 13073 16 0 210643 0
vsize: 842636
[startup+690.113 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 6328
Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18086 3 1 0 65808 59 0 0 25 0 11 0 419174234 862859264 33590 4294967295 134512640 134569956 3221224416 3221214380 1085632316 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210659 33590 13073 16 0 210643 0
vsize: 842636
[startup+700.114 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 6328
Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18086 3 1 0 66773 60 0 0 25 0 11 0 419174234 862859264 33637 4294967295 134512640 134569956 3221224416 3221214548 1131608784 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210659 33637 13073 16 0 210643 0
vsize: 842636
[startup+710.115 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 6328
Raw data (stat): 6314 (java) S 6313 5897 5896 0 -1 0 18086 3 1 0 67741 60 0 0 25 0 11 0 419174234 862859264 33689 4294967295 134512640 134569956 3221224416 3221213480 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210659 33689 13073 16 0 210643 0
vsize: 842636
[startup+720.115 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 6328
Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18086 3 1 0 68705 60 0 0 25 0 11 0 419174234 862859264 33737 4294967295 134512640 134569956 3221224416 3221214832 1131380914 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210659 33737 13073 16 0 210643 0
vsize: 842636
[startup+730.115 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 6328
Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18086 3 1 0 69682 60 0 0 25 0 11 0 419174234 862859264 33773 4294967295 134512640 134569956 3221224416 3221214832 1131380921 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210659 33773 13073 16 0 210643 0
vsize: 842636
[startup+740.116 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 6328
Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18086 3 1 0 70654 61 0 0 25 0 11 0 419174234 862859264 33850 4294967295 134512640 134569956 3221224416 3221214736 1131209928 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210659 33850 13073 16 0 210643 0
vsize: 842636
[startup+750.116 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 6328
Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18086 3 1 0 71627 61 0 0 25 0 11 0 419174234 862859264 33904 4294967295 134512640 134569956 3221224416 3221214216 1131608785 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210659 33904 13073 16 0 210643 0
vsize: 842636
[startup+760.118 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 6328
Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18086 3 1 0 72588 61 0 0 24 0 11 0 419174234 862859264 33951 4294967295 134512640 134569956 3221224416 3221214832 1131382901 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210659 33951 13073 16 0 210643 0
vsize: 842636
[startup+770.119 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 6328
Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18086 3 1 0 73556 62 0 0 25 0 11 0 419174234 862859264 34012 4294967295 134512640 134569956 3221224416 3221214832 1131381944 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210659 34012 13073 16 0 210643 0
vsize: 842636
[startup+780.118 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 6328
Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18086 3 1 0 74524 62 0 0 25 0 11 0 419174234 862859264 34041 4294967295 134512640 134569956 3221224416 3221214492 1131608779 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210659 34041 13073 16 0 210643 0
vsize: 842636
[startup+790.119 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 6328
Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18086 3 1 0 75492 62 0 0 25 0 11 0 419174234 862859264 34079 4294967295 134512640 134569956 3221224416 3221214832 1131381031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210659 34079 13073 16 0 210643 0
vsize: 842636
[startup+800.12 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 6328
Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18086 3 1 0 76465 62 0 0 25 0 11 0 419174234 862859264 34127 4294967295 134512640 134569956 3221224416 3221214324 1131608779 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210659 34127 13073 16 0 210643 0
vsize: 842636
[startup+810.121 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 6328
Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18086 3 1 0 77439 63 0 0 25 0 11 0 419174234 862859264 34174 4294967295 134512640 134569956 3221224416 3221214408 1085679325 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210659 34174 13073 16 0 210643 0
vsize: 842636
[startup+820.121 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 6328
Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18086 3 1 0 78412 63 0 0 25 0 11 0 419174234 862859264 34208 4294967295 134512640 134569956 3221224416 3221214464 1085679284 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210659 34208 13073 16 0 210643 0
vsize: 842636
[startup+830.121 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 6328
Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18086 3 1 0 79379 63 0 0 25 0 11 0 419174234 862859264 34252 4294967295 134512640 134569956 3221224416 3221213932 1131608720 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210659 34252 13073 16 0 210643 0
vsize: 842636
[startup+840.122 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 6328
Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18086 3 1 0 80351 63 0 0 25 0 11 0 419174234 862859264 34283 4294967295 134512640 134569956 3221224416 3221214576 1085632310 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210659 34283 13073 16 0 210643 0
vsize: 842636
[startup+850.122 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 6328
Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18086 3 1 0 81317 64 0 0 25 0 11 0 419174234 862859264 34330 4294967295 134512640 134569956 3221224416 3221214832 1131380751 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210659 34330 13073 16 0 210643 0
vsize: 842636
[startup+860.122 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 6328
Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18086 3 1 0 82279 64 0 0 25 0 11 0 419174234 862859264 34374 4294967295 134512640 134569956 3221224416 3221214832 1131380921 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210659 34374 13073 16 0 210643 0
vsize: 842636
[startup+870.123 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 6328
Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18086 3 1 0 83252 64 0 0 25 0 11 0 419174234 862859264 34430 4294967295 134512640 134569956 3221224416 3221214828 1131209580 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210659 34430 13073 16 0 210643 0
vsize: 842636
[startup+880.123 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 6328
Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18086 3 1 0 84220 64 0 0 25 0 11 0 419174234 862859264 34493 4294967295 134512640 134569956 3221224416 3221214040 1131647786 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210659 34493 13073 16 0 210643 0
vsize: 842636
[startup+890.124 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 6328
Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18086 3 1 0 85188 64 0 0 25 0 11 0 419174234 862859264 34525 4294967295 134512640 134569956 3221224416 3221214736 1131210646 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210659 34525 13073 16 0 210643 0
vsize: 842636
[startup+900.124 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 6328
Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18086 3 1 0 86152 65 0 0 25 0 11 0 419174234 862859264 34588 4294967295 134512640 134569956 3221224416 3221214832 1131380921 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210659 34588 13073 16 0 210643 0
vsize: 842636
[startup+910.126 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 6328
Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18086 3 1 0 87122 65 0 0 25 0 11 0 419174234 862859264 34620 4294967295 134512640 134569956 3221224416 3221214832 1131380921 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210659 34620 13073 16 0 210643 0
vsize: 842636
[startup+920.126 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 6328
Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18086 3 1 0 88092 65 0 0 25 0 11 0 419174234 862859264 34658 4294967295 134512640 134569956 3221224416 3221214832 1131380914 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210659 34658 13073 16 0 210643 0
vsize: 842636
[startup+930.126 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 6328
Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18086 3 1 0 89067 65 0 0 25 0 11 0 419174234 862859264 34689 4294967295 134512640 134569956 3221224416 3221214736 1131210096 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210659 34689 13073 16 0 210643 0
vsize: 842636
[startup+940.128 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 6328
Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18086 3 1 0 90042 65 0 0 25 0 11 0 419174234 862859264 34726 4294967295 134512640 134569956 3221224416 3221214832 1131382842 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210659 34726 13073 16 0 210643 0
vsize: 842636
[startup+950.128 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 6328
Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18086 3 1 0 91010 66 0 0 25 0 11 0 419174234 862859264 34744 4294967295 134512640 134569956 3221224416 3221214736 1131209923 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210659 34744 13073 16 0 210643 0
vsize: 842636
[startup+960.129 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 6328
Raw data (stat): 6314 (java) S 6313 5897 5896 0 -1 0 18086 3 1 0 91982 66 0 0 25 0 11 0 419174234 862859264 34762 4294967295 134512640 134569956 3221224416 3221213376 1073952481 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210659 34762 13073 16 0 210643 0
vsize: 842636
[startup+970.13 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 6328
Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18086 3 1 0 92955 66 0 0 25 0 11 0 419174234 862859264 34781 4294967295 134512640 134569956 3221224416 3221214832 1131380982 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210659 34781 13073 16 0 210643 0
vsize: 842636
[startup+980.13 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 6328
Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18086 3 1 0 93925 67 0 0 25 0 11 0 419174234 862859264 34812 4294967295 134512640 134569956 3221224416 3221214832 1131380921 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210659 34812 13073 16 0 210643 0
vsize: 842636
[startup+990.13 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 6328
Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18086 3 1 0 94896 67 0 0 25 0 11 0 419174234 862859264 34848 4294967295 134512640 134569956 3221224416 3221213856 1131608823 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210659 34848 13073 16 0 210643 0
vsize: 842636
[startup+1000.13 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 6328
Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18086 3 1 0 95862 68 0 0 25 0 11 0 419174234 862859264 34906 4294967295 134512640 134569956 3221224416 3221214736 1131209932 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210659 34906 13073 16 0 210643 0
vsize: 842636
[startup+1010.13 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 6328
Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18086 3 1 0 96827 68 0 0 25 0 11 0 419174234 862859264 34969 4294967295 134512640 134569956 3221224416 3221214832 1131381953 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210659 34969 13073 16 0 210643 0
vsize: 842636
[startup+1020.13 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 6328
Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18086 3 1 0 97795 68 0 0 25 0 11 0 419174234 862859264 35002 4294967295 134512640 134569956 3221224416 3221214352 1085679429 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210659 35002 13073 16 0 210643 0
vsize: 842636
[startup+1030.13 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 6328
Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18086 3 1 0 98766 68 0 0 25 0 11 0 419174234 862859264 35028 4294967295 134512640 134569956 3221224416 3221214480 1131648008 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210659 35028 13073 16 0 210643 0
vsize: 842636
[startup+1040.13 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 6328
Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18086 3 1 0 99743 68 0 0 25 0 11 0 419174234 862859264 35082 4294967295 134512640 134569956 3221224416 3221214384 1131608705 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210659 35082 13073 16 0 210643 0
vsize: 842636
[startup+1050.13 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 6328
Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18086 3 1 0 100716 69 0 0 25 0 11 0 419174234 862859264 35103 4294967295 134512640 134569956 3221224416 3221214832 1131381988 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210659 35103 13073 16 0 210643 0
vsize: 842636
[startup+1060.13 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 6328
Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18086 3 1 0 101688 69 0 0 25 0 11 0 419174234 862859264 35125 4294967295 134512640 134569956 3221224416 3221214832 1131380953 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210659 35125 13073 16 0 210643 0
vsize: 842636
[startup+1070.14 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 6328
Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18086 3 1 0 102652 69 0 0 25 0 11 0 419174234 862859264 35162 4294967295 134512640 134569956 3221224416 3221214832 1131381950 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210659 35162 13073 16 0 210643 0
vsize: 842636
[startup+1080.14 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 6328
Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18086 3 1 0 103617 70 0 0 25 0 11 0 419174234 862859264 35197 4294967295 134512640 134569956 3221224416 3221214736 1131209641 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210659 35197 13073 16 0 210643 0
vsize: 842636
[startup+1090.14 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 6328
Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18086 3 1 0 104582 70 0 0 25 0 11 0 419174234 862859264 35261 4294967295 134512640 134569956 3221224416 3221214952 1131543816 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210659 35261 13073 16 0 210643 0
vsize: 842636
[startup+1100.14 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 6328
Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18086 3 1 0 105554 70 0 0 25 0 11 0 419174234 862859264 35297 4294967295 134512640 134569956 3221224416 3221214832 1131380982 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210659 35297 13073 16 0 210643 0
vsize: 842636
[startup+1110.14 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 6328
Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18086 3 1 0 106526 70 0 0 25 0 11 0 419174234 862859264 35343 4294967295 134512640 134569956 3221224416 3221213912 1131608724 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210659 35343 13073 16 0 210643 0
vsize: 842636
[startup+1120.14 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 6328
Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18086 3 1 0 107492 70 0 0 25 0 11 0 419174234 862859264 35388 4294967295 134512640 134569956 3221224416 3221214832 1131380959 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210659 35388 13073 16 0 210643 0
vsize: 842636
[startup+1130.14 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 6328
Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18086 3 1 0 108464 70 0 0 25 0 11 0 419174234 862859264 35417 4294967295 134512640 134569956 3221224416 3221214736 1131210169 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210659 35417 13073 16 0 210643 0
vsize: 842636
[startup+1140.14 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 6328
Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18086 3 1 0 109429 71 0 0 25 0 11 0 419174234 862859264 35463 4294967295 134512640 134569956 3221224416 3221214832 1131381787 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210659 35463 13073 16 0 210643 0
vsize: 842636
[startup+1150.14 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 6328
Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18086 3 1 0 110400 71 0 0 25 0 11 0 419174234 862859264 35488 4294967295 134512640 134569956 3221224416 3221214832 1131380982 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210659 35488 13073 16 0 210643 0
vsize: 842636
[startup+1160.14 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 6328
Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18086 3 1 0 111370 71 0 0 25 0 11 0 419174234 862859264 35519 4294967295 134512640 134569956 3221224416 3221214736 1131209691 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210659 35519 13073 16 0 210643 0
vsize: 842636
[startup+1170.14 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 6328
Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18086 3 1 0 112334 72 0 0 25 0 11 0 419174234 862859264 35589 4294967295 134512640 134569956 3221224416 3221214328 1131608785 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210659 35589 13073 16 0 210643 0
vsize: 842636
[startup+1180.14 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 6328
Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18086 3 1 0 113316 72 0 0 25 0 11 0 419174234 862859264 35619 4294967295 134512640 134569956 3221224416 3221214736 1131210033 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210659 35619 13073 16 0 210643 0
vsize: 842636
[startup+1190.14 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 6328
Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18086 3 1 0 114272 73 0 0 25 0 11 0 419174234 862859264 35683 4294967295 134512640 134569956 3221224416 3221214736 1131210802 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210659 35683 13073 16 0 210643 0
vsize: 842636
[startup+1200.14 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 6328
Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18086 3 1 0 115239 73 0 0 25 0 11 0 419174234 862859264 35714 4294967295 134512640 134569956 3221224416 3221214792 1131354444 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210659 35714 13073 16 0 210643 0
vsize: 842636
[startup+1210.15 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 6328
Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18086 3 1 0 116208 74 0 0 25 0 11 0 419174234 862859264 35757 4294967295 134512640 134569956 3221224416 3221214068 1131508672 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210659 35757 13073 16 0 210643 0
vsize: 842636
[startup+1220.15 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 6328
Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18086 3 1 0 117169 74 0 0 24 0 11 0 419174234 862859264 35813 4294967295 134512640 134569956 3221224416 3221214736 1131209983 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210659 35813 13073 16 0 210643 0
vsize: 842636
[startup+1230.15 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 6328
Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18086 3 1 0 118136 75 0 0 25 0 11 0 419174234 862859264 35878 4294967295 134512640 134569956 3221224416 3221214832 1131380921 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210659 35878 13073 16 0 210643 0
vsize: 842636
[startup+1240.15 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 6328
Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18086 3 1 0 119105 75 0 0 25 0 11 0 419174234 862859264 35958 4294967295 134512640 134569956 3221224416 3221214832 1131382939 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210659 35958 13073 16 0 210643 0
vsize: 842636
[startup+1250.15 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 6328
Raw data (stat): 6314 (java) R 6313 5897 5896 0 -1 0 18086 3 1 0 120074 75 0 0 25 0 11 0 419174234 862859264 35995 4294967295 134512640 134569956 3221224416 3221214608 1131608689 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210659 35995 13073 16 0 210643 0
vsize: 842636
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1250.26 s]
Raw data (loadavg): 1.00 1.00 0.91 1/54 6330
Raw data (stat): 6314 (java) Z 6313 5897 5896 0 -1 1036 18086 26421 1 0 120079 82 6121 70 25 0 1 0 419174234 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1250.26
CPU time (s): 1263.53
CPU user time (s): 1262.01
CPU system time (s): 1.52977
CPU usage (%): 101.062
Max. virtual memory (Kb): 847060
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####