PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-lseu.opb
MD5SUM	99657262afbbfce7034a3ec6b29d9b3b
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	1120
Optimality of the best value was proved	NO
Number of terms in the objective function	85
Biggest coefficient in the objective function	517
Number of bits for the biggest coefficient in the objective function	10
Sum of the numbers in the objective function	15494
Number of bits of the sum of numbers in the objective function	14
Biggest number in a constraint	1656
Number of bits of the biggest number in a constraint	11
Biggest sum of numbers in a constraint	15494
Number of bits of the biggest sum of numbers	14
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.02984
Number of variables	89
Total number of constraints	117
Number of constraints which are clauses	2
Number of constraints which are cardinality constraints (but not clauses)	104
Number of constraints which are nor clauses,nor cardinality constraints	11
Minimum length of a constraint	1
Maximum length of a constraint	47
Trace number 29648

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.037
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:        494864 kB
Buffers:         32592 kB
Cached:         480392 kB
SwapCached:        416 kB
Active:          44508 kB
Inactive:       470748 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        494612 kB
SwapTotal:     2097892 kB
SwapFree:      2096804 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5676 kB
Slab:            18696 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 10:16:33 (client local time) WITH STATUS 143 IN 1248.68 SECONDS
stats: 21051 0 1248.68 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/wulflinc19/normalized-mps-v2-20-10-lseu.opb
c reading problem ... done. Time 0.316 ms.
c #vars     89
c #constraints  28
c SATISFIABLE
c OPTIMIZING...
c CURRENT OPTIMUM=                3730 		Current CPU time: 0.98 ms
c CURRENT OPTIMUM=                3597 		Current CPU time: 1.27 ms
c CURRENT OPTIMUM=                3558 		Current CPU time: 3.07 ms
c CURRENT OPTIMUM=                3010 		Current CPU time: 3.20 ms
c CURRENT OPTIMUM=                2752 		Current CPU time: 3.24 ms
c CURRENT OPTIMUM=                2338 		Current CPU time: 3.48 ms
c CURRENT OPTIMUM=                2333 		Current CPU time: 8.29 ms
c CURRENT OPTIMUM=                2285 		Current CPU time: 8.38 ms
c CURRENT OPTIMUM=                2222 		Current CPU time: 10.44 ms
c CURRENT OPTIMUM=                1951 		Current CPU time: 14.82 ms
c CURRENT OPTIMUM=                1941 		Current CPU time: 49.28 ms
c CURRENT OPTIMUM=                1922 		Current CPU time: 77.70 ms
c CURRENT OPTIMUM=                1878 		Current CPU time: 92.57 ms
c CURRENT OPTIMUM=                1839 		Current CPU time: 145.04 ms
c CURRENT OPTIMUM=                1780 		Current CPU time: 166.21 ms
c CURRENT OPTIMUM=                1659 		Current CPU time: 188.30 ms
c CURRENT OPTIMUM=                1611 		Current CPU time: 249.69 ms
c CURRENT OPTIMUM=                1540 		Current CPU time: 283.06 ms
c CURRENT OPTIMUM=                1525 		Current CPU time: 309.32 ms
c CURRENT OPTIMUM=                1461 		Current CPU time: 336.93 ms
c CURRENT OPTIMUM=                1451 		Current CPU time: 1028.60 ms
c CURRENT OPTIMUM=                1448 		Current CPU time: 1195.88 ms
c starts	: 48
c conflicts	: 5224
c decisions	: 15919
c propagations	: 70352
c inspects	: 5141471
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 5224
c root simplifications	: 48
s SATISFIABLE
v C101_bit0 C102_bit0 -C103_bit0 -C104_bit0 -C105_bit0 C108_bit0 C111_bit0 -C112_bit0 -C113_bit0 -C114_bit0 -C115_bit0 -C116_bit0 -C117_bit0 -C118_bit0 -C119_bit0 -C120_bit0 -C121_bit0 -C122_bit0 C123_bit0 -C124_bit0 -C125_bit0 -C126_bit0 C127_bit0 -C128_bit0 -C129_bit0 -C130_bit0 -C131_bit0 -C132_bit0 -C133_bit0 -C134_bit0 -C135_bit0 -C136_bit0 -C137_bit0 C138_bit0 -C139_bit0 -C140_bit0 -C141_bit0 C142_bit0 -C143_bit0 -C144_bit0 C145_bit0 -C146_bit0 -C147_bit0 -C148_bit0 -C149_bit0 -C150_bit0 C151_bit0 -C152_bit0 C153_bit0 -C154_bit0 -C155_bit0 -C156_bit0 C157_bit0 -C158_bit0 -C159_bit0 -C160_bit0 -C161_bit0 -C162_bit0 -C163_bit0 C164_bit0 -C165_bit0 -C166_bit0 -C167_bit0 -C168_bit0 -C169_bit0 -C170_bit0 -C171_bit0 -C172_bit0 -C173_bit0 -C174_bit0 -C175_bit0 -C176_bit0 -C177_bit0 -C178_bit0 -C179_bit0 -C180_bit0 -C181_bit0 -C182_bit0 -C183_bit0 -C184_bit0 -C185_bit0 -C186_bit0 -C187_bit0 -C188_bit0 -C189_bit0 -C106_bit0 -C107_bit0 -C109_bit0 -C110_bit0 
c objectif function=1448
c Total CPU time (ms) : 1239.122
#### 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 22563
Raw data (stat): 22563 (runsolver) R 22562 10795 10794 0 -1 64 2 0 0 0 0 0 0 0 19 0 1 0 837957448 1052672 97 4294967295 134512640 135381576 3221224400 3221219760 134891116 0 0 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 97 215 215 0 42 0
vsize: 1028
[startup+10.0008 s]
Raw data (loadavg): 1.18 1.03 1.01 2/64 22581
Raw data (stat): 22563 (java) R 22562 10795 10794 0 -1 0 18108 7 1 0 592 39 0 0 25 0 11 0 837957448 865345536 21449 4294967295 134512640 134569956 3221224368 3221214176 1131366856 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211266 21449 13086 16 0 211250 0
vsize: 845064
[startup+20.0015 s]
Raw data (loadavg): 1.15 1.03 1.01 2/64 22583
Raw data (stat): 22563 (java) R 22562 10795 10794 0 -1 0 18109 7 1 0 1555 39 0 0 25 0 11 0 837957448 861368320 21323 4294967295 134512640 134569956 3221224368 3221214680 1131242068 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210295 21323 13086 16 0 210279 0
vsize: 841180
[startup+30.0018 s]
Raw data (loadavg): 1.13 1.03 1.01 2/64 22583
Raw data (stat): 22563 (java) R 22562 10795 10794 0 -1 0 18109 7 1 0 2514 39 0 0 25 0 11 0 837957448 861368320 21768 4294967295 134512640 134569956 3221224368 3221214680 1131241055 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210295 21768 13086 16 0 210279 0
vsize: 841180
[startup+40.0022 s]
Raw data (loadavg): 1.11 1.03 1.01 2/64 22583
Raw data (stat): 22563 (java) R 22562 10795 10794 0 -1 0 18109 7 1 0 3458 39 0 0 25 0 11 0 837957448 861368320 22253 4294967295 134512640 134569956 3221224368 3221214584 1131153209 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210295 22253 13086 16 0 210279 0
vsize: 841180
[startup+50.0024 s]
Raw data (loadavg): 1.09 1.03 1.01 2/64 22583
Raw data (stat): 22563 (java) R 22562 10795 10794 0 -1 0 18109 7 1 0 4399 39 0 0 25 0 11 0 837957448 861368320 22272 4294967295 134512640 134569956 3221224368 3221214672 1131157034 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210295 22272 13086 16 0 210279 0
vsize: 841180
[startup+60.0032 s]
Raw data (loadavg): 1.08 1.03 1.01 2/64 22584
Raw data (stat): 22563 (java) R 22562 10795 10794 0 -1 0 18109 7 1 0 5345 40 0 0 25 0 11 0 837957448 861368320 22452 4294967295 134512640 134569956 3221224368 3221214656 1131240893 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210295 22452 13086 16 0 210279 0
vsize: 841180
[startup+70.0036 s]
Raw data (loadavg): 1.06 1.03 1.00 2/64 22584
Raw data (stat): 22563 (java) R 22562 10795 10794 0 -1 0 18109 7 1 0 6291 40 0 0 25 0 11 0 837957448 861368320 22572 4294967295 134512640 134569956 3221224368 3221214528 1131189571 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210295 22572 13086 16 0 210279 0
vsize: 841180
[startup+80.0039 s]
Raw data (loadavg): 1.05 1.02 1.00 2/64 22585
Raw data (stat): 22563 (java) R 22562 10795 10794 0 -1 0 18109 7 1 0 7247 40 0 0 24 0 11 0 837957448 861368320 22812 4294967295 134512640 134569956 3221224368 3221214656 1131245232 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210295 22812 13086 16 0 210279 0
vsize: 841180
[startup+90.0047 s]
Raw data (loadavg): 1.04 1.02 1.00 2/64 22585
Raw data (stat): 22563 (java) R 22562 10795 10794 0 -1 0 18109 7 1 0 8214 40 0 0 25 0 11 0 837957448 861368320 22946 4294967295 134512640 134569956 3221224368 3221214656 1131239973 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210295 22946 13086 16 0 210279 0
vsize: 841180
[startup+100.004 s]
Raw data (loadavg): 1.04 1.02 1.00 2/64 22586
Raw data (stat): 22563 (java) R 22562 10795 10794 0 -1 0 18109 7 1 0 9172 40 0 0 25 0 11 0 837957448 861368320 23077 4294967295 134512640 134569956 3221224368 3221214656 1131240090 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210295 23077 13086 16 0 210279 0
vsize: 841180
[startup+110.005 s]
Raw data (loadavg): 1.03 1.02 1.00 2/64 22586
Raw data (stat): 22563 (java) R 22562 10795 10794 0 -1 0 18109 7 1 0 10130 40 0 0 25 0 11 0 837957448 861368320 23191 4294967295 134512640 134569956 3221224368 3221214544 1131485460 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210295 23191 13086 16 0 210279 0
vsize: 841180
[startup+120.006 s]
Raw data (loadavg): 1.03 1.02 1.00 2/64 22586
Raw data (stat): 22563 (java) R 22562 10795 10794 0 -1 0 18109 7 1 0 11088 40 0 0 25 0 11 0 837957448 861368320 23287 4294967295 134512640 134569956 3221224368 3221214180 1131293584 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210295 23287 13086 16 0 210279 0
vsize: 841180
[startup+130.009 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 22586
Raw data (stat): 22563 (java) S 22562 10795 10794 0 -1 0 18109 7 1 0 12038 40 0 0 25 0 11 0 837957448 861368320 23399 4294967295 134512640 134569956 3221224368 3221213400 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210295 23399 13086 16 0 210279 0
vsize: 841180
[startup+140.009 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 22586
Raw data (stat): 22563 (java) R 22562 10795 10794 0 -1 0 18109 7 1 0 12994 40 0 0 25 0 11 0 837957448 861368320 23591 4294967295 134512640 134569956 3221224368 3221214464 1131189571 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210295 23591 13086 16 0 210279 0
vsize: 841180
[startup+150.01 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 22587
Raw data (stat): 22563 (java) R 22562 10795 10794 0 -1 0 18109 7 1 0 13954 40 0 0 25 0 11 0 837957448 861368320 23758 4294967295 134512640 134569956 3221224368 3221214536 1131189571 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210295 23758 13086 16 0 210279 0
vsize: 841180
[startup+160.011 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 22587
Raw data (stat): 22563 (java) R 22562 10795 10794 0 -1 0 18109 7 1 0 14910 40 0 0 25 0 11 0 837957448 861368320 23897 4294967295 134512640 134569956 3221224368 3221214496 1131274065 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210295 23897 13086 16 0 210279 0
vsize: 841180
[startup+170.012 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 22588
Raw data (stat): 22563 (java) R 22562 10795 10794 0 -1 0 18109 7 1 0 15875 41 0 0 25 0 11 0 837957448 861368320 24022 4294967295 134512640 134569956 3221224368 3221214224 1131270760 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210295 24022 13086 16 0 210279 0
vsize: 841180
[startup+180.012 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 22588
Raw data (stat): 22563 (java) R 22562 10795 10794 0 -1 0 18109 7 1 0 16847 41 0 0 25 0 11 0 837957448 861368320 24101 4294967295 134512640 134569956 3221224368 3221213912 1085679756 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210295 24101 13086 16 0 210279 0
vsize: 841180
[startup+190.013 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 22589
Raw data (stat): 22563 (java) R 22562 10795 10794 0 -1 0 18109 7 1 0 17811 41 0 0 25 0 11 0 837957448 861368320 24224 4294967295 134512640 134569956 3221224368 3221214096 1131269473 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210295 24224 13086 16 0 210279 0
vsize: 841180
[startup+200.012 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 22589
Raw data (stat): 22563 (java) R 22562 10795 10794 0 -1 0 18109 7 1 0 18784 41 0 0 24 0 11 0 837957448 861368320 24309 4294967295 134512640 134569956 3221224368 3221214048 1131293560 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210295 24309 13086 16 0 210279 0
vsize: 841180
[startup+210.013 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 22589
Raw data (stat): 22563 (java) R 22562 10795 10794 0 -1 0 18109 7 1 0 19764 41 0 0 25 0 11 0 837957448 861368320 24373 4294967295 134512640 134569956 3221224368 3221214400 1131294037 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210295 24373 13086 16 0 210279 0
vsize: 841180
[startup+220.017 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 22589
Raw data (stat): 22563 (java) S 22562 10795 10794 0 -1 0 18109 7 1 0 20734 41 0 0 25 0 11 0 837957448 861368320 24437 4294967295 134512640 134569956 3221224368 3221213272 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210295 24437 13086 16 0 210279 0
vsize: 841180
[startup+230.017 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 22589
Raw data (stat): 22563 (java) R 22562 10795 10794 0 -1 0 18109 7 1 0 21701 41 0 0 25 0 11 0 837957448 861368320 24534 4294967295 134512640 134569956 3221224368 3221214552 1131177952 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210295 24534 13086 16 0 210279 0
vsize: 841180
[startup+240.018 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 22589
Raw data (stat): 22563 (java) R 22562 10795 10794 0 -1 0 18109 7 1 0 22667 41 0 0 25 0 11 0 837957448 861368320 24616 4294967295 134512640 134569956 3221224368 3221214560 1131153249 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210295 24616 13086 16 0 210279 0
vsize: 841180
[startup+250.019 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 22589
Raw data (stat): 22563 (java) R 22562 10795 10794 0 -1 0 18109 7 1 0 23639 41 0 0 25 0 11 0 837957448 861368320 24706 4294967295 134512640 134569956 3221224368 3221214560 1131153175 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210295 24706 13086 16 0 210279 0
vsize: 841180
[startup+260.019 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 22643
Raw data (stat): 22563 (java) R 22562 10795 10794 0 -1 0 18109 7 1 0 24598 47 0 0 25 0 11 0 837957448 861368320 24817 4294967295 134512640 134569956 3221224368 3221214528 1131189747 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210295 24817 13086 16 0 210279 0
vsize: 841180
[startup+270.019 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 22643
Raw data (stat): 22563 (java) R 22562 10795 10794 0 -1 0 18109 7 1 0 25572 47 0 0 25 0 11 0 837957448 861368320 24885 4294967295 134512640 134569956 3221224368 3221214608 1131197454 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210295 24885 13086 16 0 210279 0
vsize: 841180
[startup+280.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22643
Raw data (stat): 22563 (java) R 22562 10795 10794 0 -1 0 18109 7 1 0 26540 47 0 0 25 0 11 0 837957448 861368320 24992 4294967295 134512640 134569956 3221224368 3221214400 1131485492 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210295 24992 13086 16 0 210279 0
vsize: 841180
[startup+290.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22644
Raw data (stat): 22563 (java) R 22562 10795 10794 0 -1 0 18109 7 1 0 27515 48 0 0 25 0 11 0 837957448 861368320 25073 4294967295 134512640 134569956 3221224368 3221214232 1131269737 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210295 25073 13086 16 0 210279 0
vsize: 841180
[startup+300.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22644
Raw data (stat): 22563 (java) R 22562 10795 10794 0 -1 0 18109 7 1 0 28490 48 0 0 25 0 11 0 837957448 861368320 25159 4294967295 134512640 134569956 3221224368 3221214560 1131153235 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210295 25159 13086 16 0 210279 0
vsize: 841180
[startup+310.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22644
Raw data (stat): 22563 (java) R 22562 10795 10794 0 -1 0 18109 7 1 0 29465 48 0 0 25 0 11 0 837957448 861368320 25222 4294967295 134512640 134569956 3221224368 3221214528 1131189755 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210295 25222 13086 16 0 210279 0
vsize: 841180
[startup+320.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22645
Raw data (stat): 22563 (java) R 22562 10795 10794 0 -1 0 18109 7 1 0 30444 48 0 0 25 0 11 0 837957448 861368320 25265 4294967295 134512640 134569956 3221224368 3221214584 1131157516 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210295 25265 13086 16 0 210279 0
vsize: 841180
[startup+330.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22647
Raw data (stat): 22563 (java) R 22562 10795 10794 0 -1 0 18109 7 1 0 31418 49 0 0 25 0 11 0 837957448 861368320 25333 4294967295 134512640 134569956 3221224368 3221214648 1131157034 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210295 25333 13086 16 0 210279 0
vsize: 841180
[startup+340.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22648
Raw data (stat): 22563 (java) R 22562 10795 10794 0 -1 0 18109 7 1 0 32397 49 0 0 25 0 11 0 837957448 861368320 25375 4294967295 134512640 134569956 3221224368 3221214096 1131269684 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210295 25375 13086 16 0 210279 0
vsize: 841180
[startup+350.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22648
Raw data (stat): 22563 (java) R 22562 10795 10794 0 -1 0 18109 7 1 0 33370 50 0 0 25 0 11 0 837957448 861368320 25448 4294967295 134512640 134569956 3221224368 3221214528 1131189412 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210295 25448 13086 16 0 210279 0
vsize: 841180
[startup+360.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22648
Raw data (stat): 22563 (java) R 22562 10795 10794 0 -1 0 18109 7 1 0 34341 50 0 0 25 0 11 0 837957448 861368320 25513 4294967295 134512640 134569956 3221224368 3221214408 1085679492 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210295 25513 13086 16 0 210279 0
vsize: 841180
[startup+370.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22648
Raw data (stat): 22563 (java) R 22562 10795 10794 0 -1 0 18109 7 1 0 35313 50 0 0 25 0 11 0 837957448 861368320 25583 4294967295 134512640 134569956 3221224368 3221214356 1131293579 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210295 25583 13086 16 0 210279 0
vsize: 841180
[startup+380.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22648
Raw data (stat): 22563 (java) R 22562 10795 10794 0 -1 0 18109 7 1 0 36284 51 0 0 25 0 11 0 837957448 861368320 25684 4294967295 134512640 134569956 3221224368 3221214184 1131269692 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210295 25684 13086 16 0 210279 0
vsize: 841180
[startup+390.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22648
Raw data (stat): 22563 (java) R 22562 10795 10794 0 -1 0 18109 7 1 0 37257 51 0 0 25 0 11 0 837957448 861368320 25780 4294967295 134512640 134569956 3221224368 3221214656 1131239791 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210295 25780 13086 16 0 210279 0
vsize: 841180
[startup+400.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22648
Raw data (stat): 22563 (java) R 22562 10795 10794 0 -1 0 18109 7 1 0 38236 51 0 0 25 0 11 0 837957448 861368320 25829 4294967295 134512640 134569956 3221224368 3221214492 1131585195 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210295 25829 13086 16 0 210279 0
vsize: 841180
[startup+410.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22648
Raw data (stat): 22563 (java) R 22562 10795 10794 0 -1 0 18109 7 1 0 39222 51 0 0 25 0 11 0 837957448 861368320 25863 4294967295 134512640 134569956 3221224368 3221213960 1085679762 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210295 25863 13086 16 0 210279 0
vsize: 841180
[startup+420.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22648
Raw data (stat): 22563 (java) R 22562 10795 10794 0 -1 0 18109 7 1 0 40202 52 0 0 25 0 11 0 837957448 861368320 25925 4294967295 134512640 134569956 3221224368 3221214328 1085632310 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210295 25925 13086 16 0 210279 0
vsize: 841180
[startup+430.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22648
Raw data (stat): 22563 (java) R 22562 10795 10794 0 -1 0 18109 7 1 0 41180 52 0 0 25 0 11 0 837957448 861368320 25977 4294967295 134512640 134569956 3221224368 3221214656 1131241681 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210295 25977 13086 16 0 210279 0
vsize: 841180
[startup+440.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22648
Raw data (stat): 22563 (java) R 22562 10795 10794 0 -1 0 18109 7 1 0 42158 53 0 0 25 0 11 0 837957448 861368320 26025 4294967295 134512640 134569956 3221224368 3221214636 1131198500 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210295 26025 13086 16 0 210279 0
vsize: 841180
[startup+450.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22648
Raw data (stat): 22563 (java) R 22562 10795 10794 0 -1 0 18109 7 1 0 43136 53 0 0 25 0 11 0 837957448 861368320 26092 4294967295 134512640 134569956 3221224368 3221214576 1131402441 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210295 26092 13086 16 0 210279 0
vsize: 841180
[startup+460.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22648
Raw data (stat): 22563 (java) R 22562 10795 10794 0 -1 0 18109 7 1 0 44107 53 0 0 25 0 11 0 837957448 861368320 26155 4294967295 134512640 134569956 3221224368 3221214180 1131293584 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210295 26155 13086 16 0 210279 0
vsize: 841180
[startup+470.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22648
Raw data (stat): 22563 (java) R 22562 10795 10794 0 -1 0 18109 7 1 0 45085 53 0 0 25 0 11 0 837957448 861368320 26194 4294967295 134512640 134569956 3221224368 3221214096 1085679290 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210295 26194 13086 16 0 210279 0
vsize: 841180
[startup+480.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22648
Raw data (stat): 22563 (java) R 22562 10795 10794 0 -1 0 18109 7 1 0 46055 54 0 0 25 0 11 0 837957448 861368320 26253 4294967295 134512640 134569956 3221224368 3221214264 1131482696 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210295 26253 13086 16 0 210279 0
vsize: 841180
[startup+490.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22648
Raw data (stat): 22563 (java) R 22562 10795 10794 0 -1 0 18109 7 1 0 47031 54 0 0 24 0 11 0 837957448 861368320 26307 4294967295 134512640 134569956 3221224368 3221214656 1131241746 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210295 26307 13086 16 0 210279 0
vsize: 841180
[startup+500.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22648
Raw data (stat): 22563 (java) R 22562 10795 10794 0 -1 0 18109 7 1 0 48007 54 0 0 25 0 11 0 837957448 861368320 26352 4294967295 134512640 134569956 3221224368 3221214656 1131241752 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210295 26352 13086 16 0 210279 0
vsize: 841180
[startup+510.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22648
Raw data (stat): 22563 (java) R 22562 10795 10794 0 -1 0 18109 7 1 0 48984 54 0 0 25 0 11 0 837957448 861368320 26434 4294967295 134512640 134569956 3221224368 3221214828 1131179195 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210295 26434 13086 16 0 210279 0
vsize: 841180
[startup+520.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22648
Raw data (stat): 22563 (java) R 22562 10795 10794 0 -1 0 18109 7 1 0 49953 55 0 0 25 0 11 0 837957448 861368320 26543 4294967295 134512640 134569956 3221224368 3221214560 1131153249 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210295 26543 13086 16 0 210279 0
vsize: 841180
[startup+530.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22648
Raw data (stat): 22563 (java) R 22562 10795 10794 0 -1 0 18109 7 1 0 50923 55 0 0 25 0 11 0 837957448 861368320 26641 4294967295 134512640 134569956 3221224368 3221214560 1131153101 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210295 26641 13086 16 0 210279 0
vsize: 841180
[startup+540.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22648
Raw data (stat): 22563 (java) R 22562 10795 10794 0 -1 0 18109 7 1 0 51894 55 0 0 25 0 11 0 837957448 861368320 26719 4294967295 134512640 134569956 3221224368 3221214560 1131153192 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210295 26719 13086 16 0 210279 0
vsize: 841180
[startup+550.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22648
Raw data (stat): 22563 (java) R 22562 10795 10794 0 -1 0 18109 7 1 0 52858 55 0 0 25 0 11 0 837957448 861368320 26813 4294967295 134512640 134569956 3221224368 3221214400 1131294037 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210295 26813 13086 16 0 210279 0
vsize: 841180
[startup+560.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22648
Raw data (stat): 22563 (java) R 22562 10795 10794 0 -1 0 18109 7 1 0 53830 55 0 0 25 0 11 0 837957448 861368320 26900 4294967295 134512640 134569956 3221224368 3221214496 1131275786 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210295 26900 13086 16 0 210279 0
vsize: 841180
[startup+570.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22648
Raw data (stat): 22563 (java) R 22562 10795 10794 0 -1 0 18109 7 1 0 54809 55 0 0 25 0 11 0 837957448 861368320 26963 4294967295 134512640 134569956 3221224368 3221214432 1131153724 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210295 26963 13086 16 0 210279 0
vsize: 841180
[startup+580.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22648
Raw data (stat): 22563 (java) R 22562 10795 10794 0 -1 0 18109 7 1 0 55783 56 0 0 25 0 11 0 837957448 861368320 27040 4294967295 134512640 134569956 3221224368 3221214560 1131153249 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210295 27040 13086 16 0 210279 0
vsize: 841180
[startup+590.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22650
Raw data (stat): 22563 (java) R 22562 10795 10794 0 -1 0 18109 7 1 0 56757 56 0 0 25 0 11 0 837957448 861368320 27121 4294967295 134512640 134569956 3221224368 3221214656 1131244864 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210295 27121 13086 16 0 210279 0
vsize: 841180
[startup+600.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22650
Raw data (stat): 22563 (java) R 22562 10795 10794 0 -1 0 18109 7 1 0 57727 57 0 0 25 0 11 0 837957448 861368320 27221 4294967295 134512640 134569956 3221224368 3221214536 1131189710 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210295 27221 13086 16 0 210279 0
vsize: 841180
[startup+610.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22650
Raw data (stat): 22563 (java) R 22562 10795 10794 0 -1 0 18109 7 1 0 58704 57 0 0 25 0 11 0 837957448 861368320 27314 4294967295 134512640 134569956 3221224368 3221214000 1131475360 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210295 27314 13086 16 0 210279 0
vsize: 841180
[startup+620.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22650
Raw data (stat): 22563 (java) R 22562 10795 10794 0 -1 0 18109 7 1 0 59682 57 0 0 25 0 11 0 837957448 861368320 27365 4294967295 134512640 134569956 3221224368 3221214656 1131239791 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210295 27365 13086 16 0 210279 0
vsize: 841180
[startup+630.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22650
Raw data (stat): 22563 (java) R 22562 10795 10794 0 -1 0 18109 7 1 0 60655 57 0 0 25 0 11 0 837957448 861368320 27455 4294967295 134512640 134569956 3221224368 3221214656 1131241828 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210295 27455 13086 16 0 210279 0
vsize: 841180
[startup+640.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22650
Raw data (stat): 22563 (java) S 22562 10795 10794 0 -1 0 18109 7 1 0 61636 57 0 0 25 0 11 0 837957448 861368320 27497 4294967295 134512640 134569956 3221224368 3221213264 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210295 27497 13086 16 0 210279 0
vsize: 841180
[startup+650.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22650
Raw data (stat): 22563 (java) R 22562 10795 10794 0 -1 0 18109 7 1 0 62617 58 0 0 25 0 11 0 837957448 861368320 27557 4294967295 134512640 134569956 3221224368 3221214560 1131153209 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210295 27557 13086 16 0 210279 0
vsize: 841180
[startup+660.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22650
Raw data (stat): 22563 (java) S 22562 10795 10794 0 -1 0 18109 7 1 0 63592 58 0 0 25 0 11 0 837957448 861368320 27612 4294967295 134512640 134569956 3221224368 3221213264 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210295 27612 13086 16 0 210279 0
vsize: 841180
[startup+670.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22650
Raw data (stat): 22563 (java) R 22562 10795 10794 0 -1 0 18109 7 1 0 64573 58 0 0 25 0 11 0 837957448 861368320 27666 4294967295 134512640 134569956 3221224368 3221214568 1131190076 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210295 27666 13086 16 0 210279 0
vsize: 841180
[startup+680.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22650
Raw data (stat): 22563 (java) R 22562 10795 10794 0 -1 0 18109 7 1 0 65543 59 0 0 25 0 11 0 837957448 861368320 27731 4294967295 134512640 134569956 3221224368 3221214488 1131275475 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210295 27731 13086 16 0 210279 0
vsize: 841180
[startup+690.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22650
Raw data (stat): 22563 (java) R 22562 10795 10794 0 -1 0 18109 7 1 0 66525 59 0 0 25 0 11 0 837957448 861368320 27766 4294967295 134512640 134569956 3221224368 3221214656 1131239791 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210295 27766 13086 16 0 210279 0
vsize: 841180
[startup+700.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22650
Raw data (stat): 22563 (java) R 22562 10795 10794 0 -1 0 18109 7 1 0 67495 59 0 0 25 0 11 0 837957448 861368320 27823 4294967295 134512640 134569956 3221224368 3221214492 1085632316 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210295 27823 13086 16 0 210279 0
vsize: 841180
[startup+710.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22650
Raw data (stat): 22563 (java) R 22562 10795 10794 0 -1 0 18109 7 1 0 68470 60 0 0 25 0 11 0 837957448 861368320 27888 4294967295 134512640 134569956 3221224368 3221214560 1131153720 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210295 27888 13086 16 0 210279 0
vsize: 841180
[startup+720.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22650
Raw data (stat): 22563 (java) R 22562 10795 10794 0 -1 0 18109 7 1 0 69446 60 0 0 25 0 11 0 837957448 861368320 27951 4294967295 134512640 134569956 3221224368 3221214584 1131157440 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210295 27951 13086 16 0 210279 0
vsize: 841180
[startup+730.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22650
Raw data (stat): 22563 (java) R 22562 10795 10794 0 -1 0 18109 7 1 0 70416 60 0 0 25 0 11 0 837957448 861368320 28030 4294967295 134512640 134569956 3221224368 3221214472 1131432081 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210295 28030 13086 16 0 210279 0
vsize: 841180
[startup+740.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22650
Raw data (stat): 22563 (java) R 22562 10795 10794 0 -1 0 18109 7 1 0 71397 60 0 0 25 0 11 0 837957448 861368320 28095 4294967295 134512640 134569956 3221224368 3221214656 1131240048 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210295 28095 13086 16 0 210279 0
vsize: 841180
[startup+750.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22650
Raw data (stat): 22563 (java) R 22562 10795 10794 0 -1 0 18109 7 1 0 72378 61 0 0 25 0 11 0 837957448 861368320 28169 4294967295 134512640 134569956 3221224368 3221214624 1131224769 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210295 28169 13086 16 0 210279 0
vsize: 841180
[startup+760.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22650
Raw data (stat): 22563 (java) R 22562 10795 10794 0 -1 0 18109 7 1 0 73354 61 0 0 25 0 11 0 837957448 861368320 28229 4294967295 134512640 134569956 3221224368 3221214096 1131269477 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210295 28229 13086 16 0 210279 0
vsize: 841180
[startup+770.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22650
Raw data (stat): 22563 (java) R 22562 10795 10794 0 -1 0 18109 7 1 0 74336 61 0 0 25 0 11 0 837957448 861368320 28260 4294967295 134512640 134569956 3221224368 3221214272 1131486349 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210295 28260 13086 16 0 210279 0
vsize: 841180
[startup+780.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22650
Raw data (stat): 22563 (java) R 22562 10795 10794 0 -1 0 18109 7 1 0 75311 62 0 0 25 0 11 0 837957448 861368320 28321 4294967295 134512640 134569956 3221224368 3221214496 1131293560 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210295 28321 13086 16 0 210279 0
vsize: 841180
[startup+790.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22650
Raw data (stat): 22563 (java) R 22562 10795 10794 0 -1 0 18109 7 1 0 76292 62 0 0 25 0 11 0 837957448 861368320 28369 4294967295 134512640 134569956 3221224368 3221213728 1131293591 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210295 28369 13086 16 0 210279 0
vsize: 841180
[startup+800.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22650
Raw data (stat): 22563 (java) R 22562 10795 10794 0 -1 0 18109 7 1 0 77268 63 0 0 25 0 11 0 837957448 861368320 28435 4294967295 134512640 134569956 3221224368 3221214360 1131293489 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210295 28435 13086 16 0 210279 0
vsize: 841180
[startup+810.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22650
Raw data (stat): 22563 (java) R 22562 10795 10794 0 -1 0 18109 7 1 0 78239 63 0 0 25 0 11 0 837957448 861368320 28518 4294967295 134512640 134569956 3221224368 3221214356 1131293584 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210295 28518 13086 16 0 210279 0
vsize: 841180
[startup+820.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22650
Raw data (stat): 22563 (java) R 22562 10795 10794 0 -1 0 18109 7 1 0 79210 64 0 0 25 0 11 0 837957448 861368320 28594 4294967295 134512640 134569956 3221224368 3221214272 1085679284 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210295 28594 13086 16 0 210279 0
vsize: 841180
[startup+830.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22650
Raw data (stat): 22563 (java) R 22562 10795 10794 0 -1 0 18109 7 1 0 80182 64 0 0 25 0 11 0 837957448 861368320 28673 4294967295 134512640 134569956 3221224368 3221214408 1131437923 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210295 28673 13086 16 0 210279 0
vsize: 841180
[startup+840.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22650
Raw data (stat): 22563 (java) R 22562 10795 10794 0 -1 0 18109 7 1 0 81160 64 0 0 25 0 11 0 837957448 861368320 28745 4294967295 134512640 134569956 3221224368 3221214268 1085616768 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210295 28745 13086 16 0 210279 0
vsize: 841180
[startup+850.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22650
Raw data (stat): 22563 (java) R 22562 10795 10794 0 -1 0 18109 7 1 0 82138 65 0 0 25 0 11 0 837957448 861368320 28820 4294967295 134512640 134569956 3221224368 3221214472 1131431006 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210295 28820 13086 16 0 210279 0
vsize: 841180
[startup+860.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22650
Raw data (stat): 22563 (java) R 22562 10795 10794 0 -1 0 18109 7 1 0 83121 65 0 0 25 0 11 0 837957448 861368320 28865 4294967295 134512640 134569956 3221224368 3221214264 1131294037 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210295 28865 13086 16 0 210279 0
vsize: 841180
[startup+870.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22650
Raw data (stat): 22563 (java) R 22562 10795 10794 0 -1 0 18109 7 1 0 84104 66 0 0 24 0 11 0 837957448 861368320 28899 4294967295 134512640 134569956 3221224368 3221214324 1085616768 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210295 28899 13086 16 0 210279 0
vsize: 841180
[startup+880.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22650
Raw data (stat): 22563 (java) R 22562 10795 10794 0 -1 0 18109 7 1 0 85087 66 0 0 25 0 11 0 837957448 861368320 28940 4294967295 134512640 134569956 3221224368 3221214560 1131154094 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210295 28940 13086 16 0 210279 0
vsize: 841180
[startup+890.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22650
Raw data (stat): 22563 (java) R 22562 10795 10794 0 -1 0 18109 7 1 0 86059 67 0 0 25 0 11 0 837957448 861368320 28996 4294967295 134512640 134569956 3221224368 3221214572 1131430796 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210295 28996 13086 16 0 210279 0
vsize: 841180
[startup+900.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22650
Raw data (stat): 22563 (java) R 22562 10795 10794 0 -1 0 18109 7 1 0 87041 67 0 0 25 0 11 0 837957448 861368320 29025 4294967295 134512640 134569956 3221224368 3221214656 1131241268 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210295 29025 13086 16 0 210279 0
vsize: 841180
[startup+910.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22650
Raw data (stat): 22563 (java) S 22562 10795 10794 0 -1 0 18109 7 1 0 88022 68 0 0 25 0 11 0 837957448 861368320 29080 4294967295 134512640 134569956 3221224368 3221213280 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210295 29080 13086 16 0 210279 0
vsize: 841180
[startup+920.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22650
Raw data (stat): 22563 (java) R 22562 10795 10794 0 -1 0 18109 7 1 0 89000 68 0 0 25 0 11 0 837957448 861368320 29134 4294967295 134512640 134569956 3221224368 3221214416 1131438080 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210295 29134 13086 16 0 210279 0
vsize: 841180
[startup+930.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22650
Raw data (stat): 22563 (java) R 22562 10795 10794 0 -1 0 18109 7 1 0 89982 68 0 0 25 0 11 0 837957448 861368320 29201 4294967295 134512640 134569956 3221224368 3221214416 1131438049 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210295 29201 13086 16 0 210279 0
vsize: 841180
[startup+940.056 s]
Raw data (loadavg): 1.08 1.02 1.01 2/64 22650
Raw data (stat): 22563 (java) R 22562 10795 10794 0 -1 0 18109 7 1 0 90964 69 0 0 25 0 11 0 837957448 861368320 29251 4294967295 134512640 134569956 3221224368 3221214088 1131573672 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210295 29251 13086 16 0 210279 0
vsize: 841180
[startup+950.056 s]
Raw data (loadavg): 1.07 1.02 1.00 2/64 22650
Raw data (stat): 22563 (java) R 22562 10795 10794 0 -1 0 18109 7 1 0 91947 70 0 0 25 0 11 0 837957448 861368320 29291 4294967295 134512640 134569956 3221224368 3221214472 1131432112 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210295 29291 13086 16 0 210279 0
vsize: 841180
[startup+960.058 s]
Raw data (loadavg): 1.06 1.01 1.00 2/64 22650
Raw data (stat): 22563 (java) R 22562 10795 10794 0 -1 0 18109 7 1 0 92924 70 0 0 24 0 11 0 837957448 861368320 29362 4294967295 134512640 134569956 3221224368 3221214536 1131189781 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210295 29362 13086 16 0 210279 0
vsize: 841180
[startup+970.058 s]
Raw data (loadavg): 1.05 1.01 1.00 2/64 22650
Raw data (stat): 22563 (java) R 22562 10795 10794 0 -1 0 18109 7 1 0 93924 70 0 0 25 0 11 0 837957448 861368320 29362 4294967295 134512640 134569956 3221224368 3221214408 1131437877 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210295 29362 13086 16 0 210279 0
vsize: 841180
[startup+980.058 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 22650
Raw data (stat): 22563 (java) R 22562 10795 10794 0 -1 0 18109 7 1 0 94907 71 0 0 25 0 11 0 837957448 861368320 29440 4294967295 134512640 134569956 3221224368 3221214608 1131197392 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210295 29440 13086 16 0 210279 0
vsize: 841180
[startup+990.059 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 22650
Raw data (stat): 22563 (java) R 22562 10795 10794 0 -1 0 18109 7 1 0 95895 71 0 0 25 0 11 0 837957448 861368320 29459 4294967295 134512640 134569956 3221224368 3221214360 1131293508 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210295 29459 13086 16 0 210279 0
vsize: 841180
[startup+1000.06 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 22650
Raw data (stat): 22563 (java) R 22562 10795 10794 0 -1 0 18109 7 1 0 96878 71 0 0 25 0 11 0 837957448 861368320 29519 4294967295 134512640 134569956 3221224368 3221214560 1131153334 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210295 29519 13086 16 0 210279 0
vsize: 841180
[startup+1010.06 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 22650
Raw data (stat): 22563 (java) R 22562 10795 10794 0 -1 0 18109 7 1 0 97861 72 0 0 25 0 11 0 837957448 861368320 29584 4294967295 134512640 134569956 3221224368 3221214616 1131196922 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210295 29584 13086 16 0 210279 0
vsize: 841180
[startup+1020.06 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 22650
Raw data (stat): 22563 (java) R 22562 10795 10794 0 -1 0 18109 7 1 0 98839 72 0 0 24 0 11 0 837957448 861368320 29641 4294967295 134512640 134569956 3221224368 3221214560 1131153739 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210295 29641 13086 16 0 210279 0
vsize: 841180
[startup+1030.06 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 22651
Raw data (stat): 22563 (java) R 22562 10795 10794 0 -1 0 18109 7 1 0 99822 73 0 0 25 0 11 0 837957448 861368320 29720 4294967295 134512640 134569956 3221224368 3221214560 1131153249 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210295 29720 13086 16 0 210279 0
vsize: 841180
[startup+1040.06 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 22651
Raw data (stat): 22563 (java) R 22562 10795 10794 0 -1 0 18109 7 1 0 100805 73 0 0 25 0 11 0 837957448 861368320 29784 4294967295 134512640 134569956 3221224368 3221214544 1131489248 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210295 29784 13086 16 0 210279 0
vsize: 841180
[startup+1050.06 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 22651
Raw data (stat): 22563 (java) R 22562 10795 10794 0 -1 0 18109 7 1 0 101783 73 0 0 25 0 11 0 837957448 861368320 29844 4294967295 134512640 134569956 3221224368 3221213908 1131293584 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210295 29844 13086 16 0 210279 0
vsize: 841180
[startup+1060.06 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 22651
Raw data (stat): 22563 (java) R 22562 10795 10794 0 -1 0 18109 7 1 0 102761 74 0 0 25 0 11 0 837957448 861368320 29926 4294967295 134512640 134569956 3221224368 3221214804 1130885240 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210295 29926 13086 16 0 210279 0
vsize: 841180
[startup+1070.06 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 22651
Raw data (stat): 22563 (java) R 22562 10795 10794 0 -1 0 18109 7 1 0 103743 74 0 0 25 0 11 0 837957448 861368320 30006 4294967295 134512640 134569956 3221224368 3221214648 1131157037 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210295 30006 13086 16 0 210279 0
vsize: 841180
[startup+1080.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22651
Raw data (stat): 22563 (java) R 22562 10795 10794 0 -1 0 18109 7 1 0 104720 75 0 0 25 0 11 0 837957448 861368320 30085 4294967295 134512640 134569956 3221224368 3221214544 1131236916 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210295 30085 13086 16 0 210279 0
vsize: 841180
[startup+1090.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22651
Raw data (stat): 22563 (java) R 22562 10795 10794 0 -1 0 18109 7 1 0 105703 75 0 0 25 0 11 0 837957448 861368320 30156 4294967295 134512640 134569956 3221224368 3221214640 1131185127 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210295 30156 13086 16 0 210279 0
vsize: 841180
[startup+1100.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22651
Raw data (stat): 22563 (java) R 22562 10795 10794 0 -1 0 18109 7 1 0 106679 76 0 0 25 0 11 0 837957448 861368320 30237 4294967295 134512640 134569956 3221224368 3221214560 1131153249 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210295 30237 13086 16 0 210279 0
vsize: 841180
[startup+1110.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22651
Raw data (stat): 22563 (java) R 22562 10795 10794 0 -1 0 18109 7 1 0 107656 76 0 0 25 0 11 0 837957448 861368320 30288 4294967295 134512640 134569956 3221224368 3221214624 1131159459 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210295 30288 13086 16 0 210279 0
vsize: 841180
[startup+1120.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22651
Raw data (stat): 22563 (java) R 22562 10795 10794 0 -1 0 18109 7 1 0 108632 77 0 0 25 0 11 0 837957448 861368320 30336 4294967295 134512640 134569956 3221224368 3221213880 1085632310 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210295 30336 13086 16 0 210279 0
vsize: 841180
[startup+1130.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22651
Raw data (stat): 22563 (java) R 22562 10795 10794 0 -1 0 18109 7 1 0 109608 77 0 0 25 0 11 0 837957448 861368320 30404 4294967295 134512640 134569956 3221224368 3221214224 1131270957 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210295 30404 13086 16 0 210279 0
vsize: 841180
[startup+1140.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22651
Raw data (stat): 22563 (java) R 22562 10795 10794 0 -1 0 18109 7 1 0 110585 78 0 0 25 0 11 0 837957448 861368320 30464 4294967295 134512640 134569956 3221224368 3221214656 1131240000 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210295 30464 13086 16 0 210279 0
vsize: 841180
[startup+1150.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22651
Raw data (stat): 22563 (java) R 22562 10795 10794 0 -1 0 18109 7 1 0 111557 78 0 0 25 0 11 0 837957448 861368320 30555 4294967295 134512640 134569956 3221224368 3221214656 1131240061 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210295 30555 13086 16 0 210279 0
vsize: 841180
[startup+1160.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22651
Raw data (stat): 22563 (java) R 22562 10795 10794 0 -1 0 18109 7 1 0 112540 79 0 0 25 0 11 0 837957448 861368320 30594 4294967295 134512640 134569956 3221224368 3221214272 1085679391 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210295 30594 13086 16 0 210279 0
vsize: 841180
[startup+1170.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22651
Raw data (stat): 22563 (java) R 22562 10795 10794 0 -1 0 18109 7 1 0 113518 79 0 0 25 0 11 0 837957448 861368320 30649 4294967295 134512640 134569956 3221224368 3221214560 1131153291 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210295 30649 13086 16 0 210279 0
vsize: 841180
[startup+1180.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22651
Raw data (stat): 22563 (java) R 22562 10795 10794 0 -1 0 18109 7 1 0 114496 79 0 0 25 0 11 0 837957448 861368320 30709 4294967295 134512640 134569956 3221224368 3221214408 1085679538 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210295 30709 13086 16 0 210279 0
vsize: 841180
[startup+1190.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22651
Raw data (stat): 22563 (java) R 22562 10795 10794 0 -1 0 18109 7 1 0 115474 80 0 0 25 0 11 0 837957448 861368320 30749 4294967295 134512640 134569956 3221224368 3221214560 1131153209 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210295 30749 13086 16 0 210279 0
vsize: 841180
[startup+1200.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22652
Raw data (stat): 22563 (java) R 22562 10795 10794 0 -1 0 18109 7 1 0 116446 80 1 0 25 0 11 0 837957448 861368320 30821 4294967295 134512640 134569956 3221224368 3221214224 1131293645 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210295 30821 13086 16 0 210279 0
vsize: 841180
[startup+1210.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22652
Raw data (stat): 22563 (java) R 22562 10795 10794 0 -1 0 18109 7 1 0 117424 80 1 0 25 0 11 0 837957448 861368320 30852 4294967295 134512640 134569956 3221224368 3221214520 1131308354 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210295 30852 13086 16 0 210279 0
vsize: 841180
[startup+1220.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22652
Raw data (stat): 22563 (java) R 22562 10795 10794 0 -1 0 18109 7 1 0 118403 80 1 0 25 0 11 0 837957448 861368320 30909 4294967295 134512640 134569956 3221224368 3221214656 1131239791 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210295 30909 13086 16 0 210279 0
vsize: 841180
[startup+1230.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22652
Raw data (stat): 22563 (java) R 22562 10795 10794 0 -1 0 18109 7 1 0 119386 81 1 0 25 0 11 0 837957448 861368320 30940 4294967295 134512640 134569956 3221224368 3221214360 1131293433 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210295 30940 13086 16 0 210279 0
vsize: 841180
[startup+1240.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22652
Raw data (stat): 22563 (java) R 22562 10795 10794 0 -1 0 18109 7 1 0 120368 81 1 0 25 0 11 0 837957448 861368320 30978 4294967295 134512640 134569956 3221224368 3221214404 1131293408 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210295 30978 13086 16 0 210279 0
vsize: 841180
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1240.2 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 22654
Raw data (stat): 22563 (java) Z 22562 10795 10794 0 -1 1036 18109 19075 1 0 120374 86 4356 50 25 0 1 0 837957448 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1240.19
CPU time (s): 1248.68
CPU user time (s): 1247.31
CPU system time (s): 1.37079
CPU usage (%): 100.684
Max. virtual memory (Kb): 845064
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	1448
#### END VERIFIER DATA ####