PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-sentoy.opb
MD5SUM	4df3e7eb358d27d446e34b975724a6c1
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-7772
Optimality of the best value was proved	NO
Number of terms in the objective function	60
Biggest coefficient in the objective function	974
Number of bits for the biggest coefficient in the objective function	10
Sum of the numbers in the objective function	9460
Number of bits of the sum of numbers in the objective function	14
Biggest number in a constraint	6000
Number of bits of the biggest number in a constraint	13
Biggest sum of numbers in a constraint	26162
Number of bits of the biggest sum of numbers	15
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.01784
Number of variables	60
Total number of constraints	90
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	60
Number of constraints which are nor clauses,nor cardinality constraints	30
Minimum length of a constraint	1
Maximum length of a constraint	60
Trace number 29555

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        501060 kB
Buffers:         33820 kB
Cached:         478328 kB
SwapCached:        640 kB
Active:          82528 kB
Inactive:       432044 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        500808 kB
SwapTotal:     2097892 kB
SwapFree:      2096760 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5648 kB
Slab:            13232 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 09:14:06 (client local time) WITH STATUS 143 IN 1216.89 SECONDS
stats: 20956 0 1216.89 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c SAT4J: a SATisfiability library for Java (c) 2004-2005 Daniel Le Berre
c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
c version Special PB05 Second trial
c --- Begin Solver configuration ---
c org.sat4j.minisat.uip.FirstUIP@1e4cbc4
c org.sat4j.minisat.constraints.PBMinDataStructure@1fdc96c
c org.sat4j.minisat.learning.MiniSATLearning@b2fd8f
c conflictBoundIncFactor=1.5 learntBoundIncFactor=1.1 initLearntBoundConstraintFactor=0.5 initConflictBound=100 
c 
c --- End Solver configuration ---
c solving /oldhome/oroussel/tmp/wulflinc27/normalized-mps-v2-20-10-sentoy.opb
c reading problem ... done. Time 0.948 ms.
c #vars     60
c #constraints  30
c SATISFIABLE
c OPTIMIZING...
c CURRENT OPTIMUM=                   0 		Current CPU time: 0.97 ms
c CURRENT OPTIMUM=                 -22 		Current CPU time: 1.02 ms
c CURRENT OPTIMUM=                -774 		Current CPU time: 1.06 ms
c CURRENT OPTIMUM=                -796 		Current CPU time: 1.10 ms
c CURRENT OPTIMUM=                -805 		Current CPU time: 1.18 ms
c CURRENT OPTIMUM=                -827 		Current CPU time: 1.24 ms
c CURRENT OPTIMUM=                -843 		Current CPU time: 1.26 ms
c CURRENT OPTIMUM=                -865 		Current CPU time: 1.29 ms
c CURRENT OPTIMUM=                -874 		Current CPU time: 1.31 ms
c CURRENT OPTIMUM=                -896 		Current CPU time: 1.33 ms
c CURRENT OPTIMUM=               -1554 		Current CPU time: 1.36 ms
c CURRENT OPTIMUM=               -1576 		Current CPU time: 1.50 ms
c CURRENT OPTIMUM=               -1585 		Current CPU time: 1.52 ms
c CURRENT OPTIMUM=               -1607 		Current CPU time: 1.54 ms
c CURRENT OPTIMUM=               -1623 		Current CPU time: 1.58 ms
c CURRENT OPTIMUM=               -1645 		Current CPU time: 1.61 ms
c CURRENT OPTIMUM=               -1654 		Current CPU time: 1.65 ms
c CURRENT OPTIMUM=               -1676 		Current CPU time: 1.69 ms
c CURRENT OPTIMUM=               -1678 		Current CPU time: 1.72 ms
c CURRENT OPTIMUM=               -1682 		Current CPU time: 1.76 ms
c CURRENT OPTIMUM=               -1684 		Current CPU time: 1.80 ms
c CURRENT OPTIMUM=               -2122 		Current CPU time: 1.86 ms
c CURRENT OPTIMUM=               -2144 		Current CPU time: 1.91 ms
c CURRENT OPTIMUM=               -2153 		Current CPU time: 2.38 ms
c CURRENT OPTIMUM=               -2175 		Current CPU time: 2.70 ms
c CURRENT OPTIMUM=               -2191 		Current CPU time: 2.95 ms
c CURRENT OPTIMUM=               -2213 		Current CPU time: 3.07 ms
c CURRENT OPTIMUM=               -2222 		Current CPU time: 3.24 ms
c CURRENT OPTIMUM=               -2244 		Current CPU time: 3.40 ms
c CURRENT OPTIMUM=               -2246 		Current CPU time: 3.55 ms
c CURRENT OPTIMUM=               -2250 		Current CPU time: 3.64 ms
c CURRENT OPTIMUM=               -2252 		Current CPU time: 3.67 ms
c CURRENT OPTIMUM=               -2256 		Current CPU time: 3.70 ms
c CURRENT OPTIMUM=               -2258 		Current CPU time: 3.74 ms
c CURRENT OPTIMUM=               -2259 		Current CPU time: 3.77 ms
c CURRENT OPTIMUM=               -2261 		Current CPU time: 3.80 ms
c CURRENT OPTIMUM=               -2269 		Current CPU time: 3.84 ms
c CURRENT OPTIMUM=               -2271 		Current CPU time: 3.88 ms
c CURRENT OPTIMUM=               -2275 		Current CPU time: 3.92 ms
c CURRENT OPTIMUM=               -2277 		Current CPU time: 3.95 ms
c CURRENT OPTIMUM=               -2281 		Current CPU time: 3.99 ms
c CURRENT OPTIMUM=               -2322 		Current CPU time: 4.30 ms
c CURRENT OPTIMUM=               -7675 		Current CPU time: 4.36 ms
c CURRENT OPTIMUM=               -7682 		Current CPU time: 9.66 ms
c CURRENT OPTIMUM=               -7725 		Current CPU time: 15.83 ms
c CURRENT OPTIMUM=               -7728 		Current CPU time: 19.15 ms
c CURRENT OPTIMUM=               -7739 		Current CPU time: 29.49 ms
c CURRENT OPTIMUM=               -7772 		Current CPU time: 71.99 ms
c starts	: 53
c conflicts	: 1169
c decisions	: 9877
c propagations	: 19366
c inspects	: 1307532
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 1169
c root simplifications	: 324
s SATISFIABLE
v -Y1_bit0 Y2_bit0 -Y3_bit0 -Y4_bit0 Y5_bit0 -Y6_bit0 -Y7_bit0 Y8_bit0 Y9_bit0 -Y10_bit0 Y11_bit0 -Y12_bit0 Y13_bit0 Y14_bit0 -Y15_bit0 Y16_bit0 -Y17_bit0 Y18_bit0 Y19_bit0 -Y20_bit0 Y21_bit0 -Y22_bit0 -Y23_bit0 -Y24_bit0 Y25_bit0 -Y26_bit0 Y27_bit0 -Y28_bit0 -Y29_bit0 Y30_bit0 -Y31_bit0 -Y32_bit0 -Y33_bit0 -Y34_bit0 -Y35_bit0 -Y36_bit0 Y37_bit0 -Y38_bit0 -Y39_bit0 -Y40_bit0 -Y41_bit0 -Y42_bit0 -Y43_bit0 -Y44_bit0 -Y45_bit0 Y46_bit0 Y47_bit0 -Y48_bit0 -Y49_bit0 -Y50_bit0 -Y51_bit0 -Y52_bit0 Y53_bit0 -Y54_bit0 -Y55_bit0 Y56_bit0 -Y57_bit0 -Y58_bit0 Y59_bit0 -Y60_bit0 
c objectif function=-7772
c Total CPU time (ms) : 1219.117
#### 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.92 0.98 0.99 2/54 16418
Raw data (stat): 16418 (runsolver) R 16417 3394 3393 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 837586634 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.09 1.02 1.01 2/64 16471
Raw data (stat): 16418 (java) R 16417 3394 3393 0 -1 0 18134 9 1 0 630 36 1 1 25 0 11 0 837586634 862355456 20557 4294967295 134512640 134569956 3221224368 3221214512 1131328385 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210536 20557 13086 16 0 210520 0
vsize: 842144
[startup+20.0012 s]
Raw data (loadavg): 1.15 1.03 1.01 2/64 16473
Raw data (stat): 16418 (java) R 16417 3394 3393 0 -1 0 18135 9 1 0 1602 37 1 1 25 0 11 0 837586634 861962240 20736 4294967295 134512640 134569956 3221224368 3221214688 1131287999 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210440 20736 13086 16 0 210424 0
vsize: 841760
[startup+30.0025 s]
Raw data (loadavg): 1.13 1.03 1.01 2/64 16474
Raw data (stat): 16418 (java) R 16417 3394 3393 0 -1 0 18136 9 1 0 2576 37 1 1 25 0 11 0 837586634 861962240 20956 4294967295 134512640 134569956 3221224368 3221214688 1131289736 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210440 20956 13086 16 0 210424 0
vsize: 841760
[startup+40.0023 s]
Raw data (loadavg): 1.11 1.03 1.01 2/64 16475
Raw data (stat): 16418 (java) R 16417 3394 3393 0 -1 0 18136 9 1 0 3546 38 1 1 25 0 11 0 837586634 861962240 21119 4294967295 134512640 134569956 3221224368 3221214592 1131214373 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210440 21119 13086 16 0 210424 0
vsize: 841760
[startup+50.0027 s]
Raw data (loadavg): 1.09 1.03 1.01 2/64 16475
Raw data (stat): 16418 (java) R 16417 3394 3393 0 -1 0 18136 9 1 0 4513 38 1 1 25 0 11 0 837586634 861962240 21277 4294967295 134512640 134569956 3221224368 3221214480 1131278913 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210440 21277 13086 16 0 210424 0
vsize: 841760
[startup+60.003 s]
Raw data (loadavg): 1.08 1.03 1.01 2/64 16475
Raw data (stat): 16418 (java) R 16417 3394 3393 0 -1 0 18136 9 1 0 5484 38 1 1 25 0 11 0 837586634 861962240 21522 4294967295 134512640 134569956 3221224368 3221214568 1131214158 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210440 21522 13086 16 0 210424 0
vsize: 841760
[startup+70.0041 s]
Raw data (loadavg): 1.06 1.03 1.00 2/64 16475
Raw data (stat): 16418 (java) R 16417 3394 3393 0 -1 0 18136 9 1 0 6461 39 1 1 25 0 11 0 837586634 861962240 21617 4294967295 134512640 134569956 3221224368 3221214568 1131214876 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210440 21617 13086 16 0 210424 0
vsize: 841760
[startup+80.0052 s]
Raw data (loadavg): 1.05 1.02 1.00 2/64 16476
Raw data (stat): 16418 (java) R 16417 3394 3393 0 -1 0 18136 9 1 0 7440 39 1 1 25 0 11 0 837586634 861962240 21712 4294967295 134512640 134569956 3221224368 3221214568 1131170545 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210440 21712 13086 16 0 210424 0
vsize: 841760
[startup+90.0054 s]
Raw data (loadavg): 1.05 1.02 1.00 2/64 16476
Raw data (stat): 16418 (java) R 16417 3394 3393 0 -1 0 18136 9 1 0 8420 39 1 1 25 0 11 0 837586634 861962240 21791 4294967295 134512640 134569956 3221224368 3221214568 1131215052 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210440 21791 13086 16 0 210424 0
vsize: 841760
[startup+100.006 s]
Raw data (loadavg): 1.04 1.02 1.00 2/64 16476
Raw data (stat): 16418 (java) R 16417 3394 3393 0 -1 0 18136 9 1 0 9403 40 1 1 25 0 11 0 837586634 861962240 21870 4294967295 134512640 134569956 3221224368 3221214400 1131423395 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210440 21870 13086 16 0 210424 0
vsize: 841760
[startup+110.007 s]
Raw data (loadavg): 1.03 1.02 1.00 2/64 16476
Raw data (stat): 16418 (java) R 16417 3394 3393 0 -1 0 18136 9 1 0 10387 40 1 1 25 0 11 0 837586634 861962240 21929 4294967295 134512640 134569956 3221224368 3221214568 1131214698 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210440 21929 13086 16 0 210424 0
vsize: 841760
[startup+120.008 s]
Raw data (loadavg): 1.03 1.02 1.00 2/64 16476
Raw data (stat): 16418 (java) R 16417 3394 3393 0 -1 0 18136 9 1 0 11370 40 1 1 25 0 11 0 837586634 861962240 21988 4294967295 134512640 134569956 3221224368 3221214568 1131214599 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210440 21988 13086 16 0 210424 0
vsize: 841760
[startup+130.009 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 16476
Raw data (stat): 16418 (java) R 16417 3394 3393 0 -1 0 18136 9 1 0 12349 41 1 1 25 0 11 0 837586634 861962240 22060 4294967295 134512640 134569956 3221224368 3221214568 1131214283 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210440 22060 13086 16 0 210424 0
vsize: 841760
[startup+140.009 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 16476
Raw data (stat): 16418 (java) R 16417 3394 3393 0 -1 0 18136 9 1 0 13334 41 1 1 25 0 11 0 837586634 861962240 22112 4294967295 134512640 134569956 3221224368 3221214432 1131435943 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210440 22112 13086 16 0 210424 0
vsize: 841760
[startup+150.01 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 16476
Raw data (stat): 16418 (java) R 16417 3394 3393 0 -1 0 18136 9 1 0 14318 41 1 1 25 0 11 0 837586634 861962240 22184 4294967295 134512640 134569956 3221224368 3221214664 1131293274 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210440 22184 13086 16 0 210424 0
vsize: 841760
[startup+160.011 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 16476
Raw data (stat): 16418 (java) R 16417 3394 3393 0 -1 0 18136 9 1 0 15302 42 1 1 25 0 11 0 837586634 861962240 22263 4294967295 134512640 134569956 3221224368 3221214400 1131423552 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210440 22263 13086 16 0 210424 0
vsize: 841760
[startup+170.012 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 16476
Raw data (stat): 16418 (java) R 16417 3394 3393 0 -1 0 18136 9 1 0 16292 42 1 1 25 0 11 0 837586634 861962240 22320 4294967295 134512640 134569956 3221224368 3221214664 1131290878 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210440 22320 13086 16 0 210424 0
vsize: 841760
[startup+180.012 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 16476
Raw data (stat): 16418 (java) R 16417 3394 3393 0 -1 0 18136 9 1 0 17277 42 1 1 25 0 11 0 837586634 861962240 22390 4294967295 134512640 134569956 3221224368 3221214184 1131471839 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210440 22390 13086 16 0 210424 0
vsize: 841760
[startup+190.013 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 16476
Raw data (stat): 16418 (java) R 16417 3394 3393 0 -1 0 18136 9 1 0 18263 43 1 1 25 0 11 0 837586634 861962240 22458 4294967295 134512640 134569956 3221224368 3221214432 1131435828 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210440 22458 13086 16 0 210424 0
vsize: 841760
[startup+200.013 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 16476
Raw data (stat): 16418 (java) R 16417 3394 3393 0 -1 0 18136 9 1 0 19251 43 1 1 25 0 11 0 837586634 861962240 22520 4294967295 134512640 134569956 3221224368 3221214432 1131435836 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210440 22520 13086 16 0 210424 0
vsize: 841760
[startup+210.013 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 16476
Raw data (stat): 16418 (java) R 16417 3394 3393 0 -1 0 18136 9 1 0 20246 44 1 1 25 0 11 0 837586634 861962240 22527 4294967295 134512640 134569956 3221224368 3221214568 1131170451 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210440 22527 13086 16 0 210424 0
vsize: 841760
[startup+220.014 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 16476
Raw data (stat): 16418 (java) R 16417 3394 3393 0 -1 0 18136 9 1 0 21232 44 1 1 25 0 11 0 837586634 861962240 22588 4294967295 134512640 134569956 3221224368 3221214568 1131214524 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210440 22588 13086 16 0 210424 0
vsize: 841760
[startup+230.015 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 16476
Raw data (stat): 16418 (java) R 16417 3394 3393 0 -1 0 18136 9 1 0 22222 44 1 1 25 0 11 0 837586634 861962240 22640 4294967295 134512640 134569956 3221224368 3221214568 1131214553 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210440 22640 13086 16 0 210424 0
vsize: 841760
[startup+240.015 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 16476
Raw data (stat): 16418 (java) R 16417 3394 3393 0 -1 0 18136 9 1 0 23207 45 1 1 25 0 11 0 837586634 861962240 22713 4294967295 134512640 134569956 3221224368 3221214568 1131214634 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210440 22713 13086 16 0 210424 0
vsize: 841760
[startup+250.016 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 16476
Raw data (stat): 16418 (java) R 16417 3394 3393 0 -1 0 18136 9 1 0 24193 45 1 1 25 0 11 0 837586634 861962240 22784 4294967295 134512640 134569956 3221224368 3221214664 1131294455 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210440 22784 13086 16 0 210424 0
vsize: 841760
[startup+260.016 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 16476
Raw data (stat): 16418 (java) R 16417 3394 3393 0 -1 0 18136 9 1 0 25181 45 1 1 25 0 11 0 837586634 861962240 22852 4294967295 134512640 134569956 3221224368 3221214568 1131214719 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210440 22852 13086 16 0 210424 0
vsize: 841760
[startup+270.017 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 16476
Raw data (stat): 16418 (java) R 16417 3394 3393 0 -1 0 18136 9 1 0 26171 45 1 1 25 0 11 0 837586634 861962240 22926 4294967295 134512640 134569956 3221224368 3221214464 1131279235 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210440 22926 13086 16 0 210424 0
vsize: 841760
[startup+280.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16476
Raw data (stat): 16418 (java) R 16417 3394 3393 0 -1 0 18136 9 1 0 27164 45 1 1 25 0 11 0 837586634 861962240 22975 4294967295 134512640 134569956 3221224368 3221214504 1131361012 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210440 22975 13086 16 0 210424 0
vsize: 841760
[startup+290.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16476
Raw data (stat): 16418 (java) R 16417 3394 3393 0 -1 0 18136 9 1 0 28156 45 1 1 25 0 11 0 837586634 861962240 23003 4294967295 134512640 134569956 3221224368 3221214464 1131278765 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210440 23003 13086 16 0 210424 0
vsize: 841760
[startup+300.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16476
Raw data (stat): 16418 (java) R 16417 3394 3393 0 -1 0 18136 9 1 0 29150 45 1 1 25 0 11 0 837586634 861962240 23020 4294967295 134512640 134569956 3221224368 3221214208 1080217246 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210440 23020 13086 16 0 210424 0
vsize: 841760
[startup+310.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16476
Raw data (stat): 16418 (java) R 16417 3394 3393 0 -1 0 18136 9 1 0 30146 45 1 1 25 0 11 0 837586634 861962240 23032 4294967295 134512640 134569956 3221224368 3221214400 1131423379 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210440 23032 13086 16 0 210424 0
vsize: 841760
[startup+320.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16476
Raw data (stat): 16418 (java) R 16417 3394 3393 0 -1 0 18136 9 1 0 31142 45 1 1 25 0 11 0 837586634 861962240 23043 4294967295 134512640 134569956 3221224368 3221214448 1131397154 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210440 23043 13086 16 0 210424 0
vsize: 841760
[startup+330.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16476
Raw data (stat): 16418 (java) R 16417 3394 3393 0 -1 0 18136 9 1 0 32136 45 1 1 25 0 11 0 837586634 861962240 23066 4294967295 134512640 134569956 3221224368 3221214400 1131423557 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210440 23066 13086 16 0 210424 0
vsize: 841760
[startup+340.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16476
Raw data (stat): 16418 (java) R 16417 3394 3393 0 -1 0 18136 9 1 0 33133 45 1 1 25 0 11 0 837586634 861962240 23069 4294967295 134512640 134569956 3221224368 3221214504 1131360853 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210440 23069 13086 16 0 210424 0
vsize: 841760
[startup+350.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16476
Raw data (stat): 16418 (java) R 16417 3394 3393 0 -1 0 18136 9 1 0 34131 45 1 1 25 0 11 0 837586634 861962240 23106 4294967295 134512640 134569956 3221224368 3221214464 1131279459 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210440 23106 13086 16 0 210424 0
vsize: 841760
[startup+360.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16476
Raw data (stat): 16418 (java) R 16417 3394 3393 0 -1 0 18136 9 1 0 35123 45 1 1 25 0 11 0 837586634 861962240 23219 4294967295 134512640 134569956 3221224368 3221214400 1131423377 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210440 23219 13086 16 0 210424 0
vsize: 841760
[startup+370.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16476
Raw data (stat): 16418 (java) R 16417 3394 3393 0 -1 0 18136 9 1 0 36115 46 1 1 25 0 11 0 837586634 861962240 23258 4294967295 134512640 134569956 3221224368 3221214568 1131214581 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210440 23258 13086 16 0 210424 0
vsize: 841760
[startup+380.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 16477
Raw data (stat): 16418 (java) R 16417 3394 3393 0 -1 0 18136 9 1 0 37101 46 1 1 25 0 11 0 837586634 861962240 23335 4294967295 134512640 134569956 3221224368 3221214480 1131371464 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210440 23335 13086 16 0 210424 0
vsize: 841760
[startup+390.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16529
Raw data (stat): 16418 (java) R 16417 3394 3393 0 -1 0 18136 9 1 0 38082 57 1 1 25 0 11 0 837586634 861962240 23414 4294967295 134512640 134569956 3221224368 3221214472 1131279316 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210440 23414 13086 16 0 210424 0
vsize: 841760
[startup+400.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16529
Raw data (stat): 16418 (java) R 16417 3394 3393 0 -1 0 18136 9 1 0 39076 57 1 1 25 0 11 0 837586634 861962240 23486 4294967295 134512640 134569956 3221224368 3221214480 1131371430 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210440 23486 13086 16 0 210424 0
vsize: 841760
[startup+410.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16529
Raw data (stat): 16418 (java) R 16417 3394 3393 0 -1 0 18136 9 1 0 40067 58 1 1 25 0 11 0 837586634 861962240 23548 4294967295 134512640 134569956 3221224368 3221214496 1131419847 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210440 23548 13086 16 0 210424 0
vsize: 841760
[startup+420.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16529
Raw data (stat): 16418 (java) R 16417 3394 3393 0 -1 0 18136 9 1 0 41052 58 1 1 25 0 11 0 837586634 861962240 23658 4294967295 134512640 134569956 3221224368 3221214568 1131214541 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210440 23658 13086 16 0 210424 0
vsize: 841760
[startup+430.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16529
Raw data (stat): 16418 (java) R 16417 3394 3393 0 -1 0 18136 9 1 0 42041 58 1 1 25 0 11 0 837586634 861962240 23742 4294967295 134512640 134569956 3221224368 3221214568 1131214486 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210440 23742 13086 16 0 210424 0
vsize: 841760
[startup+440.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16529
Raw data (stat): 16418 (java) R 16417 3394 3393 0 -1 0 18136 9 1 0 43033 58 1 1 25 0 11 0 837586634 861962240 23837 4294967295 134512640 134569956 3221224368 3221214504 1131360831 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210440 23837 13086 16 0 210424 0
vsize: 841760
[startup+450.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16531
Raw data (stat): 16418 (java) R 16417 3394 3393 0 -1 0 18136 9 1 0 44016 58 1 1 25 0 11 0 837586634 861962240 23992 4294967295 134512640 134569956 3221224368 3221214556 1131471052 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210440 23992 13086 16 0 210424 0
vsize: 841760
[startup+460.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16531
Raw data (stat): 16418 (java) R 16417 3394 3393 0 -1 0 18136 9 1 0 45003 58 1 1 25 0 11 0 837586634 861962240 24104 4294967295 134512640 134569956 3221224368 3221214432 1131435762 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210440 24104 13086 16 0 210424 0
vsize: 841760
[startup+470.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16531
Raw data (stat): 16418 (java) R 16417 3394 3393 0 -1 0 18136 9 1 0 45999 58 1 1 25 0 11 0 837586634 861962240 24145 4294967295 134512640 134569956 3221224368 3221214480 1131371430 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210440 24145 13086 16 0 210424 0
vsize: 841760
[startup+480.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16531
Raw data (stat): 16418 (java) R 16417 3394 3393 0 -1 0 18136 9 1 0 46997 58 1 1 25 0 11 0 837586634 861962240 24167 4294967295 134512640 134569956 3221224368 3221214616 1131360849 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210440 24167 13086 16 0 210424 0
vsize: 841760
[startup+490.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16531
Raw data (stat): 16418 (java) R 16417 3394 3393 0 -1 0 18136 9 1 0 47991 58 1 1 24 0 11 0 837586634 861962240 24221 4294967295 134512640 134569956 3221224368 3221214568 1131215006 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210440 24221 13086 16 0 210424 0
vsize: 841760
[startup+500.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16531
Raw data (stat): 16418 (java) R 16417 3394 3393 0 -1 0 18136 9 1 0 48987 58 1 1 25 0 11 0 837586634 861962240 24232 4294967295 134512640 134569956 3221224368 3221214664 1131287931 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210440 24232 13086 16 0 210424 0
vsize: 841760
[startup+510.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16531
Raw data (stat): 16418 (java) R 16417 3394 3393 0 -1 0 18136 9 1 0 49984 58 1 1 25 0 11 0 837586634 861962240 24267 4294967295 134512640 134569956 3221224368 3221214432 1131435845 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210440 24267 13086 16 0 210424 0
vsize: 841760
[startup+520.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16531
Raw data (stat): 16418 (java) R 16417 3394 3393 0 -1 0 18136 9 1 0 50980 58 1 1 25 0 11 0 837586634 861962240 24287 4294967295 134512640 134569956 3221224368 3221214400 1131423355 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210440 24287 13086 16 0 210424 0
vsize: 841760
[startup+530.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16531
Raw data (stat): 16418 (java) R 16417 3394 3393 0 -1 0 18136 9 1 0 51971 58 1 1 25 0 11 0 837586634 861962240 24351 4294967295 134512640 134569956 3221224368 3221214568 1131214135 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210440 24351 13086 16 0 210424 0
vsize: 841760
[startup+540.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16531
Raw data (stat): 16418 (java) R 16417 3394 3393 0 -1 0 18136 9 1 0 52963 58 1 1 25 0 11 0 837586634 861962240 24403 4294967295 134512640 134569956 3221224368 3221214616 1131360925 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210440 24403 13086 16 0 210424 0
vsize: 841760
[startup+550.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16531
Raw data (stat): 16418 (java) R 16417 3394 3393 0 -1 0 18136 9 1 0 53961 59 1 1 25 0 11 0 837586634 861962240 24407 4294967295 134512640 134569956 3221224368 3221214504 1131360734 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210440 24407 13086 16 0 210424 0
vsize: 841760
[startup+560.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16531
Raw data (stat): 16418 (java) R 16417 3394 3393 0 -1 0 18136 9 1 0 54960 59 1 1 25 0 11 0 837586634 861962240 24407 4294967295 134512640 134569956 3221224368 3221214568 1131214696 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210440 24407 13086 16 0 210424 0
vsize: 841760
[startup+570.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16531
Raw data (stat): 16418 (java) R 16417 3394 3393 0 -1 0 18136 9 1 0 55953 59 1 1 25 0 11 0 837586634 861962240 24416 4294967295 134512640 134569956 3221224368 3221214568 1131214251 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210440 24416 13086 16 0 210424 0
vsize: 841760
[startup+580.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16531
Raw data (stat): 16418 (java) R 16417 3394 3393 0 -1 0 18136 9 1 0 56942 59 1 1 25 0 11 0 837586634 861962240 24458 4294967295 134512640 134569956 3221224368 3221214432 1131435922 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210440 24458 13086 16 0 210424 0
vsize: 841760
[startup+590.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16531
Raw data (stat): 16418 (java) R 16417 3394 3393 0 -1 0 18136 9 1 0 57942 59 1 1 25 0 11 0 837586634 861962240 24458 4294967295 134512640 134569956 3221224368 3221214368 1131423340 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210440 24458 13086 16 0 210424 0
vsize: 841760
[startup+600.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16531
Raw data (stat): 16418 (java) R 16417 3394 3393 0 -1 0 18136 9 1 0 58938 59 1 1 25 0 11 0 837586634 861962240 24489 4294967295 134512640 134569956 3221224368 3221214112 1131527020 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210440 24489 13086 16 0 210424 0
vsize: 841760
[startup+610.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16531
Raw data (stat): 16418 (java) R 16417 3394 3393 0 -1 0 18136 9 1 0 59932 59 1 1 25 0 11 0 837586634 861962240 24528 4294967295 134512640 134569956 3221224368 3221214472 1131279360 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210440 24528 13086 16 0 210424 0
vsize: 841760
[startup+620.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16531
Raw data (stat): 16418 (java) R 16417 3394 3393 0 -1 0 18136 9 1 0 60922 59 1 1 25 0 11 0 837586634 861962240 24597 4294967295 134512640 134569956 3221224368 3221214568 1131214480 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210440 24597 13086 16 0 210424 0
vsize: 841760
[startup+630.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16531
Raw data (stat): 16418 (java) R 16417 3394 3393 0 -1 0 18136 9 1 0 61916 59 1 1 25 0 11 0 837586634 861962240 24603 4294967295 134512640 134569956 3221224368 3221214368 1131423587 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210440 24603 13086 16 0 210424 0
vsize: 841760
[startup+640.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16531
Raw data (stat): 16418 (java) R 16417 3394 3393 0 -1 0 18136 9 1 0 62908 59 1 1 25 0 11 0 837586634 861962240 24626 4294967295 134512640 134569956 3221224368 3221214568 1131214593 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210440 24626 13086 16 0 210424 0
vsize: 841760
[startup+650.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16531
Raw data (stat): 16418 (java) R 16417 3394 3393 0 -1 0 18136 9 1 0 63896 59 1 1 25 0 11 0 837586634 861962240 24689 4294967295 134512640 134569956 3221224368 3221214664 1131289968 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210440 24689 13086 16 0 210424 0
vsize: 841760
[startup+660.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16531
Raw data (stat): 16418 (java) R 16417 3394 3393 0 -1 0 18136 9 1 0 64890 59 1 1 25 0 11 0 837586634 861962240 24712 4294967295 134512640 134569956 3221224368 3221214400 1131423491 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210440 24712 13086 16 0 210424 0
vsize: 841760
[startup+670.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16531
Raw data (stat): 16418 (java) R 16417 3394 3393 0 -1 0 18136 9 1 0 65888 59 1 1 25 0 11 0 837586634 861962240 24714 4294967295 134512640 134569956 3221224368 3221214288 1131473681 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210440 24714 13086 16 0 210424 0
vsize: 841760
[startup+680.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16531
Raw data (stat): 16418 (java) R 16417 3394 3393 0 -1 0 18136 9 1 0 66873 59 1 1 25 0 11 0 837586634 861962240 24805 4294967295 134512640 134569956 3221224368 3221214568 1131214135 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210440 24805 13086 16 0 210424 0
vsize: 841760
[startup+690.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16531
Raw data (stat): 16418 (java) R 16417 3394 3393 0 -1 0 18136 9 1 0 67863 59 1 1 25 0 11 0 837586634 861962240 24878 4294967295 134512640 134569956 3221224368 3221214432 1131435900 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210440 24878 13086 16 0 210424 0
vsize: 841760
[startup+700.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16531
Raw data (stat): 16418 (java) R 16417 3394 3393 0 -1 0 18136 9 1 0 68856 59 1 1 25 0 11 0 837586634 861962240 24904 4294967295 134512640 134569956 3221224368 3221214568 1131214461 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210440 24904 13086 16 0 210424 0
vsize: 841760
[startup+710.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16531
Raw data (stat): 16418 (java) R 16417 3394 3393 0 -1 0 18136 9 1 0 69852 59 1 1 25 0 11 0 837586634 861962240 24915 4294967295 134512640 134569956 3221224368 3221214472 1131279110 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210440 24915 13086 16 0 210424 0
vsize: 841760
[startup+720.031 s]
Raw data (loadavg): 1.00 1.00 1.00 3/64 16531
Raw data (stat): 16418 (java) R 16417 3394 3393 0 -1 0 18136 9 1 0 70846 59 1 1 25 0 11 0 837586634 861962240 24981 4294967295 134512640 134569956 3221224368 3221214432 1131436007 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210440 24981 13086 16 0 210424 0
vsize: 841760
[startup+730.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16533
Raw data (stat): 16418 (java) R 16417 3394 3393 0 -1 0 18136 9 1 0 71832 59 1 1 25 0 11 0 837586634 861962240 25027 4294967295 134512640 134569956 3221224368 3221214576 1131202677 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210440 25027 13086 16 0 210424 0
vsize: 841760
[startup+740.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16533
Raw data (stat): 16418 (java) R 16417 3394 3393 0 -1 0 18136 9 1 0 72825 59 1 1 25 0 11 0 837586634 861962240 25074 4294967295 134512640 134569956 3221224368 3221214480 1131371422 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210440 25074 13086 16 0 210424 0
vsize: 841760
[startup+750.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16533
Raw data (stat): 16418 (java) R 16417 3394 3393 0 -1 0 18136 9 1 0 73825 59 1 1 25 0 11 0 837586634 861962240 25074 4294967295 134512640 134569956 3221224368 3221214664 1131293408 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210440 25074 13086 16 0 210424 0
vsize: 841760
[startup+760.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16533
Raw data (stat): 16418 (java) R 16417 3394 3393 0 -1 0 18136 9 1 0 74811 59 1 1 25 0 11 0 837586634 861962240 25135 4294967295 134512640 134569956 3221224368 3221214400 1131473632 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210440 25135 13086 16 0 210424 0
vsize: 841760
[startup+770.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16533
Raw data (stat): 16418 (java) R 16417 3394 3393 0 -1 0 18136 9 1 0 75795 59 1 1 25 0 11 0 837586634 861962240 25182 4294967295 134512640 134569956 3221224368 3221214272 1080217322 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210440 25182 13086 16 0 210424 0
vsize: 841760
[startup+780.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16533
Raw data (stat): 16418 (java) R 16417 3394 3393 0 -1 0 18136 9 1 0 76786 59 1 1 25 0 11 0 837586634 861962240 25275 4294967295 134512640 134569956 3221224368 3221214664 1131287855 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210440 25275 13086 16 0 210424 0
vsize: 841760
[startup+790.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16533
Raw data (stat): 16418 (java) R 16417 3394 3393 0 -1 0 18136 9 1 0 77772 59 1 1 25 0 11 0 837586634 861962240 25357 4294967295 134512640 134569956 3221224368 3221214664 1131287829 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210440 25357 13086 16 0 210424 0
vsize: 841760
[startup+800.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16533
Raw data (stat): 16418 (java) R 16417 3394 3393 0 -1 0 18136 9 1 0 78762 59 1 1 25 0 11 0 837586634 861962240 25415 4294967295 134512640 134569956 3221224368 3221214568 1131214585 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210440 25415 13086 16 0 210424 0
vsize: 841760
[startup+810.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16533
Raw data (stat): 16418 (java) R 16417 3394 3393 0 -1 0 18136 9 1 0 79751 59 1 1 25 0 11 0 837586634 861962240 25507 4294967295 134512640 134569956 3221224368 3221214504 1131360333 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210440 25507 13086 16 0 210424 0
vsize: 841760
[startup+820.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16533
Raw data (stat): 16418 (java) R 16417 3394 3393 0 -1 0 18136 9 1 0 80742 59 1 1 25 0 11 0 837586634 861962240 25547 4294967295 134512640 134569956 3221224368 3221214400 1131423456 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210440 25547 13086 16 0 210424 0
vsize: 841760
[startup+830.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16533
Raw data (stat): 16418 (java) R 16417 3394 3393 0 -1 0 18136 9 1 0 81731 59 1 1 25 0 11 0 837586634 861962240 25576 4294967295 134512640 134569956 3221224368 3221214568 1131214135 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210440 25576 13086 16 0 210424 0
vsize: 841760
[startup+840.054 s]
Raw data (loadavg): 1.00 1.00 1.00 3/64 16533
Raw data (stat): 16418 (java) R 16417 3394 3393 0 -1 0 18136 9 1 0 82720 59 1 1 25 0 11 0 837586634 861962240 25639 4294967295 134512640 134569956 3221224368 3221214504 1131360688 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210440 25639 13086 16 0 210424 0
vsize: 841760
[startup+850.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16533
Raw data (stat): 16418 (java) R 16417 3394 3393 0 -1 0 18136 9 1 0 83708 59 1 1 25 0 11 0 837586634 861962240 25663 4294967295 134512640 134569956 3221224368 3221214568 1131214706 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210440 25663 13086 16 0 210424 0
vsize: 841760
[startup+860.056 s]
Raw data (loadavg): 1.00 1.00 1.00 4/64 16533
Raw data (stat): 16418 (java) R 16417 3394 3393 0 -1 0 18136 9 1 0 84698 59 1 1 25 0 11 0 837586634 861962240 25717 4294967295 134512640 134569956 3221224368 3221214808 1131197401 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210440 25717 13086 16 0 210424 0
vsize: 841760
[startup+870.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16533
Raw data (stat): 16418 (java) R 16417 3394 3393 0 -1 0 18136 9 1 0 85683 59 1 1 25 0 11 0 837586634 861962240 25764 4294967295 134512640 134569956 3221224368 3221214472 1131278611 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210440 25764 13086 16 0 210424 0
vsize: 841760
[startup+880.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16533
Raw data (stat): 16418 (java) R 16417 3394 3393 0 -1 0 18136 9 1 0 86675 60 1 1 25 0 11 0 837586634 861962240 25823 4294967295 134512640 134569956 3221224368 3221214512 1131214330 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210440 25823 13086 16 0 210424 0
vsize: 841760
[startup+890.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16533
Raw data (stat): 16418 (java) R 16417 3394 3393 0 -1 0 18136 9 1 0 87666 60 1 1 25 0 11 0 837586634 861962240 25841 4294967295 134512640 134569956 3221224368 3221214616 1131360901 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210440 25841 13086 16 0 210424 0
vsize: 841760
[startup+900.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16533
Raw data (stat): 16418 (java) R 16417 3394 3393 0 -1 0 18136 9 1 0 88660 60 1 1 25 0 11 0 837586634 861962240 25875 4294967295 134512640 134569956 3221224368 3221214568 1131214549 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210440 25875 13086 16 0 210424 0
vsize: 841760
[startup+910.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16533
Raw data (stat): 16418 (java) R 16417 3394 3393 0 -1 0 18136 9 1 0 89643 60 1 1 25 0 11 0 837586634 861962240 25927 4294967295 134512640 134569956 3221224368 3221214568 1131214682 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210440 25927 13086 16 0 210424 0
vsize: 841760
[startup+920.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16533
Raw data (stat): 16418 (java) R 16417 3394 3393 0 -1 0 18136 9 1 0 90634 60 1 1 25 0 11 0 837586634 861962240 25974 4294967295 134512640 134569956 3221224368 3221214504 1131360751 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210440 25974 13086 16 0 210424 0
vsize: 841760
[startup+930.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16533
Raw data (stat): 16418 (java) R 16417 3394 3393 0 -1 0 18136 9 1 0 91625 60 1 1 25 0 11 0 837586634 861962240 26032 4294967295 134512640 134569956 3221224368 3221214656 1131262610 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210440 26032 13086 16 0 210424 0
vsize: 841760
[startup+940.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16533
Raw data (stat): 16418 (java) R 16417 3394 3393 0 -1 0 18136 9 1 0 92621 60 1 1 25 0 11 0 837586634 861962240 26038 4294967295 134512640 134569956 3221224368 3221214432 1131435943 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210440 26038 13086 16 0 210424 0
vsize: 841760
[startup+950.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16533
Raw data (stat): 16418 (java) R 16417 3394 3393 0 -1 0 18136 9 1 0 93614 60 1 1 25 0 11 0 837586634 861962240 26062 4294967295 134512640 134569956 3221224368 3221214568 1131214135 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210440 26062 13086 16 0 210424 0
vsize: 841760
[startup+960.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16533
Raw data (stat): 16418 (java) R 16417 3394 3393 0 -1 0 18136 9 1 0 94598 60 1 1 25 0 11 0 837586634 861962240 26168 4294967295 134512640 134569956 3221224368 3221214568 1131214943 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210440 26168 13086 16 0 210424 0
vsize: 841760
[startup+970.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16533
Raw data (stat): 16418 (java) R 16417 3394 3393 0 -1 0 18136 9 1 0 95592 60 1 1 25 0 11 0 837586634 861962240 26224 4294967295 134512640 134569956 3221224368 3221214568 1131214196 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210440 26224 13086 16 0 210424 0
vsize: 841760
[startup+980.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16533
Raw data (stat): 16418 (java) R 16417 3394 3393 0 -1 0 18136 9 1 0 96590 60 1 1 25 0 11 0 837586634 861962240 26249 4294967295 134512640 134569956 3221224368 3221214432 1131435969 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210440 26249 13086 16 0 210424 0
vsize: 841760
[startup+990.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16533
Raw data (stat): 16418 (java) R 16417 3394 3393 0 -1 0 18136 9 1 0 97578 60 1 1 25 0 11 0 837586634 861962240 26330 4294967295 134512640 134569956 3221224368 3221214464 1131279459 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210440 26330 13086 16 0 210424 0
vsize: 841760
[startup+1000.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16533
Raw data (stat): 16418 (java) R 16417 3394 3393 0 -1 0 18136 9 1 0 98574 60 1 1 25 0 11 0 837586634 861962240 26334 4294967295 134512640 134569956 3221224368 3221214432 1131436025 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210440 26334 13086 16 0 210424 0
vsize: 841760
[startup+1010.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16533
Raw data (stat): 16418 (java) R 16417 3394 3393 0 -1 0 18136 9 1 0 99566 60 1 1 25 0 11 0 837586634 861962240 26351 4294967295 134512640 134569956 3221224368 3221214568 1131214753 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210440 26351 13086 16 0 210424 0
vsize: 841760
[startup+1020.06 s]
Raw data (loadavg): 1.07 1.02 1.00 2/64 16533
Raw data (stat): 16418 (java) R 16417 3394 3393 0 -1 0 18136 9 1 0 100556 60 1 1 25 0 11 0 837586634 861962240 26413 4294967295 134512640 134569956 3221224368 3221214400 1131423499 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210440 26413 13086 16 0 210424 0
vsize: 841760
[startup+1030.06 s]
Raw data (loadavg): 1.06 1.02 1.00 2/64 16533
Raw data (stat): 16418 (java) R 16417 3394 3393 0 -1 0 18136 9 1 0 101547 60 1 1 25 0 11 0 837586634 861962240 26462 4294967295 134512640 134569956 3221224368 3221214432 1131434457 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210440 26462 13086 16 0 210424 0
vsize: 841760
[startup+1040.07 s]
Raw data (loadavg): 1.05 1.01 1.00 2/64 16533
Raw data (stat): 16418 (java) R 16417 3394 3393 0 -1 0 18136 9 1 0 102534 60 1 1 25 0 11 0 837586634 861962240 26474 4294967295 134512640 134569956 3221224368 3221214568 1131214573 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210440 26474 13086 16 0 210424 0
vsize: 841760
[startup+1050.07 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 16533
Raw data (stat): 16418 (java) R 16417 3394 3393 0 -1 0 18136 9 1 0 103521 60 1 1 25 0 11 0 837586634 861962240 26578 4294967295 134512640 134569956 3221224368 3221214560 1131527894 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210440 26578 13086 16 0 210424 0
vsize: 841760
[startup+1060.07 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 16533
Raw data (stat): 16418 (java) R 16417 3394 3393 0 -1 0 18136 9 1 0 104506 60 1 1 25 0 11 0 837586634 861962240 26657 4294967295 134512640 134569956 3221224368 3221214568 1131214648 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210440 26657 13086 16 0 210424 0
vsize: 841760
[startup+1070.07 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 16533
Raw data (stat): 16418 (java) R 16417 3394 3393 0 -1 0 18136 9 1 0 105494 60 1 1 25 0 11 0 837586634 861962240 26687 4294967295 134512640 134569956 3221224368 3221214432 1131435911 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210440 26687 13086 16 0 210424 0
vsize: 841760
[startup+1080.07 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 16533
Raw data (stat): 16418 (java) S 16417 3394 3393 0 -1 0 18136 9 1 0 106480 60 1 1 25 0 11 0 837586634 861962240 26787 4294967295 134512640 134569956 3221224368 3221213272 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210440 26787 13086 16 0 210424 0
vsize: 841760
[startup+1090.07 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 16533
Raw data (stat): 16418 (java) R 16417 3394 3393 0 -1 0 18136 9 1 0 107469 60 1 1 25 0 11 0 837586634 861962240 26847 4294967295 134512640 134569956 3221224368 3221214568 1131214644 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210440 26847 13086 16 0 210424 0
vsize: 841760
[startup+1100.07 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 16533
Raw data (stat): 16418 (java) R 16417 3394 3393 0 -1 0 18136 9 1 0 108468 60 1 1 25 0 11 0 837586634 861962240 26853 4294967295 134512640 134569956 3221224368 3221214480 1131371412 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210440 26853 13086 16 0 210424 0
vsize: 841760
[startup+1110.07 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 16533
Raw data (stat): 16418 (java) R 16417 3394 3393 0 -1 0 18136 9 1 0 109468 60 1 1 25 0 11 0 837586634 861962240 26853 4294967295 134512640 134569956 3221224368 3221214400 1131423452 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210440 26853 13086 16 0 210424 0
vsize: 841760
[startup+1120.07 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 16533
Raw data (stat): 16418 (java) R 16417 3394 3393 0 -1 0 18136 9 1 0 110460 60 1 1 25 0 11 0 837586634 861962240 26881 4294967295 134512640 134569956 3221224368 3221214664 1131289236 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210440 26881 13086 16 0 210424 0
vsize: 841760
[startup+1130.07 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 16533
Raw data (stat): 16418 (java) R 16417 3394 3393 0 -1 0 18136 9 1 0 111450 60 1 1 25 0 11 0 837586634 861962240 26913 4294967295 134512640 134569956 3221224368 3221214568 1131214569 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210440 26913 13086 16 0 210424 0
vsize: 841760
[startup+1140.07 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 16533
Raw data (stat): 16418 (java) R 16417 3394 3393 0 -1 0 18136 9 1 0 112444 60 1 1 25 0 11 0 837586634 861962240 26934 4294967295 134512640 134569956 3221224368 3221214504 1131361000 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210440 26934 13086 16 0 210424 0
vsize: 841760
[startup+1150.08 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 16533
Raw data (stat): 16418 (java) R 16417 3394 3393 0 -1 0 18136 9 1 0 113440 60 1 1 25 0 11 0 837586634 861962240 26963 4294967295 134512640 134569956 3221224368 3221214400 1131423328 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210440 26963 13086 16 0 210424 0
vsize: 841760
[startup+1160.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16533
Raw data (stat): 16418 (java) R 16417 3394 3393 0 -1 0 18136 9 1 0 114435 60 1 1 25 0 11 0 837586634 861962240 26975 4294967295 134512640 134569956 3221224368 3221214432 1131435828 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210440 26975 13086 16 0 210424 0
vsize: 841760
[startup+1170.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16533
Raw data (stat): 16418 (java) R 16417 3394 3393 0 -1 0 18136 9 1 0 115431 60 1 1 25 0 11 0 837586634 861962240 27001 4294967295 134512640 134569956 3221224368 3221214504 1131360730 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210440 27001 13086 16 0 210424 0
vsize: 841760
[startup+1180.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16533
Raw data (stat): 16418 (java) R 16417 3394 3393 0 -1 0 18136 9 1 0 116427 60 1 1 25 0 11 0 837586634 861962240 27021 4294967295 134512640 134569956 3221224368 3221214432 1131435644 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210440 27021 13086 16 0 210424 0
vsize: 841760
[startup+1190.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16533
Raw data (stat): 16418 (java) R 16417 3394 3393 0 -1 0 18136 9 1 0 117425 60 1 1 25 0 11 0 837586634 861962240 27029 4294967295 134512640 134569956 3221224368 3221214512 1131214656 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210440 27029 13086 16 0 210424 0
vsize: 841760
[startup+1200.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16533
Raw data (stat): 16418 (java) R 16417 3394 3393 0 -1 0 18136 9 1 0 118425 60 1 1 25 0 11 0 837586634 861962240 27029 4294967295 134512640 134569956 3221224368 3221214400 1131423379 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210440 27029 13086 16 0 210424 0
vsize: 841760
[startup+1210.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16533
Raw data (stat): 16418 (java) R 16417 3394 3393 0 -1 0 18136 9 1 0 119420 61 1 1 25 0 11 0 837586634 861962240 27030 4294967295 134512640 134569956 3221224368 3221214568 1131214569 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210440 27030 13086 16 0 210424 0
vsize: 841760
[startup+1220.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16533
Raw data (stat): 16418 (java) R 16417 3394 3393 0 -1 0 18136 9 1 0 120413 61 1 1 25 0 11 0 837586634 861962240 27068 4294967295 134512640 134569956 3221224368 3221214568 1131214648 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210440 27068 13086 16 0 210424 0
vsize: 841760
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1220.19 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 16535
Raw data (stat): 16418 (java) Z 16417 3394 3393 0 -1 1036 18136 6891 1 0 120419 61 1186 21 25 0 1 0 837586634 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 0 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.19
CPU time (s): 1216.89
CPU user time (s): 1216.07
CPU system time (s): 0.826874
CPU usage (%): 99.7296
Max. virtual memory (Kb): 842144
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	-7772
#### END VERIFIER DATA ####