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/submitted/aloul/FPGA_SAT05/normalized-fpga25_23_sat_pb.cnf.cr.opb
MD5SUM	002d92124dd96ccf471b7e05fe08f2d6
Bench Category	no optimization function (SAT)
Has Objective Function	NO
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	0
Optimality of the best value was proved	NO
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	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	26
Number of bits of the biggest sum of numbers	5
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	0.252961
Number of variables	863
Total number of constraints	646
Number of constraints which are clauses	598
Number of constraints which are cardinality constraints (but not clauses)	48
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	12
Maximum length of a constraint	25
Trace number 29051

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc11 THE 2005-05-25 04:40:00 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=20453 boxname=wulflinc11 idbench=43 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  002d92124dd96ccf471b7e05fe08f2d6  /oldhome/oroussel/tmp/wulflinc11/normalized-fpga25_23_sat_pb.cnf.cr.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc11/normalized-fpga25_23_sat_pb.cnf.cr.opb
IDLAUNCH: 20453
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.028
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.028
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:        882176 kB
Buffers:         15500 kB
Cached:         116060 kB
SwapCached:        768 kB
Active:          33092 kB
Inactive:       100472 kB
HighTotal:      131008 kB
HighFree:        14756 kB
LowTotal:       903652 kB
LowFree:        867420 kB
SwapTotal:     2097136 kB
SwapFree:      2095468 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5020 kB
Slab:            13288 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 05:00:52 (client local time) WITH STATUS 143 IN 1247.71 SECONDS
stats: 20453 7 1247.71 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/wulflinc11/normalized-fpga25_23_sat_pb.cnf.cr.opb
c reading problem ... done. Time 2.353 ms.
c #vars     863
c #constraints  646
c starts	: 8
c conflicts	: 3370
c decisions	: 20628
c propagations	: 117359
c inspects	: 1281218
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 3370
c root simplifications	: 8
s UNKNOWN
c Total CPU time (ms) : 1249.158
#### 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.88 0.94 0.94 2/54 4002
Raw data (stat): 4002 (runsolver) R 4001 25830 25829 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 777844190 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.0014 s]
Raw data (loadavg): 0.98 0.96 0.94 3/64 4012
Raw data (stat): 4002 (java) R 4001 25830 25829 0 -1 0 18068 0 1 0 714 36 0 0 25 0 11 0 777844190 858120192 20743 4294967295 134512640 134569956 3221224368 3221214492 1130892673 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209502 20743 13086 16 0 209486 0
vsize: 838008
[startup+20.0023 s]
Raw data (loadavg): 0.98 0.96 0.94 2/64 4012
Raw data (stat): 4002 (java) R 4001 25830 25829 0 -1 0 18071 0 1 0 1672 36 0 0 25 0 11 0 777844190 857657344 21556 4294967295 134512640 134569956 3221224368 3221214472 1131443217 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209389 21556 13086 16 0 209373 0
vsize: 837556
[startup+30.0027 s]
Raw data (loadavg): 0.99 0.96 0.94 2/64 4012
Raw data (stat): 4002 (java) R 4001 25830 25829 0 -1 0 18071 0 1 0 2646 36 0 0 25 0 11 0 777844190 857362432 21534 4294967295 134512640 134569956 3221224368 3221214768 1131323377 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209317 21534 13086 16 0 209301 0
vsize: 837268
[startup+40.0032 s]
Raw data (loadavg): 0.99 0.96 0.94 2/64 4012
Raw data (stat): 4002 (java) R 4001 25830 25829 0 -1 0 18071 0 1 0 3618 37 0 0 25 0 11 0 777844190 857362432 21583 4294967295 134512640 134569956 3221224368 3221214528 1131274405 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209317 21583 13086 16 0 209301 0
vsize: 837268
[startup+50.0037 s]
Raw data (loadavg): 0.99 0.97 0.94 2/64 4012
Raw data (stat): 4002 (java) R 4001 25830 25829 0 -1 0 18071 0 1 0 4577 37 0 0 24 0 11 0 777844190 857362432 21907 4294967295 134512640 134569956 3221224368 3221214472 1131444072 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209317 21907 13086 16 0 209301 0
vsize: 837268
[startup+60.005 s]
Raw data (loadavg): 0.99 0.97 0.94 2/64 4012
Raw data (stat): 4002 (java) R 4001 25830 25829 0 -1 0 18071 0 1 0 5552 37 0 0 25 0 11 0 777844190 857362432 21907 4294967295 134512640 134569956 3221224368 3221214472 1131443315 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209317 21907 13086 16 0 209301 0
vsize: 837268
[startup+70.006 s]
Raw data (loadavg): 0.99 0.97 0.94 2/64 4012
Raw data (stat): 4002 (java) R 4001 25830 25829 0 -1 0 18072 0 1 0 6493 37 0 0 25 0 11 0 777844190 857362432 22250 4294967295 134512640 134569956 3221224368 3221214824 1131419809 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209317 22250 13086 16 0 209301 0
vsize: 837268
[startup+80.0061 s]
Raw data (loadavg): 0.99 0.97 0.94 2/64 4012
Raw data (stat): 4002 (java) R 4001 25830 25829 0 -1 0 18072 0 1 0 7450 37 0 0 25 0 11 0 777844190 857362432 22592 4294967295 134512640 134569956 3221224368 3221214576 1131341927 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209317 22592 13086 16 0 209301 0
vsize: 837268
[startup+90.0073 s]
Raw data (loadavg): 0.99 0.97 0.94 2/64 4012
Raw data (stat): 4002 (java) R 4001 25830 25829 0 -1 0 18072 0 1 0 8407 38 0 0 25 0 11 0 777844190 857362432 22771 4294967295 134512640 134569956 3221224368 3221214304 1078830833 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209317 22771 13086 16 0 209301 0
vsize: 837268
[startup+100.016 s]
Raw data (loadavg): 0.99 0.97 0.94 2/64 4012
Raw data (stat): 4002 (java) R 4001 25830 25829 0 -1 0 18072 0 1 0 9377 38 0 0 25 0 11 0 777844190 857362432 22846 4294967295 134512640 134569956 3221224368 3221214560 1131191942 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209317 22846 13086 16 0 209301 0
vsize: 837268
[startup+110.018 s]
Raw data (loadavg): 0.99 0.97 0.94 2/64 4012
Raw data (stat): 4002 (java) R 4001 25830 25829 0 -1 0 18072 0 1 0 10345 38 0 0 25 0 11 0 777844190 857362432 23045 4294967295 134512640 134569956 3221224368 3221214168 1131514940 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209317 23045 13086 16 0 209301 0
vsize: 837268
[startup+120.02 s]
Raw data (loadavg): 0.99 0.97 0.94 2/64 4012
Raw data (stat): 4002 (java) R 4001 25830 25829 0 -1 0 18072 0 1 0 11299 39 0 0 25 0 11 0 777844190 857362432 23288 4294967295 134512640 134569956 3221224368 3221214464 1131443315 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209317 23288 13086 16 0 209301 0
vsize: 837268
[startup+130.021 s]
Raw data (loadavg): 0.99 0.97 0.94 2/64 4012
Raw data (stat): 4002 (java) R 4001 25830 25829 0 -1 0 18072 0 1 0 12256 39 0 0 25 0 11 0 777844190 857362432 23555 4294967295 134512640 134569956 3221224368 3221214456 1131317439 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209317 23555 13086 16 0 209301 0
vsize: 837268
[startup+140.021 s]
Raw data (loadavg): 0.99 0.97 0.94 2/64 4012
Raw data (stat): 4002 (java) R 4001 25830 25829 0 -1 0 18072 0 1 0 13212 39 0 0 25 0 11 0 777844190 857362432 23705 4294967295 134512640 134569956 3221224368 3221214364 1131436760 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209317 23705 13086 16 0 209301 0
vsize: 837268
[startup+150.022 s]
Raw data (loadavg): 0.99 0.97 0.94 2/64 4012
Raw data (stat): 4002 (java) R 4001 25830 25829 0 -1 0 18072 0 1 0 14168 40 0 0 25 0 11 0 777844190 857362432 24188 4294967295 134512640 134569956 3221224368 3221214520 1131274382 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209317 24188 13086 16 0 209301 0
vsize: 837268
[startup+160.023 s]
Raw data (loadavg): 0.99 0.97 0.94 2/64 4012
Raw data (stat): 4002 (java) R 4001 25830 25829 0 -1 0 18072 0 1 0 15126 40 0 0 25 0 11 0 777844190 857362432 24369 4294967295 134512640 134569956 3221224368 3221214656 1131253415 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209317 24369 13086 16 0 209301 0
vsize: 837268
[startup+170.023 s]
Raw data (loadavg): 0.99 0.97 0.94 2/64 4012
Raw data (stat): 4002 (java) R 4001 25830 25829 0 -1 0 18072 0 1 0 16074 40 0 0 25 0 11 0 777844190 857362432 24678 4294967295 134512640 134569956 3221224368 3221214416 1131220924 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209317 24678 13086 16 0 209301 0
vsize: 837268
[startup+180.023 s]
Raw data (loadavg): 0.99 0.97 0.94 2/64 4012
Raw data (stat): 4002 (java) R 4001 25830 25829 0 -1 0 18072 0 1 0 17030 40 0 0 25 0 11 0 777844190 857362432 24972 4294967295 134512640 134569956 3221224368 3221214140 1131436816 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209317 24972 13086 16 0 209301 0
vsize: 837268
[startup+190.024 s]
Raw data (loadavg): 0.99 0.97 0.94 2/64 4012
Raw data (stat): 4002 (java) R 4001 25830 25829 0 -1 0 18072 0 1 0 17988 40 0 0 25 0 11 0 777844190 857362432 25248 4294967295 134512640 134569956 3221224368 3221214656 1131253830 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209317 25248 13086 16 0 209301 0
vsize: 837268
[startup+200.024 s]
Raw data (loadavg): 0.99 0.97 0.94 2/64 4012
Raw data (stat): 4002 (java) R 4001 25830 25829 0 -1 0 18072 0 1 0 18954 40 0 0 25 0 11 0 777844190 857362432 25485 4294967295 134512640 134569956 3221224368 3221214112 1085679762 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209317 25485 13086 16 0 209301 0
vsize: 837268
[startup+210.025 s]
Raw data (loadavg): 0.99 0.97 0.94 2/64 4012
Raw data (stat): 4002 (java) R 4001 25830 25829 0 -1 0 18072 0 1 0 19920 40 0 0 25 0 11 0 777844190 857362432 25663 4294967295 134512640 134569956 3221224368 3221214520 1131274431 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209317 25663 13086 16 0 209301 0
vsize: 837268
[startup+220.026 s]
Raw data (loadavg): 0.99 0.97 0.94 2/64 4012
Raw data (stat): 4002 (java) R 4001 25830 25829 0 -1 0 18072 0 1 0 20888 40 0 0 25 0 11 0 777844190 857362432 25811 4294967295 134512640 134569956 3221224368 3221214572 1131251017 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209317 25811 13086 16 0 209301 0
vsize: 837268
[startup+230.026 s]
Raw data (loadavg): 0.99 0.97 0.94 2/64 4012
Raw data (stat): 4002 (java) R 4001 25830 25829 0 -1 0 18072 0 1 0 21857 40 0 0 25 0 11 0 777844190 857362432 25954 4294967295 134512640 134569956 3221224368 3221214464 1131442533 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209317 25954 13086 16 0 209301 0
vsize: 837268
[startup+240.026 s]
Raw data (loadavg): 0.99 0.97 0.94 2/64 4012
Raw data (stat): 4002 (java) R 4001 25830 25829 0 -1 0 18072 0 1 0 22824 40 0 0 25 0 11 0 777844190 857362432 26093 4294967295 134512640 134569956 3221224368 3221214480 1131247108 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209317 26093 13086 16 0 209301 0
vsize: 837268
[startup+250.027 s]
Raw data (loadavg): 0.99 0.97 0.94 2/64 4012
Raw data (stat): 4002 (java) R 4001 25830 25829 0 -1 0 18072 0 1 0 23792 40 0 0 25 0 11 0 777844190 857362432 26270 4294967295 134512640 134569956 3221224368 3221214560 1131223412 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209317 26270 13086 16 0 209301 0
vsize: 837268
[startup+260.027 s]
Raw data (loadavg): 0.99 0.97 0.94 2/64 4012
Raw data (stat): 4002 (java) R 4001 25830 25829 0 -1 0 18072 0 1 0 24761 40 0 0 25 0 11 0 777844190 857362432 26339 4294967295 134512640 134569956 3221224368 3221214576 1131272579 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209317 26339 13086 16 0 209301 0
vsize: 837268
[startup+270.027 s]
Raw data (loadavg): 0.99 0.97 0.94 2/64 4012
Raw data (stat): 4002 (java) R 4001 25830 25829 0 -1 0 18072 0 1 0 25718 40 0 0 25 0 11 0 777844190 857362432 26484 4294967295 134512640 134569956 3221224368 3221214468 1131220900 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209317 26484 13086 16 0 209301 0
vsize: 837268
[startup+280.028 s]
Raw data (loadavg): 0.99 0.97 0.94 2/64 4012
Raw data (stat): 4002 (java) R 4001 25830 25829 0 -1 0 18072 0 1 0 26683 40 0 0 25 0 11 0 777844190 857362432 26781 4294967295 134512640 134569956 3221224368 3221214656 1131253809 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209317 26781 13086 16 0 209301 0
vsize: 837268
[startup+290.028 s]
Raw data (loadavg): 0.99 0.97 0.94 2/64 4012
Raw data (stat): 4002 (java) R 4001 25830 25829 0 -1 0 18072 0 1 0 27650 40 0 0 25 0 11 0 777844190 857362432 27044 4294967295 134512640 134569956 3221224368 3221214656 1131253428 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209317 27044 13086 16 0 209301 0
vsize: 837268
[startup+300.034 s]
Raw data (loadavg): 0.99 0.97 0.94 2/64 4012
Raw data (stat): 4002 (java) S 4001 25830 25829 0 -1 0 18072 0 1 0 28620 40 0 0 25 0 11 0 777844190 857362432 27097 4294967295 134512640 134569956 3221224368 3221213216 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209317 27097 13086 16 0 209301 0
vsize: 837268
[startup+310.037 s]
Raw data (loadavg): 0.99 0.97 0.94 2/64 4012
Raw data (stat): 4002 (java) R 4001 25830 25829 0 -1 0 18072 0 1 0 29583 40 0 0 25 0 11 0 777844190 857362432 27118 4294967295 134512640 134569956 3221224368 3221214480 1131247166 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209317 27118 13086 16 0 209301 0
vsize: 837268
[startup+320.037 s]
Raw data (loadavg): 1.07 0.99 0.95 2/64 4012
Raw data (stat): 4002 (java) R 4001 25830 25829 0 -1 0 18072 0 1 0 30552 40 0 0 25 0 11 0 777844190 857362432 27210 4294967295 134512640 134569956 3221224368 3221214576 1131272579 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209317 27210 13086 16 0 209301 0
vsize: 837268
[startup+330.037 s]
Raw data (loadavg): 1.06 0.99 0.95 2/64 4012
Raw data (stat): 4002 (java) R 4001 25830 25829 0 -1 0 18072 0 1 0 31521 40 0 0 24 0 11 0 777844190 857362432 27259 4294967295 134512640 134569956 3221224368 3221214552 1131252785 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209317 27259 13086 16 0 209301 0
vsize: 837268
[startup+340.038 s]
Raw data (loadavg): 1.05 0.99 0.95 2/64 4012
Raw data (stat): 4002 (java) R 4001 25830 25829 0 -1 0 18072 0 1 0 32489 40 0 0 25 0 11 0 777844190 857362432 27377 4294967295 134512640 134569956 3221224368 3221214536 1131225851 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209317 27377 13086 16 0 209301 0
vsize: 837268
[startup+350.037 s]
Raw data (loadavg): 1.04 0.99 0.95 2/64 4012
Raw data (stat): 4002 (java) R 4001 25830 25829 0 -1 0 18072 0 1 0 33459 40 0 0 25 0 11 0 777844190 857362432 27485 4294967295 134512640 134569956 3221224368 3221214520 1131274375 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209317 27485 13086 16 0 209301 0
vsize: 837268
[startup+360.038 s]
Raw data (loadavg): 1.03 0.99 0.95 2/64 4012
Raw data (stat): 4002 (java) R 4001 25830 25829 0 -1 0 18073 0 1 0 34438 40 0 0 25 0 11 0 777844190 857362432 27486 4294967295 134512640 134569956 3221224368 3221214464 1131443315 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209317 27486 13086 16 0 209301 0
vsize: 837268
[startup+370.038 s]
Raw data (loadavg): 1.03 0.99 0.95 2/64 4012
Raw data (stat): 4002 (java) R 4001 25830 25829 0 -1 0 18073 0 1 0 35408 40 0 0 25 0 11 0 777844190 857362432 27581 4294967295 134512640 134569956 3221224368 3221214464 1131443374 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209317 27581 13086 16 0 209301 0
vsize: 837268
[startup+380.038 s]
Raw data (loadavg): 1.02 0.99 0.95 2/64 4012
Raw data (stat): 4002 (java) R 4001 25830 25829 0 -1 0 18073 0 1 0 36379 40 0 0 25 0 11 0 777844190 857362432 27681 4294967295 134512640 134569956 3221224368 3221214520 1131274473 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209317 27681 13086 16 0 209301 0
vsize: 837268
[startup+390.038 s]
Raw data (loadavg): 1.02 0.99 0.95 2/64 4012
Raw data (stat): 4002 (java) R 4001 25830 25829 0 -1 0 18073 0 1 0 37344 40 0 0 25 0 11 0 777844190 857362432 27903 4294967295 134512640 134569956 3221224368 3221214552 1131191847 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209317 27903 13086 16 0 209301 0
vsize: 837268
[startup+400.039 s]
Raw data (loadavg): 1.02 0.99 0.95 2/64 4012
Raw data (stat): 4002 (java) R 4001 25830 25829 0 -1 0 18073 0 1 0 38320 40 0 0 25 0 11 0 777844190 857362432 27970 4294967295 134512640 134569956 3221224368 3221214464 1131444206 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209317 27970 13086 16 0 209301 0
vsize: 837268
[startup+410.039 s]
Raw data (loadavg): 1.01 0.99 0.95 2/64 4012
Raw data (stat): 4002 (java) R 4001 25830 25829 0 -1 0 18073 0 1 0 39296 40 0 0 25 0 11 0 777844190 857362432 28013 4294967295 134512640 134569956 3221224368 3221214656 1131253809 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209317 28013 13086 16 0 209301 0
vsize: 837268
[startup+420.039 s]
Raw data (loadavg): 1.08 1.00 0.95 2/64 4012
Raw data (stat): 4002 (java) R 4001 25830 25829 0 -1 0 18073 0 1 0 40262 40 0 0 25 0 11 0 777844190 857362432 28106 4294967295 134512640 134569956 3221224368 3221214280 1085679290 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209317 28106 13086 16 0 209301 0
vsize: 837268
[startup+430.039 s]
Raw data (loadavg): 1.07 1.00 0.95 2/64 4012
Raw data (stat): 4002 (java) R 4001 25830 25829 0 -1 0 18073 0 1 0 41232 40 0 0 25 0 11 0 777844190 857362432 28175 4294967295 134512640 134569956 3221224368 3221214656 1131253353 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209317 28175 13086 16 0 209301 0
vsize: 837268
[startup+440.042 s]
Raw data (loadavg): 1.06 1.00 0.95 2/64 4012
Raw data (stat): 4002 (java) R 4001 25830 25829 0 -1 0 18073 0 1 0 42200 40 0 0 25 0 11 0 777844190 857362432 28304 4294967295 134512640 134569956 3221224368 3221213968 1131220768 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209317 28304 13086 16 0 209301 0
vsize: 837268
[startup+450.043 s]
Raw data (loadavg): 1.05 1.00 0.95 2/64 4012
Raw data (stat): 4002 (java) R 4001 25830 25829 0 -1 0 18073 0 1 0 43158 40 0 0 25 0 11 0 777844190 857362432 28399 4294967295 134512640 134569956 3221224368 3221214572 1131127988 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209317 28399 13086 16 0 209301 0
vsize: 837268
[startup+460.044 s]
Raw data (loadavg): 1.04 1.00 0.95 2/64 4012
Raw data (stat): 4002 (java) R 4001 25830 25829 0 -1 0 18073 0 1 0 44112 40 0 0 25 0 11 0 777844190 857362432 28652 4294967295 134512640 134569956 3221224368 3221214720 1131161937 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209317 28652 13086 16 0 209301 0
vsize: 837268
[startup+470.044 s]
Raw data (loadavg): 1.04 1.00 0.95 2/64 4012
Raw data (stat): 4002 (java) R 4001 25830 25829 0 -1 0 18073 0 1 0 45066 40 0 0 25 0 11 0 777844190 857362432 28944 4294967295 134512640 134569956 3221224368 3221214576 1131272725 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209317 28944 13086 16 0 209301 0
vsize: 837268
[startup+480.045 s]
Raw data (loadavg): 1.03 1.00 0.95 2/64 4012
Raw data (stat): 4002 (java) R 4001 25830 25829 0 -1 0 18073 0 1 0 46024 40 0 0 25 0 11 0 777844190 857362432 29116 4294967295 134512640 134569956 3221224368 3221214656 1131253912 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209317 29116 13086 16 0 209301 0
vsize: 837268
[startup+490.045 s]
Raw data (loadavg): 1.10 1.02 0.96 2/64 4012
Raw data (stat): 4002 (java) R 4001 25830 25829 0 -1 0 18073 0 1 0 46992 40 0 0 25 0 11 0 777844190 857362432 29207 4294967295 134512640 134569956 3221224368 3221214416 1131220852 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209317 29207 13086 16 0 209301 0
vsize: 837268
[startup+500.045 s]
Raw data (loadavg): 1.09 1.02 0.96 2/64 4012
Raw data (stat): 4002 (java) R 4001 25830 25829 0 -1 0 18073 0 1 0 47950 40 0 0 25 0 11 0 777844190 857362432 29283 4294967295 134512640 134569956 3221224368 3221214464 1131442373 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209317 29283 13086 16 0 209301 0
vsize: 837268
[startup+510.046 s]
Raw data (loadavg): 1.07 1.01 0.96 2/64 4012
Raw data (stat): 4002 (java) R 4001 25830 25829 0 -1 0 18073 0 1 0 48908 40 0 0 25 0 11 0 777844190 857362432 29480 4294967295 134512640 134569956 3221224368 3221214520 1131274410 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209317 29480 13086 16 0 209301 0
vsize: 837268
[startup+520.047 s]
Raw data (loadavg): 1.06 1.01 0.96 2/64 4012
Raw data (stat): 4002 (java) R 4001 25830 25829 0 -1 0 18073 0 1 0 49866 40 0 0 25 0 11 0 777844190 857362432 29537 4294967295 134512640 134569956 3221224368 3221214464 1131442533 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209317 29537 13086 16 0 209301 0
vsize: 837268
[startup+530.047 s]
Raw data (loadavg): 1.05 1.01 0.96 2/64 4012
Raw data (stat): 4002 (java) R 4001 25830 25829 0 -1 0 18073 0 1 0 50826 40 0 0 25 0 11 0 777844190 857362432 29591 4294967295 134512640 134569956 3221224368 3221214760 1131261669 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209317 29591 13086 16 0 209301 0
vsize: 837268
[startup+540.047 s]
Raw data (loadavg): 1.04 1.01 0.96 2/64 4012
Raw data (stat): 4002 (java) R 4001 25830 25829 0 -1 0 18073 0 1 0 51795 40 0 0 25 0 11 0 777844190 857362432 29641 4294967295 134512640 134569956 3221224368 3221214552 1131252755 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209317 29641 13086 16 0 209301 0
vsize: 837268
[startup+550.047 s]
Raw data (loadavg): 1.04 1.01 0.96 2/64 4012
Raw data (stat): 4002 (java) R 4001 25830 25829 0 -1 0 18073 0 1 0 52753 40 0 0 25 0 11 0 777844190 857362432 29794 4294967295 134512640 134569956 3221224368 3221214552 1131252785 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209317 29794 13086 16 0 209301 0
vsize: 837268
[startup+560.048 s]
Raw data (loadavg): 1.03 1.01 0.96 2/64 4012
Raw data (stat): 4002 (java) R 4001 25830 25829 0 -1 0 18073 0 1 0 53702 40 0 0 25 0 11 0 777844190 857362432 30012 4294967295 134512640 134569956 3221224368 3221214480 1131247209 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209317 30012 13086 16 0 209301 0
vsize: 837268
[startup+570.048 s]
Raw data (loadavg): 1.02 1.01 0.96 2/64 4012
Raw data (stat): 4002 (java) R 4001 25830 25829 0 -1 0 18073 0 1 0 54663 41 0 0 25 0 11 0 777844190 857362432 30119 4294967295 134512640 134569956 3221224368 3221214424 1131436877 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209317 30119 13086 16 0 209301 0
vsize: 837268
[startup+580.048 s]
Raw data (loadavg): 1.02 1.01 0.96 2/64 4012
Raw data (stat): 4002 (java) R 4001 25830 25829 0 -1 0 18073 0 1 0 55625 41 0 0 25 0 11 0 777844190 857362432 30243 4294967295 134512640 134569956 3221224368 3221214576 1131272591 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209317 30243 13086 16 0 209301 0
vsize: 837268
[startup+590.049 s]
Raw data (loadavg): 1.02 1.01 0.96 2/64 4012
Raw data (stat): 4002 (java) R 4001 25830 25829 0 -1 0 18073 0 1 0 56587 41 0 0 25 0 11 0 777844190 857362432 30350 4294967295 134512640 134569956 3221224368 3221214480 1131247209 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209317 30350 13086 16 0 209301 0
vsize: 837268
[startup+600.049 s]
Raw data (loadavg): 1.01 1.01 0.96 2/64 4012
Raw data (stat): 4002 (java) R 4001 25830 25829 0 -1 0 18073 0 1 0 57548 41 0 0 25 0 11 0 777844190 857362432 30422 4294967295 134512640 134569956 3221224368 3221214480 1131247209 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209317 30422 13086 16 0 209301 0
vsize: 837268
[startup+610.05 s]
Raw data (loadavg): 1.01 1.00 0.96 2/64 4012
Raw data (stat): 4002 (java) R 4001 25830 25829 0 -1 0 18073 0 1 0 58507 41 0 0 25 0 11 0 777844190 857362432 30487 4294967295 134512640 134569956 3221224368 3221214568 1131341920 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209317 30487 13086 16 0 209301 0
vsize: 837268
[startup+620.051 s]
Raw data (loadavg): 1.01 1.00 0.96 2/64 4012
Raw data (stat): 4002 (java) R 4001 25830 25829 0 -1 0 18073 0 1 0 59475 41 0 0 25 0 11 0 777844190 857362432 30608 4294967295 134512640 134569956 3221224368 3221214656 1131253809 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209317 30608 13086 16 0 209301 0
vsize: 837268
[startup+630.05 s]
Raw data (loadavg): 1.01 1.00 0.96 2/64 4012
Raw data (stat): 4002 (java) R 4001 25830 25829 0 -1 0 18073 0 1 0 60421 41 0 0 25 0 11 0 777844190 857362432 30803 4294967295 134512640 134569956 3221224368 3221214656 1131253432 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209317 30803 13086 16 0 209301 0
vsize: 837268
[startup+640.051 s]
Raw data (loadavg): 1.01 1.00 0.96 2/64 4012
Raw data (stat): 4002 (java) R 4001 25830 25829 0 -1 0 18073 0 1 0 61378 41 0 0 25 0 11 0 777844190 857362432 30935 4294967295 134512640 134569956 3221224368 3221213776 1131514948 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209317 30935 13086 16 0 209301 0
vsize: 837268
[startup+650.051 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 4012
Raw data (stat): 4002 (java) R 4001 25830 25829 0 -1 0 18073 0 1 0 62337 41 0 0 25 0 11 0 777844190 857362432 31022 4294967295 134512640 134569956 3221224368 3221214048 1131514960 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209317 31022 13086 16 0 209301 0
vsize: 837268
[startup+660.052 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 4012
Raw data (stat): 4002 (java) R 4001 25830 25829 0 -1 0 18073 0 1 0 63283 41 0 0 25 0 11 0 777844190 857362432 31207 4294967295 134512640 134569956 3221224368 3221214464 1131443232 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209317 31207 13086 16 0 209301 0
vsize: 837268
[startup+670.052 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 4012
Raw data (stat): 4002 (java) R 4001 25830 25829 0 -1 0 18073 0 1 0 64240 41 0 0 25 0 11 0 777844190 857362432 31321 4294967295 134512640 134569956 3221224368 3221214520 1131274405 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209317 31321 13086 16 0 209301 0
vsize: 837268
[startup+680.052 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 4012
Raw data (stat): 4002 (java) R 4001 25830 25829 0 -1 0 18073 0 1 0 65196 41 0 0 25 0 11 0 777844190 857362432 31450 4294967295 134512640 134569956 3221224368 3221214552 1131258112 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209317 31450 13086 16 0 209301 0
vsize: 837268
[startup+690.052 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 4012
Raw data (stat): 4002 (java) R 4001 25830 25829 0 -1 0 18073 0 1 0 66163 42 0 0 25 0 11 0 777844190 857362432 31609 4294967295 134512640 134569956 3221224368 3221214760 1131261669 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209317 31609 13086 16 0 209301 0
vsize: 837268
[startup+700.052 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 4012
Raw data (stat): 4002 (java) R 4001 25830 25829 0 -1 0 18073 0 1 0 67109 42 0 0 25 0 11 0 777844190 857362432 31755 4294967295 134512640 134569956 3221224368 3221214152 1080217270 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209317 31755 13086 16 0 209301 0
vsize: 837268
[startup+710.053 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 4012
Raw data (stat): 4002 (java) R 4001 25830 25829 0 -1 0 18073 0 1 0 68057 42 0 0 25 0 11 0 777844190 857362432 31883 4294967295 134512640 134569956 3221224368 3221214056 1085679272 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209317 31883 13086 16 0 209301 0
vsize: 837268
[startup+720.053 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 4012
Raw data (stat): 4002 (java) R 4001 25830 25829 0 -1 0 18073 0 1 0 69004 42 0 0 25 0 11 0 777844190 857362432 32013 4294967295 134512640 134569956 3221224368 3221214656 1131254208 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209317 32013 13086 16 0 209301 0
vsize: 837268
[startup+730.055 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 4012
Raw data (stat): 4002 (java) R 4001 25830 25829 0 -1 0 18073 0 1 0 69963 42 0 0 25 0 11 0 777844190 857362432 32123 4294967295 134512640 134569956 3221224368 3221214760 1131323392 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209317 32123 13086 16 0 209301 0
vsize: 837268
[startup+740.055 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 4012
Raw data (stat): 4002 (java) R 4001 25830 25829 0 -1 0 18073 0 1 0 70921 42 0 0 25 0 11 0 777844190 857362432 32214 4294967295 134512640 134569956 3221224368 3221214056 1085679302 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209317 32214 13086 16 0 209301 0
vsize: 837268
[startup+750.056 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 4012
Raw data (stat): 4002 (java) R 4001 25830 25829 0 -1 0 18073 0 1 0 71880 42 0 0 25 0 11 0 777844190 857362432 32338 4294967295 134512640 134569956 3221224368 3221213944 1131514910 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209317 32338 13086 16 0 209301 0
vsize: 837268
[startup+760.056 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 4012
Raw data (stat): 4002 (java) R 4001 25830 25829 0 -1 0 18073 0 1 0 72858 42 0 0 25 0 11 0 777844190 857362432 32436 4294967295 134512640 134569956 3221224368 3221213912 1131220903 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209317 32436 13086 16 0 209301 0
vsize: 837268
[startup+770.057 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 4012
Raw data (stat): 4002 (java) R 4001 25830 25829 0 -1 0 18073 0 1 0 73827 42 0 0 25 0 11 0 777844190 857362432 32553 4294967295 134512640 134569956 3221224368 3221214340 1131220672 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209317 32553 13086 16 0 209301 0
vsize: 837268
[startup+780.056 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 4012
Raw data (stat): 4002 (java) R 4001 25830 25829 0 -1 0 18073 0 1 0 74806 42 0 0 25 0 11 0 777844190 857362432 32617 4294967295 134512640 134569956 3221224368 3221214360 1131253894 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209317 32617 13086 16 0 209301 0
vsize: 837268
[startup+790.057 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 4012
Raw data (stat): 4002 (java) R 4001 25830 25829 0 -1 0 18073 0 1 0 75784 42 0 0 25 0 11 0 777844190 857362432 32700 4294967295 134512640 134569956 3221224368 3221214088 1131436817 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209317 32700 13086 16 0 209301 0
vsize: 837268
[startup+800.057 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 4012
Raw data (stat): 4002 (java) R 4001 25830 25829 0 -1 0 18073 0 1 0 76759 42 0 0 24 0 11 0 777844190 857362432 32922 4294967295 134512640 134569956 3221224368 3221214576 1131272642 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209317 32922 13086 16 0 209301 0
vsize: 837268
[startup+810.057 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 4012
Raw data (stat): 4002 (java) R 4001 25830 25829 0 -1 0 18073 0 1 0 77727 42 0 0 25 0 11 0 777844190 857362432 33033 4294967295 134512640 134569956 3221224368 3221214552 1131191881 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209317 33033 13086 16 0 209301 0
vsize: 837268
[startup+820.057 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 4012
Raw data (stat): 4002 (java) R 4001 25830 25829 0 -1 0 18073 0 1 0 78695 42 0 0 25 0 11 0 777844190 857362432 33087 4294967295 134512640 134569956 3221224368 3221214464 1131444125 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209317 33087 13086 16 0 209301 0
vsize: 837268
[startup+830.057 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 4012
Raw data (stat): 4002 (java) R 4001 25830 25829 0 -1 0 18073 0 1 0 79663 42 0 0 24 0 11 0 777844190 857362432 33151 4294967295 134512640 134569956 3221224368 3221214464 1131442911 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209317 33151 13086 16 0 209301 0
vsize: 837268
[startup+840.058 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 4012
Raw data (stat): 4002 (java) R 4001 25830 25829 0 -1 0 18073 0 1 0 80652 42 0 0 25 0 11 0 777844190 857362432 33203 4294967295 134512640 134569956 3221224368 3221214720 1131161937 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209317 33203 13086 16 0 209301 0
vsize: 837268
[startup+850.058 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 4012
Raw data (stat): 4002 (java) R 4001 25830 25829 0 -1 0 18073 0 1 0 81629 42 0 0 25 0 11 0 777844190 857362432 33312 4294967295 134512640 134569956 3221224368 3221214656 1131253672 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209317 33312 13086 16 0 209301 0
vsize: 837268
[startup+860.059 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 4012
Raw data (stat): 4002 (java) R 4001 25830 25829 0 -1 0 18073 0 1 0 82597 42 0 0 25 0 11 0 777844190 857362432 33467 4294967295 134512640 134569956 3221224368 3221214652 1131201511 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209317 33467 13086 16 0 209301 0
vsize: 837268
[startup+870.059 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 4012
Raw data (stat): 4002 (java) R 4001 25830 25829 0 -1 0 18073 0 1 0 83564 42 0 0 25 0 11 0 777844190 857362432 33570 4294967295 134512640 134569956 3221224368 3221214480 1131247057 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209317 33570 13086 16 0 209301 0
vsize: 837268
[startup+880.059 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 4012
Raw data (stat): 4002 (java) R 4001 25830 25829 0 -1 0 18073 0 1 0 84531 42 0 0 25 0 11 0 777844190 857362432 33764 4294967295 134512640 134569956 3221224368 3221214720 1131161917 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209317 33764 13086 16 0 209301 0
vsize: 837268
[startup+890.059 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 4012
Raw data (stat): 4002 (java) R 4001 25830 25829 0 -1 0 18073 0 1 0 85498 42 0 0 25 0 11 0 777844190 857362432 33906 4294967295 134512640 134569956 3221224368 3221214656 1131253809 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209317 33906 13086 16 0 209301 0
vsize: 837268
[startup+900.059 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 4012
Raw data (stat): 4002 (java) R 4001 25830 25829 0 -1 0 18073 0 1 0 86465 43 0 0 25 0 11 0 777844190 857362432 34084 4294967295 134512640 134569956 3221224368 3221213964 1131220900 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209317 34084 13086 16 0 209301 0
vsize: 837268
[startup+910.061 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 4012
Raw data (stat): 4002 (java) R 4001 25830 25829 0 -1 0 18073 0 1 0 87442 43 0 0 25 0 11 0 777844190 857362432 34236 4294967295 134512640 134569956 3221224368 3221214312 1131436881 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209317 34236 13086 16 0 209301 0
vsize: 837268
[startup+920.062 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 4012
Raw data (stat): 4002 (java) R 4001 25830 25829 0 -1 0 18073 0 1 0 88420 43 0 0 25 0 11 0 777844190 857362432 34323 4294967295 134512640 134569956 3221224368 3221213992 1131514954 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209317 34323 13086 16 0 209301 0
vsize: 837268
[startup+930.061 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 4012
Raw data (stat): 4002 (java) R 4001 25830 25829 0 -1 0 18073 0 1 0 89397 43 0 0 25 0 11 0 777844190 857362432 34439 4294967295 134512640 134569956 3221224368 3221214536 1131225840 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209317 34439 13086 16 0 209301 0
vsize: 837268
[startup+940.062 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 4012
Raw data (stat): 4002 (java) R 4001 25830 25829 0 -1 0 18073 0 1 0 90374 43 0 0 25 0 11 0 777844190 857362432 34553 4294967295 134512640 134569956 3221224368 3221214480 1131247166 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209317 34553 13086 16 0 209301 0
vsize: 837268
[startup+950.062 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 4012
Raw data (stat): 4002 (java) R 4001 25830 25829 0 -1 0 18073 0 1 0 91342 43 0 0 25 0 11 0 777844190 857362432 34734 4294967295 134512640 134569956 3221224368 3221214032 1131436796 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209317 34734 13086 16 0 209301 0
vsize: 837268
[startup+960.062 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 4012
Raw data (stat): 4002 (java) R 4001 25830 25829 0 -1 0 18073 0 1 0 92319 43 0 0 25 0 11 0 777844190 857362432 34798 4294967295 134512640 134569956 3221224368 3221214512 1131217049 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209317 34798 13086 16 0 209301 0
vsize: 837268
[startup+970.063 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 4012
Raw data (stat): 4002 (java) R 4001 25830 25829 0 -1 0 18073 0 1 0 93285 43 0 0 25 0 11 0 777844190 857362432 34977 4294967295 134512640 134569956 3221224368 3221214556 1131450995 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209317 34977 13086 16 0 209301 0
vsize: 837268
[startup+980.063 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 4012
Raw data (stat): 4002 (java) R 4001 25830 25829 0 -1 0 18073 0 1 0 94251 43 0 0 25 0 11 0 777844190 857362432 35160 4294967295 134512640 134569956 3221224368 3221214464 1131443232 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209317 35160 13086 16 0 209301 0
vsize: 837268
[startup+990.064 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 4012
Raw data (stat): 4002 (java) R 4001 25830 25829 0 -1 0 18073 0 1 0 95218 43 0 0 25 0 11 0 777844190 857362432 35328 4294967295 134512640 134569956 3221224368 3221214576 1131272598 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209317 35328 13086 16 0 209301 0
vsize: 837268
[startup+1000.06 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 4012
Raw data (stat): 4002 (java) R 4001 25830 25829 0 -1 0 18073 0 1 0 96184 43 0 0 25 0 11 0 777844190 857362432 35490 4294967295 134512640 134569956 3221224368 3221214576 1131272623 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209317 35490 13086 16 0 209301 0
vsize: 837268
[startup+1010.06 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 4012
Raw data (stat): 4002 (java) R 4001 25830 25829 0 -1 0 18073 0 1 0 97150 43 0 0 25 0 11 0 777844190 857362432 35679 4294967295 134512640 134569956 3221224368 3221214656 1131253809 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209317 35679 13086 16 0 209301 0
vsize: 837268
[startup+1020.07 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 4012
Raw data (stat): 4002 (java) R 4001 25830 25829 0 -1 0 18073 0 1 0 98128 43 0 0 25 0 11 0 777844190 857362432 35797 4294967295 134512640 134569956 3221224368 3221214464 1131444862 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209317 35797 13086 16 0 209301 0
vsize: 837268
[startup+1030.07 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 4012
Raw data (stat): 4002 (java) R 4001 25830 25829 0 -1 0 18073 0 1 0 99093 43 0 0 25 0 11 0 777844190 857362432 35971 4294967295 134512640 134569956 3221224368 3221214312 1131436785 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209317 35971 13086 16 0 209301 0
vsize: 837268
[startup+1040.07 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 4012
Raw data (stat): 4002 (java) R 4001 25830 25829 0 -1 0 18073 0 1 0 100060 43 0 0 25 0 11 0 777844190 857362432 36111 4294967295 134512640 134569956 3221224368 3221213944 1085679762 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209317 36111 13086 16 0 209301 0
vsize: 837268
[startup+1050.07 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 4012
Raw data (stat): 4002 (java) R 4001 25830 25829 0 -1 0 18073 0 1 0 101038 43 0 0 25 0 11 0 777844190 857362432 36250 4294967295 134512640 134569956 3221224368 3221214548 1131274355 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209317 36250 13086 16 0 209301 0
vsize: 837268
[startup+1060.07 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 4012
Raw data (stat): 4002 (java) R 4001 25830 25829 0 -1 0 18073 0 1 0 102005 43 0 0 25 0 11 0 777844190 857362432 36378 4294967295 134512640 134569956 3221224368 3221214472 1131247166 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209317 36378 13086 16 0 209301 0
vsize: 837268
[startup+1070.07 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 4012
Raw data (stat): 4002 (java) R 4001 25830 25829 0 -1 0 18073 0 1 0 102972 43 0 0 25 0 11 0 777844190 857362432 36586 4294967295 134512640 134569956 3221224368 3221214464 1131443465 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209317 36586 13086 16 0 209301 0
vsize: 837268
[startup+1080.07 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 4012
Raw data (stat): 4002 (java) R 4001 25830 25829 0 -1 0 18073 0 1 0 103960 43 0 0 25 0 11 0 777844190 857362432 36651 4294967295 134512640 134569956 3221224368 3221214728 1131274499 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209317 36651 13086 16 0 209301 0
vsize: 837268
[startup+1090.07 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 4012
Raw data (stat): 4002 (java) R 4001 25830 25829 0 -1 0 18073 0 1 0 104927 43 0 0 25 0 11 0 777844190 857362432 36833 4294967295 134512640 134569956 3221224368 3221214728 1131274511 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209317 36833 13086 16 0 209301 0
vsize: 837268
[startup+1100.07 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 4012
Raw data (stat): 4002 (java) R 4001 25830 25829 0 -1 0 18073 0 1 0 105894 43 0 0 25 0 11 0 777844190 857362432 36989 4294967295 134512640 134569956 3221224368 3221213720 1085679372 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209317 36989 13086 16 0 209301 0
vsize: 837268
[startup+1110.07 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 4012
Raw data (stat): 4002 (java) R 4001 25830 25829 0 -1 0 18073 0 1 0 106862 43 0 0 25 0 11 0 777844190 857362432 37156 4294967295 134512640 134569956 3221224368 3221214464 1131442864 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209317 37156 13086 16 0 209301 0
vsize: 837268
[startup+1120.07 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 4012
Raw data (stat): 4002 (java) R 4001 25830 25829 0 -1 0 18073 0 1 0 107829 43 0 0 25 0 11 0 777844190 857362432 37279 4294967295 134512640 134569956 3221224368 3221214576 1131272623 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209317 37279 13086 16 0 209301 0
vsize: 837268
[startup+1130.07 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 4012
Raw data (stat): 4002 (java) R 4001 25830 25829 0 -1 0 18073 0 1 0 108795 43 0 0 25 0 11 0 777844190 857362432 37465 4294967295 134512640 134569956 3221224368 3221214552 1131252774 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209317 37465 13086 16 0 209301 0
vsize: 837268
[startup+1140.07 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 4012
Raw data (stat): 4002 (java) R 4001 25830 25829 0 -1 0 18073 0 1 0 109762 43 0 0 25 0 11 0 777844190 857362432 37632 4294967295 134512640 134569956 3221224368 3221214464 1131444871 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209317 37632 13086 16 0 209301 0
vsize: 837268
[startup+1150.07 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 4012
Raw data (stat): 4002 (java) R 4001 25830 25829 0 -1 0 18073 0 1 0 110729 43 0 0 25 0 11 0 777844190 857362432 37796 4294967295 134512640 134569956 3221224368 3221214656 1131254026 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209317 37796 13086 16 0 209301 0
vsize: 837268
[startup+1160.07 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 4012
Raw data (stat): 4002 (java) R 4001 25830 25829 0 -1 0 18073 0 1 0 111708 43 0 0 25 0 11 0 777844190 857362432 37796 4294967295 134512640 134569956 3221224368 3221213920 1131436817 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209317 37796 13086 16 0 209301 0
vsize: 837268
[startup+1170.07 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 4012
Raw data (stat): 4002 (java) R 4001 25830 25829 0 -1 0 18073 0 1 0 112688 43 0 0 25 0 11 0 777844190 857362432 37844 4294967295 134512640 134569956 3221224368 3221214304 1131220924 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209317 37844 13086 16 0 209301 0
vsize: 837268
[startup+1180.07 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 4012
Raw data (stat): 4002 (java) R 4001 25830 25829 0 -1 0 18073 0 1 0 113666 43 0 0 25 0 11 0 777844190 857362432 37960 4294967295 134512640 134569956 3221224368 3221214472 1131220777 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209317 37960 13086 16 0 209301 0
vsize: 837268
[startup+1190.07 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 4012
Raw data (stat): 4002 (java) R 4001 25830 25829 0 -1 0 18073 0 1 0 114645 43 0 0 25 0 11 0 777844190 857362432 37960 4294967295 134512640 134569956 3221224368 3221214464 1131443364 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209317 37960 13086 16 0 209301 0
vsize: 837268
[startup+1200.07 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 4012
Raw data (stat): 4002 (java) R 4001 25830 25829 0 -1 0 18073 0 1 0 115611 44 0 0 25 0 11 0 777844190 857362432 38161 4294967295 134512640 134569956 3221224368 3221214472 1131247209 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209317 38161 13086 16 0 209301 0
vsize: 837268
[startup+1210.07 s]
Raw data (loadavg): 1.00 1.00 0.96 3/68 4059
Raw data (stat): 4002 (java) R 4001 25830 25829 0 -1 0 18073 0 1 0 116571 48 0 0 25 0 11 0 777844190 857362432 38270 4294967295 134512640 134569956 3221224368 3221214356 1131501836 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209317 38270 13086 16 0 209301 0
vsize: 837268
[startup+1220.07 s]
Raw data (loadavg): 1.07 1.02 0.96 2/64 4065
Raw data (stat): 4002 (java) R 4001 25830 25829 0 -1 0 18073 0 1 0 117545 52 0 0 25 0 11 0 777844190 857362432 38333 4294967295 134512640 134569956 3221224368 3221214552 1131191864 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209317 38333 13086 16 0 209301 0
vsize: 837268
[startup+1230.07 s]
Raw data (loadavg): 1.06 1.02 0.96 2/64 4065
Raw data (stat): 4002 (java) R 4001 25830 25829 0 -1 0 18073 0 1 0 118524 52 0 0 25 0 11 0 777844190 857362432 38395 4294967295 134512640 134569956 3221224368 3221214756 1131162110 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209317 38395 13086 16 0 209301 0
vsize: 837268
[startup+1240.07 s]
Raw data (loadavg): 1.05 1.01 0.96 2/64 4065
Raw data (stat): 4002 (java) R 4001 25830 25829 0 -1 0 18073 0 1 0 119502 52 0 0 25 0 11 0 777844190 857362432 38450 4294967295 134512640 134569956 3221224368 3221214200 1131436817 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209317 38450 13086 16 0 209301 0
vsize: 837268
[startup+1250.07 s]
Raw data (loadavg): 1.04 1.01 0.96 2/64 4065
Raw data (stat): 4002 (java) R 4001 25830 25829 0 -1 0 18073 0 1 0 120490 52 0 0 25 0 11 0 777844190 857362432 38502 4294967295 134512640 134569956 3221224368 3221213992 1131514954 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209317 38502 13086 16 0 209301 0
vsize: 837268
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1250.18 s]
Raw data (loadavg): 1.04 1.01 0.96 1/54 4067
Raw data (stat): 4002 (java) Z 4001 25830 25829 0 -1 1036 18073 19259 1 0 120494 52 4180 42 25 0 1 0 777844190 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): 1250.18
CPU time (s): 1247.71
CPU user time (s): 1246.75
CPU system time (s): 0.957854
CPU usage (%): 99.8023
Max. virtual memory (Kb): 838008
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####