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-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-bc1.opb
MD5SUM	15670523760c6351fb6de07139f11abe
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	31
Biggest coefficient in the objective function	1073741824
Number of bits for the biggest coefficient in the objective function	31
Sum of the numbers in the objective function	2147483647
Number of bits of the sum of numbers in the objective function	31
Biggest number in a constraint	1073741824000000000000000000
Number of bits of the biggest number in a constraint	90
Biggest sum of numbers in a constraint	3221975665359866705114824704
Number of bits of the biggest sum of numbers	92
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	1.11183
Number of variables	27730
Total number of constraints	3627
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	336
Number of constraints which are nor clauses,nor cardinality constraints	3291
Minimum length of a constraint	1
Maximum length of a constraint	5701
Trace number 29719

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc24 THE 2005-05-25 10:51:40 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=21120 boxname=wulflinc24 idbench=1108 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  15670523760c6351fb6de07139f11abe  /oldhome/oroussel/tmp/wulflinc24/normalized-mps-v2-20-10-bc1.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc24/normalized-mps-v2-20-10-bc1.opb
IDLAUNCH: 21120
/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:        461420 kB
Buffers:         29100 kB
Cached:         521108 kB
SwapCached:        524 kB
Active:         245628 kB
Inactive:       306952 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        461168 kB
SwapTotal:     2097892 kB
SwapFree:      2096776 kB
Dirty:               4 kB
Writeback:           0 kB
Mapped:           5656 kB
Slab:            14960 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 11:13:04 (client local time) WITH STATUS 143 IN 1291.3 SECONDS
stats: 21120 7 1291.3 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-20-10-bc1.opb
c reading problem ... done. Time 394.248 ms.
c #vars     27730
c #constraints  4160
c starts	: 1
c conflicts	: 2
c decisions	: 2451
c propagations	: 10428
c inspects	: 157641
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 2
c root simplifications	: 2
s UNKNOWN
c Total CPU time (ms) : 1279.126
#### 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.95 0.96 0.97 2/54 20814
Raw data (stat): 20814 (runsolver) R 20813 4613 4612 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 838297676 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.99996 s]
Raw data (loadavg): 0.95 0.96 0.97 2/63 20823
Raw data (stat): 20814 (java) R 20813 4613 4612 0 -1 0 18034 0 1 0 868 36 0 0 25 0 10 0 838297676 854904832 19622 4294967295 134512640 134569956 3221224368 3221214344 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208717 19622 13086 16 0 208701 0
vsize: 834868
[startup+20.0007 s]
Raw data (loadavg): 0.96 0.96 0.97 2/63 20823
Raw data (stat): 20814 (java) R 20813 4613 4612 0 -1 0 18034 0 1 0 1759 36 0 0 25 0 10 0 838297676 854904832 20123 4294967295 134512640 134569956 3221224368 3221214416 1074489757 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208717 20123 13086 16 0 208701 0
vsize: 834868
[startup+30.001 s]
Raw data (loadavg): 0.97 0.96 0.97 2/63 20823
Raw data (stat): 20814 (java) R 20813 4613 4612 0 -1 0 18034 0 1 0 2647 36 0 0 25 0 10 0 838297676 854904832 20599 4294967295 134512640 134569956 3221224368 3221214416 1076461336 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208717 20599 13086 16 0 208701 0
vsize: 834868
[startup+40.002 s]
Raw data (loadavg): 1.05 0.98 0.98 2/63 20823
Raw data (stat): 20814 (java) R 20813 4613 4612 0 -1 0 18034 0 1 0 3563 36 0 0 25 0 10 0 838297676 855953408 21084 4294967295 134512640 134569956 3221224368 3221214416 1076461336 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208973 21084 13086 16 0 208957 0
vsize: 835892
[startup+50.0027 s]
Raw data (loadavg): 1.04 0.98 0.98 2/63 20823
Raw data (stat): 20814 (java) R 20813 4613 4612 0 -1 0 18034 0 1 0 4495 37 0 0 25 0 10 0 838297676 854904832 21100 4294967295 134512640 134569956 3221224368 3221214744 1131191361 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208717 21100 13086 16 0 208701 0
vsize: 834868
[startup+60.0024 s]
Raw data (loadavg): 1.04 0.98 0.98 2/63 20823
Raw data (stat): 20814 (java) R 20813 4613 4612 0 -1 0 18034 0 1 0 5419 37 0 0 24 0 10 0 838297676 854904832 21235 4294967295 134512640 134569956 3221224368 3221214208 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208717 21235 13086 16 0 208701 0
vsize: 834868
[startup+70.0032 s]
Raw data (loadavg): 1.11 0.99 0.98 2/63 20823
Raw data (stat): 20814 (java) R 20813 4613 4612 0 -1 0 18034 0 1 0 6351 37 0 0 25 0 10 0 838297676 856666112 21895 4294967295 134512640 134569956 3221224368 3221214464 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209147 21895 13086 16 0 209131 0
vsize: 836588
[startup+80.0035 s]
Raw data (loadavg): 1.09 0.99 0.98 2/63 20823
Raw data (stat): 20814 (java) R 20813 4613 4612 0 -1 0 18034 0 1 0 7284 37 0 0 25 0 10 0 838297676 856403968 21874 4294967295 134512640 134569956 3221224368 3221214208 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209083 21874 13086 16 0 209067 0
vsize: 836332
[startup+90.0054 s]
Raw data (loadavg): 1.08 0.99 0.98 2/63 20823
Raw data (stat): 20814 (java) R 20813 4613 4612 0 -1 0 18034 0 1 0 8223 37 0 0 25 0 10 0 838297676 856403968 21976 4294967295 134512640 134569956 3221224368 3221214464 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209083 21976 13086 16 0 209067 0
vsize: 836332
[startup+100.008 s]
Raw data (loadavg): 1.07 0.99 0.98 2/63 20823
Raw data (stat): 20814 (java) R 20813 4613 4612 0 -1 0 18034 0 1 0 9163 37 0 0 25 0 10 0 838297676 856403968 22069 4294967295 134512640 134569956 3221224368 3221214208 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209083 22069 13086 16 0 209067 0
vsize: 836332
[startup+110.011 s]
Raw data (loadavg): 1.06 0.99 0.98 2/63 20823
Raw data (stat): 20814 (java) R 20813 4613 4612 0 -1 0 18034 0 1 0 10103 38 0 0 25 0 10 0 838297676 856403968 22155 4294967295 134512640 134569956 3221224368 3221214464 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209083 22155 13086 16 0 209067 0
vsize: 836332
[startup+120.012 s]
Raw data (loadavg): 1.05 0.99 0.98 2/63 20823
Raw data (stat): 20814 (java) R 20813 4613 4612 0 -1 0 18034 0 1 0 11044 38 0 0 25 0 10 0 838297676 856403968 22237 4294967295 134512640 134569956 3221224368 3221214208 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209083 22237 13086 16 0 209067 0
vsize: 836332
[startup+130.012 s]
Raw data (loadavg): 1.04 0.99 0.98 2/63 20823
Raw data (stat): 20814 (java) R 20813 4613 4612 0 -1 0 18034 0 1 0 11985 38 0 0 25 0 10 0 838297676 856403968 22316 4294967295 134512640 134569956 3221224368 3221214732 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209083 22316 13086 16 0 209067 0
vsize: 836332
[startup+140.013 s]
Raw data (loadavg): 1.03 0.99 0.98 2/63 20823
Raw data (stat): 20814 (java) R 20813 4613 4612 0 -1 0 18034 0 1 0 12928 38 0 0 25 0 10 0 838297676 856403968 22390 4294967295 134512640 134569956 3221224368 3221214464 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209083 22390 13086 16 0 209067 0
vsize: 836332
[startup+150.014 s]
Raw data (loadavg): 1.03 0.99 0.98 2/63 20823
Raw data (stat): 20814 (java) R 20813 4613 4612 0 -1 0 18034 0 1 0 13867 38 0 0 24 0 10 0 838297676 856403968 22465 4294967295 134512640 134569956 3221224368 3221214344 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209083 22465 13086 16 0 209067 0
vsize: 836332
[startup+160.015 s]
Raw data (loadavg): 1.02 0.99 0.98 2/63 20823
Raw data (stat): 20814 (java) R 20813 4613 4612 0 -1 0 18034 0 1 0 14810 38 0 0 25 0 10 0 838297676 856403968 22532 4294967295 134512640 134569956 3221224368 3221214416 1074489757 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209083 22532 13086 16 0 209067 0
vsize: 836332
[startup+170.015 s]
Raw data (loadavg): 1.02 0.99 0.98 2/63 20823
Raw data (stat): 20814 (java) R 20813 4613 4612 0 -1 0 18034 0 1 0 15752 38 0 0 25 0 10 0 838297676 856403968 22596 4294967295 134512640 134569956 3221224368 3221214344 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209083 22596 13086 16 0 209067 0
vsize: 836332
[startup+180.015 s]
Raw data (loadavg): 1.02 0.99 0.98 2/63 20823
Raw data (stat): 20814 (java) R 20813 4613 4612 0 -1 0 18034 0 1 0 16691 38 0 0 25 0 10 0 838297676 856403968 22658 4294967295 134512640 134569956 3221224368 3221214344 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209083 22658 13086 16 0 209067 0
vsize: 836332
[startup+190.024 s]
Raw data (loadavg): 1.01 0.99 0.98 2/63 20823
Raw data (stat): 20814 (java) R 20813 4613 4612 0 -1 0 18034 0 1 0 17614 39 0 0 25 0 10 0 838297676 856403968 22719 4294967295 134512640 134569956 3221224368 3221214344 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209083 22719 13086 16 0 209067 0
vsize: 836332
[startup+200.024 s]
Raw data (loadavg): 1.01 0.99 0.98 2/63 20823
Raw data (stat): 20814 (java) R 20813 4613 4612 0 -1 0 18034 0 1 0 18539 39 0 0 25 0 10 0 838297676 856403968 22940 4294967295 134512640 134569956 3221224368 3221214368 1076874552 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209083 22940 13086 16 0 209067 0
vsize: 836332
[startup+210.05 s]
Raw data (loadavg): 1.09 1.01 0.99 3/63 20823
Raw data (stat): 20814 (java) R 20813 4613 4612 0 -1 0 18035 0 1 0 19461 40 0 0 25 0 10 0 838297676 857059328 23313 4294967295 134512640 134569956 3221224368 3221214720 1131150383 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209243 23313 13086 16 0 209227 0
vsize: 836972
[startup+220.051 s]
Raw data (loadavg): 1.07 1.01 0.99 2/63 20823
Raw data (stat): 20814 (java) R 20813 4613 4612 0 -1 0 18035 0 1 0 20324 43 0 0 25 0 10 0 838297676 856764416 29117 4294967295 134512640 134569956 3221224368 3221213768 1131322605 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209171 29117 13086 16 0 209155 0
vsize: 836684
[startup+230.051 s]
Raw data (loadavg): 1.06 1.01 0.99 2/63 20823
Raw data (stat): 20814 (java) R 20813 4613 4612 0 -1 0 18035 0 1 0 21136 47 0 0 25 0 10 0 838297676 856764416 37167 4294967295 134512640 134569956 3221224368 3221214208 1131246697 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209171 37167 13086 16 0 209155 0
vsize: 836684
[startup+240.052 s]
Raw data (loadavg): 1.05 1.01 0.99 2/63 20823
Raw data (stat): 20814 (java) R 20813 4613 4612 0 -1 0 18035 0 1 0 22014 48 0 0 25 0 10 0 838297676 856764416 41015 4294967295 134512640 134569956 3221224368 3221214344 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209171 41015 13086 16 0 209155 0
vsize: 836684
[startup+250.053 s]
Raw data (loadavg): 1.04 1.01 0.99 2/63 20823
Raw data (stat): 20814 (java) R 20813 4613 4612 0 -1 0 18035 0 1 0 22959 50 0 0 25 0 10 0 838297676 856764416 41015 4294967295 134512640 134569956 3221224368 3221214720 1131150285 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209171 41015 13086 16 0 209155 0
vsize: 836684
[startup+260.052 s]
Raw data (loadavg): 1.04 1.01 0.99 2/63 20823
Raw data (stat): 20814 (java) R 20813 4613 4612 0 -1 0 18035 0 1 0 23782 55 0 0 25 0 10 0 838297676 856469504 48796 4294967295 134512640 134569956 3221224368 3221214776 1131275286 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209099 48796 13086 16 0 209083 0
vsize: 836396
[startup+270.052 s]
Raw data (loadavg): 1.10 1.02 0.99 2/63 20823
Raw data (stat): 20814 (java) R 20813 4613 4612 0 -1 0 18035 0 1 0 24603 60 0 0 25 0 10 0 838297676 856469504 56790 4294967295 134512640 134569956 3221224368 3221214080 1131323199 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209099 56790 13086 16 0 209083 0
vsize: 836396
[startup+280.052 s]
Raw data (loadavg): 1.09 1.02 0.99 2/63 20823
Raw data (stat): 20814 (java) R 20813 4613 4612 0 -1 0 18036 0 1 0 25483 63 0 0 25 0 10 0 838297676 856469504 62089 4294967295 134512640 134569956 3221224368 3221214720 1131150454 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209099 62089 13086 16 0 209083 0
vsize: 836396
[startup+290.052 s]
Raw data (loadavg): 1.07 1.02 0.99 2/63 20823
Raw data (stat): 20814 (java) R 20813 4613 4612 0 -1 0 18036 0 1 0 26306 66 0 0 25 0 10 0 838297676 856469504 70081 4294967295 134512640 134569956 3221224368 3221214776 1131274282 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209099 70081 13086 16 0 209083 0
vsize: 836396
[startup+300.052 s]
Raw data (loadavg): 1.06 1.02 0.99 2/63 20823
Raw data (stat): 20814 (java) R 20813 4613 4612 0 -1 0 18036 0 1 0 27124 70 0 0 25 0 10 0 838297676 856469504 78173 4294967295 134512640 134569956 3221224368 3221214720 1131150666 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209099 78173 13086 16 0 209083 0
vsize: 836396
[startup+310.051 s]
Raw data (loadavg): 1.05 1.02 0.99 2/63 20823
Raw data (stat): 20814 (java) R 20813 4613 4612 0 -1 0 18036 0 1 0 27942 75 0 0 25 0 10 0 838297676 856469504 86153 4294967295 134512640 134569956 3221224368 3221214752 1131291431 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209099 86153 13086 16 0 209083 0
vsize: 836396
[startup+320.052 s]
Raw data (loadavg): 1.12 1.03 1.00 2/63 20823
Raw data (stat): 20814 (java) S 20813 4613 4612 0 -1 0 18036 0 1 0 28806 78 0 0 25 0 10 0 838297676 856469504 91411 4294967295 134512640 134569956 3221224368 3221213016 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209099 91411 13086 16 0 209083 0
vsize: 836396
[startup+330.052 s]
Raw data (loadavg): 1.10 1.03 1.00 2/63 20823
Raw data (stat): 20814 (java) R 20813 4613 4612 0 -1 0 18036 0 1 0 29640 82 0 0 25 0 10 0 838297676 856469504 98892 4294967295 134512640 134569956 3221224368 3221214784 1131183328 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209099 98892 13086 16 0 209083 0
vsize: 836396
[startup+340.053 s]
Raw data (loadavg): 1.08 1.03 1.00 2/63 20823
Raw data (stat): 20814 (java) R 20813 4613 4612 0 -1 0 18036 0 1 0 30457 85 0 0 25 0 10 0 838297676 856469504 106850 4294967295 134512640 134569956 3221224368 3221214784 1131183226 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209099 106850 13086 16 0 209083 0
vsize: 836396
[startup+350.053 s]
Raw data (loadavg): 1.07 1.03 1.00 2/63 20823
Raw data (stat): 20814 (java) R 20813 4613 4612 0 -1 0 18036 0 1 0 31273 89 0 0 25 0 10 0 838297676 856469504 114699 4294967295 134512640 134569956 3221224368 3221214784 1131163406 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209099 114699 13086 16 0 209083 0
vsize: 836396
[startup+360.053 s]
Raw data (loadavg): 1.06 1.03 1.00 2/63 20823
Raw data (stat): 20814 (java) R 20813 4613 4612 0 -1 0 18036 0 1 0 32090 93 0 0 25 0 10 0 838297676 856469504 122374 4294967295 134512640 134569956 3221224368 3221214720 1131150383 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209099 122374 13086 16 0 209083 0
vsize: 836396
[startup+370.054 s]
Raw data (loadavg): 1.05 1.03 1.00 2/63 20823
Raw data (stat): 20814 (java) R 20813 4613 4612 0 -1 0 18036 0 1 0 32967 96 0 0 25 0 10 0 838297676 856469504 127525 4294967295 134512640 134569956 3221224368 3221214864 1131216695 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209099 127525 13086 16 0 209083 0
vsize: 836396
[startup+380.053 s]
Raw data (loadavg): 1.04 1.02 1.00 2/63 20823
Raw data (stat): 20814 (java) R 20813 4613 4612 0 -1 0 18036 0 1 0 33781 100 0 0 25 0 10 0 838297676 856469504 135670 4294967295 134512640 134569956 3221224368 3221205840 1073953089 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209099 135670 13086 16 0 209083 0
vsize: 836396
[startup+390.062 s]
Raw data (loadavg): 1.03 1.02 1.00 2/63 20823
Raw data (stat): 20814 (java) R 20813 4613 4612 0 -1 0 18036 0 1 0 34598 104 0 0 25 0 10 0 838297676 856469504 144030 4294967295 134512640 134569956 3221224368 3221214760 1131227850 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209099 144030 13086 16 0 209083 0
vsize: 836396
[startup+400.062 s]
Raw data (loadavg): 1.11 1.04 1.01 2/64 20824
Raw data (stat): 20814 (java) R 20813 4613 4612 0 -1 0 18075 0 1 0 35435 107 0 0 25 0 11 0 838297676 859095040 151443 4294967295 134512640 134569956 3221224368 3221214544 1131368765 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209740 151443 13086 16 0 209724 0
vsize: 838960
[startup+410.062 s]
Raw data (loadavg): 1.09 1.04 1.00 2/64 20824
Raw data (stat): 20814 (java) R 20813 4613 4612 0 -1 0 18075 0 1 0 36400 107 0 0 25 0 11 0 838297676 859095040 151344 4294967295 134512640 134569956 3221224368 3221214672 1131448213 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209740 151344 13086 16 0 209724 0
vsize: 838960
[startup+420.062 s]
Raw data (loadavg): 1.08 1.04 1.00 2/64 20824
Raw data (stat): 20814 (java) R 20813 4613 4612 0 -1 0 18075 0 1 0 37358 107 0 0 25 0 11 0 838297676 859095040 151344 4294967295 134512640 134569956 3221224368 3221214480 1131194644 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209740 151344 13086 16 0 209724 0
vsize: 838960
[startup+430.062 s]
Raw data (loadavg): 1.06 1.03 1.00 2/64 20824
Raw data (stat): 20814 (java) R 20813 4613 4612 0 -1 0 18075 0 1 0 38310 107 0 0 25 0 11 0 838297676 859095040 151344 4294967295 134512640 134569956 3221224368 3221214668 1131368339 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209740 151344 13086 16 0 209724 0
vsize: 838960
[startup+440.063 s]
Raw data (loadavg): 1.05 1.03 1.00 2/64 20824
Raw data (stat): 20814 (java) R 20813 4613 4612 0 -1 0 18075 0 1 0 39260 107 0 0 25 0 11 0 838297676 859095040 151403 4294967295 134512640 134569956 3221224368 3221214672 1131445919 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209740 151403 13086 16 0 209724 0
vsize: 838960
[startup+450.062 s]
Raw data (loadavg): 1.05 1.03 1.00 2/64 20824
Raw data (stat): 20814 (java) S 20813 4613 4612 0 -1 0 18075 0 1 0 40202 107 0 0 25 0 11 0 838297676 859095040 151457 4294967295 134512640 134569956 3221224368 3221213272 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209740 151457 13086 16 0 209724 0
vsize: 838960
[startup+460.066 s]
Raw data (loadavg): 1.04 1.03 1.00 2/64 20824
Raw data (stat): 20814 (java) R 20813 4613 4612 0 -1 0 18075 0 1 0 41145 107 0 0 24 0 11 0 838297676 859095040 151504 4294967295 134512640 134569956 3221224368 3221214672 1131448408 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209740 151504 13086 16 0 209724 0
vsize: 838960
[startup+470.066 s]
Raw data (loadavg): 1.03 1.03 1.00 2/64 20824
Raw data (stat): 20814 (java) R 20813 4613 4612 0 -1 0 18075 0 1 0 42092 107 0 0 25 0 11 0 838297676 859095040 151551 4294967295 134512640 134569956 3221224368 3221214480 1131194652 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209740 151551 13086 16 0 209724 0
vsize: 838960
[startup+480.065 s]
Raw data (loadavg): 1.03 1.03 1.00 2/64 20824
Raw data (stat): 20814 (java) R 20813 4613 4612 0 -1 0 18075 0 1 0 43050 107 0 0 25 0 11 0 838297676 859095040 151664 4294967295 134512640 134569956 3221224368 3221214672 1131448192 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209740 151664 13086 16 0 209724 0
vsize: 838960
[startup+490.066 s]
Raw data (loadavg): 1.02 1.03 1.00 2/64 20824
Raw data (stat): 20814 (java) R 20813 4613 4612 0 -1 0 18075 0 1 0 44014 107 0 0 23 0 11 0 838297676 859095040 151726 4294967295 134512640 134569956 3221224368 3221214568 1131369296 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209740 151726 13086 16 0 209724 0
vsize: 838960
[startup+500.067 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 20824
Raw data (stat): 20814 (java) R 20813 4613 4612 0 -1 0 18075 0 1 0 44974 107 0 0 25 0 11 0 838297676 859095040 151796 4294967295 134512640 134569956 3221224368 3221214568 1131368455 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209740 151796 13086 16 0 209724 0
vsize: 838960
[startup+510.067 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 20877
Raw data (stat): 20814 (java) R 20813 4613 4612 0 -1 0 18075 0 1 0 45932 114 0 0 25 0 11 0 838297676 859095040 151834 4294967295 134512640 134569956 3221224368 3221214672 1131443596 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209740 151834 13086 16 0 209724 0
vsize: 838960
[startup+520.068 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 20877
Raw data (stat): 20814 (java) R 20813 4613 4612 0 -1 0 18075 0 1 0 46902 114 0 0 25 0 11 0 838297676 859095040 151849 4294967295 134512640 134569956 3221224368 3221214672 1131444804 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209740 151849 13086 16 0 209724 0
vsize: 838960
[startup+530.068 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 20877
Raw data (stat): 20814 (java) R 20813 4613 4612 0 -1 0 18075 0 1 0 47874 115 0 0 25 0 11 0 838297676 859095040 151885 4294967295 134512640 134569956 3221224368 3221214672 1131443603 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209740 151885 13086 16 0 209724 0
vsize: 838960
[startup+540.069 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 20877
Raw data (stat): 20814 (java) S 20813 4613 4612 0 -1 0 18075 0 1 0 48833 115 0 0 25 0 11 0 838297676 859095040 151919 4294967295 134512640 134569956 3221224368 3221213312 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209740 151919 13086 16 0 209724 0
vsize: 838960
[startup+550.069 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 20877
Raw data (stat): 20814 (java) R 20813 4613 4612 0 -1 0 18075 0 1 0 49798 116 0 0 25 0 11 0 838297676 859095040 151935 4294967295 134512640 134569956 3221224368 3221214672 1131443603 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209740 151935 13086 16 0 209724 0
vsize: 838960
[startup+560.068 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 20877
Raw data (stat): 20814 (java) R 20813 4613 4612 0 -1 0 18075 0 1 0 50750 116 0 0 25 0 11 0 838297676 859095040 151951 4294967295 134512640 134569956 3221224368 3221214668 1131368332 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209740 151951 13086 16 0 209724 0
vsize: 838960
[startup+570.069 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 20877
Raw data (stat): 20814 (java) R 20813 4613 4612 0 -1 0 18075 0 1 0 51705 116 0 0 25 0 11 0 838297676 859095040 152061 4294967295 134512640 134569956 3221224368 3221214672 1131448282 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209740 152061 13086 16 0 209724 0
vsize: 838960
[startup+580.068 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 20879
Raw data (stat): 20814 (java) R 20813 4613 4612 0 -1 0 18075 0 1 0 52658 117 0 0 25 0 11 0 838297676 859095040 152062 4294967295 134512640 134569956 3221224368 3221214672 1131448357 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209740 152062 13086 16 0 209724 0
vsize: 838960
[startup+590.07 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 20879
Raw data (stat): 20814 (java) R 20813 4613 4612 0 -1 0 18075 0 1 0 53616 117 0 0 25 0 11 0 838297676 859095040 152211 4294967295 134512640 134569956 3221224368 3221214672 1131444804 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209740 152211 13086 16 0 209724 0
vsize: 838960
[startup+600.07 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 20879
Raw data (stat): 20814 (java) R 20813 4613 4612 0 -1 0 18075 0 1 0 54576 117 0 0 25 0 11 0 838297676 859095040 152212 4294967295 134512640 134569956 3221224368 3221214672 1131444671 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209740 152212 13086 16 0 209724 0
vsize: 838960
[startup+610.07 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 20879
Raw data (stat): 20814 (java) R 20813 4613 4612 0 -1 0 18075 0 1 0 55532 117 0 0 25 0 11 0 838297676 859095040 152314 4294967295 134512640 134569956 3221224368 3221214568 1131368439 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209740 152314 13086 16 0 209724 0
vsize: 838960
[startup+620.071 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 20879
Raw data (stat): 20814 (java) S 20813 4613 4612 0 -1 0 18075 0 1 0 56495 118 0 0 25 0 11 0 838297676 859095040 152315 4294967295 134512640 134569956 3221224368 3221213272 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209740 152315 13086 16 0 209724 0
vsize: 838960
[startup+630.071 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 20879
Raw data (stat): 20814 (java) R 20813 4613 4612 0 -1 0 18075 0 1 0 57451 118 0 0 25 0 11 0 838297676 859095040 152475 4294967295 134512640 134569956 3221224368 3221214568 1131368364 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209740 152475 13086 16 0 209724 0
vsize: 838960
[startup+640.072 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 20879
Raw data (stat): 20814 (java) R 20813 4613 4612 0 -1 0 18075 0 1 0 58426 118 0 0 25 0 11 0 838297676 859095040 152476 4294967295 134512640 134569956 3221224368 3221214672 1131448513 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209740 152476 13086 16 0 209724 0
vsize: 838960
[startup+650.073 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 20879
Raw data (stat): 20814 (java) R 20813 4613 4612 0 -1 0 18075 0 1 0 59393 119 0 0 25 0 11 0 838297676 859095040 152480 4294967295 134512640 134569956 3221224368 3221214568 1131368349 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209740 152480 13086 16 0 209724 0
vsize: 838960
[startup+660.072 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 20879
Raw data (stat): 20814 (java) R 20813 4613 4612 0 -1 0 18075 0 1 0 60365 119 0 0 25 0 11 0 838297676 859095040 152528 4294967295 134512640 134569956 3221224368 3221214564 1131194663 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209740 152528 13086 16 0 209724 0
vsize: 838960
[startup+670.073 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 20879
Raw data (stat): 20814 (java) R 20813 4613 4612 0 -1 0 18075 0 1 0 61335 119 0 0 25 0 11 0 838297676 859095040 152546 4294967295 134512640 134569956 3221224368 3221214568 1131369280 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209740 152546 13086 16 0 209724 0
vsize: 838960
[startup+680.074 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 20879
Raw data (stat): 20814 (java) R 20813 4613 4612 0 -1 0 18075 0 1 0 62313 119 0 0 25 0 11 0 838297676 859095040 152598 4294967295 134512640 134569956 3221224368 3221214672 1131444755 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209740 152598 13086 16 0 209724 0
vsize: 838960
[startup+690.074 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 20879
Raw data (stat): 20814 (java) R 20813 4613 4612 0 -1 0 18075 0 1 0 63290 120 0 0 24 0 11 0 838297676 859095040 152599 4294967295 134512640 134569956 3221224368 3221214568 1131368353 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209740 152599 13086 16 0 209724 0
vsize: 838960
[startup+700.075 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20879
Raw data (stat): 20814 (java) R 20813 4613 4612 0 -1 0 18075 0 1 0 64254 120 0 0 25 0 11 0 838297676 859095040 152616 4294967295 134512640 134569956 3221224368 3221214568 1131369061 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209740 152616 13086 16 0 209724 0
vsize: 838960
[startup+710.075 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20879
Raw data (stat): 20814 (java) R 20813 4613 4612 0 -1 0 18075 0 1 0 65221 121 0 0 25 0 11 0 838297676 859095040 152617 4294967295 134512640 134569956 3221224368 3221214568 1131368821 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209740 152617 13086 16 0 209724 0
vsize: 838960
[startup+720.075 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20879
Raw data (stat): 20814 (java) R 20813 4613 4612 0 -1 0 18075 0 1 0 66188 121 0 0 25 0 11 0 838297676 859095040 152619 4294967295 134512640 134569956 3221224368 3221214672 1131444759 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209740 152619 13086 16 0 209724 0
vsize: 838960
[startup+730.076 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20879
Raw data (stat): 20814 (java) R 20813 4613 4612 0 -1 0 18075 0 1 0 67145 121 0 0 25 0 11 0 838297676 859095040 152745 4294967295 134512640 134569956 3221224368 3221214568 1131368781 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209740 152745 13086 16 0 209724 0
vsize: 838960
[startup+740.077 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20879
Raw data (stat): 20814 (java) R 20813 4613 4612 0 -1 0 18075 0 1 0 68112 121 0 0 25 0 11 0 838297676 859095040 152746 4294967295 134512640 134569956 3221224368 3221214568 1131369009 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209740 152746 13086 16 0 209724 0
vsize: 838960
[startup+750.076 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20879
Raw data (stat): 20814 (java) R 20813 4613 4612 0 -1 0 18075 0 1 0 69075 122 0 0 25 0 11 0 838297676 859095040 152748 4294967295 134512640 134569956 3221224368 3221214672 1131443627 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209740 152748 13086 16 0 209724 0
vsize: 838960
[startup+760.077 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20879
Raw data (stat): 20814 (java) R 20813 4613 4612 0 -1 0 18075 0 1 0 70049 122 0 0 25 0 11 0 838297676 859095040 152855 4294967295 134512640 134569956 3221224368 3221214568 1131369195 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209740 152855 13086 16 0 209724 0
vsize: 838960
[startup+770.078 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20879
Raw data (stat): 20814 (java) R 20813 4613 4612 0 -1 0 18075 0 1 0 71025 122 0 0 25 0 11 0 838297676 859095040 152856 4294967295 134512640 134569956 3221224368 3221214672 1131444759 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209740 152856 13086 16 0 209724 0
vsize: 838960
[startup+780.078 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20879
Raw data (stat): 20814 (java) R 20813 4613 4612 0 -1 0 18075 0 1 0 71991 123 0 0 25 0 11 0 838297676 859095040 152910 4294967295 134512640 134569956 3221224368 3221214672 1131448298 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209740 152910 13086 16 0 209724 0
vsize: 838960
[startup+790.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20879
Raw data (stat): 20814 (java) R 20813 4613 4612 0 -1 0 18075 0 1 0 72968 123 0 0 25 0 11 0 838297676 859095040 152911 4294967295 134512640 134569956 3221224368 3221214568 1131368349 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209740 152911 13086 16 0 209724 0
vsize: 838960
[startup+800.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20879
Raw data (stat): 20814 (java) R 20813 4613 4612 0 -1 0 18075 0 1 0 73945 124 0 0 25 0 11 0 838297676 859095040 152913 4294967295 134512640 134569956 3221224368 3221214568 1131368495 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209740 152913 13086 16 0 209724 0
vsize: 838960
[startup+810.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20879
Raw data (stat): 20814 (java) R 20813 4613 4612 0 -1 0 18075 0 1 0 74911 124 0 0 25 0 11 0 838297676 859095040 152955 4294967295 134512640 134569956 3221224368 3221214668 1131394499 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209740 152955 13086 16 0 209724 0
vsize: 838960
[startup+820.081 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20879
Raw data (stat): 20814 (java) R 20813 4613 4612 0 -1 0 18088 0 1 0 75853 124 0 0 25 0 11 0 838297676 859095040 152980 4294967295 134512640 134569956 3221224368 3221214584 1131251706 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209740 152980 13086 16 0 209724 0
vsize: 838960
[startup+830.082 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20879
Raw data (stat): 20814 (java) R 20813 4613 4612 0 -1 0 18088 0 1 0 76769 124 0 0 25 0 11 0 838297676 859095040 152984 4294967295 134512640 134569956 3221224368 3221214568 1131369057 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209740 152984 13086 16 0 209724 0
vsize: 838960
[startup+840.082 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20881
Raw data (stat): 20814 (java) R 20813 4613 4612 0 -1 0 18088 0 1 0 77654 125 0 0 25 0 11 0 838297676 859095040 152985 4294967295 134512640 134569956 3221224368 3221214568 1131368364 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209740 152985 13086 16 0 209724 0
vsize: 838960
[startup+850.083 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20881
Raw data (stat): 20814 (java) S 20813 4613 4612 0 -1 0 18088 0 1 0 78528 125 0 0 25 0 11 0 838297676 859095040 153243 4294967295 134512640 134569956 3221224368 3221213312 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209740 153243 13086 16 0 209724 0
vsize: 838960
[startup+860.084 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20881
Raw data (stat): 20814 (java) R 20813 4613 4612 0 -1 0 18088 0 1 0 79446 125 0 0 25 0 11 0 838297676 859095040 153719 4294967295 134512640 134569956 3221224368 3221214568 1131369390 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209740 153719 13086 16 0 209724 0
vsize: 838960
[startup+870.084 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20881
Raw data (stat): 20814 (java) R 20813 4613 4612 0 -1 0 18088 0 1 0 80409 126 0 0 25 0 11 0 838297676 859095040 153801 4294967295 134512640 134569956 3221224368 3221214672 1131448304 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209740 153801 13086 16 0 209724 0
vsize: 838960
[startup+880.085 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20881
Raw data (stat): 20814 (java) R 20813 4613 4612 0 -1 0 18088 0 1 0 81371 126 0 0 25 0 11 0 838297676 859095040 153825 4294967295 134512640 134569956 3221224368 3221214568 1131368357 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209740 153825 13086 16 0 209724 0
vsize: 838960
[startup+890.086 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20881
Raw data (stat): 20814 (java) R 20813 4613 4612 0 -1 0 18088 0 1 0 82338 126 0 0 25 0 11 0 838297676 859095040 153857 4294967295 134512640 134569956 3221224368 3221214608 1131251385 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209740 153857 13086 16 0 209724 0
vsize: 838960
[startup+900.086 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20881
Raw data (stat): 20814 (java) R 20813 4613 4612 0 -1 0 18088 0 1 0 83318 126 0 0 25 0 11 0 838297676 859095040 153857 4294967295 134512640 134569956 3221224368 3221214568 1131369001 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209740 153857 13086 16 0 209724 0
vsize: 838960
[startup+910.086 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20881
Raw data (stat): 20814 (java) R 20813 4613 4612 0 -1 0 18088 0 1 0 84278 126 0 0 24 0 11 0 838297676 859095040 153894 4294967295 134512640 134569956 3221224368 3221214672 1131443603 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209740 153894 13086 16 0 209724 0
vsize: 838960
[startup+920.086 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20881
Raw data (stat): 20814 (java) R 20813 4613 4612 0 -1 0 18088 0 1 0 85235 127 0 0 25 0 11 0 838297676 859095040 153959 4294967295 134512640 134569956 3221224368 3221214480 1131194644 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209740 153959 13086 16 0 209724 0
vsize: 838960
[startup+930.086 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20881
Raw data (stat): 20814 (java) R 20813 4613 4612 0 -1 0 18088 0 1 0 86191 127 0 0 25 0 11 0 838297676 859095040 153985 4294967295 134512640 134569956 3221224368 3221214672 1131444888 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209740 153985 13086 16 0 209724 0
vsize: 838960
[startup+940.087 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20881
Raw data (stat): 20814 (java) R 20813 4613 4612 0 -1 0 18088 0 1 0 87146 128 0 0 25 0 11 0 838297676 859095040 154016 4294967295 134512640 134569956 3221224368 3221214568 1131368349 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209740 154016 13086 16 0 209724 0
vsize: 838960
[startup+950.088 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20881
Raw data (stat): 20814 (java) R 20813 4613 4612 0 -1 0 18088 0 1 0 88119 128 0 0 25 0 11 0 838297676 859095040 154114 4294967295 134512640 134569956 3221224368 3221214568 1131369063 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209740 154114 13086 16 0 209724 0
vsize: 838960
[startup+960.087 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20881
Raw data (stat): 20814 (java) R 20813 4613 4612 0 -1 0 18088 0 1 0 89095 128 0 0 24 0 11 0 838297676 859095040 154163 4294967295 134512640 134569956 3221224368 3221214568 1131368439 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209740 154163 13086 16 0 209724 0
vsize: 838960
[startup+970.088 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20881
Raw data (stat): 20814 (java) R 20813 4613 4612 0 -1 0 18088 0 1 0 90077 129 0 0 25 0 11 0 838297676 859095040 154171 4294967295 134512640 134569956 3221224368 3221213864 1076914545 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209740 154171 13086 16 0 209724 0
vsize: 838960
[startup+980.088 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20881
Raw data (stat): 20814 (java) R 20813 4613 4612 0 -1 0 18088 0 1 0 91057 129 0 0 25 0 11 0 838297676 859095040 154176 4294967295 134512640 134569956 3221224368 3221214568 1131369260 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209740 154176 13086 16 0 209724 0
vsize: 838960
[startup+990.089 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20881
Raw data (stat): 20814 (java) R 20813 4613 4612 0 -1 0 18088 0 1 0 92038 129 0 0 25 0 11 0 838297676 859095040 154185 4294967295 134512640 134569956 3221224368 3221214568 1131368821 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209740 154185 13086 16 0 209724 0
vsize: 838960
[startup+1000.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20881
Raw data (stat): 20814 (java) R 20813 4613 4612 0 -1 0 18088 0 1 0 93019 130 0 0 25 0 11 0 838297676 859095040 154187 4294967295 134512640 134569956 3221224368 3221214672 1131443649 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209740 154187 13086 16 0 209724 0
vsize: 838960
[startup+1010.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20881
Raw data (stat): 20814 (java) R 20813 4613 4612 0 -1 0 18088 0 1 0 94000 130 0 0 25 0 11 0 838297676 859095040 154190 4294967295 134512640 134569956 3221224368 3221214568 1131368378 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209740 154190 13086 16 0 209724 0
vsize: 838960
[startup+1020.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20881
Raw data (stat): 20814 (java) R 20813 4613 4612 0 -1 0 18088 0 1 0 94981 130 0 0 25 0 11 0 838297676 859095040 154191 4294967295 134512640 134569956 3221224368 3221214568 1131368439 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209740 154191 13086 16 0 209724 0
vsize: 838960
[startup+1030.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20881
Raw data (stat): 20814 (java) R 20813 4613 4612 0 -1 0 18088 0 1 0 95962 131 0 0 24 0 11 0 838297676 859095040 154192 4294967295 134512640 134569956 3221224368 3221214672 1131443603 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209740 154192 13086 16 0 209724 0
vsize: 838960
[startup+1040.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20881
Raw data (stat): 20814 (java) R 20813 4613 4612 0 -1 0 18088 0 1 0 96943 131 0 0 17 0 11 0 838297676 859095040 154194 4294967295 134512640 134569956 3221224368 3221214568 1131368432 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209740 154194 13086 16 0 209724 0
vsize: 838960
[startup+1050.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20881
Raw data (stat): 20814 (java) R 20813 4613 4612 0 -1 0 18088 0 1 0 97923 131 0 0 25 0 11 0 838297676 859095040 154196 4294967295 134512640 134569956 3221224368 3221214568 1131369109 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209740 154196 13086 16 0 209724 0
vsize: 838960
[startup+1060.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20881
Raw data (stat): 20814 (java) R 20813 4613 4612 0 -1 0 18088 0 1 0 98906 132 0 0 25 0 11 0 838297676 859095040 154199 4294967295 134512640 134569956 3221224368 3221214672 1131448418 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209740 154199 13086 16 0 209724 0
vsize: 838960
[startup+1070.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20881
Raw data (stat): 20814 (java) R 20813 4613 4612 0 -1 0 18088 0 1 0 99887 133 0 0 25 0 11 0 838297676 859095040 154200 4294967295 134512640 134569956 3221224368 3221214568 1131368821 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209740 154200 13086 16 0 209724 0
vsize: 838960
[startup+1080.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20881
Raw data (stat): 20814 (java) R 20813 4613 4612 0 -1 0 18088 0 1 0 100868 134 0 0 25 0 11 0 838297676 859095040 154202 4294967295 134512640 134569956 3221224368 3221214568 1131368765 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209740 154202 13086 16 0 209724 0
vsize: 838960
[startup+1090.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20881
Raw data (stat): 20814 (java) R 20813 4613 4612 0 -1 0 18088 0 1 0 101849 134 0 0 25 0 11 0 838297676 859095040 154203 4294967295 134512640 134569956 3221224368 3221214672 1131443603 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209740 154203 13086 16 0 209724 0
vsize: 838960
[startup+1100.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20881
Raw data (stat): 20814 (java) R 20813 4613 4612 0 -1 0 18088 0 1 0 102830 134 0 0 25 0 11 0 838297676 859095040 154204 4294967295 134512640 134569956 3221224368 3221214568 1131368840 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209740 154204 13086 16 0 209724 0
vsize: 838960
[startup+1110.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20881
Raw data (stat): 20814 (java) R 20813 4613 4612 0 -1 0 18088 0 1 0 103811 134 0 0 25 0 11 0 838297676 859095040 154206 4294967295 134512640 134569956 3221224368 3221214568 1131368349 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209740 154206 13086 16 0 209724 0
vsize: 838960
[startup+1120.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20881
Raw data (stat): 20814 (java) R 20813 4613 4612 0 -1 0 18088 0 1 0 104793 135 0 0 25 0 11 0 838297676 859095040 154208 4294967295 134512640 134569956 3221224368 3221214672 1131443603 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209740 154208 13086 16 0 209724 0
vsize: 838960
[startup+1130.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20881
Raw data (stat): 20814 (java) R 20813 4613 4612 0 -1 0 18088 0 1 0 105774 135 0 0 25 0 11 0 838297676 859095040 154211 4294967295 134512640 134569956 3221224368 3221214568 1131368720 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209740 154211 13086 16 0 209724 0
vsize: 838960
[startup+1140.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20881
Raw data (stat): 20814 (java) R 20813 4613 4612 0 -1 0 18088 0 1 0 106757 136 0 0 25 0 11 0 838297676 859095040 154212 4294967295 134512640 134569956 3221224368 3221214568 1131369275 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209740 154212 13086 16 0 209724 0
vsize: 838960
[startup+1150.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20881
Raw data (stat): 20814 (java) R 20813 4613 4612 0 -1 0 18088 0 1 0 107739 136 0 0 25 0 11 0 838297676 859095040 154214 4294967295 134512640 134569956 3221224368 3221214672 1131443429 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209740 154214 13086 16 0 209724 0
vsize: 838960
[startup+1160.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20881
Raw data (stat): 20814 (java) R 20813 4613 4612 0 -1 0 18088 0 1 0 108718 136 0 0 25 0 11 0 838297676 859095040 154216 4294967295 134512640 134569956 3221224368 3221214564 1131193575 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209740 154216 13086 16 0 209724 0
vsize: 838960
[startup+1170.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20881
Raw data (stat): 20814 (java) R 20813 4613 4612 0 -1 0 18088 0 1 0 109699 137 0 0 24 0 11 0 838297676 859095040 154218 4294967295 134512640 134569956 3221224368 3221214568 1131368364 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209740 154218 13086 16 0 209724 0
vsize: 838960
[startup+1180.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20881
Raw data (stat): 20814 (java) R 20813 4613 4612 0 -1 0 18088 0 1 0 110680 137 0 0 25 0 11 0 838297676 859095040 154219 4294967295 134512640 134569956 3221224368 3221214568 1131369053 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209740 154219 13086 16 0 209724 0
vsize: 838960
[startup+1190.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20881
Raw data (stat): 20814 (java) R 20813 4613 4612 0 -1 0 18088 0 1 0 111662 137 0 0 25 0 11 0 838297676 859095040 154221 4294967295 134512640 134569956 3221224368 3221214564 1131193575 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209740 154221 13086 16 0 209724 0
vsize: 838960
[startup+1200.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20881
Raw data (stat): 20814 (java) R 20813 4613 4612 0 -1 0 18088 0 1 0 112643 138 0 0 25 0 11 0 838297676 859095040 154224 4294967295 134512640 134569956 3221224368 3221214568 1131369045 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209740 154224 13086 16 0 209724 0
vsize: 838960
[startup+1210.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20881
Raw data (stat): 20814 (java) R 20813 4613 4612 0 -1 0 18088 0 1 0 113624 138 0 0 25 0 11 0 838297676 859095040 154226 4294967295 134512640 134569956 3221224368 3221214568 1131368950 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209740 154226 13086 16 0 209724 0
vsize: 838960
[startup+1220.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20881
Raw data (stat): 20814 (java) R 20813 4613 4612 0 -1 0 18088 0 1 0 114605 139 0 0 25 0 11 0 838297676 859095040 154227 4294967295 134512640 134569956 3221224368 3221214568 1131368364 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209740 154227 13086 16 0 209724 0
vsize: 838960
[startup+1230.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20881
Raw data (stat): 20814 (java) R 20813 4613 4612 0 -1 0 18088 0 1 0 115586 139 0 0 25 0 11 0 838297676 859095040 154230 4294967295 134512640 134569956 3221224368 3221214568 1131369001 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209740 154230 13086 16 0 209724 0
vsize: 838960
[startup+1240.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20881
Raw data (stat): 20814 (java) R 20813 4613 4612 0 -1 0 18088 0 1 0 116568 139 0 0 25 0 11 0 838297676 859095040 154231 4294967295 134512640 134569956 3221224368 3221214568 1131368779 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209740 154231 13086 16 0 209724 0
vsize: 838960
[startup+1250.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20881
Raw data (stat): 20814 (java) R 20813 4613 4612 0 -1 0 18088 0 1 0 117549 139 0 0 25 0 11 0 838297676 859095040 154234 4294967295 134512640 134569956 3221224368 3221214568 1131368735 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209740 154234 13086 16 0 209724 0
vsize: 838960
[startup+1260.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20881
Raw data (stat): 20814 (java) R 20813 4613 4612 0 -1 0 18088 0 1 0 118531 140 0 0 25 0 11 0 838297676 859095040 154235 4294967295 134512640 134569956 3221224368 3221214672 1131443649 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209740 154235 13086 16 0 209724 0
vsize: 838960
[startup+1270.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20881
Raw data (stat): 20814 (java) R 20813 4613 4612 0 -1 0 18088 0 1 0 119512 140 0 0 25 0 11 0 838297676 859095040 154238 4294967295 134512640 134569956 3221224368 3221214568 1131368781 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209740 154238 13086 16 0 209724 0
vsize: 838960
[startup+1280.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20881
Raw data (stat): 20814 (java) R 20813 4613 4612 0 -1 0 18088 0 1 0 120493 140 0 0 25 0 11 0 838297676 859095040 154240 4294967295 134512640 134569956 3221224368 3221214568 1131369381 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209740 154240 13086 16 0 209724 0
vsize: 838960
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1280.43 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 20883
Raw data (stat): 20814 (java) Z 20813 4613 4612 0 -1 1036 18088 141677 1 0 120497 168 8134 328 25 0 1 0 838297676 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): 1280.43
CPU time (s): 1291.3
CPU user time (s): 1286.33
CPU system time (s): 4.97424
CPU usage (%): 100.849
Max. virtual memory (Kb): 838960
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####