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/miplib2003/normalized-mps-v2-13-7-vpm2.opb
MD5SUM	8c44064d4224b1d41c28f152218dd39f
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	98
Optimality of the best value was proved	NO
Number of terms in the objective function	168
Biggest coefficient in the objective function	5
Number of bits for the biggest coefficient in the objective function	3
Sum of the numbers in the objective function	504
Number of bits of the sum of numbers in the objective function	9
Biggest number in a constraint	102400
Number of bits of the biggest number in a constraint	17
Biggest sum of numbers in a constraint	615983
Number of bits of the biggest sum of numbers	20
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.05084
Number of variables	2124
Total number of constraints	612
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	168
Number of constraints which are nor clauses,nor cardinality constraints	444
Minimum length of a constraint	1
Maximum length of a constraint	64
Trace number 30004

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc27 THE 2005-05-25 13:41:53 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=21407 boxname=wulflinc27 idbench=1395 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  8c44064d4224b1d41c28f152218dd39f  /oldhome/oroussel/tmp/wulflinc27/normalized-mps-v2-13-7-vpm2.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc27/normalized-mps-v2-13-7-vpm2.opb
IDLAUNCH: 21407
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.169
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.169
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:        418540 kB
Buffers:         34756 kB
Cached:         559740 kB
SwapCached:        640 kB
Active:         105400 kB
Inactive:       491540 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        418288 kB
SwapTotal:     2097892 kB
SwapFree:      2096760 kB
Dirty:              36 kB
Writeback:           0 kB
Mapped:           5648 kB
Slab:            13620 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 14:02:35 (client local time) WITH STATUS 143 IN 1235.09 SECONDS
stats: 21407 7 1235.09 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/wulflinc27/normalized-mps-v2-13-7-vpm2.opb
c reading problem ... done. Time 4.254 ms.
c #vars     2124
c #constraints  486
c starts	: 9
c conflicts	: 5698
c decisions	: 6977
c propagations	: 32910
c inspects	: 6510840
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 5698
c root simplifications	: 23
s UNKNOWN
c Total CPU time (ms) : 1239.005
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.92 0.98 0.99 1/54 18801
Raw data (stat): 18801 (runsolver) D 18800 3394 3393 0 -1 64 4 0 0 0 0 0 0 0 18 0 1 0 839315724 1052672 99 4294967295 134512640 135381576 3221224400 3221219620 135158418 0 2147483391 7 90112 3225161850 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+9.99968 s]
Raw data (loadavg): 1.17 1.03 1.01 4/64 18811
Raw data (stat): 18801 (java) R 18800 3394 3393 0 -1 0 18087 0 1 0 704 39 0 0 25 0 11 0 839315724 863744000 21098 4294967295 134512640 134569956 3221224368 3221214520 1131389563 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210875 21098 13086 16 0 210859 0
vsize: 843500
[startup+20.0064 s]
Raw data (loadavg): 1.29 1.06 1.02 2/64 18811
Raw data (stat): 18801 (java) R 18800 3394 3393 0 -1 0 18089 0 1 0 1443 40 0 0 25 0 11 0 839315724 865599488 22379 4294967295 134512640 134569956 3221224368 3221214672 1131509300 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211328 22379 13086 16 0 211312 0
vsize: 845312
[startup+30.0128 s]
Raw data (loadavg): 1.39 1.09 1.03 2/64 18811
Raw data (stat): 18801 (java) R 18800 3394 3393 0 -1 0 18090 0 1 0 2366 40 0 0 25 0 11 0 839315724 865599488 22892 4294967295 134512640 134569956 3221224368 3221214480 1131191921 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211328 22892 13086 16 0 211312 0
vsize: 845312
[startup+40.0132 s]
Raw data (loadavg): 1.33 1.09 1.03 2/64 18811
Raw data (stat): 18801 (java) R 18800 3394 3393 0 -1 0 18090 0 1 0 3288 40 0 0 25 0 11 0 839315724 865599488 23214 4294967295 134512640 134569956 3221224368 3221214568 1131308279 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211328 23214 13086 16 0 211312 0
vsize: 845312
[startup+50.014 s]
Raw data (loadavg): 1.28 1.09 1.03 2/64 18811
Raw data (stat): 18801 (java) R 18800 3394 3393 0 -1 0 18090 0 1 0 4206 41 0 0 25 0 11 0 839315724 865599488 23227 4294967295 134512640 134569956 3221224368 3221214672 1131509093 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211328 23227 13086 16 0 211312 0
vsize: 845312
[startup+60.0145 s]
Raw data (loadavg): 1.24 1.08 1.03 2/64 18811
Raw data (stat): 18801 (java) R 18800 3394 3393 0 -1 0 18090 0 1 0 5150 41 0 0 25 0 11 0 839315724 865599488 23782 4294967295 134512640 134569956 3221224368 3221214080 1085679337 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211328 23782 13086 16 0 211312 0
vsize: 845312
[startup+70.0146 s]
Raw data (loadavg): 1.20 1.08 1.03 2/64 18811
Raw data (stat): 18801 (java) R 18800 3394 3393 0 -1 0 18090 0 1 0 6102 41 0 0 25 0 11 0 839315724 865599488 23967 4294967295 134512640 134569956 3221224368 3221214784 1131590368 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211328 23967 13086 16 0 211312 0
vsize: 845312
[startup+80.0155 s]
Raw data (loadavg): 1.17 1.08 1.03 2/64 18811
Raw data (stat): 18801 (java) R 18800 3394 3393 0 -1 0 18090 0 1 0 7065 42 0 0 25 0 11 0 839315724 865599488 24079 4294967295 134512640 134569956 3221224368 3221214672 1131509300 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211328 24079 13086 16 0 211312 0
vsize: 845312
[startup+90.0167 s]
Raw data (loadavg): 1.14 1.07 1.02 2/64 18811
Raw data (stat): 18801 (java) R 18800 3394 3393 0 -1 0 18090 0 1 0 8028 42 0 0 25 0 11 0 839315724 865599488 24215 4294967295 134512640 134569956 3221224368 3221214672 1131514090 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211328 24215 13086 16 0 211312 0
vsize: 845312
[startup+100.017 s]
Raw data (loadavg): 1.12 1.07 1.02 2/64 18811
Raw data (stat): 18801 (java) R 18800 3394 3393 0 -1 0 18090 0 1 0 9000 42 0 0 25 0 11 0 839315724 865599488 24322 4294967295 134512640 134569956 3221224368 3221214672 1131509254 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211328 24322 13086 16 0 211312 0
vsize: 845312
[startup+110.017 s]
Raw data (loadavg): 1.10 1.07 1.02 2/64 18811
Raw data (stat): 18801 (java) R 18800 3394 3393 0 -1 0 18090 0 1 0 9972 43 0 0 25 0 11 0 839315724 865599488 24402 4294967295 134512640 134569956 3221224368 3221214568 1131308889 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211328 24402 13086 16 0 211312 0
vsize: 845312
[startup+120.017 s]
Raw data (loadavg): 1.08 1.07 1.02 2/64 18811
Raw data (stat): 18801 (java) R 18800 3394 3393 0 -1 0 18090 0 1 0 10947 43 0 0 25 0 11 0 839315724 865599488 24468 4294967295 134512640 134569956 3221224368 3221213976 1131604200 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211328 24468 13086 16 0 211312 0
vsize: 845312
[startup+130.018 s]
Raw data (loadavg): 1.07 1.06 1.02 2/64 18811
Raw data (stat): 18801 (java) R 18800 3394 3393 0 -1 0 18090 0 1 0 11921 43 0 0 25 0 11 0 839315724 865599488 24539 4294967295 134512640 134569956 3221224368 3221214672 1131510437 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211328 24539 13086 16 0 211312 0
vsize: 845312
[startup+140.018 s]
Raw data (loadavg): 1.06 1.06 1.02 2/64 18811
Raw data (stat): 18801 (java) R 18800 3394 3393 0 -1 0 18091 0 1 0 12899 44 0 0 24 0 11 0 839315724 865599488 24594 4294967295 134512640 134569956 3221224368 3221214568 1131308031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211328 24594 13086 16 0 211312 0
vsize: 845312
[startup+150.02 s]
Raw data (loadavg): 1.05 1.06 1.02 2/64 18811
Raw data (stat): 18801 (java) R 18800 3394 3393 0 -1 0 18091 0 1 0 13875 44 0 0 25 0 11 0 839315724 865599488 24650 4294967295 134512640 134569956 3221224368 3221214672 1131510397 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211328 24650 13086 16 0 211312 0
vsize: 845312
[startup+160.019 s]
Raw data (loadavg): 1.04 1.06 1.02 2/64 18811
Raw data (stat): 18801 (java) R 18800 3394 3393 0 -1 0 18091 0 1 0 14849 44 0 0 25 0 11 0 839315724 865599488 24708 4294967295 134512640 134569956 3221224368 3221214568 1131308033 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211328 24708 13086 16 0 211312 0
vsize: 845312
[startup+170.019 s]
Raw data (loadavg): 1.04 1.05 1.02 2/64 18811
Raw data (stat): 18801 (java) R 18800 3394 3393 0 -1 0 18091 0 1 0 15828 45 0 0 25 0 11 0 839315724 865599488 24779 4294967295 134512640 134569956 3221224368 3221214544 1131600815 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211328 24779 13086 16 0 211312 0
vsize: 845312
[startup+180.02 s]
Raw data (loadavg): 1.03 1.05 1.02 2/64 18811
Raw data (stat): 18801 (java) R 18800 3394 3393 0 -1 0 18091 0 1 0 16808 45 0 0 25 0 11 0 839315724 865599488 24831 4294967295 134512640 134569956 3221224368 3221214568 1131309399 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211328 24831 13086 16 0 211312 0
vsize: 845312
[startup+190.021 s]
Raw data (loadavg): 1.02 1.05 1.01 2/64 18811
Raw data (stat): 18801 (java) R 18800 3394 3393 0 -1 0 18091 0 1 0 17788 45 0 0 25 0 11 0 839315724 865599488 24873 4294967295 134512640 134569956 3221224368 3221214568 1131308293 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211328 24873 13086 16 0 211312 0
vsize: 845312
[startup+200.02 s]
Raw data (loadavg): 1.02 1.05 1.01 2/64 18811
Raw data (stat): 18801 (java) R 18800 3394 3393 0 -1 0 18091 0 1 0 18769 46 0 0 25 0 11 0 839315724 865599488 24915 4294967295 134512640 134569956 3221224368 3221214672 1131510441 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211328 24915 13086 16 0 211312 0
vsize: 845312
[startup+210.021 s]
Raw data (loadavg): 1.02 1.05 1.01 2/64 18811
Raw data (stat): 18801 (java) R 18800 3394 3393 0 -1 0 18091 0 1 0 19750 46 0 0 25 0 11 0 839315724 865599488 24957 4294967295 134512640 134569956 3221224368 3221214672 1131509442 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211328 24957 13086 16 0 211312 0
vsize: 845312
[startup+220.021 s]
Raw data (loadavg): 1.01 1.04 1.01 2/64 18811
Raw data (stat): 18801 (java) R 18800 3394 3393 0 -1 0 18091 0 1 0 20732 46 0 0 25 0 11 0 839315724 865599488 24997 4294967295 134512640 134569956 3221224368 3221214568 1131308275 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211328 24997 13086 16 0 211312 0
vsize: 845312
[startup+230.021 s]
Raw data (loadavg): 1.01 1.04 1.01 2/64 18811
Raw data (stat): 18801 (java) R 18800 3394 3393 0 -1 0 18091 0 1 0 21715 47 0 0 25 0 11 0 839315724 865599488 25031 4294967295 134512640 134569956 3221224368 3221214568 1131308934 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211328 25031 13086 16 0 211312 0
vsize: 845312
[startup+240.023 s]
Raw data (loadavg): 1.01 1.04 1.01 2/64 18811
Raw data (stat): 18801 (java) R 18800 3394 3393 0 -1 0 18091 0 1 0 22697 47 0 0 25 0 11 0 839315724 865599488 25066 4294967295 134512640 134569956 3221224368 3221214568 1131308400 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211328 25066 13086 16 0 211312 0
vsize: 845312
[startup+250.023 s]
Raw data (loadavg): 1.01 1.04 1.01 2/64 18811
Raw data (stat): 18801 (java) R 18800 3394 3393 0 -1 0 18091 0 1 0 23680 47 0 0 25 0 11 0 839315724 865599488 25109 4294967295 134512640 134569956 3221224368 3221214568 1131308645 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211328 25109 13086 16 0 211312 0
vsize: 845312
[startup+260.022 s]
Raw data (loadavg): 1.01 1.04 1.01 2/64 18811
Raw data (stat): 18801 (java) R 18800 3394 3393 0 -1 0 18091 0 1 0 24662 47 0 0 25 0 11 0 839315724 865599488 25142 4294967295 134512640 134569956 3221224368 3221214568 1131308020 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211328 25142 13086 16 0 211312 0
vsize: 845312
[startup+270.024 s]
Raw data (loadavg): 1.00 1.03 1.01 2/64 18811
Raw data (stat): 18801 (java) R 18800 3394 3393 0 -1 0 18091 0 1 0 25644 47 0 0 25 0 11 0 839315724 865599488 25178 4294967295 134512640 134569956 3221224368 3221214568 1131308402 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211328 25178 13086 16 0 211312 0
vsize: 845312
[startup+280.023 s]
Raw data (loadavg): 1.00 1.03 1.01 2/64 18811
Raw data (stat): 18801 (java) R 18800 3394 3393 0 -1 0 18091 0 1 0 26627 47 0 0 25 0 11 0 839315724 865599488 25211 4294967295 134512640 134569956 3221224368 3221214456 1131431475 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211328 25211 13086 16 0 211312 0
vsize: 845312
[startup+290.024 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 18811
Raw data (stat): 18801 (java) R 18800 3394 3393 0 -1 0 18091 0 1 0 27609 48 0 0 25 0 11 0 839315724 865599488 25243 4294967295 134512640 134569956 3221224368 3221213856 1085679313 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211328 25243 13086 16 0 211312 0
vsize: 845312
[startup+300.025 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 18811
Raw data (stat): 18801 (java) R 18800 3394 3393 0 -1 0 18091 0 1 0 28591 48 0 0 25 0 11 0 839315724 865599488 25279 4294967295 134512640 134569956 3221224368 3221214568 1131307948 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211328 25279 13086 16 0 211312 0
vsize: 845312
[startup+310.026 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 18811
Raw data (stat): 18801 (java) R 18800 3394 3393 0 -1 0 18091 0 1 0 29572 48 0 0 25 0 11 0 839315724 865599488 25320 4294967295 134512640 134569956 3221224368 3221214568 1131308429 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211328 25320 13086 16 0 211312 0
vsize: 845312
[startup+320.026 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 18811
Raw data (stat): 18801 (java) R 18800 3394 3393 0 -1 0 18091 0 1 0 30557 49 0 0 25 0 11 0 839315724 865599488 25346 4294967295 134512640 134569956 3221224368 3221214568 1131308153 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211328 25346 13086 16 0 211312 0
vsize: 845312
[startup+330.027 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 18811
Raw data (stat): 18801 (java) R 18800 3394 3393 0 -1 0 18091 0 1 0 31538 49 0 0 25 0 11 0 839315724 865599488 25378 4294967295 134512640 134569956 3221224368 3221214024 1085632310 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211328 25378 13086 16 0 211312 0
vsize: 845312
[startup+340.028 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 18811
Raw data (stat): 18801 (java) R 18800 3394 3393 0 -1 0 18091 0 1 0 32518 49 0 0 25 0 11 0 839315724 865599488 25406 4294967295 134512640 134569956 3221224368 3221214568 1131308383 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211328 25406 13086 16 0 211312 0
vsize: 845312
[startup+350.029 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 18811
Raw data (stat): 18801 (java) R 18800 3394 3393 0 -1 0 18091 0 1 0 33494 49 0 0 25 0 11 0 839315724 865599488 25435 4294967295 134512640 134569956 3221224368 3221214480 1131191917 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211328 25435 13086 16 0 211312 0
vsize: 845312
[startup+360.029 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 18811
Raw data (stat): 18801 (java) R 18800 3394 3393 0 -1 0 18091 0 1 0 34472 50 0 0 25 0 11 0 839315724 865599488 25461 4294967295 134512640 134569956 3221224368 3221214568 1131308402 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211328 25461 13086 16 0 211312 0
vsize: 845312
[startup+370.03 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 18811
Raw data (stat): 18801 (java) R 18800 3394 3393 0 -1 0 18091 0 1 0 35451 50 0 0 25 0 11 0 839315724 865599488 25536 4294967295 134512640 134569956 3221224368 3221213984 1131600786 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211328 25536 13086 16 0 211312 0
vsize: 845312
[startup+380.029 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 18811
Raw data (stat): 18801 (java) R 18800 3394 3393 0 -1 0 18091 0 1 0 36429 50 0 0 25 0 11 0 839315724 865599488 25574 4294967295 134512640 134569956 3221224368 3221214672 1131514024 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211328 25574 13086 16 0 211312 0
vsize: 845312
[startup+390.03 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 18811
Raw data (stat): 18801 (java) R 18800 3394 3393 0 -1 0 18091 0 1 0 37409 50 0 0 25 0 11 0 839315724 865599488 25613 4294967295 134512640 134569956 3221224368 3221214376 1131600681 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211328 25613 13086 16 0 211312 0
vsize: 845312
[startup+400.031 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 18811
Raw data (stat): 18801 (java) R 18800 3394 3393 0 -1 0 18091 0 1 0 38387 50 0 0 25 0 11 0 839315724 865599488 25651 4294967295 134512640 134569956 3221224368 3221214568 1131308527 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211328 25651 13086 16 0 211312 0
vsize: 845312
[startup+410.031 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 18811
Raw data (stat): 18801 (java) R 18800 3394 3393 0 -1 0 18091 0 1 0 39367 50 0 0 25 0 11 0 839315724 865599488 25686 4294967295 134512640 134569956 3221224368 3221214672 1131511342 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211328 25686 13086 16 0 211312 0
vsize: 845312
[startup+420.031 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 18811
Raw data (stat): 18801 (java) R 18800 3394 3393 0 -1 0 18091 0 1 0 40345 50 0 0 25 0 11 0 839315724 865599488 25734 4294967295 134512640 134569956 3221224368 3221214568 1131307970 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211328 25734 13086 16 0 211312 0
vsize: 845312
[startup+430.032 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 18811
Raw data (stat): 18801 (java) R 18800 3394 3393 0 -1 0 18091 0 1 0 41325 50 0 0 25 0 11 0 839315724 865599488 25769 4294967295 134512640 134569956 3221224368 3221214568 1131308383 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211328 25769 13086 16 0 211312 0
vsize: 845312
[startup+440.032 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 18811
Raw data (stat): 18801 (java) R 18800 3394 3393 0 -1 0 18091 0 1 0 42302 50 0 0 25 0 11 0 839315724 865599488 25810 4294967295 134512640 134569956 3221224368 3221214568 1131308934 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211328 25810 13086 16 0 211312 0
vsize: 845312
[startup+450.032 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 18811
Raw data (stat): 18801 (java) R 18800 3394 3393 0 -1 0 18091 0 1 0 43280 50 0 0 25 0 11 0 839315724 865599488 25845 4294967295 134512640 134569956 3221224368 3221214672 1131515981 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211328 25845 13086 16 0 211312 0
vsize: 845312
[startup+460.032 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 18811
Raw data (stat): 18801 (java) R 18800 3394 3393 0 -1 0 18091 0 1 0 44257 51 0 0 25 0 11 0 839315724 865599488 25882 4294967295 134512640 134569956 3221224368 3221214392 1131548678 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211328 25882 13086 16 0 211312 0
vsize: 845312
[startup+470.033 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 18811
Raw data (stat): 18801 (java) R 18800 3394 3393 0 -1 0 18091 0 1 0 45235 51 0 0 25 0 11 0 839315724 865599488 25935 4294967295 134512640 134569956 3221224368 3221214568 1131308668 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211328 25935 13086 16 0 211312 0
vsize: 845312
[startup+480.033 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 18811
Raw data (stat): 18801 (java) R 18800 3394 3393 0 -1 0 18091 0 1 0 46214 51 0 0 25 0 11 0 839315724 865599488 25971 4294967295 134512640 134569956 3221224368 3221214568 1131308386 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211328 25971 13086 16 0 211312 0
vsize: 845312
[startup+490.037 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 18811
Raw data (stat): 18801 (java) R 18800 3394 3393 0 -1 0 18091 0 1 0 47195 51 0 0 25 0 11 0 839315724 865599488 25995 4294967295 134512640 134569956 3221224368 3221214568 1131308637 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211328 25995 13086 16 0 211312 0
vsize: 845312
[startup+500.037 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 18811
Raw data (stat): 18801 (java) R 18800 3394 3393 0 -1 0 18091 0 1 0 48173 52 0 0 25 0 11 0 839315724 865599488 26029 4294967295 134512640 134569956 3221224368 3221214568 1131307972 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211328 26029 13086 16 0 211312 0
vsize: 845312
[startup+510.037 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 18811
Raw data (stat): 18801 (java) R 18800 3394 3393 0 -1 0 18091 0 1 0 49151 52 0 0 25 0 11 0 839315724 865599488 26055 4294967295 134512640 134569956 3221224368 3221214672 1131509304 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211328 26055 13086 16 0 211312 0
vsize: 845312
[startup+520.038 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 18811
Raw data (stat): 18801 (java) R 18800 3394 3393 0 -1 0 18091 0 1 0 50129 52 0 0 25 0 11 0 839315724 865599488 26096 4294967295 134512640 134569956 3221224368 3221214568 1131308372 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211328 26096 13086 16 0 211312 0
vsize: 845312
[startup+530.038 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 18811
Raw data (stat): 18801 (java) R 18800 3394 3393 0 -1 0 18091 0 1 0 51109 52 0 0 25 0 11 0 839315724 865599488 26124 4294967295 134512640 134569956 3221224368 3221214708 1130917158 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211328 26124 13086 16 0 211312 0
vsize: 845312
[startup+540.039 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 18811
Raw data (stat): 18801 (java) R 18800 3394 3393 0 -1 0 18091 0 1 0 52089 52 0 0 25 0 11 0 839315724 865599488 26156 4294967295 134512640 134569956 3221224368 3221214568 1131308161 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211328 26156 13086 16 0 211312 0
vsize: 845312
[startup+550.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18811
Raw data (stat): 18801 (java) R 18800 3394 3393 0 -1 0 18091 0 1 0 53071 52 0 0 25 0 11 0 839315724 865599488 26185 4294967295 134512640 134569956 3221224368 3221214568 1131308107 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211328 26185 13086 16 0 211312 0
vsize: 845312
[startup+560.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18811
Raw data (stat): 18801 (java) R 18800 3394 3393 0 -1 0 18091 0 1 0 54051 52 0 0 25 0 11 0 839315724 865599488 26214 4294967295 134512640 134569956 3221224368 3221214528 1131597722 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211328 26214 13086 16 0 211312 0
vsize: 845312
[startup+570.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18811
Raw data (stat): 18801 (java) R 18800 3394 3393 0 -1 0 18091 0 1 0 55031 52 0 0 25 0 11 0 839315724 865599488 26240 4294967295 134512640 134569956 3221224368 3221214672 1131509234 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211328 26240 13086 16 0 211312 0
vsize: 845312
[startup+580.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18811
Raw data (stat): 18801 (java) R 18800 3394 3393 0 -1 0 18091 0 1 0 56011 52 0 0 25 0 11 0 839315724 865599488 26266 4294967295 134512640 134569956 3221224368 3221214568 1131308429 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211328 26266 13086 16 0 211312 0
vsize: 845312
[startup+590.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18811
Raw data (stat): 18801 (java) R 18800 3394 3393 0 -1 0 18091 0 1 0 56991 53 0 0 25 0 11 0 839315724 865599488 26295 4294967295 134512640 134569956 3221224368 3221214568 1131307970 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211328 26295 13086 16 0 211312 0
vsize: 845312
[startup+600.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18811
Raw data (stat): 18801 (java) R 18800 3394 3393 0 -1 0 18091 0 1 0 57971 53 0 0 25 0 11 0 839315724 865599488 26322 4294967295 134512640 134569956 3221224368 3221214568 1131308570 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211328 26322 13086 16 0 211312 0
vsize: 845312
[startup+610.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18811
Raw data (stat): 18801 (java) R 18800 3394 3393 0 -1 0 18091 0 1 0 58952 53 0 0 25 0 11 0 839315724 865599488 26347 4294967295 134512640 134569956 3221224368 3221214672 1131510437 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211328 26347 13086 16 0 211312 0
vsize: 845312
[startup+620.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18811
Raw data (stat): 18801 (java) R 18800 3394 3393 0 -1 0 18091 0 1 0 59933 53 0 0 25 0 11 0 839315724 865599488 26368 4294967295 134512640 134569956 3221224368 3221214568 1131308844 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211328 26368 13086 16 0 211312 0
vsize: 845312
[startup+630.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18811
Raw data (stat): 18801 (java) R 18800 3394 3393 0 -1 0 18091 0 1 0 60915 53 0 0 25 0 11 0 839315724 865599488 26384 4294967295 134512640 134569956 3221224368 3221214568 1131308386 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211328 26384 13086 16 0 211312 0
vsize: 845312
[startup+640.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18811
Raw data (stat): 18801 (java) R 18800 3394 3393 0 -1 0 18091 0 1 0 61894 53 0 0 25 0 11 0 839315724 865599488 26408 4294967295 134512640 134569956 3221224368 3221214640 1131233472 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211328 26408 13086 16 0 211312 0
vsize: 845312
[startup+650.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18811
Raw data (stat): 18801 (java) R 18800 3394 3393 0 -1 0 18091 0 1 0 62873 53 0 0 25 0 11 0 839315724 865599488 26438 4294967295 134512640 134569956 3221224368 3221213960 1085632284 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211328 26438 13086 16 0 211312 0
vsize: 845312
[startup+660.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18811
Raw data (stat): 18801 (java) R 18800 3394 3393 0 -1 0 18091 0 1 0 63852 53 0 0 24 0 11 0 839315724 865599488 26467 4294967295 134512640 134569956 3221224368 3221214672 1131514050 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211328 26467 13086 16 0 211312 0
vsize: 845312
[startup+670.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18811
Raw data (stat): 18801 (java) R 18800 3394 3393 0 -1 0 18091 0 1 0 64833 54 0 0 25 0 11 0 839315724 865599488 26485 4294967295 134512640 134569956 3221224368 3221214568 1131307948 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211328 26485 13086 16 0 211312 0
vsize: 845312
[startup+680.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18811
Raw data (stat): 18801 (java) R 18800 3394 3393 0 -1 0 18091 0 1 0 65815 54 0 0 25 0 11 0 839315724 865599488 26507 4294967295 134512640 134569956 3221224368 3221214568 1131308668 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211328 26507 13086 16 0 211312 0
vsize: 845312
[startup+690.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18811
Raw data (stat): 18801 (java) R 18800 3394 3393 0 -1 0 18091 0 1 0 66795 55 0 0 24 0 11 0 839315724 865599488 26528 4294967295 134512640 134569956 3221224368 3221213312 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211328 26528 13086 16 0 211312 0
vsize: 845312
[startup+700.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18811
Raw data (stat): 18801 (java) R 18800 3394 3393 0 -1 0 18091 0 1 0 67788 55 0 0 25 0 11 0 839315724 865599488 26535 4294967295 134512640 134569956 3221224368 3221213820 1131603532 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211328 26535 13086 16 0 211312 0
vsize: 845312
[startup+710.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18811
Raw data (stat): 18801 (java) R 18800 3394 3393 0 -1 0 18091 0 1 0 68778 56 0 0 25 0 11 0 839315724 865599488 26540 4294967295 134512640 134569956 3221224368 3221214328 1131602705 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211328 26540 13086 16 0 211312 0
vsize: 845312
[startup+720.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18811
Raw data (stat): 18801 (java) R 18800 3394 3393 0 -1 0 18091 0 1 0 69753 56 0 0 25 0 11 0 839315724 865599488 26578 4294967295 134512640 134569956 3221224368 3221214464 1131468959 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211328 26578 13086 16 0 211312 0
vsize: 845312
[startup+730.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18811
Raw data (stat): 18801 (java) R 18800 3394 3393 0 -1 0 18091 0 1 0 70724 56 0 0 25 0 11 0 839315724 865599488 26609 4294967295 134512640 134569956 3221224368 3221214672 1131511374 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211328 26609 13086 16 0 211312 0
vsize: 845312
[startup+740.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18811
Raw data (stat): 18801 (java) R 18800 3394 3393 0 -1 0 18091 0 1 0 71690 57 0 0 25 0 11 0 839315724 865599488 26613 4294967295 134512640 134569956 3221224368 3221214376 1131600768 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211328 26613 13086 16 0 211312 0
vsize: 845312
[startup+750.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18811
Raw data (stat): 18801 (java) R 18800 3394 3393 0 -1 0 18091 0 1 0 72652 57 0 0 25 0 11 0 839315724 865599488 26614 4294967295 134512640 134569956 3221224368 3221214016 1085679759 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211328 26614 13086 16 0 211312 0
vsize: 845312
[startup+760.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18811
Raw data (stat): 18801 (java) R 18800 3394 3393 0 -1 0 18091 0 1 0 73601 57 0 0 25 0 11 0 839315724 865599488 26615 4294967295 134512640 134569956 3221224368 3221214568 1131308020 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211328 26615 13086 16 0 211312 0
vsize: 845312
[startup+770.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18811
Raw data (stat): 18801 (java) R 18800 3394 3393 0 -1 0 18091 0 1 0 74549 58 0 0 25 0 11 0 839315724 865599488 26850 4294967295 134512640 134569956 3221224368 3221214672 1131514094 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211328 26850 13086 16 0 211312 0
vsize: 845312
[startup+780.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18811
Raw data (stat): 18801 (java) R 18800 3394 3393 0 -1 0 18091 0 1 0 75504 58 0 0 25 0 11 0 839315724 865599488 27029 4294967295 134512640 134569956 3221224368 3221214104 1131602705 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211328 27029 13086 16 0 211312 0
vsize: 845312
[startup+790.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18811
Raw data (stat): 18801 (java) R 18800 3394 3393 0 -1 0 18091 0 1 0 76466 58 0 0 25 0 11 0 839315724 865599488 27189 4294967295 134512640 134569956 3221224368 3221214480 1131600840 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211328 27189 13086 16 0 211312 0
vsize: 845312
[startup+800.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18811
Raw data (stat): 18801 (java) R 18800 3394 3393 0 -1 0 18091 0 1 0 77432 59 0 0 25 0 11 0 839315724 865599488 27304 4294967295 134512640 134569956 3221224368 3221214568 1131308429 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211328 27304 13086 16 0 211312 0
vsize: 845312
[startup+810.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18811
Raw data (stat): 18801 (java) R 18800 3394 3393 0 -1 0 18091 0 1 0 78401 59 0 0 25 0 11 0 839315724 865599488 27435 4294967295 134512640 134569956 3221224368 3221214072 1085679313 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211328 27435 13086 16 0 211312 0
vsize: 845312
[startup+820.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18811
Raw data (stat): 18801 (java) R 18800 3394 3393 0 -1 0 18091 0 1 0 79374 59 0 0 25 0 11 0 839315724 865599488 27521 4294967295 134512640 134569956 3221224368 3221214568 1131307933 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211328 27521 13086 16 0 211312 0
vsize: 845312
[startup+830.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18811
Raw data (stat): 18801 (java) R 18800 3394 3393 0 -1 0 18091 0 1 0 80347 59 0 0 24 0 11 0 839315724 865599488 27600 4294967295 134512640 134569956 3221224368 3221214568 1131308582 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211328 27600 13086 16 0 211312 0
vsize: 845312
[startup+840.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18811
Raw data (stat): 18801 (java) S 18800 3394 3393 0 -1 0 18091 0 1 0 81321 59 0 0 25 0 11 0 839315724 865599488 27660 4294967295 134512640 134569956 3221224368 3221213208 1073952481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211328 27660 13086 16 0 211312 0
vsize: 845312
[startup+850.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18811
Raw data (stat): 18801 (java) R 18800 3394 3393 0 -1 0 18091 0 1 0 82294 60 0 0 25 0 11 0 839315724 865599488 27737 4294967295 134512640 134569956 3221224368 3221214568 1131308429 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211328 27737 13086 16 0 211312 0
vsize: 845312
[startup+860.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18811
Raw data (stat): 18801 (java) R 18800 3394 3393 0 -1 0 18091 0 1 0 83266 60 0 0 25 0 11 0 839315724 865599488 27811 4294967295 134512640 134569956 3221224368 3221214568 1131307970 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211328 27811 13086 16 0 211312 0
vsize: 845312
[startup+870.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18811
Raw data (stat): 18801 (java) R 18800 3394 3393 0 -1 0 18091 0 1 0 84241 60 0 0 25 0 11 0 839315724 865599488 27883 4294967295 134512640 134569956 3221224368 3221214424 1131600834 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211328 27883 13086 16 0 211312 0
vsize: 845312
[startup+880.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18811
Raw data (stat): 18801 (java) R 18800 3394 3393 0 -1 0 18091 0 1 0 85214 61 0 0 25 0 11 0 839315724 865599488 27957 4294967295 134512640 134569956 3221224368 3221214568 1131308955 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211328 27957 13086 16 0 211312 0
vsize: 845312
[startup+890.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18811
Raw data (stat): 18801 (java) R 18800 3394 3393 0 -1 0 18091 0 1 0 86191 61 0 0 25 0 11 0 839315724 865599488 28011 4294967295 134512640 134569956 3221224368 3221214568 1131308509 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211328 28011 13086 16 0 211312 0
vsize: 845312
[startup+900.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18811
Raw data (stat): 18801 (java) R 18800 3394 3393 0 -1 0 18091 0 1 0 87165 61 0 0 25 0 11 0 839315724 865599488 28078 4294967295 134512640 134569956 3221224368 3221214840 1131539655 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211328 28078 13086 16 0 211312 0
vsize: 845312
[startup+910.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18811
Raw data (stat): 18801 (java) R 18800 3394 3393 0 -1 0 18091 0 1 0 88141 61 0 0 25 0 11 0 839315724 865599488 28145 4294967295 134512640 134569956 3221224368 3221214048 1131602673 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211328 28145 13086 16 0 211312 0
vsize: 845312
[startup+920.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18811
Raw data (stat): 18801 (java) R 18800 3394 3393 0 -1 0 18091 0 1 0 89117 61 0 0 25 0 11 0 839315724 865599488 28209 4294967295 134512640 134569956 3221224368 3221214568 1131307937 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211328 28209 13086 16 0 211312 0
vsize: 845312
[startup+930.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18811
Raw data (stat): 18801 (java) R 18800 3394 3393 0 -1 0 18091 0 1 0 90094 62 0 0 25 0 11 0 839315724 865599488 28263 4294967295 134512640 134569956 3221224368 3221214568 1131308527 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211328 28263 13086 16 0 211312 0
vsize: 845312
[startup+940.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18811
Raw data (stat): 18801 (java) R 18800 3394 3393 0 -1 0 18091 0 1 0 91073 62 0 0 25 0 11 0 839315724 865599488 28321 4294967295 134512640 134569956 3221224368 3221214672 1131509254 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211328 28321 13086 16 0 211312 0
vsize: 845312
[startup+950.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18811
Raw data (stat): 18801 (java) R 18800 3394 3393 0 -1 0 18091 0 1 0 92052 62 0 0 25 0 11 0 839315724 865599488 28372 4294967295 134512640 134569956 3221224368 3221214536 1131410642 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211328 28372 13086 16 0 211312 0
vsize: 845312
[startup+960.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18811
Raw data (stat): 18801 (java) R 18800 3394 3393 0 -1 0 18091 0 1 0 93029 62 0 0 18 0 11 0 839315724 865599488 28425 4294967295 134512640 134569956 3221224368 3221214152 1131600828 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211328 28425 13086 16 0 211312 0
vsize: 845312
[startup+970.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18811
Raw data (stat): 18801 (java) R 18800 3394 3393 0 -1 0 18091 0 1 0 94010 62 0 0 25 0 11 0 839315724 865599488 28464 4294967295 134512640 134569956 3221224368 3221214672 1131509390 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211328 28464 13086 16 0 211312 0
vsize: 845312
[startup+980.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18811
Raw data (stat): 18801 (java) R 18800 3394 3393 0 -1 0 18091 0 1 0 94974 63 0 0 25 0 11 0 839315724 865599488 28518 4294967295 134512640 134569956 3221224368 3221214568 1131308447 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211328 28518 13086 16 0 211312 0
vsize: 845312
[startup+990.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18811
Raw data (stat): 18801 (java) R 18800 3394 3393 0 -1 0 18091 0 1 0 95938 63 0 0 25 0 11 0 839315724 865599488 28568 4294967295 134512640 134569956 3221224368 3221214672 1131510496 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211328 28568 13086 16 0 211312 0
vsize: 845312
[startup+1000.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18811
Raw data (stat): 18801 (java) R 18800 3394 3393 0 -1 0 18091 0 1 0 96903 63 0 0 25 0 11 0 839315724 865599488 28608 4294967295 134512640 134569956 3221224368 3221214568 1131308020 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211328 28608 13086 16 0 211312 0
vsize: 845312
[startup+1010.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18811
Raw data (stat): 18801 (java) R 18800 3394 3393 0 -1 0 18091 0 1 0 97876 63 0 0 25 0 11 0 839315724 865599488 28742 4294967295 134512640 134569956 3221224368 3221214568 1131308941 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211328 28742 13086 16 0 211312 0
vsize: 845312
[startup+1020.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18811
Raw data (stat): 18801 (java) R 18800 3394 3393 0 -1 0 18091 0 1 0 98859 63 0 0 25 0 11 0 839315724 865599488 28777 4294967295 134512640 134569956 3221224368 3221214384 1131602705 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211328 28777 13086 16 0 211312 0
vsize: 845312
[startup+1030.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18811
Raw data (stat): 18801 (java) R 18800 3394 3393 0 -1 0 18091 0 1 0 99841 63 0 0 25 0 11 0 839315724 865599488 28806 4294967295 134512640 134569956 3221224368 3221214568 1131308844 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211328 28806 13086 16 0 211312 0
vsize: 845312
[startup+1040.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18811
Raw data (stat): 18801 (java) R 18800 3394 3393 0 -1 0 18091 0 1 0 100825 63 0 0 25 0 11 0 839315724 865599488 28841 4294967295 134512640 134569956 3221224368 3221214568 1131308883 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211328 28841 13086 16 0 211312 0
vsize: 845312
[startup+1050.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18811
Raw data (stat): 18801 (java) R 18800 3394 3393 0 -1 0 18091 0 1 0 101807 63 0 0 25 0 11 0 839315724 865599488 28875 4294967295 134512640 134569956 3221224368 3221214568 1131307937 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211328 28875 13086 16 0 211312 0
vsize: 845312
[startup+1060.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18811
Raw data (stat): 18801 (java) R 18800 3394 3393 0 -1 0 18091 0 1 0 102788 64 0 0 25 0 11 0 839315724 865599488 28905 4294967295 134512640 134569956 3221224368 3221214036 1131603523 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211328 28905 13086 16 0 211312 0
vsize: 845312
[startup+1070.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18811
Raw data (stat): 18801 (java) R 18800 3394 3393 0 -1 0 18091 0 1 0 103772 64 0 0 25 0 11 0 839315724 865599488 28942 4294967295 134512640 134569956 3221224368 3221214672 1131509254 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211328 28942 13086 16 0 211312 0
vsize: 845312
[startup+1080.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18811
Raw data (stat): 18801 (java) R 18800 3394 3393 0 -1 0 18091 0 1 0 104753 65 0 0 25 0 11 0 839315724 865599488 28975 4294967295 134512640 134569956 3221224368 3221214384 1131602583 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211328 28975 13086 16 0 211312 0
vsize: 845312
[startup+1090.06 s]
Raw data (loadavg): 1.00 1.00 1.00 3/65 18812
Raw data (stat): 18801 (java) R 18800 3394 3393 0 -1 0 18091 0 1 0 105736 65 0 0 25 0 11 0 839315724 865599488 29008 4294967295 134512640 134569956 3221224368 3221214784 1131590368 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211328 29008 13086 16 0 211312 0
vsize: 845312
[startup+1100.06 s]
Raw data (loadavg): 1.07 1.02 1.00 2/64 18864
Raw data (stat): 18801 (java) R 18800 3394 3393 0 -1 0 18091 0 1 0 106716 65 0 0 25 0 11 0 839315724 865599488 29042 4294967295 134512640 134569956 3221224368 3221214480 1131192372 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211328 29042 13086 16 0 211312 0
vsize: 845312
[startup+1110.06 s]
Raw data (loadavg): 1.06 1.02 1.00 2/64 18864
Raw data (stat): 18801 (java) R 18800 3394 3393 0 -1 0 18091 0 1 0 107697 66 0 0 25 0 11 0 839315724 865599488 29081 4294967295 134512640 134569956 3221224368 3221214568 1131308383 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211328 29081 13086 16 0 211312 0
vsize: 845312
[startup+1120.06 s]
Raw data (loadavg): 1.05 1.01 1.00 2/64 18864
Raw data (stat): 18801 (java) R 18800 3394 3393 0 -1 0 18091 0 1 0 108678 66 0 0 25 0 11 0 839315724 865599488 29113 4294967295 134512640 134569956 3221224368 3221214264 1131600684 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211328 29113 13086 16 0 211312 0
vsize: 845312
[startup+1130.06 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 18864
Raw data (stat): 18801 (java) R 18800 3394 3393 0 -1 0 18091 0 1 0 109661 66 0 0 25 0 11 0 839315724 865599488 29147 4294967295 134512640 134569956 3221224368 3221213992 1131602597 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211328 29147 13086 16 0 211312 0
vsize: 845312
[startup+1140.06 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 18864
Raw data (stat): 18801 (java) R 18800 3394 3393 0 -1 0 18091 0 1 0 110642 67 0 0 25 0 11 0 839315724 865599488 29180 4294967295 134512640 134569956 3221224368 3221214568 1131308429 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211328 29180 13086 16 0 211312 0
vsize: 845312
[startup+1150.06 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 18864
Raw data (stat): 18801 (java) R 18800 3394 3393 0 -1 0 18091 0 1 0 111625 67 0 0 25 0 11 0 839315724 865599488 29214 4294967295 134512640 134569956 3221224368 3221214672 1131510437 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211328 29214 13086 16 0 211312 0
vsize: 845312
[startup+1160.06 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 18866
Raw data (stat): 18801 (java) R 18800 3394 3393 0 -1 0 18091 0 1 0 112606 67 0 0 25 0 11 0 839315724 865599488 29242 4294967295 134512640 134569956 3221224368 3221214436 1131602704 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211328 29242 13086 16 0 211312 0
vsize: 845312
[startup+1170.06 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 18866
Raw data (stat): 18801 (java) R 18800 3394 3393 0 -1 0 18091 0 1 0 113586 68 0 0 25 0 11 0 839315724 865599488 29275 4294967295 134512640 134569956 3221224368 3221214672 1131514013 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211328 29275 13086 16 0 211312 0
vsize: 845312
[startup+1180.06 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 18866
Raw data (stat): 18801 (java) R 18800 3394 3393 0 -1 0 18091 0 1 0 114568 68 0 0 25 0 11 0 839315724 865599488 29308 4294967295 134512640 134569956 3221224368 3221214568 1131308990 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211328 29308 13086 16 0 211312 0
vsize: 845312
[startup+1190.06 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 18866
Raw data (stat): 18801 (java) R 18800 3394 3393 0 -1 0 18091 0 1 0 115549 69 0 0 24 0 11 0 839315724 865599488 29341 4294967295 134512640 134569956 3221224368 3221214588 1130885120 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211328 29341 13086 16 0 211312 0
vsize: 845312
[startup+1200.06 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 18866
Raw data (stat): 18801 (java) R 18800 3394 3393 0 -1 0 18091 0 1 0 116531 69 0 0 25 0 11 0 839315724 865599488 29372 4294967295 134512640 134569956 3221224368 3221214568 1131308079 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211328 29372 13086 16 0 211312 0
vsize: 845312
[startup+1210.06 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 18866
Raw data (stat): 18801 (java) R 18800 3394 3393 0 -1 0 18091 0 1 0 117512 69 0 0 25 0 11 0 839315724 865599488 29406 4294967295 134512640 134569956 3221224368 3221214672 1131510408 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211328 29406 13086 16 0 211312 0
vsize: 845312
[startup+1220.06 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 18866
Raw data (stat): 18801 (java) R 18800 3394 3393 0 -1 0 18091 0 1 0 118495 70 0 0 25 0 11 0 839315724 865599488 29441 4294967295 134512640 134569956 3221224368 3221214568 1131307986 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211328 29441 13086 16 0 211312 0
vsize: 845312
[startup+1230.06 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 18866
Raw data (stat): 18801 (java) R 18800 3394 3393 0 -1 0 18091 0 1 0 119470 70 0 0 25 0 11 0 839315724 865599488 29471 4294967295 134512640 134569956 3221224368 3221214272 1131602705 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211328 29471 13086 16 0 211312 0
vsize: 845312
[startup+1240.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18866
Raw data (stat): 18801 (java) R 18800 3394 3393 0 -1 0 18091 0 1 0 120444 70 0 0 25 0 11 0 839315724 865599488 29500 4294967295 134512640 134569956 3221224368 3221213240 1085679272 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211328 29500 13086 16 0 211312 0
vsize: 845312
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1240.13 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 18868
Raw data (stat): 18801 (java) Z 18800 3394 3393 0 -1 1036 18091 8303 1 0 120445 70 2959 32 25 0 1 0 839315724 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.13
CPU time (s): 1235.09
CPU user time (s): 1234.05
CPU system time (s): 1.03584
CPU usage (%): 99.5932
Max. virtual memory (Kb): 845312
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####