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-ii32e4.opb
MD5SUM	1c0d08e5657c85ec3afe3a7738817cf3
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	364
Optimality of the best value was proved	NO
Number of terms in the objective function	774
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	774
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	774
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	130.714
Number of variables	774
Total number of constraints	7493
Number of constraints which are clauses	7493
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 34819

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc10 THE 2005-05-28 10:39:55 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=24087 boxname=wulflinc10 idbench=161 idsolver=17 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  1c0d08e5657c85ec3afe3a7738817cf3  /oldhome/oroussel/tmp/wulflinc10/normalized-ii32e4.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc10/normalized-ii32e4.opb
IDLAUNCH: 24087
/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:        855124 kB
Buffers:         34180 kB
Cached:         124244 kB
SwapCached:         84 kB
Active:          47640 kB
Inactive:       113424 kB
HighTotal:      131008 kB
HighFree:         3024 kB
LowTotal:       903652 kB
LowFree:        852100 kB
SwapTotal:     2097136 kB
SwapFree:      2096728 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5880 kB
Slab:            12856 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-28 10:59:59 (client local time) WITH STATUS 10 IN 1201.5 SECONDS
stats: 24087 0 1201.5 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

Decision: 131860/301489	Time: 123.67/86400
Decision: 132377/301489	Time: 196.997/86400
Decision: 132377/301489	Time: 250.024/86400c [startup+383.589 s]  setting bit 9 to 0
c got solution with objective value: 387
c [startup+385.887 s]  setting bit 8 to 1
c got solution with objective value: 387
c [startup+387.891 s]  setting bit 7 to 1

Decision: 104288/301489	Time: 82.6554/86400
Decision: 109378/301489	Time: 128.768/86400c [startup+553.578 s]  setting bit 6 to 0

Decision: 94092/301489	Time: 102.899/86400
Decision: 98043/301489	Time: 124.744/86400
Decision: 98043/301489	Time: 146.356/86400
Decision: 98043/301489	Time: 173.933/86400
Decision: 107046/301489	Time: 227.202/86400c [startup+804.983 s]  setting bit 5 to 0
c got solution with objective value: 374
c [startup+809.669 s]  setting bit 4 to 1
c got solution with objective value: 366
c [startup+815 s]  setting bit 3 to 1

Decision: 97608/301489	Time: 85.451/86400
Decision: 98051/301489	Time: 104.195/86400
Decision: 98051/301489	Time: 123.78/86400
Decision: 98051/301489	Time: 172.21/86400
Decision: 102046/301489	Time: 209.945/86400
Decision: 107514/301489	Time: 257.063/86400c [startup+1083.7 s]  setting bit 2 to 0
c got solution with objective value: 364
c [startup+1089.83 s]  setting bit 1 to 1

Decision: 101152/301489	Time: 85.8449/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 -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.92 0.98 0.82 1/54 21090
Raw data (stat): 21090 (runsolver) R 21089 15547 15546 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 805945148 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+9.99992 s]
Raw data (loadavg): 0.93 0.98 0.82 2/54 21090
Raw data (stat): 21090 (pb2sat) R 21089 15547 15546 0 -1 0 29895 0 0 0 935 64 0 0 25 0 1 0 805945148 89411584 18983 4294967295 134512640 135726644 3221224592 3221185776 134771465 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 21829 18983 300 300 0 21529 0
vsize: 87316
[startup+20.0004 s]
Raw data (loadavg): 0.94 0.98 0.82 2/54 21090
Raw data (stat): 21090 (pb2sat) R 21089 15547 15546 0 -1 0 50421 0 0 0 1895 104 0 0 25 0 1 0 805945148 168894464 28090 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41234 28090 300 300 0 40934 0
vsize: 164936
[startup+30.0005 s]
Raw data (loadavg): 0.95 0.98 0.82 2/54 21090
Raw data (stat): 21090 (pb2sat) R 21089 15547 15546 0 -1 0 50491 0 0 0 2893 105 0 0 25 0 1 0 805945148 169422848 28160 4294967295 134512640 135726644 3221224592 3221223088 134744235 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41363 28160 300 300 0 41063 0
vsize: 165452
[startup+40.0011 s]
Raw data (loadavg): 0.96 0.98 0.82 2/54 21090
Raw data (stat): 21090 (pb2sat) R 21089 15547 15546 0 -1 0 50864 0 0 0 3892 107 0 0 25 0 1 0 805945148 170745856 28403 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41686 28403 300 300 0 41386 0
vsize: 166744
[startup+50.0021 s]
Raw data (loadavg): 0.96 0.98 0.82 2/54 21090
Raw data (stat): 21090 (pb2sat) R 21089 15547 15546 0 -1 0 50868 0 0 0 4892 107 0 0 25 0 1 0 805945148 170745856 28407 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41686 28407 300 300 0 41386 0
vsize: 166744
[startup+60.0012 s]
Raw data (loadavg): 0.97 0.98 0.83 2/54 21090
Raw data (stat): 21090 (pb2sat) R 21089 15547 15546 0 -1 0 50932 0 0 0 5891 108 0 0 25 0 1 0 805945148 170745856 28471 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41686 28471 300 300 0 41386 0
vsize: 166744
[startup+70.0022 s]
Raw data (loadavg): 0.97 0.98 0.83 2/54 21090
Raw data (stat): 21090 (pb2sat) R 21089 15547 15546 0 -1 0 51113 0 0 0 6891 108 0 0 25 0 1 0 805945148 171536384 28523 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41879 28523 300 300 0 41579 0
vsize: 167516
[startup+80.003 s]
Raw data (loadavg): 0.98 0.98 0.83 2/54 21090
Raw data (stat): 21090 (pb2sat) R 21089 15547 15546 0 -1 0 51216 0 0 0 7890 109 0 0 25 0 1 0 805945148 172064768 28626 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42008 28626 300 300 0 41708 0
vsize: 168032
[startup+90.0029 s]
Raw data (loadavg): 0.98 0.98 0.83 2/54 21090
Raw data (stat): 21090 (pb2sat) R 21089 15547 15546 0 -1 0 51244 0 0 0 8890 110 0 0 25 0 1 0 805945148 172064768 28654 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42008 28654 300 300 0 41708 0
vsize: 168032
[startup+100.002 s]
Raw data (loadavg): 0.98 0.98 0.83 2/54 21090
Raw data (stat): 21090 (pb2sat) R 21089 15547 15546 0 -1 0 51272 0 0 0 9889 110 0 0 25 0 1 0 805945148 172064768 28682 4294967295 134512640 135726644 3221224592 3221223136 134736624 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42008 28682 300 300 0 41708 0
vsize: 168032
[startup+110.002 s]
Raw data (loadavg): 0.98 0.98 0.83 2/54 21090
Raw data (stat): 21090 (pb2sat) R 21089 15547 15546 0 -1 0 51275 0 0 0 10889 111 0 0 25 0 1 0 805945148 172064768 28685 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42008 28685 300 300 0 41708 0
vsize: 168032
[startup+120.003 s]
Raw data (loadavg): 0.99 0.98 0.83 2/54 21090
Raw data (stat): 21090 (pb2sat) R 21089 15547 15546 0 -1 0 51278 0 0 0 11889 111 0 0 25 0 1 0 805945148 172064768 28688 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42008 28688 300 300 0 41708 0
vsize: 168032
[startup+130.003 s]
Raw data (loadavg): 0.99 0.98 0.83 2/54 21090
Raw data (stat): 21090 (pb2sat) R 21089 15547 15546 0 -1 0 51282 0 0 0 12889 111 0 0 25 0 1 0 805945148 172064768 28692 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42008 28692 300 300 0 41708 0
vsize: 168032
[startup+140.003 s]
Raw data (loadavg): 0.99 0.98 0.83 2/54 21090
Raw data (stat): 21090 (pb2sat) R 21089 15547 15546 0 -1 0 51889 0 0 0 13887 113 0 0 25 0 1 0 805945148 172064768 28710 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42008 28710 300 300 0 41708 0
vsize: 168032
[startup+150.003 s]
Raw data (loadavg): 0.99 0.98 0.83 2/54 21090
Raw data (stat): 21090 (pb2sat) R 21089 15547 15546 0 -1 0 52026 0 0 0 14887 113 0 0 25 0 1 0 805945148 172593152 28782 4294967295 134512640 135726644 3221224592 3221223184 134743857 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42137 28782 300 300 0 41837 0
vsize: 168548
[startup+160.003 s]
Raw data (loadavg): 0.99 0.98 0.83 2/54 21090
Raw data (stat): 21090 (pb2sat) R 21089 15547 15546 0 -1 0 52027 0 0 0 15887 114 0 0 25 0 1 0 805945148 172593152 28783 4294967295 134512640 135726644 3221224592 3221223248 134731251 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42137 28783 300 300 0 41837 0
vsize: 168548
[startup+170.004 s]
Raw data (loadavg): 0.99 0.98 0.84 2/54 21090
Raw data (stat): 21090 (pb2sat) R 21089 15547 15546 0 -1 0 52030 0 0 0 16887 114 0 0 25 0 1 0 805945148 172593152 28786 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42137 28786 300 300 0 41837 0
vsize: 168548
[startup+180.004 s]
Raw data (loadavg): 0.99 0.98 0.84 2/54 21090
Raw data (stat): 21090 (pb2sat) R 21089 15547 15546 0 -1 0 52036 0 0 0 17886 114 0 0 25 0 1 0 805945148 172593152 28792 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42137 28792 300 300 0 41837 0
vsize: 168548
[startup+190.005 s]
Raw data (loadavg): 0.99 0.98 0.84 2/54 21090
Raw data (stat): 21090 (pb2sat) R 21089 15547 15546 0 -1 0 52042 0 0 0 18886 115 0 0 25 0 1 0 805945148 172593152 28798 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42137 28798 300 300 0 41837 0
vsize: 168548
[startup+200.006 s]
Raw data (loadavg): 0.99 0.98 0.84 2/54 21090
Raw data (stat): 21090 (pb2sat) R 21089 15547 15546 0 -1 0 52045 0 0 0 19886 115 0 0 25 0 1 0 805945148 172593152 28801 4294967295 134512640 135726644 3221224592 3221223088 134744235 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42137 28801 300 300 0 41837 0
vsize: 168548
[startup+210.005 s]
Raw data (loadavg): 0.99 0.98 0.84 2/54 21090
Raw data (stat): 21090 (pb2sat) R 21089 15547 15546 0 -1 0 52049 0 0 0 20885 115 0 0 25 0 1 0 805945148 172593152 28805 4294967295 134512640 135726644 3221224592 3221223088 134744159 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42137 28805 300 300 0 41837 0
vsize: 168548
[startup+220.005 s]
Raw data (loadavg): 0.99 0.98 0.84 2/54 21090
Raw data (stat): 21090 (pb2sat) R 21089 15547 15546 0 -1 0 52755 0 0 0 21883 118 0 0 25 0 1 0 805945148 173125632 28922 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42267 28922 300 300 0 41967 0
vsize: 169068
[startup+230.005 s]
Raw data (loadavg): 0.99 0.98 0.84 2/54 21090
Raw data (stat): 21090 (pb2sat) R 21089 15547 15546 0 -1 0 52758 0 0 0 22883 118 0 0 25 0 1 0 805945148 173125632 28925 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42267 28925 300 300 0 41967 0
vsize: 169068
[startup+240.005 s]
Raw data (loadavg): 0.99 0.98 0.84 2/54 21090
Raw data (stat): 21090 (pb2sat) R 21089 15547 15546 0 -1 0 52761 0 0 0 23883 118 0 0 25 0 1 0 805945148 173125632 28928 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42267 28928 300 300 0 41967 0
vsize: 169068
[startup+250.005 s]
Raw data (loadavg): 0.99 0.98 0.84 2/54 21090
Raw data (stat): 21090 (pb2sat) R 21089 15547 15546 0 -1 0 52764 0 0 0 24883 119 0 0 25 0 1 0 805945148 173125632 28931 4294967295 134512640 135726644 3221224592 3221223088 134743875 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42267 28931 300 300 0 41967 0
vsize: 169068
[startup+260.006 s]
Raw data (loadavg): 0.99 0.98 0.84 2/54 21090
Raw data (stat): 21090 (pb2sat) R 21089 15547 15546 0 -1 0 52767 0 0 0 25882 119 0 0 25 0 1 0 805945148 173125632 28934 4294967295 134512640 135726644 3221224592 3221223184 134760010 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42267 28934 300 300 0 41967 0
vsize: 169068
[startup+270.006 s]
Raw data (loadavg): 0.99 0.98 0.85 2/54 21090
Raw data (stat): 21090 (pb2sat) R 21089 15547 15546 0 -1 0 53359 0 0 0 26881 121 0 0 25 0 1 0 805945148 173125632 28937 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42267 28937 300 300 0 41967 0
vsize: 169068
[startup+280.006 s]
Raw data (loadavg): 0.99 0.98 0.85 2/54 21090
Raw data (stat): 21090 (pb2sat) R 21089 15547 15546 0 -1 0 53409 0 0 0 27880 121 0 0 25 0 1 0 805945148 173260800 28987 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42300 28987 300 300 0 42000 0
vsize: 169200
[startup+290.007 s]
Raw data (loadavg): 0.99 0.98 0.85 2/54 21090
Raw data (stat): 21090 (pb2sat) R 21089 15547 15546 0 -1 0 53570 0 0 0 28880 122 0 0 25 0 1 0 805945148 173785088 29019 4294967295 134512640 135726644 3221224592 3221223184 134759994 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42428 29019 300 300 0 42128 0
vsize: 169712
[startup+300.007 s]
Raw data (loadavg): 0.99 0.98 0.85 2/54 21090
Raw data (stat): 21090 (pb2sat) R 21089 15547 15546 0 -1 0 53572 0 0 0 29879 123 0 0 25 0 1 0 805945148 173785088 29021 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42428 29021 300 300 0 42128 0
vsize: 169712
[startup+310.007 s]
Raw data (loadavg): 0.99 0.98 0.85 2/54 21090
Raw data (stat): 21090 (pb2sat) R 21089 15547 15546 0 -1 0 53577 0 0 0 30879 123 0 0 25 0 1 0 805945148 173785088 29026 4294967295 134512640 135726644 3221224592 3221223088 134744377 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42428 29026 300 300 0 42128 0
vsize: 169712
[startup+320.007 s]
Raw data (loadavg): 0.99 0.98 0.85 2/54 21090
Raw data (stat): 21090 (pb2sat) R 21089 15547 15546 0 -1 0 53583 0 0 0 31879 123 0 0 25 0 1 0 805945148 173785088 29032 4294967295 134512640 135726644 3221224592 3221223184 134759986 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42428 29032 300 300 0 42128 0
vsize: 169712
[startup+330.007 s]
Raw data (loadavg): 0.99 0.98 0.85 2/54 21090
Raw data (stat): 21090 (pb2sat) R 21089 15547 15546 0 -1 0 53587 0 0 0 32879 124 0 0 25 0 1 0 805945148 173785088 29036 4294967295 134512640 135726644 3221224592 3221223088 134743982 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42428 29036 300 300 0 42128 0
vsize: 169712
[startup+340.008 s]
Raw data (loadavg): 0.99 0.98 0.85 2/54 21090
Raw data (stat): 21090 (pb2sat) R 21089 15547 15546 0 -1 0 53592 0 0 0 33879 124 0 0 25 0 1 0 805945148 173785088 29041 4294967295 134512640 135726644 3221224592 3221223088 134744235 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42428 29041 300 300 0 42128 0
vsize: 169712
[startup+350.008 s]
Raw data (loadavg): 0.99 0.98 0.85 2/54 21090
Raw data (stat): 21090 (pb2sat) R 21089 15547 15546 0 -1 0 53600 0 0 0 34879 124 0 0 25 0 1 0 805945148 173785088 29049 4294967295 134512640 135726644 3221224592 3221223184 134759980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42428 29049 300 300 0 42128 0
vsize: 169712
[startup+360.008 s]
Raw data (loadavg): 0.99 0.98 0.85 2/54 21090
Raw data (stat): 21090 (pb2sat) R 21089 15547 15546 0 -1 0 53604 0 0 0 35878 125 0 0 25 0 1 0 805945148 173785088 29053 4294967295 134512640 135726644 3221224592 3221223088 134743961 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42428 29053 300 300 0 42128 0
vsize: 169712
[startup+370.009 s]
Raw data (loadavg): 0.99 0.98 0.86 2/54 21090
Raw data (stat): 21090 (pb2sat) R 21089 15547 15546 0 -1 0 53609 0 0 0 36878 125 0 0 25 0 1 0 805945148 173785088 29058 4294967295 134512640 135726644 3221224592 3221223280 134744864 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42428 29058 300 300 0 42128 0
vsize: 169712
[startup+380.01 s]
Raw data (loadavg): 0.99 0.98 0.86 2/54 21090
Raw data (stat): 21090 (pb2sat) R 21089 15547 15546 0 -1 0 53615 0 0 0 37878 125 0 0 25 0 1 0 805945148 173785088 29064 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42428 29064 300 300 0 42128 0
vsize: 169712
[startup+390.01 s]
Raw data (loadavg): 0.99 0.98 0.86 2/54 21090
Raw data (stat): 21090 (pb2sat) R 21089 15547 15546 0 -1 0 55449 0 0 0 38873 130 0 0 25 0 1 0 805945148 174051328 29131 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42493 29131 300 300 0 42193 0
vsize: 169972
[startup+400.01 s]
Raw data (loadavg): 0.99 0.98 0.86 2/54 21090
Raw data (stat): 21090 (pb2sat) R 21089 15547 15546 0 -1 0 55828 0 0 0 39872 131 0 0 25 0 1 0 805945148 175546368 29445 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42858 29445 300 300 0 42558 0
vsize: 171432
[startup+410.01 s]
Raw data (loadavg): 0.99 0.98 0.86 2/54 21090
Raw data (stat): 21090 (pb2sat) R 21089 15547 15546 0 -1 0 55930 0 0 0 40872 132 0 0 25 0 1 0 805945148 175808512 29482 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42922 29482 300 300 0 42622 0
vsize: 171688
[startup+420.01 s]
Raw data (loadavg): 0.99 0.98 0.86 2/54 21090
Raw data (stat): 21090 (pb2sat) R 21089 15547 15546 0 -1 0 55955 0 0 0 41871 133 0 0 25 0 1 0 805945148 175808512 29507 4294967295 134512640 135726644 3221224592 3221223088 134744147 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42922 29507 300 300 0 42622 0
vsize: 171688
[startup+430.012 s]
Raw data (loadavg): 0.99 0.98 0.86 2/54 21090
Raw data (stat): 21090 (pb2sat) R 21089 15547 15546 0 -1 0 55961 0 0 0 42871 133 0 0 25 0 1 0 805945148 175808512 29513 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42922 29513 300 300 0 42622 0
vsize: 171688
[startup+440.012 s]
Raw data (loadavg): 0.99 0.98 0.86 2/54 21090
Raw data (stat): 21090 (pb2sat) R 21089 15547 15546 0 -1 0 56141 0 0 0 43870 134 0 0 25 0 1 0 805945148 176332800 29564 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43050 29564 300 300 0 42750 0
vsize: 172200
[startup+450.011 s]
Raw data (loadavg): 0.99 0.98 0.86 2/54 21090
Raw data (stat): 21090 (pb2sat) R 21089 15547 15546 0 -1 0 56181 0 0 0 44870 134 0 0 25 0 1 0 805945148 176332800 29604 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43050 29604 300 300 0 42750 0
vsize: 172200
[startup+460.011 s]
Raw data (loadavg): 0.99 0.98 0.86 2/54 21090
Raw data (stat): 21090 (pb2sat) R 21089 15547 15546 0 -1 0 56198 0 0 0 45870 134 0 0 25 0 1 0 805945148 176332800 29621 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43050 29621 300 300 0 42750 0
vsize: 172200
[startup+470.011 s]
Raw data (loadavg): 0.99 0.98 0.87 2/54 21090
Raw data (stat): 21090 (pb2sat) R 21089 15547 15546 0 -1 0 56797 0 0 0 46868 137 0 0 25 0 1 0 805945148 176332800 29631 4294967295 134512640 135726644 3221224592 3221223216 134779630 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43050 29631 300 300 0 42750 0
vsize: 172200
[startup+480.011 s]
Raw data (loadavg): 0.99 0.98 0.87 2/54 21090
Raw data (stat): 21090 (pb2sat) R 21089 15547 15546 0 -1 0 56818 0 0 0 47868 137 0 0 25 0 1 0 805945148 176332800 29652 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43050 29652 300 300 0 42750 0
vsize: 172200
[startup+490.011 s]
Raw data (loadavg): 0.99 0.98 0.87 2/54 21090
Raw data (stat): 21090 (pb2sat) R 21089 15547 15546 0 -1 0 56819 0 0 0 48867 137 0 0 25 0 1 0 805945148 176332800 29653 4294967295 134512640 135726644 3221224592 3221223184 134743857 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43050 29653 300 300 0 42750 0
vsize: 172200
[startup+500.012 s]
Raw data (loadavg): 0.99 0.98 0.87 2/54 21090
Raw data (stat): 21090 (pb2sat) R 21089 15547 15546 0 -1 0 56896 0 0 0 49867 138 0 0 25 0 1 0 805945148 176594944 29665 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43114 29665 300 300 0 42814 0
vsize: 172456
[startup+510.012 s]
Raw data (loadavg): 0.99 0.98 0.87 2/54 21090
Raw data (stat): 21090 (pb2sat) R 21089 15547 15546 0 -1 0 57062 0 0 0 50867 138 0 0 25 0 1 0 805945148 177119232 29702 4294967295 134512640 135726644 3221224592 3221223280 134744861 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43242 29702 300 300 0 42942 0
vsize: 172968
[startup+520.013 s]
Raw data (loadavg): 0.99 0.98 0.87 2/54 21090
Raw data (stat): 21090 (pb2sat) R 21089 15547 15546 0 -1 0 57656 0 0 0 51865 140 0 0 25 0 1 0 805945148 177119232 29707 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43242 29707 300 300 0 42942 0
vsize: 172968
[startup+530.013 s]
Raw data (loadavg): 0.99 0.98 0.87 2/54 21090
Raw data (stat): 21090 (pb2sat) R 21089 15547 15546 0 -1 0 57663 0 0 0 52865 140 0 0 25 0 1 0 805945148 177119232 29714 4294967295 134512640 135726644 3221224592 3221223136 134736726 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43242 29714 300 300 0 42942 0
vsize: 172968
[startup+540.012 s]
Raw data (loadavg): 0.99 0.98 0.87 2/54 21090
Raw data (stat): 21090 (pb2sat) R 21089 15547 15546 0 -1 0 57678 0 0 0 53864 141 0 0 25 0 1 0 805945148 177119232 29729 4294967295 134512640 135726644 3221224592 3221223088 134744235 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43242 29729 300 300 0 42942 0
vsize: 172968
[startup+550.013 s]
Raw data (loadavg): 0.99 0.98 0.87 2/54 21090
Raw data (stat): 21090 (pb2sat) R 21089 15547 15546 0 -1 0 57684 0 0 0 54864 142 0 0 25 0 1 0 805945148 177119232 29735 4294967295 134512640 135726644 3221224592 3221223088 134744153 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43242 29735 300 300 0 42942 0
vsize: 172968
[startup+560.012 s]
Raw data (loadavg): 0.99 0.98 0.87 2/54 21090
Raw data (stat): 21090 (pb2sat) R 21089 15547 15546 0 -1 0 58562 0 0 0 55862 144 0 0 25 0 1 0 805945148 179220480 30024 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43755 30024 300 300 0 43455 0
vsize: 175020
[startup+570.013 s]
Raw data (loadavg): 0.99 0.98 0.87 2/54 21090
Raw data (stat): 21090 (pb2sat) R 21089 15547 15546 0 -1 0 58629 0 0 0 56862 144 0 0 25 0 1 0 805945148 179220480 30091 4294967295 134512640 135726644 3221224592 3221223280 134744861 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43755 30091 300 300 0 43455 0
vsize: 175020
[startup+580.013 s]
Raw data (loadavg): 0.99 0.98 0.88 2/54 21090
Raw data (stat): 21090 (pb2sat) R 21089 15547 15546 0 -1 0 58684 0 0 0 57861 145 0 0 25 0 1 0 805945148 179220480 30146 4294967295 134512640 135726644 3221224592 3221222804 134810002 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43755 30146 300 300 0 43455 0
vsize: 175020
[startup+590.012 s]
Raw data (loadavg): 0.99 0.98 0.88 2/54 21090
Raw data (stat): 21090 (pb2sat) R 21089 15547 15546 0 -1 0 58740 0 0 0 58861 145 0 0 25 0 1 0 805945148 179220480 30202 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43755 30202 300 300 0 43455 0
vsize: 175020
[startup+600.012 s]
Raw data (loadavg): 0.99 0.98 0.88 2/54 21090
Raw data (stat): 21090 (pb2sat) R 21089 15547 15546 0 -1 0 58793 0 0 0 59860 146 0 0 25 0 1 0 805945148 179220480 30255 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43755 30255 300 300 0 43455 0
vsize: 175020
[startup+610.012 s]
Raw data (loadavg): 0.99 0.98 0.88 2/54 21090
Raw data (stat): 21090 (pb2sat) R 21089 15547 15546 0 -1 0 58876 0 0 0 60860 146 0 0 25 0 1 0 805945148 179486720 30338 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43820 30338 300 300 0 43520 0
vsize: 175280
[startup+620.012 s]
Raw data (loadavg): 0.99 0.98 0.88 2/54 21090
Raw data (stat): 21090 (pb2sat) R 21089 15547 15546 0 -1 0 58923 0 0 0 61859 148 0 0 25 0 1 0 805945148 179486720 30385 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43820 30385 300 300 0 43520 0
vsize: 175280
[startup+630.011 s]
Raw data (loadavg): 0.99 0.98 0.88 2/54 21090
Raw data (stat): 21090 (pb2sat) R 21089 15547 15546 0 -1 0 58989 0 0 0 62858 148 0 0 25 0 1 0 805945148 179621888 30451 4294967295 134512640 135726644 3221224592 3221223248 134731248 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43853 30451 300 300 0 43553 0
vsize: 175412
[startup+640.011 s]
Raw data (loadavg): 0.99 0.98 0.88 2/54 21090
Raw data (stat): 21090 (pb2sat) R 21089 15547 15546 0 -1 0 59038 0 0 0 63858 149 0 0 25 0 1 0 805945148 179621888 30500 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43853 30500 300 300 0 43553 0
vsize: 175412
[startup+650.011 s]
Raw data (loadavg): 0.99 0.98 0.88 2/54 21090
Raw data (stat): 21090 (pb2sat) R 21089 15547 15546 0 -1 0 59089 0 0 0 64858 149 0 0 25 0 1 0 805945148 179621888 30551 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43853 30551 300 300 0 43553 0
vsize: 175412
[startup+660.011 s]
Raw data (loadavg): 0.99 0.98 0.88 2/54 21090
Raw data (stat): 21090 (pb2sat) R 21089 15547 15546 0 -1 0 59717 0 0 0 65856 151 0 0 25 0 1 0 805945148 179621888 30590 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43853 30590 300 300 0 43553 0
vsize: 175412
[startup+670.013 s]
Raw data (loadavg): 0.99 0.98 0.88 2/54 21090
Raw data (stat): 21090 (pb2sat) R 21089 15547 15546 0 -1 0 59720 0 0 0 66855 152 0 0 25 0 1 0 805945148 179621888 30593 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43853 30593 300 300 0 43553 0
vsize: 175412
[startup+680.013 s]
Raw data (loadavg): 0.99 0.98 0.89 2/54 21090
Raw data (stat): 21090 (pb2sat) R 21089 15547 15546 0 -1 0 60362 0 0 0 67853 154 0 0 25 0 1 0 805945148 179621888 30646 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43853 30646 300 300 0 43553 0
vsize: 175412
[startup+690.013 s]
Raw data (loadavg): 0.99 0.98 0.89 2/54 21090
Raw data (stat): 21090 (pb2sat) R 21089 15547 15546 0 -1 0 60418 0 0 0 68853 155 0 0 25 0 1 0 805945148 179621888 30702 4294967295 134512640 135726644 3221224592 3221223088 134743883 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43853 30702 300 300 0 43553 0
vsize: 175412
[startup+700.013 s]
Raw data (loadavg): 0.99 0.98 0.89 2/54 21090
Raw data (stat): 21090 (pb2sat) R 21089 15547 15546 0 -1 0 61064 0 0 0 69850 157 0 0 25 0 1 0 805945148 179621888 30759 4294967295 134512640 135726644 3221224592 3221223280 134744861 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43853 30759 300 300 0 43553 0
vsize: 175412
[startup+710.013 s]
Raw data (loadavg): 0.99 0.98 0.89 2/54 21090
Raw data (stat): 21090 (pb2sat) R 21089 15547 15546 0 -1 0 61113 0 0 0 70850 158 0 0 25 0 1 0 805945148 179621888 30808 4294967295 134512640 135726644 3221224592 3221222772 135277555 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43853 30808 300 300 0 43553 0
vsize: 175412
[startup+720.013 s]
Raw data (loadavg): 0.99 0.98 0.89 2/54 21090
Raw data (stat): 21090 (pb2sat) R 21089 15547 15546 0 -1 0 61390 0 0 0 71850 158 0 0 25 0 1 0 805945148 180146176 30956 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43981 30956 300 300 0 43681 0
vsize: 175924
[startup+730.014 s]
Raw data (loadavg): 0.99 0.98 0.89 2/54 21090
Raw data (stat): 21090 (pb2sat) R 21089 15547 15546 0 -1 0 61997 0 0 0 72848 160 0 0 25 0 1 0 805945148 180146176 30974 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43981 30974 300 300 0 43681 0
vsize: 175924
[startup+740.012 s]
Raw data (loadavg): 0.99 0.98 0.89 2/54 21090
Raw data (stat): 21090 (pb2sat) R 21089 15547 15546 0 -1 0 62031 0 0 0 73847 161 0 0 25 0 1 0 805945148 180146176 31008 4294967295 134512640 135726644 3221224592 3221223088 134744169 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43981 31008 300 300 0 43681 0
vsize: 175924
[startup+750.013 s]
Raw data (loadavg): 0.99 0.98 0.89 2/54 21090
Raw data (stat): 21090 (pb2sat) R 21089 15547 15546 0 -1 0 62092 0 0 0 74847 161 0 0 25 0 1 0 805945148 180281344 31069 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44014 31069 300 300 0 43714 0
vsize: 176056
[startup+760.013 s]
Raw data (loadavg): 0.99 0.98 0.89 2/54 21090
Raw data (stat): 21090 (pb2sat) R 21089 15547 15546 0 -1 0 62107 0 0 0 75847 162 0 0 25 0 1 0 805945148 180281344 31084 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44014 31084 300 300 0 43714 0
vsize: 176056
[startup+770.013 s]
Raw data (loadavg): 0.99 0.98 0.89 2/54 21090
Raw data (stat): 21090 (pb2sat) R 21089 15547 15546 0 -1 0 62150 0 0 0 76847 162 0 0 25 0 1 0 805945148 180281344 31127 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44014 31127 300 300 0 43714 0
vsize: 176056
[startup+780.014 s]
Raw data (loadavg): 0.99 0.98 0.90 2/54 21090
Raw data (stat): 21090 (pb2sat) R 21089 15547 15546 0 -1 0 62205 0 0 0 77846 162 0 0 25 0 1 0 805945148 180281344 31182 4294967295 134512640 135726644 3221224592 3221223104 134742493 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44014 31182 300 300 0 43714 0
vsize: 176056
[startup+790.014 s]
Raw data (loadavg): 0.99 0.98 0.90 2/54 21090
Raw data (stat): 21090 (pb2sat) R 21089 15547 15546 0 -1 0 62801 0 0 0 78844 165 0 0 25 0 1 0 805945148 180281344 31189 4294967295 134512640 135726644 3221224592 3221223088 134744020 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44014 31189 300 300 0 43714 0
vsize: 176056
[startup+800.014 s]
Raw data (loadavg): 0.99 0.98 0.90 2/54 21090
Raw data (stat): 21090 (pb2sat) R 21089 15547 15546 0 -1 0 62816 0 0 0 79844 165 0 0 25 0 1 0 805945148 180281344 31204 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44014 31204 300 300 0 43714 0
vsize: 176056
[startup+810.013 s]
Raw data (loadavg): 0.99 0.98 0.90 2/54 21090
Raw data (stat): 21090 (pb2sat) R 21089 15547 15546 0 -1 0 64000 0 0 0 80841 168 0 0 25 0 1 0 805945148 182693888 31799 4294967295 134512640 135726644 3221224592 3221222904 134761847 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44603 31799 300 300 0 44303 0
vsize: 178412
[startup+820.014 s]
Raw data (loadavg): 0.99 0.98 0.90 2/54 21090
Raw data (stat): 21090 (pb2sat) R 21089 15547 15546 0 -1 0 64608 0 0 0 81839 171 0 0 25 0 1 0 805945148 180281344 31229 4294967295 134512640 135726644 3221224592 3221222920 134735638 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44014 31229 300 300 0 43714 0
vsize: 176056
[startup+830.015 s]
Raw data (loadavg): 0.99 0.98 0.90 2/54 21090
Raw data (stat): 21090 (pb2sat) R 21089 15547 15546 0 -1 0 64681 0 0 0 82838 172 0 0 25 0 1 0 805945148 180281344 31302 4294967295 134512640 135726644 3221224592 3221223248 134731248 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44014 31302 300 300 0 43714 0
vsize: 176056
[startup+840.014 s]
Raw data (loadavg): 0.99 0.98 0.90 2/54 21090
Raw data (stat): 21090 (pb2sat) R 21089 15547 15546 0 -1 0 64753 0 0 0 83838 172 0 0 25 0 1 0 805945148 180281344 31374 4294967295 134512640 135726644 3221224592 3221223088 134744069 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44014 31374 300 300 0 43714 0
vsize: 176056
[startup+850.015 s]
Raw data (loadavg): 0.99 0.98 0.90 2/54 21090
Raw data (stat): 21090 (pb2sat) R 21089 15547 15546 0 -1 0 64806 0 0 0 84838 172 0 0 25 0 1 0 805945148 180281344 31427 4294967295 134512640 135726644 3221224592 3221223088 134743931 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44014 31427 300 300 0 43714 0
vsize: 176056
[startup+860.015 s]
Raw data (loadavg): 0.99 0.98 0.90 2/54 21090
Raw data (stat): 21090 (pb2sat) R 21089 15547 15546 0 -1 0 64867 0 0 0 85837 173 0 0 25 0 1 0 805945148 180281344 31488 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44014 31488 300 300 0 43714 0
vsize: 176056
[startup+870.016 s]
Raw data (loadavg): 0.99 0.98 0.90 2/54 21090
Raw data (stat): 21090 (pb2sat) R 21089 15547 15546 0 -1 0 64926 0 0 0 86836 174 0 0 25 0 1 0 805945148 180281344 31547 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44014 31547 300 300 0 43714 0
vsize: 176056
[startup+880.016 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 21090
Raw data (stat): 21090 (pb2sat) R 21089 15547 15546 0 -1 0 64994 0 0 0 87836 174 0 0 25 0 1 0 805945148 180412416 31582 4294967295 134512640 135726644 3221224592 3221223088 134743999 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44046 31582 300 300 0 43746 0
vsize: 176184
[startup+890.016 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 21090
Raw data (stat): 21090 (pb2sat) R 21089 15547 15546 0 -1 0 65024 0 0 0 88836 175 0 0 25 0 1 0 805945148 180412416 31612 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44046 31612 300 300 0 43746 0
vsize: 176184
[startup+900.016 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 21090
Raw data (stat): 21090 (pb2sat) R 21089 15547 15546 0 -1 0 65663 0 0 0 89834 177 0 0 25 0 1 0 805945148 180412416 31662 4294967295 134512640 135726644 3221224592 3221223216 134779669 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44046 31662 300 300 0 43746 0
vsize: 176184
[startup+910.016 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 21090
Raw data (stat): 21090 (pb2sat) R 21089 15547 15546 0 -1 0 65740 0 0 0 90833 178 0 0 25 0 1 0 805945148 180707328 31706 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44118 31706 300 300 0 43818 0
vsize: 176472
[startup+920.017 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 21090
Raw data (stat): 21090 (pb2sat) R 21089 15547 15546 0 -1 0 66332 0 0 0 91831 180 0 0 25 0 1 0 805945148 180707328 31709 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44118 31709 300 300 0 43818 0
vsize: 176472
[startup+930.016 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 21090
Raw data (stat): 21090 (pb2sat) R 21089 15547 15546 0 -1 0 66334 0 0 0 92831 180 0 0 25 0 1 0 805945148 180707328 31711 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44118 31711 300 300 0 43818 0
vsize: 176472
[startup+940.016 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 21090
Raw data (stat): 21090 (pb2sat) R 21089 15547 15546 0 -1 0 66925 0 0 0 93830 181 0 0 25 0 1 0 805945148 180707328 31713 4294967295 134512640 135726644 3221224592 3221223088 134744069 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44118 31713 300 300 0 43818 0
vsize: 176472
[startup+950.016 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 21090
Raw data (stat): 21090 (pb2sat) R 21089 15547 15546 0 -1 0 67374 0 0 0 94828 183 0 0 25 0 1 0 805945148 182562816 32063 4294967295 134512640 135726644 3221224592 3221223260 134745062 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44571 32063 300 300 0 44271 0
vsize: 178284
[startup+960.016 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 21090
Raw data (stat): 21090 (pb2sat) R 21089 15547 15546 0 -1 0 69005 0 0 0 95825 187 0 0 25 0 1 0 805945148 189218816 33209 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 46196 33209 300 300 0 45896 0
vsize: 184784
[startup+970.017 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 21090
Raw data (stat): 21090 (pb2sat) R 21089 15547 15546 0 -1 0 69882 0 0 0 96823 189 0 0 25 0 1 0 805945148 193298432 34004 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47192 34004 300 300 0 46892 0
vsize: 188768
[startup+980.017 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 21090
Raw data (stat): 21090 (pb2sat) R 21089 15547 15546 0 -1 0 70961 0 0 0 97820 192 0 0 25 0 1 0 805945148 197083136 34756 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 48116 34756 300 300 0 47816 0
vsize: 192464
[startup+990.016 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 21090
Raw data (stat): 21090 (pb2sat) R 21089 15547 15546 0 -1 0 73084 0 0 0 98815 196 0 0 25 0 1 0 805945148 201842688 35473 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 49278 35473 300 300 0 48978 0
vsize: 197112
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 21090
Raw data (stat): 21090 (pb2sat) R 21089 15547 15546 0 -1 0 73087 0 0 0 99816 196 0 0 25 0 1 0 805945148 201842688 35476 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 49278 35476 300 300 0 48978 0
vsize: 197112
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 21090
Raw data (stat): 21090 (pb2sat) R 21089 15547 15546 0 -1 0 73089 0 0 0 100815 197 0 0 25 0 1 0 805945148 201842688 35478 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 49278 35478 300 300 0 48978 0
vsize: 197112
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 21090
Raw data (stat): 21090 (pb2sat) R 21089 15547 15546 0 -1 0 73102 0 0 0 101815 197 0 0 25 0 1 0 805945148 201842688 35491 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 49278 35491 300 300 0 48978 0
vsize: 197112
[startup+1030.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 21090
Raw data (stat): 21090 (pb2sat) R 21089 15547 15546 0 -1 0 73738 0 0 0 102813 199 0 0 25 0 1 0 805945148 202113024 35538 4294967295 134512640 135726644 3221224592 3221223184 134759977 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 49344 35538 300 300 0 49044 0
vsize: 197376
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 21090
Raw data (stat): 21090 (pb2sat) R 21089 15547 15546 0 -1 0 73740 0 0 0 103812 200 0 0 25 0 1 0 805945148 202113024 35540 4294967295 134512640 135726644 3221224592 3221223136 134736624 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 49344 35540 300 300 0 49044 0
vsize: 197376
[startup+1050.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 21090
Raw data (stat): 21090 (pb2sat) R 21089 15547 15546 0 -1 0 73836 0 0 0 104812 201 0 0 25 0 1 0 805945148 202653696 35636 4294967295 134512640 135726644 3221224592 3221223280 134744861 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 49476 35636 300 300 0 49176 0
vsize: 197904
[startup+1060.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 21090
Raw data (stat): 21090 (pb2sat) R 21089 15547 15546 0 -1 0 73977 0 0 0 105811 202 0 0 25 0 1 0 805945148 203321344 35744 4294967295 134512640 135726644 3221224592 3221222912 134728931 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 49639 35744 300 300 0 49339 0
vsize: 198556
[startup+1070.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 21090
Raw data (stat): 21090 (pb2sat) R 21089 15547 15546 0 -1 0 74189 0 0 0 106810 203 0 0 25 0 1 0 805945148 203714560 35857 4294967295 134512640 135726644 3221224592 3221223104 134742276 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 49735 35857 300 300 0 49435 0
vsize: 198940
[startup+1080.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 21090
Raw data (stat): 21090 (pb2sat) R 21089 15547 15546 0 -1 0 74779 0 0 0 107809 204 0 0 25 0 1 0 805945148 203714560 35858 4294967295 134512640 135726644 3221224592 3221223248 134731263 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 49735 35858 300 300 0 49435 0
vsize: 198940
[startup+1090.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 21090
Raw data (stat): 21090 (pb2sat) R 21089 15547 15546 0 -1 0 75958 0 0 0 108806 207 0 0 25 0 1 0 805945148 206127104 36448 4294967295 134512640 135726644 3221224592 3221222908 134761832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 50324 36448 300 300 0 50024 0
vsize: 201296
[startup+1100.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 21090
Raw data (stat): 21090 (pb2sat) R 21089 15547 15546 0 -1 0 75961 0 0 0 109806 208 0 0 25 0 1 0 805945148 203714560 35862 4294967295 134512640 135726644 3221224592 3221223088 134744002 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 49735 35862 300 300 0 49435 0
vsize: 198940
[startup+1110.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 21090
Raw data (stat): 21090 (pb2sat) R 21089 15547 15546 0 -1 0 75964 0 0 0 110805 208 0 0 25 0 1 0 805945148 203714560 35865 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 49735 35865 300 300 0 49435 0
vsize: 198940
[startup+1120.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 21090
Raw data (stat): 21090 (pb2sat) R 21089 15547 15546 0 -1 0 75967 0 0 0 111804 209 0 0 25 0 1 0 805945148 203714560 35868 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 49735 35868 300 300 0 49435 0
vsize: 198940
[startup+1130.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 21090
Raw data (stat): 21090 (pb2sat) R 21089 15547 15546 0 -1 0 75969 0 0 0 112804 209 0 0 25 0 1 0 805945148 203714560 35870 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 49735 35870 300 300 0 49435 0
vsize: 198940
[startup+1140.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 21090
Raw data (stat): 21090 (pb2sat) R 21089 15547 15546 0 -1 0 75971 0 0 0 113804 210 0 0 25 0 1 0 805945148 203714560 35872 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 49735 35872 300 300 0 49435 0
vsize: 198940
[startup+1150.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 21090
Raw data (stat): 21090 (pb2sat) R 21089 15547 15546 0 -1 0 75973 0 0 0 114804 210 0 0 25 0 1 0 805945148 203714560 35874 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 49735 35874 300 300 0 49435 0
vsize: 198940
[startup+1160.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 21090
Raw data (stat): 21090 (pb2sat) R 21089 15547 15546 0 -1 0 75975 0 0 0 115803 210 0 0 25 0 1 0 805945148 203714560 35876 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 49735 35876 300 300 0 49435 0
vsize: 198940
[startup+1170.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 21090
Raw data (stat): 21090 (pb2sat) R 21089 15547 15546 0 -1 0 75977 0 0 0 116803 210 0 0 25 0 1 0 805945148 203714560 35878 4294967295 134512640 135726644 3221224592 3221223004 135105707 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 49735 35878 300 300 0 49435 0
vsize: 198940
[startup+1180.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 21090
Raw data (stat): 21090 (pb2sat) R 21089 15547 15546 0 -1 0 76567 0 0 0 117802 212 0 0 25 0 1 0 805945148 203714560 35879 4294967295 134512640 135726644 3221224592 3221223136 134736847 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 49735 35879 300 300 0 49435 0
vsize: 198940
[startup+1190.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 21090
Raw data (stat): 21090 (pb2sat) R 21089 15547 15546 0 -1 0 76569 0 0 0 118801 213 0 0 25 0 1 0 805945148 203714560 35881 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 49735 35881 300 300 0 49435 0
vsize: 198940
[startup+1200.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 21090
Raw data (stat): 21090 (pb2sat) R 21089 15547 15546 0 -1 0 76644 0 0 0 119801 213 0 0 25 0 1 0 805945148 203980800 35923 4294967295 134512640 135726644 3221224592 3221222912 134728916 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 49800 35923 300 300 0 49500 0
vsize: 199200
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1201.37 s]
Raw data (loadavg): 0.99 0.98 0.91 1/54 21090
Raw data (stat): 21090 (pb2sat) Z 21089 15547 15546 0 -1 12 76645 0 0 0 119929 220 0 0 25 0 1 0 805945148 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): 1201.37
CPU time (s): 1201.5
CPU user time (s): 1199.29
CPU system time (s): 2.20966
CPU usage (%): 100.011
Max. virtual memory (Kb): 201296
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	364
#### END VERIFIER DATA ####