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/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran17x17.opb
MD5SUMa15c04744ea6af8a8a8518cde7c56bce
Bench Categoryoptimization, big integers (OPTBIGINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 5298760
Optimality of the best value was proved NO
Number of terms in the objective function 8959
Biggest coefficient in the objective function 5368709120
Number of bits for the biggest coefficient in the objective function 33
Sum of the numbers in the objective function 1612776422946
Number of bits of the sum of numbers in the objective function 41
Biggest number in a constraint 5368709120
Number of bits of the biggest number in a constraint 33
Biggest sum of numbers in a constraint 1612776422946
Number of bits of the biggest sum of numbers41
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1218.22
Number of variables8959
Total number of constraints323
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints323
Minimum length of a constraint31
Maximum length of a constraint510

Trace number 20845

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc20 THE 2005-04-21 21:59:51 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=14335 boxname=wulflinc20 idbench=1103 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  a15c04744ea6af8a8a8518cde7c56bce  /oldhome/oroussel/tmp/wulflinc20/normalized-mps-v2-20-10-ran17x17.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc20/normalized-mps-v2-20-10-ran17x17.opb
IDLAUNCH: 14335
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.215
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.215
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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        702752 kB
Buffers:         23252 kB
Cached:         285020 kB
SwapCached:        516 kB
Active:          33048 kB
Inactive:       277200 kB
HighTotal:      131008 kB
HighFree:         9912 kB
LowTotal:       903652 kB
LowFree:        692840 kB
SwapTotal:     2097892 kB
SwapFree:      2096480 kB
Dirty:               4 kB
Writeback:           0 kB
Mapped:           5116 kB
Slab:            15852 kB
Committed_AS:    63584 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-21 22:20:13 (client local time) WITH STATUS 143 IN 1223.58 SECONDS
stats: 14335 7 1223.58 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc20/normalized-mps-v2-20-10-ran17x17.opb
c reading problem 
c [nbvar=8959]
c [nbconstr=323]
c time 28.291
c #vars     8959
c #clauses  358
c starts	: 0
c conflicts	: 0
c decisions	: 0
c propagations	: 0
c inspects	: 0
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 0
c SATISFIABLE
c OPTIMIZING...
c 
c CURRENT OPTIMUM=4913762
c Current CPU time (ms) : 255.231
c starts	: 1
c conflicts	: 34
c decisions	: 13705
c propagations	: 62712
c inspects	: 81625
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 34
c root simplifications	: 21
#### 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.70 0.86 0.88 2/54 14799
Raw data (stat): 14799 (runsolver) R 14798 27565 27564 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 548509312 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0004 s]
Raw data (loadavg): 0.74 0.86 0.88 2/63 14808
Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 17994 0 1 0 890 41 0 0 25 0 10 0 548509312 853594112 19101 4294967295 134512640 134569956 3221224400 3221214700 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208397 19101 13073 16 0 208381 0
vsize: 833588
[startup+20.0045 s]
Raw data (loadavg): 0.86 0.88 0.89 2/63 14861
Raw data (stat): 14799 (java) S 14798 27565 27564 0 -1 0 17995 0 1 0 1748 50 0 0 25 0 10 0 548509312 854528000 19765 4294967295 134512640 134569956 3221224400 3221213528 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208625 19766 13073 16 0 208609 0
vsize: 834500
[startup+30.0093 s]
Raw data (loadavg): 1.04 0.92 0.90 3/64 14862
Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 18109 0 1 0 2617 51 0 0 25 0 11 0 548509312 864645120 22422 4294967295 134512640 134569956 3221224400 3221214320 1078025677 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211095 22422 13073 16 0 211079 0
vsize: 844380
[startup+40.0097 s]
Raw data (loadavg): 1.11 0.94 0.91 2/64 14862
Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 18112 0 1 0 3431 51 0 0 25 0 11 0 548509312 864612352 24625 4294967295 134512640 134569956 3221224400 3221214808 1131305957 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211087 24625 13073 16 0 211071 0
vsize: 844348
[startup+50.0108 s]
Raw data (loadavg): 1.09 0.94 0.91 3/64 14862
Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 18112 0 1 0 4416 51 0 0 25 0 11 0 548509312 864612352 24633 4294967295 134512640 134569956 3221224400 3221214808 1131306362 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211087 24633 13073 16 0 211071 0
vsize: 844348
[startup+60.0105 s]
Raw data (loadavg): 1.07 0.94 0.91 2/64 14862
Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 18112 0 1 0 5397 51 0 0 25 0 11 0 548509312 864612352 24673 4294967295 134512640 134569956 3221224400 3221214808 1131305953 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211087 24673 13073 16 0 211071 0
vsize: 844348
[startup+70.0117 s]
Raw data (loadavg): 1.06 0.94 0.91 2/64 14862
Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 18112 0 1 0 6379 52 0 0 25 0 11 0 548509312 864612352 24722 4294967295 134512640 134569956 3221224400 3221214760 1131419352 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211087 24722 13073 16 0 211071 0
vsize: 844348
[startup+80.012 s]
Raw data (loadavg): 1.05 0.94 0.91 2/64 14862
Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 18112 0 1 0 7364 52 0 0 17 0 11 0 548509312 864612352 24749 4294967295 134512640 134569956 3221224400 3221214904 1131374484 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211087 24749 13073 16 0 211071 0
vsize: 844348
[startup+90.0115 s]
Raw data (loadavg): 1.04 0.94 0.91 2/64 14864
Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 18112 0 1 0 8351 53 0 0 25 0 11 0 548509312 864612352 24775 4294967295 134512640 134569956 3221224400 3221214584 1131491700 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211087 24775 13073 16 0 211071 0
vsize: 844348
[startup+100.012 s]
Raw data (loadavg): 1.04 0.94 0.91 2/64 14864
Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 18112 0 1 0 9338 53 0 0 25 0 11 0 548509312 864612352 24796 4294967295 134512640 134569956 3221224400 3221214856 1131253073 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211087 24796 13073 16 0 211071 0
vsize: 844348
[startup+110.013 s]
Raw data (loadavg): 1.03 0.95 0.91 2/64 14864
Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 18112 0 1 0 10322 54 0 0 25 0 11 0 548509312 864612352 24812 4294967295 134512640 134569956 3221224400 3221214856 1131253056 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211087 24812 13073 16 0 211071 0
vsize: 844348
[startup+120.014 s]
Raw data (loadavg): 1.03 0.95 0.91 2/64 14864
Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 18112 0 1 0 11311 54 0 0 25 0 11 0 548509312 864612352 24847 4294967295 134512640 134569956 3221224400 3221214808 1131305953 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211087 24847 13073 16 0 211071 0
vsize: 844348
[startup+130.014 s]
Raw data (loadavg): 1.02 0.95 0.91 2/64 14864
Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 18113 0 1 0 12295 54 0 0 25 0 11 0 548509312 864612352 24868 4294967295 134512640 134569956 3221224400 3221214472 1131314939 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211087 24868 13073 16 0 211071 0
vsize: 844348
[startup+140.013 s]
Raw data (loadavg): 1.02 0.95 0.91 2/64 14864
Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 18113 0 1 0 13285 55 0 0 25 0 11 0 548509312 864612352 24875 4294967295 134512640 134569956 3221224400 3221214808 1131306239 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211087 24875 13073 16 0 211071 0
vsize: 844348
[startup+150.014 s]
Raw data (loadavg): 1.01 0.95 0.91 2/64 14864
Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 18113 0 1 0 14272 55 0 0 25 0 11 0 548509312 864612352 24902 4294967295 134512640 134569956 3221224400 3221214432 1130917144 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211087 24902 13073 16 0 211071 0
vsize: 844348
[startup+160.014 s]
Raw data (loadavg): 1.01 0.95 0.91 2/64 14864
Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 18113 0 1 0 15268 56 0 0 25 0 11 0 548509312 864612352 24906 4294967295 134512640 134569956 3221224400 3221214376 1076461259 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211087 24906 13073 16 0 211071 0
vsize: 844348
[startup+170.014 s]
Raw data (loadavg): 1.01 0.95 0.91 2/64 14864
Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 18113 0 1 0 16263 56 0 0 25 0 11 0 548509312 864612352 24907 4294967295 134512640 134569956 3221224400 3221214680 1131642545 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211087 24907 13073 16 0 211071 0
vsize: 844348
[startup+180.014 s]
Raw data (loadavg): 1.01 0.95 0.91 2/64 14864
Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 18113 0 1 0 17260 56 0 0 25 0 11 0 548509312 864612352 24911 4294967295 134512640 134569956 3221224400 3221214680 1131642545 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211087 24911 13073 16 0 211071 0
vsize: 844348
[startup+190.014 s]
Raw data (loadavg): 1.01 0.95 0.91 2/64 14864
Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 18113 0 1 0 18250 56 0 0 25 0 11 0 548509312 864612352 24955 4294967295 134512640 134569956 3221224400 3221214808 1131306391 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211087 24955 13073 16 0 211071 0
vsize: 844348
[startup+200.015 s]
Raw data (loadavg): 1.00 0.95 0.91 2/64 14864
Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 18113 0 1 0 19238 56 0 0 25 0 11 0 548509312 864612352 24977 4294967295 134512640 134569956 3221224400 3221214904 1131374200 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211087 24977 13073 16 0 211071 0
vsize: 844348
[startup+210.014 s]
Raw data (loadavg): 1.00 0.96 0.91 2/64 14864
Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 18113 0 1 0 20226 57 0 0 25 0 11 0 548509312 864612352 25018 4294967295 134512640 134569956 3221224400 3221214808 1131306632 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211087 25018 13073 16 0 211071 0
vsize: 844348
[startup+220.019 s]
Raw data (loadavg): 1.00 0.96 0.91 2/64 14864
Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 18113 0 1 0 21216 57 0 0 24 0 11 0 548509312 864612352 25029 4294967295 134512640 134569956 3221224400 3221214808 1131306391 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211087 25029 13073 16 0 211071 0
vsize: 844348
[startup+230.019 s]
Raw data (loadavg): 1.00 0.96 0.91 2/64 14864
Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 18113 0 1 0 22206 58 0 0 25 0 11 0 548509312 864612352 25056 4294967295 134512640 134569956 3221224400 3221214856 1131253217 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211087 25056 13073 16 0 211071 0
vsize: 844348
[startup+240.019 s]
Raw data (loadavg): 1.00 0.96 0.91 2/64 14864
Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 18113 0 1 0 23194 58 0 0 25 0 11 0 548509312 864612352 25086 4294967295 134512640 134569956 3221224400 3221214840 1131400372 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211087 25086 13073 16 0 211071 0
vsize: 844348
[startup+250.021 s]
Raw data (loadavg): 1.00 0.96 0.91 2/64 14864
Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 18113 0 1 0 24184 58 0 0 25 0 11 0 548509312 864612352 25117 4294967295 134512640 134569956 3221224400 3221214808 1131306325 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211087 25117 13073 16 0 211071 0
vsize: 844348
[startup+260.021 s]
Raw data (loadavg): 1.00 0.96 0.91 2/64 14865
Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 18113 3 1 0 25155 58 0 0 25 0 11 0 548509312 864612352 25142 4294967295 134512640 134569956 3221224400 3221214848 1131253056 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211087 25142 13073 16 0 211071 0
vsize: 844348
[startup+270.021 s]
Raw data (loadavg): 1.00 0.96 0.91 2/64 14865
Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 18113 3 1 0 26114 59 0 0 25 0 11 0 548509312 864612352 25159 4294967295 134512640 134569956 3221224400 3221214896 1131374970 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211087 25159 13073 16 0 211071 0
vsize: 844348
[startup+280.021 s]
Raw data (loadavg): 1.00 0.96 0.91 2/64 14865
Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 18113 3 1 0 27078 59 0 0 25 0 11 0 548509312 864612352 25164 4294967295 134512640 134569956 3221224400 3221214800 1131305945 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211087 25164 13073 16 0 211071 0
vsize: 844348
[startup+290.021 s]
Raw data (loadavg): 1.00 0.96 0.91 2/64 14865
Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 18113 3 1 0 28049 59 0 0 25 0 11 0 548509312 864612352 25404 4294967295 134512640 134569956 3221224400 3221214744 1131463663 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211087 25404 13073 16 0 211071 0
vsize: 844348
[startup+300.022 s]
Raw data (loadavg): 1.00 0.96 0.91 2/64 14865
Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 18113 3 1 0 29027 60 0 0 25 0 11 0 548509312 864612352 25420 4294967295 134512640 134569956 3221224400 3221214744 1131465617 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211087 25420 13073 16 0 211071 0
vsize: 844348
[startup+310.022 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14865
Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 18113 3 1 0 30008 60 0 0 25 0 11 0 548509312 864612352 25426 4294967295 134512640 134569956 3221224400 3221214776 1131324802 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211087 25426 13073 16 0 211071 0
vsize: 844348
[startup+320.021 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14865
Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 18113 3 1 0 30991 61 0 0 25 0 11 0 548509312 864612352 25428 4294967295 134512640 134569956 3221224400 3221214688 1131642543 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211087 25428 13073 16 0 211071 0
vsize: 844348
[startup+330.022 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14865
Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 18113 3 1 0 31976 61 0 0 25 0 11 0 548509312 864612352 25430 4294967295 134512640 134569956 3221224400 3221214584 1131315026 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211087 25430 13073 16 0 211071 0
vsize: 844348
[startup+340.022 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14867
Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 18113 3 1 0 32957 61 0 0 25 0 11 0 548509312 864612352 25433 4294967295 134512640 134569956 3221224400 3221214664 1131538944 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211087 25433 13073 16 0 211071 0
vsize: 844348
[startup+350.023 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14867
Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 18113 3 1 0 33932 61 0 0 25 0 11 0 548509312 864612352 25434 4294967295 134512640 134569956 3221224400 3221214800 1131305953 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211087 25434 13073 16 0 211071 0
vsize: 844348
[startup+360.023 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14867
Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 18113 3 1 0 34905 61 0 0 25 0 11 0 548509312 864612352 25434 4294967295 134512640 134569956 3221224400 3221214800 1131305975 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211087 25434 13073 16 0 211071 0
vsize: 844348
[startup+370.023 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14867
Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 18113 3 1 0 35874 61 0 0 25 0 11 0 548509312 864612352 25434 4294967295 134512640 134569956 3221224400 3221214800 1131306391 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211087 25434 13073 16 0 211071 0
vsize: 844348
[startup+380.024 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14867
Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 18113 3 1 0 36868 62 0 0 25 0 11 0 548509312 864612352 25619 4294967295 134512640 134569956 3221224400 3221214892 1131305939 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211087 25619 13073 16 0 211071 0
vsize: 844348
[startup+390.023 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14867
Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 18113 3 1 0 37865 62 0 0 25 0 11 0 548509312 864612352 25621 4294967295 134512640 134569956 3221224400 3221214800 1131306513 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211087 25621 13073 16 0 211071 0
vsize: 844348
[startup+400.024 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14867
Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 18113 3 1 0 38862 62 0 0 25 0 11 0 548509312 864612352 25622 4294967295 134512640 134569956 3221224400 3221214896 1131374384 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211087 25622 13073 16 0 211071 0
vsize: 844348
[startup+410.025 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14867
Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 18113 3 1 0 39857 62 0 0 25 0 11 0 548509312 864612352 25626 4294967295 134512640 134569956 3221224400 3221214800 1131306626 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211087 25626 13073 16 0 211071 0
vsize: 844348
[startup+420.024 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14867
Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 18113 3 1 0 40852 62 0 0 25 0 11 0 548509312 864612352 25628 4294967295 134512640 134569956 3221224400 3221214800 1131306362 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211087 25628 13073 16 0 211071 0
vsize: 844348
[startup+430.026 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14867
Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 18113 3 1 0 41846 62 0 0 25 0 11 0 548509312 864612352 25640 4294967295 134512640 134569956 3221224400 3221214800 1131306358 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211087 25640 13073 16 0 211071 0
vsize: 844348
[startup+440.025 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14867
Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 18113 3 1 0 42840 62 0 0 25 0 11 0 548509312 864612352 25658 4294967295 134512640 134569956 3221224400 3221214800 1131306299 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211087 25658 13073 16 0 211071 0
vsize: 844348
[startup+450.026 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14867
Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 18113 3 1 0 43836 62 0 0 25 0 11 0 548509312 864612352 25659 4294967295 134512640 134569956 3221224400 3221214800 1131307537 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211087 25659 13073 16 0 211071 0
vsize: 844348
[startup+460.026 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14867
Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 18113 3 1 0 44832 62 0 0 25 0 11 0 548509312 864612352 25676 4294967295 134512640 134569956 3221224400 3221214896 1131375142 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211087 25676 13073 16 0 211071 0
vsize: 844348
[startup+470.026 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14867
Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 18113 3 1 0 45828 63 0 0 25 0 11 0 548509312 864612352 25680 4294967295 134512640 134569956 3221224400 3221214800 1131306391 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211087 25680 13073 16 0 211071 0
vsize: 844348
[startup+480.027 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14867
Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 18113 3 1 0 46822 63 0 0 25 0 11 0 548509312 864612352 25680 4294967295 134512640 134569956 3221224400 3221214896 1131374408 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211087 25680 13073 16 0 211071 0
vsize: 844348
[startup+490.027 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14867
Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 18113 3 1 0 47816 63 0 0 25 0 11 0 548509312 864612352 25681 4294967295 134512640 134569956 3221224400 3221214800 1131306561 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211087 25681 13073 16 0 211071 0
vsize: 844348
[startup+500.028 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14867
Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 18113 3 1 0 48812 63 0 0 25 0 11 0 548509312 864612352 25702 4294967295 134512640 134569956 3221224400 3221214848 1131253077 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211087 25702 13073 16 0 211071 0
vsize: 844348
[startup+510.028 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14867
Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 18113 3 1 0 49806 63 0 0 25 0 11 0 548509312 864612352 25717 4294967295 134512640 134569956 3221224400 3221214872 1131321905 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211087 25717 13073 16 0 211071 0
vsize: 844348
[startup+520.028 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14867
Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 18113 3 1 0 50801 63 0 0 25 0 11 0 548509312 864612352 25717 4294967295 134512640 134569956 3221224400 3221214800 1131305953 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211087 25717 13073 16 0 211071 0
vsize: 844348
[startup+530.029 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14867
Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 18113 3 1 0 51796 63 0 0 25 0 11 0 548509312 864612352 25728 4294967295 134512640 134569956 3221224400 3221214800 1131306391 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211087 25728 13073 16 0 211071 0
vsize: 844348
[startup+540.029 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14867
Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 18113 3 1 0 52793 63 0 0 25 0 11 0 548509312 864612352 25735 4294967295 134512640 134569956 3221224400 3221214800 1131306348 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211087 25735 13073 16 0 211071 0
vsize: 844348
[startup+550.03 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14867
Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 18113 3 1 0 53788 63 0 0 25 0 11 0 548509312 864612352 25738 4294967295 134512640 134569956 3221224400 3221214848 1131253098 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211087 25738 13073 16 0 211071 0
vsize: 844348
[startup+560.03 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14867
Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 18113 3 1 0 54782 63 0 0 25 0 11 0 548509312 864612352 25739 4294967295 134512640 134569956 3221224400 3221214848 1131253077 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211087 25739 13073 16 0 211071 0
vsize: 844348
[startup+570.03 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14867
Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 18113 3 1 0 55776 63 0 0 25 0 11 0 548509312 864612352 25752 4294967295 134512640 134569956 3221224400 3221214800 1131305989 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211087 25752 13073 16 0 211071 0
vsize: 844348
[startup+580.03 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14867
Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 18113 3 1 0 56772 63 0 0 25 0 11 0 548509312 864612352 25770 4294967295 134512640 134569956 3221224400 3221214800 1131306391 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211087 25770 13073 16 0 211071 0
vsize: 844348
[startup+590.03 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14867
Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 18113 3 1 0 57766 63 0 0 25 0 11 0 548509312 864612352 25772 4294967295 134512640 134569956 3221224400 3221214800 1131306443 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211087 25772 13073 16 0 211071 0
vsize: 844348
[startup+600.03 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14867
Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 18113 3 1 0 58760 63 0 0 25 0 11 0 548509312 864612352 25775 4294967295 134512640 134569956 3221224400 3221214848 1131253053 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211087 25775 13073 16 0 211071 0
vsize: 844348
[startup+610.032 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14867
Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 18113 3 1 0 59755 63 0 0 25 0 11 0 548509312 864612352 25792 4294967295 134512640 134569956 3221224400 3221214800 1131306395 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211087 25792 13073 16 0 211071 0
vsize: 844348
[startup+620.031 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14867
Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 18113 3 1 0 60752 63 0 0 25 0 11 0 548509312 864612352 25796 4294967295 134512640 134569956 3221224400 3221214800 1131306048 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211087 25796 13073 16 0 211071 0
vsize: 844348
[startup+630.031 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14867
Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 18113 3 1 0 61749 63 0 0 25 0 11 0 548509312 864612352 25799 4294967295 134512640 134569956 3221224400 3221214800 1131306391 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211087 25799 13073 16 0 211071 0
vsize: 844348
[startup+640.031 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14867
Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 18113 3 1 0 62744 63 0 0 25 0 11 0 548509312 864612352 25807 4294967295 134512640 134569956 3221224400 3221214800 1131306391 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211087 25807 13073 16 0 211071 0
vsize: 844348
[startup+650.032 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14867
Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 18113 3 1 0 63739 63 0 0 25 0 11 0 548509312 864612352 25808 4294967295 134512640 134569956 3221224400 3221214800 1131307279 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211087 25808 13073 16 0 211071 0
vsize: 844348
[startup+660.032 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14867
Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 18113 3 1 0 64735 63 0 0 25 0 11 0 548509312 864612352 25826 4294967295 134512640 134569956 3221224400 3221214800 1131306541 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211087 25826 13073 16 0 211071 0
vsize: 844348
[startup+670.032 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14867
Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 18113 3 1 0 65731 64 0 0 25 0 11 0 548509312 864612352 25827 4294967295 134512640 134569956 3221224400 3221214892 1131307546 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211087 25827 13073 16 0 211071 0
vsize: 844348
[startup+680.032 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14867
Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 18113 3 1 0 66726 64 0 0 25 0 11 0 548509312 864612352 25830 4294967295 134512640 134569956 3221224400 3221214872 1131321905 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211087 25830 13073 16 0 211071 0
vsize: 844348
[startup+690.032 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14867
Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 18113 3 1 0 67721 64 0 0 25 0 11 0 548509312 864612352 25835 4294967295 134512640 134569956 3221224400 3221214800 1131306391 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211087 25835 13073 16 0 211071 0
vsize: 844348
[startup+700.033 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14867
Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 18113 3 1 0 68716 64 0 0 25 0 11 0 548509312 864612352 25857 4294967295 134512640 134569956 3221224400 3221214800 1131306521 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211087 25857 13073 16 0 211071 0
vsize: 844348
[startup+710.034 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14867
Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 18113 3 1 0 69714 64 0 0 25 0 11 0 548509312 864612352 25858 4294967295 134512640 134569956 3221224400 3221214800 1131306912 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211087 25858 13073 16 0 211071 0
vsize: 844348
[startup+720.033 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14867
Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 18113 3 1 0 70709 64 0 0 25 0 11 0 548509312 864612352 25861 4294967295 134512640 134569956 3221224400 3221214896 1131375056 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211087 25861 13073 16 0 211071 0
vsize: 844348
[startup+730.034 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14867
Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 18113 3 1 0 71705 64 0 0 25 0 11 0 548509312 864612352 25863 4294967295 134512640 134569956 3221224400 3221214896 1131374005 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211087 25863 13073 16 0 211071 0
vsize: 844348
[startup+740.034 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14867
Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 18113 3 1 0 72700 64 0 0 25 0 11 0 548509312 864612352 25863 4294967295 134512640 134569956 3221224400 3221214800 1131305953 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211087 25863 13073 16 0 211071 0
vsize: 844348
[startup+750.035 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14867
Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 18113 3 1 0 73694 64 0 0 25 0 11 0 548509312 864612352 25877 4294967295 134512640 134569956 3221224400 3221214848 1131253056 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211087 25877 13073 16 0 211071 0
vsize: 844348
[startup+760.035 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14867
Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 18113 3 1 0 74689 65 0 0 25 0 11 0 548509312 864612352 25879 4294967295 134512640 134569956 3221224400 3221214896 1131374321 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211087 25879 13073 16 0 211071 0
vsize: 844348
[startup+770.043 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14867
Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 18113 3 1 0 75685 65 0 0 25 0 11 0 548509312 864612352 25892 4294967295 134512640 134569956 3221224400 3221214688 1131642637 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211087 25892 13073 16 0 211071 0
vsize: 844348
[startup+780.051 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14867
Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 18113 3 1 0 76679 65 0 0 25 0 11 0 548509312 864612352 25913 4294967295 134512640 134569956 3221224400 3221214840 1131390065 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211087 25913 13073 16 0 211071 0
vsize: 844348
[startup+790.052 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14867
Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 18113 3 1 0 77669 66 0 0 25 0 11 0 548509312 864612352 25924 4294967295 134512640 134569956 3221224400 3221214800 1131306391 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211087 25924 13073 16 0 211071 0
vsize: 844348
[startup+800.052 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14867
Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 18113 3 1 0 78660 66 0 0 25 0 11 0 548509312 864612352 25933 4294967295 134512640 134569956 3221224400 3221214896 1131374005 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211087 25933 13073 16 0 211071 0
vsize: 844348
[startup+810.052 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14867
Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 18113 3 1 0 79654 66 0 0 25 0 11 0 548509312 864612352 25969 4294967295 134512640 134569956 3221224400 3221214800 1131306886 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211087 25969 13073 16 0 211071 0
vsize: 844348
[startup+820.053 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14867
Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 18113 3 1 0 80650 66 0 0 25 0 11 0 548509312 864612352 25982 4294967295 134512640 134569956 3221224400 3221214800 1131306388 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211087 25982 13073 16 0 211071 0
vsize: 844348
[startup+830.053 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14867
Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 18113 3 1 0 81645 66 0 0 25 0 11 0 548509312 864612352 25983 4294967295 134512640 134569956 3221224400 3221214888 1131528092 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211087 25983 13073 16 0 211071 0
vsize: 844348
[startup+840.053 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14867
Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 18113 3 1 0 82639 67 0 0 25 0 11 0 548509312 864612352 25983 4294967295 134512640 134569956 3221224400 3221214800 1131305964 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211087 25983 13073 16 0 211071 0
vsize: 844348
[startup+850.054 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14867
Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 18113 3 1 0 83632 67 0 0 25 0 11 0 548509312 864612352 25996 4294967295 134512640 134569956 3221224400 3221214800 1131305964 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211087 25996 13073 16 0 211071 0
vsize: 844348
[startup+860.054 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14867
Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 18113 3 1 0 84626 67 0 0 25 0 11 0 548509312 864612352 26012 4294967295 134512640 134569956 3221224400 3221214800 1131306597 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211087 26012 13073 16 0 211071 0
vsize: 844348
[startup+870.054 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14867
Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 18113 3 1 0 85622 67 0 0 25 0 11 0 548509312 864612352 26014 4294967295 134512640 134569956 3221224400 3221214800 1131306626 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211087 26014 13073 16 0 211071 0
vsize: 844348
[startup+880.055 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14867
Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 18113 3 1 0 86618 68 0 0 25 0 11 0 548509312 864612352 26014 4294967295 134512640 134569956 3221224400 3221214800 1131306553 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211087 26014 13073 16 0 211071 0
vsize: 844348
[startup+890.056 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14867
Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 18113 3 1 0 87611 68 0 0 25 0 11 0 548509312 864612352 26023 4294967295 134512640 134569956 3221224400 3221214800 1131306280 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211087 26023 13073 16 0 211071 0
vsize: 844348
[startup+900.057 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14867
Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 18113 3 1 0 88604 68 0 0 25 0 11 0 548509312 864612352 26028 4294967295 134512640 134569956 3221224400 3221214896 1131375041 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211087 26028 13073 16 0 211071 0
vsize: 844348
[startup+910.057 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14867
Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 18113 3 1 0 89598 68 0 0 25 0 11 0 548509312 864612352 26056 4294967295 134512640 134569956 3221224400 3221214800 1131306498 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211087 26056 13073 16 0 211071 0
vsize: 844348
[startup+920.057 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14867
Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 18113 3 1 0 90594 68 0 0 25 0 11 0 548509312 864612352 26073 4294967295 134512640 134569956 3221224400 3221214848 1131253056 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211087 26073 13073 16 0 211071 0
vsize: 844348
[startup+930.058 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14867
Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 18113 3 1 0 91591 68 0 0 25 0 11 0 548509312 864612352 26075 4294967295 134512640 134569956 3221224400 3221214800 1131306391 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211087 26075 13073 16 0 211071 0
vsize: 844348
[startup+940.058 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14867
Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 18113 3 1 0 92585 68 0 0 25 0 11 0 548509312 864612352 26076 4294967295 134512640 134569956 3221224400 3221214800 1131306468 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211087 26076 13073 16 0 211071 0
vsize: 844348
[startup+950.058 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14867
Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 18113 3 1 0 93579 69 0 0 25 0 11 0 548509312 864612352 26077 4294967295 134512640 134569956 3221224400 3221214800 1131305945 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211087 26077 13073 16 0 211071 0
vsize: 844348
[startup+960.059 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14867
Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 18113 3 1 0 94572 69 0 0 25 0 11 0 548509312 864612352 26077 4294967295 134512640 134569956 3221224400 3221214848 1131253073 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211087 26077 13073 16 0 211071 0
vsize: 844348
[startup+970.16 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14867
Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 18113 3 1 0 95577 69 0 0 25 0 11 0 548509312 864612352 26097 4294967295 134512640 134569956 3221224400 3221214800 1131306498 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211087 26097 13073 16 0 211071 0
vsize: 844348
[startup+980.161 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14867
Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 18113 3 1 0 96573 70 0 0 25 0 11 0 548509312 864612352 26099 4294967295 134512640 134569956 3221224400 3221214848 1131253147 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211087 26099 13073 16 0 211071 0
vsize: 844348
[startup+990.162 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14867
Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 18113 3 1 0 97569 70 0 0 25 0 11 0 548509312 864612352 26107 4294967295 134512640 134569956 3221224400 3221214896 1131374181 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211087 26107 13073 16 0 211071 0
vsize: 844348
[startup+1000.16 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14867
Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 18113 3 1 0 98566 71 0 0 25 0 11 0 548509312 864612352 26112 4294967295 134512640 134569956 3221224400 3221214800 1131306513 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211087 26112 13073 16 0 211071 0
vsize: 844348
[startup+1010.16 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14867
Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 18113 3 1 0 99559 71 0 0 25 0 11 0 548509312 864612352 26125 4294967295 134512640 134569956 3221224400 3221214800 1131306391 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211087 26125 13073 16 0 211071 0
vsize: 844348
[startup+1020.16 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14867
Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 18113 3 1 0 100552 71 0 0 25 0 11 0 548509312 864612352 26126 4294967295 134512640 134569956 3221224400 3221214800 1131307347 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211087 26126 13073 16 0 211071 0
vsize: 844348
[startup+1030.16 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14867
Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 18113 3 1 0 101546 72 0 0 25 0 11 0 548509312 864612352 26144 4294967295 134512640 134569956 3221224400 3221214848 1131253077 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211087 26144 13073 16 0 211071 0
vsize: 844348
[startup+1040.16 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14867
Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 18113 3 1 0 102543 72 0 0 25 0 11 0 548509312 864612352 26152 4294967295 134512640 134569956 3221224400 3221214872 1131321897 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211087 26152 13073 16 0 211071 0
vsize: 844348
[startup+1050.17 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14867
Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 18113 3 1 0 103540 72 0 0 25 0 11 0 548509312 864612352 26153 4294967295 134512640 134569956 3221224400 3221214848 1131253077 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211087 26153 13073 16 0 211071 0
vsize: 844348
[startup+1060.17 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14867
Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 18113 3 1 0 104537 72 0 0 25 0 11 0 548509312 864612352 26156 4294967295 134512640 134569956 3221224400 3221214800 1131306388 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211087 26156 13073 16 0 211071 0
vsize: 844348
[startup+1070.17 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14867
Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 18113 3 1 0 105534 73 0 0 25 0 11 0 548509312 864612352 26156 4294967295 134512640 134569956 3221224400 3221214896 1131374408 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211087 26156 13073 16 0 211071 0
vsize: 844348
[startup+1080.17 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14867
Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 18113 3 1 0 106529 73 0 0 25 0 11 0 548509312 864612352 26159 4294967295 134512640 134569956 3221224400 3221214800 1131306050 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211087 26159 13073 16 0 211071 0
vsize: 844348
[startup+1090.17 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14867
Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 18113 3 1 0 107523 74 0 0 25 0 11 0 548509312 864612352 26163 4294967295 134512640 134569956 3221224400 3221214896 1131374181 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211087 26163 13073 16 0 211071 0
vsize: 844348
[startup+1100.17 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14867
Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 18113 3 1 0 108516 74 0 0 25 0 11 0 548509312 864612352 26172 4294967295 134512640 134569956 3221224400 3221214800 1131306457 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211087 26172 13073 16 0 211071 0
vsize: 844348
[startup+1110.17 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14867
Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 18113 3 1 0 109511 74 0 0 25 0 11 0 548509312 864612352 26187 4294967295 134512640 134569956 3221224400 3221214800 1131306449 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211087 26187 13073 16 0 211071 0
vsize: 844348
[startup+1120.17 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14867
Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 18113 3 1 0 110507 75 0 0 25 0 11 0 548509312 864612352 26204 4294967295 134512640 134569956 3221224400 3221214848 1131253266 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211087 26204 13073 16 0 211071 0
vsize: 844348
[startup+1130.17 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14867
Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 18113 3 1 0 111504 75 0 0 25 0 11 0 548509312 864612352 26206 4294967295 134512640 134569956 3221224400 3221214800 1131306443 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211087 26206 13073 16 0 211071 0
vsize: 844348
[startup+1140.17 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14867
Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 18113 3 1 0 112501 75 0 0 25 0 11 0 548509312 864612352 26210 4294967295 134512640 134569956 3221224400 3221214848 1131253056 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211087 26210 13073 16 0 211071 0
vsize: 844348
[startup+1150.17 s]
Raw data (loadavg): 1.07 0.99 0.91 2/64 14867
Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 18113 3 1 0 113495 75 0 0 25 0 11 0 548509312 864612352 26212 4294967295 134512640 134569956 3221224400 3221214800 1131306362 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211087 26212 13073 16 0 211071 0
vsize: 844348
[startup+1160.17 s]
Raw data (loadavg): 1.06 0.99 0.91 2/64 14867
Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 18113 3 1 0 114489 75 0 0 25 0 11 0 548509312 864612352 26224 4294967295 134512640 134569956 3221224400 3221214800 1131306445 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211087 26224 13073 16 0 211071 0
vsize: 844348
[startup+1170.18 s]
Raw data (loadavg): 1.05 0.99 0.91 2/64 14867
Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 18113 3 1 0 115485 75 0 0 25 0 11 0 548509312 864612352 26225 4294967295 134512640 134569956 3221224400 3221214800 1131306557 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211087 26225 13073 16 0 211071 0
vsize: 844348
[startup+1180.18 s]
Raw data (loadavg): 1.04 0.99 0.91 2/64 14867
Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 18113 3 1 0 116481 75 0 0 25 0 11 0 548509312 864612352 26244 4294967295 134512640 134569956 3221224400 3221214800 1131306001 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211087 26244 13073 16 0 211071 0
vsize: 844348
[startup+1190.18 s]
Raw data (loadavg): 1.04 0.99 0.91 2/64 14867
Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 18113 3 1 0 117479 75 0 0 25 0 11 0 548509312 864612352 26246 4294967295 134512640 134569956 3221224400 3221214800 1131306433 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211087 26246 13073 16 0 211071 0
vsize: 844348
[startup+1200.19 s]
Raw data (loadavg): 1.03 0.99 0.91 2/64 14867
Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 18113 3 1 0 118477 76 0 0 25 0 11 0 548509312 864612352 26251 4294967295 134512640 134569956 3221224400 3221214800 1131306362 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211087 26251 13073 16 0 211071 0
vsize: 844348
[startup+1210.19 s]
Raw data (loadavg): 1.02 0.99 0.91 2/64 14867
Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 18113 3 1 0 119472 76 0 0 25 0 11 0 548509312 864612352 26253 4294967295 134512640 134569956 3221224400 3221214800 1131306597 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211087 26253 13073 16 0 211071 0
vsize: 844348
[startup+1220.19 s]
Raw data (loadavg): 1.02 0.99 0.91 2/64 14867
Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 18113 3 1 0 120466 76 0 0 25 0 11 0 548509312 864612352 26255 4294967295 134512640 134569956 3221224400 3221214800 1131306553 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211087 26255 13073 16 0 211071 0
vsize: 844348
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1220.25 s]
Raw data (loadavg): 1.02 0.99 0.91 1/54 14869
Raw data (stat): 14799 (java) Z 14798 27565 27564 0 -1 1036 18113 7097 1 0 120467 76 1783 31 25 0 1 0 548509312 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1220.25
CPU time (s): 1223.58
CPU user time (s): 1222.51
CPU system time (s): 1.07184
CPU usage (%): 100.273
Max. virtual memory (Kb): 844380
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####