Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
  1. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
  2. SOLVER DATA
    This is the output of the solver (stdout and stderr).
  3. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  4. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.

General information on the benchmark

Namenormalized-opb/web/uclid_pb_benchmarks/normalized-ooo.burch_dill.2.accl.ucl.opb
MD5SUM83f02a556772ce851c726a7388954d36
Bench Categoryno optimization function (SAT)
Has Objective FunctionNO
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 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 35
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 129
Number of bits of the biggest sum of numbers8
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark3.58545
Number of variables2152
Total number of constraints5613
Number of constraints which are clauses5137
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints476
Minimum length of a constraint1
Maximum length of a constraint11

Trace number 4463 

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc7 THE 2005-04-13 17:27:48 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=2664 boxname=wulflinc7 idbench=296 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  83f02a556772ce851c726a7388954d36  /oldhome/oroussel/tmp/wulflinc7/normalized-ooo.burch_dill.2.accl.ucl.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc7/normalized-ooo.burch_dill.2.accl.ucl.opb
IDLAUNCH: 2664
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.050
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	: 2
cpu MHz		: 451.050
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:        921416 kB
Buffers:         36504 kB
Cached:          57472 kB
SwapCached:          0 kB
Active:          71888 kB
Inactive:        24912 kB
HighTotal:      131008 kB
HighFree:        69692 kB
LowTotal:       903652 kB
LowFree:        851724 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6924 kB
Slab:            10860 kB
Committed_AS:    63484 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-13 17:48:20 (client local time) WITH STATUS 143 IN  SECONDS
stats: 2664 7  143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc7/normalized-ooo.burch_dill.2.accl.ucl.opb
c reading problem 
c [nbvar=2152]
c [nbconstr=5613]
c time 5.393
c #vars     2152
c #clauses  5613
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 1.02 0.99 2/54 24231
Raw data (stat): 24231 (runsolver) R 24230 22932 22931 0 -1 64 1 0 0 0 0 0 0 0 19 0 1 0 419531071 1052672 97 4294967295 134512640 135381576 3221224432 3221219804 135024789 0 0 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 97 215 215 0 42 0
vsize: 1028
[startup+9.99956 s]
Raw data (loadavg): 1.15 1.05 1.00 3/64 24241
Raw data (stat): 24231 (java) R 24230 22932 22931 0 -1 0 18071 0 1 0 672 46 0 0 25 0 11 0 419531071 863567872 21644 4294967295 134512640 134569956 3221224400 3221214848 1131317092 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210832 21644 13073 16 0 210816 0
vsize: 843328
[startup+19.9997 s]
Raw data (loadavg): 1.20 1.07 1.01 2/64 24241
Raw data (stat): 24231 (java) R 24230 22932 22931 0 -1 0 18072 0 1 0 1613 46 0 0 25 0 11 0 419531071 859602944 21459 4294967295 134512640 134569956 3221224400 3221214712 1131327234 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209864 21459 13073 16 0 209848 0
vsize: 839456
[startup+29.9999 s]
Raw data (loadavg): 1.32 1.10 1.02 3/64 24241
Raw data (stat): 24231 (java) R 24230 22932 22931 0 -1 0 18073 0 1 0 2575 46 0 0 25 0 11 0 419531071 868511744 23888 4294967295 134512640 134569956 3221224400 3221214672 1131559596 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212039 23888 13073 16 0 212023 0
vsize: 848156
[startup+39.9994 s]
Raw data (loadavg): 1.27 1.09 1.02 2/64 24241
Raw data (stat): 24231 (java) R 24230 22932 22931 0 -1 0 18073 0 1 0 3546 46 0 0 25 0 11 0 419531071 861556736 22524 4294967295 134512640 134569956 3221224400 3221214832 1131317256 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210341 22524 13073 16 0 210325 0
vsize: 841364
[startup+50.0003 s]
Raw data (loadavg): 1.23 1.09 1.01 2/64 24241
Raw data (stat): 24231 (java) R 24230 22932 22931 0 -1 0 18073 0 1 0 4526 46 0 0 25 0 11 0 419531071 861556736 22757 4294967295 134512640 134569956 3221224400 3221214832 1131316778 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210341 22757 13073 16 0 210325 0
vsize: 841364
[startup+59.9996 s]
Raw data (loadavg): 1.19 1.08 1.01 2/64 24241
Raw data (stat): 24231 (java) R 24230 22932 22931 0 -1 0 18073 0 1 0 5499 46 0 0 25 0 11 0 419531071 861556736 22900 4294967295 134512640 134569956 3221224400 3221214712 1131328182 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210341 22900 13073 16 0 210325 0
vsize: 841364
[startup+69.9992 s]
Raw data (loadavg): 1.16 1.08 1.01 2/64 24241
Raw data (stat): 24231 (java) R 24230 22932 22931 0 -1 0 18073 0 1 0 6481 46 0 0 25 0 11 0 419531071 861556736 23049 4294967295 134512640 134569956 3221224400 3221214832 1131317252 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210341 23049 13073 16 0 210325 0
vsize: 841364
[startup+80.0004 s]
Raw data (loadavg): 1.14 1.08 1.01 2/64 24241
Raw data (stat): 24231 (java) R 24230 22932 22931 0 -1 0 18073 0 1 0 7454 46 0 0 25 0 11 0 419531071 861556736 23265 4294967295 134512640 134569956 3221224400 3221214880 1131580620 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210341 23265 13073 16 0 210325 0
vsize: 841364
[startup+90.0005 s]
Raw data (loadavg): 1.12 1.08 1.01 2/64 24241
Raw data (stat): 24231 (java) R 24230 22932 22931 0 -1 0 18073 0 1 0 8426 47 0 0 25 0 11 0 419531071 859602944 23050 4294967295 134512640 134569956 3221224400 3221214712 1131327226 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209864 23050 13073 16 0 209848 0
vsize: 839456
[startup+100.001 s]
Raw data (loadavg): 1.10 1.07 1.01 2/64 24241
Raw data (stat): 24231 (java) R 24230 22932 22931 0 -1 0 18073 0 1 0 9401 47 0 0 25 0 11 0 419531071 859602944 23240 4294967295 134512640 134569956 3221224400 3221214832 1131316752 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209864 23240 13073 16 0 209848 0
vsize: 839456
[startup+110.001 s]
Raw data (loadavg): 1.08 1.07 1.01 2/64 24241
Raw data (stat): 24231 (java) R 24230 22932 22931 0 -1 0 18073 0 1 0 10375 47 0 0 25 0 11 0 419531071 859602944 23542 4294967295 134512640 134569956 3221224400 3221214832 1131317239 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209864 23542 13073 16 0 209848 0
vsize: 839456
[startup+120.001 s]
Raw data (loadavg): 1.07 1.07 1.01 2/64 24241
Raw data (stat): 24231 (java) R 24230 22932 22931 0 -1 0 18073 0 1 0 11358 47 0 0 25 0 11 0 419531071 859602944 23561 4294967295 134512640 134569956 3221224400 3221214832 1131317239 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209864 23561 13073 16 0 209848 0
vsize: 839456
[startup+130.001 s]
Raw data (loadavg): 1.14 1.08 1.01 2/64 24241
Raw data (stat): 24231 (java) R 24230 22932 22931 0 -1 0 18074 0 1 0 12334 47 0 0 25 0 11 0 419531071 859602944 23882 4294967295 134512640 134569956 3221224400 3221214832 1131317068 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209864 23882 13073 16 0 209848 0
vsize: 839456
[startup+140.001 s]
Raw data (loadavg): 1.12 1.08 1.01 2/64 24241
Raw data (stat): 24231 (java) R 24230 22932 22931 0 -1 0 18074 0 1 0 13308 47 0 0 25 0 11 0 419531071 859602944 24069 4294967295 134512640 134569956 3221224400 3221214672 1131203489 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209864 24069 13073 16 0 209848 0
vsize: 839456
[startup+150.001 s]
Raw data (loadavg): 1.10 1.08 1.01 2/64 24241
Raw data (stat): 24231 (java) R 24230 22932 22931 0 -1 0 18074 0 1 0 14283 47 0 0 25 0 11 0 419531071 859602944 24297 4294967295 134512640 134569956 3221224400 3221214816 1131395335 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209864 24297 13073 16 0 209848 0
vsize: 839456
[startup+160.001 s]
Raw data (loadavg): 1.08 1.07 1.01 2/64 24241
Raw data (stat): 24231 (java) R 24230 22932 22931 0 -1 0 18074 0 1 0 15256 47 0 0 25 0 11 0 419531071 859602944 24542 4294967295 134512640 134569956 3221224400 3221214832 1131317150 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209864 24542 13073 16 0 209848 0
vsize: 839456
[startup+170.001 s]
Raw data (loadavg): 1.07 1.07 1.01 2/64 24241
Raw data (stat): 24231 (java) R 24230 22932 22931 0 -1 0 18074 0 1 0 16230 47 0 0 25 0 11 0 419531071 859602944 24773 4294967295 134512640 134569956 3221224400 3221214712 1131328130 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209864 24773 13073 16 0 209848 0
vsize: 839456
[startup+180.001 s]
Raw data (loadavg): 1.06 1.07 1.01 2/64 24241
Raw data (stat): 24231 (java) R 24230 22932 22931 0 -1 0 18074 0 1 0 17202 47 0 0 25 0 11 0 419531071 859602944 25003 4294967295 134512640 134569956 3221224400 3221214832 1131317076 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209864 25003 13073 16 0 209848 0
vsize: 839456
[startup+190.001 s]
Raw data (loadavg): 1.05 1.06 1.01 2/64 24241
Raw data (stat): 24231 (java) R 24230 22932 22931 0 -1 0 18074 0 1 0 18175 47 0 0 25 0 11 0 419531071 859602944 25247 4294967295 134512640 134569956 3221224400 3221214868 1080203714 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209864 25247 13073 16 0 209848 0
vsize: 839456
[startup+200.001 s]
Raw data (loadavg): 1.04 1.06 1.00 2/64 24241
Raw data (stat): 24231 (java) R 24230 22932 22931 0 -1 0 18074 0 1 0 19140 47 0 0 25 0 11 0 419531071 859602944 25572 4294967295 134512640 134569956 3221224400 3221214832 1131317102 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209864 25572 13073 16 0 209848 0
vsize: 839456
[startup+210.001 s]
Raw data (loadavg): 1.03 1.06 1.00 2/64 24241
Raw data (stat): 24231 (java) R 24230 22932 22931 0 -1 0 18074 0 1 0 20115 47 0 0 25 0 11 0 419531071 859602944 25830 4294967295 134512640 134569956 3221224400 3221214608 1131445315 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209864 25830 13073 16 0 209848 0
vsize: 839456
[startup+220.001 s]
Raw data (loadavg): 1.03 1.06 1.00 2/64 24241
Raw data (stat): 24231 (java) R 24230 22932 22931 0 -1 0 18074 0 1 0 21090 47 0 0 25 0 11 0 419531071 859602944 25993 4294967295 134512640 134569956 3221224400 3221214832 1131317246 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209864 25993 13073 16 0 209848 0
vsize: 839456
[startup+230.001 s]
Raw data (loadavg): 1.02 1.05 1.00 2/64 24241
Raw data (stat): 24231 (java) R 24230 22932 22931 0 -1 0 18074 0 1 0 22064 47 0 0 25 0 11 0 419531071 859602944 26267 4294967295 134512640 134569956 3221224400 3221214672 1131202309 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209864 26267 13073 16 0 209848 0
vsize: 839456
[startup+240 s]
Raw data (loadavg): 1.02 1.05 1.00 2/64 24241
Raw data (stat): 24231 (java) R 24230 22932 22931 0 -1 0 18074 0 1 0 23038 47 0 0 25 0 11 0 419531071 859602944 26473 4294967295 134512640 134569956 3221224400 3221214832 1131316979 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209864 26473 13073 16 0 209848 0
vsize: 839456
[startup+250.001 s]
Raw data (loadavg): 1.02 1.05 1.00 2/64 24241
Raw data (stat): 24231 (java) R 24230 22932 22931 0 -1 0 18074 0 1 0 24012 47 0 0 25 0 11 0 419531071 859602944 26677 4294967295 134512640 134569956 3221224400 3221214832 1131316985 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209864 26677 13073 16 0 209848 0
vsize: 839456
[startup+260.001 s]
Raw data (loadavg): 1.01 1.05 1.00 2/64 24241
Raw data (stat): 24231 (java) R 24230 22932 22931 0 -1 0 18074 0 1 0 24985 47 0 0 25 0 11 0 419531071 859602944 26912 4294967295 134512640 134569956 3221224400 3221214832 1131317087 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209864 26912 13073 16 0 209848 0
vsize: 839456
[startup+270 s]
Raw data (loadavg): 1.01 1.05 1.00 2/64 24241
Raw data (stat): 24231 (java) R 24230 22932 22931 0 -1 0 18074 0 1 0 25947 47 0 0 25 0 11 0 419531071 859602944 27235 4294967295 134512640 134569956 3221224400 3221214712 1131327263 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209864 27235 13073 16 0 209848 0
vsize: 839456
[startup+279.999 s]
Raw data (loadavg): 1.01 1.04 1.00 2/64 24241
Raw data (stat): 24231 (java) R 24230 22932 22931 0 -1 0 18074 0 1 0 26921 47 0 0 25 0 11 0 419531071 859602944 27361 4294967295 134512640 134569956 3221224400 3221214712 1131327252 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209864 27361 13073 16 0 209848 0
vsize: 839456
[startup+290 s]
Raw data (loadavg): 1.01 1.04 1.00 2/64 24241
Raw data (stat): 24231 (java) R 24230 22932 22931 0 -1 0 18074 0 1 0 27895 47 0 0 25 0 11 0 419531071 859602944 27535 4294967295 134512640 134569956 3221224400 3221214832 1131317076 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209864 27535 13073 16 0 209848 0
vsize: 839456
[startup+300.003 s]
Raw data (loadavg): 1.01 1.04 1.00 2/64 24241
Raw data (stat): 24231 (java) S 24230 22932 22931 0 -1 0 18074 0 1 0 28866 47 0 0 25 0 11 0 419531071 859602944 27731 4294967295 134512640 134569956 3221224400 3221213416 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209864 27731 13073 16 0 209848 0
vsize: 839456
[startup+310.003 s]
Raw data (loadavg): 1.00 1.04 1.00 2/64 24241
Raw data (stat): 24231 (java) R 24230 22932 22931 0 -1 0 18074 0 1 0 29834 47 0 0 25 0 11 0 419531071 859602944 27999 4294967295 134512640 134569956 3221224400 3221214712 1131328174 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209864 27999 13073 16 0 209848 0
vsize: 839456
[startup+320.003 s]
Raw data (loadavg): 1.00 1.04 1.00 2/64 24241
Raw data (stat): 24231 (java) R 24230 22932 22931 0 -1 0 18074 0 1 0 30809 47 0 0 25 0 11 0 419531071 859602944 28190 4294967295 134512640 134569956 3221224400 3221214832 1131317072 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209864 28190 13073 16 0 209848 0
vsize: 839456
[startup+330.004 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 24241
Raw data (stat): 24231 (java) R 24230 22932 22931 0 -1 0 18074 0 1 0 31775 47 0 0 25 0 11 0 419531071 859602944 28397 4294967295 134512640 134569956 3221224400 3221214856 1131245848 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209864 28397 13073 16 0 209848 0
vsize: 839456
[startup+340.003 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 24241
Raw data (stat): 24231 (java) R 24230 22932 22931 0 -1 0 18074 0 1 0 32739 47 0 0 25 0 11 0 419531071 859602944 28767 4294967295 134512640 134569956 3221224400 3221214832 1131317076 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209864 28767 13073 16 0 209848 0
vsize: 839456
[startup+350.003 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 24241
Raw data (stat): 24231 (java) R 24230 22932 22931 0 -1 0 18074 0 1 0 33704 47 0 0 25 0 11 0 419531071 859602944 29056 4294967295 134512640 134569956 3221224400 3221214712 1131328156 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209864 29056 13073 16 0 209848 0
vsize: 839456
[startup+360.004 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 24241
Raw data (stat): 24231 (java) R 24230 22932 22931 0 -1 0 18074 0 1 0 34678 47 0 0 25 0 11 0 419531071 859602944 29265 4294967295 134512640 134569956 3221224400 3221214672 1131202353 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209864 29265 13073 16 0 209848 0
vsize: 839456
[startup+370.003 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 24241
Raw data (stat): 24231 (java) R 24230 22932 22931 0 -1 0 18074 0 1 0 35652 47 0 0 25 0 11 0 419531071 859602944 29440 4294967295 134512640 134569956 3221224400 3221214832 1131317092 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209864 29440 13073 16 0 209848 0
vsize: 839456
[startup+380.003 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 24241
Raw data (stat): 24231 (java) R 24230 22932 22931 0 -1 0 18074 0 1 0 36616 47 0 0 25 0 11 0 419531071 859602944 29794 4294967295 134512640 134569956 3221224400 3221214712 1131327252 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209864 29794 13073 16 0 209848 0
vsize: 839456
[startup+390.003 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 24241
Raw data (stat): 24231 (java) R 24230 22932 22931 0 -1 0 18074 0 1 0 37581 47 0 0 25 0 11 0 419531071 859602944 29979 4294967295 134512640 134569956 3221224400 3221214736 1131203572 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209864 29979 13073 16 0 209848 0
vsize: 839456
[startup+400.004 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 24241
Raw data (stat): 24231 (java) R 24230 22932 22931 0 -1 0 18074 0 1 0 38555 47 0 0 25 0 11 0 419531071 859602944 30161 4294967295 134512640 134569956 3221224400 3221214832 1131317239 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209864 30161 13073 16 0 209848 0
vsize: 839456
[startup+410.004 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 24241
Raw data (stat): 24231 (java) R 24230 22932 22931 0 -1 0 18074 0 1 0 39520 47 0 0 25 0 11 0 419531071 859602944 30389 4294967295 134512640 134569956 3221224400 3221214768 1131364178 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209864 30389 13073 16 0 209848 0
vsize: 839456
[startup+420.003 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 24241
Raw data (stat): 24231 (java) R 24230 22932 22931 0 -1 0 18074 0 1 0 40493 47 0 0 25 0 11 0 419531071 859602944 30595 4294967295 134512640 134569956 3221224400 3221214832 1131316768 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209864 30595 13073 16 0 209848 0
vsize: 839456
[startup+430.004 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 24241
Raw data (stat): 24231 (java) R 24230 22932 22931 0 -1 0 18074 0 1 0 41457 47 0 0 25 0 11 0 419531071 859602944 30781 4294967295 134512640 134569956 3221224400 3221214712 1131275810 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209864 30781 13073 16 0 209848 0
vsize: 839456
[startup+440.004 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 24241
Raw data (stat): 24231 (java) R 24230 22932 22931 0 -1 0 18074 0 1 0 42422 47 0 0 25 0 11 0 419531071 859602944 30935 4294967295 134512640 134569956 3221224400 3221214832 1131317092 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209864 30935 13073 16 0 209848 0
vsize: 839456
[startup+450.007 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 24241
Raw data (stat): 24231 (java) S 24230 22932 22931 0 -1 0 18074 0 1 0 43390 47 0 0 25 0 11 0 419531071 859602944 31165 4294967295 134512640 134569956 3221224400 3221213376 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209864 31165 13073 16 0 209848 0
vsize: 839456
[startup+460.008 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 24241
Raw data (stat): 24231 (java) S 24230 22932 22931 0 -1 0 18074 0 1 0 44355 47 0 0 25 0 11 0 419531071 859602944 31407 4294967295 134512640 134569956 3221224400 3221213376 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209864 31407 13073 16 0 209848 0
vsize: 839456
[startup+470.008 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 24241
Raw data (stat): 24231 (java) R 24230 22932 22931 0 -1 0 18074 0 1 0 45324 47 0 0 25 0 11 0 419531071 859602944 31597 4294967295 134512640 134569956 3221224400 3221214808 1131138841 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209864 31597 13073 16 0 209848 0
vsize: 839456
[startup+480.008 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 24241
Raw data (stat): 24231 (java) R 24230 22932 22931 0 -1 0 18074 0 1 0 46288 47 0 0 25 0 11 0 419531071 859602944 31907 4294967295 134512640 134569956 3221224400 3221214880 1131582753 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209864 31907 13073 16 0 209848 0
vsize: 839456
[startup+490.008 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 24241
Raw data (stat): 24231 (java) R 24230 22932 22931 0 -1 0 18074 0 1 0 47253 47 0 0 25 0 11 0 419531071 859602944 32136 4294967295 134512640 134569956 3221224400 3221214832 1131316975 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209864 32136 13073 16 0 209848 0
vsize: 839456
[startup+500.009 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 24241
Raw data (stat): 24231 (java) R 24230 22932 22931 0 -1 0 18075 0 1 0 48233 47 0 0 24 0 11 0 419531071 859602944 32304 4294967295 134512640 134569956 3221224400 3221214672 1131559436 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209864 32304 13073 16 0 209848 0
vsize: 839456
[startup+510.009 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 24241
Raw data (stat): 24231 (java) R 24230 22932 22931 0 -1 0 18075 0 1 0 49225 47 0 0 25 0 11 0 419531071 859602944 32342 4294967295 134512640 134569956 3221224400 3221214092 1131509387 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209864 32342 13073 16 0 209848 0
vsize: 839456
[startup+520.009 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 24241
Raw data (stat): 24231 (java) R 24230 22932 22931 0 -1 0 18075 0 1 0 50215 48 0 0 25 0 11 0 419531071 859602944 32431 4294967295 134512640 134569956 3221224400 3221214232 1085632284 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209864 32431 13073 16 0 209848 0
vsize: 839456
[startup+530.01 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 24241
Raw data (stat): 24231 (java) R 24230 22932 22931 0 -1 0 18075 0 1 0 51198 48 0 0 25 0 11 0 419531071 859602944 32490 4294967295 134512640 134569956 3221224400 3221214832 1131316778 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209864 32490 13073 16 0 209848 0
vsize: 839456
[startup+540.009 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 24241
Raw data (stat): 24231 (java) R 24230 22932 22931 0 -1 0 18075 0 1 0 52180 48 0 0 24 0 11 0 419531071 859602944 32638 4294967295 134512640 134569956 3221224400 3221214712 1131328245 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209864 32638 13073 16 0 209848 0
vsize: 839456
[startup+550.01 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 24241
Raw data (stat): 24231 (java) R 24230 22932 22931 0 -1 0 18075 0 1 0 53171 48 0 0 25 0 11 0 419531071 859602944 32711 4294967295 134512640 134569956 3221224400 3221214200 1131506236 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209864 32711 13073 16 0 209848 0
vsize: 839456
[startup+560.009 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 24241
Raw data (stat): 24231 (java) R 24230 22932 22931 0 -1 0 18075 0 1 0 54162 48 0 0 25 0 11 0 419531071 859602944 32759 4294967295 134512640 134569956 3221224400 3221214264 1131509340 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209864 32759 13073 16 0 209848 0
vsize: 839456
[startup+570.009 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 24241
Raw data (stat): 24231 (java) R 24230 22932 22931 0 -1 0 18075 0 1 0 55153 48 0 0 25 0 11 0 419531071 859602944 32832 4294967295 134512640 134569956 3221224400 3221213844 1131509392 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209864 32832 13073 16 0 209848 0
vsize: 839456
[startup+580.009 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 24241
Raw data (stat): 24231 (java) R 24230 22932 22931 0 -1 0 18075 0 1 0 56143 48 0 0 25 0 11 0 419531071 859602944 32885 4294967295 134512640 134569956 3221224400 3221213840 1085679473 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209864 32885 13073 16 0 209848 0
vsize: 839456
[startup+590.009 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 24241
Raw data (stat): 24231 (java) R 24230 22932 22931 0 -1 0 18075 0 1 0 57143 48 0 0 25 0 11 0 419531071 859602944 32885 4294967295 134512640 134569956 3221224400 3221214712 1131328264 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209864 32885 13073 16 0 209848 0
vsize: 839456
[startup+600.01 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 24241
Raw data (stat): 24231 (java) R 24230 22932 22931 0 -1 0 18075 0 1 0 58124 48 0 0 25 0 11 0 419531071 859602944 33059 4294967295 134512640 134569956 3221224400 3221214768 1131364271 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209864 33059 13073 16 0 209848 0
vsize: 839456
[startup+610.009 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24241
Raw data (stat): 24231 (java) R 24230 22932 22931 0 -1 0 18075 0 1 0 59116 48 0 0 25 0 11 0 419531071 859602944 33106 4294967295 134512640 134569956 3221224400 3221214576 1131502948 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209864 33106 13073 16 0 209848 0
vsize: 839456
[startup+620.009 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24241
Raw data (stat): 24231 (java) R 24230 22932 22931 0 -1 0 18075 0 1 0 60107 48 0 0 25 0 11 0 419531071 859602944 33164 4294967295 134512640 134569956 3221224400 3221213976 1131506223 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209864 33164 13073 16 0 209848 0
vsize: 839456
[startup+630.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24241
Raw data (stat): 24231 (java) R 24230 22932 22931 0 -1 0 18075 0 1 0 61089 48 0 0 25 0 11 0 419531071 859602944 33210 4294967295 134512640 134569956 3221224400 3221214176 1085679358 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209864 33210 13073 16 0 209848 0
vsize: 839456
[startup+640.009 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24241
Raw data (stat): 24231 (java) R 24230 22932 22931 0 -1 0 18075 0 1 0 62079 48 0 0 25 0 11 0 419531071 859602944 33279 4294967295 134512640 134569956 3221224400 3221214816 1131344313 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209864 33279 13073 16 0 209848 0
vsize: 839456
[startup+650.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24241
Raw data (stat): 24231 (java) R 24230 22932 22931 0 -1 0 18075 0 1 0 63069 48 0 0 25 0 11 0 419531071 859602944 33346 4294967295 134512640 134569956 3221224400 3221214832 1131316752 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209864 33346 13073 16 0 209848 0
vsize: 839456
[startup+660.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24241
Raw data (stat): 24231 (java) R 24230 22932 22931 0 -1 0 18075 0 1 0 64051 48 0 0 25 0 11 0 419531071 859602944 33452 4294967295 134512640 134569956 3221224400 3221214232 1085679526 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209864 33452 13073 16 0 209848 0
vsize: 839456
[startup+670.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24241
Raw data (stat): 24231 (java) R 24230 22932 22931 0 -1 0 18075 0 1 0 65042 48 0 0 25 0 11 0 419531071 859602944 33512 4294967295 134512640 134569956 3221224400 3221214428 1131509392 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209864 33512 13073 16 0 209848 0
vsize: 839456
[startup+680.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24241
Raw data (stat): 24231 (java) R 24230 22932 22931 0 -1 0 18075 0 1 0 66023 48 0 0 25 0 11 0 419531071 859602944 33572 4294967295 134512640 134569956 3221224400 3221213904 1131502956 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209864 33572 13073 16 0 209848 0
vsize: 839456
[startup+690.009 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24241
Raw data (stat): 24231 (java) R 24230 22932 22931 0 -1 0 18075 0 1 0 67014 49 0 0 25 0 11 0 419531071 859602944 33669 4294967295 134512640 134569956 3221224400 3221214376 1131509393 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209864 33669 13073 16 0 209848 0
vsize: 839456
[startup+700.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24241
Raw data (stat): 24231 (java) R 24230 22932 22931 0 -1 0 18075 0 1 0 68004 49 0 0 25 0 11 0 419531071 859602944 33669 4294967295 134512640 134569956 3221224400 3221213984 1131509404 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209864 33669 13073 16 0 209848 0
vsize: 839456
[startup+710.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24241
Raw data (stat): 24231 (java) R 24230 22932 22931 0 -1 0 18075 0 1 0 68996 49 0 0 25 0 11 0 419531071 859602944 33736 4294967295 134512640 134569956 3221224400 3221214128 1131502983 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209864 33736 13073 16 0 209848 0
vsize: 839456
[startup+720.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24241
Raw data (stat): 24231 (java) R 24230 22932 22931 0 -1 0 18075 0 1 0 69987 49 0 0 25 0 11 0 419531071 859602944 33815 4294967295 134512640 134569956 3221224400 3221214544 1131509241 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209864 33815 13073 16 0 209848 0
vsize: 839456
[startup+730.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24241
Raw data (stat): 24231 (java) R 24230 22932 22931 0 -1 0 18075 0 1 0 70978 49 0 0 25 0 11 0 419531071 859602944 33873 4294967295 134512640 134569956 3221224400 3221214084 1131506219 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209864 33873 13073 16 0 209848 0
vsize: 839456
[startup+740.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24241
Raw data (stat): 24231 (java) R 24230 22932 22931 0 -1 0 18075 0 1 0 71969 49 0 0 25 0 11 0 419531071 859602944 33922 4294967295 134512640 134569956 3221224400 3221214360 1131508693 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209864 33922 13073 16 0 209848 0
vsize: 839456
[startup+750.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24241
Raw data (stat): 24231 (java) R 24230 22932 22931 0 -1 0 18075 0 1 0 72960 49 0 0 25 0 11 0 419531071 859602944 33967 4294967295 134512640 134569956 3221224400 3221214832 1131316979 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209864 33967 13073 16 0 209848 0
vsize: 839456
[startup+760.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24241
Raw data (stat): 24231 (java) R 24230 22932 22931 0 -1 0 18075 0 1 0 73950 49 0 0 25 0 11 0 419531071 859602944 34008 4294967295 134512640 134569956 3221224400 3221214456 1085679473 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209864 34008 13073 16 0 209848 0
vsize: 839456
[startup+770.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24241
Raw data (stat): 24231 (java) R 24230 22932 22931 0 -1 0 18075 0 1 0 74941 49 0 0 25 0 11 0 419531071 859602944 34063 4294967295 134512640 134569956 3221224400 3221214540 1131509392 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209864 34063 13073 16 0 209848 0
vsize: 839456
[startup+780.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24241
Raw data (stat): 24231 (java) R 24230 22932 22931 0 -1 0 18075 0 1 0 75930 49 0 0 25 0 11 0 419531071 859602944 34128 4294967295 134512640 134569956 3221224400 3221214228 1085679260 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209864 34128 13073 16 0 209848 0
vsize: 839456
[startup+790.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24241
Raw data (stat): 24231 (java) R 24230 22932 22931 0 -1 0 18075 0 1 0 76912 49 0 0 25 0 11 0 419531071 859602944 34211 4294967295 134512640 134569956 3221224400 3221214536 1131506089 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209864 34211 13073 16 0 209848 0
vsize: 839456
[startup+800.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24241
Raw data (stat): 24231 (java) R 24230 22932 22931 0 -1 0 18075 0 1 0 77902 49 0 0 25 0 11 0 419531071 859602944 34308 4294967295 134512640 134569956 3221224400 3221214624 1131425211 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209864 34308 13073 16 0 209848 0
vsize: 839456
[startup+810.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24241
Raw data (stat): 24231 (java) R 24230 22932 22931 0 -1 0 18075 0 1 0 78893 49 0 0 25 0 11 0 419531071 859602944 34358 4294967295 134512640 134569956 3221224400 3221214376 1131509393 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209864 34358 13073 16 0 209848 0
vsize: 839456
[startup+820.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24241
Raw data (stat): 24231 (java) R 24230 22932 22931 0 -1 0 18075 0 1 0 79875 49 0 0 25 0 11 0 419531071 859602944 34464 4294967295 134512640 134569956 3221224400 3221214008 1085632281 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209864 34464 13073 16 0 209848 0
vsize: 839456
[startup+830.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24241
Raw data (stat): 24231 (java) R 24230 22932 22931 0 -1 0 18075 0 1 0 80866 49 0 0 25 0 11 0 419531071 859602944 34531 4294967295 134512640 134569956 3221224400 3221214036 1131509328 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209864 34531 13073 16 0 209848 0
vsize: 839456
[startup+840.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24241
Raw data (stat): 24231 (java) R 24230 22932 22931 0 -1 0 18075 0 1 0 81856 49 0 0 25 0 11 0 419531071 859602944 34531 4294967295 134512640 134569956 3221224400 3221214536 1131506089 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209864 34531 13073 16 0 209848 0
vsize: 839456
[startup+850.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24241
Raw data (stat): 24231 (java) R 24230 22932 22931 0 -1 0 18075 0 1 0 82846 50 0 0 25 0 11 0 419531071 859602944 34633 4294967295 134512640 134569956 3221224400 3221214096 1131509393 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209864 34633 13073 16 0 209848 0
vsize: 839456
[startup+860.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24241
Raw data (stat): 24231 (java) R 24230 22932 22931 0 -1 0 18075 0 1 0 83846 50 0 0 25 0 11 0 419531071 859602944 34633 4294967295 134512640 134569956 3221224400 3221213784 1131499510 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209864 34633 13073 16 0 209848 0
vsize: 839456
[startup+870.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24241
Raw data (stat): 24231 (java) R 24230 22932 22931 0 -1 0 18075 0 1 0 84837 50 0 0 25 0 11 0 419531071 859602944 34679 4294967295 134512640 134569956 3221224400 3221214292 1131505993 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209864 34679 13073 16 0 209848 0
vsize: 839456
[startup+880.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24241
Raw data (stat): 24231 (java) R 24230 22932 22931 0 -1 0 18075 0 1 0 85837 50 0 0 25 0 11 0 419531071 859602944 34679 4294967295 134512640 134569956 3221224400 3221214416 1131506242 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209864 34679 13073 16 0 209848 0
vsize: 839456
[startup+890.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24241
Raw data (stat): 24231 (java) R 24230 22932 22931 0 -1 0 18075 0 1 0 86828 50 0 0 25 0 11 0 419531071 859602944 34731 4294967295 134512640 134569956 3221224400 3221214368 1131506269 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209864 34731 13073 16 0 209848 0
vsize: 839456
[startup+900.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24241
Raw data (stat): 24231 (java) R 24230 22932 22931 0 -1 0 18075 0 1 0 87818 50 0 0 25 0 11 0 419531071 859602944 34836 4294967295 134512640 134569956 3221224400 3221214424 1131506089 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209864 34836 13073 16 0 209848 0
vsize: 839456
[startup+910.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24241
Raw data (stat): 24231 (java) R 24230 22932 22931 0 -1 0 18075 0 1 0 88819 50 0 0 25 0 11 0 419531071 859602944 34836 4294967295 134512640 134569956 3221224400 3221214008 1085632292 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209864 34836 13073 16 0 209848 0
vsize: 839456
[startup+920.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24241
Raw data (stat): 24231 (java) R 24230 22932 22931 0 -1 0 18075 0 1 0 89809 50 0 0 25 0 11 0 419531071 859602944 34836 4294967295 134512640 134569956 3221224400 3221214672 1131559432 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209864 34836 13073 16 0 209848 0
vsize: 839456
[startup+930.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24241
Raw data (stat): 24231 (java) R 24230 22932 22931 0 -1 0 18075 0 1 0 90800 50 0 0 25 0 11 0 419531071 859602944 34934 4294967295 134512640 134569956 3221224400 3221214832 1131316786 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209864 34934 13073 16 0 209848 0
vsize: 839456
[startup+940.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24241
Raw data (stat): 24231 (java) R 24230 22932 22931 0 -1 0 18075 0 1 0 91791 50 0 0 25 0 11 0 419531071 859602944 34983 4294967295 134512640 134569956 3221224400 3221214832 1131317076 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209864 34983 13073 16 0 209848 0
vsize: 839456
[startup+950.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24241
Raw data (stat): 24231 (java) R 24230 22932 22931 0 -1 0 18075 0 1 0 92782 50 0 0 25 0 11 0 419531071 859602944 35039 4294967295 134512640 134569956 3221224400 3221214840 1131492352 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209864 35039 13073 16 0 209848 0
vsize: 839456
[startup+960.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24241
Raw data (stat): 24231 (java) R 24230 22932 22931 0 -1 0 18075 0 1 0 93765 50 0 0 25 0 11 0 419531071 859602944 35108 4294967295 134512640 134569956 3221224400 3221214592 1131506281 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209864 35108 13073 16 0 209848 0
vsize: 839456
[startup+970.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24241
Raw data (stat): 24231 (java) R 24230 22932 22931 0 -1 0 18075 0 1 0 94764 50 0 0 25 0 11 0 419531071 859602944 35108 4294967295 134512640 134569956 3221224400 3221213580 1131508672 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209864 35108 13073 16 0 209848 0
vsize: 839456
[startup+980.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24241
Raw data (stat): 24231 (java) R 24230 22932 22931 0 -1 0 18075 0 1 0 95754 50 0 0 25 0 11 0 419531071 859602944 35140 4294967295 134512640 134569956 3221224400 3221214372 1131509392 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209864 35140 13073 16 0 209848 0
vsize: 839456
[startup+990.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24241
Raw data (stat): 24231 (java) R 24230 22932 22931 0 -1 0 18075 0 1 0 96735 50 0 0 25 0 11 0 419531071 859602944 35304 4294967295 134512640 134569956 3221224400 3221213976 1131506236 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209864 35304 13073 16 0 209848 0
vsize: 839456
[startup+1000.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24241
Raw data (stat): 24231 (java) R 24230 22932 22931 0 -1 0 18075 0 1 0 97727 50 0 0 25 0 11 0 419531071 859602944 35304 4294967295 134512640 134569956 3221224400 3221214376 1131509368 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209864 35304 13073 16 0 209848 0
vsize: 839456
[startup+1010.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24241
Raw data (stat): 24231 (java) R 24230 22932 22931 0 -1 0 18075 0 1 0 98718 50 0 0 25 0 11 0 419531071 859602944 35379 4294967295 134512640 134569956 3221224400 3221214688 1131415716 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209864 35379 13073 16 0 209848 0
vsize: 839456
[startup+1020.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24241
Raw data (stat): 24231 (java) R 24230 22932 22931 0 -1 0 18075 0 1 0 99718 50 0 0 25 0 11 0 419531071 859602944 35379 4294967295 134512640 134569956 3221224400 3221214488 1131509431 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209864 35379 13073 16 0 209848 0
vsize: 839456
[startup+1030.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24241
Raw data (stat): 24231 (java) R 24230 22932 22931 0 -1 0 18075 0 1 0 100709 50 0 0 25 0 11 0 419531071 859602944 35435 4294967295 134512640 134569956 3221224400 3221214424 1131506089 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209864 35435 13073 16 0 209848 0
vsize: 839456
[startup+1040.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24241
Raw data (stat): 24231 (java) R 24230 22932 22931 0 -1 0 18075 0 1 0 101701 50 0 0 25 0 11 0 419531071 859602944 35514 4294967295 134512640 134569956 3221224400 3221214200 1131506089 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209864 35514 13073 16 0 209848 0
vsize: 839456
[startup+1050.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24241
Raw data (stat): 24231 (java) R 24230 22932 22931 0 -1 0 18075 0 1 0 102691 50 0 0 25 0 11 0 419531071 859602944 35514 4294967295 134512640 134569956 3221224400 3221214456 1085679502 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209864 35514 13073 16 0 209848 0
vsize: 839456
[startup+1060.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24241
Raw data (stat): 24231 (java) R 24230 22932 22931 0 -1 0 18075 0 1 0 103682 50 0 0 25 0 11 0 419531071 859602944 35618 4294967295 134512640 134569956 3221224400 3221214348 1131505993 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209864 35618 13073 16 0 209848 0
vsize: 839456
[startup+1070.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24241
Raw data (stat): 24231 (java) R 24230 22932 22931 0 -1 0 18075 0 1 0 104673 50 0 0 25 0 11 0 419531071 859602944 35618 4294967295 134512640 134569956 3221224400 3221213976 1131506204 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209864 35618 13073 16 0 209848 0
vsize: 839456
[startup+1080.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24241
Raw data (stat): 24231 (java) R 24230 22932 22931 0 -1 0 18075 0 1 0 105673 50 0 0 25 0 11 0 419531071 859602944 35618 4294967295 134512640 134569956 3221224400 3221214832 1131317068 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209864 35618 13073 16 0 209848 0
vsize: 839456
[startup+1090.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24241
Raw data (stat): 24231 (java) R 24230 22932 22931 0 -1 0 18075 0 1 0 106654 50 0 0 25 0 11 0 419531071 859602944 35726 4294967295 134512640 134569956 3221224400 3221214672 1131559440 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209864 35726 13073 16 0 209848 0
vsize: 839456
[startup+1100.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24241
Raw data (stat): 24231 (java) R 24230 22932 22931 0 -1 0 18075 0 1 0 107645 50 0 0 25 0 11 0 419531071 859602944 35786 4294967295 134512640 134569956 3221224400 3221214592 1131506143 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209864 35786 13073 16 0 209848 0
vsize: 839456
[startup+1110.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24241
Raw data (stat): 24231 (java) R 24230 22932 22931 0 -1 0 18075 0 1 0 108646 50 0 0 25 0 11 0 419531071 859602944 35786 4294967295 134512640 134569956 3221224400 3221214176 1085679290 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209864 35786 13073 16 0 209848 0
vsize: 839456
[startup+1120.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24241
Raw data (stat): 24231 (java) R 24230 22932 22931 0 -1 0 18075 0 1 0 109636 50 0 0 25 0 11 0 419531071 859602944 35867 4294967295 134512640 134569956 3221224400 3221214320 1131509340 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209864 35867 13073 16 0 209848 0
vsize: 839456
[startup+1130.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24241
Raw data (stat): 24231 (java) R 24230 22932 22931 0 -1 0 18075 0 1 0 110627 50 0 0 25 0 11 0 419531071 859602944 35912 4294967295 134512640 134569956 3221224400 3221214424 1131506256 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209864 35912 13073 16 0 209848 0
vsize: 839456
[startup+1140.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24241
Raw data (stat): 24231 (java) R 24230 22932 22931 0 -1 0 18075 0 1 0 111617 50 0 0 25 0 11 0 419531071 859602944 36030 4294967295 134512640 134569956 3221224400 3221214764 1131202291 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209864 36030 13073 16 0 209848 0
vsize: 839456
[startup+1150.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24241
Raw data (stat): 24231 (java) R 24230 22932 22931 0 -1 0 18075 0 1 0 112609 51 0 0 25 0 11 0 419531071 859602944 36030 4294967295 134512640 134569956 3221224400 3221214008 1085679762 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209864 36030 13073 16 0 209848 0
vsize: 839456
[startup+1160.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24241
Raw data (stat): 24231 (java) R 24230 22932 22931 0 -1 0 18075 0 1 0 113600 51 0 0 25 0 11 0 419531071 859602944 36068 4294967295 134512640 134569956 3221224400 3221214832 1131316772 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209864 36068 13073 16 0 209848 0
vsize: 839456
[startup+1170.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24241
Raw data (stat): 24231 (java) R 24230 22932 22931 0 -1 0 18075 0 1 0 114590 51 0 0 25 0 11 0 419531071 859602944 36116 4294967295 134512640 134569956 3221224400 3221214004 1131508684 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209864 36116 13073 16 0 209848 0
vsize: 839456
[startup+1180.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24241
Raw data (stat): 24231 (java) S 24230 22932 22931 0 -1 0 18075 0 1 0 115575 51 0 0 25 0 11 0 419531071 859602944 36267 4294967295 134512640 134569956 3221224400 3221213376 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209864 36267 13073 16 0 209848 0
vsize: 839456
[startup+1190.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24241
Raw data (stat): 24231 (java) R 24230 22932 22931 0 -1 0 18075 0 1 0 116571 51 0 0 25 0 11 0 419531071 859602944 36290 4294967295 134512640 134569956 3221224400 3221214712 1131327254 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209864 36290 13073 16 0 209848 0
vsize: 839456
[startup+1200.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24241
Raw data (stat): 24231 (java) R 24230 22932 22931 0 -1 0 18075 0 1 0 117552 51 0 0 25 0 11 0 419531071 859602944 36401 4294967295 134512640 134569956 3221224400 3221214528 1131506248 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209864 36401 13073 16 0 209848 0
vsize: 839456
[startup+1210.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24241
Raw data (stat): 24231 (java) R 24230 22932 22931 0 -1 0 18075 0 1 0 118543 51 0 0 25 0 11 0 419531071 859602944 36454 4294967295 134512640 134569956 3221224400 3221214584 1131508693 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209864 36454 13073 16 0 209848 0
vsize: 839456
[startup+1220.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24241
Raw data (stat): 24231 (java) R 24230 22932 22931 0 -1 0 18075 0 1 0 119533 51 0 0 25 0 11 0 419531071 859602944 36511 4294967295 134512640 134569956 3221224400 3221214832 1131316768 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209864 36511 13073 16 0 209848 0
vsize: 839456
[startup+1230.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24241
Raw data (stat): 24231 (java) R 24230 22932 22931 0 -1 0 18075 0 1 0 120524 51 0 0 25 0 11 0 419531071 859602944 36568 4294967295 134512640 134569956 3221224400 3221213924 1131509392 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209864 36568 13073 16 0 209848 0
vsize: 839456
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1230.13 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 24243
Raw data (stat): 24231 (java) Z 24230 22932 22931 0 -1 1036 18075 16624 1 0 120527 51 2085 37 25 0 1 0 419531071 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): 1230.13
CPU time (s): 1227.02
CPU user time (s): 1226.13
CPU system time (s): 0.889864
CPU usage (%): 99.7475
Max. virtual memory (Kb): 848156
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####