PB'05 competition: run trace

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
General information on the benchmark

Name	normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga13_12_sat_pb.cnf.cr.opb
MD5SUM	b895465c3a135658947941250991e4de
Bench Category	no optimization function (SAT)
Has Objective Function	NO
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	0
Optimality of the best value was proved	NO
Number of terms in the objective function	0
Biggest coefficient in the objective function	0
Number of bits for the biggest coefficient in the objective function	0
Sum of the numbers in the objective function	0
Number of bits of the sum of numbers in the objective function	0
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	14
Number of bits of the biggest sum of numbers	4
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	0.100984
Number of variables	234
Total number of constraints	193
Number of constraints which are clauses	168
Number of constraints which are cardinality constraints (but not clauses)	25
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	6
Maximum length of a constraint	13
Trace number 29048

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        533172 kB
Buffers:          4316 kB
Cached:         467024 kB
SwapCached:        920 kB
Active:          46444 kB
Inactive:       426996 kB
HighTotal:      131008 kB
HighFree:        11284 kB
LowTotal:       903652 kB
LowFree:        521888 kB
SwapTotal:     2097892 kB
SwapFree:      2095956 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5192 kB
Slab:            22340 kB
Committed_AS:    63812 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 04:58:17 (client local time) WITH STATUS 143 IN 1240.33 SECONDS
stats: 20442 7 1240.33 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/wulflinc31/normalized-fpga13_12_sat_pb.cnf.cr.opb
c reading problem ... done. Time 2.519 ms.
c #vars     234
c #constraints  193
c starts	: 9
c conflicts	: 6888
c decisions	: 17698
c propagations	: 97680
c inspects	: 4697090
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 6888
c root simplifications	: 9
s UNKNOWN
c Total CPU time (ms) : 1243.56
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.92 0.98 1.13 2/55 10744
Raw data (stat): 10744 (runsolver) R 10743 29618 29617 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 836034225 1052672 99 4294967295 134512640 135381576 3221224400 3221219620 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0009 s]
Raw data (loadavg): 0.93 0.98 1.13 3/64 10753
Raw data (stat): 10744 (java) R 10743 29618 29617 0 -1 0 3739 0 81 0 114 15 0 0 18 0 10 0 836034225 853553152 4020 4294967295 134512640 134569956 3221224368 3221214652 1130907808 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208387 4021 13086 16 0 208371 0
vsize: 833548
[startup+21.2954 s]
Raw data (loadavg): 1.17 1.03 1.14 2/65 10754
Raw data (stat): 10744 (java) R 10743 29618 29617 0 -1 0 17983 0 82 0 993 50 0 0 25 0 11 0 836034225 857989120 20283 4294967295 134512640 134569956 3221224368 3221214664 1131160106 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209470 20283 13086 16 0 209454 0
vsize: 837880
[startup+31.2967 s]
Raw data (loadavg): 1.14 1.03 1.14 2/65 10756
Raw data (stat): 10744 (java) R 10743 29618 29617 0 -1 0 17983 0 82 0 1950 50 0 0 24 0 11 0 836034225 857989120 21031 4294967295 134512640 134569956 3221224368 3221214216 1131444810 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209470 21031 13086 16 0 209454 0
vsize: 837880
[startup+41.2976 s]
Raw data (loadavg): 1.12 1.03 1.14 2/65 10756
Raw data (stat): 10744 (java) R 10743 29618 29617 0 -1 0 17984 0 82 0 2915 50 0 0 25 0 11 0 836034225 857989120 21570 4294967295 134512640 134569956 3221224368 3221214664 1131159446 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209470 21570 13086 16 0 209454 0
vsize: 837880
[startup+51.297 s]
Raw data (loadavg): 1.10 1.03 1.14 2/65 10756
Raw data (stat): 10744 (java) R 10743 29618 29617 0 -1 0 17984 0 82 0 3871 50 0 0 25 0 11 0 836034225 857989120 21866 4294967295 134512640 134569956 3221224368 3221214160 1131444775 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209470 21866 13086 16 0 209454 0
vsize: 837880
[startup+61.2975 s]
Raw data (loadavg): 1.09 1.03 1.14 2/65 10756
Raw data (stat): 10744 (java) R 10743 29618 29617 0 -1 0 17984 0 82 0 4834 50 0 0 25 0 11 0 836034225 857989120 22287 4294967295 134512640 134569956 3221224368 3221214576 1131389169 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209470 22287 13086 16 0 209454 0
vsize: 837880
[startup+71.298 s]
Raw data (loadavg): 1.07 1.03 1.13 2/65 10756
Raw data (stat): 10744 (java) R 10743 29618 29617 0 -1 0 17984 0 82 0 5797 51 0 0 25 0 11 0 836034225 857989120 22598 4294967295 134512640 134569956 3221224368 3221214680 1131174073 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209470 22598 13086 16 0 209454 0
vsize: 837880
[startup+81.299 s]
Raw data (loadavg): 1.06 1.02 1.13 2/65 10756
Raw data (stat): 10744 (java) R 10743 29618 29617 0 -1 0 17984 0 82 0 6761 51 0 0 25 0 11 0 836034225 857989120 22927 4294967295 134512640 134569956 3221224368 3221214640 1131159446 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209470 22927 13086 16 0 209454 0
vsize: 837880
[startup+91.2992 s]
Raw data (loadavg): 1.05 1.02 1.13 2/65 10758
Raw data (stat): 10744 (java) R 10743 29618 29617 0 -1 0 17984 0 82 0 7727 51 0 0 25 0 11 0 836034225 857989120 23187 4294967295 134512640 134569956 3221224368 3221214472 1131446673 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209470 23187 13086 16 0 209454 0
vsize: 837880
[startup+101.299 s]
Raw data (loadavg): 1.04 1.02 1.13 2/65 10758
Raw data (stat): 10744 (java) R 10743 29618 29617 0 -1 0 17984 0 82 0 8695 51 0 0 25 0 11 0 836034225 857989120 23372 4294967295 134512640 134569956 3221224368 3221214504 1131159508 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209470 23372 13086 16 0 209454 0
vsize: 837880
[startup+111.3 s]
Raw data (loadavg): 1.04 1.02 1.13 2/65 10758
Raw data (stat): 10744 (java) R 10743 29618 29617 0 -1 0 17984 0 82 0 9642 51 0 0 25 0 11 0 836034225 857989120 23602 4294967295 134512640 134569956 3221224368 3221214216 1085679325 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209470 23602 13086 16 0 209454 0
vsize: 837880
[startup+121.3 s]
Raw data (loadavg): 1.03 1.02 1.12 2/65 10758
Raw data (stat): 10744 (java) R 10743 29618 29617 0 -1 0 17984 0 82 0 10609 51 0 0 25 0 11 0 836034225 857989120 23817 4294967295 134512640 134569956 3221224368 3221214752 1131244087 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209470 23817 13086 16 0 209454 0
vsize: 837880
[startup+131.301 s]
Raw data (loadavg): 1.02 1.02 1.12 2/65 10758
Raw data (stat): 10744 (java) R 10743 29618 29617 0 -1 0 17984 0 82 0 11578 51 0 0 25 0 11 0 836034225 857989120 23911 4294967295 134512640 134569956 3221224368 3221214744 1131180089 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209470 23911 13086 16 0 209454 0
vsize: 837880
[startup+141.301 s]
Raw data (loadavg): 1.02 1.02 1.12 2/65 10758
Raw data (stat): 10744 (java) R 10743 29618 29617 0 -1 0 17984 0 82 0 12533 51 0 0 25 0 11 0 836034225 857989120 24117 4294967295 134512640 134569956 3221224368 3221214616 1131311384 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209470 24117 13086 16 0 209454 0
vsize: 837880
[startup+151.302 s]
Raw data (loadavg): 1.02 1.02 1.12 2/65 10760
Raw data (stat): 10744 (java) R 10743 29618 29617 0 -1 0 17984 0 82 0 13499 51 0 0 25 0 11 0 836034225 857989120 24328 4294967295 134512640 134569956 3221224368 3221214472 1131446648 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209470 24328 13086 16 0 209454 0
vsize: 837880
[startup+161.303 s]
Raw data (loadavg): 1.01 1.02 1.12 2/65 10760
Raw data (stat): 10744 (java) R 10743 29618 29617 0 -1 0 17984 0 82 0 14465 51 0 0 25 0 11 0 836034225 857989120 24501 4294967295 134512640 134569956 3221224368 3221214616 1131311286 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209470 24501 13086 16 0 209454 0
vsize: 837880
[startup+171.303 s]
Raw data (loadavg): 1.01 1.02 1.12 2/65 10760
Raw data (stat): 10744 (java) R 10743 29618 29617 0 -1 0 17984 0 82 0 15432 51 0 0 25 0 11 0 836034225 857989120 24699 4294967295 134512640 134569956 3221224368 3221214588 1131165856 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209470 24699 13086 16 0 209454 0
vsize: 837880
[startup+181.305 s]
Raw data (loadavg): 1.01 1.02 1.11 2/65 10760
Raw data (stat): 10744 (java) R 10743 29618 29617 0 -1 0 17984 0 82 0 16409 51 0 0 25 0 11 0 836034225 857989120 24821 4294967295 134512640 134569956 3221224368 3221214080 1131446673 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209470 24821 13086 16 0 209454 0
vsize: 837880
[startup+191.305 s]
Raw data (loadavg): 1.01 1.01 1.11 2/65 10760
Raw data (stat): 10744 (java) R 10743 29618 29617 0 -1 0 17984 0 82 0 17375 51 0 0 25 0 11 0 836034225 857989120 25066 4294967295 134512640 134569956 3221224368 3221214028 1131446672 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209470 25066 13086 16 0 209454 0
vsize: 837880
[startup+201.305 s]
Raw data (loadavg): 1.01 1.01 1.11 2/65 10760
Raw data (stat): 10744 (java) R 10743 29618 29617 0 -1 0 17984 0 82 0 18341 51 0 0 25 0 11 0 836034225 857989120 25263 4294967295 134512640 134569956 3221224368 3221214412 1131446672 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209470 25263 13086 16 0 209454 0
vsize: 837880
[startup+211.305 s]
Raw data (loadavg): 1.00 1.01 1.11 2/65 10762
Raw data (stat): 10744 (java) R 10743 29618 29617 0 -1 0 17984 0 82 0 19318 51 0 0 25 0 11 0 836034225 857989120 25362 4294967295 134512640 134569956 3221224368 3221214608 1131169308 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209470 25362 13086 16 0 209454 0
vsize: 837880
[startup+221.305 s]
Raw data (loadavg): 1.00 1.01 1.11 2/65 10762
Raw data (stat): 10744 (java) R 10743 29618 29617 0 -1 0 17984 0 82 0 20275 51 0 0 25 0 11 0 836034225 857989120 25587 4294967295 134512640 134569956 3221224368 3221214748 1131159392 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209470 25587 13086 16 0 209454 0
vsize: 837880
[startup+231.306 s]
Raw data (loadavg): 1.00 1.01 1.10 2/65 10762
Raw data (stat): 10744 (java) R 10743 29618 29617 0 -1 0 17984 0 82 0 21252 51 0 0 25 0 11 0 836034225 857989120 25733 4294967295 134512640 134569956 3221224368 3221214296 1131444788 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209470 25733 13086 16 0 209454 0
vsize: 837880
[startup+241.306 s]
Raw data (loadavg): 1.00 1.01 1.10 2/65 10762
Raw data (stat): 10744 (java) R 10743 29618 29617 0 -1 0 17984 0 82 0 22218 51 0 0 25 0 11 0 836034225 857989120 25898 4294967295 134512640 134569956 3221224368 3221214656 1131174113 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209470 25898 13086 16 0 209454 0
vsize: 837880
[startup+251.306 s]
Raw data (loadavg): 1.00 1.01 1.10 2/65 10762
Raw data (stat): 10744 (java) R 10743 29618 29617 0 -1 0 17984 0 82 0 23184 51 0 0 25 0 11 0 836034225 857989120 26039 4294967295 134512640 134569956 3221224368 3221214744 1131195419 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209470 26039 13086 16 0 209454 0
vsize: 837880
[startup+261.307 s]
Raw data (loadavg): 1.00 1.01 1.10 2/65 10762
Raw data (stat): 10744 (java) R 10743 29618 29617 0 -1 0 17984 0 82 0 24151 51 0 0 25 0 11 0 836034225 857989120 26187 4294967295 134512640 134569956 3221224368 3221214528 1131446733 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209470 26187 13086 16 0 209454 0
vsize: 837880
[startup+271.307 s]
Raw data (loadavg): 1.00 1.01 1.10 2/65 10764
Raw data (stat): 10744 (java) R 10743 29618 29617 0 -1 0 17984 0 82 0 25117 51 0 0 25 0 11 0 836034225 857989120 26308 4294967295 134512640 134569956 3221224368 3221214412 1131446672 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209470 26308 13086 16 0 209454 0
vsize: 837880
[startup+281.308 s]
Raw data (loadavg): 1.00 1.01 1.09 2/65 10764
Raw data (stat): 10744 (java) R 10743 29618 29617 0 -1 0 17984 0 82 0 26095 51 0 0 25 0 11 0 836034225 857989120 26412 4294967295 134512640 134569956 3221224368 3221214640 1131274036 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209470 26412 13086 16 0 209454 0
vsize: 837880
[startup+291.308 s]
Raw data (loadavg): 1.00 1.00 1.09 2/65 10764
Raw data (stat): 10744 (java) R 10743 29618 29617 0 -1 0 17984 0 82 0 27062 51 0 0 25 0 11 0 836034225 857989120 26553 4294967295 134512640 134569956 3221224368 3221214524 1131446672 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209470 26553 13086 16 0 209454 0
vsize: 837880
[startup+301.309 s]
Raw data (loadavg): 1.00 1.00 1.09 2/65 10764
Raw data (stat): 10744 (java) R 10743 29618 29617 0 -1 0 17984 0 82 0 28039 51 0 0 25 0 11 0 836034225 857989120 26671 4294967295 134512640 134569956 3221224368 3221214520 1131444652 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209470 26671 13086 16 0 209454 0
vsize: 837880
[startup+311.309 s]
Raw data (loadavg): 1.00 1.00 1.09 2/65 10764
Raw data (stat): 10744 (java) R 10743 29618 29617 0 -1 0 17984 0 82 0 29027 51 0 0 25 0 11 0 836034225 857989120 26732 4294967295 134512640 134569956 3221224368 3221214640 1131159409 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209470 26732 13086 16 0 209454 0
vsize: 837880
[startup+321.309 s]
Raw data (loadavg): 1.00 1.00 1.09 2/65 10764
Raw data (stat): 10744 (java) R 10743 29618 29617 0 -1 0 17984 0 82 0 30005 51 0 0 25 0 11 0 836034225 857989120 26833 4294967295 134512640 134569956 3221224368 3221214240 1131305933 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209470 26833 13086 16 0 209454 0
vsize: 837880
[startup+331.311 s]
Raw data (loadavg): 1.00 1.00 1.09 2/65 10766
Raw data (stat): 10744 (java) R 10743 29618 29617 0 -1 0 17984 0 82 0 30984 52 0 0 25 0 11 0 836034225 857989120 26944 4294967295 134512640 134569956 3221224368 3221214168 1131449400 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209470 26944 13086 16 0 209454 0
vsize: 837880
[startup+341.311 s]
Raw data (loadavg): 1.00 1.00 1.09 2/65 10766
Raw data (stat): 10744 (java) R 10743 29618 29617 0 -1 0 17984 0 82 0 31963 52 0 0 25 0 11 0 836034225 857989120 26995 4294967295 134512640 134569956 3221224368 3221213464 1131444775 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209470 26995 13086 16 0 209454 0
vsize: 837880
[startup+351.311 s]
Raw data (loadavg): 1.00 1.00 1.09 2/65 10766
Raw data (stat): 10744 (java) R 10743 29618 29617 0 -1 0 17984 0 82 0 32941 52 0 0 25 0 11 0 836034225 857989120 27039 4294967295 134512640 134569956 3221224368 3221214640 1131160115 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209470 27039 13086 16 0 209454 0
vsize: 837880
[startup+361.311 s]
Raw data (loadavg): 1.00 1.00 1.08 2/65 10766
Raw data (stat): 10744 (java) R 10743 29618 29617 0 -1 0 17984 0 82 0 33919 52 0 0 25 0 11 0 836034225 857989120 27168 4294967295 134512640 134569956 3221224368 3221214528 1131226419 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209470 27168 13086 16 0 209454 0
vsize: 837880
[startup+371.311 s]
Raw data (loadavg): 1.00 1.00 1.08 2/65 10766
Raw data (stat): 10744 (java) R 10743 29618 29617 0 -1 0 17984 0 82 0 34896 52 0 0 25 0 11 0 836034225 857989120 27263 4294967295 134512640 134569956 3221224368 3221214520 1131444796 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209470 27263 13086 16 0 209454 0
vsize: 837880
[startup+381.312 s]
Raw data (loadavg): 1.00 1.00 1.08 2/65 10766
Raw data (stat): 10744 (java) R 10743 29618 29617 0 -1 0 17984 0 82 0 35873 52 0 0 25 0 11 0 836034225 857989120 27367 4294967295 134512640 134569956 3221224368 3221214528 1131226506 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209470 27367 13086 16 0 209454 0
vsize: 837880
[startup+391.313 s]
Raw data (loadavg): 1.00 1.00 1.08 2/65 10768
Raw data (stat): 10744 (java) R 10743 29618 29617 0 -1 0 17984 0 82 0 36838 52 0 0 25 0 11 0 836034225 857989120 27563 4294967295 134512640 134569956 3221224368 3221214504 1131159508 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209470 27563 13086 16 0 209454 0
vsize: 837880
[startup+401.313 s]
Raw data (loadavg): 1.00 1.00 1.08 2/65 10768
Raw data (stat): 10744 (java) R 10743 29618 29617 0 -1 0 17984 0 82 0 37815 52 0 0 25 0 11 0 836034225 857989120 27667 4294967295 134512640 134569956 3221224368 3221214324 1085616768 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209470 27667 13086 16 0 209454 0
vsize: 837880
[startup+411.314 s]
Raw data (loadavg): 1.00 1.00 1.08 2/65 10768
Raw data (stat): 10744 (java) R 10743 29618 29617 0 -1 0 17984 0 82 0 38794 52 0 0 25 0 11 0 836034225 857989120 27723 4294967295 134512640 134569956 3221224368 3221214752 1131240775 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209470 27723 13086 16 0 209454 0
vsize: 837880
[startup+421.314 s]
Raw data (loadavg): 1.00 1.00 1.08 2/65 10768
Raw data (stat): 10744 (java) R 10743 29618 29617 0 -1 0 17984 0 82 0 39771 52 0 0 25 0 11 0 836034225 857989120 27841 4294967295 134512640 134569956 3221224368 3221214188 1131447363 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209470 27841 13086 16 0 209454 0
vsize: 837880
[startup+431.314 s]
Raw data (loadavg): 1.00 1.00 1.08 2/65 10768
Raw data (stat): 10744 (java) R 10743 29618 29617 0 -1 0 17984 0 82 0 40739 52 0 0 25 0 11 0 836034225 857989120 27960 4294967295 134512640 134569956 3221224368 3221214328 1085679538 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209470 27960 13086 16 0 209454 0
vsize: 837880
[startup+441.314 s]
Raw data (loadavg): 1.00 1.00 1.08 2/65 10768
Raw data (stat): 10744 (java) R 10743 29618 29617 0 -1 0 17984 0 82 0 41717 52 0 0 25 0 11 0 836034225 857989120 28046 4294967295 134512640 134569956 3221224368 3221214748 1131159392 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209470 28046 13086 16 0 209454 0
vsize: 837880
[startup+451.315 s]
Raw data (loadavg): 1.00 1.00 1.08 2/65 10770
Raw data (stat): 10744 (java) R 10743 29618 29617 0 -1 0 17984 0 82 0 42694 52 0 0 25 0 11 0 836034225 857989120 28155 4294967295 134512640 134569956 3221224368 3221214744 1131195480 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209470 28155 13086 16 0 209454 0
vsize: 837880
[startup+461.315 s]
Raw data (loadavg): 1.00 1.00 1.07 2/65 10770
Raw data (stat): 10744 (java) R 10743 29618 29617 0 -1 0 17984 0 82 0 43660 52 0 0 25 0 11 0 836034225 857989120 28292 4294967295 134512640 134569956 3221224368 3221214384 1085679318 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209470 28292 13086 16 0 209454 0
vsize: 837880
[startup+471.315 s]
Raw data (loadavg): 1.00 1.00 1.07 2/65 10770
Raw data (stat): 10744 (java) R 10743 29618 29617 0 -1 0 17984 0 82 0 44626 52 0 0 24 0 11 0 836034225 857989120 28433 4294967295 134512640 134569956 3221224368 3221214752 1131241596 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209470 28433 13086 16 0 209454 0
vsize: 837880
[startup+481.317 s]
Raw data (loadavg): 1.00 1.00 1.07 2/65 10770
Raw data (stat): 10744 (java) R 10743 29618 29617 0 -1 0 17984 0 82 0 45605 52 0 0 25 0 11 0 836034225 857989120 28504 4294967295 134512640 134569956 3221224368 3221214280 1131449724 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209470 28504 13086 16 0 209454 0
vsize: 837880
[startup+491.317 s]
Raw data (loadavg): 1.00 1.00 1.07 2/65 10770
Raw data (stat): 10744 (java) R 10743 29618 29617 0 -1 0 17984 0 82 0 46571 52 0 0 25 0 11 0 836034225 857989120 28634 4294967295 134512640 134569956 3221224368 3221214440 1085632310 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209470 28634 13086 16 0 209454 0
vsize: 837880
[startup+501.317 s]
Raw data (loadavg): 1.00 1.00 1.07 2/65 10770
Raw data (stat): 10744 (java) R 10743 29618 29617 0 -1 0 17984 0 82 0 47549 52 0 0 25 0 11 0 836034225 857989120 28689 4294967295 134512640 134569956 3221224368 3221214656 1131174113 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209470 28689 13086 16 0 209454 0
vsize: 837880
[startup+511.317 s]
Raw data (loadavg): 1.00 1.00 1.07 2/65 10772
Raw data (stat): 10744 (java) R 10743 29618 29617 0 -1 0 17984 0 82 0 48527 52 0 0 25 0 11 0 836034225 857989120 28770 4294967295 134512640 134569956 3221224368 3221214464 1131444764 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209470 28770 13086 16 0 209454 0
vsize: 837880
[startup+521.32 s]
Raw data (loadavg): 1.00 1.00 1.07 2/65 10772
Raw data (stat): 10744 (java) R 10743 29618 29617 0 -1 0 17984 0 82 0 49504 52 0 0 25 0 11 0 836034225 857989120 28904 4294967295 134512640 134569956 3221224368 3221214248 1131446530 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209470 28904 13086 16 0 209454 0
vsize: 837880
[startup+531.328 s]
Raw data (loadavg): 1.00 1.00 1.07 2/65 10772
Raw data (stat): 10744 (java) R 10743 29618 29617 0 -1 0 17984 0 82 0 50471 52 0 0 25 0 11 0 836034225 857989120 29018 4294967295 134512640 134569956 3221224368 3221214184 1131444649 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209470 29018 13086 16 0 209454 0
vsize: 837880
[startup+541.328 s]
Raw data (loadavg): 1.00 1.00 1.07 2/65 10772
Raw data (stat): 10744 (java) R 10743 29618 29617 0 -1 0 17984 0 82 0 51437 52 0 0 25 0 11 0 836034225 857989120 29192 4294967295 134512640 134569956 3221224368 3221214456 1131444808 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209470 29192 13086 16 0 209454 0
vsize: 837880
[startup+551.328 s]
Raw data (loadavg): 1.00 1.00 1.07 2/65 10772
Raw data (stat): 10744 (java) R 10743 29618 29617 0 -1 0 17984 0 82 0 52402 52 0 0 25 0 11 0 836034225 857989120 29280 4294967295 134512640 134569956 3221224368 3221214656 1131174073 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209470 29280 13086 16 0 209454 0
vsize: 837880
[startup+561.329 s]
Raw data (loadavg): 1.00 1.00 1.06 2/65 10772
Raw data (stat): 10744 (java) R 10743 29618 29617 0 -1 0 17984 0 82 0 53356 53 0 0 25 0 11 0 836034225 857989120 29451 4294967295 134512640 134569956 3221224368 3221214460 1131447360 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209470 29451 13086 16 0 209454 0
vsize: 837880
[startup+571.329 s]
Raw data (loadavg): 1.00 1.00 1.06 2/65 10774
Raw data (stat): 10744 (java) S 10743 29618 29617 0 -1 0 17984 0 82 0 54315 53 0 0 25 0 11 0 836034225 857989120 29555 4294967295 134512640 134569956 3221224368 3221213360 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209470 29555 13086 16 0 209454 0
vsize: 837880
[startup+581.33 s]
Raw data (loadavg): 1.00 1.00 1.06 2/65 10774
Raw data (stat): 10744 (java) R 10743 29618 29617 0 -1 0 17984 0 82 0 55277 53 0 0 25 0 11 0 836034225 857989120 29683 4294967295 134512640 134569956 3221224368 3221214112 1131449291 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209470 29683 13086 16 0 209454 0
vsize: 837880
[startup+591.33 s]
Raw data (loadavg): 1.00 1.00 1.06 2/65 10774
Raw data (stat): 10744 (java) R 10743 29618 29617 0 -1 0 17984 0 82 0 56253 53 0 0 25 0 11 0 836034225 857989120 29799 4294967295 134512640 134569956 3221224368 3221213896 1131437379 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209470 29799 13086 16 0 209454 0
vsize: 837880
[startup+601.33 s]
Raw data (loadavg): 1.00 1.00 1.06 2/65 10774
Raw data (stat): 10744 (java) R 10743 29618 29617 0 -1 0 17984 0 82 0 57219 54 0 0 25 0 11 0 836034225 857989120 29882 4294967295 134512640 134569956 3221224368 3221214640 1131159412 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209470 29882 13086 16 0 209454 0
vsize: 837880
[startup+611.33 s]
Raw data (loadavg): 1.00 1.00 1.06 2/65 10774
Raw data (stat): 10744 (java) R 10743 29618 29617 0 -1 0 17984 0 82 0 58185 54 0 0 25 0 11 0 836034225 857989120 29980 4294967295 134512640 134569956 3221224368 3221214072 1131444569 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209470 29980 13086 16 0 209454 0
vsize: 837880
[startup+621.33 s]
Raw data (loadavg): 1.00 1.00 1.06 2/65 10774
Raw data (stat): 10744 (java) R 10743 29618 29617 0 -1 0 17984 0 82 0 59163 54 0 0 25 0 11 0 836034225 857989120 30062 4294967295 134512640 134569956 3221224368 3221214528 1131446652 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209470 30062 13086 16 0 209454 0
vsize: 837880
[startup+631.331 s]
Raw data (loadavg): 1.00 1.00 1.06 2/65 10776
Raw data (stat): 10744 (java) R 10743 29618 29617 0 -1 0 17984 0 82 0 60138 55 0 0 25 0 11 0 836034225 857989120 30143 4294967295 134512640 134569956 3221224368 3221214748 1131173952 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209470 30143 13086 16 0 209454 0
vsize: 837880
[startup+641.34 s]
Raw data (loadavg): 1.00 1.00 1.06 2/65 10776
Raw data (stat): 10744 (java) R 10743 29618 29617 0 -1 0 17984 0 82 0 61127 56 0 0 25 0 11 0 836034225 857989120 30188 4294967295 134512640 134569956 3221224368 3221213912 1131446666 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209470 30188 13086 16 0 209454 0
vsize: 837880
[startup+651.34 s]
Raw data (loadavg): 1.00 1.00 1.06 2/65 10776
Raw data (stat): 10744 (java) R 10743 29618 29617 0 -1 0 17984 0 82 0 62104 56 0 0 25 0 11 0 836034225 857989120 30222 4294967295 134512640 134569956 3221224368 3221214336 1131449712 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209470 30222 13086 16 0 209454 0
vsize: 837880
[startup+661.34 s]
Raw data (loadavg): 1.00 1.00 1.06 2/65 10776
Raw data (stat): 10744 (java) R 10743 29618 29617 0 -1 0 17984 0 82 0 63069 56 0 0 25 0 11 0 836034225 857989120 30333 4294967295 134512640 134569956 3221224368 3221214568 1131447381 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209470 30333 13086 16 0 209454 0
vsize: 837880
[startup+671.341 s]
Raw data (loadavg): 1.00 1.00 1.05 2/65 10776
Raw data (stat): 10744 (java) R 10743 29618 29617 0 -1 0 17984 0 82 0 64057 56 0 0 25 0 11 0 836034225 857989120 30372 4294967295 134512640 134569956 3221224368 3221214528 1131446666 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209470 30372 13086 16 0 209454 0
vsize: 837880
[startup+681.342 s]
Raw data (loadavg): 1.00 1.00 1.05 2/65 10776
Raw data (stat): 10744 (java) R 10743 29618 29617 0 -1 0 17984 0 82 0 65033 56 0 0 25 0 11 0 836034225 857989120 30441 4294967295 134512640 134569956 3221224368 3221214512 1131447381 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209470 30441 13086 16 0 209454 0
vsize: 837880
[startup+691.342 s]
Raw data (loadavg): 1.00 1.00 1.05 2/65 10778
Raw data (stat): 10744 (java) R 10743 29618 29617 0 -1 0 17984 0 82 0 66008 57 0 0 25 0 11 0 836034225 857989120 30548 4294967295 134512640 134569956 3221224368 3221214496 1085632292 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209470 30548 13086 16 0 209454 0
vsize: 837880
[startup+701.342 s]
Raw data (loadavg): 1.00 1.00 1.05 2/65 10778
Raw data (stat): 10744 (java) R 10743 29618 29617 0 -1 0 17984 0 82 0 66985 57 0 0 25 0 11 0 836034225 857989120 30656 4294967295 134512640 134569956 3221224368 3221213856 1131446730 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209470 30656 13086 16 0 209454 0
vsize: 837880
[startup+711.343 s]
Raw data (loadavg): 1.00 1.00 1.05 2/65 10778
Raw data (stat): 10744 (java) R 10743 29618 29617 0 -1 0 17984 0 82 0 67961 57 0 0 25 0 11 0 836034225 857989120 30709 4294967295 134512640 134569956 3221224368 3221214632 1131185299 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209470 30709 13086 16 0 209454 0
vsize: 837880
[startup+721.342 s]
Raw data (loadavg): 1.00 1.00 1.05 2/65 10778
Raw data (stat): 10744 (java) R 10743 29618 29617 0 -1 0 17984 0 82 0 68937 58 0 0 25 0 11 0 836034225 857989120 30801 4294967295 134512640 134569956 3221224368 3221214448 1131449708 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209470 30801 13086 16 0 209454 0
vsize: 837880
[startup+731.343 s]
Raw data (loadavg): 1.00 1.00 1.05 2/65 10778
Raw data (stat): 10744 (java) R 10743 29618 29617 0 -1 0 17984 0 82 0 69901 58 0 0 25 0 11 0 836034225 857989120 30914 4294967295 134512640 134569956 3221224368 3221213968 1131444764 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209470 30914 13086 16 0 209454 0
vsize: 837880
[startup+741.343 s]
Raw data (loadavg): 1.00 1.00 1.05 2/65 10778
Raw data (stat): 10744 (java) R 10743 29618 29617 0 -1 0 17984 0 82 0 70879 58 0 0 25 0 11 0 836034225 857989120 30955 4294967295 134512640 134569956 3221224368 3221214328 1085679272 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209470 30955 13086 16 0 209454 0
vsize: 837880
[startup+751.343 s]
Raw data (loadavg): 1.00 1.00 1.05 2/65 10780
Raw data (stat): 10744 (java) R 10743 29618 29617 0 -1 0 17984 0 82 0 71856 59 0 0 25 0 11 0 836034225 857989120 31003 4294967295 134512640 134569956 3221224368 3221214352 1131444796 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209470 31003 13086 16 0 209454 0
vsize: 837880
[startup+761.344 s]
Raw data (loadavg): 1.00 1.00 1.05 2/65 10780
Raw data (stat): 10744 (java) R 10743 29618 29617 0 -1 0 17984 0 82 0 72833 59 0 0 25 0 11 0 836034225 857989120 31046 4294967295 134512640 134569956 3221224368 3221214128 1131444796 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209470 31046 13086 16 0 209454 0
vsize: 837880
[startup+771.344 s]
Raw data (loadavg): 1.00 1.00 1.04 2/65 10780
Raw data (stat): 10744 (java) R 10743 29618 29617 0 -1 0 17984 0 82 0 73822 59 0 0 25 0 11 0 836034225 857989120 31046 4294967295 134512640 134569956 3221224368 3221214568 1131447381 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209470 31046 13086 16 0 209454 0
vsize: 837880
[startup+781.345 s]
Raw data (loadavg): 1.00 1.00 1.04 2/65 10780
Raw data (stat): 10744 (java) R 10743 29618 29617 0 -1 0 17984 0 82 0 74797 59 0 0 25 0 11 0 836034225 857989120 31122 4294967295 134512640 134569956 3221224368 3221213800 1131444744 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209470 31122 13086 16 0 209454 0
vsize: 837880
[startup+791.345 s]
Raw data (loadavg): 1.00 1.00 1.04 2/65 10780
Raw data (stat): 10744 (java) S 10743 29618 29617 0 -1 0 17984 0 82 0 75772 60 0 0 25 0 11 0 836034225 857989120 31196 4294967295 134512640 134569956 3221224368 3221213384 1073952481 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209470 31196 13086 16 0 209454 0
vsize: 837880
[startup+801.345 s]
Raw data (loadavg): 1.00 1.00 1.04 2/65 10780
Raw data (stat): 10744 (java) R 10743 29618 29617 0 -1 0 17984 0 82 0 76749 60 0 0 25 0 11 0 836034225 857989120 31239 4294967295 134512640 134569956 3221224368 3221213748 1131446672 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209470 31239 13086 16 0 209454 0
vsize: 837880
[startup+811.345 s]
Raw data (loadavg): 1.00 1.00 1.04 2/65 10782
Raw data (stat): 10744 (java) R 10743 29618 29617 0 -1 0 17984 0 82 0 77713 60 0 0 25 0 11 0 836034225 857989120 31345 4294967295 134512640 134569956 3221224368 3221214348 1131447372 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209470 31345 13086 16 0 209454 0
vsize: 837880
[startup+821.345 s]
Raw data (loadavg): 1.00 1.00 1.04 2/65 10782
Raw data (stat): 10744 (java) R 10743 29618 29617 0 -1 0 17984 0 82 0 78690 61 0 0 25 0 11 0 836034225 857989120 31394 4294967295 134512640 134569956 3221224368 3221214352 1131444586 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209470 31394 13086 16 0 209454 0
vsize: 837880
[startup+831.346 s]
Raw data (loadavg): 1.00 1.00 1.04 2/65 10782
Raw data (stat): 10744 (java) R 10743 29618 29617 0 -1 0 17984 0 82 0 79668 61 0 0 25 0 11 0 836034225 857989120 31440 4294967295 134512640 134569956 3221224368 3221214192 1131446620 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209470 31440 13086 16 0 209454 0
vsize: 837880
[startup+841.346 s]
Raw data (loadavg): 1.00 1.00 1.04 2/65 10782
Raw data (stat): 10744 (java) R 10743 29618 29617 0 -1 0 17984 0 82 0 80644 61 0 0 25 0 11 0 836034225 857989120 31484 4294967295 134512640 134569956 3221224368 3221214072 1131444783 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209470 31484 13086 16 0 209454 0
vsize: 837880
[startup+851.346 s]
Raw data (loadavg): 1.00 1.00 1.04 2/65 10782
Raw data (stat): 10744 (java) R 10743 29618 29617 0 -1 0 17984 0 82 0 81620 61 0 0 25 0 11 0 836034225 857989120 31527 4294967295 134512640 134569956 3221224368 3221213744 1131444764 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209470 31527 13086 16 0 209454 0
vsize: 837880
[startup+861.346 s]
Raw data (loadavg): 1.00 1.00 1.04 2/65 10782
Raw data (stat): 10744 (java) S 10743 29618 29617 0 -1 0 17984 0 82 0 82592 61 0 0 25 0 11 0 836034225 857989120 31595 4294967295 134512640 134569956 3221224368 3221213496 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209470 31595 13086 16 0 209454 0
vsize: 837880
[startup+871.346 s]
Raw data (loadavg): 1.00 1.00 1.03 2/65 10784
Raw data (stat): 10744 (java) R 10743 29618 29617 0 -1 0 17984 0 82 0 83563 62 0 0 25 0 11 0 836034225 857989120 31713 4294967295 134512640 134569956 3221224368 3221214608 1131212691 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209470 31713 13086 16 0 209454 0
vsize: 837880
[startup+881.347 s]
Raw data (loadavg): 1.00 1.00 1.03 2/65 10784
Raw data (stat): 10744 (java) R 10743 29618 29617 0 -1 0 17984 0 82 0 84540 62 0 0 25 0 11 0 836034225 857989120 31763 4294967295 134512640 134569956 3221224368 3221214324 1085679260 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209470 31763 13086 16 0 209454 0
vsize: 837880
[startup+891.347 s]
Raw data (loadavg): 1.00 1.00 1.03 2/65 10784
Raw data (stat): 10744 (java) R 10743 29618 29617 0 -1 0 17984 0 82 0 85509 62 0 0 25 0 11 0 836034225 857989120 31830 4294967295 134512640 134569956 3221224368 3221214404 1131447392 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209470 31830 13086 16 0 209454 0
vsize: 837880
[startup+901.347 s]
Raw data (loadavg): 1.00 1.00 1.03 2/65 10784
Raw data (stat): 10744 (java) R 10743 29618 29617 0 -1 0 17984 0 82 0 86476 63 0 0 25 0 11 0 836034225 857989120 31892 4294967295 134512640 134569956 3221224368 3221214092 1085679264 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209470 31892 13086 16 0 209454 0
vsize: 837880
[startup+911.347 s]
Raw data (loadavg): 1.00 1.00 1.03 2/65 10784
Raw data (stat): 10744 (java) R 10743 29618 29617 0 -1 0 17984 0 82 0 87454 64 0 0 25 0 11 0 836034225 857989120 31960 4294967295 134512640 134569956 3221224368 3221214752 1131242060 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209470 31960 13086 16 0 209454 0
vsize: 837880
[startup+921.347 s]
Raw data (loadavg): 1.00 1.00 1.03 2/65 10784
Raw data (stat): 10744 (java) R 10743 29618 29617 0 -1 0 17984 0 82 0 88432 64 0 0 25 0 11 0 836034225 857989120 32015 4294967295 134512640 134569956 3221224368 3221214656 1131174954 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209470 32015 13086 16 0 209454 0
vsize: 837880
[startup+931.348 s]
Raw data (loadavg): 1.00 1.00 1.03 2/65 10786
Raw data (stat): 10744 (java) R 10743 29618 29617 0 -1 0 17984 0 82 0 89411 64 0 0 25 0 11 0 836034225 857989120 32062 4294967295 134512640 134569956 3221224368 3221213776 1085632292 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209470 32062 13086 16 0 209454 0
vsize: 837880
[startup+941.349 s]
Raw data (loadavg): 1.00 1.00 1.03 2/65 10786
Raw data (stat): 10744 (java) R 10743 29618 29617 0 -1 0 17984 0 82 0 90389 65 0 0 25 0 11 0 836034225 857989120 32139 4294967295 134512640 134569956 3221224368 3221214464 1131444586 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209470 32139 13086 16 0 209454 0
vsize: 837880
[startup+951.349 s]
Raw data (loadavg): 1.00 1.00 1.03 2/65 10786
Raw data (stat): 10744 (java) R 10743 29618 29617 0 -1 0 17984 0 82 0 91359 66 0 0 25 0 11 0 836034225 857989120 32222 4294967295 134512640 134569956 3221224368 3221213964 1131447372 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209470 32222 13086 16 0 209454 0
vsize: 837880
[startup+961.349 s]
Raw data (loadavg): 1.00 1.00 1.03 2/65 10786
Raw data (stat): 10744 (java) R 10743 29618 29617 0 -1 0 17984 0 82 0 92329 66 0 0 25 0 11 0 836034225 857989120 32299 4294967295 134512640 134569956 3221224368 3221214656 1131174113 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209470 32299 13086 16 0 209454 0
vsize: 837880
[startup+971.35 s]
Raw data (loadavg): 1.00 1.00 1.02 2/65 10786
Raw data (stat): 10744 (java) R 10743 29618 29617 0 -1 0 17984 0 82 0 93299 66 0 0 25 0 11 0 836034225 857989120 32378 4294967295 134512640 134569956 3221224368 3221213856 1131444577 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209470 32378 13086 16 0 209454 0
vsize: 837880
[startup+981.351 s]
Raw data (loadavg): 1.00 1.00 1.02 2/65 10786
Raw data (stat): 10744 (java) R 10743 29618 29617 0 -1 0 17984 0 82 0 94271 66 0 0 25 0 11 0 836034225 857989120 32464 4294967295 134512640 134569956 3221224368 3221214460 1131444772 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209470 32464 13086 16 0 209454 0
vsize: 837880
[startup+991.351 s]
Raw data (loadavg): 1.00 1.00 1.02 2/65 10788
Raw data (stat): 10744 (java) R 10743 29618 29617 0 -1 0 17984 0 82 0 95243 67 0 0 25 0 11 0 836034225 857989120 32536 4294967295 134512640 134569956 3221224368 3221214044 1085679260 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209470 32536 13086 16 0 209454 0
vsize: 837880
[startup+1001.35 s]
Raw data (loadavg): 1.00 1.00 1.02 2/65 10788
Raw data (stat): 10744 (java) R 10743 29618 29617 0 -1 0 17984 0 82 0 96223 67 0 0 25 0 11 0 836034225 857989120 32574 4294967295 134512640 134569956 3221224368 3221214048 1085679293 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209470 32574 13086 16 0 209454 0
vsize: 837880
[startup+1011.35 s]
Raw data (loadavg): 1.00 1.00 1.02 2/65 10788
Raw data (stat): 10744 (java) R 10743 29618 29617 0 -1 0 17984 0 82 0 97205 67 0 0 25 0 11 0 836034225 857989120 32607 4294967295 134512640 134569956 3221224368 3221214192 1131446673 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209470 32607 13086 16 0 209454 0
vsize: 837880
[startup+1021.35 s]
Raw data (loadavg): 1.00 1.00 1.02 2/65 10788
Raw data (stat): 10744 (java) R 10743 29618 29617 0 -1 0 17984 0 82 0 98185 67 0 0 25 0 11 0 836034225 857989120 32646 4294967295 134512640 134569956 3221224368 3221214276 1131444544 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209470 32646 13086 16 0 209454 0
vsize: 837880
[startup+1031.35 s]
Raw data (loadavg): 1.00 1.00 1.02 2/65 10788
Raw data (stat): 10744 (java) R 10743 29618 29617 0 -1 0 17984 0 82 0 99166 68 0 0 25 0 11 0 836034225 857989120 32686 4294967295 134512640 134569956 3221224368 3221214568 1131447381 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209470 32686 13086 16 0 209454 0
vsize: 837880
[startup+1041.35 s]
Raw data (loadavg): 1.00 1.00 1.02 2/65 10788
Raw data (stat): 10744 (java) R 10743 29618 29617 0 -1 0 17984 0 82 0 100147 68 0 0 25 0 11 0 836034225 857989120 32728 4294967295 134512640 134569956 3221224368 3221213608 1085679762 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209470 32728 13086 16 0 209454 0
vsize: 837880
[startup+1051.35 s]
Raw data (loadavg): 1.00 1.00 1.02 2/65 10790
Raw data (stat): 10744 (java) R 10743 29618 29617 0 -1 0 17984 0 82 0 101136 69 0 0 25 0 11 0 836034225 857989120 32751 4294967295 134512640 134569956 3221224368 3221214656 1131174113 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209470 32751 13086 16 0 209454 0
vsize: 837880
[startup+1061.35 s]
Raw data (loadavg): 1.00 1.00 1.02 2/65 10790
Raw data (stat): 10744 (java) R 10743 29618 29617 0 -1 0 17984 0 82 0 102117 69 0 0 25 0 11 0 836034225 857989120 32800 4294967295 134512640 134569956 3221224368 3221214216 1085679494 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209470 32800 13086 16 0 209454 0
vsize: 837880
[startup+1071.35 s]
Raw data (loadavg): 1.00 1.00 1.02 2/65 10790
Raw data (stat): 10744 (java) R 10743 29618 29617 0 -1 0 17984 0 82 0 103098 69 0 0 25 0 11 0 836034225 857989120 32845 4294967295 134512640 134569956 3221224368 3221214752 1131240823 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209470 32845 13086 16 0 209454 0
vsize: 837880
[startup+1081.35 s]
Raw data (loadavg): 1.00 1.00 1.01 2/65 10790
Raw data (stat): 10744 (java) R 10743 29618 29617 0 -1 0 17984 0 82 0 104088 70 0 0 25 0 11 0 836034225 857989120 32878 4294967295 134512640 134569956 3221224368 3221214604 1131161296 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209470 32878 13086 16 0 209454 0
vsize: 837880
[startup+1091.35 s]
Raw data (loadavg): 1.00 1.00 1.01 2/65 10790
Raw data (stat): 10744 (java) R 10743 29618 29617 0 -1 0 17984 0 82 0 105069 70 0 0 25 0 11 0 836034225 857989120 32917 4294967295 134512640 134569956 3221224368 3221214824 1131455442 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209470 32917 13086 16 0 209454 0
vsize: 837880
[startup+1101.35 s]
Raw data (loadavg): 1.00 1.00 1.01 2/65 10790
Raw data (stat): 10744 (java) R 10743 29618 29617 0 -1 0 17984 0 82 0 106050 70 0 0 25 0 11 0 836034225 857989120 32957 4294967295 134512640 134569956 3221224368 3221213808 1131446673 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209470 32957 13086 16 0 209454 0
vsize: 837880
[startup+1111.35 s]
Raw data (loadavg): 1.00 1.00 1.01 2/65 10792
Raw data (stat): 10744 (java) R 10743 29618 29617 0 -1 0 17984 0 82 0 107020 71 0 0 25 0 11 0 836034225 857989120 33018 4294967295 134512640 134569956 3221224368 3221213936 1085679538 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209470 33018 13086 16 0 209454 0
vsize: 837880
[startup+1121.35 s]
Raw data (loadavg): 1.00 1.00 1.01 2/65 10792
Raw data (stat): 10744 (java) R 10743 29618 29617 0 -1 0 17984 0 82 0 107980 71 0 0 25 0 11 0 836034225 857989120 33115 4294967295 134512640 134569956 3221224368 3221214272 1085679284 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209470 33115 13086 16 0 209454 0
vsize: 837880
[startup+1131.36 s]
Raw data (loadavg): 1.00 1.00 1.01 2/65 10792
Raw data (stat): 10744 (java) R 10743 29618 29617 0 -1 0 17984 0 82 0 108952 71 0 0 25 0 11 0 836034225 857989120 33163 4294967295 134512640 134569956 3221224368 3221214824 1131455716 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209470 33163 13086 16 0 209454 0
vsize: 837880
[startup+1141.36 s]
Raw data (loadavg): 1.00 1.00 1.01 2/65 10792
Raw data (stat): 10744 (java) R 10743 29618 29617 0 -1 0 17984 0 82 0 109932 72 0 0 25 0 11 0 836034225 857989120 33209 4294967295 134512640 134569956 3221224368 3221213688 1131446604 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209470 33209 13086 16 0 209454 0
vsize: 837880
[startup+1151.36 s]
Raw data (loadavg): 1.00 1.00 1.01 2/65 10792
Raw data (stat): 10744 (java) R 10743 29618 29617 0 -1 0 17984 0 82 0 110900 72 0 0 25 0 11 0 836034225 857989120 33288 4294967295 134512640 134569956 3221224368 3221213692 1131446672 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209470 33288 13086 16 0 209454 0
vsize: 837880
[startup+1161.36 s]
Raw data (loadavg): 1.00 1.00 1.01 2/65 10792
Raw data (stat): 10744 (java) R 10743 29618 29617 0 -1 0 17984 0 82 0 111870 72 0 0 25 0 11 0 836034225 857989120 33332 4294967295 134512640 134569956 3221224368 3221214752 1131240823 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209470 33332 13086 16 0 209454 0
vsize: 837880
[startup+1171.36 s]
Raw data (loadavg): 1.00 1.00 1.01 2/65 10794
Raw data (stat): 10744 (java) R 10743 29618 29617 0 -1 0 17984 0 82 0 112858 72 0 0 25 0 11 0 836034225 857989120 33349 4294967295 134512640 134569956 3221224368 3221214112 1131449679 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209470 33349 13086 16 0 209454 0
vsize: 837880
[startup+1181.36 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 10794
Raw data (stat): 10744 (java) R 10743 29618 29617 0 -1 0 17984 0 82 0 113837 73 0 0 25 0 11 0 836034225 857989120 33402 4294967295 134512640 134569956 3221224368 3221213964 1131446672 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209470 33402 13086 16 0 209454 0
vsize: 837880
[startup+1191.36 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 10794
Raw data (stat): 10744 (java) R 10743 29618 29617 0 -1 0 17984 0 82 0 114817 73 0 0 25 0 11 0 836034225 857989120 33459 4294967295 134512640 134569956 3221224368 3221214748 1131173952 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209470 33459 13086 16 0 209454 0
vsize: 837880
[startup+1201.36 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 10794
Raw data (stat): 10744 (java) R 10743 29618 29617 0 -1 0 17984 0 82 0 115794 73 0 0 25 0 11 0 836034225 857989120 33489 4294967295 134512640 134569956 3221224368 3221214248 1131446700 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209470 33489 13086 16 0 209454 0
vsize: 837880
[startup+1211.36 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 10794
Raw data (stat): 10744 (java) R 10743 29618 29617 0 -1 0 17984 0 82 0 116772 74 0 0 25 0 11 0 836034225 857989120 33527 4294967295 134512640 134569956 3221224368 3221213776 1085679762 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209470 33527 13086 16 0 209454 0
vsize: 837880
[startup+1221.36 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 10794
Raw data (stat): 10744 (java) R 10743 29618 29617 0 -1 0 17984 0 82 0 117749 74 0 0 25 0 11 0 836034225 857989120 33565 4294967295 134512640 134569956 3221224368 3221214824 1131455934 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209470 33565 13086 16 0 209454 0
vsize: 837880
[startup+1231.36 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 10796
Raw data (stat): 10744 (java) R 10743 29618 29617 0 -1 0 17984 0 82 0 118715 74 0 0 25 0 11 0 836034225 857989120 33676 4294967295 134512640 134569956 3221224368 3221214744 1131180060 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209470 33676 13086 16 0 209454 0
vsize: 837880
[startup+1241.36 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 10796
Raw data (stat): 10744 (java) R 10743 29618 29617 0 -1 0 17984 0 82 0 119703 74 0 0 25 0 11 0 836034225 857989120 33700 4294967295 134512640 134569956 3221224368 3221214640 1131159423 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209470 33700 13086 16 0 209454 0
vsize: 837880
[startup+1251.36 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 10796
Raw data (stat): 10744 (java) R 10743 29618 29617 0 -1 0 17984 0 82 0 120680 74 0 0 25 0 11 0 836034225 857989120 33735 4294967295 134512640 134569956 3221224368 3221214132 1131446672 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209470 33735 13086 16 0 209454 0
vsize: 837880
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1251.45 s]
Raw data (loadavg): 1.00 1.00 1.00 1/55 10798
Raw data (stat): 10744 (java) Z 10743 29618 29617 0 -1 1036 17984 14316 82 0 120683 74 3243 31 25 0 1 0 836034225 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 0 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): 1251.45
CPU time (s): 1240.33
CPU user time (s): 1239.27
CPU system time (s): 1.06084
CPU usage (%): 99.1113
Max. virtual memory (Kb): 837880
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####