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/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-swath1.opb
MD5SUM2363c3dae186baf817249083f089ff6e
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 31
Biggest coefficient in the objective function 1073741824
Number of bits for the biggest coefficient in the objective function 31
Sum of the numbers in the objective function 2147483647
Number of bits of the sum of numbers in the objective function 31
Biggest number in a constraint 1073741824000000
Number of bits of the biggest number in a constraint 50
Biggest sum of numbers in a constraint 4832120913850916
Number of bits of the biggest sum of numbers53
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark1.86571
Number of variables53335
Total number of constraints7608
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)2495
Number of constraints which are nor clauses,nor cardinality constraints5113
Minimum length of a constraint1
Maximum length of a constraint50934

Trace number 13440

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        760016 kB
Buffers:         33384 kB
Cached:         218484 kB
SwapCached:          4 kB
Active:          96844 kB
Inactive:       157712 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        759764 kB
SwapTotal:     2097136 kB
SwapFree:      2097044 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6824 kB
Slab:            14384 kB
Committed_AS:    63596 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-20 21:09:03 (client local time) WITH STATUS 143 IN 1279.08 SECONDS
stats: 14829 7 1279.08 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-20-10-swath1.opb
c reading problem 
c [nbvar=53335]
c [nbconstr=7608]
c time 840.184
c #vars     53335
c #clauses  5405
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.81 0.91 0.72 2/54 23168
Raw data (stat): 23168 (runsolver) R 23167 29653 29652 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 481213764 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.0013 s]
Raw data (loadavg): 1.00 0.94 0.74 2/63 23177
Raw data (stat): 23168 (java) R 23167 29653 29652 0 -1 0 18012 0 1 0 874 36 0 0 21 0 10 0 481213764 857620480 20202 4294967295 134512640 134569956 3221224400 3221214716 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209380 20202 13073 16 0 209364 0
vsize: 837520
[startup+20.0021 s]
Raw data (loadavg): 1.00 0.94 0.74 3/63 23177
Raw data (stat): 23168 (java) R 23167 29653 29652 0 -1 0 18012 0 1 0 1754 37 0 0 20 0 10 0 481213764 854802432 20188 4294967295 134512640 134569956 3221224400 3221214784 1131221197 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 20188 13073 16 0 208676 0
vsize: 834768
[startup+30.0032 s]
Raw data (loadavg): 1.00 0.94 0.74 2/63 23177
Raw data (stat): 23168 (java) S 23167 29653 29652 0 -1 0 18012 0 1 0 2622 37 0 0 23 0 10 0 481213764 855851008 20954 4294967295 134512640 134569956 3221224400 3221213528 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208948 20954 13073 16 0 208932 0
vsize: 835792
[startup+40.0034 s]
Raw data (loadavg): 1.00 0.94 0.74 2/63 23177
Raw data (stat): 23168 (java) R 23167 29653 29652 0 -1 0 18012 0 1 0 3530 38 0 0 23 0 10 0 481213764 854802432 21115 4294967295 134512640 134569956 3221224400 3221214780 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 21115 13073 16 0 208676 0
vsize: 834768
[startup+50.0045 s]
Raw data (loadavg): 1.00 0.95 0.75 2/63 23177
Raw data (stat): 23168 (java) R 23167 29653 29652 0 -1 0 18012 0 1 0 4443 38 0 0 21 0 10 0 481213764 854802432 21288 4294967295 134512640 134569956 3221224400 3221214840 1131272948 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 21288 13073 16 0 208676 0
vsize: 834768
[startup+60.0047 s]
Raw data (loadavg): 1.00 0.95 0.75 2/63 23177
Raw data (stat): 23168 (java) R 23167 29653 29652 0 -1 0 18012 0 1 0 5360 39 0 0 23 0 10 0 481213764 854802432 21422 4294967295 134512640 134569956 3221224400 3221214780 1080204160 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 21422 13073 16 0 208676 0
vsize: 834768
[startup+70.0058 s]
Raw data (loadavg): 1.00 0.95 0.75 2/63 23177
Raw data (stat): 23168 (java) R 23167 29653 29652 0 -1 0 18012 0 1 0 6287 39 0 0 25 0 10 0 481213764 854802432 21619 4294967295 134512640 134569956 3221224400 3221214780 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 21619 13073 16 0 208676 0
vsize: 834768
[startup+80.009 s]
Raw data (loadavg): 1.00 0.95 0.75 2/63 23177
Raw data (stat): 23168 (java) R 23167 29653 29652 0 -1 0 18012 0 1 0 7221 39 0 0 20 0 10 0 481213764 854802432 21724 4294967295 134512640 134569956 3221224400 3221214304 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208692 21724 13073 16 0 208676 0
vsize: 834768
[startup+90.0091 s]
Raw data (loadavg): 1.00 0.95 0.75 2/63 23177
Raw data (stat): 23168 (java) R 23167 29653 29652 0 -1 0 18012 0 1 0 8156 39 0 0 20 0 10 0 481213764 854802432 21821 4294967295 134512640 134569956 3221224400 3221214304 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208692 21821 13073 16 0 208676 0
vsize: 834768
[startup+100.009 s]
Raw data (loadavg): 1.00 0.95 0.76 2/63 23177
Raw data (stat): 23168 (java) R 23167 29653 29652 0 -1 0 18012 0 1 0 9091 40 0 0 20 0 10 0 481213764 854802432 21911 4294967295 134512640 134569956 3221224400 3221214304 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208692 21911 13073 16 0 208676 0
vsize: 834768
[startup+110.01 s]
Raw data (loadavg): 1.00 0.95 0.76 2/63 23177
Raw data (stat): 23168 (java) R 23167 29653 29652 0 -1 0 18012 0 1 0 10021 40 0 0 24 0 10 0 481213764 854802432 22003 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 22003 13073 16 0 208676 0
vsize: 834768
[startup+120.011 s]
Raw data (loadavg): 1.00 0.95 0.76 2/63 23177
Raw data (stat): 23168 (java) R 23167 29653 29652 0 -1 0 18012 0 1 0 10956 40 0 0 25 0 10 0 481213764 854802432 22082 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 22082 13073 16 0 208676 0
vsize: 834768
[startup+130.012 s]
Raw data (loadavg): 1.00 0.95 0.76 2/63 23177
Raw data (stat): 23168 (java) R 23167 29653 29652 0 -1 0 18012 0 1 0 11891 41 0 0 25 0 10 0 481213764 854802432 22157 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 22157 13073 16 0 208676 0
vsize: 834768
[startup+140.012 s]
Raw data (loadavg): 1.00 0.95 0.76 2/63 23177
Raw data (stat): 23168 (java) R 23167 29653 29652 0 -1 0 18012 0 1 0 12825 41 0 0 23 0 10 0 481213764 854802432 22229 4294967295 134512640 134569956 3221224400 3221214288 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 22229 13073 16 0 208676 0
vsize: 834768
[startup+150.015 s]
Raw data (loadavg): 1.00 0.96 0.77 2/63 23177
Raw data (stat): 23168 (java) R 23167 29653 29652 0 -1 0 18012 0 1 0 13756 41 0 0 16 0 10 0 481213764 854802432 22302 4294967295 134512640 134569956 3221224400 3221214288 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 22302 13073 16 0 208676 0
vsize: 834768
[startup+160.023 s]
Raw data (loadavg): 1.00 0.96 0.77 2/63 23177
Raw data (stat): 23168 (java) R 23167 29653 29652 0 -1 0 18012 0 1 0 14691 42 0 0 25 0 10 0 481213764 854802432 22368 4294967295 134512640 134569956 3221224400 3221214772 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 22368 13073 16 0 208676 0
vsize: 834768
[startup+170.023 s]
Raw data (loadavg): 1.00 0.96 0.77 2/63 23177
Raw data (stat): 23168 (java) R 23167 29653 29652 0 -1 0 18012 0 1 0 15624 42 0 0 25 0 10 0 481213764 854802432 22431 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 22431 13073 16 0 208676 0
vsize: 834768
[startup+180.023 s]
Raw data (loadavg): 1.00 0.96 0.77 2/63 23177
Raw data (stat): 23168 (java) R 23167 29653 29652 0 -1 0 18012 0 1 0 16542 43 0 0 25 0 10 0 481213764 854802432 22493 4294967295 134512640 134569956 3221224400 3221214304 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 22493 13073 16 0 208676 0
vsize: 834768
[startup+190.032 s]
Raw data (loadavg): 1.00 0.96 0.77 2/63 23177
Raw data (stat): 23168 (java) R 23167 29653 29652 0 -1 0 18012 0 1 0 17458 43 0 0 25 0 10 0 481213764 854802432 22553 4294967295 134512640 134569956 3221224400 3221214288 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 22553 13073 16 0 208676 0
vsize: 834768
[startup+200.033 s]
Raw data (loadavg): 1.00 0.96 0.78 2/63 23177
Raw data (stat): 23168 (java) R 23167 29653 29652 0 -1 0 18012 0 1 0 18385 43 0 0 25 0 10 0 481213764 854802432 22771 4294967295 134512640 134569956 3221224400 3221214016 1076874552 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 22771 13073 16 0 208676 0
vsize: 834768
[startup+210.033 s]
Raw data (loadavg): 1.00 0.96 0.78 2/63 23177
Raw data (stat): 23168 (java) R 23167 29653 29652 0 -1 0 18012 0 1 0 19316 43 0 0 25 0 10 0 481213764 854802432 22827 4294967295 134512640 134569956 3221224400 3221214240 1076461015 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 22827 13073 16 0 208676 0
vsize: 834768
[startup+220.035 s]
Raw data (loadavg): 1.00 0.96 0.78 2/63 23177
Raw data (stat): 23168 (java) R 23167 29653 29652 0 -1 0 18012 0 1 0 20242 43 0 0 17 0 10 0 481213764 854802432 22885 4294967295 134512640 134569956 3221224400 3221214772 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 22885 13073 16 0 208676 0
vsize: 834768
[startup+230.035 s]
Raw data (loadavg): 1.00 0.96 0.78 2/63 23177
Raw data (stat): 23168 (java) R 23167 29653 29652 0 -1 0 18012 0 1 0 21170 44 0 0 25 0 10 0 481213764 854802432 22938 4294967295 134512640 134569956 3221224400 3221214304 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 22938 13073 16 0 208676 0
vsize: 834768
[startup+240.035 s]
Raw data (loadavg): 1.00 0.96 0.78 2/63 23177
Raw data (stat): 23168 (java) R 23167 29653 29652 0 -1 0 18012 0 1 0 22099 44 0 0 25 0 10 0 481213764 854802432 22991 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 22991 13073 16 0 208676 0
vsize: 834768
[startup+250.036 s]
Raw data (loadavg): 1.00 0.97 0.79 2/63 23177
Raw data (stat): 23168 (java) R 23167 29653 29652 0 -1 0 18012 0 1 0 23027 45 0 0 25 0 10 0 481213764 854802432 23042 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 23042 13073 16 0 208676 0
vsize: 834768
[startup+260.037 s]
Raw data (loadavg): 1.22 1.02 0.80 2/63 23177
Raw data (stat): 23168 (java) R 23167 29653 29652 0 -1 0 18012 0 1 0 23954 45 0 0 25 0 10 0 481213764 854802432 23091 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 23091 13073 16 0 208676 0
vsize: 834768
[startup+270.041 s]
Raw data (loadavg): 1.19 1.01 0.81 2/63 23177
Raw data (stat): 23168 (java) S 23167 29653 29652 0 -1 0 18012 0 1 0 24879 45 0 0 24 0 10 0 481213764 854802432 23141 4294967295 134512640 134569956 3221224400 3221213528 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 23141 13073 16 0 208676 0
vsize: 834768
[startup+280.042 s]
Raw data (loadavg): 1.16 1.01 0.81 2/63 23177
Raw data (stat): 23168 (java) R 23167 29653 29652 0 -1 0 18012 0 1 0 25803 46 0 0 24 0 10 0 481213764 854802432 23191 4294967295 134512640 134569956 3221224400 3221214780 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208692 23191 13073 16 0 208676 0
vsize: 834768
[startup+290.042 s]
Raw data (loadavg): 1.13 1.01 0.81 2/63 23177
Raw data (stat): 23168 (java) R 23167 29653 29652 0 -1 0 18012 0 1 0 26728 47 0 0 25 0 10 0 481213764 854802432 23237 4294967295 134512640 134569956 3221224400 3221214136 1076914545 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 23237 13073 16 0 208676 0
vsize: 834768
[startup+300.042 s]
Raw data (loadavg): 1.11 1.01 0.81 2/63 23177
Raw data (stat): 23168 (java) R 23167 29653 29652 0 -1 0 18012 0 1 0 27652 47 0 0 25 0 10 0 481213764 854802432 23283 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 23283 13073 16 0 208676 0
vsize: 834768
[startup+310.042 s]
Raw data (loadavg): 1.10 1.01 0.81 2/63 23177
Raw data (stat): 23168 (java) R 23167 29653 29652 0 -1 0 18012 0 1 0 28577 48 0 0 25 0 10 0 481213764 854802432 23328 4294967295 134512640 134569956 3221224400 3221214288 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 23328 13073 16 0 208676 0
vsize: 834768
[startup+320.042 s]
Raw data (loadavg): 1.08 1.01 0.81 2/63 23177
Raw data (stat): 23168 (java) R 23167 29653 29652 0 -1 0 18012 0 1 0 29501 48 0 0 25 0 10 0 481213764 854802432 23373 4294967295 134512640 134569956 3221224400 3221214772 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 23373 13073 16 0 208676 0
vsize: 834768
[startup+330.05 s]
Raw data (loadavg): 1.07 1.01 0.82 2/63 23177
Raw data (stat): 23168 (java) R 23167 29653 29652 0 -1 0 18012 0 1 0 30425 48 0 0 25 0 10 0 481213764 854802432 23416 4294967295 134512640 134569956 3221224400 3221214780 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 23416 13073 16 0 208676 0
vsize: 834768
[startup+340.051 s]
Raw data (loadavg): 1.06 1.01 0.82 2/63 23177
Raw data (stat): 23168 (java) R 23167 29653 29652 0 -1 0 18012 0 1 0 31347 49 0 0 25 0 10 0 481213764 854802432 23459 4294967295 134512640 134569956 3221224400 3221214780 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 23459 13073 16 0 208676 0
vsize: 834768
[startup+350.051 s]
Raw data (loadavg): 1.05 1.01 0.82 2/63 23177
Raw data (stat): 23168 (java) R 23167 29653 29652 0 -1 0 18012 0 1 0 32268 50 0 0 25 0 10 0 481213764 854802432 23508 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 23508 13073 16 0 208676 0
vsize: 834768
[startup+360.052 s]
Raw data (loadavg): 1.04 1.01 0.82 2/63 23177
Raw data (stat): 23168 (java) R 23167 29653 29652 0 -1 0 18012 0 1 0 33189 50 0 0 25 0 10 0 481213764 854802432 23550 4294967295 134512640 134569956 3221224400 3221214288 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 23550 13073 16 0 208676 0
vsize: 834768
[startup+370.053 s]
Raw data (loadavg): 1.03 1.00 0.82 2/63 23177
Raw data (stat): 23168 (java) R 23167 29653 29652 0 -1 0 18012 0 1 0 34110 50 0 0 25 0 10 0 481213764 854802432 23591 4294967295 134512640 134569956 3221224400 3221214304 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 23591 13073 16 0 208676 0
vsize: 834768
[startup+380.069 s]
Raw data (loadavg): 1.03 1.00 0.82 2/63 23177
Raw data (stat): 23168 (java) R 23167 29653 29652 0 -1 0 18012 0 1 0 35032 51 0 0 25 0 10 0 481213764 854802432 23631 4294967295 134512640 134569956 3221224400 3221214304 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 23631 13073 16 0 208676 0
vsize: 834768
[startup+390.069 s]
Raw data (loadavg): 1.02 1.00 0.82 2/63 23177
Raw data (stat): 23168 (java) R 23167 29653 29652 0 -1 0 18012 0 1 0 35951 51 0 0 25 0 10 0 481213764 854802432 23671 4294967295 134512640 134569956 3221224400 3221214304 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 23671 13073 16 0 208676 0
vsize: 834768
[startup+400.073 s]
Raw data (loadavg): 1.02 1.00 0.82 2/63 23177
Raw data (stat): 23168 (java) R 23167 29653 29652 0 -1 0 18012 0 1 0 36871 52 0 0 25 0 10 0 481213764 854802432 23710 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 23710 13073 16 0 208676 0
vsize: 834768
[startup+410.074 s]
Raw data (loadavg): 1.02 1.00 0.83 2/63 23177
Raw data (stat): 23168 (java) R 23167 29653 29652 0 -1 0 18012 0 1 0 37789 53 0 0 25 0 10 0 481213764 854802432 23749 4294967295 134512640 134569956 3221224400 3221214248 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 23749 13073 16 0 208676 0
vsize: 834768
[startup+420.074 s]
Raw data (loadavg): 1.01 1.00 0.83 2/63 23177
Raw data (stat): 23168 (java) R 23167 29653 29652 0 -1 0 18012 0 1 0 38707 53 0 0 25 0 10 0 481213764 854802432 23787 4294967295 134512640 134569956 3221224400 3221214780 1080204166 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 23787 13073 16 0 208676 0
vsize: 834768
[startup+430.075 s]
Raw data (loadavg): 1.01 1.00 0.83 2/63 23177
Raw data (stat): 23168 (java) R 23167 29653 29652 0 -1 0 18012 0 1 0 39625 53 0 0 25 0 10 0 481213764 854802432 23825 4294967295 134512640 134569956 3221224400 3221214304 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 23825 13073 16 0 208676 0
vsize: 834768
[startup+440.076 s]
Raw data (loadavg): 1.01 1.00 0.83 2/63 23177
Raw data (stat): 23168 (java) R 23167 29653 29652 0 -1 0 18012 0 1 0 40542 54 0 0 25 0 10 0 481213764 854802432 23862 4294967295 134512640 134569956 3221224400 3221214288 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 23862 13073 16 0 208676 0
vsize: 834768
[startup+450.076 s]
Raw data (loadavg): 1.01 1.00 0.83 2/63 23177
Raw data (stat): 23168 (java) R 23167 29653 29652 0 -1 0 18012 0 1 0 41459 54 0 0 25 0 10 0 481213764 854802432 23899 4294967295 134512640 134569956 3221224400 3221214288 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 23899 13073 16 0 208676 0
vsize: 834768
[startup+460.077 s]
Raw data (loadavg): 1.00 1.00 0.83 2/63 23177
Raw data (stat): 23168 (java) R 23167 29653 29652 0 -1 0 18012 0 1 0 42375 54 0 0 25 0 10 0 481213764 854802432 23935 4294967295 134512640 134569956 3221224400 3221214304 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 23935 13073 16 0 208676 0
vsize: 834768
[startup+470.079 s]
Raw data (loadavg): 1.00 1.00 0.83 2/63 23177
Raw data (stat): 23168 (java) R 23167 29653 29652 0 -1 0 18012 0 1 0 43291 55 0 0 25 0 10 0 481213764 854802432 23971 4294967295 134512640 134569956 3221224400 3221214304 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 23971 13073 16 0 208676 0
vsize: 834768
[startup+480.079 s]
Raw data (loadavg): 1.00 1.00 0.83 2/63 23177
Raw data (stat): 23168 (java) R 23167 29653 29652 0 -1 0 18012 0 1 0 44205 55 0 0 25 0 10 0 481213764 854802432 24008 4294967295 134512640 134569956 3221224400 3221214772 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 24008 13073 16 0 208676 0
vsize: 834768
[startup+490.079 s]
Raw data (loadavg): 1.00 1.00 0.83 2/63 23177
Raw data (stat): 23168 (java) R 23167 29653 29652 0 -1 0 18012 0 1 0 45120 56 0 0 25 0 10 0 481213764 854802432 24043 4294967295 134512640 134569956 3221224400 3221214304 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 24043 13073 16 0 208676 0
vsize: 834768
[startup+500.08 s]
Raw data (loadavg): 1.00 1.00 0.83 2/63 23177
Raw data (stat): 23168 (java) R 23167 29653 29652 0 -1 0 18012 0 1 0 46034 56 0 0 25 0 10 0 481213764 854802432 24078 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 24078 13073 16 0 208676 0
vsize: 834768
[startup+510.08 s]
Raw data (loadavg): 1.00 1.00 0.84 2/63 23177
Raw data (stat): 23168 (java) R 23167 29653 29652 0 -1 0 18012 0 1 0 46947 57 0 0 25 0 10 0 481213764 854802432 24113 4294967295 134512640 134569956 3221224400 3221214304 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 24113 13073 16 0 208676 0
vsize: 834768
[startup+520.081 s]
Raw data (loadavg): 1.00 1.00 0.84 2/63 23177
Raw data (stat): 23168 (java) S 23167 29653 29652 0 -1 0 18012 0 1 0 47863 57 0 0 25 0 10 0 481213764 854802432 24145 4294967295 134512640 134569956 3221224400 3221213424 1073952481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 24145 13073 16 0 208676 0
vsize: 834768
[startup+530.082 s]
Raw data (loadavg): 1.00 1.00 0.84 2/63 23177
Raw data (stat): 23168 (java) R 23167 29653 29652 0 -1 0 18012 0 1 0 48777 57 0 0 25 0 10 0 481213764 854802432 24179 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 24179 13073 16 0 208676 0
vsize: 834768
[startup+540.083 s]
Raw data (loadavg): 1.00 1.00 0.84 2/63 23177
Raw data (stat): 23168 (java) R 23167 29653 29652 0 -1 0 18012 0 1 0 49689 58 0 0 25 0 10 0 481213764 854802432 24212 4294967295 134512640 134569956 3221224400 3221214304 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 24212 13073 16 0 208676 0
vsize: 834768
[startup+550.083 s]
Raw data (loadavg): 1.00 1.00 0.84 2/63 23177
Raw data (stat): 23168 (java) R 23167 29653 29652 0 -1 0 18012 0 1 0 50601 58 0 0 25 0 10 0 481213764 854802432 24245 4294967295 134512640 134569956 3221224400 3221214828 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 24245 13073 16 0 208676 0
vsize: 834768
[startup+560.084 s]
Raw data (loadavg): 1.00 1.00 0.84 2/63 23177
Raw data (stat): 23168 (java) R 23167 29653 29652 0 -1 0 18012 0 1 0 51512 58 0 0 25 0 10 0 481213764 854802432 24278 4294967295 134512640 134569956 3221224400 3221214288 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 24278 13073 16 0 208676 0
vsize: 834768
[startup+570.085 s]
Raw data (loadavg): 1.00 1.00 0.84 2/63 23177
Raw data (stat): 23168 (java) R 23167 29653 29652 0 -1 0 18012 0 1 0 52422 59 0 0 24 0 10 0 481213764 854802432 24311 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 24311 13073 16 0 208676 0
vsize: 834768
[startup+580.086 s]
Raw data (loadavg): 1.00 1.00 0.84 2/63 23177
Raw data (stat): 23168 (java) R 23167 29653 29652 0 -1 0 18012 0 1 0 53338 59 0 0 25 0 10 0 481213764 854802432 24341 4294967295 134512640 134569956 3221224400 3221214304 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 24341 13073 16 0 208676 0
vsize: 834768
[startup+590.086 s]
Raw data (loadavg): 1.00 1.00 0.84 2/63 23177
Raw data (stat): 23168 (java) R 23167 29653 29652 0 -1 0 18012 0 1 0 54246 60 0 0 25 0 10 0 481213764 854802432 24373 4294967295 134512640 134569956 3221224400 3221214304 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 24373 13073 16 0 208676 0
vsize: 834768
[startup+600.087 s]
Raw data (loadavg): 1.00 1.00 0.84 2/63 23177
Raw data (stat): 23168 (java) R 23167 29653 29652 0 -1 0 18012 0 1 0 55155 60 0 0 20 0 10 0 481213764 854802432 24405 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 24405 13073 16 0 208676 0
vsize: 834768
[startup+610.088 s]
Raw data (loadavg): 1.00 1.00 0.85 2/63 23177
Raw data (stat): 23168 (java) R 23167 29653 29652 0 -1 0 18012 0 1 0 56062 61 0 0 20 0 10 0 481213764 854802432 24436 4294967295 134512640 134569956 3221224400 3221214304 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 24436 13073 16 0 208676 0
vsize: 834768
[startup+620.088 s]
Raw data (loadavg): 1.00 1.00 0.85 2/63 23177
Raw data (stat): 23168 (java) R 23167 29653 29652 0 -1 0 18012 0 1 0 56976 62 0 0 24 0 10 0 481213764 854802432 24465 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 24465 13073 16 0 208676 0
vsize: 834768
[startup+630.099 s]
Raw data (loadavg): 1.00 1.00 0.85 2/63 23177
Raw data (stat): 23168 (java) R 23167 29653 29652 0 -1 0 18012 0 1 0 57884 62 0 0 22 0 10 0 481213764 854802432 24496 4294967295 134512640 134569956 3221224400 3221214304 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 24496 13073 16 0 208676 0
vsize: 834768
[startup+640.108 s]
Raw data (loadavg): 1.00 1.00 0.85 2/63 23177
Raw data (stat): 23168 (java) R 23167 29653 29652 0 -1 0 18012 0 1 0 58792 62 0 0 21 0 10 0 481213764 854802432 24528 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 24528 13073 16 0 208676 0
vsize: 834768
[startup+650.108 s]
Raw data (loadavg): 1.00 1.00 0.85 2/63 23177
Raw data (stat): 23168 (java) S 23167 29653 29652 0 -1 0 18012 0 1 0 59698 63 0 0 24 0 10 0 481213764 854802432 24557 4294967295 134512640 134569956 3221224400 3221213528 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 24557 13073 16 0 208676 0
vsize: 834768
[startup+660.109 s]
Raw data (loadavg): 1.00 1.00 0.85 2/63 23177
Raw data (stat): 23168 (java) R 23167 29653 29652 0 -1 0 18012 0 1 0 60609 64 0 0 22 0 10 0 481213764 854802432 24587 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 24587 13073 16 0 208676 0
vsize: 834768
[startup+670.109 s]
Raw data (loadavg): 1.00 1.00 0.85 2/63 23177
Raw data (stat): 23168 (java) R 23167 29653 29652 0 -1 0 18012 0 1 0 61515 64 0 0 20 0 10 0 481213764 854802432 24617 4294967295 134512640 134569956 3221224400 3221214248 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 24617 13073 16 0 208676 0
vsize: 834768
[startup+680.11 s]
Raw data (loadavg): 1.00 1.00 0.85 2/63 23177
Raw data (stat): 23168 (java) S 23167 29653 29652 0 -1 0 18012 0 1 0 62428 64 0 0 25 0 10 0 481213764 854802432 24643 4294967295 134512640 134569956 3221224400 3221213528 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 24643 13073 16 0 208676 0
vsize: 834768
[startup+690.11 s]
Raw data (loadavg): 1.00 1.00 0.85 2/63 23177
Raw data (stat): 23168 (java) R 23167 29653 29652 0 -1 0 18012 0 1 0 63343 65 0 0 18 0 10 0 481213764 854802432 24670 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 24670 13073 16 0 208676 0
vsize: 834768
[startup+700.111 s]
Raw data (loadavg): 1.00 1.00 0.85 2/63 23177
Raw data (stat): 23168 (java) R 23167 29653 29652 0 -1 0 18012 0 1 0 64258 65 0 0 24 0 10 0 481213764 854802432 25227 4294967295 134512640 134569956 3221224400 3221214112 1077558368 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 25227 13073 16 0 208676 0
vsize: 834768
[startup+710.111 s]
Raw data (loadavg): 1.00 1.00 0.85 2/63 23177
Raw data (stat): 23168 (java) R 23167 29653 29652 0 -1 0 18012 0 1 0 65167 66 0 0 19 0 10 0 481213764 854802432 25227 4294967295 134512640 134569956 3221224400 3221214780 1080204146 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 25227 13073 16 0 208676 0
vsize: 834768
[startup+720.112 s]
Raw data (loadavg): 1.00 1.00 0.86 2/63 23177
Raw data (stat): 23168 (java) R 23167 29653 29652 0 -1 0 18012 0 1 0 66078 66 0 0 20 0 10 0 481213764 854802432 25240 4294967295 134512640 134569956 3221224400 3221214556 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 25240 13073 16 0 208676 0
vsize: 834768
[startup+730.112 s]
Raw data (loadavg): 1.00 1.00 0.86 2/63 23177
Raw data (stat): 23168 (java) R 23167 29653 29652 0 -1 0 18012 0 1 0 66989 67 0 0 21 0 10 0 481213764 854802432 25256 4294967295 134512640 134569956 3221224400 3221214304 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 25256 13073 16 0 208676 0
vsize: 834768
[startup+740.113 s]
Raw data (loadavg): 1.00 1.00 0.86 2/63 23177
Raw data (stat): 23168 (java) R 23167 29653 29652 0 -1 0 18012 0 1 0 67899 67 0 0 23 0 10 0 481213764 854802432 25273 4294967295 134512640 134569956 3221224400 3221214780 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 25273 13073 16 0 208676 0
vsize: 834768
[startup+750.114 s]
Raw data (loadavg): 1.16 1.03 0.87 2/63 23230
Raw data (stat): 23168 (java) R 23167 29653 29652 0 -1 0 18012 0 1 0 68800 74 0 0 23 0 10 0 481213764 854802432 25290 4294967295 134512640 134569956 3221224400 3221214556 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 25290 13073 16 0 208676 0
vsize: 834768
[startup+760.117 s]
Raw data (loadavg): 1.13 1.03 0.87 2/63 23230
Raw data (stat): 23168 (java) S 23167 29653 29652 0 -1 0 18012 0 1 0 69690 76 0 0 25 0 10 0 481213764 854802432 27842 4294967295 134512640 134569956 3221224400 3221213488 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 27849 13073 16 0 208676 0
vsize: 834768
[startup+770.118 s]
Raw data (loadavg): 1.11 1.03 0.87 2/63 23230
Raw data (stat): 23168 (java) R 23167 29653 29652 0 -1 0 18012 0 1 0 70590 77 0 0 22 0 10 0 481213764 854802432 29844 4294967295 134512640 134569956 3221224400 3221214772 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 29844 13073 16 0 208676 0
vsize: 834768
[startup+780.135 s]
Raw data (loadavg): 1.10 1.03 0.87 2/63 23230
Raw data (stat): 23168 (java) R 23167 29653 29652 0 -1 0 18012 0 1 0 71486 77 0 0 20 0 10 0 481213764 854802432 29844 4294967295 134512640 134569956 3221224400 3221214288 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208692 29844 13073 16 0 208676 0
vsize: 834768
[startup+790.136 s]
Raw data (loadavg): 1.08 1.03 0.87 2/63 23230
Raw data (stat): 23168 (java) R 23167 29653 29652 0 -1 0 18012 0 1 0 72373 78 0 0 16 0 10 0 481213764 854802432 29879 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 29879 13073 16 0 208676 0
vsize: 834768
[startup+800.137 s]
Raw data (loadavg): 1.07 1.03 0.87 2/63 23230
Raw data (stat): 23168 (java) R 23167 29653 29652 0 -1 0 18012 0 1 0 73267 78 0 0 20 0 10 0 481213764 854802432 29912 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 29912 13073 16 0 208676 0
vsize: 834768
[startup+810.139 s]
Raw data (loadavg): 1.06 1.03 0.88 2/63 23230
Raw data (stat): 23168 (java) R 23167 29653 29652 0 -1 0 18012 0 1 0 74152 78 0 0 18 0 10 0 481213764 854802432 29953 4294967295 134512640 134569956 3221224400 3221214828 1080203551 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 29953 13073 16 0 208676 0
vsize: 834768
[startup+820.142 s]
Raw data (loadavg): 1.05 1.02 0.88 2/63 23232
Raw data (stat): 23168 (java) R 23167 29653 29652 0 -1 0 18012 0 1 0 75044 79 0 0 20 0 10 0 481213764 854802432 29994 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 29994 13073 16 0 208676 0
vsize: 834768
[startup+830.147 s]
Raw data (loadavg): 1.04 1.02 0.88 2/63 23232
Raw data (stat): 23168 (java) S 23167 29653 29652 0 -1 0 18012 0 1 0 75930 79 0 0 22 0 10 0 481213764 854802432 30034 4294967295 134512640 134569956 3221224400 3221213544 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 30034 13073 16 0 208676 0
vsize: 834768
[startup+840.148 s]
Raw data (loadavg): 1.03 1.02 0.88 2/63 23232
Raw data (stat): 23168 (java) R 23167 29653 29652 0 -1 0 18012 0 1 0 76867 83 0 0 25 0 10 0 481213764 854802432 32222 4294967295 134512640 134569956 3221224400 3221214328 1131182032 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208692 32222 13073 16 0 208676 0
vsize: 834768
[startup+850.149 s]
Raw data (loadavg): 1.03 1.02 0.88 2/63 23232
Raw data (stat): 23168 (java) R 23167 29653 29652 0 -1 0 18033 0 1 0 77788 84 0 0 25 0 10 0 481213764 854999040 36411 4294967295 134512640 134569956 3221224400 3221214728 1131254860 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208740 36411 13073 16 0 208724 0
vsize: 834960
[startup+860.15 s]
Raw data (loadavg): 1.02 1.02 0.88 2/63 23232
Raw data (stat): 23168 (java) R 23167 29653 29652 0 -1 0 18033 0 1 0 78783 84 0 0 25 0 10 0 481213764 854999040 36411 4294967295 134512640 134569956 3221224400 3221214832 1131373019 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208740 36411 13073 16 0 208724 0
vsize: 834960
[startup+870.151 s]
Raw data (loadavg): 1.02 1.02 0.88 2/64 23233
Raw data (stat): 23168 (java) R 23167 29653 29652 0 -1 0 18040 0 1 0 79770 84 0 0 25 0 11 0 481213764 855330816 36376 4294967295 134512640 134569956 3221224400 3221214656 1131255048 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208821 36376 13073 16 0 208805 0
vsize: 835284
[startup+880.152 s]
Raw data (loadavg): 1.02 1.02 0.88 2/64 23233
Raw data (stat): 23168 (java) R 23167 29653 29652 0 -1 0 18040 0 1 0 80764 85 0 0 25 0 11 0 481213764 855330816 36377 4294967295 134512640 134569956 3221224400 3221214656 1131254081 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208821 36377 13073 16 0 208805 0
vsize: 835284
[startup+890.153 s]
Raw data (loadavg): 1.01 1.02 0.88 2/64 23233
Raw data (stat): 23168 (java) R 23167 29653 29652 0 -1 0 18040 0 1 0 81758 85 0 0 25 0 11 0 481213764 855330816 36378 4294967295 134512640 134569956 3221224400 3221214760 1131373055 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208821 36378 13073 16 0 208805 0
vsize: 835284
[startup+900.154 s]
Raw data (loadavg): 1.01 1.02 0.88 2/64 23233
Raw data (stat): 23168 (java) R 23167 29653 29652 0 -1 0 18040 0 1 0 82752 85 0 0 25 0 11 0 481213764 855330816 36378 4294967295 134512640 134569956 3221224400 3221214680 1131254066 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208821 36378 13073 16 0 208805 0
vsize: 835284
[startup+910.155 s]
Raw data (loadavg): 1.01 1.02 0.89 2/64 23233
Raw data (stat): 23168 (java) R 23167 29653 29652 0 -1 0 18040 0 1 0 83747 85 0 0 25 0 11 0 481213764 855330816 36379 4294967295 134512640 134569956 3221224400 3221214784 1131374220 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208821 36379 13073 16 0 208805 0
vsize: 835284
[startup+920.156 s]
Raw data (loadavg): 1.01 1.01 0.89 2/64 23233
Raw data (stat): 23168 (java) R 23167 29653 29652 0 -1 0 18041 0 1 0 84741 86 0 0 25 0 11 0 481213764 855330816 36380 4294967295 134512640 134569956 3221224400 3221214784 1131374136 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208821 36380 13073 16 0 208805 0
vsize: 835284
[startup+930.156 s]
Raw data (loadavg): 1.00 1.01 0.89 3/64 23233
Raw data (stat): 23168 (java) R 23167 29653 29652 0 -1 0 18078 0 1 0 85719 86 0 0 25 0 11 0 481213764 856911872 36692 4294967295 134512640 134569956 3221224400 3221214744 1130915014 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209207 36692 13073 16 0 209191 0
vsize: 836828
[startup+940.158 s]
Raw data (loadavg): 1.15 1.05 0.90 2/64 23233
Raw data (stat): 23168 (java) R 23167 29653 29652 0 -1 0 18085 0 1 0 86666 86 0 0 17 0 11 0 481213764 858415104 37190 4294967295 134512640 134569956 3221224400 3221214680 1131254587 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209574 37190 13073 16 0 209558 0
vsize: 838296
[startup+950.159 s]
Raw data (loadavg): 1.13 1.04 0.90 2/64 23233
Raw data (stat): 23168 (java) R 23167 29653 29652 0 -1 0 18085 0 1 0 87659 86 0 0 19 0 11 0 481213764 858415104 37074 4294967295 134512640 134569956 3221224400 3221214680 1131254607 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209574 37074 13073 16 0 209558 0
vsize: 838296
[startup+960.16 s]
Raw data (loadavg): 1.11 1.04 0.90 2/64 23233
Raw data (stat): 23168 (java) R 23167 29653 29652 0 -1 0 18085 0 1 0 88652 86 0 0 21 0 11 0 481213764 858415104 37074 4294967295 134512640 134569956 3221224400 3221214680 1131254663 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209574 37074 13073 16 0 209558 0
vsize: 838296
[startup+970.161 s]
Raw data (loadavg): 1.09 1.04 0.90 2/64 23233
Raw data (stat): 23168 (java) R 23167 29653 29652 0 -1 0 18085 0 1 0 89645 86 0 0 23 0 11 0 481213764 858415104 37096 4294967295 134512640 134569956 3221224400 3221214784 1131373012 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209574 37096 13073 16 0 209558 0
vsize: 838296
[startup+980.162 s]
Raw data (loadavg): 1.08 1.04 0.90 2/64 23233
Raw data (stat): 23168 (java) R 23167 29653 29652 0 -1 0 18085 0 1 0 90640 86 0 0 17 0 11 0 481213764 858415104 37097 4294967295 134512640 134569956 3221224400 3221214784 1131373019 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209574 37097 13073 16 0 209558 0
vsize: 838296
[startup+990.162 s]
Raw data (loadavg): 1.06 1.04 0.90 2/64 23233
Raw data (stat): 23168 (java) R 23167 29653 29652 0 -1 0 18085 0 1 0 91635 86 0 0 17 0 11 0 481213764 858415104 37097 4294967295 134512640 134569956 3221224400 3221214680 1131254171 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209574 37097 13073 16 0 209558 0
vsize: 838296
[startup+1000.16 s]
Raw data (loadavg): 1.05 1.03 0.90 2/64 23233
Raw data (stat): 23168 (java) R 23167 29653 29652 0 -1 0 18085 0 1 0 92628 86 0 0 18 0 11 0 481213764 858415104 37098 4294967295 134512640 134569956 3221224400 3221214680 1131254423 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209574 37098 13073 16 0 209558 0
vsize: 838296
[startup+1010.16 s]
Raw data (loadavg): 1.05 1.03 0.91 2/64 23233
Raw data (stat): 23168 (java) R 23167 29653 29652 0 -1 0 18085 0 1 0 93621 86 0 0 21 0 11 0 481213764 858415104 37098 4294967295 134512640 134569956 3221224400 3221214680 1131255024 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209574 37098 13073 16 0 209558 0
vsize: 838296
[startup+1020.16 s]
Raw data (loadavg): 1.04 1.03 0.91 2/64 23233
Raw data (stat): 23168 (java) R 23167 29653 29652 0 -1 0 18085 0 1 0 94613 86 0 0 25 0 11 0 481213764 858415104 37120 4294967295 134512640 134569956 3221224400 3221214784 1131374097 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209574 37120 13073 16 0 209558 0
vsize: 838296
[startup+1030.16 s]
Raw data (loadavg): 1.03 1.03 0.91 2/64 23233
Raw data (stat): 23168 (java) R 23167 29653 29652 0 -1 0 18085 0 1 0 95605 86 0 0 18 0 11 0 481213764 858415104 37121 4294967295 134512640 134569956 3221224400 3221214784 1131374267 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209574 37121 13073 16 0 209558 0
vsize: 838296
[startup+1040.17 s]
Raw data (loadavg): 1.03 1.03 0.91 2/64 23233
Raw data (stat): 23168 (java) R 23167 29653 29652 0 -1 0 18085 0 1 0 96599 87 0 0 20 0 11 0 481213764 858415104 37123 4294967295 134512640 134569956 3221224400 3221214680 1131254504 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209574 37123 13073 16 0 209558 0
vsize: 838296
[startup+1050.17 s]
Raw data (loadavg): 1.02 1.03 0.91 2/64 23233
Raw data (stat): 23168 (java) R 23167 29653 29652 0 -1 0 18085 0 1 0 97593 87 0 0 24 0 11 0 481213764 858415104 37124 4294967295 134512640 134569956 3221224400 3221214680 1131254096 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209574 37124 13073 16 0 209558 0
vsize: 838296
[startup+1060.17 s]
Raw data (loadavg): 1.02 1.03 0.91 2/64 23233
Raw data (stat): 23168 (java) R 23167 29653 29652 0 -1 0 18085 0 1 0 98589 87 0 0 25 0 11 0 481213764 858415104 37125 4294967295 134512640 134569956 3221224400 3221214664 1131428452 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209574 37125 13073 16 0 209558 0
vsize: 838296
[startup+1070.17 s]
Raw data (loadavg): 1.02 1.02 0.91 2/64 23235
Raw data (stat): 23168 (java) R 23167 29653 29652 0 -1 0 18085 0 1 0 99582 87 0 0 22 0 11 0 481213764 858415104 37126 4294967295 134512640 134569956 3221224400 3221214784 1131375056 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209574 37126 13073 16 0 209558 0
vsize: 838296
[startup+1080.17 s]
Raw data (loadavg): 1.01 1.02 0.91 2/64 23235
Raw data (stat): 23168 (java) R 23167 29653 29652 0 -1 0 18085 0 1 0 100574 87 0 0 17 0 11 0 481213764 858415104 37128 4294967295 134512640 134569956 3221224400 3221214784 1131375095 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209574 37128 13073 16 0 209558 0
vsize: 838296
[startup+1090.17 s]
Raw data (loadavg): 1.01 1.02 0.91 2/64 23235
Raw data (stat): 23168 (java) R 23167 29653 29652 0 -1 0 18085 0 1 0 101566 87 0 0 19 0 11 0 481213764 858415104 37128 4294967295 134512640 134569956 3221224400 3221214680 1131254021 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209574 37128 13073 16 0 209558 0
vsize: 838296
[startup+1100.17 s]
Raw data (loadavg): 1.01 1.02 0.91 2/64 23235
Raw data (stat): 23168 (java) R 23167 29653 29652 0 -1 0 18085 0 1 0 102559 87 0 0 23 0 11 0 481213764 858415104 37150 4294967295 134512640 134569956 3221224400 3221214680 1131254524 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209574 37150 13073 16 0 209558 0
vsize: 838296
[startup+1110.17 s]
Raw data (loadavg): 1.01 1.02 0.91 2/64 23235
Raw data (stat): 23168 (java) R 23167 29653 29652 0 -1 0 18085 0 1 0 103552 87 0 0 17 0 11 0 481213764 858415104 37151 4294967295 134512640 134569956 3221224400 3221214680 1131254423 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209574 37151 13073 16 0 209558 0
vsize: 838296
[startup+1120.17 s]
Raw data (loadavg): 1.00 1.02 0.91 2/64 23235
Raw data (stat): 23168 (java) R 23167 29653 29652 0 -1 0 18085 0 1 0 104546 87 0 0 21 0 11 0 481213764 858415104 37153 4294967295 134512640 134569956 3221224400 3221214784 1131374169 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209574 37153 13073 16 0 209558 0
vsize: 838296
[startup+1130.17 s]
Raw data (loadavg): 1.00 1.02 0.91 2/64 23235
Raw data (stat): 23168 (java) R 23167 29653 29652 0 -1 0 18085 0 1 0 105539 87 0 0 24 0 11 0 481213764 858415104 37155 4294967295 134512640 134569956 3221224400 3221214680 1131254017 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209574 37155 13073 16 0 209558 0
vsize: 838296
[startup+1140.17 s]
Raw data (loadavg): 1.00 1.02 0.91 2/64 23235
Raw data (stat): 23168 (java) R 23167 29653 29652 0 -1 0 18085 0 1 0 106531 87 0 0 25 0 11 0 481213764 858415104 37156 4294967295 134512640 134569956 3221224400 3221214664 1131428420 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209574 37156 13073 16 0 209558 0
vsize: 838296
[startup+1150.17 s]
Raw data (loadavg): 1.00 1.02 0.91 2/64 23235
Raw data (stat): 23168 (java) R 23167 29653 29652 0 -1 0 18085 0 1 0 107526 88 0 0 25 0 11 0 481213764 858415104 37157 4294967295 134512640 134569956 3221224400 3221214784 1131375095 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209574 37157 13073 16 0 209558 0
vsize: 838296
[startup+1160.17 s]
Raw data (loadavg): 1.00 1.02 0.91 2/64 23235
Raw data (stat): 23168 (java) R 23167 29653 29652 0 -1 0 18085 0 1 0 108517 89 0 0 25 0 11 0 481213764 858415104 37158 4294967295 134512640 134569956 3221224400 3221214784 1131373051 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209574 37158 13073 16 0 209558 0
vsize: 838296
[startup+1170.17 s]
Raw data (loadavg): 1.07 1.03 0.91 2/64 23235
Raw data (stat): 23168 (java) R 23167 29653 29652 0 -1 0 18085 0 1 0 109509 89 0 0 25 0 11 0 481213764 858415104 37160 4294967295 134512640 134569956 3221224400 3221214680 1131254548 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209574 37160 13073 16 0 209558 0
vsize: 838296
[startup+1180.2 s]
Raw data (loadavg): 1.06 1.03 0.91 2/64 23235
Raw data (stat): 23168 (java) R 23167 29653 29652 0 -1 0 18085 0 1 0 110502 89 0 0 25 0 11 0 481213764 858415104 37182 4294967295 134512640 134569956 3221224400 3221214784 1131374241 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209574 37182 13073 16 0 209558 0
vsize: 838296
[startup+1190.2 s]
Raw data (loadavg): 1.05 1.03 0.91 2/64 23235
Raw data (stat): 23168 (java) R 23167 29653 29652 0 -1 0 18085 0 1 0 111494 90 0 0 25 0 11 0 481213764 858415104 37183 4294967295 134512640 134569956 3221224400 3221214784 1131373051 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209574 37183 13073 16 0 209558 0
vsize: 838296
[startup+1200.2 s]
Raw data (loadavg): 1.04 1.03 0.91 2/64 23235
Raw data (stat): 23168 (java) R 23167 29653 29652 0 -1 0 18085 0 1 0 112485 90 0 0 25 0 11 0 481213764 858415104 37184 4294967295 134512640 134569956 3221224400 3221214784 1131374097 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209574 37184 13073 16 0 209558 0
vsize: 838296
[startup+1210.2 s]
Raw data (loadavg): 1.04 1.03 0.91 2/64 23235
Raw data (stat): 23168 (java) R 23167 29653 29652 0 -1 0 18085 0 1 0 113476 91 0 0 25 0 11 0 481213764 858415104 37187 4294967295 134512640 134569956 3221224400 3221214784 1131373051 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209574 37187 13073 16 0 209558 0
vsize: 838296
[startup+1220.2 s]
Raw data (loadavg): 1.03 1.02 0.91 2/64 23235
Raw data (stat): 23168 (java) R 23167 29653 29652 0 -1 0 18085 0 1 0 114467 91 0 0 25 0 11 0 481213764 858415104 37190 4294967295 134512640 134569956 3221224400 3221214784 1131374395 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209574 37190 13073 16 0 209558 0
vsize: 838296
[startup+1230.2 s]
Raw data (loadavg): 1.02 1.02 0.91 2/64 23235
Raw data (stat): 23168 (java) R 23167 29653 29652 0 -1 0 18085 0 1 0 115461 92 0 0 25 0 11 0 481213764 858415104 37193 4294967295 134512640 134569956 3221224400 3221214664 1131428430 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209574 37193 13073 16 0 209558 0
vsize: 838296
[startup+1240.21 s]
Raw data (loadavg): 1.02 1.02 0.91 2/64 23235
Raw data (stat): 23168 (java) R 23167 29653 29652 0 -1 0 18085 0 1 0 116455 92 0 0 25 0 11 0 481213764 858415104 37195 4294967295 134512640 134569956 3221224400 3221214680 1131254394 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209574 37195 13073 16 0 209558 0
vsize: 838296
[startup+1250.21 s]
Raw data (loadavg): 1.02 1.02 0.91 2/64 23235
Raw data (stat): 23168 (java) R 23167 29653 29652 0 -1 0 18085 0 1 0 117445 92 0 0 25 0 11 0 481213764 858415104 37197 4294967295 134512640 134569956 3221224400 3221214784 1131373151 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209574 37197 13073 16 0 209558 0
vsize: 838296
[startup+1260.21 s]
Raw data (loadavg): 1.01 1.02 0.91 2/64 23235
Raw data (stat): 23168 (java) R 23167 29653 29652 0 -1 0 18085 0 1 0 118436 93 0 0 25 0 11 0 481213764 858415104 37199 4294967295 134512640 134569956 3221224400 3221214784 1131374198 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209574 37199 13073 16 0 209558 0
vsize: 838296
[startup+1270.21 s]
Raw data (loadavg): 1.01 1.02 0.91 2/64 23235
Raw data (stat): 23168 (java) R 23167 29653 29652 0 -1 0 18085 0 1 0 119426 93 0 0 25 0 11 0 481213764 858415104 37222 4294967295 134512640 134569956 3221224400 3221214680 1131254320 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209574 37222 13073 16 0 209558 0
vsize: 838296
[startup+1280.21 s]
Raw data (loadavg): 1.01 1.02 0.91 2/64 23235
Raw data (stat): 23168 (java) R 23167 29653 29652 0 -1 0 18085 0 1 0 120414 94 0 0 25 0 11 0 481213764 858415104 37223 4294967295 134512640 134569956 3221224400 3221214680 1131254882 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209574 37223 13073 16 0 209558 0
vsize: 838296
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1280.33 s]
Raw data (loadavg): 1.01 1.02 0.91 1/54 23237
Raw data (stat): 23168 (java) Z 23167 29653 29652 0 -1 1036 18085 17793 1 0 120419 94 7337 56 25 0 1 0 481213764 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): 1280.33
CPU time (s): 1279.08
CPU user time (s): 1277.57
CPU system time (s): 1.50877
CPU usage (%): 99.9026
Max. virtual memory (Kb): 838296
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####