Name | mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-mod008.opb |
MD5SUM | fbdb3cf321a85412feefcaac30780520 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 361 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 319 |
Biggest coefficient in the objective function | 87 |
Number of bits for the biggest coefficient in the objective function | 7 |
Sum of the numbers in the objective function | 23554 |
Number of bits of the sum of numbers in the objective function | 15 |
Biggest number in a constraint | 22000 |
Number of bits of the biggest number in a constraint | 15 |
Biggest sum of numbers in a constraint | 1027256 |
Number of bits of the biggest sum of numbers | 20 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1195.06 |
Number of variables | 319 |
Total number of constraints | 325 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 319 |
Number of constraints which are nor clauses,nor cardinality constraints | 6 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 231 |
LAUNCH ON wulflinc1 THE 2005-09-19 06:06:37 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=7556 boxname=wulflinc1 idbench=524 idsolver=7 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: fbdb3cf321a85412feefcaac30780520 /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-20-10-mod008.opb REAL COMMAND: vallstSAT2005PB.sh /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-20-10-mod008.opb 0 IDLAUNCH: 7556 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.053 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 : 2 cpu MHz : 451.053 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: 928800 kB Buffers: 1004 kB Cached: 74928 kB SwapCached: 908 kB Active: 22648 kB Inactive: 56180 kB HighTotal: 131008 kB HighFree: 52500 kB LowTotal: 903652 kB LowFree: 876300 kB SwapTotal: 2097136 kB SwapFree: 2095620 kB Dirty: 40 kB Writeback: 0 kB Mapped: 5992 kB Slab: 21056 kB Committed_AS: 93168 kB PageTables: 344 kB VmallocTotal: 114680 kB VmallocUsed: 1388 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-09-19 06:31:48 (client local time) WITH STATUS 0 IN 1208.83 SECONDS stats: 7556 7 1208.83 0
1: seed: 0 Nr of vars set: 0 (#equs: 0) Nr of vars set: 0 (#equs: 0) #decisions: 9; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 7, #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: 22952 (601:>=*); #decisions: 8; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 7, #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: 22953 (600:>=*); #decisions: 7; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 7, #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: 22955 (598:>=*); #decisions: 9; #end-nodes: 1; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 1 / 80 (80) #axs: 7, #non-axs: 1 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: 22956 (597:>=*); #decisions: 7; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 7, #non-axs: 1 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: 22958 (595:>=*); #decisions: 10; #end-nodes: 3; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 3 / 80 (80) #axs: 7, #non-axs: 4 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: 22959 (594:>=*); #decisions: 9; #end-nodes: 1; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 1 / 80 (80) #axs: 7, #non-axs: 5 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: 22968 (585:>=*); #decisions: 8; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 7, #non-axs: 5 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: 22971 (582:>=*); #decisions: 7; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 7, #non-axs: 5 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: 22973 (580:>=*); #decisions: 9; #end-nodes: 2; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 2 / 80 (80) #axs: 7, #non-axs: 7 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: 23020 (533:>=*); #decisions: 8; #end-nodes: 1; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 1 / 80 (80) #axs: 7, #non-axs: 7 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: 23035 (518:>=*); #decisions: 7; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 7, #non-axs: 7 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: 23037 (516:>=*); #decisions: 8; #end-nodes: 1; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 1 / 80 (80) #axs: 7, #non-axs: 7 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: 23038 (515:>=*); #decisions: 6; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 7, #non-axs: 7 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: 23040 (513:>=*); #decisions: 10; #end-nodes: 3; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 3 / 86 (80) #axs: 7, #non-axs: 10 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: 23041 (512:>=*); #decisions: 7; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 7, #non-axs: 10 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: 23042 (511:>=*); #decisions: 7; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 7, #non-axs: 10 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: 23043 (510:>=*); #decisions: 6; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 7, #non-axs: 10 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: 23045 (508:>=*); #decisions: 18; #end-nodes: 11; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 11 / 84 (80) #axs: 7, #non-axs: 12 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: 23050 (503:>=*); #decisions: 8; #end-nodes: 1; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 1 / 80 (80) #axs: 7, #non-axs: 12 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: 23051 (502:>=*); #decisions: 7; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 7, #non-axs: 12 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: 23052 (501:>=*); #decisions: 6; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 7, #non-axs: 12 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: 23054 (499:>=*); #decisions: 9; #end-nodes: 3; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 3 / 86 (80) #axs: 7, #non-axs: 15 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: 23056 (497:>=*); #decisions: 14; #end-nodes: 8; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 8 / 96 (80) #axs: 7, #non-axs: 23 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 23057 (496:>=*); #decisions: 21; #end-nodes: 15; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 15 / 110 (80) #axs: 7, #non-axs: 25 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: 23058 (495:>=*); #decisions: 21; #end-nodes: 14; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 14 / 108 (80) #axs: 7, #non-axs: 25 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: 23059 (494:>=*); #decisions: 222; #end-nodes: 216; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 216 / 514 (80) #axs: 7, #non-axs: 36 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: 23060 (493:>=*); #decisions: 15; #end-nodes: 8; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 8 / 96 (80) #axs: 7, #non-axs: 44 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: 23061 (492:>=*); #decisions: 439; #end-nodes: 433; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 433 / 905 (80) #axs: 7, #non-axs: 67 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: 23062 (491:>=*); #decisions: 13; #end-nodes: 6; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 6 / 92 (80) #axs: 7, #non-axs: 73 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: 23072 (481:>=*); #decisions: 7; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 7, #non-axs: 73 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: 23073 (480:>=*); #decisions: 7; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 7, #non-axs: 73 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: 23074 (479:>=*); #decisions: 7; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 7, #non-axs: 73 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: 23075 (478:>=*); #decisions: 6; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 7, #non-axs: 73 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: 23077 (476:>=*); #decisions: 51; #end-nodes: 45; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 45 / 170 (80) #axs: 7, #non-axs: 77 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: 23078 (475:>=*); #decisions: 3020; #end-nodes: 3014; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 3014 / 3486 (80) #axs: 7, #non-axs: 206 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: 23079 (474:>=*); #decisions: 2080; #end-nodes: 2074; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 2074 / 2546 (80) #axs: 7, #non-axs: 208 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: 23080 (473:>=*); #decisions: 21624; #end-nodes: 21618; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 21618 / 22090 (80) #axs: 7, #non-axs: 244 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: 23125 (428:>=*); #decisions: 8; #end-nodes: 2; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 2 / 84 (80) #axs: 7, #non-axs: 244 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: 23126 (427:>=*); #decisions: 6; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 7, #non-axs: 244 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: 23127 (426:>=*); #decisions: 5; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 7, #non-axs: 244 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: 23129 (424:>=*); #decisions: 217; #end-nodes: 211; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 211 / 559 (80) #axs: 7, #non-axs: 263 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: 23130 (423:>=*); #decisions: 5; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 7, #non-axs: 263 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: 23132 (421:>=*); #decisions: 5702; #end-nodes: 5697; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 5697 / 6169 (80) #axs: 7, #non-axs: 418 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: 23133 (420:>=*); #decisions: 50; #end-nodes: 45; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 45 / 201 (80) #axs: 7, #non-axs: 418 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: 23134 (419:>=*); #decisions: 18635; #end-nodes: 18629; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 18629 / 19099 (80) #axs: 7, #non-axs: 648 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: 23135 (418:>=*); #decisions: 161; #end-nodes: 150; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 150 / 314 (80) #axs: 7, #non-axs: 656 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: 23136 (417:>=*); #decisions: 1228; #end-nodes: 1193; #proof improvement attempts: 0; #restarts: 2 Current batch, end-nodes: 0 / 80 (80) #axs: 7, #non-axs: 780 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: 23142 (411:>=*); #decisions: 95; #end-nodes: 87; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 87 / 96 (80) #axs: 7, #non-axs: 781 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: 23146 (407:>=*); #decisions: 568; #end-nodes: 544; #proof improvement attempts: 0; #restarts: 2 Current batch, end-nodes: 215 / 532 (80) #axs: 7, #non-axs: 857 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: 23162 (391:>=*); #decisions: 26; #end-nodes: 21; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 21 / 145 (80) #axs: 7, #non-axs: 858 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: 23163 (390:>=*); #decisions: 2342; #end-nodes: 2249; #proof improvement attempts: 0; #restarts: 9 Current batch, end-nodes: 73 / 82 (82) #axs: 7, #non-axs: 934 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: 23166 (387:>=*); #decisions: 4471; #end-nodes: 4086; #proof improvement attempts: 0; #restarts: 30 Current batch, end-nodes: 38 / 87 (87) #axs: 7, #non-axs: 661 tight: meta-meta: start: 6, end: 9; meta: start: 11, end (keep): 21 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 23180 (373:>=*); #decisions: 77; #end-nodes: 65; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 65 / 110 (80) #axs: 7, #non-axs: 676 tight: meta-meta: start: 6, end: 9; meta: start: 11, end (keep): 21 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 23182 (371:>=*); #decisions: 11; #end-nodes: 3; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 3 / 80 (80) #axs: 7, #non-axs: 676 tight: meta-meta: start: 6, end: 9; meta: start: 11, end (keep): 21 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 23184 (369:>=*); #decisions: 3765; #end-nodes: 3436; #proof improvement attempts: 0; #restarts: 19 Current batch, end-nodes: 87 / 347 (84) #axs: 7, #non-axs: 633 tight: meta-meta: start: 6, end: 9; meta: start: 10, end (keep): 19 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 23186 (367:>=*); #decisions: 62418; #end-nodes: 57567; #proof improvement attempts: 0; #restarts: 205 Current batch, end-nodes: 25 / 163 (131) #axs: 7, #non-axs: 15 tight: meta-meta: start: 5, end: 7; meta: start: 3, end (keep): 4 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 23197 (356:>=*); #decisions: 24884; #end-nodes: 23036; #proof improvement attempts: 0; #restarts: 177 Current batch, end-nodes: 4 / 124 (124) #axs: 7, #non-axs: 6 tight: meta-meta: start: 4, end: 5; meta: start: 3, end (keep): 4 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 23199 (354:>=*); #decisions: 20947; #end-nodes: 19504; #proof improvement attempts: 0; #restarts: 127 Current batch, end-nodes: 4 / 111 (111) #axs: 7, #non-axs: 13 tight: meta-meta: start: 3, end: 4; meta: start: 3, end (keep): 4 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 23209 (344:>=*); #decisions: 805945; #end-nodes: 712983; #proof improvement attempts: 0; #restarts: 1691 Current batch, end-nodes: 145 / 502 (502) #axs: 7, #non-axs: 10099 tight: meta-meta: start: 3, end: 3; meta: start: 3, end (keep): 3 loose: meta-meta: start: 8, end: 12; meta: start: 24, end (keep): 40 Model found with constant: 23214 (339:>=*); #decisions: 121; #end-nodes: 45; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 45 / 80 (80) #axs: 7, #non-axs: 10099 tight: meta-meta: start: 3, end: 3; meta: start: 3, end (keep): 3 loose: meta-meta: start: 8, end: 12; meta: start: 24, end (keep): 40 Model found with constant: 23215 (338:>=*); Interupt request received. #decisions: 1496285; #end-nodes: 1270957; #proof improvement attempts: 0; #restarts: 2330 Current batch, end-nodes: 94 / 662 (662) #axs: 7, #non-axs: 999 tight: meta-meta: start: 3, end: 3; meta: start: 3, end (keep): 3 loose: meta-meta: start: 4, end: 5; meta: start: 3, end (keep): 4 Model found with constant: (pushed:) 23215 (338:>=*) 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: 217 (#equs: 0) Time taken: 20 min, 8 sec Interupt; Current theory and settings are copied here: /tmp/vallst_sh_out_theory.vnf /tmp/vallst_sh_changing_setting.options
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds Enforcing Stack size limit: 67108864 bytes Enforcing memory limit (will send SIGTERM then SIGKILL): 921600 Kb Enforcing VSIZE limit: 994918400 bytes Current StackSize limit: 67108864 bytes Raw data (/proc/9105/stat): 9105 (vallstSAT2005PB) R 9104 9105 17733 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1732522777 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/9105/statm): 174 3 169 147 0 27 0 [pid=9105] vsize: 696 open syscall for file /etc/ld.so.preload open syscall for file tls/i686/mmx/libtermcap.so.2 open syscall for file tls/i686/libtermcap.so.2 open syscall for file tls/mmx/libtermcap.so.2 open syscall for file tls/libtermcap.so.2 open syscall for file i686/mmx/libtermcap.so.2 open syscall for file i686/libtermcap.so.2 open syscall for file mmx/libtermcap.so.2 open syscall for file libtermcap.so.2 open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libtermcap.so.2 open syscall for file /oldhome/oroussel/lib/tls/i686/libtermcap.so.2 open syscall for file /oldhome/oroussel/lib/tls/mmx/libtermcap.so.2 open syscall for file /oldhome/oroussel/lib/tls/libtermcap.so.2 open syscall for file /oldhome/oroussel/lib/i686/mmx/libtermcap.so.2 open syscall for file /oldhome/oroussel/lib/i686/libtermcap.so.2 open syscall for file /oldhome/oroussel/lib/mmx/libtermcap.so.2 open syscall for file /oldhome/oroussel/lib/libtermcap.so.2 open syscall for file /etc/ld.so.cache open syscall for file /lib/libtermcap.so.2 open syscall for file tls/i686/mmx/libdl.so.2 open syscall for file tls/i686/libdl.so.2 open syscall for file tls/mmx/libdl.so.2 open syscall for file tls/libdl.so.2 open syscall for file i686/mmx/libdl.so.2 open syscall for file i686/libdl.so.2 open syscall for file mmx/libdl.so.2 open syscall for file libdl.so.2 open syscall for file /oldhome/oroussel/lib/libdl.so.2 open syscall for file /lib/libdl.so.2 open syscall for file tls/i686/mmx/libc.so.6 open syscall for file tls/i686/libc.so.6 open syscall for file tls/mmx/libc.so.6 open syscall for file tls/libc.so.6 open syscall for file i686/mmx/libc.so.6 open syscall for file i686/libc.so.6 open syscall for file mmx/libc.so.6 open syscall for file libc.so.6 open syscall for file /oldhome/oroussel/lib/libc.so.6 open syscall for file /lib/tls/libc.so.6 open syscall for file /dev/tty open syscall for file /etc/mtab open syscall for file /proc/meminfo open syscall for file /oldhome/oroussel/solvers/vallstSAT2005PB.sh New process pid=9106 execve syscall for /bin/mkdir executable open syscall for file /etc/ld.so.preload open syscall for file tls/i686/mmx/libc.so.6 open syscall for file tls/i686/libc.so.6 open syscall for file tls/mmx/libc.so.6 open syscall for file tls/libc.so.6 open syscall for file i686/mmx/libc.so.6 open syscall for file i686/libc.so.6 open syscall for file mmx/libc.so.6 open syscall for file libc.so.6 open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libc.so.6 open syscall for file /oldhome/oroussel/lib/tls/i686/libc.so.6 open syscall for file /oldhome/oroussel/lib/tls/mmx/libc.so.6 open syscall for file /oldhome/oroussel/lib/tls/libc.so.6 open syscall for file /oldhome/oroussel/lib/i686/mmx/libc.so.6 open syscall for file /oldhome/oroussel/lib/i686/libc.so.6 open syscall for file /oldhome/oroussel/lib/mmx/libc.so.6 open syscall for file /oldhome/oroussel/lib/libc.so.6 open syscall for file /etc/ld.so.cache open syscall for file /lib/tls/libc.so.6 One traced child (pid=9106) exited with status: 0 New process pid=9107 execve syscall for /bin/mkdir executable open syscall for file /etc/ld.so.preload open syscall for file tls/i686/mmx/libc.so.6 open syscall for file tls/i686/libc.so.6 open syscall for file tls/mmx/libc.so.6 open syscall for file tls/libc.so.6 open syscall for file i686/mmx/libc.so.6 open syscall for file i686/libc.so.6 open syscall for file mmx/libc.so.6 open syscall for file libc.so.6 open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libc.so.6 open syscall for file /oldhome/oroussel/lib/tls/i686/libc.so.6 open syscall for file /oldhome/oroussel/lib/tls/mmx/libc.so.6 open syscall for file /oldhome/oroussel/lib/tls/libc.so.6 open syscall for file /oldhome/oroussel/lib/i686/mmx/libc.so.6 open syscall for file /oldhome/oroussel/lib/i686/libc.so.6 open syscall for file /oldhome/oroussel/lib/mmx/libc.so.6 open syscall for file /oldhome/oroussel/lib/libc.so.6 open syscall for file /etc/ld.so.cache open syscall for file /lib/tls/libc.so.6 One traced child (pid=9107) exited with status: 0 New process pid=9108 execve syscall for /oldhome/oroussel/solvers/vallst_0.9.258/vallst executable open syscall for file /etc/ld.so.preload open syscall for file tls/i686/mmx/libm.so.6 open syscall for file tls/i686/libm.so.6 open syscall for file tls/mmx/libm.so.6 open syscall for file tls/libm.so.6 open syscall for file i686/mmx/libm.so.6 open syscall for file i686/libm.so.6 open syscall for file mmx/libm.so.6 open syscall for file libm.so.6 open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libm.so.6 open syscall for file /oldhome/oroussel/lib/tls/i686/libm.so.6 open syscall for file /oldhome/oroussel/lib/tls/mmx/libm.so.6 open syscall for file /oldhome/oroussel/lib/tls/libm.so.6 open syscall for file /oldhome/oroussel/lib/i686/mmx/libm.so.6 open syscall for file /oldhome/oroussel/lib/i686/libm.so.6 open syscall for file /oldhome/oroussel/lib/mmx/libm.so.6 open syscall for file /oldhome/oroussel/lib/libm.so.6 open syscall for file /etc/ld.so.cache open syscall for file /lib/tls/libm.so.6 open syscall for file tls/i686/mmx/libc.so.6 open syscall for file tls/i686/libc.so.6 open syscall for file tls/mmx/libc.so.6 open syscall for file tls/libc.so.6 open syscall for file i686/mmx/libc.so.6 open syscall for file i686/libc.so.6 open syscall for file mmx/libc.so.6 open syscall for file libc.so.6 open syscall for file /oldhome/oroussel/lib/libc.so.6 open syscall for file /lib/tls/libc.so.6 open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh.model open syscall for file /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-20-10-mod008.opb open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map [startup+10.006 s] Raw data (loadavg): 1.01 1.00 1.00 1/58 9108 Raw data (/proc/9105/stat): 9105 (vallstSAT2005PB) S 9104 9105 17733 0 -1 0 330 232 0 0 1 1 0 1 16 0 1 0 1732522777 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/9105/statm): 532 242 485 147 0 385 0 [pid=9105] vsize: 2128 Raw data (/proc/9108/stat): 9108 (vallst) T 9105 9105 17733 0 -1 0 319 0 0 0 571 145 0 0 18 0 1 0 1732522787 2359296 289 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/9108/statm): 576 289 413 48 0 528 0 [pid=9108] vsize: 2304 Current children cumulated CPU time (s) 7.19 Current children cumulated vsize (Kb) 4432 [startup+20.0077 s] Raw data (loadavg): 1.00 1.00 1.00 1/58 9108 Raw data (/proc/9105/stat): 9105 (vallstSAT2005PB) S 9104 9105 17733 0 -1 0 330 232 0 0 1 1 0 1 16 0 1 0 1732522777 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/9105/statm): 532 242 485 147 0 385 0 [pid=9105] vsize: 2128 Raw data (/proc/9108/stat): 9108 (vallst) T 9105 9105 17733 0 -1 0 363 0 0 0 1460 182 0 0 17 0 1 0 1732522787 2494464 333 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/9108/statm): 609 333 413 48 0 561 0 [pid=9108] vsize: 2436 Current children cumulated CPU time (s) 16.45 Current children cumulated vsize (Kb) 4564 [startup+30.0086 s] Raw data (loadavg): 1.00 1.00 1.00 2/58 9108 Raw data (/proc/9105/stat): 9105 (vallstSAT2005PB) S 9104 9105 17733 0 -1 0 330 232 0 0 1 1 0 1 16 0 1 0 1732522777 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/9105/statm): 532 242 485 147 0 385 0 [pid=9105] vsize: 2128 Raw data (/proc/9108/stat): 9108 (vallst) R 9105 9105 17733 0 -1 0 385 0 0 0 2354 219 0 0 17 0 1 0 1732522787 2637824 355 4294967295 134512640 134702520 3221223952 3221223072 134578758 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/9108/statm): 644 355 413 48 0 596 0 [pid=9108] vsize: 2576 Current children cumulated CPU time (s) 25.76 Current children cumulated vsize (Kb) 4704 [startup+40.0083 s] Raw data (loadavg): 1.00 1.00 1.00 1/58 9108 Raw data (/proc/9105/stat): 9105 (vallstSAT2005PB) S 9104 9105 17733 0 -1 0 330 232 0 0 1 1 0 1 16 0 1 0 1732522777 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/9105/statm): 532 242 485 147 0 385 0 [pid=9105] vsize: 2128 Raw data (/proc/9108/stat): 9108 (vallst) T 9105 9105 17733 0 -1 0 392 0 0 0 3034 325 0 0 16 0 1 0 1732522787 2637824 362 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/9108/statm): 644 362 413 48 0 596 0 [pid=9108] vsize: 2576 Current children cumulated CPU time (s) 33.62 Current children cumulated vsize (Kb) 4704 [startup+50.0091 s] Raw data (loadavg): 1.08 1.02 1.00 2/58 9108 Raw data (/proc/9105/stat): 9105 (vallstSAT2005PB) S 9104 9105 17733 0 -1 0 330 232 0 0 1 1 0 1 16 0 1 0 1732522777 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/9105/statm): 532 242 485 147 0 385 0 [pid=9105] vsize: 2128 Raw data (/proc/9108/stat): 9108 (vallst) R 9105 9105 17733 0 -1 0 392 0 0 0 3538 491 0 0 16 0 1 0 1732522787 2637824 362 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/9108/statm): 644 362 413 48 0 596 0 [pid=9108] vsize: 2576 Current children cumulated CPU time (s) 40.32 Current children cumulated vsize (Kb) 4704 [startup+60.0099 s] Raw data (loadavg): 1.06 1.02 1.00 1/58 9108 Raw data (/proc/9105/stat): 9105 (vallstSAT2005PB) S 9104 9105 17733 0 -1 0 330 232 0 0 1 1 0 1 16 0 1 0 1732522777 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/9105/statm): 532 242 485 147 0 385 0 [pid=9105] vsize: 2128 Raw data (/proc/9108/stat): 9108 (vallst) T 9105 9105 17733 0 -1 0 395 0 0 0 4147 616 0 0 17 0 1 0 1732522787 2637824 365 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/9108/statm): 644 365 413 48 0 596 0 [pid=9108] vsize: 2576 Current children cumulated CPU time (s) 47.66 Current children cumulated vsize (Kb) 4704 [startup+70.0117 s] Raw data (loadavg): 1.05 1.01 1.00 1/58 9108 Raw data (/proc/9105/stat): 9105 (vallstSAT2005PB) S 9104 9105 17733 0 -1 0 330 232 0 0 1 1 0 1 16 0 1 0 1732522777 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/9105/statm): 532 242 485 147 0 385 0 [pid=9105] vsize: 2128 Raw data (/proc/9108/stat): 9108 (vallst) T 9105 9105 17733 0 -1 0 403 0 0 0 5032 657 0 0 17 0 1 0 1732522787 2637824 373 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/9108/statm): 644 373 413 48 0 596 0 [pid=9108] vsize: 2576 Current children cumulated CPU time (s) 56.92 Current children cumulated vsize (Kb) 4704 [startup+80.0125 s] Raw data (loadavg): 1.04 1.01 1.00 1/58 9108 Raw data (/proc/9105/stat): 9105 (vallstSAT2005PB) S 9104 9105 17733 0 -1 0 330 232 0 0 1 1 0 1 16 0 1 0 1732522777 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/9105/statm): 532 242 485 147 0 385 0 [pid=9105] vsize: 2128 Raw data (/proc/9108/stat): 9108 (vallst) T 9105 9105 17733 0 -1 0 405 0 0 0 5533 818 0 0 16 0 1 0 1732522787 2637824 375 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/9108/statm): 644 375 413 48 0 596 0 [pid=9108] vsize: 2576 Current children cumulated CPU time (s) 63.54 Current children cumulated vsize (Kb) 4704 [startup+90.0123 s] Raw data (loadavg): 1.04 1.01 1.00 1/58 9108 Raw data (/proc/9105/stat): 9105 (vallstSAT2005PB) S 9104 9105 17733 0 -1 0 330 232 0 0 1 1 0 1 16 0 1 0 1732522777 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/9105/statm): 532 242 485 147 0 385 0 [pid=9105] vsize: 2128 Raw data (/proc/9108/stat): 9108 (vallst) T 9105 9105 17733 0 -1 0 407 0 0 0 6160 941 0 0 16 0 1 0 1732522787 2768896 377 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/9108/statm): 676 377 413 48 0 628 0 [pid=9108] vsize: 2704 Current children cumulated CPU time (s) 71.04 Current children cumulated vsize (Kb) 4832 [startup+100.013 s] Raw data (loadavg): 1.03 1.01 1.00 1/58 9108 Raw data (/proc/9105/stat): 9105 (vallstSAT2005PB) S 9104 9105 17733 0 -1 0 330 232 0 0 1 1 0 1 16 0 1 0 1732522777 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/9105/statm): 532 242 485 147 0 385 0 [pid=9105] vsize: 2128 Raw data (/proc/9108/stat): 9108 (vallst) T 9105 9105 17733 0 -1 0 407 0 0 0 6655 1106 0 0 16 0 1 0 1732522787 2768896 377 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/9108/statm): 676 377 413 48 0 628 0 [pid=9108] vsize: 2704 Current children cumulated CPU time (s) 77.64 Current children cumulated vsize (Kb) 4832 [startup+110.014 s] Raw data (loadavg): 1.03 1.01 1.00 2/58 9108 Raw data (/proc/9105/stat): 9105 (vallstSAT2005PB) S 9104 9105 17733 0 -1 0 330 232 0 0 1 1 0 1 16 0 1 0 1732522777 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/9105/statm): 532 242 485 147 0 385 0 [pid=9105] vsize: 2128 Raw data (/proc/9108/stat): 9108 (vallst) R 9105 9105 17733 0 -1 0 408 0 0 0 7291 1225 0 0 17 0 1 0 1732522787 2768896 378 4294967295 134512640 134702520 3221223952 3221223072 134578611 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/9108/statm): 676 378 413 48 0 628 0 [pid=9108] vsize: 2704 Current children cumulated CPU time (s) 85.19 Current children cumulated vsize (Kb) 4832 [startup+120.015 s] Raw data (loadavg): 1.09 1.03 1.00 1/58 9108 Raw data (/proc/9105/stat): 9105 (vallstSAT2005PB) S 9104 9105 17733 0 -1 0 330 232 0 0 1 1 0 1 16 0 1 0 1732522777 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/9105/statm): 532 242 485 147 0 385 0 [pid=9105] vsize: 2128 Raw data (/proc/9108/stat): 9108 (vallst) T 9105 9105 17733 0 -1 0 410 0 0 0 7978 1327 0 0 17 0 1 0 1732522787 2768896 380 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/9108/statm): 676 380 413 48 0 628 0 [pid=9108] vsize: 2704 Current children cumulated CPU time (s) 93.08 Current children cumulated vsize (Kb) 4832 [startup+130.015 s] Raw data (loadavg): 1.08 1.02 1.00 1/58 9108 Raw data (/proc/9105/stat): 9105 (vallstSAT2005PB) S 9104 9105 17733 0 -1 0 330 232 0 0 1 1 0 1 16 0 1 0 1732522777 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/9105/statm): 532 242 485 147 0 385 0 [pid=9105] vsize: 2128 Raw data (/proc/9108/stat): 9108 (vallst) T 9105 9105 17733 0 -1 0 412 0 0 0 8420 1510 0 0 16 0 1 0 1732522787 2768896 382 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/9108/statm): 676 382 413 48 0 628 0 [pid=9108] vsize: 2704 Current children cumulated CPU time (s) 99.33 Current children cumulated vsize (Kb) 4832 [startup+140.016 s] Raw data (loadavg): 1.07 1.02 1.00 2/58 9108 Raw data (/proc/9105/stat): 9105 (vallstSAT2005PB) S 9104 9105 17733 0 -1 0 330 232 0 0 1 1 0 1 16 0 1 0 1732522777 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/9105/statm): 532 242 485 147 0 385 0 [pid=9105] vsize: 2128 Raw data (/proc/9108/stat): 9108 (vallst) R 9105 9105 17733 0 -1 0 413 0 0 0 9100 1615 0 0 17 0 1 0 1732522787 2768896 383 4294967295 134512640 134702520 3221223952 3221223072 134578622 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/9108/statm): 676 383 413 48 0 628 0 [pid=9108] vsize: 2704 Current children cumulated CPU time (s) 107.18 Current children cumulated vsize (Kb) 4832 [startup+150.017 s] Raw data (loadavg): 1.06 1.02 1.00 2/58 9108 Raw data (/proc/9105/stat): 9105 (vallstSAT2005PB) S 9104 9105 17733 0 -1 0 330 232 0 0 1 1 0 1 16 0 1 0 1732522777 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/9105/statm): 532 242 485 147 0 385 0 [pid=9105] vsize: 2128 Raw data (/proc/9108/stat): 9108 (vallst) R 9105 9105 17733 0 -1 0 413 0 0 0 9593 1780 0 0 16 0 1 0 1732522787 2768896 383 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/9108/statm): 676 383 413 48 0 628 0 [pid=9108] vsize: 2704 Current children cumulated CPU time (s) 113.76 Current children cumulated vsize (Kb) 4832 [startup+160.018 s] Raw data (loadavg): 1.05 1.02 1.00 2/58 9108 Raw data (/proc/9105/stat): 9105 (vallstSAT2005PB) S 9104 9105 17733 0 -1 0 330 232 0 0 1 1 0 1 16 0 1 0 1732522777 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/9105/statm): 532 242 485 147 0 385 0 [pid=9105] vsize: 2128 Raw data (/proc/9108/stat): 9108 (vallst) R 9105 9105 17733 0 -1 0 413 0 0 0 10234 1891 0 0 17 0 1 0 1732522787 2768896 383 4294967295 134512640 134702520 3221223952 3221223072 134578768 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/9108/statm): 676 383 413 48 0 628 0 [pid=9108] vsize: 2704 Current children cumulated CPU time (s) 121.28 Current children cumulated vsize (Kb) 4832 [startup+170.019 s] Raw data (loadavg): 1.11 1.04 1.01 1/58 9108 Raw data (/proc/9105/stat): 9105 (vallstSAT2005PB) S 9104 9105 17733 0 -1 0 330 232 0 0 1 1 0 1 16 0 1 0 1732522777 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/9105/statm): 532 242 485 147 0 385 0 [pid=9105] vsize: 2128 Raw data (/proc/9108/stat): 9108 (vallst) T 9105 9105 17733 0 -1 0 414 0 0 0 10731 2055 0 0 16 0 1 0 1732522787 2768896 384 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/9108/statm): 676 384 413 48 0 628 0 [pid=9108] vsize: 2704 Current children cumulated CPU time (s) 127.89 Current children cumulated vsize (Kb) 4832 [startup+180.019 s] Raw data (loadavg): 1.10 1.04 1.00 2/58 9108 Raw data (/proc/9105/stat): 9105 (vallstSAT2005PB) S 9104 9105 17733 0 -1 0 330 232 0 0 1 1 0 1 16 0 1 0 1732522777 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/9105/statm): 532 242 485 147 0 385 0 [pid=9105] vsize: 2128 Raw data (/proc/9108/stat): 9108 (vallst) R 9105 9105 17733 0 -1 0 416 0 0 0 11416 2155 0 0 17 0 1 0 1732522787 2768896 386 4294967295 134512640 134702520 3221223952 3221223072 134578622 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/9108/statm): 676 386 413 48 0 628 0 [pid=9108] vsize: 2704 Current children cumulated CPU time (s) 135.74 Current children cumulated vsize (Kb) 4832 [startup+190.02 s] Raw data (loadavg): 1.08 1.03 1.00 2/58 9108 Raw data (/proc/9105/stat): 9105 (vallstSAT2005PB) S 9104 9105 17733 0 -1 0 330 232 0 0 1 1 0 1 16 0 1 0 1732522777 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/9105/statm): 532 242 485 147 0 385 0 [pid=9105] vsize: 2128 Raw data (/proc/9108/stat): 9108 (vallst) T 9105 9105 17733 0 -1 0 418 0 0 0 11916 2319 0 0 17 0 1 0 1732522787 2768896 388 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/9108/statm): 676 388 413 48 0 628 0 [pid=9108] vsize: 2704 Current children cumulated CPU time (s) 142.38 Current children cumulated vsize (Kb) 4832 [startup+200.021 s] Raw data (loadavg): 1.07 1.03 1.00 1/58 9108 Raw data (/proc/9105/stat): 9105 (vallstSAT2005PB) S 9104 9105 17733 0 -1 0 330 232 0 0 1 1 0 1 16 0 1 0 1732522777 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/9105/statm): 532 242 485 147 0 385 0 [pid=9105] vsize: 2128 Raw data (/proc/9108/stat): 9108 (vallst) T 9105 9105 17733 0 -1 0 421 0 0 0 12655 2405 0 0 17 0 1 0 1732522787 2768896 391 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/9108/statm): 676 391 413 48 0 628 0 [pid=9108] vsize: 2704 Current children cumulated CPU time (s) 150.63 Current children cumulated vsize (Kb) 4832 [startup+210.022 s] Raw data (loadavg): 1.06 1.03 1.00 1/58 9108 Raw data (/proc/9105/stat): 9105 (vallstSAT2005PB) S 9104 9105 17733 0 -1 0 330 232 0 0 1 1 0 1 16 0 1 0 1732522777 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/9105/statm): 532 242 485 147 0 385 0 [pid=9105] vsize: 2128 Raw data (/proc/9108/stat): 9108 (vallst) T 9105 9105 17733 0 -1 0 424 0 0 0 13155 2564 0 0 17 0 1 0 1732522787 2768896 394 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/9108/statm): 676 394 413 48 0 628 0 [pid=9108] vsize: 2704 Current children cumulated CPU time (s) 157.22 Current children cumulated vsize (Kb) 4832 [startup+220.023 s] Raw data (loadavg): 1.05 1.03 1.00 1/58 9108 Raw data (/proc/9105/stat): 9105 (vallstSAT2005PB) S 9104 9105 17733 0 -1 0 330 232 0 0 1 1 0 1 16 0 1 0 1732522777 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/9105/statm): 532 242 485 147 0 385 0 [pid=9105] vsize: 2128 Raw data (/proc/9108/stat): 9108 (vallst) T 9105 9105 17733 0 -1 0 427 0 0 0 13832 2672 0 0 16 0 1 0 1732522787 2768896 397 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/9108/statm): 676 397 413 48 0 628 0 [pid=9108] vsize: 2704 Current children cumulated CPU time (s) 165.07 Current children cumulated vsize (Kb) 4832 [startup+230.023 s] Raw data (loadavg): 1.04 1.03 1.00 2/58 9108 Raw data (/proc/9105/stat): 9105 (vallstSAT2005PB) S 9104 9105 17733 0 -1 0 330 232 0 0 1 1 0 1 16 0 1 0 1732522777 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/9105/statm): 532 242 485 147 0 385 0 [pid=9105] vsize: 2128 Raw data (/proc/9108/stat): 9108 (vallst) R 9105 9105 17733 0 -1 0 429 0 0 0 14322 2835 0 0 16 0 1 0 1732522787 2768896 399 4294967295 134512640 134702520 3221223952 3221223072 134578750 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/9108/statm): 676 399 413 48 0 628 0 [pid=9108] vsize: 2704 Current children cumulated CPU time (s) 171.6 Current children cumulated vsize (Kb) 4832 [startup+240.023 s] Raw data (loadavg): 1.03 1.03 1.00 1/58 9108 Raw data (/proc/9105/stat): 9105 (vallstSAT2005PB) S 9104 9105 17733 0 -1 0 330 232 0 0 1 1 0 1 16 0 1 0 1732522777 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/9105/statm): 532 242 485 147 0 385 0 [pid=9105] vsize: 2128 Raw data (/proc/9108/stat): 9108 (vallst) T 9105 9105 17733 0 -1 0 434 0 0 0 15056 2923 0 0 17 0 1 0 1732522787 2768896 404 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/9108/statm): 676 404 413 48 0 628 0 [pid=9108] vsize: 2704 Current children cumulated CPU time (s) 179.82 Current children cumulated vsize (Kb) 4832 [startup+250.025 s] Raw data (loadavg): 1.03 1.03 1.00 2/58 9108 Raw data (/proc/9105/stat): 9105 (vallstSAT2005PB) S 9104 9105 17733 0 -1 0 330 232 0 0 1 1 0 1 16 0 1 0 1732522777 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/9105/statm): 532 242 485 147 0 385 0 [pid=9105] vsize: 2128 Raw data (/proc/9108/stat): 9108 (vallst) R 9105 9105 17733 0 -1 0 437 0 0 0 15700 3041 0 0 16 0 1 0 1732522787 2768896 407 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/9108/statm): 676 407 413 48 0 628 0 [pid=9108] vsize: 2704 Current children cumulated CPU time (s) 187.44 Current children cumulated vsize (Kb) 4832 [startup+260.026 s] Raw data (loadavg): 1.02 1.02 1.00 1/58 9108 Raw data (/proc/9105/stat): 9105 (vallstSAT2005PB) S 9104 9105 17733 0 -1 0 330 232 0 0 1 1 0 1 16 0 1 0 1732522777 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/9105/statm): 532 242 485 147 0 385 0 [pid=9105] vsize: 2128 Raw data (/proc/9108/stat): 9108 (vallst) T 9105 9105 17733 0 -1 0 440 0 0 0 16282 3177 0 0 16 0 1 0 1732522787 2895872 410 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/9108/statm): 707 410 413 48 0 659 0 [pid=9108] vsize: 2828 Current children cumulated CPU time (s) 194.62 Current children cumulated vsize (Kb) 4956 [startup+270.026 s] Raw data (loadavg): 1.02 1.02 1.00 1/58 9108 Raw data (/proc/9105/stat): 9105 (vallstSAT2005PB) S 9104 9105 17733 0 -1 0 330 232 0 0 1 1 0 1 16 0 1 0 1732522777 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/9105/statm): 532 242 485 147 0 385 0 [pid=9105] vsize: 2128 Raw data (/proc/9108/stat): 9108 (vallst) T 9105 9105 17733 0 -1 0 443 0 0 0 17075 3245 0 0 17 0 1 0 1732522787 2895872 413 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/9108/statm): 707 413 413 48 0 659 0 [pid=9108] vsize: 2828 Current children cumulated CPU time (s) 203.23 Current children cumulated vsize (Kb) 4956 [startup+280.027 s] Raw data (loadavg): 1.10 1.04 1.01 1/58 9108 Raw data (/proc/9105/stat): 9105 (vallstSAT2005PB) S 9104 9105 17733 0 -1 0 330 232 0 0 1 1 0 1 16 0 1 0 1732522777 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/9105/statm): 532 242 485 147 0 385 0 [pid=9105] vsize: 2128 Raw data (/proc/9108/stat): 9108 (vallst) T 9105 9105 17733 0 -1 0 444 0 0 0 17567 3407 0 0 16 0 1 0 1732522787 2895872 414 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/9108/statm): 707 414 413 48 0 659 0 [pid=9108] vsize: 2828 Current children cumulated CPU time (s) 209.77 Current children cumulated vsize (Kb) 4956 [startup+290.027 s] Raw data (loadavg): 1.08 1.04 1.00 2/58 9108 Raw data (/proc/9105/stat): 9105 (vallstSAT2005PB) S 9104 9105 17733 0 -1 0 330 232 0 0 1 1 0 1 16 0 1 0 1732522777 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/9105/statm): 532 242 485 147 0 385 0 [pid=9105] vsize: 2128 Raw data (/proc/9108/stat): 9108 (vallst) R 9105 9105 17733 0 -1 0 446 0 0 0 18297 3497 0 0 16 0 1 0 1732522787 2895872 416 4294967295 134512640 134702520 3221223952 3221223072 134578750 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/9108/statm): 707 416 413 48 0 659 0 [pid=9108] vsize: 2828 Current children cumulated CPU time (s) 217.97 Current children cumulated vsize (Kb) 4956 [startup+300.028 s] Raw data (loadavg): 1.07 1.04 1.00 2/58 9108 Raw data (/proc/9105/stat): 9105 (vallstSAT2005PB) S 9104 9105 17733 0 -1 0 330 232 0 0 1 1 0 1 16 0 1 0 1732522777 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/9105/statm): 532 242 485 147 0 385 0 [pid=9105] vsize: 2128 Raw data (/proc/9108/stat): 9108 (vallst) R 9105 9105 17733 0 -1 0 449 0 0 0 19089 3561 0 0 17 0 1 0 1732522787 2895872 419 4294967295 134512640 134702520 3221223952 3221223072 134578964 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/9108/statm): 707 419 413 48 0 659 0 [pid=9108] vsize: 2828 Current children cumulated CPU time (s) 226.53 Current children cumulated vsize (Kb) 4956 [startup+310.029 s] Raw data (loadavg): 1.06 1.03 1.00 1/58 9108 Raw data (/proc/9105/stat): 9105 (vallstSAT2005PB) S 9104 9105 17733 0 -1 0 330 232 0 0 1 1 0 1 16 0 1 0 1732522777 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/9105/statm): 532 242 485 147 0 385 0 [pid=9105] vsize: 2128 Raw data (/proc/9108/stat): 9108 (vallst) T 9105 9105 17733 0 -1 0 450 0 0 0 19626 3716 0 0 16 0 1 0 1732522787 2895872 420 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/9108/statm): 707 420 413 48 0 659 0 [pid=9108] vsize: 2828 Current children cumulated CPU time (s) 233.45 Current children cumulated vsize (Kb) 4956 [startup+320.03 s] Raw data (loadavg): 1.05 1.03 1.00 2/58 9108 Raw data (/proc/9105/stat): 9105 (vallstSAT2005PB) S 9104 9105 17733 0 -1 0 330 232 0 0 1 1 0 1 16 0 1 0 1732522777 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/9105/statm): 532 242 485 147 0 385 0 [pid=9105] vsize: 2128 Raw data (/proc/9108/stat): 9108 (vallst) T 9105 9105 17733 0 -1 0 451 0 0 0 20371 3797 0 0 17 0 1 0 1732522787 2895872 421 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/9108/statm): 707 421 413 48 0 659 0 [pid=9108] vsize: 2828 Current children cumulated CPU time (s) 241.71 Current children cumulated vsize (Kb) 4956 [startup+330.031 s] Raw data (loadavg): 1.04 1.03 1.00 2/58 9108 Raw data (/proc/9105/stat): 9105 (vallstSAT2005PB) S 9104 9105 17733 0 -1 0 330 232 0 0 1 1 0 1 16 0 1 0 1732522777 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/9105/statm): 532 242 485 147 0 385 0 [pid=9105] vsize: 2128 Raw data (/proc/9108/stat): 9108 (vallst) R 9105 9105 17733 0 -1 0 454 0 0 0 21162 3866 0 0 17 0 1 0 1732522787 2895872 424 4294967295 134512640 134702520 3221223952 3221223072 134578758 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/9108/statm): 707 424 413 48 0 659 0 [pid=9108] vsize: 2828 Current children cumulated CPU time (s) 250.31 Current children cumulated vsize (Kb) 4956 [startup+340.031 s] Raw data (loadavg): 1.03 1.03 1.00 1/58 9108 Raw data (/proc/9105/stat): 9105 (vallstSAT2005PB) S 9104 9105 17733 0 -1 0 330 232 0 0 1 1 0 1 16 0 1 0 1732522777 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/9105/statm): 532 242 485 147 0 385 0 [pid=9105] vsize: 2128 Raw data (/proc/9108/stat): 9108 (vallst) T 9105 9105 17733 0 -1 0 456 0 0 0 21662 4028 0 0 16 0 1 0 1732522787 2895872 426 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/9108/statm): 707 426 413 48 0 659 0 [pid=9108] vsize: 2828 Current children cumulated CPU time (s) 256.93 Current children cumulated vsize (Kb) 4956 [startup+350.032 s] Raw data (loadavg): 1.03 1.03 1.00 1/58 9108 Raw data (/proc/9105/stat): 9105 (vallstSAT2005PB) S 9104 9105 17733 0 -1 0 330 232 0 0 1 1 0 1 16 0 1 0 1732522777 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/9105/statm): 532 242 485 147 0 385 0 [pid=9105] vsize: 2128 Raw data (/proc/9108/stat): 9108 (vallst) T 9105 9105 17733 0 -1 0 458 0 0 0 22444 4101 0 0 17 0 1 0 1732522787 2895872 428 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/9108/statm): 707 428 413 48 0 659 0 [pid=9108] vsize: 2828 Current children cumulated CPU time (s) 265.48 Current children cumulated vsize (Kb) 4956 [startup+360.033 s] Raw data (loadavg): 1.02 1.03 1.00 2/58 9108 Raw data (/proc/9105/stat): 9105 (vallstSAT2005PB) S 9104 9105 17733 0 -1 0 330 232 0 0 1 1 0 1 16 0 1 0 1732522777 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/9105/statm): 532 242 485 147 0 385 0 [pid=9105] vsize: 2128 Raw data (/proc/9108/stat): 9108 (vallst) R 9105 9105 17733 0 -1 0 461 0 0 0 23238 4170 0 0 17 0 1 0 1732522787 2895872 431 4294967295 134512640 134702520 3221223952 3221223232 134553147 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/9108/statm): 707 431 413 48 0 659 0 [pid=9108] vsize: 2828 Current children cumulated CPU time (s) 274.11 Current children cumulated vsize (Kb) 4956 [startup+370.034 s] Raw data (loadavg): 1.02 1.03 1.00 2/58 9108 Raw data (/proc/9105/stat): 9105 (vallstSAT2005PB) S 9104 9105 17733 0 -1 0 330 232 0 0 1 1 0 1 16 0 1 0 1732522777 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/9105/statm): 532 242 485 147 0 385 0 [pid=9105] vsize: 2128 Raw data (/proc/9108/stat): 9108 (vallst) R 9105 9105 17733 0 -1 0 463 0 0 0 23784 4324 0 0 17 0 1 0 1732522787 2895872 433 4294967295 134512640 134702520 3221223952 3221223072 134578750 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/9108/statm): 707 433 413 48 0 659 0 [pid=9108] vsize: 2828 Current children cumulated CPU time (s) 281.11 Current children cumulated vsize (Kb) 4956 [startup+380.035 s] Raw data (loadavg): 1.02 1.02 1.00 2/58 9108 Raw data (/proc/9105/stat): 9105 (vallstSAT2005PB) S 9104 9105 17733 0 -1 0 330 232 0 0 1 1 0 1 16 0 1 0 1732522777 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/9105/statm): 532 242 485 147 0 385 0 [pid=9105] vsize: 2128 Raw data (/proc/9108/stat): 9108 (vallst) R 9105 9105 17733 0 -1 0 464 0 0 0 24570 4397 0 0 17 0 1 0 1732522787 2895872 434 4294967295 134512640 134702520 3221223952 3221223072 134578604 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/9108/statm): 707 434 413 48 0 659 0 [pid=9108] vsize: 2828 Current children cumulated CPU time (s) 289.7 Current children cumulated vsize (Kb) 4956 [startup+390.035 s] Raw data (loadavg): 1.01 1.02 1.00 1/58 9108 Raw data (/proc/9105/stat): 9105 (vallstSAT2005PB) S 9104 9105 17733 0 -1 0 330 232 0 0 1 1 0 1 16 0 1 0 1732522777 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/9105/statm): 532 242 485 147 0 385 0 [pid=9105] vsize: 2128 Raw data (/proc/9108/stat): 9108 (vallst) T 9105 9105 17733 0 -1 0 467 0 0 0 25361 4468 0 0 17 0 1 0 1732522787 2895872 437 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/9108/statm): 707 437 413 48 0 659 0 [pid=9108] vsize: 2828 Current children cumulated CPU time (s) 298.32 Current children cumulated vsize (Kb) 4956 [startup+400.036 s] Raw data (loadavg): 1.01 1.02 1.00 2/58 9108 Raw data (/proc/9105/stat): 9105 (vallstSAT2005PB) S 9104 9105 17733 0 -1 0 330 232 0 0 1 1 0 1 16 0 1 0 1732522777 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/9105/statm): 532 242 485 147 0 385 0 [pid=9105] vsize: 2128 Raw data (/proc/9108/stat): 9108 (vallst) R 9105 9105 17733 0 -1 0 468 0 0 0 25858 4629 0 0 16 0 1 0 1732522787 2895872 438 4294967295 134512640 134702520 3221223952 3221222824 1074744845 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/9108/statm): 707 438 413 48 0 659 0 [pid=9108] vsize: 2828 Current children cumulated CPU time (s) 304.9 Current children cumulated vsize (Kb) 4956 [startup+410.036 s] Raw data (loadavg): 1.01 1.02 1.00 1/58 9108 Raw data (/proc/9105/stat): 9105 (vallstSAT2005PB) S 9104 9105 17733 0 -1 0 330 232 0 0 1 1 0 1 16 0 1 0 1732522777 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/9105/statm): 532 242 485 147 0 385 0 [pid=9105] vsize: 2128 Raw data (/proc/9108/stat): 9108 (vallst) T 9105 9105 17733 0 -1 0 469 0 0 0 26637 4704 0 0 16 0 1 0 1732522787 3026944 439 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/9108/statm): 739 439 413 48 0 691 0 [pid=9108] vsize: 2956 Current children cumulated CPU time (s) 313.44 Current children cumulated vsize (Kb) 5084 [startup+420.037 s] Raw data (loadavg): 1.01 1.02 1.00 1/58 9108 Raw data (/proc/9105/stat): 9105 (vallstSAT2005PB) S 9104 9105 17733 0 -1 0 330 232 0 0 1 1 0 1 16 0 1 0 1732522777 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/9105/statm): 532 242 485 147 0 385 0 [pid=9105] vsize: 2128 Raw data (/proc/9108/stat): 9108 (vallst) T 9105 9105 17733 0 -1 0 472 0 0 0 27424 4769 0 0 17 0 1 0 1732522787 3026944 442 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/9108/statm): 739 442 413 48 0 691 0 [pid=9108] vsize: 2956 Current children cumulated CPU time (s) 321.96 Current children cumulated vsize (Kb) 5084 [startup+430.038 s] Raw data (loadavg): 1.00 1.02 1.00 1/58 9108 Raw data (/proc/9105/stat): 9105 (vallstSAT2005PB) S 9104 9105 17733 0 -1 0 330 232 0 0 1 1 0 1 16 0 1 0 1732522777 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/9105/statm): 532 242 485 147 0 385 0 [pid=9105] vsize: 2128 Raw data (/proc/9108/stat): 9108 (vallst) T 9105 9105 17733 0 -1 0 473 0 0 0 27964 4918 0 0 16 0 1 0 1732522787 3026944 443 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/9108/statm): 739 443 413 48 0 691 0 [pid=9108] vsize: 2956 Current children cumulated CPU time (s) 328.85 Current children cumulated vsize (Kb) 5084 [startup+440.038 s] Raw data (loadavg): 1.00 1.02 1.00 2/58 9108 Raw data (/proc/9105/stat): 9105 (vallstSAT2005PB) S 9104 9105 17733 0 -1 0 330 232 0 0 1 1 0 1 16 0 1 0 1732522777 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/9105/statm): 532 242 485 147 0 385 0 [pid=9105] vsize: 2128 Raw data (/proc/9108/stat): 9108 (vallst) R 9105 9105 17733 0 -1 0 474 0 0 0 28754 4988 0 0 17 0 1 0 1732522787 3026944 444 4294967295 134512640 134702520 3221223952 3221223072 134578750 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/9108/statm): 739 444 413 48 0 691 0 [pid=9108] vsize: 2956 Current children cumulated CPU time (s) 337.45 Current children cumulated vsize (Kb) 5084 [startup+450.039 s] Raw data (loadavg): 1.00 1.02 1.00 2/58 9108 Raw data (/proc/9105/stat): 9105 (vallstSAT2005PB) S 9104 9105 17733 0 -1 0 330 232 0 0 1 1 0 1 16 0 1 0 1732522777 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/9105/statm): 532 242 485 147 0 385 0 [pid=9105] vsize: 2128 Raw data (/proc/9108/stat): 9108 (vallst) R 9105 9105 17733 0 -1 0 477 0 0 0 29481 5078 0 0 17 0 1 0 1732522787 3026944 447 4294967295 134512640 134702520 3221223952 3221223072 134578622 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/9108/statm): 739 447 413 48 0 691 0 [pid=9108] vsize: 2956 Current children cumulated CPU time (s) 345.62 Current children cumulated vsize (Kb) 5084 [startup+460.04 s] Raw data (loadavg): 1.00 1.02 1.00 1/58 9108 Raw data (/proc/9105/stat): 9105 (vallstSAT2005PB) S 9104 9105 17733 0 -1 0 330 232 0 0 1 1 0 1 16 0 1 0 1732522777 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/9105/statm): 532 242 485 147 0 385 0 [pid=9105] vsize: 2128 Raw data (/proc/9108/stat): 9108 (vallst) T 9105 9105 17733 0 -1 0 478 0 0 0 30248 5154 0 0 16 0 1 0 1732522787 3026944 448 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/9108/statm): 739 448 413 48 0 691 0 [pid=9108] vsize: 2956 Current children cumulated CPU time (s) 354.05 Current children cumulated vsize (Kb) 5084 [startup+470.04 s] Raw data (loadavg): 1.00 1.02 1.00 2/58 9108 Raw data (/proc/9105/stat): 9105 (vallstSAT2005PB) S 9104 9105 17733 0 -1 0 330 232 0 0 1 1 0 1 16 0 1 0 1732522777 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/9105/statm): 532 242 485 147 0 385 0 [pid=9105] vsize: 2128 Raw data (/proc/9108/stat): 9108 (vallst) R 9105 9105 17733 0 -1 0 478 0 0 0 30808 5297 0 0 16 0 1 0 1732522787 3026944 448 4294967295 134512640 134702520 3221223952 3221223072 134578750 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/9108/statm): 739 448 413 48 0 691 0 [pid=9108] vsize: 2956 Current children cumulated CPU time (s) 361.08 Current children cumulated vsize (Kb) 5084 [startup+480.041 s] Raw data (loadavg): 1.00 1.01 1.00 1/58 9108 Raw data (/proc/9105/stat): 9105 (vallstSAT2005PB) S 9104 9105 17733 0 -1 0 330 232 0 0 1 1 0 1 16 0 1 0 1732522777 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/9105/statm): 532 242 485 147 0 385 0 [pid=9105] vsize: 2128 Raw data (/proc/9108/stat): 9108 (vallst) T 9105 9105 17733 0 -1 0 479 0 0 0 31589 5370 0 0 17 0 1 0 1732522787 3026944 449 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/9108/statm): 739 449 413 48 0 691 0 [pid=9108] vsize: 2956 Current children cumulated CPU time (s) 369.62 Current children cumulated vsize (Kb) 5084 [startup+490.042 s] Raw data (loadavg): 1.00 1.01 1.00 2/58 9108 Raw data (/proc/9105/stat): 9105 (vallstSAT2005PB) S 9104 9105 17733 0 -1 0 330 232 0 0 1 1 0 1 16 0 1 0 1732522777 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/9105/statm): 532 242 485 147 0 385 0 [pid=9105] vsize: 2128 Raw data (/proc/9108/stat): 9108 (vallst) R 9105 9105 17733 0 -1 0 482 0 0 0 32371 5444 0 0 17 0 1 0 1732522787 3026944 452 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/9108/statm): 739 452 413 48 0 691 0 [pid=9108] vsize: 2956 Current children cumulated CPU time (s) 378.18 Current children cumulated vsize (Kb) 5084 [startup+500.043 s] Raw data (loadavg): 1.00 1.01 1.00 2/58 9108 Raw data (/proc/9105/stat): 9105 (vallstSAT2005PB) S 9104 9105 17733 0 -1 0 330 232 0 0 1 1 0 1 16 0 1 0 1732522777 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/9105/statm): 532 242 485 147 0 385 0 [pid=9105] vsize: 2128 Raw data (/proc/9108/stat): 9108 (vallst) R 9105 9105 17733 0 -1 0 483 0 0 0 32918 5594 0 0 17 0 1 0 1732522787 3026944 453 4294967295 134512640 134702520 3221223952 3221223072 134578600 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/9108/statm): 739 453 413 48 0 691 0 [pid=9108] vsize: 2956 Current children cumulated CPU time (s) 385.15 Current children cumulated vsize (Kb) 5084 [startup+510.043 s] Raw data (loadavg): 1.00 1.01 1.00 2/58 9108 Raw data (/proc/9105/stat): 9105 (vallstSAT2005PB) S 9104 9105 17733 0 -1 0 330 232 0 0 1 1 0 1 16 0 1 0 1732522777 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/9105/statm): 532 242 485 147 0 385 0 [pid=9105] vsize: 2128 Raw data (/proc/9108/stat): 9108 (vallst) R 9105 9105 17733 0 -1 0 484 0 0 0 33701 5665 0 0 17 0 1 0 1732522787 3026944 454 4294967295 134512640 134702520 3221223952 3221223072 134578611 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/9108/statm): 739 454 413 48 0 691 0 [pid=9108] vsize: 2956 Current children cumulated CPU time (s) 393.69 Current children cumulated vsize (Kb) 5084 [startup+520.045 s] Raw data (loadavg): 1.00 1.01 1.00 2/58 9108 Raw data (/proc/9105/stat): 9105 (vallstSAT2005PB) S 9104 9105 17733 0 -1 0 330 232 0 0 1 1 0 1 16 0 1 0 1732522777 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/9105/statm): 532 242 485 147 0 385 0 [pid=9105] vsize: 2128 Raw data (/proc/9108/stat): 9108 (vallst) T 9105 9105 17733 0 -1 0 485 0 0 0 34488 5731 0 0 16 0 1 0 1732522787 3026944 455 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/9108/statm): 739 455 413 48 0 691 0 [pid=9108] vsize: 2956 Current children cumulated CPU time (s) 402.22 Current children cumulated vsize (Kb) 5084 [startup+530.046 s] Raw data (loadavg): 1.00 1.01 1.00 2/58 9108 Raw data (/proc/9105/stat): 9105 (vallstSAT2005PB) S 9104 9105 17733 0 -1 0 330 232 0 0 1 1 0 1 16 0 1 0 1732522777 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/9105/statm): 532 242 485 147 0 385 0 [pid=9105] vsize: 2128 Raw data (/proc/9108/stat): 9108 (vallst) R 9105 9105 17733 0 -1 0 486 0 0 0 35293 5797 0 0 16 0 1 0 1732522787 3026944 456 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/9108/statm): 739 456 413 48 0 691 0 [pid=9108] vsize: 2956 Current children cumulated CPU time (s) 410.93 Current children cumulated vsize (Kb) 5084 [startup+540.046 s] Raw data (loadavg): 1.07 1.03 1.00 1/58 9108 Raw data (/proc/9105/stat): 9105 (vallstSAT2005PB) S 9104 9105 17733 0 -1 0 330 232 0 0 1 1 0 1 16 0 1 0 1732522777 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/9105/statm): 532 242 485 147 0 385 0 [pid=9105] vsize: 2128 Raw data (/proc/9108/stat): 9108 (vallst) T 9105 9105 17733 0 -1 0 487 0 0 0 35823 5947 0 0 16 0 1 0 1732522787 3026944 457 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/9108/statm): 739 457 413 48 0 691 0 [pid=9108] vsize: 2956 Current children cumulated CPU time (s) 417.73 Current children cumulated vsize (Kb) 5084 [startup+550.048 s] Raw data (loadavg): 1.06 1.02 1.00 1/58 9108 Raw data (/proc/9105/stat): 9105 (vallstSAT2005PB) S 9104 9105 17733 0 -1 0 330 232 0 0 1 1 0 1 16 0 1 0 1732522777 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/9105/statm): 532 242 485 147 0 385 0 [pid=9105] vsize: 2128 Raw data (/proc/9108/stat): 9108 (vallst) T 9105 9105 17733 0 -1 0 487 0 0 0 36621 6015 0 0 16 0 1 0 1732522787 3026944 457 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/9108/statm): 739 457 413 48 0 691 0 [pid=9108] vsize: 2956 Current children cumulated CPU time (s) 426.39 Current children cumulated vsize (Kb) 5084 [startup+560.048 s] Raw data (loadavg): 1.05 1.02 1.00 1/58 9108 Raw data (/proc/9105/stat): 9105 (vallstSAT2005PB) S 9104 9105 17733 0 -1 0 330 232 0 0 1 1 0 1 16 0 1 0 1732522777 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/9105/statm): 532 242 485 147 0 385 0 [pid=9105] vsize: 2128 Raw data (/proc/9108/stat): 9108 (vallst) T 9105 9105 17733 0 -1 0 487 0 0 0 37438 6075 0 0 17 0 1 0 1732522787 3026944 457 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/9108/statm): 739 457 413 48 0 691 0 [pid=9108] vsize: 2956 Current children cumulated CPU time (s) 435.16 Current children cumulated vsize (Kb) 5084 [startup+570.049 s] Raw data (loadavg): 1.04 1.02 1.00 1/58 9108 Raw data (/proc/9105/stat): 9105 (vallstSAT2005PB) S 9104 9105 17733 0 -1 0 330 232 0 0 1 1 0 1 16 0 1 0 1732522777 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/9105/statm): 532 242 485 147 0 385 0 [pid=9105] vsize: 2128 Raw data (/proc/9108/stat): 9108 (vallst) T 9105 9105 17733 0 -1 0 488 0 0 0 38046 6199 0 0 16 0 1 0 1732522787 3026944 458 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/9108/statm): 739 458 413 48 0 691 0 [pid=9108] vsize: 2956 Current children cumulated CPU time (s) 442.48 Current children cumulated vsize (Kb) 5084 [startup+580.05 s] Raw data (loadavg): 1.04 1.02 1.00 2/58 9108 Raw data (/proc/9105/stat): 9105 (vallstSAT2005PB) S 9104 9105 17733 0 -1 0 330 232 0 0 1 1 0 1 16 0 1 0 1732522777 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/9105/statm): 532 242 485 147 0 385 0 [pid=9105] vsize: 2128 Raw data (/proc/9108/stat): 9108 (vallst) R 9105 9105 17733 0 -1 0 488 0 0 0 38774 6285 0 0 17 0 1 0 1732522787 3026944 458 4294967295 134512640 134702520 3221223952 3221223072 134578611 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/9108/statm): 739 458 413 48 0 691 0 [pid=9108] vsize: 2956 Current children cumulated CPU time (s) 450.62 Current children cumulated vsize (Kb) 5084 [startup+590.051 s] Raw data (loadavg): 1.03 1.02 1.00 1/58 9108 Raw data (/proc/9105/stat): 9105 (vallstSAT2005PB) S 9104 9105 17733 0 -1 0 330 232 0 0 1 1 0 1 16 0 1 0 1732522777 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/9105/statm): 532 242 485 147 0 385 0 [pid=9105] vsize: 2128 Raw data (/proc/9108/stat): 9108 (vallst) T 9105 9105 17733 0 -1 0 539 0 0 0 39615 6338 0 0 17 0 1 0 1732522787 3321856 509 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/9108/statm): 811 509 413 48 0 763 0 [pid=9108] vsize: 3244 Current children cumulated CPU time (s) 459.56 Current children cumulated vsize (Kb) 5372 [startup+600.052 s] Raw data (loadavg): 1.02 1.02 1.00 1/58 9108 Raw data (/proc/9105/stat): 9105 (vallstSAT2005PB) S 9104 9105 17733 0 -1 0 330 232 0 0 1 1 0 1 16 0 1 0 1732522777 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/9105/statm): 532 242 485 147 0 385 0 [pid=9105] vsize: 2128 Raw data (/proc/9108/stat): 9108 (vallst) T 9105 9105 17733 0 -1 0 619 0 0 0 40445 6396 0 0 16 0 1 0 1732522787 3596288 589 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/9108/statm): 878 589 413 48 0 830 0 [pid=9108] vsize: 3512 Current children cumulated CPU time (s) 468.44 Current children cumulated vsize (Kb) 5640 [startup+610.052 s] Raw data (loadavg): 1.02 1.02 1.00 1/58 9108 Raw data (/proc/9105/stat): 9105 (vallstSAT2005PB) S 9104 9105 17733 0 -1 0 330 232 0 0 1 1 0 1 16 0 1 0 1732522777 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/9105/statm): 532 242 485 147 0 385 0 [pid=9105] vsize: 2128 Raw data (/proc/9108/stat): 9108 (vallst) T 9105 9105 17733 0 -1 0 679 0 0 0 41259 6460 0 0 16 0 1 0 1732522787 3829760 649 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/9108/statm): 935 649 413 48 0 887 0 [pid=9108] vsize: 3740 Current children cumulated CPU time (s) 477.22 Current children cumulated vsize (Kb) 5868 [startup+620.054 s] Raw data (loadavg): 1.02 1.02 1.00 2/58 9108 Raw data (/proc/9105/stat): 9105 (vallstSAT2005PB) S 9104 9105 17733 0 -1 0 330 232 0 0 1 1 0 1 16 0 1 0 1732522777 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/9105/statm): 532 242 485 147 0 385 0 [pid=9105] vsize: 2128 Raw data (/proc/9108/stat): 9108 (vallst) R 9105 9105 17733 0 -1 0 740 0 0 0 42167 6489 0 0 17 0 1 0 1732522787 4120576 710 4294967295 134512640 134702520 3221223952 3221223072 134578600 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/9108/statm): 1006 710 413 48 0 958 0 [pid=9108] vsize: 4024 Current children cumulated CPU time (s) 486.59 Current children cumulated vsize (Kb) 6152 [startup+630.055 s] Raw data (loadavg): 1.01 1.02 1.00 2/58 9108 Raw data (/proc/9105/stat): 9105 (vallstSAT2005PB) S 9104 9105 17733 0 -1 0 330 232 0 0 1 1 0 1 16 0 1 0 1732522777 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/9105/statm): 532 242 485 147 0 385 0 [pid=9105] vsize: 2128 Raw data (/proc/9108/stat): 9108 (vallst) R 9105 9105 17733 0 -1 0 740 0 0 0 42719 6632 0 0 17 0 1 0 1732522787 4100096 710 4294967295 134512640 134702520 3221223952 3221223072 134578750 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/9108/statm): 1001 710 413 48 0 953 0 [pid=9108] vsize: 4004 Current children cumulated CPU time (s) 493.54 Current children cumulated vsize (Kb) 6132 [startup+640.055 s] Raw data (loadavg): 1.01 1.02 1.00 1/58 9108 Raw data (/proc/9105/stat): 9105 (vallstSAT2005PB) S 9104 9105 17733 0 -1 0 330 232 0 0 1 1 0 1 16 0 1 0 1732522777 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/9105/statm): 532 242 485 147 0 385 0 [pid=9105] vsize: 2128 Raw data (/proc/9108/stat): 9108 (vallst) T 9105 9105 17733 0 -1 0 740 0 0 0 43570 6685 0 0 17 0 1 0 1732522787 4100096 710 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/9108/statm): 1001 710 413 48 0 953 0 [pid=9108] vsize: 4004 Current children cumulated CPU time (s) 502.58 Current children cumulated vsize (Kb) 6132 [startup+650.056 s] Raw data (loadavg): 1.08 1.03 1.00 2/58 9108 Raw data (/proc/9105/stat): 9105 (vallstSAT2005PB) S 9104 9105 17733 0 -1 0 330 232 0 0 1 1 0 1 16 0 1 0 1732522777 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/9105/statm): 532 242 485 147 0 385 0 [pid=9105] vsize: 2128 Raw data (/proc/9108/stat): 9108 (vallst) R 9105 9105 17733 0 -1 0 740 0 0 0 44418 6734 0 0 17 0 1 0 1732522787 4100096 710 4294967295 134512640 134702520 3221223952 3221223072 134578775 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/9108/statm): 1001 710 413 48 0 953 0 [pid=9108] vsize: 4004 Current children cumulated CPU time (s) 511.55 Current children cumulated vsize (Kb) 6132 [startup+660.056 s] Raw data (loadavg): 1.07 1.03 1.00 2/58 9108 Raw data (/proc/9105/stat): 9105 (vallstSAT2005PB) S 9104 9105 17733 0 -1 0 330 232 0 0 1 1 0 1 16 0 1 0 1732522777 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/9105/statm): 532 242 485 147 0 385 0 [pid=9105] vsize: 2128 Raw data (/proc/9108/stat): 9108 (vallst) R 9105 9105 17733 0 -1 0 740 0 0 0 45272 6782 0 0 17 0 1 0 1732522787 4100096 710 4294967295 134512640 134702520 3221223952 3221223072 134578611 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/9108/statm): 1001 710 413 48 0 953 0 [pid=9108] vsize: 4004 Current children cumulated CPU time (s) 520.57 Current children cumulated vsize (Kb) 6132 [startup+670.058 s] Raw data (loadavg): 1.06 1.03 1.00 2/58 9108 Raw data (/proc/9105/stat): 9105 (vallstSAT2005PB) S 9104 9105 17733 0 -1 0 330 232 0 0 1 1 0 1 16 0 1 0 1732522777 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/9105/statm): 532 242 485 147 0 385 0 [pid=9105] vsize: 2128 Raw data (/proc/9108/stat): 9108 (vallst) R 9105 9105 17733 0 -1 0 740 0 0 0 45863 6912 0 0 16 0 1 0 1732522787 4100096 710 4294967295 134512640 134702520 3221223952 3221223072 134586045 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/9108/statm): 1001 710 413 48 0 953 0 [pid=9108] vsize: 4004 Current children cumulated CPU time (s) 527.78 Current children cumulated vsize (Kb) 6132 [startup+680.059 s] Raw data (loadavg): 1.12 1.04 1.01 2/58 9108 Raw data (/proc/9105/stat): 9105 (vallstSAT2005PB) S 9104 9105 17733 0 -1 0 330 232 0 0 1 1 0 1 16 0 1 0 1732522777 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/9105/statm): 532 242 485 147 0 385 0 [pid=9105] vsize: 2128 Raw data (/proc/9108/stat): 9108 (vallst) R 9105 9105 17733 0 -1 0 740 0 0 0 46281 7100 0 0 16 0 1 0 1732522787 4100096 710 4294967295 134512640 134702520 3221223952 3221223072 134578622 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/9108/statm): 1001 710 413 48 0 953 0 [pid=9108] vsize: 4004 Current children cumulated CPU time (s) 533.84 Current children cumulated vsize (Kb) 6132 [startup+690.06 s] Raw data (loadavg): 1.10 1.04 1.01 2/58 9108 Raw data (/proc/9105/stat): 9105 (vallstSAT2005PB) S 9104 9105 17733 0 -1 0 330 232 0 0 1 1 0 1 16 0 1 0 1732522777 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/9105/statm): 532 242 485 147 0 385 0 [pid=9105] vsize: 2128 Raw data (/proc/9108/stat): 9108 (vallst) R 9105 9105 17733 0 -1 0 740 0 0 0 46762 7265 0 0 16 0 1 0 1732522787 4100096 710 4294967295 134512640 134702520 3221223952 3221223024 134617472 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/9108/statm): 1001 710 413 48 0 953 0 [pid=9108] vsize: 4004 Current children cumulated CPU time (s) 540.3 Current children cumulated vsize (Kb) 6132 [startup+700.061 s] Raw data (loadavg): 1.09 1.04 1.01 2/58 9108 Raw data (/proc/9105/stat): 9105 (vallstSAT2005PB) S 9104 9105 17733 0 -1 0 330 232 0 0 1 1 0 1 16 0 1 0 1732522777 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/9105/statm): 532 242 485 147 0 385 0 [pid=9105] vsize: 2128 Raw data (/proc/9108/stat): 9108 (vallst) R 9105 9105 17733 0 -1 0 740 0 0 0 47306 7414 0 0 16 0 1 0 1732522787 4100096 710 4294967295 134512640 134702520 3221223952 3221223072 134578768 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/9108/statm): 1001 710 413 48 0 953 0 [pid=9108] vsize: 4004 Current children cumulated CPU time (s) 547.23 Current children cumulated vsize (Kb) 6132 [startup+710.061 s] Raw data (loadavg): 1.07 1.04 1.00 2/58 9108 Raw data (/proc/9105/stat): 9105 (vallstSAT2005PB) S 9104 9105 17733 0 -1 0 330 232 0 0 1 1 0 1 16 0 1 0 1732522777 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/9105/statm): 532 242 485 147 0 385 0 [pid=9105] vsize: 2128 Raw data (/proc/9108/stat): 9108 (vallst) R 9105 9105 17733 0 -1 0 740 0 0 0 47789 7583 0 0 16 0 1 0 1732522787 4100096 710 4294967295 134512640 134702520 3221223952 3221223072 134578600 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/9108/statm): 1001 710 413 48 0 953 0 [pid=9108] vsize: 4004 Current children cumulated CPU time (s) 553.75 Current children cumulated vsize (Kb) 6132 [startup+720.062 s] Raw data (loadavg): 1.06 1.04 1.00 1/58 9108 Raw data (/proc/9105/stat): 9105 (vallstSAT2005PB) S 9104 9105 17733 0 -1 0 330 232 0 0 1 1 0 1 16 0 1 0 1732522777 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/9105/statm): 532 242 485 147 0 385 0 [pid=9105] vsize: 2128 Raw data (/proc/9108/stat): 9108 (vallst) T 9105 9105 17733 0 -1 0 740 0 0 0 48446 7694 0 0 16 0 1 0 1732522787 4100096 710 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/9108/statm): 1001 710 413 48 0 953 0 [pid=9108] vsize: 4004 Current children cumulated CPU time (s) 561.43 Current children cumulated vsize (Kb) 6132 [startup+730.064 s] Raw data (loadavg): 1.12 1.05 1.01 2/58 9108 Raw data (/proc/9105/stat): 9105 (vallstSAT2005PB) S 9104 9105 17733 0 -1 0 330 232 0 0 1 1 0 1 16 0 1 0 1732522777 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/9105/statm): 532 242 485 147 0 385 0 [pid=9105] vsize: 2128 Raw data (/proc/9108/stat): 9108 (vallst) R 9105 9105 17733 0 -1 0 740 0 0 0 48917 7868 0 0 16 0 1 0 1732522787 4100096 710 4294967295 134512640 134702520 3221223952 3221223132 134519982 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/9108/statm): 1001 710 413 48 0 953 0 [pid=9108] vsize: 4004 Current children cumulated CPU time (s) 567.88 Current children cumulated vsize (Kb) 6132 [startup+740.064 s] Raw data (loadavg): 1.11 1.05 1.01 1/58 9108 Raw data (/proc/9105/stat): 9105 (vallstSAT2005PB) S 9104 9105 17733 0 -1 0 330 232 0 0 1 1 0 1 16 0 1 0 1732522777 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/9105/statm): 532 242 485 147 0 385 0 [pid=9105] vsize: 2128 Raw data (/proc/9108/stat): 9108 (vallst) T 9105 9105 17733 0 -1 0 740 0 0 0 49606 7966 0 0 16 0 1 0 1732522787 4100096 710 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/9108/statm): 1001 710 413 48 0 953 0 [pid=9108] vsize: 4004 Current children cumulated CPU time (s) 575.75 Current children cumulated vsize (Kb) 6132 [startup+750.064 s] Raw data (loadavg): 1.09 1.05 1.01 2/58 9108 Raw data (/proc/9105/stat): 9105 (vallstSAT2005PB) S 9104 9105 17733 0 -1 0 330 232 0 0 1 1 0 1 16 0 1 0 1732522777 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/9105/statm): 532 242 485 147 0 385 0 [pid=9105] vsize: 2128 Raw data (/proc/9108/stat): 9108 (vallst) R 9105 9105 17733 0 -1 0 740 0 0 0 50091 8130 0 0 17 0 1 0 1732522787 4100096 710 4294967295 134512640 134702520 3221223952 3221223072 134578600 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/9108/statm): 1001 710 413 48 0 953 0 [pid=9108] vsize: 4004 Current children cumulated CPU time (s) 582.24 Current children cumulated vsize (Kb) 6132 [startup+760.065 s] Raw data (loadavg): 1.07 1.04 1.00 2/58 9108 Raw data (/proc/9105/stat): 9105 (vallstSAT2005PB) S 9104 9105 17733 0 -1 0 330 232 0 0 1 1 0 1 16 0 1 0 1732522777 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/9105/statm): 532 242 485 147 0 385 0 [pid=9105] vsize: 2128 Raw data (/proc/9108/stat): 9108 (vallst) R 9105 9105 17733 0 -1 0 740 0 0 0 50759 8243 0 0 16 0 1 0 1732522787 4100096 710 4294967295 134512640 134702520 3221223952 3221223232 134552261 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/9108/statm): 1001 710 413 48 0 953 0 [pid=9108] vsize: 4004 Current children cumulated CPU time (s) 590.05 Current children cumulated vsize (Kb) 6132 [startup+770.066 s] Raw data (loadavg): 1.06 1.04 1.00 2/58 9108 Raw data (/proc/9105/stat): 9105 (vallstSAT2005PB) S 9104 9105 17733 0 -1 0 330 232 0 0 1 1 0 1 16 0 1 0 1732522777 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/9105/statm): 532 242 485 147 0 385 0 [pid=9105] vsize: 2128 Raw data (/proc/9108/stat): 9108 (vallst) R 9105 9105 17733 0 -1 0 740 0 0 0 51252 8400 0 0 16 0 1 0 1732522787 4100096 710 4294967295 134512640 134702520 3221223952 3221223072 134578611 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/9108/statm): 1001 710 413 48 0 953 0 [pid=9108] vsize: 4004 Current children cumulated CPU time (s) 596.55 Current children cumulated vsize (Kb) 6132 [startup+780.067 s] Raw data (loadavg): 1.05 1.04 1.00 2/58 9108 Raw data (/proc/9105/stat): 9105 (vallstSAT2005PB) S 9104 9105 17733 0 -1 0 330 232 0 0 1 1 0 1 16 0 1 0 1732522777 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/9105/statm): 532 242 485 147 0 385 0 [pid=9105] vsize: 2128 Raw data (/proc/9108/stat): 9108 (vallst) R 9105 9105 17733 0 -1 0 740 0 0 0 51977 8489 0 0 16 0 1 0 1732522787 4100096 710 4294967295 134512640 134702520 3221223952 3221223072 134572994 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/9108/statm): 1001 710 413 48 0 953 0 [pid=9108] vsize: 4004 Current children cumulated CPU time (s) 604.69 Current children cumulated vsize (Kb) 6132 [startup+790.068 s] Raw data (loadavg): 1.04 1.04 1.00 1/58 9108 Raw data (/proc/9105/stat): 9105 (vallstSAT2005PB) S 9104 9105 17733 0 -1 0 330 232 0 0 1 1 0 1 16 0 1 0 1732522777 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/9105/statm): 532 242 485 147 0 385 0 [pid=9105] vsize: 2128 Raw data (/proc/9108/stat): 9108 (vallst) T 9105 9105 17733 0 -1 0 740 0 0 0 52650 8595 0 0 16 0 1 0 1732522787 4100096 710 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/9108/statm): 1001 710 413 48 0 953 0 [pid=9108] vsize: 4004 Current children cumulated CPU time (s) 612.48 Current children cumulated vsize (Kb) 6132 [startup+800.068 s] Raw data (loadavg): 1.04 1.04 1.00 1/58 9108 Raw data (/proc/9105/stat): 9105 (vallstSAT2005PB) S 9104 9105 17733 0 -1 0 330 232 0 0 1 1 0 1 16 0 1 0 1732522777 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/9105/statm): 532 242 485 147 0 385 0 [pid=9105] vsize: 2128 Raw data (/proc/9108/stat): 9108 (vallst) T 9105 9105 17733 0 -1 0 740 0 0 0 53223 8733 0 0 16 0 1 0 1732522787 4100096 710 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/9108/statm): 1001 710 413 48 0 953 0 [pid=9108] vsize: 4004 Current children cumulated CPU time (s) 619.59 Current children cumulated vsize (Kb) 6132 [startup+810.068 s] Raw data (loadavg): 1.03 1.03 1.00 1/58 9108 Raw data (/proc/9105/stat): 9105 (vallstSAT2005PB) S 9104 9105 17733 0 -1 0 330 232 0 0 1 1 0 1 16 0 1 0 1732522777 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/9105/statm): 532 242 485 147 0 385 0 [pid=9105] vsize: 2128 Raw data (/proc/9108/stat): 9108 (vallst) T 9105 9105 17733 0 -1 0 740 0 0 0 53965 8817 0 0 17 0 1 0 1732522787 4100096 710 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/9108/statm): 1001 710 413 48 0 953 0 [pid=9108] vsize: 4004 Current children cumulated CPU time (s) 627.85 Current children cumulated vsize (Kb) 6132 [startup+820.069 s] Raw data (loadavg): 1.11 1.05 1.01 1/58 9108 Raw data (/proc/9105/stat): 9105 (vallstSAT2005PB) S 9104 9105 17733 0 -1 0 330 232 0 0 1 1 0 1 16 0 1 0 1732522777 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/9105/statm): 532 242 485 147 0 385 0 [pid=9105] vsize: 2128 Raw data (/proc/9108/stat): 9108 (vallst) T 9105 9105 17733 0 -1 0 740 0 0 0 54480 8974 0 0 16 0 1 0 1732522787 4100096 710 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/9108/statm): 1001 710 413 48 0 953 0 [pid=9108] vsize: 4004 Current children cumulated CPU time (s) 634.57 Current children cumulated vsize (Kb) 6132 [startup+830.07 s] Raw data (loadavg): 1.09 1.05 1.00 2/58 9108 Raw data (/proc/9105/stat): 9105 (vallstSAT2005PB) S 9104 9105 17733 0 -1 0 330 232 0 0 1 1 0 1 16 0 1 0 1732522777 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/9105/statm): 532 242 485 147 0 385 0 [pid=9105] vsize: 2128 Raw data (/proc/9108/stat): 9108 (vallst) R 9105 9105 17733 0 -1 0 740 0 0 0 55230 9054 0 0 17 0 1 0 1732522787 4100096 710 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/9108/statm): 1001 710 413 48 0 953 0 [pid=9108] vsize: 4004 Current children cumulated CPU time (s) 642.87 Current children cumulated vsize (Kb) 6132 [startup+840.071 s] Raw data (loadavg): 1.07 1.04 1.00 1/58 9108 Raw data (/proc/9105/stat): 9105 (vallstSAT2005PB) S 9104 9105 17733 0 -1 0 330 232 0 0 1 1 0 1 16 0 1 0 1732522777 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/9105/statm): 532 242 485 147 0 385 0 [pid=9105] vsize: 2128 Raw data (/proc/9108/stat): 9108 (vallst) T 9105 9105 17733 0 -1 0 740 0 0 0 55951 9147 0 0 17 0 1 0 1732522787 4100096 710 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/9108/statm): 1001 710 413 48 0 953 0 [pid=9108] vsize: 4004 Current children cumulated CPU time (s) 651.01 Current children cumulated vsize (Kb) 6132 [startup+850.071 s] Raw data (loadavg): 1.22 1.08 1.01 2/58 9108 Raw data (/proc/9105/stat): 9105 (vallstSAT2005PB) S 9104 9105 17733 0 -1 0 330 232 0 0 1 1 0 1 16 0 1 0 1732522777 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/9105/statm): 532 242 485 147 0 385 0 [pid=9105] vsize: 2128 Raw data (/proc/9108/stat): 9108 (vallst) R 9105 9105 17733 0 -1 0 740 0 0 0 56501 9289 0 0 17 0 1 0 1732522787 4100096 710 4294967295 134512640 134702520 3221223952 3221223072 134578622 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/9108/statm): 1001 710 413 48 0 953 0 [pid=9108] vsize: 4004 Current children cumulated CPU time (s) 657.93 Current children cumulated vsize (Kb) 6132 [startup+860.072 s] Raw data (loadavg): 1.18 1.07 1.01 2/58 9108 Raw data (/proc/9105/stat): 9105 (vallstSAT2005PB) S 9104 9105 17733 0 -1 0 330 232 0 0 1 1 0 1 16 0 1 0 1732522777 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/9105/statm): 532 242 485 147 0 385 0 [pid=9105] vsize: 2128 Raw data (/proc/9108/stat): 9108 (vallst) T 9105 9105 17733 0 -1 0 741 0 0 0 57230 9379 0 0 16 0 1 0 1732522787 4100096 711 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/9108/statm): 1001 711 413 48 0 953 0 [pid=9108] vsize: 4004 Current children cumulated CPU time (s) 666.12 Current children cumulated vsize (Kb) 6132 [startup+870.073 s] Raw data (loadavg): 1.15 1.07 1.01 2/58 9108 Raw data (/proc/9105/stat): 9105 (vallstSAT2005PB) S 9104 9105 17733 0 -1 0 330 232 0 0 1 1 0 1 16 0 1 0 1732522777 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/9105/statm): 532 242 485 147 0 385 0 [pid=9105] vsize: 2128 Raw data (/proc/9108/stat): 9108 (vallst) R 9105 9105 17733 0 -1 0 741 0 0 0 58008 9452 0 0 17 0 1 0 1732522787 4100096 711 4294967295 134512640 134702520 3221223952 3221223072 134578758 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/9108/statm): 1001 711 413 48 0 953 0 [pid=9108] vsize: 4004 Current children cumulated CPU time (s) 674.63 Current children cumulated vsize (Kb) 6132 [startup+880.074 s] Raw data (loadavg): 1.13 1.07 1.01 2/58 9108 Raw data (/proc/9105/stat): 9105 (vallstSAT2005PB) S 9104 9105 17733 0 -1 0 330 232 0 0 1 1 0 1 16 0 1 0 1732522777 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/9105/statm): 532 242 485 147 0 385 0 [pid=9105] vsize: 2128 Raw data (/proc/9108/stat): 9108 (vallst) R 9105 9105 17733 0 -1 0 741 0 0 0 58559 9600 0 0 17 0 1 0 1732522787 4100096 711 4294967295 134512640 134702520 3221223952 3221223072 134578622 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/9108/statm): 1001 711 413 48 0 953 0 [pid=9108] vsize: 4004 Current children cumulated CPU time (s) 681.62 Current children cumulated vsize (Kb) 6132 [startup+890.073 s] Raw data (loadavg): 1.11 1.06 1.01 1/58 9108 Raw data (/proc/9105/stat): 9105 (vallstSAT2005PB) S 9104 9105 17733 0 -1 0 330 232 0 0 1 1 0 1 16 0 1 0 1732522777 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/9105/statm): 532 242 485 147 0 385 0 [pid=9105] vsize: 2128 Raw data (/proc/9108/stat): 9108 (vallst) T 9105 9105 17733 0 -1 0 741 0 0 0 59307 9683 0 0 16 0 1 0 1732522787 4100096 711 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/9108/statm): 1001 711 413 48 0 953 0 [pid=9108] vsize: 4004 Current children cumulated CPU time (s) 689.93 Current children cumulated vsize (Kb) 6132 [startup+900.074 s] Raw data (loadavg): 1.09 1.06 1.01 2/58 9108 Raw data (/proc/9105/stat): 9105 (vallstSAT2005PB) S 9104 9105 17733 0 -1 0 330 232 0 0 1 1 0 1 16 0 1 0 1732522777 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/9105/statm): 532 242 485 147 0 385 0 [pid=9105] vsize: 2128 Raw data (/proc/9108/stat): 9108 (vallst) R 9105 9105 17733 0 -1 0 741 0 0 0 60053 9767 0 0 17 0 1 0 1732522787 4100096 711 4294967295 134512640 134702520 3221223952 3221223232 134553305 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/9108/statm): 1001 711 413 48 0 953 0 [pid=9108] vsize: 4004 Current children cumulated CPU time (s) 698.23 Current children cumulated vsize (Kb) 6132 [startup+910.075 s] Raw data (loadavg): 1.15 1.07 1.01 2/58 9108 Raw data (/proc/9105/stat): 9105 (vallstSAT2005PB) S 9104 9105 17733 0 -1 0 330 232 0 0 1 1 0 1 16 0 1 0 1732522777 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/9105/statm): 532 242 485 147 0 385 0 [pid=9105] vsize: 2128 Raw data (/proc/9108/stat): 9108 (vallst) R 9105 9105 17733 0 -1 0 741 0 0 0 60599 9914 0 0 17 0 1 0 1732522787 4100096 711 4294967295 134512640 134702520 3221223952 3221223072 134578622 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/9108/statm): 1001 711 413 48 0 953 0 [pid=9108] vsize: 4004 Current children cumulated CPU time (s) 705.16 Current children cumulated vsize (Kb) 6132 [startup+920.076 s] Raw data (loadavg): 1.13 1.07 1.01 1/58 9108 Raw data (/proc/9105/stat): 9105 (vallstSAT2005PB) S 9104 9105 17733 0 -1 0 330 232 0 0 1 1 0 1 16 0 1 0 1732522777 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/9105/statm): 532 242 485 147 0 385 0 [pid=9105] vsize: 2128 Raw data (/proc/9108/stat): 9108 (vallst) T 9105 9105 17733 0 -1 0 741 0 0 0 61333 10001 0 0 16 0 1 0 1732522787 4100096 711 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/9108/statm): 1001 711 413 48 0 953 0 [pid=9108] vsize: 4004 Current children cumulated CPU time (s) 713.37 Current children cumulated vsize (Kb) 6132 [startup+930.077 s] Raw data (loadavg): 1.11 1.07 1.01 1/58 9108 Raw data (/proc/9105/stat): 9105 (vallstSAT2005PB) S 9104 9105 17733 0 -1 0 330 232 0 0 1 1 0 1 16 0 1 0 1732522777 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/9105/statm): 532 242 485 147 0 385 0 [pid=9105] vsize: 2128 Raw data (/proc/9108/stat): 9108 (vallst) T 9105 9105 17733 0 -1 0 741 0 0 0 62116 10074 0 0 15 0 1 0 1732522787 4100096 711 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/9108/statm): 1001 711 413 48 0 953 0 [pid=9108] vsize: 4004 Current children cumulated CPU time (s) 721.93 Current children cumulated vsize (Kb) 6132 [startup+940.076 s] Raw data (loadavg): 1.09 1.07 1.01 2/58 9108 Raw data (/proc/9105/stat): 9105 (vallstSAT2005PB) S 9104 9105 17733 0 -1 0 330 232 0 0 1 1 0 1 16 0 1 0 1732522777 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/9105/statm): 532 242 485 147 0 385 0 [pid=9105] vsize: 2128 Raw data (/proc/9108/stat): 9108 (vallst) R 9105 9105 17733 0 -1 0 741 0 0 0 62649 10222 0 0 16 0 1 0 1732522787 4100096 711 4294967295 134512640 134702520 3221223952 3221223072 134578622 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/9108/statm): 1001 711 413 48 0 953 0 [pid=9108] vsize: 4004 Current children cumulated CPU time (s) 728.74 Current children cumulated vsize (Kb) 6132 [startup+950.077 s] Raw data (loadavg): 1.08 1.06 1.01 2/58 9108 Raw data (/proc/9105/stat): 9105 (vallstSAT2005PB) S 9104 9105 17733 0 -1 0 330 232 0 0 1 1 0 1 16 0 1 0 1732522777 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/9105/statm): 532 242 485 147 0 385 0 [pid=9105] vsize: 2128 Raw data (/proc/9108/stat): 9108 (vallst) T 9105 9105 17733 0 -1 0 741 0 0 0 63434 10293 0 0 17 0 1 0 1732522787 4100096 711 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/9108/statm): 1001 711 413 48 0 953 0 [pid=9108] vsize: 4004 Current children cumulated CPU time (s) 737.3 Current children cumulated vsize (Kb) 6132 [startup+960.077 s] Raw data (loadavg): 1.06 1.06 1.01 2/58 9108 Raw data (/proc/9105/stat): 9105 (vallstSAT2005PB) S 9104 9105 17733 0 -1 0 330 232 0 0 1 1 0 1 16 0 1 0 1732522777 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/9105/statm): 532 242 485 147 0 385 0 [pid=9105] vsize: 2128 Raw data (/proc/9108/stat): 9108 (vallst) R 9105 9105 17733 0 -1 0 741 0 0 0 64216 10364 0 0 17 0 1 0 1732522787 4100096 711 4294967295 134512640 134702520 3221223952 3221223072 134578775 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/9108/statm): 1001 711 413 48 0 953 0 [pid=9108] vsize: 4004 Current children cumulated CPU time (s) 745.83 Current children cumulated vsize (Kb) 6132 [startup+970.079 s] Raw data (loadavg): 1.05 1.06 1.01 1/58 9108 Raw data (/proc/9105/stat): 9105 (vallstSAT2005PB) S 9104 9105 17733 0 -1 0 330 232 0 0 1 1 0 1 16 0 1 0 1732522777 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/9105/statm): 532 242 485 147 0 385 0 [pid=9105] vsize: 2128 Raw data (/proc/9108/stat): 9108 (vallst) T 9105 9105 17733 0 -1 0 741 0 0 0 64763 10513 0 0 16 0 1 0 1732522787 4100096 711 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/9108/statm): 1001 711 413 48 0 953 0 [pid=9108] vsize: 4004 Current children cumulated CPU time (s) 752.79 Current children cumulated vsize (Kb) 6132 [startup+980.08 s] Raw data (loadavg): 1.05 1.06 1.01 2/58 9108 Raw data (/proc/9105/stat): 9105 (vallstSAT2005PB) S 9104 9105 17733 0 -1 0 330 232 0 0 1 1 0 1 16 0 1 0 1732522777 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/9105/statm): 532 242 485 147 0 385 0 [pid=9105] vsize: 2128 Raw data (/proc/9108/stat): 9108 (vallst) R 9105 9105 17733 0 -1 0 741 0 0 0 65541 10588 0 0 17 0 1 0 1732522787 4100096 711 4294967295 134512640 134702520 3221223952 3221223072 134578775 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/9108/statm): 1001 711 413 48 0 953 0 [pid=9108] vsize: 4004 Current children cumulated CPU time (s) 761.32 Current children cumulated vsize (Kb) 6132 [startup+990.079 s] Raw data (loadavg): 1.04 1.05 1.00 2/58 9108 Raw data (/proc/9105/stat): 9105 (vallstSAT2005PB) S 9104 9105 17733 0 -1 0 330 232 0 0 1 1 0 1 16 0 1 0 1732522777 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/9105/statm): 532 242 485 147 0 385 0 [pid=9105] vsize: 2128 Raw data (/proc/9108/stat): 9108 (vallst) R 9105 9105 17733 0 -1 0 741 0 0 0 66327 10661 0 0 17 0 1 0 1732522787 4100096 711 4294967295 134512640 134702520 3221223952 3221223232 134552884 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/9108/statm): 1001 711 413 48 0 953 0 [pid=9108] vsize: 4004 Current children cumulated CPU time (s) 769.91 Current children cumulated vsize (Kb) 6132 [startup+1000.08 s] Raw data (loadavg): 1.03 1.05 1.00 2/58 9108 Raw data (/proc/9105/stat): 9105 (vallstSAT2005PB) S 9104 9105 17733 0 -1 0 330 232 0 0 1 1 0 1 16 0 1 0 1732522777 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/9105/statm): 532 242 485 147 0 385 0 [pid=9105] vsize: 2128 Raw data (/proc/9108/stat): 9108 (vallst) R 9105 9105 17733 0 -1 0 741 0 0 0 67106 10734 0 0 17 0 1 0 1732522787 4100096 711 4294967295 134512640 134702520 3221223952 3221223072 134578750 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/9108/statm): 1001 711 413 48 0 953 0 [pid=9108] vsize: 4004 Current children cumulated CPU time (s) 778.43 Current children cumulated vsize (Kb) 6132 [startup+1010.08 s] Raw data (loadavg): 1.03 1.05 1.00 1/58 9108 Raw data (/proc/9105/stat): 9105 (vallstSAT2005PB) S 9104 9105 17733 0 -1 0 330 232 0 0 1 1 0 1 16 0 1 0 1732522777 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/9105/statm): 532 242 485 147 0 385 0 [pid=9105] vsize: 2128 Raw data (/proc/9108/stat): 9108 (vallst) T 9105 9105 17733 0 -1 0 741 0 0 0 67653 10882 0 0 17 0 1 0 1732522787 4100096 711 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/9108/statm): 1001 711 413 48 0 953 0 [pid=9108] vsize: 4004 Current children cumulated CPU time (s) 785.38 Current children cumulated vsize (Kb) 6132 [startup+1020.08 s] Raw data (loadavg): 1.02 1.05 1.00 1/58 9108 Raw data (/proc/9105/stat): 9105 (vallstSAT2005PB) S 9104 9105 17733 0 -1 0 330 232 0 0 1 1 0 1 16 0 1 0 1732522777 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/9105/statm): 532 242 485 147 0 385 0 [pid=9105] vsize: 2128 Raw data (/proc/9108/stat): 9108 (vallst) T 9105 9105 17733 0 -1 0 741 0 0 0 68433 10953 0 0 17 0 1 0 1732522787 4100096 711 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/9108/statm): 1001 711 413 48 0 953 0 [pid=9108] vsize: 4004 Current children cumulated CPU time (s) 793.89 Current children cumulated vsize (Kb) 6132 [startup+1030.08 s] Raw data (loadavg): 1.02 1.05 1.00 1/58 9108 Raw data (/proc/9105/stat): 9105 (vallstSAT2005PB) S 9104 9105 17733 0 -1 0 330 232 0 0 1 1 0 1 16 0 1 0 1732522777 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/9105/statm): 532 242 485 147 0 385 0 [pid=9105] vsize: 2128 Raw data (/proc/9108/stat): 9108 (vallst) T 9105 9105 17733 0 -1 0 741 0 0 0 69216 11026 0 0 17 0 1 0 1732522787 4100096 711 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/9108/statm): 1001 711 413 48 0 953 0 [pid=9108] vsize: 4004 Current children cumulated CPU time (s) 802.45 Current children cumulated vsize (Kb) 6132 [startup+1040.08 s] Raw data (loadavg): 1.02 1.04 1.00 1/58 9108 Raw data (/proc/9105/stat): 9105 (vallstSAT2005PB) S 9104 9105 17733 0 -1 0 330 232 0 0 1 1 0 1 16 0 1 0 1732522777 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/9105/statm): 532 242 485 147 0 385 0 [pid=9105] vsize: 2128 Raw data (/proc/9108/stat): 9108 (vallst) T 9105 9105 17733 0 -1 0 741 0 0 0 69828 11153 0 0 15 0 1 0 1732522787 4100096 711 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/9108/statm): 1001 711 413 48 0 953 0 [pid=9108] vsize: 4004 Current children cumulated CPU time (s) 809.84 Current children cumulated vsize (Kb) 6132 [startup+1050.08 s] Raw data (loadavg): 1.01 1.04 1.00 1/58 9108 Raw data (/proc/9105/stat): 9105 (vallstSAT2005PB) S 9104 9105 17733 0 -1 0 330 232 0 0 1 1 0 1 16 0 1 0 1732522777 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/9105/statm): 532 242 485 147 0 385 0 [pid=9105] vsize: 2128 Raw data (/proc/9108/stat): 9108 (vallst) T 9105 9105 17733 0 -1 0 741 0 0 0 70555 11245 0 0 17 0 1 0 1732522787 4100096 711 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/9108/statm): 1001 711 413 48 0 953 0 [pid=9108] vsize: 4004 Current children cumulated CPU time (s) 818.03 Current children cumulated vsize (Kb) 6132 [startup+1060.08 s] Raw data (loadavg): 1.01 1.04 1.00 1/58 9108 Raw data (/proc/9105/stat): 9105 (vallstSAT2005PB) S 9104 9105 17733 0 -1 0 330 232 0 0 1 1 0 1 16 0 1 0 1732522777 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/9105/statm): 532 242 485 147 0 385 0 [pid=9105] vsize: 2128 Raw data (/proc/9108/stat): 9108 (vallst) T 9105 9105 17733 0 -1 0 741 0 0 0 71348 11315 0 0 15 0 1 0 1732522787 4100096 711 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/9108/statm): 1001 711 413 48 0 953 0 [pid=9108] vsize: 4004 Current children cumulated CPU time (s) 826.66 Current children cumulated vsize (Kb) 6132 [startup+1070.09 s] Raw data (loadavg): 1.01 1.04 1.00 2/58 9108 Raw data (/proc/9105/stat): 9105 (vallstSAT2005PB) S 9104 9105 17733 0 -1 0 330 232 0 0 1 1 0 1 16 0 1 0 1732522777 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/9105/statm): 532 242 485 147 0 385 0 [pid=9105] vsize: 2128 Raw data (/proc/9108/stat): 9108 (vallst) R 9105 9105 17733 0 -1 0 741 0 0 0 72183 11371 0 0 17 0 1 0 1732522787 4100096 711 4294967295 134512640 134702520 3221223952 3221223072 134578768 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/9108/statm): 1001 711 413 48 0 953 0 [pid=9108] vsize: 4004 Current children cumulated CPU time (s) 835.57 Current children cumulated vsize (Kb) 6132 [startup+1080.09 s] Raw data (loadavg): 1.01 1.04 1.00 1/58 9108 Raw data (/proc/9105/stat): 9105 (vallstSAT2005PB) S 9104 9105 17733 0 -1 0 330 232 0 0 1 1 0 1 16 0 1 0 1732522777 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/9105/statm): 532 242 485 147 0 385 0 [pid=9105] vsize: 2128 Raw data (/proc/9108/stat): 9108 (vallst) T 9105 9105 17733 0 -1 0 741 0 0 0 72801 11493 0 0 16 0 1 0 1732522787 4100096 711 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/9108/statm): 1001 711 413 48 0 953 0 [pid=9108] vsize: 4004 Current children cumulated CPU time (s) 842.97 Current children cumulated vsize (Kb) 6132 [startup+1090.09 s] Raw data (loadavg): 1.00 1.03 1.00 2/58 9108 Raw data (/proc/9105/stat): 9105 (vallstSAT2005PB) S 9104 9105 17733 0 -1 0 330 232 0 0 1 1 0 1 16 0 1 0 1732522777 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/9105/statm): 532 242 485 147 0 385 0 [pid=9105] vsize: 2128 Raw data (/proc/9108/stat): 9108 (vallst) R 9105 9105 17733 0 -1 0 741 0 0 0 73515 11582 0 0 17 0 1 0 1732522787 4100096 711 4294967295 134512640 134702520 3221223952 3221223072 134578604 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/9108/statm): 1001 711 413 48 0 953 0 [pid=9108] vsize: 4004 Current children cumulated CPU time (s) 851 Current children cumulated vsize (Kb) 6132 [startup+1100.09 s] Raw data (loadavg): 1.00 1.03 1.00 2/58 9108 Raw data (/proc/9105/stat): 9105 (vallstSAT2005PB) S 9104 9105 17733 0 -1 0 330 232 0 0 1 1 0 1 16 0 1 0 1732522777 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/9105/statm): 532 242 485 147 0 385 0 [pid=9105] vsize: 2128 Raw data (/proc/9108/stat): 9108 (vallst) R 9105 9105 17733 0 -1 0 741 0 0 0 74295 11657 0 0 16 0 1 0 1732522787 4100096 711 4294967295 134512640 134702520 3221223952 3221223072 134578622 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/9108/statm): 1001 711 413 48 0 953 0 [pid=9108] vsize: 4004 Current children cumulated CPU time (s) 859.55 Current children cumulated vsize (Kb) 6132 [startup+1110.09 s] Raw data (loadavg): 1.00 1.03 1.00 2/58 9108 Raw data (/proc/9105/stat): 9105 (vallstSAT2005PB) S 9104 9105 17733 0 -1 0 330 232 0 0 1 1 0 1 16 0 1 0 1732522777 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/9105/statm): 532 242 485 147 0 385 0 [pid=9105] vsize: 2128 Raw data (/proc/9108/stat): 9108 (vallst) R 9105 9105 17733 0 -1 0 741 0 0 0 75135 11710 0 0 17 0 1 0 1732522787 4100096 711 4294967295 134512640 134702520 3221223952 3221223232 134552261 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/9108/statm): 1001 711 413 48 0 953 0 [pid=9108] vsize: 4004 Current children cumulated CPU time (s) 868.48 Current children cumulated vsize (Kb) 6132 [startup+1120.09 s] Raw data (loadavg): 1.08 1.04 1.00 1/58 9108 Raw data (/proc/9105/stat): 9105 (vallstSAT2005PB) S 9104 9105 17733 0 -1 0 330 232 0 0 1 1 0 1 16 0 1 0 1732522777 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/9105/statm): 532 242 485 147 0 385 0 [pid=9105] vsize: 2128 Raw data (/proc/9108/stat): 9108 (vallst) T 9105 9105 17733 0 -1 0 741 0 0 0 75730 11839 0 0 16 0 1 0 1732522787 4100096 711 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/9108/statm): 1001 711 413 48 0 953 0 [pid=9108] vsize: 4004 Current children cumulated CPU time (s) 875.72 Current children cumulated vsize (Kb) 6132 [startup+1130.09 s] Raw data (loadavg): 1.06 1.04 1.00 2/58 9108 Raw data (/proc/9105/stat): 9105 (vallstSAT2005PB) S 9104 9105 17733 0 -1 0 330 232 0 0 1 1 0 1 16 0 1 0 1732522777 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/9105/statm): 532 242 485 147 0 385 0 [pid=9105] vsize: 2128 Raw data (/proc/9108/stat): 9108 (vallst) R 9105 9105 17733 0 -1 0 741 0 0 0 76466 11924 0 0 17 0 1 0 1732522787 4100096 711 4294967295 134512640 134702520 3221223952 3221223072 134584563 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/9108/statm): 1001 711 413 48 0 953 0 [pid=9108] vsize: 4004 Current children cumulated CPU time (s) 883.93 Current children cumulated vsize (Kb) 6132 [startup+1140.09 s] Raw data (loadavg): 1.05 1.04 1.00 2/58 9108 Raw data (/proc/9105/stat): 9105 (vallstSAT2005PB) S 9104 9105 17733 0 -1 0 330 232 0 0 1 1 0 1 16 0 1 0 1732522777 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/9105/statm): 532 242 485 147 0 385 0 [pid=9105] vsize: 2128 Raw data (/proc/9108/stat): 9108 (vallst) R 9105 9105 17733 0 -1 0 741 0 0 0 77308 11976 0 0 17 0 1 0 1732522787 4100096 711 4294967295 134512640 134702520 3221223952 3221223072 134578622 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/9108/statm): 1001 711 413 48 0 953 0 [pid=9108] vsize: 4004 Current children cumulated CPU time (s) 892.87 Current children cumulated vsize (Kb) 6132 [startup+1150.09 s] Raw data (loadavg): 1.04 1.04 1.00 1/58 9108 Raw data (/proc/9105/stat): 9105 (vallstSAT2005PB) S 9104 9105 17733 0 -1 0 330 232 0 0 1 1 0 1 16 0 1 0 1732522777 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/9105/statm): 532 242 485 147 0 385 0 [pid=9105] vsize: 2128 Raw data (/proc/9108/stat): 9108 (vallst) T 9105 9105 17733 0 -1 0 741 0 0 0 78159 12026 0 0 17 0 1 0 1732522787 4100096 711 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/9108/statm): 1001 711 413 48 0 953 0 [pid=9108] vsize: 4004 Current children cumulated CPU time (s) 901.88 Current children cumulated vsize (Kb) 6132 [startup+1160.09 s] Raw data (loadavg): 1.04 1.04 1.00 2/58 9108 Raw data (/proc/9105/stat): 9105 (vallstSAT2005PB) S 9104 9105 17733 0 -1 0 330 232 0 0 1 1 0 1 16 0 1 0 1732522777 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/9105/statm): 532 242 485 147 0 385 0 [pid=9105] vsize: 2128 Raw data (/proc/9108/stat): 9108 (vallst) R 9105 9105 17733 0 -1 0 741 0 0 0 79010 12079 0 0 17 0 1 0 1732522787 4100096 711 4294967295 134512640 134702520 3221223952 3221223024 134608684 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/9108/statm): 1001 711 413 48 0 953 0 [pid=9108] vsize: 4004 Current children cumulated CPU time (s) 910.92 Current children cumulated vsize (Kb) 6132 [startup+1170.09 s] Raw data (loadavg): 1.03 1.04 1.00 1/58 9108 Raw data (/proc/9105/stat): 9105 (vallstSAT2005PB) S 9104 9105 17733 0 -1 0 330 232 0 0 1 1 0 1 16 0 1 0 1732522777 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/9105/statm): 532 242 485 147 0 385 0 [pid=9105] vsize: 2128 Raw data (/proc/9108/stat): 9108 (vallst) T 9105 9105 17733 0 -1 0 741 0 0 0 79861 12128 0 0 17 0 1 0 1732522787 4100096 711 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/9108/statm): 1001 711 413 48 0 953 0 [pid=9108] vsize: 4004 Current children cumulated CPU time (s) 919.92 Current children cumulated vsize (Kb) 6132 [startup+1180.1 s] Raw data (loadavg): 1.03 1.03 1.00 2/58 9108 Raw data (/proc/9105/stat): 9105 (vallstSAT2005PB) S 9104 9105 17733 0 -1 0 330 232 0 0 1 1 0 1 16 0 1 0 1732522777 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/9105/statm): 532 242 485 147 0 385 0 [pid=9105] vsize: 2128 Raw data (/proc/9108/stat): 9108 (vallst) R 9105 9105 17733 0 -1 0 741 0 0 0 80408 12270 0 0 17 0 1 0 1732522787 4100096 711 4294967295 134512640 134702520 3221223952 3221223232 134552871 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/9108/statm): 1001 711 413 48 0 953 0 [pid=9108] vsize: 4004 Current children cumulated CPU time (s) 926.81 Current children cumulated vsize (Kb) 6132 [startup+1190.1 s] Raw data (loadavg): 1.02 1.03 1.00 2/58 9108 Raw data (/proc/9105/stat): 9105 (vallstSAT2005PB) S 9104 9105 17733 0 -1 0 330 232 0 0 1 1 0 1 16 0 1 0 1732522777 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/9105/statm): 532 242 485 147 0 385 0 [pid=9105] vsize: 2128 Raw data (/proc/9108/stat): 9108 (vallst) R 9105 9105 17733 0 -1 0 741 0 0 0 81258 12320 0 0 16 0 1 0 1732522787 4100096 711 4294967295 134512640 134702520 3221223952 3221223072 134578600 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/9108/statm): 1001 711 413 48 0 953 0 [pid=9108] vsize: 4004 Current children cumulated CPU time (s) 935.81 Current children cumulated vsize (Kb) 6132 [startup+1200.1 s] Raw data (loadavg): 1.09 1.05 1.00 1/58 9108 Raw data (/proc/9105/stat): 9105 (vallstSAT2005PB) S 9104 9105 17733 0 -1 0 330 232 0 0 1 1 0 1 16 0 1 0 1732522777 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/9105/statm): 532 242 485 147 0 385 0 [pid=9105] vsize: 2128 Raw data (/proc/9108/stat): 9108 (vallst) T 9105 9105 17733 0 -1 0 741 0 0 0 82148 12361 0 0 16 0 1 0 1732522787 4100096 711 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/9108/statm): 1001 711 413 48 0 953 0 [pid=9108] vsize: 4004 Current children cumulated CPU time (s) 945.12 Current children cumulated vsize (Kb) 6132 [startup+1210.1 s] Raw data (loadavg): 1.08 1.04 1.00 2/58 9108 Raw data (/proc/9105/stat): 9105 (vallstSAT2005PB) S 9104 9105 17733 0 -1 0 330 232 0 0 1 1 0 1 16 0 1 0 1732522777 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/9105/statm): 532 242 485 147 0 385 0 [pid=9105] vsize: 2128 Raw data (/proc/9108/stat): 9108 (vallst) R 9105 9105 17733 0 -1 0 741 0 0 0 82975 12419 0 0 16 0 1 0 1732522787 4100096 711 4294967295 134512640 134702520 3221223952 3221223152 134617472 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/9108/statm): 1001 711 413 48 0 953 0 [pid=9108] vsize: 4004 Current children cumulated CPU time (s) 953.97 Current children cumulated vsize (Kb) 6132 [startup+1220.1 s] Raw data (loadavg): 1.06 1.04 1.00 2/58 9108 Raw data (/proc/9105/stat): 9105 (vallstSAT2005PB) S 9104 9105 17733 0 -1 0 330 232 0 0 1 1 0 1 16 0 1 0 1732522777 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/9105/statm): 532 242 485 147 0 385 0 [pid=9105] vsize: 2128 Raw data (/proc/9108/stat): 9108 (vallst) R 9105 9105 17733 0 -1 0 741 0 0 0 83809 12472 0 0 17 0 1 0 1732522787 4100096 711 4294967295 134512640 134702520 3221223952 3221223232 134553444 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/9108/statm): 1001 711 413 48 0 953 0 [pid=9108] vsize: 4004 Current children cumulated CPU time (s) 962.84 Current children cumulated vsize (Kb) 6132 [startup+1230.1 s] Raw data (loadavg): 1.05 1.04 1.00 1/58 9108 Raw data (/proc/9105/stat): 9105 (vallstSAT2005PB) S 9104 9105 17733 0 -1 0 330 232 0 0 1 1 0 1 16 0 1 0 1732522777 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/9105/statm): 532 242 485 147 0 385 0 [pid=9105] vsize: 2128 Raw data (/proc/9108/stat): 9108 (vallst) T 9105 9105 17733 0 -1 0 741 0 0 0 84657 12520 0 0 17 0 1 0 1732522787 4100096 711 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/9108/statm): 1001 711 413 48 0 953 0 [pid=9108] vsize: 4004 Current children cumulated CPU time (s) 971.8 Current children cumulated vsize (Kb) 6132 [startup+1240.1 s] Raw data (loadavg): 1.05 1.04 1.00 1/58 9108 Raw data (/proc/9105/stat): 9105 (vallstSAT2005PB) S 9104 9105 17733 0 -1 0 330 232 0 0 1 1 0 1 16 0 1 0 1732522777 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/9105/statm): 532 242 485 147 0 385 0 [pid=9105] vsize: 2128 Raw data (/proc/9108/stat): 9108 (vallst) T 9105 9105 17733 0 -1 0 741 0 0 0 85268 12642 0 0 16 0 1 0 1732522787 4100096 711 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/9108/statm): 1001 711 413 48 0 953 0 [pid=9108] vsize: 4004 Current children cumulated CPU time (s) 979.13 Current children cumulated vsize (Kb) 6132 [startup+1250.1 s] Raw data (loadavg): 1.04 1.04 1.00 1/58 9108 Raw data (/proc/9105/stat): 9105 (vallstSAT2005PB) S 9104 9105 17733 0 -1 0 330 232 0 0 1 1 0 1 16 0 1 0 1732522777 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/9105/statm): 532 242 485 147 0 385 0 [pid=9105] vsize: 2128 Raw data (/proc/9108/stat): 9108 (vallst) T 9105 9105 17733 0 -1 0 741 0 0 0 86054 12715 0 0 16 0 1 0 1732522787 4100096 711 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/9108/statm): 1001 711 413 48 0 953 0 [pid=9108] vsize: 4004 Current children cumulated CPU time (s) 987.72 Current children cumulated vsize (Kb) 6132 [startup+1260.1 s] Raw data (loadavg): 1.03 1.03 1.00 1/58 9108 Raw data (/proc/9105/stat): 9105 (vallstSAT2005PB) S 9104 9105 17733 0 -1 0 330 232 0 0 1 1 0 1 16 0 1 0 1732522777 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/9105/statm): 532 242 485 147 0 385 0 [pid=9105] vsize: 2128 Raw data (/proc/9108/stat): 9108 (vallst) T 9105 9105 17733 0 -1 0 741 0 0 0 86897 12766 0 0 16 0 1 0 1732522787 4100096 711 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/9108/statm): 1001 711 413 48 0 953 0 [pid=9108] vsize: 4004 Current children cumulated CPU time (s) 996.66 Current children cumulated vsize (Kb) 6132 [startup+1270.1 s] Raw data (loadavg): 1.03 1.03 1.00 2/58 9108 Raw data (/proc/9105/stat): 9105 (vallstSAT2005PB) S 9104 9105 17733 0 -1 0 330 232 0 0 1 1 0 1 16 0 1 0 1732522777 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/9105/statm): 532 242 485 147 0 385 0 [pid=9105] vsize: 2128 Raw data (/proc/9108/stat): 9108 (vallst) R 9105 9105 17733 0 -1 0 741 0 0 0 87735 12821 0 0 17 0 1 0 1732522787 4100096 711 4294967295 134512640 134702520 3221223952 3221223072 134578622 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/9108/statm): 1001 711 413 48 0 953 0 [pid=9108] vsize: 4004 Current children cumulated CPU time (s) 1005.59 Current children cumulated vsize (Kb) 6132 [startup+1280.1 s] Raw data (loadavg): 1.02 1.03 1.00 2/58 9108 Raw data (/proc/9105/stat): 9105 (vallstSAT2005PB) S 9104 9105 17733 0 -1 0 330 232 0 0 1 1 0 1 16 0 1 0 1732522777 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/9105/statm): 532 242 485 147 0 385 0 [pid=9105] vsize: 2128 Raw data (/proc/9108/stat): 9108 (vallst) R 9105 9105 17733 0 -1 0 741 0 0 0 88577 12876 0 0 17 0 1 0 1732522787 4100096 711 4294967295 134512640 134702520 3221223952 3221223072 134578622 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/9108/statm): 1001 711 413 48 0 953 0 [pid=9108] vsize: 4004 Current children cumulated CPU time (s) 1014.56 Current children cumulated vsize (Kb) 6132 [startup+1290.1 s] Raw data (loadavg): 1.02 1.03 1.00 1/58 9108 Raw data (/proc/9105/stat): 9105 (vallstSAT2005PB) S 9104 9105 17733 0 -1 0 330 232 0 0 1 1 0 1 16 0 1 0 1732522777 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/9105/statm): 532 242 485 147 0 385 0 [pid=9105] vsize: 2128 Raw data (/proc/9108/stat): 9108 (vallst) T 9105 9105 17733 0 -1 0 741 0 0 0 89426 12924 0 0 17 0 1 0 1732522787 4100096 711 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/9108/statm): 1001 711 413 48 0 953 0 [pid=9108] vsize: 4004 Current children cumulated CPU time (s) 1023.53 Current children cumulated vsize (Kb) 6132 [startup+1300.1 s] Raw data (loadavg): 1.02 1.03 1.00 2/58 9108 Raw data (/proc/9105/stat): 9105 (vallstSAT2005PB) S 9104 9105 17733 0 -1 0 330 232 0 0 1 1 0 1 16 0 1 0 1732522777 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/9105/statm): 532 242 485 147 0 385 0 [pid=9105] vsize: 2128 Raw data (/proc/9108/stat): 9108 (vallst) R 9105 9105 17733 0 -1 0 741 0 0 0 89993 13064 0 0 16 0 1 0 1732522787 4100096 711 4294967295 134512640 134702520 3221223952 3221222592 134554260 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/9108/statm): 1001 711 413 48 0 953 0 [pid=9108] vsize: 4004 Current children cumulated CPU time (s) 1030.6 Current children cumulated vsize (Kb) 6132 [startup+1310.1 s] Raw data (loadavg): 1.09 1.04 1.01 1/58 9108 Raw data (/proc/9105/stat): 9105 (vallstSAT2005PB) S 9104 9105 17733 0 -1 0 330 232 0 0 1 1 0 1 16 0 1 0 1732522777 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/9105/statm): 532 242 485 147 0 385 0 [pid=9105] vsize: 2128 Raw data (/proc/9108/stat): 9108 (vallst) T 9105 9105 17733 0 -1 0 741 0 0 0 90829 13118 0 0 17 0 1 0 1732522787 4100096 711 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/9108/statm): 1001 711 413 48 0 953 0 [pid=9108] vsize: 4004 Current children cumulated CPU time (s) 1039.5 Current children cumulated vsize (Kb) 6132 [startup+1320.1 s] Raw data (loadavg): 1.08 1.04 1.00 1/58 9108 Raw data (/proc/9105/stat): 9105 (vallstSAT2005PB) S 9104 9105 17733 0 -1 0 330 232 0 0 1 1 0 1 16 0 1 0 1732522777 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/9105/statm): 532 242 485 147 0 385 0 [pid=9105] vsize: 2128 Raw data (/proc/9108/stat): 9108 (vallst) T 9105 9105 17733 0 -1 0 741 0 0 0 91683 13168 0 0 16 0 1 0 1732522787 4100096 711 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/9108/statm): 1001 711 413 48 0 953 0 [pid=9108] vsize: 4004 Current children cumulated CPU time (s) 1048.54 Current children cumulated vsize (Kb) 6132 [startup+1330.11 s] Raw data (loadavg): 1.07 1.04 1.00 1/58 9108 Raw data (/proc/9105/stat): 9105 (vallstSAT2005PB) S 9104 9105 17733 0 -1 0 330 232 0 0 1 1 0 1 16 0 1 0 1732522777 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/9105/statm): 532 242 485 147 0 385 0 [pid=9105] vsize: 2128 Raw data (/proc/9108/stat): 9108 (vallst) T 9105 9105 17733 0 -1 0 741 0 0 0 92516 13224 0 0 17 0 1 0 1732522787 4100096 711 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/9108/statm): 1001 711 413 48 0 953 0 [pid=9108] vsize: 4004 Current children cumulated CPU time (s) 1057.43 Current children cumulated vsize (Kb) 6132 [startup+1340.11 s] Raw data (loadavg): 1.06 1.04 1.00 2/58 9108 Raw data (/proc/9105/stat): 9105 (vallstSAT2005PB) S 9104 9105 17733 0 -1 0 330 232 0 0 1 1 0 1 16 0 1 0 1732522777 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/9105/statm): 532 242 485 147 0 385 0 [pid=9105] vsize: 2128 Raw data (/proc/9108/stat): 9108 (vallst) R 9105 9105 17733 0 -1 0 741 0 0 0 93357 13277 0 0 17 0 1 0 1732522787 4100096 711 4294967295 134512640 134702520 3221223952 3221223072 134578600 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/9108/statm): 1001 711 413 48 0 953 0 [pid=9108] vsize: 4004 Current children cumulated CPU time (s) 1066.37 Current children cumulated vsize (Kb) 6132 [startup+1350.11 s] Raw data (loadavg): 1.05 1.04 1.00 2/58 9108 Raw data (/proc/9105/stat): 9105 (vallstSAT2005PB) S 9104 9105 17733 0 -1 0 330 232 0 0 1 1 0 1 16 0 1 0 1732522777 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/9105/statm): 532 242 485 147 0 385 0 [pid=9105] vsize: 2128 Raw data (/proc/9108/stat): 9108 (vallst) R 9105 9105 17733 0 -1 0 741 0 0 0 94199 13332 0 0 17 0 1 0 1732522787 4100096 711 4294967295 134512640 134702520 3221223952 3221223072 134578622 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/9108/statm): 1001 711 413 48 0 953 0 [pid=9108] vsize: 4004 Current children cumulated CPU time (s) 1075.34 Current children cumulated vsize (Kb) 6132 [startup+1360.11 s] Raw data (loadavg): 1.04 1.03 1.00 2/58 9108 Raw data (/proc/9105/stat): 9105 (vallstSAT2005PB) S 9104 9105 17733 0 -1 0 330 232 0 0 1 1 0 1 16 0 1 0 1732522777 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/9105/statm): 532 242 485 147 0 385 0 [pid=9105] vsize: 2128 Raw data (/proc/9108/stat): 9108 (vallst) R 9105 9105 17733 0 -1 0 741 0 0 0 94748 13481 0 0 16 0 1 0 1732522787 4100096 711 4294967295 134512640 134702520 3221223952 3221223072 134578849 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/9108/statm): 1001 711 413 48 0 953 0 [pid=9108] vsize: 4004 Current children cumulated CPU time (s) 1082.32 Current children cumulated vsize (Kb) 6132 [startup+1370.11 s] Raw data (loadavg): 1.11 1.05 1.00 2/58 9108 Raw data (/proc/9105/stat): 9105 (vallstSAT2005PB) S 9104 9105 17733 0 -1 0 330 232 0 0 1 1 0 1 16 0 1 0 1732522777 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/9105/statm): 532 242 485 147 0 385 0 [pid=9105] vsize: 2128 Raw data (/proc/9108/stat): 9108 (vallst) R 9105 9105 17733 0 -1 0 741 0 0 0 95587 13535 0 0 17 0 1 0 1732522787 4100096 711 4294967295 134512640 134702520 3221223952 3221223232 134552340 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/9108/statm): 1001 711 413 48 0 953 0 [pid=9108] vsize: 4004 Current children cumulated CPU time (s) 1091.25 Current children cumulated vsize (Kb) 6132 [startup+1380.11 s] Raw data (loadavg): 1.09 1.05 1.00 1/58 9108 Raw data (/proc/9105/stat): 9105 (vallstSAT2005PB) S 9104 9105 17733 0 -1 0 330 232 0 0 1 1 0 1 16 0 1 0 1732522777 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/9105/statm): 532 242 485 147 0 385 0 [pid=9105] vsize: 2128 Raw data (/proc/9108/stat): 9108 (vallst) T 9105 9105 17733 0 -1 0 741 0 0 0 96430 13589 0 0 16 0 1 0 1732522787 4100096 711 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/9108/statm): 1001 711 413 48 0 953 0 [pid=9108] vsize: 4004 Current children cumulated CPU time (s) 1100.22 Current children cumulated vsize (Kb) 6132 [startup+1390.11 s] Raw data (loadavg): 1.08 1.04 1.00 2/58 9108 Raw data (/proc/9105/stat): 9105 (vallstSAT2005PB) S 9104 9105 17733 0 -1 0 330 232 0 0 1 1 0 1 16 0 1 0 1732522777 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/9105/statm): 532 242 485 147 0 385 0 [pid=9105] vsize: 2128 Raw data (/proc/9108/stat): 9108 (vallst) R 9105 9105 17733 0 -1 0 741 0 0 0 97216 13660 0 0 16 0 1 0 1732522787 4100096 711 4294967295 134512640 134702520 3221223952 3221223072 134578622 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/9108/statm): 1001 711 413 48 0 953 0 [pid=9108] vsize: 4004 Current children cumulated CPU time (s) 1108.79 Current children cumulated vsize (Kb) 6132 [startup+1400.11 s] Raw data (loadavg): 1.06 1.04 1.00 2/58 9108 Raw data (/proc/9105/stat): 9105 (vallstSAT2005PB) S 9104 9105 17733 0 -1 0 330 232 0 0 1 1 0 1 16 0 1 0 1732522777 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/9105/statm): 532 242 485 147 0 385 0 [pid=9105] vsize: 2128 Raw data (/proc/9108/stat): 9108 (vallst) R 9105 9105 17733 0 -1 0 741 0 0 0 98052 13713 0 0 17 0 1 0 1732522787 4100096 711 4294967295 134512640 134702520 3221223952 3221223072 134578768 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/9108/statm): 1001 711 413 48 0 953 0 [pid=9108] vsize: 4004 Current children cumulated CPU time (s) 1117.68 Current children cumulated vsize (Kb) 6132 [startup+1410.11 s] Raw data (loadavg): 1.05 1.04 1.00 2/58 9108 Raw data (/proc/9105/stat): 9105 (vallstSAT2005PB) S 9104 9105 17733 0 -1 0 330 232 0 0 1 1 0 1 16 0 1 0 1732522777 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/9105/statm): 532 242 485 147 0 385 0 [pid=9105] vsize: 2128 Raw data (/proc/9108/stat): 9108 (vallst) R 9105 9105 17733 0 -1 0 741 0 0 0 98601 13855 0 0 17 0 1 0 1732522787 4100096 711 4294967295 134512640 134702520 3221223952 3221223072 134578622 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/9108/statm): 1001 711 413 48 0 953 0 [pid=9108] vsize: 4004 Current children cumulated CPU time (s) 1124.59 Current children cumulated vsize (Kb) 6132 [startup+1420.11 s] Raw data (loadavg): 1.04 1.04 1.00 2/58 9108 Raw data (/proc/9105/stat): 9105 (vallstSAT2005PB) S 9104 9105 17733 0 -1 0 330 232 0 0 1 1 0 1 16 0 1 0 1732522777 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/9105/statm): 532 242 485 147 0 385 0 [pid=9105] vsize: 2128 Raw data (/proc/9108/stat): 9108 (vallst) R 9105 9105 17733 0 -1 0 741 0 0 0 99447 13904 0 0 17 0 1 0 1732522787 4100096 711 4294967295 134512640 134702520 3221223952 3221223072 134578750 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/9108/statm): 1001 711 413 48 0 953 0 [pid=9108] vsize: 4004 Current children cumulated CPU time (s) 1133.54 Current children cumulated vsize (Kb) 6132 [startup+1430.11 s] Raw data (loadavg): 1.12 1.05 1.01 2/58 9108 Raw data (/proc/9105/stat): 9105 (vallstSAT2005PB) S 9104 9105 17733 0 -1 0 330 232 0 0 1 1 0 1 16 0 1 0 1732522777 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/9105/statm): 532 242 485 147 0 385 0 [pid=9105] vsize: 2128 Raw data (/proc/9108/stat): 9108 (vallst) R 9105 9105 17733 0 -1 0 741 0 0 0 100228 13976 0 0 17 0 1 0 1732522787 4100096 711 4294967295 134512640 134702520 3221223952 3221223232 134552347 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/9108/statm): 1001 711 413 48 0 953 0 [pid=9108] vsize: 4004 Current children cumulated CPU time (s) 1142.07 Current children cumulated vsize (Kb) 6132 [startup+1440.11 s] Raw data (loadavg): 1.10 1.05 1.00 2/58 9108 Raw data (/proc/9105/stat): 9105 (vallstSAT2005PB) S 9104 9105 17733 0 -1 0 330 232 0 0 1 1 0 1 16 0 1 0 1732522777 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/9105/statm): 532 242 485 147 0 385 0 [pid=9105] vsize: 2128 Raw data (/proc/9108/stat): 9108 (vallst) R 9105 9105 17733 0 -1 0 741 0 0 0 101063 14029 0 0 17 0 1 0 1732522787 4100096 711 4294967295 134512640 134702520 3221223952 3221223232 134557196 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/9108/statm): 1001 711 413 48 0 953 0 [pid=9108] vsize: 4004 Current children cumulated CPU time (s) 1150.95 Current children cumulated vsize (Kb) 6132 [startup+1450.11 s] Raw data (loadavg): 1.08 1.05 1.00 1/58 9108 Raw data (/proc/9105/stat): 9105 (vallstSAT2005PB) S 9104 9105 17733 0 -1 0 330 232 0 0 1 1 0 1 16 0 1 0 1732522777 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/9105/statm): 532 242 485 147 0 385 0 [pid=9105] vsize: 2128 Raw data (/proc/9108/stat): 9108 (vallst) T 9105 9105 17733 0 -1 0 741 0 0 0 101733 14138 0 0 16 0 1 0 1732522787 4100096 711 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/9108/statm): 1001 711 413 48 0 953 0 [pid=9108] vsize: 4004 Current children cumulated CPU time (s) 1158.74 Current children cumulated vsize (Kb) 6132 [startup+1460.11 s] Raw data (loadavg): 1.07 1.05 1.00 2/58 9108 Raw data (/proc/9105/stat): 9105 (vallstSAT2005PB) S 9104 9105 17733 0 -1 0 330 232 0 0 1 1 0 1 16 0 1 0 1732522777 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/9105/statm): 532 242 485 147 0 385 0 [pid=9105] vsize: 2128 Raw data (/proc/9108/stat): 9108 (vallst) R 9105 9105 17733 0 -1 0 741 0 0 0 102395 14250 0 0 16 0 1 0 1732522787 4100096 711 4294967295 134512640 134702520 3221223952 3221223072 134578611 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/9108/statm): 1001 711 413 48 0 953 0 [pid=9108] vsize: 4004 Current children cumulated CPU time (s) 1166.48 Current children cumulated vsize (Kb) 6132 [startup+1470.12 s] Raw data (loadavg): 1.06 1.05 1.00 2/58 9108 Raw data (/proc/9105/stat): 9105 (vallstSAT2005PB) S 9104 9105 17733 0 -1 0 330 232 0 0 1 1 0 1 16 0 1 0 1732522777 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/9105/statm): 532 242 485 147 0 385 0 [pid=9105] vsize: 2128 Raw data (/proc/9108/stat): 9108 (vallst) R 9105 9105 17733 0 -1 0 741 0 0 0 103232 14304 0 0 17 0 1 0 1732522787 4100096 711 4294967295 134512640 134702520 3221223952 3221223072 134578750 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/9108/statm): 1001 711 413 48 0 953 0 [pid=9108] vsize: 4004 Current children cumulated CPU time (s) 1175.39 Current children cumulated vsize (Kb) 6132 [startup+1480.12 s] Raw data (loadavg): 1.05 1.04 1.00 2/58 9108 Raw data (/proc/9105/stat): 9105 (vallstSAT2005PB) S 9104 9105 17733 0 -1 0 330 232 0 0 1 1 0 1 16 0 1 0 1732522777 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/9105/statm): 532 242 485 147 0 385 0 [pid=9105] vsize: 2128 Raw data (/proc/9108/stat): 9108 (vallst) T 9105 9105 17733 0 -1 0 741 0 0 0 104012 14375 0 0 16 0 1 0 1732522787 4100096 711 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/9108/statm): 1001 711 413 48 0 953 0 [pid=9108] vsize: 4004 Current children cumulated CPU time (s) 1183.9 Current children cumulated vsize (Kb) 6132 [startup+1490.12 s] Raw data (loadavg): 1.04 1.04 1.00 1/58 9108 Raw data (/proc/9105/stat): 9105 (vallstSAT2005PB) S 9104 9105 17733 0 -1 0 330 232 0 0 1 1 0 1 16 0 1 0 1732522777 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/9105/statm): 532 242 485 147 0 385 0 [pid=9105] vsize: 2128 Raw data (/proc/9108/stat): 9108 (vallst) T 9105 9105 17733 0 -1 0 741 0 0 0 104851 14431 0 0 16 0 1 0 1732522787 4100096 711 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/9108/statm): 1001 711 413 48 0 953 0 [pid=9108] vsize: 4004 Current children cumulated CPU time (s) 1192.85 Current children cumulated vsize (Kb) 6132 [startup+1500.12 s] Raw data (loadavg): 1.11 1.06 1.01 2/58 9108 Raw data (/proc/9105/stat): 9105 (vallstSAT2005PB) S 9104 9105 17733 0 -1 0 330 232 0 0 1 1 0 1 16 0 1 0 1732522777 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/9105/statm): 532 242 485 147 0 385 0 [pid=9105] vsize: 2128 Raw data (/proc/9108/stat): 9108 (vallst) R 9105 9105 17733 0 -1 0 741 0 0 0 105398 14582 0 0 17 0 1 0 1732522787 4100096 711 4294967295 134512640 134702520 3221223952 3221223208 134548989 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/9108/statm): 1001 711 413 48 0 953 0 [pid=9108] vsize: 4004 Current children cumulated CPU time (s) 1199.83 Current children cumulated vsize (Kb) 6132 [startup+1510.12 s] Raw data (loadavg): 1.10 1.05 1.00 1/58 9108 Raw data (/proc/9105/stat): 9105 (vallstSAT2005PB) S 9104 9105 17733 0 -1 0 330 232 0 0 1 1 0 1 16 0 1 0 1732522777 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/9105/statm): 532 242 485 147 0 385 0 [pid=9105] vsize: 2128 Raw data (/proc/9108/stat): 9108 (vallst) T 9105 9105 17733 0 -1 0 741 0 0 0 106230 14637 0 0 17 0 1 0 1732522787 4100096 711 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/9108/statm): 1001 711 413 48 0 953 0 [pid=9108] vsize: 4004 Current children cumulated CPU time (s) 1208.7 Current children cumulated vsize (Kb) 6132 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1510.12 s] Raw data (loadavg): 1.10 1.05 1.00 1/58 9108 Raw data (/proc/9105/stat): 9105 (vallstSAT2005PB) S 9104 9105 17733 0 -1 0 330 232 0 0 1 1 0 1 16 0 1 0 1732522777 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/9105/statm): 532 242 485 147 0 385 0 [pid=9105] vsize: 2128 Raw data (/proc/9108/stat): 9108 (vallst) T 9105 9105 17733 0 -1 0 741 0 0 0 106230 14637 0 0 17 0 1 0 1732522787 4100096 711 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/9108/statm): 1001 711 413 48 0 953 0 [pid=9108] vsize: 4004 Current children cumulated CPU time (s) 1208.7 Current children cumulated vsize (Kb) 6132 Sending SIGTERM to -9105 Sleeping 2 seconds open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf New process pid=9110 New process pid=9111 execve syscall for /bin/ps executable open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options open syscall for file /etc/ld.so.preload open syscall for file tls/i686/mmx/libproc.so.2.0.13 open syscall for file tls/i686/libproc.so.2.0.13 open syscall for file tls/mmx/libproc.so.2.0.13 open syscall for file tls/libproc.so.2.0.13 open syscall for file i686/mmx/libproc.so.2.0.13 open syscall for file i686/libproc.so.2.0.13 open syscall for file mmx/libproc.so.2.0.13 open syscall for file libproc.so.2.0.13 open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libproc.so.2.0.13 open syscall for file /oldhome/oroussel/lib/tls/i686/libproc.so.2.0.13 open syscall for file /oldhome/oroussel/lib/tls/mmx/libproc.so.2.0.13 open syscall for file /oldhome/oroussel/lib/tls/libproc.so.2.0.13 open syscall for file /oldhome/oroussel/lib/i686/mmx/libproc.so.2.0.13 open syscall for file /oldhome/oroussel/lib/i686/libproc.so.2.0.13 open syscall for file /oldhome/oroussel/lib/mmx/libproc.so.2.0.13 One traced child (pid=9108) exited with status: 3 open syscall for file /oldhome/oroussel/lib/libproc.so.2.0.13 open syscall for file /etc/ld.so.cache open syscall for file /lib/libproc.so.2.0.13 open syscall for file tls/i686/mmx/libc.so.6 open syscall for file tls/i686/libc.so.6 open syscall for file tls/mmx/libc.so.6 open syscall for file tls/libc.so.6 open syscall for file i686/mmx/libc.so.6 open syscall for file i686/libc.so.6 open syscall for file mmx/libc.so.6 open syscall for file libc.so.6 open syscall for file /oldhome/oroussel/lib/libc.so.6 open syscall for file /lib/tls/libc.so.6 open syscall for file /proc/self/stat open syscall for file /proc/self/statm open syscall for file /proc/self/status open syscall for file /proc/uptime open syscall for file /proc/meminfo open syscall for file /proc open syscall for file /proc/1/stat open syscall for file /proc/1/status socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7 socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110) socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7 socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110) open syscall for file /proc/1/cmdline open syscall for file /proc/1/environ open syscall for file /proc/2/stat open syscall for file /proc/2/status open syscall for file /proc/2/cmdline open syscall for file /proc/2/environ open syscall for file /proc/3/stat open syscall for file /proc/3/status open syscall for file /proc/3/cmdline open syscall for file /proc/3/environ open syscall for file /proc/4/stat open syscall for file /proc/4/status open syscall for file /proc/4/cmdline open syscall for file /proc/4/environ open syscall for file /proc/5/stat open syscall for file /proc/5/status open syscall for file /proc/5/cmdline open syscall for file /proc/5/environ open syscall for file /proc/6/stat open syscall for file /proc/6/status open syscall for file /proc/6/cmdline open syscall for file /proc/6/environ open syscall for file /proc/7/stat open syscall for file /proc/7/status open syscall for file /proc/7/cmdline open syscall for file /proc/7/environ open syscall for file /proc/8/stat open syscall for file /proc/8/status open syscall for file /proc/8/cmdline open syscall for file /proc/8/environ open syscall for file /proc/9/stat open syscall for file /proc/9/status open syscall for file /proc/9/cmdline open syscall for file /proc/9/environ open syscall for file /proc/10/stat open syscall for file /proc/10/status open syscall for file /proc/10/cmdline open syscall for file /proc/10/environ open syscall for file /proc/11/stat open syscall for file /proc/11/status open syscall for file /proc/11/cmdline open syscall for file /proc/11/environ open syscall for file /proc/34/stat open syscall for file /proc/34/status open syscall for file /proc/34/cmdline open syscall for file /proc/34/environ open syscall for file /proc/36/stat open syscall for file /proc/36/status open syscall for file /proc/36/cmdline open syscall for file /proc/36/environ open syscall for file /proc/37/stat open syscall for file /proc/37/status open syscall for file /proc/37/cmdline open syscall for file /proc/37/environ open syscall for file /proc/38/stat open syscall for file /proc/38/status open syscall for file /proc/38/cmdline open syscall for file /proc/38/environ open syscall for file /proc/39/stat open syscall for file /proc/39/status open syscall for file /proc/39/cmdline open syscall for file /proc/39/environ open syscall for file /proc/153/stat open syscall for file /proc/153/status open syscall for file /proc/153/cmdline open syscall for file /proc/153/environ open syscall for file /proc/156/stat open syscall for file /proc/156/status open syscall for file /proc/156/cmdline open syscall for file /proc/156/environ open syscall for file /proc/159/stat open syscall for file /proc/159/status open syscall for file /proc/159/cmdline open syscall for file /proc/159/environ open syscall for file /proc/820/stat open syscall for file /proc/820/status open syscall for file /proc/820/cmdline open syscall for file /proc/820/environ open syscall for file /proc/821/stat open syscall for file /proc/821/status open syscall for file /proc/821/cmdline open syscall for file /proc/821/environ open syscall for file /proc/1244/stat open syscall for file /proc/1244/status open syscall for file /proc/1244/cmdline open syscall for file /proc/1244/environ open syscall for file /proc/1248/stat open syscall for file /proc/1248/status open syscall for file /proc/1248/cmdline open syscall for file /proc/1248/environ open syscall for file /proc/1270/stat open syscall for file /proc/1270/status socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7 socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110) socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7 socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110) open syscall for file /proc/1270/cmdline open syscall for file /proc/1270/environ open syscall for file /proc/1300/stat open syscall for file /proc/1300/status socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7 socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110) socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7 socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110) open syscall for file /proc/1300/cmdline open syscall for file /proc/1300/environ open syscall for file /proc/1344/stat open syscall for file /proc/1344/status open syscall for file /proc/1344/cmdline open syscall for file /proc/1344/environ open syscall for file /proc/1502/stat open syscall for file /proc/1502/status open syscall for file /proc/1502/cmdline open syscall for file /proc/1502/environ open syscall for file /proc/1526/stat open syscall for file /proc/1526/status open syscall for file /proc/1526/cmdline open syscall for file /proc/1526/environ open syscall for file /proc/1549/stat open syscall for file /proc/1549/status socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7 socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110) socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7 socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110) open syscall for file /proc/1549/cmdline open syscall for file /proc/1549/environ open syscall for file /proc/1580/stat open syscall for file /proc/1580/status open syscall for file /proc/1580/cmdline open syscall for file /proc/1580/environ open syscall for file /proc/1643/stat open syscall for file /proc/1643/status open syscall for file /proc/1643/cmdline open syscall for file /proc/1643/environ open syscall for file /proc/1644/stat open syscall for file /proc/1644/status open syscall for file /proc/1644/cmdline open syscall for file /proc/1644/environ open syscall for file /proc/1645/stat open syscall for file /proc/1645/status open syscall for file /proc/1645/cmdline open syscall for file /proc/1645/environ open syscall for file /proc/1646/stat open syscall for file /proc/1646/status open syscall for file /proc/1646/cmdline open syscall for file /proc/1646/environ open syscall for file /proc/1647/stat open syscall for file /proc/1647/status open syscall for file /proc/1647/cmdline open syscall for file /proc/1647/environ open syscall for file /proc/1648/stat open syscall for file /proc/1648/status open syscall for file /proc/1648/cmdline open syscall for file /proc/1648/environ open syscall for file /proc/1649/stat open syscall for file /proc/1649/status open syscall for file /proc/1649/cmdline open syscall for file /proc/1649/environ open syscall for file /proc/2198/stat open syscall for file /proc/2198/status open syscall for file /proc/2198/cmdline open syscall for file /proc/2198/environ open syscall for file /proc/773/stat open syscall for file /proc/773/status open syscall for file /proc/773/cmdline open syscall for file /proc/773/environ open syscall for file /proc/799/stat open syscall for file /proc/799/status open syscall for file /proc/799/cmdline open syscall for file /proc/799/environ open syscall for file /proc/826/stat open syscall for file /proc/826/status open syscall for file /proc/826/cmdline open syscall for file /proc/826/environ open syscall for file /proc/8660/stat open syscall for file /proc/8660/status open syscall for file /proc/8660/cmdline open syscall for file /proc/8660/environ open syscall for file /proc/2459/stat open syscall for file /proc/2459/status socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7 socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110) socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7 socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110) open syscall for file /proc/2459/cmdline open syscall for file /proc/2459/environ open syscall for file /proc/2494/stat open syscall for file /proc/2494/status open syscall for file /proc/2494/cmdline open syscall for file /proc/2494/environ open syscall for file /proc/17733/stat open syscall for file /proc/17733/status socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7 socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110) open syscall for file /proc/17733/cmdline open syscall for file /proc/17733/environ open syscall for file /proc/17734/stat open syscall for file /proc/17734/status socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7 socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110) open syscall for file /proc/17734/cmdline open syscall for file /proc/17734/environ open syscall for file /proc/17741/stat open syscall for file /proc/17741/status open syscall for file /proc/17741/cmdline open syscall for file /proc/17741/environ open syscall for file /proc/9068/stat open syscall for file /proc/9068/status open syscall for file /proc/9068/cmdline open syscall for file /proc/9068/environ open syscall for file /proc/9104/stat open syscall for file /proc/9104/status open syscall for file /proc/9104/cmdline open syscall for file /proc/9104/environ open syscall for file /proc/9105/stat open syscall for file /proc/9105/status open syscall for file /proc/9105/cmdline open syscall for file /proc/9105/environ open syscall for file /proc/9110/stat open syscall for file /proc/9110/status open syscall for file /proc/9110/cmdline open syscall for file /proc/9110/environ open syscall for file /proc/9111/stat open syscall for file /proc/9111/status open syscall for file /proc/9111/cmdline open syscall for file /proc/9111/environ One traced child (pid=9110) exited with status: 0 One traced child (pid=9111) exited with status: 0 New process pid=9112 execve syscall for /bin/sleep executable open syscall for file /etc/ld.so.preload open syscall for file tls/i686/mmx/libm.so.6 open syscall for file tls/i686/libm.so.6 open syscall for file tls/mmx/libm.so.6 open syscall for file tls/libm.so.6 open syscall for file i686/mmx/libm.so.6 open syscall for file i686/libm.so.6 open syscall for file mmx/libm.so.6 open syscall for file libm.so.6 open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libm.so.6 open syscall for file /oldhome/oroussel/lib/tls/i686/libm.so.6 open syscall for file /oldhome/oroussel/lib/tls/mmx/libm.so.6 open syscall for file /oldhome/oroussel/lib/tls/libm.so.6 open syscall for file /oldhome/oroussel/lib/i686/mmx/libm.so.6 open syscall for file /oldhome/oroussel/lib/i686/libm.so.6 open syscall for file /oldhome/oroussel/lib/mmx/libm.so.6 open syscall for file /oldhome/oroussel/lib/libm.so.6 open syscall for file /etc/ld.so.cache open syscall for file /lib/tls/libm.so.6 open syscall for file tls/i686/mmx/librt.so.1 open syscall for file tls/i686/librt.so.1 open syscall for file tls/mmx/librt.so.1 open syscall for file tls/librt.so.1 open syscall for file i686/mmx/librt.so.1 open syscall for file i686/librt.so.1 open syscall for file mmx/librt.so.1 open syscall for file librt.so.1 open syscall for file /oldhome/oroussel/lib/librt.so.1 open syscall for file /lib/tls/librt.so.1 open syscall for file tls/i686/mmx/libc.so.6 open syscall for file tls/i686/libc.so.6 open syscall for file tls/mmx/libc.so.6 open syscall for file tls/libc.so.6 open syscall for file i686/mmx/libc.so.6 open syscall for file i686/libc.so.6 open syscall for file mmx/libc.so.6 open syscall for file libc.so.6 open syscall for file /oldhome/oroussel/lib/libc.so.6 open syscall for file /lib/tls/libc.so.6 open syscall for file tls/i686/mmx/libpthread.so.0 open syscall for file tls/i686/libpthread.so.0 open syscall for file tls/mmx/libpthread.so.0 open syscall for file tls/libpthread.so.0 open syscall for file i686/mmx/libpthread.so.0 open syscall for file i686/libpthread.so.0 open syscall for file mmx/libpthread.so.0 open syscall for file libpthread.so.0 open syscall for file /oldhome/oroussel/lib/libpthread.so.0 open syscall for file /lib/tls/libpthread.so.0 One traced child (pid=9112) exited with status: 0 New process pid=9113 execve syscall for /bin/nice executable open syscall for file /etc/ld.so.preload open syscall for file tls/i686/mmx/libc.so.6 open syscall for file tls/i686/libc.so.6 open syscall for file tls/mmx/libc.so.6 open syscall for file tls/libc.so.6 open syscall for file i686/mmx/libc.so.6 open syscall for file i686/libc.so.6 open syscall for file mmx/libc.so.6 open syscall for file libc.so.6 open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libc.so.6 open syscall for file /oldhome/oroussel/lib/tls/i686/libc.so.6 open syscall for file /oldhome/oroussel/lib/tls/mmx/libc.so.6 open syscall for file /oldhome/oroussel/lib/tls/libc.so.6 open syscall for file /oldhome/oroussel/lib/i686/mmx/libc.so.6 open syscall for file /oldhome/oroussel/lib/i686/libc.so.6 open syscall for file /oldhome/oroussel/lib/mmx/libc.so.6 open syscall for file /oldhome/oroussel/lib/libc.so.6 open syscall for file /etc/ld.so.cache open syscall for file /lib/tls/libc.so.6 open syscall for file /etc/ld.so.preload open syscall for file tls/i686/mmx/libacl.so.1 open syscall for file tls/i686/libacl.so.1 open syscall for file tls/mmx/libacl.so.1 open syscall for file tls/libacl.so.1 open syscall for file i686/mmx/libacl.so.1 open syscall for file i686/libacl.so.1 open syscall for file mmx/libacl.so.1 open syscall for file libacl.so.1 open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libacl.so.1 open syscall for file /oldhome/oroussel/lib/tls/i686/libacl.so.1 open syscall for file /oldhome/oroussel/lib/tls/mmx/libacl.so.1 open syscall for file /oldhome/oroussel/lib/tls/libacl.so.1 open syscall for file /oldhome/oroussel/lib/i686/mmx/libacl.so.1 open syscall for file /oldhome/oroussel/lib/i686/libacl.so.1 open syscall for file /oldhome/oroussel/lib/mmx/libacl.so.1 open syscall for file /oldhome/oroussel/lib/libacl.so.1 open syscall for file /etc/ld.so.cache open syscall for file /lib/libacl.so.1 open syscall for file tls/i686/mmx/libc.so.6 open syscall for file tls/i686/libc.so.6 open syscall for file tls/mmx/libc.so.6 open syscall for file tls/libc.so.6 open syscall for file i686/mmx/libc.so.6 open syscall for file i686/libc.so.6 open syscall for file mmx/libc.so.6 open syscall for file libc.so.6 open syscall for file /oldhome/oroussel/lib/libc.so.6 open syscall for file /lib/tls/libc.so.6 open syscall for file tls/i686/mmx/libattr.so.1 open syscall for file tls/i686/libattr.so.1 open syscall for file tls/mmx/libattr.so.1 open syscall for file tls/libattr.so.1 open syscall for file i686/mmx/libattr.so.1 open syscall for file i686/libattr.so.1 open syscall for file mmx/libattr.so.1 open syscall for file libattr.so.1 open syscall for file /oldhome/oroussel/lib/libattr.so.1 open syscall for file /lib/libattr.so.1 open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf open syscall for file /tmp/vallst_sh_out_theory.vnf One traced child (pid=9113) exited with status: 0 New process pid=9114 execve syscall for /bin/cp executable open syscall for file /etc/ld.so.preload open syscall for file tls/i686/mmx/libacl.so.1 open syscall for file tls/i686/libacl.so.1 open syscall for file tls/mmx/libacl.so.1 open syscall for file tls/libacl.so.1 open syscall for file i686/mmx/libacl.so.1 open syscall for file i686/libacl.so.1 open syscall for file mmx/libacl.so.1 open syscall for file libacl.so.1 open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libacl.so.1 open syscall for file /oldhome/oroussel/lib/tls/i686/libacl.so.1 open syscall for file /oldhome/oroussel/lib/tls/mmx/libacl.so.1 open syscall for file /oldhome/oroussel/lib/tls/libacl.so.1 open syscall for file /oldhome/oroussel/lib/i686/mmx/libacl.so.1 open syscall for file /oldhome/oroussel/lib/i686/libacl.so.1 open syscall for file /oldhome/oroussel/lib/mmx/libacl.so.1 open syscall for file /oldhome/oroussel/lib/libacl.so.1 open syscall for file /etc/ld.so.cache open syscall for file /lib/libacl.so.1 open syscall for file tls/i686/mmx/libc.so.6 open syscall for file tls/i686/libc.so.6 open syscall for file tls/mmx/libc.so.6 open syscall for file tls/libc.so.6 open syscall for file i686/mmx/libc.so.6 open syscall for file i686/libc.so.6 open syscall for file mmx/libc.so.6 open syscall for file libc.so.6 open syscall for file /oldhome/oroussel/lib/libc.so.6 open syscall for file /lib/tls/libc.so.6 open syscall for file tls/i686/mmx/libattr.so.1 open syscall for file tls/i686/libattr.so.1 open syscall for file tls/mmx/libattr.so.1 open syscall for file tls/libattr.so.1 open syscall for file i686/mmx/libattr.so.1 open syscall for file i686/libattr.so.1 open syscall for file mmx/libattr.so.1 open syscall for file libattr.so.1 open syscall for file /oldhome/oroussel/lib/libattr.so.1 open syscall for file /lib/libattr.so.1 open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options open syscall for file /tmp/vallst_sh_changing_setting.options One traced child (pid=9114) exited with status: 0 New process pid=9115 execve syscall for /bin/rm executable open syscall for file /etc/ld.so.preload open syscall for file tls/i686/mmx/libc.so.6 open syscall for file tls/i686/libc.so.6 open syscall for file tls/mmx/libc.so.6 open syscall for file tls/libc.so.6 open syscall for file i686/mmx/libc.so.6 open syscall for file i686/libc.so.6 open syscall for file mmx/libc.so.6 open syscall for file libc.so.6 open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libc.so.6 open syscall for file /oldhome/oroussel/lib/tls/i686/libc.so.6 open syscall for file /oldhome/oroussel/lib/tls/mmx/libc.so.6 open syscall for file /oldhome/oroussel/lib/tls/libc.so.6 open syscall for file /oldhome/oroussel/lib/i686/mmx/libc.so.6 open syscall for file /oldhome/oroussel/lib/i686/libc.so.6 open syscall for file /oldhome/oroussel/lib/mmx/libc.so.6 open syscall for file /oldhome/oroussel/lib/libc.so.6 open syscall for file /etc/ld.so.cache open syscall for file /lib/tls/libc.so.6 open syscall for file . open syscall for file . One traced child (pid=9115) exited with status: 0 One traced child (pid=9105) ended because it received signal 15 (SIGTERM) All traced children have exited ! Game is over. Child ended because it received signal 15 (SIGTERM) Real time (s): 1510.68 CPU time (s): 1208.83 CPU user time (s): 1062.34 CPU system time (s): 146.487 CPU usage (%): 80.0189 Max. virtual memory (cumulated for all children) (Kb): 6152
ERROR: no interpretation found !