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/MIPLIB/miplib3/normalized-mps-v2-20-10-blend2.opb
MD5SUM	16b86ac5ad712621c8050f8776cfb803
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	88
Biggest coefficient in the objective function	24014225
Number of bits for the biggest coefficient in the objective function	25
Sum of the numbers in the objective function	235593725
Number of bits of the sum of numbers in the objective function	28
Biggest number in a constraint	8935312239624192
Number of bits of the biggest number in a constraint	53
Biggest sum of numbers in a constraint	1346963845029350184
Number of bits of the biggest sum of numbers	61
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.306952
Number of variables	2944
Total number of constraints	531
Number of constraints which are clauses	9
Number of constraints which are cardinality constraints (but not clauses)	310
Number of constraints which are nor clauses,nor cardinality constraints	212
Minimum length of a constraint	1
Maximum length of a constraint	2659
Trace number 29628

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc22 THE 2005-05-25 09:48:35 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=21031 boxname=wulflinc22 idbench=1019 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  16b86ac5ad712621c8050f8776cfb803  /oldhome/oroussel/tmp/wulflinc22/normalized-mps-v2-20-10-blend2.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc22/normalized-mps-v2-20-10-blend2.opb
IDLAUNCH: 21031
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.031
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	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.031
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:        748144 kB
Buffers:         29444 kB
Cached:         234472 kB
SwapCached:        400 kB
Active:          53428 kB
Inactive:       212684 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        747892 kB
SwapTotal:     2097892 kB
SwapFree:      2096804 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5576 kB
Slab:            14644 kB
Committed_AS:    63564 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 10:08:57 (client local time) WITH STATUS 143 IN 1231.09 SECONDS
stats: 21031 7 1231.09 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/wulflinc22/normalized-mps-v2-20-10-blend2.opb
c reading problem ... done. Time 6.827 ms.
c #vars     2944
c #constraints  303
c starts	: 5
c conflicts	: 1011
c decisions	: 8441
c propagations	: 26126
c inspects	: 781062
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 1011
c root simplifications	: 583
s UNKNOWN
c Total CPU time (ms) : 1219.123
#### 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): 1.05 1.01 1.00 2/54 2165
Raw data (stat): 2165 (runsolver) R 2164 23310 23309 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 837920285 1052672 99 4294967295 134512640 135381576 3221224400 3221219620 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0007 s]
Raw data (loadavg): 1.12 1.03 1.01 4/64 2175
Raw data (stat): 2165 (java) R 2164 23310 23309 0 -1 0 18071 0 1 0 765 38 0 0 25 0 11 0 837920285 859267072 20299 4294967295 134512640 134569956 3221224368 3221214736 1130883833 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209782 20299 13086 16 0 209766 0
vsize: 839128
[startup+20.0013 s]
Raw data (loadavg): 1.10 1.03 1.01 2/64 2175
Raw data (stat): 2165 (java) R 2164 23310 23309 0 -1 0 18073 0 1 0 1677 39 0 0 25 0 11 0 837920285 857550848 21430 4294967295 134512640 134569956 3221224368 3221214560 1131398625 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209363 21430 13086 16 0 209347 0
vsize: 837452
[startup+30.0016 s]
Raw data (loadavg): 1.09 1.03 1.01 3/64 2175
Raw data (stat): 2165 (java) R 2164 23310 23309 0 -1 0 18073 0 1 0 2634 39 0 0 25 0 11 0 837920285 857550848 21450 4294967295 134512640 134569956 3221224368 3221214608 1131431299 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209363 21450 13086 16 0 209347 0
vsize: 837452
[startup+40.0018 s]
Raw data (loadavg): 1.07 1.03 1.01 2/64 2175
Raw data (stat): 2165 (java) R 2164 23310 23309 0 -1 0 18073 0 1 0 3578 40 0 0 25 0 11 0 837920285 857550848 21472 4294967295 134512640 134569956 3221224368 3221214620 1131192800 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209363 21472 13086 16 0 209347 0
vsize: 837452
[startup+50.0021 s]
Raw data (loadavg): 1.06 1.03 1.00 2/64 2175
Raw data (stat): 2165 (java) R 2164 23310 23309 0 -1 0 18073 0 1 0 4527 40 0 0 25 0 11 0 837920285 858902528 21825 4294967295 134512640 134569956 3221224368 3221214528 1131441602 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209693 21825 13086 16 0 209677 0
vsize: 838772
[startup+60.0017 s]
Raw data (loadavg): 1.05 1.02 1.00 2/64 2175
Raw data (stat): 2165 (java) R 2164 23310 23309 0 -1 0 18074 0 1 0 5475 40 0 0 25 0 11 0 837920285 858734592 21811 4294967295 134512640 134569956 3221224368 3221214624 1131431364 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209652 21811 13086 16 0 209636 0
vsize: 838608
[startup+70.0242 s]
Raw data (loadavg): 1.04 1.02 1.00 2/64 2175
Raw data (stat): 2165 (java) R 2164 23310 23309 0 -1 0 18074 0 1 0 6423 41 0 0 25 0 11 0 837920285 858734592 22607 4294967295 134512640 134569956 3221224368 3221214528 1131220780 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209652 22607 13086 16 0 209636 0
vsize: 838608
[startup+80.0512 s]
Raw data (loadavg): 1.04 1.02 1.00 2/64 2175
Raw data (stat): 2165 (java) R 2164 23310 23309 0 -1 0 18074 0 1 0 7414 41 0 0 25 0 11 0 837920285 858734592 22609 4294967295 134512640 134569956 3221224368 3221214320 1076461499 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209652 22609 13086 16 0 209636 0
vsize: 838608
[startup+90.0508 s]
Raw data (loadavg): 1.03 1.02 1.00 2/64 2175
Raw data (stat): 2165 (java) R 2164 23310 23309 0 -1 0 18074 0 1 0 8402 41 0 0 25 0 11 0 837920285 858734592 22609 4294967295 134512640 134569956 3221224368 3221214632 1131376878 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209652 22609 13086 16 0 209636 0
vsize: 838608
[startup+100.051 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 2175
Raw data (stat): 2165 (java) R 2164 23310 23309 0 -1 0 18075 0 1 0 9389 41 0 0 25 0 11 0 837920285 858734592 22662 4294967295 134512640 134569956 3221224368 3221214624 1131431821 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209652 22662 13086 16 0 209636 0
vsize: 838608
[startup+110.051 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 2175
Raw data (stat): 2165 (java) R 2164 23310 23309 0 -1 0 18075 0 1 0 10378 42 0 0 25 0 11 0 837920285 858734592 22662 4294967295 134512640 134569956 3221224368 3221214624 1131431364 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209652 22662 13086 16 0 209636 0
vsize: 838608
[startup+120.052 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 2175
Raw data (stat): 2165 (java) R 2164 23310 23309 0 -1 0 18075 0 1 0 11370 42 0 0 25 0 11 0 837920285 858734592 22663 4294967295 134512640 134569956 3221224368 3221214648 1131411376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209652 22663 13086 16 0 209636 0
vsize: 838608
[startup+130.053 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 2175
Raw data (stat): 2165 (java) R 2164 23310 23309 0 -1 0 18075 0 1 0 12346 42 0 0 25 0 11 0 837920285 858734592 22716 4294967295 134512640 134569956 3221224368 3221214528 1131220807 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209652 22716 13086 16 0 209636 0
vsize: 838608
[startup+140.054 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 2175
Raw data (stat): 2165 (java) R 2164 23310 23309 0 -1 0 18075 0 1 0 13329 42 0 0 25 0 11 0 837920285 858734592 22766 4294967295 134512640 134569956 3221224368 3221214632 1131376871 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209652 22766 13086 16 0 209636 0
vsize: 838608
[startup+150.054 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 2175
Raw data (stat): 2165 (java) R 2164 23310 23309 0 -1 0 18075 0 1 0 14316 42 0 0 25 0 11 0 837920285 858734592 22822 4294967295 134512640 134569956 3221224368 3221214648 1131409363 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209652 22822 13086 16 0 209636 0
vsize: 838608
[startup+160.054 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 2175
Raw data (stat): 2165 (java) R 2164 23310 23309 0 -1 0 18075 0 1 0 15309 42 0 0 25 0 11 0 837920285 858734592 22894 4294967295 134512640 134569956 3221224368 3221214648 1131410549 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209652 22894 13086 16 0 209636 0
vsize: 838608
[startup+170.054 s]
Raw data (loadavg): 1.01 1.01 1.00 3/64 2175
Raw data (stat): 2165 (java) R 2164 23310 23309 0 -1 0 18075 0 1 0 16298 42 0 0 25 0 11 0 837920285 858734592 22896 4294967295 134512640 134569956 3221224368 3221213400 1073952732 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209652 22896 13086 16 0 209636 0
vsize: 838608
[startup+180.054 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 2175
Raw data (stat): 2165 (java) S 2164 23310 23309 0 -1 0 18075 0 1 0 17285 43 0 0 25 0 11 0 837920285 858734592 22898 4294967295 134512640 134569956 3221224368 3221213168 1073952481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209652 22898 13086 16 0 209636 0
vsize: 838608
[startup+190.056 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 2175
Raw data (stat): 2165 (java) R 2164 23310 23309 0 -1 0 18075 0 1 0 18272 43 0 0 25 0 11 0 837920285 858734592 22956 4294967295 134512640 134569956 3221224368 3221214568 1131332415 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209652 22956 13086 16 0 209636 0
vsize: 838608
[startup+200.055 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 2175
Raw data (stat): 2165 (java) R 2164 23310 23309 0 -1 0 18075 0 1 0 19266 43 0 0 25 0 11 0 837920285 858734592 22958 4294967295 134512640 134569956 3221224368 3221214568 1131332572 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209652 22958 13086 16 0 209636 0
vsize: 838608
[startup+210.055 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 2175
Raw data (stat): 2165 (java) R 2164 23310 23309 0 -1 0 18075 0 1 0 20259 43 0 0 25 0 11 0 837920285 858734592 22963 4294967295 134512640 134569956 3221224368 3221214568 1131331982 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209652 22963 13086 16 0 209636 0
vsize: 838608
[startup+220.057 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 2175
Raw data (stat): 2165 (java) R 2164 23310 23309 0 -1 0 18075 0 1 0 21247 44 0 0 25 0 11 0 837920285 858734592 22966 4294967295 134512640 134569956 3221224368 3221214672 1131409399 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209652 22966 13086 16 0 209636 0
vsize: 838608
[startup+230.057 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 2175
Raw data (stat): 2165 (java) R 2164 23310 23309 0 -1 0 18075 0 1 0 22235 44 0 0 25 0 11 0 837920285 858734592 22969 4294967295 134512640 134569956 3221224368 3221214568 1131331984 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209652 22969 13086 16 0 209636 0
vsize: 838608
[startup+240.057 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 2175
Raw data (stat): 2165 (java) R 2164 23310 23309 0 -1 0 18075 0 1 0 23228 44 0 0 25 0 11 0 837920285 858734592 23023 4294967295 134512640 134569956 3221224368 3221214672 1131410557 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209652 23023 13086 16 0 209636 0
vsize: 838608
[startup+250.057 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 2175
Raw data (stat): 2165 (java) R 2164 23310 23309 0 -1 0 18075 0 1 0 24225 44 0 0 25 0 11 0 837920285 858734592 23023 4294967295 134512640 134569956 3221224368 3221214568 1131332082 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209652 23023 13086 16 0 209636 0
vsize: 838608
[startup+260.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2175
Raw data (stat): 2165 (java) R 2164 23310 23309 0 -1 0 18075 0 1 0 25219 44 0 0 25 0 11 0 837920285 858734592 23024 4294967295 134512640 134569956 3221224368 3221214568 1131332440 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209652 23024 13086 16 0 209636 0
vsize: 838608
[startup+270.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2175
Raw data (stat): 2165 (java) R 2164 23310 23309 0 -1 0 18075 0 1 0 26209 44 0 0 25 0 11 0 837920285 858734592 23027 4294967295 134512640 134569956 3221224368 3221214568 1131331613 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209652 23027 13086 16 0 209636 0
vsize: 838608
[startup+280.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2175
Raw data (stat): 2165 (java) R 2164 23310 23309 0 -1 0 18075 0 1 0 27192 44 0 0 25 0 11 0 837920285 858734592 23031 4294967295 134512640 134569956 3221224368 3221214672 1131414361 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209652 23031 13086 16 0 209636 0
vsize: 838608
[startup+290.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2175
Raw data (stat): 2165 (java) R 2164 23310 23309 0 -1 0 18075 0 1 0 28176 44 0 0 25 0 11 0 837920285 858734592 23080 4294967295 134512640 134569956 3221224368 3221214568 1131331582 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209652 23080 13086 16 0 209636 0
vsize: 838608
[startup+300.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2175
Raw data (stat): 2165 (java) R 2164 23310 23309 0 -1 0 18075 0 1 0 29162 44 0 0 25 0 11 0 837920285 858734592 23087 4294967295 134512640 134569956 3221224368 3221214480 1131195188 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209652 23087 13086 16 0 209636 0
vsize: 838608
[startup+310.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2175
Raw data (stat): 2165 (java) R 2164 23310 23309 0 -1 0 18075 0 1 0 30159 44 0 0 25 0 11 0 837920285 858734592 23145 4294967295 134512640 134569956 3221224368 3221214568 1131332017 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209652 23145 13086 16 0 209636 0
vsize: 838608
[startup+320.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2175
Raw data (stat): 2165 (java) R 2164 23310 23309 0 -1 0 18075 0 1 0 31156 44 0 0 25 0 11 0 837920285 858734592 23145 4294967295 134512640 134569956 3221224368 3221214568 1131332206 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209652 23145 13086 16 0 209636 0
vsize: 838608
[startup+330.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2175
Raw data (stat): 2165 (java) R 2164 23310 23309 0 -1 0 18075 0 1 0 32153 44 0 0 25 0 11 0 837920285 858734592 23147 4294967295 134512640 134569956 3221224368 3221214568 1131332546 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209652 23147 13086 16 0 209636 0
vsize: 838608
[startup+340.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2175
Raw data (stat): 2165 (java) R 2164 23310 23309 0 -1 0 18075 0 1 0 33148 44 0 0 25 0 11 0 837920285 858734592 23149 4294967295 134512640 134569956 3221224368 3221214568 1131332268 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209652 23149 13086 16 0 209636 0
vsize: 838608
[startup+350.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2175
Raw data (stat): 2165 (java) R 2164 23310 23309 0 -1 0 18075 0 1 0 34139 44 0 0 25 0 11 0 837920285 858734592 23151 4294967295 134512640 134569956 3221224368 3221214568 1131332123 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209652 23151 13086 16 0 209636 0
vsize: 838608
[startup+360.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2175
Raw data (stat): 2165 (java) R 2164 23310 23309 0 -1 0 18075 0 1 0 35127 45 0 0 25 0 11 0 837920285 858734592 23151 4294967295 134512640 134569956 3221224368 3221214568 1131332155 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209652 23151 13086 16 0 209636 0
vsize: 838608
[startup+370.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2175
Raw data (stat): 2165 (java) R 2164 23310 23309 0 -1 0 18075 0 1 0 36117 45 0 0 25 0 11 0 837920285 858734592 23202 4294967295 134512640 134569956 3221224368 3221214568 1131332495 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209652 23202 13086 16 0 209636 0
vsize: 838608
[startup+380.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2175
Raw data (stat): 2165 (java) R 2164 23310 23309 0 -1 0 18075 0 1 0 37112 45 0 0 25 0 11 0 837920285 858734592 23215 4294967295 134512640 134569956 3221224368 3221214568 1131332803 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209652 23215 13086 16 0 209636 0
vsize: 838608
[startup+390.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2175
Raw data (stat): 2165 (java) R 2164 23310 23309 0 -1 0 18075 0 1 0 38109 45 0 0 25 0 11 0 837920285 858734592 23220 4294967295 134512640 134569956 3221224368 3221214672 1131414196 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209652 23220 13086 16 0 209636 0
vsize: 838608
[startup+400.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2175
Raw data (stat): 2165 (java) R 2164 23310 23309 0 -1 0 18075 0 1 0 39106 45 0 0 25 0 11 0 837920285 858734592 23222 4294967295 134512640 134569956 3221224368 3221214568 1131332584 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209652 23222 13086 16 0 209636 0
vsize: 838608
[startup+410.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2175
Raw data (stat): 2165 (java) R 2164 23310 23309 0 -1 0 18075 0 1 0 40098 45 0 0 25 0 11 0 837920285 858734592 23224 4294967295 134512640 134569956 3221224368 3221214568 1131332017 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209652 23224 13086 16 0 209636 0
vsize: 838608
[startup+420.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2175
Raw data (stat): 2165 (java) R 2164 23310 23309 0 -1 0 18075 0 1 0 41084 45 0 0 25 0 11 0 837920285 858734592 23227 4294967295 134512640 134569956 3221224368 3221214672 1131410521 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209652 23227 13086 16 0 209636 0
vsize: 838608
[startup+430.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2175
Raw data (stat): 2165 (java) R 2164 23310 23309 0 -1 0 18075 0 1 0 42069 45 0 0 25 0 11 0 837920285 858734592 23235 4294967295 134512640 134569956 3221224368 3221214564 1131194720 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209652 23235 13086 16 0 209636 0
vsize: 838608
[startup+440.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2175
Raw data (stat): 2165 (java) R 2164 23310 23309 0 -1 0 18075 0 1 0 43060 45 0 0 25 0 11 0 837920285 858734592 23307 4294967295 134512640 134569956 3221224368 3221214568 1131332513 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209652 23307 13086 16 0 209636 0
vsize: 838608
[startup+450.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2175
Raw data (stat): 2165 (java) R 2164 23310 23309 0 -1 0 18075 0 1 0 44057 45 0 0 25 0 11 0 837920285 858734592 23310 4294967295 134512640 134569956 3221224368 3221214568 1131332159 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209652 23310 13086 16 0 209636 0
vsize: 838608
[startup+460.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2175
Raw data (stat): 2165 (java) R 2164 23310 23309 0 -1 0 18075 0 1 0 45054 46 0 0 25 0 11 0 837920285 858734592 23312 4294967295 134512640 134569956 3221224368 3221214568 1131332159 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209652 23312 13086 16 0 209636 0
vsize: 838608
[startup+470.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2175
Raw data (stat): 2165 (java) R 2164 23310 23309 0 -1 0 18075 0 1 0 46052 46 0 0 25 0 11 0 837920285 858734592 23313 4294967295 134512640 134569956 3221224368 3221214672 1131410549 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209652 23313 13086 16 0 209636 0
vsize: 838608
[startup+480.064 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2175
Raw data (stat): 2165 (java) R 2164 23310 23309 0 -1 0 18075 0 1 0 47048 46 0 0 25 0 11 0 837920285 858734592 23315 4294967295 134512640 134569956 3221224368 3221214672 1131409356 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209652 23315 13086 16 0 209636 0
vsize: 838608
[startup+490.064 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2175
Raw data (stat): 2165 (java) R 2164 23310 23309 0 -1 0 18075 0 1 0 48038 46 0 0 25 0 11 0 837920285 858734592 23315 4294967295 134512640 134569956 3221224368 3221214568 1131331947 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209652 23315 13086 16 0 209636 0
vsize: 838608
[startup+500.065 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2175
Raw data (stat): 2165 (java) R 2164 23310 23309 0 -1 0 18075 0 1 0 49028 46 0 0 25 0 11 0 837920285 858734592 23315 4294967295 134512640 134569956 3221224368 3221214672 1131409399 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209652 23315 13086 16 0 209636 0
vsize: 838608
[startup+510.065 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2175
Raw data (stat): 2165 (java) R 2164 23310 23309 0 -1 0 18075 0 1 0 50020 46 0 0 25 0 11 0 837920285 858734592 23364 4294967295 134512640 134569956 3221224368 3221214672 1131413983 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209652 23364 13086 16 0 209636 0
vsize: 838608
[startup+520.065 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2175
Raw data (stat): 2165 (java) R 2164 23310 23309 0 -1 0 18075 0 1 0 51016 46 0 0 25 0 11 0 837920285 858734592 23369 4294967295 134512640 134569956 3221224368 3221214480 1131194789 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209652 23369 13086 16 0 209636 0
vsize: 838608
[startup+530.065 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2175
Raw data (stat): 2165 (java) R 2164 23310 23309 0 -1 0 18075 0 1 0 52013 46 0 0 25 0 11 0 837920285 858734592 23371 4294967295 134512640 134569956 3221224368 3221214568 1131331582 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209652 23371 13086 16 0 209636 0
vsize: 838608
[startup+540.065 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2175
Raw data (stat): 2165 (java) R 2164 23310 23309 0 -1 0 18075 0 1 0 53009 46 0 0 25 0 11 0 837920285 858734592 23373 4294967295 134512640 134569956 3221224368 3221214568 1131332226 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209652 23373 13086 16 0 209636 0
vsize: 838608
[startup+550.065 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2175
Raw data (stat): 2165 (java) R 2164 23310 23309 0 -1 0 18075 0 1 0 54006 46 0 0 25 0 11 0 837920285 858734592 23377 4294967295 134512640 134569956 3221224368 3221214568 1131331582 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209652 23377 13086 16 0 209636 0
vsize: 838608
[startup+560.066 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2175
Raw data (stat): 2165 (java) R 2164 23310 23309 0 -1 0 18075 0 1 0 55003 46 0 0 25 0 11 0 837920285 858734592 23387 4294967295 134512640 134569956 3221224368 3221214568 1131331549 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209652 23387 13086 16 0 209636 0
vsize: 838608
[startup+570.065 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2175
Raw data (stat): 2165 (java) R 2164 23310 23309 0 -1 0 18075 0 1 0 56000 46 0 0 25 0 11 0 837920285 858734592 23389 4294967295 134512640 134569956 3221224368 3221214568 1131332510 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209652 23389 13086 16 0 209636 0
vsize: 838608
[startup+580.066 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2175
Raw data (stat): 2165 (java) R 2164 23310 23309 0 -1 0 18075 0 1 0 56996 46 0 0 25 0 11 0 837920285 858734592 23393 4294967295 134512640 134569956 3221224368 3221214672 1131409363 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209652 23393 13086 16 0 209636 0
vsize: 838608
[startup+590.067 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2175
Raw data (stat): 2165 (java) R 2164 23310 23309 0 -1 0 18075 0 1 0 57992 46 0 0 25 0 11 0 837920285 858734592 23393 4294967295 134512640 134569956 3221224368 3221214672 1131409363 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209652 23393 13086 16 0 209636 0
vsize: 838608
[startup+600.066 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2175
Raw data (stat): 2165 (java) R 2164 23310 23309 0 -1 0 18075 0 1 0 58988 46 0 0 25 0 11 0 837920285 858734592 23394 4294967295 134512640 134569956 3221224368 3221214568 1131332082 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209652 23394 13086 16 0 209636 0
vsize: 838608
[startup+610.067 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2175
Raw data (stat): 2165 (java) R 2164 23310 23309 0 -1 0 18075 0 1 0 59982 47 0 0 25 0 11 0 837920285 858734592 23398 4294967295 134512640 134569956 3221224368 3221214568 1131332159 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209652 23398 13086 16 0 209636 0
vsize: 838608
[startup+620.068 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2175
Raw data (stat): 2165 (java) R 2164 23310 23309 0 -1 0 18075 0 1 0 60975 47 0 0 25 0 11 0 837920285 858734592 23406 4294967295 134512640 134569956 3221224368 3221214672 1131414016 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209652 23406 13086 16 0 209636 0
vsize: 838608
[startup+630.068 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2175
Raw data (stat): 2165 (java) R 2164 23310 23309 0 -1 0 18076 0 1 0 61966 47 0 0 25 0 11 0 837920285 858734592 23423 4294967295 134512640 134569956 3221224368 3221214568 1131332017 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209652 23423 13086 16 0 209636 0
vsize: 838608
[startup+640.069 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2175
Raw data (stat): 2165 (java) R 2164 23310 23309 0 -1 0 18076 0 1 0 62958 47 0 0 25 0 11 0 837920285 858734592 23438 4294967295 134512640 134569956 3221224368 3221214568 1131331549 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209652 23438 13086 16 0 209636 0
vsize: 838608
[startup+650.068 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2175
Raw data (stat): 2165 (java) R 2164 23310 23309 0 -1 0 18076 0 1 0 63950 47 0 0 25 0 11 0 837920285 858734592 23459 4294967295 134512640 134569956 3221224368 3221214568 1131331564 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209652 23459 13086 16 0 209636 0
vsize: 838608
[startup+660.069 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2175
Raw data (stat): 2165 (java) R 2164 23310 23309 0 -1 0 18076 0 1 0 64941 47 0 0 25 0 11 0 837920285 858734592 23479 4294967295 134512640 134569956 3221224368 3221214672 1131411376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209652 23479 13086 16 0 209636 0
vsize: 838608
[startup+670.069 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2175
Raw data (stat): 2165 (java) R 2164 23310 23309 0 -1 0 18076 0 1 0 65932 47 0 0 25 0 11 0 837920285 858734592 23497 4294967295 134512640 134569956 3221224368 3221214568 1131332472 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209652 23497 13086 16 0 209636 0
vsize: 838608
[startup+680.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2175
Raw data (stat): 2165 (java) R 2164 23310 23309 0 -1 0 18076 0 1 0 66922 47 0 0 25 0 11 0 837920285 858734592 23526 4294967295 134512640 134569956 3221224368 3221214536 1131044207 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209652 23526 13086 16 0 209636 0
vsize: 838608
[startup+690.07 s]
Raw data (loadavg): 1.24 1.05 1.02 2/68 2179
Raw data (stat): 2165 (java) R 2164 23310 23309 0 -1 0 18076 0 1 0 67913 47 0 0 25 0 11 0 837920285 858734592 23557 4294967295 134512640 134569956 3221224368 3221214568 1131331984 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209652 23557 13086 16 0 209636 0
vsize: 838608
[startup+700.07 s]
Raw data (loadavg): 1.28 1.06 1.02 2/64 2228
Raw data (stat): 2165 (java) R 2164 23310 23309 0 -1 0 18076 0 1 0 68893 56 0 0 25 0 11 0 837920285 858734592 23589 4294967295 134512640 134569956 3221224368 3221214568 1131331564 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209652 23589 13086 16 0 209636 0
vsize: 838608
[startup+710.071 s]
Raw data (loadavg): 1.23 1.06 1.02 2/64 2228
Raw data (stat): 2165 (java) R 2164 23310 23309 0 -1 0 18076 0 1 0 69884 56 0 0 25 0 11 0 837920285 858734592 23612 4294967295 134512640 134569956 3221224368 3221214568 1131331549 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209652 23612 13086 16 0 209636 0
vsize: 838608
[startup+720.071 s]
Raw data (loadavg): 1.20 1.06 1.02 2/64 2228
Raw data (stat): 2165 (java) R 2164 23310 23309 0 -1 0 18076 0 1 0 70875 56 0 0 25 0 11 0 837920285 858734592 23640 4294967295 134512640 134569956 3221224368 3221214568 1131332218 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209652 23640 13086 16 0 209636 0
vsize: 838608
[startup+730.072 s]
Raw data (loadavg): 1.17 1.06 1.02 2/64 2228
Raw data (stat): 2165 (java) R 2164 23310 23309 0 -1 0 18076 0 1 0 71865 56 0 0 25 0 11 0 837920285 858734592 23666 4294967295 134512640 134569956 3221224368 3221214568 1131332109 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209652 23666 13086 16 0 209636 0
vsize: 838608
[startup+740.073 s]
Raw data (loadavg): 1.22 1.07 1.02 2/64 2228
Raw data (stat): 2165 (java) R 2164 23310 23309 0 -1 0 18076 0 1 0 72856 56 0 0 25 0 11 0 837920285 858734592 23696 4294967295 134512640 134569956 3221224368 3221214672 1131409399 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209652 23696 13086 16 0 209636 0
vsize: 838608
[startup+750.073 s]
Raw data (loadavg): 1.19 1.07 1.02 2/64 2228
Raw data (stat): 2165 (java) R 2164 23310 23309 0 -1 0 18076 0 1 0 73845 56 0 0 25 0 11 0 837920285 858734592 23729 4294967295 134512640 134569956 3221224368 3221214568 1131331549 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209652 23729 13086 16 0 209636 0
vsize: 838608
[startup+760.074 s]
Raw data (loadavg): 1.16 1.06 1.02 2/64 2228
Raw data (stat): 2165 (java) R 2164 23310 23309 0 -1 0 18076 0 1 0 74834 56 0 0 25 0 11 0 837920285 858734592 23762 4294967295 134512640 134569956 3221224368 3221214568 1131331564 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209652 23762 13086 16 0 209636 0
vsize: 838608
[startup+770.075 s]
Raw data (loadavg): 1.13 1.06 1.02 2/64 2230
Raw data (stat): 2165 (java) R 2164 23310 23309 0 -1 0 18076 0 1 0 75825 56 0 0 25 0 11 0 837920285 858734592 23798 4294967295 134512640 134569956 3221224368 3221214568 1131332017 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209652 23798 13086 16 0 209636 0
vsize: 838608
[startup+780.076 s]
Raw data (loadavg): 1.11 1.06 1.02 2/64 2230
Raw data (stat): 2165 (java) R 2164 23310 23309 0 -1 0 18076 0 1 0 76818 56 0 0 25 0 11 0 837920285 858734592 23832 4294967295 134512640 134569956 3221224368 3221214672 1131414026 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209652 23832 13086 16 0 209636 0
vsize: 838608
[startup+790.076 s]
Raw data (loadavg): 1.09 1.06 1.02 2/64 2230
Raw data (stat): 2165 (java) R 2164 23310 23309 0 -1 0 18076 0 1 0 77812 56 0 0 25 0 11 0 837920285 858734592 23842 4294967295 134512640 134569956 3221224368 3221214568 1131332467 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209652 23842 13086 16 0 209636 0
vsize: 838608
[startup+800.076 s]
Raw data (loadavg): 1.16 1.07 1.02 2/64 2230
Raw data (stat): 2165 (java) R 2164 23310 23309 0 -1 0 18076 0 1 0 78807 57 0 0 25 0 11 0 837920285 858734592 23859 4294967295 134512640 134569956 3221224368 3221214672 1131414062 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209652 23859 13086 16 0 209636 0
vsize: 838608
[startup+810.077 s]
Raw data (loadavg): 1.13 1.07 1.02 2/64 2230
Raw data (stat): 2165 (java) R 2164 23310 23309 0 -1 0 18076 0 1 0 79803 57 0 0 25 0 11 0 837920285 858734592 23864 4294967295 134512640 134569956 3221224368 3221214672 1131414769 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209652 23864 13086 16 0 209636 0
vsize: 838608
[startup+820.077 s]
Raw data (loadavg): 1.11 1.07 1.02 2/64 2230
Raw data (stat): 2165 (java) R 2164 23310 23309 0 -1 0 18076 0 1 0 80800 57 0 0 25 0 11 0 837920285 858734592 23870 4294967295 134512640 134569956 3221224368 3221214672 1131410381 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209652 23870 13086 16 0 209636 0
vsize: 838608
[startup+830.078 s]
Raw data (loadavg): 1.10 1.06 1.02 2/64 2230
Raw data (stat): 2165 (java) R 2164 23310 23309 0 -1 0 18076 0 1 0 81797 57 0 0 25 0 11 0 837920285 858734592 23877 4294967295 134512640 134569956 3221224368 3221214436 1085632316 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209652 23877 13086 16 0 209636 0
vsize: 838608
[startup+840.078 s]
Raw data (loadavg): 1.08 1.06 1.02 2/64 2230
Raw data (stat): 2165 (java) R 2164 23310 23309 0 -1 0 18076 0 1 0 82793 57 0 0 25 0 11 0 837920285 858734592 23883 4294967295 134512640 134569956 3221224368 3221214568 1131331617 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209652 23883 13086 16 0 209636 0
vsize: 838608
[startup+850.079 s]
Raw data (loadavg): 1.07 1.06 1.02 2/64 2230
Raw data (stat): 2165 (java) R 2164 23310 23309 0 -1 0 18076 0 1 0 83789 57 0 0 25 0 11 0 837920285 858734592 23890 4294967295 134512640 134569956 3221224368 3221214568 1131332492 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209652 23890 13086 16 0 209636 0
vsize: 838608
[startup+860.079 s]
Raw data (loadavg): 1.06 1.06 1.02 2/64 2230
Raw data (stat): 2165 (java) R 2164 23310 23309 0 -1 0 18076 0 1 0 84786 57 0 0 25 0 11 0 837920285 858734592 23896 4294967295 134512640 134569956 3221224368 3221214568 1131332155 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209652 23896 13086 16 0 209636 0
vsize: 838608
[startup+870.08 s]
Raw data (loadavg): 1.05 1.05 1.01 2/64 2230
Raw data (stat): 2165 (java) R 2164 23310 23309 0 -1 0 18076 0 1 0 85782 57 0 0 25 0 11 0 837920285 858734592 23902 4294967295 134512640 134569956 3221224368 3221214568 1131332088 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209652 23902 13086 16 0 209636 0
vsize: 838608
[startup+880.082 s]
Raw data (loadavg): 1.04 1.05 1.01 2/64 2230
Raw data (stat): 2165 (java) R 2164 23310 23309 0 -1 0 18076 0 1 0 86779 58 0 0 25 0 11 0 837920285 858734592 23911 4294967295 134512640 134569956 3221224368 3221214568 1131332056 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209652 23911 13086 16 0 209636 0
vsize: 838608
[startup+890.082 s]
Raw data (loadavg): 1.03 1.05 1.01 2/64 2230
Raw data (stat): 2165 (java) R 2164 23310 23309 0 -1 0 18076 0 1 0 87774 58 0 0 25 0 11 0 837920285 858734592 23918 4294967295 134512640 134569956 3221224368 3221214136 1131567132 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209652 23918 13086 16 0 209636 0
vsize: 838608
[startup+900.082 s]
Raw data (loadavg): 1.03 1.05 1.01 2/64 2230
Raw data (stat): 2165 (java) R 2164 23310 23309 0 -1 0 18076 0 1 0 88770 58 0 0 25 0 11 0 837920285 858734592 23925 4294967295 134512640 134569956 3221224368 3221214568 1131332017 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209652 23925 13086 16 0 209636 0
vsize: 838608
[startup+910.083 s]
Raw data (loadavg): 1.02 1.05 1.01 2/64 2230
Raw data (stat): 2165 (java) R 2164 23310 23309 0 -1 0 18076 0 1 0 89767 58 0 0 25 0 11 0 837920285 858734592 23932 4294967295 134512640 134569956 3221224368 3221214568 1131331982 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209652 23932 13086 16 0 209636 0
vsize: 838608
[startup+920.084 s]
Raw data (loadavg): 1.02 1.04 1.01 2/64 2230
Raw data (stat): 2165 (java) R 2164 23310 23309 0 -1 0 18076 0 1 0 90763 58 0 0 25 0 11 0 837920285 858734592 23937 4294967295 134512640 134569956 3221224368 3221214568 1131332017 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209652 23937 13086 16 0 209636 0
vsize: 838608
[startup+930.084 s]
Raw data (loadavg): 1.02 1.04 1.01 2/64 2230
Raw data (stat): 2165 (java) R 2164 23310 23309 0 -1 0 18076 0 1 0 91759 58 0 0 25 0 11 0 837920285 858734592 23943 4294967295 134512640 134569956 3221224368 3221214672 1131409363 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209652 23943 13086 16 0 209636 0
vsize: 838608
[startup+940.085 s]
Raw data (loadavg): 1.01 1.04 1.01 2/64 2230
Raw data (stat): 2165 (java) R 2164 23310 23309 0 -1 0 18076 0 1 0 92755 58 0 0 25 0 11 0 837920285 858734592 23948 4294967295 134512640 134569956 3221224368 3221214568 1131332119 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209652 23948 13086 16 0 209636 0
vsize: 838608
[startup+950.085 s]
Raw data (loadavg): 1.01 1.04 1.01 2/64 2230
Raw data (stat): 2165 (java) R 2164 23310 23309 0 -1 0 18076 0 1 0 93751 58 0 0 25 0 11 0 837920285 858734592 23953 4294967295 134512640 134569956 3221224368 3221214568 1131332268 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209652 23953 13086 16 0 209636 0
vsize: 838608
[startup+960.085 s]
Raw data (loadavg): 1.01 1.04 1.01 2/64 2230
Raw data (stat): 2165 (java) R 2164 23310 23309 0 -1 0 18076 0 1 0 94747 58 0 0 25 0 11 0 837920285 858734592 23958 4294967295 134512640 134569956 3221224368 3221214672 1131414066 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209652 23958 13086 16 0 209636 0
vsize: 838608
[startup+970.085 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 2230
Raw data (stat): 2165 (java) R 2164 23310 23309 0 -1 0 18076 0 1 0 95742 58 0 0 25 0 11 0 837920285 858734592 23963 4294967295 134512640 134569956 3221224368 3221214568 1131332383 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209652 23963 13086 16 0 209636 0
vsize: 838608
[startup+980.087 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 2230
Raw data (stat): 2165 (java) R 2164 23310 23309 0 -1 0 18076 0 1 0 96738 58 0 0 25 0 11 0 837920285 858734592 23968 4294967295 134512640 134569956 3221224368 3221214568 1131332071 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209652 23968 13086 16 0 209636 0
vsize: 838608
[startup+990.087 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 2230
Raw data (stat): 2165 (java) R 2164 23310 23309 0 -1 0 18076 0 1 0 97733 58 0 0 25 0 11 0 837920285 858734592 23980 4294967295 134512640 134569956 3221224368 3221214568 1131332492 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209652 23980 13086 16 0 209636 0
vsize: 838608
[startup+1000.09 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 2230
Raw data (stat): 2165 (java) R 2164 23310 23309 0 -1 0 18076 0 1 0 98728 58 0 0 25 0 11 0 837920285 858734592 23985 4294967295 134512640 134569956 3221224368 3221214568 1131332159 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209652 23985 13086 16 0 209636 0
vsize: 838608
[startup+1010.09 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 2230
Raw data (stat): 2165 (java) R 2164 23310 23309 0 -1 0 18076 0 1 0 99723 58 0 0 25 0 11 0 837920285 858734592 23993 4294967295 134512640 134569956 3221224368 3221214568 1131332077 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209652 23993 13086 16 0 209636 0
vsize: 838608
[startup+1020.09 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 2232
Raw data (stat): 2165 (java) R 2164 23310 23309 0 -1 0 18076 0 1 0 100718 59 0 0 25 0 11 0 837920285 858734592 24001 4294967295 134512640 134569956 3221224368 3221214568 1131332071 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209652 24001 13086 16 0 209636 0
vsize: 838608
[startup+1030.09 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 2232
Raw data (stat): 2165 (java) R 2164 23310 23309 0 -1 0 18076 0 1 0 101713 59 0 0 25 0 11 0 837920285 858734592 24007 4294967295 134512640 134569956 3221224368 3221214568 1131332017 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209652 24007 13086 16 0 209636 0
vsize: 838608
[startup+1040.09 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 2232
Raw data (stat): 2165 (java) R 2164 23310 23309 0 -1 0 18076 0 1 0 102707 59 0 0 25 0 11 0 837920285 858734592 24016 4294967295 134512640 134569956 3221224368 3221214672 1131409360 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209652 24016 13086 16 0 209636 0
vsize: 838608
[startup+1050.09 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 2232
Raw data (stat): 2165 (java) R 2164 23310 23309 0 -1 0 18076 0 1 0 103701 59 0 0 25 0 11 0 837920285 858734592 24026 4294967295 134512640 134569956 3221224368 3221214672 1131414171 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209652 24026 13086 16 0 209636 0
vsize: 838608
[startup+1060.09 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 2232
Raw data (stat): 2165 (java) R 2164 23310 23309 0 -1 0 18076 0 1 0 104696 59 0 0 25 0 11 0 837920285 858734592 24035 4294967295 134512640 134569956 3221224368 3221214128 1131578336 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209652 24035 13086 16 0 209636 0
vsize: 838608
[startup+1070.09 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 2232
Raw data (stat): 2165 (java) R 2164 23310 23309 0 -1 0 18076 0 1 0 105689 59 0 0 25 0 11 0 837920285 858734592 24045 4294967295 134512640 134569956 3221224368 3221214480 1131577557 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209652 24045 13086 16 0 209636 0
vsize: 838608
[startup+1080.09 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 2232
Raw data (stat): 2165 (java) R 2164 23310 23309 0 -1 0 18076 0 1 0 106684 59 0 0 25 0 11 0 837920285 858734592 24055 4294967295 134512640 134569956 3221224368 3221213892 1076877600 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209652 24055 13086 16 0 209636 0
vsize: 838608
[startup+1090.09 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 2232
Raw data (stat): 2165 (java) R 2164 23310 23309 0 -1 0 18076 0 1 0 107677 59 0 0 25 0 11 0 837920285 858734592 24064 4294967295 134512640 134569956 3221224368 3221214568 1131332206 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209652 24064 13086 16 0 209636 0
vsize: 838608
[startup+1100.09 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 2232
Raw data (stat): 2165 (java) R 2164 23310 23309 0 -1 0 18076 0 1 0 108671 59 0 0 25 0 11 0 837920285 858734592 24074 4294967295 134512640 134569956 3221224368 3221214672 1131414076 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209652 24074 13086 16 0 209636 0
vsize: 838608
[startup+1110.09 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 2232
Raw data (stat): 2165 (java) R 2164 23310 23309 0 -1 0 18076 0 1 0 109665 59 0 0 25 0 11 0 837920285 858734592 24082 4294967295 134512640 134569956 3221224368 3221214672 1131409363 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209652 24082 13086 16 0 209636 0
vsize: 838608
[startup+1120.09 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 2232
Raw data (stat): 2165 (java) R 2164 23310 23309 0 -1 0 18076 0 1 0 110658 59 0 0 25 0 11 0 837920285 858734592 24091 4294967295 134512640 134569956 3221224368 3221214616 1131401730 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209652 24091 13086 16 0 209636 0
vsize: 838608
[startup+1130.09 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 2232
Raw data (stat): 2165 (java) R 2164 23310 23309 0 -1 0 18076 0 1 0 111650 59 0 0 25 0 11 0 837920285 858734592 24099 4294967295 134512640 134569956 3221224368 3221214672 1131409399 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209652 24099 13086 16 0 209636 0
vsize: 838608
[startup+1140.09 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 2232
Raw data (stat): 2165 (java) R 2164 23310 23309 0 -1 0 18076 0 1 0 112642 59 0 0 25 0 11 0 837920285 858734592 24117 4294967295 134512640 134569956 3221224368 3221214568 1131331549 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209652 24117 13086 16 0 209636 0
vsize: 838608
[startup+1150.09 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 2232
Raw data (stat): 2165 (java) R 2164 23310 23309 0 -1 0 18076 0 1 0 113634 59 0 0 25 0 11 0 837920285 858734592 24131 4294967295 134512640 134569956 3221224368 3221214568 1131331982 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209652 24131 13086 16 0 209636 0
vsize: 838608
[startup+1160.09 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 2232
Raw data (stat): 2165 (java) R 2164 23310 23309 0 -1 0 18076 0 1 0 114627 59 0 0 25 0 11 0 837920285 858734592 24147 4294967295 134512640 134569956 3221224368 3221214192 1131567130 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209652 24147 13086 16 0 209636 0
vsize: 838608
[startup+1170.09 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 2232
Raw data (stat): 2165 (java) R 2164 23310 23309 0 -1 0 18076 0 1 0 115621 59 0 0 25 0 11 0 837920285 858734592 24157 4294967295 134512640 134569956 3221224368 3221214672 1131414096 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209652 24157 13086 16 0 209636 0
vsize: 838608
[startup+1180.09 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 2232
Raw data (stat): 2165 (java) R 2164 23310 23309 0 -1 0 18076 0 1 0 116614 59 0 0 25 0 11 0 837920285 858734592 24167 4294967295 134512640 134569956 3221224368 3221214672 1131415006 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209652 24167 13086 16 0 209636 0
vsize: 838608
[startup+1190.09 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 2232
Raw data (stat): 2165 (java) R 2164 23310 23309 0 -1 0 18076 0 1 0 117607 59 0 0 25 0 11 0 837920285 858734592 24174 4294967295 134512640 134569956 3221224368 3221214568 1131331825 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209652 24174 13086 16 0 209636 0
vsize: 838608
[startup+1200.09 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 2232
Raw data (stat): 2165 (java) R 2164 23310 23309 0 -1 0 18076 0 1 0 118600 59 0 0 25 0 11 0 837920285 858734592 24183 4294967295 134512640 134569956 3221224368 3221214568 1131332261 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209652 24183 13086 16 0 209636 0
vsize: 838608
[startup+1210.09 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 2232
Raw data (stat): 2165 (java) R 2164 23310 23309 0 -1 0 18076 0 1 0 119593 59 0 0 25 0 11 0 837920285 858734592 24191 4294967295 134512640 134569956 3221224368 3221214568 1131332155 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209652 24191 13086 16 0 209636 0
vsize: 838608
[startup+1220.09 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 2232
Raw data (stat): 2165 (java) R 2164 23310 23309 0 -1 0 18076 0 1 0 120586 59 0 0 25 0 11 0 837920285 858734592 24199 4294967295 134512640 134569956 3221224368 3221214672 1131414142 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209652 24199 13086 16 0 209636 0
vsize: 838608
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1220.17 s]
Raw data (loadavg): 1.00 1.01 1.00 1/54 2234
Raw data (stat): 2165 (java) Z 2164 23310 23309 0 -1 1036 18076 9967 1 0 120588 64 2422 33 25 0 1 0 837920285 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): 1220.17
CPU time (s): 1231.09
CPU user time (s): 1230.11
CPU system time (s): 0.977851
CPU usage (%): 100.895
Max. virtual memory (Kb): 839128
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####