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-fpga45_44_sat_pb.cnf.cr.opb
MD5SUM	c501a04dd091dbe678ec2743021adc30
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	46
Number of bits of the biggest sum of numbers	6
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	15.2037
Number of variables	2970
Total number of constraints	2113
Number of constraints which are clauses	2024
Number of constraints which are cardinality constraints (but not clauses)	89
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	22
Maximum length of a constraint	45
Trace number 29114

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc7 THE 2005-05-25 04:46:40 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=20466 boxname=wulflinc7 idbench=56 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  c501a04dd091dbe678ec2743021adc30  /oldhome/oroussel/tmp/wulflinc7/normalized-fpga45_44_sat_pb.cnf.cr.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc7/normalized-fpga45_44_sat_pb.cnf.cr.opb
IDLAUNCH: 20466
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.050
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		: 451.050
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:        796880 kB
Buffers:         10396 kB
Cached:         207620 kB
SwapCached:        740 kB
Active:          38088 kB
Inactive:       182136 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        796628 kB
SwapTotal:     2097136 kB
SwapFree:      2095584 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           5124 kB
Slab:            11912 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 05:07:03 (client local time) WITH STATUS 143 IN 1222.61 SECONDS
stats: 20466 7 1222.61 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/wulflinc7/normalized-fpga45_44_sat_pb.cnf.cr.opb
c reading problem ... done. Time 6.13 ms.
c #vars     2970
c #constraints  2113
c starts	: 1
c conflicts	: 97
c decisions	: 5621
c propagations	: 24426
c inspects	: 27895
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 96
c root simplifications	: 1
s UNKNOWN
c Total CPU time (ms) : 1215.69
#### 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.92 0.95 0.90 2/54 5858
Raw data (stat): 5858 (runsolver) R 5857 24300 24299 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 777896315 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.0002 s]
Raw data (loadavg): 1.08 0.99 0.92 2/63 5867
Raw data (stat): 5858 (java) R 5857 24300 24299 0 -1 0 17943 0 89 0 499 47 0 0 16 0 10 0 777896315 854544384 20233 4294967295 134512640 134569956 3221224368 3221214352 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208629 20233 13086 16 0 208613 0
vsize: 834516
[startup+20.0014 s]
Raw data (loadavg): 1.07 0.99 0.92 3/64 5868
Raw data (stat): 5858 (java) R 5857 24300 24299 0 -1 0 17983 0 89 0 1415 48 0 0 25 0 11 0 777896315 855474176 23138 4294967295 134512640 134569956 3221224368 3221214488 1131350052 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208856 23138 13086 16 0 208840 0
vsize: 835424
[startup+30.0018 s]
Raw data (loadavg): 1.13 1.00 0.92 2/64 5868
Raw data (stat): 5858 (java) R 5857 24300 24299 0 -1 0 17985 0 89 0 2404 48 0 0 25 0 11 0 777896315 856522752 23355 4294967295 134512640 134569956 3221224368 3221214616 1131361255 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209112 23355 13086 16 0 209096 0
vsize: 836448
[startup+40.0021 s]
Raw data (loadavg): 1.19 1.02 0.93 2/64 5868
Raw data (stat): 5858 (java) R 5857 24300 24299 0 -1 0 17985 0 90 0 3380 48 0 0 25 0 11 0 777896315 855474176 23165 4294967295 134512640 134569956 3221224368 3221214616 1131361432 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208856 23165 13086 16 0 208840 0
vsize: 835424
[startup+50.0027 s]
Raw data (loadavg): 1.16 1.02 0.93 2/64 5868
Raw data (stat): 5858 (java) R 5857 24300 24299 0 -1 0 17985 0 90 0 4370 48 0 0 25 0 11 0 777896315 855793664 23215 4294967295 134512640 134569956 3221224368 3221214528 1131264882 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208934 23215 13086 16 0 208918 0
vsize: 835736
[startup+60.0028 s]
Raw data (loadavg): 1.13 1.02 0.93 2/64 5868
Raw data (stat): 5858 (java) R 5857 24300 24299 0 -1 0 17985 0 90 0 5359 49 0 0 25 0 11 0 777896315 855474176 23169 4294967295 134512640 134569956 3221224368 3221214608 1131401800 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208856 23169 13086 16 0 208840 0
vsize: 835424
[startup+70.003 s]
Raw data (loadavg): 1.11 1.02 0.93 2/64 5868
Raw data (stat): 5858 (java) R 5857 24300 24299 0 -1 0 17985 0 90 0 6351 49 0 0 25 0 11 0 777896315 855474176 23169 4294967295 134512640 134569956 3221224368 3221214592 1131341191 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208856 23169 13086 16 0 208840 0
vsize: 835424
[startup+80.0041 s]
Raw data (loadavg): 1.10 1.02 0.93 2/64 5868
Raw data (stat): 5858 (java) R 5857 24300 24299 0 -1 0 17985 0 90 0 7330 49 0 0 25 0 11 0 777896315 855474176 23171 4294967295 134512640 134569956 3221224368 3221214528 1131264128 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208856 23171 13086 16 0 208840 0
vsize: 835424
[startup+90.0042 s]
Raw data (loadavg): 1.08 1.02 0.93 2/64 5868
Raw data (stat): 5858 (java) R 5857 24300 24299 0 -1 0 17985 0 90 0 8308 49 0 0 25 0 11 0 777896315 855474176 23171 4294967295 134512640 134569956 3221224368 3221214496 1131154477 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208856 23171 13086 16 0 208840 0
vsize: 835424
[startup+100.004 s]
Raw data (loadavg): 1.07 1.01 0.93 2/64 5868
Raw data (stat): 5858 (java) R 5857 24300 24299 0 -1 0 17985 0 90 0 9294 49 0 0 25 0 11 0 777896315 855474176 23171 4294967295 134512640 134569956 3221224368 3221214552 1131264083 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208856 23171 13086 16 0 208840 0
vsize: 835424
[startup+110.004 s]
Raw data (loadavg): 1.06 1.01 0.93 2/64 5868
Raw data (stat): 5858 (java) R 5857 24300 24299 0 -1 0 17985 0 90 0 10270 50 0 0 25 0 11 0 777896315 855474176 23171 4294967295 134512640 134569956 3221224368 3221214552 1131264092 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208856 23171 13086 16 0 208840 0
vsize: 835424
[startup+120.005 s]
Raw data (loadavg): 1.05 1.01 0.93 2/64 5868
Raw data (stat): 5858 (java) R 5857 24300 24299 0 -1 0 17985 0 90 0 11247 50 0 0 25 0 11 0 777896315 855474176 23171 4294967295 134512640 134569956 3221224368 3221214632 1131401792 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208856 23171 13086 16 0 208840 0
vsize: 835424
[startup+130.005 s]
Raw data (loadavg): 1.04 1.01 0.93 2/64 5868
Raw data (stat): 5858 (java) R 5857 24300 24299 0 -1 0 17985 0 90 0 12231 50 0 0 25 0 11 0 777896315 855474176 23171 4294967295 134512640 134569956 3221224368 3221214552 1131264254 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208856 23171 13086 16 0 208840 0
vsize: 835424
[startup+140.006 s]
Raw data (loadavg): 1.03 1.01 0.93 2/64 5868
Raw data (stat): 5858 (java) R 5857 24300 24299 0 -1 0 17985 0 90 0 13208 50 0 0 25 0 11 0 777896315 855474176 23370 4294967295 134512640 134569956 3221224368 3221214648 1131347075 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208856 23370 13086 16 0 208840 0
vsize: 835424
[startup+150.006 s]
Raw data (loadavg): 1.03 1.01 0.93 2/64 5868
Raw data (stat): 5858 (java) R 5857 24300 24299 0 -1 0 17985 0 90 0 14196 50 0 0 25 0 11 0 777896315 855474176 23370 4294967295 134512640 134569956 3221224368 3221214616 1131341227 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208856 23370 13086 16 0 208840 0
vsize: 835424
[startup+160.006 s]
Raw data (loadavg): 1.02 1.01 0.93 2/64 5868
Raw data (stat): 5858 (java) R 5857 24300 24299 0 -1 0 17985 0 90 0 15177 50 0 0 25 0 11 0 777896315 855474176 23370 4294967295 134512640 134569956 3221224368 3221214640 1131361266 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208856 23370 13086 16 0 208840 0
vsize: 835424
[startup+170.006 s]
Raw data (loadavg): 1.02 1.01 0.93 2/64 5868
Raw data (stat): 5858 (java) R 5857 24300 24299 0 -1 0 17985 0 90 0 16159 51 0 0 25 0 11 0 777896315 855474176 23431 4294967295 134512640 134569956 3221224368 3221214568 1131180581 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208856 23431 13086 16 0 208840 0
vsize: 835424
[startup+180.006 s]
Raw data (loadavg): 1.02 1.01 0.93 2/64 5868
Raw data (stat): 5858 (java) R 5857 24300 24299 0 -1 0 17985 0 90 0 17147 51 0 0 25 0 11 0 777896315 855474176 23431 4294967295 134512640 134569956 3221224368 3221214544 1131263872 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208856 23431 13086 16 0 208840 0
vsize: 835424
[startup+190.007 s]
Raw data (loadavg): 1.01 1.01 0.93 2/64 5868
Raw data (stat): 5858 (java) R 5857 24300 24299 0 -1 0 17985 0 90 0 18129 51 0 0 25 0 11 0 777896315 855474176 23431 4294967295 134512640 134569956 3221224368 3221214632 1131401614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208856 23431 13086 16 0 208840 0
vsize: 835424
[startup+200.006 s]
Raw data (loadavg): 1.01 1.00 0.93 2/64 5868
Raw data (stat): 5858 (java) R 5857 24300 24299 0 -1 0 17985 0 90 0 19120 51 0 0 25 0 11 0 777896315 855474176 23788 4294967295 134512640 134569956 3221224368 3221214616 1131341123 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208856 23788 13086 16 0 208840 0
vsize: 835424
[startup+210.006 s]
Raw data (loadavg): 1.01 1.00 0.93 2/64 5868
Raw data (stat): 5858 (java) R 5857 24300 24299 0 -1 0 17985 0 90 0 20112 52 0 0 25 0 11 0 777896315 855474176 23788 4294967295 134512640 134569956 3221224368 3221214592 1131349919 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208856 23788 13086 16 0 208840 0
vsize: 835424
[startup+220.006 s]
Raw data (loadavg): 1.01 1.00 0.93 2/64 5868
Raw data (stat): 5858 (java) R 5857 24300 24299 0 -1 0 17985 0 90 0 21105 52 0 0 25 0 11 0 777896315 855474176 23820 4294967295 134512640 134569956 3221224368 3221214632 1131401588 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208856 23820 13086 16 0 208840 0
vsize: 835424
[startup+230.006 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 5868
Raw data (stat): 5858 (java) R 5857 24300 24299 0 -1 0 17985 0 90 0 22099 52 0 0 25 0 11 0 777896315 855474176 23820 4294967295 134512640 134569956 3221224368 3221214592 1131350016 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208856 23820 13086 16 0 208840 0
vsize: 835424
[startup+240.007 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 5868
Raw data (stat): 5858 (java) R 5857 24300 24299 0 -1 0 17985 0 90 0 23092 52 0 0 25 0 11 0 777896315 855474176 23820 4294967295 134512640 134569956 3221224368 3221214632 1131401591 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208856 23820 13086 16 0 208840 0
vsize: 835424
[startup+250.007 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 5868
Raw data (stat): 5858 (java) R 5857 24300 24299 0 -1 0 17985 0 90 0 24083 52 0 0 25 0 11 0 777896315 855474176 23851 4294967295 134512640 134569956 3221224368 3221214648 1131347126 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208856 23851 13086 16 0 208840 0
vsize: 835424
[startup+260.007 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 5868
Raw data (stat): 5858 (java) R 5857 24300 24299 0 -1 0 17985 0 90 0 25076 53 0 0 25 0 11 0 777896315 855474176 23851 4294967295 134512640 134569956 3221224368 3221214616 1131341202 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208856 23851 13086 16 0 208840 0
vsize: 835424
[startup+270.008 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 5868
Raw data (stat): 5858 (java) R 5857 24300 24299 0 -1 0 17985 0 90 0 26070 53 0 0 25 0 11 0 777896315 855474176 23881 4294967295 134512640 134569956 3221224368 3221214552 1131264346 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208856 23881 13086 16 0 208840 0
vsize: 835424
[startup+280.007 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 5868
Raw data (stat): 5858 (java) R 5857 24300 24299 0 -1 0 17985 0 90 0 27063 53 0 0 25 0 11 0 777896315 855474176 23881 4294967295 134512640 134569956 3221224368 3221214632 1131401552 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208856 23881 13086 16 0 208840 0
vsize: 835424
[startup+290.009 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 5868
Raw data (stat): 5858 (java) R 5857 24300 24299 0 -1 0 17985 0 90 0 28054 53 0 0 25 0 11 0 777896315 855474176 23912 4294967295 134512640 134569956 3221224368 3221214624 1131353650 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208856 23912 13086 16 0 208840 0
vsize: 835424
[startup+300.009 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 5868
Raw data (stat): 5858 (java) R 5857 24300 24299 0 -1 0 17985 0 90 0 29046 54 0 0 25 0 11 0 777896315 855474176 23912 4294967295 134512640 134569956 3221224368 3221214564 1130885243 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208856 23912 13086 16 0 208840 0
vsize: 835424
[startup+310.009 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 5868
Raw data (stat): 5858 (java) R 5857 24300 24299 0 -1 0 17985 0 90 0 30033 54 0 0 25 0 11 0 777896315 855474176 23942 4294967295 134512640 134569956 3221224368 3221214632 1131401651 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208856 23942 13086 16 0 208840 0
vsize: 835424
[startup+320.009 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 5868
Raw data (stat): 5858 (java) R 5857 24300 24299 0 -1 0 17986 0 90 0 31023 54 0 0 25 0 11 0 777896315 855474176 23946 4294967295 134512640 134569956 3221224368 3221214552 1131264289 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208856 23946 13086 16 0 208840 0
vsize: 835424
[startup+330.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 5868
Raw data (stat): 5858 (java) R 5857 24300 24299 0 -1 0 17986 0 90 0 32011 54 0 0 25 0 11 0 777896315 855474176 23946 4294967295 134512640 134569956 3221224368 3221214768 1131303473 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208856 23946 13086 16 0 208840 0
vsize: 835424
[startup+340.011 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 5868
Raw data (stat): 5858 (java) R 5857 24300 24299 0 -1 0 17986 0 90 0 32996 55 0 0 25 0 11 0 777896315 855474176 23977 4294967295 134512640 134569956 3221224368 3221214648 1131347107 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208856 23977 13086 16 0 208840 0
vsize: 835424
[startup+350.011 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 5868
Raw data (stat): 5858 (java) R 5857 24300 24299 0 -1 0 17986 0 90 0 33980 55 0 0 25 0 11 0 777896315 855474176 23977 4294967295 134512640 134569956 3221224368 3221214616 1131341168 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208856 23977 13086 16 0 208840 0
vsize: 835424
[startup+360.012 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 5868
Raw data (stat): 5858 (java) R 5857 24300 24299 0 -1 0 17986 0 90 0 34969 55 0 0 25 0 11 0 777896315 855474176 24011 4294967295 134512640 134569956 3221224368 3221214520 1131154477 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208856 24011 13086 16 0 208840 0
vsize: 835424
[startup+370.012 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 5868
Raw data (stat): 5858 (java) R 5857 24300 24299 0 -1 0 17986 0 90 0 35952 56 0 0 25 0 11 0 777896315 855474176 24011 4294967295 134512640 134569956 3221224368 3221214624 1131303436 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208856 24011 13086 16 0 208840 0
vsize: 835424
[startup+380.013 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 5868
Raw data (stat): 5858 (java) R 5857 24300 24299 0 -1 0 17986 0 90 0 36936 56 0 0 25 0 11 0 777896315 855474176 24042 4294967295 134512640 134569956 3221224368 3221214616 1131341174 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208856 24042 13086 16 0 208840 0
vsize: 835424
[startup+390.013 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 5868
Raw data (stat): 5858 (java) R 5857 24300 24299 0 -1 0 17986 0 90 0 37919 57 0 0 25 0 11 0 777896315 855474176 24042 4294967295 134512640 134569956 3221224368 3221214648 1131347119 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208856 24042 13086 16 0 208840 0
vsize: 835424
[startup+400.014 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 5868
Raw data (stat): 5858 (java) R 5857 24300 24299 0 -1 0 17986 0 90 0 38908 57 0 0 25 0 11 0 777896315 855474176 24042 4294967295 134512640 134569956 3221224368 3221214520 1131154507 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208856 24042 13086 16 0 208840 0
vsize: 835424
[startup+410.014 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 5868
Raw data (stat): 5858 (java) R 5857 24300 24299 0 -1 0 17986 0 90 0 39892 58 0 0 25 0 11 0 777896315 855474176 24165 4294967295 134512640 134569956 3221224368 3221214564 1130885141 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208856 24165 13086 16 0 208840 0
vsize: 835424
[startup+420.015 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 5868
Raw data (stat): 5858 (java) R 5857 24300 24299 0 -1 0 17986 0 90 0 40879 58 0 0 25 0 11 0 777896315 855474176 24228 4294967295 134512640 134569956 3221224368 3221214544 1131264171 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208856 24228 13086 16 0 208840 0
vsize: 835424
[startup+430.015 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 5868
Raw data (stat): 5858 (java) R 5857 24300 24299 0 -1 0 17986 0 90 0 41868 58 0 0 25 0 11 0 777896315 855474176 24259 4294967295 134512640 134569956 3221224368 3221214564 1130885243 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208856 24259 13086 16 0 208840 0
vsize: 835424
[startup+440.016 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 5868
Raw data (stat): 5858 (java) R 5857 24300 24299 0 -1 0 17986 0 90 0 42859 58 0 0 25 0 11 0 777896315 855474176 24259 4294967295 134512640 134569956 3221224368 3221214616 1131341212 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208856 24259 13086 16 0 208840 0
vsize: 835424
[startup+450.016 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 5868
Raw data (stat): 5858 (java) R 5857 24300 24299 0 -1 0 17986 0 90 0 43848 59 0 0 25 0 11 0 777896315 855474176 24403 4294967295 134512640 134569956 3221224368 3221214624 1131303457 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208856 24403 13086 16 0 208840 0
vsize: 835424
[startup+460.016 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 5868
Raw data (stat): 5858 (java) R 5857 24300 24299 0 -1 0 17986 0 90 0 44840 59 0 0 25 0 11 0 777896315 855474176 24403 4294967295 134512640 134569956 3221224368 3221214520 1131154574 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208856 24403 13086 16 0 208840 0
vsize: 835424
[startup+470.017 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 5868
Raw data (stat): 5858 (java) R 5857 24300 24299 0 -1 0 17986 0 90 0 45830 59 0 0 25 0 11 0 777896315 855474176 24434 4294967295 134512640 134569956 3221224368 3221214520 1131154487 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208856 24434 13086 16 0 208840 0
vsize: 835424
[startup+480.017 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 5868
Raw data (stat): 5858 (java) R 5857 24300 24299 0 -1 0 17986 0 90 0 46825 60 0 0 25 0 11 0 777896315 855474176 24465 4294967295 134512640 134569956 3221224368 3221214632 1131401591 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208856 24465 13086 16 0 208840 0
vsize: 835424
[startup+490.023 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 5868
Raw data (stat): 5858 (java) R 5857 24300 24299 0 -1 0 17986 0 90 0 47818 60 0 0 25 0 11 0 777896315 855474176 24465 4294967295 134512640 134569956 3221224368 3221214632 1131401591 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208856 24465 13086 16 0 208840 0
vsize: 835424
[startup+500.028 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 5868
Raw data (stat): 5858 (java) R 5857 24300 24299 0 -1 0 17986 0 90 0 48810 60 0 0 25 0 11 0 777896315 855474176 24497 4294967295 134512640 134569956 3221224368 3221214640 1131361275 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208856 24497 13086 16 0 208840 0
vsize: 835424
[startup+510.027 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 5868
Raw data (stat): 5858 (java) R 5857 24300 24299 0 -1 0 17986 0 90 0 49803 61 0 0 25 0 11 0 777896315 855474176 24497 4294967295 134512640 134569956 3221224368 3221214624 1131456692 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208856 24497 13086 16 0 208840 0
vsize: 835424
[startup+520.028 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 5868
Raw data (stat): 5858 (java) R 5857 24300 24299 0 -1 0 17986 0 90 0 50797 61 0 0 25 0 11 0 777896315 855474176 24527 4294967295 134512640 134569956 3221224368 3221214648 1131347104 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208856 24527 13086 16 0 208840 0
vsize: 835424
[startup+530.029 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 5868
Raw data (stat): 5858 (java) R 5857 24300 24299 0 -1 0 17986 0 90 0 51790 62 0 0 25 0 11 0 777896315 855474176 24527 4294967295 134512640 134569956 3221224368 3221214792 1131342703 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208856 24527 13086 16 0 208840 0
vsize: 835424
[startup+540.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 5868
Raw data (stat): 5858 (java) R 5857 24300 24299 0 -1 0 17986 0 90 0 52781 62 0 0 25 0 11 0 777896315 855474176 24557 4294967295 134512640 134569956 3221224368 3221214648 1131347122 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208856 24557 13086 16 0 208840 0
vsize: 835424
[startup+550.031 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 5868
Raw data (stat): 5858 (java) R 5857 24300 24299 0 -1 0 17986 0 90 0 53775 62 0 0 25 0 11 0 777896315 855474176 24557 4294967295 134512640 134569956 3221224368 3221214616 1131341174 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208856 24557 13086 16 0 208840 0
vsize: 835424
[startup+560.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 5868
Raw data (stat): 5858 (java) R 5857 24300 24299 0 -1 0 17986 0 90 0 54769 63 0 0 25 0 11 0 777896315 855474176 24585 4294967295 134512640 134569956 3221224368 3221214356 1078830850 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208856 24585 13086 16 0 208840 0
vsize: 835424
[startup+570.031 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 5868
Raw data (stat): 5858 (java) R 5857 24300 24299 0 -1 0 17986 0 90 0 55762 63 0 0 25 0 11 0 777896315 855474176 24587 4294967295 134512640 134569956 3221224368 3221214536 1131243331 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208856 24587 13086 16 0 208840 0
vsize: 835424
[startup+580.031 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 5868
Raw data (stat): 5858 (java) R 5857 24300 24299 0 -1 0 17986 0 90 0 56754 63 0 0 25 0 11 0 777896315 855474176 24617 4294967295 134512640 134569956 3221224368 3221214648 1131347107 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208856 24617 13086 16 0 208840 0
vsize: 835424
[startup+590.031 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 5868
Raw data (stat): 5858 (java) R 5857 24300 24299 0 -1 0 17986 0 90 0 57748 63 0 0 25 0 11 0 777896315 855474176 24617 4294967295 134512640 134569956 3221224368 3221214592 1131350052 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208856 24617 13086 16 0 208840 0
vsize: 835424
[startup+600.032 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 5868
Raw data (stat): 5858 (java) R 5857 24300 24299 0 -1 0 17986 0 90 0 58742 63 0 0 25 0 11 0 777896315 855474176 24617 4294967295 134512640 134569956 3221224368 3221214648 1131347104 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208856 24617 13086 16 0 208840 0
vsize: 835424
[startup+610.033 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 5868
Raw data (stat): 5858 (java) R 5857 24300 24299 0 -1 0 17986 0 90 0 59735 64 0 0 25 0 11 0 777896315 855474176 24647 4294967295 134512640 134569956 3221224368 3221214552 1131264152 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208856 24647 13086 16 0 208840 0
vsize: 835424
[startup+620.033 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 5868
Raw data (stat): 5858 (java) R 5857 24300 24299 0 -1 0 17986 0 90 0 60727 64 0 0 25 0 11 0 777896315 855474176 24647 4294967295 134512640 134569956 3221224368 3221214624 1131303473 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208856 24647 13086 16 0 208840 0
vsize: 835424
[startup+630.033 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 5868
Raw data (stat): 5858 (java) R 5857 24300 24299 0 -1 0 17986 0 90 0 61721 64 0 0 25 0 11 0 777896315 855474176 24675 4294967295 134512640 134569956 3221224368 3221214616 1131341227 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208856 24675 13086 16 0 208840 0
vsize: 835424
[startup+640.035 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 5868
Raw data (stat): 5858 (java) R 5857 24300 24299 0 -1 0 17986 0 90 0 62714 64 0 0 25 0 11 0 777896315 855474176 24675 4294967295 134512640 134569956 3221224368 3221214520 1131154546 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208856 24675 13086 16 0 208840 0
vsize: 835424
[startup+650.035 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 5868
Raw data (stat): 5858 (java) R 5857 24300 24299 0 -1 0 17986 0 90 0 63706 65 0 0 25 0 11 0 777896315 855474176 24704 4294967295 134512640 134569956 3221224368 3221214640 1131361366 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208856 24704 13086 16 0 208840 0
vsize: 835424
[startup+660.035 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 5868
Raw data (stat): 5858 (java) R 5857 24300 24299 0 -1 0 17986 0 90 0 64699 65 0 0 25 0 11 0 777896315 855474176 24704 4294967295 134512640 134569956 3221224368 3221214640 1131361255 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208856 24704 13086 16 0 208840 0
vsize: 835424
[startup+670.035 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 5868
Raw data (stat): 5858 (java) R 5857 24300 24299 0 -1 0 17986 0 90 0 65691 65 0 0 25 0 11 0 777896315 855474176 24732 4294967295 134512640 134569956 3221224368 3221214616 1131341190 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208856 24732 13086 16 0 208840 0
vsize: 835424
[startup+680.036 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 5868
Raw data (stat): 5858 (java) R 5857 24300 24299 0 -1 0 17986 0 90 0 66686 65 0 0 25 0 11 0 777896315 855474176 24732 4294967295 134512640 134569956 3221224368 3221214632 1131401894 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208856 24732 13086 16 0 208840 0
vsize: 835424
[startup+690.036 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 5868
Raw data (stat): 5858 (java) R 5857 24300 24299 0 -1 0 17986 0 90 0 67678 66 0 0 25 0 11 0 777896315 855474176 24766 4294967295 134512640 134569956 3221224368 3221214644 1131328908 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208856 24766 13086 16 0 208840 0
vsize: 835424
[startup+700.036 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 5868
Raw data (stat): 5858 (java) R 5857 24300 24299 0 -1 0 17986 0 90 0 68671 66 0 0 25 0 11 0 777896315 855474176 24766 4294967295 134512640 134569956 3221224368 3221214624 1131303457 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208856 24766 13086 16 0 208840 0
vsize: 835424
[startup+710.037 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 5868
Raw data (stat): 5858 (java) R 5857 24300 24299 0 -1 0 17986 0 90 0 69663 67 0 0 25 0 11 0 777896315 855474176 24795 4294967295 134512640 134569956 3221224368 3221214616 1131341239 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208856 24795 13086 16 0 208840 0
vsize: 835424
[startup+720.038 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 5868
Raw data (stat): 5858 (java) R 5857 24300 24299 0 -1 0 17986 0 90 0 70658 67 0 0 25 0 11 0 777896315 855474176 24795 4294967295 134512640 134569956 3221224368 3221214552 1131264108 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208856 24795 13086 16 0 208840 0
vsize: 835424
[startup+730.038 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 5868
Raw data (stat): 5858 (java) R 5857 24300 24299 0 -1 0 17986 0 90 0 71650 67 0 0 25 0 11 0 777896315 855474176 24823 4294967295 134512640 134569956 3221224368 3221214640 1131361364 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208856 24823 13086 16 0 208840 0
vsize: 835424
[startup+740.039 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 5868
Raw data (stat): 5858 (java) R 5857 24300 24299 0 -1 0 17986 0 90 0 72643 67 0 0 25 0 11 0 777896315 855474176 24823 4294967295 134512640 134569956 3221224368 3221214564 1130885169 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208856 24823 13086 16 0 208840 0
vsize: 835424
[startup+750.039 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 5868
Raw data (stat): 5858 (java) R 5857 24300 24299 0 -1 0 17986 0 90 0 73636 68 0 0 25 0 11 0 777896315 855474176 24851 4294967295 134512640 134569956 3221224368 3221214616 1131341140 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208856 24851 13086 16 0 208840 0
vsize: 835424
[startup+760.039 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 5868
Raw data (stat): 5858 (java) R 5857 24300 24299 0 -1 0 17986 0 90 0 74631 68 0 0 25 0 11 0 777896315 855474176 24851 4294967295 134512640 134569956 3221224368 3221214616 1131341174 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208856 24851 13086 16 0 208840 0
vsize: 835424
[startup+770.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 5868
Raw data (stat): 5858 (java) R 5857 24300 24299 0 -1 0 17986 0 90 0 75623 69 0 0 25 0 11 0 777896315 855474176 24851 4294967295 134512640 134569956 3221224368 3221214648 1131347075 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208856 24851 13086 16 0 208840 0
vsize: 835424
[startup+780.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 5868
Raw data (stat): 5858 (java) R 5857 24300 24299 0 -1 0 17986 0 90 0 76616 69 0 0 25 0 11 0 777896315 855474176 24880 4294967295 134512640 134569956 3221224368 3221214632 1131402743 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208856 24880 13086 16 0 208840 0
vsize: 835424
[startup+790.041 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 5868
Raw data (stat): 5858 (java) R 5857 24300 24299 0 -1 0 17986 0 90 0 77608 69 0 0 25 0 11 0 777896315 855474176 24880 4294967295 134512640 134569956 3221224368 3221214648 1131347208 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208856 24880 13086 16 0 208840 0
vsize: 835424
[startup+800.042 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 5868
Raw data (stat): 5858 (java) R 5857 24300 24299 0 -1 0 17986 0 90 0 78603 69 0 0 25 0 11 0 777896315 855474176 24908 4294967295 134512640 134569956 3221224368 3221214520 1131154484 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208856 24908 13086 16 0 208840 0
vsize: 835424
[startup+810.041 s]
Raw data (loadavg): 1.00 1.00 0.93 3/68 5918
Raw data (stat): 5858 (java) R 5857 24300 24299 0 -1 0 17986 0 90 0 79584 80 0 0 25 0 11 0 777896315 855474176 24908 4294967295 134512640 134569956 3221224368 3221214632 1131401814 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208856 24908 13086 16 0 208840 0
vsize: 835424
[startup+820.043 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 5921
Raw data (stat): 5858 (java) R 5857 24300 24299 0 -1 0 17986 0 90 0 80577 80 0 0 25 0 11 0 777896315 855474176 24937 4294967295 134512640 134569956 3221224368 3221214644 1131328896 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208856 24937 13086 16 0 208840 0
vsize: 835424
[startup+830.043 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 5921
Raw data (stat): 5858 (java) R 5857 24300 24299 0 -1 0 17986 0 90 0 81569 81 0 0 25 0 11 0 777896315 855474176 24937 4294967295 134512640 134569956 3221224368 3221214632 1131401894 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208856 24937 13086 16 0 208840 0
vsize: 835424
[startup+840.044 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 5921
Raw data (stat): 5858 (java) R 5857 24300 24299 0 -1 0 17986 0 90 0 82564 81 0 0 25 0 11 0 777896315 855474176 24965 4294967295 134512640 134569956 3221224368 3221214632 1131401820 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208856 24965 13086 16 0 208840 0
vsize: 835424
[startup+850.045 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 5921
Raw data (stat): 5858 (java) R 5857 24300 24299 0 -1 0 17986 0 90 0 83557 82 0 0 25 0 11 0 777896315 855474176 24965 4294967295 134512640 134569956 3221224368 3221214544 1131264171 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208856 24965 13086 16 0 208840 0
vsize: 835424
[startup+860.044 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 5921
Raw data (stat): 5858 (java) R 5857 24300 24299 0 -1 0 17986 0 90 0 84549 82 0 0 25 0 11 0 777896315 855474176 24995 4294967295 134512640 134569956 3221224368 3221214520 1131154477 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208856 24995 13086 16 0 208840 0
vsize: 835424
[startup+870.045 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 5921
Raw data (stat): 5858 (java) R 5857 24300 24299 0 -1 0 17986 0 90 0 85542 83 0 0 25 0 11 0 777896315 855474176 24995 4294967295 134512640 134569956 3221224368 3221214624 1131303473 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208856 24995 13086 16 0 208840 0
vsize: 835424
[startup+880.044 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 5923
Raw data (stat): 5858 (java) R 5857 24300 24299 0 -1 0 17986 0 90 0 86536 83 0 0 25 0 11 0 777896315 855474176 25023 4294967295 134512640 134569956 3221224368 3221214520 1131154552 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208856 25023 13086 16 0 208840 0
vsize: 835424
[startup+890.045 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 5923
Raw data (stat): 5858 (java) R 5857 24300 24299 0 -1 0 17986 0 90 0 87529 83 0 0 25 0 11 0 777896315 855474176 25023 4294967295 134512640 134569956 3221224368 3221214616 1131341168 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208856 25023 13086 16 0 208840 0
vsize: 835424
[startup+900.045 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 5923
Raw data (stat): 5858 (java) R 5857 24300 24299 0 -1 0 17986 0 90 0 88521 84 0 0 25 0 11 0 777896315 855474176 25051 4294967295 134512640 134569956 3221224368 3221214592 1131350058 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208856 25051 13086 16 0 208840 0
vsize: 835424
[startup+910.046 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 5923
Raw data (stat): 5858 (java) R 5857 24300 24299 0 -1 0 17986 0 90 0 89515 84 0 0 25 0 11 0 777896315 855474176 25051 4294967295 134512640 134569956 3221224368 3221214624 1131303443 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208856 25051 13086 16 0 208840 0
vsize: 835424
[startup+920.047 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 5923
Raw data (stat): 5858 (java) R 5857 24300 24299 0 -1 0 17986 0 90 0 90509 84 0 0 25 0 11 0 777896315 855474176 25051 4294967295 134512640 134569956 3221224368 3221214648 1131347107 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208856 25051 13086 16 0 208840 0
vsize: 835424
[startup+930.046 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 5923
Raw data (stat): 5858 (java) R 5857 24300 24299 0 -1 0 17986 0 90 0 91502 84 0 0 25 0 11 0 777896315 855474176 25079 4294967295 134512640 134569956 3221224368 3221214632 1131401820 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208856 25079 13086 16 0 208840 0
vsize: 835424
[startup+940.048 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 5923
Raw data (stat): 5858 (java) R 5857 24300 24299 0 -1 0 17986 0 90 0 92494 85 0 0 25 0 11 0 777896315 855474176 25079 4294967295 134512640 134569956 3221224368 3221214632 1131401591 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208856 25079 13086 16 0 208840 0
vsize: 835424
[startup+950.048 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 5923
Raw data (stat): 5858 (java) R 5857 24300 24299 0 -1 0 17986 0 90 0 93487 85 0 0 25 0 11 0 777896315 855474176 25108 4294967295 134512640 134569956 3221224368 3221214632 1131401990 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208856 25108 13086 16 0 208840 0
vsize: 835424
[startup+960.048 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 5923
Raw data (stat): 5858 (java) R 5857 24300 24299 0 -1 0 17986 0 90 0 94481 86 0 0 25 0 11 0 777896315 855474176 25108 4294967295 134512640 134569956 3221224368 3221214520 1131154623 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208856 25108 13086 16 0 208840 0
vsize: 835424
[startup+970.048 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 5923
Raw data (stat): 5858 (java) R 5857 24300 24299 0 -1 0 17986 0 90 0 95473 87 0 0 25 0 11 0 777896315 855474176 25136 4294967295 134512640 134569956 3221224368 3221214616 1131341174 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208856 25136 13086 16 0 208840 0
vsize: 835424
[startup+980.049 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 5923
Raw data (stat): 5858 (java) R 5857 24300 24299 0 -1 0 17986 0 90 0 96466 87 0 0 25 0 11 0 777896315 855474176 25136 4294967295 134512640 134569956 3221224368 3221214552 1131263983 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208856 25136 13086 16 0 208840 0
vsize: 835424
[startup+990.049 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 5923
Raw data (stat): 5858 (java) R 5857 24300 24299 0 -1 0 17986 0 90 0 97458 87 0 0 25 0 11 0 777896315 855474176 25165 4294967295 134512640 134569956 3221224368 3221214552 1131264310 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208856 25165 13086 16 0 208840 0
vsize: 835424
[startup+1000.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 5923
Raw data (stat): 5858 (java) R 5857 24300 24299 0 -1 0 17986 0 90 0 98453 88 0 0 25 0 11 0 777896315 855474176 25165 4294967295 134512640 134569956 3221224368 3221214564 1130885120 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208856 25165 13086 16 0 208840 0
vsize: 835424
[startup+1010.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 5923
Raw data (stat): 5858 (java) R 5857 24300 24299 0 -1 0 17986 0 90 0 99445 88 0 0 25 0 11 0 777896315 855474176 25193 4294967295 134512640 134569956 3221224368 3221214648 1131347087 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208856 25193 13086 16 0 208840 0
vsize: 835424
[startup+1020.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 5923
Raw data (stat): 5858 (java) R 5857 24300 24299 0 -1 0 17986 0 90 0 100438 88 0 0 25 0 11 0 777896315 855474176 25193 4294967295 134512640 134569956 3221224368 3221214648 1131347107 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208856 25193 13086 16 0 208840 0
vsize: 835424
[startup+1030.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 5923
Raw data (stat): 5858 (java) R 5857 24300 24299 0 -1 0 17986 0 90 0 101430 88 0 0 25 0 11 0 777896315 855474176 25222 4294967295 134512640 134569956 3221224368 3221214640 1131361255 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208856 25222 13086 16 0 208840 0
vsize: 835424
[startup+1040.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 5923
Raw data (stat): 5858 (java) R 5857 24300 24299 0 -1 0 17986 0 90 0 102426 89 0 0 25 0 11 0 777896315 855474176 25222 4294967295 134512640 134569956 3221224368 3221214648 1131347107 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208856 25222 13086 16 0 208840 0
vsize: 835424
[startup+1050.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 5923
Raw data (stat): 5858 (java) R 5857 24300 24299 0 -1 0 17986 0 90 0 103417 89 0 0 25 0 11 0 777896315 855474176 25250 4294967295 134512640 134569956 3221224368 3221214648 1131347075 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208856 25250 13086 16 0 208840 0
vsize: 835424
[startup+1060.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 5923
Raw data (stat): 5858 (java) R 5857 24300 24299 0 -1 0 17986 0 90 0 104410 89 0 0 25 0 11 0 777896315 855474176 25250 4294967295 134512640 134569956 3221224368 3221214792 1131342610 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208856 25250 13086 16 0 208840 0
vsize: 835424
[startup+1070.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 5923
Raw data (stat): 5858 (java) R 5857 24300 24299 0 -1 0 17986 0 90 0 105402 89 0 0 25 0 11 0 777896315 855474176 25279 4294967295 134512640 134569956 3221224368 3221214640 1131361368 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208856 25279 13086 16 0 208840 0
vsize: 835424
[startup+1080.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 5923
Raw data (stat): 5858 (java) R 5857 24300 24299 0 -1 0 17986 0 90 0 106398 90 0 0 25 0 11 0 777896315 855474176 25279 4294967295 134512640 134569956 3221224368 3221214592 1131350000 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208856 25279 13086 16 0 208840 0
vsize: 835424
[startup+1090.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 5923
Raw data (stat): 5858 (java) R 5857 24300 24299 0 -1 0 17986 0 90 0 107390 90 0 0 25 0 11 0 777896315 855474176 25279 4294967295 134512640 134569956 3221224368 3221214648 1131347107 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208856 25279 13086 16 0 208840 0
vsize: 835424
[startup+1100.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 5923
Raw data (stat): 5858 (java) R 5857 24300 24299 0 -1 0 17986 0 90 0 108383 90 0 0 25 0 11 0 777896315 855474176 25307 4294967295 134512640 134569956 3221224368 3221214632 1131401990 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208856 25307 13086 16 0 208840 0
vsize: 835424
[startup+1110.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 5923
Raw data (stat): 5858 (java) R 5857 24300 24299 0 -1 0 17986 0 90 0 109375 90 0 0 25 0 11 0 777896315 855474176 25336 4294967295 134512640 134569956 3221224368 3221214632 1131401820 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208856 25336 13086 16 0 208840 0
vsize: 835424
[startup+1120.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 5923
Raw data (stat): 5858 (java) R 5857 24300 24299 0 -1 0 17986 0 90 0 110370 90 0 0 25 0 11 0 777896315 855474176 25336 4294967295 134512640 134569956 3221224368 3221214632 1131401939 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208856 25336 13086 16 0 208840 0
vsize: 835424
[startup+1130.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 5923
Raw data (stat): 5858 (java) R 5857 24300 24299 0 -1 0 17986 0 90 0 111363 91 0 0 25 0 11 0 777896315 855474176 25336 4294967295 134512640 134569956 3221224368 3221214632 1131401651 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208856 25336 13086 16 0 208840 0
vsize: 835424
[startup+1140.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 5923
Raw data (stat): 5858 (java) R 5857 24300 24299 0 -1 0 17986 0 90 0 112356 91 0 0 25 0 11 0 777896315 855474176 25364 4294967295 134512640 134569956 3221224368 3221214520 1131155158 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208856 25364 13086 16 0 208840 0
vsize: 835424
[startup+1150.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 5923
Raw data (stat): 5858 (java) R 5857 24300 24299 0 -1 0 17986 0 90 0 113348 92 0 0 25 0 11 0 777896315 855474176 25364 4294967295 134512640 134569956 3221224368 3221214632 1131401610 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208856 25364 13086 16 0 208840 0
vsize: 835424
[startup+1160.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 5923
Raw data (stat): 5858 (java) R 5857 24300 24299 0 -1 0 17986 0 90 0 114343 92 0 0 25 0 11 0 777896315 855474176 25393 4294967295 134512640 134569956 3221224368 3221214564 1130885154 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208856 25393 13086 16 0 208840 0
vsize: 835424
[startup+1170.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 5923
Raw data (stat): 5858 (java) R 5857 24300 24299 0 -1 0 17986 0 90 0 115335 92 0 0 25 0 11 0 777896315 855474176 25393 4294967295 134512640 134569956 3221224368 3221214564 1130885147 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208856 25393 13086 16 0 208840 0
vsize: 835424
[startup+1180.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 5925
Raw data (stat): 5858 (java) R 5857 24300 24299 0 -1 0 17986 0 90 0 116327 93 0 0 25 0 11 0 777896315 855474176 25421 4294967295 134512640 134569956 3221224368 3221214640 1131361349 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208856 25421 13086 16 0 208840 0
vsize: 835424
[startup+1190.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 5925
Raw data (stat): 5858 (java) R 5857 24300 24299 0 -1 0 17986 0 90 0 117320 93 0 0 25 0 11 0 777896315 855474176 25421 4294967295 134512640 134569956 3221224368 3221214520 1131154617 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208856 25421 13086 16 0 208840 0
vsize: 835424
[startup+1200.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 5925
Raw data (stat): 5858 (java) S 5857 24300 24299 0 -1 0 17986 0 90 0 118313 94 0 0 25 0 11 0 777896315 855474176 25449 4294967295 134512640 134569956 3221224368 3221213296 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208856 25449 13086 16 0 208840 0
vsize: 835424
[startup+1210.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 5925
Raw data (stat): 5858 (java) R 5857 24300 24299 0 -1 0 17986 0 90 0 119307 95 0 0 25 0 11 0 777896315 855474176 25449 4294967295 134512640 134569956 3221224368 3221214616 1131341202 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208856 25449 13086 16 0 208840 0
vsize: 835424
[startup+1220.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 5925
Raw data (stat): 5858 (java) R 5857 24300 24299 0 -1 0 17986 0 90 0 120298 95 0 0 25 0 11 0 777896315 855474176 25477 4294967295 134512640 134569956 3221224368 3221214640 1131361364 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208856 25477 13086 16 0 208840 0
vsize: 835424
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1220.14 s]
Raw data (loadavg): 1.00 1.00 0.93 1/54 5927
Raw data (stat): 5858 (java) Z 5857 24300 24299 0 -1 1036 17986 8916 90 0 120302 100 1832 25 25 0 1 0 777896315 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): 1220.14
CPU time (s): 1222.61
CPU user time (s): 1221.35
CPU system time (s): 1.26481
CPU usage (%): 100.202
Max. virtual memory (Kb): 836448
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####