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/web/uclid_pb_benchmarks/normalized-ooo.burch_dill.3.accl.ucl.opb
MD5SUM	9fbb3a49a26e96e8ca349ca5e732b02f
Bench Category	no optimization function (SAT)
Has Objective Function	NO
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	0
Biggest coefficient in the objective function	0
Number of bits for the biggest coefficient in the objective function	0
Sum of the numbers in the objective function	0
Number of bits of the sum of numbers in the objective function	0
Biggest number in a constraint	36
Number of bits of the biggest number in a constraint	6
Biggest sum of numbers in a constraint	130
Number of bits of the biggest sum of numbers	8
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	9.8365
Number of variables	4622
Total number of constraints	12569
Number of constraints which are clauses	11753
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	816
Minimum length of a constraint	1
Maximum length of a constraint	11
Trace number 29308

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        670584 kB
Buffers:         32500 kB
Cached:         311448 kB
SwapCached:        608 kB
Active:          58096 kB
Inactive:       288368 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        670332 kB
SwapTotal:     2097136 kB
SwapFree:      2096148 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6156 kB
Slab:            12032 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 06:38:22 (client local time) WITH STATUS 143 IN 1275 SECONDS
stats: 20707 7 1275 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/wulflinc13/normalized-ooo.burch_dill.3.accl.ucl.opb
c reading problem ... done. Time 12.13 ms.
c #vars     4622
c #constraints  12569
c starts	: 11
c conflicts	: 16705
c decisions	: 47927
c propagations	: 3920853
c inspects	: 19517778
c learned literals	: 4
c learned binary clauses	: 89
c learned ternary clauses	: 80
c learned clauses	: 16701
c root simplifications	: 17
s UNKNOWN
c Total CPU time (ms) : 1269.125
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.91 0.95 0.95 2/54 10467
Raw data (stat): 10467 (runsolver) R 10466 1269 1268 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 778437648 1052672 99 4294967295 134512640 135381576 3221224400 3221219620 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0004 s]
Raw data (loadavg): 1.01 0.97 0.96 2/63 10476
Raw data (stat): 10467 (java) R 10466 1269 1268 0 -1 0 18029 0 1 0 770 42 0 0 25 0 10 0 778437648 858603520 21975 4294967295 134512640 134569956 3221224368 3221214360 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209620 21975 13086 16 0 209604 0
vsize: 838480
[startup+20.001 s]
Raw data (loadavg): 1.09 0.98 0.96 2/64 10477
Raw data (stat): 10467 (java) R 10466 1269 1268 0 -1 0 18068 0 1 0 1587 43 0 0 25 0 11 0 778437648 859131904 22865 4294967295 134512640 134569956 3221224368 3221214784 1131404070 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209749 22865 13086 16 0 209733 0
vsize: 838996
[startup+30.0013 s]
Raw data (loadavg): 1.15 1.00 0.97 2/64 10477
Raw data (stat): 10467 (java) R 10466 1269 1268 0 -1 0 18069 0 1 0 2517 43 0 0 25 0 11 0 778437648 859131904 23078 4294967295 134512640 134569956 3221224368 3221214744 1131242162 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209749 23078 13086 16 0 209733 0
vsize: 838996
[startup+40.0024 s]
Raw data (loadavg): 1.12 1.00 0.97 2/64 10477
Raw data (stat): 10467 (java) R 10466 1269 1268 0 -1 0 18069 0 1 0 3451 43 0 0 25 0 11 0 778437648 859131904 23262 4294967295 134512640 134569956 3221224368 3221214624 1131352464 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209749 23262 13086 16 0 209733 0
vsize: 838996
[startup+50.003 s]
Raw data (loadavg): 1.10 1.00 0.97 2/64 10477
Raw data (stat): 10467 (java) R 10466 1269 1268 0 -1 0 18069 0 1 0 4387 43 0 0 25 0 11 0 778437648 859131904 23593 4294967295 134512640 134569956 3221224368 3221214680 1131270368 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209749 23593 13086 16 0 209733 0
vsize: 838996
[startup+60.0021 s]
Raw data (loadavg): 1.09 1.00 0.97 2/64 10477
Raw data (stat): 10467 (java) S 10466 1269 1268 0 -1 0 18069 0 1 0 5324 43 0 0 25 0 11 0 778437648 859131904 23851 4294967295 134512640 134569956 3221224368 3221213312 1073952481 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209749 23851 13086 16 0 209733 0
vsize: 838996
[startup+70.0033 s]
Raw data (loadavg): 1.07 1.00 0.97 2/64 10477
Raw data (stat): 10467 (java) R 10466 1269 1268 0 -1 0 18069 0 1 0 6270 44 0 0 24 0 11 0 778437648 859131904 24079 4294967295 134512640 134569956 3221224368 3221214776 1131404083 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209749 24079 13086 16 0 209733 0
vsize: 838996
[startup+80.004 s]
Raw data (loadavg): 1.06 1.00 0.97 2/64 10477
Raw data (stat): 10467 (java) R 10466 1269 1268 0 -1 0 18069 0 1 0 7218 44 0 0 24 0 11 0 778437648 859131904 24312 4294967295 134512640 134569956 3221224368 3221214616 1131216071 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209749 24312 13086 16 0 209733 0
vsize: 838996
[startup+90.0041 s]
Raw data (loadavg): 1.05 1.00 0.97 2/64 10477
Raw data (stat): 10467 (java) R 10466 1269 1268 0 -1 0 18069 0 1 0 8165 44 0 0 25 0 11 0 778437648 859131904 24562 4294967295 134512640 134569956 3221224368 3221214720 1131379133 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209749 24562 13086 16 0 209733 0
vsize: 838996
[startup+100.004 s]
Raw data (loadavg): 1.04 1.00 0.97 2/64 10477
Raw data (stat): 10467 (java) R 10466 1269 1268 0 -1 0 18069 0 1 0 9101 44 0 0 25 0 11 0 778437648 859131904 24843 4294967295 134512640 134569956 3221224368 3221214616 1131352239 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209749 24843 13086 16 0 209733 0
vsize: 838996
[startup+110.005 s]
Raw data (loadavg): 1.04 1.00 0.97 2/64 10477
Raw data (stat): 10467 (java) R 10466 1269 1268 0 -1 0 18069 0 1 0 10037 44 0 0 25 0 11 0 778437648 859131904 25076 4294967295 134512640 134569956 3221224368 3221214824 1131364346 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209749 25076 13086 16 0 209733 0
vsize: 838996
[startup+120.005 s]
Raw data (loadavg): 1.03 1.00 0.97 2/64 10477
Raw data (stat): 10467 (java) R 10466 1269 1268 0 -1 0 18069 0 1 0 10984 45 0 0 25 0 11 0 778437648 859131904 25322 4294967295 134512640 134569956 3221224368 3221214724 1131216032 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209749 25322 13086 16 0 209733 0
vsize: 838996
[startup+130.005 s]
Raw data (loadavg): 1.02 1.00 0.97 2/64 10477
Raw data (stat): 10467 (java) R 10466 1269 1268 0 -1 0 18069 0 1 0 11916 45 0 0 25 0 11 0 778437648 859131904 25698 4294967295 134512640 134569956 3221224368 3221214752 1131443377 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209749 25698 13086 16 0 209733 0
vsize: 838996
[startup+140.006 s]
Raw data (loadavg): 1.02 1.00 0.97 2/64 10477
Raw data (stat): 10467 (java) R 10466 1269 1268 0 -1 0 18069 0 1 0 12860 45 0 0 25 0 11 0 778437648 859131904 26061 4294967295 134512640 134569956 3221224368 3221214752 1131445098 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209749 26061 13086 16 0 209733 0
vsize: 838996
[startup+150.006 s]
Raw data (loadavg): 1.02 1.00 0.97 2/64 10477
Raw data (stat): 10467 (java) R 10466 1269 1268 0 -1 0 18069 0 1 0 13786 45 0 0 24 0 11 0 778437648 859131904 26681 4294967295 134512640 134569956 3221224368 3221214752 1131443361 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209749 26681 13086 16 0 209733 0
vsize: 838996
[startup+160.006 s]
Raw data (loadavg): 1.01 1.00 0.97 2/64 10477
Raw data (stat): 10467 (java) R 10466 1269 1268 0 -1 0 18069 0 1 0 14746 45 0 0 25 0 11 0 778437648 859131904 27026 4294967295 134512640 134569956 3221224368 3221214728 1131472590 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209749 27026 13086 16 0 209733 0
vsize: 838996
[startup+170.009 s]
Raw data (loadavg): 1.01 1.00 0.97 2/64 10477
Raw data (stat): 10467 (java) S 10466 1269 1268 0 -1 0 18070 0 1 0 15679 45 0 0 25 0 11 0 778437648 859131904 27507 4294967295 134512640 134569956 3221224368 3221213416 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209749 27507 13086 16 0 209733 0
vsize: 838996
[startup+180.009 s]
Raw data (loadavg): 1.01 1.00 0.97 2/64 10477
Raw data (stat): 10467 (java) R 10466 1269 1268 0 -1 0 18070 0 1 0 16615 45 0 0 25 0 11 0 778437648 859131904 27941 4294967295 134512640 134569956 3221224368 3221214624 1131352482 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209749 27941 13086 16 0 209733 0
vsize: 838996
[startup+190.01 s]
Raw data (loadavg): 1.01 1.00 0.97 2/64 10477
Raw data (stat): 10467 (java) R 10466 1269 1268 0 -1 0 18070 0 1 0 17546 45 0 0 24 0 11 0 778437648 859131904 28371 4294967295 134512640 134569956 3221224368 3221214624 1131352197 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209749 28371 13086 16 0 209733 0
vsize: 838996
[startup+200.009 s]
Raw data (loadavg): 1.01 1.00 0.97 2/64 10477
Raw data (stat): 10467 (java) R 10466 1269 1268 0 -1 0 18070 0 1 0 18504 45 0 0 25 0 11 0 778437648 859131904 28613 4294967295 134512640 134569956 3221224368 3221214744 1131397478 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209749 28613 13086 16 0 209733 0
vsize: 838996
[startup+210.01 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 10477
Raw data (stat): 10467 (java) R 10466 1269 1268 0 -1 0 18070 0 1 0 19432 45 0 0 24 0 11 0 778437648 859131904 29135 4294967295 134512640 134569956 3221224368 3221214724 1131216039 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209749 29135 13086 16 0 209733 0
vsize: 838996
[startup+220.011 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 10477
Raw data (stat): 10467 (java) R 10466 1269 1268 0 -1 0 18070 0 1 0 20366 45 0 0 24 0 11 0 778437648 859131904 29476 4294967295 134512640 134569956 3221224368 3221214552 1131270149 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209749 29476 13086 16 0 209733 0
vsize: 838996
[startup+230.01 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 10477
Raw data (stat): 10467 (java) R 10466 1269 1268 0 -1 0 18070 0 1 0 21316 45 0 0 25 0 11 0 778437648 859131904 29639 4294967295 134512640 134569956 3221224368 3221214752 1131199271 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209749 29639 13086 16 0 209733 0
vsize: 838996
[startup+240.012 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 10477
Raw data (stat): 10467 (java) R 10466 1269 1268 0 -1 0 18070 0 1 0 22251 46 0 0 25 0 11 0 778437648 859131904 29822 4294967295 134512640 134569956 3221224368 3221214752 1131443389 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209749 29822 13086 16 0 209733 0
vsize: 838996
[startup+250.012 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 10477
Raw data (stat): 10467 (java) R 10466 1269 1268 0 -1 0 18070 0 1 0 23182 46 0 0 25 0 11 0 778437648 859131904 30104 4294967295 134512640 134569956 3221224368 3221214756 1130917560 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209749 30104 13086 16 0 209733 0
vsize: 838996
[startup+260.011 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 10477
Raw data (stat): 10467 (java) R 10466 1269 1268 0 -1 0 18070 0 1 0 24123 46 0 0 25 0 11 0 778437648 859131904 30577 4294967295 134512640 134569956 3221224368 3221214776 1131404080 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209749 30577 13086 16 0 209733 0
vsize: 838996
[startup+270.012 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 10477
Raw data (stat): 10467 (java) R 10466 1269 1268 0 -1 0 18070 0 1 0 25068 46 0 0 25 0 11 0 778437648 859131904 30994 4294967295 134512640 134569956 3221224368 3221214624 1131351781 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209749 30994 13086 16 0 209733 0
vsize: 838996
[startup+280.012 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 10477
Raw data (stat): 10467 (java) R 10466 1269 1268 0 -1 0 18070 0 1 0 26014 46 0 0 25 0 11 0 778437648 859131904 31230 4294967295 134512640 134569956 3221224368 3221214624 1131352400 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209749 31230 13086 16 0 209733 0
vsize: 838996
[startup+290.012 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 10477
Raw data (stat): 10467 (java) R 10466 1269 1268 0 -1 0 18070 0 1 0 26947 46 0 0 25 0 11 0 778437648 859131904 31563 4294967295 134512640 134569956 3221224368 3221214624 1131352045 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209749 31563 13086 16 0 209733 0
vsize: 838996
[startup+300.013 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 10477
Raw data (stat): 10467 (java) R 10466 1269 1268 0 -1 0 18070 0 1 0 27878 46 0 0 25 0 11 0 778437648 859131904 31952 4294967295 134512640 134569956 3221224368 3221214688 1131498525 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209749 31952 13086 16 0 209733 0
vsize: 838996
[startup+310.013 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 10477
Raw data (stat): 10467 (java) R 10466 1269 1268 0 -1 0 18070 0 1 0 28822 46 0 0 25 0 11 0 778437648 859131904 32282 4294967295 134512640 134569956 3221224368 3221214728 1131473133 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209749 32282 13086 16 0 209733 0
vsize: 838996
[startup+320.013 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 10477
Raw data (stat): 10467 (java) R 10466 1269 1268 0 -1 0 18070 0 1 0 29768 46 0 0 25 0 11 0 778437648 859131904 32516 4294967295 134512640 134569956 3221224368 3221214728 1131472549 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209749 32516 13086 16 0 209733 0
vsize: 838996
[startup+330.013 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 10477
Raw data (stat): 10467 (java) R 10466 1269 1268 0 -1 0 18070 0 1 0 30698 46 0 0 25 0 11 0 778437648 859131904 32908 4294967295 134512640 134569956 3221224368 3221214720 1131379045 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209749 32908 13086 16 0 209733 0
vsize: 838996
[startup+340.014 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 10477
Raw data (stat): 10467 (java) R 10466 1269 1268 0 -1 0 18070 0 1 0 31656 46 0 0 25 0 11 0 778437648 859131904 33086 4294967295 134512640 134569956 3221224368 3221214352 1131224301 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209749 33086 13086 16 0 209733 0
vsize: 838996
[startup+350.013 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 10477
Raw data (stat): 10467 (java) R 10466 1269 1268 0 -1 0 18070 0 1 0 32595 47 0 0 24 0 11 0 778437648 859131904 33626 4294967295 134512640 134569956 3221224368 3221214720 1131379139 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209749 33626 13086 16 0 209733 0
vsize: 838996
[startup+360.014 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 10477
Raw data (stat): 10467 (java) R 10466 1269 1268 0 -1 0 18070 0 1 0 33554 47 0 0 25 0 11 0 778437648 859131904 33893 4294967295 134512640 134569956 3221224368 3221214776 1131403747 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209749 33893 13086 16 0 209733 0
vsize: 838996
[startup+370.014 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 10477
Raw data (stat): 10467 (java) R 10466 1269 1268 0 -1 0 18070 0 1 0 34498 47 0 0 25 0 11 0 778437648 859131904 34376 4294967295 134512640 134569956 3221224368 3221214616 1131352293 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209749 34376 13086 16 0 209733 0
vsize: 838996
[startup+380.013 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 10477
Raw data (stat): 10467 (java) R 10466 1269 1268 0 -1 0 18070 0 1 0 35457 48 0 0 25 0 11 0 778437648 859131904 34693 4294967295 134512640 134569956 3221224368 3221214520 1131216213 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209749 34693 13086 16 0 209733 0
vsize: 838996
[startup+390.015 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 10477
Raw data (stat): 10467 (java) S 10466 1269 1268 0 -1 0 18070 0 1 0 36394 48 0 0 25 0 11 0 778437648 859131904 35028 4294967295 134512640 134569956 3221224368 3221213328 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209749 35028 13086 16 0 209733 0
vsize: 838996
[startup+400.015 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 10477
Raw data (stat): 10467 (java) S 10466 1269 1268 0 -1 0 18070 0 1 0 37335 48 0 0 25 0 11 0 778437648 859131904 35368 4294967295 134512640 134569956 3221224368 3221213440 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209749 35368 13086 16 0 209733 0
vsize: 838996
[startup+410.014 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 10477
Raw data (stat): 10467 (java) S 10466 1269 1268 0 -1 0 18070 0 1 0 38284 48 0 0 25 0 11 0 778437648 859131904 35587 4294967295 134512640 134569956 3221224368 3221213264 1073952481 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209749 35587 13086 16 0 209733 0
vsize: 838996
[startup+420.015 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 10477
Raw data (stat): 10467 (java) R 10466 1269 1268 0 -1 0 18070 0 1 0 39215 48 0 0 25 0 11 0 778437648 859131904 36004 4294967295 134512640 134569956 3221224368 3221214624 1131352472 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209749 36004 13086 16 0 209733 0
vsize: 838996
[startup+430.015 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 10477
Raw data (stat): 10467 (java) R 10466 1269 1268 0 -1 0 18070 0 1 0 40147 48 0 0 25 0 11 0 778437648 859131904 36237 4294967295 134512640 134569956 3221224368 3221214536 1131219380 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209749 36237 13086 16 0 209733 0
vsize: 838996
[startup+440.015 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 10477
Raw data (stat): 10467 (java) R 10466 1269 1268 0 -1 0 18070 0 1 0 41092 49 0 0 23 0 11 0 778437648 859131904 36523 4294967295 134512640 134569956 3221224368 3221214752 1131199366 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209749 36523 13086 16 0 209733 0
vsize: 838996
[startup+450.015 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 10477
Raw data (stat): 10467 (java) R 10466 1269 1268 0 -1 0 18070 0 1 0 42038 49 0 0 25 0 11 0 778437648 859131904 36593 4294967295 134512640 134569956 3221224368 3221214720 1131379048 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209749 36593 13086 16 0 209733 0
vsize: 838996
[startup+460.016 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 10477
Raw data (stat): 10467 (java) R 10466 1269 1268 0 -1 0 18070 0 1 0 42970 49 0 0 25 0 11 0 778437648 859131904 36796 4294967295 134512640 134569956 3221224368 3221214776 1131404070 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209749 36796 13086 16 0 209733 0
vsize: 838996
[startup+470.015 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 10477
Raw data (stat): 10467 (java) R 10466 1269 1268 0 -1 0 18070 0 1 0 43914 50 0 0 25 0 11 0 778437648 859131904 37001 4294967295 134512640 134569956 3221224368 3221214632 1131512553 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209749 37001 13086 16 0 209733 0
vsize: 838996
[startup+480.016 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 10477
Raw data (stat): 10467 (java) S 10466 1269 1268 0 -1 0 18070 0 1 0 44854 50 0 0 25 0 11 0 778437648 859131904 37268 4294967295 134512640 134569956 3221224368 3221213368 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209749 37268 13086 16 0 209733 0
vsize: 838996
[startup+490.017 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 10477
Raw data (stat): 10467 (java) R 10466 1269 1268 0 -1 0 18070 0 1 0 45786 50 0 0 25 0 11 0 778437648 859131904 37584 4294967295 134512640 134569956 3221224368 3221214752 1131381632 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209749 37584 13086 16 0 209733 0
vsize: 838996
[startup+500.017 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 10477
Raw data (stat): 10467 (java) R 10466 1269 1268 0 -1 0 18070 0 1 0 46716 51 0 0 25 0 11 0 778437648 859131904 37909 4294967295 134512640 134569956 3221224368 3221214628 1131216032 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209749 37909 13086 16 0 209733 0
vsize: 838996
[startup+510.017 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 10477
Raw data (stat): 10467 (java) R 10466 1269 1268 0 -1 0 18070 0 1 0 47646 51 0 0 25 0 11 0 778437648 859131904 38183 4294967295 134512640 134569956 3221224368 3221214776 1131404119 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209749 38183 13086 16 0 209733 0
vsize: 838996
[startup+520.018 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 10477
Raw data (stat): 10467 (java) R 10466 1269 1268 0 -1 0 18070 0 1 0 48575 51 0 0 25 0 11 0 778437648 859131904 38425 4294967295 134512640 134569956 3221224368 3221214624 1131351909 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209749 38425 13086 16 0 209733 0
vsize: 838996
[startup+530.018 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 10477
Raw data (stat): 10467 (java) R 10466 1269 1268 0 -1 0 18070 0 1 0 49505 51 0 0 25 0 11 0 778437648 859131904 38638 4294967295 134512640 134569956 3221224368 3221214616 1131379097 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209749 38638 13086 16 0 209733 0
vsize: 838996
[startup+540.02 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 10477
Raw data (stat): 10467 (java) R 10466 1269 1268 0 -1 0 18070 0 1 0 50433 51 0 0 25 0 11 0 778437648 859131904 38957 4294967295 134512640 134569956 3221224368 3221214720 1131379045 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209749 38957 13086 16 0 209733 0
vsize: 838996
[startup+550.02 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 10477
Raw data (stat): 10467 (java) R 10466 1269 1268 0 -1 0 18070 0 1 0 51363 52 0 0 25 0 11 0 778437648 859131904 39168 4294967295 134512640 134569956 3221224368 3221214604 1130885207 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209749 39168 13086 16 0 209733 0
vsize: 838996
[startup+560.02 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 10477
Raw data (stat): 10467 (java) R 10466 1269 1268 0 -1 0 18070 0 1 0 52291 52 0 0 25 0 11 0 778437648 859131904 39418 4294967295 134512640 134569956 3221224368 3221214624 1131352440 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209749 39418 13086 16 0 209733 0
vsize: 838996
[startup+570.02 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 10477
Raw data (stat): 10467 (java) R 10466 1269 1268 0 -1 0 18070 0 1 0 53217 52 0 0 25 0 11 0 778437648 859131904 39660 4294967295 134512640 134569956 3221224368 3221214752 1131199302 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209749 39660 13086 16 0 209733 0
vsize: 838996
[startup+580.02 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 10477
Raw data (stat): 10467 (java) R 10466 1269 1268 0 -1 0 18070 0 1 0 54144 52 0 0 25 0 11 0 778437648 859131904 39948 4294967295 134512640 134569956 3221224368 3221214616 1131379088 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209749 39948 13086 16 0 209733 0
vsize: 838996
[startup+590.02 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 10477
Raw data (stat): 10467 (java) R 10466 1269 1268 0 -1 0 18070 0 1 0 55100 52 0 0 25 0 11 0 778437648 859131904 40203 4294967295 134512640 134569956 3221224368 3221214632 1131512581 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209749 40203 13086 16 0 209733 0
vsize: 838996
[startup+600.021 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 10477
Raw data (stat): 10467 (java) R 10466 1269 1268 0 -1 0 18070 0 1 0 56040 52 0 0 25 0 11 0 778437648 859131904 40606 4294967295 134512640 134569956 3221224368 3221214736 1131242242 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209749 40606 13086 16 0 209733 0
vsize: 838996
[startup+610.022 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 10477
Raw data (stat): 10467 (java) R 10466 1269 1268 0 -1 0 18070 0 1 0 56983 52 0 0 25 0 11 0 778437648 859131904 40925 4294967295 134512640 134569956 3221224368 3221214720 1131379090 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209749 40925 13086 16 0 209733 0
vsize: 838996
[startup+620.023 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 10477
Raw data (stat): 10467 (java) R 10466 1269 1268 0 -1 0 18070 0 1 0 57910 52 0 0 25 0 11 0 778437648 859131904 41238 4294967295 134512640 134569956 3221224368 3221214624 1131351795 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209749 41238 13086 16 0 209733 0
vsize: 838996
[startup+630.023 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 10477
Raw data (stat): 10467 (java) R 10466 1269 1268 0 -1 0 18070 0 1 0 58852 53 0 0 25 0 11 0 778437648 859131904 41530 4294967295 134512640 134569956 3221224368 3221214616 1131216086 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209749 41530 13086 16 0 209733 0
vsize: 838996
[startup+640.027 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 10477
Raw data (stat): 10467 (java) S 10466 1269 1268 0 -1 0 18070 0 1 0 59793 53 0 0 25 0 11 0 778437648 859131904 41630 4294967295 134512640 134569956 3221224368 3221213256 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209749 41630 13086 16 0 209733 0
vsize: 838996
[startup+650.028 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 10477
Raw data (stat): 10467 (java) R 10466 1269 1268 0 -1 0 18070 0 1 0 60724 53 0 0 25 0 11 0 778437648 859131904 41988 4294967295 134512640 134569956 3221224368 3221214728 1131472764 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209749 41988 13086 16 0 209733 0
vsize: 838996
[startup+660.028 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 10477
Raw data (stat): 10467 (java) R 10466 1269 1268 0 -1 0 18070 0 1 0 61653 53 0 0 25 0 11 0 778437648 859131904 42201 4294967295 134512640 134569956 3221224368 3221214772 1131199387 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209749 42201 13086 16 0 209733 0
vsize: 838996
[startup+670.029 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 10477
Raw data (stat): 10467 (java) R 10466 1269 1268 0 -1 0 18070 0 1 0 62580 53 0 0 25 0 11 0 778437648 859131904 42657 4294967295 134512640 134569956 3221224368 3221214708 1130885204 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209749 42657 13086 16 0 209733 0
vsize: 838996
[startup+680.033 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 10477
Raw data (stat): 10467 (java) S 10466 1269 1268 0 -1 0 18070 0 1 0 63523 53 0 0 25 0 11 0 778437648 859131904 42883 4294967295 134512640 134569956 3221224368 3221213368 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209749 42889 13086 16 0 209733 0
vsize: 838996
[startup+690.034 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 10477
Raw data (stat): 10467 (java) S 10466 1269 1268 0 -1 0 18070 0 1 0 64474 53 0 0 25 0 11 0 778437648 859131904 43142 4294967295 134512640 134569956 3221224368 3221213328 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209749 43142 13086 16 0 209733 0
vsize: 838996
[startup+700.035 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 10477
Raw data (stat): 10467 (java) R 10466 1269 1268 0 -1 0 18070 0 1 0 65421 53 0 0 25 0 11 0 778437648 859131904 43455 4294967295 134512640 134569956 3221224368 3221214712 1131232473 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209749 43455 13086 16 0 209733 0
vsize: 838996
[startup+710.034 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 10477
Raw data (stat): 10467 (java) R 10466 1269 1268 0 -1 0 18070 0 1 0 66362 53 0 0 25 0 11 0 778437648 859131904 43813 4294967295 134512640 134569956 3221224368 3221214708 1130885154 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209749 43813 13086 16 0 209733 0
vsize: 838996
[startup+720.035 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 10477
Raw data (stat): 10467 (java) R 10466 1269 1268 0 -1 0 18070 0 1 0 67291 54 0 0 24 0 11 0 778437648 859131904 44125 4294967295 134512640 134569956 3221224368 3221214728 1131473305 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209749 44125 13086 16 0 209733 0
vsize: 838996
[startup+730.036 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 10477
Raw data (stat): 10467 (java) R 10466 1269 1268 0 -1 0 18070 0 1 0 68233 54 0 0 25 0 11 0 778437648 859131904 44277 4294967295 134512640 134569956 3221224368 3221214720 1131555975 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209749 44277 13086 16 0 209733 0
vsize: 838996
[startup+740.036 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 10477
Raw data (stat): 10467 (java) R 10466 1269 1268 0 -1 0 18070 0 1 0 69173 54 0 0 25 0 11 0 778437648 859131904 44588 4294967295 134512640 134569956 3221224368 3221214720 1131379045 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209749 44588 13086 16 0 209733 0
vsize: 838996
[startup+750.037 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 10477
Raw data (stat): 10467 (java) R 10466 1269 1268 0 -1 0 18070 0 1 0 70113 54 0 0 25 0 11 0 778437648 859131904 44807 4294967295 134512640 134569956 3221224368 3221214624 1131351983 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209749 44807 13086 16 0 209733 0
vsize: 838996
[startup+760.037 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 10477
Raw data (stat): 10467 (java) R 10466 1269 1268 0 -1 0 18070 0 1 0 71037 54 0 0 24 0 11 0 778437648 859131904 45126 4294967295 134512640 134569956 3221224368 3221214752 1131199366 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209749 45126 13086 16 0 209733 0
vsize: 838996
[startup+770.037 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 10477
Raw data (stat): 10467 (java) R 10466 1269 1268 0 -1 0 18070 0 1 0 71980 54 0 0 25 0 11 0 778437648 859131904 45295 4294967295 134512640 134569956 3221224368 3221214772 1131381600 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209749 45295 13086 16 0 209733 0
vsize: 838996
[startup+780.038 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 10477
Raw data (stat): 10467 (java) R 10466 1269 1268 0 -1 0 18070 0 1 0 72919 54 0 0 25 0 11 0 778437648 859131904 45627 4294967295 134512640 134569956 3221224368 3221214680 1131270101 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209749 45627 13086 16 0 209733 0
vsize: 838996
[startup+790.04 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 10477
Raw data (stat): 10467 (java) R 10466 1269 1268 0 -1 0 18070 0 1 0 73859 54 0 0 25 0 11 0 778437648 859131904 45943 4294967295 134512640 134569956 3221224368 3221214752 1131199311 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209749 45943 13086 16 0 209733 0
vsize: 838996
[startup+800.04 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 10477
Raw data (stat): 10467 (java) R 10466 1269 1268 0 -1 0 18070 0 1 0 74798 54 0 0 25 0 11 0 778437648 859131904 46431 4294967295 134512640 134569956 3221224368 3221214692 1131505779 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209749 46431 13086 16 0 209733 0
vsize: 838996
[startup+810.039 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 10477
Raw data (stat): 10467 (java) R 10466 1269 1268 0 -1 0 18070 0 1 0 75738 54 0 0 25 0 11 0 778437648 859131904 46936 4294967295 134512640 134569956 3221224368 3221214624 1131352239 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209749 46936 13086 16 0 209733 0
vsize: 838996
[startup+820.04 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 10477
Raw data (stat): 10467 (java) R 10466 1269 1268 0 -1 0 18070 0 1 0 76667 55 0 0 25 0 11 0 778437648 859131904 47526 4294967295 134512640 134569956 3221224368 3221214720 1131379133 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209749 47526 13086 16 0 209733 0
vsize: 838996
[startup+830.04 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 10477
Raw data (stat): 10467 (java) R 10466 1269 1268 0 -1 0 18070 0 1 0 77614 55 0 0 25 0 11 0 778437648 859131904 47627 4294967295 134512640 134569956 3221224368 3221214728 1131473367 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209749 47627 13086 16 0 209733 0
vsize: 838996
[startup+840.041 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 10477
Raw data (stat): 10467 (java) R 10466 1269 1268 0 -1 0 18070 0 1 0 78542 55 0 0 24 0 11 0 778437648 859131904 48062 4294967295 134512640 134569956 3221224368 3221214624 1131351781 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209749 48062 13086 16 0 209733 0
vsize: 838996
[startup+850.042 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 10477
Raw data (stat): 10467 (java) R 10466 1269 1268 0 -1 0 18070 0 1 0 79486 55 0 0 25 0 11 0 778437648 859131904 48304 4294967295 134512640 134569956 3221224368 3221214624 1131351993 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209749 48304 13086 16 0 209733 0
vsize: 838996
[startup+860.042 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 10477
Raw data (stat): 10467 (java) R 10466 1269 1268 0 -1 0 18070 0 1 0 80429 56 0 0 25 0 11 0 778437648 859131904 48595 4294967295 134512640 134569956 3221224368 3221214624 1131351834 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209749 48595 13086 16 0 209733 0
vsize: 838996
[startup+870.043 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 10477
Raw data (stat): 10467 (java) R 10466 1269 1268 0 -1 0 18070 0 1 0 81357 56 0 0 25 0 11 0 778437648 859131904 49070 4294967295 134512640 134569956 3221224368 3221214536 1131219388 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209749 49070 13086 16 0 209733 0
vsize: 838996
[startup+880.043 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 10477
Raw data (stat): 10467 (java) R 10466 1269 1268 0 -1 0 18070 0 1 0 82300 56 0 0 25 0 11 0 778437648 859131904 49422 4294967295 134512640 134569956 3221224368 3221214744 1131396812 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209749 49422 13086 16 0 209733 0
vsize: 838996
[startup+890.044 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 10477
Raw data (stat): 10467 (java) R 10466 1269 1268 0 -1 0 18070 0 1 0 83227 57 0 0 25 0 11 0 778437648 859131904 49783 4294967295 134512640 134569956 3221224368 3221214624 1131352400 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209749 49783 13086 16 0 209733 0
vsize: 838996
[startup+900.045 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 10477
Raw data (stat): 10467 (java) R 10466 1269 1268 0 -1 0 18070 0 1 0 84140 57 0 0 25 0 11 0 778437648 859131904 50148 4294967295 134512640 134569956 3221224368 3221214720 1131379103 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209749 50148 13086 16 0 209733 0
vsize: 838996
[startup+910.045 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 10477
Raw data (stat): 10467 (java) R 10466 1269 1268 0 -1 0 18070 0 1 0 85065 57 0 0 25 0 11 0 778437648 859131904 50318 4294967295 134512640 134569956 3221224368 3221214624 1131351952 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209749 50318 13086 16 0 209733 0
vsize: 838996
[startup+920.045 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 10477
Raw data (stat): 10467 (java) R 10466 1269 1268 0 -1 0 18070 0 1 0 86003 57 0 0 25 0 11 0 778437648 859131904 50693 4294967295 134512640 134569956 3221224368 3221214776 1131403783 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209749 50693 13086 16 0 209733 0
vsize: 838996
[startup+930.045 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 10477
Raw data (stat): 10467 (java) R 10466 1269 1268 0 -1 0 18070 0 1 0 86912 57 0 0 25 0 11 0 778437648 859131904 50917 4294967295 134512640 134569956 3221224368 3221214640 1131379931 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209749 50917 13086 16 0 209733 0
vsize: 838996
[startup+940.047 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 10477
Raw data (stat): 10467 (java) R 10466 1269 1268 0 -1 0 18070 0 1 0 87840 58 0 0 25 0 11 0 778437648 859131904 51141 4294967295 134512640 134569956 3221224368 3221214644 1131379904 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209749 51141 13086 16 0 209733 0
vsize: 838996
[startup+950.047 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 10477
Raw data (stat): 10467 (java) R 10466 1269 1268 0 -1 0 18070 0 1 0 88784 58 0 0 25 0 11 0 778437648 859131904 51206 4294967295 134512640 134569956 3221224368 3221214752 1131199292 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209749 51206 13086 16 0 209733 0
vsize: 838996
[startup+960.047 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 10477
Raw data (stat): 10467 (java) R 10466 1269 1268 0 -1 0 18070 0 1 0 89711 58 0 0 25 0 11 0 778437648 859131904 51387 4294967295 134512640 134569956 3221224368 3221214552 1131270018 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209749 51387 13086 16 0 209733 0
vsize: 838996
[startup+970.047 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 10477
Raw data (stat): 10467 (java) R 10466 1269 1268 0 -1 0 18070 0 1 0 90638 58 0 0 25 0 11 0 778437648 859131904 51560 4294967295 134512640 134569956 3221224368 3221214680 1131270101 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209749 51560 13086 16 0 209733 0
vsize: 838996
[startup+980.047 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 10477
Raw data (stat): 10467 (java) R 10466 1269 1268 0 -1 0 18070 0 1 0 91564 59 0 0 25 0 11 0 778437648 859131904 51695 4294967295 134512640 134569956 3221224368 3221214584 1131218933 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209749 51695 13086 16 0 209733 0
vsize: 838996
[startup+990.048 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 10477
Raw data (stat): 10467 (java) R 10466 1269 1268 0 -1 0 18070 0 1 0 92546 59 0 0 25 0 11 0 778437648 859131904 51732 4294967295 134512640 134569956 3221224368 3221213680 1131296008 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209749 51732 13086 16 0 209733 0
vsize: 838996
[startup+1000.05 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 10477
Raw data (stat): 10467 (java) R 10466 1269 1268 0 -1 0 18070 0 1 0 93546 59 0 0 25 0 11 0 778437648 859131904 51732 4294967295 134512640 134569956 3221224368 3221213436 1131610144 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209749 51732 13086 16 0 209733 0
vsize: 838996
[startup+1010.05 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 10477
Raw data (stat): 10467 (java) R 10466 1269 1268 0 -1 0 18070 0 1 0 94531 59 0 0 25 0 11 0 778437648 859131904 51783 4294967295 134512640 134569956 3221224368 3221213416 1085679762 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209749 51783 13086 16 0 209733 0
vsize: 838996
[startup+1020.05 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 10477
Raw data (stat): 10467 (java) R 10466 1269 1268 0 -1 0 18070 0 1 0 95531 59 0 0 25 0 11 0 778437648 859131904 51783 4294967295 134512640 134569956 3221224368 3221214080 1131295964 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209749 51783 13086 16 0 209733 0
vsize: 838996
[startup+1030.05 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 10477
Raw data (stat): 10467 (java) R 10466 1269 1268 0 -1 0 18070 0 1 0 96501 59 0 0 25 0 11 0 778437648 859131904 51886 4294967295 134512640 134569956 3221224368 3221214280 1085679494 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209749 51886 13086 16 0 209733 0
vsize: 838996
[startup+1040.05 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 10477
Raw data (stat): 10467 (java) R 10466 1269 1268 0 -1 0 18070 0 1 0 97501 59 0 0 25 0 11 0 778437648 859131904 51886 4294967295 134512640 134569956 3221224368 3221214424 1131610321 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209749 51886 13086 16 0 209733 0
vsize: 838996
[startup+1050.05 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 10477
Raw data (stat): 10467 (java) R 10466 1269 1268 0 -1 0 18070 0 1 0 98485 60 0 0 25 0 11 0 778437648 859131904 51918 4294967295 134512640 134569956 3221224368 3221213408 1131295996 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209749 51918 13086 16 0 209733 0
vsize: 838996
[startup+1060.05 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 10477
Raw data (stat): 10467 (java) R 10466 1269 1268 0 -1 0 18070 0 1 0 99470 60 0 0 25 0 11 0 778437648 859131904 51959 4294967295 134512640 134569956 3221224368 3221214736 1131242240 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209749 51959 13086 16 0 209733 0
vsize: 838996
[startup+1070.05 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 10477
Raw data (stat): 10467 (java) R 10466 1269 1268 0 -1 0 18070 0 1 0 100454 60 0 0 25 0 11 0 778437648 859131904 52065 4294967295 134512640 134569956 3221224368 3221214724 1131216768 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209749 52065 13086 16 0 209733 0
vsize: 838996
[startup+1080.05 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 10477
Raw data (stat): 10467 (java) R 10466 1269 1268 0 -1 0 18070 0 1 0 101454 60 0 0 25 0 11 0 778437648 859131904 52065 4294967295 134512640 134569956 3221224368 3221214624 1131352239 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209749 52065 13086 16 0 209733 0
vsize: 838996
[startup+1090.05 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 10477
Raw data (stat): 10467 (java) R 10466 1269 1268 0 -1 0 18070 0 1 0 102454 61 0 0 25 0 11 0 778437648 859131904 52065 4294967295 134512640 134569956 3221224368 3221214312 1131610296 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209749 52065 13086 16 0 209733 0
vsize: 838996
[startup+1100.05 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 10477
Raw data (stat): 10467 (java) R 10466 1269 1268 0 -1 0 18070 0 1 0 103437 61 0 0 25 0 11 0 778437648 859131904 52148 4294967295 134512640 134569956 3221224368 3221213784 1131610381 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209749 52148 13086 16 0 209733 0
vsize: 838996
[startup+1110.05 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 10477
Raw data (stat): 10467 (java) R 10466 1269 1268 0 -1 0 18070 0 1 0 104421 61 0 0 25 0 11 0 778437648 859131904 52271 4294967295 134512640 134569956 3221224368 3221213892 1131296050 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209749 52271 13086 16 0 209733 0
vsize: 838996
[startup+1120.05 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 10477
Raw data (stat): 10467 (java) R 10466 1269 1268 0 -1 0 18070 0 1 0 105406 61 0 0 25 0 11 0 778437648 859131904 52325 4294967295 134512640 134569956 3221224368 3221214256 1131610327 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209749 52325 13086 16 0 209733 0
vsize: 838996
[startup+1130.05 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 10477
Raw data (stat): 10467 (java) R 10466 1269 1268 0 -1 0 18070 0 1 0 106390 61 0 0 25 0 11 0 778437648 859131904 52392 4294967295 134512640 134569956 3221224368 3221214720 1131622525 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209749 52392 13086 16 0 209733 0
vsize: 838996
[startup+1140.05 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 10477
Raw data (stat): 10467 (java) R 10466 1269 1268 0 -1 0 18070 0 1 0 107376 61 0 0 25 0 11 0 778437648 859131904 52392 4294967295 134512640 134569956 3221224368 3221214224 1085679325 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209749 52392 13086 16 0 209733 0
vsize: 838996
[startup+1150.05 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 10477
Raw data (stat): 10467 (java) R 10466 1269 1268 0 -1 0 18070 0 1 0 108375 62 0 0 25 0 11 0 778437648 859131904 52392 4294967295 134512640 134569956 3221224368 3221214080 1131295996 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209749 52392 13086 16 0 209733 0
vsize: 838996
[startup+1160.05 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 10477
Raw data (stat): 10467 (java) R 10466 1269 1268 0 -1 0 18070 0 1 0 109376 62 0 0 25 0 11 0 778437648 859131904 52392 4294967295 134512640 134569956 3221224368 3221213860 1131610320 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209749 52392 13086 16 0 209733 0
vsize: 838996
[startup+1170.05 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 10477
Raw data (stat): 10467 (java) R 10466 1269 1268 0 -1 0 18070 0 1 0 110360 62 0 0 25 0 11 0 778437648 859131904 52430 4294967295 134512640 134569956 3221224368 3221214760 1131378297 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209749 52430 13086 16 0 209733 0
vsize: 838996
[startup+1180.05 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 10477
Raw data (stat): 10467 (java) R 10466 1269 1268 0 -1 0 18070 0 1 0 111345 62 0 0 25 0 11 0 778437648 859131904 52500 4294967295 134512640 134569956 3221224368 3221214760 1131471216 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209749 52500 13086 16 0 209733 0
vsize: 838996
[startup+1190.05 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 10477
Raw data (stat): 10467 (java) R 10466 1269 1268 0 -1 0 18070 0 1 0 112330 62 0 0 25 0 11 0 778437648 859131904 52546 4294967295 134512640 134569956 3221224368 3221213972 1131610315 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209749 52546 13086 16 0 209733 0
vsize: 838996
[startup+1200.05 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 10477
Raw data (stat): 10467 (java) R 10466 1269 1268 0 -1 0 18070 0 1 0 113315 62 0 0 25 0 11 0 778437648 859131904 52546 4294967295 134512640 134569956 3221224368 3221214368 1131610381 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209749 52546 13086 16 0 209733 0
vsize: 838996
[startup+1210.05 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 10477
Raw data (stat): 10467 (java) R 10466 1269 1268 0 -1 0 18070 0 1 0 114315 62 0 0 25 0 11 0 778437648 859131904 52546 4294967295 134512640 134569956 3221224368 3221213608 1131619102 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209749 52546 13086 16 0 209733 0
vsize: 838996
[startup+1220.05 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 10477
Raw data (stat): 10467 (java) R 10466 1269 1268 0 -1 0 18070 0 1 0 115300 62 0 0 25 0 11 0 778437648 859131904 52593 4294967295 134512640 134569956 3221224368 3221213944 1131619122 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209749 52593 13086 16 0 209733 0
vsize: 838996
[startup+1230.05 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 10477
Raw data (stat): 10467 (java) R 10466 1269 1268 0 -1 0 18070 0 1 0 116299 62 0 0 25 0 11 0 778437648 859131904 52593 4294967295 134512640 134569956 3221224368 3221213392 1131610321 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209749 52593 13086 16 0 209733 0
vsize: 838996
[startup+1240.05 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 10477
Raw data (stat): 10467 (java) R 10466 1269 1268 0 -1 0 18070 0 1 0 117299 62 0 0 25 0 11 0 778437648 859131904 52593 4294967295 134512640 134569956 3221224368 3221214200 1131610321 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209749 52593 13086 16 0 209733 0
vsize: 838996
[startup+1250.05 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 10477
Raw data (stat): 10467 (java) R 10466 1269 1268 0 -1 0 18070 0 1 0 118283 62 0 0 25 0 11 0 778437648 859131904 52672 4294967295 134512640 134569956 3221224368 3221214024 1131295964 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209749 52672 13086 16 0 209733 0
vsize: 838996
[startup+1260.05 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 10477
Raw data (stat): 10467 (java) R 10466 1269 1268 0 -1 0 18070 0 1 0 119284 62 0 0 25 0 11 0 778437648 859131904 52672 4294967295 134512640 134569956 3221224368 3221213524 1085632272 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209749 52672 13086 16 0 209733 0
vsize: 838996
[startup+1270.05 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 10477
Raw data (stat): 10467 (java) R 10466 1269 1268 0 -1 0 18070 0 1 0 120269 63 0 0 25 0 11 0 778437648 859131904 52672 4294967295 134512640 134569956 3221224368 3221213888 1085679325 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209749 52672 13086 16 0 209733 0
vsize: 838996
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1270.18 s]
Raw data (loadavg): 1.00 1.00 0.97 1/54 10479
Raw data (stat): 10467 (java) Z 10466 1269 1268 0 -1 1036 18070 35237 1 0 120271 63 7087 78 25 0 1 0 778437648 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1270.17
CPU time (s): 1275
CPU user time (s): 1273.58
CPU system time (s): 1.41678
CPU usage (%): 100.38
Max. virtual memory (Kb): 838996
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####