PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-markshare1.opb
MD5SUM	6f06e375914e0285ec75de90ad627758
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	3712
Optimality of the best value was proved	NO
Number of terms in the objective function	120
Biggest coefficient in the objective function	524288
Number of bits for the biggest coefficient in the objective function	20
Sum of the numbers in the objective function	6291450
Number of bits of the sum of numbers in the objective function	23
Biggest number in a constraint	524288
Number of bits of the biggest number in a constraint	20
Biggest sum of numbers in a constraint	6291450
Number of bits of the biggest sum of numbers	23
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.1
Number of variables	170
Total number of constraints	56
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	50
Number of constraints which are nor clauses,nor cardinality constraints	6
Minimum length of a constraint	1
Maximum length of a constraint	70
Trace number 29969

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc10 THE 2005-05-25 13:19:57 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=21369 boxname=wulflinc10 idbench=1357 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  6f06e375914e0285ec75de90ad627758  /oldhome/oroussel/tmp/wulflinc10/normalized-mps-v2-13-7-markshare1.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc10/normalized-mps-v2-13-7-markshare1.opb
IDLAUNCH: 21369
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 450.999
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		: 450.999
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:        685128 kB
Buffers:         30648 kB
Cached:         297360 kB
SwapCached:         92 kB
Active:          54284 kB
Inactive:       276368 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        684876 kB
SwapTotal:     2097136 kB
SwapFree:      2096752 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6392 kB
Slab:            13336 kB
Committed_AS:    63592 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 13:40:19 (client local time) WITH STATUS 143 IN 1216.13 SECONDS
stats: 21369 0 1216.13 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/wulflinc10/normalized-mps-v2-13-7-markshare1.opb
c reading problem ... done. Time 0.449 ms.
c #vars     170
c #constraints  12
c SATISFIABLE
c OPTIMIZING...
c CURRENT OPTIMUM=              863872 		Current CPU time: 2.01 ms
c CURRENT OPTIMUM=              827008 		Current CPU time: 3.17 ms
c CURRENT OPTIMUM=               81024 		Current CPU time: 4.18 ms
c CURRENT OPTIMUM=               78720 		Current CPU time: 18.08 ms
c CURRENT OPTIMUM=               56064 		Current CPU time: 28.27 ms
c CURRENT OPTIMUM=               50560 		Current CPU time: 56.96 ms
c CURRENT OPTIMUM=               33792 		Current CPU time: 58.14 ms
c CURRENT OPTIMUM=               29824 		Current CPU time: 59.98 ms
c CURRENT OPTIMUM=               23040 		Current CPU time: 126.76 ms
c CURRENT OPTIMUM=               21248 		Current CPU time: 213.97 ms
c starts	: 13
c conflicts	: 601
c decisions	: 10652
c propagations	: 28160
c inspects	: 2477774
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 601
c root simplifications	: 404
s SATISFIABLE
v -x1_bit_7 -x1_bit_6 -x1_bit_5 -x1_bit_4 -x1_bit_3 -x1_bit_2 -x1_bit_1 x1_bit0 x1_bit1 -x1_bit2 -x1_bit3 -x1_bit4 -x1_bit5 -x1_bit6 -x1_bit7 -x1_bit8 -x1_bit9 -x1_bit10 -x1_bit11 -x1_bit12 -x3_bit_7 -x3_bit_6 -x3_bit_5 -x3_bit_4 -x3_bit_3 -x3_bit_2 -x3_bit_1 x3_bit0 -x3_bit1 x3_bit2 x3_bit3 -x3_bit4 -x3_bit5 -x3_bit6 -x3_bit7 -x3_bit8 -x3_bit9 -x3_bit10 -x3_bit11 -x3_bit12 -x5_bit_7 -x5_bit_6 -x5_bit_5 -x5_bit_4 -x5_bit_3 -x5_bit_2 -x5_bit_1 -x5_bit0 -x5_bit1 x5_bit2 x5_bit3 -x5_bit4 -x5_bit5 x5_bit6 -x5_bit7 -x5_bit8 -x5_bit9 -x5_bit10 -x5_bit11 -x5_bit12 -x7_bit_7 -x7_bit_6 -x7_bit_5 -x7_bit_4 -x7_bit_3 -x7_bit_2 -x7_bit_1 x7_bit0 -x7_bit1 -x7_bit2 x7_bit3 -x7_bit4 -x7_bit5 -x7_bit6 -x7_bit7 -x7_bit8 -x7_bit9 -x7_bit10 -x7_bit11 -x7_bit12 -x9_bit_7 -x9_bit_6 -x9_bit_5 -x9_bit_4 -x9_bit_3 -x9_bit_2 -x9_bit_1 x9_bit0 -x9_bit1 x9_bit2 -x9_bit3 -x9_bit4 -x9_bit5 -x9_bit6 -x9_bit7 -x9_bit8 -x9_bit9 -x9_bit10 -x9_bit11 -x9_bit12 -x11_bit_7 -x11_bit_6 -x11_bit_5 -x11_bit_4 -x11_bit_3 -x11_bit_2 -x11_bit_1 -x11_bit0 -x11_bit1 x11_bit2 x11_bit3 x11_bit4 x11_bit5 -x11_bit6 -x11_bit7 -x11_bit8 -x11_bit9 -x11_bit10 -x11_bit11 -x11_bit12 x13_bit0 -x14_bit0 x15_bit0 x16_bit0 -x17_bit0 -x18_bit0 -x19_bit0 -x20_bit0 x21_bit0 -x22_bit0 -x23_bit0 -x24_bit0 x25_bit0 -x26_bit0 -x27_bit0 -x28_bit0 x29_bit0 x30_bit0 -x31_bit0 x32_bit0 -x33_bit0 x34_bit0 x35_bit0 -x36_bit0 x37_bit0 x38_bit0 x39_bit0 x40_bit0 x41_bit0 -x42_bit0 -x43_bit0 x44_bit0 -x45_bit0 x46_bit0 -x47_bit0 x48_bit0 -x49_bit0 -x50_bit0 x51_bit0 -x52_bit0 x53_bit0 -x54_bit0 x55_bit0 x56_bit0 x57_bit0 -x58_bit0 -x59_bit0 -x60_bit0 -x61_bit0 -x62_bit0 
c objectif function=21248
c Total CPU time (ms) : 1219.154
#### 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.85 0.97 0.99 2/54 30784
Raw data (stat): 30784 (runsolver) R 30783 15547 15546 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 780981567 1052672 99 4294967295 134512640 135381576 3221224400 3221219620 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0013 s]
Raw data (loadavg): 1.18 1.03 1.01 4/64 30797
Raw data (stat): 30784 (java) R 30783 15547 15546 0 -1 0 18118 3 1 0 609 39 0 0 25 0 11 0 780981567 867528704 21695 4294967295 134512640 134569956 3221224368 3221214760 1130917338 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211799 21695 13086 16 0 211783 0
vsize: 847196
[startup+20.002 s]
Raw data (loadavg): 1.30 1.06 1.02 2/64 30798
Raw data (stat): 30784 (java) R 30783 15547 15546 0 -1 0 18122 3 1 0 1532 39 0 0 25 0 11 0 780981567 865710080 21568 4294967295 134512640 134569956 3221224368 3221214584 1131160225 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211355 21568 13086 16 0 211339 0
vsize: 845420
[startup+30.0035 s]
Raw data (loadavg): 1.25 1.06 1.02 2/64 30799
Raw data (stat): 30784 (java) R 30783 15547 15546 0 -1 0 18123 3 1 0 2506 39 0 0 25 0 11 0 780981567 865710080 21689 4294967295 134512640 134569956 3221224368 3221214520 1131163282 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211355 21689 13086 16 0 211339 0
vsize: 845420
[startup+40.0035 s]
Raw data (loadavg): 1.21 1.06 1.02 2/64 30799
Raw data (stat): 30784 (java) R 30783 15547 15546 0 -1 0 18123 3 1 0 3479 39 0 0 25 0 11 0 780981567 865710080 21760 4294967295 134512640 134569956 3221224368 3221214584 1131157311 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211355 21760 13086 16 0 211339 0
vsize: 845420
[startup+50.0037 s]
Raw data (loadavg): 1.26 1.07 1.02 2/64 30799
Raw data (stat): 30784 (java) R 30783 15547 15546 0 -1 0 18123 3 1 0 4456 39 0 0 25 0 11 0 780981567 865710080 21946 4294967295 134512640 134569956 3221224368 3221214632 1131155460 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211355 21946 13086 16 0 211339 0
vsize: 845420
[startup+60.0037 s]
Raw data (loadavg): 1.22 1.07 1.02 2/64 30801
Raw data (stat): 30784 (java) R 30783 15547 15546 0 -1 0 18123 3 1 0 5441 39 0 0 25 0 11 0 780981567 865710080 22007 4294967295 134512640 134569956 3221224368 3221214680 1131427591 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211355 22007 13086 16 0 211339 0
vsize: 845420
[startup+70.0055 s]
Raw data (loadavg): 1.18 1.07 1.02 2/64 30802
Raw data (stat): 30784 (java) R 30783 15547 15546 0 -1 0 18123 3 1 0 6430 40 0 0 25 0 11 0 780981567 865710080 22044 4294967295 134512640 134569956 3221224368 3221214680 1131429729 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211355 22044 13086 16 0 211339 0
vsize: 845420
[startup+80.0064 s]
Raw data (loadavg): 1.16 1.06 1.02 2/64 30802
Raw data (stat): 30784 (java) R 30783 15547 15546 0 -1 0 18123 3 1 0 7418 40 0 0 25 0 11 0 780981567 865710080 22083 4294967295 134512640 134569956 3221224368 3221214536 1131208103 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211355 22083 13086 16 0 211339 0
vsize: 845420
[startup+90.0092 s]
Raw data (loadavg): 1.13 1.06 1.02 2/64 30802
Raw data (stat): 30784 (java) S 30783 15547 15546 0 -1 0 18123 3 1 0 8406 40 0 0 25 0 11 0 780981567 865710080 22116 4294967295 134512640 134569956 3221224368 3221213424 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211355 22116 13086 16 0 211339 0
vsize: 845420
[startup+100.01 s]
Raw data (loadavg): 1.11 1.06 1.02 2/64 30802
Raw data (stat): 30784 (java) R 30783 15547 15546 0 -1 0 18123 3 1 0 9395 40 0 0 25 0 11 0 780981567 865710080 22151 4294967295 134512640 134569956 3221224368 3221214584 1131161050 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211355 22151 13086 16 0 211339 0
vsize: 845420
[startup+110.011 s]
Raw data (loadavg): 1.09 1.06 1.02 2/64 30802
Raw data (stat): 30784 (java) R 30783 15547 15546 0 -1 0 18123 3 1 0 10383 41 0 0 25 0 11 0 780981567 865710080 22183 4294967295 134512640 134569956 3221224368 3221214680 1131433492 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211355 22183 13086 16 0 211339 0
vsize: 845420
[startup+120.012 s]
Raw data (loadavg): 1.08 1.05 1.02 2/64 30802
Raw data (stat): 30784 (java) R 30783 15547 15546 0 -1 0 18123 3 1 0 11373 41 0 0 25 0 11 0 780981567 865710080 22209 4294967295 134512640 134569956 3221224368 3221214504 1131460451 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211355 22209 13086 16 0 211339 0
vsize: 845420
[startup+130.012 s]
Raw data (loadavg): 1.07 1.05 1.02 2/64 30803
Raw data (stat): 30784 (java) R 30783 15547 15546 0 -1 0 18123 3 1 0 12362 41 0 0 25 0 11 0 780981567 865710080 22230 4294967295 134512640 134569956 3221224368 3221214584 1131160362 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211355 22230 13086 16 0 211339 0
vsize: 845420
[startup+140.012 s]
Raw data (loadavg): 1.06 1.05 1.01 2/64 30803
Raw data (stat): 30784 (java) R 30783 15547 15546 0 -1 0 18123 3 1 0 13351 41 0 0 25 0 11 0 780981567 865710080 22255 4294967295 134512640 134569956 3221224368 3221214584 1131160225 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211355 22255 13086 16 0 211339 0
vsize: 845420
[startup+150.012 s]
Raw data (loadavg): 1.13 1.06 1.02 2/64 30803
Raw data (stat): 30784 (java) R 30783 15547 15546 0 -1 0 18123 3 1 0 14339 41 0 0 25 0 11 0 780981567 865710080 22288 4294967295 134512640 134569956 3221224368 3221214584 1131160362 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211355 22288 13086 16 0 211339 0
vsize: 845420
[startup+160.012 s]
Raw data (loadavg): 1.11 1.06 1.02 2/64 30803
Raw data (stat): 30784 (java) R 30783 15547 15546 0 -1 0 18123 3 1 0 15328 41 0 0 25 0 11 0 780981567 865710080 22316 4294967295 134512640 134569956 3221224368 3221214584 1131160483 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211355 22316 13086 16 0 211339 0
vsize: 845420
[startup+170.012 s]
Raw data (loadavg): 1.09 1.06 1.02 2/64 30803
Raw data (stat): 30784 (java) R 30783 15547 15546 0 -1 0 18123 3 1 0 16317 41 0 0 25 0 11 0 780981567 865710080 22346 4294967295 134512640 134569956 3221224368 3221214680 1131428690 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211355 22346 13086 16 0 211339 0
vsize: 845420
[startup+180.012 s]
Raw data (loadavg): 1.08 1.06 1.02 2/64 30803
Raw data (stat): 30784 (java) R 30783 15547 15546 0 -1 0 18124 3 1 0 17307 41 0 0 25 0 11 0 780981567 865710080 22374 4294967295 134512640 134569956 3221224368 3221214584 1131160924 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211355 22374 13086 16 0 211339 0
vsize: 845420
[startup+190.021 s]
Raw data (loadavg): 1.06 1.05 1.01 2/64 30803
Raw data (stat): 30784 (java) R 30783 15547 15546 0 -1 0 18124 3 1 0 18299 41 0 0 25 0 11 0 780981567 865710080 22403 4294967295 134512640 134569956 3221224368 3221214584 1131160991 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211355 22403 13086 16 0 211339 0
vsize: 845420
[startup+200.022 s]
Raw data (loadavg): 1.05 1.05 1.01 2/64 30803
Raw data (stat): 30784 (java) R 30783 15547 15546 0 -1 0 18124 3 1 0 19289 41 0 0 25 0 11 0 780981567 865710080 22422 4294967295 134512640 134569956 3221224368 3221214584 1131160362 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211355 22422 13086 16 0 211339 0
vsize: 845420
[startup+210.022 s]
Raw data (loadavg): 1.04 1.05 1.01 2/64 30803
Raw data (stat): 30784 (java) R 30783 15547 15546 0 -1 0 18124 3 1 0 20281 41 0 0 25 0 11 0 780981567 865710080 22439 4294967295 134512640 134569956 3221224368 3221214632 1131154872 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211355 22439 13086 16 0 211339 0
vsize: 845420
[startup+220.022 s]
Raw data (loadavg): 1.04 1.05 1.01 2/64 30804
Raw data (stat): 30784 (java) R 30783 15547 15546 0 -1 0 18124 3 1 0 21271 42 0 0 25 0 11 0 780981567 865710080 22457 4294967295 134512640 134569956 3221224368 3221214584 1131161977 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211355 22457 13086 16 0 211339 0
vsize: 845420
[startup+230.022 s]
Raw data (loadavg): 1.03 1.05 1.01 2/64 30804
Raw data (stat): 30784 (java) R 30783 15547 15546 0 -1 0 18124 3 1 0 22261 42 0 0 25 0 11 0 780981567 865710080 22476 4294967295 134512640 134569956 3221224368 3221214584 1131160225 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211355 22476 13086 16 0 211339 0
vsize: 845420
[startup+240.022 s]
Raw data (loadavg): 1.03 1.04 1.01 2/64 30804
Raw data (stat): 30784 (java) R 30783 15547 15546 0 -1 0 18124 3 1 0 23252 42 0 0 25 0 11 0 780981567 865710080 22500 4294967295 134512640 134569956 3221224368 3221214680 1131430430 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211355 22500 13086 16 0 211339 0
vsize: 845420
[startup+250.022 s]
Raw data (loadavg): 1.02 1.04 1.01 2/64 30804
Raw data (stat): 30784 (java) R 30783 15547 15546 0 -1 0 18124 3 1 0 24242 42 0 0 25 0 11 0 780981567 865710080 22519 4294967295 134512640 134569956 3221224368 3221214440 1131214027 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211355 22519 13086 16 0 211339 0
vsize: 845420
[startup+260.023 s]
Raw data (loadavg): 1.02 1.04 1.01 2/64 30804
Raw data (stat): 30784 (java) R 30783 15547 15546 0 -1 0 18124 3 1 0 25233 42 0 0 25 0 11 0 780981567 865710080 22530 4294967295 134512640 134569956 3221224368 3221214680 1131427591 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211355 22530 13086 16 0 211339 0
vsize: 845420
[startup+270.026 s]
Raw data (loadavg): 1.01 1.04 1.01 2/64 30804
Raw data (stat): 30784 (java) R 30783 15547 15546 0 -1 0 18124 3 1 0 26223 42 0 0 25 0 11 0 780981567 865710080 22556 4294967295 134512640 134569956 3221224368 3221214680 1131433422 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211355 22556 13086 16 0 211339 0
vsize: 845420
[startup+280.026 s]
Raw data (loadavg): 1.01 1.04 1.01 2/64 30804
Raw data (stat): 30784 (java) R 30783 15547 15546 0 -1 0 18124 3 1 0 27214 42 0 0 25 0 11 0 780981567 865710080 22574 4294967295 134512640 134569956 3221224368 3221214680 1131429771 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211355 22574 13086 16 0 211339 0
vsize: 845420
[startup+290.026 s]
Raw data (loadavg): 1.01 1.04 1.00 2/64 30804
Raw data (stat): 30784 (java) R 30783 15547 15546 0 -1 0 18124 3 1 0 28205 42 0 0 25 0 11 0 780981567 865710080 22587 4294967295 134512640 134569956 3221224368 3221214584 1131160225 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211355 22587 13086 16 0 211339 0
vsize: 845420
[startup+300.027 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 30804
Raw data (stat): 30784 (java) R 30783 15547 15546 0 -1 0 18124 3 1 0 29197 42 0 0 25 0 11 0 780981567 865710080 22611 4294967295 134512640 134569956 3221224368 3221214584 1131160183 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211355 22611 13086 16 0 211339 0
vsize: 845420
[startup+310.027 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 30804
Raw data (stat): 30784 (java) R 30783 15547 15546 0 -1 0 18124 3 1 0 30188 42 0 0 25 0 11 0 780981567 865710080 22625 4294967295 134512640 134569956 3221224368 3221214680 1131435043 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211355 22625 13086 16 0 211339 0
vsize: 845420
[startup+320.027 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 30804
Raw data (stat): 30784 (java) R 30783 15547 15546 0 -1 0 18124 3 1 0 31179 42 0 0 25 0 11 0 780981567 865710080 22640 4294967295 134512640 134569956 3221224368 3221214680 1131427631 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211355 22640 13086 16 0 211339 0
vsize: 845420
[startup+330.027 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 30804
Raw data (stat): 30784 (java) R 30783 15547 15546 0 -1 0 18124 3 1 0 32170 42 0 0 25 0 11 0 780981567 865710080 22653 4294967295 134512640 134569956 3221224368 3221214680 1131434012 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211355 22653 13086 16 0 211339 0
vsize: 845420
[startup+340.027 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 30804
Raw data (stat): 30784 (java) R 30783 15547 15546 0 -1 0 18124 3 1 0 33161 42 0 0 25 0 11 0 780981567 865710080 22671 4294967295 134512640 134569956 3221224368 3221214584 1131157305 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211355 22671 13086 16 0 211339 0
vsize: 845420
[startup+350.028 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 30804
Raw data (stat): 30784 (java) R 30783 15547 15546 0 -1 0 18124 3 1 0 34152 42 0 0 25 0 11 0 780981567 865710080 22688 4294967295 134512640 134569956 3221224368 3221214632 1131154485 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211355 22688 13086 16 0 211339 0
vsize: 845420
[startup+360.028 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 30804
Raw data (stat): 30784 (java) R 30783 15547 15546 0 -1 0 18124 3 1 0 35142 42 0 0 25 0 11 0 780981567 865710080 22708 4294967295 134512640 134569956 3221224368 3221214680 1131427429 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211355 22708 13086 16 0 211339 0
vsize: 845420
[startup+370.028 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 30804
Raw data (stat): 30784 (java) R 30783 15547 15546 0 -1 0 18124 3 1 0 36134 42 0 0 25 0 11 0 780981567 865710080 22720 4294967295 134512640 134569956 3221224368 3221214584 1131160433 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211355 22720 13086 16 0 211339 0
vsize: 845420
[startup+380.028 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 30804
Raw data (stat): 30784 (java) R 30783 15547 15546 0 -1 0 18124 3 1 0 37124 42 0 0 25 0 11 0 780981567 865710080 22739 4294967295 134512640 134569956 3221224368 3221214584 1131160140 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211355 22739 13086 16 0 211339 0
vsize: 845420
[startup+390.028 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 30804
Raw data (stat): 30784 (java) R 30783 15547 15546 0 -1 0 18124 3 1 0 38116 42 0 0 25 0 11 0 780981567 865710080 22753 4294967295 134512640 134569956 3221224368 3221214680 1131429034 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211355 22753 13086 16 0 211339 0
vsize: 845420
[startup+400.029 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 30804
Raw data (stat): 30784 (java) R 30783 15547 15546 0 -1 0 18124 3 1 0 39107 43 0 0 25 0 11 0 780981567 865710080 22772 4294967295 134512640 134569956 3221224368 3221214680 1131427591 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211355 22772 13086 16 0 211339 0
vsize: 845420
[startup+410.029 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 30804
Raw data (stat): 30784 (java) R 30783 15547 15546 0 -1 0 18124 3 1 0 40100 43 0 0 25 0 11 0 780981567 865710080 22788 4294967295 134512640 134569956 3221224368 3221214680 1131429690 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211355 22788 13086 16 0 211339 0
vsize: 845420
[startup+420.028 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 30804
Raw data (stat): 30784 (java) R 30783 15547 15546 0 -1 0 18124 3 1 0 41092 43 0 0 25 0 11 0 780981567 865710080 22795 4294967295 134512640 134569956 3221224368 3221214584 1131157293 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211355 22795 13086 16 0 211339 0
vsize: 845420
[startup+430.03 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 30804
Raw data (stat): 30784 (java) R 30783 15547 15546 0 -1 0 18124 3 1 0 42084 43 0 0 25 0 11 0 780981567 865710080 22807 4294967295 134512640 134569956 3221224368 3221214584 1131160346 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211355 22807 13086 16 0 211339 0
vsize: 845420
[startup+440.029 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 30804
Raw data (stat): 30784 (java) R 30783 15547 15546 0 -1 0 18124 3 1 0 43075 43 0 0 25 0 11 0 780981567 865710080 22815 4294967295 134512640 134569956 3221224368 3221214584 1131160225 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211355 22815 13086 16 0 211339 0
vsize: 845420
[startup+450.03 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 30804
Raw data (stat): 30784 (java) R 30783 15547 15546 0 -1 0 18124 3 1 0 44066 43 0 0 25 0 11 0 780981567 865710080 22834 4294967295 134512640 134569956 3221224368 3221214584 1131160225 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211355 22834 13086 16 0 211339 0
vsize: 845420
[startup+460.031 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 30804
Raw data (stat): 30784 (java) R 30783 15547 15546 0 -1 0 18124 3 1 0 45057 43 0 0 25 0 11 0 780981567 865710080 22851 4294967295 134512640 134569956 3221224368 3221214584 1131160397 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211355 22851 13086 16 0 211339 0
vsize: 845420
[startup+470.031 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 30804
Raw data (stat): 30784 (java) R 30783 15547 15546 0 -1 0 18124 3 1 0 46049 43 0 0 25 0 11 0 780981567 865710080 22861 4294967295 134512640 134569956 3221224368 3221214680 1131427568 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211355 22861 13086 16 0 211339 0
vsize: 845420
[startup+480.031 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 30804
Raw data (stat): 30784 (java) R 30783 15547 15546 0 -1 0 18124 3 1 0 47040 43 0 0 25 0 11 0 780981567 865710080 22878 4294967295 134512640 134569956 3221224368 3221214680 1131434982 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211355 22878 13086 16 0 211339 0
vsize: 845420
[startup+490.031 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 30804
Raw data (stat): 30784 (java) R 30783 15547 15546 0 -1 0 18124 3 1 0 48031 43 0 0 25 0 11 0 780981567 865710080 22902 4294967295 134512640 134569956 3221224368 3221214584 1131160414 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211355 22902 13086 16 0 211339 0
vsize: 845420
[startup+500.032 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 30804
Raw data (stat): 30784 (java) R 30783 15547 15546 0 -1 0 18124 3 1 0 49022 43 0 0 25 0 11 0 780981567 865710080 22921 4294967295 134512640 134569956 3221224368 3221214584 1131160845 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211355 22921 13086 16 0 211339 0
vsize: 845420
[startup+510.032 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 30804
Raw data (stat): 30784 (java) R 30783 15547 15546 0 -1 0 18124 3 1 0 50014 43 0 0 25 0 11 0 780981567 865710080 22930 4294967295 134512640 134569956 3221224368 3221214584 1131160593 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211355 22930 13086 16 0 211339 0
vsize: 845420
[startup+520.031 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 30804
Raw data (stat): 30784 (java) R 30783 15547 15546 0 -1 0 18124 3 1 0 51004 43 0 0 25 0 11 0 780981567 865710080 22951 4294967295 134512640 134569956 3221224368 3221214240 1131421904 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211355 22951 13086 16 0 211339 0
vsize: 845420
[startup+530.031 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 30804
Raw data (stat): 30784 (java) R 30783 15547 15546 0 -1 0 18124 3 1 0 51994 44 0 0 25 0 11 0 780981567 865710080 22969 4294967295 134512640 134569956 3221224368 3221214680 1131430570 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211355 22969 13086 16 0 211339 0
vsize: 845420
[startup+540.032 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 30804
Raw data (stat): 30784 (java) R 30783 15547 15546 0 -1 0 18124 3 1 0 52985 44 0 0 25 0 11 0 780981567 865710080 22985 4294967295 134512640 134569956 3221224368 3221214680 1131427584 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211355 22985 13086 16 0 211339 0
vsize: 845420
[startup+550.032 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 30804
Raw data (stat): 30784 (java) R 30783 15547 15546 0 -1 0 18124 3 1 0 53976 44 0 0 25 0 11 0 780981567 865710080 23001 4294967295 134512640 134569956 3221224368 3221214672 1131154095 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211355 23001 13086 16 0 211339 0
vsize: 845420
[startup+560.032 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 30804
Raw data (stat): 30784 (java) R 30783 15547 15546 0 -1 0 18124 3 1 0 54968 44 0 0 25 0 11 0 780981567 865710080 23034 4294967295 134512640 134569956 3221224368 3221214680 1131429524 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211355 23034 13086 16 0 211339 0
vsize: 845420
[startup+570.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30804
Raw data (stat): 30784 (java) R 30783 15547 15546 0 -1 0 18124 3 1 0 55960 44 0 0 25 0 11 0 780981567 865710080 23047 4294967295 134512640 134569956 3221224368 3221214584 1131157305 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211355 23047 13086 16 0 211339 0
vsize: 845420
[startup+580.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30804
Raw data (stat): 30784 (java) R 30783 15547 15546 0 -1 0 18124 3 1 0 56951 44 0 0 25 0 11 0 780981567 865710080 23066 4294967295 134512640 134569956 3221224368 3221214544 1131206243 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211355 23066 13086 16 0 211339 0
vsize: 845420
[startup+590.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30804
Raw data (stat): 30784 (java) R 30783 15547 15546 0 -1 0 18124 3 1 0 57943 44 0 0 25 0 11 0 780981567 865710080 23072 4294967295 134512640 134569956 3221224368 3221214584 1131160629 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211355 23072 13086 16 0 211339 0
vsize: 845420
[startup+600.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30804
Raw data (stat): 30784 (java) R 30783 15547 15546 0 -1 0 18124 3 1 0 58935 44 0 0 25 0 11 0 780981567 865710080 23085 4294967295 134512640 134569956 3221224368 3221214584 1131160095 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211355 23085 13086 16 0 211339 0
vsize: 845420
[startup+610.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30804
Raw data (stat): 30784 (java) R 30783 15547 15546 0 -1 0 18124 3 1 0 59927 44 0 0 25 0 11 0 780981567 865710080 23094 4294967295 134512640 134569956 3221224368 3221214584 1131160378 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211355 23094 13086 16 0 211339 0
vsize: 845420
[startup+620.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30804
Raw data (stat): 30784 (java) R 30783 15547 15546 0 -1 0 18124 3 1 0 60918 44 0 0 25 0 11 0 780981567 865710080 23108 4294967295 134512640 134569956 3221224368 3221214584 1131160667 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211355 23108 13086 16 0 211339 0
vsize: 845420
[startup+630.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30804
Raw data (stat): 30784 (java) R 30783 15547 15546 0 -1 0 18124 3 1 0 61910 45 0 0 25 0 11 0 780981567 865710080 23116 4294967295 134512640 134569956 3221224368 3221214680 1131429524 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211355 23116 13086 16 0 211339 0
vsize: 845420
[startup+640.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30804
Raw data (stat): 30784 (java) R 30783 15547 15546 0 -1 0 18124 3 1 0 62902 45 0 0 25 0 11 0 780981567 865710080 23138 4294967295 134512640 134569956 3221224368 3221214680 1131428958 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211355 23138 13086 16 0 211339 0
vsize: 845420
[startup+650.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30804
Raw data (stat): 30784 (java) R 30783 15547 15546 0 -1 0 18124 3 1 0 63894 45 0 0 25 0 11 0 780981567 865710080 23146 4294967295 134512640 134569956 3221224368 3221214536 1131208127 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211355 23146 13086 16 0 211339 0
vsize: 845420
[startup+660.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30804
Raw data (stat): 30784 (java) R 30783 15547 15546 0 -1 0 18124 3 1 0 64885 45 0 0 25 0 11 0 780981567 865710080 23154 4294967295 134512640 134569956 3221224368 3221214680 1131428985 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211355 23154 13086 16 0 211339 0
vsize: 845420
[startup+670.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30804
Raw data (stat): 30784 (java) R 30783 15547 15546 0 -1 0 18124 3 1 0 65876 45 0 0 25 0 11 0 780981567 865710080 23166 4294967295 134512640 134569956 3221224368 3221214680 1131433171 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211355 23166 13086 16 0 211339 0
vsize: 845420
[startup+680.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30804
Raw data (stat): 30784 (java) R 30783 15547 15546 0 -1 0 18124 3 1 0 66866 45 0 0 25 0 11 0 780981567 865710080 23190 4294967295 134512640 134569956 3221224368 3221214680 1131428551 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211355 23190 13086 16 0 211339 0
vsize: 845420
[startup+690.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30804
Raw data (stat): 30784 (java) R 30783 15547 15546 0 -1 0 18124 3 1 0 67857 45 0 0 25 0 11 0 780981567 865710080 23211 4294967295 134512640 134569956 3221224368 3221214680 1131434012 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211355 23211 13086 16 0 211339 0
vsize: 845420
[startup+700.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30804
Raw data (stat): 30784 (java) R 30783 15547 15546 0 -1 0 18124 3 1 0 68848 45 0 0 25 0 11 0 780981567 865710080 23228 4294967295 134512640 134569956 3221224368 3221214680 1131428664 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211355 23228 13086 16 0 211339 0
vsize: 845420
[startup+710.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30804
Raw data (stat): 30784 (java) R 30783 15547 15546 0 -1 0 18124 3 1 0 69839 46 0 0 25 0 11 0 780981567 865710080 23243 4294967295 134512640 134569956 3221224368 3221214680 1131427591 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211355 23243 13086 16 0 211339 0
vsize: 845420
[startup+720.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30804
Raw data (stat): 30784 (java) R 30783 15547 15546 0 -1 0 18124 3 1 0 70831 46 0 0 25 0 11 0 780981567 865710080 23258 4294967295 134512640 134569956 3221224368 3221214584 1131160248 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211355 23258 13086 16 0 211339 0
vsize: 845420
[startup+730.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30804
Raw data (stat): 30784 (java) R 30783 15547 15546 0 -1 0 18124 3 1 0 71822 46 0 0 25 0 11 0 780981567 865710080 23267 4294967295 134512640 134569956 3221224368 3221214584 1131160183 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211355 23267 13086 16 0 211339 0
vsize: 845420
[startup+740.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30804
Raw data (stat): 30784 (java) R 30783 15547 15546 0 -1 0 18124 3 1 0 72814 46 0 0 25 0 11 0 780981567 865710080 23276 4294967295 134512640 134569956 3221224368 3221214584 1131160378 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211355 23276 13086 16 0 211339 0
vsize: 845420
[startup+750.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30804
Raw data (stat): 30784 (java) R 30783 15547 15546 0 -1 0 18124 3 1 0 73806 46 0 0 25 0 11 0 780981567 865710080 23289 4294967295 134512640 134569956 3221224368 3221214584 1131160095 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211355 23289 13086 16 0 211339 0
vsize: 845420
[startup+760.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30804
Raw data (stat): 30784 (java) R 30783 15547 15546 0 -1 0 18124 3 1 0 74798 46 0 0 25 0 11 0 780981567 865710080 23305 4294967295 134512640 134569956 3221224368 3221214584 1131160641 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211355 23305 13086 16 0 211339 0
vsize: 845420
[startup+770.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30804
Raw data (stat): 30784 (java) R 30783 15547 15546 0 -1 0 18124 3 1 0 75789 46 0 0 25 0 11 0 780981567 865710080 23313 4294967295 134512640 134569956 3221224368 3221214584 1131160366 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211355 23313 13086 16 0 211339 0
vsize: 845420
[startup+780.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30804
Raw data (stat): 30784 (java) R 30783 15547 15546 0 -1 0 18124 3 1 0 76780 46 0 0 25 0 11 0 780981567 865710080 23329 4294967295 134512640 134569956 3221224368 3221214584 1131160362 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211355 23329 13086 16 0 211339 0
vsize: 845420
[startup+790.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30804
Raw data (stat): 30784 (java) R 30783 15547 15546 0 -1 0 18124 3 1 0 77772 46 0 0 25 0 11 0 780981567 865710080 23341 4294967295 134512640 134569956 3221224368 3221214680 1131427595 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211355 23341 13086 16 0 211339 0
vsize: 845420
[startup+800.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30804
Raw data (stat): 30784 (java) R 30783 15547 15546 0 -1 0 18124 3 1 0 78764 46 0 0 25 0 11 0 780981567 865710080 23351 4294967295 134512640 134569956 3221224368 3221214584 1131161058 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211355 23351 13086 16 0 211339 0
vsize: 845420
[startup+810.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30804
Raw data (stat): 30784 (java) R 30783 15547 15546 0 -1 0 18124 3 1 0 79756 46 0 0 25 0 11 0 780981567 865710080 23360 4294967295 134512640 134569956 3221224368 3221214672 1131154105 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211355 23360 13086 16 0 211339 0
vsize: 845420
[startup+820.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30804
Raw data (stat): 30784 (java) R 30783 15547 15546 0 -1 0 18124 3 1 0 80750 47 0 0 25 0 11 0 780981567 865710080 23365 4294967295 134512640 134569956 3221224368 3221214584 1131160704 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211355 23365 13086 16 0 211339 0
vsize: 845420
[startup+830.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30804
Raw data (stat): 30784 (java) R 30783 15547 15546 0 -1 0 18124 3 1 0 81741 47 0 0 25 0 11 0 780981567 865710080 23377 4294967295 134512640 134569956 3221224368 3221214676 1131157280 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211355 23377 13086 16 0 211339 0
vsize: 845420
[startup+840.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30804
Raw data (stat): 30784 (java) R 30783 15547 15546 0 -1 0 18124 3 1 0 82734 47 0 0 25 0 11 0 780981567 865710080 23385 4294967295 134512640 134569956 3221224368 3221214480 1131245941 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211355 23385 13086 16 0 211339 0
vsize: 845420
[startup+850.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30804
Raw data (stat): 30784 (java) R 30783 15547 15546 0 -1 0 18124 3 1 0 83725 47 0 0 25 0 11 0 780981567 865710080 23389 4294967295 134512640 134569956 3221224368 3221214680 1131434012 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211355 23389 13086 16 0 211339 0
vsize: 845420
[startup+860.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30804
Raw data (stat): 30784 (java) R 30783 15547 15546 0 -1 0 18124 3 1 0 84716 47 0 0 25 0 11 0 780981567 865710080 23419 4294967295 134512640 134569956 3221224368 3221214584 1131160777 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211355 23419 13086 16 0 211339 0
vsize: 845420
[startup+870.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30804
Raw data (stat): 30784 (java) R 30783 15547 15546 0 -1 0 18124 3 1 0 85708 47 0 0 25 0 11 0 780981567 865710080 23432 4294967295 134512640 134569956 3221224368 3221214584 1131160183 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211355 23432 13086 16 0 211339 0
vsize: 845420
[startup+880.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30804
Raw data (stat): 30784 (java) R 30783 15547 15546 0 -1 0 18124 3 1 0 86701 47 0 0 25 0 11 0 780981567 865710080 23444 4294967295 134512640 134569956 3221224368 3221214584 1131160273 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211355 23444 13086 16 0 211339 0
vsize: 845420
[startup+890.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30804
Raw data (stat): 30784 (java) R 30783 15547 15546 0 -1 0 18124 3 1 0 87690 47 0 0 25 0 11 0 780981567 865710080 23462 4294967295 134512640 134569956 3221224368 3221214584 1131160754 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211355 23462 13086 16 0 211339 0
vsize: 845420
[startup+900.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30804
Raw data (stat): 30784 (java) R 30783 15547 15546 0 -1 0 18124 3 1 0 88681 48 0 0 25 0 11 0 780981567 865710080 23469 4294967295 134512640 134569956 3221224368 3221214584 1131160225 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211355 23469 13086 16 0 211339 0
vsize: 845420
[startup+910.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30804
Raw data (stat): 30784 (java) R 30783 15547 15546 0 -1 0 18124 3 1 0 89671 48 0 0 25 0 11 0 780981567 865710080 23491 4294967295 134512640 134569956 3221224368 3221214680 1131429044 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211355 23491 13086 16 0 211339 0
vsize: 845420
[startup+920.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30804
Raw data (stat): 30784 (java) R 30783 15547 15546 0 -1 0 18124 3 1 0 90660 48 0 0 25 0 11 0 780981567 865710080 23495 4294967295 134512640 134569956 3221224368 3221214584 1131160885 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211355 23495 13086 16 0 211339 0
vsize: 845420
[startup+930.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30804
Raw data (stat): 30784 (java) R 30783 15547 15546 0 -1 0 18124 3 1 0 91650 49 0 0 25 0 11 0 780981567 865710080 23515 4294967295 134512640 134569956 3221224368 3221214584 1131160530 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211355 23515 13086 16 0 211339 0
vsize: 845420
[startup+940.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30804
Raw data (stat): 30784 (java) R 30783 15547 15546 0 -1 0 18124 3 1 0 92640 49 0 0 25 0 11 0 780981567 865710080 23538 4294967295 134512640 134569956 3221224368 3221214680 1131429420 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211355 23538 13086 16 0 211339 0
vsize: 845420
[startup+950.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30804
Raw data (stat): 30784 (java) R 30783 15547 15546 0 -1 0 18124 3 1 0 93630 49 0 0 25 0 11 0 780981567 865710080 23546 4294967295 134512640 134569956 3221224368 3221214584 1131160401 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211355 23546 13086 16 0 211339 0
vsize: 845420
[startup+960.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30804
Raw data (stat): 30784 (java) R 30783 15547 15546 0 -1 0 18124 3 1 0 94620 50 0 0 25 0 11 0 780981567 865710080 23556 4294967295 134512640 134569956 3221224368 3221214632 1131154488 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211355 23556 13086 16 0 211339 0
vsize: 845420
[startup+970.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30804
Raw data (stat): 30784 (java) R 30783 15547 15546 0 -1 0 18124 3 1 0 95609 50 0 0 25 0 11 0 780981567 865710080 23571 4294967295 134512640 134569956 3221224368 3221214680 1131433328 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211355 23571 13086 16 0 211339 0
vsize: 845420
[startup+980.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30804
Raw data (stat): 30784 (java) R 30783 15547 15546 0 -1 0 18124 3 1 0 96600 51 0 0 25 0 11 0 780981567 865710080 23577 4294967295 134512640 134569956 3221224368 3221214680 1131427631 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211355 23577 13086 16 0 211339 0
vsize: 845420
[startup+990.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30804
Raw data (stat): 30784 (java) R 30783 15547 15546 0 -1 0 18124 3 1 0 97591 51 0 0 25 0 11 0 780981567 865710080 23591 4294967295 134512640 134569956 3221224368 3221214584 1131160629 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211355 23591 13086 16 0 211339 0
vsize: 845420
[startup+1000.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30804
Raw data (stat): 30784 (java) R 30783 15547 15546 0 -1 0 18124 3 1 0 98583 51 0 0 25 0 11 0 780981567 865710080 23605 4294967295 134512640 134569956 3221224368 3221214712 1131178961 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211355 23605 13086 16 0 211339 0
vsize: 845420
[startup+1010.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30804
Raw data (stat): 30784 (java) R 30783 15547 15546 0 -1 0 18124 3 1 0 99574 52 0 0 25 0 11 0 780981567 865710080 23611 4294967295 134512640 134569956 3221224368 3221214680 1131430453 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211355 23611 13086 16 0 211339 0
vsize: 845420
[startup+1020.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30804
Raw data (stat): 30784 (java) R 30783 15547 15546 0 -1 0 18124 3 1 0 100565 52 0 0 25 0 11 0 780981567 865710080 23620 4294967295 134512640 134569956 3221224368 3221214584 1131160084 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211355 23620 13086 16 0 211339 0
vsize: 845420
[startup+1030.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30804
Raw data (stat): 30784 (java) R 30783 15547 15546 0 -1 0 18124 3 1 0 101556 52 0 0 25 0 11 0 780981567 865710080 23626 4294967295 134512640 134569956 3221224368 3221214584 1131160310 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211355 23626 13086 16 0 211339 0
vsize: 845420
[startup+1040.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30804
Raw data (stat): 30784 (java) R 30783 15547 15546 0 -1 0 18124 3 1 0 102546 53 0 0 25 0 11 0 780981567 865710080 23639 4294967295 134512640 134569956 3221224368 3221214584 1131160225 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211355 23639 13086 16 0 211339 0
vsize: 845420
[startup+1050.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30804
Raw data (stat): 30784 (java) R 30783 15547 15546 0 -1 0 18124 3 1 0 103538 54 0 0 25 0 11 0 780981567 865710080 23651 4294967295 134512640 134569956 3221224368 3221214680 1131427526 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211355 23651 13086 16 0 211339 0
vsize: 845420
[startup+1060.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30804
Raw data (stat): 30784 (java) R 30783 15547 15546 0 -1 0 18124 3 1 0 104530 54 0 0 25 0 11 0 780981567 865710080 23673 4294967295 134512640 134569956 3221224368 3221214584 1131160378 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211355 23673 13086 16 0 211339 0
vsize: 845420
[startup+1070.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30804
Raw data (stat): 30784 (java) R 30783 15547 15546 0 -1 0 18124 3 1 0 105521 54 0 0 25 0 11 0 780981567 865710080 23679 4294967295 134512640 134569956 3221224368 3221214584 1131160860 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211355 23679 13086 16 0 211339 0
vsize: 845420
[startup+1080.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30804
Raw data (stat): 30784 (java) R 30783 15547 15546 0 -1 0 18124 3 1 0 106512 55 0 0 25 0 11 0 780981567 865710080 23680 4294967295 134512640 134569956 3221224368 3221214672 1131154098 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211355 23680 13086 16 0 211339 0
vsize: 845420
[startup+1090.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30804
Raw data (stat): 30784 (java) R 30783 15547 15546 0 -1 0 18124 3 1 0 107503 55 0 0 25 0 11 0 780981567 865710080 23694 4294967295 134512640 134569956 3221224368 3221214360 1131415089 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211355 23694 13086 16 0 211339 0
vsize: 845420
[startup+1100.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30804
Raw data (stat): 30784 (java) R 30783 15547 15546 0 -1 0 18124 3 1 0 108500 55 0 0 25 0 11 0 780981567 865710080 23697 4294967295 134512640 134569956 3221224368 3221214360 1131414927 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211355 23697 13086 16 0 211339 0
vsize: 845420
[startup+1110.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30804
Raw data (stat): 30784 (java) R 30783 15547 15546 0 -1 0 18124 3 1 0 109497 55 0 0 25 0 11 0 780981567 865710080 23697 4294967295 134512640 134569956 3221224368 3221214680 1131427635 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211355 23697 13086 16 0 211339 0
vsize: 845420
[startup+1120.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30804
Raw data (stat): 30784 (java) R 30783 15547 15546 0 -1 0 18124 3 1 0 110488 56 0 0 25 0 11 0 780981567 865710080 23716 4294967295 134512640 134569956 3221224368 3221214584 1131157429 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211355 23716 13086 16 0 211339 0
vsize: 845420
[startup+1130.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30804
Raw data (stat): 30784 (java) R 30783 15547 15546 0 -1 0 18124 3 1 0 111480 56 0 0 25 0 11 0 780981567 865710080 23721 4294967295 134512640 134569956 3221224368 3221214680 1131427389 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211355 23721 13086 16 0 211339 0
vsize: 845420
[startup+1140.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30804
Raw data (stat): 30784 (java) R 30783 15547 15546 0 -1 0 18124 3 1 0 112471 56 0 0 25 0 11 0 780981567 865710080 23733 4294967295 134512640 134569956 3221224368 3221214584 1131160559 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211355 23733 13086 16 0 211339 0
vsize: 845420
[startup+1150.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30804
Raw data (stat): 30784 (java) R 30783 15547 15546 0 -1 0 18124 3 1 0 113463 57 0 0 25 0 11 0 780981567 865710080 23759 4294967295 134512640 134569956 3221224368 3221214680 1131427538 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211355 23759 13086 16 0 211339 0
vsize: 845420
[startup+1160.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30804
Raw data (stat): 30784 (java) R 30783 15547 15546 0 -1 0 18124 3 1 0 114456 57 0 0 25 0 11 0 780981567 865710080 23767 4294967295 134512640 134569956 3221224368 3221214672 1131154098 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211355 23767 13086 16 0 211339 0
vsize: 845420
[startup+1170.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30804
Raw data (stat): 30784 (java) R 30783 15547 15546 0 -1 0 18124 3 1 0 115446 58 0 0 25 0 11 0 780981567 865710080 23769 4294967295 134512640 134569956 3221224368 3221214584 1131160633 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211355 23769 13086 16 0 211339 0
vsize: 845420
[startup+1180.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30804
Raw data (stat): 30784 (java) R 30783 15547 15546 0 -1 0 18124 3 1 0 116438 58 0 0 25 0 11 0 780981567 865710080 23782 4294967295 134512640 134569956 3221224368 3221214584 1131160260 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211355 23782 13086 16 0 211339 0
vsize: 845420
[startup+1190.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30804
Raw data (stat): 30784 (java) R 30783 15547 15546 0 -1 0 18124 3 1 0 117429 58 0 0 25 0 11 0 780981567 865710080 23785 4294967295 134512640 134569956 3221224368 3221214584 1131160576 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211355 23785 13086 16 0 211339 0
vsize: 845420
[startup+1200.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30804
Raw data (stat): 30784 (java) R 30783 15547 15546 0 -1 0 18124 3 1 0 118421 58 0 0 25 0 11 0 780981567 865710080 23797 4294967295 134512640 134569956 3221224368 3221214584 1131160567 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211355 23797 13086 16 0 211339 0
vsize: 845420
[startup+1210.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30804
Raw data (stat): 30784 (java) R 30783 15547 15546 0 -1 0 18124 3 1 0 119413 59 0 0 25 0 11 0 780981567 865710080 23807 4294967295 134512640 134569956 3221224368 3221214296 1131378783 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211355 23807 13086 16 0 211339 0
vsize: 845420
[startup+1220.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30804
Raw data (stat): 30784 (java) R 30783 15547 15546 0 -1 0 18124 3 1 0 120406 59 0 0 25 0 11 0 780981567 865710080 23809 4294967295 134512640 134569956 3221224368 3221214584 1131160567 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211355 23809 13086 16 0 211339 0
vsize: 845420
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1220.16 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 30806
Raw data (stat): 30784 (java) Z 30783 15547 15546 0 -1 1036 18124 2610 1 0 120411 59 1123 18 25 0 1 0 780981567 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): 1220.16
CPU time (s): 1216.13
CPU user time (s): 1215.35
CPU system time (s): 0.777881
CPU usage (%): 99.6698
Max. virtual memory (Kb): 847196
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	21248
#### END VERIFIER DATA ####