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-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-maros.opb
MD5SUM556e36156521a89a958e30efd7492465
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 6740
Biggest coefficient in the objective function 322437120000000
Number of bits for the biggest coefficient in the objective function 49
Sum of the numbers in the objective function 14584033415409150
Number of bits of the sum of numbers in the objective function 54
Biggest number in a constraint 322437120000000
Number of bits of the biggest number in a constraint 49
Biggest sum of numbers in a constraint 14584033415409150
Number of bits of the biggest sum of numbers54
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark0.241962
Number of variables28160
Total number of constraints844
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 constraints844
Minimum length of a constraint20
Maximum length of a constraint3160

Trace number 29846

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc27 THE 2005-05-25 12:02:20 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=21241 boxname=wulflinc27 idbench=1229 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  556e36156521a89a958e30efd7492465  /oldhome/oroussel/tmp/wulflinc27/normalized-mps-v2-13-7-maros.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc27/normalized-mps-v2-13-7-maros.opb
IDLAUNCH: 21241
/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:        419748 kB
Buffers:         34640 kB
Cached:         558088 kB
SwapCached:        640 kB
Active:          91932 kB
Inactive:       503196 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        419496 kB
SwapTotal:     2097892 kB
SwapFree:      2096760 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5648 kB
Slab:            14180 kB
Committed_AS:    63596 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 12:23:33 (client local time) WITH STATUS 143 IN 1269.01 SECONDS
stats: 21241 7 1269.01 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c SAT4J: a SATisfiability library for Java (c) 2004-2005 Daniel Le Berre
c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
c version Special PB05 Second trial
c --- Begin Solver configuration ---
c org.sat4j.minisat.uip.FirstUIP@1e4cbc4
c org.sat4j.minisat.constraints.PBMinDataStructure@1fdc96c
c org.sat4j.minisat.learning.MiniSATLearning@b2fd8f
c conflictBoundIncFactor=1.5 learntBoundIncFactor=1.1 initLearntBoundConstraintFactor=0.5 initConflictBound=100 
c 
c --- End Solver configuration ---
c solving /oldhome/oroussel/tmp/wulflinc27/normalized-mps-v2-13-7-maros.opb
c reading problem ... done. Time 232.84 ms.
c #vars     28160
c #constraints  1148
c starts	: 2
c conflicts	: 151
c decisions	: 1742
c propagations	: 73675
c inspects	: 205749
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 151
c root simplifications	: 77
s UNKNOWN
c Total CPU time (ms) : 1269.125
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.93 0.99 0.99 2/54 17999
Raw data (stat): 17999 (runsolver) R 17998 3394 3393 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 838718385 1052672 99 4294967295 134512640 135381576 3221224400 3221219620 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0166 s]
Raw data (loadavg): 1.08 1.02 1.00 3/63 18008
Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18003 0 1 0 870 41 0 0 24 0 10 0 838718385 857759744 20019 4294967295 134512640 134569956 3221224368 3221214484 1076461336 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209414 20019 13086 16 0 209398 0
vsize: 837656
[startup+20.0168 s]
Raw data (loadavg): 1.07 1.02 1.00 2/63 18008
Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18011 0 1 0 1772 41 0 0 25 0 10 0 838718385 854745088 20297 4294967295 134512640 134569956 3221224368 3221214648 1131181725 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208678 20297 13086 16 0 208662 0
vsize: 834712
[startup+30.0171 s]
Raw data (loadavg): 1.13 1.03 1.01 2/63 18008
Raw data (stat): 17999 (java) S 17998 3394 3393 0 -1 0 18013 0 1 0 2644 41 0 0 25 0 10 0 838718385 857858048 21353 4294967295 134512640 134569956 3221224368 3221213700 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209438 21353 13086 16 0 209422 0
vsize: 837752
[startup+40.017 s]
Raw data (loadavg): 1.11 1.03 1.01 2/63 18008
Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18013 0 1 0 3539 42 0 0 25 0 10 0 838718385 857858048 21784 4294967295 134512640 134569956 3221224368 3221214792 1131311559 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209438 21784 13086 16 0 209422 0
vsize: 837752
[startup+50.0182 s]
Raw data (loadavg): 1.09 1.03 1.01 2/63 18008
Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18013 0 1 0 4450 42 0 0 25 0 10 0 838718385 857858048 21930 4294967295 134512640 134569956 3221224368 3221214256 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209438 21930 13086 16 0 209422 0
vsize: 837752
[startup+60.0186 s]
Raw data (loadavg): 1.08 1.03 1.01 2/63 18008
Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18013 0 1 0 5364 43 0 0 25 0 10 0 838718385 857858048 22086 4294967295 134512640 134569956 3221224368 3221214256 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209438 22086 13086 16 0 209422 0
vsize: 837752
[startup+70.0189 s]
Raw data (loadavg): 1.07 1.03 1.00 2/63 18008
Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18013 0 1 0 6286 43 0 0 25 0 10 0 838718385 857858048 22318 4294967295 134512640 134569956 3221224368 3221214256 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209438 22318 13086 16 0 209422 0
vsize: 837752
[startup+80.0197 s]
Raw data (loadavg): 1.06 1.03 1.00 2/63 18008
Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18013 0 1 0 7215 43 0 0 25 0 10 0 838718385 857858048 22453 4294967295 134512640 134569956 3221224368 3221214684 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209438 22453 13086 16 0 209422 0
vsize: 837752
[startup+90.0191 s]
Raw data (loadavg): 1.05 1.03 1.00 2/63 18008
Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18013 0 1 0 8147 44 0 0 25 0 10 0 838718385 857858048 22556 4294967295 134512640 134569956 3221224368 3221214780 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209438 22556 13086 16 0 209422 0
vsize: 837752
[startup+100.02 s]
Raw data (loadavg): 1.04 1.02 1.00 2/63 18008
Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18014 0 1 0 9078 44 0 0 24 0 10 0 838718385 857858048 22692 4294967295 134512640 134569956 3221224368 3221214792 1131313175 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209438 22692 13086 16 0 209422 0
vsize: 837752
[startup+110.021 s]
Raw data (loadavg): 1.03 1.02 1.00 2/63 18008
Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18014 0 1 0 10016 44 0 0 25 0 10 0 838718385 857858048 22793 4294967295 134512640 134569956 3221224368 3221214256 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209438 22793 13086 16 0 209422 0
vsize: 837752
[startup+120.022 s]
Raw data (loadavg): 1.03 1.02 1.00 2/63 18008
Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18014 0 1 0 10950 45 0 0 24 0 10 0 838718385 857858048 22886 4294967295 134512640 134569956 3221224368 3221214256 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209438 22886 13086 16 0 209422 0
vsize: 837752
[startup+130.022 s]
Raw data (loadavg): 1.02 1.02 1.00 2/63 18008
Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18014 0 1 0 11888 45 0 0 25 0 10 0 838718385 857858048 22975 4294967295 134512640 134569956 3221224368 3221214684 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209438 22975 13086 16 0 209422 0
vsize: 837752
[startup+140.022 s]
Raw data (loadavg): 1.02 1.02 1.00 2/63 18008
Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18014 0 1 0 12823 45 0 0 24 0 10 0 838718385 857858048 23062 4294967295 134512640 134569956 3221224368 3221214684 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209438 23062 13086 16 0 209422 0
vsize: 837752
[startup+150.022 s]
Raw data (loadavg): 1.02 1.02 1.00 2/63 18008
Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18014 0 1 0 13763 45 0 0 25 0 10 0 838718385 857858048 23152 4294967295 134512640 134569956 3221224368 3221214256 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209438 23152 13086 16 0 209422 0
vsize: 837752
[startup+160.025 s]
Raw data (loadavg): 1.09 1.04 1.01 2/63 18008
Raw data (stat): 17999 (java) S 17998 3394 3393 0 -1 0 18014 0 1 0 14675 47 0 0 25 0 10 0 838718385 857858048 23460 4294967295 134512640 134569956 3221224368 3221213480 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209438 23460 13086 16 0 209422 0
vsize: 837752
[startup+170.025 s]
Raw data (loadavg): 1.08 1.03 1.00 2/63 18008
Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18014 0 1 0 15537 48 0 0 24 0 10 0 838718385 857858048 24943 4294967295 134512640 134569956 3221224368 3221214684 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209438 24943 13086 16 0 209422 0
vsize: 837752
[startup+180.026 s]
Raw data (loadavg): 1.07 1.03 1.00 2/63 18008
Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18014 0 1 0 16408 48 0 0 25 0 10 0 838718385 857858048 25650 4294967295 134512640 134569956 3221224368 3221214684 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209438 25650 13086 16 0 209422 0
vsize: 837752
[startup+190.026 s]
Raw data (loadavg): 1.06 1.03 1.00 2/63 18008
Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18014 0 1 0 17289 48 0 0 25 0 10 0 838718385 857858048 25887 4294967295 134512640 134569956 3221224368 3221214256 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209438 25887 13086 16 0 209422 0
vsize: 837752
[startup+200.027 s]
Raw data (loadavg): 1.05 1.03 1.00 2/63 18008
Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18014 0 1 0 18162 48 0 0 24 0 10 0 838718385 857858048 26120 4294967295 134512640 134569956 3221224368 3221214684 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209438 26120 13086 16 0 209422 0
vsize: 837752
[startup+210.027 s]
Raw data (loadavg): 1.04 1.03 1.00 2/63 18010
Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18014 0 1 0 19031 48 0 0 25 0 10 0 838718385 857858048 26455 4294967295 134512640 134569956 3221224368 3221214256 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209438 26455 13086 16 0 209422 0
vsize: 837752
[startup+220.028 s]
Raw data (loadavg): 1.03 1.03 1.00 2/63 18010
Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18014 0 1 0 19910 49 0 0 25 0 10 0 838718385 857858048 27322 4294967295 134512640 134569956 3221224368 3221214240 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209438 27322 13086 16 0 209422 0
vsize: 837752
[startup+230.029 s]
Raw data (loadavg): 1.03 1.03 1.00 2/63 18010
Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18014 0 1 0 20773 49 0 0 25 0 10 0 838718385 857858048 27715 4294967295 134512640 134569956 3221224368 3221214684 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209438 27715 13086 16 0 209422 0
vsize: 837752
[startup+240.029 s]
Raw data (loadavg): 1.02 1.02 1.00 2/63 18010
Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18036 0 1 0 21666 50 0 0 24 0 10 0 838718385 858906624 28026 4294967295 134512640 134569956 3221224368 3221214560 1131357086 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209694 28026 13086 16 0 209678 0
vsize: 838776
[startup+250.031 s]
Raw data (loadavg): 1.02 1.02 1.00 2/63 18010
Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18036 0 1 0 22572 50 0 0 25 0 10 0 838718385 857858048 27905 4294967295 134512640 134569956 3221224368 3221214624 1131244965 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209438 27905 13086 16 0 209422 0
vsize: 837752
[startup+260.032 s]
Raw data (loadavg): 1.02 1.02 1.00 2/63 18010
Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18036 0 1 0 23473 50 0 0 24 0 10 0 838718385 857858048 28087 4294967295 134512640 134569956 3221224368 3221214696 1131403470 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209438 28087 13086 16 0 209422 0
vsize: 837752
[startup+270.031 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 18011
Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18042 0 1 0 24406 50 0 0 25 0 11 0 838718385 858386432 28707 4294967295 134512640 134569956 3221224368 3221214576 1131357222 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209567 28707 13086 16 0 209551 0
vsize: 838268
[startup+280.032 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 18011
Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18054 0 1 0 25359 51 0 0 25 0 11 0 838718385 858386432 28750 4294967295 134512640 134569956 3221224368 3221214624 1131357225 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209567 28750 13086 16 0 209551 0
vsize: 838268
[startup+290.033 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 18011
Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18055 0 1 0 26332 51 0 0 25 0 11 0 838718385 858386432 28828 4294967295 134512640 134569956 3221224368 3221214776 1131438089 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209567 28828 13086 16 0 209551 0
vsize: 838268
[startup+300.034 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 18011
Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18055 0 1 0 27308 51 0 0 25 0 11 0 838718385 858386432 28844 4294967295 134512640 134569956 3221224368 3221214576 1131358491 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209567 28844 13086 16 0 209551 0
vsize: 838268
[startup+310.035 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 18011
Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18055 0 1 0 28275 52 0 0 25 0 11 0 838718385 858386432 28864 4294967295 134512640 134569956 3221224368 3221214664 1131408149 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209567 28864 13086 16 0 209551 0
vsize: 838268
[startup+320.035 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 18011
Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18056 0 1 0 29240 52 0 0 25 0 11 0 838718385 858386432 28884 4294967295 134512640 134569956 3221224368 3221214488 1131397088 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209567 28884 13086 16 0 209551 0
vsize: 838268
[startup+330.035 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 18011
Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18057 0 1 0 30213 53 0 0 25 0 11 0 838718385 858386432 29039 4294967295 134512640 134569956 3221224368 3221214504 1131459912 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209567 29039 13086 16 0 209551 0
vsize: 838268
[startup+340.035 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 18011
Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18058 0 1 0 31196 53 0 0 25 0 11 0 838718385 858386432 29074 4294967295 134512640 134569956 3221224368 3221214600 1131379256 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209567 29074 13086 16 0 209551 0
vsize: 838268
[startup+350.036 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 18011
Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18058 0 1 0 32164 53 0 0 20 0 11 0 838718385 858386432 29096 4294967295 134512640 134569956 3221224368 3221214576 1131357403 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209567 29096 13086 16 0 209551 0
vsize: 838268
[startup+360.037 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 18011
Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18058 0 1 0 33120 54 0 0 24 0 11 0 838718385 858386432 29096 4294967295 134512640 134569956 3221224368 3221214664 1131401244 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209567 29096 13086 16 0 209551 0
vsize: 838268
[startup+370.036 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 18011
Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18058 0 1 0 34061 54 0 0 25 0 11 0 838718385 858386432 29103 4294967295 134512640 134569956 3221224368 3221214640 1131559819 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209567 29103 13086 16 0 209551 0
vsize: 838268
[startup+380.037 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 18011
Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18058 0 1 0 35001 55 0 0 25 0 11 0 838718385 858386432 29243 4294967295 134512640 134569956 3221224368 3221214576 1131357241 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209567 29243 13086 16 0 209551 0
vsize: 838268
[startup+390.038 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 18011
Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18058 0 1 0 35938 55 0 0 25 0 11 0 838718385 858386432 29420 4294967295 134512640 134569956 3221224368 3221214640 1131559746 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209567 29420 13086 16 0 209551 0
vsize: 838268
[startup+400.039 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 18011
Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18058 0 1 0 36877 55 0 0 25 0 11 0 838718385 858386432 29550 4294967295 134512640 134569956 3221224368 3221214664 1131408049 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209567 29550 13086 16 0 209551 0
vsize: 838268
[startup+410.039 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 18011
Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18058 0 1 0 37821 55 0 0 25 0 11 0 838718385 858386432 29743 4294967295 134512640 134569956 3221224368 3221214512 1131357225 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209567 29743 13086 16 0 209551 0
vsize: 838268
[startup+420.039 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 18011
Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18058 0 1 0 38770 55 0 0 25 0 11 0 838718385 858386432 29866 4294967295 134512640 134569956 3221224368 3221214640 1131559754 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209567 29866 13086 16 0 209551 0
vsize: 838268
[startup+430.04 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 18011
Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18058 0 1 0 39722 56 0 0 25 0 11 0 838718385 858386432 30014 4294967295 134512640 134569956 3221224368 3221214600 1131379234 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209567 30014 13086 16 0 209551 0
vsize: 838268
[startup+440.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18011
Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18058 0 1 0 40674 56 0 0 25 0 11 0 838718385 858386432 30139 4294967295 134512640 134569956 3221224368 3221214512 1131358020 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209567 30139 13086 16 0 209551 0
vsize: 838268
[startup+450.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18011
Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18058 0 1 0 41630 56 0 0 25 0 11 0 838718385 858386432 30280 4294967295 134512640 134569956 3221224368 3221214512 1131357279 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209567 30280 13086 16 0 209551 0
vsize: 838268
[startup+460.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18011
Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18058 0 1 0 42583 56 0 0 25 0 11 0 838718385 858386432 30360 4294967295 134512640 134569956 3221224368 3221214512 1131358524 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209567 30360 13086 16 0 209551 0
vsize: 838268
[startup+470.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18011
Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18058 0 1 0 43532 57 0 0 25 0 11 0 838718385 858386432 30441 4294967295 134512640 134569956 3221224368 3221214664 1131402147 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209567 30441 13086 16 0 209551 0
vsize: 838268
[startup+480.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18011
Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18058 0 1 0 44479 57 0 0 25 0 11 0 838718385 858386432 30558 4294967295 134512640 134569956 3221224368 3221214640 1131559696 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209567 30558 13086 16 0 209551 0
vsize: 838268
[startup+490.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18011
Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18058 0 1 0 45425 57 0 0 25 0 11 0 838718385 858386432 30659 4294967295 134512640 134569956 3221224368 3221214512 1131357237 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209567 30659 13086 16 0 209551 0
vsize: 838268
[startup+500.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18011
Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18058 0 1 0 46371 58 0 0 24 0 11 0 838718385 858386432 30895 4294967295 134512640 134569956 3221224368 3221214512 1131357172 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209567 30895 13086 16 0 209551 0
vsize: 838268
[startup+510.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18011
Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18058 0 1 0 47327 58 0 0 25 0 11 0 838718385 858386432 31001 4294967295 134512640 134569956 3221224368 3221214512 1131358410 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209567 31001 13086 16 0 209551 0
vsize: 838268
[startup+520.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18011
Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18058 0 1 0 48282 59 0 0 25 0 11 0 838718385 858386432 31095 4294967295 134512640 134569956 3221224368 3221214664 1131401187 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209567 31095 13086 16 0 209551 0
vsize: 838268
[startup+530.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18011
Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18058 0 1 0 49239 59 0 0 25 0 11 0 838718385 858386432 31190 4294967295 134512640 134569956 3221224368 3221214576 1131357128 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209567 31190 13086 16 0 209551 0
vsize: 838268
[startup+540.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18011
Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18058 0 1 0 50199 59 0 0 25 0 11 0 838718385 858386432 31285 4294967295 134512640 134569956 3221224368 3221214664 1131402316 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209567 31285 13086 16 0 209551 0
vsize: 838268
[startup+550.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18011
Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18058 0 1 0 51156 59 0 0 25 0 11 0 838718385 858386432 31390 4294967295 134512640 134569956 3221224368 3221214664 1131408803 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209567 31390 13086 16 0 209551 0
vsize: 838268
[startup+560.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18011
Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18058 0 1 0 52116 59 0 0 24 0 11 0 838718385 858386432 31475 4294967295 134512640 134569956 3221224368 3221214512 1131357166 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209567 31475 13086 16 0 209551 0
vsize: 838268
[startup+570.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18011
Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18058 0 1 0 53081 59 0 0 25 0 11 0 838718385 858386432 31557 4294967295 134512640 134569956 3221224368 3221214664 1131407835 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209567 31557 13086 16 0 209551 0
vsize: 838268
[startup+580.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18011
Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18058 0 1 0 54045 60 0 0 25 0 11 0 838718385 858386432 31637 4294967295 134512640 134569956 3221224368 3221214512 1131357482 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209567 31637 13086 16 0 209551 0
vsize: 838268
[startup+590.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18011
Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18058 0 1 0 55007 60 0 0 25 0 11 0 838718385 858386432 31717 4294967295 134512640 134569956 3221224368 3221214512 1131357237 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209567 31717 13086 16 0 209551 0
vsize: 838268
[startup+600.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18011
Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18058 0 1 0 55972 60 0 0 25 0 11 0 838718385 858386432 31797 4294967295 134512640 134569956 3221224368 3221214576 1131357295 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209567 31797 13086 16 0 209551 0
vsize: 838268
[startup+610.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18011
Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18058 0 1 0 56935 60 0 0 25 0 11 0 838718385 858386432 31877 4294967295 134512640 134569956 3221224368 3221214640 1131559754 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209567 31877 13086 16 0 209551 0
vsize: 838268
[startup+620.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18011
Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18058 0 1 0 57901 60 0 0 25 0 11 0 838718385 858386432 31902 4294967295 134512640 134569956 3221224368 3221214664 1131408306 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209567 31902 13086 16 0 209551 0
vsize: 838268
[startup+630.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18011
Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18058 0 1 0 58864 60 0 0 25 0 11 0 838718385 858386432 31982 4294967295 134512640 134569956 3221224368 3221214536 1131044787 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209567 31982 13086 16 0 209551 0
vsize: 838268
[startup+640.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18011
Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18058 0 1 0 59828 60 0 0 24 0 11 0 838718385 858386432 32063 4294967295 134512640 134569956 3221224368 3221214664 1131403439 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209567 32063 13086 16 0 209551 0
vsize: 838268
[startup+650.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18011
Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18058 0 1 0 60795 60 0 0 25 0 11 0 838718385 858386432 32118 4294967295 134512640 134569956 3221224368 3221214664 1131408902 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209567 32118 13086 16 0 209551 0
vsize: 838268
[startup+660.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18011
Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18058 0 1 0 61763 60 0 0 25 0 11 0 838718385 858386432 32198 4294967295 134512640 134569956 3221224368 3221214576 1131357463 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209567 32198 13086 16 0 209551 0
vsize: 838268
[startup+670.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18011
Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18058 0 1 0 62728 60 0 0 25 0 11 0 838718385 858386432 32279 4294967295 134512640 134569956 3221224368 3221214664 1131405323 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209567 32279 13086 16 0 209551 0
vsize: 838268
[startup+680.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18011
Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18058 0 1 0 63693 60 0 0 25 0 11 0 838718385 858386432 32359 4294967295 134512640 134569956 3221224368 3221214576 1131357181 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209567 32359 13086 16 0 209551 0
vsize: 838268
[startup+690.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18011
Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18058 0 1 0 64662 60 0 0 25 0 11 0 838718385 858386432 32384 4294967295 134512640 134569956 3221224368 3221214576 1131357469 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209567 32384 13086 16 0 209551 0
vsize: 838268
[startup+700.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18011
Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18058 0 1 0 65627 60 0 0 25 0 11 0 838718385 858386432 32464 4294967295 134512640 134569956 3221224368 3221214512 1131357356 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209567 32464 13086 16 0 209551 0
vsize: 838268
[startup+710.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18011
Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18058 0 1 0 66592 60 0 0 25 0 11 0 838718385 858386432 32519 4294967295 134512640 134569956 3221224368 3221214512 1131357179 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209567 32519 13086 16 0 209551 0
vsize: 838268
[startup+720.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18011
Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18058 0 1 0 67556 60 0 0 25 0 11 0 838718385 858386432 32602 4294967295 134512640 134569956 3221224368 3221214640 1131559748 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209567 32602 13086 16 0 209551 0
vsize: 838268
[startup+730.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18011
Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18058 0 1 0 68511 60 0 0 25 0 11 0 838718385 858386432 32627 4294967295 134512640 134569956 3221224368 3221214600 1131379240 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209567 32627 13086 16 0 209551 0
vsize: 838268
[startup+740.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18011
Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18058 0 1 0 69469 60 0 0 25 0 11 0 838718385 858386432 32729 4294967295 134512640 134569956 3221224368 3221214512 1131357225 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209567 32729 13086 16 0 209551 0
vsize: 838268
[startup+750.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18011
Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18058 0 1 0 70415 60 0 0 25 0 11 0 838718385 858386432 32818 4294967295 134512640 134569956 3221224368 3221214512 1131358484 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209567 32818 13086 16 0 209551 0
vsize: 838268
[startup+760.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18011
Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18058 0 1 0 71364 61 0 0 25 0 11 0 838718385 858386432 32994 4294967295 134512640 134569956 3221224368 3221214576 1131357181 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209567 32994 13086 16 0 209551 0
vsize: 838268
[startup+770.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18011
Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18058 0 1 0 72319 61 0 0 25 0 11 0 838718385 858386432 33021 4294967295 134512640 134569956 3221224368 3221214664 1131401309 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209567 33021 13086 16 0 209551 0
vsize: 838268
[startup+780.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18011
Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18058 0 1 0 73273 61 0 0 25 0 11 0 838718385 858386432 33175 4294967295 134512640 134569956 3221224368 3221214664 1131403844 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209567 33175 13086 16 0 209551 0
vsize: 838268
[startup+790.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18011
Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18058 0 1 0 74229 61 0 0 25 0 11 0 838718385 858386432 33305 4294967295 134512640 134569956 3221224368 3221214664 1131401284 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209567 33305 13086 16 0 209551 0
vsize: 838268
[startup+800.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18011
Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18058 0 1 0 75189 61 0 0 25 0 11 0 838718385 858386432 33343 4294967295 134512640 134569956 3221224368 3221214512 1131357225 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209567 33343 13086 16 0 209551 0
vsize: 838268
[startup+810.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18011
Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18058 0 1 0 76146 61 0 0 25 0 11 0 838718385 858386432 33462 4294967295 134512640 134569956 3221224368 3221214576 1131357935 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209567 33462 13086 16 0 209551 0
vsize: 838268
[startup+820.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18011
Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18058 0 1 0 77102 61 0 0 24 0 11 0 838718385 858386432 33519 4294967295 134512640 134569956 3221224368 3221214664 1131405331 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209567 33519 13086 16 0 209551 0
vsize: 838268
[startup+830.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18011
Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18058 0 1 0 78062 61 0 0 25 0 11 0 838718385 858386432 33629 4294967295 134512640 134569956 3221224368 3221214664 1131401309 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209567 33629 13086 16 0 209551 0
vsize: 838268
[startup+840.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18011
Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18058 0 1 0 79023 61 0 0 25 0 11 0 838718385 858386432 33695 4294967295 134512640 134569956 3221224368 3221214576 1131357995 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209567 33695 13086 16 0 209551 0
vsize: 838268
[startup+850.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18011
Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18058 0 1 0 79989 61 0 0 25 0 11 0 838718385 858386432 33756 4294967295 134512640 134569956 3221224368 3221214512 1131357356 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209567 33756 13086 16 0 209551 0
vsize: 838268
[startup+860.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18011
Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18058 0 1 0 80951 61 0 0 25 0 11 0 838718385 858386432 33845 4294967295 134512640 134569956 3221224368 3221214576 1131357365 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209567 33845 13086 16 0 209551 0
vsize: 838268
[startup+870.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18011
Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18058 0 1 0 81915 61 0 0 24 0 11 0 838718385 858386432 33870 4294967295 134512640 134569956 3221224368 3221214512 1131358214 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209567 33870 13086 16 0 209551 0
vsize: 838268
[startup+880.064 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18011
Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18058 0 1 0 82882 61 0 0 25 0 11 0 838718385 858386432 33926 4294967295 134512640 134569956 3221224368 3221214664 1131408306 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209567 33926 13086 16 0 209551 0
vsize: 838268
[startup+890.064 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18011
Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18058 0 1 0 83845 61 0 0 25 0 11 0 838718385 858386432 33951 4294967295 134512640 134569956 3221224368 3221214512 1131244917 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209567 33951 13086 16 0 209551 0
vsize: 838268
[startup+900.065 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18011
Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18058 0 1 0 84809 61 0 0 25 0 11 0 838718385 858386432 34006 4294967295 134512640 134569956 3221224368 3221214640 1131559696 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209567 34006 13086 16 0 209551 0
vsize: 838268
[startup+910.066 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18011
Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18058 0 1 0 85775 61 0 0 25 0 11 0 838718385 858386432 34086 4294967295 134512640 134569956 3221224368 3221214664 1131404932 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209567 34086 13086 16 0 209551 0
vsize: 838268
[startup+920.067 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18011
Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18058 0 1 0 86739 62 0 0 25 0 11 0 838718385 858386432 34112 4294967295 134512640 134569956 3221224368 3221214600 1131379046 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209567 34112 13086 16 0 209551 0
vsize: 838268
[startup+930.068 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18011
Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18058 0 1 0 87703 62 0 0 25 0 11 0 838718385 858386432 34167 4294967295 134512640 134569956 3221224368 3221214600 1131379001 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209567 34167 13086 16 0 209551 0
vsize: 838268
[startup+940.068 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18011
Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18058 0 1 0 88671 62 0 0 25 0 11 0 838718385 858386432 34248 4294967295 134512640 134569956 3221224368 3221214664 1131408105 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209567 34248 13086 16 0 209551 0
vsize: 838268
[startup+950.069 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18011
Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18058 0 1 0 89635 62 0 0 25 0 11 0 838718385 858386432 34273 4294967295 134512640 134569956 3221224368 3221214576 1131358030 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209567 34273 13086 16 0 209551 0
vsize: 838268
[startup+960.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18011
Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18058 0 1 0 90600 62 0 0 24 0 11 0 838718385 858386432 34328 4294967295 134512640 134569956 3221224368 3221214576 1131357237 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209567 34328 13086 16 0 209551 0
vsize: 838268
[startup+970.071 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18011
Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18058 0 1 0 91568 62 0 0 25 0 11 0 838718385 858386432 34353 4294967295 134512640 134569956 3221224368 3221214576 1131357162 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209567 34353 13086 16 0 209551 0
vsize: 838268
[startup+980.072 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18011
Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18058 0 1 0 92533 62 0 0 25 0 11 0 838718385 858386432 34408 4294967295 134512640 134569956 3221224368 3221214664 1131404932 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209567 34408 13086 16 0 209551 0
vsize: 838268
[startup+990.073 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18011
Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18058 0 1 0 93498 62 0 0 25 0 11 0 838718385 858386432 34489 4294967295 134512640 134569956 3221224368 3221214640 1131559724 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209567 34489 13086 16 0 209551 0
vsize: 838268
[startup+1000.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18011
Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18058 0 1 0 94462 62 0 0 25 0 11 0 838718385 858386432 34514 4294967295 134512640 134569956 3221224368 3221214664 1131406292 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209567 34514 13086 16 0 209551 0
vsize: 838268
[startup+1010.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18011
Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18058 0 1 0 95431 62 0 0 25 0 11 0 838718385 858386432 34569 4294967295 134512640 134569956 3221224368 3221214664 1131401309 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209567 34569 13086 16 0 209551 0
vsize: 838268
[startup+1020.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18011
Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18058 0 1 0 96396 62 0 0 25 0 11 0 838718385 858386432 34594 4294967295 134512640 134569956 3221224368 3221214512 1131358410 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209567 34594 13086 16 0 209551 0
vsize: 838268
[startup+1030.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18011
Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18058 0 1 0 97361 63 0 0 24 0 11 0 838718385 858386432 34650 4294967295 134512640 134569956 3221224368 3221214664 1131404908 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209567 34650 13086 16 0 209551 0
vsize: 838268
[startup+1040.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18011
Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18058 0 1 0 98328 63 0 0 25 0 11 0 838718385 858386432 34729 4294967295 134512640 134569956 3221224368 3221214664 1131401244 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209567 34729 13086 16 0 209551 0
vsize: 838268
[startup+1050.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18011
Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18058 0 1 0 99294 63 0 0 25 0 11 0 838718385 858386432 34729 4294967295 134512640 134569956 3221224368 3221214664 1131401023 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209567 34729 13086 16 0 209551 0
vsize: 838268
[startup+1060.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18011
Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18058 0 1 0 100260 63 0 0 25 0 11 0 838718385 858386432 34811 4294967295 134512640 134569956 3221224368 3221214576 1131357141 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209567 34811 13086 16 0 209551 0
vsize: 838268
[startup+1070.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18011
Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18058 0 1 0 101225 63 0 0 25 0 11 0 838718385 858386432 34836 4294967295 134512640 134569956 3221224368 3221214576 1131357225 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209567 34836 13086 16 0 209551 0
vsize: 838268
[startup+1080.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18011
Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18058 0 1 0 102196 64 0 0 25 0 11 0 838718385 858386432 34891 4294967295 134512640 134569956 3221224368 3221214664 1131401244 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209567 34891 13086 16 0 209551 0
vsize: 838268
[startup+1090.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18011
Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18058 0 1 0 103161 64 0 0 25 0 11 0 838718385 858386432 34915 4294967295 134512640 134569956 3221224368 3221214576 1131358020 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209567 34915 13086 16 0 209551 0
vsize: 838268
[startup+1100.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18011
Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18058 0 1 0 104128 64 0 0 25 0 11 0 838718385 858386432 34970 4294967295 134512640 134569956 3221224368 3221214576 1131357912 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209567 34970 13086 16 0 209551 0
vsize: 838268
[startup+1110.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18011
Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18058 0 1 0 105093 64 0 0 25 0 11 0 838718385 858386432 34995 4294967295 134512640 134569956 3221224368 3221214640 1131559752 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209567 34995 13086 16 0 209551 0
vsize: 838268
[startup+1120.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18011
Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18058 0 1 0 106063 64 0 0 25 0 11 0 838718385 858386432 35050 4294967295 134512640 134569956 3221224368 3221214600 1131379322 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209567 35050 13086 16 0 209551 0
vsize: 838268
[startup+1130.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18011
Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18058 0 1 0 107028 64 0 0 25 0 11 0 838718385 858386432 35076 4294967295 134512640 134569956 3221224368 3221214536 1131044787 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209567 35076 13086 16 0 209551 0
vsize: 838268
[startup+1140.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18011
Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18058 0 1 0 107994 64 0 0 25 0 11 0 838718385 858386432 35131 4294967295 134512640 134569956 3221224368 3221214664 1131403404 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209567 35131 13086 16 0 209551 0
vsize: 838268
[startup+1150.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18011
Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18058 0 1 0 108960 64 0 0 24 0 11 0 838718385 858386432 35213 4294967295 134512640 134569956 3221224368 3221214664 1131401244 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209567 35213 13086 16 0 209551 0
vsize: 838268
[startup+1160.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18011
Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18058 0 1 0 109930 64 0 0 25 0 11 0 838718385 858386432 35213 4294967295 134512640 134569956 3221224368 3221214512 1131357244 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209567 35213 13086 16 0 209551 0
vsize: 838268
[startup+1170.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18011
Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18058 0 1 0 110897 64 0 0 25 0 11 0 838718385 858386432 35293 4294967295 134512640 134569956 3221224368 3221214576 1131357225 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209567 35293 13086 16 0 209551 0
vsize: 838268
[startup+1180.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18011
Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18058 0 1 0 111863 65 0 0 25 0 11 0 838718385 858386432 35293 4294967295 134512640 134569956 3221224368 3221214664 1131405368 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209567 35293 13086 16 0 209551 0
vsize: 838268
[startup+1190.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18011
Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18058 0 1 0 112830 65 0 0 25 0 11 0 838718385 858386432 35374 4294967295 134512640 134569956 3221224368 3221214664 1131401244 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209567 35374 13086 16 0 209551 0
vsize: 838268
[startup+1200.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18011
Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18058 0 1 0 113800 65 0 0 25 0 11 0 838718385 858386432 35374 4294967295 134512640 134569956 3221224368 3221214576 1131358524 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209567 35374 13086 16 0 209551 0
vsize: 838268
[startup+1210.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18011
Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18058 0 1 0 114767 65 0 0 25 0 11 0 838718385 858386432 35454 4294967295 134512640 134569956 3221224368 3221214512 1131358514 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209567 35454 13086 16 0 209551 0
vsize: 838268
[startup+1220.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18011
Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18058 0 1 0 115734 65 0 0 25 0 11 0 838718385 858386432 35479 4294967295 134512640 134569956 3221224368 3221214664 1131404850 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209567 35479 13086 16 0 209551 0
vsize: 838268
[startup+1230.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18011
Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18058 0 1 0 116702 65 0 0 25 0 11 0 838718385 858386432 35534 4294967295 134512640 134569956 3221224368 3221214664 1131403446 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209567 35534 13086 16 0 209551 0
vsize: 838268
[startup+1240.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18011
Raw data (stat): 17999 (java) S 17998 3394 3393 0 -1 0 18058 0 1 0 117670 65 0 0 25 0 11 0 838718385 858386432 35559 4294967295 134512640 134569956 3221224368 3221213344 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209567 35559 13086 16 0 209551 0
vsize: 838268
[startup+1250.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18011
Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18058 0 1 0 118639 65 0 0 25 0 11 0 838718385 858386432 35613 4294967295 134512640 134569956 3221224368 3221214664 1131401244 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209567 35613 13086 16 0 209551 0
vsize: 838268
[startup+1260.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18011
Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18058 0 1 0 119606 65 0 0 25 0 11 0 838718385 858386432 35639 4294967295 134512640 134569956 3221224368 3221214512 1131357344 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209567 35639 13086 16 0 209551 0
vsize: 838268
[startup+1270.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18011
Raw data (stat): 17999 (java) R 17998 3394 3393 0 -1 0 18058 0 1 0 120573 65 0 0 25 0 11 0 838718385 858386432 35695 4294967295 134512640 134569956 3221224368 3221214664 1131401248 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209567 35695 13086 16 0 209551 0
vsize: 838268
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1270.2 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 18013
Raw data (stat): 17999 (java) Z 17998 3394 3393 0 -1 1036 18058 16266 1 0 120577 65 6204 53 25 0 1 0 838718385 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): 1270.2
CPU time (s): 1269.01
CPU user time (s): 1267.82
CPU system time (s): 1.18982
CPU usage (%): 99.9061
Max. virtual memory (Kb): 838776
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####