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/submitted/een/normalized-lseu.opb
MD5SUM	a578bf261896413ca78de4dc6db2447f
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.02184
Number of variables	89
Total number of constraints	28
Number of constraints which are clauses	2
Number of constraints which are cardinality constraints (but not clauses)	15
Number of constraints which are nor clauses,nor cardinality constraints	11
Minimum length of a constraint	2
Maximum length of a constraint	47
Trace number 29405

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        838812 kB
Buffers:         25380 kB
Cached:         149048 kB
SwapCached:        672 kB
Active:          43856 kB
Inactive:       132568 kB
HighTotal:      131008 kB
HighFree:         3024 kB
LowTotal:       903652 kB
LowFree:        835788 kB
SwapTotal:     2097136 kB
SwapFree:      2095624 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5076 kB
Slab:            13744 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 07:40:27 (client local time) WITH STATUS 143 IN 1247.46 SECONDS
stats: 20797 0 1247.46 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/wulflinc15/normalized-lseu.opb
c reading problem ... done. Time 0.23 ms.
c #vars     89
c #constraints  28
c SATISFIABLE
c OPTIMIZING...
c CURRENT OPTIMUM=                3730 		Current CPU time: 0.66 ms
c CURRENT OPTIMUM=                3597 		Current CPU time: 0.92 ms
c CURRENT OPTIMUM=                3558 		Current CPU time: 4.67 ms
c CURRENT OPTIMUM=                3542 		Current CPU time: 4.96 ms
c CURRENT OPTIMUM=                3075 		Current CPU time: 8.93 ms
c CURRENT OPTIMUM=                3000 		Current CPU time: 12.10 ms
c CURRENT OPTIMUM=                2688 		Current CPU time: 16.02 ms
c CURRENT OPTIMUM=                2438 		Current CPU time: 16.11 ms
c CURRENT OPTIMUM=                2188 		Current CPU time: 16.21 ms
c CURRENT OPTIMUM=                2113 		Current CPU time: 16.30 ms
c CURRENT OPTIMUM=                2103 		Current CPU time: 20.04 ms
c CURRENT OPTIMUM=                2056 		Current CPU time: 25.75 ms
c CURRENT OPTIMUM=                2027 		Current CPU time: 27.98 ms
c CURRENT OPTIMUM=                2013 		Current CPU time: 39.99 ms
c CURRENT OPTIMUM=                1950 		Current CPU time: 45.77 ms
c CURRENT OPTIMUM=                1946 		Current CPU time: 83.41 ms
c CURRENT OPTIMUM=                1891 		Current CPU time: 100.50 ms
c CURRENT OPTIMUM=                1878 		Current CPU time: 115.88 ms
c CURRENT OPTIMUM=                1782 		Current CPU time: 132.82 ms
c CURRENT OPTIMUM=                1625 		Current CPU time: 150.91 ms
c CURRENT OPTIMUM=                1558 		Current CPU time: 230.83 ms
c CURRENT OPTIMUM=                1552 		Current CPU time: 308.77 ms
c CURRENT OPTIMUM=                1513 		Current CPU time: 326.58 ms
c CURRENT OPTIMUM=                1461 		Current CPU time: 370.52 ms
c CURRENT OPTIMUM=                1454 		Current CPU time: 561.69 ms
c CURRENT OPTIMUM=                1447 		Current CPU time: 597.98 ms
c CURRENT OPTIMUM=                1409 		Current CPU time: 772.82 ms
c CURRENT OPTIMUM=                1345 		Current CPU time: 855.54 ms
c CURRENT OPTIMUM=                1344 		Current CPU time: 1054.73 ms
c starts	: 59
c conflicts	: 5509
c decisions	: 16772
c propagations	: 72655
c inspects	: 5899072
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 5509
c root simplifications	: 59
s SATISFIABLE
v x0 -x1 x2 -x3 -x4 x5 -x6 x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 x33 x34 -x35 -x36 -x37 -x38 x39 -x40 -x41 -x42 -x43 -x44 x45 -x46 -x47 x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 x58 -x59 x60 x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 
c objectif function=1344
c Total CPU time (ms) : 1239.203
#### 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 6042
Raw data (stat): 6042 (runsolver) R 6041 23514 23513 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 778800574 1052672 99 4294967295 134512640 135381576 3221224416 3221219636 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.0275 s]
Raw data (loadavg): 0.95 0.98 0.99 3/64 6057
Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18139 3 1 0 744 39 0 0 25 0 11 0 778800574 861892608 20708 4294967295 134512640 134569956 3221224384 3221214588 1131147187 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210423 20708 13086 16 0 210407 0
vsize: 841692
[startup+20.0484 s]
Raw data (loadavg): 0.96 0.98 0.99 2/64 6062
Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18140 3 1 0 1709 40 0 0 25 0 11 0 778800574 861360128 21332 4294967295 134512640 134569956 3221224384 3221214472 1131202371 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 21332 13086 16 0 210277 0
vsize: 841172
[startup+30.0496 s]
Raw data (loadavg): 0.96 0.98 0.99 2/64 6065
Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 2674 41 0 0 25 0 11 0 778800574 861360128 21861 4294967295 134512640 134569956 3221224384 3221214016 1085679356 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 21861 13086 16 0 210277 0
vsize: 841172
[startup+40.0505 s]
Raw data (loadavg): 0.97 0.98 0.99 2/64 6065
Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 3625 41 0 0 25 0 11 0 778800574 861360128 22236 4294967295 134512640 134569956 3221224384 3221214648 1131157098 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 22236 13086 16 0 210277 0
vsize: 841172
[startup+50.0508 s]
Raw data (loadavg): 0.97 0.98 0.99 2/64 6067
Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 4586 42 0 0 25 0 11 0 778800574 861360128 22402 4294967295 134512640 134569956 3221224384 3221214668 1131190050 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 22402 13086 16 0 210277 0
vsize: 841172
[startup+60.051 s]
Raw data (loadavg): 0.98 0.98 0.99 2/64 6067
Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 5537 42 0 0 25 0 11 0 778800574 861360128 22618 4294967295 134512640 134569956 3221224384 3221214632 1131174708 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 22618 13086 16 0 210277 0
vsize: 841172
[startup+70.0519 s]
Raw data (loadavg): 0.98 0.98 0.99 2/64 6067
Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 6498 42 0 0 25 0 11 0 778800574 861360128 22831 4294967295 134512640 134569956 3221224384 3221214232 1131354511 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 22831 13086 16 0 210277 0
vsize: 841172
[startup+80.0523 s]
Raw data (loadavg): 0.98 0.98 0.99 2/64 6067
Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 7451 42 0 0 25 0 11 0 778800574 861360128 22982 4294967295 134512640 134569956 3221224384 3221214568 1131189180 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 22982 13086 16 0 210277 0
vsize: 841172
[startup+90.0536 s]
Raw data (loadavg): 0.98 0.98 0.99 2/64 6068
Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 8402 43 0 0 25 0 11 0 778800574 861360128 23116 4294967295 134512640 134569956 3221224384 3221214672 1131197395 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 23116 13086 16 0 210277 0
vsize: 841172
[startup+100.054 s]
Raw data (loadavg): 1.06 1.00 1.00 2/64 6068
Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 9364 43 0 0 25 0 11 0 778800574 861360128 23236 4294967295 134512640 134569956 3221224384 3221214632 1131176898 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 23236 13086 16 0 210277 0
vsize: 841172
[startup+110.055 s]
Raw data (loadavg): 1.05 1.00 1.00 2/64 6069
Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 10316 43 0 0 25 0 11 0 778800574 861360128 23371 4294967295 134512640 134569956 3221224384 3221214724 1131176064 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 23371 13086 16 0 210277 0
vsize: 841172
[startup+120.056 s]
Raw data (loadavg): 1.04 1.00 1.00 2/64 6070
Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 11277 44 0 0 25 0 11 0 778800574 861360128 23456 4294967295 134512640 134569956 3221224384 3221214032 1085679272 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 23456 13086 16 0 210277 0
vsize: 841172
[startup+130.056 s]
Raw data (loadavg): 1.04 1.00 1.00 2/64 6070
Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 12230 44 0 0 25 0 11 0 778800574 861360128 23594 4294967295 134512640 134569956 3221224384 3221214464 1131458018 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 23594 13086 16 0 210277 0
vsize: 841172
[startup+140.056 s]
Raw data (loadavg): 1.03 1.00 1.00 2/64 6071
Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 13192 44 0 0 25 0 11 0 778800574 861360128 23754 4294967295 134512640 134569956 3221224384 3221214632 1131176915 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 23754 13086 16 0 210277 0
vsize: 841172
[startup+150.057 s]
Raw data (loadavg): 1.02 1.00 1.00 2/64 6071
Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 14148 44 0 0 25 0 11 0 778800574 861360128 23902 4294967295 134512640 134569956 3221224384 3221214728 1131230598 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 23902 13086 16 0 210277 0
vsize: 841172
[startup+160.057 s]
Raw data (loadavg): 1.02 1.00 1.00 2/64 6072
Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 15122 44 0 0 25 0 11 0 778800574 861360128 23991 4294967295 134512640 134569956 3221224384 3221214464 1131355351 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 23991 13086 16 0 210277 0
vsize: 841172
[startup+170.058 s]
Raw data (loadavg): 1.02 1.00 1.00 2/64 6072
Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 16096 44 0 0 25 0 11 0 778800574 861360128 24056 4294967295 134512640 134569956 3221224384 3221214056 1131357017 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 24056 13086 16 0 210277 0
vsize: 841172
[startup+180.059 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 6072
Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 17069 45 0 0 25 0 11 0 778800574 861360128 24132 4294967295 134512640 134569956 3221224384 3221214632 1131176140 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 24132 13086 16 0 210277 0
vsize: 841172
[startup+190.061 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 6072
Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 18043 45 0 0 25 0 11 0 778800574 861360128 24228 4294967295 134512640 134569956 3221224384 3221214728 1131230557 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 24228 13086 16 0 210277 0
vsize: 841172
[startup+200.061 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 6072
Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 19007 45 0 0 25 0 11 0 778800574 861360128 24334 4294967295 134512640 134569956 3221224384 3221214688 1131143958 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 24334 13086 16 0 210277 0
vsize: 841172
[startup+210.061 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 6072
Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 19973 46 0 0 25 0 11 0 778800574 861360128 24430 4294967295 134512640 134569956 3221224384 3221214056 1085679272 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 24430 13086 16 0 210277 0
vsize: 841172
[startup+220.062 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 6072
Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 20938 46 0 0 25 0 11 0 778800574 861360128 24511 4294967295 134512640 134569956 3221224384 3221214640 1131272005 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 24511 13086 16 0 210277 0
vsize: 841172
[startup+230.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6072
Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 21904 46 0 0 25 0 11 0 778800574 861360128 24618 4294967295 134512640 134569956 3221224384 3221214624 1131190491 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 24618 13086 16 0 210277 0
vsize: 841172
[startup+240.064 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6073
Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 22870 47 0 0 25 0 11 0 778800574 861360128 24713 4294967295 134512640 134569956 3221224384 3221214468 1131355340 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 24713 13086 16 0 210277 0
vsize: 841172
[startup+250.065 s]
Raw data (loadavg): 1.08 1.02 1.00 2/64 6073
Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 23838 47 0 0 25 0 11 0 778800574 861360128 24834 4294967295 134512640 134569956 3221224384 3221214476 1131354448 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 24834 13086 16 0 210277 0
vsize: 841172
[startup+260.065 s]
Raw data (loadavg): 1.06 1.02 1.00 2/64 6073
Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 24814 47 0 0 25 0 11 0 778800574 861360128 24895 4294967295 134512640 134569956 3221224384 3221214116 1131354448 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 24895 13086 16 0 210277 0
vsize: 841172
[startup+270.065 s]
Raw data (loadavg): 1.05 1.01 1.00 2/64 6073
Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 25783 47 0 0 25 0 11 0 778800574 861360128 25007 4294967295 134512640 134569956 3221224384 3221214632 1131176211 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 25007 13086 16 0 210277 0
vsize: 841172
[startup+280.066 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 6073
Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 26752 48 0 0 25 0 11 0 778800574 861360128 25109 4294967295 134512640 134569956 3221224384 3221214536 1131354509 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 25109 13086 16 0 210277 0
vsize: 841172
[startup+290.067 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 6073
Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 27723 48 0 0 25 0 11 0 778800574 861360128 25196 4294967295 134512640 134569956 3221224384 3221214684 1131274471 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 25196 13086 16 0 210277 0
vsize: 841172
[startup+300.068 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 6073
Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 28694 48 0 0 25 0 11 0 778800574 861360128 25313 4294967295 134512640 134569956 3221224384 3221214728 1131227902 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 25313 13086 16 0 210277 0
vsize: 841172
[startup+310.068 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 6074
Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 29658 49 0 0 25 0 11 0 778800574 861360128 25397 4294967295 134512640 134569956 3221224384 3221213920 1131354509 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 25397 13086 16 0 210277 0
vsize: 841172
[startup+320.068 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 6074
Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 30629 49 0 0 25 0 11 0 778800574 861360128 25476 4294967295 134512640 134569956 3221224384 3221214408 1131307970 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 25476 13086 16 0 210277 0
vsize: 841172
[startup+330.069 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 6075
Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 31594 49 0 0 25 0 11 0 778800574 861360128 25574 4294967295 134512640 134569956 3221224384 3221214632 1131176225 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 25574 13086 16 0 210277 0
vsize: 841172
[startup+340.07 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 6075
Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 32567 50 0 0 25 0 11 0 778800574 861360128 25669 4294967295 134512640 134569956 3221224384 3221214728 1131234000 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 25669 13086 16 0 210277 0
vsize: 841172
[startup+350.071 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 6075
Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 33535 50 0 0 25 0 11 0 778800574 861360128 25773 4294967295 134512640 134569956 3221224384 3221214032 1131354449 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 25773 13086 16 0 210277 0
vsize: 841172
[startup+360.072 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 6075
Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 34504 50 0 0 25 0 11 0 778800574 861360128 25862 4294967295 134512640 134569956 3221224384 3221214632 1131176483 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 25862 13086 16 0 210277 0
vsize: 841172
[startup+370.075 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 6075
Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 35485 51 0 0 25 0 11 0 778800574 861360128 25927 4294967295 134512640 134569956 3221224384 3221214536 1131354449 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 25927 13086 16 0 210277 0
vsize: 841172
[startup+380.075 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 6076
Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 36459 52 0 0 25 0 11 0 778800574 861360128 25997 4294967295 134512640 134569956 3221224384 3221214032 1085679759 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 25997 13086 16 0 210277 0
vsize: 841172
[startup+390.076 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6076
Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 37429 52 0 0 25 0 11 0 778800574 861360128 26085 4294967295 134512640 134569956 3221224384 3221214728 1131236031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 26085 13086 16 0 210277 0
vsize: 841172
[startup+400.077 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6076
Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 38405 53 0 0 25 0 11 0 778800574 861360128 26142 4294967295 134512640 134569956 3221224384 3221214840 1131148160 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 26142 13086 16 0 210277 0
vsize: 841172
[startup+410.077 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6076
Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 39381 53 0 0 25 0 11 0 778800574 861360128 26201 4294967295 134512640 134569956 3221224384 3221214448 1131458445 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 26201 13086 16 0 210277 0
vsize: 841172
[startup+420.078 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6076
Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 40357 53 0 0 25 0 11 0 778800574 861360128 26257 4294967295 134512640 134569956 3221224384 3221214632 1131177976 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 26257 13086 16 0 210277 0
vsize: 841172
[startup+430.079 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6076
Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 41328 53 0 0 25 0 11 0 778800574 861360128 26320 4294967295 134512640 134569956 3221224384 3221214568 1131189064 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 26320 13086 16 0 210277 0
vsize: 841172
[startup+440.079 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6076
Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 42305 54 0 0 25 0 11 0 778800574 861360128 26395 4294967295 134512640 134569956 3221224384 3221214720 1131157084 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 26395 13086 16 0 210277 0
vsize: 841172
[startup+450.079 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6076
Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 43272 54 0 0 25 0 11 0 778800574 861360128 26485 4294967295 134512640 134569956 3221224384 3221214568 1131189310 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 26485 13086 16 0 210277 0
vsize: 841172
[startup+460.079 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6076
Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 44245 55 0 0 25 0 11 0 778800574 861360128 26554 4294967295 134512640 134569956 3221224384 3221214176 1131354316 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 26554 13086 16 0 210277 0
vsize: 841172
[startup+470.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6076
Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 45218 55 0 0 25 0 11 0 778800574 861360128 26627 4294967295 134512640 134569956 3221224384 3221214728 1131227567 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 26627 13086 16 0 210277 0
vsize: 841172
[startup+480.081 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6076
Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 46197 56 0 0 25 0 11 0 778800574 861360128 26690 4294967295 134512640 134569956 3221224384 3221214200 1131354509 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 26690 13086 16 0 210277 0
vsize: 841172
[startup+490.081 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6076
Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 47170 56 0 0 24 0 11 0 778800574 861360128 26754 4294967295 134512640 134569956 3221224384 3221214728 1131227759 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 26754 13086 16 0 210277 0
vsize: 841172
[startup+500.082 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6076
Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 48155 56 0 0 25 0 11 0 778800574 861360128 26785 4294967295 134512640 134569956 3221224384 3221214500 1085679260 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 26785 13086 16 0 210277 0
vsize: 841172
[startup+510.082 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6076
Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 49123 56 0 0 25 0 11 0 778800574 861360128 26860 4294967295 134512640 134569956 3221224384 3221213896 1131354449 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 26860 13086 16 0 210277 0
vsize: 841172
[startup+520.083 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6076
Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 50106 56 0 0 25 0 11 0 778800574 861360128 26896 4294967295 134512640 134569956 3221224384 3221214116 1131354448 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 26896 13086 16 0 210277 0
vsize: 841172
[startup+530.083 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6076
Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 51089 57 0 0 25 0 11 0 778800574 861360128 26933 4294967295 134512640 134569956 3221224384 3221214728 1131229112 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 26933 13086 16 0 210277 0
vsize: 841172
[startup+540.085 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6076
Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 52061 57 0 0 25 0 11 0 778800574 861360128 27006 4294967295 134512640 134569956 3221224384 3221214632 1131176225 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 27006 13086 16 0 210277 0
vsize: 841172
[startup+550.085 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6076
Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 53033 57 0 0 25 0 11 0 778800574 861360128 27071 4294967295 134512640 134569956 3221224384 3221214632 1131176621 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 27071 13086 16 0 210277 0
vsize: 841172
[startup+560.085 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6076
Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 54010 58 0 0 25 0 11 0 778800574 861360128 27134 4294967295 134512640 134569956 3221224384 3221214640 1131307951 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 27134 13086 16 0 210277 0
vsize: 841172
[startup+570.086 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6077
Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 54987 58 0 0 25 0 11 0 778800574 861360128 27173 4294967295 134512640 134569956 3221224384 3221214728 1131229552 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 27173 13086 16 0 210277 0
vsize: 841172
[startup+580.087 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6077
Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 55963 59 0 0 25 0 11 0 778800574 861360128 27224 4294967295 134512640 134569956 3221224384 3221214600 1131370986 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 27224 13086 16 0 210277 0
vsize: 841172
[startup+590.087 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6077
Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 56952 59 0 0 25 0 11 0 778800574 861360128 27245 4294967295 134512640 134569956 3221224384 3221214624 1131147225 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210293 27245 13086 16 0 210277 0
vsize: 841172
[startup+600.088 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6078
Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 57927 59 0 0 25 0 11 0 778800574 861360128 27321 4294967295 134512640 134569956 3221224384 3221213880 1131356810 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 27321 13086 16 0 210277 0
vsize: 841172
[startup+610.089 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6078
Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 58905 59 0 0 25 0 11 0 778800574 861360128 27376 4294967295 134512640 134569956 3221224384 3221214144 1131354449 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 27376 13086 16 0 210277 0
vsize: 841172
[startup+620.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6078
Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 59887 60 0 0 25 0 11 0 778800574 861360128 27415 4294967295 134512640 134569956 3221224384 3221214728 1131227759 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 27415 13086 16 0 210277 0
vsize: 841172
[startup+630.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6078
Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 60869 60 0 0 25 0 11 0 778800574 861360128 27451 4294967295 134512640 134569956 3221224384 3221214416 1131307757 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 27451 13086 16 0 210277 0
vsize: 841172
[startup+640.092 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6078
Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 61856 60 0 0 25 0 11 0 778800574 861360128 27475 4294967295 134512640 134569956 3221224384 3221214256 1131354400 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 27475 13086 16 0 210277 0
vsize: 841172
[startup+650.093 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6078
Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 62827 60 0 0 25 0 11 0 778800574 861360128 27557 4294967295 134512640 134569956 3221224384 3221214680 1131350184 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 27557 13086 16 0 210277 0
vsize: 841172
[startup+660.092 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6078
Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 63804 61 0 0 25 0 11 0 778800574 861360128 27600 4294967295 134512640 134569956 3221224384 3221214728 1131227839 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 27600 13086 16 0 210277 0
vsize: 841172
[startup+670.093 s]
Raw data (loadavg): 1.08 1.02 1.01 2/64 6078
Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 64775 61 0 0 25 0 11 0 778800574 861360128 27671 4294967295 134512640 134569956 3221224384 3221214728 1131227716 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 27671 13086 16 0 210277 0
vsize: 841172
[startup+680.094 s]
Raw data (loadavg): 1.07 1.02 1.00 2/64 6078
Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 65753 61 0 0 25 0 11 0 778800574 861360128 27732 4294967295 134512640 134569956 3221224384 3221214540 1131450471 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 27732 13086 16 0 210277 0
vsize: 841172
[startup+690.095 s]
Raw data (loadavg): 1.06 1.01 1.00 2/64 6078
Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 66725 61 0 0 24 0 11 0 778800574 861360128 27788 4294967295 134512640 134569956 3221224384 3221214576 1131201213 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 27788 13086 16 0 210277 0
vsize: 841172
[startup+700.096 s]
Raw data (loadavg): 1.05 1.01 1.00 2/64 6078
Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 67698 62 0 0 25 0 11 0 778800574 861360128 27881 4294967295 134512640 134569956 3221224384 3221214632 1131176077 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 27881 13086 16 0 210277 0
vsize: 841172
[startup+710.097 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 6078
Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 68669 62 0 0 24 0 11 0 778800574 861360128 27943 4294967295 134512640 134569956 3221224384 3221214500 1085679260 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 27943 13086 16 0 210277 0
vsize: 841172
[startup+720.097 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 6078
Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 69644 62 0 0 25 0 11 0 778800574 861360128 28010 4294967295 134512640 134569956 3221224384 3221214568 1131189326 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 28010 13086 16 0 210277 0
vsize: 841172
[startup+730.098 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 6078
Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 70629 63 0 0 25 0 11 0 778800574 861360128 28047 4294967295 134512640 134569956 3221224384 3221214008 1131354506 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 28047 13086 16 0 210277 0
vsize: 841172
[startup+740.098 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 6078
Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 71609 63 0 0 25 0 11 0 778800574 861360128 28088 4294967295 134512640 134569956 3221224384 3221214416 1131307754 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 28088 13086 16 0 210277 0
vsize: 841172
[startup+750.1 s]
Raw data (loadavg): 1.08 1.02 1.00 2/64 6078
Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 72594 63 0 0 25 0 11 0 778800574 861360128 28132 4294967295 134512640 134569956 3221224384 3221214680 1131153146 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 28132 13086 16 0 210277 0
vsize: 841172
[startup+760.1 s]
Raw data (loadavg): 1.07 1.02 1.00 2/64 6078
Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 73573 64 0 0 25 0 11 0 778800574 861360128 28175 4294967295 134512640 134569956 3221224384 3221213696 1085679762 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 28175 13086 16 0 210277 0
vsize: 841172
[startup+770.101 s]
Raw data (loadavg): 1.06 1.02 1.00 2/64 6078
Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 74553 64 0 0 24 0 11 0 778800574 861360128 28212 4294967295 134512640 134569956 3221224384 3221214632 1131176310 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 28212 13086 16 0 210277 0
vsize: 841172
[startup+780.101 s]
Raw data (loadavg): 1.05 1.02 1.00 2/64 6079
Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 75537 64 0 0 25 0 11 0 778800574 861360128 28241 4294967295 134512640 134569956 3221224384 3221213920 1085679305 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 28241 13086 16 0 210277 0
vsize: 841172
[startup+790.102 s]
Raw data (loadavg): 1.04 1.02 1.00 2/64 6079
Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 76514 64 0 0 25 0 11 0 778800574 861360128 28272 4294967295 134512640 134569956 3221224384 3221214888 1131427423 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 28272 13086 16 0 210277 0
vsize: 841172
[startup+800.102 s]
Raw data (loadavg): 1.04 1.02 1.00 2/64 6079
Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 77492 65 0 0 25 0 11 0 778800574 861360128 28317 4294967295 134512640 134569956 3221224384 3221214140 1131354448 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 28317 13086 16 0 210277 0
vsize: 841172
[startup+810.103 s]
Raw data (loadavg): 1.03 1.02 1.00 2/64 6079
Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 78470 65 0 0 25 0 11 0 778800574 861360128 28371 4294967295 134512640 134569956 3221224384 3221214360 1131307883 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 28371 13086 16 0 210277 0
vsize: 841172
[startup+820.104 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 6079
Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 79448 65 0 0 25 0 11 0 778800574 861360128 28412 4294967295 134512640 134569956 3221224384 3221214664 1131177969 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 28412 13086 16 0 210277 0
vsize: 841172
[startup+830.105 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 6079
Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 80431 66 0 0 25 0 11 0 778800574 861360128 28455 4294967295 134512640 134569956 3221224384 3221214168 1085679762 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 28455 13086 16 0 210277 0
vsize: 841172
[startup+840.105 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 6079
Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 81415 66 0 0 25 0 11 0 778800574 861360128 28493 4294967295 134512640 134569956 3221224384 3221214416 1131307956 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 28493 13086 16 0 210277 0
vsize: 841172
[startup+850.106 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 6079
Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 82392 67 0 0 25 0 11 0 778800574 861360128 28538 4294967295 134512640 134569956 3221224384 3221214728 1131229832 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 28538 13086 16 0 210277 0
vsize: 841172
[startup+860.106 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 6080
Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 83370 67 0 0 25 0 11 0 778800574 861360128 28588 4294967295 134512640 134569956 3221224384 3221214728 1131227658 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 28588 13086 16 0 210277 0
vsize: 841172
[startup+870.108 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 6080
Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 84349 67 0 0 25 0 11 0 778800574 861360128 28638 4294967295 134512640 134569956 3221224384 3221214728 1131227759 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 28638 13086 16 0 210277 0
vsize: 841172
[startup+880.109 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 6080
Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 85326 67 0 0 25 0 11 0 778800574 861360128 28677 4294967295 134512640 134569956 3221224384 3221214632 1131176629 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 28677 13086 16 0 210277 0
vsize: 841172
[startup+890.11 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 6080
Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 86310 67 0 0 25 0 11 0 778800574 861360128 28712 4294967295 134512640 134569956 3221224384 3221214280 1085679762 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 28712 13086 16 0 210277 0
vsize: 841172
[startup+900.111 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 6080
Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 87288 68 0 0 25 0 11 0 778800574 861360128 28750 4294967295 134512640 134569956 3221224384 3221214728 1131227759 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 28750 13086 16 0 210277 0
vsize: 841172
[startup+910.111 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 6080
Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 88266 68 0 0 25 0 11 0 778800574 861360128 28798 4294967295 134512640 134569956 3221224384 3221214632 1131176496 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 28798 13086 16 0 210277 0
vsize: 841172
[startup+920.111 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 6080
Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 89244 68 0 0 25 0 11 0 778800574 861360128 28853 4294967295 134512640 134569956 3221224384 3221214584 1131222625 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 28853 13086 16 0 210277 0
vsize: 841172
[startup+930.112 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 6080
Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 90228 68 0 0 25 0 11 0 778800574 861360128 28896 4294967295 134512640 134569956 3221224384 3221214632 1131177076 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 28896 13086 16 0 210277 0
vsize: 841172
[startup+940.112 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 6080
Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 91207 68 0 0 25 0 11 0 778800574 861360128 28946 4294967295 134512640 134569956 3221224384 3221214008 1131354449 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 28946 13086 16 0 210277 0
vsize: 841172
[startup+950.113 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 6080
Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 92181 68 0 0 25 0 11 0 778800574 861360128 28994 4294967295 134512640 134569956 3221224384 3221214728 1131235782 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 28994 13086 16 0 210277 0
vsize: 841172
[startup+960.114 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6080
Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 93160 69 0 0 25 0 11 0 778800574 861360128 29050 4294967295 134512640 134569956 3221224384 3221214728 1131227821 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 29050 13086 16 0 210277 0
vsize: 841172
[startup+970.115 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6080
Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 94150 69 0 0 25 0 11 0 778800574 861360128 29063 4294967295 134512640 134569956 3221224384 3221214632 1131176084 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 29063 13086 16 0 210277 0
vsize: 841172
[startup+980.115 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6080
Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 95135 69 0 0 25 0 11 0 778800574 861360128 29094 4294967295 134512640 134569956 3221224384 3221214680 1131153141 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 29094 13086 16 0 210277 0
vsize: 841172
[startup+990.117 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6080
Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 96115 69 0 0 25 0 11 0 778800574 861360128 29139 4294967295 134512640 134569956 3221224384 3221213972 1085616771 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 29139 13086 16 0 210277 0
vsize: 841172
[startup+1000.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6080
Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 97095 70 0 0 25 0 11 0 778800574 861360128 29181 4294967295 134512640 134569956 3221224384 3221214644 1131213860 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 29181 13086 16 0 210277 0
vsize: 841172
[startup+1010.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6080
Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 98076 70 0 0 25 0 11 0 778800574 861360128 29227 4294967295 134512640 134569956 3221224384 3221214892 1131147187 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 29227 13086 16 0 210277 0
vsize: 841172
[startup+1020.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6080
Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 99052 70 0 0 25 0 11 0 778800574 861360128 29277 4294967295 134512640 134569956 3221224384 3221214632 1131176383 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 29277 13086 16 0 210277 0
vsize: 841172
[startup+1030.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6080
Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 100038 70 0 0 25 0 11 0 778800574 861360128 29307 4294967295 134512640 134569956 3221224384 3221214008 1131354449 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 29307 13086 16 0 210277 0
vsize: 841172
[startup+1040.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6080
Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 101024 71 0 0 25 0 11 0 778800574 861360128 29345 4294967295 134512640 134569956 3221224384 3221214680 1131153144 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 29345 13086 16 0 210277 0
vsize: 841172
[startup+1050.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6080
Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 102000 71 0 0 25 0 11 0 778800574 861360128 29376 4294967295 134512640 134569956 3221224384 3221214632 1131176283 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 29376 13086 16 0 210277 0
vsize: 841172
[startup+1060.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6081
Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 102981 71 0 0 25 0 11 0 778800574 861360128 29420 4294967295 134512640 134569956 3221224384 3221214584 1131307997 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 29420 13086 16 0 210277 0
vsize: 841172
[startup+1070.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6081
Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 103957 71 0 0 25 0 11 0 778800574 861360128 29467 4294967295 134512640 134569956 3221224384 3221214632 1131176374 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 29467 13086 16 0 210277 0
vsize: 841172
[startup+1080.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6081
Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 104927 71 0 0 25 0 11 0 778800574 861360128 29519 4294967295 134512640 134569956 3221224384 3221214632 1131176225 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 29519 13086 16 0 210277 0
vsize: 841172
[startup+1090.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6081
Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 105912 72 0 0 25 0 11 0 778800574 861360128 29546 4294967295 134512640 134569956 3221224384 3221214480 1131354396 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 29546 13086 16 0 210277 0
vsize: 841172
[startup+1100.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6081
Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 106892 72 0 0 25 0 11 0 778800574 861360128 29584 4294967295 134512640 134569956 3221224384 3221214032 1085679735 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 29584 13086 16 0 210277 0
vsize: 841172
[startup+1110.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6081
Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 107872 72 0 0 25 0 11 0 778800574 861360128 29618 4294967295 134512640 134569956 3221224384 3221214576 1131201262 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 29618 13086 16 0 210277 0
vsize: 841172
[startup+1120.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6081
Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 108846 73 0 0 25 0 11 0 778800574 861360128 29682 4294967295 134512640 134569956 3221224384 3221214728 1131227732 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 29682 13086 16 0 210277 0
vsize: 841172
[startup+1130.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6081
Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 109815 73 0 0 25 0 11 0 778800574 861360128 29733 4294967295 134512640 134569956 3221224384 3221214780 1130885204 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 29733 13086 16 0 210277 0
vsize: 841172
[startup+1140.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6081
Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 110790 73 0 0 25 0 11 0 778800574 861360128 29785 4294967295 134512640 134569956 3221224384 3221213808 1085679762 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 29785 13086 16 0 210277 0
vsize: 841172
[startup+1150.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6081
Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 111770 74 0 0 25 0 11 0 778800574 861360128 29830 4294967295 134512640 134569956 3221224384 3221214728 1131227712 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 29830 13086 16 0 210277 0
vsize: 841172
[startup+1160.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6081
Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 112746 74 0 0 25 0 11 0 778800574 861360128 29883 4294967295 134512640 134569956 3221224384 3221214392 1085679753 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 29883 13086 16 0 210277 0
vsize: 841172
[startup+1170.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6081
Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 113727 74 0 0 25 0 11 0 778800574 861360128 29915 4294967295 134512640 134569956 3221224384 3221214728 1131230509 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 29915 13086 16 0 210277 0
vsize: 841172
[startup+1180.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6081
Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 114699 75 0 0 25 0 11 0 778800574 861360128 29987 4294967295 134512640 134569956 3221224384 3221214248 1131307817 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 29987 13086 16 0 210277 0
vsize: 841172
[startup+1190.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6081
Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 115672 75 0 0 24 0 11 0 778800574 861360128 30037 4294967295 134512640 134569956 3221224384 3221214728 1131227723 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 30037 13086 16 0 210277 0
vsize: 841172
[startup+1200.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6081
Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 116658 75 0 0 25 0 11 0 778800574 861360128 30061 4294967295 134512640 134569956 3221224384 3221214576 1131202377 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 30061 13086 16 0 210277 0
vsize: 841172
[startup+1210.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6081
Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 117635 75 0 0 25 0 11 0 778800574 861360128 30108 4294967295 134512640 134569956 3221224384 3221214592 1131354412 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 30108 13086 16 0 210277 0
vsize: 841172
[startup+1220.14 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6081
Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 118616 75 0 0 25 0 11 0 778800574 861360128 30139 4294967295 134512640 134569956 3221224384 3221214728 1131229503 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 30139 13086 16 0 210277 0
vsize: 841172
[startup+1230.14 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6081
Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 119598 75 0 0 25 0 11 0 778800574 861360128 30178 4294967295 134512640 134569956 3221224384 3221214136 1131307888 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 30178 13086 16 0 210277 0
vsize: 841172
[startup+1240.14 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6081
Raw data (stat): 6042 (java) R 6041 23514 23513 0 -1 0 18141 3 1 0 120574 76 0 0 25 0 11 0 778800574 861360128 30218 4294967295 134512640 134569956 3221224384 3221214132 1131354272 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 30218 13086 16 0 210277 0
vsize: 841172
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1240.24 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 6083
Raw data (stat): 6042 (java) Z 6041 23514 23513 0 -1 1036 18141 14802 1 0 120578 76 4055 36 25 0 1 0 778800574 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.24
CPU time (s): 1247.46
CPU user time (s): 1246.34
CPU system time (s): 1.12583
CPU usage (%): 100.582
Max. virtual memory (Kb): 841692
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	1344
#### END VERIFIER DATA ####