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-ii8e1.opb
MD5SUM	979ebd144bbd2b562b23479b90a02c66
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	343
Optimality of the best value was proved	NO
Number of terms in the objective function	1040
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	1040
Number of bits of the sum of numbers in the objective function	11
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	1040
Number of bits of the biggest sum of numbers	11
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.03484
Number of variables	1040
Total number of constraints	3656
Number of constraints which are clauses	3656
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	10
Trace number 33680

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc26 THE 2005-05-27 15:16:21 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=1574 boxname=wulflinc26 idbench=175 idsolver=8 numberseed=0
MD5SUM SOLVER: 4b637b3b6117f2add1a6288e91336322  /oldhome/oroussel/solvers/vallstSAT2005PB.sh
MD5SUM BENCH:  979ebd144bbd2b562b23479b90a02c66  /oldhome/oroussel/tmp/wulflinc26/normalized-ii8e1.opb
REAL COMMAND:  vallstSAT2005PB.sh /oldhome/oroussel/tmp/wulflinc26/normalized-ii8e1.opb 0
IDLAUNCH: 1574
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.061
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.061
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        761340 kB
Buffers:         22928 kB
Cached:         229096 kB
SwapCached:        800 kB
Active:          22680 kB
Inactive:       231588 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        761088 kB
SwapTotal:     2097892 kB
SwapFree:      2096348 kB
Dirty:            1072 kB
Writeback:           0 kB
Mapped:           5208 kB
Slab:            13324 kB
Committed_AS:    63736 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-27 15:36:52 (client local time) WITH STATUS 10 IN 1230.34 SECONDS
stats: 1574 0 1230.34 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
1:
seed: 0
Nr of vars set: 0  (#equs: 0)
Nr of vars set: 0  (#equs: 0)
#decisions: 574;  #end-nodes: 23;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 23 / 98 (80)
#axs: 3657, #non-axs: 23
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
result: model found (1)
Model found with constant:  663 (376:>=*);
Interupt request received.
Model found with constant:
  (pushed:) 663 (376:>=*)

No proof was found though that an increment of the
last pushed constraint doesn't have a model.
result: an interupt signal has been received (3)
seed: 0
Nr of vars set: 0  (#equs: 0)
Time taken: 20 min, 29 sec
times:
0m0.016s 0m0.009s
20m17.144s 0m12.730s
v  x1 -x2  x3 -x4  x5 -x6  x7 -x8  x9 -x10  x11 -x12  x13 -x14 -x15  x16  x17 -x18  x19 -x20  x21 -x22  x23 -x24  x25 -x26  x27 -x28 -x29  x30  x31 -x32  x33 -x34  x35 -x36 -x37  x38  x39 -x40  x41 -x42  x43 -x44  x45 -x46  x47 -x48 -x49  x50  x51 -x52  x53 -x54  x55 -x56  x57 -x58  x59 -x60  x61 -x62  x63 -x64  x65 -x66  x67 -x68  x69 -x70  x71 -x72  x73 -x74  x75 -x76  x77 -x78  x79 -x80  x81 -x82  x83 -x84  x85 -x86  x87 -x88  x89 -x90  x91 -x92 -x93  x94  x95 -x96  x97 -x98  x99 -x100 -x101  x102  x103 -x104  x105 -x106  x107 -x108  x109 -x110  x111 -x112 -x113  x114  x115 -x116  x117 -x118  x119 -x120  x121 -x122  x123 -x124  x125 -x126  x127 -x128  x129 -x130  x131 -x132  x133 -x134  x135 -x136  x137 -x138  x139 -x140  x141 -x142  x143 -x144  x145 -x146  x147 -x148  x149 -x150  x151 -x152  x153 -x154  x155 -x156 -x157  x158  x159 -x160  x161 -x162  x163 -x164  x165 -x166  x167 -x168  x169 -x170  x171 -x172  x173 -x174  x175 -x176  x177 -x178  x179 -x180  x181 -x182  x183 -x184  x185 -x186  x187 -x188 -x189  x190  x191 -x192  x193 -x194  x195 -x196  x197 -x198  x199 -x200  x201 -x202  x203 -x204  x205 -x206  x207 -x208  x209 -x210 -x211  x212  x213 -x214  x215 -x216  x217 -x218  x219 -x220 -x221  x222  x223 -x224  x225 -x226  x227 -x228  x229 -x230  x231 -x232  x233 -x234  x235 -x236  x237 -x238  x239 -x240  x241 -x242  x243 -x244  x245 -x246  x247 -x248  x249 -x250  x251 -x252 -x253  x254  x255 -x256  x257 -x258  x259 -x260  x261 -x262  x263 -x264  x265 -x266  x267 -x268  x269 -x270  x271 -x272  x273 -x274  x275 -x276  x277 -x278  x279 -x280  x281 -x282  x283 -x284 -x285  x286  x287 -x288  x289 -x290  x291 -x292  x293 -x294  x295 -x296  x297 -x298 -x299  x300  x301 -x302  x303 -x304 -x305  x306  x307 -x308  x309 -x310  x311 -x312  x313 -x314  x315 -x316  x317 -x318  x319 -x320 -x321  x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333  x334  x335 -x336 -x337 -x338 -x339 -x340  x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353  x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361  x362 -x363  x364 -x365 -x366 -x367  x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376  x377 -x378 -x379  x380 -x381  x382  x383 -x384 -x385  x386 -x387 -x388 -x389  x390 -x391  x392 -x393  x394 -x395  x396 -x397  x398 -x399  x400 -x401  x402 -x403  x404 -x405 -x406 -x407  x408  x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419  x420 -x421  x422 -x423 -x424 -x425  x426  x427 -x428 -x429  x430 -x431  x432 -x433  x434 -x435  x436 -x437  x438 -x439  x440 -x441 -x442 -x443  x444 -x445 -x446 -x447  x448 -x449 -x450 -x451 -x452  x453 -x454 -x455 -x456 -x457 -x458 -x459  x460 -x461  x462  x463 -x464 -x465  x466 -x467 -x468 -x469  x470 -x471  x472 -x473  x474 -x475  x476 -x477  x478 -x479  x480 -x481  x482 -x483  x484 -x485  x486 -x487  x488 -x489  x490 -x491  x492 -x493  x494 -x495  x496 -x497  x498  x499 -x500 -x501  x502 -x503  x504 -x505 -x506 -x507  x508 -x509 -x510 -x511 -x512  x513 -x514 -x515 -x516 -x517 -x518 -x519  x520 -x521 -x522 -x523  x524 -x525 -x526 -x527  x528  x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539  x540 -x541  x542 -x543  x544 -x545 -x546 -x547  x548  x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559  x560 -x561  x562 -x563  x564 -x565 -x566 -x567  x568 -x569 -x570 -x571 -x572 -x573  x574  x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583  x584 -x585 -x586 -x587  x588  x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599  x600 -x601 -x602 -x603  x604 -x605 -x606 -x607  x608  x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619  x620 -x621  x622 -x623 -x624 -x625  x626  x627 -x628 -x629  x630 -x631  x632 -x633  x634 -x635  x636 -x637  x638 -x639  x640 -x641  x642 -x643  x644 -x645 -x646 -x647  x648  x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659  x660 -x661  x662 -x663 -x664 -x665  x666 -x667 -x668 -x669  x670 -x671  x672 -x673  x674 -x675  x676 -x677  x678  x679 -x680 -x681 -x682 -x683  x684 -x685 -x686 -x687  x688 -x689 -x690 -x691 -x692 -x693  x694 -x695 -x696 -x697 -x698  x699 -x700 -x701  x702 -x703  x704  x705 -x706 -x707  x708 -x709 -x710 -x711 -x712 -x713  x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721  x722 -x723  x724 -x725 -x726 -x727  x728 -x729 -x730  x731 -x732 -x733  x734 -x735 -x736 -x737 -x738 -x739  x740 -x741  x742 -x743 -x744 -x745  x746  x747 -x748 -x749  x750 -x751  x752 -x753  x754 -x755  x756 -x757  x758 -x759  x760 -x761  x762 -x763  x764 -x765 -x766 -x767  x768 -x769 -x770 -x771 -x772  x773 -x774 -x775 -x776 -x777 -x778 -x779  x780 -x781  x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793  x794  x795 -x796 -x797 -x798 -x799 -x800 -x801  x802 -x803  x804 -x805  x806 -x807  x808 -x809  x810 -x811  x812 -x813  x814 -x815  x816 -x817  x818  x819 -x820 -x821  x822 -x823  x824 -x825 -x826 -x827  x828 -x829 -x830  x831 -x832 -x833  x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848  x849 -x850 -x851 -x852 -x853  x854 -x855 -x856 -x857 -x858 -x859  x860 -x861  x862 -x863  x864 -x865 -x866 -x867  x868 -x869 -x870  x871 -x872 -x873  x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881  x882 -x883 -x884 -x885  x886  x887 -x888 -x889  x890 -x891  x892 -x893  x894 -x895  x896 -x897  x898 -x899  x900 -x901 -x902 -x903  x904 -x905 -x906 -x907  x908  x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919  x920 -x921  x922  x923 -x924 -x925  x926 -x927 -x928 -x929  x930 -x931  x932 -x933  x934 -x935  x936 -x937  x938 -x939  x940 -x941 -x942 -x943 -x944 -x945 -x946  x947 -x948 -x949 -x950 -x951 -x952 -x953  x954 -x955 -x956 -x957 -x958 -x959  x960 -x961  x962  x963 -x964 -x965  x966 -x967 -x968 -x969  x970 -x971  x972 -x973  x974 -x975  x976 -x977  x978 -x979  x980 -x981 -x982 -x983 -x984  x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993  x994 -x995 -x996 -x997  x998 -x999  x1000 -x1001  x1002 -x1003 -x1004 -x1005  x1006  x1007 -x1008 -x1009  x1010 -x1011  x1012 -x1013  x1014 -x1015  x1016 -x1017  x1018 -x1019 -x1020 -x1021  x1022 -x1023  x1024 -x1025  x1026 -x1027  x1028 -x1029  x1030 -x1031  x1032 -x1033  x1034 -x1035  x1036 -x1037  x1038  x1039 -x1040 
s SATISFIABLE
 Interupt; Current theory and settings are copied here:
   /tmp/vallst_sh_out_theory.vnf
   /tmp/vallst_sh_changing_setting.options
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.99 0.97 0.91 2/54 26525
Raw data (stat): 26525 (runsolver) R 26524 20687 20686 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 857177169 884736 94 4294967295 134512640 135332820 3221224464 3221219628 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.0005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26528
Raw data (stat): 26525 (vallstSAT2005PB) S 26524 20687 20686 0 -1 0 321 232 0 0 0 0 0 0 20 0 1 0 857177169 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+20.0005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26528
Raw data (stat): 26525 (vallstSAT2005PB) S 26524 20687 20686 0 -1 0 321 232 0 0 0 0 0 0 20 0 1 0 857177169 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+30.0002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26528
Raw data (stat): 26525 (vallstSAT2005PB) S 26524 20687 20686 0 -1 0 321 232 0 0 0 0 0 0 20 0 1 0 857177169 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+40.0006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26528
Raw data (stat): 26525 (vallstSAT2005PB) S 26524 20687 20686 0 -1 0 321 232 0 0 0 0 0 0 20 0 1 0 857177169 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+50.0007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26528
Raw data (stat): 26525 (vallstSAT2005PB) S 26524 20687 20686 0 -1 0 321 232 0 0 0 0 0 0 20 0 1 0 857177169 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+60.0013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26528
Raw data (stat): 26525 (vallstSAT2005PB) S 26524 20687 20686 0 -1 0 321 232 0 0 0 0 0 0 20 0 1 0 857177169 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+70.0018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26528
Raw data (stat): 26525 (vallstSAT2005PB) S 26524 20687 20686 0 -1 0 321 232 0 0 0 0 0 0 20 0 1 0 857177169 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+80.0012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26528
Raw data (stat): 26525 (vallstSAT2005PB) S 26524 20687 20686 0 -1 0 321 232 0 0 0 0 0 0 20 0 1 0 857177169 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+90.0012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26528
Raw data (stat): 26525 (vallstSAT2005PB) S 26524 20687 20686 0 -1 0 321 232 0 0 0 0 0 0 20 0 1 0 857177169 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+100.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26528
Raw data (stat): 26525 (vallstSAT2005PB) S 26524 20687 20686 0 -1 0 321 232 0 0 0 0 0 0 20 0 1 0 857177169 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+110.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26528
Raw data (stat): 26525 (vallstSAT2005PB) S 26524 20687 20686 0 -1 0 321 232 0 0 0 0 0 0 20 0 1 0 857177169 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+120.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26528
Raw data (stat): 26525 (vallstSAT2005PB) S 26524 20687 20686 0 -1 0 321 232 0 0 0 0 0 0 20 0 1 0 857177169 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+130.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26528
Raw data (stat): 26525 (vallstSAT2005PB) S 26524 20687 20686 0 -1 0 321 232 0 0 0 0 0 0 20 0 1 0 857177169 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+140.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26528
Raw data (stat): 26525 (vallstSAT2005PB) S 26524 20687 20686 0 -1 0 321 232 0 0 0 0 0 0 20 0 1 0 857177169 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+150.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26528
Raw data (stat): 26525 (vallstSAT2005PB) S 26524 20687 20686 0 -1 0 321 232 0 0 0 0 0 0 20 0 1 0 857177169 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+160.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26528
Raw data (stat): 26525 (vallstSAT2005PB) S 26524 20687 20686 0 -1 0 321 232 0 0 0 0 0 0 20 0 1 0 857177169 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+170.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26528
Raw data (stat): 26525 (vallstSAT2005PB) S 26524 20687 20686 0 -1 0 321 232 0 0 0 0 0 0 20 0 1 0 857177169 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+180.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26528
Raw data (stat): 26525 (vallstSAT2005PB) S 26524 20687 20686 0 -1 0 321 232 0 0 0 0 0 0 20 0 1 0 857177169 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+190.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26528
Raw data (stat): 26525 (vallstSAT2005PB) S 26524 20687 20686 0 -1 0 321 232 0 0 0 0 0 0 20 0 1 0 857177169 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+200.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26528
Raw data (stat): 26525 (vallstSAT2005PB) S 26524 20687 20686 0 -1 0 321 232 0 0 0 0 0 0 20 0 1 0 857177169 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+210.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26528
Raw data (stat): 26525 (vallstSAT2005PB) S 26524 20687 20686 0 -1 0 321 232 0 0 0 0 0 0 20 0 1 0 857177169 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+220.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26528
Raw data (stat): 26525 (vallstSAT2005PB) S 26524 20687 20686 0 -1 0 321 232 0 0 0 0 0 0 20 0 1 0 857177169 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+230.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26528
Raw data (stat): 26525 (vallstSAT2005PB) S 26524 20687 20686 0 -1 0 321 232 0 0 0 0 0 0 20 0 1 0 857177169 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+240.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26528
Raw data (stat): 26525 (vallstSAT2005PB) S 26524 20687 20686 0 -1 0 321 232 0 0 0 0 0 0 20 0 1 0 857177169 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+250.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26528
Raw data (stat): 26525 (vallstSAT2005PB) S 26524 20687 20686 0 -1 0 321 232 0 0 0 0 0 0 20 0 1 0 857177169 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+260.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26528
Raw data (stat): 26525 (vallstSAT2005PB) S 26524 20687 20686 0 -1 0 321 232 0 0 0 0 0 0 20 0 1 0 857177169 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+270.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26528
Raw data (stat): 26525 (vallstSAT2005PB) S 26524 20687 20686 0 -1 0 321 232 0 0 0 0 0 0 20 0 1 0 857177169 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+280.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26528
Raw data (stat): 26525 (vallstSAT2005PB) S 26524 20687 20686 0 -1 0 321 232 0 0 0 0 0 0 20 0 1 0 857177169 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+290.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26528
Raw data (stat): 26525 (vallstSAT2005PB) S 26524 20687 20686 0 -1 0 321 232 0 0 0 0 0 0 20 0 1 0 857177169 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+300.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26528
Raw data (stat): 26525 (vallstSAT2005PB) S 26524 20687 20686 0 -1 0 321 232 0 0 0 0 0 0 20 0 1 0 857177169 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+310.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26528
Raw data (stat): 26525 (vallstSAT2005PB) S 26524 20687 20686 0 -1 0 321 232 0 0 0 0 0 0 20 0 1 0 857177169 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+320.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26528
Raw data (stat): 26525 (vallstSAT2005PB) S 26524 20687 20686 0 -1 0 321 232 0 0 0 0 0 0 20 0 1 0 857177169 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+330.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26528
Raw data (stat): 26525 (vallstSAT2005PB) S 26524 20687 20686 0 -1 0 321 232 0 0 0 0 0 0 20 0 1 0 857177169 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+340.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26528
Raw data (stat): 26525 (vallstSAT2005PB) S 26524 20687 20686 0 -1 0 321 232 0 0 0 0 0 0 20 0 1 0 857177169 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+350 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26528
Raw data (stat): 26525 (vallstSAT2005PB) S 26524 20687 20686 0 -1 0 321 232 0 0 0 0 0 0 20 0 1 0 857177169 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+360.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26528
Raw data (stat): 26525 (vallstSAT2005PB) S 26524 20687 20686 0 -1 0 321 232 0 0 0 0 0 0 20 0 1 0 857177169 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+370.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26528
Raw data (stat): 26525 (vallstSAT2005PB) S 26524 20687 20686 0 -1 0 321 232 0 0 0 0 0 0 20 0 1 0 857177169 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+380.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26528
Raw data (stat): 26525 (vallstSAT2005PB) S 26524 20687 20686 0 -1 0 321 232 0 0 0 0 0 0 20 0 1 0 857177169 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+390.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26528
Raw data (stat): 26525 (vallstSAT2005PB) S 26524 20687 20686 0 -1 0 321 232 0 0 0 0 0 0 20 0 1 0 857177169 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+400.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26528
Raw data (stat): 26525 (vallstSAT2005PB) S 26524 20687 20686 0 -1 0 321 232 0 0 0 0 0 0 20 0 1 0 857177169 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+410.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26528
Raw data (stat): 26525 (vallstSAT2005PB) S 26524 20687 20686 0 -1 0 321 232 0 0 0 0 0 0 20 0 1 0 857177169 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+420.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26528
Raw data (stat): 26525 (vallstSAT2005PB) S 26524 20687 20686 0 -1 0 321 232 0 0 0 0 0 0 20 0 1 0 857177169 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+430.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26528
Raw data (stat): 26525 (vallstSAT2005PB) S 26524 20687 20686 0 -1 0 321 232 0 0 0 0 0 0 20 0 1 0 857177169 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+440.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26528
Raw data (stat): 26525 (vallstSAT2005PB) S 26524 20687 20686 0 -1 0 321 232 0 0 0 0 0 0 20 0 1 0 857177169 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+450.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26528
Raw data (stat): 26525 (vallstSAT2005PB) S 26524 20687 20686 0 -1 0 321 232 0 0 0 0 0 0 20 0 1 0 857177169 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+460.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26528
Raw data (stat): 26525 (vallstSAT2005PB) S 26524 20687 20686 0 -1 0 321 232 0 0 0 0 0 0 20 0 1 0 857177169 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+470.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26528
Raw data (stat): 26525 (vallstSAT2005PB) S 26524 20687 20686 0 -1 0 321 232 0 0 0 0 0 0 20 0 1 0 857177169 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+480.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26528
Raw data (stat): 26525 (vallstSAT2005PB) S 26524 20687 20686 0 -1 0 321 232 0 0 0 0 0 0 20 0 1 0 857177169 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+490.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26528
Raw data (stat): 26525 (vallstSAT2005PB) S 26524 20687 20686 0 -1 0 321 232 0 0 0 0 0 0 20 0 1 0 857177169 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+500.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26528
Raw data (stat): 26525 (vallstSAT2005PB) S 26524 20687 20686 0 -1 0 321 232 0 0 0 0 0 0 20 0 1 0 857177169 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+510.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26528
Raw data (stat): 26525 (vallstSAT2005PB) S 26524 20687 20686 0 -1 0 321 232 0 0 0 0 0 0 20 0 1 0 857177169 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+520.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26528
Raw data (stat): 26525 (vallstSAT2005PB) S 26524 20687 20686 0 -1 0 321 232 0 0 0 0 0 0 20 0 1 0 857177169 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+530 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26528
Raw data (stat): 26525 (vallstSAT2005PB) S 26524 20687 20686 0 -1 0 321 232 0 0 0 0 0 0 20 0 1 0 857177169 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+540 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26528
Raw data (stat): 26525 (vallstSAT2005PB) S 26524 20687 20686 0 -1 0 321 232 0 0 0 0 0 0 20 0 1 0 857177169 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+550 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26528
Raw data (stat): 26525 (vallstSAT2005PB) S 26524 20687 20686 0 -1 0 321 232 0 0 0 0 0 0 20 0 1 0 857177169 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+560 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26528
Raw data (stat): 26525 (vallstSAT2005PB) S 26524 20687 20686 0 -1 0 321 232 0 0 0 0 0 0 20 0 1 0 857177169 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+570 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26528
Raw data (stat): 26525 (vallstSAT2005PB) S 26524 20687 20686 0 -1 0 321 232 0 0 0 0 0 0 20 0 1 0 857177169 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+580 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26528
Raw data (stat): 26525 (vallstSAT2005PB) S 26524 20687 20686 0 -1 0 321 232 0 0 0 0 0 0 20 0 1 0 857177169 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+590 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26528
Raw data (stat): 26525 (vallstSAT2005PB) S 26524 20687 20686 0 -1 0 321 232 0 0 0 0 0 0 20 0 1 0 857177169 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+600.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26528
Raw data (stat): 26525 (vallstSAT2005PB) S 26524 20687 20686 0 -1 0 321 232 0 0 0 0 0 0 20 0 1 0 857177169 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+610.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26528
Raw data (stat): 26525 (vallstSAT2005PB) S 26524 20687 20686 0 -1 0 321 232 0 0 0 0 0 0 20 0 1 0 857177169 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+620 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26528
Raw data (stat): 26525 (vallstSAT2005PB) S 26524 20687 20686 0 -1 0 321 232 0 0 0 0 0 0 20 0 1 0 857177169 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+630 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26528
Raw data (stat): 26525 (vallstSAT2005PB) S 26524 20687 20686 0 -1 0 321 232 0 0 0 0 0 0 20 0 1 0 857177169 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+640.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26528
Raw data (stat): 26525 (vallstSAT2005PB) S 26524 20687 20686 0 -1 0 321 232 0 0 0 0 0 0 20 0 1 0 857177169 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+650 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26528
Raw data (stat): 26525 (vallstSAT2005PB) S 26524 20687 20686 0 -1 0 321 232 0 0 0 0 0 0 20 0 1 0 857177169 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+660 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26528
Raw data (stat): 26525 (vallstSAT2005PB) S 26524 20687 20686 0 -1 0 321 232 0 0 0 0 0 0 20 0 1 0 857177169 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+670.001 s]
Raw data (loadavg): 1.06 0.99 0.91 2/55 26528
Raw data (stat): 26525 (vallstSAT2005PB) S 26524 20687 20686 0 -1 0 321 232 0 0 0 0 0 0 20 0 1 0 857177169 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+680 s]
Raw data (loadavg): 1.05 0.99 0.91 2/55 26528
Raw data (stat): 26525 (vallstSAT2005PB) S 26524 20687 20686 0 -1 0 321 232 0 0 0 0 0 0 20 0 1 0 857177169 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+690 s]
Raw data (loadavg): 1.04 0.99 0.91 2/55 26528
Raw data (stat): 26525 (vallstSAT2005PB) S 26524 20687 20686 0 -1 0 321 232 0 0 0 0 0 0 20 0 1 0 857177169 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+700 s]
Raw data (loadavg): 1.04 0.99 0.91 2/55 26528
Raw data (stat): 26525 (vallstSAT2005PB) S 26524 20687 20686 0 -1 0 321 232 0 0 0 0 0 0 20 0 1 0 857177169 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+710.001 s]
Raw data (loadavg): 1.03 0.99 0.91 2/55 26528
Raw data (stat): 26525 (vallstSAT2005PB) S 26524 20687 20686 0 -1 0 321 232 0 0 0 0 0 0 20 0 1 0 857177169 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+720 s]
Raw data (loadavg): 1.03 0.99 0.91 2/55 26528
Raw data (stat): 26525 (vallstSAT2005PB) S 26524 20687 20686 0 -1 0 321 232 0 0 0 0 0 0 20 0 1 0 857177169 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+730 s]
Raw data (loadavg): 1.02 0.99 0.91 2/55 26528
Raw data (stat): 26525 (vallstSAT2005PB) S 26524 20687 20686 0 -1 0 321 232 0 0 0 0 0 0 20 0 1 0 857177169 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+740.001 s]
Raw data (loadavg): 1.02 0.99 0.91 2/55 26528
Raw data (stat): 26525 (vallstSAT2005PB) S 26524 20687 20686 0 -1 0 321 232 0 0 0 0 0 0 20 0 1 0 857177169 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+750 s]
Raw data (loadavg): 1.01 0.99 0.91 2/55 26528
Raw data (stat): 26525 (vallstSAT2005PB) S 26524 20687 20686 0 -1 0 321 232 0 0 0 0 0 0 20 0 1 0 857177169 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+760 s]
Raw data (loadavg): 1.01 0.99 0.91 2/55 26528
Raw data (stat): 26525 (vallstSAT2005PB) S 26524 20687 20686 0 -1 0 321 232 0 0 0 0 0 0 20 0 1 0 857177169 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+770 s]
Raw data (loadavg): 1.01 0.99 0.91 2/55 26528
Raw data (stat): 26525 (vallstSAT2005PB) S 26524 20687 20686 0 -1 0 321 232 0 0 0 0 0 0 20 0 1 0 857177169 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+779.999 s]
Raw data (loadavg): 1.01 0.99 0.91 2/55 26528
Raw data (stat): 26525 (vallstSAT2005PB) S 26524 20687 20686 0 -1 0 321 232 0 0 0 0 0 0 20 0 1 0 857177169 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+790 s]
Raw data (loadavg): 1.01 0.99 0.91 2/55 26528
Raw data (stat): 26525 (vallstSAT2005PB) S 26524 20687 20686 0 -1 0 321 232 0 0 0 0 0 0 20 0 1 0 857177169 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+800 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 26528
Raw data (stat): 26525 (vallstSAT2005PB) S 26524 20687 20686 0 -1 0 321 232 0 0 0 0 0 0 20 0 1 0 857177169 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+810 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 26528
Raw data (stat): 26525 (vallstSAT2005PB) S 26524 20687 20686 0 -1 0 321 232 0 0 0 0 0 0 20 0 1 0 857177169 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+820 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 26528
Raw data (stat): 26525 (vallstSAT2005PB) S 26524 20687 20686 0 -1 0 321 232 0 0 0 0 0 0 20 0 1 0 857177169 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+830 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 26528
Raw data (stat): 26525 (vallstSAT2005PB) S 26524 20687 20686 0 -1 0 321 232 0 0 0 0 0 0 20 0 1 0 857177169 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+840 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 26528
Raw data (stat): 26525 (vallstSAT2005PB) S 26524 20687 20686 0 -1 0 321 232 0 0 0 0 0 0 20 0 1 0 857177169 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+850 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 26528
Raw data (stat): 26525 (vallstSAT2005PB) S 26524 20687 20686 0 -1 0 321 232 0 0 0 0 0 0 20 0 1 0 857177169 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+860.001 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 26528
Raw data (stat): 26525 (vallstSAT2005PB) S 26524 20687 20686 0 -1 0 321 232 0 0 0 0 0 0 20 0 1 0 857177169 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+870 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 26528
Raw data (stat): 26525 (vallstSAT2005PB) S 26524 20687 20686 0 -1 0 321 232 0 0 0 0 0 0 20 0 1 0 857177169 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+880 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 26528
Raw data (stat): 26525 (vallstSAT2005PB) S 26524 20687 20686 0 -1 0 321 232 0 0 0 0 0 0 20 0 1 0 857177169 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+890.001 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 26528
Raw data (stat): 26525 (vallstSAT2005PB) S 26524 20687 20686 0 -1 0 321 232 0 0 0 0 0 0 20 0 1 0 857177169 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+900 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 26528
Raw data (stat): 26525 (vallstSAT2005PB) S 26524 20687 20686 0 -1 0 321 232 0 0 0 0 0 0 20 0 1 0 857177169 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+910.001 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 26528
Raw data (stat): 26525 (vallstSAT2005PB) S 26524 20687 20686 0 -1 0 321 232 0 0 0 0 0 0 20 0 1 0 857177169 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+920.001 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 26528
Raw data (stat): 26525 (vallstSAT2005PB) S 26524 20687 20686 0 -1 0 321 232 0 0 0 0 0 0 20 0 1 0 857177169 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+930 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 26528
Raw data (stat): 26525 (vallstSAT2005PB) S 26524 20687 20686 0 -1 0 321 232 0 0 0 0 0 0 20 0 1 0 857177169 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+940 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 26528
Raw data (stat): 26525 (vallstSAT2005PB) S 26524 20687 20686 0 -1 0 321 232 0 0 0 0 0 0 20 0 1 0 857177169 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+950.001 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 26528
Raw data (stat): 26525 (vallstSAT2005PB) S 26524 20687 20686 0 -1 0 321 232 0 0 0 0 0 0 20 0 1 0 857177169 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+960.001 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 26528
Raw data (stat): 26525 (vallstSAT2005PB) S 26524 20687 20686 0 -1 0 321 232 0 0 0 0 0 0 20 0 1 0 857177169 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+970.001 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 26528
Raw data (stat): 26525 (vallstSAT2005PB) S 26524 20687 20686 0 -1 0 321 232 0 0 0 0 0 0 20 0 1 0 857177169 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+980.001 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 26528
Raw data (stat): 26525 (vallstSAT2005PB) S 26524 20687 20686 0 -1 0 321 232 0 0 0 0 0 0 20 0 1 0 857177169 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+990.001 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 26528
Raw data (stat): 26525 (vallstSAT2005PB) S 26524 20687 20686 0 -1 0 321 232 0 0 0 0 0 0 20 0 1 0 857177169 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+1000 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 26528
Raw data (stat): 26525 (vallstSAT2005PB) S 26524 20687 20686 0 -1 0 321 232 0 0 0 0 0 0 20 0 1 0 857177169 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+1010 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 26528
Raw data (stat): 26525 (vallstSAT2005PB) S 26524 20687 20686 0 -1 0 321 232 0 0 0 0 0 0 20 0 1 0 857177169 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+1020 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 26528
Raw data (stat): 26525 (vallstSAT2005PB) S 26524 20687 20686 0 -1 0 321 232 0 0 0 0 0 0 20 0 1 0 857177169 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+1030 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 26528
Raw data (stat): 26525 (vallstSAT2005PB) S 26524 20687 20686 0 -1 0 321 232 0 0 0 0 0 0 20 0 1 0 857177169 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+1040 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 26528
Raw data (stat): 26525 (vallstSAT2005PB) S 26524 20687 20686 0 -1 0 321 232 0 0 0 0 0 0 20 0 1 0 857177169 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+1050 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 26528
Raw data (stat): 26525 (vallstSAT2005PB) S 26524 20687 20686 0 -1 0 321 232 0 0 0 0 0 0 20 0 1 0 857177169 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+1060 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 26528
Raw data (stat): 26525 (vallstSAT2005PB) S 26524 20687 20686 0 -1 0 321 232 0 0 0 0 0 0 20 0 1 0 857177169 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+1070 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 26528
Raw data (stat): 26525 (vallstSAT2005PB) S 26524 20687 20686 0 -1 0 321 232 0 0 0 0 0 0 20 0 1 0 857177169 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+1080 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 26528
Raw data (stat): 26525 (vallstSAT2005PB) S 26524 20687 20686 0 -1 0 321 232 0 0 0 0 0 0 20 0 1 0 857177169 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+1090 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 26528
Raw data (stat): 26525 (vallstSAT2005PB) S 26524 20687 20686 0 -1 0 321 232 0 0 0 0 0 0 20 0 1 0 857177169 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+1100 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 26528
Raw data (stat): 26525 (vallstSAT2005PB) S 26524 20687 20686 0 -1 0 321 232 0 0 0 0 0 0 20 0 1 0 857177169 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+1110 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 26528
Raw data (stat): 26525 (vallstSAT2005PB) S 26524 20687 20686 0 -1 0 321 232 0 0 0 0 0 0 20 0 1 0 857177169 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+1120 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 26528
Raw data (stat): 26525 (vallstSAT2005PB) S 26524 20687 20686 0 -1 0 321 232 0 0 0 0 0 0 20 0 1 0 857177169 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+1130 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 26528
Raw data (stat): 26525 (vallstSAT2005PB) S 26524 20687 20686 0 -1 0 321 232 0 0 0 0 0 0 20 0 1 0 857177169 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+1140 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 26528
Raw data (stat): 26525 (vallstSAT2005PB) S 26524 20687 20686 0 -1 0 321 232 0 0 0 0 0 0 20 0 1 0 857177169 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+1150 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 26528
Raw data (stat): 26525 (vallstSAT2005PB) S 26524 20687 20686 0 -1 0 321 232 0 0 0 0 0 0 20 0 1 0 857177169 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+1160 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 26528
Raw data (stat): 26525 (vallstSAT2005PB) S 26524 20687 20686 0 -1 0 321 232 0 0 0 0 0 0 20 0 1 0 857177169 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+1170 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 26528
Raw data (stat): 26525 (vallstSAT2005PB) S 26524 20687 20686 0 -1 0 321 232 0 0 0 0 0 0 20 0 1 0 857177169 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+1180 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 26528
Raw data (stat): 26525 (vallstSAT2005PB) S 26524 20687 20686 0 -1 0 321 232 0 0 0 0 0 0 20 0 1 0 857177169 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+1190 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 26528
Raw data (stat): 26525 (vallstSAT2005PB) S 26524 20687 20686 0 -1 0 321 232 0 0 0 0 0 0 20 0 1 0 857177169 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+1200 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 26528
Raw data (stat): 26525 (vallstSAT2005PB) S 26524 20687 20686 0 -1 0 321 232 0 0 0 0 0 0 20 0 1 0 857177169 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+1210 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 26528
Raw data (stat): 26525 (vallstSAT2005PB) S 26524 20687 20686 0 -1 0 321 232 0 0 0 0 0 0 20 0 1 0 857177169 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+1220 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 26528
Raw data (stat): 26525 (vallstSAT2005PB) S 26524 20687 20686 0 -1 0 321 232 0 0 0 0 0 0 20 0 1 0 857177169 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+1230 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 26534
Raw data (stat): 26525 (vallstSAT2005PB) R 26524 20687 20686 0 -1 0 430 1865 0 0 15 4 121715 1276 21 0 1 0 857177169 2179072 249 4294967295 134512640 135087896 3221224528 3221221160 1074429715 0 0 7 1132560120 0 0 0 17 1 0 0
Raw data (statm): 532 249 485 147 0 385 0
vsize: 2128
[startup+1230.55 s]
Raw data (loadavg): 1.00 0.99 0.91 1/53 26540
Raw data (stat): 26525 (vallstSAT2005PB) R 26524 20687 20686 0 -1 0 430 1865 0 0 15 4 121715 1276 21 0 1 0 857177169 2179072 249 4294967295 134512640 135087896 3221224528 3221221160 1074429715 0 0 7 1132560120 0 0 0 17 1 0 0
Raw data (statm): 532 249 485 147 0 385 0
vsize: 0

Child status: 10
Real time (s): 1230.55
CPU time (s): 1230.34
CPU user time (s): 1217.45
CPU system time (s): 12.888
CPU usage (%): 99.9827
Max. virtual memory (Kb): 2128
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	376
#### END VERIFIER DATA ####