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-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-lseu.opb
MD5SUM5fcfa2f72175b9723ffb2781fb76fcdc
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 1120
Optimality of the best value was proved NO
Number of terms in the objective function 85
Biggest coefficient in the objective function 517
Number of bits for the biggest coefficient in the objective function 10
Sum of the numbers in the objective function 15494
Number of bits of the sum of numbers in the objective function 14
Biggest number in a constraint 1656
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 15494
Number of bits of the biggest sum of numbers14
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1.02184
Number of variables89
Total number of constraints117
Number of constraints which are clauses2
Number of constraints which are cardinality constraints (but not clauses)104
Number of constraints which are nor clauses,nor cardinality constraints11
Minimum length of a constraint1
Maximum length of a constraint47

Trace number 29530

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc12 THE 2005-05-25 08:42:06 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=20930 boxname=wulflinc12 idbench=918 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  5fcfa2f72175b9723ffb2781fb76fcdc  /oldhome/oroussel/tmp/wulflinc12/normalized-mps-v2-20-10-lseu.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc12/normalized-mps-v2-20-10-lseu.opb
IDLAUNCH: 20930
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.091
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.091
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:        415936 kB
Buffers:         38440 kB
Cached:         559392 kB
SwapCached:        568 kB
Active:         144312 kB
Inactive:       455948 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        415684 kB
SwapTotal:     2097136 kB
SwapFree:      2096076 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5680 kB
Slab:            12616 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 09:02:49 (client local time) WITH STATUS 143 IN 1237.58 SECONDS
stats: 20930 0 1237.58 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c SAT4J: a SATisfiability library for Java (c) 2004-2005 Daniel Le Berre
c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
c version Special PB05 Second trial
c --- Begin Solver configuration ---
c org.sat4j.minisat.uip.FirstUIP@1e4cbc4
c org.sat4j.minisat.constraints.PBMinDataStructure@1fdc96c
c org.sat4j.minisat.learning.MiniSATLearning@b2fd8f
c conflictBoundIncFactor=1.5 learntBoundIncFactor=1.1 initLearntBoundConstraintFactor=0.5 initConflictBound=100 
c 
c --- End Solver configuration ---
c solving /oldhome/oroussel/tmp/wulflinc12/normalized-mps-v2-20-10-lseu.opb
c reading problem ... done. Time 0.322 ms.
c #vars     89
c #constraints  28
c SATISFIABLE
c OPTIMIZING...
c CURRENT OPTIMUM=                3730 		Current CPU time: 0.81 ms
c CURRENT OPTIMUM=                3597 		Current CPU time: 1.28 ms
c CURRENT OPTIMUM=                3558 		Current CPU time: 3.16 ms
c CURRENT OPTIMUM=                3010 		Current CPU time: 3.25 ms
c CURRENT OPTIMUM=                2752 		Current CPU time: 3.29 ms
c CURRENT OPTIMUM=                2338 		Current CPU time: 3.39 ms
c CURRENT OPTIMUM=                2333 		Current CPU time: 7.07 ms
c CURRENT OPTIMUM=                2285 		Current CPU time: 7.15 ms
c CURRENT OPTIMUM=                2222 		Current CPU time: 9.18 ms
c CURRENT OPTIMUM=                1951 		Current CPU time: 13.60 ms
c CURRENT OPTIMUM=                1941 		Current CPU time: 48.01 ms
c CURRENT OPTIMUM=                1922 		Current CPU time: 76.55 ms
c CURRENT OPTIMUM=                1878 		Current CPU time: 91.56 ms
c CURRENT OPTIMUM=                1839 		Current CPU time: 144.04 ms
c CURRENT OPTIMUM=                1780 		Current CPU time: 165.21 ms
c CURRENT OPTIMUM=                1659 		Current CPU time: 187.44 ms
c CURRENT OPTIMUM=                1611 		Current CPU time: 249.21 ms
c CURRENT OPTIMUM=                1540 		Current CPU time: 282.60 ms
c CURRENT OPTIMUM=                1525 		Current CPU time: 308.95 ms
c CURRENT OPTIMUM=                1461 		Current CPU time: 336.77 ms
c CURRENT OPTIMUM=                1451 		Current CPU time: 1032.09 ms
c CURRENT OPTIMUM=                1448 		Current CPU time: 1200.16 ms
c starts	: 47
c conflicts	: 5213
c decisions	: 15894
c propagations	: 70211
c inspects	: 5120938
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 5213
c root simplifications	: 47
s SATISFIABLE
v C101_bit0 C102_bit0 -C103_bit0 -C104_bit0 -C105_bit0 C108_bit0 C111_bit0 -C112_bit0 -C113_bit0 -C114_bit0 -C115_bit0 -C116_bit0 -C117_bit0 -C118_bit0 -C119_bit0 -C120_bit0 -C121_bit0 -C122_bit0 C123_bit0 -C124_bit0 -C125_bit0 -C126_bit0 C127_bit0 -C128_bit0 -C129_bit0 -C130_bit0 -C131_bit0 -C132_bit0 -C133_bit0 -C134_bit0 -C135_bit0 -C136_bit0 -C137_bit0 C138_bit0 -C139_bit0 -C140_bit0 -C141_bit0 C142_bit0 -C143_bit0 -C144_bit0 C145_bit0 -C146_bit0 -C147_bit0 -C148_bit0 -C149_bit0 -C150_bit0 C151_bit0 -C152_bit0 C153_bit0 -C154_bit0 -C155_bit0 -C156_bit0 C157_bit0 -C158_bit0 -C159_bit0 -C160_bit0 -C161_bit0 -C162_bit0 -C163_bit0 C164_bit0 -C165_bit0 -C166_bit0 -C167_bit0 -C168_bit0 -C169_bit0 -C170_bit0 -C171_bit0 -C172_bit0 -C173_bit0 -C174_bit0 -C175_bit0 -C176_bit0 -C177_bit0 -C178_bit0 -C179_bit0 -C180_bit0 -C181_bit0 -C182_bit0 -C183_bit0 -C184_bit0 -C185_bit0 -C186_bit0 -C187_bit0 -C188_bit0 -C189_bit0 -C106_bit0 -C107_bit0 -C109_bit0 -C110_bit0 
c objectif function=1448
c Total CPU time (ms) : 1239.109
#### 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.93 0.99 0.99 2/54 10225
Raw data (stat): 10225 (runsolver) R 10224 32284 32283 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 779294256 1052672 99 4294967295 134512640 135381576 3221224400 3221219620 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+9.99972 s]
Raw data (loadavg): 1.17 1.04 1.01 2/64 10243
Raw data (stat): 10225 (java) R 10224 32284 32283 0 -1 0 18107 3 1 0 710 37 0 0 25 0 11 0 779294256 859262976 20338 4294967295 134512640 134569956 3221224368 3221214680 1131250082 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209781 20338 13086 16 0 209765 0
vsize: 839124
[startup+20.0011 s]
Raw data (loadavg): 1.15 1.04 1.01 2/64 10245
Raw data (stat): 10225 (java) R 10224 32284 32283 0 -1 0 18107 3 1 0 1674 37 0 0 25 0 11 0 779294256 857939968 20658 4294967295 134512640 134569956 3221224368 3221214680 1131251244 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209458 20658 13086 16 0 209442 0
vsize: 837832
[startup+30.0019 s]
Raw data (loadavg): 1.12 1.04 1.01 2/64 10245
Raw data (stat): 10225 (java) R 10224 32284 32283 0 -1 0 18107 3 1 0 2631 37 0 0 25 0 11 0 779294256 857939968 21056 4294967295 134512640 134569956 3221224368 3221214156 1131303780 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209458 21056 13086 16 0 209442 0
vsize: 837832
[startup+40.0021 s]
Raw data (loadavg): 1.10 1.03 1.01 2/64 10245
Raw data (stat): 10225 (java) R 10224 32284 32283 0 -1 0 18107 3 1 0 3575 38 0 0 25 0 11 0 779294256 857939968 21462 4294967295 134512640 134569956 3221224368 3221214680 1131256417 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209458 21462 13086 16 0 209442 0
vsize: 837832
[startup+50.0036 s]
Raw data (loadavg): 1.09 1.03 1.01 2/64 10246
Raw data (stat): 10225 (java) R 10224 32284 32283 0 -1 0 18108 3 1 0 4513 38 0 0 24 0 11 0 779294256 857939968 21572 4294967295 134512640 134569956 3221224368 3221214580 1130887246 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209458 21572 13086 16 0 209442 0
vsize: 837832
[startup+60.0033 s]
Raw data (loadavg): 1.07 1.03 1.01 2/64 10246
Raw data (stat): 10225 (java) R 10224 32284 32283 0 -1 0 18108 3 1 0 5458 39 0 0 25 0 11 0 779294256 857939968 21667 4294967295 134512640 134569956 3221224368 3221214680 1131250117 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209458 21667 13086 16 0 209442 0
vsize: 837832
[startup+70.0036 s]
Raw data (loadavg): 1.06 1.03 1.00 2/64 10246
Raw data (stat): 10225 (java) R 10224 32284 32283 0 -1 0 18108 3 1 0 6412 39 0 0 25 0 11 0 779294256 857939968 21787 4294967295 134512640 134569956 3221224368 3221214584 1131303723 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209458 21787 13086 16 0 209442 0
vsize: 837832
[startup+80.0039 s]
Raw data (loadavg): 1.05 1.03 1.00 2/64 10247
Raw data (stat): 10225 (java) R 10224 32284 32283 0 -1 0 18108 3 1 0 7367 39 0 0 25 0 11 0 779294256 857939968 22027 4294967295 134512640 134569956 3221224368 3221214144 1131303660 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209458 22027 13086 16 0 209442 0
vsize: 837832
[startup+90.0049 s]
Raw data (loadavg): 1.04 1.03 1.00 2/64 10247
Raw data (stat): 10225 (java) R 10224 32284 32283 0 -1 0 18108 3 1 0 8333 39 0 0 25 0 11 0 779294256 857939968 22162 4294967295 134512640 134569956 3221224368 3221214808 1131165081 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209458 22162 13086 16 0 209442 0
vsize: 837832
[startup+100.005 s]
Raw data (loadavg): 1.04 1.03 1.00 2/64 10248
Raw data (stat): 10225 (java) R 10224 32284 32283 0 -1 0 18108 3 1 0 9281 40 0 0 25 0 11 0 779294256 857939968 22315 4294967295 134512640 134569956 3221224368 3221214160 1131217889 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209458 22315 13086 16 0 209442 0
vsize: 837832
[startup+110.006 s]
Raw data (loadavg): 1.03 1.02 1.00 2/64 10248
Raw data (stat): 10225 (java) R 10224 32284 32283 0 -1 0 18108 3 1 0 10239 40 0 0 24 0 11 0 779294256 857939968 22431 4294967295 134512640 134569956 3221224368 3221214672 1131189187 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209458 22431 13086 16 0 209442 0
vsize: 837832
[startup+120.006 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 10248
Raw data (stat): 10225 (java) R 10224 32284 32283 0 -1 0 18108 3 1 0 11195 40 0 0 25 0 11 0 779294256 857939968 22518 4294967295 134512640 134569956 3221224368 3221214528 1131189187 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209458 22518 13086 16 0 209442 0
vsize: 837832
[startup+130.006 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 10248
Raw data (stat): 10225 (java) R 10224 32284 32283 0 -1 0 18108 3 1 0 12150 40 0 0 25 0 11 0 779294256 857939968 22647 4294967295 134512640 134569956 3221224368 3221214536 1131189145 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209458 22647 13086 16 0 209442 0
vsize: 837832
[startup+140.007 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 10248
Raw data (stat): 10225 (java) R 10224 32284 32283 0 -1 0 18108 3 1 0 13100 40 0 0 25 0 11 0 779294256 857939968 22828 4294967295 134512640 134569956 3221224368 3221214620 1131166508 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209458 22828 13086 16 0 209442 0
vsize: 837832
[startup+150.007 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 10249
Raw data (stat): 10225 (java) R 10224 32284 32283 0 -1 0 18108 3 1 0 14060 41 0 0 25 0 11 0 779294256 857939968 22994 4294967295 134512640 134569956 3221224368 3221214560 1131152929 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209458 22994 13086 16 0 209442 0
vsize: 837832
[startup+160.007 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 10249
Raw data (stat): 10225 (java) R 10224 32284 32283 0 -1 0 18108 3 1 0 15016 41 0 0 25 0 11 0 779294256 857939968 23139 4294967295 134512640 134569956 3221224368 3221214536 1131278641 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209458 23139 13086 16 0 209442 0
vsize: 837832
[startup+170.008 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 10250
Raw data (stat): 10225 (java) S 10224 32284 32283 0 -1 0 18108 3 1 0 15986 42 0 0 25 0 11 0 779294256 857939968 23238 4294967295 134512640 134569956 3221224368 3221213264 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209458 23238 13086 16 0 209442 0
vsize: 837832
[startup+180.009 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 10250
Raw data (stat): 10225 (java) R 10224 32284 32283 0 -1 0 18108 3 1 0 16959 42 0 0 25 0 11 0 779294256 857939968 23316 4294967295 134512640 134569956 3221224368 3221214496 1131285760 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209458 23316 13086 16 0 209442 0
vsize: 837832
[startup+190.01 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 10251
Raw data (stat): 10225 (java) R 10224 32284 32283 0 -1 0 18108 3 1 0 17924 42 0 0 25 0 11 0 779294256 857939968 23439 4294967295 134512640 134569956 3221224368 3221214152 1131278679 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209458 23439 13086 16 0 209442 0
vsize: 837832
[startup+200.01 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 10251
Raw data (stat): 10225 (java) R 10224 32284 32283 0 -1 0 18108 3 1 0 18896 42 0 0 25 0 11 0 779294256 857939968 23524 4294967295 134512640 134569956 3221224368 3221214112 1085679290 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209458 23524 13086 16 0 209442 0
vsize: 837832
[startup+210.01 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 10251
Raw data (stat): 10225 (java) R 10224 32284 32283 0 -1 0 18108 3 1 0 19867 43 0 0 25 0 11 0 779294256 857939968 23604 4294967295 134512640 134569956 3221224368 3221214656 1131251688 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209458 23604 13086 16 0 209442 0
vsize: 837832
[startup+220.01 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 10251
Raw data (stat): 10225 (java) R 10224 32284 32283 0 -1 0 18108 3 1 0 20839 43 0 0 25 0 11 0 779294256 857939968 23668 4294967295 134512640 134569956 3221224368 3221214656 1131254800 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209458 23668 13086 16 0 209442 0
vsize: 837832
[startup+230.011 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 10251
Raw data (stat): 10225 (java) R 10224 32284 32283 0 -1 0 18108 3 1 0 21803 43 0 0 25 0 11 0 779294256 857939968 23765 4294967295 134512640 134569956 3221224368 3221214656 1131251356 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209458 23765 13086 16 0 209442 0
vsize: 837832
[startup+240.011 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 10251
Raw data (stat): 10225 (java) R 10224 32284 32283 0 -1 0 18108 3 1 0 22768 43 0 0 24 0 11 0 779294256 857939968 23844 4294967295 134512640 134569956 3221224368 3221214472 1131426753 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209458 23844 13086 16 0 209442 0
vsize: 837832
[startup+250.012 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 10251
Raw data (stat): 10225 (java) R 10224 32284 32283 0 -1 0 18108 3 1 0 23746 44 0 0 25 0 11 0 779294256 857939968 23921 4294967295 134512640 134569956 3221224368 3221214576 1131360074 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209458 23921 13086 16 0 209442 0
vsize: 837832
[startup+260.012 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 10252
Raw data (stat): 10225 (java) R 10224 32284 32283 0 -1 0 18108 3 1 0 24713 44 0 0 25 0 11 0 779294256 857939968 24032 4294967295 134512640 134569956 3221224368 3221214636 1131167820 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209458 24032 13086 16 0 209442 0
vsize: 837832
[startup+270.013 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 10252
Raw data (stat): 10225 (java) R 10224 32284 32283 0 -1 0 18108 3 1 0 25680 44 0 0 25 0 11 0 779294256 857939968 24125 4294967295 134512640 134569956 3221224368 3221214656 1131251356 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209458 24125 13086 16 0 209442 0
vsize: 837832
[startup+280.012 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 10252
Raw data (stat): 10225 (java) R 10224 32284 32283 0 -1 0 18108 3 1 0 26655 45 0 0 25 0 11 0 779294256 857939968 24207 4294967295 134512640 134569956 3221224368 3221214560 1131154621 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209458 24207 13086 16 0 209442 0
vsize: 837832
[startup+290.014 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 10253
Raw data (stat): 10225 (java) R 10224 32284 32283 0 -1 0 18108 3 1 0 27629 45 0 0 25 0 11 0 779294256 857939968 24288 4294967295 134512640 134569956 3221224368 3221214608 1131196953 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209458 24288 13086 16 0 209442 0
vsize: 837832
[startup+300.015 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 10253
Raw data (stat): 10225 (java) R 10224 32284 32283 0 -1 0 18108 3 1 0 28604 45 0 0 25 0 11 0 779294256 857939968 24374 4294967295 134512640 134569956 3221224368 3221214536 1131189326 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209458 24374 13086 16 0 209442 0
vsize: 837832
[startup+310.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10254
Raw data (stat): 10225 (java) R 10224 32284 32283 0 -1 0 18108 3 1 0 29578 46 0 0 25 0 11 0 779294256 857939968 24437 4294967295 134512640 134569956 3221224368 3221214032 1131303804 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209458 24437 13086 16 0 209442 0
vsize: 837832
[startup+320.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10254
Raw data (stat): 10225 (java) R 10224 32284 32283 0 -1 0 18108 3 1 0 30552 46 0 0 25 0 11 0 779294256 857939968 24499 4294967295 134512640 134569956 3221224368 3221214656 1131254848 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209458 24499 13086 16 0 209442 0
vsize: 837832
[startup+330.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10254
Raw data (stat): 10225 (java) R 10224 32284 32283 0 -1 0 18108 3 1 0 31532 46 0 0 25 0 11 0 779294256 857939968 24548 4294967295 134512640 134569956 3221224368 3221214656 1131250045 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209458 24548 13086 16 0 209442 0
vsize: 837832
[startup+340.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10255
Raw data (stat): 10225 (java) R 10224 32284 32283 0 -1 0 18108 3 1 0 32511 47 0 0 25 0 11 0 779294256 857939968 24590 4294967295 134512640 134569956 3221224368 3221213856 1131303807 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209458 24590 13086 16 0 209442 0
vsize: 837832
[startup+350.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10255
Raw data (stat): 10225 (java) R 10224 32284 32283 0 -1 0 18108 3 1 0 33484 47 0 0 25 0 11 0 779294256 857939968 24663 4294967295 134512640 134569956 3221224368 3221214736 1131145712 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209458 24663 13086 16 0 209442 0
vsize: 837832
[startup+360.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10255
Raw data (stat): 10225 (java) R 10224 32284 32283 0 -1 0 18108 3 1 0 34456 47 0 0 25 0 11 0 779294256 857939968 24728 4294967295 134512640 134569956 3221224368 3221214288 1131307076 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209458 24728 13086 16 0 209442 0
vsize: 837832
[startup+370.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10255
Raw data (stat): 10225 (java) R 10224 32284 32283 0 -1 0 18108 3 1 0 35428 47 0 0 25 0 11 0 779294256 857939968 24798 4294967295 134512640 134569956 3221224368 3221214400 1131306966 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209458 24798 13086 16 0 209442 0
vsize: 837832
[startup+380.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10255
Raw data (stat): 10225 (java) R 10224 32284 32283 0 -1 0 18108 3 1 0 36400 47 0 0 25 0 11 0 779294256 857939968 24899 4294967295 134512640 134569956 3221224368 3221214552 1131336509 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209458 24899 13086 16 0 209442 0
vsize: 837832
[startup+390.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10255
Raw data (stat): 10225 (java) R 10224 32284 32283 0 -1 0 18108 3 1 0 37380 47 0 0 25 0 11 0 779294256 857939968 24975 4294967295 134512640 134569956 3221224368 3221214552 1131174947 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209458 24975 13086 16 0 209442 0
vsize: 837832
[startup+400.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10255
Raw data (stat): 10225 (java) R 10224 32284 32283 0 -1 0 18108 3 1 0 38360 48 0 0 25 0 11 0 779294256 857939968 25020 4294967295 134512640 134569956 3221224368 3221214656 1131251356 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209458 25020 13086 16 0 209442 0
vsize: 837832
[startup+410.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10255
Raw data (stat): 10225 (java) R 10224 32284 32283 0 -1 0 18108 3 1 0 39340 48 0 0 25 0 11 0 779294256 857939968 25078 4294967295 134512640 134569956 3221224368 3221214656 1131249957 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209458 25078 13086 16 0 209442 0
vsize: 837832
[startup+420.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10255
Raw data (stat): 10225 (java) R 10224 32284 32283 0 -1 0 18108 3 1 0 40319 48 0 0 25 0 11 0 779294256 857939968 25140 4294967295 134512640 134569956 3221224368 3221213928 1131278679 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209458 25140 13086 16 0 209442 0
vsize: 837832
[startup+430.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10255
Raw data (stat): 10225 (java) R 10224 32284 32283 0 -1 0 18108 3 1 0 41298 48 0 0 25 0 11 0 779294256 857939968 25192 4294967295 134512640 134569956 3221224368 3221214560 1131153602 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209458 25192 13086 16 0 209442 0
vsize: 837832
[startup+440.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10255
Raw data (stat): 10225 (java) R 10224 32284 32283 0 -1 0 18108 3 1 0 42277 48 0 0 25 0 11 0 779294256 857939968 25240 4294967295 134512640 134569956 3221224368 3221214480 1131278673 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209458 25240 13086 16 0 209442 0
vsize: 837832
[startup+450.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10255
Raw data (stat): 10225 (java) R 10224 32284 32283 0 -1 0 18108 3 1 0 43255 48 0 0 25 0 11 0 779294256 857939968 25307 4294967295 134512640 134569956 3221224368 3221213952 1085679366 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209458 25307 13086 16 0 209442 0
vsize: 837832
[startup+460.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10255
Raw data (stat): 10225 (java) R 10224 32284 32283 0 -1 0 18108 3 1 0 44226 49 0 0 25 0 11 0 779294256 857939968 25370 4294967295 134512640 134569956 3221224368 3221214656 1131251039 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209458 25370 13086 16 0 209442 0
vsize: 837832
[startup+470.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10255
Raw data (stat): 10225 (java) R 10224 32284 32283 0 -1 0 18108 3 1 0 45204 49 0 0 25 0 11 0 779294256 857939968 25409 4294967295 134512640 134569956 3221224368 3221213864 1131278620 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209458 25409 13086 16 0 209442 0
vsize: 837832
[startup+480.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10255
Raw data (stat): 10225 (java) S 10224 32284 32283 0 -1 0 18108 3 1 0 46176 49 0 0 25 0 11 0 779294256 857939968 25452 4294967295 134512640 134569956 3221224368 3221213400 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209458 25452 13086 16 0 209442 0
vsize: 837832
[startup+490.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10255
Raw data (stat): 10225 (java) R 10224 32284 32283 0 -1 0 18108 3 1 0 47159 50 0 0 25 0 11 0 779294256 857939968 25507 4294967295 134512640 134569956 3221224368 3221214368 1131278666 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209458 25507 13086 16 0 209442 0
vsize: 837832
[startup+500.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10255
Raw data (stat): 10225 (java) R 10224 32284 32283 0 -1 0 18108 3 1 0 48128 50 0 0 25 0 11 0 779294256 857939968 25567 4294967295 134512640 134569956 3221224368 3221214072 1131280824 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209458 25567 13086 16 0 209442 0
vsize: 837832
[startup+510.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10255
Raw data (stat): 10225 (java) R 10224 32284 32283 0 -1 0 18108 3 1 0 49104 50 0 0 25 0 11 0 779294256 857939968 25649 4294967295 134512640 134569956 3221224368 3221213480 1131278648 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209458 25649 13086 16 0 209442 0
vsize: 837832
[startup+520.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10255
Raw data (stat): 10225 (java) R 10224 32284 32283 0 -1 0 18108 3 1 0 50072 50 0 0 25 0 11 0 779294256 857939968 25758 4294967295 134512640 134569956 3221224368 3221214560 1131153105 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209458 25758 13086 16 0 209442 0
vsize: 837832
[startup+530.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10255
Raw data (stat): 10225 (java) R 10224 32284 32283 0 -1 0 18108 3 1 0 51042 50 0 0 24 0 11 0 779294256 857939968 25856 4294967295 134512640 134569956 3221224368 3221214656 1131250056 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209458 25856 13086 16 0 209442 0
vsize: 837832
[startup+540.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10255
Raw data (stat): 10225 (java) R 10224 32284 32283 0 -1 0 18108 3 1 0 52012 50 0 0 24 0 11 0 779294256 857939968 25934 4294967295 134512640 134569956 3221224368 3221214568 1131306782 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209458 25934 13086 16 0 209442 0
vsize: 837832
[startup+550.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10255
Raw data (stat): 10225 (java) R 10224 32284 32283 0 -1 0 18108 3 1 0 52983 50 0 0 25 0 11 0 779294256 857939968 26008 4294967295 134512640 134569956 3221224368 3221214560 1131152929 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209458 26008 13086 16 0 209442 0
vsize: 837832
[startup+560.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10255
Raw data (stat): 10225 (java) R 10224 32284 32283 0 -1 0 18108 3 1 0 53954 51 0 0 25 0 11 0 779294256 857939968 26092 4294967295 134512640 134569956 3221224368 3221214576 1131304725 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209458 26092 13086 16 0 209442 0
vsize: 837832
[startup+570.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10255
Raw data (stat): 10225 (java) R 10224 32284 32283 0 -1 0 18108 3 1 0 54933 51 0 0 25 0 11 0 779294256 857939968 26156 4294967295 134512640 134569956 3221224368 3221214560 1131153141 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209458 26156 13086 16 0 209442 0
vsize: 837832
[startup+580.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10255
Raw data (stat): 10225 (java) R 10224 32284 32283 0 -1 0 18108 3 1 0 55906 51 0 0 25 0 11 0 779294256 857939968 26240 4294967295 134512640 134569956 3221224368 3221214560 1131152831 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209458 26240 13086 16 0 209442 0
vsize: 837832
[startup+590.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10255
Raw data (stat): 10225 (java) R 10224 32284 32283 0 -1 0 18108 3 1 0 56880 51 0 0 25 0 11 0 779294256 857939968 26315 4294967295 134512640 134569956 3221224368 3221214584 1131166570 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209458 26315 13086 16 0 209442 0
vsize: 837832
[startup+600.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10255
Raw data (stat): 10225 (java) R 10224 32284 32283 0 -1 0 18108 3 1 0 57849 51 0 0 25 0 11 0 779294256 857939968 26419 4294967295 134512640 134569956 3221224368 3221214656 1131251812 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209458 26419 13086 16 0 209442 0
vsize: 837832
[startup+610.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10255
Raw data (stat): 10225 (java) R 10224 32284 32283 0 -1 0 18108 3 1 0 58820 51 0 0 25 0 11 0 779294256 857939968 26529 4294967295 134512640 134569956 3221224368 3221213840 1085679331 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209458 26529 13086 16 0 209442 0
vsize: 837832
[startup+620.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10255
Raw data (stat): 10225 (java) R 10224 32284 32283 0 -1 0 18108 3 1 0 59797 51 0 0 25 0 11 0 779294256 857939968 26580 4294967295 134512640 134569956 3221224368 3221214512 1131176318 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209458 26580 13086 16 0 209442 0
vsize: 837832
[startup+630.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10255
Raw data (stat): 10225 (java) R 10224 32284 32283 0 -1 0 18108 3 1 0 60775 51 0 0 25 0 11 0 779294256 857939968 26649 4294967295 134512640 134569956 3221224368 3221214620 1131166729 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209458 26649 13086 16 0 209442 0
vsize: 837832
[startup+640.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10255
Raw data (stat): 10225 (java) R 10224 32284 32283 0 -1 0 18108 3 1 0 61753 52 0 0 25 0 11 0 779294256 857939968 26712 4294967295 134512640 134569956 3221224368 3221214248 1131303660 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209458 26712 13086 16 0 209442 0
vsize: 837832
[startup+650.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10255
Raw data (stat): 10225 (java) R 10224 32284 32283 0 -1 0 18108 3 1 0 62737 52 0 0 25 0 11 0 779294256 857939968 26756 4294967295 134512640 134569956 3221224368 3221213796 1131303780 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209458 26756 13086 16 0 209442 0
vsize: 837832
[startup+660.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10255
Raw data (stat): 10225 (java) R 10224 32284 32283 0 -1 0 18108 3 1 0 63710 52 0 0 25 0 11 0 779294256 857939968 26826 4294967295 134512640 134569956 3221224368 3221214656 1131251812 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209458 26826 13086 16 0 209442 0
vsize: 837832
[startup+670.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10255
Raw data (stat): 10225 (java) R 10224 32284 32283 0 -1 0 18108 3 1 0 64694 52 0 0 25 0 11 0 779294256 857939968 26866 4294967295 134512640 134569956 3221224368 3221214252 1131278496 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209458 26866 13086 16 0 209442 0
vsize: 837832
[startup+680.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10255
Raw data (stat): 10225 (java) R 10224 32284 32283 0 -1 0 18108 3 1 0 65665 53 0 0 24 0 11 0 779294256 857939968 26938 4294967295 134512640 134569956 3221224368 3221214656 1131249984 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209458 26938 13086 16 0 209442 0
vsize: 837832
[startup+690.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10255
Raw data (stat): 10225 (java) R 10224 32284 32283 0 -1 0 18108 3 1 0 66647 53 0 0 25 0 11 0 779294256 857939968 26964 4294967295 134512640 134569956 3221224368 3221214656 1131250009 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209458 26964 13086 16 0 209442 0
vsize: 837832
[startup+700.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10255
Raw data (stat): 10225 (java) R 10224 32284 32283 0 -1 0 18108 3 1 0 67618 53 0 0 25 0 11 0 779294256 857939968 27028 4294967295 134512640 134569956 3221224368 3221214696 1131318091 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209458 27028 13086 16 0 209442 0
vsize: 837832
[startup+710.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10255
Raw data (stat): 10225 (java) R 10224 32284 32283 0 -1 0 18108 3 1 0 68593 53 0 0 25 0 11 0 779294256 857939968 27086 4294967295 134512640 134569956 3221224368 3221214656 1131252005 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209458 27086 13086 16 0 209442 0
vsize: 837832
[startup+720.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10255
Raw data (stat): 10225 (java) R 10224 32284 32283 0 -1 0 18108 3 1 0 69569 54 0 0 25 0 11 0 779294256 857939968 27148 4294967295 134512640 134569956 3221224368 3221214656 1131249775 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209458 27148 13086 16 0 209442 0
vsize: 837832
[startup+730.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10255
Raw data (stat): 10225 (java) R 10224 32284 32283 0 -1 0 18108 3 1 0 70538 54 0 0 25 0 11 0 779294256 857939968 27236 4294967295 134512640 134569956 3221224368 3221214656 1131251022 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209458 27236 13086 16 0 209442 0
vsize: 837832
[startup+740.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10255
Raw data (stat): 10225 (java) R 10224 32284 32283 0 -1 0 18108 3 1 0 71520 55 0 0 25 0 11 0 779294256 857939968 27283 4294967295 134512640 134569956 3221224368 3221214560 1131153200 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209458 27283 13086 16 0 209442 0
vsize: 837832
[startup+750.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10255
Raw data (stat): 10225 (java) R 10224 32284 32283 0 -1 0 18108 3 1 0 72501 55 0 0 25 0 11 0 779294256 857939968 27353 4294967295 134512640 134569956 3221224368 3221213360 1131303648 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209458 27353 13086 16 0 209442 0
vsize: 837832
[startup+760.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10255
Raw data (stat): 10225 (java) R 10224 32284 32283 0 -1 0 18108 3 1 0 73484 55 0 0 25 0 11 0 779294256 857939968 27414 4294967295 134512640 134569956 3221224368 3221214772 1131197420 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209458 27414 13086 16 0 209442 0
vsize: 837832
[startup+770.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10255
Raw data (stat): 10225 (java) R 10224 32284 32283 0 -1 0 18108 3 1 0 74460 55 0 0 25 0 11 0 779294256 857939968 27464 4294967295 134512640 134569956 3221224368 3221214656 1131249984 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209458 27464 13086 16 0 209442 0
vsize: 837832
[startup+780.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10255
Raw data (stat): 10225 (java) R 10224 32284 32283 0 -1 0 18108 3 1 0 75435 56 0 0 25 0 11 0 779294256 857939968 27514 4294967295 134512640 134569956 3221224368 3221214456 1131417181 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209458 27514 13086 16 0 209442 0
vsize: 837832
[startup+790.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10255
Raw data (stat): 10225 (java) R 10224 32284 32283 0 -1 0 18108 3 1 0 76422 56 0 0 25 0 11 0 779294256 857939968 27549 4294967295 134512640 134569956 3221224368 3221214656 1131250016 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209458 27549 13086 16 0 209442 0
vsize: 837832
[startup+800.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10255
Raw data (stat): 10225 (java) R 10224 32284 32283 0 -1 0 18108 3 1 0 77392 56 0 0 25 0 11 0 779294256 857939968 27638 4294967295 134512640 134569956 3221224368 3221214168 1085679313 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209458 27638 13086 16 0 209442 0
vsize: 837832
[startup+810.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10255
Raw data (stat): 10225 (java) R 10224 32284 32283 0 -1 0 18108 3 1 0 78368 56 0 0 25 0 11 0 779294256 857939968 27698 4294967295 134512640 134569956 3221224368 3221214584 1131218544 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209458 27698 13086 16 0 209442 0
vsize: 837832
[startup+820.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10255
Raw data (stat): 10225 (java) R 10224 32284 32283 0 -1 0 18108 3 1 0 79334 57 0 0 25 0 11 0 779294256 857939968 27792 4294967295 134512640 134569956 3221224368 3221214656 1131249984 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209458 27792 13086 16 0 209442 0
vsize: 837832
[startup+830.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10255
Raw data (stat): 10225 (java) R 10224 32284 32283 0 -1 0 18108 3 1 0 80311 57 0 0 25 0 11 0 779294256 857939968 27850 4294967295 134512640 134569956 3221224368 3221214560 1131153187 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209458 27850 13086 16 0 209442 0
vsize: 837832
[startup+840.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10255
Raw data (stat): 10225 (java) R 10224 32284 32283 0 -1 0 18108 3 1 0 81289 57 0 0 25 0 11 0 779294256 857939968 27920 4294967295 134512640 134569956 3221224368 3221213920 1131303603 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209458 27920 13086 16 0 209442 0
vsize: 837832
[startup+850.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10255
Raw data (stat): 10225 (java) R 10224 32284 32283 0 -1 0 18108 3 1 0 82266 57 0 0 25 0 11 0 779294256 857939968 27996 4294967295 134512640 134569956 3221224368 3221214656 1131250082 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209458 27996 13086 16 0 209442 0
vsize: 837832
[startup+860.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10255
Raw data (stat): 10225 (java) R 10224 32284 32283 0 -1 0 18108 3 1 0 83244 58 0 0 25 0 11 0 779294256 857939968 28070 4294967295 134512640 134569956 3221224368 3221214560 1131153649 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209458 28070 13086 16 0 209442 0
vsize: 837832
[startup+870.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10255
Raw data (stat): 10225 (java) R 10224 32284 32283 0 -1 0 18108 3 1 0 84228 58 0 0 25 0 11 0 779294256 857939968 28105 4294967295 134512640 134569956 3221224368 3221214656 1131251757 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209458 28105 13086 16 0 209442 0
vsize: 837832
[startup+880.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10255
Raw data (stat): 10225 (java) R 10224 32284 32283 0 -1 0 18108 3 1 0 85211 58 0 0 25 0 11 0 779294256 857939968 28138 4294967295 134512640 134569956 3221224368 3221214640 1131183480 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209458 28138 13086 16 0 209442 0
vsize: 837832
[startup+890.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10255
Raw data (stat): 10225 (java) R 10224 32284 32283 0 -1 0 18108 3 1 0 86188 58 0 0 25 0 11 0 779294256 857939968 28183 4294967295 134512640 134569956 3221224368 3221213856 1131303849 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209458 28183 13086 16 0 209442 0
vsize: 837832
[startup+900.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10255
Raw data (stat): 10225 (java) R 10224 32284 32283 0 -1 0 18108 3 1 0 87171 58 0 0 25 0 11 0 779294256 857939968 28220 4294967295 134512640 134569956 3221224368 3221214656 1131249973 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209458 28220 13086 16 0 209442 0
vsize: 837832
[startup+910.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10255
Raw data (stat): 10225 (java) R 10224 32284 32283 0 -1 0 18108 3 1 0 88147 59 0 0 25 0 11 0 779294256 857939968 28278 4294967295 134512640 134569956 3221224368 3221214496 1131340260 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209458 28278 13086 16 0 209442 0
vsize: 837832
[startup+920.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10255
Raw data (stat): 10225 (java) R 10224 32284 32283 0 -1 0 18108 3 1 0 89123 59 0 0 25 0 11 0 779294256 857939968 28333 4294967295 134512640 134569956 3221224368 3221214496 1131340254 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209458 28333 13086 16 0 209442 0
vsize: 837832
[startup+930.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10255
Raw data (stat): 10225 (java) R 10224 32284 32283 0 -1 0 18108 3 1 0 90111 59 0 0 25 0 11 0 779294256 857939968 28372 4294967295 134512640 134569956 3221224368 3221214096 1131278630 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209458 28372 13086 16 0 209442 0
vsize: 837832
[startup+940.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10255
Raw data (stat): 10225 (java) R 10224 32284 32283 0 -1 0 18108 3 1 0 91087 60 0 0 25 0 11 0 779294256 857939968 28446 4294967295 134512640 134569956 3221224368 3221213888 1085679325 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209458 28446 13086 16 0 209442 0
vsize: 837832
[startup+950.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10255
Raw data (stat): 10225 (java) R 10224 32284 32283 0 -1 0 18108 3 1 0 92065 60 0 0 25 0 11 0 779294256 857939968 28506 4294967295 134512640 134569956 3221224368 3221214416 1131432480 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209458 28506 13086 16 0 209442 0
vsize: 837832
[startup+960.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10255
Raw data (stat): 10225 (java) R 10224 32284 32283 0 -1 0 18108 3 1 0 93047 60 0 0 25 0 11 0 779294256 857939968 28559 4294967295 134512640 134569956 3221224368 3221214456 1131417104 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209458 28559 13086 16 0 209442 0
vsize: 837832
[startup+970.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10255
Raw data (stat): 10225 (java) R 10224 32284 32283 0 -1 0 18108 3 1 0 94042 60 0 0 25 0 11 0 779294256 857939968 28577 4294967295 134512640 134569956 3221224368 3221214504 1131153255 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209458 28577 13086 16 0 209442 0
vsize: 837832
[startup+980.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10255
Raw data (stat): 10225 (java) R 10224 32284 32283 0 -1 0 18108 3 1 0 95030 60 0 0 25 0 11 0 779294256 857939968 28634 4294967295 134512640 134569956 3221224368 3221214560 1131154592 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209458 28634 13086 16 0 209442 0
vsize: 837832
[startup+990.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10255
Raw data (stat): 10225 (java) R 10224 32284 32283 0 -1 0 18108 3 1 0 96013 60 0 0 25 0 11 0 779294256 857939968 28674 4294967295 134512640 134569956 3221224368 3221214496 1131340227 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209458 28674 13086 16 0 209442 0
vsize: 837832
[startup+1000.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10255
Raw data (stat): 10225 (java) R 10224 32284 32283 0 -1 0 18108 3 1 0 97001 61 0 0 25 0 11 0 779294256 857939968 28709 4294967295 134512640 134569956 3221224368 3221214536 1131189293 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209458 28709 13086 16 0 209442 0
vsize: 837832
[startup+1010.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10255
Raw data (stat): 10225 (java) R 10224 32284 32283 0 -1 0 18108 3 1 0 97984 61 0 0 25 0 11 0 779294256 857939968 28783 4294967295 134512640 134569956 3221224368 3221214528 1131189950 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209458 28783 13086 16 0 209442 0
vsize: 837832
[startup+1020.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10255
Raw data (stat): 10225 (java) R 10224 32284 32283 0 -1 0 18108 3 1 0 98968 61 0 0 25 0 11 0 779294256 857939968 28829 4294967295 134512640 134569956 3221224368 3221214504 1131153458 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209458 28829 13086 16 0 209442 0
vsize: 837832
[startup+1030.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10255
Raw data (stat): 10225 (java) R 10224 32284 32283 0 -1 0 18108 3 1 0 99946 61 0 0 25 0 11 0 779294256 857939968 28916 4294967295 134512640 134569956 3221224368 3221214560 1131154661 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209458 28916 13086 16 0 209442 0
vsize: 837832
[startup+1040.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10256
Raw data (stat): 10225 (java) R 10224 32284 32283 0 -1 0 18108 3 1 0 100929 62 0 0 25 0 11 0 779294256 857939968 28981 4294967295 134512640 134569956 3221224368 3221214656 1131252721 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209458 28981 13086 16 0 209442 0
vsize: 837832
[startup+1050.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10256
Raw data (stat): 10225 (java) R 10224 32284 32283 0 -1 0 18108 3 1 0 101906 62 0 0 25 0 11 0 779294256 857939968 29047 4294967295 134512640 134569956 3221224368 3221214448 1085679747 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209458 29047 13086 16 0 209442 0
vsize: 837832
[startup+1060.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10256
Raw data (stat): 10225 (java) R 10224 32284 32283 0 -1 0 18108 3 1 0 102883 63 0 0 25 0 11 0 779294256 857939968 29131 4294967295 134512640 134569956 3221224368 3221214584 1131218441 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209458 29131 13086 16 0 209442 0
vsize: 837832
[startup+1070.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10256
Raw data (stat): 10225 (java) R 10224 32284 32283 0 -1 0 18108 3 1 0 103866 63 0 0 25 0 11 0 779294256 857939968 29191 4294967295 134512640 134569956 3221224368 3221214560 1131153149 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209458 29191 13086 16 0 209442 0
vsize: 837832
[startup+1080.06 s]
Raw data (loadavg): 1.00 1.00 1.00 3/67 10295
Raw data (stat): 10225 (java) R 10224 32284 32283 0 -1 0 18108 3 1 0 104845 66 0 0 25 0 11 0 779294256 857939968 29259 4294967295 134512640 134569956 3221224368 3221214448 1085632292 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209458 29259 13086 16 0 209442 0
vsize: 837832
[startup+1090.06 s]
Raw data (loadavg): 1.07 1.02 1.00 2/64 10309
Raw data (stat): 10225 (java) R 10224 32284 32283 0 -1 0 18108 3 1 0 105822 66 0 0 25 0 11 0 779294256 857939968 29341 4294967295 134512640 134569956 3221224368 3221214224 1085679452 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209458 29341 13086 16 0 209442 0
vsize: 837832
[startup+1100.06 s]
Raw data (loadavg): 1.06 1.02 1.00 2/64 10309
Raw data (stat): 10225 (java) R 10224 32284 32283 0 -1 0 18108 3 1 0 106805 66 0 0 25 0 11 0 779294256 857939968 29417 4294967295 134512640 134569956 3221224368 3221214560 1131153458 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209458 29417 13086 16 0 209442 0
vsize: 837832
[startup+1110.06 s]
Raw data (loadavg): 1.05 1.01 1.00 2/64 10309
Raw data (stat): 10225 (java) R 10224 32284 32283 0 -1 0 18108 3 1 0 107781 66 0 0 25 0 11 0 779294256 857939968 29471 4294967295 134512640 134569956 3221224368 3221214528 1131189112 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209458 29471 13086 16 0 209442 0
vsize: 837832
[startup+1120.06 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 10309
Raw data (stat): 10225 (java) R 10224 32284 32283 0 -1 0 18108 3 1 0 108757 67 0 0 25 0 11 0 779294256 857939968 29525 4294967295 134512640 134569956 3221224368 3221214196 1131278672 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209458 29525 13086 16 0 209442 0
vsize: 837832
[startup+1130.06 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 10309
Raw data (stat): 10225 (java) R 10224 32284 32283 0 -1 0 18108 3 1 0 109734 67 0 0 25 0 11 0 779294256 857939968 29584 4294967295 134512640 134569956 3221224368 3221214504 1131153241 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209458 29584 13086 16 0 209442 0
vsize: 837832
[startup+1140.06 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 10309
Raw data (stat): 10225 (java) R 10224 32284 32283 0 -1 0 18108 3 1 0 110704 67 0 0 25 0 11 0 779294256 857939968 29659 4294967295 134512640 134569956 3221224368 3221214536 1131189257 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209458 29659 13086 16 0 209442 0
vsize: 837832
[startup+1150.06 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 10309
Raw data (stat): 10225 (java) R 10224 32284 32283 0 -1 0 18108 3 1 0 111681 67 0 0 25 0 11 0 779294256 857939968 29730 4294967295 134512640 134569956 3221224368 3221214528 1131189361 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209458 29730 13086 16 0 209442 0
vsize: 837832
[startup+1160.06 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 10311
Raw data (stat): 10225 (java) R 10224 32284 32283 0 -1 0 18108 3 1 0 112664 67 0 0 25 0 11 0 779294256 857939968 29790 4294967295 134512640 134569956 3221224368 3221213852 1131304704 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209458 29790 13086 16 0 209442 0
vsize: 837832
[startup+1170.07 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 10311
Raw data (stat): 10225 (java) R 10224 32284 32283 0 -1 0 18108 3 1 0 113637 68 0 0 25 0 11 0 779294256 857939968 29854 4294967295 134512640 134569956 3221224368 3221214576 1131304725 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209458 29854 13086 16 0 209442 0
vsize: 837832
[startup+1180.07 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 10311
Raw data (stat): 10225 (java) R 10224 32284 32283 0 -1 0 18108 3 1 0 114620 68 0 0 25 0 11 0 779294256 857939968 29899 4294967295 134512640 134569956 3221224368 3221214656 1131251769 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209458 29899 13086 16 0 209442 0
vsize: 837832
[startup+1190.07 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 10311
Raw data (stat): 10225 (java) R 10224 32284 32283 0 -1 0 18108 3 1 0 115598 68 0 0 25 0 11 0 779294256 857939968 29947 4294967295 134512640 134569956 3221224368 3221214144 1131278747 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209458 29947 13086 16 0 209442 0
vsize: 837832
[startup+1200.07 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 10311
Raw data (stat): 10225 (java) R 10224 32284 32283 0 -1 0 18108 3 1 0 116570 68 0 0 25 0 11 0 779294256 857939968 30005 4294967295 134512640 134569956 3221224368 3221214520 1131304725 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209458 30005 13086 16 0 209442 0
vsize: 837832
[startup+1210.07 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 10312
Raw data (stat): 10225 (java) R 10224 32284 32283 0 -1 0 18108 3 1 0 117548 68 0 0 25 0 11 0 779294256 857939968 30050 4294967295 134512640 134569956 3221224368 3221213960 1131280777 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209458 30050 13086 16 0 209442 0
vsize: 837832
[startup+1220.07 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 10312
Raw data (stat): 10225 (java) R 10224 32284 32283 0 -1 0 18108 3 1 0 118526 69 0 0 25 0 11 0 779294256 857939968 30091 4294967295 134512640 134569956 3221224368 3221214536 1131278565 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209458 30091 13086 16 0 209442 0
vsize: 837832
[startup+1230.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10312
Raw data (stat): 10225 (java) R 10224 32284 32283 0 -1 0 18108 3 1 0 119509 69 0 0 25 0 11 0 779294256 857939968 30132 4294967295 134512640 134569956 3221224368 3221213984 1131278565 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209458 30132 13086 16 0 209442 0
vsize: 837832
[startup+1240.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10312
Raw data (stat): 10225 (java) R 10224 32284 32283 0 -1 0 18108 3 1 0 120486 69 0 0 25 0 11 0 779294256 857939968 30184 4294967295 134512640 134569956 3221224368 3221214160 1131218334 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209458 30184 13086 16 0 209442 0
vsize: 837832
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1240.15 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 10314
Raw data (stat): 10225 (java) Z 10224 32284 32283 0 -1 1036 18108 10861 1 0 120488 69 3172 27 25 0 1 0 779294256 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1240.15
CPU time (s): 1237.58
CPU user time (s): 1236.61
CPU system time (s): 0.968852
CPU usage (%): 99.7927
Max. virtual memory (Kb): 839124
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	1448
#### END VERIFIER DATA ####