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-prom2.pi.opb
MD5SUM	4a63080ba3e63c3b77e35782a700d569
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	330
Optimality of the best value was proved	NO
Number of terms in the objective function	2618
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	2618
Number of bits of the sum of numbers in the objective function	12
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	2618
Number of bits of the biggest sum of numbers	12
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.71974
Number of variables	2617
Total number of constraints	1988
Number of constraints which are clauses	1988
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	30
Trace number 33585

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc29 THE 2005-05-27 14:35:12 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=638 boxname=wulflinc29 idbench=71 idsolver=8 numberseed=0
MD5SUM SOLVER: 4b637b3b6117f2add1a6288e91336322  /oldhome/oroussel/solvers/vallstSAT2005PB.sh
MD5SUM BENCH:  4a63080ba3e63c3b77e35782a700d569  /oldhome/oroussel/tmp/wulflinc29/normalized-prom2.pi.opb
REAL COMMAND:  vallstSAT2005PB.sh /oldhome/oroussel/tmp/wulflinc29/normalized-prom2.pi.opb 0
IDLAUNCH: 638
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.020
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.020
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        543612 kB
Buffers:         20068 kB
Cached:         449868 kB
SwapCached:        488 kB
Active:          16604 kB
Inactive:       455616 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        543360 kB
SwapTotal:     2097892 kB
SwapFree:      2096716 kB
Dirty:             112 kB
Writeback:           0 kB
Mapped:           5616 kB
Slab:            13140 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-27 14:55:44 (client local time) WITH STATUS 10 IN 1230.83 SECONDS
stats: 638 0 1230.83 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
1:
seed: 0
Nr of vars set: 9  (#equs: 0)
Nr of vars set: 9  (#equs: 0)
#decisions: 584;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 1967, #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:  2025 (592:>=*);
#decisions: 583;  #end-nodes: 1;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 1 / 80 (80)
#axs: 1967, #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:  2026 (591:>=*);
#decisions: 587;  #end-nodes: 6;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 6 / 80 (80)
#axs: 1967, #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:  2027 (590:>=*);
#decisions: 617;  #end-nodes: 38;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 38 / 80 (80)
#axs: 1967, #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:  2028 (589:>=*);
#decisions: 645;  #end-nodes: 67;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 67 / 80 (80)
#axs: 1967, #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:  2029 (588:>=*);
#decisions: 3254;  #end-nodes: 81;
#proof improvement attempts: 0;  #restarts: 1
Current batch, end-nodes: 0 / 80 (80)
#axs: 1967, #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:  2040 (577:>=*);
#decisions: 569;  #end-nodes: 1;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 1 / 80 (80)
#axs: 1967, #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:  2041 (576:>=*);
#decisions: 618;  #end-nodes: 52;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 52 / 80 (80)
#axs: 1967, #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:  2042 (575:>=*);
#decisions: 608;  #end-nodes: 43;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 43 / 80 (80)
#axs: 1967, #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:  2043 (574:>=*);
#decisions: 7037;  #end-nodes: 840;
#proof improvement attempts: 0;  #restarts: 10
Current batch, end-nodes: 27 / 82 (82)
#axs: 1967, #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:  2044 (573:>=*);
#decisions: 591;  #end-nodes: 28;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 28 / 80 (80)
#axs: 1967, #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:  2045 (572:>=*);
#decisions: 3884;  #end-nodes: 162;
#proof improvement attempts: 0;  #restarts: 2
Current batch, end-nodes: 0 / 80 (80)
#axs: 1967, #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:  2052 (565:>=*);
#decisions: 567;  #end-nodes: 11;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 11 / 80 (80)
#axs: 1967, #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:  2053 (564:>=*);
#decisions: 69758;  #end-nodes: 9641;
#proof improvement attempts: 0;  #restarts: 104
Current batch, end-nodes: 0 / 106 (106)
#axs: 1967, #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:  2066 (551:>=*);
#decisions: 543;  #end-nodes: 2;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 2 / 80 (80)
#axs: 1967, #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:  2067 (550:>=*);
#decisions: 544;  #end-nodes: 4;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 4 / 80 (80)
#axs: 1967, #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:  2068 (549:>=*);
#decisions: 551;  #end-nodes: 12;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 12 / 80 (80)
#axs: 1967, #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:  2069 (548:>=*);
#decisions: 550;  #end-nodes: 13;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 13 / 80 (80)
#axs: 1967, #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:  2070 (547:>=*);
#decisions: 5473;  #end-nodes: 647;
#proof improvement attempts: 0;  #restarts: 8
Current batch, end-nodes: 0 / 82 (82)
#axs: 1967, #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:  2071 (546:>=*);
#decisions: 545;  #end-nodes: 10;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 10 / 80 (80)
#axs: 1967, #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:  2072 (545:>=*);
#decisions: 557;  #end-nodes: 23;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 23 / 80 (80)
#axs: 1967, #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:  2073 (544:>=*);
Interupt request received.
#decisions: 1969826;  #end-nodes: 789402;
#proof improvement attempts: 0;  #restarts: 2214
Current batch, end-nodes: 228 / 633 (633)
#axs: 1967, #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:) 2073 (544:>=*)

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: 551  (#equs: 0)
Time taken: 20 min, 29 sec
times:
0m0.016s 0m0.010s
20m11.684s 0m18.197s
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 -x1279 -x1280  x1281  x1282 -x1283 -x1284  x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292  x1293 -x1294  x1295 -x1296 -x1297  x1298  x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305  x1306  x1307 -x1308  x1309 -x1310 -x1311 -x1312  x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320  x1321 -x1322 -x1323 -x1324  x1325  x1326 -x1327  x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334  x1335 -x1336  x1337 -x1338 -x1339 -x1340 -x1341 -x1342  x1343 -x1344 -x1345 -x1346 -x1347  x1348 -x1349  x1350 -x1351 -x1352 -x1353 -x1354 -x1355  x1356 -x1357  x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380  x1381 -x1382 -x1383 -x1384  x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391  x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405  x1406 -x1407  x1408 -x1409 -x1410 -x1411 -x1412  x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419  x1420 -x1421  x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438  x1439  x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451  x1452 -x1453 -x1454  x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467  x1468 -x1469 -x1470  x1471 -x1472 -x1473 -x1474 -x1475  x1476 -x1477 -x1478  x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490  x1491  x1492 -x1493 -x1494 -x1495 -x1496 -x1497  x1498 -x1499 -x1500 -x1501  x1502  x1503 -x1504 -x1505 -x1506  x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520  x1521  x1522 -x1523 -x1524 -x1525 -x1526  x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536  x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543  x1544 -x1545 -x1546 -x1547 -x1548 -x1549  x1550 -x1551 -x1552 -x1553 -x1554 -x1555  x1556 -x1557 -x1558 -x1559 -x1560  x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574  x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582  x1583  x1584 -x1585 -x1586 -x1587 -x1588 -x1589  x1590 -x1591 -x1592 -x1593 -x1594 -x1595  x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604  x1605 -x1606 -x1607  x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620  x1621  x1622  x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631  x1632 -x1633  x1634 -x1635 -x1636  x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647  x1648 -x1649  x1650 -x1651 -x1652  x1653 -x1654  x1655 -x1656 -x1657 -x1658 -x1659  x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666  x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677  x1678  x1679  x1680 -x1681 -x1682 -x1683  x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694  x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702  x1703  x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714  x1715  x1716  x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723  x1724  x1725 -x1726  x1727 -x1728  x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737  x1738 -x1739 -x1740  x1741 -x1742  x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751  x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762  x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782  x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796  x1797 -x1798 -x1799  x1800  x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814  x1815 -x1816 -x1817 -x1818 -x1819  x1820 -x1821 -x1822 -x1823 -x1824 -x1825  x1826 -x1827 -x1828  x1829 -x1830  x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839  x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849  x1850 -x1851 -x1852 -x1853 -x1854  x1855 -x1856 -x1857 -x1858 -x1859  x1860  x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869  x1870 -x1871 -x1872  x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879  x1880 -x1881  x1882 -x1883 -x1884 -x1885 -x1886 -x1887  x1888 -x1889 -x1890 -x1891 -x1892 -x1893  x1894 -x1895 -x1896 -x1897 -x1898 -x1899  x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907  x1908 -x1909  x1910 -x1911 -x1912  x1913 -x1914 -x1915 -x1916 -x1917 -x1918  x1919 -x1920  x1921 -x1922 -x1923 -x1924 -x1925 -x1926  x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934  x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941  x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950  x1951 -x1952 -x1953 -x1954  x1955 -x1956  x1957 -x1958 -x1959 -x1960 -x1961  x1962 -x1963  x1964 -x1965 -x1966 -x1967 -x1968 -x1969  x1970 -x1971 -x1972 -x1973 -x1974  x1975 -x1976 -x1977 -x1978  x1979 -x1980 -x1981 -x1982  x1983 -x1984 -x1985  x1986 -x1987 -x1988  x1989 -x1990 -x1991 -x1992 -x1993 -x1994  x1995  x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002  x2003 -x2004  x2005 -x2006 -x2007  x2008  x2009  x2010 -x2011 -x2012  x2013  x2014 -x2015 -x2016 -x2017 -x2018 -x2019  x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030  x2031 -x2032 -x2033  x2034 -x2035 -x2036 -x2037 -x2038  x2039 -x2040 -x2041 -x2042 -x2043  x2044 -x2045 -x2046 -x2047  x2048  x2049  x2050 -x2051 -x2052 -x2053  x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062  x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070  x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077  x2078 -x2079  x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086  x2087 -x2088  x2089 -x2090 -x2091  x2092  x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099  x2100 -x2101 -x2102 -x2103 -x2104 -x2105  x2106  x2107 -x2108 -x2109  x2110 -x2111 -x2112 -x2113 -x2114 -x2115  x2116 -x2117 -x2118  x2119  x2120  x2121 -x2122 -x2123  x2124 -x2125 -x2126 -x2127  x2128 -x2129 -x2130 -x2131 -x2132 -x2133  x2134 -x2135 -x2136  x2137 -x2138 -x2139 -x2140 -x2141  x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150  x2151 -x2152 -x2153 -x2154 -x2155  x2156 -x2157 -x2158  x2159 -x2160 -x2161 -x2162 -x2163  x2164  x2165 -x2166  x2167  x2168  x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179  x2180  x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192  x2193 -x2194  x2195 -x2196  x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212  x2213 -x2214 -x2215 -x2216 -x2217 -x2218  x2219 -x2220  x2221 -x2222  x2223  x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232  x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245  x2246 -x2247 -x2248  x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257  x2258  x2259 -x2260  x2261 -x2262 -x2263  x2264 -x2265  x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278  x2279 -x2280 -x2281 -x2282 -x2283 -x2284  x2285 -x2286 -x2287  x2288 -x2289 -x2290 -x2291 -x2292 -x2293  x2294 -x2295 -x2296 -x2297 -x2298  x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308  x2309 -x2310 -x2311 -x2312 -x2313  x2314 -x2315 -x2316  x2317 -x2318 -x2319 -x2320 -x2321  x2322 -x2323  x2324 -x2325 -x2326 -x2327 -x2328  x2329  x2330 -x2331 -x2332 -x2333 -x2334  x2335  x2336  x2337 -x2338  x2339 -x2340 -x2341 -x2342  x2343 -x2344 -x2345  x2346 -x2347 -x2348 -x2349  x2350 -x2351 -x2352 -x2353 -x2354  x2355 -x2356  x2357 -x2358 -x2359 -x2360 -x2361  x2362 -x2363 -x2364 -x2365  x2366 -x2367  x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376  x2377 -x2378 -x2379 -x2380 -x2381 -x2382  x2383 -x2384 -x2385 -x2386 -x2387 -x2388  x2389 -x2390  x2391  x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399  x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407  x2408  x2409 -x2410  x2411 -x2412 -x2413  x2414 -x2415 -x2416  x2417 -x2418 -x2419 -x2420  x2421 -x2422 -x2423 -x2424 -x2425 -x2426  x2427  x2428 -x2429 -x2430 -x2431 -x2432 -x2433  x2434  x2435 -x2436  x2437  x2438 -x2439 -x2440  x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447  x2448  x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464  x2465  x2466 -x2467 -x2468 -x2469 -x2470 -x2471  x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480  x2481 -x2482  x2483  x2484 -x2485  x2486 -x2487 -x2488 -x2489 -x2490  x2491 -x2492 -x2493 -x2494 -x2495  x2496 -x2497 -x2498  x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505  x2506  x2507 -x2508  x2509  x2510 -x2511 -x2512 -x2513 -x2514 -x2515  x2516 -x2517 -x2518  x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526  x2527 -x2528 -x2529  x2530 -x2531  x2532 -x2533 -x2534 -x2535 -x2536  x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543  x2544  x2545 -x2546  x2547 -x2548  x2549 -x2550 -x2551 -x2552  x2553 -x2554  x2555  x2556 -x2557  x2558 -x2559 -x2560 -x2561 -x2562 -x2563  x2564 -x2565  x2566 -x2567 -x2568 -x2569 -x2570 -x2571  x2572 -x2573 -x2574  x2575  x2576 -x2577 -x2578  x2579 -x2580 -x2581  x2582 -x2583  x2584 -x2585 -x2586 -x2587  x2588  x2589  x2590 -x2591 -x2592 -x2593 -x2594  x2595  x2596 -x2597  x2598 -x2599  x2600 -x2601  x2602 -x2603 -x2604 -x2605  x2606 -x2607  x2608 -x2609 -x2610 -x2611  x2612  x2613 -x2614  x2615 -x2616  x2617 -x2618 
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.84 0.94 0.69 2/54 19732
Raw data (stat): 19732 (runsolver) R 19731 20001 20000 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 856919016 884736 94 4294967295 134512640 135332820 3221224448 3221219612 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0004 s]
Raw data (loadavg): 0.95 0.96 0.70 2/55 19735
Raw data (stat): 19732 (vallstSAT2005PB) S 19731 20001 20000 0 -1 0 321 232 0 0 0 0 0 0 19 0 1 0 856919016 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.0004 s]
Raw data (loadavg): 0.95 0.96 0.70 2/55 19735
Raw data (stat): 19732 (vallstSAT2005PB) S 19731 20001 20000 0 -1 0 321 232 0 0 0 0 0 0 19 0 1 0 856919016 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.0001 s]
Raw data (loadavg): 0.96 0.96 0.71 2/55 19735
Raw data (stat): 19732 (vallstSAT2005PB) S 19731 20001 20000 0 -1 0 321 232 0 0 0 0 0 0 19 0 1 0 856919016 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.0006 s]
Raw data (loadavg): 0.97 0.96 0.71 2/55 19735
Raw data (stat): 19732 (vallstSAT2005PB) S 19731 20001 20000 0 -1 0 321 232 0 0 0 0 0 0 19 0 1 0 856919016 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.0006 s]
Raw data (loadavg): 0.97 0.96 0.71 2/55 19735
Raw data (stat): 19732 (vallstSAT2005PB) S 19731 20001 20000 0 -1 0 321 232 0 0 0 0 0 0 19 0 1 0 856919016 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.0014 s]
Raw data (loadavg): 0.97 0.96 0.71 2/55 19735
Raw data (stat): 19732 (vallstSAT2005PB) S 19731 20001 20000 0 -1 0 321 232 0 0 0 0 0 0 19 0 1 0 856919016 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.0018 s]
Raw data (loadavg): 0.98 0.96 0.72 2/55 19735
Raw data (stat): 19732 (vallstSAT2005PB) S 19731 20001 20000 0 -1 0 321 232 0 0 0 0 0 0 19 0 1 0 856919016 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.0019 s]
Raw data (loadavg): 0.98 0.96 0.72 2/55 19735
Raw data (stat): 19732 (vallstSAT2005PB) S 19731 20001 20000 0 -1 0 321 232 0 0 0 0 0 0 19 0 1 0 856919016 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.0026 s]
Raw data (loadavg): 0.98 0.96 0.72 2/55 19735
Raw data (stat): 19732 (vallstSAT2005PB) S 19731 20001 20000 0 -1 0 321 232 0 0 0 0 0 0 19 0 1 0 856919016 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.002 s]
Raw data (loadavg): 0.99 0.97 0.73 2/55 19735
Raw data (stat): 19732 (vallstSAT2005PB) S 19731 20001 20000 0 -1 0 321 232 0 0 0 0 0 0 19 0 1 0 856919016 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.003 s]
Raw data (loadavg): 0.99 0.97 0.73 2/55 19735
Raw data (stat): 19732 (vallstSAT2005PB) S 19731 20001 20000 0 -1 0 321 232 0 0 0 0 0 0 19 0 1 0 856919016 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.003 s]
Raw data (loadavg): 0.99 0.97 0.73 2/55 19735
Raw data (stat): 19732 (vallstSAT2005PB) S 19731 20001 20000 0 -1 0 321 232 0 0 0 0 0 0 19 0 1 0 856919016 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.99 0.97 0.73 2/55 19735
Raw data (stat): 19732 (vallstSAT2005PB) S 19731 20001 20000 0 -1 0 321 232 0 0 0 0 0 0 19 0 1 0 856919016 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.003 s]
Raw data (loadavg): 0.99 0.97 0.73 2/55 19735
Raw data (stat): 19732 (vallstSAT2005PB) S 19731 20001 20000 0 -1 0 321 232 0 0 0 0 0 0 19 0 1 0 856919016 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.003 s]
Raw data (loadavg): 0.99 0.97 0.74 2/55 19735
Raw data (stat): 19732 (vallstSAT2005PB) S 19731 20001 20000 0 -1 0 321 232 0 0 0 0 0 0 19 0 1 0 856919016 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.004 s]
Raw data (loadavg): 0.99 0.97 0.74 2/55 19735
Raw data (stat): 19732 (vallstSAT2005PB) S 19731 20001 20000 0 -1 0 321 232 0 0 0 0 0 0 19 0 1 0 856919016 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.004 s]
Raw data (loadavg): 0.99 0.97 0.74 2/55 19735
Raw data (stat): 19732 (vallstSAT2005PB) S 19731 20001 20000 0 -1 0 321 232 0 0 0 0 0 0 19 0 1 0 856919016 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.003 s]
Raw data (loadavg): 0.99 0.97 0.74 2/55 19735
Raw data (stat): 19732 (vallstSAT2005PB) S 19731 20001 20000 0 -1 0 321 232 0 0 0 0 0 0 19 0 1 0 856919016 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.004 s]
Raw data (loadavg): 0.99 0.97 0.74 2/55 19735
Raw data (stat): 19732 (vallstSAT2005PB) S 19731 20001 20000 0 -1 0 321 232 0 0 0 0 0 0 19 0 1 0 856919016 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.004 s]
Raw data (loadavg): 0.99 0.97 0.75 2/55 19735
Raw data (stat): 19732 (vallstSAT2005PB) S 19731 20001 20000 0 -1 0 321 232 0 0 0 0 0 0 19 0 1 0 856919016 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.005 s]
Raw data (loadavg): 0.99 0.97 0.75 2/55 19735
Raw data (stat): 19732 (vallstSAT2005PB) S 19731 20001 20000 0 -1 0 321 232 0 0 0 0 0 0 19 0 1 0 856919016 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.004 s]
Raw data (loadavg): 0.99 0.97 0.75 2/55 19735
Raw data (stat): 19732 (vallstSAT2005PB) S 19731 20001 20000 0 -1 0 321 232 0 0 0 0 0 0 19 0 1 0 856919016 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.006 s]
Raw data (loadavg): 0.99 0.97 0.75 2/55 19735
Raw data (stat): 19732 (vallstSAT2005PB) S 19731 20001 20000 0 -1 0 321 232 0 0 0 0 0 0 19 0 1 0 856919016 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.007 s]
Raw data (loadavg): 0.99 0.97 0.75 2/55 19735
Raw data (stat): 19732 (vallstSAT2005PB) S 19731 20001 20000 0 -1 0 321 232 0 0 0 0 0 0 19 0 1 0 856919016 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.006 s]
Raw data (loadavg): 0.99 0.97 0.76 2/55 19735
Raw data (stat): 19732 (vallstSAT2005PB) S 19731 20001 20000 0 -1 0 321 232 0 0 0 0 0 0 19 0 1 0 856919016 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.007 s]
Raw data (loadavg): 0.99 0.97 0.76 2/55 19735
Raw data (stat): 19732 (vallstSAT2005PB) S 19731 20001 20000 0 -1 0 321 232 0 0 0 0 0 0 19 0 1 0 856919016 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.007 s]
Raw data (loadavg): 0.99 0.97 0.76 2/55 19735
Raw data (stat): 19732 (vallstSAT2005PB) S 19731 20001 20000 0 -1 0 321 232 0 0 0 0 0 0 19 0 1 0 856919016 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.007 s]
Raw data (loadavg): 0.99 0.97 0.76 2/55 19735
Raw data (stat): 19732 (vallstSAT2005PB) S 19731 20001 20000 0 -1 0 321 232 0 0 0 0 0 0 19 0 1 0 856919016 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.008 s]
Raw data (loadavg): 0.99 0.97 0.76 2/55 19735
Raw data (stat): 19732 (vallstSAT2005PB) S 19731 20001 20000 0 -1 0 321 232 0 0 0 0 0 0 19 0 1 0 856919016 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.009 s]
Raw data (loadavg): 0.99 0.97 0.77 2/55 19735
Raw data (stat): 19732 (vallstSAT2005PB) S 19731 20001 20000 0 -1 0 321 232 0 0 0 0 0 0 19 0 1 0 856919016 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.009 s]
Raw data (loadavg): 0.99 0.97 0.77 2/55 19735
Raw data (stat): 19732 (vallstSAT2005PB) S 19731 20001 20000 0 -1 0 321 232 0 0 0 0 0 0 19 0 1 0 856919016 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.009 s]
Raw data (loadavg): 0.99 0.97 0.77 2/55 19735
Raw data (stat): 19732 (vallstSAT2005PB) S 19731 20001 20000 0 -1 0 321 232 0 0 0 0 0 0 19 0 1 0 856919016 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.009 s]
Raw data (loadavg): 0.99 0.97 0.77 2/55 19735
Raw data (stat): 19732 (vallstSAT2005PB) S 19731 20001 20000 0 -1 0 321 232 0 0 0 0 0 0 19 0 1 0 856919016 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.009 s]
Raw data (loadavg): 0.99 0.97 0.77 2/55 19735
Raw data (stat): 19732 (vallstSAT2005PB) S 19731 20001 20000 0 -1 0 321 232 0 0 0 0 0 0 19 0 1 0 856919016 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.009 s]
Raw data (loadavg): 0.99 0.97 0.78 2/55 19735
Raw data (stat): 19732 (vallstSAT2005PB) S 19731 20001 20000 0 -1 0 321 232 0 0 0 0 0 0 19 0 1 0 856919016 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.01 s]
Raw data (loadavg): 0.99 0.97 0.78 2/55 19735
Raw data (stat): 19732 (vallstSAT2005PB) S 19731 20001 20000 0 -1 0 321 232 0 0 0 0 0 0 19 0 1 0 856919016 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.01 s]
Raw data (loadavg): 0.99 0.97 0.78 2/55 19735
Raw data (stat): 19732 (vallstSAT2005PB) S 19731 20001 20000 0 -1 0 321 232 0 0 0 0 0 0 19 0 1 0 856919016 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.01 s]
Raw data (loadavg): 0.99 0.97 0.78 2/55 19735
Raw data (stat): 19732 (vallstSAT2005PB) S 19731 20001 20000 0 -1 0 321 232 0 0 0 0 0 0 19 0 1 0 856919016 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.011 s]
Raw data (loadavg): 0.99 0.97 0.78 2/55 19735
Raw data (stat): 19732 (vallstSAT2005PB) S 19731 20001 20000 0 -1 0 321 232 0 0 0 0 0 0 19 0 1 0 856919016 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.012 s]
Raw data (loadavg): 0.99 0.97 0.79 2/55 19735
Raw data (stat): 19732 (vallstSAT2005PB) S 19731 20001 20000 0 -1 0 321 232 0 0 0 0 0 0 19 0 1 0 856919016 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.012 s]
Raw data (loadavg): 0.99 0.97 0.79 2/55 19735
Raw data (stat): 19732 (vallstSAT2005PB) S 19731 20001 20000 0 -1 0 321 232 0 0 0 0 0 0 19 0 1 0 856919016 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.012 s]
Raw data (loadavg): 0.99 0.97 0.79 2/55 19735
Raw data (stat): 19732 (vallstSAT2005PB) S 19731 20001 20000 0 -1 0 321 232 0 0 0 0 0 0 19 0 1 0 856919016 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.012 s]
Raw data (loadavg): 0.99 0.97 0.79 2/55 19735
Raw data (stat): 19732 (vallstSAT2005PB) S 19731 20001 20000 0 -1 0 321 232 0 0 0 0 0 0 19 0 1 0 856919016 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.012 s]
Raw data (loadavg): 0.99 0.97 0.79 2/55 19735
Raw data (stat): 19732 (vallstSAT2005PB) S 19731 20001 20000 0 -1 0 321 232 0 0 0 0 0 0 19 0 1 0 856919016 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.012 s]
Raw data (loadavg): 0.99 0.97 0.79 2/55 19735
Raw data (stat): 19732 (vallstSAT2005PB) S 19731 20001 20000 0 -1 0 321 232 0 0 0 0 0 0 19 0 1 0 856919016 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.012 s]
Raw data (loadavg): 0.99 0.97 0.80 2/55 19735
Raw data (stat): 19732 (vallstSAT2005PB) S 19731 20001 20000 0 -1 0 321 232 0 0 0 0 0 0 19 0 1 0 856919016 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.012 s]
Raw data (loadavg): 0.99 0.97 0.80 2/55 19735
Raw data (stat): 19732 (vallstSAT2005PB) S 19731 20001 20000 0 -1 0 321 232 0 0 0 0 0 0 19 0 1 0 856919016 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.012 s]
Raw data (loadavg): 0.99 0.97 0.80 2/55 19735
Raw data (stat): 19732 (vallstSAT2005PB) S 19731 20001 20000 0 -1 0 321 232 0 0 0 0 0 0 19 0 1 0 856919016 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.012 s]
Raw data (loadavg): 0.99 0.97 0.80 2/55 19735
Raw data (stat): 19732 (vallstSAT2005PB) S 19731 20001 20000 0 -1 0 321 232 0 0 0 0 0 0 19 0 1 0 856919016 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.013 s]
Raw data (loadavg): 0.99 0.97 0.80 2/55 19735
Raw data (stat): 19732 (vallstSAT2005PB) S 19731 20001 20000 0 -1 0 321 232 0 0 0 0 0 0 19 0 1 0 856919016 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.013 s]
Raw data (loadavg): 0.99 0.97 0.81 2/55 19735
Raw data (stat): 19732 (vallstSAT2005PB) S 19731 20001 20000 0 -1 0 321 232 0 0 0 0 0 0 19 0 1 0 856919016 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.013 s]
Raw data (loadavg): 0.99 0.97 0.81 2/55 19735
Raw data (stat): 19732 (vallstSAT2005PB) S 19731 20001 20000 0 -1 0 321 232 0 0 0 0 0 0 19 0 1 0 856919016 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.013 s]
Raw data (loadavg): 0.99 0.97 0.81 2/55 19735
Raw data (stat): 19732 (vallstSAT2005PB) S 19731 20001 20000 0 -1 0 321 232 0 0 0 0 0 0 19 0 1 0 856919016 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.014 s]
Raw data (loadavg): 0.99 0.97 0.81 2/55 19735
Raw data (stat): 19732 (vallstSAT2005PB) S 19731 20001 20000 0 -1 0 321 232 0 0 0 0 0 0 19 0 1 0 856919016 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.013 s]
Raw data (loadavg): 0.99 0.97 0.81 2/55 19735
Raw data (stat): 19732 (vallstSAT2005PB) S 19731 20001 20000 0 -1 0 321 232 0 0 0 0 0 0 19 0 1 0 856919016 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.013 s]
Raw data (loadavg): 0.99 0.97 0.82 2/55 19735
Raw data (stat): 19732 (vallstSAT2005PB) S 19731 20001 20000 0 -1 0 321 232 0 0 0 0 0 0 19 0 1 0 856919016 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.014 s]
Raw data (loadavg): 0.99 0.97 0.82 2/55 19735
Raw data (stat): 19732 (vallstSAT2005PB) S 19731 20001 20000 0 -1 0 321 232 0 0 0 0 0 0 19 0 1 0 856919016 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.013 s]
Raw data (loadavg): 0.99 0.97 0.82 2/55 19735
Raw data (stat): 19732 (vallstSAT2005PB) S 19731 20001 20000 0 -1 0 321 232 0 0 0 0 0 0 19 0 1 0 856919016 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.013 s]
Raw data (loadavg): 0.99 0.97 0.82 2/55 19735
Raw data (stat): 19732 (vallstSAT2005PB) S 19731 20001 20000 0 -1 0 321 232 0 0 0 0 0 0 19 0 1 0 856919016 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.013 s]
Raw data (loadavg): 0.99 0.97 0.82 2/55 19735
Raw data (stat): 19732 (vallstSAT2005PB) S 19731 20001 20000 0 -1 0 321 232 0 0 0 0 0 0 19 0 1 0 856919016 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.014 s]
Raw data (loadavg): 0.99 0.97 0.82 2/55 19735
Raw data (stat): 19732 (vallstSAT2005PB) S 19731 20001 20000 0 -1 0 321 232 0 0 0 0 0 0 19 0 1 0 856919016 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.014 s]
Raw data (loadavg): 0.99 0.97 0.82 2/55 19735
Raw data (stat): 19732 (vallstSAT2005PB) S 19731 20001 20000 0 -1 0 321 232 0 0 0 0 0 0 19 0 1 0 856919016 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.016 s]
Raw data (loadavg): 0.99 0.97 0.82 2/55 19735
Raw data (stat): 19732 (vallstSAT2005PB) S 19731 20001 20000 0 -1 0 321 232 0 0 0 0 0 0 19 0 1 0 856919016 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.017 s]
Raw data (loadavg): 0.99 0.97 0.83 2/55 19735
Raw data (stat): 19732 (vallstSAT2005PB) S 19731 20001 20000 0 -1 0 321 232 0 0 0 0 0 0 19 0 1 0 856919016 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.017 s]
Raw data (loadavg): 0.99 0.97 0.83 2/55 19735
Raw data (stat): 19732 (vallstSAT2005PB) S 19731 20001 20000 0 -1 0 321 232 0 0 0 0 0 0 19 0 1 0 856919016 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.018 s]
Raw data (loadavg): 0.99 0.97 0.83 2/55 19735
Raw data (stat): 19732 (vallstSAT2005PB) S 19731 20001 20000 0 -1 0 321 232 0 0 0 0 0 0 19 0 1 0 856919016 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.018 s]
Raw data (loadavg): 0.99 0.97 0.83 2/55 19735
Raw data (stat): 19732 (vallstSAT2005PB) S 19731 20001 20000 0 -1 0 321 232 0 0 0 0 0 0 19 0 1 0 856919016 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.018 s]
Raw data (loadavg): 0.99 0.97 0.83 2/55 19735
Raw data (stat): 19732 (vallstSAT2005PB) S 19731 20001 20000 0 -1 0 321 232 0 0 0 0 0 0 19 0 1 0 856919016 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.019 s]
Raw data (loadavg): 0.99 0.97 0.83 2/55 19735
Raw data (stat): 19732 (vallstSAT2005PB) S 19731 20001 20000 0 -1 0 321 232 0 0 0 0 0 0 19 0 1 0 856919016 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.018 s]
Raw data (loadavg): 0.99 0.97 0.83 2/55 19735
Raw data (stat): 19732 (vallstSAT2005PB) S 19731 20001 20000 0 -1 0 321 232 0 0 0 0 0 0 19 0 1 0 856919016 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.019 s]
Raw data (loadavg): 0.99 0.97 0.83 2/55 19735
Raw data (stat): 19732 (vallstSAT2005PB) S 19731 20001 20000 0 -1 0 321 232 0 0 0 0 0 0 19 0 1 0 856919016 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.019 s]
Raw data (loadavg): 0.99 0.97 0.83 2/55 19735
Raw data (stat): 19732 (vallstSAT2005PB) S 19731 20001 20000 0 -1 0 321 232 0 0 0 0 0 0 19 0 1 0 856919016 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.019 s]
Raw data (loadavg): 0.99 0.97 0.83 2/55 19735
Raw data (stat): 19732 (vallstSAT2005PB) S 19731 20001 20000 0 -1 0 321 232 0 0 0 0 0 0 19 0 1 0 856919016 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.019 s]
Raw data (loadavg): 0.99 0.97 0.83 2/55 19735
Raw data (stat): 19732 (vallstSAT2005PB) S 19731 20001 20000 0 -1 0 321 232 0 0 0 0 0 0 19 0 1 0 856919016 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.019 s]
Raw data (loadavg): 0.99 0.97 0.84 2/55 19735
Raw data (stat): 19732 (vallstSAT2005PB) S 19731 20001 20000 0 -1 0 321 232 0 0 0 0 0 0 19 0 1 0 856919016 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.02 s]
Raw data (loadavg): 0.99 0.97 0.84 2/55 19735
Raw data (stat): 19732 (vallstSAT2005PB) S 19731 20001 20000 0 -1 0 321 232 0 0 0 0 0 0 19 0 1 0 856919016 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.02 s]
Raw data (loadavg): 0.99 0.97 0.84 2/55 19735
Raw data (stat): 19732 (vallstSAT2005PB) S 19731 20001 20000 0 -1 0 321 232 0 0 0 0 0 0 19 0 1 0 856919016 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.02 s]
Raw data (loadavg): 0.99 0.97 0.84 2/55 19735
Raw data (stat): 19732 (vallstSAT2005PB) S 19731 20001 20000 0 -1 0 321 232 0 0 0 0 0 0 19 0 1 0 856919016 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.02 s]
Raw data (loadavg): 0.99 0.97 0.84 2/55 19735
Raw data (stat): 19732 (vallstSAT2005PB) S 19731 20001 20000 0 -1 0 321 232 0 0 0 0 0 0 19 0 1 0 856919016 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.02 s]
Raw data (loadavg): 0.99 0.97 0.84 2/55 19735
Raw data (stat): 19732 (vallstSAT2005PB) S 19731 20001 20000 0 -1 0 321 232 0 0 0 0 0 0 19 0 1 0 856919016 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.021 s]
Raw data (loadavg): 0.99 0.97 0.84 2/55 19735
Raw data (stat): 19732 (vallstSAT2005PB) S 19731 20001 20000 0 -1 0 321 232 0 0 0 0 0 0 19 0 1 0 856919016 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.021 s]
Raw data (loadavg): 0.99 0.97 0.84 2/55 19735
Raw data (stat): 19732 (vallstSAT2005PB) S 19731 20001 20000 0 -1 0 321 232 0 0 0 0 0 0 19 0 1 0 856919016 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.021 s]
Raw data (loadavg): 0.99 0.97 0.84 2/55 19735
Raw data (stat): 19732 (vallstSAT2005PB) S 19731 20001 20000 0 -1 0 321 232 0 0 0 0 0 0 19 0 1 0 856919016 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.022 s]
Raw data (loadavg): 0.99 0.97 0.84 2/55 19735
Raw data (stat): 19732 (vallstSAT2005PB) S 19731 20001 20000 0 -1 0 321 232 0 0 0 0 0 0 19 0 1 0 856919016 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.023 s]
Raw data (loadavg): 0.99 0.97 0.85 2/55 19735
Raw data (stat): 19732 (vallstSAT2005PB) S 19731 20001 20000 0 -1 0 321 232 0 0 0 0 0 0 19 0 1 0 856919016 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.024 s]
Raw data (loadavg): 0.99 0.97 0.85 2/55 19735
Raw data (stat): 19732 (vallstSAT2005PB) S 19731 20001 20000 0 -1 0 321 232 0 0 0 0 0 0 19 0 1 0 856919016 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.023 s]
Raw data (loadavg): 0.99 0.97 0.85 2/55 19735
Raw data (stat): 19732 (vallstSAT2005PB) S 19731 20001 20000 0 -1 0 321 232 0 0 0 0 0 0 19 0 1 0 856919016 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.023 s]
Raw data (loadavg): 0.99 0.97 0.85 2/55 19735
Raw data (stat): 19732 (vallstSAT2005PB) S 19731 20001 20000 0 -1 0 321 232 0 0 0 0 0 0 19 0 1 0 856919016 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.024 s]
Raw data (loadavg): 0.99 0.97 0.85 2/55 19735
Raw data (stat): 19732 (vallstSAT2005PB) S 19731 20001 20000 0 -1 0 321 232 0 0 0 0 0 0 19 0 1 0 856919016 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.024 s]
Raw data (loadavg): 0.99 0.97 0.85 2/55 19735
Raw data (stat): 19732 (vallstSAT2005PB) S 19731 20001 20000 0 -1 0 321 232 0 0 0 0 0 0 19 0 1 0 856919016 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.024 s]
Raw data (loadavg): 0.99 0.97 0.85 2/55 19735
Raw data (stat): 19732 (vallstSAT2005PB) S 19731 20001 20000 0 -1 0 321 232 0 0 0 0 0 0 19 0 1 0 856919016 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.024 s]
Raw data (loadavg): 0.99 0.97 0.85 2/55 19735
Raw data (stat): 19732 (vallstSAT2005PB) S 19731 20001 20000 0 -1 0 321 232 0 0 0 0 0 0 19 0 1 0 856919016 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.031 s]
Raw data (loadavg): 0.99 0.97 0.85 2/55 19735
Raw data (stat): 19732 (vallstSAT2005PB) S 19731 20001 20000 0 -1 0 321 232 0 0 0 0 0 0 19 0 1 0 856919016 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.031 s]
Raw data (loadavg): 0.99 0.97 0.85 2/55 19735
Raw data (stat): 19732 (vallstSAT2005PB) S 19731 20001 20000 0 -1 0 321 232 0 0 0 0 0 0 19 0 1 0 856919016 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.031 s]
Raw data (loadavg): 0.99 0.97 0.86 2/55 19735
Raw data (stat): 19732 (vallstSAT2005PB) S 19731 20001 20000 0 -1 0 321 232 0 0 0 0 0 0 19 0 1 0 856919016 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.032 s]
Raw data (loadavg): 0.99 0.97 0.86 2/55 19735
Raw data (stat): 19732 (vallstSAT2005PB) S 19731 20001 20000 0 -1 0 321 232 0 0 0 0 0 0 19 0 1 0 856919016 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.033 s]
Raw data (loadavg): 0.99 0.97 0.86 2/55 19735
Raw data (stat): 19732 (vallstSAT2005PB) S 19731 20001 20000 0 -1 0 321 232 0 0 0 0 0 0 19 0 1 0 856919016 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.033 s]
Raw data (loadavg): 0.99 0.97 0.86 2/55 19735
Raw data (stat): 19732 (vallstSAT2005PB) S 19731 20001 20000 0 -1 0 321 232 0 0 0 0 0 0 19 0 1 0 856919016 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.033 s]
Raw data (loadavg): 0.99 0.97 0.86 2/55 19735
Raw data (stat): 19732 (vallstSAT2005PB) S 19731 20001 20000 0 -1 0 321 232 0 0 0 0 0 0 19 0 1 0 856919016 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.03 s]
Raw data (loadavg): 0.99 0.97 0.86 2/55 19735
Raw data (stat): 19732 (vallstSAT2005PB) S 19731 20001 20000 0 -1 0 321 232 0 0 0 0 0 0 19 0 1 0 856919016 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.03 s]
Raw data (loadavg): 0.99 0.97 0.86 2/55 19735
Raw data (stat): 19732 (vallstSAT2005PB) S 19731 20001 20000 0 -1 0 321 232 0 0 0 0 0 0 19 0 1 0 856919016 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.03 s]
Raw data (loadavg): 0.99 0.97 0.86 2/55 19735
Raw data (stat): 19732 (vallstSAT2005PB) S 19731 20001 20000 0 -1 0 321 232 0 0 0 0 0 0 19 0 1 0 856919016 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.03 s]
Raw data (loadavg): 0.99 0.97 0.86 2/55 19735
Raw data (stat): 19732 (vallstSAT2005PB) S 19731 20001 20000 0 -1 0 321 232 0 0 0 0 0 0 19 0 1 0 856919016 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.03 s]
Raw data (loadavg): 0.99 0.97 0.86 2/55 19735
Raw data (stat): 19732 (vallstSAT2005PB) S 19731 20001 20000 0 -1 0 321 232 0 0 0 0 0 0 19 0 1 0 856919016 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.03 s]
Raw data (loadavg): 0.99 0.97 0.87 2/55 19735
Raw data (stat): 19732 (vallstSAT2005PB) S 19731 20001 20000 0 -1 0 321 232 0 0 0 0 0 0 19 0 1 0 856919016 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.03 s]
Raw data (loadavg): 0.99 0.97 0.87 2/55 19735
Raw data (stat): 19732 (vallstSAT2005PB) S 19731 20001 20000 0 -1 0 321 232 0 0 0 0 0 0 19 0 1 0 856919016 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.03 s]
Raw data (loadavg): 0.99 0.97 0.87 2/55 19735
Raw data (stat): 19732 (vallstSAT2005PB) S 19731 20001 20000 0 -1 0 321 232 0 0 0 0 0 0 19 0 1 0 856919016 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.03 s]
Raw data (loadavg): 0.99 0.97 0.87 2/55 19735
Raw data (stat): 19732 (vallstSAT2005PB) S 19731 20001 20000 0 -1 0 321 232 0 0 0 0 0 0 19 0 1 0 856919016 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.03 s]
Raw data (loadavg): 0.99 0.97 0.87 2/55 19735
Raw data (stat): 19732 (vallstSAT2005PB) S 19731 20001 20000 0 -1 0 321 232 0 0 0 0 0 0 19 0 1 0 856919016 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.03 s]
Raw data (loadavg): 0.99 0.97 0.87 2/55 19735
Raw data (stat): 19732 (vallstSAT2005PB) S 19731 20001 20000 0 -1 0 321 232 0 0 0 0 0 0 19 0 1 0 856919016 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.04 s]
Raw data (loadavg): 0.99 0.97 0.87 2/55 19735
Raw data (stat): 19732 (vallstSAT2005PB) S 19731 20001 20000 0 -1 0 321 232 0 0 0 0 0 0 19 0 1 0 856919016 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.04 s]
Raw data (loadavg): 0.99 0.97 0.87 2/55 19735
Raw data (stat): 19732 (vallstSAT2005PB) S 19731 20001 20000 0 -1 0 321 232 0 0 0 0 0 0 19 0 1 0 856919016 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.04 s]
Raw data (loadavg): 0.99 0.97 0.87 2/55 19735
Raw data (stat): 19732 (vallstSAT2005PB) S 19731 20001 20000 0 -1 0 321 232 0 0 0 0 0 0 19 0 1 0 856919016 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.04 s]
Raw data (loadavg): 0.99 0.97 0.87 2/55 19735
Raw data (stat): 19732 (vallstSAT2005PB) S 19731 20001 20000 0 -1 0 321 232 0 0 0 0 0 0 19 0 1 0 856919016 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.04 s]
Raw data (loadavg): 0.99 0.97 0.87 2/55 19735
Raw data (stat): 19732 (vallstSAT2005PB) S 19731 20001 20000 0 -1 0 321 232 0 0 0 0 0 0 19 0 1 0 856919016 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.04 s]
Raw data (loadavg): 0.99 0.97 0.88 2/55 19735
Raw data (stat): 19732 (vallstSAT2005PB) S 19731 20001 20000 0 -1 0 321 232 0 0 0 0 0 0 19 0 1 0 856919016 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.04 s]
Raw data (loadavg): 0.99 0.97 0.88 2/55 19735
Raw data (stat): 19732 (vallstSAT2005PB) S 19731 20001 20000 0 -1 0 321 232 0 0 0 0 0 0 19 0 1 0 856919016 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.04 s]
Raw data (loadavg): 0.99 0.97 0.88 2/55 19735
Raw data (stat): 19732 (vallstSAT2005PB) S 19731 20001 20000 0 -1 0 321 232 0 0 0 0 0 0 19 0 1 0 856919016 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.04 s]
Raw data (loadavg): 0.99 0.97 0.88 2/55 19735
Raw data (stat): 19732 (vallstSAT2005PB) S 19731 20001 20000 0 -1 0 321 232 0 0 0 0 0 0 19 0 1 0 856919016 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.04 s]
Raw data (loadavg): 0.99 0.97 0.88 2/55 19735
Raw data (stat): 19732 (vallstSAT2005PB) S 19731 20001 20000 0 -1 0 321 232 0 0 0 0 0 0 19 0 1 0 856919016 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.04 s]
Raw data (loadavg): 0.99 0.97 0.88 2/55 19735
Raw data (stat): 19732 (vallstSAT2005PB) S 19731 20001 20000 0 -1 0 321 232 0 0 0 0 0 0 19 0 1 0 856919016 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.04 s]
Raw data (loadavg): 0.99 0.97 0.88 2/55 19735
Raw data (stat): 19732 (vallstSAT2005PB) S 19731 20001 20000 0 -1 0 321 232 0 0 0 0 0 0 19 0 1 0 856919016 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.04 s]
Raw data (loadavg): 0.99 0.97 0.88 2/54 19741
Raw data (stat): 19732 (vallstSAT2005PB) R 19731 20001 20000 0 -1 0 430 1794 0 1 19 4 121171 1823 20 0 1 0 856919016 2179072 249 4294967295 134512640 135087896 3221224528 3221221304 134748801 0 0 7 1132560120 0 0 0 17 0 0 0
Raw data (statm): 532 249 485 147 0 385 0
vsize: 2128
[startup+1231.05 s]
Raw data (loadavg): 0.99 0.97 0.88 1/53 19747
Raw data (stat): 19732 (vallstSAT2005PB) R 19731 20001 20000 0 -1 0 430 1794 0 1 19 4 121171 1823 20 0 1 0 856919016 2179072 249 4294967295 134512640 135087896 3221224528 3221221304 134748801 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): 1231.05
CPU time (s): 1230.83
CPU user time (s): 1212.41
CPU system time (s): 18.4162
CPU usage (%): 99.9822
Max. virtual memory (Kb): 2128
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	544
#### END VERIFIER DATA ####