PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-dolom1.opb
MD5SUM	bafd5f2a91d0ace4ec9dc114753d5b3e
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	66480
Biggest coefficient in the objective function	536870912000000000000
Number of bits for the biggest coefficient in the objective function	69
Sum of the numbers in the objective function	35987090508169210757120
Number of bits of the sum of numbers in the objective function	75
Biggest number in a constraint	536870912000000000000
Number of bits of the biggest number in a constraint	69
Biggest sum of numbers in a constraint	35987192908169210757120
Number of bits of the biggest sum of numbers	75
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.632903
Number of variables	66480
Total number of constraints	11523
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	9721
Number of constraints which are nor clauses,nor cardinality constraints	1802
Minimum length of a constraint	1
Maximum length of a constraint	66480
Trace number 29779

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        194724 kB
Buffers:         36720 kB
Cached:         772852 kB
SwapCached:        716 kB
Active:          83888 kB
Inactive:       732424 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        194472 kB
SwapTotal:     2097892 kB
SwapFree:      2096336 kB
Dirty:              44 kB
Writeback:           0 kB
Mapped:           5068 kB
Slab:            17980 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 11:47:28 (client local time) WITH STATUS 143 IN 1318.91 SECONDS
stats: 21175 7 1318.91 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/wulflinc20/normalized-mps-v2-20-10-dolom1.opb
c reading problem ... done. Time 1239.531 ms.
c #vars     66480
c #constraints  3495
c starts	: 1
c conflicts	: 0
c decisions	: 6749
c propagations	: 37438
c inspects	: 85583
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 1
s UNKNOWN
c Total CPU time (ms) : 1309.079
#### 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.86 0.97 0.99 2/54 4073
Raw data (stat): 4073 (runsolver) R 4072 25399 25398 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 838503125 1052672 99 4294967295 134512640 135381576 3221224400 3221219620 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+9.99951 s]
Raw data (loadavg): 1.03 1.00 1.00 2/63 4082
Raw data (stat): 4073 (java) R 4072 25399 25398 0 -1 0 18032 0 1 0 871 38 0 0 25 0 10 0 838503125 854142976 19412 4294967295 134512640 134569956 3221224368 3221214464 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208531 19412 13086 16 0 208515 0
vsize: 834124
[startup+20.0002 s]
Raw data (loadavg): 1.03 1.00 1.00 2/63 4082
Raw data (stat): 4073 (java) R 4072 25399 25398 0 -1 0 18032 0 1 0 1769 39 0 0 25 0 10 0 838503125 854110208 19922 4294967295 134512640 134569956 3221224368 3221214648 1131193514 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208523 19922 13086 16 0 208507 0
vsize: 834092
[startup+29.9999 s]
Raw data (loadavg): 1.02 1.00 1.00 2/63 4082
Raw data (stat): 4073 (java) R 4072 25399 25398 0 -1 0 18032 0 1 0 2658 39 0 0 21 0 10 0 838503125 854110208 20439 4294967295 134512640 134569956 3221224368 3221214412 1076461336 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208523 20439 13086 16 0 208507 0
vsize: 834092
[startup+40.0007 s]
Raw data (loadavg): 1.02 1.00 1.00 2/63 4082
Raw data (stat): 4073 (java) R 4072 25399 25398 0 -1 0 18032 0 1 0 3572 40 0 0 24 0 10 0 838503125 854249472 20775 4294967295 134512640 134569956 3221224368 3221214768 1131234366 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208557 20775 13086 16 0 208541 0
vsize: 834228
[startup+50.0015 s]
Raw data (loadavg): 1.02 1.00 1.00 2/63 4082
Raw data (stat): 4073 (java) R 4072 25399 25398 0 -1 0 18032 0 1 0 4493 40 0 0 24 0 10 0 838503125 854110208 20915 4294967295 134512640 134569956 3221224368 3221214728 1131044787 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208523 20915 13086 16 0 208507 0
vsize: 834092
[startup+60.0011 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 4082
Raw data (stat): 4073 (java) S 4072 25399 25398 0 -1 0 18032 0 1 0 5409 40 0 0 25 0 10 0 838503125 854110208 21045 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208523 21045 13086 16 0 208507 0
vsize: 834092
[startup+70.0019 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 4082
Raw data (stat): 4073 (java) R 4072 25399 25398 0 -1 0 18032 0 1 0 6340 41 0 0 25 0 10 0 838503125 854110208 21290 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208523 21290 13086 16 0 208507 0
vsize: 834092
[startup+80.0025 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 4082
Raw data (stat): 4073 (java) R 4072 25399 25398 0 -1 0 18032 0 1 0 7278 41 0 0 24 0 10 0 838503125 854110208 21393 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208523 21393 13086 16 0 208507 0
vsize: 834092
[startup+90.0033 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 4082
Raw data (stat): 4073 (java) R 4072 25399 25398 0 -1 0 18032 0 1 0 8221 41 0 0 25 0 10 0 838503125 854110208 21481 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208523 21481 13086 16 0 208507 0
vsize: 834092
[startup+100.003 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 4082
Raw data (stat): 4073 (java) R 4072 25399 25398 0 -1 0 18032 0 1 0 9162 42 0 0 25 0 10 0 838503125 854110208 21569 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208523 21569 13086 16 0 208507 0
vsize: 834092
[startup+110.003 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 4082
Raw data (stat): 4073 (java) S 4072 25399 25398 0 -1 0 18032 0 1 0 10105 42 0 0 25 0 10 0 838503125 854110208 21648 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208523 21648 13086 16 0 208507 0
vsize: 834092
[startup+120.003 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 4082
Raw data (stat): 4073 (java) R 4072 25399 25398 0 -1 0 18032 0 1 0 11047 43 0 0 25 0 10 0 838503125 854110208 21724 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208523 21724 13086 16 0 208507 0
vsize: 834092
[startup+130.003 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 4082
Raw data (stat): 4073 (java) R 4072 25399 25398 0 -1 0 18032 0 1 0 11990 43 0 0 25 0 10 0 838503125 854110208 21797 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208523 21797 13086 16 0 208507 0
vsize: 834092
[startup+140.004 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 4082
Raw data (stat): 4073 (java) R 4072 25399 25398 0 -1 0 18032 0 1 0 12935 44 0 0 25 0 10 0 838503125 854110208 21862 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208523 21862 13086 16 0 208507 0
vsize: 834092
[startup+150.005 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 4082
Raw data (stat): 4073 (java) R 4072 25399 25398 0 -1 0 18032 0 1 0 13878 44 0 0 25 0 10 0 838503125 854110208 21929 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208523 21929 13086 16 0 208507 0
vsize: 834092
[startup+160.004 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 4082
Raw data (stat): 4073 (java) R 4072 25399 25398 0 -1 0 18032 0 1 0 14820 44 0 0 17 0 10 0 838503125 854110208 21992 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208523 21992 13086 16 0 208507 0
vsize: 834092
[startup+170.005 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 4082
Raw data (stat): 4073 (java) S 4072 25399 25398 0 -1 0 18032 0 1 0 15761 44 0 0 25 0 10 0 838503125 854110208 22051 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208523 22051 13086 16 0 208507 0
vsize: 834092
[startup+180.006 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 4082
Raw data (stat): 4073 (java) R 4072 25399 25398 0 -1 0 18032 0 1 0 16675 45 0 0 25 0 10 0 838503125 854110208 22110 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208523 22110 13086 16 0 208507 0
vsize: 834092
[startup+190.007 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 4082
Raw data (stat): 4073 (java) R 4072 25399 25398 0 -1 0 18032 0 1 0 17598 45 0 0 25 0 10 0 838503125 854110208 22421 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208523 22421 13086 16 0 208507 0
vsize: 834092
[startup+200.006 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 4082
Raw data (stat): 4073 (java) R 4072 25399 25398 0 -1 0 18032 0 1 0 18536 45 0 0 25 0 10 0 838503125 854110208 22477 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208523 22477 13086 16 0 208507 0
vsize: 834092
[startup+210.006 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 4082
Raw data (stat): 4073 (java) R 4072 25399 25398 0 -1 0 18032 0 1 0 19477 46 0 0 25 0 10 0 838503125 854110208 22528 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208523 22528 13086 16 0 208507 0
vsize: 834092
[startup+220.007 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 4082
Raw data (stat): 4073 (java) R 4072 25399 25398 0 -1 0 18032 0 1 0 20415 46 0 0 25 0 10 0 838503125 854110208 22581 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208523 22581 13086 16 0 208507 0
vsize: 834092
[startup+230.006 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 4082
Raw data (stat): 4073 (java) R 4072 25399 25398 0 -1 0 18032 0 1 0 21353 47 0 0 24 0 10 0 838503125 854110208 22632 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208523 22632 13086 16 0 208507 0
vsize: 834092
[startup+240.007 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 4082
Raw data (stat): 4073 (java) R 4072 25399 25398 0 -1 0 18032 0 1 0 22294 48 0 0 25 0 10 0 838503125 854110208 22680 4294967295 134512640 134569956 3221224368 3221214120 1076874552 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208523 22680 13086 16 0 208507 0
vsize: 834092
[startup+250.008 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 4082
Raw data (stat): 4073 (java) R 4072 25399 25398 0 -1 0 18032 0 1 0 23231 48 0 0 25 0 10 0 838503125 854110208 22729 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208523 22729 13086 16 0 208507 0
vsize: 834092
[startup+260.008 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 4082
Raw data (stat): 4073 (java) S 4072 25399 25398 0 -1 0 18032 0 1 0 24169 48 0 0 25 0 10 0 838503125 854110208 22776 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208523 22776 13086 16 0 208507 0
vsize: 834092
[startup+270.007 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 4082
Raw data (stat): 4073 (java) R 4072 25399 25398 0 -1 0 18032 0 1 0 25108 49 0 0 25 0 10 0 838503125 854110208 22821 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208523 22821 13086 16 0 208507 0
vsize: 834092
[startup+280.007 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 4082
Raw data (stat): 4073 (java) R 4072 25399 25398 0 -1 0 18032 0 1 0 26043 49 0 0 25 0 10 0 838503125 854110208 22867 4294967295 134512640 134569956 3221224368 3221214200 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208523 22867 13086 16 0 208507 0
vsize: 834092
[startup+290.008 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 4082
Raw data (stat): 4073 (java) R 4072 25399 25398 0 -1 0 18032 0 1 0 26982 49 0 0 25 0 10 0 838503125 854110208 22910 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208523 22910 13086 16 0 208507 0
vsize: 834092
[startup+300.008 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 4082
Raw data (stat): 4073 (java) R 4072 25399 25398 0 -1 0 18032 0 1 0 27917 50 0 0 25 0 10 0 838503125 854110208 22955 4294967295 134512640 134569956 3221224368 3221214740 1080203551 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208523 22955 13086 16 0 208507 0
vsize: 834092
[startup+310.007 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 4082
Raw data (stat): 4073 (java) R 4072 25399 25398 0 -1 0 18032 0 1 0 28850 50 0 0 24 0 10 0 838503125 854110208 23000 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208523 23000 13086 16 0 208507 0
vsize: 834092
[startup+320.008 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 4082
Raw data (stat): 4073 (java) R 4072 25399 25398 0 -1 0 18032 0 1 0 29788 51 0 0 25 0 10 0 838503125 854110208 23040 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208523 23040 13086 16 0 208507 0
vsize: 834092
[startup+330.008 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 4082
Raw data (stat): 4073 (java) R 4072 25399 25398 0 -1 0 18032 0 1 0 30721 51 0 0 25 0 10 0 838503125 854110208 23083 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208523 23083 13086 16 0 208507 0
vsize: 834092
[startup+340.009 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 4082
Raw data (stat): 4073 (java) R 4072 25399 25398 0 -1 0 18032 0 1 0 31659 52 0 0 25 0 10 0 838503125 854110208 23123 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208523 23123 13086 16 0 208507 0
vsize: 834092
[startup+350.008 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 4082
Raw data (stat): 4073 (java) R 4072 25399 25398 0 -1 0 18032 0 1 0 32591 52 0 0 25 0 10 0 838503125 854110208 23165 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208523 23165 13086 16 0 208507 0
vsize: 834092
[startup+360.008 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 4082
Raw data (stat): 4073 (java) R 4072 25399 25398 0 -1 0 18032 0 1 0 33526 53 0 0 25 0 10 0 838503125 854110208 23203 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208523 23203 13086 16 0 208507 0
vsize: 834092
[startup+370.009 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 4082
Raw data (stat): 4073 (java) R 4072 25399 25398 0 -1 0 18032 0 1 0 34458 53 0 0 25 0 10 0 838503125 854110208 23243 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208523 23243 13086 16 0 208507 0
vsize: 834092
[startup+380.008 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 4082
Raw data (stat): 4073 (java) R 4072 25399 25398 0 -1 0 18032 0 1 0 35393 53 0 0 25 0 10 0 838503125 854110208 23280 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208523 23280 13086 16 0 208507 0
vsize: 834092
[startup+390.009 s]
Raw data (loadavg): 1.08 1.02 1.01 2/63 4082
Raw data (stat): 4073 (java) R 4072 25399 25398 0 -1 0 18032 0 1 0 36323 54 0 0 25 0 10 0 838503125 854110208 23319 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208523 23319 13086 16 0 208507 0
vsize: 834092
[startup+400.009 s]
Raw data (loadavg): 1.07 1.02 1.00 2/63 4082
Raw data (stat): 4073 (java) R 4072 25399 25398 0 -1 0 18032 0 1 0 37258 54 0 0 25 0 10 0 838503125 854110208 23356 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208523 23356 13086 16 0 208507 0
vsize: 834092
[startup+410.008 s]
Raw data (loadavg): 1.06 1.01 1.00 2/63 4082
Raw data (stat): 4073 (java) R 4072 25399 25398 0 -1 0 18032 0 1 0 38188 54 0 0 25 0 10 0 838503125 854110208 23393 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208523 23393 13086 16 0 208507 0
vsize: 834092
[startup+420.008 s]
Raw data (loadavg): 1.05 1.01 1.00 2/63 4082
Raw data (stat): 4073 (java) R 4072 25399 25398 0 -1 0 18032 0 1 0 39121 55 0 0 25 0 10 0 838503125 854110208 23429 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208523 23429 13086 16 0 208507 0
vsize: 834092
[startup+430.009 s]
Raw data (loadavg): 1.04 1.01 1.00 2/63 4082
Raw data (stat): 4073 (java) R 4072 25399 25398 0 -1 0 18032 0 1 0 40050 55 0 0 25 0 10 0 838503125 854110208 23466 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208523 23466 13086 16 0 208507 0
vsize: 834092
[startup+440.01 s]
Raw data (loadavg): 1.03 1.01 1.00 2/63 4082
Raw data (stat): 4073 (java) R 4072 25399 25398 0 -1 0 18032 0 1 0 40982 56 0 0 25 0 10 0 838503125 854110208 23500 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208523 23500 13086 16 0 208507 0
vsize: 834092
[startup+450.009 s]
Raw data (loadavg): 1.03 1.01 1.00 2/63 4082
Raw data (stat): 4073 (java) R 4072 25399 25398 0 -1 0 18032 0 1 0 41910 56 0 0 25 0 10 0 838503125 854110208 23536 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208523 23536 13086 16 0 208507 0
vsize: 834092
[startup+460.009 s]
Raw data (loadavg): 1.02 1.01 1.00 2/63 4082
Raw data (stat): 4073 (java) R 4072 25399 25398 0 -1 0 18032 0 1 0 42842 57 0 0 25 0 10 0 838503125 854110208 23570 4294967295 134512640 134569956 3221224368 3221214740 1080203551 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208523 23570 13086 16 0 208507 0
vsize: 834092
[startup+470.009 s]
Raw data (loadavg): 1.02 1.01 1.00 2/63 4082
Raw data (stat): 4073 (java) R 4072 25399 25398 0 -1 0 18032 0 1 0 43769 57 0 0 24 0 10 0 838503125 854110208 23605 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208523 23605 13086 16 0 208507 0
vsize: 834092
[startup+480.009 s]
Raw data (loadavg): 1.02 1.01 1.00 2/63 4082
Raw data (stat): 4073 (java) R 4072 25399 25398 0 -1 0 18032 0 1 0 44701 57 0 0 25 0 10 0 838503125 854110208 23638 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208523 23638 13086 16 0 208507 0
vsize: 834092
[startup+490.01 s]
Raw data (loadavg): 1.01 1.01 1.00 2/63 4082
Raw data (stat): 4073 (java) R 4072 25399 25398 0 -1 0 18032 0 1 0 45627 57 0 0 24 0 10 0 838503125 854110208 23672 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208523 23672 13086 16 0 208507 0
vsize: 834092
[startup+500.01 s]
Raw data (loadavg): 1.01 1.01 1.00 2/63 4082
Raw data (stat): 4073 (java) R 4072 25399 25398 0 -1 0 18032 0 1 0 46558 57 0 0 25 0 10 0 838503125 854110208 23705 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208523 23705 13086 16 0 208507 0
vsize: 834092
[startup+510.01 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 4082
Raw data (stat): 4073 (java) R 4072 25399 25398 0 -1 0 18032 0 1 0 47488 58 0 0 25 0 10 0 838503125 854110208 23737 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208523 23737 13086 16 0 208507 0
vsize: 834092
[startup+520.01 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 4082
Raw data (stat): 4073 (java) R 4072 25399 25398 0 -1 0 18032 0 1 0 48413 58 0 0 25 0 10 0 838503125 854110208 23771 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208523 23771 13086 16 0 208507 0
vsize: 834092
[startup+530.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 4082
Raw data (stat): 4073 (java) R 4072 25399 25398 0 -1 0 18032 0 1 0 49343 58 0 0 25 0 10 0 838503125 854110208 23802 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208523 23802 13086 16 0 208507 0
vsize: 834092
[startup+540.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 4082
Raw data (stat): 4073 (java) S 4072 25399 25398 0 -1 0 18032 0 1 0 50268 58 0 0 25 0 10 0 838503125 854110208 23833 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208523 23833 13086 16 0 208507 0
vsize: 834092
[startup+550.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 4082
Raw data (stat): 4073 (java) R 4072 25399 25398 0 -1 0 18032 0 1 0 51195 59 0 0 25 0 10 0 838503125 854110208 23865 4294967295 134512640 134569956 3221224368 3221214216 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208523 23865 13086 16 0 208507 0
vsize: 834092
[startup+560.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 4082
Raw data (stat): 4073 (java) R 4072 25399 25398 0 -1 0 18032 0 1 0 52123 59 0 0 25 0 10 0 838503125 854110208 23895 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208523 23895 13086 16 0 208507 0
vsize: 834092
[startup+570.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 4082
Raw data (stat): 4073 (java) R 4072 25399 25398 0 -1 0 18032 0 1 0 53045 60 0 0 24 0 10 0 838503125 854110208 23927 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208523 23927 13086 16 0 208507 0
vsize: 834092
[startup+580.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 4082
Raw data (stat): 4073 (java) R 4072 25399 25398 0 -1 0 18032 0 1 0 53972 60 0 0 25 0 10 0 838503125 854110208 23957 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208523 23957 13086 16 0 208507 0
vsize: 834092
[startup+590.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 4082
Raw data (stat): 4073 (java) R 4072 25399 25398 0 -1 0 18032 0 1 0 54899 61 0 0 25 0 10 0 838503125 854110208 23986 4294967295 134512640 134569956 3221224368 3221214752 1131234741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208523 23986 13086 16 0 208507 0
vsize: 834092
[startup+600.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 4082
Raw data (stat): 4073 (java) R 4072 25399 25398 0 -1 0 18032 0 1 0 55821 61 0 0 24 0 10 0 838503125 854110208 24017 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208523 24017 13086 16 0 208507 0
vsize: 834092
[startup+610.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 4082
Raw data (stat): 4073 (java) R 4072 25399 25398 0 -1 0 18032 0 1 0 56748 62 0 0 25 0 10 0 838503125 854110208 24046 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208523 24046 13086 16 0 208507 0
vsize: 834092
[startup+620.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 4082
Raw data (stat): 4073 (java) R 4072 25399 25398 0 -1 0 18032 0 1 0 57674 62 0 0 25 0 10 0 838503125 854110208 24075 4294967295 134512640 134569956 3221224368 3221214216 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208523 24075 13086 16 0 208507 0
vsize: 834092
[startup+630.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 4082
Raw data (stat): 4073 (java) S 4072 25399 25398 0 -1 0 18032 0 1 0 58597 62 0 0 25 0 10 0 838503125 854110208 24104 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208523 24104 13086 16 0 208507 0
vsize: 834092
[startup+640.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 4082
Raw data (stat): 4073 (java) R 4072 25399 25398 0 -1 0 18032 0 1 0 59520 63 0 0 25 0 10 0 838503125 854110208 24133 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208523 24133 13086 16 0 208507 0
vsize: 834092
[startup+650.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 4082
Raw data (stat): 4073 (java) R 4072 25399 25398 0 -1 0 18032 0 1 0 60445 63 0 0 25 0 10 0 838503125 854110208 24161 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208523 24161 13086 16 0 208507 0
vsize: 834092
[startup+660.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 4082
Raw data (stat): 4073 (java) R 4072 25399 25398 0 -1 0 18032 0 1 0 61370 63 0 0 25 0 10 0 838503125 854110208 24190 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208523 24190 13086 16 0 208507 0
vsize: 834092
[startup+670.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 4082
Raw data (stat): 4073 (java) S 4072 25399 25398 0 -1 0 18032 0 1 0 62286 63 0 0 25 0 10 0 838503125 854110208 25083 4294967295 134512640 134569956 3221224368 3221213440 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208523 25083 13086 16 0 208507 0
vsize: 834092
[startup+680.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 4082
Raw data (stat): 4073 (java) R 4072 25399 25398 0 -1 0 18032 0 1 0 63202 64 0 0 24 0 10 0 838503125 854110208 25084 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208523 25084 13086 16 0 208507 0
vsize: 834092
[startup+690.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 4082
Raw data (stat): 4073 (java) R 4072 25399 25398 0 -1 0 18032 0 1 0 64116 64 0 0 25 0 10 0 838503125 854110208 25112 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208523 25112 13086 16 0 208507 0
vsize: 834092
[startup+700.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 4082
Raw data (stat): 4073 (java) R 4072 25399 25398 0 -1 0 18032 0 1 0 65030 65 0 0 25 0 10 0 838503125 854110208 25138 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208523 25138 13086 16 0 208507 0
vsize: 834092
[startup+710.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 4082
Raw data (stat): 4073 (java) R 4072 25399 25398 0 -1 0 18032 0 1 0 65942 65 0 0 25 0 10 0 838503125 854110208 25165 4294967295 134512640 134569956 3221224368 3221214200 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208523 25165 13086 16 0 208507 0
vsize: 834092
[startup+720.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 4082
Raw data (stat): 4073 (java) R 4072 25399 25398 0 -1 0 18032 0 1 0 66855 66 0 0 25 0 10 0 838503125 854110208 25192 4294967295 134512640 134569956 3221224368 3221214748 1080204166 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208523 25192 13086 16 0 208507 0
vsize: 834092
[startup+730.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 4082
Raw data (stat): 4073 (java) R 4072 25399 25398 0 -1 0 18032 0 1 0 67768 66 0 0 25 0 10 0 838503125 854110208 25218 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208523 25218 13086 16 0 208507 0
vsize: 834092
[startup+740.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 4082
Raw data (stat): 4073 (java) R 4072 25399 25398 0 -1 0 18032 0 1 0 68681 67 0 0 25 0 10 0 838503125 854110208 25244 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208523 25244 13086 16 0 208507 0
vsize: 834092
[startup+750.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 4082
Raw data (stat): 4073 (java) R 4072 25399 25398 0 -1 0 18032 0 1 0 69593 67 0 0 24 0 10 0 838503125 854110208 25270 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208523 25270 13086 16 0 208507 0
vsize: 834092
[startup+760.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 4082
Raw data (stat): 4073 (java) R 4072 25399 25398 0 -1 0 18032 0 1 0 70505 67 0 0 25 0 10 0 838503125 854110208 25296 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208523 25296 13086 16 0 208507 0
vsize: 834092
[startup+770.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 4082
Raw data (stat): 4073 (java) R 4072 25399 25398 0 -1 0 18032 0 1 0 71416 68 0 0 24 0 10 0 838503125 854110208 25322 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208523 25322 13086 16 0 208507 0
vsize: 834092
[startup+780.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 4082
Raw data (stat): 4073 (java) R 4072 25399 25398 0 -1 0 18032 0 1 0 72328 68 0 0 25 0 10 0 838503125 854110208 25347 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208523 25347 13086 16 0 208507 0
vsize: 834092
[startup+790.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 4082
Raw data (stat): 4073 (java) R 4072 25399 25398 0 -1 0 18032 0 1 0 73239 68 0 0 24 0 10 0 838503125 854110208 25373 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208523 25373 13086 16 0 208507 0
vsize: 834092
[startup+800.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 4082
Raw data (stat): 4073 (java) R 4072 25399 25398 0 -1 0 18032 0 1 0 74150 69 0 0 24 0 10 0 838503125 854110208 25398 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208523 25398 13086 16 0 208507 0
vsize: 834092
[startup+810.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 4082
Raw data (stat): 4073 (java) S 4072 25399 25398 0 -1 0 18032 0 1 0 75062 69 0 0 25 0 10 0 838503125 854110208 25422 4294967295 134512640 134569956 3221224368 3221213440 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208523 25422 13086 16 0 208507 0
vsize: 834092
[startup+820.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 4082
Raw data (stat): 4073 (java) R 4072 25399 25398 0 -1 0 18032 0 1 0 75976 70 0 0 25 0 10 0 838503125 854110208 25446 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208523 25446 13086 16 0 208507 0
vsize: 834092
[startup+830.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 4082
Raw data (stat): 4073 (java) R 4072 25399 25398 0 -1 0 18032 0 1 0 76885 70 0 0 21 0 10 0 838503125 854110208 25471 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208523 25471 13086 16 0 208507 0
vsize: 834092
[startup+840.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 4082
Raw data (stat): 4073 (java) R 4072 25399 25398 0 -1 0 18032 0 1 0 77794 71 0 0 25 0 10 0 838503125 854110208 25495 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208523 25495 13086 16 0 208507 0
vsize: 834092
[startup+850.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 4082
Raw data (stat): 4073 (java) R 4072 25399 25398 0 -1 0 18032 0 1 0 78704 71 0 0 25 0 10 0 838503125 854110208 25520 4294967295 134512640 134569956 3221224368 3221214216 1080019733 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208523 25520 13086 16 0 208507 0
vsize: 834092
[startup+860.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 4082
Raw data (stat): 4073 (java) R 4072 25399 25398 0 -1 0 18032 0 1 0 79612 71 0 0 25 0 10 0 838503125 854110208 25545 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208523 25545 13086 16 0 208507 0
vsize: 834092
[startup+870.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 4082
Raw data (stat): 4073 (java) R 4072 25399 25398 0 -1 0 18032 0 1 0 80521 72 0 0 25 0 10 0 838503125 854110208 25569 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208523 25569 13086 16 0 208507 0
vsize: 834092
[startup+880.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 4082
Raw data (stat): 4073 (java) R 4072 25399 25398 0 -1 0 18032 0 1 0 81429 73 0 0 25 0 10 0 838503125 854110208 25593 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208523 25593 13086 16 0 208507 0
vsize: 834092
[startup+890.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 4082
Raw data (stat): 4073 (java) R 4072 25399 25398 0 -1 0 18032 0 1 0 82336 73 0 0 25 0 10 0 838503125 854110208 25617 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208523 25617 13086 16 0 208507 0
vsize: 834092
[startup+900.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 4082
Raw data (stat): 4073 (java) R 4072 25399 25398 0 -1 0 18032 0 1 0 83244 74 0 0 25 0 10 0 838503125 854110208 25641 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208523 25641 13086 16 0 208507 0
vsize: 834092
[startup+910.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 4082
Raw data (stat): 4073 (java) R 4072 25399 25398 0 -1 0 18032 0 1 0 84152 74 0 0 22 0 10 0 838503125 854110208 25664 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208523 25664 13086 16 0 208507 0
vsize: 834092
[startup+920.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 4082
Raw data (stat): 4073 (java) R 4072 25399 25398 0 -1 0 18032 0 1 0 85059 75 0 0 22 0 10 0 838503125 854110208 25688 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208523 25688 13086 16 0 208507 0
vsize: 834092
[startup+930.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 4082
Raw data (stat): 4073 (java) R 4072 25399 25398 0 -1 0 18032 0 1 0 85965 75 0 0 20 0 10 0 838503125 854110208 25711 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208523 25711 13086 16 0 208507 0
vsize: 834092
[startup+940.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 4082
Raw data (stat): 4073 (java) R 4072 25399 25398 0 -1 0 18032 0 1 0 86872 76 0 0 20 0 10 0 838503125 854110208 25734 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208523 25734 13086 16 0 208507 0
vsize: 834092
[startup+950.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 4082
Raw data (stat): 4073 (java) R 4072 25399 25398 0 -1 0 18032 0 1 0 87778 76 0 0 19 0 10 0 838503125 854110208 25757 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208523 25757 13086 16 0 208507 0
vsize: 834092
[startup+960.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 4082
Raw data (stat): 4073 (java) R 4072 25399 25398 0 -1 0 18032 0 1 0 88682 76 0 0 19 0 10 0 838503125 854110208 25780 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208523 25780 13086 16 0 208507 0
vsize: 834092
[startup+970.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 4082
Raw data (stat): 4073 (java) S 4072 25399 25398 0 -1 0 18032 0 1 0 89589 77 0 0 24 0 10 0 838503125 854110208 25802 4294967295 134512640 134569956 3221224368 3221213440 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208523 25802 13086 16 0 208507 0
vsize: 834092
[startup+980.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 4082
Raw data (stat): 4073 (java) R 4072 25399 25398 0 -1 0 18032 0 1 0 90500 77 0 0 23 0 10 0 838503125 854110208 25824 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208523 25824 13086 16 0 208507 0
vsize: 834092
[startup+990.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 4082
Raw data (stat): 4073 (java) R 4072 25399 25398 0 -1 0 18032 0 1 0 91404 78 0 0 23 0 10 0 838503125 854110208 25852 4294967295 134512640 134569956 3221224368 3221214216 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208523 25852 13086 16 0 208507 0
vsize: 834092
[startup+1000.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 4082
Raw data (stat): 4073 (java) R 4072 25399 25398 0 -1 0 18032 0 1 0 92308 78 0 0 22 0 10 0 838503125 854110208 25877 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208523 25877 13086 16 0 208507 0
vsize: 834092
[startup+1010.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 4082
Raw data (stat): 4073 (java) R 4072 25399 25398 0 -1 0 18032 0 1 0 93213 78 0 0 20 0 10 0 838503125 854110208 25900 4294967295 134512640 134569956 3221224368 3221214200 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208523 25900 13086 16 0 208507 0
vsize: 834092
[startup+1020.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 4082
Raw data (stat): 4073 (java) R 4072 25399 25398 0 -1 0 18032 0 1 0 94117 79 0 0 20 0 10 0 838503125 854110208 25931 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208523 25931 13086 16 0 208507 0
vsize: 834092
[startup+1030.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 4082
Raw data (stat): 4073 (java) R 4072 25399 25398 0 -1 0 18032 0 1 0 95021 79 0 0 19 0 10 0 838503125 854110208 25956 4294967295 134512640 134569956 3221224368 3221214216 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208523 25956 13086 16 0 208507 0
vsize: 834092
[startup+1040.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 4082
Raw data (stat): 4073 (java) S 4072 25399 25398 0 -1 0 18032 0 1 0 95929 80 0 0 24 0 10 0 838503125 854110208 25978 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208523 25978 13086 16 0 208507 0
vsize: 834092
[startup+1050.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 4082
Raw data (stat): 4073 (java) R 4072 25399 25398 0 -1 0 18032 0 1 0 96834 81 0 0 23 0 10 0 838503125 854110208 26006 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208523 26006 13086 16 0 208507 0
vsize: 834092
[startup+1060.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 4082
Raw data (stat): 4073 (java) R 4072 25399 25398 0 -1 0 18032 0 1 0 97736 81 0 0 20 0 10 0 838503125 854110208 26034 4294967295 134512640 134569956 3221224368 3221214204 1080019663 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208523 26034 13086 16 0 208507 0
vsize: 834092
[startup+1070.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 4082
Raw data (stat): 4073 (java) R 4072 25399 25398 0 -1 0 18032 0 1 0 98637 81 0 0 19 0 10 0 838503125 854110208 26059 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208523 26059 13086 16 0 208507 0
vsize: 834092
[startup+1080.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 4082
Raw data (stat): 4073 (java) R 4072 25399 25398 0 -1 0 18032 0 1 0 99545 81 0 0 23 0 10 0 838503125 854110208 26081 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208523 26081 13086 16 0 208507 0
vsize: 834092
[startup+1090.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 4082
Raw data (stat): 4073 (java) R 4072 25399 25398 0 -1 0 18032 0 1 0 100446 82 0 0 22 0 10 0 838503125 854110208 26110 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208523 26110 13086 16 0 208507 0
vsize: 834092
[startup+1100.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 4082
Raw data (stat): 4073 (java) R 4072 25399 25398 0 -1 0 18032 0 1 0 101348 82 0 0 20 0 10 0 838503125 854110208 26135 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208523 26135 13086 16 0 208507 0
vsize: 834092
[startup+1110.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 4082
Raw data (stat): 4073 (java) S 4072 25399 25398 0 -1 0 18032 0 1 0 102253 83 0 0 24 0 10 0 838503125 854110208 26158 4294967295 134512640 134569956 3221224368 3221213440 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208523 26158 13086 16 0 208507 0
vsize: 834092
[startup+1120.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 4082
Raw data (stat): 4073 (java) R 4072 25399 25398 0 -1 0 18032 0 1 0 103157 83 0 0 22 0 10 0 838503125 854110208 26183 4294967295 134512640 134569956 3221224368 3221214688 1131206454 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208523 26183 13086 16 0 208507 0
vsize: 834092
[startup+1130.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 4082
Raw data (stat): 4073 (java) R 4072 25399 25398 0 -1 0 18032 0 1 0 104058 83 0 0 20 0 10 0 838503125 854110208 26209 4294967295 134512640 134569956 3221224368 3221214216 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208523 26209 13086 16 0 208507 0
vsize: 834092
[startup+1140.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 4082
Raw data (stat): 4073 (java) R 4072 25399 25398 0 -1 0 18032 0 1 0 104959 83 0 0 19 0 10 0 838503125 854110208 26231 4294967295 134512640 134569956 3221224368 3221214216 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208523 26231 13086 16 0 208507 0
vsize: 834092
[startup+1150.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 4082
Raw data (stat): 4073 (java) R 4072 25399 25398 0 -1 0 18032 0 1 0 105866 84 0 0 23 0 10 0 838503125 854110208 26256 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208523 26256 13086 16 0 208507 0
vsize: 834092
[startup+1160.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 4082
Raw data (stat): 4073 (java) R 4072 25399 25398 0 -1 0 18032 0 1 0 106766 84 0 0 21 0 10 0 838503125 854110208 26279 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208523 26279 13086 16 0 208507 0
vsize: 834092
[startup+1170.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 4082
Raw data (stat): 4073 (java) R 4072 25399 25398 0 -1 0 18032 0 1 0 107666 84 0 0 19 0 10 0 838503125 854110208 26305 4294967295 134512640 134569956 3221224368 3221214216 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208523 26305 13086 16 0 208507 0
vsize: 834092
[startup+1180.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 4082
Raw data (stat): 4073 (java) R 4072 25399 25398 0 -1 0 18032 0 1 0 108573 85 0 0 23 0 10 0 838503125 854110208 26324 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208523 26324 13086 16 0 208507 0
vsize: 834092
[startup+1190.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 4082
Raw data (stat): 4073 (java) R 4072 25399 25398 0 -1 0 18032 0 1 0 109471 86 0 0 21 0 10 0 838503125 854110208 26353 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208523 26353 13086 16 0 208507 0
vsize: 834092
[startup+1200.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 4082
Raw data (stat): 4073 (java) R 4072 25399 25398 0 -1 0 18032 0 1 0 110368 86 0 0 20 0 10 0 838503125 854110208 26378 4294967295 134512640 134569956 3221224368 3221214216 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208523 26378 13086 16 0 208507 0
vsize: 834092
[startup+1210.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 4082
Raw data (stat): 4073 (java) R 4072 25399 25398 0 -1 0 18032 0 1 0 111266 86 0 0 19 0 10 0 838503125 854110208 26401 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208523 26401 13086 16 0 208507 0
vsize: 834092
[startup+1220.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 4082
Raw data (stat): 4073 (java) S 4072 25399 25398 0 -1 0 18032 0 1 0 112167 86 0 0 24 0 10 0 838503125 854110208 26423 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208523 26423 13086 16 0 208507 0
vsize: 834092
[startup+1230.04 s]
Raw data (loadavg): 1.16 1.03 1.01 4/63 4082
Raw data (stat): 4073 (java) R 4072 25399 25398 0 -1 0 18046 0 1 0 113005 87 0 0 25 0 10 0 838503125 858374144 27496 4294967295 134512640 134569956 3221224368 3221214100 1073952481 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209564 27496 13086 16 0 209548 0
vsize: 838256
[startup+1240.04 s]
Raw data (loadavg): 1.13 1.03 1.01 2/63 4082
Raw data (stat): 4073 (java) R 4072 25399 25398 0 -1 0 18046 0 1 0 113841 91 0 0 25 0 10 0 838503125 858746880 34917 4294967295 134512640 134569956 3221224368 3221214224 1131355038 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209655 34917 13086 16 0 209639 0
vsize: 838620
[startup+1250.04 s]
Raw data (loadavg): 1.11 1.03 1.01 2/64 4083
Raw data (stat): 4073 (java) R 4072 25399 25398 0 -1 0 18072 0 1 0 114711 91 0 0 25 0 11 0 838503125 859275264 39548 4294967295 134512640 134569956 3221224368 3221214560 1131428461 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209784 39548 13086 16 0 209768 0
vsize: 839136
[startup+1260.04 s]
Raw data (loadavg): 1.10 1.03 1.01 2/64 4083
Raw data (stat): 4073 (java) R 4072 25399 25398 0 -1 0 18073 0 1 0 115669 91 0 0 25 0 11 0 838503125 859275264 39553 4294967295 134512640 134569956 3221224368 3221214560 1131428589 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209784 39553 13086 16 0 209768 0
vsize: 839136
[startup+1270.04 s]
Raw data (loadavg): 1.08 1.03 1.01 2/64 4083
Raw data (stat): 4073 (java) R 4072 25399 25398 0 -1 0 18073 0 1 0 116623 91 0 0 25 0 11 0 838503125 859275264 39553 4294967295 134512640 134569956 3221224368 3221214560 1131428647 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209784 39553 13086 16 0 209768 0
vsize: 839136
[startup+1280.04 s]
Raw data (loadavg): 1.07 1.03 1.01 2/64 4083
Raw data (stat): 4073 (java) R 4072 25399 25398 0 -1 0 18073 0 1 0 117580 91 0 0 25 0 11 0 838503125 859275264 39652 4294967295 134512640 134569956 3221224368 3221214504 1131339884 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209784 39652 13086 16 0 209768 0
vsize: 839136
[startup+1290.04 s]
Raw data (loadavg): 1.06 1.03 1.00 2/64 4083
Raw data (stat): 4073 (java) R 4072 25399 25398 0 -1 0 18073 0 1 0 118545 92 0 0 25 0 11 0 838503125 859275264 39738 4294967295 134512640 134569956 3221224368 3221214560 1131428518 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209784 39738 13086 16 0 209768 0
vsize: 839136
[startup+1300.05 s]
Raw data (loadavg): 1.05 1.02 1.00 2/64 4083
Raw data (stat): 4073 (java) R 4072 25399 25398 0 -1 0 18073 0 1 0 119517 92 0 0 25 0 11 0 838503125 859275264 39783 4294967295 134512640 134569956 3221224368 3221214560 1131428020 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209784 39783 13086 16 0 209768 0
vsize: 839136
[startup+1310.05 s]
Raw data (loadavg): 1.04 1.02 1.00 2/64 4083
Raw data (stat): 4073 (java) R 4072 25399 25398 0 -1 0 18073 0 1 0 120485 93 0 0 24 0 11 0 838503125 859275264 39809 4294967295 134512640 134569956 3221224368 3221214560 1131428174 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209784 39809 13086 16 0 209768 0
vsize: 839136
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1310.18 s]
Raw data (loadavg): 1.04 1.02 1.00 1/54 4085
Raw data (stat): 4073 (java) Z 4072 25399 25398 0 -1 1036 18073 25402 1 0 120490 100 11217 82 25 0 1 0 838503125 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): 1310.18
CPU time (s): 1318.91
CPU user time (s): 1317.08
CPU system time (s): 1.83172
CPU usage (%): 100.666
Max. virtual memory (Kb): 839136
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####