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:
  1. 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.
  2. SOLVER DATA
    This is the output of the solver (stdout and stderr).
  3. 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.
  4. 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

Namenormalized-opb/web/uclid_pb_benchmarks/normalized-cache-ibm-q-full.all.ucl.opb
MD5SUMb8424149645ffb0af409a9e7aef74685
Bench Categoryno optimization function (SAT)
Has Objective FunctionNO
Satisfiable
(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 68
Number of bits of the biggest number in a constraint 7
Biggest sum of numbers in a constraint 257
Number of bits of the biggest sum of numbers9
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables81558
Total number of constraints240469
Number of constraints which are clauses235865
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints4604
Minimum length of a constraint1
Maximum length of a constraint13

Trace number 4454

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc20 THE 2005-04-13 17:18:45 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=2439 boxname=wulflinc20 idbench=271 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  b8424149645ffb0af409a9e7aef74685  /oldhome/oroussel/tmp/wulflinc20/normalized-cache-ibm-q-full.all.ucl.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc20/normalized-cache-ibm-q-full.all.ucl.opb
IDLAUNCH: 2439
/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:        896144 kB
Buffers:         31384 kB
Cached:          70904 kB
SwapCached:       2636 kB
Active:          46420 kB
Inactive:        61320 kB
HighTotal:      131008 kB
HighFree:        56364 kB
LowTotal:       903652 kB
LowFree:        839780 kB
SwapTotal:     2097892 kB
SwapFree:      2095256 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6928 kB
Slab:            25068 kB
Committed_AS:    63448 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-13 17:41:08 (client local time) WITH STATUS 143 IN  SECONDS
stats: 2439 7  143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc20/normalized-cache-ibm-q-full.all.ucl.opb
c reading problem 
c [nbvar=81558]
c [nbconstr=240469]
#### 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): 1.23 1.10 1.04 2/54 28856
Raw data (stat): 28856 (runsolver) R 28855 27565 27564 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 477693027 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.0004 s]
Raw data (loadavg): 1.20 1.10 1.03 2/63 28865
Raw data (stat): 28856 (java) R 28855 27565 27564 0 -1 0 17999 0 1 0 804 44 0 0 25 0 10 0 477693027 854978560 20792 4294967295 134512640 134569956 3221224400 3221214392 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208735 20792 13073 16 0 208719 0
vsize: 834940
[startup+20.0011 s]
Raw data (loadavg): 1.17 1.10 1.03 2/63 28865
Raw data (stat): 28856 (java) R 28855 27565 27564 0 -1 0 17999 0 1 0 1676 44 0 0 25 0 10 0 477693027 854802432 21285 4294967295 134512640 134569956 3221224400 3221214484 1074489757 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 21285 13073 16 0 208676 0
vsize: 834768
[startup+30.0013 s]
Raw data (loadavg): 1.14 1.09 1.03 2/63 28865
Raw data (stat): 28856 (java) R 28855 27565 27564 0 -1 0 17999 0 1 0 2531 44 0 0 24 0 10 0 477693027 854802432 21908 4294967295 134512640 134569956 3221224400 3221214628 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 21908 13073 16 0 208676 0
vsize: 834768
[startup+40.0016 s]
Raw data (loadavg): 1.12 1.09 1.03 2/63 28865
Raw data (stat): 28856 (java) R 28855 27565 27564 0 -1 0 17999 0 1 0 3400 44 0 0 25 0 10 0 477693027 854802432 22259 4294967295 134512640 134569956 3221224400 3221214736 1131294146 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 22259 13073 16 0 208676 0
vsize: 834768
[startup+50.0024 s]
Raw data (loadavg): 1.10 1.09 1.03 2/63 28865
Raw data (stat): 28856 (java) R 28855 27565 27564 0 -1 0 17999 0 1 0 4258 45 0 0 25 0 10 0 477693027 854802432 22700 4294967295 134512640 134569956 3221224400 3221214808 1131317700 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 22700 13073 16 0 208676 0
vsize: 834768
[startup+60.0023 s]
Raw data (loadavg): 1.08 1.08 1.03 2/63 28865
Raw data (stat): 28856 (java) R 28855 27565 27564 0 -1 0 17999 0 1 0 5118 45 0 0 25 0 10 0 477693027 854802432 23027 4294967295 134512640 134569956 3221224400 3221214552 1131155651 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 23027 13073 16 0 208676 0
vsize: 834768
[startup+70.0028 s]
Raw data (loadavg): 1.07 1.08 1.03 2/63 28865
Raw data (stat): 28856 (java) R 28855 27565 27564 0 -1 0 17999 0 1 0 5980 45 0 0 25 0 10 0 477693027 854802432 23342 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 23342 13073 16 0 208676 0
vsize: 834768
[startup+80.0034 s]
Raw data (loadavg): 1.06 1.08 1.03 2/63 28865
Raw data (stat): 28856 (java) R 28855 27565 27564 0 -1 0 17999 0 1 0 6840 45 0 0 25 0 10 0 477693027 854802432 23748 4294967295 134512640 134569956 3221224400 3221214248 1076460929 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 23748 13073 16 0 208676 0
vsize: 834768
[startup+90.0037 s]
Raw data (loadavg): 1.05 1.07 1.03 2/63 28865
Raw data (stat): 28856 (java) R 28855 27565 27564 0 -1 0 17999 0 1 0 7706 45 0 0 25 0 10 0 477693027 854802432 24001 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 24001 13073 16 0 208676 0
vsize: 834768
[startup+100.005 s]
Raw data (loadavg): 1.04 1.07 1.03 2/63 28865
Raw data (stat): 28856 (java) S 28855 27565 27564 0 -1 0 17999 0 1 0 8578 45 0 0 25 0 10 0 477693027 854802432 24313 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 24313 13073 16 0 208676 0
vsize: 834768
[startup+110.008 s]
Raw data (loadavg): 1.04 1.07 1.02 2/63 28865
Raw data (stat): 28856 (java) R 28855 27565 27564 0 -1 0 17999 0 1 0 9464 45 0 0 25 0 10 0 477693027 854802432 24564 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 24564 13073 16 0 208676 0
vsize: 834768
[startup+120.008 s]
Raw data (loadavg): 1.03 1.07 1.02 2/63 28865
Raw data (stat): 28856 (java) R 28855 27565 27564 0 -1 0 17999 0 1 0 10345 46 0 0 25 0 10 0 477693027 854802432 24810 4294967295 134512640 134569956 3221224400 3221214184 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 24810 13073 16 0 208676 0
vsize: 834768
[startup+130.008 s]
Raw data (loadavg): 1.02 1.06 1.02 2/63 28865
Raw data (stat): 28856 (java) R 28855 27565 27564 0 -1 0 17999 0 1 0 11230 46 0 0 25 0 10 0 477693027 854802432 25049 4294967295 134512640 134569956 3221224400 3221214708 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 25049 13073 16 0 208676 0
vsize: 834768
[startup+140.009 s]
Raw data (loadavg): 1.02 1.06 1.02 2/63 28865
Raw data (stat): 28856 (java) R 28855 27565 27564 0 -1 0 17999 0 1 0 12119 46 0 0 25 0 10 0 477693027 854802432 25264 4294967295 134512640 134569956 3221224400 3221214088 1076874544 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 25264 13073 16 0 208676 0
vsize: 834768
[startup+150.01 s]
Raw data (loadavg): 1.02 1.06 1.02 2/63 28865
Raw data (stat): 28856 (java) R 28855 27565 27564 0 -1 0 17999 0 1 0 13002 46 0 0 25 0 10 0 477693027 854802432 25471 4294967295 134512640 134569956 3221224400 3221214552 1131155781 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 25471 13073 16 0 208676 0
vsize: 834768
[startup+160.01 s]
Raw data (loadavg): 1.01 1.06 1.02 2/63 28865
Raw data (stat): 28856 (java) R 28855 27565 27564 0 -1 0 17999 0 1 0 13884 46 0 0 25 0 10 0 477693027 854802432 25671 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 25671 13073 16 0 208676 0
vsize: 834768
[startup+170.01 s]
Raw data (loadavg): 1.01 1.05 1.02 2/63 28865
Raw data (stat): 28856 (java) R 28855 27565 27564 0 -1 0 17999 0 1 0 14769 46 0 0 25 0 10 0 477693027 854802432 25961 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 25961 13073 16 0 208676 0
vsize: 834768
[startup+180.011 s]
Raw data (loadavg): 1.01 1.05 1.02 2/63 28865
Raw data (stat): 28856 (java) R 28855 27565 27564 0 -1 0 17999 0 1 0 15664 46 0 0 25 0 10 0 477693027 854802432 26154 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 26154 13073 16 0 208676 0
vsize: 834768
[startup+190.01 s]
Raw data (loadavg): 1.01 1.05 1.02 2/63 28865
Raw data (stat): 28856 (java) R 28855 27565 27564 0 -1 0 17999 0 1 0 16562 47 0 0 25 0 10 0 477693027 854802432 26335 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 26335 13073 16 0 208676 0
vsize: 834768
[startup+200.011 s]
Raw data (loadavg): 1.01 1.05 1.02 2/63 28865
Raw data (stat): 28856 (java) R 28855 27565 27564 0 -1 0 17999 0 1 0 17461 47 0 0 25 0 10 0 477693027 854802432 26514 4294967295 134512640 134569956 3221224400 3221214708 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 26514 13073 16 0 208676 0
vsize: 834768
[startup+210.012 s]
Raw data (loadavg): 1.00 1.05 1.02 2/63 28865
Raw data (stat): 28856 (java) R 28855 27565 27564 0 -1 0 17999 0 1 0 18363 47 0 0 25 0 10 0 477693027 854802432 26687 4294967295 134512640 134569956 3221224400 3221214708 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 26687 13073 16 0 208676 0
vsize: 834768
[startup+220.011 s]
Raw data (loadavg): 1.00 1.04 1.01 2/63 28865
Raw data (stat): 28856 (java) R 28855 27565 27564 0 -1 0 17999 0 1 0 19266 47 0 0 25 0 10 0 477693027 854802432 26849 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 26849 13073 16 0 208676 0
vsize: 834768
[startup+230.014 s]
Raw data (loadavg): 1.00 1.04 1.01 2/63 28865
Raw data (stat): 28856 (java) S 28855 27565 27564 0 -1 0 17999 0 1 0 20165 47 0 0 25 0 10 0 477693027 854802432 27013 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 27013 13073 16 0 208676 0
vsize: 834768
[startup+240.015 s]
Raw data (loadavg): 1.00 1.04 1.01 2/63 28865
Raw data (stat): 28856 (java) R 28855 27565 27564 0 -1 0 17999 0 1 0 21067 47 0 0 24 0 10 0 477693027 854802432 27180 4294967295 134512640 134569956 3221224400 3221214716 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 27180 13073 16 0 208676 0
vsize: 834768
[startup+250.016 s]
Raw data (loadavg): 1.00 1.04 1.01 2/63 28865
Raw data (stat): 28856 (java) R 28855 27565 27564 0 -1 0 17999 0 1 0 21971 47 0 0 25 0 10 0 477693027 854802432 27334 4294967295 134512640 134569956 3221224400 3221214708 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 27334 13073 16 0 208676 0
vsize: 834768
[startup+260.016 s]
Raw data (loadavg): 1.00 1.04 1.01 2/63 28865
Raw data (stat): 28856 (java) R 28855 27565 27564 0 -1 0 17999 0 1 0 22876 47 0 0 25 0 10 0 477693027 854802432 27487 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 27487 13073 16 0 208676 0
vsize: 834768
[startup+270.016 s]
Raw data (loadavg): 1.00 1.03 1.01 2/63 28865
Raw data (stat): 28856 (java) R 28855 27565 27564 0 -1 0 17999 0 1 0 23774 47 0 0 25 0 10 0 477693027 854802432 27635 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 27635 13073 16 0 208676 0
vsize: 834768
[startup+280.016 s]
Raw data (loadavg): 1.00 1.03 1.01 2/63 28865
Raw data (stat): 28856 (java) R 28855 27565 27564 0 -1 0 17999 0 1 0 24666 47 0 0 25 0 10 0 477693027 854802432 27779 4294967295 134512640 134569956 3221224400 3221214552 1131155809 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 27779 13073 16 0 208676 0
vsize: 834768
[startup+290.015 s]
Raw data (loadavg): 1.00 1.03 1.01 2/63 28865
Raw data (stat): 28856 (java) R 28855 27565 27564 0 -1 0 17999 0 1 0 25562 47 0 0 25 0 10 0 477693027 854802432 27918 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 27918 13073 16 0 208676 0
vsize: 834768
[startup+300.016 s]
Raw data (loadavg): 1.00 1.03 1.01 2/63 28865
Raw data (stat): 28856 (java) R 28855 27565 27564 0 -1 0 17999 0 1 0 26468 47 0 0 25 0 10 0 477693027 854802432 28213 4294967295 134512640 134569956 3221224400 3221214628 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 28213 13073 16 0 208676 0
vsize: 834768
[startup+310.02 s]
Raw data (loadavg): 1.00 1.03 1.01 2/63 28865
Raw data (stat): 28856 (java) S 28855 27565 27564 0 -1 0 17999 0 1 0 27376 47 0 0 25 0 10 0 477693027 854802432 28353 4294967295 134512640 134569956 3221224400 3221213424 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 28353 13073 16 0 208676 0
vsize: 834768
[startup+320.02 s]
Raw data (loadavg): 1.00 1.03 1.00 2/63 28865
Raw data (stat): 28856 (java) R 28855 27565 27564 0 -1 0 17999 0 1 0 28277 48 0 0 25 0 10 0 477693027 854802432 28491 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 28491 13073 16 0 208676 0
vsize: 834768
[startup+330.02 s]
Raw data (loadavg): 1.00 1.03 1.00 2/63 28865
Raw data (stat): 28856 (java) R 28855 27565 27564 0 -1 0 17999 0 1 0 29187 48 0 0 25 0 10 0 477693027 854802432 28619 4294967295 134512640 134569956 3221224400 3221214628 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 28619 13073 16 0 208676 0
vsize: 834768
[startup+340.021 s]
Raw data (loadavg): 1.00 1.02 1.00 2/63 28865
Raw data (stat): 28856 (java) R 28855 27565 27564 0 -1 0 17999 0 1 0 30096 48 0 0 21 0 10 0 477693027 854802432 28741 4294967295 134512640 134569956 3221224400 3221214552 1131155799 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 28741 13073 16 0 208676 0
vsize: 834768
[startup+350.022 s]
Raw data (loadavg): 1.00 1.02 1.00 2/63 28865
Raw data (stat): 28856 (java) R 28855 27565 27564 0 -1 0 17999 0 1 0 31005 48 0 0 22 0 10 0 477693027 854802432 28866 4294967295 134512640 134569956 3221224400 3221214716 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 28866 13073 16 0 208676 0
vsize: 834768
[startup+360.021 s]
Raw data (loadavg): 1.00 1.02 1.00 2/63 28865
Raw data (stat): 28856 (java) R 28855 27565 27564 0 -1 0 17999 0 1 0 31913 48 0 0 24 0 10 0 477693027 854802432 28991 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 28991 13073 16 0 208676 0
vsize: 834768
[startup+370.024 s]
Raw data (loadavg): 1.00 1.02 1.00 2/63 28865
Raw data (stat): 28856 (java) S 28855 27565 27564 0 -1 0 17999 0 1 0 32815 48 0 0 24 0 10 0 477693027 854802432 29116 4294967295 134512640 134569956 3221224400 3221213424 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 29116 13073 16 0 208676 0
vsize: 834768
[startup+380.025 s]
Raw data (loadavg): 1.00 1.02 1.00 2/63 28865
Raw data (stat): 28856 (java) R 28855 27565 27564 0 -1 0 17999 0 1 0 33723 48 0 0 19 0 10 0 477693027 854802432 29245 4294967295 134512640 134569956 3221224400 3221214776 1131140079 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 29245 13073 16 0 208676 0
vsize: 834768
[startup+390.024 s]
Raw data (loadavg): 1.00 1.02 1.00 2/63 28865
Raw data (stat): 28856 (java) R 28855 27565 27564 0 -1 0 17999 0 1 0 34630 49 0 0 20 0 10 0 477693027 854802432 29367 4294967295 134512640 134569956 3221224400 3221214184 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208692 29367 13073 16 0 208676 0
vsize: 834768
[startup+400.026 s]
Raw data (loadavg): 1.00 1.02 1.00 2/63 28865
Raw data (stat): 28856 (java) R 28855 27565 27564 0 -1 0 17999 0 1 0 35539 49 0 0 25 0 10 0 477693027 854802432 29475 4294967295 134512640 134569956 3221224400 3221214184 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 29475 13073 16 0 208676 0
vsize: 834768
[startup+410.027 s]
Raw data (loadavg): 1.00 1.02 1.00 2/63 28865
Raw data (stat): 28856 (java) R 28855 27565 27564 0 -1 0 17999 0 1 0 36448 49 0 0 25 0 10 0 477693027 854802432 29591 4294967295 134512640 134569956 3221224400 3221214628 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 29591 13073 16 0 208676 0
vsize: 834768
[startup+420.027 s]
Raw data (loadavg): 1.00 1.02 1.00 2/63 28865
Raw data (stat): 28856 (java) R 28855 27565 27564 0 -1 0 17999 0 1 0 37357 49 0 0 25 0 10 0 477693027 854802432 29704 4294967295 134512640 134569956 3221224400 3221214552 1131155654 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 29704 13073 16 0 208676 0
vsize: 834768
[startup+430.027 s]
Raw data (loadavg): 1.07 1.03 1.00 2/63 28865
Raw data (stat): 28856 (java) R 28855 27565 27564 0 -1 0 17999 0 1 0 38265 49 0 0 25 0 10 0 477693027 854802432 29817 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 29817 13073 16 0 208676 0
vsize: 834768
[startup+440.028 s]
Raw data (loadavg): 1.06 1.03 1.00 2/63 28865
Raw data (stat): 28856 (java) R 28855 27565 27564 0 -1 0 17999 0 1 0 39165 50 0 0 24 0 10 0 477693027 854802432 29940 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 29940 13073 16 0 208676 0
vsize: 834768
[startup+450.028 s]
Raw data (loadavg): 1.05 1.03 1.00 2/63 28865
Raw data (stat): 28856 (java) R 28855 27565 27564 0 -1 0 17999 0 1 0 40075 50 0 0 24 0 10 0 477693027 854802432 30054 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 30054 13073 16 0 208676 0
vsize: 834768
[startup+460.028 s]
Raw data (loadavg): 1.04 1.03 1.00 2/63 28865
Raw data (stat): 28856 (java) R 28855 27565 27564 0 -1 0 17999 0 1 0 40983 50 0 0 25 0 10 0 477693027 854802432 30166 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 30166 13073 16 0 208676 0
vsize: 834768
[startup+470.027 s]
Raw data (loadavg): 1.04 1.03 1.00 2/63 28865
Raw data (stat): 28856 (java) R 28855 27565 27564 0 -1 0 17999 0 1 0 41892 50 0 0 25 0 10 0 477693027 854802432 30275 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 30275 13073 16 0 208676 0
vsize: 834768
[startup+480.028 s]
Raw data (loadavg): 1.03 1.03 1.00 2/63 28865
Raw data (stat): 28856 (java) R 28855 27565 27564 0 -1 0 17999 0 1 0 42802 50 0 0 25 0 10 0 477693027 854802432 30383 4294967295 134512640 134569956 3221224400 3221214716 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 30383 13073 16 0 208676 0
vsize: 834768
[startup+490.028 s]
Raw data (loadavg): 1.02 1.02 1.00 2/63 28865
Raw data (stat): 28856 (java) R 28855 27565 27564 0 -1 0 17999 0 1 0 43712 50 0 0 22 0 10 0 477693027 854802432 30488 4294967295 134512640 134569956 3221224400 3221214552 1131155642 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 30488 13073 16 0 208676 0
vsize: 834768
[startup+500.029 s]
Raw data (loadavg): 1.02 1.02 1.00 2/63 28865
Raw data (stat): 28856 (java) R 28855 27565 27564 0 -1 0 17999 0 1 0 44623 50 0 0 25 0 10 0 477693027 854802432 30589 4294967295 134512640 134569956 3221224400 3221214856 1131194691 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 30589 13073 16 0 208676 0
vsize: 834768
[startup+510.029 s]
Raw data (loadavg): 1.02 1.02 1.00 2/63 28865
Raw data (stat): 28856 (java) R 28855 27565 27564 0 -1 0 17999 0 1 0 45533 50 0 0 25 0 10 0 477693027 854802432 30691 4294967295 134512640 134569956 3221224400 3221214716 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 30691 13073 16 0 208676 0
vsize: 834768
[startup+520.029 s]
Raw data (loadavg): 1.01 1.02 1.00 2/63 28865
Raw data (stat): 28856 (java) R 28855 27565 27564 0 -1 0 17999 0 1 0 46432 50 0 0 25 0 10 0 477693027 854802432 30820 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 30820 13073 16 0 208676 0
vsize: 834768
[startup+530.03 s]
Raw data (loadavg): 1.01 1.02 1.00 2/63 28865
Raw data (stat): 28856 (java) R 28855 27565 27564 0 -1 0 17999 0 1 0 47324 51 0 0 25 0 10 0 477693027 854802432 30939 4294967295 134512640 134569956 3221224400 3221214716 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 30939 13073 16 0 208676 0
vsize: 834768
[startup+540.029 s]
Raw data (loadavg): 1.01 1.02 1.00 2/63 28865
Raw data (stat): 28856 (java) R 28855 27565 27564 0 -1 0 17999 0 1 0 48221 51 0 0 25 0 10 0 477693027 854802432 31197 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 31197 13073 16 0 208676 0
vsize: 834768
[startup+550.03 s]
Raw data (loadavg): 1.01 1.02 1.00 2/63 28865
Raw data (stat): 28856 (java) R 28855 27565 27564 0 -1 0 17999 0 1 0 49131 51 0 0 25 0 10 0 477693027 854802432 31290 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 31290 13073 16 0 208676 0
vsize: 834768
[startup+560.031 s]
Raw data (loadavg): 1.01 1.02 1.00 2/63 28865
Raw data (stat): 28856 (java) R 28855 27565 27564 0 -1 0 17999 0 1 0 50039 51 0 0 25 0 10 0 477693027 854802432 31389 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 31389 13073 16 0 208676 0
vsize: 834768
[startup+570.032 s]
Raw data (loadavg): 1.00 1.02 1.00 2/63 28865
Raw data (stat): 28856 (java) R 28855 27565 27564 0 -1 0 17999 0 1 0 50948 51 0 0 25 0 10 0 477693027 854802432 31488 4294967295 134512640 134569956 3221224400 3221214088 1076874552 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 31488 13073 16 0 208676 0
vsize: 834768
[startup+580.033 s]
Raw data (loadavg): 1.00 1.02 1.00 2/63 28865
Raw data (stat): 28856 (java) R 28855 27565 27564 0 -1 0 17999 0 1 0 51857 51 0 0 25 0 10 0 477693027 854802432 31589 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 31589 13073 16 0 208676 0
vsize: 834768
[startup+590.033 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 28865
Raw data (stat): 28856 (java) R 28855 27565 27564 0 -1 0 17999 0 1 0 52766 51 0 0 25 0 10 0 477693027 854802432 31684 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 31684 13073 16 0 208676 0
vsize: 834768
[startup+600.033 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 28865
Raw data (stat): 28856 (java) R 28855 27565 27564 0 -1 0 17999 0 1 0 53675 51 0 0 25 0 10 0 477693027 854802432 31778 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 31778 13073 16 0 208676 0
vsize: 834768
[startup+610.034 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 28865
Raw data (stat): 28856 (java) R 28855 27565 27564 0 -1 0 17999 0 1 0 54584 52 0 0 25 0 10 0 477693027 854802432 31876 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 31876 13073 16 0 208676 0
vsize: 834768
[startup+620.034 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 28865
Raw data (stat): 28856 (java) R 28855 27565 27564 0 -1 0 17999 0 1 0 55493 52 0 0 25 0 10 0 477693027 854802432 31972 4294967295 134512640 134569956 3221224400 3221214552 1131155651 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 31972 13073 16 0 208676 0
vsize: 834768
[startup+630.035 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 28865
Raw data (stat): 28856 (java) R 28855 27565 27564 0 -1 0 17999 0 1 0 56402 52 0 0 25 0 10 0 477693027 854802432 32063 4294967295 134512640 134569956 3221224400 3221214088 1076874552 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 32063 13073 16 0 208676 0
vsize: 834768
[startup+640.035 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 28865
Raw data (stat): 28856 (java) R 28855 27565 27564 0 -1 0 17999 0 1 0 57310 52 0 0 25 0 10 0 477693027 854802432 32155 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 32155 13073 16 0 208676 0
vsize: 834768
[startup+650.036 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 28865
Raw data (stat): 28856 (java) R 28855 27565 27564 0 -1 0 17999 0 1 0 58218 52 0 0 25 0 10 0 477693027 854802432 32249 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 32249 13073 16 0 208676 0
vsize: 834768
[startup+660.036 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 28865
Raw data (stat): 28856 (java) R 28855 27565 27564 0 -1 0 17999 0 1 0 59127 52 0 0 25 0 10 0 477693027 854802432 32336 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 32336 13073 16 0 208676 0
vsize: 834768
[startup+670.036 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 28865
Raw data (stat): 28856 (java) R 28855 27565 27564 0 -1 0 17999 0 1 0 60036 52 0 0 25 0 10 0 477693027 854802432 32424 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 32424 13073 16 0 208676 0
vsize: 834768
[startup+680.037 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 28865
Raw data (stat): 28856 (java) R 28855 27565 27564 0 -1 0 17999 0 1 0 60944 52 0 0 24 0 10 0 477693027 854802432 32513 4294967295 134512640 134569956 3221224400 3221214628 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 32513 13073 16 0 208676 0
vsize: 834768
[startup+690.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 28865
Raw data (stat): 28856 (java) R 28855 27565 27564 0 -1 0 17999 0 1 0 61860 52 0 0 25 0 10 0 477693027 854802432 32594 4294967295 134512640 134569956 3221224400 3221214628 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 32594 13073 16 0 208676 0
vsize: 834768
[startup+700.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 28865
Raw data (stat): 28856 (java) R 28855 27565 27564 0 -1 0 17999 0 1 0 62767 53 0 0 25 0 10 0 477693027 854802432 32683 4294967295 134512640 134569956 3221224400 3221214184 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 32683 13073 16 0 208676 0
vsize: 834768
[startup+710.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 28865
Raw data (stat): 28856 (java) R 28855 27565 27564 0 -1 0 17999 0 1 0 63675 53 0 0 25 0 10 0 477693027 854802432 32774 4294967295 134512640 134569956 3221224400 3221214184 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 32774 13073 16 0 208676 0
vsize: 834768
[startup+720.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 28865
Raw data (stat): 28856 (java) R 28855 27565 27564 0 -1 0 17999 0 1 0 64582 53 0 0 20 0 10 0 477693027 854802432 32860 4294967295 134512640 134569956 3221224400 3221214184 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 32860 13073 16 0 208676 0
vsize: 834768
[startup+730.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 28865
Raw data (stat): 28856 (java) R 28855 27565 27564 0 -1 0 17999 0 1 0 65490 53 0 0 20 0 10 0 477693027 854802432 32950 4294967295 134512640 134569956 3221224400 3221214552 1131155816 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 32950 13073 16 0 208676 0
vsize: 834768
[startup+740.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 28865
Raw data (stat): 28856 (java) R 28855 27565 27564 0 -1 0 17999 0 1 0 66399 53 0 0 18 0 10 0 477693027 854802432 33037 4294967295 134512640 134569956 3221224400 3221214716 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 33037 13073 16 0 208676 0
vsize: 834768
[startup+750.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 28865
Raw data (stat): 28856 (java) S 28855 27565 27564 0 -1 0 17999 0 1 0 67312 53 0 0 24 0 10 0 477693027 854802432 33117 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 33117 13073 16 0 208676 0
vsize: 834768
[startup+760.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 28865
Raw data (stat): 28856 (java) R 28855 27565 27564 0 -1 0 17999 0 1 0 68223 53 0 0 23 0 10 0 477693027 854802432 33198 4294967295 134512640 134569956 3221224400 3221214696 1131208555 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 33198 13073 16 0 208676 0
vsize: 834768
[startup+770.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 28865
Raw data (stat): 28856 (java) R 28855 27565 27564 0 -1 0 17999 0 1 0 69131 54 0 0 21 0 10 0 477693027 854802432 33281 4294967295 134512640 134569956 3221224400 3221214552 1131155781 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208692 33281 13073 16 0 208676 0
vsize: 834768
[startup+780.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 28865
Raw data (stat): 28856 (java) R 28855 27565 27564 0 -1 0 17999 0 1 0 70039 54 0 0 25 0 10 0 477693027 854802432 33365 4294967295 134512640 134569956 3221224400 3221214708 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 33365 13073 16 0 208676 0
vsize: 834768
[startup+790.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 28865
Raw data (stat): 28856 (java) R 28855 27565 27564 0 -1 0 17999 0 1 0 70946 54 0 0 25 0 10 0 477693027 854802432 33447 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 33447 13073 16 0 208676 0
vsize: 834768
[startup+800.049 s]
Raw data (loadavg): 1.08 1.02 1.01 2/63 28865
Raw data (stat): 28856 (java) S 28855 27565 27564 0 -1 0 17999 0 1 0 71856 54 0 0 25 0 10 0 477693027 854802432 33525 4294967295 134512640 134569956 3221224400 3221213424 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 33525 13073 16 0 208676 0
vsize: 834768
[startup+810.05 s]
Raw data (loadavg): 1.07 1.02 1.00 2/63 28865
Raw data (stat): 28856 (java) R 28855 27565 27564 0 -1 0 17999 0 1 0 72767 54 0 0 25 0 10 0 477693027 854802432 33611 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 33611 13073 16 0 208676 0
vsize: 834768
[startup+820.05 s]
Raw data (loadavg): 1.06 1.01 1.00 2/63 28865
Raw data (stat): 28856 (java) R 28855 27565 27564 0 -1 0 17999 0 1 0 73674 54 0 0 23 0 10 0 477693027 854802432 33694 4294967295 134512640 134569956 3221224400 3221214184 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 33694 13073 16 0 208676 0
vsize: 834768
[startup+830.052 s]
Raw data (loadavg): 1.05 1.01 1.00 2/63 28865
Raw data (stat): 28856 (java) R 28855 27565 27564 0 -1 0 17999 0 1 0 74582 54 0 0 22 0 10 0 477693027 854802432 33771 4294967295 134512640 134569956 3221224400 3221214184 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 33771 13073 16 0 208676 0
vsize: 834768
[startup+840.052 s]
Raw data (loadavg): 1.04 1.01 1.00 2/63 28865
Raw data (stat): 28856 (java) R 28855 27565 27564 0 -1 0 17999 0 1 0 75491 55 0 0 25 0 10 0 477693027 854802432 33850 4294967295 134512640 134569956 3221224400 3221214552 1131155820 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 33850 13073 16 0 208676 0
vsize: 834768
[startup+850.053 s]
Raw data (loadavg): 1.03 1.01 1.00 2/63 28865
Raw data (stat): 28856 (java) R 28855 27565 27564 0 -1 0 17999 0 1 0 76398 55 0 0 25 0 10 0 477693027 854802432 33927 4294967295 134512640 134569956 3221224400 3221214088 1076874552 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 33927 13073 16 0 208676 0
vsize: 834768
[startup+860.053 s]
Raw data (loadavg): 1.03 1.01 1.00 2/63 28865
Raw data (stat): 28856 (java) R 28855 27565 27564 0 -1 0 17999 0 1 0 77305 55 0 0 25 0 10 0 477693027 854802432 34006 4294967295 134512640 134569956 3221224400 3221214552 1131155799 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 34006 13073 16 0 208676 0
vsize: 834768
[startup+870.057 s]
Raw data (loadavg): 1.02 1.01 1.00 2/63 28865
Raw data (stat): 28856 (java) S 28855 27565 27564 0 -1 0 17999 0 1 0 78215 55 0 0 25 0 10 0 477693027 854802432 34079 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 34079 13073 16 0 208676 0
vsize: 834768
[startup+880.058 s]
Raw data (loadavg): 1.02 1.01 1.00 2/63 28865
Raw data (stat): 28856 (java) R 28855 27565 27564 0 -1 0 17999 0 1 0 79127 55 0 0 23 0 10 0 477693027 854802432 34155 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 34155 13073 16 0 208676 0
vsize: 834768
[startup+890.057 s]
Raw data (loadavg): 1.02 1.01 1.00 2/63 28865
Raw data (stat): 28856 (java) R 28855 27565 27564 0 -1 0 17999 0 1 0 80034 55 0 0 21 0 10 0 477693027 854802432 34232 4294967295 134512640 134569956 3221224400 3221214184 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 34232 13073 16 0 208676 0
vsize: 834768
[startup+900.059 s]
Raw data (loadavg): 1.01 1.01 1.00 2/63 28865
Raw data (stat): 28856 (java) R 28855 27565 27564 0 -1 0 17999 0 1 0 80941 55 0 0 19 0 10 0 477693027 854802432 34307 4294967295 134512640 134569956 3221224400 3221214628 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 34307 13073 16 0 208676 0
vsize: 834768
[startup+910.059 s]
Raw data (loadavg): 1.01 1.01 1.00 2/63 28865
Raw data (stat): 28856 (java) R 28855 27565 27564 0 -1 0 17999 0 1 0 81847 55 0 0 17 0 10 0 477693027 854802432 34384 4294967295 134512640 134569956 3221224400 3221214628 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 34384 13073 16 0 208676 0
vsize: 834768
[startup+920.059 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 28865
Raw data (stat): 28856 (java) R 28855 27565 27564 0 -1 0 17999 0 1 0 82761 56 0 0 23 0 10 0 477693027 854802432 34452 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 34452 13073 16 0 208676 0
vsize: 834768
[startup+930.059 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 28865
Raw data (stat): 28856 (java) R 28855 27565 27564 0 -1 0 17999 0 1 0 83666 56 0 0 21 0 10 0 477693027 854802432 34530 4294967295 134512640 134569956 3221224400 3221214552 1131155781 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 34530 13073 16 0 208676 0
vsize: 834768
[startup+940.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 28865
Raw data (stat): 28856 (java) R 28855 27565 27564 0 -1 0 17999 0 1 0 84571 56 0 0 19 0 10 0 477693027 854802432 34606 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 34606 13073 16 0 208676 0
vsize: 834768
[startup+950.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 28865
Raw data (stat): 28856 (java) S 28855 27565 27564 0 -1 0 17999 0 1 0 85481 56 0 0 24 0 10 0 477693027 854802432 34676 4294967295 134512640 134569956 3221224400 3221213496 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 34676 13073 16 0 208676 0
vsize: 834768
[startup+960.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 28865
Raw data (stat): 28856 (java) R 28855 27565 27564 0 -1 0 17999 0 1 0 86389 56 0 0 21 0 10 0 477693027 854802432 34750 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 34750 13073 16 0 208676 0
vsize: 834768
[startup+970.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 28865
Raw data (stat): 28856 (java) R 28855 27565 27564 0 -1 0 17999 0 1 0 87295 56 0 0 19 0 10 0 477693027 854802432 34823 4294967295 134512640 134569956 3221224400 3221214716 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 34823 13073 16 0 208676 0
vsize: 834768
[startup+980.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 28865
Raw data (stat): 28856 (java) R 28855 27565 27564 0 -1 0 17999 0 1 0 88200 56 0 0 17 0 10 0 477693027 854802432 34897 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 34897 13073 16 0 208676 0
vsize: 834768
[startup+990.064 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 28865
Raw data (stat): 28856 (java) R 28855 27565 27564 0 -1 0 17999 0 1 0 89113 57 0 0 22 0 10 0 477693027 854802432 34963 4294967295 134512640 134569956 3221224400 3221214184 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 34963 13073 16 0 208676 0
vsize: 834768
[startup+1000.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 28865
Raw data (stat): 28856 (java) R 28855 27565 27564 0 -1 0 17999 0 1 0 90018 57 0 0 19 0 10 0 477693027 854802432 35037 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 35037 13073 16 0 208676 0
vsize: 834768
[startup+1010.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 28865
Raw data (stat): 28856 (java) R 28855 27565 27564 0 -1 0 17999 0 1 0 90922 57 0 0 17 0 10 0 477693027 854802432 35109 4294967295 134512640 134569956 3221224400 3221214708 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 35109 13073 16 0 208676 0
vsize: 834768
[startup+1020.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 28865
Raw data (stat): 28856 (java) R 28855 27565 27564 0 -1 0 17999 0 1 0 91835 58 0 0 23 0 10 0 477693027 854802432 35175 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 35175 13073 16 0 208676 0
vsize: 834768
[startup+1030.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 28865
Raw data (stat): 28856 (java) R 28855 27565 27564 0 -1 0 17999 0 1 0 92741 58 0 0 20 0 10 0 477693027 854802432 35248 4294967295 134512640 134569956 3221224400 3221214256 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 35248 13073 16 0 208676 0
vsize: 834768
[startup+1040.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 28865
Raw data (stat): 28856 (java) R 28855 27565 27564 0 -1 0 17999 0 1 0 93645 58 0 0 19 0 10 0 477693027 854802432 35318 4294967295 134512640 134569956 3221224400 3221214552 1131155788 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 35318 13073 16 0 208676 0
vsize: 834768
[startup+1050.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 28865
Raw data (stat): 28856 (java) R 28855 27565 27564 0 -1 0 17999 0 1 0 94554 58 0 0 24 0 10 0 477693027 854802432 36065 4294967295 134512640 134569956 3221224400 3221214076 1076874516 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 36065 13073 16 0 208676 0
vsize: 834768
[startup+1060.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 28865
Raw data (stat): 28856 (java) R 28855 27565 27564 0 -1 0 17999 0 1 0 95479 58 0 0 25 0 10 0 477693027 854802432 36065 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 36065 13073 16 0 208676 0
vsize: 834768
[startup+1070.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 28865
Raw data (stat): 28856 (java) R 28855 27565 27564 0 -1 0 17999 0 1 0 96385 58 0 0 25 0 10 0 477693027 854802432 36065 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 36065 13073 16 0 208676 0
vsize: 834768
[startup+1080.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 28865
Raw data (stat): 28856 (java) R 28855 27565 27564 0 -1 0 17999 0 1 0 97283 58 0 0 25 0 10 0 477693027 854802432 36134 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 36134 13073 16 0 208676 0
vsize: 834768
[startup+1090.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 28865
Raw data (stat): 28856 (java) R 28855 27565 27564 0 -1 0 17999 0 1 0 98190 58 0 0 22 0 10 0 477693027 854802432 36200 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 36200 13073 16 0 208676 0
vsize: 834768
[startup+1100.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 28865
Raw data (stat): 28856 (java) R 28855 27565 27564 0 -1 0 17999 0 1 0 99088 58 0 0 21 0 10 0 477693027 854802432 36282 4294967295 134512640 134569956 3221224400 3221214628 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 36282 13073 16 0 208676 0
vsize: 834768
[startup+1110.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 28865
Raw data (stat): 28856 (java) R 28855 27565 27564 0 -1 0 17999 0 1 0 99986 58 0 0 17 0 10 0 477693027 854802432 36340 4294967295 134512640 134569956 3221224400 3221214716 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 36340 13073 16 0 208676 0
vsize: 834768
[startup+1120.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 28865
Raw data (stat): 28856 (java) R 28855 27565 27564 0 -1 0 17999 0 1 0 100892 59 0 0 22 0 10 0 477693027 854802432 36405 4294967295 134512640 134569956 3221224400 3221214184 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 36405 13073 16 0 208676 0
vsize: 834768
[startup+1130.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 28865
Raw data (stat): 28856 (java) R 28855 27565 27564 0 -1 0 17999 0 1 0 101790 59 0 0 21 0 10 0 477693027 854802432 36474 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 36474 13073 16 0 208676 0
vsize: 834768
[startup+1140.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 28865
Raw data (stat): 28856 (java) R 28855 27565 27564 0 -1 0 17999 0 1 0 102689 59 0 0 17 0 10 0 477693027 854802432 36536 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 36536 13073 16 0 208676 0
vsize: 834768
[startup+1150.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 28865
Raw data (stat): 28856 (java) R 28855 27565 27564 0 -1 0 17999 0 1 0 103588 59 0 0 17 0 10 0 477693027 854802432 36599 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 36599 13073 16 0 208676 0
vsize: 834768
[startup+1160.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 28865
Raw data (stat): 28856 (java) R 28855 27565 27564 0 -1 0 17999 0 1 0 104496 59 0 0 22 0 10 0 477693027 854802432 36684 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 36684 13073 16 0 208676 0
vsize: 834768
[startup+1170.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 28865
Raw data (stat): 28856 (java) R 28855 27565 27564 0 -1 0 17999 0 1 0 105396 59 0 0 19 0 10 0 477693027 854802432 36721 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 36721 13073 16 0 208676 0
vsize: 834768
[startup+1180.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 28865
Raw data (stat): 28856 (java) R 28855 27565 27564 0 -1 0 17999 0 1 0 106295 59 0 0 16 0 10 0 477693027 854802432 36816 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 36816 13073 16 0 208676 0
vsize: 834768
[startup+1190.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 28865
Raw data (stat): 28856 (java) R 28855 27565 27564 0 -1 0 17999 0 1 0 107204 59 0 0 22 0 10 0 477693027 854802432 36880 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 36880 13073 16 0 208676 0
vsize: 834768
[startup+1200.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 28865
Raw data (stat): 28856 (java) R 28855 27565 27564 0 -1 0 17999 0 1 0 108102 60 0 0 18 0 10 0 477693027 854802432 36913 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 36913 13073 16 0 208676 0
vsize: 834768
[startup+1210.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 28865
Raw data (stat): 28856 (java) R 28855 27565 27564 0 -1 0 17999 0 1 0 109010 60 0 0 23 0 10 0 477693027 854802432 36988 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208692 36988 13073 16 0 208676 0
vsize: 834768
[startup+1220.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 28865
Raw data (stat): 28856 (java) R 28855 27565 27564 0 -1 0 17999 0 1 0 109907 60 0 0 20 0 10 0 477693027 854802432 37038 4294967295 134512640 134569956 3221224400 3221214716 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 37038 13073 16 0 208676 0
vsize: 834768
[startup+1230.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 28865
Raw data (stat): 28856 (java) S 28855 27565 27564 0 -1 0 17999 0 1 0 110808 60 0 0 24 0 10 0 477693027 854802432 37142 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 37142 13073 16 0 208676 0
vsize: 834768
[startup+1240.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 28865
Raw data (stat): 28856 (java) R 28855 27565 27564 0 -1 0 17999 0 1 0 111718 60 0 0 21 0 10 0 477693027 854802432 37215 4294967295 134512640 134569956 3221224400 3221214552 1131155788 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 37215 13073 16 0 208676 0
vsize: 834768
[startup+1250.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 28865
Raw data (stat): 28856 (java) R 28855 27565 27564 0 -1 0 17999 0 1 0 112621 60 0 0 18 0 10 0 477693027 854802432 37242 4294967295 134512640 134569956 3221224400 3221214256 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 37242 13073 16 0 208676 0
vsize: 834768
[startup+1260.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 28865
Raw data (stat): 28856 (java) R 28855 27565 27564 0 -1 0 17999 0 1 0 113529 60 0 0 23 0 10 0 477693027 854802432 37318 4294967295 134512640 134569956 3221224400 3221214628 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 37318 13073 16 0 208676 0
vsize: 834768
[startup+1270.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 28865
Raw data (stat): 28856 (java) R 28855 27565 27564 0 -1 0 17999 0 1 0 114427 60 0 0 19 0 10 0 477693027 854802432 37361 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 37361 13073 16 0 208676 0
vsize: 834768
[startup+1280.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 28865
Raw data (stat): 28856 (java) R 28855 27565 27564 0 -1 0 17999 0 1 0 115334 61 0 0 24 0 10 0 477693027 854802432 37468 4294967295 134512640 134569956 3221224400 3221214184 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 37468 13073 16 0 208676 0
vsize: 834768
[startup+1290.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 28865
Raw data (stat): 28856 (java) R 28855 27565 27564 0 -1 0 17999 0 1 0 116237 61 0 0 19 0 10 0 477693027 854802432 37535 4294967295 134512640 134569956 3221224400 3221214716 1080204166 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 37535 13073 16 0 208676 0
vsize: 834768
[startup+1300.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 28865
Raw data (stat): 28856 (java) R 28855 27565 27564 0 -1 0 17999 0 1 0 117142 61 0 0 17 0 10 0 477693027 854802432 37573 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 37573 13073 16 0 208676 0
vsize: 834768
[startup+1310.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 28865
Raw data (stat): 28856 (java) R 28855 27565 27564 0 -1 0 17999 0 1 0 118053 61 0 0 20 0 10 0 477693027 854802432 37615 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 37615 13073 16 0 208676 0
vsize: 834768
[startup+1320.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 28865
Raw data (stat): 28856 (java) R 28855 27565 27564 0 -1 0 17999 0 1 0 118958 61 0 0 17 0 10 0 477693027 854802432 37741 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 37741 13073 16 0 208676 0
vsize: 834768
[startup+1330.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 28865
Raw data (stat): 28856 (java) R 28855 27565 27564 0 -1 0 17999 0 1 0 119872 61 0 0 25 0 10 0 477693027 854802432 37801 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 37801 13073 16 0 208676 0
vsize: 834768
[startup+1340.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 28865
Raw data (stat): 28856 (java) R 28855 27565 27564 0 -1 0 17999 0 1 0 120777 61 0 0 25 0 10 0 477693027 854802432 37859 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 37859 13073 16 0 208676 0
vsize: 834768
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1340.17 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 28866
Raw data (stat): 28856 (java) Z 28855 27565 27564 0 -1 1036 17999 20762 1 0 120779 68 13426 62 25 0 1 0 477693027 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): 1340.17
CPU time (s): 1343.38
CPU user time (s): 1342.07
CPU system time (s): 1.3128
CPU usage (%): 100.239
Max. virtual memory (Kb): 834940
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####