PB'05 competition: run trace

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
General information on the benchmark

Name	normalized-opb/submitted/manquinho/logic-synthesis/normalized-max1024.pi.opb
MD5SUM	6604a6c0d979e1f2b09762e6e4f70f84
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	259
Optimality of the best value was proved	NO
Number of terms in the objective function	1278
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	1278
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	1278
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.04584
Number of variables	1278
Total number of constraints	1087
Number of constraints which are clauses	1087
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	1
Maximum length of a constraint	18
Trace number 33575

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc26 THE 2005-05-27 14:35:03 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=521 boxname=wulflinc26 idbench=58 idsolver=8 numberseed=0
MD5SUM SOLVER: 4b637b3b6117f2add1a6288e91336322  /oldhome/oroussel/solvers/vallstSAT2005PB.sh
MD5SUM BENCH:  6604a6c0d979e1f2b09762e6e4f70f84  /oldhome/oroussel/tmp/wulflinc26/normalized-max1024.pi.opb
REAL COMMAND:  vallstSAT2005PB.sh /oldhome/oroussel/tmp/wulflinc26/normalized-max1024.pi.opb 0
IDLAUNCH: 521
/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:        765308 kB
Buffers:         20900 kB
Cached:         227316 kB
SwapCached:        800 kB
Active:          21044 kB
Inactive:       229452 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        765056 kB
SwapTotal:     2097892 kB
SwapFree:      2096348 kB
Dirty:              60 kB
Writeback:           0 kB
Mapped:           5204 kB
Slab:            13192 kB
Committed_AS:    63736 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-27 14:55:34 (client local time) WITH STATUS 10 IN 1230.37 SECONDS
stats: 521 0 1230.37 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
1:
seed: 0
Nr of vars set: 14  (#equs: 0)
Nr of vars set: 14  (#equs: 0)
#decisions: 380;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 1072, #non-axs: 0
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:  884 (393:>=*);
#decisions: 383;  #end-nodes: 5;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 5 / 80 (80)
#axs: 1072, #non-axs: 0
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
Model found with constant:  885 (392:>=*);
#decisions: 399;  #end-nodes: 23;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 23 / 80 (80)
#axs: 1072, #non-axs: 0
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
Model found with constant:  886 (391:>=*);
#decisions: 1705;  #end-nodes: 80;
#proof improvement attempts: 0;  #restarts: 1
Current batch, end-nodes: 0 / 80 (80)
#axs: 1072, #non-axs: 0
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
Model found with constant:  900 (377:>=*);
#decisions: 403;  #end-nodes: 40;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 40 / 80 (80)
#axs: 1072, #non-axs: 0
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
Model found with constant:  901 (376:>=*);
#decisions: 1701;  #end-nodes: 80;
#proof improvement attempts: 0;  #restarts: 1
Current batch, end-nodes: 0 / 80 (80)
#axs: 1072, #non-axs: 0
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
Model found with constant:  905 (372:>=*);
#decisions: 408;  #end-nodes: 50;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 50 / 80 (80)
#axs: 1072, #non-axs: 0
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
Model found with constant:  906 (371:>=*);
#decisions: 8243;  #end-nodes: 1306;
#proof improvement attempts: 0;  #restarts: 16
Current batch, end-nodes: 0 / 84 (84)
#axs: 1072, #non-axs: 0
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
Model found with constant:  913 (364:>=*);
#decisions: 359;  #end-nodes: 11;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 11 / 80 (80)
#axs: 1072, #non-axs: 0
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
Model found with constant:  914 (363:>=*);
#decisions: 5540;  #end-nodes: 811;
#proof improvement attempts: 0;  #restarts: 10
Current batch, end-nodes: 0 / 82 (82)
#axs: 1072, #non-axs: 0
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
Model found with constant:  916 (361:>=*);
#decisions: 14924;  #end-nodes: 2857;
#proof improvement attempts: 0;  #restarts: 34
Current batch, end-nodes: 0 / 88 (88)
#axs: 1072, #non-axs: 0
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
Model found with constant:  917 (360:>=*);
#decisions: 125142;  #end-nodes: 30795;
#proof improvement attempts: 0;  #restarts: 271
Current batch, end-nodes: 0 / 147 (147)
#axs: 1072, #non-axs: 0
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
Model found with constant:  923 (354:>=*);
Interupt request received.
#decisions: 3227854;  #end-nodes: 1987287;
#proof improvement attempts: 0;  #restarts: 3680
Current batch, end-nodes: 863 / 1000 (1000)
#axs: 1072, #non-axs: 0
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
Model found with constant:
  (pushed:) 923 (354:>=*)

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: 365  (#equs: 0)
Time taken: 20 min, 29 sec
times:
0m0.019s 0m0.009s
20m6.411s 0m23.438s
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 -x1041 -x1042 -x1043 -x1044 -x1045  x1046 -x1047 -x1048 -x1049 -x1050 -x1051  x1052 -x1053 -x1054 -x1055 -x1056 -x1057  x1058 -x1059 -x1060 -x1061 -x1062 -x1063  x1064 -x1065 -x1066  x1067  x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075  x1076  x1077 -x1078 -x1079  x1080 -x1081 -x1082  x1083 -x1084 -x1085 -x1086 -x1087  x1088 -x1089  x1090 -x1091  x1092 -x1093 -x1094 -x1095 -x1096  x1097 -x1098 -x1099  x1100 -x1101  x1102 -x1103 -x1104 -x1105 -x1106  x1107 -x1108 -x1109 -x1110 -x1111 -x1112  x1113 -x1114 -x1115 -x1116  x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124  x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132  x1133 -x1134  x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144  x1145 -x1146 -x1147 -x1148 -x1149  x1150  x1151  x1152 -x1153 -x1154 -x1155  x1156  x1157 -x1158  x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166  x1167 -x1168 -x1169  x1170 -x1171  x1172 -x1173 -x1174 -x1175 -x1176 -x1177  x1178 -x1179 -x1180 -x1181 -x1182  x1183  x1184 -x1185 -x1186  x1187 -x1188 -x1189 -x1190 -x1191 -x1192  x1193 -x1194 -x1195 -x1196 -x1197  x1198  x1199 -x1200  x1201 -x1202 -x1203 -x1204  x1205 -x1206  x1207 -x1208 -x1209 -x1210 -x1211  x1212 -x1213 -x1214 -x1215 -x1216  x1217 -x1218 -x1219  x1220 -x1221  x1222  x1223 -x1224 -x1225 -x1226 -x1227 -x1228  x1229 -x1230 -x1231 -x1232  x1233  x1234 -x1235 -x1236  x1237 -x1238  x1239 -x1240 -x1241  x1242 -x1243  x1244  x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256  x1257  x1258  x1259  x1260 -x1261 -x1262 -x1263 -x1264 -x1265  x1266  x1267 -x1268 -x1269 -x1270  x1271 -x1272 -x1273  x1274 -x1275 -x1276  x1277  x1278 
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
Raw data (loadavg): 0.84 0.94 0.69 2/54 26252
Raw data (stat): 26252 (runsolver) R 26251 20687 20686 0 -1 64 6 0 0 0 0 0 0 0 19 0 1 0 856929336 884736 93 4294967295 134512640 135332820 3221224448 3221219344 134917321 0 0 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 93 205 205 0 11 0
vsize: 864
Current StackSize limit: 67108864 bytes
[startup+10.0013 s]
Raw data (loadavg): 0.87 0.94 0.70 2/55 26255
Raw data (stat): 26252 (vallstSAT2005PB) S 26251 20687 20686 0 -1 0 321 232 0 0 1 0 0 0 19 0 1 0 856929336 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+20.0013 s]
Raw data (loadavg): 0.89 0.94 0.70 2/55 26255
Raw data (stat): 26252 (vallstSAT2005PB) S 26251 20687 20686 0 -1 0 321 232 0 0 1 0 0 0 19 0 1 0 856929336 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+30.0019 s]
Raw data (loadavg): 0.90 0.94 0.70 2/55 26255
Raw data (stat): 26252 (vallstSAT2005PB) S 26251 20687 20686 0 -1 0 321 232 0 0 1 0 0 0 19 0 1 0 856929336 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+40.0019 s]
Raw data (loadavg): 0.92 0.94 0.70 2/55 26255
Raw data (stat): 26252 (vallstSAT2005PB) S 26251 20687 20686 0 -1 0 321 232 0 0 1 0 0 0 19 0 1 0 856929336 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+50.0013 s]
Raw data (loadavg): 0.93 0.94 0.71 2/55 26255
Raw data (stat): 26252 (vallstSAT2005PB) S 26251 20687 20686 0 -1 0 321 232 0 0 1 0 0 0 19 0 1 0 856929336 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+60.0009 s]
Raw data (loadavg): 0.94 0.95 0.71 2/55 26255
Raw data (stat): 26252 (vallstSAT2005PB) S 26251 20687 20686 0 -1 0 321 232 0 0 1 0 0 0 19 0 1 0 856929336 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+70.0009 s]
Raw data (loadavg): 0.95 0.95 0.71 2/55 26255
Raw data (stat): 26252 (vallstSAT2005PB) S 26251 20687 20686 0 -1 0 321 232 0 0 1 0 0 0 19 0 1 0 856929336 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+80.0013 s]
Raw data (loadavg): 0.96 0.95 0.72 2/55 26255
Raw data (stat): 26252 (vallstSAT2005PB) S 26251 20687 20686 0 -1 0 321 232 0 0 1 0 0 0 19 0 1 0 856929336 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+90.001 s]
Raw data (loadavg): 0.96 0.95 0.72 2/55 26255
Raw data (stat): 26252 (vallstSAT2005PB) S 26251 20687 20686 0 -1 0 321 232 0 0 1 0 0 0 19 0 1 0 856929336 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+100.001 s]
Raw data (loadavg): 0.97 0.95 0.72 2/55 26255
Raw data (stat): 26252 (vallstSAT2005PB) S 26251 20687 20686 0 -1 0 321 232 0 0 1 0 0 0 19 0 1 0 856929336 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+110.001 s]
Raw data (loadavg): 0.97 0.95 0.72 2/55 26255
Raw data (stat): 26252 (vallstSAT2005PB) S 26251 20687 20686 0 -1 0 321 232 0 0 1 0 0 0 19 0 1 0 856929336 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+120.001 s]
Raw data (loadavg): 0.98 0.95 0.73 2/55 26255
Raw data (stat): 26252 (vallstSAT2005PB) S 26251 20687 20686 0 -1 0 321 232 0 0 1 0 0 0 19 0 1 0 856929336 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+130.002 s]
Raw data (loadavg): 0.98 0.95 0.73 2/55 26255
Raw data (stat): 26252 (vallstSAT2005PB) S 26251 20687 20686 0 -1 0 321 232 0 0 1 0 0 0 19 0 1 0 856929336 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+140.001 s]
Raw data (loadavg): 0.98 0.95 0.73 2/55 26255
Raw data (stat): 26252 (vallstSAT2005PB) S 26251 20687 20686 0 -1 0 321 232 0 0 1 0 0 0 19 0 1 0 856929336 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+150.001 s]
Raw data (loadavg): 0.98 0.95 0.73 2/55 26255
Raw data (stat): 26252 (vallstSAT2005PB) S 26251 20687 20686 0 -1 0 321 232 0 0 1 0 0 0 19 0 1 0 856929336 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+160.002 s]
Raw data (loadavg): 0.99 0.96 0.74 2/55 26255
Raw data (stat): 26252 (vallstSAT2005PB) S 26251 20687 20686 0 -1 0 321 232 0 0 1 0 0 0 19 0 1 0 856929336 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+170.001 s]
Raw data (loadavg): 0.99 0.96 0.74 2/55 26255
Raw data (stat): 26252 (vallstSAT2005PB) S 26251 20687 20686 0 -1 0 321 232 0 0 1 0 0 0 19 0 1 0 856929336 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+180.002 s]
Raw data (loadavg): 0.99 0.96 0.74 2/55 26255
Raw data (stat): 26252 (vallstSAT2005PB) S 26251 20687 20686 0 -1 0 321 232 0 0 1 0 0 0 19 0 1 0 856929336 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+190.003 s]
Raw data (loadavg): 0.99 0.96 0.74 2/55 26255
Raw data (stat): 26252 (vallstSAT2005PB) S 26251 20687 20686 0 -1 0 321 232 0 0 1 0 0 0 19 0 1 0 856929336 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+200.002 s]
Raw data (loadavg): 0.99 0.96 0.74 2/55 26255
Raw data (stat): 26252 (vallstSAT2005PB) S 26251 20687 20686 0 -1 0 321 232 0 0 1 0 0 0 19 0 1 0 856929336 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+210.003 s]
Raw data (loadavg): 0.99 0.96 0.75 2/55 26255
Raw data (stat): 26252 (vallstSAT2005PB) S 26251 20687 20686 0 -1 0 321 232 0 0 1 0 0 0 19 0 1 0 856929336 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+220.003 s]
Raw data (loadavg): 0.99 0.96 0.75 2/55 26255
Raw data (stat): 26252 (vallstSAT2005PB) S 26251 20687 20686 0 -1 0 321 232 0 0 1 0 0 0 19 0 1 0 856929336 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+230.003 s]
Raw data (loadavg): 0.99 0.96 0.75 2/55 26255
Raw data (stat): 26252 (vallstSAT2005PB) S 26251 20687 20686 0 -1 0 321 232 0 0 1 0 0 0 19 0 1 0 856929336 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+240.004 s]
Raw data (loadavg): 0.99 0.96 0.75 2/55 26255
Raw data (stat): 26252 (vallstSAT2005PB) S 26251 20687 20686 0 -1 0 321 232 0 0 1 0 0 0 19 0 1 0 856929336 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+250.004 s]
Raw data (loadavg): 0.99 0.96 0.75 2/55 26255
Raw data (stat): 26252 (vallstSAT2005PB) S 26251 20687 20686 0 -1 0 321 232 0 0 1 0 0 0 19 0 1 0 856929336 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+260.004 s]
Raw data (loadavg): 0.99 0.97 0.76 2/55 26255
Raw data (stat): 26252 (vallstSAT2005PB) S 26251 20687 20686 0 -1 0 321 232 0 0 1 0 0 0 19 0 1 0 856929336 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+270.004 s]
Raw data (loadavg): 0.99 0.97 0.76 2/55 26255
Raw data (stat): 26252 (vallstSAT2005PB) S 26251 20687 20686 0 -1 0 321 232 0 0 1 0 0 0 19 0 1 0 856929336 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+280.005 s]
Raw data (loadavg): 0.99 0.97 0.76 2/55 26255
Raw data (stat): 26252 (vallstSAT2005PB) S 26251 20687 20686 0 -1 0 321 232 0 0 1 0 0 0 19 0 1 0 856929336 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+290.004 s]
Raw data (loadavg): 0.99 0.97 0.76 2/55 26255
Raw data (stat): 26252 (vallstSAT2005PB) S 26251 20687 20686 0 -1 0 321 232 0 0 1 0 0 0 19 0 1 0 856929336 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+300.005 s]
Raw data (loadavg): 0.99 0.97 0.76 2/55 26255
Raw data (stat): 26252 (vallstSAT2005PB) S 26251 20687 20686 0 -1 0 321 232 0 0 1 0 0 0 19 0 1 0 856929336 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+310.005 s]
Raw data (loadavg): 0.99 0.97 0.77 2/55 26255
Raw data (stat): 26252 (vallstSAT2005PB) S 26251 20687 20686 0 -1 0 321 232 0 0 1 0 0 0 19 0 1 0 856929336 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+320.004 s]
Raw data (loadavg): 0.99 0.97 0.77 2/55 26255
Raw data (stat): 26252 (vallstSAT2005PB) S 26251 20687 20686 0 -1 0 321 232 0 0 1 0 0 0 19 0 1 0 856929336 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+330.005 s]
Raw data (loadavg): 0.99 0.97 0.77 2/55 26255
Raw data (stat): 26252 (vallstSAT2005PB) S 26251 20687 20686 0 -1 0 321 232 0 0 1 0 0 0 19 0 1 0 856929336 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+340.006 s]
Raw data (loadavg): 0.99 0.97 0.77 2/55 26255
Raw data (stat): 26252 (vallstSAT2005PB) S 26251 20687 20686 0 -1 0 321 232 0 0 1 0 0 0 19 0 1 0 856929336 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+350.005 s]
Raw data (loadavg): 0.99 0.97 0.77 2/55 26255
Raw data (stat): 26252 (vallstSAT2005PB) S 26251 20687 20686 0 -1 0 321 232 0 0 1 0 0 0 19 0 1 0 856929336 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+360.006 s]
Raw data (loadavg): 0.99 0.97 0.77 2/55 26255
Raw data (stat): 26252 (vallstSAT2005PB) S 26251 20687 20686 0 -1 0 321 232 0 0 1 0 0 0 19 0 1 0 856929336 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+370.006 s]
Raw data (loadavg): 0.99 0.97 0.78 2/55 26255
Raw data (stat): 26252 (vallstSAT2005PB) S 26251 20687 20686 0 -1 0 321 232 0 0 1 0 0 0 19 0 1 0 856929336 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+380.006 s]
Raw data (loadavg): 0.99 0.97 0.78 2/55 26255
Raw data (stat): 26252 (vallstSAT2005PB) S 26251 20687 20686 0 -1 0 321 232 0 0 1 0 0 0 19 0 1 0 856929336 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+390.006 s]
Raw data (loadavg): 0.99 0.97 0.78 2/55 26255
Raw data (stat): 26252 (vallstSAT2005PB) S 26251 20687 20686 0 -1 0 321 232 0 0 1 0 0 0 19 0 1 0 856929336 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+400.006 s]
Raw data (loadavg): 0.99 0.97 0.78 2/55 26255
Raw data (stat): 26252 (vallstSAT2005PB) S 26251 20687 20686 0 -1 0 321 232 0 0 1 0 0 0 19 0 1 0 856929336 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+410.006 s]
Raw data (loadavg): 0.99 0.97 0.78 2/55 26255
Raw data (stat): 26252 (vallstSAT2005PB) S 26251 20687 20686 0 -1 0 321 232 0 0 1 0 0 0 19 0 1 0 856929336 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+420.007 s]
Raw data (loadavg): 0.99 0.97 0.79 2/55 26255
Raw data (stat): 26252 (vallstSAT2005PB) S 26251 20687 20686 0 -1 0 321 232 0 0 1 0 0 0 19 0 1 0 856929336 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+430.007 s]
Raw data (loadavg): 0.99 0.97 0.79 2/55 26255
Raw data (stat): 26252 (vallstSAT2005PB) S 26251 20687 20686 0 -1 0 321 232 0 0 1 0 0 0 19 0 1 0 856929336 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+440.007 s]
Raw data (loadavg): 0.99 0.97 0.79 2/55 26255
Raw data (stat): 26252 (vallstSAT2005PB) S 26251 20687 20686 0 -1 0 321 232 0 0 1 0 0 0 19 0 1 0 856929336 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+450.007 s]
Raw data (loadavg): 0.99 0.97 0.79 2/55 26255
Raw data (stat): 26252 (vallstSAT2005PB) S 26251 20687 20686 0 -1 0 321 232 0 0 1 0 0 0 19 0 1 0 856929336 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+460.008 s]
Raw data (loadavg): 0.99 0.97 0.79 2/55 26255
Raw data (stat): 26252 (vallstSAT2005PB) S 26251 20687 20686 0 -1 0 321 232 0 0 1 0 0 0 19 0 1 0 856929336 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+470.008 s]
Raw data (loadavg): 0.99 0.97 0.80 2/55 26255
Raw data (stat): 26252 (vallstSAT2005PB) S 26251 20687 20686 0 -1 0 321 232 0 0 1 0 0 0 19 0 1 0 856929336 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+480.01 s]
Raw data (loadavg): 0.99 0.97 0.80 2/55 26255
Raw data (stat): 26252 (vallstSAT2005PB) S 26251 20687 20686 0 -1 0 321 232 0 0 1 0 0 0 19 0 1 0 856929336 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+490.01 s]
Raw data (loadavg): 0.99 0.97 0.80 2/55 26255
Raw data (stat): 26252 (vallstSAT2005PB) S 26251 20687 20686 0 -1 0 321 232 0 0 1 0 0 0 19 0 1 0 856929336 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+500.009 s]
Raw data (loadavg): 0.99 0.97 0.80 2/55 26255
Raw data (stat): 26252 (vallstSAT2005PB) S 26251 20687 20686 0 -1 0 321 232 0 0 1 0 0 0 19 0 1 0 856929336 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+510.01 s]
Raw data (loadavg): 0.99 0.97 0.80 2/55 26255
Raw data (stat): 26252 (vallstSAT2005PB) S 26251 20687 20686 0 -1 0 321 232 0 0 1 0 0 0 19 0 1 0 856929336 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+520.01 s]
Raw data (loadavg): 0.99 0.97 0.81 2/55 26255
Raw data (stat): 26252 (vallstSAT2005PB) S 26251 20687 20686 0 -1 0 321 232 0 0 1 0 0 0 19 0 1 0 856929336 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+530.01 s]
Raw data (loadavg): 0.99 0.97 0.81 2/55 26255
Raw data (stat): 26252 (vallstSAT2005PB) S 26251 20687 20686 0 -1 0 321 232 0 0 1 0 0 0 19 0 1 0 856929336 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+540.012 s]
Raw data (loadavg): 0.99 0.97 0.81 2/55 26255
Raw data (stat): 26252 (vallstSAT2005PB) S 26251 20687 20686 0 -1 0 321 232 0 0 1 0 0 0 19 0 1 0 856929336 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+550.011 s]
Raw data (loadavg): 0.99 0.97 0.81 2/55 26255
Raw data (stat): 26252 (vallstSAT2005PB) S 26251 20687 20686 0 -1 0 321 232 0 0 1 0 0 0 19 0 1 0 856929336 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+560.011 s]
Raw data (loadavg): 0.99 0.97 0.81 2/55 26255
Raw data (stat): 26252 (vallstSAT2005PB) S 26251 20687 20686 0 -1 0 321 232 0 0 1 0 0 0 19 0 1 0 856929336 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+570.011 s]
Raw data (loadavg): 0.99 0.97 0.82 2/55 26255
Raw data (stat): 26252 (vallstSAT2005PB) S 26251 20687 20686 0 -1 0 321 232 0 0 1 0 0 0 19 0 1 0 856929336 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+580.012 s]
Raw data (loadavg): 0.99 0.97 0.82 2/55 26255
Raw data (stat): 26252 (vallstSAT2005PB) S 26251 20687 20686 0 -1 0 321 232 0 0 1 0 0 0 19 0 1 0 856929336 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+590.011 s]
Raw data (loadavg): 0.99 0.97 0.82 2/55 26255
Raw data (stat): 26252 (vallstSAT2005PB) S 26251 20687 20686 0 -1 0 321 232 0 0 1 0 0 0 19 0 1 0 856929336 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+600.012 s]
Raw data (loadavg): 0.99 0.97 0.82 2/55 26255
Raw data (stat): 26252 (vallstSAT2005PB) S 26251 20687 20686 0 -1 0 321 232 0 0 1 0 0 0 19 0 1 0 856929336 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+610.012 s]
Raw data (loadavg): 0.99 0.97 0.82 2/55 26255
Raw data (stat): 26252 (vallstSAT2005PB) S 26251 20687 20686 0 -1 0 321 232 0 0 1 0 0 0 19 0 1 0 856929336 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+620.011 s]
Raw data (loadavg): 0.99 0.97 0.82 2/55 26255
Raw data (stat): 26252 (vallstSAT2005PB) S 26251 20687 20686 0 -1 0 321 232 0 0 1 0 0 0 19 0 1 0 856929336 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+630.013 s]
Raw data (loadavg): 0.99 0.97 0.82 2/55 26255
Raw data (stat): 26252 (vallstSAT2005PB) S 26251 20687 20686 0 -1 0 321 232 0 0 1 0 0 0 19 0 1 0 856929336 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+640.013 s]
Raw data (loadavg): 0.99 0.97 0.82 2/55 26255
Raw data (stat): 26252 (vallstSAT2005PB) S 26251 20687 20686 0 -1 0 321 232 0 0 1 0 0 0 19 0 1 0 856929336 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+650.013 s]
Raw data (loadavg): 0.99 0.97 0.83 2/55 26255
Raw data (stat): 26252 (vallstSAT2005PB) S 26251 20687 20686 0 -1 0 321 232 0 0 1 0 0 0 19 0 1 0 856929336 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+660.013 s]
Raw data (loadavg): 0.99 0.97 0.83 2/55 26255
Raw data (stat): 26252 (vallstSAT2005PB) S 26251 20687 20686 0 -1 0 321 232 0 0 1 0 0 0 19 0 1 0 856929336 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+670.013 s]
Raw data (loadavg): 0.99 0.97 0.83 2/55 26255
Raw data (stat): 26252 (vallstSAT2005PB) S 26251 20687 20686 0 -1 0 321 232 0 0 1 0 0 0 19 0 1 0 856929336 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+680.014 s]
Raw data (loadavg): 0.99 0.97 0.83 2/55 26255
Raw data (stat): 26252 (vallstSAT2005PB) S 26251 20687 20686 0 -1 0 321 232 0 0 1 0 0 0 19 0 1 0 856929336 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+690.014 s]
Raw data (loadavg): 0.99 0.97 0.83 2/55 26255
Raw data (stat): 26252 (vallstSAT2005PB) S 26251 20687 20686 0 -1 0 321 232 0 0 1 0 0 0 19 0 1 0 856929336 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+700.013 s]
Raw data (loadavg): 0.99 0.97 0.83 2/55 26255
Raw data (stat): 26252 (vallstSAT2005PB) S 26251 20687 20686 0 -1 0 321 232 0 0 1 0 0 0 19 0 1 0 856929336 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+710.014 s]
Raw data (loadavg): 0.99 0.97 0.83 2/55 26255
Raw data (stat): 26252 (vallstSAT2005PB) S 26251 20687 20686 0 -1 0 321 232 0 0 1 0 0 0 19 0 1 0 856929336 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+720.014 s]
Raw data (loadavg): 0.99 0.97 0.83 2/55 26255
Raw data (stat): 26252 (vallstSAT2005PB) S 26251 20687 20686 0 -1 0 321 232 0 0 1 0 0 0 19 0 1 0 856929336 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+730.014 s]
Raw data (loadavg): 0.99 0.97 0.83 2/55 26255
Raw data (stat): 26252 (vallstSAT2005PB) S 26251 20687 20686 0 -1 0 321 232 0 0 1 0 0 0 19 0 1 0 856929336 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+740.015 s]
Raw data (loadavg): 0.99 0.97 0.83 2/55 26255
Raw data (stat): 26252 (vallstSAT2005PB) S 26251 20687 20686 0 -1 0 321 232 0 0 1 0 0 0 19 0 1 0 856929336 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+750.014 s]
Raw data (loadavg): 0.99 0.97 0.83 2/55 26255
Raw data (stat): 26252 (vallstSAT2005PB) S 26251 20687 20686 0 -1 0 321 232 0 0 1 0 0 0 19 0 1 0 856929336 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+760.014 s]
Raw data (loadavg): 0.99 0.97 0.84 2/55 26255
Raw data (stat): 26252 (vallstSAT2005PB) S 26251 20687 20686 0 -1 0 321 232 0 0 1 0 0 0 19 0 1 0 856929336 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+770.014 s]
Raw data (loadavg): 0.99 0.97 0.84 2/55 26255
Raw data (stat): 26252 (vallstSAT2005PB) S 26251 20687 20686 0 -1 0 321 232 0 0 1 0 0 0 19 0 1 0 856929336 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+780.015 s]
Raw data (loadavg): 0.99 0.97 0.84 2/55 26255
Raw data (stat): 26252 (vallstSAT2005PB) S 26251 20687 20686 0 -1 0 321 232 0 0 1 0 0 0 19 0 1 0 856929336 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+790.014 s]
Raw data (loadavg): 0.99 0.97 0.84 2/55 26255
Raw data (stat): 26252 (vallstSAT2005PB) S 26251 20687 20686 0 -1 0 321 232 0 0 1 0 0 0 19 0 1 0 856929336 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+800.014 s]
Raw data (loadavg): 0.99 0.97 0.84 2/55 26255
Raw data (stat): 26252 (vallstSAT2005PB) S 26251 20687 20686 0 -1 0 321 232 0 0 1 0 0 0 19 0 1 0 856929336 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+810.014 s]
Raw data (loadavg): 0.99 0.97 0.84 2/55 26255
Raw data (stat): 26252 (vallstSAT2005PB) S 26251 20687 20686 0 -1 0 321 232 0 0 1 0 0 0 19 0 1 0 856929336 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+820.014 s]
Raw data (loadavg): 0.99 0.97 0.84 2/55 26255
Raw data (stat): 26252 (vallstSAT2005PB) S 26251 20687 20686 0 -1 0 321 232 0 0 1 0 0 0 19 0 1 0 856929336 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+830.015 s]
Raw data (loadavg): 0.99 0.97 0.84 2/55 26255
Raw data (stat): 26252 (vallstSAT2005PB) S 26251 20687 20686 0 -1 0 321 232 0 0 1 0 0 0 19 0 1 0 856929336 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+840.015 s]
Raw data (loadavg): 0.99 0.97 0.84 2/55 26255
Raw data (stat): 26252 (vallstSAT2005PB) S 26251 20687 20686 0 -1 0 321 232 0 0 1 0 0 0 19 0 1 0 856929336 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+850.014 s]
Raw data (loadavg): 0.99 0.97 0.84 2/55 26255
Raw data (stat): 26252 (vallstSAT2005PB) S 26251 20687 20686 0 -1 0 321 232 0 0 1 0 0 0 19 0 1 0 856929336 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+860.015 s]
Raw data (loadavg): 0.99 0.97 0.85 2/55 26255
Raw data (stat): 26252 (vallstSAT2005PB) S 26251 20687 20686 0 -1 0 321 232 0 0 1 0 0 0 19 0 1 0 856929336 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+870.014 s]
Raw data (loadavg): 0.99 0.97 0.85 2/55 26255
Raw data (stat): 26252 (vallstSAT2005PB) S 26251 20687 20686 0 -1 0 321 232 0 0 1 0 0 0 19 0 1 0 856929336 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+880.015 s]
Raw data (loadavg): 0.99 0.97 0.85 2/55 26255
Raw data (stat): 26252 (vallstSAT2005PB) S 26251 20687 20686 0 -1 0 321 232 0 0 1 0 0 0 19 0 1 0 856929336 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+890.015 s]
Raw data (loadavg): 0.99 0.97 0.85 2/55 26255
Raw data (stat): 26252 (vallstSAT2005PB) S 26251 20687 20686 0 -1 0 321 232 0 0 1 0 0 0 19 0 1 0 856929336 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+900.015 s]
Raw data (loadavg): 0.99 0.97 0.85 2/55 26255
Raw data (stat): 26252 (vallstSAT2005PB) S 26251 20687 20686 0 -1 0 321 232 0 0 1 0 0 0 19 0 1 0 856929336 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+910.015 s]
Raw data (loadavg): 0.99 0.97 0.85 2/55 26255
Raw data (stat): 26252 (vallstSAT2005PB) S 26251 20687 20686 0 -1 0 321 232 0 0 1 0 0 0 19 0 1 0 856929336 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+920.016 s]
Raw data (loadavg): 0.99 0.97 0.85 2/55 26255
Raw data (stat): 26252 (vallstSAT2005PB) S 26251 20687 20686 0 -1 0 321 232 0 0 1 0 0 0 19 0 1 0 856929336 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+930.016 s]
Raw data (loadavg): 0.99 0.97 0.85 2/55 26255
Raw data (stat): 26252 (vallstSAT2005PB) S 26251 20687 20686 0 -1 0 321 232 0 0 1 0 0 0 19 0 1 0 856929336 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+940.016 s]
Raw data (loadavg): 0.99 0.97 0.85 2/55 26255
Raw data (stat): 26252 (vallstSAT2005PB) S 26251 20687 20686 0 -1 0 321 232 0 0 1 0 0 0 19 0 1 0 856929336 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+950.016 s]
Raw data (loadavg): 0.99 0.97 0.85 2/55 26255
Raw data (stat): 26252 (vallstSAT2005PB) S 26251 20687 20686 0 -1 0 321 232 0 0 1 0 0 0 19 0 1 0 856929336 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+960.016 s]
Raw data (loadavg): 0.99 0.97 0.86 2/55 26255
Raw data (stat): 26252 (vallstSAT2005PB) S 26251 20687 20686 0 -1 0 321 232 0 0 1 0 0 0 19 0 1 0 856929336 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+970.015 s]
Raw data (loadavg): 0.99 0.97 0.86 2/55 26255
Raw data (stat): 26252 (vallstSAT2005PB) S 26251 20687 20686 0 -1 0 321 232 0 0 1 0 0 0 19 0 1 0 856929336 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+980.016 s]
Raw data (loadavg): 0.99 0.97 0.86 2/55 26255
Raw data (stat): 26252 (vallstSAT2005PB) S 26251 20687 20686 0 -1 0 321 232 0 0 1 0 0 0 19 0 1 0 856929336 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+990.015 s]
Raw data (loadavg): 0.99 0.97 0.86 2/55 26255
Raw data (stat): 26252 (vallstSAT2005PB) S 26251 20687 20686 0 -1 0 321 232 0 0 1 0 0 0 19 0 1 0 856929336 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.97 0.86 2/55 26255
Raw data (stat): 26252 (vallstSAT2005PB) S 26251 20687 20686 0 -1 0 321 232 0 0 1 0 0 0 19 0 1 0 856929336 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.97 0.86 2/55 26255
Raw data (stat): 26252 (vallstSAT2005PB) S 26251 20687 20686 0 -1 0 321 232 0 0 1 0 0 0 19 0 1 0 856929336 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.97 0.86 2/55 26255
Raw data (stat): 26252 (vallstSAT2005PB) S 26251 20687 20686 0 -1 0 321 232 0 0 1 0 0 0 19 0 1 0 856929336 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+1030.02 s]
Raw data (loadavg): 0.99 0.97 0.86 2/55 26255
Raw data (stat): 26252 (vallstSAT2005PB) S 26251 20687 20686 0 -1 0 321 232 0 0 1 0 0 0 19 0 1 0 856929336 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+1040.01 s]
Raw data (loadavg): 0.99 0.97 0.86 2/55 26255
Raw data (stat): 26252 (vallstSAT2005PB) S 26251 20687 20686 0 -1 0 321 232 0 0 1 0 0 0 19 0 1 0 856929336 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+1050.01 s]
Raw data (loadavg): 0.99 0.97 0.86 2/55 26255
Raw data (stat): 26252 (vallstSAT2005PB) S 26251 20687 20686 0 -1 0 321 232 0 0 1 0 0 0 19 0 1 0 856929336 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+1060.01 s]
Raw data (loadavg): 0.99 0.97 0.87 2/55 26255
Raw data (stat): 26252 (vallstSAT2005PB) S 26251 20687 20686 0 -1 0 321 232 0 0 1 0 0 0 19 0 1 0 856929336 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+1070.01 s]
Raw data (loadavg): 0.99 0.97 0.87 2/55 26255
Raw data (stat): 26252 (vallstSAT2005PB) S 26251 20687 20686 0 -1 0 321 232 0 0 1 0 0 0 19 0 1 0 856929336 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+1080.01 s]
Raw data (loadavg): 0.99 0.97 0.87 2/55 26255
Raw data (stat): 26252 (vallstSAT2005PB) S 26251 20687 20686 0 -1 0 321 232 0 0 1 0 0 0 19 0 1 0 856929336 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+1090.01 s]
Raw data (loadavg): 0.99 0.97 0.87 2/55 26255
Raw data (stat): 26252 (vallstSAT2005PB) S 26251 20687 20686 0 -1 0 321 232 0 0 1 0 0 0 19 0 1 0 856929336 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+1100.01 s]
Raw data (loadavg): 0.99 0.97 0.87 2/55 26255
Raw data (stat): 26252 (vallstSAT2005PB) S 26251 20687 20686 0 -1 0 321 232 0 0 1 0 0 0 19 0 1 0 856929336 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+1110.01 s]
Raw data (loadavg): 0.99 0.97 0.87 2/55 26255
Raw data (stat): 26252 (vallstSAT2005PB) S 26251 20687 20686 0 -1 0 321 232 0 0 1 0 0 0 19 0 1 0 856929336 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+1120.01 s]
Raw data (loadavg): 0.99 0.97 0.87 2/55 26255
Raw data (stat): 26252 (vallstSAT2005PB) S 26251 20687 20686 0 -1 0 321 232 0 0 1 0 0 0 19 0 1 0 856929336 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+1130.01 s]
Raw data (loadavg): 0.99 0.97 0.87 2/55 26255
Raw data (stat): 26252 (vallstSAT2005PB) S 26251 20687 20686 0 -1 0 321 232 0 0 1 0 0 0 19 0 1 0 856929336 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+1140.01 s]
Raw data (loadavg): 0.99 0.97 0.87 2/55 26255
Raw data (stat): 26252 (vallstSAT2005PB) S 26251 20687 20686 0 -1 0 321 232 0 0 1 0 0 0 19 0 1 0 856929336 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+1150.01 s]
Raw data (loadavg): 0.99 0.97 0.87 2/55 26255
Raw data (stat): 26252 (vallstSAT2005PB) S 26251 20687 20686 0 -1 0 321 232 0 0 1 0 0 0 19 0 1 0 856929336 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+1160.01 s]
Raw data (loadavg): 0.99 0.97 0.87 2/55 26255
Raw data (stat): 26252 (vallstSAT2005PB) S 26251 20687 20686 0 -1 0 321 232 0 0 1 0 0 0 19 0 1 0 856929336 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+1170.01 s]
Raw data (loadavg): 0.99 0.97 0.88 2/55 26255
Raw data (stat): 26252 (vallstSAT2005PB) S 26251 20687 20686 0 -1 0 321 232 0 0 1 0 0 0 19 0 1 0 856929336 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+1180.01 s]
Raw data (loadavg): 0.99 0.97 0.88 2/55 26255
Raw data (stat): 26252 (vallstSAT2005PB) S 26251 20687 20686 0 -1 0 321 232 0 0 1 0 0 0 19 0 1 0 856929336 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+1190.01 s]
Raw data (loadavg): 0.99 0.97 0.88 2/55 26255
Raw data (stat): 26252 (vallstSAT2005PB) S 26251 20687 20686 0 -1 0 321 232 0 0 1 0 0 0 19 0 1 0 856929336 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+1200.01 s]
Raw data (loadavg): 0.99 0.97 0.88 2/55 26255
Raw data (stat): 26252 (vallstSAT2005PB) S 26251 20687 20686 0 -1 0 321 232 0 0 1 0 0 0 19 0 1 0 856929336 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+1210.01 s]
Raw data (loadavg): 0.99 0.97 0.88 2/55 26255
Raw data (stat): 26252 (vallstSAT2005PB) S 26251 20687 20686 0 -1 0 321 232 0 0 1 0 0 0 19 0 1 0 856929336 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+1220.01 s]
Raw data (loadavg): 0.99 0.97 0.88 2/55 26255
Raw data (stat): 26252 (vallstSAT2005PB) S 26251 20687 20686 0 -1 0 321 232 0 0 1 0 0 0 19 0 1 0 856929336 2179072 242 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+1230.01 s]
Raw data (loadavg): 0.99 0.97 0.88 2/54 26261
Raw data (stat): 26252 (vallstSAT2005PB) R 26251 20687 20686 0 -1 0 430 1573 0 0 23 4 120642 2346 21 0 1 0 856929336 2179072 249 4294967295 134512640 135087896 3221224528 3221221384 1074404449 0 0 7 1132560120 0 0 0 17 0 0 0
Raw data (statm): 532 249 485 147 0 385 0
vsize: 2128
[startup+1230.54 s]
Raw data (loadavg): 0.99 0.97 0.88 1/53 26267
Raw data (stat): 26252 (vallstSAT2005PB) R 26251 20687 20686 0 -1 0 430 1573 0 0 23 4 120642 2346 21 0 1 0 856929336 2179072 249 4294967295 134512640 135087896 3221224528 3221221384 1074404449 0 0 7 1132560120 0 0 0 17 0 0 0
Raw data (statm): 532 249 485 147 0 385 0
vsize: 0

Child status: 10
Real time (s): 1230.54
CPU time (s): 1230.37
CPU user time (s): 1206.79
CPU system time (s): 23.5834
CPU usage (%): 99.9862
Max. virtual memory (Kb): 2128
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	354
#### END VERIFIER DATA ####