Name | mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-mod008.opb |
MD5SUM | 581d778a36086562107993896110e0a2 |
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 wulflinc13 THE 2005-09-19 21:17:10 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=7707 boxname=wulflinc13 idbench=675 idsolver=7 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: 581d778a36086562107993896110e0a2 /oldhome/oroussel/tmp/wulflinc13/normalized-mps-v2-20-10-mod008.opb REAL COMMAND: vallstSAT2005PB.sh /oldhome/oroussel/tmp/wulflinc13/normalized-mps-v2-20-10-mod008.opb 0 IDLAUNCH: 7707 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.242 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.242 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 901.12 /proc/meminfo: MemTotal: 1034660 kB MemFree: 921020 kB Buffers: 18940 kB Cached: 67944 kB SwapCached: 700 kB Active: 24196 kB Inactive: 65304 kB HighTotal: 131008 kB HighFree: 59136 kB LowTotal: 903652 kB LowFree: 861884 kB SwapTotal: 2097136 kB SwapFree: 2095936 kB Dirty: 12 kB Writeback: 0 kB Mapped: 5740 kB Slab: 18332 kB Committed_AS: 64164 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-09-19 21:42:41 (client local time) WITH STATUS 0 IN 1205.09 SECONDS stats: 7707 7 1205.09 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: 673618; #end-nodes: 590373; #proof improvement attempts: 0; #restarts: 1578 Current batch, end-nodes: 431 / 737 (474) #axs: 7, #non-axs: 387 tight: meta-meta: start: 3, end: 3; meta: start: 3, end (keep): 3 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 23211 (342:>=*); #decisions: 1311233; #end-nodes: 1114116; #proof improvement attempts: 0; #restarts: 2080 Current batch, end-nodes: 469 / 600 (600) #axs: 7, #non-axs: 903 tight: meta-meta: start: 3, end: 3; meta: start: 3, end (keep): 3 loose: meta-meta: start: 5, end: 7; meta: start: 11, end (keep): 14 Model found with constant: 23213 (340:>=*); #decisions: 208; #end-nodes: 79; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 79 / 80 (80) #axs: 7, #non-axs: 903 tight: meta-meta: start: 3, end: 3; meta: start: 3, end (keep): 3 loose: meta-meta: start: 5, end: 7; meta: start: 11, end (keep): 14 Model found with constant: 23215 (338:>=*); Interupt request received. #decisions: 314334; #end-nodes: 229658; #proof improvement attempts: 0; #restarts: 920 Current batch, end-nodes: 90 / 310 (310) #axs: 7, #non-axs: 1061 tight: meta-meta: start: 3, end: 3; meta: start: 3, end (keep): 3 loose: meta-meta: start: 5, end: 7; meta: start: 11, end (keep): 14 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: 223 (#equs: 0) Time taken: 20 min, 4 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/14640/stat): 14640 (vallstSAT2005PB) R 14639 14640 1333 0 -1 0 19 0 0 0 0 0 0 0 22 0 1 0 1794862136 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/14640/statm): 174 3 169 147 0 27 0 [pid=14640] 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=14641 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=14641) exited with status: 0 New process pid=14642 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=14642) exited with status: 0 New process pid=14643 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/wulflinc13/normalized-mps-v2-20-10-mod008.opb open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map [startup+10.004 s] Raw data (loadavg): 0.85 0.99 0.98 1/57 14643 Raw data (/proc/14640/stat): 14640 (vallstSAT2005PB) S 14639 14640 1333 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 1794862136 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/14640/statm): 532 242 485 147 0 385 0 [pid=14640] vsize: 2128 Raw data (/proc/14643/stat): 14643 (vallst) T 14640 14640 1333 0 -1 0 320 0 0 0 587 120 0 0 17 0 1 0 1794862145 2359296 290 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/14643/statm): 576 290 413 48 0 528 0 [pid=14643] vsize: 2304 Current children cumulated CPU time (s) 7.08 Current children cumulated vsize (Kb) 4432 [startup+20.0047 s] Raw data (loadavg): 0.87 0.99 0.98 1/57 14643 Raw data (/proc/14640/stat): 14640 (vallstSAT2005PB) S 14639 14640 1333 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 1794862136 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/14640/statm): 532 242 485 147 0 385 0 [pid=14640] vsize: 2128 Raw data (/proc/14643/stat): 14643 (vallst) T 14640 14640 1333 0 -1 0 364 0 0 0 1476 160 0 0 16 0 1 0 1794862145 2494464 334 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/14643/statm): 609 334 413 48 0 561 0 [pid=14643] vsize: 2436 Current children cumulated CPU time (s) 16.37 Current children cumulated vsize (Kb) 4564 [startup+30.0064 s] Raw data (loadavg): 0.89 0.99 0.98 2/57 14643 Raw data (/proc/14640/stat): 14640 (vallstSAT2005PB) S 14639 14640 1333 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 1794862136 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/14640/statm): 532 242 485 147 0 385 0 [pid=14640] vsize: 2128 Raw data (/proc/14643/stat): 14643 (vallst) R 14640 14640 1333 0 -1 0 387 0 0 0 2366 201 0 0 17 0 1 0 1794862145 2637824 357 4294967295 134512640 134702520 3221223952 3221223072 134578768 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/14643/statm): 644 357 413 48 0 596 0 [pid=14643] vsize: 2576 Current children cumulated CPU time (s) 25.68 Current children cumulated vsize (Kb) 4704 [startup+40.007 s] Raw data (loadavg): 0.91 0.99 0.98 1/57 14643 Raw data (/proc/14640/stat): 14640 (vallstSAT2005PB) S 14639 14640 1333 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 1794862136 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/14640/statm): 532 242 485 147 0 385 0 [pid=14640] vsize: 2128 Raw data (/proc/14643/stat): 14643 (vallst) T 14640 14640 1333 0 -1 0 392 0 0 0 3054 304 0 0 17 0 1 0 1794862145 2637824 362 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/14643/statm): 644 362 413 48 0 596 0 [pid=14643] vsize: 2576 Current children cumulated CPU time (s) 33.59 Current children cumulated vsize (Kb) 4704 [startup+50.0087 s] Raw data (loadavg): 0.92 0.99 0.98 1/57 14643 Raw data (/proc/14640/stat): 14640 (vallstSAT2005PB) S 14639 14640 1333 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 1794862136 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/14640/statm): 532 242 485 147 0 385 0 [pid=14640] vsize: 2128 Raw data (/proc/14643/stat): 14643 (vallst) T 14640 14640 1333 0 -1 0 392 0 0 0 3526 466 0 0 15 0 1 0 1794862145 2637824 362 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/14643/statm): 644 362 413 48 0 596 0 [pid=14643] vsize: 2576 Current children cumulated CPU time (s) 39.93 Current children cumulated vsize (Kb) 4704 [startup+60.0093 s] Raw data (loadavg): 1.01 1.01 0.99 2/57 14643 Raw data (/proc/14640/stat): 14640 (vallstSAT2005PB) S 14639 14640 1333 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 1794862136 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/14640/statm): 532 242 485 147 0 385 0 [pid=14640] vsize: 2128 Raw data (/proc/14643/stat): 14643 (vallst) R 14640 14640 1333 0 -1 0 395 0 0 0 4168 584 0 0 17 0 1 0 1794862145 2637824 365 4294967295 134512640 134702520 3221223952 3221223072 134578626 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/14643/statm): 644 365 413 48 0 596 0 [pid=14643] vsize: 2576 Current children cumulated CPU time (s) 47.53 Current children cumulated vsize (Kb) 4704 [startup+70.01 s] Raw data (loadavg): 1.07 1.02 0.99 1/57 14643 Raw data (/proc/14640/stat): 14640 (vallstSAT2005PB) S 14639 14640 1333 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 1794862136 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/14640/statm): 532 242 485 147 0 385 0 [pid=14640] vsize: 2128 Raw data (/proc/14643/stat): 14643 (vallst) T 14640 14640 1333 0 -1 0 404 0 0 0 5054 623 0 0 16 0 1 0 1794862145 2637824 374 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/14643/statm): 644 374 413 48 0 596 0 [pid=14643] vsize: 2576 Current children cumulated CPU time (s) 56.78 Current children cumulated vsize (Kb) 4704 [startup+80.0116 s] Raw data (loadavg): 1.06 1.02 0.99 1/57 14643 Raw data (/proc/14640/stat): 14640 (vallstSAT2005PB) S 14639 14640 1333 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 1794862136 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/14640/statm): 532 242 485 147 0 385 0 [pid=14640] vsize: 2128 Raw data (/proc/14643/stat): 14643 (vallst) T 14640 14640 1333 0 -1 0 406 0 0 0 5531 793 0 0 16 0 1 0 1794862145 2772992 376 4294967295 134512640 134702520 3221223952 3221222824 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/14643/statm): 677 376 413 48 0 629 0 [pid=14643] vsize: 2708 Current children cumulated CPU time (s) 63.25 Current children cumulated vsize (Kb) 4836 [startup+90.0123 s] Raw data (loadavg): 1.05 1.02 0.99 2/57 14643 Raw data (/proc/14640/stat): 14640 (vallstSAT2005PB) S 14639 14640 1333 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 1794862136 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/14640/statm): 532 242 485 147 0 385 0 [pid=14640] vsize: 2128 Raw data (/proc/14643/stat): 14643 (vallst) T 14640 14640 1333 0 -1 0 407 0 0 0 6204 898 0 0 17 0 1 0 1794862145 2768896 377 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/14643/statm): 676 377 413 48 0 628 0 [pid=14643] vsize: 2704 Current children cumulated CPU time (s) 71.03 Current children cumulated vsize (Kb) 4832 [startup+100.013 s] Raw data (loadavg): 1.04 1.02 0.99 2/57 14643 Raw data (/proc/14640/stat): 14640 (vallstSAT2005PB) S 14639 14640 1333 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 1794862136 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/14640/statm): 532 242 485 147 0 385 0 [pid=14640] vsize: 2128 Raw data (/proc/14643/stat): 14643 (vallst) R 14640 14640 1333 0 -1 0 407 0 0 0 6653 1079 0 0 16 0 1 0 1794862145 2768896 377 4294967295 134512640 134702520 3221223952 3221223072 134578622 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/14643/statm): 676 377 413 48 0 628 0 [pid=14643] vsize: 2704 Current children cumulated CPU time (s) 77.33 Current children cumulated vsize (Kb) 4832 [startup+110.014 s] Raw data (loadavg): 1.04 1.02 0.99 2/57 14643 Raw data (/proc/14640/stat): 14640 (vallstSAT2005PB) S 14639 14640 1333 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 1794862136 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/14640/statm): 532 242 485 147 0 385 0 [pid=14640] vsize: 2128 Raw data (/proc/14643/stat): 14643 (vallst) R 14640 14640 1333 0 -1 0 408 0 0 0 7342 1182 0 0 17 0 1 0 1794862145 2768896 378 4294967295 134512640 134702520 3221223952 3221223232 134550674 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/14643/statm): 676 378 413 48 0 628 0 [pid=14643] vsize: 2704 Current children cumulated CPU time (s) 85.25 Current children cumulated vsize (Kb) 4832 [startup+120.013 s] Raw data (loadavg): 1.03 1.02 0.99 1/57 14643 Raw data (/proc/14640/stat): 14640 (vallstSAT2005PB) S 14639 14640 1333 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 1794862136 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/14640/statm): 532 242 485 147 0 385 0 [pid=14640] vsize: 2128 Raw data (/proc/14643/stat): 14643 (vallst) T 14640 14640 1333 0 -1 0 411 0 0 0 8002 1299 0 0 15 0 1 0 1794862145 2768896 381 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/14643/statm): 676 381 413 48 0 628 0 [pid=14643] vsize: 2704 Current children cumulated CPU time (s) 93.02 Current children cumulated vsize (Kb) 4832 [startup+130.014 s] Raw data (loadavg): 1.02 1.01 0.99 1/57 14643 Raw data (/proc/14640/stat): 14640 (vallstSAT2005PB) S 14639 14640 1333 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 1794862136 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/14640/statm): 532 242 485 147 0 385 0 [pid=14640] vsize: 2128 Raw data (/proc/14643/stat): 14643 (vallst) T 14640 14640 1333 0 -1 0 412 0 0 0 8483 1461 0 0 17 0 1 0 1794862145 2768896 382 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/14643/statm): 676 382 413 48 0 628 0 [pid=14643] vsize: 2704 Current children cumulated CPU time (s) 99.45 Current children cumulated vsize (Kb) 4832 [startup+140.015 s] Raw data (loadavg): 1.02 1.01 0.99 1/57 14643 Raw data (/proc/14640/stat): 14640 (vallstSAT2005PB) S 14639 14640 1333 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 1794862136 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/14640/statm): 532 242 485 147 0 385 0 [pid=14640] vsize: 2128 Raw data (/proc/14643/stat): 14643 (vallst) T 14640 14640 1333 0 -1 0 413 0 0 0 9164 1562 0 0 16 0 1 0 1794862145 2768896 383 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/14643/statm): 676 383 413 48 0 628 0 [pid=14643] vsize: 2704 Current children cumulated CPU time (s) 107.27 Current children cumulated vsize (Kb) 4832 [startup+150.016 s] Raw data (loadavg): 1.02 1.01 0.99 2/57 14643 Raw data (/proc/14640/stat): 14640 (vallstSAT2005PB) S 14639 14640 1333 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 1794862136 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/14640/statm): 532 242 485 147 0 385 0 [pid=14640] vsize: 2128 Raw data (/proc/14643/stat): 14643 (vallst) R 14640 14640 1333 0 -1 0 413 0 0 0 9626 1731 0 0 16 0 1 0 1794862145 2768896 383 4294967295 134512640 134702520 3221223952 3221223072 134578750 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/14643/statm): 676 383 413 48 0 628 0 [pid=14643] vsize: 2704 Current children cumulated CPU time (s) 113.58 Current children cumulated vsize (Kb) 4832 [startup+160.017 s] Raw data (loadavg): 1.09 1.03 1.00 1/57 14643 Raw data (/proc/14640/stat): 14640 (vallstSAT2005PB) S 14639 14640 1333 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 1794862136 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/14640/statm): 532 242 485 147 0 385 0 [pid=14640] vsize: 2128 Raw data (/proc/14643/stat): 14643 (vallst) T 14640 14640 1333 0 -1 0 413 0 0 0 10299 1836 0 0 16 0 1 0 1794862145 2768896 383 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/14643/statm): 676 383 413 48 0 628 0 [pid=14643] vsize: 2704 Current children cumulated CPU time (s) 121.36 Current children cumulated vsize (Kb) 4832 [startup+170.018 s] Raw data (loadavg): 1.08 1.03 1.00 1/57 14643 Raw data (/proc/14640/stat): 14640 (vallstSAT2005PB) S 14639 14640 1333 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 1794862136 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/14640/statm): 532 242 485 147 0 385 0 [pid=14640] vsize: 2128 Raw data (/proc/14643/stat): 14643 (vallst) T 14640 14640 1333 0 -1 0 414 0 0 0 10756 2007 0 0 16 0 1 0 1794862145 2768896 384 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/14643/statm): 676 384 413 48 0 628 0 [pid=14643] vsize: 2704 Current children cumulated CPU time (s) 127.64 Current children cumulated vsize (Kb) 4832 [startup+180.019 s] Raw data (loadavg): 1.07 1.03 1.00 1/57 14643 Raw data (/proc/14640/stat): 14640 (vallstSAT2005PB) S 14639 14640 1333 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 1794862136 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/14640/statm): 532 242 485 147 0 385 0 [pid=14640] vsize: 2128 Raw data (/proc/14643/stat): 14643 (vallst) T 14640 14640 1333 0 -1 0 416 0 0 0 11446 2111 0 0 16 0 1 0 1794862145 2768896 386 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/14643/statm): 676 386 413 48 0 628 0 [pid=14643] vsize: 2704 Current children cumulated CPU time (s) 135.58 Current children cumulated vsize (Kb) 4832 [startup+190.019 s] Raw data (loadavg): 1.06 1.03 1.00 1/57 14643 Raw data (/proc/14640/stat): 14640 (vallstSAT2005PB) S 14639 14640 1333 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 1794862136 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/14640/statm): 532 242 485 147 0 385 0 [pid=14640] vsize: 2128 Raw data (/proc/14643/stat): 14643 (vallst) T 14640 14640 1333 0 -1 0 419 0 0 0 11985 2261 0 0 16 0 1 0 1794862145 2768896 389 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/14643/statm): 676 389 413 48 0 628 0 [pid=14643] vsize: 2704 Current children cumulated CPU time (s) 142.47 Current children cumulated vsize (Kb) 4832 [startup+200.021 s] Raw data (loadavg): 1.05 1.02 1.00 2/57 14643 Raw data (/proc/14640/stat): 14640 (vallstSAT2005PB) S 14639 14640 1333 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 1794862136 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/14640/statm): 532 242 485 147 0 385 0 [pid=14640] vsize: 2128 Raw data (/proc/14643/stat): 14643 (vallst) R 14640 14640 1333 0 -1 0 422 0 0 0 12680 2356 0 0 16 0 1 0 1794862145 2768896 392 4294967295 134512640 134702520 3221223952 3221223072 134578847 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/14643/statm): 676 392 413 48 0 628 0 [pid=14643] vsize: 2704 Current children cumulated CPU time (s) 150.37 Current children cumulated vsize (Kb) 4832 [startup+210.021 s] Raw data (loadavg): 1.11 1.04 1.00 1/57 14643 Raw data (/proc/14640/stat): 14640 (vallstSAT2005PB) S 14639 14640 1333 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 1794862136 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/14640/statm): 532 242 485 147 0 385 0 [pid=14640] vsize: 2128 Raw data (/proc/14643/stat): 14643 (vallst) T 14640 14640 1333 0 -1 0 424 0 0 0 13182 2520 0 0 16 0 1 0 1794862145 2768896 394 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/14643/statm): 676 394 413 48 0 628 0 [pid=14643] vsize: 2704 Current children cumulated CPU time (s) 157.03 Current children cumulated vsize (Kb) 4832 [startup+220.022 s] Raw data (loadavg): 1.17 1.05 1.01 2/57 14643 Raw data (/proc/14640/stat): 14640 (vallstSAT2005PB) S 14639 14640 1333 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 1794862136 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/14640/statm): 532 242 485 147 0 385 0 [pid=14640] vsize: 2128 Raw data (/proc/14643/stat): 14643 (vallst) R 14640 14640 1333 0 -1 0 427 0 0 0 13921 2603 0 0 17 0 1 0 1794862145 2768896 397 4294967295 134512640 134702520 3221223952 3221223072 134573708 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/14643/statm): 676 397 413 48 0 628 0 [pid=14643] vsize: 2704 Current children cumulated CPU time (s) 165.25 Current children cumulated vsize (Kb) 4832 [startup+230.023 s] Raw data (loadavg): 1.14 1.05 1.01 2/57 14643 Raw data (/proc/14640/stat): 14640 (vallstSAT2005PB) S 14639 14640 1333 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 1794862136 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/14640/statm): 532 242 485 147 0 385 0 [pid=14640] vsize: 2128 Raw data (/proc/14643/stat): 14643 (vallst) R 14640 14640 1333 0 -1 0 429 0 0 0 14426 2764 0 0 17 0 1 0 1794862145 2768896 399 4294967295 134512640 134702520 3221223952 3221223072 134578622 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/14643/statm): 676 399 413 48 0 628 0 [pid=14643] vsize: 2704 Current children cumulated CPU time (s) 171.91 Current children cumulated vsize (Kb) 4832 [startup+240.023 s] Raw data (loadavg): 1.12 1.05 1.01 1/57 14643 Raw data (/proc/14640/stat): 14640 (vallstSAT2005PB) S 14639 14640 1333 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 1794862136 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/14640/statm): 532 242 485 147 0 385 0 [pid=14640] vsize: 2128 Raw data (/proc/14643/stat): 14643 (vallst) T 14640 14640 1333 0 -1 0 435 0 0 0 15154 2852 0 0 16 0 1 0 1794862145 2768896 405 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/14643/statm): 676 405 413 48 0 628 0 [pid=14643] vsize: 2704 Current children cumulated CPU time (s) 180.07 Current children cumulated vsize (Kb) 4832 [startup+250.025 s] Raw data (loadavg): 1.10 1.05 1.01 1/57 14643 Raw data (/proc/14640/stat): 14640 (vallstSAT2005PB) S 14639 14640 1333 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 1794862136 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/14640/statm): 532 242 485 147 0 385 0 [pid=14640] vsize: 2128 Raw data (/proc/14643/stat): 14643 (vallst) T 14640 14640 1333 0 -1 0 437 0 0 0 15704 2992 0 0 16 0 1 0 1794862145 2768896 407 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/14643/statm): 676 407 413 48 0 628 0 [pid=14643] vsize: 2704 Current children cumulated CPU time (s) 186.97 Current children cumulated vsize (Kb) 4832 [startup+260.025 s] Raw data (loadavg): 1.08 1.05 1.01 1/57 14643 Raw data (/proc/14640/stat): 14640 (vallstSAT2005PB) S 14639 14640 1333 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 1794862136 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/14640/statm): 532 242 485 147 0 385 0 [pid=14640] vsize: 2128 Raw data (/proc/14643/stat): 14643 (vallst) T 14640 14640 1333 0 -1 0 440 0 0 0 16406 3088 0 0 17 0 1 0 1794862145 2895872 410 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/14643/statm): 707 410 413 48 0 659 0 [pid=14643] vsize: 2828 Current children cumulated CPU time (s) 194.95 Current children cumulated vsize (Kb) 4956 [startup+270.026 s] Raw data (loadavg): 1.14 1.06 1.01 2/57 14643 Raw data (/proc/14640/stat): 14640 (vallstSAT2005PB) S 14639 14640 1333 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 1794862136 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/14640/statm): 532 242 485 147 0 385 0 [pid=14640] vsize: 2128 Raw data (/proc/14643/stat): 14643 (vallst) T 14640 14640 1333 0 -1 0 443 0 0 0 17139 3175 0 0 17 0 1 0 1794862145 2895872 413 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/14643/statm): 707 413 413 48 0 659 0 [pid=14643] vsize: 2828 Current children cumulated CPU time (s) 203.15 Current children cumulated vsize (Kb) 4956 [startup+280.027 s] Raw data (loadavg): 1.12 1.06 1.01 1/57 14643 Raw data (/proc/14640/stat): 14640 (vallstSAT2005PB) S 14639 14640 1333 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 1794862136 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/14640/statm): 532 242 485 147 0 385 0 [pid=14640] vsize: 2128 Raw data (/proc/14643/stat): 14643 (vallst) T 14640 14640 1333 0 -1 0 444 0 0 0 17685 3325 0 0 16 0 1 0 1794862145 2895872 414 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/14643/statm): 707 414 413 48 0 659 0 [pid=14643] vsize: 2828 Current children cumulated CPU time (s) 210.11 Current children cumulated vsize (Kb) 4956 [startup+290.027 s] Raw data (loadavg): 1.10 1.06 1.01 2/57 14643 Raw data (/proc/14640/stat): 14640 (vallstSAT2005PB) S 14639 14640 1333 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 1794862136 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/14640/statm): 532 242 485 147 0 385 0 [pid=14640] vsize: 2128 Raw data (/proc/14643/stat): 14643 (vallst) R 14640 14640 1333 0 -1 0 446 0 0 0 18430 3409 0 0 17 0 1 0 1794862145 2895872 416 4294967295 134512640 134702520 3221223952 3221223072 134578750 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/14643/statm): 707 416 413 48 0 659 0 [pid=14643] vsize: 2828 Current children cumulated CPU time (s) 218.4 Current children cumulated vsize (Kb) 4956 [startup+300.029 s] Raw data (loadavg): 1.17 1.07 1.01 1/57 14643 Raw data (/proc/14640/stat): 14640 (vallstSAT2005PB) S 14639 14640 1333 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 1794862136 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/14640/statm): 532 242 485 147 0 385 0 [pid=14640] vsize: 2128 Raw data (/proc/14643/stat): 14643 (vallst) T 14640 14640 1333 0 -1 0 449 0 0 0 19135 3500 0 0 16 0 1 0 1794862145 2895872 419 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/14643/statm): 707 419 413 48 0 659 0 [pid=14643] vsize: 2828 Current children cumulated CPU time (s) 226.36 Current children cumulated vsize (Kb) 4956 [startup+310.03 s] Raw data (loadavg): 1.14 1.07 1.01 2/57 14643 Raw data (/proc/14640/stat): 14640 (vallstSAT2005PB) S 14639 14640 1333 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 1794862136 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/14640/statm): 532 242 485 147 0 385 0 [pid=14640] vsize: 2128 Raw data (/proc/14643/stat): 14643 (vallst) R 14640 14640 1333 0 -1 0 450 0 0 0 19724 3634 0 0 17 0 1 0 1794862145 2895872 420 4294967295 134512640 134702520 3221223952 3221223072 134578758 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/14643/statm): 707 420 413 48 0 659 0 [pid=14643] vsize: 2828 Current children cumulated CPU time (s) 233.59 Current children cumulated vsize (Kb) 4956 [startup+320.03 s] Raw data (loadavg): 1.12 1.06 1.01 1/57 14643 Raw data (/proc/14640/stat): 14640 (vallstSAT2005PB) S 14639 14640 1333 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 1794862136 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/14640/statm): 532 242 485 147 0 385 0 [pid=14640] vsize: 2128 Raw data (/proc/14643/stat): 14643 (vallst) T 14640 14640 1333 0 -1 0 452 0 0 0 20491 3714 0 0 15 0 1 0 1794862145 2895872 422 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/14643/statm): 707 422 413 48 0 659 0 [pid=14643] vsize: 2828 Current children cumulated CPU time (s) 242.06 Current children cumulated vsize (Kb) 4956 [startup+330.031 s] Raw data (loadavg): 1.10 1.06 1.01 1/57 14643 Raw data (/proc/14640/stat): 14640 (vallstSAT2005PB) S 14639 14640 1333 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 1794862136 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/14640/statm): 532 242 485 147 0 385 0 [pid=14640] vsize: 2128 Raw data (/proc/14643/stat): 14643 (vallst) T 14640 14640 1333 0 -1 0 454 0 0 0 21192 3810 0 0 16 0 1 0 1794862145 2895872 424 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/14643/statm): 707 424 413 48 0 659 0 [pid=14643] vsize: 2828 Current children cumulated CPU time (s) 250.03 Current children cumulated vsize (Kb) 4956 [startup+340.032 s] Raw data (loadavg): 1.08 1.06 1.01 1/57 14643 Raw data (/proc/14640/stat): 14640 (vallstSAT2005PB) S 14639 14640 1333 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 1794862136 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/14640/statm): 532 242 485 147 0 385 0 [pid=14640] vsize: 2128 Raw data (/proc/14643/stat): 14643 (vallst) T 14640 14640 1333 0 -1 0 456 0 0 0 21809 3931 0 0 17 0 1 0 1794862145 2895872 426 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/14643/statm): 707 426 413 48 0 659 0 [pid=14643] vsize: 2828 Current children cumulated CPU time (s) 257.41 Current children cumulated vsize (Kb) 4956 [startup+350.032 s] Raw data (loadavg): 1.07 1.06 1.01 1/57 14643 Raw data (/proc/14640/stat): 14640 (vallstSAT2005PB) S 14639 14640 1333 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 1794862136 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/14640/statm): 532 242 485 147 0 385 0 [pid=14640] vsize: 2128 Raw data (/proc/14643/stat): 14643 (vallst) T 14640 14640 1333 0 -1 0 458 0 0 0 22602 3994 0 0 17 0 1 0 1794862145 2895872 428 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/14643/statm): 707 428 413 48 0 659 0 [pid=14643] vsize: 2828 Current children cumulated CPU time (s) 265.97 Current children cumulated vsize (Kb) 4956 [startup+360.034 s] Raw data (loadavg): 1.06 1.05 1.01 1/57 14643 Raw data (/proc/14640/stat): 14640 (vallstSAT2005PB) S 14639 14640 1333 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 1794862136 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/14640/statm): 532 242 485 147 0 385 0 [pid=14640] vsize: 2128 Raw data (/proc/14643/stat): 14643 (vallst) T 14640 14640 1333 0 -1 0 462 0 0 0 23372 4068 0 0 16 0 1 0 1794862145 2895872 432 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/14643/statm): 707 432 413 48 0 659 0 [pid=14643] vsize: 2828 Current children cumulated CPU time (s) 274.41 Current children cumulated vsize (Kb) 4956 [startup+370.035 s] Raw data (loadavg): 1.05 1.05 1.01 2/57 14643 Raw data (/proc/14640/stat): 14640 (vallstSAT2005PB) S 14639 14640 1333 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 1794862136 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/14640/statm): 532 242 485 147 0 385 0 [pid=14640] vsize: 2128 Raw data (/proc/14643/stat): 14643 (vallst) R 14640 14640 1333 0 -1 0 463 0 0 0 23887 4222 0 0 17 0 1 0 1794862145 2895872 433 4294967295 134512640 134702520 3221223952 3221223072 134588462 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/14643/statm): 707 433 413 48 0 659 0 [pid=14643] vsize: 2828 Current children cumulated CPU time (s) 281.1 Current children cumulated vsize (Kb) 4956 [startup+380.035 s] Raw data (loadavg): 1.04 1.05 1.00 1/57 14643 Raw data (/proc/14640/stat): 14640 (vallstSAT2005PB) S 14639 14640 1333 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 1794862136 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/14640/statm): 532 242 485 147 0 385 0 [pid=14640] vsize: 2128 Raw data (/proc/14643/stat): 14643 (vallst) T 14640 14640 1333 0 -1 0 465 0 0 0 24670 4294 0 0 17 0 1 0 1794862145 2895872 435 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/14643/statm): 707 435 413 48 0 659 0 [pid=14643] vsize: 2828 Current children cumulated CPU time (s) 289.65 Current children cumulated vsize (Kb) 4956 [startup+390.036 s] Raw data (loadavg): 1.04 1.05 1.00 2/57 14643 Raw data (/proc/14640/stat): 14640 (vallstSAT2005PB) S 14639 14640 1333 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 1794862136 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/14640/statm): 532 242 485 147 0 385 0 [pid=14640] vsize: 2128 Raw data (/proc/14643/stat): 14643 (vallst) R 14640 14640 1333 0 -1 0 468 0 0 0 25455 4367 0 0 17 0 1 0 1794862145 2895872 438 4294967295 134512640 134702520 3221223952 3221223072 134578750 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/14643/statm): 707 438 413 48 0 659 0 [pid=14643] vsize: 2828 Current children cumulated CPU time (s) 298.23 Current children cumulated vsize (Kb) 4956 [startup+400.037 s] Raw data (loadavg): 1.03 1.05 1.00 1/57 14643 Raw data (/proc/14640/stat): 14640 (vallstSAT2005PB) S 14639 14640 1333 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 1794862136 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/14640/statm): 532 242 485 147 0 385 0 [pid=14640] vsize: 2128 Raw data (/proc/14643/stat): 14643 (vallst) T 14640 14640 1333 0 -1 0 468 0 0 0 26003 4509 0 0 17 0 1 0 1794862145 2895872 438 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/14643/statm): 707 438 413 48 0 659 0 [pid=14643] vsize: 2828 Current children cumulated CPU time (s) 305.13 Current children cumulated vsize (Kb) 4956 [startup+410.037 s] Raw data (loadavg): 1.02 1.04 1.00 1/57 14643 Raw data (/proc/14640/stat): 14640 (vallstSAT2005PB) S 14639 14640 1333 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 1794862136 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/14640/statm): 532 242 485 147 0 385 0 [pid=14640] vsize: 2128 Raw data (/proc/14643/stat): 14643 (vallst) T 14640 14640 1333 0 -1 0 470 0 0 0 26782 4580 0 0 16 0 1 0 1794862145 3026944 440 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/14643/statm): 739 440 413 48 0 691 0 [pid=14643] vsize: 2956 Current children cumulated CPU time (s) 313.63 Current children cumulated vsize (Kb) 5084 [startup+420.038 s] Raw data (loadavg): 1.02 1.04 1.00 2/57 14643 Raw data (/proc/14640/stat): 14640 (vallstSAT2005PB) S 14639 14640 1333 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 1794862136 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/14640/statm): 532 242 485 147 0 385 0 [pid=14640] vsize: 2128 Raw data (/proc/14643/stat): 14643 (vallst) R 14640 14640 1333 0 -1 0 473 0 0 0 27518 4667 0 0 17 0 1 0 1794862145 3026944 443 4294967295 134512640 134702520 3221223952 3221223072 134578750 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/14643/statm): 739 443 413 48 0 691 0 [pid=14643] vsize: 2956 Current children cumulated CPU time (s) 321.86 Current children cumulated vsize (Kb) 5084 [startup+430.04 s] Raw data (loadavg): 1.02 1.04 1.00 2/57 14643 Raw data (/proc/14640/stat): 14640 (vallstSAT2005PB) S 14639 14640 1333 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 1794862136 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/14640/statm): 532 242 485 147 0 385 0 [pid=14640] vsize: 2128 Raw data (/proc/14643/stat): 14643 (vallst) R 14640 14640 1333 0 -1 0 473 0 0 0 28075 4809 0 0 17 0 1 0 1794862145 3026944 443 4294967295 134512640 134702520 3221223952 3221223072 134578622 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/14643/statm): 739 443 413 48 0 691 0 [pid=14643] vsize: 2956 Current children cumulated CPU time (s) 328.85 Current children cumulated vsize (Kb) 5084 [startup+440.04 s] Raw data (loadavg): 1.01 1.04 1.00 1/57 14643 Raw data (/proc/14640/stat): 14640 (vallstSAT2005PB) S 14639 14640 1333 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 1794862136 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/14640/statm): 532 242 485 147 0 385 0 [pid=14640] vsize: 2128 Raw data (/proc/14643/stat): 14643 (vallst) T 14640 14640 1333 0 -1 0 475 0 0 0 28866 4876 0 0 17 0 1 0 1794862145 3026944 445 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/14643/statm): 739 445 413 48 0 691 0 [pid=14643] vsize: 2956 Current children cumulated CPU time (s) 337.43 Current children cumulated vsize (Kb) 5084 [startup+450.042 s] Raw data (loadavg): 1.01 1.04 1.00 1/57 14643 Raw data (/proc/14640/stat): 14640 (vallstSAT2005PB) S 14639 14640 1333 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 1794862136 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/14640/statm): 532 242 485 147 0 385 0 [pid=14640] vsize: 2128 Raw data (/proc/14643/stat): 14643 (vallst) T 14640 14640 1333 0 -1 0 477 0 0 0 29654 4946 0 0 17 0 1 0 1794862145 3026944 447 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/14643/statm): 739 447 413 48 0 691 0 [pid=14643] vsize: 2956 Current children cumulated CPU time (s) 346.01 Current children cumulated vsize (Kb) 5084 [startup+460.043 s] Raw data (loadavg): 1.01 1.04 1.00 1/57 14643 Raw data (/proc/14640/stat): 14640 (vallstSAT2005PB) S 14639 14640 1333 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 1794862136 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/14640/statm): 532 242 485 147 0 385 0 [pid=14640] vsize: 2128 Raw data (/proc/14643/stat): 14643 (vallst) T 14640 14640 1333 0 -1 0 478 0 0 0 30239 5075 0 0 16 0 1 0 1794862145 3026944 448 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/14643/statm): 739 448 413 48 0 691 0 [pid=14643] vsize: 2956 Current children cumulated CPU time (s) 353.15 Current children cumulated vsize (Kb) 5084 [startup+470.043 s] Raw data (loadavg): 1.01 1.03 1.00 2/57 14643 Raw data (/proc/14640/stat): 14640 (vallstSAT2005PB) S 14639 14640 1333 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 1794862136 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/14640/statm): 532 242 485 147 0 385 0 [pid=14640] vsize: 2128 Raw data (/proc/14643/stat): 14643 (vallst) T 14640 14640 1333 0 -1 0 478 0 0 0 30995 5155 0 0 17 0 1 0 1794862145 3026944 448 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434789 0 0 17 1 0 0 Raw data (/proc/14643/statm): 739 448 413 48 0 691 0 [pid=14643] vsize: 2956 Current children cumulated CPU time (s) 361.51 Current children cumulated vsize (Kb) 5084 [startup+480.044 s] Raw data (loadavg): 1.01 1.03 1.00 1/57 14643 Raw data (/proc/14640/stat): 14640 (vallstSAT2005PB) S 14639 14640 1333 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 1794862136 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/14640/statm): 532 242 485 147 0 385 0 [pid=14640] vsize: 2128 Raw data (/proc/14643/stat): 14643 (vallst) T 14640 14640 1333 0 -1 0 480 0 0 0 31730 5245 0 0 16 0 1 0 1794862145 3026944 450 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/14643/statm): 739 450 413 48 0 691 0 [pid=14643] vsize: 2956 Current children cumulated CPU time (s) 369.76 Current children cumulated vsize (Kb) 5084 [startup+490.045 s] Raw data (loadavg): 1.00 1.03 1.00 1/57 14643 Raw data (/proc/14640/stat): 14640 (vallstSAT2005PB) S 14639 14640 1333 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 1794862136 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/14640/statm): 532 242 485 147 0 385 0 [pid=14640] vsize: 2128 Raw data (/proc/14643/stat): 14643 (vallst) T 14640 14640 1333 0 -1 0 482 0 0 0 32532 5307 0 0 16 0 1 0 1794862145 3026944 452 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/14643/statm): 739 452 413 48 0 691 0 [pid=14643] vsize: 2956 Current children cumulated CPU time (s) 378.4 Current children cumulated vsize (Kb) 5084 [startup+500.046 s] Raw data (loadavg): 1.00 1.03 1.00 1/57 14643 Raw data (/proc/14640/stat): 14640 (vallstSAT2005PB) S 14639 14640 1333 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 1794862136 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/14640/statm): 532 242 485 147 0 385 0 [pid=14640] vsize: 2128 Raw data (/proc/14643/stat): 14643 (vallst) T 14640 14640 1333 0 -1 0 483 0 0 0 33094 5449 0 0 16 0 1 0 1794862145 3026944 453 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/14643/statm): 739 453 413 48 0 691 0 [pid=14643] vsize: 2956 Current children cumulated CPU time (s) 385.44 Current children cumulated vsize (Kb) 5084 [startup+510.047 s] Raw data (loadavg): 1.00 1.03 1.00 1/57 14643 Raw data (/proc/14640/stat): 14640 (vallstSAT2005PB) S 14639 14640 1333 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 1794862136 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/14640/statm): 532 242 485 147 0 385 0 [pid=14640] vsize: 2128 Raw data (/proc/14643/stat): 14643 (vallst) T 14640 14640 1333 0 -1 0 484 0 0 0 33919 5506 0 0 17 0 1 0 1794862145 3026944 454 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/14643/statm): 739 454 413 48 0 691 0 [pid=14643] vsize: 2956 Current children cumulated CPU time (s) 394.26 Current children cumulated vsize (Kb) 5084 [startup+520.048 s] Raw data (loadavg): 1.08 1.04 1.00 1/57 14643 Raw data (/proc/14640/stat): 14640 (vallstSAT2005PB) S 14639 14640 1333 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 1794862136 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/14640/statm): 532 242 485 147 0 385 0 [pid=14640] vsize: 2128 Raw data (/proc/14643/stat): 14643 (vallst) T 14640 14640 1333 0 -1 0 485 0 0 0 34705 5577 0 0 17 0 1 0 1794862145 3026944 455 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/14643/statm): 739 455 413 48 0 691 0 [pid=14643] vsize: 2956 Current children cumulated CPU time (s) 402.83 Current children cumulated vsize (Kb) 5084 [startup+530.049 s] Raw data (loadavg): 1.06 1.04 1.00 1/57 14643 Raw data (/proc/14640/stat): 14640 (vallstSAT2005PB) S 14639 14640 1333 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 1794862136 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/14640/statm): 532 242 485 147 0 385 0 [pid=14640] vsize: 2128 Raw data (/proc/14643/stat): 14643 (vallst) T 14640 14640 1333 0 -1 0 487 0 0 0 35297 5705 0 0 16 0 1 0 1794862145 3026944 457 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/14643/statm): 739 457 413 48 0 691 0 [pid=14643] vsize: 2956 Current children cumulated CPU time (s) 410.03 Current children cumulated vsize (Kb) 5084 [startup+540.05 s] Raw data (loadavg): 1.05 1.04 1.00 2/57 14643 Raw data (/proc/14640/stat): 14640 (vallstSAT2005PB) S 14639 14640 1333 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 1794862136 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/14640/statm): 532 242 485 147 0 385 0 [pid=14640] vsize: 2128 Raw data (/proc/14643/stat): 14643 (vallst) R 14640 14640 1333 0 -1 0 487 0 0 0 36050 5786 0 0 17 0 1 0 1794862145 3026944 457 4294967295 134512640 134702520 3221223952 3221223072 134578611 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/14643/statm): 739 457 413 48 0 691 0 [pid=14643] vsize: 2956 Current children cumulated CPU time (s) 418.37 Current children cumulated vsize (Kb) 5084 [startup+550.052 s] Raw data (loadavg): 1.04 1.04 1.00 2/57 14643 Raw data (/proc/14640/stat): 14640 (vallstSAT2005PB) S 14639 14640 1333 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 1794862136 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/14640/statm): 532 242 485 147 0 385 0 [pid=14640] vsize: 2128 Raw data (/proc/14643/stat): 14643 (vallst) R 14640 14640 1333 0 -1 0 487 0 0 0 36832 5858 0 0 17 0 1 0 1794862145 3026944 457 4294967295 134512640 134702520 3221223952 3221223072 134578758 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/14643/statm): 739 457 413 48 0 691 0 [pid=14643] vsize: 2956 Current children cumulated CPU time (s) 426.91 Current children cumulated vsize (Kb) 5084 [startup+560.052 s] Raw data (loadavg): 1.04 1.03 1.00 2/57 14643 Raw data (/proc/14640/stat): 14640 (vallstSAT2005PB) S 14639 14640 1333 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 1794862136 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/14640/statm): 532 242 485 147 0 385 0 [pid=14640] vsize: 2128 Raw data (/proc/14643/stat): 14643 (vallst) R 14640 14640 1333 0 -1 0 488 0 0 0 37627 5927 0 0 17 0 1 0 1794862145 3026944 458 4294967295 134512640 134702520 3221223952 3221223072 134578758 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/14643/statm): 739 458 413 48 0 691 0 [pid=14643] vsize: 2956 Current children cumulated CPU time (s) 435.55 Current children cumulated vsize (Kb) 5084 [startup+570.053 s] Raw data (loadavg): 1.03 1.03 1.00 1/57 14643 Raw data (/proc/14640/stat): 14640 (vallstSAT2005PB) S 14639 14640 1333 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 1794862136 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/14640/statm): 532 242 485 147 0 385 0 [pid=14640] vsize: 2128 Raw data (/proc/14643/stat): 14643 (vallst) T 14640 14640 1333 0 -1 0 488 0 0 0 38180 6070 0 0 16 0 1 0 1794862145 3026944 458 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/14643/statm): 739 458 413 48 0 691 0 [pid=14643] vsize: 2956 Current children cumulated CPU time (s) 442.51 Current children cumulated vsize (Kb) 5084 [startup+580.053 s] Raw data (loadavg): 1.03 1.03 1.00 1/57 14643 Raw data (/proc/14640/stat): 14640 (vallstSAT2005PB) S 14639 14640 1333 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 1794862136 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/14640/statm): 532 242 485 147 0 385 0 [pid=14640] vsize: 2128 Raw data (/proc/14643/stat): 14643 (vallst) T 14640 14640 1333 0 -1 0 488 0 0 0 38964 6139 0 0 16 0 1 0 1794862145 3026944 458 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/14643/statm): 739 458 413 48 0 691 0 [pid=14643] vsize: 2956 Current children cumulated CPU time (s) 451.04 Current children cumulated vsize (Kb) 5084 [startup+590.054 s] Raw data (loadavg): 1.02 1.03 1.00 2/57 14643 Raw data (/proc/14640/stat): 14640 (vallstSAT2005PB) S 14639 14640 1333 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 1794862136 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/14640/statm): 532 242 485 147 0 385 0 [pid=14640] vsize: 2128 Raw data (/proc/14643/stat): 14643 (vallst) R 14640 14640 1333 0 -1 0 488 0 0 0 39615 6251 0 0 16 0 1 0 1794862145 3026944 458 4294967295 134512640 134702520 3221223952 3221223072 134578604 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/14643/statm): 739 458 413 48 0 691 0 [pid=14643] vsize: 2956 Current children cumulated CPU time (s) 458.67 Current children cumulated vsize (Kb) 5084 [startup+600.056 s] Raw data (loadavg): 1.10 1.04 1.01 1/57 14643 Raw data (/proc/14640/stat): 14640 (vallstSAT2005PB) S 14639 14640 1333 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 1794862136 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/14640/statm): 532 242 485 147 0 385 0 [pid=14640] vsize: 2128 Raw data (/proc/14643/stat): 14643 (vallst) T 14640 14640 1333 0 -1 0 488 0 0 0 40053 6431 0 0 17 0 1 0 1794862145 3026944 458 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/14643/statm): 739 458 413 48 0 691 0 [pid=14643] vsize: 2956 Current children cumulated CPU time (s) 464.85 Current children cumulated vsize (Kb) 5084 [startup+610.056 s] Raw data (loadavg): 1.16 1.06 1.01 1/57 14643 Raw data (/proc/14640/stat): 14640 (vallstSAT2005PB) S 14639 14640 1333 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 1794862136 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/14640/statm): 532 242 485 147 0 385 0 [pid=14640] vsize: 2128 Raw data (/proc/14643/stat): 14643 (vallst) T 14640 14640 1333 0 -1 0 488 0 0 0 40558 6593 0 0 16 0 1 0 1794862145 3026944 458 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/14643/statm): 739 458 413 48 0 691 0 [pid=14643] vsize: 2956 Current children cumulated CPU time (s) 471.52 Current children cumulated vsize (Kb) 5084 [startup+620.057 s] Raw data (loadavg): 1.21 1.07 1.01 1/57 14643 Raw data (/proc/14640/stat): 14640 (vallstSAT2005PB) S 14639 14640 1333 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 1794862136 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/14640/statm): 532 242 485 147 0 385 0 [pid=14640] vsize: 2128 Raw data (/proc/14643/stat): 14643 (vallst) T 14640 14640 1333 0 -1 0 488 0 0 0 41081 6742 0 0 16 0 1 0 1794862145 3026944 458 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/14643/statm): 739 458 413 48 0 691 0 [pid=14643] vsize: 2956 Current children cumulated CPU time (s) 478.24 Current children cumulated vsize (Kb) 5084 [startup+630.058 s] Raw data (loadavg): 1.18 1.07 1.01 1/57 14643 Raw data (/proc/14640/stat): 14640 (vallstSAT2005PB) S 14639 14640 1333 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 1794862136 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/14640/statm): 532 242 485 147 0 385 0 [pid=14640] vsize: 2128 Raw data (/proc/14643/stat): 14643 (vallst) T 14640 14640 1333 0 -1 0 488 0 0 0 41578 6901 0 0 16 0 1 0 1794862145 3026944 458 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/14643/statm): 739 458 413 48 0 691 0 [pid=14643] vsize: 2956 Current children cumulated CPU time (s) 484.8 Current children cumulated vsize (Kb) 5084 [startup+640.058 s] Raw data (loadavg): 1.15 1.07 1.01 1/57 14643 Raw data (/proc/14640/stat): 14640 (vallstSAT2005PB) S 14639 14640 1333 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 1794862136 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/14640/statm): 532 242 485 147 0 385 0 [pid=14640] vsize: 2128 Raw data (/proc/14643/stat): 14643 (vallst) T 14640 14640 1333 0 -1 0 489 0 0 0 42209 7022 0 0 16 0 1 0 1794862145 3026944 459 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/14643/statm): 739 459 413 48 0 691 0 [pid=14643] vsize: 2956 Current children cumulated CPU time (s) 492.32 Current children cumulated vsize (Kb) 5084 [startup+650.06 s] Raw data (loadavg): 1.13 1.06 1.01 2/57 14643 Raw data (/proc/14640/stat): 14640 (vallstSAT2005PB) S 14639 14640 1333 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 1794862136 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/14640/statm): 532 242 485 147 0 385 0 [pid=14640] vsize: 2128 Raw data (/proc/14643/stat): 14643 (vallst) R 14640 14640 1333 0 -1 0 490 0 0 0 42679 7194 0 0 16 0 1 0 1794862145 3026944 460 4294967295 134512640 134702520 3221223952 3221223072 134578768 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/14643/statm): 739 460 413 48 0 691 0 [pid=14643] vsize: 2956 Current children cumulated CPU time (s) 498.74 Current children cumulated vsize (Kb) 5084 [startup+660.061 s] Raw data (loadavg): 1.18 1.08 1.02 1/57 14643 Raw data (/proc/14640/stat): 14640 (vallstSAT2005PB) S 14639 14640 1333 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 1794862136 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/14640/statm): 532 242 485 147 0 385 0 [pid=14640] vsize: 2128 Raw data (/proc/14643/stat): 14643 (vallst) T 14640 14640 1333 0 -1 0 490 0 0 0 43353 7297 0 0 16 0 1 0 1794862145 3026944 460 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/14643/statm): 739 460 413 48 0 691 0 [pid=14643] vsize: 2956 Current children cumulated CPU time (s) 506.51 Current children cumulated vsize (Kb) 5084 [startup+670.061 s] Raw data (loadavg): 1.15 1.07 1.01 2/57 14643 Raw data (/proc/14640/stat): 14640 (vallstSAT2005PB) S 14639 14640 1333 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 1794862136 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/14640/statm): 532 242 485 147 0 385 0 [pid=14640] vsize: 2128 Raw data (/proc/14643/stat): 14643 (vallst) R 14640 14640 1333 0 -1 0 490 0 0 0 43850 7461 0 0 16 0 1 0 1794862145 3026944 460 4294967295 134512640 134702520 3221223952 3221223232 134553458 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/14643/statm): 739 460 413 48 0 691 0 [pid=14643] vsize: 2956 Current children cumulated CPU time (s) 513.12 Current children cumulated vsize (Kb) 5084 [startup+680.062 s] Raw data (loadavg): 1.13 1.07 1.01 1/57 14643 Raw data (/proc/14640/stat): 14640 (vallstSAT2005PB) S 14639 14640 1333 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 1794862136 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/14640/statm): 532 242 485 147 0 385 0 [pid=14640] vsize: 2128 Raw data (/proc/14643/stat): 14643 (vallst) T 14640 14640 1333 0 -1 0 491 0 0 0 44580 7548 0 0 16 0 1 0 1794862145 3026944 461 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/14643/statm): 739 461 413 48 0 691 0 [pid=14643] vsize: 2956 Current children cumulated CPU time (s) 521.29 Current children cumulated vsize (Kb) 5084 [startup+690.063 s] Raw data (loadavg): 1.11 1.07 1.01 1/57 14643 Raw data (/proc/14640/stat): 14640 (vallstSAT2005PB) S 14639 14640 1333 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 1794862136 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/14640/statm): 532 242 485 147 0 385 0 [pid=14640] vsize: 2128 Raw data (/proc/14643/stat): 14643 (vallst) T 14640 14640 1333 0 -1 0 493 0 0 0 45125 7693 0 0 16 0 1 0 1794862145 3026944 463 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/14643/statm): 739 463 413 48 0 691 0 [pid=14643] vsize: 2956 Current children cumulated CPU time (s) 528.19 Current children cumulated vsize (Kb) 5084 [startup+700.063 s] Raw data (loadavg): 1.09 1.07 1.01 1/57 14643 Raw data (/proc/14640/stat): 14640 (vallstSAT2005PB) S 14639 14640 1333 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 1794862136 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/14640/statm): 532 242 485 147 0 385 0 [pid=14640] vsize: 2128 Raw data (/proc/14643/stat): 14643 (vallst) T 14640 14640 1333 0 -1 0 494 0 0 0 45796 7799 0 0 16 0 1 0 1794862145 3026944 464 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/14643/statm): 739 464 413 48 0 691 0 [pid=14643] vsize: 2956 Current children cumulated CPU time (s) 535.96 Current children cumulated vsize (Kb) 5084 [startup+710.064 s] Raw data (loadavg): 1.08 1.06 1.01 2/57 14643 Raw data (/proc/14640/stat): 14640 (vallstSAT2005PB) S 14639 14640 1333 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 1794862136 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/14640/statm): 532 242 485 147 0 385 0 [pid=14640] vsize: 2128 Raw data (/proc/14643/stat): 14643 (vallst) R 14640 14640 1333 0 -1 0 495 0 0 0 46515 7888 0 0 17 0 1 0 1794862145 3026944 465 4294967295 134512640 134702520 3221223952 3221223072 134578758 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/14643/statm): 739 465 413 48 0 691 0 [pid=14643] vsize: 2956 Current children cumulated CPU time (s) 544.04 Current children cumulated vsize (Kb) 5084 [startup+720.064 s] Raw data (loadavg): 1.06 1.06 1.01 1/57 14643 Raw data (/proc/14640/stat): 14640 (vallstSAT2005PB) S 14639 14640 1333 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 1794862136 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/14640/statm): 532 242 485 147 0 385 0 [pid=14640] vsize: 2128 Raw data (/proc/14643/stat): 14643 (vallst) T 14640 14640 1333 0 -1 0 495 0 0 0 47009 8052 0 0 16 0 1 0 1794862145 3026944 465 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/14643/statm): 739 465 413 48 0 691 0 [pid=14643] vsize: 2956 Current children cumulated CPU time (s) 550.62 Current children cumulated vsize (Kb) 5084 [startup+730.065 s] Raw data (loadavg): 1.05 1.06 1.01 1/57 14643 Raw data (/proc/14640/stat): 14640 (vallstSAT2005PB) S 14639 14640 1333 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 1794862136 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/14640/statm): 532 242 485 147 0 385 0 [pid=14640] vsize: 2128 Raw data (/proc/14643/stat): 14643 (vallst) T 14640 14640 1333 0 -1 0 495 0 0 0 47795 8123 0 0 16 0 1 0 1794862145 3026944 465 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/14643/statm): 739 465 413 48 0 691 0 [pid=14643] vsize: 2956 Current children cumulated CPU time (s) 559.19 Current children cumulated vsize (Kb) 5084 [startup+740.066 s] Raw data (loadavg): 1.05 1.06 1.01 1/57 14643 Raw data (/proc/14640/stat): 14640 (vallstSAT2005PB) S 14639 14640 1333 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 1794862136 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/14640/statm): 532 242 485 147 0 385 0 [pid=14640] vsize: 2128 Raw data (/proc/14643/stat): 14643 (vallst) T 14640 14640 1333 0 -1 0 495 0 0 0 48402 8253 0 0 16 0 1 0 1794862145 3026944 465 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/14643/statm): 739 465 413 48 0 691 0 [pid=14643] vsize: 2956 Current children cumulated CPU time (s) 566.56 Current children cumulated vsize (Kb) 5084 [startup+750.067 s] Raw data (loadavg): 1.04 1.05 1.01 2/57 14643 Raw data (/proc/14640/stat): 14640 (vallstSAT2005PB) S 14639 14640 1333 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 1794862136 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/14640/statm): 532 242 485 147 0 385 0 [pid=14640] vsize: 2128 Raw data (/proc/14643/stat): 14643 (vallst) R 14640 14640 1333 0 -1 0 496 0 0 0 49013 8379 0 0 16 0 1 0 1794862145 3026944 466 4294967295 134512640 134702520 3221223952 3221223072 134578678 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/14643/statm): 739 466 413 48 0 691 0 [pid=14643] vsize: 2956 Current children cumulated CPU time (s) 573.93 Current children cumulated vsize (Kb) 5084 [startup+760.067 s] Raw data (loadavg): 1.03 1.05 1.01 1/57 14643 Raw data (/proc/14640/stat): 14640 (vallstSAT2005PB) S 14639 14640 1333 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 1794862136 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/14640/statm): 532 242 485 147 0 385 0 [pid=14640] vsize: 2128 Raw data (/proc/14643/stat): 14643 (vallst) T 14640 14640 1333 0 -1 0 496 0 0 0 49791 8451 0 0 17 0 1 0 1794862145 3026944 466 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/14643/statm): 739 466 413 48 0 691 0 [pid=14643] vsize: 2956 Current children cumulated CPU time (s) 582.43 Current children cumulated vsize (Kb) 5084 [startup+770.068 s] Raw data (loadavg): 1.03 1.05 1.00 1/57 14643 Raw data (/proc/14640/stat): 14640 (vallstSAT2005PB) S 14639 14640 1333 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 1794862136 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/14640/statm): 532 242 485 147 0 385 0 [pid=14640] vsize: 2128 Raw data (/proc/14643/stat): 14643 (vallst) T 14640 14640 1333 0 -1 0 496 0 0 0 50301 8610 0 0 16 0 1 0 1794862145 3026944 466 4294967295 134512640 134702520 3221223952 3221222824 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/14643/statm): 739 466 413 48 0 691 0 [pid=14643] vsize: 2956 Current children cumulated CPU time (s) 589.12 Current children cumulated vsize (Kb) 5084 [startup+780.07 s] Raw data (loadavg): 1.02 1.05 1.00 2/57 14643 Raw data (/proc/14640/stat): 14640 (vallstSAT2005PB) S 14639 14640 1333 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 1794862136 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/14640/statm): 532 242 485 147 0 385 0 [pid=14640] vsize: 2128 Raw data (/proc/14643/stat): 14643 (vallst) R 14640 14640 1333 0 -1 0 498 0 0 0 51064 8691 0 0 17 0 1 0 1794862145 3026944 468 4294967295 134512640 134702520 3221223952 3221223072 134578750 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/14643/statm): 739 468 413 48 0 691 0 [pid=14643] vsize: 2956 Current children cumulated CPU time (s) 597.56 Current children cumulated vsize (Kb) 5084 [startup+790.07 s] Raw data (loadavg): 1.02 1.05 1.00 2/57 14643 Raw data (/proc/14640/stat): 14640 (vallstSAT2005PB) S 14639 14640 1333 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 1794862136 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/14640/statm): 532 242 485 147 0 385 0 [pid=14640] vsize: 2128 Raw data (/proc/14643/stat): 14643 (vallst) R 14640 14640 1333 0 -1 0 499 0 0 0 51786 8779 0 0 16 0 1 0 1794862145 3026944 469 4294967295 134512640 134702520 3221223952 3221223072 134584493 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/14643/statm): 739 469 413 48 0 691 0 [pid=14643] vsize: 2956 Current children cumulated CPU time (s) 605.66 Current children cumulated vsize (Kb) 5084 [startup+800.072 s] Raw data (loadavg): 1.09 1.06 1.01 1/57 14643 Raw data (/proc/14640/stat): 14640 (vallstSAT2005PB) S 14639 14640 1333 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 1794862136 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/14640/statm): 532 242 485 147 0 385 0 [pid=14640] vsize: 2128 Raw data (/proc/14643/stat): 14643 (vallst) T 14640 14640 1333 0 -1 0 499 0 0 0 52339 8921 0 0 17 0 1 0 1794862145 3026944 469 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/14643/statm): 739 469 413 48 0 691 0 [pid=14643] vsize: 2956 Current children cumulated CPU time (s) 612.61 Current children cumulated vsize (Kb) 5084 [startup+810.073 s] Raw data (loadavg): 1.07 1.06 1.01 2/57 14643 Raw data (/proc/14640/stat): 14640 (vallstSAT2005PB) S 14639 14640 1333 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 1794862136 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/14640/statm): 532 242 485 147 0 385 0 [pid=14640] vsize: 2128 Raw data (/proc/14643/stat): 14643 (vallst) R 14640 14640 1333 0 -1 0 500 0 0 0 53119 8992 0 0 17 0 1 0 1794862145 3026944 470 4294967295 134512640 134702520 3221223952 3221223072 134578750 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/14643/statm): 739 470 413 48 0 691 0 [pid=14643] vsize: 2956 Current children cumulated CPU time (s) 621.12 Current children cumulated vsize (Kb) 5084 [startup+820.073 s] Raw data (loadavg): 1.06 1.06 1.01 1/57 14643 Raw data (/proc/14640/stat): 14640 (vallstSAT2005PB) S 14639 14640 1333 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 1794862136 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/14640/statm): 532 242 485 147 0 385 0 [pid=14640] vsize: 2128 Raw data (/proc/14643/stat): 14643 (vallst) T 14640 14640 1333 0 -1 0 501 0 0 0 53898 9064 0 0 16 0 1 0 1794862145 3026944 471 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/14643/statm): 739 471 413 48 0 691 0 [pid=14643] vsize: 2956 Current children cumulated CPU time (s) 629.63 Current children cumulated vsize (Kb) 5084 [startup+830.074 s] Raw data (loadavg): 1.13 1.07 1.01 2/57 14643 Raw data (/proc/14640/stat): 14640 (vallstSAT2005PB) S 14639 14640 1333 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 1794862136 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/14640/statm): 532 242 485 147 0 385 0 [pid=14640] vsize: 2128 Raw data (/proc/14643/stat): 14643 (vallst) R 14640 14640 1333 0 -1 0 501 0 0 0 54390 9228 0 0 16 0 1 0 1794862145 3026944 471 4294967295 134512640 134702520 3221223952 3221223072 134578768 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/14643/statm): 739 471 413 48 0 691 0 [pid=14643] vsize: 2956 Current children cumulated CPU time (s) 636.19 Current children cumulated vsize (Kb) 5084 [startup+840.075 s] Raw data (loadavg): 1.19 1.08 1.01 2/57 14643 Raw data (/proc/14640/stat): 14640 (vallstSAT2005PB) S 14639 14640 1333 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 1794862136 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/14640/statm): 532 242 485 147 0 385 0 [pid=14640] vsize: 2128 Raw data (/proc/14643/stat): 14643 (vallst) R 14640 14640 1333 0 -1 0 502 0 0 0 55174 9299 0 0 17 0 1 0 1794862145 3162112 472 4294967295 134512640 134702520 3221223952 3221223072 134578600 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/14643/statm): 772 472 413 48 0 724 0 [pid=14643] vsize: 3088 Current children cumulated CPU time (s) 644.74 Current children cumulated vsize (Kb) 5216 [startup+850.076 s] Raw data (loadavg): 1.16 1.08 1.01 1/57 14643 Raw data (/proc/14640/stat): 14640 (vallstSAT2005PB) S 14639 14640 1333 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 1794862136 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/14640/statm): 532 242 485 147 0 385 0 [pid=14640] vsize: 2128 Raw data (/proc/14643/stat): 14643 (vallst) T 14640 14640 1333 0 -1 0 503 0 0 0 55957 9373 0 0 17 0 1 0 1794862145 3162112 473 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/14643/statm): 772 473 413 48 0 724 0 [pid=14643] vsize: 3088 Current children cumulated CPU time (s) 653.31 Current children cumulated vsize (Kb) 5216 [startup+860.077 s] Raw data (loadavg): 1.13 1.08 1.01 1/57 14643 Raw data (/proc/14640/stat): 14640 (vallstSAT2005PB) S 14639 14640 1333 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 1794862136 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/14640/statm): 532 242 485 147 0 385 0 [pid=14640] vsize: 2128 Raw data (/proc/14643/stat): 14643 (vallst) T 14640 14640 1333 0 -1 0 503 0 0 0 56478 9522 0 0 16 0 1 0 1794862145 3162112 473 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/14643/statm): 772 473 413 48 0 724 0 [pid=14643] vsize: 3088 Current children cumulated CPU time (s) 660.01 Current children cumulated vsize (Kb) 5216 [startup+870.077 s] Raw data (loadavg): 1.19 1.09 1.02 2/57 14643 Raw data (/proc/14640/stat): 14640 (vallstSAT2005PB) S 14639 14640 1333 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 1794862136 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/14640/statm): 532 242 485 147 0 385 0 [pid=14640] vsize: 2128 Raw data (/proc/14643/stat): 14643 (vallst) R 14640 14640 1333 0 -1 0 503 0 0 0 57235 9598 0 0 16 0 1 0 1794862145 3162112 473 4294967295 134512640 134702520 3221223952 3221223072 134578750 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/14643/statm): 772 473 413 48 0 724 0 [pid=14643] vsize: 3088 Current children cumulated CPU time (s) 668.34 Current children cumulated vsize (Kb) 5216 [startup+880.079 s] Raw data (loadavg): 1.16 1.09 1.02 2/57 14643 Raw data (/proc/14640/stat): 14640 (vallstSAT2005PB) S 14639 14640 1333 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 1794862136 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/14640/statm): 532 242 485 147 0 385 0 [pid=14640] vsize: 2128 Raw data (/proc/14643/stat): 14643 (vallst) R 14640 14640 1333 0 -1 0 504 0 0 0 58016 9671 0 0 17 0 1 0 1794862145 3162112 474 4294967295 134512640 134702520 3221223952 3221223232 134550393 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/14643/statm): 772 474 413 48 0 724 0 [pid=14643] vsize: 3088 Current children cumulated CPU time (s) 676.88 Current children cumulated vsize (Kb) 5216 [startup+890.08 s] Raw data (loadavg): 1.14 1.08 1.01 1/57 14643 Raw data (/proc/14640/stat): 14640 (vallstSAT2005PB) S 14639 14640 1333 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 1794862136 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/14640/statm): 532 242 485 147 0 385 0 [pid=14640] vsize: 2128 Raw data (/proc/14643/stat): 14643 (vallst) T 14640 14640 1333 0 -1 0 504 0 0 0 58640 9790 0 0 16 0 1 0 1794862145 3162112 474 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/14643/statm): 772 474 413 48 0 724 0 [pid=14643] vsize: 3088 Current children cumulated CPU time (s) 684.31 Current children cumulated vsize (Kb) 5216 [startup+900.081 s] Raw data (loadavg): 1.12 1.08 1.01 2/57 14643 Raw data (/proc/14640/stat): 14640 (vallstSAT2005PB) S 14639 14640 1333 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 1794862136 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/14640/statm): 532 242 485 147 0 385 0 [pid=14640] vsize: 2128 Raw data (/proc/14643/stat): 14643 (vallst) R 14640 14640 1333 0 -1 0 504 0 0 0 59343 9888 0 0 17 0 1 0 1794862145 3162112 474 4294967295 134512640 134702520 3221223952 3221223072 134578750 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/14643/statm): 772 474 413 48 0 724 0 [pid=14643] vsize: 3088 Current children cumulated CPU time (s) 692.32 Current children cumulated vsize (Kb) 5216 [startup+910.081 s] Raw data (loadavg): 1.10 1.08 1.01 1/57 14643 Raw data (/proc/14640/stat): 14640 (vallstSAT2005PB) S 14639 14640 1333 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 1794862136 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/14640/statm): 532 242 485 147 0 385 0 [pid=14640] vsize: 2128 Raw data (/proc/14643/stat): 14643 (vallst) T 14640 14640 1333 0 -1 0 505 0 0 0 60128 9957 0 0 17 0 1 0 1794862145 3162112 475 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/14643/statm): 772 475 413 48 0 724 0 [pid=14643] vsize: 3088 Current children cumulated CPU time (s) 700.86 Current children cumulated vsize (Kb) 5216 [startup+920.082 s] Raw data (loadavg): 1.08 1.08 1.01 2/57 14643 Raw data (/proc/14640/stat): 14640 (vallstSAT2005PB) S 14639 14640 1333 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 1794862136 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/14640/statm): 532 242 485 147 0 385 0 [pid=14640] vsize: 2128 Raw data (/proc/14643/stat): 14643 (vallst) R 14640 14640 1333 0 -1 0 507 0 0 0 60911 10029 0 0 17 0 1 0 1794862145 3162112 477 4294967295 134512640 134702520 3221223952 3221223072 134578886 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/14643/statm): 772 477 413 48 0 724 0 [pid=14643] vsize: 3088 Current children cumulated CPU time (s) 709.41 Current children cumulated vsize (Kb) 5216 [startup+930.082 s] Raw data (loadavg): 1.14 1.09 1.02 1/57 14643 Raw data (/proc/14640/stat): 14640 (vallstSAT2005PB) S 14639 14640 1333 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 1794862136 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/14640/statm): 532 242 485 147 0 385 0 [pid=14640] vsize: 2128 Raw data (/proc/14643/stat): 14643 (vallst) T 14640 14640 1333 0 -1 0 507 0 0 0 61458 10171 0 0 17 0 1 0 1794862145 3162112 477 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/14643/statm): 772 477 413 48 0 724 0 [pid=14643] vsize: 3088 Current children cumulated CPU time (s) 716.3 Current children cumulated vsize (Kb) 5216 [startup+940.083 s] Raw data (loadavg): 1.12 1.09 1.02 1/57 14643 Raw data (/proc/14640/stat): 14640 (vallstSAT2005PB) S 14639 14640 1333 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 1794862136 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/14640/statm): 532 242 485 147 0 385 0 [pid=14640] vsize: 2128 Raw data (/proc/14643/stat): 14643 (vallst) T 14640 14640 1333 0 -1 0 507 0 0 0 62236 10242 0 0 17 0 1 0 1794862145 3162112 477 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/14643/statm): 772 477 413 48 0 724 0 [pid=14643] vsize: 3088 Current children cumulated CPU time (s) 724.79 Current children cumulated vsize (Kb) 5216 [startup+950.085 s] Raw data (loadavg): 1.10 1.08 1.01 1/57 14643 Raw data (/proc/14640/stat): 14640 (vallstSAT2005PB) S 14639 14640 1333 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 1794862136 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/14640/statm): 532 242 485 147 0 385 0 [pid=14640] vsize: 2128 Raw data (/proc/14643/stat): 14643 (vallst) T 14640 14640 1333 0 -1 0 508 0 0 0 63023 10313 0 0 16 0 1 0 1794862145 3162112 478 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/14643/statm): 772 478 413 48 0 724 0 [pid=14643] vsize: 3088 Current children cumulated CPU time (s) 733.37 Current children cumulated vsize (Kb) 5216 [startup+960.085 s] Raw data (loadavg): 1.16 1.10 1.02 1/57 14643 Raw data (/proc/14640/stat): 14640 (vallstSAT2005PB) S 14639 14640 1333 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 1794862136 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/14640/statm): 532 242 485 147 0 385 0 [pid=14640] vsize: 2128 Raw data (/proc/14643/stat): 14643 (vallst) T 14640 14640 1333 0 -1 0 509 0 0 0 63635 10439 0 0 16 0 1 0 1794862145 3162112 479 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/14643/statm): 772 479 413 48 0 724 0 [pid=14643] vsize: 3088 Current children cumulated CPU time (s) 740.75 Current children cumulated vsize (Kb) 5216 [startup+970.086 s] Raw data (loadavg): 1.14 1.09 1.02 2/57 14643 Raw data (/proc/14640/stat): 14640 (vallstSAT2005PB) S 14639 14640 1333 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 1794862136 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/14640/statm): 532 242 485 147 0 385 0 [pid=14640] vsize: 2128 Raw data (/proc/14643/stat): 14643 (vallst) R 14640 14640 1333 0 -1 0 509 0 0 0 64357 10524 0 0 17 0 1 0 1794862145 3162112 479 4294967295 134512640 134702520 3221223952 3221223072 134578788 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/14643/statm): 772 479 413 48 0 724 0 [pid=14643] vsize: 3088 Current children cumulated CPU time (s) 748.82 Current children cumulated vsize (Kb) 5216 [startup+980.087 s] Raw data (loadavg): 1.12 1.09 1.02 1/57 14643 Raw data (/proc/14640/stat): 14640 (vallstSAT2005PB) S 14639 14640 1333 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 1794862136 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/14640/statm): 532 242 485 147 0 385 0 [pid=14640] vsize: 2128 Raw data (/proc/14643/stat): 14643 (vallst) T 14640 14640 1333 0 -1 0 510 0 0 0 65144 10597 0 0 17 0 1 0 1794862145 3162112 480 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/14643/statm): 772 480 413 48 0 724 0 [pid=14643] vsize: 3088 Current children cumulated CPU time (s) 757.42 Current children cumulated vsize (Kb) 5216 [startup+990.087 s] Raw data (loadavg): 1.10 1.08 1.02 2/57 14643 Raw data (/proc/14640/stat): 14640 (vallstSAT2005PB) S 14639 14640 1333 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 1794862136 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/14640/statm): 532 242 485 147 0 385 0 [pid=14640] vsize: 2128 Raw data (/proc/14643/stat): 14643 (vallst) R 14640 14640 1333 0 -1 0 510 0 0 0 65943 10658 0 0 16 0 1 0 1794862145 3162112 480 4294967295 134512640 134702520 3221223952 3221222720 134552553 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/14643/statm): 772 480 413 48 0 724 0 [pid=14643] vsize: 3088 Current children cumulated CPU time (s) 766.02 Current children cumulated vsize (Kb) 5216 [startup+1000.09 s] Raw data (loadavg): 1.08 1.08 1.01 1/57 14643 Raw data (/proc/14640/stat): 14640 (vallstSAT2005PB) S 14639 14640 1333 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 1794862136 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/14640/statm): 532 242 485 147 0 385 0 [pid=14640] vsize: 2128 Raw data (/proc/14643/stat): 14643 (vallst) T 14640 14640 1333 0 -1 0 510 0 0 0 66530 10790 0 0 16 0 1 0 1794862145 3162112 480 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/14643/statm): 772 480 413 48 0 724 0 [pid=14643] vsize: 3088 Current children cumulated CPU time (s) 773.21 Current children cumulated vsize (Kb) 5216 [startup+1010.09 s] Raw data (loadavg): 1.07 1.08 1.01 1/57 14643 Raw data (/proc/14640/stat): 14640 (vallstSAT2005PB) S 14639 14640 1333 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 1794862136 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/14640/statm): 532 242 485 147 0 385 0 [pid=14640] vsize: 2128 Raw data (/proc/14643/stat): 14643 (vallst) T 14640 14640 1333 0 -1 0 511 0 0 0 67321 10859 0 0 17 0 1 0 1794862145 3162112 481 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/14643/statm): 772 481 413 48 0 724 0 [pid=14643] vsize: 3088 Current children cumulated CPU time (s) 781.81 Current children cumulated vsize (Kb) 5216 [startup+1020.09 s] Raw data (loadavg): 1.06 1.08 1.01 2/57 14643 Raw data (/proc/14640/stat): 14640 (vallstSAT2005PB) S 14639 14640 1333 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 1794862136 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/14640/statm): 532 242 485 147 0 385 0 [pid=14640] vsize: 2128 Raw data (/proc/14643/stat): 14643 (vallst) R 14640 14640 1333 0 -1 0 511 0 0 0 68102 10928 0 0 16 0 1 0 1794862145 3162112 481 4294967295 134512640 134702520 3221223952 3221223072 134578600 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/14643/statm): 772 481 413 48 0 724 0 [pid=14643] vsize: 3088 Current children cumulated CPU time (s) 790.31 Current children cumulated vsize (Kb) 5216 [startup+1030.09 s] Raw data (loadavg): 1.05 1.07 1.01 2/57 14643 Raw data (/proc/14640/stat): 14640 (vallstSAT2005PB) S 14639 14640 1333 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 1794862136 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/14640/statm): 532 242 485 147 0 385 0 [pid=14640] vsize: 2128 Raw data (/proc/14643/stat): 14643 (vallst) R 14640 14640 1333 0 -1 0 512 0 0 0 68940 10986 0 0 17 0 1 0 1794862145 3162112 482 4294967295 134512640 134702520 3221223952 3221223072 134578758 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/14643/statm): 772 482 413 48 0 724 0 [pid=14643] vsize: 3088 Current children cumulated CPU time (s) 799.27 Current children cumulated vsize (Kb) 5216 [startup+1040.09 s] Raw data (loadavg): 1.12 1.09 1.02 1/57 14643 Raw data (/proc/14640/stat): 14640 (vallstSAT2005PB) S 14639 14640 1333 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 1794862136 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/14640/statm): 532 242 485 147 0 385 0 [pid=14640] vsize: 2128 Raw data (/proc/14643/stat): 14643 (vallst) T 14640 14640 1333 0 -1 0 512 0 0 0 69546 11113 0 0 16 0 1 0 1794862145 3162112 482 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/14643/statm): 772 482 413 48 0 724 0 [pid=14643] vsize: 3088 Current children cumulated CPU time (s) 806.6 Current children cumulated vsize (Kb) 5216 [startup+1050.09 s] Raw data (loadavg): 1.10 1.08 1.02 2/57 14643 Raw data (/proc/14640/stat): 14640 (vallstSAT2005PB) S 14639 14640 1333 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 1794862136 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/14640/statm): 532 242 485 147 0 385 0 [pid=14640] vsize: 2128 Raw data (/proc/14643/stat): 14643 (vallst) R 14640 14640 1333 0 -1 0 523 0 0 0 70278 11202 0 0 17 0 1 0 1794862145 3162112 493 4294967295 134512640 134702520 3221223952 3221223072 134578600 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/14643/statm): 772 493 413 48 0 724 0 [pid=14643] vsize: 3088 Current children cumulated CPU time (s) 814.81 Current children cumulated vsize (Kb) 5216 [startup+1060.09 s] Raw data (loadavg): 1.16 1.10 1.02 1/57 14643 Raw data (/proc/14640/stat): 14640 (vallstSAT2005PB) S 14639 14640 1333 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 1794862136 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/14640/statm): 532 242 485 147 0 385 0 [pid=14640] vsize: 2128 Raw data (/proc/14643/stat): 14643 (vallst) T 14640 14640 1333 0 -1 0 604 0 0 0 71126 11254 0 0 17 0 1 0 1794862145 3567616 574 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/14643/statm): 871 574 413 48 0 823 0 [pid=14643] vsize: 3484 Current children cumulated CPU time (s) 823.81 Current children cumulated vsize (Kb) 5612 [startup+1070.09 s] Raw data (loadavg): 1.13 1.09 1.02 2/57 14643 Raw data (/proc/14640/stat): 14640 (vallstSAT2005PB) S 14639 14640 1333 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 1794862136 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/14640/statm): 532 242 485 147 0 385 0 [pid=14640] vsize: 2128 Raw data (/proc/14643/stat): 14643 (vallst) R 14640 14640 1333 0 -1 0 669 0 0 0 71977 11304 0 0 17 0 1 0 1794862145 3710976 639 4294967295 134512640 134702520 3221223952 3221223072 134578622 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/14643/statm): 906 639 413 48 0 858 0 [pid=14643] vsize: 3624 Current children cumulated CPU time (s) 832.82 Current children cumulated vsize (Kb) 5752 [startup+1080.09 s] Raw data (loadavg): 1.19 1.11 1.02 1/57 14643 Raw data (/proc/14640/stat): 14640 (vallstSAT2005PB) S 14639 14640 1333 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 1794862136 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/14640/statm): 532 242 485 147 0 385 0 [pid=14640] vsize: 2128 Raw data (/proc/14643/stat): 14643 (vallst) T 14640 14640 1333 0 -1 0 726 0 0 0 72829 11354 0 0 17 0 1 0 1794862145 3964928 696 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/14643/statm): 968 696 413 48 0 920 0 [pid=14643] vsize: 3872 Current children cumulated CPU time (s) 841.84 Current children cumulated vsize (Kb) 6000 [startup+1090.09 s] Raw data (loadavg): 1.16 1.10 1.02 2/57 14643 Raw data (/proc/14640/stat): 14640 (vallstSAT2005PB) S 14639 14640 1333 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 1794862136 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/14640/statm): 532 242 485 147 0 385 0 [pid=14640] vsize: 2128 Raw data (/proc/14643/stat): 14643 (vallst) R 14640 14640 1333 0 -1 0 790 0 0 0 73687 11402 0 0 17 0 1 0 1794862145 4235264 760 4294967295 134512640 134702520 3221223952 3221223072 134578964 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/14643/statm): 1034 760 413 48 0 986 0 [pid=14643] vsize: 4136 Current children cumulated CPU time (s) 850.9 Current children cumulated vsize (Kb) 6264 [startup+1100.1 s] Raw data (loadavg): 1.13 1.10 1.02 1/57 14643 Raw data (/proc/14640/stat): 14640 (vallstSAT2005PB) S 14639 14640 1333 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 1794862136 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/14640/statm): 532 242 485 147 0 385 0 [pid=14640] vsize: 2128 Raw data (/proc/14643/stat): 14643 (vallst) T 14640 14640 1333 0 -1 0 837 0 0 0 74574 11439 0 0 16 0 1 0 1794862145 4313088 787 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/14643/statm): 1053 787 413 48 0 1005 0 [pid=14643] vsize: 4212 Current children cumulated CPU time (s) 860.14 Current children cumulated vsize (Kb) 6340 [startup+1110.1 s] Raw data (loadavg): 1.11 1.09 1.02 2/57 14643 Raw data (/proc/14640/stat): 14640 (vallstSAT2005PB) S 14639 14640 1333 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 1794862136 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/14640/statm): 532 242 485 147 0 385 0 [pid=14640] vsize: 2128 Raw data (/proc/14643/stat): 14643 (vallst) T 14640 14640 1333 0 -1 0 837 0 0 0 75153 11579 0 0 17 0 1 0 1794862145 4313088 787 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/14643/statm): 1053 787 413 48 0 1005 0 [pid=14643] vsize: 4212 Current children cumulated CPU time (s) 867.33 Current children cumulated vsize (Kb) 6340 [startup+1120.1 s] Raw data (loadavg): 1.09 1.09 1.02 2/57 14643 Raw data (/proc/14640/stat): 14640 (vallstSAT2005PB) S 14639 14640 1333 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 1794862136 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/14640/statm): 532 242 485 147 0 385 0 [pid=14640] vsize: 2128 Raw data (/proc/14643/stat): 14643 (vallst) R 14640 14640 1333 0 -1 0 837 0 0 0 76006 11627 0 0 17 0 1 0 1794862145 4313088 787 4294967295 134512640 134702520 3221223952 3221223072 134578600 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/14643/statm): 1053 787 413 48 0 1005 0 [pid=14643] vsize: 4212 Current children cumulated CPU time (s) 876.34 Current children cumulated vsize (Kb) 6340 [startup+1130.1 s] Raw data (loadavg): 1.08 1.09 1.02 1/57 14643 Raw data (/proc/14640/stat): 14640 (vallstSAT2005PB) S 14639 14640 1333 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 1794862136 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/14640/statm): 532 242 485 147 0 385 0 [pid=14640] vsize: 2128 Raw data (/proc/14643/stat): 14643 (vallst) T 14640 14640 1333 0 -1 0 837 0 0 0 76860 11677 0 0 17 0 1 0 1794862145 4313088 787 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/14643/statm): 1053 787 413 48 0 1005 0 [pid=14643] vsize: 4212 Current children cumulated CPU time (s) 885.38 Current children cumulated vsize (Kb) 6340 [startup+1140.1 s] Raw data (loadavg): 1.07 1.08 1.02 1/57 14643 Raw data (/proc/14640/stat): 14640 (vallstSAT2005PB) S 14639 14640 1333 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 1794862136 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/14640/statm): 532 242 485 147 0 385 0 [pid=14640] vsize: 2128 Raw data (/proc/14643/stat): 14643 (vallst) T 14640 14640 1333 0 -1 0 837 0 0 0 77707 11726 0 0 17 0 1 0 1794862145 4313088 787 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/14643/statm): 1053 787 413 48 0 1005 0 [pid=14643] vsize: 4212 Current children cumulated CPU time (s) 894.34 Current children cumulated vsize (Kb) 6340 [startup+1150.1 s] Raw data (loadavg): 1.06 1.08 1.02 1/57 14643 Raw data (/proc/14640/stat): 14640 (vallstSAT2005PB) S 14639 14640 1333 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 1794862136 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/14640/statm): 532 242 485 147 0 385 0 [pid=14640] vsize: 2128 Raw data (/proc/14643/stat): 14643 (vallst) T 14640 14640 1333 0 -1 0 837 0 0 0 78559 11776 0 0 17 0 1 0 1794862145 4313088 787 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/14643/statm): 1053 787 413 48 0 1005 0 [pid=14643] vsize: 4212 Current children cumulated CPU time (s) 903.36 Current children cumulated vsize (Kb) 6340 [startup+1160.1 s] Raw data (loadavg): 1.05 1.08 1.02 2/57 14643 Raw data (/proc/14640/stat): 14640 (vallstSAT2005PB) S 14639 14640 1333 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 1794862136 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/14640/statm): 532 242 485 147 0 385 0 [pid=14640] vsize: 2128 Raw data (/proc/14643/stat): 14643 (vallst) R 14640 14640 1333 0 -1 0 837 0 0 0 79416 11822 0 0 17 0 1 0 1794862145 4313088 787 4294967295 134512640 134702520 3221223952 3221223072 134578622 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/14643/statm): 1053 787 413 48 0 1005 0 [pid=14643] vsize: 4212 Current children cumulated CPU time (s) 912.39 Current children cumulated vsize (Kb) 6340 [startup+1170.1 s] Raw data (loadavg): 1.04 1.07 1.01 1/57 14643 Raw data (/proc/14640/stat): 14640 (vallstSAT2005PB) S 14639 14640 1333 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 1794862136 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/14640/statm): 532 242 485 147 0 385 0 [pid=14640] vsize: 2128 Raw data (/proc/14643/stat): 14643 (vallst) T 14640 14640 1333 0 -1 0 837 0 0 0 79991 11960 0 0 16 0 1 0 1794862145 4313088 787 4294967295 134512640 134702520 3221223952 3221222824 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/14643/statm): 1053 787 413 48 0 1005 0 [pid=14643] vsize: 4212 Current children cumulated CPU time (s) 919.52 Current children cumulated vsize (Kb) 6340 [startup+1180.1 s] Raw data (loadavg): 1.03 1.07 1.01 2/57 14643 Raw data (/proc/14640/stat): 14640 (vallstSAT2005PB) S 14639 14640 1333 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 1794862136 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/14640/statm): 532 242 485 147 0 385 0 [pid=14640] vsize: 2128 Raw data (/proc/14643/stat): 14643 (vallst) R 14640 14640 1333 0 -1 0 837 0 0 0 80878 11999 0 0 17 0 1 0 1794862145 4313088 787 4294967295 134512640 134702520 3221223952 3221223072 134578768 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/14643/statm): 1053 787 413 48 0 1005 0 [pid=14643] vsize: 4212 Current children cumulated CPU time (s) 928.78 Current children cumulated vsize (Kb) 6340 [startup+1190.1 s] Raw data (loadavg): 1.03 1.07 1.01 2/57 14643 Raw data (/proc/14640/stat): 14640 (vallstSAT2005PB) S 14639 14640 1333 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 1794862136 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/14640/statm): 532 242 485 147 0 385 0 [pid=14640] vsize: 2128 Raw data (/proc/14643/stat): 14643 (vallst) R 14640 14640 1333 0 -1 0 837 0 0 0 81722 12049 0 0 17 0 1 0 1794862145 4313088 787 4294967295 134512640 134702520 3221223952 3221223072 134578832 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/14643/statm): 1053 787 413 48 0 1005 0 [pid=14643] vsize: 4212 Current children cumulated CPU time (s) 937.72 Current children cumulated vsize (Kb) 6340 [startup+1200.11 s] Raw data (loadavg): 1.02 1.07 1.01 2/57 14643 Raw data (/proc/14640/stat): 14640 (vallstSAT2005PB) S 14639 14640 1333 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 1794862136 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/14640/statm): 532 242 485 147 0 385 0 [pid=14640] vsize: 2128 Raw data (/proc/14643/stat): 14643 (vallst) R 14640 14640 1333 0 -1 0 837 0 0 0 82572 12103 0 0 17 0 1 0 1794862145 4313088 787 4294967295 134512640 134702520 3221223952 3221223232 134553479 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/14643/statm): 1053 787 413 48 0 1005 0 [pid=14643] vsize: 4212 Current children cumulated CPU time (s) 946.76 Current children cumulated vsize (Kb) 6340 [startup+1210.11 s] Raw data (loadavg): 1.02 1.06 1.01 2/57 14643 Raw data (/proc/14640/stat): 14640 (vallstSAT2005PB) S 14639 14640 1333 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 1794862136 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/14640/statm): 532 242 485 147 0 385 0 [pid=14640] vsize: 2128 Raw data (/proc/14643/stat): 14643 (vallst) R 14640 14640 1333 0 -1 0 837 0 0 0 83429 12152 0 0 17 0 1 0 1794862145 4313088 787 4294967295 134512640 134702520 3221223952 3221223072 134578604 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/14643/statm): 1053 787 413 48 0 1005 0 [pid=14643] vsize: 4212 Current children cumulated CPU time (s) 955.82 Current children cumulated vsize (Kb) 6340 [startup+1220.11 s] Raw data (loadavg): 1.02 1.06 1.01 2/57 14643 Raw data (/proc/14640/stat): 14640 (vallstSAT2005PB) S 14639 14640 1333 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 1794862136 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/14640/statm): 532 242 485 147 0 385 0 [pid=14640] vsize: 2128 Raw data (/proc/14643/stat): 14643 (vallst) R 14640 14640 1333 0 -1 0 837 0 0 0 84284 12201 0 0 17 0 1 0 1794862145 4313088 787 4294967295 134512640 134702520 3221223952 3221223072 134578622 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/14643/statm): 1053 787 413 48 0 1005 0 [pid=14643] vsize: 4212 Current children cumulated CPU time (s) 964.86 Current children cumulated vsize (Kb) 6340 [startup+1230.11 s] Raw data (loadavg): 1.01 1.06 1.01 2/57 14643 Raw data (/proc/14640/stat): 14640 (vallstSAT2005PB) S 14639 14640 1333 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 1794862136 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/14640/statm): 532 242 485 147 0 385 0 [pid=14640] vsize: 2128 Raw data (/proc/14643/stat): 14643 (vallst) R 14640 14640 1333 0 -1 0 837 0 0 0 85134 12251 0 0 17 0 1 0 1794862145 4313088 787 4294967295 134512640 134702520 3221223952 3221223072 134572622 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/14643/statm): 1053 787 413 48 0 1005 0 [pid=14643] vsize: 4212 Current children cumulated CPU time (s) 973.86 Current children cumulated vsize (Kb) 6340 [startup+1240.11 s] Raw data (loadavg): 1.01 1.06 1.01 2/57 14643 Raw data (/proc/14640/stat): 14640 (vallstSAT2005PB) S 14639 14640 1333 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 1794862136 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/14640/statm): 532 242 485 147 0 385 0 [pid=14640] vsize: 2128 Raw data (/proc/14643/stat): 14643 (vallst) R 14640 14640 1333 0 -1 0 837 0 0 0 85694 12396 0 0 17 0 1 0 1794862145 4313088 787 4294967295 134512640 134702520 3221223952 3221223072 134578750 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/14643/statm): 1053 787 413 48 0 1005 0 [pid=14643] vsize: 4212 Current children cumulated CPU time (s) 980.91 Current children cumulated vsize (Kb) 6340 [startup+1250.11 s] Raw data (loadavg): 1.01 1.05 1.01 2/57 14643 Raw data (/proc/14640/stat): 14640 (vallstSAT2005PB) S 14639 14640 1333 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 1794862136 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/14640/statm): 532 242 485 147 0 385 0 [pid=14640] vsize: 2128 Raw data (/proc/14643/stat): 14643 (vallst) R 14640 14640 1333 0 -1 0 837 0 0 0 86539 12447 0 0 17 0 1 0 1794862145 4313088 787 4294967295 134512640 134702520 3221223952 3221223072 134588577 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/14643/statm): 1053 787 413 48 0 1005 0 [pid=14643] vsize: 4212 Current children cumulated CPU time (s) 989.87 Current children cumulated vsize (Kb) 6340 [startup+1260.11 s] Raw data (loadavg): 1.01 1.05 1.01 2/57 14643 Raw data (/proc/14640/stat): 14640 (vallstSAT2005PB) S 14639 14640 1333 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 1794862136 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/14640/statm): 532 242 485 147 0 385 0 [pid=14640] vsize: 2128 Raw data (/proc/14643/stat): 14643 (vallst) R 14640 14640 1333 0 -1 0 837 0 0 0 87387 12499 0 0 17 0 1 0 1794862145 4313088 787 4294967295 134512640 134702520 3221223952 3221223072 134578600 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/14643/statm): 1053 787 413 48 0 1005 0 [pid=14643] vsize: 4212 Current children cumulated CPU time (s) 998.87 Current children cumulated vsize (Kb) 6340 [startup+1270.11 s] Raw data (loadavg): 1.00 1.05 1.00 2/57 14643 Raw data (/proc/14640/stat): 14640 (vallstSAT2005PB) S 14639 14640 1333 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 1794862136 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/14640/statm): 532 242 485 147 0 385 0 [pid=14640] vsize: 2128 Raw data (/proc/14643/stat): 14643 (vallst) R 14640 14640 1333 0 -1 0 837 0 0 0 88237 12546 0 0 17 0 1 0 1794862145 4313088 787 4294967295 134512640 134702520 3221223952 3221223072 134578768 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/14643/statm): 1053 787 413 48 0 1005 0 [pid=14643] vsize: 4212 Current children cumulated CPU time (s) 1007.84 Current children cumulated vsize (Kb) 6340 [startup+1280.11 s] Raw data (loadavg): 1.00 1.05 1.00 1/57 14643 Raw data (/proc/14640/stat): 14640 (vallstSAT2005PB) S 14639 14640 1333 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 1794862136 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/14640/statm): 532 242 485 147 0 385 0 [pid=14640] vsize: 2128 Raw data (/proc/14643/stat): 14643 (vallst) T 14640 14640 1333 0 -1 0 837 0 0 0 89076 12599 0 0 17 0 1 0 1794862145 4313088 787 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/14643/statm): 1053 787 413 48 0 1005 0 [pid=14643] vsize: 4212 Current children cumulated CPU time (s) 1016.76 Current children cumulated vsize (Kb) 6340 [startup+1290.11 s] Raw data (loadavg): 1.00 1.05 1.00 2/57 14643 Raw data (/proc/14640/stat): 14640 (vallstSAT2005PB) S 14639 14640 1333 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 1794862136 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/14640/statm): 532 242 485 147 0 385 0 [pid=14640] vsize: 2128 Raw data (/proc/14643/stat): 14643 (vallst) R 14640 14640 1333 0 -1 0 837 0 0 0 89928 12648 0 0 17 0 1 0 1794862145 4313088 787 4294967295 134512640 134702520 3221223952 3221223072 134578622 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/14643/statm): 1053 787 413 48 0 1005 0 [pid=14643] vsize: 4212 Current children cumulated CPU time (s) 1025.77 Current children cumulated vsize (Kb) 6340 [startup+1300.11 s] Raw data (loadavg): 1.08 1.06 1.01 1/57 14643 Raw data (/proc/14640/stat): 14640 (vallstSAT2005PB) S 14639 14640 1333 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 1794862136 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/14640/statm): 532 242 485 147 0 385 0 [pid=14640] vsize: 2128 Raw data (/proc/14643/stat): 14643 (vallst) T 14640 14640 1333 0 -1 0 837 0 0 0 90559 12768 0 0 16 0 1 0 1794862145 4313088 787 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/14643/statm): 1053 787 413 48 0 1005 0 [pid=14643] vsize: 4212 Current children cumulated CPU time (s) 1033.28 Current children cumulated vsize (Kb) 6340 [startup+1310.12 s] Raw data (loadavg): 1.07 1.06 1.01 2/57 14643 Raw data (/proc/14640/stat): 14640 (vallstSAT2005PB) S 14639 14640 1333 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 1794862136 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/14640/statm): 532 242 485 147 0 385 0 [pid=14640] vsize: 2128 Raw data (/proc/14643/stat): 14643 (vallst) R 14640 14640 1333 0 -1 0 837 0 0 0 91384 12825 0 0 17 0 1 0 1794862145 4313088 787 4294967295 134512640 134702520 3221223952 3221223072 134578622 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/14643/statm): 1053 787 413 48 0 1005 0 [pid=14643] vsize: 4212 Current children cumulated CPU time (s) 1042.1 Current children cumulated vsize (Kb) 6340 [startup+1320.12 s] Raw data (loadavg): 1.06 1.06 1.00 2/57 14643 Raw data (/proc/14640/stat): 14640 (vallstSAT2005PB) S 14639 14640 1333 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 1794862136 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/14640/statm): 532 242 485 147 0 385 0 [pid=14640] vsize: 2128 Raw data (/proc/14643/stat): 14643 (vallst) R 14640 14640 1333 0 -1 0 837 0 0 0 92169 12897 0 0 17 0 1 0 1794862145 4313088 787 4294967295 134512640 134702520 3221223952 3221223072 134588472 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/14643/statm): 1053 787 413 48 0 1005 0 [pid=14643] vsize: 4212 Current children cumulated CPU time (s) 1050.67 Current children cumulated vsize (Kb) 6340 [startup+1330.12 s] Raw data (loadavg): 1.05 1.05 1.00 1/57 14643 Raw data (/proc/14640/stat): 14640 (vallstSAT2005PB) S 14639 14640 1333 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 1794862136 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/14640/statm): 532 242 485 147 0 385 0 [pid=14640] vsize: 2128 Raw data (/proc/14643/stat): 14643 (vallst) T 14640 14640 1333 0 -1 0 837 0 0 0 93011 12947 0 0 17 0 1 0 1794862145 4313088 787 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/14643/statm): 1053 787 413 48 0 1005 0 [pid=14643] vsize: 4212 Current children cumulated CPU time (s) 1059.59 Current children cumulated vsize (Kb) 6340 [startup+1340.12 s] Raw data (loadavg): 1.04 1.05 1.00 1/57 14643 Raw data (/proc/14640/stat): 14640 (vallstSAT2005PB) S 14639 14640 1333 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 1794862136 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/14640/statm): 532 242 485 147 0 385 0 [pid=14640] vsize: 2128 Raw data (/proc/14643/stat): 14643 (vallst) T 14640 14640 1333 0 -1 0 837 0 0 0 93558 13087 0 0 15 0 1 0 1794862145 4313088 787 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/14643/statm): 1053 787 413 48 0 1005 0 [pid=14643] vsize: 4212 Current children cumulated CPU time (s) 1066.46 Current children cumulated vsize (Kb) 6340 [startup+1350.12 s] Raw data (loadavg): 1.03 1.05 1.00 1/57 14643 Raw data (/proc/14640/stat): 14640 (vallstSAT2005PB) S 14639 14640 1333 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 1794862136 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/14640/statm): 532 242 485 147 0 385 0 [pid=14640] vsize: 2128 Raw data (/proc/14643/stat): 14643 (vallst) T 14640 14640 1333 0 -1 0 837 0 0 0 93974 13276 0 0 16 0 1 0 1794862145 4313088 787 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/14643/statm): 1053 787 413 48 0 1005 0 [pid=14643] vsize: 4212 Current children cumulated CPU time (s) 1072.51 Current children cumulated vsize (Kb) 6340 [startup+1360.12 s] Raw data (loadavg): 1.03 1.05 1.00 1/57 14643 Raw data (/proc/14640/stat): 14640 (vallstSAT2005PB) S 14639 14640 1333 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 1794862136 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/14640/statm): 532 242 485 147 0 385 0 [pid=14640] vsize: 2128 Raw data (/proc/14643/stat): 14643 (vallst) T 14640 14640 1333 0 -1 0 837 0 0 0 94476 13436 0 0 16 0 1 0 1794862145 4313088 787 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/14643/statm): 1053 787 413 48 0 1005 0 [pid=14643] vsize: 4212 Current children cumulated CPU time (s) 1079.13 Current children cumulated vsize (Kb) 6340 [startup+1370.12 s] Raw data (loadavg): 1.02 1.05 1.00 1/57 14643 Raw data (/proc/14640/stat): 14640 (vallstSAT2005PB) S 14639 14640 1333 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 1794862136 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/14640/statm): 532 242 485 147 0 385 0 [pid=14640] vsize: 2128 Raw data (/proc/14643/stat): 14643 (vallst) T 14640 14640 1333 0 -1 0 837 0 0 0 95039 13580 0 0 16 0 1 0 1794862145 4313088 787 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/14643/statm): 1053 787 413 48 0 1005 0 [pid=14643] vsize: 4212 Current children cumulated CPU time (s) 1086.2 Current children cumulated vsize (Kb) 6340 [startup+1380.12 s] Raw data (loadavg): 1.02 1.04 1.00 1/57 14643 Raw data (/proc/14640/stat): 14640 (vallstSAT2005PB) S 14639 14640 1333 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 1794862136 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/14640/statm): 532 242 485 147 0 385 0 [pid=14640] vsize: 2128 Raw data (/proc/14643/stat): 14643 (vallst) T 14640 14640 1333 0 -1 0 837 0 0 0 95487 13749 0 0 16 0 1 0 1794862145 4313088 787 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/14643/statm): 1053 787 413 48 0 1005 0 [pid=14643] vsize: 4212 Current children cumulated CPU time (s) 1092.37 Current children cumulated vsize (Kb) 6340 [startup+1390.12 s] Raw data (loadavg): 1.02 1.04 1.00 2/57 14643 Raw data (/proc/14640/stat): 14640 (vallstSAT2005PB) S 14639 14640 1333 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 1794862136 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/14640/statm): 532 242 485 147 0 385 0 [pid=14640] vsize: 2128 Raw data (/proc/14643/stat): 14643 (vallst) R 14640 14640 1333 0 -1 0 837 0 0 0 96154 13854 0 0 17 0 1 0 1794862145 4313088 787 4294967295 134512640 134702520 3221223952 3221223072 134578750 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/14643/statm): 1053 787 413 48 0 1005 0 [pid=14643] vsize: 4212 Current children cumulated CPU time (s) 1100.09 Current children cumulated vsize (Kb) 6340 [startup+1400.12 s] Raw data (loadavg): 1.01 1.04 1.00 2/57 14643 Raw data (/proc/14640/stat): 14640 (vallstSAT2005PB) S 14639 14640 1333 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 1794862136 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/14640/statm): 532 242 485 147 0 385 0 [pid=14640] vsize: 2128 Raw data (/proc/14643/stat): 14643 (vallst) R 14640 14640 1333 0 -1 0 837 0 0 0 96646 14018 0 0 17 0 1 0 1794862145 4313088 787 4294967295 134512640 134702520 3221223952 3221223072 134578611 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/14643/statm): 1053 787 413 48 0 1005 0 [pid=14643] vsize: 4212 Current children cumulated CPU time (s) 1106.65 Current children cumulated vsize (Kb) 6340 [startup+1410.12 s] Raw data (loadavg): 1.01 1.04 1.00 2/57 14643 Raw data (/proc/14640/stat): 14640 (vallstSAT2005PB) S 14639 14640 1333 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 1794862136 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/14640/statm): 532 242 485 147 0 385 0 [pid=14640] vsize: 2128 Raw data (/proc/14643/stat): 14643 (vallst) R 14640 14640 1333 0 -1 0 837 0 0 0 97310 14131 0 0 17 0 1 0 1794862145 4313088 787 4294967295 134512640 134702520 3221223952 3221223072 134578622 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/14643/statm): 1053 787 413 48 0 1005 0 [pid=14643] vsize: 4212 Current children cumulated CPU time (s) 1114.42 Current children cumulated vsize (Kb) 6340 [startup+1420.13 s] Raw data (loadavg): 1.01 1.04 1.00 1/57 14643 Raw data (/proc/14640/stat): 14640 (vallstSAT2005PB) S 14639 14640 1333 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 1794862136 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/14640/statm): 532 242 485 147 0 385 0 [pid=14640] vsize: 2128 Raw data (/proc/14643/stat): 14643 (vallst) T 14640 14640 1333 0 -1 0 837 0 0 0 97816 14287 0 0 17 0 1 0 1794862145 4313088 787 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/14643/statm): 1053 787 413 48 0 1005 0 [pid=14643] vsize: 4212 Current children cumulated CPU time (s) 1121.04 Current children cumulated vsize (Kb) 6340 [startup+1430.13 s] Raw data (loadavg): 1.01 1.03 1.00 1/57 14643 Raw data (/proc/14640/stat): 14640 (vallstSAT2005PB) S 14639 14640 1333 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 1794862136 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/14640/statm): 532 242 485 147 0 385 0 [pid=14640] vsize: 2128 Raw data (/proc/14643/stat): 14643 (vallst) T 14640 14640 1333 0 -1 0 837 0 0 0 98484 14389 0 0 16 0 1 0 1794862145 4313088 787 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/14643/statm): 1053 787 413 48 0 1005 0 [pid=14643] vsize: 4212 Current children cumulated CPU time (s) 1128.74 Current children cumulated vsize (Kb) 6340 [startup+1440.13 s] Raw data (loadavg): 1.00 1.03 1.00 1/57 14643 Raw data (/proc/14640/stat): 14640 (vallstSAT2005PB) S 14639 14640 1333 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 1794862136 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/14640/statm): 532 242 485 147 0 385 0 [pid=14640] vsize: 2128 Raw data (/proc/14643/stat): 14643 (vallst) T 14640 14640 1333 0 -1 0 837 0 0 0 98981 14554 0 0 16 0 1 0 1794862145 4313088 787 4294967295 134512640 134702520 3221223952 3221222824 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/14643/statm): 1053 787 413 48 0 1005 0 [pid=14643] vsize: 4212 Current children cumulated CPU time (s) 1135.36 Current children cumulated vsize (Kb) 6340 [startup+1450.13 s] Raw data (loadavg): 1.00 1.03 1.00 2/57 14643 Raw data (/proc/14640/stat): 14640 (vallstSAT2005PB) S 14639 14640 1333 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 1794862136 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/14640/statm): 532 242 485 147 0 385 0 [pid=14640] vsize: 2128 Raw data (/proc/14643/stat): 14643 (vallst) R 14640 14640 1333 0 -1 0 837 0 0 0 99698 14649 0 0 17 0 1 0 1794862145 4313088 787 4294967295 134512640 134702520 3221223952 3221223072 134578765 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/14643/statm): 1053 787 413 48 0 1005 0 [pid=14643] vsize: 4212 Current children cumulated CPU time (s) 1143.48 Current children cumulated vsize (Kb) 6340 [startup+1460.13 s] Raw data (loadavg): 1.00 1.03 1.00 1/57 14643 Raw data (/proc/14640/stat): 14640 (vallstSAT2005PB) S 14639 14640 1333 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 1794862136 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/14640/statm): 532 242 485 147 0 385 0 [pid=14640] vsize: 2128 Raw data (/proc/14643/stat): 14643 (vallst) T 14640 14640 1333 0 -1 0 837 0 0 0 100403 14742 0 0 16 0 1 0 1794862145 4313088 787 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/14643/statm): 1053 787 413 48 0 1005 0 [pid=14643] vsize: 4212 Current children cumulated CPU time (s) 1151.46 Current children cumulated vsize (Kb) 6340 [startup+1470.13 s] Raw data (loadavg): 1.00 1.03 1.00 2/57 14643 Raw data (/proc/14640/stat): 14640 (vallstSAT2005PB) S 14639 14640 1333 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 1794862136 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/14640/statm): 532 242 485 147 0 385 0 [pid=14640] vsize: 2128 Raw data (/proc/14643/stat): 14643 (vallst) R 14640 14640 1333 0 -1 0 837 0 0 0 100976 14883 0 0 17 0 1 0 1794862145 4313088 787 4294967295 134512640 134702520 3221223952 3221223232 134552361 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/14643/statm): 1053 787 413 48 0 1005 0 [pid=14643] vsize: 4212 Current children cumulated CPU time (s) 1158.6 Current children cumulated vsize (Kb) 6340 [startup+1480.13 s] Raw data (loadavg): 1.08 1.04 1.01 2/57 14643 Raw data (/proc/14640/stat): 14640 (vallstSAT2005PB) S 14639 14640 1333 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 1794862136 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/14640/statm): 532 242 485 147 0 385 0 [pid=14640] vsize: 2128 Raw data (/proc/14643/stat): 14643 (vallst) R 14640 14640 1333 0 -1 0 837 0 0 0 101694 14975 0 0 17 0 1 0 1794862145 4313088 787 4294967295 134512640 134702520 3221223952 3221223072 134578768 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/14643/statm): 1053 787 413 48 0 1005 0 [pid=14643] vsize: 4212 Current children cumulated CPU time (s) 1166.7 Current children cumulated vsize (Kb) 6340 [startup+1490.13 s] Raw data (loadavg): 1.07 1.04 1.00 1/57 14643 Raw data (/proc/14640/stat): 14640 (vallstSAT2005PB) S 14639 14640 1333 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 1794862136 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/14640/statm): 532 242 485 147 0 385 0 [pid=14640] vsize: 2128 Raw data (/proc/14643/stat): 14643 (vallst) T 14640 14640 1333 0 -1 0 837 0 0 0 102220 15129 0 0 16 0 1 0 1794862145 4313088 787 4294967295 134512640 134702520 3221223952 3221222824 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/14643/statm): 1053 787 413 48 0 1005 0 [pid=14643] vsize: 4212 Current children cumulated CPU time (s) 1173.5 Current children cumulated vsize (Kb) 6340 [startup+1500.13 s] Raw data (loadavg): 1.06 1.04 1.00 1/57 14643 Raw data (/proc/14640/stat): 14640 (vallstSAT2005PB) S 14639 14640 1333 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 1794862136 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/14640/statm): 532 242 485 147 0 385 0 [pid=14640] vsize: 2128 Raw data (/proc/14643/stat): 14643 (vallst) T 14640 14640 1333 0 -1 0 837 0 0 0 102972 15215 0 0 16 0 1 0 1794862145 4313088 787 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/14643/statm): 1053 787 413 48 0 1005 0 [pid=14643] vsize: 4212 Current children cumulated CPU time (s) 1181.88 Current children cumulated vsize (Kb) 6340 [startup+1510.13 s] Raw data (loadavg): 1.05 1.04 1.00 2/57 14643 Raw data (/proc/14640/stat): 14640 (vallstSAT2005PB) S 14639 14640 1333 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 1794862136 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/14640/statm): 532 242 485 147 0 385 0 [pid=14640] vsize: 2128 Raw data (/proc/14643/stat): 14643 (vallst) R 14640 14640 1333 0 -1 0 837 0 0 0 103693 15305 0 0 16 0 1 0 1794862145 4313088 787 4294967295 134512640 134702520 3221223952 3221223072 134578523 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/14643/statm): 1053 787 413 48 0 1005 0 [pid=14643] vsize: 4212 Current children cumulated CPU time (s) 1189.99 Current children cumulated vsize (Kb) 6340 [startup+1520.13 s] Raw data (loadavg): 1.04 1.04 1.00 1/57 14643 Raw data (/proc/14640/stat): 14640 (vallstSAT2005PB) S 14639 14640 1333 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 1794862136 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/14640/statm): 532 242 485 147 0 385 0 [pid=14640] vsize: 2128 Raw data (/proc/14643/stat): 14643 (vallst) T 14640 14640 1333 0 -1 0 837 0 0 0 104213 15455 0 0 16 0 1 0 1794862145 4313088 787 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/14643/statm): 1053 787 413 48 0 1005 0 [pid=14643] vsize: 4212 Current children cumulated CPU time (s) 1196.69 Current children cumulated vsize (Kb) 6340 [startup+1530.14 s] Raw data (loadavg): 1.11 1.05 1.01 1/57 14643 Raw data (/proc/14640/stat): 14640 (vallstSAT2005PB) S 14639 14640 1333 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 1794862136 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/14640/statm): 532 242 485 147 0 385 0 [pid=14640] vsize: 2128 Raw data (/proc/14643/stat): 14643 (vallst) T 14640 14640 1333 0 -1 0 837 0 0 0 104957 15536 0 0 16 0 1 0 1794862145 4313088 787 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/14643/statm): 1053 787 413 48 0 1005 0 [pid=14643] vsize: 4212 Current children cumulated CPU time (s) 1204.94 Current children cumulated vsize (Kb) 6340 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1530.14 s] Raw data (loadavg): 1.11 1.05 1.01 1/57 14643 Raw data (/proc/14640/stat): 14640 (vallstSAT2005PB) S 14639 14640 1333 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 1794862136 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/14640/statm): 532 242 485 147 0 385 0 [pid=14640] vsize: 2128 Raw data (/proc/14643/stat): 14643 (vallst) T 14640 14640 1333 0 -1 0 837 0 0 0 104957 15536 0 0 16 0 1 0 1794862145 4313088 787 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/14643/statm): 1053 787 413 48 0 1005 0 [pid=14643] vsize: 4212 Current children cumulated CPU time (s) 1204.94 Current children cumulated vsize (Kb) 6340 Sending SIGTERM to -14640 Sleeping 2 seconds open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf New process pid=14645 New process pid=14646 open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options execve syscall for /bin/ps executable 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 One traced child (pid=14643) exited with status: 3 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 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/35/stat open syscall for file /proc/35/status open syscall for file /proc/35/cmdline open syscall for file /proc/35/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/825/stat open syscall for file /proc/825/status open syscall for file /proc/825/cmdline open syscall for file /proc/825/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/1259/stat open syscall for file /proc/1259/status open syscall for file /proc/1259/cmdline open syscall for file /proc/1259/environ open syscall for file /proc/1263/stat open syscall for file /proc/1263/status open syscall for file /proc/1263/cmdline open syscall for file /proc/1263/environ open syscall for file /proc/1285/stat open syscall for file /proc/1285/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/1285/cmdline open syscall for file /proc/1285/environ open syscall for file /proc/1315/stat open syscall for file /proc/1315/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/1315/cmdline open syscall for file /proc/1315/environ open syscall for file /proc/1359/stat open syscall for file /proc/1359/status open syscall for file /proc/1359/cmdline open syscall for file /proc/1359/environ open syscall for file /proc/1517/stat open syscall for file /proc/1517/status open syscall for file /proc/1517/cmdline open syscall for file /proc/1517/environ open syscall for file /proc/1541/stat open syscall for file /proc/1541/status open syscall for file /proc/1541/cmdline open syscall for file /proc/1541/environ open syscall for file /proc/1564/stat open syscall for file /proc/1564/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/1564/cmdline open syscall for file /proc/1564/environ open syscall for file /proc/1658/stat open syscall for file /proc/1658/status open syscall for file /proc/1658/cmdline open syscall for file /proc/1658/environ open syscall for file /proc/1659/stat open syscall for file /proc/1659/status open syscall for file /proc/1659/cmdline open syscall for file /proc/1659/environ open syscall for file /proc/1660/stat open syscall for file /proc/1660/status open syscall for file /proc/1660/cmdline open syscall for file /proc/1660/environ open syscall for file /proc/1661/stat open syscall for file /proc/1661/status open syscall for file /proc/1661/cmdline open syscall for file /proc/1661/environ open syscall for file /proc/1662/stat open syscall for file /proc/1662/status open syscall for file /proc/1662/cmdline open syscall for file /proc/1662/environ open syscall for file /proc/1663/stat open syscall for file /proc/1663/status open syscall for file /proc/1663/cmdline open syscall for file /proc/1663/environ open syscall for file /proc/1664/stat open syscall for file /proc/1664/status open syscall for file /proc/1664/cmdline open syscall for file /proc/1664/environ open syscall for file /proc/22415/stat open syscall for file /proc/22415/status open syscall for file /proc/22415/cmdline open syscall for file /proc/22415/environ open syscall for file /proc/26525/stat open syscall for file /proc/26525/status open syscall for file /proc/26525/cmdline open syscall for file /proc/26525/environ open syscall for file /proc/26552/stat open syscall for file /proc/26552/status open syscall for file /proc/26552/cmdline open syscall for file /proc/26552/environ open syscall for file /proc/26576/stat open syscall for file /proc/26576/status open syscall for file /proc/26576/cmdline open syscall for file /proc/26576/environ open syscall for file /proc/16566/stat open syscall for file /proc/16566/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/16566/cmdline open syscall for file /proc/16566/environ open syscall for file /proc/16602/stat open syscall for file /proc/16602/status open syscall for file /proc/16602/cmdline open syscall for file /proc/16602/environ open syscall for file /proc/1333/stat open syscall for file /proc/1333/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/1333/cmdline open syscall for file /proc/1333/environ open syscall for file /proc/1334/stat open syscall for file /proc/1334/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/1334/cmdline open syscall for file /proc/1334/environ open syscall for file /proc/1343/stat open syscall for file /proc/1343/status open syscall for file /proc/1343/cmdline open syscall for file /proc/1343/environ open syscall for file /proc/14603/stat open syscall for file /proc/14603/status open syscall for file /proc/14603/cmdline open syscall for file /proc/14603/environ open syscall for file /proc/14639/stat open syscall for file /proc/14639/status open syscall for file /proc/14639/cmdline open syscall for file /proc/14639/environ open syscall for file /proc/14640/stat open syscall for file /proc/14640/status open syscall for file /proc/14640/cmdline open syscall for file /proc/14640/environ open syscall for file /proc/14645/stat open syscall for file /proc/14645/status open syscall for file /proc/14645/cmdline open syscall for file /proc/14645/environ open syscall for file /proc/14646/stat open syscall for file /proc/14646/status open syscall for file /proc/14646/cmdline open syscall for file /proc/14646/environ One traced child (pid=14645) exited with status: 0 One traced child (pid=14646) exited with status: 0 New process pid=14647 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=14647) exited with status: 0 New process pid=14648 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=14648) exited with status: 0 New process pid=14649 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=14649) exited with status: 0 New process pid=14650 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=14650) exited with status: 0 One traced child (pid=14640) 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): 1530.69 CPU time (s): 1205.09 CPU user time (s): 1049.62 CPU system time (s): 155.465 CPU usage (%): 78.7284 Max. virtual memory (cumulated for all children) (Kb): 6340
ERROR: no interpretation found !