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-fpga15_14_sat_pb.cnf.cr.opb
MD5SUM	6fc7fbb8e05218938564d50faef1e68f
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	16
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.222965
Number of variables	315
Total number of constraints	253
Number of constraints which are clauses	224
Number of constraints which are cardinality constraints (but not clauses)	29
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	7
Maximum length of a constraint	15
Trace number 29050

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc15 THE 2005-05-25 04:39:47 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=20448 boxname=wulflinc15 idbench=38 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  6fc7fbb8e05218938564d50faef1e68f  /oldhome/oroussel/tmp/wulflinc15/normalized-fpga15_14_sat_pb.cnf.cr.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc15/normalized-fpga15_14_sat_pb.cnf.cr.opb
IDLAUNCH: 20448
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 450.999
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 450.999
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:        854336 kB
Buffers:         14932 kB
Cached:         143924 kB
SwapCached:        672 kB
Active:          41012 kB
Inactive:       119928 kB
HighTotal:      131008 kB
HighFree:         7196 kB
LowTotal:       903652 kB
LowFree:        847140 kB
SwapTotal:     2097136 kB
SwapFree:      2095624 kB
Dirty:               4 kB
Writeback:           0 kB
Mapped:           5076 kB
Slab:            13780 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:49 (client local time) WITH STATUS 143 IN 1257.13 SECONDS
stats: 20448 7 1257.13 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/wulflinc15/normalized-fpga15_14_sat_pb.cnf.cr.opb
c reading problem ... done. Time 1.055 ms.
c #vars     315
c #constraints  253
c starts	: 9
c conflicts	: 5663
c decisions	: 15306
c propagations	: 85226
c inspects	: 3784564
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 5662
c root simplifications	: 9
s UNKNOWN
c Total CPU time (ms) : 1259.14
#### 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.96 0.98 0.92 2/54 5018
Raw data (stat): 5018 (runsolver) R 5017 23514 23513 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 777840722 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.05 1.00 0.92 3/64 5028
Raw data (stat): 5018 (java) R 5017 23514 23513 0 -1 0 18071 0 1 0 675 38 0 0 25 0 11 0 777840722 861143040 20624 4294967295 134512640 134569956 3221224368 3221214552 1131218041 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210240 20624 13086 16 0 210224 0
vsize: 840960
[startup+20.0012 s]
Raw data (loadavg): 1.11 1.02 0.93 2/64 5028
Raw data (stat): 5018 (java) R 5017 23514 23513 0 -1 0 18071 0 2 0 1623 39 0 0 25 0 11 0 777840722 859996160 21616 4294967295 134512640 134569956 3221224368 3221214552 1131218096 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209960 21616 13086 16 0 209944 0
vsize: 839840
[startup+30.0024 s]
Raw data (loadavg): 1.10 1.02 0.93 2/64 5028
Raw data (stat): 5018 (java) R 5017 23514 23513 0 -1 0 18071 0 2 0 2591 39 0 0 25 0 11 0 777840722 859996160 22152 4294967295 134512640 134569956 3221224368 3221214672 1131309003 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209960 22152 13086 16 0 209944 0
vsize: 839840
[startup+40.0018 s]
Raw data (loadavg): 1.08 1.01 0.93 2/64 5028
Raw data (stat): 5018 (java) R 5017 23514 23513 0 -1 0 18072 0 2 0 3537 39 0 0 25 0 11 0 777840722 859996160 22550 4294967295 134512640 134569956 3221224368 3221214568 1131235914 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209960 22550 13086 16 0 209944 0
vsize: 839840
[startup+50.0026 s]
Raw data (loadavg): 1.07 1.01 0.93 2/64 5028
Raw data (stat): 5018 (java) R 5017 23514 23513 0 -1 0 18072 0 2 0 4483 39 0 0 25 0 11 0 777840722 859996160 22927 4294967295 134512640 134569956 3221224368 3221214672 1131307071 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209960 22927 13086 16 0 209944 0
vsize: 839840
[startup+60.0029 s]
Raw data (loadavg): 1.06 1.01 0.93 2/64 5028
Raw data (stat): 5018 (java) R 5017 23514 23513 0 -1 0 18072 0 2 0 5439 39 0 0 25 0 11 0 777840722 859996160 23181 4294967295 134512640 134569956 3221224368 3221214760 1131390708 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209960 23181 13086 16 0 209944 0
vsize: 839840
[startup+70.0038 s]
Raw data (loadavg): 1.05 1.01 0.93 2/64 5028
Raw data (stat): 5018 (java) R 5017 23514 23513 0 -1 0 18072 0 2 0 6391 39 0 0 25 0 11 0 777840722 859996160 23614 4294967295 134512640 134569956 3221224368 3221214584 1131225475 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209960 23614 13086 16 0 209944 0
vsize: 839840
[startup+80.0041 s]
Raw data (loadavg): 1.04 1.01 0.93 2/64 5028
Raw data (stat): 5018 (java) R 5017 23514 23513 0 -1 0 18072 0 2 0 7358 39 0 0 25 0 11 0 777840722 859996160 23866 4294967295 134512640 134569956 3221224368 3221214672 1131307905 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209960 23866 13086 16 0 209944 0
vsize: 839840
[startup+90.0043 s]
Raw data (loadavg): 1.03 1.01 0.93 2/64 5028
Raw data (stat): 5018 (java) R 5017 23514 23513 0 -1 0 18072 0 2 0 8323 40 0 0 25 0 11 0 777840722 859996160 24099 4294967295 134512640 134569956 3221224368 3221214272 1131468922 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209960 24099 13086 16 0 209944 0
vsize: 839840
[startup+100.005 s]
Raw data (loadavg): 1.03 1.01 0.93 2/64 5028
Raw data (stat): 5018 (java) R 5017 23514 23513 0 -1 0 18072 0 2 0 9290 40 0 0 25 0 11 0 777840722 859996160 24392 4294967295 134512640 134569956 3221224368 3221214560 1131204867 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209960 24392 13086 16 0 209944 0
vsize: 839840
[startup+110.006 s]
Raw data (loadavg): 1.02 1.01 0.93 2/64 5028
Raw data (stat): 5018 (java) R 5017 23514 23513 0 -1 0 18072 0 2 0 10259 40 0 0 25 0 11 0 777840722 859996160 24505 4294967295 134512640 134569956 3221224368 3221214432 1131471406 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209960 24505 13086 16 0 209944 0
vsize: 839840
[startup+120.015 s]
Raw data (loadavg): 1.02 1.01 0.93 2/64 5028
Raw data (stat): 5018 (java) R 5017 23514 23513 0 -1 0 18072 0 2 0 11216 40 0 0 25 0 11 0 777840722 859996160 24814 4294967295 134512640 134569956 3221224368 3221214544 1131236247 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209960 24814 13086 16 0 209944 0
vsize: 839840
[startup+130.016 s]
Raw data (loadavg): 1.02 1.01 0.93 2/64 5028
Raw data (stat): 5018 (java) R 5017 23514 23513 0 -1 0 18072 0 2 0 12172 41 0 0 25 0 11 0 777840722 859996160 25059 4294967295 134512640 134569956 3221224368 3221214504 1131410012 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209960 25059 13086 16 0 209944 0
vsize: 839840
[startup+140.015 s]
Raw data (loadavg): 1.01 1.00 0.93 2/64 5028
Raw data (stat): 5018 (java) R 5017 23514 23513 0 -1 0 18072 0 2 0 13129 41 0 0 25 0 11 0 777840722 859996160 25260 4294967295 134512640 134569956 3221224368 3221214400 1131520835 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209960 25260 13086 16 0 209944 0
vsize: 839840
[startup+150.016 s]
Raw data (loadavg): 1.01 1.00 0.93 2/64 5028
Raw data (stat): 5018 (java) R 5017 23514 23513 0 -1 0 18072 0 2 0 14074 41 0 0 25 0 11 0 777840722 859996160 25499 4294967295 134512640 134569956 3221224368 3221214544 1131235741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209960 25499 13086 16 0 209944 0
vsize: 839840
[startup+160.017 s]
Raw data (loadavg): 1.01 1.00 0.93 2/64 5028
Raw data (stat): 5018 (java) R 5017 23514 23513 0 -1 0 18072 0 2 0 15032 42 0 0 25 0 11 0 777840722 859996160 25629 4294967295 134512640 134569956 3221224368 3221214648 1131307032 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209960 25629 13086 16 0 209944 0
vsize: 839840
[startup+170.017 s]
Raw data (loadavg): 1.01 1.00 0.93 2/64 5028
Raw data (stat): 5018 (java) R 5017 23514 23513 0 -1 0 18072 0 2 0 15991 42 0 0 25 0 11 0 777840722 859996160 25751 4294967295 134512640 134569956 3221224368 3221214648 1131307071 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209960 25751 13086 16 0 209944 0
vsize: 839840
[startup+180.018 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 5028
Raw data (stat): 5018 (java) R 5017 23514 23513 0 -1 0 18072 0 2 0 16940 42 0 0 25 0 11 0 777840722 859996160 25953 4294967295 134512640 134569956 3221224368 3221214308 1131410496 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209960 25953 13086 16 0 209944 0
vsize: 839840
[startup+190.019 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 5028
Raw data (stat): 5018 (java) R 5017 23514 23513 0 -1 0 18072 0 2 0 17888 42 0 0 25 0 11 0 777840722 859996160 26149 4294967295 134512640 134569956 3221224368 3221214552 1131199827 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209960 26149 13086 16 0 209944 0
vsize: 839840
[startup+200.019 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 5028
Raw data (stat): 5018 (java) R 5017 23514 23513 0 -1 0 18072 0 2 0 18836 42 0 0 25 0 11 0 777840722 859996160 26290 4294967295 134512640 134569956 3221224368 3221214540 1131201312 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209960 26290 13086 16 0 209944 0
vsize: 839840
[startup+210.019 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 5028
Raw data (stat): 5018 (java) R 5017 23514 23513 0 -1 0 18072 0 2 0 19794 43 0 0 25 0 11 0 777840722 859996160 26418 4294967295 134512640 134569956 3221224368 3221214192 1131469001 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209960 26418 13086 16 0 209944 0
vsize: 839840
[startup+220.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 5028
Raw data (stat): 5018 (java) R 5017 23514 23513 0 -1 0 18072 0 2 0 20763 43 0 0 25 0 11 0 777840722 859996160 26514 4294967295 134512640 134569956 3221224368 3221214464 1131335637 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209960 26514 13086 16 0 209944 0
vsize: 839840
[startup+230.019 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 5028
Raw data (stat): 5018 (java) R 5017 23514 23513 0 -1 0 18072 0 2 0 21720 44 0 0 25 0 11 0 777840722 859996160 26664 4294967295 134512640 134569956 3221224368 3221214544 1131236768 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209960 26664 13086 16 0 209944 0
vsize: 839840
[startup+240.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 5028
Raw data (stat): 5018 (java) R 5017 23514 23513 0 -1 0 18072 0 2 0 22676 44 0 0 25 0 11 0 777840722 859996160 26900 4294967295 134512640 134569956 3221224368 3221214312 1131467197 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209960 26900 13086 16 0 209944 0
vsize: 839840
[startup+250.021 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 5028
Raw data (stat): 5018 (java) R 5017 23514 23513 0 -1 0 18072 0 2 0 23632 44 0 0 25 0 11 0 777840722 859996160 27073 4294967295 134512640 134569956 3221224368 3221214216 1131411464 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209960 27073 13086 16 0 209944 0
vsize: 839840
[startup+260.021 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 5028
Raw data (stat): 5018 (java) R 5017 23514 23513 0 -1 0 18072 0 2 0 24599 45 0 0 25 0 11 0 777840722 859996160 27201 4294967295 134512640 134569956 3221224368 3221214544 1131236416 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209960 27201 13086 16 0 209944 0
vsize: 839840
[startup+270.022 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 5028
Raw data (stat): 5018 (java) R 5017 23514 23513 0 -1 0 18072 0 2 0 25564 45 0 0 25 0 11 0 777840722 859996160 27414 4294967295 134512640 134569956 3221224368 3221214384 1131409988 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209960 27414 13086 16 0 209944 0
vsize: 839840
[startup+280.023 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 5028
Raw data (stat): 5018 (java) R 5017 23514 23513 0 -1 0 18072 0 2 0 26521 46 0 0 25 0 11 0 777840722 859996160 27586 4294967295 134512640 134569956 3221224368 3221214544 1131218130 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209960 27586 13086 16 0 209944 0
vsize: 839840
[startup+290.023 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 5028
Raw data (stat): 5018 (java) R 5017 23514 23513 0 -1 0 18072 0 2 0 27490 46 0 0 25 0 11 0 777840722 859996160 27706 4294967295 134512640 134569956 3221224368 3221214544 1131236319 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209960 27706 13086 16 0 209944 0
vsize: 839840
[startup+300.024 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 5028
Raw data (stat): 5018 (java) R 5017 23514 23513 0 -1 0 18072 0 2 0 28448 46 0 0 25 0 11 0 777840722 859996160 27840 4294967295 134512640 134569956 3221224368 3221214140 1131410064 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209960 27840 13086 16 0 209944 0
vsize: 839840
[startup+310.025 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 5028
Raw data (stat): 5018 (java) R 5017 23514 23513 0 -1 0 18072 0 2 0 29415 46 0 0 25 0 11 0 777840722 859996160 28013 4294967295 134512640 134569956 3221224368 3221214512 1131211272 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209960 28013 13086 16 0 209944 0
vsize: 839840
[startup+320.025 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 5028
Raw data (stat): 5018 (java) R 5017 23514 23513 0 -1 0 18072 0 2 0 30383 46 0 0 25 0 11 0 777840722 859996160 28131 4294967295 134512640 134569956 3221224368 3221214544 1131236288 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209960 28131 13086 16 0 209944 0
vsize: 839840
[startup+330.026 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 5028
Raw data (stat): 5018 (java) R 5017 23514 23513 0 -1 0 18072 0 2 0 31340 47 0 0 25 0 11 0 777840722 859996160 28309 4294967295 134512640 134569956 3221224368 3221214376 1131443974 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209960 28309 13086 16 0 209944 0
vsize: 839840
[startup+340.026 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 5028
Raw data (stat): 5018 (java) R 5017 23514 23513 0 -1 0 18072 0 2 0 32286 47 0 0 25 0 11 0 777840722 859996160 28474 4294967295 134512640 134569956 3221224368 3221214296 1085679272 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209960 28474 13086 16 0 209944 0
vsize: 839840
[startup+350.026 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 5028
Raw data (stat): 5018 (java) R 5017 23514 23513 0 -1 0 18072 0 2 0 33234 47 0 0 25 0 11 0 777840722 859996160 28599 4294967295 134512640 134569956 3221224368 3221214464 1131335788 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209960 28599 13086 16 0 209944 0
vsize: 839840
[startup+360.027 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 5028
Raw data (stat): 5018 (java) R 5017 23514 23513 0 -1 0 18072 0 2 0 34192 47 0 0 25 0 11 0 777840722 859996160 28760 4294967295 134512640 134569956 3221224368 3221214544 1131236775 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209960 28760 13086 16 0 209944 0
vsize: 839840
[startup+370.027 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 5028
Raw data (stat): 5018 (java) R 5017 23514 23513 0 -1 0 18072 0 2 0 35149 47 0 0 25 0 11 0 777840722 859996160 28910 4294967295 134512640 134569956 3221224368 3221214264 1131410065 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209960 28910 13086 16 0 209944 0
vsize: 839840
[startup+380.028 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 5028
Raw data (stat): 5018 (java) R 5017 23514 23513 0 -1 0 18072 0 2 0 36108 47 0 0 25 0 11 0 777840722 859996160 28997 4294967295 134512640 134569956 3221224368 3221214824 1131404877 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209960 28997 13086 16 0 209944 0
vsize: 839840
[startup+390.028 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 5028
Raw data (stat): 5018 (java) R 5017 23514 23513 0 -1 0 18072 0 2 0 37055 48 0 0 25 0 11 0 777840722 859996160 29128 4294967295 134512640 134569956 3221224368 3221213980 1131410064 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209960 29128 13086 16 0 209944 0
vsize: 839840
[startup+400.028 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 5028
Raw data (stat): 5018 (java) R 5017 23514 23513 0 -1 0 18072 0 2 0 38022 48 0 0 25 0 11 0 777840722 859996160 29276 4294967295 134512640 134569956 3221224368 3221214648 1131307992 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209960 29276 13086 16 0 209944 0
vsize: 839840
[startup+410.029 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 5028
Raw data (stat): 5018 (java) R 5017 23514 23513 0 -1 0 18072 0 2 0 38989 48 0 0 25 0 11 0 777840722 859996160 29397 4294967295 134512640 134569956 3221224368 3221214648 1131307064 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209960 29397 13086 16 0 209944 0
vsize: 839840
[startup+420.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 5028
Raw data (stat): 5018 (java) R 5017 23514 23513 0 -1 0 18072 0 2 0 39957 48 0 0 25 0 11 0 777840722 859996160 29478 4294967295 134512640 134569956 3221224368 3221214748 1130917559 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209960 29478 13086 16 0 209944 0
vsize: 839840
[startup+430.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 5028
Raw data (stat): 5018 (java) R 5017 23514 23513 0 -1 0 18072 0 2 0 40935 49 0 0 25 0 11 0 777840722 859996160 29529 4294967295 134512640 134569956 3221224368 3221214544 1131236199 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209960 29529 13086 16 0 209944 0
vsize: 839840
[startup+440.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 5028
Raw data (stat): 5018 (java) R 5017 23514 23513 0 -1 0 18072 0 2 0 41902 49 0 0 25 0 11 0 777840722 859996160 29672 4294967295 134512640 134569956 3221224368 3221214648 1131308021 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209960 29672 13086 16 0 209944 0
vsize: 839840
[startup+450.031 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 5028
Raw data (stat): 5018 (java) R 5017 23514 23513 0 -1 0 18072 0 2 0 42847 49 0 0 25 0 11 0 777840722 859996160 29840 4294967295 134512640 134569956 3221224368 3221214544 1131235932 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209960 29840 13086 16 0 209944 0
vsize: 839840
[startup+460.031 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 5028
Raw data (stat): 5018 (java) R 5017 23514 23513 0 -1 0 18072 0 2 0 43795 50 0 0 25 0 11 0 777840722 859996160 29982 4294967295 134512640 134569956 3221224368 3221214544 1131236430 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209960 29982 13086 16 0 209944 0
vsize: 839840
[startup+470.033 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 5028
Raw data (stat): 5018 (java) R 5017 23514 23513 0 -1 0 18072 0 2 0 44750 50 0 0 25 0 11 0 777840722 859996160 30133 4294967295 134512640 134569956 3221224368 3221214464 1131336513 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209960 30133 13086 16 0 209944 0
vsize: 839840
[startup+480.033 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 5028
Raw data (stat): 5018 (java) R 5017 23514 23513 0 -1 0 18072 0 2 0 45696 51 0 0 25 0 11 0 777840722 859996160 30269 4294967295 134512640 134569956 3221224368 3221214552 1131204844 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209960 30269 13086 16 0 209944 0
vsize: 839840
[startup+490.034 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 5028
Raw data (stat): 5018 (java) R 5017 23514 23513 0 -1 0 18072 0 2 0 46642 51 0 0 25 0 11 0 777840722 859996160 30370 4294967295 134512640 134569956 3221224368 3221214552 1131204873 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209960 30370 13086 16 0 209944 0
vsize: 839840
[startup+500.035 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 5028
Raw data (stat): 5018 (java) R 5017 23514 23513 0 -1 0 18072 0 2 0 47589 51 0 0 25 0 11 0 777840722 859996160 30484 4294967295 134512640 134569956 3221224368 3221214544 1131236199 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209960 30484 13086 16 0 209944 0
vsize: 839840
[startup+510.036 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 5028
Raw data (stat): 5018 (java) S 5017 23514 23513 0 -1 0 18072 0 2 0 48543 52 0 0 25 0 11 0 777840722 859996160 30625 4294967295 134512640 134569956 3221224368 3221213288 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209960 30625 13086 16 0 209944 0
vsize: 839840
[startup+520.037 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 5028
Raw data (stat): 5018 (java) R 5017 23514 23513 0 -1 0 18072 0 2 0 49494 52 0 0 24 0 11 0 777840722 859996160 30816 4294967295 134512640 134569956 3221224368 3221213952 1131470552 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209960 30816 13086 16 0 209944 0
vsize: 839840
[startup+530.044 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 5028
Raw data (stat): 5018 (java) R 5017 23514 23513 0 -1 0 18072 0 2 0 50456 53 0 0 25 0 11 0 777840722 859996160 30910 4294967295 134512640 134569956 3221224368 3221214544 1131236199 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209960 30910 13086 16 0 209944 0
vsize: 839840
[startup+540.053 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 5028
Raw data (stat): 5018 (java) R 5017 23514 23513 0 -1 0 18072 0 2 0 51408 53 0 0 25 0 11 0 777840722 859996160 31047 4294967295 134512640 134569956 3221224368 3221214544 1131236199 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209960 31047 13086 16 0 209944 0
vsize: 839840
[startup+550.054 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 5028
Raw data (stat): 5018 (java) R 5017 23514 23513 0 -1 0 18072 0 2 0 52369 54 0 0 25 0 11 0 777840722 859996160 31153 4294967295 134512640 134569956 3221224368 3221214264 1131410040 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209960 31153 13086 16 0 209944 0
vsize: 839840
[startup+560.055 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 5028
Raw data (stat): 5018 (java) R 5017 23514 23513 0 -1 0 18072 0 2 0 53318 54 0 0 25 0 11 0 777840722 859996160 31285 4294967295 134512640 134569956 3221224368 3221214508 1130885175 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209960 31285 13086 16 0 209944 0
vsize: 839840
[startup+570.057 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 5028
Raw data (stat): 5018 (java) R 5017 23514 23513 0 -1 0 18072 0 2 0 54265 54 0 0 25 0 11 0 777840722 859996160 31409 4294967295 134512640 134569956 3221224368 3221214472 1131255135 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209960 31409 13086 16 0 209944 0
vsize: 839840
[startup+580.057 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 5028
Raw data (stat): 5018 (java) R 5017 23514 23513 0 -1 0 18072 0 2 0 55214 54 0 0 25 0 11 0 777840722 859996160 31575 4294967295 134512640 134569956 3221224368 3221213936 1085679313 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209960 31575 13086 16 0 209944 0
vsize: 839840
[startup+590.057 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 5028
Raw data (stat): 5018 (java) R 5017 23514 23513 0 -1 0 18072 0 2 0 56163 55 0 0 25 0 11 0 777840722 859996160 31668 4294967295 134512640 134569956 3221224368 3221214424 1131469850 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209960 31668 13086 16 0 209944 0
vsize: 839840
[startup+600.057 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 5028
Raw data (stat): 5018 (java) R 5017 23514 23513 0 -1 0 18072 0 2 0 57110 55 0 0 25 0 11 0 777840722 859996160 31795 4294967295 134512640 134569956 3221224368 3221214544 1131236171 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209960 31795 13086 16 0 209944 0
vsize: 839840
[startup+610.058 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 5028
Raw data (stat): 5018 (java) R 5017 23514 23513 0 -1 0 18072 0 2 0 58067 55 0 0 25 0 11 0 777840722 859996160 31919 4294967295 134512640 134569956 3221224368 3221214460 1131234796 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209960 31919 13086 16 0 209944 0
vsize: 839840
[startup+620.059 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 5028
Raw data (stat): 5018 (java) R 5017 23514 23513 0 -1 0 18072 0 2 0 59014 56 0 0 25 0 11 0 777840722 859996160 32081 4294967295 134512640 134569956 3221224368 3221214824 1131404612 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209960 32081 13086 16 0 209944 0
vsize: 839840
[startup+630.059 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 5028
Raw data (stat): 5018 (java) R 5017 23514 23513 0 -1 0 18072 0 2 0 59964 56 0 0 25 0 11 0 777840722 859996160 32246 4294967295 134512640 134569956 3221224368 3221214544 1131236199 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209960 32246 13086 16 0 209944 0
vsize: 839840
[startup+640.061 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 5028
Raw data (stat): 5018 (java) R 5017 23514 23513 0 -1 0 18072 0 2 0 60915 56 0 0 25 0 11 0 777840722 859996160 32362 4294967295 134512640 134569956 3221224368 3221214472 1131255259 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209960 32362 13086 16 0 209944 0
vsize: 839840
[startup+650.062 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 5028
Raw data (stat): 5018 (java) S 5017 23514 23513 0 -1 0 18072 0 2 0 61876 57 0 0 25 0 11 0 777840722 859996160 32452 4294967295 134512640 134569956 3221224368 3221213416 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209960 32452 13086 16 0 209944 0
vsize: 839840
[startup+660.062 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 5028
Raw data (stat): 5018 (java) R 5017 23514 23513 0 -1 0 18072 0 2 0 62830 57 0 0 25 0 11 0 777840722 859996160 32597 4294967295 134512640 134569956 3221224368 3221214544 1131236171 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209960 32597 13086 16 0 209944 0
vsize: 839840
[startup+670.063 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 5028
Raw data (stat): 5018 (java) R 5017 23514 23513 0 -1 0 18072 0 2 0 63787 58 0 0 25 0 11 0 777840722 859996160 32741 4294967295 134512640 134569956 3221224368 3221214032 1131411242 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209960 32741 13086 16 0 209944 0
vsize: 839840
[startup+680.065 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 5028
Raw data (stat): 5018 (java) R 5017 23514 23513 0 -1 0 18072 0 2 0 64754 58 0 0 25 0 11 0 777840722 859996160 32838 4294967295 134512640 134569956 3221224368 3221214544 1131218130 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209960 32838 13086 16 0 209944 0
vsize: 839840
[startup+690.064 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 5028
Raw data (stat): 5018 (java) R 5017 23514 23513 0 -1 0 18072 0 2 0 65712 58 0 0 25 0 11 0 777840722 859996160 32966 4294967295 134512640 134569956 3221224368 3221214648 1131308153 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209960 32966 13086 16 0 209944 0
vsize: 839840
[startup+700.066 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 5028
Raw data (stat): 5018 (java) S 5017 23514 23513 0 -1 0 18072 0 2 0 66664 59 0 0 25 0 11 0 777840722 859996160 33083 4294967295 134512640 134569956 3221224368 3221213248 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209960 33083 13086 16 0 209944 0
vsize: 839840
[startup+710.067 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 5028
Raw data (stat): 5018 (java) R 5017 23514 23513 0 -1 0 18072 0 2 0 67629 59 0 0 25 0 11 0 777840722 859996160 33184 4294967295 134512640 134569956 3221224368 3221214544 1131218096 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209960 33184 13086 16 0 209944 0
vsize: 839840
[startup+720.067 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 5028
Raw data (stat): 5018 (java) R 5017 23514 23513 0 -1 0 18072 0 2 0 68587 59 0 0 25 0 11 0 777840722 859996160 33270 4294967295 134512640 134569956 3221224368 3221214544 1131236798 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209960 33270 13086 16 0 209944 0
vsize: 839840
[startup+730.067 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 5028
Raw data (stat): 5018 (java) R 5017 23514 23513 0 -1 0 18072 0 2 0 69546 59 0 0 25 0 11 0 777840722 859996160 33358 4294967295 134512640 134569956 3221224368 3221214568 1131288010 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209960 33358 13086 16 0 209944 0
vsize: 839840
[startup+740.068 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 5028
Raw data (stat): 5018 (java) R 5017 23514 23513 0 -1 0 18072 0 2 0 70512 59 0 0 25 0 11 0 777840722 859996160 33456 4294967295 134512640 134569956 3221224368 3221214544 1131236199 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209960 33456 13086 16 0 209944 0
vsize: 839840
[startup+750.069 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 5028
Raw data (stat): 5018 (java) R 5017 23514 23513 0 -1 0 18072 0 2 0 71470 60 0 0 23 0 11 0 777840722 859996160 33590 4294967295 134512640 134569956 3221224368 3221214772 1131229856 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209960 33590 13086 16 0 209944 0
vsize: 839840
[startup+760.069 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 5028
Raw data (stat): 5018 (java) R 5017 23514 23513 0 -1 0 18072 0 2 0 72430 60 0 0 25 0 11 0 777840722 859996160 33692 4294967295 134512640 134569956 3221224368 3221214416 1085679762 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209960 33692 13086 16 0 209944 0
vsize: 839840
[startup+770.071 s]
Raw data (loadavg): 1.08 1.02 0.94 2/64 5028
Raw data (stat): 5018 (java) S 5017 23514 23513 0 -1 0 18072 0 2 0 73393 60 0 0 25 0 11 0 777840722 859996160 33767 4294967295 134512640 134569956 3221224368 3221213288 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209960 33767 13086 16 0 209944 0
vsize: 839840
[startup+780.072 s]
Raw data (loadavg): 1.07 1.02 0.94 2/64 5028
Raw data (stat): 5018 (java) R 5017 23514 23513 0 -1 0 18072 0 2 0 74357 61 0 0 25 0 11 0 777840722 859996160 33884 4294967295 134512640 134569956 3221224368 3221214264 1131409922 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209960 33884 13086 16 0 209944 0
vsize: 839840
[startup+790.072 s]
Raw data (loadavg): 1.06 1.01 0.94 2/64 5028
Raw data (stat): 5018 (java) R 5017 23514 23513 0 -1 0 18072 0 2 0 75318 61 0 0 25 0 11 0 777840722 859996160 33972 4294967295 134512640 134569956 3221224368 3221214472 1131255608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209960 33972 13086 16 0 209944 0
vsize: 839840
[startup+800.073 s]
Raw data (loadavg): 1.05 1.01 0.94 2/64 5028
Raw data (stat): 5018 (java) R 5017 23514 23513 0 -1 0 18072 0 2 0 76280 61 0 0 25 0 11 0 777840722 859996160 34074 4294967295 134512640 134569956 3221224368 3221214552 1131204880 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209960 34074 13086 16 0 209944 0
vsize: 839840
[startup+810.073 s]
Raw data (loadavg): 1.04 1.01 0.94 2/64 5028
Raw data (stat): 5018 (java) R 5017 23514 23513 0 -1 0 18072 0 2 0 77242 62 0 0 24 0 11 0 777840722 859996160 34176 4294967295 134512640 134569956 3221224368 3221214552 1131204818 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209960 34176 13086 16 0 209944 0
vsize: 839840
[startup+820.075 s]
Raw data (loadavg): 1.03 1.01 0.94 2/64 5028
Raw data (stat): 5018 (java) R 5017 23514 23513 0 -1 0 18072 0 2 0 78218 62 0 0 25 0 11 0 777840722 859996160 34238 4294967295 134512640 134569956 3221224368 3221214544 1131236344 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209960 34238 13086 16 0 209944 0
vsize: 839840
[startup+830.075 s]
Raw data (loadavg): 1.03 1.01 0.94 2/64 5028
Raw data (stat): 5018 (java) R 5017 23514 23513 0 -1 0 18072 0 2 0 79178 62 0 0 25 0 11 0 777840722 859996160 34346 4294967295 134512640 134569956 3221224368 3221214464 1131335693 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209960 34346 13086 16 0 209944 0
vsize: 839840
[startup+840.075 s]
Raw data (loadavg): 1.02 1.01 0.94 2/64 5028
Raw data (stat): 5018 (java) R 5017 23514 23513 0 -1 0 18072 0 2 0 80138 62 0 0 25 0 11 0 777840722 859996160 34421 4294967295 134512640 134569956 3221224368 3221214544 1131236017 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209960 34421 13086 16 0 209944 0
vsize: 839840
[startup+850.076 s]
Raw data (loadavg): 1.02 1.01 0.94 2/64 5028
Raw data (stat): 5018 (java) R 5017 23514 23513 0 -1 0 18072 0 2 0 81098 62 0 0 25 0 11 0 777840722 859996160 34518 4294967295 134512640 134569956 3221224368 3221213864 1131410065 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209960 34518 13086 16 0 209944 0
vsize: 839840
[startup+860.077 s]
Raw data (loadavg): 1.02 1.01 0.94 2/64 5028
Raw data (stat): 5018 (java) R 5017 23514 23513 0 -1 0 18072 0 2 0 82058 63 0 0 25 0 11 0 777840722 859996160 34596 4294967295 134512640 134569956 3221224368 3221214380 1131410059 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209960 34596 13086 16 0 209944 0
vsize: 839840
[startup+870.077 s]
Raw data (loadavg): 1.01 1.01 0.94 2/64 5028
Raw data (stat): 5018 (java) R 5017 23514 23513 0 -1 0 18072 0 2 0 83019 63 0 0 25 0 11 0 777840722 859996160 34689 4294967295 134512640 134569956 3221224368 3221214108 1085679260 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209960 34689 13086 16 0 209944 0
vsize: 839840
[startup+880.077 s]
Raw data (loadavg): 1.01 1.01 0.94 2/64 5028
Raw data (stat): 5018 (java) R 5017 23514 23513 0 -1 0 18072 0 2 0 83981 63 0 0 25 0 11 0 777840722 859996160 34810 4294967295 134512640 134569956 3221224368 3221214384 1131409932 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209960 34810 13086 16 0 209944 0
vsize: 839840
[startup+890.08 s]
Raw data (loadavg): 1.01 1.00 0.94 2/64 5028
Raw data (stat): 5018 (java) R 5017 23514 23513 0 -1 0 18072 0 2 0 84952 64 0 0 25 0 11 0 777840722 859996160 34925 4294967295 134512640 134569956 3221224368 3221214536 1131211712 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209960 34925 13086 16 0 209944 0
vsize: 839840
[startup+900.081 s]
Raw data (loadavg): 1.01 1.00 0.94 2/64 5028
Raw data (stat): 5018 (java) R 5017 23514 23513 0 -1 0 18072 0 2 0 85932 64 0 0 25 0 11 0 777840722 859996160 34974 4294967295 134512640 134569956 3221224368 3221214032 1131411439 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209960 34974 13086 16 0 209944 0
vsize: 839840
[startup+910.081 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 5028
Raw data (stat): 5018 (java) R 5017 23514 23513 0 -1 0 18072 0 2 0 86895 64 0 0 25 0 11 0 777840722 859996160 35089 4294967295 134512640 134569956 3221224368 3221214260 1131410064 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209960 35089 13086 16 0 209944 0
vsize: 839840
[startup+920.083 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 5028
Raw data (stat): 5018 (java) R 5017 23514 23513 0 -1 0 18072 0 2 0 87870 65 0 0 25 0 11 0 777840722 859996160 35144 4294967295 134512640 134569956 3221224368 3221214528 1131219684 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209960 35144 13086 16 0 209944 0
vsize: 839840
[startup+930.083 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 5028
Raw data (stat): 5018 (java) R 5017 23514 23513 0 -1 0 18072 0 2 0 88839 65 0 0 25 0 11 0 777840722 859996160 35228 4294967295 134512640 134569956 3221224368 3221214528 1131413618 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209960 35228 13086 16 0 209944 0
vsize: 839840
[startup+940.083 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 5028
Raw data (stat): 5018 (java) S 5017 23514 23513 0 -1 0 18072 0 2 0 89801 66 0 0 25 0 11 0 777840722 859996160 35326 4294967295 134512640 134569956 3221224368 3221213288 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209960 35326 13086 16 0 209944 0
vsize: 839840
[startup+950.084 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 5028
Raw data (stat): 5018 (java) R 5017 23514 23513 0 -1 0 18072 0 2 0 90773 66 0 0 25 0 11 0 777840722 859996160 35366 4294967295 134512640 134569956 3221224368 3221214264 1131410012 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209960 35366 13086 16 0 209944 0
vsize: 839840
[startup+960.085 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 5028
Raw data (stat): 5018 (java) R 5017 23514 23513 0 -1 0 18072 0 2 0 91732 66 0 0 25 0 11 0 777840722 859996160 35444 4294967295 134512640 134569956 3221224368 3221214544 1131235831 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209960 35444 13086 16 0 209944 0
vsize: 839840
[startup+970.086 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 5028
Raw data (stat): 5018 (java) R 5017 23514 23513 0 -1 0 18072 0 2 0 92697 67 0 0 25 0 11 0 777840722 859996160 35504 4294967295 134512640 134569956 3221224368 3221214648 1131307071 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209960 35504 13086 16 0 209944 0
vsize: 839840
[startup+980.087 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 5028
Raw data (stat): 5018 (java) R 5017 23514 23513 0 -1 0 18072 0 2 0 93656 67 0 0 25 0 11 0 777840722 859996160 35610 4294967295 134512640 134569956 3221224368 3221214072 1131471336 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209960 35610 13086 16 0 209944 0
vsize: 839840
[startup+990.087 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 5028
Raw data (stat): 5018 (java) R 5017 23514 23513 0 -1 0 18072 0 2 0 94621 67 0 0 25 0 11 0 777840722 859996160 35705 4294967295 134512640 134569956 3221224368 3221213952 1131465734 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209960 35705 13086 16 0 209944 0
vsize: 839840
[startup+1000.09 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 5028
Raw data (stat): 5018 (java) R 5017 23514 23513 0 -1 0 18072 0 2 0 95588 67 0 0 25 0 11 0 777840722 859996160 35783 4294967295 134512640 134569956 3221224368 3221214464 1131255311 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209960 35783 13086 16 0 209944 0
vsize: 839840
[startup+1010.09 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 5028
Raw data (stat): 5018 (java) R 5017 23514 23513 0 -1 0 18072 0 2 0 96555 67 0 0 25 0 11 0 777840722 859996160 35881 4294967295 134512640 134569956 3221224368 3221214460 1131234784 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209960 35881 13086 16 0 209944 0
vsize: 839840
[startup+1020.09 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 5028
Raw data (stat): 5018 (java) R 5017 23514 23513 0 -1 0 18072 0 2 0 97534 67 0 0 25 0 11 0 777840722 859996160 35920 4294967295 134512640 134569956 3221224368 3221214544 1131236792 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209960 35920 13086 16 0 209944 0
vsize: 839840
[startup+1030.09 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 5028
Raw data (stat): 5018 (java) R 5017 23514 23513 0 -1 0 18072 0 2 0 98506 68 0 0 25 0 11 0 777840722 859996160 35974 4294967295 134512640 134569956 3221224368 3221214312 1131469702 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209960 35974 13086 16 0 209944 0
vsize: 839840
[startup+1040.09 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 5028
Raw data (stat): 5018 (java) R 5017 23514 23513 0 -1 0 18072 0 2 0 99469 68 0 0 25 0 11 0 777840722 859996160 36052 4294967295 134512640 134569956 3221224368 3221214024 1131410092 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209960 36052 13086 16 0 209944 0
vsize: 839840
[startup+1050.09 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 5028
Raw data (stat): 5018 (java) R 5017 23514 23513 0 -1 0 18072 0 2 0 100446 69 0 0 25 0 11 0 777840722 859996160 36096 4294967295 134512640 134569956 3221224368 3221214548 1131211728 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209960 36096 13086 16 0 209944 0
vsize: 839840
[startup+1060.09 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 5028
Raw data (stat): 5018 (java) R 5017 23514 23513 0 -1 0 18072 0 2 0 101429 69 0 0 25 0 11 0 777840722 859996160 36124 4294967295 134512640 134569956 3221224368 3221214544 1131235741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209960 36124 13086 16 0 209944 0
vsize: 839840
[startup+1070.09 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 5028
Raw data (stat): 5018 (java) R 5017 23514 23513 0 -1 0 18072 0 2 0 102393 69 0 0 25 0 11 0 777840722 859996160 36189 4294967295 134512640 134569956 3221224368 3221213864 1131410012 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209960 36189 13086 16 0 209944 0
vsize: 839840
[startup+1080.09 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 5028
Raw data (stat): 5018 (java) R 5017 23514 23513 0 -1 0 18072 0 2 0 103366 69 0 0 25 0 11 0 777840722 859996160 36235 4294967295 134512640 134569956 3221224368 3221214264 1131410065 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209960 36235 13086 16 0 209944 0
vsize: 839840
[startup+1090.09 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 5028
Raw data (stat): 5018 (java) R 5017 23514 23513 0 -1 0 18072 0 2 0 104357 70 0 0 25 0 11 0 777840722 859996160 36248 4294967295 134512640 134569956 3221224368 3221214256 1085632273 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209960 36248 13086 16 0 209944 0
vsize: 839840
[startup+1100.1 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 5028
Raw data (stat): 5018 (java) R 5017 23514 23513 0 -1 0 18072 0 2 0 105327 70 0 0 25 0 11 0 777840722 859996160 36282 4294967295 134512640 134569956 3221224368 3221214464 1131255206 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209960 36282 13086 16 0 209944 0
vsize: 839840
[startup+1110.1 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 5028
Raw data (stat): 5018 (java) R 5017 23514 23513 0 -1 0 18072 0 2 0 106316 70 0 0 25 0 11 0 777840722 859996160 36300 4294967295 134512640 134569956 3221224368 3221214024 1131410058 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209960 36300 13086 16 0 209944 0
vsize: 839840
[startup+1120.1 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 5028
Raw data (stat): 5018 (java) R 5017 23514 23513 0 -1 0 18072 0 2 0 107294 70 0 0 25 0 11 0 777840722 859996160 36353 4294967295 134512640 134569956 3221224368 3221213980 1131410064 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209960 36353 13086 16 0 209944 0
vsize: 839840
[startup+1130.1 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 5028
Raw data (stat): 5018 (java) R 5017 23514 23513 0 -1 0 18072 0 2 0 108272 70 0 0 25 0 11 0 777840722 859996160 36412 4294967295 134512640 134569956 3221224368 3221214144 1131410044 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209960 36412 13086 16 0 209944 0
vsize: 839840
[startup+1140.1 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 5028
Raw data (stat): 5018 (java) R 5017 23514 23513 0 -1 0 18072 0 2 0 109260 70 0 0 25 0 11 0 777840722 859996160 36448 4294967295 134512640 134569956 3221224368 3221214112 1085632301 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209960 36448 13086 16 0 209944 0
vsize: 839840
[startup+1150.1 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 5028
Raw data (stat): 5018 (java) R 5017 23514 23513 0 -1 0 18072 0 2 0 110236 70 0 0 25 0 11 0 777840722 859996160 36544 4294967295 134512640 134569956 3221224368 3221214056 1085679759 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209960 36544 13086 16 0 209944 0
vsize: 839840
[startup+1160.1 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 5028
Raw data (stat): 5018 (java) R 5017 23514 23513 0 -1 0 18072 0 2 0 111191 71 0 0 25 0 11 0 777840722 859996160 36680 4294967295 134512640 134569956 3221224368 3221213868 1085679260 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209960 36680 13086 16 0 209944 0
vsize: 839840
[startup+1170.1 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 5028
Raw data (stat): 5018 (java) R 5017 23514 23513 0 -1 0 18072 0 2 0 112147 71 0 0 25 0 11 0 777840722 859996160 36765 4294967295 134512640 134569956 3221224368 3221214544 1131235897 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209960 36765 13086 16 0 209944 0
vsize: 839840
[startup+1180.1 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 5028
Raw data (stat): 5018 (java) R 5017 23514 23513 0 -1 0 18072 0 2 0 113124 71 0 0 25 0 11 0 777840722 859996160 36808 4294967295 134512640 134569956 3221224368 3221214380 1131410064 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209960 36808 13086 16 0 209944 0
vsize: 839840
[startup+1190.1 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 5028
Raw data (stat): 5018 (java) R 5017 23514 23513 0 -1 0 18072 0 2 0 114088 72 0 0 25 0 11 0 777840722 859996160 36976 4294967295 134512640 134569956 3221224368 3221214032 1131411431 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209960 36976 13086 16 0 209944 0
vsize: 839840
[startup+1200.1 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 5028
Raw data (stat): 5018 (java) R 5017 23514 23513 0 -1 0 18072 0 2 0 115054 72 0 0 25 0 11 0 777840722 859996160 37027 4294967295 134512640 134569956 3221224368 3221214544 1131236438 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209960 37027 13086 16 0 209944 0
vsize: 839840
[startup+1210.1 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 5028
Raw data (stat): 5018 (java) R 5017 23514 23513 0 -1 0 18072 0 2 0 116020 72 0 0 25 0 11 0 777840722 859996160 37142 4294967295 134512640 134569956 3221224368 3221214504 1131410022 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209960 37142 13086 16 0 209944 0
vsize: 839840
[startup+1220.11 s]
Raw data (loadavg): 1.08 1.02 0.94 2/66 5063
Raw data (stat): 5018 (java) R 5017 23514 23513 0 -1 0 18072 0 2 0 116996 73 0 0 25 0 11 0 777840722 859996160 37193 4294967295 134512640 134569956 3221224368 3221214024 1131410040 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209960 37193 13086 16 0 209944 0
vsize: 839840
[startup+1230.11 s]
Raw data (loadavg): 1.07 1.02 0.94 2/64 5081
Raw data (stat): 5018 (java) R 5017 23514 23513 0 -1 0 18072 0 2 0 117971 74 0 0 25 0 11 0 777840722 859996160 37234 4294967295 134512640 134569956 3221224368 3221214192 1131472838 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209960 37234 13086 16 0 209944 0
vsize: 839840
[startup+1240.11 s]
Raw data (loadavg): 1.06 1.01 0.94 2/64 5081
Raw data (stat): 5018 (java) R 5017 23514 23513 0 -1 0 18072 0 2 0 118937 74 0 0 25 0 11 0 777840722 859996160 37356 4294967295 134512640 134569956 3221224368 3221214508 1130885204 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209960 37356 13086 16 0 209944 0
vsize: 839840
[startup+1250.11 s]
Raw data (loadavg): 1.05 1.01 0.94 2/64 5081
Raw data (stat): 5018 (java) R 5017 23514 23513 0 -1 0 18072 0 2 0 119903 74 0 0 25 0 11 0 777840722 859996160 37436 4294967295 134512640 134569956 3221224368 3221214068 1131411200 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209960 37436 13086 16 0 209944 0
vsize: 839840
[startup+1260.11 s]
Raw data (loadavg): 1.04 1.01 0.94 2/64 5081
Raw data (stat): 5018 (java) R 5017 23514 23513 0 -1 0 18072 0 2 0 120870 74 0 0 25 0 11 0 777840722 859996160 37509 4294967295 134512640 134569956 3221224368 3221214576 1131225507 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209960 37509 13086 16 0 209944 0
vsize: 839840
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1260.23 s]
Raw data (loadavg): 1.04 1.01 0.94 1/54 5083
Raw data (stat): 5018 (java) Z 5017 23514 23513 0 -1 1036 18072 17588 2 0 120875 74 4725 37 25 0 1 0 777840722 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): 1260.23
CPU time (s): 1257.13
CPU user time (s): 1256.01
CPU system time (s): 1.12083
CPU usage (%): 99.7537
Max. virtual memory (Kb): 840960
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####