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/web/uclid_pb_benchmarks/normalized-ooo.tag14.ucl.opb
MD5SUM	e4be8a88d340bbbbfb27e034f74a6524
Bench Category	no optimization function (SAT)
Has Objective Function	NO
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	0
Biggest coefficient in the objective function	0
Number of bits for the biggest coefficient in the objective function	0
Sum of the numbers in the objective function	0
Number of bits of the sum of numbers in the objective function	0
Biggest number in a constraint	65
Number of bits of the biggest number in a constraint	7
Biggest sum of numbers in a constraint	254
Number of bits of the biggest sum of numbers	8
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	56.8973
Number of variables	40605
Total number of constraints	118930
Number of constraints which are clauses	117190
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	1740
Minimum length of a constraint	1
Maximum length of a constraint	13
Trace number 4477

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc6 THE 2005-04-13 17:38:57 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=2808 boxname=wulflinc6 idbench=312 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  e4be8a88d340bbbbfb27e034f74a6524  /oldhome/oroussel/tmp/wulflinc6/normalized-ooo.tag14.ucl.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc6/normalized-ooo.tag14.ucl.opb
IDLAUNCH: 2808
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.042
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	: 2
cpu MHz		: 451.042
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        921940 kB
Buffers:         33888 kB
Cached:          56492 kB
SwapCached:       2644 kB
Active:          49872 kB
Inactive:        45956 kB
HighTotal:      131008 kB
HighFree:        70700 kB
LowTotal:       903652 kB
LowFree:        851240 kB
SwapTotal:     2097136 kB
SwapFree:      2094492 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6928 kB
Slab:            11348 kB
Committed_AS:    63480 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-13 18:00:20 (client local time) WITH STATUS 143 IN  SECONDS
stats: 2808 7  143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc6/normalized-ooo.tag14.ucl.opb
c reading problem 
c [nbvar=40605]
c [nbconstr=118930]
c time 712.264
c #vars     40605
c #clauses  118930
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.85 0.97 0.95 2/54 30840
Raw data (stat): 30840 (runsolver) R 30839 29653 29652 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 419593208 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0008 s]
Raw data (loadavg): 0.87 0.97 0.95 2/63 30849
Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18011 0 1 0 826 42 0 0 21 0 10 0 419593208 854921216 20868 4294967295 134512640 134569956 3221224416 3221214560 1080020384 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208721 20868 13073 16 0 208705 0
vsize: 834884
[startup+20.0015 s]
Raw data (loadavg): 0.89 0.97 0.95 2/63 30849
Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18011 0 1 0 1696 43 0 0 19 0 10 0 419593208 854921216 21460 4294967295 134512640 134569956 3221224416 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208721 21460 13073 16 0 208705 0
vsize: 834884
[startup+30.0021 s]
Raw data (loadavg): 0.91 0.97 0.95 2/63 30849
Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18011 0 1 0 2563 43 0 0 21 0 10 0 419593208 854921216 21948 4294967295 134512640 134569956 3221224416 3221214768 1131304515 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208721 21948 13073 16 0 208705 0
vsize: 834884
[startup+40.0022 s]
Raw data (loadavg): 0.92 0.97 0.95 2/63 30849
Raw data (stat): 30840 (java) S 30839 29653 29652 0 -1 0 18011 0 1 0 3425 43 0 0 22 0 10 0 419593208 854921216 22369 4294967295 134512640 134569956 3221224416 3221213544 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208721 22369 13073 16 0 208705 0
vsize: 834884
[startup+50.0029 s]
Raw data (loadavg): 0.93 0.97 0.95 2/63 30849
Raw data (stat): 30840 (java) S 30839 29653 29652 0 -1 0 18011 0 1 0 4287 44 0 0 21 0 10 0 419593208 854921216 22787 4294967295 134512640 134569956 3221224416 3221213800 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208721 22787 13073 16 0 208705 0
vsize: 834884
[startup+60.0047 s]
Raw data (loadavg): 0.94 0.97 0.95 2/63 30849
Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18011 0 1 0 5158 44 0 0 17 0 10 0 419593208 854921216 23128 4294967295 134512640 134569956 3221224416 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208721 23128 13073 16 0 208705 0
vsize: 834884
[startup+70.0058 s]
Raw data (loadavg): 0.95 0.97 0.95 2/63 30849
Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18011 0 1 0 6029 44 0 0 17 0 10 0 419593208 854921216 23405 4294967295 134512640 134569956 3221224416 3221214440 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208721 23405 13073 16 0 208705 0
vsize: 834884
[startup+80.0064 s]
Raw data (loadavg): 0.96 0.97 0.95 2/63 30849
Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18011 0 1 0 6899 45 0 0 19 0 10 0 419593208 854921216 23798 4294967295 134512640 134569956 3221224416 3221214512 1076461342 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208721 23798 13073 16 0 208705 0
vsize: 834884
[startup+90.0101 s]
Raw data (loadavg): 0.96 0.97 0.95 2/63 30849
Raw data (stat): 30840 (java) S 30839 29653 29652 0 -1 0 18011 0 1 0 7773 46 0 0 22 0 10 0 419593208 854921216 24055 4294967295 134512640 134569956 3221224416 3221213544 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208721 24055 13073 16 0 208705 0
vsize: 834884
[startup+100.012 s]
Raw data (loadavg): 0.97 0.97 0.95 2/63 30849
Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18011 0 1 0 8640 46 0 0 16 0 10 0 419593208 854921216 24317 4294967295 134512640 134569956 3221224416 3221214796 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208721 24317 13073 16 0 208705 0
vsize: 834884
[startup+110.013 s]
Raw data (loadavg): 0.97 0.97 0.95 2/63 30849
Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18011 0 1 0 9512 47 0 0 16 0 10 0 419593208 854921216 24633 4294967295 134512640 134569956 3221224416 3221214440 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208721 24633 13073 16 0 208705 0
vsize: 834884
[startup+120.015 s]
Raw data (loadavg): 0.98 0.97 0.95 2/63 30849
Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18011 0 1 0 10401 47 0 0 17 0 10 0 419593208 854921216 24870 4294967295 134512640 134569956 3221224416 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208721 24870 13073 16 0 208705 0
vsize: 834884
[startup+130.015 s]
Raw data (loadavg): 0.98 0.97 0.95 2/63 30849
Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18011 0 1 0 11284 47 0 0 17 0 10 0 419593208 854921216 25114 4294967295 134512640 134569956 3221224416 3221214216 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208721 25114 13073 16 0 208705 0
vsize: 834884
[startup+140.015 s]
Raw data (loadavg): 0.98 0.97 0.95 2/63 30849
Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18011 0 1 0 12170 48 0 0 17 0 10 0 419593208 854921216 25345 4294967295 134512640 134569956 3221224416 3221214512 1074489757 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208721 25345 13073 16 0 208705 0
vsize: 834884
[startup+150.015 s]
Raw data (loadavg): 0.99 0.97 0.95 2/63 30849
Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18011 0 1 0 13049 48 0 0 17 0 10 0 419593208 854921216 25559 4294967295 134512640 134569956 3221224416 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208721 25559 13073 16 0 208705 0
vsize: 834884
[startup+160.016 s]
Raw data (loadavg): 0.99 0.97 0.95 2/63 30849
Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18011 0 1 0 13931 48 0 0 17 0 10 0 419593208 854921216 25758 4294967295 134512640 134569956 3221224416 3221214796 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208721 25758 13073 16 0 208705 0
vsize: 834884
[startup+170.016 s]
Raw data (loadavg): 0.99 0.97 0.95 2/63 30849
Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18011 0 1 0 14820 48 0 0 17 0 10 0 419593208 854921216 26054 4294967295 134512640 134569956 3221224416 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208721 26054 13073 16 0 208705 0
vsize: 834884
[startup+180.016 s]
Raw data (loadavg): 0.99 0.97 0.95 2/63 30849
Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18011 0 1 0 15717 48 0 0 17 0 10 0 419593208 854921216 26246 4294967295 134512640 134569956 3221224416 3221214804 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208721 26246 13073 16 0 208705 0
vsize: 834884
[startup+190.017 s]
Raw data (loadavg): 0.99 0.97 0.95 2/63 30849
Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18011 0 1 0 16616 49 0 0 17 0 10 0 419593208 854921216 26425 4294967295 134512640 134569956 3221224416 3221214560 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208721 26425 13073 16 0 208705 0
vsize: 834884
[startup+200.017 s]
Raw data (loadavg): 0.99 0.97 0.95 2/63 30849
Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18011 0 1 0 17516 49 0 0 16 0 10 0 419593208 854921216 26598 4294967295 134512640 134569956 3221224416 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208721 26598 13073 16 0 208705 0
vsize: 834884
[startup+210.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/63 30849
Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18011 0 1 0 18415 49 0 0 16 0 10 0 419593208 854921216 26774 4294967295 134512640 134569956 3221224416 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208721 26774 13073 16 0 208705 0
vsize: 834884
[startup+220.021 s]
Raw data (loadavg): 0.99 0.97 0.95 2/63 30849
Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18011 0 1 0 19316 49 0 0 17 0 10 0 419593208 854921216 26946 4294967295 134512640 134569956 3221224416 3221214560 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208721 26946 13073 16 0 208705 0
vsize: 834884
[startup+230.021 s]
Raw data (loadavg): 0.99 0.97 0.95 2/63 30849
Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18011 0 1 0 20217 49 0 0 17 0 10 0 419593208 854921216 27112 4294967295 134512640 134569956 3221224416 3221214556 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208721 27112 13073 16 0 208705 0
vsize: 834884
[startup+240.021 s]
Raw data (loadavg): 0.99 0.97 0.95 2/63 30849
Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18011 0 1 0 21121 50 0 0 17 0 10 0 419593208 854921216 27275 4294967295 134512640 134569956 3221224416 3221214576 1131155752 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208721 27275 13073 16 0 208705 0
vsize: 834884
[startup+250.025 s]
Raw data (loadavg): 0.99 0.97 0.95 2/63 30849
Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18011 0 1 0 22026 50 0 0 17 0 10 0 419593208 854921216 27435 4294967295 134512640 134569956 3221224416 3221214576 1131155669 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208721 27435 13073 16 0 208705 0
vsize: 834884
[startup+260.025 s]
Raw data (loadavg): 0.99 0.97 0.95 2/63 30849
Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18011 0 1 0 22932 50 0 0 17 0 10 0 419593208 854921216 27587 4294967295 134512640 134569956 3221224416 3221214576 1131155752 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208721 27587 13073 16 0 208705 0
vsize: 834884
[startup+270.025 s]
Raw data (loadavg): 0.99 0.97 0.95 2/63 30849
Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18011 0 1 0 23839 50 0 0 17 0 10 0 419593208 854921216 27736 4294967295 134512640 134569956 3221224416 3221214796 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208721 27736 13073 16 0 208705 0
vsize: 834884
[startup+280.026 s]
Raw data (loadavg): 0.99 0.97 0.95 2/63 30849
Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18011 0 1 0 24731 50 0 0 17 0 10 0 419593208 854921216 27875 4294967295 134512640 134569956 3221224416 3221214576 1131155706 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208721 27875 13073 16 0 208705 0
vsize: 834884
[startup+290.028 s]
Raw data (loadavg): 0.99 0.97 0.95 2/63 30849
Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18011 0 1 0 25626 50 0 0 16 0 10 0 419593208 854921216 28013 4294967295 134512640 134569956 3221224416 3221214576 1131155717 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208721 28013 13073 16 0 208705 0
vsize: 834884
[startup+300.029 s]
Raw data (loadavg): 0.99 0.97 0.95 2/63 30849
Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18011 0 1 0 26522 51 0 0 16 0 10 0 419593208 854921216 28312 4294967295 134512640 134569956 3221224416 3221214440 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208721 28312 13073 16 0 208705 0
vsize: 834884
[startup+310.031 s]
Raw data (loadavg): 0.99 0.97 0.95 2/63 30849
Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18011 0 1 0 27426 52 0 0 16 0 10 0 419593208 854921216 28450 4294967295 134512640 134569956 3221224416 3221214216 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208721 28450 13073 16 0 208705 0
vsize: 834884
[startup+320.031 s]
Raw data (loadavg): 0.99 0.97 0.95 2/63 30849
Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18011 0 1 0 28331 52 0 0 16 0 10 0 419593208 854921216 28586 4294967295 134512640 134569956 3221224416 3221214560 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208721 28586 13073 16 0 208705 0
vsize: 834884
[startup+330.031 s]
Raw data (loadavg): 0.99 0.97 0.95 2/63 30849
Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18011 0 1 0 29230 53 0 0 16 0 10 0 419593208 854921216 28728 4294967295 134512640 134569956 3221224416 3221214272 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208721 28728 13073 16 0 208705 0
vsize: 834884
[startup+340.033 s]
Raw data (loadavg): 0.99 0.97 0.95 2/63 30849
Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18011 0 1 0 30138 53 0 0 16 0 10 0 419593208 854921216 28859 4294967295 134512640 134569956 3221224416 3221214304 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208721 28859 13073 16 0 208705 0
vsize: 834884
[startup+350.033 s]
Raw data (loadavg): 0.99 0.97 0.95 2/63 30849
Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18011 0 1 0 31045 53 0 0 16 0 10 0 419593208 854921216 28984 4294967295 134512640 134569956 3221224416 3221214304 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208721 28984 13073 16 0 208705 0
vsize: 834884
[startup+360.035 s]
Raw data (loadavg): 0.99 0.97 0.95 2/63 30849
Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18011 0 1 0 31954 53 0 0 16 0 10 0 419593208 854921216 29101 4294967295 134512640 134569956 3221224416 3221214440 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208721 29101 13073 16 0 208705 0
vsize: 834884
[startup+370.039 s]
Raw data (loadavg): 0.99 0.97 0.95 2/63 30849
Raw data (stat): 30840 (java) S 30839 29653 29652 0 -1 0 18011 0 1 0 32857 54 0 0 16 0 10 0 419593208 854921216 29226 4294967295 134512640 134569956 3221224416 3221213800 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208721 29226 13073 16 0 208705 0
vsize: 834884
[startup+380.041 s]
Raw data (loadavg): 0.99 0.97 0.95 2/63 30849
Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18011 0 1 0 33760 54 0 0 16 0 10 0 419593208 854921216 29357 4294967295 134512640 134569956 3221224416 3221214360 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208721 29357 13073 16 0 208705 0
vsize: 834884
[startup+390.042 s]
Raw data (loadavg): 0.99 0.97 0.95 2/63 30849
Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18011 0 1 0 34667 55 0 0 16 0 10 0 419593208 854921216 29481 4294967295 134512640 134569956 3221224416 3221214440 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208721 29481 13073 16 0 208705 0
vsize: 834884
[startup+400.046 s]
Raw data (loadavg): 0.99 0.97 0.95 2/63 30849
Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18011 0 1 0 35575 55 0 0 16 0 10 0 419593208 854921216 29601 4294967295 134512640 134569956 3221224416 3221214304 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208721 29601 13073 16 0 208705 0
vsize: 834884
[startup+410.046 s]
Raw data (loadavg): 0.99 0.97 0.95 2/63 30849
Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18011 0 1 0 36482 56 0 0 16 0 10 0 419593208 854921216 29720 4294967295 134512640 134569956 3221224416 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208721 29720 13073 16 0 208705 0
vsize: 834884
[startup+420.047 s]
Raw data (loadavg): 0.99 0.97 0.95 2/63 30849
Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18011 0 1 0 37389 57 0 0 17 0 10 0 419593208 854921216 29837 4294967295 134512640 134569956 3221224416 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208721 29837 13073 16 0 208705 0
vsize: 834884
[startup+430.048 s]
Raw data (loadavg): 0.99 0.97 0.95 2/63 30849
Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18011 0 1 0 38288 57 0 0 16 0 10 0 419593208 854921216 29963 4294967295 134512640 134569956 3221224416 3221214440 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208721 29963 13073 16 0 208705 0
vsize: 834884
[startup+440.048 s]
Raw data (loadavg): 0.99 0.97 0.95 2/63 30849
Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18011 0 1 0 39196 57 0 0 16 0 10 0 419593208 854921216 30080 4294967295 134512640 134569956 3221224416 3221214440 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208721 30080 13073 16 0 208705 0
vsize: 834884
[startup+450.049 s]
Raw data (loadavg): 0.99 0.97 0.95 2/63 30849
Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18011 0 1 0 40104 58 0 0 16 0 10 0 419593208 854921216 30191 4294967295 134512640 134569956 3221224416 3221214512 1074489757 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208721 30191 13073 16 0 208705 0
vsize: 834884
[startup+460.05 s]
Raw data (loadavg): 0.99 0.97 0.95 2/63 30849
Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18011 0 1 0 41011 58 0 0 16 0 10 0 419593208 854921216 30304 4294967295 134512640 134569956 3221224416 3221214440 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208721 30304 13073 16 0 208705 0
vsize: 834884
[startup+470.05 s]
Raw data (loadavg): 0.99 0.97 0.95 2/63 30849
Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18011 0 1 0 41919 58 0 0 16 0 10 0 419593208 854921216 30412 4294967295 134512640 134569956 3221224416 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208721 30412 13073 16 0 208705 0
vsize: 834884
[startup+480.051 s]
Raw data (loadavg): 0.99 0.97 0.95 2/63 30849
Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18011 0 1 0 42820 59 0 0 16 0 10 0 419593208 854921216 30529 4294967295 134512640 134569956 3221224416 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208721 30529 13073 16 0 208705 0
vsize: 834884
[startup+490.052 s]
Raw data (loadavg): 0.99 0.97 0.95 2/63 30849
Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18011 0 1 0 43728 59 0 0 16 0 10 0 419593208 854921216 30634 4294967295 134512640 134569956 3221224416 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208721 30634 13073 16 0 208705 0
vsize: 834884
[startup+500.052 s]
Raw data (loadavg): 0.99 0.97 0.95 2/63 30849
Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18011 0 1 0 44638 60 0 0 16 0 10 0 419593208 854921216 30739 4294967295 134512640 134569956 3221224416 3221214576 1131155568 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208721 30739 13073 16 0 208705 0
vsize: 834884
[startup+510.053 s]
Raw data (loadavg): 0.99 0.97 0.95 2/63 30849
Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18011 0 1 0 45531 60 0 0 17 0 10 0 419593208 854921216 30847 4294967295 134512640 134569956 3221224416 3221214440 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208721 30847 13073 16 0 208705 0
vsize: 834884
[startup+520.054 s]
Raw data (loadavg): 0.99 0.97 0.95 2/63 30849
Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18011 0 1 0 46424 60 0 0 17 0 10 0 419593208 854921216 30950 4294967295 134512640 134569956 3221224416 3221214560 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208721 30950 13073 16 0 208705 0
vsize: 834884
[startup+530.055 s]
Raw data (loadavg): 0.99 0.97 0.95 2/63 30849
Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18011 0 1 0 47325 60 0 0 17 0 10 0 419593208 854921216 31225 4294967295 134512640 134569956 3221224416 3221214560 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208721 31225 13073 16 0 208705 0
vsize: 834884
[startup+540.055 s]
Raw data (loadavg): 0.99 0.97 0.95 2/63 30849
Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18011 0 1 0 48235 60 0 0 17 0 10 0 419593208 854921216 31325 4294967295 134512640 134569956 3221224416 3221214796 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208721 31325 13073 16 0 208705 0
vsize: 834884
[startup+550.057 s]
Raw data (loadavg): 0.99 0.97 0.95 2/63 30849
Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18011 0 1 0 49145 61 0 0 17 0 10 0 419593208 854921216 31424 4294967295 134512640 134569956 3221224416 3221214796 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208721 31424 13073 16 0 208705 0
vsize: 834884
[startup+560.057 s]
Raw data (loadavg): 0.99 0.97 0.95 2/63 30849
Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18011 0 1 0 50054 61 0 0 17 0 10 0 419593208 854921216 31524 4294967295 134512640 134569956 3221224416 3221214796 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208721 31524 13073 16 0 208705 0
vsize: 834884
[startup+570.058 s]
Raw data (loadavg): 0.99 0.97 0.95 2/63 30849
Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18011 0 1 0 50964 61 0 0 17 0 10 0 419593208 854921216 31621 4294967295 134512640 134569956 3221224416 3221214440 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208721 31621 13073 16 0 208705 0
vsize: 834884
[startup+580.06 s]
Raw data (loadavg): 0.99 0.97 0.95 2/63 30849
Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18011 0 1 0 51873 61 0 0 16 0 10 0 419593208 854921216 31717 4294967295 134512640 134569956 3221224416 3221214804 1080204166 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208721 31717 13073 16 0 208705 0
vsize: 834884
[startup+590.061 s]
Raw data (loadavg): 0.99 0.97 0.95 2/63 30849
Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18011 0 1 0 52780 62 0 0 16 0 10 0 419593208 854921216 31813 4294967295 134512640 134569956 3221224416 3221214560 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208721 31813 13073 16 0 208705 0
vsize: 834884
[startup+600.065 s]
Raw data (loadavg): 0.99 0.97 0.95 2/63 30849
Raw data (stat): 30840 (java) S 30839 29653 29652 0 -1 0 18011 0 1 0 53685 62 0 0 16 0 10 0 419593208 854921216 31908 4294967295 134512640 134569956 3221224416 3221213544 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208721 31908 13073 16 0 208705 0
vsize: 834884
[startup+610.069 s]
Raw data (loadavg): 0.99 0.97 0.95 2/63 30849
Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18011 0 1 0 54590 63 0 0 16 0 10 0 419593208 854921216 32009 4294967295 134512640 134569956 3221224416 3221214576 1131155616 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208721 32009 13073 16 0 208705 0
vsize: 834884
[startup+620.07 s]
Raw data (loadavg): 0.99 0.97 0.95 2/63 30849
Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18011 0 1 0 55497 63 0 0 16 0 10 0 419593208 854921216 32102 4294967295 134512640 134569956 3221224416 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208721 32102 13073 16 0 208705 0
vsize: 834884
[startup+630.071 s]
Raw data (loadavg): 0.99 0.97 0.95 2/63 30849
Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18011 0 1 0 56405 64 0 0 16 0 10 0 419593208 854921216 32194 4294967295 134512640 134569956 3221224416 3221214216 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208721 32194 13073 16 0 208705 0
vsize: 834884
[startup+640.071 s]
Raw data (loadavg): 0.99 0.97 0.95 2/63 30849
Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18011 0 1 0 57313 64 0 0 16 0 10 0 419593208 854921216 32283 4294967295 134512640 134569956 3221224416 3221214796 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208721 32283 13073 16 0 208705 0
vsize: 834884
[startup+650.072 s]
Raw data (loadavg): 0.99 0.97 0.95 2/63 30849
Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18011 0 1 0 58221 65 0 0 16 0 10 0 419593208 854921216 32374 4294967295 134512640 134569956 3221224416 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208721 32374 13073 16 0 208705 0
vsize: 834884
[startup+660.073 s]
Raw data (loadavg): 0.99 0.97 0.95 2/63 30849
Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18011 0 1 0 59128 65 0 0 16 0 10 0 419593208 854921216 32461 4294967295 134512640 134569956 3221224416 3221214804 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208721 32461 13073 16 0 208705 0
vsize: 834884
[startup+670.074 s]
Raw data (loadavg): 0.99 0.97 0.95 2/63 30849
Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18011 0 1 0 60035 66 0 0 16 0 10 0 419593208 854921216 32551 4294967295 134512640 134569956 3221224416 3221214440 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208721 32551 13073 16 0 208705 0
vsize: 834884
[startup+680.074 s]
Raw data (loadavg): 0.99 0.97 0.95 2/63 30849
Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18011 0 1 0 60942 66 0 0 16 0 10 0 419593208 854921216 32641 4294967295 134512640 134569956 3221224416 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208721 32641 13073 16 0 208705 0
vsize: 834884
[startup+690.075 s]
Raw data (loadavg): 0.99 0.97 0.95 2/63 30849
Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18011 0 1 0 61848 67 0 0 16 0 10 0 419593208 854921216 32731 4294967295 134512640 134569956 3221224416 3221214440 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208721 32731 13073 16 0 208705 0
vsize: 834884
[startup+700.076 s]
Raw data (loadavg): 0.99 0.97 0.95 2/63 30849
Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18011 0 1 0 62755 67 0 0 16 0 10 0 419593208 854921216 32812 4294967295 134512640 134569956 3221224416 3221214560 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208721 32812 13073 16 0 208705 0
vsize: 834884
[startup+710.077 s]
Raw data (loadavg): 0.99 0.97 0.95 2/63 30849
Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18011 0 1 0 63657 68 0 0 16 0 10 0 419593208 854921216 32900 4294967295 134512640 134569956 3221224416 3221214440 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208721 32900 13073 16 0 208705 0
vsize: 834884
[startup+720.077 s]
Raw data (loadavg): 0.99 0.97 0.95 2/64 30850
Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18090 0 1 0 64584 68 0 0 20 0 11 0 419593208 862388224 35476 4294967295 134512640 134569956 3221224416 3221214872 1131393140 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210544 35476 13073 16 0 210528 0
vsize: 842176
[startup+730.078 s]
Raw data (loadavg): 0.99 0.97 0.95 2/64 30850
Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18091 0 1 0 65553 69 0 0 23 0 11 0 419593208 858492928 34589 4294967295 134512640 134569956 3221224416 3221214872 1131392844 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209593 34589 13073 16 0 209577 0
vsize: 838372
[startup+740.078 s]
Raw data (loadavg): 0.99 0.97 0.95 2/64 30850
Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18091 0 1 0 66552 69 0 0 25 0 11 0 419593208 858308608 34514 4294967295 134512640 134569956 3221224416 3221214872 1131393038 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209548 34514 13073 16 0 209532 0
vsize: 838192
[startup+750.078 s]
Raw data (loadavg): 0.99 0.97 0.95 2/64 30850
Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18091 0 1 0 67551 69 0 0 21 0 11 0 419593208 858308608 34514 4294967295 134512640 134569956 3221224416 3221214872 1131392844 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209548 34514 13073 16 0 209532 0
vsize: 838192
[startup+760.079 s]
Raw data (loadavg): 0.99 0.97 0.95 2/64 30850
Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18091 0 1 0 68551 69 0 0 25 0 11 0 419593208 858308608 34514 4294967295 134512640 134569956 3221224416 3221214912 1131350474 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209548 34514 13073 16 0 209532 0
vsize: 838192
[startup+770.078 s]
Raw data (loadavg): 0.99 0.97 0.95 2/64 30850
Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18091 0 1 0 69504 69 0 0 17 0 11 0 419593208 858308608 36121 4294967295 134512640 134569956 3221224416 3221214872 1131393047 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209548 36121 13073 16 0 209532 0
vsize: 838192
[startup+780.078 s]
Raw data (loadavg): 0.99 0.97 0.95 2/64 30850
Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18091 0 1 0 70503 70 0 0 25 0 11 0 419593208 858308608 36121 4294967295 134512640 134569956 3221224416 3221214872 1131393305 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209548 36121 13073 16 0 209532 0
vsize: 838192
[startup+790.079 s]
Raw data (loadavg): 0.99 0.97 0.95 2/64 30850
Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18091 0 1 0 71501 70 0 0 25 0 11 0 419593208 858308608 36123 4294967295 134512640 134569956 3221224416 3221214872 1131393153 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209548 36123 13073 16 0 209532 0
vsize: 838192
[startup+800.08 s]
Raw data (loadavg): 0.99 0.97 0.95 2/64 30850
Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18091 0 1 0 72501 70 0 0 25 0 11 0 419593208 858308608 36123 4294967295 134512640 134569956 3221224416 3221214872 1131393151 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209548 36123 13073 16 0 209532 0
vsize: 838192
[startup+810.08 s]
Raw data (loadavg): 0.99 0.97 0.95 2/64 30850
Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18091 0 1 0 73501 70 0 0 25 0 11 0 419593208 860405760 36796 4294967295 134512640 134569956 3221224416 3221214872 1131393151 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210060 36796 13073 16 0 210044 0
vsize: 840240
[startup+820.08 s]
Raw data (loadavg): 0.99 0.97 0.95 2/64 30850
Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18091 0 1 0 74501 70 0 0 25 0 11 0 419593208 860405760 36796 4294967295 134512640 134569956 3221224416 3221214800 1131393140 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210060 36796 13073 16 0 210044 0
vsize: 840240
[startup+830.08 s]
Raw data (loadavg): 0.99 0.97 0.95 2/64 30850
Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18091 0 1 0 75501 70 0 0 25 0 11 0 419593208 860405760 36796 4294967295 134512640 134569956 3221224416 3221214800 1131393317 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210060 36796 13073 16 0 210044 0
vsize: 840240
[startup+840.08 s]
Raw data (loadavg): 0.99 0.97 0.95 2/64 30850
Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18091 0 1 0 76501 70 0 0 25 0 11 0 419593208 860405760 36796 4294967295 134512640 134569956 3221224416 3221214800 1131393321 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210060 36796 13073 16 0 210044 0
vsize: 840240
[startup+850.081 s]
Raw data (loadavg): 0.99 0.97 0.95 2/64 30850
Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18091 0 1 0 77501 70 0 0 25 0 11 0 419593208 860405760 36796 4294967295 134512640 134569956 3221224416 3221214800 1131393140 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210060 36796 13073 16 0 210044 0
vsize: 840240
[startup+860.081 s]
Raw data (loadavg): 0.99 0.97 0.95 2/64 30850
Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18091 0 1 0 78501 70 0 0 25 0 11 0 419593208 860405760 36796 4294967295 134512640 134569956 3221224416 3221214800 1131393317 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210060 36796 13073 16 0 210044 0
vsize: 840240
[startup+870.082 s]
Raw data (loadavg): 0.99 0.97 0.95 2/64 30850
Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18091 0 1 0 79501 70 0 0 25 0 11 0 419593208 860405760 36796 4294967295 134512640 134569956 3221224416 3221214800 1131393294 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210060 36796 13073 16 0 210044 0
vsize: 840240
[startup+880.082 s]
Raw data (loadavg): 0.99 0.97 0.95 2/64 30850
Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18091 0 1 0 80472 70 0 0 18 0 11 0 419593208 860405760 37257 4294967295 134512640 134569956 3221224416 3221214800 1131392844 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210060 37257 13073 16 0 210044 0
vsize: 840240
[startup+890.082 s]
Raw data (loadavg): 0.99 0.97 0.95 2/64 30850
Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18091 0 1 0 81472 70 0 0 25 0 11 0 419593208 860405760 37257 4294967295 134512640 134569956 3221224416 3221214800 1131393132 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210060 37257 13073 16 0 210044 0
vsize: 840240
[startup+900.082 s]
Raw data (loadavg): 0.99 0.97 0.95 2/64 30850
Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18091 0 1 0 82471 70 0 0 25 0 11 0 419593208 860405760 37257 4294967295 134512640 134569956 3221224416 3221214800 1131393153 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210060 37257 13073 16 0 210044 0
vsize: 840240
[startup+910.083 s]
Raw data (loadavg): 0.99 0.97 0.95 2/64 30850
Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18091 0 1 0 83472 70 0 0 25 0 11 0 419593208 860405760 37257 4294967295 134512640 134569956 3221224416 3221214800 1131393047 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210060 37257 13073 16 0 210044 0
vsize: 840240
[startup+920.082 s]
Raw data (loadavg): 0.99 0.97 0.95 2/64 30850
Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18091 0 1 0 84472 70 0 0 25 0 11 0 419593208 860405760 37257 4294967295 134512640 134569956 3221224416 3221214800 1131393059 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210060 37257 13073 16 0 210044 0
vsize: 840240
[startup+930.082 s]
Raw data (loadavg): 0.99 0.97 0.95 2/64 30850
Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18091 0 1 0 85472 70 0 0 25 0 11 0 419593208 860405760 37257 4294967295 134512640 134569956 3221224416 3221214800 1131393153 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210060 37257 13073 16 0 210044 0
vsize: 840240
[startup+940.083 s]
Raw data (loadavg): 0.99 0.97 0.95 2/64 30850
Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18091 0 1 0 86472 70 0 0 25 0 11 0 419593208 860405760 37257 4294967295 134512640 134569956 3221224416 3221214800 1131392844 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210060 37257 13073 16 0 210044 0
vsize: 840240
[startup+950.083 s]
Raw data (loadavg): 0.99 0.97 0.95 2/64 30850
Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18091 0 1 0 87441 70 0 0 25 0 11 0 419593208 860405760 37418 4294967295 134512640 134569956 3221224416 3221214872 1131392840 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210060 37418 13073 16 0 210044 0
vsize: 840240
[startup+960.084 s]
Raw data (loadavg): 0.99 0.97 0.95 2/64 30850
Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18091 0 1 0 88442 70 0 0 25 0 11 0 419593208 860405760 37418 4294967295 134512640 134569956 3221224416 3221214872 1131392844 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210060 37418 13073 16 0 210044 0
vsize: 840240
[startup+970.086 s]
Raw data (loadavg): 0.99 0.97 0.95 2/64 30850
Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18091 0 1 0 89442 70 0 0 25 0 11 0 419593208 860405760 37418 4294967295 134512640 134569956 3221224416 3221214800 1131393136 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210060 37418 13073 16 0 210044 0
vsize: 840240
[startup+980.086 s]
Raw data (loadavg): 0.99 0.97 0.95 2/64 30850
Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18091 0 1 0 90442 71 0 0 25 0 11 0 419593208 860405760 37418 4294967295 134512640 134569956 3221224416 3221214800 1131392844 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210060 37418 13073 16 0 210044 0
vsize: 840240
[startup+990.086 s]
Raw data (loadavg): 0.99 0.97 0.95 2/64 30850
Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18091 0 1 0 91442 71 0 0 25 0 11 0 419593208 860405760 37418 4294967295 134512640 134569956 3221224416 3221214800 1131392847 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210060 37418 13073 16 0 210044 0
vsize: 840240
[startup+1000.09 s]
Raw data (loadavg): 0.99 0.97 0.95 2/64 30850
Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18091 0 1 0 92442 71 0 0 25 0 11 0 419593208 860405760 37418 4294967295 134512640 134569956 3221224416 3221214800 1131392844 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210060 37418 13073 16 0 210044 0
vsize: 840240
[startup+1010.09 s]
Raw data (loadavg): 0.99 0.97 0.95 2/64 30850
Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18091 0 1 0 93442 71 0 0 25 0 11 0 419593208 860405760 37418 4294967295 134512640 134569956 3221224416 3221214800 1131393140 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210060 37418 13073 16 0 210044 0
vsize: 840240
[startup+1020.09 s]
Raw data (loadavg): 0.99 0.97 0.95 2/64 30850
Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18091 0 1 0 94406 71 0 0 25 0 11 0 419593208 860405760 38319 4294967295 134512640 134569956 3221224416 3221214800 1131392852 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210060 38319 13073 16 0 210044 0
vsize: 840240
[startup+1030.09 s]
Raw data (loadavg): 0.99 0.97 0.95 2/64 30850
Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18091 0 1 0 95407 71 0 0 25 0 11 0 419593208 860405760 38319 4294967295 134512640 134569956 3221224416 3221214800 1131392847 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210060 38319 13073 16 0 210044 0
vsize: 840240
[startup+1040.09 s]
Raw data (loadavg): 0.99 0.97 0.95 2/64 30850
Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18091 0 1 0 96407 71 0 0 25 0 11 0 419593208 860405760 38319 4294967295 134512640 134569956 3221224416 3221214800 1131393041 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210060 38319 13073 16 0 210044 0
vsize: 840240
[startup+1050.09 s]
Raw data (loadavg): 0.99 0.97 0.95 2/64 30850
Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18091 0 1 0 97407 71 0 0 25 0 11 0 419593208 860405760 38319 4294967295 134512640 134569956 3221224416 3221214800 1131393140 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210060 38319 13073 16 0 210044 0
vsize: 840240
[startup+1060.09 s]
Raw data (loadavg): 0.99 0.97 0.95 2/64 30850
Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18091 0 1 0 98408 71 0 0 25 0 11 0 419593208 860405760 38319 4294967295 134512640 134569956 3221224416 3221214800 1131393140 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210060 38319 13073 16 0 210044 0
vsize: 840240
[startup+1070.09 s]
Raw data (loadavg): 0.99 0.97 0.95 2/64 30850
Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18091 0 1 0 99408 71 0 0 25 0 11 0 419593208 860405760 38319 4294967295 134512640 134569956 3221224416 3221214800 1131393144 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210060 38319 13073 16 0 210044 0
vsize: 840240
[startup+1080.09 s]
Raw data (loadavg): 0.99 0.97 0.95 2/64 30850
Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18091 0 1 0 100407 71 0 0 25 0 11 0 419593208 860405760 38319 4294967295 134512640 134569956 3221224416 3221214800 1131393305 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210060 38319 13073 16 0 210044 0
vsize: 840240
[startup+1090.09 s]
Raw data (loadavg): 0.99 0.97 0.95 2/64 30850
Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18091 0 1 0 101407 71 0 0 25 0 11 0 419593208 860405760 38319 4294967295 134512640 134569956 3221224416 3221214800 1131393151 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210060 38319 13073 16 0 210044 0
vsize: 840240
[startup+1100.09 s]
Raw data (loadavg): 0.99 0.97 0.95 2/64 30850
Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18091 0 1 0 102408 71 0 0 25 0 11 0 419593208 860405760 38319 4294967295 134512640 134569956 3221224416 3221214800 1131392844 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210060 38319 13073 16 0 210044 0
vsize: 840240
[startup+1110.09 s]
Raw data (loadavg): 0.99 0.97 0.95 2/64 30850
Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18091 0 1 0 103408 71 0 0 25 0 11 0 419593208 860405760 38319 4294967295 134512640 134569956 3221224416 3221214800 1131393132 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210060 38319 13073 16 0 210044 0
vsize: 840240
[startup+1120.09 s]
Raw data (loadavg): 0.99 0.97 0.95 2/64 30850
Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18091 0 1 0 104408 71 0 0 25 0 11 0 419593208 860405760 38319 4294967295 134512640 134569956 3221224416 3221214800 1131393059 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210060 38319 13073 16 0 210044 0
vsize: 840240
[startup+1130.09 s]
Raw data (loadavg): 0.99 0.97 0.95 2/64 30850
Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18091 0 1 0 105381 71 0 0 18 0 11 0 419593208 860405760 38351 4294967295 134512640 134569956 3221224416 3221214800 1131392844 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210060 38351 13073 16 0 210044 0
vsize: 840240
[startup+1140.09 s]
Raw data (loadavg): 0.99 0.97 0.95 3/64 30850
Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18091 0 1 0 106381 71 0 0 25 0 11 0 419593208 860405760 38351 4294967295 134512640 134569956 3221224416 3221214800 1131393305 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210060 38351 13073 16 0 210044 0
vsize: 840240
[startup+1150.09 s]
Raw data (loadavg): 0.99 0.97 0.95 2/64 30850
Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18091 0 1 0 107382 71 0 0 25 0 11 0 419593208 860405760 38351 4294967295 134512640 134569956 3221224416 3221214800 1131392840 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210060 38351 13073 16 0 210044 0
vsize: 840240
[startup+1160.09 s]
Raw data (loadavg): 0.99 0.97 0.95 2/64 30850
Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18092 0 1 0 108350 71 0 0 17 0 11 0 419593208 860405760 38389 4294967295 134512640 134569956 3221224416 3221214872 1131393309 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210060 38389 13073 16 0 210044 0
vsize: 840240
[startup+1170.09 s]
Raw data (loadavg): 0.99 0.97 0.95 2/64 30850
Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18092 0 1 0 109350 71 0 0 25 0 11 0 419593208 860405760 38381 4294967295 134512640 134569956 3221224416 3221214800 1131393132 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210060 38381 13073 16 0 210044 0
vsize: 840240
[startup+1180.09 s]
Raw data (loadavg): 0.99 0.97 0.95 2/64 30850
Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18092 0 1 0 110351 71 0 0 25 0 11 0 419593208 860405760 38381 4294967295 134512640 134569956 3221224416 3221214800 1131392847 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210060 38381 13073 16 0 210044 0
vsize: 840240
[startup+1190.09 s]
Raw data (loadavg): 0.99 0.97 0.95 2/64 30850
Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18092 0 1 0 111351 71 0 0 25 0 11 0 419593208 860405760 38381 4294967295 134512640 134569956 3221224416 3221214800 1131392840 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210060 38381 13073 16 0 210044 0
vsize: 840240
[startup+1200.09 s]
Raw data (loadavg): 0.99 0.97 0.95 2/64 30850
Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18092 0 1 0 112351 71 0 0 25 0 11 0 419593208 860405760 38381 4294967295 134512640 134569956 3221224416 3221214800 1131393323 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210060 38381 13073 16 0 210044 0
vsize: 840240
[startup+1210.1 s]
Raw data (loadavg): 0.99 0.97 0.95 2/64 30850
Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18092 0 1 0 113351 72 0 0 25 0 11 0 419593208 860405760 38381 4294967295 134512640 134569956 3221224416 3221214800 1131392844 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210060 38381 13073 16 0 210044 0
vsize: 840240
[startup+1220.1 s]
Raw data (loadavg): 0.99 0.97 0.95 2/64 30850
Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18092 0 1 0 114352 72 0 0 25 0 11 0 419593208 860405760 38381 4294967295 134512640 134569956 3221224416 3221214800 1131393305 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210060 38381 13073 16 0 210044 0
vsize: 840240
[startup+1230.1 s]
Raw data (loadavg): 0.99 0.97 0.95 2/64 30850
Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18092 0 1 0 115352 72 0 0 25 0 11 0 419593208 860405760 38381 4294967295 134512640 134569956 3221224416 3221214800 1131392844 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210060 38381 13073 16 0 210044 0
vsize: 840240
[startup+1240.1 s]
Raw data (loadavg): 0.99 0.97 0.95 2/64 30850
Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18092 0 1 0 116352 72 0 0 25 0 11 0 419593208 860405760 38381 4294967295 134512640 134569956 3221224416 3221214800 1131393132 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210060 38381 13073 16 0 210044 0
vsize: 840240
[startup+1250.1 s]
Raw data (loadavg): 0.99 0.97 0.95 2/64 30850
Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18092 0 1 0 117353 72 0 0 25 0 11 0 419593208 860405760 38381 4294967295 134512640 134569956 3221224416 3221214800 1131392858 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210060 38381 13073 16 0 210044 0
vsize: 840240
[startup+1260.1 s]
Raw data (loadavg): 0.99 0.97 0.95 2/64 30850
Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18092 0 1 0 118353 72 0 0 25 0 11 0 419593208 860405760 38381 4294967295 134512640 134569956 3221224416 3221214800 1131392832 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210060 38381 13073 16 0 210044 0
vsize: 840240
[startup+1270.15 s]
Raw data (loadavg): 1.07 0.99 0.96 3/67 30894
Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18092 0 1 0 119326 72 0 0 25 0 11 0 419593208 860405760 38916 4294967295 134512640 134569956 3221224416 3221214800 1131392840 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210060 38916 13073 16 0 210044 0
vsize: 840240
[startup+1280.15 s]
Raw data (loadavg): 1.06 0.99 0.96 2/64 30903
Raw data (stat): 30840 (java) R 30839 29653 29652 0 -1 0 18092 0 1 0 120326 72 0 0 25 0 11 0 419593208 860405760 38916 4294967295 134512640 134569956 3221224416 3221214800 1131392847 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210060 38916 13073 16 0 210044 0
vsize: 840240
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1280.24 s]
Raw data (loadavg): 1.06 0.99 0.96 1/54 30905
Raw data (stat): 30840 (java) Z 30839 29653 29652 0 -1 1036 18092 22938 1 0 120327 72 8064 54 25 0 1 0 419593208 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.24
CPU time (s): 1285.19
CPU user time (s): 1283.92
CPU system time (s): 1.27581
CPU usage (%): 100.387
Max. virtual memory (Kb): 842176
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####