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-ssa7552-038.opb
MD5SUM	47daf5749c77d7eb7d5d94fe2374f355
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	1448
Optimality of the best value was proved	NO
Number of terms in the objective function	3002
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	3002
Number of bits of the sum of numbers in the objective function	12
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	3002
Number of bits of the biggest sum of numbers	12
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.05184
Number of variables	3002
Total number of constraints	5076
Number of constraints which are clauses	5076
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	6
Trace number 4402

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc2 THE 2005-04-13 16:57:51 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=2043 boxname=wulflinc2 idbench=227 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  47daf5749c77d7eb7d5d94fe2374f355  /oldhome/oroussel/tmp/wulflinc2/normalized-ssa7552-038.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc2/normalized-ssa7552-038.opb
IDLAUNCH: 2043
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.191
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.191
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:        919168 kB
Buffers:         31648 kB
Cached:          63480 kB
SwapCached:          4 kB
Active:          48064 kB
Inactive:        49896 kB
HighTotal:      131008 kB
HighFree:        63700 kB
LowTotal:       903652 kB
LowFree:        855468 kB
SwapTotal:     2097136 kB
SwapFree:      2097132 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6916 kB
Slab:            11848 kB
Committed_AS:    71712 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-13 17:18:24 (client local time) WITH STATUS 143 IN  SECONDS
stats: 2043 7  143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc2/normalized-ssa7552-038.opb
c reading problem 
c [nbvar=3002]
c [nbconstr=5076]
c time 7.315
c #vars     3002
c #clauses  5076
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=1450
c Current CPU time (ms) : 10.307
c starts	: 1
c conflicts	: 4
c decisions	: 271
c propagations	: 5254
c inspects	: 9183
c learned literals	: 0
c learned binary clauses	: 1
c learned ternary clauses	: 3
c learned clauses	: 4
c root simplifications	: 2
#### 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.93 0.98 0.93 2/54 21466
Raw data (stat): 21466 (runsolver) R 21465 20937 20936 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 419348872 1052672 99 4294967295 134512640 135381576 3221224448 3221219696 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10 s]
Raw data (loadavg): 1.02 1.00 0.93 3/64 21476
Raw data (stat): 21466 (java) R 21465 20937 20936 0 -1 0 18068 0 1 0 668 44 0 0 25 0 11 0 419348872 860741632 20399 4294967295 134512640 134569956 3221224416 3221214904 1130920912 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210142 20399 13073 16 0 210126 0
vsize: 840568
[startup+20.0012 s]
Raw data (loadavg): 1.01 1.00 0.93 2/64 21477
Raw data (stat): 21466 (java) R 21465 20937 20936 0 -1 0 18073 3 1 0 1522 44 0 0 25 0 11 0 419348872 862949376 22144 4294967295 134512640 134569956 3221224416 3221214744 1131402083 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210681 22144 13073 16 0 210665 0
vsize: 842724
[startup+30.0014 s]
Raw data (loadavg): 1.01 1.00 0.93 2/64 21477
Raw data (stat): 21466 (java) R 21465 20937 20936 0 -1 0 18073 3 1 0 2427 44 0 0 25 0 11 0 419348872 862949376 23156 4294967295 134512640 134569956 3221224416 3221214496 1131284259 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210681 23156 13073 16 0 210665 0
vsize: 842724
[startup+40.0025 s]
Raw data (loadavg): 1.01 1.00 0.93 2/64 21477
Raw data (stat): 21466 (java) R 21465 20937 20936 0 -1 0 18074 3 1 0 3389 44 0 0 25 0 11 0 419348872 862949376 23158 4294967295 134512640 134569956 3221224416 3221214496 1131284963 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210681 23158 13073 16 0 210665 0
vsize: 842724
[startup+50.0032 s]
Raw data (loadavg): 1.01 1.00 0.93 2/64 21477
Raw data (stat): 21466 (java) R 21465 20937 20936 0 -1 0 18074 3 1 0 4348 44 0 0 25 0 11 0 419348872 862949376 23160 4294967295 134512640 134569956 3221224416 3221214792 1131425176 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210681 23160 13073 16 0 210665 0
vsize: 842724
[startup+60.0076 s]
Raw data (loadavg): 1.01 1.00 0.93 2/64 21477
Raw data (stat): 21466 (java) S 21465 20937 20936 0 -1 0 18074 3 1 0 5287 45 0 0 25 0 11 0 419348872 862949376 23207 4294967295 134512640 134569956 3221224416 3221213136 1073952481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210681 23207 13073 16 0 210665 0
vsize: 842724
[startup+70.0088 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 21477
Raw data (stat): 21466 (java) R 21465 20937 20936 0 -1 0 18074 3 1 0 6248 45 0 0 24 0 11 0 419348872 862949376 23505 4294967295 134512640 134569956 3221224416 3221214792 1131425027 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210681 23505 13073 16 0 210665 0
vsize: 842724
[startup+80.0094 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 21477
Raw data (stat): 21466 (java) R 21465 20937 20936 0 -1 0 18074 3 1 0 7223 45 0 0 25 0 11 0 419348872 862949376 23655 4294967295 134512640 134569956 3221224416 3221214592 1131350763 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210681 23655 13073 16 0 210665 0
vsize: 842724
[startup+90.0095 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 21477
Raw data (stat): 21466 (java) R 21465 20937 20936 0 -1 0 18074 3 1 0 8204 45 0 0 25 0 11 0 419348872 862949376 23674 4294967295 134512640 134569956 3221224416 3221214496 1131284297 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210681 23674 13073 16 0 210665 0
vsize: 842724
[startup+100.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 21477
Raw data (stat): 21466 (java) R 21465 20937 20936 0 -1 0 18074 3 1 0 9181 45 0 0 25 0 11 0 419348872 862949376 23782 4294967295 134512640 134569956 3221224416 3221214792 1131426180 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210681 23782 13073 16 0 210665 0
vsize: 842724
[startup+110.011 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 21477
Raw data (stat): 21466 (java) R 21465 20937 20936 0 -1 0 18074 3 1 0 10154 45 0 0 25 0 11 0 419348872 862949376 23803 4294967295 134512640 134569956 3221224416 3221214696 1131214468 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210681 23803 13073 16 0 210665 0
vsize: 842724
[startup+120.012 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 21477
Raw data (stat): 21466 (java) R 21465 20937 20936 0 -1 0 18074 3 1 0 11125 46 0 0 25 0 11 0 419348872 862949376 23853 4294967295 134512640 134569956 3221224416 3221214688 1131601424 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210681 23853 13073 16 0 210665 0
vsize: 842724
[startup+130.012 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 21477
Raw data (stat): 21466 (java) R 21465 20937 20936 0 -1 0 18074 3 1 0 12096 46 0 0 24 0 11 0 419348872 862949376 23901 4294967295 134512640 134569956 3221224416 3221214584 1131561031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210681 23901 13073 16 0 210665 0
vsize: 842724
[startup+140.012 s]
Raw data (loadavg): 1.07 1.02 0.94 2/64 21532
Raw data (stat): 21466 (java) R 21465 20937 20936 0 -1 0 18074 3 1 0 13062 47 0 0 25 0 11 0 419348872 862949376 23950 4294967295 134512640 134569956 3221224416 3221214592 1131284127 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210681 23950 13073 16 0 210665 0
vsize: 842724
[startup+150.013 s]
Raw data (loadavg): 1.06 1.02 0.94 2/64 21532
Raw data (stat): 21466 (java) R 21465 20937 20936 0 -1 0 18074 3 1 0 14032 47 0 0 25 0 11 0 419348872 862949376 24045 4294967295 134512640 134569956 3221224416 3221214792 1131425214 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210681 24045 13073 16 0 210665 0
vsize: 842724
[startup+160.013 s]
Raw data (loadavg): 1.05 1.01 0.94 2/64 21532
Raw data (stat): 21466 (java) R 21465 20937 20936 0 -1 0 18074 3 1 0 14999 48 0 0 25 0 11 0 419348872 862949376 24117 4294967295 134512640 134569956 3221224416 3221214592 1131284127 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210681 24117 13073 16 0 210665 0
vsize: 842724
[startup+170.014 s]
Raw data (loadavg): 1.04 1.01 0.94 2/64 21532
Raw data (stat): 21466 (java) R 21465 20937 20936 0 -1 0 18074 3 1 0 15976 48 0 0 25 0 11 0 419348872 862949376 24188 4294967295 134512640 134569956 3221224416 3221214592 1131284259 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210681 24188 13073 16 0 210665 0
vsize: 842724
[startup+180.014 s]
Raw data (loadavg): 1.04 1.01 0.94 2/64 21532
Raw data (stat): 21466 (java) R 21465 20937 20936 0 -1 0 18074 3 1 0 16949 48 0 0 25 0 11 0 419348872 862949376 24218 4294967295 134512640 134569956 3221224416 3221214588 1131180027 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210681 24218 13073 16 0 210665 0
vsize: 842724
[startup+190.016 s]
Raw data (loadavg): 1.03 1.01 0.94 2/64 21532
Raw data (stat): 21466 (java) R 21465 20937 20936 0 -1 0 18074 3 1 0 17925 49 0 0 25 0 11 0 419348872 862949376 24331 4294967295 134512640 134569956 3221224416 3221214592 1131283042 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210681 24331 13073 16 0 210665 0
vsize: 842724
[startup+200.015 s]
Raw data (loadavg): 1.02 1.01 0.94 2/64 21532
Raw data (stat): 21466 (java) R 21465 20937 20936 0 -1 0 18074 3 1 0 18906 49 0 0 25 0 11 0 419348872 862949376 24386 4294967295 134512640 134569956 3221224416 3221214584 1131560975 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210681 24386 13073 16 0 210665 0
vsize: 842724
[startup+210.015 s]
Raw data (loadavg): 1.02 1.01 0.94 2/64 21534
Raw data (stat): 21466 (java) R 21465 20937 20936 0 -1 0 18074 3 1 0 19890 50 0 0 25 0 11 0 419348872 862949376 24437 4294967295 134512640 134569956 3221224416 3221214688 1131601555 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210681 24437 13073 16 0 210665 0
vsize: 842724
[startup+220.016 s]
Raw data (loadavg): 1.02 1.01 0.94 2/64 21534
Raw data (stat): 21466 (java) R 21465 20937 20936 0 -1 0 18074 3 1 0 20874 50 0 0 25 0 11 0 419348872 862949376 24458 4294967295 134512640 134569956 3221224416 3221214592 1131283069 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210681 24458 13073 16 0 210665 0
vsize: 842724
[startup+230.015 s]
Raw data (loadavg): 1.01 1.01 0.94 2/64 21534
Raw data (stat): 21466 (java) R 21465 20937 20936 0 -1 0 18074 3 1 0 21858 50 0 0 25 0 11 0 419348872 862949376 24488 4294967295 134512640 134569956 3221224416 3221214592 1131284297 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210681 24488 13073 16 0 210665 0
vsize: 842724
[startup+240.016 s]
Raw data (loadavg): 1.01 1.01 0.94 2/64 21534
Raw data (stat): 21466 (java) R 21465 20937 20936 0 -1 0 18074 3 1 0 22842 51 0 0 25 0 11 0 419348872 862949376 24558 4294967295 134512640 134569956 3221224416 3221214584 1131558766 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210681 24558 13073 16 0 210665 0
vsize: 842724
[startup+250.016 s]
Raw data (loadavg): 1.01 1.01 0.94 2/64 21534
Raw data (stat): 21466 (java) R 21465 20937 20936 0 -1 0 18074 3 1 0 23821 51 0 0 25 0 11 0 419348872 862949376 24558 4294967295 134512640 134569956 3221224416 3221214592 1131284127 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210681 24558 13073 16 0 210665 0
vsize: 842724
[startup+260.016 s]
Raw data (loadavg): 1.01 1.00 0.94 2/64 21534
Raw data (stat): 21466 (java) R 21465 20937 20936 0 -1 0 18074 3 1 0 24800 52 0 0 25 0 11 0 419348872 862949376 24569 4294967295 134512640 134569956 3221224416 3221213968 1131169437 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210681 24569 13073 16 0 210665 0
vsize: 842724
[startup+270.017 s]
Raw data (loadavg): 1.01 1.00 0.94 2/64 21534
Raw data (stat): 21466 (java) R 21465 20937 20936 0 -1 0 18074 3 1 0 25779 52 0 0 25 0 11 0 419348872 862949376 24640 4294967295 134512640 134569956 3221224416 3221214592 1131285013 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210681 24640 13073 16 0 210665 0
vsize: 842724
[startup+280.017 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 21534
Raw data (stat): 21466 (java) R 21465 20937 20936 0 -1 0 18074 3 1 0 26760 52 0 0 25 0 11 0 419348872 862949376 24670 4294967295 134512640 134569956 3221224416 3221214584 1131559231 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210681 24670 13073 16 0 210665 0
vsize: 842724
[startup+290.018 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 21534
Raw data (stat): 21466 (java) R 21465 20937 20936 0 -1 0 18074 3 1 0 27744 53 0 0 25 0 11 0 419348872 862949376 24721 4294967295 134512640 134569956 3221224416 3221214664 1131044207 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210681 24721 13073 16 0 210665 0
vsize: 842724
[startup+300.02 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 21534
Raw data (stat): 21466 (java) R 21465 20937 20936 0 -1 0 18074 3 1 0 28724 53 0 0 24 0 11 0 419348872 862949376 24822 4294967295 134512640 134569956 3221224416 3221214684 1131285060 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210681 24822 13073 16 0 210665 0
vsize: 842724
[startup+310.02 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 21534
Raw data (stat): 21466 (java) R 21465 20937 20936 0 -1 0 18074 3 1 0 29713 54 0 0 25 0 11 0 419348872 862949376 24851 4294967295 134512640 134569956 3221224416 3221214592 1131284451 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210681 24851 13073 16 0 210665 0
vsize: 842724
[startup+320.021 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 21534
Raw data (stat): 21466 (java) R 21465 20937 20936 0 -1 0 18074 3 1 0 30699 54 0 0 25 0 11 0 419348872 862949376 24872 4294967295 134512640 134569956 3221224416 3221214584 1131558766 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210681 24872 13073 16 0 210665 0
vsize: 842724
[startup+330.021 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 21534
Raw data (stat): 21466 (java) R 21465 20937 20936 0 -1 0 18074 3 1 0 31688 54 0 0 25 0 11 0 419348872 862949376 24872 4294967295 134512640 134569956 3221224416 3221214688 1131601408 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210681 24872 13073 16 0 210665 0
vsize: 842724
[startup+340.022 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 21534
Raw data (stat): 21466 (java) R 21465 20937 20936 0 -1 0 18074 3 1 0 32674 54 0 0 25 0 11 0 419348872 862949376 24883 4294967295 134512640 134569956 3221224416 3221214688 1131588845 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210681 24883 13073 16 0 210665 0
vsize: 842724
[startup+350.022 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 21534
Raw data (stat): 21466 (java) R 21465 20937 20936 0 -1 0 18074 3 1 0 33661 55 0 0 25 0 11 0 419348872 862949376 24937 4294967295 134512640 134569956 3221224416 3221214592 1131284990 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210681 24937 13073 16 0 210665 0
vsize: 842724
[startup+360.022 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 21534
Raw data (stat): 21466 (java) R 21465 20937 20936 0 -1 0 18074 3 1 0 34648 55 0 0 25 0 11 0 419348872 862949376 24937 4294967295 134512640 134569956 3221224416 3221214592 1131284297 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210681 24937 13073 16 0 210665 0
vsize: 842724
[startup+370.024 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 21534
Raw data (stat): 21466 (java) R 21465 20937 20936 0 -1 0 18074 3 1 0 35635 55 0 0 25 0 11 0 419348872 862949376 24989 4294967295 134512640 134569956 3221224416 3221214688 1131588760 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210681 24989 13073 16 0 210665 0
vsize: 842724
[startup+380.024 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 21534
Raw data (stat): 21466 (java) R 21465 20937 20936 0 -1 0 18074 3 1 0 36625 55 0 0 25 0 11 0 419348872 862949376 24989 4294967295 134512640 134569956 3221224416 3221214792 1131425173 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210681 24989 13073 16 0 210665 0
vsize: 842724
[startup+390.024 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 21534
Raw data (stat): 21466 (java) R 21465 20937 20936 0 -1 0 18074 3 1 0 37611 56 0 0 25 0 11 0 419348872 862949376 25009 4294967295 134512640 134569956 3221224416 3221214688 1131601431 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210681 25009 13073 16 0 210665 0
vsize: 842724
[startup+400.026 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 21534
Raw data (stat): 21466 (java) R 21465 20937 20936 0 -1 0 18074 3 1 0 38599 56 0 0 25 0 11 0 419348872 862949376 25038 4294967295 134512640 134569956 3221224416 3221214592 1131284297 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210681 25038 13073 16 0 210665 0
vsize: 842724
[startup+410.026 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 21534
Raw data (stat): 21466 (java) R 21465 20937 20936 0 -1 0 18074 3 1 0 39586 56 0 0 25 0 11 0 419348872 862949376 25090 4294967295 134512640 134569956 3221224416 3221214688 1131601431 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210681 25090 13073 16 0 210665 0
vsize: 842724
[startup+420.026 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 21534
Raw data (stat): 21466 (java) R 21465 20937 20936 0 -1 0 18074 3 1 0 40576 57 0 0 25 0 11 0 419348872 862949376 25090 4294967295 134512640 134569956 3221224416 3221214584 1131558964 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210681 25090 13073 16 0 210665 0
vsize: 842724
[startup+430.028 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 21534
Raw data (stat): 21466 (java) R 21465 20937 20936 0 -1 0 18074 3 1 0 41564 57 0 0 25 0 11 0 419348872 862949376 25110 4294967295 134512640 134569956 3221224416 3221214592 1131284579 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210681 25110 13073 16 0 210665 0
vsize: 842724
[startup+440.029 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 21534
Raw data (stat): 21466 (java) R 21465 20937 20936 0 -1 0 18074 3 1 0 42554 57 0 0 24 0 11 0 419348872 862949376 25139 4294967295 134512640 134569956 3221224416 3221214608 1131590805 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210681 25139 13073 16 0 210665 0
vsize: 842724
[startup+450.029 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 21534
Raw data (stat): 21466 (java) R 21465 20937 20936 0 -1 0 18074 3 1 0 43546 58 0 0 25 0 11 0 419348872 862949376 25159 4294967295 134512640 134569956 3221224416 3221214792 1131425237 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210681 25159 13073 16 0 210665 0
vsize: 842724
[startup+460.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 21534
Raw data (stat): 21466 (java) R 21465 20937 20936 0 -1 0 18074 3 1 0 44536 59 0 0 24 0 11 0 419348872 862949376 25191 4294967295 134512640 134569956 3221224416 3221214688 1131601482 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210681 25191 13073 16 0 210665 0
vsize: 842724
[startup+470.031 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 21534
Raw data (stat): 21466 (java) R 21465 20937 20936 0 -1 0 18074 3 1 0 45529 60 0 0 25 0 11 0 419348872 862949376 25211 4294967295 134512640 134569956 3221224416 3221214584 1131558799 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210681 25211 13073 16 0 210665 0
vsize: 842724
[startup+480.031 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 21534
Raw data (stat): 21466 (java) R 21465 20937 20936 0 -1 0 18074 3 1 0 46520 60 0 0 25 0 11 0 419348872 862949376 25211 4294967295 134512640 134569956 3221224416 3221214584 1131558900 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210681 25211 13073 16 0 210665 0
vsize: 842724
[startup+490.032 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 21536
Raw data (stat): 21466 (java) R 21465 20937 20936 0 -1 0 18074 3 1 0 47511 61 0 0 25 0 11 0 419348872 862949376 25221 4294967295 134512640 134569956 3221224416 3221214584 1131558766 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210681 25221 13073 16 0 210665 0
vsize: 842724
[startup+500.033 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 21536
Raw data (stat): 21466 (java) R 21465 20937 20936 0 -1 0 18074 3 1 0 48502 62 0 0 25 0 11 0 419348872 862949376 25221 4294967295 134512640 134569956 3221224416 3221214584 1131558766 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210681 25221 13073 16 0 210665 0
vsize: 842724
[startup+510.033 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 21536
Raw data (stat): 21466 (java) R 21465 20937 20936 0 -1 0 18074 3 1 0 49493 62 0 0 25 0 11 0 419348872 862949376 25250 4294967295 134512640 134569956 3221224416 3221214592 1131284081 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210681 25250 13073 16 0 210665 0
vsize: 842724
[startup+520.034 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 21536
Raw data (stat): 21466 (java) R 21465 20937 20936 0 -1 0 18074 3 1 0 50485 62 0 0 25 0 11 0 419348872 862949376 25250 4294967295 134512640 134569956 3221224416 3221214584 1131559211 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210681 25250 13073 16 0 210665 0
vsize: 842724
[startup+530.034 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 21536
Raw data (stat): 21466 (java) R 21465 20937 20936 0 -1 0 18074 3 1 0 51464 63 0 0 25 0 11 0 419348872 862949376 25279 4294967295 134512640 134569956 3221224416 3221214592 1131284297 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210681 25279 13073 16 0 210665 0
vsize: 842724
[startup+540.035 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 21536
Raw data (stat): 21466 (java) R 21465 20937 20936 0 -1 0 18074 3 1 0 52443 63 0 0 25 0 11 0 419348872 862949376 25280 4294967295 134512640 134569956 3221224416 3221214792 1131425169 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210681 25280 13073 16 0 210665 0
vsize: 842724
[startup+550.035 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 21536
Raw data (stat): 21466 (java) R 21465 20937 20936 0 -1 0 18074 3 1 0 53420 63 0 0 25 0 11 0 419348872 862949376 25309 4294967295 134512640 134569956 3221224416 3221214688 1131588743 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210681 25309 13073 16 0 210665 0
vsize: 842724
[startup+560.035 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 21536
Raw data (stat): 21466 (java) R 21465 20937 20936 0 -1 0 18074 3 1 0 54398 64 0 0 25 0 11 0 419348872 862949376 25309 4294967295 134512640 134569956 3221224416 3221214584 1131558766 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210681 25309 13073 16 0 210665 0
vsize: 842724
[startup+570.036 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 21536
Raw data (stat): 21466 (java) R 21465 20937 20936 0 -1 0 18074 3 1 0 55378 64 0 0 25 0 11 0 419348872 862949376 25309 4294967295 134512640 134569956 3221224416 3221214688 1131601431 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210681 25309 13073 16 0 210665 0
vsize: 842724
[startup+580.036 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 21536
Raw data (stat): 21466 (java) R 21465 20937 20936 0 -1 0 18074 3 1 0 56360 65 0 0 25 0 11 0 419348872 862949376 25504 4294967295 134512640 134569956 3221224416 3221214696 1131213939 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210681 25504 13073 16 0 210665 0
vsize: 842724
[startup+590.035 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 21536
Raw data (stat): 21466 (java) R 21465 20937 20936 0 -1 0 18074 3 1 0 57347 65 0 0 25 0 11 0 419348872 862949376 25524 4294967295 134512640 134569956 3221224416 3221214688 1131601431 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210681 25524 13073 16 0 210665 0
vsize: 842724
[startup+600.035 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 21536
Raw data (stat): 21466 (java) R 21465 20937 20936 0 -1 0 18074 3 1 0 58337 65 0 0 25 0 11 0 419348872 862949376 25581 4294967295 134512640 134569956 3221224416 3221214792 1131426248 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210681 25581 13073 16 0 210665 0
vsize: 842724
[startup+610.036 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 21536
Raw data (stat): 21466 (java) R 21465 20937 20936 0 -1 0 18074 3 1 0 59325 66 0 0 25 0 11 0 419348872 862949376 25581 4294967295 134512640 134569956 3221224416 3221214592 1131284467 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210681 25581 13073 16 0 210665 0
vsize: 842724
[startup+620.036 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 21536
Raw data (stat): 21466 (java) R 21465 20937 20936 0 -1 0 18074 3 1 0 60313 66 0 0 25 0 11 0 419348872 862949376 25581 4294967295 134512640 134569956 3221224416 3221214592 1131284259 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210681 25581 13073 16 0 210665 0
vsize: 842724
[startup+630.036 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 21536
Raw data (stat): 21466 (java) R 21465 20937 20936 0 -1 0 18074 3 1 0 61299 67 0 0 25 0 11 0 419348872 862949376 25581 4294967295 134512640 134569956 3221224416 3221214688 1131601431 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210681 25581 13073 16 0 210665 0
vsize: 842724
[startup+640.036 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 21536
Raw data (stat): 21466 (java) R 21465 20937 20936 0 -1 0 18074 3 1 0 62286 67 0 0 25 0 11 0 419348872 862949376 25616 4294967295 134512640 134569956 3221224416 3221214584 1131558907 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210681 25616 13073 16 0 210665 0
vsize: 842724
[startup+650.037 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 21536
Raw data (stat): 21466 (java) R 21465 20937 20936 0 -1 0 18074 3 1 0 63271 67 0 0 25 0 11 0 419348872 862949376 25645 4294967295 134512640 134569956 3221224416 3221214688 1131601428 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210681 25645 13073 16 0 210665 0
vsize: 842724
[startup+660.036 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 21536
Raw data (stat): 21466 (java) R 21465 20937 20936 0 -1 0 18074 3 1 0 64258 67 0 0 25 0 11 0 419348872 862949376 25669 4294967295 134512640 134569956 3221224416 3221214584 1131559211 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210681 25669 13073 16 0 210665 0
vsize: 842724
[startup+670.038 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 21536
Raw data (stat): 21466 (java) R 21465 20937 20936 0 -1 0 18074 3 1 0 65246 68 0 0 25 0 11 0 419348872 862949376 25669 4294967295 134512640 134569956 3221224416 3221214592 1131283035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210681 25669 13073 16 0 210665 0
vsize: 842724
[startup+680.038 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 21536
Raw data (stat): 21466 (java) R 21465 20937 20936 0 -1 0 18074 3 1 0 66235 68 0 0 25 0 11 0 419348872 862949376 25719 4294967295 134512640 134569956 3221224416 3221214592 1131284259 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210681 25719 13073 16 0 210665 0
vsize: 842724
[startup+690.037 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 21536
Raw data (stat): 21466 (java) R 21465 20937 20936 0 -1 0 18074 3 1 0 67223 68 0 0 25 0 11 0 419348872 862949376 25719 4294967295 134512640 134569956 3221224416 3221214584 1131559354 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210681 25719 13073 16 0 210665 0
vsize: 842724
[startup+700.037 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 21536
Raw data (stat): 21466 (java) R 21465 20937 20936 0 -1 0 18074 3 1 0 68211 68 0 0 25 0 11 0 419348872 862949376 25768 4294967295 134512640 134569956 3221224416 3221214584 1131560171 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210681 25768 13073 16 0 210665 0
vsize: 842724
[startup+710.038 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 21536
Raw data (stat): 21466 (java) R 21465 20937 20936 0 -1 0 18074 3 1 0 69198 69 0 0 25 0 11 0 419348872 862949376 25768 4294967295 134512640 134569956 3221224416 3221214696 1131213826 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210681 25768 13073 16 0 210665 0
vsize: 842724
[startup+720.038 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 21536
Raw data (stat): 21466 (java) R 21465 20937 20936 0 -1 0 18074 3 1 0 70180 69 0 0 25 0 11 0 419348872 862949376 25768 4294967295 134512640 134569956 3221224416 3221214592 1131284259 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210681 25768 13073 16 0 210665 0
vsize: 842724
[startup+730.039 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 21536
Raw data (stat): 21466 (java) R 21465 20937 20936 0 -1 0 18074 3 1 0 71164 70 0 0 25 0 11 0 419348872 862949376 25799 4294967295 134512640 134569956 3221224416 3221214688 1131601566 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210681 25799 13073 16 0 210665 0
vsize: 842724
[startup+740.039 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 21536
Raw data (stat): 21466 (java) R 21465 20937 20936 0 -1 0 18074 3 1 0 72149 70 0 0 25 0 11 0 419348872 862949376 25819 4294967295 134512640 134569956 3221224416 3221214584 1131560215 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210681 25819 13073 16 0 210665 0
vsize: 842724
[startup+750.039 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 21536
Raw data (stat): 21466 (java) R 21465 20937 20936 0 -1 0 18074 3 1 0 73134 70 0 0 25 0 11 0 419348872 862949376 25852 4294967295 134512640 134569956 3221224416 3221214592 1131284127 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210681 25852 13073 16 0 210665 0
vsize: 842724
[startup+760.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 21536
Raw data (stat): 21466 (java) R 21465 20937 20936 0 -1 0 18074 3 1 0 74118 71 0 0 25 0 11 0 419348872 862949376 25872 4294967295 134512640 134569956 3221224416 3221214584 1131558900 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210681 25872 13073 16 0 210665 0
vsize: 842724
[startup+770.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 21536
Raw data (stat): 21466 (java) R 21465 20937 20936 0 -1 0 18074 3 1 0 75103 71 0 0 25 0 11 0 419348872 862949376 25903 4294967295 134512640 134569956 3221224416 3221214584 1131559301 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210681 25903 13073 16 0 210665 0
vsize: 842724
[startup+780.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 21536
Raw data (stat): 21466 (java) R 21465 20937 20936 0 -1 0 18074 3 1 0 76092 71 0 0 25 0 11 0 419348872 862949376 25953 4294967295 134512640 134569956 3221224416 3221214688 1131601431 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210681 25953 13073 16 0 210665 0
vsize: 842724
[startup+790.041 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 21536
Raw data (stat): 21466 (java) R 21465 20937 20936 0 -1 0 18074 3 1 0 77079 72 0 0 25 0 11 0 419348872 862949376 25973 4294967295 134512640 134569956 3221224416 3221214584 1131560147 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210681 25973 13073 16 0 210665 0
vsize: 842724
[startup+800.041 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 21536
Raw data (stat): 21466 (java) R 21465 20937 20936 0 -1 0 18074 3 1 0 78066 72 0 0 25 0 11 0 419348872 862949376 26003 4294967295 134512640 134569956 3221224416 3221214576 1131570294 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210681 26003 13073 16 0 210665 0
vsize: 842724
[startup+810.041 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 21536
Raw data (stat): 21466 (java) R 21465 20937 20936 0 -1 0 18074 3 1 0 79047 73 0 0 24 0 11 0 419348872 862949376 26003 4294967295 134512640 134569956 3221224416 3221214832 1131355899 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210681 26003 13073 16 0 210665 0
vsize: 842724
[startup+820.043 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 21536
Raw data (stat): 21466 (java) R 21465 20937 20936 0 -1 0 18074 3 1 0 80033 73 0 0 25 0 11 0 419348872 862949376 26023 4294967295 134512640 134569956 3221224416 3221214584 1131559211 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210681 26023 13073 16 0 210665 0
vsize: 842724
[startup+830.043 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 21536
Raw data (stat): 21466 (java) R 21465 20937 20936 0 -1 0 18074 3 1 0 81011 73 0 0 25 0 11 0 419348872 862949376 26053 4294967295 134512640 134569956 3221224416 3221214592 1131284297 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210681 26053 13073 16 0 210665 0
vsize: 842724
[startup+840.043 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 21536
Raw data (stat): 21466 (java) R 21465 20937 20936 0 -1 0 18074 3 1 0 81982 74 0 0 25 0 11 0 419348872 862949376 26073 4294967295 134512640 134569956 3221224416 3221214728 1131377115 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210681 26073 13073 16 0 210665 0
vsize: 842724
[startup+850.044 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 21536
Raw data (stat): 21466 (java) R 21465 20937 20936 0 -1 0 18074 3 1 0 82934 74 0 0 25 0 11 0 419348872 862949376 26154 4294967295 134512640 134569956 3221224416 3221214792 1131427017 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210681 26154 13073 16 0 210665 0
vsize: 842724
[startup+860.044 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 21536
Raw data (stat): 21466 (java) R 21465 20937 20936 0 -1 0 18074 3 1 0 83884 75 0 0 25 0 11 0 419348872 862949376 26185 4294967295 134512640 134569956 3221224416 3221214584 1131559397 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210681 26185 13073 16 0 210665 0
vsize: 842724
[startup+870.045 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 21536
Raw data (stat): 21466 (java) R 21465 20937 20936 0 -1 0 18074 3 1 0 84834 75 0 0 25 0 11 0 419348872 862949376 26276 4294967295 134512640 134569956 3221224416 3221214688 1131588884 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210681 26276 13073 16 0 210665 0
vsize: 842724
[startup+880.046 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 21536
Raw data (stat): 21466 (java) R 21465 20937 20936 0 -1 0 18074 3 1 0 85793 76 0 0 25 0 11 0 419348872 862949376 26305 4294967295 134512640 134569956 3221224416 3221214592 1131284127 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210681 26305 13073 16 0 210665 0
vsize: 842724
[startup+890.046 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 21536
Raw data (stat): 21466 (java) R 21465 20937 20936 0 -1 0 18074 3 1 0 86761 76 0 0 24 0 11 0 419348872 862949376 26654 4294967295 134512640 134569956 3221224416 3221214592 1131284127 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210681 26654 13073 16 0 210665 0
vsize: 842724
[startup+900.046 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 21536
Raw data (stat): 21466 (java) R 21465 20937 20936 0 -1 0 18074 3 1 0 87743 77 0 0 24 0 11 0 419348872 862949376 26704 4294967295 134512640 134569956 3221224416 3221214584 1131559105 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210681 26704 13073 16 0 210665 0
vsize: 842724
[startup+910.046 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 21536
Raw data (stat): 21466 (java) R 21465 20937 20936 0 -1 0 18074 3 1 0 88730 77 0 0 25 0 11 0 419348872 862949376 26776 4294967295 134512640 134569956 3221224416 3221214688 1131601519 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210681 26776 13073 16 0 210665 0
vsize: 842724
[startup+920.047 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 21536
Raw data (stat): 21466 (java) R 21465 20937 20936 0 -1 0 18074 3 1 0 89717 77 0 0 25 0 11 0 419348872 862949376 26826 4294967295 134512640 134569956 3221224416 3221214688 1131601441 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210681 26826 13073 16 0 210665 0
vsize: 842724
[startup+930.047 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 21536
Raw data (stat): 21466 (java) S 21465 20937 20936 0 -1 0 18074 3 1 0 90703 78 0 0 25 0 11 0 419348872 862949376 26826 4294967295 134512640 134569956 3221224416 3221213192 1073952481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210681 26826 13073 16 0 210665 0
vsize: 842724
[startup+940.047 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 21536
Raw data (stat): 21466 (java) R 21465 20937 20936 0 -1 0 18074 3 1 0 91689 78 0 0 25 0 11 0 419348872 862949376 26826 4294967295 134512640 134569956 3221224416 3221214688 1131601431 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210681 26826 13073 16 0 210665 0
vsize: 842724
[startup+950.047 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 21536
Raw data (stat): 21466 (java) R 21465 20937 20936 0 -1 0 18074 3 1 0 92675 78 0 0 25 0 11 0 419348872 862949376 26856 4294967295 134512640 134569956 3221224416 3221214688 1131601431 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210681 26856 13073 16 0 210665 0
vsize: 842724
[startup+960.048 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 21536
Raw data (stat): 21466 (java) R 21465 20937 20936 0 -1 0 18074 3 1 0 93662 79 0 0 25 0 11 0 419348872 862949376 26905 4294967295 134512640 134569956 3221224416 3221214584 1131559127 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210681 26905 13073 16 0 210665 0
vsize: 842724
[startup+970.049 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 21536
Raw data (stat): 21466 (java) R 21465 20937 20936 0 -1 0 18074 3 1 0 94652 79 0 0 25 0 11 0 419348872 862949376 26926 4294967295 134512640 134569956 3221224416 3221214592 1131284066 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210681 26926 13073 16 0 210665 0
vsize: 842724
[startup+980.049 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 21536
Raw data (stat): 21466 (java) R 21465 20937 20936 0 -1 0 18074 3 1 0 95636 80 0 0 25 0 11 0 419348872 862949376 26974 4294967295 134512640 134569956 3221224416 3221214688 1131601441 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210681 26974 13073 16 0 210665 0
vsize: 842724
[startup+990.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 21536
Raw data (stat): 21466 (java) R 21465 20937 20936 0 -1 0 18074 3 1 0 96624 80 0 0 25 0 11 0 419348872 862949376 26974 4294967295 134512640 134569956 3221224416 3221214744 1131399631 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210681 26974 13073 16 0 210665 0
vsize: 842724
[startup+1000.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 21536
Raw data (stat): 21466 (java) R 21465 20937 20936 0 -1 0 18074 3 1 0 97608 80 0 0 25 0 11 0 419348872 862949376 26974 4294967295 134512640 134569956 3221224416 3221214592 1131284451 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210681 26974 13073 16 0 210665 0
vsize: 842724
[startup+1010.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 21536
Raw data (stat): 21466 (java) R 21465 20937 20936 0 -1 0 18074 3 1 0 98589 81 0 0 25 0 11 0 419348872 862949376 26974 4294967295 134512640 134569956 3221224416 3221214696 1131213860 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210681 26974 13073 16 0 210665 0
vsize: 842724
[startup+1020.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 21536
Raw data (stat): 21466 (java) R 21465 20937 20936 0 -1 0 18074 3 1 0 99568 81 0 0 25 0 11 0 419348872 862949376 26974 4294967295 134512640 134569956 3221224416 3221214584 1131558766 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210681 26974 13073 16 0 210665 0
vsize: 842724
[startup+1030.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 21536
Raw data (stat): 21466 (java) R 21465 20937 20936 0 -1 0 18074 3 1 0 100548 81 0 0 25 0 11 0 419348872 862949376 27039 4294967295 134512640 134569956 3221224416 3221214584 1131560209 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210681 27039 13073 16 0 210665 0
vsize: 842724
[startup+1040.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 21536
Raw data (stat): 21466 (java) R 21465 20937 20936 0 -1 0 18074 3 1 0 101531 81 0 0 25 0 11 0 419348872 862949376 27060 4294967295 134512640 134569956 3221224416 3221214744 1131399850 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210681 27060 13073 16 0 210665 0
vsize: 842724
[startup+1050.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 21536
Raw data (stat): 21466 (java) R 21465 20937 20936 0 -1 0 18074 3 1 0 102516 81 0 0 25 0 11 0 419348872 862949376 27140 4294967295 134512640 134569956 3221224416 3221214584 1131559354 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210681 27140 13073 16 0 210665 0
vsize: 842724
[startup+1060.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 21536
Raw data (stat): 21466 (java) R 21465 20937 20936 0 -1 0 18074 3 1 0 103503 82 0 0 25 0 11 0 419348872 862949376 27161 4294967295 134512640 134569956 3221224416 3221214592 1131284129 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210681 27161 13073 16 0 210665 0
vsize: 842724
[startup+1070.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 21536
Raw data (stat): 21466 (java) R 21465 20937 20936 0 -1 0 18074 3 1 0 104492 83 0 0 25 0 11 0 419348872 862949376 27211 4294967295 134512640 134569956 3221224416 3221214584 1131560235 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210681 27211 13073 16 0 210665 0
vsize: 842724
[startup+1080.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 21536
Raw data (stat): 21466 (java) R 21465 20937 20936 0 -1 0 18074 3 1 0 105480 83 0 0 25 0 11 0 419348872 862949376 27211 4294967295 134512640 134569956 3221224416 3221214688 1131601431 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210681 27211 13073 16 0 210665 0
vsize: 842724
[startup+1090.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 21536
Raw data (stat): 21466 (java) R 21465 20937 20936 0 -1 0 18074 3 1 0 106465 84 0 0 25 0 11 0 419348872 862949376 27211 4294967295 134512640 134569956 3221224416 3221214592 1131284297 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210681 27211 13073 16 0 210665 0
vsize: 842724
[startup+1100.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 21536
Raw data (stat): 21466 (java) R 21465 20937 20936 0 -1 0 18074 3 1 0 107451 84 0 0 25 0 11 0 419348872 862949376 27225 4294967295 134512640 134569956 3221224416 3221214688 1131601431 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210681 27225 13073 16 0 210665 0
vsize: 842724
[startup+1110.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 21536
Raw data (stat): 21466 (java) R 21465 20937 20936 0 -1 0 18074 3 1 0 108438 84 0 0 25 0 11 0 419348872 862949376 27275 4294967295 134512640 134569956 3221224416 3221214488 1131214277 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210681 27275 13073 16 0 210665 0
vsize: 842724
[startup+1120.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 21536
Raw data (stat): 21466 (java) R 21465 20937 20936 0 -1 0 18074 3 1 0 109426 85 0 0 24 0 11 0 419348872 862949376 27296 4294967295 134512640 134569956 3221224416 3221214792 1131425176 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210681 27296 13073 16 0 210665 0
vsize: 842724
[startup+1130.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 21536
Raw data (stat): 21466 (java) R 21465 20937 20936 0 -1 0 18074 3 1 0 110409 85 0 0 25 0 11 0 419348872 862949376 27325 4294967295 134512640 134569956 3221224416 3221214592 1131284245 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210681 27325 13073 16 0 210665 0
vsize: 842724
[startup+1140.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 21536
Raw data (stat): 21466 (java) R 21465 20937 20936 0 -1 0 18074 3 1 0 111383 86 0 0 19 0 11 0 419348872 862949376 27325 4294967295 134512640 134569956 3221224416 3221214592 1131284322 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210681 27325 13073 16 0 210665 0
vsize: 842724
[startup+1150.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 21536
Raw data (stat): 21466 (java) R 21465 20937 20936 0 -1 0 18074 3 1 0 112361 87 0 0 25 0 11 0 419348872 862949376 27325 4294967295 134512640 134569956 3221224416 3221214584 1131559231 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210681 27325 13073 16 0 210665 0
vsize: 842724
[startup+1160.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 21536
Raw data (stat): 21466 (java) R 21465 20937 20936 0 -1 0 18074 3 1 0 113337 87 0 0 25 0 11 0 419348872 862949376 27325 4294967295 134512640 134569956 3221224416 3221214696 1131213793 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210681 27325 13073 16 0 210665 0
vsize: 842724
[startup+1170.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 21536
Raw data (stat): 21466 (java) R 21465 20937 20936 0 -1 0 18074 3 1 0 114311 88 0 0 18 0 11 0 419348872 862949376 27478 4294967295 134512640 134569956 3221224416 3221214584 1131562191 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210681 27478 13073 16 0 210665 0
vsize: 842724
[startup+1180.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 21536
Raw data (stat): 21466 (java) R 21465 20937 20936 0 -1 0 18074 3 1 0 115296 88 0 0 25 0 11 0 419348872 862949376 27507 4294967295 134512640 134569956 3221224416 3221214592 1131284297 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210681 27507 13073 16 0 210665 0
vsize: 842724
[startup+1190.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 21536
Raw data (stat): 21466 (java) R 21465 20937 20936 0 -1 0 18074 3 1 0 116281 89 0 0 25 0 11 0 419348872 862949376 27512 4294967295 134512640 134569956 3221224416 3221214688 1131601431 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210681 27512 13073 16 0 210665 0
vsize: 842724
[startup+1200.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 21536
Raw data (stat): 21466 (java) R 21465 20937 20936 0 -1 0 18074 3 1 0 117269 89 0 0 25 0 11 0 419348872 862949376 27562 4294967295 134512640 134569956 3221224416 3221214584 1131559211 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210681 27562 13073 16 0 210665 0
vsize: 842724
[startup+1210.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 21536
Raw data (stat): 21466 (java) R 21465 20937 20936 0 -1 0 18074 3 1 0 118256 89 0 0 25 0 11 0 419348872 862949376 27612 4294967295 134512640 134569956 3221224416 3221214592 1131284297 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210681 27612 13073 16 0 210665 0
vsize: 842724
[startup+1220.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 21536
Raw data (stat): 21466 (java) R 21465 20937 20936 0 -1 0 18074 3 1 0 119238 90 0 0 25 0 11 0 419348872 862949376 27613 4294967295 134512640 134569956 3221224416 3221214688 1131601555 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210681 27613 13073 16 0 210665 0
vsize: 842724
[startup+1230.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 21536
Raw data (stat): 21466 (java) R 21465 20937 20936 0 -1 0 18074 3 1 0 120211 90 0 0 25 0 11 0 419348872 862949376 27642 4294967295 134512640 134569956 3221224416 3221214560 1131316291 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210681 27642 13073 16 0 210665 0
vsize: 842724
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1230.13 s]
Raw data (loadavg): 1.00 1.00 0.94 1/54 21538
Raw data (stat): 21466 (java) Z 21465 20937 20936 0 -1 1036 18074 7146 1 0 120211 90 2317 26 25 0 1 0 419348872 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.13
CPU time (s): 1226.46
CPU user time (s): 1225.29
CPU system time (s): 1.16982
CPU usage (%): 99.7018
Max. virtual memory (Kb): 842724
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####