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-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-swath2.opb
MD5SUM	4900144ca649bd1eba4c20785ac78705
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	31
Biggest coefficient in the objective function	1073741824
Number of bits for the biggest coefficient in the objective function	31
Sum of the numbers in the objective function	2147483647
Number of bits of the sum of numbers in the objective function	31
Biggest number in a constraint	1073741824000000
Number of bits of the biggest number in a constraint	50
Biggest sum of numbers in a constraint	4820003452178237
Number of bits of the biggest sum of numbers	53
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	1.84572
Number of variables	52335
Total number of constraints	7608
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	2599
Number of constraints which are nor clauses,nor cardinality constraints	5009
Minimum length of a constraint	1
Maximum length of a constraint	49934
Trace number 13437

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-04-20 20:47:10 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=14842 boxname=wulflinc31 idbench=1142 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  4900144ca649bd1eba4c20785ac78705  /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-20-10-swath2.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-20-10-swath2.opb
IDLAUNCH: 14842
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
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.153
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:        597224 kB
Buffers:         33612 kB
Cached:         365232 kB
SwapCached:        588 kB
Active:          90336 kB
Inactive:       310540 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        596972 kB
SwapTotal:     2097892 kB
SwapFree:      2096468 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5100 kB
Slab:            30948 kB
Committed_AS:    63488 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-20 21:08:33 (client local time) WITH STATUS 143 IN 1298.71 SECONDS
stats: 14842 7 1298.71 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-20-10-swath2.opb
c reading problem 
c [nbvar=52335]
c [nbconstr=7608]
c time 829.674
c #vars     52335
c #clauses  5305
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.80 0.92 0.78 2/54 13800
Raw data (stat): 13800 (runsolver) R 13799 23176 23175 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 539418696 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+10.0019 s]
Raw data (loadavg): 0.90 0.94 0.78 2/63 13809
Raw data (stat): 13800 (java) R 13799 23176 23175 0 -1 0 18002 0 1 0 837 40 0 0 25 0 10 0 539418696 857567232 20256 4294967295 134512640 134569956 3221224400 3221214708 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209367 20256 13073 16 0 209351 0
vsize: 837468
[startup+20.0101 s]
Raw data (loadavg): 0.92 0.94 0.79 2/63 13809
Raw data (stat): 13800 (java) R 13799 23176 23175 0 -1 0 18003 0 1 0 1716 40 0 0 24 0 10 0 539418696 856027136 20561 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208991 20561 13073 16 0 208975 0
vsize: 835964
[startup+30.0143 s]
Raw data (loadavg): 0.93 0.94 0.79 2/63 13809
Raw data (stat): 13800 (java) S 13799 23176 23175 0 -1 0 18003 0 1 0 2584 41 0 0 25 0 10 0 539418696 854638592 20782 4294967295 134512640 134569956 3221224400 3221213424 1073952481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208652 20782 13073 16 0 208636 0
vsize: 834608
[startup+40.0208 s]
Raw data (loadavg): 0.94 0.94 0.79 2/63 13809
Raw data (stat): 13800 (java) R 13799 23176 23175 0 -1 0 18003 0 1 0 3494 41 0 0 25 0 10 0 539418696 854638592 21068 4294967295 134512640 134569956 3221224400 3221214840 1131290756 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208652 21068 13073 16 0 208636 0
vsize: 834608
[startup+50.0283 s]
Raw data (loadavg): 0.95 0.95 0.79 2/63 13809
Raw data (stat): 13800 (java) R 13799 23176 23175 0 -1 0 18003 0 1 0 4413 41 0 0 25 0 10 0 539418696 854638592 21235 4294967295 134512640 134569956 3221224400 3221214272 1131183267 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208652 21235 13073 16 0 208636 0
vsize: 834608
[startup+60.0322 s]
Raw data (loadavg): 0.95 0.95 0.79 2/63 13809
Raw data (stat): 13800 (java) R 13799 23176 23175 0 -1 0 18003 0 1 0 5330 41 0 0 25 0 10 0 539418696 854638592 21371 4294967295 134512640 134569956 3221224400 3221214304 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208652 21371 13073 16 0 208636 0
vsize: 834608
[startup+70.1344 s]
Raw data (loadavg): 0.96 0.95 0.80 2/63 13809
Raw data (stat): 13800 (java) R 13799 23176 23175 0 -1 0 18003 0 1 0 6265 41 0 0 25 0 10 0 539418696 854638592 21571 4294967295 134512640 134569956 3221224400 3221214780 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208652 21571 13073 16 0 208636 0
vsize: 834608
[startup+80.1355 s]
Raw data (loadavg): 0.97 0.95 0.80 2/63 13809
Raw data (stat): 13800 (java) R 13799 23176 23175 0 -1 0 18003 0 1 0 7197 41 0 0 24 0 10 0 539418696 854638592 21677 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208652 21677 13073 16 0 208636 0
vsize: 834608
[startup+90.1363 s]
Raw data (loadavg): 0.97 0.95 0.80 2/63 13809
Raw data (stat): 13800 (java) R 13799 23176 23175 0 -1 0 18003 0 1 0 8135 41 0 0 25 0 10 0 539418696 854638592 21768 4294967295 134512640 134569956 3221224400 3221214304 1080019600 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208652 21768 13073 16 0 208636 0
vsize: 834608
[startup+100.137 s]
Raw data (loadavg): 0.98 0.95 0.80 2/63 13809
Raw data (stat): 13800 (java) R 13799 23176 23175 0 -1 0 18003 0 1 0 9068 41 0 0 25 0 10 0 539418696 854638592 21859 4294967295 134512640 134569956 3221224400 3221214288 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208652 21859 13073 16 0 208636 0
vsize: 834608
[startup+110.138 s]
Raw data (loadavg): 0.98 0.95 0.80 2/63 13809
Raw data (stat): 13800 (java) R 13799 23176 23175 0 -1 0 18003 0 1 0 10000 42 0 0 25 0 10 0 539418696 854638592 21948 4294967295 134512640 134569956 3221224400 3221214304 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208652 21948 13073 16 0 208636 0
vsize: 834608
[startup+120.139 s]
Raw data (loadavg): 0.98 0.95 0.81 2/63 13809
Raw data (stat): 13800 (java) R 13799 23176 23175 0 -1 0 18003 0 1 0 10934 42 0 0 25 0 10 0 539418696 854638592 22028 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208652 22028 13073 16 0 208636 0
vsize: 834608
[startup+130.14 s]
Raw data (loadavg): 0.98 0.95 0.81 2/63 13809
Raw data (stat): 13800 (java) R 13799 23176 23175 0 -1 0 18003 0 1 0 11867 42 0 0 25 0 10 0 539418696 854638592 22104 4294967295 134512640 134569956 3221224400 3221214248 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208652 22104 13073 16 0 208636 0
vsize: 834608
[startup+140.243 s]
Raw data (loadavg): 0.99 0.95 0.81 2/63 13809
Raw data (stat): 13800 (java) R 13799 23176 23175 0 -1 0 18003 0 1 0 12810 42 0 0 25 0 10 0 539418696 854638592 22176 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208652 22176 13073 16 0 208636 0
vsize: 834608
[startup+150.244 s]
Raw data (loadavg): 0.99 0.96 0.81 2/63 13809
Raw data (stat): 13800 (java) R 13799 23176 23175 0 -1 0 18003 0 1 0 13744 42 0 0 25 0 10 0 539418696 854638592 22246 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208652 22246 13073 16 0 208636 0
vsize: 834608
[startup+160.245 s]
Raw data (loadavg): 0.99 0.96 0.81 2/63 13809
Raw data (stat): 13800 (java) R 13799 23176 23175 0 -1 0 18003 0 1 0 14678 43 0 0 25 0 10 0 539418696 854638592 22312 4294967295 134512640 134569956 3221224400 3221214840 1131292224 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208652 22312 13073 16 0 208636 0
vsize: 834608
[startup+170.251 s]
Raw data (loadavg): 0.99 0.96 0.82 2/63 13809
Raw data (stat): 13800 (java) R 13799 23176 23175 0 -1 0 18003 0 1 0 15611 43 0 0 25 0 10 0 539418696 854638592 22376 4294967295 134512640 134569956 3221224400 3221214304 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208652 22376 13073 16 0 208636 0
vsize: 834608
[startup+180.261 s]
Raw data (loadavg): 0.99 0.96 0.82 2/63 13809
Raw data (stat): 13800 (java) R 13799 23176 23175 0 -1 0 18003 0 1 0 16540 44 0 0 25 0 10 0 539418696 854638592 22436 4294967295 134512640 134569956 3221224400 3221214288 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208652 22436 13073 16 0 208636 0
vsize: 834608
[startup+190.261 s]
Raw data (loadavg): 0.99 0.96 0.82 2/63 13809
Raw data (stat): 13800 (java) R 13799 23176 23175 0 -1 0 18003 0 1 0 17454 44 0 0 25 0 10 0 539418696 854638592 22496 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208652 22496 13073 16 0 208636 0
vsize: 834608
[startup+200.265 s]
Raw data (loadavg): 0.99 0.96 0.82 2/63 13809
Raw data (stat): 13800 (java) R 13799 23176 23175 0 -1 0 18003 0 1 0 18374 45 0 0 25 0 10 0 539418696 854638592 22714 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208652 22714 13073 16 0 208636 0
vsize: 834608
[startup+210.273 s]
Raw data (loadavg): 0.99 0.96 0.82 2/63 13809
Raw data (stat): 13800 (java) R 13799 23176 23175 0 -1 0 18003 0 1 0 19304 46 0 0 24 0 10 0 539418696 854638592 22771 4294967295 134512640 134569956 3221224400 3221214288 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208652 22771 13073 16 0 208636 0
vsize: 834608
[startup+220.274 s]
Raw data (loadavg): 0.99 0.96 0.82 2/63 13809
Raw data (stat): 13800 (java) S 13799 23176 23175 0 -1 0 18003 0 1 0 20234 46 0 0 25 0 10 0 539418696 854638592 22824 4294967295 134512640 134569956 3221224400 3221213488 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208652 22824 13073 16 0 208636 0
vsize: 834608
[startup+230.275 s]
Raw data (loadavg): 1.07 0.98 0.83 2/63 13809
Raw data (stat): 13800 (java) R 13799 23176 23175 0 -1 0 18003 0 1 0 21165 46 0 0 25 0 10 0 539418696 854638592 22876 4294967295 134512640 134569956 3221224400 3221214288 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208652 22876 13073 16 0 208636 0
vsize: 834608
[startup+240.283 s]
Raw data (loadavg): 1.06 0.98 0.83 2/63 13809
Raw data (stat): 13800 (java) R 13799 23176 23175 0 -1 0 18003 0 1 0 22093 47 0 0 25 0 10 0 539418696 854638592 22929 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208652 22929 13073 16 0 208636 0
vsize: 834608
[startup+250.284 s]
Raw data (loadavg): 1.05 0.98 0.83 2/63 13809
Raw data (stat): 13800 (java) R 13799 23176 23175 0 -1 0 18003 0 1 0 23021 47 0 0 25 0 10 0 539418696 854638592 22981 4294967295 134512640 134569956 3221224400 3221214828 1080203551 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208652 22981 13073 16 0 208636 0
vsize: 834608
[startup+260.285 s]
Raw data (loadavg): 1.04 0.98 0.83 2/63 13809
Raw data (stat): 13800 (java) R 13799 23176 23175 0 -1 0 18003 0 1 0 23946 48 0 0 25 0 10 0 539418696 854638592 23032 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208652 23032 13073 16 0 208636 0
vsize: 834608
[startup+270.285 s]
Raw data (loadavg): 1.04 0.98 0.83 2/63 13809
Raw data (stat): 13800 (java) R 13799 23176 23175 0 -1 0 18003 0 1 0 24872 49 0 0 25 0 10 0 539418696 854638592 23081 4294967295 134512640 134569956 3221224400 3221214780 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208652 23081 13073 16 0 208636 0
vsize: 834608
[startup+280.293 s]
Raw data (loadavg): 1.03 0.98 0.83 2/63 13809
Raw data (stat): 13800 (java) S 13799 23176 23175 0 -1 0 18003 0 1 0 25801 49 0 0 25 0 10 0 539418696 854638592 23126 4294967295 134512640 134569956 3221224400 3221213528 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208652 23126 13073 16 0 208636 0
vsize: 834608
[startup+290.295 s]
Raw data (loadavg): 1.03 0.98 0.83 2/63 13809
Raw data (stat): 13800 (java) R 13799 23176 23175 0 -1 0 18003 0 1 0 26727 49 0 0 25 0 10 0 539418696 854638592 23173 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208652 23173 13073 16 0 208636 0
vsize: 834608
[startup+300.295 s]
Raw data (loadavg): 1.02 0.98 0.83 2/63 13809
Raw data (stat): 13800 (java) R 13799 23176 23175 0 -1 0 18003 0 1 0 27651 50 0 0 25 0 10 0 539418696 854638592 23220 4294967295 134512640 134569956 3221224400 3221214400 1079668876 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208652 23220 13073 16 0 208636 0
vsize: 834608
[startup+310.295 s]
Raw data (loadavg): 1.02 0.98 0.84 2/63 13809
Raw data (stat): 13800 (java) R 13799 23176 23175 0 -1 0 18003 0 1 0 28574 50 0 0 20 0 10 0 539418696 854638592 23265 4294967295 134512640 134569956 3221224400 3221214112 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208652 23265 13073 16 0 208636 0
vsize: 834608
[startup+320.296 s]
Raw data (loadavg): 1.01 0.98 0.84 2/63 13809
Raw data (stat): 13800 (java) R 13799 23176 23175 0 -1 0 18003 0 1 0 29497 51 0 0 24 0 10 0 539418696 854638592 23310 4294967295 134512640 134569956 3221224400 3221214780 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208652 23310 13073 16 0 208636 0
vsize: 834608
[startup+330.298 s]
Raw data (loadavg): 1.01 0.98 0.84 2/63 13809
Raw data (stat): 13800 (java) R 13799 23176 23175 0 -1 0 18003 0 1 0 30424 52 0 0 25 0 10 0 539418696 854638592 23351 4294967295 134512640 134569956 3221224400 3221214288 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208652 23351 13073 16 0 208636 0
vsize: 834608
[startup+340.298 s]
Raw data (loadavg): 1.01 0.98 0.84 2/63 13809
Raw data (stat): 13800 (java) R 13799 23176 23175 0 -1 0 18003 0 1 0 31345 52 0 0 25 0 10 0 539418696 854638592 23395 4294967295 134512640 134569956 3221224400 3221214304 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208652 23395 13073 16 0 208636 0
vsize: 834608
[startup+350.299 s]
Raw data (loadavg): 1.01 0.98 0.84 2/63 13809
Raw data (stat): 13800 (java) R 13799 23176 23175 0 -1 0 18003 0 1 0 32265 52 0 0 25 0 10 0 539418696 854638592 23437 4294967295 134512640 134569956 3221224400 3221214288 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208652 23437 13073 16 0 208636 0
vsize: 834608
[startup+360.3 s]
Raw data (loadavg): 1.01 0.98 0.84 2/63 13809
Raw data (stat): 13800 (java) S 13799 23176 23175 0 -1 0 18003 0 1 0 33187 53 0 0 25 0 10 0 539418696 854638592 23484 4294967295 134512640 134569956 3221224400 3221213488 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208652 23484 13073 16 0 208636 0
vsize: 834608
[startup+370.3 s]
Raw data (loadavg): 1.00 0.98 0.84 2/63 13809
Raw data (stat): 13800 (java) R 13799 23176 23175 0 -1 0 18003 0 1 0 34110 53 0 0 25 0 10 0 539418696 854638592 23525 4294967295 134512640 134569956 3221224400 3221214288 1077558382 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208652 23525 13073 16 0 208636 0
vsize: 834608
[startup+380.301 s]
Raw data (loadavg): 1.00 0.98 0.84 2/63 13809
Raw data (stat): 13800 (java) R 13799 23176 23175 0 -1 0 18003 0 1 0 35029 54 0 0 25 0 10 0 539418696 854638592 23566 4294967295 134512640 134569956 3221224400 3221214828 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208652 23566 13073 16 0 208636 0
vsize: 834608
[startup+390.302 s]
Raw data (loadavg): 1.00 0.98 0.84 2/63 13809
Raw data (stat): 13800 (java) R 13799 23176 23175 0 -1 0 18003 0 1 0 35947 54 0 0 24 0 10 0 539418696 854638592 23606 4294967295 134512640 134569956 3221224400 3221214780 1080204146 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208652 23606 13073 16 0 208636 0
vsize: 834608
[startup+400.302 s]
Raw data (loadavg): 1.00 0.98 0.84 2/63 13809
Raw data (stat): 13800 (java) R 13799 23176 23175 0 -1 0 18003 0 1 0 36871 55 0 0 25 0 10 0 539418696 854638592 23643 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208652 23643 13073 16 0 208636 0
vsize: 834608
[startup+410.32 s]
Raw data (loadavg): 1.00 0.98 0.85 2/63 13809
Raw data (stat): 13800 (java) R 13799 23176 23175 0 -1 0 18003 0 1 0 37790 55 0 0 25 0 10 0 539418696 854638592 23682 4294967295 134512640 134569956 3221224400 3221214780 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208652 23682 13073 16 0 208636 0
vsize: 834608
[startup+420.325 s]
Raw data (loadavg): 1.00 0.98 0.85 2/63 13809
Raw data (stat): 13800 (java) R 13799 23176 23175 0 -1 0 18003 0 1 0 38708 56 0 0 25 0 10 0 539418696 854638592 23719 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208652 23719 13073 16 0 208636 0
vsize: 834608
[startup+430.327 s]
Raw data (loadavg): 1.00 0.98 0.85 2/63 13809
Raw data (stat): 13800 (java) R 13799 23176 23175 0 -1 0 18003 0 1 0 39625 56 0 0 25 0 10 0 539418696 854638592 23757 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208652 23757 13073 16 0 208636 0
vsize: 834608
[startup+440.331 s]
Raw data (loadavg): 1.00 0.98 0.85 2/63 13809
Raw data (stat): 13800 (java) R 13799 23176 23175 0 -1 0 18003 0 1 0 40541 57 0 0 25 0 10 0 539418696 854638592 23794 4294967295 134512640 134569956 3221224400 3221214828 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208652 23794 13073 16 0 208636 0
vsize: 834608
[startup+450.338 s]
Raw data (loadavg): 1.00 0.98 0.85 2/63 13809
Raw data (stat): 13800 (java) R 13799 23176 23175 0 -1 0 18003 0 1 0 41462 57 0 0 25 0 10 0 539418696 854638592 23829 4294967295 134512640 134569956 3221224400 3221214288 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208652 23829 13073 16 0 208636 0
vsize: 834608
[startup+460.339 s]
Raw data (loadavg): 1.00 0.98 0.85 2/63 13809
Raw data (stat): 13800 (java) R 13799 23176 23175 0 -1 0 18003 0 1 0 42377 57 0 0 25 0 10 0 539418696 854638592 23866 4294967295 134512640 134569956 3221224400 3221214780 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208652 23866 13073 16 0 208636 0
vsize: 834608
[startup+470.34 s]
Raw data (loadavg): 1.00 0.98 0.85 2/63 13809
Raw data (stat): 13800 (java) R 13799 23176 23175 0 -1 0 18003 0 1 0 43297 57 0 0 25 0 10 0 539418696 854638592 23900 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208652 23900 13073 16 0 208636 0
vsize: 834608
[startup+480.343 s]
Raw data (loadavg): 1.00 0.98 0.85 2/63 13809
Raw data (stat): 13800 (java) R 13799 23176 23175 0 -1 0 18003 0 1 0 44211 58 0 0 25 0 10 0 539418696 854638592 23936 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208652 23936 13073 16 0 208636 0
vsize: 834608
[startup+490.347 s]
Raw data (loadavg): 1.00 0.98 0.85 2/63 13809
Raw data (stat): 13800 (java) R 13799 23176 23175 0 -1 0 18003 0 1 0 45130 58 0 0 25 0 10 0 539418696 854638592 23971 4294967295 134512640 134569956 3221224400 3221214772 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208652 23971 13073 16 0 208636 0
vsize: 834608
[startup+500.347 s]
Raw data (loadavg): 1.00 0.98 0.85 2/63 13809
Raw data (stat): 13800 (java) R 13799 23176 23175 0 -1 0 18003 0 1 0 46043 59 0 0 25 0 10 0 539418696 854638592 24006 4294967295 134512640 134569956 3221224400 3221214288 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208652 24006 13073 16 0 208636 0
vsize: 834608
[startup+510.348 s]
Raw data (loadavg): 1.00 0.98 0.86 2/63 13809
Raw data (stat): 13800 (java) R 13799 23176 23175 0 -1 0 18003 0 1 0 46960 59 0 0 25 0 10 0 539418696 854638592 24039 4294967295 134512640 134569956 3221224400 3221214304 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208652 24039 13073 16 0 208636 0
vsize: 834608
[startup+520.349 s]
Raw data (loadavg): 1.00 0.98 0.86 2/63 13809
Raw data (stat): 13800 (java) R 13799 23176 23175 0 -1 0 18003 0 1 0 47873 59 0 0 25 0 10 0 539418696 854638592 24073 4294967295 134512640 134569956 3221224400 3221214288 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208652 24073 13073 16 0 208636 0
vsize: 834608
[startup+530.351 s]
Raw data (loadavg): 1.00 0.98 0.86 2/63 13809
Raw data (stat): 13800 (java) R 13799 23176 23175 0 -1 0 18003 0 1 0 48791 59 0 0 25 0 10 0 539418696 854638592 24105 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208652 24105 13073 16 0 208636 0
vsize: 834608
[startup+540.355 s]
Raw data (loadavg): 1.00 0.98 0.86 2/63 13809
Raw data (stat): 13800 (java) R 13799 23176 23175 0 -1 0 18003 0 1 0 49704 60 0 0 25 0 10 0 539418696 854638592 24139 4294967295 134512640 134569956 3221224400 3221214288 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208652 24139 13073 16 0 208636 0
vsize: 834608
[startup+550.355 s]
Raw data (loadavg): 1.00 0.98 0.86 2/63 13809
Raw data (stat): 13800 (java) R 13799 23176 23175 0 -1 0 18003 0 1 0 50621 60 0 0 25 0 10 0 539418696 854638592 24171 4294967295 134512640 134569956 3221224400 3221214304 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208652 24171 13073 16 0 208636 0
vsize: 834608
[startup+560.356 s]
Raw data (loadavg): 1.00 0.98 0.86 2/63 13809
Raw data (stat): 13800 (java) R 13799 23176 23175 0 -1 0 18003 0 1 0 51530 60 0 0 25 0 10 0 539418696 854638592 24204 4294967295 134512640 134569956 3221224400 3221214780 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208652 24204 13073 16 0 208636 0
vsize: 834608
[startup+570.356 s]
Raw data (loadavg): 1.00 0.98 0.86 2/63 13809
Raw data (stat): 13800 (java) R 13799 23176 23175 0 -1 0 18003 0 1 0 52445 61 0 0 25 0 10 0 539418696 854638592 24235 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208652 24235 13073 16 0 208636 0
vsize: 834608
[startup+580.358 s]
Raw data (loadavg): 1.00 0.98 0.86 2/63 13809
Raw data (stat): 13800 (java) S 13799 23176 23175 0 -1 0 18003 0 1 0 53356 61 0 0 24 0 10 0 539418696 854638592 24266 4294967295 134512640 134569956 3221224400 3221213528 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208652 24266 13073 16 0 208636 0
vsize: 834608
[startup+590.374 s]
Raw data (loadavg): 1.00 0.98 0.86 2/63 13809
Raw data (stat): 13800 (java) R 13799 23176 23175 0 -1 0 18003 0 1 0 54270 61 0 0 25 0 10 0 539418696 854638592 24298 4294967295 134512640 134569956 3221224400 3221214828 1080203551 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208652 24298 13073 16 0 208636 0
vsize: 834608
[startup+600.374 s]
Raw data (loadavg): 1.00 0.98 0.86 2/63 13809
Raw data (stat): 13800 (java) R 13799 23176 23175 0 -1 0 18003 0 1 0 55183 61 0 0 25 0 10 0 539418696 854638592 24328 4294967295 134512640 134569956 3221224400 3221214780 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208652 24328 13073 16 0 208636 0
vsize: 834608
[startup+610.375 s]
Raw data (loadavg): 1.00 0.98 0.87 2/63 13809
Raw data (stat): 13800 (java) R 13799 23176 23175 0 -1 0 18003 0 1 0 56089 62 0 0 25 0 10 0 539418696 854638592 24360 4294967295 134512640 134569956 3221224400 3221214780 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208652 24360 13073 16 0 208636 0
vsize: 834608
[startup+620.376 s]
Raw data (loadavg): 1.00 0.98 0.87 2/63 13809
Raw data (stat): 13800 (java) R 13799 23176 23175 0 -1 0 18003 0 1 0 57002 62 0 0 25 0 10 0 539418696 854638592 24389 4294967295 134512640 134569956 3221224400 3221214780 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208652 24389 13073 16 0 208636 0
vsize: 834608
[startup+630.377 s]
Raw data (loadavg): 1.00 0.98 0.87 2/63 13809
Raw data (stat): 13800 (java) R 13799 23176 23175 0 -1 0 18003 0 1 0 57914 63 0 0 24 0 10 0 539418696 854638592 24419 4294967295 134512640 134569956 3221224400 3221214304 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208652 24419 13073 16 0 208636 0
vsize: 834608
[startup+640.384 s]
Raw data (loadavg): 1.00 0.98 0.87 2/63 13809
Raw data (stat): 13800 (java) R 13799 23176 23175 0 -1 0 18003 0 1 0 58821 63 0 0 25 0 10 0 539418696 854638592 24450 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208652 24450 13073 16 0 208636 0
vsize: 834608
[startup+650.385 s]
Raw data (loadavg): 1.00 0.98 0.87 2/63 13809
Raw data (stat): 13800 (java) R 13799 23176 23175 0 -1 0 18003 0 1 0 59732 64 0 0 25 0 10 0 539418696 854638592 24479 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208652 24479 13073 16 0 208636 0
vsize: 834608
[startup+660.387 s]
Raw data (loadavg): 1.00 0.98 0.87 2/63 13809
Raw data (stat): 13800 (java) R 13799 23176 23175 0 -1 0 18003 0 1 0 60643 64 0 0 25 0 10 0 539418696 854638592 24508 4294967295 134512640 134569956 3221224400 3221214288 1077558382 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208652 24508 13073 16 0 208636 0
vsize: 834608
[startup+670.387 s]
Raw data (loadavg): 1.00 0.98 0.87 2/63 13809
Raw data (stat): 13800 (java) R 13799 23176 23175 0 -1 0 18003 0 1 0 61560 65 0 0 25 0 10 0 539418696 854638592 24535 4294967295 134512640 134569956 3221224400 3221214304 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208652 24535 13073 16 0 208636 0
vsize: 834608
[startup+680.388 s]
Raw data (loadavg): 1.00 0.98 0.87 2/63 13809
Raw data (stat): 13800 (java) R 13799 23176 23175 0 -1 0 18003 0 1 0 62479 65 0 0 25 0 10 0 539418696 854638592 24560 4294967295 134512640 134569956 3221224400 3221214288 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208652 24560 13073 16 0 208636 0
vsize: 834608
[startup+690.388 s]
Raw data (loadavg): 1.00 0.98 0.87 2/63 13809
Raw data (stat): 13800 (java) R 13799 23176 23175 0 -1 0 18003 0 1 0 63398 66 0 0 25 0 10 0 539418696 854638592 24577 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208652 24577 13073 16 0 208636 0
vsize: 834608
[startup+700.389 s]
Raw data (loadavg): 1.00 0.98 0.87 2/63 13809
Raw data (stat): 13800 (java) R 13799 23176 23175 0 -1 0 18003 0 1 0 64317 66 0 0 25 0 10 0 539418696 854638592 24594 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208652 24594 13073 16 0 208636 0
vsize: 834608
[startup+710.389 s]
Raw data (loadavg): 1.00 0.98 0.87 2/63 13809
Raw data (stat): 13800 (java) R 13799 23176 23175 0 -1 0 18003 0 1 0 65235 67 0 0 25 0 10 0 539418696 854638592 24611 4294967295 134512640 134569956 3221224400 3221214780 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208652 24611 13073 16 0 208636 0
vsize: 834608
[startup+720.39 s]
Raw data (loadavg): 1.00 0.98 0.88 2/63 13809
Raw data (stat): 13800 (java) R 13799 23176 23175 0 -1 0 18003 0 1 0 66148 67 0 0 25 0 10 0 539418696 854638592 25179 4294967295 134512640 134569956 3221224400 3221214112 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208652 25179 13073 16 0 208636 0
vsize: 834608
[startup+730.391 s]
Raw data (loadavg): 1.00 0.98 0.88 2/63 13809
Raw data (stat): 13800 (java) R 13799 23176 23175 0 -1 0 18003 0 1 0 67065 68 0 0 25 0 10 0 539418696 854638592 25179 4294967295 134512640 134569956 3221224400 3221214772 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208652 25179 13073 16 0 208636 0
vsize: 834608
[startup+740.392 s]
Raw data (loadavg): 1.00 0.98 0.88 2/63 13809
Raw data (stat): 13800 (java) R 13799 23176 23175 0 -1 0 18003 0 1 0 67974 68 0 0 25 0 10 0 539418696 854638592 25185 4294967295 134512640 134569956 3221224400 3221214556 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208652 25185 13073 16 0 208636 0
vsize: 834608
[startup+750.392 s]
Raw data (loadavg): 1.08 1.00 0.88 2/63 13809
Raw data (stat): 13800 (java) R 13799 23176 23175 0 -1 0 18051 0 1 0 68853 70 0 0 25 0 10 0 539418696 866762752 32399 4294967295 134512640 134569956 3221224400 3221214248 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211612 32399 13073 16 0 211596 0
vsize: 846448
[startup+760.401 s]
Raw data (loadavg): 1.07 1.00 0.89 2/63 13809
Raw data (stat): 13800 (java) R 13799 23176 23175 0 -1 0 18051 0 1 0 69768 71 0 0 24 0 10 0 539418696 857784320 30340 4294967295 134512640 134569956 3221224400 3221214304 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209420 30340 13073 16 0 209404 0
vsize: 837680
[startup+770.427 s]
Raw data (loadavg): 1.06 1.00 0.89 3/63 13809
Raw data (stat): 13800 (java) R 13799 23176 23175 0 -1 0 18051 0 1 0 70670 71 0 0 25 0 10 0 539418696 862654464 31237 4294967295 134512640 134569956 3221224400 3221214304 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210609 31237 13073 16 0 210593 0
vsize: 842436
[startup+780.429 s]
Raw data (loadavg): 1.20 1.03 0.90 2/63 13862
Raw data (stat): 13800 (java) R 13799 23176 23175 0 -1 0 18051 0 1 0 71565 73 0 0 25 0 10 0 539418696 860106752 31071 4294967295 134512640 134569956 3221224400 3221214288 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209987 31071 13073 16 0 209971 0
vsize: 839948
[startup+790.431 s]
Raw data (loadavg): 1.17 1.03 0.90 2/63 13862
Raw data (stat): 13800 (java) R 13799 23176 23175 0 -1 0 18051 0 1 0 72451 73 0 0 24 0 10 0 539418696 860106752 31106 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209987 31106 13073 16 0 209971 0
vsize: 839948
[startup+800.43 s]
Raw data (loadavg): 1.14 1.03 0.90 2/63 13862
Raw data (stat): 13800 (java) R 13799 23176 23175 0 -1 0 18051 0 1 0 73343 73 0 0 25 0 10 0 539418696 860106752 31146 4294967295 134512640 134569956 3221224400 3221214304 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209987 31146 13073 16 0 209971 0
vsize: 839948
[startup+810.442 s]
Raw data (loadavg): 1.12 1.03 0.90 2/63 13862
Raw data (stat): 13800 (java) R 13799 23176 23175 0 -1 0 18051 0 1 0 74237 73 0 0 25 0 10 0 539418696 860106752 31187 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209987 31187 13073 16 0 209971 0
vsize: 839948
[startup+820.472 s]
Raw data (loadavg): 1.10 1.03 0.90 2/63 13862
Raw data (stat): 13800 (java) R 13799 23176 23175 0 -1 0 18051 0 1 0 75131 73 0 0 25 0 10 0 539418696 860106752 31226 4294967295 134512640 134569956 3221224400 3221214288 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209987 31226 13073 16 0 209971 0
vsize: 839948
[startup+830.488 s]
Raw data (loadavg): 1.09 1.02 0.90 2/63 13862
Raw data (stat): 13800 (java) R 13799 23176 23175 0 -1 0 18051 0 1 0 76036 79 0 0 25 0 10 0 539418696 856809472 34014 4294967295 134512640 134569956 3221224400 3221214272 1131183370 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209182 34014 13073 16 0 209166 0
vsize: 836728
[startup+840.489 s]
Raw data (loadavg): 1.07 1.02 0.90 2/65 13864
Raw data (stat): 13800 (java) R 13799 23176 23175 0 -1 0 18072 0 1 0 76924 79 0 0 25 0 10 0 539418696 856809472 35879 4294967295 134512640 134569956 3221224400 3221214832 1131452546 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209182 35879 13073 16 0 209166 0
vsize: 836728
[startup+850.49 s]
Raw data (loadavg): 1.06 1.02 0.90 2/63 13864
Raw data (stat): 13800 (java) R 13799 23176 23175 0 -1 0 18072 0 1 0 77827 79 0 0 25 0 10 0 539418696 856809472 35879 4294967295 134512640 134569956 3221224400 3221214728 1131253968 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209182 35879 13073 16 0 209166 0
vsize: 836728
[startup+860.493 s]
Raw data (loadavg): 1.05 1.02 0.91 2/64 13865
Raw data (stat): 13800 (java) R 13799 23176 23175 0 -1 0 18079 0 1 0 78723 79 0 0 25 0 11 0 539418696 857337856 35890 4294967295 134512640 134569956 3221224400 3221214656 1131253501 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209311 35890 13073 16 0 209295 0
vsize: 837244
[startup+870.493 s]
Raw data (loadavg): 1.04 1.02 0.91 2/64 13865
Raw data (stat): 13800 (java) R 13799 23176 23175 0 -1 0 18079 0 1 0 79653 80 0 0 25 0 11 0 539418696 857337856 36679 4294967295 134512640 134569956 3221224400 3221214656 1131253927 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209311 36679 13073 16 0 209295 0
vsize: 837244
[startup+880.495 s]
Raw data (loadavg): 1.04 1.02 0.91 2/64 13865
Raw data (stat): 13800 (java) R 13799 23176 23175 0 -1 0 18079 0 1 0 80648 80 0 0 25 0 11 0 539418696 857337856 36680 4294967295 134512640 134569956 3221224400 3221214656 1131254083 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209311 36680 13073 16 0 209295 0
vsize: 837244
[startup+890.496 s]
Raw data (loadavg): 1.03 1.02 0.91 2/64 13865
Raw data (stat): 13800 (java) R 13799 23176 23175 0 -1 0 18079 0 1 0 81641 80 0 0 25 0 11 0 539418696 857337856 36680 4294967295 134512640 134569956 3221224400 3221214784 1131452546 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209311 36680 13073 16 0 209295 0
vsize: 837244
[startup+900.496 s]
Raw data (loadavg): 1.02 1.02 0.91 2/64 13865
Raw data (stat): 13800 (java) R 13799 23176 23175 0 -1 0 18079 0 1 0 82634 80 0 0 25 0 11 0 539418696 857337856 36681 4294967295 134512640 134569956 3221224400 3221214784 1131451461 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209311 36681 13073 16 0 209295 0
vsize: 837244
[startup+910.498 s]
Raw data (loadavg): 1.02 1.02 0.91 2/64 13865
Raw data (stat): 13800 (java) R 13799 23176 23175 0 -1 0 18080 0 1 0 83628 81 0 0 25 0 11 0 539418696 857337856 36682 4294967295 134512640 134569956 3221224400 3221214680 1131253884 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209311 36682 13073 16 0 209295 0
vsize: 837244
[startup+920.498 s]
Raw data (loadavg): 1.10 1.03 0.91 4/64 13865
Raw data (stat): 13800 (java) R 13799 23176 23175 0 -1 0 18118 0 1 0 84591 81 0 0 25 0 11 0 539418696 858345472 36988 4294967295 134512640 134569956 3221224400 3221214200 1073952732 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209557 36989 13073 16 0 209541 0
vsize: 838228
[startup+930.499 s]
Raw data (loadavg): 1.08 1.03 0.91 2/64 13865
Raw data (stat): 13800 (java) R 13799 23176 23175 0 -1 0 18119 0 1 0 85571 81 0 0 25 0 11 0 539418696 860528640 37385 4294967295 134512640 134569956 3221224400 3221214784 1131450389 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210090 37385 13073 16 0 210074 0
vsize: 840360
[startup+940.5 s]
Raw data (loadavg): 1.07 1.03 0.91 2/64 13865
Raw data (stat): 13800 (java) R 13799 23176 23175 0 -1 0 18119 0 1 0 86563 82 0 0 25 0 11 0 539418696 860254208 37338 4294967295 134512640 134569956 3221224400 3221214680 1131254348 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210023 37338 13073 16 0 210007 0
vsize: 840092
[startup+950.501 s]
Raw data (loadavg): 1.06 1.03 0.91 2/64 13865
Raw data (stat): 13800 (java) R 13799 23176 23175 0 -1 0 18119 0 1 0 87555 82 0 0 25 0 11 0 539418696 860254208 37338 4294967295 134512640 134569956 3221224400 3221214680 1131254459 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210023 37338 13073 16 0 210007 0
vsize: 840092
[startup+960.502 s]
Raw data (loadavg): 1.05 1.03 0.91 2/64 13865
Raw data (stat): 13800 (java) R 13799 23176 23175 0 -1 0 18119 0 1 0 88547 82 0 0 25 0 11 0 539418696 860254208 37360 4294967295 134512640 134569956 3221224400 3221214680 1131255076 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210023 37360 13073 16 0 210007 0
vsize: 840092
[startup+970.503 s]
Raw data (loadavg): 1.04 1.03 0.91 2/64 13865
Raw data (stat): 13800 (java) R 13799 23176 23175 0 -1 0 18119 0 1 0 89541 82 0 0 25 0 11 0 539418696 860254208 37360 4294967295 134512640 134569956 3221224400 3221214680 1131253867 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210023 37360 13073 16 0 210007 0
vsize: 840092
[startup+980.504 s]
Raw data (loadavg): 1.03 1.02 0.91 2/64 13865
Raw data (stat): 13800 (java) R 13799 23176 23175 0 -1 0 18119 0 1 0 90534 83 0 0 25 0 11 0 539418696 859435008 37170 4294967295 134512640 134569956 3221224400 3221214784 1131451605 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209823 37170 13073 16 0 209807 0
vsize: 839292
[startup+990.505 s]
Raw data (loadavg): 1.03 1.02 0.91 2/64 13865
Raw data (stat): 13800 (java) R 13799 23176 23175 0 -1 0 18119 0 1 0 91525 83 0 0 25 0 11 0 539418696 859435008 37170 4294967295 134512640 134569956 3221224400 3221214680 1131254184 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209823 37170 13073 16 0 209807 0
vsize: 839292
[startup+1000.51 s]
Raw data (loadavg): 1.02 1.02 0.91 2/64 13865
Raw data (stat): 13800 (java) R 13799 23176 23175 0 -1 0 18119 0 1 0 92516 84 0 0 25 0 11 0 539418696 859435008 37171 4294967295 134512640 134569956 3221224400 3221214784 1131450378 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209823 37171 13073 16 0 209807 0
vsize: 839292
[startup+1010.51 s]
Raw data (loadavg): 1.02 1.02 0.91 2/64 13865
Raw data (stat): 13800 (java) R 13799 23176 23175 0 -1 0 18119 0 1 0 93507 84 0 0 25 0 11 0 539418696 859435008 37192 4294967295 134512640 134569956 3221224400 3221214680 1131253911 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209823 37192 13073 16 0 209807 0
vsize: 839292
[startup+1020.51 s]
Raw data (loadavg): 1.02 1.02 0.91 2/64 13865
Raw data (stat): 13800 (java) R 13799 23176 23175 0 -1 0 18119 0 1 0 94499 84 0 0 25 0 11 0 539418696 859435008 37193 4294967295 134512640 134569956 3221224400 3221214680 1131254459 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209823 37193 13073 16 0 209807 0
vsize: 839292
[startup+1030.51 s]
Raw data (loadavg): 1.01 1.02 0.91 2/64 13865
Raw data (stat): 13800 (java) R 13799 23176 23175 0 -1 0 18119 0 1 0 95492 84 0 0 25 0 11 0 539418696 859435008 37194 4294967295 134512640 134569956 3221224400 3221214784 1131450572 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209823 37194 13073 16 0 209807 0
vsize: 839292
[startup+1040.51 s]
Raw data (loadavg): 1.01 1.02 0.91 2/64 13865
Raw data (stat): 13800 (java) R 13799 23176 23175 0 -1 0 18119 0 1 0 96485 85 0 0 25 0 11 0 539418696 859435008 37196 4294967295 134512640 134569956 3221224400 3221214680 1131254003 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209823 37196 13073 16 0 209807 0
vsize: 839292
[startup+1050.51 s]
Raw data (loadavg): 1.01 1.02 0.91 2/64 13865
Raw data (stat): 13800 (java) R 13799 23176 23175 0 -1 0 18119 0 1 0 97478 85 0 0 25 0 11 0 539418696 859435008 37197 4294967295 134512640 134569956 3221224400 3221214664 1131680098 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209823 37197 13073 16 0 209807 0
vsize: 839292
[startup+1060.51 s]
Raw data (loadavg): 1.01 1.02 0.91 2/64 13865
Raw data (stat): 13800 (java) R 13799 23176 23175 0 -1 0 18119 0 1 0 98469 85 0 0 25 0 11 0 539418696 859435008 37199 4294967295 134512640 134569956 3221224400 3221214784 1131451631 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209823 37199 13073 16 0 209807 0
vsize: 839292
[startup+1070.51 s]
Raw data (loadavg): 1.00 1.02 0.91 2/64 13865
Raw data (stat): 13800 (java) R 13799 23176 23175 0 -1 0 18119 0 1 0 99462 86 0 0 25 0 11 0 539418696 859435008 37200 4294967295 134512640 134569956 3221224400 3221214680 1131253513 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209823 37200 13073 16 0 209807 0
vsize: 839292
[startup+1080.51 s]
Raw data (loadavg): 1.00 1.02 0.91 2/64 13865
Raw data (stat): 13800 (java) R 13799 23176 23175 0 -1 0 18119 0 1 0 100454 86 0 0 25 0 11 0 539418696 859435008 37201 4294967295 134512640 134569956 3221224400 3221214680 1131254145 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209823 37201 13073 16 0 209807 0
vsize: 839292
[startup+1090.51 s]
Raw data (loadavg): 1.00 1.01 0.91 2/64 13865
Raw data (stat): 13800 (java) R 13799 23176 23175 0 -1 0 18119 0 1 0 101447 86 0 0 25 0 11 0 539418696 859435008 37222 4294967295 134512640 134569956 3221224400 3221214784 1131450500 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209823 37222 13073 16 0 209807 0
vsize: 839292
[startup+1100.51 s]
Raw data (loadavg): 1.00 1.01 0.91 2/64 13867
Raw data (stat): 13800 (java) R 13799 23176 23175 0 -1 0 18119 0 1 0 102438 87 0 0 25 0 11 0 539418696 859435008 37222 4294967295 134512640 134569956 3221224400 3221214784 1131451631 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209823 37222 13073 16 0 209807 0
vsize: 839292
[startup+1110.52 s]
Raw data (loadavg): 1.00 1.01 0.91 2/64 13867
Raw data (stat): 13800 (java) R 13799 23176 23175 0 -1 0 18119 0 1 0 103431 88 0 0 25 0 11 0 539418696 859435008 37225 4294967295 134512640 134569956 3221224400 3221214680 1131254536 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209823 37225 13073 16 0 209807 0
vsize: 839292
[startup+1120.52 s]
Raw data (loadavg): 1.00 1.01 0.91 2/64 13867
Raw data (stat): 13800 (java) R 13799 23176 23175 0 -1 0 18119 0 1 0 104424 88 0 0 25 0 11 0 539418696 859435008 37226 4294967295 134512640 134569956 3221224400 3221214784 1131451413 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209823 37226 13073 16 0 209807 0
vsize: 839292
[startup+1130.52 s]
Raw data (loadavg): 1.00 1.01 0.91 2/64 13867
Raw data (stat): 13800 (java) R 13799 23176 23175 0 -1 0 18119 0 1 0 105420 89 0 0 25 0 11 0 539418696 859435008 37227 4294967295 134512640 134569956 3221224400 3221214664 1131680068 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209823 37227 13073 16 0 209807 0
vsize: 839292
[startup+1140.52 s]
Raw data (loadavg): 1.00 1.01 0.91 2/64 13867
Raw data (stat): 13800 (java) R 13799 23176 23175 0 -1 0 18119 0 1 0 106412 89 0 0 25 0 11 0 539418696 859435008 37228 4294967295 134512640 134569956 3221224400 3221214784 1131450409 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209823 37228 13073 16 0 209807 0
vsize: 839292
[startup+1150.52 s]
Raw data (loadavg): 1.00 1.01 0.91 2/64 13867
Raw data (stat): 13800 (java) R 13799 23176 23175 0 -1 0 18119 0 1 0 107403 89 0 0 25 0 11 0 539418696 859435008 37230 4294967295 134512640 134569956 3221224400 3221214784 1131451443 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209823 37230 13073 16 0 209807 0
vsize: 839292
[startup+1160.52 s]
Raw data (loadavg): 1.00 1.01 0.91 2/64 13867
Raw data (stat): 13800 (java) R 13799 23176 23175 0 -1 0 18119 0 1 0 108394 90 0 0 25 0 11 0 539418696 859435008 37231 4294967295 134512640 134569956 3221224400 3221214784 1131451575 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209823 37231 13073 16 0 209807 0
vsize: 839292
[startup+1170.52 s]
Raw data (loadavg): 1.00 1.01 0.91 2/64 13867
Raw data (stat): 13800 (java) R 13799 23176 23175 0 -1 0 18119 0 1 0 109385 90 0 0 25 0 11 0 539418696 859435008 37254 4294967295 134512640 134569956 3221224400 3221214780 1131254735 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209823 37254 13073 16 0 209807 0
vsize: 839292
[startup+1180.53 s]
Raw data (loadavg): 1.00 1.01 0.91 2/64 13867
Raw data (stat): 13800 (java) R 13799 23176 23175 0 -1 0 18119 0 1 0 110378 90 0 0 25 0 11 0 539418696 859435008 37254 4294967295 134512640 134569956 3221224400 3221214784 1131452546 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209823 37254 13073 16 0 209807 0
vsize: 839292
[startup+1190.53 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 13867
Raw data (stat): 13800 (java) R 13799 23176 23175 0 -1 0 18119 0 1 0 111369 91 0 0 25 0 11 0 539418696 859435008 37257 4294967295 134512640 134569956 3221224400 3221214784 1131450416 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209823 37257 13073 16 0 209807 0
vsize: 839292
[startup+1200.54 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 13867
Raw data (stat): 13800 (java) R 13799 23176 23175 0 -1 0 18119 0 1 0 112361 91 0 0 25 0 11 0 539418696 859435008 37259 4294967295 134512640 134569956 3221224400 3221214784 1131452546 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209823 37259 13073 16 0 209807 0
vsize: 839292
[startup+1210.55 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 13867
Raw data (stat): 13800 (java) R 13799 23176 23175 0 -1 0 18119 0 1 0 113352 91 0 0 25 0 11 0 539418696 859435008 37264 4294967295 134512640 134569956 3221224400 3221214680 1131254003 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209823 37264 13073 16 0 209807 0
vsize: 839292
[startup+1220.54 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 13867
Raw data (stat): 13800 (java) R 13799 23176 23175 0 -1 0 18119 0 1 0 114346 92 0 0 25 0 11 0 539418696 859435008 37266 4294967295 134512640 134569956 3221224400 3221214784 1131450207 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209823 37266 13073 16 0 209807 0
vsize: 839292
[startup+1230.55 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 13867
Raw data (stat): 13800 (java) R 13799 23176 23175 0 -1 0 18119 0 1 0 115336 92 0 0 25 0 11 0 539418696 859435008 37267 4294967295 134512640 134569956 3221224400 3221214680 1131253911 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209823 37267 13073 16 0 209807 0
vsize: 839292
[startup+1240.55 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 13867
Raw data (stat): 13800 (java) R 13799 23176 23175 0 -1 0 18119 0 1 0 116327 93 0 0 25 0 11 0 539418696 859435008 37270 4294967295 134512640 134569956 3221224400 3221214680 1131253884 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209823 37270 13073 16 0 209807 0
vsize: 839292
[startup+1250.55 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 13867
Raw data (stat): 13800 (java) R 13799 23176 23175 0 -1 0 18119 0 1 0 117315 93 0 0 25 0 11 0 539418696 859435008 37293 4294967295 134512640 134569956 3221224400 3221214680 1131254476 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209823 37293 13073 16 0 209807 0
vsize: 839292
[startup+1260.55 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 13867
Raw data (stat): 13800 (java) R 13799 23176 23175 0 -1 0 18119 0 1 0 118305 93 0 0 25 0 11 0 539418696 859435008 37295 4294967295 134512640 134569956 3221224400 3221214680 1131253911 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209823 37295 13073 16 0 209807 0
vsize: 839292
[startup+1270.55 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 13867
Raw data (stat): 13800 (java) R 13799 23176 23175 0 -1 0 18119 0 1 0 119294 94 0 0 25 0 11 0 539418696 859435008 37296 4294967295 134512640 134569956 3221224400 3221214784 1131450477 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209823 37296 13073 16 0 209807 0
vsize: 839292
[startup+1280.55 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 13867
Raw data (stat): 13800 (java) S 13799 23176 23175 0 -1 0 18119 0 1 0 120283 95 0 0 25 0 11 0 539418696 859435008 37301 4294967295 134512640 134569956 3221224400 3221213376 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209823 37301 13073 16 0 209807 0
vsize: 839292
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1280.69 s]
Raw data (loadavg): 1.00 1.00 0.91 1/54 13869
Raw data (stat): 13800 (java) Z 13799 23176 23175 0 -1 1036 18119 33562 1 1 120288 102 9374 105 25 0 1 0 539418696 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): 1280.69
CPU time (s): 1298.71
CPU user time (s): 1296.64
CPU system time (s): 2.07568
CPU usage (%): 101.407
Max. virtual memory (Kb): 846448
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####