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/milp/normalized-mps-v2-20-10-neos2.opb
MD5SUM46211574d7cd8b850e6ed8c2f0a475a4
Bench Categoryoptimization, big integers (OPTBIGINT)
Has Objective FunctionYES
SatisfiableNO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function 124
Biggest coefficient in the objective function 1073741824
Number of bits for the biggest coefficient in the objective function 31
Sum of the numbers in the objective function 8589934588
Number of bits of the sum of numbers in the objective function 33
Biggest number in a constraint 2454208150643933184000
Number of bits of the biggest number in a constraint 72
Biggest sum of numbers in a constraint 289272765430218954375168
Number of bits of the biggest sum of numbers78
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark0.305953
Number of variables32294
Total number of constraints2173
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)1053
Number of constraints which are nor clauses,nor cardinality constraints1120
Minimum length of a constraint1
Maximum length of a constraint4780

Trace number 13625

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.169
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        807720 kB
Buffers:         33424 kB
Cached:         160376 kB
SwapCached:        136 kB
Active:          79072 kB
Inactive:       117172 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        807468 kB
SwapTotal:     2097892 kB
SwapFree:      2097324 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6220 kB
Slab:            24948 kB
Committed_AS:    63488 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-20 21:25:15 (client local time) WITH STATUS 143 IN 1248.45 SECONDS
stats: 14673 7 1248.45 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc27/normalized-mps-v2-20-10-neos2.opb
c reading problem 
c [nbvar=32294]
c [nbconstr=2173]
c time 302.405
c #vars     32294
c #clauses  1177
c starts	: 0
c conflicts	: 0
c decisions	: 0
c propagations	: 0
c inspects	: 0
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 0
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.91 0.95 0.88 2/54 4597
Raw data (stat): 4597 (runsolver) R 4596 18865 18864 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 539533205 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.0006 s]
Raw data (loadavg): 1.00 0.97 0.89 2/63 4606
Raw data (stat): 4597 (java) R 4596 18865 18864 0 -1 0 18010 0 1 0 875 41 0 0 24 0 10 0 539533205 858013696 20097 4294967295 134512640 134569956 3221224400 3221214416 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209476 20097 13073 16 0 209460 0
vsize: 837904
[startup+20.0015 s]
Raw data (loadavg): 1.00 0.97 0.89 2/63 4606
Raw data (stat): 4597 (java) R 4596 18865 18864 0 -1 0 18010 0 1 0 1779 41 0 0 24 0 10 0 539533205 856047616 20175 4294967295 134512640 134569956 3221224400 3221214720 1131196237 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208996 20175 13073 16 0 208980 0
vsize: 835984
[startup+30.0019 s]
Raw data (loadavg): 1.00 0.97 0.89 2/63 4606
Raw data (stat): 4597 (java) R 4596 18865 18864 0 -1 0 18010 0 1 0 2669 42 0 0 25 0 10 0 539533205 857096192 20725 4294967295 134512640 134569956 3221224400 3221214488 1076461336 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209252 20725 13073 16 0 209236 0
vsize: 837008
[startup+40.0021 s]
Raw data (loadavg): 1.00 0.97 0.89 2/63 4606
Raw data (stat): 4597 (java) R 4596 18865 18864 0 -1 0 18010 0 1 0 3587 42 0 0 25 0 10 0 539533205 856047616 20865 4294967295 134512640 134569956 3221224400 3221214760 1131214209 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208996 20865 13073 16 0 208980 0
vsize: 835984
[startup+50.0029 s]
Raw data (loadavg): 1.00 0.97 0.89 2/63 4606
Raw data (stat): 4597 (java) R 4596 18865 18864 0 -1 0 18011 0 1 0 4506 43 0 0 25 0 10 0 539533205 857096192 21251 4294967295 134512640 134569956 3221224400 3221214288 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209252 21251 13073 16 0 209236 0
vsize: 837008
[startup+60.0037 s]
Raw data (loadavg): 1.00 0.97 0.90 2/63 4606
Raw data (stat): 4597 (java) R 4596 18865 18864 0 -1 0 18011 0 1 0 5415 43 0 0 25 0 10 0 539533205 857096192 21384 4294967295 134512640 134569956 3221224400 3221214288 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209252 21384 13073 16 0 209236 0
vsize: 837008
[startup+70.0045 s]
Raw data (loadavg): 1.00 0.97 0.90 2/63 4606
Raw data (stat): 4597 (java) R 4596 18865 18864 0 -1 0 18011 0 1 0 6330 44 0 0 25 0 10 0 539533205 857096192 21448 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209252 21448 13073 16 0 209236 0
vsize: 837008
[startup+80.0053 s]
Raw data (loadavg): 1.00 0.97 0.90 2/63 4606
Raw data (stat): 4597 (java) R 4596 18865 18864 0 -1 0 18011 0 1 0 7248 44 0 0 25 0 10 0 539533205 857096192 21639 4294967295 134512640 134569956 3221224400 3221214304 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209252 21639 13073 16 0 209236 0
vsize: 837008
[startup+90.0048 s]
Raw data (loadavg): 1.00 0.97 0.90 3/65 4608
Raw data (stat): 4597 (java) R 4596 18865 18864 0 -1 0 18011 0 1 0 8182 45 0 0 25 0 10 0 539533205 857096192 21713 4294967295 134512640 134569956 3221224400 3221214304 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209252 21713 13073 16 0 209236 0
vsize: 837008
[startup+100.006 s]
Raw data (loadavg): 1.00 0.97 0.90 2/63 4608
Raw data (stat): 4597 (java) R 4596 18865 18864 0 -1 0 18011 0 1 0 9118 45 0 0 25 0 10 0 539533205 857096192 21853 4294967295 134512640 134569956 3221224400 3221214288 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209252 21853 13073 16 0 209236 0
vsize: 837008
[startup+110.007 s]
Raw data (loadavg): 1.00 0.97 0.90 2/63 4608
Raw data (stat): 4597 (java) R 4596 18865 18864 0 -1 0 18011 0 1 0 10046 46 0 0 25 0 10 0 539533205 857096192 21917 4294967295 134512640 134569956 3221224400 3221214828 1080203551 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209252 21917 13073 16 0 209236 0
vsize: 837008
[startup+120.008 s]
Raw data (loadavg): 1.00 0.97 0.90 2/63 4608
Raw data (stat): 4597 (java) R 4596 18865 18864 0 -1 0 18011 0 1 0 10976 46 0 0 23 0 10 0 539533205 857096192 22093 4294967295 134512640 134569956 3221224400 3221214288 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209252 22093 13073 16 0 209236 0
vsize: 837008
[startup+130.008 s]
Raw data (loadavg): 1.00 0.97 0.90 2/63 4608
Raw data (stat): 4597 (java) R 4596 18865 18864 0 -1 0 18011 0 1 0 11925 46 0 0 25 0 10 0 539533205 857096192 22150 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209252 22150 13073 16 0 209236 0
vsize: 837008
[startup+140.008 s]
Raw data (loadavg): 1.00 0.97 0.90 2/63 4608
Raw data (stat): 4597 (java) R 4596 18865 18864 0 -1 0 18011 0 1 0 12871 47 0 0 25 0 10 0 539533205 857096192 22208 4294967295 134512640 134569956 3221224400 3221214288 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209252 22208 13073 16 0 209236 0
vsize: 837008
[startup+150.009 s]
Raw data (loadavg): 1.00 0.97 0.90 2/63 4608
Raw data (stat): 4597 (java) R 4596 18865 18864 0 -1 0 18011 0 1 0 13820 47 0 0 25 0 10 0 539533205 857096192 22260 4294967295 134512640 134569956 3221224400 3221214288 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209252 22260 13073 16 0 209236 0
vsize: 837008
[startup+160.015 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 4608
Raw data (stat): 4597 (java) R 4596 18865 18864 0 -1 0 18011 0 1 0 14734 47 0 0 25 0 10 0 539533205 857096192 22311 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209252 22311 13073 16 0 209236 0
vsize: 837008
[startup+170.023 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 4608
Raw data (stat): 4597 (java) R 4596 18865 18864 0 -1 0 18011 0 1 0 15645 48 0 0 24 0 10 0 539533205 857096192 22360 4294967295 134512640 134569956 3221224400 3221214304 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209252 22360 13073 16 0 209236 0
vsize: 837008
[startup+180.038 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 4608
Raw data (stat): 4597 (java) R 4596 18865 18864 0 -1 0 18011 0 1 0 16579 48 0 0 24 0 10 0 539533205 857096192 22605 4294967295 134512640 134569956 3221224400 3221214304 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209252 22605 13073 16 0 209236 0
vsize: 837008
[startup+190.038 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 4608
Raw data (stat): 4597 (java) R 4596 18865 18864 0 -1 0 18011 0 1 0 17509 48 0 0 24 0 10 0 539533205 857096192 22650 4294967295 134512640 134569956 3221224400 3221214304 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209252 22650 13073 16 0 209236 0
vsize: 837008
[startup+200.039 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 4608
Raw data (stat): 4597 (java) R 4596 18865 18864 0 -1 0 18011 0 1 0 18446 49 0 0 25 0 10 0 539533205 857096192 22854 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209252 22854 13073 16 0 209236 0
vsize: 837008
[startup+210.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 4608
Raw data (stat): 4597 (java) R 4596 18865 18864 0 -1 0 18011 0 1 0 19392 49 0 0 25 0 10 0 539533205 857096192 22896 4294967295 134512640 134569956 3221224400 3221214288 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209252 22896 13073 16 0 209236 0
vsize: 837008
[startup+220.043 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 4608
Raw data (stat): 4597 (java) R 4596 18865 18864 0 -1 0 18011 0 1 0 20321 49 0 0 25 0 10 0 539533205 857096192 22938 4294967295 134512640 134569956 3221224400 3221214828 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209252 22938 13073 16 0 209236 0
vsize: 837008
[startup+230.047 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 4608
Raw data (stat): 4597 (java) R 4596 18865 18864 0 -1 0 18011 0 1 0 21225 50 0 0 25 0 10 0 539533205 857096192 22979 4294967295 134512640 134569956 3221224400 3221214304 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209252 22979 13073 16 0 209236 0
vsize: 837008
[startup+240.047 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 4608
Raw data (stat): 4597 (java) R 4596 18865 18864 0 -1 0 18011 0 1 0 22145 50 0 0 25 0 10 0 539533205 857096192 23223 4294967295 134512640 134569956 3221224400 3221214304 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209252 23223 13073 16 0 209236 0
vsize: 837008
[startup+250.048 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 4608
Raw data (stat): 4597 (java) R 4596 18865 18864 0 -1 0 18011 0 1 0 23085 50 0 0 24 0 10 0 539533205 857096192 23264 4294967295 134512640 134569956 3221224400 3221214288 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209252 23264 13073 16 0 209236 0
vsize: 837008
[startup+260.048 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 4608
Raw data (stat): 4597 (java) R 4596 18865 18864 0 -1 0 18011 0 1 0 24028 51 0 0 25 0 10 0 539533205 857096192 23301 4294967295 134512640 134569956 3221224400 3221214304 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209252 23301 13073 16 0 209236 0
vsize: 837008
[startup+270.05 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 4608
Raw data (stat): 4597 (java) R 4596 18865 18864 0 -1 0 18011 0 1 0 24970 51 0 0 25 0 10 0 539533205 857096192 23338 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209252 23338 13073 16 0 209236 0
vsize: 837008
[startup+280.051 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 4608
Raw data (stat): 4597 (java) R 4596 18865 18864 0 -1 0 18011 0 1 0 25913 51 0 0 25 0 10 0 539533205 857096192 23374 4294967295 134512640 134569956 3221224400 3221214364 1079300785 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209252 23374 13073 16 0 209236 0
vsize: 837008
[startup+290.051 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 4608
Raw data (stat): 4597 (java) R 4596 18865 18864 0 -1 0 18011 0 1 0 26854 52 0 0 25 0 10 0 539533205 857096192 23409 4294967295 134512640 134569956 3221224400 3221214304 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209252 23409 13073 16 0 209236 0
vsize: 837008
[startup+300.052 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 4608
Raw data (stat): 4597 (java) R 4596 18865 18864 0 -1 0 18011 0 1 0 27771 53 0 0 25 0 10 0 539533205 857096192 24741 4294967295 134512640 134569956 3221224400 3221214304 1080019600 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209252 24741 13073 16 0 209236 0
vsize: 837008
[startup+310.052 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 4608
Raw data (stat): 4597 (java) R 4596 18865 18864 0 -1 0 18039 0 1 0 28688 54 0 0 25 0 10 0 539533205 857096192 27806 4294967295 134512640 134569956 3221224400 3221214656 1131268230 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209252 27806 13073 16 0 209236 0
vsize: 837008
[startup+320.052 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 4609
Raw data (stat): 4597 (java) R 4596 18865 18864 0 -1 0 18049 0 1 0 29682 54 0 0 25 0 11 0 539533205 857624576 27844 4294967295 134512640 134569956 3221224400 3221214792 1131343889 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209381 27844 13073 16 0 209365 0
vsize: 837524
[startup+330.053 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 4609
Raw data (stat): 4597 (java) R 4596 18865 18864 0 -1 0 18049 0 1 0 30677 54 0 0 25 0 11 0 539533205 857624576 27844 4294967295 134512640 134569956 3221224400 3221214696 1131312385 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209381 27844 13073 16 0 209365 0
vsize: 837524
[startup+340.053 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 4609
Raw data (stat): 4597 (java) R 4596 18865 18864 0 -1 0 18049 0 1 0 31672 54 0 0 25 0 11 0 539533205 857624576 27844 4294967295 134512640 134569956 3221224400 3221214696 1131312036 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209381 27844 13073 16 0 209365 0
vsize: 837524
[startup+350.054 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 4609
Raw data (stat): 4597 (java) R 4596 18865 18864 0 -1 0 18049 0 1 0 32668 54 0 0 25 0 11 0 539533205 857624576 27847 4294967295 134512640 134569956 3221224400 3221214792 1131346329 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209381 27847 13073 16 0 209365 0
vsize: 837524
[startup+360.055 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 4609
Raw data (stat): 4597 (java) R 4596 18865 18864 0 -1 0 18086 0 3 0 33547 55 0 0 25 0 11 0 539533205 859721728 28470 4294967295 134512640 134569956 3221224400 3221214696 1131312820 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209893 28470 13073 16 0 209877 0
vsize: 839572
[startup+370.056 s]
Raw data (loadavg): 1.07 0.99 0.91 2/64 4609
Raw data (stat): 4597 (java) R 4596 18865 18864 0 -1 0 18086 0 3 0 34534 55 0 0 25 0 11 0 539533205 860770304 28828 4294967295 134512640 134569956 3221224400 3221214664 1131578907 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210149 28828 13073 16 0 210133 0
vsize: 840596
[startup+380.056 s]
Raw data (loadavg): 1.06 0.99 0.91 2/64 4609
Raw data (stat): 4597 (java) R 4596 18865 18864 0 -1 0 18087 0 3 0 35524 55 0 0 25 0 11 0 539533205 860770304 28822 4294967295 134512640 134569956 3221224400 3221214680 1131500348 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210149 28822 13073 16 0 210133 0
vsize: 840596
[startup+390.057 s]
Raw data (loadavg): 1.05 0.99 0.91 2/64 4609
Raw data (stat): 4597 (java) R 4596 18865 18864 0 -1 0 18087 0 3 0 36514 55 0 0 25 0 11 0 539533205 859721728 28536 4294967295 134512640 134569956 3221224400 3221214680 1131500339 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209893 28536 13073 16 0 209877 0
vsize: 839572
[startup+400.058 s]
Raw data (loadavg): 1.04 0.99 0.91 2/64 4609
Raw data (stat): 4597 (java) R 4596 18865 18864 0 -1 0 18087 0 3 0 37505 55 0 0 25 0 11 0 539533205 859721728 28538 4294967295 134512640 134569956 3221224400 3221214480 1131269961 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209893 28538 13073 16 0 209877 0
vsize: 839572
[startup+410.059 s]
Raw data (loadavg): 1.03 0.99 0.91 2/64 4609
Raw data (stat): 4597 (java) R 4596 18865 18864 0 -1 0 18088 0 3 0 38494 55 0 0 25 0 11 0 539533205 859721728 28544 4294967295 134512640 134569956 3221224400 3221214696 1131312498 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209893 28544 13073 16 0 209877 0
vsize: 839572
[startup+420.06 s]
Raw data (loadavg): 1.03 0.99 0.91 2/64 4609
Raw data (stat): 4597 (java) R 4596 18865 18864 0 -1 0 18088 0 3 0 39484 56 0 0 25 0 11 0 539533205 859721728 28607 4294967295 134512640 134569956 3221224400 3221214696 1131312052 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209893 28607 13073 16 0 209877 0
vsize: 839572
[startup+430.061 s]
Raw data (loadavg): 1.02 0.99 0.91 2/64 4609
Raw data (stat): 4597 (java) R 4596 18865 18864 0 -1 0 18088 0 3 0 40472 56 0 0 25 0 11 0 539533205 859721728 28607 4294967295 134512640 134569956 3221224400 3221214696 1131312808 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209893 28607 13073 16 0 209877 0
vsize: 839572
[startup+440.06 s]
Raw data (loadavg): 1.02 0.99 0.91 2/64 4609
Raw data (stat): 4597 (java) R 4596 18865 18864 0 -1 0 18088 0 3 0 41455 57 0 0 25 0 11 0 539533205 859721728 28627 4294967295 134512640 134569956 3221224400 3221214744 1131413562 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209893 28627 13073 16 0 209877 0
vsize: 839572
[startup+450.06 s]
Raw data (loadavg): 1.02 0.99 0.91 2/64 4609
Raw data (stat): 4597 (java) R 4596 18865 18864 0 -1 0 18088 0 3 0 42433 57 0 0 25 0 11 0 539533205 859721728 28645 4294967295 134512640 134569956 3221224400 3221214608 1131267801 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209893 28645 13073 16 0 209877 0
vsize: 839572
[startup+460.067 s]
Raw data (loadavg): 1.01 0.99 0.91 2/64 4609
Raw data (stat): 4597 (java) R 4596 18865 18864 0 -1 0 18088 0 3 0 43410 57 0 0 25 0 11 0 539533205 859721728 28673 4294967295 134512640 134569956 3221224400 3221214696 1131312470 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209893 28673 13073 16 0 209877 0
vsize: 839572
[startup+470.068 s]
Raw data (loadavg): 1.01 0.99 0.91 2/64 4609
Raw data (stat): 4597 (java) R 4596 18865 18864 0 -1 0 18088 0 3 0 44389 58 0 0 24 0 11 0 539533205 859721728 28749 4294967295 134512640 134569956 3221224400 3221214792 1131344056 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209893 28749 13073 16 0 209877 0
vsize: 839572
[startup+480.068 s]
Raw data (loadavg): 1.01 0.99 0.91 2/64 4609
Raw data (stat): 4597 (java) R 4596 18865 18864 0 -1 0 18088 0 3 0 45368 59 0 0 25 0 11 0 539533205 859721728 28774 4294967295 134512640 134569956 3221224400 3221214696 1131312339 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209893 28774 13073 16 0 209877 0
vsize: 839572
[startup+490.069 s]
Raw data (loadavg): 1.01 0.99 0.91 2/64 4609
Raw data (stat): 4597 (java) R 4596 18865 18864 0 -1 0 18088 0 3 0 46345 59 0 0 25 0 11 0 539533205 859721728 28814 4294967295 134512640 134569956 3221224400 3221214696 1131312052 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209893 28814 13073 16 0 209877 0
vsize: 839572
[startup+500.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 4609
Raw data (stat): 4597 (java) R 4596 18865 18864 0 -1 0 18088 0 3 0 47320 60 0 0 25 0 11 0 539533205 859721728 28868 4294967295 134512640 134569956 3221224400 3221214696 1131312020 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209893 28868 13073 16 0 209877 0
vsize: 839572
[startup+510.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 4609
Raw data (stat): 4597 (java) R 4596 18865 18864 0 -1 0 18088 0 3 0 48299 60 0 0 25 0 11 0 539533205 859721728 28929 4294967295 134512640 134569956 3221224400 3221214792 1131344025 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209893 28929 13073 16 0 209877 0
vsize: 839572
[startup+520.071 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 4609
Raw data (stat): 4597 (java) R 4596 18865 18864 0 -1 0 18088 0 3 0 49280 60 0 0 25 0 11 0 539533205 859721728 28988 4294967295 134512640 134569956 3221224400 3221214792 1131344895 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209893 28988 13073 16 0 209877 0
vsize: 839572
[startup+530.072 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 4609
Raw data (stat): 4597 (java) R 4596 18865 18864 0 -1 0 18088 0 3 0 50262 61 0 0 25 0 11 0 539533205 859721728 29018 4294967295 134512640 134569956 3221224400 3221214744 1131413358 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209893 29018 13073 16 0 209877 0
vsize: 839572
[startup+540.072 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 4609
Raw data (stat): 4597 (java) R 4596 18865 18864 0 -1 0 18088 0 3 0 51243 61 0 0 25 0 11 0 539533205 859721728 29093 4294967295 134512640 134569956 3221224400 3221214696 1131311973 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209893 29093 13073 16 0 209877 0
vsize: 839572
[startup+550.073 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 4609
Raw data (stat): 4597 (java) R 4596 18865 18864 0 -1 0 18088 0 3 0 52225 62 0 0 25 0 11 0 539533205 859721728 29119 4294967295 134512640 134569956 3221224400 3221214792 1131345981 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209893 29119 13073 16 0 209877 0
vsize: 839572
[startup+560.074 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 4609
Raw data (stat): 4597 (java) S 4596 18865 18864 0 -1 0 18088 0 3 0 53205 63 0 0 25 0 11 0 539533205 859721728 29176 4294967295 134512640 134569956 3221224400 3221213440 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209893 29176 13073 16 0 209877 0
vsize: 839572
[startup+570.074 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 4609
Raw data (stat): 4597 (java) R 4596 18865 18864 0 -1 0 18088 0 3 0 54176 63 0 0 25 0 11 0 539533205 859721728 29202 4294967295 134512640 134569956 3221224400 3221214696 1131312808 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209893 29202 13073 16 0 209877 0
vsize: 839572
[startup+580.075 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 4609
Raw data (stat): 4597 (java) R 4596 18865 18864 0 -1 0 18088 0 3 0 55150 63 0 0 25 0 11 0 539533205 859721728 29227 4294967295 134512640 134569956 3221224400 3221214792 1131346568 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209893 29227 13073 16 0 209877 0
vsize: 839572
[startup+590.075 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 4609
Raw data (stat): 4597 (java) R 4596 18865 18864 0 -1 0 18088 0 3 0 56125 63 0 0 25 0 11 0 539533205 859721728 29343 4294967295 134512640 134569956 3221224400 3221214608 1131267792 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209893 29343 13073 16 0 209877 0
vsize: 839572
[startup+600.076 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 4609
Raw data (stat): 4597 (java) R 4596 18865 18864 0 -1 0 18088 0 3 0 57106 63 0 0 25 0 11 0 539533205 859721728 29382 4294967295 134512640 134569956 3221224400 3221214744 1131413334 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209893 29382 13073 16 0 209877 0
vsize: 839572
[startup+610.076 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 4609
Raw data (stat): 4597 (java) R 4596 18865 18864 0 -1 0 18088 0 3 0 58084 64 0 0 25 0 11 0 539533205 859721728 29442 4294967295 134512640 134569956 3221224400 3221214696 1131312052 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209893 29442 13073 16 0 209877 0
vsize: 839572
[startup+620.077 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 4609
Raw data (stat): 4597 (java) R 4596 18865 18864 0 -1 0 18088 0 3 0 59064 64 0 0 25 0 11 0 539533205 859721728 29469 4294967295 134512640 134569956 3221224400 3221214696 1131312430 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209893 29469 13073 16 0 209877 0
vsize: 839572
[startup+630.077 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 4609
Raw data (stat): 4597 (java) R 4596 18865 18864 0 -1 0 18088 0 3 0 60046 64 0 0 25 0 11 0 539533205 859721728 29512 4294967295 134512640 134569956 3221224400 3221214696 1131312324 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209893 29512 13073 16 0 209877 0
vsize: 839572
[startup+640.078 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 4609
Raw data (stat): 4597 (java) R 4596 18865 18864 0 -1 0 18088 0 3 0 61025 64 0 0 25 0 11 0 539533205 859721728 29593 4294967295 134512640 134569956 3221224400 3221214792 1131345992 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209893 29593 13073 16 0 209877 0
vsize: 839572
[startup+650.078 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 4609
Raw data (stat): 4597 (java) R 4596 18865 18864 0 -1 0 18088 0 3 0 62006 64 0 0 25 0 11 0 539533205 859721728 29631 4294967295 134512640 134569956 3221224400 3221214800 1131463500 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209893 29631 13073 16 0 209877 0
vsize: 839572
[startup+660.078 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 4609
Raw data (stat): 4597 (java) R 4596 18865 18864 0 -1 0 18088 0 3 0 62988 65 0 0 25 0 11 0 539533205 859721728 29682 4294967295 134512640 134569956 3221224400 3221214608 1131268860 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209893 29682 13073 16 0 209877 0
vsize: 839572
[startup+670.079 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 4609
Raw data (stat): 4597 (java) R 4596 18865 18864 0 -1 0 18088 0 3 0 63968 65 0 0 25 0 11 0 539533205 859721728 29707 4294967295 134512640 134569956 3221224400 3221214792 1131345151 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209893 29707 13073 16 0 209877 0
vsize: 839572
[startup+680.079 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 4609
Raw data (stat): 4597 (java) R 4596 18865 18864 0 -1 0 18088 0 3 0 64950 65 0 0 25 0 11 0 539533205 859721728 29758 4294967295 134512640 134569956 3221224400 3221214696 1131312537 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209893 29758 13073 16 0 209877 0
vsize: 839572
[startup+690.079 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 4609
Raw data (stat): 4597 (java) R 4596 18865 18864 0 -1 0 18088 0 3 0 65932 66 0 0 25 0 11 0 539533205 859721728 29784 4294967295 134512640 134569956 3221224400 3221214792 1131345040 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209893 29784 13073 16 0 209877 0
vsize: 839572
[startup+700.091 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 4609
Raw data (stat): 4597 (java) R 4596 18865 18864 0 -1 0 18088 0 3 0 66912 66 0 0 24 0 11 0 539533205 859721728 29827 4294967295 134512640 134569956 3221224400 3221214792 1131345000 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209893 29827 13073 16 0 209877 0
vsize: 839572
[startup+710.091 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 4609
Raw data (stat): 4597 (java) R 4596 18865 18864 0 -1 0 18088 0 3 0 67895 66 0 0 24 0 11 0 539533205 859721728 29862 4294967295 134512640 134569956 3221224400 3221214696 1131312389 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209893 29862 13073 16 0 209877 0
vsize: 839572
[startup+720.092 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 4609
Raw data (stat): 4597 (java) R 4596 18865 18864 0 -1 0 18088 0 3 0 68877 67 0 0 25 0 11 0 539533205 859721728 29887 4294967295 134512640 134569956 3221224400 3221214792 1131343727 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209893 29887 13073 16 0 209877 0
vsize: 839572
[startup+730.091 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 4609
Raw data (stat): 4597 (java) R 4596 18865 18864 0 -1 0 18088 0 3 0 69857 67 0 0 25 0 11 0 539533205 859721728 29939 4294967295 134512640 134569956 3221224400 3221214472 1131269727 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209893 29939 13073 16 0 209877 0
vsize: 839572
[startup+740.091 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 4609
Raw data (stat): 4597 (java) R 4596 18865 18864 0 -1 0 18088 0 3 0 70826 68 0 0 25 0 11 0 539533205 859721728 29965 4294967295 134512640 134569956 3221224400 3221214696 1131312416 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209893 29965 13073 16 0 209877 0
vsize: 839572
[startup+750.092 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 4609
Raw data (stat): 4597 (java) R 4596 18865 18864 0 -1 0 18088 0 3 0 71791 68 0 0 25 0 11 0 539533205 859721728 29990 4294967295 134512640 134569956 3221224400 3221214696 1131311965 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209893 29990 13073 16 0 209877 0
vsize: 839572
[startup+760.092 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 4609
Raw data (stat): 4597 (java) R 4596 18865 18864 0 -1 0 18088 0 3 0 72756 68 0 0 25 0 11 0 539533205 859721728 30164 4294967295 134512640 134569956 3221224400 3221214744 1131413569 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209893 30164 13073 16 0 209877 0
vsize: 839572
[startup+770.094 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 4609
Raw data (stat): 4597 (java) R 4596 18865 18864 0 -1 0 18088 0 3 0 73732 69 0 0 24 0 11 0 539533205 859721728 30216 4294967295 134512640 134569956 3221224400 3221214696 1131312763 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209893 30216 13073 16 0 209877 0
vsize: 839572
[startup+780.093 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 4609
Raw data (stat): 4597 (java) R 4596 18865 18864 0 -1 0 18088 0 3 0 74710 69 0 0 25 0 11 0 539533205 859721728 30241 4294967295 134512640 134569956 3221224400 3221214696 1131312341 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209893 30241 13073 16 0 209877 0
vsize: 839572
[startup+790.093 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 4609
Raw data (stat): 4597 (java) R 4596 18865 18864 0 -1 0 18088 0 3 0 75691 70 0 0 25 0 11 0 539533205 859721728 30309 4294967295 134512640 134569956 3221224400 3221214848 1131424239 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209893 30309 13073 16 0 209877 0
vsize: 839572
[startup+800.094 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 4609
Raw data (stat): 4597 (java) R 4596 18865 18864 0 -1 0 18088 0 3 0 76669 70 0 0 25 0 11 0 539533205 859721728 30335 4294967295 134512640 134569956 3221224400 3221214792 1131345853 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209893 30335 13073 16 0 209877 0
vsize: 839572
[startup+810.094 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 4609
Raw data (stat): 4597 (java) R 4596 18865 18864 0 -1 0 18088 0 3 0 77646 71 0 0 25 0 11 0 539533205 859721728 30361 4294967295 134512640 134569956 3221224400 3221214792 1131345048 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209893 30361 13073 16 0 209877 0
vsize: 839572
[startup+820.095 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 4609
Raw data (stat): 4597 (java) R 4596 18865 18864 0 -1 0 18088 0 3 0 78625 72 0 0 25 0 11 0 539533205 859721728 30413 4294967295 134512640 134569956 3221224400 3221214800 1131463556 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209893 30413 13073 16 0 209877 0
vsize: 839572
[startup+830.096 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 4609
Raw data (stat): 4597 (java) R 4596 18865 18864 0 -1 0 18088 0 3 0 79600 72 0 0 25 0 11 0 539533205 859721728 30439 4294967295 134512640 134569956 3221224400 3221214696 1131312385 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209893 30439 13073 16 0 209877 0
vsize: 839572
[startup+840.1 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 4609
Raw data (stat): 4597 (java) R 4596 18865 18864 0 -1 0 18088 0 3 0 80577 72 0 0 25 0 11 0 539533205 859721728 30464 4294967295 134512640 134569956 3221224400 3221214788 1131311948 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209893 30464 13073 16 0 209877 0
vsize: 839572
[startup+850.102 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 4609
Raw data (stat): 4597 (java) R 4596 18865 18864 0 -1 0 18088 0 3 0 81555 73 0 0 25 0 11 0 539533205 859721728 30635 4294967295 134512640 134569956 3221224400 3221214840 1131616172 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209893 30635 13073 16 0 209877 0
vsize: 839572
[startup+860.102 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 4609
Raw data (stat): 4597 (java) R 4596 18865 18864 0 -1 0 18088 0 3 0 82534 73 0 0 25 0 11 0 539533205 859721728 30661 4294967295 134512640 134569956 3221224400 3221214792 1131345040 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209893 30661 13073 16 0 209877 0
vsize: 839572
[startup+870.103 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 4609
Raw data (stat): 4597 (java) R 4596 18865 18864 0 -1 0 18088 0 3 0 83513 73 0 0 25 0 11 0 539533205 859721728 30688 4294967295 134512640 134569956 3221224400 3221214696 1131312382 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209893 30688 13073 16 0 209877 0
vsize: 839572
[startup+880.103 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 4609
Raw data (stat): 4597 (java) R 4596 18865 18864 0 -1 0 18088 0 3 0 84492 73 0 0 25 0 11 0 539533205 859721728 30738 4294967295 134512640 134569956 3221224400 3221214848 1131424175 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209893 30738 13073 16 0 209877 0
vsize: 839572
[startup+890.104 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 4609
Raw data (stat): 4597 (java) R 4596 18865 18864 0 -1 0 18088 0 3 0 85472 74 0 0 25 0 11 0 539533205 859721728 30764 4294967295 134512640 134569956 3221224400 3221214792 1131345040 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209893 30764 13073 16 0 209877 0
vsize: 839572
[startup+900.104 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 4609
Raw data (stat): 4597 (java) R 4596 18865 18864 0 -1 0 18088 0 3 0 86449 74 0 0 25 0 11 0 539533205 859721728 30790 4294967295 134512640 134569956 3221224400 3221214696 1131311973 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209893 30790 13073 16 0 209877 0
vsize: 839572
[startup+910.104 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 4609
Raw data (stat): 4597 (java) R 4596 18865 18864 0 -1 0 18088 0 3 0 87428 75 0 0 25 0 11 0 539533205 859721728 30841 4294967295 134512640 134569956 3221224400 3221214672 1131500348 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209893 30841 13073 16 0 209877 0
vsize: 839572
[startup+920.108 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 4609
Raw data (stat): 4597 (java) R 4596 18865 18864 0 -1 0 18088 0 3 0 88409 75 0 0 25 0 11 0 539533205 859721728 30866 4294967295 134512640 134569956 3221224400 3221214696 1131312681 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209893 30866 13073 16 0 209877 0
vsize: 839572
[startup+930.111 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 4609
Raw data (stat): 4597 (java) R 4596 18865 18864 0 -1 0 18088 0 3 0 89388 75 0 0 25 0 11 0 539533205 859721728 30892 4294967295 134512640 134569956 3221224400 3221214792 1131345151 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209893 30892 13073 16 0 209877 0
vsize: 839572
[startup+940.125 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 4609
Raw data (stat): 4597 (java) R 4596 18865 18864 0 -1 0 18088 0 3 0 90366 76 0 0 25 0 11 0 539533205 859721728 30943 4294967295 134512640 134569956 3221224400 3221214696 1131312235 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209893 30943 13073 16 0 209877 0
vsize: 839572
[startup+950.145 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 4609
Raw data (stat): 4597 (java) R 4596 18865 18864 0 -1 0 18088 0 3 0 91351 76 0 0 25 0 11 0 539533205 859721728 30969 4294967295 134512640 134569956 3221224400 3221214608 1131267770 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209893 30969 13073 16 0 209877 0
vsize: 839572
[startup+960.165 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 4609
Raw data (stat): 4597 (java) R 4596 18865 18864 0 -1 0 18088 0 3 0 92330 77 0 0 25 0 11 0 539533205 859721728 30996 4294967295 134512640 134569956 3221224400 3221214736 1131235661 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209893 30996 13073 16 0 209877 0
vsize: 839572
[startup+970.166 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 4609
Raw data (stat): 4597 (java) R 4596 18865 18864 0 -1 0 18088 0 3 0 93308 77 0 0 25 0 11 0 539533205 859721728 31047 4294967295 134512640 134569956 3221224400 3221214696 1131312638 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209893 31047 13073 16 0 209877 0
vsize: 839572
[startup+980.167 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 4609
Raw data (stat): 4597 (java) R 4596 18865 18864 0 -1 0 18088 0 3 0 94290 77 0 0 25 0 11 0 539533205 859721728 31073 4294967295 134512640 134569956 3221224400 3221214648 1131270686 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209893 31073 13073 16 0 209877 0
vsize: 839572
[startup+990.17 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 4609
Raw data (stat): 4597 (java) R 4596 18865 18864 0 -1 0 18088 0 3 0 95268 77 0 0 25 0 11 0 539533205 859721728 31098 4294967295 134512640 134569956 3221224400 3221214696 1131312638 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209893 31098 13073 16 0 209877 0
vsize: 839572
[startup+1000.28 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 4609
Raw data (stat): 4597 (java) R 4596 18865 18864 0 -1 0 18088 0 3 0 96256 77 0 0 25 0 11 0 539533205 859721728 31124 4294967295 134512640 134569956 3221224400 3221214696 1131312341 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209893 31124 13073 16 0 209877 0
vsize: 839572
[startup+1010.28 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 4609
Raw data (stat): 4597 (java) R 4596 18865 18864 0 -1 0 18088 0 3 0 97236 78 0 0 25 0 11 0 539533205 859721728 31180 4294967295 134512640 134569956 3221224400 3221214696 1131312630 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209893 31180 13073 16 0 209877 0
vsize: 839572
[startup+1020.28 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 4609
Raw data (stat): 4597 (java) R 4596 18865 18864 0 -1 0 18088 0 3 0 98216 78 0 0 25 0 11 0 539533205 859721728 31207 4294967295 134512640 134569956 3221224400 3221214696 1131312537 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209893 31207 13073 16 0 209877 0
vsize: 839572
[startup+1030.28 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 4609
Raw data (stat): 4597 (java) R 4596 18865 18864 0 -1 0 18088 0 3 0 99195 79 0 0 25 0 11 0 539533205 859721728 31232 4294967295 134512640 134569956 3221224400 3221214696 1131312385 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209893 31232 13073 16 0 209877 0
vsize: 839572
[startup+1040.28 s]
Raw data (loadavg): 1.08 1.00 0.92 2/64 4609
Raw data (stat): 4597 (java) R 4596 18865 18864 0 -1 0 18088 0 3 0 100174 79 0 0 25 0 11 0 539533205 859721728 31283 4294967295 134512640 134569956 3221224400 3221214696 1131312382 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209893 31283 13073 16 0 209877 0
vsize: 839572
[startup+1050.28 s]
Raw data (loadavg): 1.07 1.00 0.92 2/64 4609
Raw data (stat): 4597 (java) R 4596 18865 18864 0 -1 0 18088 0 3 0 101153 80 0 0 25 0 11 0 539533205 859721728 31309 4294967295 134512640 134569956 3221224400 3221214800 1131463500 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209893 31309 13073 16 0 209877 0
vsize: 839572
[startup+1060.28 s]
Raw data (loadavg): 1.06 1.00 0.92 2/64 4609
Raw data (stat): 4597 (java) R 4596 18865 18864 0 -1 0 18088 0 3 0 102134 80 0 0 25 0 11 0 539533205 859721728 31334 4294967295 134512640 134569956 3221224400 3221214696 1131312235 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209893 31334 13073 16 0 209877 0
vsize: 839572
[startup+1070.29 s]
Raw data (loadavg): 1.05 1.00 0.92 2/64 4609
Raw data (stat): 4597 (java) R 4596 18865 18864 0 -1 0 18088 0 3 0 103111 81 0 0 25 0 11 0 539533205 859721728 31360 4294967295 134512640 134569956 3221224400 3221214696 1131312820 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209893 31360 13073 16 0 209877 0
vsize: 839572
[startup+1080.29 s]
Raw data (loadavg): 1.04 1.00 0.92 2/64 4609
Raw data (stat): 4597 (java) R 4596 18865 18864 0 -1 0 18088 0 3 0 104090 81 0 0 25 0 11 0 539533205 859721728 31411 4294967295 134512640 134569956 3221224400 3221214696 1131311973 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209893 31411 13073 16 0 209877 0
vsize: 839572
[startup+1090.29 s]
Raw data (loadavg): 1.03 1.00 0.92 2/64 4609
Raw data (stat): 4597 (java) R 4596 18865 18864 0 -1 0 18088 0 3 0 105071 81 0 0 25 0 11 0 539533205 859721728 31436 4294967295 134512640 134569956 3221224400 3221214744 1131413581 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209893 31436 13073 16 0 209877 0
vsize: 839572
[startup+1100.29 s]
Raw data (loadavg): 1.03 1.00 0.92 2/64 4609
Raw data (stat): 4597 (java) R 4596 18865 18864 0 -1 0 18088 0 3 0 106043 82 0 0 25 0 11 0 539533205 859721728 31462 4294967295 134512640 134569956 3221224400 3221214696 1131312235 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209893 31462 13073 16 0 209877 0
vsize: 839572
[startup+1110.29 s]
Raw data (loadavg): 1.02 1.00 0.92 2/64 4609
Raw data (stat): 4597 (java) R 4596 18865 18864 0 -1 0 18088 0 3 0 106995 82 0 0 25 0 11 0 539533205 859721728 31488 4294967295 134512640 134569956 3221224400 3221214696 1131312681 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209893 31488 13073 16 0 209877 0
vsize: 839572
[startup+1120.29 s]
Raw data (loadavg): 1.02 1.00 0.92 2/64 4609
Raw data (stat): 4597 (java) R 4596 18865 18864 0 -1 0 18088 0 3 0 107943 82 0 0 25 0 11 0 539533205 859721728 31559 4294967295 134512640 134569956 3221224400 3221214696 1131312366 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209893 31559 13073 16 0 209877 0
vsize: 839572
[startup+1130.29 s]
Raw data (loadavg): 1.02 1.00 0.92 2/64 4609
Raw data (stat): 4597 (java) R 4596 18865 18864 0 -1 0 18088 0 3 0 108901 83 0 0 25 0 11 0 539533205 859721728 31802 4294967295 134512640 134569956 3221224400 3221214612 1080204314 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209893 31802 13073 16 0 209877 0
vsize: 839572
[startup+1140.29 s]
Raw data (loadavg): 1.01 1.00 0.92 2/64 4609
Raw data (stat): 4597 (java) R 4596 18865 18864 0 -1 0 18088 0 3 0 109878 83 0 0 25 0 11 0 539533205 859721728 31879 4294967295 134512640 134569956 3221224400 3221214696 1131312873 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209893 31879 13073 16 0 209877 0
vsize: 839572
[startup+1150.29 s]
Raw data (loadavg): 1.01 1.00 0.92 2/64 4609
Raw data (stat): 4597 (java) R 4596 18865 18864 0 -1 0 18088 0 3 0 110852 84 0 0 25 0 11 0 539533205 859721728 31905 4294967295 134512640 134569956 3221224400 3221214696 1131312339 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209893 31905 13073 16 0 209877 0
vsize: 839572
[startup+1160.29 s]
Raw data (loadavg): 1.01 1.00 0.92 2/64 4609
Raw data (stat): 4597 (java) R 4596 18865 18864 0 -1 0 18088 0 3 0 111825 85 0 0 25 0 11 0 539533205 859721728 31991 4294967295 134512640 134569956 3221224400 3221214696 1131312613 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209893 31991 13073 16 0 209877 0
vsize: 839572
[startup+1170.3 s]
Raw data (loadavg): 1.01 1.00 0.92 2/64 4609
Raw data (stat): 4597 (java) R 4596 18865 18864 0 -1 0 18088 0 3 0 112804 85 0 0 25 0 11 0 539533205 859721728 32017 4294967295 134512640 134569956 3221224400 3221214788 1131313025 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209893 32017 13073 16 0 209877 0
vsize: 839572
[startup+1180.3 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 4609
Raw data (stat): 4597 (java) R 4596 18865 18864 0 -1 0 18088 0 3 0 113783 85 0 0 25 0 11 0 539533205 859721728 32042 4294967295 134512640 134569956 3221224400 3221214896 1131616160 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209893 32042 13073 16 0 209877 0
vsize: 839572
[startup+1190.3 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 4609
Raw data (stat): 4597 (java) R 4596 18865 18864 0 -1 0 18088 0 3 0 114758 86 0 0 25 0 11 0 539533205 859721728 32068 4294967295 134512640 134569956 3221224400 3221214792 1131345040 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209893 32068 13073 16 0 209877 0
vsize: 839572
[startup+1200.3 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 4609
Raw data (stat): 4597 (java) R 4596 18865 18864 0 -1 0 18088 0 3 0 115734 86 0 0 25 0 11 0 539533205 859721728 32095 4294967295 134512640 134569956 3221224400 3221214736 1131235629 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209893 32095 13073 16 0 209877 0
vsize: 839572
[startup+1210.3 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 4609
Raw data (stat): 4597 (java) R 4596 18865 18864 0 -1 0 18088 0 3 0 116711 86 0 0 25 0 11 0 539533205 859721728 32146 4294967295 134512640 134569956 3221224400 3221214608 1131267770 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209893 32146 13073 16 0 209877 0
vsize: 839572
[startup+1220.3 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 4609
Raw data (stat): 4597 (java) R 4596 18865 18864 0 -1 0 18088 0 3 0 117688 86 0 0 25 0 11 0 539533205 859721728 32172 4294967295 134512640 134569956 3221224400 3221214848 1131424189 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209893 32172 13073 16 0 209877 0
vsize: 839572
[startup+1230.3 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 4609
Raw data (stat): 4597 (java) R 4596 18865 18864 0 -1 0 18088 0 3 0 118667 87 0 0 25 0 11 0 539533205 859721728 32201 4294967295 134512640 134569956 3221224400 3221214696 1131311969 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209893 32201 13073 16 0 209877 0
vsize: 839572
[startup+1240.3 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 4609
Raw data (stat): 4597 (java) R 4596 18865 18864 0 -1 0 18088 0 3 0 119643 87 0 0 25 0 11 0 539533205 859721728 32228 4294967295 134512640 134569956 3221224400 3221214696 1131312313 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209893 32228 13073 16 0 209877 0
vsize: 839572
[startup+1250.3 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 4609
Raw data (stat): 4597 (java) R 4596 18865 18864 0 -1 0 18088 0 3 0 120618 87 0 0 24 0 11 0 539533205 859721728 32280 4294967295 134512640 134569956 3221224400 3221214696 1131312820 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209893 32280 13073 16 0 209877 0
vsize: 839572
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1250.52 s]
Raw data (loadavg): 1.00 1.00 0.92 1/54 4611
Raw data (stat): 4597 (java) Z 4596 18865 18864 0 -1 1036 18088 12605 3 1 120631 89 4077 45 25 0 1 0 539533205 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1250.51
CPU time (s): 1248.45
CPU user time (s): 1247.1
CPU system time (s): 1.34879
CPU usage (%): 99.8347
Max. virtual memory (Kb): 840596
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####