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-alu4.b.opb
MD5SUM	db06e7fbd4f70a4af68f8f196fdb3636
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	50
Optimality of the best value was proved	NO
Number of terms in the objective function	808
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	808
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	808
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.03884
Number of variables	807
Total number of constraints	1838
Number of constraints which are clauses	1823
Number of constraints which are cardinality constraints (but not clauses)	15
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	98
Trace number 34767

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc10 THE 2005-05-28 10:19:44 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=23987 boxname=wulflinc10 idbench=61 idsolver=17 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  db06e7fbd4f70a4af68f8f196fdb3636  /oldhome/oroussel/tmp/wulflinc10/normalized-alu4.b.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc10/normalized-alu4.b.opb
IDLAUNCH: 23987
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 450.999
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	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 450.999
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:        855520 kB
Buffers:         34164 kB
Cached:         123852 kB
SwapCached:         84 kB
Active:          47436 kB
Inactive:       113228 kB
HighTotal:      131008 kB
HighFree:         3500 kB
LowTotal:       903652 kB
LowFree:        852020 kB
SwapTotal:     2097136 kB
SwapFree:      2096728 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5880 kB
Slab:            12952 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-28 10:39:47 (client local time) WITH STATUS 10 IN 1201.02 SECONDS
stats: 23987 0 1201.02 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: 296
c [startup+30.2444 s]  setting bit 9 to 1

Decision: 310275/328468	Time: 38.9311/86400
Decision: 310275/328468	Time: 64.2712/86400
Decision: 310345/328468	Time: 97.3742/86400
Decision: 310456/328468	Time: 131.502/86400
Decision: 311195/328468	Time: 163.567/86400
Decision: 311195/328468	Time: 198.794/86400
Decision: 311195/328468	Time: 218.773/86400
Decision: 311195/328468	Time: 250.459/86400
Decision: 311243/328468	Time: 278.898/86400
Decision: 311243/328468	Time: 305.987/86400
Decision: 311243/328468	Time: 342.39/86400
Decision: 311243/328468	Time: 375.712/86400
Decision: 311243/328468	Time: 410.841/86400
Decision: 311243/328468	Time: 445.108/86400
Decision: 311243/328468	Time: 477.233/86400
Decision: 311243/328468	Time: 510.203/86400
Decision: 311243/328468	Time: 543.926/86400
Decision: 311819/328468	Time: 590.821/86400
Decision: 311819/328468	Time: 628.151/86400
Decision: 311819/328468	Time: 656.633/86400
Decision: 311819/328468	Time: 686.373/86400
Decision: 311819/328468	Time: 713.547/86400
Decision: 311819/328468	Time: 747.794/86400
Decision: 311819/328468	Time: 778.662/86400
Decision: 311819/328468	Time: 812.033/86400
Decision: 311819/328468	Time: 841.607/86400
Decision: 311819/328468	Time: 866.357/86400
Decision: 311819/328468	Time: 889.784/86400
Decision: 311819/328468	Time: 925.824/86400
Decision: 311819/328468	Time: 957.809/86400
Decision: 311819/328468	Time: 989.052/86400
Decision: 311819/328468	Time: 1021.28/86400
Decision: 311819/328468	Time: 1047.27/86400
Decision: 311819/328468	Time: 1079.56/86400
Decision: 311819/328468	Time: 1114.42/86400
Decision: 311819/328468	Time: 1153.31/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 -x665 x666 -x667 -x668 -x669 x67 -x670 -x671 -x672 -x673 -x674 x675 -x676 -x677 -x678 -x679 x68 -x680 -x681 -x682 x683 x684 -x685 -x686 -x687 -x688 -x689 x69 -x690 -x691 -x692 -x693 -x694 x695 -x696 -x697 -x698 -x699 -x7 x70 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 x71 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 x72 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 x73 -x730 -x731 -x732 -x733 x734 -x735 x736 -x737 -x738 -x739 x74 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 x75 -x750 -x751 -x752 -x753 -x754 -x755 x756 -x757 -x758 x759 x76 -x760 -x761 -x762 -x763 -x764 -x765 x766 x767 x768 x769 -x77 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x78 -x780 -x781 -x782 -x783 -x784 x785 -x786 -x787 -x788 -x789 -x79 -x790 -x791 -x792 x793 -x794 x795 x796 x797 -x798 -x799 -x8 x80 -x800 x801 x802 x803 -x804 -x805 -x806 -x807 -x808 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.88 0.82 0.44 2/54 20998
Raw data (stat): 20998 (runsolver) R 20997 15547 15546 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 805824030 884736 94 4294967295 134512640 135332820 3221224480 3221219660 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0006 s]
Raw data (loadavg): 0.90 0.82 0.44 2/54 20998
Raw data (stat): 20998 (pb2sat) R 20997 15547 15546 0 -1 0 29874 0 0 0 938 61 0 0 25 0 1 0 805824030 89436160 18962 4294967295 134512640 135726644 3221224592 3221080944 134554711 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 21835 18962 300 300 0 21535 0
vsize: 87340
[startup+20.0002 s]
Raw data (loadavg): 0.91 0.83 0.45 2/54 20998
Raw data (stat): 20998 (pb2sat) R 20997 15547 15546 0 -1 0 51965 0 0 0 1894 105 0 0 25 0 1 0 805824030 169136128 29554 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41293 29554 300 300 0 40993 0
vsize: 165172
[startup+30.0011 s]
Raw data (loadavg): 0.93 0.83 0.46 2/54 20998
Raw data (stat): 20998 (pb2sat) R 20997 15547 15546 0 -1 0 51971 0 0 0 2894 106 0 0 25 0 1 0 805824030 169136128 29560 4294967295 134512640 135726644 3221224592 3221223312 134736184 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41293 29560 300 300 0 40993 0
vsize: 165172
[startup+40.0003 s]
Raw data (loadavg): 0.94 0.84 0.46 2/54 20998
Raw data (stat): 20998 (pb2sat) R 20997 15547 15546 0 -1 0 52937 0 0 0 3890 109 0 0 25 0 1 0 805824030 171237376 29884 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41806 29884 300 300 0 41506 0
vsize: 167224
[startup+50.0008 s]
Raw data (loadavg): 0.95 0.84 0.47 2/54 20998
Raw data (stat): 20998 (pb2sat) R 20997 15547 15546 0 -1 0 52943 0 0 0 4890 110 0 0 25 0 1 0 805824030 171237376 29890 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41806 29890 300 300 0 41506 0
vsize: 167224
[startup+60.0008 s]
Raw data (loadavg): 0.95 0.85 0.47 2/54 20998
Raw data (stat): 20998 (pb2sat) R 20997 15547 15546 0 -1 0 52952 0 0 0 5889 110 0 0 25 0 1 0 805824030 171237376 29899 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41806 29899 300 300 0 41506 0
vsize: 167224
[startup+70.001 s]
Raw data (loadavg): 0.96 0.85 0.47 2/54 20998
Raw data (stat): 20998 (pb2sat) R 20997 15547 15546 0 -1 0 53603 0 0 0 6887 112 0 0 25 0 1 0 805824030 171237376 29908 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41806 29908 300 300 0 41506 0
vsize: 167224
[startup+80.002 s]
Raw data (loadavg): 0.97 0.86 0.48 2/54 20998
Raw data (stat): 20998 (pb2sat) R 20997 15547 15546 0 -1 0 53607 0 0 0 7887 113 0 0 25 0 1 0 805824030 171237376 29912 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41806 29912 300 300 0 41506 0
vsize: 167224
[startup+90.0015 s]
Raw data (loadavg): 0.97 0.86 0.48 2/54 20998
Raw data (stat): 20998 (pb2sat) R 20997 15547 15546 0 -1 0 53617 0 0 0 8887 113 0 0 25 0 1 0 805824030 171237376 29922 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41806 29922 300 300 0 41506 0
vsize: 167224
[startup+100.002 s]
Raw data (loadavg): 0.98 0.86 0.49 2/54 20998
Raw data (stat): 20998 (pb2sat) R 20997 15547 15546 0 -1 0 54271 0 0 0 9885 115 0 0 25 0 1 0 805824030 171237376 29934 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41806 29934 300 300 0 41506 0
vsize: 167224
[startup+110.002 s]
Raw data (loadavg): 0.98 0.87 0.49 2/54 20998
Raw data (stat): 20998 (pb2sat) R 20997 15547 15546 0 -1 0 54279 0 0 0 10885 116 0 0 25 0 1 0 805824030 171237376 29942 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41806 29942 300 300 0 41506 0
vsize: 167224
[startup+120.002 s]
Raw data (loadavg): 0.98 0.87 0.50 2/54 20998
Raw data (stat): 20998 (pb2sat) R 20997 15547 15546 0 -1 0 54294 0 0 0 11884 117 0 0 25 0 1 0 805824030 171237376 29957 4294967295 134512640 135726644 3221224592 3221223248 134731258 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41806 29957 300 300 0 41506 0
vsize: 167224
[startup+130.002 s]
Raw data (loadavg): 0.98 0.88 0.50 2/54 20998
Raw data (stat): 20998 (pb2sat) R 20997 15547 15546 0 -1 0 54949 0 0 0 12882 118 0 0 25 0 1 0 805824030 171237376 29970 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41806 29970 300 300 0 41506 0
vsize: 167224
[startup+140.002 s]
Raw data (loadavg): 0.99 0.88 0.51 2/54 20998
Raw data (stat): 20998 (pb2sat) R 20997 15547 15546 0 -1 0 54956 0 0 0 13882 119 0 0 25 0 1 0 805824030 171237376 29977 4294967295 134512640 135726644 3221224592 3221223248 134731251 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41806 29977 300 300 0 41506 0
vsize: 167224
[startup+150.004 s]
Raw data (loadavg): 0.99 0.88 0.51 2/54 20998
Raw data (stat): 20998 (pb2sat) R 20997 15547 15546 0 -1 0 54970 0 0 0 14882 119 0 0 25 0 1 0 805824030 171237376 29991 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41806 29991 300 300 0 41506 0
vsize: 167224
[startup+160.004 s]
Raw data (loadavg): 0.99 0.89 0.52 2/54 20998
Raw data (stat): 20998 (pb2sat) R 20997 15547 15546 0 -1 0 54982 0 0 0 15881 120 0 0 25 0 1 0 805824030 171237376 30003 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41806 30003 300 300 0 41506 0
vsize: 167224
[startup+170.004 s]
Raw data (loadavg): 0.99 0.89 0.52 2/54 20998
Raw data (stat): 20998 (pb2sat) R 20997 15547 15546 0 -1 0 55633 0 0 0 16879 122 0 0 25 0 1 0 805824030 171237376 30012 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41806 30012 300 300 0 41506 0
vsize: 167224
[startup+180.004 s]
Raw data (loadavg): 0.99 0.89 0.53 2/54 20998
Raw data (stat): 20998 (pb2sat) R 20997 15547 15546 0 -1 0 55646 0 0 0 17879 122 0 0 25 0 1 0 805824030 171237376 30025 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41806 30025 300 300 0 41506 0
vsize: 167224
[startup+190.004 s]
Raw data (loadavg): 0.99 0.90 0.53 2/54 20998
Raw data (stat): 20998 (pb2sat) R 20997 15547 15546 0 -1 0 55658 0 0 0 18878 123 0 0 25 0 1 0 805824030 171237376 30037 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41806 30037 300 300 0 41506 0
vsize: 167224
[startup+200.005 s]
Raw data (loadavg): 0.99 0.90 0.54 2/54 20998
Raw data (stat): 20998 (pb2sat) R 20997 15547 15546 0 -1 0 56308 0 0 0 19876 125 0 0 25 0 1 0 805824030 171237376 30045 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41806 30045 300 300 0 41506 0
vsize: 167224
[startup+210.005 s]
Raw data (loadavg): 0.99 0.90 0.54 2/54 20998
Raw data (stat): 20998 (pb2sat) R 20997 15547 15546 0 -1 0 56315 0 0 0 20876 125 0 0 25 0 1 0 805824030 171237376 30052 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41806 30052 300 300 0 41506 0
vsize: 167224
[startup+220.005 s]
Raw data (loadavg): 0.99 0.90 0.55 2/54 20998
Raw data (stat): 20998 (pb2sat) R 20997 15547 15546 0 -1 0 56324 0 0 0 21876 126 0 0 25 0 1 0 805824030 171237376 30061 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41806 30061 300 300 0 41506 0
vsize: 167224
[startup+230.005 s]
Raw data (loadavg): 0.99 0.91 0.55 2/54 20998
Raw data (stat): 20998 (pb2sat) R 20997 15547 15546 0 -1 0 56974 0 0 0 22873 129 0 0 25 0 1 0 805824030 171237376 30069 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41806 30069 300 300 0 41506 0
vsize: 167224
[startup+240.005 s]
Raw data (loadavg): 0.99 0.91 0.56 2/54 20998
Raw data (stat): 20998 (pb2sat) R 20997 15547 15546 0 -1 0 56976 0 0 0 23873 129 0 0 25 0 1 0 805824030 171237376 30071 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41806 30071 300 300 0 41506 0
vsize: 167224
[startup+250.005 s]
Raw data (loadavg): 0.99 0.91 0.56 2/54 20998
Raw data (stat): 20998 (pb2sat) R 20997 15547 15546 0 -1 0 57620 0 0 0 24871 131 0 0 25 0 1 0 805824030 171237376 30073 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41806 30073 300 300 0 41506 0
vsize: 167224
[startup+260.006 s]
Raw data (loadavg): 0.99 0.91 0.56 2/54 20998
Raw data (stat): 20998 (pb2sat) R 20997 15547 15546 0 -1 0 57627 0 0 0 25871 131 0 0 25 0 1 0 805824030 171237376 30080 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41806 30080 300 300 0 41506 0
vsize: 167224
[startup+270.006 s]
Raw data (loadavg): 0.99 0.92 0.57 2/54 20998
Raw data (stat): 20998 (pb2sat) R 20997 15547 15546 0 -1 0 57635 0 0 0 26870 132 0 0 25 0 1 0 805824030 171237376 30088 4294967295 134512640 135726644 3221224592 3221223088 134744153 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41806 30088 300 300 0 41506 0
vsize: 167224
[startup+280.006 s]
Raw data (loadavg): 0.99 0.92 0.57 2/54 20998
Raw data (stat): 20998 (pb2sat) R 20997 15547 15546 0 -1 0 57644 0 0 0 27869 133 0 0 25 0 1 0 805824030 171237376 30097 4294967295 134512640 135726644 3221224592 3221223104 134742482 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41806 30097 300 300 0 41506 0
vsize: 167224
[startup+290.006 s]
Raw data (loadavg): 0.99 0.92 0.58 2/54 20998
Raw data (stat): 20998 (pb2sat) R 20997 15547 15546 0 -1 0 58298 0 0 0 28867 135 0 0 25 0 1 0 805824030 171237376 30109 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41806 30109 300 300 0 41506 0
vsize: 167224
[startup+300.007 s]
Raw data (loadavg): 0.99 0.92 0.58 2/54 20998
Raw data (stat): 20998 (pb2sat) R 20997 15547 15546 0 -1 0 58313 0 0 0 29867 136 0 0 25 0 1 0 805824030 171237376 30124 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41806 30124 300 300 0 41506 0
vsize: 167224
[startup+310.008 s]
Raw data (loadavg): 0.99 0.92 0.58 2/54 20998
Raw data (stat): 20998 (pb2sat) R 20997 15547 15546 0 -1 0 58964 0 0 0 30865 138 0 0 25 0 1 0 805824030 171237376 30133 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41806 30133 300 300 0 41506 0
vsize: 167224
[startup+320.007 s]
Raw data (loadavg): 0.99 0.93 0.59 2/54 20998
Raw data (stat): 20998 (pb2sat) R 20997 15547 15546 0 -1 0 58975 0 0 0 31864 139 0 0 25 0 1 0 805824030 171237376 30144 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41806 30144 300 300 0 41506 0
vsize: 167224
[startup+330.008 s]
Raw data (loadavg): 0.99 0.93 0.59 2/54 20998
Raw data (stat): 20998 (pb2sat) R 20997 15547 15546 0 -1 0 58984 0 0 0 32863 140 0 0 25 0 1 0 805824030 171237376 30153 4294967295 134512640 135726644 3221224592 3221223088 134744113 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41806 30153 300 300 0 41506 0
vsize: 167224
[startup+340.007 s]
Raw data (loadavg): 0.99 0.93 0.59 2/54 20998
Raw data (stat): 20998 (pb2sat) R 20997 15547 15546 0 -1 0 59634 0 0 0 33861 142 0 0 25 0 1 0 805824030 171237376 30161 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41806 30161 300 300 0 41506 0
vsize: 167224
[startup+350.008 s]
Raw data (loadavg): 0.99 0.93 0.60 2/54 20998
Raw data (stat): 20998 (pb2sat) R 20997 15547 15546 0 -1 0 59645 0 0 0 34861 142 0 0 25 0 1 0 805824030 171237376 30172 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41806 30172 300 300 0 41506 0
vsize: 167224
[startup+360.009 s]
Raw data (loadavg): 0.99 0.93 0.60 2/54 20998
Raw data (stat): 20998 (pb2sat) R 20997 15547 15546 0 -1 0 59653 0 0 0 35861 142 0 0 25 0 1 0 805824030 171237376 30180 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41806 30180 300 300 0 41506 0
vsize: 167224
[startup+370.008 s]
Raw data (loadavg): 0.99 0.94 0.61 2/54 20998
Raw data (stat): 20998 (pb2sat) R 20997 15547 15546 0 -1 0 59663 0 0 0 36860 143 0 0 25 0 1 0 805824030 171237376 30190 4294967295 134512640 135726644 3221224592 3221223088 134744009 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41806 30190 300 300 0 41506 0
vsize: 167224
[startup+380.008 s]
Raw data (loadavg): 0.99 0.94 0.61 2/54 20998
Raw data (stat): 20998 (pb2sat) R 20997 15547 15546 0 -1 0 60306 0 0 0 37858 146 0 0 25 0 1 0 805824030 171237376 30191 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41806 30191 300 300 0 41506 0
vsize: 167224
[startup+390.007 s]
Raw data (loadavg): 0.99 0.94 0.61 2/54 20998
Raw data (stat): 20998 (pb2sat) R 20997 15547 15546 0 -1 0 60307 0 0 0 38857 146 0 0 25 0 1 0 805824030 171237376 30192 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41806 30192 300 300 0 41506 0
vsize: 167224
[startup+400.008 s]
Raw data (loadavg): 0.99 0.94 0.62 2/54 20998
Raw data (stat): 20998 (pb2sat) R 20997 15547 15546 0 -1 0 60309 0 0 0 39857 147 0 0 25 0 1 0 805824030 171237376 30194 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41806 30194 300 300 0 41506 0
vsize: 167224
[startup+410.007 s]
Raw data (loadavg): 0.99 0.94 0.62 2/54 20998
Raw data (stat): 20998 (pb2sat) R 20997 15547 15546 0 -1 0 60952 0 0 0 40855 149 0 0 25 0 1 0 805824030 171237376 30195 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41806 30195 300 300 0 41506 0
vsize: 167224
[startup+420.007 s]
Raw data (loadavg): 0.99 0.94 0.63 2/54 20998
Raw data (stat): 20998 (pb2sat) R 20997 15547 15546 0 -1 0 60953 0 0 0 41855 149 0 0 25 0 1 0 805824030 171237376 30196 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41806 30196 300 300 0 41506 0
vsize: 167224
[startup+430.007 s]
Raw data (loadavg): 0.99 0.94 0.63 2/54 20998
Raw data (stat): 20998 (pb2sat) R 20997 15547 15546 0 -1 0 60955 0 0 0 42855 150 0 0 25 0 1 0 805824030 171237376 30198 4294967295 134512640 135726644 3221224592 3221223088 134743975 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41806 30198 300 300 0 41506 0
vsize: 167224
[startup+440.007 s]
Raw data (loadavg): 0.99 0.95 0.63 2/54 20998
Raw data (stat): 20998 (pb2sat) R 20997 15547 15546 0 -1 0 60956 0 0 0 43855 150 0 0 25 0 1 0 805824030 171237376 30199 4294967295 134512640 135726644 3221224592 3221223104 134742899 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41806 30199 300 300 0 41506 0
vsize: 167224
[startup+450.008 s]
Raw data (loadavg): 0.99 0.95 0.64 2/54 20998
Raw data (stat): 20998 (pb2sat) R 20997 15547 15546 0 -1 0 61598 0 0 0 44853 151 0 0 25 0 1 0 805824030 171237376 30199 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41806 30199 300 300 0 41506 0
vsize: 167224
[startup+460.008 s]
Raw data (loadavg): 0.99 0.95 0.64 2/54 20998
Raw data (stat): 20998 (pb2sat) R 20997 15547 15546 0 -1 0 61600 0 0 0 45854 152 0 0 25 0 1 0 805824030 171237376 30201 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41806 30201 300 300 0 41506 0
vsize: 167224
[startup+470.007 s]
Raw data (loadavg): 0.99 0.95 0.64 2/54 20998
Raw data (stat): 20998 (pb2sat) R 20997 15547 15546 0 -1 0 61601 0 0 0 46853 152 0 0 25 0 1 0 805824030 171237376 30202 4294967295 134512640 135726644 3221224592 3221223136 134736624 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41806 30202 300 300 0 41506 0
vsize: 167224
[startup+480.007 s]
Raw data (loadavg): 0.99 0.95 0.65 2/54 20998
Raw data (stat): 20998 (pb2sat) R 20997 15547 15546 0 -1 0 62244 0 0 0 47852 153 0 0 25 0 1 0 805824030 171237376 30203 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41806 30203 300 300 0 41506 0
vsize: 167224
[startup+490.008 s]
Raw data (loadavg): 0.99 0.95 0.65 2/54 20998
Raw data (stat): 20998 (pb2sat) R 20997 15547 15546 0 -1 0 62245 0 0 0 48852 154 0 0 25 0 1 0 805824030 171237376 30204 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41806 30204 300 300 0 41506 0
vsize: 167224
[startup+500.008 s]
Raw data (loadavg): 0.99 0.95 0.65 2/54 20998
Raw data (stat): 20998 (pb2sat) R 20997 15547 15546 0 -1 0 62256 0 0 0 49852 154 0 0 25 0 1 0 805824030 171237376 30215 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41806 30215 300 300 0 41506 0
vsize: 167224
[startup+510.009 s]
Raw data (loadavg): 0.99 0.95 0.66 2/54 20998
Raw data (stat): 20998 (pb2sat) R 20997 15547 15546 0 -1 0 62907 0 0 0 50851 155 0 0 25 0 1 0 805824030 171237376 30224 4294967295 134512640 135726644 3221224592 3221223088 134743999 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41806 30224 300 300 0 41506 0
vsize: 167224
[startup+520.008 s]
Raw data (loadavg): 0.99 0.95 0.66 2/54 20998
Raw data (stat): 20998 (pb2sat) R 20997 15547 15546 0 -1 0 62914 0 0 0 51850 156 0 0 25 0 1 0 805824030 171237376 30231 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41806 30231 300 300 0 41506 0
vsize: 167224
[startup+530.008 s]
Raw data (loadavg): 0.99 0.95 0.66 2/54 20998
Raw data (stat): 20998 (pb2sat) R 20997 15547 15546 0 -1 0 62927 0 0 0 52850 156 0 0 25 0 1 0 805824030 171237376 30244 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41806 30244 300 300 0 41506 0
vsize: 167224
[startup+540.008 s]
Raw data (loadavg): 0.99 0.96 0.66 2/54 20998
Raw data (stat): 20998 (pb2sat) R 20997 15547 15546 0 -1 0 63576 0 0 0 53849 158 0 0 25 0 1 0 805824030 171237376 30251 4294967295 134512640 135726644 3221224592 3221223216 134779717 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41806 30251 300 300 0 41506 0
vsize: 167224
[startup+550.008 s]
Raw data (loadavg): 0.99 0.96 0.67 2/54 20998
Raw data (stat): 20998 (pb2sat) R 20997 15547 15546 0 -1 0 63577 0 0 0 54849 158 0 0 25 0 1 0 805824030 171237376 30252 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41806 30252 300 300 0 41506 0
vsize: 167224
[startup+560.008 s]
Raw data (loadavg): 0.99 0.96 0.67 2/54 20998
Raw data (stat): 20998 (pb2sat) R 20997 15547 15546 0 -1 0 63578 0 0 0 55849 158 0 0 25 0 1 0 805824030 171237376 30253 4294967295 134512640 135726644 3221224592 3221223280 134744911 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41806 30253 300 300 0 41506 0
vsize: 167224
[startup+570.007 s]
Raw data (loadavg): 0.99 0.96 0.67 2/54 20998
Raw data (stat): 20998 (pb2sat) R 20997 15547 15546 0 -1 0 63579 0 0 0 56849 158 0 0 25 0 1 0 805824030 171237376 30254 4294967295 134512640 135726644 3221224592 3221223216 134744520 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41806 30254 300 300 0 41506 0
vsize: 167224
[startup+580.008 s]
Raw data (loadavg): 0.99 0.96 0.68 2/54 20998
Raw data (stat): 20998 (pb2sat) R 20997 15547 15546 0 -1 0 64223 0 0 0 57847 161 0 0 25 0 1 0 805824030 171237376 30256 4294967295 134512640 135726644 3221224592 3221223248 134731185 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41806 30256 300 300 0 41506 0
vsize: 167224
[startup+590.007 s]
Raw data (loadavg): 0.99 0.96 0.68 2/54 20998
Raw data (stat): 20998 (pb2sat) R 20997 15547 15546 0 -1 0 64225 0 0 0 58847 161 0 0 25 0 1 0 805824030 171237376 30258 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41806 30258 300 300 0 41506 0
vsize: 167224
[startup+600.008 s]
Raw data (loadavg): 0.99 0.96 0.68 2/54 20998
Raw data (stat): 20998 (pb2sat) R 20997 15547 15546 0 -1 0 64226 0 0 0 59847 161 0 0 25 0 1 0 805824030 171237376 30259 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41806 30259 300 300 0 41506 0
vsize: 167224
[startup+610.008 s]
Raw data (loadavg): 0.99 0.96 0.68 2/54 20998
Raw data (stat): 20998 (pb2sat) R 20997 15547 15546 0 -1 0 64230 0 0 0 60847 161 0 0 25 0 1 0 805824030 171237376 30263 4294967295 134512640 135726644 3221224592 3221223216 134744659 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41806 30263 300 300 0 41506 0
vsize: 167224
[startup+620.008 s]
Raw data (loadavg): 0.99 0.96 0.69 2/54 20998
Raw data (stat): 20998 (pb2sat) R 20997 15547 15546 0 -1 0 64240 0 0 0 61846 162 0 0 25 0 1 0 805824030 171237376 30273 4294967295 134512640 135726644 3221224592 3221223104 134742276 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41806 30273 300 300 0 41506 0
vsize: 167224
[startup+630.009 s]
Raw data (loadavg): 0.99 0.96 0.69 2/54 20998
Raw data (stat): 20998 (pb2sat) R 20997 15547 15546 0 -1 0 64888 0 0 0 62845 163 0 0 25 0 1 0 805824030 171237376 30279 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41806 30279 300 300 0 41506 0
vsize: 167224
[startup+640.009 s]
Raw data (loadavg): 0.99 0.97 0.69 2/54 20998
Raw data (stat): 20998 (pb2sat) R 20997 15547 15546 0 -1 0 64895 0 0 0 63845 163 0 0 25 0 1 0 805824030 171237376 30286 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41806 30286 300 300 0 41506 0
vsize: 167224
[startup+650.01 s]
Raw data (loadavg): 0.99 0.97 0.70 2/54 20998
Raw data (stat): 20998 (pb2sat) R 20997 15547 15546 0 -1 0 64905 0 0 0 64845 164 0 0 25 0 1 0 805824030 171237376 30296 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41806 30296 300 300 0 41506 0
vsize: 167224
[startup+660.133 s]
Raw data (loadavg): 1.07 0.98 0.70 2/54 20998
Raw data (stat): 20998 (pb2sat) R 20997 15547 15546 0 -1 0 65555 0 0 0 65851 166 0 0 25 0 1 0 805824030 171237376 30304 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41806 30304 300 300 0 41506 0
vsize: 167224
[startup+670.184 s]
Raw data (loadavg): 1.06 0.98 0.71 2/54 20998
Raw data (stat): 20998 (pb2sat) R 20997 15547 15546 0 -1 0 65567 0 0 0 66855 166 0 0 25 0 1 0 805824030 171237376 30316 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41806 30316 300 300 0 41506 0
vsize: 167224
[startup+680.184 s]
Raw data (loadavg): 1.05 0.98 0.71 2/54 20998
Raw data (stat): 20998 (pb2sat) R 20997 15547 15546 0 -1 0 65577 0 0 0 67855 166 0 0 25 0 1 0 805824030 171237376 30326 4294967295 134512640 135726644 3221224592 3221223088 134743982 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41806 30326 300 300 0 41506 0
vsize: 167224
[startup+690.184 s]
Raw data (loadavg): 1.04 0.98 0.71 2/54 20998
Raw data (stat): 20998 (pb2sat) R 20997 15547 15546 0 -1 0 66227 0 0 0 68853 168 0 0 25 0 1 0 805824030 171237376 30334 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41806 30334 300 300 0 41506 0
vsize: 167224
[startup+700.184 s]
Raw data (loadavg): 1.03 0.98 0.72 2/54 20998
Raw data (stat): 20998 (pb2sat) R 20997 15547 15546 0 -1 0 66237 0 0 0 69854 168 0 0 25 0 1 0 805824030 171237376 30344 4294967295 134512640 135726644 3221224592 3221223184 134760424 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41806 30344 300 300 0 41506 0
vsize: 167224
[startup+710.184 s]
Raw data (loadavg): 1.03 0.98 0.72 2/54 20998
Raw data (stat): 20998 (pb2sat) R 20997 15547 15546 0 -1 0 66247 0 0 0 70854 169 0 0 25 0 1 0 805824030 171237376 30354 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41806 30354 300 300 0 41506 0
vsize: 167224
[startup+720.184 s]
Raw data (loadavg): 1.02 0.98 0.72 2/54 20998
Raw data (stat): 20998 (pb2sat) R 20997 15547 15546 0 -1 0 66895 0 0 0 71852 170 0 0 25 0 1 0 805824030 171237376 30360 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41806 30360 300 300 0 41506 0
vsize: 167224
[startup+730.184 s]
Raw data (loadavg): 1.02 0.98 0.72 2/54 20998
Raw data (stat): 20998 (pb2sat) R 20997 15547 15546 0 -1 0 66897 0 0 0 72852 170 0 0 25 0 1 0 805824030 171237376 30362 4294967295 134512640 135726644 3221224592 3221223088 134743999 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41806 30362 300 300 0 41506 0
vsize: 167224
[startup+740.184 s]
Raw data (loadavg): 1.02 0.98 0.73 2/54 20998
Raw data (stat): 20998 (pb2sat) R 20997 15547 15546 0 -1 0 66899 0 0 0 73852 171 0 0 25 0 1 0 805824030 171237376 30364 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41806 30364 300 300 0 41506 0
vsize: 167224
[startup+750.209 s]
Raw data (loadavg): 1.01 0.98 0.73 2/54 20998
Raw data (stat): 20998 (pb2sat) R 20997 15547 15546 0 -1 0 67542 0 0 0 74853 173 0 0 25 0 1 0 805824030 171237376 30365 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41806 30365 300 300 0 41506 0
vsize: 167224
[startup+760.209 s]
Raw data (loadavg): 1.01 0.98 0.73 2/54 20998
Raw data (stat): 20998 (pb2sat) R 20997 15547 15546 0 -1 0 67543 0 0 0 75852 174 0 0 25 0 1 0 805824030 171237376 30366 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41806 30366 300 300 0 41506 0
vsize: 167224
[startup+770.209 s]
Raw data (loadavg): 1.01 0.98 0.73 2/54 20998
Raw data (stat): 20998 (pb2sat) R 20997 15547 15546 0 -1 0 67544 0 0 0 76852 174 0 0 25 0 1 0 805824030 171237376 30367 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41806 30367 300 300 0 41506 0
vsize: 167224
[startup+780.209 s]
Raw data (loadavg): 1.01 0.98 0.74 2/54 20998
Raw data (stat): 20998 (pb2sat) R 20997 15547 15546 0 -1 0 68187 0 0 0 77851 175 0 0 25 0 1 0 805824030 171237376 30368 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41806 30368 300 300 0 41506 0
vsize: 167224
[startup+790.208 s]
Raw data (loadavg): 1.00 0.98 0.74 2/54 20998
Raw data (stat): 20998 (pb2sat) R 20997 15547 15546 0 -1 0 68189 0 0 0 78851 176 0 0 25 0 1 0 805824030 171237376 30370 4294967295 134512640 135726644 3221224592 3221223248 134731248 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41806 30370 300 300 0 41506 0
vsize: 167224
[startup+800.21 s]
Raw data (loadavg): 1.00 0.98 0.74 2/54 20998
Raw data (stat): 20998 (pb2sat) R 20997 15547 15546 0 -1 0 68190 0 0 0 79851 176 0 0 25 0 1 0 805824030 171237376 30371 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41806 30371 300 300 0 41506 0
vsize: 167224
[startup+810.21 s]
Raw data (loadavg): 1.00 0.98 0.74 2/54 20998
Raw data (stat): 20998 (pb2sat) R 20997 15547 15546 0 -1 0 68833 0 0 0 80849 177 0 0 25 0 1 0 805824030 171237376 30372 4294967295 134512640 135726644 3221224592 3221223088 134744069 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41806 30372 300 300 0 41506 0
vsize: 167224
[startup+820.209 s]
Raw data (loadavg): 1.00 0.98 0.74 2/54 20998
Raw data (stat): 20998 (pb2sat) R 20997 15547 15546 0 -1 0 68837 0 0 0 81849 178 0 0 25 0 1 0 805824030 171237376 30376 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41806 30376 300 300 0 41506 0
vsize: 167224
[startup+830.209 s]
Raw data (loadavg): 1.00 0.98 0.75 2/54 20998
Raw data (stat): 20998 (pb2sat) R 20997 15547 15546 0 -1 0 68847 0 0 0 82849 178 0 0 25 0 1 0 805824030 171237376 30386 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41806 30386 300 300 0 41506 0
vsize: 167224
[startup+840.21 s]
Raw data (loadavg): 1.00 0.98 0.75 2/54 20998
Raw data (stat): 20998 (pb2sat) R 20997 15547 15546 0 -1 0 68856 0 0 0 83849 178 0 0 25 0 1 0 805824030 171237376 30395 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41806 30395 300 300 0 41506 0
vsize: 167224
[startup+850.21 s]
Raw data (loadavg): 1.00 0.98 0.75 2/54 20998
Raw data (stat): 20998 (pb2sat) R 20997 15547 15546 0 -1 0 69505 0 0 0 84847 180 0 0 25 0 1 0 805824030 171237376 30402 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41806 30402 300 300 0 41506 0
vsize: 167224
[startup+860.21 s]
Raw data (loadavg): 1.00 0.98 0.75 2/54 20998
Raw data (stat): 20998 (pb2sat) R 20997 15547 15546 0 -1 0 69516 0 0 0 85847 180 0 0 25 0 1 0 805824030 171237376 30413 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41806 30413 300 300 0 41506 0
vsize: 167224
[startup+870.21 s]
Raw data (loadavg): 1.00 0.98 0.75 2/54 20998
Raw data (stat): 20998 (pb2sat) R 20997 15547 15546 0 -1 0 70169 0 0 0 86846 182 0 0 25 0 1 0 805824030 173867008 31066 4294967295 134512640 135726644 3221224592 3221222744 134761847 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42448 31066 300 300 0 42148 0
vsize: 169792
[startup+880.211 s]
Raw data (loadavg): 1.00 0.98 0.76 2/54 20998
Raw data (stat): 20998 (pb2sat) R 20997 15547 15546 0 -1 0 70171 0 0 0 87846 182 0 0 25 0 1 0 805824030 171237376 30426 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41806 30426 300 300 0 41506 0
vsize: 167224
[startup+890.21 s]
Raw data (loadavg): 1.00 0.98 0.76 2/54 20998
Raw data (stat): 20998 (pb2sat) R 20997 15547 15546 0 -1 0 70173 0 0 0 88845 183 0 0 25 0 1 0 805824030 171237376 30428 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41806 30428 300 300 0 41506 0
vsize: 167224
[startup+900.211 s]
Raw data (loadavg): 1.00 0.98 0.76 2/54 20998
Raw data (stat): 20998 (pb2sat) R 20997 15547 15546 0 -1 0 70816 0 0 0 89844 184 0 0 25 0 1 0 805824030 171237376 30429 4294967295 134512640 135726644 3221224592 3221223216 134744575 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41806 30429 300 300 0 41506 0
vsize: 167224
[startup+910.211 s]
Raw data (loadavg): 1.00 0.98 0.76 2/54 20998
Raw data (stat): 20998 (pb2sat) R 20997 15547 15546 0 -1 0 70818 0 0 0 90844 184 0 0 25 0 1 0 805824030 171237376 30431 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41806 30431 300 300 0 41506 0
vsize: 167224
[startup+920.212 s]
Raw data (loadavg): 1.15 1.02 0.77 2/54 20998
Raw data (stat): 20998 (pb2sat) R 20997 15547 15546 0 -1 0 71475 0 0 0 91842 187 0 0 25 0 1 0 805824030 171237376 30446 4294967295 134512640 135726644 3221224592 3221223088 134744002 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41806 30446 300 300 0 41506 0
vsize: 167224
[startup+930.212 s]
Raw data (loadavg): 1.13 1.02 0.78 2/54 20998
Raw data (stat): 20998 (pb2sat) R 20997 15547 15546 0 -1 0 71482 0 0 0 92842 187 0 0 25 0 1 0 805824030 171237376 30453 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41806 30453 300 300 0 41506 0
vsize: 167224
[startup+940.212 s]
Raw data (loadavg): 1.11 1.01 0.78 2/54 20998
Raw data (stat): 20998 (pb2sat) R 20997 15547 15546 0 -1 0 71490 0 0 0 93842 187 0 0 25 0 1 0 805824030 171237376 30461 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41806 30461 300 300 0 41506 0
vsize: 167224
[startup+950.213 s]
Raw data (loadavg): 1.09 1.01 0.78 2/54 20998
Raw data (stat): 20998 (pb2sat) R 20997 15547 15546 0 -1 0 71502 0 0 0 94842 187 0 0 25 0 1 0 805824030 171237376 30473 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41806 30473 300 300 0 41506 0
vsize: 167224
[startup+960.213 s]
Raw data (loadavg): 1.08 1.01 0.78 2/54 20998
Raw data (stat): 20998 (pb2sat) R 20997 15547 15546 0 -1 0 72152 0 0 0 95841 189 0 0 25 0 1 0 805824030 171237376 30481 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41806 30481 300 300 0 41506 0
vsize: 167224
[startup+970.213 s]
Raw data (loadavg): 1.06 1.01 0.78 2/54 20998
Raw data (stat): 20998 (pb2sat) R 20997 15547 15546 0 -1 0 72161 0 0 0 96841 189 0 0 25 0 1 0 805824030 171237376 30490 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41806 30490 300 300 0 41506 0
vsize: 167224
[startup+980.214 s]
Raw data (loadavg): 1.05 1.01 0.79 2/54 20998
Raw data (stat): 20998 (pb2sat) R 20997 15547 15546 0 -1 0 72174 0 0 0 97841 190 0 0 25 0 1 0 805824030 171237376 30503 4294967295 134512640 135726644 3221224592 3221223088 134744069 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41806 30503 300 300 0 41506 0
vsize: 167224
[startup+990.214 s]
Raw data (loadavg): 1.05 1.01 0.79 2/54 20998
Raw data (stat): 20998 (pb2sat) R 20997 15547 15546 0 -1 0 72827 0 0 0 98839 191 0 0 25 0 1 0 805824030 171237376 30514 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41806 30514 300 300 0 41506 0
vsize: 167224
[startup+1000.21 s]
Raw data (loadavg): 1.04 1.01 0.79 2/54 20998
Raw data (stat): 20998 (pb2sat) R 20997 15547 15546 0 -1 0 72836 0 0 0 99839 192 0 0 25 0 1 0 805824030 171237376 30523 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41806 30523 300 300 0 41506 0
vsize: 167224
[startup+1010.22 s]
Raw data (loadavg): 1.03 1.01 0.79 2/54 20998
Raw data (stat): 20998 (pb2sat) R 20997 15547 15546 0 -1 0 72851 0 0 0 100839 192 0 0 25 0 1 0 805824030 171237376 30538 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41806 30538 300 300 0 41506 0
vsize: 167224
[startup+1020.21 s]
Raw data (loadavg): 1.03 1.01 0.79 2/54 20998
Raw data (stat): 20998 (pb2sat) R 20997 15547 15546 0 -1 0 73501 0 0 0 101837 194 0 0 25 0 1 0 805824030 171237376 30546 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41806 30546 300 300 0 41506 0
vsize: 167224
[startup+1030.21 s]
Raw data (loadavg): 1.02 1.01 0.80 2/54 20998
Raw data (stat): 20998 (pb2sat) R 20997 15547 15546 0 -1 0 73502 0 0 0 102837 194 0 0 25 0 1 0 805824030 171237376 30547 4294967295 134512640 135726644 3221224592 3221223088 134744113 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41806 30547 300 300 0 41506 0
vsize: 167224
[startup+1040.22 s]
Raw data (loadavg): 1.02 1.00 0.80 2/54 20998
Raw data (stat): 20998 (pb2sat) R 20997 15547 15546 0 -1 0 73504 0 0 0 103837 194 0 0 25 0 1 0 805824030 171237376 30549 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41806 30549 300 300 0 41506 0
vsize: 167224
[startup+1050.22 s]
Raw data (loadavg): 1.02 1.00 0.80 2/54 20998
Raw data (stat): 20998 (pb2sat) R 20997 15547 15546 0 -1 0 73505 0 0 0 104837 195 0 0 25 0 1 0 805824030 171237376 30550 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41806 30550 300 300 0 41506 0
vsize: 167224
[startup+1060.22 s]
Raw data (loadavg): 1.01 1.00 0.80 2/54 20998
Raw data (stat): 20998 (pb2sat) R 20997 15547 15546 0 -1 0 74149 0 0 0 105835 197 0 0 25 0 1 0 805824030 171237376 30552 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41806 30552 300 300 0 41506 0
vsize: 167224
[startup+1070.22 s]
Raw data (loadavg): 1.01 1.00 0.80 2/54 20998
Raw data (stat): 20998 (pb2sat) R 20997 15547 15546 0 -1 0 74150 0 0 0 106835 197 0 0 25 0 1 0 805824030 171237376 30553 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41806 30553 300 300 0 41506 0
vsize: 167224
[startup+1080.22 s]
Raw data (loadavg): 1.01 1.00 0.81 2/54 20998
Raw data (stat): 20998 (pb2sat) R 20997 15547 15546 0 -1 0 74793 0 0 0 107834 198 0 0 25 0 1 0 805824030 171237376 30554 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41806 30554 300 300 0 41506 0
vsize: 167224
[startup+1090.22 s]
Raw data (loadavg): 1.01 1.00 0.81 2/54 20998
Raw data (stat): 20998 (pb2sat) R 20997 15547 15546 0 -1 0 74795 0 0 0 108834 198 0 0 25 0 1 0 805824030 171237376 30556 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41806 30556 300 300 0 41506 0
vsize: 167224
[startup+1100.22 s]
Raw data (loadavg): 1.00 1.00 0.81 2/54 20998
Raw data (stat): 20998 (pb2sat) R 20997 15547 15546 0 -1 0 74796 0 0 0 109834 199 0 0 25 0 1 0 805824030 171237376 30557 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41806 30557 300 300 0 41506 0
vsize: 167224
[startup+1110.22 s]
Raw data (loadavg): 1.00 1.00 0.81 2/54 20998
Raw data (stat): 20998 (pb2sat) R 20997 15547 15546 0 -1 0 75444 0 0 0 110832 200 0 0 25 0 1 0 805824030 171237376 30563 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41806 30563 300 300 0 41506 0
vsize: 167224
[startup+1120.22 s]
Raw data (loadavg): 1.00 1.00 0.81 2/54 20998
Raw data (stat): 20998 (pb2sat) R 20997 15547 15546 0 -1 0 75455 0 0 0 111832 201 0 0 25 0 1 0 805824030 171237376 30574 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41806 30574 300 300 0 41506 0
vsize: 167224
[startup+1130.22 s]
Raw data (loadavg): 1.00 1.00 0.81 2/54 20998
Raw data (stat): 20998 (pb2sat) R 20997 15547 15546 0 -1 0 75464 0 0 0 112832 201 0 0 25 0 1 0 805824030 171237376 30583 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41806 30583 300 300 0 41506 0
vsize: 167224
[startup+1140.22 s]
Raw data (loadavg): 1.00 1.00 0.82 2/54 20998
Raw data (stat): 20998 (pb2sat) R 20997 15547 15546 0 -1 0 75475 0 0 0 113832 201 0 0 25 0 1 0 805824030 171237376 30594 4294967295 134512640 135726644 3221224592 3221223072 134729208 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41806 30594 300 300 0 41506 0
vsize: 167224
[startup+1150.22 s]
Raw data (loadavg): 1.00 1.00 0.82 2/54 20998
Raw data (stat): 20998 (pb2sat) R 20997 15547 15546 0 -1 0 76124 0 0 0 114830 203 0 0 25 0 1 0 805824030 171237376 30601 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41806 30601 300 300 0 41506 0
vsize: 167224
[startup+1160.22 s]
Raw data (loadavg): 1.00 1.00 0.82 2/54 20998
Raw data (stat): 20998 (pb2sat) R 20997 15547 15546 0 -1 0 76136 0 0 0 115830 203 0 0 25 0 1 0 805824030 171237376 30613 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41806 30613 300 300 0 41506 0
vsize: 167224
[startup+1170.22 s]
Raw data (loadavg): 1.00 1.00 0.82 2/54 20998
Raw data (stat): 20998 (pb2sat) R 20997 15547 15546 0 -1 0 76143 0 0 0 116830 204 0 0 25 0 1 0 805824030 171237376 30620 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41806 30620 300 300 0 41506 0
vsize: 167224
[startup+1180.22 s]
Raw data (loadavg): 1.00 1.00 0.82 2/54 20998
Raw data (stat): 20998 (pb2sat) R 20997 15547 15546 0 -1 0 76153 0 0 0 117830 204 0 0 25 0 1 0 805824030 171237376 30630 4294967295 134512640 135726644 3221224592 3221223248 134731251 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41806 30630 300 300 0 41506 0
vsize: 167224
[startup+1190.21 s]
Raw data (loadavg): 1.00 1.00 0.82 2/54 20998
Raw data (stat): 20998 (pb2sat) R 20997 15547 15546 0 -1 0 76798 0 0 0 118829 205 0 0 25 0 1 0 805824030 171237376 30633 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41806 30633 300 300 0 41506 0
vsize: 167224
[startup+1200.22 s]
Raw data (loadavg): 1.00 1.00 0.82 2/54 20998
Raw data (stat): 20998 (pb2sat) R 20997 15547 15546 0 -1 0 76799 0 0 0 119829 205 0 0 25 0 1 0 805824030 171237376 30634 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41806 30634 300 300 0 41506 0
vsize: 167224
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.89 s]
Raw data (loadavg): 1.00 1.00 0.82 1/54 20998
Raw data (stat): 20998 (pb2sat) Z 20997 15547 15546 0 -1 12 76800 0 0 0 119889 212 0 0 25 0 1 0 805824030 0 0 4294967295 0 0 0 0 0 0 16384 7 16384 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 10
Real time (s): 1200.89
CPU time (s): 1201.02
CPU user time (s): 1198.9
CPU system time (s): 2.12168
CPU usage (%): 100.011
Max. virtual memory (Kb): 169792
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	296
#### END VERIFIER DATA ####