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/primes-dimacs-cnf/normalized-ii32e1.opb
MD5SUM	33d46caaa6c22613488909eddb5a530f
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	162
Optimality of the best value was proved	NO
Number of terms in the objective function	444
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	444
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	444
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.02184
Number of variables	444
Total number of constraints	1408
Number of constraints which are clauses	1408
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	2
Maximum length of a constraint	32
Trace number 34811

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc20 THE 2005-05-28 10:36:17 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=24084 boxname=wulflinc20 idbench=158 idsolver=17 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  33d46caaa6c22613488909eddb5a530f  /oldhome/oroussel/tmp/wulflinc20/normalized-ii32e1.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc20/normalized-ii32e1.opb
IDLAUNCH: 24084
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.215
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.215
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:        714132 kB
Buffers:         33104 kB
Cached:         264024 kB
SwapCached:        644 kB
Active:          17844 kB
Inactive:       281376 kB
HighTotal:      131008 kB
HighFree:        44296 kB
LowTotal:       903652 kB
LowFree:        669836 kB
SwapTotal:     2097892 kB
SwapFree:      2096312 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5104 kB
Slab:            15564 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-28 10:56:20 (client local time) WITH STATUS 10 IN 1200.7 SECONDS
stats: 24084 0 1200.7 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...
c got solution with objective value: 188
c [startup+7.82758 s]  setting bit 8 to 1
c [startup+13.8526 s]  setting bit 7 to 0

Decision: 51698/99690	Time: 34.1228/86400
Decision: 51992/99690	Time: 59.5579/86400
Decision: 52858/99690	Time: 91.5311/86400
Decision: 52859/99690	Time: 124.075/86400
Decision: 53183/99690	Time: 148.279/86400
Decision: 53183/99690	Time: 171.814/86400c [startup+244.553 s]  setting bit 6 to 0

Decision: 45021/99690	Time: 26.8889/86400
Decision: 45021/99690	Time: 47.2708/86400
Decision: 51642/99690	Time: 74.8196/86400
Decision: 51642/99690	Time: 88.0806/86400
Decision: 51642/99690	Time: 108.756/86400
Decision: 51642/99690	Time: 120.09/86400
Decision: 51642/99690	Time: 141.949/86400
Decision: 51686/99690	Time: 177.161/86400
Decision: 51709/99690	Time: 195.551/86400
Decision: 51709/99690	Time: 216.181/86400
Decision: 51813/99690	Time: 240.573/86400
Decision: 51813/99690	Time: 257.877/86400
Decision: 51813/99690	Time: 275.058/86400
Decision: 51819/99690	Time: 292.856/86400
Decision: 51819/99690	Time: 313.784/86400
Decision: 51819/99690	Time: 333.031/86400
Decision: 51819/99690	Time: 349.671/86400
Decision: 52381/99690	Time: 394.462/86400
Decision: 52575/99690	Time: 419.511/86400
Decision: 52682/99690	Time: 454.95/86400
Decision: 52797/99690	Time: 478.542/86400
Decision: 52797/99690	Time: 494.578/86400
Decision: 52797/99690	Time: 511.127/86400
Decision: 52797/99690	Time: 526.759/86400
Decision: 52797/99690	Time: 543.75/86400
Decision: 52900/99690	Time: 576.482/86400
Decision: 52900/99690	Time: 596.705/86400
Decision: 52900/99690	Time: 614.609/86400
Decision: 52901/99690	Time: 651.522/86400
Decision: 52901/99690	Time: 669.618/86400
Decision: 53152/99690	Time: 708.623/86400
Decision: 53152/99690	Time: 731.809/86400
Decision: 53459/99690	Time: 774.446/86400
Decision: 53459/99690	Time: 793.318/86400
Decision: 53459/99690	Time: 812.6/86400
Decision: 53540/99690	Time: 850.877/86400
Decision: 53812/99690	Time: 896.33/86400
Decision: 53890/99690	Time: 934.384/86400s SATISFIABLE
v -x1 x10 -x100 x101 -x102 -x103 -x104 x105 -x106 -x107 x108 -x109 x11 -x110 x111 -x112 -x113 -x114 x115 -x116 -x117 x118 x119 -x12 -x120 x121 -x122 -x123 x124 -x125 x126 x127 -x128 x129 x13 -x130 -x131 x132 -x133 x134 x135 -x136 x137 -x138 -x139 -x14 x140 -x141 x142 x143 -x144 x145 -x146 -x147 x148 x149 -x15 -x150 -x151 x152 x153 -x154 -x155 x156 -x157 -x158 x159 x16 -x160 x161 -x162 -x163 -x164 x165 -x166 -x167 -x168 x169 x17 -x170 -x171 -x172 x173 -x174 -x175 -x176 x177 -x178 -x179 -x18 -x180 x181 -x182 -x183 -x184 x185 -x186 -x187 -x188 -x189 -x19 x190 x191 -x192 x193 -x194 -x195 -x196 -x197 -x198 x199 x2 x20 -x200 -x201 -x202 x203 -x204 x205 -x206 -x207 x208 x209 -x21 -x210 -x211 -x212 -x213 -x214 x215 -x216 x217 -x218 -x219 x22 -x220 x221 -x222 -x223 -x224 x225 -x226 -x227 -x228 -x229 x23 x230 x231 -x232 -x233 -x234 x235 -x236 -x237 -x238 x239 -x24 -x240 x241 -x242 -x243 -x244 x245 -x246 -x247 -x248 x249 -x25 -x250 -x251 -x252 -x253 -x254 x255 -x256 x257 -x258 x259 x26 -x260 -x261 x262 x263 -x264 x265 -x266 x267 -x268 x269 x27 -x270 x271 -x272 -x273 -x274 x275 -x276 x277 -x278 x279 -x28 -x280 x281 -x282 x283 -x284 x285 -x286 x287 -x288 x289 -x29 -x290 x291 -x292 x293 -x294 x295 -x296 x297 -x298 x299 x3 x30 -x300 x301 -x302 x303 -x304 x305 -x306 x307 -x308 x309 x31 -x310 x311 -x312 x313 -x314 x315 -x316 x317 -x318 x319 -x32 -x320 x321 -x322 x323 -x324 x325 -x326 x327 -x328 x329 -x33 -x330 x331 -x332 x333 -x334 x335 -x336 x337 -x338 x339 x34 -x340 x341 -x342 x343 -x344 x345 -x346 x347 -x348 x349 x35 -x350 x351 -x352 x353 -x354 x355 -x356 x357 -x358 x359 -x36 -x360 x361 -x362 x363 -x364 x365 -x366 x367 -x368 -x369 -x37 x370 x371 -x372 x373 -x374 x375 -x376 x377 -x378 -x379 x38 x380 x381 -x382 x383 -x384 -x385 x386 -x387 x388 x389 x39 -x390 -x391 x392 -x393 x394 x395 -x396 x397 -x398 -x399 -x4 -x40 x400 -x401 x402 -x403 x404 -x405 x406 x407 -x408 -x409 x41 x410 -x411 x412 x413 -x414 -x415 x416 -x417 x418 x419 -x42 -x420 -x421 x422 -x423 x424 x425 -x426 -x427 x428 -x429 -x43 x430 x431 -x432 -x433 x434 -x435 x436 x437 -x438 -x439 -x44 x440 -x441 x442 x443 -x444 -x45 -x46 x47 -x48 x49 x5 -x50 -x51 x52 x53 -x54 -x55 -x56 x57 -x58 -x59 -x6 -x60 -x61 x62 x63 -x64 x65 -x66 -x67 x68 x69 -x7 -x70 -x71 -x72 x73 -x74 -x75 -x76 x77 -x78 -x79 -x8 -x80 x81 -x82 -x83 x84 x85 -x86 -x87 x88 -x89 -x9 x90 x91 -x92 x93 -x94 -x95 x96 -x97 x98 x99 
#### 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
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.99 0.97 0.77 2/54 9074
Raw data (stat): 9074 (runsolver) R 9073 25399 25398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 864130726 884736 94 4294967295 134512640 135332820 3221224480 3221219660 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0007 s]
Raw data (loadavg): 0.99 0.97 0.77 2/54 9074
Raw data (stat): 9074 (pb2sat) R 9073 25399 25398 0 -1 0 15508 0 0 0 966 33 0 0 25 0 1 0 864130726 48521216 9574 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11846 9574 300 300 0 11546 0
vsize: 47384
[startup+20.0015 s]
Raw data (loadavg): 0.99 0.97 0.77 2/54 9074
Raw data (stat): 9074 (pb2sat) R 9073 25399 25398 0 -1 0 16117 0 0 0 1965 34 0 0 25 0 1 0 864130726 50126848 9889 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12238 9889 300 300 0 11938 0
vsize: 48952
[startup+30.0026 s]
Raw data (loadavg): 0.99 0.97 0.77 2/54 9074
Raw data (stat): 9074 (pb2sat) R 9073 25399 25398 0 -1 0 16242 0 0 0 2964 36 0 0 25 0 1 0 864130726 50388992 9948 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12302 9948 300 300 0 12002 0
vsize: 49208
[startup+40.0028 s]
Raw data (loadavg): 0.99 0.97 0.77 2/54 9074
Raw data (stat): 9074 (pb2sat) R 9073 25399 25398 0 -1 0 16263 0 0 0 3963 36 0 0 25 0 1 0 864130726 50388992 9969 4294967295 134512640 135726644 3221224592 3221223088 134744069 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12302 9969 300 300 0 12002 0
vsize: 49208
[startup+50.0036 s]
Raw data (loadavg): 0.99 0.97 0.78 2/54 9074
Raw data (stat): 9074 (pb2sat) R 9073 25399 25398 0 -1 0 16476 0 0 0 4962 37 0 0 25 0 1 0 864130726 50388992 9987 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12302 9987 300 300 0 12002 0
vsize: 49208
[startup+60.0038 s]
Raw data (loadavg): 0.99 0.97 0.78 2/54 9074
Raw data (stat): 9074 (pb2sat) R 9073 25399 25398 0 -1 0 16481 0 0 0 5962 38 0 0 25 0 1 0 864130726 50388992 9992 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12302 9992 300 300 0 12002 0
vsize: 49208
[startup+70.0039 s]
Raw data (loadavg): 0.99 0.97 0.78 2/54 9074
Raw data (stat): 9074 (pb2sat) R 9073 25399 25398 0 -1 0 16495 0 0 0 6962 38 0 0 25 0 1 0 864130726 50388992 10006 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12302 10006 300 300 0 12002 0
vsize: 49208
[startup+80.0046 s]
Raw data (loadavg): 0.99 0.97 0.78 2/54 9074
Raw data (stat): 9074 (pb2sat) R 9073 25399 25398 0 -1 0 16712 0 0 0 7961 39 0 0 25 0 1 0 864130726 50388992 10028 4294967295 134512640 135726644 3221224592 3221222840 135280693 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12302 10028 300 300 0 12002 0
vsize: 49208
[startup+90.0049 s]
Raw data (loadavg): 0.99 0.97 0.78 2/54 9074
Raw data (stat): 9074 (pb2sat) R 9073 25399 25398 0 -1 0 16741 0 0 0 8959 41 0 0 25 0 1 0 864130726 50388992 10057 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12302 10057 300 300 0 12002 0
vsize: 49208
[startup+100.005 s]
Raw data (loadavg): 0.99 0.97 0.79 2/54 9074
Raw data (stat): 9074 (pb2sat) R 9073 25399 25398 0 -1 0 16765 0 0 0 9959 41 0 0 25 0 1 0 864130726 50388992 10081 4294967295 134512640 135726644 3221224592 3221223136 134736624 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12302 10081 300 300 0 12002 0
vsize: 49208
[startup+110.006 s]
Raw data (loadavg): 0.99 0.97 0.79 2/54 9074
Raw data (stat): 9074 (pb2sat) R 9073 25399 25398 0 -1 0 16979 0 0 0 10958 42 0 0 25 0 1 0 864130726 50388992 10100 4294967295 134512640 135726644 3221224592 3221223040 134726914 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12302 10100 300 300 0 12002 0
vsize: 49208
[startup+120.006 s]
Raw data (loadavg): 0.99 0.97 0.79 2/54 9074
Raw data (stat): 9074 (pb2sat) R 9073 25399 25398 0 -1 0 17006 0 0 0 11957 43 0 0 25 0 1 0 864130726 50388992 10127 4294967295 134512640 135726644 3221224592 3221223136 134736714 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12302 10127 300 300 0 12002 0
vsize: 49208
[startup+130.007 s]
Raw data (loadavg): 0.99 0.97 0.79 2/54 9074
Raw data (stat): 9074 (pb2sat) R 9073 25399 25398 0 -1 0 17031 0 0 0 12957 44 0 0 25 0 1 0 864130726 50388992 10152 4294967295 134512640 135726644 3221224592 3221223248 134745082 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12302 10152 300 300 0 12002 0
vsize: 49208
[startup+140.008 s]
Raw data (loadavg): 0.99 0.97 0.79 2/54 9074
Raw data (stat): 9074 (pb2sat) R 9073 25399 25398 0 -1 0 17246 0 0 0 13955 45 0 0 25 0 1 0 864130726 50388992 10172 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12302 10172 300 300 0 12002 0
vsize: 49208
[startup+150.008 s]
Raw data (loadavg): 0.99 0.97 0.80 2/54 9074
Raw data (stat): 9074 (pb2sat) R 9073 25399 25398 0 -1 0 17265 0 0 0 14955 46 0 0 25 0 1 0 864130726 50388992 10191 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12302 10191 300 300 0 12002 0
vsize: 49208
[startup+160.008 s]
Raw data (loadavg): 0.99 0.97 0.80 2/54 9074
Raw data (stat): 9074 (pb2sat) R 9073 25399 25398 0 -1 0 17284 0 0 0 15954 47 0 0 25 0 1 0 864130726 50388992 10210 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12302 10210 300 300 0 12002 0
vsize: 49208
[startup+170.008 s]
Raw data (loadavg): 0.99 0.97 0.80 2/54 9074
Raw data (stat): 9074 (pb2sat) R 9073 25399 25398 0 -1 0 17494 0 0 0 16952 49 0 0 25 0 1 0 864130726 50388992 10225 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12302 10225 300 300 0 12002 0
vsize: 49208
[startup+180.008 s]
Raw data (loadavg): 0.99 0.97 0.80 2/54 9074
Raw data (stat): 9074 (pb2sat) R 9073 25399 25398 0 -1 0 17512 0 0 0 17952 49 0 0 25 0 1 0 864130726 50388992 10243 4294967295 134512640 135726644 3221224592 3221223184 134759980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12302 10243 300 300 0 12002 0
vsize: 49208
[startup+190.009 s]
Raw data (loadavg): 0.99 0.97 0.80 2/54 9074
Raw data (stat): 9074 (pb2sat) R 9073 25399 25398 0 -1 0 17715 0 0 0 18951 50 0 0 25 0 1 0 864130726 50388992 10251 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12302 10251 300 300 0 12002 0
vsize: 49208
[startup+200.009 s]
Raw data (loadavg): 0.99 0.97 0.81 2/54 9074
Raw data (stat): 9074 (pb2sat) R 9073 25399 25398 0 -1 0 17717 0 0 0 19950 51 0 0 25 0 1 0 864130726 50388992 10253 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12302 10253 300 300 0 12002 0
vsize: 49208
[startup+210.009 s]
Raw data (loadavg): 0.99 0.97 0.81 2/54 9074
Raw data (stat): 9074 (pb2sat) R 9073 25399 25398 0 -1 0 17718 0 0 0 20950 52 0 0 25 0 1 0 864130726 50388992 10254 4294967295 134512640 135726644 3221224592 3221223280 134744966 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12302 10254 300 300 0 12002 0
vsize: 49208
[startup+220.009 s]
Raw data (loadavg): 0.99 0.97 0.81 2/54 9074
Raw data (stat): 9074 (pb2sat) R 9073 25399 25398 0 -1 0 17720 0 0 0 21950 52 0 0 25 0 1 0 864130726 50388992 10256 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12302 10256 300 300 0 12002 0
vsize: 49208
[startup+230.01 s]
Raw data (loadavg): 0.99 0.97 0.81 2/54 9074
Raw data (stat): 9074 (pb2sat) R 9073 25399 25398 0 -1 0 17722 0 0 0 22949 52 0 0 25 0 1 0 864130726 50388992 10258 4294967295 134512640 135726644 3221224592 3221223104 135278766 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12302 10258 300 300 0 12002 0
vsize: 49208
[startup+240.01 s]
Raw data (loadavg): 0.99 0.97 0.81 2/54 9074
Raw data (stat): 9074 (pb2sat) R 9073 25399 25398 0 -1 0 17723 0 0 0 23949 52 0 0 25 0 1 0 864130726 50388992 10259 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12302 10259 300 300 0 12002 0
vsize: 49208
[startup+250.01 s]
Raw data (loadavg): 0.99 0.97 0.81 2/54 9074
Raw data (stat): 9074 (pb2sat) R 9073 25399 25398 0 -1 0 17962 0 0 0 24948 53 0 0 25 0 1 0 864130726 50667520 10303 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12370 10303 300 300 0 12070 0
vsize: 49480
[startup+260.011 s]
Raw data (loadavg): 0.99 0.97 0.82 2/54 9074
Raw data (stat): 9074 (pb2sat) R 9073 25399 25398 0 -1 0 18012 0 0 0 25948 54 0 0 25 0 1 0 864130726 50864128 10353 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12418 10353 300 300 0 12118 0
vsize: 49672
[startup+270.01 s]
Raw data (loadavg): 0.99 0.97 0.82 2/54 9074
Raw data (stat): 9074 (pb2sat) R 9073 25399 25398 0 -1 0 18015 0 0 0 26948 54 0 0 25 0 1 0 864130726 50864128 10356 4294967295 134512640 135726644 3221224592 3221223136 134736815 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12418 10356 300 300 0 12118 0
vsize: 49672
[startup+280.012 s]
Raw data (loadavg): 0.99 0.97 0.82 2/54 9074
Raw data (stat): 9074 (pb2sat) R 9073 25399 25398 0 -1 0 18980 0 0 0 27945 57 0 0 25 0 1 0 864130726 54476800 11093 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13300 11093 300 300 0 13000 0
vsize: 53200
[startup+290.012 s]
Raw data (loadavg): 0.99 0.97 0.82 2/54 9074
Raw data (stat): 9074 (pb2sat) R 9073 25399 25398 0 -1 0 19190 0 0 0 28945 58 0 0 25 0 1 0 864130726 55275520 11237 4294967295 134512640 135726644 3221224592 3221223088 134744377 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13495 11237 300 300 0 13195 0
vsize: 53980
[startup+300.012 s]
Raw data (loadavg): 0.99 0.97 0.82 2/54 9074
Raw data (stat): 9074 (pb2sat) R 9073 25399 25398 0 -1 0 19401 0 0 0 29944 59 0 0 25 0 1 0 864130726 56270848 11448 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13738 11448 300 300 0 13438 0
vsize: 54952
[startup+310.012 s]
Raw data (loadavg): 0.99 0.97 0.82 2/54 9074
Raw data (stat): 9074 (pb2sat) R 9073 25399 25398 0 -1 0 19591 0 0 0 30942 61 0 0 25 0 1 0 864130726 57126912 11638 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13947 11638 300 300 0 13647 0
vsize: 55788
[startup+320.012 s]
Raw data (loadavg): 0.99 0.97 0.82 2/54 9074
Raw data (stat): 9074 (pb2sat) R 9073 25399 25398 0 -1 0 19852 0 0 0 31941 62 0 0 25 0 1 0 864130726 57458688 11704 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14028 11704 300 300 0 13728 0
vsize: 56112
[startup+330.013 s]
Raw data (loadavg): 0.99 0.97 0.82 2/54 9074
Raw data (stat): 9074 (pb2sat) R 9073 25399 25398 0 -1 0 19895 0 0 0 32941 62 0 0 25 0 1 0 864130726 57458688 11747 4294967295 134512640 135726644 3221224592 3221223248 134731245 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14028 11747 300 300 0 13728 0
vsize: 56112
[startup+340.013 s]
Raw data (loadavg): 0.99 0.97 0.83 2/54 9074
Raw data (stat): 9074 (pb2sat) R 9073 25399 25398 0 -1 0 20130 0 0 0 33940 63 0 0 25 0 1 0 864130726 57458688 11787 4294967295 134512640 135726644 3221224592 3221223248 134731185 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14028 11787 300 300 0 13728 0
vsize: 56112
[startup+350.012 s]
Raw data (loadavg): 0.99 0.97 0.83 2/54 9074
Raw data (stat): 9074 (pb2sat) R 9073 25399 25398 0 -1 0 20163 0 0 0 34940 63 0 0 25 0 1 0 864130726 57458688 11820 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14028 11820 300 300 0 13728 0
vsize: 56112
[startup+360.013 s]
Raw data (loadavg): 0.99 0.97 0.83 2/54 9074
Raw data (stat): 9074 (pb2sat) R 9073 25399 25398 0 -1 0 20392 0 0 0 35939 64 0 0 25 0 1 0 864130726 57458688 11854 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14028 11854 300 300 0 13728 0
vsize: 56112
[startup+370.013 s]
Raw data (loadavg): 0.99 0.97 0.83 2/54 9074
Raw data (stat): 9074 (pb2sat) R 9073 25399 25398 0 -1 0 20654 0 0 0 36939 65 0 0 25 0 1 0 864130726 57593856 11921 4294967295 134512640 135726644 3221224592 3221223184 134743857 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14061 11921 300 300 0 13761 0
vsize: 56244
[startup+380.014 s]
Raw data (loadavg): 0.99 0.97 0.83 2/54 9074
Raw data (stat): 9074 (pb2sat) R 9073 25399 25398 0 -1 0 20723 0 0 0 37938 66 0 0 25 0 1 0 864130726 58060800 11990 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14175 11990 300 300 0 13875 0
vsize: 56700
[startup+390.014 s]
Raw data (loadavg): 0.99 0.97 0.83 2/54 9074
Raw data (stat): 9074 (pb2sat) R 9073 25399 25398 0 -1 0 21012 0 0 0 38937 67 0 0 25 0 1 0 864130726 58662912 12084 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14322 12084 300 300 0 14022 0
vsize: 57288
[startup+400.014 s]
Raw data (loadavg): 0.99 0.97 0.83 2/54 9074
Raw data (stat): 9074 (pb2sat) R 9073 25399 25398 0 -1 0 21211 0 0 0 39937 68 0 0 25 0 1 0 864130726 59609088 12283 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14553 12283 300 300 0 14253 0
vsize: 58212
[startup+410.015 s]
Raw data (loadavg): 0.99 0.97 0.83 2/54 9074
Raw data (stat): 9074 (pb2sat) R 9073 25399 25398 0 -1 0 21307 0 0 0 40936 68 0 0 25 0 1 0 864130726 59940864 12379 4294967295 134512640 135726644 3221224592 3221223088 134744339 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14634 12379 300 300 0 14334 0
vsize: 58536
[startup+420.014 s]
Raw data (loadavg): 0.99 0.97 0.83 2/54 9074
Raw data (stat): 9074 (pb2sat) R 9073 25399 25398 0 -1 0 21331 0 0 0 41936 69 0 0 25 0 1 0 864130726 59940864 12403 4294967295 134512640 135726644 3221224592 3221223216 134744520 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14634 12403 300 300 0 14334 0
vsize: 58536
[startup+430.015 s]
Raw data (loadavg): 0.99 0.97 0.83 2/54 9074
Raw data (stat): 9074 (pb2sat) R 9073 25399 25398 0 -1 0 21601 0 0 0 42936 69 0 0 25 0 1 0 864130726 60076032 12478 4294967295 134512640 135726644 3221224592 3221223184 134760424 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14667 12478 300 300 0 14367 0
vsize: 58668
[startup+440.016 s]
Raw data (loadavg): 0.99 0.97 0.84 2/54 9074
Raw data (stat): 9074 (pb2sat) R 9073 25399 25398 0 -1 0 21842 0 0 0 43935 70 0 0 25 0 1 0 864130726 60874752 12719 4294967295 134512640 135726644 3221224592 3221222752 134765224 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14862 12719 300 300 0 14562 0
vsize: 59448
[startup+450.015 s]
Raw data (loadavg): 0.99 0.97 0.84 2/54 9074
Raw data (stat): 9074 (pb2sat) R 9073 25399 25398 0 -1 0 21880 0 0 0 44935 71 0 0 25 0 1 0 864130726 68464640 12562 4294967295 134512640 135726644 3221224592 3221223280 134745044 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16715 12562 300 300 0 16415 0
vsize: 66860
[startup+460.016 s]
Raw data (loadavg): 0.99 0.97 0.84 2/54 9074
Raw data (stat): 9074 (pb2sat) R 9073 25399 25398 0 -1 0 22014 0 0 0 45934 72 0 0 25 0 1 0 864130726 69005312 12696 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16847 12696 300 300 0 16547 0
vsize: 67388
[startup+470.016 s]
Raw data (loadavg): 0.99 0.97 0.84 2/54 9074
Raw data (stat): 9074 (pb2sat) R 9073 25399 25398 0 -1 0 22238 0 0 0 46933 72 0 0 25 0 1 0 864130726 69005312 12725 4294967295 134512640 135726644 3221224592 3221223232 134744671 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16847 12725 300 300 0 16547 0
vsize: 67388
[startup+480.017 s]
Raw data (loadavg): 0.99 0.97 0.84 2/54 9074
Raw data (stat): 9074 (pb2sat) R 9073 25399 25398 0 -1 0 22272 0 0 0 47933 72 0 0 25 0 1 0 864130726 69005312 12759 4294967295 134512640 135726644 3221224592 3221223088 134743967 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16847 12759 300 300 0 16547 0
vsize: 67388
[startup+490.017 s]
Raw data (loadavg): 0.99 0.97 0.84 2/54 9074
Raw data (stat): 9074 (pb2sat) R 9073 25399 25398 0 -1 0 22482 0 0 0 48933 73 0 0 25 0 1 0 864130726 69005312 12774 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16847 12774 300 300 0 16547 0
vsize: 67388
[startup+500.018 s]
Raw data (loadavg): 0.99 0.97 0.84 2/54 9074
Raw data (stat): 9074 (pb2sat) R 9073 25399 25398 0 -1 0 22485 0 0 0 49933 73 0 0 25 0 1 0 864130726 69005312 12777 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16847 12777 300 300 0 16547 0
vsize: 67388
[startup+510.018 s]
Raw data (loadavg): 0.99 0.97 0.84 2/54 9074
Raw data (stat): 9074 (pb2sat) R 9073 25399 25398 0 -1 0 22682 0 0 0 50933 74 0 0 25 0 1 0 864130726 69005312 12779 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16847 12779 300 300 0 16547 0
vsize: 67388
[startup+520.018 s]
Raw data (loadavg): 0.99 0.97 0.84 2/54 9074
Raw data (stat): 9074 (pb2sat) R 9073 25399 25398 0 -1 0 22908 0 0 0 51932 75 0 0 25 0 1 0 864130726 69005312 12810 4294967295 134512640 135726644 3221224592 3221223088 134743961 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16847 12810 300 300 0 16547 0
vsize: 67388
[startup+530.019 s]
Raw data (loadavg): 0.99 0.97 0.84 2/54 9074
Raw data (stat): 9074 (pb2sat) R 9073 25399 25398 0 -1 0 22958 0 0 0 52932 75 0 0 25 0 1 0 864130726 69005312 12860 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16847 12860 300 300 0 16547 0
vsize: 67388
[startup+540.02 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 9074
Raw data (stat): 9074 (pb2sat) R 9073 25399 25398 0 -1 0 23198 0 0 0 53931 76 0 0 25 0 1 0 864130726 69005312 12905 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16847 12905 300 300 0 16547 0
vsize: 67388
[startup+550.02 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 9074
Raw data (stat): 9074 (pb2sat) R 9073 25399 25398 0 -1 0 23322 0 0 0 54931 77 0 0 25 0 1 0 864130726 69271552 12996 4294967295 134512640 135726644 3221224592 3221223088 134744022 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16912 12996 300 300 0 16612 0
vsize: 67648
[startup+560.02 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 9074
Raw data (stat): 9074 (pb2sat) R 9073 25399 25398 0 -1 0 23561 0 0 0 55930 77 0 0 25 0 1 0 864130726 69271552 13040 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16912 13040 300 300 0 16612 0
vsize: 67648
[startup+570.021 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 9074
Raw data (stat): 9074 (pb2sat) R 9073 25399 25398 0 -1 0 23600 0 0 0 56931 77 0 0 25 0 1 0 864130726 69271552 13079 4294967295 134512640 135726644 3221224592 3221223088 134743999 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16912 13079 300 300 0 16612 0
vsize: 67648
[startup+580.022 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 9074
Raw data (stat): 9074 (pb2sat) R 9073 25399 25398 0 -1 0 23820 0 0 0 57930 78 0 0 25 0 1 0 864130726 69271552 13104 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16912 13104 300 300 0 16612 0
vsize: 67648
[startup+590.022 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 9074
Raw data (stat): 9074 (pb2sat) R 9073 25399 25398 0 -1 0 23823 0 0 0 58930 78 0 0 25 0 1 0 864130726 69271552 13107 4294967295 134512640 135726644 3221224592 3221223088 134743961 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16912 13107 300 300 0 16612 0
vsize: 67648
[startup+600.022 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 9074
Raw data (stat): 9074 (pb2sat) R 9073 25399 25398 0 -1 0 24024 0 0 0 59930 79 0 0 25 0 1 0 864130726 69410816 13113 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16946 13113 300 300 0 16646 0
vsize: 67784
[startup+610.023 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 9074
Raw data (stat): 9074 (pb2sat) R 9073 25399 25398 0 -1 0 24038 0 0 0 60930 79 0 0 25 0 1 0 864130726 69410816 13127 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16946 13127 300 300 0 16646 0
vsize: 67784
[startup+620.023 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 9074
Raw data (stat): 9074 (pb2sat) R 9073 25399 25398 0 -1 0 24043 0 0 0 61930 79 0 0 25 0 1 0 864130726 69410816 13132 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16946 13132 300 300 0 16646 0
vsize: 67784
[startup+630.024 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 9074
Raw data (stat): 9074 (pb2sat) R 9073 25399 25398 0 -1 0 24050 0 0 0 62930 79 0 0 25 0 1 0 864130726 69410816 13139 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16946 13139 300 300 0 16646 0
vsize: 67784
[startup+640.024 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 9074
Raw data (stat): 9074 (pb2sat) R 9073 25399 25398 0 -1 0 24256 0 0 0 63929 80 0 0 25 0 1 0 864130726 69410816 13150 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16946 13150 300 300 0 16646 0
vsize: 67784
[startup+650.024 s]
Raw data (loadavg): 0.99 0.97 0.86 2/54 9074
Raw data (stat): 9074 (pb2sat) R 9073 25399 25398 0 -1 0 24264 0 0 0 64930 80 0 0 25 0 1 0 864130726 69545984 13158 4294967295 134512640 135726644 3221224592 3221223088 134743898 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16979 13158 300 300 0 16679 0
vsize: 67916
[startup+660.024 s]
Raw data (loadavg): 0.99 0.97 0.86 2/54 9074
Raw data (stat): 9074 (pb2sat) R 9073 25399 25398 0 -1 0 24296 0 0 0 65930 80 0 0 25 0 1 0 864130726 69545984 13190 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16979 13190 300 300 0 16679 0
vsize: 67916
[startup+670.025 s]
Raw data (loadavg): 0.99 0.97 0.86 2/54 9074
Raw data (stat): 9074 (pb2sat) R 9073 25399 25398 0 -1 0 24549 0 0 0 66929 81 0 0 25 0 1 0 864130726 69545984 13248 4294967295 134512640 135726644 3221224592 3221223280 134744915 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16979 13248 300 300 0 16679 0
vsize: 67916
[startup+680.026 s]
Raw data (loadavg): 0.99 0.97 0.86 2/54 9074
Raw data (stat): 9074 (pb2sat) R 9073 25399 25398 0 -1 0 24606 0 0 0 67929 81 0 0 25 0 1 0 864130726 69545984 13305 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16979 13305 300 300 0 16679 0
vsize: 67916
[startup+690.027 s]
Raw data (loadavg): 0.99 0.97 0.86 2/54 9074
Raw data (stat): 9074 (pb2sat) R 9073 25399 25398 0 -1 0 24665 0 0 0 68929 82 0 0 25 0 1 0 864130726 69545984 13364 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16979 13364 300 300 0 16679 0
vsize: 67916
[startup+700.029 s]
Raw data (loadavg): 0.99 0.97 0.86 2/54 9074
Raw data (stat): 9074 (pb2sat) R 9073 25399 25398 0 -1 0 24905 0 0 0 69929 82 0 0 25 0 1 0 864130726 69545984 13409 4294967295 134512640 135726644 3221224592 3221223088 134743990 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16979 13409 300 300 0 16679 0
vsize: 67916
[startup+710.029 s]
Raw data (loadavg): 0.99 0.97 0.86 2/54 9074
Raw data (stat): 9074 (pb2sat) R 9073 25399 25398 0 -1 0 24960 0 0 0 70928 83 0 0 25 0 1 0 864130726 69545984 13464 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16979 13464 300 300 0 16679 0
vsize: 67916
[startup+720.029 s]
Raw data (loadavg): 0.99 0.97 0.86 2/54 9074
Raw data (stat): 9074 (pb2sat) R 9073 25399 25398 0 -1 0 25008 0 0 0 71928 83 0 0 25 0 1 0 864130726 69685248 13512 4294967295 134512640 135726644 3221224592 3221223136 134736730 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17013 13512 300 300 0 16713 0
vsize: 68052
[startup+730.03 s]
Raw data (loadavg): 0.99 0.97 0.86 2/54 9074
Raw data (stat): 9074 (pb2sat) R 9073 25399 25398 0 -1 0 25222 0 0 0 72928 83 0 0 25 0 1 0 864130726 69685248 13531 4294967295 134512640 135726644 3221224592 3221223088 134743967 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17013 13531 300 300 0 16713 0
vsize: 68052
[startup+740.03 s]
Raw data (loadavg): 0.99 0.97 0.86 2/54 9074
Raw data (stat): 9074 (pb2sat) R 9073 25399 25398 0 -1 0 25423 0 0 0 73928 84 0 0 25 0 1 0 864130726 69685248 13537 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17013 13537 300 300 0 16713 0
vsize: 68052
[startup+750.03 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 9074
Raw data (stat): 9074 (pb2sat) R 9073 25399 25398 0 -1 0 25426 0 0 0 74928 84 0 0 25 0 1 0 864130726 69685248 13540 4294967295 134512640 135726644 3221224592 3221222912 134728895 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17013 13540 300 300 0 16713 0
vsize: 68052
[startup+760.03 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 9074
Raw data (stat): 9074 (pb2sat) R 9073 25399 25398 0 -1 0 25624 0 0 0 75928 84 0 0 25 0 1 0 864130726 69685248 13543 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17013 13543 300 300 0 16713 0
vsize: 68052
[startup+770.03 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 9074
Raw data (stat): 9074 (pb2sat) R 9073 25399 25398 0 -1 0 25626 0 0 0 76927 85 0 0 25 0 1 0 864130726 69685248 13545 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17013 13545 300 300 0 16713 0
vsize: 68052
[startup+780.031 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 9074
Raw data (stat): 9074 (pb2sat) R 9073 25399 25398 0 -1 0 25835 0 0 0 77927 85 0 0 25 0 1 0 864130726 69685248 13559 4294967295 134512640 135726644 3221224592 3221223004 135297998 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17013 13559 300 300 0 16713 0
vsize: 68052
[startup+790.031 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 9074
Raw data (stat): 9074 (pb2sat) R 9073 25399 25398 0 -1 0 26038 0 0 0 78926 86 0 0 25 0 1 0 864130726 69685248 13567 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17013 13567 300 300 0 16713 0
vsize: 68052
[startup+800.031 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 9074
Raw data (stat): 9074 (pb2sat) R 9073 25399 25398 0 -1 0 26041 0 0 0 79926 86 0 0 25 0 1 0 864130726 69685248 13570 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17013 13570 300 300 0 16713 0
vsize: 68052
[startup+810.032 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 9074
Raw data (stat): 9074 (pb2sat) R 9073 25399 25398 0 -1 0 26049 0 0 0 80926 86 0 0 25 0 1 0 864130726 69820416 13578 4294967295 134512640 135726644 3221224592 3221223088 134743999 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17046 13578 300 300 0 16746 0
vsize: 68184
[startup+820.031 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 9074
Raw data (stat): 9074 (pb2sat) R 9073 25399 25398 0 -1 0 26056 0 0 0 81927 87 0 0 25 0 1 0 864130726 69820416 13585 4294967295 134512640 135726644 3221224592 3221223184 134760517 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17046 13585 300 300 0 16746 0
vsize: 68184
[startup+830.032 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 9074
Raw data (stat): 9074 (pb2sat) R 9073 25399 25398 0 -1 0 26259 0 0 0 82926 87 0 0 25 0 1 0 864130726 69820416 13593 4294967295 134512640 135726644 3221224592 3221223216 134744523 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17046 13593 300 300 0 16746 0
vsize: 68184
[startup+840.033 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 9074
Raw data (stat): 9074 (pb2sat) R 9073 25399 25398 0 -1 0 26261 0 0 0 83926 87 0 0 25 0 1 0 864130726 69820416 13595 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17046 13595 300 300 0 16746 0
vsize: 68184
[startup+850.032 s]
Raw data (loadavg): 0.99 0.97 0.88 2/54 9074
Raw data (stat): 9074 (pb2sat) R 9073 25399 25398 0 -1 0 26460 0 0 0 84926 88 0 0 25 0 1 0 864130726 69820416 13599 4294967295 134512640 135726644 3221224592 3221223180 134744135 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17046 13599 300 300 0 16746 0
vsize: 68184
[startup+860.032 s]
Raw data (loadavg): 0.99 0.97 0.88 2/54 9074
Raw data (stat): 9074 (pb2sat) R 9073 25399 25398 0 -1 0 26658 0 0 0 85926 88 0 0 25 0 1 0 864130726 69820416 13602 4294967295 134512640 135726644 3221224592 3221223088 134744379 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17046 13602 300 300 0 16746 0
vsize: 68184
[startup+870.033 s]
Raw data (loadavg): 0.99 0.97 0.88 2/54 9074
Raw data (stat): 9074 (pb2sat) R 9073 25399 25398 0 -1 0 26663 0 0 0 86926 88 0 0 25 0 1 0 864130726 69820416 13607 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17046 13607 300 300 0 16746 0
vsize: 68184
[startup+880.034 s]
Raw data (loadavg): 0.99 0.97 0.88 2/54 9074
Raw data (stat): 9074 (pb2sat) R 9073 25399 25398 0 -1 0 26669 0 0 0 87926 88 0 0 25 0 1 0 864130726 69820416 13613 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17046 13613 300 300 0 16746 0
vsize: 68184
[startup+890.034 s]
Raw data (loadavg): 0.99 0.97 0.88 2/54 9074
Raw data (stat): 9074 (pb2sat) R 9073 25399 25398 0 -1 0 26679 0 0 0 88926 88 0 0 25 0 1 0 864130726 69820416 13623 4294967295 134512640 135726644 3221224592 3221223088 134744030 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17046 13623 300 300 0 16746 0
vsize: 68184
[startup+900.034 s]
Raw data (loadavg): 0.99 0.97 0.88 2/54 9074
Raw data (stat): 9074 (pb2sat) R 9073 25399 25398 0 -1 0 26888 0 0 0 89926 89 0 0 25 0 1 0 864130726 69955584 13637 4294967295 134512640 135726644 3221224592 3221223216 134744570 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17079 13637 300 300 0 16779 0
vsize: 68316
[startup+910.034 s]
Raw data (loadavg): 0.99 0.97 0.88 2/54 9074
Raw data (stat): 9074 (pb2sat) R 9073 25399 25398 0 -1 0 26898 0 0 0 90926 89 0 0 25 0 1 0 864130726 69955584 13647 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17079 13647 300 300 0 16779 0
vsize: 68316
[startup+920.034 s]
Raw data (loadavg): 0.99 0.97 0.88 2/54 9074
Raw data (stat): 9074 (pb2sat) R 9073 25399 25398 0 -1 0 27108 0 0 0 91925 90 0 0 25 0 1 0 864130726 69955584 13662 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17079 13662 300 300 0 16779 0
vsize: 68316
[startup+930.034 s]
Raw data (loadavg): 0.99 0.97 0.88 2/54 9074
Raw data (stat): 9074 (pb2sat) R 9073 25399 25398 0 -1 0 27158 0 0 0 92925 90 0 0 25 0 1 0 864130726 69955584 13712 4294967295 134512640 135726644 3221224592 3221223088 134743987 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17079 13712 300 300 0 16779 0
vsize: 68316
[startup+940.035 s]
Raw data (loadavg): 0.99 0.97 0.88 2/54 9074
Raw data (stat): 9074 (pb2sat) R 9073 25399 25398 0 -1 0 27234 0 0 0 93925 91 0 0 25 0 1 0 864130726 69955584 13788 4294967295 134512640 135726644 3221224592 3221223088 134744372 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17079 13788 300 300 0 16779 0
vsize: 68316
[startup+950.035 s]
Raw data (loadavg): 0.99 0.97 0.89 2/54 9074
Raw data (stat): 9074 (pb2sat) R 9073 25399 25398 0 -1 0 27291 0 0 0 94924 91 0 0 25 0 1 0 864130726 69955584 13845 4294967295 134512640 135726644 3221224592 3221223280 134744861 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17079 13845 300 300 0 16779 0
vsize: 68316
[startup+960.036 s]
Raw data (loadavg): 0.99 0.97 0.89 2/54 9074
Raw data (stat): 9074 (pb2sat) R 9073 25399 25398 0 -1 0 27505 0 0 0 95924 92 0 0 25 0 1 0 864130726 70082560 13864 4294967295 134512640 135726644 3221224592 3221223088 134744311 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17110 13864 300 300 0 16810 0
vsize: 68440
[startup+970.036 s]
Raw data (loadavg): 0.99 0.97 0.89 2/54 9074
Raw data (stat): 9074 (pb2sat) R 9073 25399 25398 0 -1 0 27509 0 0 0 96924 92 0 0 25 0 1 0 864130726 70082560 13868 4294967295 134512640 135726644 3221224592 3221223088 134743999 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17110 13868 300 300 0 16810 0
vsize: 68440
[startup+980.037 s]
Raw data (loadavg): 0.99 0.97 0.89 2/54 9074
Raw data (stat): 9074 (pb2sat) R 9073 25399 25398 0 -1 0 27715 0 0 0 97924 93 0 0 25 0 1 0 864130726 70082560 13879 4294967295 134512640 135726644 3221224592 3221223216 134744582 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17110 13879 300 300 0 16810 0
vsize: 68440
[startup+990.038 s]
Raw data (loadavg): 0.99 0.97 0.89 2/54 9074
Raw data (stat): 9074 (pb2sat) R 9073 25399 25398 0 -1 0 27721 0 0 0 98924 93 0 0 25 0 1 0 864130726 70082560 13885 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17110 13885 300 300 0 16810 0
vsize: 68440
[startup+1000.04 s]
Raw data (loadavg): 0.99 0.97 0.89 2/54 9074
Raw data (stat): 9074 (pb2sat) R 9073 25399 25398 0 -1 0 27729 0 0 0 99923 93 0 0 25 0 1 0 864130726 70082560 13893 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17110 13893 300 300 0 16810 0
vsize: 68440
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.97 0.89 2/54 9074
Raw data (stat): 9074 (pb2sat) R 9073 25399 25398 0 -1 0 27739 0 0 0 100924 94 0 0 25 0 1 0 864130726 70221824 13903 4294967295 134512640 135726644 3221224592 3221223184 134759991 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17144 13903 300 300 0 16844 0
vsize: 68576
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.97 0.89 2/54 9074
Raw data (stat): 9074 (pb2sat) R 9073 25399 25398 0 -1 0 27947 0 0 0 101923 94 0 0 25 0 1 0 864130726 70221824 13916 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17144 13916 300 300 0 16844 0
vsize: 68576
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.97 0.89 2/54 9074
Raw data (stat): 9074 (pb2sat) R 9073 25399 25398 0 -1 0 27951 0 0 0 102923 95 0 0 25 0 1 0 864130726 70221824 13920 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17144 13920 300 300 0 16844 0
vsize: 68576
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.97 0.89 2/54 9074
Raw data (stat): 9074 (pb2sat) R 9073 25399 25398 0 -1 0 28152 0 0 0 103923 95 0 0 25 0 1 0 864130726 70221824 13926 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17144 13926 300 300 0 16844 0
vsize: 68576
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.97 0.89 2/54 9074
Raw data (stat): 9074 (pb2sat) R 9073 25399 25398 0 -1 0 28220 0 0 0 104922 95 0 0 25 0 1 0 864130726 70221824 13994 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17144 13994 300 300 0 16844 0
vsize: 68576
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.97 0.90 2/54 9074
Raw data (stat): 9074 (pb2sat) R 9073 25399 25398 0 -1 0 28480 0 0 0 105922 96 0 0 25 0 1 0 864130726 70221824 14059 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17144 14059 300 300 0 16844 0
vsize: 68576
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.97 0.90 2/54 9074
Raw data (stat): 9074 (pb2sat) R 9073 25399 25398 0 -1 0 28524 0 0 0 106922 96 0 0 25 0 1 0 864130726 70221824 14103 4294967295 134512640 135726644 3221224592 3221222928 134735629 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17144 14103 300 300 0 16844 0
vsize: 68576
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.97 0.90 2/54 9074
Raw data (stat): 9074 (pb2sat) R 9073 25399 25398 0 -1 0 28574 0 0 0 107922 97 0 0 25 0 1 0 864130726 70221824 14153 4294967295 134512640 135726644 3221224592 3221223216 134744575 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17144 14153 300 300 0 16844 0
vsize: 68576
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.97 0.90 2/54 9074
Raw data (stat): 9074 (pb2sat) R 9073 25399 25398 0 -1 0 28642 0 0 0 108921 97 0 0 25 0 1 0 864130726 70356992 14221 4294967295 134512640 135726644 3221224592 3221223088 134744014 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17177 14221 300 300 0 16877 0
vsize: 68708
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.97 0.90 2/54 9074
Raw data (stat): 9074 (pb2sat) R 9073 25399 25398 0 -1 0 28884 0 0 0 109921 98 0 0 25 0 1 0 864130726 70356992 14268 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17177 14268 300 300 0 16877 0
vsize: 68708
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.97 0.90 2/54 9074
Raw data (stat): 9074 (pb2sat) R 9073 25399 25398 0 -1 0 28893 0 0 0 110921 98 0 0 25 0 1 0 864130726 70356992 14277 4294967295 134512640 135726644 3221224592 3221223192 134743853 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17177 14277 300 300 0 16877 0
vsize: 68708
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.97 0.90 2/54 9074
Raw data (stat): 9074 (pb2sat) R 9073 25399 25398 0 -1 0 28901 0 0 0 111921 98 0 0 25 0 1 0 864130726 70356992 14285 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17177 14285 300 300 0 16877 0
vsize: 68708
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.97 0.90 2/54 9074
Raw data (stat): 9074 (pb2sat) R 9073 25399 25398 0 -1 0 28905 0 0 0 112921 98 0 0 25 0 1 0 864130726 70492160 14289 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17210 14289 300 300 0 16910 0
vsize: 68840
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.97 0.90 2/54 9074
Raw data (stat): 9074 (pb2sat) R 9073 25399 25398 0 -1 0 28917 0 0 0 113921 99 0 0 25 0 1 0 864130726 70492160 14301 4294967295 134512640 135726644 3221224592 3221223088 134744295 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17210 14301 300 300 0 16910 0
vsize: 68840
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.97 0.90 2/54 9074
Raw data (stat): 9074 (pb2sat) R 9073 25399 25398 0 -1 0 29121 0 0 0 114920 99 0 0 25 0 1 0 864130726 70492160 14310 4294967295 134512640 135726644 3221224592 3221223088 134744113 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17210 14310 300 300 0 16910 0
vsize: 68840
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9074
Raw data (stat): 9074 (pb2sat) R 9073 25399 25398 0 -1 0 29124 0 0 0 115920 99 0 0 25 0 1 0 864130726 70492160 14313 4294967295 134512640 135726644 3221224592 3221223184 134760010 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17210 14313 300 300 0 16910 0
vsize: 68840
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9074
Raw data (stat): 9074 (pb2sat) R 9073 25399 25398 0 -1 0 29135 0 0 0 116921 99 0 0 25 0 1 0 864130726 70492160 14324 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17210 14324 300 300 0 16910 0
vsize: 68840
[startup+1180.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9074
Raw data (stat): 9074 (pb2sat) R 9073 25399 25398 0 -1 0 29333 0 0 0 117920 100 0 0 25 0 1 0 864130726 70492160 14327 4294967295 134512640 135726644 3221224592 3221223088 134744039 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17210 14327 300 300 0 16910 0
vsize: 68840
[startup+1190.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9074
Raw data (stat): 9074 (pb2sat) R 9073 25399 25398 0 -1 0 29336 0 0 0 118920 100 0 0 25 0 1 0 864130726 70492160 14330 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17210 14330 300 300 0 16910 0
vsize: 68840
[startup+1200.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9074
Raw data (stat): 9074 (pb2sat) R 9073 25399 25398 0 -1 0 29338 0 0 0 119920 100 0 0 25 0 1 0 864130726 70492160 14332 4294967295 134512640 135726644 3221224592 3221223216 134744676 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17210 14332 300 300 0 16910 0
vsize: 68840
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.52 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 9074
Raw data (stat): 9074 (pb2sat) Z 9073 25399 25398 0 -1 12 29339 0 0 0 119965 103 0 0 25 0 1 0 864130726 0 0 4294967295 0 0 0 0 0 0 16384 7 16384 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: 10
Real time (s): 1200.52
CPU time (s): 1200.7
CPU user time (s): 1199.66
CPU system time (s): 1.03784
CPU usage (%): 100.014
Max. virtual memory (Kb): 68840
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	188
#### END VERIFIER DATA ####