PB'05 competition: run trace

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:
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.
SOLVER DATA
This is the output of the solver (stdout and stderr).
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.
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

Name	normalized-opb/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos3.opb
MD5SUM	aa121475b5e53120a1d24de3f0361b26
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	155
Biggest coefficient in the objective function	1073741824
Number of bits for the biggest coefficient in the objective function	31
Sum of the numbers in the objective function	10737418235
Number of bits of the sum of numbers in the objective function	34
Biggest number in a constraint	2454208150643933184000
Number of bits of the biggest number in a constraint	72
Biggest sum of numbers in a constraint	289272765430218954375168
Number of bits of the biggest sum of numbers	78
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.404937
Number of variables	42220
Total number of constraints	2841
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	1377
Number of constraints which are nor clauses,nor cardinality constraints	1464
Minimum length of a constraint	1
Maximum length of a constraint	4780
Trace number 29738

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc26 THE 2005-05-25 11:00:42 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=21142 boxname=wulflinc26 idbench=1130 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  aa121475b5e53120a1d24de3f0361b26  /oldhome/oroussel/tmp/wulflinc26/normalized-mps-v2-20-10-neos3.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc26/normalized-mps-v2-20-10-neos3.opb
IDLAUNCH: 21142
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.061
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.061
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        367956 kB
Buffers:         36884 kB
Cached:         606080 kB
SwapCached:        656 kB
Active:         148384 kB
Inactive:       497260 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        367704 kB
SwapTotal:     2097892 kB
SwapFree:      2096880 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6032 kB
Slab:            15348 kB
Committed_AS:    63732 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 11:21:35 (client local time) WITH STATUS 143 IN 1248.53 SECONDS
stats: 21142 7 1248.53 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/wulflinc26/normalized-mps-v2-20-10-neos3.opb
c reading problem ... done. Time 498.47 ms.
c #vars     42220
c #constraints  1537
c starts	: 1
c conflicts	: 33
c decisions	: 12611
c propagations	: 56910
c inspects	: 69599
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 33
c root simplifications	: 33
s UNKNOWN
c Total CPU time (ms) : 1249.114
#### 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.90 0.98 0.99 2/54 2891
Raw data (stat): 2891 (runsolver) R 2890 20687 20686 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 838360617 1052672 99 4294967295 134512640 135381576 3221224400 3221219620 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0017 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 2900
Raw data (stat): 2891 (java) R 2890 20687 20686 0 -1 0 18054 0 1 0 822 40 0 0 25 0 10 0 838360617 855076864 19605 4294967295 134512640 134569956 3221224368 3221214472 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208759 19605 13086 16 0 208743 0
vsize: 835036
[startup+20.0025 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 2900
Raw data (stat): 2891 (java) R 2890 20687 20686 0 -1 0 18054 0 1 0 1724 41 0 0 25 0 10 0 838360617 855044096 20109 4294967295 134512640 134569956 3221224368 3221214652 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208751 20109 13086 16 0 208735 0
vsize: 835004
[startup+30.0025 s]
Raw data (loadavg): 1.07 1.01 1.00 2/63 2902
Raw data (stat): 2891 (java) R 2890 20687 20686 0 -1 0 18054 0 1 0 2593 41 0 0 25 0 10 0 838360617 855244800 20610 4294967295 134512640 134569956 3221224368 3221214424 1076461336 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208800 20610 13086 16 0 208784 0
vsize: 835200
[startup+40.0026 s]
Raw data (loadavg): 1.06 1.01 1.00 2/63 2902
Raw data (stat): 2891 (java) R 2890 20687 20686 0 -1 0 18054 0 1 0 3498 41 0 0 21 0 10 0 838360617 854425600 20724 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208600 20724 13086 16 0 208584 0
vsize: 834400
[startup+50.0034 s]
Raw data (loadavg): 1.05 1.01 1.00 2/63 2902
Raw data (stat): 2891 (java) R 2890 20687 20686 0 -1 0 18054 0 1 0 4408 42 0 0 25 0 10 0 838360617 854425600 20974 4294967295 134512640 134569956 3221224368 3221214764 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208600 20974 13086 16 0 208584 0
vsize: 834400
[startup+60.0035 s]
Raw data (loadavg): 1.04 1.01 1.00 2/63 2902
Raw data (stat): 2891 (java) R 2890 20687 20686 0 -1 0 18054 0 1 0 5324 42 0 0 25 0 10 0 838360617 854425600 21105 4294967295 134512640 134569956 3221224368 3221214772 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208600 21105 13086 16 0 208584 0
vsize: 834400
[startup+70.0077 s]
Raw data (loadavg): 1.04 1.01 1.00 2/63 2902
Raw data (stat): 2891 (java) S 2890 20687 20686 0 -1 0 18054 0 1 0 6244 42 0 0 25 0 10 0 838360617 854425600 21279 4294967295 134512640 134569956 3221224368 3221213480 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208600 21279 13086 16 0 208584 0
vsize: 834400
[startup+80.009 s]
Raw data (loadavg): 1.03 1.01 1.00 2/63 2902
Raw data (stat): 2891 (java) R 2890 20687 20686 0 -1 0 18054 0 1 0 7171 42 0 0 25 0 10 0 838360617 854425600 21460 4294967295 134512640 134569956 3221224368 3221214764 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208600 21460 13086 16 0 208584 0
vsize: 834400
[startup+90.0097 s]
Raw data (loadavg): 1.02 1.01 1.00 2/63 2902
Raw data (stat): 2891 (java) R 2890 20687 20686 0 -1 0 18054 0 1 0 8114 42 0 0 25 0 10 0 838360617 854425600 21553 4294967295 134512640 134569956 3221224368 3221214772 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208600 21553 13086 16 0 208584 0
vsize: 834400
[startup+100.01 s]
Raw data (loadavg): 1.02 1.01 1.00 2/63 2902
Raw data (stat): 2891 (java) R 2890 20687 20686 0 -1 0 18054 0 1 0 9053 42 0 0 25 0 10 0 838360617 854425600 21644 4294967295 134512640 134569956 3221224368 3221214224 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208600 21644 13086 16 0 208584 0
vsize: 834400
[startup+110.012 s]
Raw data (loadavg): 1.02 1.01 1.00 2/63 2902
Raw data (stat): 2891 (java) R 2890 20687 20686 0 -1 0 18054 0 1 0 9983 42 0 0 19 0 10 0 838360617 854425600 21711 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208600 21711 13086 16 0 208584 0
vsize: 834400
[startup+120.012 s]
Raw data (loadavg): 1.01 1.01 1.00 2/63 2902
Raw data (stat): 2891 (java) R 2890 20687 20686 0 -1 0 18054 0 1 0 10915 43 0 0 25 0 10 0 838360617 854425600 21770 4294967295 134512640 134569956 3221224368 3221214808 1131179677 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208600 21770 13086 16 0 208584 0
vsize: 834400
[startup+130.012 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 2902
Raw data (stat): 2891 (java) R 2890 20687 20686 0 -1 0 18054 0 1 0 11855 43 0 0 25 0 10 0 838360617 854425600 21935 4294967295 134512640 134569956 3221224368 3221214764 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208600 21935 13086 16 0 208584 0
vsize: 834400
[startup+140.014 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 2902
Raw data (stat): 2891 (java) R 2890 20687 20686 0 -1 0 18054 0 1 0 12797 43 0 0 24 0 10 0 838360617 854425600 21992 4294967295 134512640 134569956 3221224368 3221214772 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208600 21992 13086 16 0 208584 0
vsize: 834400
[startup+150.014 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 2902
Raw data (stat): 2891 (java) R 2890 20687 20686 0 -1 0 18054 0 1 0 13740 43 0 0 25 0 10 0 838360617 854425600 22071 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208600 22071 13086 16 0 208584 0
vsize: 834400
[startup+160.015 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 2902
Raw data (stat): 2891 (java) R 2890 20687 20686 0 -1 0 18054 0 1 0 14676 43 0 0 24 0 10 0 838360617 854425600 22130 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208600 22130 13086 16 0 208584 0
vsize: 834400
[startup+170.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2902
Raw data (stat): 2891 (java) R 2890 20687 20686 0 -1 0 18054 0 1 0 15608 43 0 0 25 0 10 0 838360617 854425600 22177 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208600 22177 13086 16 0 208584 0
vsize: 834400
[startup+180.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2902
Raw data (stat): 2891 (java) R 2890 20687 20686 0 -1 0 18054 0 1 0 16530 43 0 0 25 0 10 0 838360617 854425600 22310 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208600 22310 13086 16 0 208584 0
vsize: 834400
[startup+190.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2902
Raw data (stat): 2891 (java) R 2890 20687 20686 0 -1 0 18054 0 1 0 17458 43 0 0 25 0 10 0 838360617 854425600 22366 4294967295 134512640 134569956 3221224368 3221214764 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208600 22366 13086 16 0 208584 0
vsize: 834400
[startup+200.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2902
Raw data (stat): 2891 (java) R 2890 20687 20686 0 -1 0 18054 0 1 0 18394 44 0 0 25 0 10 0 838360617 854425600 22584 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208600 22584 13086 16 0 208584 0
vsize: 834400
[startup+210.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2902
Raw data (stat): 2891 (java) S 2890 20687 20686 0 -1 0 18054 0 1 0 19333 44 0 0 25 0 10 0 838360617 854425600 22638 4294967295 134512640 134569956 3221224368 3221213480 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208600 22638 13086 16 0 208584 0
vsize: 834400
[startup+220.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2902
Raw data (stat): 2891 (java) R 2890 20687 20686 0 -1 0 18054 0 1 0 20271 44 0 0 25 0 10 0 838360617 854425600 22691 4294967295 134512640 134569956 3221224368 3221214224 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208600 22691 13086 16 0 208584 0
vsize: 834400
[startup+230.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2902
Raw data (stat): 2891 (java) R 2890 20687 20686 0 -1 0 18054 0 1 0 21187 44 0 0 25 0 10 0 838360617 854425600 22732 4294967295 134512640 134569956 3221224368 3221214224 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208600 22732 13086 16 0 208584 0
vsize: 834400
[startup+240.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2902
Raw data (stat): 2891 (java) R 2890 20687 20686 0 -1 0 18054 0 1 0 22103 44 0 0 25 0 10 0 838360617 854425600 22950 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208600 22950 13086 16 0 208584 0
vsize: 834400
[startup+250.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2902
Raw data (stat): 2891 (java) R 2890 20687 20686 0 -1 0 18054 0 1 0 23039 44 0 0 24 0 10 0 838360617 854425600 23001 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208600 23001 13086 16 0 208584 0
vsize: 834400
[startup+260.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2902
Raw data (stat): 2891 (java) R 2890 20687 20686 0 -1 0 18054 0 1 0 23979 45 0 0 25 0 10 0 838360617 854425600 23048 4294967295 134512640 134569956 3221224368 3221214772 1080204167 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208600 23048 13086 16 0 208584 0
vsize: 834400
[startup+270.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2902
Raw data (stat): 2891 (java) R 2890 20687 20686 0 -1 0 18054 0 1 0 24914 45 0 0 24 0 10 0 838360617 854425600 23096 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208600 23096 13086 16 0 208584 0
vsize: 834400
[startup+280.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2902
Raw data (stat): 2891 (java) R 2890 20687 20686 0 -1 0 18054 0 1 0 25853 45 0 0 25 0 10 0 838360617 854425600 23141 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208600 23141 13086 16 0 208584 0
vsize: 834400
[startup+290.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2902
Raw data (stat): 2891 (java) R 2890 20687 20686 0 -1 0 18054 0 1 0 26788 45 0 0 25 0 10 0 838360617 854425600 23188 4294967295 134512640 134569956 3221224368 3221214772 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208600 23188 13086 16 0 208584 0
vsize: 834400
[startup+300.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2904
Raw data (stat): 2891 (java) R 2890 20687 20686 0 -1 0 18054 0 1 0 27715 45 0 0 25 0 10 0 838360617 854425600 23229 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208600 23229 13086 16 0 208584 0
vsize: 834400
[startup+310.029 s]
Raw data (loadavg): 1.15 1.03 1.01 2/63 2904
Raw data (stat): 2891 (java) R 2890 20687 20686 0 -1 0 18054 0 1 0 28628 45 0 0 25 0 10 0 838360617 854425600 23263 4294967295 134512640 134569956 3221224368 3221214764 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208600 23263 13086 16 0 208584 0
vsize: 834400
[startup+320.03 s]
Raw data (loadavg): 1.13 1.03 1.01 2/63 2904
Raw data (stat): 2891 (java) R 2890 20687 20686 0 -1 0 18054 0 1 0 29548 45 0 0 25 0 10 0 838360617 854425600 23478 4294967295 134512640 134569956 3221224368 3221214224 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208600 23478 13086 16 0 208584 0
vsize: 834400
[startup+330.034 s]
Raw data (loadavg): 1.11 1.03 1.01 2/63 2904
Raw data (stat): 2891 (java) S 2890 20687 20686 0 -1 0 18054 0 1 0 30481 45 0 0 25 0 10 0 838360617 854425600 23520 4294967295 134512640 134569956 3221224368 3221213480 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208600 23520 13086 16 0 208584 0
vsize: 834400
[startup+340.034 s]
Raw data (loadavg): 1.09 1.03 1.01 2/63 2904
Raw data (stat): 2891 (java) R 2890 20687 20686 0 -1 0 18054 0 1 0 31417 45 0 0 25 0 10 0 838360617 854425600 23562 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208600 23562 13086 16 0 208584 0
vsize: 834400
[startup+350.035 s]
Raw data (loadavg): 1.08 1.03 1.01 2/63 2904
Raw data (stat): 2891 (java) R 2890 20687 20686 0 -1 0 18054 0 1 0 32352 46 0 0 25 0 10 0 838360617 854425600 23601 4294967295 134512640 134569956 3221224368 3221214772 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208600 23601 13086 16 0 208584 0
vsize: 834400
[startup+360.036 s]
Raw data (loadavg): 1.06 1.03 1.01 2/63 2904
Raw data (stat): 2891 (java) R 2890 20687 20686 0 -1 0 18054 0 1 0 33284 46 0 0 25 0 10 0 838360617 854425600 23643 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208600 23643 13086 16 0 208584 0
vsize: 834400
[startup+370.037 s]
Raw data (loadavg): 1.05 1.02 1.00 2/63 2904
Raw data (stat): 2891 (java) R 2890 20687 20686 0 -1 0 18054 0 1 0 34219 46 0 0 25 0 10 0 838360617 854425600 23681 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208600 23681 13086 16 0 208584 0
vsize: 834400
[startup+380.037 s]
Raw data (loadavg): 1.05 1.02 1.00 2/63 2904
Raw data (stat): 2891 (java) R 2890 20687 20686 0 -1 0 18054 0 1 0 35150 46 0 0 25 0 10 0 838360617 854425600 23722 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208600 23722 13086 16 0 208584 0
vsize: 834400
[startup+390.037 s]
Raw data (loadavg): 1.04 1.02 1.00 2/63 2904
Raw data (stat): 2891 (java) R 2890 20687 20686 0 -1 0 18054 0 1 0 36072 47 0 0 21 0 10 0 838360617 854425600 23758 4294967295 134512640 134569956 3221224368 3221214224 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208600 23758 13086 16 0 208584 0
vsize: 834400
[startup+400.038 s]
Raw data (loadavg): 1.03 1.02 1.00 2/63 2904
Raw data (stat): 2891 (java) R 2890 20687 20686 0 -1 0 18054 0 1 0 36981 47 0 0 20 0 10 0 838360617 854425600 23787 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208600 23787 13086 16 0 208584 0
vsize: 834400
[startup+410.039 s]
Raw data (loadavg): 1.03 1.02 1.00 2/63 2904
Raw data (stat): 2891 (java) R 2890 20687 20686 0 -1 0 18054 0 1 0 37899 47 0 0 25 0 10 0 838360617 854425600 23998 4294967295 134512640 134569956 3221224368 3221214240 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208600 23998 13086 16 0 208584 0
vsize: 834400
[startup+420.039 s]
Raw data (loadavg): 1.02 1.02 1.00 2/63 2904
Raw data (stat): 2891 (java) R 2890 20687 20686 0 -1 0 18054 0 1 0 38832 47 0 0 25 0 10 0 838360617 854425600 24033 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208600 24033 13086 16 0 208584 0
vsize: 834400
[startup+430.04 s]
Raw data (loadavg): 1.02 1.02 1.00 2/63 2904
Raw data (stat): 2891 (java) R 2890 20687 20686 0 -1 0 18054 0 1 0 39761 47 0 0 25 0 10 0 838360617 854425600 24071 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208600 24071 13086 16 0 208584 0
vsize: 834400
[startup+440.041 s]
Raw data (loadavg): 1.02 1.02 1.00 2/63 2904
Raw data (stat): 2891 (java) R 2890 20687 20686 0 -1 0 18054 0 1 0 40693 47 0 0 25 0 10 0 838360617 854425600 24106 4294967295 134512640 134569956 3221224368 3221214224 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208600 24106 13086 16 0 208584 0
vsize: 834400
[startup+450.045 s]
Raw data (loadavg): 1.01 1.02 1.00 2/63 2904
Raw data (stat): 2891 (java) R 2890 20687 20686 0 -1 0 18054 0 1 0 41621 47 0 0 24 0 10 0 838360617 854425600 24143 4294967295 134512640 134569956 3221224368 3221213784 1073952732 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208600 24143 13086 16 0 208584 0
vsize: 834400
[startup+460.045 s]
Raw data (loadavg): 1.01 1.02 1.00 2/63 2904
Raw data (stat): 2891 (java) R 2890 20687 20686 0 -1 0 18054 0 1 0 42552 47 0 0 25 0 10 0 838360617 854425600 24177 4294967295 134512640 134569956 3221224368 3221214772 1080204166 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208600 24177 13086 16 0 208584 0
vsize: 834400
[startup+470.046 s]
Raw data (loadavg): 1.01 1.02 1.00 2/63 2904
Raw data (stat): 2891 (java) R 2890 20687 20686 0 -1 0 18054 0 1 0 43483 47 0 0 25 0 10 0 838360617 854425600 24211 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208600 24211 13086 16 0 208584 0
vsize: 834400
[startup+480.046 s]
Raw data (loadavg): 1.01 1.01 1.00 2/63 2904
Raw data (stat): 2891 (java) R 2890 20687 20686 0 -1 0 18054 0 1 0 44410 47 0 0 24 0 10 0 838360617 854425600 24246 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208600 24246 13086 16 0 208584 0
vsize: 834400
[startup+490.047 s]
Raw data (loadavg): 1.08 1.03 1.01 2/63 2904
Raw data (stat): 2891 (java) R 2890 20687 20686 0 -1 0 18054 0 1 0 45336 47 0 0 25 0 10 0 838360617 854425600 24377 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208600 24377 13086 16 0 208584 0
vsize: 834400
[startup+500.048 s]
Raw data (loadavg): 1.22 1.06 1.02 3/63 2904
Raw data (stat): 2891 (java) R 2890 20687 20686 0 -1 0 18073 0 1 0 46202 50 0 0 25 0 10 0 838360617 854753280 27771 4294967295 134512640 134569956 3221224368 3221214656 1131342817 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208680 27771 13086 16 0 208664 0
vsize: 834720
[startup+510.048 s]
Raw data (loadavg): 1.18 1.06 1.01 2/64 2905
Raw data (stat): 2891 (java) R 2890 20687 20686 0 -1 0 18080 0 1 0 47160 50 0 0 25 0 11 0 838360617 854953984 29336 4294967295 134512640 134569956 3221224368 3221214680 1131368293 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208729 29336 13086 16 0 208713 0
vsize: 834916
[startup+520.05 s]
Raw data (loadavg): 1.16 1.06 1.01 2/64 2905
Raw data (stat): 2891 (java) R 2890 20687 20686 0 -1 0 18080 0 1 0 48141 51 0 0 25 0 11 0 838360617 854953984 29336 4294967295 134512640 134569956 3221224368 3221214520 1131282169 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208729 29336 13086 16 0 208713 0
vsize: 834916
[startup+530.05 s]
Raw data (loadavg): 1.13 1.05 1.01 2/64 2905
Raw data (stat): 2891 (java) R 2890 20687 20686 0 -1 0 18080 0 1 0 49122 51 0 0 25 0 11 0 838360617 854953984 29336 4294967295 134512640 134569956 3221224368 3221214520 1131237178 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208729 29336 13086 16 0 208713 0
vsize: 834916
[startup+540.051 s]
Raw data (loadavg): 1.11 1.05 1.01 2/64 2905
Raw data (stat): 2891 (java) R 2890 20687 20686 0 -1 0 18080 0 1 0 50114 51 0 0 25 0 11 0 838360617 854953984 29477 4294967295 134512640 134569956 3221224368 3221214680 1131366743 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208729 29477 13086 16 0 208713 0
vsize: 834916
[startup+550.051 s]
Raw data (loadavg): 1.09 1.05 1.01 2/64 2905
Raw data (stat): 2891 (java) R 2890 20687 20686 0 -1 0 18080 0 1 0 51111 51 0 0 25 0 11 0 838360617 854953984 29478 4294967295 134512640 134569956 3221224368 3221214520 1131283611 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208729 29478 13086 16 0 208713 0
vsize: 834916
[startup+560.052 s]
Raw data (loadavg): 1.08 1.05 1.01 2/64 2905
Raw data (stat): 2891 (java) R 2890 20687 20686 0 -1 0 18080 0 1 0 52109 51 0 0 25 0 11 0 838360617 854953984 29478 4294967295 134512640 134569956 3221224368 3221214680 1131368308 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208729 29478 13086 16 0 208713 0
vsize: 834916
[startup+570.052 s]
Raw data (loadavg): 1.07 1.05 1.01 2/64 2905
Raw data (stat): 2891 (java) R 2890 20687 20686 0 -1 0 18080 0 1 0 53106 51 0 0 25 0 11 0 838360617 854953984 29478 4294967295 134512640 134569956 3221224368 3221214520 1131282403 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208729 29478 13086 16 0 208713 0
vsize: 834916
[startup+580.053 s]
Raw data (loadavg): 1.06 1.04 1.01 2/64 2905
Raw data (stat): 2891 (java) R 2890 20687 20686 0 -1 0 18080 0 1 0 54103 51 0 0 25 0 11 0 838360617 854953984 29478 4294967295 134512640 134569956 3221224368 3221214680 1131367651 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208729 29478 13086 16 0 208713 0
vsize: 834916
[startup+590.053 s]
Raw data (loadavg): 1.05 1.04 1.01 2/64 2905
Raw data (stat): 2891 (java) R 2890 20687 20686 0 -1 0 18090 0 1 0 55093 51 0 0 25 0 11 0 838360617 854953984 29499 4294967295 134512640 134569956 3221224368 3221214576 1131419619 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208729 29499 13086 16 0 208713 0
vsize: 834916
[startup+600.053 s]
Raw data (loadavg): 1.04 1.04 1.01 2/64 2905
Raw data (stat): 2891 (java) R 2890 20687 20686 0 -1 0 18090 0 1 0 56086 51 0 0 25 0 11 0 838360617 854953984 29499 4294967295 134512640 134569956 3221224368 3221214608 1131342809 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208729 29499 13086 16 0 208713 0
vsize: 834916
[startup+610.054 s]
Raw data (loadavg): 1.03 1.04 1.00 2/64 2905
Raw data (stat): 2891 (java) R 2890 20687 20686 0 -1 0 18091 0 1 0 57065 52 0 0 25 0 11 0 838360617 854953984 29504 4294967295 134512640 134569956 3221224368 3221214608 1131343148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208729 29504 13086 16 0 208713 0
vsize: 834916
[startup+620.055 s]
Raw data (loadavg): 1.03 1.04 1.00 2/64 2905
Raw data (stat): 2891 (java) R 2890 20687 20686 0 -1 0 18103 0 1 0 58023 52 0 0 25 0 11 0 838360617 855261184 29615 4294967295 134512640 134569956 3221224368 3221214552 1131427606 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208804 29615 13086 16 0 208788 0
vsize: 835216
[startup+630.055 s]
Raw data (loadavg): 1.02 1.03 1.00 2/64 2905
Raw data (stat): 2891 (java) R 2890 20687 20686 0 -1 0 18104 0 1 0 59001 52 0 0 25 0 11 0 838360617 854953984 29544 4294967295 134512640 134569956 3221224368 3221214552 1131427779 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208729 29544 13086 16 0 208713 0
vsize: 834916
[startup+640.056 s]
Raw data (loadavg): 1.10 1.05 1.01 2/64 2905
Raw data (stat): 2891 (java) R 2890 20687 20686 0 -1 0 18104 0 1 0 59985 52 0 0 25 0 11 0 838360617 857313280 30060 4294967295 134512640 134569956 3221224368 3221214528 1131287679 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209305 30060 13086 16 0 209289 0
vsize: 837220
[startup+650.056 s]
Raw data (loadavg): 1.08 1.05 1.01 2/64 2905
Raw data (stat): 2891 (java) R 2890 20687 20686 0 -1 0 18105 0 1 0 60967 52 0 0 25 0 11 0 838360617 856821760 30000 4294967295 134512640 134569956 3221224368 3221214624 1131427706 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209185 30000 13086 16 0 209169 0
vsize: 836740
[startup+660.057 s]
Raw data (loadavg): 1.07 1.04 1.00 2/64 2905
Raw data (stat): 2891 (java) R 2890 20687 20686 0 -1 0 18105 0 1 0 61953 52 0 0 25 0 11 0 838360617 856821760 30069 4294967295 134512640 134569956 3221224368 3221214632 1131423527 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209185 30069 13086 16 0 209169 0
vsize: 836740
[startup+670.057 s]
Raw data (loadavg): 1.06 1.04 1.00 2/64 2905
Raw data (stat): 2891 (java) R 2890 20687 20686 0 -1 0 18105 0 1 0 62943 52 0 0 25 0 11 0 838360617 856821760 30139 4294967295 134512640 134569956 3221224368 3221214536 1131453320 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209185 30139 13086 16 0 209169 0
vsize: 836740
[startup+680.058 s]
Raw data (loadavg): 1.05 1.04 1.00 2/64 2905
Raw data (stat): 2891 (java) R 2890 20687 20686 0 -1 0 18105 0 1 0 63936 52 0 0 25 0 11 0 838360617 856821760 30195 4294967295 134512640 134569956 3221224368 3221214420 1130883540 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209185 30195 13086 16 0 209169 0
vsize: 836740
[startup+690.058 s]
Raw data (loadavg): 1.04 1.04 1.00 2/64 2905
Raw data (stat): 2891 (java) R 2890 20687 20686 0 -1 0 18105 0 1 0 64932 52 0 0 25 0 11 0 838360617 856821760 30223 4294967295 134512640 134569956 3221224368 3221214580 1130885204 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209185 30223 13086 16 0 209169 0
vsize: 836740
[startup+700.058 s]
Raw data (loadavg): 1.03 1.04 1.00 2/64 2905
Raw data (stat): 2891 (java) R 2890 20687 20686 0 -1 0 18105 0 1 0 65928 52 0 0 25 0 11 0 838360617 856821760 30224 4294967295 134512640 134569956 3221224368 3221214624 1131427583 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209185 30224 13086 16 0 209169 0
vsize: 836740
[startup+710.058 s]
Raw data (loadavg): 1.03 1.04 1.00 2/64 2905
Raw data (stat): 2891 (java) R 2890 20687 20686 0 -1 0 18105 0 1 0 66924 52 0 0 25 0 11 0 838360617 856821760 30224 4294967295 134512640 134569956 3221224368 3221214624 1131427606 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209185 30224 13086 16 0 209169 0
vsize: 836740
[startup+720.059 s]
Raw data (loadavg): 1.02 1.03 1.00 2/64 2905
Raw data (stat): 2891 (java) R 2890 20687 20686 0 -1 0 18105 0 1 0 67918 52 0 0 25 0 11 0 838360617 856821760 30224 4294967295 134512640 134569956 3221224368 3221214680 1131365583 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209185 30224 13086 16 0 209169 0
vsize: 836740
[startup+730.06 s]
Raw data (loadavg): 1.02 1.03 1.00 2/64 2905
Raw data (stat): 2891 (java) R 2890 20687 20686 0 -1 0 18105 0 1 0 68896 52 0 0 25 0 11 0 838360617 856821760 30227 4294967295 134512640 134569956 3221224368 3221214608 1131342881 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209185 30227 13086 16 0 209169 0
vsize: 836740
[startup+740.061 s]
Raw data (loadavg): 1.02 1.03 1.00 2/64 2905
Raw data (stat): 2891 (java) R 2890 20687 20686 0 -1 0 18105 0 1 0 69871 52 0 0 25 0 11 0 838360617 856821760 30227 4294967295 134512640 134569956 3221224368 3221214680 1131365359 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209185 30227 13086 16 0 209169 0
vsize: 836740
[startup+750.061 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 2905
Raw data (stat): 2891 (java) R 2890 20687 20686 0 -1 0 18105 0 1 0 70844 53 0 0 25 0 11 0 838360617 856821760 30319 4294967295 134512640 134569956 3221224368 3221214608 1131342885 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209185 30319 13086 16 0 209169 0
vsize: 836740
[startup+760.062 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 2905
Raw data (stat): 2891 (java) R 2890 20687 20686 0 -1 0 18105 0 1 0 71825 53 0 0 25 0 11 0 838360617 856821760 30360 4294967295 134512640 134569956 3221224368 3221214520 1131282169 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209185 30360 13086 16 0 209169 0
vsize: 836740
[startup+770.063 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 2905
Raw data (stat): 2891 (java) R 2890 20687 20686 0 -1 0 18105 0 1 0 72810 53 0 0 25 0 11 0 838360617 856821760 30403 4294967295 134512640 134569956 3221224368 3221214520 1131283036 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209185 30403 13086 16 0 209169 0
vsize: 836740
[startup+780.063 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 2905
Raw data (stat): 2891 (java) R 2890 20687 20686 0 -1 0 18105 0 1 0 73792 53 0 0 25 0 11 0 838360617 856821760 30443 4294967295 134512640 134569956 3221224368 3221214520 1131283609 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209185 30443 13086 16 0 209169 0
vsize: 836740
[startup+790.064 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 2905
Raw data (stat): 2891 (java) R 2890 20687 20686 0 -1 0 18105 0 1 0 74776 53 0 0 25 0 11 0 838360617 856821760 30486 4294967295 134512640 134569956 3221224368 3221214520 1131282104 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209185 30486 13086 16 0 209169 0
vsize: 836740
[startup+800.065 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 2905
Raw data (stat): 2891 (java) R 2890 20687 20686 0 -1 0 18105 0 1 0 75762 53 0 0 25 0 11 0 838360617 856821760 30486 4294967295 134512640 134569956 3221224368 3221214680 1131365583 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209185 30486 13086 16 0 209169 0
vsize: 836740
[startup+810.066 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 2905
Raw data (stat): 2891 (java) R 2890 20687 20686 0 -1 0 18106 0 1 0 76747 53 0 0 25 0 11 0 838360617 856821760 30560 4294967295 134512640 134569956 3221224368 3221214648 1131133725 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209185 30560 13086 16 0 209169 0
vsize: 836740
[startup+820.074 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 2905
Raw data (stat): 2891 (java) R 2890 20687 20686 0 -1 0 18106 0 1 0 77733 53 0 0 25 0 11 0 838360617 856821760 30560 4294967295 134512640 134569956 3221224368 3221214520 1131282561 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209185 30560 13086 16 0 209169 0
vsize: 836740
[startup+830.074 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 2905
Raw data (stat): 2891 (java) R 2890 20687 20686 0 -1 0 18106 0 1 0 78715 54 0 0 24 0 11 0 838360617 856821760 30613 4294967295 134512640 134569956 3221224368 3221214608 1131342900 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209185 30613 13086 16 0 209169 0
vsize: 836740
[startup+840.074 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 2905
Raw data (stat): 2891 (java) R 2890 20687 20686 0 -1 0 18106 0 1 0 79702 54 0 0 25 0 11 0 838360617 856821760 30613 4294967295 134512640 134569956 3221224368 3221214624 1131245714 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209185 30613 13086 16 0 209169 0
vsize: 836740
[startup+850.075 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 2905
Raw data (stat): 2891 (java) R 2890 20687 20686 0 -1 0 18106 0 1 0 80688 54 0 0 25 0 11 0 838360617 856821760 30678 4294967295 134512640 134569956 3221224368 3221214608 1131342907 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209185 30678 13086 16 0 209169 0
vsize: 836740
[startup+860.076 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 2905
Raw data (stat): 2891 (java) R 2890 20687 20686 0 -1 0 18106 0 1 0 81678 54 0 0 25 0 11 0 838360617 856821760 30679 4294967295 134512640 134569956 3221224368 3221214520 1131282320 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209185 30679 13086 16 0 209169 0
vsize: 836740
[startup+870.076 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 2905
Raw data (stat): 2891 (java) R 2890 20687 20686 0 -1 0 18106 0 1 0 82665 54 0 0 25 0 11 0 838360617 856821760 30720 4294967295 134512640 134569956 3221224368 3221214680 1131366765 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209185 30720 13086 16 0 209169 0
vsize: 836740
[startup+880.076 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 2905
Raw data (stat): 2891 (java) R 2890 20687 20686 0 -1 0 18106 0 1 0 83653 55 0 0 25 0 11 0 838360617 856821760 30721 4294967295 134512640 134569956 3221224368 3221214520 1131282493 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209185 30721 13086 16 0 209169 0
vsize: 836740
[startup+890.077 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 2905
Raw data (stat): 2891 (java) R 2890 20687 20686 0 -1 0 18106 0 1 0 84641 55 0 0 25 0 11 0 838360617 856821760 30762 4294967295 134512640 134569956 3221224368 3221214680 1131368293 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209185 30762 13086 16 0 209169 0
vsize: 836740
[startup+900.077 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 2905
Raw data (stat): 2891 (java) R 2890 20687 20686 0 -1 0 18106 0 1 0 85631 55 0 0 25 0 11 0 838360617 856821760 30762 4294967295 134512640 134569956 3221224368 3221214520 1131282696 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209185 30762 13086 16 0 209169 0
vsize: 836740
[startup+910.077 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 2905
Raw data (stat): 2891 (java) R 2890 20687 20686 0 -1 0 18106 0 1 0 86618 55 0 0 25 0 11 0 838360617 856821760 30762 4294967295 134512640 134569956 3221224368 3221214608 1131342809 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209185 30762 13086 16 0 209169 0
vsize: 836740
[startup+920.079 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 2905
Raw data (stat): 2891 (java) R 2890 20687 20686 0 -1 0 18106 0 1 0 87607 55 0 0 25 0 11 0 838360617 856821760 30803 4294967295 134512640 134569956 3221224368 3221214520 1131282167 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209185 30803 13086 16 0 209169 0
vsize: 836740
[startup+930.078 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 2905
Raw data (stat): 2891 (java) R 2890 20687 20686 0 -1 0 18106 0 1 0 88594 55 0 0 25 0 11 0 838360617 856821760 30803 4294967295 134512640 134569956 3221224368 3221214680 1131366772 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209185 30803 13086 16 0 209169 0
vsize: 836740
[startup+940.079 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 2905
Raw data (stat): 2891 (java) R 2890 20687 20686 0 -1 0 18106 0 1 0 89585 55 0 0 25 0 11 0 838360617 856821760 30846 4294967295 134512640 134569956 3221224368 3221214608 1131342913 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209185 30846 13086 16 0 209169 0
vsize: 836740
[startup+950.08 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 2905
Raw data (stat): 2891 (java) R 2890 20687 20686 0 -1 0 18106 0 1 0 90572 55 0 0 25 0 11 0 838360617 856821760 30846 4294967295 134512640 134569956 3221224368 3221214520 1131282593 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209185 30846 13086 16 0 209169 0
vsize: 836740
[startup+960.08 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 2905
Raw data (stat): 2891 (java) R 2890 20687 20686 0 -1 0 18106 0 1 0 91560 55 0 0 25 0 11 0 838360617 856821760 30887 4294967295 134512640 134569956 3221224368 3221214624 1131245714 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209185 30887 13086 16 0 209169 0
vsize: 836740
[startup+970.08 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 2905
Raw data (stat): 2891 (java) R 2890 20687 20686 0 -1 0 18106 0 1 0 92544 55 0 0 25 0 11 0 838360617 856821760 30890 4294967295 134512640 134569956 3221224368 3221214680 1131366772 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209185 30890 13086 16 0 209169 0
vsize: 836740
[startup+980.081 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 2905
Raw data (stat): 2891 (java) R 2890 20687 20686 0 -1 0 18106 0 1 0 93533 55 0 0 25 0 11 0 838360617 856821760 30932 4294967295 134512640 134569956 3221224368 3221214608 1131342868 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209185 30932 13086 16 0 209169 0
vsize: 836740
[startup+990.082 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2905
Raw data (stat): 2891 (java) R 2890 20687 20686 0 -1 0 18106 0 1 0 94523 55 0 0 25 0 11 0 838360617 856821760 30932 4294967295 134512640 134569956 3221224368 3221214520 1131282888 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209185 30932 13086 16 0 209169 0
vsize: 836740
[startup+1000.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2905
Raw data (stat): 2891 (java) R 2890 20687 20686 0 -1 0 18106 0 1 0 95510 55 0 0 25 0 11 0 838360617 856821760 30973 4294967295 134512640 134569956 3221224368 3221214608 1131343274 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209185 30973 13086 16 0 209169 0
vsize: 836740
[startup+1010.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2905
Raw data (stat): 2891 (java) R 2890 20687 20686 0 -1 0 18106 0 1 0 96500 55 0 0 25 0 11 0 838360617 856821760 30974 4294967295 134512640 134569956 3221224368 3221214752 1131230007 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209185 30974 13086 16 0 209169 0
vsize: 836740
[startup+1020.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2905
Raw data (stat): 2891 (java) R 2890 20687 20686 0 -1 0 18106 0 1 0 97487 55 0 0 25 0 11 0 838360617 856821760 31015 4294967295 134512640 134569956 3221224368 3221214624 1131245801 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209185 31015 13086 16 0 209169 0
vsize: 836740
[startup+1030.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2905
Raw data (stat): 2891 (java) R 2890 20687 20686 0 -1 0 18106 0 1 0 98478 55 0 0 25 0 11 0 838360617 856821760 31015 4294967295 134512640 134569956 3221224368 3221214608 1131343235 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209185 31015 13086 16 0 209169 0
vsize: 836740
[startup+1040.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2905
Raw data (stat): 2891 (java) R 2890 20687 20686 0 -1 0 18106 0 1 0 99459 55 0 0 25 0 11 0 838360617 856821760 31015 4294967295 134512640 134569956 3221224368 3221214520 1131282387 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209185 31015 13086 16 0 209169 0
vsize: 836740
[startup+1050.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2905
Raw data (stat): 2891 (java) R 2890 20687 20686 0 -1 0 18106 0 1 0 100441 55 0 0 24 0 11 0 838360617 856821760 31057 4294967295 134512640 134569956 3221224368 3221214520 1131283036 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209185 31057 13086 16 0 209169 0
vsize: 836740
[startup+1060.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2905
Raw data (stat): 2891 (java) R 2890 20687 20686 0 -1 0 18106 0 1 0 101423 55 0 0 25 0 11 0 838360617 856821760 31057 4294967295 134512640 134569956 3221224368 3221214608 1131342862 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209185 31057 13086 16 0 209169 0
vsize: 836740
[startup+1070.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2905
Raw data (stat): 2891 (java) R 2890 20687 20686 0 -1 0 18106 0 1 0 102407 56 0 0 25 0 11 0 838360617 856821760 31156 4294967295 134512640 134569956 3221224368 3221214520 1131282220 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209185 31156 13086 16 0 209169 0
vsize: 836740
[startup+1080.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2905
Raw data (stat): 2891 (java) R 2890 20687 20686 0 -1 0 18106 0 1 0 103391 56 0 0 25 0 11 0 838360617 856821760 31156 4294967295 134512640 134569956 3221224368 3221214480 1131044787 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209185 31156 13086 16 0 209169 0
vsize: 836740
[startup+1090.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2905
Raw data (stat): 2891 (java) R 2890 20687 20686 0 -1 0 18106 0 1 0 104371 56 0 0 25 0 11 0 838360617 856821760 31218 4294967295 134512640 134569956 3221224368 3221214520 1131282165 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209185 31218 13086 16 0 209169 0
vsize: 836740
[startup+1100.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2905
Raw data (stat): 2891 (java) R 2890 20687 20686 0 -1 0 18106 0 1 0 105354 56 0 0 24 0 11 0 838360617 856821760 31218 4294967295 134512640 134569956 3221224368 3221214680 1131365583 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209185 31218 13086 16 0 209169 0
vsize: 836740
[startup+1110.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2905
Raw data (stat): 2891 (java) R 2890 20687 20686 0 -1 0 18106 0 1 0 106337 56 0 0 25 0 11 0 838360617 856821760 31303 4294967295 134512640 134569956 3221224368 3221214680 1131365583 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209185 31303 13086 16 0 209169 0
vsize: 836740
[startup+1120.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2905
Raw data (stat): 2891 (java) R 2890 20687 20686 0 -1 0 18106 0 1 0 107326 56 0 0 25 0 11 0 838360617 856821760 31303 4294967295 134512640 134569956 3221224368 3221214608 1131342820 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209185 31303 13086 16 0 209169 0
vsize: 836740
[startup+1130.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2905
Raw data (stat): 2891 (java) R 2890 20687 20686 0 -1 0 18106 0 1 0 108312 56 0 0 25 0 11 0 838360617 856821760 31303 4294967295 134512640 134569956 3221224368 3221214680 1131366772 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209185 31303 13086 16 0 209169 0
vsize: 836740
[startup+1140.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2905
Raw data (stat): 2891 (java) R 2890 20687 20686 0 -1 0 18106 0 1 0 109299 56 0 0 25 0 11 0 838360617 856821760 31344 4294967295 134512640 134569956 3221224368 3221214680 1131366776 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209185 31344 13086 16 0 209169 0
vsize: 836740
[startup+1150.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2905
Raw data (stat): 2891 (java) R 2890 20687 20686 0 -1 0 18106 0 1 0 110286 56 0 0 24 0 11 0 838360617 856821760 31344 4294967295 134512640 134569956 3221224368 3221214680 1131368308 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209185 31344 13086 16 0 209169 0
vsize: 836740
[startup+1160.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2905
Raw data (stat): 2891 (java) R 2890 20687 20686 0 -1 0 18106 0 1 0 111272 56 0 0 25 0 11 0 838360617 856821760 31386 4294967295 134512640 134569956 3221224368 3221214680 1131368380 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209185 31386 13086 16 0 209169 0
vsize: 836740
[startup+1170.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2905
Raw data (stat): 2891 (java) R 2890 20687 20686 0 -1 0 18106 0 1 0 112261 56 0 0 25 0 11 0 838360617 856821760 31386 4294967295 134512640 134569956 3221224368 3221214608 1131343256 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209185 31386 13086 16 0 209169 0
vsize: 836740
[startup+1180.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2905
Raw data (stat): 2891 (java) R 2890 20687 20686 0 -1 0 18106 0 1 0 113246 56 0 0 25 0 11 0 838360617 856821760 31386 4294967295 134512640 134569956 3221224368 3221214520 1131237196 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209185 31386 13086 16 0 209169 0
vsize: 836740
[startup+1190.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2905
Raw data (stat): 2891 (java) R 2890 20687 20686 0 -1 0 18106 0 1 0 114234 56 0 0 25 0 11 0 838360617 856821760 31427 4294967295 134512640 134569956 3221224368 3221214520 1131282262 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209185 31427 13086 16 0 209169 0
vsize: 836740
[startup+1200.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2905
Raw data (stat): 2891 (java) R 2890 20687 20686 0 -1 0 18106 0 1 0 115220 56 0 0 25 0 11 0 838360617 856821760 31427 4294967295 134512640 134569956 3221224368 3221214608 1131342850 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209185 31427 13086 16 0 209169 0
vsize: 836740
[startup+1210.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2905
Raw data (stat): 2891 (java) R 2890 20687 20686 0 -1 0 18106 0 1 0 116208 56 0 0 25 0 11 0 838360617 856821760 31469 4294967295 134512640 134569956 3221224368 3221214520 1131282220 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209185 31469 13086 16 0 209169 0
vsize: 836740
[startup+1220.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2905
Raw data (stat): 2891 (java) R 2890 20687 20686 0 -1 0 18106 0 1 0 117196 56 0 0 25 0 11 0 838360617 856821760 31469 4294967295 134512640 134569956 3221224368 3221214680 1131367651 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209185 31469 13086 16 0 209169 0
vsize: 836740
[startup+1230.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2905
Raw data (stat): 2891 (java) R 2890 20687 20686 0 -1 0 18106 0 1 0 118181 57 0 0 25 0 11 0 838360617 856821760 31510 4294967295 134512640 134569956 3221224368 3221214520 1131237620 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209185 31510 13086 16 0 209169 0
vsize: 836740
[startup+1240.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2905
Raw data (stat): 2891 (java) R 2890 20687 20686 0 -1 0 18106 0 1 0 119170 57 0 0 25 0 11 0 838360617 856821760 31510 4294967295 134512640 134569956 3221224368 3221214680 1131365638 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209185 31510 13086 16 0 209169 0
vsize: 836740
[startup+1250.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2905
Raw data (stat): 2891 (java) R 2890 20687 20686 0 -1 0 18106 0 1 0 120155 57 0 0 25 0 11 0 838360617 856821760 31553 4294967295 134512640 134569956 3221224368 3221214624 1131245677 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209185 31553 13086 16 0 209169 0
vsize: 836740
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1250.17 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 2907
Raw data (stat): 2891 (java) Z 2890 20687 20686 0 -1 1036 18106 12503 1 0 120156 57 4594 44 25 0 1 0 838360617 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1250.17
CPU time (s): 1248.53
CPU user time (s): 1247.51
CPU system time (s): 1.02084
CPU usage (%): 99.8688
Max. virtual memory (Kb): 837220
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####