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-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-blend2.opb
MD5SUM	a940bff1d003826845b22f555cfd27b8
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	88
Biggest coefficient in the objective function	24014225
Number of bits for the biggest coefficient in the objective function	25
Sum of the numbers in the objective function	235593725
Number of bits of the sum of numbers in the objective function	28
Biggest number in a constraint	37203426086400
Number of bits of the biggest number in a constraint	46
Biggest sum of numbers in a constraint	1353236888971560
Number of bits of the biggest sum of numbers	51
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.347946
Number of variables	2061
Total number of constraints	531
Number of constraints which are clauses	9
Number of constraints which are cardinality constraints (but not clauses)	310
Number of constraints which are nor clauses,nor cardinality constraints	212
Minimum length of a constraint	1
Maximum length of a constraint	1776
Trace number 30013

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.220
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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        342400 kB
Buffers:         33860 kB
Cached:         634468 kB
SwapCached:        588 kB
Active:         103768 kB
Inactive:       566836 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        342148 kB
SwapTotal:     2097892 kB
SwapFree:      2096620 kB
Dirty:              36 kB
Writeback:           0 kB
Mapped:           5608 kB
Slab:            16052 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 14:08:20 (client local time) WITH STATUS 143 IN 1242.1 SECONDS
stats: 21415 7 1242.1 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/wulflinc25/normalized-mps-v2-13-7-blend2.opb
c reading problem ... done. Time 4.664 ms.
c #vars     2061
c #constraints  303
c starts	: 9
c conflicts	: 6965
c decisions	: 8919
c propagations	: 44109
c inspects	: 4225455
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 6965
c root simplifications	: 31
s UNKNOWN
c Total CPU time (ms) : 1229.119
#### 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): 1.03 1.01 1.00 2/54 14094
Raw data (stat): 14094 (runsolver) R 14093 1586 1585 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 839371227 1052672 99 4294967295 134512640 135381576 3221224400 3221219620 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.0003 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 14104
Raw data (stat): 14094 (java) R 14093 1586 1585 0 -1 0 18086 0 1 0 783 38 0 0 25 0 11 0 839371227 858443776 20673 4294967295 134512640 134569956 3221224368 3221214288 1130894839 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209581 20673 13086 16 0 209565 0
vsize: 838324
[startup+20.0013 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 14104
Raw data (stat): 14094 (java) R 14093 1586 1585 0 -1 0 18088 0 1 0 1718 38 0 0 25 0 11 0 839371227 858304512 21142 4294967295 134512640 134569956 3221224368 3221214496 1131390441 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209547 21142 13086 16 0 209531 0
vsize: 838188
[startup+30.0014 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 14104
Raw data (stat): 14094 (java) R 14093 1586 1585 0 -1 0 18088 0 1 0 2639 38 0 0 25 0 11 0 839371227 858140672 21320 4294967295 134512640 134569956 3221224368 3221214640 1131423488 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209507 21320 13086 16 0 209491 0
vsize: 838028
[startup+40.001 s]
Raw data (loadavg): 1.09 1.02 1.00 2/64 14104
Raw data (stat): 14094 (java) R 14093 1586 1585 0 -1 0 18088 0 1 0 3578 38 0 0 25 0 11 0 839371227 858140672 21579 4294967295 134512640 134569956 3221224368 3221214664 1131423572 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209507 21579 13086 16 0 209491 0
vsize: 838028
[startup+50.0011 s]
Raw data (loadavg): 1.08 1.02 1.00 2/64 14104
Raw data (stat): 14094 (java) R 14093 1586 1585 0 -1 0 18088 0 1 0 4500 38 0 0 25 0 11 0 839371227 858140672 21784 4294967295 134512640 134569956 3221224368 3221214664 1131419633 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209507 21784 13086 16 0 209491 0
vsize: 838028
[startup+60.0013 s]
Raw data (loadavg): 1.06 1.02 1.00 2/64 14104
Raw data (stat): 14094 (java) R 14093 1586 1585 0 -1 0 18089 0 1 0 5442 39 0 0 24 0 11 0 839371227 858140672 22224 4294967295 134512640 134569956 3221224368 3221214664 1131420807 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209507 22224 13086 16 0 209491 0
vsize: 838028
[startup+70.0018 s]
Raw data (loadavg): 1.05 1.02 1.00 2/64 14104
Raw data (stat): 14094 (java) R 14093 1586 1585 0 -1 0 18089 0 1 0 6404 39 0 0 25 0 11 0 839371227 858140672 22440 4294967295 134512640 134569956 3221224368 3221214576 1131306324 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209507 22440 13086 16 0 209491 0
vsize: 838028
[startup+80.002 s]
Raw data (loadavg): 1.04 1.02 1.00 2/64 14104
Raw data (stat): 14094 (java) R 14093 1586 1585 0 -1 0 18089 0 1 0 7380 39 0 0 25 0 11 0 839371227 858140672 22544 4294967295 134512640 134569956 3221224368 3221214664 1131423598 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209507 22544 13086 16 0 209491 0
vsize: 838028
[startup+90.0021 s]
Raw data (loadavg): 1.04 1.02 1.00 2/64 14104
Raw data (stat): 14094 (java) R 14093 1586 1585 0 -1 0 18089 0 1 0 8356 40 0 0 25 0 11 0 839371227 858140672 22575 4294967295 134512640 134569956 3221224368 3221214664 1131418748 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209507 22575 13086 16 0 209491 0
vsize: 838028
[startup+100.002 s]
Raw data (loadavg): 1.03 1.02 1.00 2/64 14104
Raw data (stat): 14094 (java) R 14093 1586 1585 0 -1 0 18089 0 1 0 9341 40 0 0 25 0 11 0 839371227 858140672 22657 4294967295 134512640 134569956 3221224368 3221214576 1131305417 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209507 22657 13086 16 0 209491 0
vsize: 838028
[startup+110.003 s]
Raw data (loadavg): 1.03 1.02 1.00 2/64 14104
Raw data (stat): 14094 (java) R 14093 1586 1585 0 -1 0 18089 0 1 0 10327 41 0 0 25 0 11 0 839371227 858140672 22657 4294967295 134512640 134569956 3221224368 3221214488 1131206301 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209507 22657 13086 16 0 209491 0
vsize: 838028
[startup+120.003 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 14104
Raw data (stat): 14094 (java) R 14093 1586 1585 0 -1 0 18089 0 1 0 11315 41 0 0 25 0 11 0 839371227 858140672 22708 4294967295 134512640 134569956 3221224368 3221214576 1131305787 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209507 22708 13086 16 0 209491 0
vsize: 838028
[startup+130.002 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 14104
Raw data (stat): 14094 (java) R 14093 1586 1585 0 -1 0 18090 0 1 0 12303 41 0 0 25 0 11 0 839371227 858140672 22753 4294967295 134512640 134569956 3221224368 3221214520 1131249851 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209507 22753 13086 16 0 209491 0
vsize: 838028
[startup+140.003 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 14104
Raw data (stat): 14094 (java) R 14093 1586 1585 0 -1 0 18090 0 1 0 13296 41 0 0 25 0 11 0 839371227 858140672 22755 4294967295 134512640 134569956 3221224368 3221214616 1131397940 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209507 22755 13086 16 0 209491 0
vsize: 838028
[startup+150.003 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 14104
Raw data (stat): 14094 (java) R 14093 1586 1585 0 -1 0 18090 0 1 0 14287 41 0 0 25 0 11 0 839371227 858140672 22756 4294967295 134512640 134569956 3221224368 3221214600 1131297606 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209507 22756 13086 16 0 209491 0
vsize: 838028
[startup+160.003 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 14104
Raw data (stat): 14094 (java) R 14093 1586 1585 0 -1 0 18090 0 1 0 15276 41 0 0 25 0 11 0 839371227 858140672 22756 4294967295 134512640 134569956 3221224368 3221214616 1131398097 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209507 22756 13086 16 0 209491 0
vsize: 838028
[startup+170.003 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 14104
Raw data (stat): 14094 (java) R 14093 1586 1585 0 -1 0 18090 0 1 0 16267 42 0 0 25 0 11 0 839371227 858140672 22791 4294967295 134512640 134569956 3221224368 3221214572 1130885243 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209507 22791 13086 16 0 209491 0
vsize: 838028
[startup+180.003 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 14104
Raw data (stat): 14094 (java) R 14093 1586 1585 0 -1 0 18090 0 1 0 17250 42 0 0 25 0 11 0 839371227 858140672 22811 4294967295 134512640 134569956 3221224368 3221214472 1131451530 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209507 22811 13086 16 0 209491 0
vsize: 838028
[startup+190.004 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 14104
Raw data (stat): 14094 (java) R 14093 1586 1585 0 -1 0 18091 0 1 0 18224 42 0 0 25 0 11 0 839371227 859189248 22931 4294967295 134512640 134569956 3221224368 3221214576 1131305324 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209763 22931 13086 16 0 209747 0
vsize: 839052
[startup+200.004 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 14104
Raw data (stat): 14094 (java) R 14093 1586 1585 0 -1 0 18091 0 1 0 19200 42 0 0 25 0 11 0 839371227 858140672 22872 4294967295 134512640 134569956 3221224368 3221214664 1131418701 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209507 22872 13086 16 0 209491 0
vsize: 838028
[startup+210.005 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 14104
Raw data (stat): 14094 (java) R 14093 1586 1585 0 -1 0 18091 0 1 0 20170 43 0 0 25 0 11 0 839371227 858140672 22967 4294967295 134512640 134569956 3221224368 3221214576 1131306253 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209507 22967 13086 16 0 209491 0
vsize: 838028
[startup+220.005 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 14104
Raw data (stat): 14094 (java) R 14093 1586 1585 0 -1 0 18091 0 1 0 21144 43 0 0 25 0 11 0 839371227 858140672 23036 4294967295 134512640 134569956 3221224368 3221214576 1131305787 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209507 23036 13086 16 0 209491 0
vsize: 838028
[startup+230.005 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 14104
Raw data (stat): 14094 (java) R 14093 1586 1585 0 -1 0 18091 0 1 0 22119 43 0 0 25 0 11 0 839371227 858140672 23128 4294967295 134512640 134569956 3221224368 3221214712 1131313771 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209507 23128 13086 16 0 209491 0
vsize: 838028
[startup+240.005 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 14104
Raw data (stat): 14094 (java) R 14093 1586 1585 0 -1 0 18091 0 1 0 23091 43 0 0 24 0 11 0 839371227 858140672 23193 4294967295 134512640 134569956 3221224368 3221214576 1131305787 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209507 23193 13086 16 0 209491 0
vsize: 838028
[startup+250.005 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14104
Raw data (stat): 14094 (java) R 14093 1586 1585 0 -1 0 18091 0 1 0 24067 44 0 0 25 0 11 0 839371227 861286400 23851 4294967295 134512640 134569956 3221224368 3221214576 1131305816 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210275 23851 13086 16 0 210259 0
vsize: 841100
[startup+260.006 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14104
Raw data (stat): 14094 (java) R 14093 1586 1585 0 -1 0 18091 0 1 0 25044 44 0 0 25 0 11 0 839371227 861286400 23923 4294967295 134512640 134569956 3221224368 3221214576 1131305847 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210275 23923 13086 16 0 210259 0
vsize: 841100
[startup+270.006 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14104
Raw data (stat): 14094 (java) R 14093 1586 1585 0 -1 0 18091 0 1 0 26022 44 0 0 25 0 11 0 839371227 861286400 23992 4294967295 134512640 134569956 3221224368 3221214664 1131420707 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210275 23992 13086 16 0 210259 0
vsize: 841100
[startup+280.006 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14104
Raw data (stat): 14094 (java) R 14093 1586 1585 0 -1 0 18091 0 1 0 26998 44 0 0 25 0 11 0 839371227 861286400 24062 4294967295 134512640 134569956 3221224368 3221214576 1131254506 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210275 24062 13086 16 0 210259 0
vsize: 841100
[startup+290.007 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14104
Raw data (stat): 14094 (java) R 14093 1586 1585 0 -1 0 18091 0 1 0 27975 44 0 0 25 0 11 0 839371227 861286400 24135 4294967295 134512640 134569956 3221224368 3221214664 1131423528 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210275 24135 13086 16 0 210259 0
vsize: 841100
[startup+300.006 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14104
Raw data (stat): 14094 (java) R 14093 1586 1585 0 -1 0 18091 0 1 0 28951 44 0 0 25 0 11 0 839371227 861286400 24211 4294967295 134512640 134569956 3221224368 3221214576 1131305750 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210275 24211 13086 16 0 210259 0
vsize: 841100
[startup+310.006 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14104
Raw data (stat): 14094 (java) R 14093 1586 1585 0 -1 0 18091 0 1 0 29927 44 0 0 25 0 11 0 839371227 861286400 24292 4294967295 134512640 134569956 3221224368 3221214408 1085679337 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210275 24292 13086 16 0 210259 0
vsize: 841100
[startup+320.006 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14104
Raw data (stat): 14094 (java) R 14093 1586 1585 0 -1 0 18091 0 1 0 30903 44 0 0 25 0 11 0 839371227 861286400 24371 4294967295 134512640 134569956 3221224368 3221214300 1131553616 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210275 24371 13086 16 0 210259 0
vsize: 841100
[startup+330.006 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14104
Raw data (stat): 14094 (java) R 14093 1586 1585 0 -1 0 18091 0 1 0 31875 44 0 0 24 0 11 0 839371227 861286400 24470 4294967295 134512640 134569956 3221224368 3221214576 1131306197 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210275 24470 13086 16 0 210259 0
vsize: 841100
[startup+340.006 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14104
Raw data (stat): 14094 (java) R 14093 1586 1585 0 -1 0 18091 0 1 0 32853 44 0 0 25 0 11 0 839371227 861286400 24546 4294967295 134512640 134569956 3221224368 3221214576 1131305335 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210275 24546 13086 16 0 210259 0
vsize: 841100
[startup+350.006 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14104
Raw data (stat): 14094 (java) R 14093 1586 1585 0 -1 0 18091 0 1 0 33828 44 0 0 25 0 11 0 839371227 861286400 24634 4294967295 134512640 134569956 3221224368 3221214256 1131577001 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210275 24634 13086 16 0 210259 0
vsize: 841100
[startup+360.006 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14104
Raw data (stat): 14094 (java) R 14093 1586 1585 0 -1 0 18091 0 1 0 34807 45 0 0 25 0 11 0 839371227 861286400 24727 4294967295 134512640 134569956 3221224368 3221214544 1131578768 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210275 24727 13086 16 0 210259 0
vsize: 841100
[startup+370.006 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14104
Raw data (stat): 14094 (java) R 14093 1586 1585 0 -1 0 18091 0 1 0 35782 45 0 0 25 0 11 0 839371227 861286400 24791 4294967295 134512640 134569956 3221224368 3221214352 1131575618 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210275 24791 13086 16 0 210259 0
vsize: 841100
[startup+380.006 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14104
Raw data (stat): 14094 (java) R 14093 1586 1585 0 -1 0 18091 0 1 0 36760 45 0 0 25 0 11 0 839371227 861286400 24856 4294967295 134512640 134569956 3221224368 3221214300 1131553611 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210275 24856 13086 16 0 210259 0
vsize: 841100
[startup+390.007 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14104
Raw data (stat): 14094 (java) R 14093 1586 1585 0 -1 0 18091 0 1 0 37738 45 0 0 25 0 11 0 839371227 861286400 24934 4294967295 134512640 134569956 3221224368 3221214348 1131554048 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210275 24934 13086 16 0 210259 0
vsize: 841100
[startup+400.006 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14104
Raw data (stat): 14094 (java) R 14093 1586 1585 0 -1 0 18091 0 1 0 38715 45 0 0 25 0 11 0 839371227 861286400 25010 4294967295 134512640 134569956 3221224368 3221214016 1131553617 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210275 25010 13086 16 0 210259 0
vsize: 841100
[startup+410.007 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14104
Raw data (stat): 14094 (java) R 14093 1586 1585 0 -1 0 18091 0 1 0 39696 45 0 0 25 0 11 0 839371227 861286400 25092 4294967295 134512640 134569956 3221224368 3221213984 1085679762 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210275 25092 13086 16 0 210259 0
vsize: 841100
[startup+420.007 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14104
Raw data (stat): 14094 (java) R 14093 1586 1585 0 -1 0 18091 0 1 0 40677 45 0 0 25 0 11 0 839371227 861286400 25149 4294967295 134512640 134569956 3221224368 3221214064 1131579488 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210275 25149 13086 16 0 210259 0
vsize: 841100
[startup+430.007 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14104
Raw data (stat): 14094 (java) R 14093 1586 1585 0 -1 0 18091 0 1 0 41652 45 0 0 25 0 11 0 839371227 861286400 25232 4294967295 134512640 134569956 3221224368 3221214256 1131574268 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210275 25232 13086 16 0 210259 0
vsize: 841100
[startup+440.007 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14104
Raw data (stat): 14094 (java) R 14093 1586 1585 0 -1 0 18091 0 1 0 42631 45 0 0 25 0 11 0 839371227 861286400 25308 4294967295 134512640 134569956 3221224368 3221214576 1131305441 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210275 25308 13086 16 0 210259 0
vsize: 841100
[startup+450.007 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14104
Raw data (stat): 14094 (java) R 14093 1586 1585 0 -1 0 18091 0 1 0 43610 45 0 0 25 0 11 0 839371227 861286400 25387 4294967295 134512640 134569956 3221224368 3221214576 1131305346 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210275 25387 13086 16 0 210259 0
vsize: 841100
[startup+460.007 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14104
Raw data (stat): 14094 (java) R 14093 1586 1585 0 -1 0 18091 0 1 0 44587 45 0 0 25 0 11 0 839371227 861286400 25462 4294967295 134512640 134569956 3221224368 3221214576 1131305803 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210275 25462 13086 16 0 210259 0
vsize: 841100
[startup+470.007 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14104
Raw data (stat): 14094 (java) R 14093 1586 1585 0 -1 0 18091 0 1 0 45560 45 0 0 25 0 11 0 839371227 861286400 25561 4294967295 134512640 134569956 3221224368 3221214576 1131305346 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210275 25561 13086 16 0 210259 0
vsize: 841100
[startup+480.008 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14104
Raw data (stat): 14094 (java) R 14093 1586 1585 0 -1 0 18091 0 1 0 46534 45 0 0 25 0 11 0 839371227 861286400 25675 4294967295 134512640 134569956 3221224368 3221214632 1131254502 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210275 25675 13086 16 0 210259 0
vsize: 841100
[startup+490.007 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14104
Raw data (stat): 14094 (java) R 14093 1586 1585 0 -1 0 18091 0 1 0 47507 45 0 0 25 0 11 0 839371227 861286400 25766 4294967295 134512640 134569956 3221224368 3221213832 1085679394 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210275 25766 13086 16 0 210259 0
vsize: 841100
[startup+500.007 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14104
Raw data (stat): 14094 (java) R 14093 1586 1585 0 -1 0 18091 0 1 0 48485 45 0 0 25 0 11 0 839371227 861286400 25878 4294967295 134512640 134569956 3221224368 3221214664 1131419861 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210275 25878 13086 16 0 210259 0
vsize: 841100
[startup+510.008 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14104
Raw data (stat): 14094 (java) R 14093 1586 1585 0 -1 0 18091 0 1 0 49464 45 0 0 25 0 11 0 839371227 861286400 25969 4294967295 134512640 134569956 3221224368 3221214348 1131554057 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210275 25969 13086 16 0 210259 0
vsize: 841100
[startup+520.007 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14104
Raw data (stat): 14094 (java) R 14093 1586 1585 0 -1 0 18091 0 1 0 50442 45 0 0 25 0 11 0 839371227 861286400 26028 4294967295 134512640 134569956 3221224368 3221214664 1131418705 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210275 26028 13086 16 0 210259 0
vsize: 841100
[startup+530.007 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14104
Raw data (stat): 14094 (java) R 14093 1586 1585 0 -1 0 18091 0 1 0 51421 46 0 0 25 0 11 0 839371227 861286400 26085 4294967295 134512640 134569956 3221224368 3221214304 1131553585 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210275 26085 13086 16 0 210259 0
vsize: 841100
[startup+540.007 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14104
Raw data (stat): 14094 (java) R 14093 1586 1585 0 -1 0 18091 0 1 0 52399 46 0 0 25 0 11 0 839371227 861286400 26142 4294967295 134512640 134569956 3221224368 3221214576 1131305918 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210275 26142 13086 16 0 210259 0
vsize: 841100
[startup+550.007 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14104
Raw data (stat): 14094 (java) R 14093 1586 1585 0 -1 0 18091 0 1 0 53376 46 0 0 25 0 11 0 839371227 861286400 26202 4294967295 134512640 134569956 3221224368 3221214512 1131488690 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210275 26202 13086 16 0 210259 0
vsize: 841100
[startup+560.007 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14104
Raw data (stat): 14094 (java) R 14093 1586 1585 0 -1 0 18091 0 1 0 54353 46 0 0 24 0 11 0 839371227 861286400 26287 4294967295 134512640 134569956 3221224368 3221214856 1131534231 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210275 26287 13086 16 0 210259 0
vsize: 841100
[startup+570.008 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14104
Raw data (stat): 14094 (java) R 14093 1586 1585 0 -1 0 18091 0 1 0 55331 46 0 0 24 0 11 0 839371227 861286400 26371 4294967295 134512640 134569956 3221224368 3221214456 1131528700 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210275 26371 13086 16 0 210259 0
vsize: 841100
[startup+580.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14104
Raw data (stat): 14094 (java) S 14093 1586 1585 0 -1 0 18091 0 1 0 56312 46 0 0 25 0 11 0 839371227 861286400 26431 4294967295 134512640 134569956 3221224368 3221213280 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210275 26431 13086 16 0 210259 0
vsize: 841100
[startup+590.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14104
Raw data (stat): 14094 (java) R 14093 1586 1585 0 -1 0 18091 0 1 0 57291 46 0 0 25 0 11 0 839371227 861286400 26526 4294967295 134512640 134569956 3221224368 3221214664 1131423528 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210275 26526 13086 16 0 210259 0
vsize: 841100
[startup+600.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14104
Raw data (stat): 14094 (java) R 14093 1586 1585 0 -1 0 18091 0 1 0 58268 46 0 0 25 0 11 0 839371227 861286400 26609 4294967295 134512640 134569956 3221224368 3221214544 1131574198 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210275 26609 13086 16 0 210259 0
vsize: 841100
[startup+610.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14104
Raw data (stat): 14094 (java) R 14093 1586 1585 0 -1 0 18091 0 1 0 59244 46 0 0 25 0 11 0 839371227 861286400 26709 4294967295 134512640 134569956 3221224368 3221214632 1131254447 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210275 26709 13086 16 0 210259 0
vsize: 841100
[startup+620.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14104
Raw data (stat): 14094 (java) R 14093 1586 1585 0 -1 0 18091 0 1 0 60220 46 0 0 25 0 11 0 839371227 861286400 26797 4294967295 134512640 134569956 3221224368 3221214576 1131305787 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210275 26797 13086 16 0 210259 0
vsize: 841100
[startup+630.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14104
Raw data (stat): 14094 (java) R 14093 1586 1585 0 -1 0 18091 0 1 0 61197 46 0 0 25 0 11 0 839371227 861286400 26876 4294967295 134512640 134569956 3221224368 3221214632 1131254459 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210275 26876 13086 16 0 210259 0
vsize: 841100
[startup+640.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14104
Raw data (stat): 14094 (java) R 14093 1586 1585 0 -1 0 18091 0 1 0 62174 46 0 0 24 0 11 0 839371227 861286400 26949 4294967295 134512640 134569956 3221224368 3221214664 1131423730 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210275 26949 13086 16 0 210259 0
vsize: 841100
[startup+650.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14104
Raw data (stat): 14094 (java) R 14093 1586 1585 0 -1 0 18091 0 1 0 63155 46 0 0 25 0 11 0 839371227 861286400 27007 4294967295 134512640 134569956 3221224368 3221214576 1131306117 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210275 27007 13086 16 0 210259 0
vsize: 841100
[startup+660.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14104
Raw data (stat): 14094 (java) R 14093 1586 1585 0 -1 0 18091 0 1 0 64133 46 0 0 25 0 11 0 839371227 861286400 27099 4294967295 134512640 134569956 3221224368 3221214152 1080217313 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210275 27099 13086 16 0 210259 0
vsize: 841100
[startup+670.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14104
Raw data (stat): 14094 (java) R 14093 1586 1585 0 -1 0 18091 0 1 0 65110 46 0 0 25 0 11 0 839371227 861286400 27184 4294967295 134512640 134569956 3221224368 3221214368 1131518342 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210275 27184 13086 16 0 210259 0
vsize: 841100
[startup+680.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14104
Raw data (stat): 14094 (java) R 14093 1586 1585 0 -1 0 18091 0 1 0 66092 46 0 0 25 0 11 0 839371227 861286400 27246 4294967295 134512640 134569956 3221224368 3221214568 1131254537 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210275 27246 13086 16 0 210259 0
vsize: 841100
[startup+690.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14104
Raw data (stat): 14094 (java) R 14093 1586 1585 0 -1 0 18091 0 1 0 67073 46 0 0 25 0 11 0 839371227 861286400 27312 4294967295 134512640 134569956 3221224368 3221214368 1131531418 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210275 27312 13086 16 0 210259 0
vsize: 841100
[startup+700.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14104
Raw data (stat): 14094 (java) R 14093 1586 1585 0 -1 0 18091 0 1 0 68050 46 0 0 25 0 11 0 839371227 861286400 27369 4294967295 134512640 134569956 3221224368 3221214400 1131518368 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210275 27369 13086 16 0 210259 0
vsize: 841100
[startup+710.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14104
Raw data (stat): 14094 (java) R 14093 1586 1585 0 -1 0 18091 0 1 0 69031 46 0 0 25 0 11 0 839371227 861286400 27418 4294967295 134512640 134569956 3221224368 3221214456 1131528710 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210275 27418 13086 16 0 210259 0
vsize: 841100
[startup+720.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14104
Raw data (stat): 14094 (java) R 14093 1586 1585 0 -1 0 18091 0 1 0 70007 46 0 0 25 0 11 0 839371227 861286400 27476 4294967295 134512640 134569956 3221224368 3221214576 1131306149 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210275 27476 13086 16 0 210259 0
vsize: 841100
[startup+730.016 s]
Raw data (loadavg): 1.08 1.02 1.01 2/64 14104
Raw data (stat): 14094 (java) R 14093 1586 1585 0 -1 0 18091 0 1 0 70983 46 0 0 25 0 11 0 839371227 861286400 27552 4294967295 134512640 134569956 3221224368 3221214664 1131419887 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210275 27552 13086 16 0 210259 0
vsize: 841100
[startup+740.016 s]
Raw data (loadavg): 1.15 1.03 1.01 2/64 14157
Raw data (stat): 14094 (java) R 14093 1586 1585 0 -1 0 18091 0 1 0 71960 49 0 0 25 0 11 0 839371227 861286400 27606 4294967295 134512640 134569956 3221224368 3221214824 1131133725 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210275 27606 13086 16 0 210259 0
vsize: 841100
[startup+750.016 s]
Raw data (loadavg): 1.12 1.03 1.01 2/64 14157
Raw data (stat): 14094 (java) R 14093 1586 1585 0 -1 0 18091 0 1 0 72936 49 0 0 25 0 11 0 839371227 861286400 27698 4294967295 134512640 134569956 3221224368 3221214300 1131553616 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210275 27698 13086 16 0 210259 0
vsize: 841100
[startup+760.016 s]
Raw data (loadavg): 1.10 1.03 1.01 2/64 14157
Raw data (stat): 14094 (java) R 14093 1586 1585 0 -1 0 18091 0 1 0 73917 49 0 0 25 0 11 0 839371227 861286400 27773 4294967295 134512640 134569956 3221224368 3221214120 1085679526 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210275 27773 13086 16 0 210259 0
vsize: 841100
[startup+770.016 s]
Raw data (loadavg): 1.09 1.03 1.01 2/64 14157
Raw data (stat): 14094 (java) R 14093 1586 1585 0 -1 0 18091 0 1 0 74898 49 0 0 25 0 11 0 839371227 861286400 27840 4294967295 134512640 134569956 3221224368 3221214632 1131254457 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210275 27840 13086 16 0 210259 0
vsize: 841100
[startup+780.016 s]
Raw data (loadavg): 1.07 1.03 1.01 2/64 14157
Raw data (stat): 14094 (java) R 14093 1586 1585 0 -1 0 18091 0 1 0 75878 49 0 0 25 0 11 0 839371227 861286400 27905 4294967295 134512640 134569956 3221224368 3221214368 1131518393 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210275 27905 13086 16 0 210259 0
vsize: 841100
[startup+790.016 s]
Raw data (loadavg): 1.06 1.03 1.00 2/64 14157
Raw data (stat): 14094 (java) R 14093 1586 1585 0 -1 0 18091 0 1 0 76858 49 0 0 25 0 11 0 839371227 861286400 27953 4294967295 134512640 134569956 3221224368 3221214352 1131574404 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210275 27953 13086 16 0 210259 0
vsize: 841100
[startup+800.016 s]
Raw data (loadavg): 1.05 1.02 1.00 2/64 14157
Raw data (stat): 14094 (java) R 14093 1586 1585 0 -1 0 18091 0 1 0 77833 49 0 0 25 0 11 0 839371227 861286400 28024 4294967295 134512640 134569956 3221224368 3221214664 1131418701 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210275 28024 13086 16 0 210259 0
vsize: 841100
[startup+810.017 s]
Raw data (loadavg): 1.04 1.02 1.00 2/64 14159
Raw data (stat): 14094 (java) R 14093 1586 1585 0 -1 0 18091 0 1 0 78814 49 0 0 25 0 11 0 839371227 861286400 28102 4294967295 134512640 134569956 3221224368 3221214112 1131550711 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210275 28102 13086 16 0 210259 0
vsize: 841100
[startup+820.017 s]
Raw data (loadavg): 1.04 1.02 1.00 2/64 14159
Raw data (stat): 14094 (java) R 14093 1586 1585 0 -1 0 18091 0 1 0 79790 49 0 0 25 0 11 0 839371227 861286400 28187 4294967295 134512640 134569956 3221224368 3221214664 1131418701 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210275 28187 13086 16 0 210259 0
vsize: 841100
[startup+830.017 s]
Raw data (loadavg): 1.03 1.02 1.00 2/64 14159
Raw data (stat): 14094 (java) R 14093 1586 1585 0 -1 0 18091 0 1 0 80771 49 0 0 25 0 11 0 839371227 861286400 28263 4294967295 134512640 134569956 3221224368 3221214344 1131574728 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210275 28263 13086 16 0 210259 0
vsize: 841100
[startup+840.018 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 14159
Raw data (stat): 14094 (java) R 14093 1586 1585 0 -1 0 18091 0 1 0 81757 49 0 0 25 0 11 0 839371227 861286400 28331 4294967295 134512640 134569956 3221224368 3221214072 1131555024 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210275 28331 13086 16 0 210259 0
vsize: 841100
[startup+850.018 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 14159
Raw data (stat): 14094 (java) R 14093 1586 1585 0 -1 0 18091 0 1 0 82737 50 0 0 25 0 11 0 839371227 861286400 28415 4294967295 134512640 134569956 3221224368 3221214576 1131305847 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210275 28415 13086 16 0 210259 0
vsize: 841100
[startup+860.019 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 14159
Raw data (stat): 14094 (java) R 14093 1586 1585 0 -1 0 18091 0 1 0 83712 50 0 0 25 0 11 0 839371227 861286400 28513 4294967295 134512640 134569956 3221224368 3221214632 1131254410 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210275 28513 13086 16 0 210259 0
vsize: 841100
[startup+870.019 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 14159
Raw data (stat): 14094 (java) R 14093 1586 1585 0 -1 0 18091 0 1 0 84688 50 0 0 25 0 11 0 839371227 861286400 28568 4294967295 134512640 134569956 3221224368 3221214496 1131441414 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210275 28568 13086 16 0 210259 0
vsize: 841100
[startup+880.018 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 14159
Raw data (stat): 14094 (java) R 14093 1586 1585 0 -1 0 18091 0 1 0 85667 50 0 0 25 0 11 0 839371227 861286400 28627 4294967295 134512640 134569956 3221224368 3221214576 1131305822 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210275 28627 13086 16 0 210259 0
vsize: 841100
[startup+890.019 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 14159
Raw data (stat): 14094 (java) R 14093 1586 1585 0 -1 0 18091 0 1 0 86647 50 0 0 25 0 11 0 839371227 861286400 28694 4294967295 134512640 134569956 3221224368 3221214016 1131553564 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210275 28694 13086 16 0 210259 0
vsize: 841100
[startup+900.018 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 14159
Raw data (stat): 14094 (java) R 14093 1586 1585 0 -1 0 18091 0 1 0 87621 50 0 0 25 0 11 0 839371227 861286400 28775 4294967295 134512640 134569956 3221224368 3221214576 1131305984 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210275 28775 13086 16 0 210259 0
vsize: 841100
[startup+910.019 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 14159
Raw data (stat): 14094 (java) R 14093 1586 1585 0 -1 0 18091 0 1 0 88601 50 0 0 25 0 11 0 839371227 861286400 28856 4294967295 134512640 134569956 3221224368 3221214576 1131305750 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210275 28856 13086 16 0 210259 0
vsize: 841100
[startup+920.019 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 14159
Raw data (stat): 14094 (java) R 14093 1586 1585 0 -1 0 18091 0 1 0 89580 50 0 0 25 0 11 0 839371227 861286400 28935 4294967295 134512640 134569956 3221224368 3221213876 1131553616 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210275 28935 13086 16 0 210259 0
vsize: 841100
[startup+930.019 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 14159
Raw data (stat): 14094 (java) R 14093 1586 1585 0 -1 0 18091 0 1 0 90560 50 0 0 25 0 11 0 839371227 861286400 29006 4294967295 134512640 134569956 3221224368 3221214024 1085679750 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210275 29006 13086 16 0 210259 0
vsize: 841100
[startup+940.019 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 14159
Raw data (stat): 14094 (java) R 14093 1586 1585 0 -1 0 18091 0 1 0 91539 50 0 0 25 0 11 0 839371227 861286400 29081 4294967295 134512640 134569956 3221224368 3221214448 1131575450 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210275 29081 13086 16 0 210259 0
vsize: 841100
[startup+950.019 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 14159
Raw data (stat): 14094 (java) R 14093 1586 1585 0 -1 0 18091 0 1 0 92518 50 0 0 25 0 11 0 839371227 861286400 29148 4294967295 134512640 134569956 3221224368 3221214576 1131306188 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210275 29148 13086 16 0 210259 0
vsize: 841100
[startup+960.02 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 14159
Raw data (stat): 14094 (java) R 14093 1586 1585 0 -1 0 18091 0 1 0 93498 50 0 0 25 0 11 0 839371227 861286400 29234 4294967295 134512640 134569956 3221224368 3221214808 1131630784 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210275 29234 13086 16 0 210259 0
vsize: 841100
[startup+970.02 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 14159
Raw data (stat): 14094 (java) R 14093 1586 1585 0 -1 0 18091 0 1 0 94482 51 0 0 25 0 11 0 839371227 861286400 29288 4294967295 134512640 134569956 3221224368 3221213928 1085679308 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210275 29288 13086 16 0 210259 0
vsize: 841100
[startup+980.02 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 14159
Raw data (stat): 14094 (java) R 14093 1586 1585 0 -1 0 18091 0 1 0 95467 51 0 0 25 0 11 0 839371227 861286400 29333 4294967295 134512640 134569956 3221224368 3221214632 1131254437 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210275 29333 13086 16 0 210259 0
vsize: 841100
[startup+990.021 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 14159
Raw data (stat): 14094 (java) R 14093 1586 1585 0 -1 0 18091 0 1 0 96451 51 0 0 25 0 11 0 839371227 861286400 29380 4294967295 134512640 134569956 3221224368 3221214208 1131553655 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210275 29380 13086 16 0 210259 0
vsize: 841100
[startup+1000.02 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 14159
Raw data (stat): 14094 (java) R 14093 1586 1585 0 -1 0 18091 0 1 0 97431 51 0 0 25 0 11 0 839371227 861286400 29447 4294967295 134512640 134569956 3221224368 3221214576 1131305886 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210275 29447 13086 16 0 210259 0
vsize: 841100
[startup+1010.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14159
Raw data (stat): 14094 (java) R 14093 1586 1585 0 -1 0 18091 0 1 0 98405 51 0 0 25 0 11 0 839371227 861286400 29545 4294967295 134512640 134569956 3221224368 3221214664 1131420801 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210275 29545 13086 16 0 210259 0
vsize: 841100
[startup+1020.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14159
Raw data (stat): 14094 (java) R 14093 1586 1585 0 -1 0 18091 0 1 0 99389 51 0 0 25 0 11 0 839371227 861286400 29617 4294967295 134512640 134569956 3221224368 3221213540 1131553611 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210275 29617 13086 16 0 210259 0
vsize: 841100
[startup+1030.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14159
Raw data (stat): 14094 (java) R 14093 1586 1585 0 -1 0 18091 0 1 0 100368 51 0 0 25 0 11 0 839371227 861286400 29697 4294967295 134512640 134569956 3221224368 3221214204 1131553616 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210275 29697 13086 16 0 210259 0
vsize: 841100
[startup+1040.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14159
Raw data (stat): 14094 (java) R 14093 1586 1585 0 -1 0 18091 0 1 0 101345 51 0 0 25 0 11 0 839371227 861286400 29780 4294967295 134512640 134569956 3221224368 3221214256 1131579478 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210275 29780 13086 16 0 210259 0
vsize: 841100
[startup+1050.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14159
Raw data (stat): 14094 (java) R 14093 1586 1585 0 -1 0 18091 0 1 0 102322 51 0 0 25 0 11 0 839371227 861286400 29875 4294967295 134512640 134569956 3221224368 3221214544 1131574201 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210275 29875 13086 16 0 210259 0
vsize: 841100
[startup+1060.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14161
Raw data (stat): 14094 (java) R 14093 1586 1585 0 -1 0 18091 0 1 0 103293 51 0 0 25 0 11 0 839371227 861286400 29980 4294967295 134512640 134569956 3221224368 3221214020 1131553552 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210275 29980 13086 16 0 210259 0
vsize: 841100
[startup+1070.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14161
Raw data (stat): 14094 (java) R 14093 1586 1585 0 -1 0 18091 0 1 0 104271 51 0 0 25 0 11 0 839371227 861286400 30063 4294967295 134512640 134569956 3221224368 3221214576 1131305346 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210275 30063 13086 16 0 210259 0
vsize: 841100
[startup+1080.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14161
Raw data (stat): 14094 (java) R 14093 1586 1585 0 -1 0 18091 0 1 0 105248 51 0 0 25 0 11 0 839371227 861286400 30138 4294967295 134512640 134569956 3221224368 3221214448 1131455939 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210275 30138 13086 16 0 210259 0
vsize: 841100
[startup+1090.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14161
Raw data (stat): 14094 (java) R 14093 1586 1585 0 -1 0 18091 0 1 0 106225 52 0 0 25 0 11 0 839371227 861286400 30212 4294967295 134512640 134569956 3221224368 3221214576 1131254450 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210275 30212 13086 16 0 210259 0
vsize: 841100
[startup+1100.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14161
Raw data (stat): 14094 (java) R 14093 1586 1585 0 -1 0 18091 0 1 0 107208 52 0 0 25 0 11 0 839371227 861286400 30261 4294967295 134512640 134569956 3221224368 3221213780 1131553440 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210275 30261 13086 16 0 210259 0
vsize: 841100
[startup+1110.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14161
Raw data (stat): 14094 (java) R 14093 1586 1585 0 -1 0 18091 0 1 0 108180 52 0 0 25 0 11 0 839371227 861286400 30432 4294967295 134512640 134569956 3221224368 3221214400 1131518458 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210275 30432 13086 16 0 210259 0
vsize: 841100
[startup+1120.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14161
Raw data (stat): 14094 (java) R 14093 1586 1585 0 -1 0 18091 0 1 0 109165 52 0 0 25 0 11 0 839371227 861286400 30496 4294967295 134512640 134569956 3221224368 3221214576 1131305795 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210275 30496 13086 16 0 210259 0
vsize: 841100
[startup+1130.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14161
Raw data (stat): 14094 (java) R 14093 1586 1585 0 -1 0 18091 0 1 0 110145 53 0 0 25 0 11 0 839371227 861286400 30591 4294967295 134512640 134569956 3221224368 3221214312 1085679753 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210275 30591 13086 16 0 210259 0
vsize: 841100
[startup+1140.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14161
Raw data (stat): 14094 (java) R 14093 1586 1585 0 -1 0 18091 0 1 0 111129 53 0 0 25 0 11 0 839371227 861286400 30642 4294967295 134512640 134569956 3221224368 3221214544 1131574404 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210275 30642 13086 16 0 210259 0
vsize: 841100
[startup+1150.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14161
Raw data (stat): 14094 (java) R 14093 1586 1585 0 -1 0 18091 0 1 0 112109 54 0 0 25 0 11 0 839371227 861286400 30710 4294967295 134512640 134569956 3221224368 3221214664 1131419052 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210275 30710 13086 16 0 210259 0
vsize: 841100
[startup+1160.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14161
Raw data (stat): 14094 (java) R 14093 1586 1585 0 -1 0 18091 0 1 0 113085 54 0 0 25 0 11 0 839371227 861286400 30810 4294967295 134512640 134569956 3221224368 3221214576 1131305750 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210275 30810 13086 16 0 210259 0
vsize: 841100
[startup+1170.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14161
Raw data (stat): 14094 (java) R 14093 1586 1585 0 -1 0 18091 0 1 0 114066 54 0 0 25 0 11 0 839371227 861286400 30879 4294967295 134512640 134569956 3221224368 3221214536 1131554069 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210275 30879 13086 16 0 210259 0
vsize: 841100
[startup+1180.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14161
Raw data (stat): 14094 (java) R 14093 1586 1585 0 -1 0 18091 0 1 0 115045 55 0 0 25 0 11 0 839371227 861286400 30958 4294967295 134512640 134569956 3221224368 3221213600 1085679325 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210275 30958 13086 16 0 210259 0
vsize: 841100
[startup+1190.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14161
Raw data (stat): 14094 (java) R 14093 1586 1585 0 -1 0 18091 0 1 0 116028 55 0 0 25 0 11 0 839371227 859189248 30604 4294967295 134512640 134569956 3221224368 3221214568 1131254461 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209763 30604 13086 16 0 209747 0
vsize: 839052
[startup+1200.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14161
Raw data (stat): 14094 (java) R 14093 1586 1585 0 -1 0 18091 0 1 0 117011 55 0 0 25 0 11 0 839371227 859189248 30658 4294967295 134512640 134569956 3221224368 3221214664 1131419861 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209763 30658 13086 16 0 209747 0
vsize: 839052
[startup+1210.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14161
Raw data (stat): 14094 (java) R 14093 1586 1585 0 -1 0 18091 0 1 0 117989 56 0 0 25 0 11 0 839371227 859189248 30746 4294967295 134512640 134569956 3221224368 3221214576 1131254510 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209763 30746 13086 16 0 209747 0
vsize: 839052
[startup+1220.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14161
Raw data (stat): 14094 (java) R 14093 1586 1585 0 -1 0 18091 0 1 0 118973 56 0 0 25 0 11 0 839371227 859189248 30827 4294967295 134512640 134569956 3221224368 3221214160 1131574327 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209763 30827 13086 16 0 209747 0
vsize: 839052
[startup+1230.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14161
Raw data (stat): 14094 (java) R 14093 1586 1585 0 -1 0 18091 0 1 0 119950 56 0 0 25 0 11 0 839371227 859189248 30909 4294967295 134512640 134569956 3221224368 3221214576 1131305750 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209763 30909 13086 16 0 209747 0
vsize: 839052
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1230.1 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 14163
Raw data (stat): 14094 (java) Z 14093 1586 1585 0 -1 1036 18091 18980 1 0 119951 62 4147 48 25 0 1 0 839371227 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1230.1
CPU time (s): 1242.1
CPU user time (s): 1240.99
CPU system time (s): 1.11083
CPU usage (%): 100.976
Max. virtual memory (Kb): 841100
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####