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/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-scfxm1.opb
MD5SUM94a3882d5878f0ddbdd9e110c3ba8806
Bench Categoryoptimization, big integers (OPTBIGINT)
Has Objective FunctionYES
SatisfiableNO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function 690
Biggest coefficient in the objective function 5368709120
Number of bits for the biggest coefficient in the objective function 33
Sum of the numbers in the objective function 140660178813
Number of bits of the sum of numbers in the objective function 38
Biggest number in a constraint 53687091200000
Number of bits of the biggest number in a constraint 46
Biggest sum of numbers in a constraint 326830904793855
Number of bits of the biggest sum of numbers49
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark0.529918
Number of variables13710
Total number of constraints330
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints330
Minimum length of a constraint30
Maximum length of a constraint1710

Trace number 17387

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc5 THE 2005-04-21 10:06:42 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=11215 boxname=wulflinc5 idbench=863 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  94a3882d5878f0ddbdd9e110c3ba8806  /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-20-10-scfxm1.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-20-10-scfxm1.opb
IDLAUNCH: 11215
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
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.007
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:        704720 kB
Buffers:          4964 kB
Cached:         302204 kB
SwapCached:        328 kB
Active:          27044 kB
Inactive:       282668 kB
HighTotal:      131008 kB
HighFree:        36288 kB
LowTotal:       903652 kB
LowFree:        668432 kB
SwapTotal:     2097136 kB
SwapFree:      2096444 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5728 kB
Slab:            14468 kB
Committed_AS:    63592 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-21 10:27:05 (client local time) WITH STATUS 143 IN 1217.85 SECONDS
stats: 11215 7 1217.85 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-20-10-scfxm1.opb
c reading problem 
c [nbvar=13710]
c [nbconstr=330]
c time 61.534
c #vars     13710
c #clauses  514
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.76 0.94 0.97 2/54 21103
Raw data (stat): 21103 (runsolver) R 21102 24215 24214 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 486009448 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+9.9999 s]
Raw data (loadavg): 0.87 0.95 0.97 2/63 21112
Raw data (stat): 21103 (java) R 21102 24215 24214 0 -1 0 18005 0 1 0 788 40 0 0 20 0 10 0 486009448 859475968 21350 4294967295 134512640 134569956 3221224400 3221214456 1076461342 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209833 21350 13073 16 0 209817 0
vsize: 839332
[startup+20.0016 s]
Raw data (loadavg): 0.89 0.96 0.97 2/63 21112
Raw data (stat): 21103 (java) R 21102 24215 24214 0 -1 0 18005 0 1 0 1650 41 0 0 19 0 10 0 486009448 858734592 21990 4294967295 134512640 134569956 3221224400 3221214808 1131301762 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209652 21990 13073 16 0 209636 0
vsize: 838608
[startup+30.0054 s]
Raw data (loadavg): 0.91 0.96 0.97 2/63 21112
Raw data (stat): 21103 (java) S 21102 24215 24214 0 -1 0 18005 0 1 0 2495 42 0 0 20 0 10 0 486009448 858734592 22465 4294967295 134512640 134569956 3221224400 3221213456 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209652 22465 13073 16 0 209636 0
vsize: 838608
[startup+40.0051 s]
Raw data (loadavg): 0.92 0.96 0.97 2/63 21112
Raw data (stat): 21103 (java) R 21102 24215 24214 0 -1 0 18005 0 1 0 3357 42 0 0 20 0 10 0 486009448 858734592 22819 4294967295 134512640 134569956 3221224400 3221214796 1130896152 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209652 22819 13073 16 0 209636 0
vsize: 838608
[startup+50.0059 s]
Raw data (loadavg): 0.93 0.96 0.97 2/63 21112
Raw data (stat): 21103 (java) R 21102 24215 24214 0 -1 0 18005 0 1 0 4242 42 0 0 23 0 10 0 486009448 858734592 23257 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209652 23257 13073 16 0 209636 0
vsize: 838608
[startup+60.0057 s]
Raw data (loadavg): 0.94 0.96 0.97 2/63 21112
Raw data (stat): 21103 (java) R 21102 24215 24214 0 -1 0 18005 0 1 0 5123 42 0 0 19 0 10 0 486009448 858734592 23519 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209652 23519 13073 16 0 209636 0
vsize: 838608
[startup+70.0064 s]
Raw data (loadavg): 0.95 0.96 0.97 2/64 21113
Raw data (stat): 21103 (java) R 21102 24215 24214 0 -1 0 18074 0 1 0 5952 43 0 0 25 0 11 0 486009448 861360128 24430 4294967295 134512640 134569956 3221224400 3221214672 1131196575 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210293 24430 13073 16 0 210277 0
vsize: 841172
[startup+80.0072 s]
Raw data (loadavg): 0.96 0.96 0.97 2/64 21113
Raw data (stat): 21103 (java) R 21102 24215 24214 0 -1 0 18075 0 1 0 6865 43 0 0 25 0 11 0 486009448 861360128 24436 4294967295 134512640 134569956 3221224400 3221214472 1080019477 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210293 24436 13073 16 0 210277 0
vsize: 841172
[startup+90.0073 s]
Raw data (loadavg): 1.04 0.98 0.98 2/64 21113
Raw data (stat): 21103 (java) R 21102 24215 24214 0 -1 0 18076 0 1 0 7780 44 0 0 25 0 11 0 486009448 861360128 24581 4294967295 134512640 134569956 3221224400 3221214672 1131416563 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 24581 13073 16 0 210277 0
vsize: 841172
[startup+100.008 s]
Raw data (loadavg): 1.03 0.98 0.98 2/64 21113
Raw data (stat): 21103 (java) R 21102 24215 24214 0 -1 0 18076 0 1 0 8729 44 0 0 25 0 11 0 486009448 861360128 24615 4294967295 134512640 134569956 3221224400 3221214664 1131488295 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210293 24615 13073 16 0 210277 0
vsize: 841172
[startup+110.008 s]
Raw data (loadavg): 1.03 0.98 0.98 2/64 21113
Raw data (stat): 21103 (java) R 21102 24215 24214 0 -1 0 18076 0 1 0 9671 44 0 0 25 0 11 0 486009448 861360128 24938 4294967295 134512640 134569956 3221224400 3221214768 1131566572 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 24938 13073 16 0 210277 0
vsize: 841172
[startup+120.01 s]
Raw data (loadavg): 1.02 0.98 0.98 2/64 21113
Raw data (stat): 21103 (java) R 21102 24215 24214 0 -1 0 18076 0 1 0 10641 44 0 0 24 0 11 0 486009448 861360128 25322 4294967295 134512640 134569956 3221224400 3221214800 1131215840 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 25322 13073 16 0 210277 0
vsize: 841172
[startup+130.01 s]
Raw data (loadavg): 1.09 1.00 0.98 2/64 21113
Raw data (stat): 21103 (java) R 21102 24215 24214 0 -1 0 18076 0 1 0 11604 44 0 0 25 0 11 0 486009448 861360128 25450 4294967295 134512640 134569956 3221224400 3221214768 1131338053 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 25450 13073 16 0 210277 0
vsize: 841172
[startup+140.017 s]
Raw data (loadavg): 1.08 1.00 0.98 2/64 21113
Raw data (stat): 21103 (java) R 21102 24215 24214 0 -1 0 18076 0 1 0 12586 44 0 0 25 0 11 0 486009448 861360128 25466 4294967295 134512640 134569956 3221224400 3221214664 1131217558 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 25466 13073 16 0 210277 0
vsize: 841172
[startup+150.025 s]
Raw data (loadavg): 1.06 1.00 0.98 2/64 21113
Raw data (stat): 21103 (java) R 21102 24215 24214 0 -1 0 18076 0 1 0 13574 45 0 0 25 0 11 0 486009448 861360128 25521 4294967295 134512640 134569956 3221224400 3221214768 1131569031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 25521 13073 16 0 210277 0
vsize: 841172
[startup+160.025 s]
Raw data (loadavg): 1.05 1.00 0.98 2/64 21113
Raw data (stat): 21103 (java) R 21102 24215 24214 0 -1 0 18076 0 1 0 14565 45 0 0 25 0 11 0 486009448 861360128 25525 4294967295 134512640 134569956 3221224400 3221214208 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 25525 13073 16 0 210277 0
vsize: 841172
[startup+170.034 s]
Raw data (loadavg): 1.05 1.00 0.98 2/64 21113
Raw data (stat): 21103 (java) R 21102 24215 24214 0 -1 0 18076 0 1 0 15557 45 0 0 25 0 11 0 486009448 861360128 25576 4294967295 134512640 134569956 3221224400 3221214768 1131569031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 25576 13073 16 0 210277 0
vsize: 841172
[startup+180.034 s]
Raw data (loadavg): 1.04 1.00 0.98 2/64 21113
Raw data (stat): 21103 (java) R 21102 24215 24214 0 -1 0 18076 0 1 0 16549 46 0 0 25 0 11 0 486009448 861360128 25644 4294967295 134512640 134569956 3221224400 3221214768 1131566572 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210293 25644 13073 16 0 210277 0
vsize: 841172
[startup+190.034 s]
Raw data (loadavg): 1.03 1.00 0.98 2/64 21113
Raw data (stat): 21103 (java) R 21102 24215 24214 0 -1 0 18076 0 1 0 17546 46 0 0 25 0 11 0 486009448 861360128 25659 4294967295 134512640 134569956 3221224400 3221214664 1131498803 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 25659 13073 16 0 210277 0
vsize: 841172
[startup+200.036 s]
Raw data (loadavg): 1.03 1.00 0.98 2/64 21113
Raw data (stat): 21103 (java) R 21102 24215 24214 0 -1 0 18076 0 1 0 18544 46 0 0 25 0 11 0 486009448 861360128 25666 4294967295 134512640 134569956 3221224400 3221214768 1131566669 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 25666 13073 16 0 210277 0
vsize: 841172
[startup+210.036 s]
Raw data (loadavg): 1.02 1.00 0.98 2/64 21113
Raw data (stat): 21103 (java) R 21102 24215 24214 0 -1 0 18076 0 1 0 19541 47 0 0 25 0 11 0 486009448 861360128 25668 4294967295 134512640 134569956 3221224400 3221214664 1131497717 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 25668 13073 16 0 210277 0
vsize: 841172
[startup+220.058 s]
Raw data (loadavg): 1.02 1.00 0.98 2/64 21113
Raw data (stat): 21103 (java) R 21102 24215 24214 0 -1 0 18076 0 1 0 20541 47 0 0 25 0 11 0 486009448 861360128 25668 4294967295 134512640 134569956 3221224400 3221214768 1131566572 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 25668 13073 16 0 210277 0
vsize: 841172
[startup+230.057 s]
Raw data (loadavg): 1.09 1.01 0.99 2/64 21113
Raw data (stat): 21103 (java) R 21102 24215 24214 0 -1 0 18076 0 1 0 21539 48 0 0 25 0 11 0 486009448 861360128 25670 4294967295 134512640 134569956 3221224400 3221214768 1131566560 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210293 25670 13073 16 0 210277 0
vsize: 841172
[startup+240.058 s]
Raw data (loadavg): 1.07 1.01 0.99 2/64 21113
Raw data (stat): 21103 (java) R 21102 24215 24214 0 -1 0 18076 0 1 0 22537 48 0 0 25 0 11 0 486009448 861360128 25670 4294967295 134512640 134569956 3221224400 3221214768 1131566575 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 25670 13073 16 0 210277 0
vsize: 841172
[startup+250.058 s]
Raw data (loadavg): 1.06 1.01 0.99 2/64 21113
Raw data (stat): 21103 (java) R 21102 24215 24214 0 -1 0 18076 0 1 0 23534 49 0 0 25 0 11 0 486009448 861360128 25670 4294967295 134512640 134569956 3221224400 3221214768 1131566575 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 25670 13073 16 0 210277 0
vsize: 841172
[startup+260.059 s]
Raw data (loadavg): 1.05 1.01 0.99 2/64 21113
Raw data (stat): 21103 (java) R 21102 24215 24214 0 -1 0 18076 0 1 0 24532 49 0 0 25 0 11 0 486009448 861360128 25670 4294967295 134512640 134569956 3221224400 3221214768 1131566572 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 25670 13073 16 0 210277 0
vsize: 841172
[startup+270.06 s]
Raw data (loadavg): 1.04 1.01 0.99 2/64 21113
Raw data (stat): 21103 (java) R 21102 24215 24214 0 -1 0 18076 0 1 0 25530 49 0 0 25 0 11 0 486009448 861360128 25670 4294967295 134512640 134569956 3221224400 3221214768 1131569031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 25670 13073 16 0 210277 0
vsize: 841172
[startup+280.06 s]
Raw data (loadavg): 1.04 1.01 0.99 2/64 21113
Raw data (stat): 21103 (java) R 21102 24215 24214 0 -1 0 18076 0 1 0 26528 50 0 0 25 0 11 0 486009448 861360128 25670 4294967295 134512640 134569956 3221224400 3221214768 1131566577 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 25670 13073 16 0 210277 0
vsize: 841172
[startup+290.06 s]
Raw data (loadavg): 1.03 1.01 0.99 2/64 21113
Raw data (stat): 21103 (java) R 21102 24215 24214 0 -1 0 18076 0 1 0 27525 50 0 0 25 0 11 0 486009448 861360128 25670 4294967295 134512640 134569956 3221224400 3221214664 1131498025 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 25670 13073 16 0 210277 0
vsize: 841172
[startup+300.061 s]
Raw data (loadavg): 1.03 1.00 0.99 2/64 21113
Raw data (stat): 21103 (java) R 21102 24215 24214 0 -1 0 18076 0 1 0 28520 50 0 0 25 0 11 0 486009448 861360128 25670 4294967295 134512640 134569956 3221224400 3221214768 1131566575 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 25670 13073 16 0 210277 0
vsize: 841172
[startup+310.061 s]
Raw data (loadavg): 1.02 1.00 0.99 2/64 21113
Raw data (stat): 21103 (java) R 21102 24215 24214 0 -1 0 18076 0 1 0 29517 51 0 0 25 0 11 0 486009448 861360128 25670 4294967295 134512640 134569956 3221224400 3221214664 1131217206 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 25670 13073 16 0 210277 0
vsize: 841172
[startup+320.063 s]
Raw data (loadavg): 1.02 1.00 0.99 2/64 21113
Raw data (stat): 21103 (java) R 21102 24215 24214 0 -1 0 18076 0 1 0 30513 51 0 0 25 0 11 0 486009448 861360128 25670 4294967295 134512640 134569956 3221224400 3221214664 1131217255 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 25670 13073 16 0 210277 0
vsize: 841172
[startup+330.075 s]
Raw data (loadavg): 1.01 1.00 0.99 2/64 21113
Raw data (stat): 21103 (java) R 21102 24215 24214 0 -1 0 18076 0 1 0 31511 51 0 0 25 0 11 0 486009448 861360128 25670 4294967295 134512640 134569956 3221224400 3221214768 1131566680 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 25670 13073 16 0 210277 0
vsize: 841172
[startup+340.075 s]
Raw data (loadavg): 1.01 1.00 0.99 2/64 21113
Raw data (stat): 21103 (java) R 21102 24215 24214 0 -1 0 18076 0 1 0 32508 51 0 0 25 0 11 0 486009448 861360128 25670 4294967295 134512640 134569956 3221224400 3221214664 1131217213 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 25670 13073 16 0 210277 0
vsize: 841172
[startup+350.075 s]
Raw data (loadavg): 1.01 1.00 0.99 2/64 21113
Raw data (stat): 21103 (java) R 21102 24215 24214 0 -1 0 18076 0 1 0 33504 52 0 0 25 0 11 0 486009448 861360128 25699 4294967295 134512640 134569956 3221224400 3221214664 1131217014 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 25699 13073 16 0 210277 0
vsize: 841172
[startup+360.083 s]
Raw data (loadavg): 1.01 1.00 0.99 2/64 21113
Raw data (stat): 21103 (java) R 21102 24215 24214 0 -1 0 18076 0 1 0 34503 52 0 0 25 0 11 0 486009448 861360128 25701 4294967295 134512640 134569956 3221224400 3221214744 1131312270 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 25701 13073 16 0 210277 0
vsize: 841172
[startup+370.084 s]
Raw data (loadavg): 1.01 1.00 0.99 2/64 21113
Raw data (stat): 21103 (java) R 21102 24215 24214 0 -1 0 18076 0 1 0 35500 52 0 0 25 0 11 0 486009448 861360128 25703 4294967295 134512640 134569956 3221224400 3221214672 1131197392 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 25703 13073 16 0 210277 0
vsize: 841172
[startup+380.084 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 21113
Raw data (stat): 21103 (java) R 21102 24215 24214 0 -1 0 18076 0 1 0 36496 53 0 0 25 0 11 0 486009448 861360128 25703 4294967295 134512640 134569956 3221224400 3221214664 1131497939 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 25703 13073 16 0 210277 0
vsize: 841172
[startup+390.085 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 21113
Raw data (stat): 21103 (java) R 21102 24215 24214 0 -1 0 18076 0 1 0 37493 53 0 0 25 0 11 0 486009448 861360128 25703 4294967295 134512640 134569956 3221224400 3221214768 1131566575 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 25703 13073 16 0 210277 0
vsize: 841172
[startup+400.085 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 21113
Raw data (stat): 21103 (java) R 21102 24215 24214 0 -1 0 18076 0 1 0 38490 53 0 0 25 0 11 0 486009448 861360128 25703 4294967295 134512640 134569956 3221224400 3221214664 1131216931 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 25703 13073 16 0 210277 0
vsize: 841172
[startup+410.085 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 21113
Raw data (stat): 21103 (java) R 21102 24215 24214 0 -1 0 18076 0 1 0 39487 53 0 0 25 0 11 0 486009448 861360128 25703 4294967295 134512640 134569956 3221224400 3221214768 1131569031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 25703 13073 16 0 210277 0
vsize: 841172
[startup+420.086 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 21113
Raw data (stat): 21103 (java) R 21102 24215 24214 0 -1 0 18076 0 1 0 40484 54 0 0 25 0 11 0 486009448 861360128 25703 4294967295 134512640 134569956 3221224400 3221214768 1131566572 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 25703 13073 16 0 210277 0
vsize: 841172
[startup+430.086 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 21113
Raw data (stat): 21103 (java) R 21102 24215 24214 0 -1 0 18076 0 1 0 41481 54 0 0 25 0 11 0 486009448 861360128 25703 4294967295 134512640 134569956 3221224400 3221214768 1131566575 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 25703 13073 16 0 210277 0
vsize: 841172
[startup+440.087 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 21113
Raw data (stat): 21103 (java) R 21102 24215 24214 0 -1 0 18076 0 1 0 42479 54 0 0 25 0 11 0 486009448 861360128 25726 4294967295 134512640 134569956 3221224400 3221214664 1131497993 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 25726 13073 16 0 210277 0
vsize: 841172
[startup+450.087 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 21113
Raw data (stat): 21103 (java) R 21102 24215 24214 0 -1 0 18076 0 1 0 43477 54 0 0 25 0 11 0 486009448 861360128 25728 4294967295 134512640 134569956 3221224400 3221214672 1131378076 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 25728 13073 16 0 210277 0
vsize: 841172
[startup+460.088 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 21113
Raw data (stat): 21103 (java) R 21102 24215 24214 0 -1 0 18076 0 1 0 44475 55 0 0 25 0 11 0 486009448 861360128 25728 4294967295 134512640 134569956 3221224400 3221214768 1131566575 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 25728 13073 16 0 210277 0
vsize: 841172
[startup+470.089 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 21113
Raw data (stat): 21103 (java) R 21102 24215 24214 0 -1 0 18076 0 1 0 45473 55 0 0 25 0 11 0 486009448 861360128 25728 4294967295 134512640 134569956 3221224400 3221214664 1131498959 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 25728 13073 16 0 210277 0
vsize: 841172
[startup+480.1 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 21113
Raw data (stat): 21103 (java) R 21102 24215 24214 0 -1 0 18076 0 1 0 46472 55 0 0 25 0 11 0 486009448 861360128 25728 4294967295 134512640 134569956 3221224400 3221214664 1131217304 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210293 25728 13073 16 0 210277 0
vsize: 841172
[startup+490.108 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 21113
Raw data (stat): 21103 (java) R 21102 24215 24214 0 -1 0 18076 0 1 0 47469 55 0 0 25 0 11 0 486009448 861360128 25728 4294967295 134512640 134569956 3221224400 3221214664 1131217240 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 25728 13073 16 0 210277 0
vsize: 841172
[startup+500.108 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 21113
Raw data (stat): 21103 (java) R 21102 24215 24214 0 -1 0 18076 0 1 0 48466 55 0 0 25 0 11 0 486009448 861360128 25728 4294967295 134512640 134569956 3221224400 3221214768 1131569073 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 25728 13073 16 0 210277 0
vsize: 841172
[startup+510.109 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 21113
Raw data (stat): 21103 (java) R 21102 24215 24214 0 -1 0 18076 0 1 0 49463 56 0 0 25 0 11 0 486009448 861360128 25728 4294967295 134512640 134569956 3221224400 3221214664 1131498973 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 25728 13073 16 0 210277 0
vsize: 841172
[startup+520.11 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 21113
Raw data (stat): 21103 (java) R 21102 24215 24214 0 -1 0 18076 0 1 0 50460 56 0 0 25 0 11 0 486009448 861360128 25728 4294967295 134512640 134569956 3221224400 3221214732 1080204314 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 25728 13073 16 0 210277 0
vsize: 841172
[startup+530.11 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 21113
Raw data (stat): 21103 (java) R 21102 24215 24214 0 -1 0 18076 0 1 0 51456 56 0 0 25 0 11 0 486009448 861360128 25728 4294967295 134512640 134569956 3221224400 3221214544 1131398031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 25728 13073 16 0 210277 0
vsize: 841172
[startup+540.11 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 21113
Raw data (stat): 21103 (java) R 21102 24215 24214 0 -1 0 18076 0 1 0 52454 56 0 0 25 0 11 0 486009448 861360128 25728 4294967295 134512640 134569956 3221224400 3221214768 1131566572 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 25728 13073 16 0 210277 0
vsize: 841172
[startup+550.11 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 21113
Raw data (stat): 21103 (java) R 21102 24215 24214 0 -1 0 18076 0 1 0 53450 57 0 0 25 0 11 0 486009448 861360128 25759 4294967295 134512640 134569956 3221224400 3221214768 1131566572 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 25759 13073 16 0 210277 0
vsize: 841172
[startup+560.113 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 21113
Raw data (stat): 21103 (java) R 21102 24215 24214 0 -1 0 18076 0 1 0 54448 57 0 0 25 0 11 0 486009448 861360128 25760 4294967295 134512640 134569956 3221224400 3221214768 1131566560 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210293 25760 13073 16 0 210277 0
vsize: 841172
[startup+570.113 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 21113
Raw data (stat): 21103 (java) R 21102 24215 24214 0 -1 0 18076 0 1 0 55444 58 0 0 25 0 11 0 486009448 861360128 25760 4294967295 134512640 134569956 3221224400 3221214672 1131196105 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 25760 13073 16 0 210277 0
vsize: 841172
[startup+580.114 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 21113
Raw data (stat): 21103 (java) R 21102 24215 24214 0 -1 0 18076 0 1 0 56441 58 0 0 25 0 11 0 486009448 861360128 25760 4294967295 134512640 134569956 3221224400 3221214768 1131566572 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 25760 13073 16 0 210277 0
vsize: 841172
[startup+590.114 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 21113
Raw data (stat): 21103 (java) R 21102 24215 24214 0 -1 0 18076 0 1 0 57438 58 0 0 25 0 11 0 486009448 861360128 25760 4294967295 134512640 134569956 3221224400 3221214664 1131217255 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 25760 13073 16 0 210277 0
vsize: 841172
[startup+600.115 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 21113
Raw data (stat): 21103 (java) R 21102 24215 24214 0 -1 0 18076 0 1 0 58435 58 0 0 25 0 11 0 486009448 861360128 25760 4294967295 134512640 134569956 3221224400 3221214664 1131499798 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 25760 13073 16 0 210277 0
vsize: 841172
[startup+610.115 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 21113
Raw data (stat): 21103 (java) R 21102 24215 24214 0 -1 0 18076 0 1 0 59432 59 0 0 25 0 11 0 486009448 861360128 25760 4294967295 134512640 134569956 3221224400 3221214768 1131566577 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 25760 13073 16 0 210277 0
vsize: 841172
[startup+620.116 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 21113
Raw data (stat): 21103 (java) R 21102 24215 24214 0 -1 0 18076 0 1 0 60428 59 0 0 25 0 11 0 486009448 861360128 25760 4294967295 134512640 134569956 3221224400 3221214304 1080217199 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 25760 13073 16 0 210277 0
vsize: 841172
[startup+630.117 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 21113
Raw data (stat): 21103 (java) R 21102 24215 24214 0 -1 0 18076 0 1 0 61425 59 0 0 25 0 11 0 486009448 861360128 25785 4294967295 134512640 134569956 3221224400 3221214768 1131566572 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 25785 13073 16 0 210277 0
vsize: 841172
[startup+640.116 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 21113
Raw data (stat): 21103 (java) R 21102 24215 24214 0 -1 0 18076 0 1 0 62423 60 0 0 25 0 11 0 486009448 861360128 25786 4294967295 134512640 134569956 3221224400 3221214664 1131217957 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 25786 13073 16 0 210277 0
vsize: 841172
[startup+650.117 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 21113
Raw data (stat): 21103 (java) R 21102 24215 24214 0 -1 0 18076 0 1 0 63421 60 0 0 25 0 11 0 486009448 861360128 25788 4294967295 134512640 134569956 3221224400 3221214592 1131421098 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 25788 13073 16 0 210277 0
vsize: 841172
[startup+660.119 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 21113
Raw data (stat): 21103 (java) R 21102 24215 24214 0 -1 0 18076 0 1 0 64419 60 0 0 25 0 11 0 486009448 861360128 25788 4294967295 134512640 134569956 3221224400 3221214664 1131497717 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 25788 13073 16 0 210277 0
vsize: 841172
[startup+670.119 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 21113
Raw data (stat): 21103 (java) R 21102 24215 24214 0 -1 0 18076 0 1 0 65417 60 0 0 25 0 11 0 486009448 861360128 25788 4294967295 134512640 134569956 3221224400 3221214664 1131217240 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 25788 13073 16 0 210277 0
vsize: 841172
[startup+680.12 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 21113
Raw data (stat): 21103 (java) R 21102 24215 24214 0 -1 0 18076 0 1 0 66415 61 0 0 25 0 11 0 486009448 861360128 25788 4294967295 134512640 134569956 3221224400 3221214664 1131217420 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 25788 13073 16 0 210277 0
vsize: 841172
[startup+690.12 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 21113
Raw data (stat): 21103 (java) R 21102 24215 24214 0 -1 0 18076 0 1 0 67413 61 0 0 25 0 11 0 486009448 861360128 25788 4294967295 134512640 134569956 3221224400 3221214768 1131569073 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 25788 13073 16 0 210277 0
vsize: 841172
[startup+700.121 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 21113
Raw data (stat): 21103 (java) R 21102 24215 24214 0 -1 0 18076 0 1 0 68410 61 0 0 25 0 11 0 486009448 861360128 25788 4294967295 134512640 134569956 3221224400 3221214664 1131497939 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 25788 13073 16 0 210277 0
vsize: 841172
[startup+710.125 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 21113
Raw data (stat): 21103 (java) R 21102 24215 24214 0 -1 0 18076 0 1 0 69409 62 0 0 25 0 11 0 486009448 861360128 25789 4294967295 134512640 134569956 3221224400 3221214768 1131569031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 25789 13073 16 0 210277 0
vsize: 841172
[startup+720.177 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 21113
Raw data (stat): 21103 (java) R 21102 24215 24214 0 -1 0 18076 0 1 0 70412 62 0 0 25 0 11 0 486009448 861360128 25789 4294967295 134512640 134569956 3221224400 3221214664 1131217087 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 25789 13073 16 0 210277 0
vsize: 841172
[startup+730.177 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 21113
Raw data (stat): 21103 (java) R 21102 24215 24214 0 -1 0 18076 0 1 0 71409 62 0 0 25 0 11 0 486009448 861360128 25789 4294967295 134512640 134569956 3221224400 3221214768 1131566572 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 25789 13073 16 0 210277 0
vsize: 841172
[startup+740.177 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 21113
Raw data (stat): 21103 (java) R 21102 24215 24214 0 -1 0 18076 0 1 0 72404 63 0 0 25 0 11 0 486009448 861360128 25789 4294967295 134512640 134569956 3221224400 3221214664 1131497936 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 25789 13073 16 0 210277 0
vsize: 841172
[startup+750.177 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 21113
Raw data (stat): 21103 (java) R 21102 24215 24214 0 -1 0 18076 0 1 0 73401 63 0 0 25 0 11 0 486009448 861360128 25789 4294967295 134512640 134569956 3221224400 3221214664 1131500544 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 25789 13073 16 0 210277 0
vsize: 841172
[startup+760.181 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 21113
Raw data (stat): 21103 (java) R 21102 24215 24214 0 -1 0 18076 0 1 0 74398 64 0 0 25 0 11 0 486009448 861360128 25789 4294967295 134512640 134569956 3221224400 3221214664 1131217271 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 25789 13073 16 0 210277 0
vsize: 841172
[startup+770.181 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 21113
Raw data (stat): 21103 (java) R 21102 24215 24214 0 -1 0 18076 0 1 0 75395 64 0 0 25 0 11 0 486009448 861360128 25789 4294967295 134512640 134569956 3221224400 3221214672 1131379735 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 25789 13073 16 0 210277 0
vsize: 841172
[startup+780.182 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 21113
Raw data (stat): 21103 (java) R 21102 24215 24214 0 -1 0 18076 0 1 0 76391 64 0 0 25 0 11 0 486009448 861360128 25789 4294967295 134512640 134569956 3221224400 3221214664 1131217478 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 25789 13073 16 0 210277 0
vsize: 841172
[startup+790.182 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 21113
Raw data (stat): 21103 (java) R 21102 24215 24214 0 -1 0 18076 0 1 0 77388 64 0 0 25 0 11 0 486009448 861360128 25789 4294967295 134512640 134569956 3221224400 3221214768 1131566691 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 25789 13073 16 0 210277 0
vsize: 841172
[startup+800.182 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 21113
Raw data (stat): 21103 (java) R 21102 24215 24214 0 -1 0 18076 0 1 0 78385 65 0 0 25 0 11 0 486009448 861360128 25826 4294967295 134512640 134569956 3221224400 3221214744 1131312249 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 25826 13073 16 0 210277 0
vsize: 841172
[startup+810.182 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 21113
Raw data (stat): 21103 (java) R 21102 24215 24214 0 -1 0 18076 0 1 0 79383 65 0 0 25 0 11 0 486009448 861360128 25833 4294967295 134512640 134569956 3221224400 3221214768 1131566572 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210293 25833 13073 16 0 210277 0
vsize: 841172
[startup+820.183 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 21113
Raw data (stat): 21103 (java) R 21102 24215 24214 0 -1 0 18076 0 1 0 80381 65 0 0 25 0 11 0 486009448 861360128 25834 4294967295 134512640 134569956 3221224400 3221214664 1131217109 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 25834 13073 16 0 210277 0
vsize: 841172
[startup+830.183 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 21113
Raw data (stat): 21103 (java) R 21102 24215 24214 0 -1 0 18076 0 1 0 81379 65 0 0 25 0 11 0 486009448 861360128 25834 4294967295 134512640 134569956 3221224400 3221214664 1131217255 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 25834 13073 16 0 210277 0
vsize: 841172
[startup+840.184 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 21113
Raw data (stat): 21103 (java) R 21102 24215 24214 0 -1 0 18076 0 1 0 82378 65 0 0 25 0 11 0 486009448 861360128 25834 4294967295 134512640 134569956 3221224400 3221214664 1131497694 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 25834 13073 16 0 210277 0
vsize: 841172
[startup+850.184 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 21113
Raw data (stat): 21103 (java) R 21102 24215 24214 0 -1 0 18076 0 1 0 83375 65 0 0 25 0 11 0 486009448 861360128 25834 4294967295 134512640 134569956 3221224400 3221214764 1131219383 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 25834 13073 16 0 210277 0
vsize: 841172
[startup+860.185 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 21113
Raw data (stat): 21103 (java) R 21102 24215 24214 0 -1 0 18076 0 1 0 84373 66 0 0 25 0 11 0 486009448 861360128 25834 4294967295 134512640 134569956 3221224400 3221214768 1131566691 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 25834 13073 16 0 210277 0
vsize: 841172
[startup+870.185 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 21113
Raw data (stat): 21103 (java) R 21102 24215 24214 0 -1 0 18076 0 1 0 85372 66 0 0 25 0 11 0 486009448 861360128 25834 4294967295 134512640 134569956 3221224400 3221214768 1131566572 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 25834 13073 16 0 210277 0
vsize: 841172
[startup+880.185 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 21113
Raw data (stat): 21103 (java) R 21102 24215 24214 0 -1 0 18076 0 1 0 86370 66 0 0 25 0 11 0 486009448 861360128 25834 4294967295 134512640 134569956 3221224400 3221214664 1131498029 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 25834 13073 16 0 210277 0
vsize: 841172
[startup+890.185 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 21113
Raw data (stat): 21103 (java) R 21102 24215 24214 0 -1 0 18076 0 1 0 87368 66 0 0 25 0 11 0 486009448 861360128 25834 4294967295 134512640 134569956 3221224400 3221214664 1131217370 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 25834 13073 16 0 210277 0
vsize: 841172
[startup+900.186 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 21113
Raw data (stat): 21103 (java) R 21102 24215 24214 0 -1 0 18076 0 1 0 88364 66 0 0 25 0 11 0 486009448 861360128 25834 4294967295 134512640 134569956 3221224400 3221214720 1131170080 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 25834 13073 16 0 210277 0
vsize: 841172
[startup+910.186 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 21113
Raw data (stat): 21103 (java) R 21102 24215 24214 0 -1 0 18076 0 1 0 89361 66 0 0 25 0 11 0 486009448 861360128 25834 4294967295 134512640 134569956 3221224400 3221214664 1131497714 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 25834 13073 16 0 210277 0
vsize: 841172
[startup+920.188 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 21113
Raw data (stat): 21103 (java) R 21102 24215 24214 0 -1 0 18076 0 1 0 90358 67 0 0 25 0 11 0 486009448 861360128 25834 4294967295 134512640 134569956 3221224400 3221214768 1131566572 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 25834 13073 16 0 210277 0
vsize: 841172
[startup+930.188 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 21113
Raw data (stat): 21103 (java) R 21102 24215 24214 0 -1 0 18076 0 1 0 91355 67 0 0 25 0 11 0 486009448 861360128 25834 4294967295 134512640 134569956 3221224400 3221214768 1131566572 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 25834 13073 16 0 210277 0
vsize: 841172
[startup+940.188 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 21113
Raw data (stat): 21103 (java) R 21102 24215 24214 0 -1 0 18076 0 1 0 92352 67 0 0 25 0 11 0 486009448 861360128 25834 4294967295 134512640 134569956 3221224400 3221214664 1131217393 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 25834 13073 16 0 210277 0
vsize: 841172
[startup+950.189 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 21113
Raw data (stat): 21103 (java) R 21102 24215 24214 0 -1 0 18076 0 1 0 93349 68 0 0 25 0 11 0 486009448 861360128 25834 4294967295 134512640 134569956 3221224400 3221214768 1131566575 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 25834 13073 16 0 210277 0
vsize: 841172
[startup+960.19 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 21113
Raw data (stat): 21103 (java) R 21102 24215 24214 0 -1 0 18076 0 1 0 94346 68 0 0 25 0 11 0 486009448 861360128 25834 4294967295 134512640 134569956 3221224400 3221214664 1131498973 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 25834 13073 16 0 210277 0
vsize: 841172
[startup+970.191 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 21113
Raw data (stat): 21103 (java) R 21102 24215 24214 0 -1 0 18076 0 1 0 95344 68 0 0 25 0 11 0 486009448 861360128 25870 4294967295 134512640 134569956 3221224400 3221214264 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 25870 13073 16 0 210277 0
vsize: 841172
[startup+980.191 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 21113
Raw data (stat): 21103 (java) R 21102 24215 24214 0 -1 0 18076 0 1 0 96342 68 0 0 25 0 11 0 486009448 861360128 25872 4294967295 134512640 134569956 3221224400 3221214768 1131566684 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 25872 13073 16 0 210277 0
vsize: 841172
[startup+990.191 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 21113
Raw data (stat): 21103 (java) R 21102 24215 24214 0 -1 0 18076 0 1 0 97340 68 0 0 25 0 11 0 486009448 861360128 25872 4294967295 134512640 134569956 3221224400 3221214768 1131566572 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 25872 13073 16 0 210277 0
vsize: 841172
[startup+1000.19 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 21113
Raw data (stat): 21103 (java) R 21102 24215 24214 0 -1 0 18076 0 1 0 98337 69 0 0 25 0 11 0 486009448 861360128 25872 4294967295 134512640 134569956 3221224400 3221214768 1131566669 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 25872 13073 16 0 210277 0
vsize: 841172
[startup+1010.19 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 21113
Raw data (stat): 21103 (java) R 21102 24215 24214 0 -1 0 18076 0 1 0 99335 69 0 0 25 0 11 0 486009448 861360128 25872 4294967295 134512640 134569956 3221224400 3221214664 1131498104 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 25872 13073 16 0 210277 0
vsize: 841172
[startup+1020.19 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 21113
Raw data (stat): 21103 (java) R 21102 24215 24214 0 -1 0 18076 0 1 0 100333 69 0 0 25 0 11 0 486009448 861360128 25872 4294967295 134512640 134569956 3221224400 3221214664 1131217255 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 25872 13073 16 0 210277 0
vsize: 841172
[startup+1030.19 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 21113
Raw data (stat): 21103 (java) R 21102 24215 24214 0 -1 0 18076 0 1 0 101331 70 0 0 25 0 11 0 486009448 861360128 25872 4294967295 134512640 134569956 3221224400 3221214664 1131217452 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210293 25872 13073 16 0 210277 0
vsize: 841172
[startup+1040.19 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 21113
Raw data (stat): 21103 (java) R 21102 24215 24214 0 -1 0 18076 0 1 0 102329 70 0 0 25 0 11 0 486009448 861360128 25872 4294967295 134512640 134569956 3221224400 3221214664 1131217333 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 25872 13073 16 0 210277 0
vsize: 841172
[startup+1050.19 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 21113
Raw data (stat): 21103 (java) R 21102 24215 24214 0 -1 0 18076 0 1 0 103325 70 0 0 25 0 11 0 486009448 861360128 25872 4294967295 134512640 134569956 3221224400 3221214764 1131196051 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 25872 13073 16 0 210277 0
vsize: 841172
[startup+1060.19 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 21113
Raw data (stat): 21103 (java) R 21102 24215 24214 0 -1 0 18076 0 1 0 104321 71 0 0 25 0 11 0 486009448 861360128 25872 4294967295 134512640 134569956 3221224400 3221214768 1131566572 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 25872 13073 16 0 210277 0
vsize: 841172
[startup+1070.2 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 21113
Raw data (stat): 21103 (java) R 21102 24215 24214 0 -1 0 18076 0 1 0 105318 71 0 0 25 0 11 0 486009448 861360128 25872 4294967295 134512640 134569956 3221224400 3221214552 1131390207 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 25872 13073 16 0 210277 0
vsize: 841172
[startup+1080.2 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 21113
Raw data (stat): 21103 (java) R 21102 24215 24214 0 -1 0 18076 0 1 0 106315 71 0 0 25 0 11 0 486009448 861360128 25872 4294967295 134512640 134569956 3221224400 3221214664 1131497980 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 25872 13073 16 0 210277 0
vsize: 841172
[startup+1090.2 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 21113
Raw data (stat): 21103 (java) R 21102 24215 24214 0 -1 0 18077 0 1 0 107311 72 0 0 25 0 11 0 486009448 861360128 25873 4294967295 134512640 134569956 3221224400 3221214664 1131497939 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 25873 13073 16 0 210277 0
vsize: 841172
[startup+1100.2 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 21113
Raw data (stat): 21103 (java) R 21102 24215 24214 0 -1 0 18077 0 1 0 108308 72 0 0 25 0 11 0 486009448 861360128 25873 4294967295 134512640 134569956 3221224400 3221214768 1131566575 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 25873 13073 16 0 210277 0
vsize: 841172
[startup+1110.2 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 21113
Raw data (stat): 21103 (java) R 21102 24215 24214 0 -1 0 18077 0 1 0 109305 72 0 0 25 0 11 0 486009448 861360128 25905 4294967295 134512640 134569956 3221224400 3221214664 1131217255 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 25905 13073 16 0 210277 0
vsize: 841172
[startup+1120.2 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 21113
Raw data (stat): 21103 (java) R 21102 24215 24214 0 -1 0 18077 0 1 0 110303 72 0 0 25 0 11 0 486009448 861360128 25905 4294967295 134512640 134569956 3221224400 3221214664 1131216934 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 25905 13073 16 0 210277 0
vsize: 841172
[startup+1130.2 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 21113
Raw data (stat): 21103 (java) R 21102 24215 24214 0 -1 0 18077 0 1 0 111300 72 0 0 25 0 11 0 486009448 861360128 25912 4294967295 134512640 134569956 3221224400 3221214664 1131217954 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 25912 13073 16 0 210277 0
vsize: 841172
[startup+1140.2 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 21113
Raw data (stat): 21103 (java) R 21102 24215 24214 0 -1 0 18077 0 1 0 112298 73 0 0 25 0 11 0 486009448 861360128 25912 4294967295 134512640 134569956 3221224400 3221214664 1131498987 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 25912 13073 16 0 210277 0
vsize: 841172
[startup+1150.2 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 21113
Raw data (stat): 21103 (java) R 21102 24215 24214 0 -1 0 18077 0 1 0 113296 73 0 0 25 0 11 0 486009448 861360128 25912 4294967295 134512640 134569956 3221224400 3221214664 1131498053 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 25912 13073 16 0 210277 0
vsize: 841172
[startup+1160.2 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 21113
Raw data (stat): 21103 (java) R 21102 24215 24214 0 -1 0 18077 0 1 0 114293 74 0 0 25 0 11 0 486009448 861360128 25912 4294967295 134512640 134569956 3221224400 3221214664 1131217377 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 25912 13073 16 0 210277 0
vsize: 841172
[startup+1170.21 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 21113
Raw data (stat): 21103 (java) R 21102 24215 24214 0 -1 0 18077 0 1 0 115292 74 0 0 25 0 11 0 486009448 861360128 25912 4294967295 134512640 134569956 3221224400 3221214768 1131566572 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 25912 13073 16 0 210277 0
vsize: 841172
[startup+1180.21 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 21113
Raw data (stat): 21103 (java) R 21102 24215 24214 0 -1 0 18077 0 1 0 116291 74 0 0 25 0 11 0 486009448 861360128 25912 4294967295 134512640 134569956 3221224400 3221214664 1131217255 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 25912 13073 16 0 210277 0
vsize: 841172
[startup+1190.21 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 21113
Raw data (stat): 21103 (java) R 21102 24215 24214 0 -1 0 18077 0 1 0 117288 74 0 0 25 0 11 0 486009448 861360128 25912 4294967295 134512640 134569956 3221224400 3221214768 1131566560 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 25912 13073 16 0 210277 0
vsize: 841172
[startup+1200.21 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 21113
Raw data (stat): 21103 (java) R 21102 24215 24214 0 -1 0 18077 0 1 0 118286 74 0 0 25 0 11 0 486009448 861360128 25912 4294967295 134512640 134569956 3221224400 3221214664 1131217087 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 25912 13073 16 0 210277 0
vsize: 841172
[startup+1210.21 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 21113
Raw data (stat): 21103 (java) R 21102 24215 24214 0 -1 0 18077 0 1 0 119284 74 0 0 25 0 11 0 486009448 861360128 25912 4294967295 134512640 134569956 3221224400 3221214768 1131566572 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 25912 13073 16 0 210277 0
vsize: 841172
[startup+1220.22 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 21113
Raw data (stat): 21103 (java) R 21102 24215 24214 0 -1 0 18077 0 1 0 120281 75 0 0 25 0 11 0 486009448 861360128 25912 4294967295 134512640 134569956 3221224400 3221214664 1131217255 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 25912 13073 16 0 210277 0
vsize: 841172
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1220.31 s]
Raw data (loadavg): 1.00 1.00 0.99 1/54 21115
Raw data (stat): 21103 (java) Z 21102 24215 24214 0 -1 1036 18077 5746 1 0 120283 75 1407 19 25 0 1 0 486009448 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1220.31
CPU time (s): 1217.85
CPU user time (s): 1216.9
CPU system time (s): 0.949855
CPU usage (%): 99.7985
Max. virtual memory (Kb): 841172
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####