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-fpga12_10_sat_pb.cnf.cr.opb
MD5SUM	943ed21b69a083554f0cd43700c9a371
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	13
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.05899
Number of variables	180
Total number of constraints	152
Number of constraints which are clauses	130
Number of constraints which are cardinality constraints (but not clauses)	22
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	6
Maximum length of a constraint	12
Trace number 29047

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc21 THE 2005-05-25 04:37:44 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=20438 boxname=wulflinc21 idbench=28 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  943ed21b69a083554f0cd43700c9a371  /oldhome/oroussel/tmp/wulflinc21/normalized-fpga12_10_sat_pb.cnf.cr.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc21/normalized-fpga12_10_sat_pb.cnf.cr.opb
IDLAUNCH: 20438
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.161
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.161
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:        244472 kB
Buffers:         26592 kB
Cached:         732356 kB
SwapCached:       1020 kB
Active:          42976 kB
Inactive:       718140 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        244220 kB
SwapTotal:     2097892 kB
SwapFree:      2096008 kB
Dirty:              44 kB
Writeback:           0 kB
Mapped:           5112 kB
Slab:            23396 kB
Committed_AS:    63912 kB
PageTables:        332 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 1236.57 SECONDS
stats: 20438 7 1236.57 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/wulflinc21/normalized-fpga12_10_sat_pb.cnf.cr.opb
c reading problem ... done. Time 0.467 ms.
c #vars     180
c #constraints  152
c starts	: 9
c conflicts	: 7443
c decisions	: 19136
c propagations	: 100993
c inspects	: 4740533
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 7443
c root simplifications	: 9
s UNKNOWN
c Total CPU time (ms) : 1229.129
#### 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.65 0.88 0.96 2/55 9639
Raw data (stat): 9639 (runsolver) R 9638 32363 32362 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 713321161 1052672 99 4294967295 134512640 135381576 3221224400 3221219620 135158418 0 0 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+9.99969 s]
Raw data (loadavg): 0.77 0.90 0.96 2/65 9649
Raw data (stat): 9639 (java) R 9638 32363 32362 0 -1 0 18088 0 1 0 775 36 0 0 25 0 11 0 713321161 858816512 20353 4294967295 134512640 134569956 3221224368 3221214656 1131161268 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209672 20353 13086 16 0 209656 0
vsize: 838688
[startup+19.9993 s]
Raw data (loadavg): 0.81 0.90 0.96 2/65 9649
Raw data (stat): 9639 (java) R 9638 32363 32362 0 -1 0 18089 0 2 0 1719 36 0 0 19 0 11 0 713321161 856473600 20700 4294967295 134512640 134569956 3221224368 3221214472 1131331407 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209100 20700 13086 16 0 209084 0
vsize: 836400
[startup+30 s]
Raw data (loadavg): 0.84 0.91 0.96 2/65 9649
Raw data (stat): 9639 (java) R 9638 32363 32362 0 -1 0 18089 0 2 0 2685 37 0 0 25 0 11 0 713321161 856440832 21328 4294967295 134512640 134569956 3221224368 3221214240 1085679358 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209092 21328 13086 16 0 209076 0
vsize: 836368
[startup+40.0001 s]
Raw data (loadavg): 0.86 0.91 0.96 2/65 9649
Raw data (stat): 9639 (java) R 9638 32363 32362 0 -1 0 18090 0 2 0 3653 37 0 0 25 0 11 0 713321161 856440832 21469 4294967295 134512640 134569956 3221224368 3221214184 1131336104 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209092 21469 13086 16 0 209076 0
vsize: 836368
[startup+50.0004 s]
Raw data (loadavg): 0.88 0.91 0.96 2/65 9649
Raw data (stat): 9639 (java) R 9638 32363 32362 0 -1 0 18090 0 2 0 4629 37 0 0 25 0 11 0 713321161 856440832 21733 4294967295 134512640 134569956 3221224368 3221214424 1131339477 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209092 21733 13086 16 0 209076 0
vsize: 836368
[startup+60.0001 s]
Raw data (loadavg): 0.90 0.91 0.96 2/65 9649
Raw data (stat): 9639 (java) R 9638 32363 32362 0 -1 0 18090 0 2 0 5594 37 0 0 25 0 11 0 713321161 856440832 22045 4294967295 134512640 134569956 3221224368 3221214328 1085679325 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209092 22045 13086 16 0 209076 0
vsize: 836368
[startup+69.9997 s]
Raw data (loadavg): 0.91 0.92 0.96 2/65 9649
Raw data (stat): 9639 (java) R 9638 32363 32362 0 -1 0 18090 0 2 0 6573 38 0 0 25 0 11 0 713321161 856440832 22122 4294967295 134512640 134569956 3221224368 3221214112 1131339038 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209092 22122 13086 16 0 209076 0
vsize: 836368
[startup+80.0004 s]
Raw data (loadavg): 0.93 0.92 0.96 2/65 9649
Raw data (stat): 9639 (java) R 9638 32363 32362 0 -1 0 18090 0 2 0 7538 38 0 0 25 0 11 0 713321161 856440832 22373 4294967295 134512640 134569956 3221224368 3221214616 1131228476 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209092 22373 13086 16 0 209076 0
vsize: 836368
[startup+90.0001 s]
Raw data (loadavg): 0.94 0.92 0.96 2/65 9649
Raw data (stat): 9639 (java) R 9638 32363 32362 0 -1 0 18090 0 2 0 8506 38 0 0 25 0 11 0 713321161 856440832 22612 4294967295 134512640 134569956 3221224368 3221214744 1131239348 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209092 22612 13086 16 0 209076 0
vsize: 836368
[startup+100.001 s]
Raw data (loadavg): 0.95 0.92 0.96 2/65 9649
Raw data (stat): 9639 (java) R 9638 32363 32362 0 -1 0 18090 0 2 0 9475 38 0 0 25 0 11 0 713321161 856440832 22723 4294967295 134512640 134569956 3221224368 3221214780 1130885154 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209092 22723 13086 16 0 209076 0
vsize: 836368
[startup+110.001 s]
Raw data (loadavg): 0.95 0.92 0.96 2/65 9649
Raw data (stat): 9639 (java) R 9638 32363 32362 0 -1 0 18090 0 2 0 10442 38 0 0 25 0 11 0 713321161 856440832 22873 4294967295 134512640 134569956 3221224368 3221214304 1131339018 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209092 22873 13086 16 0 209076 0
vsize: 836368
[startup+120.001 s]
Raw data (loadavg): 0.96 0.93 0.96 2/65 9649
Raw data (stat): 9639 (java) R 9638 32363 32362 0 -1 0 18090 0 2 0 11419 39 0 0 25 0 11 0 713321161 856440832 22998 4294967295 134512640 134569956 3221224368 3221214608 1131220911 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209092 22998 13086 16 0 209076 0
vsize: 836368
[startup+130.001 s]
Raw data (loadavg): 0.97 0.93 0.96 2/65 9649
Raw data (stat): 9639 (java) R 9638 32363 32362 0 -1 0 18090 0 2 0 12373 39 0 0 25 0 11 0 713321161 856440832 23331 4294967295 134512640 134569956 3221224368 3221213744 1085679434 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209092 23331 13086 16 0 209076 0
vsize: 836368
[startup+140 s]
Raw data (loadavg): 0.97 0.93 0.96 2/65 9649
Raw data (stat): 9639 (java) R 9638 32363 32362 0 -1 0 18090 0 2 0 13351 39 0 0 25 0 11 0 713321161 856440832 23399 4294967295 134512640 134569956 3221224368 3221213880 1131336132 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209092 23399 13086 16 0 209076 0
vsize: 836368
[startup+150.001 s]
Raw data (loadavg): 0.98 0.93 0.96 2/65 9649
Raw data (stat): 9639 (java) R 9638 32363 32362 0 -1 0 18090 0 2 0 14330 39 0 0 25 0 11 0 713321161 856440832 23512 4294967295 134512640 134569956 3221224368 3221214648 1131172385 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209092 23512 13086 16 0 209076 0
vsize: 836368
[startup+160.002 s]
Raw data (loadavg): 0.98 0.93 0.96 2/65 9649
Raw data (stat): 9639 (java) R 9638 32363 32362 0 -1 0 18090 0 2 0 15310 39 0 0 25 0 11 0 713321161 856440832 23572 4294967295 134512640 134569956 3221224368 3221214472 1131338929 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209092 23572 13086 16 0 209076 0
vsize: 836368
[startup+170.001 s]
Raw data (loadavg): 0.98 0.94 0.96 2/65 9649
Raw data (stat): 9639 (java) R 9638 32363 32362 0 -1 0 18090 0 2 0 16278 39 0 0 25 0 11 0 713321161 856440832 23682 4294967295 134512640 134569956 3221224368 3221214304 1131338964 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209092 23682 13086 16 0 209076 0
vsize: 836368
[startup+180.001 s]
Raw data (loadavg): 0.98 0.94 0.96 2/65 9649
Raw data (stat): 9639 (java) R 9638 32363 32362 0 -1 0 18090 0 2 0 17266 39 0 0 25 0 11 0 713321161 856440832 23739 4294967295 134512640 134569956 3221224368 3221214632 1131161271 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209092 23739 13086 16 0 209076 0
vsize: 836368
[startup+190.002 s]
Raw data (loadavg): 0.99 0.94 0.96 2/65 9649
Raw data (stat): 9639 (java) R 9638 32363 32362 0 -1 0 18090 0 2 0 18235 39 0 0 25 0 11 0 713321161 856440832 23839 4294967295 134512640 134569956 3221224368 3221214740 1131153708 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209092 23839 13086 16 0 209076 0
vsize: 836368
[startup+200.002 s]
Raw data (loadavg): 0.99 0.94 0.96 2/65 9649
Raw data (stat): 9639 (java) R 9638 32363 32362 0 -1 0 18090 0 2 0 19224 40 0 0 25 0 11 0 713321161 856440832 23939 4294967295 134512640 134569956 3221224368 3221214352 1131340380 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209092 23939 13086 16 0 209076 0
vsize: 836368
[startup+210.002 s]
Raw data (loadavg): 0.99 0.94 0.96 2/65 9649
Raw data (stat): 9639 (java) R 9638 32363 32362 0 -1 0 18090 0 2 0 20203 40 0 0 25 0 11 0 713321161 856440832 23939 4294967295 134512640 134569956 3221224368 3221214128 1131340331 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209092 23939 13086 16 0 209076 0
vsize: 836368
[startup+220.002 s]
Raw data (loadavg): 0.99 0.94 0.96 2/65 9649
Raw data (stat): 9639 (java) R 9638 32363 32362 0 -1 0 18090 0 2 0 21192 40 0 0 25 0 11 0 713321161 856440832 24009 4294967295 134512640 134569956 3221224368 3221214000 1131339025 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209092 24009 13086 16 0 209076 0
vsize: 836368
[startup+230.002 s]
Raw data (loadavg): 0.99 0.94 0.96 2/65 9649
Raw data (stat): 9639 (java) R 9638 32363 32362 0 -1 0 18090 0 2 0 22182 40 0 0 25 0 11 0 713321161 856440832 24009 4294967295 134512640 134569956 3221224368 3221214244 1131339024 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209092 24009 13086 16 0 209076 0
vsize: 836368
[startup+240.002 s]
Raw data (loadavg): 0.99 0.95 0.96 2/65 9649
Raw data (stat): 9639 (java) R 9638 32363 32362 0 -1 0 18090 0 2 0 23161 40 0 0 19 0 11 0 713321161 856440832 24078 4294967295 134512640 134569956 3221224368 3221214132 1131339024 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209092 24078 13086 16 0 209076 0
vsize: 836368
[startup+250.003 s]
Raw data (loadavg): 0.99 0.95 0.96 2/65 9649
Raw data (stat): 9639 (java) R 9638 32363 32362 0 -1 0 18090 0 2 0 24151 40 0 0 25 0 11 0 713321161 856440832 24078 4294967295 134512640 134569956 3221224368 3221213992 1079720936 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209092 24078 13086 16 0 209076 0
vsize: 836368
[startup+260.007 s]
Raw data (loadavg): 0.99 0.95 0.96 2/65 9649
Raw data (stat): 9639 (java) R 9638 32363 32362 0 -1 0 18090 0 2 0 25138 40 0 0 25 0 11 0 713321161 856440832 24155 4294967295 134512640 134569956 3221224368 3221213944 1131339000 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209092 24155 13086 16 0 209076 0
vsize: 836368
[startup+270.006 s]
Raw data (loadavg): 0.99 0.95 0.96 2/65 9649
Raw data (stat): 9639 (java) R 9638 32363 32362 0 -1 0 18090 0 2 0 26118 41 0 0 25 0 11 0 713321161 856440832 24155 4294967295 134512640 134569956 3221224368 3221214296 1131340412 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209092 24155 13086 16 0 209076 0
vsize: 836368
[startup+280.007 s]
Raw data (loadavg): 0.99 0.95 0.96 2/65 9649
Raw data (stat): 9639 (java) R 9638 32363 32362 0 -1 0 18090 0 2 0 27096 41 0 0 25 0 11 0 713321161 856440832 24274 4294967295 134512640 134569956 3221224368 3221214408 1131340265 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209092 24274 13086 16 0 209076 0
vsize: 836368
[startup+290.007 s]
Raw data (loadavg): 0.99 0.95 0.96 2/65 9649
Raw data (stat): 9639 (java) R 9638 32363 32362 0 -1 0 18090 0 2 0 28074 41 0 0 25 0 11 0 713321161 856440832 24332 4294967295 134512640 134569956 3221224368 3221214160 1085679762 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209092 24332 13086 16 0 209076 0
vsize: 836368
[startup+300.007 s]
Raw data (loadavg): 0.99 0.95 0.96 2/65 9649
Raw data (stat): 9639 (java) R 9638 32363 32362 0 -1 0 18090 0 2 0 29053 41 0 0 25 0 11 0 713321161 856440832 24362 4294967295 134512640 134569956 3221224368 3221214520 1131340197 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209092 24362 13086 16 0 209076 0
vsize: 836368
[startup+310.007 s]
Raw data (loadavg): 0.99 0.95 0.96 2/65 9649
Raw data (stat): 9639 (java) R 9638 32363 32362 0 -1 0 18090 0 2 0 30031 41 0 0 25 0 11 0 713321161 856440832 24438 4294967295 134512640 134569956 3221224368 3221214348 1131340388 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209092 24438 13086 16 0 209076 0
vsize: 836368
[startup+320.007 s]
Raw data (loadavg): 0.99 0.95 0.96 2/65 9649
Raw data (stat): 9639 (java) R 9638 32363 32362 0 -1 0 18090 0 2 0 31019 41 0 0 25 0 11 0 713321161 856440832 24477 4294967295 134512640 134569956 3221224368 3221214632 1131161403 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209092 24477 13086 16 0 209076 0
vsize: 836368
[startup+330.006 s]
Raw data (loadavg): 0.99 0.95 0.96 2/65 9649
Raw data (stat): 9639 (java) R 9638 32363 32362 0 -1 0 18090 0 2 0 31996 41 0 0 25 0 11 0 713321161 856440832 24613 4294967295 134512640 134569956 3221224368 3221214016 1131340412 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209092 24613 13086 16 0 209076 0
vsize: 836368
[startup+340.007 s]
Raw data (loadavg): 0.99 0.95 0.96 2/65 9649
Raw data (stat): 9639 (java) R 9638 32363 32362 0 -1 0 18090 0 2 0 32972 41 0 0 25 0 11 0 713321161 856440832 24795 4294967295 134512640 134569956 3221224368 3221214456 1131339477 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209092 24795 13086 16 0 209076 0
vsize: 836368
[startup+350.007 s]
Raw data (loadavg): 0.99 0.96 0.96 2/65 9649
Raw data (stat): 9639 (java) R 9638 32363 32362 0 -1 0 18090 0 2 0 33949 41 0 0 25 0 11 0 713321161 856440832 24940 4294967295 134512640 134569956 3221224368 3221214416 1131339082 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209092 24940 13086 16 0 209076 0
vsize: 836368
[startup+360.007 s]
Raw data (loadavg): 0.99 0.96 0.96 2/65 9649
Raw data (stat): 9639 (java) R 9638 32363 32362 0 -1 0 18090 0 2 0 34938 41 0 0 25 0 11 0 713321161 856440832 25003 4294967295 134512640 134569956 3221224368 3221213992 1085679343 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209092 25003 13086 16 0 209076 0
vsize: 836368
[startup+370.007 s]
Raw data (loadavg): 0.99 0.96 0.96 2/65 9649
Raw data (stat): 9639 (java) R 9638 32363 32362 0 -1 0 18090 0 2 0 35915 41 0 0 25 0 11 0 713321161 856440832 25119 4294967295 134512640 134569956 3221224368 3221213880 1085632273 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209092 25119 13086 16 0 209076 0
vsize: 836368
[startup+380.007 s]
Raw data (loadavg): 0.99 0.96 0.96 2/65 9649
Raw data (stat): 9639 (java) R 9638 32363 32362 0 -1 0 18090 0 2 0 36892 42 0 0 25 0 11 0 713321161 856440832 25214 4294967295 134512640 134569956 3221224368 3221214000 1131339000 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209092 25214 13086 16 0 209076 0
vsize: 836368
[startup+390.006 s]
Raw data (loadavg): 0.99 0.96 0.96 2/65 9649
Raw data (stat): 9639 (java) R 9638 32363 32362 0 -1 0 18090 0 2 0 37879 42 0 0 25 0 11 0 713321161 856440832 25274 4294967295 134512640 134569956 3221224368 3221214824 1131344923 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209092 25274 13086 16 0 209076 0
vsize: 836368
[startup+400.008 s]
Raw data (loadavg): 0.99 0.96 0.96 2/65 9649
Raw data (stat): 9639 (java) R 9638 32363 32362 0 -1 0 18090 0 2 0 38856 42 0 0 25 0 11 0 713321161 856440832 25484 4294967295 134512640 134569956 3221224368 3221214464 1131340412 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209092 25484 13086 16 0 209076 0
vsize: 836368
[startup+410.008 s]
Raw data (loadavg): 0.99 0.96 0.96 2/65 9649
Raw data (stat): 9639 (java) R 9638 32363 32362 0 -1 0 18090 0 2 0 39833 42 0 0 25 0 11 0 713321161 856440832 25646 4294967295 134512640 134569956 3221224368 3221214616 1131229225 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209092 25646 13086 16 0 209076 0
vsize: 836368
[startup+420.007 s]
Raw data (loadavg): 0.99 0.96 0.96 2/65 9649
Raw data (stat): 9639 (java) R 9638 32363 32362 0 -1 0 18090 0 2 0 40811 42 0 0 25 0 11 0 713321161 856440832 25702 4294967295 134512640 134569956 3221224368 3221214112 1131339034 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209092 25702 13086 16 0 209076 0
vsize: 836368
[startup+430.008 s]
Raw data (loadavg): 0.99 0.96 0.96 2/65 9649
Raw data (stat): 9639 (java) R 9638 32363 32362 0 -1 0 18090 0 2 0 41788 42 0 0 25 0 11 0 713321161 856440832 25846 4294967295 134512640 134569956 3221224368 3221213944 1131338873 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209092 25846 13086 16 0 209076 0
vsize: 836368
[startup+440.008 s]
Raw data (loadavg): 0.99 0.96 0.96 2/65 9649
Raw data (stat): 9639 (java) R 9638 32363 32362 0 -1 0 18090 0 2 0 42777 42 0 0 25 0 11 0 713321161 856440832 25846 4294967295 134512640 134569956 3221224368 3221214648 1131172385 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209092 25846 13086 16 0 209076 0
vsize: 836368
[startup+450.009 s]
Raw data (loadavg): 0.99 0.97 0.96 2/65 9649
Raw data (stat): 9639 (java) R 9638 32363 32362 0 -1 0 18090 0 2 0 43753 43 0 0 25 0 11 0 713321161 856440832 25988 4294967295 134512640 134569956 3221224368 3221214608 1131220896 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209092 25988 13086 16 0 209076 0
vsize: 836368
[startup+460.013 s]
Raw data (loadavg): 0.99 0.97 0.96 2/65 9649
Raw data (stat): 9639 (java) R 9638 32363 32362 0 -1 0 18090 0 2 0 44731 43 0 0 25 0 11 0 713321161 856440832 26091 4294967295 134512640 134569956 3221224368 3221214608 1131221068 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209092 26091 13086 16 0 209076 0
vsize: 836368
[startup+470.013 s]
Raw data (loadavg): 0.99 0.97 0.96 2/65 9649
Raw data (stat): 9639 (java) R 9638 32363 32362 0 -1 0 18090 0 2 0 45708 43 0 0 25 0 11 0 713321161 856440832 26241 4294967295 134512640 134569956 3221224368 3221214744 1131239816 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209092 26241 13086 16 0 209076 0
vsize: 836368
[startup+480.013 s]
Raw data (loadavg): 0.99 0.97 0.96 2/65 9649
Raw data (stat): 9639 (java) R 9638 32363 32362 0 -1 0 18090 0 2 0 46685 43 0 0 25 0 11 0 713321161 856440832 26338 4294967295 134512640 134569956 3221224368 3221214632 1131161279 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209092 26338 13086 16 0 209076 0
vsize: 836368
[startup+490.012 s]
Raw data (loadavg): 0.99 0.97 0.96 2/65 9649
Raw data (stat): 9639 (java) R 9638 32363 32362 0 -1 0 18090 0 2 0 47663 43 0 0 25 0 11 0 713321161 856440832 26457 4294967295 134512640 134569956 3221224368 3221214744 1131239774 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209092 26457 13086 16 0 209076 0
vsize: 836368
[startup+500.013 s]
Raw data (loadavg): 0.99 0.97 0.96 2/65 9649
Raw data (stat): 9639 (java) R 9638 32363 32362 0 -1 0 18091 0 2 0 48641 43 0 0 25 0 11 0 713321161 856440832 26522 4294967295 134512640 134569956 3221224368 3221213900 1131339465 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209092 26522 13086 16 0 209076 0
vsize: 836368
[startup+510.013 s]
Raw data (loadavg): 0.99 0.97 0.96 2/65 9649
Raw data (stat): 9639 (java) R 9638 32363 32362 0 -1 0 18091 0 2 0 49617 43 0 0 25 0 11 0 713321161 856440832 26677 4294967295 134512640 134569956 3221224368 3221214608 1131221130 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209092 26677 13086 16 0 209076 0
vsize: 836368
[startup+520.013 s]
Raw data (loadavg): 0.99 0.97 0.96 2/65 9649
Raw data (stat): 9639 (java) R 9638 32363 32362 0 -1 0 18091 0 2 0 50594 43 0 0 25 0 11 0 713321161 856440832 26776 4294967295 134512640 134569956 3221224368 3221213712 1131336132 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209092 26776 13086 16 0 209076 0
vsize: 836368
[startup+530.013 s]
Raw data (loadavg): 0.99 0.97 0.96 2/65 9649
Raw data (stat): 9639 (java) R 9638 32363 32362 0 -1 0 18091 0 2 0 51583 43 0 0 25 0 11 0 713321161 856440832 26839 4294967295 134512640 134569956 3221224368 3221214408 1131340391 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209092 26839 13086 16 0 209076 0
vsize: 836368
[startup+540.013 s]
Raw data (loadavg): 0.99 0.97 0.96 2/65 9649
Raw data (stat): 9639 (java) R 9638 32363 32362 0 -1 0 18091 0 2 0 52561 43 0 0 25 0 11 0 713321161 856440832 26939 4294967295 134512640 134569956 3221224368 3221213824 1085679290 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209092 26939 13086 16 0 209076 0
vsize: 836368
[startup+550.018 s]
Raw data (loadavg): 0.99 0.97 0.96 2/65 9649
Raw data (stat): 9639 (java) R 9638 32363 32362 0 -1 0 18091 0 2 0 53539 43 0 0 25 0 11 0 713321161 856440832 27003 4294967295 134512640 134569956 3221224368 3221214744 1131238720 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209092 27003 13086 16 0 209076 0
vsize: 836368
[startup+560.018 s]
Raw data (loadavg): 0.99 0.97 0.96 2/65 9649
Raw data (stat): 9639 (java) R 9638 32363 32362 0 -1 0 18091 0 2 0 54506 43 0 0 25 0 11 0 713321161 856440832 27112 4294967295 134512640 134569956 3221224368 3221213888 1131338917 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209092 27112 13086 16 0 209076 0
vsize: 836368
[startup+570.018 s]
Raw data (loadavg): 0.99 0.97 0.96 2/65 9649
Raw data (stat): 9639 (java) R 9638 32363 32362 0 -1 0 18091 0 2 0 55485 44 0 0 25 0 11 0 713321161 856440832 27165 4294967295 134512640 134569956 3221224368 3221214648 1131172413 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209092 27165 13086 16 0 209076 0
vsize: 836368
[startup+580.021 s]
Raw data (loadavg): 0.99 0.97 0.96 2/65 9649
Raw data (stat): 9639 (java) R 9638 32363 32362 0 -1 0 18091 0 2 0 56451 44 0 0 25 0 11 0 713321161 856440832 27331 4294967295 134512640 134569956 3221224368 3221214048 1085679519 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209092 27331 13086 16 0 209076 0
vsize: 836368
[startup+590.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/65 9649
Raw data (stat): 9639 (java) R 9638 32363 32362 0 -1 0 18091 0 2 0 57440 44 0 0 25 0 11 0 713321161 856440832 27377 4294967295 134512640 134569956 3221224368 3221213800 1131338976 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209092 27377 13086 16 0 209076 0
vsize: 836368
[startup+600.021 s]
Raw data (loadavg): 0.99 0.97 0.96 2/65 9649
Raw data (stat): 9639 (java) R 9638 32363 32362 0 -1 0 18091 0 2 0 58409 44 0 0 25 0 11 0 713321161 856440832 27451 4294967295 134512640 134569956 3221224368 3221214248 1131338982 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209092 27451 13086 16 0 209076 0
vsize: 836368
[startup+610.021 s]
Raw data (loadavg): 0.99 0.97 0.96 2/65 9649
Raw data (stat): 9639 (java) R 9638 32363 32362 0 -1 0 18091 0 2 0 59387 44 0 0 25 0 11 0 713321161 856440832 27504 4294967295 134512640 134569956 3221224368 3221214744 1131239669 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209092 27504 13086 16 0 209076 0
vsize: 836368
[startup+620.021 s]
Raw data (loadavg): 0.99 0.97 0.96 2/65 9649
Raw data (stat): 9639 (java) R 9638 32363 32362 0 -1 0 18091 0 2 0 60377 45 0 0 25 0 11 0 713321161 856440832 27504 4294967295 134512640 134569956 3221224368 3221214576 1131340404 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209092 27504 13086 16 0 209076 0
vsize: 836368
[startup+630.021 s]
Raw data (loadavg): 0.99 0.97 0.96 2/65 9649
Raw data (stat): 9639 (java) R 9638 32363 32362 0 -1 0 18091 0 2 0 61355 45 0 0 25 0 11 0 713321161 856440832 27567 4294967295 134512640 134569956 3221224368 3221214408 1131340370 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209092 27567 13086 16 0 209076 0
vsize: 836368
[startup+640.021 s]
Raw data (loadavg): 0.99 0.97 0.96 2/65 9649
Raw data (stat): 9639 (java) R 9638 32363 32362 0 -1 0 18091 0 2 0 62333 45 0 0 25 0 11 0 713321161 856440832 27620 4294967295 134512640 134569956 3221224368 3221214632 1131161268 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209092 27620 13086 16 0 209076 0
vsize: 836368
[startup+650.024 s]
Raw data (loadavg): 0.99 0.97 0.96 2/65 9649
Raw data (stat): 9639 (java) S 9638 32363 32362 0 -1 0 18091 0 2 0 63310 45 0 0 25 0 11 0 713321161 856440832 27690 4294967295 134512640 134569956 3221224368 3221213488 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209092 27690 13086 16 0 209076 0
vsize: 836368
[startup+660.025 s]
Raw data (loadavg): 0.99 0.97 0.96 2/65 9649
Raw data (stat): 9639 (java) R 9638 32363 32362 0 -1 0 18091 0 2 0 64279 45 0 0 25 0 11 0 713321161 856440832 27780 4294967295 134512640 134569956 3221224368 3221214744 1131239348 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209092 27780 13086 16 0 209076 0
vsize: 836368
[startup+670.024 s]
Raw data (loadavg): 0.99 0.97 0.96 2/65 9649
Raw data (stat): 9639 (java) R 9638 32363 32362 0 -1 0 18091 0 2 0 65256 45 0 0 25 0 11 0 713321161 856440832 27825 4294967295 134512640 134569956 3221224368 3221214680 1131181920 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209092 27825 13086 16 0 209076 0
vsize: 836368
[startup+680.024 s]
Raw data (loadavg): 0.99 0.97 0.96 3/65 9649
Raw data (stat): 9639 (java) R 9638 32363 32362 0 -1 0 18091 0 2 0 66234 45 0 0 25 0 11 0 713321161 856440832 27893 4294967295 134512640 134569956 3221224368 3221214616 1131228457 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209092 27893 13086 16 0 209076 0
vsize: 836368
[startup+690.024 s]
Raw data (loadavg): 0.99 0.97 0.96 2/65 9649
Raw data (stat): 9639 (java) R 9638 32363 32362 0 -1 0 18091 0 2 0 67201 45 0 0 25 0 11 0 713321161 856440832 27972 4294967295 134512640 134569956 3221224368 3221214632 1131161440 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209092 27972 13086 16 0 209076 0
vsize: 836368
[startup+700.025 s]
Raw data (loadavg): 0.99 0.97 0.96 2/65 9649
Raw data (stat): 9639 (java) R 9638 32363 32362 0 -1 0 18091 0 2 0 68167 45 0 0 25 0 11 0 713321161 856440832 28073 4294967295 134512640 134569956 3221224368 3221214744 1131239816 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209092 28073 13086 16 0 209076 0
vsize: 836368
[startup+710.025 s]
Raw data (loadavg): 0.99 0.97 0.96 2/65 9649
Raw data (stat): 9639 (java) R 9638 32363 32362 0 -1 0 18091 0 2 0 69134 45 0 0 25 0 11 0 713321161 856440832 28185 4294967295 134512640 134569956 3221224368 3221214236 1131340395 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209092 28185 13086 16 0 209076 0
vsize: 836368
[startup+720.025 s]
Raw data (loadavg): 0.99 0.97 0.96 2/65 9649
Raw data (stat): 9639 (java) R 9638 32363 32362 0 -1 0 18091 0 2 0 70112 45 0 0 25 0 11 0 713321161 856440832 28238 4294967295 134512640 134569956 3221224368 3221214520 1131340412 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209092 28238 13086 16 0 209076 0
vsize: 836368
[startup+730.025 s]
Raw data (loadavg): 0.99 0.97 0.96 2/65 9649
Raw data (stat): 9639 (java) R 9638 32363 32362 0 -1 0 18091 0 2 0 71080 45 0 0 25 0 11 0 713321161 856440832 28322 4294967295 134512640 134569956 3221224368 3221214568 1131339477 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209092 28322 13086 16 0 209076 0
vsize: 836368
[startup+740.025 s]
Raw data (loadavg): 0.99 0.97 0.96 2/65 9649
Raw data (stat): 9639 (java) R 9638 32363 32362 0 -1 0 18091 0 2 0 72047 45 0 0 25 0 11 0 713321161 856440832 28421 4294967295 134512640 134569956 3221224368 3221214568 1131340424 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209092 28421 13086 16 0 209076 0
vsize: 836368
[startup+750.026 s]
Raw data (loadavg): 0.99 0.97 0.96 2/65 9649
Raw data (stat): 9639 (java) R 9638 32363 32362 0 -1 0 18091 0 2 0 73014 46 0 0 25 0 11 0 713321161 856440832 28501 4294967295 134512640 134569956 3221224368 3221214744 1131238671 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209092 28501 13086 16 0 209076 0
vsize: 836368
[startup+760.026 s]
Raw data (loadavg): 0.99 0.97 0.96 2/65 9649
Raw data (stat): 9639 (java) R 9638 32363 32362 0 -1 0 18091 0 2 0 73991 46 0 0 25 0 11 0 713321161 856440832 28580 4294967295 134512640 134569956 3221224368 3221214120 1131339477 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209092 28580 13086 16 0 209076 0
vsize: 836368
[startup+770.026 s]
Raw data (loadavg): 0.99 0.97 0.96 2/65 9649
Raw data (stat): 9639 (java) R 9638 32363 32362 0 -1 0 18091 0 2 0 74981 46 0 0 25 0 11 0 713321161 856440832 28618 4294967295 134512640 134569956 3221224368 3221213856 1131338972 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209092 28618 13086 16 0 209076 0
vsize: 836368
[startup+780.026 s]
Raw data (loadavg): 0.99 0.97 0.96 2/65 9649
Raw data (stat): 9639 (java) R 9638 32363 32362 0 -1 0 18091 0 2 0 75959 46 0 0 25 0 11 0 713321161 856440832 28647 4294967295 134512640 134569956 3221224368 3221213624 1131340211 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209092 28647 13086 16 0 209076 0
vsize: 836368
[startup+790.026 s]
Raw data (loadavg): 0.99 0.97 0.96 2/65 9649
Raw data (stat): 9639 (java) R 9638 32363 32362 0 -1 0 18091 0 2 0 76947 46 0 0 25 0 11 0 713321161 856440832 28687 4294967295 134512640 134569956 3221224368 3221214160 1131336132 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209092 28687 13086 16 0 209076 0
vsize: 836368
[startup+800.026 s]
Raw data (loadavg): 0.99 0.97 0.96 2/65 9649
Raw data (stat): 9639 (java) R 9638 32363 32362 0 -1 0 18091 0 2 0 77937 46 0 0 25 0 11 0 713321161 856440832 28687 4294967295 134512640 134569956 3221224368 3221213852 1131338960 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209092 28687 13086 16 0 209076 0
vsize: 836368
[startup+810.027 s]
Raw data (loadavg): 0.99 0.97 0.96 2/65 9649
Raw data (stat): 9639 (java) R 9638 32363 32362 0 -1 0 18091 0 2 0 78926 46 0 0 25 0 11 0 713321161 856440832 28723 4294967295 134512640 134569956 3221224368 3221214184 1131340426 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209092 28723 13086 16 0 209076 0
vsize: 836368
[startup+820.027 s]
Raw data (loadavg): 0.99 0.97 0.96 2/65 9649
Raw data (stat): 9639 (java) R 9638 32363 32362 0 -1 0 18091 0 2 0 79915 46 0 0 25 0 11 0 713321161 856440832 28755 4294967295 134512640 134569956 3221224368 3221214520 1131340265 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209092 28755 13086 16 0 209076 0
vsize: 836368
[startup+830.027 s]
Raw data (loadavg): 0.99 0.97 0.96 2/65 9649
Raw data (stat): 9639 (java) R 9638 32363 32362 0 -1 0 18091 0 2 0 80904 46 0 0 25 0 11 0 713321161 856440832 28755 4294967295 134512640 134569956 3221224368 3221214464 1131340391 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209092 28755 13086 16 0 209076 0
vsize: 836368
[startup+840.028 s]
Raw data (loadavg): 0.99 0.97 0.96 2/65 9649
Raw data (stat): 9639 (java) R 9638 32363 32362 0 -1 0 18091 0 2 0 81882 46 0 0 25 0 11 0 713321161 856440832 28811 4294967295 134512640 134569956 3221224368 3221213464 1131339004 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209092 28811 13086 16 0 209076 0
vsize: 836368
[startup+850.032 s]
Raw data (loadavg): 0.99 0.97 0.96 2/65 9649
Raw data (stat): 9639 (java) S 9638 32363 32362 0 -1 0 18091 0 2 0 82866 46 0 0 25 0 11 0 713321161 856440832 28844 4294967295 134512640 134569956 3221224368 3221213312 1073952481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209092 28844 13086 16 0 209076 0
vsize: 836368
[startup+860.031 s]
Raw data (loadavg): 0.99 0.97 0.96 2/65 9649
Raw data (stat): 9639 (java) R 9638 32363 32362 0 -1 0 18091 0 2 0 83849 46 0 0 25 0 11 0 713321161 856440832 28905 4294967295 134512640 134569956 3221224368 3221213992 1131336117 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209092 28905 13086 16 0 209076 0
vsize: 836368
[startup+870.031 s]
Raw data (loadavg): 0.99 0.97 0.96 2/65 9649
Raw data (stat): 9639 (java) R 9638 32363 32362 0 -1 0 18091 0 2 0 84827 46 0 0 25 0 11 0 713321161 856440832 28958 4294967295 134512640 134569956 3221224368 3221214744 1131239348 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209092 28958 13086 16 0 209076 0
vsize: 836368
[startup+880.032 s]
Raw data (loadavg): 0.99 0.97 0.96 2/65 9649
Raw data (stat): 9639 (java) R 9638 32363 32362 0 -1 0 18091 0 2 0 85805 46 0 0 25 0 11 0 713321161 856440832 29024 4294967295 134512640 134569956 3221224368 3221214012 1131339456 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209092 29024 13086 16 0 209076 0
vsize: 836368
[startup+890.032 s]
Raw data (loadavg): 0.99 0.97 0.96 2/65 9649
Raw data (stat): 9639 (java) R 9638 32363 32362 0 -1 0 18091 0 2 0 86784 46 0 0 25 0 11 0 713321161 856440832 29082 4294967295 134512640 134569956 3221224368 3221214744 1131239816 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209092 29082 13086 16 0 209076 0
vsize: 836368
[startup+900.033 s]
Raw data (loadavg): 0.99 0.97 0.96 2/65 9649
Raw data (stat): 9639 (java) R 9638 32363 32362 0 -1 0 18091 0 2 0 87763 47 0 0 25 0 11 0 713321161 856440832 29138 4294967295 134512640 134569956 3221224368 3221213908 1131339019 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209092 29138 13086 16 0 209076 0
vsize: 836368
[startup+910.034 s]
Raw data (loadavg): 0.99 0.97 0.96 2/65 9649
Raw data (stat): 9639 (java) R 9638 32363 32362 0 -1 0 18091 0 2 0 88742 47 0 0 25 0 11 0 713321161 856440832 29202 4294967295 134512640 134569956 3221224368 3221214352 1131340412 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209092 29202 13086 16 0 209076 0
vsize: 836368
[startup+920.034 s]
Raw data (loadavg): 0.99 0.97 0.96 2/65 9649
Raw data (stat): 9639 (java) R 9638 32363 32362 0 -1 0 18091 0 2 0 89713 47 0 0 25 0 11 0 713321161 856440832 29291 4294967295 134512640 134569956 3221224368 3221214468 1131339024 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209092 29291 13086 16 0 209076 0
vsize: 836368
[startup+930.033 s]
Raw data (loadavg): 0.99 0.97 0.96 2/65 9649
Raw data (stat): 9639 (java) R 9638 32363 32362 0 -1 0 18091 0 2 0 90694 47 0 0 25 0 11 0 713321161 856440832 29354 4294967295 134512640 134569956 3221224368 3221214632 1131161349 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209092 29354 13086 16 0 209076 0
vsize: 836368
[startup+940.034 s]
Raw data (loadavg): 0.99 0.97 0.96 2/65 9649
Raw data (stat): 9639 (java) R 9638 32363 32362 0 -1 0 18091 0 2 0 91676 48 0 0 25 0 11 0 713321161 856440832 29421 4294967295 134512640 134569956 3221224368 3221214528 1131339052 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209092 29421 13086 16 0 209076 0
vsize: 836368
[startup+950.034 s]
Raw data (loadavg): 0.99 0.97 0.96 2/65 9649
Raw data (stat): 9639 (java) R 9638 32363 32362 0 -1 0 18091 0 2 0 92667 48 0 0 25 0 11 0 713321161 856440832 29450 4294967295 134512640 134569956 3221224368 3221214216 1085632273 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209092 29450 13086 16 0 209076 0
vsize: 836368
[startup+960.034 s]
Raw data (loadavg): 0.99 0.97 0.96 2/65 9649
Raw data (stat): 9639 (java) R 9638 32363 32362 0 -1 0 18091 0 2 0 93649 48 0 0 25 0 11 0 713321161 856440832 29494 4294967295 134512640 134569956 3221224368 3221214416 1131338964 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209092 29494 13086 16 0 209076 0
vsize: 836368
[startup+970.034 s]
Raw data (loadavg): 0.99 0.97 0.96 2/65 9649
Raw data (stat): 9639 (java) R 9638 32363 32362 0 -1 0 18091 0 2 0 94632 48 0 0 25 0 11 0 713321161 856440832 29542 4294967295 134512640 134569956 3221224368 3221213884 1131339024 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209092 29542 13086 16 0 209076 0
vsize: 836368
[startup+980.035 s]
Raw data (loadavg): 0.99 0.97 0.96 2/65 9649
Raw data (stat): 9639 (java) R 9638 32363 32362 0 -1 0 18091 0 2 0 95614 49 0 0 25 0 11 0 713321161 856440832 29591 4294967295 134512640 134569956 3221224368 3221214504 1131194029 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209092 29591 13086 16 0 209076 0
vsize: 836368
[startup+990.034 s]
Raw data (loadavg): 0.99 0.97 0.96 2/65 9649
Raw data (stat): 9639 (java) R 9638 32363 32362 0 -1 0 18091 0 2 0 96598 49 0 0 25 0 11 0 713321161 856440832 29622 4294967295 134512640 134569956 3221224368 3221214348 1131340388 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209092 29622 13086 16 0 209076 0
vsize: 836368
[startup+1000.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/65 9649
Raw data (stat): 9639 (java) R 9638 32363 32362 0 -1 0 18091 0 2 0 97581 49 0 0 25 0 11 0 713321161 856440832 29669 4294967295 134512640 134569956 3221224368 3221214160 1131336132 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209092 29669 13086 16 0 209076 0
vsize: 836368
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/65 9649
Raw data (stat): 9639 (java) R 9638 32363 32362 0 -1 0 18091 0 2 0 98564 49 0 0 25 0 11 0 713321161 856440832 29706 4294967295 134512640 134569956 3221224368 3221214440 1085632287 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209092 29706 13086 16 0 209076 0
vsize: 836368
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/65 9649
Raw data (stat): 9639 (java) R 9638 32363 32362 0 -1 0 18091 0 2 0 99538 49 0 0 24 0 11 0 713321161 856440832 29780 4294967295 134512640 134569956 3221224368 3221214744 1131238717 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209092 29780 13086 16 0 209076 0
vsize: 836368
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/65 9649
Raw data (stat): 9639 (java) R 9638 32363 32362 0 -1 0 18091 0 2 0 100530 50 0 0 25 0 11 0 713321161 856440832 29807 4294967295 134512640 134569956 3221224368 3221214244 1131339019 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209092 29807 13086 16 0 209076 0
vsize: 836368
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/65 9649
Raw data (stat): 9639 (java) R 9638 32363 32362 0 -1 0 18091 0 2 0 101505 50 0 0 25 0 11 0 713321161 856440832 29876 4294967295 134512640 134569956 3221224368 3221213776 1131338865 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209092 29876 13086 16 0 209076 0
vsize: 836368
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/65 9649
Raw data (stat): 9639 (java) R 9638 32363 32362 0 -1 0 18091 0 2 0 102490 50 0 0 25 0 11 0 713321161 856440832 29942 4294967295 134512640 134569956 3221224368 3221214240 1131340202 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209092 29942 13086 16 0 209076 0
vsize: 836368
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/65 9649
Raw data (stat): 9639 (java) R 9638 32363 32362 0 -1 0 18091 0 2 0 103466 50 0 0 25 0 11 0 713321161 856440832 29990 4294967295 134512640 134569956 3221224368 3221213944 1131338976 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209092 29990 13086 16 0 209076 0
vsize: 836368
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/65 9649
Raw data (stat): 9639 (java) R 9638 32363 32362 0 -1 0 18091 0 2 0 104451 50 0 0 25 0 11 0 713321161 856440832 30025 4294967295 134512640 134569956 3221224368 3221213944 1131339025 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209092 30025 13086 16 0 209076 0
vsize: 836368
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/65 9649
Raw data (stat): 9639 (java) R 9638 32363 32362 0 -1 0 18091 0 2 0 105435 50 0 0 25 0 11 0 713321161 856440832 30070 4294967295 134512640 134569956 3221224368 3221214128 1131340412 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209092 30070 13086 16 0 209076 0
vsize: 836368
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/65 9649
Raw data (stat): 9639 (java) R 9638 32363 32362 0 -1 0 18091 0 2 0 106419 50 0 0 25 0 11 0 713321161 856440832 30094 4294967295 134512640 134569956 3221224368 3221214808 1131370937 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209092 30094 13086 16 0 209076 0
vsize: 836368
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/65 9649
Raw data (stat): 9639 (java) R 9638 32363 32362 0 -1 0 18091 0 2 0 107387 51 0 0 25 0 11 0 713321161 856440832 30159 4294967295 134512640 134569956 3221224368 3221214244 1131339024 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209092 30159 13086 16 0 209076 0
vsize: 836368
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/65 9649
Raw data (stat): 9639 (java) R 9638 32363 32362 0 -1 0 18091 0 2 0 108371 51 0 0 25 0 11 0 713321161 856440832 30197 4294967295 134512640 134569956 3221224368 3221213940 1131339024 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209092 30197 13086 16 0 209076 0
vsize: 836368
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/65 9649
Raw data (stat): 9639 (java) R 9638 32363 32362 0 -1 0 18091 0 2 0 109354 51 0 0 25 0 11 0 713321161 856440832 30225 4294967295 134512640 134569956 3221224368 3221214460 1131340388 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209092 30225 13086 16 0 209076 0
vsize: 836368
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/65 9649
Raw data (stat): 9639 (java) R 9638 32363 32362 0 -1 0 18091 0 2 0 110338 51 0 0 25 0 11 0 713321161 856440832 30257 4294967295 134512640 134569956 3221224368 3221214048 1131336094 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209092 30257 13086 16 0 209076 0
vsize: 836368
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/65 9649
Raw data (stat): 9639 (java) R 9638 32363 32362 0 -1 0 18091 0 2 0 111321 51 0 0 25 0 11 0 713321161 856440832 30301 4294967295 134512640 134569956 3221224368 3221214828 1131160867 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209092 30301 13086 16 0 209076 0
vsize: 836368
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/65 9649
Raw data (stat): 9639 (java) R 9638 32363 32362 0 -1 0 18091 0 2 0 112305 52 0 0 25 0 11 0 713321161 856440832 30351 4294967295 134512640 134569956 3221224368 3221214280 1131331271 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209092 30351 13086 16 0 209076 0
vsize: 836368
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/65 9649
Raw data (stat): 9639 (java) R 9638 32363 32362 0 -1 0 18091 0 2 0 113271 52 0 0 25 0 11 0 713321161 856440832 30432 4294967295 134512640 134569956 3221224368 3221214472 1131339000 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209092 30432 13086 16 0 209076 0
vsize: 836368
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/65 9649
Raw data (stat): 9639 (java) R 9638 32363 32362 0 -1 0 18091 0 2 0 114246 52 0 0 25 0 11 0 713321161 856440832 30487 4294967295 134512640 134569956 3221224368 3221214272 1085632292 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209092 30487 13086 16 0 209076 0
vsize: 836368
[startup+1180.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/65 9649
Raw data (stat): 9639 (java) R 9638 32363 32362 0 -1 0 18091 0 2 0 115213 52 0 0 25 0 11 0 713321161 856440832 30571 4294967295 134512640 134569956 3221224368 3221214744 1131242092 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209092 30571 13086 16 0 209076 0
vsize: 836368
[startup+1190.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/65 9649
Raw data (stat): 9639 (java) R 9638 32363 32362 0 -1 0 18091 0 2 0 116188 52 0 0 25 0 11 0 713321161 856440832 30619 4294967295 134512640 134569956 3221224368 3221214568 1131339477 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209092 30619 13086 16 0 209076 0
vsize: 836368
[startup+1200.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/65 9649
Raw data (stat): 9639 (java) R 9638 32363 32362 0 -1 0 18091 0 2 0 117155 52 0 0 25 0 11 0 713321161 856440832 30696 4294967295 134512640 134569956 3221224368 3221214740 1131161248 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209092 30696 13086 16 0 209076 0
vsize: 836368
[startup+1210.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/65 9649
Raw data (stat): 9639 (java) R 9638 32363 32362 0 -1 0 18091 0 2 0 118114 52 0 0 25 0 11 0 713321161 856440832 30762 4294967295 134512640 134569956 3221224368 3221214360 1131339089 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209092 30762 13086 16 0 209076 0
vsize: 836368
[startup+1220.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/65 9649
Raw data (stat): 9639 (java) R 9638 32363 32362 0 -1 0 18091 0 2 0 119098 52 0 0 25 0 11 0 713321161 856440832 30796 4294967295 134512640 134569956 3221224368 3221214528 1131339036 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209092 30796 13086 16 0 209076 0
vsize: 836368
[startup+1230.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/65 9649
Raw data (stat): 9639 (java) R 9638 32363 32362 0 -1 0 18091 0 2 0 120074 52 0 0 25 0 11 0 713321161 856440832 30860 4294967295 134512640 134569956 3221224368 3221214180 1131338848 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209092 30860 13086 16 0 209076 0
vsize: 836368
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1230.15 s]
Raw data (loadavg): 0.99 0.97 0.96 1/55 9651
Raw data (stat): 9639 (java) Z 9638 32363 32362 0 -1 1036 18091 15738 2 0 120079 58 3481 37 25 0 1 0 713321161 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1230.15
CPU time (s): 1236.57
CPU user time (s): 1235.61
CPU system time (s): 0.954854
CPU usage (%): 100.521
Max. virtual memory (Kb): 838688
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####