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/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-pp08a.opb
MD5SUM	58b746ba9d27bca658263dee1941983b
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	3424
Biggest coefficient in the objective function	1073741824
Number of bits for the biggest coefficient in the objective function	31
Sum of the numbers in the objective function	180407058264
Number of bits of the sum of numbers in the objective function	38
Biggest number in a constraint	1073741824
Number of bits of the biggest number in a constraint	31
Biggest sum of numbers in a constraint	180407058264
Number of bits of the biggest sum of numbers	38
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.282956
Number of variables	5344
Total number of constraints	200
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	64
Number of constraints which are nor clauses,nor cardinality constraints	136
Minimum length of a constraint	1
Maximum length of a constraint	240
Trace number 29605

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc15 THE 2005-05-25 09:29:01 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=21007 boxname=wulflinc15 idbench=995 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  58b746ba9d27bca658263dee1941983b  /oldhome/oroussel/tmp/wulflinc15/normalized-mps-v2-20-10-pp08a.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc15/normalized-mps-v2-20-10-pp08a.opb
IDLAUNCH: 21007
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 450.999
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		: 450.999
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:        752088 kB
Buffers:         29068 kB
Cached:         231720 kB
SwapCached:        672 kB
Active:          55820 kB
Inactive:       207056 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        751836 kB
SwapTotal:     2097136 kB
SwapFree:      2095624 kB
Dirty:              36 kB
Writeback:           0 kB
Mapped:           5076 kB
Slab:            13820 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 09:49:44 (client local time) WITH STATUS 143 IN 1237.97 SECONDS
stats: 21007 7 1237.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/wulflinc15/normalized-mps-v2-20-10-pp08a.opb
c reading problem ... done. Time 11.643 ms.
c #vars     5344
c #constraints  200
c starts	: 7
c conflicts	: 2283
c decisions	: 11849
c propagations	: 30379
c inspects	: 1770427
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 2283
c root simplifications	: 7
s UNKNOWN
c Total CPU time (ms) : 1239.164
#### 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.85 0.97 0.99 2/54 7018
Raw data (stat): 7018 (runsolver) R 7017 23514 23513 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 779576377 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.0004 s]
Raw data (loadavg): 1.02 1.00 1.00 3/63 7027
Raw data (stat): 7018 (java) R 7017 23514 23513 0 -1 0 18017 0 1 0 831 41 0 0 25 0 10 0 779576377 856899584 20081 4294967295 134512640 134569956 3221224368 3221214408 1074489757 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209204 20081 13086 16 0 209188 0
vsize: 836816
[startup+20.0015 s]
Raw data (loadavg): 1.17 1.03 1.01 2/64 7028
Raw data (stat): 7018 (java) R 7017 23514 23513 0 -1 0 18069 0 1 0 1669 41 0 0 25 0 11 0 779576377 858861568 21671 4294967295 134512640 134569956 3221224368 3221214600 1131426051 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209683 21671 13086 16 0 209667 0
vsize: 838732
[startup+30.0023 s]
Raw data (loadavg): 1.14 1.03 1.01 2/64 7028
Raw data (stat): 7018 (java) R 7017 23514 23513 0 -1 0 18071 0 1 0 2588 42 0 0 25 0 11 0 779576377 856985600 21445 4294967295 134512640 134569956 3221224368 3221214520 1131437170 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209225 21445 13086 16 0 209209 0
vsize: 836900
[startup+40.0018 s]
Raw data (loadavg): 1.12 1.03 1.01 2/64 7028
Raw data (stat): 7018 (java) R 7017 23514 23513 0 -1 0 18071 0 1 0 3516 42 0 0 25 0 11 0 779576377 856985600 21894 4294967295 134512640 134569956 3221224368 3221214512 1131339508 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209225 21894 13086 16 0 209209 0
vsize: 836900
[startup+50.0058 s]
Raw data (loadavg): 1.17 1.04 1.01 2/64 7028
Raw data (stat): 7018 (java) R 7017 23514 23513 0 -1 0 18071 0 1 0 4463 43 0 0 25 0 11 0 779576377 856985600 21967 4294967295 134512640 134569956 3221224368 3221214520 1131437147 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209225 21967 13086 16 0 209209 0
vsize: 836900
[startup+60.0061 s]
Raw data (loadavg): 1.15 1.04 1.01 2/64 7028
Raw data (stat): 7018 (java) R 7017 23514 23513 0 -1 0 18071 0 1 0 5403 43 0 0 25 0 11 0 779576377 856985600 22930 4294967295 134512640 134569956 3221224368 3221214600 1131425856 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209225 22930 13086 16 0 209209 0
vsize: 836900
[startup+70.0127 s]
Raw data (loadavg): 1.12 1.04 1.01 2/64 7028
Raw data (stat): 7018 (java) R 7017 23514 23513 0 -1 0 18071 0 1 0 6362 43 0 0 25 0 11 0 779576377 856985600 23650 4294967295 134512640 134569956 3221224368 3221214600 1131425634 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209225 23650 13086 16 0 209209 0
vsize: 836900
[startup+80.0201 s]
Raw data (loadavg): 1.10 1.04 1.01 2/64 7028
Raw data (stat): 7018 (java) R 7017 23514 23513 0 -1 0 18071 0 1 0 7315 44 0 0 25 0 11 0 779576377 856985600 24284 4294967295 134512640 134569956 3221224368 3221214616 1131371676 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209225 24284 13086 16 0 209209 0
vsize: 836900
[startup+90.02 s]
Raw data (loadavg): 1.09 1.04 1.01 2/64 7028
Raw data (stat): 7018 (java) R 7017 23514 23513 0 -1 0 18071 0 1 0 8262 44 0 0 25 0 11 0 779576377 856985600 24598 4294967295 134512640 134569956 3221224368 3221214504 1131425400 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209225 24598 13086 16 0 209209 0
vsize: 836900
[startup+100.021 s]
Raw data (loadavg): 1.07 1.03 1.01 2/64 7028
Raw data (stat): 7018 (java) R 7017 23514 23513 0 -1 0 18071 0 1 0 9209 44 0 0 25 0 11 0 779576377 856985600 24742 4294967295 134512640 134569956 3221224368 3221214616 1131366919 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209225 24742 13086 16 0 209209 0
vsize: 836900
[startup+110.022 s]
Raw data (loadavg): 1.06 1.03 1.01 2/64 7028
Raw data (stat): 7018 (java) R 7017 23514 23513 0 -1 0 18071 0 1 0 10159 44 0 0 25 0 11 0 779576377 856985600 24863 4294967295 134512640 134569956 3221224368 3221214536 1131351012 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209225 24863 13086 16 0 209209 0
vsize: 836900
[startup+120.023 s]
Raw data (loadavg): 1.05 1.03 1.01 2/64 7028
Raw data (stat): 7018 (java) R 7017 23514 23513 0 -1 0 18071 0 1 0 11098 45 0 0 25 0 11 0 779576377 856985600 24985 4294967295 134512640 134569956 3221224368 3221214504 1131425550 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209225 24985 13086 16 0 209209 0
vsize: 836900
[startup+130.024 s]
Raw data (loadavg): 1.04 1.03 1.00 2/64 7028
Raw data (stat): 7018 (java) R 7017 23514 23513 0 -1 0 18071 0 1 0 12045 45 0 0 25 0 11 0 779576377 856985600 25239 4294967295 134512640 134569956 3221224368 3221214400 1131328204 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209225 25239 13086 16 0 209209 0
vsize: 836900
[startup+140.025 s]
Raw data (loadavg): 1.04 1.03 1.00 2/64 7028
Raw data (stat): 7018 (java) R 7017 23514 23513 0 -1 0 18071 0 1 0 12987 45 0 0 25 0 11 0 779576377 856985600 25474 4294967295 134512640 134569956 3221224368 3221214408 1131327907 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209225 25474 13086 16 0 209209 0
vsize: 836900
[startup+150.025 s]
Raw data (loadavg): 1.03 1.03 1.00 2/64 7028
Raw data (stat): 7018 (java) R 7017 23514 23513 0 -1 0 18071 0 1 0 13932 45 0 0 25 0 11 0 779576377 856985600 25642 4294967295 134512640 134569956 3221224368 3221214536 1131351495 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209225 25642 13086 16 0 209209 0
vsize: 836900
[startup+160.025 s]
Raw data (loadavg): 1.02 1.03 1.00 2/64 7028
Raw data (stat): 7018 (java) R 7017 23514 23513 0 -1 0 18071 0 1 0 14872 46 0 0 25 0 11 0 779576377 856985600 25844 4294967295 134512640 134569956 3221224368 3221214512 1131410706 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209225 25844 13086 16 0 209209 0
vsize: 836900
[startup+170.026 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 7028
Raw data (stat): 7018 (java) R 7017 23514 23513 0 -1 0 18071 0 1 0 15824 47 0 0 25 0 11 0 779576377 856985600 26084 4294967295 134512640 134569956 3221224368 3221214424 1131436352 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209225 26084 13086 16 0 209209 0
vsize: 836900
[startup+180.026 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 7028
Raw data (stat): 7018 (java) R 7017 23514 23513 0 -1 0 18071 0 1 0 16793 47 0 0 25 0 11 0 779576377 856985600 26275 4294967295 134512640 134569956 3221224368 3221214504 1131425772 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209225 26275 13086 16 0 209209 0
vsize: 836900
[startup+190.028 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 7028
Raw data (stat): 7018 (java) R 7017 23514 23513 0 -1 0 18071 0 1 0 17768 47 0 0 25 0 11 0 779576377 856985600 26372 4294967295 134512640 134569956 3221224368 3221214616 1131450528 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209225 26372 13086 16 0 209209 0
vsize: 836900
[startup+200.029 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 7028
Raw data (stat): 7018 (java) R 7017 23514 23513 0 -1 0 18071 0 1 0 18742 47 0 0 25 0 11 0 779576377 856985600 26409 4294967295 134512640 134569956 3221224368 3221214144 1080217185 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209225 26409 13086 16 0 209209 0
vsize: 836900
[startup+210.029 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 7028
Raw data (stat): 7018 (java) R 7017 23514 23513 0 -1 0 18071 0 1 0 19715 48 0 0 25 0 11 0 779576377 856985600 26490 4294967295 134512640 134569956 3221224368 3221214616 1131368640 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209225 26490 13086 16 0 209209 0
vsize: 836900
[startup+220.03 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 7028
Raw data (stat): 7018 (java) R 7017 23514 23513 0 -1 0 18071 0 1 0 20689 49 0 0 25 0 11 0 779576377 856985600 26558 4294967295 134512640 134569956 3221224368 3221214408 1131328264 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209225 26558 13086 16 0 209209 0
vsize: 836900
[startup+230.03 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 7028
Raw data (stat): 7018 (java) S 7017 23514 23513 0 -1 0 18071 0 1 0 21661 49 0 0 25 0 11 0 779576377 856985600 26627 4294967295 134512640 134569956 3221224368 3221213360 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209225 26627 13086 16 0 209209 0
vsize: 836900
[startup+240.03 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 7028
Raw data (stat): 7018 (java) R 7017 23514 23513 0 -1 0 18071 0 1 0 22628 49 0 0 25 0 11 0 779576377 856985600 26695 4294967295 134512640 134569956 3221224368 3221214504 1131426059 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209225 26695 13086 16 0 209209 0
vsize: 836900
[startup+250.047 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 7028
Raw data (stat): 7018 (java) R 7017 23514 23513 0 -1 0 18071 0 1 0 23597 50 0 0 25 0 11 0 779576377 856985600 26759 4294967295 134512640 134569956 3221224368 3221214536 1131351231 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209225 26759 13086 16 0 209209 0
vsize: 836900
[startup+260.057 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 7028
Raw data (stat): 7018 (java) R 7017 23514 23513 0 -1 0 18071 0 1 0 24562 50 0 0 24 0 11 0 779576377 856985600 26868 4294967295 134512640 134569956 3221224368 3221214616 1131368617 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209225 26868 13086 16 0 209209 0
vsize: 836900
[startup+270.057 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 7028
Raw data (stat): 7018 (java) R 7017 23514 23513 0 -1 0 18071 0 1 0 25534 51 0 0 25 0 11 0 779576377 856985600 26970 4294967295 134512640 134569956 3221224368 3221214616 1131368204 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209225 26970 13086 16 0 209209 0
vsize: 836900
[startup+280.057 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 7028
Raw data (stat): 7018 (java) R 7017 23514 23513 0 -1 0 18071 0 1 0 26507 51 0 0 25 0 11 0 779576377 856985600 27066 4294967295 134512640 134569956 3221224368 3221214504 1131426190 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209225 27066 13086 16 0 209209 0
vsize: 836900
[startup+290.058 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 7028
Raw data (stat): 7018 (java) R 7017 23514 23513 0 -1 0 18071 0 1 0 27480 52 0 0 25 0 11 0 779576377 856985600 27115 4294967295 134512640 134569956 3221224368 3221214536 1131351759 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209225 27115 13086 16 0 209209 0
vsize: 836900
[startup+300.058 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 7028
Raw data (stat): 7018 (java) R 7017 23514 23513 0 -1 0 18071 0 1 0 28444 52 0 0 25 0 11 0 779576377 856985600 27199 4294967295 134512640 134569956 3221224368 3221214536 1131351131 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209225 27199 13086 16 0 209209 0
vsize: 836900
[startup+310.059 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 7028
Raw data (stat): 7018 (java) R 7017 23514 23513 0 -1 0 18071 0 1 0 29413 52 0 0 25 0 11 0 779576377 856985600 27281 4294967295 134512640 134569956 3221224368 3221214536 1131351866 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209225 27281 13086 16 0 209209 0
vsize: 836900
[startup+320.06 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 7028
Raw data (stat): 7018 (java) R 7017 23514 23513 0 -1 0 18071 0 1 0 30378 52 0 0 25 0 11 0 779576377 856985600 27366 4294967295 134512640 134569956 3221224368 3221214616 1131372866 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209225 27366 13086 16 0 209209 0
vsize: 836900
[startup+330.06 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 7028
Raw data (stat): 7018 (java) R 7017 23514 23513 0 -1 0 18071 0 1 0 31341 53 0 0 25 0 11 0 779576377 856985600 27444 4294967295 134512640 134569956 3221224368 3221214616 1131372464 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209225 27444 13086 16 0 209209 0
vsize: 836900
[startup+340.06 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 7028
Raw data (stat): 7018 (java) R 7017 23514 23513 0 -1 0 18071 0 1 0 32304 53 0 0 25 0 11 0 779576377 856985600 27544 4294967295 134512640 134569956 3221224368 3221214536 1131350991 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209225 27544 13086 16 0 209209 0
vsize: 836900
[startup+350.061 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 7028
Raw data (stat): 7018 (java) R 7017 23514 23513 0 -1 0 18071 0 1 0 33273 54 0 0 25 0 11 0 779576377 856985600 27634 4294967295 134512640 134569956 3221224368 3221214536 1131351225 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209225 27634 13086 16 0 209209 0
vsize: 836900
[startup+360.061 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 7028
Raw data (stat): 7018 (java) R 7017 23514 23513 0 -1 0 18071 0 1 0 34241 54 0 0 25 0 11 0 779576377 856985600 27725 4294967295 134512640 134569956 3221224368 3221214504 1131347188 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209225 27725 13086 16 0 209209 0
vsize: 836900
[startup+370.062 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 7028
Raw data (stat): 7018 (java) R 7017 23514 23513 0 -1 0 18071 0 1 0 35208 55 0 0 25 0 11 0 779576377 856985600 27820 4294967295 134512640 134569956 3221224368 3221214536 1131351239 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209225 27820 13086 16 0 209209 0
vsize: 836900
[startup+380.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7028
Raw data (stat): 7018 (java) R 7017 23514 23513 0 -1 0 18071 0 1 0 36179 56 0 0 25 0 11 0 779576377 856985600 27896 4294967295 134512640 134569956 3221224368 3221214536 1131351089 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209225 27896 13086 16 0 209209 0
vsize: 836900
[startup+390.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7028
Raw data (stat): 7018 (java) R 7017 23514 23513 0 -1 0 18071 0 1 0 37145 56 0 0 25 0 11 0 779576377 856985600 28002 4294967295 134512640 134569956 3221224368 3221214480 1131561040 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209225 28002 13086 16 0 209209 0
vsize: 836900
[startup+400.064 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7028
Raw data (stat): 7018 (java) R 7017 23514 23513 0 -1 0 18071 0 1 0 38117 57 0 0 25 0 11 0 779576377 856985600 28072 4294967295 134512640 134569956 3221224368 3221214536 1131351089 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209225 28072 13086 16 0 209209 0
vsize: 836900
[startup+410.065 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7028
Raw data (stat): 7018 (java) R 7017 23514 23513 0 -1 0 18071 0 1 0 39095 57 0 0 25 0 11 0 779576377 856985600 28179 4294967295 134512640 134569956 3221224368 3221214536 1131351155 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209225 28179 13086 16 0 209209 0
vsize: 836900
[startup+420.064 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7028
Raw data (stat): 7018 (java) R 7017 23514 23513 0 -1 0 18071 0 1 0 40082 57 0 0 25 0 11 0 779576377 856985600 28228 4294967295 134512640 134569956 3221224368 3221214616 1131367719 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209225 28228 13086 16 0 209209 0
vsize: 836900
[startup+430.066 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7028
Raw data (stat): 7018 (java) R 7017 23514 23513 0 -1 0 18071 0 1 0 41065 58 0 0 25 0 11 0 779576377 856985600 28248 4294967295 134512640 134569956 3221224368 3221214536 1131351031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209225 28248 13086 16 0 209209 0
vsize: 836900
[startup+440.066 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7028
Raw data (stat): 7018 (java) R 7017 23514 23513 0 -1 0 18071 0 1 0 42050 58 0 0 25 0 11 0 779576377 856985600 28268 4294967295 134512640 134569956 3221224368 3221214536 1131351089 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209225 28268 13086 16 0 209209 0
vsize: 836900
[startup+450.067 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7028
Raw data (stat): 7018 (java) R 7017 23514 23513 0 -1 0 18071 0 1 0 43033 59 0 0 25 0 11 0 779576377 856985600 28286 4294967295 134512640 134569956 3221224368 3221214536 1131351803 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209225 28286 13086 16 0 209209 0
vsize: 836900
[startup+460.068 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7028
Raw data (stat): 7018 (java) R 7017 23514 23513 0 -1 0 18071 0 1 0 44015 60 0 0 25 0 11 0 779576377 856985600 28344 4294967295 134512640 134569956 3221224368 3221214536 1131351198 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209225 28344 13086 16 0 209209 0
vsize: 836900
[startup+470.068 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7028
Raw data (stat): 7018 (java) R 7017 23514 23513 0 -1 0 18071 0 1 0 45000 60 0 0 25 0 11 0 779576377 856985600 28354 4294967295 134512640 134569956 3221224368 3221214616 1131368938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209225 28354 13086 16 0 209209 0
vsize: 836900
[startup+480.068 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7028
Raw data (stat): 7018 (java) R 7017 23514 23513 0 -1 0 18071 0 1 0 45982 61 0 0 25 0 11 0 779576377 856985600 28404 4294967295 134512640 134569956 3221224368 3221214536 1131352506 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209225 28404 13086 16 0 209209 0
vsize: 836900
[startup+490.069 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7028
Raw data (stat): 7018 (java) R 7017 23514 23513 0 -1 0 18071 0 1 0 46966 61 0 0 25 0 11 0 779576377 856985600 28428 4294967295 134512640 134569956 3221224368 3221214536 1131351033 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209225 28428 13086 16 0 209209 0
vsize: 836900
[startup+500.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7028
Raw data (stat): 7018 (java) R 7017 23514 23513 0 -1 0 18071 0 1 0 47949 62 0 0 25 0 11 0 779576377 856985600 28444 4294967295 134512640 134569956 3221224368 3221214504 1131347329 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209225 28444 13086 16 0 209209 0
vsize: 836900
[startup+510.071 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7028
Raw data (stat): 7018 (java) R 7017 23514 23513 0 -1 0 18071 0 1 0 48934 63 0 0 25 0 11 0 779576377 856985600 28493 4294967295 134512640 134569956 3221224368 3221214608 1131234727 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209225 28493 13086 16 0 209209 0
vsize: 836900
[startup+520.071 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7028
Raw data (stat): 7018 (java) R 7017 23514 23513 0 -1 0 18071 0 1 0 49918 63 0 0 25 0 11 0 779576377 856985600 28506 4294967295 134512640 134569956 3221224368 3221214616 1131368981 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209225 28506 13086 16 0 209209 0
vsize: 836900
[startup+530.072 s]
Raw data (loadavg): 1.07 1.02 1.00 2/64 7028
Raw data (stat): 7018 (java) R 7017 23514 23513 0 -1 0 18071 0 1 0 50900 63 0 0 25 0 11 0 779576377 856985600 28562 4294967295 134512640 134569956 3221224368 3221214536 1131351495 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209225 28562 13086 16 0 209209 0
vsize: 836900
[startup+540.071 s]
Raw data (loadavg): 1.06 1.02 1.00 2/64 7028
Raw data (stat): 7018 (java) R 7017 23514 23513 0 -1 0 18071 0 1 0 51884 64 0 0 25 0 11 0 779576377 856985600 28571 4294967295 134512640 134569956 3221224368 3221214504 1131425885 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209225 28571 13086 16 0 209209 0
vsize: 836900
[startup+550.073 s]
Raw data (loadavg): 1.05 1.01 1.00 2/64 7028
Raw data (stat): 7018 (java) R 7017 23514 23513 0 -1 0 18071 0 1 0 52866 64 0 0 25 0 11 0 779576377 856985600 28614 4294967295 134512640 134569956 3221224368 3221214616 1131372024 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209225 28614 13086 16 0 209209 0
vsize: 836900
[startup+560.073 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 7028
Raw data (stat): 7018 (java) R 7017 23514 23513 0 -1 0 18071 0 1 0 53844 65 0 0 25 0 11 0 779576377 856985600 28637 4294967295 134512640 134569956 3221224368 3221214612 1131352749 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209225 28637 13086 16 0 209209 0
vsize: 836900
[startup+570.074 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 7028
Raw data (stat): 7018 (java) R 7017 23514 23513 0 -1 0 18071 0 1 0 54820 65 0 0 25 0 11 0 779576377 856985600 28669 4294967295 134512640 134569956 3221224368 3221214400 1131328256 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209225 28669 13086 16 0 209209 0
vsize: 836900
[startup+580.074 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 7028
Raw data (stat): 7018 (java) R 7017 23514 23513 0 -1 0 18071 0 1 0 55794 66 0 0 25 0 11 0 779576377 856985600 28709 4294967295 134512640 134569956 3221224368 3221214504 1131425808 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209225 28709 13086 16 0 209209 0
vsize: 836900
[startup+590.074 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 7028
Raw data (stat): 7018 (java) R 7017 23514 23513 0 -1 0 18071 0 1 0 56767 66 0 0 25 0 11 0 779576377 856985600 28823 4294967295 134512640 134569956 3221224368 3221214536 1131351060 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209225 28823 13086 16 0 209209 0
vsize: 836900
[startup+600.075 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 7028
Raw data (stat): 7018 (java) R 7017 23514 23513 0 -1 0 18071 0 1 0 57743 67 0 0 25 0 11 0 779576377 856985600 28854 4294967295 134512640 134569956 3221224368 3221214032 1131556881 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209225 28854 13086 16 0 209209 0
vsize: 836900
[startup+610.076 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 7028
Raw data (stat): 7018 (java) R 7017 23514 23513 0 -1 0 18071 0 1 0 58716 67 0 0 24 0 11 0 779576377 856985600 28903 4294967295 134512640 134569956 3221224368 3221214360 1085679293 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209225 28903 13086 16 0 209209 0
vsize: 836900
[startup+620.075 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 7028
Raw data (stat): 7018 (java) S 7017 23514 23513 0 -1 0 18071 0 1 0 59693 68 0 0 25 0 11 0 779576377 856985600 28956 4294967295 134512640 134569956 3221224368 3221213360 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209225 28956 13086 16 0 209209 0
vsize: 836900
[startup+630.076 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 7028
Raw data (stat): 7018 (java) R 7017 23514 23513 0 -1 0 18071 0 1 0 60668 68 0 0 25 0 11 0 779576377 856985600 29027 4294967295 134512640 134569956 3221224368 3221214616 1131369886 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209225 29027 13086 16 0 209209 0
vsize: 836900
[startup+640.077 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 7028
Raw data (stat): 7018 (java) R 7017 23514 23513 0 -1 0 18071 0 1 0 61644 69 0 0 25 0 11 0 779576377 856985600 29102 4294967295 134512640 134569956 3221224368 3221214536 1131351871 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209225 29102 13086 16 0 209209 0
vsize: 836900
[startup+650.078 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 7028
Raw data (stat): 7018 (java) R 7017 23514 23513 0 -1 0 18071 0 1 0 62621 69 0 0 25 0 11 0 779576377 856985600 29133 4294967295 134512640 134569956 3221224368 3221214536 1131351271 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209225 29133 13086 16 0 209209 0
vsize: 836900
[startup+660.078 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 7028
Raw data (stat): 7018 (java) R 7017 23514 23513 0 -1 0 18071 0 1 0 63595 69 0 0 25 0 11 0 779576377 856985600 29187 4294967295 134512640 134569956 3221224368 3221214536 1131351089 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209225 29187 13086 16 0 209209 0
vsize: 836900
[startup+670.078 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7028
Raw data (stat): 7018 (java) R 7017 23514 23513 0 -1 0 18071 0 1 0 64569 69 0 0 25 0 11 0 779576377 856985600 29245 4294967295 134512640 134569956 3221224368 3221214616 1131372600 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209225 29245 13086 16 0 209209 0
vsize: 836900
[startup+680.085 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7028
Raw data (stat): 7018 (java) S 7017 23514 23513 0 -1 0 18071 0 1 0 65544 70 0 0 25 0 11 0 779576377 856985600 29298 4294967295 134512640 134569956 3221224368 3221213240 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209225 29298 13086 16 0 209209 0
vsize: 836900
[startup+690.086 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7028
Raw data (stat): 7018 (java) R 7017 23514 23513 0 -1 0 18071 0 1 0 66519 70 0 0 25 0 11 0 779576377 856985600 29377 4294967295 134512640 134569956 3221224368 3221214148 1080217184 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209225 29377 13086 16 0 209209 0
vsize: 836900
[startup+700.087 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7028
Raw data (stat): 7018 (java) R 7017 23514 23513 0 -1 0 18071 0 1 0 67493 71 0 0 25 0 11 0 779576377 856985600 29419 4294967295 134512640 134569956 3221224368 3221214408 1131327568 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209225 29419 13086 16 0 209209 0
vsize: 836900
[startup+710.088 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7028
Raw data (stat): 7018 (java) R 7017 23514 23513 0 -1 0 18071 0 1 0 68464 71 0 0 25 0 11 0 779576377 856985600 29478 4294967295 134512640 134569956 3221224368 3221213712 1131282369 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209225 29478 13086 16 0 209209 0
vsize: 836900
[startup+720.087 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7028
Raw data (stat): 7018 (java) R 7017 23514 23513 0 -1 0 18071 0 1 0 69437 72 0 0 25 0 11 0 779576377 856985600 29542 4294967295 134512640 134569956 3221224368 3221214616 1131367729 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209225 29542 13086 16 0 209209 0
vsize: 836900
[startup+730.088 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7028
Raw data (stat): 7018 (java) R 7017 23514 23513 0 -1 0 18071 0 1 0 70407 72 0 0 25 0 11 0 779576377 856985600 29614 4294967295 134512640 134569956 3221224368 3221214616 1131366847 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209225 29614 13086 16 0 209209 0
vsize: 836900
[startup+740.088 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7028
Raw data (stat): 7018 (java) R 7017 23514 23513 0 -1 0 18071 0 1 0 71377 73 0 0 25 0 11 0 779576377 856985600 29691 4294967295 134512640 134569956 3221224368 3221214536 1131350991 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209225 29691 13086 16 0 209209 0
vsize: 836900
[startup+750.089 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7028
Raw data (stat): 7018 (java) R 7017 23514 23513 0 -1 0 18071 0 1 0 72348 73 0 0 25 0 11 0 779576377 856985600 29760 4294967295 134512640 134569956 3221224368 3221214536 1131351089 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209225 29760 13086 16 0 209209 0
vsize: 836900
[startup+760.089 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7028
Raw data (stat): 7018 (java) R 7017 23514 23513 0 -1 0 18071 0 1 0 73316 74 0 0 24 0 11 0 779576377 856985600 29828 4294967295 134512640 134569956 3221224368 3221214616 1131371912 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209225 29828 13086 16 0 209209 0
vsize: 836900
[startup+770.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7028
Raw data (stat): 7018 (java) R 7017 23514 23513 0 -1 0 18071 0 1 0 74289 74 0 0 25 0 11 0 779576377 856985600 29894 4294967295 134512640 134569956 3221224368 3221214536 1131351060 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209225 29894 13086 16 0 209209 0
vsize: 836900
[startup+780.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7028
Raw data (stat): 7018 (java) R 7017 23514 23513 0 -1 0 18071 0 1 0 75261 74 0 0 25 0 11 0 779576377 856985600 29968 4294967295 134512640 134569956 3221224368 3221214504 1131425637 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209225 29968 13086 16 0 209209 0
vsize: 836900
[startup+790.091 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7028
Raw data (stat): 7018 (java) R 7017 23514 23513 0 -1 0 18071 0 1 0 76229 75 0 0 25 0 11 0 779576377 856985600 30016 4294967295 134512640 134569956 3221224368 3221214536 1131351204 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209225 30016 13086 16 0 209209 0
vsize: 836900
[startup+800.091 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7028
Raw data (stat): 7018 (java) R 7017 23514 23513 0 -1 0 18071 0 1 0 77196 75 0 0 25 0 11 0 779576377 856985600 30067 4294967295 134512640 134569956 3221224368 3221214616 1131366641 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209225 30067 13086 16 0 209209 0
vsize: 836900
[startup+810.092 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7028
Raw data (stat): 7018 (java) R 7017 23514 23513 0 -1 0 18071 0 1 0 78160 75 0 0 25 0 11 0 779576377 856985600 30159 4294967295 134512640 134569956 3221224368 3221214616 1131372600 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209225 30159 13086 16 0 209209 0
vsize: 836900
[startup+820.092 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7028
Raw data (stat): 7018 (java) R 7017 23514 23513 0 -1 0 18071 0 1 0 79126 76 0 0 25 0 11 0 779576377 856985600 30226 4294967295 134512640 134569956 3221224368 3221214536 1131352413 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209225 30226 13086 16 0 209209 0
vsize: 836900
[startup+830.093 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7028
Raw data (stat): 7018 (java) R 7017 23514 23513 0 -1 0 18071 0 1 0 80094 76 0 0 25 0 11 0 779576377 856985600 30307 4294967295 134512640 134569956 3221224368 3221214556 1130885144 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209225 30307 13086 16 0 209209 0
vsize: 836900
[startup+840.093 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7028
Raw data (stat): 7018 (java) R 7017 23514 23513 0 -1 0 18071 0 1 0 81057 77 0 0 25 0 11 0 779576377 856985600 30408 4294967295 134512640 134569956 3221224368 3221214536 1131351237 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209225 30408 13086 16 0 209209 0
vsize: 836900
[startup+850.095 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7028
Raw data (stat): 7018 (java) R 7017 23514 23513 0 -1 0 18071 0 1 0 82028 77 0 0 25 0 11 0 779576377 856985600 30490 4294967295 134512640 134569956 3221224368 3221214536 1131351833 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209225 30490 13086 16 0 209209 0
vsize: 836900
[startup+860.095 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7028
Raw data (stat): 7018 (java) R 7017 23514 23513 0 -1 0 18071 0 1 0 82995 77 0 0 24 0 11 0 779576377 856985600 30555 4294967295 134512640 134569956 3221224368 3221214616 1131366847 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209225 30555 13086 16 0 209209 0
vsize: 836900
[startup+870.095 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7028
Raw data (stat): 7018 (java) R 7017 23514 23513 0 -1 0 18071 0 1 0 83966 78 0 0 25 0 11 0 779576377 856985600 30629 4294967295 134512640 134569956 3221224368 3221214608 1131234735 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209225 30629 13086 16 0 209209 0
vsize: 836900
[startup+880.096 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7028
Raw data (stat): 7018 (java) R 7017 23514 23513 0 -1 0 18071 0 1 0 84933 78 0 0 24 0 11 0 779576377 856985600 30708 4294967295 134512640 134569956 3221224368 3221214584 1131425579 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209225 30708 13086 16 0 209209 0
vsize: 836900
[startup+890.096 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7028
Raw data (stat): 7018 (java) R 7017 23514 23513 0 -1 0 18071 0 1 0 85895 79 0 0 25 0 11 0 779576377 856985600 30756 4294967295 134512640 134569956 3221224368 3221214528 1131219840 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209225 30756 13086 16 0 209209 0
vsize: 836900
[startup+900.096 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7028
Raw data (stat): 7018 (java) R 7017 23514 23513 0 -1 0 18071 0 1 0 86848 79 0 0 25 0 11 0 779576377 856985600 30819 4294967295 134512640 134569956 3221224368 3221214616 1131366854 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209225 30819 13086 16 0 209209 0
vsize: 836900
[startup+910.098 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7028
Raw data (stat): 7018 (java) R 7017 23514 23513 0 -1 0 18071 0 1 0 87805 80 0 0 25 0 11 0 779576377 856985600 30895 4294967295 134512640 134569956 3221224368 3221214616 1131372835 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209225 30895 13086 16 0 209209 0
vsize: 836900
[startup+920.098 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7028
Raw data (stat): 7018 (java) R 7017 23514 23513 0 -1 0 18071 0 1 0 88774 80 0 0 25 0 11 0 779576377 856985600 31129 4294967295 134512640 134569956 3221224368 3221214616 1131368748 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209225 31129 13086 16 0 209209 0
vsize: 836900
[startup+930.098 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7028
Raw data (stat): 7018 (java) R 7017 23514 23513 0 -1 0 18071 0 1 0 89756 81 0 0 25 0 11 0 779576377 856985600 31145 4294967295 134512640 134569956 3221224368 3221214536 1131350961 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209225 31145 13086 16 0 209209 0
vsize: 836900
[startup+940.099 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7028
Raw data (stat): 7018 (java) R 7017 23514 23513 0 -1 0 18071 0 1 0 90737 81 0 0 25 0 11 0 779576377 856985600 31168 4294967295 134512640 134569956 3221224368 3221214360 1085679267 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209225 31168 13086 16 0 209209 0
vsize: 836900
[startup+950.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7028
Raw data (stat): 7018 (java) R 7017 23514 23513 0 -1 0 18071 0 1 0 91718 82 0 0 25 0 11 0 779576377 856985600 31191 4294967295 134512640 134569956 3221224368 3221214616 1131366847 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209225 31191 13086 16 0 209209 0
vsize: 836900
[startup+960.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7028
Raw data (stat): 7018 (java) R 7017 23514 23513 0 -1 0 18071 0 1 0 92697 83 0 0 25 0 11 0 779576377 856985600 31213 4294967295 134512640 134569956 3221224368 3221214808 1131359859 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209225 31213 13086 16 0 209209 0
vsize: 836900
[startup+970.101 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7028
Raw data (stat): 7018 (java) R 7017 23514 23513 0 -1 0 18071 0 1 0 93679 83 0 0 25 0 11 0 779576377 856985600 31237 4294967295 134512640 134569956 3221224368 3221214616 1131366919 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209225 31237 13086 16 0 209209 0
vsize: 836900
[startup+980.102 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7028
Raw data (stat): 7018 (java) R 7017 23514 23513 0 -1 0 18071 0 1 0 94658 84 0 0 25 0 11 0 779576377 856985600 31252 4294967295 134512640 134569956 3221224368 3221214616 1131368640 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209225 31252 13086 16 0 209209 0
vsize: 836900
[startup+990.102 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7028
Raw data (stat): 7018 (java) R 7017 23514 23513 0 -1 0 18071 0 1 0 95638 85 0 0 25 0 11 0 779576377 856985600 31282 4294967295 134512640 134569956 3221224368 3221214612 1131352749 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209225 31282 13086 16 0 209209 0
vsize: 836900
[startup+1000.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7028
Raw data (stat): 7018 (java) R 7017 23514 23513 0 -1 0 18071 0 1 0 96618 86 0 0 25 0 11 0 779576377 856985600 31314 4294967295 134512640 134569956 3221224368 3221214536 1131351536 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209225 31314 13086 16 0 209209 0
vsize: 836900
[startup+1010.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7028
Raw data (stat): 7018 (java) R 7017 23514 23513 0 -1 0 18071 0 1 0 97600 87 0 0 25 0 11 0 779576377 856985600 31334 4294967295 134512640 134569956 3221224368 3221214612 1131334035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209225 31334 13086 16 0 209209 0
vsize: 836900
[startup+1020.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7028
Raw data (stat): 7018 (java) R 7017 23514 23513 0 -1 0 18071 0 1 0 98580 87 0 0 25 0 11 0 779576377 856985600 31363 4294967295 134512640 134569956 3221224368 3221214020 1085616768 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209225 31363 13086 16 0 209209 0
vsize: 836900
[startup+1030.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7028
Raw data (stat): 7018 (java) R 7017 23514 23513 0 -1 0 18071 0 1 0 99562 87 0 0 25 0 11 0 779576377 856985600 31383 4294967295 134512640 134569956 3221224368 3221214612 1131311059 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209225 31383 13086 16 0 209209 0
vsize: 836900
[startup+1040.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7028
Raw data (stat): 7018 (java) R 7017 23514 23513 0 -1 0 18071 0 1 0 100542 88 0 0 25 0 11 0 779576377 856985600 31399 4294967295 134512640 134569956 3221224368 3221214536 1131351866 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209225 31399 13086 16 0 209209 0
vsize: 836900
[startup+1050.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7028
Raw data (stat): 7018 (java) R 7017 23514 23513 0 -1 0 18071 0 1 0 101523 88 0 0 25 0 11 0 779576377 856985600 31432 4294967295 134512640 134569956 3221224368 3221214616 1131368204 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209225 31432 13086 16 0 209209 0
vsize: 836900
[startup+1060.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7028
Raw data (stat): 7018 (java) R 7017 23514 23513 0 -1 0 18071 0 1 0 102504 88 0 0 25 0 11 0 779576377 856985600 31452 4294967295 134512640 134569956 3221224368 3221214536 1131351323 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209225 31452 13086 16 0 209209 0
vsize: 836900
[startup+1070.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7028
Raw data (stat): 7018 (java) R 7017 23514 23513 0 -1 0 18071 0 1 0 103485 89 0 0 25 0 11 0 779576377 856985600 31478 4294967295 134512640 134569956 3221224368 3221214560 1131362527 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209225 31478 13086 16 0 209209 0
vsize: 836900
[startup+1080.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7028
Raw data (stat): 7018 (java) R 7017 23514 23513 0 -1 0 18071 0 1 0 104467 89 0 0 25 0 11 0 779576377 856985600 31504 4294967295 134512640 134569956 3221224368 3221214616 1131368734 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209225 31504 13086 16 0 209209 0
vsize: 836900
[startup+1090.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7028
Raw data (stat): 7018 (java) R 7017 23514 23513 0 -1 0 18071 0 1 0 105448 90 0 0 25 0 11 0 779576377 856985600 31517 4294967295 134512640 134569956 3221224368 3221214536 1131351803 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209225 31517 13086 16 0 209209 0
vsize: 836900
[startup+1100.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7028
Raw data (stat): 7018 (java) R 7017 23514 23513 0 -1 0 18071 0 1 0 106429 90 0 0 25 0 11 0 779576377 856985600 31532 4294967295 134512640 134569956 3221224368 3221214536 1131351825 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209225 31532 13086 16 0 209209 0
vsize: 836900
[startup+1110.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7028
Raw data (stat): 7018 (java) R 7017 23514 23513 0 -1 0 18071 0 1 0 107408 91 0 0 25 0 11 0 779576377 856985600 31564 4294967295 134512640 134569956 3221224368 3221214536 1131350993 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209225 31564 13086 16 0 209209 0
vsize: 836900
[startup+1120.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7028
Raw data (stat): 7018 (java) R 7017 23514 23513 0 -1 0 18071 0 1 0 108388 92 0 0 24 0 11 0 779576377 856985600 31588 4294967295 134512640 134569956 3221224368 3221214616 1131368748 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209225 31588 13086 16 0 209209 0
vsize: 836900
[startup+1130.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7028
Raw data (stat): 7018 (java) R 7017 23514 23513 0 -1 0 18071 0 1 0 109370 92 0 0 25 0 11 0 779576377 856985600 31618 4294967295 134512640 134569956 3221224368 3221214608 1131234738 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209225 31618 13086 16 0 209209 0
vsize: 836900
[startup+1140.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7028
Raw data (stat): 7018 (java) R 7017 23514 23513 0 -1 0 18071 0 1 0 110350 93 0 0 25 0 11 0 779576377 856985600 31634 4294967295 134512640 134569956 3221224368 3221214536 1131351089 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209225 31634 13086 16 0 209209 0
vsize: 836900
[startup+1150.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7028
Raw data (stat): 7018 (java) R 7017 23514 23513 0 -1 0 18071 0 1 0 111331 93 0 0 25 0 11 0 779576377 856985600 31651 4294967295 134512640 134569956 3221224368 3221214536 1131352677 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209225 31651 13086 16 0 209209 0
vsize: 836900
[startup+1160.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7028
Raw data (stat): 7018 (java) R 7017 23514 23513 0 -1 0 18071 0 1 0 112310 93 0 0 25 0 11 0 779576377 856985600 31681 4294967295 134512640 134569956 3221224368 3221214536 1131351878 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209225 31681 13086 16 0 209209 0
vsize: 836900
[startup+1170.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7028
Raw data (stat): 7018 (java) R 7017 23514 23513 0 -1 0 18071 0 1 0 113293 94 0 0 25 0 11 0 779576377 856985600 31700 4294967295 134512640 134569956 3221224368 3221214616 1131373684 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209225 31700 13086 16 0 209209 0
vsize: 836900
[startup+1180.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7028
Raw data (stat): 7018 (java) R 7017 23514 23513 0 -1 0 18071 0 1 0 114273 95 0 0 25 0 11 0 779576377 856985600 31735 4294967295 134512640 134569956 3221224368 3221214536 1131350932 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209225 31735 13086 16 0 209209 0
vsize: 836900
[startup+1190.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7028
Raw data (stat): 7018 (java) R 7017 23514 23513 0 -1 0 18071 0 1 0 115255 95 0 0 25 0 11 0 779576377 856985600 31751 4294967295 134512640 134569956 3221224368 3221214616 1131368676 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209225 31751 13086 16 0 209209 0
vsize: 836900
[startup+1200.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7028
Raw data (stat): 7018 (java) R 7017 23514 23513 0 -1 0 18071 0 1 0 116234 95 0 0 25 0 11 0 779576377 856985600 31761 4294967295 134512640 134569956 3221224368 3221214528 1131219258 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209225 31761 13086 16 0 209209 0
vsize: 836900
[startup+1210.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7028
Raw data (stat): 7018 (java) R 7017 23514 23513 0 -1 0 18071 0 1 0 117214 96 0 0 25 0 11 0 779576377 856985600 31790 4294967295 134512640 134569956 3221224368 3221214616 1131369002 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209225 31790 13086 16 0 209209 0
vsize: 836900
[startup+1220.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7028
Raw data (stat): 7018 (java) R 7017 23514 23513 0 -1 0 18071 0 1 0 118195 96 0 0 25 0 11 0 779576377 856985600 31824 4294967295 134512640 134569956 3221224368 3221214616 1131366854 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209225 31824 13086 16 0 209209 0
vsize: 836900
[startup+1230.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7028
Raw data (stat): 7018 (java) R 7017 23514 23513 0 -1 0 18071 0 1 0 119175 97 0 0 25 0 11 0 779576377 856985600 31848 4294967295 134512640 134569956 3221224368 3221213808 1131556860 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209225 31848 13086 16 0 209209 0
vsize: 836900
[startup+1240.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7028
Raw data (stat): 7018 (java) R 7017 23514 23513 0 -1 0 18071 0 1 0 120157 97 0 0 25 0 11 0 779576377 856985600 31881 4294967295 134512640 134569956 3221224368 3221214536 1131351732 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209225 31881 13086 16 0 209209 0
vsize: 836900
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1240.25 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 7030
Raw data (stat): 7018 (java) Z 7017 23514 23513 0 -1 1036 18071 12776 1 0 120161 97 3497 40 25 0 1 0 779576377 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): 1240.25
CPU time (s): 1237.97
CPU user time (s): 1236.59
CPU system time (s): 1.38379
CPU usage (%): 99.8165
Max. virtual memory (Kb): 838732
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####