PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/submitted/een/normalized-fast0507.opb
MD5SUM	bc1a4f1c9875fd4d3273e85dcf5e871e
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	311
Optimality of the best value was proved	NO
Number of terms in the objective function	63009
Biggest coefficient in the objective function	2
Number of bits for the biggest coefficient in the objective function	2
Sum of the numbers in the objective function	122425
Number of bits of the sum of numbers in the objective function	17
Biggest number in a constraint	2
Number of bits of the biggest number in a constraint	2
Biggest sum of numbers in a constraint	122425
Number of bits of the biggest sum of numbers	17
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1189.19
Number of variables	63001
Total number of constraints	489
Number of constraints which are clauses	489
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	2
Maximum length of a constraint	7753
Trace number 6958

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc28 THE 2005-04-14 20:30:39 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=5014 boxname=wulflinc28 idbench=386 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  bc1a4f1c9875fd4d3273e85dcf5e871e  /oldhome/oroussel/tmp/wulflinc28/normalized-fast0507.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc28/normalized-fast0507.opb
IDLAUNCH: 5014
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.077
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.077
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:        860232 kB
Buffers:         36236 kB
Cached:         100440 kB
SwapCached:          4 kB
Active:          67320 kB
Inactive:        73160 kB
HighTotal:      131008 kB
HighFree:        25984 kB
LowTotal:       903652 kB
LowFree:        834248 kB
SwapTotal:     2097640 kB
SwapFree:      2097636 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6920 kB
Slab:            28272 kB
Committed_AS:    63484 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-14 20:52:11 (client local time) WITH STATUS 143 IN 1300.81 SECONDS
stats: 5014 7 1300.81 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc28/normalized-fast0507.opb
c reading problem 
c [nbvar=63009]
c [nbconstr=489]
c time 1165.817
c #vars     63009
c #clauses  489
c starts	: 0
c conflicts	: 0
c decisions	: 0
c propagations	: 0
c inspects	: 0
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 0
c SATISFIABLE
c OPTIMIZING...
c 
c CURRENT OPTIMUM=338
c Current CPU time (ms) : 1173.767
c starts	: 1
c conflicts	: 0
c decisions	: 62835
c propagations	: 63009
c inspects	: 21448
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 1
#### 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.27 0.06 0.02 2/54 25803
Raw data (stat): 25803 (runsolver) R 25802 10614 10613 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 487490968 1052672 99 4294967295 134512640 135381576 3221224448 3221219696 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+10.0001 s]
Raw data (loadavg): 0.38 0.09 0.03 2/63 25812
Raw data (stat): 25803 (java) S 25802 10614 10613 0 -1 0 17977 0 1 0 898 42 0 0 25 0 10 0 487490968 853643264 19124 4294967295 134512640 134569956 3221224416 3221213360 1073952481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208409 19124 13073 16 0 208393 0
vsize: 833636
[startup+20.0003 s]
Raw data (loadavg): 0.47 0.12 0.04 2/63 25812
Raw data (stat): 25803 (java) R 25802 10614 10613 0 -1 0 17977 0 1 0 1790 42 0 0 25 0 10 0 487490968 853774336 19647 4294967295 134512640 134569956 3221224416 3221214840 1131207820 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208441 19647 13073 16 0 208425 0
vsize: 833764
[startup+30.0012 s]
Raw data (loadavg): 0.55 0.15 0.05 2/63 25812
Raw data (stat): 25803 (java) R 25802 10614 10613 0 -1 0 17977 0 1 0 2693 42 0 0 25 0 10 0 487490968 853643264 20012 4294967295 134512640 134569956 3221224416 3221214288 1077558382 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208409 20012 13073 16 0 208393 0
vsize: 833636
[startup+40.0023 s]
Raw data (loadavg): 0.62 0.18 0.06 2/63 25812
Raw data (stat): 25803 (java) R 25802 10614 10613 0 -1 0 17977 0 1 0 3623 42 0 0 24 0 10 0 487490968 853643264 20235 4294967295 134512640 134569956 3221224416 3221214836 1130910776 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208409 20235 13073 16 0 208393 0
vsize: 833636
[startup+50.0023 s]
Raw data (loadavg): 0.68 0.20 0.07 2/63 25812
Raw data (stat): 25803 (java) R 25802 10614 10613 0 -1 0 17977 0 1 0 4556 42 0 0 25 0 10 0 487490968 853643264 20345 4294967295 134512640 134569956 3221224416 3221214732 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208409 20345 13073 16 0 208393 0
vsize: 833636
[startup+60.0025 s]
Raw data (loadavg): 0.73 0.23 0.08 2/63 25812
Raw data (stat): 25803 (java) R 25802 10614 10613 0 -1 0 17977 0 1 0 5489 42 0 0 25 0 10 0 487490968 853643264 20438 4294967295 134512640 134569956 3221224416 3221214304 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208409 20438 13073 16 0 208393 0
vsize: 833636
[startup+70.0043 s]
Raw data (loadavg): 0.77 0.26 0.09 2/63 25812
Raw data (stat): 25803 (java) R 25802 10614 10613 0 -1 0 17977 0 1 0 6432 42 0 0 25 0 10 0 487490968 853643264 20650 4294967295 134512640 134569956 3221224416 3221214716 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208409 20650 13073 16 0 208393 0
vsize: 833636
[startup+80.0044 s]
Raw data (loadavg): 0.80 0.28 0.10 2/63 25812
Raw data (stat): 25803 (java) R 25802 10614 10613 0 -1 0 17977 0 1 0 7381 43 0 0 25 0 10 0 487490968 853643264 20724 4294967295 134512640 134569956 3221224416 3221214272 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208409 20724 13073 16 0 208393 0
vsize: 833636
[startup+90.0059 s]
Raw data (loadavg): 0.83 0.30 0.11 3/63 25812
Raw data (stat): 25803 (java) R 25802 10614 10613 0 -1 0 17977 0 1 0 8330 43 0 0 24 0 10 0 487490968 853643264 20791 4294967295 134512640 134569956 3221224416 3221214820 1080204160 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208409 20791 13073 16 0 208393 0
vsize: 833636
[startup+100.006 s]
Raw data (loadavg): 0.86 0.33 0.11 2/63 25812
Raw data (stat): 25803 (java) R 25802 10614 10613 0 -1 0 17977 0 1 0 9279 43 0 0 24 0 10 0 487490968 853643264 20854 4294967295 134512640 134569956 3221224416 3221214288 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208409 20854 13073 16 0 208393 0
vsize: 833636
[startup+110.006 s]
Raw data (loadavg): 0.88 0.35 0.12 2/63 25812
Raw data (stat): 25803 (java) R 25802 10614 10613 0 -1 0 17977 0 1 0 10229 43 0 0 24 0 10 0 487490968 853643264 20913 4294967295 134512640 134569956 3221224416 3221214288 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208409 20913 13073 16 0 208393 0
vsize: 833636
[startup+120.01 s]
Raw data (loadavg): 0.90 0.37 0.13 2/63 25812
Raw data (stat): 25803 (java) S 25802 10614 10613 0 -1 0 17977 0 1 0 11182 43 0 0 25 0 10 0 487490968 853643264 20966 4294967295 134512640 134569956 3221224416 3221213512 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208409 20966 13073 16 0 208393 0
vsize: 833636
[startup+130.011 s]
Raw data (loadavg): 0.91 0.39 0.14 2/63 25812
Raw data (stat): 25803 (java) R 25802 10614 10613 0 -1 0 17977 0 1 0 12132 43 0 0 25 0 10 0 487490968 853643264 21018 4294967295 134512640 134569956 3221224416 3221214812 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208409 21018 13073 16 0 208393 0
vsize: 833636
[startup+140.012 s]
Raw data (loadavg): 0.93 0.41 0.15 2/63 25812
Raw data (stat): 25803 (java) R 25802 10614 10613 0 -1 0 17977 0 1 0 13081 44 0 0 25 0 10 0 487490968 853643264 21069 4294967295 134512640 134569956 3221224416 3221214820 1080204166 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208409 21069 13073 16 0 208393 0
vsize: 833636
[startup+150.013 s]
Raw data (loadavg): 0.94 0.43 0.16 2/63 25812
Raw data (stat): 25803 (java) R 25802 10614 10613 0 -1 0 17977 0 1 0 14031 44 0 0 25 0 10 0 487490968 853643264 21117 4294967295 134512640 134569956 3221224416 3221214824 1131208564 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208409 21117 13073 16 0 208393 0
vsize: 833636
[startup+160.013 s]
Raw data (loadavg): 0.95 0.45 0.17 2/63 25812
Raw data (stat): 25803 (java) R 25802 10614 10613 0 -1 0 17977 0 1 0 14980 44 0 0 25 0 10 0 487490968 853643264 21164 4294967295 134512640 134569956 3221224416 3221214288 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208409 21164 13073 16 0 208393 0
vsize: 833636
[startup+170.014 s]
Raw data (loadavg): 0.95 0.46 0.18 2/63 25812
Raw data (stat): 25803 (java) R 25802 10614 10613 0 -1 0 17977 0 1 0 15928 44 0 0 25 0 10 0 487490968 853643264 21209 4294967295 134512640 134569956 3221224416 3221214288 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208409 21209 13073 16 0 208393 0
vsize: 833636
[startup+180.016 s]
Raw data (loadavg): 0.96 0.48 0.18 2/63 25812
Raw data (stat): 25803 (java) R 25802 10614 10613 0 -1 0 17977 0 1 0 16856 44 0 0 24 0 10 0 487490968 853643264 21253 4294967295 134512640 134569956 3221224416 3221214716 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208409 21253 13073 16 0 208393 0
vsize: 833636
[startup+190.016 s]
Raw data (loadavg): 0.97 0.50 0.19 2/63 25812
Raw data (stat): 25803 (java) R 25802 10614 10613 0 -1 0 17977 0 1 0 17788 44 0 0 25 0 10 0 487490968 853643264 21296 4294967295 134512640 134569956 3221224416 3221214716 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208409 21296 13073 16 0 208393 0
vsize: 833636
[startup+200.016 s]
Raw data (loadavg): 0.97 0.51 0.20 2/63 25812
Raw data (stat): 25803 (java) R 25802 10614 10613 0 -1 0 17977 0 1 0 18730 44 0 0 25 0 10 0 487490968 853643264 21593 4294967295 134512640 134569956 3221224416 3221214288 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208409 21593 13073 16 0 208393 0
vsize: 833636
[startup+210.018 s]
Raw data (loadavg): 0.98 0.53 0.21 2/63 25812
Raw data (stat): 25803 (java) R 25802 10614 10613 0 -1 0 17977 0 1 0 19675 44 0 0 25 0 10 0 487490968 853643264 21633 4294967295 134512640 134569956 3221224416 3221214288 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208409 21633 13073 16 0 208393 0
vsize: 833636
[startup+220.021 s]
Raw data (loadavg): 0.98 0.54 0.22 2/63 25812
Raw data (stat): 25803 (java) S 25802 10614 10613 0 -1 0 17977 0 1 0 20622 45 0 0 25 0 10 0 487490968 853643264 21670 4294967295 134512640 134569956 3221224416 3221213528 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208409 21670 13073 16 0 208393 0
vsize: 833636
[startup+230.02 s]
Raw data (loadavg): 0.98 0.56 0.22 2/63 25812
Raw data (stat): 25803 (java) R 25802 10614 10613 0 -1 0 17977 0 1 0 21569 45 0 0 25 0 10 0 487490968 853643264 21707 4294967295 134512640 134569956 3221224416 3221214820 1080204166 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208409 21707 13073 16 0 208393 0
vsize: 833636
[startup+240.022 s]
Raw data (loadavg): 0.98 0.57 0.23 2/63 25812
Raw data (stat): 25803 (java) R 25802 10614 10613 0 -1 0 17977 0 1 0 22513 45 0 0 25 0 10 0 487490968 853643264 21745 4294967295 134512640 134569956 3221224416 3221214288 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208409 21745 13073 16 0 208393 0
vsize: 833636
[startup+250.023 s]
Raw data (loadavg): 0.99 0.59 0.24 2/63 25812
Raw data (stat): 25803 (java) R 25802 10614 10613 0 -1 0 17977 0 1 0 23457 45 0 0 25 0 10 0 487490968 853643264 21781 4294967295 134512640 134569956 3221224416 3221214272 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208409 21781 13073 16 0 208393 0
vsize: 833636
[startup+260.023 s]
Raw data (loadavg): 0.99 0.60 0.25 2/63 25812
Raw data (stat): 25803 (java) R 25802 10614 10613 0 -1 0 17977 0 1 0 24400 45 0 0 24 0 10 0 487490968 853643264 21816 4294967295 134512640 134569956 3221224416 3221214272 1077558382 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208409 21816 13073 16 0 208393 0
vsize: 833636
[startup+270.025 s]
Raw data (loadavg): 0.99 0.61 0.26 2/63 25812
Raw data (stat): 25803 (java) R 25802 10614 10613 0 -1 0 17977 0 1 0 25347 45 0 0 25 0 10 0 487490968 853643264 21849 4294967295 134512640 134569956 3221224416 3221214288 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208409 21849 13073 16 0 208393 0
vsize: 833636
[startup+280.025 s]
Raw data (loadavg): 0.99 0.62 0.26 2/63 25812
Raw data (stat): 25803 (java) R 25802 10614 10613 0 -1 0 17977 0 1 0 26289 45 0 0 25 0 10 0 487490968 853643264 21882 4294967295 134512640 134569956 3221224416 3221214716 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208409 21882 13073 16 0 208393 0
vsize: 833636
[startup+290.025 s]
Raw data (loadavg): 0.99 0.64 0.27 2/63 25812
Raw data (stat): 25803 (java) R 25802 10614 10613 0 -1 0 17977 0 1 0 27231 45 0 0 25 0 10 0 487490968 853643264 21916 4294967295 134512640 134569956 3221224416 3221214820 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208409 21916 13073 16 0 208393 0
vsize: 833636
[startup+300.027 s]
Raw data (loadavg): 0.99 0.65 0.28 2/63 25812
Raw data (stat): 25803 (java) R 25802 10614 10613 0 -1 0 17977 0 1 0 28176 45 0 0 25 0 10 0 487490968 853643264 21946 4294967295 134512640 134569956 3221224416 3221214820 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208409 21946 13073 16 0 208393 0
vsize: 833636
[startup+310.027 s]
Raw data (loadavg): 0.99 0.66 0.29 2/63 25812
Raw data (stat): 25803 (java) R 25802 10614 10613 0 -1 0 17977 0 1 0 29117 46 0 0 25 0 10 0 487490968 853643264 21978 4294967295 134512640 134569956 3221224416 3221214288 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208409 21978 13073 16 0 208393 0
vsize: 833636
[startup+320.029 s]
Raw data (loadavg): 0.99 0.67 0.29 2/63 25812
Raw data (stat): 25803 (java) R 25802 10614 10613 0 -1 0 17977 0 1 0 30057 46 0 0 25 0 10 0 487490968 853643264 22010 4294967295 134512640 134569956 3221224416 3221214288 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208409 22010 13073 16 0 208393 0
vsize: 833636
[startup+330.029 s]
Raw data (loadavg): 0.99 0.68 0.30 2/63 25812
Raw data (stat): 25803 (java) R 25802 10614 10613 0 -1 0 17977 0 1 0 31001 46 0 0 21 0 10 0 487490968 853643264 22039 4294967295 134512640 134569956 3221224416 3221214272 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208409 22039 13073 16 0 208393 0
vsize: 833636
[startup+340.03 s]
Raw data (loadavg): 0.99 0.69 0.31 2/63 25812
Raw data (stat): 25803 (java) R 25802 10614 10613 0 -1 0 17977 0 1 0 31941 46 0 0 25 0 10 0 487490968 853643264 22069 4294967295 134512640 134569956 3221224416 3221214288 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208409 22069 13073 16 0 208393 0
vsize: 833636
[startup+350.03 s]
Raw data (loadavg): 0.99 0.70 0.31 2/63 25812
Raw data (stat): 25803 (java) R 25802 10614 10613 0 -1 0 17977 0 1 0 32880 46 0 0 25 0 10 0 487490968 853643264 22099 4294967295 134512640 134569956 3221224416 3221214288 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208409 22099 13073 16 0 208393 0
vsize: 833636
[startup+360.03 s]
Raw data (loadavg): 0.99 0.71 0.32 2/63 25812
Raw data (stat): 25803 (java) R 25802 10614 10613 0 -1 0 17977 0 1 0 33823 46 0 0 25 0 10 0 487490968 853643264 22127 4294967295 134512640 134569956 3221224416 3221214716 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208409 22127 13073 16 0 208393 0
vsize: 833636
[startup+370.031 s]
Raw data (loadavg): 0.99 0.72 0.33 2/63 25812
Raw data (stat): 25803 (java) R 25802 10614 10613 0 -1 0 17977 0 1 0 34761 46 0 0 25 0 10 0 487490968 853643264 22156 4294967295 134512640 134569956 3221224416 3221214272 1077558382 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208409 22156 13073 16 0 208393 0
vsize: 833636
[startup+380.032 s]
Raw data (loadavg): 0.99 0.73 0.33 2/63 25812
Raw data (stat): 25803 (java) S 25802 10614 10613 0 -1 0 17977 0 1 0 35702 46 0 0 25 0 10 0 487490968 853643264 22183 4294967295 134512640 134569956 3221224416 3221213512 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208409 22183 13073 16 0 208393 0
vsize: 833636
[startup+390.036 s]
Raw data (loadavg): 0.99 0.74 0.34 2/63 25812
Raw data (stat): 25803 (java) R 25802 10614 10613 0 -1 0 17977 0 1 0 36640 46 0 0 25 0 10 0 487490968 853643264 22211 4294967295 134512640 134569956 3221224416 3221214716 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208409 22211 13073 16 0 208393 0
vsize: 833636
[startup+400.036 s]
Raw data (loadavg): 0.99 0.74 0.35 2/63 25812
Raw data (stat): 25803 (java) R 25802 10614 10613 0 -1 0 17977 0 1 0 37577 47 0 0 24 0 10 0 487490968 853643264 22240 4294967295 134512640 134569956 3221224416 3221214820 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208409 22240 13073 16 0 208393 0
vsize: 833636
[startup+410.036 s]
Raw data (loadavg): 0.99 0.75 0.35 2/63 25812
Raw data (stat): 25803 (java) R 25802 10614 10613 0 -1 0 17977 0 1 0 38517 47 0 0 25 0 10 0 487490968 853643264 22266 4294967295 134512640 134569956 3221224416 3221214272 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208409 22266 13073 16 0 208393 0
vsize: 833636
[startup+420.038 s]
Raw data (loadavg): 0.99 0.76 0.36 2/63 25812
Raw data (stat): 25803 (java) R 25802 10614 10613 0 -1 0 17977 0 1 0 39454 47 0 0 24 0 10 0 487490968 853643264 22293 4294967295 134512640 134569956 3221224416 3221214832 1131141089 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208409 22293 13073 16 0 208393 0
vsize: 833636
[startup+430.038 s]
Raw data (loadavg): 0.99 0.77 0.37 2/63 25812
Raw data (stat): 25803 (java) R 25802 10614 10613 0 -1 0 17977 0 1 0 40394 47 0 0 25 0 10 0 487490968 853643264 22319 4294967295 134512640 134569956 3221224416 3221214716 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208409 22319 13073 16 0 208393 0
vsize: 833636
[startup+440.038 s]
Raw data (loadavg): 0.99 0.77 0.37 2/63 25812
Raw data (stat): 25803 (java) R 25802 10614 10613 0 -1 0 17977 0 1 0 41330 47 0 0 25 0 10 0 487490968 853643264 22345 4294967295 134512640 134569956 3221224416 3221214272 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208409 22345 13073 16 0 208393 0
vsize: 833636
[startup+450.04 s]
Raw data (loadavg): 0.99 0.78 0.38 2/63 25812
Raw data (stat): 25803 (java) R 25802 10614 10613 0 -1 0 17977 0 1 0 42269 47 0 0 25 0 10 0 487490968 853643264 22370 4294967295 134512640 134569956 3221224416 3221214716 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208409 22370 13073 16 0 208393 0
vsize: 833636
[startup+460.04 s]
Raw data (loadavg): 0.99 0.79 0.38 2/63 25812
Raw data (stat): 25803 (java) R 25802 10614 10613 0 -1 0 17977 0 1 0 43202 47 0 0 25 0 10 0 487490968 853643264 22396 4294967295 134512640 134569956 3221224416 3221214716 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208409 22396 13073 16 0 208393 0
vsize: 833636
[startup+470.04 s]
Raw data (loadavg): 0.99 0.79 0.39 2/63 25812
Raw data (stat): 25803 (java) R 25802 10614 10613 0 -1 0 17977 0 1 0 44140 47 0 0 25 0 10 0 487490968 853643264 22420 4294967295 134512640 134569956 3221224416 3221214272 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208409 22420 13073 16 0 208393 0
vsize: 833636
[startup+480.041 s]
Raw data (loadavg): 0.99 0.80 0.40 2/63 25812
Raw data (stat): 25803 (java) R 25802 10614 10613 0 -1 0 17977 0 1 0 45074 47 0 0 24 0 10 0 487490968 853643264 22445 4294967295 134512640 134569956 3221224416 3221214272 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208409 22445 13073 16 0 208393 0
vsize: 833636
[startup+490.042 s]
Raw data (loadavg): 0.99 0.81 0.40 2/63 25812
Raw data (stat): 25803 (java) R 25802 10614 10613 0 -1 0 17977 0 1 0 46012 47 0 0 25 0 10 0 487490968 853643264 22469 4294967295 134512640 134569956 3221224416 3221214812 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208409 22469 13073 16 0 208393 0
vsize: 833636
[startup+500.047 s]
Raw data (loadavg): 0.99 0.81 0.41 2/63 25812
Raw data (stat): 25803 (java) S 25802 10614 10613 0 -1 0 17977 0 1 0 46946 48 0 0 25 0 10 0 487490968 853643264 22493 4294967295 134512640 134569956 3221224416 3221213528 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208409 22493 13073 16 0 208393 0
vsize: 833636
[startup+510.048 s]
Raw data (loadavg): 0.99 0.82 0.41 2/63 25812
Raw data (stat): 25803 (java) R 25802 10614 10613 0 -1 0 17977 0 1 0 47882 48 0 0 25 0 10 0 487490968 853643264 22517 4294967295 134512640 134569956 3221224416 3221214784 1131045363 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208409 22517 13073 16 0 208393 0
vsize: 833636
[startup+520.048 s]
Raw data (loadavg): 0.99 0.82 0.42 2/63 25812
Raw data (stat): 25803 (java) R 25802 10614 10613 0 -1 0 17977 0 1 0 48818 48 0 0 25 0 10 0 487490968 853643264 22540 4294967295 134512640 134569956 3221224416 3221214288 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208409 22540 13073 16 0 208393 0
vsize: 833636
[startup+530.048 s]
Raw data (loadavg): 0.99 0.83 0.43 2/63 25812
Raw data (stat): 25803 (java) R 25802 10614 10613 0 -1 0 17977 0 1 0 49749 48 0 0 25 0 10 0 487490968 853643264 22564 4294967295 134512640 134569956 3221224416 3221214812 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208409 22564 13073 16 0 208393 0
vsize: 833636
[startup+540.05 s]
Raw data (loadavg): 0.99 0.83 0.43 2/63 25812
Raw data (stat): 25803 (java) R 25802 10614 10613 0 -1 0 17977 0 1 0 50684 48 0 0 25 0 10 0 487490968 853643264 22586 4294967295 134512640 134569956 3221224416 3221214716 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208409 22586 13073 16 0 208393 0
vsize: 833636
[startup+550.05 s]
Raw data (loadavg): 0.99 0.84 0.44 2/63 25812
Raw data (stat): 25803 (java) R 25802 10614 10613 0 -1 0 17977 0 1 0 51615 48 0 0 24 0 10 0 487490968 853643264 22610 4294967295 134512640 134569956 3221224416 3221214272 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208409 22610 13073 16 0 208393 0
vsize: 833636
[startup+560.051 s]
Raw data (loadavg): 0.99 0.84 0.44 2/63 25812
Raw data (stat): 25803 (java) R 25802 10614 10613 0 -1 0 17977 0 1 0 52549 48 0 0 25 0 10 0 487490968 853643264 22632 4294967295 134512640 134569956 3221224416 3221214272 1077558382 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208409 22632 13073 16 0 208393 0
vsize: 833636
[startup+570.052 s]
Raw data (loadavg): 0.99 0.85 0.45 2/63 25812
Raw data (stat): 25803 (java) R 25802 10614 10613 0 -1 0 17977 0 1 0 53484 48 0 0 25 0 10 0 487490968 853643264 22653 4294967295 134512640 134569956 3221224416 3221214716 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208409 22653 13073 16 0 208393 0
vsize: 833636
[startup+580.052 s]
Raw data (loadavg): 0.99 0.85 0.45 2/63 25812
Raw data (stat): 25803 (java) R 25802 10614 10613 0 -1 0 17977 0 1 0 54413 48 0 0 25 0 10 0 487490968 853643264 22676 4294967295 134512640 134569956 3221224416 3221214288 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208409 22676 13073 16 0 208393 0
vsize: 833636
[startup+590.053 s]
Raw data (loadavg): 0.99 0.86 0.46 2/63 25812
Raw data (stat): 25803 (java) R 25802 10614 10613 0 -1 0 17977 0 1 0 55347 48 0 0 25 0 10 0 487490968 853643264 22698 4294967295 134512640 134569956 3221224416 3221214812 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208409 22698 13073 16 0 208393 0
vsize: 833636
[startup+600.055 s]
Raw data (loadavg): 0.99 0.86 0.46 2/63 25812
Raw data (stat): 25803 (java) R 25802 10614 10613 0 -1 0 17977 0 1 0 56281 49 0 0 25 0 10 0 487490968 853643264 22719 4294967295 134512640 134569956 3221224416 3221214288 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208409 22719 13073 16 0 208393 0
vsize: 833636
[startup+610.055 s]
Raw data (loadavg): 0.99 0.86 0.47 2/63 25812
Raw data (stat): 25803 (java) R 25802 10614 10613 0 -1 0 17977 0 1 0 57209 49 0 0 25 0 10 0 487490968 853643264 22742 4294967295 134512640 134569956 3221224416 3221214716 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208409 22742 13073 16 0 208393 0
vsize: 833636
[startup+620.056 s]
Raw data (loadavg): 0.99 0.87 0.47 2/63 25812
Raw data (stat): 25803 (java) R 25802 10614 10613 0 -1 0 17977 0 1 0 58141 49 0 0 25 0 10 0 487490968 853643264 22763 4294967295 134512640 134569956 3221224416 3221214288 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208409 22763 13073 16 0 208393 0
vsize: 833636
[startup+630.057 s]
Raw data (loadavg): 0.99 0.87 0.48 2/63 25812
Raw data (stat): 25803 (java) R 25802 10614 10613 0 -1 0 17977 0 1 0 59072 49 0 0 25 0 10 0 487490968 853643264 22784 4294967295 134512640 134569956 3221224416 3221214272 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208409 22784 13073 16 0 208393 0
vsize: 833636
[startup+640.058 s]
Raw data (loadavg): 0.99 0.88 0.48 2/63 25812
Raw data (stat): 25803 (java) R 25802 10614 10613 0 -1 0 17977 0 1 0 59999 49 0 0 25 0 10 0 487490968 853643264 22806 4294967295 134512640 134569956 3221224416 3221214288 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208409 22806 13073 16 0 208393 0
vsize: 833636
[startup+650.058 s]
Raw data (loadavg): 0.99 0.88 0.49 2/63 25812
Raw data (stat): 25803 (java) R 25802 10614 10613 0 -1 0 17977 0 1 0 60930 49 0 0 25 0 10 0 487490968 853643264 22826 4294967295 134512640 134569956 3221224416 3221214812 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208409 22826 13073 16 0 208393 0
vsize: 833636
[startup+660.059 s]
Raw data (loadavg): 0.99 0.88 0.49 2/63 25812
Raw data (stat): 25803 (java) R 25802 10614 10613 0 -1 0 17977 0 1 0 61861 49 0 0 25 0 10 0 487490968 853643264 22847 4294967295 134512640 134569956 3221224416 3221214288 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208409 22847 13073 16 0 208393 0
vsize: 833636
[startup+670.061 s]
Raw data (loadavg): 0.99 0.89 0.50 2/63 25812
Raw data (stat): 25803 (java) R 25802 10614 10613 0 -1 0 17977 0 1 0 62788 49 0 0 24 0 10 0 487490968 853643264 22871 4294967295 134512640 134569956 3221224416 3221214288 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208409 22871 13073 16 0 208393 0
vsize: 833636
[startup+680.061 s]
Raw data (loadavg): 0.99 0.89 0.50 2/63 25812
Raw data (stat): 25803 (java) R 25802 10614 10613 0 -1 0 17977 0 1 0 63719 49 0 0 25 0 10 0 487490968 853643264 22896 4294967295 134512640 134569956 3221224416 3221214288 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208409 22896 13073 16 0 208393 0
vsize: 833636
[startup+690.061 s]
Raw data (loadavg): 0.99 0.89 0.51 2/63 25812
Raw data (stat): 25803 (java) R 25802 10614 10613 0 -1 0 17977 0 1 0 64649 50 0 0 25 0 10 0 487490968 853643264 22931 4294967295 134512640 134569956 3221224416 3221214716 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208409 22931 13073 16 0 208393 0
vsize: 833636
[startup+700.062 s]
Raw data (loadavg): 0.99 0.90 0.51 2/63 25812
Raw data (stat): 25803 (java) R 25802 10614 10613 0 -1 0 17977 0 1 0 65574 50 0 0 25 0 10 0 487490968 853643264 23955 4294967295 134512640 134569956 3221224416 3221214812 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208409 23955 13073 16 0 208393 0
vsize: 833636
[startup+710.064 s]
Raw data (loadavg): 0.99 0.90 0.52 2/63 25812
Raw data (stat): 25803 (java) S 25802 10614 10613 0 -1 0 17977 0 1 0 66498 50 0 0 25 0 10 0 487490968 853643264 23955 4294967295 134512640 134569956 3221224416 3221213408 1073952481 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208409 23955 13073 16 0 208393 0
vsize: 833636
[startup+720.065 s]
Raw data (loadavg): 0.99 0.90 0.52 2/63 25812
Raw data (stat): 25803 (java) R 25802 10614 10613 0 -1 0 17977 0 1 0 67416 50 0 0 24 0 10 0 487490968 853643264 23983 4294967295 134512640 134569956 3221224416 3221214288 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208409 23983 13073 16 0 208393 0
vsize: 833636
[startup+730.066 s]
Raw data (loadavg): 0.99 0.90 0.53 2/63 25812
Raw data (stat): 25803 (java) R 25802 10614 10613 0 -1 0 17977 0 1 0 68336 50 0 0 25 0 10 0 487490968 853643264 24007 4294967295 134512640 134569956 3221224416 3221214716 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208409 24007 13073 16 0 208393 0
vsize: 833636
[startup+740.066 s]
Raw data (loadavg): 0.99 0.91 0.53 2/63 25812
Raw data (stat): 25803 (java) R 25802 10614 10613 0 -1 0 17977 0 1 0 69256 50 0 0 25 0 10 0 487490968 853643264 24028 4294967295 134512640 134569956 3221224416 3221214288 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208409 24028 13073 16 0 208393 0
vsize: 833636
[startup+750.067 s]
Raw data (loadavg): 0.99 0.91 0.54 2/63 25812
Raw data (stat): 25803 (java) R 25802 10614 10613 0 -1 0 17977 0 1 0 70175 50 0 0 25 0 10 0 487490968 853643264 24053 4294967295 134512640 134569956 3221224416 3221214716 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208409 24053 13073 16 0 208393 0
vsize: 833636
[startup+760.067 s]
Raw data (loadavg): 0.99 0.91 0.54 2/63 25812
Raw data (stat): 25803 (java) R 25802 10614 10613 0 -1 0 17977 0 1 0 71094 50 0 0 25 0 10 0 487490968 853643264 24076 4294967295 134512640 134569956 3221224416 3221214288 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208409 24076 13073 16 0 208393 0
vsize: 833636
[startup+770.069 s]
Raw data (loadavg): 0.99 0.91 0.55 2/63 25812
Raw data (stat): 25803 (java) R 25802 10614 10613 0 -1 0 17977 0 1 0 72014 50 0 0 25 0 10 0 487490968 853643264 24097 4294967295 134512640 134569956 3221224416 3221214272 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208409 24097 13073 16 0 208393 0
vsize: 833636
[startup+780.068 s]
Raw data (loadavg): 0.99 0.92 0.55 2/63 25812
Raw data (stat): 25803 (java) R 25802 10614 10613 0 -1 0 17977 0 1 0 72932 51 0 0 25 0 10 0 487490968 853643264 24115 4294967295 134512640 134569956 3221224416 3221214288 1080019747 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208409 24115 13073 16 0 208393 0
vsize: 833636
[startup+790.068 s]
Raw data (loadavg): 0.99 0.92 0.56 2/63 25812
Raw data (stat): 25803 (java) R 25802 10614 10613 0 -1 0 17977 0 1 0 73850 51 0 0 25 0 10 0 487490968 853643264 24145 4294967295 134512640 134569956 3221224416 3221214716 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208409 24145 13073 16 0 208393 0
vsize: 833636
[startup+800.068 s]
Raw data (loadavg): 0.99 0.92 0.56 2/63 25812
Raw data (stat): 25803 (java) R 25802 10614 10613 0 -1 0 17977 0 1 0 74768 51 0 0 25 0 10 0 487490968 853643264 24167 4294967295 134512640 134569956 3221224416 3221214288 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208409 24167 13073 16 0 208393 0
vsize: 833636
[startup+810.068 s]
Raw data (loadavg): 0.99 0.92 0.56 2/63 25812
Raw data (stat): 25803 (java) R 25802 10614 10613 0 -1 0 17977 0 1 0 75687 51 0 0 25 0 10 0 487490968 853643264 24187 4294967295 134512640 134569956 3221224416 3221214272 1077558382 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208409 24187 13073 16 0 208393 0
vsize: 833636
[startup+820.069 s]
Raw data (loadavg): 0.99 0.92 0.57 2/63 25812
Raw data (stat): 25803 (java) R 25802 10614 10613 0 -1 0 17977 0 1 0 76605 51 0 0 25 0 10 0 487490968 853643264 24205 4294967295 134512640 134569956 3221224416 3221214716 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208409 24205 13073 16 0 208393 0
vsize: 833636
[startup+830.07 s]
Raw data (loadavg): 0.99 0.93 0.57 2/63 25812
Raw data (stat): 25803 (java) R 25802 10614 10613 0 -1 0 17977 0 1 0 77523 51 0 0 25 0 10 0 487490968 853643264 24223 4294967295 134512640 134569956 3221224416 3221214820 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208409 24223 13073 16 0 208393 0
vsize: 833636
[startup+840.069 s]
Raw data (loadavg): 0.99 0.93 0.57 2/63 25812
Raw data (stat): 25803 (java) R 25802 10614 10613 0 -1 0 17977 0 1 0 78440 51 0 0 25 0 10 0 487490968 853643264 24254 4294967295 134512640 134569956 3221224416 3221214288 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208409 24254 13073 16 0 208393 0
vsize: 833636
[startup+850.069 s]
Raw data (loadavg): 0.99 0.93 0.58 2/63 25812
Raw data (stat): 25803 (java) R 25802 10614 10613 0 -1 0 17977 0 1 0 79356 51 0 0 25 0 10 0 487490968 853643264 24276 4294967295 134512640 134569956 3221224416 3221214716 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208409 24276 13073 16 0 208393 0
vsize: 833636
[startup+860.07 s]
Raw data (loadavg): 0.99 0.93 0.58 2/63 25812
Raw data (stat): 25803 (java) R 25802 10614 10613 0 -1 0 17977 0 1 0 80273 51 0 0 25 0 10 0 487490968 853643264 24294 4294967295 134512640 134569956 3221224416 3221214716 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208409 24294 13073 16 0 208393 0
vsize: 833636
[startup+870.07 s]
Raw data (loadavg): 0.99 0.93 0.59 2/63 25812
Raw data (stat): 25803 (java) R 25802 10614 10613 0 -1 0 17977 0 1 0 81189 51 0 0 25 0 10 0 487490968 853643264 24318 4294967295 134512640 134569956 3221224416 3221214288 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208409 24318 13073 16 0 208393 0
vsize: 833636
[startup+880.07 s]
Raw data (loadavg): 0.99 0.94 0.59 2/63 25812
Raw data (stat): 25803 (java) R 25802 10614 10613 0 -1 0 17977 0 1 0 82105 51 0 0 25 0 10 0 487490968 853643264 24340 4294967295 134512640 134569956 3221224416 3221214716 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208409 24340 13073 16 0 208393 0
vsize: 833636
[startup+890.07 s]
Raw data (loadavg): 0.99 0.94 0.59 2/63 25812
Raw data (stat): 25803 (java) R 25802 10614 10613 0 -1 0 17977 0 1 0 83019 51 0 0 25 0 10 0 487490968 853643264 24363 4294967295 134512640 134569956 3221224416 3221214288 1080019741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208409 24363 13073 16 0 208393 0
vsize: 833636
[startup+900.07 s]
Raw data (loadavg): 0.99 0.94 0.60 2/63 25812
Raw data (stat): 25803 (java) R 25802 10614 10613 0 -1 0 17977 0 1 0 83935 52 0 0 22 0 10 0 487490968 853643264 24381 4294967295 134512640 134569956 3221224416 3221214820 1080204160 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208409 24381 13073 16 0 208393 0
vsize: 833636
[startup+910.07 s]
Raw data (loadavg): 0.99 0.94 0.60 2/63 25812
Raw data (stat): 25803 (java) R 25802 10614 10613 0 -1 0 17977 0 1 0 84850 52 0 0 25 0 10 0 487490968 853643264 24398 4294967295 134512640 134569956 3221224416 3221214288 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208409 24398 13073 16 0 208393 0
vsize: 833636
[startup+920.071 s]
Raw data (loadavg): 0.99 0.94 0.61 2/63 25812
Raw data (stat): 25803 (java) R 25802 10614 10613 0 -1 0 17977 0 1 0 85765 52 0 0 25 0 10 0 487490968 853643264 24426 4294967295 134512640 134569956 3221224416 3221214288 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208409 24426 13073 16 0 208393 0
vsize: 833636
[startup+930.07 s]
Raw data (loadavg): 0.99 0.94 0.61 2/63 25812
Raw data (stat): 25803 (java) R 25802 10614 10613 0 -1 0 17977 0 1 0 86679 52 0 0 25 0 10 0 487490968 853643264 24445 4294967295 134512640 134569956 3221224416 3221214716 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208409 24445 13073 16 0 208393 0
vsize: 833636
[startup+940.071 s]
Raw data (loadavg): 0.99 0.94 0.61 2/63 25812
Raw data (stat): 25803 (java) R 25802 10614 10613 0 -1 0 17977 0 1 0 87593 52 0 0 25 0 10 0 487490968 853643264 24462 4294967295 134512640 134569956 3221224416 3221214288 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208409 24462 13073 16 0 208393 0
vsize: 833636
[startup+950.071 s]
Raw data (loadavg): 0.99 0.95 0.62 2/63 25812
Raw data (stat): 25803 (java) R 25802 10614 10613 0 -1 0 17977 0 1 0 88506 52 0 0 25 0 10 0 487490968 853643264 24488 4294967295 134512640 134569956 3221224416 3221214288 1080019747 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208409 24488 13073 16 0 208393 0
vsize: 833636
[startup+960.07 s]
Raw data (loadavg): 0.99 0.95 0.62 2/63 25812
Raw data (stat): 25803 (java) R 25802 10614 10613 0 -1 0 17977 0 1 0 89420 52 0 0 25 0 10 0 487490968 853643264 24506 4294967295 134512640 134569956 3221224416 3221214812 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208409 24506 13073 16 0 208393 0
vsize: 833636
[startup+970.071 s]
Raw data (loadavg): 0.99 0.95 0.63 2/63 25812
Raw data (stat): 25803 (java) R 25802 10614 10613 0 -1 0 17977 0 1 0 90333 52 0 0 25 0 10 0 487490968 853643264 24529 4294967295 134512640 134569956 3221224416 3221214288 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208409 24529 13073 16 0 208393 0
vsize: 833636
[startup+980.072 s]
Raw data (loadavg): 0.99 0.95 0.63 2/63 25812
Raw data (stat): 25803 (java) R 25802 10614 10613 0 -1 0 17977 0 1 0 91247 52 0 0 25 0 10 0 487490968 853643264 24545 4294967295 134512640 134569956 3221224416 3221214716 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208409 24545 13073 16 0 208393 0
vsize: 833636
[startup+990.072 s]
Raw data (loadavg): 0.99 0.95 0.63 2/63 25812
Raw data (stat): 25803 (java) R 25802 10614 10613 0 -1 0 17977 0 1 0 92159 53 0 0 25 0 10 0 487490968 853643264 24562 4294967295 134512640 134569956 3221224416 3221214272 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208409 24562 13073 16 0 208393 0
vsize: 833636
[startup+1000.07 s]
Raw data (loadavg): 0.99 0.95 0.64 2/63 25812
Raw data (stat): 25803 (java) R 25802 10614 10613 0 -1 0 17977 0 1 0 93072 53 0 0 25 0 10 0 487490968 853643264 24588 4294967295 134512640 134569956 3221224416 3221214716 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208409 24588 13073 16 0 208393 0
vsize: 833636
[startup+1010.07 s]
Raw data (loadavg): 0.99 0.95 0.64 2/63 25812
Raw data (stat): 25803 (java) R 25802 10614 10613 0 -1 0 17977 0 1 0 93981 53 0 0 25 0 10 0 487490968 853643264 24609 4294967295 134512640 134569956 3221224416 3221214716 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208409 24609 13073 16 0 208393 0
vsize: 833636
[startup+1020.07 s]
Raw data (loadavg): 0.99 0.95 0.64 2/63 25812
Raw data (stat): 25803 (java) R 25802 10614 10613 0 -1 0 17977 0 1 0 94892 54 0 0 24 0 10 0 487490968 853643264 24626 4294967295 134512640 134569956 3221224416 3221214716 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208409 24626 13073 16 0 208393 0
vsize: 833636
[startup+1030.07 s]
Raw data (loadavg): 0.99 0.95 0.65 2/63 25812
Raw data (stat): 25803 (java) R 25802 10614 10613 0 -1 0 17977 0 1 0 95804 54 0 0 24 0 10 0 487490968 853643264 24647 4294967295 134512640 134569956 3221224416 3221214360 1079300817 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208409 24647 13073 16 0 208393 0
vsize: 833636
[startup+1040.07 s]
Raw data (loadavg): 0.99 0.95 0.65 2/63 25812
Raw data (stat): 25803 (java) S 25802 10614 10613 0 -1 0 17977 0 1 0 96716 54 0 0 25 0 10 0 487490968 853643264 24662 4294967295 134512640 134569956 3221224416 3221213528 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208409 24662 13073 16 0 208393 0
vsize: 833636
[startup+1050.07 s]
Raw data (loadavg): 0.99 0.96 0.65 2/63 25812
Raw data (stat): 25803 (java) R 25802 10614 10613 0 -1 0 17977 0 1 0 97632 55 0 0 25 0 10 0 487490968 853643264 24685 4294967295 134512640 134569956 3221224416 3221214288 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208409 24685 13073 16 0 208393 0
vsize: 833636
[startup+1060.07 s]
Raw data (loadavg): 0.99 0.96 0.65 2/63 25812
Raw data (stat): 25803 (java) R 25802 10614 10613 0 -1 0 17977 0 1 0 98543 55 0 0 25 0 10 0 487490968 853643264 24702 4294967295 134512640 134569956 3221224416 3221214716 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208409 24702 13073 16 0 208393 0
vsize: 833636
[startup+1070.07 s]
Raw data (loadavg): 0.99 0.96 0.66 2/63 25812
Raw data (stat): 25803 (java) R 25802 10614 10613 0 -1 0 17977 0 1 0 99454 55 0 0 25 0 10 0 487490968 853643264 24718 4294967295 134512640 134569956 3221224416 3221214716 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208409 24718 13073 16 0 208393 0
vsize: 833636
[startup+1080.07 s]
Raw data (loadavg): 0.99 0.96 0.66 2/63 25812
Raw data (stat): 25803 (java) R 25802 10614 10613 0 -1 0 17977 0 1 0 100365 55 0 0 25 0 10 0 487490968 853643264 24744 4294967295 134512640 134569956 3221224416 3221214716 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208409 24744 13073 16 0 208393 0
vsize: 833636
[startup+1090.07 s]
Raw data (loadavg): 0.99 0.96 0.66 2/63 25812
Raw data (stat): 25803 (java) R 25802 10614 10613 0 -1 0 17977 0 1 0 101275 55 0 0 25 0 10 0 487490968 853643264 24761 4294967295 134512640 134569956 3221224416 3221214288 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208409 24761 13073 16 0 208393 0
vsize: 833636
[startup+1100.07 s]
Raw data (loadavg): 0.99 0.96 0.67 2/63 25812
Raw data (stat): 25803 (java) R 25802 10614 10613 0 -1 0 17977 0 1 0 102185 55 0 0 25 0 10 0 487490968 853643264 24783 4294967295 134512640 134569956 3221224416 3221214176 1076874552 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208409 24783 13073 16 0 208393 0
vsize: 833636
[startup+1110.08 s]
Raw data (loadavg): 0.99 0.96 0.67 2/63 25812
Raw data (stat): 25803 (java) R 25802 10614 10613 0 -1 0 17977 0 1 0 103095 56 0 0 24 0 10 0 487490968 853643264 24801 4294967295 134512640 134569956 3221224416 3221214812 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208409 24801 13073 16 0 208393 0
vsize: 833636
[startup+1120.08 s]
Raw data (loadavg): 0.99 0.96 0.67 2/63 25812
Raw data (stat): 25803 (java) R 25802 10614 10613 0 -1 0 17977 0 1 0 104009 56 0 0 25 0 10 0 487490968 853643264 24819 4294967295 134512640 134569956 3221224416 3221214288 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208409 24819 13073 16 0 208393 0
vsize: 833636
[startup+1130.08 s]
Raw data (loadavg): 0.99 0.96 0.68 2/63 25812
Raw data (stat): 25803 (java) R 25802 10614 10613 0 -1 0 17977 0 1 0 104915 56 0 0 25 0 10 0 487490968 853643264 24838 4294967295 134512640 134569956 3221224416 3221214288 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208409 24838 13073 16 0 208393 0
vsize: 833636
[startup+1140.08 s]
Raw data (loadavg): 0.99 0.96 0.68 2/63 25812
Raw data (stat): 25803 (java) R 25802 10614 10613 0 -1 0 17977 0 1 0 105824 56 0 0 25 0 10 0 487490968 853643264 24854 4294967295 134512640 134569956 3221224416 3221214820 1080204166 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208409 24854 13073 16 0 208393 0
vsize: 833636
[startup+1150.08 s]
Raw data (loadavg): 0.99 0.97 0.68 2/63 25812
Raw data (stat): 25803 (java) R 25802 10614 10613 0 -1 0 17977 0 1 0 106732 56 0 0 25 0 10 0 487490968 853643264 24875 4294967295 134512640 134569956 3221224416 3221214812 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208409 24875 13073 16 0 208393 0
vsize: 833636
[startup+1160.08 s]
Raw data (loadavg): 0.99 0.97 0.68 2/63 25812
Raw data (stat): 25803 (java) R 25802 10614 10613 0 -1 0 17981 0 1 0 107619 57 0 0 25 0 10 0 487490968 855654400 25421 4294967295 134512640 134569956 3221224416 3221214360 1131260273 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208900 25421 13073 16 0 208884 0
vsize: 835600
[startup+1170.08 s]
Raw data (loadavg): 0.99 0.97 0.69 2/64 25813
Raw data (stat): 25803 (java) R 25802 10614 10613 0 -1 0 18011 0 1 0 108531 63 0 0 25 0 11 0 487490968 857133056 28746 4294967295 134512640 134569956 3221224416 3221214664 1131291339 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209261 28746 13073 16 0 209245 0
vsize: 837044
[startup+1180.08 s]
Raw data (loadavg): 1.14 1.00 0.70 2/64 25814
Raw data (stat): 25803 (java) R 25802 10614 10613 0 -1 0 18012 3 1 0 109460 63 0 0 25 0 11 0 487490968 857100288 30333 4294967295 134512640 134569956 3221224416 3221214880 1131417080 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209253 30333 13073 16 0 209237 0
vsize: 837012
[startup+1190.08 s]
Raw data (loadavg): 1.12 1.00 0.70 2/64 25814
Raw data (stat): 25803 (java) R 25802 10614 10613 0 -1 0 18012 3 1 0 110456 63 0 0 25 0 11 0 487490968 857100288 30335 4294967295 134512640 134569956 3221224416 3221214876 1131318508 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209253 30335 13073 16 0 209237 0
vsize: 837012
[startup+1200.08 s]
Raw data (loadavg): 1.26 1.03 0.72 3/64 25814
Raw data (stat): 25803 (java) R 25802 10614 10613 0 -1 0 18049 3 1 0 111370 64 0 0 25 0 11 0 487490968 859721728 31159 4294967295 134512640 134569956 3221224416 3221214644 1130899396 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209893 31159 13073 16 0 209877 0
vsize: 839572
[startup+1210.08 s]
Raw data (loadavg): 1.22 1.03 0.72 2/64 25814
Raw data (stat): 25803 (java) R 25802 10614 10613 0 -1 0 18050 3 1 0 112294 64 0 0 25 0 11 0 487490968 859197440 33155 4294967295 134512640 134569956 3221224416 3221214544 1131433106 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209765 33155 13073 16 0 209749 0
vsize: 839060
[startup+1220.08 s]
Raw data (loadavg): 1.19 1.03 0.72 2/64 25814
Raw data (stat): 25803 (java) R 25802 10614 10613 0 -1 0 18050 3 1 0 113292 64 0 0 25 0 11 0 487490968 859197440 33155 4294967295 134512640 134569956 3221224416 3221214752 1131681124 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209765 33155 13073 16 0 209749 0
vsize: 839060
[startup+1230.08 s]
Raw data (loadavg): 1.16 1.03 0.73 2/64 25814
Raw data (stat): 25803 (java) R 25802 10614 10613 0 -1 0 18050 3 1 0 114290 64 0 0 25 0 11 0 487490968 859197440 33155 4294967295 134512640 134569956 3221224416 3221214544 1131432973 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209765 33155 13073 16 0 209749 0
vsize: 839060
[startup+1240.08 s]
Raw data (loadavg): 1.13 1.03 0.73 2/64 25814
Raw data (stat): 25803 (java) R 25802 10614 10613 0 -1 0 18050 3 1 0 115288 64 0 0 25 0 11 0 487490968 859197440 33155 4294967295 134512640 134569956 3221224416 3221214544 1131432896 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209765 33155 13073 16 0 209749 0
vsize: 839060
[startup+1250.08 s]
Raw data (loadavg): 1.11 1.03 0.73 2/64 25814
Raw data (stat): 25803 (java) R 25802 10614 10613 0 -1 0 18050 3 1 0 116287 64 0 0 25 0 11 0 487490968 859197440 33155 4294967295 134512640 134569956 3221224416 3221214748 1131318508 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209765 33155 13073 16 0 209749 0
vsize: 839060
[startup+1260.08 s]
Raw data (loadavg): 1.09 1.03 0.73 2/64 25814
Raw data (stat): 25803 (java) R 25802 10614 10613 0 -1 0 18050 3 1 0 117285 64 0 0 25 0 11 0 487490968 859197440 33155 4294967295 134512640 134569956 3221224416 3221214728 1131681037 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209765 33155 13073 16 0 209749 0
vsize: 839060
[startup+1270.08 s]
Raw data (loadavg): 1.08 1.02 0.73 2/64 25814
Raw data (stat): 25803 (java) R 25802 10614 10613 0 -1 0 18050 3 1 0 118284 64 0 0 25 0 11 0 487490968 859197440 33155 4294967295 134512640 134569956 3221224416 3221214728 1131681145 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209765 33155 13073 16 0 209749 0
vsize: 839060
[startup+1280.08 s]
Raw data (loadavg): 1.07 1.02 0.74 2/64 25814
Raw data (stat): 25803 (java) R 25802 10614 10613 0 -1 0 18050 3 1 0 119279 65 0 0 25 0 11 0 487490968 859197440 33159 4294967295 134512640 134569956 3221224416 3221214624 1131686050 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209765 33159 13073 16 0 209749 0
vsize: 839060
[startup+1290.08 s]
Raw data (loadavg): 1.06 1.02 0.74 2/64 25814
Raw data (stat): 25803 (java) R 25802 10614 10613 0 -1 0 18050 3 1 0 120279 65 0 0 25 0 11 0 487490968 859197440 33159 4294967295 134512640 134569956 3221224416 3221214624 1131686050 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209765 33159 13073 16 0 209749 0
vsize: 839060
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1290.18 s]
Raw data (loadavg): 1.06 1.02 0.74 1/54 25816
Raw data (stat): 25803 (java) Z 25802 10614 10613 0 -1 1036 18050 19218 1 0 120283 71 9660 64 25 0 1 0 487490968 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): 1290.18
CPU time (s): 1300.81
CPU user time (s): 1299.44
CPU system time (s): 1.36179
CPU usage (%): 100.823
Max. virtual memory (Kb): 839572
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####