PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-markshare2_1.opb
MD5SUM	a84a96a9314212f3d8ecd5227c500cef
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	91392
Optimality of the best value was proved	NO
Number of terms in the objective function	210
Biggest coefficient in the objective function	536870912
Number of bits for the biggest coefficient in the objective function	30
Sum of the numbers in the objective function	7516192761
Number of bits of the sum of numbers in the objective function	33
Biggest number in a constraint	536870912
Number of bits of the biggest number in a constraint	30
Biggest sum of numbers in a constraint	7516192761
Number of bits of the biggest sum of numbers	33
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1202.31
Number of variables	330
Total number of constraints	67
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	54
Number of constraints which are nor clauses,nor cardinality constraints	13
Minimum length of a constraint	1
Maximum length of a constraint	150
Trace number 29721

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc2 THE 2005-05-25 10:53:38 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=21127 boxname=wulflinc2 idbench=1115 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  a84a96a9314212f3d8ecd5227c500cef  /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-20-10-markshare2_1.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-20-10-markshare2_1.opb
IDLAUNCH: 21127
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.191
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	: 2
cpu MHz		: 451.191
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:        520096 kB
Buffers:         29972 kB
Cached:         464508 kB
SwapCached:        696 kB
Active:          54412 kB
Inactive:       442456 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        519844 kB
SwapTotal:     2097136 kB
SwapFree:      2095796 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5620 kB
Slab:            11948 kB
Committed_AS:    71788 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 11:14:00 (client local time) WITH STATUS 143 IN 1229.1 SECONDS
stats: 21127 0 1229.1 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/wulflinc2/normalized-mps-v2-20-10-markshare2_1.opb
c reading problem ... done. Time 0.942 ms.
c #vars     330
c #constraints  20
c SATISFIABLE
c OPTIMIZING...
c CURRENT OPTIMUM=            10764288 		Current CPU time: 5.19 ms
c CURRENT OPTIMUM=            10764111 		Current CPU time: 9.33 ms
c CURRENT OPTIMUM=            10763911 		Current CPU time: 11.45 ms
c CURRENT OPTIMUM=             1833920 		Current CPU time: 13.95 ms
c starts	: 6
c conflicts	: 157
c decisions	: 4748
c propagations	: 11902
c inspects	: 314437
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 157
c root simplifications	: 156
s SATISFIABLE
v -s01_bit_10 -s01_bit_9 -s01_bit_8 -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 -s01_bit13 -s01_bit14 -s01_bit15 -s01_bit16 -s01_bit17 -s01_bit18 -s01_bit19 -s11_bit_10 -s11_bit_9 -s11_bit_8 -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 -s11_bit13 -s11_bit14 -s11_bit15 -s11_bit16 -s11_bit17 -s11_bit18 -s11_bit19 -s21_bit_10 -s21_bit_9 -s21_bit_8 -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 -s21_bit13 -s21_bit14 -s21_bit15 -s21_bit16 -s21_bit17 -s21_bit18 -s21_bit19 -s31_bit_10 -s31_bit_9 -s31_bit_8 -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 -s31_bit13 -s31_bit14 -s31_bit15 -s31_bit16 -s31_bit17 -s31_bit18 -s31_bit19 -s41_bit_10 -s41_bit_9 -s41_bit_8 -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 -s41_bit13 -s41_bit14 -s41_bit15 -s41_bit16 -s41_bit17 -s41_bit18 -s41_bit19 -s51_bit_10 -s51_bit_9 -s51_bit_8 -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 -s51_bit13 -s51_bit14 -s51_bit15 -s51_bit16 -s51_bit17 -s51_bit18 -s51_bit19 -s61_bit_10 -s61_bit_9 -s61_bit_8 -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 -s61_bit13 -s61_bit14 -s61_bit15 -s61_bit16 -s61_bit17 -s61_bit18 -s61_bit19 -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_bit_10 -x54_bit_9 -x54_bit_8 -x54_bit_7 -x54_bit_6 -x54_bit_5 -x54_bit_4 -x54_bit_3 -x54_bit_2 -x54_bit_1 -x54_bit0 -x55_bit_10 -x55_bit_9 -x55_bit_8 -x55_bit_7 -x55_bit_6 -x55_bit_5 -x55_bit_4 -x55_bit_3 -x55_bit_2 -x55_bit_1 -x55_bit0 -x56_bit_10 -x56_bit_9 -x56_bit_8 -x56_bit_7 -x56_bit_6 -x56_bit_5 -x56_bit_4 -x56_bit_3 -x56_bit_2 -x56_bit_1 x56_bit0 -x57_bit_10 -x57_bit_9 -x57_bit_8 -x57_bit_7 -x57_bit_6 -x57_bit_5 -x57_bit_4 -x57_bit_3 -x57_bit_2 -x57_bit_1 -x57_bit0 -x58_bit_10 -x58_bit_9 -x58_bit_8 -x58_bit_7 -x58_bit_6 -x58_bit_5 x58_bit_4 -x58_bit_3 -x58_bit_2 -x58_bit_1 -x58_bit0 -x59_bit_10 -x59_bit_9 -x59_bit_8 -x59_bit_7 -x59_bit_6 -x59_bit_5 -x59_bit_4 -x59_bit_3 -x59_bit_2 -x59_bit_1 x59_bit0 
c objectif function=1833920
c Total CPU time (ms) : 1219.123
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.93 0.98 0.99 2/54 12749
Raw data (stat): 12749 (runsolver) R 12748 31399 31398 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 780093427 1052672 99 4294967295 134512640 135381576 3221224400 3221219620 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0008 s]
Raw data (loadavg): 1.08 1.02 1.00 2/64 12760
Raw data (stat): 12749 (java) R 12748 31399 31398 0 -1 0 18123 3 1 0 663 38 0 0 25 0 11 0 780093427 861257728 20565 4294967295 134512640 134569956 3221224368 3221214648 1131191521 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210268 20565 13086 16 0 210252 0
vsize: 841072
[startup+20.0019 s]
Raw data (loadavg): 1.07 1.02 1.00 2/64 12763
Raw data (stat): 12749 (java) R 12748 31399 31398 0 -1 0 18125 3 1 0 1617 39 0 0 25 0 11 0 780093427 859193344 20202 4294967295 134512640 134569956 3221224368 3221214648 1131192145 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209764 20202 13086 16 0 209748 0
vsize: 839056
[startup+30.0025 s]
Raw data (loadavg): 1.06 1.01 1.00 2/64 12763
Raw data (stat): 12749 (java) R 12748 31399 31398 0 -1 0 18125 3 1 0 2574 39 0 0 25 0 11 0 780093427 859193344 20375 4294967295 134512640 134569956 3221224368 3221214648 1131191874 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209764 20375 13086 16 0 209748 0
vsize: 839056
[startup+40.0028 s]
Raw data (loadavg): 1.05 1.01 1.00 2/64 12763
Raw data (stat): 12749 (java) R 12748 31399 31398 0 -1 0 18125 3 1 0 3541 39 0 0 25 0 11 0 780093427 859193344 20608 4294967295 134512640 134569956 3221224368 3221214648 1131192050 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209764 20608 13086 16 0 209748 0
vsize: 839056
[startup+50.0081 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 12763
Raw data (stat): 12749 (java) S 12748 31399 31398 0 -1 0 18125 3 1 0 4512 39 0 0 25 0 11 0 780093427 859193344 20822 4294967295 134512640 134569956 3221224368 3221213248 1073952481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209764 20822 13086 16 0 209748 0
vsize: 839056
[startup+60.0088 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 12763
Raw data (stat): 12749 (java) R 12748 31399 31398 0 -1 0 18125 3 1 0 5492 39 0 0 25 0 11 0 780093427 859193344 20894 4294967295 134512640 134569956 3221224368 3221214648 1131191479 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209764 20894 13086 16 0 209748 0
vsize: 839056
[startup+70.0089 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 12763
Raw data (stat): 12749 (java) R 12748 31399 31398 0 -1 0 18125 3 1 0 6472 39 0 0 25 0 11 0 780093427 859193344 21000 4294967295 134512640 134569956 3221224368 3221214648 1131192034 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209764 21000 13086 16 0 209748 0
vsize: 839056
[startup+80.0125 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 12763
Raw data (stat): 12749 (java) R 12748 31399 31398 0 -1 0 18125 3 1 0 7456 40 0 0 25 0 11 0 780093427 859193344 21098 4294967295 134512640 134569956 3221224368 3221214792 1131318248 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209764 21098 13086 16 0 209748 0
vsize: 839056
[startup+90.0122 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 12763
Raw data (stat): 12749 (java) R 12748 31399 31398 0 -1 0 18125 3 1 0 8443 40 0 0 25 0 11 0 780093427 859193344 21160 4294967295 134512640 134569956 3221224368 3221214648 1131191479 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209764 21160 13086 16 0 209748 0
vsize: 839056
[startup+100.018 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 12763
Raw data (stat): 12749 (java) R 12748 31399 31398 0 -1 0 18125 3 1 0 9431 40 0 0 25 0 11 0 780093427 859193344 21243 4294967295 134512640 134569956 3221224368 3221214648 1131192026 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209764 21243 13086 16 0 209748 0
vsize: 839056
[startup+110.025 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 12763
Raw data (stat): 12749 (java) R 12748 31399 31398 0 -1 0 18125 3 1 0 10419 40 0 0 25 0 11 0 780093427 859193344 21341 4294967295 134512640 134569956 3221224368 3221214648 1131191611 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209764 21341 13086 16 0 209748 0
vsize: 839056
[startup+120.025 s]
Raw data (loadavg): 1.08 1.02 1.00 2/64 12763
Raw data (stat): 12749 (java) R 12748 31399 31398 0 -1 0 18125 3 1 0 11409 40 0 0 25 0 11 0 780093427 859193344 21431 4294967295 134512640 134569956 3221224368 3221214648 1131192063 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209764 21431 13086 16 0 209748 0
vsize: 839056
[startup+130.025 s]
Raw data (loadavg): 1.07 1.02 1.00 2/64 12763
Raw data (stat): 12749 (java) R 12748 31399 31398 0 -1 0 18125 3 1 0 12400 40 0 0 25 0 11 0 780093427 859193344 21478 4294967295 134512640 134569956 3221224368 3221214648 1131193176 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209764 21478 13086 16 0 209748 0
vsize: 839056
[startup+140.026 s]
Raw data (loadavg): 1.06 1.02 1.00 2/64 12763
Raw data (stat): 12749 (java) R 12748 31399 31398 0 -1 0 18125 3 1 0 13391 40 0 0 25 0 11 0 780093427 859193344 21525 4294967295 134512640 134569956 3221224368 3221214648 1131190035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209764 21525 13086 16 0 209748 0
vsize: 839056
[startup+150.025 s]
Raw data (loadavg): 1.05 1.02 1.00 2/64 12763
Raw data (stat): 12749 (java) R 12748 31399 31398 0 -1 0 18125 3 1 0 14382 40 0 0 25 0 11 0 780093427 859193344 21572 4294967295 134512640 134569956 3221224368 3221214648 1131192055 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209764 21572 13086 16 0 209748 0
vsize: 839056
[startup+160.027 s]
Raw data (loadavg): 1.04 1.02 1.00 2/64 12763
Raw data (stat): 12749 (java) R 12748 31399 31398 0 -1 0 18125 3 1 0 15373 40 0 0 25 0 11 0 780093427 859193344 21623 4294967295 134512640 134569956 3221224368 3221214656 1131185292 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209764 21623 13086 16 0 209748 0
vsize: 839056
[startup+170.027 s]
Raw data (loadavg): 1.04 1.02 1.00 2/64 12763
Raw data (stat): 12749 (java) R 12748 31399 31398 0 -1 0 18125 3 1 0 16365 40 0 0 25 0 11 0 780093427 859193344 21667 4294967295 134512640 134569956 3221224368 3221214648 1131191479 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209764 21667 13086 16 0 209748 0
vsize: 839056
[startup+180.027 s]
Raw data (loadavg): 1.03 1.02 1.00 2/64 12763
Raw data (stat): 12749 (java) R 12748 31399 31398 0 -1 0 18125 3 1 0 17357 41 0 0 25 0 11 0 780093427 859193344 21715 4294967295 134512640 134569956 3221224368 3221214648 1131192050 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209764 21715 13086 16 0 209748 0
vsize: 839056
[startup+190.027 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 12763
Raw data (stat): 12749 (java) R 12748 31399 31398 0 -1 0 18125 3 1 0 18349 41 0 0 25 0 11 0 780093427 859193344 21762 4294967295 134512640 134569956 3221224368 3221214656 1131185854 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209764 21762 13086 16 0 209748 0
vsize: 839056
[startup+200.027 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 12763
Raw data (stat): 12749 (java) R 12748 31399 31398 0 -1 0 18125 3 1 0 19342 41 0 0 25 0 11 0 780093427 859193344 21809 4294967295 134512640 134569956 3221224368 3221214648 1131191507 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209764 21809 13086 16 0 209748 0
vsize: 839056
[startup+210.028 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 12763
Raw data (stat): 12749 (java) R 12748 31399 31398 0 -1 0 18125 3 1 0 20335 41 0 0 25 0 11 0 780093427 859193344 21813 4294967295 134512640 134569956 3221224368 3221214648 1131192005 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209764 21813 13086 16 0 209748 0
vsize: 839056
[startup+220.028 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 12763
Raw data (stat): 12749 (java) R 12748 31399 31398 0 -1 0 18125 3 1 0 21327 41 0 0 25 0 11 0 780093427 859193344 21862 4294967295 134512640 134569956 3221224368 3221214648 1131191963 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209764 21862 13086 16 0 209748 0
vsize: 839056
[startup+230.028 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 12763
Raw data (stat): 12749 (java) R 12748 31399 31398 0 -1 0 18125 3 1 0 22320 41 0 0 25 0 11 0 780093427 859193344 21906 4294967295 134512640 134569956 3221224368 3221214648 1131191874 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209764 21906 13086 16 0 209748 0
vsize: 839056
[startup+240.029 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 12763
Raw data (stat): 12749 (java) R 12748 31399 31398 0 -1 0 18125 3 1 0 23312 41 0 0 25 0 11 0 780093427 859193344 21910 4294967295 134512640 134569956 3221224368 3221214648 1131192007 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209764 21910 13086 16 0 209748 0
vsize: 839056
[startup+250.029 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 12763
Raw data (stat): 12749 (java) R 12748 31399 31398 0 -1 0 18125 3 1 0 24306 41 0 0 25 0 11 0 780093427 859193344 21958 4294967295 134512640 134569956 3221224368 3221214768 1131459820 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209764 21958 13086 16 0 209748 0
vsize: 839056
[startup+260.029 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 12763
Raw data (stat): 12749 (java) R 12748 31399 31398 0 -1 0 18125 3 1 0 25299 41 0 0 25 0 11 0 780093427 859193344 22001 4294967295 134512640 134569956 3221224368 3221214648 1131191943 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209764 22001 13086 16 0 209748 0
vsize: 839056
[startup+270.033 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 12763
Raw data (stat): 12749 (java) R 12748 31399 31398 0 -1 0 18125 3 1 0 26293 41 0 0 25 0 11 0 780093427 859193344 22007 4294967295 134512640 134569956 3221224368 3221214744 1131187676 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209764 22007 13086 16 0 209748 0
vsize: 839056
[startup+280.033 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 12763
Raw data (stat): 12749 (java) R 12748 31399 31398 0 -1 0 18125 3 1 0 27286 41 0 0 25 0 11 0 780093427 859193344 22051 4294967295 134512640 134569956 3221224368 3221214648 1131191953 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209764 22051 13086 16 0 209748 0
vsize: 839056
[startup+290.033 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 12763
Raw data (stat): 12749 (java) R 12748 31399 31398 0 -1 0 18125 3 1 0 28279 41 0 0 25 0 11 0 780093427 859193344 22099 4294967295 134512640 134569956 3221224368 3221214648 1131192007 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209764 22099 13086 16 0 209748 0
vsize: 839056
[startup+300.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12763
Raw data (stat): 12749 (java) R 12748 31399 31398 0 -1 0 18125 3 1 0 29273 42 0 0 25 0 11 0 780093427 859193344 22105 4294967295 134512640 134569956 3221224368 3221214648 1131192113 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209764 22105 13086 16 0 209748 0
vsize: 839056
[startup+310.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12763
Raw data (stat): 12749 (java) R 12748 31399 31398 0 -1 0 18125 3 1 0 30265 42 0 0 25 0 11 0 780093427 859193344 22148 4294967295 134512640 134569956 3221224368 3221214648 1131191978 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209764 22148 13086 16 0 209748 0
vsize: 839056
[startup+320.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12763
Raw data (stat): 12749 (java) R 12748 31399 31398 0 -1 0 18125 3 1 0 31259 42 0 0 25 0 11 0 780093427 859193344 22153 4294967295 134512640 134569956 3221224368 3221214648 1131191992 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209764 22153 13086 16 0 209748 0
vsize: 839056
[startup+330.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12763
Raw data (stat): 12749 (java) R 12748 31399 31398 0 -1 0 18125 3 1 0 32252 42 0 0 25 0 11 0 780093427 859193344 22196 4294967295 134512640 134569956 3221224368 3221214648 1131192141 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209764 22196 13086 16 0 209748 0
vsize: 839056
[startup+340.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12763
Raw data (stat): 12749 (java) R 12748 31399 31398 0 -1 0 18125 3 1 0 33246 42 0 0 25 0 11 0 780093427 859193344 22203 4294967295 134512640 134569956 3221224368 3221214740 1131189984 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209764 22203 13086 16 0 209748 0
vsize: 839056
[startup+350.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12763
Raw data (stat): 12749 (java) R 12748 31399 31398 0 -1 0 18125 3 1 0 34239 42 0 0 25 0 11 0 780093427 859193344 22249 4294967295 134512640 134569956 3221224368 3221214648 1131191481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209764 22249 13086 16 0 209748 0
vsize: 839056
[startup+360.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12763
Raw data (stat): 12749 (java) R 12748 31399 31398 0 -1 0 18125 3 1 0 35233 42 0 0 25 0 11 0 780093427 859193344 22253 4294967295 134512640 134569956 3221224368 3221214648 1131192042 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209764 22253 13086 16 0 209748 0
vsize: 839056
[startup+370.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12763
Raw data (stat): 12749 (java) R 12748 31399 31398 0 -1 0 18125 3 1 0 36227 42 0 0 25 0 11 0 780093427 859193344 22297 4294967295 134512640 134569956 3221224368 3221214648 1131191937 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209764 22297 13086 16 0 209748 0
vsize: 839056
[startup+380.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12763
Raw data (stat): 12749 (java) R 12748 31399 31398 0 -1 0 18125 3 1 0 37221 42 0 0 25 0 11 0 780093427 859193344 22303 4294967295 134512640 134569956 3221224368 3221214648 1131192089 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209764 22303 13086 16 0 209748 0
vsize: 839056
[startup+390.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12816
Raw data (stat): 12749 (java) R 12748 31399 31398 0 -1 0 18125 3 1 0 38204 49 0 0 25 0 11 0 780093427 859193344 22348 4294967295 134512640 134569956 3221224368 3221214648 1131192055 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209764 22348 13086 16 0 209748 0
vsize: 839056
[startup+400.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12816
Raw data (stat): 12749 (java) R 12748 31399 31398 0 -1 0 18125 3 1 0 39198 49 0 0 25 0 11 0 780093427 859193344 22351 4294967295 134512640 134569956 3221224368 3221214648 1131192019 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209764 22351 13086 16 0 209748 0
vsize: 839056
[startup+410.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12816
Raw data (stat): 12749 (java) R 12748 31399 31398 0 -1 0 18125 3 1 0 40191 49 0 0 25 0 11 0 780093427 859193344 22397 4294967295 134512640 134569956 3221224368 3221214648 1131192109 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209764 22397 13086 16 0 209748 0
vsize: 839056
[startup+420.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12816
Raw data (stat): 12749 (java) R 12748 31399 31398 0 -1 0 18125 3 1 0 41185 50 0 0 25 0 11 0 780093427 859193344 22402 4294967295 134512640 134569956 3221224368 3221214648 1131191863 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209764 22402 13086 16 0 209748 0
vsize: 839056
[startup+430.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12816
Raw data (stat): 12749 (java) R 12748 31399 31398 0 -1 0 18125 3 1 0 42178 50 0 0 25 0 11 0 780093427 859193344 22446 4294967295 134512640 134569956 3221224368 3221214648 1131191929 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209764 22446 13086 16 0 209748 0
vsize: 839056
[startup+440.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12816
Raw data (stat): 12749 (java) R 12748 31399 31398 0 -1 0 18125 3 1 0 43172 50 0 0 25 0 11 0 780093427 859193344 22450 4294967295 134512640 134569956 3221224368 3221214648 1131191917 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209764 22450 13086 16 0 209748 0
vsize: 839056
[startup+450.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12816
Raw data (stat): 12749 (java) R 12748 31399 31398 0 -1 0 18125 3 1 0 44165 50 0 0 25 0 11 0 780093427 859193344 22496 4294967295 134512640 134569956 3221224368 3221214648 1131191863 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209764 22496 13086 16 0 209748 0
vsize: 839056
[startup+460.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12818
Raw data (stat): 12749 (java) R 12748 31399 31398 0 -1 0 18125 3 1 0 45159 51 0 0 25 0 11 0 780093427 859193344 22500 4294967295 134512640 134569956 3221224368 3221214648 1131191925 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209764 22500 13086 16 0 209748 0
vsize: 839056
[startup+470.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12818
Raw data (stat): 12749 (java) R 12748 31399 31398 0 -1 0 18125 3 1 0 46152 51 0 0 25 0 11 0 780093427 859193344 22543 4294967295 134512640 134569956 3221224368 3221214648 1131192081 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209764 22543 13086 16 0 209748 0
vsize: 839056
[startup+480.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12818
Raw data (stat): 12749 (java) R 12748 31399 31398 0 -1 0 18125 3 1 0 47146 51 0 0 25 0 11 0 780093427 859193344 22544 4294967295 134512640 134569956 3221224368 3221214648 1131192141 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209764 22544 13086 16 0 209748 0
vsize: 839056
[startup+490.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12818
Raw data (stat): 12749 (java) R 12748 31399 31398 0 -1 0 18125 3 1 0 48140 52 0 0 25 0 11 0 780093427 859193344 22547 4294967295 134512640 134569956 3221224368 3221214648 1131192073 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209764 22547 13086 16 0 209748 0
vsize: 839056
[startup+500.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12818
Raw data (stat): 12749 (java) R 12748 31399 31398 0 -1 0 18125 3 1 0 49134 52 0 0 25 0 11 0 780093427 859193344 22591 4294967295 134512640 134569956 3221224368 3221214648 1131191805 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209764 22591 13086 16 0 209748 0
vsize: 839056
[startup+510.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12818
Raw data (stat): 12749 (java) R 12748 31399 31398 0 -1 0 18125 3 1 0 50128 52 0 0 25 0 11 0 780093427 859193344 22595 4294967295 134512640 134569956 3221224368 3221214648 1131191479 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209764 22595 13086 16 0 209748 0
vsize: 839056
[startup+520.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12818
Raw data (stat): 12749 (java) R 12748 31399 31398 0 -1 0 18125 3 1 0 51122 52 0 0 25 0 11 0 780093427 859193344 22639 4294967295 134512640 134569956 3221224368 3221214648 1131191903 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209764 22639 13086 16 0 209748 0
vsize: 839056
[startup+530.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12818
Raw data (stat): 12749 (java) R 12748 31399 31398 0 -1 0 18125 3 1 0 52116 53 0 0 25 0 11 0 780093427 859193344 22642 4294967295 134512640 134569956 3221224368 3221214648 1131191658 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209764 22642 13086 16 0 209748 0
vsize: 839056
[startup+540.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12818
Raw data (stat): 12749 (java) R 12748 31399 31398 0 -1 0 18125 3 1 0 53109 53 0 0 25 0 11 0 780093427 859193344 22642 4294967295 134512640 134569956 3221224368 3221214648 1131192073 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209764 22642 13086 16 0 209748 0
vsize: 839056
[startup+550.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12818
Raw data (stat): 12749 (java) R 12748 31399 31398 0 -1 0 18125 3 1 0 54104 54 0 0 25 0 11 0 780093427 859193344 22685 4294967295 134512640 134569956 3221224368 3221214648 1131191893 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209764 22685 13086 16 0 209748 0
vsize: 839056
[startup+560.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12818
Raw data (stat): 12749 (java) R 12748 31399 31398 0 -1 0 18125 3 1 0 55098 54 0 0 25 0 11 0 780093427 859193344 22689 4294967295 134512640 134569956 3221224368 3221214648 1131192040 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209764 22689 13086 16 0 209748 0
vsize: 839056
[startup+570.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12818
Raw data (stat): 12749 (java) R 12748 31399 31398 0 -1 0 18125 3 1 0 56092 54 0 0 25 0 11 0 780093427 859193344 22734 4294967295 134512640 134569956 3221224368 3221214648 1131192055 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209764 22734 13086 16 0 209748 0
vsize: 839056
[startup+580.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12818
Raw data (stat): 12749 (java) R 12748 31399 31398 0 -1 0 18125 3 1 0 57086 55 0 0 25 0 11 0 780093427 859193344 22734 4294967295 134512640 134569956 3221224368 3221214648 1131191992 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209764 22734 13086 16 0 209748 0
vsize: 839056
[startup+590.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12818
Raw data (stat): 12749 (java) R 12748 31399 31398 0 -1 0 18125 3 1 0 58079 55 0 0 25 0 11 0 780093427 859193344 22738 4294967295 134512640 134569956 3221224368 3221214648 1131191479 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209764 22738 13086 16 0 209748 0
vsize: 839056
[startup+600.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12818
Raw data (stat): 12749 (java) R 12748 31399 31398 0 -1 0 18125 3 1 0 59073 56 0 0 25 0 11 0 780093427 859193344 22780 4294967295 134512640 134569956 3221224368 3221214648 1131191652 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209764 22780 13086 16 0 209748 0
vsize: 839056
[startup+610.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12818
Raw data (stat): 12749 (java) R 12748 31399 31398 0 -1 0 18125 3 1 0 60067 56 0 0 25 0 11 0 780093427 859193344 22784 4294967295 134512640 134569956 3221224368 3221214736 1131166844 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209764 22784 13086 16 0 209748 0
vsize: 839056
[startup+620.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12818
Raw data (stat): 12749 (java) R 12748 31399 31398 0 -1 0 18125 3 1 0 61061 57 0 0 25 0 11 0 780093427 859193344 22784 4294967295 134512640 134569956 3221224368 3221214648 1131191841 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209764 22784 13086 16 0 209748 0
vsize: 839056
[startup+630.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12818
Raw data (stat): 12749 (java) R 12748 31399 31398 0 -1 0 18125 3 1 0 62055 57 0 0 25 0 11 0 780093427 859193344 22829 4294967295 134512640 134569956 3221224368 3221214648 1131191992 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209764 22829 13086 16 0 209748 0
vsize: 839056
[startup+640.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12818
Raw data (stat): 12749 (java) R 12748 31399 31398 0 -1 0 18125 3 1 0 63049 57 0 0 25 0 11 0 780093427 859193344 22833 4294967295 134512640 134569956 3221224368 3221214648 1131191988 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209764 22833 13086 16 0 209748 0
vsize: 839056
[startup+650.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12818
Raw data (stat): 12749 (java) R 12748 31399 31398 0 -1 0 18125 3 1 0 64042 58 0 0 25 0 11 0 780093427 859193344 22876 4294967295 134512640 134569956 3221224368 3221214648 1131191988 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209764 22876 13086 16 0 209748 0
vsize: 839056
[startup+660.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12818
Raw data (stat): 12749 (java) R 12748 31399 31398 0 -1 0 18125 3 1 0 65036 58 0 0 25 0 11 0 780093427 859193344 22876 4294967295 134512640 134569956 3221224368 3221214648 1131191479 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209764 22876 13086 16 0 209748 0
vsize: 839056
[startup+670.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12818
Raw data (stat): 12749 (java) R 12748 31399 31398 0 -1 0 18125 3 1 0 66029 58 0 0 25 0 11 0 780093427 859193344 22880 4294967295 134512640 134569956 3221224368 3221214648 1131191992 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209764 22880 13086 16 0 209748 0
vsize: 839056
[startup+680.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12818
Raw data (stat): 12749 (java) R 12748 31399 31398 0 -1 0 18125 3 1 0 67022 59 0 0 25 0 11 0 780093427 859193344 22923 4294967295 134512640 134569956 3221224368 3221214648 1131191992 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209764 22923 13086 16 0 209748 0
vsize: 839056
[startup+690.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12818
Raw data (stat): 12749 (java) R 12748 31399 31398 0 -1 0 18125 3 1 0 68017 59 0 0 25 0 11 0 780093427 859193344 22923 4294967295 134512640 134569956 3221224368 3221214648 1131191929 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209764 22923 13086 16 0 209748 0
vsize: 839056
[startup+700.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12820
Raw data (stat): 12749 (java) R 12748 31399 31398 0 -1 0 18125 3 1 0 69010 60 0 0 25 0 11 0 780093427 859193344 22929 4294967295 134512640 134569956 3221224368 3221214744 1131187676 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209764 22929 13086 16 0 209748 0
vsize: 839056
[startup+710.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12820
Raw data (stat): 12749 (java) R 12748 31399 31398 0 -1 0 18125 3 1 0 70004 60 0 0 25 0 11 0 780093427 859193344 22971 4294967295 134512640 134569956 3221224368 3221214648 1131191481 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209764 22971 13086 16 0 209748 0
vsize: 839056
[startup+720.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12820
Raw data (stat): 12749 (java) R 12748 31399 31398 0 -1 0 18125 3 1 0 70998 60 0 0 25 0 11 0 780093427 859193344 22971 4294967295 134512640 134569956 3221224368 3221214648 1131192063 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209764 22971 13086 16 0 209748 0
vsize: 839056
[startup+730.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12820
Raw data (stat): 12749 (java) R 12748 31399 31398 0 -1 0 18125 3 1 0 71992 60 0 0 25 0 11 0 780093427 859193344 22975 4294967295 134512640 134569956 3221224368 3221214648 1131192109 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209764 22975 13086 16 0 209748 0
vsize: 839056
[startup+740.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12820
Raw data (stat): 12749 (java) R 12748 31399 31398 0 -1 0 18125 3 1 0 72986 61 0 0 25 0 11 0 780093427 859193344 23018 4294967295 134512640 134569956 3221224368 3221214648 1131191929 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209764 23018 13086 16 0 209748 0
vsize: 839056
[startup+750.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12820
Raw data (stat): 12749 (java) R 12748 31399 31398 0 -1 0 18125 3 1 0 73981 62 0 0 25 0 11 0 780093427 859193344 23018 4294967295 134512640 134569956 3221224368 3221214648 1131192019 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209764 23018 13086 16 0 209748 0
vsize: 839056
[startup+760.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12820
Raw data (stat): 12749 (java) R 12748 31399 31398 0 -1 0 18125 3 1 0 74975 62 0 0 25 0 11 0 780093427 859193344 23021 4294967295 134512640 134569956 3221224368 3221214648 1131191841 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209764 23021 13086 16 0 209748 0
vsize: 839056
[startup+770.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12820
Raw data (stat): 12749 (java) R 12748 31399 31398 0 -1 0 18125 3 1 0 75969 63 0 0 25 0 11 0 780093427 859193344 23064 4294967295 134512640 134569956 3221224368 3221214648 1131192015 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209764 23064 13086 16 0 209748 0
vsize: 839056
[startup+780.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12820
Raw data (stat): 12749 (java) R 12748 31399 31398 0 -1 0 18125 3 1 0 76963 63 0 0 25 0 11 0 780093427 859193344 23064 4294967295 134512640 134569956 3221224368 3221214648 1131191479 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209764 23064 13086 16 0 209748 0
vsize: 839056
[startup+790.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12820
Raw data (stat): 12749 (java) R 12748 31399 31398 0 -1 0 18125 3 1 0 77957 63 0 0 25 0 11 0 780093427 859193344 23068 4294967295 134512640 134569956 3221224368 3221214736 1131153870 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209764 23068 13086 16 0 209748 0
vsize: 839056
[startup+800.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12820
Raw data (stat): 12749 (java) R 12748 31399 31398 0 -1 0 18125 3 1 0 78951 64 0 0 25 0 11 0 780093427 859193344 23110 4294967295 134512640 134569956 3221224368 3221214648 1131192147 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209764 23110 13086 16 0 209748 0
vsize: 839056
[startup+810.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12820
Raw data (stat): 12749 (java) R 12748 31399 31398 0 -1 0 18125 3 1 0 79945 64 0 0 25 0 11 0 780093427 859193344 23110 4294967295 134512640 134569956 3221224368 3221214648 1131191917 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209764 23110 13086 16 0 209748 0
vsize: 839056
[startup+820.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12820
Raw data (stat): 12749 (java) R 12748 31399 31398 0 -1 0 18125 3 1 0 80939 65 0 0 25 0 11 0 780093427 859193344 23113 4294967295 134512640 134569956 3221224368 3221214648 1131191863 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209764 23113 13086 16 0 209748 0
vsize: 839056
[startup+830.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12820
Raw data (stat): 12749 (java) R 12748 31399 31398 0 -1 0 18125 3 1 0 81933 66 0 0 25 0 11 0 780093427 859193344 23156 4294967295 134512640 134569956 3221224368 3221214648 1131191824 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209764 23156 13086 16 0 209748 0
vsize: 839056
[startup+840.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12820
Raw data (stat): 12749 (java) R 12748 31399 31398 0 -1 0 18125 3 1 0 82928 66 0 0 25 0 11 0 780093427 859193344 23156 4294967295 134512640 134569956 3221224368 3221214648 1131191479 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209764 23156 13086 16 0 209748 0
vsize: 839056
[startup+850.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12820
Raw data (stat): 12749 (java) R 12748 31399 31398 0 -1 0 18125 3 1 0 83923 66 0 0 25 0 11 0 780093427 859193344 23160 4294967295 134512640 134569956 3221224368 3221214648 1131192015 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209764 23160 13086 16 0 209748 0
vsize: 839056
[startup+860.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12820
Raw data (stat): 12749 (java) R 12748 31399 31398 0 -1 0 18125 3 1 0 84916 67 0 0 25 0 11 0 780093427 859193344 23160 4294967295 134512640 134569956 3221224368 3221214648 1131191479 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209764 23160 13086 16 0 209748 0
vsize: 839056
[startup+870.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12820
Raw data (stat): 12749 (java) R 12748 31399 31398 0 -1 0 18125 3 1 0 85911 67 0 0 25 0 11 0 780093427 859193344 23202 4294967295 134512640 134569956 3221224368 3221214648 1131191863 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209764 23202 13086 16 0 209748 0
vsize: 839056
[startup+880.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12820
Raw data (stat): 12749 (java) R 12748 31399 31398 0 -1 0 18125 3 1 0 86906 67 0 0 25 0 11 0 780093427 859193344 23206 4294967295 134512640 134569956 3221224368 3221214648 1131191479 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209764 23206 13086 16 0 209748 0
vsize: 839056
[startup+890.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12820
Raw data (stat): 12749 (java) R 12748 31399 31398 0 -1 0 18125 3 1 0 87900 68 0 0 25 0 11 0 780093427 859193344 23206 4294967295 134512640 134569956 3221224368 3221214648 1131191447 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209764 23206 13086 16 0 209748 0
vsize: 839056
[startup+900.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12820
Raw data (stat): 12749 (java) R 12748 31399 31398 0 -1 0 18125 3 1 0 88894 68 0 0 25 0 11 0 780093427 859193344 23249 4294967295 134512640 134569956 3221224368 3221214648 1131191870 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209764 23249 13086 16 0 209748 0
vsize: 839056
[startup+910.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12820
Raw data (stat): 12749 (java) R 12748 31399 31398 0 -1 0 18125 3 1 0 89889 69 0 0 25 0 11 0 780093427 859193344 23249 4294967295 134512640 134569956 3221224368 3221214792 1131318860 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209764 23249 13086 16 0 209748 0
vsize: 839056
[startup+920.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12820
Raw data (stat): 12749 (java) R 12748 31399 31398 0 -1 0 18125 3 1 0 90883 69 0 0 25 0 11 0 780093427 859193344 23253 4294967295 134512640 134569956 3221224368 3221214792 1131318325 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209764 23253 13086 16 0 209748 0
vsize: 839056
[startup+930.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12820
Raw data (stat): 12749 (java) R 12748 31399 31398 0 -1 0 18125 3 1 0 91876 70 0 0 25 0 11 0 780093427 859193344 23296 4294967295 134512640 134569956 3221224368 3221214648 1131192154 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209764 23296 13086 16 0 209748 0
vsize: 839056
[startup+940.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12820
Raw data (stat): 12749 (java) R 12748 31399 31398 0 -1 0 18125 3 1 0 92871 71 0 0 25 0 11 0 780093427 859193344 23296 4294967295 134512640 134569956 3221224368 3221214648 1131191885 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209764 23296 13086 16 0 209748 0
vsize: 839056
[startup+950.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12820
Raw data (stat): 12749 (java) R 12748 31399 31398 0 -1 0 18125 3 1 0 93866 71 0 0 25 0 11 0 780093427 859193344 23299 4294967295 134512640 134569956 3221224368 3221214648 1131191889 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209764 23299 13086 16 0 209748 0
vsize: 839056
[startup+960.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12820
Raw data (stat): 12749 (java) R 12748 31399 31398 0 -1 0 18125 3 1 0 94860 71 0 0 25 0 11 0 780093427 859193344 23299 4294967295 134512640 134569956 3221224368 3221214648 1131192030 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209764 23299 13086 16 0 209748 0
vsize: 839056
[startup+970.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12820
Raw data (stat): 12749 (java) R 12748 31399 31398 0 -1 0 18125 3 1 0 95855 71 0 0 25 0 11 0 780093427 859193344 23341 4294967295 134512640 134569956 3221224368 3221214744 1131187576 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209764 23341 13086 16 0 209748 0
vsize: 839056
[startup+980.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12820
Raw data (stat): 12749 (java) R 12748 31399 31398 0 -1 0 18125 3 1 0 96849 71 0 0 25 0 11 0 780093427 859193344 23341 4294967295 134512640 134569956 3221224368 3221214648 1131192145 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209764 23341 13086 16 0 209748 0
vsize: 839056
[startup+990.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12820
Raw data (stat): 12749 (java) R 12748 31399 31398 0 -1 0 18125 3 1 0 97843 71 0 0 25 0 11 0 780093427 859193344 23345 4294967295 134512640 134569956 3221224368 3221214648 1131191988 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209764 23345 13086 16 0 209748 0
vsize: 839056
[startup+1000.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12820
Raw data (stat): 12749 (java) R 12748 31399 31398 0 -1 0 18125 3 1 0 98836 72 0 0 25 0 11 0 780093427 859193344 23388 4294967295 134512640 134569956 3221224368 3221214648 1131191943 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209764 23388 13086 16 0 209748 0
vsize: 839056
[startup+1010.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12820
Raw data (stat): 12749 (java) R 12748 31399 31398 0 -1 0 18125 3 1 0 99831 72 0 0 25 0 11 0 780093427 859193344 23388 4294967295 134512640 134569956 3221224368 3221214648 1131191658 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209764 23388 13086 16 0 209748 0
vsize: 839056
[startup+1020.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12820
Raw data (stat): 12749 (java) R 12748 31399 31398 0 -1 0 18125 3 1 0 100826 72 0 0 25 0 11 0 780093427 859193344 23391 4294967295 134512640 134569956 3221224368 3221214648 1131191479 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209764 23391 13086 16 0 209748 0
vsize: 839056
[startup+1030.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12820
Raw data (stat): 12749 (java) R 12748 31399 31398 0 -1 0 18125 3 1 0 101820 73 0 0 25 0 11 0 780093427 859193344 23391 4294967295 134512640 134569956 3221224368 3221214648 1131191937 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209764 23391 13086 16 0 209748 0
vsize: 839056
[startup+1040.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12820
Raw data (stat): 12749 (java) R 12748 31399 31398 0 -1 0 18125 3 1 0 102815 73 0 0 25 0 11 0 780093427 859193344 23434 4294967295 134512640 134569956 3221224368 3221214648 1131191909 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209764 23434 13086 16 0 209748 0
vsize: 839056
[startup+1050.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12820
Raw data (stat): 12749 (java) R 12748 31399 31398 0 -1 0 18125 3 1 0 103809 73 0 0 25 0 11 0 780093427 859193344 23434 4294967295 134512640 134569956 3221224368 3221214648 1131192133 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209764 23434 13086 16 0 209748 0
vsize: 839056
[startup+1060.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12820
Raw data (stat): 12749 (java) R 12748 31399 31398 0 -1 0 18125 3 1 0 104804 74 0 0 25 0 11 0 780093427 859193344 23438 4294967295 134512640 134569956 3221224368 3221214648 1131192005 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209764 23438 13086 16 0 209748 0
vsize: 839056
[startup+1070.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12820
Raw data (stat): 12749 (java) R 12748 31399 31398 0 -1 0 18125 3 1 0 105797 74 0 0 25 0 11 0 780093427 859193344 23480 4294967295 134512640 134569956 3221224368 3221214648 1131191847 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209764 23480 13086 16 0 209748 0
vsize: 839056
[startup+1080.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12820
Raw data (stat): 12749 (java) R 12748 31399 31398 0 -1 0 18125 3 1 0 106792 75 0 0 25 0 11 0 780093427 859193344 23480 4294967295 134512640 134569956 3221224368 3221214648 1131192123 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209764 23480 13086 16 0 209748 0
vsize: 839056
[startup+1090.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12820
Raw data (stat): 12749 (java) R 12748 31399 31398 0 -1 0 18125 3 1 0 107786 75 0 0 25 0 11 0 780093427 859193344 23483 4294967295 134512640 134569956 3221224368 3221214648 1131191481 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209764 23483 13086 16 0 209748 0
vsize: 839056
[startup+1100.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12820
Raw data (stat): 12749 (java) R 12748 31399 31398 0 -1 0 18125 3 1 0 108781 75 0 0 25 0 11 0 780093427 859193344 23483 4294967295 134512640 134569956 3221224368 3221214648 1131192109 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209764 23483 13086 16 0 209748 0
vsize: 839056
[startup+1110.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12820
Raw data (stat): 12749 (java) R 12748 31399 31398 0 -1 0 18125 3 1 0 109775 75 0 0 25 0 11 0 780093427 859193344 23526 4294967295 134512640 134569956 3221224368 3221214648 1131191859 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209764 23526 13086 16 0 209748 0
vsize: 839056
[startup+1120.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12820
Raw data (stat): 12749 (java) R 12748 31399 31398 0 -1 0 18125 3 1 0 110769 75 0 0 25 0 11 0 780093427 859193344 23526 4294967295 134512640 134569956 3221224368 3221214648 1131191939 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209764 23526 13086 16 0 209748 0
vsize: 839056
[startup+1130.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12820
Raw data (stat): 12749 (java) R 12748 31399 31398 0 -1 0 18125 3 1 0 111764 75 0 0 25 0 11 0 780093427 859193344 23533 4294967295 134512640 134569956 3221224368 3221214648 1131191963 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209764 23533 13086 16 0 209748 0
vsize: 839056
[startup+1140.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12820
Raw data (stat): 12749 (java) R 12748 31399 31398 0 -1 0 18125 3 1 0 112757 76 0 0 25 0 11 0 780093427 859193344 23533 4294967295 134512640 134569956 3221224368 3221214648 1131191481 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209764 23533 13086 16 0 209748 0
vsize: 839056
[startup+1150.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12820
Raw data (stat): 12749 (java) R 12748 31399 31398 0 -1 0 18125 3 1 0 113751 76 0 0 25 0 11 0 780093427 859193344 23577 4294967295 134512640 134569956 3221224368 3221214648 1131191893 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209764 23577 13086 16 0 209748 0
vsize: 839056
[startup+1160.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12820
Raw data (stat): 12749 (java) R 12748 31399 31398 0 -1 0 18125 3 1 0 114745 77 0 0 25 0 11 0 780093427 859193344 23577 4294967295 134512640 134569956 3221224368 3221214648 1131191953 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209764 23577 13086 16 0 209748 0
vsize: 839056
[startup+1170.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12820
Raw data (stat): 12749 (java) R 12748 31399 31398 0 -1 0 18125 3 1 0 115740 77 0 0 25 0 11 0 780093427 859193344 23580 4294967295 134512640 134569956 3221224368 3221214648 1131192063 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209764 23580 13086 16 0 209748 0
vsize: 839056
[startup+1180.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12820
Raw data (stat): 12749 (java) R 12748 31399 31398 0 -1 0 18125 3 1 0 116734 77 0 0 25 0 11 0 780093427 859193344 23580 4294967295 134512640 134569956 3221224368 3221214648 1131192026 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209764 23580 13086 16 0 209748 0
vsize: 839056
[startup+1190.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12820
Raw data (stat): 12749 (java) R 12748 31399 31398 0 -1 0 18125 3 1 0 117728 78 0 0 25 0 11 0 780093427 859193344 23624 4294967295 134512640 134569956 3221224368 3221214648 1131191903 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209764 23624 13086 16 0 209748 0
vsize: 839056
[startup+1200.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12820
Raw data (stat): 12749 (java) R 12748 31399 31398 0 -1 0 18125 3 1 0 118722 79 0 0 25 0 11 0 780093427 859193344 23624 4294967295 134512640 134569956 3221224368 3221214648 1131191841 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209764 23624 13086 16 0 209748 0
vsize: 839056
[startup+1210.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12820
Raw data (stat): 12749 (java) R 12748 31399 31398 0 -1 0 18125 3 1 0 119716 79 0 0 25 0 11 0 780093427 859193344 23630 4294967295 134512640 134569956 3221224368 3221214648 1131191893 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209764 23630 13086 16 0 209748 0
vsize: 839056
[startup+1220.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12820
Raw data (stat): 12749 (java) R 12748 31399 31398 0 -1 0 18125 3 1 0 120711 80 0 0 25 0 11 0 780093427 859193344 23630 4294967295 134512640 134569956 3221224368 3221214648 1131191479 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209764 23630 13086 16 0 209748 0
vsize: 839056
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1220.17 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 12822
Raw data (stat): 12749 (java) Z 12748 31399 31398 0 -1 1036 18125 10376 1 0 120714 84 2076 33 25 0 1 0 780093427 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): 1229.1
CPU user time (s): 1227.91
CPU system time (s): 1.18082
CPU usage (%): 100.732
Max. virtual memory (Kb): 841072
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	1833920
#### END VERIFIER DATA ####