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-ii32d1.opb
MD5SUM	151e246868267296e134c3c76a3cb289
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	285
Optimality of the best value was proved	NO
Number of terms in the objective function	664
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	664
Number of bits of the sum of numbers in the objective function	10
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	664
Number of bits of the biggest sum of numbers	10
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.02484
Number of variables	664
Total number of constraints	3035
Number of constraints which are clauses	3035
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 42037

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc6 THE 2005-06-15 22:16:28 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=25253 boxname=wulflinc6 idbench=155 idsolver=18 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  151e246868267296e134c3c76a3cb289  /oldhome/oroussel/tmp/wulflinc6/normalized-ii32d1.opb
REAL COMMAND:  pb2sat-v2 /oldhome/oroussel/tmp/wulflinc6/normalized-ii32d1.opb
IDLAUNCH: 25253
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.042
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.042
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:        765516 kB
Buffers:         33744 kB
Cached:         213020 kB
SwapCached:       1028 kB
Active:          64160 kB
Inactive:       184800 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        765264 kB
SwapTotal:     2097136 kB
SwapFree:      2095200 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5088 kB
Slab:            14508 kB
Committed_AS:    63848 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-15 22:36:31 (client local time) WITH STATUS 10 IN 1201.15 SECONDS
stats: 25253 0 1201.15 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: 332
c small objective detected
c CONFLICT during preprocess 
c [startup+9.23121 s]  setting bit 9 to 0
c [startup+19.9466 s]  setting bit 8 to 0

c Decision: 51361/166512	Time: 402.411/86400
c Decision: 51361/166512	Time: 438.435/86400
c Decision: 51361/166512	Time: 478.636/86400
c Decision: 51361/166512	Time: 515.86/86400
c Decision: 51361/166512	Time: 565.111/86400
c Decision: 51361/166512	Time: 602.608/86400
c Decision: 51361/166512	Time: 639.382/86400
c Decision: 51361/166512	Time: 682.32/86400
c Decision: 51361/166512	Time: 736.159/86400
c Decision: 51361/166512	Time: 768.276/86400
c Decision: 51361/166512	Time: 818.547/86400
c Decision: 51361/166512	Time: 864.763/86400
c Decision: 51361/166512	Time: 911.998/86400
c Decision: 51361/166512	Time: 960.752/86400
c Decision: 51361/166512	Time: 1006.07/86400
c Decision: 51361/166512	Time: 1049.43/86400
c Decision: 51361/166512	Time: 1095.95/86400
c Decision: 51361/166512	Time: 1136.82/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 -x466 x467 -x468 x469 x47 -x470 x471 -x472 x473 -x474 x475 -x476 x477 -x478 -x479 -x48 x480 x481 -x482 -x483 x484 -x485 x486 x487 -x488 -x489 x49 x490 x491 -x492 x493 -x494 x495 -x496 x497 -x498 -x499 -x5 -x50 x500 -x501 x502 x503 -x504 -x505 x506 x507 -x508 x509 x51 -x510 x511 -x512 -x513 x514 -x515 x516 x517 -x518 -x519 -x52 x520 x521 -x522 -x523 x524 -x525 x526 -x527 x528 -x529 x53 x530 -x531 x532 -x533 x534 x535 -x536 -x537 x538 x539 -x54 -x540 -x541 x542 -x543 x544 -x545 x546 x547 -x548 -x549 x55 x550 -x551 x552 -x553 x554 -x555 x556 x557 -x558 -x559 -x56 x560 -x561 x562 -x563 x564 x565 -x566 -x567 x568 -x569 x57 x570 -x571 x572 x573 -x574 -x575 x576 -x577 x578 x579 -x58 -x580 -x581 x582 -x583 x584 -x585 x586 -x587 x588 -x589 -x59 x590 x591 -x592 -x593 x594 x595 -x596 -x597 x598 -x599 x6 x60 x600 -x601 x602 -x603 x604 x605 -x606 -x607 x608 -x609 x61 x610 x611 -x612 -x613 x614 -x615 x616 -x617 x618 x619 -x62 -x620 -x621 x622 -x623 x624 -x625 x626 x627 -x628 -x629 x63 x630 -x631 x632 -x633 x634 -x635 x636 x637 -x638 -x639 -x64 x640 x641 -x642 -x643 x644 -x645 x646 -x647 x648 x649 x65 -x650 -x651 x652 -x653 x654 -x655 x656 x657 -x658 -x659 -x66 x660 -x661 x662 -x663 x664 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.97 0.91 1/54 11029
Raw data (stat): 11029 (runsolver) R 11028 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 965651185 884736 94 4294967295 134512640 135332820 3221224480 3221219660 135092226 0 0 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0007 s]
Raw data (loadavg): 0.93 0.97 0.91 2/54 11029
Raw data (stat): 11029 (pb2sat-v2) R 11028 25568 25567 0 -1 0 26826 0 0 0 947 52 0 0 25 0 1 0 965651185 86114304 15186 4294967295 134512640 135730672 3221224592 3221222548 135291157 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 21024 15186 301 301 0 20723 0
vsize: 84096
[startup+20.0015 s]
Raw data (loadavg): 0.94 0.97 0.91 2/54 11029
Raw data (stat): 11029 (pb2sat-v2) R 11028 25568 25567 0 -1 0 27442 0 0 0 1945 54 0 0 25 0 1 0 965651185 88518656 15607 4294967295 134512640 135730672 3221224592 3221222960 134741561 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 21611 15607 301 301 0 21310 0
vsize: 86444
[startup+30.0016 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 11029
Raw data (stat): 11029 (pb2sat-v2) R 11028 25568 25567 0 -1 0 28838 0 0 0 2942 57 0 0 25 0 1 0 965651185 93339648 16571 4294967295 134512640 135730672 3221224592 3221222976 134763604 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22788 16571 301 301 0 22487 0
vsize: 91152
[startup+40.0021 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 11029
Raw data (stat): 11029 (pb2sat-v2) R 11028 25568 25567 0 -1 0 30186 0 0 0 3940 60 0 0 25 0 1 0 965651185 99160064 17599 4294967295 134512640 135730672 3221224592 3221222880 134747463 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24209 17599 301 301 0 23908 0
vsize: 96836
[startup+50.0028 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 11029
Raw data (stat): 11029 (pb2sat-v2) R 11028 25568 25567 0 -1 0 31284 0 0 0 4937 63 0 0 25 0 1 0 965651185 103485440 18369 4294967295 134512640 135730672 3221224592 3221223008 134748166 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25265 18369 301 301 0 24964 0
vsize: 101060
[startup+60.0032 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 11029
Raw data (stat): 11029 (pb2sat-v2) R 11028 25568 25567 0 -1 0 32438 0 0 0 5935 65 0 0 25 0 1 0 965651185 107343872 19030 4294967295 134512640 135730672 3221224592 3221222880 134747735 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26207 19030 301 301 0 25906 0
vsize: 104828
[startup+70.0034 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 11029
Raw data (stat): 11029 (pb2sat-v2) R 11028 25568 25567 0 -1 0 32781 0 0 0 6935 66 0 0 25 0 1 0 965651185 108535808 19242 4294967295 134512640 135730672 3221224592 3221222880 134747657 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26498 19242 301 301 0 26197 0
vsize: 105992
[startup+80.0032 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 11029
Raw data (stat): 11029 (pb2sat-v2) R 11028 25568 25567 0 -1 0 32801 0 0 0 7935 66 0 0 25 0 1 0 965651185 108400640 19229 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26465 19229 301 301 0 26164 0
vsize: 105860
[startup+90.0034 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 11029
Raw data (stat): 11029 (pb2sat-v2) R 11028 25568 25567 0 -1 0 32858 0 0 0 8935 67 0 0 25 0 1 0 965651185 108531712 19253 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26497 19253 301 301 0 26196 0
vsize: 105988
[startup+100.004 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 11029
Raw data (stat): 11029 (pb2sat-v2) R 11028 25568 25567 0 -1 0 32922 0 0 0 9935 67 0 0 25 0 1 0 965651185 108531712 19317 4294967295 134512640 135730672 3221224592 3221222864 134732800 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26497 19317 301 301 0 26196 0
vsize: 105988
[startup+110.004 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 11029
Raw data (stat): 11029 (pb2sat-v2) R 11028 25568 25567 0 -1 0 32935 0 0 0 10935 67 0 0 25 0 1 0 965651185 108531712 19330 4294967295 134512640 135730672 3221224592 3221222880 134747575 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26497 19330 301 301 0 26196 0
vsize: 105988
[startup+120.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11029
Raw data (stat): 11029 (pb2sat-v2) R 11028 25568 25567 0 -1 0 32952 0 0 0 11935 67 0 0 25 0 1 0 965651185 108531712 19347 4294967295 134512640 135730672 3221224592 3221222880 134747854 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26497 19347 301 301 0 26196 0
vsize: 105988
[startup+130.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11029
Raw data (stat): 11029 (pb2sat-v2) R 11028 25568 25567 0 -1 0 32967 0 0 0 12935 67 0 0 25 0 1 0 965651185 108531712 19362 4294967295 134512640 135730672 3221224592 3221222880 134747957 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26497 19362 301 301 0 26196 0
vsize: 105988
[startup+140.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11029
Raw data (stat): 11029 (pb2sat-v2) R 11028 25568 25567 0 -1 0 32986 0 0 0 13935 68 0 0 25 0 1 0 965651185 108531712 19381 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26497 19381 301 301 0 26196 0
vsize: 105988
[startup+150.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11029
Raw data (stat): 11029 (pb2sat-v2) R 11028 25568 25567 0 -1 0 33089 0 0 0 14936 68 0 0 25 0 1 0 965651185 108793856 19419 4294967295 134512640 135730672 3221224592 3221222864 134732776 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26561 19419 301 301 0 26260 0
vsize: 106244
[startup+160.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11029
Raw data (stat): 11029 (pb2sat-v2) R 11028 25568 25567 0 -1 0 33101 0 0 0 15936 68 0 0 25 0 1 0 965651185 108793856 19431 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26561 19431 301 301 0 26260 0
vsize: 106244
[startup+170.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11029
Raw data (stat): 11029 (pb2sat-v2) R 11028 25568 25567 0 -1 0 33120 0 0 0 16936 68 0 0 25 0 1 0 965651185 108793856 19450 4294967295 134512640 135730672 3221224592 3221222880 134747733 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26561 19450 301 301 0 26260 0
vsize: 106244
[startup+180.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11029
Raw data (stat): 11029 (pb2sat-v2) R 11028 25568 25567 0 -1 0 33155 0 0 0 17936 68 0 0 25 0 1 0 965651185 108929024 19485 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26594 19485 301 301 0 26293 0
vsize: 106376
[startup+190.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11029
Raw data (stat): 11029 (pb2sat-v2) R 11028 25568 25567 0 -1 0 33176 0 0 0 18937 68 0 0 25 0 1 0 965651185 108929024 19506 4294967295 134512640 135730672 3221224592 3221222880 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26594 19506 301 301 0 26293 0
vsize: 106376
[startup+200.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11029
Raw data (stat): 11029 (pb2sat-v2) R 11028 25568 25567 0 -1 0 33196 0 0 0 19937 68 0 0 25 0 1 0 965651185 108929024 19526 4294967295 134512640 135730672 3221224592 3221222716 134739224 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26594 19526 301 301 0 26293 0
vsize: 106376
[startup+210.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11029
Raw data (stat): 11029 (pb2sat-v2) R 11028 25568 25567 0 -1 0 33217 0 0 0 20937 68 0 0 25 0 1 0 965651185 108929024 19547 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26594 19547 301 301 0 26293 0
vsize: 106376
[startup+220.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11029
Raw data (stat): 11029 (pb2sat-v2) R 11028 25568 25567 0 -1 0 33233 0 0 0 21937 69 0 0 25 0 1 0 965651185 108929024 19563 4294967295 134512640 135730672 3221224592 3221222976 134763604 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26594 19563 301 301 0 26293 0
vsize: 106376
[startup+230.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11029
Raw data (stat): 11029 (pb2sat-v2) R 11028 25568 25567 0 -1 0 33249 0 0 0 22938 69 0 0 25 0 1 0 965651185 108929024 19579 4294967295 134512640 135730672 3221224592 3221222880 134747578 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26594 19579 301 301 0 26293 0
vsize: 106376
[startup+240.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11029
Raw data (stat): 11029 (pb2sat-v2) R 11028 25568 25567 0 -1 0 33266 0 0 0 23938 69 0 0 25 0 1 0 965651185 108929024 19596 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26594 19596 301 301 0 26293 0
vsize: 106376
[startup+250.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11029
Raw data (stat): 11029 (pb2sat-v2) R 11028 25568 25567 0 -1 0 33280 0 0 0 24938 69 0 0 25 0 1 0 965651185 108929024 19610 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26594 19610 301 301 0 26293 0
vsize: 106376
[startup+260.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11029
Raw data (stat): 11029 (pb2sat-v2) R 11028 25568 25567 0 -1 0 33302 0 0 0 25938 69 0 0 25 0 1 0 965651185 108929024 19632 4294967295 134512640 135730672 3221224592 3221223040 134734761 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26594 19632 301 301 0 26293 0
vsize: 106376
[startup+270.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11029
Raw data (stat): 11029 (pb2sat-v2) R 11028 25568 25567 0 -1 0 33322 0 0 0 26938 70 0 0 25 0 1 0 965651185 108929024 19652 4294967295 134512640 135730672 3221224592 3221222704 134732479 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26594 19652 301 301 0 26293 0
vsize: 106376
[startup+280.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11029
Raw data (stat): 11029 (pb2sat-v2) R 11028 25568 25567 0 -1 0 33340 0 0 0 27938 70 0 0 25 0 1 0 965651185 108929024 19670 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26594 19670 301 301 0 26293 0
vsize: 106376
[startup+290.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11029
Raw data (stat): 11029 (pb2sat-v2) R 11028 25568 25567 0 -1 0 33363 0 0 0 28939 70 0 0 25 0 1 0 965651185 108929024 19693 4294967295 134512640 135730672 3221224592 3221223040 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26594 19693 301 301 0 26293 0
vsize: 106376
[startup+300.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11029
Raw data (stat): 11029 (pb2sat-v2) R 11028 25568 25567 0 -1 0 34250 0 0 0 29937 72 0 0 25 0 1 0 965651185 111718400 20186 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27275 20186 301 301 0 26974 0
vsize: 109100
[startup+310.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11029
Raw data (stat): 11029 (pb2sat-v2) R 11028 25568 25567 0 -1 0 34340 0 0 0 30936 73 0 0 25 0 1 0 965651185 112246784 20276 4294967295 134512640 135730672 3221224592 3221222976 134764020 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27404 20276 301 301 0 27103 0
vsize: 109616
[startup+320.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11029
Raw data (stat): 11029 (pb2sat-v2) R 11028 25568 25567 0 -1 0 34474 0 0 0 31936 73 0 0 25 0 1 0 965651185 112508928 20345 4294967295 134512640 135730672 3221224592 3221222880 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27468 20345 301 301 0 27167 0
vsize: 109872
[startup+330.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11029
Raw data (stat): 11029 (pb2sat-v2) R 11028 25568 25567 0 -1 0 34483 0 0 0 32937 73 0 0 25 0 1 0 965651185 112508928 20354 4294967295 134512640 135730672 3221224592 3221222880 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27468 20354 301 301 0 27167 0
vsize: 109872
[startup+340.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11029
Raw data (stat): 11029 (pb2sat-v2) R 11028 25568 25567 0 -1 0 34497 0 0 0 33937 73 0 0 25 0 1 0 965651185 112508928 20368 4294967295 134512640 135730672 3221224592 3221222880 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27468 20368 301 301 0 27167 0
vsize: 109872
[startup+350.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11029
Raw data (stat): 11029 (pb2sat-v2) R 11028 25568 25567 0 -1 0 34508 0 0 0 34937 74 0 0 25 0 1 0 965651185 112508928 20379 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27468 20379 301 301 0 27167 0
vsize: 109872
[startup+360.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11029
Raw data (stat): 11029 (pb2sat-v2) R 11028 25568 25567 0 -1 0 34589 0 0 0 35937 74 0 0 25 0 1 0 965651185 112771072 20395 4294967295 134512640 135730672 3221224592 3221222880 134747808 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27532 20395 301 301 0 27231 0
vsize: 110128
[startup+370.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11029
Raw data (stat): 11029 (pb2sat-v2) R 11028 25568 25567 0 -1 0 34609 0 0 0 36937 74 0 0 25 0 1 0 965651185 112771072 20415 4294967295 134512640 135730672 3221224592 3221222880 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27532 20415 301 301 0 27231 0
vsize: 110128
[startup+380.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11029
Raw data (stat): 11029 (pb2sat-v2) R 11028 25568 25567 0 -1 0 34627 0 0 0 37938 74 0 0 25 0 1 0 965651185 112771072 20433 4294967295 134512640 135730672 3221224592 3221222880 134747599 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27532 20433 301 301 0 27231 0
vsize: 110128
[startup+390.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11029
Raw data (stat): 11029 (pb2sat-v2) R 11028 25568 25567 0 -1 0 34640 0 0 0 38938 74 0 0 25 0 1 0 965651185 112771072 20446 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27532 20446 301 301 0 27231 0
vsize: 110128
[startup+400.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11029
Raw data (stat): 11029 (pb2sat-v2) R 11028 25568 25567 0 -1 0 34655 0 0 0 39938 74 0 0 25 0 1 0 965651185 112771072 20461 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27532 20461 301 301 0 27231 0
vsize: 110128
[startup+410.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11029
Raw data (stat): 11029 (pb2sat-v2) R 11028 25568 25567 0 -1 0 34669 0 0 0 40938 74 0 0 25 0 1 0 965651185 112771072 20475 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27532 20475 301 301 0 27231 0
vsize: 110128
[startup+420.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11029
Raw data (stat): 11029 (pb2sat-v2) R 11028 25568 25567 0 -1 0 35111 0 0 0 41937 76 0 0 25 0 1 0 965651185 114503680 20851 4294967295 134512640 135730672 3221224592 3221222880 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27955 20851 301 301 0 27654 0
vsize: 111820
[startup+430.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11029
Raw data (stat): 11029 (pb2sat-v2) R 11028 25568 25567 0 -1 0 35440 0 0 0 42936 77 0 0 25 0 1 0 965651185 114503680 20854 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27955 20854 301 301 0 27654 0
vsize: 111820
[startup+440.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11029
Raw data (stat): 11029 (pb2sat-v2) R 11028 25568 25567 0 -1 0 35498 0 0 0 43936 77 0 0 25 0 1 0 965651185 114774016 20912 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 28021 20912 301 301 0 27720 0
vsize: 112084
[startup+450.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11029
Raw data (stat): 11029 (pb2sat-v2) R 11028 25568 25567 0 -1 0 35509 0 0 0 44937 77 0 0 25 0 1 0 965651185 114774016 20923 4294967295 134512640 135730672 3221224592 3221222960 134764106 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 28021 20923 301 301 0 27720 0
vsize: 112084
[startup+460.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11029
Raw data (stat): 11029 (pb2sat-v2) R 11028 25568 25567 0 -1 0 35844 0 0 0 45936 78 0 0 25 0 1 0 965651185 114774016 20932 4294967295 134512640 135730672 3221224592 3221223040 134734824 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 28021 20932 301 301 0 27720 0
vsize: 112084
[startup+470.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11029
Raw data (stat): 11029 (pb2sat-v2) R 11028 25568 25567 0 -1 0 35846 0 0 0 46937 78 0 0 25 0 1 0 965651185 114774016 20934 4294967295 134512640 135730672 3221224592 3221222988 134747440 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 28021 20934 301 301 0 27720 0
vsize: 112084
[startup+480.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11029
Raw data (stat): 11029 (pb2sat-v2) R 11028 25568 25567 0 -1 0 35857 0 0 0 47937 78 0 0 25 0 1 0 965651185 114774016 20945 4294967295 134512640 135730672 3221224592 3221223036 134748060 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 28021 20945 301 301 0 27720 0
vsize: 112084
[startup+490.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11029
Raw data (stat): 11029 (pb2sat-v2) R 11028 25568 25567 0 -1 0 35861 0 0 0 48937 78 0 0 25 0 1 0 965651185 114774016 20949 4294967295 134512640 135730672 3221224592 3221222880 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 28021 20949 301 301 0 27720 0
vsize: 112084
[startup+500.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11029
Raw data (stat): 11029 (pb2sat-v2) R 11028 25568 25567 0 -1 0 36187 0 0 0 49936 79 0 0 25 0 1 0 965651185 114774016 20949 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 28021 20949 301 301 0 27720 0
vsize: 112084
[startup+510.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11029
Raw data (stat): 11029 (pb2sat-v2) R 11028 25568 25567 0 -1 0 36189 0 0 0 50937 79 0 0 25 0 1 0 965651185 114774016 20951 4294967295 134512640 135730672 3221224592 3221222880 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 28021 20951 301 301 0 27720 0
vsize: 112084
[startup+520.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11029
Raw data (stat): 11029 (pb2sat-v2) R 11028 25568 25567 0 -1 0 36190 0 0 0 51937 80 0 0 25 0 1 0 965651185 114774016 20952 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 28021 20952 301 301 0 27720 0
vsize: 112084
[startup+530.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11029
Raw data (stat): 11029 (pb2sat-v2) R 11028 25568 25567 0 -1 0 36191 0 0 0 52937 80 0 0 25 0 1 0 965651185 114774016 20953 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 28021 20953 301 301 0 27720 0
vsize: 112084
[startup+540.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11029
Raw data (stat): 11029 (pb2sat-v2) R 11028 25568 25567 0 -1 0 36518 0 0 0 53936 81 0 0 25 0 1 0 965651185 114774016 20954 4294967295 134512640 135730672 3221224592 3221222880 134747837 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 28021 20954 301 301 0 27720 0
vsize: 112084
[startup+550.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11029
Raw data (stat): 11029 (pb2sat-v2) R 11028 25568 25567 0 -1 0 36518 0 0 0 54936 81 0 0 25 0 1 0 965651185 114774016 20954 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 28021 20954 301 301 0 27720 0
vsize: 112084
[startup+560.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11029
Raw data (stat): 11029 (pb2sat-v2) R 11028 25568 25567 0 -1 0 36520 0 0 0 55936 81 0 0 25 0 1 0 965651185 114774016 20956 4294967295 134512640 135730672 3221224592 3221222880 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 28021 20956 301 301 0 27720 0
vsize: 112084
[startup+570.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11029
Raw data (stat): 11029 (pb2sat-v2) R 11028 25568 25567 0 -1 0 36521 0 0 0 56937 81 0 0 25 0 1 0 965651185 114774016 20957 4294967295 134512640 135730672 3221224592 3221222976 134763590 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 28021 20957 301 301 0 27720 0
vsize: 112084
[startup+580.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11029
Raw data (stat): 11029 (pb2sat-v2) R 11028 25568 25567 0 -1 0 36522 0 0 0 57937 81 0 0 25 0 1 0 965651185 114774016 20958 4294967295 134512640 135730672 3221224592 3221222880 134747662 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 28021 20958 301 301 0 27720 0
vsize: 112084
[startup+590.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11029
Raw data (stat): 11029 (pb2sat-v2) R 11028 25568 25567 0 -1 0 36849 0 0 0 58936 83 0 0 25 0 1 0 965651185 114774016 20959 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 28021 20959 301 301 0 27720 0
vsize: 112084
[startup+600.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11029
Raw data (stat): 11029 (pb2sat-v2) R 11028 25568 25567 0 -1 0 36850 0 0 0 59937 83 0 0 25 0 1 0 965651185 114774016 20960 4294967295 134512640 135730672 3221224592 3221223072 134748449 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 28021 20960 301 301 0 27720 0
vsize: 112084
[startup+610.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11029
Raw data (stat): 11029 (pb2sat-v2) R 11028 25568 25567 0 -1 0 36851 0 0 0 60937 83 0 0 25 0 1 0 965651185 114774016 20961 4294967295 134512640 135730672 3221224592 3221222880 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 28021 20961 301 301 0 27720 0
vsize: 112084
[startup+620.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11029
Raw data (stat): 11029 (pb2sat-v2) R 11028 25568 25567 0 -1 0 36852 0 0 0 61937 83 0 0 25 0 1 0 965651185 114774016 20962 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 28021 20962 301 301 0 27720 0
vsize: 112084
[startup+630.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11029
Raw data (stat): 11029 (pb2sat-v2) R 11028 25568 25567 0 -1 0 37180 0 0 0 62936 84 0 0 25 0 1 0 965651185 114774016 20964 4294967295 134512640 135730672 3221224592 3221222880 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 28021 20964 301 301 0 27720 0
vsize: 112084
[startup+640.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11029
Raw data (stat): 11029 (pb2sat-v2) R 11028 25568 25567 0 -1 0 37181 0 0 0 63936 84 0 0 25 0 1 0 965651185 114774016 20965 4294967295 134512640 135730672 3221224592 3221223004 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 28021 20965 301 301 0 27720 0
vsize: 112084
[startup+650.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11029
Raw data (stat): 11029 (pb2sat-v2) R 11028 25568 25567 0 -1 0 37259 0 0 0 64936 84 0 0 25 0 1 0 965651185 115040256 21010 4294967295 134512640 135730672 3221224592 3221222880 134747823 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 28086 21010 301 301 0 27785 0
vsize: 112344
[startup+660.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11029
Raw data (stat): 11029 (pb2sat-v2) R 11028 25568 25567 0 -1 0 37586 0 0 0 65936 86 0 0 25 0 1 0 965651185 115040256 21011 4294967295 134512640 135730672 3221224592 3221222624 135282219 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 28086 21011 301 301 0 27785 0
vsize: 112344
[startup+670.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11029
Raw data (stat): 11029 (pb2sat-v2) R 11028 25568 25567 0 -1 0 37592 0 0 0 66936 86 0 0 25 0 1 0 965651185 115040256 21017 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 28086 21017 301 301 0 27785 0
vsize: 112344
[startup+680.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11029
Raw data (stat): 11029 (pb2sat-v2) R 11028 25568 25567 0 -1 0 37593 0 0 0 67936 86 0 0 25 0 1 0 965651185 115040256 21018 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 28086 21018 301 301 0 27785 0
vsize: 112344
[startup+690.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11029
Raw data (stat): 11029 (pb2sat-v2) R 11028 25568 25567 0 -1 0 37594 0 0 0 68936 86 0 0 25 0 1 0 965651185 115040256 21019 4294967295 134512640 135730672 3221224592 3221222976 134764022 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 28086 21019 301 301 0 27785 0
vsize: 112344
[startup+700.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11029
Raw data (stat): 11029 (pb2sat-v2) R 11028 25568 25567 0 -1 0 37595 0 0 0 69937 86 0 0 25 0 1 0 965651185 115040256 21020 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 28086 21020 301 301 0 27785 0
vsize: 112344
[startup+710.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11029
Raw data (stat): 11029 (pb2sat-v2) R 11028 25568 25567 0 -1 0 38210 0 0 0 70936 88 0 0 25 0 1 0 965651185 116244480 21210 4294967295 134512640 135730672 3221224592 3221222880 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 28380 21210 301 301 0 28079 0
vsize: 113520
[startup+720.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11029
Raw data (stat): 11029 (pb2sat-v2) R 11028 25568 25567 0 -1 0 38312 0 0 0 71936 88 0 0 25 0 1 0 965651185 116641792 21279 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 28477 21279 301 301 0 28176 0
vsize: 113908
[startup+730.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11029
Raw data (stat): 11029 (pb2sat-v2) R 11028 25568 25567 0 -1 0 38313 0 0 0 72936 88 0 0 25 0 1 0 965651185 116641792 21280 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 28477 21280 301 301 0 28176 0
vsize: 113908
[startup+740.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11029
Raw data (stat): 11029 (pb2sat-v2) R 11028 25568 25567 0 -1 0 38314 0 0 0 73936 88 0 0 25 0 1 0 965651185 116641792 21281 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 28477 21281 301 301 0 28176 0
vsize: 113908
[startup+750.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11029
Raw data (stat): 11029 (pb2sat-v2) R 11028 25568 25567 0 -1 0 38314 0 0 0 74937 88 0 0 25 0 1 0 965651185 116641792 21281 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 28477 21281 301 301 0 28176 0
vsize: 113908
[startup+760.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11029
Raw data (stat): 11029 (pb2sat-v2) R 11028 25568 25567 0 -1 0 38641 0 0 0 75936 89 0 0 25 0 1 0 965651185 116641792 21282 4294967295 134512640 135730672 3221224592 3221223072 134748554 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 28477 21282 301 301 0 28176 0
vsize: 113908
[startup+770.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11029
Raw data (stat): 11029 (pb2sat-v2) R 11028 25568 25567 0 -1 0 38643 0 0 0 76937 89 0 0 25 0 1 0 965651185 116641792 21284 4294967295 134512640 135730672 3221224592 3221222880 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 28477 21284 301 301 0 28176 0
vsize: 113908
[startup+780.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11029
Raw data (stat): 11029 (pb2sat-v2) R 11028 25568 25567 0 -1 0 38644 0 0 0 77937 89 0 0 25 0 1 0 965651185 116641792 21285 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 28477 21285 301 301 0 28176 0
vsize: 113908
[startup+790.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11029
Raw data (stat): 11029 (pb2sat-v2) R 11028 25568 25567 0 -1 0 38971 0 0 0 78936 90 0 0 25 0 1 0 965651185 116641792 21286 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 28477 21286 301 301 0 28176 0
vsize: 113908
[startup+800.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11029
Raw data (stat): 11029 (pb2sat-v2) R 11028 25568 25567 0 -1 0 38972 0 0 0 79936 90 0 0 25 0 1 0 965651185 116641792 21287 4294967295 134512640 135730672 3221224592 3221223040 134734829 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 28477 21287 301 301 0 28176 0
vsize: 113908
[startup+810.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11029
Raw data (stat): 11029 (pb2sat-v2) R 11028 25568 25567 0 -1 0 38973 0 0 0 80937 90 0 0 25 0 1 0 965651185 116641792 21288 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 28477 21288 301 301 0 28176 0
vsize: 113908
[startup+820.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11029
Raw data (stat): 11029 (pb2sat-v2) R 11028 25568 25567 0 -1 0 38974 0 0 0 81937 90 0 0 25 0 1 0 965651185 116641792 21289 4294967295 134512640 135730672 3221224592 3221222880 134747610 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 28477 21289 301 301 0 28176 0
vsize: 113908
[startup+830.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11029
Raw data (stat): 11029 (pb2sat-v2) R 11028 25568 25567 0 -1 0 38975 0 0 0 82937 91 0 0 25 0 1 0 965651185 116641792 21290 4294967295 134512640 135730672 3221224592 3221222880 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 28477 21290 301 301 0 28176 0
vsize: 113908
[startup+840.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11029
Raw data (stat): 11029 (pb2sat-v2) R 11028 25568 25567 0 -1 0 39301 0 0 0 83936 92 0 0 25 0 1 0 965651185 116641792 21290 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 28477 21290 301 301 0 28176 0
vsize: 113908
[startup+850.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11029
Raw data (stat): 11029 (pb2sat-v2) R 11028 25568 25567 0 -1 0 39302 0 0 0 84937 92 0 0 25 0 1 0 965651185 116641792 21291 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 28477 21291 301 301 0 28176 0
vsize: 113908
[startup+860.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11029
Raw data (stat): 11029 (pb2sat-v2) R 11028 25568 25567 0 -1 0 39305 0 0 0 85937 92 0 0 25 0 1 0 965651185 116641792 21294 4294967295 134512640 135730672 3221224592 3221222976 134763604 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 28477 21294 301 301 0 28176 0
vsize: 113908
[startup+870.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11029
Raw data (stat): 11029 (pb2sat-v2) R 11028 25568 25567 0 -1 0 39306 0 0 0 86937 92 0 0 25 0 1 0 965651185 116641792 21295 4294967295 134512640 135730672 3221224592 3221222880 134747657 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 28477 21295 301 301 0 28176 0
vsize: 113908
[startup+880.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11029
Raw data (stat): 11029 (pb2sat-v2) R 11028 25568 25567 0 -1 0 39307 0 0 0 87937 92 0 0 25 0 1 0 965651185 116641792 21296 4294967295 134512640 135730672 3221224592 3221222704 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 28477 21296 301 301 0 28176 0
vsize: 113908
[startup+890.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11029
Raw data (stat): 11029 (pb2sat-v2) R 11028 25568 25567 0 -1 0 39634 0 0 0 88937 93 0 0 25 0 1 0 965651185 116641792 21297 4294967295 134512640 135730672 3221224592 3221222976 134747445 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 28477 21297 301 301 0 28176 0
vsize: 113908
[startup+900.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11029
Raw data (stat): 11029 (pb2sat-v2) R 11028 25568 25567 0 -1 0 39635 0 0 0 89937 93 0 0 25 0 1 0 965651185 116641792 21298 4294967295 134512640 135730672 3221224592 3221222880 134747631 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 28477 21298 301 301 0 28176 0
vsize: 113908
[startup+910.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11029
Raw data (stat): 11029 (pb2sat-v2) R 11028 25568 25567 0 -1 0 39635 0 0 0 90937 93 0 0 25 0 1 0 965651185 116641792 21298 4294967295 134512640 135730672 3221224592 3221222928 134740208 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 28477 21298 301 301 0 28176 0
vsize: 113908
[startup+920.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11029
Raw data (stat): 11029 (pb2sat-v2) R 11028 25568 25567 0 -1 0 39636 0 0 0 91938 93 0 0 25 0 1 0 965651185 116641792 21299 4294967295 134512640 135730672 3221224592 3221222976 134763629 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 28477 21299 301 301 0 28176 0
vsize: 113908
[startup+930.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11029
Raw data (stat): 11029 (pb2sat-v2) R 11028 25568 25567 0 -1 0 39637 0 0 0 92938 93 0 0 25 0 1 0 965651185 116641792 21300 4294967295 134512640 135730672 3221224592 3221222880 134747610 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 28477 21300 301 301 0 28176 0
vsize: 113908
[startup+940.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11029
Raw data (stat): 11029 (pb2sat-v2) R 11028 25568 25567 0 -1 0 39964 0 0 0 93937 94 0 0 25 0 1 0 965651185 116641792 21301 4294967295 134512640 135730672 3221224592 3221222712 134739217 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 28477 21301 301 301 0 28176 0
vsize: 113908
[startup+950.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11029
Raw data (stat): 11029 (pb2sat-v2) R 11028 25568 25567 0 -1 0 39965 0 0 0 94938 94 0 0 25 0 1 0 965651185 116641792 21302 4294967295 134512640 135730672 3221224592 3221222880 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 28477 21302 301 301 0 28176 0
vsize: 113908
[startup+960.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11029
Raw data (stat): 11029 (pb2sat-v2) R 11028 25568 25567 0 -1 0 39966 0 0 0 95938 95 0 0 25 0 1 0 965651185 116641792 21303 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 28477 21303 301 301 0 28176 0
vsize: 113908
[startup+970.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11029
Raw data (stat): 11029 (pb2sat-v2) R 11028 25568 25567 0 -1 0 39966 0 0 0 96938 95 0 0 25 0 1 0 965651185 116641792 21303 4294967295 134512640 135730672 3221224592 3221222880 134747757 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 28477 21303 301 301 0 28176 0
vsize: 113908
[startup+980.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11029
Raw data (stat): 11029 (pb2sat-v2) R 11028 25568 25567 0 -1 0 39967 0 0 0 97938 95 0 0 25 0 1 0 965651185 116641792 21304 4294967295 134512640 135730672 3221224592 3221222896 134746066 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 28477 21304 301 301 0 28176 0
vsize: 113908
[startup+990.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11029
Raw data (stat): 11029 (pb2sat-v2) R 11028 25568 25567 0 -1 0 40306 0 0 0 98938 96 0 0 25 0 1 0 965651185 116641792 21317 4294967295 134512640 135730672 3221224592 3221222880 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 28477 21317 301 301 0 28176 0
vsize: 113908
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11029
Raw data (stat): 11029 (pb2sat-v2) R 11028 25568 25567 0 -1 0 40311 0 0 0 99938 96 0 0 25 0 1 0 965651185 116641792 21322 4294967295 134512640 135730672 3221224592 3221222976 134763604 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 28477 21322 301 301 0 28176 0
vsize: 113908
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11029
Raw data (stat): 11029 (pb2sat-v2) R 11028 25568 25567 0 -1 0 40312 0 0 0 100938 96 0 0 25 0 1 0 965651185 116641792 21323 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 28477 21323 301 301 0 28176 0
vsize: 113908
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11029
Raw data (stat): 11029 (pb2sat-v2) R 11028 25568 25567 0 -1 0 40317 0 0 0 101939 96 0 0 25 0 1 0 965651185 116641792 21328 4294967295 134512640 135730672 3221224592 3221222880 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 28477 21328 301 301 0 28176 0
vsize: 113908
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11029
Raw data (stat): 11029 (pb2sat-v2) R 11028 25568 25567 0 -1 0 40644 0 0 0 102938 97 0 0 25 0 1 0 965651185 116641792 21329 4294967295 134512640 135730672 3221224592 3221222880 134747627 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 28477 21329 301 301 0 28176 0
vsize: 113908
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11029
Raw data (stat): 11029 (pb2sat-v2) R 11028 25568 25567 0 -1 0 40645 0 0 0 103938 97 0 0 25 0 1 0 965651185 116641792 21330 4294967295 134512640 135730672 3221224592 3221222880 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 28477 21330 301 301 0 28176 0
vsize: 113908
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11029
Raw data (stat): 11029 (pb2sat-v2) R 11028 25568 25567 0 -1 0 40646 0 0 0 104939 97 0 0 25 0 1 0 965651185 116641792 21331 4294967295 134512640 135730672 3221224592 3221222976 134763604 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 28477 21331 301 301 0 28176 0
vsize: 113908
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11029
Raw data (stat): 11029 (pb2sat-v2) R 11028 25568 25567 0 -1 0 40647 0 0 0 105939 97 0 0 25 0 1 0 965651185 116641792 21332 4294967295 134512640 135730672 3221224592 3221222880 134747536 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 28477 21332 301 301 0 28176 0
vsize: 113908
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11029
Raw data (stat): 11029 (pb2sat-v2) R 11028 25568 25567 0 -1 0 40974 0 0 0 106938 98 0 0 25 0 1 0 965651185 116641792 21333 4294967295 134512640 135730672 3221224592 3221223040 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 28477 21333 301 301 0 28176 0
vsize: 113908
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11029
Raw data (stat): 11029 (pb2sat-v2) R 11028 25568 25567 0 -1 0 40975 0 0 0 107939 98 0 0 25 0 1 0 965651185 116641792 21334 4294967295 134512640 135730672 3221224592 3221222880 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 28477 21334 301 301 0 28176 0
vsize: 113908
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11029
Raw data (stat): 11029 (pb2sat-v2) R 11028 25568 25567 0 -1 0 40978 0 0 0 108939 98 0 0 25 0 1 0 965651185 116641792 21337 4294967295 134512640 135730672 3221224592 3221223056 134748617 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 28477 21337 301 301 0 28176 0
vsize: 113908
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11029
Raw data (stat): 11029 (pb2sat-v2) R 11028 25568 25567 0 -1 0 40978 0 0 0 109939 99 0 0 25 0 1 0 965651185 116641792 21337 4294967295 134512640 135730672 3221224592 3221223072 134748449 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 28477 21337 301 301 0 28176 0
vsize: 113908
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11029
Raw data (stat): 11029 (pb2sat-v2) R 11028 25568 25567 0 -1 0 40979 0 0 0 110940 99 0 0 25 0 1 0 965651185 116641792 21338 4294967295 134512640 135730672 3221224592 3221222880 134747641 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 28477 21338 301 301 0 28176 0
vsize: 113908
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11029
Raw data (stat): 11029 (pb2sat-v2) R 11028 25568 25567 0 -1 0 41306 0 0 0 111939 99 0 0 25 0 1 0 965651185 116641792 21339 4294967295 134512640 135730672 3221224592 3221222880 134747563 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 28477 21339 301 301 0 28176 0
vsize: 113908
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11029
Raw data (stat): 11029 (pb2sat-v2) R 11028 25568 25567 0 -1 0 41307 0 0 0 112939 100 0 0 25 0 1 0 965651185 116641792 21340 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 28477 21340 301 301 0 28176 0
vsize: 113908
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11029
Raw data (stat): 11029 (pb2sat-v2) R 11028 25568 25567 0 -1 0 41308 0 0 0 113939 100 0 0 25 0 1 0 965651185 116641792 21341 4294967295 134512640 135730672 3221224592 3221222880 134747747 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 28477 21341 301 301 0 28176 0
vsize: 113908
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11029
Raw data (stat): 11029 (pb2sat-v2) R 11028 25568 25567 0 -1 0 41309 0 0 0 114939 100 0 0 25 0 1 0 965651185 116641792 21342 4294967295 134512640 135730672 3221224592 3221223036 134748060 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 28477 21342 301 301 0 28176 0
vsize: 113908
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11029
Raw data (stat): 11029 (pb2sat-v2) R 11028 25568 25567 0 -1 0 41636 0 0 0 115938 102 0 0 25 0 1 0 965651185 116641792 21343 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 28477 21343 301 301 0 28176 0
vsize: 113908
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11029
Raw data (stat): 11029 (pb2sat-v2) R 11028 25568 25567 0 -1 0 41637 0 0 0 116939 102 0 0 25 0 1 0 965651185 116641792 21344 4294967295 134512640 135730672 3221224592 3221222880 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 28477 21344 301 301 0 28176 0
vsize: 113908
[startup+1180.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11029
Raw data (stat): 11029 (pb2sat-v2) R 11028 25568 25567 0 -1 0 41638 0 0 0 117939 102 0 0 25 0 1 0 965651185 116641792 21345 4294967295 134512640 135730672 3221224592 3221222880 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 28477 21345 301 301 0 28176 0
vsize: 113908
[startup+1190.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11029
Raw data (stat): 11029 (pb2sat-v2) R 11028 25568 25567 0 -1 0 41639 0 0 0 118939 102 0 0 25 0 1 0 965651185 116641792 21346 4294967295 134512640 135730672 3221224592 3221222976 134763604 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 28477 21346 301 301 0 28176 0
vsize: 113908
[startup+1200.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11029
Raw data (stat): 11029 (pb2sat-v2) R 11028 25568 25567 0 -1 0 41966 0 0 0 119939 103 0 0 25 0 1 0 965651185 117977088 21673 4294967295 134512640 135730672 3221224592 3221222536 134765483 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 28803 21673 301 301 0 28502 0
vsize: 115212
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.78 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 11029
Raw data (stat): 11029 (pb2sat-v2) Z 11028 25568 25567 0 -1 12 41968 0 0 0 120007 107 0 0 25 0 1 0 965651185 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.77
CPU time (s): 1201.15
CPU user time (s): 1200.08
CPU system time (s): 1.07484
CPU usage (%): 100.032
Max. virtual memory (Kb): 115212
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	332
#### END VERIFIER DATA ####