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/submitted/manquinho/primes-dimacs-cnf/normalized-par32-4-c.opb
MD5SUM	3d2c3109962e8068c6ff1a393a02942b
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
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	2666
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	2666
Number of bits of the sum of numbers in the objective function	12
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	2666
Number of bits of the biggest sum of numbers	12
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables	2666
Total number of constraints	6659
Number of constraints which are clauses	6659
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	2
Maximum length of a constraint	3
Trace number 29236

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        774880 kB
Buffers:         15456 kB
Cached:         224660 kB
SwapCached:        740 kB
Active:          45264 kB
Inactive:       197036 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        774628 kB
SwapTotal:     2097136 kB
SwapFree:      2095584 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5124 kB
Slab:            11772 kB
Committed_AS:    63588 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 06:09:14 (client local time) WITH STATUS 143 IN 1247.97 SECONDS
stats: 20619 7 1247.97 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/wulflinc7/normalized-par32-4-c.opb
c reading problem ... done. Time 5.906 ms.
c #vars     2666
c #constraints  6659
c starts	: 10
c conflicts	: 10506
c decisions	: 11378
c propagations	: 7864326
c inspects	: 28133143
c learned literals	: 0
c learned binary clauses	: 30
c learned ternary clauses	: 5
c learned clauses	: 10506
c root simplifications	: 10
s UNKNOWN
c Total CPU time (ms) : 1249.091
#### 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.84 0.94 0.90 2/54 6234
Raw data (stat): 6234 (runsolver) R 6233 24300 24299 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 778266464 1052672 99 4294967295 134512640 135381576 3221224416 3221219636 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0125 s]
Raw data (loadavg): 0.95 0.96 0.91 4/64 6244
Raw data (stat): 6234 (java) R 6233 24300 24299 0 -1 0 18078 0 1 0 766 40 0 0 25 0 11 0 778266464 856604672 19569 4294967295 134512640 134569956 3221224384 3221213536 1073952732 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209132 19569 13086 16 0 209116 0
vsize: 836528
[startup+20.0165 s]
Raw data (loadavg): 0.95 0.96 0.91 2/64 6244
Raw data (stat): 6234 (java) R 6233 24300 24299 0 -1 0 18078 0 1 0 1682 40 0 0 25 0 11 0 778266464 856080384 22008 4294967295 134512640 134569956 3221224384 3221214704 1131330017 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209004 22008 13086 16 0 208988 0
vsize: 836016
[startup+30.0167 s]
Raw data (loadavg): 0.96 0.96 0.91 2/64 6244
Raw data (stat): 6234 (java) R 6233 24300 24299 0 -1 0 18078 0 1 0 2652 40 0 0 25 0 11 0 778266464 856080384 22019 4294967295 134512640 134569956 3221224384 3221214800 1131444776 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209004 22019 13086 16 0 208988 0
vsize: 836016
[startup+40.0164 s]
Raw data (loadavg): 0.97 0.96 0.91 2/64 6244
Raw data (stat): 6234 (java) R 6233 24300 24299 0 -1 0 18078 0 1 0 3610 40 0 0 25 0 11 0 778266464 856080384 22019 4294967295 134512640 134569956 3221224384 3221214704 1131330383 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209004 22019 13086 16 0 208988 0
vsize: 836016
[startup+50.0175 s]
Raw data (loadavg): 0.97 0.96 0.91 2/64 6244
Raw data (stat): 6234 (java) R 6233 24300 24299 0 -1 0 18078 0 1 0 4561 40 0 0 24 0 11 0 778266464 856080384 22019 4294967295 134512640 134569956 3221224384 3221214704 1131330458 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209004 22019 13086 16 0 208988 0
vsize: 836016
[startup+60.0176 s]
Raw data (loadavg): 1.05 0.98 0.92 2/64 6244
Raw data (stat): 6234 (java) R 6233 24300 24299 0 -1 0 18079 0 1 0 5511 40 0 0 25 0 11 0 778266464 856080384 22020 4294967295 134512640 134569956 3221224384 3221214784 1131410692 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209004 22020 13086 16 0 208988 0
vsize: 836016
[startup+70.0183 s]
Raw data (loadavg): 1.05 0.98 0.92 2/64 6244
Raw data (stat): 6234 (java) R 6233 24300 24299 0 -1 0 18079 0 1 0 6454 40 0 0 24 0 11 0 778266464 856080384 22197 4294967295 134512640 134569956 3221224384 3221214704 1131330313 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209004 22197 13086 16 0 208988 0
vsize: 836016
[startup+80.0193 s]
Raw data (loadavg): 1.04 0.98 0.92 2/64 6244
Raw data (stat): 6234 (java) R 6233 24300 24299 0 -1 0 18079 0 1 0 7409 40 0 0 25 0 11 0 778266464 856080384 22343 4294967295 134512640 134569956 3221224384 3221214740 1130885126 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209004 22343 13086 16 0 208988 0
vsize: 836016
[startup+90.0184 s]
Raw data (loadavg): 1.03 0.98 0.92 2/64 6244
Raw data (stat): 6234 (java) R 6233 24300 24299 0 -1 0 18079 0 1 0 8352 40 0 0 25 0 11 0 778266464 856080384 22402 4294967295 134512640 134569956 3221224384 3221214416 1078033476 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209004 22402 13086 16 0 208988 0
vsize: 836016
[startup+100.018 s]
Raw data (loadavg): 1.03 0.98 0.92 2/64 6244
Raw data (stat): 6234 (java) R 6233 24300 24299 0 -1 0 18079 0 1 0 9297 40 0 0 25 0 11 0 778266464 856080384 22502 4294967295 134512640 134569956 3221224384 3221214800 1131444946 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209004 22502 13086 16 0 208988 0
vsize: 836016
[startup+110.018 s]
Raw data (loadavg): 1.02 0.98 0.92 2/64 6244
Raw data (stat): 6234 (java) R 6233 24300 24299 0 -1 0 18079 0 1 0 10243 40 0 0 25 0 11 0 778266464 856080384 22582 4294967295 134512640 134569956 3221224384 3221214704 1131330343 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209004 22582 13086 16 0 208988 0
vsize: 836016
[startup+120.019 s]
Raw data (loadavg): 1.02 0.98 0.92 2/64 6244
Raw data (stat): 6234 (java) R 6233 24300 24299 0 -1 0 18079 0 1 0 11201 40 0 0 25 0 11 0 778266464 856080384 22709 4294967295 134512640 134569956 3221224384 3221214676 1131412364 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209004 22709 13086 16 0 208988 0
vsize: 836016
[startup+130.019 s]
Raw data (loadavg): 1.02 0.98 0.92 2/64 6244
Raw data (stat): 6234 (java) R 6233 24300 24299 0 -1 0 18079 0 1 0 12154 41 0 0 25 0 11 0 778266464 856080384 22902 4294967295 134512640 134569956 3221224384 3221214776 1131335351 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209004 22902 13086 16 0 208988 0
vsize: 836016
[startup+140.019 s]
Raw data (loadavg): 1.01 0.98 0.92 2/64 6244
Raw data (stat): 6234 (java) R 6233 24300 24299 0 -1 0 18079 0 1 0 13114 41 0 0 25 0 11 0 778266464 856080384 23082 4294967295 134512640 134569956 3221224384 3221214672 1131294594 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209004 23082 13086 16 0 208988 0
vsize: 836016
[startup+150.019 s]
Raw data (loadavg): 1.01 0.98 0.92 2/64 6244
Raw data (stat): 6234 (java) R 6233 24300 24299 0 -1 0 18079 0 1 0 14079 41 0 0 25 0 11 0 778266464 856080384 23192 4294967295 134512640 134569956 3221224384 3221214672 1131294594 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209004 23192 13086 16 0 208988 0
vsize: 836016
[startup+160.019 s]
Raw data (loadavg): 1.01 0.98 0.92 2/64 6244
Raw data (stat): 6234 (java) R 6233 24300 24299 0 -1 0 18079 0 1 0 15044 41 0 0 25 0 11 0 778266464 856080384 23262 4294967295 134512640 134569956 3221224384 3221214704 1131295232 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209004 23262 13086 16 0 208988 0
vsize: 836016
[startup+170.02 s]
Raw data (loadavg): 1.01 0.98 0.92 2/64 6244
Raw data (stat): 6234 (java) R 6233 24300 24299 0 -1 0 18079 0 1 0 16016 41 0 0 25 0 11 0 778266464 856080384 23312 4294967295 134512640 134569956 3221224384 3221214664 1131330487 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209004 23312 13086 16 0 208988 0
vsize: 836016
[startup+180.02 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 6244
Raw data (stat): 6234 (java) R 6233 24300 24299 0 -1 0 18079 0 1 0 16981 41 0 0 25 0 11 0 778266464 856080384 23374 4294967295 134512640 134569956 3221224384 3221214704 1131330880 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209004 23374 13086 16 0 208988 0
vsize: 836016
[startup+190.02 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 6244
Raw data (stat): 6234 (java) R 6233 24300 24299 0 -1 0 18079 0 1 0 17946 41 0 0 25 0 11 0 778266464 856080384 23440 4294967295 134512640 134569956 3221224384 3221214676 1131457322 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209004 23440 13086 16 0 208988 0
vsize: 836016
[startup+200.02 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 6244
Raw data (stat): 6234 (java) R 6233 24300 24299 0 -1 0 18079 0 1 0 18911 41 0 0 25 0 11 0 778266464 856080384 23501 4294967295 134512640 134569956 3221224384 3221214800 1131444816 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209004 23501 13086 16 0 208988 0
vsize: 836016
[startup+210.02 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 6244
Raw data (stat): 6234 (java) R 6233 24300 24299 0 -1 0 18079 0 1 0 19875 41 0 0 25 0 11 0 778266464 856080384 23565 4294967295 134512640 134569956 3221224384 3221214616 1131320440 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209004 23565 13086 16 0 208988 0
vsize: 836016
[startup+220.021 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 6244
Raw data (stat): 6234 (java) R 6233 24300 24299 0 -1 0 18079 0 1 0 20838 41 0 0 25 0 11 0 778266464 856080384 23633 4294967295 134512640 134569956 3221224384 3221214704 1131330352 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209004 23633 13086 16 0 208988 0
vsize: 836016
[startup+230.022 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 6244
Raw data (stat): 6234 (java) R 6233 24300 24299 0 -1 0 18079 0 1 0 21802 41 0 0 25 0 11 0 778266464 856080384 23699 4294967295 134512640 134569956 3221224384 3221214768 1131413784 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209004 23699 13086 16 0 208988 0
vsize: 836016
[startup+240.022 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 6244
Raw data (stat): 6234 (java) R 6233 24300 24299 0 -1 0 18079 0 1 0 22771 41 0 0 25 0 11 0 778266464 856080384 23758 4294967295 134512640 134569956 3221224384 3221214656 1131235539 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209004 23758 13086 16 0 208988 0
vsize: 836016
[startup+250.023 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 6244
Raw data (stat): 6234 (java) R 6233 24300 24299 0 -1 0 18079 0 1 0 23728 42 0 0 25 0 11 0 778266464 856080384 23821 4294967295 134512640 134569956 3221224384 3221214760 1131413367 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209004 23821 13086 16 0 208988 0
vsize: 836016
[startup+260.026 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 6244
Raw data (stat): 6234 (java) S 6233 24300 24299 0 -1 0 18079 0 1 0 24690 42 0 0 25 0 11 0 778266464 856080384 23872 4294967295 134512640 134569956 3221224384 3221213360 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209004 23872 13086 16 0 208988 0
vsize: 836016
[startup+270.028 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 6244
Raw data (stat): 6234 (java) R 6233 24300 24299 0 -1 0 18079 0 1 0 25645 42 0 0 25 0 11 0 778266464 856080384 23939 4294967295 134512640 134569956 3221224384 3221214680 1131330161 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209004 23939 13086 16 0 208988 0
vsize: 836016
[startup+280.028 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 6244
Raw data (stat): 6234 (java) R 6233 24300 24299 0 -1 0 18079 0 1 0 26597 42 0 0 25 0 11 0 778266464 856080384 24015 4294967295 134512640 134569956 3221224384 3221214760 1131413497 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209004 24015 13086 16 0 208988 0
vsize: 836016
[startup+290.027 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 6244
Raw data (stat): 6234 (java) R 6233 24300 24299 0 -1 0 18079 0 1 0 27546 42 0 0 25 0 11 0 778266464 856080384 24082 4294967295 134512640 134569956 3221224384 3221214728 1131513577 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209004 24082 13086 16 0 208988 0
vsize: 836016
[startup+300.028 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 6244
Raw data (stat): 6234 (java) R 6233 24300 24299 0 -1 0 18079 0 1 0 28504 42 0 0 25 0 11 0 778266464 856080384 24138 4294967295 134512640 134569956 3221224384 3221214732 1130885186 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209004 24138 13086 16 0 208988 0
vsize: 836016
[startup+310.027 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 6244
Raw data (stat): 6234 (java) R 6233 24300 24299 0 -1 0 18079 0 1 0 29453 42 0 0 25 0 11 0 778266464 856080384 24301 4294967295 134512640 134569956 3221224384 3221214656 1131330628 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209004 24301 13086 16 0 208988 0
vsize: 836016
[startup+320.028 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 6244
Raw data (stat): 6234 (java) R 6233 24300 24299 0 -1 0 18079 0 1 0 30403 43 0 0 25 0 11 0 778266464 856080384 24410 4294967295 134512640 134569956 3221224384 3221214732 1130885186 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209004 24410 13086 16 0 208988 0
vsize: 836016
[startup+330.029 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 6244
Raw data (stat): 6234 (java) R 6233 24300 24299 0 -1 0 18079 0 1 0 31362 43 0 0 25 0 11 0 778266464 856080384 24510 4294967295 134512640 134569956 3221224384 3221214792 1131445114 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209004 24510 13086 16 0 208988 0
vsize: 836016
[startup+340.029 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 6244
Raw data (stat): 6234 (java) R 6233 24300 24299 0 -1 0 18079 0 1 0 32311 43 0 0 25 0 11 0 778266464 856080384 24599 4294967295 134512640 134569956 3221224384 3221214788 1131342659 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209004 24599 13086 16 0 208988 0
vsize: 836016
[startup+350.029 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 6244
Raw data (stat): 6234 (java) R 6233 24300 24299 0 -1 0 18079 0 1 0 33261 43 0 0 25 0 11 0 778266464 856080384 24699 4294967295 134512640 134569956 3221224384 3221214656 1131331008 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209004 24699 13086 16 0 208988 0
vsize: 836016
[startup+360.029 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 6244
Raw data (stat): 6234 (java) R 6233 24300 24299 0 -1 0 18079 0 1 0 34221 43 0 0 25 0 11 0 778266464 856080384 24775 4294967295 134512640 134569956 3221224384 3221214784 1131393311 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209004 24775 13086 16 0 208988 0
vsize: 836016
[startup+370.03 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 6244
Raw data (stat): 6234 (java) R 6233 24300 24299 0 -1 0 18079 0 1 0 35172 43 0 0 25 0 11 0 778266464 856080384 24880 4294967295 134512640 134569956 3221224384 3221214784 1131393057 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209004 24880 13086 16 0 208988 0
vsize: 836016
[startup+380.03 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 6244
Raw data (stat): 6234 (java) R 6233 24300 24299 0 -1 0 18079 0 1 0 36120 43 0 0 25 0 11 0 778266464 856080384 24970 4294967295 134512640 134569956 3221224384 3221214592 1131320485 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209004 24970 13086 16 0 208988 0
vsize: 836016
[startup+390.03 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 6244
Raw data (stat): 6234 (java) R 6233 24300 24299 0 -1 0 18079 0 1 0 37078 43 0 0 25 0 11 0 778266464 856080384 25084 4294967295 134512640 134569956 3221224384 3221214732 1130885243 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209004 25084 13086 16 0 208988 0
vsize: 836016
[startup+400.03 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 6244
Raw data (stat): 6234 (java) R 6233 24300 24299 0 -1 0 18079 0 1 0 38026 43 0 0 25 0 11 0 778266464 856080384 25202 4294967295 134512640 134569956 3221224384 3221214656 1131330431 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209004 25202 13086 16 0 208988 0
vsize: 836016
[startup+410.031 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 6244
Raw data (stat): 6234 (java) R 6233 24300 24299 0 -1 0 18079 0 1 0 38986 43 0 0 25 0 11 0 778266464 856080384 25270 4294967295 134512640 134569956 3221224384 3221214664 1131294637 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209004 25270 13086 16 0 208988 0
vsize: 836016
[startup+420.031 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 6244
Raw data (stat): 6234 (java) R 6233 24300 24299 0 -1 0 18079 0 1 0 39933 43 0 0 25 0 11 0 778266464 856080384 25341 4294967295 134512640 134569956 3221224384 3221214760 1131414036 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209004 25341 13086 16 0 208988 0
vsize: 836016
[startup+430.035 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 6244
Raw data (stat): 6234 (java) S 6233 24300 24299 0 -1 0 18079 0 1 0 40883 44 0 0 25 0 11 0 778266464 856080384 25408 4294967295 134512640 134569956 3221224384 3221213400 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209004 25408 13086 16 0 208988 0
vsize: 836016
[startup+440.035 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 6244
Raw data (stat): 6234 (java) R 6233 24300 24299 0 -1 0 18079 0 1 0 41834 44 0 0 25 0 11 0 778266464 856080384 25550 4294967295 134512640 134569956 3221224384 3221214656 1131254196 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209004 25550 13086 16 0 208988 0
vsize: 836016
[startup+450.035 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 6244
Raw data (stat): 6234 (java) R 6233 24300 24299 0 -1 0 18079 0 1 0 42780 44 0 0 25 0 11 0 778266464 856080384 25683 4294967295 134512640 134569956 3221224384 3221214736 1131220616 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209004 25683 13086 16 0 208988 0
vsize: 836016
[startup+460.036 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 6244
Raw data (stat): 6234 (java) R 6233 24300 24299 0 -1 0 18079 0 1 0 43739 44 0 0 25 0 11 0 778266464 856080384 25778 4294967295 134512640 134569956 3221224384 3221214680 1131330264 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209004 25778 13086 16 0 208988 0
vsize: 836016
[startup+470.037 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 6244
Raw data (stat): 6234 (java) R 6233 24300 24299 0 -1 0 18079 0 1 0 44685 44 0 0 25 0 11 0 778266464 856080384 25866 4294967295 134512640 134569956 3221224384 3221214704 1131280641 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209004 25866 13086 16 0 208988 0
vsize: 836016
[startup+480.037 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 6244
Raw data (stat): 6234 (java) R 6233 24300 24299 0 -1 0 18079 0 1 0 45642 44 0 0 25 0 11 0 778266464 856080384 25942 4294967295 134512640 134569956 3221224384 3221214664 1131294637 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209004 25942 13086 16 0 208988 0
vsize: 836016
[startup+490.037 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 6244
Raw data (stat): 6234 (java) R 6233 24300 24299 0 -1 0 18079 0 1 0 46586 44 0 0 25 0 11 0 778266464 856080384 26075 4294967295 134512640 134569956 3221224384 3221214680 1131330970 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209004 26075 13086 16 0 208988 0
vsize: 836016
[startup+500.038 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 6244
Raw data (stat): 6234 (java) R 6233 24300 24299 0 -1 0 18079 0 1 0 47532 44 0 0 25 0 11 0 778266464 856080384 26178 4294967295 134512640 134569956 3221224384 3221214696 1131295300 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209004 26178 13086 16 0 208988 0
vsize: 836016
[startup+510.037 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 6244
Raw data (stat): 6234 (java) R 6233 24300 24299 0 -1 0 18079 0 1 0 48489 44 0 0 25 0 11 0 778266464 856080384 26264 4294967295 134512640 134569956 3221224384 3221214680 1131330115 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209004 26264 13086 16 0 208988 0
vsize: 836016
[startup+520.038 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 6244
Raw data (stat): 6234 (java) R 6233 24300 24299 0 -1 0 18079 0 1 0 49434 44 0 0 25 0 11 0 778266464 856080384 26376 4294967295 134512640 134569956 3221224384 3221214656 1131330431 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209004 26376 13086 16 0 208988 0
vsize: 836016
[startup+530.039 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 6244
Raw data (stat): 6234 (java) R 6233 24300 24299 0 -1 0 18079 0 1 0 50379 44 0 0 25 0 11 0 778266464 856080384 26495 4294967295 134512640 134569956 3221224384 3221214784 1131393079 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209004 26495 13086 16 0 208988 0
vsize: 836016
[startup+540.038 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 6244
Raw data (stat): 6234 (java) R 6233 24300 24299 0 -1 0 18079 0 1 0 51324 45 0 0 25 0 11 0 778266464 856080384 26609 4294967295 134512640 134569956 3221224384 3221214672 1131384426 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209004 26609 13086 16 0 208988 0
vsize: 836016
[startup+550.039 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 6244
Raw data (stat): 6234 (java) S 6233 24300 24299 0 -1 0 18079 0 1 0 52279 45 0 0 25 0 11 0 778266464 856080384 26711 4294967295 134512640 134569956 3221224384 3221213440 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209004 26711 13086 16 0 208988 0
vsize: 836016
[startup+560.039 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 6244
Raw data (stat): 6234 (java) R 6233 24300 24299 0 -1 0 18079 0 1 0 53225 45 0 0 25 0 11 0 778266464 856080384 26819 4294967295 134512640 134569956 3221224384 3221214784 1131393349 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209004 26819 13086 16 0 208988 0
vsize: 836016
[startup+570.04 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 6244
Raw data (stat): 6234 (java) R 6233 24300 24299 0 -1 0 18079 0 1 0 54203 45 0 0 25 0 11 0 778266464 856080384 26853 4294967295 134512640 134569956 3221224384 3221214760 1131414672 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209004 26853 13086 16 0 208988 0
vsize: 836016
[startup+580.04 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 6244
Raw data (stat): 6234 (java) R 6233 24300 24299 0 -1 0 18079 0 1 0 55181 45 0 0 25 0 11 0 778266464 856080384 26887 4294967295 134512640 134569956 3221224384 3221214484 1131246281 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209004 26887 13086 16 0 208988 0
vsize: 836016
[startup+590.04 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 6244
Raw data (stat): 6234 (java) S 6233 24300 24299 0 -1 0 18079 0 1 0 56151 45 0 0 25 0 11 0 778266464 856080384 26937 4294967295 134512640 134569956 3221224384 3221213400 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209004 26937 13086 16 0 208988 0
vsize: 836016
[startup+600.041 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 6244
Raw data (stat): 6234 (java) R 6233 24300 24299 0 -1 0 18079 0 1 0 57128 45 0 0 25 0 11 0 778266464 856080384 27007 4294967295 134512640 134569956 3221224384 3221214152 1131535151 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209004 27007 13086 16 0 208988 0
vsize: 836016
[startup+610.041 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 6244
Raw data (stat): 6234 (java) R 6233 24300 24299 0 -1 0 18079 0 1 0 58096 45 0 0 25 0 11 0 778266464 856080384 27066 4294967295 134512640 134569956 3221224384 3221214680 1131329957 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209004 27066 13086 16 0 208988 0
vsize: 836016
[startup+620.041 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 6244
Raw data (stat): 6234 (java) R 6233 24300 24299 0 -1 0 18079 0 1 0 59074 46 0 0 25 0 11 0 778266464 856080384 27102 4294967295 134512640 134569956 3221224384 3221214784 1131393339 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209004 27102 13086 16 0 208988 0
vsize: 836016
[startup+630.042 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 6244
Raw data (stat): 6234 (java) R 6233 24300 24299 0 -1 0 18079 0 1 0 60053 46 0 0 25 0 11 0 778266464 856080384 27141 4294967295 134512640 134569956 3221224384 3221214688 1131294476 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209004 27141 13086 16 0 208988 0
vsize: 836016
[startup+640.042 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 6244
Raw data (stat): 6234 (java) R 6233 24300 24299 0 -1 0 18079 0 1 0 60997 46 0 0 25 0 11 0 778266464 856080384 27238 4294967295 134512640 134569956 3221224384 3221214696 1131294634 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209004 27238 13086 16 0 208988 0
vsize: 836016
[startup+650.042 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 6244
Raw data (stat): 6234 (java) S 6233 24300 24299 0 -1 0 18079 0 1 0 61946 46 0 0 25 0 11 0 778266464 856080384 27330 4294967295 134512640 134569956 3221224384 3221213320 1073952481 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209004 27330 13086 16 0 208988 0
vsize: 836016
[startup+660.041 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 6244
Raw data (stat): 6234 (java) R 6233 24300 24299 0 -1 0 18079 0 1 0 62896 46 0 0 25 0 11 0 778266464 856080384 27440 4294967295 134512640 134569956 3221224384 3221214680 1131330929 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209004 27440 13086 16 0 208988 0
vsize: 836016
[startup+670.043 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 6244
Raw data (stat): 6234 (java) R 6233 24300 24299 0 -1 0 18079 0 1 0 63861 46 0 0 25 0 11 0 778266464 856080384 27499 4294967295 134512640 134569956 3221224384 3221214768 1131210118 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209004 27499 13086 16 0 208988 0
vsize: 836016
[startup+680.043 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 6244
Raw data (stat): 6234 (java) R 6233 24300 24299 0 -1 0 18079 0 1 0 64838 47 0 0 25 0 11 0 778266464 856080384 27532 4294967295 134512640 134569956 3221224384 3221213572 1131299344 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209004 27532 13086 16 0 208988 0
vsize: 836016
[startup+690.042 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 6244
Raw data (stat): 6234 (java) R 6233 24300 24299 0 -1 0 18079 0 1 0 65816 47 0 0 25 0 11 0 778266464 856080384 27569 4294967295 134512640 134569956 3221224384 3221214216 1131299458 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209004 27569 13086 16 0 208988 0
vsize: 836016
[startup+700.044 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 6244
Raw data (stat): 6234 (java) R 6233 24300 24299 0 -1 0 18079 0 1 0 66794 47 0 0 25 0 11 0 778266464 856080384 27598 4294967295 134512640 134569956 3221224384 3221214488 1131535017 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209004 27598 13086 16 0 208988 0
vsize: 836016
[startup+710.044 s]
Raw data (loadavg): 1.15 1.01 0.93 2/64 6297
Raw data (stat): 6234 (java) R 6233 24300 24299 0 -1 0 18079 0 1 0 67769 48 0 0 25 0 11 0 778266464 856080384 27630 4294967295 134512640 134569956 3221224384 3221213768 1131299384 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209004 27630 13086 16 0 208988 0
vsize: 836016
[startup+720.044 s]
Raw data (loadavg): 1.13 1.01 0.93 2/64 6297
Raw data (stat): 6234 (java) R 6233 24300 24299 0 -1 0 18079 0 1 0 68758 48 0 0 25 0 11 0 778266464 856080384 27647 4294967295 134512640 134569956 3221224384 3221213432 1085679473 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209004 27647 13086 16 0 208988 0
vsize: 836016
[startup+730.044 s]
Raw data (loadavg): 1.11 1.01 0.93 2/64 6297
Raw data (stat): 6234 (java) R 6233 24300 24299 0 -1 0 18079 0 1 0 69733 48 0 0 25 0 11 0 778266464 856080384 27680 4294967295 134512640 134569956 3221224384 3221213856 1131299409 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209004 27680 13086 16 0 208988 0
vsize: 836016
[startup+740.045 s]
Raw data (loadavg): 1.09 1.01 0.93 2/64 6297
Raw data (stat): 6234 (java) R 6233 24300 24299 0 -1 0 18079 0 1 0 70708 48 0 0 25 0 11 0 778266464 856080384 27723 4294967295 134512640 134569956 3221224384 3221214732 1130885147 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209004 27723 13086 16 0 208988 0
vsize: 836016
[startup+750.045 s]
Raw data (loadavg): 1.08 1.01 0.93 2/64 6297
Raw data (stat): 6234 (java) R 6233 24300 24299 0 -1 0 18079 0 1 0 71683 48 0 0 25 0 11 0 778266464 856080384 27798 4294967295 134512640 134569956 3221224384 3221213484 1131299408 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209004 27798 13086 16 0 208988 0
vsize: 836016
[startup+760.045 s]
Raw data (loadavg): 1.06 1.01 0.93 2/64 6297
Raw data (stat): 6234 (java) R 6233 24300 24299 0 -1 0 18079 0 1 0 72669 48 0 0 25 0 11 0 778266464 856080384 27825 4294967295 134512640 134569956 3221224384 3221214272 1131299418 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209004 27825 13086 16 0 208988 0
vsize: 836016
[startup+770.048 s]
Raw data (loadavg): 1.05 1.01 0.93 2/64 6297
Raw data (stat): 6234 (java) R 6233 24300 24299 0 -1 0 18079 0 1 0 73644 49 0 0 25 0 11 0 778266464 856080384 27870 4294967295 134512640 134569956 3221224384 3221213600 1085679337 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209004 27870 13086 16 0 208988 0
vsize: 836016
[startup+780.047 s]
Raw data (loadavg): 1.05 1.00 0.93 2/64 6299
Raw data (stat): 6234 (java) R 6233 24300 24299 0 -1 0 18079 0 1 0 74618 49 0 0 25 0 11 0 778266464 856080384 27914 4294967295 134512640 134569956 3221224384 3221213544 1085679284 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209004 27914 13086 16 0 208988 0
vsize: 836016
[startup+790.047 s]
Raw data (loadavg): 1.04 1.00 0.93 2/64 6299
Raw data (stat): 6234 (java) R 6233 24300 24299 0 -1 0 18079 0 1 0 75593 49 0 0 25 0 11 0 778266464 856080384 27956 4294967295 134512640 134569956 3221224384 3221214048 1131299313 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209004 27956 13086 16 0 208988 0
vsize: 836016
[startup+800.048 s]
Raw data (loadavg): 1.03 1.00 0.93 2/64 6299
Raw data (stat): 6234 (java) R 6233 24300 24299 0 -1 0 18079 0 1 0 76567 49 0 0 25 0 11 0 778266464 856080384 27992 4294967295 134512640 134569956 3221224384 3221213844 1131246281 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209004 27992 13086 16 0 208988 0
vsize: 836016
[startup+810.048 s]
Raw data (loadavg): 1.03 1.00 0.93 2/64 6299
Raw data (stat): 6234 (java) R 6233 24300 24299 0 -1 0 18079 0 1 0 77542 49 0 0 25 0 11 0 778266464 856080384 28063 4294967295 134512640 134569956 3221224384 3221214264 1131535164 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209004 28063 13086 16 0 208988 0
vsize: 836016
[startup+820.048 s]
Raw data (loadavg): 1.02 1.00 0.93 2/64 6299
Raw data (stat): 6234 (java) R 6233 24300 24299 0 -1 0 18079 0 1 0 78516 49 0 0 25 0 11 0 778266464 856080384 28115 4294967295 134512640 134569956 3221224384 3221214328 1131299332 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209004 28115 13086 16 0 208988 0
vsize: 836016
[startup+830.048 s]
Raw data (loadavg): 1.02 1.00 0.93 2/64 6299
Raw data (stat): 6234 (java) R 6233 24300 24299 0 -1 0 18079 0 1 0 79491 49 0 0 25 0 11 0 778266464 856080384 28168 4294967295 134512640 134569956 3221224384 3221214680 1131330970 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209004 28168 13086 16 0 208988 0
vsize: 836016
[startup+840.049 s]
Raw data (loadavg): 1.02 1.00 0.93 2/64 6299
Raw data (stat): 6234 (java) R 6233 24300 24299 0 -1 0 18079 0 1 0 80466 50 0 0 25 0 11 0 778266464 856080384 28224 4294967295 134512640 134569956 3221224384 3221213628 1131299408 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209004 28224 13086 16 0 208988 0
vsize: 836016
[startup+850.05 s]
Raw data (loadavg): 1.01 1.00 0.93 2/64 6299
Raw data (stat): 6234 (java) R 6233 24300 24299 0 -1 0 18079 0 1 0 81453 50 0 0 25 0 11 0 778266464 856080384 28246 4294967295 134512640 134569956 3221224384 3221214128 1085679284 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209004 28246 13086 16 0 208988 0
vsize: 836016
[startup+860.051 s]
Raw data (loadavg): 1.01 1.00 0.93 2/64 6299
Raw data (stat): 6234 (java) R 6233 24300 24299 0 -1 0 18079 0 1 0 82427 51 0 0 25 0 11 0 778266464 856080384 28298 4294967295 134512640 134569956 3221224384 3221214568 1131320485 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209004 28298 13086 16 0 208988 0
vsize: 836016
[startup+870.05 s]
Raw data (loadavg): 1.01 1.00 0.93 2/64 6299
Raw data (stat): 6234 (java) R 6233 24300 24299 0 -1 0 18079 0 1 0 83401 52 0 0 25 0 11 0 778266464 856080384 28357 4294967295 134512640 134569956 3221224384 3221214680 1131330431 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209004 28357 13086 16 0 208988 0
vsize: 836016
[startup+880.051 s]
Raw data (loadavg): 1.01 1.00 0.93 2/64 6299
Raw data (stat): 6234 (java) R 6233 24300 24299 0 -1 0 18079 0 1 0 84377 52 0 0 25 0 11 0 778266464 856080384 28395 4294967295 134512640 134569956 3221224384 3221214680 1131330932 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209004 28395 13086 16 0 208988 0
vsize: 836016
[startup+890.051 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 6299
Raw data (stat): 6234 (java) R 6233 24300 24299 0 -1 0 18079 0 1 0 85351 52 0 0 25 0 11 0 778266464 856080384 28452 4294967295 134512640 134569956 3221224384 3221214480 1131246293 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209004 28452 13086 16 0 208988 0
vsize: 836016
[startup+900.052 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 6299
Raw data (stat): 6234 (java) R 6233 24300 24299 0 -1 0 18079 0 1 0 86326 52 0 0 25 0 11 0 778266464 856080384 28513 4294967295 134512640 134569956 3221224384 3221214488 1131535112 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209004 28513 13086 16 0 208988 0
vsize: 836016
[startup+910.053 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 6299
Raw data (stat): 6234 (java) R 6233 24300 24299 0 -1 0 18079 0 1 0 87301 53 0 0 25 0 11 0 778266464 856080384 28576 4294967295 134512640 134569956 3221224384 3221214756 1131220582 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209004 28576 13086 16 0 208988 0
vsize: 836016
[startup+920.052 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 6299
Raw data (stat): 6234 (java) R 6233 24300 24299 0 -1 0 18079 0 1 0 88288 53 0 0 25 0 11 0 778266464 856080384 28576 4294967295 134512640 134569956 3221224384 3221214236 1131246272 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209004 28576 13086 16 0 208988 0
vsize: 836016
[startup+930.053 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 6299
Raw data (stat): 6234 (java) R 6233 24300 24299 0 -1 0 18079 0 1 0 89263 53 0 0 25 0 11 0 778266464 856080384 28640 4294967295 134512640 134569956 3221224384 3221214680 1131330431 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209004 28640 13086 16 0 208988 0
vsize: 836016
[startup+940.053 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 6299
Raw data (stat): 6234 (java) R 6233 24300 24299 0 -1 0 18079 0 1 0 90237 53 0 0 25 0 11 0 778266464 856080384 28686 4294967295 134512640 134569956 3221224384 3221214152 1131535151 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209004 28686 13086 16 0 208988 0
vsize: 836016
[startup+950.054 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 6299
Raw data (stat): 6234 (java) R 6233 24300 24299 0 -1 0 18079 0 1 0 91212 53 0 0 25 0 11 0 778266464 856080384 28740 4294967295 134512640 134569956 3221224384 3221214760 1131414770 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209004 28740 13086 16 0 208988 0
vsize: 836016
[startup+960.053 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 6299
Raw data (stat): 6234 (java) R 6233 24300 24299 0 -1 0 18079 0 1 0 92187 53 0 0 25 0 11 0 778266464 856080384 28767 4294967295 134512640 134569956 3221224384 3221214296 1085679454 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209004 28767 13086 16 0 208988 0
vsize: 836016
[startup+970.053 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 6299
Raw data (stat): 6234 (java) S 6233 24300 24299 0 -1 0 18079 0 1 0 93172 54 0 0 25 0 11 0 778266464 856080384 28798 4294967295 134512640 134569956 3221224384 3221213280 1073952481 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209004 28798 13086 16 0 208988 0
vsize: 836016
[startup+980.054 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 6299
Raw data (stat): 6234 (java) R 6233 24300 24299 0 -1 0 18079 0 1 0 94148 54 0 0 25 0 11 0 778266464 856080384 28859 4294967295 134512640 134569956 3221224384 3221214712 1131433884 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209004 28859 13086 16 0 208988 0
vsize: 836016
[startup+990.053 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 6299
Raw data (stat): 6234 (java) R 6233 24300 24299 0 -1 0 18079 0 1 0 95123 54 0 0 25 0 11 0 778266464 856080384 28917 4294967295 134512640 134569956 3221224384 3221214384 1131299384 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209004 28917 13086 16 0 208988 0
vsize: 836016
[startup+1000.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 6299
Raw data (stat): 6234 (java) R 6233 24300 24299 0 -1 0 18079 0 1 0 96097 54 0 0 25 0 11 0 778266464 856080384 28962 4294967295 134512640 134569956 3221224384 3221213400 1085679762 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209004 28962 13086 16 0 208988 0
vsize: 836016
[startup+1010.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 6299
Raw data (stat): 6234 (java) R 6233 24300 24299 0 -1 0 18079 0 1 0 97072 55 0 0 25 0 11 0 778266464 856080384 29011 4294967295 134512640 134569956 3221224384 3221214664 1131294305 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209004 29011 13086 16 0 208988 0
vsize: 836016
[startup+1020.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 6299
Raw data (stat): 6234 (java) S 6233 24300 24299 0 -1 0 18079 0 1 0 98049 55 0 0 25 0 11 0 778266464 856080384 29040 4294967295 134512640 134569956 3221224384 3221213424 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209004 29040 13086 16 0 208988 0
vsize: 836016
[startup+1030.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 6299
Raw data (stat): 6234 (java) R 6233 24300 24299 0 -1 0 18079 0 1 0 99035 55 0 0 25 0 11 0 778266464 856080384 29090 4294967295 134512640 134569956 3221224384 3221213624 1131562749 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209004 29090 13086 16 0 208988 0
vsize: 836016
[startup+1040.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 6299
Raw data (stat): 6234 (java) R 6233 24300 24299 0 -1 0 18079 0 1 0 100011 55 0 0 25 0 11 0 778266464 856080384 29141 4294967295 134512640 134569956 3221224384 3221213896 1085679766 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209004 29141 13086 16 0 208988 0
vsize: 836016
[startup+1050.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 6299
Raw data (stat): 6234 (java) R 6233 24300 24299 0 -1 0 18079 0 1 0 100987 55 0 0 25 0 11 0 778266464 856080384 29192 4294967295 134512640 134569956 3221224384 3221213900 1131562961 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209004 29192 13086 16 0 208988 0
vsize: 836016
[startup+1060.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 6299
Raw data (stat): 6234 (java) S 6233 24300 24299 0 -1 0 18079 0 1 0 101969 55 0 0 25 0 11 0 778266464 856080384 29217 4294967295 134512640 134569956 3221224384 3221213400 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209004 29217 13086 16 0 208988 0
vsize: 836016
[startup+1070.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 6299
Raw data (stat): 6234 (java) R 6233 24300 24299 0 -1 0 18079 0 1 0 102950 56 0 0 25 0 11 0 778266464 856080384 29264 4294967295 134512640 134569956 3221224384 3221214432 1131535136 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209004 29264 13086 16 0 208988 0
vsize: 836016
[startup+1080.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 6301
Raw data (stat): 6234 (java) R 6233 24300 24299 0 -1 0 18079 0 1 0 103926 56 0 0 25 0 11 0 778266464 856080384 29320 4294967295 134512640 134569956 3221224384 3221214128 1085679762 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209004 29320 13086 16 0 208988 0
vsize: 836016
[startup+1090.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 6301
Raw data (stat): 6234 (java) R 6233 24300 24299 0 -1 0 18079 0 1 0 104914 56 0 0 25 0 11 0 778266464 856080384 29345 4294967295 134512640 134569956 3221224384 3221214768 1131210115 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209004 29345 13086 16 0 208988 0
vsize: 836016
[startup+1100.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 6301
Raw data (stat): 6234 (java) R 6233 24300 24299 0 -1 0 18079 0 1 0 105890 56 0 0 25 0 11 0 778266464 856080384 29409 4294967295 134512640 134569956 3221224384 3221213624 1131562882 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209004 29409 13086 16 0 208988 0
vsize: 836016
[startup+1110.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 6301
Raw data (stat): 6234 (java) R 6233 24300 24299 0 -1 0 18079 0 1 0 106867 56 0 0 25 0 11 0 778266464 856080384 29450 4294967295 134512640 134569956 3221224384 3221214128 1085679492 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209004 29450 13086 16 0 208988 0
vsize: 836016
[startup+1120.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 6301
Raw data (stat): 6234 (java) R 6233 24300 24299 0 -1 0 18079 0 1 0 107854 56 0 0 25 0 11 0 778266464 856080384 29475 4294967295 134512640 134569956 3221224384 3221214488 1131535132 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209004 29475 13086 16 0 208988 0
vsize: 836016
[startup+1130.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 6301
Raw data (stat): 6234 (java) R 6233 24300 24299 0 -1 0 18079 0 1 0 108830 56 0 0 25 0 11 0 778266464 856080384 29515 4294967295 134512640 134569956 3221224384 3221213340 1131246284 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209004 29515 13086 16 0 208988 0
vsize: 836016
[startup+1140.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 6301
Raw data (stat): 6234 (java) S 6233 24300 24299 0 -1 0 18079 0 1 0 109808 56 0 0 25 0 11 0 778266464 856080384 29534 4294967295 134512640 134569956 3221224384 3221213304 1073952481 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209004 29534 13086 16 0 208988 0
vsize: 836016
[startup+1150.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 6301
Raw data (stat): 6234 (java) R 6233 24300 24299 0 -1 0 18079 0 1 0 110794 56 0 0 25 0 11 0 778266464 856080384 29572 4294967295 134512640 134569956 3221224384 3221214184 1085632284 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209004 29572 13086 16 0 208988 0
vsize: 836016
[startup+1160.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 6301
Raw data (stat): 6234 (java) R 6233 24300 24299 0 -1 0 18079 0 1 0 111770 57 0 0 25 0 11 0 778266464 856080384 29619 4294967295 134512640 134569956 3221224384 3221214680 1131329986 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209004 29619 13086 16 0 208988 0
vsize: 836016
[startup+1170.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 6301
Raw data (stat): 6234 (java) R 6233 24300 24299 0 -1 0 18079 0 1 0 112746 57 0 0 25 0 11 0 778266464 856080384 29659 4294967295 134512640 134569956 3221224384 3221214432 1131535017 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209004 29659 13086 16 0 208988 0
vsize: 836016
[startup+1180.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 6301
Raw data (stat): 6234 (java) R 6233 24300 24299 0 -1 0 18079 0 1 0 113735 57 0 0 25 0 11 0 778266464 856080384 29683 4294967295 134512640 134569956 3221224384 3221214160 1131299287 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209004 29683 13086 16 0 208988 0
vsize: 836016
[startup+1190.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 6301
Raw data (stat): 6234 (java) R 6233 24300 24299 0 -1 0 18079 0 1 0 114711 57 0 0 25 0 11 0 778266464 856080384 29718 4294967295 134512640 134569956 3221224384 3221214352 1085632301 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209004 29718 13086 16 0 208988 0
vsize: 836016
[startup+1200.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 6301
Raw data (stat): 6234 (java) R 6233 24300 24299 0 -1 0 18079 0 1 0 115699 57 0 0 25 0 11 0 778266464 856080384 29737 4294967295 134512640 134569956 3221224384 3221213904 1085679293 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209004 29737 13086 16 0 208988 0
vsize: 836016
[startup+1210.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 6301
Raw data (stat): 6234 (java) R 6233 24300 24299 0 -1 0 18079 0 1 0 116675 58 0 0 25 0 11 0 778266464 856080384 29782 4294967295 134512640 134569956 3221224384 3221214760 1131414288 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209004 29782 13086 16 0 208988 0
vsize: 836016
[startup+1220.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 6301
Raw data (stat): 6234 (java) R 6233 24300 24299 0 -1 0 18079 0 1 0 117651 58 0 0 25 0 11 0 778266464 856080384 29823 4294967295 134512640 134569956 3221224384 3221213988 1131299408 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209004 29823 13086 16 0 208988 0
vsize: 836016
[startup+1230.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 6301
Raw data (stat): 6234 (java) R 6233 24300 24299 0 -1 0 18079 0 1 0 118639 58 0 0 25 0 11 0 778266464 856080384 29848 4294967295 134512640 134569956 3221224384 3221213960 1085679762 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209004 29848 13086 16 0 208988 0
vsize: 836016
[startup+1240.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 6301
Raw data (stat): 6234 (java) R 6233 24300 24299 0 -1 0 18079 0 1 0 119615 58 0 0 25 0 11 0 778266464 856080384 29903 4294967295 134512640 134569956 3221224384 3221214440 1131299409 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209004 29903 13086 16 0 208988 0
vsize: 836016
[startup+1250.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 6301
Raw data (stat): 6234 (java) R 6233 24300 24299 0 -1 0 18079 0 1 0 120591 59 0 0 25 0 11 0 778266464 856080384 29938 4294967295 134512640 134569956 3221224384 3221213904 1085679762 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209004 29938 13086 16 0 208988 0
vsize: 836016
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1250.15 s]
Raw data (loadavg): 1.00 1.00 0.93 1/54 6303
Raw data (stat): 6234 (java) Z 6233 24300 24299 0 -1 1036 18079 10985 1 0 120595 59 4115 26 25 0 1 0 778266464 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): 1250.15
CPU time (s): 1247.97
CPU user time (s): 1247.11
CPU system time (s): 0.85287
CPU usage (%): 99.8253
Max. virtual memory (Kb): 836528
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####