Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
  1. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
  2. SOLVER DATA
    This is the output of the solver (stdout and stderr).
  3. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  4. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.

General information on the benchmark

Namenormalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-dfl001.opb
MD5SUM0613a0c4894703648f95007e06fadc66
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 187033
Biggest coefficient in the objective function 2150851580428025856
Number of bits for the biggest coefficient in the objective function 61
Sum of the numbers in the objective function 882752655849462562816
Number of bits of the sum of numbers in the objective function 70
Biggest number in a constraint 53687091200000000000
Number of bits of the biggest number in a constraint 66
Biggest sum of numbers in a constraint 4277072243466308681728
Number of bits of the biggest sum of numbers72
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark3.46847
Number of variables366703
Total number of constraints6084
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 constraints6084
Minimum length of a constraint13
Maximum length of a constraint6840

Trace number 29438

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc6 THE 2005-05-25 07:40:32 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=20837 boxname=wulflinc6 idbench=825 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  0613a0c4894703648f95007e06fadc66  /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-20-10-dfl001.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-20-10-dfl001.opb
IDLAUNCH: 20837
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.042
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	: 2
cpu MHz		: 451.042
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:        776852 kB
Buffers:         24980 kB
Cached:         207236 kB
SwapCached:        412 kB
Active:          94592 kB
Inactive:       139964 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        776600 kB
SwapTotal:     2097136 kB
SwapFree:      2096036 kB
Dirty:              44 kB
Writeback:           0 kB
Mapped:           5692 kB
Slab:            17552 kB
Committed_AS:    63732 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 08:02:25 (client local time) WITH STATUS 143 IN 1312.55 SECONDS
stats: 20837 7 1312.55 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/wulflinc6/normalized-mps-v2-20-10-dfl001.opb
c reading problem ... 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
s UNKNOWN
c Total CPU time (ms) : 1309.202
#### 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.97 0.99 2/54 5268
Raw data (stat): 5268 (runsolver) R 5267 25568 25567 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 778930761 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.0008 s]
Raw data (loadavg): 0.94 0.97 0.99 2/63 5277
Raw data (stat): 5268 (java) R 5267 25568 25567 0 -1 0 18005 0 1 0 880 36 0 0 25 0 10 0 778930761 853749760 19365 4294967295 134512640 134569956 3221224368 3221214416 1076461336 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208435 19365 13086 16 0 208419 0
vsize: 833740
[startup+20.0015 s]
Raw data (loadavg): 0.95 0.97 0.99 2/63 5277
Raw data (stat): 5268 (java) R 5267 25568 25567 0 -1 0 18005 0 1 0 1779 37 0 0 19 0 10 0 778930761 853749760 19877 4294967295 134512640 134569956 3221224368 3221214648 1131191274 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208435 19877 13086 16 0 208419 0
vsize: 833740
[startup+30.0017 s]
Raw data (loadavg): 0.95 0.97 0.99 2/63 5277
Raw data (stat): 5268 (java) R 5267 25568 25567 0 -1 0 18005 0 1 0 2666 37 0 0 18 0 10 0 778930761 853749760 20403 4294967295 134512640 134569956 3221224368 3221214688 1131190401 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208435 20403 13086 16 0 208419 0
vsize: 833740
[startup+40.0025 s]
Raw data (loadavg): 0.96 0.97 0.99 2/63 5277
Raw data (stat): 5268 (java) R 5267 25568 25567 0 -1 0 18005 0 1 0 3581 38 0 0 22 0 10 0 778930761 853921792 20743 4294967295 134512640 134569956 3221224368 3221214756 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208477 20743 13086 16 0 208461 0
vsize: 833908
[startup+50.0037 s]
Raw data (loadavg): 0.97 0.97 0.99 2/63 5277
Raw data (stat): 5268 (java) R 5267 25568 25567 0 -1 0 18005 0 1 0 4502 38 0 0 24 0 10 0 778930761 853749760 20873 4294967295 134512640 134569956 3221224368 3221214756 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208435 20873 13086 16 0 208419 0
vsize: 833740
[startup+60.0041 s]
Raw data (loadavg): 0.97 0.97 0.99 2/63 5277
Raw data (stat): 5268 (java) R 5267 25568 25567 0 -1 0 18005 0 1 0 5423 38 0 0 25 0 10 0 778930761 853749760 21002 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208435 21002 13086 16 0 208419 0
vsize: 833740
[startup+70.0048 s]
Raw data (loadavg): 0.98 0.97 0.99 2/63 5277
Raw data (stat): 5268 (java) R 5267 25568 25567 0 -1 0 18005 0 1 0 6349 38 0 0 24 0 10 0 778930761 853749760 21254 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208435 21254 13086 16 0 208419 0
vsize: 833740
[startup+80.0053 s]
Raw data (loadavg): 0.98 0.97 0.99 2/63 5277
Raw data (stat): 5268 (java) R 5267 25568 25567 0 -1 0 18005 0 1 0 7291 39 0 0 25 0 10 0 778930761 853749760 21353 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208435 21353 13086 16 0 208419 0
vsize: 833740
[startup+90.0056 s]
Raw data (loadavg): 0.98 0.97 0.99 2/63 5277
Raw data (stat): 5268 (java) R 5267 25568 25567 0 -1 0 18005 0 1 0 8230 39 0 0 24 0 10 0 778930761 853749760 21450 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208435 21450 13086 16 0 208419 0
vsize: 833740
[startup+100.011 s]
Raw data (loadavg): 0.98 0.97 0.99 2/63 5277
Raw data (stat): 5268 (java) R 5267 25568 25567 0 -1 0 18005 0 1 0 9175 39 0 0 25 0 10 0 778930761 853749760 21535 4294967295 134512640 134569956 3221224368 3221214216 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208435 21535 13086 16 0 208419 0
vsize: 833740
[startup+110.011 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5277
Raw data (stat): 5268 (java) R 5267 25568 25567 0 -1 0 18005 0 1 0 10116 39 0 0 24 0 10 0 778930761 853749760 21620 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208435 21620 13086 16 0 208419 0
vsize: 833740
[startup+120.011 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5277
Raw data (stat): 5268 (java) R 5267 25568 25567 0 -1 0 18005 0 1 0 11061 40 0 0 25 0 10 0 778930761 853749760 21694 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208435 21694 13086 16 0 208419 0
vsize: 833740
[startup+130.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5277
Raw data (stat): 5268 (java) R 5267 25568 25567 0 -1 0 18005 0 1 0 12001 40 0 0 18 0 10 0 778930761 853749760 21769 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208435 21769 13086 16 0 208419 0
vsize: 833740
[startup+140.011 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5277
Raw data (stat): 5268 (java) R 5267 25568 25567 0 -1 0 18005 0 1 0 12945 41 0 0 21 0 10 0 778930761 853749760 21836 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208435 21836 13086 16 0 208419 0
vsize: 833740
[startup+150.011 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5277
Raw data (stat): 5268 (java) R 5267 25568 25567 0 -1 0 18005 0 1 0 13886 41 0 0 18 0 10 0 778930761 853749760 21905 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208435 21905 13086 16 0 208419 0
vsize: 833740
[startup+160.016 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5277
Raw data (stat): 5268 (java) R 5267 25568 25567 0 -1 0 18005 0 1 0 14826 41 0 0 17 0 10 0 778930761 853749760 21970 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208435 21970 13086 16 0 208419 0
vsize: 833740
[startup+170.016 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5277
Raw data (stat): 5268 (java) R 5267 25568 25567 0 -1 0 18005 0 1 0 15771 42 0 0 20 0 10 0 778930761 853749760 22030 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208435 22030 13086 16 0 208419 0
vsize: 833740
[startup+180.017 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5277
Raw data (stat): 5268 (java) R 5267 25568 25567 0 -1 0 18005 0 1 0 16685 42 0 0 20 0 10 0 778930761 853749760 22087 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208435 22087 13086 16 0 208419 0
vsize: 833740
[startup+190.017 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5277
Raw data (stat): 5268 (java) S 5267 25568 25567 0 -1 0 18005 0 1 0 17602 43 0 0 21 0 10 0 778930761 853749760 22401 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208435 22401 13086 16 0 208419 0
vsize: 833740
[startup+200.018 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5277
Raw data (stat): 5268 (java) R 5267 25568 25567 0 -1 0 18005 0 1 0 18542 43 0 0 18 0 10 0 778930761 853749760 22457 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208435 22457 13086 16 0 208419 0
vsize: 833740
[startup+210.018 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5277
Raw data (stat): 5268 (java) R 5267 25568 25567 0 -1 0 18005 0 1 0 19479 43 0 0 20 0 10 0 778930761 853749760 22513 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208435 22513 13086 16 0 208419 0
vsize: 833740
[startup+220.019 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5277
Raw data (stat): 5268 (java) R 5267 25568 25567 0 -1 0 18005 0 1 0 20421 44 0 0 24 0 10 0 778930761 853749760 22564 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208435 22564 13086 16 0 208419 0
vsize: 833740
[startup+230.019 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5277
Raw data (stat): 5268 (java) R 5267 25568 25567 0 -1 0 18005 0 1 0 21359 44 0 0 24 0 10 0 778930761 853749760 22618 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208435 22618 13086 16 0 208419 0
vsize: 833740
[startup+240.019 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5277
Raw data (stat): 5268 (java) R 5267 25568 25567 0 -1 0 18005 0 1 0 22300 44 0 0 25 0 10 0 778930761 853749760 22667 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208435 22667 13086 16 0 208419 0
vsize: 833740
[startup+250.019 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5277
Raw data (stat): 5268 (java) R 5267 25568 25567 0 -1 0 18005 0 1 0 23241 44 0 0 25 0 10 0 778930761 853749760 22714 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208435 22714 13086 16 0 208419 0
vsize: 833740
[startup+260.019 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5277
Raw data (stat): 5268 (java) R 5267 25568 25567 0 -1 0 18005 0 1 0 24178 44 0 0 25 0 10 0 778930761 853749760 22764 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208435 22764 13086 16 0 208419 0
vsize: 833740
[startup+270.019 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5277
Raw data (stat): 5268 (java) R 5267 25568 25567 0 -1 0 18005 0 1 0 25118 44 0 0 20 0 10 0 778930761 853749760 22809 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208435 22809 13086 16 0 208419 0
vsize: 833740
[startup+280.023 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5277
Raw data (stat): 5268 (java) R 5267 25568 25567 0 -1 0 18005 0 1 0 26053 44 0 0 17 0 10 0 778930761 853749760 22856 4294967295 134512640 134569956 3221224368 3221214252 1079300831 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208435 22856 13086 16 0 208419 0
vsize: 833740
[startup+290.023 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5277
Raw data (stat): 5268 (java) R 5267 25568 25567 0 -1 0 18005 0 1 0 26991 45 0 0 20 0 10 0 778930761 853749760 22900 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208435 22900 13086 16 0 208419 0
vsize: 833740
[startup+300.024 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5277
Raw data (stat): 5268 (java) R 5267 25568 25567 0 -1 0 18005 0 1 0 27926 45 0 0 17 0 10 0 778930761 853749760 22945 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208435 22945 13086 16 0 208419 0
vsize: 833740
[startup+310.026 s]
Raw data (loadavg): 0.99 0.97 0.99 3/63 5277
Raw data (stat): 5268 (java) R 5267 25568 25567 0 -1 0 18005 0 1 0 28863 46 0 0 19 0 10 0 778930761 853749760 22987 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208435 22987 13086 16 0 208419 0
vsize: 833740
[startup+320.026 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5277
Raw data (stat): 5268 (java) R 5267 25568 25567 0 -1 0 18005 0 1 0 29800 46 0 0 20 0 10 0 778930761 853749760 23029 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208435 23029 13086 16 0 208419 0
vsize: 833740
[startup+330.026 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5277
Raw data (stat): 5268 (java) R 5267 25568 25567 0 -1 0 18005 0 1 0 30733 46 0 0 17 0 10 0 778930761 853749760 23072 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208435 23072 13086 16 0 208419 0
vsize: 833740
[startup+340.027 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5277
Raw data (stat): 5268 (java) R 5267 25568 25567 0 -1 0 18005 0 1 0 31669 47 0 0 20 0 10 0 778930761 853749760 23112 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208435 23112 13086 16 0 208419 0
vsize: 833740
[startup+350.027 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5277
Raw data (stat): 5268 (java) R 5267 25568 25567 0 -1 0 18005 0 1 0 32601 47 0 0 16 0 10 0 778930761 853749760 23155 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208435 23155 13086 16 0 208419 0
vsize: 833740
[startup+360.028 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5277
Raw data (stat): 5268 (java) R 5267 25568 25567 0 -1 0 18005 0 1 0 33536 48 0 0 18 0 10 0 778930761 853749760 23193 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208435 23193 13086 16 0 208419 0
vsize: 833740
[startup+370.029 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5277
Raw data (stat): 5268 (java) R 5267 25568 25567 0 -1 0 18005 0 1 0 34471 48 0 0 20 0 10 0 778930761 853749760 23232 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208435 23232 13086 16 0 208419 0
vsize: 833740
[startup+380.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5277
Raw data (stat): 5268 (java) R 5267 25568 25567 0 -1 0 18005 0 1 0 35402 48 0 0 21 0 10 0 778930761 853749760 23271 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208435 23271 13086 16 0 208419 0
vsize: 833740
[startup+390.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5277
Raw data (stat): 5268 (java) R 5267 25568 25567 0 -1 0 18005 0 1 0 36336 49 0 0 18 0 10 0 778930761 853749760 23309 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208435 23309 13086 16 0 208419 0
vsize: 833740
[startup+400.031 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5277
Raw data (stat): 5268 (java) R 5267 25568 25567 0 -1 0 18005 0 1 0 37270 49 0 0 20 0 10 0 778930761 853749760 23345 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208435 23345 13086 16 0 208419 0
vsize: 833740
[startup+410.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5277
Raw data (stat): 5268 (java) R 5267 25568 25567 0 -1 0 18005 0 1 0 38203 50 0 0 22 0 10 0 778930761 853749760 23381 4294967295 134512640 134569956 3221224368 3221214748 1080204166 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208435 23381 13086 16 0 208419 0
vsize: 833740
[startup+420.032 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5277
Raw data (stat): 5268 (java) R 5267 25568 25567 0 -1 0 18005 0 1 0 39131 50 0 0 17 0 10 0 778930761 853749760 23419 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208435 23419 13086 16 0 208419 0
vsize: 833740
[startup+430.033 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5277
Raw data (stat): 5268 (java) R 5267 25568 25567 0 -1 0 18005 0 1 0 40063 50 0 0 17 0 10 0 778930761 853749760 23454 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208435 23454 13086 16 0 208419 0
vsize: 833740
[startup+440.033 s]
Raw data (loadavg): 1.07 0.99 0.99 2/63 5277
Raw data (stat): 5268 (java) R 5267 25568 25567 0 -1 0 18005 0 1 0 40995 51 0 0 17 0 10 0 778930761 853749760 23489 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208435 23489 13086 16 0 208419 0
vsize: 833740
[startup+450.034 s]
Raw data (loadavg): 1.06 0.99 0.99 2/63 5277
Raw data (stat): 5268 (java) R 5267 25568 25567 0 -1 0 18005 0 1 0 41927 51 0 0 17 0 10 0 778930761 853749760 23524 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208435 23524 13086 16 0 208419 0
vsize: 833740
[startup+460.034 s]
Raw data (loadavg): 1.13 1.00 1.00 2/63 5277
Raw data (stat): 5268 (java) R 5267 25568 25567 0 -1 0 18005 0 1 0 42854 52 0 0 17 0 10 0 778930761 853749760 23560 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208435 23560 13086 16 0 208419 0
vsize: 833740
[startup+470.034 s]
Raw data (loadavg): 1.11 1.00 1.00 2/63 5277
Raw data (stat): 5268 (java) R 5267 25568 25567 0 -1 0 18005 0 1 0 43785 52 0 0 17 0 10 0 778930761 853749760 23593 4294967295 134512640 134569956 3221224368 3221214120 1076409067 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208435 23593 13086 16 0 208419 0
vsize: 833740
[startup+480.035 s]
Raw data (loadavg): 1.09 1.00 1.00 2/63 5277
Raw data (stat): 5268 (java) R 5267 25568 25567 0 -1 0 18005 0 1 0 44715 52 0 0 17 0 10 0 778930761 853749760 23627 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208435 23627 13086 16 0 208419 0
vsize: 833740
[startup+490.036 s]
Raw data (loadavg): 1.08 1.00 1.00 2/63 5277
Raw data (stat): 5268 (java) R 5267 25568 25567 0 -1 0 18005 0 1 0 45645 52 0 0 17 0 10 0 778930761 853749760 23660 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208435 23660 13086 16 0 208419 0
vsize: 833740
[startup+500.037 s]
Raw data (loadavg): 1.06 1.00 1.00 2/63 5277
Raw data (stat): 5268 (java) R 5267 25568 25567 0 -1 0 18005 0 1 0 46574 53 0 0 17 0 10 0 778930761 853749760 23693 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208435 23693 13086 16 0 208419 0
vsize: 833740
[startup+510.041 s]
Raw data (loadavg): 1.05 1.00 1.00 2/63 5277
Raw data (stat): 5268 (java) S 5267 25568 25567 0 -1 0 18005 0 1 0 47500 54 0 0 17 0 10 0 778930761 853749760 23726 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208435 23726 13086 16 0 208419 0
vsize: 833740
[startup+520.042 s]
Raw data (loadavg): 1.04 1.00 1.00 2/63 5277
Raw data (stat): 5268 (java) R 5267 25568 25567 0 -1 0 18005 0 1 0 48428 54 0 0 17 0 10 0 778930761 853749760 23759 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208435 23759 13086 16 0 208419 0
vsize: 833740
[startup+530.042 s]
Raw data (loadavg): 1.04 1.00 1.00 2/63 5277
Raw data (stat): 5268 (java) R 5267 25568 25567 0 -1 0 18005 0 1 0 49356 55 0 0 17 0 10 0 778930761 853749760 23791 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208435 23791 13086 16 0 208419 0
vsize: 833740
[startup+540.045 s]
Raw data (loadavg): 1.03 1.00 1.00 2/63 5277
Raw data (stat): 5268 (java) R 5267 25568 25567 0 -1 0 18005 0 1 0 50284 55 0 0 17 0 10 0 778930761 853749760 23822 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208435 23822 13086 16 0 208419 0
vsize: 833740
[startup+550.05 s]
Raw data (loadavg): 1.03 1.00 1.00 2/63 5277
Raw data (stat): 5268 (java) R 5267 25568 25567 0 -1 0 18005 0 1 0 51213 55 0 0 16 0 10 0 778930761 853749760 23853 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208435 23853 13086 16 0 208419 0
vsize: 833740
[startup+560.051 s]
Raw data (loadavg): 1.02 1.00 1.00 2/63 5277
Raw data (stat): 5268 (java) R 5267 25568 25567 0 -1 0 18005 0 1 0 52141 55 0 0 16 0 10 0 778930761 853749760 23883 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208435 23883 13086 16 0 208419 0
vsize: 833740
[startup+570.051 s]
Raw data (loadavg): 1.02 1.00 1.00 2/63 5277
Raw data (stat): 5268 (java) R 5267 25568 25567 0 -1 0 18005 0 1 0 53069 56 0 0 16 0 10 0 778930761 853749760 23914 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208435 23914 13086 16 0 208419 0
vsize: 833740
[startup+580.051 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 5277
Raw data (stat): 5268 (java) R 5267 25568 25567 0 -1 0 18005 0 1 0 53992 56 0 0 16 0 10 0 778930761 853749760 23946 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208435 23946 13086 16 0 208419 0
vsize: 833740
[startup+590.051 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 5277
Raw data (stat): 5268 (java) R 5267 25568 25567 0 -1 0 18005 0 1 0 54919 56 0 0 16 0 10 0 778930761 853749760 23976 4294967295 134512640 134569956 3221224368 3221214740 1079678050 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208435 23976 13086 16 0 208419 0
vsize: 833740
[startup+600.052 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 5277
Raw data (stat): 5268 (java) R 5267 25568 25567 0 -1 0 18005 0 1 0 55846 56 0 0 17 0 10 0 778930761 853749760 24005 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208435 24005 13086 16 0 208419 0
vsize: 833740
[startup+610.052 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 5277
Raw data (stat): 5268 (java) R 5267 25568 25567 0 -1 0 18005 0 1 0 56772 56 0 0 16 0 10 0 778930761 853749760 24034 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208435 24034 13086 16 0 208419 0
vsize: 833740
[startup+620.052 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 5277
Raw data (stat): 5268 (java) R 5267 25568 25567 0 -1 0 18005 0 1 0 57698 56 0 0 16 0 10 0 778930761 853749760 24063 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208435 24063 13086 16 0 208419 0
vsize: 833740
[startup+630.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5277
Raw data (stat): 5268 (java) R 5267 25568 25567 0 -1 0 18005 0 1 0 58624 57 0 0 16 0 10 0 778930761 853749760 24092 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208435 24092 13086 16 0 208419 0
vsize: 833740
[startup+640.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5277
Raw data (stat): 5268 (java) R 5267 25568 25567 0 -1 0 18005 0 1 0 59548 57 0 0 17 0 10 0 778930761 853749760 24121 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208435 24121 13086 16 0 208419 0
vsize: 833740
[startup+650.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5277
Raw data (stat): 5268 (java) R 5267 25568 25567 0 -1 0 18005 0 1 0 60472 57 0 0 17 0 10 0 778930761 853749760 24149 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208435 24149 13086 16 0 208419 0
vsize: 833740
[startup+660.059 s]
Raw data (loadavg): 1.08 1.02 1.01 2/63 5277
Raw data (stat): 5268 (java) R 5267 25568 25567 0 -1 0 18005 0 1 0 61396 58 0 0 17 0 10 0 778930761 853749760 24178 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208435 24178 13086 16 0 208419 0
vsize: 833740
[startup+670.059 s]
Raw data (loadavg): 1.07 1.02 1.00 2/63 5277
Raw data (stat): 5268 (java) R 5267 25568 25567 0 -1 0 18005 0 1 0 62311 58 0 0 17 0 10 0 778930761 853749760 25095 4294967295 134512640 134569956 3221224368 3221214712 1131045363 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208435 25095 13086 16 0 208419 0
vsize: 833740
[startup+680.059 s]
Raw data (loadavg): 1.06 1.01 1.00 2/63 5277
Raw data (stat): 5268 (java) R 5267 25568 25567 0 -1 0 18005 0 1 0 63237 59 0 0 17 0 10 0 778930761 853749760 25095 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208435 25095 13086 16 0 208419 0
vsize: 833740
[startup+690.06 s]
Raw data (loadavg): 1.05 1.01 1.00 2/63 5277
Raw data (stat): 5268 (java) R 5267 25568 25567 0 -1 0 18005 0 1 0 64153 59 0 0 17 0 10 0 778930761 853749760 25104 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208435 25104 13086 16 0 208419 0
vsize: 833740
[startup+700.061 s]
Raw data (loadavg): 1.04 1.01 1.00 2/63 5277
Raw data (stat): 5268 (java) R 5267 25568 25567 0 -1 0 18005 0 1 0 65066 60 0 0 17 0 10 0 778930761 853749760 25131 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208435 25131 13086 16 0 208419 0
vsize: 833740
[startup+710.064 s]
Raw data (loadavg): 1.03 1.01 1.00 2/63 5277
Raw data (stat): 5268 (java) S 5267 25568 25567 0 -1 0 18005 0 1 0 65980 60 0 0 17 0 10 0 778930761 853749760 25157 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208435 25157 13086 16 0 208419 0
vsize: 833740
[startup+720.067 s]
Raw data (loadavg): 1.03 1.01 1.00 2/63 5277
Raw data (stat): 5268 (java) R 5267 25568 25567 0 -1 0 18005 0 1 0 66897 60 0 0 17 0 10 0 778930761 853749760 25183 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208435 25183 13086 16 0 208419 0
vsize: 833740
[startup+730.068 s]
Raw data (loadavg): 1.02 1.01 1.00 2/63 5277
Raw data (stat): 5268 (java) R 5267 25568 25567 0 -1 0 18005 0 1 0 67810 61 0 0 17 0 10 0 778930761 853749760 25210 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208435 25210 13086 16 0 208419 0
vsize: 833740
[startup+740.069 s]
Raw data (loadavg): 1.02 1.01 1.00 2/63 5277
Raw data (stat): 5268 (java) R 5267 25568 25567 0 -1 0 18005 0 1 0 68722 61 0 0 17 0 10 0 778930761 853749760 25236 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208435 25236 13086 16 0 208419 0
vsize: 833740
[startup+750.07 s]
Raw data (loadavg): 1.02 1.01 1.00 2/63 5277
Raw data (stat): 5268 (java) R 5267 25568 25567 0 -1 0 18005 0 1 0 69634 62 0 0 17 0 10 0 778930761 853749760 25263 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208435 25263 13086 16 0 208419 0
vsize: 833740
[startup+760.072 s]
Raw data (loadavg): 1.01 1.01 1.00 2/63 5277
Raw data (stat): 5268 (java) S 5267 25568 25567 0 -1 0 18005 0 1 0 70546 62 0 0 17 0 10 0 778930761 853749760 25288 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208435 25288 13086 16 0 208419 0
vsize: 833740
[startup+770.073 s]
Raw data (loadavg): 1.01 1.01 1.00 2/63 5277
Raw data (stat): 5268 (java) R 5267 25568 25567 0 -1 0 18005 0 1 0 71461 63 0 0 17 0 10 0 778930761 853749760 25313 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208435 25313 13086 16 0 208419 0
vsize: 833740
[startup+780.077 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 5277
Raw data (stat): 5268 (java) R 5267 25568 25567 0 -1 0 18005 0 1 0 72373 63 0 0 17 0 10 0 778930761 853749760 25339 4294967295 134512640 134569956 3221224368 3221214200 1077558382 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208435 25339 13086 16 0 208419 0
vsize: 833740
[startup+790.078 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 5277
Raw data (stat): 5268 (java) R 5267 25568 25567 0 -1 0 18005 0 1 0 73283 63 0 0 17 0 10 0 778930761 853749760 25365 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208435 25365 13086 16 0 208419 0
vsize: 833740
[startup+800.079 s]
Raw data (loadavg): 1.08 1.02 1.00 2/63 5277
Raw data (stat): 5268 (java) S 5267 25568 25567 0 -1 0 18005 0 1 0 74195 64 0 0 17 0 10 0 778930761 853749760 25389 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208435 25389 13086 16 0 208419 0
vsize: 833740
[startup+810.08 s]
Raw data (loadavg): 1.07 1.02 1.00 2/63 5277
Raw data (stat): 5268 (java) R 5267 25568 25567 0 -1 0 18005 0 1 0 75109 64 0 0 17 0 10 0 778930761 853749760 25414 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208435 25414 13086 16 0 208419 0
vsize: 833740
[startup+820.081 s]
Raw data (loadavg): 1.06 1.02 1.00 2/63 5277
Raw data (stat): 5268 (java) R 5267 25568 25567 0 -1 0 18005 0 1 0 76017 65 0 0 17 0 10 0 778930761 853749760 25439 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208435 25439 13086 16 0 208419 0
vsize: 833740
[startup+830.082 s]
Raw data (loadavg): 1.05 1.02 1.00 2/63 5277
Raw data (stat): 5268 (java) R 5267 25568 25567 0 -1 0 18005 0 1 0 76926 65 0 0 17 0 10 0 778930761 853749760 25464 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208435 25464 13086 16 0 208419 0
vsize: 833740
[startup+840.083 s]
Raw data (loadavg): 1.04 1.02 1.00 2/63 5277
Raw data (stat): 5268 (java) R 5267 25568 25567 0 -1 0 18005 0 1 0 77840 66 0 0 17 0 10 0 778930761 853749760 25488 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208435 25488 13086 16 0 208419 0
vsize: 833740
[startup+850.085 s]
Raw data (loadavg): 1.03 1.01 1.00 2/63 5277
Raw data (stat): 5268 (java) R 5267 25568 25567 0 -1 0 18005 0 1 0 78747 66 0 0 17 0 10 0 778930761 853749760 25513 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208435 25513 13086 16 0 208419 0
vsize: 833740
[startup+860.085 s]
Raw data (loadavg): 1.03 1.01 1.00 2/63 5277
Raw data (stat): 5268 (java) R 5267 25568 25567 0 -1 0 18005 0 1 0 79655 67 0 0 17 0 10 0 778930761 853749760 25538 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208435 25538 13086 16 0 208419 0
vsize: 833740
[startup+870.089 s]
Raw data (loadavg): 1.02 1.01 1.00 2/63 5277
Raw data (stat): 5268 (java) S 5267 25568 25567 0 -1 0 18005 0 1 0 80568 67 0 0 17 0 10 0 778930761 853749760 25561 4294967295 134512640 134569956 3221224368 3221213440 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208435 25561 13086 16 0 208419 0
vsize: 833740
[startup+880.093 s]
Raw data (loadavg): 1.02 1.01 1.00 2/63 5277
Raw data (stat): 5268 (java) R 5267 25568 25567 0 -1 0 18005 0 1 0 81477 68 0 0 17 0 10 0 778930761 853749760 25585 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208435 25585 13086 16 0 208419 0
vsize: 833740
[startup+890.093 s]
Raw data (loadavg): 1.02 1.01 1.00 2/63 5277
Raw data (stat): 5268 (java) R 5267 25568 25567 0 -1 0 18005 0 1 0 82384 68 0 0 17 0 10 0 778930761 853749760 25609 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208435 25609 13086 16 0 208419 0
vsize: 833740
[startup+900.094 s]
Raw data (loadavg): 1.01 1.01 1.00 2/63 5277
Raw data (stat): 5268 (java) R 5267 25568 25567 0 -1 0 18005 0 1 0 83297 68 0 0 17 0 10 0 778930761 853749760 25632 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208435 25632 13086 16 0 208419 0
vsize: 833740
[startup+910.096 s]
Raw data (loadavg): 1.01 1.01 1.00 2/63 5277
Raw data (stat): 5268 (java) R 5267 25568 25567 0 -1 0 18005 0 1 0 84203 69 0 0 17 0 10 0 778930761 853749760 25656 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208435 25656 13086 16 0 208419 0
vsize: 833740
[startup+920.096 s]
Raw data (loadavg): 1.01 1.01 1.00 2/63 5277
Raw data (stat): 5268 (java) R 5267 25568 25567 0 -1 0 18005 0 1 0 85110 69 0 0 17 0 10 0 778930761 853749760 25680 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208435 25680 13086 16 0 208419 0
vsize: 833740
[startup+930.097 s]
Raw data (loadavg): 1.01 1.01 1.00 2/63 5277
Raw data (stat): 5268 (java) R 5267 25568 25567 0 -1 0 18005 0 1 0 86022 69 0 0 17 0 10 0 778930761 853749760 25702 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208435 25702 13086 16 0 208419 0
vsize: 833740
[startup+940.098 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 5277
Raw data (stat): 5268 (java) R 5267 25568 25567 0 -1 0 18005 0 1 0 86927 70 0 0 17 0 10 0 778930761 853749760 25725 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208435 25725 13086 16 0 208419 0
vsize: 833740
[startup+950.098 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5277
Raw data (stat): 5268 (java) R 5267 25568 25567 0 -1 0 18005 0 1 0 87833 70 0 0 16 0 10 0 778930761 853749760 25749 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208435 25749 13086 16 0 208419 0
vsize: 833740
[startup+960.099 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5277
Raw data (stat): 5268 (java) R 5267 25568 25567 0 -1 0 18005 0 1 0 88744 70 0 0 17 0 10 0 778930761 853749760 25771 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208435 25771 13086 16 0 208419 0
vsize: 833740
[startup+970.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5277
Raw data (stat): 5268 (java) R 5267 25568 25567 0 -1 0 18005 0 1 0 89647 71 0 0 17 0 10 0 778930761 853749760 25794 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208435 25794 13086 16 0 208419 0
vsize: 833740
[startup+980.103 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5277
Raw data (stat): 5268 (java) S 5267 25568 25567 0 -1 0 18005 0 1 0 90556 72 0 0 17 0 10 0 778930761 853749760 25816 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208435 25816 13086 16 0 208419 0
vsize: 833740
[startup+990.107 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5277
Raw data (stat): 5268 (java) R 5267 25568 25567 0 -1 0 18005 0 1 0 91463 72 0 0 17 0 10 0 778930761 853749760 25838 4294967295 134512640 134569956 3221224368 3221214216 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208435 25838 13086 16 0 208419 0
vsize: 833740
[startup+1000.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5277
Raw data (stat): 5268 (java) R 5267 25568 25567 0 -1 0 18005 0 1 0 92368 72 0 0 16 0 10 0 778930761 853749760 25861 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208435 25861 13086 16 0 208419 0
vsize: 833740
[startup+1010.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5277
Raw data (stat): 5268 (java) R 5267 25568 25567 0 -1 0 18005 0 1 0 93278 73 0 0 16 0 10 0 778930761 853749760 25886 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208435 25886 13086 16 0 208419 0
vsize: 833740
[startup+1020.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5277
Raw data (stat): 5268 (java) R 5267 25568 25567 0 -1 0 18005 0 1 0 94183 73 0 0 16 0 10 0 778930761 853749760 25909 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208435 25909 13086 16 0 208419 0
vsize: 833740
[startup+1030.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5277
Raw data (stat): 5268 (java) R 5267 25568 25567 0 -1 0 18005 0 1 0 95088 73 0 0 16 0 10 0 778930761 853749760 25931 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208435 25931 13086 16 0 208419 0
vsize: 833740
[startup+1040.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5277
Raw data (stat): 5268 (java) R 5267 25568 25567 0 -1 0 18005 0 1 0 95998 74 0 0 16 0 10 0 778930761 853749760 25963 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208435 25963 13086 16 0 208419 0
vsize: 833740
[startup+1050.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5277
Raw data (stat): 5268 (java) R 5267 25568 25567 0 -1 0 18005 0 1 0 96902 75 0 0 16 0 10 0 778930761 853749760 25986 4294967295 134512640 134569956 3221224368 3221214748 1080204166 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208435 25986 13086 16 0 208419 0
vsize: 833740
[startup+1060.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5277
Raw data (stat): 5268 (java) R 5267 25568 25567 0 -1 0 18005 0 1 0 97805 75 0 0 16 0 10 0 778930761 853749760 26014 4294967295 134512640 134569956 3221224368 3221214740 1080203551 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208435 26014 13086 16 0 208419 0
vsize: 833740
[startup+1070.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5277
Raw data (stat): 5268 (java) R 5267 25568 25567 0 -1 0 18005 0 1 0 98714 75 0 0 16 0 10 0 778930761 853749760 26039 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208435 26039 13086 16 0 208419 0
vsize: 833740
[startup+1080.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5277
Raw data (stat): 5268 (java) R 5267 25568 25567 0 -1 0 18005 0 1 0 99614 76 0 0 16 0 10 0 778930761 853749760 26065 4294967295 134512640 134569956 3221224368 3221214200 1077558368 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208435 26065 13086 16 0 208419 0
vsize: 833740
[startup+1090.14 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5277
Raw data (stat): 5268 (java) S 5267 25568 25567 0 -1 0 18005 0 1 0 100522 76 0 0 16 0 10 0 778930761 853749760 26089 4294967295 134512640 134569956 3221224368 3221213440 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208435 26089 13086 16 0 208419 0
vsize: 833740
[startup+1100.14 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5277
Raw data (stat): 5268 (java) R 5267 25568 25567 0 -1 0 18005 0 1 0 101426 76 0 0 16 0 10 0 778930761 853749760 26115 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208435 26115 13086 16 0 208419 0
vsize: 833740
[startup+1110.14 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5277
Raw data (stat): 5268 (java) R 5267 25568 25567 0 -1 0 18005 0 1 0 102328 76 0 0 16 0 10 0 778930761 853749760 26140 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208435 26140 13086 16 0 208419 0
vsize: 833740
[startup+1120.14 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5277
Raw data (stat): 5268 (java) R 5267 25568 25567 0 -1 0 18005 0 1 0 103236 76 0 0 16 0 10 0 778930761 853749760 26161 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208435 26161 13086 16 0 208419 0
vsize: 833740
[startup+1130.15 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5277
Raw data (stat): 5268 (java) R 5267 25568 25567 0 -1 0 18005 0 1 0 104137 77 0 0 16 0 10 0 778930761 853749760 26189 4294967295 134512640 134569956 3221224368 3221214200 1077558368 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208435 26189 13086 16 0 208419 0
vsize: 833740
[startup+1140.15 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5277
Raw data (stat): 5268 (java) S 5267 25568 25567 0 -1 0 18005 0 1 0 105038 77 0 0 16 0 10 0 778930761 853749760 26212 4294967295 134512640 134569956 3221224368 3221213440 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208435 26212 13086 16 0 208419 0
vsize: 833740
[startup+1150.16 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5277
Raw data (stat): 5268 (java) R 5267 25568 25567 0 -1 0 18005 0 1 0 105945 77 0 0 16 0 10 0 778930761 853749760 26235 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208435 26235 13086 16 0 208419 0
vsize: 833740
[startup+1160.16 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5277
Raw data (stat): 5268 (java) R 5267 25568 25567 0 -1 0 18005 0 1 0 106846 77 0 0 16 0 10 0 778930761 853749760 26256 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208435 26256 13086 16 0 208419 0
vsize: 833740
[startup+1170.16 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5277
Raw data (stat): 5268 (java) S 5267 25568 25567 0 -1 0 18005 0 1 0 107751 78 0 0 16 0 10 0 778930761 853749760 26285 4294967295 134512640 134569956 3221224368 3221213440 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208435 26285 13086 16 0 208419 0
vsize: 833740
[startup+1180.16 s]
Raw data (loadavg): 1.15 1.03 1.01 2/63 5330
Raw data (stat): 5268 (java) R 5267 25568 25567 0 -1 0 18005 0 1 0 108651 78 0 0 17 0 10 0 778930761 853749760 26307 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208435 26307 13086 16 0 208419 0
vsize: 833740
[startup+1190.16 s]
Raw data (loadavg): 1.12 1.03 1.01 2/63 5330
Raw data (stat): 5268 (java) R 5267 25568 25567 0 -1 0 18005 0 1 0 109556 78 0 0 17 0 10 0 778930761 853749760 26329 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208435 26329 13086 16 0 208419 0
vsize: 833740
[startup+1200.16 s]
Raw data (loadavg): 1.10 1.03 1.01 2/63 5330
Raw data (stat): 5268 (java) R 5267 25568 25567 0 -1 0 18005 0 1 0 110455 79 0 0 16 0 10 0 778930761 853749760 26357 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208435 26357 13086 16 0 208419 0
vsize: 833740
[startup+1210.16 s]
Raw data (loadavg): 1.09 1.03 1.01 2/63 5330
Raw data (stat): 5268 (java) S 5267 25568 25567 0 -1 0 18005 0 1 0 111359 79 0 0 16 0 10 0 778930761 853749760 26379 4294967295 134512640 134569956 3221224368 3221213352 1073952481 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208435 26379 13086 16 0 208419 0
vsize: 833740
[startup+1220.17 s]
Raw data (loadavg): 1.07 1.03 1.01 2/63 5330
Raw data (stat): 5268 (java) R 5267 25568 25567 0 -1 0 18005 0 1 0 112257 80 0 0 16 0 10 0 778930761 853749760 26403 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208435 26403 13086 16 0 208419 0
vsize: 833740
[startup+1230.17 s]
Raw data (loadavg): 1.06 1.03 1.01 2/63 5330
Raw data (stat): 5268 (java) R 5267 25568 25567 0 -1 0 18005 0 1 0 113162 80 0 0 16 0 10 0 778930761 853749760 26425 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208435 26425 13086 16 0 208419 0
vsize: 833740
[startup+1240.17 s]
Raw data (loadavg): 1.05 1.02 1.00 2/63 5330
Raw data (stat): 5268 (java) R 5267 25568 25567 0 -1 0 18005 0 1 0 114060 80 0 0 16 0 10 0 778930761 853749760 26445 4294967295 134512640 134569956 3221224368 3221214216 1080019741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208435 26445 13086 16 0 208419 0
vsize: 833740
[startup+1250.17 s]
Raw data (loadavg): 1.04 1.02 1.00 2/63 5332
Raw data (stat): 5268 (java) R 5267 25568 25567 0 -1 0 18005 0 1 0 114965 80 0 0 16 0 10 0 778930761 853749760 26465 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208435 26465 13086 16 0 208419 0
vsize: 833740
[startup+1260.17 s]
Raw data (loadavg): 1.04 1.02 1.00 2/63 5332
Raw data (stat): 5268 (java) R 5267 25568 25567 0 -1 0 18005 0 1 0 115862 81 0 0 17 0 10 0 778930761 853749760 26485 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208435 26485 13086 16 0 208419 0
vsize: 833740
[startup+1270.17 s]
Raw data (loadavg): 1.03 1.02 1.00 2/63 5332
Raw data (stat): 5268 (java) R 5267 25568 25567 0 -1 0 18005 0 1 0 116765 81 0 0 17 0 10 0 778930761 853749760 26520 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208435 26520 13086 16 0 208419 0
vsize: 833740
[startup+1280.17 s]
Raw data (loadavg): 1.02 1.02 1.00 2/63 5332
Raw data (stat): 5268 (java) S 5267 25568 25567 0 -1 0 18005 0 1 0 117662 82 0 0 17 0 10 0 778930761 853749760 26535 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208435 26535 13086 16 0 208419 0
vsize: 833740
[startup+1290.17 s]
Raw data (loadavg): 1.02 1.02 1.00 2/63 5332
Raw data (stat): 5268 (java) R 5267 25568 25567 0 -1 0 18005 0 1 0 118566 82 0 0 17 0 10 0 778930761 853749760 26571 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208435 26571 13086 16 0 208419 0
vsize: 833740
[startup+1300.17 s]
Raw data (loadavg): 1.02 1.02 1.00 2/63 5332
Raw data (stat): 5268 (java) R 5267 25568 25567 0 -1 0 18005 0 1 0 119471 82 0 0 17 0 10 0 778930761 853749760 26594 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208435 26594 13086 16 0 208419 0
vsize: 833740
[startup+1310.17 s]
Raw data (loadavg): 1.01 1.02 1.00 2/63 5332
Raw data (stat): 5268 (java) R 5267 25568 25567 0 -1 0 18005 0 1 0 120370 83 0 0 17 0 10 0 778930761 853749760 26609 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208435 26609 13086 16 0 208419 0
vsize: 833740
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1310.24 s]
Raw data (loadavg): 1.01 1.02 1.00 1/54 5334
Raw data (stat): 5268 (java) Z 5267 25568 25567 0 -1 1036 18005 8896 1 0 120371 88 10749 45 17 0 1 0 778930761 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): 1310.24
CPU time (s): 1312.55
CPU user time (s): 1311.21
CPU system time (s): 1.3398
CPU usage (%): 100.177
Max. virtual memory (Kb): 833908
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####