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/unibo/normalized-mps-v2-20-10-trento1.opb
MD5SUM	e84e1f1ad995b93190fbcfcc22f676bd
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	44575
Biggest coefficient in the objective function	536870912000000000000
Number of bits for the biggest coefficient in the objective function	69
Sum of the numbers in the objective function	3578049115531220877312
Number of bits of the sum of numbers in the objective function	72
Biggest number in a constraint	536870912000000000000
Number of bits of the biggest number in a constraint	69
Biggest sum of numbers in a constraint	3578151515531220877312
Number of bits of the biggest sum of numbers	72
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.407937
Number of variables	44575
Total number of constraints	7680
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	6416
Number of constraints which are nor clauses,nor cardinality constraints	1264
Minimum length of a constraint	1
Maximum length of a constraint	44575
Trace number 20418

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        680880 kB
Buffers:         25140 kB
Cached:         304416 kB
SwapCached:        516 kB
Active:          45240 kB
Inactive:       286316 kB
HighTotal:      131008 kB
HighFree:        15540 kB
LowTotal:       903652 kB
LowFree:        665340 kB
SwapTotal:     2097892 kB
SwapFree:      2096480 kB
Dirty:               4 kB
Writeback:           0 kB
Mapped:           5116 kB
Slab:            16468 kB
Committed_AS:    63596 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-21 21:13:08 (client local time) WITH STATUS 143 IN 1264.32 SECONDS
stats: 15297 7 1264.32 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc20/normalized-mps-v2-20-10-trento1.opb
c reading problem 
c [nbvar=44575]
c [nbconstr=7680]
c time 576.279
c #vars     44575
c #clauses  2513
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.75 0.94 0.90 2/54 12416
Raw data (stat): 12416 (runsolver) R 12415 27565 27564 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 548103673 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.0004 s]
Raw data (loadavg): 0.79 0.94 0.90 2/63 12425
Raw data (stat): 12416 (java) R 12415 27565 27564 0 -1 0 17981 0 1 0 891 38 0 0 25 0 10 0 548103673 853204992 19076 4294967295 134512640 134569956 3221224400 3221214700 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208302 19076 13073 16 0 208286 0
vsize: 833208
[startup+20.001 s]
Raw data (loadavg): 0.82 0.94 0.91 2/63 12425
Raw data (stat): 12416 (java) S 12415 27565 27564 0 -1 0 17981 0 1 0 1783 39 0 0 25 0 10 0 548103673 853856256 19681 4294967295 134512640 134569956 3221224400 3221213424 1073952481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208461 19681 13073 16 0 208445 0
vsize: 833844
[startup+30.0027 s]
Raw data (loadavg): 0.85 0.94 0.91 2/63 12425
Raw data (stat): 12416 (java) R 12415 27565 27564 0 -1 0 17981 0 1 0 2682 39 0 0 25 0 10 0 548103673 853856256 20112 4294967295 134512640 134569956 3221224400 3221214824 1131225286 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208461 20112 13073 16 0 208445 0
vsize: 833844
[startup+40.0025 s]
Raw data (loadavg): 0.87 0.94 0.91 2/63 12425
Raw data (stat): 12416 (java) R 12415 27565 27564 0 -1 0 17981 0 1 0 3611 40 0 0 25 0 10 0 548103673 853856256 20343 4294967295 134512640 134569956 3221224400 3221214848 1131209222 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208461 20343 13073 16 0 208445 0
vsize: 833844
[startup+50.0034 s]
Raw data (loadavg): 0.89 0.94 0.91 2/63 12425
Raw data (stat): 12416 (java) R 12415 27565 27564 0 -1 0 17981 0 1 0 4539 41 0 0 25 0 10 0 548103673 853856256 20464 4294967295 134512640 134569956 3221224400 3221214812 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208461 20464 13073 16 0 208445 0
vsize: 833844
[startup+60.0036 s]
Raw data (loadavg): 0.91 0.94 0.91 2/63 12425
Raw data (stat): 12416 (java) R 12415 27565 27564 0 -1 0 17981 0 1 0 5471 41 0 0 25 0 10 0 548103673 853856256 20559 4294967295 134512640 134569956 3221224400 3221214716 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208461 20559 13073 16 0 208445 0
vsize: 833844
[startup+70.0048 s]
Raw data (loadavg): 1.01 0.96 0.91 2/63 12425
Raw data (stat): 12416 (java) R 12415 27565 27564 0 -1 0 17981 0 1 0 6411 42 0 0 24 0 10 0 548103673 853590016 20713 4294967295 134512640 134569956 3221224400 3221214232 1076461002 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208396 20713 13073 16 0 208380 0
vsize: 833584
[startup+80.0056 s]
Raw data (loadavg): 1.01 0.96 0.91 2/63 12425
Raw data (stat): 12416 (java) R 12415 27565 27564 0 -1 0 17981 0 1 0 7358 42 0 0 25 0 10 0 548103673 853590016 20788 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208396 20788 13073 16 0 208380 0
vsize: 833584
[startup+90.0059 s]
Raw data (loadavg): 1.00 0.96 0.91 2/63 12425
Raw data (stat): 12416 (java) R 12415 27565 27564 0 -1 0 17981 0 1 0 8307 42 0 0 25 0 10 0 548103673 853590016 20857 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208396 20857 13073 16 0 208380 0
vsize: 833584
[startup+100.006 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 12425
Raw data (stat): 12416 (java) R 12415 27565 27564 0 -1 0 17981 0 1 0 9253 43 0 0 25 0 10 0 548103673 853590016 20925 4294967295 134512640 134569956 3221224400 3221214804 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208396 20925 13073 16 0 208380 0
vsize: 833584
[startup+110.007 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 12425
Raw data (stat): 12416 (java) R 12415 27565 27564 0 -1 0 17981 0 1 0 10203 43 0 0 25 0 10 0 548103673 853590016 20985 4294967295 134512640 134569956 3221224400 3221214804 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208396 20985 13073 16 0 208380 0
vsize: 833584
[startup+120.009 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 12425
Raw data (stat): 12416 (java) R 12415 27565 27564 0 -1 0 17981 0 1 0 11152 43 0 0 25 0 10 0 548103673 853590016 21042 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208396 21042 13073 16 0 208380 0
vsize: 833584
[startup+130.009 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 12425
Raw data (stat): 12416 (java) R 12415 27565 27564 0 -1 0 17981 0 1 0 12098 43 0 0 24 0 10 0 548103673 853590016 21100 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208396 21100 13073 16 0 208380 0
vsize: 833584
[startup+140.009 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 12425
Raw data (stat): 12416 (java) R 12415 27565 27564 0 -1 0 17981 0 1 0 13048 44 0 0 25 0 10 0 548103673 853590016 21151 4294967295 134512640 134569956 3221224400 3221214812 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208396 21151 13073 16 0 208380 0
vsize: 833584
[startup+150.025 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 12425
Raw data (stat): 12416 (java) R 12415 27565 27564 0 -1 0 17981 0 1 0 13998 44 0 0 25 0 10 0 548103673 853590016 21201 4294967295 134512640 134569956 3221224400 3221214804 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208396 21201 13073 16 0 208380 0
vsize: 833584
[startup+160.024 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 12425
Raw data (stat): 12416 (java) R 12415 27565 27564 0 -1 0 17981 0 1 0 14943 45 0 0 25 0 10 0 548103673 853590016 21252 4294967295 134512640 134569956 3221224400 3221214812 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208396 21252 13073 16 0 208380 0
vsize: 833584
[startup+170.025 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 12425
Raw data (stat): 12416 (java) R 12415 27565 27564 0 -1 0 17981 0 1 0 15884 45 0 0 25 0 10 0 548103673 853590016 21298 4294967295 134512640 134569956 3221224400 3221214264 1077558368 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208396 21298 13073 16 0 208380 0
vsize: 833584
[startup+180.032 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 12425
Raw data (stat): 12416 (java) R 12415 27565 27564 0 -1 0 17981 0 1 0 16810 45 0 0 25 0 10 0 548103673 853590016 21343 4294967295 134512640 134569956 3221224400 3221214264 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208396 21343 13073 16 0 208380 0
vsize: 833584
[startup+190.031 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 12425
Raw data (stat): 12416 (java) R 12415 27565 27564 0 -1 0 17981 0 1 0 17742 46 0 0 25 0 10 0 548103673 853590016 21642 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208396 21642 13073 16 0 208380 0
vsize: 833584
[startup+200.032 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 12425
Raw data (stat): 12416 (java) R 12415 27565 27564 0 -1 0 17981 0 1 0 18687 46 0 0 25 0 10 0 548103673 853590016 21684 4294967295 134512640 134569956 3221224400 3221214264 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208396 21684 13073 16 0 208380 0
vsize: 833584
[startup+210.032 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 12425
Raw data (stat): 12416 (java) R 12415 27565 27564 0 -1 0 17981 0 1 0 19631 47 0 0 25 0 10 0 548103673 853590016 21724 4294967295 134512640 134569956 3221224400 3221214804 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208396 21724 13073 16 0 208380 0
vsize: 833584
[startup+220.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 12425
Raw data (stat): 12416 (java) R 12415 27565 27564 0 -1 0 17981 0 1 0 20572 47 0 0 24 0 10 0 548103673 853590016 21767 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208396 21767 13073 16 0 208380 0
vsize: 833584
[startup+230.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 12425
Raw data (stat): 12416 (java) R 12415 27565 27564 0 -1 0 17981 0 1 0 21516 47 0 0 25 0 10 0 548103673 853590016 21806 4294967295 134512640 134569956 3221224400 3221214264 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208396 21806 13073 16 0 208380 0
vsize: 833584
[startup+240.044 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 12425
Raw data (stat): 12416 (java) R 12415 27565 27564 0 -1 0 17981 0 1 0 22460 48 0 0 25 0 10 0 548103673 853590016 21844 4294967295 134512640 134569956 3221224400 3221214812 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208396 21844 13073 16 0 208380 0
vsize: 833584
[startup+250.044 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 12425
Raw data (stat): 12416 (java) R 12415 27565 27564 0 -1 0 17981 0 1 0 23403 48 0 0 25 0 10 0 548103673 853590016 21881 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208396 21881 13073 16 0 208380 0
vsize: 833584
[startup+260.045 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 12425
Raw data (stat): 12416 (java) R 12415 27565 27564 0 -1 0 17981 0 1 0 24345 48 0 0 25 0 10 0 548103673 853590016 21917 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208396 21917 13073 16 0 208380 0
vsize: 833584
[startup+270.046 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 12425
Raw data (stat): 12416 (java) R 12415 27565 27564 0 -1 0 17981 0 1 0 25284 48 0 0 24 0 10 0 548103673 853590016 21954 4294967295 134512640 134569956 3221224400 3221214804 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208396 21954 13073 16 0 208380 0
vsize: 833584
[startup+280.046 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 12425
Raw data (stat): 12416 (java) R 12415 27565 27564 0 -1 0 17981 0 1 0 26225 49 0 0 25 0 10 0 548103673 853590016 21989 4294967295 134512640 134569956 3221224400 3221214184 1076874552 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208396 21989 13073 16 0 208380 0
vsize: 833584
[startup+290.051 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 12425
Raw data (stat): 12416 (java) R 12415 27565 27564 0 -1 0 17981 0 1 0 27167 49 0 0 25 0 10 0 548103673 853590016 22023 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208396 22023 13073 16 0 208380 0
vsize: 833584
[startup+300.055 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 12425
Raw data (stat): 12416 (java) R 12415 27565 27564 0 -1 0 17981 0 1 0 28108 50 0 0 25 0 10 0 548103673 853590016 22056 4294967295 134512640 134569956 3221224400 3221214768 1131150913 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208396 22056 13073 16 0 208380 0
vsize: 833584
[startup+310.055 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 12425
Raw data (stat): 12416 (java) R 12415 27565 27564 0 -1 0 17981 0 1 0 29048 50 0 0 25 0 10 0 548103673 853590016 22089 4294967295 134512640 134569956 3221224400 3221214804 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208396 22089 13073 16 0 208380 0
vsize: 833584
[startup+320.056 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 12425
Raw data (stat): 12416 (java) R 12415 27565 27564 0 -1 0 17981 0 1 0 29987 51 0 0 25 0 10 0 548103673 853590016 22121 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208396 22121 13073 16 0 208380 0
vsize: 833584
[startup+330.057 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 12425
Raw data (stat): 12416 (java) R 12415 27565 27564 0 -1 0 17981 0 1 0 30927 51 0 0 25 0 10 0 548103673 853590016 22153 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208396 22153 13073 16 0 208380 0
vsize: 833584
[startup+340.058 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 12425
Raw data (stat): 12416 (java) R 12415 27565 27564 0 -1 0 17981 0 1 0 31862 52 0 0 24 0 10 0 548103673 853590016 22187 4294967295 134512640 134569956 3221224400 3221214264 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208396 22187 13073 16 0 208380 0
vsize: 833584
[startup+350.059 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 12425
Raw data (stat): 12416 (java) R 12415 27565 27564 0 -1 0 17981 0 1 0 32802 52 0 0 24 0 10 0 548103673 853590016 22218 4294967295 134512640 134569956 3221224400 3221214812 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208396 22218 13073 16 0 208380 0
vsize: 833584
[startup+360.06 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 12425
Raw data (stat): 12416 (java) R 12415 27565 27564 0 -1 0 17981 0 1 0 33740 53 0 0 25 0 10 0 548103673 853590016 22250 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208396 22250 13073 16 0 208380 0
vsize: 833584
[startup+370.062 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 12425
Raw data (stat): 12416 (java) R 12415 27565 27564 0 -1 0 17981 0 1 0 34678 53 0 0 25 0 10 0 548103673 853590016 22281 4294967295 134512640 134569956 3221224400 3221214264 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208396 22281 13073 16 0 208380 0
vsize: 833584
[startup+380.062 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 12425
Raw data (stat): 12416 (java) R 12415 27565 27564 0 -1 0 17981 0 1 0 35615 54 0 0 25 0 10 0 548103673 853590016 22311 4294967295 134512640 134569956 3221224400 3221214264 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208396 22311 13073 16 0 208380 0
vsize: 833584
[startup+390.063 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 12425
Raw data (stat): 12416 (java) R 12415 27565 27564 0 -1 0 17981 0 1 0 36552 54 0 0 18 0 10 0 548103673 853590016 22340 4294967295 134512640 134569956 3221224400 3221214264 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208396 22340 13073 16 0 208380 0
vsize: 833584
[startup+400.071 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 12425
Raw data (stat): 12416 (java) R 12415 27565 27564 0 -1 0 17981 0 1 0 37489 55 0 0 25 0 10 0 548103673 853590016 22369 4294967295 134512640 134569956 3221224400 3221214776 1131045318 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208396 22369 13073 16 0 208380 0
vsize: 833584
[startup+410.071 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 12425
Raw data (stat): 12416 (java) R 12415 27565 27564 0 -1 0 17981 0 1 0 38426 55 0 0 25 0 10 0 548103673 853590016 22398 4294967295 134512640 134569956 3221224400 3221214280 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208396 22398 13073 16 0 208380 0
vsize: 833584
[startup+420.073 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 12425
Raw data (stat): 12416 (java) R 12415 27565 27564 0 -1 0 17981 0 1 0 39361 55 0 0 25 0 10 0 548103673 853590016 22427 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208396 22427 13073 16 0 208380 0
vsize: 833584
[startup+430.074 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 12425
Raw data (stat): 12416 (java) R 12415 27565 27564 0 -1 0 17981 0 1 0 40296 55 0 0 25 0 10 0 548103673 853590016 22455 4294967295 134512640 134569956 3221224400 3221214264 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208396 22455 13073 16 0 208380 0
vsize: 833584
[startup+440.074 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 12425
Raw data (stat): 12416 (java) R 12415 27565 27564 0 -1 0 17981 0 1 0 41230 56 0 0 25 0 10 0 548103673 853590016 22482 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208396 22482 13073 16 0 208380 0
vsize: 833584
[startup+450.075 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 12425
Raw data (stat): 12416 (java) R 12415 27565 27564 0 -1 0 17981 0 1 0 42165 56 0 0 25 0 10 0 548103673 853590016 22510 4294967295 134512640 134569956 3221224400 3221214264 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208396 22510 13073 16 0 208380 0
vsize: 833584
[startup+460.075 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 12425
Raw data (stat): 12416 (java) R 12415 27565 27564 0 -1 0 17981 0 1 0 43099 57 0 0 25 0 10 0 548103673 853590016 22537 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208396 22537 13073 16 0 208380 0
vsize: 833584
[startup+470.077 s]
Raw data (loadavg): 1.08 0.99 0.92 3/66 12463
Raw data (stat): 12416 (java) R 12415 27565 27564 0 -1 0 17981 0 1 0 44029 59 0 0 25 0 10 0 548103673 853590016 22564 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208396 22564 13073 16 0 208380 0
vsize: 833584
[startup+480.077 s]
Raw data (loadavg): 1.07 0.99 0.92 2/63 12478
Raw data (stat): 12416 (java) R 12415 27565 27564 0 -1 0 17981 0 1 0 44957 63 0 0 25 0 10 0 548103673 853590016 22588 4294967295 134512640 134569956 3221224400 3221214264 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208396 22588 13073 16 0 208380 0
vsize: 833584
[startup+490.078 s]
Raw data (loadavg): 1.06 0.99 0.92 2/63 12478
Raw data (stat): 12416 (java) R 12415 27565 27564 0 -1 0 17981 0 1 0 45889 63 0 0 25 0 10 0 548103673 853590016 22615 4294967295 134512640 134569956 3221224400 3221214804 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208396 22615 13073 16 0 208380 0
vsize: 833584
[startup+500.078 s]
Raw data (loadavg): 1.05 0.99 0.92 2/63 12478
Raw data (stat): 12416 (java) R 12415 27565 27564 0 -1 0 17981 0 1 0 46821 64 0 0 25 0 10 0 548103673 853590016 22641 4294967295 134512640 134569956 3221224400 3221214804 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208396 22641 13073 16 0 208380 0
vsize: 833584
[startup+510.079 s]
Raw data (loadavg): 1.04 0.99 0.92 2/63 12478
Raw data (stat): 12416 (java) R 12415 27565 27564 0 -1 0 17981 0 1 0 47752 64 0 0 25 0 10 0 548103673 853590016 22666 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208396 22666 13073 16 0 208380 0
vsize: 833584
[startup+520.08 s]
Raw data (loadavg): 1.03 0.99 0.92 2/63 12478
Raw data (stat): 12416 (java) R 12415 27565 27564 0 -1 0 17981 0 1 0 48682 64 0 0 25 0 10 0 548103673 853590016 22692 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208396 22692 13073 16 0 208380 0
vsize: 833584
[startup+530.08 s]
Raw data (loadavg): 1.03 0.99 0.92 2/63 12478
Raw data (stat): 12416 (java) R 12415 27565 27564 0 -1 0 17981 0 1 0 49612 65 0 0 25 0 10 0 548103673 853590016 22717 4294967295 134512640 134569956 3221224400 3221214264 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208396 22717 13073 16 0 208380 0
vsize: 833584
[startup+540.085 s]
Raw data (loadavg): 1.02 0.99 0.92 2/63 12480
Raw data (stat): 12416 (java) R 12415 27565 27564 0 -1 0 17981 0 1 0 50542 65 0 0 25 0 10 0 548103673 853590016 22742 4294967295 134512640 134569956 3221224400 3221214804 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208396 22742 13073 16 0 208380 0
vsize: 833584
[startup+550.088 s]
Raw data (loadavg): 1.02 0.99 0.92 2/63 12480
Raw data (stat): 12416 (java) R 12415 27565 27564 0 -1 0 17981 0 1 0 51471 66 0 0 24 0 10 0 548103673 853590016 22767 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208396 22767 13073 16 0 208380 0
vsize: 833584
[startup+560.088 s]
Raw data (loadavg): 1.16 1.02 0.93 2/63 12480
Raw data (stat): 12416 (java) R 12415 27565 27564 0 -1 0 18001 0 1 0 52291 66 0 0 25 0 10 0 548103673 866299904 25958 4294967295 134512640 134569956 3221224400 3221214360 1131298418 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211499 25958 13073 16 0 211483 0
vsize: 845996
[startup+570.093 s]
Raw data (loadavg): 1.14 1.02 0.93 2/63 12480
Raw data (stat): 12416 (java) S 12415 27565 27564 0 -1 0 18003 0 1 0 53259 68 0 0 25 0 10 0 548103673 859942912 25748 4294967295 134512640 134569956 3221224400 3221213160 1073952481 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209947 25750 13073 16 0 209931 0
vsize: 839788
[startup+580.196 s]
Raw data (loadavg): 1.12 1.02 0.93 2/63 12480
Raw data (stat): 12416 (java) R 12415 27565 27564 0 -1 0 18026 0 1 0 54154 70 0 0 25 0 10 0 548103673 859942912 31839 4294967295 134512640 134569956 3221224400 3221214824 1131523224 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209947 31839 13073 16 0 209931 0
vsize: 839788
[startup+590.202 s]
Raw data (loadavg): 1.10 1.02 0.93 2/63 12480
Raw data (stat): 12416 (java) R 12415 27565 27564 0 -1 0 18026 0 1 0 55089 70 0 0 25 0 10 0 548103673 859942912 31839 4294967295 134512640 134569956 3221224400 3221214736 1131354034 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209947 31839 13073 16 0 209931 0
vsize: 839788
[startup+600.212 s]
Raw data (loadavg): 1.08 1.02 0.93 2/63 12480
Raw data (stat): 12416 (java) R 12415 27565 27564 0 -1 0 18026 0 1 0 56023 70 0 0 25 0 10 0 548103673 859942912 31840 4294967295 134512640 134569956 3221224400 3221214720 1131378239 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209947 31840 13073 16 0 209931 0
vsize: 839788
[startup+610.212 s]
Raw data (loadavg): 1.07 1.02 0.93 2/63 12480
Raw data (stat): 12416 (java) R 12415 27565 27564 0 -1 0 18026 0 1 0 56948 70 0 0 25 0 10 0 548103673 859942912 31840 4294967295 134512640 134569956 3221224400 3221214736 1131354034 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209947 31840 13073 16 0 209931 0
vsize: 839788
[startup+620.214 s]
Raw data (loadavg): 1.06 1.01 0.93 2/63 12480
Raw data (stat): 12416 (java) R 12415 27565 27564 0 -1 0 18026 0 1 0 57904 70 0 0 24 0 10 0 548103673 859942912 32313 4294967295 134512640 134569956 3221224400 3221214824 1131520969 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209947 32313 13073 16 0 209931 0
vsize: 839788
[startup+630.222 s]
Raw data (loadavg): 1.05 1.01 0.93 2/63 12480
Raw data (stat): 12416 (java) R 12415 27565 27564 0 -1 0 18026 0 1 0 58897 70 0 0 25 0 10 0 548103673 859942912 32316 4294967295 134512640 134569956 3221224400 3221214824 1131524421 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209947 32316 13073 16 0 209931 0
vsize: 839788
[startup+640.222 s]
Raw data (loadavg): 1.04 1.01 0.93 2/63 12480
Raw data (stat): 12416 (java) R 12415 27565 27564 0 -1 0 18026 0 1 0 59889 71 0 0 25 0 10 0 548103673 859942912 32319 4294967295 134512640 134569956 3221224400 3221214776 1131350802 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209947 32319 13073 16 0 209931 0
vsize: 839788
[startup+650.222 s]
Raw data (loadavg): 1.03 1.01 0.93 2/63 12480
Raw data (stat): 12416 (java) R 12415 27565 27564 0 -1 0 18026 0 1 0 60882 71 0 0 25 0 10 0 548103673 859942912 32324 4294967295 134512640 134569956 3221224400 3221214808 1131524425 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209947 32324 13073 16 0 209931 0
vsize: 839788
[startup+660.223 s]
Raw data (loadavg): 1.03 1.01 0.93 2/63 12480
Raw data (stat): 12416 (java) R 12415 27565 27564 0 -1 0 18026 0 1 0 61874 71 0 0 25 0 10 0 548103673 859942912 32329 4294967295 134512640 134569956 3221224400 3221214720 1131354896 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209947 32329 13073 16 0 209931 0
vsize: 839788
[startup+670.223 s]
Raw data (loadavg): 1.02 1.01 0.93 2/64 12481
Raw data (stat): 12416 (java) R 12415 27565 27564 0 -1 0 18032 0 1 0 62862 71 0 0 24 0 11 0 548103673 860471296 32345 4294967295 134512640 134569956 3221224400 3221214688 1131354054 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210076 32345 13073 16 0 210060 0
vsize: 840304
[startup+680.224 s]
Raw data (loadavg): 1.02 1.01 0.93 2/64 12481
Raw data (stat): 12416 (java) R 12415 27565 27564 0 -1 0 18032 0 1 0 63848 72 0 0 25 0 11 0 548103673 860471296 32348 4294967295 134512640 134569956 3221224400 3221214776 1131522464 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210076 32348 13073 16 0 210060 0
vsize: 840304
[startup+690.224 s]
Raw data (loadavg): 1.02 1.01 0.93 2/64 12481
Raw data (stat): 12416 (java) R 12415 27565 27564 0 -1 0 18032 0 1 0 64833 72 0 0 25 0 11 0 548103673 860471296 32352 4294967295 134512640 134569956 3221224400 3221214728 1131349849 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210076 32352 13073 16 0 210060 0
vsize: 840304
[startup+700.225 s]
Raw data (loadavg): 1.01 1.01 0.93 2/64 12481
Raw data (stat): 12416 (java) R 12415 27565 27564 0 -1 0 18032 0 1 0 65817 72 0 0 25 0 11 0 548103673 860471296 32359 4294967295 134512640 134569956 3221224400 3221214776 1131521076 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210076 32359 13073 16 0 210060 0
vsize: 840304
[startup+710.226 s]
Raw data (loadavg): 1.01 1.01 0.93 2/64 12481
Raw data (stat): 12416 (java) R 12415 27565 27564 0 -1 0 18032 0 1 0 66801 72 0 0 24 0 11 0 548103673 860471296 32371 4294967295 134512640 134569956 3221224400 3221214688 1131355477 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210076 32371 13073 16 0 210060 0
vsize: 840304
[startup+720.227 s]
Raw data (loadavg): 1.01 1.00 0.93 2/64 12481
Raw data (stat): 12416 (java) R 12415 27565 27564 0 -1 0 18032 0 1 0 67785 72 0 0 24 0 11 0 548103673 860471296 32393 4294967295 134512640 134569956 3221224400 3221214776 1131523224 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210076 32393 13073 16 0 210060 0
vsize: 840304
[startup+730.228 s]
Raw data (loadavg): 1.01 1.00 0.93 2/64 12481
Raw data (stat): 12416 (java) R 12415 27565 27564 0 -1 0 18032 0 1 0 68770 72 0 0 24 0 11 0 548103673 860471296 32406 4294967295 134512640 134569956 3221224400 3221214688 1131354034 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210076 32406 13073 16 0 210060 0
vsize: 840304
[startup+740.228 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 12481
Raw data (stat): 12416 (java) R 12415 27565 27564 0 -1 0 18032 0 1 0 69755 72 0 0 24 0 11 0 548103673 860471296 32416 4294967295 134512640 134569956 3221224400 3221214776 1131523224 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210076 32416 13073 16 0 210060 0
vsize: 840304
[startup+750.229 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 12481
Raw data (stat): 12416 (java) R 12415 27565 27564 0 -1 0 18032 0 1 0 70739 72 0 0 24 0 11 0 548103673 860471296 32429 4294967295 134512640 134569956 3221224400 3221214768 1131238514 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210076 32429 13073 16 0 210060 0
vsize: 840304
[startup+760.23 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 12481
Raw data (stat): 12416 (java) R 12415 27565 27564 0 -1 0 18032 0 1 0 71723 73 0 0 24 0 11 0 548103673 860471296 32441 4294967295 134512640 134569956 3221224400 3221214728 1131349830 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210076 32441 13073 16 0 210060 0
vsize: 840304
[startup+770.232 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 12481
Raw data (stat): 12416 (java) R 12415 27565 27564 0 -1 0 18032 0 1 0 72707 73 0 0 25 0 11 0 548103673 860471296 32459 4294967295 134512640 134569956 3221224400 3221214776 1131524363 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210076 32459 13073 16 0 210060 0
vsize: 840304
[startup+780.233 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 12481
Raw data (stat): 12416 (java) R 12415 27565 27564 0 -1 0 18032 0 1 0 73692 73 0 0 25 0 11 0 548103673 860471296 32473 4294967295 134512640 134569956 3221224400 3221214776 1131523163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210076 32473 13073 16 0 210060 0
vsize: 840304
[startup+790.233 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 12481
Raw data (stat): 12416 (java) R 12415 27565 27564 0 -1 0 18032 0 1 0 74677 73 0 0 25 0 11 0 548103673 860471296 32488 4294967295 134512640 134569956 3221224400 3221214776 1131523303 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210076 32488 13073 16 0 210060 0
vsize: 840304
[startup+800.234 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 12483
Raw data (stat): 12416 (java) R 12415 27565 27564 0 -1 0 18032 0 1 0 75663 73 0 0 25 0 11 0 548103673 860471296 32503 4294967295 134512640 134569956 3221224400 3221214648 1131044787 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210076 32503 13073 16 0 210060 0
vsize: 840304
[startup+810.235 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 12483
Raw data (stat): 12416 (java) R 12415 27565 27564 0 -1 0 18033 0 1 0 76649 73 0 0 25 0 11 0 548103673 860471296 32519 4294967295 134512640 134569956 3221224400 3221214776 1131524421 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210076 32519 13073 16 0 210060 0
vsize: 840304
[startup+820.235 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 12483
Raw data (stat): 12416 (java) R 12415 27565 27564 0 -1 0 18033 0 1 0 77636 73 0 0 25 0 11 0 548103673 860471296 32532 4294967295 134512640 134569956 3221224400 3221214776 1131521076 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210076 32532 13073 16 0 210060 0
vsize: 840304
[startup+830.236 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 12483
Raw data (stat): 12416 (java) R 12415 27565 27564 0 -1 0 18033 0 1 0 78623 73 0 0 25 0 11 0 548103673 860471296 32542 4294967295 134512640 134569956 3221224400 3221214728 1131349842 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210076 32542 13073 16 0 210060 0
vsize: 840304
[startup+840.236 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 12483
Raw data (stat): 12416 (java) R 12415 27565 27564 0 -1 0 18033 0 1 0 79611 73 0 0 25 0 11 0 548103673 860471296 32554 4294967295 134512640 134569956 3221224400 3221214688 1131354034 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210076 32554 13073 16 0 210060 0
vsize: 840304
[startup+850.236 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 12483
Raw data (stat): 12416 (java) R 12415 27565 27564 0 -1 0 18033 0 1 0 80598 73 0 0 25 0 11 0 548103673 860471296 32569 4294967295 134512640 134569956 3221224400 3221214776 1131522464 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210076 32569 13073 16 0 210060 0
vsize: 840304
[startup+860.237 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 12483
Raw data (stat): 12416 (java) R 12415 27565 27564 0 -1 0 18033 0 1 0 81587 73 0 0 25 0 11 0 548103673 860471296 32580 4294967295 134512640 134569956 3221224400 3221214776 1131520795 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210076 32580 13073 16 0 210060 0
vsize: 840304
[startup+870.238 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 12483
Raw data (stat): 12416 (java) R 12415 27565 27564 0 -1 0 18033 0 1 0 82576 73 0 0 25 0 11 0 548103673 860471296 32591 4294967295 134512640 134569956 3221224400 3221214776 1131522448 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210076 32591 13073 16 0 210060 0
vsize: 840304
[startup+880.238 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 12483
Raw data (stat): 12416 (java) R 12415 27565 27564 0 -1 0 18033 0 1 0 83564 74 0 0 25 0 11 0 548103673 860471296 32606 4294967295 134512640 134569956 3221224400 3221214772 1131353856 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210076 32606 13073 16 0 210060 0
vsize: 840304
[startup+890.239 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 12483
Raw data (stat): 12416 (java) R 12415 27565 27564 0 -1 0 18033 0 1 0 84553 74 0 0 25 0 11 0 548103673 860471296 32615 4294967295 134512640 134569956 3221224400 3221214776 1131521011 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210076 32615 13073 16 0 210060 0
vsize: 840304
[startup+900.24 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 12483
Raw data (stat): 12416 (java) R 12415 27565 27564 0 -1 0 18033 0 1 0 85542 74 0 0 25 0 11 0 548103673 860471296 32626 4294967295 134512640 134569956 3221224400 3221214688 1131354034 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210076 32626 13073 16 0 210060 0
vsize: 840304
[startup+910.241 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 12483
Raw data (stat): 12416 (java) R 12415 27565 27564 0 -1 0 18033 0 1 0 86530 74 0 0 24 0 11 0 548103673 860471296 32641 4294967295 134512640 134569956 3221224400 3221214688 1131354928 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210076 32641 13073 16 0 210060 0
vsize: 840304
[startup+920.246 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 12483
Raw data (stat): 12416 (java) R 12415 27565 27564 0 -1 0 18033 0 1 0 87521 74 0 0 25 0 11 0 548103673 860471296 32650 4294967295 134512640 134569956 3221224400 3221214776 1131522482 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210076 32650 13073 16 0 210060 0
vsize: 840304
[startup+930.261 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 12483
Raw data (stat): 12416 (java) R 12415 27565 27564 0 -1 0 18033 0 1 0 88513 74 0 0 25 0 11 0 548103673 860471296 32660 4294967295 134512640 134569956 3221224400 3221214768 1131238495 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210076 32660 13073 16 0 210060 0
vsize: 840304
[startup+940.262 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 12483
Raw data (stat): 12416 (java) R 12415 27565 27564 0 -1 0 18033 0 1 0 89502 74 0 0 25 0 11 0 548103673 860471296 32670 4294967295 134512640 134569956 3221224400 3221214768 1131238514 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210076 32670 13073 16 0 210060 0
vsize: 840304
[startup+950.263 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 12483
Raw data (stat): 12416 (java) R 12415 27565 27564 0 -1 0 18033 0 1 0 90492 74 0 0 25 0 11 0 548103673 860471296 32680 4294967295 134512640 134569956 3221224400 3221214776 1131523224 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210076 32680 13073 16 0 210060 0
vsize: 840304
[startup+960.265 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 12483
Raw data (stat): 12416 (java) R 12415 27565 27564 0 -1 0 18033 0 1 0 91483 75 0 0 25 0 11 0 548103673 860471296 32692 4294967295 134512640 134569956 3221224400 3221214776 1131520980 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210076 32692 13073 16 0 210060 0
vsize: 840304
[startup+970.266 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 12483
Raw data (stat): 12416 (java) R 12415 27565 27564 0 -1 0 18033 0 1 0 92474 75 0 0 25 0 11 0 548103673 860471296 32699 4294967295 134512640 134569956 3221224400 3221214776 1131521011 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210076 32699 13073 16 0 210060 0
vsize: 840304
[startup+980.267 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 12483
Raw data (stat): 12416 (java) R 12415 27565 27564 0 -1 0 18033 0 1 0 93464 75 0 0 25 0 11 0 548103673 860471296 32707 4294967295 134512640 134569956 3221224400 3221214688 1131354034 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210076 32707 13073 16 0 210060 0
vsize: 840304
[startup+990.269 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 12483
Raw data (stat): 12416 (java) S 12415 27565 27564 0 -1 0 18033 0 1 0 94453 75 0 0 25 0 11 0 548103673 860471296 32715 4294967295 134512640 134569956 3221224400 3221213392 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210076 32715 13073 16 0 210060 0
vsize: 840304
[startup+1000.27 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 12483
Raw data (stat): 12416 (java) R 12415 27565 27564 0 -1 0 18033 0 1 0 95441 76 0 0 25 0 11 0 548103673 860471296 32722 4294967295 134512640 134569956 3221224400 3221214768 1131238464 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210076 32722 13073 16 0 210060 0
vsize: 840304
[startup+1010.27 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 12483
Raw data (stat): 12416 (java) R 12415 27565 27564 0 -1 0 18033 0 1 0 96431 76 0 0 25 0 11 0 548103673 860471296 32733 4294967295 134512640 134569956 3221224400 3221214776 1131522424 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210076 32733 13073 16 0 210060 0
vsize: 840304
[startup+1020.27 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 12483
Raw data (stat): 12416 (java) R 12415 27565 27564 0 -1 0 18033 0 1 0 97421 76 0 0 25 0 11 0 548103673 860471296 32746 4294967295 134512640 134569956 3221224400 3221214776 1131523647 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210076 32746 13073 16 0 210060 0
vsize: 840304
[startup+1030.27 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 12483
Raw data (stat): 12416 (java) R 12415 27565 27564 0 -1 0 18033 0 1 0 98412 76 0 0 25 0 11 0 548103673 860471296 32755 4294967295 134512640 134569956 3221224400 3221214776 1131524382 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210076 32755 13073 16 0 210060 0
vsize: 840304
[startup+1040.27 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 12483
Raw data (stat): 12416 (java) R 12415 27565 27564 0 -1 0 18033 0 1 0 99404 76 0 0 25 0 11 0 548103673 860471296 32763 4294967295 134512640 134569956 3221224400 3221214776 1131524421 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210076 32763 13073 16 0 210060 0
vsize: 840304
[startup+1050.27 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 12483
Raw data (stat): 12416 (java) R 12415 27565 27564 0 -1 0 18033 0 1 0 100397 76 0 0 25 0 11 0 548103673 860471296 32768 4294967295 134512640 134569956 3221224400 3221214688 1131354034 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210076 32768 13073 16 0 210060 0
vsize: 840304
[startup+1060.27 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 12483
Raw data (stat): 12416 (java) R 12415 27565 27564 0 -1 0 18033 0 1 0 101388 76 0 0 25 0 11 0 548103673 860471296 32773 4294967295 134512640 134569956 3221224400 3221214672 1131378986 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210076 32773 13073 16 0 210060 0
vsize: 840304
[startup+1070.28 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 12483
Raw data (stat): 12416 (java) R 12415 27565 27564 0 -1 0 18033 0 1 0 102380 76 0 0 25 0 11 0 548103673 860471296 32779 4294967295 134512640 134569956 3221224400 3221214768 1131238506 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210076 32779 13073 16 0 210060 0
vsize: 840304
[startup+1080.28 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 12483
Raw data (stat): 12416 (java) R 12415 27565 27564 0 -1 0 18033 0 1 0 103371 76 0 0 25 0 11 0 548103673 860471296 32785 4294967295 134512640 134569956 3221224400 3221214768 1131238503 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210076 32785 13073 16 0 210060 0
vsize: 840304
[startup+1090.28 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 12483
Raw data (stat): 12416 (java) R 12415 27565 27564 0 -1 0 18033 0 1 0 104364 76 0 0 25 0 11 0 548103673 860471296 32792 4294967295 134512640 134569956 3221224400 3221214688 1131354034 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210076 32792 13073 16 0 210060 0
vsize: 840304
[startup+1100.28 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 12483
Raw data (stat): 12416 (java) R 12415 27565 27564 0 -1 0 18033 0 1 0 105356 76 0 0 25 0 11 0 548103673 860471296 32798 4294967295 134512640 134569956 3221224400 3221214776 1131520992 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210076 32798 13073 16 0 210060 0
vsize: 840304
[startup+1110.28 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 12483
Raw data (stat): 12416 (java) R 12415 27565 27564 0 -1 0 18033 0 1 0 106348 76 0 0 25 0 11 0 548103673 860471296 32803 4294967295 134512640 134569956 3221224400 3221214776 1131521011 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210076 32803 13073 16 0 210060 0
vsize: 840304
[startup+1120.28 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 12483
Raw data (stat): 12416 (java) R 12415 27565 27564 0 -1 0 18033 0 1 0 107340 76 0 0 25 0 11 0 548103673 860471296 32808 4294967295 134512640 134569956 3221224400 3221214776 1131520953 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210076 32808 13073 16 0 210060 0
vsize: 840304
[startup+1130.28 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 12483
Raw data (stat): 12416 (java) R 12415 27565 27564 0 -1 0 18033 0 1 0 108332 77 0 0 25 0 11 0 548103673 860471296 32814 4294967295 134512640 134569956 3221224400 3221214776 1131523224 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210076 32814 13073 16 0 210060 0
vsize: 840304
[startup+1140.28 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 12483
Raw data (stat): 12416 (java) R 12415 27565 27564 0 -1 0 18033 0 1 0 109325 77 0 0 25 0 11 0 548103673 860471296 32819 4294967295 134512640 134569956 3221224400 3221214768 1131238506 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210076 32819 13073 16 0 210060 0
vsize: 840304
[startup+1150.28 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 12483
Raw data (stat): 12416 (java) R 12415 27565 27564 0 -1 0 18033 0 1 0 110319 77 0 0 25 0 11 0 548103673 860471296 32823 4294967295 134512640 134569956 3221224400 3221214776 1131521011 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210076 32823 13073 16 0 210060 0
vsize: 840304
[startup+1160.28 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 12483
Raw data (stat): 12416 (java) R 12415 27565 27564 0 -1 0 18033 0 1 0 111313 77 0 0 25 0 11 0 548103673 860471296 32827 4294967295 134512640 134569956 3221224400 3221214688 1131354282 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210076 32827 13073 16 0 210060 0
vsize: 840304
[startup+1170.28 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 12483
Raw data (stat): 12416 (java) R 12415 27565 27564 0 -1 0 18033 0 1 0 112307 77 0 0 25 0 11 0 548103673 860471296 32830 4294967295 134512640 134569956 3221224400 3221214776 1131521011 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210076 32830 13073 16 0 210060 0
vsize: 840304
[startup+1180.28 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 12483
Raw data (stat): 12416 (java) R 12415 27565 27564 0 -1 0 18033 0 1 0 113300 77 0 0 25 0 11 0 548103673 860471296 32834 4294967295 134512640 134569956 3221224400 3221214776 1131523224 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210076 32834 13073 16 0 210060 0
vsize: 840304
[startup+1190.28 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 12483
Raw data (stat): 12416 (java) R 12415 27565 27564 0 -1 0 18033 0 1 0 114292 77 0 0 25 0 11 0 548103673 860471296 32838 4294967295 134512640 134569956 3221224400 3221214688 1131354912 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210076 32838 13073 16 0 210060 0
vsize: 840304
[startup+1200.28 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 12483
Raw data (stat): 12416 (java) R 12415 27565 27564 0 -1 0 18033 0 1 0 115284 77 0 0 25 0 11 0 548103673 860471296 32841 4294967295 134512640 134569956 3221224400 3221214776 1131521011 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210076 32841 13073 16 0 210060 0
vsize: 840304
[startup+1210.28 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 12483
Raw data (stat): 12416 (java) R 12415 27565 27564 0 -1 0 18074 0 1 0 116198 78 0 0 25 0 11 0 548103673 860471296 33064 4294967295 134512640 134569956 3221224400 3221214672 1131570339 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210076 33064 13073 16 0 210060 0
vsize: 840304
[startup+1220.28 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 12483
Raw data (stat): 12416 (java) R 12415 27565 27564 0 -1 0 18074 0 1 0 117182 78 0 0 25 0 11 0 548103673 860471296 33068 4294967295 134512640 134569956 3221224400 3221214788 1080203719 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210076 33068 13073 16 0 210060 0
vsize: 840304
[startup+1230.28 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 12483
Raw data (stat): 12416 (java) R 12415 27565 27564 0 -1 0 18074 0 1 0 118165 78 0 0 25 0 11 0 548103673 860471296 33073 4294967295 134512640 134569956 3221224400 3221214720 1131582991 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210076 33073 13073 16 0 210060 0
vsize: 840304
[startup+1240.28 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 12483
Raw data (stat): 12416 (java) R 12415 27565 27564 0 -1 0 18074 0 1 0 119151 79 0 0 24 0 11 0 548103673 860471296 33077 4294967295 134512640 134569956 3221224400 3221214704 1131512495 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210076 33077 13073 16 0 210060 0
vsize: 840304
[startup+1250.28 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 12483
Raw data (stat): 12416 (java) R 12415 27565 27564 0 -1 0 18074 0 1 0 120142 79 0 0 25 0 11 0 548103673 860471296 33077 4294967295 134512640 134569956 3221224400 3221214384 1074489757 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210076 33077 13073 16 0 210060 0
vsize: 840304
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1250.38 s]
Raw data (loadavg): 1.00 1.00 0.93 1/54 12485
Raw data (stat): 12416 (java) Z 12415 27565 27564 0 -1 1036 18074 22773 1 2 120145 85 6128 71 25 0 1 0 548103673 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1250.38
CPU time (s): 1264.32
CPU user time (s): 1262.75
CPU system time (s): 1.57276
CPU usage (%): 101.115
Max. virtual memory (Kb): 845996
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####