PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-noswot.opb
MD5SUM	9b64c494b06e0d267a16a958bcbc40bb
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-41
Optimality of the best value was proved	NO
Number of terms in the objective function	425
Biggest coefficient in the objective function	65536
Number of bits for the biggest coefficient in the objective function	17
Sum of the numbers in the objective function	3276775
Number of bits of the sum of numbers in the objective function	22
Biggest number in a constraint	113777046323200
Number of bits of the biggest number in a constraint	47
Biggest sum of numbers in a constraint	235765682083953
Number of bits of the biggest sum of numbers	48
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	164.902
Number of variables	1060
Total number of constraints	282
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	75
Number of constraints which are nor clauses,nor cardinality constraints	207
Minimum length of a constraint	1
Maximum length of a constraint	425
Trace number 15047

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.077
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        699028 kB
Buffers:          5916 kB
Cached:         302428 kB
SwapCached:        104 kB
Active:          50292 kB
Inactive:       260484 kB
HighTotal:      131008 kB
HighFree:        40880 kB
LowTotal:       903652 kB
LowFree:        658148 kB
SwapTotal:     2097640 kB
SwapFree:      2097068 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6052 kB
Slab:            19252 kB
Committed_AS:    63480 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-21 03:00:49 (client local time) WITH STATUS 143 IN 1244.49 SECONDS
stats: 18664 7 1244.49 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc28/normalized-mps-v2-13-7-noswot.opb
c reading problem 
c [nbvar=1060]
c [nbconstr=282]
c time 3.417
c #vars     1060
c #clauses  209
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=-11
c Current CPU time (ms) : 30.47
c starts	: 3
c conflicts	: 302
c decisions	: 2648
c propagations	: 4863
c inspects	: 21196
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 302
c root simplifications	: 5
c 
c CURRENT OPTIMUM=-30
c Current CPU time (ms) : 52.998
c starts	: 6
c conflicts	: 569
c decisions	: 5747
c propagations	: 10658
c inspects	: 57400
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 569
c root simplifications	: 11
#### 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.99 0.97 0.91 2/54 14911
Raw data (stat): 14911 (runsolver) R 14910 10614 10613 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 541555383 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 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.0009 s]
Raw data (loadavg): 1.30 1.04 0.94 4/64 14921
Raw data (stat): 14911 (java) R 14910 10614 10613 0 -1 0 18076 0 1 0 557 43 0 0 25 0 11 0 541555383 866201600 21783 4294967295 134512640 134569956 3221224400 3221213344 1073952732 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211475 21783 13073 16 0 211459 0
vsize: 845900
[startup+20.0012 s]
Raw data (loadavg): 1.33 1.05 0.94 2/64 14921
Raw data (stat): 14911 (java) R 14910 10614 10613 0 -1 0 18078 0 1 0 1457 43 0 0 25 0 11 0 541555383 867512320 22816 4294967295 134512640 134569956 3221224400 3221214264 1131601284 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211795 22816 13073 16 0 211779 0
vsize: 847180
[startup+30.0052 s]
Raw data (loadavg): 1.28 1.05 0.94 2/64 14921
Raw data (stat): 14911 (java) R 14910 10614 10613 0 -1 0 18079 0 1 0 2399 43 0 0 25 0 11 0 541555383 865415168 23033 4294967295 134512640 134569956 3221224400 3221214680 1131217029 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211283 23033 13073 16 0 211267 0
vsize: 845132
[startup+40.0058 s]
Raw data (loadavg): 1.24 1.05 0.94 2/64 14922
Raw data (stat): 14911 (java) R 14910 10614 10613 0 -1 0 18079 3 1 0 3361 43 0 0 25 0 11 0 541555383 865415168 23354 4294967295 134512640 134569956 3221224400 3221214320 1131644343 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211283 23354 13073 16 0 211267 0
vsize: 845132
[startup+50.0062 s]
Raw data (loadavg): 1.20 1.05 0.94 2/64 14922
Raw data (stat): 14911 (java) R 14910 10614 10613 0 -1 0 18079 3 1 0 4335 44 0 0 25 0 11 0 541555383 865415168 23408 4294967295 134512640 134569956 3221224400 3221214552 1131713440 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211283 23408 13073 16 0 211267 0
vsize: 845132
[startup+60.0114 s]
Raw data (loadavg): 1.17 1.04 0.94 2/64 14923
Raw data (stat): 14911 (java) R 14910 10614 10613 0 -1 0 18080 3 1 0 5295 44 0 0 25 0 11 0 541555383 865415168 23747 4294967295 134512640 134569956 3221224400 3221214736 1131539008 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211283 23747 13073 16 0 211267 0
vsize: 845132
[startup+70.0115 s]
Raw data (loadavg): 1.14 1.04 0.94 2/64 14923
Raw data (stat): 14911 (java) R 14910 10614 10613 0 -1 0 18080 3 1 0 6266 44 0 0 25 0 11 0 541555383 865415168 23934 4294967295 134512640 134569956 3221224400 3221214392 1131712276 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211283 23934 13073 16 0 211267 0
vsize: 845132
[startup+80.0118 s]
Raw data (loadavg): 1.12 1.04 0.94 2/64 14923
Raw data (stat): 14911 (java) R 14910 10614 10613 0 -1 0 18080 3 1 0 7227 44 0 0 25 0 11 0 541555383 865415168 24199 4294967295 134512640 134569956 3221224400 3221214656 1131217557 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211283 24199 13073 16 0 211267 0
vsize: 845132
[startup+90.0123 s]
Raw data (loadavg): 1.10 1.04 0.94 2/64 14923
Raw data (stat): 14911 (java) R 14910 10614 10613 0 -1 0 18080 3 1 0 8189 44 0 0 21 0 11 0 541555383 865415168 24353 4294967295 134512640 134569956 3221224400 3221214676 1131716549 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211283 24353 13073 16 0 211267 0
vsize: 845132
[startup+100.012 s]
Raw data (loadavg): 1.09 1.04 0.94 2/64 14923
Raw data (stat): 14911 (java) R 14910 10614 10613 0 -1 0 18080 3 1 0 9153 44 0 0 25 0 11 0 541555383 865415168 24543 4294967295 134512640 134569956 3221224400 3221214352 1085679325 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211283 24543 13073 16 0 211267 0
vsize: 845132
[startup+110.012 s]
Raw data (loadavg): 1.07 1.03 0.94 2/64 14923
Raw data (stat): 14911 (java) R 14910 10614 10613 0 -1 0 18080 3 1 0 10134 44 0 0 25 0 11 0 541555383 865415168 24600 4294967295 134512640 134569956 3221224400 3221214536 1131644280 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211283 24600 13073 16 0 211267 0
vsize: 845132
[startup+120.013 s]
Raw data (loadavg): 1.06 1.03 0.94 2/64 14923
Raw data (stat): 14911 (java) R 14910 10614 10613 0 -1 0 18080 3 1 0 11107 44 0 0 25 0 11 0 541555383 865415168 24707 4294967295 134512640 134569956 3221224400 3221214448 1085679325 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211283 24707 13073 16 0 211267 0
vsize: 845132
[startup+130.012 s]
Raw data (loadavg): 1.05 1.03 0.94 2/64 14923
Raw data (stat): 14911 (java) R 14910 10614 10613 0 -1 0 18080 3 1 0 12088 45 0 0 25 0 11 0 541555383 865415168 24765 4294967295 134512640 134569956 3221224400 3221214632 1131644228 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211283 24765 13073 16 0 211267 0
vsize: 845132
[startup+140.013 s]
Raw data (loadavg): 1.04 1.03 0.94 2/64 14923
Raw data (stat): 14911 (java) R 14910 10614 10613 0 -1 0 18080 3 1 0 13058 45 0 0 25 0 11 0 541555383 865415168 24877 4294967295 134512640 134569956 3221224400 3221214656 1131217557 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211283 24877 13073 16 0 211267 0
vsize: 845132
[startup+150.013 s]
Raw data (loadavg): 1.04 1.03 0.94 2/64 14923
Raw data (stat): 14911 (java) R 14910 10614 10613 0 -1 0 18080 3 1 0 14029 45 0 0 25 0 11 0 541555383 865415168 25065 4294967295 134512640 134569956 3221224400 3221214560 1131224024 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211283 25065 13073 16 0 211267 0
vsize: 845132
[startup+160.013 s]
Raw data (loadavg): 1.03 1.03 0.94 2/64 14923
Raw data (stat): 14911 (java) R 14910 10614 10613 0 -1 0 18080 3 1 0 15000 45 0 0 25 0 11 0 541555383 865415168 25238 4294967295 134512640 134569956 3221224400 3221214384 1131716542 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211283 25238 13073 16 0 211267 0
vsize: 845132
[startup+170.013 s]
Raw data (loadavg): 1.02 1.03 0.94 2/64 14923
Raw data (stat): 14911 (java) R 14910 10614 10613 0 -1 0 18080 3 1 0 15962 45 0 0 25 0 11 0 541555383 865415168 25400 4294967295 134512640 134569956 3221224400 3221214424 1131531854 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211283 25400 13073 16 0 211267 0
vsize: 845132
[startup+180.012 s]
Raw data (loadavg): 1.02 1.02 0.94 2/64 14923
Raw data (stat): 14911 (java) R 14910 10614 10613 0 -1 0 18080 3 1 0 16935 45 0 0 25 0 11 0 541555383 865415168 25476 4294967295 134512640 134569956 3221224400 3221214256 1131644365 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211283 25476 13073 16 0 211267 0
vsize: 845132
[startup+190.013 s]
Raw data (loadavg): 1.02 1.02 0.94 2/64 14923
Raw data (stat): 14911 (java) R 14910 10614 10613 0 -1 0 18080 3 1 0 17898 45 0 0 25 0 11 0 541555383 865415168 25625 4294967295 134512640 134569956 3221224400 3221214440 1131644268 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211283 25625 13073 16 0 211267 0
vsize: 845132
[startup+200.013 s]
Raw data (loadavg): 1.01 1.02 0.94 2/64 14923
Raw data (stat): 14911 (java) R 14910 10614 10613 0 -1 0 18080 3 1 0 18863 45 0 0 25 0 11 0 541555383 865415168 25713 4294967295 134512640 134569956 3221224400 3221214832 1131327824 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211283 25713 13073 16 0 211267 0
vsize: 845132
[startup+210.013 s]
Raw data (loadavg): 1.01 1.02 0.94 2/64 14923
Raw data (stat): 14911 (java) R 14910 10614 10613 0 -1 0 18080 3 1 0 19829 45 0 0 25 0 11 0 541555383 865415168 25782 4294967295 134512640 134569956 3221224400 3221214392 1131716192 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211283 25782 13073 16 0 211267 0
vsize: 845132
[startup+220.013 s]
Raw data (loadavg): 1.01 1.02 0.94 2/64 14923
Raw data (stat): 14911 (java) R 14910 10614 10613 0 -1 0 18080 3 1 0 20794 45 0 0 25 0 11 0 541555383 865415168 25875 4294967295 134512640 134569956 3221224400 3221214584 1131720168 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211283 25875 13073 16 0 211267 0
vsize: 845132
[startup+230.013 s]
Raw data (loadavg): 1.01 1.02 0.94 2/64 14923
Raw data (stat): 14911 (java) R 14910 10614 10613 0 -1 0 18080 3 1 0 21760 45 0 0 25 0 11 0 541555383 865415168 25926 4294967295 134512640 134569956 3221224400 3221214656 1131217335 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211283 25926 13073 16 0 211267 0
vsize: 845132
[startup+240.014 s]
Raw data (loadavg): 1.01 1.02 0.94 2/64 14923
Raw data (stat): 14911 (java) R 14910 10614 10613 0 -1 0 18080 3 1 0 22727 45 0 0 25 0 11 0 541555383 865415168 26121 4294967295 134512640 134569956 3221224400 3221214256 1085679762 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211283 26121 13073 16 0 211267 0
vsize: 845132
[startup+250.014 s]
Raw data (loadavg): 1.00 1.02 0.94 2/64 14923
Raw data (stat): 14911 (java) S 14910 10614 10613 0 -1 0 18080 3 1 0 23699 46 0 0 25 0 11 0 541555383 865415168 26248 4294967295 134512640 134569956 3221224400 3221213400 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211283 26250 13073 16 0 211267 0
vsize: 845132
[startup+260.014 s]
Raw data (loadavg): 1.00 1.02 0.94 2/64 14923
Raw data (stat): 14911 (java) R 14910 10614 10613 0 -1 0 18080 3 1 0 24673 46 0 0 24 0 11 0 541555383 865415168 26401 4294967295 134512640 134569956 3221224400 3221214680 1131722649 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211283 26401 13073 16 0 211267 0
vsize: 845132
[startup+270.015 s]
Raw data (loadavg): 1.00 1.02 0.94 2/64 14923
Raw data (stat): 14911 (java) R 14910 10614 10613 0 -1 0 18080 3 1 0 25649 46 0 0 24 0 11 0 541555383 865415168 26509 4294967295 134512640 134569956 3221224400 3221214656 1131217058 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211283 26509 13073 16 0 211267 0
vsize: 845132
[startup+280.014 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 14923
Raw data (stat): 14911 (java) R 14910 10614 10613 0 -1 0 18080 3 1 0 26631 46 0 0 25 0 11 0 541555383 865415168 26561 4294967295 134512640 134569956 3221224400 3221214752 1131342470 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211283 26561 13073 16 0 211267 0
vsize: 845132
[startup+290.015 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 14923
Raw data (stat): 14911 (java) R 14910 10614 10613 0 -1 0 18080 3 1 0 27608 46 0 0 25 0 11 0 541555383 865415168 26625 4294967295 134512640 134569956 3221224400 3221214752 1131344711 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211283 26625 13073 16 0 211267 0
vsize: 845132
[startup+300.016 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 14923
Raw data (stat): 14911 (java) R 14910 10614 10613 0 -1 0 18080 3 1 0 28584 47 0 0 25 0 11 0 541555383 865415168 26712 4294967295 134512640 134569956 3221224400 3221214704 1131459299 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211283 26712 13073 16 0 211267 0
vsize: 845132
[startup+310.016 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 14923
Raw data (stat): 14911 (java) R 14910 10614 10613 0 -1 0 18080 3 1 0 29565 47 0 0 25 0 11 0 541555383 865415168 26760 4294967295 134512640 134569956 3221224400 3221214200 1131713214 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211283 26760 13073 16 0 211267 0
vsize: 845132
[startup+320.016 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 14923
Raw data (stat): 14911 (java) R 14910 10614 10613 0 -1 0 18080 3 1 0 30540 47 0 0 25 0 11 0 541555383 865415168 26835 4294967295 134512640 134569956 3221224400 3221214656 1131217729 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211283 26835 13073 16 0 211267 0
vsize: 845132
[startup+330.017 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 14923
Raw data (stat): 14911 (java) R 14910 10614 10613 0 -1 0 18080 3 1 0 31521 47 0 0 25 0 11 0 541555383 865415168 26884 4294967295 134512640 134569956 3221224400 3221214648 1131224209 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211283 26884 13073 16 0 211267 0
vsize: 845132
[startup+340.017 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 14923
Raw data (stat): 14911 (java) R 14910 10614 10613 0 -1 0 18080 3 1 0 32501 47 0 0 25 0 11 0 541555383 865415168 26932 4294967295 134512640 134569956 3221224400 3221214656 1131217038 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211283 26932 13073 16 0 211267 0
vsize: 845132
[startup+350.017 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 14923
Raw data (stat): 14911 (java) R 14910 10614 10613 0 -1 0 18080 3 1 0 33469 48 0 0 25 0 11 0 541555383 865415168 27035 4294967295 134512640 134569956 3221224400 3221214392 1131719133 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211283 27035 13073 16 0 211267 0
vsize: 845132
[startup+360.018 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 14923
Raw data (stat): 14911 (java) R 14910 10614 10613 0 -1 0 18080 3 1 0 34442 48 0 0 25 0 11 0 541555383 865415168 27114 4294967295 134512640 134569956 3221224400 3221214480 1131564892 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211283 27114 13073 16 0 211267 0
vsize: 845132
[startup+370.019 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 14923
Raw data (stat): 14911 (java) R 14910 10614 10613 0 -1 0 18080 3 1 0 35423 48 0 0 25 0 11 0 541555383 865415168 27171 4294967295 134512640 134569956 3221224400 3221214576 1131720240 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211283 27171 13073 16 0 211267 0
vsize: 845132
[startup+380.019 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 14923
Raw data (stat): 14911 (java) R 14910 10614 10613 0 -1 0 18080 3 1 0 36403 48 0 0 25 0 11 0 541555383 865415168 27230 4294967295 134512640 134569956 3221224400 3221214480 1131566093 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211283 27230 13073 16 0 211267 0
vsize: 845132
[startup+390.019 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 14923
Raw data (stat): 14911 (java) R 14910 10614 10613 0 -1 0 18080 3 1 0 37384 48 0 0 25 0 11 0 541555383 865415168 27304 4294967295 134512640 134569956 3221224400 3221214752 1131342552 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211283 27304 13073 16 0 211267 0
vsize: 845132
[startup+400.02 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 14923
Raw data (stat): 14911 (java) R 14910 10614 10613 0 -1 0 18080 3 1 0 38359 49 0 0 25 0 11 0 541555383 865415168 27390 4294967295 134512640 134569956 3221224400 3221214672 1131641365 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211283 27390 13073 16 0 211267 0
vsize: 845132
[startup+410.02 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 14923
Raw data (stat): 14911 (java) R 14910 10614 10613 0 -1 0 18080 3 1 0 39341 49 0 0 25 0 11 0 541555383 865415168 27445 4294967295 134512640 134569956 3221224400 3221214152 1131644149 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211283 27445 13073 16 0 211267 0
vsize: 845132
[startup+420.021 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 14923
Raw data (stat): 14911 (java) R 14910 10614 10613 0 -1 0 18080 3 1 0 40316 49 0 0 25 0 11 0 541555383 865415168 27532 4294967295 134512640 134569956 3221224400 3221214692 1080203690 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211283 27532 13073 16 0 211267 0
vsize: 845132
[startup+430.021 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 14923
Raw data (stat): 14911 (java) R 14910 10614 10613 0 -1 0 18080 3 1 0 41292 49 0 0 25 0 11 0 541555383 865415168 27608 4294967295 134512640 134569956 3221224400 3221214680 1131713892 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211283 27608 13073 16 0 211267 0
vsize: 845132
[startup+440.022 s]
Raw data (loadavg): 1.08 1.02 0.95 2/64 14923
Raw data (stat): 14911 (java) R 14910 10614 10613 0 -1 0 18080 3 1 0 42268 50 0 0 25 0 11 0 541555383 865415168 27675 4294967295 134512640 134569956 3221224400 3221214656 1131218044 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211283 27675 13073 16 0 211267 0
vsize: 845132
[startup+450.022 s]
Raw data (loadavg): 1.07 1.02 0.95 2/64 14923
Raw data (stat): 14911 (java) R 14910 10614 10613 0 -1 0 18080 3 1 0 43244 50 0 0 25 0 11 0 541555383 865415168 27753 4294967295 134512640 134569956 3221224400 3221213968 1085679762 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211283 27753 13073 16 0 211267 0
vsize: 845132
[startup+460.022 s]
Raw data (loadavg): 1.06 1.01 0.95 2/64 14923
Raw data (stat): 14911 (java) R 14910 10614 10613 0 -1 0 18080 3 1 0 44221 50 0 0 25 0 11 0 541555383 865415168 27849 4294967295 134512640 134569956 3221224400 3221214484 1131641344 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211283 27849 13073 16 0 211267 0
vsize: 845132
[startup+470.023 s]
Raw data (loadavg): 1.05 1.01 0.95 2/64 14923
Raw data (stat): 14911 (java) R 14910 10614 10613 0 -1 0 18080 3 1 0 45205 51 0 0 25 0 11 0 541555383 865415168 27925 4294967295 134512640 134569956 3221224400 3221214152 1131644305 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211283 27925 13073 16 0 211267 0
vsize: 845132
[startup+480.023 s]
Raw data (loadavg): 1.04 1.01 0.95 2/64 14923
Raw data (stat): 14911 (java) R 14910 10614 10613 0 -1 0 18080 3 1 0 46183 51 0 0 25 0 11 0 541555383 865415168 28007 4294967295 134512640 134569956 3221224400 3221213960 1131644244 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211283 28007 13073 16 0 211267 0
vsize: 845132
[startup+490.023 s]
Raw data (loadavg): 1.03 1.01 0.95 2/64 14923
Raw data (stat): 14911 (java) R 14910 10614 10613 0 -1 0 18080 3 1 0 47161 51 0 0 25 0 11 0 541555383 865415168 28083 4294967295 134512640 134569956 3221224400 3221214752 1131342570 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211283 28083 13073 16 0 211267 0
vsize: 845132
[startup+500.024 s]
Raw data (loadavg): 1.03 1.01 0.95 2/64 14923
Raw data (stat): 14911 (java) R 14910 10614 10613 0 -1 0 18080 3 1 0 48139 52 0 0 25 0 11 0 541555383 865415168 28164 4294967295 134512640 134569956 3221224400 3221214752 1131363654 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211283 28164 13073 16 0 211267 0
vsize: 845132
[startup+510.024 s]
Raw data (loadavg): 1.02 1.01 0.95 2/64 14923
Raw data (stat): 14911 (java) R 14910 10614 10613 0 -1 0 18080 3 1 0 49123 52 0 0 25 0 11 0 541555383 865415168 28208 4294967295 134512640 134569956 3221224400 3221214096 1131712308 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211283 28208 13073 16 0 211267 0
vsize: 845132
[startup+520.024 s]
Raw data (loadavg): 1.02 1.01 0.95 2/64 14923
Raw data (stat): 14911 (java) R 14910 10614 10613 0 -1 0 18080 3 1 0 50102 52 0 0 25 0 11 0 541555383 865415168 28279 4294967295 134512640 134569956 3221224400 3221214752 1131342552 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211283 28279 13073 16 0 211267 0
vsize: 845132
[startup+530.024 s]
Raw data (loadavg): 1.02 1.01 0.95 2/64 14923
Raw data (stat): 14911 (java) R 14910 10614 10613 0 -1 0 18080 3 1 0 51081 52 0 0 25 0 11 0 541555383 865415168 28349 4294967295 134512640 134569956 3221224400 3221214340 1131644304 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211283 28349 13073 16 0 211267 0
vsize: 845132
[startup+540.025 s]
Raw data (loadavg): 1.01 1.01 0.95 2/64 14923
Raw data (stat): 14911 (java) R 14910 10614 10613 0 -1 0 18080 3 1 0 52066 53 0 0 25 0 11 0 541555383 865415168 28384 4294967295 134512640 134569956 3221224400 3221214656 1131217713 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211283 28384 13073 16 0 211267 0
vsize: 845132
[startup+550.025 s]
Raw data (loadavg): 1.01 1.01 0.95 2/64 14923
Raw data (stat): 14911 (java) R 14910 10614 10613 0 -1 0 18080 3 1 0 53045 53 0 0 25 0 11 0 541555383 865415168 28452 4294967295 134512640 134569956 3221224400 3221214056 1131644256 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211283 28452 13073 16 0 211267 0
vsize: 845132
[startup+560.025 s]
Raw data (loadavg): 1.01 1.00 0.95 2/64 14923
Raw data (stat): 14911 (java) R 14910 10614 10613 0 -1 0 18080 3 1 0 54025 53 0 0 25 0 11 0 541555383 865415168 28512 4294967295 134512640 134569956 3221224400 3221214584 1131719264 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211283 28512 13073 16 0 211267 0
vsize: 845132
[startup+570.026 s]
Raw data (loadavg): 1.01 1.00 0.95 2/64 14923
Raw data (stat): 14911 (java) R 14910 10614 10613 0 -1 0 18080 3 1 0 55004 53 0 0 25 0 11 0 541555383 865415168 28599 4294967295 134512640 134569956 3221224400 3221214656 1131217783 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211283 28599 13073 16 0 211267 0
vsize: 845132
[startup+580.025 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 14923
Raw data (stat): 14911 (java) R 14910 10614 10613 0 -1 0 18080 3 1 0 55990 53 0 0 25 0 11 0 541555383 865415168 28650 4294967295 134512640 134569956 3221224400 3221214096 1131712308 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211283 28650 13073 16 0 211267 0
vsize: 845132
[startup+590.026 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 14923
Raw data (stat): 14911 (java) R 14910 10614 10613 0 -1 0 18080 3 1 0 56970 54 0 0 25 0 11 0 541555383 865415168 28710 4294967295 134512640 134569956 3221224400 3221214004 1131641356 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211283 28710 13073 16 0 211267 0
vsize: 845132
[startup+600.027 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 14923
Raw data (stat): 14911 (java) R 14910 10614 10613 0 -1 0 18080 3 1 0 57956 54 0 0 25 0 11 0 541555383 865415168 28767 4294967295 134512640 134569956 3221224400 3221214752 1131341466 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211283 28767 13073 16 0 211267 0
vsize: 845132
[startup+610.027 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 14923
Raw data (stat): 14911 (java) R 14910 10614 10613 0 -1 0 18080 3 1 0 58936 55 0 0 25 0 11 0 541555383 865415168 28822 4294967295 134512640 134569956 3221224400 3221214656 1131218296 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211283 28822 13073 16 0 211267 0
vsize: 845132
[startup+620.028 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 14923
Raw data (stat): 14911 (java) R 14910 10614 10613 0 -1 0 18080 3 1 0 59917 55 0 0 25 0 11 0 541555383 865415168 28880 4294967295 134512640 134569956 3221224400 3221214656 1131217779 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211283 28880 13073 16 0 211267 0
vsize: 845132
[startup+630.028 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 14923
Raw data (stat): 14911 (java) R 14910 10614 10613 0 -1 0 18080 3 1 0 60903 55 0 0 25 0 11 0 541555383 865415168 28932 4294967295 134512640 134569956 3221224400 3221214656 1131217725 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211283 28932 13073 16 0 211267 0
vsize: 845132
[startup+640.029 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 14923
Raw data (stat): 14911 (java) R 14910 10614 10613 0 -1 0 18080 3 1 0 61885 55 0 0 25 0 11 0 541555383 865415168 28984 4294967295 134512640 134569956 3221224400 3221214472 1131496062 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211283 28984 13073 16 0 211267 0
vsize: 845132
[startup+650.029 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 14923
Raw data (stat): 14911 (java) R 14910 10614 10613 0 -1 0 18080 3 1 0 62866 55 0 0 25 0 11 0 541555383 865415168 29043 4294967295 134512640 134569956 3221224400 3221214568 1131371523 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211283 29043 13073 16 0 211267 0
vsize: 845132
[startup+660.029 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 14923
Raw data (stat): 14911 (java) R 14910 10614 10613 0 -1 0 18080 3 1 0 63847 55 0 0 25 0 11 0 541555383 865415168 29125 4294967295 134512640 134569956 3221224400 3221214424 1131496636 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211283 29125 13073 16 0 211267 0
vsize: 845132
[startup+670.029 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 14923
Raw data (stat): 14911 (java) R 14910 10614 10613 0 -1 0 18080 3 1 0 64828 56 0 0 25 0 11 0 541555383 865415168 29179 4294967295 134512640 134569956 3221224400 3221213968 1131644379 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211283 29179 13073 16 0 211267 0
vsize: 845132
[startup+680.029 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 14923
Raw data (stat): 14911 (java) R 14910 10614 10613 0 -1 0 18080 3 1 0 65809 56 0 0 25 0 11 0 541555383 865415168 29243 4294967295 134512640 134569956 3221224400 3221214488 1131717862 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211283 29243 13073 16 0 211267 0
vsize: 845132
[startup+690.03 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 14923
Raw data (stat): 14911 (java) R 14910 10614 10613 0 -1 0 18080 3 1 0 66789 57 0 0 25 0 11 0 541555383 865415168 29298 4294967295 134512640 134569956 3221224400 3221214656 1131217029 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211283 29298 13073 16 0 211267 0
vsize: 845132
[startup+700.03 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 14923
Raw data (stat): 14911 (java) R 14910 10614 10613 0 -1 0 18080 3 1 0 67769 57 0 0 25 0 11 0 541555383 865415168 29353 4294967295 134512640 134569956 3221224400 3221214656 1131217296 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211283 29353 13073 16 0 211267 0
vsize: 845132
[startup+710.031 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 14923
Raw data (stat): 14911 (java) R 14910 10614 10613 0 -1 0 18080 3 1 0 68749 58 0 0 25 0 11 0 541555383 865415168 29413 4294967295 134512640 134569956 3221224400 3221214664 1131605139 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211283 29413 13073 16 0 211267 0
vsize: 845132
[startup+720.031 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 14923
Raw data (stat): 14911 (java) R 14910 10614 10613 0 -1 0 18080 3 1 0 69728 58 0 0 25 0 11 0 541555383 865415168 29478 4294967295 134512640 134569956 3221224400 3221214656 1131217785 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211283 29478 13073 16 0 211267 0
vsize: 845132
[startup+730.031 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 14923
Raw data (stat): 14911 (java) R 14910 10614 10613 0 -1 0 18080 3 1 0 70708 58 0 0 25 0 11 0 541555383 865415168 29541 4294967295 134512640 134569956 3221224400 3221214656 1131217761 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211283 29541 13073 16 0 211267 0
vsize: 845132
[startup+740.033 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 14923
Raw data (stat): 14911 (java) R 14910 10614 10613 0 -1 0 18080 3 1 0 71683 59 0 0 25 0 11 0 541555383 865415168 29631 4294967295 134512640 134569956 3221224400 3221214472 1131489843 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211283 29631 13073 16 0 211267 0
vsize: 845132
[startup+750.033 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 14923
Raw data (stat): 14911 (java) R 14910 10614 10613 0 -1 0 18080 3 1 0 72664 59 0 0 25 0 11 0 541555383 865415168 29689 4294967295 134512640 134569956 3221224400 3221214680 1131719273 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211283 29689 13073 16 0 211267 0
vsize: 845132
[startup+760.033 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 14923
Raw data (stat): 14911 (java) R 14910 10614 10613 0 -1 0 18080 3 1 0 73640 59 0 0 25 0 11 0 541555383 865415168 29776 4294967295 134512640 134569956 3221224400 3221214656 1131217733 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211283 29776 13073 16 0 211267 0
vsize: 845132
[startup+770.034 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 14923
Raw data (stat): 14911 (java) R 14910 10614 10613 0 -1 0 18080 3 1 0 74621 60 0 0 25 0 11 0 541555383 865415168 29844 4294967295 134512640 134569956 3221224400 3221214576 1131641365 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211283 29844 13073 16 0 211267 0
vsize: 845132
[startup+780.035 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 14923
Raw data (stat): 14911 (java) R 14910 10614 10613 0 -1 0 18080 3 1 0 75602 60 0 0 25 0 11 0 541555383 865415168 29908 4294967295 134512640 134569956 3221224400 3221214656 1131217629 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211283 29908 13073 16 0 211267 0
vsize: 845132
[startup+790.035 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 14923
Raw data (stat): 14911 (java) R 14910 10614 10613 0 -1 0 18080 3 1 0 76584 60 0 0 25 0 11 0 541555383 865415168 29980 4294967295 134512640 134569956 3221224400 3221214656 1131217689 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211283 29980 13073 16 0 211267 0
vsize: 845132
[startup+800.035 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 14923
Raw data (stat): 14911 (java) R 14910 10614 10613 0 -1 0 18080 3 1 0 77567 61 0 0 25 0 11 0 541555383 865415168 30041 4294967295 134512640 134569956 3221224400 3221213964 1085616768 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211283 30041 13073 16 0 211267 0
vsize: 845132
[startup+810.034 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 14923
Raw data (stat): 14911 (java) R 14910 10614 10613 0 -1 0 18080 3 1 0 78547 61 0 0 25 0 11 0 541555383 865415168 30085 4294967295 134512640 134569956 3221224400 3221214656 1131217557 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211283 30085 13073 16 0 211267 0
vsize: 845132
[startup+820.035 s]
Raw data (loadavg): 1.00 1.00 0.95 3/64 14923
Raw data (stat): 14911 (java) R 14910 10614 10613 0 -1 0 18080 3 1 0 79532 62 0 0 25 0 11 0 541555383 865415168 30128 4294967295 134512640 134569956 3221224400 3221214288 1131641365 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211283 30128 13073 16 0 211267 0
vsize: 845132
[startup+830.035 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 14923
Raw data (stat): 14911 (java) R 14910 10614 10613 0 -1 0 18080 3 1 0 80518 62 0 0 25 0 11 0 541555383 865415168 30166 4294967295 134512640 134569956 3221224400 3221213968 1131644244 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211283 30166 13073 16 0 211267 0
vsize: 845132
[startup+840.036 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 14923
Raw data (stat): 14911 (java) R 14910 10614 10613 0 -1 0 18080 3 1 0 81502 62 0 0 25 0 11 0 541555383 865415168 30208 4294967295 134512640 134569956 3221224400 3221214632 1131644280 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211283 30208 13073 16 0 211267 0
vsize: 845132
[startup+850.036 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 14923
Raw data (stat): 14911 (java) R 14910 10614 10613 0 -1 0 18080 3 1 0 82482 63 0 0 25 0 11 0 541555383 865415168 30257 4294967295 134512640 134569956 3221224400 3221214648 1131533818 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211283 30257 13073 16 0 211267 0
vsize: 845132
[startup+860.036 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 14923
Raw data (stat): 14911 (java) R 14910 10614 10613 0 -1 0 18080 3 1 0 83466 63 0 0 25 0 11 0 541555383 865415168 30312 4294967295 134512640 134569956 3221224400 3221214064 1131644284 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211283 30312 13073 16 0 211267 0
vsize: 845132
[startup+870.037 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 14923
Raw data (stat): 14911 (java) R 14910 10614 10613 0 -1 0 18080 3 1 0 84445 63 0 0 25 0 11 0 541555383 865415168 30359 4294967295 134512640 134569956 3221224400 3221214544 1085679446 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211283 30359 13073 16 0 211267 0
vsize: 845132
[startup+880.036 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 14923
Raw data (stat): 14911 (java) R 14910 10614 10613 0 -1 0 18080 3 1 0 85430 64 0 0 25 0 11 0 541555383 865415168 30393 4294967295 134512640 134569956 3221224400 3221214200 1131714296 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211283 30393 13073 16 0 211267 0
vsize: 845132
[startup+890.037 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 14923
Raw data (stat): 14911 (java) R 14910 10614 10613 0 -1 0 18080 3 1 0 86408 64 0 0 25 0 11 0 541555383 865415168 30435 4294967295 134512640 134569956 3221224400 3221214672 1131713432 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211283 30435 13073 16 0 211267 0
vsize: 845132
[startup+900.038 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 14923
Raw data (stat): 14911 (java) R 14910 10614 10613 0 -1 0 18080 3 1 0 87392 64 0 0 25 0 11 0 541555383 865415168 30511 4294967295 134512640 134569956 3221224400 3221214656 1131217767 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211283 30511 13073 16 0 211267 0
vsize: 845132
[startup+910.038 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 14923
Raw data (stat): 14911 (java) R 14910 10614 10613 0 -1 0 18080 3 1 0 88371 65 0 0 25 0 11 0 541555383 865415168 30569 4294967295 134512640 134569956 3221224400 3221214440 1131644298 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211283 30569 13073 16 0 211267 0
vsize: 845132
[startup+920.039 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 14923
Raw data (stat): 14911 (java) R 14910 10614 10613 0 -1 0 18080 3 1 0 89355 65 0 0 25 0 11 0 541555383 865415168 30617 4294967295 134512640 134569956 3221224400 3221214656 1131217292 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211283 30617 13073 16 0 211267 0
vsize: 845132
[startup+930.039 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 14923
Raw data (stat): 14911 (java) R 14910 10614 10613 0 -1 0 18080 3 1 0 90334 66 0 0 25 0 11 0 541555383 865415168 30687 4294967295 134512640 134569956 3221224400 3221214656 1131217705 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211283 30687 13073 16 0 211267 0
vsize: 845132
[startup+940.039 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 14923
Raw data (stat): 14911 (java) R 14910 10614 10613 0 -1 0 18080 3 1 0 91314 66 0 0 25 0 11 0 541555383 865415168 30752 4294967295 134512640 134569956 3221224400 3221214532 1131644304 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211283 30752 13073 16 0 211267 0
vsize: 845132
[startup+950.039 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 14923
Raw data (stat): 14911 (java) R 14910 10614 10613 0 -1 0 18080 3 1 0 92299 66 0 0 25 0 11 0 541555383 865415168 30786 4294967295 134512640 134569956 3221224400 3221214656 1131217642 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211283 30786 13073 16 0 211267 0
vsize: 845132
[startup+960.04 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 14923
Raw data (stat): 14911 (java) R 14910 10614 10613 0 -1 0 18080 3 1 0 93278 67 0 0 25 0 11 0 541555383 865415168 30859 4294967295 134512640 134569956 3221224400 3221214480 1131641365 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211283 30859 13073 16 0 211267 0
vsize: 845132
[startup+970.04 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 14923
Raw data (stat): 14911 (java) R 14910 10614 10613 0 -1 0 18080 3 1 0 94258 67 0 0 25 0 11 0 541555383 865415168 30933 4294967295 134512640 134569956 3221224400 3221213872 1085679313 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211283 30933 13073 16 0 211267 0
vsize: 845132
[startup+980.04 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 14923
Raw data (stat): 14911 (java) R 14910 10614 10613 0 -1 0 18080 3 1 0 95243 67 0 0 25 0 11 0 541555383 865415168 30976 4294967295 134512640 134569956 3221224400 3221214748 1131217004 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211283 30976 13073 16 0 211267 0
vsize: 845132
[startup+990.041 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 14923
Raw data (stat): 14911 (java) R 14910 10614 10613 0 -1 0 18080 3 1 0 96222 67 0 0 25 0 11 0 541555383 865415168 31040 4294967295 134512640 134569956 3221224400 3221214752 1131342564 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211283 31040 13073 16 0 211267 0
vsize: 845132
[startup+1000.04 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 14923
Raw data (stat): 14911 (java) R 14910 10614 10613 0 -1 0 18080 3 1 0 97201 67 0 0 25 0 11 0 541555383 865415168 31096 4294967295 134512640 134569956 3221224400 3221214104 1131712276 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211283 31096 13073 16 0 211267 0
vsize: 845132
[startup+1010.04 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 14923
Raw data (stat): 14911 (java) R 14910 10614 10613 0 -1 0 18080 3 1 0 98180 68 0 0 25 0 11 0 541555383 865415168 31170 4294967295 134512640 134569956 3221224400 3221214196 1131644128 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211283 31170 13073 16 0 211267 0
vsize: 845132
[startup+1020.04 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 14923
Raw data (stat): 14911 (java) R 14910 10614 10613 0 -1 0 18080 3 1 0 99159 68 0 0 25 0 11 0 541555383 865415168 31208 4294967295 134512640 134569956 3221224400 3221214160 1131644244 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211283 31208 13073 16 0 211267 0
vsize: 845132
[startup+1030.04 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 14923
Raw data (stat): 14911 (java) R 14910 10614 10613 0 -1 0 18080 3 1 0 100138 68 0 0 25 0 11 0 541555383 865415168 31279 4294967295 134512640 134569956 3221224400 3221214704 1131414304 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211283 31279 13073 16 0 211267 0
vsize: 845132
[startup+1040.04 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 14923
Raw data (stat): 14911 (java) R 14910 10614 10613 0 -1 0 18080 3 1 0 101118 68 0 0 25 0 11 0 541555383 865415168 31347 4294967295 134512640 134569956 3221224400 3221214536 1131644305 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211283 31347 13073 16 0 211267 0
vsize: 845132
[startup+1050.04 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 14923
Raw data (stat): 14911 (java) R 14910 10614 10613 0 -1 0 18080 3 1 0 102098 69 0 0 25 0 11 0 541555383 865415168 31404 4294967295 134512640 134569956 3221224400 3221214344 1131644314 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211283 31404 13073 16 0 211267 0
vsize: 845132
[startup+1060.04 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 14923
Raw data (stat): 14911 (java) R 14910 10614 10613 0 -1 0 18080 3 1 0 103078 69 0 0 25 0 11 0 541555383 865415168 31458 4294967295 134512640 134569956 3221224400 3221214656 1131218011 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211283 31458 13073 16 0 211267 0
vsize: 845132
[startup+1070.04 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 14923
Raw data (stat): 14911 (java) R 14910 10614 10613 0 -1 0 18080 3 1 0 104058 69 0 0 25 0 11 0 541555383 865415168 31513 4294967295 134512640 134569956 3221224400 3221214200 1131717130 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211283 31513 13073 16 0 211267 0
vsize: 845132
[startup+1080.04 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 14923
Raw data (stat): 14911 (java) R 14910 10614 10613 0 -1 0 18080 3 1 0 105038 70 0 0 25 0 11 0 541555383 865415168 31566 4294967295 134512640 134569956 3221224400 3221214656 1131217985 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211283 31566 13073 16 0 211267 0
vsize: 845132
[startup+1090.04 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 14923
Raw data (stat): 14911 (java) R 14910 10614 10613 0 -1 0 18080 3 1 0 106017 70 0 0 25 0 11 0 541555383 865415168 31630 4294967295 134512640 134569956 3221224400 3221214656 1131217557 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211283 31630 13073 16 0 211267 0
vsize: 845132
[startup+1100.05 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 14923
Raw data (stat): 14911 (java) R 14910 10614 10613 0 -1 0 18080 3 1 0 106998 71 0 0 25 0 11 0 541555383 865415168 31689 4294967295 134512640 134569956 3221224400 3221214148 1131644304 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211283 31689 13073 16 0 211267 0
vsize: 845132
[startup+1110.05 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 14923
Raw data (stat): 14911 (java) R 14910 10614 10613 0 -1 0 18080 3 1 0 107978 71 0 0 25 0 11 0 541555383 865415168 31731 4294967295 134512640 134569956 3221224400 3221214392 1131713589 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211283 31731 13073 16 0 211267 0
vsize: 845132
[startup+1120.05 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 14923
Raw data (stat): 14911 (java) R 14910 10614 10613 0 -1 0 18080 3 1 0 108957 71 0 0 25 0 11 0 541555383 865415168 31772 4294967295 134512640 134569956 3221224400 3221214656 1131217029 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211283 31772 13073 16 0 211267 0
vsize: 845132
[startup+1130.05 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 14923
Raw data (stat): 14911 (java) R 14910 10614 10613 0 -1 0 18080 3 1 0 109937 72 0 0 25 0 11 0 541555383 865415168 31828 4294967295 134512640 134569956 3221224400 3221213968 1085679272 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211283 31828 13073 16 0 211267 0
vsize: 845132
[startup+1140.05 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 14923
Raw data (stat): 14911 (java) R 14910 10614 10613 0 -1 0 18080 3 1 0 110917 72 0 0 25 0 11 0 541555383 865415168 31889 4294967295 134512640 134569956 3221224400 3221214244 1131644240 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211283 31889 13073 16 0 211267 0
vsize: 845132
[startup+1150.05 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 14923
Raw data (stat): 14911 (java) R 14910 10614 10613 0 -1 0 18080 3 1 0 111898 73 0 0 25 0 11 0 541555383 865415168 31944 4294967295 134512640 134569956 3221224400 3221214656 1131217701 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211283 31944 13073 16 0 211267 0
vsize: 845132
[startup+1160.05 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 14923
Raw data (stat): 14911 (java) R 14910 10614 10613 0 -1 0 18080 3 1 0 112879 73 0 0 25 0 11 0 541555383 865415168 31983 4294967295 134512640 134569956 3221224400 3221214472 1131497280 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211283 31983 13073 16 0 211267 0
vsize: 845132
[startup+1170.05 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 14923
Raw data (stat): 14911 (java) R 14910 10614 10613 0 -1 0 18080 3 1 0 113860 73 0 0 25 0 11 0 541555383 865415168 32031 4294967295 134512640 134569956 3221224400 3221214656 1131217578 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211283 32031 13073 16 0 211267 0
vsize: 845132
[startup+1180.05 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 14923
Raw data (stat): 14911 (java) R 14910 10614 10613 0 -1 0 18080 3 1 0 114846 73 0 0 25 0 11 0 541555383 865415168 32078 4294967295 134512640 134569956 3221224400 3221214472 1131495729 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211283 32078 13073 16 0 211267 0
vsize: 845132
[startup+1190.05 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 14923
Raw data (stat): 14911 (java) R 14910 10614 10613 0 -1 0 18080 3 1 0 115827 74 0 0 25 0 11 0 541555383 865415168 32127 4294967295 134512640 134569956 3221224400 3221214152 1131644141 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211283 32127 13073 16 0 211267 0
vsize: 845132
[startup+1200.06 s]
Raw data (loadavg): 1.00 1.00 0.95 3/67 14963
Raw data (stat): 14911 (java) R 14910 10614 10613 0 -1 0 18080 3 1 0 116807 76 0 0 25 0 11 0 541555383 865415168 32173 4294967295 134512640 134569956 3221224400 3221214424 1131535193 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211283 32173 13073 16 0 211267 0
vsize: 845132
[startup+1210.06 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 14976
Raw data (stat): 14911 (java) R 14910 10614 10613 0 -1 0 18080 3 1 0 117789 76 0 0 25 0 11 0 541555383 865415168 32215 4294967295 134512640 134569956 3221224400 3221214264 1080217270 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211283 32215 13073 16 0 211267 0
vsize: 845132
[startup+1220.06 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 14976
Raw data (stat): 14911 (java) R 14910 10614 10613 0 -1 0 18080 3 1 0 118770 76 0 0 25 0 11 0 541555383 865415168 32252 4294967295 134512640 134569956 3221224400 3221214344 1131644280 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211283 32252 13073 16 0 211267 0
vsize: 845132
[startup+1230.06 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 14976
Raw data (stat): 14911 (java) R 14910 10614 10613 0 -1 0 18080 3 1 0 119750 76 0 0 25 0 11 0 541555383 865415168 32278 4294967295 134512640 134569956 3221224400 3221214544 1085679318 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211283 32278 13073 16 0 211267 0
vsize: 845132
[startup+1240.06 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 14976
Raw data (stat): 14911 (java) R 14910 10614 10613 0 -1 0 18080 3 1 0 120729 76 0 0 25 0 11 0 541555383 865415168 32316 4294967295 134512640 134569956 3221224400 3221213968 1085679545 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211283 32316 13073 16 0 211267 0
vsize: 845132
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1240.16 s]
Raw data (loadavg): 1.00 1.00 0.95 1/54 14978
Raw data (stat): 14911 (java) Z 14910 10614 10613 0 -1 1036 18080 16212 1 1 120732 77 3603 35 25 0 1 0 541555383 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1240.16
CPU time (s): 1244.49
CPU user time (s): 1243.36
CPU system time (s): 1.12883
CPU usage (%): 100.349
Max. virtual memory (Kb): 847180
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####