PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-gesa2_o.opb
MD5SUM	70d38efa2ca4db2a9200144005e211ed
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	10368
Biggest coefficient in the objective function	418848431931392
Number of bits for the biggest coefficient in the objective function	49
Sum of the numbers in the objective function	180197911475330400
Number of bits of the sum of numbers in the objective function	58
Biggest number in a constraint	418848431931392
Number of bits of the biggest number in a constraint	49
Biggest sum of numbers in a constraint	180197911475330400
Number of bits of the biggest sum of numbers	58
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.141977
Number of variables	16224
Total number of constraints	1584
Number of constraints which are clauses	192
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	1392
Minimum length of a constraint	2
Maximum length of a constraint	309
Trace number 29641

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.020
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:        672296 kB
Buffers:         33456 kB
Cached:         303320 kB
SwapCached:        572 kB
Active:          48204 kB
Inactive:       294108 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        672044 kB
SwapTotal:     2097892 kB
SwapFree:      2096728 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5612 kB
Slab:            14300 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 10:14:00 (client local time) WITH STATUS 143 IN 1281.39 SECONDS
stats: 21044 7 1281.39 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/wulflinc29/normalized-mps-v2-20-10-gesa2_o.opb
c reading problem ... done. Time 81.648 ms.
c #vars     16224
c #constraints  1608
c starts	: 7
c conflicts	: 2991
c decisions	: 11874
c propagations	: 33205
c inspects	: 772762
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 2990
c root simplifications	: 25
s UNKNOWN
c Total CPU time (ms) : 1269.106
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.92 0.98 0.99 2/54 32276
Raw data (stat): 32276 (runsolver) R 32275 20001 20000 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 837942013 1052672 99 4294967295 134512640 135381576 3221224400 3221219620 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0001 s]
Raw data (loadavg): 1.08 1.02 1.00 2/63 32285
Raw data (stat): 32276 (java) R 32275 20001 20000 0 -1 0 18016 0 1 0 871 42 0 0 25 0 10 0 837942013 857210880 20231 4294967295 134512640 134569956 3221224368 3221214648 1131188429 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209280 20231 13086 16 0 209264 0
vsize: 837120
[startup+20.0004 s]
Raw data (loadavg): 1.07 1.02 1.00 2/63 32285
Raw data (stat): 32276 (java) R 32275 20001 20000 0 -1 0 18016 0 1 0 1767 42 0 0 25 0 10 0 837942013 856162304 20370 4294967295 134512640 134569956 3221224368 3221214484 1076461336 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209024 20370 13086 16 0 209008 0
vsize: 836096
[startup+30.0002 s]
Raw data (loadavg): 1.06 1.01 1.00 2/63 32285
Raw data (stat): 32276 (java) R 32275 20001 20000 0 -1 0 18016 0 1 0 2656 42 0 0 25 0 10 0 837942013 856162304 20896 4294967295 134512640 134569956 3221224368 3221214688 1131192705 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209024 20896 13086 16 0 209008 0
vsize: 836096
[startup+40.0016 s]
Raw data (loadavg): 1.05 1.01 1.00 3/63 32285
Raw data (stat): 32276 (java) R 32275 20001 20000 0 -1 0 18025 0 1 0 3557 43 0 0 25 0 10 0 837942013 857808896 21639 4294967295 134512640 134569956 3221224368 3221214780 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209426 21639 13086 16 0 209410 0
vsize: 837704
[startup+50.0018 s]
Raw data (loadavg): 1.19 1.04 1.01 2/63 32285
Raw data (stat): 32276 (java) R 32275 20001 20000 0 -1 0 18025 0 1 0 4412 43 0 0 25 0 10 0 837942013 858259456 21956 4294967295 134512640 134569956 3221224368 3221214792 1131247669 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209536 21956 13086 16 0 209520 0
vsize: 838144
[startup+60.0016 s]
Raw data (loadavg): 1.16 1.04 1.01 2/63 32285
Raw data (stat): 32276 (java) R 32275 20001 20000 0 -1 0 18025 0 1 0 5297 43 0 0 25 0 10 0 837942013 858259456 22182 4294967295 134512640 134569956 3221224368 3221214788 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209536 22182 13086 16 0 209520 0
vsize: 838144
[startup+70.0029 s]
Raw data (loadavg): 1.13 1.04 1.01 2/63 32285
Raw data (stat): 32276 (java) R 32275 20001 20000 0 -1 0 18025 0 1 0 6197 43 0 0 17 0 10 0 837942013 858259456 22510 4294967295 134512640 134569956 3221224368 3221214240 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209536 22510 13086 16 0 209520 0
vsize: 838144
[startup+80.0032 s]
Raw data (loadavg): 1.11 1.04 1.01 2/63 32285
Raw data (stat): 32276 (java) R 32275 20001 20000 0 -1 0 18025 0 1 0 7113 43 0 0 24 0 10 0 837942013 858259456 22691 4294967295 134512640 134569956 3221224368 3221214780 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209536 22691 13086 16 0 209520 0
vsize: 838144
[startup+90.0039 s]
Raw data (loadavg): 1.17 1.05 1.01 2/64 32286
Raw data (stat): 32276 (java) R 32275 20001 20000 0 -1 0 18063 0 1 0 8053 45 0 0 25 0 11 0 837942013 858787840 24461 4294967295 134512640 134569956 3221224368 3221214632 1131363406 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209665 24461 13086 16 0 209649 0
vsize: 838660
[startup+100.004 s]
Raw data (loadavg): 1.14 1.05 1.01 2/64 32286
Raw data (stat): 32276 (java) R 32275 20001 20000 0 -1 0 18068 0 1 0 8985 45 0 0 25 0 11 0 837942013 858787840 24542 4294967295 134512640 134569956 3221224368 3221214552 1131451312 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209665 24542 13086 16 0 209649 0
vsize: 838660
[startup+110.003 s]
Raw data (loadavg): 1.12 1.05 1.01 2/64 32286
Raw data (stat): 32276 (java) R 32275 20001 20000 0 -1 0 18068 0 1 0 9966 45 0 0 25 0 11 0 837942013 858787840 24506 4294967295 134512640 134569956 3221224368 3221214552 1131451330 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209665 24506 13086 16 0 209649 0
vsize: 838660
[startup+120.004 s]
Raw data (loadavg): 1.10 1.05 1.01 2/64 32286
Raw data (stat): 32276 (java) R 32275 20001 20000 0 -1 0 18068 0 1 0 10945 45 0 0 25 0 11 0 837942013 858787840 24506 4294967295 134512640 134569956 3221224368 3221214560 1131211100 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209665 24506 13086 16 0 209649 0
vsize: 838660
[startup+130.004 s]
Raw data (loadavg): 1.08 1.05 1.01 2/64 32286
Raw data (stat): 32276 (java) R 32275 20001 20000 0 -1 0 18068 0 1 0 11914 45 0 0 25 0 11 0 837942013 858787840 24506 4294967295 134512640 134569956 3221224368 3221214424 1131327671 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209665 24506 13086 16 0 209649 0
vsize: 838660
[startup+140.005 s]
Raw data (loadavg): 1.07 1.04 1.01 2/64 32286
Raw data (stat): 32276 (java) R 32275 20001 20000 0 -1 0 18068 0 1 0 12867 45 0 0 25 0 11 0 837942013 858787840 24512 4294967295 134512640 134569956 3221224368 3221214496 1131210891 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209665 24512 13086 16 0 209649 0
vsize: 838660
[startup+150.006 s]
Raw data (loadavg): 1.06 1.04 1.01 2/64 32286
Raw data (stat): 32276 (java) R 32275 20001 20000 0 -1 0 18068 0 1 0 13821 45 0 0 25 0 11 0 837942013 858787840 24711 4294967295 134512640 134569956 3221224368 3221214424 1131327809 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209665 24711 13086 16 0 209649 0
vsize: 838660
[startup+160.006 s]
Raw data (loadavg): 1.05 1.04 1.01 2/64 32286
Raw data (stat): 32276 (java) R 32275 20001 20000 0 -1 0 18068 0 1 0 14773 45 0 0 25 0 11 0 837942013 858787840 24896 4294967295 134512640 134569956 3221224368 3221214520 1131452649 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209665 24896 13086 16 0 209649 0
vsize: 838660
[startup+170.006 s]
Raw data (loadavg): 1.04 1.04 1.01 2/64 32286
Raw data (stat): 32276 (java) R 32275 20001 20000 0 -1 0 18068 0 1 0 15725 45 0 0 25 0 11 0 837942013 858787840 25078 4294967295 134512640 134569956 3221224368 3221214520 1131452640 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209665 25078 13086 16 0 209649 0
vsize: 838660
[startup+180.006 s]
Raw data (loadavg): 1.04 1.04 1.00 2/64 32286
Raw data (stat): 32276 (java) R 32275 20001 20000 0 -1 0 18068 0 1 0 16677 45 0 0 25 0 11 0 837942013 858787840 25279 4294967295 134512640 134569956 3221224368 3221214568 1131451312 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209665 25279 13086 16 0 209649 0
vsize: 838660
[startup+190.007 s]
Raw data (loadavg): 1.03 1.03 1.00 2/64 32286
Raw data (stat): 32276 (java) R 32275 20001 20000 0 -1 0 18068 0 1 0 17619 45 0 0 24 0 11 0 837942013 858787840 25501 4294967295 134512640 134569956 3221224368 3221214600 1131452692 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209665 25501 13086 16 0 209649 0
vsize: 838660
[startup+200.008 s]
Raw data (loadavg): 1.02 1.03 1.00 2/64 32286
Raw data (stat): 32276 (java) R 32275 20001 20000 0 -1 0 18068 0 1 0 18572 45 0 0 25 0 11 0 837942013 858787840 25674 4294967295 134512640 134569956 3221224368 3221214536 1131327910 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209665 25674 13086 16 0 209649 0
vsize: 838660
[startup+210.008 s]
Raw data (loadavg): 1.02 1.03 1.00 2/64 32286
Raw data (stat): 32276 (java) R 32275 20001 20000 0 -1 0 18068 0 1 0 19523 45 0 0 25 0 11 0 837942013 858787840 25842 4294967295 134512640 134569956 3221224368 3221214536 1131327977 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209665 25842 13086 16 0 209649 0
vsize: 838660
[startup+220.008 s]
Raw data (loadavg): 1.02 1.03 1.00 2/64 32286
Raw data (stat): 32276 (java) R 32275 20001 20000 0 -1 0 18068 0 1 0 20474 45 0 0 25 0 11 0 837942013 858787840 26029 4294967295 134512640 134569956 3221224368 3221214576 1131211112 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209665 26029 13086 16 0 209649 0
vsize: 838660
[startup+230.008 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 32286
Raw data (stat): 32276 (java) R 32275 20001 20000 0 -1 0 18068 0 1 0 21412 45 0 0 25 0 11 0 837942013 858787840 26307 4294967295 134512640 134569956 3221224368 3221214576 1131210934 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209665 26307 13086 16 0 209649 0
vsize: 838660
[startup+240.009 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 32286
Raw data (stat): 32276 (java) R 32275 20001 20000 0 -1 0 18068 0 1 0 22361 45 0 0 25 0 11 0 837942013 858787840 26504 4294967295 134512640 134569956 3221224368 3221214536 1131327977 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209665 26504 13086 16 0 209649 0
vsize: 838660
[startup+250.009 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 32286
Raw data (stat): 32276 (java) R 32275 20001 20000 0 -1 0 18068 0 1 0 23310 45 0 0 25 0 11 0 837942013 858787840 26635 4294967295 134512640 134569956 3221224368 3221214728 1131257361 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209665 26635 13086 16 0 209649 0
vsize: 838660
[startup+260.009 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 32286
Raw data (stat): 32276 (java) R 32275 20001 20000 0 -1 0 18068 0 1 0 24261 46 0 0 25 0 11 0 837942013 858787840 26771 4294967295 134512640 134569956 3221224368 3221214576 1131211036 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209665 26771 13086 16 0 209649 0
vsize: 838660
[startup+270.01 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 32286
Raw data (stat): 32276 (java) R 32275 20001 20000 0 -1 0 18068 0 1 0 25201 46 0 0 25 0 11 0 837942013 858787840 26952 4294967295 134512640 134569956 3221224368 3221214488 1131480746 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209665 26952 13086 16 0 209649 0
vsize: 838660
[startup+280.01 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 32286
Raw data (stat): 32276 (java) R 32275 20001 20000 0 -1 0 18068 0 1 0 26150 46 0 0 25 0 11 0 837942013 858787840 27172 4294967295 134512640 134569956 3221224368 3221214552 1131207728 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209665 27172 13086 16 0 209649 0
vsize: 838660
[startup+290.012 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 32286
Raw data (stat): 32276 (java) R 32275 20001 20000 0 -1 0 18068 0 1 0 27089 46 0 0 25 0 11 0 837942013 858787840 27324 4294967295 134512640 134569956 3221224368 3221214488 1131480806 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209665 27324 13086 16 0 209649 0
vsize: 838660
[startup+300.011 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 32286
Raw data (stat): 32276 (java) R 32275 20001 20000 0 -1 0 18068 0 1 0 28038 46 0 0 25 0 11 0 837942013 858787840 27463 4294967295 134512640 134569956 3221224368 3221214488 1131480519 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209665 27463 13086 16 0 209649 0
vsize: 838660
[startup+310.012 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 32286
Raw data (stat): 32276 (java) S 32275 20001 20000 0 -1 0 18068 0 1 0 28985 46 0 0 25 0 11 0 837942013 858787840 27634 4294967295 134512640 134569956 3221224368 3221213144 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209665 27634 13086 16 0 209649 0
vsize: 838660
[startup+320.012 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 32286
Raw data (stat): 32276 (java) R 32275 20001 20000 0 -1 0 18068 0 1 0 29923 47 0 0 25 0 11 0 837942013 858787840 27826 4294967295 134512640 134569956 3221224368 3221214564 1130885154 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209665 27826 13086 16 0 209649 0
vsize: 838660
[startup+330.013 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 32286
Raw data (stat): 32276 (java) R 32275 20001 20000 0 -1 0 18068 0 1 0 30870 48 0 0 25 0 11 0 837942013 858787840 27982 4294967295 134512640 134569956 3221224368 3221214488 1131480352 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209665 27982 13086 16 0 209649 0
vsize: 838660
[startup+340.014 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 32286
Raw data (stat): 32276 (java) R 32275 20001 20000 0 -1 0 18068 0 1 0 31807 48 0 0 25 0 11 0 837942013 858787840 28193 4294967295 134512640 134569956 3221224368 3221214600 1131452611 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209665 28193 13086 16 0 209649 0
vsize: 838660
[startup+350.014 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 32286
Raw data (stat): 32276 (java) R 32275 20001 20000 0 -1 0 18068 0 1 0 32754 48 0 0 25 0 11 0 837942013 858787840 28394 4294967295 134512640 134569956 3221224368 3221214504 1131327732 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209665 28394 13086 16 0 209649 0
vsize: 838660
[startup+360.014 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 32286
Raw data (stat): 32276 (java) R 32275 20001 20000 0 -1 0 18068 0 1 0 33701 49 0 0 25 0 11 0 837942013 858787840 28604 4294967295 134512640 134569956 3221224368 3221214504 1131328173 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209665 28604 13086 16 0 209649 0
vsize: 838660
[startup+370.015 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 32286
Raw data (stat): 32276 (java) R 32275 20001 20000 0 -1 0 18068 0 1 0 34651 49 0 0 25 0 11 0 837942013 858787840 28707 4294967295 134512640 134569956 3221224368 3221214616 1131363433 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209665 28707 13086 16 0 209649 0
vsize: 838660
[startup+380.015 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 32286
Raw data (stat): 32276 (java) R 32275 20001 20000 0 -1 0 18068 0 1 0 35591 49 0 0 25 0 11 0 837942013 858787840 28866 4294967295 134512640 134569956 3221224368 3221214568 1131451312 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209665 28866 13086 16 0 209649 0
vsize: 838660
[startup+390.016 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 32286
Raw data (stat): 32276 (java) R 32275 20001 20000 0 -1 0 18068 0 1 0 36541 49 0 0 25 0 11 0 837942013 858787840 29057 4294967295 134512640 134569956 3221224368 3221214488 1131480765 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209665 29057 13086 16 0 209649 0
vsize: 838660
[startup+400.017 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 32286
Raw data (stat): 32276 (java) R 32275 20001 20000 0 -1 0 18068 0 1 0 37492 50 0 0 25 0 11 0 837942013 858787840 29200 4294967295 134512640 134569956 3221224368 3221214616 1131364227 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209665 29200 13086 16 0 209649 0
vsize: 838660
[startup+410.017 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 32286
Raw data (stat): 32276 (java) R 32275 20001 20000 0 -1 0 18068 0 1 0 38430 50 0 0 25 0 11 0 837942013 858787840 29413 4294967295 134512640 134569956 3221224368 3221214416 1078032765 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209665 29413 13086 16 0 209649 0
vsize: 838660
[startup+420.017 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 32286
Raw data (stat): 32276 (java) R 32275 20001 20000 0 -1 0 18068 0 1 0 39379 51 0 0 25 0 11 0 837942013 858787840 29602 4294967295 134512640 134569956 3221224368 3221214576 1131211079 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209665 29602 13086 16 0 209649 0
vsize: 838660
[startup+430.018 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 32286
Raw data (stat): 32276 (java) R 32275 20001 20000 0 -1 0 18068 0 1 0 40328 51 0 0 25 0 11 0 837942013 858787840 29752 4294967295 134512640 134569956 3221224368 3221214504 1131328400 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209665 29752 13086 16 0 209649 0
vsize: 838660
[startup+440.019 s]
Raw data (loadavg): 1.00 1.01 1.00 3/68 32332
Raw data (stat): 32276 (java) R 32275 20001 20000 0 -1 0 18068 0 1 0 41274 52 0 0 25 0 11 0 837942013 858787840 29938 4294967295 134512640 134569956 3221224368 3221214488 1131480088 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209665 29938 13086 16 0 209649 0
vsize: 838660
[startup+450.02 s]
Raw data (loadavg): 1.07 1.02 1.00 2/64 32339
Raw data (stat): 32276 (java) R 32275 20001 20000 0 -1 0 18068 0 1 0 42210 52 0 0 25 0 11 0 837942013 858787840 30136 4294967295 134512640 134569956 3221224368 3221214568 1131451380 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209665 30136 13086 16 0 209649 0
vsize: 838660
[startup+460.02 s]
Raw data (loadavg): 1.06 1.02 1.00 2/64 32339
Raw data (stat): 32276 (java) R 32275 20001 20000 0 -1 0 18068 0 1 0 43158 53 0 0 25 0 11 0 837942013 858787840 30309 4294967295 134512640 134569956 3221224368 3221214488 1131481638 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209665 30309 13086 16 0 209649 0
vsize: 838660
[startup+470.021 s]
Raw data (loadavg): 1.05 1.02 1.00 2/64 32339
Raw data (stat): 32276 (java) R 32275 20001 20000 0 -1 0 18068 0 1 0 44106 53 0 0 25 0 11 0 837942013 858787840 30482 4294967295 134512640 134569956 3221224368 3221214596 1131366344 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209665 30482 13086 16 0 209649 0
vsize: 838660
[startup+480.021 s]
Raw data (loadavg): 1.04 1.02 1.00 2/64 32339
Raw data (stat): 32276 (java) R 32275 20001 20000 0 -1 0 18068 0 1 0 45054 53 0 0 25 0 11 0 837942013 858787840 30654 4294967295 134512640 134569956 3221224368 3221214568 1131451312 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209665 30654 13086 16 0 209649 0
vsize: 838660
[startup+490.022 s]
Raw data (loadavg): 1.04 1.02 1.00 2/64 32339
Raw data (stat): 32276 (java) R 32275 20001 20000 0 -1 0 18068 0 1 0 45992 53 0 0 25 0 11 0 837942013 858787840 30849 4294967295 134512640 134569956 3221224368 3221214632 1131545536 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209665 30849 13086 16 0 209649 0
vsize: 838660
[startup+500.022 s]
Raw data (loadavg): 1.03 1.02 1.00 2/64 32339
Raw data (stat): 32276 (java) R 32275 20001 20000 0 -1 0 18068 0 1 0 46936 53 0 0 25 0 11 0 837942013 858787840 31049 4294967295 134512640 134569956 3221224368 3221214536 1131328014 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209665 31049 13086 16 0 209649 0
vsize: 838660
[startup+510.022 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 32339
Raw data (stat): 32276 (java) R 32275 20001 20000 0 -1 0 18068 0 1 0 47884 53 0 0 25 0 11 0 837942013 858787840 31220 4294967295 134512640 134569956 3221224368 3221214572 1131449235 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209665 31220 13086 16 0 209649 0
vsize: 838660
[startup+520.023 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 32341
Raw data (stat): 32276 (java) R 32275 20001 20000 0 -1 0 18068 0 1 0 48833 53 0 0 25 0 11 0 837942013 858787840 31377 4294967295 134512640 134569956 3221224368 3221214536 1131327816 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209665 31377 13086 16 0 209649 0
vsize: 838660
[startup+530.023 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 32341
Raw data (stat): 32276 (java) R 32275 20001 20000 0 -1 0 18068 0 1 0 49779 53 0 0 25 0 11 0 837942013 858787840 31598 4294967295 134512640 134569956 3221224368 3221214548 1130885204 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209665 31598 13086 16 0 209649 0
vsize: 838660
[startup+540.023 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 32341
Raw data (stat): 32276 (java) R 32275 20001 20000 0 -1 0 18068 0 1 0 50728 53 0 0 25 0 11 0 837942013 858787840 31724 4294967295 134512640 134569956 3221224368 3221214632 1131545415 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209665 31724 13086 16 0 209649 0
vsize: 838660
[startup+550.023 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 32341
Raw data (stat): 32276 (java) R 32275 20001 20000 0 -1 0 18068 0 1 0 51698 53 0 0 25 0 11 0 837942013 858787840 31804 4294967295 134512640 134569956 3221224368 3221214776 1131409000 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209665 31804 13086 16 0 209649 0
vsize: 838660
[startup+560.023 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 32341
Raw data (stat): 32276 (java) R 32275 20001 20000 0 -1 0 18068 0 1 0 52638 53 0 0 25 0 11 0 837942013 858787840 31922 4294967295 134512640 134569956 3221224368 3221214616 1131277661 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209665 31922 13086 16 0 209649 0
vsize: 838660
[startup+570.024 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 32341
Raw data (stat): 32276 (java) R 32275 20001 20000 0 -1 0 18068 0 1 0 53568 53 0 0 25 0 11 0 837942013 858787840 32149 4294967295 134512640 134569956 3221224368 3221214576 1131210980 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209665 32149 13086 16 0 209649 0
vsize: 838660
[startup+580.024 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 32341
Raw data (stat): 32276 (java) R 32275 20001 20000 0 -1 0 18068 0 1 0 54522 53 0 0 25 0 11 0 837942013 858787840 32301 4294967295 134512640 134569956 3221224368 3221214616 1131363305 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209665 32301 13086 16 0 209649 0
vsize: 838660
[startup+590.024 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 32341
Raw data (stat): 32276 (java) R 32275 20001 20000 0 -1 0 18068 0 1 0 55471 53 0 0 25 0 11 0 837942013 858787840 32544 4294967295 134512640 134569956 3221224368 3221214520 1130896152 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209665 32544 13086 16 0 209649 0
vsize: 838660
[startup+600.024 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 32341
Raw data (stat): 32276 (java) R 32275 20001 20000 0 -1 0 18068 0 1 0 56423 53 0 0 25 0 11 0 837942013 858787840 32680 4294967295 134512640 134569956 3221224368 3221214728 1131257376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209665 32680 13086 16 0 209649 0
vsize: 838660
[startup+610.024 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 32341
Raw data (stat): 32276 (java) R 32275 20001 20000 0 -1 0 18068 0 1 0 57382 53 0 0 25 0 11 0 837942013 858787840 32785 4294967295 134512640 134569956 3221224368 3221214504 1131327968 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209665 32785 13086 16 0 209649 0
vsize: 838660
[startup+620.025 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 32341
Raw data (stat): 32276 (java) R 32275 20001 20000 0 -1 0 18068 0 1 0 58329 53 0 0 25 0 11 0 837942013 858787840 32930 4294967295 134512640 134569956 3221224368 3221214568 1131451312 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209665 32930 13086 16 0 209649 0
vsize: 838660
[startup+630.025 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 32341
Raw data (stat): 32276 (java) R 32275 20001 20000 0 -1 0 18068 0 1 0 59276 53 0 0 25 0 11 0 837942013 858787840 33052 4294967295 134512640 134569956 3221224368 3221214624 1131354397 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209665 33052 13086 16 0 209649 0
vsize: 838660
[startup+640.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32341
Raw data (stat): 32276 (java) R 32275 20001 20000 0 -1 0 18068 0 1 0 60221 54 0 0 25 0 11 0 837942013 858787840 33177 4294967295 134512640 134569956 3221224368 3221214748 1131207654 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209665 33177 13086 16 0 209649 0
vsize: 838660
[startup+650.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32341
Raw data (stat): 32276 (java) R 32275 20001 20000 0 -1 0 18068 0 1 0 61175 54 0 0 25 0 11 0 837942013 858787840 33310 4294967295 134512640 134569956 3221224368 3221214600 1131452643 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209665 33310 13086 16 0 209649 0
vsize: 838660
[startup+660.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32341
Raw data (stat): 32276 (java) R 32275 20001 20000 0 -1 0 18068 0 1 0 62121 54 0 0 25 0 11 0 837942013 858787840 33449 4294967295 134512640 134569956 3221224368 3221214616 1131363368 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209665 33449 13086 16 0 209649 0
vsize: 838660
[startup+670.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32341
Raw data (stat): 32276 (java) R 32275 20001 20000 0 -1 0 18068 0 1 0 63075 54 0 0 25 0 11 0 837942013 858787840 33593 4294967295 134512640 134569956 3221224368 3221214616 1131363433 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209665 33593 13086 16 0 209649 0
vsize: 838660
[startup+680.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32341
Raw data (stat): 32276 (java) R 32275 20001 20000 0 -1 0 18068 0 1 0 64017 54 0 0 25 0 11 0 837942013 858787840 33829 4294967295 134512640 134569956 3221224368 3221214504 1131493888 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209665 33829 13086 16 0 209649 0
vsize: 838660
[startup+690.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32341
Raw data (stat): 32276 (java) R 32275 20001 20000 0 -1 0 18068 0 1 0 64956 54 0 0 25 0 11 0 837942013 858787840 34013 4294967295 134512640 134569956 3221224368 3221214592 1131490720 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209665 34013 13086 16 0 209649 0
vsize: 838660
[startup+700.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32341
Raw data (stat): 32276 (java) R 32275 20001 20000 0 -1 0 18068 0 1 0 65895 54 0 0 25 0 11 0 837942013 858787840 34176 4294967295 134512640 134569956 3221224368 3221214504 1131328066 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209665 34176 13086 16 0 209649 0
vsize: 838660
[startup+710.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32341
Raw data (stat): 32276 (java) S 32275 20001 20000 0 -1 0 18068 0 1 0 66835 54 0 0 25 0 11 0 837942013 858787840 34252 4294967295 134512640 134569956 3221224368 3221213248 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209665 34252 13086 16 0 209649 0
vsize: 838660
[startup+720.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32341
Raw data (stat): 32276 (java) R 32275 20001 20000 0 -1 0 18068 0 1 0 67782 54 0 0 25 0 11 0 837942013 858787840 34399 4294967295 134512640 134569956 3221224368 3221214464 1131398176 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209665 34399 13086 16 0 209649 0
vsize: 838660
[startup+730.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32341
Raw data (stat): 32276 (java) R 32275 20001 20000 0 -1 0 18068 0 1 0 68726 55 0 0 25 0 11 0 837942013 858787840 34693 4294967295 134512640 134569956 3221224368 3221214700 1131364546 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209665 34693 13086 16 0 209649 0
vsize: 838660
[startup+740.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32341
Raw data (stat): 32276 (java) R 32275 20001 20000 0 -1 0 18068 0 1 0 69680 55 0 0 25 0 11 0 837942013 858787840 34817 4294967295 134512640 134569956 3221224368 3221214548 1130885169 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209665 34817 13086 16 0 209649 0
vsize: 838660
[startup+750.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32341
Raw data (stat): 32276 (java) R 32275 20001 20000 0 -1 0 18068 0 1 0 70631 55 0 0 25 0 11 0 837942013 858787840 34962 4294967295 134512640 134569956 3221224368 3221214600 1131452772 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209665 34962 13086 16 0 209649 0
vsize: 838660
[startup+760.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32341
Raw data (stat): 32276 (java) R 32275 20001 20000 0 -1 0 18068 0 1 0 71578 55 0 0 25 0 11 0 837942013 858787840 35082 4294967295 134512640 134569956 3221224368 3221214040 1131607065 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209665 35082 13086 16 0 209649 0
vsize: 838660
[startup+770.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32343
Raw data (stat): 32276 (java) S 32275 20001 20000 0 -1 0 18068 0 1 0 72517 55 0 0 25 0 11 0 837942013 858787840 35242 4294967295 134512640 134569956 3221224368 3221213240 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209665 35242 13086 16 0 209649 0
vsize: 838660
[startup+780.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32343
Raw data (stat): 32276 (java) R 32275 20001 20000 0 -1 0 18068 0 1 0 73460 55 0 0 25 0 11 0 837942013 858787840 35444 4294967295 134512640 134569956 3221224368 3221214120 1085679358 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209665 35444 13086 16 0 209649 0
vsize: 838660
[startup+790.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32343
Raw data (stat): 32276 (java) R 32275 20001 20000 0 -1 0 18068 0 1 0 74407 56 0 0 25 0 11 0 837942013 858787840 35607 4294967295 134512640 134569956 3221224368 3221214752 1131456602 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209665 35607 13086 16 0 209649 0
vsize: 838660
[startup+800.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32343
Raw data (stat): 32276 (java) R 32275 20001 20000 0 -1 0 18068 0 1 0 75353 56 0 0 25 0 11 0 837942013 858787840 35776 4294967295 134512640 134569956 3221224368 3221214616 1131363540 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209665 35776 13086 16 0 209649 0
vsize: 838660
[startup+810.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32343
Raw data (stat): 32276 (java) R 32275 20001 20000 0 -1 0 18068 0 1 0 76298 56 0 0 25 0 11 0 837942013 858787840 35972 4294967295 134512640 134569956 3221224368 3221214464 1131400370 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209665 35972 13086 16 0 209649 0
vsize: 838660
[startup+820.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32343
Raw data (stat): 32276 (java) R 32275 20001 20000 0 -1 0 18068 0 1 0 77244 57 0 0 25 0 11 0 837942013 858787840 36188 4294967295 134512640 134569956 3221224368 3221214460 1131366344 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209665 36188 13086 16 0 209649 0
vsize: 838660
[startup+830.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32343
Raw data (stat): 32276 (java) R 32275 20001 20000 0 -1 0 18068 0 1 0 78190 57 0 0 25 0 11 0 837942013 858787840 36382 4294967295 134512640 134569956 3221224368 3221214488 1131480837 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209665 36382 13086 16 0 209649 0
vsize: 838660
[startup+840.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32343
Raw data (stat): 32276 (java) R 32275 20001 20000 0 -1 0 18068 0 1 0 79136 58 0 0 25 0 11 0 837942013 858787840 36484 4294967295 134512640 134569956 3221224368 3221214700 1131277600 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209665 36484 13086 16 0 209649 0
vsize: 838660
[startup+850.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32343
Raw data (stat): 32276 (java) R 32275 20001 20000 0 -1 0 18068 0 1 0 80083 58 0 0 25 0 11 0 837942013 858787840 36631 4294967295 134512640 134569956 3221224368 3221214728 1131257344 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209665 36631 13086 16 0 209649 0
vsize: 838660
[startup+860.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32343
Raw data (stat): 32276 (java) R 32275 20001 20000 0 -1 0 18068 0 1 0 81033 58 0 0 25 0 11 0 837942013 858787840 36678 4294967295 134512640 134569956 3221224368 3221214776 1131409147 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209665 36678 13086 16 0 209649 0
vsize: 838660
[startup+870.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32343
Raw data (stat): 32276 (java) R 32275 20001 20000 0 -1 0 18068 0 1 0 81980 58 0 0 25 0 11 0 837942013 858787840 36890 4294967295 134512640 134569956 3221224368 3221214400 1078033025 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209665 36890 13086 16 0 209649 0
vsize: 838660
[startup+880.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32343
Raw data (stat): 32276 (java) R 32275 20001 20000 0 -1 0 18068 0 1 0 82940 58 0 0 25 0 11 0 837942013 858787840 37082 4294967295 134512640 134569956 3221224368 3221214600 1131452611 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209665 37082 13086 16 0 209649 0
vsize: 838660
[startup+890.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32343
Raw data (stat): 32276 (java) R 32275 20001 20000 0 -1 0 18068 0 1 0 83905 59 0 0 25 0 11 0 837942013 858787840 37265 4294967295 134512640 134569956 3221224368 3221214320 1131606545 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209665 37265 13086 16 0 209649 0
vsize: 838660
[startup+900.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32343
Raw data (stat): 32276 (java) R 32275 20001 20000 0 -1 0 18068 0 1 0 84870 59 0 0 25 0 11 0 837942013 858787840 37418 4294967295 134512640 134569956 3221224368 3221214632 1131545408 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209665 37418 13086 16 0 209649 0
vsize: 838660
[startup+910.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32343
Raw data (stat): 32276 (java) R 32275 20001 20000 0 -1 0 18068 0 1 0 85833 59 0 0 25 0 11 0 837942013 858787840 37511 4294967295 134512640 134569956 3221224368 3221214548 1130885175 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209665 37511 13086 16 0 209649 0
vsize: 838660
[startup+920.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32343
Raw data (stat): 32276 (java) R 32275 20001 20000 0 -1 0 18068 0 1 0 86789 59 0 0 25 0 11 0 837942013 858787840 37542 4294967295 134512640 134569956 3221224368 3221214596 1131451416 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209665 37542 13086 16 0 209649 0
vsize: 838660
[startup+930.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32343
Raw data (stat): 32276 (java) S 32275 20001 20000 0 -1 0 18068 0 1 0 87729 60 0 0 25 0 11 0 837942013 858787840 37582 4294967295 134512640 134569956 3221224368 3221213240 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209665 37582 13086 16 0 209649 0
vsize: 838660
[startup+940.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32343
Raw data (stat): 32276 (java) R 32275 20001 20000 0 -1 0 18068 0 1 0 88673 60 0 0 25 0 11 0 837942013 858787840 37775 4294967295 134512640 134569956 3221224368 3221214576 1131211027 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209665 37775 13086 16 0 209649 0
vsize: 838660
[startup+950.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32343
Raw data (stat): 32276 (java) R 32275 20001 20000 0 -1 0 18068 0 1 0 89620 60 0 0 25 0 11 0 837942013 858787840 37939 4294967295 134512640 134569956 3221224368 3221214536 1131327977 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209665 37939 13086 16 0 209649 0
vsize: 838660
[startup+960.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32343
Raw data (stat): 32276 (java) R 32275 20001 20000 0 -1 0 18068 0 1 0 90567 61 0 0 25 0 11 0 837942013 858787840 38078 4294967295 134512640 134569956 3221224368 3221214572 1131127952 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209665 38078 13086 16 0 209649 0
vsize: 838660
[startup+970.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32343
Raw data (stat): 32276 (java) R 32275 20001 20000 0 -1 0 18068 0 1 0 91505 61 0 0 25 0 11 0 837942013 858787840 38246 4294967295 134512640 134569956 3221224368 3221214568 1131575523 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209665 38246 13086 16 0 209649 0
vsize: 838660
[startup+980.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32343
Raw data (stat): 32276 (java) R 32275 20001 20000 0 -1 0 18068 0 1 0 92453 61 0 0 25 0 11 0 837942013 858787840 38397 4294967295 134512640 134569956 3221224368 3221214576 1131366317 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209665 38397 13086 16 0 209649 0
vsize: 838660
[startup+990.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32343
Raw data (stat): 32276 (java) R 32275 20001 20000 0 -1 0 18068 0 1 0 93400 62 0 0 25 0 11 0 837942013 858787840 38542 4294967295 134512640 134569956 3221224368 3221214504 1131328305 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209665 38542 13086 16 0 209649 0
vsize: 838660
[startup+1000.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32343
Raw data (stat): 32276 (java) R 32275 20001 20000 0 -1 0 18068 0 1 0 94347 62 0 0 25 0 11 0 837942013 858787840 38709 4294967295 134512640 134569956 3221224368 3221214536 1131328087 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209665 38709 13086 16 0 209649 0
vsize: 838660
[startup+1010.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32343
Raw data (stat): 32276 (java) S 32275 20001 20000 0 -1 0 18068 0 1 0 95291 62 0 0 25 0 11 0 837942013 858787840 38866 4294967295 134512640 134569956 3221224368 3221213240 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209665 38866 13086 16 0 209649 0
vsize: 838660
[startup+1020.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32343
Raw data (stat): 32276 (java) R 32275 20001 20000 0 -1 0 18068 0 1 0 96234 63 0 0 25 0 11 0 837942013 858787840 39033 4294967295 134512640 134569956 3221224368 3221214536 1131328127 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209665 39033 13086 16 0 209649 0
vsize: 838660
[startup+1030.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32343
Raw data (stat): 32276 (java) R 32275 20001 20000 0 -1 0 18068 0 1 0 97184 63 0 0 25 0 11 0 837942013 858787840 39180 4294967295 134512640 134569956 3221224368 3221214568 1131327788 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209665 39180 13086 16 0 209649 0
vsize: 838660
[startup+1040.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32343
Raw data (stat): 32276 (java) R 32275 20001 20000 0 -1 0 18068 0 1 0 98124 63 0 0 25 0 11 0 837942013 858787840 39339 4294967295 134512640 134569956 3221224368 3221214600 1131452611 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209665 39339 13086 16 0 209649 0
vsize: 838660
[startup+1050.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32343
Raw data (stat): 32276 (java) R 32275 20001 20000 0 -1 0 18068 0 1 0 99075 63 0 0 25 0 11 0 837942013 858787840 39512 4294967295 134512640 134569956 3221224368 3221214536 1131327844 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209665 39512 13086 16 0 209649 0
vsize: 838660
[startup+1060.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32343
Raw data (stat): 32276 (java) R 32275 20001 20000 0 -1 0 18068 0 1 0 100029 64 0 0 25 0 11 0 837942013 858787840 39633 4294967295 134512640 134569956 3221224368 3221214568 1131451271 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209665 39633 13086 16 0 209649 0
vsize: 838660
[startup+1070.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32343
Raw data (stat): 32276 (java) R 32275 20001 20000 0 -1 0 18068 0 1 0 100984 64 0 0 25 0 11 0 837942013 858787840 39772 4294967295 134512640 134569956 3221224368 3221214576 1131211036 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209665 39772 13086 16 0 209649 0
vsize: 838660
[startup+1080.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32343
Raw data (stat): 32276 (java) R 32275 20001 20000 0 -1 0 18068 0 1 0 101931 64 0 0 25 0 11 0 837942013 858787840 39946 4294967295 134512640 134569956 3221224368 3221214536 1131327816 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209665 39946 13086 16 0 209649 0
vsize: 838660
[startup+1090.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32343
Raw data (stat): 32276 (java) R 32275 20001 20000 0 -1 0 18068 0 1 0 102888 65 0 0 24 0 11 0 837942013 858787840 40085 4294967295 134512640 134569956 3221224368 3221214752 1131366305 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209665 40085 13086 16 0 209649 0
vsize: 838660
[startup+1100.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32343
Raw data (stat): 32276 (java) S 32275 20001 20000 0 -1 0 18068 0 1 0 103846 65 0 0 25 0 11 0 837942013 858787840 40146 4294967295 134512640 134569956 3221224368 3221213248 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209665 40146 13086 16 0 209649 0
vsize: 838660
[startup+1110.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32343
Raw data (stat): 32276 (java) R 32275 20001 20000 0 -1 0 18068 0 1 0 104807 66 0 0 25 0 11 0 837942013 858787840 40274 4294967295 134512640 134569956 3221224368 3221214600 1131452529 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209665 40274 13086 16 0 209649 0
vsize: 838660
[startup+1120.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32343
Raw data (stat): 32276 (java) R 32275 20001 20000 0 -1 0 18068 0 1 0 105760 66 0 0 25 0 11 0 837942013 858787840 40385 4294967295 134512640 134569956 3221224368 3221214596 1131366240 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209665 40385 13086 16 0 209649 0
vsize: 838660
[startup+1130.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32343
Raw data (stat): 32276 (java) R 32275 20001 20000 0 -1 0 18068 0 1 0 106698 66 0 0 25 0 11 0 837942013 858787840 40517 4294967295 134512640 134569956 3221224368 3221214616 1131363433 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209665 40517 13086 16 0 209649 0
vsize: 838660
[startup+1140.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32343
Raw data (stat): 32276 (java) S 32275 20001 20000 0 -1 0 18068 0 1 0 107643 67 0 0 25 0 11 0 837942013 858787840 40700 4294967295 134512640 134569956 3221224368 3221213280 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209665 40700 13086 16 0 209649 0
vsize: 838660
[startup+1150.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32343
Raw data (stat): 32276 (java) R 32275 20001 20000 0 -1 0 18068 0 1 0 108581 67 0 0 24 0 11 0 837942013 858787840 40868 4294967295 134512640 134569956 3221224368 3221214536 1131328400 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209665 40868 13086 16 0 209649 0
vsize: 838660
[startup+1160.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32343
Raw data (stat): 32276 (java) R 32275 20001 20000 0 -1 0 18068 0 1 0 109527 68 0 0 25 0 11 0 837942013 858787840 41046 4294967295 134512640 134569956 3221224368 3221214536 1131327977 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209665 41046 13086 16 0 209649 0
vsize: 838660
[startup+1170.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32343
Raw data (stat): 32276 (java) R 32275 20001 20000 0 -1 0 18068 0 1 0 110475 68 0 0 25 0 11 0 837942013 858787840 41130 4294967295 134512640 134569956 3221224368 3221214536 1131327938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209665 41130 13086 16 0 209649 0
vsize: 838660
[startup+1180.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32343
Raw data (stat): 32276 (java) R 32275 20001 20000 0 -1 0 18068 0 1 0 111422 69 0 0 25 0 11 0 837942013 858787840 41257 4294967295 134512640 134569956 3221224368 3221214416 1131607304 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209665 41257 13086 16 0 209649 0
vsize: 838660
[startup+1190.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32343
Raw data (stat): 32276 (java) R 32275 20001 20000 0 -1 0 18068 0 1 0 112370 69 0 0 25 0 11 0 837942013 858787840 41459 4294967295 134512640 134569956 3221224368 3221214488 1131480411 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209665 41459 13086 16 0 209649 0
vsize: 838660
[startup+1200.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32343
Raw data (stat): 32276 (java) R 32275 20001 20000 0 -1 0 18068 0 1 0 113322 69 0 0 25 0 11 0 837942013 858787840 41625 4294967295 134512640 134569956 3221224368 3221214600 1131452643 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209665 41625 13086 16 0 209649 0
vsize: 838660
[startup+1210.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32343
Raw data (stat): 32276 (java) R 32275 20001 20000 0 -1 0 18068 0 1 0 114276 69 0 0 25 0 11 0 837942013 858787840 41765 4294967295 134512640 134569956 3221224368 3221214616 1131364736 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209665 41765 13086 16 0 209649 0
vsize: 838660
[startup+1220.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32343
Raw data (stat): 32276 (java) R 32275 20001 20000 0 -1 0 18068 0 1 0 115234 70 0 0 25 0 11 0 837942013 858787840 41921 4294967295 134512640 134569956 3221224368 3221214388 1078830570 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209665 41921 13086 16 0 209649 0
vsize: 838660
[startup+1230.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32343
Raw data (stat): 32276 (java) R 32275 20001 20000 0 -1 0 18068 0 1 0 116201 70 0 0 25 0 11 0 837942013 858787840 42011 4294967295 134512640 134569956 3221224368 3221214728 1131257361 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209665 42011 13086 16 0 209649 0
vsize: 838660
[startup+1240.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32343
Raw data (stat): 32276 (java) R 32275 20001 20000 0 -1 0 18068 0 1 0 117163 70 0 0 25 0 11 0 837942013 858787840 42103 4294967295 134512640 134569956 3221224368 3221214456 1131327938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209665 42103 13086 16 0 209649 0
vsize: 838660
[startup+1250.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32343
Raw data (stat): 32276 (java) R 32275 20001 20000 0 -1 0 18068 0 1 0 118122 71 0 0 25 0 11 0 837942013 858787840 42259 4294967295 134512640 134569956 3221224368 3221214496 1131210997 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209665 42259 13086 16 0 209649 0
vsize: 838660
[startup+1260.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32343
Raw data (stat): 32276 (java) R 32275 20001 20000 0 -1 0 18068 0 1 0 119093 71 0 0 25 0 11 0 837942013 858787840 42330 4294967295 134512640 134569956 3221224368 3221214456 1131327938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209665 42330 13086 16 0 209649 0
vsize: 838660
[startup+1270.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32343
Raw data (stat): 32276 (java) R 32275 20001 20000 0 -1 0 18068 0 1 0 120066 72 0 0 25 0 11 0 837942013 858787840 42447 4294967295 134512640 134569956 3221224368 3221214496 1131211112 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209665 42447 13086 16 0 209649 0
vsize: 838660
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1270.17 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 32345
Raw data (stat): 32276 (java) Z 32275 20001 20000 0 -1 1036 18068 27425 1 0 120069 79 7925 63 25 0 1 0 837942013 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): 1270.17
CPU time (s): 1281.39
CPU user time (s): 1279.96
CPU system time (s): 1.43178
CPU usage (%): 100.883
Max. virtual memory (Kb): 838660
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####