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/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-blp-ir98.opb
MD5SUM	af50f6e3dbb65aa298a499a107f218c7
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	21
Biggest coefficient in the objective function	1048576
Number of bits for the biggest coefficient in the objective function	21
Sum of the numbers in the objective function	2097151
Number of bits of the sum of numbers in the objective function	21
Biggest number in a constraint	81920000000
Number of bits of the biggest number in a constraint	37
Biggest sum of numbers in a constraint	18861949529571
Number of bits of the biggest sum of numbers	45
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	2.38864
Number of variables	6938
Total number of constraints	6560
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	6451
Number of constraints which are nor clauses,nor cardinality constraints	109
Minimum length of a constraint	1
Maximum length of a constraint	6052
Trace number 14482

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        637824 kB
Buffers:         34036 kB
Cached:         336784 kB
SwapCached:        528 kB
Active:         196732 kB
Inactive:       176104 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        637572 kB
SwapTotal:     2097892 kB
SwapFree:      2096468 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5112 kB
Slab:            18236 kB
Committed_AS:    63596 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-21 00:19:39 (client local time) WITH STATUS 143 IN 1248.4 SECONDS
stats: 20003 7 1248.4 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc20/normalized-mps-v2-13-7-blp-ir98.opb
c reading problem 
c [nbvar=6938]
c [nbconstr=6560]
c time 26.373
c #vars     6938
c #clauses  595
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
#### 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.91 0.95 0.90 2/54 24959
Raw data (stat): 24959 (runsolver) R 24958 27565 27564 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 540581758 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 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+9.99993 s]
Raw data (loadavg): 0.93 0.95 0.90 2/63 24968
Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18000 0 1 0 879 40 0 0 25 0 10 0 540581758 854425600 19384 4294967295 134512640 134569956 3221224400 3221214676 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208600 19384 13073 16 0 208584 0
vsize: 834400
[startup+20.0006 s]
Raw data (loadavg): 0.94 0.96 0.91 4/63 24968
Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18002 0 1 0 1754 40 0 0 25 0 10 0 540581758 856895488 20418 4294967295 134512640 134569956 3221224400 3221214856 1131160328 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209203 20418 13073 16 0 209187 0
vsize: 836812
[startup+30.0543 s]
Raw data (loadavg): 1.09 0.99 0.92 2/64 24969
Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18050 0 1 0 2622 44 0 0 25 0 11 0 540581758 857190400 25135 4294967295 134512640 134569956 3221224400 3221214756 1131273107 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209275 25135 13073 16 0 209259 0
vsize: 837100
[startup+40.0541 s]
Raw data (loadavg): 1.16 1.01 0.92 2/64 24969
Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18051 0 1 0 3546 45 0 0 25 0 11 0 540581758 857190400 25054 4294967295 134512640 134569956 3221224400 3221214780 1131276384 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209275 25054 13073 16 0 209259 0
vsize: 837100
[startup+50.0628 s]
Raw data (loadavg): 1.13 1.01 0.92 4/64 24969
Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18091 0 1 0 4441 45 0 0 25 0 11 0 540581758 859271168 25409 4294967295 134512640 134569956 3221224400 3221214756 1130884303 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209783 25410 13073 16 0 209767 0
vsize: 839132
[startup+60.0625 s]
Raw data (loadavg): 1.26 1.04 0.93 2/64 24969
Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18127 0 1 0 5370 45 0 0 25 0 11 0 540581758 860884992 26069 4294967295 134512640 134569956 3221224400 3221214784 1131382138 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210177 26069 13073 16 0 210161 0
vsize: 840708
[startup+70.0632 s]
Raw data (loadavg): 1.22 1.04 0.93 4/64 24969
Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18127 0 1 0 6312 46 0 0 25 0 11 0 540581758 859799552 26471 4294967295 134512640 134569956 3221224400 3221213864 1073952732 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209912 26471 13073 16 0 209896 0
vsize: 839648
[startup+80.0727 s]
Raw data (loadavg): 1.26 1.05 0.94 3/67 25008
Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18127 0 1 0 7274 52 0 0 25 0 11 0 540581758 859799552 26501 4294967295 134512640 134569956 3221224400 3221214624 1131503510 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209912 26501 13073 16 0 209896 0
vsize: 839648
[startup+90.0727 s]
Raw data (loadavg): 1.29 1.06 0.94 2/64 25022
Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18128 0 1 0 8238 58 0 0 25 0 11 0 540581758 859799552 26555 4294967295 134512640 134569956 3221224400 3221214784 1131381022 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209912 26555 13073 16 0 209896 0
vsize: 839648
[startup+100.074 s]
Raw data (loadavg): 1.25 1.06 0.94 2/64 25022
Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18128 0 1 0 9213 58 0 0 25 0 11 0 540581758 859799552 26575 4294967295 134512640 134569956 3221224400 3221214784 1131382705 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209912 26575 13073 16 0 209896 0
vsize: 839648
[startup+110.075 s]
Raw data (loadavg): 1.21 1.06 0.94 2/64 25022
Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18128 0 1 0 10192 58 0 0 25 0 11 0 540581758 859799552 26672 4294967295 134512640 134569956 3221224400 3221214784 1131382268 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209912 26672 13073 16 0 209896 0
vsize: 839648
[startup+120.076 s]
Raw data (loadavg): 1.18 1.06 0.94 2/64 25022
Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18128 0 1 0 11172 59 0 0 25 0 11 0 540581758 859799552 26725 4294967295 134512640 134569956 3221224400 3221214624 1131500536 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209912 26725 13073 16 0 209896 0
vsize: 839648
[startup+130.076 s]
Raw data (loadavg): 1.15 1.05 0.94 2/64 25022
Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18128 0 1 0 12140 59 0 0 25 0 11 0 540581758 859799552 26774 4294967295 134512640 134569956 3221224400 3221214728 1131438978 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209912 26774 13073 16 0 209896 0
vsize: 839648
[startup+140.076 s]
Raw data (loadavg): 1.12 1.05 0.94 2/64 25022
Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18128 0 1 0 13087 60 0 0 25 0 11 0 540581758 859799552 26790 4294967295 134512640 134569956 3221224400 3221214784 1131382541 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209912 26790 13073 16 0 209896 0
vsize: 839648
[startup+150.076 s]
Raw data (loadavg): 1.10 1.05 0.94 2/64 25022
Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18128 0 1 0 14032 60 0 0 25 0 11 0 540581758 859799552 26840 4294967295 134512640 134569956 3221224400 3221214688 1131311905 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209912 26840 13073 16 0 209896 0
vsize: 839648
[startup+160.076 s]
Raw data (loadavg): 1.09 1.05 0.94 2/64 25024
Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18128 0 1 0 14976 61 0 0 25 0 11 0 540581758 859799552 26991 4294967295 134512640 134569956 3221224400 3221214688 1131311905 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209912 26991 13073 16 0 209896 0
vsize: 839648
[startup+170.077 s]
Raw data (loadavg): 1.07 1.05 0.94 2/64 25024
Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18128 0 1 0 15945 61 0 0 25 0 11 0 540581758 859799552 27267 4294967295 134512640 134569956 3221224400 3221214784 1131382596 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209912 27267 13073 16 0 209896 0
vsize: 839648
[startup+180.077 s]
Raw data (loadavg): 1.06 1.04 0.94 2/64 25024
Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18128 0 1 0 16926 62 0 0 25 0 11 0 540581758 859799552 27302 4294967295 134512640 134569956 3221224400 3221214744 1131250084 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209912 27302 13073 16 0 209896 0
vsize: 839648
[startup+190.077 s]
Raw data (loadavg): 1.05 1.04 0.94 2/64 25024
Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18128 0 1 0 17906 62 0 0 24 0 11 0 540581758 859799552 27349 4294967295 134512640 134569956 3221224400 3221214784 1131380954 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209912 27349 13073 16 0 209896 0
vsize: 839648
[startup+200.078 s]
Raw data (loadavg): 1.04 1.04 0.94 2/64 25024
Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18128 0 1 0 18888 63 0 0 25 0 11 0 540581758 859799552 27381 4294967295 134512640 134569956 3221224400 3221214728 1131438969 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209912 27381 13073 16 0 209896 0
vsize: 839648
[startup+210.077 s]
Raw data (loadavg): 1.04 1.04 0.94 2/64 25024
Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18128 0 1 0 19861 63 0 0 25 0 11 0 540581758 859799552 27389 4294967295 134512640 134569956 3221224400 3221214728 1131439038 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209912 27389 13073 16 0 209896 0
vsize: 839648
[startup+220.086 s]
Raw data (loadavg): 1.03 1.04 0.94 2/64 25024
Raw data (stat): 24959 (java) S 24958 27565 27564 0 -1 0 18128 0 1 0 20816 63 0 0 25 0 11 0 540581758 859799552 27423 4294967295 134512640 134569956 3221224400 3221213712 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209912 27423 13073 16 0 209896 0
vsize: 839648
[startup+230.086 s]
Raw data (loadavg): 1.03 1.03 0.94 2/64 25024
Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18128 0 1 0 21775 64 0 0 25 0 11 0 540581758 859799552 27744 4294967295 134512640 134569956 3221224400 3221214784 1131383519 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209912 27744 13073 16 0 209896 0
vsize: 839648
[startup+240.086 s]
Raw data (loadavg): 1.02 1.03 0.94 2/64 25024
Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18128 0 1 0 22731 64 0 0 25 0 11 0 540581758 859799552 28030 4294967295 134512640 134569956 3221224400 3221214728 1131438969 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209912 28030 13073 16 0 209896 0
vsize: 839648
[startup+250.086 s]
Raw data (loadavg): 1.02 1.03 0.94 2/64 25024
Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18128 0 1 0 23699 65 0 0 25 0 11 0 540581758 859799552 28181 4294967295 134512640 134569956 3221224400 3221214728 1131439056 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209912 28181 13073 16 0 209896 0
vsize: 839648
[startup+260.086 s]
Raw data (loadavg): 1.01 1.03 0.94 2/64 25024
Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18128 0 1 0 24666 65 0 0 25 0 11 0 540581758 859799552 28350 4294967295 134512640 134569956 3221224400 3221214728 1131438947 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209912 28350 13073 16 0 209896 0
vsize: 839648
[startup+270.087 s]
Raw data (loadavg): 1.01 1.03 0.94 2/64 25024
Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18128 0 1 0 25624 65 0 0 25 0 11 0 540581758 859799552 28605 4294967295 134512640 134569956 3221224400 3221214728 1131438955 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209912 28605 13073 16 0 209896 0
vsize: 839648
[startup+280.087 s]
Raw data (loadavg): 1.01 1.03 0.94 2/64 25024
Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18128 0 1 0 26595 65 0 0 25 0 11 0 540581758 859799552 28605 4294967295 134512640 134569956 3221224400 3221214728 1131438969 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209912 28605 13073 16 0 209896 0
vsize: 839648
[startup+290.087 s]
Raw data (loadavg): 1.01 1.03 0.94 2/64 25024
Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18128 0 1 0 27552 66 0 0 24 0 11 0 540581758 859799552 28895 4294967295 134512640 134569956 3221224400 3221214624 1131499594 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209912 28895 13073 16 0 209896 0
vsize: 839648
[startup+300.088 s]
Raw data (loadavg): 1.01 1.02 0.94 2/64 25024
Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18128 0 1 0 28518 66 0 0 25 0 11 0 540581758 859799552 29244 4294967295 134512640 134569956 3221224400 3221214688 1131313672 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209912 29244 13073 16 0 209896 0
vsize: 839648
[startup+310.088 s]
Raw data (loadavg): 1.00 1.02 0.94 2/64 25024
Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18128 0 1 0 29466 66 0 0 25 0 11 0 540581758 859799552 29477 4294967295 134512640 134569956 3221224400 3221214784 1131382268 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209912 29477 13073 16 0 209896 0
vsize: 839648
[startup+320.089 s]
Raw data (loadavg): 1.00 1.02 0.94 2/64 25024
Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18128 0 1 0 30416 67 0 0 24 0 11 0 540581758 859799552 29531 4294967295 134512640 134569956 3221224400 3221214688 1131311865 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209912 29531 13073 16 0 209896 0
vsize: 839648
[startup+330.089 s]
Raw data (loadavg): 1.00 1.02 0.94 2/64 25024
Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18128 0 1 0 31356 67 0 0 25 0 11 0 540581758 859799552 29673 4294967295 134512640 134569956 3221224400 3221214728 1131438929 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209912 29673 13073 16 0 209896 0
vsize: 839648
[startup+340.089 s]
Raw data (loadavg): 1.00 1.02 0.94 2/64 25024
Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18128 0 1 0 32327 67 0 0 25 0 11 0 540581758 859799552 29697 4294967295 134512640 134569956 3221224400 3221214688 1131311825 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209912 29697 13073 16 0 209896 0
vsize: 839648
[startup+350.089 s]
Raw data (loadavg): 1.00 1.02 0.94 2/64 25024
Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18128 0 1 0 33275 67 0 0 25 0 11 0 540581758 859799552 29803 4294967295 134512640 134569956 3221224400 3221214728 1131438969 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209912 29803 13073 16 0 209896 0
vsize: 839648
[startup+360.091 s]
Raw data (loadavg): 1.00 1.02 0.94 2/64 25024
Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18128 0 1 0 34225 68 0 0 25 0 11 0 540581758 859799552 29945 4294967295 134512640 134569956 3221224400 3221214776 1131244156 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209912 29945 13073 16 0 209896 0
vsize: 839648
[startup+370.091 s]
Raw data (loadavg): 1.00 1.02 0.94 2/64 25024
Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18128 0 1 0 35179 68 0 0 25 0 11 0 540581758 859799552 30298 4294967295 134512640 134569956 3221224400 3221214728 1131439097 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209912 30298 13073 16 0 209896 0
vsize: 839648
[startup+380.092 s]
Raw data (loadavg): 1.00 1.02 0.94 2/64 25024
Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18128 0 1 0 36152 68 0 0 25 0 11 0 540581758 859799552 30340 4294967295 134512640 134569956 3221224400 3221214728 1131438969 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209912 30340 13073 16 0 209896 0
vsize: 839648
[startup+390.092 s]
Raw data (loadavg): 1.00 1.02 0.94 2/64 25024
Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18128 0 1 0 37095 68 0 0 25 0 11 0 540581758 859799552 30599 4294967295 134512640 134569956 3221224400 3221214680 1131311933 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209912 30599 13073 16 0 209896 0
vsize: 839648
[startup+400.094 s]
Raw data (loadavg): 1.00 1.02 0.94 2/64 25024
Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18128 0 1 0 38005 69 0 0 25 0 11 0 540581758 859799552 30599 4294967295 134512640 134569956 3221224400 3221214776 1131382763 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209912 30599 13073 16 0 209896 0
vsize: 839648
[startup+410.094 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 25026
Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18128 0 1 0 38907 69 0 0 24 0 11 0 540581758 859799552 30781 4294967295 134512640 134569956 3221224400 3221214680 1131311865 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209912 30781 13073 16 0 209896 0
vsize: 839648
[startup+420.095 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 25026
Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18128 0 1 0 39851 70 0 0 25 0 11 0 540581758 859799552 31480 4294967295 134512640 134569956 3221224400 3221214776 1131382596 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209912 31480 13073 16 0 209896 0
vsize: 839648
[startup+430.096 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 25026
Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18128 0 1 0 40843 70 0 0 25 0 11 0 540581758 859799552 31489 4294967295 134512640 134569956 3221224400 3221214776 1131380900 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209912 31489 13073 16 0 209896 0
vsize: 839648
[startup+440.095 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 25026
Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18128 0 1 0 41819 70 0 0 25 0 11 0 540581758 859799552 31495 4294967295 134512640 134569956 3221224400 3221214640 1131226726 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209912 31495 13073 16 0 209896 0
vsize: 839648
[startup+450.096 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 25026
Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18128 0 1 0 42792 70 0 0 25 0 11 0 540581758 859799552 31499 4294967295 134512640 134569956 3221224400 3221214624 1131276440 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209912 31499 13073 16 0 209896 0
vsize: 839648
[startup+460.097 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 25026
Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18128 0 1 0 43738 71 0 0 24 0 11 0 540581758 859799552 31515 4294967295 134512640 134569956 3221224400 3221214376 1131325542 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209912 31515 13073 16 0 209896 0
vsize: 839648
[startup+470.098 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 25026
Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18128 0 1 0 44689 71 0 0 25 0 11 0 540581758 859799552 31675 4294967295 134512640 134569956 3221224400 3221214792 1131405731 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209912 31675 13073 16 0 209896 0
vsize: 839648
[startup+480.098 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 25026
Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18128 0 1 0 45648 72 0 0 24 0 11 0 540581758 859799552 31806 4294967295 134512640 134569956 3221224400 3221214384 1076461336 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209912 31806 13073 16 0 209896 0
vsize: 839648
[startup+490.103 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 25026
Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18128 0 1 0 46626 72 0 0 25 0 11 0 540581758 859799552 31888 4294967295 134512640 134569956 3221224400 3221214528 1131329286 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209912 31888 13073 16 0 209896 0
vsize: 839648
[startup+500.104 s]
Raw data (loadavg): 1.07 1.02 0.95 2/64 25026
Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18128 0 1 0 47593 72 0 0 25 0 11 0 540581758 859799552 31888 4294967295 134512640 134569956 3221224400 3221214628 1080203725 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209912 31888 13073 16 0 209896 0
vsize: 839648
[startup+510.104 s]
Raw data (loadavg): 1.06 1.02 0.95 2/64 25026
Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18128 0 1 0 48557 72 0 0 25 0 11 0 540581758 859799552 31888 4294967295 134512640 134569956 3221224400 3221214568 1131502790 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209912 31888 13073 16 0 209896 0
vsize: 839648
[startup+520.113 s]
Raw data (loadavg): 1.05 1.02 0.95 2/64 25026
Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18128 0 1 0 49532 73 0 0 25 0 11 0 540581758 859799552 32077 4294967295 134512640 134569956 3221224400 3221214584 1131564308 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209912 32077 13073 16 0 209896 0
vsize: 839648
[startup+530.113 s]
Raw data (loadavg): 1.04 1.02 0.95 2/64 25026
Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18128 0 1 0 50509 73 0 0 16 0 11 0 540581758 859799552 32077 4294967295 134512640 134569956 3221224400 3221214692 1080203719 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209912 32077 13073 16 0 209896 0
vsize: 839648
[startup+540.114 s]
Raw data (loadavg): 1.04 1.02 0.95 2/64 25026
Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18129 0 1 0 51485 73 0 0 25 0 11 0 540581758 859799552 32078 4294967295 134512640 134569956 3221224400 3221214284 1130895202 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209912 32078 13073 16 0 209896 0
vsize: 839648
[startup+550.115 s]
Raw data (loadavg): 1.03 1.02 0.95 2/64 25026
Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18129 0 1 0 52458 74 0 0 25 0 11 0 540581758 859799552 32078 4294967295 134512640 134569956 3221224400 3221214732 1080203719 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209912 32078 13073 16 0 209896 0
vsize: 839648
[startup+560.115 s]
Raw data (loadavg): 1.02 1.02 0.95 2/64 25026
Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18129 0 1 0 53427 74 0 0 25 0 11 0 540581758 859799552 32207 4294967295 134512640 134569956 3221224400 3221214568 1131502581 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209912 32207 13073 16 0 209896 0
vsize: 839648
[startup+570.115 s]
Raw data (loadavg): 1.02 1.02 0.95 2/64 25026
Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18129 0 1 0 54386 75 0 0 25 0 11 0 540581758 859799552 32207 4294967295 134512640 134569956 3221224400 3221214568 1131500001 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209912 32207 13073 16 0 209896 0
vsize: 839648
[startup+580.115 s]
Raw data (loadavg): 1.02 1.01 0.95 2/64 25026
Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18129 0 1 0 55328 75 0 0 24 0 11 0 540581758 859799552 32219 4294967295 134512640 134569956 3221224400 3221214680 1131312159 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209912 32219 13073 16 0 209896 0
vsize: 839648
[startup+590.116 s]
Raw data (loadavg): 1.01 1.01 0.95 2/64 25026
Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18129 0 1 0 56278 76 0 0 25 0 11 0 540581758 859799552 32264 4294967295 134512640 134569956 3221224400 3221214776 1131382268 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209912 32264 13073 16 0 209896 0
vsize: 839648
[startup+600.117 s]
Raw data (loadavg): 1.09 1.03 0.95 2/64 25026
Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18129 0 1 0 57200 76 0 0 25 0 11 0 540581758 859799552 32528 4294967295 134512640 134569956 3221224400 3221214536 1131375107 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209912 32528 13073 16 0 209896 0
vsize: 839648
[startup+610.118 s]
Raw data (loadavg): 1.08 1.03 0.95 2/64 25026
Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18129 0 1 0 58155 76 0 0 25 0 11 0 540581758 859799552 32702 4294967295 134512640 134569956 3221224400 3221214688 1131458721 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209912 32702 13073 16 0 209896 0
vsize: 839648
[startup+620.119 s]
Raw data (loadavg): 1.06 1.03 0.95 2/64 25026
Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18129 0 1 0 59114 76 0 0 25 0 11 0 540581758 859799552 32838 4294967295 134512640 134569956 3221224400 3221214768 1131244150 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209912 32838 13073 16 0 209896 0
vsize: 839648
[startup+630.12 s]
Raw data (loadavg): 1.05 1.03 0.95 2/64 25026
Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18129 0 1 0 60063 77 0 0 25 0 11 0 540581758 859799552 33024 4294967295 134512640 134569956 3221224400 3221214568 1131499899 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209912 33024 13073 16 0 209896 0
vsize: 839648
[startup+640.12 s]
Raw data (loadavg): 1.05 1.02 0.95 2/64 25026
Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18129 0 1 0 61025 77 0 0 25 0 11 0 540581758 859799552 33072 4294967295 134512640 134569956 3221224400 3221214664 1131438985 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209912 33072 13073 16 0 209896 0
vsize: 839648
[startup+650.121 s]
Raw data (loadavg): 1.04 1.02 0.95 2/64 25026
Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18129 0 1 0 61989 78 0 0 24 0 11 0 540581758 859799552 33219 4294967295 134512640 134569956 3221224400 3221214528 1131329272 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209912 33219 13073 16 0 209896 0
vsize: 839648
[startup+660.122 s]
Raw data (loadavg): 1.03 1.02 0.95 2/64 25026
Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18129 0 1 0 62967 78 0 0 24 0 11 0 540581758 859799552 33262 4294967295 134512640 134569956 3221224400 3221214736 1131250380 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209912 33262 13073 16 0 209896 0
vsize: 839648
[startup+670.123 s]
Raw data (loadavg): 1.03 1.02 0.95 2/64 25026
Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18129 0 1 0 63932 78 0 0 25 0 11 0 540581758 859799552 33262 4294967295 134512640 134569956 3221224400 3221214732 1080203719 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209912 33262 13073 16 0 209896 0
vsize: 839648
[startup+680.124 s]
Raw data (loadavg): 1.18 1.05 0.97 2/64 25026
Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18129 0 1 0 64894 79 0 0 25 0 11 0 540581758 859799552 33327 4294967295 134512640 134569956 3221224400 3221214776 1131383583 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209912 33327 13073 16 0 209896 0
vsize: 839648
[startup+690.124 s]
Raw data (loadavg): 1.15 1.05 0.97 2/64 25026
Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18129 0 1 0 65863 79 0 0 25 0 11 0 540581758 859799552 33327 4294967295 134512640 134569956 3221224400 3221214664 1131438971 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209912 33327 13073 16 0 209896 0
vsize: 839648
[startup+700.124 s]
Raw data (loadavg): 1.20 1.07 0.97 2/64 25026
Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18129 0 1 0 66829 79 0 0 25 0 11 0 540581758 859799552 33399 4294967295 134512640 134569956 3221224400 3221214664 1131439016 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209912 33399 13073 16 0 209896 0
vsize: 839648
[startup+710.124 s]
Raw data (loadavg): 1.17 1.06 0.97 2/64 25026
Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18129 0 1 0 67785 79 0 0 25 0 11 0 540581758 859799552 33525 4294967295 134512640 134569956 3221224400 3221214568 1131499429 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209912 33525 13073 16 0 209896 0
vsize: 839648
[startup+720.126 s]
Raw data (loadavg): 1.15 1.06 0.97 2/64 25026
Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18129 0 1 0 68720 80 0 0 25 0 11 0 540581758 859799552 33600 4294967295 134512640 134569956 3221224400 3221214524 1131446375 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209912 33600 13073 16 0 209896 0
vsize: 839648
[startup+730.126 s]
Raw data (loadavg): 1.12 1.06 0.97 2/64 25026
Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18129 0 1 0 69688 80 0 0 25 0 11 0 540581758 859799552 33674 4294967295 134512640 134569956 3221224400 3221214664 1131438985 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209912 33674 13073 16 0 209896 0
vsize: 839648
[startup+740.126 s]
Raw data (loadavg): 1.10 1.06 0.97 2/64 25026
Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18129 0 1 0 70647 81 0 0 25 0 11 0 540581758 859799552 33839 4294967295 134512640 134569956 3221224400 3221214664 1131438939 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209912 33839 13073 16 0 209896 0
vsize: 839648
[startup+750.126 s]
Raw data (loadavg): 1.09 1.05 0.97 2/64 25026
Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18129 0 1 0 71588 81 0 0 25 0 11 0 540581758 859799552 33872 4294967295 134512640 134569956 3221224400 3221214568 1131500076 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209912 33872 13073 16 0 209896 0
vsize: 839648
[startup+760.126 s]
Raw data (loadavg): 1.07 1.05 0.97 2/64 25026
Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18129 0 1 0 72532 81 0 0 25 0 11 0 540581758 859799552 33967 4294967295 134512640 134569956 3221224400 3221214664 1131438939 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209912 33967 13073 16 0 209896 0
vsize: 839648
[startup+770.127 s]
Raw data (loadavg): 1.06 1.05 0.97 2/64 25026
Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18129 0 1 0 73492 81 0 0 25 0 11 0 540581758 859799552 34075 4294967295 134512640 134569956 3221224400 3221214664 1131438939 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209912 34075 13073 16 0 209896 0
vsize: 839648
[startup+780.128 s]
Raw data (loadavg): 1.05 1.05 0.97 2/64 25026
Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18129 0 1 0 74451 82 0 0 25 0 11 0 540581758 859799552 34240 4294967295 134512640 134569956 3221224400 3221214684 1131413491 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209912 34240 13073 16 0 209896 0
vsize: 839648
[startup+790.128 s]
Raw data (loadavg): 1.04 1.05 0.97 2/64 25026
Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18129 0 1 0 75409 82 0 0 25 0 11 0 540581758 859799552 34240 4294967295 134512640 134569956 3221224400 3221214568 1131503508 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209912 34240 13073 16 0 209896 0
vsize: 839648
[startup+800.128 s]
Raw data (loadavg): 1.04 1.04 0.97 2/64 25026
Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18129 0 1 0 76385 83 0 0 25 0 11 0 540581758 859799552 34370 4294967295 134512640 134569956 3221224400 3221214680 1131311905 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209912 34370 13073 16 0 209896 0
vsize: 839648
[startup+810.129 s]
Raw data (loadavg): 1.03 1.04 0.97 2/64 25026
Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18129 0 1 0 77359 83 0 0 25 0 11 0 540581758 859799552 34453 4294967295 134512640 134569956 3221224400 3221214392 1080216949 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209912 34453 13073 16 0 209896 0
vsize: 839648
[startup+820.13 s]
Raw data (loadavg): 1.02 1.04 0.97 2/64 25026
Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18129 0 1 0 78337 83 0 0 25 0 11 0 540581758 859799552 34453 4294967295 134512640 134569956 3221224400 3221214688 1131457144 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209912 34453 13073 16 0 209896 0
vsize: 839648
[startup+830.13 s]
Raw data (loadavg): 1.02 1.04 0.97 2/64 25026
Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18129 0 1 0 79319 84 0 0 25 0 11 0 540581758 859799552 34453 4294967295 134512640 134569956 3221224400 3221214776 1131380978 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209912 34453 13073 16 0 209896 0
vsize: 839648
[startup+840.131 s]
Raw data (loadavg): 1.02 1.04 0.97 2/64 25026
Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18129 0 1 0 80296 84 0 0 25 0 11 0 540581758 859799552 34487 4294967295 134512640 134569956 3221224400 3221214684 1080203664 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209912 34487 13073 16 0 209896 0
vsize: 839648
[startup+850.132 s]
Raw data (loadavg): 1.01 1.03 0.97 2/64 25026
Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18129 0 1 0 81274 84 0 0 25 0 11 0 540581758 859799552 34487 4294967295 134512640 134569956 3221224400 3221214640 1131226698 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209912 34487 13073 16 0 209896 0
vsize: 839648
[startup+860.133 s]
Raw data (loadavg): 1.01 1.03 0.97 2/64 25026
Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18129 0 1 0 82249 85 0 0 25 0 11 0 540581758 859799552 34487 4294967295 134512640 134569956 3221224400 3221214640 1131226726 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209912 34487 13073 16 0 209896 0
vsize: 839648
[startup+870.134 s]
Raw data (loadavg): 1.01 1.03 0.97 2/64 25026
Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18129 0 1 0 83231 85 0 0 25 0 11 0 540581758 859799552 34524 4294967295 134512640 134569956 3221224400 3221214568 1131502848 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209912 34524 13073 16 0 209896 0
vsize: 839648
[startup+880.134 s]
Raw data (loadavg): 1.01 1.03 0.97 2/64 25026
Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18129 0 1 0 84205 85 0 0 25 0 11 0 540581758 859799552 34524 4294967295 134512640 134569956 3221224400 3221214680 1131312081 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209912 34524 13073 16 0 209896 0
vsize: 839648
[startup+890.134 s]
Raw data (loadavg): 1.01 1.03 0.97 2/64 25026
Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18129 0 1 0 85172 86 0 0 25 0 11 0 540581758 859799552 34524 4294967295 134512640 134569956 3221224400 3221214640 1131312026 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209912 34524 13073 16 0 209896 0
vsize: 839648
[startup+900.135 s]
Raw data (loadavg): 1.00 1.03 0.97 2/64 25026
Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18130 0 1 0 86126 86 0 0 25 0 11 0 540581758 859799552 34526 4294967295 134512640 134569956 3221224400 3221214664 1131277091 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209912 34526 13073 16 0 209896 0
vsize: 839648
[startup+910.135 s]
Raw data (loadavg): 1.00 1.03 0.97 2/64 25026
Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18130 0 1 0 87076 86 0 0 25 0 11 0 540581758 859799552 34655 4294967295 134512640 134569956 3221224400 3221214624 1131276407 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209912 34655 13073 16 0 209896 0
vsize: 839648
[startup+920.136 s]
Raw data (loadavg): 1.00 1.02 0.97 2/64 25026
Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18130 0 1 0 88036 87 0 0 24 0 11 0 540581758 859799552 34734 4294967295 134512640 134569956 3221224400 3221214776 1131380954 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209912 34734 13073 16 0 209896 0
vsize: 839648
[startup+930.136 s]
Raw data (loadavg): 1.00 1.02 0.97 2/64 25026
Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18130 0 1 0 89000 88 0 0 25 0 11 0 540581758 859799552 34814 4294967295 134512640 134569956 3221224400 3221214048 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209912 34814 13073 16 0 209896 0
vsize: 839648
[startup+940.136 s]
Raw data (loadavg): 1.00 1.02 0.97 2/64 25026
Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18130 0 1 0 89978 88 0 0 25 0 11 0 540581758 859799552 34966 4294967295 134512640 134569956 3221224400 3221214640 1131311947 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209912 34966 13073 16 0 209896 0
vsize: 839648
[startup+950.137 s]
Raw data (loadavg): 1.00 1.02 0.97 2/64 25026
Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18130 0 1 0 90945 88 0 0 25 0 11 0 540581758 859799552 34968 4294967295 134512640 134569956 3221224400 3221214664 1131276450 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209912 34968 13073 16 0 209896 0
vsize: 839648
[startup+960.138 s]
Raw data (loadavg): 1.00 1.02 0.97 2/64 25026
Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18130 0 1 0 91916 88 0 0 25 0 11 0 540581758 859799552 35012 4294967295 134512640 134569956 3221224400 3221214240 1078032547 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209912 35012 13073 16 0 209896 0
vsize: 839648
[startup+970.139 s]
Raw data (loadavg): 1.00 1.02 0.97 2/64 25026
Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18130 0 1 0 92892 88 0 0 25 0 11 0 540581758 859799552 35014 4294967295 134512640 134569956 3221224400 3221214520 1131603224 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209912 35014 13073 16 0 209896 0
vsize: 839648
[startup+980.139 s]
Raw data (loadavg): 1.00 1.02 0.97 2/64 25026
Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18130 0 1 0 93870 88 0 0 25 0 11 0 540581758 859799552 35151 4294967295 134512640 134569956 3221224400 3221214520 1131605443 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209912 35151 13073 16 0 209896 0
vsize: 839648
[startup+990.14 s]
Raw data (loadavg): 1.00 1.02 0.97 2/64 25026
Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18130 0 1 0 94867 89 0 0 25 0 11 0 540581758 859799552 35154 4294967295 134512640 134569956 3221224400 3221214528 1131529277 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209912 35154 13073 16 0 209896 0
vsize: 839648
[startup+1000.14 s]
Raw data (loadavg): 1.00 1.02 0.97 2/64 25026
Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18130 0 1 0 95860 89 0 0 25 0 11 0 540581758 859799552 35155 4294967295 134512640 134569956 3221224400 3221214664 1131438929 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209912 35155 13073 16 0 209896 0
vsize: 839648
[startup+1010.14 s]
Raw data (loadavg): 1.00 1.02 0.97 2/64 25026
Raw data (stat): 24959 (java) S 24958 27565 27564 0 -1 0 18130 0 1 0 96834 89 0 0 25 0 11 0 540581758 859799552 35155 4294967295 134512640 134569956 3221224400 3221213480 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209912 35155 13073 16 0 209896 0
vsize: 839648
[startup+1020.16 s]
Raw data (loadavg): 1.00 1.02 0.97 2/64 25026
Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18130 0 1 0 97793 89 0 0 24 0 11 0 540581758 859799552 35155 4294967295 134512640 134569956 3221224400 3221214688 1131457575 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209912 35155 13073 16 0 209896 0
vsize: 839648
[startup+1030.16 s]
Raw data (loadavg): 1.00 1.01 0.97 2/64 25026
Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18130 0 1 0 98762 90 0 0 25 0 11 0 540581758 859799552 35155 4294967295 134512640 134569956 3221224400 3221214432 1131279422 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209912 35155 13073 16 0 209896 0
vsize: 839648
[startup+1040.16 s]
Raw data (loadavg): 1.00 1.01 0.97 2/64 25026
Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18130 0 1 0 99733 90 0 0 25 0 11 0 540581758 859799552 35296 4294967295 134512640 134569956 3221224400 3221214520 1131602039 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209912 35296 13073 16 0 209896 0
vsize: 839648
[startup+1050.16 s]
Raw data (loadavg): 1.00 1.01 0.97 2/64 25026
Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18130 0 1 0 100723 90 0 0 25 0 11 0 540581758 859799552 35299 4294967295 134512640 134569956 3221224400 3221214528 1131322611 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209912 35299 13073 16 0 209896 0
vsize: 839648
[startup+1060.16 s]
Raw data (loadavg): 1.00 1.01 0.97 2/64 25026
Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18130 0 1 0 101718 90 0 0 25 0 11 0 540581758 859799552 35395 4294967295 134512640 134569956 3221224400 3221214528 1131322739 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209912 35395 13073 16 0 209896 0
vsize: 839648
[startup+1070.16 s]
Raw data (loadavg): 1.00 1.01 0.97 2/64 25026
Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18130 0 1 0 102716 90 0 0 25 0 11 0 540581758 859799552 35402 4294967295 134512640 134569956 3221224400 3221214680 1131312042 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209912 35402 13073 16 0 209896 0
vsize: 839648
[startup+1080.21 s]
Raw data (loadavg): 1.00 1.01 0.97 3/64 25026
Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18130 0 1 0 103699 90 0 0 25 0 11 0 540581758 859799552 35402 4294967295 134512640 134569956 3221224400 3221214432 1131279594 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209912 35402 13073 16 0 209896 0
vsize: 839648
[startup+1090.22 s]
Raw data (loadavg): 1.00 1.01 0.97 2/64 25026
Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18130 0 1 0 104682 90 0 0 25 0 11 0 540581758 859799552 35402 4294967295 134512640 134569956 3221224400 3221214528 1131528985 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209912 35402 13073 16 0 209896 0
vsize: 839648
[startup+1100.22 s]
Raw data (loadavg): 1.00 1.01 0.97 2/64 25026
Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18130 0 1 0 105666 90 0 0 25 0 11 0 540581758 859799552 35402 4294967295 134512640 134569956 3221224400 3221214520 1131602103 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209912 35402 13073 16 0 209896 0
vsize: 839648
[startup+1110.22 s]
Raw data (loadavg): 1.00 1.01 0.97 2/64 25026
Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18130 0 1 0 106649 90 0 0 25 0 11 0 540581758 859799552 35402 4294967295 134512640 134569956 3221224400 3221214524 1131278892 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209912 35402 13073 16 0 209896 0
vsize: 839648
[startup+1120.22 s]
Raw data (loadavg): 1.00 1.01 0.97 2/64 25026
Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18130 0 1 0 107626 90 0 0 25 0 11 0 540581758 859799552 35403 4294967295 134512640 134569956 3221224400 3221214616 1131635678 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209912 35403 13073 16 0 209896 0
vsize: 839648
[startup+1130.23 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 25026
Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18130 0 1 0 108612 90 0 0 25 0 11 0 540581758 859799552 35518 4294967295 134512640 134569956 3221224400 3221214616 1131635559 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209912 35518 13073 16 0 209896 0
vsize: 839648
[startup+1140.23 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 25026
Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18130 0 1 0 109608 90 0 0 25 0 11 0 540581758 859799552 35521 4294967295 134512640 134569956 3221224400 3221214616 1131632211 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209912 35521 13073 16 0 209896 0
vsize: 839648
[startup+1150.23 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 25026
Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18130 0 1 0 110605 90 0 0 25 0 11 0 540581758 859799552 35521 4294967295 134512640 134569956 3221224400 3221214616 1131632230 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209912 35521 13073 16 0 209896 0
vsize: 839648
[startup+1160.24 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 25026
Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18130 0 1 0 111601 90 0 0 25 0 11 0 540581758 859799552 35521 4294967295 134512640 134569956 3221224400 3221214616 1131632364 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209912 35521 13073 16 0 209896 0
vsize: 839648
[startup+1170.24 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 25026
Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18130 0 1 0 112597 90 0 0 25 0 11 0 540581758 859799552 35521 4294967295 134512640 134569956 3221224400 3221214520 1131280238 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209912 35521 13073 16 0 209896 0
vsize: 839648
[startup+1180.24 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 25026
Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18130 0 1 0 113593 91 0 0 25 0 11 0 540581758 859799552 35521 4294967295 134512640 134569956 3221224400 3221214520 1131603224 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209912 35521 13073 16 0 209896 0
vsize: 839648
[startup+1190.24 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 25026
Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18130 0 1 0 114587 91 0 0 25 0 11 0 540581758 859799552 35521 4294967295 134512640 134569956 3221224400 3221214568 1131502790 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209912 35521 13073 16 0 209896 0
vsize: 839648
[startup+1200.24 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 25026
Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18130 0 1 0 115576 91 0 0 25 0 11 0 540581758 859799552 35521 4294967295 134512640 134569956 3221224400 3221214520 1131603058 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209912 35521 13073 16 0 209896 0
vsize: 839648
[startup+1210.24 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 25026
Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18130 0 1 0 116568 91 0 0 25 0 11 0 540581758 859799552 35521 4294967295 134512640 134569956 3221224400 3221214616 1131632211 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209912 35521 13073 16 0 209896 0
vsize: 839648
[startup+1220.24 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 25026
Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18130 0 1 0 117560 91 0 0 25 0 11 0 540581758 859799552 35521 4294967295 134512640 134569956 3221224400 3221214520 1131279718 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209912 35521 13073 16 0 209896 0
vsize: 839648
[startup+1230.24 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 25026
Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18130 0 1 0 118554 91 0 0 25 0 11 0 540581758 859799552 35586 4294967295 134512640 134569956 3221224400 3221214520 1131602284 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209912 35586 13073 16 0 209896 0
vsize: 839648
[startup+1240.24 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 25026
Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18130 0 1 0 119540 91 0 0 25 0 11 0 540581758 859799552 35586 4294967295 134512640 134569956 3221224400 3221214328 1080217052 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209912 35586 13073 16 0 209896 0
vsize: 839648
[startup+1250.24 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 25026
Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18130 0 1 0 120522 91 0 0 25 0 11 0 540581758 859799552 35586 4294967295 134512640 134569956 3221224400 3221214520 1131279432 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209912 35586 13073 16 0 209896 0
vsize: 839648
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1250.36 s]
Raw data (loadavg): 1.00 1.00 0.97 1/54 25028
Raw data (stat): 24959 (java) Z 24958 27565 27564 0 -1 1036 18130 15721 1 0 120527 91 4182 38 25 0 1 0 540581758 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): 1250.36
CPU time (s): 1248.4
CPU user time (s): 1247.1
CPU system time (s): 1.3038
CPU usage (%): 99.8435
Max. virtual memory (Kb): 840708
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####