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/miplib/normalized-mps-v2-20-10-misc05.opb
MD5SUM	5e97a4ad772c87cdf15a611dd5b54048
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	1076796928
Optimality of the best value was proved	NO
Number of terms in the objective function	31
Biggest coefficient in the objective function	1073741824
Number of bits for the biggest coefficient in the objective function	31
Sum of the numbers in the objective function	2147483647
Number of bits of the sum of numbers in the objective function	31
Biggest number in a constraint	5368709120
Number of bits of the biggest number in a constraint	33
Biggest sum of numbers in a constraint	83751857084
Number of bits of the biggest sum of numbers	37
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	952.576
Number of variables	1940
Total number of constraints	374
Number of constraints which are clauses	155
Number of constraints which are cardinality constraints (but not clauses)	82
Number of constraints which are nor clauses,nor cardinality constraints	137
Minimum length of a constraint	1
Maximum length of a constraint	451
Trace number 29535

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc24 THE 2005-05-25 08:43:43 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=20935 boxname=wulflinc24 idbench=923 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  5e97a4ad772c87cdf15a611dd5b54048  /oldhome/oroussel/tmp/wulflinc24/normalized-mps-v2-20-10-misc05.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc24/normalized-mps-v2-20-10-misc05.opb
IDLAUNCH: 20935
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.080
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	: 3
cpu MHz		: 451.080
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:        661580 kB
Buffers:         25104 kB
Cached:         325864 kB
SwapCached:        524 kB
Active:         152296 kB
Inactive:       200996 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        661328 kB
SwapTotal:     2097892 kB
SwapFree:      2096776 kB
Dirty:              36 kB
Writeback:           0 kB
Mapped:           5656 kB
Slab:            14036 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 09:04:25 (client local time) WITH STATUS 143 IN 1237.05 SECONDS
stats: 20935 7 1237.05 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/wulflinc24/normalized-mps-v2-20-10-misc05.opb
c reading problem ... done. Time 4.404 ms.
c #vars     1940
c #constraints  329
c starts	: 5
c conflicts	: 832
c decisions	: 4502
c propagations	: 53154
c inspects	: 548800
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 832
c root simplifications	: 37
s UNKNOWN
c Total CPU time (ms) : 1239.139
#### 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 20062
Raw data (stat): 20062 (runsolver) R 20061 4613 4612 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 837529693 1052672 99 4294967295 134512640 135381576 3221224400 3221219620 135158418 0 0 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0008 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 20072
Raw data (stat): 20062 (java) R 20061 4613 4612 0 -1 0 18078 0 1 0 703 45 0 0 25 0 11 0 837529693 860770304 21059 4294967295 134512640 134569956 3221224368 3221214576 1131338871 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210149 21059 13086 16 0 210133 0
vsize: 840596
[startup+20.0018 s]
Raw data (loadavg): 1.08 1.02 1.00 2/64 20072
Raw data (stat): 20062 (java) R 20061 4613 4612 0 -1 0 18082 0 1 0 1643 45 0 0 25 0 11 0 837529693 857653248 20534 4294967295 134512640 134569956 3221224368 3221214780 1130917144 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209388 20534 13086 16 0 209372 0
vsize: 837552
[startup+30.0025 s]
Raw data (loadavg): 1.07 1.02 1.00 2/64 20072
Raw data (stat): 20062 (java) R 20061 4613 4612 0 -1 0 18083 0 1 0 2576 45 0 0 25 0 11 0 837529693 857653248 20688 4294967295 134512640 134569956 3221224368 3221214552 1131327471 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209388 20688 13086 16 0 209372 0
vsize: 837552
[startup+40.0027 s]
Raw data (loadavg): 1.13 1.03 1.01 2/64 20072
Raw data (stat): 20062 (java) R 20061 4613 4612 0 -1 0 18086 0 1 0 3493 45 0 0 25 0 11 0 837529693 860688384 21492 4294967295 134512640 134569956 3221224368 3221214664 1131438095 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210129 21492 13086 16 0 210113 0
vsize: 840516
[startup+50.0029 s]
Raw data (loadavg): 1.11 1.03 1.01 2/64 20072
Raw data (stat): 20062 (java) R 20061 4613 4612 0 -1 0 18086 0 1 0 4441 46 0 0 25 0 11 0 837529693 858701824 21537 4294967295 134512640 134569956 3221224368 3221214624 1131346912 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209644 21537 13086 16 0 209628 0
vsize: 838576
[startup+60.0037 s]
Raw data (loadavg): 1.09 1.03 1.01 2/64 20072
Raw data (stat): 20062 (java) R 20061 4613 4612 0 -1 0 18086 0 1 0 5414 46 0 0 25 0 11 0 837529693 858701824 21635 4294967295 134512640 134569956 3221224368 3221214576 1131339323 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209644 21635 13086 16 0 209628 0
vsize: 838576
[startup+70.0039 s]
Raw data (loadavg): 1.08 1.03 1.01 2/64 20072
Raw data (stat): 20062 (java) R 20061 4613 4612 0 -1 0 18086 0 1 0 6391 47 0 0 25 0 11 0 837529693 858701824 21695 4294967295 134512640 134569956 3221224368 3221214608 1131429691 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209644 21695 13086 16 0 209628 0
vsize: 838576
[startup+80.0053 s]
Raw data (loadavg): 1.07 1.03 1.00 2/64 20072
Raw data (stat): 20062 (java) R 20061 4613 4612 0 -1 0 18086 0 1 0 7368 47 0 0 25 0 11 0 837529693 858701824 21717 4294967295 134512640 134569956 3221224368 3221214512 1131471560 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209644 21717 13086 16 0 209628 0
vsize: 838576
[startup+90.0058 s]
Raw data (loadavg): 1.06 1.02 1.00 2/64 20072
Raw data (stat): 20062 (java) R 20061 4613 4612 0 -1 0 18086 0 1 0 8335 47 0 0 25 0 11 0 837529693 858701824 21803 4294967295 134512640 134569956 3221224368 3221214600 1131388977 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209644 21803 13086 16 0 209628 0
vsize: 838576
[startup+100.005 s]
Raw data (loadavg): 1.05 1.02 1.00 2/64 20072
Raw data (stat): 20062 (java) R 20061 4613 4612 0 -1 0 18086 0 1 0 9291 48 0 0 24 0 11 0 837529693 858701824 21893 4294967295 134512640 134569956 3221224368 3221214576 1131340045 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209644 21893 13086 16 0 209628 0
vsize: 838576
[startup+110.006 s]
Raw data (loadavg): 1.12 1.04 1.01 2/64 20072
Raw data (stat): 20062 (java) R 20061 4613 4612 0 -1 0 18086 0 1 0 10248 48 0 0 25 0 11 0 837529693 858701824 21940 4294967295 134512640 134569956 3221224368 3221214728 1131314310 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209644 21940 13086 16 0 209628 0
vsize: 838576
[startup+120.007 s]
Raw data (loadavg): 1.10 1.04 1.01 2/64 20072
Raw data (stat): 20062 (java) R 20061 4613 4612 0 -1 0 18086 0 1 0 11215 49 0 0 25 0 11 0 837529693 858701824 22146 4294967295 134512640 134569956 3221224368 3221214576 1131338683 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209644 22146 13086 16 0 209628 0
vsize: 838576
[startup+130.007 s]
Raw data (loadavg): 1.08 1.04 1.00 2/64 20072
Raw data (stat): 20062 (java) R 20061 4613 4612 0 -1 0 18086 0 1 0 12193 49 0 0 25 0 11 0 837529693 858701824 22303 4294967295 134512640 134569956 3221224368 3221214576 1131339988 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209644 22303 13086 16 0 209628 0
vsize: 838576
[startup+140.008 s]
Raw data (loadavg): 1.07 1.03 1.00 2/64 20072
Raw data (stat): 20062 (java) R 20061 4613 4612 0 -1 0 18086 0 1 0 13177 49 0 0 25 0 11 0 837529693 858701824 22322 4294967295 134512640 134569956 3221224368 3221214576 1131338580 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209644 22322 13086 16 0 209628 0
vsize: 838576
[startup+150.008 s]
Raw data (loadavg): 1.06 1.03 1.00 2/64 20072
Raw data (stat): 20062 (java) R 20061 4613 4612 0 -1 0 18086 0 1 0 14161 49 0 0 25 0 11 0 837529693 858701824 22348 4294967295 134512640 134569956 3221224368 3221214576 1131338777 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209644 22348 13086 16 0 209628 0
vsize: 838576
[startup+160.008 s]
Raw data (loadavg): 1.05 1.03 1.00 2/64 20072
Raw data (stat): 20062 (java) R 20061 4613 4612 0 -1 0 18086 0 1 0 15138 49 0 0 25 0 11 0 837529693 858701824 22385 4294967295 134512640 134569956 3221224368 3221214600 1131388947 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209644 22385 13086 16 0 209628 0
vsize: 838576
[startup+170.008 s]
Raw data (loadavg): 1.04 1.03 1.00 2/64 20072
Raw data (stat): 20062 (java) R 20061 4613 4612 0 -1 0 18086 0 1 0 16111 49 0 0 25 0 11 0 837529693 858701824 22421 4294967295 134512640 134569956 3221224368 3221214512 1131471891 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209644 22421 13086 16 0 209628 0
vsize: 838576
[startup+180.009 s]
Raw data (loadavg): 1.04 1.03 1.00 2/64 20072
Raw data (stat): 20062 (java) R 20061 4613 4612 0 -1 0 18086 0 1 0 17085 50 0 0 25 0 11 0 837529693 858701824 22458 4294967295 134512640 134569956 3221224368 3221214512 1131473698 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209644 22458 13086 16 0 209628 0
vsize: 838576
[startup+190.009 s]
Raw data (loadavg): 1.03 1.03 1.00 2/64 20072
Raw data (stat): 20062 (java) R 20061 4613 4612 0 -1 0 18087 0 1 0 18049 50 0 0 25 0 11 0 837529693 858701824 22485 4294967295 134512640 134569956 3221224368 3221214576 1131338901 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209644 22485 13086 16 0 209628 0
vsize: 838576
[startup+200.01 s]
Raw data (loadavg): 1.02 1.03 1.00 2/64 20072
Raw data (stat): 20062 (java) R 20061 4613 4612 0 -1 0 18087 0 1 0 19019 50 0 0 25 0 11 0 837529693 858701824 22575 4294967295 134512640 134569956 3221224368 3221214512 1131471891 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209644 22575 13086 16 0 209628 0
vsize: 838576
[startup+210.01 s]
Raw data (loadavg): 1.09 1.04 1.00 2/64 20072
Raw data (stat): 20062 (java) R 20061 4613 4612 0 -1 0 18087 0 1 0 19983 50 0 0 25 0 11 0 837529693 860798976 23223 4294967295 134512640 134569956 3221224368 3221214624 1131346787 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210156 23223 13086 16 0 210140 0
vsize: 840624
[startup+220.01 s]
Raw data (loadavg): 1.08 1.04 1.00 2/64 20072
Raw data (stat): 20062 (java) R 20061 4613 4612 0 -1 0 18087 0 1 0 20952 51 0 0 25 0 11 0 837529693 860798976 23298 4294967295 134512640 134569956 3221224368 3221214512 1131471849 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210156 23298 13086 16 0 210140 0
vsize: 840624
[startup+230.011 s]
Raw data (loadavg): 1.07 1.04 1.00 2/64 20072
Raw data (stat): 20062 (java) R 20061 4613 4612 0 -1 0 18087 0 1 0 21914 51 0 0 25 0 11 0 837529693 860798976 23398 4294967295 134512640 134569956 3221224368 3221214664 1131445221 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210156 23398 13086 16 0 210140 0
vsize: 840624
[startup+240.011 s]
Raw data (loadavg): 1.06 1.03 1.00 2/64 20072
Raw data (stat): 20062 (java) R 20061 4613 4612 0 -1 0 18087 0 1 0 22883 51 0 0 25 0 11 0 837529693 860798976 23487 4294967295 134512640 134569956 3221224368 3221214624 1131346828 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210156 23487 13086 16 0 210140 0
vsize: 840624
[startup+250.011 s]
Raw data (loadavg): 1.05 1.03 1.00 2/64 20072
Raw data (stat): 20062 (java) R 20061 4613 4612 0 -1 0 18087 0 1 0 23844 52 0 0 25 0 11 0 837529693 860798976 23590 4294967295 134512640 134569956 3221224368 3221214664 1131438218 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210156 23590 13086 16 0 210140 0
vsize: 840624
[startup+260.011 s]
Raw data (loadavg): 1.04 1.03 1.00 2/64 20072
Raw data (stat): 20062 (java) R 20061 4613 4612 0 -1 0 18087 0 1 0 24811 52 0 0 25 0 11 0 837529693 860798976 23711 4294967295 134512640 134569956 3221224368 3221214512 1131471660 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210156 23711 13086 16 0 210140 0
vsize: 840624
[startup+270.011 s]
Raw data (loadavg): 1.03 1.03 1.00 2/64 20072
Raw data (stat): 20062 (java) R 20061 4613 4612 0 -1 0 18087 0 1 0 25780 52 0 0 25 0 11 0 837529693 860798976 23817 4294967295 134512640 134569956 3221224368 3221214608 1131429667 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210156 23817 13086 16 0 210140 0
vsize: 840624
[startup+280.012 s]
Raw data (loadavg): 1.03 1.03 1.00 2/64 20072
Raw data (stat): 20062 (java) R 20061 4613 4612 0 -1 0 18087 0 1 0 26749 52 0 0 25 0 11 0 837529693 860798976 23947 4294967295 134512640 134569956 3221224368 3221214520 1131283587 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210156 23947 13086 16 0 210140 0
vsize: 840624
[startup+290.012 s]
Raw data (loadavg): 1.02 1.03 1.00 2/64 20072
Raw data (stat): 20062 (java) R 20061 4613 4612 0 -1 0 18087 0 1 0 27724 53 0 0 25 0 11 0 837529693 859750400 23736 4294967295 134512640 134569956 3221224368 3221214608 1131353840 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209900 23736 13086 16 0 209884 0
vsize: 839600
[startup+300.013 s]
Raw data (loadavg): 1.02 1.03 1.00 2/64 20072
Raw data (stat): 20062 (java) R 20061 4613 4612 0 -1 0 18087 0 1 0 28692 53 0 0 25 0 11 0 837529693 859750400 23829 4294967295 134512640 134569956 3221224368 3221214520 1131283587 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209900 23829 13086 16 0 209884 0
vsize: 839600
[startup+310.013 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 20072
Raw data (stat): 20062 (java) R 20061 4613 4612 0 -1 0 18087 0 1 0 29660 53 0 0 25 0 11 0 837529693 859750400 23857 4294967295 134512640 134569956 3221224368 3221214520 1131283587 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209900 23857 13086 16 0 209884 0
vsize: 839600
[startup+320.013 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 20072
Raw data (stat): 20062 (java) R 20061 4613 4612 0 -1 0 18087 0 1 0 30623 53 0 0 25 0 11 0 837529693 859750400 23930 4294967295 134512640 134569956 3221224368 3221214512 1131236005 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209900 23930 13086 16 0 209884 0
vsize: 839600
[startup+330.015 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 20072
Raw data (stat): 20062 (java) R 20061 4613 4612 0 -1 0 18087 0 1 0 31587 54 0 0 25 0 11 0 837529693 859750400 24030 4294967295 134512640 134569956 3221224368 3221214528 1131471147 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209900 24030 13086 16 0 209884 0
vsize: 839600
[startup+340.015 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 20072
Raw data (stat): 20062 (java) R 20061 4613 4612 0 -1 0 18087 0 1 0 32552 54 0 0 25 0 11 0 837529693 859750400 24129 4294967295 134512640 134569956 3221224368 3221214600 1131232808 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209900 24129 13086 16 0 209884 0
vsize: 839600
[startup+350.015 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 20072
Raw data (stat): 20062 (java) R 20061 4613 4612 0 -1 0 18087 0 1 0 33522 54 0 0 25 0 11 0 837529693 859750400 24226 4294967295 134512640 134569956 3221224368 3221214636 1131171945 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209900 24226 13086 16 0 209884 0
vsize: 839600
[startup+360.016 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 20072
Raw data (stat): 20062 (java) R 20061 4613 4612 0 -1 0 18087 0 1 0 34487 55 0 0 25 0 11 0 837529693 859750400 24320 4294967295 134512640 134569956 3221224368 3221214528 1131471147 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209900 24320 13086 16 0 209884 0
vsize: 839600
[startup+370.016 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 20072
Raw data (stat): 20062 (java) R 20061 4613 4612 0 -1 0 18087 0 1 0 35450 55 0 0 25 0 11 0 837529693 859750400 24413 4294967295 134512640 134569956 3221224368 3221214528 1131471147 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209900 24413 13086 16 0 209884 0
vsize: 839600
[startup+380.017 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 20072
Raw data (stat): 20062 (java) R 20061 4613 4612 0 -1 0 18087 0 1 0 36418 56 0 0 25 0 11 0 837529693 859750400 24495 4294967295 134512640 134569956 3221224368 3221214528 1131472611 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209900 24495 13086 16 0 209884 0
vsize: 839600
[startup+390.018 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 20072
Raw data (stat): 20062 (java) R 20061 4613 4612 0 -1 0 18087 0 1 0 37379 56 0 0 25 0 11 0 837529693 859750400 24582 4294967295 134512640 134569956 3221224368 3221214528 1131471147 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209900 24582 13086 16 0 209884 0
vsize: 839600
[startup+400.018 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 20072
Raw data (stat): 20062 (java) R 20061 4613 4612 0 -1 0 18087 0 1 0 38340 57 0 0 24 0 11 0 837529693 859750400 24689 4294967295 134512640 134569956 3221224368 3221214576 1131338803 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209900 24689 13086 16 0 209884 0
vsize: 839600
[startup+410.019 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 20072
Raw data (stat): 20062 (java) R 20061 4613 4612 0 -1 0 18087 0 1 0 39307 57 0 0 25 0 11 0 837529693 859750400 24780 4294967295 134512640 134569956 3221224368 3221214664 1131439328 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209900 24780 13086 16 0 209884 0
vsize: 839600
[startup+420.019 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 20072
Raw data (stat): 20062 (java) R 20061 4613 4612 0 -1 0 18087 0 1 0 40268 57 0 0 25 0 11 0 837529693 859750400 24876 4294967295 134512640 134569956 3221224368 3221214528 1131471798 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209900 24876 13086 16 0 209884 0
vsize: 839600
[startup+430.02 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 20072
Raw data (stat): 20062 (java) R 20061 4613 4612 0 -1 0 18087 0 1 0 41233 57 0 0 25 0 11 0 837529693 859750400 24988 4294967295 134512640 134569956 3221224368 3221214608 1131353826 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209900 24988 13086 16 0 209884 0
vsize: 839600
[startup+440.02 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 20072
Raw data (stat): 20062 (java) R 20061 4613 4612 0 -1 0 18087 0 1 0 42191 58 0 0 25 0 11 0 837529693 859750400 25092 4294967295 134512640 134569956 3221224368 3221214624 1131429667 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209900 25092 13086 16 0 209884 0
vsize: 839600
[startup+450.02 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 20072
Raw data (stat): 20062 (java) R 20061 4613 4612 0 -1 0 18087 0 1 0 43156 58 0 0 25 0 11 0 837529693 859750400 25184 4294967295 134512640 134569956 3221224368 3221214576 1131340028 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209900 25184 13086 16 0 209884 0
vsize: 839600
[startup+460.02 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 20072
Raw data (stat): 20062 (java) R 20061 4613 4612 0 -1 0 18087 0 1 0 44123 59 0 0 25 0 11 0 837529693 859750400 25271 4294967295 134512640 134569956 3221224368 3221214608 1131353840 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209900 25271 13086 16 0 209884 0
vsize: 839600
[startup+470.021 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 20072
Raw data (stat): 20062 (java) R 20061 4613 4612 0 -1 0 18087 0 1 0 45075 59 0 0 25 0 11 0 837529693 859750400 25414 4294967295 134512640 134569956 3221224368 3221214664 1131438028 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209900 25414 13086 16 0 209884 0
vsize: 839600
[startup+480.022 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 20072
Raw data (stat): 20062 (java) R 20061 4613 4612 0 -1 0 18087 0 1 0 46032 59 0 0 25 0 11 0 837529693 859750400 25639 4294967295 134512640 134569956 3221224368 3221214664 1131438055 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209900 25639 13086 16 0 209884 0
vsize: 839600
[startup+490.022 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 20072
Raw data (stat): 20062 (java) R 20061 4613 4612 0 -1 0 18087 0 1 0 47007 59 0 0 25 0 11 0 837529693 859750400 25779 4294967295 134512640 134569956 3221224368 3221214664 1131439984 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209900 25779 13086 16 0 209884 0
vsize: 839600
[startup+500.027 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 20072
Raw data (stat): 20062 (java) R 20061 4613 4612 0 -1 0 18087 0 1 0 47991 60 0 0 25 0 11 0 837529693 859750400 25866 4294967295 134512640 134569956 3221224368 3221214576 1131338734 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209900 25866 13086 16 0 209884 0
vsize: 839600
[startup+510.027 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 20072
Raw data (stat): 20062 (java) R 20061 4613 4612 0 -1 0 18087 0 1 0 48981 61 0 0 25 0 11 0 837529693 859750400 25882 4294967295 134512640 134569956 3221224368 3221214852 1131180707 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209900 25882 13086 16 0 209884 0
vsize: 839600
[startup+520.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20072
Raw data (stat): 20062 (java) R 20061 4613 4612 0 -1 0 18087 0 1 0 49970 61 0 0 25 0 11 0 837529693 859750400 25895 4294967295 134512640 134569956 3221224368 3221214576 1131338580 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209900 25895 13086 16 0 209884 0
vsize: 839600
[startup+530.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20072
Raw data (stat): 20062 (java) R 20061 4613 4612 0 -1 0 18087 0 1 0 50954 61 0 0 24 0 11 0 837529693 859750400 25909 4294967295 134512640 134569956 3221224368 3221214640 1131346896 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209900 25909 13086 16 0 209884 0
vsize: 839600
[startup+540.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20072
Raw data (stat): 20062 (java) R 20061 4613 4612 0 -1 0 18087 0 1 0 51943 61 0 0 25 0 11 0 837529693 859750400 25918 4294967295 134512640 134569956 3221224368 3221214664 1131441064 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209900 25918 13086 16 0 209884 0
vsize: 839600
[startup+550.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20072
Raw data (stat): 20062 (java) R 20061 4613 4612 0 -1 0 18087 0 1 0 52925 62 0 0 25 0 11 0 837529693 859750400 25931 4294967295 134512640 134569956 3221224368 3221214680 1131283321 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209900 25931 13086 16 0 209884 0
vsize: 839600
[startup+560.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20072
Raw data (stat): 20062 (java) R 20061 4613 4612 0 -1 0 18087 0 1 0 53906 62 0 0 25 0 11 0 837529693 859750400 25977 4294967295 134512640 134569956 3221224368 3221214528 1131471521 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209900 25977 13086 16 0 209884 0
vsize: 839600
[startup+570.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20072
Raw data (stat): 20062 (java) R 20061 4613 4612 0 -1 0 18087 0 1 0 54888 62 0 0 25 0 11 0 837529693 859750400 25993 4294967295 134512640 134569956 3221224368 3221214664 1131438077 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209900 25993 13086 16 0 209884 0
vsize: 839600
[startup+580.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20072
Raw data (stat): 20062 (java) R 20061 4613 4612 0 -1 0 18087 0 1 0 55869 63 0 0 25 0 11 0 837529693 859750400 26024 4294967295 134512640 134569956 3221224368 3221214664 1131438031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209900 26024 13086 16 0 209884 0
vsize: 839600
[startup+590.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20072
Raw data (stat): 20062 (java) R 20061 4613 4612 0 -1 0 18087 0 1 0 56850 63 0 0 25 0 11 0 837529693 859750400 26059 4294967295 134512640 134569956 3221224368 3221214576 1131338620 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209900 26059 13086 16 0 209884 0
vsize: 839600
[startup+600.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20072
Raw data (stat): 20062 (java) R 20061 4613 4612 0 -1 0 18087 0 1 0 57828 63 0 0 25 0 11 0 837529693 859750400 26104 4294967295 134512640 134569956 3221224368 3221214664 1131437861 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209900 26104 13086 16 0 209884 0
vsize: 839600
[startup+610.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20072
Raw data (stat): 20062 (java) R 20061 4613 4612 0 -1 0 18087 0 1 0 58811 64 0 0 25 0 11 0 837529693 859750400 26109 4294967295 134512640 134569956 3221224368 3221214576 1131338671 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209900 26109 13086 16 0 209884 0
vsize: 839600
[startup+620.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20072
Raw data (stat): 20062 (java) R 20061 4613 4612 0 -1 0 18087 0 1 0 59793 64 0 0 25 0 11 0 837529693 859750400 26193 4294967295 134512640 134569956 3221224368 3221214576 1131340025 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209900 26193 13086 16 0 209884 0
vsize: 839600
[startup+630.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20072
Raw data (stat): 20062 (java) R 20061 4613 4612 0 -1 0 18087 0 1 0 60779 65 0 0 25 0 11 0 837529693 859750400 26208 4294967295 134512640 134569956 3221224368 3221214576 1131338898 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209900 26208 13086 16 0 209884 0
vsize: 839600
[startup+640.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20072
Raw data (stat): 20062 (java) R 20061 4613 4612 0 -1 0 18087 0 1 0 61767 65 0 0 25 0 11 0 837529693 859750400 26222 4294967295 134512640 134569956 3221224368 3221214664 1131437845 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209900 26222 13086 16 0 209884 0
vsize: 839600
[startup+650.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20072
Raw data (stat): 20062 (java) R 20061 4613 4612 0 -1 0 18087 0 1 0 62754 66 0 0 25 0 11 0 837529693 859750400 26236 4294967295 134512640 134569956 3221224368 3221214576 1131338734 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209900 26236 13086 16 0 209884 0
vsize: 839600
[startup+660.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20072
Raw data (stat): 20062 (java) R 20061 4613 4612 0 -1 0 18087 0 1 0 63737 66 0 0 25 0 11 0 837529693 859750400 26246 4294967295 134512640 134569956 3221224368 3221214576 1131339027 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209900 26246 13086 16 0 209884 0
vsize: 839600
[startup+670.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20072
Raw data (stat): 20062 (java) R 20061 4613 4612 0 -1 0 18087 0 1 0 64723 66 0 0 25 0 11 0 837529693 859750400 26267 4294967295 134512640 134569956 3221224368 3221214664 1131439180 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209900 26267 13086 16 0 209884 0
vsize: 839600
[startup+680.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20072
Raw data (stat): 20062 (java) R 20061 4613 4612 0 -1 0 18087 0 1 0 65707 66 0 0 25 0 11 0 837529693 859750400 26306 4294967295 134512640 134569956 3221224368 3221214576 1131191420 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209900 26306 13086 16 0 209884 0
vsize: 839600
[startup+690.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20072
Raw data (stat): 20062 (java) R 20061 4613 4612 0 -1 0 18087 0 1 0 66698 67 0 0 25 0 11 0 837529693 859750400 26325 4294967295 134512640 134569956 3221224368 3221214528 1131283685 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209900 26325 13086 16 0 209884 0
vsize: 839600
[startup+700.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20072
Raw data (stat): 20062 (java) R 20061 4613 4612 0 -1 0 18087 0 1 0 67686 67 0 0 25 0 11 0 837529693 859750400 26332 4294967295 134512640 134569956 3221224368 3221214664 1131438031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209900 26332 13086 16 0 209884 0
vsize: 839600
[startup+710.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20072
Raw data (stat): 20062 (java) R 20061 4613 4612 0 -1 0 18087 0 1 0 68674 68 0 0 25 0 11 0 837529693 859750400 26348 4294967295 134512640 134569956 3221224368 3221214528 1131471147 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209900 26348 13086 16 0 209884 0
vsize: 839600
[startup+720.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20072
Raw data (stat): 20062 (java) R 20061 4613 4612 0 -1 0 18087 0 1 0 69662 68 0 0 25 0 11 0 837529693 859750400 26356 4294967295 134512640 134569956 3221224368 3221214576 1131339209 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209900 26356 13086 16 0 209884 0
vsize: 839600
[startup+730.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20072
Raw data (stat): 20062 (java) R 20061 4613 4612 0 -1 0 18087 0 1 0 70648 68 0 0 25 0 11 0 837529693 859750400 26379 4294967295 134512640 134569956 3221224368 3221214664 1131441076 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209900 26379 13086 16 0 209884 0
vsize: 839600
[startup+740.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20072
Raw data (stat): 20062 (java) R 20061 4613 4612 0 -1 0 18087 0 1 0 71634 69 0 0 24 0 11 0 837529693 859750400 26395 4294967295 134512640 134569956 3221224368 3221214664 1131438031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209900 26395 13086 16 0 209884 0
vsize: 839600
[startup+750.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20072
Raw data (stat): 20062 (java) R 20061 4613 4612 0 -1 0 18087 0 1 0 72619 69 0 0 25 0 11 0 837529693 859750400 26418 4294967295 134512640 134569956 3221224368 3221214576 1131338898 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209900 26418 13086 16 0 209884 0
vsize: 839600
[startup+760.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20072
Raw data (stat): 20062 (java) R 20061 4613 4612 0 -1 0 18087 0 1 0 73601 69 0 0 25 0 11 0 837529693 859750400 26430 4294967295 134512640 134569956 3221224368 3221214656 1131233334 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209900 26430 13086 16 0 209884 0
vsize: 839600
[startup+770.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20072
Raw data (stat): 20062 (java) R 20061 4613 4612 0 -1 0 18087 0 1 0 74586 70 0 0 25 0 11 0 837529693 859750400 26448 4294967295 134512640 134569956 3221224368 3221214664 1131445202 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209900 26448 13086 16 0 209884 0
vsize: 839600
[startup+780.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20072
Raw data (stat): 20062 (java) R 20061 4613 4612 0 -1 0 18087 0 1 0 75572 70 0 0 25 0 11 0 837529693 859750400 26518 4294967295 134512640 134569956 3221224368 3221214576 1131338639 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209900 26518 13086 16 0 209884 0
vsize: 839600
[startup+790.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20072
Raw data (stat): 20062 (java) R 20061 4613 4612 0 -1 0 18087 0 1 0 76563 71 0 0 25 0 11 0 837529693 859750400 26523 4294967295 134512640 134569956 3221224368 3221214576 1131340045 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209900 26523 13086 16 0 209884 0
vsize: 839600
[startup+800.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20072
Raw data (stat): 20062 (java) R 20061 4613 4612 0 -1 0 18087 0 1 0 77550 71 0 0 25 0 11 0 837529693 859750400 26524 4294967295 134512640 134569956 3221224368 3221214576 1131191005 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209900 26524 13086 16 0 209884 0
vsize: 839600
[startup+810.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20072
Raw data (stat): 20062 (java) R 20061 4613 4612 0 -1 0 18087 0 1 0 78536 71 0 0 25 0 11 0 837529693 859750400 26526 4294967295 134512640 134569956 3221224368 3221214576 1131190988 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209900 26526 13086 16 0 209884 0
vsize: 839600
[startup+820.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20072
Raw data (stat): 20062 (java) R 20061 4613 4612 0 -1 0 18087 0 1 0 79521 71 0 0 25 0 11 0 837529693 859750400 26526 4294967295 134512640 134569956 3221224368 3221214576 1131338632 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209900 26526 13086 16 0 209884 0
vsize: 839600
[startup+830.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20072
Raw data (stat): 20062 (java) R 20061 4613 4612 0 -1 0 18087 0 1 0 80507 72 0 0 25 0 11 0 837529693 859750400 26570 4294967295 134512640 134569956 3221224368 3221214560 1131283432 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209900 26570 13086 16 0 209884 0
vsize: 839600
[startup+840.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20072
Raw data (stat): 20062 (java) R 20061 4613 4612 0 -1 0 18087 0 1 0 81495 72 0 0 25 0 11 0 837529693 859750400 26570 4294967295 134512640 134569956 3221224368 3221214576 1131338785 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209900 26570 13086 16 0 209884 0
vsize: 839600
[startup+850.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20072
Raw data (stat): 20062 (java) R 20061 4613 4612 0 -1 0 18087 0 1 0 82481 72 0 0 25 0 11 0 837529693 859750400 26616 4294967295 134512640 134569956 3221224368 3221214664 1131438010 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209900 26616 13086 16 0 209884 0
vsize: 839600
[startup+860.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20072
Raw data (stat): 20062 (java) R 20061 4613 4612 0 -1 0 18087 0 1 0 83468 73 0 0 24 0 11 0 837529693 859750400 26618 4294967295 134512640 134569956 3221224368 3221214576 1131338681 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209900 26618 13086 16 0 209884 0
vsize: 839600
[startup+870.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20072
Raw data (stat): 20062 (java) R 20061 4613 4612 0 -1 0 18087 0 1 0 84455 73 0 0 25 0 11 0 837529693 859750400 26642 4294967295 134512640 134569956 3221224368 3221214636 1131353760 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209900 26642 13086 16 0 209884 0
vsize: 839600
[startup+880.044 s]
Raw data (loadavg): 1.08 1.02 1.01 2/64 20072
Raw data (stat): 20062 (java) R 20061 4613 4612 0 -1 0 18087 0 1 0 85442 73 0 0 25 0 11 0 837529693 859750400 26643 4294967295 134512640 134569956 3221224368 3221214576 1131339143 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209900 26643 13086 16 0 209884 0
vsize: 839600
[startup+890.044 s]
Raw data (loadavg): 1.07 1.02 1.00 2/64 20072
Raw data (stat): 20062 (java) R 20061 4613 4612 0 -1 0 18087 0 1 0 86426 73 0 0 25 0 11 0 837529693 859750400 26664 4294967295 134512640 134569956 3221224368 3221214576 1131339125 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209900 26664 13086 16 0 209884 0
vsize: 839600
[startup+900.045 s]
Raw data (loadavg): 1.06 1.01 1.00 2/64 20072
Raw data (stat): 20062 (java) R 20061 4613 4612 0 -1 0 18087 0 1 0 87413 74 0 0 25 0 11 0 837529693 859750400 26693 4294967295 134512640 134569956 3221224368 3221214576 1131338642 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209900 26693 13086 16 0 209884 0
vsize: 839600
[startup+910.045 s]
Raw data (loadavg): 1.05 1.01 1.00 2/64 20072
Raw data (stat): 20062 (java) R 20061 4613 4612 0 -1 0 18087 0 1 0 88401 74 0 0 25 0 11 0 837529693 859750400 26727 4294967295 134512640 134569956 3221224368 3221214576 1131338683 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209900 26727 13086 16 0 209884 0
vsize: 839600
[startup+920.045 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 20072
Raw data (stat): 20062 (java) R 20061 4613 4612 0 -1 0 18087 0 1 0 89390 75 0 0 25 0 11 0 837529693 859750400 26727 4294967295 134512640 134569956 3221224368 3221214576 1131192020 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209900 26727 13086 16 0 209884 0
vsize: 839600
[startup+930.046 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 20072
Raw data (stat): 20062 (java) R 20061 4613 4612 0 -1 0 18087 0 1 0 90378 76 0 0 25 0 11 0 837529693 859750400 26750 4294967295 134512640 134569956 3221224368 3221214664 1131444801 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209900 26750 13086 16 0 209884 0
vsize: 839600
[startup+940.046 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 20072
Raw data (stat): 20062 (java) R 20061 4613 4612 0 -1 0 18087 0 1 0 91370 77 0 0 25 0 11 0 837529693 859750400 26751 4294967295 134512640 134569956 3221224368 3221214572 1130885147 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209900 26751 13086 16 0 209884 0
vsize: 839600
[startup+950.046 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 20072
Raw data (stat): 20062 (java) R 20061 4613 4612 0 -1 0 18087 0 1 0 92356 77 0 0 25 0 11 0 837529693 859750400 26752 4294967295 134512640 134569956 3221224368 3221214536 1131191616 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209900 26752 13086 16 0 209884 0
vsize: 839600
[startup+960.047 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 20072
Raw data (stat): 20062 (java) R 20061 4613 4612 0 -1 0 18087 0 1 0 93337 78 0 0 25 0 11 0 837529693 859750400 26757 4294967295 134512640 134569956 3221224368 3221214664 1131444952 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209900 26757 13086 16 0 209884 0
vsize: 839600
[startup+970.047 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 20072
Raw data (stat): 20062 (java) R 20061 4613 4612 0 -1 0 18087 0 1 0 94306 78 0 0 25 0 11 0 837529693 859750400 26765 4294967295 134512640 134569956 3221224368 3221214528 1131471801 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209900 26765 13086 16 0 209884 0
vsize: 839600
[startup+980.048 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 20072
Raw data (stat): 20062 (java) R 20061 4613 4612 0 -1 0 18087 0 1 0 95274 78 0 0 25 0 11 0 837529693 859750400 26782 4294967295 134512640 134569956 3221224368 3221214528 1131471919 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209900 26782 13086 16 0 209884 0
vsize: 839600
[startup+990.048 s]
Raw data (loadavg): 1.08 1.02 1.00 2/64 20125
Raw data (stat): 20062 (java) R 20061 4613 4612 0 -1 0 18087 0 1 0 96230 82 0 0 25 0 11 0 837529693 859750400 26795 4294967295 134512640 134569956 3221224368 3221214640 1131346787 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209900 26795 13086 16 0 209884 0
vsize: 839600
[startup+1000.05 s]
Raw data (loadavg): 1.07 1.02 1.00 2/64 20125
Raw data (stat): 20062 (java) R 20061 4613 4612 0 -1 0 18087 0 1 0 97177 83 0 0 25 0 11 0 837529693 859750400 26965 4294967295 134512640 134569956 3221224368 3221214624 1131429674 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209900 26965 13086 16 0 209884 0
vsize: 839600
[startup+1010.05 s]
Raw data (loadavg): 1.06 1.02 1.00 2/64 20125
Raw data (stat): 20062 (java) R 20061 4613 4612 0 -1 0 18087 0 1 0 98131 83 0 0 25 0 11 0 837529693 859750400 27125 4294967295 134512640 134569956 3221224368 3221214576 1131338734 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209900 27125 13086 16 0 209884 0
vsize: 839600
[startup+1020.05 s]
Raw data (loadavg): 1.05 1.02 1.00 2/64 20125
Raw data (stat): 20062 (java) R 20061 4613 4612 0 -1 0 18087 0 1 0 99084 83 0 0 25 0 11 0 837529693 859750400 27282 4294967295 134512640 134569956 3221224368 3221214664 1131439406 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209900 27282 13086 16 0 209884 0
vsize: 839600
[startup+1030.05 s]
Raw data (loadavg): 1.04 1.02 1.00 2/64 20125
Raw data (stat): 20062 (java) R 20061 4613 4612 0 -1 0 18087 0 1 0 100028 83 0 0 25 0 11 0 837529693 859750400 27447 4294967295 134512640 134569956 3221224368 3221214596 1131127952 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209900 27447 13086 16 0 209884 0
vsize: 839600
[startup+1040.05 s]
Raw data (loadavg): 1.03 1.02 1.00 2/64 20125
Raw data (stat): 20062 (java) R 20061 4613 4612 0 -1 0 18087 0 1 0 100981 83 0 0 25 0 11 0 837529693 859750400 27586 4294967295 134512640 134569956 3221224368 3221214528 1131471147 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209900 27586 13086 16 0 209884 0
vsize: 839600
[startup+1050.05 s]
Raw data (loadavg): 1.03 1.02 1.00 2/64 20125
Raw data (stat): 20062 (java) R 20061 4613 4612 0 -1 0 18087 0 1 0 101934 83 0 0 25 0 11 0 837529693 859750400 27726 4294967295 134512640 134569956 3221224368 3221214520 1131283484 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209900 27726 13086 16 0 209884 0
vsize: 839600
[startup+1060.05 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 20127
Raw data (stat): 20062 (java) R 20061 4613 4612 0 -1 0 18087 0 1 0 102877 84 0 0 25 0 11 0 837529693 859750400 27897 4294967295 134512640 134569956 3221224368 3221214784 1131350336 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209900 27897 13086 16 0 209884 0
vsize: 839600
[startup+1070.05 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 20127
Raw data (stat): 20062 (java) R 20061 4613 4612 0 -1 0 18087 0 1 0 103829 84 0 0 25 0 11 0 837529693 859750400 28026 4294967295 134512640 134569956 3221224368 3221214616 1131388953 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209900 28026 13086 16 0 209884 0
vsize: 839600
[startup+1080.05 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 20127
Raw data (stat): 20062 (java) R 20061 4613 4612 0 -1 0 18087 0 1 0 104782 85 0 0 25 0 11 0 837529693 859750400 28184 4294967295 134512640 134569956 3221224368 3221214640 1131346774 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209900 28184 13086 16 0 209884 0
vsize: 839600
[startup+1090.05 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 20127
Raw data (stat): 20062 (java) R 20061 4613 4612 0 -1 0 18087 0 1 0 105723 85 0 0 24 0 11 0 837529693 859750400 28356 4294967295 134512640 134569956 3221224368 3221214572 1130885120 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209900 28356 13086 16 0 209884 0
vsize: 839600
[startup+1100.05 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 20127
Raw data (stat): 20062 (java) R 20061 4613 4612 0 -1 0 18087 0 1 0 106666 85 0 0 24 0 11 0 837529693 859750400 28521 4294967295 134512640 134569956 3221224368 3221214664 1131439496 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209900 28521 13086 16 0 209884 0
vsize: 839600
[startup+1110.05 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 20127
Raw data (stat): 20062 (java) R 20061 4613 4612 0 -1 0 18087 0 1 0 107623 86 0 0 25 0 11 0 837529693 859750400 28646 4294967295 134512640 134569956 3221224368 3221214664 1131438077 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209900 28646 13086 16 0 209884 0
vsize: 839600
[startup+1120.05 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 20127
Raw data (stat): 20062 (java) R 20061 4613 4612 0 -1 0 18087 0 1 0 108575 86 0 0 25 0 11 0 837529693 859750400 28841 4294967295 134512640 134569956 3221224368 3221214656 1131233294 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209900 28841 13086 16 0 209884 0
vsize: 839600
[startup+1130.06 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 20127
Raw data (stat): 20062 (java) R 20061 4613 4612 0 -1 0 18087 0 1 0 109536 86 0 0 25 0 11 0 837529693 859750400 29048 4294967295 134512640 134569956 3221224368 3221214552 1131327351 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209900 29048 13086 16 0 209884 0
vsize: 839600
[startup+1140.06 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 20127
Raw data (stat): 20062 (java) R 20061 4613 4612 0 -1 0 18087 0 1 0 110511 86 0 0 25 0 11 0 837529693 859750400 29342 4294967295 134512640 134569956 3221224368 3221214576 1131339093 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209900 29342 13086 16 0 209884 0
vsize: 839600
[startup+1150.06 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 20127
Raw data (stat): 20062 (java) R 20061 4613 4612 0 -1 0 18087 0 1 0 111500 87 0 0 25 0 11 0 837529693 859750400 29343 4294967295 134512640 134569956 3221224368 3221214664 1131444952 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209900 29343 13086 16 0 209884 0
vsize: 839600
[startup+1160.06 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 20127
Raw data (stat): 20062 (java) R 20061 4613 4612 0 -1 0 18087 0 1 0 112486 87 0 0 25 0 11 0 837529693 859750400 29345 4294967295 134512640 134569956 3221224368 3221214664 1131438077 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209900 29345 13086 16 0 209884 0
vsize: 839600
[startup+1170.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20127
Raw data (stat): 20062 (java) R 20061 4613 4612 0 -1 0 18087 0 1 0 113472 87 0 0 21 0 11 0 837529693 859750400 29356 4294967295 134512640 134569956 3221224368 3221214664 1131444436 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209900 29356 13086 16 0 209884 0
vsize: 839600
[startup+1180.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20127
Raw data (stat): 20062 (java) R 20061 4613 4612 0 -1 0 18087 0 1 0 114453 87 0 0 25 0 11 0 837529693 859750400 29363 4294967295 134512640 134569956 3221224368 3221214552 1131327351 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209900 29363 13086 16 0 209884 0
vsize: 839600
[startup+1190.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20127
Raw data (stat): 20062 (java) R 20061 4613 4612 0 -1 0 18087 0 1 0 115438 88 0 0 25 0 11 0 837529693 859750400 29371 4294967295 134512640 134569956 3221224368 3221214576 1131338632 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209900 29371 13086 16 0 209884 0
vsize: 839600
[startup+1200.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20127
Raw data (stat): 20062 (java) R 20061 4613 4612 0 -1 0 18087 0 1 0 116419 88 0 0 25 0 11 0 837529693 859750400 29398 4294967295 134512640 134569956 3221224368 3221214576 1131338862 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209900 29398 13086 16 0 209884 0
vsize: 839600
[startup+1210.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20127
Raw data (stat): 20062 (java) R 20061 4613 4612 0 -1 0 18087 0 1 0 117404 88 0 0 25 0 11 0 837529693 859750400 29421 4294967295 134512640 134569956 3221224368 3221214576 1131338951 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209900 29421 13086 16 0 209884 0
vsize: 839600
[startup+1220.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20127
Raw data (stat): 20062 (java) R 20061 4613 4612 0 -1 0 18087 0 1 0 118390 88 0 0 25 0 11 0 837529693 859750400 29427 4294967295 134512640 134569956 3221224368 3221214640 1131346828 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209900 29427 13086 16 0 209884 0
vsize: 839600
[startup+1230.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20127
Raw data (stat): 20062 (java) R 20061 4613 4612 0 -1 0 18087 0 1 0 119380 88 0 0 25 0 11 0 837529693 859750400 29437 4294967295 134512640 134569956 3221224368 3221214624 1131429781 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209900 29437 13086 16 0 209884 0
vsize: 839600
[startup+1240.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20127
Raw data (stat): 20062 (java) R 20061 4613 4612 0 -1 0 18087 0 1 0 120368 88 0 0 25 0 11 0 837529693 859750400 29466 4294967295 134512640 134569956 3221224368 3221214576 1131338734 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209900 29466 13086 16 0 209884 0
vsize: 839600
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1240.16 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 20129
Raw data (stat): 20062 (java) Z 20061 4613 4612 0 -1 1036 18087 9694 1 0 120371 88 3212 31 25 0 1 0 837529693 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.05
CPU user time (s): 1235.84
CPU system time (s): 1.20282
CPU usage (%): 99.7492
Max. virtual memory (Kb): 840624
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####