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-fpga14_13_sat_pb.cnf.cr.opb
MD5SUM	6c5be32f385b6b14a9d33e85ff7013ea
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	15
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.099984
Number of variables	273
Total number of constraints	222
Number of constraints which are clauses	195
Number of constraints which are cardinality constraints (but not clauses)	27
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	7
Maximum length of a constraint	14
Trace number 26231

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc1 THE 2005-05-24 14:35:18 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=20445 boxname=wulflinc1 idbench=35 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  6c5be32f385b6b14a9d33e85ff7013ea  /oldhome/oroussel/tmp/wulflinc1/normalized-fpga14_13_sat_pb.cnf.cr.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc1/normalized-fpga14_13_sat_pb.cnf.cr.opb
IDLAUNCH: 20445
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
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	: 2
cpu MHz		: 451.053
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:        940616 kB
Buffers:         35780 kB
Cached:          32560 kB
SwapCached:          0 kB
Active:          64528 kB
Inactive:         6908 kB
HighTotal:      131008 kB
HighFree:       113204 kB
LowTotal:       903652 kB
LowFree:        827412 kB
SwapTotal:     2097136 kB
SwapFree:      2096968 kB
Dirty:              16 kB
Writeback:           0 kB
Mapped:           7144 kB
Slab:            16872 kB
Committed_AS:    92716 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-24 14:56:44 (client local time) WITH STATUS 143 IN 1244.34 SECONDS
stats: 20445 7 1244.34 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/wulflinc1/normalized-fpga14_13_sat_pb.cnf.cr.opb
c reading problem ... done. Time 1.201 ms.
c #vars     273
c #constraints  222
c starts	: 9
c conflicts	: 5816
c decisions	: 17786
c propagations	: 95812
c inspects	: 3402628
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 5816
c root simplifications	: 9
s UNKNOWN
c Total CPU time (ms) : 1245.764
#### 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.35 1.29 1.77 1/55 8420
Raw data (stat): 8420 (runsolver) D 8419 8378 8377 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 715923195 1052672 99 4294967295 134512640 135381576 3221224400 3221219620 135158418 0 2147483391 7 90112 3225161850 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0002 s]
Raw data (loadavg): 0.45 1.28 1.77 1/55 8420
Raw data (stat): 8420 (java) D 8419 8378 8377 0 -1 0 801 0 33 0 1 2 0 0 17 0 1 0 715923195 13967360 636 4294967295 134512640 134569956 3221224368 3221203448 1073810900 0 2147483391 7 7368 3225161850 0 0 17 1 0 0
Raw data (statm): 3410 636 1809 16 0 3394 0
vsize: 13640
[startup+20.009 s]
Raw data (loadavg): 0.54 1.27 1.76 1/58 8423
Raw data (stat): 8420 (java) D 8419 8378 8377 0 -1 0 2374 0 58 0 23 6 0 0 17 0 4 0 715923195 846860288 2247 4294967295 134512640 134569956 3221224368 3221210900 1085786722 0 4 7 7368 3222515881 0 0 17 1 0 0
Raw data (statm): 206753 2247 12757 16 0 206737 0
vsize: 827012
[startup+30.0098 s]
Raw data (loadavg): 0.61 1.26 1.75 1/58 8425
Raw data (stat): 8420 (java) D 8419 8378 8377 0 -1 0 2520 0 60 0 30 7 0 0 17 0 4 0 715923195 846860288 2395 4294967295 134512640 134569956 3221224368 3221212964 1085786722 0 4 7 7368 3222515881 0 0 17 1 0 0
Raw data (statm): 206753 2395 12757 16 0 206737 0
vsize: 827012
[startup+40.2855 s]
Raw data (loadavg): 0.67 1.25 1.74 2/65 8432
Raw data (stat): 8420 (java) R 8419 8378 8377 0 -1 0 12585 0 80 0 418 35 0 0 25 0 11 0 715923195 857391104 13833 4294967295 134512640 134569956 3221224368 3221214672 1131237640 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209324 13834 13086 16 0 209308 0
vsize: 837296
[startup+50.2893 s]
Raw data (loadavg): 0.80 1.26 1.74 2/65 8432
Raw data (stat): 8420 (java) R 8419 8378 8377 0 -1 0 17978 0 81 0 1340 47 0 0 25 0 11 0 715923195 857161728 20451 4294967295 134512640 134569956 3221224368 3221214664 1131237734 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209268 20451 13086 16 0 209252 0
vsize: 837072
[startup+60.2895 s]
Raw data (loadavg): 0.83 1.25 1.73 2/65 8432
Raw data (stat): 8420 (java) R 8419 8378 8377 0 -1 0 17978 0 81 0 2297 47 0 0 25 0 11 0 715923195 857161728 21233 4294967295 134512640 134569956 3221224368 3221214536 1131237879 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209268 21233 13086 16 0 209252 0
vsize: 837072
[startup+70.2888 s]
Raw data (loadavg): 0.85 1.24 1.72 2/65 8432
Raw data (stat): 8420 (java) R 8419 8378 8377 0 -1 0 17979 0 81 0 3252 47 0 0 25 0 11 0 715923195 857161728 21458 4294967295 134512640 134569956 3221224368 3221214376 1079721521 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209268 21458 13086 16 0 209252 0
vsize: 837072
[startup+80.2946 s]
Raw data (loadavg): 0.88 1.23 1.71 2/65 8432
Raw data (stat): 8420 (java) R 8419 8378 8377 0 -1 0 17979 0 81 0 4219 48 0 0 25 0 11 0 715923195 857161728 21764 4294967295 134512640 134569956 3221224368 3221214580 1131423424 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209268 21764 13086 16 0 209252 0
vsize: 837072
[startup+90.2944 s]
Raw data (loadavg): 0.89 1.22 1.70 2/65 8432
Raw data (stat): 8420 (java) R 8419 8378 8377 0 -1 0 17979 0 81 0 5184 48 0 0 25 0 11 0 715923195 857161728 22102 4294967295 134512640 134569956 3221224368 3221214776 1131288712 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209268 22102 13086 16 0 209252 0
vsize: 837072
[startup+100.294 s]
Raw data (loadavg): 0.91 1.22 1.70 2/65 8432
Raw data (stat): 8420 (java) R 8419 8378 8377 0 -1 0 17979 0 81 0 6140 48 0 0 25 0 11 0 715923195 857161728 22351 4294967295 134512640 134569956 3221224368 3221214096 1131423688 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209268 22351 13086 16 0 209252 0
vsize: 837072
[startup+110.297 s]
Raw data (loadavg): 0.92 1.21 1.69 2/65 8432
Raw data (stat): 8420 (java) R 8419 8378 8377 0 -1 0 17979 0 81 0 7106 48 0 0 25 0 11 0 715923195 857161728 22561 4294967295 134512640 134569956 3221224368 3221214616 1131211576 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209268 22561 13086 16 0 209252 0
vsize: 837072
[startup+120.304 s]
Raw data (loadavg): 0.93 1.20 1.68 2/65 8432
Raw data (stat): 8420 (java) R 8419 8378 8377 0 -1 0 17979 0 81 0 8074 48 0 0 25 0 11 0 715923195 857161728 22701 4294967295 134512640 134569956 3221224368 3221214272 1085679741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209268 22701 13086 16 0 209252 0
vsize: 837072
[startup+130.305 s]
Raw data (loadavg): 0.94 1.19 1.67 2/65 8432
Raw data (stat): 8420 (java) R 8419 8378 8377 0 -1 0 17979 0 81 0 9050 48 0 0 25 0 11 0 715923195 857161728 22855 4294967295 134512640 134569956 3221224368 3221214188 1131425808 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209268 22855 13086 16 0 209252 0
vsize: 837072
[startup+140.304 s]
Raw data (loadavg): 0.95 1.19 1.66 2/65 8432
Raw data (stat): 8420 (java) R 8419 8378 8377 0 -1 0 17979 0 81 0 10014 48 0 0 25 0 11 0 715923195 857161728 23103 4294967295 134512640 134569956 3221224368 3221214604 1131406835 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209268 23103 13086 16 0 209252 0
vsize: 837072
[startup+150.305 s]
Raw data (loadavg): 0.96 1.18 1.66 2/65 8432
Raw data (stat): 8420 (java) R 8419 8378 8377 0 -1 0 17979 0 81 0 10979 48 0 0 25 0 11 0 715923195 857161728 23361 4294967295 134512640 134569956 3221224368 3221214656 1131192612 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209268 23361 13086 16 0 209252 0
vsize: 837072
[startup+160.305 s]
Raw data (loadavg): 0.97 1.17 1.65 2/65 8432
Raw data (stat): 8420 (java) R 8419 8378 8377 0 -1 0 17979 0 81 0 11934 48 0 0 25 0 11 0 715923195 857161728 23541 4294967295 134512640 134569956 3221224368 3221214624 1131244543 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209268 23541 13086 16 0 209252 0
vsize: 837072
[startup+170.305 s]
Raw data (loadavg): 0.97 1.17 1.64 2/65 8432
Raw data (stat): 8420 (java) S 8419 8378 8377 0 -1 0 17979 0 81 0 12893 48 0 0 25 0 11 0 715923195 857161728 23656 4294967295 134512640 134569956 3221224368 3221213272 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209268 23656 13086 16 0 209252 0
vsize: 837072
[startup+180.306 s]
Raw data (loadavg): 0.97 1.16 1.63 2/65 8432
Raw data (stat): 8420 (java) S 8419 8378 8377 0 -1 0 17979 0 81 0 13851 48 0 0 25 0 11 0 715923195 857161728 23803 4294967295 134512640 134569956 3221224368 3221213360 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209268 23803 13086 16 0 209252 0
vsize: 837072
[startup+190.308 s]
Raw data (loadavg): 0.98 1.16 1.63 2/65 8432
Raw data (stat): 8420 (java) R 8419 8378 8377 0 -1 0 17979 0 81 0 14816 48 0 0 25 0 11 0 715923195 857161728 23976 4294967295 134512640 134569956 3221224368 3221214588 1131184544 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209268 23976 13086 16 0 209252 0
vsize: 837072
[startup+200.307 s]
Raw data (loadavg): 0.98 1.15 1.62 2/65 8432
Raw data (stat): 8420 (java) R 8419 8378 8377 0 -1 0 17979 0 81 0 15763 48 0 0 25 0 11 0 715923195 857161728 24148 4294967295 134512640 134569956 3221224368 3221214632 1131370403 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209268 24148 13086 16 0 209252 0
vsize: 837072
[startup+210.308 s]
Raw data (loadavg): 0.98 1.14 1.61 2/65 8432
Raw data (stat): 8420 (java) R 8419 8378 8377 0 -1 0 17979 0 81 0 16720 48 0 0 24 0 11 0 715923195 857161728 24306 4294967295 134512640 134569956 3221224368 3221214752 1131289189 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209268 24306 13086 16 0 209252 0
vsize: 837072
[startup+220.313 s]
Raw data (loadavg): 0.98 1.14 1.61 2/65 8432
Raw data (stat): 8420 (java) S 8419 8378 8377 0 -1 0 17979 0 81 0 17682 48 0 0 25 0 11 0 715923195 857161728 24400 4294967295 134512640 134569956 3221224368 3221213272 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209268 24400 13086 16 0 209252 0
vsize: 837072
[startup+230.314 s]
Raw data (loadavg): 0.99 1.14 1.60 2/65 8432
Raw data (stat): 8420 (java) R 8419 8378 8377 0 -1 0 17979 0 81 0 18653 48 0 0 25 0 11 0 715923195 857161728 24542 4294967295 134512640 134569956 3221224368 3221214028 1131425808 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209268 24542 13086 16 0 209252 0
vsize: 837072
[startup+240.314 s]
Raw data (loadavg): 0.99 1.13 1.59 2/65 8432
Raw data (stat): 8420 (java) S 8419 8378 8377 0 -1 0 17979 0 81 0 19622 48 0 0 25 0 11 0 715923195 857161728 24649 4294967295 134512640 134569956 3221224368 3221213540 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209268 24649 13086 16 0 209252 0
vsize: 837072
[startup+250.314 s]
Raw data (loadavg): 0.99 1.13 1.59 2/65 8432
Raw data (stat): 8420 (java) R 8419 8378 8377 0 -1 0 17979 0 81 0 20587 48 0 0 25 0 11 0 715923195 857161728 24812 4294967295 134512640 134569956 3221224368 3221214752 1131288712 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209268 24812 13086 16 0 209252 0
vsize: 837072
[startup+260.315 s]
Raw data (loadavg): 0.99 1.12 1.58 2/65 8432
Raw data (stat): 8420 (java) R 8419 8378 8377 0 -1 0 17979 0 81 0 21533 48 0 0 25 0 11 0 715923195 857161728 24941 4294967295 134512640 134569956 3221224368 3221214600 1131184601 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209268 24941 13086 16 0 209252 0
vsize: 837072
[startup+270.315 s]
Raw data (loadavg): 0.99 1.12 1.57 2/65 8432
Raw data (stat): 8420 (java) R 8419 8378 8377 0 -1 0 17979 0 81 0 22488 48 0 0 25 0 11 0 715923195 857161728 25092 4294967295 134512640 134569956 3221224368 3221214656 1131192633 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209268 25092 13086 16 0 209252 0
vsize: 837072
[startup+280.315 s]
Raw data (loadavg): 0.99 1.11 1.56 2/65 8432
Raw data (stat): 8420 (java) R 8419 8378 8377 0 -1 0 17979 0 81 0 23435 48 0 0 25 0 11 0 715923195 857161728 25194 4294967295 134512640 134569956 3221224368 3221214528 1131425815 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209268 25194 13086 16 0 209252 0
vsize: 837072
[startup+290.321 s]
Raw data (loadavg): 0.99 1.11 1.56 2/65 8432
Raw data (stat): 8420 (java) R 8419 8378 8377 0 -1 0 17979 0 81 0 24393 49 0 0 25 0 11 0 715923195 857161728 25325 4294967295 134512640 134569956 3221224368 3221214620 1131171784 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209268 25325 13086 16 0 209252 0
vsize: 837072
[startup+300.322 s]
Raw data (loadavg): 0.99 1.10 1.55 2/65 8432
Raw data (stat): 8420 (java) R 8419 8378 8377 0 -1 0 17979 0 81 0 25337 49 0 0 25 0 11 0 715923195 857161728 25529 4294967295 134512640 134569956 3221224368 3221214752 1131290017 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209268 25529 13086 16 0 209252 0
vsize: 837072
[startup+310.322 s]
Raw data (loadavg): 0.99 1.10 1.54 2/65 8432
Raw data (stat): 8420 (java) R 8419 8378 8377 0 -1 0 17979 0 81 0 26282 49 0 0 25 0 11 0 715923195 857161728 25702 4294967295 134512640 134569956 3221224368 3221214608 1131183796 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209268 25702 13086 16 0 209252 0
vsize: 837072
[startup+320.323 s]
Raw data (loadavg): 0.99 1.10 1.54 2/65 8432
Raw data (stat): 8420 (java) S 8419 8378 8377 0 -1 0 17979 0 81 0 27239 49 0 0 25 0 11 0 715923195 857161728 25797 4294967295 134512640 134569956 3221224368 3221213496 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209268 25797 13086 16 0 209252 0
vsize: 837072
[startup+330.324 s]
Raw data (loadavg): 0.99 1.09 1.53 2/65 8432
Raw data (stat): 8420 (java) R 8419 8378 8377 0 -1 0 17979 0 81 0 28176 49 0 0 24 0 11 0 715923195 857161728 25937 4294967295 134512640 134569956 3221224368 3221214656 1131192758 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209268 25937 13086 16 0 209252 0
vsize: 837072
[startup+340.323 s]
Raw data (loadavg): 0.99 1.09 1.53 2/65 8432
Raw data (stat): 8420 (java) R 8419 8378 8377 0 -1 0 17979 0 81 0 29134 49 0 0 25 0 11 0 715923195 857161728 26048 4294967295 134512640 134569956 3221224368 3221214024 1131423676 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209268 26048 13086 16 0 209252 0
vsize: 837072
[startup+350.323 s]
Raw data (loadavg): 0.99 1.08 1.52 2/65 8432
Raw data (stat): 8420 (java) R 8419 8378 8377 0 -1 0 17979 0 81 0 30086 49 0 0 25 0 11 0 715923195 857161728 26170 4294967295 134512640 134569956 3221224368 3221214576 1131423529 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209268 26170 13086 16 0 209252 0
vsize: 837072
[startup+360.325 s]
Raw data (loadavg): 0.99 1.08 1.52 2/65 8432
Raw data (stat): 8420 (java) R 8419 8378 8377 0 -1 0 17979 0 81 0 31036 49 0 0 25 0 11 0 715923195 857161728 26345 4294967295 134512640 134569956 3221224368 3221214624 1131244574 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209268 26345 13086 16 0 209252 0
vsize: 837072
[startup+370.325 s]
Raw data (loadavg): 0.99 1.08 1.51 2/65 8432
Raw data (stat): 8420 (java) R 8419 8378 8377 0 -1 0 17979 0 81 0 31991 50 0 0 25 0 11 0 715923195 857161728 26536 4294967295 134512640 134569956 3221224368 3221214752 1131289353 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209268 26536 13086 16 0 209252 0
vsize: 837072
[startup+380.326 s]
Raw data (loadavg): 0.99 1.08 1.50 2/65 8432
Raw data (stat): 8420 (java) R 8419 8378 8377 0 -1 0 17979 0 81 0 32960 50 0 0 25 0 11 0 715923195 857161728 26648 4294967295 134512640 134569956 3221224368 3221214624 1131244416 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209268 26648 13086 16 0 209252 0
vsize: 837072
[startup+390.325 s]
Raw data (loadavg): 0.99 1.07 1.50 2/65 8432
Raw data (stat): 8420 (java) R 8419 8378 8377 0 -1 0 17979 0 81 0 33914 50 0 0 25 0 11 0 715923195 857161728 26769 4294967295 134512640 134569956 3221224368 3221214600 1131209774 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209268 26769 13086 16 0 209252 0
vsize: 837072
[startup+400.326 s]
Raw data (loadavg): 0.99 1.07 1.49 2/65 8432
Raw data (stat): 8420 (java) R 8419 8378 8377 0 -1 0 17979 0 81 0 34873 50 0 0 25 0 11 0 715923195 857161728 26878 4294967295 134512640 134569956 3221224368 3221214608 1131183800 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209268 26878 13086 16 0 209252 0
vsize: 837072
[startup+410.326 s]
Raw data (loadavg): 0.99 1.07 1.49 2/65 8432
Raw data (stat): 8420 (java) R 8419 8378 8377 0 -1 0 17979 0 81 0 35823 50 0 0 25 0 11 0 715923195 857161728 26981 4294967295 134512640 134569956 3221224368 3221214272 1085679272 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209268 26981 13086 16 0 209252 0
vsize: 837072
[startup+420.327 s]
Raw data (loadavg): 0.99 1.06 1.48 2/65 8432
Raw data (stat): 8420 (java) S 8419 8378 8377 0 -1 0 17979 0 81 0 36776 50 0 0 25 0 11 0 715923195 857161728 27120 4294967295 134512640 134569956 3221224368 3221213496 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209268 27120 13086 16 0 209252 0
vsize: 837072
[startup+430.327 s]
Raw data (loadavg): 0.99 1.06 1.47 2/65 8432
Raw data (stat): 8420 (java) R 8419 8378 8377 0 -1 0 17979 0 81 0 37733 50 0 0 25 0 11 0 715923195 857161728 27225 4294967295 134512640 134569956 3221224368 3221214600 1131402016 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209268 27225 13086 16 0 209252 0
vsize: 837072
[startup+440.327 s]
Raw data (loadavg): 0.99 1.06 1.47 2/65 8432
Raw data (stat): 8420 (java) R 8419 8378 8377 0 -1 0 17979 0 81 0 38691 51 0 0 25 0 11 0 715923195 857161728 27296 4294967295 134512640 134569956 3221224368 3221214752 1131289293 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209268 27296 13086 16 0 209252 0
vsize: 837072
[startup+450.327 s]
Raw data (loadavg): 0.99 1.06 1.46 2/65 8432
Raw data (stat): 8420 (java) R 8419 8378 8377 0 -1 0 17979 0 81 0 39643 51 0 0 25 0 11 0 715923195 857161728 27459 4294967295 134512640 134569956 3221224368 3221214648 1131237816 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209268 27459 13086 16 0 209252 0
vsize: 837072
[startup+460.327 s]
Raw data (loadavg): 0.99 1.05 1.46 2/65 8432
Raw data (stat): 8420 (java) R 8419 8378 8377 0 -1 0 17979 0 81 0 40626 51 0 0 25 0 11 0 715923195 857161728 27500 4294967295 134512640 134569956 3221224368 3221213936 1085679762 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209268 27500 13086 16 0 209252 0
vsize: 837072
[startup+470.327 s]
Raw data (loadavg): 0.99 1.05 1.45 2/65 8432
Raw data (stat): 8420 (java) R 8419 8378 8377 0 -1 0 17979 0 81 0 41608 51 0 0 25 0 11 0 715923195 857161728 27558 4294967295 134512640 134569956 3221224368 3221214288 1131423688 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209268 27558 13086 16 0 209252 0
vsize: 837072
[startup+480.328 s]
Raw data (loadavg): 0.99 1.05 1.45 2/65 8432
Raw data (stat): 8420 (java) R 8419 8378 8377 0 -1 0 17979 0 81 0 42588 51 0 0 25 0 11 0 715923195 857161728 27601 4294967295 134512640 134569956 3221224368 3221213784 1131420840 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209268 27601 13086 16 0 209252 0
vsize: 837072
[startup+490.328 s]
Raw data (loadavg): 0.99 1.05 1.44 2/65 8432
Raw data (stat): 8420 (java) R 8419 8378 8377 0 -1 0 17979 0 81 0 43555 51 0 0 25 0 11 0 715923195 857161728 27658 4294967295 134512640 134569956 3221224368 3221214656 1131192624 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209268 27658 13086 16 0 209252 0
vsize: 837072
[startup+500.329 s]
Raw data (loadavg): 0.99 1.05 1.44 2/65 8432
Raw data (stat): 8420 (java) R 8419 8378 8377 0 -1 0 17979 0 81 0 44532 52 0 0 25 0 11 0 715923195 857161728 27736 4294967295 134512640 134569956 3221224368 3221214356 1131425808 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209268 27736 13086 16 0 209252 0
vsize: 837072
[startup+510.329 s]
Raw data (loadavg): 0.99 1.04 1.43 2/65 8432
Raw data (stat): 8420 (java) R 8419 8378 8377 0 -1 0 17979 0 81 0 45508 52 0 0 25 0 11 0 715923195 857161728 27851 4294967295 134512640 134569956 3221224368 3221214640 1131171193 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209268 27851 13086 16 0 209252 0
vsize: 837072
[startup+520.328 s]
Raw data (loadavg): 0.99 1.04 1.43 2/65 8432
Raw data (stat): 8420 (java) R 8419 8378 8377 0 -1 0 17979 0 81 0 46482 52 0 0 25 0 11 0 715923195 857161728 28036 4294967295 134512640 134569956 3221224368 3221213824 1085679526 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209268 28036 13086 16 0 209252 0
vsize: 837072
[startup+530.329 s]
Raw data (loadavg): 0.99 1.04 1.42 2/65 8432
Raw data (stat): 8420 (java) R 8419 8378 8377 0 -1 0 17979 0 81 0 47447 52 0 0 25 0 11 0 715923195 857161728 28305 4294967295 134512640 134569956 3221224368 3221213960 1131423616 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209268 28305 13086 16 0 209252 0
vsize: 837072
[startup+540.331 s]
Raw data (loadavg): 0.99 1.04 1.42 2/65 8432
Raw data (stat): 8420 (java) R 8419 8378 8377 0 -1 0 17979 0 81 0 48414 52 0 0 25 0 11 0 715923195 857161728 28378 4294967295 134512640 134569956 3221224368 3221214416 1131425809 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209268 28378 13086 16 0 209252 0
vsize: 837072
[startup+550.331 s]
Raw data (loadavg): 0.99 1.04 1.41 2/65 8432
Raw data (stat): 8420 (java) R 8419 8378 8377 0 -1 0 17979 0 81 0 49391 52 0 0 25 0 11 0 715923195 857161728 28488 4294967295 134512640 134569956 3221224368 3221214056 1131428008 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209268 28488 13086 16 0 209252 0
vsize: 837072
[startup+560.332 s]
Raw data (loadavg): 0.99 1.04 1.41 2/65 8432
Raw data (stat): 8420 (java) R 8419 8378 8377 0 -1 0 17979 0 81 0 50356 52 0 0 25 0 11 0 715923195 857161728 28659 4294967295 134512640 134569956 3221224368 3221214056 1085679386 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209268 28659 13086 16 0 209252 0
vsize: 837072
[startup+570.333 s]
Raw data (loadavg): 0.99 1.03 1.40 2/65 8432
Raw data (stat): 8420 (java) R 8419 8378 8377 0 -1 0 17979 0 81 0 51333 52 0 0 25 0 11 0 715923195 857161728 28834 4294967295 134512640 134569956 3221224368 3221214608 1131225337 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209268 28834 13086 16 0 209252 0
vsize: 837072
[startup+580.333 s]
Raw data (loadavg): 0.99 1.03 1.40 2/65 8432
Raw data (stat): 8420 (java) R 8419 8378 8377 0 -1 0 17979 0 81 0 52300 53 0 0 25 0 11 0 715923195 857161728 28905 4294967295 134512640 134569956 3221224368 3221214248 1131425809 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209268 28905 13086 16 0 209252 0
vsize: 837072
[startup+590.333 s]
Raw data (loadavg): 0.99 1.03 1.39 2/65 8432
Raw data (stat): 8420 (java) R 8419 8378 8377 0 -1 0 17979 0 81 0 53267 53 0 0 25 0 11 0 715923195 857161728 29049 4294967295 134512640 134569956 3221224368 3221214664 1131266816 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209268 29049 13086 16 0 209252 0
vsize: 837072
[startup+600.334 s]
Raw data (loadavg): 0.99 1.03 1.39 2/65 8432
Raw data (stat): 8420 (java) R 8419 8378 8377 0 -1 0 17979 0 81 0 54243 53 0 0 25 0 11 0 715923195 857161728 29154 4294967295 134512640 134569956 3221224368 3221214448 1131428404 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209268 29154 13086 16 0 209252 0
vsize: 837072
[startup+610.335 s]
Raw data (loadavg): 0.99 1.03 1.38 2/65 8432
Raw data (stat): 8420 (java) R 8419 8378 8377 0 -1 0 17979 0 81 0 55220 53 0 0 25 0 11 0 715923195 857161728 29244 4294967295 134512640 134569956 3221224368 3221214360 1078830586 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209268 29244 13086 16 0 209252 0
vsize: 837072
[startup+620.335 s]
Raw data (loadavg): 0.99 1.03 1.38 2/65 8432
Raw data (stat): 8420 (java) R 8419 8378 8377 0 -1 0 17979 0 81 0 56186 53 0 0 25 0 11 0 715923195 857161728 29396 4294967295 134512640 134569956 3221224368 3221213860 1131425803 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209268 29396 13086 16 0 209252 0
vsize: 837072
[startup+630.335 s]
Raw data (loadavg): 0.99 1.03 1.37 2/65 8432
Raw data (stat): 8420 (java) R 8419 8378 8377 0 -1 0 17979 0 81 0 57153 53 0 0 25 0 11 0 715923195 857161728 29449 4294967295 134512640 134569956 3221224368 3221214288 1131427093 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209268 29449 13086 16 0 209252 0
vsize: 837072
[startup+640.336 s]
Raw data (loadavg): 0.99 1.02 1.37 2/65 8432
Raw data (stat): 8420 (java) R 8419 8378 8377 0 -1 0 17979 0 81 0 58109 53 0 0 25 0 11 0 715923195 857161728 29621 4294967295 134512640 134569956 3221224368 3221214304 1131425666 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209268 29621 13086 16 0 209252 0
vsize: 837072
[startup+650.336 s]
Raw data (loadavg): 0.99 1.02 1.36 2/65 8432
Raw data (stat): 8420 (java) R 8419 8378 8377 0 -1 0 17979 0 81 0 59075 54 0 0 25 0 11 0 715923195 857161728 29714 4294967295 134512640 134569956 3221224368 3221214360 1131425740 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209268 29714 13086 16 0 209252 0
vsize: 837072
[startup+660.337 s]
Raw data (loadavg): 0.99 1.02 1.36 2/65 8432
Raw data (stat): 8420 (java) R 8419 8378 8377 0 -1 0 17979 0 81 0 60041 54 0 0 25 0 11 0 715923195 857161728 29812 4294967295 134512640 134569956 3221224368 3221214744 1131174332 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209268 29812 13086 16 0 209252 0
vsize: 837072
[startup+670.337 s]
Raw data (loadavg): 0.99 1.02 1.36 2/65 8432
Raw data (stat): 8420 (java) R 8419 8378 8377 0 -1 0 17979 0 81 0 60996 54 0 0 25 0 11 0 715923195 857161728 29950 4294967295 134512640 134569956 3221224368 3221214512 1131171065 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209268 29950 13086 16 0 209252 0
vsize: 837072
[startup+680.337 s]
Raw data (loadavg): 0.99 1.02 1.35 2/65 8432
Raw data (stat): 8420 (java) R 8419 8378 8377 0 -1 0 17979 0 81 0 61962 54 0 0 25 0 11 0 715923195 857161728 30060 4294967295 134512640 134569956 3221224368 3221213832 1085679321 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209268 30060 13086 16 0 209252 0
vsize: 837072
[startup+690.337 s]
Raw data (loadavg): 0.99 1.02 1.35 2/65 8432
Raw data (stat): 8420 (java) R 8419 8378 8377 0 -1 0 17979 0 81 0 62918 55 0 0 25 0 11 0 715923195 857161728 30152 4294967295 134512640 134569956 3221224368 3221214512 1131171128 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209268 30152 13086 16 0 209252 0
vsize: 837072
[startup+700.337 s]
Raw data (loadavg): 0.99 1.02 1.34 2/65 8432
Raw data (stat): 8420 (java) R 8419 8378 8377 0 -1 0 17979 0 81 0 63884 55 0 0 25 0 11 0 715923195 857161728 30233 4294967295 134512640 134569956 3221224368 3221213624 1131423709 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209268 30233 13086 16 0 209252 0
vsize: 837072
[startup+710.338 s]
Raw data (loadavg): 1.07 1.03 1.35 2/65 8432
Raw data (stat): 8420 (java) R 8419 8378 8377 0 -1 0 17979 0 81 0 64851 55 0 0 25 0 11 0 715923195 857161728 30300 4294967295 134512640 134569956 3221224368 3221214656 1131192673 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209268 30300 13086 16 0 209252 0
vsize: 837072
[startup+720.338 s]
Raw data (loadavg): 1.06 1.03 1.34 2/65 8432
Raw data (stat): 8420 (java) R 8419 8378 8377 0 -1 0 17979 0 81 0 65818 55 0 0 25 0 11 0 715923195 857161728 30397 4294967295 134512640 134569956 3221224368 3221214744 1131174303 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209268 30397 13086 16 0 209252 0
vsize: 837072
[startup+730.338 s]
Raw data (loadavg): 1.05 1.03 1.34 2/65 8432
Raw data (stat): 8420 (java) R 8419 8378 8377 0 -1 0 17979 0 81 0 66784 55 0 0 25 0 11 0 715923195 857161728 30474 4294967295 134512640 134569956 3221224368 3221214564 1130885169 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209268 30474 13086 16 0 209252 0
vsize: 837072
[startup+740.338 s]
Raw data (loadavg): 1.04 1.03 1.33 2/65 8432
Raw data (stat): 8420 (java) R 8419 8378 8377 0 -1 0 17979 0 81 0 67751 56 0 0 25 0 11 0 715923195 857161728 30543 4294967295 134512640 134569956 3221224368 3221214520 1131423529 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209268 30543 13086 16 0 209252 0
vsize: 837072
[startup+750.338 s]
Raw data (loadavg): 1.03 1.03 1.33 2/65 8432
Raw data (stat): 8420 (java) R 8419 8378 8377 0 -1 0 17979 0 81 0 68716 56 0 0 25 0 11 0 715923195 857161728 30633 4294967295 134512640 134569956 3221224368 3221214572 1131427081 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209268 30633 13086 16 0 209252 0
vsize: 837072
[startup+760.339 s]
Raw data (loadavg): 1.03 1.03 1.33 2/65 8432
Raw data (stat): 8420 (java) R 8419 8378 8377 0 -1 0 17979 0 81 0 69682 56 0 0 25 0 11 0 715923195 857161728 30730 4294967295 134512640 134569956 3221224368 3221214656 1131192673 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209268 30730 13086 16 0 209252 0
vsize: 837072
[startup+770.338 s]
Raw data (loadavg): 1.02 1.03 1.32 2/65 8432
Raw data (stat): 8420 (java) R 8419 8378 8377 0 -1 0 17979 0 81 0 70649 56 0 0 25 0 11 0 715923195 857161728 30831 4294967295 134512640 134569956 3221224368 3221214236 1131427072 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209268 30831 13086 16 0 209252 0
vsize: 837072
[startup+780.34 s]
Raw data (loadavg): 1.02 1.02 1.32 2/65 8432
Raw data (stat): 8420 (java) R 8419 8378 8377 0 -1 0 17979 0 81 0 71604 57 0 0 25 0 11 0 715923195 857161728 30961 4294967295 134512640 134569956 3221224368 3221214328 1085679538 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209268 30961 13086 16 0 209252 0
vsize: 837072
[startup+790.34 s]
Raw data (loadavg): 1.02 1.02 1.31 2/65 8432
Raw data (stat): 8420 (java) R 8419 8378 8377 0 -1 0 17979 0 81 0 72571 57 0 0 25 0 11 0 715923195 857161728 31036 4294967295 134512640 134569956 3221224368 3221214608 1131183817 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209268 31036 13086 16 0 209252 0
vsize: 837072
[startup+800.34 s]
Raw data (loadavg): 1.01 1.02 1.31 2/65 8432
Raw data (stat): 8420 (java) R 8419 8378 8377 0 -1 0 17979 0 81 0 73528 57 0 0 25 0 11 0 715923195 857161728 31147 4294967295 134512640 134569956 3221224368 3221214544 1131381284 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209268 31147 13086 16 0 209252 0
vsize: 837072
[startup+810.341 s]
Raw data (loadavg): 1.01 1.02 1.31 2/65 8432
Raw data (stat): 8420 (java) R 8419 8378 8377 0 -1 0 17979 0 81 0 74495 57 0 0 25 0 11 0 715923195 857161728 31217 4294967295 134512640 134569956 3221224368 3221214440 1085679305 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209268 31217 13086 16 0 209252 0
vsize: 837072
[startup+820.341 s]
Raw data (loadavg): 1.01 1.02 1.30 2/65 8432
Raw data (stat): 8420 (java) R 8419 8378 8377 0 -1 0 17979 0 81 0 75473 58 0 0 25 0 11 0 715923195 857161728 31270 4294967295 134512640 134569956 3221224368 3221214752 1131290230 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209268 31270 13086 16 0 209252 0
vsize: 837072
[startup+830.342 s]
Raw data (loadavg): 1.01 1.02 1.30 2/65 8432
Raw data (stat): 8420 (java) R 8419 8378 8377 0 -1 0 17979 0 81 0 76451 58 0 0 25 0 11 0 715923195 857161728 31323 4294967295 134512640 134569956 3221224368 3221214160 1085679762 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209268 31323 13086 16 0 209252 0
vsize: 837072
[startup+840.346 s]
Raw data (loadavg): 1.00 1.02 1.29 2/65 8432
Raw data (stat): 8420 (java) R 8419 8378 8377 0 -1 0 17979 0 81 0 77417 58 0 0 25 0 11 0 715923195 857161728 31397 4294967295 134512640 134569956 3221224368 3221214608 1131211581 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209268 31397 13086 16 0 209252 0
vsize: 837072
[startup+850.348 s]
Raw data (loadavg): 1.00 1.02 1.29 2/65 8432
Raw data (stat): 8420 (java) R 8419 8378 8377 0 -1 0 17979 0 81 0 78395 58 0 0 25 0 11 0 715923195 857161728 31486 4294967295 134512640 134569956 3221224368 3221213828 1085679260 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209268 31486 13086 16 0 209252 0
vsize: 837072
[startup+860.348 s]
Raw data (loadavg): 1.00 1.02 1.29 2/65 8432
Raw data (stat): 8420 (java) S 8419 8378 8377 0 -1 0 17979 0 81 0 79369 58 0 0 25 0 11 0 715923195 857161728 31575 4294967295 134512640 134569956 3221224368 3221213360 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209268 31575 13086 16 0 209252 0
vsize: 837072
[startup+870.347 s]
Raw data (loadavg): 1.00 1.02 1.28 2/65 8432
Raw data (stat): 8420 (java) R 8419 8378 8377 0 -1 0 17979 0 81 0 80338 58 0 0 25 0 11 0 715923195 857161728 31662 4294967295 134512640 134569956 3221224368 3221214656 1131192549 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209268 31662 13086 16 0 209252 0
vsize: 837072
[startup+880.348 s]
Raw data (loadavg): 1.00 1.01 1.28 2/65 8432
Raw data (stat): 8420 (java) R 8419 8378 8377 0 -1 0 17979 0 81 0 81304 58 0 0 25 0 11 0 715923195 857161728 31763 4294967295 134512640 134569956 3221224368 3221214640 1131171060 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209268 31763 13086 16 0 209252 0
vsize: 837072
[startup+890.349 s]
Raw data (loadavg): 1.00 1.01 1.27 2/65 8432
Raw data (stat): 8420 (java) R 8419 8378 8377 0 -1 0 17979 0 81 0 82259 58 0 0 25 0 11 0 715923195 857161728 31831 4294967295 134512640 134569956 3221224368 3221214612 1131423730 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209268 31831 13086 16 0 209252 0
vsize: 837072
[startup+900.35 s]
Raw data (loadavg): 1.00 1.01 1.27 2/65 8432
Raw data (stat): 8420 (java) R 8419 8378 8377 0 -1 0 17979 0 81 0 83204 58 0 0 25 0 11 0 715923195 857161728 31962 4294967295 134512640 134569956 3221224368 3221214752 1131289372 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209268 31962 13086 16 0 209252 0
vsize: 837072
[startup+910.349 s]
Raw data (loadavg): 1.00 1.01 1.27 2/65 8432
Raw data (stat): 8420 (java) R 8419 8378 8377 0 -1 0 17979 0 81 0 84148 58 0 0 25 0 11 0 715923195 857161728 32069 4294967295 134512640 134569956 3221224368 3221213888 1085679293 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209268 32069 13086 16 0 209252 0
vsize: 837072
[startup+920.35 s]
Raw data (loadavg): 1.00 1.01 1.27 2/65 8432
Raw data (stat): 8420 (java) R 8419 8378 8377 0 -1 0 17979 0 81 0 85114 58 0 0 25 0 11 0 715923195 857161728 32143 4294967295 134512640 134569956 3221224368 3221214624 1131244264 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209268 32143 13086 16 0 209252 0
vsize: 837072
[startup+930.351 s]
Raw data (loadavg): 1.00 1.01 1.26 2/65 8432
Raw data (stat): 8420 (java) R 8419 8378 8377 0 -1 0 17979 0 81 0 86058 59 0 0 25 0 11 0 715923195 857161728 32310 4294967295 134512640 134569956 3221224368 3221214292 1131427072 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209268 32310 13086 16 0 209252 0
vsize: 837072
[startup+940.351 s]
Raw data (loadavg): 1.00 1.01 1.26 2/65 8432
Raw data (stat): 8420 (java) R 8419 8378 8377 0 -1 0 17979 0 81 0 87007 59 0 0 25 0 11 0 715923195 857161728 32505 4294967295 134512640 134569956 3221224368 3221214640 1131171168 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209268 32505 13086 16 0 209252 0
vsize: 837072
[startup+950.351 s]
Raw data (loadavg): 1.00 1.01 1.26 2/65 8432
Raw data (stat): 8420 (java) R 8419 8378 8377 0 -1 0 17979 0 81 0 87989 59 0 0 25 0 11 0 715923195 857161728 32571 4294967295 134512640 134569956 3221224368 3221214104 1085679308 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209268 32571 13086 16 0 209252 0
vsize: 837072
[startup+960.352 s]
Raw data (loadavg): 1.00 1.01 1.25 2/65 8432
Raw data (stat): 8420 (java) R 8419 8378 8377 0 -1 0 17979 0 81 0 88971 59 0 0 25 0 11 0 715923195 857161728 32612 4294967295 134512640 134569956 3221224368 3221214416 1131425784 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209268 32612 13086 16 0 209252 0
vsize: 837072
[startup+970.352 s]
Raw data (loadavg): 1.00 1.01 1.25 2/65 8432
Raw data (stat): 8420 (java) R 8419 8378 8377 0 -1 0 17979 0 81 0 89945 59 0 0 25 0 11 0 715923195 857161728 32690 4294967295 134512640 134569956 3221224368 3221214656 1131192919 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209268 32690 13086 16 0 209252 0
vsize: 837072
[startup+980.353 s]
Raw data (loadavg): 1.00 1.00 1.25 2/65 8432
Raw data (stat): 8420 (java) R 8419 8378 8377 0 -1 0 17979 0 81 0 90928 59 0 0 25 0 11 0 715923195 857161728 32755 4294967295 134512640 134569956 3221224368 3221213960 1131423595 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209268 32755 13086 16 0 209252 0
vsize: 837072
[startup+990.353 s]
Raw data (loadavg): 1.00 1.00 1.24 2/65 8432
Raw data (stat): 8420 (java) R 8419 8378 8377 0 -1 0 17979 0 81 0 91911 60 0 0 25 0 11 0 715923195 857161728 32799 4294967295 134512640 134569956 3221224368 3221213940 1131423730 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209268 32799 13086 16 0 209252 0
vsize: 837072
[startup+1000.35 s]
Raw data (loadavg): 1.00 1.00 1.24 2/65 8432
Raw data (stat): 8420 (java) R 8419 8378 8377 0 -1 0 17979 0 81 0 92895 60 0 0 25 0 11 0 715923195 857161728 32839 4294967295 134512640 134569956 3221224368 3221213888 1085679343 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209268 32839 13086 16 0 209252 0
vsize: 837072
[startup+1010.36 s]
Raw data (loadavg): 1.00 1.00 1.24 2/65 8432
Raw data (stat): 8420 (java) R 8419 8378 8377 0 -1 0 17979 0 81 0 93880 60 0 0 25 0 11 0 715923195 857161728 32885 4294967295 134512640 134569956 3221224368 3221214656 1131192831 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209268 32885 13086 16 0 209252 0
vsize: 837072
[startup+1020.36 s]
Raw data (loadavg): 1.00 1.00 1.24 2/65 8432
Raw data (stat): 8420 (java) R 8419 8378 8377 0 -1 0 17979 0 81 0 94857 60 0 0 25 0 11 0 715923195 857161728 32939 4294967295 134512640 134569956 3221224368 3221214080 1131423616 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209268 32939 13086 16 0 209252 0
vsize: 837072
[startup+1030.36 s]
Raw data (loadavg): 1.00 1.00 1.23 2/65 8432
Raw data (stat): 8420 (java) R 8419 8378 8377 0 -1 0 17979 0 81 0 95842 60 0 0 25 0 11 0 715923195 857161728 32997 4294967295 134512640 134569956 3221224368 3221214752 1131289546 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209268 32997 13086 16 0 209252 0
vsize: 837072
[startup+1040.36 s]
Raw data (loadavg): 1.00 1.00 1.23 2/65 8432
Raw data (stat): 8420 (java) R 8419 8378 8377 0 -1 0 17979 0 81 0 96827 60 0 0 25 0 11 0 715923195 857161728 33062 4294967295 134512640 134569956 3221224368 3221213968 1131423634 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209268 33062 13086 16 0 209252 0
vsize: 837072
[startup+1050.36 s]
Raw data (loadavg): 1.00 1.00 1.23 2/65 8432
Raw data (stat): 8420 (java) R 8419 8378 8377 0 -1 0 17979 0 81 0 97806 60 0 0 25 0 11 0 715923195 857161728 33118 4294967295 134512640 134569956 3221224368 3221213860 1085632316 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209268 33118 13086 16 0 209252 0
vsize: 837072
[startup+1060.36 s]
Raw data (loadavg): 1.00 1.00 1.22 2/65 8432
Raw data (stat): 8420 (java) R 8419 8378 8377 0 -1 0 17979 0 81 0 98793 60 0 0 25 0 11 0 715923195 857161728 33156 4294967295 134512640 134569956 3221224368 3221214416 1131425784 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209268 33156 13086 16 0 209252 0
vsize: 837072
[startup+1070.36 s]
Raw data (loadavg): 1.00 1.00 1.22 2/65 8432
Raw data (stat): 8420 (java) R 8419 8378 8377 0 -1 0 17979 0 81 0 99773 61 0 0 25 0 11 0 715923195 857161728 33205 4294967295 134512640 134569956 3221224368 3221213832 1085679538 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209268 33205 13086 16 0 209252 0
vsize: 837072
[startup+1080.37 s]
Raw data (loadavg): 1.00 1.00 1.22 2/65 8432
Raw data (stat): 8420 (java) R 8419 8378 8377 0 -1 0 17979 0 81 0 100768 61 0 0 25 0 11 0 715923195 857161728 33218 4294967295 134512640 134569956 3221224368 3221214176 1131423688 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209268 33218 13086 16 0 209252 0
vsize: 837072
[startup+1090.37 s]
Raw data (loadavg): 1.00 1.00 1.22 2/65 8432
Raw data (stat): 8420 (java) R 8419 8378 8377 0 -1 0 17979 0 81 0 101749 61 0 0 25 0 11 0 715923195 857161728 33265 4294967295 134512640 134569956 3221224368 3221214416 1131425748 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209268 33265 13086 16 0 209252 0
vsize: 837072
[startup+1100.37 s]
Raw data (loadavg): 1.00 1.00 1.21 2/65 8432
Raw data (stat): 8420 (java) R 8419 8378 8377 0 -1 0 17979 0 81 0 102735 61 0 0 25 0 11 0 715923195 857161728 33299 4294967295 134512640 134569956 3221224368 3221214640 1131171177 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209268 33299 13086 16 0 209252 0
vsize: 837072
[startup+1110.37 s]
Raw data (loadavg): 1.00 1.00 1.21 2/65 8432
Raw data (stat): 8420 (java) R 8419 8378 8377 0 -1 0 17979 0 81 0 103723 61 0 0 25 0 11 0 715923195 857161728 33337 4294967295 134512640 134569956 3221224368 3221214184 1131423520 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209268 33337 13086 16 0 209252 0
vsize: 837072
[startup+1120.37 s]
Raw data (loadavg): 1.00 1.00 1.21 2/65 8432
Raw data (stat): 8420 (java) R 8419 8378 8377 0 -1 0 17979 0 81 0 104711 61 0 0 25 0 11 0 715923195 857161728 33373 4294967295 134512640 134569956 3221224368 3221214460 1131423652 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209268 33373 13086 16 0 209252 0
vsize: 837072
[startup+1130.37 s]
Raw data (loadavg): 1.00 1.00 1.20 2/65 8432
Raw data (stat): 8420 (java) R 8419 8378 8377 0 -1 0 17979 0 81 0 105698 61 0 0 25 0 11 0 715923195 857161728 33401 4294967295 134512640 134569956 3221224368 3221214348 1131427072 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209268 33401 13086 16 0 209252 0
vsize: 837072
[startup+1140.37 s]
Raw data (loadavg): 1.00 1.00 1.20 2/65 8432
Raw data (stat): 8420 (java) R 8419 8378 8377 0 -1 0 17979 0 81 0 106687 61 0 0 25 0 11 0 715923195 857161728 33421 4294967295 134512640 134569956 3221224368 3221214656 1131192701 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209268 33421 13086 16 0 209252 0
vsize: 837072
[startup+1150.37 s]
Raw data (loadavg): 1.00 1.00 1.20 2/65 8432
Raw data (stat): 8420 (java) R 8419 8378 8377 0 -1 0 17979 0 81 0 107674 61 0 0 25 0 11 0 715923195 857161728 33448 4294967295 134512640 134569956 3221224368 3221214416 1131425653 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209268 33448 13086 16 0 209252 0
vsize: 837072
[startup+1160.37 s]
Raw data (loadavg): 1.00 1.00 1.19 2/65 8432
Raw data (stat): 8420 (java) R 8419 8378 8377 0 -1 0 17979 0 81 0 108668 61 0 0 25 0 11 0 715923195 857161728 33473 4294967295 134512640 134569956 3221224368 3221213632 1131425748 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209268 33473 13086 16 0 209252 0
vsize: 837072
[startup+1170.38 s]
Raw data (loadavg): 1.00 1.00 1.19 2/65 8432
Raw data (stat): 8420 (java) R 8419 8378 8377 0 -1 0 17979 0 81 0 109656 61 0 0 25 0 11 0 715923195 857161728 33502 4294967295 134512640 134569956 3221224368 3221213688 1131425788 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209268 33502 13086 16 0 209252 0
vsize: 837072
[startup+1180.38 s]
Raw data (loadavg): 1.00 1.00 1.19 2/65 8432
Raw data (stat): 8420 (java) R 8419 8378 8377 0 -1 0 17979 0 81 0 110639 61 0 0 25 0 11 0 715923195 857161728 33547 4294967295 134512640 134569956 3221224368 3221214640 1131171060 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209268 33547 13086 16 0 209252 0
vsize: 837072
[startup+1190.38 s]
Raw data (loadavg): 1.00 1.00 1.19 2/65 8432
Raw data (stat): 8420 (java) R 8419 8378 8377 0 -1 0 17979 0 81 0 111628 61 0 0 25 0 11 0 715923195 857161728 33577 4294967295 134512640 134569956 3221224368 3221214640 1131171177 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209268 33577 13086 16 0 209252 0
vsize: 837072
[startup+1200.38 s]
Raw data (loadavg): 1.00 1.00 1.18 2/65 8432
Raw data (stat): 8420 (java) R 8419 8378 8377 0 -1 0 17979 0 81 0 112617 61 0 0 25 0 11 0 715923195 857161728 33609 4294967295 134512640 134569956 3221224368 3221213920 1131425809 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209268 33609 13086 16 0 209252 0
vsize: 837072
[startup+1210.38 s]
Raw data (loadavg): 1.00 1.00 1.18 2/65 8432
Raw data (stat): 8420 (java) R 8419 8378 8377 0 -1 0 17979 0 81 0 113607 61 0 0 25 0 11 0 715923195 857161728 33630 4294967295 134512640 134569956 3221224368 3221214656 1131192822 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209268 33630 13086 16 0 209252 0
vsize: 837072
[startup+1220.38 s]
Raw data (loadavg): 1.00 1.00 1.18 2/65 8432
Raw data (stat): 8420 (java) R 8419 8378 8377 0 -1 0 17979 0 81 0 114596 61 0 0 25 0 11 0 715923195 857161728 33662 4294967295 134512640 134569956 3221224368 3221213844 1131427072 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209268 33662 13086 16 0 209252 0
vsize: 837072
[startup+1230.38 s]
Raw data (loadavg): 1.00 1.00 1.18 2/65 8432
Raw data (stat): 8420 (java) R 8419 8378 8377 0 -1 0 17979 0 81 0 115585 61 0 0 25 0 11 0 715923195 857161728 33690 4294967295 134512640 134569956 3221224368 3221213840 1131420920 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209268 33690 13086 16 0 209252 0
vsize: 837072
[startup+1240.38 s]
Raw data (loadavg): 1.00 1.00 1.17 2/65 8432
Raw data (stat): 8420 (java) R 8419 8378 8377 0 -1 0 17979 0 81 0 116575 61 0 0 25 0 11 0 715923195 857161728 33723 4294967295 134512640 134569956 3221224368 3221213968 1131425777 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209268 33723 13086 16 0 209252 0
vsize: 837072
[startup+1250.38 s]
Raw data (loadavg): 1.00 1.00 1.17 2/65 8432
Raw data (stat): 8420 (java) R 8419 8378 8377 0 -1 0 17979 0 81 0 117553 61 0 0 25 0 11 0 715923195 857161728 33771 4294967295 134512640 134569956 3221224368 3221214752 1131288712 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209268 33771 13086 16 0 209252 0
vsize: 837072
[startup+1260.38 s]
Raw data (loadavg): 1.00 1.00 1.17 2/65 8432
Raw data (stat): 8420 (java) R 8419 8378 8377 0 -1 0 17979 0 81 0 118542 61 0 0 25 0 11 0 715923195 857161728 33797 4294967295 134512640 134569956 3221224368 3221214576 1131423721 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209268 33797 13086 16 0 209252 0
vsize: 837072
[startup+1270.38 s]
Raw data (loadavg): 1.00 1.00 1.17 2/65 8432
Raw data (stat): 8420 (java) R 8419 8378 8377 0 -1 0 17979 0 81 0 119520 61 0 0 25 0 11 0 715923195 857161728 33832 4294967295 134512640 134569956 3221224368 3221214024 1131425809 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209268 33832 13086 16 0 209252 0
vsize: 837072
[startup+1280.38 s]
Raw data (loadavg): 1.08 1.02 1.17 2/65 8432
Raw data (stat): 8420 (java) R 8419 8378 8377 0 -1 0 17979 0 81 0 120509 61 0 0 25 0 11 0 715923195 857161728 33856 4294967295 134512640 134569956 3221224368 3221214752 1131289528 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209268 33856 13086 16 0 209252 0
vsize: 837072
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1280.5 s]
Raw data (loadavg): 1.08 1.02 1.17 1/55 8434
Raw data (stat): 8420 (java) Z 8419 8378 8377 0 -1 1036 17979 14700 81 0 120512 61 3826 32 25 0 1 0 715923195 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): 1280.5
CPU time (s): 1244.34
CPU user time (s): 1243.39
CPU system time (s): 0.945856
CPU usage (%): 97.1759
Max. virtual memory (Kb): 837296
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####