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-5xp1.b.opb
MD5SUM	24a8f38e94b07e6ca192a34c96c24c6e
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	12
Optimality of the best value was proved	NO
Number of terms in the objective function	465
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	465
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	465
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.03084
Number of variables	464
Total number of constraints	859
Number of constraints which are clauses	845
Number of constraints which are cardinality constraints (but not clauses)	14
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	149
Trace number 41943

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc2 THE 2005-06-15 20:18:40 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=25157 boxname=wulflinc2 idbench=59 idsolver=18 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  24a8f38e94b07e6ca192a34c96c24c6e  /oldhome/oroussel/tmp/wulflinc2/normalized-5xp1.b.opb
REAL COMMAND:  pb2sat-v2 /oldhome/oroussel/tmp/wulflinc2/normalized-5xp1.b.opb
IDLAUNCH: 25157
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.191
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.191
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:        863992 kB
Buffers:         33500 kB
Cached:         111992 kB
SwapCached:       4448 kB
Active:          60808 kB
Inactive:        89772 kB
HighTotal:      131008 kB
HighFree:        30968 kB
LowTotal:       903652 kB
LowFree:        833024 kB
SwapTotal:     2097136 kB
SwapFree:      2091696 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5052 kB
Slab:            14528 kB
Committed_AS:    71900 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-15 20:38:43 (client local time) WITH STATUS 10 IN 1200.69 SECONDS
stats: 25157 0 1200.69 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: 459
c small objective detected
c got solution with objective value: 202
c [startup+7.43335 s]  setting bit 8 to 1
c got solution with objective value: 74
c [startup+13.352 s]  setting bit 7 to 1

c Decision: 106044/109260	Time: 30.0674/86400
c Decision: 106044/109260	Time: 47.3298/86400
c Decision: 106240/109260	Time: 70.7712/86400
c Decision: 106240/109260	Time: 87.0298/86400
c Decision: 106240/109260	Time: 104.934/86400
c Decision: 106240/109260	Time: 121.673/86400
c Decision: 106240/109260	Time: 142.736/86400
c Decision: 106240/109260	Time: 160.696/86400
c Decision: 106240/109260	Time: 179.974/86400
c Decision: 106240/109260	Time: 199.276/86400
c Decision: 106240/109260	Time: 215.081/86400
c Decision: 106240/109260	Time: 233.511/86400
c Decision: 106240/109260	Time: 251.822/86400
c Decision: 106240/109260	Time: 271.712/86400
c Decision: 106240/109260	Time: 291.625/86400
c Decision: 106240/109260	Time: 309.61/86400
c Decision: 106240/109260	Time: 326.869/86400
c Decision: 106240/109260	Time: 345.753/86400
c Decision: 106240/109260	Time: 365.01/86400
c Decision: 106240/109260	Time: 386.492/86400
c Decision: 106240/109260	Time: 404.884/86400
c Decision: 106240/109260	Time: 424.831/86400
c Decision: 106240/109260	Time: 439.226/86400
c Decision: 106240/109260	Time: 456.07/86400
c Decision: 106240/109260	Time: 474.771/86400
c Decision: 106240/109260	Time: 490.649/86400
c Decision: 106240/109260	Time: 510.543/86400
c Decision: 106240/109260	Time: 531.405/86400
c Decision: 106240/109260	Time: 551.803/86400
c Decision: 106240/109260	Time: 571.607/86400
c Decision: 106240/109260	Time: 589.426/86400
c Decision: 106240/109260	Time: 611.382/86400
c Decision: 106240/109260	Time: 629.61/86400
c Decision: 106240/109260	Time: 647.115/86400
c Decision: 106240/109260	Time: 666.891/86400
c Decision: 106240/109260	Time: 686.733/86400
c Decision: 106240/109260	Time: 706.11/86400
c Decision: 106240/109260	Time: 723.395/86400
c Decision: 106240/109260	Time: 733.125/86400
c Decision: 106240/109260	Time: 751.798/86400
c Decision: 106240/109260	Time: 762.534/86400
c Decision: 106241/109260	Time: 792.515/86400
c Decision: 106241/109260	Time: 810.422/86400
c Decision: 106241/109260	Time: 828.899/86400
c Decision: 106241/109260	Time: 851.826/86400
c Decision: 106241/109260	Time: 872.889/86400
c Decision: 106241/109260	Time: 892.065/86400
c Decision: 106241/109260	Time: 910.334/86400
c Decision: 106242/109260	Time: 942.877/86400
c Decision: 106242/109260	Time: 960.16/86400
c Decision: 106242/109260	Time: 981.294/86400
c Decision: 106242/109260	Time: 1000.09/86400
c Decision: 106242/109260	Time: 1016.75/86400
c Decision: 106242/109260	Time: 1037.39/86400
c Decision: 106242/109260	Time: 1048.28/86400
c Decision: 106242/109260	Time: 1060.64/86400
c Decision: 106242/109260	Time: 1075.83/86400
c Decision: 106242/109260	Time: 1092.92/86400
c Decision: 106243/109260	Time: 1126.39/86400
c Decision: 106243/109260	Time: 1146.39/86400
c Decision: 106613/109260	Time: 1169.72/86400
c Decision: 106613/109260	Time: 1185.56/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 -x445 -x446 -x447 -x448 -x449 -x45 x450 -x451 -x452 -x453 -x454 -x455 -x456 x457 -x458 x459 -x46 -x460 -x461 x462 x463 x464 -x465 -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.91 0.95 0.90 2/54 29410
Raw data (stat): 29410 (runsolver) R 29409 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 964949184 884736 94 4294967295 134512640 135332820 3221224480 3221219660 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0006 s]
Raw data (loadavg): 0.93 0.95 0.90 2/54 29410
Raw data (stat): 29410 (pb2sat-v2) R 29409 31399 31398 0 -1 0 16101 0 0 0 963 36 0 0 25 0 1 0 964949184 48345088 10152 4294967295 134512640 135730672 3221224592 3221222880 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11803 10152 301 301 0 11502 0
vsize: 47212
[startup+20.0015 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 29410
Raw data (stat): 29410 (pb2sat-v2) R 29409 31399 31398 0 -1 0 16441 0 0 0 1961 37 0 0 25 0 1 0 964949184 48680960 10278 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11885 10278 301 301 0 11584 0
vsize: 47540
[startup+30.0009 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 29410
Raw data (stat): 29410 (pb2sat-v2) R 29409 31399 31398 0 -1 0 16502 0 0 0 2961 37 0 0 25 0 1 0 964949184 48816128 10339 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11918 10339 301 301 0 11617 0
vsize: 47672
[startup+40.0006 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 29410
Raw data (stat): 29410 (pb2sat-v2) R 29409 31399 31398 0 -1 0 16572 0 0 0 3961 38 0 0 25 0 1 0 964949184 48951296 10409 4294967295 134512640 135730672 3221224592 3221222880 134747883 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11951 10409 301 301 0 11650 0
vsize: 47804
[startup+50.0007 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 29410
Raw data (stat): 29410 (pb2sat-v2) R 29409 31399 31398 0 -1 0 16814 0 0 0 4960 38 0 0 25 0 1 0 964949184 49086464 10437 4294967295 134512640 135730672 3221224592 3221223040 134734847 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11984 10437 301 301 0 11683 0
vsize: 47936
[startup+60.001 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 29410
Raw data (stat): 29410 (pb2sat-v2) R 29409 31399 31398 0 -1 0 16851 0 0 0 5959 39 0 0 25 0 1 0 964949184 49086464 10474 4294967295 134512640 135730672 3221224592 3221222864 134732625 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11984 10474 301 301 0 11683 0
vsize: 47936
[startup+70.0017 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 29410
Raw data (stat): 29410 (pb2sat-v2) R 29409 31399 31398 0 -1 0 17099 0 0 0 6959 39 0 0 25 0 1 0 964949184 49225728 10508 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12018 10508 301 301 0 11717 0
vsize: 48072
[startup+80.0017 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 29410
Raw data (stat): 29410 (pb2sat-v2) R 29409 31399 31398 0 -1 0 17138 0 0 0 7958 41 0 0 25 0 1 0 964949184 49225728 10547 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12018 10547 301 301 0 11717 0
vsize: 48072
[startup+90.0021 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 29410
Raw data (stat): 29410 (pb2sat-v2) R 29409 31399 31398 0 -1 0 17384 0 0 0 8957 42 0 0 25 0 1 0 964949184 49225728 10579 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12018 10579 301 301 0 11717 0
vsize: 48072
[startup+100.002 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 29410
Raw data (stat): 29410 (pb2sat-v2) R 29409 31399 31398 0 -1 0 17423 0 0 0 9956 42 0 0 25 0 1 0 964949184 49360896 10618 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12051 10618 301 301 0 11750 0
vsize: 48204
[startup+110.003 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 29410
Raw data (stat): 29410 (pb2sat-v2) R 29409 31399 31398 0 -1 0 17661 0 0 0 10956 43 0 0 25 0 1 0 964949184 49360896 10642 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12051 10642 301 301 0 11750 0
vsize: 48204
[startup+120.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29410
Raw data (stat): 29410 (pb2sat-v2) R 29409 31399 31398 0 -1 0 17906 0 0 0 11955 44 0 0 25 0 1 0 964949184 49360896 10673 4294967295 134512640 135730672 3221224592 3221222880 134747644 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12051 10673 301 301 0 11750 0
vsize: 48204
[startup+130.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29410
Raw data (stat): 29410 (pb2sat-v2) R 29409 31399 31398 0 -1 0 17950 0 0 0 12954 45 0 0 25 0 1 0 964949184 49360896 10717 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12051 10717 301 301 0 11750 0
vsize: 48204
[startup+140.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29410
Raw data (stat): 29410 (pb2sat-v2) R 29409 31399 31398 0 -1 0 18188 0 0 0 13954 46 0 0 25 0 1 0 964949184 49496064 10741 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12084 10741 301 301 0 11783 0
vsize: 48336
[startup+150.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29410
Raw data (stat): 29410 (pb2sat-v2) R 29409 31399 31398 0 -1 0 18196 0 0 0 14954 46 0 0 25 0 1 0 964949184 49496064 10749 4294967295 134512640 135730672 3221224592 3221222880 134747970 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12084 10749 301 301 0 11783 0
vsize: 48336
[startup+160.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29410
Raw data (stat): 29410 (pb2sat-v2) R 29409 31399 31398 0 -1 0 18420 0 0 0 15953 47 0 0 25 0 1 0 964949184 49496064 10759 4294967295 134512640 135730672 3221224592 3221222880 134747575 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12084 10759 301 301 0 11783 0
vsize: 48336
[startup+170.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29410
Raw data (stat): 29410 (pb2sat-v2) R 29409 31399 31398 0 -1 0 18428 0 0 0 16953 47 0 0 25 0 1 0 964949184 49496064 10767 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12084 10767 301 301 0 11783 0
vsize: 48336
[startup+180.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29410
Raw data (stat): 29410 (pb2sat-v2) R 29409 31399 31398 0 -1 0 18648 0 0 0 17952 48 0 0 25 0 1 0 964949184 49496064 10773 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12084 10773 301 301 0 11783 0
vsize: 48336
[startup+190.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29410
Raw data (stat): 29410 (pb2sat-v2) R 29409 31399 31398 0 -1 0 18675 0 0 0 18952 48 0 0 25 0 1 0 964949184 49496064 10800 4294967295 134512640 135730672 3221224592 3221222880 134747549 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12084 10800 301 301 0 11783 0
vsize: 48336
[startup+200.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29410
Raw data (stat): 29410 (pb2sat-v2) R 29409 31399 31398 0 -1 0 18921 0 0 0 19952 49 0 0 25 0 1 0 964949184 49635328 10832 4294967295 134512640 135730672 3221224592 3221222880 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12118 10832 301 301 0 11817 0
vsize: 48472
[startup+210.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29410
Raw data (stat): 29410 (pb2sat-v2) R 29409 31399 31398 0 -1 0 18954 0 0 0 20952 49 0 0 25 0 1 0 964949184 49635328 10865 4294967295 134512640 135730672 3221224592 3221222880 134747757 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12118 10865 301 301 0 11817 0
vsize: 48472
[startup+220.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29410
Raw data (stat): 29410 (pb2sat-v2) R 29409 31399 31398 0 -1 0 19208 0 0 0 21951 50 0 0 25 0 1 0 964949184 49635328 10905 4294967295 134512640 135730672 3221224592 3221222880 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12118 10905 301 301 0 11817 0
vsize: 48472
[startup+230.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29410
Raw data (stat): 29410 (pb2sat-v2) R 29409 31399 31398 0 -1 0 19460 0 0 0 22950 51 0 0 25 0 1 0 964949184 49635328 10943 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12118 10943 301 301 0 11817 0
vsize: 48472
[startup+240.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29410
Raw data (stat): 29410 (pb2sat-v2) R 29409 31399 31398 0 -1 0 19471 0 0 0 23950 52 0 0 25 0 1 0 964949184 49635328 10954 4294967295 134512640 135730672 3221224592 3221222880 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12118 10954 301 301 0 11817 0
vsize: 48472
[startup+250.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29410
Raw data (stat): 29410 (pb2sat-v2) R 29409 31399 31398 0 -1 0 19700 0 0 0 24949 52 0 0 25 0 1 0 964949184 49774592 10969 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12152 10969 301 301 0 11851 0
vsize: 48608
[startup+260.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29410
Raw data (stat): 29410 (pb2sat-v2) R 29409 31399 31398 0 -1 0 19712 0 0 0 25949 53 0 0 25 0 1 0 964949184 49774592 10981 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12152 10981 301 301 0 11851 0
vsize: 48608
[startup+270.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29410
Raw data (stat): 29410 (pb2sat-v2) R 29409 31399 31398 0 -1 0 19932 0 0 0 26949 53 0 0 25 0 1 0 964949184 49774592 10987 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12152 10987 301 301 0 11851 0
vsize: 48608
[startup+280.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29410
Raw data (stat): 29410 (pb2sat-v2) R 29409 31399 31398 0 -1 0 19939 0 0 0 27948 54 0 0 25 0 1 0 964949184 49774592 10994 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12152 10994 301 301 0 11851 0
vsize: 48608
[startup+290.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29410
Raw data (stat): 29410 (pb2sat-v2) R 29409 31399 31398 0 -1 0 20169 0 0 0 28948 55 0 0 25 0 1 0 964949184 49774592 11010 4294967295 134512640 135730672 3221224592 3221222880 134747549 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12152 11010 301 301 0 11851 0
vsize: 48608
[startup+300.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29410
Raw data (stat): 29410 (pb2sat-v2) R 29409 31399 31398 0 -1 0 20212 0 0 0 29948 55 0 0 25 0 1 0 964949184 49909760 11053 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12185 11053 301 301 0 11884 0
vsize: 48740
[startup+310.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29410
Raw data (stat): 29410 (pb2sat-v2) R 29409 31399 31398 0 -1 0 20469 0 0 0 30947 56 0 0 25 0 1 0 964949184 49909760 11096 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12185 11096 301 301 0 11884 0
vsize: 48740
[startup+320.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29410
Raw data (stat): 29410 (pb2sat-v2) R 29409 31399 31398 0 -1 0 20506 0 0 0 31946 57 0 0 25 0 1 0 964949184 49909760 11133 4294967295 134512640 135730672 3221224592 3221222704 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12185 11133 301 301 0 11884 0
vsize: 48740
[startup+330.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29410
Raw data (stat): 29410 (pb2sat-v2) R 29409 31399 31398 0 -1 0 20739 0 0 0 32946 58 0 0 25 0 1 0 964949184 49909760 11152 4294967295 134512640 135730672 3221224592 3221222880 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12185 11152 301 301 0 11884 0
vsize: 48740
[startup+340.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29410
Raw data (stat): 29410 (pb2sat-v2) R 29409 31399 31398 0 -1 0 20910 0 0 0 33945 58 0 0 25 0 1 0 964949184 50786304 11323 4294967295 134512640 135730672 3221224592 3221222720 134767241 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12399 11331 301 301 0 12098 0
vsize: 49596
[startup+350.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29410
Raw data (stat): 29410 (pb2sat-v2) R 29409 31399 31398 0 -1 0 20967 0 0 0 34945 59 0 0 25 0 1 0 964949184 50040832 11166 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12217 11166 301 301 0 11916 0
vsize: 48868
[startup+360.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29410
Raw data (stat): 29410 (pb2sat-v2) R 29409 31399 31398 0 -1 0 21193 0 0 0 35944 59 0 0 25 0 1 0 964949184 50040832 11178 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12217 11178 301 301 0 11916 0
vsize: 48868
[startup+370.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29410
Raw data (stat): 29410 (pb2sat-v2) R 29409 31399 31398 0 -1 0 21200 0 0 0 36944 60 0 0 25 0 1 0 964949184 50040832 11185 4294967295 134512640 135730672 3221224592 3221222880 134747549 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12217 11185 301 301 0 11916 0
vsize: 48868
[startup+380.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29410
Raw data (stat): 29410 (pb2sat-v2) R 29409 31399 31398 0 -1 0 21424 0 0 0 37942 61 0 0 25 0 1 0 964949184 50040832 11195 4294967295 134512640 135730672 3221224592 3221222880 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12217 11195 301 301 0 11916 0
vsize: 48868
[startup+390.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29410
Raw data (stat): 29410 (pb2sat-v2) R 29409 31399 31398 0 -1 0 21430 0 0 0 38942 62 0 0 25 0 1 0 964949184 50040832 11201 4294967295 134512640 135730672 3221224592 3221222880 134747592 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12217 11201 301 301 0 11916 0
vsize: 48868
[startup+400.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29410
Raw data (stat): 29410 (pb2sat-v2) R 29409 31399 31398 0 -1 0 21678 0 0 0 39941 63 0 0 25 0 1 0 964949184 50171904 11235 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12249 11235 301 301 0 11948 0
vsize: 48996
[startup+410.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29410
Raw data (stat): 29410 (pb2sat-v2) R 29409 31399 31398 0 -1 0 21723 0 0 0 40941 63 0 0 25 0 1 0 964949184 58560512 11280 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14297 11280 301 301 0 13996 0
vsize: 57188
[startup+420.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29410
Raw data (stat): 29410 (pb2sat-v2) R 29409 31399 31398 0 -1 0 21967 0 0 0 41941 64 0 0 25 0 1 0 964949184 58560512 11310 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14297 11310 301 301 0 13996 0
vsize: 57188
[startup+430.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29410
Raw data (stat): 29410 (pb2sat-v2) R 29409 31399 31398 0 -1 0 21973 0 0 0 42941 64 0 0 25 0 1 0 964949184 58560512 11316 4294967295 134512640 135730672 3221224592 3221222880 134747965 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14297 11316 301 301 0 13996 0
vsize: 57188
[startup+440.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29410
Raw data (stat): 29410 (pb2sat-v2) R 29409 31399 31398 0 -1 0 22190 0 0 0 43940 65 0 0 25 0 1 0 964949184 58560512 11319 4294967295 134512640 135730672 3221224592 3221222880 134747592 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14297 11319 301 301 0 13996 0
vsize: 57188
[startup+450.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29410
Raw data (stat): 29410 (pb2sat-v2) R 29409 31399 31398 0 -1 0 22200 0 0 0 44940 65 0 0 25 0 1 0 964949184 58560512 11329 4294967295 134512640 135730672 3221224592 3221222880 134747757 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14297 11329 301 301 0 13996 0
vsize: 57188
[startup+460.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29410
Raw data (stat): 29410 (pb2sat-v2) R 29409 31399 31398 0 -1 0 22423 0 0 0 45939 66 0 0 25 0 1 0 964949184 58691584 11338 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14329 11338 301 301 0 14028 0
vsize: 57316
[startup+470.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29410
Raw data (stat): 29410 (pb2sat-v2) R 29409 31399 31398 0 -1 0 22670 0 0 0 46939 67 0 0 25 0 1 0 964949184 58691584 11371 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14329 11371 301 301 0 14028 0
vsize: 57316
[startup+480.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29410
Raw data (stat): 29410 (pb2sat-v2) R 29409 31399 31398 0 -1 0 22710 0 0 0 47939 67 0 0 25 0 1 0 964949184 58691584 11411 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14329 11411 301 301 0 14028 0
vsize: 57316
[startup+490.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29410
Raw data (stat): 29410 (pb2sat-v2) R 29409 31399 31398 0 -1 0 22968 0 0 0 48938 68 0 0 25 0 1 0 964949184 58691584 11455 4294967295 134512640 135730672 3221224592 3221222880 134747657 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14329 11455 301 301 0 14028 0
vsize: 57316
[startup+500.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29410
Raw data (stat): 29410 (pb2sat-v2) R 29409 31399 31398 0 -1 0 23027 0 0 0 49937 69 0 0 25 0 1 0 964949184 58826752 11514 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14362 11514 301 301 0 14061 0
vsize: 57448
[startup+510.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29410
Raw data (stat): 29410 (pb2sat-v2) R 29409 31399 31398 0 -1 0 23272 0 0 0 50937 70 0 0 25 0 1 0 964949184 58826752 11545 4294967295 134512640 135730672 3221224592 3221222880 134747570 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14362 11545 301 301 0 14061 0
vsize: 57448
[startup+520.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29410
Raw data (stat): 29410 (pb2sat-v2) R 29409 31399 31398 0 -1 0 23280 0 0 0 51937 70 0 0 25 0 1 0 964949184 58826752 11553 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14362 11553 301 301 0 14061 0
vsize: 57448
[startup+530.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29410
Raw data (stat): 29410 (pb2sat-v2) R 29409 31399 31398 0 -1 0 23503 0 0 0 52936 71 0 0 25 0 1 0 964949184 58826752 11562 4294967295 134512640 135730672 3221224592 3221222880 134747657 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14362 11562 301 301 0 14061 0
vsize: 57448
[startup+540.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29410
Raw data (stat): 29410 (pb2sat-v2) R 29409 31399 31398 0 -1 0 23513 0 0 0 53936 71 0 0 25 0 1 0 964949184 58826752 11572 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14362 11572 301 301 0 14061 0
vsize: 57448
[startup+550.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29410
Raw data (stat): 29410 (pb2sat-v2) R 29409 31399 31398 0 -1 0 23733 0 0 0 54935 72 0 0 25 0 1 0 964949184 58953728 11578 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14393 11578 301 301 0 14092 0
vsize: 57572
[startup+560.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29410
Raw data (stat): 29410 (pb2sat-v2) R 29409 31399 31398 0 -1 0 23739 0 0 0 55935 73 0 0 25 0 1 0 964949184 58953728 11584 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14393 11584 301 301 0 14092 0
vsize: 57572
[startup+570.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29410
Raw data (stat): 29410 (pb2sat-v2) R 29409 31399 31398 0 -1 0 23999 0 0 0 56934 74 0 0 25 0 1 0 964949184 58953728 11630 4294967295 134512640 135730672 3221224592 3221222768 134761945 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14393 11630 301 301 0 14092 0
vsize: 57572
[startup+580.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29410
Raw data (stat): 29410 (pb2sat-v2) R 29409 31399 31398 0 -1 0 24038 0 0 0 57933 75 0 0 25 0 1 0 964949184 58953728 11669 4294967295 134512640 135730672 3221224592 3221222880 134747592 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14393 11669 301 301 0 14092 0
vsize: 57572
[startup+590.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29410
Raw data (stat): 29410 (pb2sat-v2) R 29409 31399 31398 0 -1 0 24301 0 0 0 58933 75 0 0 25 0 1 0 964949184 58953728 11718 4294967295 134512640 135730672 3221224592 3221222880 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14393 11718 301 301 0 14092 0
vsize: 57572
[startup+600.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29410
Raw data (stat): 29410 (pb2sat-v2) R 29409 31399 31398 0 -1 0 24339 0 0 0 59932 76 0 0 25 0 1 0 964949184 59088896 11756 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14426 11756 301 301 0 14125 0
vsize: 57704
[startup+610.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29410
Raw data (stat): 29410 (pb2sat-v2) R 29409 31399 31398 0 -1 0 24567 0 0 0 60932 76 0 0 25 0 1 0 964949184 59088896 11770 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14426 11770 301 301 0 14125 0
vsize: 57704
[startup+620.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29410
Raw data (stat): 29410 (pb2sat-v2) R 29409 31399 31398 0 -1 0 24572 0 0 0 61932 77 0 0 25 0 1 0 964949184 59088896 11775 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14426 11775 301 301 0 14125 0
vsize: 57704
[startup+630.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29410
Raw data (stat): 29410 (pb2sat-v2) R 29409 31399 31398 0 -1 0 24793 0 0 0 62931 77 0 0 25 0 1 0 964949184 59088896 11782 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14426 11782 301 301 0 14125 0
vsize: 57704
[startup+640.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29410
Raw data (stat): 29410 (pb2sat-v2) R 29409 31399 31398 0 -1 0 24803 0 0 0 63931 78 0 0 25 0 1 0 964949184 59088896 11792 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14426 11792 301 301 0 14125 0
vsize: 57704
[startup+650.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29410
Raw data (stat): 29410 (pb2sat-v2) R 29409 31399 31398 0 -1 0 25021 0 0 0 64930 79 0 0 25 0 1 0 964949184 59088896 11796 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14426 11796 301 301 0 14125 0
vsize: 57704
[startup+660.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29410
Raw data (stat): 29410 (pb2sat-v2) R 29409 31399 31398 0 -1 0 25025 0 0 0 65930 79 0 0 25 0 1 0 964949184 59088896 11800 4294967295 134512640 135730672 3221224592 3221222896 134746515 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14426 11800 301 301 0 14125 0
vsize: 57704
[startup+670.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29410
Raw data (stat): 29410 (pb2sat-v2) R 29409 31399 31398 0 -1 0 25253 0 0 0 66930 79 0 0 25 0 1 0 964949184 59088896 11814 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14426 11814 301 301 0 14125 0
vsize: 57704
[startup+680.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29410
Raw data (stat): 29410 (pb2sat-v2) R 29409 31399 31398 0 -1 0 25518 0 0 0 67929 80 0 0 25 0 1 0 964949184 60080128 12079 4294967295 134512640 135730672 3221224592 3221222560 134768862 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14668 12079 301 301 0 14367 0
vsize: 58672
[startup+690.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29410
Raw data (stat): 29410 (pb2sat-v2) R 29409 31399 31398 0 -1 0 25571 0 0 0 68929 81 0 0 25 0 1 0 964949184 59203584 11918 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14454 11918 301 301 0 14153 0
vsize: 57816
[startup+700.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29410
Raw data (stat): 29410 (pb2sat-v2) R 29409 31399 31398 0 -1 0 25822 0 0 0 69928 82 0 0 25 0 1 0 964949184 59203584 11955 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14454 11955 301 301 0 14153 0
vsize: 57816
[startup+710.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29410
Raw data (stat): 29410 (pb2sat-v2) R 29409 31399 31398 0 -1 0 25832 0 0 0 70928 82 0 0 25 0 1 0 964949184 59203584 11965 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14454 11965 301 301 0 14153 0
vsize: 57816
[startup+720.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29410
Raw data (stat): 29410 (pb2sat-v2) R 29409 31399 31398 0 -1 0 26067 0 0 0 71927 83 0 0 25 0 1 0 964949184 59338752 11986 4294967295 134512640 135730672 3221224592 3221222880 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14487 11986 301 301 0 14186 0
vsize: 57948
[startup+730.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29410
Raw data (stat): 29410 (pb2sat-v2) R 29409 31399 31398 0 -1 0 26075 0 0 0 72927 83 0 0 25 0 1 0 964949184 59338752 11994 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14487 11994 301 301 0 14186 0
vsize: 57948
[startup+740.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29410
Raw data (stat): 29410 (pb2sat-v2) R 29409 31399 31398 0 -1 0 26292 0 0 0 73926 84 0 0 25 0 1 0 964949184 59338752 11997 4294967295 134512640 135730672 3221224592 3221222880 134747657 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14487 11997 301 301 0 14186 0
vsize: 57948
[startup+750.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29410
Raw data (stat): 29410 (pb2sat-v2) R 29409 31399 31398 0 -1 0 26513 0 0 0 74926 84 0 0 25 0 1 0 964949184 59338752 12004 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14487 12004 301 301 0 14186 0
vsize: 57948
[startup+760.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29410
Raw data (stat): 29410 (pb2sat-v2) R 29409 31399 31398 0 -1 0 26540 0 0 0 75926 85 0 0 25 0 1 0 964949184 59338752 12031 4294967295 134512640 135730672 3221224592 3221222880 134747657 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14487 12031 301 301 0 14186 0
vsize: 57948
[startup+770.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29410
Raw data (stat): 29410 (pb2sat-v2) R 29409 31399 31398 0 -1 0 26812 0 0 0 76926 85 0 0 25 0 1 0 964949184 59338752 12089 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14487 12089 301 301 0 14186 0
vsize: 57948
[startup+780.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29410
Raw data (stat): 29410 (pb2sat-v2) R 29409 31399 31398 0 -1 0 27070 0 0 0 77925 86 0 0 25 0 1 0 964949184 59338752 12133 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14487 12133 301 301 0 14186 0
vsize: 57948
[startup+790.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29410
Raw data (stat): 29410 (pb2sat-v2) R 29409 31399 31398 0 -1 0 27077 0 0 0 78925 86 0 0 25 0 1 0 964949184 59338752 12140 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14487 12140 301 301 0 14186 0
vsize: 57948
[startup+800.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29410
Raw data (stat): 29410 (pb2sat-v2) R 29409 31399 31398 0 -1 0 27097 0 0 0 79924 87 0 0 25 0 1 0 964949184 59473920 12160 4294967295 134512640 135730672 3221224592 3221222880 134747587 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14520 12160 301 301 0 14219 0
vsize: 58080
[startup+810.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29410
Raw data (stat): 29410 (pb2sat-v2) R 29409 31399 31398 0 -1 0 27330 0 0 0 80924 88 0 0 25 0 1 0 964949184 59572224 12179 4294967295 134512640 135730672 3221224592 3221222880 134747967 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14544 12179 301 301 0 14243 0
vsize: 58176
[startup+820.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29410
Raw data (stat): 29410 (pb2sat-v2) R 29409 31399 31398 0 -1 0 27337 0 0 0 81924 88 0 0 25 0 1 0 964949184 59572224 12186 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14544 12186 301 301 0 14243 0
vsize: 58176
[startup+830.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29410
Raw data (stat): 29410 (pb2sat-v2) R 29409 31399 31398 0 -1 0 27560 0 0 0 82923 89 0 0 25 0 1 0 964949184 59572224 12195 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14544 12195 301 301 0 14243 0
vsize: 58176
[startup+840.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29410
Raw data (stat): 29410 (pb2sat-v2) R 29409 31399 31398 0 -1 0 27565 0 0 0 83923 89 0 0 25 0 1 0 964949184 59572224 12200 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14544 12200 301 301 0 14243 0
vsize: 58176
[startup+850.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29410
Raw data (stat): 29410 (pb2sat-v2) R 29409 31399 31398 0 -1 0 27784 0 0 0 84923 89 0 0 25 0 1 0 964949184 59572224 12205 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14544 12205 301 301 0 14243 0
vsize: 58176
[startup+860.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29410
Raw data (stat): 29410 (pb2sat-v2) R 29409 31399 31398 0 -1 0 27803 0 0 0 85923 90 0 0 25 0 1 0 964949184 59572224 12224 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14544 12224 301 301 0 14243 0
vsize: 58176
[startup+870.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29410
Raw data (stat): 29410 (pb2sat-v2) R 29409 31399 31398 0 -1 0 28069 0 0 0 86922 90 0 0 25 0 1 0 964949184 59707392 12276 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14577 12276 301 301 0 14276 0
vsize: 58308
[startup+880.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29410
Raw data (stat): 29410 (pb2sat-v2) R 29409 31399 31398 0 -1 0 28113 0 0 0 87923 90 0 0 25 0 1 0 964949184 59691008 12320 4294967295 134512640 135730672 3221224592 3221222880 134747730 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14573 12320 301 301 0 14272 0
vsize: 58292
[startup+890.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29410
Raw data (stat): 29410 (pb2sat-v2) R 29409 31399 31398 0 -1 0 28372 0 0 0 88922 91 0 0 25 0 1 0 964949184 59691008 12365 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14573 12365 301 301 0 14272 0
vsize: 58292
[startup+900.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29410
Raw data (stat): 29410 (pb2sat-v2) R 29409 31399 31398 0 -1 0 28377 0 0 0 89922 91 0 0 25 0 1 0 964949184 59691008 12370 4294967295 134512640 135730672 3221224592 3221222880 134747592 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14573 12370 301 301 0 14272 0
vsize: 58292
[startup+910.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29410
Raw data (stat): 29410 (pb2sat-v2) R 29409 31399 31398 0 -1 0 28598 0 0 0 90921 93 0 0 25 0 1 0 964949184 59691008 12377 4294967295 134512640 135730672 3221224592 3221222880 134747705 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14573 12377 301 301 0 14272 0
vsize: 58292
[startup+920.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29410
Raw data (stat): 29410 (pb2sat-v2) R 29409 31399 31398 0 -1 0 28602 0 0 0 91921 93 0 0 25 0 1 0 964949184 59691008 12381 4294967295 134512640 135730672 3221224592 3221222880 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14573 12381 301 301 0 14272 0
vsize: 58292
[startup+930.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29410
Raw data (stat): 29410 (pb2sat-v2) R 29409 31399 31398 0 -1 0 28821 0 0 0 92920 93 0 0 25 0 1 0 964949184 59691008 12386 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14573 12386 301 301 0 14272 0
vsize: 58292
[startup+940.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29410
Raw data (stat): 29410 (pb2sat-v2) R 29409 31399 31398 0 -1 0 28825 0 0 0 93920 94 0 0 25 0 1 0 964949184 59691008 12390 4294967295 134512640 135730672 3221224592 3221222880 134747741 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14573 12390 301 301 0 14272 0
vsize: 58292
[startup+950.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29410
Raw data (stat): 29410 (pb2sat-v2) R 29409 31399 31398 0 -1 0 28829 0 0 0 94920 94 0 0 25 0 1 0 964949184 59691008 12394 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14573 12394 301 301 0 14272 0
vsize: 58292
[startup+960.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29410
Raw data (stat): 29410 (pb2sat-v2) R 29409 31399 31398 0 -1 0 29067 0 0 0 95919 95 0 0 25 0 1 0 964949184 59826176 12418 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14606 12418 301 301 0 14305 0
vsize: 58424
[startup+970.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29410
Raw data (stat): 29410 (pb2sat-v2) R 29409 31399 31398 0 -1 0 29071 0 0 0 96919 96 0 0 25 0 1 0 964949184 59826176 12422 4294967295 134512640 135730672 3221224592 3221222880 134747597 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14606 12422 301 301 0 14305 0
vsize: 58424
[startup+980.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29410
Raw data (stat): 29410 (pb2sat-v2) R 29409 31399 31398 0 -1 0 29288 0 0 0 97918 96 0 0 25 0 1 0 964949184 59826176 12425 4294967295 134512640 135730672 3221224592 3221222880 134747570 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14606 12425 301 301 0 14305 0
vsize: 58424
[startup+990.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29410
Raw data (stat): 29410 (pb2sat-v2) R 29409 31399 31398 0 -1 0 29300 0 0 0 98918 97 0 0 25 0 1 0 964949184 59826176 12437 4294967295 134512640 135730672 3221224592 3221222880 134747657 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14606 12437 301 301 0 14305 0
vsize: 58424
[startup+1000.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29410
Raw data (stat): 29410 (pb2sat-v2) R 29409 31399 31398 0 -1 0 29544 0 0 0 99918 97 0 0 25 0 1 0 964949184 59826176 12467 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14606 12467 301 301 0 14305 0
vsize: 58424
[startup+1010.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29410
Raw data (stat): 29410 (pb2sat-v2) R 29409 31399 31398 0 -1 0 29549 0 0 0 100918 98 0 0 25 0 1 0 964949184 59826176 12472 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14606 12472 301 301 0 14305 0
vsize: 58424
[startup+1020.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29410
Raw data (stat): 29410 (pb2sat-v2) R 29409 31399 31398 0 -1 0 29766 0 0 0 101917 98 0 0 25 0 1 0 964949184 59826176 12475 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14606 12475 301 301 0 14305 0
vsize: 58424
[startup+1030.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29410
Raw data (stat): 29410 (pb2sat-v2) R 29409 31399 31398 0 -1 0 29984 0 0 0 102917 99 0 0 25 0 1 0 964949184 59826176 12479 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14606 12479 301 301 0 14305 0
vsize: 58424
[startup+1040.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29410
Raw data (stat): 29410 (pb2sat-v2) R 29409 31399 31398 0 -1 0 29990 0 0 0 103917 99 0 0 25 0 1 0 964949184 59826176 12485 4294967295 134512640 135730672 3221224592 3221222880 134747616 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14606 12485 301 301 0 14305 0
vsize: 58424
[startup+1050.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29410
Raw data (stat): 29410 (pb2sat-v2) R 29409 31399 31398 0 -1 0 29992 0 0 0 104917 99 0 0 25 0 1 0 964949184 59826176 12487 4294967295 134512640 135730672 3221224592 3221222880 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14606 12487 301 301 0 14305 0
vsize: 58424
[startup+1060.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29410
Raw data (stat): 29410 (pb2sat-v2) R 29409 31399 31398 0 -1 0 30213 0 0 0 105916 100 0 0 25 0 1 0 964949184 59944960 12494 4294967295 134512640 135730672 3221224592 3221222880 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14635 12494 301 301 0 14334 0
vsize: 58540
[startup+1070.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29410
Raw data (stat): 29410 (pb2sat-v2) R 29409 31399 31398 0 -1 0 30436 0 0 0 106915 101 0 0 25 0 1 0 964949184 59944960 12503 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14635 12503 301 301 0 14334 0
vsize: 58540
[startup+1080.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29410
Raw data (stat): 29410 (pb2sat-v2) R 29409 31399 31398 0 -1 0 30659 0 0 0 107915 102 0 0 25 0 1 0 964949184 59944960 12512 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14635 12512 301 301 0 14334 0
vsize: 58540
[startup+1090.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29410
Raw data (stat): 29410 (pb2sat-v2) R 29409 31399 31398 0 -1 0 30888 0 0 0 108914 102 0 0 25 0 1 0 964949184 59944960 12527 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14635 12527 301 301 0 14334 0
vsize: 58540
[startup+1100.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29410
Raw data (stat): 29410 (pb2sat-v2) R 29409 31399 31398 0 -1 0 30892 0 0 0 109914 102 0 0 25 0 1 0 964949184 59944960 12531 4294967295 134512640 135730672 3221224592 3221222880 134747549 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14635 12531 301 301 0 14334 0
vsize: 58540
[startup+1110.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29410
Raw data (stat): 29410 (pb2sat-v2) R 29409 31399 31398 0 -1 0 31111 0 0 0 110914 103 0 0 25 0 1 0 964949184 60055552 12536 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14662 12536 301 301 0 14361 0
vsize: 58648
[startup+1120.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29410
Raw data (stat): 29410 (pb2sat-v2) R 29409 31399 31398 0 -1 0 31115 0 0 0 111914 104 0 0 25 0 1 0 964949184 60055552 12540 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14662 12540 301 301 0 14361 0
vsize: 58648
[startup+1130.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29410
Raw data (stat): 29410 (pb2sat-v2) R 29409 31399 31398 0 -1 0 31119 0 0 0 112913 104 0 0 25 0 1 0 964949184 60055552 12544 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14662 12544 301 301 0 14361 0
vsize: 58648
[startup+1140.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29410
Raw data (stat): 29410 (pb2sat-v2) R 29409 31399 31398 0 -1 0 31392 0 0 0 113912 105 0 0 25 0 1 0 964949184 60190720 12603 4294967295 134512640 135730672 3221224592 3221222880 134747592 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14695 12603 301 301 0 14394 0
vsize: 58780
[startup+1150.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29410
Raw data (stat): 29410 (pb2sat-v2) R 29409 31399 31398 0 -1 0 31434 0 0 0 114912 106 0 0 25 0 1 0 964949184 60186624 12645 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14694 12645 301 301 0 14393 0
vsize: 58776
[startup+1160.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29410
Raw data (stat): 29410 (pb2sat-v2) R 29409 31399 31398 0 -1 0 31697 0 0 0 115911 106 0 0 25 0 1 0 964949184 60186624 12694 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14694 12694 301 301 0 14393 0
vsize: 58776
[startup+1170.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29410
Raw data (stat): 29410 (pb2sat-v2) R 29409 31399 31398 0 -1 0 31768 0 0 0 116911 107 0 0 25 0 1 0 964949184 60186624 12765 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14694 12765 301 301 0 14393 0
vsize: 58776
[startup+1180.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29410
Raw data (stat): 29410 (pb2sat-v2) R 29409 31399 31398 0 -1 0 31861 0 0 0 117910 108 0 0 25 0 1 0 964949184 60186624 12858 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14694 12858 301 301 0 14393 0
vsize: 58776
[startup+1190.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29410
Raw data (stat): 29410 (pb2sat-v2) R 29409 31399 31398 0 -1 0 32114 0 0 0 118910 109 0 0 25 0 1 0 964949184 60186624 12897 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14694 12897 301 301 0 14393 0
vsize: 58776
[startup+1200.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29410
Raw data (stat): 29410 (pb2sat-v2) R 29409 31399 31398 0 -1 0 32333 0 0 0 119909 109 0 0 25 0 1 0 964949184 60186624 12902 4294967295 134512640 135730672 3221224592 3221222880 134747788 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14694 12902 301 301 0 14393 0
vsize: 58776
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.51 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 29410
Raw data (stat): 29410 (pb2sat-v2) Z 29409 31399 31398 0 -1 12 32335 0 0 0 119956 112 0 0 25 0 1 0 964949184 0 0 4294967295 0 0 0 0 0 0 16384 7 16384 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: 10
Real time (s): 1200.51
CPU time (s): 1200.69
CPU user time (s): 1199.56
CPU system time (s): 1.12283
CPU usage (%): 100.015
Max. virtual memory (Kb): 58780
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	74
#### END VERIFIER DATA ####