PB'05 competition: run trace

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
General information on the benchmark

Name	normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-gen.opb
MD5SUM	44022c506f5e075b1877fcb50aa96dbc
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	13134
Biggest coefficient in the objective function	3456331981783040
Number of bits for the biggest coefficient in the objective function	52
Sum of the numbers in the objective function	2106245048465744992
Number of bits of the sum of numbers in the objective function	61
Biggest number in a constraint	3456331981783040
Number of bits of the biggest number in a constraint	52
Biggest sum of numbers in a constraint	2106245048465744992
Number of bits of the biggest sum of numbers	61
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.169973
Number of variables	19038
Total number of constraints	1074
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	144
Number of constraints which are nor clauses,nor cardinality constraints	930
Minimum length of a constraint	1
Maximum length of a constraint	264
Trace number 29639

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
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:        822716 kB
Buffers:         32280 kB
Cached:         159480 kB
SwapCached:          0 kB
Active:          65912 kB
Inactive:       128552 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        822464 kB
SwapTotal:     2097136 kB
SwapFree:      2096800 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6576 kB
Slab:            11684 kB
Committed_AS:    71796 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 10:12:34 (client local time) WITH STATUS 143 IN 1273.36 SECONDS
stats: 21042 7 1273.36 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/wulflinc3/normalized-mps-v2-20-10-gen.opb
c reading problem ... done. Time 107.142 ms.
c #vars     19038
c #constraints  1080
c starts	: 10
c conflicts	: 7791
c decisions	: 37615
c propagations	: 191507
c inspects	: 2609833
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 7790
c root simplifications	: 45
s UNKNOWN
c Total CPU time (ms) : 1259.14
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.93 0.98 0.99 2/54 32185
Raw data (stat): 32185 (runsolver) R 32184 20224 20223 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 779710143 1052672 99 4294967295 134512640 135381576 3221224400 3221219620 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0012 s]
Raw data (loadavg): 0.94 0.98 0.99 2/63 32194
Raw data (stat): 32185 (java) R 32184 20224 20223 0 -1 0 18010 0 1 0 876 37 0 0 25 0 10 0 779710143 853860352 19451 4294967295 134512640 134569956 3221224384 3221214432 1076461336 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208462 19451 13086 16 0 208446 0
vsize: 833848
[startup+20.0025 s]
Raw data (loadavg): 0.95 0.98 0.99 2/63 32194
Raw data (stat): 32185 (java) R 32184 20224 20223 0 -1 0 18010 0 1 0 1770 37 0 0 25 0 10 0 779710143 853860352 19995 4294967295 134512640 134569956 3221224384 3221214428 1076461336 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208462 19995 13086 16 0 208446 0
vsize: 833848
[startup+30.0033 s]
Raw data (loadavg): 0.95 0.98 0.99 2/63 32194
Raw data (stat): 32185 (java) R 32184 20224 20223 0 -1 0 18010 0 1 0 2656 37 0 0 25 0 10 0 779710143 853860352 20547 4294967295 134512640 134569956 3221224384 3221214664 1131182429 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208462 20547 13086 16 0 208446 0
vsize: 833848
[startup+40.0045 s]
Raw data (loadavg): 0.96 0.98 0.99 2/63 32194
Raw data (stat): 32185 (java) R 32184 20224 20223 0 -1 0 18010 0 1 0 3568 38 0 0 25 0 10 0 779710143 853995520 20889 4294967295 134512640 134569956 3221224384 3221214248 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208495 20889 13086 16 0 208479 0
vsize: 833980
[startup+50.0051 s]
Raw data (loadavg): 0.97 0.98 0.99 2/63 32194
Raw data (stat): 32185 (java) R 32184 20224 20223 0 -1 0 18010 0 1 0 4487 38 0 0 25 0 10 0 779710143 853995520 21072 4294967295 134512640 134569956 3221224384 3221214780 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208495 21072 13086 16 0 208479 0
vsize: 833980
[startup+60.0059 s]
Raw data (loadavg): 1.04 1.00 1.00 2/63 32194
Raw data (stat): 32185 (java) R 32184 20224 20223 0 -1 0 18018 0 1 0 5402 38 0 0 25 0 10 0 779710143 853860352 21198 4294967295 134512640 134569956 3221224384 3221214248 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208462 21198 13086 16 0 208446 0
vsize: 833848
[startup+70.0063 s]
Raw data (loadavg): 1.04 1.00 1.00 2/63 32194
Raw data (stat): 32185 (java) R 32184 20224 20223 0 -1 0 18019 0 1 0 6327 39 0 0 25 0 10 0 779710143 853860352 21452 4294967295 134512640 134569956 3221224384 3221214780 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208462 21452 13086 16 0 208446 0
vsize: 833848
[startup+80.0077 s]
Raw data (loadavg): 1.03 1.00 1.00 2/63 32194
Raw data (stat): 32185 (java) R 32184 20224 20223 0 -1 0 18020 0 1 0 7265 39 0 0 25 0 10 0 779710143 853860352 21617 4294967295 134512640 134569956 3221224384 3221214780 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208462 21617 13086 16 0 208446 0
vsize: 833848
[startup+90.0085 s]
Raw data (loadavg): 1.03 1.00 1.00 3/63 32194
Raw data (stat): 32185 (java) R 32184 20224 20223 0 -1 0 18020 0 1 0 8204 39 0 0 25 0 10 0 779710143 856215552 22217 4294967295 134512640 134569956 3221224384 3221214772 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209037 22217 13086 16 0 209021 0
vsize: 836148
[startup+100.009 s]
Raw data (loadavg): 1.02 1.00 1.00 2/63 32194
Raw data (stat): 32185 (java) R 32184 20224 20223 0 -1 0 18020 0 1 0 9146 40 0 0 25 0 10 0 779710143 854233088 21893 4294967295 134512640 134569956 3221224384 3221214248 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208553 21893 13086 16 0 208537 0
vsize: 834212
[startup+110.035 s]
Raw data (loadavg): 1.10 1.02 1.01 3/64 32195
Raw data (stat): 32185 (java) R 32184 20224 20223 0 -1 0 18063 0 1 0 10010 41 0 0 25 0 11 0 779710143 858447872 23465 4294967295 134512640 134569956 3221224384 3221214768 1130892668 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209582 23465 13086 16 0 209566 0
vsize: 838328
[startup+120.035 s]
Raw data (loadavg): 1.08 1.02 1.00 2/64 32195
Raw data (stat): 32185 (java) R 32184 20224 20223 0 -1 0 18084 0 1 0 10942 42 0 0 25 0 11 0 779710143 858316800 24773 4294967295 134512640 134569956 3221224384 3221214704 1131363262 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209550 24773 13086 16 0 209534 0
vsize: 838200
[startup+130.034 s]
Raw data (loadavg): 1.14 1.03 1.01 2/64 32195
Raw data (stat): 32185 (java) R 32184 20224 20223 0 -1 0 18086 0 1 0 11890 43 0 0 25 0 11 0 779710143 858316800 24790 4294967295 134512640 134569956 3221224384 3221214792 1131477778 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209550 24790 13086 16 0 209534 0
vsize: 838200
[startup+140.036 s]
Raw data (loadavg): 1.12 1.03 1.01 2/64 32195
Raw data (stat): 32185 (java) R 32184 20224 20223 0 -1 0 18086 0 1 0 12856 43 0 0 25 0 11 0 779710143 858316800 24796 4294967295 134512640 134569956 3221224384 3221214616 1131363252 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209550 24796 13086 16 0 209534 0
vsize: 838200
[startup+150.036 s]
Raw data (loadavg): 1.10 1.03 1.01 2/64 32195
Raw data (stat): 32185 (java) R 32184 20224 20223 0 -1 0 18087 0 1 0 13822 43 0 0 25 0 11 0 779710143 858316800 24798 4294967295 134512640 134569956 3221224384 3221214576 1131585314 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209550 24798 13086 16 0 209534 0
vsize: 838200
[startup+160.037 s]
Raw data (loadavg): 1.08 1.03 1.01 2/64 32195
Raw data (stat): 32185 (java) R 32184 20224 20223 0 -1 0 18087 0 1 0 14782 43 0 0 25 0 11 0 779710143 858316800 24889 4294967295 134512640 134569956 3221224384 3221214680 1131363795 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209550 24889 13086 16 0 209534 0
vsize: 838200
[startup+170.038 s]
Raw data (loadavg): 1.15 1.04 1.01 2/64 32195
Raw data (stat): 32185 (java) R 32184 20224 20223 0 -1 0 18087 0 1 0 15748 43 0 0 25 0 11 0 779710143 858316800 24968 4294967295 134512640 134569956 3221224384 3221214728 1131227776 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209550 24968 13086 16 0 209534 0
vsize: 838200
[startup+180.039 s]
Raw data (loadavg): 1.13 1.04 1.01 2/64 32195
Raw data (stat): 32185 (java) R 32184 20224 20223 0 -1 0 18087 0 1 0 16716 43 0 0 25 0 11 0 779710143 858316800 25016 4294967295 134512640 134569956 3221224384 3221214552 1131221480 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209550 25016 13086 16 0 209534 0
vsize: 838200
[startup+190.039 s]
Raw data (loadavg): 1.11 1.04 1.01 2/64 32195
Raw data (stat): 32185 (java) R 32184 20224 20223 0 -1 0 18087 0 1 0 17672 44 0 0 25 0 11 0 779710143 858316800 25099 4294967295 134512640 134569956 3221224384 3221214576 1131422013 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209550 25099 13086 16 0 209534 0
vsize: 838200
[startup+200.04 s]
Raw data (loadavg): 1.09 1.04 1.01 2/64 32195
Raw data (stat): 32185 (java) R 32184 20224 20223 0 -1 0 18088 0 1 0 18613 44 0 0 24 0 11 0 779710143 858316800 25496 4294967295 134512640 134569956 3221224384 3221214464 1131318007 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209550 25496 13086 16 0 209534 0
vsize: 838200
[startup+210.04 s]
Raw data (loadavg): 1.08 1.03 1.01 2/64 32195
Raw data (stat): 32185 (java) R 32184 20224 20223 0 -1 0 18088 0 1 0 19559 44 0 0 24 0 11 0 779710143 858316800 25707 4294967295 134512640 134569956 3221224384 3221214572 1131314720 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209550 25707 13086 16 0 209534 0
vsize: 838200
[startup+220.041 s]
Raw data (loadavg): 1.06 1.03 1.01 2/64 32195
Raw data (stat): 32185 (java) R 32184 20224 20223 0 -1 0 18088 0 1 0 20518 44 0 0 25 0 11 0 779710143 858316800 25934 4294967295 134512640 134569956 3221224384 3221214464 1131318333 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209550 25934 13086 16 0 209534 0
vsize: 838200
[startup+230.041 s]
Raw data (loadavg): 1.05 1.03 1.00 2/64 32195
Raw data (stat): 32185 (java) R 32184 20224 20223 0 -1 0 18088 0 1 0 21473 44 0 0 25 0 11 0 779710143 858316800 26410 4294967295 134512640 134569956 3221224384 3221214576 1131421955 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209550 26410 13086 16 0 209534 0
vsize: 838200
[startup+240.042 s]
Raw data (loadavg): 1.05 1.03 1.00 2/64 32195
Raw data (stat): 32185 (java) R 32184 20224 20223 0 -1 0 18088 0 1 0 22426 45 0 0 25 0 11 0 779710143 858316800 26955 4294967295 134512640 134569956 3221224384 3221214464 1131317776 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209550 26955 13086 16 0 209534 0
vsize: 838200
[startup+250.042 s]
Raw data (loadavg): 1.04 1.03 1.00 2/64 32195
Raw data (stat): 32185 (java) R 32184 20224 20223 0 -1 0 18088 0 1 0 23385 45 0 0 25 0 11 0 779710143 858316800 27300 4294967295 134512640 134569956 3221224384 3221214728 1131227793 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209550 27300 13086 16 0 209534 0
vsize: 838200
[startup+260.044 s]
Raw data (loadavg): 1.03 1.03 1.00 2/64 32195
Raw data (stat): 32185 (java) R 32184 20224 20223 0 -1 0 18088 0 1 0 24337 45 0 0 25 0 11 0 779710143 858316800 27551 4294967295 134512640 134569956 3221224384 3221214680 1131363880 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209550 27551 13086 16 0 209534 0
vsize: 838200
[startup+270.044 s]
Raw data (loadavg): 1.03 1.03 1.00 2/64 32195
Raw data (stat): 32185 (java) R 32184 20224 20223 0 -1 0 18088 0 1 0 25287 45 0 0 25 0 11 0 779710143 858316800 27898 4294967295 134512640 134569956 3221224384 3221214608 1131588697 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209550 27898 13086 16 0 209534 0
vsize: 838200
[startup+280.045 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 32195
Raw data (stat): 32185 (java) R 32184 20224 20223 0 -1 0 18088 0 1 0 26238 45 0 0 25 0 11 0 779710143 858316800 28093 4294967295 134512640 134569956 3221224384 3221214592 1131226908 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209550 28093 13086 16 0 209534 0
vsize: 838200
[startup+290.046 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 32195
Raw data (stat): 32185 (java) R 32184 20224 20223 0 -1 0 18088 0 1 0 27187 45 0 0 25 0 11 0 779710143 858316800 28379 4294967295 134512640 134569956 3221224384 3221214552 1131318148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209550 28379 13086 16 0 209534 0
vsize: 838200
[startup+300.047 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 32195
Raw data (stat): 32185 (java) R 32184 20224 20223 0 -1 0 18088 0 1 0 28136 45 0 0 25 0 11 0 779710143 858316800 28670 4294967295 134512640 134569956 3221224384 3221214552 1131487023 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209550 28670 13086 16 0 209534 0
vsize: 838200
[startup+310.047 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 32195
Raw data (stat): 32185 (java) R 32184 20224 20223 0 -1 0 18088 0 1 0 29084 45 0 0 25 0 11 0 779710143 858316800 28941 4294967295 134512640 134569956 3221224384 3221214632 1131221480 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209550 28941 13086 16 0 209534 0
vsize: 838200
[startup+320.048 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 32195
Raw data (stat): 32185 (java) R 32184 20224 20223 0 -1 0 18088 0 1 0 30042 45 0 0 25 0 11 0 779710143 858316800 29193 4294967295 134512640 134569956 3221224384 3221214680 1131363443 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209550 29193 13086 16 0 209534 0
vsize: 838200
[startup+330.048 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 32195
Raw data (stat): 32185 (java) R 32184 20224 20223 0 -1 0 18088 0 1 0 31003 46 0 0 25 0 11 0 779710143 858316800 29353 4294967295 134512640 134569956 3221224384 3221214552 1131487079 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209550 29353 13086 16 0 209534 0
vsize: 838200
[startup+340.049 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 32195
Raw data (stat): 32185 (java) R 32184 20224 20223 0 -1 0 18088 0 1 0 31944 46 0 0 25 0 11 0 779710143 858316800 29529 4294967295 134512640 134569956 3221224384 3221214680 1131363262 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209550 29529 13086 16 0 209534 0
vsize: 838200
[startup+350.05 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 32195
Raw data (stat): 32185 (java) R 32184 20224 20223 0 -1 0 18088 0 1 0 32895 46 0 0 25 0 11 0 779710143 858316800 29773 4294967295 134512640 134569956 3221224384 3221214680 1131363695 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209550 29773 13086 16 0 209534 0
vsize: 838200
[startup+360.05 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 32195
Raw data (stat): 32185 (java) R 32184 20224 20223 0 -1 0 18088 0 1 0 33835 46 0 0 25 0 11 0 779710143 858316800 29963 4294967295 134512640 134569956 3221224384 3221214024 1131637188 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209550 29963 13086 16 0 209534 0
vsize: 838200
[startup+370.05 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 32195
Raw data (stat): 32185 (java) R 32184 20224 20223 0 -1 0 18088 0 1 0 34784 46 0 0 25 0 11 0 779710143 858316800 30175 4294967295 134512640 134569956 3221224384 3221214656 1131421955 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209550 30175 13086 16 0 209534 0
vsize: 838200
[startup+380.05 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 32195
Raw data (stat): 32185 (java) R 32184 20224 20223 0 -1 0 18088 0 1 0 35732 46 0 0 25 0 11 0 779710143 858316800 30399 4294967295 134512640 134569956 3221224384 3221214552 1131318086 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209550 30399 13086 16 0 209534 0
vsize: 838200
[startup+390.051 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 32195
Raw data (stat): 32185 (java) R 32184 20224 20223 0 -1 0 18088 0 1 0 36682 46 0 0 25 0 11 0 779710143 858316800 30593 4294967295 134512640 134569956 3221224384 3221213912 1131637221 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209550 30593 13086 16 0 209534 0
vsize: 838200
[startup+400.052 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 32195
Raw data (stat): 32185 (java) R 32184 20224 20223 0 -1 0 18088 0 1 0 37632 46 0 0 25 0 11 0 779710143 858316800 30791 4294967295 134512640 134569956 3221224384 3221213888 1131634263 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209550 30791 13086 16 0 209534 0
vsize: 838200
[startup+410.052 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 32195
Raw data (stat): 32185 (java) R 32184 20224 20223 0 -1 0 18088 0 1 0 38581 46 0 0 25 0 11 0 779710143 858316800 30989 4294967295 134512640 134569956 3221224384 3221214384 1131634263 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209550 30989 13086 16 0 209534 0
vsize: 838200
[startup+420.053 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 32195
Raw data (stat): 32185 (java) R 32184 20224 20223 0 -1 0 18088 0 1 0 39531 46 0 0 25 0 11 0 779710143 858316800 31190 4294967295 134512640 134569956 3221224384 3221214592 1131225850 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209550 31190 13086 16 0 209534 0
vsize: 838200
[startup+430.052 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 32195
Raw data (stat): 32185 (java) R 32184 20224 20223 0 -1 0 18088 0 1 0 40480 46 0 0 25 0 11 0 779710143 858316800 31392 4294967295 134512640 134569956 3221224384 3221214136 1131637191 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209550 31392 13086 16 0 209534 0
vsize: 838200
[startup+440.052 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 32195
Raw data (stat): 32185 (java) R 32184 20224 20223 0 -1 0 18088 0 1 0 41429 46 0 0 25 0 11 0 779710143 858316800 31591 4294967295 134512640 134569956 3221224384 3221214648 1131481312 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209550 31591 13086 16 0 209534 0
vsize: 838200
[startup+450.053 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 32195
Raw data (stat): 32185 (java) R 32184 20224 20223 0 -1 0 18088 0 1 0 42377 46 0 0 25 0 11 0 779710143 858316800 31789 4294967295 134512640 134569956 3221224384 3221214680 1131363289 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209550 31789 13086 16 0 209534 0
vsize: 838200
[startup+460.053 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 32195
Raw data (stat): 32185 (java) R 32184 20224 20223 0 -1 0 18088 0 1 0 43344 46 0 0 25 0 11 0 779710143 858316800 32049 4294967295 134512640 134569956 3221224384 3221213520 1085679305 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209550 32049 13086 16 0 209534 0
vsize: 838200
[startup+470.054 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 32195
Raw data (stat): 32185 (java) R 32184 20224 20223 0 -1 0 18088 0 1 0 44303 46 0 0 25 0 11 0 779710143 858316800 32216 4294967295 134512640 134569956 3221224384 3221214728 1131227854 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209550 32216 13086 16 0 209534 0
vsize: 838200
[startup+480.054 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 32195
Raw data (stat): 32185 (java) R 32184 20224 20223 0 -1 0 18088 0 1 0 45264 46 0 0 25 0 11 0 779710143 858316800 32337 4294967295 134512640 134569956 3221224384 3221214040 1131631911 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209550 32337 13086 16 0 209534 0
vsize: 838200
[startup+490.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32195
Raw data (stat): 32185 (java) S 32184 20224 20223 0 -1 0 18088 0 1 0 46211 46 0 0 25 0 11 0 779710143 858316800 32587 4294967295 134512640 134569956 3221224384 3221213424 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209550 32587 13086 16 0 209534 0
vsize: 838200
[startup+500.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32195
Raw data (stat): 32185 (java) R 32184 20224 20223 0 -1 0 18088 0 1 0 47152 46 0 0 24 0 11 0 779710143 858316800 32783 4294967295 134512640 134569956 3221224384 3221213960 1085679331 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209550 32783 13086 16 0 209534 0
vsize: 838200
[startup+510.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32195
Raw data (stat): 32185 (java) R 32184 20224 20223 0 -1 0 18088 0 1 0 48101 47 0 0 25 0 11 0 779710143 858316800 32964 4294967295 134512640 134569956 3221224384 3221214728 1131227776 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209550 32964 13086 16 0 209534 0
vsize: 838200
[startup+520.057 s]
Raw data (loadavg): 1.07 1.02 1.00 2/64 32248
Raw data (stat): 32185 (java) R 32184 20224 20223 0 -1 0 18088 0 1 0 49048 47 0 0 25 0 11 0 779710143 858316800 33169 4294967295 134512640 134569956 3221224384 3221214384 1131634204 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209550 33169 13086 16 0 209534 0
vsize: 838200
[startup+530.057 s]
Raw data (loadavg): 1.06 1.02 1.00 2/64 32248
Raw data (stat): 32185 (java) R 32184 20224 20223 0 -1 0 18088 0 1 0 49996 47 0 0 25 0 11 0 779710143 858316800 33365 4294967295 134512640 134569956 3221224384 3221214488 1131631911 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209550 33365 13086 16 0 209534 0
vsize: 838200
[startup+540.058 s]
Raw data (loadavg): 1.05 1.02 1.00 2/64 32248
Raw data (stat): 32185 (java) R 32184 20224 20223 0 -1 0 18088 0 1 0 50945 47 0 0 25 0 11 0 779710143 858316800 33522 4294967295 134512640 134569956 3221224384 3221214592 1131225848 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209550 33522 13086 16 0 209534 0
vsize: 838200
[startup+550.059 s]
Raw data (loadavg): 1.04 1.02 1.00 2/64 32248
Raw data (stat): 32185 (java) R 32184 20224 20223 0 -1 0 18088 0 1 0 51894 47 0 0 24 0 11 0 779710143 858316800 33703 4294967295 134512640 134569956 3221224384 3221214604 1130885169 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209550 33703 13086 16 0 209534 0
vsize: 838200
[startup+560.059 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 32248
Raw data (stat): 32185 (java) R 32184 20224 20223 0 -1 0 18088 0 1 0 52852 47 0 0 25 0 11 0 779710143 858316800 33852 4294967295 134512640 134569956 3221224384 3221214552 1131318035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209550 33852 13086 16 0 209534 0
vsize: 838200
[startup+570.059 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 32248
Raw data (stat): 32185 (java) R 32184 20224 20223 0 -1 0 18088 0 1 0 53801 48 0 0 25 0 11 0 779710143 858316800 34029 4294967295 134512640 134569956 3221224384 3221214096 1131631844 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209550 34029 13086 16 0 209534 0
vsize: 838200
[startup+580.06 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 32250
Raw data (stat): 32185 (java) R 32184 20224 20223 0 -1 0 18088 0 1 0 54750 48 0 0 25 0 11 0 779710143 858316800 34213 4294967295 134512640 134569956 3221224384 3221214680 1131363692 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209550 34213 13086 16 0 209534 0
vsize: 838200
[startup+590.06 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 32250
Raw data (stat): 32185 (java) R 32184 20224 20223 0 -1 0 18088 0 1 0 55697 48 0 0 25 0 11 0 779710143 858316800 34427 4294967295 134512640 134569956 3221224384 3221214680 1131363934 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209550 34427 13086 16 0 209534 0
vsize: 838200
[startup+600.064 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 32250
Raw data (stat): 32185 (java) S 32184 20224 20223 0 -1 0 18088 0 1 0 56654 48 0 0 25 0 11 0 779710143 858316800 34577 4294967295 134512640 134569956 3221224384 3221213352 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209550 34577 13086 16 0 209534 0
vsize: 838200
[startup+610.065 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 32250
Raw data (stat): 32185 (java) R 32184 20224 20223 0 -1 0 18088 0 1 0 57605 48 0 0 25 0 11 0 779710143 858316800 34755 4294967295 134512640 134569956 3221224384 3221214608 1131224217 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209550 34755 13086 16 0 209534 0
vsize: 838200
[startup+620.065 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 32250
Raw data (stat): 32185 (java) R 32184 20224 20223 0 -1 0 18088 0 1 0 58554 48 0 0 25 0 11 0 779710143 858316800 34941 4294967295 134512640 134569956 3221224384 3221214680 1131363262 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209550 34941 13086 16 0 209534 0
vsize: 838200
[startup+630.065 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 32250
Raw data (stat): 32185 (java) R 32184 20224 20223 0 -1 0 18088 0 1 0 59513 48 0 0 25 0 11 0 779710143 858316800 35073 4294967295 134512640 134569956 3221224384 3221214552 1131317695 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209550 35073 13086 16 0 209534 0
vsize: 838200
[startup+640.067 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 32250
Raw data (stat): 32185 (java) R 32184 20224 20223 0 -1 0 18088 0 1 0 60461 48 0 0 25 0 11 0 779710143 858316800 35259 4294967295 134512640 134569956 3221224384 3221213832 1131634220 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209550 35259 13086 16 0 209534 0
vsize: 838200
[startup+650.07 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 32250
Raw data (stat): 32185 (java) S 32184 20224 20223 0 -1 0 18088 0 1 0 61418 48 0 0 25 0 11 0 779710143 858316800 35413 4294967295 134512640 134569956 3221224384 3221213424 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209550 35413 13086 16 0 209534 0
vsize: 838200
[startup+660.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32250
Raw data (stat): 32185 (java) R 32184 20224 20223 0 -1 0 18088 0 1 0 62367 48 0 0 25 0 11 0 779710143 858316800 35595 4294967295 134512640 134569956 3221224384 3221213752 1131636375 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209550 35595 13086 16 0 209534 0
vsize: 838200
[startup+670.071 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32250
Raw data (stat): 32185 (java) R 32184 20224 20223 0 -1 0 18088 0 1 0 63325 48 0 0 25 0 11 0 779710143 858316800 35747 4294967295 134512640 134569956 3221224384 3221214680 1131363695 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209550 35747 13086 16 0 209534 0
vsize: 838200
[startup+680.071 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32250
Raw data (stat): 32185 (java) R 32184 20224 20223 0 -1 0 18088 0 1 0 64273 48 0 0 25 0 11 0 779710143 858316800 35929 4294967295 134512640 134569956 3221224384 3221214680 1131363793 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209550 35929 13086 16 0 209534 0
vsize: 838200
[startup+690.073 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32250
Raw data (stat): 32185 (java) R 32184 20224 20223 0 -1 0 18088 0 1 0 65230 48 0 0 25 0 11 0 779710143 858316800 36108 4294967295 134512640 134569956 3221224384 3221213656 1131631919 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209550 36108 13086 16 0 209534 0
vsize: 838200
[startup+700.073 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32250
Raw data (stat): 32185 (java) R 32184 20224 20223 0 -1 0 18088 0 1 0 66198 48 0 0 25 0 11 0 779710143 858316800 36182 4294967295 134512640 134569956 3221224384 3221214128 1085679343 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209550 36182 13086 16 0 209534 0
vsize: 838200
[startup+710.073 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32250
Raw data (stat): 32185 (java) S 32184 20224 20223 0 -1 0 18088 0 1 0 67172 49 0 0 25 0 11 0 779710143 858316800 36293 4294967295 134512640 134569956 3221224384 3221213224 1073952481 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209550 36293 13086 16 0 209534 0
vsize: 838200
[startup+720.073 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32250
Raw data (stat): 32185 (java) R 32184 20224 20223 0 -1 0 18088 0 1 0 68124 49 0 0 25 0 11 0 779710143 858316800 36438 4294967295 134512640 134569956 3221224384 3221213928 1131631965 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209550 36438 13086 16 0 209534 0
vsize: 838200
[startup+730.073 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32250
Raw data (stat): 32185 (java) R 32184 20224 20223 0 -1 0 18088 0 1 0 69082 49 0 0 25 0 11 0 779710143 858316800 36581 4294967295 134512640 134569956 3221224384 3221214372 1131636384 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209550 36581 13086 16 0 209534 0
vsize: 838200
[startup+740.073 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32250
Raw data (stat): 32185 (java) R 32184 20224 20223 0 -1 0 18088 0 1 0 70040 49 0 0 25 0 11 0 779710143 858316800 36723 4294967295 134512640 134569956 3221224384 3221214848 1131386897 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209550 36723 13086 16 0 209534 0
vsize: 838200
[startup+750.074 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32250
Raw data (stat): 32185 (java) R 32184 20224 20223 0 -1 0 18088 0 1 0 70999 49 0 0 25 0 11 0 779710143 858316800 36840 4294967295 134512640 134569956 3221224384 3221214624 1131361244 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209550 36840 13086 16 0 209534 0
vsize: 838200
[startup+760.074 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32250
Raw data (stat): 32185 (java) R 32184 20224 20223 0 -1 0 18088 0 1 0 71957 50 0 0 25 0 11 0 779710143 858316800 36986 4294967295 134512640 134569956 3221224384 3221214728 1131227917 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209550 36986 13086 16 0 209534 0
vsize: 838200
[startup+770.074 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32250
Raw data (stat): 32185 (java) R 32184 20224 20223 0 -1 0 18088 0 1 0 72914 50 0 0 25 0 11 0 779710143 858316800 37150 4294967295 134512640 134569956 3221224384 3221214488 1131607998 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209550 37150 13086 16 0 209534 0
vsize: 838200
[startup+780.074 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32250
Raw data (stat): 32185 (java) R 32184 20224 20223 0 -1 0 18088 0 1 0 73873 50 0 0 25 0 11 0 779710143 858316800 37312 4294967295 134512640 134569956 3221224384 3221213832 1131634257 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209550 37312 13086 16 0 209534 0
vsize: 838200
[startup+790.075 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32250
Raw data (stat): 32185 (java) R 32184 20224 20223 0 -1 0 18088 0 1 0 74831 50 0 0 25 0 11 0 779710143 858316800 37440 4294967295 134512640 134569956 3221224384 3221214680 1131363724 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209550 37440 13086 16 0 209534 0
vsize: 838200
[startup+800.075 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32250
Raw data (stat): 32185 (java) S 32184 20224 20223 0 -1 0 18088 0 1 0 75781 51 0 0 25 0 11 0 779710143 858316800 37568 4294967295 134512640 134569956 3221224384 3221213192 1073952481 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209550 37568 13086 16 0 209534 0
vsize: 838200
[startup+810.076 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32250
Raw data (stat): 32185 (java) R 32184 20224 20223 0 -1 0 18088 0 1 0 76737 51 0 0 24 0 11 0 779710143 858316800 37985 4294967295 134512640 134569956 3221224384 3221214788 1131389696 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209550 37985 13086 16 0 209534 0
vsize: 838200
[startup+820.077 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32250
Raw data (stat): 32185 (java) R 32184 20224 20223 0 -1 0 18088 0 1 0 77698 51 0 0 25 0 11 0 779710143 858316800 38061 4294967295 134512640 134569956 3221224384 3221214728 1131216676 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209550 38061 13086 16 0 209534 0
vsize: 838200
[startup+830.077 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32250
Raw data (stat): 32185 (java) R 32184 20224 20223 0 -1 0 18088 0 1 0 78667 52 0 0 25 0 11 0 779710143 858316800 38161 4294967295 134512640 134569956 3221224384 3221213492 1085632272 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209550 38161 13086 16 0 209534 0
vsize: 838200
[startup+840.078 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32252
Raw data (stat): 32185 (java) R 32184 20224 20223 0 -1 0 18088 0 1 0 79626 53 0 0 25 0 11 0 779710143 858316800 38326 4294967295 134512640 134569956 3221224384 3221214432 1131631722 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209550 38326 13086 16 0 209534 0
vsize: 838200
[startup+850.079 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32252
Raw data (stat): 32185 (java) R 32184 20224 20223 0 -1 0 18088 0 1 0 80586 53 0 0 25 0 11 0 779710143 858316800 38460 4294967295 134512640 134569956 3221224384 3221214628 1131127964 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209550 38460 13086 16 0 209534 0
vsize: 838200
[startup+860.078 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32252
Raw data (stat): 32185 (java) R 32184 20224 20223 0 -1 0 18088 0 1 0 81548 53 0 0 25 0 11 0 779710143 858316800 38639 4294967295 134512640 134569956 3221224384 3221214784 1131464680 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209550 38639 13086 16 0 209534 0
vsize: 838200
[startup+870.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32252
Raw data (stat): 32185 (java) R 32184 20224 20223 0 -1 0 18088 0 1 0 82508 53 0 0 25 0 11 0 779710143 858316800 38718 4294967295 134512640 134569956 3221224384 3221214680 1131363888 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209550 38718 13086 16 0 209534 0
vsize: 838200
[startup+880.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32252
Raw data (stat): 32185 (java) R 32184 20224 20223 0 -1 0 18088 0 1 0 83467 54 0 0 25 0 11 0 779710143 858316800 38842 4294967295 134512640 134569956 3221224384 3221214424 1131613891 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209550 38842 13086 16 0 209534 0
vsize: 838200
[startup+890.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32252
Raw data (stat): 32185 (java) R 32184 20224 20223 0 -1 0 18088 0 1 0 84426 54 0 0 25 0 11 0 779710143 858316800 38982 4294967295 134512640 134569956 3221224384 3221214680 1131363233 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209550 38982 13086 16 0 209534 0
vsize: 838200
[startup+900.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32252
Raw data (stat): 32185 (java) R 32184 20224 20223 0 -1 0 18088 0 1 0 85385 55 0 0 25 0 11 0 779710143 858316800 39119 4294967295 134512640 134569956 3221224384 3221214632 1131221480 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209550 39119 13086 16 0 209534 0
vsize: 838200
[startup+910.081 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32252
Raw data (stat): 32185 (java) R 32184 20224 20223 0 -1 0 18088 0 1 0 86353 55 0 0 25 0 11 0 779710143 858316800 39204 4294967295 134512640 134569956 3221224384 3221214624 1131361200 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209550 39204 13086 16 0 209534 0
vsize: 838200
[startup+920.081 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32252
Raw data (stat): 32185 (java) R 32184 20224 20223 0 -1 0 18088 0 1 0 87312 55 0 0 25 0 11 0 779710143 858316800 39340 4294967295 134512640 134569956 3221224384 3221213792 1085632310 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209550 39340 13086 16 0 209534 0
vsize: 838200
[startup+930.082 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32252
Raw data (stat): 32185 (java) R 32184 20224 20223 0 -1 0 18088 0 1 0 88271 56 0 0 25 0 11 0 779710143 858316800 39505 4294967295 134512640 134569956 3221224384 3221214632 1131221377 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209550 39505 13086 16 0 209534 0
vsize: 838200
[startup+940.084 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32252
Raw data (stat): 32185 (java) R 32184 20224 20223 0 -1 0 18088 0 1 0 89230 56 0 0 25 0 11 0 779710143 858316800 39603 4294967295 134512640 134569956 3221224384 3221213760 1131631900 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209550 39603 13086 16 0 209534 0
vsize: 838200
[startup+950.085 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32252
Raw data (stat): 32185 (java) R 32184 20224 20223 0 -1 0 18088 0 1 0 90189 57 0 0 25 0 11 0 779710143 858316800 39768 4294967295 134512640 134569956 3221224384 3221214624 1131361189 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209550 39768 13086 16 0 209534 0
vsize: 838200
[startup+960.084 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32252
Raw data (stat): 32185 (java) R 32184 20224 20223 0 -1 0 18088 0 1 0 91158 57 0 0 25 0 11 0 779710143 858316800 39834 4294967295 134512640 134569956 3221224384 3221213440 1131634257 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209550 39834 13086 16 0 209534 0
vsize: 838200
[startup+970.085 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32252
Raw data (stat): 32185 (java) R 32184 20224 20223 0 -1 0 18088 0 1 0 92117 57 0 0 25 0 11 0 779710143 858316800 39968 4294967295 134512640 134569956 3221224384 3221214728 1131227776 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209550 39968 13086 16 0 209534 0
vsize: 838200
[startup+980.086 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32252
Raw data (stat): 32185 (java) R 32184 20224 20223 0 -1 0 18088 0 1 0 93075 57 0 0 25 0 11 0 779710143 858316800 40099 4294967295 134512640 134569956 3221224384 3221214328 1076461501 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209550 40099 13086 16 0 209534 0
vsize: 838200
[startup+990.087 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32252
Raw data (stat): 32185 (java) R 32184 20224 20223 0 -1 0 18088 0 1 0 94044 57 0 0 25 0 11 0 779710143 858316800 40199 4294967295 134512640 134569956 3221224384 3221213752 1131631938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209550 40199 13086 16 0 209534 0
vsize: 838200
[startup+1000.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32252
Raw data (stat): 32185 (java) R 32184 20224 20223 0 -1 0 18088 0 1 0 95002 58 0 0 25 0 11 0 779710143 858316800 40406 4294967295 134512640 134569956 3221224384 3221214728 1131227776 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209550 40406 13086 16 0 209534 0
vsize: 838200
[startup+1010.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32252
Raw data (stat): 32185 (java) R 32184 20224 20223 0 -1 0 18088 0 1 0 95962 58 0 0 25 0 11 0 779710143 858316800 40537 4294967295 134512640 134569956 3221224384 3221214680 1131363404 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209550 40537 13086 16 0 209534 0
vsize: 838200
[startup+1020.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32252
Raw data (stat): 32185 (java) R 32184 20224 20223 0 -1 0 18088 0 1 0 96921 58 0 0 25 0 11 0 779710143 858316800 40667 4294967295 134512640 134569956 3221224384 3221214368 1131631944 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209550 40667 13086 16 0 209534 0
vsize: 838200
[startup+1030.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32252
Raw data (stat): 32185 (java) R 32184 20224 20223 0 -1 0 18088 0 1 0 97891 58 0 0 25 0 11 0 779710143 858316800 40769 4294967295 134512640 134569956 3221224384 3221214632 1131314771 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209550 40769 13086 16 0 209534 0
vsize: 838200
[startup+1040.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32252
Raw data (stat): 32185 (java) R 32184 20224 20223 0 -1 0 18088 0 1 0 98850 59 0 0 25 0 11 0 779710143 858316800 40897 4294967295 134512640 134569956 3221224384 3221214148 1131634342 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209550 40897 13086 16 0 209534 0
vsize: 838200
[startup+1050.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32252
Raw data (stat): 32185 (java) R 32184 20224 20223 0 -1 0 18088 0 1 0 99819 59 0 0 25 0 11 0 779710143 858316800 40998 4294967295 134512640 134569956 3221224384 3221213856 1131637338 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209550 40998 13086 16 0 209534 0
vsize: 838200
[startup+1060.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32252
Raw data (stat): 32185 (java) R 32184 20224 20223 0 -1 0 18088 0 1 0 100777 60 0 0 25 0 11 0 779710143 858316800 41258 4294967295 134512640 134569956 3221224384 3221214352 1085679508 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209550 41258 13086 16 0 209534 0
vsize: 838200
[startup+1070.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32252
Raw data (stat): 32185 (java) S 32184 20224 20223 0 -1 0 18088 0 1 0 101739 60 0 0 25 0 11 0 779710143 858316800 41354 4294967295 134512640 134569956 3221224384 3221213296 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209550 41354 13086 16 0 209534 0
vsize: 838200
[startup+1080.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32252
Raw data (stat): 32185 (java) R 32184 20224 20223 0 -1 0 18088 0 1 0 102706 60 0 0 25 0 11 0 779710143 858316800 41481 4294967295 134512640 134569956 3221224384 3221214680 1131363601 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209550 41481 13086 16 0 209534 0
vsize: 838200
[startup+1090.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32252
Raw data (stat): 32185 (java) S 32184 20224 20223 0 -1 0 18088 0 1 0 103667 60 0 0 25 0 11 0 779710143 858316800 41588 4294967295 134512640 134569956 3221224384 3221213424 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209550 41588 13086 16 0 209534 0
vsize: 838200
[startup+1100.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32252
Raw data (stat): 32185 (java) R 32184 20224 20223 0 -1 0 18088 0 1 0 104635 60 0 0 25 0 11 0 779710143 858316800 41721 4294967295 134512640 134569956 3221224384 3221214384 1131634257 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209550 41721 13086 16 0 209534 0
vsize: 838200
[startup+1110.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32252
Raw data (stat): 32185 (java) R 32184 20224 20223 0 -1 0 18088 0 1 0 105604 61 0 0 25 0 11 0 779710143 858316800 41816 4294967295 134512640 134569956 3221224384 3221214496 1131302542 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209550 41816 13086 16 0 209534 0
vsize: 838200
[startup+1120.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32252
Raw data (stat): 32185 (java) R 32184 20224 20223 0 -1 0 18088 0 1 0 106562 61 0 0 25 0 11 0 779710143 858316800 42016 4294967295 134512640 134569956 3221224384 3221214628 1131224176 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209550 42016 13086 16 0 209534 0
vsize: 838200
[startup+1130.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32252
Raw data (stat): 32185 (java) R 32184 20224 20223 0 -1 0 18088 0 1 0 107532 61 0 0 25 0 11 0 779710143 858316800 42066 4294967295 134512640 134569956 3221224384 3221214680 1131363908 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209550 42066 13086 16 0 209534 0
vsize: 838200
[startup+1140.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32252
Raw data (stat): 32185 (java) R 32184 20224 20223 0 -1 0 18088 0 1 0 108490 61 0 0 25 0 11 0 779710143 858316800 42201 4294967295 134512640 134569956 3221224384 3221214680 1131363695 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209550 42201 13086 16 0 209534 0
vsize: 838200
[startup+1150.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32252
Raw data (stat): 32185 (java) R 32184 20224 20223 0 -1 0 18088 0 1 0 109458 61 0 0 25 0 11 0 779710143 858316800 42263 4294967295 134512640 134569956 3221224384 3221214680 1131363648 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209550 42263 13086 16 0 209534 0
vsize: 838200
[startup+1160.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32252
Raw data (stat): 32185 (java) R 32184 20224 20223 0 -1 0 18088 0 1 0 110415 62 0 0 25 0 11 0 779710143 858316800 42391 4294967295 134512640 134569956 3221224384 3221214408 1078032389 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209550 42391 13086 16 0 209534 0
vsize: 838200
[startup+1170.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32252
Raw data (stat): 32185 (java) R 32184 20224 20223 0 -1 0 18088 0 1 0 111382 62 0 0 25 0 11 0 779710143 858316800 42488 4294967295 134512640 134569956 3221224384 3221213712 1131631872 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209550 42488 13086 16 0 209534 0
vsize: 838200
[startup+1180.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32252
Raw data (stat): 32185 (java) R 32184 20224 20223 0 -1 0 18088 0 1 0 112340 62 0 0 24 0 11 0 779710143 858316800 42645 4294967295 134512640 134569956 3221224384 3221214552 1131488339 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209550 42645 13086 16 0 209534 0
vsize: 838200
[startup+1190.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32252
Raw data (stat): 32185 (java) R 32184 20224 20223 0 -1 0 18088 0 1 0 113308 62 0 0 25 0 11 0 779710143 858316800 42747 4294967295 134512640 134569956 3221224384 3221214376 1131631919 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209550 42747 13086 16 0 209534 0
vsize: 838200
[startup+1200.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32252
Raw data (stat): 32185 (java) R 32184 20224 20223 0 -1 0 18088 0 1 0 114276 62 0 0 25 0 11 0 779710143 858316800 42842 4294967295 134512640 134569956 3221224384 3221214728 1131227776 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209550 42842 13086 16 0 209534 0
vsize: 838200
[startup+1210.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32252
Raw data (stat): 32185 (java) R 32184 20224 20223 0 -1 0 18088 0 1 0 115252 63 0 0 25 0 11 0 779710143 858316800 43002 4294967295 134512640 134569956 3221224384 3221213632 1085679762 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209550 43002 13086 16 0 209534 0
vsize: 838200
[startup+1220.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32252
Raw data (stat): 32185 (java) R 32184 20224 20223 0 -1 0 18088 0 1 0 116218 63 0 0 25 0 11 0 779710143 858316800 43131 4294967295 134512640 134569956 3221224384 3221214632 1131221253 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209550 43131 13086 16 0 209534 0
vsize: 838200
[startup+1230.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32252
Raw data (stat): 32185 (java) R 32184 20224 20223 0 -1 0 18088 0 1 0 117196 63 0 0 25 0 11 0 779710143 858316800 43224 4294967295 134512640 134569956 3221224384 3221214320 1131631952 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209550 43224 13086 16 0 209534 0
vsize: 838200
[startup+1240.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32252
Raw data (stat): 32185 (java) R 32184 20224 20223 0 -1 0 18088 0 1 0 118162 63 0 0 25 0 11 0 779710143 858316800 43385 4294967295 134512640 134569956 3221224384 3221213816 1131631890 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209550 43385 13086 16 0 209534 0
vsize: 838200
[startup+1250.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32252
Raw data (stat): 32185 (java) R 32184 20224 20223 0 -1 0 18088 0 1 0 119129 63 0 0 25 0 11 0 779710143 858316800 43523 4294967295 134512640 134569956 3221224384 3221214604 1130885157 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209550 43523 13086 16 0 209534 0
vsize: 838200
[startup+1260.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32252
Raw data (stat): 32185 (java) R 32184 20224 20223 0 -1 0 18088 0 1 0 120096 64 0 0 25 0 11 0 779710143 858316800 43629 4294967295 134512640 134569956 3221224384 3221214544 1131318059 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209550 43629 13086 16 0 209534 0
vsize: 838200
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1260.23 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 32254
Raw data (stat): 32185 (java) Z 32184 20224 20223 0 -1 1036 18088 28294 1 0 120100 72 7099 63 25 0 1 0 779710143 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): 1260.23
CPU time (s): 1273.36
CPU user time (s): 1272
CPU system time (s): 1.36079
CPU usage (%): 101.042
Max. virtual memory (Kb): 838328
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####