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/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-fit1p.opb
MD5SUM	466386fc28c4adb9c70eb7384ea57208
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	20520
Biggest coefficient in the objective function	1572864
Number of bits for the biggest coefficient in the objective function	21
Sum of the numbers in the objective function	1553988150
Number of bits of the sum of numbers in the objective function	31
Biggest number in a constraint	58038681600
Number of bits of the biggest number in a constraint	36
Biggest sum of numbers in a constraint	204926279575
Number of bits of the biggest sum of numbers	38
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.268958
Number of variables	31508
Total number of constraints	1026
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	1026
Minimum length of a constraint	14
Maximum length of a constraint	416
Trace number 29833

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc3 THE 2005-05-25 11:57:44 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=21227 boxname=wulflinc3 idbench=1215 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  466386fc28c4adb9c70eb7384ea57208  /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-13-7-fit1p.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-13-7-fit1p.opb
IDLAUNCH: 21227
/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:        787556 kB
Buffers:         33768 kB
Cached:         193012 kB
SwapCached:          0 kB
Active:          73924 kB
Inactive:       155512 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        787304 kB
SwapTotal:     2097136 kB
SwapFree:      2096800 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6572 kB
Slab:            11968 kB
Committed_AS:    71792 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 12:18:26 (client local time) WITH STATUS 143 IN 1237.94 SECONDS
stats: 21227 7 1237.94 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-13-7-fit1p.opb
c reading problem ... done. Time 290.553 ms.
c #vars     31508
c #constraints  1653
c starts	: 1
c conflicts	: 21
c decisions	: 22244
c propagations	: 33914
c inspects	: 821573
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 20
c root simplifications	: 14
s UNKNOWN
c Total CPU time (ms) : 1239.104
#### 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.87 0.97 0.99 2/54 457
Raw data (stat): 457 (runsolver) R 456 20224 20223 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 780467482 1052672 99 4294967295 134512640 135381576 3221224400 3221219620 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0036 s]
Raw data (loadavg): 0.89 0.97 0.99 2/63 466
Raw data (stat): 457 (java) S 456 20224 20223 0 -1 0 18007 0 1 0 875 38 0 0 25 0 10 0 780467482 853716992 19323 4294967295 134512640 134569956 3221224368 3221213600 1073952481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208427 19323 13086 16 0 208411 0
vsize: 833708
[startup+20.0086 s]
Raw data (loadavg): 0.90 0.97 0.99 2/63 466
Raw data (stat): 457 (java) S 456 20224 20223 0 -1 0 18008 0 1 0 1769 39 0 0 25 0 10 0 780467482 854151168 19932 4294967295 134512640 134569956 3221224368 3221213600 1073952481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208533 19932 13086 16 0 208517 0
vsize: 834132
[startup+30.0092 s]
Raw data (loadavg): 0.92 0.97 0.99 2/63 466
Raw data (stat): 457 (java) S 456 20224 20223 0 -1 0 18008 0 1 0 2661 39 0 0 25 0 10 0 780467482 854151168 20448 4294967295 134512640 134569956 3221224368 3221213704 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208533 20448 13086 16 0 208517 0
vsize: 834132
[startup+40.0102 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 466
Raw data (stat): 457 (java) R 456 20224 20223 0 -1 0 18008 0 1 0 3576 39 0 0 24 0 10 0 780467482 853757952 20679 4294967295 134512640 134569956 3221224368 3221214768 1131240693 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208437 20679 13086 16 0 208421 0
vsize: 833748
[startup+50.0157 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 466
Raw data (stat): 457 (java) S 456 20224 20223 0 -1 0 18008 0 1 0 4501 39 0 0 25 0 10 0 780467482 853757952 20836 4294967295 134512640 134569956 3221224368 3221213352 1073952481 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208437 20836 13086 16 0 208421 0
vsize: 833748
[startup+60.0157 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 466
Raw data (stat): 457 (java) R 456 20224 20223 0 -1 0 18008 0 1 0 5417 40 0 0 25 0 10 0 780467482 853757952 20969 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208437 20969 13086 16 0 208421 0
vsize: 833748
[startup+70.0155 s]
Raw data (loadavg): 1.08 1.00 1.00 2/63 466
Raw data (stat): 457 (java) R 456 20224 20223 0 -1 0 18008 0 1 0 6348 41 0 0 25 0 10 0 780467482 853757952 21209 4294967295 134512640 134569956 3221224368 3221214756 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208437 21209 13086 16 0 208421 0
vsize: 833748
[startup+80.0169 s]
Raw data (loadavg): 1.06 1.00 1.00 2/63 466
Raw data (stat): 457 (java) R 456 20224 20223 0 -1 0 18008 0 1 0 7286 41 0 0 25 0 10 0 780467482 853757952 21313 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208437 21313 13086 16 0 208421 0
vsize: 833748
[startup+90.0172 s]
Raw data (loadavg): 1.05 1.00 1.00 2/63 466
Raw data (stat): 457 (java) R 456 20224 20223 0 -1 0 18008 0 1 0 8228 41 0 0 25 0 10 0 780467482 853757952 21403 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208437 21403 13086 16 0 208421 0
vsize: 833748
[startup+100.017 s]
Raw data (loadavg): 1.04 1.00 1.00 2/63 466
Raw data (stat): 457 (java) R 456 20224 20223 0 -1 0 18008 0 1 0 9168 42 0 0 25 0 10 0 780467482 853757952 21491 4294967295 134512640 134569956 3221224368 3221214748 1080203551 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208437 21491 13086 16 0 208421 0
vsize: 833748
[startup+110.019 s]
Raw data (loadavg): 1.04 1.00 1.00 2/63 466
Raw data (stat): 457 (java) R 456 20224 20223 0 -1 0 18008 0 1 0 10108 43 0 0 24 0 10 0 780467482 853757952 21575 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208437 21575 13086 16 0 208421 0
vsize: 833748
[startup+120.019 s]
Raw data (loadavg): 1.03 1.00 1.00 2/63 466
Raw data (stat): 457 (java) R 456 20224 20223 0 -1 0 18008 0 1 0 11048 43 0 0 25 0 10 0 780467482 853757952 21648 4294967295 134512640 134569956 3221224368 3221214232 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208437 21648 13086 16 0 208421 0
vsize: 833748
[startup+130.02 s]
Raw data (loadavg): 1.03 1.00 1.00 2/63 466
Raw data (stat): 457 (java) R 456 20224 20223 0 -1 0 18016 0 1 0 11986 44 0 0 25 0 10 0 780467482 853721088 21716 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208428 21716 13086 16 0 208412 0
vsize: 833712
[startup+140.022 s]
Raw data (loadavg): 1.02 1.00 1.00 2/67 470
Raw data (stat): 457 (java) S 456 20224 20223 0 -1 0 18016 0 1 0 12919 47 0 0 25 0 10 0 780467482 853721088 21837 4294967295 134512640 134569956 3221224368 3221213472 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208428 21837 13086 16 0 208412 0
vsize: 833712
[startup+150.023 s]
Raw data (loadavg): 1.02 1.00 1.00 2/63 519
Raw data (stat): 457 (java) R 456 20224 20223 0 -1 0 18016 0 1 0 13852 52 0 0 25 0 10 0 780467482 853721088 21913 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208428 21913 13086 16 0 208412 0
vsize: 833712
[startup+160.024 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 519
Raw data (stat): 457 (java) R 456 20224 20223 0 -1 0 18017 0 1 0 14797 52 0 0 25 0 10 0 780467482 853721088 21981 4294967295 134512640 134569956 3221224368 3221214764 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208428 21981 13086 16 0 208412 0
vsize: 833712
[startup+170.024 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 519
Raw data (stat): 457 (java) R 456 20224 20223 0 -1 0 18017 0 1 0 15736 53 0 0 24 0 10 0 780467482 853721088 22050 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208428 22050 13086 16 0 208412 0
vsize: 833712
[startup+180.025 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 519
Raw data (stat): 457 (java) R 456 20224 20223 0 -1 0 18017 0 1 0 16659 53 0 0 25 0 10 0 780467482 853721088 22112 4294967295 134512640 134569956 3221224368 3221214756 1080203551 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208428 22112 13086 16 0 208412 0
vsize: 833712
[startup+190.026 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 519
Raw data (stat): 457 (java) R 456 20224 20223 0 -1 0 18017 0 1 0 17586 53 0 0 25 0 10 0 780467482 853721088 22332 4294967295 134512640 134569956 3221224368 3221214232 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208428 22332 13086 16 0 208412 0
vsize: 833712
[startup+200.026 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 519
Raw data (stat): 457 (java) R 456 20224 20223 0 -1 0 18017 0 1 0 18522 54 0 0 24 0 10 0 780467482 853753856 22408 4294967295 134512640 134569956 3221224368 3221214764 1080204146 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208436 22408 13086 16 0 208420 0
vsize: 833744
[startup+210.026 s]
Raw data (loadavg): 1.08 1.02 1.00 2/63 521
Raw data (stat): 457 (java) R 456 20224 20223 0 -1 0 18018 0 1 0 19347 56 0 0 25 0 10 0 780467482 855355392 27563 4294967295 134512640 134569956 3221224368 3221213992 1131214259 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208827 27563 13086 16 0 208811 0
vsize: 835308
[startup+220.027 s]
Raw data (loadavg): 1.07 1.02 1.00 2/63 521
Raw data (stat): 457 (java) R 456 20224 20223 0 -1 0 18018 0 1 0 20216 57 0 0 25 0 10 0 780467482 855355392 29875 4294967295 134512640 134569956 3221224368 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208827 29875 13086 16 0 208811 0
vsize: 835308
[startup+230.029 s]
Raw data (loadavg): 1.06 1.01 1.00 2/63 521
Raw data (stat): 457 (java) R 456 20224 20223 0 -1 0 18018 0 1 0 21080 57 0 0 25 0 10 0 780467482 855355392 30070 4294967295 134512640 134569956 3221224368 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208827 30070 13086 16 0 208811 0
vsize: 835308
[startup+240.033 s]
Raw data (loadavg): 1.05 1.01 1.00 2/63 521
Raw data (stat): 457 (java) S 456 20224 20223 0 -1 0 18018 0 1 0 21943 57 0 0 25 0 10 0 780467482 855355392 30471 4294967295 134512640 134569956 3221224368 3221213512 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208827 30471 13086 16 0 208811 0
vsize: 835308
[startup+250.033 s]
Raw data (loadavg): 1.04 1.01 1.00 2/63 521
Raw data (stat): 457 (java) R 456 20224 20223 0 -1 0 18018 0 1 0 22805 57 0 0 25 0 10 0 780467482 855355392 30797 4294967295 134512640 134569956 3221224368 3221214272 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208827 30797 13086 16 0 208811 0
vsize: 835308
[startup+260.033 s]
Raw data (loadavg): 1.03 1.01 1.00 2/63 521
Raw data (stat): 457 (java) R 456 20224 20223 0 -1 0 18018 0 1 0 23662 58 0 0 25 0 10 0 780467482 855355392 31247 4294967295 134512640 134569956 3221224368 3221214880 1131371085 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208827 31247 13086 16 0 208811 0
vsize: 835308
[startup+270.033 s]
Raw data (loadavg): 1.03 1.01 1.00 2/63 521
Raw data (stat): 457 (java) R 456 20224 20223 0 -1 0 18018 0 1 0 24520 58 0 0 24 0 10 0 780467482 855355392 31589 4294967295 134512640 134569956 3221224368 3221214796 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208827 31589 13086 16 0 208811 0
vsize: 835308
[startup+280.034 s]
Raw data (loadavg): 1.02 1.01 1.00 2/63 521
Raw data (stat): 457 (java) R 456 20224 20223 0 -1 0 18018 0 1 0 25388 59 0 0 25 0 10 0 780467482 855355392 31929 4294967295 134512640 134569956 3221224368 3221214256 1131195267 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208827 31929 13086 16 0 208811 0
vsize: 835308
[startup+290.035 s]
Raw data (loadavg): 1.02 1.01 1.00 2/63 521
Raw data (stat): 457 (java) R 456 20224 20223 0 -1 0 18018 0 1 0 26246 59 0 0 25 0 10 0 780467482 855355392 32240 4294967295 134512640 134569956 3221224368 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208827 32240 13086 16 0 208811 0
vsize: 835308
[startup+300.035 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 522
Raw data (stat): 457 (java) R 456 20224 20223 0 -1 0 18070 0 1 0 27159 59 0 0 25 0 11 0 780467482 858173440 32909 4294967295 134512640 134569956 3221224368 3221214648 1131409005 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209515 32909 13086 16 0 209499 0
vsize: 838060
[startup+310.035 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 522
Raw data (stat): 457 (java) R 456 20224 20223 0 -1 0 18070 0 1 0 28068 60 0 0 25 0 11 0 780467482 855949312 32599 4294967295 134512640 134569956 3221224368 3221214560 1131383515 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208972 32599 13086 16 0 208956 0
vsize: 835888
[startup+320.035 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 522
Raw data (stat): 457 (java) R 456 20224 20223 0 -1 0 18070 0 1 0 28999 60 0 0 25 0 11 0 780467482 855949312 32817 4294967295 134512640 134569956 3221224368 3221214672 1131407883 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208972 32817 13086 16 0 208956 0
vsize: 835888
[startup+330.036 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 522
Raw data (stat): 457 (java) R 456 20224 20223 0 -1 0 18070 0 1 0 29968 60 0 0 25 0 11 0 780467482 855949312 33372 4294967295 134512640 134569956 3221224368 3221214576 1131363734 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208972 33372 13086 16 0 208956 0
vsize: 835888
[startup+340.036 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 522
Raw data (stat): 457 (java) R 456 20224 20223 0 -1 0 18070 0 1 0 30958 60 0 0 25 0 11 0 780467482 855949312 33383 4294967295 134512640 134569956 3221224368 3221214584 1131384546 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208972 33383 13086 16 0 208956 0
vsize: 835888
[startup+350.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 522
Raw data (stat): 457 (java) R 456 20224 20223 0 -1 0 18070 0 1 0 31945 61 0 0 25 0 11 0 780467482 855949312 33402 4294967295 134512640 134569956 3221224368 3221214584 1131264660 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208972 33402 13086 16 0 208956 0
vsize: 835888
[startup+360.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 522
Raw data (stat): 457 (java) R 456 20224 20223 0 -1 0 18070 0 1 0 32931 61 0 0 25 0 11 0 780467482 855949312 33417 4294967295 134512640 134569956 3221224368 3221214672 1131413416 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208972 33417 13086 16 0 208956 0
vsize: 835888
[startup+370.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 522
Raw data (stat): 457 (java) R 456 20224 20223 0 -1 0 18070 0 1 0 33921 61 0 0 25 0 11 0 780467482 855949312 33428 4294967295 134512640 134569956 3221224368 3221214624 1131409875 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208972 33428 13086 16 0 208956 0
vsize: 835888
[startup+380.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 522
Raw data (stat): 457 (java) R 456 20224 20223 0 -1 0 18070 0 1 0 34912 62 0 0 25 0 11 0 780467482 855949312 33435 4294967295 134512640 134569956 3221224368 3221214528 1131363788 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208972 33435 13086 16 0 208956 0
vsize: 835888
[startup+390.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 522
Raw data (stat): 457 (java) R 456 20224 20223 0 -1 0 18070 0 1 0 35900 62 0 0 25 0 11 0 780467482 855949312 33436 4294967295 134512640 134569956 3221224368 3221214536 1131384124 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208972 33436 13086 16 0 208956 0
vsize: 835888
[startup+400.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 522
Raw data (stat): 457 (java) R 456 20224 20223 0 -1 0 18080 0 1 0 36865 62 0 0 25 0 11 0 780467482 855949312 33459 4294967295 134512640 134569956 3221224368 3221214624 1131409842 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208972 33459 13086 16 0 208956 0
vsize: 835888
[startup+410.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 522
Raw data (stat): 457 (java) R 456 20224 20223 0 -1 0 18080 0 1 0 37852 63 0 0 25 0 11 0 780467482 855949312 33472 4294967295 134512640 134569956 3221224368 3221214620 1131265964 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208972 33472 13086 16 0 208956 0
vsize: 835888
[startup+420.039 s]
Raw data (loadavg): 1.08 1.02 1.01 2/64 522
Raw data (stat): 457 (java) R 456 20224 20223 0 -1 0 18080 0 1 0 38842 63 0 0 25 0 11 0 780467482 855949312 33484 4294967295 134512640 134569956 3221224368 3221214624 1131408592 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208972 33484 13086 16 0 208956 0
vsize: 835888
[startup+430.04 s]
Raw data (loadavg): 1.07 1.02 1.00 2/64 522
Raw data (stat): 457 (java) R 456 20224 20223 0 -1 0 18081 0 1 0 39834 64 0 0 25 0 11 0 780467482 855949312 33500 4294967295 134512640 134569956 3221224368 3221214536 1131384606 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208972 33500 13086 16 0 208956 0
vsize: 835888
[startup+440.04 s]
Raw data (loadavg): 1.22 1.05 1.01 2/64 522
Raw data (stat): 457 (java) R 456 20224 20223 0 -1 0 18081 0 1 0 40808 64 0 0 25 0 11 0 780467482 855949312 33505 4294967295 134512640 134569956 3221224368 3221214536 1131383194 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208972 33505 13086 16 0 208956 0
vsize: 835888
[startup+450.039 s]
Raw data (loadavg): 1.18 1.05 1.01 2/64 522
Raw data (stat): 457 (java) R 456 20224 20223 0 -1 0 18081 0 1 0 41797 65 0 0 25 0 11 0 780467482 855949312 33505 4294967295 134512640 134569956 3221224368 3221214624 1131406467 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208972 33505 13086 16 0 208956 0
vsize: 835888
[startup+460.04 s]
Raw data (loadavg): 1.15 1.04 1.01 2/64 522
Raw data (stat): 457 (java) R 456 20224 20223 0 -1 0 18081 0 1 0 42784 65 0 0 25 0 11 0 780467482 855949312 33505 4294967295 134512640 134569956 3221224368 3221214536 1131383380 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208972 33505 13086 16 0 208956 0
vsize: 835888
[startup+470.041 s]
Raw data (loadavg): 1.13 1.04 1.01 2/64 524
Raw data (stat): 457 (java) S 456 20224 20223 0 -1 0 18081 0 1 0 43771 66 0 0 25 0 11 0 780467482 855949312 33514 4294967295 134512640 134569956 3221224368 3221213368 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208972 33514 13086 16 0 208956 0
vsize: 835888
[startup+480.041 s]
Raw data (loadavg): 1.11 1.04 1.01 2/64 524
Raw data (stat): 457 (java) R 456 20224 20223 0 -1 0 18081 0 1 0 44761 67 0 0 25 0 11 0 780467482 855949312 33520 4294967295 134512640 134569956 3221224368 3221214536 1131383273 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208972 33520 13086 16 0 208956 0
vsize: 835888
[startup+490.041 s]
Raw data (loadavg): 1.09 1.04 1.01 2/64 524
Raw data (stat): 457 (java) R 456 20224 20223 0 -1 0 18081 0 1 0 45753 67 0 0 25 0 11 0 780467482 855949312 33532 4294967295 134512640 134569956 3221224368 3221214536 1131383273 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208972 33532 13086 16 0 208956 0
vsize: 835888
[startup+500.04 s]
Raw data (loadavg): 1.08 1.04 1.01 2/64 524
Raw data (stat): 457 (java) R 456 20224 20223 0 -1 0 18083 0 1 0 46688 67 0 0 25 0 11 0 780467482 856956928 33798 4294967295 134512640 134569956 3221224368 3221214400 1131292472 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209218 33798 13086 16 0 209202 0
vsize: 836872
[startup+510.04 s]
Raw data (loadavg): 1.07 1.03 1.01 2/64 524
Raw data (stat): 457 (java) R 456 20224 20223 0 -1 0 18083 0 1 0 47679 67 0 0 25 0 11 0 780467482 856305664 33640 4294967295 134512640 134569956 3221224368 3221214624 1131406177 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209059 33640 13086 16 0 209043 0
vsize: 836236
[startup+520.04 s]
Raw data (loadavg): 1.06 1.03 1.01 2/64 524
Raw data (stat): 457 (java) R 456 20224 20223 0 -1 0 18083 0 1 0 48667 67 0 0 25 0 11 0 780467482 856305664 33640 4294967295 134512640 134569956 3221224368 3221214536 1131384741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209059 33640 13086 16 0 209043 0
vsize: 836236
[startup+530.042 s]
Raw data (loadavg): 1.05 1.03 1.01 2/64 524
Raw data (stat): 457 (java) R 456 20224 20223 0 -1 0 18083 0 1 0 49656 68 0 0 25 0 11 0 780467482 856305664 33649 4294967295 134512640 134569956 3221224368 3221214624 1131412040 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209059 33649 13086 16 0 209043 0
vsize: 836236
[startup+540.042 s]
Raw data (loadavg): 1.04 1.03 1.00 2/64 524
Raw data (stat): 457 (java) R 456 20224 20223 0 -1 0 18083 0 1 0 50648 68 0 0 25 0 11 0 780467482 856305664 33657 4294967295 134512640 134569956 3221224368 3221214624 1131412414 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209059 33657 13086 16 0 209043 0
vsize: 836236
[startup+550.042 s]
Raw data (loadavg): 1.03 1.03 1.00 2/64 524
Raw data (stat): 457 (java) R 456 20224 20223 0 -1 0 18083 0 1 0 51639 68 0 0 25 0 11 0 780467482 856305664 33668 4294967295 134512640 134569956 3221224368 3221214624 1131409909 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209059 33668 13086 16 0 209043 0
vsize: 836236
[startup+560.042 s]
Raw data (loadavg): 1.03 1.03 1.00 2/64 524
Raw data (stat): 457 (java) R 456 20224 20223 0 -1 0 18083 0 1 0 52631 68 0 0 25 0 11 0 780467482 856305664 33678 4294967295 134512640 134569956 3221224368 3221214624 1131406345 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209059 33678 13086 16 0 209043 0
vsize: 836236
[startup+570.042 s]
Raw data (loadavg): 1.02 1.03 1.00 2/64 524
Raw data (stat): 457 (java) R 456 20224 20223 0 -1 0 18083 0 1 0 53623 68 0 0 25 0 11 0 780467482 856305664 33682 4294967295 134512640 134569956 3221224368 3221214528 1131363700 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209059 33682 13086 16 0 209043 0
vsize: 836236
[startup+580.044 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 524
Raw data (stat): 457 (java) R 456 20224 20223 0 -1 0 18083 0 1 0 54614 68 0 0 25 0 11 0 780467482 856305664 33683 4294967295 134512640 134569956 3221224368 3221214536 1131383273 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209059 33683 13086 16 0 209043 0
vsize: 836236
[startup+590.044 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 524
Raw data (stat): 457 (java) R 456 20224 20223 0 -1 0 18083 0 1 0 55605 68 0 0 25 0 11 0 780467482 856305664 33692 4294967295 134512640 134569956 3221224368 3221214624 1131411876 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209059 33692 13086 16 0 209043 0
vsize: 836236
[startup+600.045 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 524
Raw data (stat): 457 (java) R 456 20224 20223 0 -1 0 18083 0 1 0 56597 68 0 0 25 0 11 0 780467482 856305664 33702 4294967295 134512640 134569956 3221224368 3221214624 1131412117 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209059 33702 13086 16 0 209043 0
vsize: 836236
[startup+610.045 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 524
Raw data (stat): 457 (java) R 456 20224 20223 0 -1 0 18083 0 1 0 57588 68 0 0 25 0 11 0 780467482 856305664 33712 4294967295 134512640 134569956 3221224368 3221214624 1131412040 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209059 33712 13086 16 0 209043 0
vsize: 836236
[startup+620.045 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 524
Raw data (stat): 457 (java) R 456 20224 20223 0 -1 0 18083 0 1 0 58581 68 0 0 25 0 11 0 780467482 856305664 33717 4294967295 134512640 134569956 3221224368 3221214624 1131408683 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209059 33717 13086 16 0 209043 0
vsize: 836236
[startup+630.046 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 524
Raw data (stat): 457 (java) R 456 20224 20223 0 -1 0 18083 0 1 0 59572 68 0 0 25 0 11 0 780467482 856305664 33723 4294967295 134512640 134569956 3221224368 3221214624 1131412372 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209059 33723 13086 16 0 209043 0
vsize: 836236
[startup+640.048 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 524
Raw data (stat): 457 (java) R 456 20224 20223 0 -1 0 18084 0 1 0 60562 69 0 0 25 0 11 0 780467482 856305664 33729 4294967295 134512640 134569956 3221224368 3221214620 1131265964 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209059 33729 13086 16 0 209043 0
vsize: 836236
[startup+650.048 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 524
Raw data (stat): 457 (java) R 456 20224 20223 0 -1 0 18084 0 1 0 61551 69 0 0 25 0 11 0 780467482 856305664 33736 4294967295 134512640 134569956 3221224368 3221214536 1131384224 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209059 33736 13086 16 0 209043 0
vsize: 836236
[startup+660.048 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 524
Raw data (stat): 457 (java) R 456 20224 20223 0 -1 0 18084 0 1 0 62542 69 0 0 25 0 11 0 780467482 856305664 33747 4294967295 134512640 134569956 3221224368 3221214536 1131383273 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209059 33747 13086 16 0 209043 0
vsize: 836236
[startup+670.049 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 524
Raw data (stat): 457 (java) R 456 20224 20223 0 -1 0 18084 0 1 0 63536 69 0 0 25 0 11 0 780467482 856305664 33751 4294967295 134512640 134569956 3221224368 3221214536 1131383273 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209059 33751 13086 16 0 209043 0
vsize: 836236
[startup+680.049 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 524
Raw data (stat): 457 (java) R 456 20224 20223 0 -1 0 18084 0 1 0 64528 69 0 0 25 0 11 0 780467482 856305664 33751 4294967295 134512640 134569956 3221224368 3221214620 1131263591 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209059 33751 13086 16 0 209043 0
vsize: 836236
[startup+690.049 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 524
Raw data (stat): 457 (java) R 456 20224 20223 0 -1 0 18084 0 1 0 65518 69 0 0 25 0 11 0 780467482 856305664 33752 4294967295 134512640 134569956 3221224368 3221214536 1131383313 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209059 33752 13086 16 0 209043 0
vsize: 836236
[startup+700.05 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 524
Raw data (stat): 457 (java) R 456 20224 20223 0 -1 0 18084 0 1 0 66509 69 0 0 25 0 11 0 780467482 856305664 33752 4294967295 134512640 134569956 3221224368 3221214536 1131383463 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209059 33752 13086 16 0 209043 0
vsize: 836236
[startup+710.05 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 524
Raw data (stat): 457 (java) R 456 20224 20223 0 -1 0 18084 0 1 0 67502 69 0 0 25 0 11 0 780467482 856305664 33761 4294967295 134512640 134569956 3221224368 3221214536 1131383225 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209059 33761 13086 16 0 209043 0
vsize: 836236
[startup+720.05 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 524
Raw data (stat): 457 (java) R 456 20224 20223 0 -1 0 18084 0 1 0 68493 69 0 0 25 0 11 0 780467482 856305664 33761 4294967295 134512640 134569956 3221224368 3221214536 1131383246 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209059 33761 13086 16 0 209043 0
vsize: 836236
[startup+730.051 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 524
Raw data (stat): 457 (java) R 456 20224 20223 0 -1 0 18084 0 1 0 69484 69 0 0 25 0 11 0 780467482 856305664 33761 4294967295 134512640 134569956 3221224368 3221214624 1131409909 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209059 33761 13086 16 0 209043 0
vsize: 836236
[startup+740.052 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 524
Raw data (stat): 457 (java) R 456 20224 20223 0 -1 0 18084 0 1 0 70475 69 0 0 25 0 11 0 780467482 856305664 33762 4294967295 134512640 134569956 3221224368 3221214536 1131384741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209059 33762 13086 16 0 209043 0
vsize: 836236
[startup+750.051 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 524
Raw data (stat): 457 (java) R 456 20224 20223 0 -1 0 18084 0 1 0 71467 70 0 0 25 0 11 0 780467482 856305664 33776 4294967295 134512640 134569956 3221224368 3221214620 1131383104 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209059 33776 13086 16 0 209043 0
vsize: 836236
[startup+760.052 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 524
Raw data (stat): 457 (java) R 456 20224 20223 0 -1 0 18084 0 1 0 72457 70 0 0 25 0 11 0 780467482 856305664 33776 4294967295 134512640 134569956 3221224368 3221214536 1131383273 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209059 33776 13086 16 0 209043 0
vsize: 836236
[startup+770.051 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 524
Raw data (stat): 457 (java) R 456 20224 20223 0 -1 0 18084 0 1 0 73448 70 0 0 25 0 11 0 780467482 856305664 33776 4294967295 134512640 134569956 3221224368 3221214624 1131411706 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209059 33776 13086 16 0 209043 0
vsize: 836236
[startup+780.056 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 524
Raw data (stat): 457 (java) S 456 20224 20223 0 -1 0 18084 0 1 0 74438 70 0 0 25 0 11 0 780467482 856305664 33776 4294967295 134512640 134569956 3221224368 3221213368 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209059 33776 13086 16 0 209043 0
vsize: 836236
[startup+790.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 524
Raw data (stat): 457 (java) R 456 20224 20223 0 -1 0 18084 0 1 0 75431 70 0 0 25 0 11 0 780467482 856305664 33794 4294967295 134512640 134569956 3221224368 3221214624 1131407393 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209059 33794 13086 16 0 209043 0
vsize: 836236
[startup+800.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 524
Raw data (stat): 457 (java) R 456 20224 20223 0 -1 0 18084 0 1 0 76425 70 0 0 25 0 11 0 780467482 856305664 33794 4294967295 134512640 134569956 3221224368 3221214536 1131383273 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209059 33794 13086 16 0 209043 0
vsize: 836236
[startup+810.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 524
Raw data (stat): 457 (java) R 456 20224 20223 0 -1 0 18084 0 1 0 77419 70 0 0 25 0 11 0 780467482 856305664 33794 4294967295 134512640 134569956 3221224368 3221214536 1131263605 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209059 33794 13086 16 0 209043 0
vsize: 836236
[startup+820.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 524
Raw data (stat): 457 (java) R 456 20224 20223 0 -1 0 18084 0 1 0 78411 70 0 0 25 0 11 0 780467482 856305664 33794 4294967295 134512640 134569956 3221224368 3221214536 1131263641 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209059 33794 13086 16 0 209043 0
vsize: 836236
[startup+830.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 524
Raw data (stat): 457 (java) R 456 20224 20223 0 -1 0 18084 0 1 0 79403 71 0 0 25 0 11 0 780467482 856305664 33794 4294967295 134512640 134569956 3221224368 3221214536 1131383273 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209059 33794 13086 16 0 209043 0
vsize: 836236
[startup+840.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 524
Raw data (stat): 457 (java) R 456 20224 20223 0 -1 0 18084 0 1 0 80395 71 0 0 25 0 11 0 780467482 856305664 33794 4294967295 134512640 134569956 3221224368 3221214624 1131406327 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209059 33794 13086 16 0 209043 0
vsize: 836236
[startup+850.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 524
Raw data (stat): 457 (java) R 456 20224 20223 0 -1 0 18084 0 1 0 81387 71 0 0 25 0 11 0 780467482 856305664 33794 4294967295 134512640 134569956 3221224368 3221214536 1131383273 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209059 33794 13086 16 0 209043 0
vsize: 836236
[startup+860.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 524
Raw data (stat): 457 (java) R 456 20224 20223 0 -1 0 18084 0 1 0 82379 71 0 0 25 0 11 0 780467482 856305664 33794 4294967295 134512640 134569956 3221224368 3221214536 1131383273 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209059 33794 13086 16 0 209043 0
vsize: 836236
[startup+870.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 524
Raw data (stat): 457 (java) R 456 20224 20223 0 -1 0 18084 0 1 0 83370 72 0 0 25 0 11 0 780467482 856305664 33794 4294967295 134512640 134569956 3221224368 3221214536 1131264660 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209059 33794 13086 16 0 209043 0
vsize: 836236
[startup+880.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 524
Raw data (stat): 457 (java) R 456 20224 20223 0 -1 0 18084 0 1 0 84361 72 0 0 25 0 11 0 780467482 856305664 33796 4294967295 134512640 134569956 3221224368 3221214536 1131383227 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209059 33796 13086 16 0 209043 0
vsize: 836236
[startup+890.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 524
Raw data (stat): 457 (java) R 456 20224 20223 0 -1 0 18084 0 1 0 85353 73 0 0 25 0 11 0 780467482 856305664 33805 4294967295 134512640 134569956 3221224368 3221214536 1131383273 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209059 33805 13086 16 0 209043 0
vsize: 836236
[startup+900.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 524
Raw data (stat): 457 (java) R 456 20224 20223 0 -1 0 18084 0 1 0 86345 74 0 0 25 0 11 0 780467482 856305664 33807 4294967295 134512640 134569956 3221224368 3221214624 1131407641 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209059 33807 13086 16 0 209043 0
vsize: 836236
[startup+910.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 524
Raw data (stat): 457 (java) R 456 20224 20223 0 -1 0 18084 0 1 0 87335 74 0 0 25 0 11 0 780467482 856305664 33807 4294967295 134512640 134569956 3221224368 3221214624 1131408464 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209059 33807 13086 16 0 209043 0
vsize: 836236
[startup+920.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 524
Raw data (stat): 457 (java) R 456 20224 20223 0 -1 0 18084 0 1 0 88325 74 0 0 25 0 11 0 780467482 856305664 33811 4294967295 134512640 134569956 3221224368 3221214624 1131412481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209059 33811 13086 16 0 209043 0
vsize: 836236
[startup+930.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 524
Raw data (stat): 457 (java) R 456 20224 20223 0 -1 0 18084 0 1 0 89315 75 0 0 25 0 11 0 780467482 856305664 33827 4294967295 134512640 134569956 3221224368 3221214624 1131406508 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209059 33827 13086 16 0 209043 0
vsize: 836236
[startup+940.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 524
Raw data (stat): 457 (java) R 456 20224 20223 0 -1 0 18084 0 1 0 90306 76 0 0 25 0 11 0 780467482 856305664 33828 4294967295 134512640 134569956 3221224368 3221214624 1131407390 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209059 33828 13086 16 0 209043 0
vsize: 836236
[startup+950.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 524
Raw data (stat): 457 (java) R 456 20224 20223 0 -1 0 18084 0 1 0 91297 76 0 0 25 0 11 0 780467482 856272896 33820 4294967295 134512640 134569956 3221224368 3221214624 1131406467 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209051 33820 13086 16 0 209035 0
vsize: 836204
[startup+960.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 524
Raw data (stat): 457 (java) R 456 20224 20223 0 -1 0 18084 0 1 0 92287 76 0 0 25 0 11 0 780467482 856272896 33820 4294967295 134512640 134569956 3221224368 3221214536 1131383246 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209051 33820 13086 16 0 209035 0
vsize: 836204
[startup+970.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 524
Raw data (stat): 457 (java) R 456 20224 20223 0 -1 0 18084 0 1 0 93277 77 0 0 25 0 11 0 780467482 856272896 33821 4294967295 134512640 134569956 3221224368 3221214624 1131408636 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209051 33821 13086 16 0 209035 0
vsize: 836204
[startup+980.064 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 524
Raw data (stat): 457 (java) R 456 20224 20223 0 -1 0 18084 0 1 0 94268 78 0 0 25 0 11 0 780467482 856272896 33838 4294967295 134512640 134569956 3221224368 3221214624 1131409009 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209051 33838 13086 16 0 209035 0
vsize: 836204
[startup+990.065 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 524
Raw data (stat): 457 (java) R 456 20224 20223 0 -1 0 18084 0 1 0 95262 78 0 0 25 0 11 0 780467482 856272896 33838 4294967295 134512640 134569956 3221224368 3221214536 1131383179 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209051 33838 13086 16 0 209035 0
vsize: 836204
[startup+1000.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 524
Raw data (stat): 457 (java) R 456 20224 20223 0 -1 0 18084 0 1 0 96254 79 0 0 25 0 11 0 780467482 856272896 33838 4294967295 134512640 134569956 3221224368 3221214624 1131406398 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209051 33838 13086 16 0 209035 0
vsize: 836204
[startup+1010.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 524
Raw data (stat): 457 (java) R 456 20224 20223 0 -1 0 18084 0 1 0 97245 80 0 0 25 0 11 0 780467482 856272896 33839 4294967295 134512640 134569956 3221224368 3221214536 1131383246 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209051 33839 13086 16 0 209035 0
vsize: 836204
[startup+1020.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 524
Raw data (stat): 457 (java) R 456 20224 20223 0 -1 0 18084 0 1 0 98235 81 0 0 25 0 11 0 780467482 856272896 33839 4294967295 134512640 134569956 3221224368 3221214536 1131383227 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209051 33839 13086 16 0 209035 0
vsize: 836204
[startup+1030.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 524
Raw data (stat): 457 (java) R 456 20224 20223 0 -1 0 18084 0 1 0 99226 81 0 0 25 0 11 0 780467482 856272896 33839 4294967295 134512640 134569956 3221224368 3221214624 1131408612 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209051 33839 13086 16 0 209035 0
vsize: 836204
[startup+1040.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 524
Raw data (stat): 457 (java) R 456 20224 20223 0 -1 0 18084 0 1 0 100215 81 0 0 25 0 11 0 780467482 856272896 33848 4294967295 134512640 134569956 3221224368 3221214624 1131412689 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209051 33848 13086 16 0 209035 0
vsize: 836204
[startup+1050.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 524
Raw data (stat): 457 (java) R 456 20224 20223 0 -1 0 18084 0 1 0 101203 82 0 0 25 0 11 0 780467482 856272896 33848 4294967295 134512640 134569956 3221224368 3221214624 1131408194 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209051 33848 13086 16 0 209035 0
vsize: 836204
[startup+1060.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 524
Raw data (stat): 457 (java) R 456 20224 20223 0 -1 0 18084 0 1 0 102192 83 0 0 25 0 11 0 780467482 856272896 33848 4294967295 134512640 134569956 3221224368 3221214624 1131412736 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209051 33848 13086 16 0 209035 0
vsize: 836204
[startup+1070.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 524
Raw data (stat): 457 (java) R 456 20224 20223 0 -1 0 18084 0 1 0 103185 83 0 0 25 0 11 0 780467482 856272896 33878 4294967295 134512640 134569956 3221224368 3221214804 1131406035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209051 33878 13086 16 0 209035 0
vsize: 836204
[startup+1080.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 524
Raw data (stat): 457 (java) R 456 20224 20223 0 -1 0 18084 0 1 0 104178 83 0 0 25 0 11 0 780467482 856272896 33878 4294967295 134512640 134569956 3221224368 3221214536 1131384478 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209051 33878 13086 16 0 209035 0
vsize: 836204
[startup+1090.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 524
Raw data (stat): 457 (java) R 456 20224 20223 0 -1 0 18084 0 1 0 105172 84 0 0 25 0 11 0 780467482 856272896 33878 4294967295 134512640 134569956 3221224368 3221214624 1131407760 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209051 33878 13086 16 0 209035 0
vsize: 836204
[startup+1100.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 524
Raw data (stat): 457 (java) R 456 20224 20223 0 -1 0 18084 0 1 0 106165 84 0 0 25 0 11 0 780467482 856272896 33878 4294967295 134512640 134569956 3221224368 3221214536 1131384531 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209051 33878 13086 16 0 209035 0
vsize: 836204
[startup+1110.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 524
Raw data (stat): 457 (java) R 456 20224 20223 0 -1 0 18084 0 1 0 107155 84 0 0 25 0 11 0 780467482 856272896 33878 4294967295 134512640 134569956 3221224368 3221214624 1131407824 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209051 33878 13086 16 0 209035 0
vsize: 836204
[startup+1120.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 524
Raw data (stat): 457 (java) R 456 20224 20223 0 -1 0 18084 0 1 0 108146 84 0 0 25 0 11 0 780467482 856272896 33878 4294967295 134512640 134569956 3221224368 3221214616 1131265998 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209051 33878 13086 16 0 209035 0
vsize: 836204
[startup+1130.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 524
Raw data (stat): 457 (java) R 456 20224 20223 0 -1 0 18084 0 1 0 109139 84 0 0 25 0 11 0 780467482 856272896 33885 4294967295 134512640 134569956 3221224368 3221214624 1131412040 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209051 33885 13086 16 0 209035 0
vsize: 836204
[startup+1140.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 524
Raw data (stat): 457 (java) R 456 20224 20223 0 -1 0 18084 0 1 0 110133 84 0 0 25 0 11 0 780467482 856272896 33885 4294967295 134512640 134569956 3221224368 3221214472 1131218800 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209051 33885 13086 16 0 209035 0
vsize: 836204
[startup+1150.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 524
Raw data (stat): 457 (java) R 456 20224 20223 0 -1 0 18084 0 1 0 111124 84 0 0 25 0 11 0 780467482 856272896 33885 4294967295 134512640 134569956 3221224368 3221214536 1131383273 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209051 33885 13086 16 0 209035 0
vsize: 836204
[startup+1160.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 524
Raw data (stat): 457 (java) R 456 20224 20223 0 -1 0 18084 0 1 0 112115 84 0 0 25 0 11 0 780467482 856272896 33885 4294967295 134512640 134569956 3221224368 3221214624 1131406379 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209051 33885 13086 16 0 209035 0
vsize: 836204
[startup+1170.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 524
Raw data (stat): 457 (java) R 456 20224 20223 0 -1 0 18084 0 1 0 113106 84 0 0 25 0 11 0 780467482 856272896 33886 4294967295 134512640 134569956 3221224368 3221214624 1131406467 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209051 33886 13086 16 0 209035 0
vsize: 836204
[startup+1180.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 524
Raw data (stat): 457 (java) R 456 20224 20223 0 -1 0 18084 0 1 0 114099 85 0 0 25 0 11 0 780467482 856272896 33903 4294967295 134512640 134569956 3221224368 3221214536 1131384463 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209051 33903 13086 16 0 209035 0
vsize: 836204
[startup+1190.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 524
Raw data (stat): 457 (java) R 456 20224 20223 0 -1 0 18084 0 1 0 115093 85 0 0 25 0 11 0 780467482 856272896 33903 4294967295 134512640 134569956 3221224368 3221214624 1131409856 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209051 33903 13086 16 0 209035 0
vsize: 836204
[startup+1200.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 524
Raw data (stat): 457 (java) R 456 20224 20223 0 -1 0 18084 0 1 0 116087 85 0 0 25 0 11 0 780467482 856272896 33903 4294967295 134512640 134569956 3221224368 3221214624 1131407824 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209051 33903 13086 16 0 209035 0
vsize: 836204
[startup+1210.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 524
Raw data (stat): 457 (java) R 456 20224 20223 0 -1 0 18084 0 1 0 117081 85 0 0 25 0 11 0 780467482 856272896 33903 4294967295 134512640 134569956 3221224368 3221214488 1131447383 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209051 33903 13086 16 0 209035 0
vsize: 836204
[startup+1220.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 524
Raw data (stat): 457 (java) R 456 20224 20223 0 -1 0 18084 0 1 0 118073 85 0 0 25 0 11 0 780467482 856272896 33903 4294967295 134512640 134569956 3221224368 3221214616 1131266012 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209051 33903 13086 16 0 209035 0
vsize: 836204
[startup+1230.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 524
Raw data (stat): 457 (java) R 456 20224 20223 0 -1 0 18084 0 1 0 119064 85 0 0 25 0 11 0 780467482 856272896 33903 4294967295 134512640 134569956 3221224368 3221214536 1131383273 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209051 33903 13086 16 0 209035 0
vsize: 836204
[startup+1240.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 524
Raw data (stat): 457 (java) R 456 20224 20223 0 -1 0 18084 0 1 0 120055 85 0 0 25 0 11 0 780467482 856272896 33903 4294967295 134512640 134569956 3221224368 3221214504 1131474652 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209051 33903 13086 16 0 209035 0
vsize: 836204
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1240.16 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 526
Raw data (stat): 457 (java) Z 456 20224 20223 0 -1 1036 18084 14910 1 0 120057 85 3603 48 25 0 1 0 780467482 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.16
CPU time (s): 1237.94
CPU user time (s): 1236.61
CPU system time (s): 1.3378
CPU usage (%): 99.8216
Max. virtual memory (Kb): 838060
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####