PB'05 competition: run trace

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

Name	normalized-opb/web/uclid_pb_benchmarks/normalized-ooo.rf10.ucl.opb
MD5SUM	a6997171dcc57638d93d44e87488aa8f
Bench Category	no optimization function (SAT)
Has Objective Function	NO
Satisfiable	NO
(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	39
Number of bits of the biggest number in a constraint	6
Biggest sum of numbers in a constraint	132
Number of bits of the biggest sum of numbers	8
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	26.086
Number of variables	18069
Total number of constraints	52475
Number of constraints which are clauses	51555
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	920
Minimum length of a constraint	1
Maximum length of a constraint	11
Trace number 29316

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc9 THE 2005-05-25 06:23:12 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=20715 boxname=wulflinc9 idbench=305 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  a6997171dcc57638d93d44e87488aa8f  /oldhome/oroussel/tmp/wulflinc9/normalized-ooo.rf10.ucl.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc9/normalized-ooo.rf10.ucl.opb
IDLAUNCH: 20715
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.242
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.242
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:        538408 kB
Buffers:         27088 kB
Cached:         447580 kB
SwapCached:        584 kB
Active:          40604 kB
Inactive:       436168 kB
HighTotal:      131008 kB
HighFree:         3416 kB
LowTotal:       903652 kB
LowFree:        534992 kB
SwapTotal:     2097136 kB
SwapFree:      2095724 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5416 kB
Slab:            13964 kB
Committed_AS:    63596 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 06:44:45 (client local time) WITH STATUS 143 IN 1302.73 SECONDS
stats: 20715 7 1302.73 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c SAT4J: a SATisfiability library for Java (c) 2004-2005 Daniel Le Berre
c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
c version Special PB05 Second trial
c --- Begin Solver configuration ---
c org.sat4j.minisat.uip.FirstUIP@1e4cbc4
c org.sat4j.minisat.constraints.PBMinDataStructure@1fdc96c
c org.sat4j.minisat.learning.MiniSATLearning@b2fd8f
c conflictBoundIncFactor=1.5 learntBoundIncFactor=1.1 initLearntBoundConstraintFactor=0.5 initConflictBound=100 
c 
c --- End Solver configuration ---
c solving /oldhome/oroussel/tmp/wulflinc9/normalized-ooo.rf10.ucl.opb
c reading problem ... done. Time 110.026 ms.
c #vars     18069
c #constraints  52475
c starts	: 8
c conflicts	: 4400
c decisions	: 18561
c propagations	: 6620490
c inspects	: 22066247
c learned literals	: 7
c learned binary clauses	: 120
c learned ternary clauses	: 91
c learned clauses	: 4392
c root simplifications	: 15
s UNKNOWN
c Total CPU time (ms) : 1289.117
#### 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.92 0.99 0.99 2/54 17577
Raw data (stat): 17577 (runsolver) R 17576 3944 3943 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 778466369 1052672 99 4294967295 134512640 135381576 3221224416 3221219636 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0016 s]
Raw data (loadavg): 0.93 0.99 0.99 2/63 17586
Raw data (stat): 17577 (java) R 17576 3944 3943 0 -1 0 18033 0 1 0 765 39 0 0 24 0 10 0 778466369 854589440 20899 4294967295 134512640 134569956 3221224384 3221214688 1131239425 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208640 20899 13086 16 0 208624 0
vsize: 834560
[startup+20.0028 s]
Raw data (loadavg): 0.94 0.99 0.99 2/63 17586
Raw data (stat): 17577 (java) R 17576 3944 3943 0 -1 0 18033 0 1 0 1611 39 0 0 25 0 10 0 778466369 854425600 22074 4294967295 134512640 134569956 3221224384 3221214448 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208600 22074 13086 16 0 208584 0
vsize: 834400
[startup+30.0031 s]
Raw data (loadavg): 0.95 0.99 0.99 2/63 17586
Raw data (stat): 17577 (java) R 17576 3944 3943 0 -1 0 18033 0 1 0 2453 40 0 0 24 0 10 0 778466369 854425600 22850 4294967295 134512640 134569956 3221224384 3221214328 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208600 22850 13086 16 0 208584 0
vsize: 834400
[startup+40.0033 s]
Raw data (loadavg): 0.96 0.99 0.99 2/63 17586
Raw data (stat): 17577 (java) R 17576 3944 3943 0 -1 0 18033 0 1 0 3310 40 0 0 25 0 10 0 778466369 854425600 23428 4294967295 134512640 134569956 3221224384 3221214444 1080019600 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208600 23428 13086 16 0 208584 0
vsize: 834400
[startup+50.0053 s]
Raw data (loadavg): 0.96 0.99 0.99 2/63 17586
Raw data (stat): 17577 (java) R 17576 3944 3943 0 -1 0 18033 0 1 0 4136 41 0 0 25 0 10 0 778466369 854425600 24010 4294967295 134512640 134569956 3221224384 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208600 24010 13086 16 0 208584 0
vsize: 834400
[startup+60.006 s]
Raw data (loadavg): 0.97 0.99 0.99 2/63 17586
Raw data (stat): 17577 (java) R 17576 3944 3943 0 -1 0 18033 0 1 0 4962 41 0 0 24 0 10 0 778466369 854425600 24662 4294967295 134512640 134569956 3221224384 3221214752 1131351928 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208600 24662 13086 16 0 208584 0
vsize: 834400
[startup+70.0089 s]
Raw data (loadavg): 0.97 0.99 0.99 2/63 17586
Raw data (stat): 17577 (java) S 17576 3944 3943 0 -1 0 18033 0 1 0 5809 41 0 0 25 0 10 0 778466369 854425600 25134 4294967295 134512640 134569956 3221224384 3221213440 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208600 25134 13086 16 0 208584 0
vsize: 834400
[startup+80.0126 s]
Raw data (loadavg): 0.98 0.99 0.99 2/63 17586
Raw data (stat): 17577 (java) R 17576 3944 3943 0 -1 0 18033 0 1 0 6641 42 0 0 25 0 10 0 778466369 854425600 25571 4294967295 134512640 134569956 3221224384 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208600 25571 13086 16 0 208584 0
vsize: 834400
[startup+90.0166 s]
Raw data (loadavg): 0.98 0.99 0.99 2/63 17586
Raw data (stat): 17577 (java) S 17576 3944 3943 0 -1 0 18033 0 1 0 7476 42 0 0 25 0 10 0 778466369 854425600 25978 4294967295 134512640 134569956 3221224384 3221213440 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208600 25978 13086 16 0 208584 0
vsize: 834400
[startup+100.017 s]
Raw data (loadavg): 0.98 0.99 0.99 2/63 17586
Raw data (stat): 17577 (java) R 17576 3944 3943 0 -1 0 18033 0 1 0 8313 42 0 0 25 0 10 0 778466369 854425600 26379 4294967295 134512640 134569956 3221224384 3221214824 1131179796 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208600 26379 13086 16 0 208584 0
vsize: 834400
[startup+110.019 s]
Raw data (loadavg): 0.98 0.99 0.99 2/63 17586
Raw data (stat): 17577 (java) R 17576 3944 3943 0 -1 0 18033 0 1 0 9159 42 0 0 25 0 10 0 778466369 854425600 26814 4294967295 134512640 134569956 3221224384 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208600 26814 13086 16 0 208584 0
vsize: 834400
[startup+120.022 s]
Raw data (loadavg): 1.06 1.01 1.00 2/64 17587
Raw data (stat): 17577 (java) S 17576 3944 3943 0 -1 0 18086 0 1 0 10008 43 0 0 25 0 11 0 778466369 859648000 28929 4294967295 134512640 134569956 3221224384 3221213344 1073952481 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209875 28929 13086 16 0 209859 0
vsize: 839500
[startup+130.022 s]
Raw data (loadavg): 1.05 1.01 1.00 2/64 17587
Raw data (stat): 17577 (java) R 17576 3944 3943 0 -1 0 18087 0 1 0 10902 43 0 0 25 0 11 0 778466369 860549120 29831 4294967295 134512640 134569956 3221224384 3221214528 1131279124 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210095 29831 13086 16 0 210079 0
vsize: 840380
[startup+140.023 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 17587
Raw data (stat): 17577 (java) R 17576 3944 3943 0 -1 0 18089 0 1 0 11824 44 0 0 25 0 11 0 778466369 860549120 29869 4294967295 134512640 134569956 3221224384 3221214800 1131539525 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210095 29869 13086 16 0 210079 0
vsize: 840380
[startup+150.024 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 17587
Raw data (stat): 17577 (java) R 17576 3944 3943 0 -1 0 18089 0 1 0 12749 44 0 0 25 0 11 0 778466369 860549120 29869 4294967295 134512640 134569956 3221224384 3221214736 1131376166 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210095 29869 13086 16 0 210079 0
vsize: 840380
[startup+160.024 s]
Raw data (loadavg): 1.03 1.00 1.00 2/64 17587
Raw data (stat): 17577 (java) R 17576 3944 3943 0 -1 0 18089 0 1 0 13657 44 0 0 25 0 11 0 778466369 860549120 29894 4294967295 134512640 134569956 3221224384 3221214664 1131278355 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210095 29894 13086 16 0 210079 0
vsize: 840380
[startup+170.024 s]
Raw data (loadavg): 1.02 1.00 1.00 2/64 17587
Raw data (stat): 17577 (java) R 17576 3944 3943 0 -1 0 18089 0 1 0 14585 45 0 0 25 0 11 0 778466369 860549120 29918 4294967295 134512640 134569956 3221224384 3221214624 1131517832 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210095 29918 13086 16 0 210079 0
vsize: 840380
[startup+180.025 s]
Raw data (loadavg): 1.02 1.00 1.00 2/64 17587
Raw data (stat): 17577 (java) R 17576 3944 3943 0 -1 0 18089 0 1 0 15493 45 0 0 25 0 11 0 778466369 860549120 29929 4294967295 134512640 134569956 3221224384 3221214664 1131247569 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210095 29929 13086 16 0 210079 0
vsize: 840380
[startup+190.028 s]
Raw data (loadavg): 1.02 1.00 1.00 2/64 17587
Raw data (stat): 17577 (java) R 17576 3944 3943 0 -1 0 18089 0 1 0 16438 45 0 0 25 0 11 0 778466369 860549120 29998 4294967295 134512640 134569956 3221224384 3221214756 1131376652 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210095 29998 13086 16 0 210079 0
vsize: 840380
[startup+200.029 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 17587
Raw data (stat): 17577 (java) R 17576 3944 3943 0 -1 0 18089 0 1 0 17365 45 0 0 25 0 11 0 778466369 860549120 30051 4294967295 134512640 134569956 3221224384 3221214696 1131213343 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210095 30051 13086 16 0 210079 0
vsize: 840380
[startup+210.029 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 17587
Raw data (stat): 17577 (java) R 17576 3944 3943 0 -1 0 18089 0 1 0 18314 46 0 0 25 0 11 0 778466369 860549120 30143 4294967295 134512640 134569956 3221224384 3221214528 1131278196 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210095 30143 13086 16 0 210079 0
vsize: 840380
[startup+220.033 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 17587
Raw data (stat): 17577 (java) S 17576 3944 3943 0 -1 0 18089 0 1 0 19278 46 0 0 25 0 11 0 778466369 860549120 30219 4294967295 134512640 134569956 3221224384 3221213408 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210095 30219 13086 16 0 210079 0
vsize: 840380
[startup+230.033 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 17587
Raw data (stat): 17577 (java) R 17576 3944 3943 0 -1 0 18089 0 1 0 20213 46 0 0 25 0 11 0 778466369 860549120 30537 4294967295 134512640 134569956 3221224384 3221214728 1131376673 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210095 30537 13086 16 0 210079 0
vsize: 840380
[startup+240.034 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 17587
Raw data (stat): 17577 (java) R 17576 3944 3943 0 -1 0 18089 0 1 0 21169 46 0 0 25 0 11 0 778466369 860549120 30537 4294967295 134512640 134569956 3221224384 3221214584 1131457054 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210095 30537 13086 16 0 210079 0
vsize: 840380
[startup+250.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17587
Raw data (stat): 17577 (java) R 17576 3944 3943 0 -1 0 18089 0 1 0 22138 46 0 0 25 0 11 0 778466369 860549120 30537 4294967295 134512640 134569956 3221224384 3221214528 1131278371 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210095 30537 13086 16 0 210079 0
vsize: 840380
[startup+260.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17587
Raw data (stat): 17577 (java) R 17576 3944 3943 0 -1 0 18089 0 1 0 23060 47 0 0 25 0 11 0 778466369 860549120 30872 4294967295 134512640 134569956 3221224384 3221214736 1131193276 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210095 30872 13086 16 0 210079 0
vsize: 840380
[startup+270.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17587
Raw data (stat): 17577 (java) R 17576 3944 3943 0 -1 0 18089 0 1 0 23992 47 0 0 25 0 11 0 778466369 860549120 30931 4294967295 134512640 134569956 3221224384 3221214528 1131278192 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210095 30931 13086 16 0 210079 0
vsize: 840380
[startup+280.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17587
Raw data (stat): 17577 (java) R 17576 3944 3943 0 -1 0 18089 0 1 0 24941 47 0 0 25 0 11 0 778466369 860549120 31003 4294967295 134512640 134569956 3221224384 3221214528 1131278405 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210095 31003 13086 16 0 210079 0
vsize: 840380
[startup+290.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17587
Raw data (stat): 17577 (java) R 17576 3944 3943 0 -1 0 18089 0 1 0 25889 47 0 0 25 0 11 0 778466369 860549120 31047 4294967295 134512640 134569956 3221224384 3221214760 1131372167 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210095 31047 13086 16 0 210079 0
vsize: 840380
[startup+300.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17587
Raw data (stat): 17577 (java) R 17576 3944 3943 0 -1 0 18089 0 1 0 26837 48 0 0 25 0 11 0 778466369 860549120 31166 4294967295 134512640 134569956 3221224384 3221214760 1131400890 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210095 31166 13086 16 0 210079 0
vsize: 840380
[startup+310.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17587
Raw data (stat): 17577 (java) R 17576 3944 3943 0 -1 0 18089 0 1 0 27787 48 0 0 25 0 11 0 778466369 860549120 31387 4294967295 134512640 134569956 3221224384 3221214744 1131375689 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210095 31387 13086 16 0 210079 0
vsize: 840380
[startup+320.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17587
Raw data (stat): 17577 (java) R 17576 3944 3943 0 -1 0 18089 0 1 0 28741 48 0 0 25 0 11 0 778466369 860549120 31387 4294967295 134512640 134569956 3221224384 3221214728 1131376690 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210095 31387 13086 16 0 210079 0
vsize: 840380
[startup+330.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17587
Raw data (stat): 17577 (java) R 17576 3944 3943 0 -1 0 18089 0 1 0 29692 49 0 0 25 0 11 0 778466369 860549120 31421 4294967295 134512640 134569956 3221224384 3221214580 1130885204 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210095 31421 13086 16 0 210079 0
vsize: 840380
[startup+340.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17587
Raw data (stat): 17577 (java) R 17576 3944 3943 0 -1 0 18089 0 1 0 30644 49 0 0 25 0 11 0 778466369 860549120 31467 4294967295 134512640 134569956 3221224384 3221214664 1131278126 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210095 31467 13086 16 0 210079 0
vsize: 840380
[startup+350.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17587
Raw data (stat): 17577 (java) R 17576 3944 3943 0 -1 0 18089 0 1 0 31596 49 0 0 25 0 11 0 778466369 860549120 31508 4294967295 134512640 134569956 3221224384 3221214692 1130885169 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210095 31508 13086 16 0 210079 0
vsize: 840380
[startup+360.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17587
Raw data (stat): 17577 (java) R 17576 3944 3943 0 -1 0 18089 0 1 0 32547 49 0 0 24 0 11 0 778466369 860549120 31571 4294967295 134512640 134569956 3221224384 3221214696 1131213337 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210095 31571 13086 16 0 210079 0
vsize: 840380
[startup+370.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17587
Raw data (stat): 17577 (java) R 17576 3944 3943 0 -1 0 18089 0 1 0 33500 49 0 0 24 0 11 0 778466369 860549120 31696 4294967295 134512640 134569956 3221224384 3221214692 1130885150 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210095 31696 13086 16 0 210079 0
vsize: 840380
[startup+380.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17587
Raw data (stat): 17577 (java) R 17576 3944 3943 0 -1 0 18089 0 1 0 34454 50 0 0 25 0 11 0 778466369 860549120 31696 4294967295 134512640 134569956 3221224384 3221214760 1131372515 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210095 31696 13086 16 0 210079 0
vsize: 840380
[startup+390.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17587
Raw data (stat): 17577 (java) R 17576 3944 3943 0 -1 0 18089 0 1 0 35407 50 0 0 25 0 11 0 778466369 860549120 31760 4294967295 134512640 134569956 3221224384 3221214692 1130885243 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210095 31760 13086 16 0 210079 0
vsize: 840380
[startup+400.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17587
Raw data (stat): 17577 (java) S 17576 3944 3943 0 -1 0 18089 0 1 0 36368 51 0 0 25 0 11 0 778466369 860549120 31801 4294967295 134512640 134569956 3221224384 3221213408 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210095 31801 13086 16 0 210079 0
vsize: 840380
[startup+410.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17587
Raw data (stat): 17577 (java) R 17576 3944 3943 0 -1 0 18089 0 1 0 37329 51 0 0 25 0 11 0 778466369 860549120 31876 4294967295 134512640 134569956 3221224384 3221214760 1131372500 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210095 31876 13086 16 0 210079 0
vsize: 840380
[startup+420.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17587
Raw data (stat): 17577 (java) R 17576 3944 3943 0 -1 0 18089 0 1 0 38283 51 0 0 25 0 11 0 778466369 860549120 32000 4294967295 134512640 134569956 3221224384 3221214624 1131513473 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210095 32000 13086 16 0 210079 0
vsize: 840380
[startup+430.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17587
Raw data (stat): 17577 (java) R 17576 3944 3943 0 -1 0 18089 0 1 0 39238 52 0 0 25 0 11 0 778466369 860549120 32055 4294967295 134512640 134569956 3221224384 3221214744 1131375689 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210095 32055 13086 16 0 210079 0
vsize: 840380
[startup+440.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17587
Raw data (stat): 17577 (java) R 17576 3944 3943 0 -1 0 18089 0 1 0 40196 52 0 0 25 0 11 0 778466369 860549120 32113 4294967295 134512640 134569956 3221224384 3221214692 1130885175 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210095 32113 13086 16 0 210079 0
vsize: 840380
[startup+450.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17587
Raw data (stat): 17577 (java) S 17576 3944 3943 0 -1 0 18089 0 1 0 41150 52 0 0 25 0 11 0 778466369 860549120 32155 4294967295 134512640 134569956 3221224384 3221213272 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210095 32155 13086 16 0 210079 0
vsize: 840380
[startup+460.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17587
Raw data (stat): 17577 (java) R 17576 3944 3943 0 -1 0 18089 0 1 0 42056 53 0 0 25 0 11 0 778466369 860549120 32541 4294967295 134512640 134569956 3221224384 3221214528 1131278298 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210095 32541 13086 16 0 210079 0
vsize: 840380
[startup+470.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17587
Raw data (stat): 17577 (java) R 17576 3944 3943 0 -1 0 18089 0 1 0 43001 53 0 0 25 0 11 0 778466369 860549120 32617 4294967295 134512640 134569956 3221224384 3221214760 1131401065 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210095 32617 13086 16 0 210079 0
vsize: 840380
[startup+480.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17587
Raw data (stat): 17577 (java) R 17576 3944 3943 0 -1 0 18089 0 1 0 43947 53 0 0 25 0 11 0 778466369 860549120 32718 4294967295 134512640 134569956 3221224384 3221214584 1131456237 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210095 32718 13086 16 0 210079 0
vsize: 840380
[startup+490.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17587
Raw data (stat): 17577 (java) R 17576 3944 3943 0 -1 0 18089 0 1 0 44894 54 0 0 25 0 11 0 778466369 860549120 32851 4294967295 134512640 134569956 3221224384 3221214664 1131247569 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210095 32851 13086 16 0 210079 0
vsize: 840380
[startup+500.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17587
Raw data (stat): 17577 (java) R 17576 3944 3943 0 -1 0 18089 0 1 0 45842 55 0 0 25 0 11 0 778466369 860549120 32866 4294967295 134512640 134569956 3221224384 3221214760 1131400890 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210095 32866 13086 16 0 210079 0
vsize: 840380
[startup+510.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17587
Raw data (stat): 17577 (java) R 17576 3944 3943 0 -1 0 18089 0 1 0 46791 55 0 0 25 0 11 0 778466369 860549120 32955 4294967295 134512640 134569956 3221224384 3221214664 1131278448 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210095 32955 13086 16 0 210079 0
vsize: 840380
[startup+520.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17587
Raw data (stat): 17577 (java) R 17576 3944 3943 0 -1 0 18089 0 1 0 47740 55 0 0 25 0 11 0 778466369 860549120 33043 4294967295 134512640 134569956 3221224384 3221214744 1131375689 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210095 33043 13086 16 0 210079 0
vsize: 840380
[startup+530.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17587
Raw data (stat): 17577 (java) R 17576 3944 3943 0 -1 0 18089 0 1 0 48689 56 0 0 25 0 11 0 778466369 860549120 33099 4294967295 134512640 134569956 3221224384 3221214756 1131193184 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210095 33099 13086 16 0 210079 0
vsize: 840380
[startup+540.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17587
Raw data (stat): 17577 (java) R 17576 3944 3943 0 -1 0 18089 0 1 0 49638 56 0 0 25 0 11 0 778466369 860549120 33193 4294967295 134512640 134569956 3221224384 3221214624 1131516849 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210095 33193 13086 16 0 210079 0
vsize: 840380
[startup+550.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17587
Raw data (stat): 17577 (java) R 17576 3944 3943 0 -1 0 18089 0 1 0 50567 57 0 0 25 0 11 0 778466369 860549120 33305 4294967295 134512640 134569956 3221224384 3221214728 1131264060 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210095 33305 13086 16 0 210079 0
vsize: 840380
[startup+560.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17587
Raw data (stat): 17577 (java) R 17576 3944 3943 0 -1 0 18089 0 1 0 51514 57 0 0 25 0 11 0 778466369 860549120 33355 4294967295 134512640 134569956 3221224384 3221214528 1131278113 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210095 33355 13086 16 0 210079 0
vsize: 840380
[startup+570.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17587
Raw data (stat): 17577 (java) R 17576 3944 3943 0 -1 0 18089 0 1 0 52443 57 0 0 24 0 11 0 778466369 860549120 33390 4294967295 134512640 134569956 3221224384 3221214744 1131375673 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210095 33390 13086 16 0 210079 0
vsize: 840380
[startup+580.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17587
Raw data (stat): 17577 (java) R 17576 3944 3943 0 -1 0 18089 0 1 0 53388 58 0 0 25 0 11 0 778466369 860549120 33452 4294967295 134512640 134569956 3221224384 3221214760 1131372112 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210095 33452 13086 16 0 210079 0
vsize: 840380
[startup+590.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17587
Raw data (stat): 17577 (java) R 17576 3944 3943 0 -1 0 18089 0 1 0 54335 58 0 0 25 0 11 0 778466369 860549120 33520 4294967295 134512640 134569956 3221224384 3221214696 1131213355 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210095 33520 13086 16 0 210079 0
vsize: 840380
[startup+600.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17587
Raw data (stat): 17577 (java) S 17576 3944 3943 0 -1 0 18089 0 1 0 55294 58 0 0 25 0 11 0 778466369 860549120 33554 4294967295 134512640 134569956 3221224384 3221213408 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210095 33554 13086 16 0 210079 0
vsize: 840380
[startup+610.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17587
Raw data (stat): 17577 (java) R 17576 3944 3943 0 -1 0 18089 0 1 0 56247 58 0 0 25 0 11 0 778466369 860549120 33597 4294967295 134512640 134569956 3221224384 3221214692 1130885132 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210095 33597 13086 16 0 210079 0
vsize: 840380
[startup+620.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17587
Raw data (stat): 17577 (java) R 17576 3944 3943 0 -1 0 18089 0 1 0 57168 59 0 0 25 0 11 0 778466369 860549120 33625 4294967295 134512640 134569956 3221224384 3221214664 1131278587 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210095 33625 13086 16 0 210079 0
vsize: 840380
[startup+630.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17587
Raw data (stat): 17577 (java) R 17576 3944 3943 0 -1 0 18089 0 1 0 58105 59 0 0 25 0 11 0 778466369 860549120 33650 4294967295 134512640 134569956 3221224384 3221214624 1131513417 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210095 33650 13086 16 0 210079 0
vsize: 840380
[startup+640.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17587
Raw data (stat): 17577 (java) R 17576 3944 3943 0 -1 0 18089 0 1 0 59010 60 0 0 24 0 11 0 778466369 860549120 33761 4294967295 134512640 134569956 3221224384 3221214624 1131546323 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210095 33761 13086 16 0 210079 0
vsize: 840380
[startup+650.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17587
Raw data (stat): 17577 (java) R 17576 3944 3943 0 -1 0 18089 0 1 0 59958 60 0 0 25 0 11 0 778466369 860549120 33824 4294967295 134512640 134569956 3221224384 3221214716 1131127964 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210095 33824 13086 16 0 210079 0
vsize: 840380
[startup+660.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17587
Raw data (stat): 17577 (java) S 17576 3944 3943 0 -1 0 18089 0 1 0 60888 60 0 0 25 0 11 0 778466369 860549120 33832 4294967295 134512640 134569956 3221224384 3221213408 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210095 33832 13086 16 0 210079 0
vsize: 840380
[startup+670.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17587
Raw data (stat): 17577 (java) R 17576 3944 3943 0 -1 0 18089 0 1 0 61831 61 0 0 25 0 11 0 778466369 860549120 33900 4294967295 134512640 134569956 3221224384 3221214760 1131372167 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210095 33900 13086 16 0 210079 0
vsize: 840380
[startup+680.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17587
Raw data (stat): 17577 (java) R 17576 3944 3943 0 -1 0 18089 0 1 0 62757 61 0 0 25 0 11 0 778466369 860549120 33941 4294967295 134512640 134569956 3221224384 3221214728 1131376766 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210095 33941 13086 16 0 210079 0
vsize: 840380
[startup+690.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17587
Raw data (stat): 17577 (java) R 17576 3944 3943 0 -1 0 18089 0 1 0 63701 61 0 0 25 0 11 0 778466369 860549120 33984 4294967295 134512640 134569956 3221224384 3221214728 1131376803 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210095 33984 13086 16 0 210079 0
vsize: 840380
[startup+700.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17587
Raw data (stat): 17577 (java) R 17576 3944 3943 0 -1 0 18089 0 1 0 64629 62 0 0 25 0 11 0 778466369 860549120 34077 4294967295 134512640 134569956 3221224384 3221214528 1131278554 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210095 34077 13086 16 0 210079 0
vsize: 840380
[startup+710.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17587
Raw data (stat): 17577 (java) R 17576 3944 3943 0 -1 0 18089 0 1 0 65578 62 0 0 25 0 11 0 778466369 860549120 34077 4294967295 134512640 134569956 3221224384 3221214624 1131519086 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210095 34077 13086 16 0 210079 0
vsize: 840380
[startup+720.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17587
Raw data (stat): 17577 (java) S 17576 3944 3943 0 -1 0 18089 0 1 0 66490 62 0 0 25 0 11 0 778466369 860549120 34111 4294967295 134512640 134569956 3221224384 3221213272 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210095 34111 13086 16 0 210079 0
vsize: 840380
[startup+730.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17587
Raw data (stat): 17577 (java) R 17576 3944 3943 0 -1 0 18089 0 1 0 67432 63 0 0 25 0 11 0 778466369 860549120 34133 4294967295 134512640 134569956 3221224384 3221214760 1131372644 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210095 34133 13086 16 0 210079 0
vsize: 840380
[startup+740.064 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17587
Raw data (stat): 17577 (java) R 17576 3944 3943 0 -1 0 18089 0 1 0 68395 63 0 0 25 0 11 0 778466369 860549120 34146 4294967295 134512640 134569956 3221224384 3221214728 1131376690 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210095 34146 13086 16 0 210079 0
vsize: 840380
[startup+750.065 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17587
Raw data (stat): 17577 (java) R 17576 3944 3943 0 -1 0 18089 0 1 0 69341 64 0 0 25 0 11 0 778466369 860549120 34177 4294967295 134512640 134569956 3221224384 3221214756 1131370508 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210095 34177 13086 16 0 210079 0
vsize: 840380
[startup+760.064 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17587
Raw data (stat): 17577 (java) R 17576 3944 3943 0 -1 0 18089 0 1 0 70271 64 0 0 25 0 11 0 778466369 860549120 34217 4294967295 134512640 134569956 3221224384 3221214728 1131376808 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210095 34217 13086 16 0 210079 0
vsize: 840380
[startup+770.065 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17587
Raw data (stat): 17577 (java) R 17576 3944 3943 0 -1 0 18089 0 1 0 71216 64 0 0 25 0 11 0 778466369 860549120 34247 4294967295 134512640 134569956 3221224384 3221214736 1131193303 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210095 34247 13086 16 0 210079 0
vsize: 840380
[startup+780.065 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17587
Raw data (stat): 17577 (java) R 17576 3944 3943 0 -1 0 18089 0 1 0 72142 64 0 0 25 0 11 0 778466369 860549120 34298 4294967295 134512640 134569956 3221224384 3221214760 1131372563 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210095 34298 13086 16 0 210079 0
vsize: 840380
[startup+790.066 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17587
Raw data (stat): 17577 (java) R 17576 3944 3943 0 -1 0 18089 0 1 0 73090 65 0 0 25 0 11 0 778466369 860549120 34356 4294967295 134512640 134569956 3221224384 3221214728 1131376736 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210095 34356 13086 16 0 210079 0
vsize: 840380
[startup+800.067 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17587
Raw data (stat): 17577 (java) S 17576 3944 3943 0 -1 0 18089 0 1 0 74036 65 0 0 25 0 11 0 778466369 860549120 34387 4294967295 134512640 134569956 3221224384 3221213408 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210095 34387 13086 16 0 210079 0
vsize: 840380
[startup+810.068 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17587
Raw data (stat): 17577 (java) R 17576 3944 3943 0 -1 0 18089 0 1 0 74965 65 0 0 25 0 11 0 778466369 860549120 34428 4294967295 134512640 134569956 3221224384 3221214624 1131516912 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210095 34428 13086 16 0 210079 0
vsize: 840380
[startup+820.068 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17587
Raw data (stat): 17577 (java) R 17576 3944 3943 0 -1 0 18089 0 1 0 75911 65 0 0 25 0 11 0 778466369 860549120 34451 4294967295 134512640 134569956 3221224384 3221214728 1131376785 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210095 34451 13086 16 0 210079 0
vsize: 840380
[startup+830.069 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17587
Raw data (stat): 17577 (java) R 17576 3944 3943 0 -1 0 18089 0 1 0 76858 65 0 0 25 0 11 0 778466369 860549120 34475 4294967295 134512640 134569956 3221224384 3221214760 1131372573 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210095 34475 13086 16 0 210079 0
vsize: 840380
[startup+840.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17587
Raw data (stat): 17577 (java) R 17576 3944 3943 0 -1 0 18089 0 1 0 77803 66 0 0 25 0 11 0 778466369 860549120 34508 4294967295 134512640 134569956 3221224384 3221214728 1131376808 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210095 34508 13086 16 0 210079 0
vsize: 840380
[startup+850.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17587
Raw data (stat): 17577 (java) R 17576 3944 3943 0 -1 0 18089 0 1 0 78748 66 0 0 25 0 11 0 778466369 860549120 34639 4294967295 134512640 134569956 3221224384 3221214736 1131193234 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210095 34639 13086 16 0 210079 0
vsize: 840380
[startup+860.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17587
Raw data (stat): 17577 (java) R 17576 3944 3943 0 -1 0 18089 0 1 0 79693 67 0 0 25 0 11 0 778466369 860549120 34673 4294967295 134512640 134569956 3221224384 3221214620 1131278092 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210095 34673 13086 16 0 210079 0
vsize: 840380
[startup+870.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17587
Raw data (stat): 17577 (java) R 17576 3944 3943 0 -1 0 18089 0 1 0 80640 67 0 0 25 0 11 0 778466369 860549120 34752 4294967295 134512640 134569956 3221224384 3221214728 1131376764 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210095 34752 13086 16 0 210079 0
vsize: 840380
[startup+880.071 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17587
Raw data (stat): 17577 (java) R 17576 3944 3943 0 -1 0 18089 0 1 0 81586 67 0 0 25 0 11 0 778466369 860549120 34764 4294967295 134512640 134569956 3221224384 3221214728 1131376748 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210095 34764 13086 16 0 210079 0
vsize: 840380
[startup+890.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17587
Raw data (stat): 17577 (java) R 17576 3944 3943 0 -1 0 18089 0 1 0 82531 68 0 0 25 0 11 0 778466369 860549120 34842 4294967295 134512640 134569956 3221224384 3221214528 1131278132 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210095 34842 13086 16 0 210079 0
vsize: 840380
[startup+900.072 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17587
Raw data (stat): 17577 (java) R 17576 3944 3943 0 -1 0 18089 0 1 0 83477 68 0 0 25 0 11 0 778466369 860549120 34918 4294967295 134512640 134569956 3221224384 3221214736 1131376169 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210095 34918 13086 16 0 210079 0
vsize: 840380
[startup+910.072 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17587
Raw data (stat): 17577 (java) R 17576 3944 3943 0 -1 0 18089 0 1 0 84459 68 0 0 25 0 11 0 778466369 860549120 35019 4294967295 134512640 134569956 3221224384 3221214736 1131193308 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210095 35019 13086 16 0 210079 0
vsize: 840380
[startup+920.072 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17587
Raw data (stat): 17577 (java) R 17576 3944 3943 0 -1 0 18089 0 1 0 85424 69 0 0 25 0 11 0 778466369 860549120 35134 4294967295 134512640 134569956 3221224384 3221214728 1131376793 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210095 35134 13086 16 0 210079 0
vsize: 840380
[startup+930.071 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17587
Raw data (stat): 17577 (java) R 17576 3944 3943 0 -1 0 18089 0 1 0 86388 69 0 0 25 0 11 0 778466369 860549120 35313 4294967295 134512640 134569956 3221224384 3221214728 1131376690 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210095 35313 13086 16 0 210079 0
vsize: 840380
[startup+940.071 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17587
Raw data (stat): 17577 (java) R 17576 3944 3943 0 -1 0 18089 0 1 0 87357 69 0 0 25 0 11 0 778466369 860549120 35585 4294967295 134512640 134569956 3221224384 3221214724 1131365984 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210095 35585 13086 16 0 210079 0
vsize: 840380
[startup+950.072 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17587
Raw data (stat): 17577 (java) R 17576 3944 3943 0 -1 0 18089 0 1 0 88329 69 0 0 25 0 11 0 778466369 860549120 35661 4294967295 134512640 134569956 3221224384 3221214584 1131455966 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210095 35661 13086 16 0 210079 0
vsize: 840380
[startup+960.072 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17587
Raw data (stat): 17577 (java) R 17576 3944 3943 0 -1 0 18089 0 1 0 89265 70 0 0 25 0 11 0 778466369 860549120 36139 4294967295 134512640 134569956 3221224384 3221214528 1131278517 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210095 36139 13086 16 0 210079 0
vsize: 840380
[startup+970.071 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17587
Raw data (stat): 17577 (java) R 17576 3944 3943 0 -1 0 18089 0 1 0 90208 70 0 0 25 0 11 0 778466369 860549120 36364 4294967295 134512640 134569956 3221224384 3221214744 1131346377 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210095 36364 13086 16 0 210079 0
vsize: 840380
[startup+980.072 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17587
Raw data (stat): 17577 (java) R 17576 3944 3943 0 -1 0 18089 0 1 0 91153 70 0 0 25 0 11 0 778466369 860549120 36440 4294967295 134512640 134569956 3221224384 3221214624 1131545851 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210095 36440 13086 16 0 210079 0
vsize: 840380
[startup+990.072 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17587
Raw data (stat): 17577 (java) R 17576 3944 3943 0 -1 0 18089 0 1 0 92098 70 0 0 25 0 11 0 778466369 860549120 36440 4294967295 134512640 134569956 3221224384 3221214664 1131228179 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210095 36440 13086 16 0 210079 0
vsize: 840380
[startup+1000.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17587
Raw data (stat): 17577 (java) R 17576 3944 3943 0 -1 0 18089 0 1 0 93043 71 0 0 25 0 11 0 778466369 860549120 36472 4294967295 134512640 134569956 3221224384 3221214664 1131278517 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210095 36472 13086 16 0 210079 0
vsize: 840380
[startup+1010.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17587
Raw data (stat): 17577 (java) R 17576 3944 3943 0 -1 0 18089 0 1 0 93969 71 0 0 25 0 11 0 778466369 860549120 36680 4294967295 134512640 134569956 3221224384 3221214760 1131400805 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210095 36680 13086 16 0 210079 0
vsize: 840380
[startup+1020.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17587
Raw data (stat): 17577 (java) R 17576 3944 3943 0 -1 0 18089 0 1 0 94895 71 0 0 25 0 11 0 778466369 860549120 36680 4294967295 134512640 134569956 3221224384 3221214580 1130885141 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210095 36680 13086 16 0 210079 0
vsize: 840380
[startup+1030.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17587
Raw data (stat): 17577 (java) R 17576 3944 3943 0 -1 0 18089 0 1 0 95839 71 0 0 25 0 11 0 778466369 860549120 36706 4294967295 134512640 134569956 3221224384 3221214692 1130885240 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210095 36706 13086 16 0 210079 0
vsize: 840380
[startup+1040.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17587
Raw data (stat): 17577 (java) R 17576 3944 3943 0 -1 0 18089 0 1 0 96783 72 0 0 25 0 11 0 778466369 860549120 36750 4294967295 134512640 134569956 3221224384 3221214692 1130885175 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210095 36750 13086 16 0 210079 0
vsize: 840380
[startup+1050.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17587
Raw data (stat): 17577 (java) R 17576 3944 3943 0 -1 0 18089 0 1 0 97711 72 0 0 25 0 11 0 778466369 860549120 36791 4294967295 134512640 134569956 3221224384 3221214580 1130885132 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210095 36791 13086 16 0 210079 0
vsize: 840380
[startup+1060.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17587
Raw data (stat): 17577 (java) S 17576 3944 3943 0 -1 0 18089 0 1 0 98651 73 0 0 25 0 11 0 778466369 860549120 36835 4294967295 134512640 134569956 3221224384 3221213128 1073952481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210095 36835 13086 16 0 210079 0
vsize: 840380
[startup+1070.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17587
Raw data (stat): 17577 (java) R 17576 3944 3943 0 -1 0 18089 0 1 0 99599 73 0 0 25 0 11 0 778466369 860549120 36987 4294967295 134512640 134569956 3221224384 3221214620 1131278092 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210095 36987 13086 16 0 210079 0
vsize: 840380
[startup+1080.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17587
Raw data (stat): 17577 (java) R 17576 3944 3943 0 -1 0 18089 0 1 0 100544 73 0 0 25 0 11 0 778466369 860549120 37018 4294967295 134512640 134569956 3221224384 3221214528 1131211243 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210095 37018 13086 16 0 210079 0
vsize: 840380
[startup+1090.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17587
Raw data (stat): 17577 (java) R 17576 3944 3943 0 -1 0 18089 0 1 0 101506 74 0 0 25 0 11 0 778466369 860549120 37065 4294967295 134512640 134569956 3221224384 3221214760 1131372232 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210095 37065 13086 16 0 210079 0
vsize: 840380
[startup+1100.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17587
Raw data (stat): 17577 (java) R 17576 3944 3943 0 -1 0 18089 0 1 0 102450 74 0 0 25 0 11 0 778466369 860549120 37147 4294967295 134512640 134569956 3221224384 3221214728 1131376793 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210095 37147 13086 16 0 210079 0
vsize: 840380
[startup+1110.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17587
Raw data (stat): 17577 (java) R 17576 3944 3943 0 -1 0 18089 0 1 0 103376 74 0 0 25 0 11 0 778466369 860549120 37279 4294967295 134512640 134569956 3221224384 3221214732 1131238752 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210095 37279 13086 16 0 210079 0
vsize: 840380
[startup+1120.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17587
Raw data (stat): 17577 (java) R 17576 3944 3943 0 -1 0 18089 0 1 0 104321 75 0 0 25 0 11 0 778466369 860549120 37279 4294967295 134512640 134569956 3221224384 3221214664 1131247397 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210095 37279 13086 16 0 210079 0
vsize: 840380
[startup+1130.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17587
Raw data (stat): 17577 (java) R 17576 3944 3943 0 -1 0 18089 0 1 0 105264 75 0 0 25 0 11 0 778466369 860549120 37354 4294967295 134512640 134569956 3221224384 3221214728 1131376748 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210095 37354 13086 16 0 210079 0
vsize: 840380
[startup+1140.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17587
Raw data (stat): 17577 (java) R 17576 3944 3943 0 -1 0 18089 0 1 0 106210 75 0 0 25 0 11 0 778466369 860549120 37441 4294967295 134512640 134569956 3221224384 3221214624 1131444799 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210095 37441 13086 16 0 210079 0
vsize: 840380
[startup+1150.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17587
Raw data (stat): 17577 (java) R 17576 3944 3943 0 -1 0 18089 0 1 0 107157 76 0 0 25 0 11 0 778466369 860549120 37550 4294967295 134512640 134569956 3221224384 3221214664 1131247569 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210095 37550 13086 16 0 210079 0
vsize: 840380
[startup+1160.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17587
Raw data (stat): 17577 (java) R 17576 3944 3943 0 -1 0 18089 0 1 0 108100 76 0 0 25 0 11 0 778466369 860549120 37568 4294967295 134512640 134569956 3221224384 3221214716 1131213307 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210095 37568 13086 16 0 210079 0
vsize: 840380
[startup+1170.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17587
Raw data (stat): 17577 (java) R 17576 3944 3943 0 -1 0 18089 0 1 0 109043 76 0 0 25 0 11 0 778466369 860549120 37635 4294967295 134512640 134569956 3221224384 3221214644 1131127988 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210095 37635 13086 16 0 210079 0
vsize: 840380
[startup+1180.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17587
Raw data (stat): 17577 (java) R 17576 3944 3943 0 -1 0 18089 0 1 0 109988 77 0 0 25 0 11 0 778466369 860549120 37750 4294967295 134512640 134569956 3221224384 3221214528 1131278469 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210095 37750 13086 16 0 210079 0
vsize: 840380
[startup+1190.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17587
Raw data (stat): 17577 (java) R 17576 3944 3943 0 -1 0 18089 0 1 0 110952 77 0 0 25 0 11 0 778466369 860549120 37766 4294967295 134512640 134569956 3221224384 3221214528 1131278517 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210095 37766 13086 16 0 210079 0
vsize: 840380
[startup+1200.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17587
Raw data (stat): 17577 (java) R 17576 3944 3943 0 -1 0 18089 0 1 0 111897 77 0 0 25 0 11 0 778466369 860549120 37835 4294967295 134512640 134569956 3221224384 3221214664 1131247530 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210095 37835 13086 16 0 210079 0
vsize: 840380
[startup+1210.08 s]
Raw data (loadavg): 1.07 1.02 1.00 2/64 17587
Raw data (stat): 17577 (java) R 17576 3944 3943 0 -1 0 18089 0 1 0 112841 77 0 0 25 0 11 0 778466369 860549120 37886 4294967295 134512640 134569956 3221224384 3221214736 1131193303 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210095 37886 13086 16 0 210079 0
vsize: 840380
[startup+1220.08 s]
Raw data (loadavg): 1.06 1.02 1.00 2/64 17587
Raw data (stat): 17577 (java) R 17576 3944 3943 0 -1 0 18089 0 1 0 113787 77 0 0 25 0 11 0 778466369 860549120 37939 4294967295 134512640 134569956 3221224384 3221214736 1131193360 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210095 37939 13086 16 0 210079 0
vsize: 840380
[startup+1230.08 s]
Raw data (loadavg): 1.05 1.01 1.00 2/64 17587
Raw data (stat): 17577 (java) R 17576 3944 3943 0 -1 0 18089 0 1 0 114732 77 0 0 25 0 11 0 778466369 860549120 37983 4294967295 134512640 134569956 3221224384 3221214672 1131247397 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210095 37983 13086 16 0 210079 0
vsize: 840380
[startup+1240.08 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 17587
Raw data (stat): 17577 (java) R 17576 3944 3943 0 -1 0 18089 0 1 0 115676 78 0 0 25 0 11 0 778466369 860549120 38017 4294967295 134512640 134569956 3221224384 3221214720 1131238843 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210095 38017 13086 16 0 210079 0
vsize: 840380
[startup+1250.08 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 17587
Raw data (stat): 17577 (java) R 17576 3944 3943 0 -1 0 18089 0 1 0 116638 78 0 0 25 0 11 0 778466369 860549120 38094 4294967295 134512640 134569956 3221224384 3221214608 1131238765 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210095 38094 13086 16 0 210079 0
vsize: 840380
[startup+1260.08 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 17587
Raw data (stat): 17577 (java) R 17576 3944 3943 0 -1 0 18089 0 1 0 117602 78 0 0 25 0 11 0 778466369 860549120 38128 4294967295 134512640 134569956 3221224384 3221214696 1131213337 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210095 38128 13086 16 0 210079 0
vsize: 840380
[startup+1270.08 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 17587
Raw data (stat): 17577 (java) R 17576 3944 3943 0 -1 0 18089 0 1 0 118565 79 0 0 25 0 11 0 778466369 860549120 38201 4294967295 134512640 134569956 3221224384 3221214760 1131372167 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210095 38201 13086 16 0 210079 0
vsize: 840380
[startup+1280.08 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 17587
Raw data (stat): 17577 (java) R 17576 3944 3943 0 -1 0 18089 0 1 0 119497 79 0 0 25 0 11 0 778466369 860549120 38349 4294967295 134512640 134569956 3221224384 3221214664 1131278355 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210095 38349 13086 16 0 210079 0
vsize: 840380
[startup+1290.08 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 17587
Raw data (stat): 17577 (java) R 17576 3944 3943 0 -1 0 18089 0 1 0 120443 79 0 0 25 0 11 0 778466369 860549120 38420 4294967295 134512640 134569956 3221224384 3221214760 1131372314 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210095 38420 13086 16 0 210079 0
vsize: 840380
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1290.19 s]
Raw data (loadavg): 1.02 1.01 1.00 1/54 17589
Raw data (stat): 17577 (java) Z 17576 3944 3943 0 -1 1036 18089 27171 1 0 120447 86 9671 66 25 0 1 0 778466369 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1290.19
CPU time (s): 1302.73
CPU user time (s): 1301.19
CPU system time (s): 1.53277
CPU usage (%): 100.971
Max. virtual memory (Kb): 840380
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####