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-CMS750_4.opb
MD5SUM	ad40fa9446ec809d050488ebdd2a269a
Bench Category	optimization, medium integers (OPTMEDINT)
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	770
Biggest coefficient in the objective function	524288
Number of bits for the biggest coefficient in the objective function	20
Sum of the numbers in the objective function	1144575
Number of bits of the sum of numbers in the objective function	21
Biggest number in a constraint	128000000
Number of bits of the biggest number in a constraint	27
Biggest sum of numbers in a constraint	268466430
Number of bits of the biggest sum of numbers	29
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	20.1699
Number of variables	128716
Total number of constraints	28077
Number of constraints which are clauses	2438
Number of constraints which are cardinality constraints (but not clauses)	7196
Number of constraints which are nor clauses,nor cardinality constraints	18443
Minimum length of a constraint	1
Maximum length of a constraint	55
Trace number 30155

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc4 THE 2005-05-25 15:25:30 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=21552 boxname=wulflinc4 idbench=1540 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  ad40fa9446ec809d050488ebdd2a269a  /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-13-7-CMS750_4.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-13-7-CMS750_4.opb
IDLAUNCH: 21552
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
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	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
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:        597440 kB
Buffers:         34716 kB
Cached:         381252 kB
SwapCached:        600 kB
Active:          91364 kB
Inactive:       327112 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        597188 kB
SwapTotal:     2097136 kB
SwapFree:      2096004 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5780 kB
Slab:            13024 kB
Committed_AS:    71792 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 15:47:22 (client local time) WITH STATUS 143 IN 1309.44 SECONDS
stats: 21552 7 1309.44 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c SAT4J: a SATisfiability library for Java (c) 2004-2005 Daniel Le Berre
c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
c version Special PB05 Second trial
c --- Begin Solver configuration ---
c org.sat4j.minisat.uip.FirstUIP@1e4cbc4
c org.sat4j.minisat.constraints.PBMinDataStructure@1fdc96c
c org.sat4j.minisat.learning.MiniSATLearning@b2fd8f
c conflictBoundIncFactor=1.5 learntBoundIncFactor=1.1 initLearntBoundConstraintFactor=0.5 initConflictBound=100 
c 
c --- End Solver configuration ---
c solving /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-13-7-CMS750_4.opb
c reading problem ... 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
s UNKNOWN
c Total CPU time (ms) : 1309.189
#### 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.87 0.99 0.99 2/54 2526
Raw data (stat): 2526 (runsolver) R 2525 21152 21151 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 781713318 1052672 99 4294967295 134512640 135381576 3221224400 3221219620 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0005 s]
Raw data (loadavg): 0.96 1.01 0.99 2/63 2535
Raw data (stat): 2526 (java) R 2525 21152 21151 0 -1 0 18027 0 1 0 877 40 0 0 25 0 10 0 781713318 853901312 19219 4294967295 134512640 134569956 3221224368 3221214416 1076461336 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208472 19219 13086 16 0 208456 0
vsize: 833888
[startup+20.0018 s]
Raw data (loadavg): 0.97 1.00 0.99 2/63 2535
Raw data (stat): 2526 (java) R 2525 21152 21151 0 -1 0 18031 0 1 0 1787 41 0 0 25 0 10 0 781713318 854429696 19772 4294967295 134512640 134569956 3221224368 3221214428 1130895202 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208601 19772 13086 16 0 208585 0
vsize: 834404
[startup+30.0016 s]
Raw data (loadavg): 0.97 1.00 0.99 2/63 2535
Raw data (stat): 2526 (java) R 2525 21152 21151 0 -1 0 18032 0 1 0 2687 41 0 0 25 0 10 0 781713318 854429696 20239 4294967295 134512640 134569956 3221224368 3221214416 1076461336 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208601 20239 13086 16 0 208585 0
vsize: 834404
[startup+40.0022 s]
Raw data (loadavg): 0.98 1.00 0.99 2/63 2535
Raw data (stat): 2526 (java) R 2525 21152 21151 0 -1 0 18032 0 1 0 3604 42 0 0 25 0 10 0 781713318 855109632 20671 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208767 20671 13086 16 0 208751 0
vsize: 835068
[startup+50.0034 s]
Raw data (loadavg): 0.98 1.00 0.99 2/63 2535
Raw data (stat): 2526 (java) R 2525 21152 21151 0 -1 0 18032 0 1 0 4527 42 0 0 25 0 10 0 781713318 855109632 20847 4294967295 134512640 134569956 3221224368 3221214768 1131254515 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208767 20847 13086 16 0 208751 0
vsize: 835068
[startup+60.0033 s]
Raw data (loadavg): 0.98 1.00 0.99 2/63 2535
Raw data (stat): 2526 (java) R 2525 21152 21151 0 -1 0 18032 0 1 0 5445 42 0 0 25 0 10 0 781713318 855109632 20989 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208767 20989 13086 16 0 208751 0
vsize: 835068
[startup+70.0076 s]
Raw data (loadavg): 0.98 1.00 0.99 2/63 2535
Raw data (stat): 2526 (java) S 2525 21152 21151 0 -1 0 18032 0 1 0 6376 42 0 0 25 0 10 0 781713318 855109632 21188 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208767 21188 13086 16 0 208751 0
vsize: 835068
[startup+80.0082 s]
Raw data (loadavg): 1.06 1.02 1.00 2/63 2535
Raw data (stat): 2526 (java) R 2525 21152 21151 0 -1 0 18032 0 1 0 7313 43 0 0 25 0 10 0 781713318 855109632 21310 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208767 21310 13086 16 0 208751 0
vsize: 835068
[startup+90.0081 s]
Raw data (loadavg): 1.05 1.02 1.00 2/63 2535
Raw data (stat): 2526 (java) R 2525 21152 21151 0 -1 0 18032 0 1 0 8251 43 0 0 25 0 10 0 781713318 855109632 21410 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208767 21410 13086 16 0 208751 0
vsize: 835068
[startup+100.01 s]
Raw data (loadavg): 1.04 1.01 1.00 2/63 2535
Raw data (stat): 2526 (java) R 2525 21152 21151 0 -1 0 18032 0 1 0 9190 43 0 0 24 0 10 0 781713318 855109632 21501 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208767 21501 13086 16 0 208751 0
vsize: 835068
[startup+110.01 s]
Raw data (loadavg): 1.04 1.01 1.00 2/63 2535
Raw data (stat): 2526 (java) R 2525 21152 21151 0 -1 0 18032 0 1 0 10133 43 0 0 25 0 10 0 781713318 855109632 21582 4294967295 134512640 134569956 3221224368 3221214216 1077558169 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208767 21582 13086 16 0 208751 0
vsize: 835068
[startup+120.012 s]
Raw data (loadavg): 1.03 1.01 1.00 2/63 2535
Raw data (stat): 2526 (java) R 2525 21152 21151 0 -1 0 18032 0 1 0 11073 44 0 0 25 0 10 0 781713318 855109632 21663 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208767 21663 13086 16 0 208751 0
vsize: 835068
[startup+130.013 s]
Raw data (loadavg): 1.02 1.01 1.00 2/63 2535
Raw data (stat): 2526 (java) R 2525 21152 21151 0 -1 0 18032 0 1 0 12013 44 0 0 25 0 10 0 781713318 855109632 21741 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208767 21741 13086 16 0 208751 0
vsize: 835068
[startup+140.013 s]
Raw data (loadavg): 1.02 1.01 1.00 2/63 2535
Raw data (stat): 2526 (java) R 2525 21152 21151 0 -1 0 18032 0 1 0 12954 45 0 0 25 0 10 0 781713318 855109632 21814 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208767 21814 13086 16 0 208751 0
vsize: 835068
[startup+150.014 s]
Raw data (loadavg): 1.02 1.01 1.00 2/63 2535
Raw data (stat): 2526 (java) R 2525 21152 21151 0 -1 0 18032 0 1 0 13894 45 0 0 24 0 10 0 781713318 855109632 21883 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208767 21883 13086 16 0 208751 0
vsize: 835068
[startup+160.014 s]
Raw data (loadavg): 1.01 1.01 1.00 2/63 2535
Raw data (stat): 2526 (java) R 2525 21152 21151 0 -1 0 18032 0 1 0 14837 47 0 0 25 0 10 0 781713318 855109632 21946 4294967295 134512640 134569956 3221224368 3221214764 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208767 21946 13086 16 0 208751 0
vsize: 835068
[startup+170.016 s]
Raw data (loadavg): 1.01 1.01 1.00 2/63 2535
Raw data (stat): 2526 (java) R 2525 21152 21151 0 -1 0 18032 0 1 0 15775 47 0 0 25 0 10 0 781713318 855109632 22011 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208767 22011 13086 16 0 208751 0
vsize: 835068
[startup+180.016 s]
Raw data (loadavg): 1.01 1.01 1.00 2/63 2535
Raw data (stat): 2526 (java) R 2525 21152 21151 0 -1 0 18032 0 1 0 16694 47 0 0 24 0 10 0 781713318 855109632 22073 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208767 22073 13086 16 0 208751 0
vsize: 835068
[startup+190.022 s]
Raw data (loadavg): 1.01 1.01 1.00 2/63 2535
Raw data (stat): 2526 (java) R 2525 21152 21151 0 -1 0 18032 0 1 0 17625 48 0 0 25 0 10 0 781713318 855109632 22291 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208767 22291 13086 16 0 208751 0
vsize: 835068
[startup+200.023 s]
Raw data (loadavg): 1.08 1.02 1.00 2/63 2535
Raw data (stat): 2526 (java) R 2525 21152 21151 0 -1 0 18032 0 1 0 18563 48 0 0 25 0 10 0 781713318 855109632 22349 4294967295 134512640 134569956 3221224368 3221214756 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208767 22349 13086 16 0 208751 0
vsize: 835068
[startup+210.024 s]
Raw data (loadavg): 1.07 1.02 1.00 2/63 2535
Raw data (stat): 2526 (java) R 2525 21152 21151 0 -1 0 18032 0 1 0 19500 49 0 0 25 0 10 0 781713318 855109632 22406 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208767 22406 13086 16 0 208751 0
vsize: 835068
[startup+220.025 s]
Raw data (loadavg): 1.06 1.02 1.00 2/63 2535
Raw data (stat): 2526 (java) R 2525 21152 21151 0 -1 0 18032 0 1 0 20436 49 0 0 24 0 10 0 781713318 855109632 22461 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208767 22461 13086 16 0 208751 0
vsize: 835068
[startup+230.027 s]
Raw data (loadavg): 1.05 1.02 1.00 2/63 2535
Raw data (stat): 2526 (java) R 2525 21152 21151 0 -1 0 18032 0 1 0 21377 49 0 0 25 0 10 0 781713318 855109632 22512 4294967295 134512640 134569956 3221224368 3221214756 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208767 22512 13086 16 0 208751 0
vsize: 835068
[startup+240.027 s]
Raw data (loadavg): 1.04 1.02 1.00 2/63 2535
Raw data (stat): 2526 (java) R 2525 21152 21151 0 -1 0 18032 0 1 0 22312 50 0 0 25 0 10 0 781713318 855109632 22566 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208767 22566 13086 16 0 208751 0
vsize: 835068
[startup+250.029 s]
Raw data (loadavg): 1.03 1.02 1.00 2/63 2535
Raw data (stat): 2526 (java) R 2525 21152 21151 0 -1 0 18032 0 1 0 23248 50 0 0 25 0 10 0 781713318 855109632 22617 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208767 22617 13086 16 0 208751 0
vsize: 835068
[startup+260.029 s]
Raw data (loadavg): 1.03 1.02 1.00 2/63 2535
Raw data (stat): 2526 (java) R 2525 21152 21151 0 -1 0 18032 0 1 0 24187 50 0 0 25 0 10 0 781713318 855109632 22664 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208767 22664 13086 16 0 208751 0
vsize: 835068
[startup+270.03 s]
Raw data (loadavg): 1.02 1.01 1.00 2/63 2535
Raw data (stat): 2526 (java) R 2525 21152 21151 0 -1 0 18032 0 1 0 25121 51 0 0 25 0 10 0 781713318 855109632 22714 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208767 22714 13086 16 0 208751 0
vsize: 835068
[startup+280.03 s]
Raw data (loadavg): 1.02 1.01 1.00 2/63 2535
Raw data (stat): 2526 (java) R 2525 21152 21151 0 -1 0 18032 0 1 0 26055 51 0 0 25 0 10 0 781713318 855109632 22763 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208767 22763 13086 16 0 208751 0
vsize: 835068
[startup+290.034 s]
Raw data (loadavg): 1.02 1.01 1.00 2/63 2535
Raw data (stat): 2526 (java) S 2525 21152 21151 0 -1 0 18032 0 1 0 26992 52 0 0 25 0 10 0 781713318 855109632 22807 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208767 22807 13086 16 0 208751 0
vsize: 835068
[startup+300.034 s]
Raw data (loadavg): 1.01 1.01 1.00 2/63 2535
Raw data (stat): 2526 (java) R 2525 21152 21151 0 -1 0 18032 0 1 0 27926 52 0 0 25 0 10 0 781713318 855109632 22854 4294967295 134512640 134569956 3221224368 3221214764 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208767 22854 13086 16 0 208751 0
vsize: 835068
[startup+310.041 s]
Raw data (loadavg): 1.01 1.01 1.00 2/63 2535
Raw data (stat): 2526 (java) R 2525 21152 21151 0 -1 0 18032 0 1 0 28859 52 0 0 25 0 10 0 781713318 855109632 22899 4294967295 134512640 134569956 3221224368 3221214756 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208767 22899 13086 16 0 208751 0
vsize: 835068
[startup+320.042 s]
Raw data (loadavg): 1.01 1.01 1.00 2/63 2535
Raw data (stat): 2526 (java) R 2525 21152 21151 0 -1 0 18032 0 1 0 29796 52 0 0 25 0 10 0 781713318 855109632 22941 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208767 22941 13086 16 0 208751 0
vsize: 835068
[startup+330.042 s]
Raw data (loadavg): 1.01 1.01 1.00 2/63 2535
Raw data (stat): 2526 (java) R 2525 21152 21151 0 -1 0 18032 0 1 0 30727 53 0 0 25 0 10 0 781713318 855109632 22985 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208767 22985 13086 16 0 208751 0
vsize: 835068
[startup+340.042 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 2535
Raw data (stat): 2526 (java) R 2525 21152 21151 0 -1 0 18032 0 1 0 31658 53 0 0 25 0 10 0 781713318 855109632 23028 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208767 23028 13086 16 0 208751 0
vsize: 835068
[startup+350.042 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 2535
Raw data (stat): 2526 (java) R 2525 21152 21151 0 -1 0 18032 0 1 0 32594 53 0 0 25 0 10 0 781713318 855109632 23068 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208767 23068 13086 16 0 208751 0
vsize: 835068
[startup+360.042 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 2535
Raw data (stat): 2526 (java) R 2525 21152 21151 0 -1 0 18032 0 1 0 33524 53 0 0 25 0 10 0 781713318 855109632 23110 4294967295 134512640 134569956 3221224368 3221214764 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208767 23110 13086 16 0 208751 0
vsize: 835068
[startup+370.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2535
Raw data (stat): 2526 (java) S 2525 21152 21151 0 -1 0 18032 0 1 0 34455 53 0 0 25 0 10 0 781713318 855109632 23150 4294967295 134512640 134569956 3221224368 3221213368 1073952481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208767 23150 13086 16 0 208751 0
vsize: 835068
[startup+380.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2535
Raw data (stat): 2526 (java) R 2525 21152 21151 0 -1 0 18032 0 1 0 35388 53 0 0 25 0 10 0 781713318 855109632 23189 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208767 23189 13086 16 0 208751 0
vsize: 835068
[startup+390.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2535
Raw data (stat): 2526 (java) R 2525 21152 21151 0 -1 0 18032 0 1 0 36317 54 0 0 24 0 10 0 781713318 855109632 23229 4294967295 134512640 134569956 3221224368 3221214232 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208767 23229 13086 16 0 208751 0
vsize: 835068
[startup+400.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2535
Raw data (stat): 2526 (java) R 2525 21152 21151 0 -1 0 18032 0 1 0 37250 54 0 0 25 0 10 0 781713318 855109632 23268 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208767 23268 13086 16 0 208751 0
vsize: 835068
[startup+410.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2535
Raw data (stat): 2526 (java) R 2525 21152 21151 0 -1 0 18032 0 1 0 38178 54 0 0 25 0 10 0 781713318 855109632 23307 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208767 23307 13086 16 0 208751 0
vsize: 835068
[startup+420.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2535
Raw data (stat): 2526 (java) R 2525 21152 21151 0 -1 0 18032 0 1 0 39110 55 0 0 25 0 10 0 781713318 855109632 23343 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208767 23343 13086 16 0 208751 0
vsize: 835068
[startup+430.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2535
Raw data (stat): 2526 (java) R 2525 21152 21151 0 -1 0 18032 0 1 0 40037 55 0 0 25 0 10 0 781713318 855109632 23381 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208767 23381 13086 16 0 208751 0
vsize: 835068
[startup+440.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2535
Raw data (stat): 2526 (java) R 2525 21152 21151 0 -1 0 18032 0 1 0 40969 55 0 0 25 0 10 0 781713318 855109632 23417 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208767 23417 13086 16 0 208751 0
vsize: 835068
[startup+450.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2535
Raw data (stat): 2526 (java) R 2525 21152 21151 0 -1 0 18032 0 1 0 41895 56 0 0 25 0 10 0 781713318 855109632 23454 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208767 23454 13086 16 0 208751 0
vsize: 835068
[startup+460.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2535
Raw data (stat): 2526 (java) R 2525 21152 21151 0 -1 0 18032 0 1 0 42825 56 0 0 25 0 10 0 781713318 855109632 23488 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208767 23488 13086 16 0 208751 0
vsize: 835068
[startup+470.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2535
Raw data (stat): 2526 (java) R 2525 21152 21151 0 -1 0 18032 0 1 0 43752 57 0 0 25 0 10 0 781713318 855109632 23525 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208767 23525 13086 16 0 208751 0
vsize: 835068
[startup+480.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2535
Raw data (stat): 2526 (java) R 2525 21152 21151 0 -1 0 18032 0 1 0 44681 57 0 0 25 0 10 0 781713318 855109632 23558 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208767 23558 13086 16 0 208751 0
vsize: 835068
[startup+490.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2535
Raw data (stat): 2526 (java) R 2525 21152 21151 0 -1 0 18032 0 1 0 45605 57 0 0 25 0 10 0 781713318 855109632 23594 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208767 23594 13086 16 0 208751 0
vsize: 835068
[startup+500.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2535
Raw data (stat): 2526 (java) R 2525 21152 21151 0 -1 0 18032 0 1 0 46535 57 0 0 25 0 10 0 781713318 855109632 23627 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208767 23627 13086 16 0 208751 0
vsize: 835068
[startup+510.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2535
Raw data (stat): 2526 (java) R 2525 21152 21151 0 -1 0 18032 0 1 0 47459 58 0 0 25 0 10 0 781713318 855109632 23661 4294967295 134512640 134569956 3221224368 3221214216 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208767 23661 13086 16 0 208751 0
vsize: 835068
[startup+520.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2535
Raw data (stat): 2526 (java) R 2525 21152 21151 0 -1 0 18032 0 1 0 48386 58 0 0 25 0 10 0 781713318 855109632 23694 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208767 23694 13086 16 0 208751 0
vsize: 835068
[startup+530.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2535
Raw data (stat): 2526 (java) R 2525 21152 21151 0 -1 0 18032 0 1 0 49310 59 0 0 25 0 10 0 781713318 855109632 23728 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208767 23728 13086 16 0 208751 0
vsize: 835068
[startup+540.067 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2535
Raw data (stat): 2526 (java) R 2525 21152 21151 0 -1 0 18032 0 1 0 50238 59 0 0 25 0 10 0 781713318 855109632 23760 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208767 23760 13086 16 0 208751 0
vsize: 835068
[startup+550.067 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2535
Raw data (stat): 2526 (java) S 2525 21152 21151 0 -1 0 18032 0 1 0 51160 59 0 0 25 0 10 0 781713318 855109632 23793 4294967295 134512640 134569956 3221224368 3221213472 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208767 23793 13086 16 0 208751 0
vsize: 835068
[startup+560.067 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2535
Raw data (stat): 2526 (java) R 2525 21152 21151 0 -1 0 18032 0 1 0 52086 59 0 0 25 0 10 0 781713318 855109632 23825 4294967295 134512640 134569956 3221224368 3221214216 1077558368 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208767 23825 13086 16 0 208751 0
vsize: 835068
[startup+570.068 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2535
Raw data (stat): 2526 (java) R 2525 21152 21151 0 -1 0 18032 0 1 0 53012 60 0 0 25 0 10 0 781713318 855109632 23856 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208767 23856 13086 16 0 208751 0
vsize: 835068
[startup+580.068 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2535
Raw data (stat): 2526 (java) R 2525 21152 21151 0 -1 0 18032 0 1 0 53933 60 0 0 25 0 10 0 781713318 855109632 23889 4294967295 134512640 134569956 3221224368 3221214232 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208767 23889 13086 16 0 208751 0
vsize: 835068
[startup+590.068 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2535
Raw data (stat): 2526 (java) R 2525 21152 21151 0 -1 0 18032 0 1 0 54859 60 0 0 25 0 10 0 781713318 855109632 23919 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208767 23919 13086 16 0 208751 0
vsize: 835068
[startup+600.069 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2535
Raw data (stat): 2526 (java) S 2525 21152 21151 0 -1 0 18032 0 1 0 55784 61 0 0 25 0 10 0 781713318 855109632 23949 4294967295 134512640 134569956 3221224368 3221213472 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208767 23949 13086 16 0 208751 0
vsize: 835068
[startup+610.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2535
Raw data (stat): 2526 (java) R 2525 21152 21151 0 -1 0 18032 0 1 0 56706 61 0 0 25 0 10 0 781713318 855109632 23981 4294967295 134512640 134569956 3221224368 3221214756 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208767 23981 13086 16 0 208751 0
vsize: 835068
[startup+620.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2535
Raw data (stat): 2526 (java) R 2525 21152 21151 0 -1 0 18032 0 1 0 57631 61 0 0 25 0 10 0 781713318 855109632 24010 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208767 24010 13086 16 0 208751 0
vsize: 835068
[startup+630.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2535
Raw data (stat): 2526 (java) R 2525 21152 21151 0 -1 0 18032 0 1 0 58551 62 0 0 24 0 10 0 781713318 855109632 24041 4294967295 134512640 134569956 3221224368 3221214216 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208767 24041 13086 16 0 208751 0
vsize: 835068
[startup+640.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2535
Raw data (stat): 2526 (java) R 2525 21152 21151 0 -1 0 18032 0 1 0 59475 63 0 0 25 0 10 0 781713318 855109632 24070 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208767 24070 13086 16 0 208751 0
vsize: 835068
[startup+650.071 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2535
Raw data (stat): 2526 (java) R 2525 21152 21151 0 -1 0 18032 0 1 0 60399 63 0 0 25 0 10 0 781713318 855109632 24107 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208767 24107 13086 16 0 208751 0
vsize: 835068
[startup+660.071 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2535
Raw data (stat): 2526 (java) R 2525 21152 21151 0 -1 0 18032 0 1 0 61315 64 0 0 25 0 10 0 781713318 855109632 24787 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208767 24787 13086 16 0 208751 0
vsize: 835068
[startup+670.072 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2535
Raw data (stat): 2526 (java) R 2525 21152 21151 0 -1 0 18032 0 1 0 62237 64 0 0 19 0 10 0 781713318 855109632 24787 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208767 24787 13086 16 0 208751 0
vsize: 835068
[startup+680.072 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2535
Raw data (stat): 2526 (java) R 2525 21152 21151 0 -1 0 18032 0 1 0 63152 65 0 0 25 0 10 0 781713318 855109632 24794 4294967295 134512640 134569956 3221224368 3221214756 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208767 24794 13086 16 0 208751 0
vsize: 835068
[startup+690.072 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2535
Raw data (stat): 2526 (java) R 2525 21152 21151 0 -1 0 18032 0 1 0 64065 65 0 0 25 0 10 0 781713318 855109632 24830 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208767 24830 13086 16 0 208751 0
vsize: 835068
[startup+700.072 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2535
Raw data (stat): 2526 (java) R 2525 21152 21151 0 -1 0 18032 0 1 0 64977 66 0 0 25 0 10 0 781713318 855109632 24863 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208767 24863 13086 16 0 208751 0
vsize: 835068
[startup+710.074 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2535
Raw data (stat): 2526 (java) R 2525 21152 21151 0 -1 0 18033 0 1 0 65890 66 0 0 25 0 10 0 781713318 855109632 24891 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208767 24891 13086 16 0 208751 0
vsize: 835068
[startup+720.075 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2535
Raw data (stat): 2526 (java) S 2525 21152 21151 0 -1 0 18033 0 1 0 66800 66 0 0 25 0 10 0 781713318 855109632 24925 4294967295 134512640 134569956 3221224368 3221213472 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208767 24925 13086 16 0 208751 0
vsize: 835068
[startup+730.076 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2535
Raw data (stat): 2526 (java) R 2525 21152 21151 0 -1 0 18033 0 1 0 67709 67 0 0 24 0 10 0 781713318 855109632 24960 4294967295 134512640 134569956 3221224368 3221214756 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208767 24960 13086 16 0 208751 0
vsize: 835068
[startup+740.076 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2535
Raw data (stat): 2526 (java) R 2525 21152 21151 0 -1 0 18033 0 1 0 68621 67 0 0 24 0 10 0 781713318 855109632 24987 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208767 24987 13086 16 0 208751 0
vsize: 835068
[startup+750.077 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2535
Raw data (stat): 2526 (java) R 2525 21152 21151 0 -1 0 18033 0 1 0 69533 67 0 0 25 0 10 0 781713318 855109632 25023 4294967295 134512640 134569956 3221224368 3221214756 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208767 25023 13086 16 0 208751 0
vsize: 835068
[startup+760.077 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2535
Raw data (stat): 2526 (java) R 2525 21152 21151 0 -1 0 18033 0 1 0 70444 68 0 0 25 0 10 0 781713318 855109632 25051 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208767 25051 13086 16 0 208751 0
vsize: 835068
[startup+770.079 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2535
Raw data (stat): 2526 (java) R 2525 21152 21151 0 -1 0 18033 0 1 0 71355 68 0 0 25 0 10 0 781713318 855109632 25085 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208767 25085 13086 16 0 208751 0
vsize: 835068
[startup+780.079 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2535
Raw data (stat): 2526 (java) R 2525 21152 21151 0 -1 0 18033 0 1 0 72262 69 0 0 25 0 10 0 781713318 855109632 25115 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208767 25115 13086 16 0 208751 0
vsize: 835068
[startup+790.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2535
Raw data (stat): 2526 (java) R 2525 21152 21151 0 -1 0 18033 0 1 0 73171 70 0 0 25 0 10 0 781713318 855109632 25141 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208767 25141 13086 16 0 208751 0
vsize: 835068
[startup+800.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2535
Raw data (stat): 2526 (java) R 2525 21152 21151 0 -1 0 18033 0 1 0 74081 70 0 0 25 0 10 0 781713318 855109632 25176 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208767 25176 13086 16 0 208751 0
vsize: 835068
[startup+810.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2535
Raw data (stat): 2526 (java) R 2525 21152 21151 0 -1 0 18033 0 1 0 74990 70 0 0 25 0 10 0 781713318 855109632 25205 4294967295 134512640 134569956 3221224368 3221214764 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208767 25205 13086 16 0 208751 0
vsize: 835068
[startup+820.081 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2535
Raw data (stat): 2526 (java) R 2525 21152 21151 0 -1 0 18033 0 1 0 75899 70 0 0 25 0 10 0 781713318 855109632 25231 4294967295 134512640 134569956 3221224368 3221214764 1080204160 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208767 25231 13086 16 0 208751 0
vsize: 835068
[startup+830.081 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2535
Raw data (stat): 2526 (java) R 2525 21152 21151 0 -1 0 18033 0 1 0 76807 71 0 0 25 0 10 0 781713318 855109632 25264 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208767 25264 13086 16 0 208751 0
vsize: 835068
[startup+840.081 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2535
Raw data (stat): 2526 (java) R 2525 21152 21151 0 -1 0 18033 0 1 0 77716 71 0 0 25 0 10 0 781713318 855109632 25290 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208767 25290 13086 16 0 208751 0
vsize: 835068
[startup+850.082 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2535
Raw data (stat): 2526 (java) R 2525 21152 21151 0 -1 0 18033 0 1 0 78624 72 0 0 25 0 10 0 781713318 855109632 25324 4294967295 134512640 134569956 3221224368 3221214232 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208767 25324 13086 16 0 208751 0
vsize: 835068
[startup+860.082 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2535
Raw data (stat): 2526 (java) R 2525 21152 21151 0 -1 0 18033 0 1 0 79533 72 0 0 22 0 10 0 781713318 855109632 25349 4294967295 134512640 134569956 3221224368 3221214756 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208767 25349 13086 16 0 208751 0
vsize: 835068
[startup+870.083 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2535
Raw data (stat): 2526 (java) R 2525 21152 21151 0 -1 0 18033 0 1 0 80441 72 0 0 22 0 10 0 781713318 855109632 25374 4294967295 134512640 134569956 3221224368 3221214756 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208767 25374 13086 16 0 208751 0
vsize: 835068
[startup+880.084 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2535
Raw data (stat): 2526 (java) R 2525 21152 21151 0 -1 0 18033 0 1 0 81348 73 0 0 22 0 10 0 781713318 855109632 25409 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208767 25409 13086 16 0 208751 0
vsize: 835068
[startup+890.084 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2535
Raw data (stat): 2526 (java) R 2525 21152 21151 0 -1 0 18033 0 1 0 82254 73 0 0 21 0 10 0 781713318 855109632 25437 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208767 25437 13086 16 0 208751 0
vsize: 835068
[startup+900.085 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2535
Raw data (stat): 2526 (java) R 2525 21152 21151 0 -1 0 18033 0 1 0 83161 73 0 0 21 0 10 0 781713318 855109632 25462 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208767 25462 13086 16 0 208751 0
vsize: 835068
[startup+910.086 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2535
Raw data (stat): 2526 (java) R 2525 21152 21151 0 -1 0 18033 0 1 0 84067 74 0 0 21 0 10 0 781713318 855109632 25494 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208767 25494 13086 16 0 208751 0
vsize: 835068
[startup+920.088 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2535
Raw data (stat): 2526 (java) R 2525 21152 21151 0 -1 0 18033 0 1 0 84972 74 0 0 21 0 10 0 781713318 855109632 25522 4294967295 134512640 134569956 3221224368 3221214232 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208767 25522 13086 16 0 208751 0
vsize: 835068
[startup+930.089 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2535
Raw data (stat): 2526 (java) R 2525 21152 21151 0 -1 0 18033 0 1 0 85877 74 0 0 20 0 10 0 781713318 855109632 25550 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208767 25550 13086 16 0 208751 0
vsize: 835068
[startup+940.088 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2535
Raw data (stat): 2526 (java) R 2525 21152 21151 0 -1 0 18033 0 1 0 86782 75 0 0 20 0 10 0 781713318 855109632 25576 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208767 25576 13086 16 0 208751 0
vsize: 835068
[startup+950.088 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2535
Raw data (stat): 2526 (java) R 2525 21152 21151 0 -1 0 18033 0 1 0 87686 76 0 0 19 0 10 0 781713318 855109632 25605 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208767 25605 13086 16 0 208751 0
vsize: 835068
[startup+960.089 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2535
Raw data (stat): 2526 (java) S 2525 21152 21151 0 -1 0 18033 0 1 0 88592 76 0 0 24 0 10 0 781713318 855109632 25630 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208767 25630 13086 16 0 208751 0
vsize: 835068
[startup+970.097 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2535
Raw data (stat): 2526 (java) R 2525 21152 21151 0 -1 0 18033 0 1 0 89501 77 0 0 23 0 10 0 781713318 855109632 25659 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208767 25659 13086 16 0 208751 0
vsize: 835068
[startup+980.098 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2535
Raw data (stat): 2526 (java) R 2525 21152 21151 0 -1 0 18033 0 1 0 90405 77 0 0 23 0 10 0 781713318 855109632 25685 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208767 25685 13086 16 0 208751 0
vsize: 835068
[startup+990.099 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2535
Raw data (stat): 2526 (java) R 2525 21152 21151 0 -1 0 18033 0 1 0 91309 77 0 0 23 0 10 0 781713318 855109632 25712 4294967295 134512640 134569956 3221224368 3221214756 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208767 25712 13086 16 0 208751 0
vsize: 835068
[startup+1000.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2535
Raw data (stat): 2526 (java) R 2525 21152 21151 0 -1 0 18033 0 1 0 92213 78 0 0 21 0 10 0 781713318 855109632 25740 4294967295 134512640 134569956 3221224368 3221214756 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208767 25740 13086 16 0 208751 0
vsize: 835068
[startup+1010.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2535
Raw data (stat): 2526 (java) R 2525 21152 21151 0 -1 0 18033 0 1 0 93116 78 0 0 20 0 10 0 781713318 855109632 25768 4294967295 134512640 134569956 3221224368 3221214756 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208767 25768 13086 16 0 208751 0
vsize: 835068
[startup+1020.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2535
Raw data (stat): 2526 (java) R 2525 21152 21151 0 -1 0 18033 0 1 0 94018 79 0 0 19 0 10 0 781713318 855109632 25793 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208767 25793 13086 16 0 208751 0
vsize: 835068
[startup+1030.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2535
Raw data (stat): 2526 (java) R 2525 21152 21151 0 -1 0 18033 0 1 0 94921 80 0 0 19 0 10 0 781713318 855109632 25818 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208767 25818 13086 16 0 208751 0
vsize: 835068
[startup+1040.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2535
Raw data (stat): 2526 (java) S 2525 21152 21151 0 -1 0 18033 0 1 0 95825 80 0 0 24 0 10 0 781713318 855109632 25843 4294967295 134512640 134569956 3221224368 3221213472 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208767 25843 13086 16 0 208751 0
vsize: 835068
[startup+1050.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2535
Raw data (stat): 2526 (java) R 2525 21152 21151 0 -1 0 18033 0 1 0 96731 81 0 0 24 0 10 0 781713318 855109632 25868 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208767 25868 13086 16 0 208751 0
vsize: 835068
[startup+1060.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2535
Raw data (stat): 2526 (java) R 2525 21152 21151 0 -1 0 18033 0 1 0 97631 82 0 0 22 0 10 0 781713318 855109632 25898 4294967295 134512640 134569956 3221224368 3221214764 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208767 25898 13086 16 0 208751 0
vsize: 835068
[startup+1070.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2535
Raw data (stat): 2526 (java) R 2525 21152 21151 0 -1 0 18033 0 1 0 98531 82 0 0 20 0 10 0 781713318 855109632 25922 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208767 25922 13086 16 0 208751 0
vsize: 835068
[startup+1080.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2535
Raw data (stat): 2526 (java) R 2525 21152 21151 0 -1 0 18033 0 1 0 99433 83 0 0 20 0 10 0 781713318 855109632 25947 4294967295 134512640 134569956 3221224368 3221214764 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208767 25947 13086 16 0 208751 0
vsize: 835068
[startup+1090.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2535
Raw data (stat): 2526 (java) R 2525 21152 21151 0 -1 0 18033 0 1 0 100334 83 0 0 19 0 10 0 781713318 855109632 25972 4294967295 134512640 134569956 3221224368 3221214756 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208767 25972 13086 16 0 208751 0
vsize: 835068
[startup+1100.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2535
Raw data (stat): 2526 (java) S 2525 21152 21151 0 -1 0 18033 0 1 0 101241 83 0 0 24 0 10 0 781713318 855109632 25998 4294967295 134512640 134569956 3221224368 3221213472 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208767 25998 13086 16 0 208751 0
vsize: 835068
[startup+1110.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2535
Raw data (stat): 2526 (java) R 2525 21152 21151 0 -1 0 18033 0 1 0 102142 83 0 0 22 0 10 0 781713318 855109632 26023 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208767 26023 13086 16 0 208751 0
vsize: 835068
[startup+1120.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2535
Raw data (stat): 2526 (java) R 2525 21152 21151 0 -1 0 18033 0 1 0 103042 84 0 0 21 0 10 0 781713318 855109632 26045 4294967295 134512640 134569956 3221224368 3221214764 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208767 26045 13086 16 0 208751 0
vsize: 835068
[startup+1130.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2535
Raw data (stat): 2526 (java) R 2525 21152 21151 0 -1 0 18033 0 1 0 103942 84 0 0 20 0 10 0 781713318 855109632 26067 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208767 26067 13086 16 0 208751 0
vsize: 835068
[startup+1140.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2535
Raw data (stat): 2526 (java) R 2525 21152 21151 0 -1 0 18033 0 1 0 104842 85 0 0 19 0 10 0 781713318 855109632 26101 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208767 26101 13086 16 0 208751 0
vsize: 835068
[startup+1150.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2535
Raw data (stat): 2526 (java) S 2525 21152 21151 0 -1 0 18033 0 1 0 105747 85 0 0 24 0 10 0 781713318 855109632 26123 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208767 26123 13086 16 0 208751 0
vsize: 835068
[startup+1160.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2535
Raw data (stat): 2526 (java) R 2525 21152 21151 0 -1 0 18033 0 1 0 106647 85 0 0 22 0 10 0 781713318 855109632 26144 4294967295 134512640 134569956 3221224368 3221214232 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208767 26144 13086 16 0 208751 0
vsize: 835068
[startup+1170.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2535
Raw data (stat): 2526 (java) R 2525 21152 21151 0 -1 0 18033 0 1 0 107545 86 0 0 21 0 10 0 781713318 855109632 26173 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208767 26173 13086 16 0 208751 0
vsize: 835068
[startup+1180.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2535
Raw data (stat): 2526 (java) R 2525 21152 21151 0 -1 0 18033 0 1 0 108444 86 0 0 19 0 10 0 781713318 855109632 26196 4294967295 134512640 134569956 3221224368 3221214756 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208767 26196 13086 16 0 208751 0
vsize: 835068
[startup+1190.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2535
Raw data (stat): 2526 (java) S 2525 21152 21151 0 -1 0 18033 0 1 0 109344 87 0 0 23 0 10 0 781713318 855109632 26216 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208767 26216 13086 16 0 208751 0
vsize: 835068
[startup+1200.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2535
Raw data (stat): 2526 (java) R 2525 21152 21151 0 -1 0 18033 0 1 0 110248 88 0 0 23 0 10 0 781713318 855109632 26237 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208767 26237 13086 16 0 208751 0
vsize: 835068
[startup+1210.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2535
Raw data (stat): 2526 (java) R 2525 21152 21151 0 -1 0 18033 0 1 0 111146 88 0 0 21 0 10 0 781713318 855109632 26269 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208767 26269 13086 16 0 208751 0
vsize: 835068
[startup+1220.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2535
Raw data (stat): 2526 (java) R 2525 21152 21151 0 -1 0 18033 0 1 0 112044 88 0 0 19 0 10 0 781713318 855109632 26290 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208767 26290 13086 16 0 208751 0
vsize: 835068
[startup+1230.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2535
Raw data (stat): 2526 (java) S 2525 21152 21151 0 -1 0 18033 0 1 0 112947 88 0 0 22 0 10 0 781713318 855109632 26311 4294967295 134512640 134569956 3221224368 3221213472 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208767 26311 13086 16 0 208751 0
vsize: 835068
[startup+1240.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2535
Raw data (stat): 2526 (java) R 2525 21152 21151 0 -1 0 18033 0 1 0 113844 89 0 0 21 0 10 0 781713318 855109632 26345 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208767 26345 13086 16 0 208751 0
vsize: 835068
[startup+1250.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2535
Raw data (stat): 2526 (java) R 2525 21152 21151 0 -1 0 18033 0 1 0 114742 89 0 0 19 0 10 0 781713318 855109632 26368 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208767 26368 13086 16 0 208751 0
vsize: 835068
[startup+1260.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2535
Raw data (stat): 2526 (java) R 2525 21152 21151 0 -1 0 18033 0 1 0 115640 89 0 0 18 0 10 0 781713318 855109632 26384 4294967295 134512640 134569956 3221224368 3221214232 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208767 26384 13086 16 0 208751 0
vsize: 835068
[startup+1270.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2535
Raw data (stat): 2526 (java) R 2525 21152 21151 0 -1 0 18033 0 1 0 116545 90 0 0 23 0 10 0 781713318 855109632 26416 4294967295 134512640 134569956 3221224368 3221214452 1130896642 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208767 26416 13086 16 0 208751 0
vsize: 835068
[startup+1280.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2535
Raw data (stat): 2526 (java) R 2525 21152 21151 0 -1 0 18033 0 1 0 117445 90 0 0 21 0 10 0 781713318 855109632 26447 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208767 26447 13086 16 0 208751 0
vsize: 835068
[startup+1290.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2535
Raw data (stat): 2526 (java) R 2525 21152 21151 0 -1 0 18033 0 1 0 118344 91 0 0 20 0 10 0 781713318 855109632 26472 4294967295 134512640 134569956 3221224368 3221214764 1080204166 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208767 26472 13086 16 0 208751 0
vsize: 835068
[startup+1300.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2535
Raw data (stat): 2526 (java) R 2525 21152 21151 0 -1 0 18033 0 1 0 119247 91 0 0 19 0 10 0 781713318 855109632 26495 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208767 26495 13086 16 0 208751 0
vsize: 835068
[startup+1310.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2535
Raw data (stat): 2526 (java) S 2525 21152 21151 0 -1 0 18033 0 1 0 120153 92 0 0 24 0 10 0 781713318 855109632 26512 4294967295 134512640 134569956 3221224368 3221213472 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208767 26512 13086 16 0 208751 0
vsize: 835068
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1310.25 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 2537
Raw data (stat): 2526 (java) Z 2525 21152 21151 0 -1 1036 18033 7784 1 0 120158 92 10655 38 20 0 1 0 781713318 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1310.25
CPU time (s): 1309.44
CPU user time (s): 1308.14
CPU system time (s): 1.3028
CPU usage (%): 99.9381
Max. virtual memory (Kb): 835068
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####