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/miplib3/normalized-mps-v2-13-7-markshare2.opb
MD5SUM	b54bb080800e2327586cd478559c04ff
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	10368
Optimality of the best value was proved	NO
Number of terms in the objective function	140
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	7340025
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	7340025
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.09
Number of variables	200
Total number of constraints	67
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	60
Number of constraints which are nor clauses,nor cardinality constraints	7
Minimum length of a constraint	1
Maximum length of a constraint	80
Trace number 30034

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.169
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        418596 kB
Buffers:         34772 kB
Cached:         559656 kB
SwapCached:        640 kB
Active:         105332 kB
Inactive:       491548 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        418344 kB
SwapTotal:     2097892 kB
SwapFree:      2096760 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5648 kB
Slab:            13504 kB
Committed_AS:    63596 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 14:23:05 (client local time) WITH STATUS 143 IN 1218.07 SECONDS
stats: 21437 0 1218.07 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c SAT4J: a SATisfiability library for Java (c) 2004-2005 Daniel Le Berre
c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
c version Special PB05 Second trial
c --- Begin Solver configuration ---
c org.sat4j.minisat.uip.FirstUIP@1e4cbc4
c org.sat4j.minisat.constraints.PBMinDataStructure@1fdc96c
c org.sat4j.minisat.learning.MiniSATLearning@b2fd8f
c conflictBoundIncFactor=1.5 learntBoundIncFactor=1.1 initLearntBoundConstraintFactor=0.5 initConflictBound=100 
c 
c --- End Solver configuration ---
c solving /oldhome/oroussel/tmp/wulflinc27/normalized-mps-v2-13-7-markshare2.opb
c reading problem ... done. Time 0.511 ms.
c #vars     200
c #constraints  14
c SATISFIABLE
c OPTIMIZING...
c CURRENT OPTIMUM=              391552 		Current CPU time: 1.66 ms
c CURRENT OPTIMUM=              263808 		Current CPU time: 2.41 ms
c CURRENT OPTIMUM=              136448 		Current CPU time: 8.76 ms
c CURRENT OPTIMUM=              115968 		Current CPU time: 14.92 ms
c CURRENT OPTIMUM=              109568 		Current CPU time: 35.26 ms
c CURRENT OPTIMUM=               77056 		Current CPU time: 42.93 ms
c CURRENT OPTIMUM=               68096 		Current CPU time: 1064.82 ms
c starts	: 10
c conflicts	: 550
c decisions	: 12369
c propagations	: 30259
c inspects	: 2446065
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 550
c root simplifications	: 313
s SATISFIABLE
v -s01_bit_7 -s01_bit_6 -s01_bit_5 -s01_bit_4 -s01_bit_3 -s01_bit_2 -s01_bit_1 s01_bit0 -s01_bit1 -s01_bit2 s01_bit3 -s01_bit4 s01_bit5 s01_bit6 -s01_bit7 -s01_bit8 -s01_bit9 -s01_bit10 -s01_bit11 -s01_bit12 -s11_bit_7 -s11_bit_6 -s11_bit_5 -s11_bit_4 -s11_bit_3 -s11_bit_2 -s11_bit_1 -s11_bit0 -s11_bit1 -s11_bit2 -s11_bit3 -s11_bit4 -s11_bit5 -s11_bit6 s11_bit7 -s11_bit8 -s11_bit9 -s11_bit10 -s11_bit11 -s11_bit12 -s21_bit_7 -s21_bit_6 -s21_bit_5 -s21_bit_4 -s21_bit_3 -s21_bit_2 -s21_bit_1 -s21_bit0 -s21_bit1 -s21_bit2 -s21_bit3 s21_bit4 -s21_bit5 -s21_bit6 -s21_bit7 -s21_bit8 -s21_bit9 -s21_bit10 -s21_bit11 -s21_bit12 -s31_bit_7 -s31_bit_6 -s31_bit_5 -s31_bit_4 -s31_bit_3 -s31_bit_2 -s31_bit_1 -s31_bit0 s31_bit1 -s31_bit2 -s31_bit3 -s31_bit4 -s31_bit5 -s31_bit6 -s31_bit7 -s31_bit8 -s31_bit9 -s31_bit10 -s31_bit11 -s31_bit12 -s41_bit_7 -s41_bit_6 -s41_bit_5 -s41_bit_4 -s41_bit_3 -s41_bit_2 -s41_bit_1 -s41_bit0 -s41_bit1 -s41_bit2 -s41_bit3 -s41_bit4 -s41_bit5 -s41_bit6 -s41_bit7 -s41_bit8 -s41_bit9 -s41_bit10 -s41_bit11 -s41_bit12 -s51_bit_7 -s51_bit_6 -s51_bit_5 -s51_bit_4 -s51_bit_3 -s51_bit_2 -s51_bit_1 -s51_bit0 s51_bit1 s51_bit2 -s51_bit3 s51_bit4 s51_bit5 s51_bit6 -s51_bit7 -s51_bit8 -s51_bit9 -s51_bit10 -s51_bit11 -s51_bit12 -s61_bit_7 -s61_bit_6 -s61_bit_5 -s61_bit_4 -s61_bit_3 -s61_bit_2 -s61_bit_1 s61_bit0 s61_bit1 -s61_bit2 -s61_bit3 -s61_bit4 s61_bit5 -s61_bit6 s61_bit7 -s61_bit8 -s61_bit9 -s61_bit10 -s61_bit11 -s61_bit12 -x0_bit0 x1_bit0 x2_bit0 x3_bit0 -x4_bit0 -x5_bit0 -x6_bit0 -x7_bit0 -x8_bit0 x9_bit0 -x10_bit0 -x11_bit0 -x12_bit0 -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 
c objectif function=68096
c Total CPU time (ms) : 1219.114
#### 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 18960
Raw data (stat): 18960 (runsolver) R 18959 3394 3393 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 839440683 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.0001 s]
Raw data (loadavg): 1.02 1.00 1.00 2/64 18973
Raw data (stat): 18960 (java) R 18959 3394 3393 0 -1 0 18118 3 1 0 745 38 0 0 25 0 11 0 839440683 857518080 19571 4294967295 134512640 134569956 3221224368 3221214688 1131181811 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209355 19571 13086 16 0 209339 0
vsize: 837420
[startup+20.0013 s]
Raw data (loadavg): 1.02 1.00 1.00 2/64 18974
Raw data (stat): 18960 (java) R 18959 3394 3393 0 -1 0 18119 3 1 0 1719 38 0 0 25 0 11 0 839440683 857518080 19752 4294967295 134512640 134569956 3221224368 3221214688 1131181853 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209355 19752 13086 16 0 209339 0
vsize: 837420
[startup+30.0021 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 18974
Raw data (stat): 18960 (java) R 18959 3394 3393 0 -1 0 18119 3 1 0 2689 39 0 0 25 0 11 0 839440683 857518080 19972 4294967295 134512640 134569956 3221224368 3221214312 1131387604 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209355 19972 13086 16 0 209339 0
vsize: 837420
[startup+40.0025 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 18975
Raw data (stat): 18960 (java) R 18959 3394 3393 0 -1 0 18119 3 1 0 3649 39 0 0 25 0 11 0 839440683 857518080 20072 4294967295 134512640 134569956 3221224368 3221214556 1130885141 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209355 20072 13086 16 0 209339 0
vsize: 837420
[startup+50.0037 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 18976
Raw data (stat): 18960 (java) R 18959 3394 3393 0 -1 0 18119 3 1 0 4621 39 0 0 25 0 11 0 839440683 857518080 20268 4294967295 134512640 134569956 3221224368 3221214744 1131145920 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209355 20268 13086 16 0 209339 0
vsize: 837420
[startup+60.0036 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 18976
Raw data (stat): 18960 (java) R 18959 3394 3393 0 -1 0 18119 3 1 0 5597 39 0 0 25 0 11 0 839440683 857518080 20404 4294967295 134512640 134569956 3221224368 3221214584 1131290013 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209355 20404 13086 16 0 209339 0
vsize: 837420
[startup+70.0041 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 18976
Raw data (stat): 18960 (java) R 18959 3394 3393 0 -1 0 18120 3 1 0 6581 39 0 0 24 0 11 0 839440683 857518080 20452 4294967295 134512640 134569956 3221224368 3221214688 1131181845 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209355 20452 13086 16 0 209339 0
vsize: 837420
[startup+80.0053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18976
Raw data (stat): 18960 (java) R 18959 3394 3393 0 -1 0 18120 3 1 0 7568 39 0 0 25 0 11 0 839440683 857518080 20530 4294967295 134512640 134569956 3221224368 3221214688 1131181661 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209355 20530 13086 16 0 209339 0
vsize: 837420
[startup+90.0061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18976
Raw data (stat): 18960 (java) R 18959 3394 3393 0 -1 0 18120 3 1 0 8557 39 0 0 25 0 11 0 839440683 857518080 20568 4294967295 134512640 134569956 3221224368 3221214688 1131181661 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209355 20568 13086 16 0 209339 0
vsize: 837420
[startup+100.007 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18976
Raw data (stat): 18960 (java) R 18959 3394 3393 0 -1 0 18120 3 1 0 9546 39 0 0 25 0 11 0 839440683 857518080 20607 4294967295 134512640 134569956 3221224368 3221214688 1131181661 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209355 20607 13086 16 0 209339 0
vsize: 837420
[startup+110.008 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18976
Raw data (stat): 18960 (java) R 18959 3394 3393 0 -1 0 18120 3 1 0 10536 40 0 0 25 0 11 0 839440683 857518080 20632 4294967295 134512640 134569956 3221224368 3221214764 1130918343 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209355 20632 13086 16 0 209339 0
vsize: 837420
[startup+120.009 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18976
Raw data (stat): 18960 (java) R 18959 3394 3393 0 -1 0 18120 3 1 0 11526 40 0 0 24 0 11 0 839440683 857518080 20656 4294967295 134512640 134569956 3221224368 3221214688 1131181377 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209355 20656 13086 16 0 209339 0
vsize: 837420
[startup+130.009 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18976
Raw data (stat): 18960 (java) R 18959 3394 3393 0 -1 0 18120 3 1 0 12515 40 0 0 24 0 11 0 839440683 857518080 20678 4294967295 134512640 134569956 3221224368 3221214688 1131181811 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209355 20678 13086 16 0 209339 0
vsize: 837420
[startup+140.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18976
Raw data (stat): 18960 (java) R 18959 3394 3393 0 -1 0 18120 3 1 0 13506 40 0 0 25 0 11 0 839440683 857518080 20698 4294967295 134512640 134569956 3221224368 3221214688 1131181224 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209355 20698 13086 16 0 209339 0
vsize: 837420
[startup+150.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18976
Raw data (stat): 18960 (java) R 18959 3394 3393 0 -1 0 18120 3 1 0 14495 40 0 0 25 0 11 0 839440683 857518080 20733 4294967295 134512640 134569956 3221224368 3221214480 1131199144 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209355 20733 13086 16 0 209339 0
vsize: 837420
[startup+160.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18976
Raw data (stat): 18960 (java) R 18959 3394 3393 0 -1 0 18120 3 1 0 15486 40 0 0 25 0 11 0 839440683 857518080 20758 4294967295 134512640 134569956 3221224368 3221214688 1131181785 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209355 20758 13086 16 0 209339 0
vsize: 837420
[startup+170.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18976
Raw data (stat): 18960 (java) R 18959 3394 3393 0 -1 0 18120 3 1 0 16477 40 0 0 25 0 11 0 839440683 857518080 20776 4294967295 134512640 134569956 3221224368 3221214688 1131181868 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209355 20776 13086 16 0 209339 0
vsize: 837420
[startup+180.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18976
Raw data (stat): 18960 (java) R 18959 3394 3393 0 -1 0 18120 3 1 0 17469 40 0 0 25 0 11 0 839440683 857518080 20788 4294967295 134512640 134569956 3221224368 3221214688 1131181811 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209355 20788 13086 16 0 209339 0
vsize: 837420
[startup+190.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18978
Raw data (stat): 18960 (java) R 18959 3394 3393 0 -1 0 18120 3 1 0 18460 40 0 0 25 0 11 0 839440683 857518080 20812 4294967295 134512640 134569956 3221224368 3221214688 1131181697 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209355 20812 13086 16 0 209339 0
vsize: 837420
[startup+200.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18978
Raw data (stat): 18960 (java) R 18959 3394 3393 0 -1 0 18120 3 1 0 19451 40 0 0 25 0 11 0 839440683 857518080 20831 4294967295 134512640 134569956 3221224368 3221214792 1131162920 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209355 20831 13086 16 0 209339 0
vsize: 837420
[startup+210.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18978
Raw data (stat): 18960 (java) R 18959 3394 3393 0 -1 0 18120 3 1 0 20441 40 0 0 25 0 11 0 839440683 857518080 20850 4294967295 134512640 134569956 3221224368 3221214688 1131181825 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209355 20850 13086 16 0 209339 0
vsize: 837420
[startup+220.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18978
Raw data (stat): 18960 (java) R 18959 3394 3393 0 -1 0 18120 3 1 0 21432 40 0 0 25 0 11 0 839440683 857518080 20873 4294967295 134512640 134569956 3221224368 3221214792 1131162628 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209355 20873 13086 16 0 209339 0
vsize: 837420
[startup+230.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18978
Raw data (stat): 18960 (java) R 18959 3394 3393 0 -1 0 18120 3 1 0 22422 40 0 0 25 0 11 0 839440683 857518080 20890 4294967295 134512640 134569956 3221224368 3221214744 1131145920 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209355 20890 13086 16 0 209339 0
vsize: 837420
[startup+240.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18978
Raw data (stat): 18960 (java) R 18959 3394 3393 0 -1 0 18120 3 1 0 23412 40 0 0 25 0 11 0 839440683 857518080 20919 4294967295 134512640 134569956 3221224368 3221214688 1131182109 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209355 20919 13086 16 0 209339 0
vsize: 837420
[startup+250.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18978
Raw data (stat): 18960 (java) R 18959 3394 3393 0 -1 0 18120 3 1 0 24404 40 0 0 25 0 11 0 839440683 857518080 20940 4294967295 134512640 134569956 3221224368 3221214688 1131181825 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209355 20940 13086 16 0 209339 0
vsize: 837420
[startup+260.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18978
Raw data (stat): 18960 (java) R 18959 3394 3393 0 -1 0 18120 3 1 0 25395 40 0 0 25 0 11 0 839440683 857518080 20966 4294967295 134512640 134569956 3221224368 3221214744 1131145937 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209355 20966 13086 16 0 209339 0
vsize: 837420
[startup+270.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18978
Raw data (stat): 18960 (java) R 18959 3394 3393 0 -1 0 18120 3 1 0 26386 40 0 0 25 0 11 0 839440683 857518080 20981 4294967295 134512640 134569956 3221224368 3221214688 1131181300 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209355 20981 13086 16 0 209339 0
vsize: 837420
[startup+280.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18978
Raw data (stat): 18960 (java) R 18959 3394 3393 0 -1 0 18120 3 1 0 27379 41 0 0 25 0 11 0 839440683 857518080 20993 4294967295 134512640 134569956 3221224368 3221214688 1131181661 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209355 20993 13086 16 0 209339 0
vsize: 837420
[startup+290.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18978
Raw data (stat): 18960 (java) R 18959 3394 3393 0 -1 0 18120 3 1 0 28372 41 0 0 25 0 11 0 839440683 857518080 21012 4294967295 134512640 134569956 3221224368 3221214688 1131181217 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209355 21012 13086 16 0 209339 0
vsize: 837420
[startup+300.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18978
Raw data (stat): 18960 (java) R 18959 3394 3393 0 -1 0 18120 3 1 0 29364 41 0 0 25 0 11 0 839440683 857518080 21022 4294967295 134512640 134569956 3221224368 3221214744 1131145917 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209355 21022 13086 16 0 209339 0
vsize: 837420
[startup+310.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18978
Raw data (stat): 18960 (java) R 18959 3394 3393 0 -1 0 18120 3 1 0 30357 41 0 0 25 0 11 0 839440683 857518080 21033 4294967295 134512640 134569956 3221224368 3221214584 1131289777 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209355 21033 13086 16 0 209339 0
vsize: 837420
[startup+320.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18978
Raw data (stat): 18960 (java) R 18959 3394 3393 0 -1 0 18120 3 1 0 31349 41 0 0 25 0 11 0 839440683 857518080 21043 4294967295 134512640 134569956 3221224368 3221214552 1131400362 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209355 21043 13086 16 0 209339 0
vsize: 837420
[startup+330.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18978
Raw data (stat): 18960 (java) R 18959 3394 3393 0 -1 0 18120 3 1 0 32341 41 0 0 25 0 11 0 839440683 857518080 21056 4294967295 134512640 134569956 3221224368 3221214688 1131181667 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209355 21056 13086 16 0 209339 0
vsize: 837420
[startup+340.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18978
Raw data (stat): 18960 (java) R 18959 3394 3393 0 -1 0 18120 3 1 0 33330 41 0 0 25 0 11 0 839440683 857518080 21069 4294967295 134512640 134569956 3221224368 3221214688 1131182416 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209355 21069 13086 16 0 209339 0
vsize: 837420
[startup+350.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18978
Raw data (stat): 18960 (java) R 18959 3394 3393 0 -1 0 18120 3 1 0 34320 41 0 0 25 0 11 0 839440683 857518080 21104 4294967295 134512640 134569956 3221224368 3221214688 1131181902 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209355 21104 13086 16 0 209339 0
vsize: 837420
[startup+360.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18978
Raw data (stat): 18960 (java) R 18959 3394 3393 0 -1 0 18120 3 1 0 35311 41 0 0 25 0 11 0 839440683 857518080 21134 4294967295 134512640 134569956 3221224368 3221214688 1131181811 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209355 21134 13086 16 0 209339 0
vsize: 837420
[startup+370.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18978
Raw data (stat): 18960 (java) R 18959 3394 3393 0 -1 0 18120 3 1 0 36303 41 0 0 25 0 11 0 839440683 857518080 21147 4294967295 134512640 134569956 3221224368 3221214688 1131181716 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209355 21147 13086 16 0 209339 0
vsize: 837420
[startup+380.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18978
Raw data (stat): 18960 (java) R 18959 3394 3393 0 -1 0 18120 3 1 0 37296 41 0 0 25 0 11 0 839440683 857518080 21157 4294967295 134512640 134569956 3221224368 3221214688 1131181845 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209355 21157 13086 16 0 209339 0
vsize: 837420
[startup+390.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18978
Raw data (stat): 18960 (java) R 18959 3394 3393 0 -1 0 18120 3 1 0 38287 41 0 0 25 0 11 0 839440683 857518080 21170 4294967295 134512640 134569956 3221224368 3221214688 1131181661 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209355 21170 13086 16 0 209339 0
vsize: 837420
[startup+400.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18978
Raw data (stat): 18960 (java) R 18959 3394 3393 0 -1 0 18120 3 1 0 39279 41 0 0 25 0 11 0 839440683 857518080 21178 4294967295 134512640 134569956 3221224368 3221214688 1131181845 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209355 21178 13086 16 0 209339 0
vsize: 837420
[startup+410.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18978
Raw data (stat): 18960 (java) R 18959 3394 3393 0 -1 0 18120 3 1 0 40271 42 0 0 25 0 11 0 839440683 857518080 21188 4294967295 134512640 134569956 3221224368 3221214688 1131181256 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209355 21188 13086 16 0 209339 0
vsize: 837420
[startup+420.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18978
Raw data (stat): 18960 (java) R 18959 3394 3393 0 -1 0 18120 3 1 0 41263 42 0 0 25 0 11 0 839440683 857518080 21204 4294967295 134512640 134569956 3221224368 3221214688 1131181785 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209355 21204 13086 16 0 209339 0
vsize: 837420
[startup+430.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18978
Raw data (stat): 18960 (java) R 18959 3394 3393 0 -1 0 18120 3 1 0 42255 42 0 0 25 0 11 0 839440683 857518080 21212 4294967295 134512640 134569956 3221224368 3221214688 1131181807 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209355 21212 13086 16 0 209339 0
vsize: 837420
[startup+440.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18978
Raw data (stat): 18960 (java) R 18959 3394 3393 0 -1 0 18120 3 1 0 43246 42 0 0 25 0 11 0 839440683 857518080 21227 4294967295 134512640 134569956 3221224368 3221214856 1131305217 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209355 21227 13086 16 0 209339 0
vsize: 837420
[startup+450.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18978
Raw data (stat): 18960 (java) R 18959 3394 3393 0 -1 0 18120 3 1 0 44239 43 0 0 25 0 11 0 839440683 857518080 21238 4294967295 134512640 134569956 3221224368 3221214424 1079721457 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209355 21238 13086 16 0 209339 0
vsize: 837420
[startup+460.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18978
Raw data (stat): 18960 (java) R 18959 3394 3393 0 -1 0 18120 3 1 0 45229 43 0 0 25 0 11 0 839440683 857518080 21247 4294967295 134512640 134569956 3221224368 3221214616 1131388555 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209355 21247 13086 16 0 209339 0
vsize: 837420
[startup+470.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18978
Raw data (stat): 18960 (java) R 18959 3394 3393 0 -1 0 18120 3 1 0 46221 43 0 0 25 0 11 0 839440683 857518080 21265 4294967295 134512640 134569956 3221224368 3221214688 1131181881 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209355 21265 13086 16 0 209339 0
vsize: 837420
[startup+480.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18978
Raw data (stat): 18960 (java) R 18959 3394 3393 0 -1 0 18120 3 1 0 47213 43 0 0 25 0 11 0 839440683 857518080 21285 4294967295 134512640 134569956 3221224368 3221214688 1131181697 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209355 21285 13086 16 0 209339 0
vsize: 837420
[startup+490.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18978
Raw data (stat): 18960 (java) R 18959 3394 3393 0 -1 0 18120 3 1 0 48205 43 0 0 25 0 11 0 839440683 857518080 21296 4294967295 134512640 134569956 3221224368 3221214688 1131181217 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209355 21296 13086 16 0 209339 0
vsize: 837420
[startup+500.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18978
Raw data (stat): 18960 (java) R 18959 3394 3393 0 -1 0 18120 3 1 0 49198 43 0 0 25 0 11 0 839440683 857518080 21308 4294967295 134512640 134569956 3221224368 3221214688 1131181623 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209355 21308 13086 16 0 209339 0
vsize: 837420
[startup+510.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18978
Raw data (stat): 18960 (java) R 18959 3394 3393 0 -1 0 18120 3 1 0 50189 43 0 0 25 0 11 0 839440683 857518080 21317 4294967295 134512640 134569956 3221224368 3221214688 1131181744 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209355 21317 13086 16 0 209339 0
vsize: 837420
[startup+520.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18978
Raw data (stat): 18960 (java) R 18959 3394 3393 0 -1 0 18120 3 1 0 51181 43 0 0 25 0 11 0 839440683 857518080 21325 4294967295 134512640 134569956 3221224368 3221214688 1131181385 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209355 21325 13086 16 0 209339 0
vsize: 837420
[startup+530.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18978
Raw data (stat): 18960 (java) R 18959 3394 3393 0 -1 0 18120 3 1 0 52172 43 0 0 25 0 11 0 839440683 857518080 21340 4294967295 134512640 134569956 3221224368 3221214688 1131181799 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209355 21340 13086 16 0 209339 0
vsize: 837420
[startup+540.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18978
Raw data (stat): 18960 (java) R 18959 3394 3393 0 -1 0 18120 3 1 0 53164 44 0 0 25 0 11 0 839440683 857518080 21349 4294967295 134512640 134569956 3221224368 3221214744 1131145945 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209355 21349 13086 16 0 209339 0
vsize: 837420
[startup+550.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18978
Raw data (stat): 18960 (java) R 18959 3394 3393 0 -1 0 18120 3 1 0 54155 44 0 0 25 0 11 0 839440683 857518080 21364 4294967295 134512640 134569956 3221224368 3221214744 1131145920 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209355 21364 13086 16 0 209339 0
vsize: 837420
[startup+560.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18978
Raw data (stat): 18960 (java) R 18959 3394 3393 0 -1 0 18120 3 1 0 55147 44 0 0 25 0 11 0 839440683 857518080 21376 4294967295 134512640 134569956 3221224368 3221214688 1131182421 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209355 21376 13086 16 0 209339 0
vsize: 837420
[startup+570.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18978
Raw data (stat): 18960 (java) R 18959 3394 3393 0 -1 0 18120 3 1 0 56138 44 0 0 25 0 11 0 839440683 857518080 21387 4294967295 134512640 134569956 3221224368 3221214688 1131181237 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209355 21387 13086 16 0 209339 0
vsize: 837420
[startup+580.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18978
Raw data (stat): 18960 (java) R 18959 3394 3393 0 -1 0 18120 3 1 0 57130 45 0 0 25 0 11 0 839440683 857518080 21395 4294967295 134512640 134569956 3221224368 3221214476 1131400332 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209355 21395 13086 16 0 209339 0
vsize: 837420
[startup+590.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18978
Raw data (stat): 18960 (java) R 18959 3394 3393 0 -1 0 18120 3 1 0 58122 45 0 0 25 0 11 0 839440683 857518080 21404 4294967295 134512640 134569956 3221224368 3221214688 1131181600 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209355 21404 13086 16 0 209339 0
vsize: 837420
[startup+600.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18978
Raw data (stat): 18960 (java) R 18959 3394 3393 0 -1 0 18120 3 1 0 59113 45 0 0 25 0 11 0 839440683 857518080 21414 4294967295 134512640 134569956 3221224368 3221214688 1131181722 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209355 21414 13086 16 0 209339 0
vsize: 837420
[startup+610.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18978
Raw data (stat): 18960 (java) R 18959 3394 3393 0 -1 0 18120 3 1 0 60103 46 0 0 25 0 11 0 839440683 857518080 21423 4294967295 134512640 134569956 3221224368 3221214688 1131182384 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209355 21423 13086 16 0 209339 0
vsize: 837420
[startup+620.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18978
Raw data (stat): 18960 (java) R 18959 3394 3393 0 -1 0 18120 3 1 0 61094 46 0 0 25 0 11 0 839440683 857518080 21433 4294967295 134512640 134569956 3221224368 3221214688 1131182025 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209355 21433 13086 16 0 209339 0
vsize: 837420
[startup+630.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18978
Raw data (stat): 18960 (java) R 18959 3394 3393 0 -1 0 18120 3 1 0 62084 46 0 0 25 0 11 0 839440683 857518080 21453 4294967295 134512640 134569956 3221224368 3221214496 1131358404 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209355 21453 13086 16 0 209339 0
vsize: 837420
[startup+640.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18978
Raw data (stat): 18960 (java) R 18959 3394 3393 0 -1 0 18120 3 1 0 63076 47 0 0 25 0 11 0 839440683 857518080 21461 4294967295 134512640 134569956 3221224368 3221214688 1131181763 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209355 21461 13086 16 0 209339 0
vsize: 837420
[startup+650.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18978
Raw data (stat): 18960 (java) R 18959 3394 3393 0 -1 0 18120 3 1 0 64066 47 0 0 25 0 11 0 839440683 857518080 21480 4294967295 134512640 134569956 3221224368 3221214688 1131181853 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209355 21480 13086 16 0 209339 0
vsize: 837420
[startup+660.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18978
Raw data (stat): 18960 (java) R 18959 3394 3393 0 -1 0 18120 3 1 0 65057 47 0 0 25 0 11 0 839440683 857518080 21489 4294967295 134512640 134569956 3221224368 3221214828 1130885124 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209355 21489 13086 16 0 209339 0
vsize: 837420
[startup+670.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18978
Raw data (stat): 18960 (java) R 18959 3394 3393 0 -1 0 18120 3 1 0 66048 47 0 0 25 0 11 0 839440683 857518080 21499 4294967295 134512640 134569956 3221224368 3221214748 1131453206 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209355 21499 13086 16 0 209339 0
vsize: 837420
[startup+680.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18978
Raw data (stat): 18960 (java) R 18959 3394 3393 0 -1 0 18120 3 1 0 67041 48 0 0 25 0 11 0 839440683 857518080 21511 4294967295 134512640 134569956 3221224368 3221214480 1131199485 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209355 21511 13086 16 0 209339 0
vsize: 837420
[startup+690.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18978
Raw data (stat): 18960 (java) R 18959 3394 3393 0 -1 0 18120 3 1 0 68035 48 0 0 25 0 11 0 839440683 857518080 21519 4294967295 134512640 134569956 3221224368 3221214832 1131157913 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209355 21519 13086 16 0 209339 0
vsize: 837420
[startup+700.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18978
Raw data (stat): 18960 (java) R 18959 3394 3393 0 -1 0 18120 3 1 0 69025 49 0 0 25 0 11 0 839440683 857518080 21523 4294967295 134512640 134569956 3221224368 3221214688 1131181691 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209355 21523 13086 16 0 209339 0
vsize: 837420
[startup+710.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18978
Raw data (stat): 18960 (java) R 18959 3394 3393 0 -1 0 18120 3 1 0 70016 49 0 0 25 0 11 0 839440683 857518080 21533 4294967295 134512640 134569956 3221224368 3221214688 1131181819 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209355 21533 13086 16 0 209339 0
vsize: 837420
[startup+720.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18978
Raw data (stat): 18960 (java) R 18959 3394 3393 0 -1 0 18120 3 1 0 71006 50 0 0 25 0 11 0 839440683 857518080 21559 4294967295 134512640 134569956 3221224368 3221214688 1131181752 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209355 21559 13086 16 0 209339 0
vsize: 837420
[startup+730.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18978
Raw data (stat): 18960 (java) R 18959 3394 3393 0 -1 0 18120 3 1 0 71998 50 0 0 25 0 11 0 839440683 857518080 21566 4294967295 134512640 134569956 3221224368 3221214688 1131181579 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209355 21566 13086 16 0 209339 0
vsize: 837420
[startup+740.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18978
Raw data (stat): 18960 (java) R 18959 3394 3393 0 -1 0 18120 3 1 0 72990 50 0 0 25 0 11 0 839440683 857518080 21578 4294967295 134512640 134569956 3221224368 3221214712 1131192764 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209355 21578 13086 16 0 209339 0
vsize: 837420
[startup+750.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18978
Raw data (stat): 18960 (java) R 18959 3394 3393 0 -1 0 18120 3 1 0 73981 50 0 0 25 0 11 0 839440683 857518080 21588 4294967295 134512640 134569956 3221224368 3221214688 1131181213 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209355 21588 13086 16 0 209339 0
vsize: 837420
[startup+760.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18978
Raw data (stat): 18960 (java) R 18959 3394 3393 0 -1 0 18120 3 1 0 74975 51 0 0 25 0 11 0 839440683 857518080 21591 4294967295 134512640 134569956 3221224368 3221214688 1131181691 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209355 21591 13086 16 0 209339 0
vsize: 837420
[startup+770.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18978
Raw data (stat): 18960 (java) R 18959 3394 3393 0 -1 0 18120 3 1 0 75967 51 0 0 25 0 11 0 839440683 857518080 21599 4294967295 134512640 134569956 3221224368 3221214688 1131181771 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209355 21599 13086 16 0 209339 0
vsize: 837420
[startup+780.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18978
Raw data (stat): 18960 (java) R 18959 3394 3393 0 -1 0 18120 3 1 0 76960 51 0 0 25 0 11 0 839440683 857518080 21605 4294967295 134512640 134569956 3221224368 3221214520 1131295943 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209355 21605 13086 16 0 209339 0
vsize: 837420
[startup+790.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18978
Raw data (stat): 18960 (java) R 18959 3394 3393 0 -1 0 18120 3 1 0 77950 52 0 0 25 0 11 0 839440683 857518080 21614 4294967295 134512640 134569956 3221224368 3221214688 1131181752 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209355 21614 13086 16 0 209339 0
vsize: 837420
[startup+800.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18978
Raw data (stat): 18960 (java) R 18959 3394 3393 0 -1 0 18120 3 1 0 78941 52 0 0 25 0 11 0 839440683 857518080 21628 4294967295 134512640 134569956 3221224368 3221214688 1131181217 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209355 21628 13086 16 0 209339 0
vsize: 837420
[startup+810.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18978
Raw data (stat): 18960 (java) R 18959 3394 3393 0 -1 0 18120 3 1 0 79931 52 0 0 25 0 11 0 839440683 857518080 21644 4294967295 134512640 134569956 3221224368 3221214688 1131181623 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209355 21644 13086 16 0 209339 0
vsize: 837420
[startup+820.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18978
Raw data (stat): 18960 (java) R 18959 3394 3393 0 -1 0 18120 3 1 0 80922 52 0 0 25 0 11 0 839440683 857518080 21667 4294967295 134512640 134569956 3221224368 3221214688 1131182384 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209355 21667 13086 16 0 209339 0
vsize: 837420
[startup+830.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18978
Raw data (stat): 18960 (java) R 18959 3394 3393 0 -1 0 18120 3 1 0 81914 52 0 0 25 0 11 0 839440683 857518080 21689 4294967295 134512640 134569956 3221224368 3221214440 1131349232 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209355 21689 13086 16 0 209339 0
vsize: 837420
[startup+840.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18978
Raw data (stat): 18960 (java) R 18959 3394 3393 0 -1 0 18120 3 1 0 82906 53 0 0 25 0 11 0 839440683 857518080 21699 4294967295 134512640 134569956 3221224368 3221214688 1131181213 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209355 21699 13086 16 0 209339 0
vsize: 837420
[startup+850.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18978
Raw data (stat): 18960 (java) R 18959 3394 3393 0 -1 0 18120 3 1 0 83897 53 0 0 25 0 11 0 839440683 857518080 21703 4294967295 134512640 134569956 3221224368 3221214688 1131181900 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209355 21703 13086 16 0 209339 0
vsize: 837420
[startup+860.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18978
Raw data (stat): 18960 (java) R 18959 3394 3393 0 -1 0 18120 3 1 0 84891 54 0 0 25 0 11 0 839440683 857518080 21709 4294967295 134512640 134569956 3221224368 3221214688 1131181661 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209355 21709 13086 16 0 209339 0
vsize: 837420
[startup+870.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18978
Raw data (stat): 18960 (java) R 18959 3394 3393 0 -1 0 18120 3 1 0 85883 54 0 0 25 0 11 0 839440683 857518080 21723 4294967295 134512640 134569956 3221224368 3221214688 1131181232 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209355 21723 13086 16 0 209339 0
vsize: 837420
[startup+880.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18978
Raw data (stat): 18960 (java) R 18959 3394 3393 0 -1 0 18120 3 1 0 86875 55 0 0 25 0 11 0 839440683 857518080 21727 4294967295 134512640 134569956 3221224368 3221214744 1131145925 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209355 21727 13086 16 0 209339 0
vsize: 837420
[startup+890.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18978
Raw data (stat): 18960 (java) R 18959 3394 3393 0 -1 0 18120 3 1 0 87867 55 0 0 25 0 11 0 839440683 857518080 21733 4294967295 134512640 134569956 3221224368 3221214688 1131182461 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209355 21733 13086 16 0 209339 0
vsize: 837420
[startup+900.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18978
Raw data (stat): 18960 (java) R 18959 3394 3393 0 -1 0 18120 3 1 0 88858 55 0 0 25 0 11 0 839440683 857518080 21746 4294967295 134512640 134569956 3221224368 3221214688 1131181779 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209355 21746 13086 16 0 209339 0
vsize: 837420
[startup+910.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18978
Raw data (stat): 18960 (java) R 18959 3394 3393 0 -1 0 18120 3 1 0 89849 56 0 0 25 0 11 0 839440683 857518080 21760 4294967295 134512640 134569956 3221224368 3221214744 1131145920 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209355 21760 13086 16 0 209339 0
vsize: 837420
[startup+920.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18978
Raw data (stat): 18960 (java) R 18959 3394 3393 0 -1 0 18120 3 1 0 90841 56 0 0 25 0 11 0 839440683 857518080 21763 4294967295 134512640 134569956 3221224368 3221214688 1131181819 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209355 21763 13086 16 0 209339 0
vsize: 837420
[startup+930.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18978
Raw data (stat): 18960 (java) R 18959 3394 3393 0 -1 0 18120 3 1 0 91833 57 0 0 25 0 11 0 839440683 857518080 21769 4294967295 134512640 134569956 3221224368 3221214552 1131400425 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209355 21769 13086 16 0 209339 0
vsize: 837420
[startup+940.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18978
Raw data (stat): 18960 (java) R 18959 3394 3393 0 -1 0 18120 3 1 0 92825 57 0 0 25 0 11 0 839440683 857518080 21776 4294967295 134512640 134569956 3221224368 3221214688 1131181686 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209355 21776 13086 16 0 209339 0
vsize: 837420
[startup+950.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18978
Raw data (stat): 18960 (java) R 18959 3394 3393 0 -1 0 18120 3 1 0 93817 57 0 0 25 0 11 0 839440683 857518080 21782 4294967295 134512640 134569956 3221224368 3221214688 1131181686 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209355 21782 13086 16 0 209339 0
vsize: 837420
[startup+960.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18978
Raw data (stat): 18960 (java) R 18959 3394 3393 0 -1 0 18120 3 1 0 94810 58 0 0 25 0 11 0 839440683 857518080 21788 4294967295 134512640 134569956 3221224368 3221214688 1131181835 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209355 21788 13086 16 0 209339 0
vsize: 837420
[startup+970.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18978
Raw data (stat): 18960 (java) R 18959 3394 3393 0 -1 0 18120 3 1 0 95801 58 0 0 25 0 11 0 839440683 857518080 21797 4294967295 134512640 134569956 3221224368 3221214144 1131387725 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209355 21797 13086 16 0 209339 0
vsize: 837420
[startup+980.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18978
Raw data (stat): 18960 (java) R 18959 3394 3393 0 -1 0 18120 3 1 0 96792 59 0 0 25 0 11 0 839440683 857518080 21804 4294967295 134512640 134569956 3221224368 3221214688 1131181716 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209355 21804 13086 16 0 209339 0
vsize: 837420
[startup+990.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18978
Raw data (stat): 18960 (java) R 18959 3394 3393 0 -1 0 18120 3 1 0 97784 59 0 0 25 0 11 0 839440683 857518080 21815 4294967295 134512640 134569956 3221224368 3221214688 1131181232 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209355 21815 13086 16 0 209339 0
vsize: 837420
[startup+1000.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18978
Raw data (stat): 18960 (java) R 18959 3394 3393 0 -1 0 18120 3 1 0 98776 59 0 0 25 0 11 0 839440683 857518080 21822 4294967295 134512640 134569956 3221224368 3221214688 1131181775 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209355 21822 13086 16 0 209339 0
vsize: 837420
[startup+1010.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18978
Raw data (stat): 18960 (java) R 18959 3394 3393 0 -1 0 18120 3 1 0 99767 59 0 0 25 0 11 0 839440683 857518080 21825 4294967295 134512640 134569956 3221224368 3221214688 1131181593 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209355 21825 13086 16 0 209339 0
vsize: 837420
[startup+1020.07 s]
Raw data (loadavg): 1.08 1.02 1.01 2/64 18978
Raw data (stat): 18960 (java) R 18959 3394 3393 0 -1 0 18120 3 1 0 100759 60 0 0 25 0 11 0 839440683 857518080 21833 4294967295 134512640 134569956 3221224368 3221214744 1131145937 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209355 21833 13086 16 0 209339 0
vsize: 837420
[startup+1030.07 s]
Raw data (loadavg): 1.07 1.02 1.00 2/64 18978
Raw data (stat): 18960 (java) R 18959 3394 3393 0 -1 0 18120 3 1 0 101750 60 0 0 25 0 11 0 839440683 857518080 21844 4294967295 134512640 134569956 3221224368 3221214792 1131162272 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209355 21844 13086 16 0 209339 0
vsize: 837420
[startup+1040.07 s]
Raw data (loadavg): 1.06 1.01 1.00 2/64 18978
Raw data (stat): 18960 (java) R 18959 3394 3393 0 -1 0 18120 3 1 0 102742 61 0 0 25 0 11 0 839440683 857518080 21847 4294967295 134512640 134569956 3221224368 3221214744 1131145920 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209355 21847 13086 16 0 209339 0
vsize: 837420
[startup+1050.07 s]
Raw data (loadavg): 1.05 1.01 1.00 2/64 18978
Raw data (stat): 18960 (java) R 18959 3394 3393 0 -1 0 18120 3 1 0 103732 61 0 0 25 0 11 0 839440683 857518080 21860 4294967295 134512640 134569956 3221224368 3221214792 1131162500 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209355 21860 13086 16 0 209339 0
vsize: 837420
[startup+1060.07 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 18978
Raw data (stat): 18960 (java) R 18959 3394 3393 0 -1 0 18120 3 1 0 104724 62 0 0 25 0 11 0 839440683 857518080 21866 4294967295 134512640 134569956 3221224368 3221214688 1131181604 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209355 21866 13086 16 0 209339 0
vsize: 837420
[startup+1070.07 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 18979
Raw data (stat): 18960 (java) R 18959 3394 3393 0 -1 0 18120 3 1 0 105714 62 0 0 25 0 11 0 839440683 857518080 21884 4294967295 134512640 134569956 3221224368 3221214744 1131145920 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209355 21884 13086 16 0 209339 0
vsize: 837420
[startup+1080.07 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 18979
Raw data (stat): 18960 (java) R 18959 3394 3393 0 -1 0 18120 3 1 0 106706 63 0 0 25 0 11 0 839440683 857518080 21898 4294967295 134512640 134569956 3221224368 3221214688 1131181807 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209355 21898 13086 16 0 209339 0
vsize: 837420
[startup+1090.07 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 18979
Raw data (stat): 18960 (java) R 18959 3394 3393 0 -1 0 18120 3 1 0 107697 63 0 0 25 0 11 0 839440683 857518080 21907 4294967295 134512640 134569956 3221224368 3221214688 1131181686 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209355 21907 13086 16 0 209339 0
vsize: 837420
[startup+1100.07 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 18979
Raw data (stat): 18960 (java) R 18959 3394 3393 0 -1 0 18120 3 1 0 108690 64 0 0 25 0 11 0 839440683 857518080 21914 4294967295 134512640 134569956 3221224368 3221214688 1131181327 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209355 21914 13086 16 0 209339 0
vsize: 837420
[startup+1110.07 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 18979
Raw data (stat): 18960 (java) R 18959 3394 3393 0 -1 0 18120 3 1 0 109681 64 0 0 25 0 11 0 839440683 857518080 21921 4294967295 134512640 134569956 3221224368 3221214744 1131145937 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209355 21921 13086 16 0 209339 0
vsize: 837420
[startup+1120.07 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 18979
Raw data (stat): 18960 (java) R 18959 3394 3393 0 -1 0 18120 3 1 0 110672 64 0 0 25 0 11 0 839440683 857518080 21925 4294967295 134512640 134569956 3221224368 3221214688 1131181811 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209355 21925 13086 16 0 209339 0
vsize: 837420
[startup+1130.07 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 18979
Raw data (stat): 18960 (java) R 18959 3394 3393 0 -1 0 18120 3 1 0 111664 64 0 0 25 0 11 0 839440683 857518080 21935 4294967295 134512640 134569956 3221224368 3221214744 1131145997 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209355 21935 13086 16 0 209339 0
vsize: 837420
[startup+1140.07 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 18979
Raw data (stat): 18960 (java) R 18959 3394 3393 0 -1 0 18120 3 1 0 112656 65 0 0 25 0 11 0 839440683 857518080 21945 4294967295 134512640 134569956 3221224368 3221214688 1131181859 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209355 21945 13086 16 0 209339 0
vsize: 837420
[startup+1150.07 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 18979
Raw data (stat): 18960 (java) R 18959 3394 3393 0 -1 0 18120 3 1 0 113648 65 0 0 25 0 11 0 839440683 857518080 21948 4294967295 134512640 134569956 3221224368 3221214688 1131181722 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209355 21948 13086 16 0 209339 0
vsize: 837420
[startup+1160.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18979
Raw data (stat): 18960 (java) R 18959 3394 3393 0 -1 0 18120 3 1 0 114640 65 0 0 25 0 11 0 839440683 857518080 21952 4294967295 134512640 134569956 3221224368 3221214688 1131181795 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209355 21952 13086 16 0 209339 0
vsize: 837420
[startup+1170.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18979
Raw data (stat): 18960 (java) R 18959 3394 3393 0 -1 0 18120 3 1 0 115632 66 0 0 25 0 11 0 839440683 857518080 21961 4294967295 134512640 134569956 3221224368 3221214688 1131181722 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209355 21961 13086 16 0 209339 0
vsize: 837420
[startup+1180.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18979
Raw data (stat): 18960 (java) R 18959 3394 3393 0 -1 0 18120 3 1 0 116624 66 0 0 25 0 11 0 839440683 857518080 21964 4294967295 134512640 134569956 3221224368 3221214688 1131181845 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209355 21964 13086 16 0 209339 0
vsize: 837420
[startup+1190.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18979
Raw data (stat): 18960 (java) R 18959 3394 3393 0 -1 0 18120 3 1 0 117615 66 0 0 25 0 11 0 839440683 857518080 21974 4294967295 134512640 134569956 3221224368 3221214744 1131146052 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209355 21974 13086 16 0 209339 0
vsize: 837420
[startup+1200.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18979
Raw data (stat): 18960 (java) R 18959 3394 3393 0 -1 0 18120 3 1 0 118608 66 0 0 25 0 11 0 839440683 857518080 21980 4294967295 134512640 134569956 3221224368 3221214688 1131181763 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209355 21980 13086 16 0 209339 0
vsize: 837420
[startup+1210.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18979
Raw data (stat): 18960 (java) R 18959 3394 3393 0 -1 0 18120 3 1 0 119599 67 0 0 25 0 11 0 839440683 857518080 21985 4294967295 134512640 134569956 3221224368 3221214688 1131181213 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209355 21985 13086 16 0 209339 0
vsize: 837420
[startup+1220.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18979
Raw data (stat): 18960 (java) R 18959 3394 3393 0 -1 0 18120 3 1 0 120592 67 0 0 25 0 11 0 839440683 857518080 21990 4294967295 134512640 134569956 3221224368 3221214688 1131181296 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209355 21990 13086 16 0 209339 0
vsize: 837420
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1220.18 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 18981
Raw data (stat): 18960 (java) Z 18959 3394 3393 0 -1 1036 18120 2739 1 0 120597 67 1122 19 25 0 1 0 839440683 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.18
CPU time (s): 1218.07
CPU user time (s): 1217.2
CPU system time (s): 0.867868
CPU usage (%): 99.8274
Max. virtual memory (Kb): 837420
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	68096
#### END VERIFIER DATA ####