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/manquinho/logic-synthesis/normalized-f51m.b.opb
MD5SUM	4fc22abde8250807abd95442a25fac44
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	18
Optimality of the best value was proved	NO
Number of terms in the objective function	407
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	407
Number of bits of the sum of numbers in the objective function	9
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	407
Number of bits of the biggest sum of numbers	9
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.02684
Number of variables	406
Total number of constraints	538
Number of constraints which are clauses	520
Number of constraints which are cardinality constraints (but not clauses)	18
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	123
Trace number 29127

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.242
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:        549904 kB
Buffers:         21860 kB
Cached:         441724 kB
SwapCached:        584 kB
Active:          35856 kB
Inactive:       429856 kB
HighTotal:      131008 kB
HighFree:         7112 kB
LowTotal:       903652 kB
LowFree:        542792 kB
SwapTotal:     2097136 kB
SwapFree:      2095724 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5416 kB
Slab:            13456 kB
Committed_AS:    63596 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 05:18:16 (client local time) WITH STATUS 143 IN 1259.27 SECONDS
stats: 20479 0 1259.27 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/wulflinc9/normalized-f51m.b.opb
c reading problem ... done. Time 2.883 ms.
c #vars     407
c #constraints  520
c SATISFIABLE
c OPTIMIZING...
c CURRENT OPTIMUM=                  27 		Current CPU time: 3.70 ms
c CURRENT OPTIMUM=                  26 		Current CPU time: 10.64 ms
c CURRENT OPTIMUM=                  20 		Current CPU time: 10.80 ms
c CURRENT OPTIMUM=                  19 		Current CPU time: 15.66 ms
c starts	: 10
c conflicts	: 1586
c decisions	: 21971
c propagations	: 56025
c inspects	: 856936
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 1585
c root simplifications	: 10
s SATISFIABLE
v -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 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 x310 -x311 -x312 -x313 -x314 x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 x325 -x326 x327 x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 x406 -x407 
c objectif function=19
c Total CPU time (ms) : 1249.107
#### 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.91 0.95 0.96 2/54 16608
Raw data (stat): 16608 (runsolver) R 16607 3944 3943 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 777951432 1052672 99 4294967295 134512640 135381576 3221224416 3221219636 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0004 s]
Raw data (loadavg): 1.07 0.99 0.97 2/64 16619
Raw data (stat): 16608 (java) R 16607 3944 3943 0 -1 0 18124 4 6 0 589 38 0 0 25 0 11 0 777951432 864899072 21631 4294967295 134512640 134569956 3221224384 3221214456 1131296365 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211157 21631 13086 16 0 211141 0
vsize: 844628
[startup+20.0012 s]
Raw data (loadavg): 1.06 0.99 0.97 2/64 16622
Raw data (stat): 16608 (java) R 16607 3944 3943 0 -1 0 18126 4 6 0 1519 38 0 0 25 0 11 0 777951432 863522816 22643 4294967295 134512640 134569956 3221224384 3221214544 1131548130 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210821 22643 13086 16 0 210805 0
vsize: 843284
[startup+30.0024 s]
Raw data (loadavg): 1.05 0.99 0.97 2/64 16622
Raw data (stat): 16608 (java) R 16607 3944 3943 0 -1 0 18126 4 6 0 2467 39 0 0 25 0 11 0 777951432 863096832 23031 4294967295 134512640 134569956 3221224384 3221214544 1131296752 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210717 23031 13086 16 0 210701 0
vsize: 842868
[startup+40.0026 s]
Raw data (loadavg): 1.04 0.99 0.97 2/64 16622
Raw data (stat): 16608 (java) R 16607 3944 3943 0 -1 0 18126 4 6 0 3412 39 0 0 25 0 11 0 777951432 863096832 23031 4294967295 134512640 134569956 3221224384 3221214728 1131356970 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210717 23031 13086 16 0 210701 0
vsize: 842868
[startup+50.0033 s]
Raw data (loadavg): 1.04 0.99 0.97 2/64 16622
Raw data (stat): 16608 (java) R 16607 3944 3943 0 -1 0 18126 4 6 0 4357 40 0 0 25 0 11 0 777951432 863096832 23044 4294967295 134512640 134569956 3221224384 3221214480 1131296365 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210717 23044 13086 16 0 210701 0
vsize: 842868
[startup+60.0038 s]
Raw data (loadavg): 1.03 0.99 0.97 2/64 16622
Raw data (stat): 16608 (java) R 16607 3944 3943 0 -1 0 18126 4 6 0 5283 40 0 0 25 0 11 0 777951432 863096832 23548 4294967295 134512640 134569956 3221224384 3221214480 1131296211 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210717 23548 13086 16 0 210701 0
vsize: 842868
[startup+70.004 s]
Raw data (loadavg): 1.03 0.99 0.97 2/64 16622
Raw data (stat): 16608 (java) R 16607 3944 3943 0 -1 0 18126 4 6 0 6216 40 0 0 25 0 11 0 777951432 863096832 23655 4294967295 134512640 134569956 3221224384 3221214480 1131296611 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210717 23655 13086 16 0 210701 0
vsize: 842868
[startup+80.0047 s]
Raw data (loadavg): 1.02 0.99 0.97 2/64 16622
Raw data (stat): 16608 (java) R 16607 3944 3943 0 -1 0 18126 4 6 0 7146 41 0 0 25 0 11 0 777951432 863096832 23790 4294967295 134512640 134569956 3221224384 3221214552 1131181465 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210717 23790 13086 16 0 210701 0
vsize: 842868
[startup+90.0061 s]
Raw data (loadavg): 1.02 0.99 0.97 2/64 16622
Raw data (stat): 16608 (java) R 16607 3944 3943 0 -1 0 18126 4 6 0 8082 41 0 0 25 0 11 0 777951432 863096832 23963 4294967295 134512640 134569956 3221224384 3221214544 1131350309 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210717 23963 13086 16 0 210701 0
vsize: 842868
[startup+100.006 s]
Raw data (loadavg): 1.01 0.99 0.97 2/64 16622
Raw data (stat): 16608 (java) R 16607 3944 3943 0 -1 0 18126 4 6 0 9026 42 0 0 25 0 11 0 777951432 863096832 24170 4294967295 134512640 134569956 3221224384 3221214060 1130887393 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210717 24170 13086 16 0 210701 0
vsize: 842868
[startup+110.006 s]
Raw data (loadavg): 1.01 0.99 0.97 2/64 16622
Raw data (stat): 16608 (java) R 16607 3944 3943 0 -1 0 18127 4 6 0 9975 42 0 0 25 0 11 0 777951432 863096832 24483 4294967295 134512640 134569956 3221224384 3221214548 1130885189 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210717 24483 13086 16 0 210701 0
vsize: 842868
[startup+120.007 s]
Raw data (loadavg): 1.01 0.99 0.97 2/64 16622
Raw data (stat): 16608 (java) R 16607 3944 3943 0 -1 0 18127 4 6 0 10929 42 0 0 24 0 11 0 777951432 863096832 24648 4294967295 134512640 134569956 3221224384 3221214576 1131347707 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210717 24648 13086 16 0 210701 0
vsize: 842868
[startup+130.008 s]
Raw data (loadavg): 1.01 0.99 0.97 2/64 16622
Raw data (stat): 16608 (java) R 16607 3944 3943 0 -1 0 18127 4 6 0 11883 43 0 0 25 0 11 0 777951432 863096832 24722 4294967295 134512640 134569956 3221224384 3221214544 1131350400 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210717 24722 13086 16 0 210701 0
vsize: 842868
[startup+140.009 s]
Raw data (loadavg): 1.01 0.99 0.97 2/64 16622
Raw data (stat): 16608 (java) R 16607 3944 3943 0 -1 0 18127 4 6 0 12835 43 0 0 25 0 11 0 777951432 863096832 24803 4294967295 134512640 134569956 3221224384 3221214760 1131142208 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210717 24803 13086 16 0 210701 0
vsize: 842868
[startup+150.01 s]
Raw data (loadavg): 1.00 0.99 0.97 2/64 16622
Raw data (stat): 16608 (java) R 16607 3944 3943 0 -1 0 18127 4 6 0 13772 44 0 0 25 0 11 0 777951432 863096832 24959 4294967295 134512640 134569956 3221224384 3221214696 1131321987 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210717 24959 13086 16 0 210701 0
vsize: 842868
[startup+160.009 s]
Raw data (loadavg): 1.00 0.99 0.97 2/65 16623
Raw data (stat): 16608 (java) R 16607 3944 3943 0 -1 0 18127 4 6 0 14716 44 0 0 25 0 11 0 777951432 863096832 25091 4294967295 134512640 134569956 3221224384 3221214560 1131296324 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210717 25091 13086 16 0 210701 0
vsize: 842868
[startup+170.01 s]
Raw data (loadavg): 1.15 1.02 0.98 2/64 16675
Raw data (stat): 16608 (java) R 16607 3944 3943 0 -1 0 18127 4 6 0 15662 45 0 0 25 0 11 0 777951432 863096832 25331 4294967295 134512640 134569956 3221224384 3221214560 1131296240 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210717 25331 13086 16 0 210701 0
vsize: 842868
[startup+180.009 s]
Raw data (loadavg): 1.13 1.02 0.98 2/64 16675
Raw data (stat): 16608 (java) R 16607 3944 3943 0 -1 0 18127 4 6 0 16620 45 0 0 25 0 11 0 777951432 863096832 25444 4294967295 134512640 134569956 3221224384 3221214664 1131402670 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210717 25444 13086 16 0 210701 0
vsize: 842868
[startup+190.01 s]
Raw data (loadavg): 1.11 1.02 0.98 2/64 16675
Raw data (stat): 16608 (java) R 16607 3944 3943 0 -1 0 18127 4 6 0 17573 45 0 0 25 0 11 0 777951432 863096832 25535 4294967295 134512640 134569956 3221224384 3221214652 1131181424 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210717 25535 13086 16 0 210701 0
vsize: 842868
[startup+200.01 s]
Raw data (loadavg): 1.09 1.02 0.98 2/64 16675
Raw data (stat): 16608 (java) R 16607 3944 3943 0 -1 0 18127 4 6 0 18525 45 0 0 25 0 11 0 777951432 863096832 25727 4294967295 134512640 134569956 3221224384 3221214656 1131539372 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210717 25727 13086 16 0 210701 0
vsize: 842868
[startup+210.01 s]
Raw data (loadavg): 1.08 1.02 0.98 2/64 16675
Raw data (stat): 16608 (java) R 16607 3944 3943 0 -1 0 18127 4 6 0 19484 46 0 0 25 0 11 0 777951432 863096832 25801 4294967295 134512640 134569956 3221224384 3221214376 1131641996 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210717 25801 13086 16 0 210701 0
vsize: 842868
[startup+220.01 s]
Raw data (loadavg): 1.06 1.02 0.98 2/64 16675
Raw data (stat): 16608 (java) R 16607 3944 3943 0 -1 0 18127 4 6 0 20440 46 0 0 25 0 11 0 777951432 863096832 25906 4294967295 134512640 134569956 3221224384 3221214560 1131296365 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210717 25906 13086 16 0 210701 0
vsize: 842868
[startup+230.01 s]
Raw data (loadavg): 1.05 1.01 0.98 2/64 16675
Raw data (stat): 16608 (java) R 16607 3944 3943 0 -1 0 18127 4 6 0 21402 47 0 0 25 0 11 0 777951432 863096832 26056 4294967295 134512640 134569956 3221224384 3221214760 1131142205 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210717 26056 13086 16 0 210701 0
vsize: 842868
[startup+240.011 s]
Raw data (loadavg): 1.04 1.01 0.98 2/64 16677
Raw data (stat): 16608 (java) R 16607 3944 3943 0 -1 0 18127 4 6 0 22363 47 0 0 25 0 11 0 777951432 863096832 26196 4294967295 134512640 134569956 3221224384 3221214696 1131321987 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210717 26196 13086 16 0 210701 0
vsize: 842868
[startup+250.011 s]
Raw data (loadavg): 1.04 1.01 0.98 2/64 16677
Raw data (stat): 16608 (java) R 16607 3944 3943 0 -1 0 18127 4 6 0 23330 47 0 0 25 0 11 0 777951432 863096832 26271 4294967295 134512640 134569956 3221224384 3221214696 1131321952 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210717 26271 13086 16 0 210701 0
vsize: 842868
[startup+260.011 s]
Raw data (loadavg): 1.03 1.01 0.98 2/64 16677
Raw data (stat): 16608 (java) R 16607 3944 3943 0 -1 0 18127 4 6 0 24292 48 0 0 25 0 11 0 777951432 863096832 26381 4294967295 134512640 134569956 3221224384 3221214696 1131321655 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210717 26381 13086 16 0 210701 0
vsize: 842868
[startup+270.011 s]
Raw data (loadavg): 1.03 1.01 0.98 2/64 16677
Raw data (stat): 16608 (java) R 16607 3944 3943 0 -1 0 18127 4 6 0 25250 48 0 0 25 0 11 0 777951432 863096832 26417 4294967295 134512640 134569956 3221224384 3221214560 1131296487 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210717 26417 13086 16 0 210701 0
vsize: 842868
[startup+280.011 s]
Raw data (loadavg): 1.02 1.01 0.98 2/64 16677
Raw data (stat): 16608 (java) S 16607 3944 3943 0 -1 0 18127 4 6 0 26221 49 0 0 25 0 11 0 777951432 863096832 26481 4294967295 134512640 134569956 3221224384 3221213448 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210717 26481 13086 16 0 210701 0
vsize: 842868
[startup+290.012 s]
Raw data (loadavg): 1.02 1.01 0.98 2/64 16677
Raw data (stat): 16608 (java) R 16607 3944 3943 0 -1 0 18127 4 6 0 27188 49 0 0 25 0 11 0 777951432 863096832 26543 4294967295 134512640 134569956 3221224384 3221214560 1131296114 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210717 26543 13086 16 0 210701 0
vsize: 842868
[startup+300.012 s]
Raw data (loadavg): 1.01 1.01 0.98 2/64 16677
Raw data (stat): 16608 (java) R 16607 3944 3943 0 -1 0 18127 4 6 0 28143 50 0 0 25 0 11 0 777951432 863096832 26611 4294967295 134512640 134569956 3221224384 3221214504 1131638684 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210717 26611 13086 16 0 210701 0
vsize: 842868
[startup+310.011 s]
Raw data (loadavg): 1.01 1.01 0.98 2/64 16677
Raw data (stat): 16608 (java) R 16607 3944 3943 0 -1 0 18127 4 6 0 29090 51 0 0 25 0 11 0 777951432 863096832 26755 4294967295 134512640 134569956 3221224384 3221214664 1131403099 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210717 26755 13086 16 0 210701 0
vsize: 842868
[startup+320.012 s]
Raw data (loadavg): 1.01 1.01 0.98 2/64 16677
Raw data (stat): 16608 (java) R 16607 3944 3943 0 -1 0 18127 4 6 0 30048 51 0 0 25 0 11 0 777951432 863096832 26864 4294967295 134512640 134569956 3221224384 3221214696 1131321882 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210717 26864 13086 16 0 210701 0
vsize: 842868
[startup+330.013 s]
Raw data (loadavg): 1.01 1.00 0.98 2/64 16677
Raw data (stat): 16608 (java) R 16607 3944 3943 0 -1 0 18127 4 6 0 31002 51 0 0 25 0 11 0 777951432 863096832 26990 4294967295 134512640 134569956 3221224384 3221214696 1131321952 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210717 26990 13086 16 0 210701 0
vsize: 842868
[startup+340.014 s]
Raw data (loadavg): 1.01 1.00 0.98 2/64 16677
Raw data (stat): 16608 (java) R 16607 3944 3943 0 -1 0 18127 4 6 0 31963 52 0 0 25 0 11 0 777951432 863096832 27154 4294967295 134512640 134569956 3221224384 3221214560 1131296322 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210717 27154 13086 16 0 210701 0
vsize: 842868
[startup+350.013 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16677
Raw data (stat): 16608 (java) R 16607 3944 3943 0 -1 0 18127 4 6 0 32926 52 0 0 25 0 11 0 777951432 863096832 27313 4294967295 134512640 134569956 3221224384 3221214568 1131296324 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210717 27313 13086 16 0 210701 0
vsize: 842868
[startup+360.013 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16677
Raw data (stat): 16608 (java) R 16607 3944 3943 0 -1 0 18127 4 6 0 33894 52 0 0 25 0 11 0 777951432 863096832 27356 4294967295 134512640 134569956 3221224384 3221214568 1131297024 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210717 27356 13086 16 0 210701 0
vsize: 842868
[startup+370.014 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16677
Raw data (stat): 16608 (java) R 16607 3944 3943 0 -1 0 18127 4 6 0 34870 53 0 0 25 0 11 0 777951432 863096832 27425 4294967295 134512640 134569956 3221224384 3221214632 1131181469 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210717 27425 13086 16 0 210701 0
vsize: 842868
[startup+380.014 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16677
Raw data (stat): 16608 (java) R 16607 3944 3943 0 -1 0 18127 4 6 0 35839 53 0 0 25 0 11 0 777951432 863096832 27503 4294967295 134512640 134569956 3221224384 3221214632 1131181465 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210717 27503 13086 16 0 210701 0
vsize: 842868
[startup+390.014 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16677
Raw data (stat): 16608 (java) R 16607 3944 3943 0 -1 0 18127 4 6 0 36805 53 0 0 24 0 11 0 777951432 863096832 27647 4294967295 134512640 134569956 3221224384 3221214560 1131296322 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210717 27647 13086 16 0 210701 0
vsize: 842868
[startup+400.015 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16677
Raw data (stat): 16608 (java) R 16607 3944 3943 0 -1 0 18127 4 6 0 37783 54 0 0 25 0 11 0 777951432 863096832 27682 4294967295 134512640 134569956 3221224384 3221214560 1131296324 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210717 27682 13086 16 0 210701 0
vsize: 842868
[startup+410.015 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16677
Raw data (stat): 16608 (java) R 16607 3944 3943 0 -1 0 18127 4 6 0 38753 54 0 0 25 0 11 0 777951432 863096832 27682 4294967295 134512640 134569956 3221224384 3221214568 1131296365 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210717 27682 13086 16 0 210701 0
vsize: 842868
[startup+420.016 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16677
Raw data (stat): 16608 (java) S 16607 3944 3943 0 -1 0 18127 4 6 0 39719 54 0 0 25 0 11 0 777951432 863096832 27816 4294967295 134512640 134569956 3221224384 3221213264 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210717 27816 13086 16 0 210701 0
vsize: 842868
[startup+430.016 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16677
Raw data (stat): 16608 (java) R 16607 3944 3943 0 -1 0 18127 4 6 0 40693 55 0 0 25 0 11 0 777951432 863096832 27898 4294967295 134512640 134569956 3221224384 3221214560 1131296365 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210717 27898 13086 16 0 210701 0
vsize: 842868
[startup+440.018 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16677
Raw data (stat): 16608 (java) R 16607 3944 3943 0 -1 0 18127 4 6 0 41670 55 0 0 25 0 11 0 777951432 863096832 27911 4294967295 134512640 134569956 3221224384 3221214656 1131538886 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210717 27911 13086 16 0 210701 0
vsize: 842868
[startup+450.018 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16677
Raw data (stat): 16608 (java) R 16607 3944 3943 0 -1 0 18127 4 6 0 42649 56 0 0 25 0 11 0 777951432 863096832 28004 4294967295 134512640 134569956 3221224384 3221214800 1131429093 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210717 28004 13086 16 0 210701 0
vsize: 842868
[startup+460.018 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16677
Raw data (stat): 16608 (java) R 16607 3944 3943 0 -1 0 18127 4 6 0 43628 56 0 0 25 0 11 0 777951432 863096832 28079 4294967295 134512640 134569956 3221224384 3221214624 1131275091 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210717 28079 13086 16 0 210701 0
vsize: 842868
[startup+470.019 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16677
Raw data (stat): 16608 (java) R 16607 3944 3943 0 -1 0 18127 4 6 0 44612 56 0 0 25 0 11 0 777951432 863096832 28094 4294967295 134512640 134569956 3221224384 3221214664 1131402702 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210717 28094 13086 16 0 210701 0
vsize: 842868
[startup+480.018 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16677
Raw data (stat): 16608 (java) R 16607 3944 3943 0 -1 0 18127 4 6 0 45596 56 0 0 25 0 11 0 777951432 863096832 28116 4294967295 134512640 134569956 3221224384 3221214624 1131350415 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210717 28116 13086 16 0 210701 0
vsize: 842868
[startup+490.019 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16677
Raw data (stat): 16608 (java) R 16607 3944 3943 0 -1 0 18127 4 6 0 46577 57 0 0 24 0 11 0 777951432 863096832 28143 4294967295 134512640 134569956 3221224384 3221214760 1131142208 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210717 28143 13086 16 0 210701 0
vsize: 842868
[startup+500.02 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16677
Raw data (stat): 16608 (java) R 16607 3944 3943 0 -1 0 18127 4 6 0 47556 58 0 0 25 0 11 0 777951432 863096832 28191 4294967295 134512640 134569956 3221224384 3221214436 1078032314 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210717 28191 13086 16 0 210701 0
vsize: 842868
[startup+510.02 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16677
Raw data (stat): 16608 (java) R 16607 3944 3943 0 -1 0 18127 4 6 0 48536 58 0 0 25 0 11 0 777951432 863096832 28212 4294967295 134512640 134569956 3221224384 3221214664 1131403097 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210717 28212 13086 16 0 210701 0
vsize: 842868
[startup+520.02 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16677
Raw data (stat): 16608 (java) R 16607 3944 3943 0 -1 0 18127 4 6 0 49512 59 0 0 25 0 11 0 777951432 863096832 28237 4294967295 134512640 134569956 3221224384 3221214696 1131321882 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210717 28237 13086 16 0 210701 0
vsize: 842868
[startup+530.02 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16677
Raw data (stat): 16608 (java) R 16607 3944 3943 0 -1 0 18127 4 6 0 50482 59 0 0 25 0 11 0 777951432 863096832 28260 4294967295 134512640 134569956 3221224384 3221214696 1131321978 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210717 28260 13086 16 0 210701 0
vsize: 842868
[startup+540.021 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16679
Raw data (stat): 16608 (java) R 16607 3944 3943 0 -1 0 18127 4 6 0 51454 60 0 0 25 0 11 0 777951432 863096832 28360 4294967295 134512640 134569956 3221224384 3221214656 1131539400 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210717 28360 13086 16 0 210701 0
vsize: 842868
[startup+550.021 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16679
Raw data (stat): 16608 (java) R 16607 3944 3943 0 -1 0 18127 4 6 0 52423 60 0 0 24 0 11 0 777951432 863096832 28387 4294967295 134512640 134569956 3221224384 3221214628 1130885222 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210717 28387 13086 16 0 210701 0
vsize: 842868
[startup+560.021 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16679
Raw data (stat): 16608 (java) R 16607 3944 3943 0 -1 0 18127 4 6 0 53399 61 0 0 25 0 11 0 777951432 863096832 28492 4294967295 134512640 134569956 3221224384 3221214560 1131296487 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210717 28492 13086 16 0 210701 0
vsize: 842868
[startup+570.022 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16679
Raw data (stat): 16608 (java) R 16607 3944 3943 0 -1 0 18127 4 6 0 54381 61 0 0 25 0 11 0 777951432 863096832 28604 4294967295 134512640 134569956 3221224384 3221214696 1131321594 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210717 28604 13086 16 0 210701 0
vsize: 842868
[startup+580.022 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16679
Raw data (stat): 16608 (java) R 16607 3944 3943 0 -1 0 18127 4 6 0 55366 61 0 0 25 0 11 0 777951432 863096832 28638 4294967295 134512640 134569956 3221224384 3221214696 1131322568 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210717 28638 13086 16 0 210701 0
vsize: 842868
[startup+590.023 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16679
Raw data (stat): 16608 (java) R 16607 3944 3943 0 -1 0 18127 4 6 0 56350 61 0 0 25 0 11 0 777951432 863096832 28678 4294967295 134512640 134569956 3221224384 3221214568 1131296567 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210717 28678 13086 16 0 210701 0
vsize: 842868
[startup+600.023 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16679
Raw data (stat): 16608 (java) R 16607 3944 3943 0 -1 0 18127 4 6 0 57334 61 0 0 25 0 11 0 777951432 863096832 28700 4294967295 134512640 134569956 3221224384 3221214624 1131350309 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210717 28700 13086 16 0 210701 0
vsize: 842868
[startup+610.023 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16679
Raw data (stat): 16608 (java) R 16607 3944 3943 0 -1 0 18127 4 6 0 58315 62 0 0 25 0 11 0 777951432 863096832 28723 4294967295 134512640 134569956 3221224384 3221214568 1131548533 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210717 28723 13086 16 0 210701 0
vsize: 842868
[startup+620.025 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16679
Raw data (stat): 16608 (java) R 16607 3944 3943 0 -1 0 18127 4 6 0 59297 62 0 0 25 0 11 0 777951432 863096832 28754 4294967295 134512640 134569956 3221224384 3221214568 1131548519 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210717 28754 13086 16 0 210701 0
vsize: 842868
[startup+630.025 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16679
Raw data (stat): 16608 (java) R 16607 3944 3943 0 -1 0 18127 4 6 0 60277 62 0 0 25 0 11 0 777951432 863096832 28801 4294967295 134512640 134569956 3221224384 3221214708 1131402579 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210717 28801 13086 16 0 210701 0
vsize: 842868
[startup+640.027 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16679
Raw data (stat): 16608 (java) R 16607 3944 3943 0 -1 0 18127 4 6 0 61256 63 0 0 25 0 11 0 777951432 863096832 28853 4294967295 134512640 134569956 3221224384 3221214696 1131322212 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210717 28853 13086 16 0 210701 0
vsize: 842868
[startup+650.026 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16679
Raw data (stat): 16608 (java) R 16607 3944 3943 0 -1 0 18127 4 6 0 62232 64 0 0 25 0 11 0 777951432 863096832 28868 4294967295 134512640 134569956 3221224384 3221214560 1131296443 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210717 28868 13086 16 0 210701 0
vsize: 842868
[startup+660.027 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16679
Raw data (stat): 16608 (java) R 16607 3944 3943 0 -1 0 18127 4 6 0 63206 64 0 0 25 0 11 0 777951432 863096832 28903 4294967295 134512640 134569956 3221224384 3221214796 1131404448 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210717 28903 13086 16 0 210701 0
vsize: 842868
[startup+670.027 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16679
Raw data (stat): 16608 (java) R 16607 3944 3943 0 -1 0 18127 4 6 0 64170 65 0 0 25 0 11 0 777951432 863096832 28973 4294967295 134512640 134569956 3221224384 3221214560 1131296324 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210717 28973 13086 16 0 210701 0
vsize: 842868
[startup+680.028 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16679
Raw data (stat): 16608 (java) R 16607 3944 3943 0 -1 0 18127 4 6 0 65138 65 0 0 25 0 11 0 777951432 863096832 29041 4294967295 134512640 134569956 3221224384 3221214760 1131142208 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210717 29041 13086 16 0 210701 0
vsize: 842868
[startup+690.029 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16679
Raw data (stat): 16608 (java) R 16607 3944 3943 0 -1 0 18127 4 6 0 66108 65 0 0 25 0 11 0 777951432 863096832 29103 4294967295 134512640 134569956 3221224384 3221214696 1131321987 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210717 29103 13086 16 0 210701 0
vsize: 842868
[startup+700.029 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16679
Raw data (stat): 16608 (java) R 16607 3944 3943 0 -1 0 18127 4 6 0 67084 66 0 0 25 0 11 0 777951432 863096832 29198 4294967295 134512640 134569956 3221224384 3221214120 1131638509 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210717 29198 13086 16 0 210701 0
vsize: 842868
[startup+710.029 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16679
Raw data (stat): 16608 (java) R 16607 3944 3943 0 -1 0 18127 4 6 0 68055 66 0 0 25 0 11 0 777951432 863096832 29274 4294967295 134512640 134569956 3221224384 3221214696 1131322140 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210717 29274 13086 16 0 210701 0
vsize: 842868
[startup+720.03 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16679
Raw data (stat): 16608 (java) R 16607 3944 3943 0 -1 0 18127 4 6 0 69021 66 0 0 24 0 11 0 777951432 863096832 29331 4294967295 134512640 134569956 3221224384 3221214760 1131142225 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210717 29331 13086 16 0 210701 0
vsize: 842868
[startup+730.03 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16679
Raw data (stat): 16608 (java) R 16607 3944 3943 0 -1 0 18127 4 6 0 69975 67 0 0 25 0 11 0 777951432 863096832 29379 4294967295 134512640 134569956 3221224384 3221214696 1131322004 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210717 29379 13086 16 0 210701 0
vsize: 842868
[startup+740.032 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16679
Raw data (stat): 16608 (java) R 16607 3944 3943 0 -1 0 18127 4 6 0 70906 67 0 0 24 0 11 0 777951432 863096832 29435 4294967295 134512640 134569956 3221224384 3221214760 1131142225 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210717 29435 13086 16 0 210701 0
vsize: 842868
[startup+750.033 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16679
Raw data (stat): 16608 (java) R 16607 3944 3943 0 -1 0 18127 4 6 0 71849 67 0 0 25 0 11 0 777951432 863096832 29541 4294967295 134512640 134569956 3221224384 3221214760 1131142225 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210717 29541 13086 16 0 210701 0
vsize: 842868
[startup+760.032 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16679
Raw data (stat): 16608 (java) R 16607 3944 3943 0 -1 0 18127 4 6 0 72792 67 0 0 25 0 11 0 777951432 863096832 29751 4294967295 134512640 134569956 3221224384 3221214568 1131550127 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210717 29751 13086 16 0 210701 0
vsize: 842868
[startup+770.033 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16679
Raw data (stat): 16608 (java) R 16607 3944 3943 0 -1 0 18127 4 6 0 73733 68 0 0 25 0 11 0 777951432 863096832 29952 4294967295 134512640 134569956 3221224384 3221214560 1131296352 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210717 29952 13086 16 0 210701 0
vsize: 842868
[startup+780.034 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16679
Raw data (stat): 16608 (java) R 16607 3944 3943 0 -1 0 18127 4 6 0 74686 68 0 0 25 0 11 0 777951432 863096832 30078 4294967295 134512640 134569956 3221224384 3221214696 1131321987 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210717 30078 13086 16 0 210701 0
vsize: 842868
[startup+790.034 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16679
Raw data (stat): 16608 (java) S 16607 3944 3943 0 -1 0 18127 4 6 0 75634 69 0 0 25 0 11 0 777951432 863096832 30196 4294967295 134512640 134569956 3221224384 3221213424 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210717 30199 13086 16 0 210701 0
vsize: 842868
[startup+800.036 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16679
Raw data (stat): 16608 (java) R 16607 3944 3943 0 -1 0 18127 4 6 0 76592 69 0 0 25 0 11 0 777951432 863096832 30365 4294967295 134512640 134569956 3221224384 3221214696 1131321890 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210717 30365 13086 16 0 210701 0
vsize: 842868
[startup+810.036 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16679
Raw data (stat): 16608 (java) R 16607 3944 3943 0 -1 0 18127 4 6 0 77551 69 0 0 25 0 11 0 777951432 863096832 30480 4294967295 134512640 134569956 3221224384 3221214704 1131296597 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210717 30480 13086 16 0 210701 0
vsize: 842868
[startup+820.037 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16679
Raw data (stat): 16608 (java) R 16607 3944 3943 0 -1 0 18127 4 6 0 78515 70 0 0 25 0 11 0 777951432 863096832 30601 4294967295 134512640 134569956 3221224384 3221214624 1131350379 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210717 30601 13086 16 0 210701 0
vsize: 842868
[startup+830.037 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16679
Raw data (stat): 16608 (java) R 16607 3944 3943 0 -1 0 18127 4 6 0 79473 70 0 0 25 0 11 0 777951432 863096832 30701 4294967295 134512640 134569956 3221224384 3221214696 1131322565 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210717 30701 13086 16 0 210701 0
vsize: 842868
[startup+840.038 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16679
Raw data (stat): 16608 (java) R 16607 3944 3943 0 -1 0 18127 4 6 0 80438 70 0 0 25 0 11 0 777951432 863096832 30797 4294967295 134512640 134569956 3221224384 3221214664 1131402663 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210717 30797 13086 16 0 210701 0
vsize: 842868
[startup+850.038 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16679
Raw data (stat): 16608 (java) R 16607 3944 3943 0 -1 0 18127 4 6 0 81405 71 0 0 25 0 11 0 777951432 863096832 30866 4294967295 134512640 134569956 3221224384 3221214560 1131296365 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210717 30866 13086 16 0 210701 0
vsize: 842868
[startup+860.038 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16679
Raw data (stat): 16608 (java) R 16607 3944 3943 0 -1 0 18127 4 6 0 82372 71 0 0 25 0 11 0 777951432 863096832 30954 4294967295 134512640 134569956 3221224384 3221214448 1131638572 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210717 30954 13086 16 0 210701 0
vsize: 842868
[startup+870.039 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16679
Raw data (stat): 16608 (java) R 16607 3944 3943 0 -1 0 18127 4 6 0 83337 71 0 0 25 0 11 0 777951432 863096832 31046 4294967295 134512640 134569956 3221224384 3221214656 1131538973 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210717 31046 13086 16 0 210701 0
vsize: 842868
[startup+880.039 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16679
Raw data (stat): 16608 (java) R 16607 3944 3943 0 -1 0 18127 4 6 0 84303 72 0 0 25 0 11 0 777951432 863096832 31120 4294967295 134512640 134569956 3221224384 3221214776 1131404509 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210717 31120 13086 16 0 210701 0
vsize: 842868
[startup+890.04 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16679
Raw data (stat): 16608 (java) R 16607 3944 3943 0 -1 0 18127 4 6 0 85269 72 0 0 25 0 11 0 777951432 863096832 31177 4294967295 134512640 134569956 3221224384 3221214656 1131539197 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210717 31177 13086 16 0 210701 0
vsize: 842868
[startup+900.041 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16679
Raw data (stat): 16608 (java) R 16607 3944 3943 0 -1 0 18127 4 6 0 86233 72 0 0 25 0 11 0 777951432 863096832 31260 4294967295 134512640 134569956 3221224384 3221214692 1131215456 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210717 31260 13086 16 0 210701 0
vsize: 842868
[startup+910.04 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16679
Raw data (stat): 16608 (java) R 16607 3944 3943 0 -1 0 18127 4 6 0 87193 73 0 0 25 0 11 0 777951432 863096832 31378 4294967295 134512640 134569956 3221224384 3221214568 1131296606 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210717 31378 13086 16 0 210701 0
vsize: 842868
[startup+920.042 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16679
Raw data (stat): 16608 (java) R 16607 3944 3943 0 -1 0 18127 4 6 0 88161 73 0 0 25 0 11 0 777951432 863096832 31451 4294967295 134512640 134569956 3221224384 3221214568 1131548107 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210717 31451 13086 16 0 210701 0
vsize: 842868
[startup+930.043 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16679
Raw data (stat): 16608 (java) R 16607 3944 3943 0 -1 0 18127 4 6 0 89118 74 0 0 24 0 11 0 777951432 863096832 31552 4294967295 134512640 134569956 3221224384 3221214760 1131142208 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210717 31552 13086 16 0 210701 0
vsize: 842868
[startup+940.044 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16679
Raw data (stat): 16608 (java) R 16607 3944 3943 0 -1 0 18127 4 6 0 90082 75 0 0 25 0 11 0 777951432 863096832 31657 4294967295 134512640 134569956 3221224384 3221214656 1131538765 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210717 31657 13086 16 0 210701 0
vsize: 842868
[startup+950.044 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16679
Raw data (stat): 16608 (java) R 16607 3944 3943 0 -1 0 18127 4 6 0 91052 75 0 0 25 0 11 0 777951432 863096832 31721 4294967295 134512640 134569956 3221224384 3221213848 1131637393 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210717 31721 13086 16 0 210701 0
vsize: 842868
[startup+960.045 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16679
Raw data (stat): 16608 (java) R 16607 3944 3943 0 -1 0 18127 4 6 0 92016 76 0 0 25 0 11 0 777951432 863096832 31798 4294967295 134512640 134569956 3221224384 3221214280 1131638506 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210717 31798 13086 16 0 210701 0
vsize: 842868
[startup+970.045 s]
Raw data (loadavg): 1.15 1.03 0.99 2/64 16679
Raw data (stat): 16608 (java) R 16607 3944 3943 0 -1 0 18127 4 6 0 92985 76 0 0 25 0 11 0 777951432 863096832 31861 4294967295 134512640 134569956 3221224384 3221214656 1131539372 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210717 31861 13086 16 0 210701 0
vsize: 842868
[startup+980.045 s]
Raw data (loadavg): 1.13 1.03 0.99 2/64 16679
Raw data (stat): 16608 (java) R 16607 3944 3943 0 -1 0 18127 4 6 0 93949 77 0 0 25 0 11 0 777951432 863096832 31933 4294967295 134512640 134569956 3221224384 3221214120 1131638749 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210717 31933 13086 16 0 210701 0
vsize: 842868
[startup+990.047 s]
Raw data (loadavg): 1.11 1.03 0.99 2/64 16679
Raw data (stat): 16608 (java) R 16607 3944 3943 0 -1 0 18127 4 6 0 94915 77 0 0 25 0 11 0 777951432 863096832 32010 4294967295 134512640 134569956 3221224384 3221214652 1131338624 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210717 32010 13086 16 0 210701 0
vsize: 842868
[startup+1000.05 s]
Raw data (loadavg): 1.09 1.03 0.99 2/64 16679
Raw data (stat): 16608 (java) R 16607 3944 3943 0 -1 0 18127 4 6 0 95886 77 0 0 25 0 11 0 777951432 863096832 32106 4294967295 134512640 134569956 3221224384 3221214696 1131322173 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210717 32106 13086 16 0 210701 0
vsize: 842868
[startup+1010.05 s]
Raw data (loadavg): 1.08 1.03 0.99 2/64 16679
Raw data (stat): 16608 (java) R 16607 3944 3943 0 -1 0 18127 4 6 0 96852 78 0 0 25 0 11 0 777951432 863096832 32167 4294967295 134512640 134569956 3221224384 3221214568 1131296365 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210717 32167 13086 16 0 210701 0
vsize: 842868
[startup+1020.05 s]
Raw data (loadavg): 1.06 1.03 0.99 2/64 16679
Raw data (stat): 16608 (java) R 16607 3944 3943 0 -1 0 18127 4 6 0 97816 78 0 0 25 0 11 0 777951432 863096832 32242 4294967295 134512640 134569956 3221224384 3221214796 1131404558 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210717 32242 13086 16 0 210701 0
vsize: 842868
[startup+1030.05 s]
Raw data (loadavg): 1.05 1.02 0.99 2/64 16679
Raw data (stat): 16608 (java) R 16607 3944 3943 0 -1 0 18127 4 6 0 98784 79 0 0 25 0 11 0 777951432 863096832 32296 4294967295 134512640 134569956 3221224384 3221214144 1085679313 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210717 32296 13086 16 0 210701 0
vsize: 842868
[startup+1040.05 s]
Raw data (loadavg): 1.05 1.02 0.99 2/64 16679
Raw data (stat): 16608 (java) R 16607 3944 3943 0 -1 0 18127 4 6 0 99756 79 0 0 25 0 11 0 777951432 863096832 32335 4294967295 134512640 134569956 3221224384 3221214656 1131539204 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210717 32335 13086 16 0 210701 0
vsize: 842868
[startup+1050.05 s]
Raw data (loadavg): 1.04 1.02 0.99 2/64 16679
Raw data (stat): 16608 (java) R 16607 3944 3943 0 -1 0 18127 4 6 0 100734 79 0 0 25 0 11 0 777951432 863096832 32377 4294967295 134512640 134569956 3221224384 3221214760 1131142225 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210717 32377 13086 16 0 210701 0
vsize: 842868
[startup+1060.05 s]
Raw data (loadavg): 1.11 1.04 1.00 2/64 16679
Raw data (stat): 16608 (java) R 16607 3944 3943 0 -1 0 18127 4 6 0 101706 80 0 0 25 0 11 0 777951432 863096832 32456 4294967295 134512640 134569956 3221224384 3221214232 1131637280 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210717 32456 13086 16 0 210701 0
vsize: 842868
[startup+1070.05 s]
Raw data (loadavg): 1.09 1.04 1.00 2/64 16679
Raw data (stat): 16608 (java) R 16607 3944 3943 0 -1 0 18127 4 6 0 102682 80 0 0 25 0 11 0 777951432 863096832 32524 4294967295 134512640 134569956 3221224384 3221214696 1131322251 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210717 32524 13086 16 0 210701 0
vsize: 842868
[startup+1080.05 s]
Raw data (loadavg): 1.08 1.03 1.00 2/64 16679
Raw data (stat): 16608 (java) R 16607 3944 3943 0 -1 0 18127 4 6 0 103654 80 0 0 25 0 11 0 777951432 863096832 32601 4294967295 134512640 134569956 3221224384 3221214696 1131321987 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210717 32601 13086 16 0 210701 0
vsize: 842868
[startup+1090.05 s]
Raw data (loadavg): 1.06 1.03 1.00 2/64 16679
Raw data (stat): 16608 (java) R 16607 3944 3943 0 -1 0 18127 4 6 0 104627 80 0 0 25 0 11 0 777951432 863096832 32682 4294967295 134512640 134569956 3221224384 3221214696 1131321964 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210717 32682 13086 16 0 210701 0
vsize: 842868
[startup+1100.05 s]
Raw data (loadavg): 1.05 1.03 1.00 2/64 16679
Raw data (stat): 16608 (java) R 16607 3944 3943 0 -1 0 18127 4 6 0 105595 81 0 0 25 0 11 0 777951432 863096832 32736 4294967295 134512640 134569956 3221224384 3221214004 1131637264 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210717 32736 13086 16 0 210701 0
vsize: 842868
[startup+1110.06 s]
Raw data (loadavg): 1.04 1.03 1.00 2/64 16679
Raw data (stat): 16608 (java) R 16607 3944 3943 0 -1 0 18127 4 6 0 106577 81 0 0 25 0 11 0 777951432 863096832 32782 4294967295 134512640 134569956 3221224384 3221214456 1131637276 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210717 32782 13086 16 0 210701 0
vsize: 842868
[startup+1120.06 s]
Raw data (loadavg): 1.04 1.03 1.00 2/64 16679
Raw data (stat): 16608 (java) R 16607 3944 3943 0 -1 0 18127 4 6 0 107567 82 0 0 25 0 11 0 777951432 863096832 32792 4294967295 134512640 134569956 3221224384 3221213984 1085679318 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210717 32792 13086 16 0 210701 0
vsize: 842868
[startup+1130.06 s]
Raw data (loadavg): 1.03 1.03 1.00 2/64 16679
Raw data (stat): 16608 (java) R 16607 3944 3943 0 -1 0 18127 4 6 0 108545 82 0 0 25 0 11 0 777951432 863096832 32836 4294967295 134512640 134569956 3221224384 3221214628 1130885186 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210717 32836 13086 16 0 210701 0
vsize: 842868
[startup+1140.06 s]
Raw data (loadavg): 1.03 1.03 1.00 2/64 16679
Raw data (stat): 16608 (java) R 16607 3944 3943 0 -1 0 18127 4 6 0 109516 82 0 0 25 0 11 0 777951432 863096832 32873 4294967295 134512640 134569956 3221224384 3221214624 1131350340 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210717 32873 13086 16 0 210701 0
vsize: 842868
[startup+1150.06 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 16679
Raw data (stat): 16608 (java) R 16607 3944 3943 0 -1 0 18127 4 6 0 110497 83 0 0 25 0 11 0 777951432 863096832 32882 4294967295 134512640 134569956 3221224384 3221214760 1131142208 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210717 32882 13086 16 0 210701 0
vsize: 842868
[startup+1160.06 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 16679
Raw data (stat): 16608 (java) R 16607 3944 3943 0 -1 0 18127 4 6 0 111470 83 0 0 25 0 11 0 777951432 863096832 32928 4294967295 134512640 134569956 3221224384 3221214696 1131297045 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210717 32928 13086 16 0 210701 0
vsize: 842868
[startup+1170.06 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 16679
Raw data (stat): 16608 (java) R 16607 3944 3943 0 -1 0 18127 4 6 0 112436 83 0 0 20 0 11 0 777951432 863096832 32992 4294967295 134512640 134569956 3221224384 3221214656 1131538882 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210717 32992 13086 16 0 210701 0
vsize: 842868
[startup+1180.06 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 16679
Raw data (stat): 16608 (java) R 16607 3944 3943 0 -1 0 18127 4 6 0 113394 84 0 0 25 0 11 0 777951432 863096832 33031 4294967295 134512640 134569956 3221224384 3221214696 1131322503 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210717 33031 13086 16 0 210701 0
vsize: 842868
[startup+1190.06 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 16679
Raw data (stat): 16608 (java) R 16607 3944 3943 0 -1 0 18127 4 6 0 114365 84 0 0 25 0 11 0 777951432 863096832 33118 4294967295 134512640 134569956 3221224384 3221214176 1131637297 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210717 33118 13086 16 0 210701 0
vsize: 842868
[startup+1200.06 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 16679
Raw data (stat): 16608 (java) R 16607 3944 3943 0 -1 0 18127 4 6 0 115319 84 0 0 25 0 11 0 777951432 863096832 33235 4294967295 134512640 134569956 3221224384 3221214568 1131548253 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210717 33235 13086 16 0 210701 0
vsize: 842868
[startup+1210.06 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 16679
Raw data (stat): 16608 (java) R 16607 3944 3943 0 -1 0 18127 4 6 0 116291 85 0 0 25 0 11 0 777951432 863096832 33338 4294967295 134512640 134569956 3221224384 3221214628 1130885240 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210717 33338 13086 16 0 210701 0
vsize: 842868
[startup+1220.06 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 16679
Raw data (stat): 16608 (java) R 16607 3944 3943 0 -1 0 18127 4 6 0 117275 85 0 0 25 0 11 0 777951432 863096832 33388 4294967295 134512640 134569956 3221224384 3221214056 1131638719 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210717 33388 13086 16 0 210701 0
vsize: 842868
[startup+1230.06 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 16679
Raw data (stat): 16608 (java) R 16607 3944 3943 0 -1 0 18127 4 6 0 118246 85 0 0 25 0 11 0 777951432 863096832 33485 4294967295 134512640 134569956 3221224384 3221214396 1131637328 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210717 33485 13086 16 0 210701 0
vsize: 842868
[startup+1240.06 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 16679
Raw data (stat): 16608 (java) R 16607 3944 3943 0 -1 0 18127 4 6 0 119228 86 0 0 25 0 11 0 777951432 863096832 33518 4294967295 134512640 134569956 3221224384 3221214560 1131296365 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210717 33518 13086 16 0 210701 0
vsize: 842868
[startup+1250.06 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 16679
Raw data (stat): 16608 (java) R 16607 3944 3943 0 -1 0 18127 4 6 0 120212 86 0 0 25 0 11 0 777951432 863096832 33596 4294967295 134512640 134569956 3221224384 3221214560 1131296579 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210717 33596 13086 16 0 210701 0
vsize: 842868
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1250.19 s]
Raw data (loadavg): 1.00 1.02 1.00 1/54 16681
Raw data (stat): 16608 (java) Z 16607 3944 3943 0 -1 1036 18127 19571 6 1 120218 92 5558 58 25 0 1 0 777951432 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1250.19
CPU time (s): 1259.27
CPU user time (s): 1257.77
CPU system time (s): 1.50377
CPU usage (%): 100.727
Max. virtual memory (Kb): 844628
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	19
#### END VERIFIER DATA ####