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-fpga30_29_sat_pb.cnf.cr.opb
MD5SUM	99cab377899feaa32c19b4b5cf94d7d4
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	31
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.871866
Number of variables	1305
Total number of constraints	958
Number of constraints which are clauses	899
Number of constraints which are cardinality constraints (but not clauses)	59
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	15
Maximum length of a constraint	30
Trace number 29073

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.169
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:        531908 kB
Buffers:         31156 kB
Cached:         450120 kB
SwapCached:        640 kB
Active:          62800 kB
Inactive:       420928 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        531656 kB
SwapTotal:     2097892 kB
SwapFree:      2096760 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5648 kB
Slab:            13324 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 05:02:52 (client local time) WITH STATUS 143 IN 1258.84 SECONDS
stats: 20457 7 1258.84 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/wulflinc27/normalized-fpga30_29_sat_pb.cnf.cr.opb
c reading problem ... done. Time 3.624 ms.
c #vars     1305
c #constraints  958
c starts	: 6
c conflicts	: 1763
c decisions	: 17558
c propagations	: 84931
c inspects	: 734060
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 1762
c root simplifications	: 6
s UNKNOWN
c Total CPU time (ms) : 1254.925
#### 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.87 0.97 0.91 2/54 14087
Raw data (stat): 14087 (runsolver) R 14086 3394 3393 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 836074977 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.0013 s]
Raw data (loadavg): 0.97 0.99 0.92 4/64 14097
Raw data (stat): 14087 (java) R 14086 3394 3393 0 -1 0 17257 0 93 0 347 43 0 0 25 0 11 0 836074977 860835840 18944 4294967295 134512640 134569956 3221224368 3221213792 1073952732 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210165 18944 13086 16 0 210149 0
vsize: 840660
[startup+20.0016 s]
Raw data (loadavg): 0.98 0.99 0.92 2/64 14097
Raw data (stat): 14087 (java) R 14086 3394 3393 0 -1 0 17978 0 93 0 1213 45 0 0 24 0 11 0 836074977 859942912 21161 4294967295 134512640 134569956 3221224368 3221214520 1131461483 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209947 21161 13086 16 0 209931 0
vsize: 839788
[startup+30.0018 s]
Raw data (loadavg): 0.98 0.99 0.92 2/64 14097
Raw data (stat): 14087 (java) R 14086 3394 3393 0 -1 0 17978 0 94 0 2189 46 0 0 25 0 11 0 836074977 859942912 21253 4294967295 134512640 134569956 3221224368 3221214536 1131264037 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209947 21253 13086 16 0 209931 0
vsize: 839788
[startup+40.0022 s]
Raw data (loadavg): 0.98 0.99 0.92 2/64 14097
Raw data (stat): 14087 (java) R 14086 3394 3393 0 -1 0 17978 0 94 0 3161 46 0 0 25 0 11 0 836074977 859942912 21304 4294967295 134512640 134569956 3221224368 3221214632 1131308022 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209947 21304 13086 16 0 209931 0
vsize: 839788
[startup+50.002 s]
Raw data (loadavg): 0.98 0.99 0.92 2/64 14097
Raw data (stat): 14087 (java) R 14086 3394 3393 0 -1 0 17978 0 94 0 4131 46 0 0 25 0 11 0 836074977 859942912 21339 4294967295 134512640 134569956 3221224368 3221214628 1131294244 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209947 21339 13086 16 0 209931 0
vsize: 839788
[startup+60.0022 s]
Raw data (loadavg): 0.99 0.99 0.92 2/64 14097
Raw data (stat): 14087 (java) R 14086 3394 3393 0 -1 0 17979 0 94 0 5112 46 0 0 25 0 11 0 836074977 859942912 21400 4294967295 134512640 134569956 3221224368 3221214600 1131317806 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209947 21400 13086 16 0 209931 0
vsize: 839788
[startup+70.0031 s]
Raw data (loadavg): 0.99 0.99 0.92 2/64 14097
Raw data (stat): 14087 (java) R 14086 3394 3393 0 -1 0 17979 0 94 0 6086 46 0 0 25 0 11 0 836074977 859942912 21967 4294967295 134512640 134569956 3221224368 3221214700 1130885154 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209947 21967 13086 16 0 209931 0
vsize: 839788
[startup+80.0035 s]
Raw data (loadavg): 0.99 0.99 0.92 2/64 14097
Raw data (stat): 14087 (java) R 14086 3394 3393 0 -1 0 17979 0 94 0 7072 46 0 0 25 0 11 0 836074977 859942912 21967 4294967295 134512640 134569956 3221224368 3221214528 1131263938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209947 21967 13086 16 0 209931 0
vsize: 839788
[startup+90.0037 s]
Raw data (loadavg): 0.99 0.99 0.92 2/64 14097
Raw data (stat): 14087 (java) R 14086 3394 3393 0 -1 0 17979 0 94 0 8062 46 0 0 25 0 11 0 836074977 859942912 21967 4294967295 134512640 134569956 3221224368 3221214600 1131317806 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209947 21967 13086 16 0 209931 0
vsize: 839788
[startup+100.003 s]
Raw data (loadavg): 0.99 0.99 0.92 2/64 14097
Raw data (stat): 14087 (java) R 14086 3394 3393 0 -1 0 17979 0 94 0 9045 46 0 0 25 0 11 0 836074977 859942912 21967 4294967295 134512640 134569956 3221224368 3221214608 1131316913 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209947 21967 13086 16 0 209931 0
vsize: 839788
[startup+110.004 s]
Raw data (loadavg): 0.99 0.99 0.92 2/64 14097
Raw data (stat): 14087 (java) R 14086 3394 3393 0 -1 0 17979 0 94 0 10027 46 0 0 25 0 11 0 836074977 859942912 21967 4294967295 134512640 134569956 3221224368 3221214536 1131264239 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209947 21967 13086 16 0 209931 0
vsize: 839788
[startup+120.005 s]
Raw data (loadavg): 0.99 0.99 0.92 2/64 14097
Raw data (stat): 14087 (java) R 14086 3394 3393 0 -1 0 17979 0 94 0 11007 46 0 0 25 0 11 0 836074977 859942912 21967 4294967295 134512640 134569956 3221224368 3221214528 1131264053 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209947 21967 13086 16 0 209931 0
vsize: 839788
[startup+130.005 s]
Raw data (loadavg): 0.99 0.99 0.92 2/64 14097
Raw data (stat): 14087 (java) R 14086 3394 3393 0 -1 0 17979 0 94 0 11984 46 0 0 25 0 11 0 836074977 859942912 22184 4294967295 134512640 134569956 3221224368 3221214624 1131317755 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209947 22184 13086 16 0 209931 0
vsize: 839788
[startup+140.005 s]
Raw data (loadavg): 0.99 0.99 0.92 2/64 14097
Raw data (stat): 14087 (java) R 14086 3394 3393 0 -1 0 17979 0 94 0 12972 46 0 0 25 0 11 0 836074977 859942912 22240 4294967295 134512640 134569956 3221224368 3221214480 1131283105 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209947 22240 13086 16 0 209931 0
vsize: 839788
[startup+150.006 s]
Raw data (loadavg): 0.99 0.99 0.92 2/64 14097
Raw data (stat): 14087 (java) R 14086 3394 3393 0 -1 0 17979 0 94 0 13954 47 0 0 25 0 11 0 836074977 859942912 22265 4294967295 134512640 134569956 3221224368 3221214624 1131317827 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209947 22265 13086 16 0 209931 0
vsize: 839788
[startup+160.006 s]
Raw data (loadavg): 0.99 0.99 0.92 2/64 14097
Raw data (stat): 14087 (java) R 14086 3394 3393 0 -1 0 17979 0 94 0 14936 47 0 0 25 0 11 0 836074977 859942912 22290 4294967295 134512640 134569956 3221224368 3221214648 1131352758 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209947 22290 13086 16 0 209931 0
vsize: 839788
[startup+170.006 s]
Raw data (loadavg): 0.99 0.99 0.92 2/64 14097
Raw data (stat): 14087 (java) R 14086 3394 3393 0 -1 0 17979 0 94 0 15923 47 0 0 25 0 11 0 836074977 859942912 22315 4294967295 134512640 134569956 3221224368 3221214560 1131264037 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209947 22315 13086 16 0 209931 0
vsize: 839788
[startup+180.006 s]
Raw data (loadavg): 0.99 0.99 0.92 2/64 14097
Raw data (stat): 14087 (java) R 14086 3394 3393 0 -1 0 17979 0 94 0 16904 47 0 0 25 0 11 0 836074977 859942912 22353 4294967295 134512640 134569956 3221224368 3221214552 1131263994 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209947 22353 13086 16 0 209931 0
vsize: 839788
[startup+190.007 s]
Raw data (loadavg): 0.99 0.99 0.92 2/64 14097
Raw data (stat): 14087 (java) R 14086 3394 3393 0 -1 0 17979 0 94 0 17884 47 0 0 25 0 11 0 836074977 859942912 22390 4294967295 134512640 134569956 3221224368 3221214624 1131317744 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209947 22390 13086 16 0 209931 0
vsize: 839788
[startup+200.006 s]
Raw data (loadavg): 0.99 0.99 0.92 2/64 14097
Raw data (stat): 14087 (java) R 14086 3394 3393 0 -1 0 17979 0 94 0 18870 47 0 0 25 0 11 0 836074977 859942912 22416 4294967295 134512640 134569956 3221224368 3221214588 1130885157 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209947 22416 13086 16 0 209931 0
vsize: 839788
[startup+210.008 s]
Raw data (loadavg): 0.99 0.99 0.92 2/64 14097
Raw data (stat): 14087 (java) R 14086 3394 3393 0 -1 0 17979 0 94 0 19850 47 0 0 25 0 11 0 836074977 859942912 22467 4294967295 134512640 134569956 3221224368 3221214552 1131264037 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209947 22467 13086 16 0 209931 0
vsize: 839788
[startup+220.008 s]
Raw data (loadavg): 0.99 0.99 0.92 2/64 14097
Raw data (stat): 14087 (java) R 14086 3394 3393 0 -1 0 17979 0 94 0 20830 47 0 0 25 0 11 0 836074977 859942912 22505 4294967295 134512640 134569956 3221224368 3221214632 1131175476 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209947 22505 13086 16 0 209931 0
vsize: 839788
[startup+230.008 s]
Raw data (loadavg): 0.99 0.99 0.92 2/64 14097
Raw data (stat): 14087 (java) R 14086 3394 3393 0 -1 0 17979 0 94 0 21808 47 0 0 25 0 11 0 836074977 859942912 22543 4294967295 134512640 134569956 3221224368 3221214652 1131316936 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209947 22543 13086 16 0 209931 0
vsize: 839788
[startup+240.008 s]
Raw data (loadavg): 0.99 0.99 0.92 2/64 14097
Raw data (stat): 14087 (java) R 14086 3394 3393 0 -1 0 17979 0 94 0 22793 47 0 0 25 0 11 0 836074977 859942912 22596 4294967295 134512640 134569956 3221224368 3221214612 1131127964 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209947 22596 13086 16 0 209931 0
vsize: 839788
[startup+250.008 s]
Raw data (loadavg): 0.99 0.99 0.92 2/64 14097
Raw data (stat): 14087 (java) R 14086 3394 3393 0 -1 0 17979 0 94 0 23761 47 0 0 25 0 11 0 836074977 859942912 22868 4294967295 134512640 134569956 3221224368 3221214616 1131184368 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209947 22868 13086 16 0 209931 0
vsize: 839788
[startup+260.008 s]
Raw data (loadavg): 0.99 0.99 0.92 2/64 14097
Raw data (stat): 14087 (java) R 14086 3394 3393 0 -1 0 17980 0 94 0 24708 47 0 0 25 0 11 0 836074977 859942912 23498 4294967295 134512640 134569956 3221224368 3221214688 1131301687 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209947 23498 13086 16 0 209931 0
vsize: 839788
[startup+270.009 s]
Raw data (loadavg): 0.99 0.99 0.92 2/64 14097
Raw data (stat): 14087 (java) R 14086 3394 3393 0 -1 0 17980 0 94 0 25662 47 0 0 25 0 11 0 836074977 859942912 23943 4294967295 134512640 134569956 3221224368 3221214616 1131184368 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209947 23943 13086 16 0 209931 0
vsize: 839788
[startup+280.008 s]
Raw data (loadavg): 0.99 0.99 0.92 2/64 14097
Raw data (stat): 14087 (java) R 14086 3394 3393 0 -1 0 17980 0 94 0 26622 47 0 0 25 0 11 0 836074977 859942912 23990 4294967295 134512640 134569956 3221224368 3221214632 1131175442 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209947 23990 13086 16 0 209931 0
vsize: 839788
[startup+290.009 s]
Raw data (loadavg): 0.99 0.99 0.92 2/64 14097
Raw data (stat): 14087 (java) R 14086 3394 3393 0 -1 0 17980 0 94 0 27582 47 0 0 25 0 11 0 836074977 859942912 24068 4294967295 134512640 134569956 3221224368 3221214632 1131175448 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209947 24068 13086 16 0 209931 0
vsize: 839788
[startup+300.009 s]
Raw data (loadavg): 0.99 0.99 0.92 2/64 14097
Raw data (stat): 14087 (java) R 14086 3394 3393 0 -1 0 17980 0 94 0 28545 47 0 0 25 0 11 0 836074977 859942912 24214 4294967295 134512640 134569956 3221224368 3221214544 1131461567 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209947 24214 13086 16 0 209931 0
vsize: 839788
[startup+310.01 s]
Raw data (loadavg): 0.99 0.99 0.92 2/64 14097
Raw data (stat): 14087 (java) R 14086 3394 3393 0 -1 0 17980 0 94 0 29493 47 0 0 25 0 11 0 836074977 859942912 24384 4294967295 134512640 134569956 3221224368 3221214688 1131301699 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209947 24384 13086 16 0 209931 0
vsize: 839788
[startup+320.01 s]
Raw data (loadavg): 0.99 0.99 0.92 2/64 14097
Raw data (stat): 14087 (java) R 14086 3394 3393 0 -1 0 17980 0 94 0 30405 47 0 0 25 0 11 0 836074977 859942912 25334 4294967295 134512640 134569956 3221224368 3221214688 1131263814 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209947 25334 13086 16 0 209931 0
vsize: 839788
[startup+330.01 s]
Raw data (loadavg): 0.99 0.99 0.92 2/64 14097
Raw data (stat): 14087 (java) R 14086 3394 3393 0 -1 0 17980 0 94 0 31326 47 0 0 25 0 11 0 836074977 859942912 26090 4294967295 134512640 134569956 3221224368 3221214752 1131150464 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209947 26090 13086 16 0 209931 0
vsize: 839788
[startup+340.01 s]
Raw data (loadavg): 0.99 0.99 0.92 2/64 14097
Raw data (stat): 14087 (java) R 14086 3394 3393 0 -1 0 17980 0 94 0 32251 47 0 0 25 0 11 0 836074977 859942912 26466 4294967295 134512640 134569956 3221224368 3221214688 1131301767 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209947 26466 13086 16 0 209931 0
vsize: 839788
[startup+350.01 s]
Raw data (loadavg): 0.99 0.99 0.92 2/64 14097
Raw data (stat): 14087 (java) R 14086 3394 3393 0 -1 0 17980 0 94 0 33165 47 0 0 25 0 11 0 836074977 859942912 26818 4294967295 134512640 134569956 3221224368 3221214792 1131504965 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209947 26818 13086 16 0 209931 0
vsize: 839788
[startup+360.011 s]
Raw data (loadavg): 0.99 0.99 0.92 2/64 14097
Raw data (stat): 14087 (java) R 14086 3394 3393 0 -1 0 17980 0 94 0 34097 48 0 0 25 0 11 0 836074977 859942912 27115 4294967295 134512640 134569956 3221224368 3221214792 1131504805 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209947 27115 13086 16 0 209931 0
vsize: 839788
[startup+370.013 s]
Raw data (loadavg): 0.99 0.99 0.92 2/64 14097
Raw data (stat): 14087 (java) S 14086 3394 3393 0 -1 0 17980 0 94 0 35051 48 0 0 25 0 11 0 836074977 859942912 27297 4294967295 134512640 134569956 3221224368 3221213304 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209947 27297 13086 16 0 209931 0
vsize: 839788
[startup+380.013 s]
Raw data (loadavg): 0.99 0.99 0.92 2/64 14097
Raw data (stat): 14087 (java) R 14086 3394 3393 0 -1 0 17980 0 94 0 35997 48 0 0 25 0 11 0 836074977 859942912 27524 4294967295 134512640 134569956 3221224368 3221214612 1131183931 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209947 27524 13086 16 0 209931 0
vsize: 839788
[startup+390.013 s]
Raw data (loadavg): 0.99 0.99 0.92 2/64 14097
Raw data (stat): 14087 (java) R 14086 3394 3393 0 -1 0 17980 0 94 0 36954 48 0 0 25 0 11 0 836074977 859942912 27602 4294967295 134512640 134569956 3221224368 3221214544 1131461499 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209947 27602 13086 16 0 209931 0
vsize: 839788
[startup+400.014 s]
Raw data (loadavg): 0.99 0.99 0.92 2/64 14097
Raw data (stat): 14087 (java) R 14086 3394 3393 0 -1 0 17980 0 94 0 37913 48 0 0 25 0 11 0 836074977 859942912 27767 4294967295 134512640 134569956 3221224368 3221214592 1131183961 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209947 27767 13086 16 0 209931 0
vsize: 839788
[startup+410.015 s]
Raw data (loadavg): 0.99 0.99 0.92 2/64 14097
Raw data (stat): 14087 (java) R 14086 3394 3393 0 -1 0 17980 0 94 0 38863 48 0 0 25 0 11 0 836074977 859942912 27767 4294967295 134512640 134569956 3221224368 3221214600 1131213029 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209947 27767 13086 16 0 209931 0
vsize: 839788
[startup+420.014 s]
Raw data (loadavg): 0.99 0.99 0.92 2/64 14097
Raw data (stat): 14087 (java) R 14086 3394 3393 0 -1 0 17980 0 94 0 39821 48 0 0 25 0 11 0 836074977 859942912 27893 4294967295 134512640 134569956 3221224368 3221214544 1131460087 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209947 27893 13086 16 0 209931 0
vsize: 839788
[startup+430.015 s]
Raw data (loadavg): 0.99 0.99 0.92 2/64 14097
Raw data (stat): 14087 (java) R 14086 3394 3393 0 -1 0 17980 0 94 0 40769 48 0 0 25 0 11 0 836074977 859942912 28018 4294967295 134512640 134569956 3221224368 3221214680 1130894842 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209947 28018 13086 16 0 209931 0
vsize: 839788
[startup+440.015 s]
Raw data (loadavg): 0.99 0.99 0.92 2/64 14097
Raw data (stat): 14087 (java) R 14086 3394 3393 0 -1 0 17980 0 94 0 41733 48 0 0 25 0 11 0 836074977 859942912 28186 4294967295 134512640 134569956 3221224368 3221214624 1131317716 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209947 28186 13086 16 0 209931 0
vsize: 839788
[startup+450.015 s]
Raw data (loadavg): 0.99 0.99 0.92 2/64 14097
Raw data (stat): 14087 (java) R 14086 3394 3393 0 -1 0 17980 0 94 0 42701 48 0 0 25 0 11 0 836074977 859942912 28371 4294967295 134512640 134569956 3221224368 3221214632 1131175441 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209947 28371 13086 16 0 209931 0
vsize: 839788
[startup+460.016 s]
Raw data (loadavg): 0.99 0.99 0.92 2/64 14097
Raw data (stat): 14087 (java) R 14086 3394 3393 0 -1 0 17980 0 94 0 43670 48 0 0 25 0 11 0 836074977 859942912 28527 4294967295 134512640 134569956 3221224368 3221214552 1131264037 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209947 28527 13086 16 0 209931 0
vsize: 839788
[startup+470.017 s]
Raw data (loadavg): 0.99 0.99 0.92 2/64 14097
Raw data (stat): 14087 (java) R 14086 3394 3393 0 -1 0 17980 0 94 0 44649 49 0 0 25 0 11 0 836074977 859942912 28614 4294967295 134512640 134569956 3221224368 3221214680 1131198602 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209947 28614 13086 16 0 209931 0
vsize: 839788
[startup+480.016 s]
Raw data (loadavg): 0.99 0.99 0.92 2/64 14097
Raw data (stat): 14087 (java) R 14086 3394 3393 0 -1 0 17980 0 94 0 45625 49 0 0 24 0 11 0 836074977 859942912 28663 4294967295 134512640 134569956 3221224368 3221214624 1131317754 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209947 28663 13086 16 0 209931 0
vsize: 839788
[startup+490.017 s]
Raw data (loadavg): 0.99 0.99 0.92 2/64 14097
Raw data (stat): 14087 (java) R 14086 3394 3393 0 -1 0 17980 0 94 0 46608 49 0 0 25 0 11 0 836074977 859942912 28785 4294967295 134512640 134569956 3221224368 3221214648 1131352676 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209947 28785 13086 16 0 209931 0
vsize: 839788
[startup+500.017 s]
Raw data (loadavg): 0.99 0.99 0.92 2/64 14097
Raw data (stat): 14087 (java) R 14086 3394 3393 0 -1 0 17980 0 94 0 47593 49 0 0 25 0 11 0 836074977 859942912 28874 4294967295 134512640 134569956 3221224368 3221214648 1131352763 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209947 28874 13086 16 0 209931 0
vsize: 839788
[startup+510.018 s]
Raw data (loadavg): 0.99 0.99 0.92 2/64 14097
Raw data (stat): 14087 (java) R 14086 3394 3393 0 -1 0 17980 0 94 0 48578 50 0 0 25 0 11 0 836074977 859942912 28910 4294967295 134512640 134569956 3221224368 3221214624 1131317770 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209947 28910 13086 16 0 209931 0
vsize: 839788
[startup+520.018 s]
Raw data (loadavg): 0.99 0.99 0.92 2/64 14097
Raw data (stat): 14087 (java) R 14086 3394 3393 0 -1 0 17980 0 94 0 49565 50 0 0 25 0 11 0 836074977 859942912 28934 4294967295 134512640 134569956 3221224368 3221214552 1131263938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209947 28934 13086 16 0 209931 0
vsize: 839788
[startup+530.018 s]
Raw data (loadavg): 0.99 0.99 0.92 2/64 14097
Raw data (stat): 14087 (java) R 14086 3394 3393 0 -1 0 17980 0 94 0 50550 50 0 0 25 0 11 0 836074977 859942912 28981 4294967295 134512640 134569956 3221224368 3221214544 1131461535 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209947 28981 13086 16 0 209931 0
vsize: 839788
[startup+540.018 s]
Raw data (loadavg): 0.99 0.99 0.92 2/64 14097
Raw data (stat): 14087 (java) R 14086 3394 3393 0 -1 0 17980 0 94 0 51537 50 0 0 25 0 11 0 836074977 859942912 29008 4294967295 134512640 134569956 3221224368 3221214544 1131461584 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209947 29008 13086 16 0 209931 0
vsize: 839788
[startup+550.019 s]
Raw data (loadavg): 0.99 0.99 0.92 2/64 14097
Raw data (stat): 14087 (java) R 14086 3394 3393 0 -1 0 17980 0 94 0 52522 50 0 0 25 0 11 0 836074977 859942912 29045 4294967295 134512640 134569956 3221224368 3221214628 1131184288 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209947 29045 13086 16 0 209931 0
vsize: 839788
[startup+560.019 s]
Raw data (loadavg): 0.99 0.99 0.92 2/64 14097
Raw data (stat): 14087 (java) R 14086 3394 3393 0 -1 0 17980 0 94 0 53510 50 0 0 25 0 11 0 836074977 859942912 29078 4294967295 134512640 134569956 3221224368 3221214588 1130885120 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209947 29078 13086 16 0 209931 0
vsize: 839788
[startup+570.02 s]
Raw data (loadavg): 0.99 0.99 0.92 2/64 14097
Raw data (stat): 14087 (java) R 14086 3394 3393 0 -1 0 17980 0 94 0 54497 50 0 0 25 0 11 0 836074977 859942912 29100 4294967295 134512640 134569956 3221224368 3221214552 1131264420 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209947 29100 13086 16 0 209931 0
vsize: 839788
[startup+580.02 s]
Raw data (loadavg): 0.99 0.99 0.92 2/64 14097
Raw data (stat): 14087 (java) R 14086 3394 3393 0 -1 0 17980 0 94 0 55481 50 0 0 25 0 11 0 836074977 859942912 29149 4294967295 134512640 134569956 3221224368 3221214712 1131150485 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209947 29149 13086 16 0 209931 0
vsize: 839788
[startup+590.021 s]
Raw data (loadavg): 0.99 0.99 0.92 2/64 14097
Raw data (stat): 14087 (java) R 14086 3394 3393 0 -1 0 17980 0 94 0 56466 50 0 0 25 0 11 0 836074977 859942912 29175 4294967295 134512640 134569956 3221224368 3221214648 1131301699 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209947 29175 13086 16 0 209931 0
vsize: 839788
[startup+600.021 s]
Raw data (loadavg): 0.99 0.99 0.92 2/64 14097
Raw data (stat): 14087 (java) R 14086 3394 3393 0 -1 0 17980 0 94 0 57449 50 0 0 25 0 11 0 836074977 859942912 29209 4294967295 134512640 134569956 3221224368 3221213980 1131587979 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209947 29209 13086 16 0 209931 0
vsize: 839788
[startup+610.022 s]
Raw data (loadavg): 0.99 0.99 0.92 2/64 14097
Raw data (stat): 14087 (java) R 14086 3394 3393 0 -1 0 17980 0 94 0 58418 50 0 0 25 0 11 0 836074977 859942912 29246 4294967295 134512640 134569956 3221224368 3221214652 1130885120 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209947 29246 13086 16 0 209931 0
vsize: 839788
[startup+620.023 s]
Raw data (loadavg): 0.99 0.99 0.92 2/64 14097
Raw data (stat): 14087 (java) R 14086 3394 3393 0 -1 0 17980 0 94 0 59389 50 0 0 25 0 11 0 836074977 859942912 29281 4294967295 134512640 134569956 3221224368 3221214476 1131437472 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209947 29281 13086 16 0 209931 0
vsize: 839788
[startup+630.023 s]
Raw data (loadavg): 0.99 0.99 0.92 2/64 14097
Raw data (stat): 14087 (java) R 14086 3394 3393 0 -1 0 17980 0 94 0 60344 50 0 0 25 0 11 0 836074977 859942912 29316 4294967295 134512640 134569956 3221224368 3221214720 1131310161 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209947 29316 13086 16 0 209931 0
vsize: 839788
[startup+640.024 s]
Raw data (loadavg): 0.99 0.99 0.92 2/64 14097
Raw data (stat): 14087 (java) R 14086 3394 3393 0 -1 0 17980 0 94 0 61299 51 0 0 25 0 11 0 836074977 859942912 29424 4294967295 134512640 134569956 3221224368 3221214480 1131460489 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209947 29424 13086 16 0 209931 0
vsize: 839788
[startup+650.024 s]
Raw data (loadavg): 0.99 0.99 0.92 2/64 14097
Raw data (stat): 14087 (java) R 14086 3394 3393 0 -1 0 17980 0 94 0 62265 51 0 0 25 0 11 0 836074977 859942912 29535 4294967295 134512640 134569956 3221224368 3221214568 1131175511 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209947 29535 13086 16 0 209931 0
vsize: 839788
[startup+660.024 s]
Raw data (loadavg): 0.99 0.99 0.92 2/64 14097
Raw data (stat): 14087 (java) R 14086 3394 3393 0 -1 0 17980 0 94 0 63222 51 0 0 25 0 11 0 836074977 859942912 29748 4294967295 134512640 134569956 3221224368 3221214592 1131308003 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209947 29748 13086 16 0 209931 0
vsize: 839788
[startup+670.025 s]
Raw data (loadavg): 0.99 0.99 0.92 2/64 14097
Raw data (stat): 14087 (java) R 14086 3394 3393 0 -1 0 17980 0 94 0 64181 51 0 0 25 0 11 0 836074977 859942912 29748 4294967295 134512640 134569956 3221224368 3221214496 1131263994 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209947 29748 13086 16 0 209931 0
vsize: 839788
[startup+680.025 s]
Raw data (loadavg): 0.99 0.99 0.92 2/64 14097
Raw data (stat): 14087 (java) R 14086 3394 3393 0 -1 0 17980 0 94 0 65136 51 0 0 25 0 11 0 836074977 859942912 29896 4294967295 134512640 134569956 3221224368 3221214488 1131264420 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209947 29896 13086 16 0 209931 0
vsize: 839788
[startup+690.026 s]
Raw data (loadavg): 0.99 0.99 0.92 2/64 14097
Raw data (stat): 14087 (java) R 14086 3394 3393 0 -1 0 17980 0 94 0 66091 51 0 0 25 0 11 0 836074977 859942912 30098 4294967295 134512640 134569956 3221224368 3221214548 1131183931 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209947 30098 13086 16 0 209931 0
vsize: 839788
[startup+700.025 s]
Raw data (loadavg): 0.99 0.99 0.92 2/64 14097
Raw data (stat): 14087 (java) R 14086 3394 3393 0 -1 0 17980 0 94 0 67071 51 0 0 25 0 11 0 836074977 859942912 30161 4294967295 134512640 134569956 3221224368 3221214480 1131460091 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209947 30161 13086 16 0 209931 0
vsize: 839788
[startup+710.027 s]
Raw data (loadavg): 0.99 0.99 0.92 2/64 14097
Raw data (stat): 14087 (java) R 14086 3394 3393 0 -1 0 17980 0 94 0 68038 51 0 0 25 0 11 0 836074977 859942912 30196 4294967295 134512640 134569956 3221224368 3221214520 1131229163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209947 30196 13086 16 0 209931 0
vsize: 839788
[startup+720.027 s]
Raw data (loadavg): 0.99 0.99 0.92 2/64 14097
Raw data (stat): 14087 (java) R 14086 3394 3393 0 -1 0 17980 0 94 0 69005 51 0 0 25 0 11 0 836074977 859942912 30306 4294967295 134512640 134569956 3221224368 3221214136 1131593500 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209947 30306 13086 16 0 209931 0
vsize: 839788
[startup+730.027 s]
Raw data (loadavg): 0.99 0.99 0.92 2/64 14097
Raw data (stat): 14087 (java) R 14086 3394 3393 0 -1 0 17980 0 94 0 69960 51 0 0 25 0 11 0 836074977 859942912 30456 4294967295 134512640 134569956 3221224368 3221214524 1130885132 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209947 30456 13086 16 0 209931 0
vsize: 839788
[startup+740.028 s]
Raw data (loadavg): 0.99 0.99 0.92 2/64 14097
Raw data (stat): 14087 (java) R 14086 3394 3393 0 -1 0 17980 0 94 0 70916 51 0 0 25 0 11 0 836074977 859942912 30626 4294967295 134512640 134569956 3221224368 3221213984 1131587960 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209947 30626 13086 16 0 209931 0
vsize: 839788
[startup+750.027 s]
Raw data (loadavg): 0.99 0.99 0.92 2/64 14097
Raw data (stat): 14087 (java) R 14086 3394 3393 0 -1 0 17980 0 94 0 71873 52 0 0 25 0 11 0 836074977 859942912 30779 4294967295 134512640 134569956 3221224368 3221214524 1130885163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209947 30779 13086 16 0 209931 0
vsize: 839788
[startup+760.028 s]
Raw data (loadavg): 0.99 0.99 0.92 2/64 14097
Raw data (stat): 14087 (java) R 14086 3394 3393 0 -1 0 17980 0 94 0 72831 52 0 0 25 0 11 0 836074977 859942912 30962 4294967295 134512640 134569956 3221224368 3221214480 1131460489 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209947 30962 13086 16 0 209931 0
vsize: 839788
[startup+770.035 s]
Raw data (loadavg): 0.99 0.99 0.92 2/64 14097
Raw data (stat): 14087 (java) R 14086 3394 3393 0 -1 0 17980 0 94 0 73779 52 0 0 25 0 11 0 836074977 859942912 31116 4294967295 134512640 134569956 3221224368 3221214496 1131264037 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209947 31116 13086 16 0 209931 0
vsize: 839788
[startup+780.039 s]
Raw data (loadavg): 0.99 0.99 0.92 2/64 14097
Raw data (stat): 14087 (java) R 14086 3394 3393 0 -1 0 17980 0 94 0 74737 52 0 0 25 0 11 0 836074977 859942912 31279 4294967295 134512640 134569956 3221224368 3221214488 1131263994 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209947 31279 13086 16 0 209931 0
vsize: 839788
[startup+790.039 s]
Raw data (loadavg): 0.99 0.99 0.92 2/64 14097
Raw data (stat): 14087 (java) R 14086 3394 3393 0 -1 0 17980 0 94 0 75686 52 0 0 25 0 11 0 836074977 859942912 31428 4294967295 134512640 134569956 3221224368 3221214560 1131317825 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209947 31428 13086 16 0 209931 0
vsize: 839788
[startup+800.042 s]
Raw data (loadavg): 0.99 0.99 0.92 2/64 14097
Raw data (stat): 14087 (java) S 14086 3394 3393 0 -1 0 17980 0 94 0 76641 52 0 0 25 0 11 0 836074977 859942912 31550 4294967295 134512640 134569956 3221224368 3221213240 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209947 31550 13086 16 0 209931 0
vsize: 839788
[startup+810.043 s]
Raw data (loadavg): 0.99 0.99 0.92 2/64 14097
Raw data (stat): 14087 (java) R 14086 3394 3393 0 -1 0 17980 0 94 0 77592 52 0 0 25 0 11 0 836074977 859942912 31669 4294967295 134512640 134569956 3221224368 3221214664 1131600305 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209947 31669 13086 16 0 209931 0
vsize: 839788
[startup+820.043 s]
Raw data (loadavg): 0.99 0.99 0.92 2/64 14097
Raw data (stat): 14087 (java) R 14086 3394 3393 0 -1 0 17980 0 94 0 78539 52 0 0 25 0 11 0 836074977 859942912 31830 4294967295 134512640 134569956 3221224368 3221214648 1131301865 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209947 31830 13086 16 0 209931 0
vsize: 839788
[startup+830.044 s]
Raw data (loadavg): 0.99 0.99 0.92 2/64 14097
Raw data (stat): 14087 (java) R 14086 3394 3393 0 -1 0 17980 0 94 0 79487 52 0 0 25 0 11 0 836074977 859942912 31916 4294967295 134512640 134569956 3221224368 3221214528 1131183961 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209947 31916 13086 16 0 209931 0
vsize: 839788
[startup+840.044 s]
Raw data (loadavg): 0.99 0.99 0.92 2/64 14097
Raw data (stat): 14087 (java) R 14086 3394 3393 0 -1 0 17980 0 94 0 80434 52 0 0 25 0 11 0 836074977 859942912 32091 4294967295 134512640 134569956 3221224368 3221214568 1131175442 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209947 32091 13086 16 0 209931 0
vsize: 839788
[startup+850.044 s]
Raw data (loadavg): 0.99 0.99 0.92 2/64 14097
Raw data (stat): 14087 (java) R 14086 3394 3393 0 -1 0 17980 0 94 0 81381 52 0 0 25 0 11 0 836074977 859942912 32252 4294967295 134512640 134569956 3221224368 3221214496 1131263994 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209947 32252 13086 16 0 209931 0
vsize: 839788
[startup+860.045 s]
Raw data (loadavg): 0.99 0.99 0.92 2/64 14097
Raw data (stat): 14087 (java) R 14086 3394 3393 0 -1 0 17980 0 94 0 82330 52 0 0 25 0 11 0 836074977 859942912 32394 4294967295 134512640 134569956 3221224368 3221214552 1131184386 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209947 32394 13086 16 0 209931 0
vsize: 839788
[startup+870.045 s]
Raw data (loadavg): 0.99 0.99 0.92 2/64 14097
Raw data (stat): 14087 (java) R 14086 3394 3393 0 -1 0 17980 0 94 0 83280 52 0 0 25 0 11 0 836074977 859942912 32545 4294967295 134512640 134569956 3221224368 3221214748 1131150444 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209947 32545 13086 16 0 209931 0
vsize: 839788
[startup+880.045 s]
Raw data (loadavg): 0.99 0.99 0.92 2/64 14097
Raw data (stat): 14087 (java) R 14086 3394 3393 0 -1 0 17980 0 94 0 84224 52 0 0 25 0 11 0 836074977 859942912 32704 4294967295 134512640 134569956 3221224368 3221214480 1131460056 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209947 32704 13086 16 0 209931 0
vsize: 839788
[startup+890.045 s]
Raw data (loadavg): 0.99 0.99 0.92 2/64 14097
Raw data (stat): 14087 (java) R 14086 3394 3393 0 -1 0 17980 0 94 0 85176 52 0 0 25 0 11 0 836074977 859942912 32848 4294967295 134512640 134569956 3221224368 3221214560 1131317744 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209947 32848 13086 16 0 209931 0
vsize: 839788
[startup+900.045 s]
Raw data (loadavg): 0.99 0.99 0.92 2/64 14097
Raw data (stat): 14087 (java) R 14086 3394 3393 0 -1 0 17980 0 94 0 86130 52 0 0 25 0 11 0 836074977 859942912 32983 4294967295 134512640 134569956 3221224368 3221214496 1131264178 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209947 32983 13086 16 0 209931 0
vsize: 839788
[startup+910.046 s]
Raw data (loadavg): 0.99 0.99 0.92 2/64 14097
Raw data (stat): 14087 (java) R 14086 3394 3393 0 -1 0 17980 0 94 0 87076 52 0 0 24 0 11 0 836074977 859942912 33158 4294967295 134512640 134569956 3221224368 3221214496 1131263994 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209947 33158 13086 16 0 209931 0
vsize: 839788
[startup+920.047 s]
Raw data (loadavg): 0.99 0.99 0.92 2/64 14097
Raw data (stat): 14087 (java) R 14086 3394 3393 0 -1 0 17980 0 94 0 88033 52 0 0 25 0 11 0 836074977 859942912 33292 4294967295 134512640 134569956 3221224368 3221214592 1131308003 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209947 33292 13086 16 0 209931 0
vsize: 839788
[startup+930.046 s]
Raw data (loadavg): 0.99 0.99 0.92 2/64 14097
Raw data (stat): 14087 (java) R 14086 3394 3393 0 -1 0 17980 0 94 0 88982 52 0 0 25 0 11 0 836074977 859942912 33423 4294967295 134512640 134569956 3221224368 3221214648 1131301727 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209947 33423 13086 16 0 209931 0
vsize: 839788
[startup+940.046 s]
Raw data (loadavg): 0.99 0.99 0.92 2/64 14097
Raw data (stat): 14087 (java) R 14086 3394 3393 0 -1 0 17980 0 94 0 89939 52 0 0 25 0 11 0 836074977 859942912 33555 4294967295 134512640 134569956 3221224368 3221214480 1131460495 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209947 33555 13086 16 0 209931 0
vsize: 839788
[startup+950.046 s]
Raw data (loadavg): 0.99 0.99 0.92 2/64 14097
Raw data (stat): 14087 (java) R 14086 3394 3393 0 -1 0 17980 0 94 0 90889 52 0 0 25 0 11 0 836074977 859942912 33689 4294967295 134512640 134569956 3221224368 3221214648 1131302233 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209947 33689 13086 16 0 209931 0
vsize: 839788
[startup+960.047 s]
Raw data (loadavg): 0.99 0.99 0.92 2/64 14097
Raw data (stat): 14087 (java) R 14086 3394 3393 0 -1 0 17980 0 94 0 91841 53 0 0 24 0 11 0 836074977 859942912 33834 4294967295 134512640 134569956 3221224368 3221214648 1131301760 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209947 33834 13086 16 0 209931 0
vsize: 839788
[startup+970.048 s]
Raw data (loadavg): 0.99 0.99 0.92 2/64 14097
Raw data (stat): 14087 (java) R 14086 3394 3393 0 -1 0 17980 0 94 0 92792 53 0 0 25 0 11 0 836074977 859942912 33955 4294967295 134512640 134569956 3221224368 3221214480 1131460087 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209947 33955 13086 16 0 209931 0
vsize: 839788
[startup+980.047 s]
Raw data (loadavg): 0.99 0.99 0.92 2/64 14097
Raw data (stat): 14087 (java) R 14086 3394 3393 0 -1 0 17980 0 94 0 93744 53 0 0 25 0 11 0 836074977 859942912 34086 4294967295 134512640 134569956 3221224368 3221214592 1131308052 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209947 34086 13086 16 0 209931 0
vsize: 839788
[startup+990.049 s]
Raw data (loadavg): 0.99 0.99 0.92 2/64 14097
Raw data (stat): 14087 (java) R 14086 3394 3393 0 -1 0 17980 0 94 0 94706 53 0 0 25 0 11 0 836074977 859942912 34201 4294967295 134512640 134569956 3221224368 3221214592 1131308044 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209947 34201 13086 16 0 209931 0
vsize: 839788
[startup+1000.05 s]
Raw data (loadavg): 0.99 0.99 0.92 2/64 14097
Raw data (stat): 14087 (java) R 14086 3394 3393 0 -1 0 17980 0 94 0 95660 53 0 0 25 0 11 0 836074977 859942912 34352 4294967295 134512640 134569956 3221224368 3221214480 1131460495 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209947 34352 13086 16 0 209931 0
vsize: 839788
[startup+1010.05 s]
Raw data (loadavg): 0.99 0.99 0.92 2/64 14097
Raw data (stat): 14087 (java) R 14086 3394 3393 0 -1 0 17980 0 94 0 96616 53 0 0 25 0 11 0 836074977 859942912 34461 4294967295 134512640 134569956 3221224368 3221214648 1131302208 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209947 34461 13086 16 0 209931 0
vsize: 839788
[startup+1020.05 s]
Raw data (loadavg): 0.99 0.99 0.92 2/64 14097
Raw data (stat): 14087 (java) R 14086 3394 3393 0 -1 0 17980 0 94 0 97573 53 0 0 25 0 11 0 836074977 859942912 34594 4294967295 134512640 134569956 3221224368 3221214592 1131308003 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209947 34594 13086 16 0 209931 0
vsize: 839788
[startup+1030.05 s]
Raw data (loadavg): 0.99 0.99 0.92 2/64 14097
Raw data (stat): 14087 (java) R 14086 3394 3393 0 -1 0 17980 0 94 0 98538 53 0 0 25 0 11 0 836074977 859942912 34697 4294967295 134512640 134569956 3221224368 3221214712 1131150488 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209947 34697 13086 16 0 209931 0
vsize: 839788
[startup+1040.05 s]
Raw data (loadavg): 0.99 0.99 0.92 2/64 14097
Raw data (stat): 14087 (java) S 14086 3394 3393 0 -1 0 17980 0 94 0 99491 53 0 0 25 0 11 0 836074977 859942912 34797 4294967295 134512640 134569956 3221224368 3221213392 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209947 34797 13086 16 0 209931 0
vsize: 839788
[startup+1050.05 s]
Raw data (loadavg): 0.99 0.99 0.92 2/64 14097
Raw data (stat): 14087 (java) R 14086 3394 3393 0 -1 0 17980 0 94 0 100446 53 0 0 25 0 11 0 836074977 859942912 34925 4294967295 134512640 134569956 3221224368 3221214496 1131264037 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209947 34925 13086 16 0 209931 0
vsize: 839788
[startup+1060.05 s]
Raw data (loadavg): 0.99 0.99 0.92 2/64 14097
Raw data (stat): 14087 (java) R 14086 3394 3393 0 -1 0 17980 0 94 0 101411 53 0 0 25 0 11 0 836074977 859942912 35027 4294967295 134512640 134569956 3221224368 3221214200 1131587960 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209947 35027 13086 16 0 209931 0
vsize: 839788
[startup+1070.05 s]
Raw data (loadavg): 0.99 0.99 0.92 2/64 14097
Raw data (stat): 14087 (java) R 14086 3394 3393 0 -1 0 17980 0 94 0 102386 53 0 0 25 0 11 0 836074977 859942912 35083 4294967295 134512640 134569956 3221224368 3221214712 1131150514 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209947 35083 13086 16 0 209931 0
vsize: 839788
[startup+1080.05 s]
Raw data (loadavg): 0.99 0.99 0.92 2/64 14097
Raw data (stat): 14087 (java) R 14086 3394 3393 0 -1 0 17980 0 94 0 103354 54 0 0 25 0 11 0 836074977 859942912 35169 4294967295 134512640 134569956 3221224368 3221214712 1131150464 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209947 35169 13086 16 0 209931 0
vsize: 839788
[startup+1090.05 s]
Raw data (loadavg): 0.99 0.99 0.92 2/64 14097
Raw data (stat): 14087 (java) R 14086 3394 3393 0 -1 0 17980 0 94 0 104318 54 0 0 25 0 11 0 836074977 859942912 35245 4294967295 134512640 134569956 3221224368 3221214648 1131301760 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209947 35245 13086 16 0 209931 0
vsize: 839788
[startup+1100.05 s]
Raw data (loadavg): 1.07 1.01 0.93 3/68 14143
Raw data (stat): 14087 (java) R 14086 3394 3393 0 -1 0 17980 0 94 0 105275 58 0 0 25 0 11 0 836074977 859942912 35303 4294967295 134512640 134569956 3221224368 3221213872 1131587924 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209947 35303 13086 16 0 209931 0
vsize: 839788
[startup+1110.05 s]
Raw data (loadavg): 1.06 1.00 0.93 2/64 14150
Raw data (stat): 14087 (java) R 14086 3394 3393 0 -1 0 17980 0 94 0 106212 58 0 0 25 0 11 0 836074977 859942912 35433 4294967295 134512640 134569956 3221224368 3221214648 1131302245 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209947 35433 13086 16 0 209931 0
vsize: 839788
[startup+1120.05 s]
Raw data (loadavg): 1.05 1.00 0.93 2/64 14150
Raw data (stat): 14087 (java) R 14086 3394 3393 0 -1 0 17980 0 94 0 107182 58 0 0 25 0 11 0 836074977 859942912 35480 4294967295 134512640 134569956 3221224368 3221214072 1131595545 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209947 35480 13086 16 0 209931 0
vsize: 839788
[startup+1130.05 s]
Raw data (loadavg): 1.04 1.00 0.93 2/64 14150
Raw data (stat): 14087 (java) R 14086 3394 3393 0 -1 0 17980 0 94 0 108127 58 0 0 25 0 11 0 836074977 859942912 35571 4294967295 134512640 134569956 3221224368 3221214248 1131593385 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209947 35571 13086 16 0 209931 0
vsize: 839788
[startup+1140.05 s]
Raw data (loadavg): 1.04 1.00 0.93 2/64 14150
Raw data (stat): 14087 (java) R 14086 3394 3393 0 -1 0 17980 0 94 0 109045 58 0 0 25 0 11 0 836074977 859942912 35784 4294967295 134512640 134569956 3221224368 3221214648 1131301727 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209947 35784 13086 16 0 209931 0
vsize: 839788
[startup+1150.05 s]
Raw data (loadavg): 1.03 1.00 0.93 2/64 14150
Raw data (stat): 14087 (java) R 14086 3394 3393 0 -1 0 17980 0 94 0 110001 58 0 0 25 0 11 0 836074977 859942912 35990 4294967295 134512640 134569956 3221224368 3221213968 1131593511 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209947 35990 13086 16 0 209931 0
vsize: 839788
[startup+1160.06 s]
Raw data (loadavg): 1.03 1.00 0.93 2/64 14150
Raw data (stat): 14087 (java) R 14086 3394 3393 0 -1 0 17980 0 94 0 110967 59 0 0 25 0 11 0 836074977 859942912 36047 4294967295 134512640 134569956 3221224368 3221213840 1085679308 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209947 36047 13086 16 0 209931 0
vsize: 839788
[startup+1170.06 s]
Raw data (loadavg): 1.02 1.00 0.93 2/64 14152
Raw data (stat): 14087 (java) R 14086 3394 3393 0 -1 0 17980 0 94 0 111932 59 0 0 25 0 11 0 836074977 859942912 36068 4294967295 134512640 134569956 3221224368 3221213908 1131593508 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209947 36068 13086 16 0 209931 0
vsize: 839788
[startup+1180.06 s]
Raw data (loadavg): 1.02 1.00 0.93 2/64 14152
Raw data (stat): 14087 (java) R 14086 3394 3393 0 -1 0 17980 0 94 0 112890 59 0 0 25 0 11 0 836074977 859942912 36318 4294967295 134512640 134569956 3221224368 3221214752 1131504805 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209947 36318 13086 16 0 209931 0
vsize: 839788
[startup+1190.06 s]
Raw data (loadavg): 1.01 1.00 0.93 2/64 14152
Raw data (stat): 14087 (java) R 14086 3394 3393 0 -1 0 17980 0 94 0 113854 59 0 0 25 0 11 0 836074977 859942912 36507 4294967295 134512640 134569956 3221224368 3221214496 1131263829 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209947 36507 13086 16 0 209931 0
vsize: 839788
[startup+1200.06 s]
Raw data (loadavg): 1.01 1.00 0.93 2/64 14152
Raw data (stat): 14087 (java) R 14086 3394 3393 0 -1 0 17980 0 94 0 114820 59 0 0 25 0 11 0 836074977 859942912 36539 4294967295 134512640 134569956 3221224368 3221214568 1131175476 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209947 36539 13086 16 0 209931 0
vsize: 839788
[startup+1210.06 s]
Raw data (loadavg): 1.01 1.00 0.93 2/64 14152
Raw data (stat): 14087 (java) R 14086 3394 3393 0 -1 0 17980 0 94 0 115789 59 0 0 25 0 11 0 836074977 859942912 36545 4294967295 134512640 134569956 3221224368 3221214712 1131150552 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209947 36545 13086 16 0 209931 0
vsize: 839788
[startup+1220.06 s]
Raw data (loadavg): 1.01 1.00 0.93 2/64 14152
Raw data (stat): 14087 (java) R 14086 3394 3393 0 -1 0 17980 0 94 0 116742 59 0 0 25 0 11 0 836074977 859942912 36803 4294967295 134512640 134569956 3221224368 3221214304 1131593313 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209947 36803 13086 16 0 209931 0
vsize: 839788
[startup+1230.06 s]
Raw data (loadavg): 1.01 1.00 0.93 2/64 14152
Raw data (stat): 14087 (java) R 14086 3394 3393 0 -1 0 17980 0 94 0 117696 59 0 0 25 0 11 0 836074977 859942912 36892 4294967295 134512640 134569956 3221224368 3221214496 1131264157 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209947 36892 13086 16 0 209931 0
vsize: 839788
[startup+1240.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 14152
Raw data (stat): 14087 (java) R 14086 3394 3393 0 -1 0 17980 0 94 0 118658 59 0 0 25 0 11 0 836074977 859942912 37175 4294967295 134512640 134569956 3221224368 3221214480 1131460136 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209947 37175 13086 16 0 209931 0
vsize: 839788
[startup+1250.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 14152
Raw data (stat): 14087 (java) R 14086 3394 3393 0 -1 0 17980 0 94 0 119613 59 0 0 25 0 11 0 836074977 859942912 37374 4294967295 134512640 134569956 3221224368 3221214480 1131460492 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209947 37374 13086 16 0 209931 0
vsize: 839788
[startup+1260.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 14152
Raw data (stat): 14087 (java) R 14086 3394 3393 0 -1 0 17980 0 94 0 120579 59 0 0 25 0 11 0 836074977 859942912 37454 4294967295 134512640 134569956 3221224368 3221214568 1131175500 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209947 37454 13086 16 0 209931 0
vsize: 839788
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1260.17 s]
Raw data (loadavg): 1.00 1.00 0.93 1/54 14154
Raw data (stat): 14087 (java) Z 14086 3394 3393 0 -1 1036 17980 21951 94 0 120583 59 5188 52 25 0 1 0 836074977 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.17
CPU time (s): 1258.84
CPU user time (s): 1257.72
CPU system time (s): 1.12083
CPU usage (%): 99.8942
Max. virtual memory (Kb): 840660
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####