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-bc1.opb
MD5SUM15670523760c6351fb6de07139f11abe
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 1073741824000000000000000000
Number of bits of the biggest number in a constraint 90
Biggest sum of numbers in a constraint 3221975665359866705114824704
Number of bits of the biggest sum of numbers92
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark1.11183
Number of variables27730
Total number of constraints3627
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)336
Number of constraints which are nor clauses,nor cardinality constraints3291
Minimum length of a constraint1
Maximum length of a constraint5701

Trace number 20832

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc23 THE 2005-04-21 21:58:00 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=14400 boxname=wulflinc23 idbench=1108 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  15670523760c6351fb6de07139f11abe  /oldhome/oroussel/tmp/wulflinc23/normalized-mps-v2-20-10-bc1.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc23/normalized-mps-v2-20-10-bc1.opb
IDLAUNCH: 14400
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.037
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	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.037
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:        662456 kB
Buffers:         14136 kB
Cached:         333952 kB
SwapCached:        548 kB
Active:         102236 kB
Inactive:       247908 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        662204 kB
SwapTotal:     2097136 kB
SwapFree:      2095732 kB
Dirty:               4 kB
Writeback:           0 kB
Mapped:           5104 kB
Slab:            16416 kB
Committed_AS:    63596 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-21 22:19:15 (client local time) WITH STATUS 143 IN 1273.02 SECONDS
stats: 14400 7 1273.02 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc23/normalized-mps-v2-20-10-bc1.opb
c reading problem 
c [nbvar=27730]
c [nbconstr=3627]
c time 369.986
c #vars     27730
c #clauses  4160
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.99 0.96 0.91 1/54 13714
Raw data (stat): 13714 (runsolver) D 13713 3260 3259 0 -1 64 4 0 0 0 0 0 0 0 18 0 1 0 548498683 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 135158418 0 2147483391 7 90112 3225161850 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+9.99992 s]
Raw data (loadavg): 0.99 0.96 0.91 2/63 13723
Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 17998 0 1 0 808 39 0 0 24 0 10 0 548498683 855916544 19823 4294967295 134512640 134569956 3221224400 3221214696 1131210971 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208964 19823 13073 16 0 208948 0
vsize: 835856
[startup+20.001 s]
Raw data (loadavg): 1.07 0.98 0.91 2/63 13723
Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 17998 0 1 0 1703 40 0 0 25 0 10 0 548498683 855883776 20423 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208956 20423 13073 16 0 208940 0
vsize: 835824
[startup+30.0012 s]
Raw data (loadavg): 1.06 0.98 0.91 2/63 13723
Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 17999 0 1 0 2571 40 0 0 25 0 10 0 548498683 856932352 21080 4294967295 134512640 134569956 3221224400 3221214812 1080204166 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209212 21080 13073 16 0 209196 0
vsize: 836848
[startup+40.0099 s]
Raw data (loadavg): 1.05 0.98 0.91 2/63 13723
Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 17999 0 1 0 3476 40 0 0 25 0 10 0 548498683 856932352 21346 4294967295 134512640 134569956 3221224400 3221214816 1131258419 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209212 21346 13073 16 0 209196 0
vsize: 836848
[startup+50.0165 s]
Raw data (loadavg): 1.04 0.98 0.91 2/63 13723
Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 17999 0 1 0 4397 41 0 0 25 0 10 0 548498683 856932352 21504 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209212 21504 13073 16 0 209196 0
vsize: 836848
[startup+60.0201 s]
Raw data (loadavg): 1.04 0.98 0.91 2/63 13723
Raw data (stat): 13714 (java) S 13713 3260 3259 0 -1 0 17999 0 1 0 5311 41 0 0 25 0 10 0 548498683 856932352 21637 4294967295 134512640 134569956 3221224400 3221213504 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209212 21637 13073 16 0 209196 0
vsize: 836848
[startup+70.0199 s]
Raw data (loadavg): 1.03 0.98 0.91 2/63 13723
Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 17999 0 1 0 6239 41 0 0 25 0 10 0 548498683 857980928 22243 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209468 22243 13073 16 0 209452 0
vsize: 837872
[startup+80.0297 s]
Raw data (loadavg): 1.02 0.98 0.91 2/63 13723
Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 17999 0 1 0 7173 41 0 0 25 0 10 0 548498683 856932352 21993 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209212 21993 13073 16 0 209196 0
vsize: 836848
[startup+90.0301 s]
Raw data (loadavg): 1.02 0.98 0.91 2/63 13723
Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 17999 0 1 0 8107 42 0 0 25 0 10 0 548498683 856932352 22086 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209212 22086 13073 16 0 209196 0
vsize: 836848
[startup+100.03 s]
Raw data (loadavg): 1.02 0.98 0.91 2/63 13723
Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 17999 0 1 0 9041 42 0 0 25 0 10 0 548498683 855883776 22074 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208956 22074 13073 16 0 208940 0
vsize: 835824
[startup+110.03 s]
Raw data (loadavg): 1.01 0.98 0.91 2/63 13723
Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 17999 0 1 0 9976 42 0 0 25 0 10 0 548498683 855883776 22155 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208956 22155 13073 16 0 208940 0
vsize: 835824
[startup+120.032 s]
Raw data (loadavg): 1.01 0.98 0.91 2/64 13724
Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 17999 0 1 0 10911 42 0 0 25 0 10 0 548498683 855883776 22234 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208956 22234 13073 16 0 208940 0
vsize: 835824
[startup+130.032 s]
Raw data (loadavg): 1.08 1.00 0.92 2/63 13776
Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 17999 0 1 0 11844 43 0 0 25 0 10 0 548498683 855883776 22309 4294967295 134512640 134569956 3221224400 3221214264 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208956 22309 13073 16 0 208940 0
vsize: 835824
[startup+140.033 s]
Raw data (loadavg): 1.07 1.00 0.92 2/63 13776
Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 17999 0 1 0 12780 43 0 0 25 0 10 0 548498683 855883776 22379 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208956 22379 13073 16 0 208940 0
vsize: 835824
[startup+150.033 s]
Raw data (loadavg): 1.06 1.00 0.92 2/63 13776
Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 17999 0 1 0 13716 43 0 0 25 0 10 0 548498683 855883776 22447 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208956 22447 13073 16 0 208940 0
vsize: 835824
[startup+160.034 s]
Raw data (loadavg): 1.05 1.00 0.92 2/63 13776
Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 17999 0 1 0 14651 43 0 0 25 0 10 0 548498683 855883776 22511 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208956 22511 13073 16 0 208940 0
vsize: 835824
[startup+170.034 s]
Raw data (loadavg): 1.04 1.00 0.92 2/63 13776
Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 17999 0 1 0 15586 44 0 0 24 0 10 0 548498683 855883776 22573 4294967295 134512640 134569956 3221224400 3221214264 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208956 22573 13073 16 0 208940 0
vsize: 835824
[startup+180.035 s]
Raw data (loadavg): 1.03 1.00 0.92 2/63 13776
Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 17999 0 1 0 16513 44 0 0 25 0 10 0 548498683 855883776 22629 4294967295 134512640 134569956 3221224400 3221214812 1080204166 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208956 22629 13073 16 0 208940 0
vsize: 835824
[startup+190.035 s]
Raw data (loadavg): 1.03 1.00 0.92 2/63 13776
Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 17999 0 1 0 17429 44 0 0 25 0 10 0 548498683 855883776 22690 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208956 22690 13073 16 0 208940 0
vsize: 835824
[startup+200.035 s]
Raw data (loadavg): 1.02 1.00 0.92 2/63 13778
Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 17999 0 1 0 18352 44 0 0 24 0 10 0 548498683 855883776 22907 4294967295 134512640 134569956 3221224400 3221214812 1080204146 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208956 22907 13073 16 0 208940 0
vsize: 835824
[startup+210.036 s]
Raw data (loadavg): 1.02 1.00 0.92 2/63 13778
Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 17999 0 1 0 19251 46 0 0 25 0 10 0 548498683 855883776 25977 4294967295 134512640 134569956 3221224400 3221214812 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208956 25977 13073 16 0 208940 0
vsize: 835824
[startup+220.035 s]
Raw data (loadavg): 1.02 1.00 0.92 2/63 13778
Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 17999 0 1 0 20115 49 0 0 25 0 10 0 548498683 855883776 30971 4294967295 134512640 134569956 3221224400 3221214776 1131148102 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208956 30971 13073 16 0 208940 0
vsize: 835824
[startup+230.036 s]
Raw data (loadavg): 1.01 1.00 0.92 2/63 13778
Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 17999 0 1 0 20977 54 0 0 25 0 10 0 548498683 855883776 36202 4294967295 134512640 134569956 3221224400 3221214836 1131145592 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208956 36202 13073 16 0 208940 0
vsize: 835824
[startup+240.037 s]
Raw data (loadavg): 1.01 1.00 0.92 2/63 13778
Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 17999 0 1 0 21878 54 0 0 25 0 10 0 548498683 855883776 38983 4294967295 134512640 134569956 3221224400 3221214804 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208956 38983 13073 16 0 208940 0
vsize: 835824
[startup+250.036 s]
Raw data (loadavg): 1.01 1.00 0.92 2/63 13778
Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 18000 0 1 0 22765 58 0 0 25 0 10 0 548498683 855883776 42776 4294967295 134512640 134569956 3221224400 3221213568 1131197315 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208956 42776 13073 16 0 208940 0
vsize: 835824
[startup+260.04 s]
Raw data (loadavg): 1.01 1.00 0.92 2/63 13778
Raw data (stat): 13714 (java) S 13713 3260 3259 0 -1 0 18000 0 1 0 23629 63 0 0 25 0 10 0 548498683 855883776 48554 4294967295 134512640 134569956 3221224400 3221212944 1073952481 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208956 48554 13073 16 0 208940 0
vsize: 835824
[startup+270.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/63 13778
Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 18000 0 1 0 24450 69 0 0 25 0 10 0 548498683 855883776 56675 4294967295 134512640 134569956 3221224400 3221214272 1131307526 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208956 56675 13073 16 0 208940 0
vsize: 835824
[startup+280.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/63 13778
Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 18000 0 1 0 25264 72 0 0 25 0 10 0 548498683 855883776 64944 4294967295 134512640 134569956 3221224400 3221213600 1131308511 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208956 64944 13073 16 0 208940 0
vsize: 835824
[startup+290.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/63 13778
Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 18000 0 1 0 26136 78 0 0 25 0 10 0 548498683 855883776 70477 4294967295 134512640 134569956 3221224400 3221213824 1131309108 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208956 70477 13073 16 0 208940 0
vsize: 835824
[startup+300.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/63 13778
Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 18001 0 1 0 26948 82 0 0 25 0 10 0 548498683 855883776 78581 4294967295 134512640 134569956 3221224400 3221213936 1131308130 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208956 78581 13073 16 0 208940 0
vsize: 835824
[startup+310.039 s]
Raw data (loadavg): 1.00 1.00 0.92 2/63 13778
Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 18001 0 1 0 27819 87 0 0 25 0 10 0 548498683 855883776 84011 4294967295 134512640 134569956 3221224400 3221214048 1131310545 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208956 84011 13073 16 0 208940 0
vsize: 835824
[startup+320.039 s]
Raw data (loadavg): 1.00 1.00 0.92 2/63 13778
Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 18001 0 1 0 28629 92 0 0 25 0 10 0 548498683 855883776 92124 4294967295 134512640 134569956 3221224400 3221214440 1131272775 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208956 92124 13073 16 0 208940 0
vsize: 835824
[startup+330.043 s]
Raw data (loadavg): 1.00 1.00 0.92 2/63 13778
Raw data (stat): 13714 (java) S 13713 3260 3259 0 -1 0 18001 0 1 0 29446 96 0 0 25 0 10 0 548498683 855883776 99851 4294967295 134512640 134569956 3221224400 3221213664 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208956 99853 13073 16 0 208940 0
vsize: 835824
[startup+340.043 s]
Raw data (loadavg): 1.00 1.00 0.92 2/63 13778
Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 18001 0 1 0 30303 101 0 0 25 0 10 0 548498683 855883776 106026 4294967295 134512640 134569956 3221224400 3221214840 1131160519 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208956 106026 13073 16 0 208940 0
vsize: 835824
[startup+350.043 s]
Raw data (loadavg): 1.00 1.00 0.92 2/63 13778
Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 18001 0 1 0 31108 105 0 0 25 0 10 0 548498683 855883776 114336 4294967295 134512640 134569956 3221224400 3221213712 1131310443 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208956 114336 13073 16 0 208940 0
vsize: 835824
[startup+360.043 s]
Raw data (loadavg): 1.00 1.00 0.92 2/63 13778
Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 18001 0 1 0 31976 110 0 0 25 0 10 0 548498683 855883776 119829 4294967295 134512640 134569956 3221224400 3221214776 1131148072 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208956 119829 13073 16 0 208940 0
vsize: 835824
[startup+370.043 s]
Raw data (loadavg): 1.00 1.00 0.92 2/63 13778
Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 18001 0 1 0 32780 115 0 0 25 0 10 0 548498683 855883776 127987 4294967295 134512640 134569956 3221224400 3221214480 1131293815 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208956 127987 13073 16 0 208940 0
vsize: 835824
[startup+380.044 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 13779
Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 18028 0 1 0 33675 116 0 0 24 0 11 0 548498683 856412160 132286 4294967295 134512640 134569956 3221224400 3221214672 1131264949 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209085 132286 13073 16 0 209069 0
vsize: 836340
[startup+390.044 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 13779
Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 18028 0 1 0 34650 116 0 0 25 0 11 0 548498683 856412160 132286 4294967295 134512640 134569956 3221224400 3221214672 1131265041 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209085 132286 13073 16 0 209069 0
vsize: 836340
[startup+400.044 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 13779
Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 18028 0 1 0 35622 117 0 0 24 0 11 0 548498683 856412160 132287 4294967295 134512640 134569956 3221224400 3221214696 1131264949 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209085 132287 13073 16 0 209069 0
vsize: 836340
[startup+410.044 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 13779
Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 18028 0 1 0 36596 117 0 0 25 0 11 0 548498683 856412160 132293 4294967295 134512640 134569956 3221224400 3221214792 1131384815 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209085 132293 13073 16 0 209069 0
vsize: 836340
[startup+420.043 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 13779
Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 18028 0 1 0 37567 117 0 0 24 0 11 0 548498683 856412160 132305 4294967295 134512640 134569956 3221224400 3221214696 1131265112 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209085 132305 13073 16 0 209069 0
vsize: 836340
[startup+430.044 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 13779
Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 18028 0 1 0 38542 117 0 0 25 0 11 0 548498683 856412160 132316 4294967295 134512640 134569956 3221224400 3221214792 1131385012 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209085 132316 13073 16 0 209069 0
vsize: 836340
[startup+440.044 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 13779
Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 18028 0 1 0 39514 117 0 0 24 0 11 0 548498683 856412160 132325 4294967295 134512640 134569956 3221224400 3221214792 1131385116 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209085 132325 13073 16 0 209069 0
vsize: 836340
[startup+450.043 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 13779
Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 18028 0 1 0 40487 118 0 0 25 0 11 0 548498683 856412160 132336 4294967295 134512640 134569956 3221224400 3221214792 1131385012 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209085 132336 13073 16 0 209069 0
vsize: 836340
[startup+460.044 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 13779
Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 18028 0 1 0 41459 118 0 0 25 0 11 0 548498683 856412160 132346 4294967295 134512640 134569956 3221224400 3221214696 1131265009 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209085 132346 13073 16 0 209069 0
vsize: 836340
[startup+470.043 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 13779
Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 18028 0 1 0 42433 119 0 0 25 0 11 0 548498683 856412160 132358 4294967295 134512640 134569956 3221224400 3221214792 1131386961 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209085 132358 13073 16 0 209069 0
vsize: 836340
[startup+480.044 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 13779
Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 18028 0 1 0 43404 120 0 0 25 0 11 0 548498683 856412160 132371 4294967295 134512640 134569956 3221224400 3221214696 1131264865 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209085 132371 13073 16 0 209069 0
vsize: 836340
[startup+490.045 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 13779
Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 18028 0 1 0 44378 120 0 0 25 0 11 0 548498683 856412160 132380 4294967295 134512640 134569956 3221224400 3221214792 1131386102 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209085 132380 13073 16 0 209069 0
vsize: 836340
[startup+500.045 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 13781
Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 18028 0 1 0 45348 121 0 0 25 0 11 0 548498683 856412160 132393 4294967295 134512640 134569956 3221224400 3221214696 1131265337 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209085 132393 13073 16 0 209069 0
vsize: 836340
[startup+510.047 s]
Raw data (loadavg): 1.00 1.00 0.92 3/64 13781
Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 18028 0 1 0 46322 121 0 0 25 0 11 0 548498683 856412160 132405 4294967295 134512640 134569956 3221224400 3221214696 1131265384 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209085 132405 13073 16 0 209069 0
vsize: 836340
[startup+520.047 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 13781
Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 18028 0 1 0 47293 121 0 0 25 0 11 0 548498683 856412160 132415 4294967295 134512640 134569956 3221224400 3221214792 1131386102 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209085 132415 13073 16 0 209069 0
vsize: 836340
[startup+530.047 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 13781
Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 18028 0 1 0 48264 121 0 0 24 0 11 0 548498683 856412160 132429 4294967295 134512640 134569956 3221224400 3221214792 1131386961 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209085 132429 13073 16 0 209069 0
vsize: 836340
[startup+540.047 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 13781
Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 18028 0 1 0 49238 122 0 0 25 0 11 0 548498683 856412160 132446 4294967295 134512640 134569956 3221224400 3221214792 1131386301 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209085 132446 13073 16 0 209069 0
vsize: 836340
[startup+550.047 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 13781
Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 18028 0 1 0 50210 122 0 0 25 0 11 0 548498683 856412160 132456 4294967295 134512640 134569956 3221224400 3221214696 1131264815 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209085 132456 13073 16 0 209069 0
vsize: 836340
[startup+560.048 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 13781
Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 18028 0 1 0 51184 123 0 0 25 0 11 0 548498683 856412160 132466 4294967295 134512640 134569956 3221224400 3221214792 1131386228 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209085 132466 13073 16 0 209069 0
vsize: 836340
[startup+570.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 13781
Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 18028 0 1 0 52156 123 0 0 25 0 11 0 548498683 856412160 132478 4294967295 134512640 134569956 3221224400 3221214792 1131386242 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209085 132478 13073 16 0 209069 0
vsize: 836340
[startup+580.051 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 13781
Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 18028 0 1 0 53129 124 0 0 25 0 11 0 548498683 856412160 132487 4294967295 134512640 134569956 3221224400 3221214792 1131385997 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209085 132487 13073 16 0 209069 0
vsize: 836340
[startup+590.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 13781
Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 18028 0 1 0 54101 124 0 0 25 0 11 0 548498683 856412160 132502 4294967295 134512640 134569956 3221224400 3221214696 1131264817 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209085 132502 13073 16 0 209069 0
vsize: 836340
[startup+600.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 13781
Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 18028 0 1 0 55072 124 0 0 24 0 11 0 548498683 856412160 132513 4294967295 134512640 134569956 3221224400 3221214736 1131254241 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209085 132513 13073 16 0 209069 0
vsize: 836340
[startup+610.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 13781
Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 18028 0 1 0 56046 125 0 0 25 0 11 0 548498683 856412160 132525 4294967295 134512640 134569956 3221224400 3221214792 1131386132 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209085 132525 13073 16 0 209069 0
vsize: 836340
[startup+620.051 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 13781
Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 18028 0 1 0 57019 125 0 0 25 0 11 0 548498683 856412160 132537 4294967295 134512640 134569956 3221224400 3221214696 1131264470 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209085 132537 13073 16 0 209069 0
vsize: 836340
[startup+630.051 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 13781
Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 18028 0 1 0 57993 126 0 0 25 0 11 0 548498683 856412160 132548 4294967295 134512640 134569956 3221224400 3221214696 1131264865 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209085 132548 13073 16 0 209069 0
vsize: 836340
[startup+640.051 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 13781
Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 18028 0 1 0 58965 126 0 0 25 0 11 0 548498683 856412160 132556 4294967295 134512640 134569956 3221224400 3221214696 1131264719 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209085 132556 13073 16 0 209069 0
vsize: 836340
[startup+650.051 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 13781
Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 18028 0 1 0 59937 127 0 0 24 0 11 0 548498683 856412160 132569 4294967295 134512640 134569956 3221224400 3221214792 1131386993 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209085 132569 13073 16 0 209069 0
vsize: 836340
[startup+660.051 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 13781
Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 18028 0 1 0 60912 127 0 0 25 0 11 0 548498683 856412160 132579 4294967295 134512640 134569956 3221224400 3221214696 1131264865 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209085 132579 13073 16 0 209069 0
vsize: 836340
[startup+670.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 13781
Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 18028 0 1 0 61883 127 0 0 25 0 11 0 548498683 856412160 132588 4294967295 134512640 134569956 3221224400 3221214696 1131264865 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209085 132588 13073 16 0 209069 0
vsize: 836340
[startup+680.051 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 13781
Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 18028 0 1 0 62858 127 0 0 25 0 11 0 548498683 856412160 132600 4294967295 134512640 134569956 3221224400 3221214696 1131265037 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209085 132600 13073 16 0 209069 0
vsize: 836340
[startup+690.052 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 13781
Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 18028 0 1 0 63831 127 0 0 25 0 11 0 548498683 856412160 132614 4294967295 134512640 134569956 3221224400 3221214696 1131264778 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209085 132614 13073 16 0 209069 0
vsize: 836340
[startup+700.051 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 13781
Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 18028 0 1 0 64803 127 0 0 25 0 11 0 548498683 856412160 132621 4294967295 134512640 134569956 3221224400 3221214792 1131385012 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209085 132621 13073 16 0 209069 0
vsize: 836340
[startup+710.051 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 13781
Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 18028 0 1 0 65777 128 0 0 25 0 11 0 548498683 856412160 132630 4294967295 134512640 134569956 3221224400 3221214792 1131385182 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209085 132630 13073 16 0 209069 0
vsize: 836340
[startup+720.052 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 13781
Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 18028 0 1 0 66749 128 0 0 25 0 11 0 548498683 856412160 132645 4294967295 134512640 134569956 3221224400 3221214696 1131264453 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209085 132645 13073 16 0 209069 0
vsize: 836340
[startup+730.052 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 13781
Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 18028 0 1 0 67720 129 0 0 24 0 11 0 548498683 856412160 132655 4294967295 134512640 134569956 3221224400 3221214696 1131265037 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209085 132655 13073 16 0 209069 0
vsize: 836340
[startup+740.052 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 13781
Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 18028 0 1 0 68694 129 0 0 25 0 11 0 548498683 856412160 132666 4294967295 134512640 134569956 3221224400 3221214792 1131387036 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209085 132666 13073 16 0 209069 0
vsize: 836340
[startup+750.053 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 13781
Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 18028 0 1 0 69664 129 0 0 25 0 11 0 548498683 856412160 132677 4294967295 134512640 134569956 3221224400 3221214696 1131265886 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209085 132677 13073 16 0 209069 0
vsize: 836340
[startup+760.053 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 13781
Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 18028 0 1 0 70637 130 0 0 25 0 11 0 548498683 856412160 132691 4294967295 134512640 134569956 3221224400 3221214696 1131265376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209085 132691 13073 16 0 209069 0
vsize: 836340
[startup+770.053 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 13781
Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 18028 0 1 0 71607 130 0 0 25 0 11 0 548498683 856412160 132706 4294967295 134512640 134569956 3221224400 3221214792 1131386102 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209085 132706 13073 16 0 209069 0
vsize: 836340
[startup+780.053 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 13781
Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 18028 0 1 0 72578 131 0 0 25 0 11 0 548498683 856412160 132721 4294967295 134512640 134569956 3221224400 3221214792 1131384783 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209085 132721 13073 16 0 209069 0
vsize: 836340
[startup+790.054 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 13781
Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 18029 0 1 0 73552 131 0 0 25 0 11 0 548498683 856412160 132739 4294967295 134512640 134569956 3221224400 3221214792 1131386150 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209085 132739 13073 16 0 209069 0
vsize: 836340
[startup+800.054 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 13781
Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 18029 0 1 0 74524 132 0 0 25 0 11 0 548498683 856412160 132754 4294967295 134512640 134569956 3221224400 3221214696 1131265699 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209085 132754 13073 16 0 209069 0
vsize: 836340
[startup+810.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 13781
Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 18029 0 1 0 75496 132 0 0 24 0 11 0 548498683 856412160 132763 4294967295 134512640 134569956 3221224400 3221214696 1131264453 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209085 132763 13073 16 0 209069 0
vsize: 836340
[startup+820.062 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 13781
Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 18029 0 1 0 76470 132 0 0 25 0 11 0 548498683 856412160 132772 4294967295 134512640 134569956 3221224400 3221214696 1131264949 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209085 132772 13073 16 0 209069 0
vsize: 836340
[startup+830.063 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 13781
Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 18029 0 1 0 77440 133 0 0 25 0 11 0 548498683 856412160 132784 4294967295 134512640 134569956 3221224400 3221214696 1131265699 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209085 132784 13073 16 0 209069 0
vsize: 836340
[startup+840.063 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 13781
Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 18029 0 1 0 78411 133 0 0 24 0 11 0 548498683 856412160 132798 4294967295 134512640 134569956 3221224400 3221214696 1131265021 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209085 132798 13073 16 0 209069 0
vsize: 836340
[startup+850.062 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 13781
Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 18029 0 1 0 79385 134 0 0 25 0 11 0 548498683 856412160 132810 4294967295 134512640 134569956 3221224400 3221214696 1131264865 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209085 132810 13073 16 0 209069 0
vsize: 836340
[startup+860.063 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 13781
Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 18029 0 1 0 80356 134 0 0 25 0 11 0 548498683 856412160 132828 4294967295 134512640 134569956 3221224400 3221214696 1131265696 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209085 132828 13073 16 0 209069 0
vsize: 836340
[startup+870.064 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 13781
Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 18029 0 1 0 81326 134 0 0 24 0 11 0 548498683 856412160 132840 4294967295 134512640 134569956 3221224400 3221214792 1131384970 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209085 132840 13073 16 0 209069 0
vsize: 836340
[startup+880.064 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 13781
Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 18029 0 1 0 82299 134 0 0 25 0 11 0 548498683 856412160 132853 4294967295 134512640 134569956 3221224400 3221214696 1131264865 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209085 132853 13073 16 0 209069 0
vsize: 836340
[startup+890.064 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 13781
Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 18029 0 1 0 83269 135 0 0 25 0 11 0 548498683 856412160 132872 4294967295 134512640 134569956 3221224400 3221214696 1131264441 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209085 132872 13073 16 0 209069 0
vsize: 836340
[startup+900.065 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 13781
Raw data (stat): 13714 (java) S 13713 3260 3259 0 -1 0 18029 0 1 0 84243 135 0 0 25 0 11 0 548498683 856412160 132886 4294967295 134512640 134569956 3221224400 3221213400 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209085 132886 13073 16 0 209069 0
vsize: 836340
[startup+910.065 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 13781
Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 18029 0 1 0 85215 135 0 0 25 0 11 0 548498683 856412160 132897 4294967295 134512640 134569956 3221224400 3221214696 1131264865 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209085 132897 13073 16 0 209069 0
vsize: 836340
[startup+920.065 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 13781
Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 18029 0 1 0 86187 136 0 0 25 0 11 0 548498683 856412160 132908 4294967295 134512640 134569956 3221224400 3221214704 1131346853 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209085 132908 13073 16 0 209069 0
vsize: 836340
[startup+930.066 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 13781
Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 18029 0 1 0 87161 136 0 0 25 0 11 0 548498683 856412160 132923 4294967295 134512640 134569956 3221224400 3221214696 1131265890 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209085 132923 13073 16 0 209069 0
vsize: 836340
[startup+940.066 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 13781
Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 18029 0 1 0 88132 136 0 0 25 0 11 0 548498683 856412160 132932 4294967295 134512640 134569956 3221224400 3221214792 1131385081 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209085 132932 13073 16 0 209069 0
vsize: 836340
[startup+950.065 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 13781
Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 18029 0 1 0 89105 137 0 0 25 0 11 0 548498683 856412160 132945 4294967295 134512640 134569956 3221224400 3221214792 1131386034 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209085 132945 13073 16 0 209069 0
vsize: 836340
[startup+960.066 s]
Raw data (loadavg): 1.07 1.01 0.93 2/64 13781
Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 18029 0 1 0 90076 137 0 0 25 0 11 0 548498683 856412160 132964 4294967295 134512640 134569956 3221224400 3221214696 1131264865 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209085 132964 13073 16 0 209069 0
vsize: 836340
[startup+970.067 s]
Raw data (loadavg): 1.06 1.01 0.93 2/64 13781
Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 18029 0 1 0 91049 137 0 0 25 0 11 0 548498683 856412160 132977 4294967295 134512640 134569956 3221224400 3221214792 1131385005 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209085 132977 13073 16 0 209069 0
vsize: 836340
[startup+980.068 s]
Raw data (loadavg): 1.05 1.01 0.93 2/64 13781
Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 18029 0 1 0 92021 137 0 0 25 0 11 0 548498683 856412160 132997 4294967295 134512640 134569956 3221224400 3221214696 1131264453 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209085 132997 13073 16 0 209069 0
vsize: 836340
[startup+990.068 s]
Raw data (loadavg): 1.04 1.01 0.93 2/64 13781
Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 18029 0 1 0 92995 137 0 0 25 0 11 0 548498683 856412160 133011 4294967295 134512640 134569956 3221224400 3221214792 1131386250 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209085 133011 13073 16 0 209069 0
vsize: 836340
[startup+1000.07 s]
Raw data (loadavg): 1.04 1.01 0.93 2/64 13781
Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 18029 0 1 0 93967 137 0 0 25 0 11 0 548498683 856412160 133026 4294967295 134512640 134569956 3221224400 3221214696 1131264865 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209085 133026 13073 16 0 209069 0
vsize: 836340
[startup+1010.07 s]
Raw data (loadavg): 1.03 1.01 0.93 2/64 13781
Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 18029 0 1 0 94938 137 0 0 24 0 11 0 548498683 856412160 133042 4294967295 134512640 134569956 3221224400 3221214696 1131265059 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209085 133042 13073 16 0 209069 0
vsize: 836340
[startup+1020.07 s]
Raw data (loadavg): 1.02 1.01 0.93 2/64 13781
Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 18029 0 1 0 95911 137 0 0 25 0 11 0 548498683 856412160 133055 4294967295 134512640 134569956 3221224400 3221214792 1131385016 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209085 133055 13073 16 0 209069 0
vsize: 836340
[startup+1030.07 s]
Raw data (loadavg): 1.02 1.01 0.93 2/64 13781
Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 18029 0 1 0 96880 138 0 0 25 0 11 0 548498683 856412160 133069 4294967295 134512640 134569956 3221224400 3221214696 1131264865 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209085 133069 13073 16 0 209069 0
vsize: 836340
[startup+1040.07 s]
Raw data (loadavg): 1.02 1.01 0.93 2/64 13781
Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 18029 0 1 0 97853 138 0 0 25 0 11 0 548498683 856412160 133088 4294967295 134512640 134569956 3221224400 3221214792 1131385889 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209085 133088 13073 16 0 209069 0
vsize: 836340
[startup+1050.07 s]
Raw data (loadavg): 1.01 1.00 0.93 2/64 13781
Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 18029 0 1 0 98823 138 0 0 25 0 11 0 548498683 856412160 133111 4294967295 134512640 134569956 3221224400 3221214792 1131386286 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209085 133111 13073 16 0 209069 0
vsize: 836340
[startup+1060.07 s]
Raw data (loadavg): 1.01 1.00 0.93 2/64 13781
Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 18029 0 1 0 99796 138 0 0 25 0 11 0 548498683 856412160 133125 4294967295 134512640 134569956 3221224400 3221214696 1131264865 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209085 133125 13073 16 0 209069 0
vsize: 836340
[startup+1070.07 s]
Raw data (loadavg): 1.01 1.00 0.93 2/64 13781
Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 18029 0 1 0 100767 138 0 0 25 0 11 0 548498683 856412160 133147 4294967295 134512640 134569956 3221224400 3221214696 1131264817 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209085 133147 13073 16 0 209069 0
vsize: 836340
[startup+1080.07 s]
Raw data (loadavg): 1.01 1.00 0.93 2/64 13781
Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 18029 0 1 0 101740 138 0 0 25 0 11 0 548498683 856412160 133163 4294967295 134512640 134569956 3221224400 3221214696 1131265037 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209085 133163 13073 16 0 209069 0
vsize: 836340
[startup+1090.07 s]
Raw data (loadavg): 1.01 1.00 0.93 2/64 13781
Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 18029 0 1 0 102711 138 0 0 25 0 11 0 548498683 856412160 133181 4294967295 134512640 134569956 3221224400 3221214696 1131265680 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209085 133181 13073 16 0 209069 0
vsize: 836340
[startup+1100.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 13781
Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 18029 0 1 0 103682 138 0 0 24 0 11 0 548498683 856412160 133200 4294967295 134512640 134569956 3221224400 3221214696 1131265720 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209085 133200 13073 16 0 209069 0
vsize: 836340
[startup+1110.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 13781
Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 18029 0 1 0 104655 138 0 0 25 0 11 0 548498683 856412160 133213 4294967295 134512640 134569956 3221224400 3221214696 1131265741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209085 133213 13073 16 0 209069 0
vsize: 836340
[startup+1120.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 13781
Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 18029 0 1 0 105625 139 0 0 25 0 11 0 548498683 856412160 133229 4294967295 134512640 134569956 3221224400 3221214696 1131264881 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209085 133229 13073 16 0 209069 0
vsize: 836340
[startup+1130.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 13781
Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 18029 0 1 0 106598 139 0 0 25 0 11 0 548498683 856412160 133248 4294967295 134512640 134569956 3221224400 3221214656 1131044787 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209085 133248 13073 16 0 209069 0
vsize: 836340
[startup+1140.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 13781
Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 18029 0 1 0 107568 139 0 0 25 0 11 0 548498683 856412160 133266 4294967295 134512640 134569956 3221224400 3221214792 1131386095 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209085 133266 13073 16 0 209069 0
vsize: 836340
[startup+1150.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 13781
Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 18029 0 1 0 108540 139 0 0 25 0 11 0 548498683 856412160 133284 4294967295 134512640 134569956 3221224400 3221214792 1131387036 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209085 133284 13073 16 0 209069 0
vsize: 836340
[startup+1160.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 13781
Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 18029 0 1 0 109509 139 0 0 25 0 11 0 548498683 856412160 133303 4294967295 134512640 134569956 3221224400 3221214696 1131264533 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209085 133303 13073 16 0 209069 0
vsize: 836340
[startup+1170.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 13781
Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 18029 0 1 0 110477 139 0 0 24 0 11 0 548498683 856412160 133324 4294967295 134512640 134569956 3221224400 3221214696 1131264470 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209085 133324 13073 16 0 209069 0
vsize: 836340
[startup+1180.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 13781
Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 18029 0 1 0 111450 139 0 0 25 0 11 0 548498683 856412160 133348 4294967295 134512640 134569956 3221224400 3221214696 1131265057 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209085 133348 13073 16 0 209069 0
vsize: 836340
[startup+1190.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 13781
Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 18029 0 1 0 112419 139 0 0 25 0 11 0 548498683 856412160 133366 4294967295 134512640 134569956 3221224400 3221214792 1131384966 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209085 133366 13073 16 0 209069 0
vsize: 836340
[startup+1200.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 13781
Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 18029 0 1 0 113392 139 0 0 25 0 11 0 548498683 856412160 133387 4294967295 134512640 134569956 3221224400 3221214792 1131386054 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209085 133387 13073 16 0 209069 0
vsize: 836340
[startup+1210.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 13781
Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 18029 0 1 0 114362 140 0 0 25 0 11 0 548498683 856412160 133407 4294967295 134512640 134569956 3221224400 3221214696 1131265029 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209085 133407 13073 16 0 209069 0
vsize: 836340
[startup+1220.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 13781
Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 18029 0 1 0 115335 140 0 0 25 0 11 0 548498683 856412160 133423 4294967295 134512640 134569956 3221224400 3221214696 1131265091 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209085 133423 13073 16 0 209069 0
vsize: 836340
[startup+1230.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 13781
Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 18029 0 1 0 116305 140 0 0 25 0 11 0 548498683 856412160 133445 4294967295 134512640 134569956 3221224400 3221214696 1131265886 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209085 133445 13073 16 0 209069 0
vsize: 836340
[startup+1240.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 13781
Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 18029 0 1 0 117275 140 0 0 25 0 11 0 548498683 856412160 133463 4294967295 134512640 134569956 3221224400 3221214696 1131265029 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209085 133463 13073 16 0 209069 0
vsize: 836340
[startup+1250.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 13781
Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 18029 0 1 0 118248 140 0 0 25 0 11 0 548498683 856412160 133480 4294967295 134512640 134569956 3221224400 3221214792 1131386098 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209085 133480 13073 16 0 209069 0
vsize: 836340
[startup+1260.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 13781
Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 18029 0 1 0 119217 140 0 0 25 0 11 0 548498683 856412160 133497 4294967295 134512640 134569956 3221224400 3221214696 1131265041 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209085 133497 13073 16 0 209069 0
vsize: 836340
[startup+1270.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 13781
Raw data (stat): 13714 (java) R 13713 3260 3259 0 -1 0 18029 0 1 0 120190 140 0 0 25 0 11 0 548498683 856412160 133517 4294967295 134512640 134569956 3221224400 3221214792 1131385012 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209085 133517 13073 16 0 209069 0
vsize: 836340
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1270.39 s]
Raw data (loadavg): 1.00 1.00 0.93 1/54 13782
Raw data (stat): 13714 (java) Z 13713 3260 3259 0 -1 1036 18029 116809 1 0 120194 140 6713 253 25 0 1 0 548498683 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1270.39
CPU time (s): 1273.02
CPU user time (s): 1269.08
CPU system time (s): 3.9414
CPU usage (%): 100.207
Max. virtual memory (Kb): 837872
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####