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/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-recipe.opb
MD5SUM3ed8b1557bef6552695b255ca35679eb
Bench Categoryoptimization, big integers (OPTBIGINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -79735161
Optimality of the best value was proved NO
Number of terms in the objective function 1055
Biggest coefficient in the objective function 65536000
Number of bits for the biggest coefficient in the objective function 26
Sum of the numbers in the objective function 584330055
Number of bits of the sum of numbers in the objective function 30
Biggest number in a constraint 5681631310381056
Number of bits of the biggest number in a constraint 53
Biggest sum of numbers in a constraint 98271137637301167
Number of bits of the biggest sum of numbers57
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1233.91
Number of variables3671
Total number of constraints159
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 constraints159
Minimum length of a constraint10
Maximum length of a constraint420

Trace number 17408

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc22 THE 2005-04-21 10:08:10 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=11124 boxname=wulflinc22 idbench=856 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  3ed8b1557bef6552695b255ca35679eb  /oldhome/oroussel/tmp/wulflinc22/normalized-mps-v2-20-10-recipe.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc22/normalized-mps-v2-20-10-recipe.opb
IDLAUNCH: 11124
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.031
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.031
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:        491152 kB
Buffers:         32424 kB
Cached:         480408 kB
SwapCached:         24 kB
Active:         170340 kB
Inactive:       345232 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        490900 kB
SwapTotal:     2097892 kB
SwapFree:      2097660 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6640 kB
Slab:            22376 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-21 10:28:43 (client local time) WITH STATUS 143 IN 1241.3 SECONDS
stats: 11124 7 1241.3 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc22/normalized-mps-v2-20-10-recipe.opb
c reading problem 
c [nbvar=3671]
c [nbconstr=159]
c time 7.926
c #vars     3671
c #clauses  219
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=-85849102
c Current CPU time (ms) : 508.221
c starts	: 7
c conflicts	: 2335
c decisions	: 14210
c propagations	: 31079
c inspects	: 3679639
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 2335
c root simplifications	: 297
c 
c CURRENT OPTIMUM=-92657422
c Current CPU time (ms) : 562.113
c starts	: 8
c conflicts	: 2390
c decisions	: 15750
c propagations	: 34808
c inspects	: 3841772
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 2390
c root simplifications	: 302
#### 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.56 0.76 0.88 2/54 674
Raw data (stat): 674 (runsolver) R 673 26298 26297 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 544237719 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.0008 s]
Raw data (loadavg): 0.70 0.79 0.89 3/64 684
Raw data (stat): 674 (java) R 673 26298 26297 0 -1 0 18050 0 1 0 678 41 0 0 25 0 11 0 544237719 860868608 21166 4294967295 134512640 134569956 3221224400 3221214220 1076461366 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210173 21166 13073 16 0 210157 0
vsize: 840692
[startup+20.0021 s]
Raw data (loadavg): 0.82 0.81 0.90 2/64 684
Raw data (stat): 674 (java) R 673 26298 26297 0 -1 0 18052 0 1 0 1501 42 0 0 25 0 11 0 544237719 860672000 22004 4294967295 134512640 134569956 3221224400 3221214920 1131148569 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210125 22004 13073 16 0 210109 0
vsize: 840500
[startup+30.0037 s]
Raw data (loadavg): 0.92 0.83 0.90 2/64 684
Raw data (stat): 674 (java) R 673 26298 26297 0 -1 0 18052 0 1 0 2448 42 0 0 25 0 11 0 544237719 859820032 21921 4294967295 134512640 134569956 3221224400 3221214488 1131554797 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209917 21921 13073 16 0 209901 0
vsize: 839668
[startup+40.0044 s]
Raw data (loadavg): 0.93 0.84 0.90 2/64 684
Raw data (stat): 674 (java) R 673 26298 26297 0 -1 0 18052 0 1 0 3401 42 0 0 25 0 11 0 544237719 859820032 22098 4294967295 134512640 134569956 3221224400 3221214692 1130885141 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209917 22098 13073 16 0 209901 0
vsize: 839668
[startup+50.0052 s]
Raw data (loadavg): 0.94 0.84 0.90 2/64 684
Raw data (stat): 674 (java) R 673 26298 26297 0 -1 0 18053 0 1 0 4350 42 0 0 25 0 11 0 544237719 859820032 22257 4294967295 134512640 134569956 3221224400 3221214396 1085616768 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209917 22257 13073 16 0 209901 0
vsize: 839668
[startup+60.0053 s]
Raw data (loadavg): 0.95 0.85 0.91 2/64 684
Raw data (stat): 674 (java) R 673 26298 26297 0 -1 0 18053 0 1 0 5311 42 0 0 25 0 11 0 544237719 859820032 22257 4294967295 134512640 134569956 3221224400 3221214824 1131299278 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209917 22257 13073 16 0 209901 0
vsize: 839668
[startup+70.0096 s]
Raw data (loadavg): 0.96 0.85 0.91 2/64 684
Raw data (stat): 674 (java) S 673 26298 26297 0 -1 0 18053 0 1 0 6261 42 0 0 25 0 11 0 544237719 859820032 22524 4294967295 134512640 134569956 3221224400 3221213320 1073952481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209917 22524 13073 16 0 209901 0
vsize: 839668
[startup+80.0108 s]
Raw data (loadavg): 0.96 0.86 0.91 2/64 684
Raw data (stat): 674 (java) R 673 26298 26297 0 -1 0 18053 0 1 0 7228 42 0 0 25 0 11 0 544237719 859820032 22759 4294967295 134512640 134569956 3221224400 3221214776 1131348750 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209917 22759 13073 16 0 209901 0
vsize: 839668
[startup+90.0113 s]
Raw data (loadavg): 0.97 0.86 0.91 2/64 684
Raw data (stat): 674 (java) R 673 26298 26297 0 -1 0 18053 0 1 0 8201 42 0 0 21 0 11 0 544237719 859820032 22869 4294967295 134512640 134569956 3221224400 3221214696 1131265066 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209917 22869 13073 16 0 209901 0
vsize: 839668
[startup+100.012 s]
Raw data (loadavg): 0.97 0.86 0.91 2/64 684
Raw data (stat): 674 (java) R 673 26298 26297 0 -1 0 18053 0 1 0 9179 42 0 0 25 0 11 0 544237719 859820032 22932 4294967295 134512640 134569956 3221224400 3221214656 1131214843 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209917 22932 13073 16 0 209901 0
vsize: 839668
[startup+110.013 s]
Raw data (loadavg): 1.06 0.88 0.91 2/64 684
Raw data (stat): 674 (java) R 673 26298 26297 0 -1 0 18053 0 1 0 10152 43 0 0 25 0 11 0 544237719 859820032 23034 4294967295 134512640 134569956 3221224400 3221214592 1131479412 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209917 23034 13073 16 0 209901 0
vsize: 839668
[startup+120.015 s]
Raw data (loadavg): 1.05 0.89 0.91 2/64 684
Raw data (stat): 674 (java) R 673 26298 26297 0 -1 0 18053 0 1 0 11129 43 0 0 25 0 11 0 544237719 859820032 23109 4294967295 134512640 134569956 3221224400 3221214752 1131348750 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209917 23109 13073 16 0 209901 0
vsize: 839668
[startup+130.02 s]
Raw data (loadavg): 1.11 0.91 0.92 2/64 684
Raw data (stat): 674 (java) R 673 26298 26297 0 -1 0 18053 0 1 0 12102 43 0 0 25 0 11 0 544237719 859820032 23209 4294967295 134512640 134569956 3221224400 3221214680 1131633947 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209917 23209 13073 16 0 209901 0
vsize: 839668
[startup+140.021 s]
Raw data (loadavg): 1.10 0.91 0.92 2/64 684
Raw data (stat): 674 (java) R 673 26298 26297 0 -1 0 18053 0 1 0 13078 43 0 0 25 0 11 0 544237719 859820032 23315 4294967295 134512640 134569956 3221224400 3221214656 1131215189 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209917 23315 13073 16 0 209901 0
vsize: 839668
[startup+150.021 s]
Raw data (loadavg): 1.08 0.91 0.92 2/64 684
Raw data (stat): 674 (java) R 673 26298 26297 0 -1 0 18053 0 1 0 14053 43 0 0 25 0 11 0 544237719 859820032 23441 4294967295 134512640 134569956 3221224400 3221214268 1085632272 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209917 23441 13073 16 0 209901 0
vsize: 839668
[startup+160.022 s]
Raw data (loadavg): 1.07 0.91 0.92 2/64 684
Raw data (stat): 674 (java) R 673 26298 26297 0 -1 0 18053 0 1 0 15028 43 0 0 25 0 11 0 544237719 859820032 23558 4294967295 134512640 134569956 3221224400 3221214656 1131215492 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209917 23558 13073 16 0 209901 0
vsize: 839668
[startup+170.022 s]
Raw data (loadavg): 1.06 0.92 0.92 2/64 684
Raw data (stat): 674 (java) R 673 26298 26297 0 -1 0 18053 0 1 0 16003 43 0 0 25 0 11 0 544237719 859820032 23730 4294967295 134512640 134569956 3221224400 3221214656 1131215310 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209917 23730 13073 16 0 209901 0
vsize: 839668
[startup+180.022 s]
Raw data (loadavg): 1.05 0.92 0.92 2/64 684
Raw data (stat): 674 (java) R 673 26298 26297 0 -1 0 18053 0 1 0 16976 43 0 0 25 0 11 0 544237719 859820032 23886 4294967295 134512640 134569956 3221224400 3221214752 1131349904 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209917 23886 13073 16 0 209901 0
vsize: 839668
[startup+190.023 s]
Raw data (loadavg): 1.04 0.92 0.92 2/64 684
Raw data (stat): 674 (java) R 673 26298 26297 0 -1 0 18053 0 1 0 17951 44 0 0 25 0 11 0 544237719 859820032 23988 4294967295 134512640 134569956 3221224400 3221214656 1131215450 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209917 23988 13073 16 0 209901 0
vsize: 839668
[startup+200.023 s]
Raw data (loadavg): 1.03 0.92 0.92 2/64 684
Raw data (stat): 674 (java) R 673 26298 26297 0 -1 0 18053 0 1 0 18926 44 0 0 25 0 11 0 544237719 859820032 24097 4294967295 134512640 134569956 3221224400 3221214752 1131352090 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209917 24097 13073 16 0 209901 0
vsize: 839668
[startup+210.03 s]
Raw data (loadavg): 1.03 0.92 0.92 2/64 684
Raw data (stat): 674 (java) R 673 26298 26297 0 -1 0 18053 0 1 0 19900 44 0 0 25 0 11 0 544237719 859820032 24230 4294967295 134512640 134569956 3221224400 3221214784 1131395003 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209917 24230 13073 16 0 209901 0
vsize: 839668
[startup+220.037 s]
Raw data (loadavg): 1.02 0.93 0.92 2/64 684
Raw data (stat): 674 (java) R 673 26298 26297 0 -1 0 18053 0 1 0 20875 44 0 0 25 0 11 0 544237719 859820032 24374 4294967295 134512640 134569956 3221224400 3221214840 1131335479 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209917 24374 13073 16 0 209901 0
vsize: 839668
[startup+230.052 s]
Raw data (loadavg): 1.02 0.93 0.92 2/64 684
Raw data (stat): 674 (java) R 673 26298 26297 0 -1 0 18053 0 1 0 21851 44 0 0 25 0 11 0 544237719 859820032 24499 4294967295 134512640 134569956 3221224400 3221214656 1131215220 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209917 24499 13073 16 0 209901 0
vsize: 839668
[startup+240.051 s]
Raw data (loadavg): 1.02 0.93 0.92 2/64 684
Raw data (stat): 674 (java) R 673 26298 26297 0 -1 0 18053 0 1 0 22821 44 0 0 24 0 11 0 544237719 859820032 24648 4294967295 134512640 134569956 3221224400 3221214656 1131215189 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209917 24648 13073 16 0 209901 0
vsize: 839668
[startup+250.051 s]
Raw data (loadavg): 1.01 0.93 0.92 2/64 684
Raw data (stat): 674 (java) R 673 26298 26297 0 -1 0 18053 0 1 0 23798 44 0 0 25 0 11 0 544237719 859820032 24758 4294967295 134512640 134569956 3221224400 3221214656 1131215143 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209917 24758 13073 16 0 209901 0
vsize: 839668
[startup+260.052 s]
Raw data (loadavg): 1.01 0.93 0.92 2/64 684
Raw data (stat): 674 (java) R 673 26298 26297 0 -1 0 18053 0 1 0 24772 44 0 0 25 0 11 0 544237719 859820032 24897 4294967295 134512640 134569956 3221224400 3221214568 1131552464 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209917 24897 13073 16 0 209901 0
vsize: 839668
[startup+270.052 s]
Raw data (loadavg): 1.01 0.94 0.92 2/64 684
Raw data (stat): 674 (java) R 673 26298 26297 0 -1 0 18053 0 1 0 25743 44 0 0 25 0 11 0 544237719 859820032 25028 4294967295 134512640 134569956 3221224400 3221214656 1131216113 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209917 25028 13073 16 0 209901 0
vsize: 839668
[startup+280.053 s]
Raw data (loadavg): 1.01 0.94 0.92 2/64 684
Raw data (stat): 674 (java) R 673 26298 26297 0 -1 0 18053 0 1 0 26714 44 0 0 25 0 11 0 544237719 859820032 25156 4294967295 134512640 134569956 3221224400 3221214656 1131215220 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209917 25156 13073 16 0 209901 0
vsize: 839668
[startup+290.054 s]
Raw data (loadavg): 1.08 0.96 0.93 2/64 684
Raw data (stat): 674 (java) R 673 26298 26297 0 -1 0 18053 0 1 0 27685 44 0 0 25 0 11 0 544237719 859820032 25294 4294967295 134512640 134569956 3221224400 3221214680 1131633800 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209917 25294 13073 16 0 209901 0
vsize: 839668
[startup+300.053 s]
Raw data (loadavg): 1.07 0.96 0.93 2/64 684
Raw data (stat): 674 (java) R 673 26298 26297 0 -1 0 18053 0 1 0 28654 44 0 0 25 0 11 0 544237719 859820032 25453 4294967295 134512640 134569956 3221224400 3221214152 1085679759 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209917 25453 13073 16 0 209901 0
vsize: 839668
[startup+310.057 s]
Raw data (loadavg): 1.06 0.96 0.93 2/64 684
Raw data (stat): 674 (java) S 673 26298 26297 0 -1 0 18053 0 1 0 29630 45 0 0 25 0 11 0 544237719 859820032 25645 4294967295 134512640 134569956 3221224400 3221213400 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209917 25645 13073 16 0 209901 0
vsize: 839668
[startup+320.058 s]
Raw data (loadavg): 1.05 0.96 0.93 2/64 684
Raw data (stat): 674 (java) R 673 26298 26297 0 -1 0 18053 0 1 0 30609 45 0 0 25 0 11 0 544237719 859820032 25790 4294967295 134512640 134569956 3221224400 3221214296 1131555025 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209917 25790 13073 16 0 209901 0
vsize: 839668
[startup+330.059 s]
Raw data (loadavg): 1.04 0.96 0.93 2/64 684
Raw data (stat): 674 (java) R 673 26298 26297 0 -1 0 18053 0 1 0 31585 45 0 0 25 0 11 0 544237719 859820032 25931 4294967295 134512640 134569956 3221224400 3221214232 1131552392 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209917 25931 13073 16 0 209901 0
vsize: 839668
[startup+340.06 s]
Raw data (loadavg): 1.03 0.96 0.93 2/64 684
Raw data (stat): 674 (java) R 673 26298 26297 0 -1 0 18053 0 1 0 32567 45 0 0 25 0 11 0 544237719 859820032 26041 4294967295 134512640 134569956 3221224400 3221214752 1131348743 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209917 26041 13073 16 0 209901 0
vsize: 839668
[startup+350.06 s]
Raw data (loadavg): 1.03 0.96 0.93 2/64 684
Raw data (stat): 674 (java) R 673 26298 26297 0 -1 0 18053 0 1 0 33544 45 0 0 25 0 11 0 544237719 859820032 26217 4294967295 134512640 134569956 3221224400 3221214656 1131411246 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209917 26217 13073 16 0 209901 0
vsize: 839668
[startup+360.061 s]
Raw data (loadavg): 1.02 0.96 0.93 2/64 684
Raw data (stat): 674 (java) R 673 26298 26297 0 -1 0 18053 0 1 0 34517 45 0 0 25 0 11 0 544237719 859820032 26432 4294967295 134512640 134569956 3221224400 3221214752 1131349830 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209917 26432 13073 16 0 209901 0
vsize: 839668
[startup+370.061 s]
Raw data (loadavg): 1.02 0.96 0.93 2/64 684
Raw data (stat): 674 (java) R 673 26298 26297 0 -1 0 18053 0 1 0 35488 45 0 0 25 0 11 0 544237719 859820032 26533 4294967295 134512640 134569956 3221224400 3221214576 1131265680 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209917 26533 13073 16 0 209901 0
vsize: 839668
[startup+380.062 s]
Raw data (loadavg): 1.02 0.97 0.93 2/64 684
Raw data (stat): 674 (java) R 673 26298 26297 0 -1 0 18053 0 1 0 36463 45 0 0 25 0 11 0 544237719 859820032 26684 4294967295 134512640 134569956 3221224400 3221214680 1131633811 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209917 26684 13073 16 0 209901 0
vsize: 839668
[startup+390.062 s]
Raw data (loadavg): 1.01 0.97 0.93 2/64 684
Raw data (stat): 674 (java) R 673 26298 26297 0 -1 0 18053 0 1 0 37442 46 0 0 25 0 11 0 544237719 859820032 26813 4294967295 134512640 134569956 3221224400 3221214656 1131215226 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209917 26813 13073 16 0 209901 0
vsize: 839668
[startup+400.068 s]
Raw data (loadavg): 1.01 0.97 0.93 2/64 684
Raw data (stat): 674 (java) R 673 26298 26297 0 -1 0 18053 0 1 0 38415 46 0 0 25 0 11 0 544237719 859820032 26972 4294967295 134512640 134569956 3221224400 3221214656 1131216070 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209917 26972 13073 16 0 209901 0
vsize: 839668
[startup+410.069 s]
Raw data (loadavg): 1.01 0.97 0.93 2/64 684
Raw data (stat): 674 (java) R 673 26298 26297 0 -1 0 18053 0 1 0 39387 46 0 0 25 0 11 0 544237719 859820032 27100 4294967295 134512640 134569956 3221224400 3221214656 1131215325 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209917 27100 13073 16 0 209901 0
vsize: 839668
[startup+420.069 s]
Raw data (loadavg): 1.01 0.97 0.93 2/64 684
Raw data (stat): 674 (java) R 673 26298 26297 0 -1 0 18053 0 1 0 40358 46 0 0 25 0 11 0 544237719 859820032 27249 4294967295 134512640 134569956 3221224400 3221214656 1131215189 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209917 27249 13073 16 0 209901 0
vsize: 839668
[startup+430.071 s]
Raw data (loadavg): 1.00 0.97 0.93 2/64 684
Raw data (stat): 674 (java) R 673 26298 26297 0 -1 0 18053 0 1 0 41335 46 0 0 25 0 11 0 544237719 859820032 27297 4294967295 134512640 134569956 3221224400 3221214232 1131552288 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209917 27297 13073 16 0 209901 0
vsize: 839668
[startup+440.071 s]
Raw data (loadavg): 1.00 0.97 0.93 2/64 684
Raw data (stat): 674 (java) R 673 26298 26297 0 -1 0 18053 0 1 0 42303 46 0 0 25 0 11 0 544237719 859820032 27488 4294967295 134512640 134569956 3221224400 3221214656 1131215448 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209917 27488 13073 16 0 209901 0
vsize: 839668
[startup+450.072 s]
Raw data (loadavg): 1.00 0.97 0.93 2/64 684
Raw data (stat): 674 (java) R 673 26298 26297 0 -1 0 18053 0 1 0 43269 46 0 0 25 0 11 0 544237719 859820032 27635 4294967295 134512640 134569956 3221224400 3221214152 1131568970 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209917 27635 13073 16 0 209901 0
vsize: 839668
[startup+460.073 s]
Raw data (loadavg): 1.00 0.97 0.93 2/64 684
Raw data (stat): 674 (java) R 673 26298 26297 0 -1 0 18053 0 1 0 44244 46 0 0 25 0 11 0 544237719 859820032 27779 4294967295 134512640 134569956 3221224400 3221214576 1131265268 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209917 27779 13073 16 0 209901 0
vsize: 839668
[startup+470.074 s]
Raw data (loadavg): 1.00 0.97 0.93 2/64 684
Raw data (stat): 674 (java) R 673 26298 26297 0 -1 0 18053 0 1 0 45215 46 0 0 25 0 11 0 544237719 859820032 27920 4294967295 134512640 134569956 3221224400 3221214720 1131366798 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209917 27920 13073 16 0 209901 0
vsize: 839668
[startup+480.074 s]
Raw data (loadavg): 1.00 0.97 0.93 2/64 684
Raw data (stat): 674 (java) R 673 26298 26297 0 -1 0 18053 0 1 0 46203 46 0 0 25 0 11 0 544237719 859820032 27985 4294967295 134512640 134569956 3221224400 3221214128 1085679762 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209917 27985 13073 16 0 209901 0
vsize: 839668
[startup+490.076 s]
Raw data (loadavg): 1.00 0.97 0.93 2/64 684
Raw data (stat): 674 (java) R 673 26298 26297 0 -1 0 18053 0 1 0 47202 46 0 0 25 0 11 0 544237719 859820032 27985 4294967295 134512640 134569956 3221224400 3221214272 1131554961 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209917 27985 13073 16 0 209901 0
vsize: 839668
[startup+500.075 s]
Raw data (loadavg): 1.00 0.97 0.93 2/64 684
Raw data (stat): 674 (java) R 673 26298 26297 0 -1 0 18053 0 1 0 48202 46 0 0 25 0 11 0 544237719 859820032 27985 4294967295 134512640 134569956 3221224400 3221214752 1131350480 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209917 27985 13073 16 0 209901 0
vsize: 839668
[startup+510.076 s]
Raw data (loadavg): 1.00 0.97 0.93 2/64 685
Raw data (stat): 674 (java) R 673 26298 26297 0 -1 0 18053 3 1 0 49197 47 0 0 25 0 11 0 544237719 859820032 28011 4294967295 134512640 134569956 3221224400 3221214752 1131348513 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209917 28011 13073 16 0 209901 0
vsize: 839668
[startup+520.077 s]
Raw data (loadavg): 1.00 0.97 0.93 2/64 685
Raw data (stat): 674 (java) R 673 26298 26297 0 -1 0 18053 3 1 0 50165 47 0 0 25 0 11 0 544237719 859820032 28223 4294967295 134512640 134569956 3221224400 3221214656 1131215189 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209917 28223 13073 16 0 209901 0
vsize: 839668
[startup+530.078 s]
Raw data (loadavg): 1.00 0.97 0.93 2/64 685
Raw data (stat): 674 (java) R 673 26298 26297 0 -1 0 18053 3 1 0 51144 47 0 0 25 0 11 0 544237719 859820032 28348 4294967295 134512640 134569956 3221224400 3221214204 1131554432 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209917 28348 13073 16 0 209901 0
vsize: 839668
[startup+540.078 s]
Raw data (loadavg): 1.00 0.97 0.93 2/64 685
Raw data (stat): 674 (java) R 673 26298 26297 0 -1 0 18053 3 1 0 52144 47 0 0 25 0 11 0 544237719 859820032 28348 4294967295 134512640 134569956 3221224400 3221214352 1131554954 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209917 28348 13073 16 0 209901 0
vsize: 839668
[startup+550.078 s]
Raw data (loadavg): 1.00 0.97 0.93 2/64 685
Raw data (stat): 674 (java) R 673 26298 26297 0 -1 0 18053 3 1 0 53143 47 0 0 25 0 11 0 544237719 859820032 28348 4294967295 134512640 134569956 3221224400 3221214632 1131555021 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209917 28348 13073 16 0 209901 0
vsize: 839668
[startup+560.078 s]
Raw data (loadavg): 1.00 0.97 0.93 2/64 685
Raw data (stat): 674 (java) R 673 26298 26297 0 -1 0 18053 3 1 0 54139 47 0 0 25 0 11 0 544237719 859820032 28382 4294967295 134512640 134569956 3221224400 3221214012 1131554960 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209917 28382 13073 16 0 209901 0
vsize: 839668
[startup+570.078 s]
Raw data (loadavg): 1.00 0.97 0.93 2/64 686
Raw data (stat): 674 (java) R 673 26298 26297 0 -1 0 18053 3 1 0 55127 47 0 0 25 0 11 0 544237719 859820032 28413 4294967295 134512640 134569956 3221224400 3221213904 1085679272 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209917 28413 13073 16 0 209901 0
vsize: 839668
[startup+580.079 s]
Raw data (loadavg): 1.00 0.97 0.93 2/64 686
Raw data (stat): 674 (java) R 673 26298 26297 0 -1 0 18053 3 1 0 56112 47 0 0 25 0 11 0 544237719 859820032 28446 4294967295 134512640 134569956 3221224400 3221214260 1131554432 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209917 28446 13073 16 0 209901 0
vsize: 839668
[startup+590.08 s]
Raw data (loadavg): 1.00 0.97 0.93 2/64 686
Raw data (stat): 674 (java) R 673 26298 26297 0 -1 0 18053 3 1 0 57096 47 0 0 25 0 11 0 544237719 859820032 28509 4294967295 134512640 134569956 3221224400 3221214016 1085679741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209917 28509 13073 16 0 209901 0
vsize: 839668
[startup+600.079 s]
Raw data (loadavg): 1.00 0.97 0.93 2/64 686
Raw data (stat): 674 (java) R 673 26298 26297 0 -1 0 18053 3 1 0 58085 47 0 0 25 0 11 0 544237719 859820032 28567 4294967295 134512640 134569956 3221224400 3221214576 1131265582 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209917 28567 13073 16 0 209901 0
vsize: 839668
[startup+610.079 s]
Raw data (loadavg): 1.00 0.97 0.93 2/64 686
Raw data (stat): 674 (java) R 673 26298 26297 0 -1 0 18053 3 1 0 59078 48 0 0 25 0 11 0 544237719 859820032 28580 4294967295 134512640 134569956 3221224400 3221214656 1131215403 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209917 28580 13073 16 0 209901 0
vsize: 839668
[startup+620.086 s]
Raw data (loadavg): 1.00 0.97 0.93 2/64 686
Raw data (stat): 674 (java) R 673 26298 26297 0 -1 0 18053 3 1 0 60073 48 0 0 25 0 11 0 544237719 859820032 28593 4294967295 134512640 134569956 3221224400 3221214656 1131215448 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209917 28593 13073 16 0 209901 0
vsize: 839668
[startup+630.096 s]
Raw data (loadavg): 1.00 0.97 0.93 2/64 686
Raw data (stat): 674 (java) R 673 26298 26297 0 -1 0 18053 3 1 0 61061 48 0 0 25 0 11 0 544237719 859820032 28627 4294967295 134512640 134569956 3221224400 3221214656 1131215134 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209917 28627 13073 16 0 209901 0
vsize: 839668
[startup+640.101 s]
Raw data (loadavg): 1.00 0.97 0.93 2/64 686
Raw data (stat): 674 (java) R 673 26298 26297 0 -1 0 18053 3 1 0 62049 48 0 0 25 0 11 0 544237719 859820032 28670 4294967295 134512640 134569956 3221224400 3221214296 1131555035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209917 28670 13073 16 0 209901 0
vsize: 839668
[startup+650.103 s]
Raw data (loadavg): 1.00 0.97 0.93 2/64 686
Raw data (stat): 674 (java) S 673 26298 26297 0 -1 0 18053 3 1 0 63030 48 0 0 25 0 11 0 544237719 859820032 28723 4294967295 134512640 134569956 3221224400 3221213400 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209917 28723 13073 16 0 209901 0
vsize: 839668
[startup+660.111 s]
Raw data (loadavg): 1.00 0.97 0.93 2/64 686
Raw data (stat): 674 (java) R 673 26298 26297 0 -1 0 18053 3 1 0 64006 48 0 0 24 0 11 0 544237719 859820032 28813 4294967295 134512640 134569956 3221224400 3221214752 1131348743 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209917 28813 13073 16 0 209901 0
vsize: 839668
[startup+670.111 s]
Raw data (loadavg): 1.00 0.97 0.93 2/64 686
Raw data (stat): 674 (java) R 673 26298 26297 0 -1 0 18053 3 1 0 64990 48 0 0 25 0 11 0 544237719 859820032 28844 4294967295 134512640 134569956 3221224400 3221214720 1131367734 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209917 28844 13073 16 0 209901 0
vsize: 839668
[startup+680.112 s]
Raw data (loadavg): 1.00 0.97 0.93 2/64 686
Raw data (stat): 674 (java) R 673 26298 26297 0 -1 0 18053 3 1 0 65965 48 0 0 25 0 11 0 544237719 859820032 28949 4294967295 134512640 134569956 3221224400 3221214608 1131548818 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209917 28949 13073 16 0 209901 0
vsize: 839668
[startup+690.113 s]
Raw data (loadavg): 1.00 0.97 0.93 2/64 686
Raw data (stat): 674 (java) R 673 26298 26297 0 -1 0 18053 3 1 0 66948 49 0 0 25 0 11 0 544237719 859820032 29011 4294967295 134512640 134569956 3221224400 3221214656 1131215977 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209917 29011 13073 16 0 209901 0
vsize: 839668
[startup+700.112 s]
Raw data (loadavg): 1.00 0.97 0.93 2/64 686
Raw data (stat): 674 (java) R 673 26298 26297 0 -1 0 18053 3 1 0 67913 49 0 0 25 0 11 0 544237719 859820032 29097 4294967295 134512640 134569956 3221224400 3221214228 1131554441 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209917 29097 13073 16 0 209901 0
vsize: 839668
[startup+710.121 s]
Raw data (loadavg): 1.00 0.97 0.93 2/64 686
Raw data (stat): 674 (java) R 673 26298 26297 0 -1 0 18053 3 1 0 68881 49 0 0 25 0 11 0 544237719 859820032 29249 4294967295 134512640 134569956 3221224400 3221214752 1131350695 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209917 29249 13073 16 0 209901 0
vsize: 839668
[startup+720.132 s]
Raw data (loadavg): 1.00 0.97 0.93 2/64 686
Raw data (stat): 674 (java) R 673 26298 26297 0 -1 0 18053 3 1 0 69850 49 0 0 25 0 11 0 544237719 859820032 29360 4294967295 134512640 134569956 3221224400 3221214272 1131548818 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209917 29360 13073 16 0 209901 0
vsize: 839668
[startup+730.132 s]
Raw data (loadavg): 1.00 0.97 0.93 2/64 686
Raw data (stat): 674 (java) R 673 26298 26297 0 -1 0 18053 3 1 0 70836 49 0 0 25 0 11 0 544237719 859820032 29400 4294967295 134512640 134569956 3221224400 3221214568 1131552489 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209917 29400 13073 16 0 209901 0
vsize: 839668
[startup+740.133 s]
Raw data (loadavg): 1.00 0.97 0.93 2/64 686
Raw data (stat): 674 (java) R 673 26298 26297 0 -1 0 18053 3 1 0 71815 49 0 0 25 0 11 0 544237719 859820032 29461 4294967295 134512640 134569956 3221224400 3221214576 1131554961 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209917 29461 13073 16 0 209901 0
vsize: 839668
[startup+750.133 s]
Raw data (loadavg): 1.00 0.97 0.93 2/64 686
Raw data (stat): 674 (java) R 673 26298 26297 0 -1 0 18053 3 1 0 72801 49 0 0 25 0 11 0 544237719 859820032 29513 4294967295 134512640 134569956 3221224400 3221214572 1131554955 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209917 29513 13073 16 0 209901 0
vsize: 839668
[startup+760.133 s]
Raw data (loadavg): 1.00 0.97 0.93 2/64 686
Raw data (stat): 674 (java) R 673 26298 26297 0 -1 0 18053 3 1 0 73788 49 0 0 25 0 11 0 544237719 859820032 29555 4294967295 134512640 134569956 3221224400 3221214552 1131548824 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209917 29555 13073 16 0 209901 0
vsize: 839668
[startup+770.134 s]
Raw data (loadavg): 1.00 0.97 0.93 2/64 686
Raw data (stat): 674 (java) R 673 26298 26297 0 -1 0 18053 3 1 0 74771 50 0 0 25 0 11 0 544237719 859820032 29612 4294967295 134512640 134569956 3221224400 3221214400 1131552297 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209917 29612 13073 16 0 209901 0
vsize: 839668
[startup+780.134 s]
Raw data (loadavg): 1.00 0.97 0.93 2/64 686
Raw data (stat): 674 (java) R 673 26298 26297 0 -1 0 18053 3 1 0 75759 50 0 0 25 0 11 0 544237719 859820032 29657 4294967295 134512640 134569956 3221224400 3221214544 1085679762 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209917 29657 13073 16 0 209901 0
vsize: 839668
[startup+790.135 s]
Raw data (loadavg): 1.00 0.97 0.93 2/64 686
Raw data (stat): 674 (java) R 673 26298 26297 0 -1 0 18053 3 1 0 76742 50 0 0 25 0 11 0 544237719 859820032 29760 4294967295 134512640 134569956 3221224400 3221214800 1131298497 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209917 29760 13073 16 0 209901 0
vsize: 839668
[startup+800.135 s]
Raw data (loadavg): 1.00 0.97 0.93 2/64 686
Raw data (stat): 674 (java) R 673 26298 26297 0 -1 0 18053 3 1 0 77726 51 0 0 25 0 11 0 544237719 859820032 29794 4294967295 134512640 134569956 3221224400 3221214656 1131215189 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209917 29794 13073 16 0 209901 0
vsize: 839668
[startup+810.135 s]
Raw data (loadavg): 1.00 0.97 0.93 2/64 686
Raw data (stat): 674 (java) R 673 26298 26297 0 -1 0 18053 3 1 0 78710 51 0 0 25 0 11 0 544237719 859820032 29869 4294967295 134512640 134569956 3221224400 3221214152 1085679318 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209917 29869 13073 16 0 209901 0
vsize: 839668
[startup+820.136 s]
Raw data (loadavg): 1.00 0.97 0.93 2/64 686
Raw data (stat): 674 (java) R 673 26298 26297 0 -1 0 18053 3 1 0 79695 51 0 0 25 0 11 0 544237719 859820032 29944 4294967295 134512640 134569956 3221224400 3221214680 1131552297 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209917 29944 13073 16 0 209901 0
vsize: 839668
[startup+830.137 s]
Raw data (loadavg): 1.00 0.97 0.93 2/64 686
Raw data (stat): 674 (java) R 673 26298 26297 0 -1 0 18053 3 1 0 80680 51 0 0 25 0 11 0 544237719 859820032 30015 4294967295 134512640 134569956 3221224400 3221214096 1131568494 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209917 30015 13073 16 0 209901 0
vsize: 839668
[startup+840.137 s]
Raw data (loadavg): 1.00 0.97 0.93 2/64 686
Raw data (stat): 674 (java) R 673 26298 26297 0 -1 0 18053 3 1 0 81663 51 0 0 25 0 11 0 544237719 859820032 30083 4294967295 134512640 134569956 3221224400 3221214656 1131214919 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209917 30083 13073 16 0 209901 0
vsize: 839668
[startup+850.138 s]
Raw data (loadavg): 1.00 0.97 0.93 2/64 686
Raw data (stat): 674 (java) R 673 26298 26297 0 -1 0 18053 3 1 0 82647 51 0 0 25 0 11 0 544237719 859820032 30124 4294967295 134512640 134569956 3221224400 3221214552 1131548836 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209917 30124 13073 16 0 209901 0
vsize: 839668
[startup+860.139 s]
Raw data (loadavg): 1.00 0.97 0.93 2/64 686
Raw data (stat): 674 (java) R 673 26298 26297 0 -1 0 18053 3 1 0 83629 52 0 0 25 0 11 0 544237719 859820032 30163 4294967295 134512640 134569956 3221224400 3221214208 1085679747 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209917 30163 13073 16 0 209901 0
vsize: 839668
[startup+870.14 s]
Raw data (loadavg): 1.00 0.97 0.93 2/64 686
Raw data (stat): 674 (java) R 673 26298 26297 0 -1 0 18053 3 1 0 84611 52 0 0 25 0 11 0 544237719 859820032 30221 4294967295 134512640 134569956 3221224400 3221214656 1131215428 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209917 30221 13073 16 0 209901 0
vsize: 839668
[startup+880.139 s]
Raw data (loadavg): 1.00 0.97 0.93 2/64 686
Raw data (stat): 674 (java) R 673 26298 26297 0 -1 0 18053 3 1 0 85592 52 0 0 25 0 11 0 544237719 859820032 30281 4294967295 134512640 134569956 3221224400 3221214040 1085679325 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209917 30281 13073 16 0 209901 0
vsize: 839668
[startup+890.14 s]
Raw data (loadavg): 1.00 0.97 0.93 2/64 686
Raw data (stat): 674 (java) R 673 26298 26297 0 -1 0 18053 3 1 0 86573 52 0 0 25 0 11 0 544237719 859820032 30350 4294967295 134512640 134569956 3221224400 3221214320 1085679762 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209917 30350 13073 16 0 209901 0
vsize: 839668
[startup+900.139 s]
Raw data (loadavg): 1.00 0.97 0.93 2/64 686
Raw data (stat): 674 (java) R 673 26298 26297 0 -1 0 18053 3 1 0 87554 52 0 0 25 0 11 0 544237719 859820032 30388 4294967295 134512640 134569956 3221224400 3221214228 1131554432 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209917 30388 13073 16 0 209901 0
vsize: 839668
[startup+910.141 s]
Raw data (loadavg): 1.00 0.97 0.93 2/64 686
Raw data (stat): 674 (java) R 673 26298 26297 0 -1 0 18053 3 1 0 88535 52 0 0 25 0 11 0 544237719 859820032 30450 4294967295 134512640 134569956 3221224400 3221214124 1085679260 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209917 30450 13073 16 0 209901 0
vsize: 839668
[startup+920.141 s]
Raw data (loadavg): 1.00 0.97 0.93 2/64 686
Raw data (stat): 674 (java) R 673 26298 26297 0 -1 0 18053 3 1 0 89516 53 0 0 25 0 11 0 544237719 859820032 30509 4294967295 134512640 134569956 3221224400 3221214184 1131554961 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209917 30509 13073 16 0 209901 0
vsize: 839668
[startup+930.141 s]
Raw data (loadavg): 1.00 0.97 0.93 2/64 686
Raw data (stat): 674 (java) R 673 26298 26297 0 -1 0 18053 3 1 0 90497 53 0 0 25 0 11 0 544237719 859820032 30569 4294967295 134512640 134569956 3221224400 3221214752 1131348459 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209917 30569 13073 16 0 209901 0
vsize: 839668
[startup+940.142 s]
Raw data (loadavg): 1.00 0.97 0.93 2/64 686
Raw data (stat): 674 (java) R 673 26298 26297 0 -1 0 18053 3 1 0 91485 54 0 0 25 0 11 0 544237719 859820032 30638 4294967295 134512640 134569956 3221224400 3221214752 1131352127 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209917 30638 13073 16 0 209901 0
vsize: 839668
[startup+950.142 s]
Raw data (loadavg): 1.00 0.97 0.93 2/64 686
Raw data (stat): 674 (java) R 673 26298 26297 0 -1 0 18053 3 1 0 92463 54 0 0 25 0 11 0 544237719 859820032 30760 4294967295 134512640 134569956 3221224400 3221214236 1131554904 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209917 30760 13073 16 0 209901 0
vsize: 839668
[startup+960.142 s]
Raw data (loadavg): 1.00 0.97 0.93 2/64 686
Raw data (stat): 674 (java) R 673 26298 26297 0 -1 0 18054 3 1 0 93446 54 0 0 25 0 11 0 544237719 859820032 30819 4294967295 134512640 134569956 3221224400 3221214572 1085632272 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209917 30819 13073 16 0 209901 0
vsize: 839668
[startup+970.142 s]
Raw data (loadavg): 1.00 0.97 0.93 2/64 686
Raw data (stat): 674 (java) R 673 26298 26297 0 -1 0 18054 3 1 0 94435 54 0 0 25 0 11 0 544237719 859820032 30908 4294967295 134512640 134569956 3221224400 3221214108 1077378174 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209917 30908 13073 16 0 209901 0
vsize: 839668
[startup+980.143 s]
Raw data (loadavg): 1.00 0.97 0.93 2/64 686
Raw data (stat): 674 (java) R 673 26298 26297 0 -1 0 18054 3 1 0 95415 54 0 0 25 0 11 0 544237719 859820032 31008 4294967295 134512640 134569956 3221224400 3221214376 1085679747 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209917 31008 13073 16 0 209901 0
vsize: 839668
[startup+990.143 s]
Raw data (loadavg): 1.00 0.97 0.93 2/64 686
Raw data (stat): 674 (java) R 673 26298 26297 0 -1 0 18054 3 1 0 96396 55 0 0 25 0 11 0 544237719 859820032 31115 4294967295 134512640 134569956 3221224400 3221214568 1131552234 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209917 31115 13073 16 0 209901 0
vsize: 839668
[startup+1000.14 s]
Raw data (loadavg): 1.00 0.97 0.93 2/64 686
Raw data (stat): 674 (java) R 673 26298 26297 0 -1 0 18054 3 1 0 97377 55 0 0 25 0 11 0 544237719 859820032 31206 4294967295 134512640 134569956 3221224400 3221214288 1131552444 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209917 31206 13073 16 0 209901 0
vsize: 839668
[startup+1010.14 s]
Raw data (loadavg): 1.00 0.97 0.93 2/64 686
Raw data (stat): 674 (java) R 673 26298 26297 0 -1 0 18054 3 1 0 98363 55 0 0 25 0 11 0 544237719 859820032 31275 4294967295 134512640 134569956 3221224400 3221214680 1131552297 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209917 31275 13073 16 0 209901 0
vsize: 839668
[startup+1020.14 s]
Raw data (loadavg): 1.07 0.99 0.93 2/64 686
Raw data (stat): 674 (java) R 673 26298 26297 0 -1 0 18054 3 1 0 99349 56 0 0 25 0 11 0 544237719 859820032 31326 4294967295 134512640 134569956 3221224400 3221214464 1131555018 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209917 31326 13073 16 0 209901 0
vsize: 839668
[startup+1030.14 s]
Raw data (loadavg): 1.06 0.99 0.93 2/64 686
Raw data (stat): 674 (java) R 673 26298 26297 0 -1 0 18054 3 1 0 100327 56 0 0 25 0 11 0 544237719 859820032 31397 4294967295 134512640 134569956 3221224400 3221214344 1131552489 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209917 31397 13073 16 0 209901 0
vsize: 839668
[startup+1040.14 s]
Raw data (loadavg): 1.05 0.99 0.93 2/64 686
Raw data (stat): 674 (java) R 673 26298 26297 0 -1 0 18054 3 1 0 101313 56 0 0 25 0 11 0 544237719 859820032 31459 4294967295 134512640 134569956 3221224400 3221214656 1131214983 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209917 31459 13073 16 0 209901 0
vsize: 839668
[startup+1050.14 s]
Raw data (loadavg): 1.04 0.99 0.93 2/64 686
Raw data (stat): 674 (java) R 673 26298 26297 0 -1 0 18054 3 1 0 102295 56 0 0 25 0 11 0 544237719 859820032 31548 4294967295 134512640 134569956 3221224400 3221214456 1131552458 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209917 31548 13073 16 0 209901 0
vsize: 839668
[startup+1060.14 s]
Raw data (loadavg): 1.03 0.99 0.93 2/64 686
Raw data (stat): 674 (java) R 673 26298 26297 0 -1 0 18054 3 1 0 103277 56 0 0 25 0 11 0 544237719 859820032 31622 4294967295 134512640 134569956 3221224400 3221214656 1131214693 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209917 31622 13073 16 0 209901 0
vsize: 839668
[startup+1070.15 s]
Raw data (loadavg): 1.03 0.99 0.93 2/64 686
Raw data (stat): 674 (java) R 673 26298 26297 0 -1 0 18054 3 1 0 104259 57 0 0 25 0 11 0 544237719 859820032 31678 4294967295 134512640 134569956 3221224400 3221213752 1131568784 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209917 31678 13073 16 0 209901 0
vsize: 839668
[startup+1080.15 s]
Raw data (loadavg): 1.02 0.99 0.93 2/64 686
Raw data (stat): 674 (java) R 673 26298 26297 0 -1 0 18054 3 1 0 105235 57 0 0 25 0 11 0 544237719 859820032 31759 4294967295 134512640 134569956 3221224400 3221214176 1131552458 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209917 31759 13073 16 0 209901 0
vsize: 839668
[startup+1090.15 s]
Raw data (loadavg): 1.02 0.99 0.93 2/64 686
Raw data (stat): 674 (java) R 673 26298 26297 0 -1 0 18054 3 1 0 106211 57 0 0 25 0 11 0 544237719 859820032 31834 4294967295 134512640 134569956 3221224400 3221214656 1131214657 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209917 31834 13073 16 0 209901 0
vsize: 839668
[startup+1100.15 s]
Raw data (loadavg): 1.02 0.99 0.93 2/64 686
Raw data (stat): 674 (java) R 673 26298 26297 0 -1 0 18054 3 1 0 107186 58 0 0 24 0 11 0 544237719 859820032 31915 4294967295 134512640 134569956 3221224400 3221214656 1131214693 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209917 31915 13073 16 0 209901 0
vsize: 839668
[startup+1110.16 s]
Raw data (loadavg): 1.01 0.99 0.93 2/64 686
Raw data (stat): 674 (java) R 673 26298 26297 0 -1 0 18054 3 1 0 108166 58 0 0 25 0 11 0 544237719 859820032 31981 4294967295 134512640 134569956 3221224400 3221214680 1131552458 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209917 31981 13073 16 0 209901 0
vsize: 839668
[startup+1120.16 s]
Raw data (loadavg): 1.01 0.99 0.93 2/64 686
Raw data (stat): 674 (java) R 673 26298 26297 0 -1 0 18054 3 1 0 109152 58 0 0 25 0 11 0 544237719 859820032 32023 4294967295 134512640 134569956 3221224400 3221214752 1131348735 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209917 32023 13073 16 0 209901 0
vsize: 839668
[startup+1130.16 s]
Raw data (loadavg): 1.01 0.99 0.93 2/64 686
Raw data (stat): 674 (java) R 673 26298 26297 0 -1 0 18054 3 1 0 110136 59 0 0 25 0 11 0 544237719 859820032 32057 4294967295 134512640 134569956 3221224400 3221214656 1131215238 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209917 32057 13073 16 0 209901 0
vsize: 839668
[startup+1140.16 s]
Raw data (loadavg): 1.01 0.99 0.93 2/64 686
Raw data (stat): 674 (java) R 673 26298 26297 0 -1 0 18054 3 1 0 111120 59 0 0 25 0 11 0 544237719 859820032 32126 4294967295 134512640 134569956 3221224400 3221214440 1131548609 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209917 32126 13073 16 0 209901 0
vsize: 839668
[startup+1150.16 s]
Raw data (loadavg): 1.00 0.99 0.93 2/64 686
Raw data (stat): 674 (java) R 673 26298 26297 0 -1 0 18054 3 1 0 112105 59 0 0 25 0 11 0 544237719 859820032 32185 4294967295 134512640 134569956 3221224400 3221214928 1131635868 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209917 32185 13073 16 0 209901 0
vsize: 839668
[startup+1160.16 s]
Raw data (loadavg): 1.00 0.99 0.93 2/64 686
Raw data (stat): 674 (java) R 673 26298 26297 0 -1 0 18054 3 1 0 113090 60 0 0 25 0 11 0 544237719 859820032 32239 4294967295 134512640 134569956 3221224400 3221214568 1131552489 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209917 32239 13073 16 0 209901 0
vsize: 839668
[startup+1170.16 s]
Raw data (loadavg): 1.00 0.99 0.93 2/64 686
Raw data (stat): 674 (java) R 673 26298 26297 0 -1 0 18054 3 1 0 114075 60 0 0 25 0 11 0 544237719 859820032 32296 4294967295 134512640 134569956 3221224400 3221214144 1085679261 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209917 32296 13073 16 0 209901 0
vsize: 839668
[startup+1180.16 s]
Raw data (loadavg): 1.00 0.99 0.93 2/64 686
Raw data (stat): 674 (java) R 673 26298 26297 0 -1 0 18054 3 1 0 115060 60 0 0 25 0 11 0 544237719 859820032 32356 4294967295 134512640 134569956 3221224400 3221214800 1131298410 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209917 32356 13073 16 0 209901 0
vsize: 839668
[startup+1190.17 s]
Raw data (loadavg): 1.00 0.99 0.93 2/64 686
Raw data (stat): 674 (java) R 673 26298 26297 0 -1 0 18054 3 1 0 116050 60 0 0 25 0 11 0 544237719 859820032 32402 4294967295 134512640 134569956 3221224400 3221213788 1085616771 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209917 32402 13073 16 0 209901 0
vsize: 839668
[startup+1200.17 s]
Raw data (loadavg): 1.00 0.99 0.93 2/64 686
Raw data (stat): 674 (java) R 673 26298 26297 0 -1 0 18054 3 1 0 117041 60 0 0 25 0 11 0 544237719 859820032 32447 4294967295 134512640 134569956 3221224400 3221214656 1131215189 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209917 32447 13073 16 0 209901 0
vsize: 839668
[startup+1210.17 s]
Raw data (loadavg): 1.00 0.99 0.93 2/64 686
Raw data (stat): 674 (java) R 673 26298 26297 0 -1 0 18054 3 1 0 118027 61 0 0 25 0 11 0 544237719 859820032 32493 4294967295 134512640 134569956 3221224400 3221214432 1085679762 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209917 32493 13073 16 0 209901 0
vsize: 839668
[startup+1220.17 s]
Raw data (loadavg): 1.00 0.99 0.93 2/64 686
Raw data (stat): 674 (java) R 673 26298 26297 0 -1 0 18054 3 1 0 119013 61 0 0 25 0 11 0 544237719 859820032 32570 4294967295 134512640 134569956 3221224400 3221214752 1131350623 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209917 32570 13073 16 0 209901 0
vsize: 839668
[startup+1230.17 s]
Raw data (loadavg): 1.00 0.99 0.93 2/64 686
Raw data (stat): 674 (java) R 673 26298 26297 0 -1 0 18054 3 1 0 119996 62 0 0 25 0 11 0 544237719 859820032 32651 4294967295 134512640 134569956 3221224400 3221214680 1131552297 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209917 32651 13073 16 0 209901 0
vsize: 839668
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1230.26 s]
Raw data (loadavg): 1.00 0.99 0.93 1/54 688
Raw data (stat): 674 (java) Z 673 26298 26297 0 -1 1036 18054 19730 1 0 120000 68 4009 52 25 0 1 0 544237719 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): 1230.26
CPU time (s): 1241.3
CPU user time (s): 1240.1
CPU system time (s): 1.20482
CPU usage (%): 100.897
Max. virtual memory (Kb): 840692
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####