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/unibo/normalized-mps-v2-20-10-CMS750_4.opb
MD5SUM	7cb58e3aea22e107ecbc4e74969c24f1
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	780
Biggest coefficient in the objective function	536870912
Number of bits for the biggest coefficient in the objective function	30
Sum of the numbers in the objective function	1074509823
Number of bits of the sum of numbers in the objective function	31
Biggest number in a constraint	1024000000
Number of bits of the biggest number in a constraint	30
Biggest sum of numbers in a constraint	2147731454
Number of bits of the biggest sum of numbers	32
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	22.6916
Number of variables	142226
Total number of constraints	28077
Number of constraints which are clauses	2438
Number of constraints which are cardinality constraints (but not clauses)	7196
Number of constraints which are nor clauses,nor cardinality constraints	18443
Minimum length of a constraint	1
Maximum length of a constraint	61
Trace number 29768

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc5 THE 2005-05-25 11:19:11 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=21167 boxname=wulflinc5 idbench=1155 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  7cb58e3aea22e107ecbc4e74969c24f1  /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-20-10-CMS750_4.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-20-10-CMS750_4.opb
IDLAUNCH: 21167
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
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.007
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:        714868 kB
Buffers:         28968 kB
Cached:         269284 kB
SwapCached:        472 kB
Active:          84784 kB
Inactive:       215512 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        714616 kB
SwapTotal:     2097136 kB
SwapFree:      2095792 kB
Dirty:              36 kB
Writeback:           0 kB
Mapped:           5228 kB
Slab:            13916 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 11:41:03 (client local time) WITH STATUS 143 IN 1309.75 SECONDS
stats: 21167 7 1309.75 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/wulflinc5/normalized-mps-v2-20-10-CMS750_4.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.125
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.95 0.98 0.99 2/54 22675
Raw data (stat): 22675 (runsolver) R 22674 7266 7265 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 780243521 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+9.99994 s]
Raw data (loadavg): 0.96 0.98 0.99 2/63 22685
Raw data (stat): 22675 (java) R 22674 7266 7265 0 -1 0 18031 0 1 0 873 40 0 0 25 0 10 0 780243521 853827584 19200 4294967295 134512640 134569956 3221224368 3221214644 1131196762 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208454 19200 13086 16 0 208438 0
vsize: 833816
[startup+20.0007 s]
Raw data (loadavg): 0.96 0.98 0.99 2/63 22685
Raw data (stat): 22675 (java) R 22674 7266 7265 0 -1 0 18035 0 1 0 1784 41 0 0 25 0 10 0 780243521 854335488 19790 4294967295 134512640 134569956 3221224368 3221214344 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208578 19790 13086 16 0 208562 0
vsize: 834312
[startup+30.0004 s]
Raw data (loadavg): 0.97 0.98 0.99 2/63 22685
Raw data (stat): 22675 (java) R 22674 7266 7265 0 -1 0 18036 0 1 0 2684 41 0 0 24 0 10 0 780243521 854335488 20315 4294967295 134512640 134569956 3221224368 3221214464 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208578 20315 13086 16 0 208562 0
vsize: 834312
[startup+40.0011 s]
Raw data (loadavg): 0.97 0.98 0.99 2/63 22685
Raw data (stat): 22675 (java) R 22674 7266 7265 0 -1 0 18036 0 1 0 3605 42 0 0 25 0 10 0 780243521 855859200 20823 4294967295 134512640 134569956 3221224368 3221214768 1131303096 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208950 20823 13086 16 0 208934 0
vsize: 835800
[startup+50.0019 s]
Raw data (loadavg): 0.98 0.98 0.99 2/63 22685
Raw data (stat): 22675 (java) R 22674 7266 7265 0 -1 0 18036 0 1 0 4527 43 0 0 25 0 10 0 780243521 855859200 20898 4294967295 134512640 134569956 3221224368 3221214248 1131259989 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208950 20898 13086 16 0 208934 0
vsize: 835800
[startup+60.0016 s]
Raw data (loadavg): 0.98 0.98 0.99 2/63 22685
Raw data (stat): 22675 (java) R 22674 7266 7265 0 -1 0 18036 0 1 0 5446 43 0 0 25 0 10 0 780243521 855859200 21041 4294967295 134512640 134569956 3221224368 3221214764 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208950 21041 13086 16 0 208934 0
vsize: 835800
[startup+70.0015 s]
Raw data (loadavg): 0.98 0.98 0.99 2/63 22685
Raw data (stat): 22675 (java) R 22674 7266 7265 0 -1 0 18036 0 1 0 6377 43 0 0 25 0 10 0 780243521 857128960 21504 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209260 21504 13086 16 0 209244 0
vsize: 837040
[startup+80.0027 s]
Raw data (loadavg): 0.98 0.98 0.99 2/63 22685
Raw data (stat): 22675 (java) R 22674 7266 7265 0 -1 0 18036 0 1 0 7313 43 0 0 25 0 10 0 780243521 857128960 21615 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209260 21615 13086 16 0 209244 0
vsize: 837040
[startup+90.003 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 22685
Raw data (stat): 22675 (java) R 22674 7266 7265 0 -1 0 18036 0 1 0 8252 44 0 0 24 0 10 0 780243521 857128960 21716 4294967295 134512640 134569956 3221224368 3221214756 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209260 21716 13086 16 0 209244 0
vsize: 837040
[startup+100.003 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 22685
Raw data (stat): 22675 (java) R 22674 7266 7265 0 -1 0 18036 0 1 0 9195 44 0 0 25 0 10 0 780243521 857128960 21802 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209260 21802 13086 16 0 209244 0
vsize: 837040
[startup+110.004 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 22685
Raw data (stat): 22675 (java) R 22674 7266 7265 0 -1 0 18036 0 1 0 10135 44 0 0 25 0 10 0 780243521 857128960 21889 4294967295 134512640 134569956 3221224368 3221214232 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209260 21889 13086 16 0 209244 0
vsize: 837040
[startup+120.004 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 22685
Raw data (stat): 22675 (java) R 22674 7266 7265 0 -1 0 18036 0 1 0 11076 44 0 0 25 0 10 0 780243521 857128960 21970 4294967295 134512640 134569956 3221224368 3221214764 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209260 21970 13086 16 0 209244 0
vsize: 837040
[startup+130.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 22685
Raw data (stat): 22675 (java) S 22674 7266 7265 0 -1 0 18036 0 1 0 12017 45 0 0 25 0 10 0 780243521 857128960 22046 4294967295 134512640 134569956 3221224368 3221213472 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209260 22046 13086 16 0 209244 0
vsize: 837040
[startup+140.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 22685
Raw data (stat): 22675 (java) R 22674 7266 7265 0 -1 0 18036 0 1 0 12961 45 0 0 25 0 10 0 780243521 857128960 22118 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209260 22118 13086 16 0 209244 0
vsize: 837040
[startup+150.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 22685
Raw data (stat): 22675 (java) R 22674 7266 7265 0 -1 0 18036 0 1 0 13902 45 0 0 25 0 10 0 780243521 857128960 22188 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209260 22188 13086 16 0 209244 0
vsize: 837040
[startup+160.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 22685
Raw data (stat): 22675 (java) R 22674 7266 7265 0 -1 0 18036 0 1 0 14844 45 0 0 25 0 10 0 780243521 857128960 22255 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209260 22255 13086 16 0 209244 0
vsize: 837040
[startup+170.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 22685
Raw data (stat): 22675 (java) R 22674 7266 7265 0 -1 0 18036 0 1 0 15788 45 0 0 25 0 10 0 780243521 857128960 22316 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209260 22316 13086 16 0 209244 0
vsize: 837040
[startup+180.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 22685
Raw data (stat): 22675 (java) R 22674 7266 7265 0 -1 0 18036 0 1 0 16706 46 0 0 25 0 10 0 780243521 857128960 22379 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209260 22379 13086 16 0 209244 0
vsize: 837040
[startup+190.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 22685
Raw data (stat): 22675 (java) R 22674 7266 7265 0 -1 0 18036 0 1 0 17635 46 0 0 25 0 10 0 780243521 857128960 22596 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209260 22596 13086 16 0 209244 0
vsize: 837040
[startup+200.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 22685
Raw data (stat): 22675 (java) R 22674 7266 7265 0 -1 0 18036 0 1 0 18572 46 0 0 25 0 10 0 780243521 857128960 22656 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209260 22656 13086 16 0 209244 0
vsize: 837040
[startup+210.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 22685
Raw data (stat): 22675 (java) R 22674 7266 7265 0 -1 0 18036 0 1 0 19513 46 0 0 25 0 10 0 780243521 857128960 22709 4294967295 134512640 134569956 3221224368 3221214756 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209260 22709 13086 16 0 209244 0
vsize: 837040
[startup+220.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 22685
Raw data (stat): 22675 (java) R 22674 7266 7265 0 -1 0 18036 0 1 0 20451 47 0 0 25 0 10 0 780243521 857128960 22765 4294967295 134512640 134569956 3221224368 3221214764 1080204166 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209260 22765 13086 16 0 209244 0
vsize: 837040
[startup+230.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 22685
Raw data (stat): 22675 (java) R 22674 7266 7265 0 -1 0 18036 0 1 0 21388 47 0 0 25 0 10 0 780243521 857128960 22819 4294967295 134512640 134569956 3221224368 3221214184 1076460986 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209260 22819 13086 16 0 209244 0
vsize: 837040
[startup+240.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 22685
Raw data (stat): 22675 (java) R 22674 7266 7265 0 -1 0 18036 0 1 0 22328 47 0 0 25 0 10 0 780243521 857128960 22869 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209260 22869 13086 16 0 209244 0
vsize: 837040
[startup+250.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 22685
Raw data (stat): 22675 (java) R 22674 7266 7265 0 -1 0 18036 0 1 0 23265 47 0 0 25 0 10 0 780243521 857128960 22920 4294967295 134512640 134569956 3221224368 3221214728 1131045363 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209260 22920 13086 16 0 209244 0
vsize: 837040
[startup+260.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 22685
Raw data (stat): 22675 (java) R 22674 7266 7265 0 -1 0 18036 0 1 0 24205 47 0 0 25 0 10 0 780243521 857128960 22968 4294967295 134512640 134569956 3221224368 3221214216 1077558368 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209260 22968 13086 16 0 209244 0
vsize: 837040
[startup+270.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 22685
Raw data (stat): 22675 (java) R 22674 7266 7265 0 -1 0 18036 0 1 0 25141 47 0 0 25 0 10 0 780243521 857128960 23017 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209260 23017 13086 16 0 209244 0
vsize: 837040
[startup+280.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 22685
Raw data (stat): 22675 (java) R 22674 7266 7265 0 -1 0 18036 0 1 0 26076 47 0 0 24 0 10 0 780243521 857128960 23068 4294967295 134512640 134569956 3221224368 3221214764 1080204166 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209260 23068 13086 16 0 209244 0
vsize: 837040
[startup+290.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 22685
Raw data (stat): 22675 (java) R 22674 7266 7265 0 -1 0 18036 0 1 0 27014 48 0 0 25 0 10 0 780243521 857128960 23113 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209260 23113 13086 16 0 209244 0
vsize: 837040
[startup+300.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 22685
Raw data (stat): 22675 (java) R 22674 7266 7265 0 -1 0 18036 0 1 0 27948 48 0 0 24 0 10 0 780243521 857128960 23159 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209260 23159 13086 16 0 209244 0
vsize: 837040
[startup+310.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 22685
Raw data (stat): 22675 (java) R 22674 7266 7265 0 -1 0 18036 0 1 0 28886 48 0 0 25 0 10 0 780243521 857128960 23203 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209260 23203 13086 16 0 209244 0
vsize: 837040
[startup+320.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 22685
Raw data (stat): 22675 (java) R 22674 7266 7265 0 -1 0 18036 0 1 0 29819 49 0 0 25 0 10 0 780243521 857128960 23247 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209260 23247 13086 16 0 209244 0
vsize: 837040
[startup+330.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 22685
Raw data (stat): 22675 (java) R 22674 7266 7265 0 -1 0 18036 0 1 0 30756 49 0 0 25 0 10 0 780243521 857128960 23289 4294967295 134512640 134569956 3221224368 3221214764 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209260 23289 13086 16 0 209244 0
vsize: 837040
[startup+340.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 22685
Raw data (stat): 22675 (java) R 22674 7266 7265 0 -1 0 18036 0 1 0 31688 49 0 0 24 0 10 0 780243521 857128960 23333 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209260 23333 13086 16 0 209244 0
vsize: 837040
[startup+350.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 22685
Raw data (stat): 22675 (java) R 22674 7266 7265 0 -1 0 18036 0 1 0 32624 49 0 0 25 0 10 0 780243521 857128960 23373 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209260 23373 13086 16 0 209244 0
vsize: 837040
[startup+360.028 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 22685
Raw data (stat): 22675 (java) S 22674 7266 7265 0 -1 0 18036 0 1 0 33556 49 0 0 25 0 10 0 780243521 857128960 23413 4294967295 134512640 134569956 3221224368 3221213472 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209260 23413 13086 16 0 209244 0
vsize: 837040
[startup+370.029 s]
Raw data (loadavg): 1.07 1.00 1.00 2/63 22685
Raw data (stat): 22675 (java) R 22674 7266 7265 0 -1 0 18036 0 1 0 34490 50 0 0 25 0 10 0 780243521 857128960 23454 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209260 23454 13086 16 0 209244 0
vsize: 837040
[startup+380.029 s]
Raw data (loadavg): 1.06 1.00 1.00 2/63 22685
Raw data (stat): 22675 (java) R 22674 7266 7265 0 -1 0 18036 0 1 0 35425 50 0 0 25 0 10 0 780243521 857128960 23493 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209260 23493 13086 16 0 209244 0
vsize: 837040
[startup+390.031 s]
Raw data (loadavg): 1.05 1.00 1.00 2/63 22685
Raw data (stat): 22675 (java) R 22674 7266 7265 0 -1 0 18036 0 1 0 36356 50 0 0 25 0 10 0 780243521 857128960 23533 4294967295 134512640 134569956 3221224368 3221214184 1076461015 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209260 23533 13086 16 0 209244 0
vsize: 837040
[startup+400.031 s]
Raw data (loadavg): 1.04 1.00 1.00 2/63 22685
Raw data (stat): 22675 (java) R 22674 7266 7265 0 -1 0 18036 0 1 0 37289 50 0 0 25 0 10 0 780243521 857128960 23571 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209260 23571 13086 16 0 209244 0
vsize: 837040
[startup+410.031 s]
Raw data (loadavg): 1.03 1.00 1.00 2/63 22685
Raw data (stat): 22675 (java) R 22674 7266 7265 0 -1 0 18036 0 1 0 38218 51 0 0 24 0 10 0 780243521 857128960 23610 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209260 23610 13086 16 0 209244 0
vsize: 837040
[startup+420.032 s]
Raw data (loadavg): 1.03 1.00 1.00 2/63 22685
Raw data (stat): 22675 (java) R 22674 7266 7265 0 -1 0 18036 0 1 0 39151 51 0 0 25 0 10 0 780243521 857128960 23647 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209260 23647 13086 16 0 209244 0
vsize: 837040
[startup+430.032 s]
Raw data (loadavg): 1.02 1.00 1.00 2/63 22685
Raw data (stat): 22675 (java) R 22674 7266 7265 0 -1 0 18036 0 1 0 40084 51 0 0 25 0 10 0 780243521 857128960 23683 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209260 23683 13086 16 0 209244 0
vsize: 837040
[startup+440.034 s]
Raw data (loadavg): 1.02 1.00 1.00 2/63 22685
Raw data (stat): 22675 (java) R 22674 7266 7265 0 -1 0 18036 0 1 0 41012 51 0 0 25 0 10 0 780243521 857128960 23721 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209260 23721 13086 16 0 209244 0
vsize: 837040
[startup+450.034 s]
Raw data (loadavg): 1.02 1.00 1.00 2/63 22685
Raw data (stat): 22675 (java) R 22674 7266 7265 0 -1 0 18036 0 1 0 41945 51 0 0 25 0 10 0 780243521 857128960 23756 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209260 23756 13086 16 0 209244 0
vsize: 837040
[startup+460.037 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 22685
Raw data (stat): 22675 (java) S 22674 7266 7265 0 -1 0 18036 0 1 0 42875 51 0 0 25 0 10 0 780243521 857128960 23791 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209260 23791 13086 16 0 209244 0
vsize: 837040
[startup+470.037 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 22685
Raw data (stat): 22675 (java) R 22674 7266 7265 0 -1 0 18036 0 1 0 43804 51 0 0 25 0 10 0 780243521 857128960 23827 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209260 23827 13086 16 0 209244 0
vsize: 837040
[startup+480.038 s]
Raw data (loadavg): 1.08 1.02 1.00 2/63 22685
Raw data (stat): 22675 (java) R 22674 7266 7265 0 -1 0 18036 0 1 0 44734 51 0 0 25 0 10 0 780243521 857128960 23861 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209260 23861 13086 16 0 209244 0
vsize: 837040
[startup+490.039 s]
Raw data (loadavg): 1.07 1.02 1.00 2/63 22685
Raw data (stat): 22675 (java) R 22674 7266 7265 0 -1 0 18036 0 1 0 45664 51 0 0 25 0 10 0 780243521 857128960 23895 4294967295 134512640 134569956 3221224368 3221214764 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209260 23895 13086 16 0 209244 0
vsize: 837040
[startup+500.04 s]
Raw data (loadavg): 1.06 1.01 1.00 2/63 22685
Raw data (stat): 22675 (java) R 22674 7266 7265 0 -1 0 18036 0 1 0 46590 51 0 0 25 0 10 0 780243521 857128960 23930 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209260 23930 13086 16 0 209244 0
vsize: 837040
[startup+510.039 s]
Raw data (loadavg): 1.05 1.01 1.00 2/63 22685
Raw data (stat): 22675 (java) R 22674 7266 7265 0 -1 0 18036 0 1 0 47519 52 0 0 25 0 10 0 780243521 857128960 23963 4294967295 134512640 134569956 3221224368 3221214764 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209260 23963 13086 16 0 209244 0
vsize: 837040
[startup+520.041 s]
Raw data (loadavg): 1.04 1.01 1.00 2/63 22685
Raw data (stat): 22675 (java) R 22674 7266 7265 0 -1 0 18036 0 1 0 48448 52 0 0 25 0 10 0 780243521 857128960 23996 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209260 23996 13086 16 0 209244 0
vsize: 837040
[startup+530.041 s]
Raw data (loadavg): 1.03 1.01 1.00 2/63 22685
Raw data (stat): 22675 (java) R 22674 7266 7265 0 -1 0 18036 0 1 0 49372 52 0 0 24 0 10 0 780243521 857128960 24030 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209260 24030 13086 16 0 209244 0
vsize: 837040
[startup+540.042 s]
Raw data (loadavg): 1.03 1.01 1.00 2/63 22685
Raw data (stat): 22675 (java) R 22674 7266 7265 0 -1 0 18036 0 1 0 50300 52 0 0 25 0 10 0 780243521 857128960 24062 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209260 24062 13086 16 0 209244 0
vsize: 837040
[startup+550.043 s]
Raw data (loadavg): 1.02 1.01 1.00 2/63 22685
Raw data (stat): 22675 (java) R 22674 7266 7265 0 -1 0 18036 0 1 0 51228 52 0 0 25 0 10 0 780243521 857128960 24095 4294967295 134512640 134569956 3221224368 3221214232 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209260 24095 13086 16 0 209244 0
vsize: 837040
[startup+560.044 s]
Raw data (loadavg): 1.02 1.01 1.00 2/63 22685
Raw data (stat): 22675 (java) R 22674 7266 7265 0 -1 0 18036 0 1 0 52155 53 0 0 25 0 10 0 780243521 857128960 24126 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209260 24126 13086 16 0 209244 0
vsize: 837040
[startup+570.044 s]
Raw data (loadavg): 1.02 1.01 1.00 2/63 22685
Raw data (stat): 22675 (java) R 22674 7266 7265 0 -1 0 18036 0 1 0 53083 53 0 0 25 0 10 0 780243521 857128960 24157 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209260 24157 13086 16 0 209244 0
vsize: 837040
[startup+580.045 s]
Raw data (loadavg): 1.01 1.01 1.00 2/63 22685
Raw data (stat): 22675 (java) R 22674 7266 7265 0 -1 0 18036 0 1 0 54005 53 0 0 24 0 10 0 780243521 857128960 24190 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209260 24190 13086 16 0 209244 0
vsize: 837040
[startup+590.045 s]
Raw data (loadavg): 1.01 1.01 1.00 2/63 22685
Raw data (stat): 22675 (java) R 22674 7266 7265 0 -1 0 18036 0 1 0 54932 53 0 0 25 0 10 0 780243521 857128960 24220 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209260 24220 13086 16 0 209244 0
vsize: 837040
[startup+600.045 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 22685
Raw data (stat): 22675 (java) R 22674 7266 7265 0 -1 0 18036 0 1 0 55856 53 0 0 25 0 10 0 780243521 857128960 24251 4294967295 134512640 134569956 3221224368 3221214232 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209260 24251 13086 16 0 209244 0
vsize: 837040
[startup+610.046 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 22685
Raw data (stat): 22675 (java) R 22674 7266 7265 0 -1 0 18036 0 1 0 56782 53 0 0 25 0 10 0 780243521 857128960 24281 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209260 24281 13086 16 0 209244 0
vsize: 837040
[startup+620.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22685
Raw data (stat): 22675 (java) R 22674 7266 7265 0 -1 0 18036 0 1 0 57708 53 0 0 25 0 10 0 780243521 857128960 24310 4294967295 134512640 134569956 3221224368 3221214764 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209260 24310 13086 16 0 209244 0
vsize: 837040
[startup+630.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22685
Raw data (stat): 22675 (java) S 22674 7266 7265 0 -1 0 18036 0 1 0 58630 53 0 0 25 0 10 0 780243521 857128960 24340 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209260 24340 13086 16 0 209244 0
vsize: 837040
[startup+640.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22685
Raw data (stat): 22675 (java) R 22674 7266 7265 0 -1 0 18036 0 1 0 59552 53 0 0 24 0 10 0 780243521 857128960 24371 4294967295 134512640 134569956 3221224368 3221214728 1131045363 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209260 24371 13086 16 0 209244 0
vsize: 837040
[startup+650.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22685
Raw data (stat): 22675 (java) R 22674 7266 7265 0 -1 0 18036 0 1 0 60477 53 0 0 25 0 10 0 780243521 857128960 24400 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209260 24400 13086 16 0 209244 0
vsize: 837040
[startup+660.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22685
Raw data (stat): 22675 (java) R 22674 7266 7265 0 -1 0 18036 0 1 0 61401 54 0 0 25 0 10 0 780243521 857128960 24433 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209260 24433 13086 16 0 209244 0
vsize: 837040
[startup+670.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22685
Raw data (stat): 22675 (java) R 22674 7266 7265 0 -1 0 18036 0 1 0 62321 54 0 0 25 0 10 0 780243521 857128960 25097 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209260 25097 13086 16 0 209244 0
vsize: 837040
[startup+680.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22685
Raw data (stat): 22675 (java) R 22674 7266 7265 0 -1 0 18036 0 1 0 63243 54 0 0 25 0 10 0 780243521 857128960 25097 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209260 25097 13086 16 0 209244 0
vsize: 837040
[startup+690.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22685
Raw data (stat): 22675 (java) R 22674 7266 7265 0 -1 0 18036 0 1 0 64158 54 0 0 25 0 10 0 780243521 857128960 25120 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209260 25120 13086 16 0 209244 0
vsize: 837040
[startup+700.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22685
Raw data (stat): 22675 (java) R 22674 7266 7265 0 -1 0 18036 0 1 0 65071 54 0 0 25 0 10 0 780243521 857128960 25150 4294967295 134512640 134569956 3221224368 3221214756 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209260 25150 13086 16 0 209244 0
vsize: 837040
[startup+710.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22685
Raw data (stat): 22675 (java) R 22674 7266 7265 0 -1 0 18036 0 1 0 65983 55 0 0 25 0 10 0 780243521 857128960 25184 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209260 25184 13086 16 0 209244 0
vsize: 837040
[startup+720.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22685
Raw data (stat): 22675 (java) R 22674 7266 7265 0 -1 0 18036 0 1 0 66896 55 0 0 25 0 10 0 780243521 857128960 25217 4294967295 134512640 134569956 3221224368 3221214764 1080204160 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209260 25217 13086 16 0 209244 0
vsize: 837040
[startup+730.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22685
Raw data (stat): 22675 (java) R 22674 7266 7265 0 -1 0 18036 0 1 0 67809 56 0 0 25 0 10 0 780243521 857128960 25244 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209260 25244 13086 16 0 209244 0
vsize: 837040
[startup+740.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22685
Raw data (stat): 22675 (java) R 22674 7266 7265 0 -1 0 18036 0 1 0 68721 56 0 0 25 0 10 0 780243521 857128960 25278 4294967295 134512640 134569956 3221224368 3221214756 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209260 25278 13086 16 0 209244 0
vsize: 837040
[startup+750.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22685
Raw data (stat): 22675 (java) R 22674 7266 7265 0 -1 0 18036 0 1 0 69632 56 0 0 24 0 10 0 780243521 857128960 25305 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209260 25305 13086 16 0 209244 0
vsize: 837040
[startup+760.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22685
Raw data (stat): 22675 (java) S 22674 7266 7265 0 -1 0 18036 0 1 0 70547 57 0 0 25 0 10 0 780243521 857128960 25342 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209260 25342 13086 16 0 209244 0
vsize: 837040
[startup+770.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22685
Raw data (stat): 22675 (java) R 22674 7266 7265 0 -1 0 18036 0 1 0 71461 57 0 0 25 0 10 0 780243521 857128960 25368 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209260 25368 13086 16 0 209244 0
vsize: 837040
[startup+780.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22685
Raw data (stat): 22675 (java) R 22674 7266 7265 0 -1 0 18036 0 1 0 72373 57 0 0 25 0 10 0 780243521 857128960 25402 4294967295 134512640 134569956 3221224368 3221214764 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209260 25402 13086 16 0 209244 0
vsize: 837040
[startup+790.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22685
Raw data (stat): 22675 (java) R 22674 7266 7265 0 -1 0 18036 0 1 0 73283 58 0 0 25 0 10 0 780243521 857128960 25435 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209260 25435 13086 16 0 209244 0
vsize: 837040
[startup+800.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22685
Raw data (stat): 22675 (java) R 22674 7266 7265 0 -1 0 18036 0 1 0 74194 58 0 0 25 0 10 0 780243521 857128960 25462 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209260 25462 13086 16 0 209244 0
vsize: 837040
[startup+810.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22685
Raw data (stat): 22675 (java) R 22674 7266 7265 0 -1 0 18036 0 1 0 75103 58 0 0 25 0 10 0 780243521 857128960 25497 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209260 25497 13086 16 0 209244 0
vsize: 837040
[startup+820.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22685
Raw data (stat): 22675 (java) R 22674 7266 7265 0 -1 0 18036 0 1 0 76013 59 0 0 25 0 10 0 780243521 857128960 25522 4294967295 134512640 134569956 3221224368 3221214756 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209260 25522 13086 16 0 209244 0
vsize: 837040
[startup+830.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22685
Raw data (stat): 22675 (java) R 22674 7266 7265 0 -1 0 18036 0 1 0 76922 59 0 0 24 0 10 0 780243521 857128960 25548 4294967295 134512640 134569956 3221224368 3221214756 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209260 25548 13086 16 0 209244 0
vsize: 837040
[startup+840.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22685
Raw data (stat): 22675 (java) S 22674 7266 7265 0 -1 0 18036 0 1 0 77831 59 0 0 25 0 10 0 780243521 857128960 25582 4294967295 134512640 134569956 3221224368 3221213472 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209260 25582 13086 16 0 209244 0
vsize: 837040
[startup+850.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22685
Raw data (stat): 22675 (java) R 22674 7266 7265 0 -1 0 18036 0 1 0 78746 60 0 0 25 0 10 0 780243521 857128960 25612 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209260 25612 13086 16 0 209244 0
vsize: 837040
[startup+860.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22685
Raw data (stat): 22675 (java) R 22674 7266 7265 0 -1 0 18037 0 1 0 79655 60 0 0 25 0 10 0 780243521 857128960 25641 4294967295 134512640 134569956 3221224368 3221214756 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209260 25641 13086 16 0 209244 0
vsize: 837040
[startup+870.064 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22685
Raw data (stat): 22675 (java) R 22674 7266 7265 0 -1 0 18037 0 1 0 80564 60 0 0 25 0 10 0 780243521 857128960 25666 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209260 25666 13086 16 0 209244 0
vsize: 837040
[startup+880.064 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22685
Raw data (stat): 22675 (java) R 22674 7266 7265 0 -1 0 18037 0 1 0 81472 60 0 0 25 0 10 0 780243521 857128960 25691 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209260 25691 13086 16 0 209244 0
vsize: 837040
[startup+890.065 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22685
Raw data (stat): 22675 (java) R 22674 7266 7265 0 -1 0 18037 0 1 0 82380 61 0 0 25 0 10 0 780243521 857128960 25730 4294967295 134512640 134569956 3221224368 3221214232 1080019741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209260 25730 13086 16 0 209244 0
vsize: 837040
[startup+900.066 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22685
Raw data (stat): 22675 (java) R 22674 7266 7265 0 -1 0 18037 0 1 0 83294 61 0 0 25 0 10 0 780243521 857128960 25755 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209260 25755 13086 16 0 209244 0
vsize: 837040
[startup+910.066 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22685
Raw data (stat): 22675 (java) R 22674 7266 7265 0 -1 0 18037 0 1 0 84202 62 0 0 25 0 10 0 780243521 857128960 25782 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209260 25782 13086 16 0 209244 0
vsize: 837040
[startup+920.066 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22685
Raw data (stat): 22675 (java) R 22674 7266 7265 0 -1 0 18037 0 1 0 85110 62 0 0 25 0 10 0 780243521 857128960 25806 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209260 25806 13086 16 0 209244 0
vsize: 837040
[startup+930.067 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22685
Raw data (stat): 22675 (java) R 22674 7266 7265 0 -1 0 18037 0 1 0 86017 62 0 0 24 0 10 0 780243521 857128960 25840 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209260 25840 13086 16 0 209244 0
vsize: 837040
[startup+940.068 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22685
Raw data (stat): 22675 (java) S 22674 7266 7265 0 -1 0 18037 0 1 0 86927 63 0 0 25 0 10 0 780243521 857128960 25866 4294967295 134512640 134569956 3221224368 3221213472 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209260 25866 13086 16 0 209244 0
vsize: 837040
[startup+950.068 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22685
Raw data (stat): 22675 (java) R 22674 7266 7265 0 -1 0 18037 0 1 0 87835 63 0 0 25 0 10 0 780243521 857128960 25893 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209260 25893 13086 16 0 209244 0
vsize: 837040
[startup+960.068 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22685
Raw data (stat): 22675 (java) R 22674 7266 7265 0 -1 0 18037 0 1 0 88739 63 0 0 25 0 10 0 780243521 857128960 25922 4294967295 134512640 134569956 3221224368 3221214232 1080019741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209260 25922 13086 16 0 209244 0
vsize: 837040
[startup+970.069 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22685
Raw data (stat): 22675 (java) R 22674 7266 7265 0 -1 0 18037 0 1 0 89643 64 0 0 24 0 10 0 780243521 857128960 25948 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209260 25948 13086 16 0 209244 0
vsize: 837040
[startup+980.076 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22685
Raw data (stat): 22675 (java) R 22674 7266 7265 0 -1 0 18037 0 1 0 90556 64 0 0 25 0 10 0 780243521 857128960 25974 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209260 25974 13086 16 0 209244 0
vsize: 837040
[startup+990.076 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22685
Raw data (stat): 22675 (java) R 22674 7266 7265 0 -1 0 18037 0 1 0 91461 65 0 0 25 0 10 0 780243521 857128960 26003 4294967295 134512640 134569956 3221224368 3221214756 1080203551 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209260 26003 13086 16 0 209244 0
vsize: 837040
[startup+1000.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22685
Raw data (stat): 22675 (java) R 22674 7266 7265 0 -1 0 18037 0 1 0 92365 65 0 0 25 0 10 0 780243521 857128960 26030 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209260 26030 13086 16 0 209244 0
vsize: 837040
[startup+1010.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22685
Raw data (stat): 22675 (java) R 22674 7266 7265 0 -1 0 18037 0 1 0 93269 66 0 0 24 0 10 0 780243521 857128960 26056 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209260 26056 13086 16 0 209244 0
vsize: 837040
[startup+1020.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22685
Raw data (stat): 22675 (java) R 22674 7266 7265 0 -1 0 18037 0 1 0 94179 66 0 0 25 0 10 0 780243521 857128960 26083 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209260 26083 13086 16 0 209244 0
vsize: 837040
[startup+1030.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22685
Raw data (stat): 22675 (java) R 22674 7266 7265 0 -1 0 18037 0 1 0 95083 66 0 0 25 0 10 0 780243521 857128960 26108 4294967295 134512640 134569956 3221224368 3221214232 1080019741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209260 26108 13086 16 0 209244 0
vsize: 837040
[startup+1040.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22685
Raw data (stat): 22675 (java) R 22674 7266 7265 0 -1 0 18037 0 1 0 95987 67 0 0 24 0 10 0 780243521 857128960 26133 4294967295 134512640 134569956 3221224368 3221214756 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209260 26133 13086 16 0 209244 0
vsize: 837040
[startup+1050.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22685
Raw data (stat): 22675 (java) R 22674 7266 7265 0 -1 0 18037 0 1 0 96897 67 0 0 25 0 10 0 780243521 857128960 26158 4294967295 134512640 134569956 3221224368 3221214764 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209260 26158 13086 16 0 209244 0
vsize: 837040
[startup+1060.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22685
Raw data (stat): 22675 (java) R 22674 7266 7265 0 -1 0 18037 0 1 0 97800 67 0 0 25 0 10 0 780243521 857128960 26185 4294967295 134512640 134569956 3221224368 3221214756 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209260 26185 13086 16 0 209244 0
vsize: 837040
[startup+1070.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22685
Raw data (stat): 22675 (java) R 22674 7266 7265 0 -1 0 18037 0 1 0 98701 68 0 0 25 0 10 0 780243521 857128960 26213 4294967295 134512640 134569956 3221224368 3221214232 1080019741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209260 26213 13086 16 0 209244 0
vsize: 837040
[startup+1080.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22685
Raw data (stat): 22675 (java) R 22674 7266 7265 0 -1 0 18037 0 1 0 99602 68 0 0 24 0 10 0 780243521 857128960 26238 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209260 26238 13086 16 0 209244 0
vsize: 837040
[startup+1090.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22685
Raw data (stat): 22675 (java) R 22674 7266 7265 0 -1 0 18037 0 1 0 100511 68 0 0 25 0 10 0 780243521 857128960 26259 4294967295 134512640 134569956 3221224368 3221214756 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209260 26259 13086 16 0 209244 0
vsize: 837040
[startup+1100.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22685
Raw data (stat): 22675 (java) R 22674 7266 7265 0 -1 0 18037 0 1 0 101413 69 0 0 25 0 10 0 780243521 857128960 26282 4294967295 134512640 134569956 3221224368 3221214764 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209260 26282 13086 16 0 209244 0
vsize: 837040
[startup+1110.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22685
Raw data (stat): 22675 (java) R 22674 7266 7265 0 -1 0 18037 0 1 0 102314 69 0 0 24 0 10 0 780243521 857128960 26303 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209260 26303 13086 16 0 209244 0
vsize: 837040
[startup+1120.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22685
Raw data (stat): 22675 (java) R 22674 7266 7265 0 -1 0 18037 0 1 0 103221 70 0 0 25 0 10 0 780243521 857128960 26337 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209260 26337 13086 16 0 209244 0
vsize: 837040
[startup+1130.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22685
Raw data (stat): 22675 (java) R 22674 7266 7265 0 -1 0 18037 0 1 0 104123 70 0 0 21 0 10 0 780243521 857128960 26359 4294967295 134512640 134569956 3221224368 3221214232 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209260 26359 13086 16 0 209244 0
vsize: 837040
[startup+1140.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22685
Raw data (stat): 22675 (java) R 22674 7266 7265 0 -1 0 18037 0 1 0 105023 71 0 0 19 0 10 0 780243521 857128960 26381 4294967295 134512640 134569956 3221224368 3221214756 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209260 26381 13086 16 0 209244 0
vsize: 837040
[startup+1150.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22685
Raw data (stat): 22675 (java) R 22674 7266 7265 0 -1 0 18037 0 1 0 105930 71 0 0 23 0 10 0 780243521 857128960 26411 4294967295 134512640 134569956 3221224368 3221214216 1077558382 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209260 26411 13086 16 0 209244 0
vsize: 837040
[startup+1160.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22685
Raw data (stat): 22675 (java) R 22674 7266 7265 0 -1 0 18037 0 1 0 106830 72 0 0 21 0 10 0 780243521 857128960 26438 4294967295 134512640 134569956 3221224368 3221214764 1080204166 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209260 26438 13086 16 0 209244 0
vsize: 837040
[startup+1170.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22685
Raw data (stat): 22675 (java) R 22674 7266 7265 0 -1 0 18037 0 1 0 107731 72 0 0 19 0 10 0 780243521 857128960 26460 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209260 26460 13086 16 0 209244 0
vsize: 837040
[startup+1180.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22685
Raw data (stat): 22675 (java) R 22674 7266 7265 0 -1 0 18037 0 1 0 108638 72 0 0 22 0 10 0 780243521 857128960 26486 4294967295 134512640 134569956 3221224368 3221214756 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209260 26486 13086 16 0 209244 0
vsize: 837040
[startup+1190.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22685
Raw data (stat): 22675 (java) R 22674 7266 7265 0 -1 0 18037 0 1 0 109538 73 0 0 20 0 10 0 780243521 857128960 26509 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209260 26509 13086 16 0 209244 0
vsize: 837040
[startup+1200.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22685
Raw data (stat): 22675 (java) S 22674 7266 7265 0 -1 0 18037 0 1 0 110440 73 0 0 22 0 10 0 780243521 857128960 26534 4294967295 134512640 134569956 3221224368 3221213368 1073952481 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209260 26534 13086 16 0 209244 0
vsize: 837040
[startup+1210.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22685
Raw data (stat): 22675 (java) R 22674 7266 7265 0 -1 0 18037 0 1 0 111339 73 0 0 20 0 10 0 780243521 857128960 26559 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209260 26559 13086 16 0 209244 0
vsize: 837040
[startup+1220.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22685
Raw data (stat): 22675 (java) R 22674 7266 7265 0 -1 0 18037 0 1 0 112237 73 0 0 19 0 10 0 780243521 857128960 26581 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209260 26581 13086 16 0 209244 0
vsize: 837040
[startup+1230.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22685
Raw data (stat): 22675 (java) R 22674 7266 7265 0 -1 0 18037 0 1 0 113142 74 0 0 22 0 10 0 780243521 857128960 26605 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209260 26605 13086 16 0 209244 0
vsize: 837040
[startup+1240.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22685
Raw data (stat): 22675 (java) R 22674 7266 7265 0 -1 0 18037 0 1 0 114040 74 0 0 19 0 10 0 780243521 857128960 26630 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209260 26630 13086 16 0 209244 0
vsize: 837040
[startup+1250.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22685
Raw data (stat): 22675 (java) R 22674 7266 7265 0 -1 0 18037 0 1 0 114945 75 0 0 23 0 10 0 780243521 857128960 26656 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209260 26656 13086 16 0 209244 0
vsize: 837040
[startup+1260.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22685
Raw data (stat): 22675 (java) R 22674 7266 7265 0 -1 0 18037 0 1 0 115844 75 0 0 20 0 10 0 780243521 857128960 26680 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209260 26680 13086 16 0 209244 0
vsize: 837040
[startup+1270.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22685
Raw data (stat): 22675 (java) R 22674 7266 7265 0 -1 0 18037 0 1 0 116742 75 0 0 19 0 10 0 780243521 857128960 26697 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209260 26697 13086 16 0 209244 0
vsize: 837040
[startup+1280.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22685
Raw data (stat): 22675 (java) R 22674 7266 7265 0 -1 0 18037 0 1 0 117648 76 0 0 21 0 10 0 780243521 857128960 26727 4294967295 134512640 134569956 3221224368 3221214136 1076874552 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209260 26727 13086 16 0 209244 0
vsize: 837040
[startup+1290.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22685
Raw data (stat): 22675 (java) R 22674 7266 7265 0 -1 0 18037 0 1 0 118548 76 0 0 19 0 10 0 780243521 857128960 26742 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209260 26742 13086 16 0 209244 0
vsize: 837040
[startup+1300.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22685
Raw data (stat): 22675 (java) R 22674 7266 7265 0 -1 0 18037 0 1 0 119455 76 0 0 23 0 10 0 780243521 857128960 26777 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209260 26777 13086 16 0 209244 0
vsize: 837040
[startup+1310.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22685
Raw data (stat): 22675 (java) R 22674 7266 7265 0 -1 0 18037 0 1 0 120358 76 0 0 21 0 10 0 780243521 857128960 26806 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209260 26806 13086 16 0 209244 0
vsize: 837040
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1310.2 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 22687
Raw data (stat): 22675 (java) Z 22674 7266 7265 0 -1 1036 18037 7757 1 0 120363 76 10492 42 23 0 1 0 780243521 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): 1310.2
CPU time (s): 1309.75
CPU user time (s): 1308.56
CPU system time (s): 1.19282
CPU usage (%): 99.9658
Max. virtual memory (Kb): 837040
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####