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/manquinho/primes-dimacs-cnf/normalized-par16-2.opb
MD5SUM	ff021c96fa8729c0ff59034e5dd63ec7
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	1015
Optimality of the best value was proved	NO
Number of terms in the objective function	2030
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	2030
Number of bits of the sum of numbers in the objective function	11
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	2030
Number of bits of the biggest sum of numbers	11
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	11.3383
Number of variables	2030
Total number of constraints	4389
Number of constraints which are clauses	4389
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	1
Maximum length of a constraint	3
Trace number 4383

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc9 THE 2005-04-13 16:50:52 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=1764 boxname=wulflinc9 idbench=196 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  ff021c96fa8729c0ff59034e5dd63ec7  /oldhome/oroussel/tmp/wulflinc9/normalized-par16-2.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc9/normalized-par16-2.opb
IDLAUNCH: 1764
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.242
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.242
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:        935980 kB
Buffers:         32192 kB
Cached:          46804 kB
SwapCached:        564 kB
Active:          43904 kB
Inactive:        38468 kB
HighTotal:      131008 kB
HighFree:        80276 kB
LowTotal:       903652 kB
LowFree:        855704 kB
SwapTotal:     2097136 kB
SwapFree:      2096572 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6928 kB
Slab:            10776 kB
Committed_AS:    63480 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-13 17:11:24 (client local time) WITH STATUS 143 IN  SECONDS
stats: 1764 7  143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc9/normalized-par16-2.opb
c reading problem 
c [nbvar=2030]
c [nbconstr=4389]
c time 5.486
c #vars     2030
c #clauses  4389
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=1015
c Current CPU time (ms) : 876.186
c starts	: 8
c conflicts	: 3864
c decisions	: 4174
c propagations	: 1826957
c inspects	: 4777061
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 3864
c root simplifications	: 8
#### 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): 1.11 1.04 0.93 2/54 31376
Raw data (stat): 31376 (runsolver) R 31375 30854 30853 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 419305207 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.0008 s]
Raw data (loadavg): 1.25 1.07 0.94 4/64 31386
Raw data (stat): 31376 (java) R 31375 30854 30853 0 -1 0 18082 0 1 0 744 45 0 0 25 0 11 0 419305207 863903744 21470 4294967295 134512640 134569956 3221224416 3221214752 1131357228 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210914 21470 13073 16 0 210898 0
vsize: 843656
[startup+20.0015 s]
Raw data (loadavg): 1.21 1.07 0.94 2/64 31386
Raw data (stat): 31376 (java) R 31375 30854 30853 0 -1 0 18082 0 1 0 1712 46 0 0 25 0 11 0 419305207 861859840 21410 4294967295 134512640 134569956 3221224416 3221214736 1131357226 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210415 21410 13073 16 0 210399 0
vsize: 841660
[startup+30.0029 s]
Raw data (loadavg): 1.18 1.07 0.94 2/64 31386
Raw data (stat): 31376 (java) R 31375 30854 30853 0 -1 0 18082 0 1 0 2692 46 0 0 25 0 11 0 419305207 861220864 21430 4294967295 134512640 134569956 3221224416 3221214848 1131343804 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210259 21430 13073 16 0 210243 0
vsize: 841036
[startup+40.0031 s]
Raw data (loadavg): 1.15 1.06 0.94 2/64 31386
Raw data (stat): 31376 (java) R 31375 30854 30853 0 -1 0 18082 0 1 0 3676 46 0 0 25 0 11 0 419305207 861220864 21606 4294967295 134512640 134569956 3221224416 3221214848 1131343823 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210259 21606 13073 16 0 210243 0
vsize: 841036
[startup+50.0038 s]
Raw data (loadavg): 1.13 1.06 0.94 2/64 31386
Raw data (stat): 31376 (java) R 31375 30854 30853 0 -1 0 18082 0 1 0 4667 46 0 0 25 0 11 0 419305207 861220864 21695 4294967295 134512640 134569956 3221224416 3221214848 1131343713 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210259 21695 13073 16 0 210243 0
vsize: 841036
[startup+60.0039 s]
Raw data (loadavg): 1.11 1.06 0.94 2/64 31386
Raw data (stat): 31376 (java) R 31375 30854 30853 0 -1 0 18082 0 1 0 5649 46 0 0 25 0 11 0 419305207 861220864 21902 4294967295 134512640 134569956 3221224416 3221214848 1131343997 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210259 21902 13073 16 0 210243 0
vsize: 841036
[startup+70.0046 s]
Raw data (loadavg): 1.09 1.06 0.94 2/64 31386
Raw data (stat): 31376 (java) S 31375 30854 30853 0 -1 0 18082 0 1 0 6633 46 0 0 25 0 11 0 419305207 861220864 22070 4294967295 134512640 134569956 3221224416 3221213496 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210259 22070 13073 16 0 210243 0
vsize: 841036
[startup+80.0057 s]
Raw data (loadavg): 1.08 1.05 0.94 2/64 31386
Raw data (stat): 31376 (java) R 31375 30854 30853 0 -1 0 18082 0 1 0 7622 47 0 0 25 0 11 0 419305207 861220864 22117 4294967295 134512640 134569956 3221224416 3221214832 1131399822 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210259 22117 13073 16 0 210243 0
vsize: 841036
[startup+90.0052 s]
Raw data (loadavg): 1.06 1.05 0.94 2/64 31386
Raw data (stat): 31376 (java) R 31375 30854 30853 0 -1 0 18082 0 1 0 8604 47 0 0 25 0 11 0 419305207 861220864 22496 4294967295 134512640 134569956 3221224416 3221214848 1131343993 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210259 22496 13073 16 0 210243 0
vsize: 841036
[startup+100.006 s]
Raw data (loadavg): 1.05 1.05 0.94 2/64 31386
Raw data (stat): 31376 (java) R 31375 30854 30853 0 -1 0 18082 0 1 0 9593 47 0 0 24 0 11 0 419305207 861220864 22496 4294967295 134512640 134569956 3221224416 3221214848 1131343723 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210259 22496 13073 16 0 210243 0
vsize: 841036
[startup+110.006 s]
Raw data (loadavg): 1.05 1.05 0.94 2/64 31386
Raw data (stat): 31376 (java) R 31375 30854 30853 0 -1 0 18082 0 1 0 10587 47 0 0 25 0 11 0 419305207 861220864 22496 4294967295 134512640 134569956 3221224416 3221214832 1131400570 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210259 22496 13073 16 0 210243 0
vsize: 841036
[startup+120.006 s]
Raw data (loadavg): 1.04 1.05 0.94 2/64 31386
Raw data (stat): 31376 (java) R 31375 30854 30853 0 -1 0 18082 0 1 0 11574 47 0 0 25 0 11 0 419305207 861220864 22497 4294967295 134512640 134569956 3221224416 3221214848 1131343792 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210259 22497 13073 16 0 210243 0
vsize: 841036
[startup+130.007 s]
Raw data (loadavg): 1.03 1.04 0.94 2/64 31386
Raw data (stat): 31376 (java) R 31375 30854 30853 0 -1 0 18082 0 1 0 12561 47 0 0 25 0 11 0 419305207 861220864 22539 4294967295 134512640 134569956 3221224416 3221214848 1131343524 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210259 22539 13073 16 0 210243 0
vsize: 841036
[startup+140.007 s]
Raw data (loadavg): 1.03 1.04 0.94 2/64 31386
Raw data (stat): 31376 (java) R 31375 30854 30853 0 -1 0 18082 0 1 0 13554 47 0 0 25 0 11 0 419305207 861220864 22613 4294967295 134512640 134569956 3221224416 3221214848 1131343808 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210259 22613 13073 16 0 210243 0
vsize: 841036
[startup+150.007 s]
Raw data (loadavg): 1.02 1.04 0.94 2/64 31386
Raw data (stat): 31376 (java) R 31375 30854 30853 0 -1 0 18082 0 1 0 14541 48 0 0 25 0 11 0 419305207 861220864 22748 4294967295 134512640 134569956 3221224416 3221214736 1131357999 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210259 22748 13073 16 0 210243 0
vsize: 841036
[startup+160.007 s]
Raw data (loadavg): 1.09 1.05 0.95 2/64 31386
Raw data (stat): 31376 (java) R 31375 30854 30853 0 -1 0 18082 0 1 0 15528 48 0 0 25 0 11 0 419305207 861220864 22864 4294967295 134512640 134569956 3221224416 3221214696 1131541264 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210259 22864 13073 16 0 210243 0
vsize: 841036
[startup+170.007 s]
Raw data (loadavg): 1.08 1.05 0.95 2/64 31386
Raw data (stat): 31376 (java) R 31375 30854 30853 0 -1 0 18082 0 1 0 16516 48 0 0 25 0 11 0 419305207 861220864 22931 4294967295 134512640 134569956 3221224416 3221214848 1131343531 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210259 22931 13073 16 0 210243 0
vsize: 841036
[startup+180.007 s]
Raw data (loadavg): 1.06 1.05 0.95 2/64 31386
Raw data (stat): 31376 (java) R 31375 30854 30853 0 -1 0 18082 0 1 0 17509 49 0 0 25 0 11 0 419305207 861220864 23008 4294967295 134512640 134569956 3221224416 3221214736 1131358029 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210259 23008 13073 16 0 210243 0
vsize: 841036
[startup+190.009 s]
Raw data (loadavg): 1.05 1.05 0.95 2/64 31386
Raw data (stat): 31376 (java) R 31375 30854 30853 0 -1 0 18082 0 1 0 18496 49 0 0 25 0 11 0 419305207 861220864 23230 4294967295 134512640 134569956 3221224416 3221214728 1079678051 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210259 23230 13073 16 0 210243 0
vsize: 841036
[startup+200.009 s]
Raw data (loadavg): 1.05 1.05 0.95 2/64 31386
Raw data (stat): 31376 (java) R 31375 30854 30853 0 -1 0 18082 0 1 0 19482 50 0 0 25 0 11 0 419305207 861220864 23422 4294967295 134512640 134569956 3221224416 3221214848 1131343993 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210259 23422 13073 16 0 210243 0
vsize: 841036
[startup+210.009 s]
Raw data (loadavg): 1.04 1.04 0.95 2/64 31386
Raw data (stat): 31376 (java) R 31375 30854 30853 0 -1 0 18082 0 1 0 20470 50 0 0 24 0 11 0 419305207 861220864 23593 4294967295 134512640 134569956 3221224416 3221214832 1131401697 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210259 23593 13073 16 0 210243 0
vsize: 841036
[startup+220.01 s]
Raw data (loadavg): 1.03 1.04 0.95 2/64 31386
Raw data (stat): 31376 (java) R 31375 30854 30853 0 -1 0 18082 0 1 0 21464 50 0 0 25 0 11 0 419305207 861220864 23647 4294967295 134512640 134569956 3221224416 3221214848 1131343516 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210259 23647 13073 16 0 210243 0
vsize: 841036
[startup+230.011 s]
Raw data (loadavg): 1.03 1.04 0.95 2/64 31386
Raw data (stat): 31376 (java) R 31375 30854 30853 0 -1 0 18082 0 1 0 22451 50 0 0 25 0 11 0 419305207 861220864 23757 4294967295 134512640 134569956 3221224416 3221214848 1131343524 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210259 23757 13073 16 0 210243 0
vsize: 841036
[startup+240.011 s]
Raw data (loadavg): 1.02 1.04 0.95 2/64 31386
Raw data (stat): 31376 (java) R 31375 30854 30853 0 -1 0 18082 0 1 0 23439 50 0 0 25 0 11 0 419305207 861220864 23921 4294967295 134512640 134569956 3221224416 3221214848 1131343812 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210259 23921 13073 16 0 210243 0
vsize: 841036
[startup+250.011 s]
Raw data (loadavg): 1.02 1.04 0.95 2/64 31386
Raw data (stat): 31376 (java) R 31375 30854 30853 0 -1 0 18082 0 1 0 24427 51 0 0 25 0 11 0 419305207 861220864 24046 4294967295 134512640 134569956 3221224416 3221214848 1131343812 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210259 24046 13073 16 0 210243 0
vsize: 841036
[startup+260.013 s]
Raw data (loadavg): 1.02 1.03 0.95 2/64 31386
Raw data (stat): 31376 (java) R 31375 30854 30853 0 -1 0 18082 0 1 0 25420 51 0 0 25 0 11 0 419305207 861220864 24157 4294967295 134512640 134569956 3221224416 3221214848 1131343812 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210259 24157 13073 16 0 210243 0
vsize: 841036
[startup+270.012 s]
Raw data (loadavg): 1.01 1.03 0.95 2/64 31386
Raw data (stat): 31376 (java) R 31375 30854 30853 0 -1 0 18082 0 1 0 26407 52 0 0 25 0 11 0 419305207 861220864 24250 4294967295 134512640 134569956 3221224416 3221214848 1131343536 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210259 24250 13073 16 0 210243 0
vsize: 841036
[startup+280.013 s]
Raw data (loadavg): 1.01 1.03 0.95 2/64 31386
Raw data (stat): 31376 (java) R 31375 30854 30853 0 -1 0 18082 0 1 0 27395 52 0 0 25 0 11 0 419305207 861220864 24428 4294967295 134512640 134569956 3221224416 3221214848 1131343975 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210259 24428 13073 16 0 210243 0
vsize: 841036
[startup+290.014 s]
Raw data (loadavg): 1.01 1.03 0.95 2/64 31386
Raw data (stat): 31376 (java) R 31375 30854 30853 0 -1 0 18082 0 1 0 28382 52 0 0 25 0 11 0 419305207 861220864 24504 4294967295 134512640 134569956 3221224416 3221214848 1131343823 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210259 24504 13073 16 0 210243 0
vsize: 841036
[startup+300.013 s]
Raw data (loadavg): 1.01 1.03 0.95 2/64 31386
Raw data (stat): 31376 (java) R 31375 30854 30853 0 -1 0 18082 0 1 0 29375 53 0 0 25 0 11 0 419305207 861220864 24567 4294967295 134512640 134569956 3221224416 3221214848 1131343731 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210259 24567 13073 16 0 210243 0
vsize: 841036
[startup+310.014 s]
Raw data (loadavg): 1.00 1.03 0.95 2/64 31386
Raw data (stat): 31376 (java) R 31375 30854 30853 0 -1 0 18082 0 1 0 30363 53 0 0 25 0 11 0 419305207 861220864 24757 4294967295 134512640 134569956 3221224416 3221214848 1131343993 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210259 24757 13073 16 0 210243 0
vsize: 841036
[startup+320.014 s]
Raw data (loadavg): 1.00 1.03 0.95 2/64 31386
Raw data (stat): 31376 (java) R 31375 30854 30853 0 -1 0 18082 0 1 0 31350 53 0 0 25 0 11 0 419305207 861220864 24891 4294967295 134512640 134569956 3221224416 3221214892 1131440723 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210259 24891 13073 16 0 210243 0
vsize: 841036
[startup+330.015 s]
Raw data (loadavg): 1.00 1.02 0.95 2/64 31386
Raw data (stat): 31376 (java) R 31375 30854 30853 0 -1 0 18082 0 1 0 32337 53 0 0 25 0 11 0 419305207 861220864 25024 4294967295 134512640 134569956 3221224416 3221214768 1131383833 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210259 25024 13073 16 0 210243 0
vsize: 841036
[startup+340.015 s]
Raw data (loadavg): 1.00 1.02 0.95 2/64 31386
Raw data (stat): 31376 (java) R 31375 30854 30853 0 -1 0 18082 0 1 0 33325 53 0 0 25 0 11 0 419305207 861220864 25168 4294967295 134512640 134569956 3221224416 3221214908 1131469571 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210259 25168 13073 16 0 210243 0
vsize: 841036
[startup+350.015 s]
Raw data (loadavg): 1.00 1.02 0.95 2/64 31386
Raw data (stat): 31376 (java) R 31375 30854 30853 0 -1 0 18082 0 1 0 34318 53 0 0 25 0 11 0 419305207 861220864 25223 4294967295 134512640 134569956 3221224416 3221214720 1131352779 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210259 25223 13073 16 0 210243 0
vsize: 841036
[startup+360.015 s]
Raw data (loadavg): 1.00 1.02 0.95 2/64 31386
Raw data (stat): 31376 (java) R 31375 30854 30853 0 -1 0 18082 0 1 0 35305 53 0 0 25 0 11 0 419305207 861220864 25393 4294967295 134512640 134569956 3221224416 3221214848 1131343778 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210259 25393 13073 16 0 210243 0
vsize: 841036
[startup+370.016 s]
Raw data (loadavg): 1.00 1.02 0.95 2/64 31386
Raw data (stat): 31376 (java) R 31375 30854 30853 0 -1 0 18083 0 1 0 36292 54 0 0 25 0 11 0 419305207 861220864 25645 4294967295 134512640 134569956 3221224416 3221214736 1131358035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210259 25645 13073 16 0 210243 0
vsize: 841036
[startup+380.017 s]
Raw data (loadavg): 1.00 1.02 0.95 2/64 31386
Raw data (stat): 31376 (java) R 31375 30854 30853 0 -1 0 18083 0 1 0 37279 54 0 0 25 0 11 0 419305207 861220864 25847 4294967295 134512640 134569956 3221224416 3221214848 1131343721 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210259 25847 13073 16 0 210243 0
vsize: 841036
[startup+390.017 s]
Raw data (loadavg): 1.00 1.02 0.95 2/64 31386
Raw data (stat): 31376 (java) R 31375 30854 30853 0 -1 0 18083 0 1 0 38267 54 0 0 25 0 11 0 419305207 861220864 25990 4294967295 134512640 134569956 3221224416 3221214736 1131357206 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210259 25990 13073 16 0 210243 0
vsize: 841036
[startup+400.017 s]
Raw data (loadavg): 1.00 1.02 0.95 2/64 31386
Raw data (stat): 31376 (java) R 31375 30854 30853 0 -1 0 18083 0 1 0 39261 54 0 0 25 0 11 0 419305207 861220864 26103 4294967295 134512640 134569956 3221224416 3221214696 1131541271 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210259 26103 13073 16 0 210243 0
vsize: 841036
[startup+410.018 s]
Raw data (loadavg): 1.00 1.02 0.95 2/64 31386
Raw data (stat): 31376 (java) R 31375 30854 30853 0 -1 0 18083 0 1 0 40248 54 0 0 25 0 11 0 419305207 861220864 26256 4294967295 134512640 134569956 3221224416 3221214856 1131318577 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210259 26256 13073 16 0 210243 0
vsize: 841036
[startup+420.019 s]
Raw data (loadavg): 1.00 1.02 0.95 2/64 31386
Raw data (stat): 31376 (java) R 31375 30854 30853 0 -1 0 18083 0 1 0 41236 55 0 0 25 0 11 0 419305207 861220864 26477 4294967295 134512640 134569956 3221224416 3221214736 1131357169 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210259 26477 13073 16 0 210243 0
vsize: 841036
[startup+430.02 s]
Raw data (loadavg): 1.00 1.02 0.95 2/64 31386
Raw data (stat): 31376 (java) R 31375 30854 30853 0 -1 0 18083 0 1 0 42224 55 0 0 25 0 11 0 419305207 861220864 26591 4294967295 134512640 134569956 3221224416 3221214848 1131343723 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210259 26591 13073 16 0 210243 0
vsize: 841036
[startup+440.02 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 31386
Raw data (stat): 31376 (java) R 31375 30854 30853 0 -1 0 18083 0 1 0 43212 55 0 0 25 0 11 0 419305207 861220864 26756 4294967295 134512640 134569956 3221224416 3221214848 1131343825 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210259 26756 13073 16 0 210243 0
vsize: 841036
[startup+450.02 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 31386
Raw data (stat): 31376 (java) R 31375 30854 30853 0 -1 0 18083 0 1 0 44199 56 0 0 25 0 11 0 419305207 861220864 26942 4294967295 134512640 134569956 3221224416 3221214848 1131343524 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210259 26942 13073 16 0 210243 0
vsize: 841036
[startup+460.02 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 31386
Raw data (stat): 31376 (java) R 31375 30854 30853 0 -1 0 18083 0 1 0 45187 56 0 0 25 0 11 0 419305207 861220864 27122 4294967295 134512640 134569956 3221224416 3221214736 1131357208 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210259 27122 13073 16 0 210243 0
vsize: 841036
[startup+470.019 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 31386
Raw data (stat): 31376 (java) R 31375 30854 30853 0 -1 0 18083 0 1 0 46181 56 0 0 25 0 11 0 419305207 861220864 27122 4294967295 134512640 134569956 3221224416 3221214736 1131357999 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210259 27122 13073 16 0 210243 0
vsize: 841036
[startup+480.02 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 31386
Raw data (stat): 31376 (java) R 31375 30854 30853 0 -1 0 18083 0 1 0 47169 56 0 0 25 0 11 0 419305207 861220864 27263 4294967295 134512640 134569956 3221224416 3221214736 1131357208 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210259 27263 13073 16 0 210243 0
vsize: 841036
[startup+490.021 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 31386
Raw data (stat): 31376 (java) R 31375 30854 30853 0 -1 0 18083 0 1 0 48156 56 0 0 25 0 11 0 419305207 861220864 27403 4294967295 134512640 134569956 3221224416 3221214848 1131343816 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210259 27403 13073 16 0 210243 0
vsize: 841036
[startup+500.021 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 31386
Raw data (stat): 31376 (java) R 31375 30854 30853 0 -1 0 18083 0 1 0 49143 56 0 0 25 0 11 0 419305207 861220864 27533 4294967295 134512640 134569956 3221224416 3221214848 1131343538 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210259 27533 13073 16 0 210243 0
vsize: 841036
[startup+510.021 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 31386
Raw data (stat): 31376 (java) R 31375 30854 30853 0 -1 0 18083 0 1 0 50131 56 0 0 25 0 11 0 419305207 861220864 27688 4294967295 134512640 134569956 3221224416 3221214736 1131357215 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210259 27688 13073 16 0 210243 0
vsize: 841036
[startup+520.022 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 31386
Raw data (stat): 31376 (java) R 31375 30854 30853 0 -1 0 18083 0 1 0 51118 57 0 0 25 0 11 0 419305207 861220864 27772 4294967295 134512640 134569956 3221224416 3221214848 1131343524 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210259 27772 13073 16 0 210243 0
vsize: 841036
[startup+530.022 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 31386
Raw data (stat): 31376 (java) R 31375 30854 30853 0 -1 0 18083 0 1 0 52104 57 0 0 25 0 11 0 419305207 861220864 27907 4294967295 134512640 134569956 3221224416 3221214848 1131343524 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210259 27907 13073 16 0 210243 0
vsize: 841036
[startup+540.023 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 31386
Raw data (stat): 31376 (java) R 31375 30854 30853 0 -1 0 18083 0 1 0 53097 57 0 0 25 0 11 0 419305207 861220864 27971 4294967295 134512640 134569956 3221224416 3221214808 1131247159 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210259 27971 13073 16 0 210243 0
vsize: 841036
[startup+550.076 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 31386
Raw data (stat): 31376 (java) R 31375 30854 30853 0 -1 0 18083 0 1 0 54090 58 0 0 25 0 11 0 419305207 861220864 28037 4294967295 134512640 134569956 3221224416 3221214848 1131343986 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210259 28037 13073 16 0 210243 0
vsize: 841036
[startup+560.076 s]
Raw data (loadavg): 1.08 1.02 0.95 2/64 31439
Raw data (stat): 31376 (java) R 31375 30854 30853 0 -1 0 18083 0 1 0 55072 62 0 0 25 0 11 0 419305207 861220864 28119 4294967295 134512640 134569956 3221224416 3221214848 1131343516 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210259 28119 13073 16 0 210243 0
vsize: 841036
[startup+570.077 s]
Raw data (loadavg): 1.07 1.02 0.95 2/64 31439
Raw data (stat): 31376 (java) R 31375 30854 30853 0 -1 0 18083 0 1 0 56058 62 0 0 25 0 11 0 419305207 861220864 28258 4294967295 134512640 134569956 3221224416 3221214848 1131343993 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210259 28258 13073 16 0 210243 0
vsize: 841036
[startup+580.077 s]
Raw data (loadavg): 1.06 1.02 0.95 2/64 31439
Raw data (stat): 31376 (java) R 31375 30854 30853 0 -1 0 18083 0 1 0 57044 62 0 0 25 0 11 0 419305207 861220864 28321 4294967295 134512640 134569956 3221224416 3221214816 1131392720 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210259 28321 13073 16 0 210243 0
vsize: 841036
[startup+590.078 s]
Raw data (loadavg): 1.05 1.02 0.95 2/64 31439
Raw data (stat): 31376 (java) R 31375 30854 30853 0 -1 0 18083 0 1 0 58029 63 0 0 25 0 11 0 419305207 861220864 28445 4294967295 134512640 134569956 3221224416 3221214848 1131343993 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210259 28445 13073 16 0 210243 0
vsize: 841036
[startup+600.077 s]
Raw data (loadavg): 1.04 1.02 0.95 2/64 31439
Raw data (stat): 31376 (java) R 31375 30854 30853 0 -1 0 18083 0 1 0 59015 63 0 0 25 0 11 0 419305207 861220864 28556 4294967295 134512640 134569956 3221224416 3221214736 1131358019 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210259 28556 13073 16 0 210243 0
vsize: 841036
[startup+610.079 s]
Raw data (loadavg): 1.03 1.01 0.95 2/64 31439
Raw data (stat): 31376 (java) R 31375 30854 30853 0 -1 0 18083 0 1 0 60002 63 0 0 24 0 11 0 419305207 861220864 28675 4294967295 134512640 134569956 3221224416 3221214848 1131343823 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210259 28675 13073 16 0 210243 0
vsize: 841036
[startup+620.079 s]
Raw data (loadavg): 1.03 1.01 0.95 2/64 31439
Raw data (stat): 31376 (java) R 31375 30854 30853 0 -1 0 18083 0 1 0 60995 64 0 0 25 0 11 0 419305207 861220864 28725 4294967295 134512640 134569956 3221224416 3221214848 1131343820 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210259 28725 13073 16 0 210243 0
vsize: 841036
[startup+630.08 s]
Raw data (loadavg): 1.02 1.01 0.95 2/64 31441
Raw data (stat): 31376 (java) R 31375 30854 30853 0 -1 0 18083 0 1 0 61981 64 0 0 25 0 11 0 419305207 861220864 28882 4294967295 134512640 134569956 3221224416 3221214848 1131343808 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210259 28882 13073 16 0 210243 0
vsize: 841036
[startup+640.081 s]
Raw data (loadavg): 1.02 1.01 0.95 2/64 31441
Raw data (stat): 31376 (java) R 31375 30854 30853 0 -1 0 18083 0 1 0 62967 64 0 0 25 0 11 0 419305207 861220864 28974 4294967295 134512640 134569956 3221224416 3221214736 1131358045 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210259 28974 13073 16 0 210243 0
vsize: 841036
[startup+650.08 s]
Raw data (loadavg): 1.02 1.01 0.95 2/64 31441
Raw data (stat): 31376 (java) R 31375 30854 30853 0 -1 0 18083 0 1 0 63953 64 0 0 25 0 11 0 419305207 861220864 29149 4294967295 134512640 134569956 3221224416 3221214736 1131358033 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210259 29149 13073 16 0 210243 0
vsize: 841036
[startup+660.081 s]
Raw data (loadavg): 1.01 1.01 0.95 2/64 31441
Raw data (stat): 31376 (java) R 31375 30854 30853 0 -1 0 18083 0 1 0 64939 65 0 0 25 0 11 0 419305207 861220864 29310 4294967295 134512640 134569956 3221224416 3221214848 1131343997 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210259 29310 13073 16 0 210243 0
vsize: 841036
[startup+670.082 s]
Raw data (loadavg): 1.01 1.01 0.95 2/64 31441
Raw data (stat): 31376 (java) R 31375 30854 30853 0 -1 0 18083 0 1 0 65925 65 0 0 25 0 11 0 419305207 861220864 29498 4294967295 134512640 134569956 3221224416 3221214848 1131343524 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210259 29498 13073 16 0 210243 0
vsize: 841036
[startup+680.083 s]
Raw data (loadavg): 1.01 1.01 0.95 2/64 31441
Raw data (stat): 31376 (java) R 31375 30854 30853 0 -1 0 18083 0 1 0 66912 66 0 0 25 0 11 0 419305207 861220864 29700 4294967295 134512640 134569956 3221224416 3221214808 1131247947 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210259 29700 13073 16 0 210243 0
vsize: 841036
[startup+690.083 s]
Raw data (loadavg): 1.01 1.01 0.95 2/64 31441
Raw data (stat): 31376 (java) R 31375 30854 30853 0 -1 0 18083 0 1 0 67905 66 0 0 25 0 11 0 419305207 861220864 29776 4294967295 134512640 134569956 3221224416 3221214736 1131357208 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210259 29776 13073 16 0 210243 0
vsize: 841036
[startup+700.084 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 31441
Raw data (stat): 31376 (java) R 31375 30854 30853 0 -1 0 18083 0 1 0 68892 66 0 0 25 0 11 0 419305207 861220864 29903 4294967295 134512640 134569956 3221224416 3221214848 1131343504 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210259 29903 13073 16 0 210243 0
vsize: 841036
[startup+710.085 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 31441
Raw data (stat): 31376 (java) R 31375 30854 30853 0 -1 0 18083 0 1 0 69879 66 0 0 25 0 11 0 419305207 861220864 30155 4294967295 134512640 134569956 3221224416 3221214848 1131343823 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210259 30155 13073 16 0 210243 0
vsize: 841036
[startup+720.085 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 31441
Raw data (stat): 31376 (java) R 31375 30854 30853 0 -1 0 18083 0 1 0 70866 66 0 0 25 0 11 0 419305207 861220864 30333 4294967295 134512640 134569956 3221224416 3221214824 1131324100 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210259 30333 13073 16 0 210243 0
vsize: 841036
[startup+730.087 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 31441
Raw data (stat): 31376 (java) R 31375 30854 30853 0 -1 0 18083 0 1 0 71853 66 0 0 25 0 11 0 419305207 861220864 30484 4294967295 134512640 134569956 3221224416 3221214848 1131343731 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210259 30484 13073 16 0 210243 0
vsize: 841036
[startup+740.087 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 31441
Raw data (stat): 31376 (java) R 31375 30854 30853 0 -1 0 18083 0 1 0 72839 66 0 0 25 0 11 0 419305207 861220864 30738 4294967295 134512640 134569956 3221224416 3221214752 1131392710 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210259 30738 13073 16 0 210243 0
vsize: 841036
[startup+750.087 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 31441
Raw data (stat): 31376 (java) R 31375 30854 30853 0 -1 0 18083 0 1 0 73826 66 0 0 25 0 11 0 419305207 861220864 30838 4294967295 134512640 134569956 3221224416 3221214848 1131343524 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210259 30838 13073 16 0 210243 0
vsize: 841036
[startup+760.088 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 31441
Raw data (stat): 31376 (java) R 31375 30854 30853 0 -1 0 18083 0 1 0 74813 66 0 0 25 0 11 0 419305207 861220864 31028 4294967295 134512640 134569956 3221224416 3221214872 1131159832 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210259 31028 13073 16 0 210243 0
vsize: 841036
[startup+770.088 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 31441
Raw data (stat): 31376 (java) R 31375 30854 30853 0 -1 0 18083 0 1 0 75800 67 0 0 25 0 11 0 419305207 861220864 31242 4294967295 134512640 134569956 3221224416 3221214848 1131343825 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210259 31242 13073 16 0 210243 0
vsize: 841036
[startup+780.089 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 31441
Raw data (stat): 31376 (java) R 31375 30854 30853 0 -1 0 18083 0 1 0 76787 67 0 0 25 0 11 0 419305207 861220864 31524 4294967295 134512640 134569956 3221224416 3221214892 1131355571 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210259 31524 13073 16 0 210243 0
vsize: 841036
[startup+790.09 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 31441
Raw data (stat): 31376 (java) R 31375 30854 30853 0 -1 0 18083 0 1 0 77773 67 0 0 25 0 11 0 419305207 861220864 31656 4294967295 134512640 134569956 3221224416 3221214848 1131343706 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210259 31656 13073 16 0 210243 0
vsize: 841036
[startup+800.09 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 31441
Raw data (stat): 31376 (java) R 31375 30854 30853 0 -1 0 18083 0 1 0 78760 68 0 0 25 0 11 0 419305207 861220864 31832 4294967295 134512640 134569956 3221224416 3221214848 1131343804 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210259 31832 13073 16 0 210243 0
vsize: 841036
[startup+810.091 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 31441
Raw data (stat): 31376 (java) R 31375 30854 30853 0 -1 0 18083 0 1 0 79748 68 0 0 25 0 11 0 419305207 861220864 31922 4294967295 134512640 134569956 3221224416 3221214848 1131343820 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210259 31922 13073 16 0 210243 0
vsize: 841036
[startup+820.091 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 31441
Raw data (stat): 31376 (java) R 31375 30854 30853 0 -1 0 18083 0 1 0 80735 68 0 0 25 0 11 0 419305207 861220864 32043 4294967295 134512640 134569956 3221224416 3221214736 1131358106 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210259 32043 13073 16 0 210243 0
vsize: 841036
[startup+830.092 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 31441
Raw data (stat): 31376 (java) R 31375 30854 30853 0 -1 0 18083 0 1 0 81722 68 0 0 25 0 11 0 419305207 861220864 32194 4294967295 134512640 134569956 3221224416 3221214848 1131343823 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210259 32194 13073 16 0 210243 0
vsize: 841036
[startup+840.093 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 31441
Raw data (stat): 31376 (java) R 31375 30854 30853 0 -1 0 18083 0 1 0 82709 69 0 0 25 0 11 0 419305207 861220864 32390 4294967295 134512640 134569956 3221224416 3221214736 1131357159 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210259 32390 13073 16 0 210243 0
vsize: 841036
[startup+850.092 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 31441
Raw data (stat): 31376 (java) R 31375 30854 30853 0 -1 0 18083 0 1 0 83702 69 0 0 25 0 11 0 419305207 861220864 32390 4294967295 134512640 134569956 3221224416 3221214848 1131343536 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210259 32390 13073 16 0 210243 0
vsize: 841036
[startup+860.093 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 31441
Raw data (stat): 31376 (java) R 31375 30854 30853 0 -1 0 18083 0 1 0 84689 69 0 0 25 0 11 0 419305207 861220864 32554 4294967295 134512640 134569956 3221224416 3221214848 1131343986 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210259 32554 13073 16 0 210243 0
vsize: 841036
[startup+870.094 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 31441
Raw data (stat): 31376 (java) R 31375 30854 30853 0 -1 0 18083 0 1 0 85675 70 0 0 25 0 11 0 419305207 861220864 32683 4294967295 134512640 134569956 3221224416 3221214848 1131343706 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210259 32683 13073 16 0 210243 0
vsize: 841036
[startup+880.094 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 31444
Raw data (stat): 31376 (java) R 31375 30854 30853 0 -1 0 18083 3 1 0 86650 70 0 0 25 0 11 0 419305207 861220864 32952 4294967295 134512640 134569956 3221224416 3221214736 1131358019 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210259 32952 13073 16 0 210243 0
vsize: 841036
[startup+890.094 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 31444
Raw data (stat): 31376 (java) R 31375 30854 30853 0 -1 0 18083 3 1 0 87618 70 0 0 25 0 11 0 419305207 861220864 33023 4294967295 134512640 134569956 3221224416 3221214848 1131343986 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210259 33023 13073 16 0 210243 0
vsize: 841036
[startup+900.095 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 31444
Raw data (stat): 31376 (java) R 31375 30854 30853 0 -1 0 18083 3 1 0 88587 70 0 0 25 0 11 0 419305207 861220864 33085 4294967295 134512640 134569956 3221224416 3221214848 1131343823 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210259 33085 13073 16 0 210243 0
vsize: 841036
[startup+910.096 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 31444
Raw data (stat): 31376 (java) R 31375 30854 30853 0 -1 0 18083 3 1 0 89554 71 0 0 25 0 11 0 419305207 861220864 33168 4294967295 134512640 134569956 3221224416 3221214728 1131287844 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210259 33168 13073 16 0 210243 0
vsize: 841036
[startup+920.097 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 31444
Raw data (stat): 31376 (java) R 31375 30854 30853 0 -1 0 18083 3 1 0 90522 71 0 0 25 0 11 0 419305207 861220864 33234 4294967295 134512640 134569956 3221224416 3221214808 1131247312 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210259 33234 13073 16 0 210243 0
vsize: 841036
[startup+930.098 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 31444
Raw data (stat): 31376 (java) R 31375 30854 30853 0 -1 0 18083 3 1 0 91490 72 0 0 25 0 11 0 419305207 861220864 33348 4294967295 134512640 134569956 3221224416 3221214848 1131343516 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210259 33348 13073 16 0 210243 0
vsize: 841036
[startup+940.099 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 31444
Raw data (stat): 31376 (java) R 31375 30854 30853 0 -1 0 18083 3 1 0 92462 72 0 0 25 0 11 0 419305207 861220864 33739 4294967295 134512640 134569956 3221224416 3221214848 1131343825 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210259 33739 13073 16 0 210243 0
vsize: 841036
[startup+950.099 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 31444
Raw data (stat): 31376 (java) R 31375 30854 30853 0 -1 0 18083 3 1 0 93436 72 0 0 25 0 11 0 419305207 861220864 33863 4294967295 134512640 134569956 3221224416 3221214808 1131247342 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210259 33863 13073 16 0 210243 0
vsize: 841036
[startup+960.1 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 31444
Raw data (stat): 31376 (java) R 31375 30854 30853 0 -1 0 18083 3 1 0 94415 73 0 0 25 0 11 0 419305207 861220864 33904 4294967295 134512640 134569956 3221224416 3221214736 1131358033 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210259 33904 13073 16 0 210243 0
vsize: 841036
[startup+970.101 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 31444
Raw data (stat): 31376 (java) R 31375 30854 30853 0 -1 0 18083 3 1 0 95394 73 0 0 25 0 11 0 419305207 861220864 33965 4294967295 134512640 134569956 3221224416 3221214848 1131343721 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210259 33965 13073 16 0 210243 0
vsize: 841036
[startup+980.101 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 31444
Raw data (stat): 31376 (java) R 31375 30854 30853 0 -1 0 18083 3 1 0 96368 74 0 0 25 0 11 0 419305207 861220864 34031 4294967295 134512640 134569956 3221224416 3221214736 1131357999 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210259 34031 13073 16 0 210243 0
vsize: 841036
[startup+990.102 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 31444
Raw data (stat): 31376 (java) R 31375 30854 30853 0 -1 0 18083 3 1 0 97348 74 0 0 25 0 11 0 419305207 861220864 34090 4294967295 134512640 134569956 3221224416 3221214808 1131247368 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210259 34090 13073 16 0 210243 0
vsize: 841036
[startup+1000.1 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 31444
Raw data (stat): 31376 (java) R 31375 30854 30853 0 -1 0 18083 3 1 0 98325 74 0 0 25 0 11 0 419305207 861220864 34152 4294967295 134512640 134569956 3221224416 3221214808 1131247436 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210259 34152 13073 16 0 210243 0
vsize: 841036
[startup+1010.1 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 31444
Raw data (stat): 31376 (java) R 31375 30854 30853 0 -1 0 18083 3 1 0 99306 75 0 0 25 0 11 0 419305207 861220864 34198 4294967295 134512640 134569956 3221224416 3221214808 1131246945 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210259 34198 13073 16 0 210243 0
vsize: 841036
[startup+1020.1 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 31444
Raw data (stat): 31376 (java) R 31375 30854 30853 0 -1 0 18083 3 1 0 100283 76 0 0 25 0 11 0 419305207 861220864 34254 4294967295 134512640 134569956 3221224416 3221214848 1131343632 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210259 34254 13073 16 0 210243 0
vsize: 841036
[startup+1030.11 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 31444
Raw data (stat): 31376 (java) R 31375 30854 30853 0 -1 0 18083 3 1 0 101260 76 0 0 25 0 11 0 419305207 861220864 34318 4294967295 134512640 134569956 3221224416 3221214848 1131343504 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210259 34318 13073 16 0 210243 0
vsize: 841036
[startup+1040.11 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 31444
Raw data (stat): 31376 (java) R 31375 30854 30853 0 -1 0 18083 3 1 0 102240 76 0 0 25 0 11 0 419305207 861220864 34406 4294967295 134512640 134569956 3221224416 3221214872 1131160002 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210259 34406 13073 16 0 210243 0
vsize: 841036
[startup+1050.11 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 31444
Raw data (stat): 31376 (java) R 31375 30854 30853 0 -1 0 18083 3 1 0 103216 77 0 0 25 0 11 0 419305207 861220864 34449 4294967295 134512640 134569956 3221224416 3221214848 1131343808 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210259 34449 13073 16 0 210243 0
vsize: 841036
[startup+1060.11 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 31444
Raw data (stat): 31376 (java) R 31375 30854 30853 0 -1 0 18083 3 1 0 104191 77 0 0 25 0 11 0 419305207 861220864 34531 4294967295 134512640 134569956 3221224416 3221214808 1131247989 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210259 34531 13073 16 0 210243 0
vsize: 841036
[startup+1070.11 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 31444
Raw data (stat): 31376 (java) R 31375 30854 30853 0 -1 0 18083 3 1 0 105167 78 0 0 25 0 11 0 419305207 861220864 34624 4294967295 134512640 134569956 3221224416 3221214736 1131357191 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210259 34624 13073 16 0 210243 0
vsize: 841036
[startup+1080.11 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 31444
Raw data (stat): 31376 (java) R 31375 30854 30853 0 -1 0 18083 3 1 0 106143 79 0 0 25 0 11 0 419305207 861220864 34699 4294967295 134512640 134569956 3221224416 3221214808 1131247138 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210259 34699 13073 16 0 210243 0
vsize: 841036
[startup+1090.11 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 31444
Raw data (stat): 31376 (java) R 31375 30854 30853 0 -1 0 18083 3 1 0 107119 79 0 0 25 0 11 0 419305207 861220864 34788 4294967295 134512640 134569956 3221224416 3221214832 1131373769 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210259 34788 13073 16 0 210243 0
vsize: 841036
[startup+1100.11 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 31444
Raw data (stat): 31376 (java) S 31375 30854 30853 0 -1 0 18083 3 1 0 108099 79 0 0 25 0 11 0 419305207 861220864 34860 4294967295 134512640 134569956 3221224416 3221213552 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210259 34860 13073 16 0 210243 0
vsize: 841036
[startup+1110.11 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 31444
Raw data (stat): 31376 (java) R 31375 30854 30853 0 -1 0 18083 3 1 0 109073 80 0 0 25 0 11 0 419305207 861220864 34950 4294967295 134512640 134569956 3221224416 3221214808 1131247122 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210259 34950 13073 16 0 210243 0
vsize: 841036
[startup+1120.11 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 31444
Raw data (stat): 31376 (java) R 31375 30854 30853 0 -1 0 18083 3 1 0 110049 80 0 0 25 0 11 0 419305207 861220864 35029 4294967295 134512640 134569956 3221224416 3221214848 1131343804 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210259 35029 13073 16 0 210243 0
vsize: 841036
[startup+1130.11 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 31444
Raw data (stat): 31376 (java) R 31375 30854 30853 0 -1 0 18083 3 1 0 111026 80 0 0 25 0 11 0 419305207 861220864 35100 4294967295 134512640 134569956 3221224416 3221214336 1131571249 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210259 35100 13073 16 0 210243 0
vsize: 841036
[startup+1140.11 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 31444
Raw data (stat): 31376 (java) R 31375 30854 30853 0 -1 0 18083 3 1 0 112007 81 0 0 25 0 11 0 419305207 861220864 35150 4294967295 134512640 134569956 3221224416 3221214328 1131572458 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210259 35150 13073 16 0 210243 0
vsize: 841036
[startup+1150.11 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 31444
Raw data (stat): 31376 (java) R 31375 30854 30853 0 -1 0 18083 3 1 0 112982 81 0 0 25 0 11 0 419305207 861220864 35223 4294967295 134512640 134569956 3221224416 3221214272 1131572592 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210259 35223 13073 16 0 210243 0
vsize: 841036
[startup+1160.11 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 31444
Raw data (stat): 31376 (java) R 31375 30854 30853 0 -1 0 18083 3 1 0 113958 81 0 0 25 0 11 0 419305207 861220864 35277 4294967295 134512640 134569956 3221224416 3221214848 1131343975 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210259 35277 13073 16 0 210243 0
vsize: 841036
[startup+1170.12 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 31444
Raw data (stat): 31376 (java) R 31375 30854 30853 0 -1 0 18083 3 1 0 114934 81 0 0 25 0 11 0 419305207 861220864 35351 4294967295 134512640 134569956 3221224416 3221214808 1131247349 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210259 35351 13073 16 0 210243 0
vsize: 841036
[startup+1180.12 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 31444
Raw data (stat): 31376 (java) R 31375 30854 30853 0 -1 0 18083 3 1 0 115906 82 0 0 25 0 11 0 419305207 861220864 35411 4294967295 134512640 134569956 3221224416 3221214872 1131160002 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210259 35411 13073 16 0 210243 0
vsize: 841036
[startup+1190.12 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 31444
Raw data (stat): 31376 (java) R 31375 30854 30853 0 -1 0 18083 3 1 0 116885 82 0 0 25 0 11 0 419305207 861220864 35476 4294967295 134512640 134569956 3221224416 3221214808 1131247949 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210259 35476 13073 16 0 210243 0
vsize: 841036
[startup+1200.12 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 31444
Raw data (stat): 31376 (java) R 31375 30854 30853 0 -1 0 18083 3 1 0 117863 83 0 0 25 0 11 0 419305207 861220864 35525 4294967295 134512640 134569956 3221224416 3221214848 1131343524 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210259 35525 13073 16 0 210243 0
vsize: 841036
[startup+1210.12 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 31444
Raw data (stat): 31376 (java) R 31375 30854 30853 0 -1 0 18083 3 1 0 118843 83 0 0 25 0 11 0 419305207 861220864 35611 4294967295 134512640 134569956 3221224416 3221214736 1131358106 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210259 35611 13073 16 0 210243 0
vsize: 841036
[startup+1220.12 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 31444
Raw data (stat): 31376 (java) R 31375 30854 30853 0 -1 0 18083 3 1 0 119822 83 0 0 25 0 11 0 419305207 861220864 35663 4294967295 134512640 134569956 3221224416 3221214848 1131343524 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210259 35663 13073 16 0 210243 0
vsize: 841036
[startup+1230.12 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 31444
Raw data (stat): 31376 (java) R 31375 30854 30853 0 -1 0 18083 3 1 0 120801 83 0 0 25 0 11 0 419305207 861220864 35704 4294967295 134512640 134569956 3221224416 3221214392 1131571281 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210259 35704 13073 16 0 210243 0
vsize: 841036
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1230.2 s]
Raw data (loadavg): 1.00 1.00 0.95 1/54 31446
Raw data (stat): 31376 (java) Z 31375 30854 30853 0 -1 1036 18083 15562 1 0 120802 83 1842 36 25 0 1 0 419305207 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1230.2
CPU time (s): 1227.65
CPU user time (s): 1226.44
CPU system time (s): 1.20882
CPU usage (%): 99.7931
Max. virtual memory (Kb): 843656
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####