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/miplib2003/normalized-mps-v2-20-10-fixnet6.opb
MD5SUM86988185dc943ce56e28aece7fb5e3af
Bench Categoryoptimization, big integers (OPTBIGINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 48441119
Optimality of the best value was proved NO
Number of terms in the objective function 11714
Biggest coefficient in the objective function 1073741824
Number of bits for the biggest coefficient in the objective function 31
Sum of the numbers in the objective function 513431911800
Number of bits of the sum of numbers in the objective function 39
Biggest number in a constraint 1073741824
Number of bits of the biggest number in a constraint 31
Biggest sum of numbers in a constraint 513431911800
Number of bits of the biggest sum of numbers39
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1250.58
Number of variables14036
Total number of constraints978
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)378
Number of constraints which are nor clauses,nor cardinality constraints600
Minimum length of a constraint1
Maximum length of a constraint1523

Trace number 21818

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc29 THE 2005-04-22 01:01:37 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=12554 boxname=wulflinc29 idbench=966 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  86988185dc943ce56e28aece7fb5e3af  /oldhome/oroussel/tmp/wulflinc29/normalized-mps-v2-20-10-fixnet6.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc29/normalized-mps-v2-20-10-fixnet6.opb
IDLAUNCH: 12554
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.020
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	: 3
cpu MHz		: 451.020
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:        302836 kB
Buffers:         25756 kB
Cached:         682452 kB
SwapCached:        556 kB
Active:          36780 kB
Inactive:       673460 kB
HighTotal:      131008 kB
HighFree:        17864 kB
LowTotal:       903652 kB
LowFree:        284972 kB
SwapTotal:     2097892 kB
SwapFree:      2096428 kB
Dirty:              32 kB
Writeback:           0 kB
Mapped:           5096 kB
Slab:            15960 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-22 01:22:20 (client local time) WITH STATUS 143 IN 1237.06 SECONDS
stats: 12554 7 1237.06 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc29/normalized-mps-v2-20-10-fixnet6.opb
c reading problem 
c [nbvar=14036]
c [nbconstr=978]
c time 61.57
c #vars     14036
c #clauses  701
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
#### 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.84 0.97 0.93 2/54 10812
Raw data (stat): 10812 (runsolver) R 10811 27222 27221 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 549597803 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.001 s]
Raw data (loadavg): 0.86 0.97 0.93 2/63 10821
Raw data (stat): 10812 (java) R 10811 27222 27221 0 -1 0 17996 0 1 0 890 41 0 0 25 0 10 0 549597803 853745664 19134 4294967295 134512640 134569956 3221224400 3221214400 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208434 19134 13073 16 0 208418 0
vsize: 833736
[startup+20.0033 s]
Raw data (loadavg): 0.88 0.97 0.93 3/63 10821
Raw data (stat): 10812 (java) R 10811 27222 27221 0 -1 0 17996 0 1 0 1780 41 0 0 18 0 10 0 549597803 853856256 19603 4294967295 134512640 134569956 3221224400 3221214820 1130893399 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208461 19603 13073 16 0 208445 0
vsize: 833844
[startup+30.0042 s]
Raw data (loadavg): 0.90 0.97 0.93 2/63 10821
Raw data (stat): 10812 (java) S 10811 27222 27221 0 -1 0 17996 0 1 0 2680 41 0 0 25 0 10 0 549597803 853856256 20025 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208461 20025 13073 16 0 208445 0
vsize: 833844
[startup+40.0133 s]
Raw data (loadavg): 0.92 0.97 0.93 3/63 10821
Raw data (stat): 10812 (java) R 10811 27222 27221 0 -1 0 17997 0 1 0 3611 42 0 0 25 0 10 0 549597803 853856256 20255 4294967295 134512640 134569956 3221224400 3221214528 1130890423 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208461 20255 13073 16 0 208445 0
vsize: 833844
[startup+50.017 s]
Raw data (loadavg): 1.16 1.02 0.94 2/63 10821
Raw data (stat): 10812 (java) R 10811 27222 27221 0 -1 0 18018 0 1 0 4412 42 0 0 25 0 10 0 549597803 873639936 25420 4294967295 134512640 134569956 3221224400 3221214296 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213291 25420 13073 16 0 213275 0
vsize: 853164
[startup+60.0215 s]
Raw data (loadavg): 1.13 1.02 0.94 2/63 10821
Raw data (stat): 10812 (java) R 10811 27222 27221 0 -1 0 18018 0 1 0 5270 42 0 0 16 0 10 0 549597803 873213952 25944 4294967295 134512640 134569956 3221224400 3221214848 1131212604 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213187 25944 13073 16 0 213171 0
vsize: 852748
[startup+70.0217 s]
Raw data (loadavg): 1.11 1.02 0.94 4/64 10822
Raw data (stat): 10812 (java) R 10811 27222 27221 0 -1 0 18084 0 1 0 6155 43 0 0 25 0 11 0 549597803 873611264 27073 4294967295 134512640 134569956 3221224400 3221213740 1073952732 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213284 27073 13073 16 0 213268 0
vsize: 853136
[startup+80.0294 s]
Raw data (loadavg): 1.24 1.05 0.95 2/64 10822
Raw data (stat): 10812 (java) R 10811 27222 27221 0 -1 0 18085 0 1 0 6955 44 0 0 25 0 11 0 549597803 865271808 25121 4294967295 134512640 134569956 3221224400 3221214776 1131498892 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211248 25121 13073 16 0 211232 0
vsize: 844992
[startup+90.0297 s]
Raw data (loadavg): 1.20 1.05 0.95 2/64 10822
Raw data (stat): 10812 (java) R 10811 27222 27221 0 -1 0 18085 0 1 0 7849 44 0 0 25 0 11 0 549597803 865271808 25123 4294967295 134512640 134569956 3221224400 3221214664 1131667883 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211248 25123 13073 16 0 211232 0
vsize: 844992
[startup+100.029 s]
Raw data (loadavg): 1.17 1.05 0.95 2/64 10822
Raw data (stat): 10812 (java) R 10811 27222 27221 0 -1 0 18086 0 1 0 8796 44 0 0 25 0 11 0 549597803 865271808 25797 4294967295 134512640 134569956 3221224400 3221214480 1131297983 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211248 25797 13073 16 0 211232 0
vsize: 844992
[startup+110.03 s]
Raw data (loadavg): 1.14 1.05 0.95 2/64 10822
Raw data (stat): 10812 (java) R 10811 27222 27221 0 -1 0 18086 0 1 0 9777 44 0 0 25 0 11 0 549597803 865271808 25977 4294967295 134512640 134569956 3221224400 3221214584 1131543280 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211248 25977 13073 16 0 211232 0
vsize: 844992
[startup+120.031 s]
Raw data (loadavg): 1.12 1.04 0.95 2/64 10822
Raw data (stat): 10812 (java) R 10811 27222 27221 0 -1 0 18086 0 1 0 10758 45 0 0 25 0 11 0 549597803 865271808 25981 4294967295 134512640 134569956 3221224400 3221214680 1131308951 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211248 25981 13073 16 0 211232 0
vsize: 844992
[startup+130.03 s]
Raw data (loadavg): 1.10 1.04 0.95 2/64 10822
Raw data (stat): 10812 (java) R 10811 27222 27221 0 -1 0 18086 0 1 0 11726 45 0 0 24 0 11 0 549597803 865271808 26009 4294967295 134512640 134569956 3221224400 3221214576 1131297728 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211248 26009 13073 16 0 211232 0
vsize: 844992
[startup+140.03 s]
Raw data (loadavg): 1.09 1.04 0.95 2/64 10822
Raw data (stat): 10812 (java) R 10811 27222 27221 0 -1 0 18086 0 1 0 12698 45 0 0 25 0 11 0 549597803 865271808 26013 4294967295 134512640 134569956 3221224400 3221214440 1076461336 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211248 26013 13073 16 0 211232 0
vsize: 844992
[startup+150.03 s]
Raw data (loadavg): 1.07 1.04 0.95 2/64 10822
Raw data (stat): 10812 (java) R 10811 27222 27221 0 -1 0 18086 0 1 0 13669 45 0 0 25 0 11 0 549597803 865271808 26021 4294967295 134512640 134569956 3221224400 3221214568 1131564471 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211248 26021 13073 16 0 211232 0
vsize: 844992
[startup+160.031 s]
Raw data (loadavg): 1.06 1.04 0.95 2/64 10822
Raw data (stat): 10812 (java) R 10811 27222 27221 0 -1 0 18086 0 1 0 14637 45 0 0 25 0 11 0 549597803 865271808 26106 4294967295 134512640 134569956 3221224400 3221214680 1131733952 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211248 26106 13073 16 0 211232 0
vsize: 844992
[startup+170.034 s]
Raw data (loadavg): 1.05 1.03 0.95 2/64 10822
Raw data (stat): 10812 (java) R 10811 27222 27221 0 -1 0 18086 0 1 0 15601 45 0 0 25 0 11 0 549597803 865271808 26141 4294967295 134512640 134569956 3221224400 3221214680 1131734093 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211248 26141 13073 16 0 211232 0
vsize: 844992
[startup+180.035 s]
Raw data (loadavg): 1.04 1.03 0.95 2/64 10822
Raw data (stat): 10812 (java) R 10811 27222 27221 0 -1 0 18086 0 1 0 16560 45 0 0 24 0 11 0 549597803 865271808 26272 4294967295 134512640 134569956 3221224400 3221214680 1131733968 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211248 26272 13073 16 0 211232 0
vsize: 844992
[startup+190.035 s]
Raw data (loadavg): 1.04 1.03 0.95 2/64 10822
Raw data (stat): 10812 (java) R 10811 27222 27221 0 -1 0 18086 0 1 0 17532 45 0 0 25 0 11 0 549597803 865271808 26395 4294967295 134512640 134569956 3221224400 3221214680 1131734107 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211248 26395 13073 16 0 211232 0
vsize: 844992
[startup+200.035 s]
Raw data (loadavg): 1.03 1.03 0.95 2/64 10822
Raw data (stat): 10812 (java) R 10811 27222 27221 0 -1 0 18086 0 1 0 18491 45 0 0 25 0 11 0 549597803 865271808 26570 4294967295 134512640 134569956 3221224400 3221214576 1131297728 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211248 26570 13073 16 0 211232 0
vsize: 844992
[startup+210.036 s]
Raw data (loadavg): 1.02 1.03 0.95 2/64 10822
Raw data (stat): 10812 (java) R 10811 27222 27221 0 -1 0 18086 0 1 0 19452 45 0 0 25 0 11 0 549597803 865271808 26759 4294967295 134512640 134569956 3221224400 3221214680 1131734107 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211248 26759 13073 16 0 211232 0
vsize: 844992
[startup+220.036 s]
Raw data (loadavg): 1.02 1.03 0.95 2/64 10822
Raw data (stat): 10812 (java) R 10811 27222 27221 0 -1 0 18086 0 1 0 20412 46 0 0 25 0 11 0 549597803 865271808 27003 4294967295 134512640 134569956 3221224400 3221214680 1131733971 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211248 27003 13073 16 0 211232 0
vsize: 844992
[startup+230.037 s]
Raw data (loadavg): 1.02 1.03 0.95 2/64 10822
Raw data (stat): 10812 (java) R 10811 27222 27221 0 -1 0 18086 0 1 0 21374 46 0 0 25 0 11 0 549597803 865271808 27057 4294967295 134512640 134569956 3221224400 3221214552 1131640820 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211248 27057 13073 16 0 211232 0
vsize: 844992
[startup+240.038 s]
Raw data (loadavg): 1.01 1.02 0.95 2/64 10822
Raw data (stat): 10812 (java) R 10811 27222 27221 0 -1 0 18086 0 1 0 22342 46 0 0 25 0 11 0 549597803 865271808 27164 4294967295 134512640 134569956 3221224400 3221214576 1131297847 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211248 27164 13073 16 0 211232 0
vsize: 844992
[startup+250.038 s]
Raw data (loadavg): 1.01 1.02 0.95 2/64 10824
Raw data (stat): 10812 (java) R 10811 27222 27221 0 -1 0 18086 0 1 0 23301 46 0 0 25 0 11 0 549597803 865271808 27284 4294967295 134512640 134569956 3221224400 3221214680 1131733964 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211248 27284 13073 16 0 211232 0
vsize: 844992
[startup+260.039 s]
Raw data (loadavg): 1.01 1.02 0.95 2/64 10824
Raw data (stat): 10812 (java) R 10811 27222 27221 0 -1 0 18086 0 1 0 24260 47 0 0 25 0 11 0 549597803 865271808 27476 4294967295 134512640 134569956 3221224400 3221214680 1131734107 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211248 27476 13073 16 0 211232 0
vsize: 844992
[startup+270.04 s]
Raw data (loadavg): 1.01 1.02 0.95 2/64 10824
Raw data (stat): 10812 (java) R 10811 27222 27221 0 -1 0 18086 0 1 0 25219 47 0 0 25 0 11 0 549597803 865271808 27631 4294967295 134512640 134569956 3221224400 3221214768 1131496991 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211248 27631 13073 16 0 211232 0
vsize: 844992
[startup+280.039 s]
Raw data (loadavg): 1.01 1.02 0.95 2/64 10824
Raw data (stat): 10812 (java) R 10811 27222 27221 0 -1 0 18086 0 1 0 26162 48 0 0 25 0 11 0 549597803 865271808 27818 4294967295 134512640 134569956 3221224400 3221214768 1131497014 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211248 27818 13073 16 0 211232 0
vsize: 844992
[startup+290.039 s]
Raw data (loadavg): 1.00 1.02 0.95 2/64 10824
Raw data (stat): 10812 (java) R 10811 27222 27221 0 -1 0 18086 0 1 0 27109 48 0 0 25 0 11 0 549597803 865271808 27818 4294967295 134512640 134569956 3221224400 3221214624 1131733952 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211248 27818 13073 16 0 211232 0
vsize: 844992
[startup+300.04 s]
Raw data (loadavg): 1.00 1.02 0.95 2/64 10824
Raw data (stat): 10812 (java) R 10811 27222 27221 0 -1 0 18086 0 1 0 28071 48 0 0 25 0 11 0 549597803 865271808 27954 4294967295 134512640 134569956 3221224400 3221214376 1131722081 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211248 27954 13073 16 0 211232 0
vsize: 844992
[startup+310.04 s]
Raw data (loadavg): 1.00 1.02 0.95 2/64 10824
Raw data (stat): 10812 (java) R 10811 27222 27221 0 -1 0 18086 0 1 0 29029 48 0 0 25 0 11 0 549597803 865271808 28148 4294967295 134512640 134569956 3221224400 3221214648 1131345249 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211248 28148 13073 16 0 211232 0
vsize: 844992
[startup+320.041 s]
Raw data (loadavg): 1.00 1.02 0.95 2/64 10824
Raw data (stat): 10812 (java) R 10811 27222 27221 0 -1 0 18086 0 1 0 30005 49 0 0 25 0 11 0 549597803 865271808 28318 4294967295 134512640 134569956 3221224400 3221214624 1131734093 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211248 28318 13073 16 0 211232 0
vsize: 844992
[startup+330.04 s]
Raw data (loadavg): 1.00 1.02 0.95 2/64 10824
Raw data (stat): 10812 (java) R 10811 27222 27221 0 -1 0 18086 0 1 0 30976 49 0 0 25 0 11 0 549597803 865271808 28485 4294967295 134512640 134569956 3221224400 3221214624 1131734107 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211248 28485 13073 16 0 211232 0
vsize: 844992
[startup+340.041 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 10824
Raw data (stat): 10812 (java) R 10811 27222 27221 0 -1 0 18086 0 1 0 31957 50 0 0 25 0 11 0 549597803 865271808 28669 4294967295 134512640 134569956 3221224400 3221214512 1131564519 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211248 28669 13073 16 0 211232 0
vsize: 844992
[startup+350.042 s]
Raw data (loadavg): 1.00 1.01 0.95 3/64 10824
Raw data (stat): 10812 (java) R 10811 27222 27221 0 -1 0 18086 0 1 0 32936 50 0 0 25 0 11 0 549597803 865271808 28671 4294967295 134512640 134569956 3221224400 3221214624 1131733968 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211248 28671 13073 16 0 211232 0
vsize: 844992
[startup+360.043 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 10824
Raw data (stat): 10812 (java) R 10811 27222 27221 0 -1 0 18086 0 1 0 33910 50 0 0 25 0 11 0 549597803 865271808 28675 4294967295 134512640 134569956 3221224400 3221214512 1131564535 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211248 28675 13073 16 0 211232 0
vsize: 844992
[startup+370.043 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 10824
Raw data (stat): 10812 (java) R 10811 27222 27221 0 -1 0 18086 0 1 0 34875 50 0 0 25 0 11 0 549597803 865271808 28737 4294967295 134512640 134569956 3221224400 3221214512 1131565592 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211248 28737 13073 16 0 211232 0
vsize: 844992
[startup+380.043 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 10824
Raw data (stat): 10812 (java) R 10811 27222 27221 0 -1 0 18086 0 1 0 35853 50 0 0 25 0 11 0 549597803 865271808 28798 4294967295 134512640 134569956 3221224400 3221214624 1131733964 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211248 28798 13073 16 0 211232 0
vsize: 844992
[startup+390.043 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 10824
Raw data (stat): 10812 (java) R 10811 27222 27221 0 -1 0 18086 0 1 0 36823 51 0 0 25 0 11 0 549597803 865271808 28871 4294967295 134512640 134569956 3221224400 3221214520 1131297728 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211248 28871 13073 16 0 211232 0
vsize: 844992
[startup+400.042 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 10824
Raw data (stat): 10812 (java) R 10811 27222 27221 0 -1 0 18086 0 1 0 37802 51 0 0 25 0 11 0 549597803 865271808 28911 4294967295 134512640 134569956 3221224400 3221214508 1131367916 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211248 28911 13073 16 0 211232 0
vsize: 844992
[startup+410.043 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 10824
Raw data (stat): 10812 (java) R 10811 27222 27221 0 -1 0 18086 0 1 0 38773 51 0 0 25 0 11 0 549597803 865271808 28990 4294967295 134512640 134569956 3221224400 3221214624 1131733968 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211248 28990 13073 16 0 211232 0
vsize: 844992
[startup+420.043 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 10824
Raw data (stat): 10812 (java) R 10811 27222 27221 0 -1 0 18086 0 1 0 39752 51 0 0 25 0 11 0 549597803 865271808 29051 4294967295 134512640 134569956 3221224400 3221214624 1131733985 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211248 29051 13073 16 0 211232 0
vsize: 844992
[startup+430.043 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 10824
Raw data (stat): 10812 (java) R 10811 27222 27221 0 -1 0 18086 0 1 0 40723 51 0 0 25 0 11 0 549597803 865271808 29134 4294967295 134512640 134569956 3221224400 3221214512 1131567063 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211248 29134 13073 16 0 211232 0
vsize: 844992
[startup+440.043 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 10824
Raw data (stat): 10812 (java) R 10811 27222 27221 0 -1 0 18086 0 1 0 41703 51 0 0 25 0 11 0 549597803 865271808 29198 4294967295 134512640 134569956 3221224400 3221214512 1131564877 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211248 29198 13073 16 0 211232 0
vsize: 844992
[startup+450.043 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 10824
Raw data (stat): 10812 (java) R 10811 27222 27221 0 -1 0 18086 0 1 0 42683 52 0 0 25 0 11 0 549597803 865271808 29260 4294967295 134512640 134569956 3221224400 3221214520 1131297843 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211248 29260 13073 16 0 211232 0
vsize: 844992
[startup+460.044 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 10824
Raw data (stat): 10812 (java) R 10811 27222 27221 0 -1 0 18086 0 1 0 43658 52 0 0 25 0 11 0 549597803 865271808 29364 4294967295 134512640 134569956 3221224400 3221214624 1131734107 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211248 29364 13073 16 0 211232 0
vsize: 844992
[startup+470.044 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 10824
Raw data (stat): 10812 (java) R 10811 27222 27221 0 -1 0 18086 0 1 0 44640 52 0 0 25 0 11 0 549597803 865271808 29403 4294967295 134512640 134569956 3221224400 3221214624 1131733968 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211248 29403 13073 16 0 211232 0
vsize: 844992
[startup+480.045 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 10824
Raw data (stat): 10812 (java) R 10811 27222 27221 0 -1 0 18086 0 1 0 45615 52 0 0 25 0 11 0 549597803 865271808 29502 4294967295 134512640 134569956 3221224400 3221214760 1131679867 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211248 29502 13073 16 0 211232 0
vsize: 844992
[startup+490.046 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 10824
Raw data (stat): 10812 (java) R 10811 27222 27221 0 -1 0 18086 0 1 0 46589 53 0 0 25 0 11 0 549597803 865271808 29542 4294967295 134512640 134569956 3221224400 3221214432 1080019600 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211248 29542 13073 16 0 211232 0
vsize: 844992
[startup+500.045 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 10824
Raw data (stat): 10812 (java) R 10811 27222 27221 0 -1 0 18086 0 1 0 47563 53 0 0 25 0 11 0 549597803 865271808 29617 4294967295 134512640 134569956 3221224400 3221214520 1131297433 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211248 29617 13073 16 0 211232 0
vsize: 844992
[startup+510.046 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 10824
Raw data (stat): 10812 (java) R 10811 27222 27221 0 -1 0 18086 0 1 0 48543 53 0 0 25 0 11 0 549597803 865271808 29675 4294967295 134512640 134569956 3221224400 3221214512 1131564894 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211248 29675 13073 16 0 211232 0
vsize: 844992
[startup+520.046 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 10824
Raw data (stat): 10812 (java) R 10811 27222 27221 0 -1 0 18086 0 1 0 49516 54 0 0 25 0 11 0 549597803 865271808 29735 4294967295 134512640 134569956 3221224400 3221214520 1131297728 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211248 29735 13073 16 0 211232 0
vsize: 844992
[startup+530.045 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 10824
Raw data (stat): 10812 (java) R 10811 27222 27221 0 -1 0 18086 0 1 0 50496 54 0 0 25 0 11 0 549597803 865271808 29786 4294967295 134512640 134569956 3221224400 3221214624 1131733982 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211248 29786 13073 16 0 211232 0
vsize: 844992
[startup+540.046 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 10824
Raw data (stat): 10812 (java) R 10811 27222 27221 0 -1 0 18086 0 1 0 51475 54 0 0 25 0 11 0 549597803 865271808 29830 4294967295 134512640 134569956 3221224400 3221214520 1131297728 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211248 29830 13073 16 0 211232 0
vsize: 844992
[startup+550.046 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 10824
Raw data (stat): 10812 (java) R 10811 27222 27221 0 -1 0 18086 0 1 0 52448 54 0 0 25 0 11 0 549597803 865271808 29895 4294967295 134512640 134569956 3221224400 3221214520 1131298350 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211248 29895 13073 16 0 211232 0
vsize: 844992
[startup+560.047 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 10824
Raw data (stat): 10812 (java) R 10811 27222 27221 0 -1 0 18086 0 1 0 53428 55 0 0 25 0 11 0 549597803 865271808 29963 4294967295 134512640 134569956 3221224400 3221214624 1131733971 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211248 29963 13073 16 0 211232 0
vsize: 844992
[startup+570.047 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 10824
Raw data (stat): 10812 (java) R 10811 27222 27221 0 -1 0 18086 0 1 0 54401 55 0 0 25 0 11 0 549597803 865271808 30064 4294967295 134512640 134569956 3221224400 3221214624 1131733971 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211248 30064 13073 16 0 211232 0
vsize: 844992
[startup+580.047 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 10824
Raw data (stat): 10812 (java) R 10811 27222 27221 0 -1 0 18086 0 1 0 55382 55 0 0 25 0 11 0 549597803 865271808 30107 4294967295 134512640 134569956 3221224400 3221214624 1131734107 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211248 30107 13073 16 0 211232 0
vsize: 844992
[startup+590.047 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 10824
Raw data (stat): 10812 (java) R 10811 27222 27221 0 -1 0 18086 0 1 0 56357 56 0 0 25 0 11 0 549597803 865271808 30197 4294967295 134512640 134569956 3221224400 3221214624 1131734107 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211248 30197 13073 16 0 211232 0
vsize: 844992
[startup+600.048 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 10824
Raw data (stat): 10812 (java) R 10811 27222 27221 0 -1 0 18086 0 1 0 57331 56 0 0 25 0 11 0 549597803 865271808 30255 4294967295 134512640 134569956 3221224400 3221214544 1131704341 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211248 30255 13073 16 0 211232 0
vsize: 844992
[startup+610.048 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 10824
Raw data (stat): 10812 (java) R 10811 27222 27221 0 -1 0 18086 0 1 0 58306 56 0 0 24 0 11 0 549597803 865271808 30326 4294967295 134512640 134569956 3221224400 3221214624 1131734100 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211248 30326 13073 16 0 211232 0
vsize: 844992
[startup+620.049 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 10824
Raw data (stat): 10812 (java) R 10811 27222 27221 0 -1 0 18086 0 1 0 59286 57 0 0 25 0 11 0 549597803 865271808 30382 4294967295 134512640 134569956 3221224400 3221214624 1131733973 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211248 30382 13073 16 0 211232 0
vsize: 844992
[startup+630.048 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 10824
Raw data (stat): 10812 (java) R 10811 27222 27221 0 -1 0 18086 0 1 0 60260 57 0 0 25 0 11 0 549597803 865271808 30446 4294967295 134512640 134569956 3221224400 3221214520 1131297664 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211248 30446 13073 16 0 211232 0
vsize: 844992
[startup+640.049 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 10824
Raw data (stat): 10812 (java) R 10811 27222 27221 0 -1 0 18086 0 1 0 61240 57 0 0 25 0 11 0 549597803 865271808 30490 4294967295 134512640 134569956 3221224400 3221214512 1131564701 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211248 30490 13073 16 0 211232 0
vsize: 844992
[startup+650.049 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 10824
Raw data (stat): 10812 (java) R 10811 27222 27221 0 -1 0 18086 0 1 0 62220 57 0 0 25 0 11 0 549597803 865271808 30511 4294967295 134512640 134569956 3221224400 3221214624 1131733968 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211248 30511 13073 16 0 211232 0
vsize: 844992
[startup+660.05 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 10824
Raw data (stat): 10812 (java) R 10811 27222 27221 0 -1 0 18086 0 1 0 63192 58 0 0 25 0 11 0 549597803 865271808 30611 4294967295 134512640 134569956 3221224400 3221214624 1131733971 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211248 30611 13073 16 0 211232 0
vsize: 844992
[startup+670.051 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 10824
Raw data (stat): 10812 (java) R 10811 27222 27221 0 -1 0 18086 0 1 0 64172 58 0 0 25 0 11 0 549597803 865271808 30656 4294967295 134512640 134569956 3221224400 3221214624 1131733971 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211248 30656 13073 16 0 211232 0
vsize: 844992
[startup+680.051 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 10824
Raw data (stat): 10812 (java) R 10811 27222 27221 0 -1 0 18086 0 1 0 65152 58 0 0 25 0 11 0 549597803 865271808 30702 4294967295 134512640 134569956 3221224400 3221214688 1131579000 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211248 30702 13073 16 0 211232 0
vsize: 844992
[startup+690.051 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 10824
Raw data (stat): 10812 (java) R 10811 27222 27221 0 -1 0 18086 0 1 0 66126 59 0 0 25 0 11 0 549597803 865271808 30803 4294967295 134512640 134569956 3221224400 3221214624 1131733971 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211248 30803 13073 16 0 211232 0
vsize: 844992
[startup+700.051 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 10824
Raw data (stat): 10812 (java) R 10811 27222 27221 0 -1 0 18086 0 1 0 67106 59 0 0 25 0 11 0 549597803 865271808 30844 4294967295 134512640 134569956 3221224400 3221214688 1131578968 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211248 30844 13073 16 0 211232 0
vsize: 844992
[startup+710.052 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 10824
Raw data (stat): 10812 (java) R 10811 27222 27221 0 -1 0 18086 0 1 0 68074 60 0 0 25 0 11 0 549597803 865271808 30946 4294967295 134512640 134569956 3221224400 3221214624 1131733971 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211248 30946 13073 16 0 211232 0
vsize: 844992
[startup+720.052 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 10824
Raw data (stat): 10812 (java) R 10811 27222 27221 0 -1 0 18086 0 1 0 69055 60 0 0 25 0 11 0 549597803 865271808 31007 4294967295 134512640 134569956 3221224400 3221214624 1131733968 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211248 31007 13073 16 0 211232 0
vsize: 844992
[startup+730.053 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 10824
Raw data (stat): 10812 (java) R 10811 27222 27221 0 -1 0 18086 0 1 0 70029 60 0 0 25 0 11 0 549597803 865271808 31068 4294967295 134512640 134569956 3221224400 3221214624 1131733971 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211248 31068 13073 16 0 211232 0
vsize: 844992
[startup+740.053 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 10824
Raw data (stat): 10812 (java) R 10811 27222 27221 0 -1 0 18086 0 1 0 71003 60 0 0 25 0 11 0 549597803 865271808 31150 4294967295 134512640 134569956 3221224400 3221214624 1131734093 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211248 31150 13073 16 0 211232 0
vsize: 844992
[startup+750.054 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 10824
Raw data (stat): 10812 (java) R 10811 27222 27221 0 -1 0 18086 0 1 0 71985 60 0 0 25 0 11 0 549597803 865271808 31177 4294967295 134512640 134569956 3221224400 3221214624 1131733968 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211248 31177 13073 16 0 211232 0
vsize: 844992
[startup+760.055 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 10824
Raw data (stat): 10812 (java) R 10811 27222 27221 0 -1 0 18086 0 1 0 72965 61 0 0 25 0 11 0 549597803 865271808 31225 4294967295 134512640 134569956 3221224400 3221214520 1131297655 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211248 31225 13073 16 0 211232 0
vsize: 844992
[startup+770.055 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 10824
Raw data (stat): 10812 (java) R 10811 27222 27221 0 -1 0 18086 0 1 0 73946 61 0 0 25 0 11 0 549597803 865271808 31269 4294967295 134512640 134569956 3221224400 3221214624 1131733964 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211248 31269 13073 16 0 211232 0
vsize: 844992
[startup+780.056 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 10824
Raw data (stat): 10812 (java) R 10811 27222 27221 0 -1 0 18086 0 1 0 74921 61 0 0 25 0 11 0 549597803 865271808 31333 4294967295 134512640 134569956 3221224400 3221214624 1131734093 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211248 31333 13073 16 0 211232 0
vsize: 844992
[startup+790.056 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 10824
Raw data (stat): 10812 (java) R 10811 27222 27221 0 -1 0 18086 0 1 0 75902 61 0 0 25 0 11 0 549597803 865271808 31398 4294967295 134512640 134569956 3221224400 3221214520 1131297579 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211248 31398 13073 16 0 211232 0
vsize: 844992
[startup+800.056 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 10824
Raw data (stat): 10812 (java) R 10811 27222 27221 0 -1 0 18086 0 1 0 76871 61 0 0 25 0 11 0 549597803 865271808 31495 4294967295 134512640 134569956 3221224400 3221214768 1131496884 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211248 31495 13073 16 0 211232 0
vsize: 844992
[startup+810.057 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 10824
Raw data (stat): 10812 (java) R 10811 27222 27221 0 -1 0 18086 0 1 0 77848 62 0 0 25 0 11 0 549597803 865271808 31574 4294967295 134512640 134569956 3221224400 3221214768 1131496958 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211248 31574 13073 16 0 211232 0
vsize: 844992
[startup+820.058 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 10824
Raw data (stat): 10812 (java) R 10811 27222 27221 0 -1 0 18086 0 1 0 78823 62 0 0 25 0 11 0 549597803 865271808 31654 4294967295 134512640 134569956 3221224400 3221214624 1131734100 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211248 31654 13073 16 0 211232 0
vsize: 844992
[startup+830.057 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 10824
Raw data (stat): 10812 (java) R 10811 27222 27221 0 -1 0 18086 0 1 0 79802 63 0 0 25 0 11 0 549597803 865271808 31693 4294967295 134512640 134569956 3221224400 3221214624 1131733968 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211248 31693 13073 16 0 211232 0
vsize: 844992
[startup+840.059 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 10824
Raw data (stat): 10812 (java) R 10811 27222 27221 0 -1 0 18086 0 1 0 80780 63 0 0 25 0 11 0 549597803 865271808 31756 4294967295 134512640 134569956 3221224400 3221214512 1131564694 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211248 31756 13073 16 0 211232 0
vsize: 844992
[startup+850.059 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 10824
Raw data (stat): 10812 (java) R 10811 27222 27221 0 -1 0 18086 0 1 0 81764 63 0 0 25 0 11 0 549597803 865271808 31818 4294967295 134512640 134569956 3221224400 3221214624 1131733968 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211248 31818 13073 16 0 211232 0
vsize: 844992
[startup+860.06 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 10824
Raw data (stat): 10812 (java) R 10811 27222 27221 0 -1 0 18086 0 1 0 82741 64 0 0 25 0 11 0 549597803 865271808 31860 4294967295 134512640 134569956 3221224400 3221214664 1131620844 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211248 31860 13073 16 0 211232 0
vsize: 844992
[startup+870.06 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 10824
Raw data (stat): 10812 (java) R 10811 27222 27221 0 -1 0 18086 0 1 0 83718 64 0 0 25 0 11 0 549597803 865271808 31923 4294967295 134512640 134569956 3221224400 3221214520 1131297664 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211248 31923 13073 16 0 211232 0
vsize: 844992
[startup+880.059 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 10824
Raw data (stat): 10812 (java) R 10811 27222 27221 0 -1 0 18086 0 1 0 84696 64 0 0 25 0 11 0 549597803 865271808 31991 4294967295 134512640 134569956 3221224400 3221214520 1131297530 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211248 31991 13073 16 0 211232 0
vsize: 844992
[startup+890.06 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 10824
Raw data (stat): 10812 (java) S 10811 27222 27221 0 -1 0 18086 0 1 0 85672 65 0 0 25 0 11 0 549597803 865271808 31994 4294967295 134512640 134569956 3221224400 3221213264 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211248 31994 13073 16 0 211232 0
vsize: 844992
[startup+900.06 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 10824
Raw data (stat): 10812 (java) R 10811 27222 27221 0 -1 0 18086 0 1 0 86646 65 0 0 25 0 11 0 549597803 865271808 32002 4294967295 134512640 134569956 3221224400 3221214520 1131297810 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211248 32002 13073 16 0 211232 0
vsize: 844992
[startup+910.061 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 10824
Raw data (stat): 10812 (java) R 10811 27222 27221 0 -1 0 18086 0 1 0 87614 65 0 0 25 0 11 0 549597803 865271808 32141 4294967295 134512640 134569956 3221224400 3221214624 1131733971 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211248 32141 13073 16 0 211232 0
vsize: 844992
[startup+920.061 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 10824
Raw data (stat): 10812 (java) R 10811 27222 27221 0 -1 0 18086 0 1 0 88587 65 0 0 25 0 11 0 549597803 865271808 32214 4294967295 134512640 134569956 3221224400 3221214624 1131733971 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211248 32214 13073 16 0 211232 0
vsize: 844992
[startup+930.061 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 10824
Raw data (stat): 10812 (java) R 10811 27222 27221 0 -1 0 18086 0 1 0 89561 66 0 0 25 0 11 0 549597803 865271808 32322 4294967295 134512640 134569956 3221224400 3221214520 1131297728 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211248 32322 13073 16 0 211232 0
vsize: 844992
[startup+940.062 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 10824
Raw data (stat): 10812 (java) R 10811 27222 27221 0 -1 0 18086 0 1 0 90537 66 0 0 25 0 11 0 549597803 865271808 32407 4294967295 134512640 134569956 3221224400 3221214512 1131565592 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211248 32407 13073 16 0 211232 0
vsize: 844992
[startup+950.063 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 10824
Raw data (stat): 10812 (java) R 10811 27222 27221 0 -1 0 18086 0 1 0 91515 66 0 0 25 0 11 0 549597803 865271808 32470 4294967295 134512640 134569956 3221224400 3221214520 1131297664 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211248 32470 13073 16 0 211232 0
vsize: 844992
[startup+960.069 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 10824
Raw data (stat): 10812 (java) S 10811 27222 27221 0 -1 0 18086 0 1 0 92500 66 0 0 25 0 11 0 549597803 865271808 32531 4294967295 134512640 134569956 3221224400 3221213224 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211248 32531 13073 16 0 211232 0
vsize: 844992
[startup+970.069 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 10824
Raw data (stat): 10812 (java) R 10811 27222 27221 0 -1 0 18086 0 1 0 93480 67 0 0 25 0 11 0 549597803 865271808 32578 4294967295 134512640 134569956 3221224400 3221214512 1131566390 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211248 32578 13073 16 0 211232 0
vsize: 844992
[startup+980.078 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 10824
Raw data (stat): 10812 (java) R 10811 27222 27221 0 -1 0 18086 0 1 0 94461 67 0 0 25 0 11 0 549597803 865271808 32617 4294967295 134512640 134569956 3221224400 3221214624 1131733971 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211248 32617 13073 16 0 211232 0
vsize: 844992
[startup+990.088 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 10824
Raw data (stat): 10812 (java) R 10811 27222 27221 0 -1 0 18086 0 1 0 95449 67 0 0 25 0 11 0 549597803 865271808 32638 4294967295 134512640 134569956 3221224400 3221214648 1131345254 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211248 32638 13073 16 0 211232 0
vsize: 844992
[startup+1000.09 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 10824
Raw data (stat): 10812 (java) R 10811 27222 27221 0 -1 0 18086 0 1 0 96431 68 0 0 25 0 11 0 549597803 865271808 32680 4294967295 134512640 134569956 3221224400 3221214512 1131567170 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211248 32680 13073 16 0 211232 0
vsize: 844992
[startup+1010.09 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 10824
Raw data (stat): 10812 (java) R 10811 27222 27221 0 -1 0 18086 0 1 0 97408 68 0 0 25 0 11 0 549597803 865271808 32729 4294967295 134512640 134569956 3221224400 3221214624 1131734107 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211248 32729 13073 16 0 211232 0
vsize: 844992
[startup+1020.09 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 10824
Raw data (stat): 10812 (java) R 10811 27222 27221 0 -1 0 18086 0 1 0 98389 68 0 0 25 0 11 0 549597803 865271808 32762 4294967295 134512640 134569956 3221224400 3221214512 1131564906 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211248 32762 13073 16 0 211232 0
vsize: 844992
[startup+1030.09 s]
Raw data (loadavg): 1.00 1.00 0.95 3/64 10824
Raw data (stat): 10812 (java) R 10811 27222 27221 0 -1 0 18086 0 1 0 99366 68 0 0 25 0 11 0 549597803 865271808 32804 4294967295 134512640 134569956 3221224400 3221214624 1131733968 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211248 32804 13073 16 0 211232 0
vsize: 844992
[startup+1040.09 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 10824
Raw data (stat): 10812 (java) R 10811 27222 27221 0 -1 0 18086 0 1 0 100343 68 0 0 25 0 11 0 549597803 865271808 32865 4294967295 134512640 134569956 3221224400 3221214512 1131564771 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211248 32865 13073 16 0 211232 0
vsize: 844992
[startup+1050.09 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 10824
Raw data (stat): 10812 (java) R 10811 27222 27221 0 -1 0 18086 0 1 0 101326 68 0 0 25 0 11 0 549597803 865271808 32886 4294967295 134512640 134569956 3221224400 3221214624 1131733952 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211248 32886 13073 16 0 211232 0
vsize: 844992
[startup+1060.09 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 10824
Raw data (stat): 10812 (java) R 10811 27222 27221 0 -1 0 18086 0 1 0 102306 68 0 0 25 0 11 0 549597803 865271808 32971 4294967295 134512640 134569956 3221224400 3221214512 1131565723 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211248 32971 13073 16 0 211232 0
vsize: 844992
[startup+1070.09 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 10824
Raw data (stat): 10812 (java) R 10811 27222 27221 0 -1 0 18086 0 1 0 103286 68 0 0 25 0 11 0 549597803 865271808 33058 4294967295 134512640 134569956 3221224400 3221214520 1131297728 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211248 33058 13073 16 0 211232 0
vsize: 844992
[startup+1080.09 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 10824
Raw data (stat): 10812 (java) R 10811 27222 27221 0 -1 0 18086 0 1 0 104269 68 0 0 25 0 11 0 549597803 865271808 33104 4294967295 134512640 134569956 3221224400 3221214520 1131299097 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211248 33104 13073 16 0 211232 0
vsize: 844992
[startup+1090.09 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 10824
Raw data (stat): 10812 (java) R 10811 27222 27221 0 -1 0 18086 0 1 0 105252 68 0 0 25 0 11 0 549597803 865271808 33143 4294967295 134512640 134569956 3221224400 3221214512 1131567015 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211248 33143 13073 16 0 211232 0
vsize: 844992
[startup+1100.09 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 10824
Raw data (stat): 10812 (java) R 10811 27222 27221 0 -1 0 18086 0 1 0 106233 68 0 0 25 0 11 0 549597803 865271808 33170 4294967295 134512640 134569956 3221224400 3221214624 1131733968 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211248 33170 13073 16 0 211232 0
vsize: 844992
[startup+1110.09 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 10824
Raw data (stat): 10812 (java) R 10811 27222 27221 0 -1 0 18086 0 1 0 107217 68 0 0 25 0 11 0 549597803 865271808 33192 4294967295 134512640 134569956 3221224400 3221214512 1131564471 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211248 33192 13073 16 0 211232 0
vsize: 844992
[startup+1120.09 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 10824
Raw data (stat): 10812 (java) R 10811 27222 27221 0 -1 0 18086 0 1 0 108200 68 0 0 25 0 11 0 549597803 865271808 33227 4294967295 134512640 134569956 3221224400 3221214624 1131734107 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211248 33227 13073 16 0 211232 0
vsize: 844992
[startup+1130.09 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 10824
Raw data (stat): 10812 (java) R 10811 27222 27221 0 -1 0 18086 0 1 0 109183 68 0 0 25 0 11 0 549597803 865271808 33269 4294967295 134512640 134569956 3221224400 3221214512 1131564471 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211248 33269 13073 16 0 211232 0
vsize: 844992
[startup+1140.09 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 10824
Raw data (stat): 10812 (java) R 10811 27222 27221 0 -1 0 18086 0 1 0 110163 68 0 0 25 0 11 0 549597803 865271808 33318 4294967295 134512640 134569956 3221224400 3221214624 1131733968 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211248 33318 13073 16 0 211232 0
vsize: 844992
[startup+1150.09 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 10824
Raw data (stat): 10812 (java) R 10811 27222 27221 0 -1 0 18086 0 1 0 111141 68 0 0 25 0 11 0 549597803 865271808 33357 4294967295 134512640 134569956 3221224400 3221214512 1131564727 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211248 33357 13073 16 0 211232 0
vsize: 844992
[startup+1160.09 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 10824
Raw data (stat): 10812 (java) R 10811 27222 27221 0 -1 0 18086 0 1 0 112120 68 0 0 25 0 11 0 549597803 865271808 33401 4294967295 134512640 134569956 3221224400 3221214512 1131564535 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211248 33401 13073 16 0 211232 0
vsize: 844992
[startup+1170.09 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 10824
Raw data (stat): 10812 (java) R 10811 27222 27221 0 -1 0 18086 0 1 0 113101 68 0 0 25 0 11 0 549597803 865271808 33455 4294967295 134512640 134569956 3221224400 3221214624 1131733982 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211248 33455 13073 16 0 211232 0
vsize: 844992
[startup+1180.09 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 10824
Raw data (stat): 10812 (java) R 10811 27222 27221 0 -1 0 18086 0 1 0 114079 68 0 0 25 0 11 0 549597803 865271808 33533 4294967295 134512640 134569956 3221224400 3221214624 1131733968 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211248 33533 13073 16 0 211232 0
vsize: 844992
[startup+1190.09 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 10824
Raw data (stat): 10812 (java) R 10811 27222 27221 0 -1 0 18086 0 1 0 115061 69 0 0 25 0 11 0 549597803 865271808 33568 4294967295 134512640 134569956 3221224400 3221214520 1131297664 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211248 33568 13073 16 0 211232 0
vsize: 844992
[startup+1200.09 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 10824
Raw data (stat): 10812 (java) R 10811 27222 27221 0 -1 0 18086 0 1 0 116046 69 0 0 25 0 11 0 549597803 865271808 33610 4294967295 134512640 134569956 3221224400 3221214512 1131564673 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211248 33610 13073 16 0 211232 0
vsize: 844992
[startup+1210.09 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 10824
Raw data (stat): 10812 (java) R 10811 27222 27221 0 -1 0 18086 0 1 0 117027 69 0 0 25 0 11 0 549597803 865271808 33650 4294967295 134512640 134569956 3221224400 3221214512 1131566369 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211248 33650 13073 16 0 211232 0
vsize: 844992
[startup+1220.09 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 10824
Raw data (stat): 10812 (java) R 10811 27222 27221 0 -1 0 18086 0 1 0 118007 69 0 0 25 0 11 0 549597803 865271808 33691 4294967295 134512640 134569956 3221224400 3221214624 1131733968 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211248 33691 13073 16 0 211232 0
vsize: 844992
[startup+1230.09 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 10824
Raw data (stat): 10812 (java) R 10811 27222 27221 0 -1 0 18086 0 1 0 118991 69 0 0 25 0 11 0 549597803 865271808 33719 4294967295 134512640 134569956 3221224400 3221214624 1131733964 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211248 33719 13073 16 0 211232 0
vsize: 844992
[startup+1240.1 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 10824
Raw data (stat): 10812 (java) R 10811 27222 27221 0 -1 0 18086 0 1 0 119972 69 0 0 25 0 11 0 549597803 865271808 33799 4294967295 134512640 134569956 3221224400 3221214544 1131698350 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211248 33799 13073 16 0 211232 0
vsize: 844992
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1240.18 s]
Raw data (loadavg): 1.00 1.00 0.95 1/54 10826
Raw data (stat): 10812 (java) Z 10811 27222 27221 0 -1 1036 18086 12685 1 0 119974 69 3628 33 25 0 1 0 549597803 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.18
CPU time (s): 1237.06
CPU user time (s): 1236.03
CPU system time (s): 1.02184
CPU usage (%): 99.7481
Max. virtual memory (Kb): 853164
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####