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.burch_dill.6.accl.ucl.opb
MD5SUM	f306f9e77db4c563a096b79aebdedeaa
Bench Category	no optimization function (SAT)
Has Objective Function	NO
Satisfiable
(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	71
Number of bits of the biggest number in a constraint	7
Biggest sum of numbers in a constraint	261
Number of bits of the biggest sum of numbers	9
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables	23621
Total number of constraints	67526
Number of constraints which are clauses	65126
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	2400
Minimum length of a constraint	1
Maximum length of a constraint	13
Trace number 29310

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        805476 kB
Buffers:         18892 kB
Cached:         189056 kB
SwapCached:        472 kB
Active:          32528 kB
Inactive:       177492 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        805224 kB
SwapTotal:     2097136 kB
SwapFree:      2095792 kB
Dirty:              32 kB
Writeback:           0 kB
Mapped:           5228 kB
Slab:            13568 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 06:41:29 (client local time) WITH STATUS 143 IN 1318.29 SECONDS
stats: 20709 7 1318.29 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/wulflinc5/normalized-ooo.burch_dill.6.accl.ucl.opb
c reading problem ... done. Time 191.86 ms.
c #vars     23621
c #constraints  67526
c starts	: 11
c conflicts	: 11786
c decisions	: 65465
c propagations	: 6956605
c inspects	: 26756737
c learned literals	: 2
c learned binary clauses	: 169
c learned ternary clauses	: 227
c learned clauses	: 11783
c root simplifications	: 16
s UNKNOWN
c Total CPU time (ms) : 1319.125
#### 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.93 0.98 0.99 2/54 20484
Raw data (stat): 20484 (runsolver) R 20483 7266 7265 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 778444848 1052672 99 4294967295 134512640 135381576 3221224400 3221219620 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.0002 s]
Raw data (loadavg): 0.94 0.98 0.99 2/63 20493
Raw data (stat): 20484 (java) R 20483 7266 7265 0 -1 0 18027 0 1 0 778 39 0 0 24 0 10 0 778444848 858763264 21823 4294967295 134512640 134569956 3221224368 3221214424 1076461342 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209659 21823 13086 16 0 209643 0
vsize: 838636
[startup+20.0005 s]
Raw data (loadavg): 0.95 0.98 0.99 2/63 20493
Raw data (stat): 20484 (java) R 20483 7266 7265 0 -1 0 18027 0 1 0 1635 40 0 0 25 0 10 0 778444848 858419200 22690 4294967295 134512640 134569956 3221224368 3221214424 1076461336 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209575 22690 13086 16 0 209559 0
vsize: 838300
[startup+30.0012 s]
Raw data (loadavg): 0.95 0.98 0.99 2/63 20493
Raw data (stat): 20484 (java) R 20483 7266 7265 0 -1 0 18027 0 1 0 2492 40 0 0 25 0 10 0 778444848 858419200 23449 4294967295 134512640 134569956 3221224368 3221214476 1076461342 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209575 23449 13086 16 0 209559 0
vsize: 838300
[startup+40.0027 s]
Raw data (loadavg): 0.96 0.98 0.99 2/63 20493
Raw data (stat): 20484 (java) R 20483 7266 7265 0 -1 0 18027 0 1 0 3348 40 0 0 25 0 10 0 778444848 858419200 24121 4294967295 134512640 134569956 3221224368 3221214352 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209575 24121 13086 16 0 209559 0
vsize: 838300
[startup+50.0067 s]
Raw data (loadavg): 0.97 0.98 0.99 2/63 20493
Raw data (stat): 20484 (java) S 20483 7266 7265 0 -1 0 18027 0 1 0 4201 40 0 0 25 0 10 0 778444848 858419200 24621 4294967295 134512640 134569956 3221224368 3221213712 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209575 24621 13086 16 0 209559 0
vsize: 838300
[startup+60.0065 s]
Raw data (loadavg): 0.97 0.98 0.99 2/63 20493
Raw data (stat): 20484 (java) R 20483 7266 7265 0 -1 0 18027 0 1 0 5059 40 0 0 25 0 10 0 778444848 858419200 25099 4294967295 134512640 134569956 3221224368 3221214352 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209575 25099 13086 16 0 209559 0
vsize: 838300
[startup+70.0152 s]
Raw data (loadavg): 0.97 0.98 0.99 2/63 20493
Raw data (stat): 20484 (java) R 20483 7266 7265 0 -1 0 18027 0 1 0 5913 40 0 0 25 0 10 0 778444848 858419200 25639 4294967295 134512640 134569956 3221224368 3221214352 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209575 25639 13086 16 0 209559 0
vsize: 838300
[startup+80.016 s]
Raw data (loadavg): 0.98 0.98 0.99 2/63 20493
Raw data (stat): 20484 (java) R 20483 7266 7265 0 -1 0 18027 0 1 0 6763 41 0 0 24 0 10 0 778444848 858419200 26062 4294967295 134512640 134569956 3221224368 3221214352 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209575 26062 13086 16 0 209559 0
vsize: 838300
[startup+90.0216 s]
Raw data (loadavg): 0.98 0.98 0.99 2/63 20493
Raw data (stat): 20484 (java) S 20483 7266 7265 0 -1 0 18027 0 1 0 7620 41 0 0 25 0 10 0 778444848 858419200 26389 4294967295 134512640 134569956 3221224368 3221213780 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209575 26389 13086 16 0 209559 0
vsize: 838300
[startup+100.021 s]
Raw data (loadavg): 0.98 0.98 0.99 2/63 20493
Raw data (stat): 20484 (java) R 20483 7266 7265 0 -1 0 18027 0 1 0 8473 41 0 0 25 0 10 0 778444848 858419200 26775 4294967295 134512640 134569956 3221224368 3221214768 1131231106 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209575 26775 13086 16 0 209559 0
vsize: 838300
[startup+110.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 20493
Raw data (stat): 20484 (java) R 20483 7266 7265 0 -1 0 18027 0 1 0 9329 41 0 0 25 0 10 0 778444848 858419200 27112 4294967295 134512640 134569956 3221224368 3221214352 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209575 27112 13086 16 0 209559 0
vsize: 838300
[startup+120.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 20493
Raw data (stat): 20484 (java) R 20483 7266 7265 0 -1 0 18027 0 1 0 10172 41 0 0 25 0 10 0 778444848 858419200 27622 4294967295 134512640 134569956 3221224368 3221214808 1131332641 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209575 27622 13086 16 0 209559 0
vsize: 838300
[startup+130.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 20493
Raw data (stat): 20484 (java) R 20483 7266 7265 0 -1 0 18027 0 1 0 11012 41 0 0 24 0 10 0 778444848 858419200 27944 4294967295 134512640 134569956 3221224368 3221214352 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209575 27944 13086 16 0 209559 0
vsize: 838300
[startup+140.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 20493
Raw data (stat): 20484 (java) R 20483 7266 7265 0 -1 0 18027 0 1 0 11866 41 0 0 25 0 10 0 778444848 858419200 28282 4294967295 134512640 134569956 3221224368 3221214708 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209575 28282 13086 16 0 209559 0
vsize: 838300
[startup+150.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 20493
Raw data (stat): 20484 (java) R 20483 7266 7265 0 -1 0 18027 0 1 0 12715 41 0 0 25 0 10 0 778444848 858419200 28583 4294967295 134512640 134569956 3221224368 3221214424 1074489757 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209575 28583 13086 16 0 209559 0
vsize: 838300
[startup+160.026 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 20493
Raw data (stat): 20484 (java) R 20483 7266 7265 0 -1 0 18027 0 1 0 13557 41 0 0 24 0 10 0 778444848 858419200 28918 4294967295 134512640 134569956 3221224368 3221214472 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209575 28918 13086 16 0 209559 0
vsize: 838300
[startup+170.027 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 20493
Raw data (stat): 20484 (java) R 20483 7266 7265 0 -1 0 18027 0 1 0 14411 42 0 0 25 0 10 0 778444848 858419200 29218 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209575 29218 13086 16 0 209559 0
vsize: 838300
[startup+180.029 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 20493
Raw data (stat): 20484 (java) S 20483 7266 7265 0 -1 0 18027 0 1 0 15269 42 0 0 25 0 10 0 778444848 858419200 29511 4294967295 134512640 134569956 3221224368 3221213424 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209575 29511 13086 16 0 209559 0
vsize: 838300
[startup+190.032 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 20493
Raw data (stat): 20484 (java) S 20483 7266 7265 0 -1 0 18027 0 1 0 16121 42 0 0 25 0 10 0 778444848 858419200 29842 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209575 29842 13086 16 0 209559 0
vsize: 838300
[startup+200.032 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 20494
Raw data (stat): 20484 (java) R 20483 7266 7265 0 -1 0 18066 0 1 0 16976 43 0 0 25 0 11 0 778444848 858947584 32066 4294967295 134512640 134569956 3221224368 3221214648 1131193155 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209704 32066 13086 16 0 209688 0
vsize: 838816
[startup+210.032 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 20494
Raw data (stat): 20484 (java) S 20483 7266 7265 0 -1 0 18067 0 1 0 17851 43 0 0 25 0 11 0 778444848 859205632 32269 4294967295 134512640 134569956 3221224368 3221213320 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209767 32269 13086 16 0 209751 0
vsize: 839068
[startup+220.032 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 20494
Raw data (stat): 20484 (java) R 20483 7266 7265 0 -1 0 18069 0 1 0 18760 43 0 0 25 0 11 0 778444848 858947584 32334 4294967295 134512640 134569956 3221224368 3221214696 1131200570 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209704 32334 13086 16 0 209688 0
vsize: 838816
[startup+230.037 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 20494
Raw data (stat): 20484 (java) S 20483 7266 7265 0 -1 0 18069 0 1 0 19641 43 0 0 25 0 11 0 778444848 858947584 32339 4294967295 134512640 134569956 3221224368 3221213320 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209704 32339 13086 16 0 209688 0
vsize: 838816
[startup+240.038 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 20494
Raw data (stat): 20484 (java) R 20483 7266 7265 0 -1 0 18069 0 1 0 20552 44 0 0 25 0 11 0 778444848 858947584 32557 4294967295 134512640 134569956 3221224368 3221214704 1131419273 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209704 32557 13086 16 0 209688 0
vsize: 838816
[startup+250.039 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 20494
Raw data (stat): 20484 (java) R 20483 7266 7265 0 -1 0 18069 0 1 0 21465 44 0 0 25 0 11 0 778444848 858947584 32723 4294967295 134512640 134569956 3221224368 3221214696 1131200570 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209704 32723 13086 16 0 209688 0
vsize: 838816
[startup+260.038 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 20494
Raw data (stat): 20484 (java) R 20483 7266 7265 0 -1 0 18069 0 1 0 22371 45 0 0 25 0 11 0 778444848 858947584 33022 4294967295 134512640 134569956 3221224368 3221214664 1131404261 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209704 33022 13086 16 0 209688 0
vsize: 838816
[startup+270.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 20494
Raw data (stat): 20484 (java) R 20483 7266 7265 0 -1 0 18069 0 1 0 23270 45 0 0 25 0 11 0 778444848 858947584 33298 4294967295 134512640 134569956 3221224368 3221214624 1131310952 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209704 33298 13086 16 0 209688 0
vsize: 838816
[startup+280.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 20494
Raw data (stat): 20484 (java) R 20483 7266 7265 0 -1 0 18069 0 1 0 24172 46 0 0 24 0 11 0 778444848 858947584 33579 4294967295 134512640 134569956 3221224368 3221214696 1131200524 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209704 33579 13086 16 0 209688 0
vsize: 838816
[startup+290.042 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 20494
Raw data (stat): 20484 (java) R 20483 7266 7265 0 -1 0 18069 0 1 0 25102 46 0 0 25 0 11 0 778444848 858947584 33581 4294967295 134512640 134569956 3221224368 3221214656 1131192264 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209704 33581 13086 16 0 209688 0
vsize: 838816
[startup+300.042 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 20494
Raw data (stat): 20484 (java) R 20483 7266 7265 0 -1 0 18069 0 1 0 26050 46 0 0 25 0 11 0 778444848 858947584 34507 4294967295 134512640 134569956 3221224368 3221214652 1130885154 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209704 34507 13086 16 0 209688 0
vsize: 838816
[startup+310.041 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 20494
Raw data (stat): 20484 (java) R 20483 7266 7265 0 -1 0 18069 0 1 0 27017 47 0 0 25 0 11 0 778444848 858947584 34507 4294967295 134512640 134569956 3221224368 3221214688 1131418126 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209704 34507 13086 16 0 209688 0
vsize: 838816
[startup+320.042 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 20494
Raw data (stat): 20484 (java) R 20483 7266 7265 0 -1 0 18069 0 1 0 27974 47 0 0 25 0 11 0 778444848 858947584 34611 4294967295 134512640 134569956 3221224368 3221214568 1131193830 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209704 34611 13086 16 0 209688 0
vsize: 838816
[startup+330.043 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 20494
Raw data (stat): 20484 (java) R 20483 7266 7265 0 -1 0 18069 0 1 0 28917 47 0 0 25 0 11 0 778444848 858947584 34795 4294967295 134512640 134569956 3221224368 3221214696 1131200570 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209704 34795 13086 16 0 209688 0
vsize: 838816
[startup+340.044 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 20494
Raw data (stat): 20484 (java) R 20483 7266 7265 0 -1 0 18069 0 1 0 29887 47 0 0 25 0 11 0 778444848 858947584 35022 4294967295 134512640 134569956 3221224368 3221214716 1131200419 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209704 35022 13086 16 0 209688 0
vsize: 838816
[startup+350.044 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 20494
Raw data (stat): 20484 (java) R 20483 7266 7265 0 -1 0 18069 0 1 0 30841 48 0 0 25 0 11 0 778444848 858947584 35328 4294967295 134512640 134569956 3221224368 3221214520 1131262899 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209704 35328 13086 16 0 209688 0
vsize: 838816
[startup+360.045 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 20494
Raw data (stat): 20484 (java) R 20483 7266 7265 0 -1 0 18069 0 1 0 31752 48 0 0 25 0 11 0 778444848 858947584 36550 4294967295 134512640 134569956 3221224368 3221214688 1131418160 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209704 36550 13086 16 0 209688 0
vsize: 838816
[startup+370.046 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 20494
Raw data (stat): 20484 (java) R 20483 7266 7265 0 -1 0 18069 0 1 0 32657 49 0 0 25 0 11 0 778444848 858947584 36705 4294967295 134512640 134569956 3221224368 3221214576 1131262532 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209704 36705 13086 16 0 209688 0
vsize: 838816
[startup+380.045 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 20494
Raw data (stat): 20484 (java) R 20483 7266 7265 0 -1 0 18069 0 1 0 33579 49 0 0 25 0 11 0 778444848 858947584 36947 4294967295 134512640 134569956 3221224368 3221214628 1131416576 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209704 36947 13086 16 0 209688 0
vsize: 838816
[startup+390.046 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 20494
Raw data (stat): 20484 (java) R 20483 7266 7265 0 -1 0 18069 0 1 0 34523 50 0 0 25 0 11 0 778444848 858947584 37192 4294967295 134512640 134569956 3221224368 3221214680 1131192704 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209704 37192 13086 16 0 209688 0
vsize: 838816
[startup+400.047 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 20494
Raw data (stat): 20484 (java) R 20483 7266 7265 0 -1 0 18069 0 1 0 35485 50 0 0 25 0 11 0 778444848 858947584 37501 4294967295 134512640 134569956 3221224368 3221214716 1131423593 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209704 37501 13086 16 0 209688 0
vsize: 838816
[startup+410.046 s]
Raw data (loadavg): 1.07 1.00 1.00 2/64 20494
Raw data (stat): 20484 (java) R 20483 7266 7265 0 -1 0 18069 0 1 0 36432 50 0 0 25 0 11 0 778444848 858947584 37831 4294967295 134512640 134569956 3221224368 3221214576 1131262267 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209704 37831 13086 16 0 209688 0
vsize: 838816
[startup+420.047 s]
Raw data (loadavg): 1.06 1.00 1.00 2/64 20494
Raw data (stat): 20484 (java) R 20483 7266 7265 0 -1 0 18069 0 1 0 37378 50 0 0 25 0 11 0 778444848 858947584 38434 4294967295 134512640 134569956 3221224368 3221214680 1131374613 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209704 38434 13086 16 0 209688 0
vsize: 838816
[startup+430.047 s]
Raw data (loadavg): 1.05 1.00 1.00 2/64 20494
Raw data (stat): 20484 (java) R 20483 7266 7265 0 -1 0 18069 0 1 0 38325 51 0 0 25 0 11 0 778444848 858947584 38580 4294967295 134512640 134569956 3221224368 3221214680 1131373744 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209704 38580 13086 16 0 209688 0
vsize: 838816
[startup+440.048 s]
Raw data (loadavg): 1.04 1.00 1.00 2/64 20494
Raw data (stat): 20484 (java) R 20483 7266 7265 0 -1 0 18069 0 1 0 39270 51 0 0 25 0 11 0 778444848 858947584 39010 4294967295 134512640 134569956 3221224368 3221214720 1131420003 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209704 39010 13086 16 0 209688 0
vsize: 838816
[startup+450.048 s]
Raw data (loadavg): 1.03 1.00 1.00 2/64 20494
Raw data (stat): 20484 (java) R 20483 7266 7265 0 -1 0 18069 0 1 0 40211 51 0 0 25 0 11 0 778444848 858947584 39420 4294967295 134512640 134569956 3221224368 3221214576 1131262820 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209704 39420 13086 16 0 209688 0
vsize: 838816
[startup+460.048 s]
Raw data (loadavg): 1.03 1.00 1.00 2/64 20494
Raw data (stat): 20484 (java) R 20483 7266 7265 0 -1 0 18069 0 1 0 41145 51 0 0 25 0 11 0 778444848 858947584 39733 4294967295 134512640 134569956 3221224368 3221214576 1131262000 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209704 39733 13086 16 0 209688 0
vsize: 838816
[startup+470.048 s]
Raw data (loadavg): 1.02 1.00 1.00 2/64 20494
Raw data (stat): 20484 (java) R 20483 7266 7265 0 -1 0 18069 0 1 0 42035 51 0 0 24 0 11 0 778444848 858947584 40416 4294967295 134512640 134569956 3221224368 3221214680 1131373033 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209704 40416 13086 16 0 209688 0
vsize: 838816
[startup+480.048 s]
Raw data (loadavg): 1.02 1.00 1.00 2/64 20494
Raw data (stat): 20484 (java) R 20483 7266 7265 0 -1 0 18069 0 1 0 42980 52 0 0 25 0 11 0 778444848 858947584 40416 4294967295 134512640 134569956 3221224368 3221214560 1131316192 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209704 40416 13086 16 0 209688 0
vsize: 838816
[startup+490.048 s]
Raw data (loadavg): 1.02 1.00 1.00 2/64 20494
Raw data (stat): 20484 (java) R 20483 7266 7265 0 -1 0 18069 0 1 0 43927 52 0 0 25 0 11 0 778444848 858947584 40758 4294967295 134512640 134569956 3221224368 3221214716 1131418264 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209704 40758 13086 16 0 209688 0
vsize: 838816
[startup+500.049 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 20494
Raw data (stat): 20484 (java) R 20483 7266 7265 0 -1 0 18069 0 1 0 44876 52 0 0 25 0 11 0 778444848 858947584 40767 4294967295 134512640 134569956 3221224368 3221214632 1131482620 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209704 40767 13086 16 0 209688 0
vsize: 838816
[startup+510.049 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 20494
Raw data (stat): 20484 (java) R 20483 7266 7265 0 -1 0 18069 0 1 0 45782 52 0 0 25 0 11 0 778444848 858947584 41412 4294967295 134512640 134569956 3221224368 3221214576 1131262445 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209704 41412 13086 16 0 209688 0
vsize: 838816
[startup+520.05 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 20494
Raw data (stat): 20484 (java) R 20483 7266 7265 0 -1 0 18069 0 1 0 46703 52 0 0 25 0 11 0 778444848 858947584 41812 4294967295 134512640 134569956 3221224368 3221214348 1131171168 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209704 41812 13086 16 0 209688 0
vsize: 838816
[startup+530.05 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 20494
Raw data (stat): 20484 (java) R 20483 7266 7265 0 -1 0 18069 0 1 0 47648 53 0 0 25 0 11 0 778444848 858947584 41967 4294967295 134512640 134569956 3221224368 3221214616 1131317039 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209704 41967 13086 16 0 209688 0
vsize: 838816
[startup+540.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20494
Raw data (stat): 20484 (java) S 20483 7266 7265 0 -1 0 18070 0 1 0 48582 53 0 0 25 0 11 0 778444848 858947584 42200 4294967295 134512640 134569956 3221224368 3221213320 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209704 42200 13086 16 0 209688 0
vsize: 838816
[startup+550.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20494
Raw data (stat): 20484 (java) R 20483 7266 7265 0 -1 0 18070 0 1 0 49467 53 0 0 25 0 11 0 778444848 858947584 43414 4294967295 134512640 134569956 3221224368 3221214652 1130885154 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209704 43414 13086 16 0 209688 0
vsize: 838816
[startup+560.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20494
Raw data (stat): 20484 (java) R 20483 7266 7265 0 -1 0 18070 0 1 0 50361 54 0 0 25 0 11 0 778444848 858947584 43476 4294967295 134512640 134569956 3221224368 3221214576 1131262870 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209704 43476 13086 16 0 209688 0
vsize: 838816
[startup+570.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20494
Raw data (stat): 20484 (java) R 20483 7266 7265 0 -1 0 18070 0 1 0 51278 54 0 0 25 0 11 0 778444848 858947584 43567 4294967295 134512640 134569956 3221224368 3221214624 1131399119 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209704 43567 13086 16 0 209688 0
vsize: 838816
[startup+580.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20494
Raw data (stat): 20484 (java) R 20483 7266 7265 0 -1 0 18070 0 1 0 52220 55 0 0 25 0 11 0 778444848 858947584 43739 4294967295 134512640 134569956 3221224368 3221214568 1131193140 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209704 43739 13086 16 0 209688 0
vsize: 838816
[startup+590.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20494
Raw data (stat): 20484 (java) R 20483 7266 7265 0 -1 0 18070 0 1 0 53105 55 0 0 25 0 11 0 778444848 858947584 43868 4294967295 134512640 134569956 3221224368 3221214664 1131404261 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209704 43868 13086 16 0 209688 0
vsize: 838816
[startup+600.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20494
Raw data (stat): 20484 (java) R 20483 7266 7265 0 -1 0 18070 0 1 0 54008 56 0 0 24 0 11 0 778444848 858947584 44301 4294967295 134512640 134569956 3221224368 3221214576 1131262517 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209704 44301 13086 16 0 209688 0
vsize: 838816
[startup+610.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20494
Raw data (stat): 20484 (java) R 20483 7266 7265 0 -1 0 18070 0 1 0 54942 56 0 0 25 0 11 0 778444848 858947584 44303 4294967295 134512640 134569956 3221224368 3221214576 1131262476 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209704 44303 13086 16 0 209688 0
vsize: 838816
[startup+620.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20494
Raw data (stat): 20484 (java) R 20483 7266 7265 0 -1 0 18070 0 1 0 55861 56 0 0 25 0 11 0 778444848 858947584 44559 4294967295 134512640 134569956 3221224368 3221214676 1131127952 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209704 44559 13086 16 0 209688 0
vsize: 838816
[startup+630.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20494
Raw data (stat): 20484 (java) R 20483 7266 7265 0 -1 0 18070 0 1 0 56798 57 0 0 25 0 11 0 778444848 858947584 44559 4294967295 134512640 134569956 3221224368 3221214576 1131262387 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209704 44559 13086 16 0 209688 0
vsize: 838816
[startup+640.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20494
Raw data (stat): 20484 (java) R 20483 7266 7265 0 -1 0 18070 0 1 0 57697 57 0 0 25 0 11 0 778444848 858947584 45087 4294967295 134512640 134569956 3221224368 3221214680 1131374077 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209704 45087 13086 16 0 209688 0
vsize: 838816
[startup+650.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20494
Raw data (stat): 20484 (java) R 20483 7266 7265 0 -1 0 18070 0 1 0 58595 58 0 0 25 0 11 0 778444848 858947584 45308 4294967295 134512640 134569956 3221224368 3221214576 1131261978 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209704 45308 13086 16 0 209688 0
vsize: 838816
[startup+660.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20494
Raw data (stat): 20484 (java) S 20483 7266 7265 0 -1 0 18070 0 1 0 59513 58 0 0 25 0 11 0 778444848 858947584 45687 4294967295 134512640 134569956 3221224368 3221213320 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209704 45687 13086 16 0 209688 0
vsize: 838816
[startup+670.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20494
Raw data (stat): 20484 (java) R 20483 7266 7265 0 -1 0 18070 0 1 0 60426 59 0 0 25 0 11 0 778444848 858947584 46015 4294967295 134512640 134569956 3221224368 3221214568 1131193236 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209704 46015 13086 16 0 209688 0
vsize: 838816
[startup+680.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20494
Raw data (stat): 20484 (java) R 20483 7266 7265 0 -1 0 18070 0 1 0 61357 59 0 0 25 0 11 0 778444848 858947584 46400 4294967295 134512640 134569956 3221224368 3221214744 1131396498 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209704 46400 13086 16 0 209688 0
vsize: 838816
[startup+690.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20494
Raw data (stat): 20484 (java) R 20483 7266 7265 0 -1 0 18070 0 1 0 62276 59 0 0 25 0 11 0 778444848 858947584 46718 4294967295 134512640 134569956 3221224368 3221214688 1131418182 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209704 46718 13086 16 0 209688 0
vsize: 838816
[startup+700.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20494
Raw data (stat): 20484 (java) R 20483 7266 7265 0 -1 0 18070 0 1 0 63198 60 0 0 25 0 11 0 778444848 858947584 46792 4294967295 134512640 134569956 3221224368 3221214716 1131419241 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209704 46792 13086 16 0 209688 0
vsize: 838816
[startup+710.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20494
Raw data (stat): 20484 (java) S 20483 7266 7265 0 -1 0 18070 0 1 0 64101 61 0 0 25 0 11 0 778444848 858947584 47112 4294967295 134512640 134569956 3221224368 3221213320 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209704 47112 13086 16 0 209688 0
vsize: 838816
[startup+720.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20494
Raw data (stat): 20484 (java) R 20483 7266 7265 0 -1 0 18070 0 1 0 65006 61 0 0 25 0 11 0 778444848 858947584 47458 4294967295 134512640 134569956 3221224368 3221214716 1131418080 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209704 47458 13086 16 0 209688 0
vsize: 838816
[startup+730.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20494
Raw data (stat): 20484 (java) S 20483 7266 7265 0 -1 0 18070 0 1 0 65894 61 0 0 25 0 11 0 778444848 858947584 48164 4294967295 134512640 134569956 3221224368 3221213320 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209704 48164 13086 16 0 209688 0
vsize: 838816
[startup+740.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20494
Raw data (stat): 20484 (java) R 20483 7266 7265 0 -1 0 18070 0 1 0 66827 62 0 0 25 0 11 0 778444848 858947584 48164 4294967295 134512640 134569956 3221224368 3221214688 1131418166 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209704 48164 13086 16 0 209688 0
vsize: 838816
[startup+750.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20494
Raw data (stat): 20484 (java) R 20483 7266 7265 0 -1 0 18070 0 1 0 67766 62 0 0 25 0 11 0 778444848 858947584 48358 4294967295 134512640 134569956 3221224368 3221214748 1131192227 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209704 48358 13086 16 0 209688 0
vsize: 838816
[startup+760.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20494
Raw data (stat): 20484 (java) R 20483 7266 7265 0 -1 0 18070 0 1 0 68649 63 0 0 25 0 11 0 778444848 858947584 48942 4294967295 134512640 134569956 3221224368 3221214720 1131420036 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209704 48942 13086 16 0 209688 0
vsize: 838816
[startup+770.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20494
Raw data (stat): 20484 (java) R 20483 7266 7265 0 -1 0 18070 0 1 0 69542 63 0 0 25 0 11 0 778444848 858947584 49014 4294967295 134512640 134569956 3221224368 3221214692 1131192608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209704 49014 13086 16 0 209688 0
vsize: 838816
[startup+780.064 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20494
Raw data (stat): 20484 (java) R 20483 7266 7265 0 -1 0 18070 0 1 0 70450 63 0 0 25 0 11 0 778444848 858947584 49443 4294967295 134512640 134569956 3221224368 3221214592 1131466130 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209704 49443 13086 16 0 209688 0
vsize: 838816
[startup+790.065 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20494
Raw data (stat): 20484 (java) R 20483 7266 7265 0 -1 0 18070 0 1 0 71375 64 0 0 25 0 11 0 778444848 858947584 49443 4294967295 134512640 134569956 3221224368 3221214604 1130918722 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209704 49443 13086 16 0 209688 0
vsize: 838816
[startup+800.065 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20494
Raw data (stat): 20484 (java) R 20483 7266 7265 0 -1 0 18070 0 1 0 72298 64 0 0 25 0 11 0 778444848 858947584 49540 4294967295 134512640 134569956 3221224368 3221214680 1131192702 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209704 49540 13086 16 0 209688 0
vsize: 838816
[startup+810.064 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20494
Raw data (stat): 20484 (java) R 20483 7266 7265 0 -1 0 18070 0 1 0 73221 64 0 0 25 0 11 0 778444848 858947584 49598 4294967295 134512640 134569956 3221224368 3221214720 1131420435 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209704 49598 13086 16 0 209688 0
vsize: 838816
[startup+820.066 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20494
Raw data (stat): 20484 (java) R 20483 7266 7265 0 -1 0 18070 0 1 0 74163 65 0 0 25 0 11 0 778444848 858947584 49694 4294967295 134512640 134569956 3221224368 3221214688 1131418222 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209704 49694 13086 16 0 209688 0
vsize: 838816
[startup+830.066 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20494
Raw data (stat): 20484 (java) R 20483 7266 7265 0 -1 0 18070 0 1 0 75108 65 0 0 25 0 11 0 778444848 858947584 49694 4294967295 134512640 134569956 3221224368 3221214680 1131373145 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209704 49694 13086 16 0 209688 0
vsize: 838816
[startup+840.067 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20494
Raw data (stat): 20484 (java) R 20483 7266 7265 0 -1 0 18070 0 1 0 76032 65 0 0 25 0 11 0 778444848 858947584 49753 4294967295 134512640 134569956 3221224368 3221214696 1131200535 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209704 49753 13086 16 0 209688 0
vsize: 838816
[startup+850.067 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20494
Raw data (stat): 20484 (java) R 20483 7266 7265 0 -1 0 18070 0 1 0 76974 65 0 0 25 0 11 0 778444848 858947584 49881 4294967295 134512640 134569956 3221224368 3221214680 1131192711 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209704 49881 13086 16 0 209688 0
vsize: 838816
[startup+860.066 s]
Raw data (loadavg): 1.07 1.02 1.00 2/64 20494
Raw data (stat): 20484 (java) R 20483 7266 7265 0 -1 0 18070 0 1 0 77899 66 0 0 25 0 11 0 778444848 858947584 49965 4294967295 134512640 134569956 3221224368 3221214696 1131200540 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209704 49965 13086 16 0 209688 0
vsize: 838816
[startup+870.067 s]
Raw data (loadavg): 1.06 1.01 1.00 2/64 20494
Raw data (stat): 20484 (java) R 20483 7266 7265 0 -1 0 18070 0 1 0 78822 66 0 0 25 0 11 0 778444848 858947584 50006 4294967295 134512640 134569956 3221224368 3221214716 1131200428 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209704 50006 13086 16 0 209688 0
vsize: 838816
[startup+880.068 s]
Raw data (loadavg): 1.05 1.01 1.00 2/64 20494
Raw data (stat): 20484 (java) R 20483 7266 7265 0 -1 0 18070 0 1 0 79765 66 0 0 25 0 11 0 778444848 858947584 50039 4294967295 134512640 134569956 3221224368 3221214676 1131127964 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209704 50039 13086 16 0 209688 0
vsize: 838816
[startup+890.069 s]
Raw data (loadavg): 1.20 1.05 1.01 2/64 20494
Raw data (stat): 20484 (java) R 20483 7266 7265 0 -1 0 18070 0 1 0 80709 66 0 0 25 0 11 0 778444848 858947584 50073 4294967295 134512640 134569956 3221224368 3221214616 1131316288 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209704 50073 13086 16 0 209688 0
vsize: 838816
[startup+900.069 s]
Raw data (loadavg): 1.17 1.04 1.01 2/64 20494
Raw data (stat): 20484 (java) R 20483 7266 7265 0 -1 0 18070 0 1 0 81653 66 0 0 25 0 11 0 778444848 858947584 50100 4294967295 134512640 134569956 3221224368 3221214616 1131262906 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209704 50100 13086 16 0 209688 0
vsize: 838816
[startup+910.07 s]
Raw data (loadavg): 1.14 1.04 1.01 2/64 20494
Raw data (stat): 20484 (java) R 20483 7266 7265 0 -1 0 18070 0 1 0 82595 67 0 0 25 0 11 0 778444848 858947584 50128 4294967295 134512640 134569956 3221224368 3221214720 1131420015 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209704 50128 13086 16 0 209688 0
vsize: 838816
[startup+920.071 s]
Raw data (loadavg): 1.12 1.04 1.01 2/64 20494
Raw data (stat): 20484 (java) R 20483 7266 7265 0 -1 0 18070 0 1 0 83540 67 0 0 25 0 11 0 778444848 858947584 50170 4294967295 134512640 134569956 3221224368 3221214632 1131482274 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209704 50170 13086 16 0 209688 0
vsize: 838816
[startup+930.07 s]
Raw data (loadavg): 1.10 1.04 1.01 2/64 20494
Raw data (stat): 20484 (java) R 20483 7266 7265 0 -1 0 18070 0 1 0 84485 67 0 0 25 0 11 0 778444848 858947584 50245 4294967295 134512640 134569956 3221224368 3221214680 1131192626 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209704 50245 13086 16 0 209688 0
vsize: 838816
[startup+940.072 s]
Raw data (loadavg): 1.08 1.04 1.01 2/64 20494
Raw data (stat): 20484 (java) R 20483 7266 7265 0 -1 0 18070 0 1 0 85428 68 0 0 25 0 11 0 778444848 858947584 50251 4294967295 134512640 134569956 3221224368 3221214696 1131200494 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209704 50251 13086 16 0 209688 0
vsize: 838816
[startup+950.073 s]
Raw data (loadavg): 1.07 1.03 1.01 2/64 20494
Raw data (stat): 20484 (java) R 20483 7266 7265 0 -1 0 18070 0 1 0 86372 68 0 0 25 0 11 0 778444848 858947584 50309 4294967295 134512640 134569956 3221224368 3221214688 1131418194 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209704 50309 13086 16 0 209688 0
vsize: 838816
[startup+960.072 s]
Raw data (loadavg): 1.06 1.03 1.00 2/64 20494
Raw data (stat): 20484 (java) R 20483 7266 7265 0 -1 0 18070 0 1 0 87318 69 0 0 25 0 11 0 778444848 858947584 50373 4294967295 134512640 134569956 3221224368 3221214696 1131200527 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209704 50373 13086 16 0 209688 0
vsize: 838816
[startup+970.074 s]
Raw data (loadavg): 1.05 1.03 1.00 2/64 20494
Raw data (stat): 20484 (java) R 20483 7266 7265 0 -1 0 18070 0 1 0 88263 69 0 0 25 0 11 0 778444848 858947584 50407 4294967295 134512640 134569956 3221224368 3221214680 1131372985 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209704 50407 13086 16 0 209688 0
vsize: 838816
[startup+980.074 s]
Raw data (loadavg): 1.04 1.03 1.00 2/64 20494
Raw data (stat): 20484 (java) R 20483 7266 7265 0 -1 0 18070 0 1 0 89195 69 0 0 25 0 11 0 778444848 858947584 50526 4294967295 134512640 134569956 3221224368 3221214584 1131266613 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209704 50526 13086 16 0 209688 0
vsize: 838816
[startup+990.075 s]
Raw data (loadavg): 1.04 1.03 1.00 2/64 20494
Raw data (stat): 20484 (java) R 20483 7266 7265 0 -1 0 18070 0 1 0 90145 70 0 0 25 0 11 0 778444848 858947584 50556 4294967295 134512640 134569956 3221224368 3221214720 1131420003 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209704 50556 13086 16 0 209688 0
vsize: 838816
[startup+1000.08 s]
Raw data (loadavg): 1.03 1.03 1.00 2/64 20494
Raw data (stat): 20484 (java) R 20483 7266 7265 0 -1 0 18070 0 1 0 91096 70 0 0 25 0 11 0 778444848 858947584 50582 4294967295 134512640 134569956 3221224368 3221214696 1131200487 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209704 50582 13086 16 0 209688 0
vsize: 838816
[startup+1010.08 s]
Raw data (loadavg): 1.02 1.03 1.00 2/64 20494
Raw data (stat): 20484 (java) R 20483 7266 7265 0 -1 0 18070 0 1 0 92045 71 0 0 25 0 11 0 778444848 858947584 50632 4294967295 134512640 134569956 3221224368 3221214696 1131200500 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209704 50632 13086 16 0 209688 0
vsize: 838816
[startup+1020.08 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 20494
Raw data (stat): 20484 (java) R 20483 7266 7265 0 -1 0 18070 0 1 0 92977 71 0 0 25 0 11 0 778444848 858947584 50666 4294967295 134512640 134569956 3221224368 3221214720 1131420003 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209704 50666 13086 16 0 209688 0
vsize: 838816
[startup+1030.08 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 20494
Raw data (stat): 20484 (java) R 20483 7266 7265 0 -1 0 18070 0 1 0 93928 71 0 0 25 0 11 0 778444848 858947584 50713 4294967295 134512640 134569956 3221224368 3221214536 1131488998 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209704 50713 13086 16 0 209688 0
vsize: 838816
[startup+1040.08 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 20494
Raw data (stat): 20484 (java) R 20483 7266 7265 0 -1 0 18070 0 1 0 94879 71 0 0 25 0 11 0 778444848 858947584 50756 4294967295 134512640 134569956 3221224368 3221214720 1131420339 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209704 50756 13086 16 0 209688 0
vsize: 838816
[startup+1050.08 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 20494
Raw data (stat): 20484 (java) R 20483 7266 7265 0 -1 0 18070 0 1 0 95830 72 0 0 25 0 11 0 778444848 858947584 50785 4294967295 134512640 134569956 3221224368 3221214576 1131262532 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209704 50785 13086 16 0 209688 0
vsize: 838816
[startup+1060.08 s]
Raw data (loadavg): 1.09 1.04 1.01 2/64 20494
Raw data (stat): 20484 (java) R 20483 7266 7265 0 -1 0 18070 0 1 0 96780 72 0 0 25 0 11 0 778444848 858947584 50813 4294967295 134512640 134569956 3221224368 3221214696 1131200576 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209704 50813 13086 16 0 209688 0
vsize: 838816
[startup+1070.08 s]
Raw data (loadavg): 1.07 1.04 1.00 2/64 20494
Raw data (stat): 20484 (java) R 20483 7266 7265 0 -1 0 18070 0 1 0 97731 72 0 0 25 0 11 0 778444848 858947584 50841 4294967295 134512640 134569956 3221224368 3221214720 1131420003 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209704 50841 13086 16 0 209688 0
vsize: 838816
[startup+1080.08 s]
Raw data (loadavg): 1.06 1.03 1.00 2/64 20494
Raw data (stat): 20484 (java) R 20483 7266 7265 0 -1 0 18070 0 1 0 98640 73 0 0 25 0 11 0 778444848 858947584 50906 4294967295 134512640 134569956 3221224368 3221214616 1131262341 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209704 50906 13086 16 0 209688 0
vsize: 838816
[startup+1090.08 s]
Raw data (loadavg): 1.13 1.05 1.01 2/64 20494
Raw data (stat): 20484 (java) R 20483 7266 7265 0 -1 0 18070 0 1 0 99543 73 0 0 25 0 11 0 778444848 858947584 51127 4294967295 134512640 134569956 3221224368 3221214716 1131424526 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209704 51127 13086 16 0 209688 0
vsize: 838816
[startup+1100.08 s]
Raw data (loadavg): 1.11 1.05 1.01 2/64 20494
Raw data (stat): 20484 (java) R 20483 7266 7265 0 -1 0 18070 0 1 0 100486 73 0 0 25 0 11 0 778444848 858947584 51776 4294967295 134512640 134569956 3221224368 3221214688 1131418176 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209704 51776 13086 16 0 209688 0
vsize: 838816
[startup+1110.08 s]
Raw data (loadavg): 1.09 1.04 1.01 2/64 20494
Raw data (stat): 20484 (java) R 20483 7266 7265 0 -1 0 18070 0 1 0 101417 73 0 0 25 0 11 0 778444848 858947584 51776 4294967295 134512640 134569956 3221224368 3221214576 1131262906 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209704 51776 13086 16 0 209688 0
vsize: 838816
[startup+1120.08 s]
Raw data (loadavg): 1.08 1.04 1.00 2/64 20494
Raw data (stat): 20484 (java) R 20483 7266 7265 0 -1 0 18070 0 1 0 102366 73 0 0 25 0 11 0 778444848 858947584 51776 4294967295 134512640 134569956 3221224368 3221214652 1130885120 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209704 51776 13086 16 0 209688 0
vsize: 838816
[startup+1130.08 s]
Raw data (loadavg): 1.07 1.04 1.00 2/64 20494
Raw data (stat): 20484 (java) R 20483 7266 7265 0 -1 0 18070 0 1 0 103328 74 0 0 25 0 11 0 778444848 858947584 51967 4294967295 134512640 134569956 3221224368 3221214680 1131192709 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209704 51967 13086 16 0 209688 0
vsize: 838816
[startup+1140.08 s]
Raw data (loadavg): 1.06 1.04 1.00 2/64 20494
Raw data (stat): 20484 (java) R 20483 7266 7265 0 -1 0 18070 0 1 0 104259 74 0 0 25 0 11 0 778444848 858947584 52220 4294967295 134512640 134569956 3221224368 3221214688 1131418222 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209704 52220 13086 16 0 209688 0
vsize: 838816
[startup+1150.08 s]
Raw data (loadavg): 1.05 1.04 1.00 2/64 20494
Raw data (stat): 20484 (java) R 20483 7266 7265 0 -1 0 18070 0 1 0 105210 74 0 0 25 0 11 0 778444848 858947584 52337 4294967295 134512640 134569956 3221224368 3221214616 1131316343 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209704 52337 13086 16 0 209688 0
vsize: 838816
[startup+1160.08 s]
Raw data (loadavg): 1.04 1.03 1.00 2/64 20494
Raw data (stat): 20484 (java) R 20483 7266 7265 0 -1 0 18070 0 1 0 106157 75 0 0 25 0 11 0 778444848 858947584 52484 4294967295 134512640 134569956 3221224368 3221214716 1131423584 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209704 52484 13086 16 0 209688 0
vsize: 838816
[startup+1170.08 s]
Raw data (loadavg): 1.03 1.03 1.00 2/64 20494
Raw data (stat): 20484 (java) R 20483 7266 7265 0 -1 0 18070 0 1 0 107087 75 0 0 25 0 11 0 778444848 858947584 52774 4294967295 134512640 134569956 3221224368 3221214616 1131262013 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209704 52774 13086 16 0 209688 0
vsize: 838816
[startup+1180.08 s]
Raw data (loadavg): 1.03 1.03 1.00 2/64 20494
Raw data (stat): 20484 (java) R 20483 7266 7265 0 -1 0 18070 0 1 0 107987 75 0 0 25 0 11 0 778444848 858947584 53116 4294967295 134512640 134569956 3221224368 3221214680 1131373693 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209704 53116 13086 16 0 209688 0
vsize: 838816
[startup+1190.08 s]
Raw data (loadavg): 1.02 1.03 1.00 2/64 20494
Raw data (stat): 20484 (java) R 20483 7266 7265 0 -1 0 18070 0 1 0 108890 76 0 0 25 0 11 0 778444848 858947584 53655 4294967295 134512640 134569956 3221224368 3221214680 1131373145 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209704 53655 13086 16 0 209688 0
vsize: 838816
[startup+1200.08 s]
Raw data (loadavg): 1.02 1.03 1.00 2/64 20494
Raw data (stat): 20484 (java) R 20483 7266 7265 0 -1 0 18070 0 1 0 109816 76 0 0 25 0 11 0 778444848 858947584 53820 4294967295 134512640 134569956 3221224368 3221214688 1131418178 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209704 53820 13086 16 0 209688 0
vsize: 838816
[startup+1210.08 s]
Raw data (loadavg): 1.02 1.03 1.00 2/64 20494
Raw data (stat): 20484 (java) R 20483 7266 7265 0 -1 0 18070 0 1 0 110750 77 0 0 25 0 11 0 778444848 858947584 53908 4294967295 134512640 134569956 3221224368 3221214664 1131404291 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209704 53908 13086 16 0 209688 0
vsize: 838816
[startup+1220.08 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 20494
Raw data (stat): 20484 (java) R 20483 7266 7265 0 -1 0 18070 0 1 0 111683 77 0 0 25 0 11 0 778444848 858947584 54071 4294967295 134512640 134569956 3221224368 3221214688 1131418219 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209704 54071 13086 16 0 209688 0
vsize: 838816
[startup+1230.08 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 20494
Raw data (stat): 20484 (java) R 20483 7266 7265 0 -1 0 18070 0 1 0 112617 77 0 0 25 0 11 0 778444848 858947584 54179 4294967295 134512640 134569956 3221224368 3221214704 1131419273 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209704 54179 13086 16 0 209688 0
vsize: 838816
[startup+1240.08 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 20494
Raw data (stat): 20484 (java) R 20483 7266 7265 0 -1 0 18070 0 1 0 113548 77 0 0 25 0 11 0 778444848 858947584 54448 4294967295 134512640 134569956 3221224368 3221214576 1131262383 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209704 54448 13086 16 0 209688 0
vsize: 838816
[startup+1250.08 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 20494
Raw data (stat): 20484 (java) S 20483 7266 7265 0 -1 0 18070 0 1 0 114470 78 0 0 25 0 11 0 778444848 858947584 54754 4294967295 134512640 134569956 3221224368 3221213280 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209704 54754 13086 16 0 209688 0
vsize: 838816
[startup+1260.08 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 20494
Raw data (stat): 20484 (java) R 20483 7266 7265 0 -1 0 18070 0 1 0 115352 78 0 0 24 0 11 0 778444848 858947584 55097 4294967295 134512640 134569956 3221224368 3221214696 1131200462 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209704 55097 13086 16 0 209688 0
vsize: 838816
[startup+1270.08 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 20494
Raw data (stat): 20484 (java) R 20483 7266 7265 0 -1 0 18070 0 1 0 116261 78 0 0 25 0 11 0 778444848 858947584 55306 4294967295 134512640 134569956 3221224368 3221214716 1131424428 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209704 55306 13086 16 0 209688 0
vsize: 838816
[startup+1280.08 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 20494
Raw data (stat): 20484 (java) R 20483 7266 7265 0 -1 0 18070 0 1 0 117170 78 0 0 25 0 11 0 778444848 858947584 55424 4294967295 134512640 134569956 3221224368 3221214688 1131418206 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209704 55424 13086 16 0 209688 0
vsize: 838816
[startup+1290.08 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 20494
Raw data (stat): 20484 (java) R 20483 7266 7265 0 -1 0 18070 0 1 0 118053 79 0 0 25 0 11 0 778444848 858947584 55751 4294967295 134512640 134569956 3221224368 3221214576 1131262920 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209704 55751 13086 16 0 209688 0
vsize: 838816
[startup+1300.08 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 20494
Raw data (stat): 20484 (java) R 20483 7266 7265 0 -1 0 18070 0 1 0 118918 79 0 0 25 0 11 0 778444848 858947584 56397 4294967295 134512640 134569956 3221224368 3221214688 1131455296 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209704 56397 13086 16 0 209688 0
vsize: 838816
[startup+1310.08 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 20494
Raw data (stat): 20484 (java) R 20483 7266 7265 0 -1 0 18070 0 1 0 119818 80 0 0 25 0 11 0 778444848 858947584 56747 4294967295 134512640 134569956 3221224368 3221214680 1131374514 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209704 56747 13086 16 0 209688 0
vsize: 838816
[startup+1320.08 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 20494
Raw data (stat): 20484 (java) R 20483 7266 7265 0 -1 0 18070 0 1 0 120706 81 0 0 25 0 11 0 778444848 858947584 56747 4294967295 134512640 134569956 3221224368 3221214716 1131416612 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209704 56747 13086 16 0 209688 0
vsize: 838816
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1320.25 s]
Raw data (loadavg): 1.00 1.02 1.00 1/54 20496
Raw data (stat): 20484 (java) Z 20483 7266 7265 0 -1 1036 18070 37165 1 0 120711 81 10948 86 25 0 1 0 778444848 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): 1320.25
CPU time (s): 1318.29
CPU user time (s): 1316.6
CPU system time (s): 1.68274
CPU usage (%): 99.8515
Max. virtual memory (Kb): 839068
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####