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:
  1. 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.
  2. SOLVER DATA
    This is the output of the solver (stdout and stderr).
  3. 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.
  4. 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

Namenormalized-opb/submitted/een/normalized-p0282.opb
MD5SUMdd62132555621025f45a5a6099c90742
Bench Categoryoptimization, medium integers (OPTMEDINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 258411
Optimality of the best value was proved NO
Number of terms in the objective function 282
Biggest coefficient in the objective function 160646
Number of bits for the biggest coefficient in the objective function 18
Sum of the numbers in the objective function 1302615
Number of bits of the sum of numbers in the objective function 21
Biggest number in a constraint 160646
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 1302615
Number of bits of the biggest sum of numbers21
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1.01884
Number of variables282
Total number of constraints221
Number of constraints which are clauses177
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints44
Minimum length of a constraint2
Maximum length of a constraint57

Trace number 29406

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc25 THE 2005-05-25 07:20:05 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=20799 boxname=wulflinc25 idbench=389 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  dd62132555621025f45a5a6099c90742  /oldhome/oroussel/tmp/wulflinc25/normalized-p0282.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc25/normalized-p0282.opb
IDLAUNCH: 20799
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.220
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.220
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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        453456 kB
Buffers:         26560 kB
Cached:         531200 kB
SwapCached:        588 kB
Active:          75252 kB
Inactive:       484712 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        453204 kB
SwapTotal:     2097892 kB
SwapFree:      2096620 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5604 kB
Slab:            15684 kB
Committed_AS:    63588 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 07:40:38 (client local time) WITH STATUS 143 IN 1239.61 SECONDS
stats: 20799 0 1239.61 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/wulflinc25/normalized-p0282.opb
c reading problem ... done. Time 0.823 ms.
c #vars     282
c #constraints  221
c SATISFIABLE
c OPTIMIZING...
c CURRENT OPTIMUM=              457129 		Current CPU time: 1.00 ms
c CURRENT OPTIMUM=              453986 		Current CPU time: 1.31 ms
c CURRENT OPTIMUM=              415236 		Current CPU time: 3.22 ms
c CURRENT OPTIMUM=              389423 		Current CPU time: 3.55 ms
c CURRENT OPTIMUM=              387686 		Current CPU time: 9.54 ms
c CURRENT OPTIMUM=              386195 		Current CPU time: 12.04 ms
c CURRENT OPTIMUM=              382094 		Current CPU time: 13.38 ms
c CURRENT OPTIMUM=              373412 		Current CPU time: 14.04 ms
c CURRENT OPTIMUM=              372898 		Current CPU time: 43.21 ms
c CURRENT OPTIMUM=              372897 		Current CPU time: 44.51 ms
c CURRENT OPTIMUM=              372700 		Current CPU time: 46.07 ms
c CURRENT OPTIMUM=              372665 		Current CPU time: 47.54 ms
c CURRENT OPTIMUM=              372655 		Current CPU time: 134.88 ms
c CURRENT OPTIMUM=              372596 		Current CPU time: 270.63 ms
c CURRENT OPTIMUM=              372286 		Current CPU time: 426.87 ms
c CURRENT OPTIMUM=              371861 		Current CPU time: 437.27 ms
c CURRENT OPTIMUM=              353173 		Current CPU time: 450.51 ms
c CURRENT OPTIMUM=              350992 		Current CPU time: 455.73 ms
c CURRENT OPTIMUM=              350855 		Current CPU time: 460.32 ms
c CURRENT OPTIMUM=              349468 		Current CPU time: 464.99 ms
c CURRENT OPTIMUM=              349331 		Current CPU time: 469.57 ms
c CURRENT OPTIMUM=              349029 		Current CPU time: 474.27 ms
c CURRENT OPTIMUM=              348892 		Current CPU time: 478.89 ms
c CURRENT OPTIMUM=              347505 		Current CPU time: 483.60 ms
c CURRENT OPTIMUM=              347368 		Current CPU time: 488.18 ms
c CURRENT OPTIMUM=              339836 		Current CPU time: 493.10 ms
c CURRENT OPTIMUM=              339699 		Current CPU time: 497.88 ms
c CURRENT OPTIMUM=              337446 		Current CPU time: 502.76 ms
c CURRENT OPTIMUM=              337309 		Current CPU time: 507.66 ms
c CURRENT OPTIMUM=              335922 		Current CPU time: 512.66 ms
c CURRENT OPTIMUM=              335785 		Current CPU time: 517.55 ms
c CURRENT OPTIMUM=              335483 		Current CPU time: 522.60 ms
c CURRENT OPTIMUM=              335346 		Current CPU time: 527.53 ms
c CURRENT OPTIMUM=              333959 		Current CPU time: 532.54 ms
c CURRENT OPTIMUM=              333822 		Current CPU time: 537.43 ms
c CURRENT OPTIMUM=              333410 		Current CPU time: 542.39 ms
c CURRENT OPTIMUM=              333273 		Current CPU time: 547.24 ms
c CURRENT OPTIMUM=              332177 		Current CPU time: 552.60 ms
c starts	: 45
c conflicts	: 860
c decisions	: 16490
c propagations	: 34268
c inspects	: 1150312
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 859
c root simplifications	: 45
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 -x89 -x90 x91 -x92 x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 x161 -x162 x163 -x164 -x165 -x166 -x167 -x168 x169 -x170 x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 x191 -x192 -x193 -x194 -x195 -x196 x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 x234 -x235 -x236 x237 -x238 -x239 -x240 -x241 x242 x243 x244 -x245 -x246 -x247 x248 -x249 -x250 x251 -x252 x253 x254 -x255 x256 -x257 -x258 -x259 x260 x261 x262 -x263 x264 -x265 -x266 -x267 x268 -x269 -x270 x271 x272 x273 -x274 x275 -x276 x277 -x278 x279 -x280 x281 
c objectif function=332177
c Total CPU time (ms) : 1229.147
#### 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 11602
Raw data (stat): 11602 (runsolver) R 11601 1586 1585 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 837044653 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.0003 s]
Raw data (loadavg): 1.10 1.02 1.01 2/64 11616
Raw data (stat): 11602 (java) R 11601 1586 1585 0 -1 0 18130 3 1 0 707 38 0 0 25 0 11 0 837044653 859779072 20349 4294967295 134512640 134569956 3221224384 3221214592 1131188248 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209907 20349 13086 16 0 209891 0
vsize: 839628
[startup+20.001 s]
Raw data (loadavg): 1.09 1.02 1.00 2/64 11620
Raw data (stat): 11602 (java) R 11601 1586 1585 0 -1 0 18131 3 1 0 1669 38 0 0 25 0 11 0 837044653 859152384 20302 4294967295 134512640 134569956 3221224384 3221214536 1131214815 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209754 20302 13086 16 0 209738 0
vsize: 839016
[startup+30.0016 s]
Raw data (loadavg): 1.07 1.02 1.00 2/64 11620
Raw data (stat): 11602 (java) R 11601 1586 1585 0 -1 0 18131 3 1 0 2625 39 0 0 25 0 11 0 837044653 859152384 20596 4294967295 134512640 134569956 3221224384 3221214592 1131188248 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209754 20596 13086 16 0 209738 0
vsize: 839016
[startup+40.0017 s]
Raw data (loadavg): 1.06 1.01 1.00 2/64 11620
Raw data (stat): 11602 (java) R 11601 1586 1585 0 -1 0 18132 3 1 0 3560 39 0 0 25 0 11 0 837044653 859152384 20883 4294967295 134512640 134569956 3221224384 3221214592 1131188205 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209754 20883 13086 16 0 209738 0
vsize: 839016
[startup+50.0017 s]
Raw data (loadavg): 1.05 1.01 1.00 2/64 11624
Raw data (stat): 11602 (java) R 11601 1586 1585 0 -1 0 18132 3 1 0 4507 39 0 0 25 0 11 0 837044653 859152384 21227 4294967295 134512640 134569956 3221224384 3221214592 1131188725 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209754 21227 13086 16 0 209738 0
vsize: 839016
[startup+60.0023 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 11624
Raw data (stat): 11602 (java) R 11601 1586 1585 0 -1 0 18132 3 1 0 5462 39 0 0 25 0 11 0 837044653 859152384 21394 4294967295 134512640 134569956 3221224384 3221214696 1131299211 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209754 21394 13086 16 0 209738 0
vsize: 839016
[startup+70.003 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 11624
Raw data (stat): 11602 (java) R 11601 1586 1585 0 -1 0 18132 3 1 0 6430 39 0 0 25 0 11 0 837044653 859152384 21549 4294967295 134512640 134569956 3221224384 3221214628 1131199555 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209754 21549 13086 16 0 209738 0
vsize: 839016
[startup+80.0036 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 11624
Raw data (stat): 11602 (java) R 11601 1586 1585 0 -1 0 18132 3 1 0 7404 40 0 0 25 0 11 0 837044653 859152384 21658 4294967295 134512640 134569956 3221224384 3221214592 1131188273 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209754 21658 13086 16 0 209738 0
vsize: 839016
[startup+90.0042 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 11624
Raw data (stat): 11602 (java) R 11601 1586 1585 0 -1 0 18132 3 1 0 8378 40 0 0 25 0 11 0 837044653 859152384 21736 4294967295 134512640 134569956 3221224384 3221214696 1131300355 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209754 21736 13086 16 0 209738 0
vsize: 839016
[startup+100.003 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 11624
Raw data (stat): 11602 (java) R 11601 1586 1585 0 -1 0 18132 3 1 0 9353 40 0 0 25 0 11 0 837044653 859152384 21795 4294967295 134512640 134569956 3221224384 3221214592 1131189115 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209754 21795 13086 16 0 209738 0
vsize: 839016
[startup+110.004 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 11624
Raw data (stat): 11602 (java) R 11601 1586 1585 0 -1 0 18132 3 1 0 10328 40 0 0 25 0 11 0 837044653 859152384 21856 4294967295 134512640 134569956 3221224384 3221214592 1131189065 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209754 21856 13086 16 0 209738 0
vsize: 839016
[startup+120.005 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 11624
Raw data (stat): 11602 (java) R 11601 1586 1585 0 -1 0 18132 3 1 0 11302 40 0 0 25 0 11 0 837044653 859152384 21940 4294967295 134512640 134569956 3221224384 3221214592 1131188273 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209754 21940 13086 16 0 209738 0
vsize: 839016
[startup+130.006 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 11624
Raw data (stat): 11602 (java) R 11601 1586 1585 0 -1 0 18132 3 1 0 12278 41 0 0 25 0 11 0 837044653 859152384 21978 4294967295 134512640 134569956 3221224384 3221214592 1131188448 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209754 21978 13086 16 0 209738 0
vsize: 839016
[startup+140.006 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 11625
Raw data (stat): 11602 (java) R 11601 1586 1585 0 -1 0 18132 3 1 0 13257 41 0 0 25 0 11 0 837044653 859152384 22044 4294967295 134512640 134569956 3221224384 3221214592 1131188376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209754 22044 13086 16 0 209738 0
vsize: 839016
[startup+150.007 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 11625
Raw data (stat): 11602 (java) R 11601 1586 1585 0 -1 0 18132 3 1 0 14230 41 0 0 25 0 11 0 837044653 859152384 22117 4294967295 134512640 134569956 3221224384 3221214544 1131201625 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209754 22117 13086 16 0 209738 0
vsize: 839016
[startup+160.007 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 11625
Raw data (stat): 11602 (java) R 11601 1586 1585 0 -1 0 18132 3 1 0 15206 41 0 0 25 0 11 0 837044653 859152384 22169 4294967295 134512640 134569956 3221224384 3221214592 1131189109 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209754 22169 13086 16 0 209738 0
vsize: 839016
[startup+170.007 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11625
Raw data (stat): 11602 (java) R 11601 1586 1585 0 -1 0 18132 3 1 0 16185 41 0 0 25 0 11 0 837044653 859152384 22238 4294967295 134512640 134569956 3221224384 3221214528 1131201885 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209754 22238 13086 16 0 209738 0
vsize: 839016
[startup+180.008 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11625
Raw data (stat): 11602 (java) R 11601 1586 1585 0 -1 0 18132 3 1 0 17164 42 0 0 25 0 11 0 837044653 859152384 22312 4294967295 134512640 134569956 3221224384 3221214592 1131188298 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209754 22312 13086 16 0 209738 0
vsize: 839016
[startup+190.008 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11625
Raw data (stat): 11602 (java) R 11601 1586 1585 0 -1 0 18132 3 1 0 18146 42 0 0 25 0 11 0 837044653 859152384 22350 4294967295 134512640 134569956 3221224384 3221214592 1131187943 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209754 22350 13086 16 0 209738 0
vsize: 839016
[startup+200.008 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11625
Raw data (stat): 11602 (java) R 11601 1586 1585 0 -1 0 18132 3 1 0 19128 43 0 0 25 0 11 0 837044653 859152384 22382 4294967295 134512640 134569956 3221224384 3221214592 1131188273 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209754 22382 13086 16 0 209738 0
vsize: 839016
[startup+210.008 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11625
Raw data (stat): 11602 (java) S 11601 1586 1585 0 -1 0 18132 3 1 0 20107 43 0 0 25 0 11 0 837044653 859152384 22436 4294967295 134512640 134569956 3221224384 3221213296 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209754 22436 13086 16 0 209738 0
vsize: 839016
[startup+220.009 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11625
Raw data (stat): 11602 (java) R 11601 1586 1585 0 -1 0 18132 3 1 0 21089 43 0 0 19 0 11 0 837044653 859152384 22479 4294967295 134512640 134569956 3221224384 3221214696 1131303530 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209754 22479 13086 16 0 209738 0
vsize: 839016
[startup+230.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11625
Raw data (stat): 11602 (java) R 11601 1586 1585 0 -1 0 18132 3 1 0 22071 44 0 0 25 0 11 0 837044653 859152384 22534 4294967295 134512640 134569956 3221224384 3221214592 1131188219 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209754 22534 13086 16 0 209738 0
vsize: 839016
[startup+240.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11625
Raw data (stat): 11602 (java) R 11601 1586 1585 0 -1 0 18132 3 1 0 23053 44 0 0 24 0 11 0 837044653 859152384 22571 4294967295 134512640 134569956 3221224384 3221214592 1131188154 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209754 22571 13086 16 0 209738 0
vsize: 839016
[startup+250.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11625
Raw data (stat): 11602 (java) R 11601 1586 1585 0 -1 0 18132 3 1 0 24038 44 0 0 25 0 11 0 837044653 859152384 22601 4294967295 134512640 134569956 3221224384 3221214592 1131188352 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209754 22601 13086 16 0 209738 0
vsize: 839016
[startup+260.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11625
Raw data (stat): 11602 (java) R 11601 1586 1585 0 -1 0 18132 3 1 0 25021 45 0 0 25 0 11 0 837044653 859152384 22641 4294967295 134512640 134569956 3221224384 3221214592 1131189121 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209754 22641 13086 16 0 209738 0
vsize: 839016
[startup+270.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11625
Raw data (stat): 11602 (java) R 11601 1586 1585 0 -1 0 18132 3 1 0 26005 45 0 0 25 0 11 0 837044653 859152384 22672 4294967295 134512640 134569956 3221224384 3221214592 1131188409 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209754 22672 13086 16 0 209738 0
vsize: 839016
[startup+280.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11626
Raw data (stat): 11602 (java) S 11601 1586 1585 0 -1 0 18132 3 1 0 26988 45 0 0 25 0 11 0 837044653 859152384 22702 4294967295 134512640 134569956 3221224384 3221213232 1073952481 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209754 22702 13086 16 0 209738 0
vsize: 839016
[startup+290.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11626
Raw data (stat): 11602 (java) R 11601 1586 1585 0 -1 0 18132 3 1 0 27973 45 0 0 25 0 11 0 837044653 859152384 22742 4294967295 134512640 134569956 3221224384 3221214280 1131495536 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209754 22742 13086 16 0 209738 0
vsize: 839016
[startup+300.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11626
Raw data (stat): 11602 (java) R 11601 1586 1585 0 -1 0 18132 3 1 0 28954 45 0 0 25 0 11 0 837044653 859152384 22769 4294967295 134512640 134569956 3221224384 3221214592 1131187894 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209754 22769 13086 16 0 209738 0
vsize: 839016
[startup+310.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11626
Raw data (stat): 11602 (java) R 11601 1586 1585 0 -1 0 18132 3 1 0 29938 46 0 0 24 0 11 0 837044653 859152384 22803 4294967295 134512640 134569956 3221224384 3221214592 1131188200 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209754 22803 13086 16 0 209738 0
vsize: 839016
[startup+320.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11626
Raw data (stat): 11602 (java) R 11601 1586 1585 0 -1 0 18132 3 1 0 30924 46 0 0 25 0 11 0 837044653 859152384 22848 4294967295 134512640 134569956 3221224384 3221214592 1131188456 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209754 22848 13086 16 0 209738 0
vsize: 839016
[startup+330.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11626
Raw data (stat): 11602 (java) R 11601 1586 1585 0 -1 0 18132 3 1 0 31904 46 0 0 25 0 11 0 837044653 859152384 22873 4294967295 134512640 134569956 3221224384 3221214696 1131300249 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209754 22873 13086 16 0 209738 0
vsize: 839016
[startup+340.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11626
Raw data (stat): 11602 (java) R 11601 1586 1585 0 -1 0 18132 3 1 0 32886 47 0 0 25 0 11 0 837044653 859152384 22899 4294967295 134512640 134569956 3221224384 3221214592 1131189145 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209754 22899 13086 16 0 209738 0
vsize: 839016
[startup+350.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11626
Raw data (stat): 11602 (java) R 11601 1586 1585 0 -1 0 18132 3 1 0 33865 47 0 0 25 0 11 0 837044653 859152384 22950 4294967295 134512640 134569956 3221224384 3221214692 1131189205 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209754 22950 13086 16 0 209738 0
vsize: 839016
[startup+360.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11626
Raw data (stat): 11602 (java) R 11601 1586 1585 0 -1 0 18132 3 1 0 34844 47 0 0 25 0 11 0 837044653 859152384 22995 4294967295 134512640 134569956 3221224384 3221214592 1131187897 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209754 22995 13086 16 0 209738 0
vsize: 839016
[startup+370.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11626
Raw data (stat): 11602 (java) R 11601 1586 1585 0 -1 0 18132 3 1 0 35822 48 0 0 25 0 11 0 837044653 859152384 23044 4294967295 134512640 134569956 3221224384 3221214696 1131299243 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209754 23044 13086 16 0 209738 0
vsize: 839016
[startup+380.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11626
Raw data (stat): 11602 (java) R 11601 1586 1585 0 -1 0 18132 3 1 0 36800 48 0 0 25 0 11 0 837044653 859152384 23073 4294967295 134512640 134569956 3221224384 3221214592 1131188273 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209754 23073 13086 16 0 209738 0
vsize: 839016
[startup+390.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11626
Raw data (stat): 11602 (java) R 11601 1586 1585 0 -1 0 18132 3 1 0 37779 49 0 0 25 0 11 0 837044653 859152384 23137 4294967295 134512640 134569956 3221224384 3221214592 1131188522 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209754 23137 13086 16 0 209738 0
vsize: 839016
[startup+400.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11626
Raw data (stat): 11602 (java) R 11601 1586 1585 0 -1 0 18132 3 1 0 38761 49 0 0 25 0 11 0 837044653 859152384 23195 4294967295 134512640 134569956 3221224384 3221214696 1131304338 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209754 23195 13086 16 0 209738 0
vsize: 839016
[startup+410.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11626
Raw data (stat): 11602 (java) R 11601 1586 1585 0 -1 0 18132 3 1 0 39746 50 0 0 25 0 11 0 837044653 859152384 23233 4294967295 134512640 134569956 3221224384 3221214552 1131213867 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209754 23233 13086 16 0 209738 0
vsize: 839016
[startup+420.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11626
Raw data (stat): 11602 (java) R 11601 1586 1585 0 -1 0 18132 3 1 0 40732 50 0 0 25 0 11 0 837044653 859152384 23253 4294967295 134512640 134569956 3221224384 3221214696 1131299019 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209754 23253 13086 16 0 209738 0
vsize: 839016
[startup+430.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11627
Raw data (stat): 11602 (java) R 11601 1586 1585 0 -1 0 18132 3 1 0 41716 51 0 0 25 0 11 0 837044653 859152384 23284 4294967295 134512640 134569956 3221224384 3221214592 1131188510 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209754 23284 13086 16 0 209738 0
vsize: 839016
[startup+440.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11628
Raw data (stat): 11602 (java) R 11601 1586 1585 0 -1 0 18132 3 1 0 42699 52 0 0 25 0 11 0 837044653 859152384 23305 4294967295 134512640 134569956 3221224384 3221214592 1131188248 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209754 23305 13086 16 0 209738 0
vsize: 839016
[startup+450.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11628
Raw data (stat): 11602 (java) R 11601 1586 1585 0 -1 0 18132 3 1 0 43682 52 0 0 25 0 11 0 837044653 859152384 23357 4294967295 134512640 134569956 3221224384 3221214696 1131300408 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209754 23357 13086 16 0 209738 0
vsize: 839016
[startup+460.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11630
Raw data (stat): 11602 (java) R 11601 1586 1585 0 -1 0 18132 3 1 0 44669 53 0 0 25 0 11 0 837044653 859152384 23372 4294967295 134512640 134569956 3221224384 3221214696 1131303530 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209754 23372 13086 16 0 209738 0
vsize: 839016
[startup+470.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11632
Raw data (stat): 11602 (java) R 11601 1586 1585 0 -1 0 18132 3 1 0 45655 53 0 0 25 0 11 0 837044653 859152384 23410 4294967295 134512640 134569956 3221224384 3221214696 1131303530 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209754 23410 13086 16 0 209738 0
vsize: 839016
[startup+480.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11635
Raw data (stat): 11602 (java) R 11601 1586 1585 0 -1 0 18132 3 1 0 46641 54 0 0 25 0 11 0 837044653 859152384 23428 4294967295 134512640 134569956 3221224384 3221214592 1131188242 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209754 23428 13086 16 0 209738 0
vsize: 839016
[startup+490.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11637
Raw data (stat): 11602 (java) R 11601 1586 1585 0 -1 0 18132 3 1 0 47628 54 1 0 25 0 11 0 837044653 859152384 23469 4294967295 134512640 134569956 3221224384 3221214592 1131187888 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209754 23469 13086 16 0 209738 0
vsize: 839016
[startup+500.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11639
Raw data (stat): 11602 (java) R 11601 1586 1585 0 -1 0 18132 3 1 0 48618 54 1 0 25 0 11 0 837044653 859152384 23495 4294967295 134512640 134569956 3221224384 3221214592 1131187936 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209754 23495 13086 16 0 209738 0
vsize: 839016
[startup+510.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11641
Raw data (stat): 11602 (java) R 11601 1586 1585 0 -1 0 18132 3 1 0 49609 55 1 0 25 0 11 0 837044653 859152384 23505 4294967295 134512640 134569956 3221224384 3221214696 1131303584 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209754 23505 13086 16 0 209738 0
vsize: 839016
[startup+520.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11643
Raw data (stat): 11602 (java) R 11601 1586 1585 0 -1 0 18132 3 1 0 50599 55 1 0 25 0 11 0 837044653 859152384 23523 4294967295 134512640 134569956 3221224384 3221214744 1131299162 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209754 23523 13086 16 0 209738 0
vsize: 839016
[startup+530.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11645
Raw data (stat): 11602 (java) R 11601 1586 1585 0 -1 0 18132 3 1 0 51590 56 1 0 25 0 11 0 837044653 859152384 23534 4294967295 134512640 134569956 3221224384 3221214744 1131303558 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209754 23534 13086 16 0 209738 0
vsize: 839016
[startup+540.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11647
Raw data (stat): 11602 (java) R 11601 1586 1585 0 -1 0 18132 3 1 0 52581 57 1 1 25 0 11 0 837044653 859152384 23544 4294967295 134512640 134569956 3221224384 3221214744 1131299239 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209754 23544 13086 16 0 209738 0
vsize: 839016
[startup+550.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11649
Raw data (stat): 11602 (java) R 11601 1586 1585 0 -1 0 18132 3 1 0 53571 57 1 1 25 0 11 0 837044653 859152384 23554 4294967295 134512640 134569956 3221224384 3221214640 1131187882 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209754 23554 13086 16 0 209738 0
vsize: 839016
[startup+560.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11650
Raw data (stat): 11602 (java) R 11601 1586 1585 0 -1 0 18132 3 1 0 54560 57 1 1 25 0 11 0 837044653 859152384 23574 4294967295 134512640 134569956 3221224384 3221214672 1131198099 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209754 23574 13086 16 0 209738 0
vsize: 839016
[startup+570.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11650
Raw data (stat): 11602 (java) R 11601 1586 1585 0 -1 0 18132 3 1 0 55545 58 1 1 24 0 11 0 837044653 859152384 23584 4294967295 134512640 134569956 3221224384 3221214640 1131189075 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209754 23584 13086 16 0 209738 0
vsize: 839016
[startup+580.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11650
Raw data (stat): 11602 (java) R 11601 1586 1585 0 -1 0 18132 3 1 0 56524 58 1 1 25 0 11 0 837044653 859152384 23595 4294967295 134512640 134569956 3221224384 3221214568 1131201765 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209754 23595 13086 16 0 209738 0
vsize: 839016
[startup+590.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11650
Raw data (stat): 11602 (java) R 11601 1586 1585 0 -1 0 18132 3 1 0 57500 59 1 1 25 0 11 0 837044653 859152384 23615 4294967295 134512640 134569956 3221224384 3221214640 1131188399 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209754 23615 13086 16 0 209738 0
vsize: 839016
[startup+600.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11650
Raw data (stat): 11602 (java) R 11601 1586 1585 0 -1 0 18132 3 1 0 58473 59 1 1 24 0 11 0 837044653 859152384 23673 4294967295 134512640 134569956 3221224384 3221214640 1131188270 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209754 23673 13086 16 0 209738 0
vsize: 839016
[startup+610.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11650
Raw data (stat): 11602 (java) R 11601 1586 1585 0 -1 0 18132 3 1 0 59451 59 1 1 25 0 11 0 837044653 859152384 23751 4294967295 134512640 134569956 3221224384 3221214680 1131189109 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209754 23751 13086 16 0 209738 0
vsize: 839016
[startup+620.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11650
Raw data (stat): 11602 (java) R 11601 1586 1585 0 -1 0 18132 3 1 0 60428 60 1 1 25 0 11 0 837044653 859152384 23805 4294967295 134512640 134569956 3221224384 3221214540 1085679260 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209754 23805 13086 16 0 209738 0
vsize: 839016
[startup+630.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11650
Raw data (stat): 11602 (java) R 11601 1586 1585 0 -1 0 18132 3 1 0 61407 60 1 1 25 0 11 0 837044653 859152384 23844 4294967295 134512640 134569956 3221224384 3221214640 1131188579 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209754 23844 13086 16 0 209738 0
vsize: 839016
[startup+640.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11650
Raw data (stat): 11602 (java) R 11601 1586 1585 0 -1 0 18132 3 1 0 62384 60 1 1 25 0 11 0 837044653 859152384 23892 4294967295 134512640 134569956 3221224384 3221214568 1131201547 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209754 23892 13086 16 0 209738 0
vsize: 839016
[startup+650.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11650
Raw data (stat): 11602 (java) R 11601 1586 1585 0 -1 0 18132 3 1 0 63363 61 1 1 25 0 11 0 837044653 859152384 23936 4294967295 134512640 134569956 3221224384 3221214640 1131188376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209754 23936 13086 16 0 209738 0
vsize: 839016
[startup+660.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11650
Raw data (stat): 11602 (java) R 11601 1586 1585 0 -1 0 18132 3 1 0 64345 61 1 1 25 0 11 0 837044653 859152384 23980 4294967295 134512640 134569956 3221224384 3221214536 1131390338 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209754 23980 13086 16 0 209738 0
vsize: 839016
[startup+670.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11650
Raw data (stat): 11602 (java) R 11601 1586 1585 0 -1 0 18132 3 1 0 65323 61 1 1 25 0 11 0 837044653 859152384 24028 4294967295 134512640 134569956 3221224384 3221214640 1131188539 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209754 24028 13086 16 0 209738 0
vsize: 839016
[startup+680.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11650
Raw data (stat): 11602 (java) R 11601 1586 1585 0 -1 0 18132 3 1 0 66298 62 1 1 24 0 11 0 837044653 859152384 24076 4294967295 134512640 134569956 3221224384 3221214744 1131299211 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209754 24076 13086 16 0 209738 0
vsize: 839016
[startup+690.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11650
Raw data (stat): 11602 (java) R 11601 1586 1585 0 -1 0 18132 3 1 0 67275 62 1 1 25 0 11 0 837044653 859152384 24132 4294967295 134512640 134569956 3221224384 3221214744 1131300186 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209754 24132 13086 16 0 209738 0
vsize: 839016
[startup+700.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11650
Raw data (stat): 11602 (java) R 11601 1586 1585 0 -1 0 18132 3 1 0 68255 62 1 1 25 0 11 0 837044653 859152384 24186 4294967295 134512640 134569956 3221224384 3221214552 1131203539 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209754 24186 13086 16 0 209738 0
vsize: 839016
[startup+710.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11650
Raw data (stat): 11602 (java) R 11601 1586 1585 0 -1 0 18132 3 1 0 69235 63 1 1 25 0 11 0 837044653 859152384 24233 4294967295 134512640 134569956 3221224384 3221214744 1131299211 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209754 24233 13086 16 0 209738 0
vsize: 839016
[startup+720.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11650
Raw data (stat): 11602 (java) R 11601 1586 1585 0 -1 0 18132 3 1 0 70219 63 1 1 25 0 11 0 837044653 859152384 24276 4294967295 134512640 134569956 3221224384 3221214640 1131187925 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209754 24276 13086 16 0 209738 0
vsize: 839016
[startup+730.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11650
Raw data (stat): 11602 (java) R 11601 1586 1585 0 -1 0 18132 3 1 0 71199 63 1 1 25 0 11 0 837044653 859152384 24297 4294967295 134512640 134569956 3221224384 3221214744 1131303473 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209754 24297 13086 16 0 209738 0
vsize: 839016
[startup+740.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11650
Raw data (stat): 11602 (java) R 11601 1586 1585 0 -1 0 18132 3 1 0 72178 64 1 1 25 0 11 0 837044653 859152384 24328 4294967295 134512640 134569956 3221224384 3221214640 1131188248 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209754 24328 13086 16 0 209738 0
vsize: 839016
[startup+750.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11650
Raw data (stat): 11602 (java) R 11601 1586 1585 0 -1 0 18132 3 1 0 73155 64 1 1 25 0 11 0 837044653 859152384 24358 4294967295 134512640 134569956 3221224384 3221214744 1131299239 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209754 24358 13086 16 0 209738 0
vsize: 839016
[startup+760.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11650
Raw data (stat): 11602 (java) S 11601 1586 1585 0 -1 0 18132 3 1 0 74130 64 1 1 25 0 11 0 837044653 859152384 24431 4294967295 134512640 134569956 3221224384 3221213344 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209754 24431 13086 16 0 209738 0
vsize: 839016
[startup+770.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11650
Raw data (stat): 11602 (java) R 11601 1586 1585 0 -1 0 18132 3 1 0 75108 65 1 1 25 0 11 0 837044653 859152384 24483 4294967295 134512640 134569956 3221224384 3221214432 1131519083 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209754 24483 13086 16 0 209738 0
vsize: 839016
[startup+780.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11650
Raw data (stat): 11602 (java) R 11601 1586 1585 0 -1 0 18132 3 1 0 76087 66 1 1 25 0 11 0 837044653 859152384 24540 4294967295 134512640 134569956 3221224384 3221214640 1131188362 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209754 24540 13086 16 0 209738 0
vsize: 839016
[startup+790.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11650
Raw data (stat): 11602 (java) R 11601 1586 1585 0 -1 0 18132 3 1 0 77068 66 1 1 25 0 11 0 837044653 859152384 24595 4294967295 134512640 134569956 3221224384 3221214640 1131188718 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209754 24595 13086 16 0 209738 0
vsize: 839016
[startup+800.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11650
Raw data (stat): 11602 (java) R 11601 1586 1585 0 -1 0 18132 3 1 0 78050 66 1 1 25 0 11 0 837044653 859152384 24624 4294967295 134512640 134569956 3221224384 3221214640 1131187877 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209754 24624 13086 16 0 209738 0
vsize: 839016
[startup+810.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11650
Raw data (stat): 11602 (java) R 11601 1586 1585 0 -1 0 18132 3 1 0 79034 67 1 1 25 0 11 0 837044653 859152384 24659 4294967295 134512640 134569956 3221224384 3221214640 1131188494 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209754 24659 13086 16 0 209738 0
vsize: 839016
[startup+820.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11650
Raw data (stat): 11602 (java) R 11601 1586 1585 0 -1 0 18132 3 1 0 80016 67 1 1 25 0 11 0 837044653 859152384 24685 4294967295 134512640 134569956 3221224384 3221214744 1131304327 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209754 24685 13086 16 0 209738 0
vsize: 839016
[startup+830.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11650
Raw data (stat): 11602 (java) R 11601 1586 1585 0 -1 0 18132 3 1 0 80998 67 1 1 25 0 11 0 837044653 859152384 24709 4294967295 134512640 134569956 3221224384 3221214640 1131188248 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209754 24709 13086 16 0 209738 0
vsize: 839016
[startup+840.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11650
Raw data (stat): 11602 (java) R 11601 1586 1585 0 -1 0 18132 3 1 0 81975 67 1 1 24 0 11 0 837044653 859152384 24749 4294967295 134512640 134569956 3221224384 3221214576 1131214628 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209754 24749 13086 16 0 209738 0
vsize: 839016
[startup+850.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11650
Raw data (stat): 11602 (java) R 11601 1586 1585 0 -1 0 18132 3 1 0 82950 67 1 1 25 0 11 0 837044653 859152384 24792 4294967295 134512640 134569956 3221224384 3221214640 1131188409 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209754 24792 13086 16 0 209738 0
vsize: 839016
[startup+860.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11650
Raw data (stat): 11602 (java) R 11601 1586 1585 0 -1 0 18132 3 1 0 83925 68 1 1 25 0 11 0 837044653 859152384 24852 4294967295 134512640 134569956 3221224384 3221214640 1131188248 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209754 24852 13086 16 0 209738 0
vsize: 839016
[startup+870.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11650
Raw data (stat): 11602 (java) R 11601 1586 1585 0 -1 0 18132 3 1 0 84904 68 1 1 25 0 11 0 837044653 859152384 24912 4294967295 134512640 134569956 3221224384 3221214744 1131300408 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209754 24912 13086 16 0 209738 0
vsize: 839016
[startup+880.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11650
Raw data (stat): 11602 (java) R 11601 1586 1585 0 -1 0 18132 3 1 0 85885 68 1 1 25 0 11 0 837044653 859152384 24959 4294967295 134512640 134569956 3221224384 3221214568 1131201769 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209754 24959 13086 16 0 209738 0
vsize: 839016
[startup+890.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11650
Raw data (stat): 11602 (java) R 11601 1586 1585 0 -1 0 18132 3 1 0 86864 68 1 1 25 0 11 0 837044653 859152384 24996 4294967295 134512640 134569956 3221224384 3221214624 1131285108 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209754 24996 13086 16 0 209738 0
vsize: 839016
[startup+900.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11650
Raw data (stat): 11602 (java) R 11601 1586 1585 0 -1 0 18132 3 1 0 87847 69 1 1 25 0 11 0 837044653 859152384 25024 4294967295 134512640 134569956 3221224384 3221214640 1131187894 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209754 25024 13086 16 0 209738 0
vsize: 839016
[startup+910.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11650
Raw data (stat): 11602 (java) R 11601 1586 1585 0 -1 0 18132 3 1 0 88827 69 1 1 25 0 11 0 837044653 859152384 25059 4294967295 134512640 134569956 3221224384 3221214552 1131201832 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209754 25059 13086 16 0 209738 0
vsize: 839016
[startup+920.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11650
Raw data (stat): 11602 (java) R 11601 1586 1585 0 -1 0 18132 3 1 0 89804 69 1 1 25 0 11 0 837044653 859152384 25134 4294967295 134512640 134569956 3221224384 3221214552 1131201722 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209754 25134 13086 16 0 209738 0
vsize: 839016
[startup+930.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11650
Raw data (stat): 11602 (java) R 11601 1586 1585 0 -1 0 18132 3 1 0 90787 70 1 1 25 0 11 0 837044653 859152384 25175 4294967295 134512640 134569956 3221224384 3221214552 1131201824 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209754 25175 13086 16 0 209738 0
vsize: 839016
[startup+940.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11650
Raw data (stat): 11602 (java) R 11601 1586 1585 0 -1 0 18132 3 1 0 91763 70 1 1 25 0 11 0 837044653 859152384 25226 4294967295 134512640 134569956 3221224384 3221214460 1074489717 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209754 25226 13086 16 0 209738 0
vsize: 839016
[startup+950.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11650
Raw data (stat): 11602 (java) R 11601 1586 1585 0 -1 0 18132 3 1 0 92741 70 1 1 25 0 11 0 837044653 859152384 25295 4294967295 134512640 134569956 3221224384 3221214740 1131187852 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209754 25295 13086 16 0 209738 0
vsize: 839016
[startup+960.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11650
Raw data (stat): 11602 (java) R 11601 1586 1585 0 -1 0 18132 3 1 0 93715 71 1 1 25 0 11 0 837044653 859152384 25364 4294967295 134512640 134569956 3221224384 3221214476 1131492432 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209754 25364 13086 16 0 209738 0
vsize: 839016
[startup+970.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11650
Raw data (stat): 11602 (java) R 11601 1586 1585 0 -1 0 18132 3 1 0 94691 71 1 1 25 0 11 0 837044653 859152384 25452 4294967295 134512640 134569956 3221224384 3221214620 1131208743 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209754 25452 13086 16 0 209738 0
vsize: 839016
[startup+980.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11650
Raw data (stat): 11602 (java) R 11601 1586 1585 0 -1 0 18132 3 1 0 95671 71 1 1 25 0 11 0 837044653 859152384 25522 4294967295 134512640 134569956 3221224384 3221214640 1131188395 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209754 25522 13086 16 0 209738 0
vsize: 839016
[startup+990.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11650
Raw data (stat): 11602 (java) R 11601 1586 1585 0 -1 0 18132 3 1 0 96657 72 1 1 25 0 11 0 837044653 859152384 25586 4294967295 134512640 134569956 3221224384 3221214568 1131201769 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209754 25586 13086 16 0 209738 0
vsize: 839016
[startup+1000.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11650
Raw data (stat): 11602 (java) R 11601 1586 1585 0 -1 0 18132 3 1 0 97649 72 1 1 25 0 11 0 837044653 859152384 25611 4294967295 134512640 134569956 3221224384 3221214424 1131463877 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209754 25611 13086 16 0 209738 0
vsize: 839016
[startup+1010.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11650
Raw data (stat): 11602 (java) R 11601 1586 1585 0 -1 0 18132 3 1 0 98636 73 1 1 25 0 11 0 837044653 859152384 25659 4294967295 134512640 134569956 3221224384 3221214552 1131201853 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209754 25659 13086 16 0 209738 0
vsize: 839016
[startup+1020.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11650
Raw data (stat): 11602 (java) R 11601 1586 1585 0 -1 0 18132 3 1 0 99622 73 1 1 25 0 11 0 837044653 859152384 25682 4294967295 134512640 134569956 3221224384 3221214496 1131434997 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209754 25682 13086 16 0 209738 0
vsize: 839016
[startup+1030.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11650
Raw data (stat): 11602 (java) R 11601 1586 1585 0 -1 0 18132 3 1 0 100606 73 1 1 25 0 11 0 837044653 859152384 25707 4294967295 134512640 134569956 3221224384 3221214496 1131435422 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209754 25707 13086 16 0 209738 0
vsize: 839016
[startup+1040.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11650
Raw data (stat): 11602 (java) R 11601 1586 1585 0 -1 0 18132 3 1 0 101585 74 1 1 25 0 11 0 837044653 859152384 25732 4294967295 134512640 134569956 3221224384 3221214656 1131232398 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209754 25732 13086 16 0 209738 0
vsize: 839016
[startup+1050.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11650
Raw data (stat): 11602 (java) R 11601 1586 1585 0 -1 0 18132 3 1 0 102567 74 1 1 25 0 11 0 837044653 859152384 25775 4294967295 134512640 134569956 3221224384 3221214456 1131463548 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209754 25775 13086 16 0 209738 0
vsize: 839016
[startup+1060.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11650
Raw data (stat): 11602 (java) R 11601 1586 1585 0 -1 0 18132 3 1 0 103546 75 1 1 25 0 11 0 837044653 859152384 25810 4294967295 134512640 134569956 3221224384 3221214552 1131201657 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209754 25810 13086 16 0 209738 0
vsize: 839016
[startup+1070.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11650
Raw data (stat): 11602 (java) R 11601 1586 1585 0 -1 0 18132 3 1 0 104519 75 1 1 25 0 11 0 837044653 859152384 25930 4294967295 134512640 134569956 3221224384 3221214640 1131188448 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209754 25930 13086 16 0 209738 0
vsize: 839016
[startup+1080.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11650
Raw data (stat): 11602 (java) R 11601 1586 1585 0 -1 0 18132 3 1 0 105501 75 1 1 25 0 11 0 837044653 859152384 26024 4294967295 134512640 134569956 3221224384 3221214640 1131188351 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209754 26024 13086 16 0 209738 0
vsize: 839016
[startup+1090.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11650
Raw data (stat): 11602 (java) R 11601 1586 1585 0 -1 0 18132 3 1 0 106473 75 1 1 25 0 11 0 837044653 859152384 26149 4294967295 134512640 134569956 3221224384 3221214680 1131284829 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209754 26149 13086 16 0 209738 0
vsize: 839016
[startup+1100.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11650
Raw data (stat): 11602 (java) R 11601 1586 1585 0 -1 0 18132 3 1 0 107451 76 1 1 25 0 11 0 837044653 859152384 26327 4294967295 134512640 134569956 3221224384 3221214640 1131189301 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209754 26327 13086 16 0 209738 0
vsize: 839016
[startup+1110.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11650
Raw data (stat): 11602 (java) R 11601 1586 1585 0 -1 0 18132 3 1 0 108432 76 1 1 25 0 11 0 837044653 859152384 26377 4294967295 134512640 134569956 3221224384 3221214384 1131492433 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209754 26377 13086 16 0 209738 0
vsize: 839016
[startup+1120.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11650
Raw data (stat): 11602 (java) R 11601 1586 1585 0 -1 0 18132 3 1 0 109419 77 1 1 25 0 11 0 837044653 859152384 26428 4294967295 134512640 134569956 3221224384 3221214640 1131188273 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209754 26428 13086 16 0 209738 0
vsize: 839016
[startup+1130.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11650
Raw data (stat): 11602 (java) R 11601 1586 1585 0 -1 0 18132 3 1 0 110405 77 1 1 25 0 11 0 837044653 859152384 26445 4294967295 134512640 134569956 3221224384 3221214640 1131187873 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209754 26445 13086 16 0 209738 0
vsize: 839016
[startup+1140.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11650
Raw data (stat): 11602 (java) R 11601 1586 1585 0 -1 0 18132 3 1 0 111384 77 1 1 25 0 11 0 837044653 859152384 26494 4294967295 134512640 134569956 3221224384 3221214640 1131188490 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209754 26494 13086 16 0 209738 0
vsize: 839016
[startup+1150.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11650
Raw data (stat): 11602 (java) R 11601 1586 1585 0 -1 0 18132 3 1 0 112368 77 1 1 25 0 11 0 837044653 859152384 26541 4294967295 134512640 134569956 3221224384 3221214552 1131201763 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209754 26541 13086 16 0 209738 0
vsize: 839016
[startup+1160.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11650
Raw data (stat): 11602 (java) R 11601 1586 1585 0 -1 0 18132 3 1 0 113358 78 1 1 25 0 11 0 837044653 859152384 26564 4294967295 134512640 134569956 3221224384 3221214568 1131201763 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209754 26564 13086 16 0 209738 0
vsize: 839016
[startup+1170.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11650
Raw data (stat): 11602 (java) R 11601 1586 1585 0 -1 0 18132 3 1 0 114344 78 1 1 25 0 11 0 837044653 859152384 26605 4294967295 134512640 134569956 3221224384 3221214592 1131387360 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209754 26605 13086 16 0 209738 0
vsize: 839016
[startup+1180.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11650
Raw data (stat): 11602 (java) R 11601 1586 1585 0 -1 0 18132 3 1 0 115337 78 1 1 25 0 11 0 837044653 859152384 26637 4294967295 134512640 134569956 3221224384 3221214104 1080019524 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209754 26637 13086 16 0 209738 0
vsize: 839016
[startup+1190.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11650
Raw data (stat): 11602 (java) R 11601 1586 1585 0 -1 0 18132 3 1 0 116320 78 1 1 25 0 11 0 837044653 859152384 26715 4294967295 134512640 134569956 3221224384 3221214640 1131187877 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209754 26715 13086 16 0 209738 0
vsize: 839016
[startup+1200.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11650
Raw data (stat): 11602 (java) R 11601 1586 1585 0 -1 0 18132 3 1 0 117301 79 1 1 25 0 11 0 837044653 859152384 26805 4294967295 134512640 134569956 3221224384 3221214552 1131201902 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209754 26805 13086 16 0 209738 0
vsize: 839016
[startup+1210.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11650
Raw data (stat): 11602 (java) R 11601 1586 1585 0 -1 0 18132 3 1 0 118288 79 1 1 25 0 11 0 837044653 859152384 26805 4294967295 134512640 134569956 3221224384 3221214744 1131300186 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209754 26805 13086 16 0 209738 0
vsize: 839016
[startup+1220.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11650
Raw data (stat): 11602 (java) R 11601 1586 1585 0 -1 0 18132 3 1 0 119267 79 1 1 25 0 11 0 837044653 859152384 26893 4294967295 134512640 134569956 3221224384 3221214552 1131201763 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209754 26893 13086 16 0 209738 0
vsize: 839016
[startup+1230.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11650
Raw data (stat): 11602 (java) R 11601 1586 1585 0 -1 0 18132 3 1 0 120260 79 1 1 25 0 11 0 837044653 859152384 26931 4294967295 134512640 134569956 3221224384 3221214552 1131201869 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209754 26931 13086 16 0 209738 0
vsize: 839016
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1230.17 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 11652
Raw data (stat): 11602 (java) Z 11601 1586 1585 0 -1 1036 18132 12649 1 0 120265 79 3574 42 25 0 1 0 837044653 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): 1230.17
CPU time (s): 1239.61
CPU user time (s): 1238.39
CPU system time (s): 1.22381
CPU usage (%): 100.768
Max. virtual memory (Kb): 839628
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	332177
#### END VERIFIER DATA ####