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/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-vpm1.opb
MD5SUM	ec9e3281577e2d3f7b25c1cc88cac9ea
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	20
Optimality of the best value was proved	NO
Number of terms in the objective function	168
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	168
Number of bits of the sum of numbers in the objective function	8
Biggest number in a constraint	102400
Number of bits of the biggest number in a constraint	17
Biggest sum of numbers in a constraint	615983
Number of bits of the biggest sum of numbers	20
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.06884
Number of variables	2124
Total number of constraints	612
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	168
Number of constraints which are nor clauses,nor cardinality constraints	444
Minimum length of a constraint	1
Maximum length of a constraint	64
Trace number 30065

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc24 THE 2005-05-25 14:24:32 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=21469 boxname=wulflinc24 idbench=1457 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  ec9e3281577e2d3f7b25c1cc88cac9ea  /oldhome/oroussel/tmp/wulflinc24/normalized-mps-v2-13-7-vpm1.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc24/normalized-mps-v2-13-7-vpm1.opb
IDLAUNCH: 21469
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.080
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	: 3
cpu MHz		: 451.080
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:        641660 kB
Buffers:         31148 kB
Cached:         339816 kB
SwapCached:        588 kB
Active:          67836 kB
Inactive:       305220 kB
HighTotal:      131008 kB
HighFree:          280 kB
LowTotal:       903652 kB
LowFree:        641380 kB
SwapTotal:     2097892 kB
SwapFree:      2096416 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5160 kB
Slab:            14268 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 14:45:04 (client local time) WITH STATUS 143 IN 1243.27 SECONDS
stats: 21469 7 1243.27 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/wulflinc24/normalized-mps-v2-13-7-vpm1.opb
c reading problem ... done. Time 4.22 ms.
c #vars     2124
c #constraints  486
c starts	: 7
c conflicts	: 2096
c decisions	: 22647
c propagations	: 60278
c inspects	: 4433948
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 2096
c root simplifications	: 312
s UNKNOWN
c Total CPU time (ms) : 1229.072
#### 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.93 0.98 0.99 2/54 22417
Raw data (stat): 22417 (runsolver) R 22416 4613 4612 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 839574896 1052672 99 4294967295 134512640 135381576 3221224400 3221219620 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+9.99959 s]
Raw data (loadavg): 1.16 1.03 1.01 3/64 22427
Raw data (stat): 22417 (java) R 22416 4613 4612 0 -1 0 18072 0 1 0 680 37 0 0 25 0 11 0 839574896 862953472 21268 4294967295 134512640 134569956 3221224368 3221214680 1131399584 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210682 21268 13086 16 0 210666 0
vsize: 842728
[startup+20.0002 s]
Raw data (loadavg): 1.14 1.03 1.01 2/64 22427
Raw data (stat): 22417 (java) R 22416 4613 4612 0 -1 0 18075 0 1 0 1567 38 0 0 25 0 11 0 839574896 867807232 22892 4294967295 134512640 134569956 3221224368 3221214672 1131177380 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211867 22892 13086 16 0 211851 0
vsize: 847468
[startup+30.0014 s]
Raw data (loadavg): 1.12 1.03 1.01 2/64 22427
Raw data (stat): 22417 (java) R 22416 4613 4612 0 -1 0 18075 0 1 0 2501 38 0 0 25 0 11 0 839574896 864661504 22424 4294967295 134512640 134569956 3221224368 3221214680 1131396096 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211099 22424 13086 16 0 211083 0
vsize: 844396
[startup+40.0016 s]
Raw data (loadavg): 1.18 1.04 1.01 2/64 22427
Raw data (stat): 22417 (java) R 22416 4613 4612 0 -1 0 18075 0 1 0 3432 38 0 0 25 0 11 0 839574896 864661504 22634 4294967295 134512640 134569956 3221224368 3221214680 1131393231 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211099 22634 13086 16 0 211083 0
vsize: 844396
[startup+50.0023 s]
Raw data (loadavg): 1.15 1.04 1.01 2/64 22427
Raw data (stat): 22417 (java) R 22416 4613 4612 0 -1 0 18075 0 1 0 4352 39 0 0 25 0 11 0 839574896 864661504 23135 4294967295 134512640 134569956 3221224368 3221214680 1131394477 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211099 23135 13086 16 0 211083 0
vsize: 844396
[startup+60.0025 s]
Raw data (loadavg): 1.13 1.04 1.01 2/64 22427
Raw data (stat): 22417 (java) R 22416 4613 4612 0 -1 0 18075 0 1 0 5313 39 0 0 25 0 11 0 839574896 864661504 23339 4294967295 134512640 134569956 3221224368 3221214576 1131308502 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211099 23339 13086 16 0 211083 0
vsize: 844396
[startup+70.0027 s]
Raw data (loadavg): 1.11 1.04 1.01 2/64 22427
Raw data (stat): 22417 (java) R 22416 4613 4612 0 -1 0 18075 0 1 0 6287 39 0 0 25 0 11 0 839574896 864661504 23490 4294967295 134512640 134569956 3221224368 3221214584 1131278644 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211099 23490 13086 16 0 211083 0
vsize: 844396
[startup+80.0035 s]
Raw data (loadavg): 1.09 1.04 1.01 2/64 22427
Raw data (stat): 22417 (java) R 22416 4613 4612 0 -1 0 18075 0 1 0 7269 39 0 0 25 0 11 0 839574896 864661504 23554 4294967295 134512640 134569956 3221224368 3221214584 1131278675 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211099 23554 13086 16 0 211083 0
vsize: 844396
[startup+90.0046 s]
Raw data (loadavg): 1.08 1.03 1.01 2/64 22427
Raw data (stat): 22417 (java) R 22416 4613 4612 0 -1 0 18076 0 1 0 8253 40 0 0 25 0 11 0 839574896 864661504 23590 4294967295 134512640 134569956 3221224368 3221214584 1131282489 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211099 23590 13086 16 0 211083 0
vsize: 844396
[startup+100.005 s]
Raw data (loadavg): 1.06 1.03 1.01 2/64 22427
Raw data (stat): 22417 (java) R 22416 4613 4612 0 -1 0 18076 0 1 0 9237 40 0 0 25 0 11 0 839574896 864661504 23665 4294967295 134512640 134569956 3221224368 3221214680 1131400156 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211099 23665 13086 16 0 211083 0
vsize: 844396
[startup+110.005 s]
Raw data (loadavg): 1.05 1.03 1.01 2/64 22427
Raw data (stat): 22417 (java) R 22416 4613 4612 0 -1 0 18076 0 1 0 10227 40 0 0 25 0 11 0 839574896 864661504 23691 4294967295 134512640 134569956 3221224368 3221214680 1131399584 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211099 23691 13086 16 0 211083 0
vsize: 844396
[startup+120.006 s]
Raw data (loadavg): 1.05 1.03 1.00 2/64 22427
Raw data (stat): 22417 (java) R 22416 4613 4612 0 -1 0 18076 0 1 0 11214 40 0 0 25 0 11 0 839574896 864661504 23720 4294967295 134512640 134569956 3221224368 3221214584 1131283164 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211099 23720 13086 16 0 211083 0
vsize: 844396
[startup+130.006 s]
Raw data (loadavg): 1.04 1.03 1.00 2/64 22427
Raw data (stat): 22417 (java) R 22416 4613 4612 0 -1 0 18076 0 1 0 12202 41 0 0 25 0 11 0 839574896 864661504 23744 4294967295 134512640 134569956 3221224368 3221214592 1131193881 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211099 23744 13086 16 0 211083 0
vsize: 844396
[startup+140.007 s]
Raw data (loadavg): 1.03 1.03 1.00 2/64 22427
Raw data (stat): 22417 (java) R 22416 4613 4612 0 -1 0 18076 0 1 0 13190 41 0 0 25 0 11 0 839574896 864661504 23763 4294967295 134512640 134569956 3221224368 3221214584 1131282783 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211099 23763 13086 16 0 211083 0
vsize: 844396
[startup+150.007 s]
Raw data (loadavg): 1.03 1.03 1.00 2/64 22427
Raw data (stat): 22417 (java) R 22416 4613 4612 0 -1 0 18076 0 1 0 14177 41 0 0 24 0 11 0 839574896 864661504 23790 4294967295 134512640 134569956 3221224368 3221214584 1131282529 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211099 23790 13086 16 0 211083 0
vsize: 844396
[startup+160.006 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 22427
Raw data (stat): 22417 (java) R 22416 4613 4612 0 -1 0 18076 0 1 0 15165 41 0 0 25 0 11 0 839574896 864661504 23821 4294967295 134512640 134569956 3221224368 3221214680 1131393005 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211099 23821 13086 16 0 211083 0
vsize: 844396
[startup+170.007 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 22427
Raw data (stat): 22417 (java) R 22416 4613 4612 0 -1 0 18076 0 1 0 16153 41 0 0 24 0 11 0 839574896 864661504 23847 4294967295 134512640 134569956 3221224368 3221214680 1131393238 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211099 23847 13086 16 0 211083 0
vsize: 844396
[startup+180.007 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 22427
Raw data (stat): 22417 (java) R 22416 4613 4612 0 -1 0 18076 0 1 0 17143 42 0 0 25 0 11 0 839574896 864661504 23874 4294967295 134512640 134569956 3221224368 3221214680 1131396152 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211099 23874 13086 16 0 211083 0
vsize: 844396
[startup+190.008 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 22427
Raw data (stat): 22417 (java) R 22416 4613 4612 0 -1 0 18076 0 1 0 18132 42 0 0 25 0 11 0 839574896 864661504 23896 4294967295 134512640 134569956 3221224368 3221214560 1131283795 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211099 23896 13086 16 0 211083 0
vsize: 844396
[startup+200.008 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 22427
Raw data (stat): 22417 (java) R 22416 4613 4612 0 -1 0 18076 0 1 0 19120 42 0 0 24 0 11 0 839574896 864661504 23916 4294967295 134512640 134569956 3221224368 3221214656 1131396113 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211099 23916 13086 16 0 211083 0
vsize: 844396
[startup+210.008 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 22427
Raw data (stat): 22417 (java) R 22416 4613 4612 0 -1 0 18076 0 1 0 20111 42 0 0 25 0 11 0 839574896 864661504 23932 4294967295 134512640 134569956 3221224368 3221214656 1131400036 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211099 23932 13086 16 0 211083 0
vsize: 844396
[startup+220.009 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 22427
Raw data (stat): 22417 (java) R 22416 4613 4612 0 -1 0 18076 0 1 0 21098 43 0 0 25 0 11 0 839574896 864661504 23962 4294967295 134512640 134569956 3221224368 3221214560 1131282666 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211099 23962 13086 16 0 211083 0
vsize: 844396
[startup+230.009 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 22427
Raw data (stat): 22417 (java) R 22416 4613 4612 0 -1 0 18076 0 1 0 22087 43 0 0 25 0 11 0 839574896 864661504 23982 4294967295 134512640 134569956 3221224368 3221214656 1131394432 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211099 23982 13086 16 0 211083 0
vsize: 844396
[startup+240.01 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 22427
Raw data (stat): 22417 (java) R 22416 4613 4612 0 -1 0 18076 0 1 0 23076 44 0 0 25 0 11 0 839574896 864661504 23997 4294967295 134512640 134569956 3221224368 3221214652 1131282368 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211099 23997 13086 16 0 211083 0
vsize: 844396
[startup+250.011 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 22427
Raw data (stat): 22417 (java) R 22416 4613 4612 0 -1 0 18076 0 1 0 24063 44 0 0 25 0 11 0 839574896 864661504 24032 4294967295 134512640 134569956 3221224368 3221214808 1131216089 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211099 24032 13086 16 0 211083 0
vsize: 844396
[startup+260.011 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 22427
Raw data (stat): 22417 (java) R 22416 4613 4612 0 -1 0 18076 0 1 0 25053 45 0 0 25 0 11 0 839574896 864661504 24055 4294967295 134512640 134569956 3221224368 3221214304 1131666076 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211099 24055 13086 16 0 211083 0
vsize: 844396
[startup+270.012 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 22427
Raw data (stat): 22417 (java) R 22416 4613 4612 0 -1 0 18076 0 1 0 26042 45 0 0 25 0 11 0 839574896 864661504 24072 4294967295 134512640 134569956 3221224368 3221214560 1131282529 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211099 24072 13086 16 0 211083 0
vsize: 844396
[startup+280.013 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 22427
Raw data (stat): 22417 (java) R 22416 4613 4612 0 -1 0 18076 0 1 0 27031 46 0 0 25 0 11 0 839574896 864661504 24090 4294967295 134512640 134569956 3221224368 3221214560 1131282417 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211099 24090 13086 16 0 211083 0
vsize: 844396
[startup+290.014 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 22427
Raw data (stat): 22417 (java) R 22416 4613 4612 0 -1 0 18076 0 1 0 28021 47 0 0 25 0 11 0 839574896 864661504 24111 4294967295 134512640 134569956 3221224368 3221214168 1085679296 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211099 24111 13086 16 0 211083 0
vsize: 844396
[startup+300.015 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 22427
Raw data (stat): 22417 (java) R 22416 4613 4612 0 -1 0 18076 0 1 0 29011 47 0 0 25 0 11 0 839574896 864661504 24128 4294967295 134512640 134569956 3221224368 3221214560 1131278675 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211099 24128 13086 16 0 211083 0
vsize: 844396
[startup+310.015 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 22427
Raw data (stat): 22417 (java) R 22416 4613 4612 0 -1 0 18076 0 1 0 29999 47 0 0 25 0 11 0 839574896 864661504 24142 4294967295 134512640 134569956 3221224368 3221214428 1130883104 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211099 24142 13086 16 0 211083 0
vsize: 844396
[startup+320.015 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 22427
Raw data (stat): 22417 (java) R 22416 4613 4612 0 -1 0 18076 0 1 0 30987 48 0 0 25 0 11 0 839574896 864661504 24160 4294967295 134512640 134569956 3221224368 3221214656 1131399816 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211099 24160 13086 16 0 211083 0
vsize: 844396
[startup+330.017 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 22427
Raw data (stat): 22417 (java) R 22416 4613 4612 0 -1 0 18076 0 1 0 31976 48 0 0 25 0 11 0 839574896 864661504 24178 4294967295 134512640 134569956 3221224368 3221214560 1131283317 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211099 24178 13086 16 0 211083 0
vsize: 844396
[startup+340.017 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 22427
Raw data (stat): 22417 (java) R 22416 4613 4612 0 -1 0 18076 0 1 0 32962 48 0 0 25 0 11 0 839574896 864661504 24205 4294967295 134512640 134569956 3221224368 3221214656 1131394772 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211099 24205 13086 16 0 211083 0
vsize: 844396
[startup+350.017 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 22427
Raw data (stat): 22417 (java) R 22416 4613 4612 0 -1 0 18076 0 1 0 33948 49 0 0 25 0 11 0 839574896 864661504 24225 4294967295 134512640 134569956 3221224368 3221214656 1131393400 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211099 24225 13086 16 0 211083 0
vsize: 844396
[startup+360.018 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 22427
Raw data (stat): 22417 (java) R 22416 4613 4612 0 -1 0 18076 0 1 0 34937 49 0 0 25 0 11 0 839574896 864661504 24242 4294967295 134512640 134569956 3221224368 3221214656 1131396127 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211099 24242 13086 16 0 211083 0
vsize: 844396
[startup+370.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22427
Raw data (stat): 22417 (java) R 22416 4613 4612 0 -1 0 18076 0 1 0 35925 50 0 0 25 0 11 0 839574896 864661504 24280 4294967295 134512640 134569956 3221224368 3221214560 1131278655 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211099 24280 13086 16 0 211083 0
vsize: 844396
[startup+380.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22427
Raw data (stat): 22417 (java) R 22416 4613 4612 0 -1 0 18076 0 1 0 36915 50 0 0 25 0 11 0 839574896 864661504 24302 4294967295 134512640 134569956 3221224368 3221214560 1131282529 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211099 24302 13086 16 0 211083 0
vsize: 844396
[startup+390.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22427
Raw data (stat): 22417 (java) R 22416 4613 4612 0 -1 0 18076 0 1 0 37904 50 0 0 25 0 11 0 839574896 864661504 24314 4294967295 134512640 134569956 3221224368 3221214560 1131282529 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211099 24314 13086 16 0 211083 0
vsize: 844396
[startup+400.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22427
Raw data (stat): 22417 (java) R 22416 4613 4612 0 -1 0 18076 0 1 0 38893 51 0 0 25 0 11 0 839574896 864661504 24330 4294967295 134512640 134569956 3221224368 3221214568 1131193885 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211099 24330 13086 16 0 211083 0
vsize: 844396
[startup+410.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22427
Raw data (stat): 22417 (java) R 22416 4613 4612 0 -1 0 18076 0 1 0 39882 51 0 0 25 0 11 0 839574896 864661504 24349 4294967295 134512640 134569956 3221224368 3221214656 1131394384 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211099 24349 13086 16 0 211083 0
vsize: 844396
[startup+420.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22427
Raw data (stat): 22417 (java) R 22416 4613 4612 0 -1 0 18076 0 1 0 40871 51 0 0 25 0 11 0 839574896 864661504 24367 4294967295 134512640 134569956 3221224368 3221214656 1131396163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211099 24367 13086 16 0 211083 0
vsize: 844396
[startup+430.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22427
Raw data (stat): 22417 (java) R 22416 4613 4612 0 -1 0 18076 0 1 0 41862 52 0 0 25 0 11 0 839574896 864661504 24380 4294967295 134512640 134569956 3221224368 3221214568 1131193845 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211099 24380 13086 16 0 211083 0
vsize: 844396
[startup+440.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22427
Raw data (stat): 22417 (java) R 22416 4613 4612 0 -1 0 18076 0 1 0 42852 52 0 0 25 0 11 0 839574896 864661504 24397 4294967295 134512640 134569956 3221224368 3221214656 1131393238 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211099 24397 13086 16 0 211083 0
vsize: 844396
[startup+450.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22427
Raw data (stat): 22417 (java) R 22416 4613 4612 0 -1 0 18076 0 1 0 43842 53 0 0 25 0 11 0 839574896 864661504 24408 4294967295 134512640 134569956 3221224368 3221214560 1131278742 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211099 24408 13086 16 0 211083 0
vsize: 844396
[startup+460.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22427
Raw data (stat): 22417 (java) R 22416 4613 4612 0 -1 0 18076 0 1 0 44832 53 0 0 25 0 11 0 839574896 864661504 24425 4294967295 134512640 134569956 3221224368 3221214568 1131194908 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211099 24425 13086 16 0 211083 0
vsize: 844396
[startup+470.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22427
Raw data (stat): 22417 (java) R 22416 4613 4612 0 -1 0 18076 0 1 0 45823 54 0 0 25 0 11 0 839574896 864661504 24434 4294967295 134512640 134569956 3221224368 3221214688 1131352528 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211099 24434 13086 16 0 211083 0
vsize: 844396
[startup+480.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22427
Raw data (stat): 22417 (java) R 22416 4613 4612 0 -1 0 18076 0 1 0 46812 54 0 0 24 0 11 0 839574896 864661504 24447 4294967295 134512640 134569956 3221224368 3221214656 1131395096 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211099 24447 13086 16 0 211083 0
vsize: 844396
[startup+490.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22427
Raw data (stat): 22417 (java) R 22416 4613 4612 0 -1 0 18076 0 1 0 47803 54 0 0 25 0 11 0 839574896 864661504 24457 4294967295 134512640 134569956 3221224368 3221214560 1131282689 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211099 24457 13086 16 0 211083 0
vsize: 844396
[startup+500.032 s]
Raw data (loadavg): 1.08 1.02 1.01 2/64 22427
Raw data (stat): 22417 (java) R 22416 4613 4612 0 -1 0 18076 0 1 0 48792 54 0 0 25 0 11 0 839574896 864661504 24466 4294967295 134512640 134569956 3221224368 3221214656 1131400081 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211099 24466 13086 16 0 211083 0
vsize: 844396
[startup+510.033 s]
Raw data (loadavg): 1.14 1.03 1.01 2/64 22427
Raw data (stat): 22417 (java) R 22416 4613 4612 0 -1 0 18076 0 1 0 49781 55 0 0 25 0 11 0 839574896 864661504 24491 4294967295 134512640 134569956 3221224368 3221214560 1131278678 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211099 24491 13086 16 0 211083 0
vsize: 844396
[startup+520.034 s]
Raw data (loadavg): 1.12 1.03 1.01 2/64 22427
Raw data (stat): 22417 (java) R 22416 4613 4612 0 -1 0 18076 0 1 0 50771 55 0 0 25 0 11 0 839574896 864661504 24504 4294967295 134512640 134569956 3221224368 3221214656 1131400997 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211099 24504 13086 16 0 211083 0
vsize: 844396
[startup+530.034 s]
Raw data (loadavg): 1.10 1.03 1.01 2/64 22427
Raw data (stat): 22417 (java) R 22416 4613 4612 0 -1 0 18076 0 1 0 51761 55 0 0 25 0 11 0 839574896 864661504 24518 4294967295 134512640 134569956 3221224368 3221213784 1085679358 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211099 24518 13086 16 0 211083 0
vsize: 844396
[startup+540.035 s]
Raw data (loadavg): 1.08 1.03 1.01 2/64 22427
Raw data (stat): 22417 (java) R 22416 4613 4612 0 -1 0 18076 0 1 0 52751 55 0 0 25 0 11 0 839574896 864661504 24531 4294967295 134512640 134569956 3221224368 3221214560 1131283117 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211099 24531 13086 16 0 211083 0
vsize: 844396
[startup+550.036 s]
Raw data (loadavg): 1.07 1.03 1.01 2/64 22427
Raw data (stat): 22417 (java) R 22416 4613 4612 0 -1 0 18076 0 1 0 53741 56 0 0 25 0 11 0 839574896 864661504 24544 4294967295 134512640 134569956 3221224368 3221214144 1131664696 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211099 24544 13086 16 0 211083 0
vsize: 844396
[startup+560.035 s]
Raw data (loadavg): 1.06 1.03 1.00 2/64 22427
Raw data (stat): 22417 (java) R 22416 4613 4612 0 -1 0 18076 0 1 0 54731 56 0 0 25 0 11 0 839574896 864661504 24557 4294967295 134512640 134569956 3221224368 3221214656 1131393274 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211099 24557 13086 16 0 211083 0
vsize: 844396
[startup+570.036 s]
Raw data (loadavg): 1.05 1.02 1.00 2/64 22427
Raw data (stat): 22417 (java) R 22416 4613 4612 0 -1 0 18076 0 1 0 55723 56 0 0 25 0 11 0 839574896 864661504 24567 4294967295 134512640 134569956 3221224368 3221214656 1131400379 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211099 24567 13086 16 0 211083 0
vsize: 844396
[startup+580.037 s]
Raw data (loadavg): 1.04 1.02 1.00 2/64 22427
Raw data (stat): 22417 (java) R 22416 4613 4612 0 -1 0 18076 0 1 0 56714 57 0 0 25 0 11 0 839574896 864661504 24576 4294967295 134512640 134569956 3221224368 3221214456 1131235911 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211099 24576 13086 16 0 211083 0
vsize: 844396
[startup+590.038 s]
Raw data (loadavg): 1.04 1.02 1.00 2/64 22427
Raw data (stat): 22417 (java) R 22416 4613 4612 0 -1 0 18076 0 1 0 57705 57 0 0 25 0 11 0 839574896 864661504 24584 4294967295 134512640 134569956 3221224368 3221214560 1131282529 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211099 24584 13086 16 0 211083 0
vsize: 844396
[startup+600.038 s]
Raw data (loadavg): 1.03 1.02 1.00 2/64 22427
Raw data (stat): 22417 (java) R 22416 4613 4612 0 -1 0 18076 0 1 0 58695 58 0 0 25 0 11 0 839574896 864661504 24590 4294967295 134512640 134569956 3221224368 3221214656 1131394556 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211099 24590 13086 16 0 211083 0
vsize: 844396
[startup+610.039 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 22427
Raw data (stat): 22417 (java) R 22416 4613 4612 0 -1 0 18076 0 1 0 59686 58 0 0 25 0 11 0 839574896 864661504 24603 4294967295 134512640 134569956 3221224368 3221214560 1131278644 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211099 24603 13086 16 0 211083 0
vsize: 844396
[startup+620.039 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 22427
Raw data (stat): 22417 (java) R 22416 4613 4612 0 -1 0 18076 0 1 0 60679 58 0 0 25 0 11 0 839574896 864661504 24609 4294967295 134512640 134569956 3221224368 3221214560 1131283263 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211099 24609 13086 16 0 211083 0
vsize: 844396
[startup+630.04 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 22427
Raw data (stat): 22417 (java) R 22416 4613 4612 0 -1 0 18076 0 1 0 61668 58 0 0 25 0 11 0 839574896 864661504 24622 4294967295 134512640 134569956 3221224368 3221214656 1131400156 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211099 24622 13086 16 0 211083 0
vsize: 844396
[startup+640.04 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 22427
Raw data (stat): 22417 (java) R 22416 4613 4612 0 -1 0 18076 0 1 0 62658 58 0 0 24 0 11 0 839574896 864661504 24633 4294967295 134512640 134569956 3221224368 3221214656 1131393238 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211099 24633 13086 16 0 211083 0
vsize: 844396
[startup+650.041 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 22427
Raw data (stat): 22417 (java) R 22416 4613 4612 0 -1 0 18076 0 1 0 63648 59 0 0 25 0 11 0 839574896 864661504 24636 4294967295 134512640 134569956 3221224368 3221214016 1131661620 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211099 24636 13086 16 0 211083 0
vsize: 844396
[startup+660.041 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 22427
Raw data (stat): 22417 (java) R 22416 4613 4612 0 -1 0 18076 0 1 0 64638 59 0 0 25 0 11 0 839574896 864661504 24651 4294967295 134512640 134569956 3221224368 3221214656 1131399584 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211099 24651 13086 16 0 211083 0
vsize: 844396
[startup+670.042 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 22427
Raw data (stat): 22417 (java) R 22416 4613 4612 0 -1 0 18076 0 1 0 65628 60 0 0 25 0 11 0 839574896 864661504 24667 4294967295 134512640 134569956 3221224368 3221214656 1131393238 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211099 24667 13086 16 0 211083 0
vsize: 844396
[startup+680.042 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 22427
Raw data (stat): 22417 (java) R 22416 4613 4612 0 -1 0 18076 0 1 0 66618 60 0 0 25 0 11 0 839574896 864661504 24673 4294967295 134512640 134569956 3221224368 3221214560 1131282529 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211099 24673 13086 16 0 211083 0
vsize: 844396
[startup+690.042 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 22427
Raw data (stat): 22417 (java) R 22416 4613 4612 0 -1 0 18076 0 1 0 67607 60 0 0 25 0 11 0 839574896 864661504 24682 4294967295 134512640 134569956 3221224368 3221214512 1131668862 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211099 24682 13086 16 0 211083 0
vsize: 844396
[startup+700.043 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 22427
Raw data (stat): 22417 (java) R 22416 4613 4612 0 -1 0 18076 0 1 0 68597 61 0 0 25 0 11 0 839574896 864661504 24693 4294967295 134512640 134569956 3221224368 3221214656 1131393274 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211099 24693 13086 16 0 211083 0
vsize: 844396
[startup+710.042 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 22427
Raw data (stat): 22417 (java) R 22416 4613 4612 0 -1 0 18076 0 1 0 69586 61 0 0 25 0 11 0 839574896 864661504 24712 4294967295 134512640 134569956 3221224368 3221214424 1131664644 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211099 24712 13086 16 0 211083 0
vsize: 844396
[startup+720.043 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 22427
Raw data (stat): 22417 (java) R 22416 4613 4612 0 -1 0 18076 0 1 0 70576 61 0 0 25 0 11 0 839574896 864661504 24725 4294967295 134512640 134569956 3221224368 3221214560 1131282489 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211099 24725 13086 16 0 211083 0
vsize: 844396
[startup+730.044 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 22427
Raw data (stat): 22417 (java) R 22416 4613 4612 0 -1 0 18076 0 1 0 71565 61 0 0 25 0 11 0 839574896 864661504 24736 4294967295 134512640 134569956 3221224368 3221214656 1131393238 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211099 24736 13086 16 0 211083 0
vsize: 844396
[startup+740.043 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 22427
Raw data (stat): 22417 (java) R 22416 4613 4612 0 -1 0 18076 0 1 0 72555 61 0 0 25 0 11 0 839574896 864661504 24742 4294967295 134512640 134569956 3221224368 3221214656 1131395010 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211099 24742 13086 16 0 211083 0
vsize: 844396
[startup+750.047 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 22427
Raw data (stat): 22417 (java) R 22416 4613 4612 0 -1 0 18076 0 1 0 73546 62 0 0 24 0 11 0 839574896 864661504 24756 4294967295 134512640 134569956 3221224368 3221214568 1131194900 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211099 24756 13086 16 0 211083 0
vsize: 844396
[startup+760.047 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 22427
Raw data (stat): 22417 (java) R 22416 4613 4612 0 -1 0 18076 0 1 0 74537 62 0 0 25 0 11 0 839574896 864661504 24768 4294967295 134512640 134569956 3221224368 3221214560 1131282625 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211099 24768 13086 16 0 211083 0
vsize: 844396
[startup+770.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22427
Raw data (stat): 22417 (java) R 22416 4613 4612 0 -1 0 18076 0 1 0 75527 62 0 0 25 0 11 0 839574896 864661504 24772 4294967295 134512640 134569956 3221224368 3221214560 1131282603 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211099 24772 13086 16 0 211083 0
vsize: 844396
[startup+780.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22427
Raw data (stat): 22417 (java) R 22416 4613 4612 0 -1 0 18076 0 1 0 76517 62 0 0 24 0 11 0 839574896 864661504 24784 4294967295 134512640 134569956 3221224368 3221214656 1131394913 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211099 24784 13086 16 0 211083 0
vsize: 844396
[startup+790.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22427
Raw data (stat): 22417 (java) R 22416 4613 4612 0 -1 0 18076 0 1 0 77507 62 0 0 25 0 11 0 839574896 864661504 24789 4294967295 134512640 134569956 3221224368 3221214472 1131665961 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211099 24789 13086 16 0 211083 0
vsize: 844396
[startup+800.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22427
Raw data (stat): 22417 (java) R 22416 4613 4612 0 -1 0 18076 0 1 0 78496 63 0 0 25 0 11 0 839574896 864661504 24796 4294967295 134512640 134569956 3221224368 3221214656 1131400467 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211099 24796 13086 16 0 211083 0
vsize: 844396
[startup+810.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22427
Raw data (stat): 22417 (java) R 22416 4613 4612 0 -1 0 18076 0 1 0 79485 63 0 0 25 0 11 0 839574896 864661504 24817 4294967295 134512640 134569956 3221224368 3221214656 1131395032 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211099 24817 13086 16 0 211083 0
vsize: 844396
[startup+820.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22427
Raw data (stat): 22417 (java) R 22416 4613 4612 0 -1 0 18076 0 1 0 80475 64 0 0 25 0 11 0 839574896 864661504 24822 4294967295 134512640 134569956 3221224368 3221214616 1131257406 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211099 24822 13086 16 0 211083 0
vsize: 844396
[startup+830.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22427
Raw data (stat): 22417 (java) R 22416 4613 4612 0 -1 0 18076 0 1 0 81465 64 0 0 25 0 11 0 839574896 864661504 24830 4294967295 134512640 134569956 3221224368 3221214560 1131282529 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211099 24830 13086 16 0 211083 0
vsize: 844396
[startup+840.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22427
Raw data (stat): 22417 (java) R 22416 4613 4612 0 -1 0 18076 0 1 0 82455 64 0 0 25 0 11 0 839574896 864661504 24842 4294967295 134512640 134569956 3221224368 3221214560 1131283754 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211099 24842 13086 16 0 211083 0
vsize: 844396
[startup+850.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22427
Raw data (stat): 22417 (java) R 22416 4613 4612 0 -1 0 18076 0 1 0 83445 65 0 0 25 0 11 0 839574896 864661504 24857 4294967295 134512640 134569956 3221224368 3221214560 1131282392 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211099 24857 13086 16 0 211083 0
vsize: 844396
[startup+860.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22427
Raw data (stat): 22417 (java) R 22416 4613 4612 0 -1 0 18076 0 1 0 84435 65 0 0 25 0 11 0 839574896 864661504 24862 4294967295 134512640 134569956 3221224368 3221214656 1131400471 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211099 24862 13086 16 0 211083 0
vsize: 844396
[startup+870.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22427
Raw data (stat): 22417 (java) R 22416 4613 4612 0 -1 0 18076 0 1 0 85426 66 0 0 25 0 11 0 839574896 864661504 24875 4294967295 134512640 134569956 3221224368 3221214040 1131664781 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211099 24875 13086 16 0 211083 0
vsize: 844396
[startup+880.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22427
Raw data (stat): 22417 (java) R 22416 4613 4612 0 -1 0 18076 0 1 0 86416 66 0 0 25 0 11 0 839574896 864661504 24878 4294967295 134512640 134569956 3221224368 3221214656 1131393025 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211099 24878 13086 16 0 211083 0
vsize: 844396
[startup+890.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22427
Raw data (stat): 22417 (java) R 22416 4613 4612 0 -1 0 18076 0 1 0 87406 67 0 0 25 0 11 0 839574896 864661504 24888 4294967295 134512640 134569956 3221224368 3221214560 1131283228 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211099 24888 13086 16 0 211083 0
vsize: 844396
[startup+900.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22427
Raw data (stat): 22417 (java) R 22416 4613 4612 0 -1 0 18076 0 1 0 88396 68 0 0 25 0 11 0 839574896 864661504 24897 4294967295 134512640 134569956 3221224368 3221214656 1131395289 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211099 24897 13086 16 0 211083 0
vsize: 844396
[startup+910.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22427
Raw data (stat): 22417 (java) R 22416 4613 4612 0 -1 0 18076 0 1 0 89386 68 0 0 25 0 11 0 839574896 864661504 24901 4294967295 134512640 134569956 3221224368 3221214560 1131278667 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211099 24901 13086 16 0 211083 0
vsize: 844396
[startup+920.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22427
Raw data (stat): 22417 (java) R 22416 4613 4612 0 -1 0 18076 0 1 0 90377 69 0 0 25 0 11 0 839574896 864661504 24904 4294967295 134512640 134569956 3221224368 3221214656 1131393238 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211099 24904 13086 16 0 211083 0
vsize: 844396
[startup+930.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22427
Raw data (stat): 22417 (java) R 22416 4613 4612 0 -1 0 18076 0 1 0 91368 69 0 0 25 0 11 0 839574896 864661504 24915 4294967295 134512640 134569956 3221224368 3221214656 1131400467 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211099 24915 13086 16 0 211083 0
vsize: 844396
[startup+940.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22427
Raw data (stat): 22417 (java) R 22416 4613 4612 0 -1 0 18076 0 1 0 92357 69 0 0 25 0 11 0 839574896 864661504 24922 4294967295 134512640 134569956 3221224368 3221214648 1131177404 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211099 24922 13086 16 0 211083 0
vsize: 844396
[startup+950.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22427
Raw data (stat): 22417 (java) R 22416 4613 4612 0 -1 0 18076 0 1 0 93347 69 0 0 24 0 11 0 839574896 864661504 24925 4294967295 134512640 134569956 3221224368 3221214656 1131400156 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211099 24925 13086 16 0 211083 0
vsize: 844396
[startup+960.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22427
Raw data (stat): 22417 (java) R 22416 4613 4612 0 -1 0 18076 0 1 0 94337 70 0 0 25 0 11 0 839574896 864661504 24928 4294967295 134512640 134569956 3221224368 3221214536 1131235338 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211099 24928 13086 16 0 211083 0
vsize: 844396
[startup+970.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22427
Raw data (stat): 22417 (java) R 22416 4613 4612 0 -1 0 18076 0 1 0 95325 70 0 0 25 0 11 0 839574896 864661504 24941 4294967295 134512640 134569956 3221224368 3221214656 1131394556 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211099 24941 13086 16 0 211083 0
vsize: 844396
[startup+980.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22427
Raw data (stat): 22417 (java) R 22416 4613 4612 0 -1 0 18076 0 1 0 96314 71 0 0 25 0 11 0 839574896 864661504 24954 4294967295 134512640 134569956 3221224368 3221214560 1131283364 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211099 24954 13086 16 0 211083 0
vsize: 844396
[startup+990.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22427
Raw data (stat): 22417 (java) R 22416 4613 4612 0 -1 0 18076 0 1 0 97303 71 0 0 24 0 11 0 839574896 864661504 24964 4294967295 134512640 134569956 3221224368 3221214656 1131395096 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211099 24964 13086 16 0 211083 0
vsize: 844396
[startup+1000.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22427
Raw data (stat): 22417 (java) R 22416 4613 4612 0 -1 0 18076 0 1 0 98292 72 0 0 25 0 11 0 839574896 864661504 24970 4294967295 134512640 134569956 3221224368 3221214560 1131282529 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211099 24970 13086 16 0 211083 0
vsize: 844396
[startup+1010.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22427
Raw data (stat): 22417 (java) R 22416 4613 4612 0 -1 0 18076 0 1 0 99278 73 0 0 25 0 11 0 839574896 864661504 24977 4294967295 134512640 134569956 3221224368 3221214560 1131282591 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211099 24977 13086 16 0 211083 0
vsize: 844396
[startup+1020.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22427
Raw data (stat): 22417 (java) R 22416 4613 4612 0 -1 0 18076 0 1 0 100252 73 0 0 25 0 11 0 839574896 864661504 24986 4294967295 134512640 134569956 3221224368 3221214560 1131282472 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211099 24986 13086 16 0 211083 0
vsize: 844396
[startup+1030.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22427
Raw data (stat): 22417 (java) R 22416 4613 4612 0 -1 0 18076 0 1 0 101220 73 0 0 25 0 11 0 839574896 864661504 24998 4294967295 134512640 134569956 3221224368 3221214560 1131278767 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211099 24998 13086 16 0 211083 0
vsize: 844396
[startup+1040.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22427
Raw data (stat): 22417 (java) R 22416 4613 4612 0 -1 0 18076 0 1 0 102182 74 0 0 25 0 11 0 839574896 864661504 25010 4294967295 134512640 134569956 3221224368 3221214128 1131661639 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211099 25010 13086 16 0 211083 0
vsize: 844396
[startup+1050.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22427
Raw data (stat): 22417 (java) R 22416 4613 4612 0 -1 0 18076 0 1 0 103145 74 0 0 25 0 11 0 839574896 864661504 25114 4294967295 134512640 134569956 3221224368 3221214560 1131282737 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211099 25114 13086 16 0 211083 0
vsize: 844396
[startup+1060.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22427
Raw data (stat): 22417 (java) R 22416 4613 4612 0 -1 0 18076 0 1 0 104123 74 0 0 25 0 11 0 839574896 864661504 25326 4294967295 134512640 134569956 3221224368 3221214384 1085679261 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211099 25326 13086 16 0 211083 0
vsize: 844396
[startup+1070.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22427
Raw data (stat): 22417 (java) R 22416 4613 4612 0 -1 0 18076 0 1 0 105113 74 0 0 25 0 11 0 839574896 864661504 25381 4294967295 134512640 134569956 3221224368 3221214256 1131664721 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211099 25381 13086 16 0 211083 0
vsize: 844396
[startup+1080.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22427
Raw data (stat): 22417 (java) R 22416 4613 4612 0 -1 0 18076 0 1 0 106102 75 0 0 25 0 11 0 839574896 864661504 25389 4294967295 134512640 134569956 3221224368 3221214288 1131668871 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211099 25389 13086 16 0 211083 0
vsize: 844396
[startup+1090.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22427
Raw data (stat): 22417 (java) R 22416 4613 4612 0 -1 0 18076 0 1 0 107091 75 0 0 25 0 11 0 839574896 864661504 25397 4294967295 134512640 134569956 3221224368 3221214472 1131665898 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211099 25397 13086 16 0 211083 0
vsize: 844396
[startup+1100.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22427
Raw data (stat): 22417 (java) R 22416 4613 4612 0 -1 0 18076 0 1 0 108082 75 0 0 25 0 11 0 839574896 864661504 25401 4294967295 134512640 134569956 3221224368 3221214560 1131283424 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211099 25401 13086 16 0 211083 0
vsize: 844396
[startup+1110.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22427
Raw data (stat): 22417 (java) R 22416 4613 4612 0 -1 0 18076 0 1 0 109073 76 0 0 25 0 11 0 839574896 864661504 25405 4294967295 134512640 134569956 3221224368 3221213928 1131664721 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211099 25405 13086 16 0 211083 0
vsize: 844396
[startup+1120.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22427
Raw data (stat): 22417 (java) R 22416 4613 4612 0 -1 0 18076 0 1 0 110062 76 0 0 25 0 11 0 839574896 864661504 25410 4294967295 134512640 134569956 3221224368 3221213976 1131666095 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211099 25410 13086 16 0 211083 0
vsize: 844396
[startup+1130.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22427
Raw data (stat): 22417 (java) R 22416 4613 4612 0 -1 0 18076 0 1 0 111060 77 0 0 25 0 11 0 839574896 864661504 25418 4294967295 134512640 134569956 3221224368 3221214536 1131235445 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211099 25418 13086 16 0 211083 0
vsize: 844396
[startup+1140.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22427
Raw data (stat): 22417 (java) R 22416 4613 4612 0 -1 0 18076 0 1 0 112043 77 0 0 25 0 11 0 839574896 864661504 25426 4294967295 134512640 134569956 3221224368 3221214368 1131664696 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211099 25426 13086 16 0 211083 0
vsize: 844396
[startup+1150.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22427
Raw data (stat): 22417 (java) R 22416 4613 4612 0 -1 0 18076 0 1 0 113013 77 0 0 25 0 11 0 839574896 864661504 25431 4294967295 134512640 134569956 3221224368 3221214560 1131282682 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211099 25431 13086 16 0 211083 0
vsize: 844396
[startup+1160.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22427
Raw data (stat): 22417 (java) R 22416 4613 4612 0 -1 0 18076 0 1 0 113975 78 0 0 25 0 11 0 839574896 864661504 25436 4294967295 134512640 134569956 3221224368 3221214560 1131282650 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211099 25436 13086 16 0 211083 0
vsize: 844396
[startup+1170.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22427
Raw data (stat): 22417 (java) S 22416 4613 4612 0 -1 0 18076 0 1 0 114930 78 0 0 25 0 11 0 839574896 864661504 25442 4294967295 134512640 134569956 3221224368 3221213264 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211099 25442 13086 16 0 211083 0
vsize: 844396
[startup+1180.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22427
Raw data (stat): 22417 (java) R 22416 4613 4612 0 -1 0 18076 0 1 0 115873 78 0 0 25 0 11 0 839574896 864661504 25457 4294967295 134512640 134569956 3221224368 3221214136 1131665898 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211099 25457 13086 16 0 211083 0
vsize: 844396
[startup+1190.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22427
Raw data (stat): 22417 (java) R 22416 4613 4612 0 -1 0 18076 0 1 0 116824 78 0 0 25 0 11 0 839574896 864661504 25764 4294967295 134512640 134569956 3221224368 3221214656 1131395096 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211099 25764 13086 16 0 211083 0
vsize: 844396
[startup+1200.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22427
Raw data (stat): 22417 (java) R 22416 4613 4612 0 -1 0 18076 0 1 0 117788 78 0 0 25 0 11 0 839574896 864661504 25911 4294967295 134512640 134569956 3221224368 3221214656 1131395096 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211099 25911 13086 16 0 211083 0
vsize: 844396
[startup+1210.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22427
Raw data (stat): 22417 (java) R 22416 4613 4612 0 -1 0 18076 0 1 0 118753 79 0 0 25 0 11 0 839574896 864661504 26046 4294967295 134512640 134569956 3221224368 3221214368 1131235445 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211099 26046 13086 16 0 211083 0
vsize: 844396
[startup+1220.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22427
Raw data (stat): 22417 (java) R 22416 4613 4612 0 -1 0 18076 0 1 0 119729 79 0 0 25 0 11 0 839574896 864661504 26144 4294967295 134512640 134569956 3221224368 3221214656 1131394425 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211099 26144 13086 16 0 211083 0
vsize: 844396
[startup+1230.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22427
Raw data (stat): 22417 (java) R 22416 4613 4612 0 -1 0 18076 0 1 0 120708 80 0 0 25 0 11 0 839574896 864661504 26232 4294967295 134512640 134569956 3221224368 3221214656 1131394920 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211099 26232 13086 16 0 211083 0
vsize: 844396
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1230.16 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 22429
Raw data (stat): 22417 (java) Z 22416 4613 4612 0 -1 1036 18076 16919 1 0 120712 85 3473 56 25 0 1 0 839574896 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): 1230.16
CPU time (s): 1243.27
CPU user time (s): 1241.86
CPU system time (s): 1.41578
CPU usage (%): 101.066
Max. virtual memory (Kb): 847468
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####