Name | mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-gt2.opb |
MD5SUM | f1382105ee9fb79777762a53cf6a73c1 |
Bench Category | optimization, medium integers (OPTMEDINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 21166 |
Optimality of the best value was proved | YES |
Number of terms in the objective function | 304 |
Biggest coefficient in the objective function | 62376 |
Number of bits for the biggest coefficient in the objective function | 16 |
Sum of the numbers in the objective function | 3092598 |
Number of bits of the sum of numbers in the objective function | 22 |
Biggest number in a constraint | 62376 |
Number of bits of the biggest number in a constraint | 16 |
Biggest sum of numbers in a constraint | 3092598 |
Number of bits of the biggest sum of numbers | 22 |
Best result obtained on this benchmark | OPTIMUM FOUND |
Best CPU time to get the best result obtained on this benchmark | 18.2432 |
Number of variables | 556 |
Total number of constraints | 217 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 26 |
Number of constraints which are nor clauses,nor cardinality constraints | 191 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 48 |
LAUNCH ON wulflinc7 THE 2005-09-19 20:56:32 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=7666 boxname=wulflinc7 idbench=634 idsolver=7 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: f1382105ee9fb79777762a53cf6a73c1 /oldhome/oroussel/tmp/wulflinc7/normalized-mps-v2-20-10-gt2.opb REAL COMMAND: vallstSAT2005PB.sh /oldhome/oroussel/tmp/wulflinc7/normalized-mps-v2-20-10-gt2.opb 0 IDLAUNCH: 7666 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.050 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 : 890.88 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.050 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 899.07 /proc/meminfo: MemTotal: 1034660 kB MemFree: 900012 kB Buffers: 30932 kB Cached: 78424 kB SwapCached: 736 kB Active: 45116 kB Inactive: 66856 kB HighTotal: 131008 kB HighFree: 48888 kB LowTotal: 903652 kB LowFree: 851124 kB SwapTotal: 2097136 kB SwapFree: 2095896 kB Dirty: 60 kB Writeback: 0 kB Mapped: 5720 kB Slab: 16916 kB Committed_AS: 64168 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-09-19 21:25:43 (client local time) WITH STATUS 0 IN 1206.53 SECONDS stats: 7666 7 1206.53 0
1: seed: 0 Nr of vars set: 0 (#equs: 0) Nr of vars set: 11 (#equs: 1) #decisions: 305; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 182, #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: 2973019 (119578:>=*); #decisions: 246; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 182, #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: 2983759 (108838:>=*); #decisions: 90; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 182, #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: 2984749 (107848:>=*); #decisions: 124; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 182, #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: 2987849 (104748:>=*); #decisions: 131; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 182, #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: 2988501 (104096:>=*); #decisions: 76; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 182, #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: 2990949 (101648:>=*); #decisions: 78; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 182, #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: 2991939 (100658:>=*); #decisions: 70; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 182, #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: 2992099 (100498:>=*); #decisions: 108; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 182, #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: 2995039 (97558:>=*); #decisions: 49; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 182, #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: 2995454 (97143:>=*); #decisions: 77; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 182, #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: 2998139 (94458:>=*); #decisions: 155; #end-nodes: 80; #proof improvement attempts: 0; #restarts: 1 Current batch, end-nodes: 0 / 80 (80) #axs: 182, #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: 2998304 (94293:>=*); #decisions: 27; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 182, #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: 2998699 (93898:>=*); #decisions: 38; #end-nodes: 8; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 8 / 80 (80) #axs: 182, #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: 2999956 (92641:>=*); #decisions: 40; #end-nodes: 11; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 11 / 80 (80) #axs: 182, #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: 3000694 (91903:>=*); #decisions: 39; #end-nodes: 1; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 1 / 80 (80) #axs: 182, #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: 3000857 (91740:>=*); #decisions: 31; #end-nodes: 2; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 2 / 80 (80) #axs: 182, #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: 3001653 (90944:>=*); #decisions: 41; #end-nodes: 13; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 13 / 80 (80) #axs: 182, #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: 3002048 (90549:>=*); #decisions: 100; #end-nodes: 67; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 67 / 80 (80) #axs: 182, #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: 3002146 (90451:>=*); #decisions: 49; #end-nodes: 19; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 19 / 80 (80) #axs: 182, #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: 3002227 (90370:>=*); #decisions: 139; #end-nodes: 84; #proof improvement attempts: 0; #restarts: 1 Current batch, end-nodes: 3 / 80 (80) #axs: 182, #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: 3003379 (89218:>=*); #decisions: 171; #end-nodes: 81; #proof improvement attempts: 0; #restarts: 1 Current batch, end-nodes: 0 / 80 (80) #axs: 182, #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: 3003491 (89106:>=*); #decisions: 68; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 182, #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: 3005939 (86658:>=*); #decisions: 55; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 182, #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: 3006334 (86263:>=*); #decisions: 31; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 182, #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: 3007591 (85006:>=*); #decisions: 29; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 182, #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: 3008478 (84119:>=*); #decisions: 55; #end-nodes: 1; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 1 / 80 (80) #axs: 182, #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: 3009268 (83329:>=*); #decisions: 64; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 182, #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: 3010130 (82467:>=*); #decisions: 34; #end-nodes: 1; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 1 / 80 (80) #axs: 182, #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: 3010525 (82072:>=*); #decisions: 206; #end-nodes: 80; #proof improvement attempts: 0; #restarts: 1 Current batch, end-nodes: 0 / 80 (80) #axs: 182, #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: 3010705 (81892:>=*); #decisions: 94; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 182, #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: 3011428 (81169:>=*); #decisions: 57; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 182, #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: 3012685 (79912:>=*); #decisions: 66; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 182, #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: 3014064 (78533:>=*); #decisions: 49; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 182, #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: 3014640 (77957:>=*); #decisions: 36; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 182, #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: 3015897 (76700:>=*); #decisions: 35; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 182, #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: 3016456 (76141:>=*); #decisions: 35; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 182, #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: 3017713 (74884:>=*); #decisions: 24; #end-nodes: 1; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 1 / 80 (80) #axs: 182, #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: 3018284 (74313:>=*); #decisions: 36; #end-nodes: 1; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 1 / 80 (80) #axs: 182, #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: 3018463 (74134:>=*); #decisions: 25; #end-nodes: 2; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 2 / 80 (80) #axs: 182, #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: 3019639 (72958:>=*); #decisions: 25; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 182, #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: 3020169 (72428:>=*); #decisions: 62; #end-nodes: 29; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 29 / 80 (80) #axs: 182, #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: 3020316 (72281:>=*); #decisions: 30; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 182, #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: 3020892 (71705:>=*); #decisions: 1077; #end-nodes: 734; #proof improvement attempts: 0; #restarts: 9 Current batch, end-nodes: 0 / 82 (82) #axs: 182, #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: 3022501 (70096:>=*); #decisions: 281; #end-nodes: 162; #proof improvement attempts: 0; #restarts: 2 Current batch, end-nodes: 0 / 80 (80) #axs: 182, #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: 3024071 (68526:>=*); #decisions: 27; #end-nodes: 1; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 1 / 80 (80) #axs: 182, #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: 3024647 (67950:>=*); #decisions: 258; #end-nodes: 174; #proof improvement attempts: 0; #restarts: 2 Current batch, end-nodes: 13 / 80 (80) #axs: 182, #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: 3025766 (66831:>=*); #decisions: 74; #end-nodes: 44; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 44 / 80 (80) #axs: 182, #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: 3026174 (66423:>=*); #decisions: 779; #end-nodes: 527; #proof improvement attempts: 0; #restarts: 6 Current batch, end-nodes: 42 / 81 (81) #axs: 182, #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: 3027197 (65400:>=*); #decisions: 2322; #end-nodes: 1578; #proof improvement attempts: 0; #restarts: 19 Current batch, end-nodes: 4 / 84 (84) #axs: 182, #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: 3027740 (64857:>=*); #decisions: 22; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 182, #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: 3028997 (63600:>=*); #decisions: 28; #end-nodes: 7; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 7 / 80 (80) #axs: 182, #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: 3029492 (63105:>=*); #decisions: 53; #end-nodes: 2; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 2 / 80 (80) #axs: 182, #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: 3029652 (62945:>=*); #decisions: 75; #end-nodes: 1; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 1 / 80 (80) #axs: 182, #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: 3029683 (62914:>=*); #decisions: 43; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 182, #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: 3030078 (62519:>=*); #decisions: 31; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 182, #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: 3031335 (61262:>=*); #decisions: 41; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 182, #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: 3032592 (60005:>=*); #decisions: 30; #end-nodes: 9; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 9 / 80 (80) #axs: 182, #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: 3033292 (59305:>=*); #decisions: 34; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 182, #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: 3033687 (58910:>=*); #decisions: 21; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 182, #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: 3034944 (57653:>=*); #decisions: 3321; #end-nodes: 2285; #proof improvement attempts: 0; #restarts: 26 Current batch, end-nodes: 68 / 86 (86) #axs: 182, #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: 3036177 (56420:>=*); #decisions: 34; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 182, #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: 3036829 (55768:>=*); #decisions: 56; #end-nodes: 31; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 31 / 80 (80) #axs: 182, #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: 3037294 (55303:>=*); #decisions: 22; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 182, #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: 3037351 (55246:>=*); #decisions: 23; #end-nodes: 1; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 1 / 80 (80) #axs: 182, #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: 3037461 (55136:>=*); #decisions: 21; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 182, #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: 3038020 (54577:>=*); #decisions: 77; #end-nodes: 43; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 43 / 80 (80) #axs: 182, #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: 3038101 (54496:>=*); #decisions: 5005; #end-nodes: 3520; #proof improvement attempts: 0; #restarts: 34 Current batch, end-nodes: 68 / 88 (88) #axs: 182, #non-axs: 68 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: 3038908 (53689:>=*); #decisions: 25373; #end-nodes: 18369; #proof improvement attempts: 0; #restarts: 147 Current batch, end-nodes: 17 / 116 (116) #axs: 182, #non-axs: 114 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: 3039115 (53482:>=*); #decisions: 14411; #end-nodes: 10097; #proof improvement attempts: 0; #restarts: 102 Current batch, end-nodes: 2 / 108 (105) #axs: 182, #non-axs: 115 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: 3041551 (51046:>=*); #decisions: 3332; #end-nodes: 2285; #proof improvement attempts: 0; #restarts: 26 Current batch, end-nodes: 14 / 86 (86) #axs: 182, #non-axs: 193 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: 3041711 (50886:>=*); #decisions: 66; #end-nodes: 24; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 24 / 80 (80) #axs: 182, #non-axs: 193 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: 3042507 (50090:>=*); #decisions: 31308; #end-nodes: 22272; #proof improvement attempts: 0; #restarts: 191 Current batch, end-nodes: 12 / 135 (127) #axs: 182, #non-axs: 301 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: 3042665 (49932:>=*); #decisions: 4313; #end-nodes: 3013; #proof improvement attempts: 0; #restarts: 34 Current batch, end-nodes: 30 / 88 (88) #axs: 182, #non-axs: 317 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: 3043416 (49181:>=*); #decisions: 12872; #end-nodes: 8889; #proof improvement attempts: 0; #restarts: 91 Current batch, end-nodes: 5 / 102 (102) #axs: 182, #non-axs: 447 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: 3043896 (48701:>=*); #decisions: 30044; #end-nodes: 21380; #proof improvement attempts: 0; #restarts: 186 Current batch, end-nodes: 53 / 130 (126) #axs: 182, #non-axs: 429 tight: meta-meta: start: 5, end: 7; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 3043989 (48608:>=*); #decisions: 85196; #end-nodes: 62585; #proof improvement attempts: 0; #restarts: 406 Current batch, end-nodes: 0 / 181 (181) #axs: 182, #non-axs: 320 tight: meta-meta: start: 4, end: 5; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 3044059 (48538:>=*); #decisions: 33; #end-nodes: 1; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 1 / 80 (80) #axs: 182, #non-axs: 320 tight: meta-meta: start: 4, end: 5; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 3044855 (47742:>=*); #decisions: 24; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 182, #non-axs: 320 tight: meta-meta: start: 4, end: 5; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 3045250 (47347:>=*); #decisions: 24; #end-nodes: 1; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 1 / 80 (80) #axs: 182, #non-axs: 320 tight: meta-meta: start: 4, end: 5; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 3046507 (46090:>=*); #decisions: 68; #end-nodes: 47; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 47 / 80 (80) #axs: 182, #non-axs: 320 tight: meta-meta: start: 4, end: 5; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 3046999 (45598:>=*); #decisions: 89; #end-nodes: 57; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 57 / 80 (80) #axs: 182, #non-axs: 320 tight: meta-meta: start: 4, end: 5; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 3047014 (45583:>=*); #decisions: 81; #end-nodes: 46; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 46 / 80 (80) #axs: 182, #non-axs: 320 tight: meta-meta: start: 4, end: 5; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 3047095 (45502:>=*); #decisions: 22; #end-nodes: 4; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 4 / 80 (80) #axs: 182, #non-axs: 320 tight: meta-meta: start: 4, end: 5; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 3047795 (44802:>=*); #decisions: 67194; #end-nodes: 49931; #proof improvement attempts: 0; #restarts: 323 Current batch, end-nodes: 168 / 178 (160) #axs: 182, #non-axs: 266 tight: meta-meta: start: 3, end: 4; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 3048247 (44350:>=*); #decisions: 44224; #end-nodes: 32653; #proof improvement attempts: 0; #restarts: 210 Current batch, end-nodes: 116 / 146 (132) #axs: 182, #non-axs: 206 tight: meta-meta: start: 3, end: 4; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 3048373 (44224:>=*); #decisions: 28; #end-nodes: 2; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 2 / 80 (80) #axs: 182, #non-axs: 206 tight: meta-meta: start: 3, end: 4; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 3049180 (43417:>=*); #decisions: 9077; #end-nodes: 6439; #proof improvement attempts: 0; #restarts: 69 Current batch, end-nodes: 40 / 102 (97) #axs: 182, #non-axs: 389 tight: meta-meta: start: 3, end: 4; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 3049634 (42963:>=*); #decisions: 107; #end-nodes: 62; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 62 / 80 (80) #axs: 182, #non-axs: 389 tight: meta-meta: start: 3, end: 4; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 3049691 (42906:>=*); #decisions: 46; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 182, #non-axs: 389 tight: meta-meta: start: 3, end: 4; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 3050262 (42335:>=*); #decisions: 47; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 182, #non-axs: 389 tight: meta-meta: start: 3, end: 4; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 3050441 (42156:>=*); #decisions: 27; #end-nodes: 2; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 2 / 80 (80) #axs: 182, #non-axs: 389 tight: meta-meta: start: 3, end: 4; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 3051617 (40980:>=*); #decisions: 28; #end-nodes: 2; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 2 / 80 (80) #axs: 182, #non-axs: 389 tight: meta-meta: start: 3, end: 4; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 3052269 (40328:>=*); #decisions: 23; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 182, #non-axs: 389 tight: meta-meta: start: 3, end: 4; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 3053362 (39235:>=*); #decisions: 27; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 182, #non-axs: 389 tight: meta-meta: start: 3, end: 4; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 3054717 (37880:>=*); #decisions: 124; #end-nodes: 78; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 78 / 84 (80) #axs: 182, #non-axs: 391 tight: meta-meta: start: 3, end: 4; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 3054871 (37726:>=*); #decisions: 657477; #end-nodes: 517787; #proof improvement attempts: 0; #restarts: 1486 Current batch, end-nodes: 120 / 451 (451) #axs: 182, #non-axs: 145 tight: meta-meta: start: 3, end: 4; meta: start: 11, end (keep): 20 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 3055168 (37429:>=*); #decisions: 235489; #end-nodes: 178853; #proof improvement attempts: 0; #restarts: 795 Current batch, end-nodes: 154 / 278 (278) #axs: 182, #non-axs: 208 tight: meta-meta: start: 3, end: 4; meta: start: 11, end (keep): 20 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 3055931 (36666:>=*); #decisions: 116189; #end-nodes: 86499; #proof improvement attempts: 0; #restarts: 480 Current batch, end-nodes: 0 / 199 (199) #axs: 182, #non-axs: 209 tight: meta-meta: start: 3, end: 4; meta: start: 11, end (keep): 20 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: (pushed:) 3055931 (36666:>=*) No proof was found though that an increment of the last pushed constraint doesn't have a model. result: the time limit has been exceeded (2) seed: 0 Nr of vars set: 57 (#equs: 1) Time taken: 10 min, 12 sec 2: seed: 0 Nr of vars set: 57 (#equs: 0) Nr of vars set: 57 (#equs: 0) #decisions: 1073480; #end-nodes: 854424; #proof improvement attempts: 0; #restarts: 1814 Current batch, end-nodes: 217 / 573 (573) #axs: 137, #non-axs: 347 tight: meta-meta: start: 3, end: 3; meta: start: 8, end (keep): 14 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 result: model found (1) Model found with constant: 1552735 (23638:>=*); Interupt request received. #decisions: 962745; #end-nodes: 766456; #proof improvement attempts: 0; #restarts: 1648 Current batch, end-nodes: 1874 / 3772 (532) #axs: 137, #non-axs: 302 tight: meta-meta: start: 3, end: 3; meta: start: 8, end (keep): 14 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: (pushed:) 1552735 (23638:>=*) 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: 433 (#equs: 0) Time taken: 9 min, 53 sec
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/5017/stat): 5017 (vallstSAT2005PB) R 5016 5017 15400 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1794742698 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/5017/statm): 174 3 169 147 0 27 0 [pid=5017] 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=5018 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=5018) exited with status: 0 New process pid=5019 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=5019) exited with status: 0 New process pid=5020 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/wulflinc7/normalized-mps-v2-20-10-gt2.opb open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map [startup+10.0036 s] Raw data (loadavg): 0.77 0.96 0.97 1/57 5020 Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1794742698 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5017/statm): 532 242 485 147 0 385 0 [pid=5017] vsize: 2128 Raw data (/proc/5020/stat): 5020 (vallst) T 5017 5017 15400 0 -1 0 268 0 0 0 354 200 0 0 16 0 1 0 1794742705 2383872 238 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5020/statm): 582 238 413 48 0 534 0 [pid=5020] vsize: 2328 Current children cumulated CPU time (s) 5.55 Current children cumulated vsize (Kb) 4456 [startup+20.0052 s] Raw data (loadavg): 0.80 0.97 0.97 1/57 5020 Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1794742698 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5017/statm): 532 242 485 147 0 385 0 [pid=5017] vsize: 2128 Raw data (/proc/5020/stat): 5020 (vallst) T 5017 5017 15400 0 -1 0 333 0 0 0 831 377 0 0 15 0 1 0 1794742705 2383872 303 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5020/statm): 582 303 413 48 0 534 0 [pid=5020] vsize: 2328 Current children cumulated CPU time (s) 12.09 Current children cumulated vsize (Kb) 4456 [startup+30.0059 s] Raw data (loadavg): 0.91 0.98 0.98 1/57 5020 Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1794742698 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5017/statm): 532 242 485 147 0 385 0 [pid=5017] vsize: 2128 Raw data (/proc/5020/stat): 5020 (vallst) T 5017 5017 15400 0 -1 0 344 0 0 0 1290 554 0 0 16 0 1 0 1794742705 2383872 314 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5020/statm): 582 314 413 48 0 534 0 [pid=5020] vsize: 2328 Current children cumulated CPU time (s) 18.45 Current children cumulated vsize (Kb) 4456 [startup+40.0075 s] Raw data (loadavg): 1.00 1.00 0.98 1/57 5020 Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1794742698 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5017/statm): 532 242 485 147 0 385 0 [pid=5017] vsize: 2128 Raw data (/proc/5020/stat): 5020 (vallst) T 5017 5017 15400 0 -1 0 346 0 0 0 1771 722 0 0 16 0 1 0 1794742705 2383872 316 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5020/statm): 582 316 413 48 0 534 0 [pid=5020] vsize: 2328 Current children cumulated CPU time (s) 24.94 Current children cumulated vsize (Kb) 4456 [startup+50.0081 s] Raw data (loadavg): 1.00 1.00 0.98 1/57 5020 Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1794742698 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5017/statm): 532 242 485 147 0 385 0 [pid=5017] vsize: 2128 Raw data (/proc/5020/stat): 5020 (vallst) T 5017 5017 15400 0 -1 0 347 0 0 0 2209 906 0 0 16 0 1 0 1794742705 2519040 317 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5020/statm): 615 317 413 48 0 567 0 [pid=5020] vsize: 2460 Current children cumulated CPU time (s) 31.16 Current children cumulated vsize (Kb) 4588 [startup+60.0078 s] Raw data (loadavg): 1.00 1.00 0.98 1/57 5020 Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1794742698 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5017/statm): 532 242 485 147 0 385 0 [pid=5017] vsize: 2128 Raw data (/proc/5020/stat): 5020 (vallst) T 5017 5017 15400 0 -1 0 348 0 0 0 2703 1067 0 0 16 0 1 0 1794742705 2514944 318 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5020/statm): 614 318 413 48 0 566 0 [pid=5020] vsize: 2456 Current children cumulated CPU time (s) 37.71 Current children cumulated vsize (Kb) 4584 [startup+70.0094 s] Raw data (loadavg): 1.00 1.00 0.98 1/57 5020 Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1794742698 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5017/statm): 532 242 485 147 0 385 0 [pid=5017] vsize: 2128 Raw data (/proc/5020/stat): 5020 (vallst) T 5017 5017 15400 0 -1 0 349 0 0 0 3191 1244 0 0 16 0 1 0 1794742705 2514944 319 4294967295 134512640 134702520 3221223952 3221222824 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5020/statm): 614 319 413 48 0 566 0 [pid=5020] vsize: 2456 Current children cumulated CPU time (s) 44.36 Current children cumulated vsize (Kb) 4584 [startup+80.0101 s] Raw data (loadavg): 1.00 1.00 0.98 1/57 5020 Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1794742698 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5017/statm): 532 242 485 147 0 385 0 [pid=5017] vsize: 2128 Raw data (/proc/5020/stat): 5020 (vallst) T 5017 5017 15400 0 -1 0 351 0 0 0 3736 1400 0 0 16 0 1 0 1794742705 2514944 321 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5020/statm): 614 321 413 48 0 566 0 [pid=5020] vsize: 2456 Current children cumulated CPU time (s) 51.37 Current children cumulated vsize (Kb) 4584 [startup+90.0107 s] Raw data (loadavg): 1.00 1.00 0.98 1/57 5020 Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1794742698 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5017/statm): 532 242 485 147 0 385 0 [pid=5017] vsize: 2128 Raw data (/proc/5020/stat): 5020 (vallst) T 5017 5017 15400 0 -1 0 355 0 0 0 4261 1556 0 0 16 0 1 0 1794742705 2514944 325 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5020/statm): 614 325 413 48 0 566 0 [pid=5020] vsize: 2456 Current children cumulated CPU time (s) 58.18 Current children cumulated vsize (Kb) 4584 [startup+100.011 s] Raw data (loadavg): 1.00 1.00 0.98 1/57 5020 Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1794742698 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5017/statm): 532 242 485 147 0 385 0 [pid=5017] vsize: 2128 Raw data (/proc/5020/stat): 5020 (vallst) T 5017 5017 15400 0 -1 0 358 0 0 0 4819 1703 0 0 16 0 1 0 1794742705 2514944 328 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5020/statm): 614 328 413 48 0 566 0 [pid=5020] vsize: 2456 Current children cumulated CPU time (s) 65.23 Current children cumulated vsize (Kb) 4584 [startup+110.012 s] Raw data (loadavg): 1.00 1.00 0.98 2/57 5020 Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1794742698 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5017/statm): 532 242 485 147 0 385 0 [pid=5017] vsize: 2128 Raw data (/proc/5020/stat): 5020 (vallst) R 5017 5017 15400 0 -1 0 359 0 0 0 5328 1866 0 0 16 0 1 0 1794742705 2514944 329 4294967295 134512640 134702520 3221223952 3221222824 1074744845 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/5020/statm): 614 329 413 48 0 566 0 [pid=5020] vsize: 2456 Current children cumulated CPU time (s) 71.95 Current children cumulated vsize (Kb) 4584 [startup+120.013 s] Raw data (loadavg): 1.00 1.00 0.98 1/57 5020 Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1794742698 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5017/statm): 532 242 485 147 0 385 0 [pid=5017] vsize: 2128 Raw data (/proc/5020/stat): 5020 (vallst) T 5017 5017 15400 0 -1 0 359 0 0 0 5879 2017 0 0 15 0 1 0 1794742705 2514944 329 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5020/statm): 614 329 413 48 0 566 0 [pid=5020] vsize: 2456 Current children cumulated CPU time (s) 78.97 Current children cumulated vsize (Kb) 4584 [startup+130.013 s] Raw data (loadavg): 1.00 1.00 0.98 1/57 5020 Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1794742698 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5017/statm): 532 242 485 147 0 385 0 [pid=5017] vsize: 2128 Raw data (/proc/5020/stat): 5020 (vallst) T 5017 5017 15400 0 -1 0 361 0 0 0 6432 2166 0 0 15 0 1 0 1794742705 2514944 331 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5020/statm): 614 331 413 48 0 566 0 [pid=5020] vsize: 2456 Current children cumulated CPU time (s) 85.99 Current children cumulated vsize (Kb) 4584 [startup+140.015 s] Raw data (loadavg): 1.08 1.02 0.99 1/57 5020 Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1794742698 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5017/statm): 532 242 485 147 0 385 0 [pid=5017] vsize: 2128 Raw data (/proc/5020/stat): 5020 (vallst) T 5017 5017 15400 0 -1 0 362 0 0 0 6931 2327 0 0 16 0 1 0 1794742705 2514944 332 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5020/statm): 614 332 413 48 0 566 0 [pid=5020] vsize: 2456 Current children cumulated CPU time (s) 92.59 Current children cumulated vsize (Kb) 4584 [startup+150.016 s] Raw data (loadavg): 1.07 1.02 0.99 1/57 5020 Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1794742698 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5017/statm): 532 242 485 147 0 385 0 [pid=5017] vsize: 2128 Raw data (/proc/5020/stat): 5020 (vallst) T 5017 5017 15400 0 -1 0 364 0 0 0 7489 2476 0 0 15 0 1 0 1794742705 2514944 334 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5020/statm): 614 334 413 48 0 566 0 [pid=5020] vsize: 2456 Current children cumulated CPU time (s) 99.66 Current children cumulated vsize (Kb) 4584 [startup+160.016 s] Raw data (loadavg): 1.06 1.01 0.99 1/57 5020 Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1794742698 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5017/statm): 532 242 485 147 0 385 0 [pid=5017] vsize: 2128 Raw data (/proc/5020/stat): 5020 (vallst) T 5017 5017 15400 0 -1 0 365 0 0 0 7986 2644 0 0 16 0 1 0 1794742705 2514944 335 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5020/statm): 614 335 413 48 0 566 0 [pid=5020] vsize: 2456 Current children cumulated CPU time (s) 106.31 Current children cumulated vsize (Kb) 4584 [startup+170.017 s] Raw data (loadavg): 1.05 1.01 0.99 1/57 5020 Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1794742698 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5017/statm): 532 242 485 147 0 385 0 [pid=5017] vsize: 2128 Raw data (/proc/5020/stat): 5020 (vallst) T 5017 5017 15400 0 -1 0 366 0 0 0 8542 2791 0 0 16 0 1 0 1794742705 2514944 336 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5020/statm): 614 336 413 48 0 566 0 [pid=5020] vsize: 2456 Current children cumulated CPU time (s) 113.34 Current children cumulated vsize (Kb) 4584 [startup+180.017 s] Raw data (loadavg): 1.04 1.01 0.99 1/57 5020 Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1794742698 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5017/statm): 532 242 485 147 0 385 0 [pid=5017] vsize: 2128 Raw data (/proc/5020/stat): 5020 (vallst) T 5017 5017 15400 0 -1 0 367 0 0 0 9045 2956 0 0 16 0 1 0 1794742705 2514944 337 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5020/statm): 614 337 413 48 0 566 0 [pid=5020] vsize: 2456 Current children cumulated CPU time (s) 120.02 Current children cumulated vsize (Kb) 4584 [startup+190.019 s] Raw data (loadavg): 1.03 1.01 0.99 1/57 5020 Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1794742698 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5017/statm): 532 242 485 147 0 385 0 [pid=5017] vsize: 2128 Raw data (/proc/5020/stat): 5020 (vallst) T 5017 5017 15400 0 -1 0 372 0 0 0 9627 3092 0 0 16 0 1 0 1794742705 2514944 342 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5020/statm): 614 342 413 48 0 566 0 [pid=5020] vsize: 2456 Current children cumulated CPU time (s) 127.2 Current children cumulated vsize (Kb) 4584 [startup+200.02 s] Raw data (loadavg): 1.10 1.03 0.99 1/57 5020 Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1794742698 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5017/statm): 532 242 485 147 0 385 0 [pid=5017] vsize: 2128 Raw data (/proc/5020/stat): 5020 (vallst) T 5017 5017 15400 0 -1 0 373 0 0 0 10133 3251 0 0 16 0 1 0 1794742705 2514944 343 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5020/statm): 614 343 413 48 0 566 0 [pid=5020] vsize: 2456 Current children cumulated CPU time (s) 133.85 Current children cumulated vsize (Kb) 4584 [startup+210.019 s] Raw data (loadavg): 1.08 1.03 0.99 1/57 5020 Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1794742698 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5017/statm): 532 242 485 147 0 385 0 [pid=5017] vsize: 2128 Raw data (/proc/5020/stat): 5020 (vallst) T 5017 5017 15400 0 -1 0 374 0 0 0 10690 3397 0 0 16 0 1 0 1794742705 2514944 344 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5020/statm): 614 344 413 48 0 566 0 [pid=5020] vsize: 2456 Current children cumulated CPU time (s) 140.88 Current children cumulated vsize (Kb) 4584 [startup+220.021 s] Raw data (loadavg): 1.07 1.02 0.99 1/57 5020 Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1794742698 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5017/statm): 532 242 485 147 0 385 0 [pid=5017] vsize: 2128 Raw data (/proc/5020/stat): 5020 (vallst) T 5017 5017 15400 0 -1 0 374 0 0 0 11200 3565 0 0 15 0 1 0 1794742705 2514944 344 4294967295 134512640 134702520 3221223952 3221222824 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5020/statm): 614 344 413 48 0 566 0 [pid=5020] vsize: 2456 Current children cumulated CPU time (s) 147.66 Current children cumulated vsize (Kb) 4584 [startup+230.022 s] Raw data (loadavg): 1.06 1.02 0.99 1/57 5020 Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1794742698 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5017/statm): 532 242 485 147 0 385 0 [pid=5017] vsize: 2128 Raw data (/proc/5020/stat): 5020 (vallst) T 5017 5017 15400 0 -1 0 377 0 0 0 11779 3705 0 0 16 0 1 0 1794742705 2514944 347 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5020/statm): 614 347 413 48 0 566 0 [pid=5020] vsize: 2456 Current children cumulated CPU time (s) 154.85 Current children cumulated vsize (Kb) 4584 [startup+240.022 s] Raw data (loadavg): 1.05 1.02 0.99 1/57 5020 Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1794742698 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5017/statm): 532 242 485 147 0 385 0 [pid=5017] vsize: 2128 Raw data (/proc/5020/stat): 5020 (vallst) T 5017 5017 15400 0 -1 0 378 0 0 0 12246 3884 0 0 16 0 1 0 1794742705 2650112 348 4294967295 134512640 134702520 3221223952 3221222824 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5020/statm): 647 348 413 48 0 599 0 [pid=5020] vsize: 2588 Current children cumulated CPU time (s) 161.31 Current children cumulated vsize (Kb) 4716 [startup+250.023 s] Raw data (loadavg): 1.04 1.02 0.99 1/57 5020 Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1794742698 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5017/statm): 532 242 485 147 0 385 0 [pid=5017] vsize: 2128 Raw data (/proc/5020/stat): 5020 (vallst) T 5017 5017 15400 0 -1 0 380 0 0 0 12822 4028 0 0 15 0 1 0 1794742705 2641920 350 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5020/statm): 645 350 413 48 0 597 0 [pid=5020] vsize: 2580 Current children cumulated CPU time (s) 168.51 Current children cumulated vsize (Kb) 4708 [startup+260.023 s] Raw data (loadavg): 1.04 1.02 0.99 1/57 5020 Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1794742698 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5017/statm): 532 242 485 147 0 385 0 [pid=5017] vsize: 2128 Raw data (/proc/5020/stat): 5020 (vallst) T 5017 5017 15400 0 -1 0 380 0 0 0 13293 4205 0 0 16 0 1 0 1794742705 2641920 350 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5020/statm): 645 350 413 48 0 597 0 [pid=5020] vsize: 2580 Current children cumulated CPU time (s) 174.99 Current children cumulated vsize (Kb) 4708 [startup+270.024 s] Raw data (loadavg): 1.03 1.02 0.99 1/57 5020 Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1794742698 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5017/statm): 532 242 485 147 0 385 0 [pid=5017] vsize: 2128 Raw data (/proc/5020/stat): 5020 (vallst) T 5017 5017 15400 0 -1 0 381 0 0 0 13853 4354 0 0 16 0 1 0 1794742705 2641920 351 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5020/statm): 645 351 413 48 0 597 0 [pid=5020] vsize: 2580 Current children cumulated CPU time (s) 182.08 Current children cumulated vsize (Kb) 4708 [startup+280.025 s] Raw data (loadavg): 1.02 1.02 0.99 1/57 5020 Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1794742698 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5017/statm): 532 242 485 147 0 385 0 [pid=5017] vsize: 2128 Raw data (/proc/5020/stat): 5020 (vallst) T 5017 5017 15400 0 -1 0 381 0 0 0 14342 4523 0 0 15 0 1 0 1794742705 2641920 351 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5020/statm): 645 351 413 48 0 597 0 [pid=5020] vsize: 2580 Current children cumulated CPU time (s) 188.66 Current children cumulated vsize (Kb) 4708 [startup+290.026 s] Raw data (loadavg): 1.02 1.02 0.99 1/57 5020 Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1794742698 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5017/statm): 532 242 485 147 0 385 0 [pid=5017] vsize: 2128 Raw data (/proc/5020/stat): 5020 (vallst) T 5017 5017 15400 0 -1 0 385 0 0 0 14919 4661 0 0 16 0 1 0 1794742705 2641920 355 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5020/statm): 645 355 413 48 0 597 0 [pid=5020] vsize: 2580 Current children cumulated CPU time (s) 195.81 Current children cumulated vsize (Kb) 4708 [startup+300.027 s] Raw data (loadavg): 1.17 1.05 1.01 1/57 5020 Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1794742698 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5017/statm): 532 242 485 147 0 385 0 [pid=5017] vsize: 2128 Raw data (/proc/5020/stat): 5020 (vallst) T 5017 5017 15400 0 -1 0 385 0 0 0 15386 4843 0 0 16 0 1 0 1794742705 2641920 355 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5020/statm): 645 355 413 48 0 597 0 [pid=5020] vsize: 2580 Current children cumulated CPU time (s) 202.3 Current children cumulated vsize (Kb) 4708 [startup+310.028 s] Raw data (loadavg): 1.14 1.05 1.00 1/57 5020 Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1794742698 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5017/statm): 532 242 485 147 0 385 0 [pid=5017] vsize: 2128 Raw data (/proc/5020/stat): 5020 (vallst) T 5017 5017 15400 0 -1 0 386 0 0 0 15896 5000 0 0 15 0 1 0 1794742705 2641920 356 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5020/statm): 645 356 413 48 0 597 0 [pid=5020] vsize: 2580 Current children cumulated CPU time (s) 208.97 Current children cumulated vsize (Kb) 4708 [startup+320.029 s] Raw data (loadavg): 1.12 1.05 1.00 1/57 5020 Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1794742698 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5017/statm): 532 242 485 147 0 385 0 [pid=5017] vsize: 2128 Raw data (/proc/5020/stat): 5020 (vallst) T 5017 5017 15400 0 -1 0 386 0 0 0 16450 5146 0 0 16 0 1 0 1794742705 2641920 356 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5020/statm): 645 356 413 48 0 597 0 [pid=5020] vsize: 2580 Current children cumulated CPU time (s) 215.97 Current children cumulated vsize (Kb) 4708 [startup+330.03 s] Raw data (loadavg): 1.18 1.06 1.01 1/57 5020 Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1794742698 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5017/statm): 532 242 485 147 0 385 0 [pid=5017] vsize: 2128 Raw data (/proc/5020/stat): 5020 (vallst) T 5017 5017 15400 0 -1 0 386 0 0 0 16919 5320 0 0 16 0 1 0 1794742705 2641920 356 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5020/statm): 645 356 413 48 0 597 0 [pid=5020] vsize: 2580 Current children cumulated CPU time (s) 222.4 Current children cumulated vsize (Kb) 4708 [startup+340.032 s] Raw data (loadavg): 1.15 1.06 1.01 1/57 5020 Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1794742698 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5017/statm): 532 242 485 147 0 385 0 [pid=5017] vsize: 2128 Raw data (/proc/5020/stat): 5020 (vallst) T 5017 5017 15400 0 -1 0 387 0 0 0 17437 5486 0 0 16 0 1 0 1794742705 2641920 357 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5020/statm): 645 357 413 48 0 597 0 [pid=5020] vsize: 2580 Current children cumulated CPU time (s) 229.24 Current children cumulated vsize (Kb) 4708 [startup+350.032 s] Raw data (loadavg): 1.20 1.07 1.01 1/57 5020 Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1794742698 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5017/statm): 532 242 485 147 0 385 0 [pid=5017] vsize: 2128 Raw data (/proc/5020/stat): 5020 (vallst) T 5017 5017 15400 0 -1 0 388 0 0 0 17931 5655 0 0 16 0 1 0 1794742705 2641920 358 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5020/statm): 645 358 413 48 0 597 0 [pid=5020] vsize: 2580 Current children cumulated CPU time (s) 235.87 Current children cumulated vsize (Kb) 4708 [startup+360.035 s] Raw data (loadavg): 1.17 1.07 1.01 1/57 5020 Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1794742698 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5017/statm): 532 242 485 147 0 385 0 [pid=5017] vsize: 2128 Raw data (/proc/5020/stat): 5020 (vallst) T 5017 5017 15400 0 -1 0 396 0 0 0 18494 5802 0 0 16 0 1 0 1794742705 2641920 366 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5020/statm): 645 366 413 48 0 597 0 [pid=5020] vsize: 2580 Current children cumulated CPU time (s) 242.97 Current children cumulated vsize (Kb) 4708 [startup+370.035 s] Raw data (loadavg): 1.14 1.07 1.01 1/57 5020 Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1794742698 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5017/statm): 532 242 485 147 0 385 0 [pid=5017] vsize: 2128 Raw data (/proc/5020/stat): 5020 (vallst) T 5017 5017 15400 0 -1 0 397 0 0 0 18966 5976 0 0 16 0 1 0 1794742705 2641920 367 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5020/statm): 645 367 413 48 0 597 0 [pid=5020] vsize: 2580 Current children cumulated CPU time (s) 249.43 Current children cumulated vsize (Kb) 4708 [startup+380.036 s] Raw data (loadavg): 1.12 1.06 1.01 1/57 5020 Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1794742698 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5017/statm): 532 242 485 147 0 385 0 [pid=5017] vsize: 2128 Raw data (/proc/5020/stat): 5020 (vallst) T 5017 5017 15400 0 -1 0 399 0 0 0 19533 6118 0 0 16 0 1 0 1794742705 2641920 369 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5020/statm): 645 369 413 48 0 597 0 [pid=5020] vsize: 2580 Current children cumulated CPU time (s) 256.52 Current children cumulated vsize (Kb) 4708 [startup+390.038 s] Raw data (loadavg): 1.10 1.06 1.01 1/57 5020 Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1794742698 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5017/statm): 532 242 485 147 0 385 0 [pid=5017] vsize: 2128 Raw data (/proc/5020/stat): 5020 (vallst) T 5017 5017 15400 0 -1 0 401 0 0 0 20019 6292 0 0 16 0 1 0 1794742705 2641920 371 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5020/statm): 645 371 413 48 0 597 0 [pid=5020] vsize: 2580 Current children cumulated CPU time (s) 263.12 Current children cumulated vsize (Kb) 4708 [startup+400.038 s] Raw data (loadavg): 1.16 1.07 1.01 1/57 5020 Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1794742698 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5017/statm): 532 242 485 147 0 385 0 [pid=5017] vsize: 2128 Raw data (/proc/5020/stat): 5020 (vallst) T 5017 5017 15400 0 -1 0 403 0 0 0 20560 6448 0 0 16 0 1 0 1794742705 2641920 373 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5020/statm): 645 373 413 48 0 597 0 [pid=5020] vsize: 2580 Current children cumulated CPU time (s) 270.09 Current children cumulated vsize (Kb) 4708 [startup+410.039 s] Raw data (loadavg): 1.13 1.07 1.01 1/57 5020 Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1794742698 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5017/statm): 532 242 485 147 0 385 0 [pid=5017] vsize: 2128 Raw data (/proc/5020/stat): 5020 (vallst) T 5017 5017 15400 0 -1 0 404 0 0 0 21055 6618 0 0 16 0 1 0 1794742705 2641920 374 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5020/statm): 645 374 413 48 0 597 0 [pid=5020] vsize: 2580 Current children cumulated CPU time (s) 276.74 Current children cumulated vsize (Kb) 4708 [startup+420.04 s] Raw data (loadavg): 1.19 1.08 1.02 1/57 5020 Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1794742698 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5017/statm): 532 242 485 147 0 385 0 [pid=5017] vsize: 2128 Raw data (/proc/5020/stat): 5020 (vallst) T 5017 5017 15400 0 -1 0 407 0 0 0 21643 6762 0 0 16 0 1 0 1794742705 2768896 377 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5020/statm): 676 377 413 48 0 628 0 [pid=5020] vsize: 2704 Current children cumulated CPU time (s) 284.06 Current children cumulated vsize (Kb) 4832 [startup+430.04 s] Raw data (loadavg): 1.16 1.08 1.01 1/57 5020 Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1794742698 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5017/statm): 532 242 485 147 0 385 0 [pid=5017] vsize: 2128 Raw data (/proc/5020/stat): 5020 (vallst) T 5017 5017 15400 0 -1 0 408 0 0 0 22130 6936 0 0 16 0 1 0 1794742705 2768896 378 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5020/statm): 676 378 413 48 0 628 0 [pid=5020] vsize: 2704 Current children cumulated CPU time (s) 290.67 Current children cumulated vsize (Kb) 4832 [startup+440.041 s] Raw data (loadavg): 1.13 1.08 1.01 2/57 5020 Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1794742698 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5017/statm): 532 242 485 147 0 385 0 [pid=5017] vsize: 2128 Raw data (/proc/5020/stat): 5020 (vallst) R 5017 5017 15400 0 -1 0 408 0 0 0 22674 7087 0 0 15 0 1 0 1794742705 2768896 378 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5020/statm): 676 378 413 48 0 628 0 [pid=5020] vsize: 2704 Current children cumulated CPU time (s) 297.62 Current children cumulated vsize (Kb) 4832 [startup+450.042 s] Raw data (loadavg): 1.19 1.09 1.02 1/57 5020 Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1794742698 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5017/statm): 532 242 485 147 0 385 0 [pid=5017] vsize: 2128 Raw data (/proc/5020/stat): 5020 (vallst) T 5017 5017 15400 0 -1 0 409 0 0 0 23163 7254 0 0 16 0 1 0 1794742705 2768896 379 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5020/statm): 676 379 413 48 0 628 0 [pid=5020] vsize: 2704 Current children cumulated CPU time (s) 304.18 Current children cumulated vsize (Kb) 4832 [startup+460.042 s] Raw data (loadavg): 1.16 1.09 1.02 1/57 5020 Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1794742698 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5017/statm): 532 242 485 147 0 385 0 [pid=5017] vsize: 2128 Raw data (/proc/5020/stat): 5020 (vallst) T 5017 5017 15400 0 -1 0 410 0 0 0 23737 7400 0 0 16 0 1 0 1794742705 2768896 380 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5020/statm): 676 380 413 48 0 628 0 [pid=5020] vsize: 2704 Current children cumulated CPU time (s) 311.38 Current children cumulated vsize (Kb) 4832 [startup+470.043 s] Raw data (loadavg): 1.21 1.10 1.02 2/57 5020 Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1794742698 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5017/statm): 532 242 485 147 0 385 0 [pid=5017] vsize: 2128 Raw data (/proc/5020/stat): 5020 (vallst) R 5017 5017 15400 0 -1 0 411 0 0 0 24208 7566 0 0 16 0 1 0 1794742705 2768896 381 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5020/statm): 676 381 413 48 0 628 0 [pid=5020] vsize: 2704 Current children cumulated CPU time (s) 317.75 Current children cumulated vsize (Kb) 4832 [startup+480.043 s] Raw data (loadavg): 1.17 1.10 1.02 1/57 5020 Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1794742698 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5017/statm): 532 242 485 147 0 385 0 [pid=5017] vsize: 2128 Raw data (/proc/5020/stat): 5020 (vallst) T 5017 5017 15400 0 -1 0 414 0 0 0 24836 7692 0 0 16 0 1 0 1794742705 2768896 384 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5020/statm): 676 384 413 48 0 628 0 [pid=5020] vsize: 2704 Current children cumulated CPU time (s) 325.29 Current children cumulated vsize (Kb) 4832 [startup+490.045 s] Raw data (loadavg): 1.15 1.09 1.02 1/57 5020 Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1794742698 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5017/statm): 532 242 485 147 0 385 0 [pid=5017] vsize: 2128 Raw data (/proc/5020/stat): 5020 (vallst) T 5017 5017 15400 0 -1 0 415 0 0 0 25303 7872 0 0 16 0 1 0 1794742705 2768896 385 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5020/statm): 676 385 413 48 0 628 0 [pid=5020] vsize: 2704 Current children cumulated CPU time (s) 331.76 Current children cumulated vsize (Kb) 4832 [startup+500.046 s] Raw data (loadavg): 1.12 1.09 1.02 1/57 5020 Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1794742698 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5017/statm): 532 242 485 147 0 385 0 [pid=5017] vsize: 2128 Raw data (/proc/5020/stat): 5020 (vallst) T 5017 5017 15400 0 -1 0 416 0 0 0 25915 8002 0 0 15 0 1 0 1794742705 2768896 386 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5020/statm): 676 386 413 48 0 628 0 [pid=5020] vsize: 2704 Current children cumulated CPU time (s) 339.18 Current children cumulated vsize (Kb) 4832 [startup+510.046 s] Raw data (loadavg): 1.10 1.09 1.02 1/57 5020 Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1794742698 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5017/statm): 532 242 485 147 0 385 0 [pid=5017] vsize: 2128 Raw data (/proc/5020/stat): 5020 (vallst) T 5017 5017 15400 0 -1 0 416 0 0 0 26428 8159 0 0 15 0 1 0 1794742705 2768896 386 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5020/statm): 676 386 413 48 0 628 0 [pid=5020] vsize: 2704 Current children cumulated CPU time (s) 345.88 Current children cumulated vsize (Kb) 4832 [startup+520.047 s] Raw data (loadavg): 1.24 1.12 1.03 1/57 5020 Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1794742698 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5017/statm): 532 242 485 147 0 385 0 [pid=5017] vsize: 2128 Raw data (/proc/5020/stat): 5020 (vallst) T 5017 5017 15400 0 -1 0 418 0 0 0 26979 8310 0 0 15 0 1 0 1794742705 2768896 388 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5020/statm): 676 388 413 48 0 628 0 [pid=5020] vsize: 2704 Current children cumulated CPU time (s) 352.9 Current children cumulated vsize (Kb) 4832 [startup+530.048 s] Raw data (loadavg): 1.20 1.11 1.03 1/57 5020 Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1794742698 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5017/statm): 532 242 485 147 0 385 0 [pid=5017] vsize: 2128 Raw data (/proc/5020/stat): 5020 (vallst) T 5017 5017 15400 0 -1 0 421 0 0 0 27549 8460 0 0 16 0 1 0 1794742705 2768896 391 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5020/statm): 676 391 413 48 0 628 0 [pid=5020] vsize: 2704 Current children cumulated CPU time (s) 360.1 Current children cumulated vsize (Kb) 4832 [startup+540.048 s] Raw data (loadavg): 1.17 1.11 1.02 1/57 5020 Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1794742698 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5017/statm): 532 242 485 147 0 385 0 [pid=5017] vsize: 2128 Raw data (/proc/5020/stat): 5020 (vallst) T 5017 5017 15400 0 -1 0 423 0 0 0 28072 8622 0 0 16 0 1 0 1794742705 2768896 393 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5020/statm): 676 393 413 48 0 628 0 [pid=5020] vsize: 2704 Current children cumulated CPU time (s) 366.95 Current children cumulated vsize (Kb) 4832 [startup+550.049 s] Raw data (loadavg): 1.14 1.10 1.02 2/57 5020 Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1794742698 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5017/statm): 532 242 485 147 0 385 0 [pid=5017] vsize: 2128 Raw data (/proc/5020/stat): 5020 (vallst) R 5017 5017 15400 0 -1 0 427 0 0 0 28714 8745 0 0 16 0 1 0 1794742705 2768896 397 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/5020/statm): 676 397 413 48 0 628 0 [pid=5020] vsize: 2704 Current children cumulated CPU time (s) 374.6 Current children cumulated vsize (Kb) 4832 [startup+560.049 s] Raw data (loadavg): 1.28 1.13 1.03 1/57 5020 Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1794742698 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5017/statm): 532 242 485 147 0 385 0 [pid=5017] vsize: 2128 Raw data (/proc/5020/stat): 5020 (vallst) T 5017 5017 15400 0 -1 0 428 0 0 0 29188 8921 0 0 16 0 1 0 1794742705 2768896 398 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5020/statm): 676 398 413 48 0 628 0 [pid=5020] vsize: 2704 Current children cumulated CPU time (s) 381.1 Current children cumulated vsize (Kb) 4832 [startup+570.051 s] Raw data (loadavg): 1.23 1.13 1.03 2/57 5020 Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1794742698 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5017/statm): 532 242 485 147 0 385 0 [pid=5017] vsize: 2128 Raw data (/proc/5020/stat): 5020 (vallst) R 5017 5017 15400 0 -1 0 429 0 0 0 29808 9045 0 0 16 0 1 0 1794742705 2768896 399 4294967295 134512640 134702520 3221223952 3221222848 134553277 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/5020/statm): 676 399 413 48 0 628 0 [pid=5020] vsize: 2704 Current children cumulated CPU time (s) 388.54 Current children cumulated vsize (Kb) 4832 [startup+580.052 s] Raw data (loadavg): 1.20 1.12 1.03 2/57 5020 Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1794742698 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5017/statm): 532 242 485 147 0 385 0 [pid=5017] vsize: 2128 Raw data (/proc/5020/stat): 5020 (vallst) R 5017 5017 15400 0 -1 0 432 0 0 0 30402 9180 0 0 16 0 1 0 1794742705 2768896 402 4294967295 134512640 134702520 3221223952 3221223084 1074652326 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5020/statm): 676 402 413 48 0 628 0 [pid=5020] vsize: 2704 Current children cumulated CPU time (s) 395.83 Current children cumulated vsize (Kb) 4832 [startup+590.052 s] Raw data (loadavg): 1.17 1.12 1.03 1/57 5020 Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1794742698 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5017/statm): 532 242 485 147 0 385 0 [pid=5017] vsize: 2128 Raw data (/proc/5020/stat): 5020 (vallst) T 5017 5017 15400 0 -1 0 434 0 0 0 30910 9340 0 0 16 0 1 0 1794742705 2768896 404 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5020/statm): 676 404 413 48 0 628 0 [pid=5020] vsize: 2704 Current children cumulated CPU time (s) 402.51 Current children cumulated vsize (Kb) 4832 [startup+600.054 s] Raw data (loadavg): 1.21 1.13 1.04 1/57 5020 Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1794742698 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5017/statm): 532 242 485 147 0 385 0 [pid=5017] vsize: 2128 Raw data (/proc/5020/stat): 5020 (vallst) T 5017 5017 15400 0 -1 0 438 0 0 0 31531 9466 0 0 16 0 1 0 1794742705 2895872 408 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5020/statm): 707 408 413 48 0 659 0 [pid=5020] vsize: 2828 Current children cumulated CPU time (s) 409.98 Current children cumulated vsize (Kb) 4956 [startup+610.055 s] Raw data (loadavg): 1.18 1.12 1.03 2/57 5020 Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1794742698 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5017/statm): 532 242 485 147 0 385 0 [pid=5017] vsize: 2128 Raw data (/proc/5020/stat): 5020 (vallst) R 5017 5017 15400 0 -1 0 439 0 0 0 32032 9633 0 0 16 0 1 0 1794742705 2895872 409 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5020/statm): 707 409 413 48 0 659 0 [pid=5020] vsize: 2828 Current children cumulated CPU time (s) 416.66 Current children cumulated vsize (Kb) 4956 [startup+620.055 s] Raw data (loadavg): 1.23 1.14 1.04 1/57 5020 Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1794742698 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5017/statm): 532 242 485 147 0 385 0 [pid=5017] vsize: 2128 Raw data (/proc/5020/stat): 5020 (vallst) T 5017 5017 15400 0 -1 0 441 0 0 0 32619 9768 0 0 16 0 1 0 1794742705 2895872 411 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5020/statm): 707 411 413 48 0 659 0 [pid=5020] vsize: 2828 Current children cumulated CPU time (s) 423.88 Current children cumulated vsize (Kb) 4956 [startup+630.056 s] Raw data (loadavg): 1.20 1.13 1.04 1/57 5020 Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1794742698 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5017/statm): 532 242 485 147 0 385 0 [pid=5017] vsize: 2128 Raw data (/proc/5020/stat): 5020 (vallst) T 5017 5017 15400 0 -1 0 442 0 0 0 33210 9904 0 0 15 0 1 0 1794742705 2895872 412 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5020/statm): 707 412 413 48 0 659 0 [pid=5020] vsize: 2828 Current children cumulated CPU time (s) 431.15 Current children cumulated vsize (Kb) 4956 [startup+640.058 s] Raw data (loadavg): 1.16 1.13 1.04 2/57 5020 Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1794742698 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5017/statm): 532 242 485 147 0 385 0 [pid=5017] vsize: 2128 Raw data (/proc/5020/stat): 5020 (vallst) R 5017 5017 15400 0 -1 0 443 0 0 0 33712 10066 0 0 16 0 1 0 1794742705 2895872 413 4294967295 134512640 134702520 3221223952 3221222720 134550661 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5020/statm): 707 413 413 48 0 659 0 [pid=5020] vsize: 2828 Current children cumulated CPU time (s) 437.79 Current children cumulated vsize (Kb) 4956 [startup+650.058 s] Raw data (loadavg): 1.14 1.12 1.04 1/57 5020 Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1794742698 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5017/statm): 532 242 485 147 0 385 0 [pid=5017] vsize: 2128 Raw data (/proc/5020/stat): 5020 (vallst) T 5017 5017 15400 0 -1 0 444 0 0 0 34298 10200 0 0 15 0 1 0 1794742705 2895872 414 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5020/statm): 707 414 413 48 0 659 0 [pid=5020] vsize: 2828 Current children cumulated CPU time (s) 444.99 Current children cumulated vsize (Kb) 4956 [startup+660.058 s] Raw data (loadavg): 1.12 1.12 1.03 1/57 5020 Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1794742698 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5017/statm): 532 242 485 147 0 385 0 [pid=5017] vsize: 2128 Raw data (/proc/5020/stat): 5020 (vallst) T 5017 5017 15400 0 -1 0 444 0 0 0 34767 10375 0 0 16 0 1 0 1794742705 2895872 414 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5020/statm): 707 414 413 48 0 659 0 [pid=5020] vsize: 2828 Current children cumulated CPU time (s) 451.43 Current children cumulated vsize (Kb) 4956 [startup+670.059 s] Raw data (loadavg): 1.10 1.11 1.03 1/57 5020 Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1794742698 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5017/statm): 532 242 485 147 0 385 0 [pid=5017] vsize: 2128 Raw data (/proc/5020/stat): 5020 (vallst) T 5017 5017 15400 0 -1 0 444 0 0 0 35279 10533 0 0 16 0 1 0 1794742705 2895872 414 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5020/statm): 707 414 413 48 0 659 0 [pid=5020] vsize: 2828 Current children cumulated CPU time (s) 458.13 Current children cumulated vsize (Kb) 4956 [startup+680.06 s] Raw data (loadavg): 1.08 1.11 1.03 1/57 5020 Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1794742698 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5017/statm): 532 242 485 147 0 385 0 [pid=5017] vsize: 2128 Raw data (/proc/5020/stat): 5020 (vallst) T 5017 5017 15400 0 -1 0 444 0 0 0 35747 10712 0 0 16 0 1 0 1794742705 2895872 414 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5020/statm): 707 414 413 48 0 659 0 [pid=5020] vsize: 2828 Current children cumulated CPU time (s) 464.6 Current children cumulated vsize (Kb) 4956 [startup+690.061 s] Raw data (loadavg): 1.07 1.11 1.03 1/57 5020 Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1794742698 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5017/statm): 532 242 485 147 0 385 0 [pid=5017] vsize: 2128 Raw data (/proc/5020/stat): 5020 (vallst) T 5017 5017 15400 0 -1 0 444 0 0 0 36270 10874 0 0 16 0 1 0 1794742705 2895872 414 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5020/statm): 707 414 413 48 0 659 0 [pid=5020] vsize: 2828 Current children cumulated CPU time (s) 471.45 Current children cumulated vsize (Kb) 4956 [startup+700.061 s] Raw data (loadavg): 1.13 1.12 1.04 1/57 5020 Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1794742698 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5017/statm): 532 242 485 147 0 385 0 [pid=5017] vsize: 2128 Raw data (/proc/5020/stat): 5020 (vallst) T 5017 5017 15400 0 -1 0 444 0 0 0 36751 11050 0 0 15 0 1 0 1794742705 2895872 414 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5020/statm): 707 414 413 48 0 659 0 [pid=5020] vsize: 2828 Current children cumulated CPU time (s) 478.02 Current children cumulated vsize (Kb) 4956 [startup+710.062 s] Raw data (loadavg): 1.11 1.11 1.04 1/57 5020 Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1794742698 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5017/statm): 532 242 485 147 0 385 0 [pid=5017] vsize: 2128 Raw data (/proc/5020/stat): 5020 (vallst) T 5017 5017 15400 0 -1 0 444 0 0 0 37266 11205 0 0 16 0 1 0 1794742705 2895872 414 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5020/statm): 707 414 413 48 0 659 0 [pid=5020] vsize: 2828 Current children cumulated CPU time (s) 484.72 Current children cumulated vsize (Kb) 4956 [startup+720.063 s] Raw data (loadavg): 1.09 1.11 1.03 1/57 5020 Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1794742698 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5017/statm): 532 242 485 147 0 385 0 [pid=5017] vsize: 2128 Raw data (/proc/5020/stat): 5020 (vallst) T 5017 5017 15400 0 -1 0 444 0 0 0 37753 11375 0 0 16 0 1 0 1794742705 2895872 414 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5020/statm): 707 414 413 48 0 659 0 [pid=5020] vsize: 2828 Current children cumulated CPU time (s) 491.29 Current children cumulated vsize (Kb) 4956 [startup+730.063 s] Raw data (loadavg): 1.16 1.12 1.04 1/57 5020 Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1794742698 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5017/statm): 532 242 485 147 0 385 0 [pid=5017] vsize: 2128 Raw data (/proc/5020/stat): 5020 (vallst) T 5017 5017 15400 0 -1 0 444 0 0 0 38278 11532 0 0 16 0 1 0 1794742705 2895872 414 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5020/statm): 707 414 413 48 0 659 0 [pid=5020] vsize: 2828 Current children cumulated CPU time (s) 498.11 Current children cumulated vsize (Kb) 4956 [startup+740.065 s] Raw data (loadavg): 1.13 1.12 1.04 2/57 5020 Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1794742698 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5017/statm): 532 242 485 147 0 385 0 [pid=5017] vsize: 2128 Raw data (/proc/5020/stat): 5020 (vallst) R 5017 5017 15400 0 -1 0 445 0 0 0 38817 11682 0 0 15 0 1 0 1794742705 2895872 415 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/5020/statm): 707 415 413 48 0 659 0 [pid=5020] vsize: 2828 Current children cumulated CPU time (s) 505 Current children cumulated vsize (Kb) 4956 [startup+750.066 s] Raw data (loadavg): 1.11 1.11 1.04 1/57 5020 Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1794742698 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5017/statm): 532 242 485 147 0 385 0 [pid=5017] vsize: 2128 Raw data (/proc/5020/stat): 5020 (vallst) T 5017 5017 15400 0 -1 0 445 0 0 0 39359 11834 0 0 15 0 1 0 1794742705 2895872 415 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5020/statm): 707 415 413 48 0 659 0 [pid=5020] vsize: 2828 Current children cumulated CPU time (s) 511.94 Current children cumulated vsize (Kb) 4956 [startup+760.066 s] Raw data (loadavg): 1.10 1.11 1.04 1/57 5020 Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1794742698 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5017/statm): 532 242 485 147 0 385 0 [pid=5017] vsize: 2128 Raw data (/proc/5020/stat): 5020 (vallst) T 5017 5017 15400 0 -1 0 446 0 0 0 39871 12001 0 0 16 0 1 0 1794742705 2895872 416 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5020/statm): 707 416 413 48 0 659 0 [pid=5020] vsize: 2828 Current children cumulated CPU time (s) 518.73 Current children cumulated vsize (Kb) 4956 [startup+770.067 s] Raw data (loadavg): 1.08 1.11 1.03 1/57 5020 Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1794742698 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5017/statm): 532 242 485 147 0 385 0 [pid=5017] vsize: 2128 Raw data (/proc/5020/stat): 5020 (vallst) T 5017 5017 15400 0 -1 0 446 0 0 0 40407 12160 0 0 16 0 1 0 1794742705 2895872 416 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5020/statm): 707 416 413 48 0 659 0 [pid=5020] vsize: 2828 Current children cumulated CPU time (s) 525.68 Current children cumulated vsize (Kb) 4956 [startup+780.067 s] Raw data (loadavg): 1.15 1.12 1.04 1/57 5020 Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1794742698 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5017/statm): 532 242 485 147 0 385 0 [pid=5017] vsize: 2128 Raw data (/proc/5020/stat): 5020 (vallst) T 5017 5017 15400 0 -1 0 446 0 0 0 40919 12326 0 0 16 0 1 0 1794742705 2895872 416 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5020/statm): 707 416 413 48 0 659 0 [pid=5020] vsize: 2828 Current children cumulated CPU time (s) 532.46 Current children cumulated vsize (Kb) 4956 [startup+790.069 s] Raw data (loadavg): 1.12 1.11 1.04 1/57 5020 Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1794742698 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5017/statm): 532 242 485 147 0 385 0 [pid=5017] vsize: 2128 Raw data (/proc/5020/stat): 5020 (vallst) T 5017 5017 15400 0 -1 0 447 0 0 0 41514 12465 0 0 16 0 1 0 1794742705 2895872 417 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5020/statm): 707 417 413 48 0 659 0 [pid=5020] vsize: 2828 Current children cumulated CPU time (s) 539.8 Current children cumulated vsize (Kb) 4956 [startup+800.07 s] Raw data (loadavg): 1.10 1.11 1.04 1/57 5020 Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1794742698 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5017/statm): 532 242 485 147 0 385 0 [pid=5017] vsize: 2128 Raw data (/proc/5020/stat): 5020 (vallst) T 5017 5017 15400 0 -1 0 447 0 0 0 42007 12631 0 0 16 0 1 0 1794742705 2895872 417 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5020/statm): 707 417 413 48 0 659 0 [pid=5020] vsize: 2828 Current children cumulated CPU time (s) 546.39 Current children cumulated vsize (Kb) 4956 [startup+810.07 s] Raw data (loadavg): 1.09 1.11 1.04 1/57 5020 Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1794742698 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5017/statm): 532 242 485 147 0 385 0 [pid=5017] vsize: 2128 Raw data (/proc/5020/stat): 5020 (vallst) T 5017 5017 15400 0 -1 0 447 0 0 0 42549 12783 0 0 16 0 1 0 1794742705 2895872 417 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5020/statm): 707 417 413 48 0 659 0 [pid=5020] vsize: 2828 Current children cumulated CPU time (s) 553.33 Current children cumulated vsize (Kb) 4956 [startup+820.071 s] Raw data (loadavg): 1.15 1.12 1.04 1/57 5020 Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1794742698 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5017/statm): 532 242 485 147 0 385 0 [pid=5017] vsize: 2128 Raw data (/proc/5020/stat): 5020 (vallst) T 5017 5017 15400 0 -1 0 448 0 0 0 43023 12960 0 0 16 0 1 0 1794742705 2895872 418 4294967295 134512640 134702520 3221223952 3221222824 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5020/statm): 707 418 413 48 0 659 0 [pid=5020] vsize: 2828 Current children cumulated CPU time (s) 559.84 Current children cumulated vsize (Kb) 4956 [startup+830.072 s] Raw data (loadavg): 1.20 1.13 1.04 1/57 5020 Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1794742698 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5017/statm): 532 242 485 147 0 385 0 [pid=5017] vsize: 2128 Raw data (/proc/5020/stat): 5020 (vallst) T 5017 5017 15400 0 -1 0 448 0 0 0 43541 13121 0 0 16 0 1 0 1794742705 2895872 418 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5020/statm): 707 418 413 48 0 659 0 [pid=5020] vsize: 2828 Current children cumulated CPU time (s) 566.63 Current children cumulated vsize (Kb) 4956 [startup+840.072 s] Raw data (loadavg): 1.24 1.14 1.05 1/57 5020 Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1794742698 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5017/statm): 532 242 485 147 0 385 0 [pid=5017] vsize: 2128 Raw data (/proc/5020/stat): 5020 (vallst) T 5017 5017 15400 0 -1 0 448 0 0 0 44013 13297 0 0 15 0 1 0 1794742705 2895872 418 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5020/statm): 707 418 413 48 0 659 0 [pid=5020] vsize: 2828 Current children cumulated CPU time (s) 573.11 Current children cumulated vsize (Kb) 4956 [startup+850.073 s] Raw data (loadavg): 1.28 1.15 1.05 1/57 5020 Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1794742698 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5017/statm): 532 242 485 147 0 385 0 [pid=5017] vsize: 2128 Raw data (/proc/5020/stat): 5020 (vallst) T 5017 5017 15400 0 -1 0 448 0 0 0 44576 13451 0 0 16 0 1 0 1794742705 2895872 418 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5020/statm): 707 418 413 48 0 659 0 [pid=5020] vsize: 2828 Current children cumulated CPU time (s) 580.28 Current children cumulated vsize (Kb) 4956 [startup+860.074 s] Raw data (loadavg): 1.31 1.16 1.06 1/57 5020 Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1794742698 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5017/statm): 532 242 485 147 0 385 0 [pid=5017] vsize: 2128 Raw data (/proc/5020/stat): 5020 (vallst) T 5017 5017 15400 0 -1 0 448 0 0 0 45061 13619 0 0 16 0 1 0 1794742705 2895872 418 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5020/statm): 707 418 413 48 0 659 0 [pid=5020] vsize: 2828 Current children cumulated CPU time (s) 586.81 Current children cumulated vsize (Kb) 4956 [startup+870.074 s] Raw data (loadavg): 1.26 1.16 1.06 1/57 5020 Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1794742698 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5017/statm): 532 242 485 147 0 385 0 [pid=5017] vsize: 2128 Raw data (/proc/5020/stat): 5020 (vallst) T 5017 5017 15400 0 -1 0 448 0 0 0 45593 13779 0 0 15 0 1 0 1794742705 2895872 418 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5020/statm): 707 418 413 48 0 659 0 [pid=5020] vsize: 2828 Current children cumulated CPU time (s) 593.73 Current children cumulated vsize (Kb) 4956 [startup+880.075 s] Raw data (loadavg): 1.29 1.17 1.06 1/57 5020 Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1794742698 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5017/statm): 532 242 485 147 0 385 0 [pid=5017] vsize: 2128 Raw data (/proc/5020/stat): 5020 (vallst) T 5017 5017 15400 0 -1 0 448 0 0 0 46100 13948 0 0 16 0 1 0 1794742705 2895872 418 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5020/statm): 707 418 413 48 0 659 0 [pid=5020] vsize: 2828 Current children cumulated CPU time (s) 600.49 Current children cumulated vsize (Kb) 4956 [startup+890.077 s] Raw data (loadavg): 1.25 1.16 1.06 1/57 5020 Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1794742698 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5017/statm): 532 242 485 147 0 385 0 [pid=5017] vsize: 2128 Raw data (/proc/5020/stat): 5020 (vallst) T 5017 5017 15400 0 -1 0 448 0 0 0 46641 14106 0 0 16 0 1 0 1794742705 2895872 418 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5020/statm): 707 418 413 48 0 659 0 [pid=5020] vsize: 2828 Current children cumulated CPU time (s) 607.48 Current children cumulated vsize (Kb) 4956 open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options One traced child (pid=5020) exited with status: 2 New process pid=5021 execve syscall for /usr/bin/head 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 /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options One traced child (pid=5021) exited with status: 0 New process pid=5022 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 /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf [startup+900.077 s] Raw data (loadavg): 1.21 1.16 1.06 1/57 5022 Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 378 823 0 0 1 1 47012 14230 17 0 1 0 1794742698 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5017/statm): 532 248 485 147 0 385 0 [pid=5017] vsize: 2128 Raw data (/proc/5022/stat): 5022 (vallst) T 5017 5017 15400 0 -1 0 207 0 0 0 94 47 0 0 16 0 1 0 1794832480 2011136 177 4294967295 134512640 134702520 3221223712 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5022/statm): 491 177 413 48 0 443 0 [pid=5022] vsize: 1964 Current children cumulated CPU time (s) 613.85 Current children cumulated vsize (Kb) 4092 [startup+910.078 s] Raw data (loadavg): 1.18 1.15 1.06 1/57 5022 Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 378 823 0 0 1 1 47012 14230 17 0 1 0 1794742698 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5017/statm): 532 248 485 147 0 385 0 [pid=5017] vsize: 2128 Raw data (/proc/5022/stat): 5022 (vallst) T 5017 5017 15400 0 -1 0 334 0 0 0 573 215 0 0 16 0 1 0 1794832480 2379776 304 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5022/statm): 581 304 413 48 0 533 0 [pid=5022] vsize: 2324 Current children cumulated CPU time (s) 620.32 Current children cumulated vsize (Kb) 4452 [startup+920.079 s] Raw data (loadavg): 1.22 1.16 1.06 1/57 5022 Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 378 823 0 0 1 1 47012 14230 17 0 1 0 1794742698 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5017/statm): 532 248 485 147 0 385 0 [pid=5017] vsize: 2128 Raw data (/proc/5022/stat): 5022 (vallst) T 5017 5017 15400 0 -1 0 344 0 0 0 1044 392 0 0 16 0 1 0 1794832480 2510848 314 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5022/statm): 613 314 413 48 0 565 0 [pid=5022] vsize: 2452 Current children cumulated CPU time (s) 626.8 Current children cumulated vsize (Kb) 4580 [startup+930.08 s] Raw data (loadavg): 1.19 1.16 1.06 1/57 5022 Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 378 823 0 0 1 1 47012 14230 17 0 1 0 1794742698 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5017/statm): 532 248 485 147 0 385 0 [pid=5017] vsize: 2128 Raw data (/proc/5022/stat): 5022 (vallst) T 5017 5017 15400 0 -1 0 348 0 0 0 1546 557 0 0 15 0 1 0 1794832480 2510848 318 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5022/statm): 613 318 413 48 0 565 0 [pid=5022] vsize: 2452 Current children cumulated CPU time (s) 633.47 Current children cumulated vsize (Kb) 4580 [startup+940.081 s] Raw data (loadavg): 1.24 1.17 1.07 1/57 5022 Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 378 823 0 0 1 1 47012 14230 17 0 1 0 1794742698 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5017/statm): 532 248 485 147 0 385 0 [pid=5017] vsize: 2128 Raw data (/proc/5022/stat): 5022 (vallst) T 5017 5017 15400 0 -1 0 354 0 0 0 2012 733 0 0 16 0 1 0 1794832480 2510848 324 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5022/statm): 613 324 413 48 0 565 0 [pid=5022] vsize: 2452 Current children cumulated CPU time (s) 639.89 Current children cumulated vsize (Kb) 4580 [startup+950.081 s] Raw data (loadavg): 1.20 1.16 1.07 1/57 5022 Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 378 823 0 0 1 1 47012 14230 17 0 1 0 1794742698 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5017/statm): 532 248 485 147 0 385 0 [pid=5017] vsize: 2128 Raw data (/proc/5022/stat): 5022 (vallst) T 5017 5017 15400 0 -1 0 360 0 0 0 2532 890 0 0 15 0 1 0 1794832480 2510848 330 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5022/statm): 613 330 413 48 0 565 0 [pid=5022] vsize: 2452 Current children cumulated CPU time (s) 646.66 Current children cumulated vsize (Kb) 4580 [startup+960.081 s] Raw data (loadavg): 1.24 1.17 1.07 1/57 5022 Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 378 823 0 0 1 1 47012 14230 17 0 1 0 1794742698 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5017/statm): 532 248 485 147 0 385 0 [pid=5017] vsize: 2128 Raw data (/proc/5022/stat): 5022 (vallst) T 5017 5017 15400 0 -1 0 362 0 0 0 2987 1071 0 0 16 0 1 0 1794832480 2510848 332 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5022/statm): 613 332 413 48 0 565 0 [pid=5022] vsize: 2452 Current children cumulated CPU time (s) 653.02 Current children cumulated vsize (Kb) 4580 [startup+970.082 s] Raw data (loadavg): 1.28 1.18 1.07 1/57 5022 Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 378 823 0 0 1 1 47012 14230 17 0 1 0 1794742698 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5017/statm): 532 248 485 147 0 385 0 [pid=5017] vsize: 2128 Raw data (/proc/5022/stat): 5022 (vallst) T 5017 5017 15400 0 -1 0 367 0 0 0 3544 1222 0 0 15 0 1 0 1794832480 2510848 337 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5022/statm): 613 337 413 48 0 565 0 [pid=5022] vsize: 2452 Current children cumulated CPU time (s) 660.1 Current children cumulated vsize (Kb) 4580 [startup+980.082 s] Raw data (loadavg): 1.24 1.17 1.07 1/57 5022 Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 378 823 0 0 1 1 47012 14230 17 0 1 0 1794742698 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5017/statm): 532 248 485 147 0 385 0 [pid=5017] vsize: 2128 Raw data (/proc/5022/stat): 5022 (vallst) T 5017 5017 15400 0 -1 0 370 0 0 0 3995 1397 0 0 16 0 1 0 1794832480 2510848 340 4294967295 134512640 134702520 3221223712 3221222584 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5022/statm): 613 340 413 48 0 565 0 [pid=5022] vsize: 2452 Current children cumulated CPU time (s) 666.36 Current children cumulated vsize (Kb) 4580 [startup+990.084 s] Raw data (loadavg): 1.20 1.17 1.07 2/57 5022 Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 378 823 0 0 1 1 47012 14230 17 0 1 0 1794742698 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5017/statm): 532 248 485 147 0 385 0 [pid=5017] vsize: 2128 Raw data (/proc/5022/stat): 5022 (vallst) R 5017 5017 15400 0 -1 0 377 0 0 0 4574 1539 0 0 16 0 1 0 1794832480 2646016 347 4294967295 134512640 134702520 3221223712 3221222992 134550624 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/5022/statm): 646 347 413 48 0 598 0 [pid=5022] vsize: 2584 Current children cumulated CPU time (s) 673.57 Current children cumulated vsize (Kb) 4712 [startup+1000.08 s] Raw data (loadavg): 1.17 1.16 1.07 1/57 5022 Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 378 823 0 0 1 1 47012 14230 17 0 1 0 1794742698 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5017/statm): 532 248 485 147 0 385 0 [pid=5017] vsize: 2128 Raw data (/proc/5022/stat): 5022 (vallst) T 5017 5017 15400 0 -1 0 380 0 0 0 5043 1715 0 0 16 0 1 0 1794832480 2646016 350 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5022/statm): 646 350 413 48 0 598 0 [pid=5022] vsize: 2584 Current children cumulated CPU time (s) 680.02 Current children cumulated vsize (Kb) 4712 [startup+1010.09 s] Raw data (loadavg): 1.22 1.17 1.08 1/57 5022 Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 378 823 0 0 1 1 47012 14230 17 0 1 0 1794742698 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5017/statm): 532 248 485 147 0 385 0 [pid=5017] vsize: 2128 Raw data (/proc/5022/stat): 5022 (vallst) T 5017 5017 15400 0 -1 0 383 0 0 0 5612 1862 0 0 15 0 1 0 1794832480 2646016 353 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5022/statm): 646 353 413 48 0 598 0 [pid=5022] vsize: 2584 Current children cumulated CPU time (s) 687.18 Current children cumulated vsize (Kb) 4712 [startup+1020.09 s] Raw data (loadavg): 1.26 1.18 1.08 1/57 5022 Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 378 823 0 0 1 1 47012 14230 17 0 1 0 1794742698 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5017/statm): 532 248 485 147 0 385 0 [pid=5017] vsize: 2128 Raw data (/proc/5022/stat): 5022 (vallst) T 5017 5017 15400 0 -1 0 385 0 0 0 6093 2040 0 0 16 0 1 0 1794832480 2646016 355 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5022/statm): 646 355 413 48 0 598 0 [pid=5022] vsize: 2584 Current children cumulated CPU time (s) 693.77 Current children cumulated vsize (Kb) 4712 [startup+1030.09 s] Raw data (loadavg): 1.30 1.19 1.08 1/57 5022 Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 378 823 0 0 1 1 47012 14230 17 0 1 0 1794742698 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5017/statm): 532 248 485 147 0 385 0 [pid=5017] vsize: 2128 Raw data (/proc/5022/stat): 5022 (vallst) T 5017 5017 15400 0 -1 0 386 0 0 0 6643 2187 0 0 16 0 1 0 1794832480 2646016 356 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5022/statm): 646 356 413 48 0 598 0 [pid=5022] vsize: 2584 Current children cumulated CPU time (s) 700.74 Current children cumulated vsize (Kb) 4712 [startup+1040.09 s] Raw data (loadavg): 1.25 1.19 1.08 1/57 5022 Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 378 823 0 0 1 1 47012 14230 17 0 1 0 1794742698 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5017/statm): 532 248 485 147 0 385 0 [pid=5017] vsize: 2128 Raw data (/proc/5022/stat): 5022 (vallst) T 5017 5017 15400 0 -1 0 391 0 0 0 7152 2351 0 0 16 0 1 0 1794832480 2646016 361 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5022/statm): 646 361 413 48 0 598 0 [pid=5022] vsize: 2584 Current children cumulated CPU time (s) 707.47 Current children cumulated vsize (Kb) 4712 [startup+1050.09 s] Raw data (loadavg): 1.21 1.18 1.08 1/57 5022 Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 378 823 0 0 1 1 47012 14230 17 0 1 0 1794742698 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5017/statm): 532 248 485 147 0 385 0 [pid=5017] vsize: 2128 Raw data (/proc/5022/stat): 5022 (vallst) T 5017 5017 15400 0 -1 0 393 0 0 0 7690 2506 0 0 15 0 1 0 1794832480 2646016 363 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5022/statm): 646 363 413 48 0 598 0 [pid=5022] vsize: 2584 Current children cumulated CPU time (s) 714.4 Current children cumulated vsize (Kb) 4712 [startup+1060.09 s] Raw data (loadavg): 1.25 1.19 1.09 1/57 5022 Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 378 823 0 0 1 1 47012 14230 17 0 1 0 1794742698 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5017/statm): 532 248 485 147 0 385 0 [pid=5017] vsize: 2128 Raw data (/proc/5022/stat): 5022 (vallst) T 5017 5017 15400 0 -1 0 397 0 0 0 8236 2656 0 0 16 0 1 0 1794832480 2646016 367 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5022/statm): 646 367 413 48 0 598 0 [pid=5022] vsize: 2584 Current children cumulated CPU time (s) 721.36 Current children cumulated vsize (Kb) 4712 [startup+1070.09 s] Raw data (loadavg): 1.29 1.20 1.09 2/57 5022 Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 378 823 0 0 1 1 47012 14230 17 0 1 0 1794742698 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5017/statm): 532 248 485 147 0 385 0 [pid=5017] vsize: 2128 Raw data (/proc/5022/stat): 5022 (vallst) R 5017 5017 15400 0 -1 0 398 0 0 0 8740 2829 0 0 16 0 1 0 1794832480 2646016 368 4294967295 134512640 134702520 3221223712 3221222832 134578979 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/5022/statm): 646 368 413 48 0 598 0 [pid=5022] vsize: 2584 Current children cumulated CPU time (s) 728.13 Current children cumulated vsize (Kb) 4712 [startup+1080.09 s] Raw data (loadavg): 1.25 1.19 1.09 1/57 5022 Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 378 823 0 0 1 1 47012 14230 17 0 1 0 1794742698 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5017/statm): 532 248 485 147 0 385 0 [pid=5017] vsize: 2128 Raw data (/proc/5022/stat): 5022 (vallst) T 5017 5017 15400 0 -1 0 406 0 0 0 9329 2969 0 0 16 0 1 0 1794832480 2777088 376 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5022/statm): 678 376 413 48 0 630 0 [pid=5022] vsize: 2712 Current children cumulated CPU time (s) 735.42 Current children cumulated vsize (Kb) 4840 [startup+1090.09 s] Raw data (loadavg): 1.28 1.20 1.09 1/57 5022 Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 378 823 0 0 1 1 47012 14230 17 0 1 0 1794742698 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5017/statm): 532 248 485 147 0 385 0 [pid=5017] vsize: 2128 Raw data (/proc/5022/stat): 5022 (vallst) T 5017 5017 15400 0 -1 0 407 0 0 0 9803 3145 0 0 16 0 1 0 1794832480 2777088 377 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5022/statm): 678 377 413 48 0 630 0 [pid=5022] vsize: 2712 Current children cumulated CPU time (s) 741.92 Current children cumulated vsize (Kb) 4840 [startup+1100.09 s] Raw data (loadavg): 1.24 1.20 1.09 1/57 5022 Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 378 823 0 0 1 1 47012 14230 17 0 1 0 1794742698 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5017/statm): 532 248 485 147 0 385 0 [pid=5017] vsize: 2128 Raw data (/proc/5022/stat): 5022 (vallst) T 5017 5017 15400 0 -1 0 410 0 0 0 10399 3280 0 0 16 0 1 0 1794832480 2777088 380 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5022/statm): 678 380 413 48 0 630 0 [pid=5022] vsize: 2712 Current children cumulated CPU time (s) 749.23 Current children cumulated vsize (Kb) 4840 [startup+1110.09 s] Raw data (loadavg): 1.20 1.19 1.09 1/57 5022 Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 378 823 0 0 1 1 47012 14230 17 0 1 0 1794742698 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5017/statm): 532 248 485 147 0 385 0 [pid=5017] vsize: 2128 Raw data (/proc/5022/stat): 5022 (vallst) T 5017 5017 15400 0 -1 0 412 0 0 0 10911 3435 0 0 15 0 1 0 1794832480 2777088 382 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5022/statm): 678 382 413 48 0 630 0 [pid=5022] vsize: 2712 Current children cumulated CPU time (s) 755.9 Current children cumulated vsize (Kb) 4840 [startup+1120.09 s] Raw data (loadavg): 1.24 1.20 1.09 1/57 5022 Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 378 823 0 0 1 1 47012 14230 17 0 1 0 1794742698 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5017/statm): 532 248 485 147 0 385 0 [pid=5017] vsize: 2128 Raw data (/proc/5022/stat): 5022 (vallst) T 5017 5017 15400 0 -1 0 415 0 0 0 11466 3587 0 0 16 0 1 0 1794832480 2777088 385 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5022/statm): 678 385 413 48 0 630 0 [pid=5022] vsize: 2712 Current children cumulated CPU time (s) 762.97 Current children cumulated vsize (Kb) 4840 [startup+1130.09 s] Raw data (loadavg): 1.21 1.19 1.09 1/57 5022 Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 378 823 0 0 1 1 47012 14230 17 0 1 0 1794742698 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5017/statm): 532 248 485 147 0 385 0 [pid=5017] vsize: 2128 Raw data (/proc/5022/stat): 5022 (vallst) T 5017 5017 15400 0 -1 0 418 0 0 0 12096 3712 0 0 16 0 1 0 1794832480 2777088 388 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5022/statm): 678 388 413 48 0 630 0 [pid=5022] vsize: 2712 Current children cumulated CPU time (s) 770.52 Current children cumulated vsize (Kb) 4840 [startup+1140.09 s] Raw data (loadavg): 1.17 1.18 1.09 1/57 5022 Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 378 823 0 0 1 1 47012 14230 17 0 1 0 1794742698 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5017/statm): 532 248 485 147 0 385 0 [pid=5017] vsize: 2128 Raw data (/proc/5022/stat): 5022 (vallst) T 5017 5017 15400 0 -1 0 419 0 0 0 12554 3882 0 0 16 0 1 0 1794832480 2777088 389 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5022/statm): 678 389 413 48 0 630 0 [pid=5022] vsize: 2712 Current children cumulated CPU time (s) 776.8 Current children cumulated vsize (Kb) 4840 [startup+1150.09 s] Raw data (loadavg): 1.15 1.18 1.09 1/57 5022 Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 378 823 0 0 1 1 47012 14230 17 0 1 0 1794742698 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5017/statm): 532 248 485 147 0 385 0 [pid=5017] vsize: 2128 Raw data (/proc/5022/stat): 5022 (vallst) T 5017 5017 15400 0 -1 0 421 0 0 0 13152 4013 0 0 16 0 1 0 1794832480 2777088 391 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5022/statm): 678 391 413 48 0 630 0 [pid=5022] vsize: 2712 Current children cumulated CPU time (s) 784.09 Current children cumulated vsize (Kb) 4840 [startup+1160.09 s] Raw data (loadavg): 1.20 1.19 1.09 2/57 5022 Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 378 823 0 0 1 1 47012 14230 17 0 1 0 1794742698 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5017/statm): 532 248 485 147 0 385 0 [pid=5017] vsize: 2128 Raw data (/proc/5022/stat): 5022 (vallst) R 5017 5017 15400 0 -1 0 423 0 0 0 13644 4182 0 0 16 0 1 0 1794832480 2777088 393 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/5022/statm): 678 393 413 48 0 630 0 [pid=5022] vsize: 2712 Current children cumulated CPU time (s) 790.7 Current children cumulated vsize (Kb) 4840 [startup+1170.09 s] Raw data (loadavg): 1.17 1.18 1.09 2/57 5022 Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 378 823 0 0 1 1 47012 14230 17 0 1 0 1794742698 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5017/statm): 532 248 485 147 0 385 0 [pid=5017] vsize: 2128 Raw data (/proc/5022/stat): 5022 (vallst) R 5017 5017 15400 0 -1 0 427 0 0 0 14240 4320 0 0 16 0 1 0 1794832480 2777088 397 4294967295 134512640 134702520 3221223712 3221222832 134573381 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/5022/statm): 678 397 413 48 0 630 0 [pid=5022] vsize: 2712 Current children cumulated CPU time (s) 798.04 Current children cumulated vsize (Kb) 4840 [startup+1180.09 s] Raw data (loadavg): 1.14 1.17 1.09 2/57 5022 Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 378 823 0 0 1 1 47012 14230 17 0 1 0 1794742698 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5017/statm): 532 248 485 147 0 385 0 [pid=5017] vsize: 2128 Raw data (/proc/5022/stat): 5022 (vallst) R 5017 5017 15400 0 -1 0 431 0 0 0 14865 4454 0 0 16 0 1 0 1794832480 2777088 401 4294967295 134512640 134702520 3221223712 3221222832 134588287 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/5022/statm): 678 401 413 48 0 630 0 [pid=5022] vsize: 2712 Current children cumulated CPU time (s) 805.63 Current children cumulated vsize (Kb) 4840 [startup+1190.1 s] Raw data (loadavg): 1.20 1.18 1.09 1/57 5022 Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 378 823 0 0 1 1 47012 14230 17 0 1 0 1794742698 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5017/statm): 532 248 485 147 0 385 0 [pid=5017] vsize: 2128 Raw data (/proc/5022/stat): 5022 (vallst) T 5017 5017 15400 0 -1 0 432 0 0 0 15342 4627 0 0 16 0 1 0 1794832480 2777088 402 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5022/statm): 678 402 413 48 0 630 0 [pid=5022] vsize: 2712 Current children cumulated CPU time (s) 812.13 Current children cumulated vsize (Kb) 4840 [startup+1200.1 s] Raw data (loadavg): 1.17 1.18 1.09 1/57 5022 Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 378 823 0 0 1 1 47012 14230 17 0 1 0 1794742698 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5017/statm): 532 248 485 147 0 385 0 [pid=5017] vsize: 2128 Raw data (/proc/5022/stat): 5022 (vallst) T 5017 5017 15400 0 -1 0 434 0 0 0 15965 4752 0 0 15 0 1 0 1794832480 2777088 404 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5022/statm): 678 404 413 48 0 630 0 [pid=5022] vsize: 2712 Current children cumulated CPU time (s) 819.61 Current children cumulated vsize (Kb) 4840 [startup+1210.1 s] Raw data (loadavg): 1.22 1.19 1.10 1/57 5022 Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 378 823 0 0 1 1 47012 14230 17 0 1 0 1794742698 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5017/statm): 532 248 485 147 0 385 0 [pid=5017] vsize: 2128 Raw data (/proc/5022/stat): 5022 (vallst) T 5017 5017 15400 0 -1 0 435 0 0 0 16518 4907 0 0 16 0 1 0 1794832480 2777088 405 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5022/statm): 678 405 413 48 0 630 0 [pid=5022] vsize: 2712 Current children cumulated CPU time (s) 826.69 Current children cumulated vsize (Kb) 4840 [startup+1220.1 s] Raw data (loadavg): 1.19 1.18 1.09 1/57 5022 Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 378 823 0 0 1 1 47012 14230 17 0 1 0 1794742698 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5017/statm): 532 248 485 147 0 385 0 [pid=5017] vsize: 2128 Raw data (/proc/5022/stat): 5022 (vallst) T 5017 5017 15400 0 -1 0 436 0 0 0 17055 5059 0 0 16 0 1 0 1794832480 2777088 406 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5022/statm): 678 406 413 48 0 630 0 [pid=5022] vsize: 2712 Current children cumulated CPU time (s) 833.58 Current children cumulated vsize (Kb) 4840 [startup+1230.1 s] Raw data (loadavg): 1.16 1.17 1.09 2/57 5022 Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 378 823 0 0 1 1 47012 14230 17 0 1 0 1794742698 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5017/statm): 532 248 485 147 0 385 0 [pid=5017] vsize: 2128 Raw data (/proc/5022/stat): 5022 (vallst) R 5017 5017 15400 0 -1 0 438 0 0 0 17643 5200 0 0 16 0 1 0 1794832480 2908160 408 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/5022/statm): 710 408 413 48 0 662 0 [pid=5022] vsize: 2840 Current children cumulated CPU time (s) 840.87 Current children cumulated vsize (Kb) 4968 [startup+1240.1 s] Raw data (loadavg): 1.13 1.17 1.09 1/57 5022 Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 378 823 0 0 1 1 47012 14230 17 0 1 0 1794742698 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5017/statm): 532 248 485 147 0 385 0 [pid=5017] vsize: 2128 Raw data (/proc/5022/stat): 5022 (vallst) T 5017 5017 15400 0 -1 0 439 0 0 0 18119 5379 0 0 16 0 1 0 1794832480 2908160 409 4294967295 134512640 134702520 3221223712 3221222584 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5022/statm): 710 409 413 48 0 662 0 [pid=5022] vsize: 2840 Current children cumulated CPU time (s) 847.42 Current children cumulated vsize (Kb) 4968 [startup+1250.1 s] Raw data (loadavg): 1.11 1.16 1.09 1/57 5022 Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 378 823 0 0 1 1 47012 14230 17 0 1 0 1794742698 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5017/statm): 532 248 485 147 0 385 0 [pid=5017] vsize: 2128 Raw data (/proc/5022/stat): 5022 (vallst) T 5017 5017 15400 0 -1 0 439 0 0 0 18756 5501 0 0 15 0 1 0 1794832480 2908160 409 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5022/statm): 710 409 413 48 0 662 0 [pid=5022] vsize: 2840 Current children cumulated CPU time (s) 855.01 Current children cumulated vsize (Kb) 4968 [startup+1260.1 s] Raw data (loadavg): 1.09 1.16 1.09 1/57 5022 Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 378 823 0 0 1 1 47012 14230 17 0 1 0 1794742698 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5017/statm): 532 248 485 147 0 385 0 [pid=5017] vsize: 2128 Raw data (/proc/5022/stat): 5022 (vallst) T 5017 5017 15400 0 -1 0 442 0 0 0 19394 5621 0 0 16 0 1 0 1794832480 2908160 412 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5022/statm): 710 412 413 48 0 662 0 [pid=5022] vsize: 2840 Current children cumulated CPU time (s) 862.59 Current children cumulated vsize (Kb) 4968 [startup+1270.1 s] Raw data (loadavg): 1.08 1.15 1.09 1/57 5022 Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 378 823 0 0 1 1 47012 14230 17 0 1 0 1794742698 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5017/statm): 532 248 485 147 0 385 0 [pid=5017] vsize: 2128 Raw data (/proc/5022/stat): 5022 (vallst) T 5017 5017 15400 0 -1 0 443 0 0 0 19864 5800 0 0 16 0 1 0 1794832480 2908160 413 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5022/statm): 710 413 413 48 0 662 0 [pid=5022] vsize: 2840 Current children cumulated CPU time (s) 869.08 Current children cumulated vsize (Kb) 4968 [startup+1280.1 s] Raw data (loadavg): 1.07 1.14 1.09 1/57 5022 Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 378 823 0 0 1 1 47012 14230 17 0 1 0 1794742698 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5017/statm): 532 248 485 147 0 385 0 [pid=5017] vsize: 2128 Raw data (/proc/5022/stat): 5022 (vallst) T 5017 5017 15400 0 -1 0 443 0 0 0 20486 5929 0 0 16 0 1 0 1794832480 2908160 413 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5022/statm): 710 413 413 48 0 662 0 [pid=5022] vsize: 2840 Current children cumulated CPU time (s) 876.59 Current children cumulated vsize (Kb) 4968 [startup+1290.1 s] Raw data (loadavg): 1.06 1.14 1.09 1/57 5022 Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 378 823 0 0 1 1 47012 14230 17 0 1 0 1794742698 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5017/statm): 532 248 485 147 0 385 0 [pid=5017] vsize: 2128 Raw data (/proc/5022/stat): 5022 (vallst) T 5017 5017 15400 0 -1 0 446 0 0 0 21138 6048 0 0 16 0 1 0 1794832480 2908160 416 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5022/statm): 710 416 413 48 0 662 0 [pid=5022] vsize: 2840 Current children cumulated CPU time (s) 884.3 Current children cumulated vsize (Kb) 4968 [startup+1300.1 s] Raw data (loadavg): 1.05 1.14 1.08 1/57 5022 Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 378 823 0 0 1 1 47012 14230 17 0 1 0 1794742698 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5017/statm): 532 248 485 147 0 385 0 [pid=5017] vsize: 2128 Raw data (/proc/5022/stat): 5022 (vallst) T 5017 5017 15400 0 -1 0 447 0 0 0 21605 6226 0 0 16 0 1 0 1794832480 2908160 417 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5022/statm): 710 417 413 48 0 662 0 [pid=5022] vsize: 2840 Current children cumulated CPU time (s) 890.75 Current children cumulated vsize (Kb) 4968 [startup+1310.1 s] Raw data (loadavg): 1.11 1.15 1.09 2/57 5022 Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 378 823 0 0 1 1 47012 14230 17 0 1 0 1794742698 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5017/statm): 532 248 485 147 0 385 0 [pid=5017] vsize: 2128 Raw data (/proc/5022/stat): 5022 (vallst) T 5017 5017 15400 0 -1 0 448 0 0 0 22235 6354 0 0 16 0 1 0 1794832480 2908160 418 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5022/statm): 710 418 413 48 0 662 0 [pid=5022] vsize: 2840 Current children cumulated CPU time (s) 898.33 Current children cumulated vsize (Kb) 4968 [startup+1320.1 s] Raw data (loadavg): 1.10 1.14 1.09 1/57 5022 Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 378 823 0 0 1 1 47012 14230 17 0 1 0 1794742698 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5017/statm): 532 248 485 147 0 385 0 [pid=5017] vsize: 2128 Raw data (/proc/5022/stat): 5022 (vallst) T 5017 5017 15400 0 -1 0 450 0 0 0 22796 6502 0 0 16 0 1 0 1794832480 2908160 420 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5022/statm): 710 420 413 48 0 662 0 [pid=5022] vsize: 2840 Current children cumulated CPU time (s) 905.42 Current children cumulated vsize (Kb) 4968 [startup+1330.1 s] Raw data (loadavg): 1.08 1.14 1.09 1/57 5022 Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 378 823 0 0 1 1 47012 14230 17 0 1 0 1794742698 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5017/statm): 532 248 485 147 0 385 0 [pid=5017] vsize: 2128 Raw data (/proc/5022/stat): 5022 (vallst) T 5017 5017 15400 0 -1 0 451 0 0 0 23332 6655 0 0 16 0 1 0 1794832480 2908160 421 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5022/statm): 710 421 413 48 0 662 0 [pid=5022] vsize: 2840 Current children cumulated CPU time (s) 912.31 Current children cumulated vsize (Kb) 4968 [startup+1340.11 s] Raw data (loadavg): 1.07 1.13 1.09 1/57 5022 Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 378 823 0 0 1 1 47012 14230 17 0 1 0 1794742698 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5017/statm): 532 248 485 147 0 385 0 [pid=5017] vsize: 2128 Raw data (/proc/5022/stat): 5022 (vallst) T 5017 5017 15400 0 -1 0 453 0 0 0 23997 6769 0 0 16 0 1 0 1794832480 2908160 423 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5022/statm): 710 423 413 48 0 662 0 [pid=5022] vsize: 2840 Current children cumulated CPU time (s) 920.1 Current children cumulated vsize (Kb) 4968 [startup+1350.11 s] Raw data (loadavg): 1.06 1.13 1.08 1/57 5022 Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 378 823 0 0 1 1 47012 14230 17 0 1 0 1794742698 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5017/statm): 532 248 485 147 0 385 0 [pid=5017] vsize: 2128 Raw data (/proc/5022/stat): 5022 (vallst) T 5017 5017 15400 0 -1 0 456 0 0 0 24563 6917 0 0 16 0 1 0 1794832480 2912256 426 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5022/statm): 711 426 413 48 0 663 0 [pid=5022] vsize: 2844 Current children cumulated CPU time (s) 927.24 Current children cumulated vsize (Kb) 4972 [startup+1360.11 s] Raw data (loadavg): 1.12 1.14 1.09 1/57 5022 Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 378 823 0 0 1 1 47012 14230 17 0 1 0 1794742698 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5017/statm): 532 248 485 147 0 385 0 [pid=5017] vsize: 2128 Raw data (/proc/5022/stat): 5022 (vallst) T 5017 5017 15400 0 -1 0 456 0 0 0 25034 7093 0 0 16 0 1 0 1794832480 2912256 426 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5022/statm): 711 426 413 48 0 663 0 [pid=5022] vsize: 2844 Current children cumulated CPU time (s) 933.71 Current children cumulated vsize (Kb) 4972 [startup+1370.11 s] Raw data (loadavg): 1.18 1.15 1.09 1/57 5022 Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 378 823 0 0 1 1 47012 14230 17 0 1 0 1794742698 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5017/statm): 532 248 485 147 0 385 0 [pid=5017] vsize: 2128 Raw data (/proc/5022/stat): 5022 (vallst) T 5017 5017 15400 0 -1 0 456 0 0 0 25540 7259 0 0 15 0 1 0 1794832480 2912256 426 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5022/statm): 711 426 413 48 0 663 0 [pid=5022] vsize: 2844 Current children cumulated CPU time (s) 940.43 Current children cumulated vsize (Kb) 4972 [startup+1380.11 s] Raw data (loadavg): 1.15 1.14 1.09 1/57 5022 Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 378 823 0 0 1 1 47012 14230 17 0 1 0 1794742698 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5017/statm): 532 248 485 147 0 385 0 [pid=5017] vsize: 2128 Raw data (/proc/5022/stat): 5022 (vallst) T 5017 5017 15400 0 -1 0 456 0 0 0 26007 7437 0 0 16 0 1 0 1794832480 2912256 426 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5022/statm): 711 426 413 48 0 663 0 [pid=5022] vsize: 2844 Current children cumulated CPU time (s) 946.88 Current children cumulated vsize (Kb) 4972 [startup+1390.11 s] Raw data (loadavg): 1.12 1.14 1.09 2/57 5022 Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 378 823 0 0 1 1 47012 14230 17 0 1 0 1794742698 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5017/statm): 532 248 485 147 0 385 0 [pid=5017] vsize: 2128 Raw data (/proc/5022/stat): 5022 (vallst) R 5017 5017 15400 0 -1 0 456 0 0 0 26530 7599 0 0 16 0 1 0 1794832480 2912256 426 4294967295 134512640 134702520 3221223712 3221222832 134578657 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/5022/statm): 711 426 413 48 0 663 0 [pid=5022] vsize: 2844 Current children cumulated CPU time (s) 953.73 Current children cumulated vsize (Kb) 4972 [startup+1400.11 s] Raw data (loadavg): 1.10 1.13 1.09 1/57 5022 Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 378 823 0 0 1 1 47012 14230 17 0 1 0 1794742698 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5017/statm): 532 248 485 147 0 385 0 [pid=5017] vsize: 2128 Raw data (/proc/5022/stat): 5022 (vallst) T 5017 5017 15400 0 -1 0 456 0 0 0 26995 7778 0 0 16 0 1 0 1794832480 2912256 426 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5022/statm): 711 426 413 48 0 663 0 [pid=5022] vsize: 2844 Current children cumulated CPU time (s) 960.17 Current children cumulated vsize (Kb) 4972 [startup+1410.11 s] Raw data (loadavg): 1.09 1.13 1.09 1/57 5022 Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 378 823 0 0 1 1 47012 14230 17 0 1 0 1794742698 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5017/statm): 532 248 485 147 0 385 0 [pid=5017] vsize: 2128 Raw data (/proc/5022/stat): 5022 (vallst) T 5017 5017 15400 0 -1 0 457 0 0 0 27538 7928 0 0 16 0 1 0 1794832480 2912256 427 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5022/statm): 711 427 413 48 0 663 0 [pid=5022] vsize: 2844 Current children cumulated CPU time (s) 967.1 Current children cumulated vsize (Kb) 4972 [startup+1420.11 s] Raw data (loadavg): 1.07 1.12 1.09 1/57 5022 Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 378 823 0 0 1 1 47012 14230 17 0 1 0 1794742698 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5017/statm): 532 248 485 147 0 385 0 [pid=5017] vsize: 2128 Raw data (/proc/5022/stat): 5022 (vallst) T 5017 5017 15400 0 -1 0 457 0 0 0 27998 8110 0 0 16 0 1 0 1794832480 2912256 427 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5022/statm): 711 427 413 48 0 663 0 [pid=5022] vsize: 2844 Current children cumulated CPU time (s) 973.52 Current children cumulated vsize (Kb) 4972 [startup+1430.11 s] Raw data (loadavg): 1.06 1.12 1.09 1/57 5022 Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 378 823 0 0 1 1 47012 14230 17 0 1 0 1794742698 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5017/statm): 532 248 485 147 0 385 0 [pid=5017] vsize: 2128 Raw data (/proc/5022/stat): 5022 (vallst) T 5017 5017 15400 0 -1 0 457 0 0 0 28562 8256 0 0 16 0 1 0 1794832480 2912256 427 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5022/statm): 711 427 413 48 0 663 0 [pid=5022] vsize: 2844 Current children cumulated CPU time (s) 980.62 Current children cumulated vsize (Kb) 4972 [startup+1440.11 s] Raw data (loadavg): 1.13 1.13 1.09 1/57 5022 Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 378 823 0 0 1 1 47012 14230 17 0 1 0 1794742698 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5017/statm): 532 248 485 147 0 385 0 [pid=5017] vsize: 2128 Raw data (/proc/5022/stat): 5022 (vallst) T 5017 5017 15400 0 -1 0 457 0 0 0 29037 8432 0 0 16 0 1 0 1794832480 2912256 427 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5022/statm): 711 427 413 48 0 663 0 [pid=5022] vsize: 2844 Current children cumulated CPU time (s) 987.13 Current children cumulated vsize (Kb) 4972 [startup+1450.12 s] Raw data (loadavg): 1.11 1.13 1.09 1/57 5022 Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 378 823 0 0 1 1 47012 14230 17 0 1 0 1794742698 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5017/statm): 532 248 485 147 0 385 0 [pid=5017] vsize: 2128 Raw data (/proc/5022/stat): 5022 (vallst) T 5017 5017 15400 0 -1 0 458 0 0 0 29611 8574 0 0 16 0 1 0 1794832480 2912256 428 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5022/statm): 711 428 413 48 0 663 0 [pid=5022] vsize: 2844 Current children cumulated CPU time (s) 994.29 Current children cumulated vsize (Kb) 4972 [startup+1460.12 s] Raw data (loadavg): 1.09 1.12 1.09 1/57 5022 Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 378 823 0 0 1 1 47012 14230 17 0 1 0 1794742698 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5017/statm): 532 248 485 147 0 385 0 [pid=5017] vsize: 2128 Raw data (/proc/5022/stat): 5022 (vallst) T 5017 5017 15400 0 -1 0 458 0 0 0 30114 8740 0 0 16 0 1 0 1794832480 2912256 428 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5022/statm): 711 428 413 48 0 663 0 [pid=5022] vsize: 2844 Current children cumulated CPU time (s) 1000.98 Current children cumulated vsize (Kb) 4972 [startup+1470.12 s] Raw data (loadavg): 1.16 1.13 1.09 1/57 5022 Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 378 823 0 0 1 1 47012 14230 17 0 1 0 1794742698 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5017/statm): 532 248 485 147 0 385 0 [pid=5017] vsize: 2128 Raw data (/proc/5022/stat): 5022 (vallst) T 5017 5017 15400 0 -1 0 459 0 0 0 30636 8904 0 0 16 0 1 0 1794832480 2912256 429 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5022/statm): 711 429 413 48 0 663 0 [pid=5022] vsize: 2844 Current children cumulated CPU time (s) 1007.84 Current children cumulated vsize (Kb) 4972 [startup+1480.12 s] Raw data (loadavg): 1.13 1.13 1.09 1/57 5022 Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 378 823 0 0 1 1 47012 14230 17 0 1 0 1794742698 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5017/statm): 532 248 485 147 0 385 0 [pid=5017] vsize: 2128 Raw data (/proc/5022/stat): 5022 (vallst) T 5017 5017 15400 0 -1 0 459 0 0 0 31164 9059 0 0 16 0 1 0 1794832480 2912256 429 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5022/statm): 711 429 413 48 0 663 0 [pid=5022] vsize: 2844 Current children cumulated CPU time (s) 1014.67 Current children cumulated vsize (Kb) 4972 [startup+1490.12 s] Raw data (loadavg): 1.11 1.12 1.09 1/57 5022 Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 378 823 0 0 1 1 47012 14230 17 0 1 0 1794742698 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5017/statm): 532 248 485 147 0 385 0 [pid=5017] vsize: 2128 Raw data (/proc/5022/stat): 5022 (vallst) T 5017 5017 15400 0 -1 0 459 0 0 0 31681 9220 0 0 15 0 1 0 1794832480 2912256 429 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5022/statm): 711 429 413 48 0 663 0 [pid=5022] vsize: 2844 Current children cumulated CPU time (s) 1021.45 Current children cumulated vsize (Kb) 4972 [startup+1500.12 s] Raw data (loadavg): 1.10 1.12 1.09 1/57 5022 Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 378 823 0 0 1 1 47012 14230 17 0 1 0 1794742698 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5017/statm): 532 248 485 147 0 385 0 [pid=5017] vsize: 2128 Raw data (/proc/5022/stat): 5022 (vallst) T 5017 5017 15400 0 -1 0 459 0 0 0 32294 9351 0 0 16 0 1 0 1794832480 2912256 429 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5022/statm): 711 429 413 48 0 663 0 [pid=5022] vsize: 2844 Current children cumulated CPU time (s) 1028.89 Current children cumulated vsize (Kb) 4972 [startup+1510.12 s] Raw data (loadavg): 1.08 1.11 1.09 1/57 5022 Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 378 823 0 0 1 1 47012 14230 17 0 1 0 1794742698 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5017/statm): 532 248 485 147 0 385 0 [pid=5017] vsize: 2128 Raw data (/proc/5022/stat): 5022 (vallst) T 5017 5017 15400 0 -1 0 459 0 0 0 32763 9527 0 0 15 0 1 0 1794832480 2912256 429 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5022/statm): 711 429 413 48 0 663 0 [pid=5022] vsize: 2844 Current children cumulated CPU time (s) 1035.34 Current children cumulated vsize (Kb) 4972 [startup+1520.12 s] Raw data (loadavg): 1.07 1.11 1.09 1/57 5022 Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 378 823 0 0 1 1 47012 14230 17 0 1 0 1794742698 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5017/statm): 532 248 485 147 0 385 0 [pid=5017] vsize: 2128 Raw data (/proc/5022/stat): 5022 (vallst) T 5017 5017 15400 0 -1 0 460 0 0 0 33359 9668 0 0 16 0 1 0 1794832480 2912256 430 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5022/statm): 711 430 413 48 0 663 0 [pid=5022] vsize: 2844 Current children cumulated CPU time (s) 1042.71 Current children cumulated vsize (Kb) 4972 [startup+1530.12 s] Raw data (loadavg): 1.06 1.11 1.09 1/57 5022 Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 378 823 0 0 1 1 47012 14230 17 0 1 0 1794742698 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5017/statm): 532 248 485 147 0 385 0 [pid=5017] vsize: 2128 Raw data (/proc/5022/stat): 5022 (vallst) T 5017 5017 15400 0 -1 0 460 0 0 0 33859 9835 0 0 16 0 1 0 1794832480 2912256 430 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5022/statm): 711 430 413 48 0 663 0 [pid=5022] vsize: 2844 Current children cumulated CPU time (s) 1049.38 Current children cumulated vsize (Kb) 4972 [startup+1540.12 s] Raw data (loadavg): 1.05 1.10 1.08 1/57 5022 Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 378 823 0 0 1 1 47012 14230 17 0 1 0 1794742698 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5017/statm): 532 248 485 147 0 385 0 [pid=5017] vsize: 2128 Raw data (/proc/5022/stat): 5022 (vallst) T 5017 5017 15400 0 -1 0 461 0 0 0 34454 9970 0 0 16 0 1 0 1794832480 2912256 431 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5022/statm): 711 431 413 48 0 663 0 [pid=5022] vsize: 2844 Current children cumulated CPU time (s) 1056.68 Current children cumulated vsize (Kb) 4972 [startup+1550.12 s] Raw data (loadavg): 1.04 1.10 1.08 1/57 5022 Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 378 823 0 0 1 1 47012 14230 17 0 1 0 1794742698 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5017/statm): 532 248 485 147 0 385 0 [pid=5017] vsize: 2128 Raw data (/proc/5022/stat): 5022 (vallst) T 5017 5017 15400 0 -1 0 464 0 0 0 35059 10102 0 0 15 0 1 0 1794832480 2912256 434 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5022/statm): 711 434 413 48 0 663 0 [pid=5022] vsize: 2844 Current children cumulated CPU time (s) 1064.05 Current children cumulated vsize (Kb) 4972 [startup+1560.13 s] Raw data (loadavg): 1.03 1.10 1.08 1/57 5022 Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 378 823 0 0 1 1 47012 14230 17 0 1 0 1794742698 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5017/statm): 532 248 485 147 0 385 0 [pid=5017] vsize: 2128 Raw data (/proc/5022/stat): 5022 (vallst) T 5017 5017 15400 0 -1 0 464 0 0 0 35533 10271 0 0 16 0 1 0 1794832480 2912256 434 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5022/statm): 711 434 413 48 0 663 0 [pid=5022] vsize: 2844 Current children cumulated CPU time (s) 1070.48 Current children cumulated vsize (Kb) 4972 [startup+1570.13 s] Raw data (loadavg): 1.03 1.09 1.08 2/57 5022 Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 378 823 0 0 1 1 47012 14230 17 0 1 0 1794742698 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5017/statm): 532 248 485 147 0 385 0 [pid=5017] vsize: 2128 Raw data (/proc/5022/stat): 5022 (vallst) R 5017 5017 15400 0 -1 0 464 0 0 0 36136 10409 0 0 16 0 1 0 1794832480 2912256 434 4294967295 134512640 134702520 3221223712 3221222832 134584609 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5022/statm): 711 434 413 48 0 663 0 [pid=5022] vsize: 2844 Current children cumulated CPU time (s) 1077.89 Current children cumulated vsize (Kb) 4972 [startup+1580.13 s] Raw data (loadavg): 1.02 1.09 1.08 1/57 5022 Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 378 823 0 0 1 1 47012 14230 17 0 1 0 1794742698 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5017/statm): 532 248 485 147 0 385 0 [pid=5017] vsize: 2128 Raw data (/proc/5022/stat): 5022 (vallst) T 5017 5017 15400 0 -1 0 465 0 0 0 36663 10569 0 0 16 0 1 0 1794832480 2912256 435 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5022/statm): 711 435 413 48 0 663 0 [pid=5022] vsize: 2844 Current children cumulated CPU time (s) 1084.76 Current children cumulated vsize (Kb) 4972 [startup+1590.13 s] Raw data (loadavg): 1.10 1.10 1.09 2/57 5022 Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 378 823 0 0 1 1 47012 14230 17 0 1 0 1794742698 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5017/statm): 532 248 485 147 0 385 0 [pid=5017] vsize: 2128 Raw data (/proc/5022/stat): 5022 (vallst) R 5017 5017 15400 0 -1 0 465 0 0 0 37219 10717 0 0 16 0 1 0 1794832480 2912256 435 4294967295 134512640 134702520 3221223712 3221222832 134573088 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/5022/statm): 711 435 413 48 0 663 0 [pid=5022] vsize: 2844 Current children cumulated CPU time (s) 1091.8 Current children cumulated vsize (Kb) 4972 [startup+1600.13 s] Raw data (loadavg): 1.24 1.13 1.10 1/57 5022 Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 378 823 0 0 1 1 47012 14230 17 0 1 0 1794742698 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5017/statm): 532 248 485 147 0 385 0 [pid=5017] vsize: 2128 Raw data (/proc/5022/stat): 5022 (vallst) T 5017 5017 15400 0 -1 0 468 0 0 0 37846 10845 0 0 16 0 1 0 1794832480 2912256 438 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5022/statm): 711 438 413 48 0 663 0 [pid=5022] vsize: 2844 Current children cumulated CPU time (s) 1099.35 Current children cumulated vsize (Kb) 4972 [startup+1610.13 s] Raw data (loadavg): 1.35 1.16 1.10 1/57 5022 Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 378 823 0 0 1 1 47012 14230 17 0 1 0 1794742698 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5017/statm): 532 248 485 147 0 385 0 [pid=5017] vsize: 2128 Raw data (/proc/5022/stat): 5022 (vallst) T 5017 5017 15400 0 -1 0 468 0 0 0 38326 11016 0 0 16 0 1 0 1794832480 2912256 438 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5022/statm): 711 438 413 48 0 663 0 [pid=5022] vsize: 2844 Current children cumulated CPU time (s) 1105.86 Current children cumulated vsize (Kb) 4972 [startup+1620.13 s] Raw data (loadavg): 1.30 1.15 1.10 1/57 5022 Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 378 823 0 0 1 1 47012 14230 17 0 1 0 1794742698 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5017/statm): 532 248 485 147 0 385 0 [pid=5017] vsize: 2128 Raw data (/proc/5022/stat): 5022 (vallst) T 5017 5017 15400 0 -1 0 468 0 0 0 38942 11147 0 0 16 0 1 0 1794832480 2912256 438 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5022/statm): 711 438 413 48 0 663 0 [pid=5022] vsize: 2844 Current children cumulated CPU time (s) 1113.33 Current children cumulated vsize (Kb) 4972 [startup+1630.13 s] Raw data (loadavg): 1.25 1.15 1.10 1/57 5022 Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 378 823 0 0 1 1 47012 14230 17 0 1 0 1794742698 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5017/statm): 532 248 485 147 0 385 0 [pid=5017] vsize: 2128 Raw data (/proc/5022/stat): 5022 (vallst) T 5017 5017 15400 0 -1 0 469 0 0 0 39489 11299 0 0 15 0 1 0 1794832480 2912256 439 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5022/statm): 711 439 413 48 0 663 0 [pid=5022] vsize: 2844 Current children cumulated CPU time (s) 1120.32 Current children cumulated vsize (Kb) 4972 [startup+1640.13 s] Raw data (loadavg): 1.21 1.14 1.10 1/57 5022 Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 378 823 0 0 1 1 47012 14230 17 0 1 0 1794742698 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5017/statm): 532 248 485 147 0 385 0 [pid=5017] vsize: 2128 Raw data (/proc/5022/stat): 5022 (vallst) T 5017 5017 15400 0 -1 0 469 0 0 0 40035 11449 0 0 16 0 1 0 1794832480 2912256 439 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5022/statm): 711 439 413 48 0 663 0 [pid=5022] vsize: 2844 Current children cumulated CPU time (s) 1127.28 Current children cumulated vsize (Kb) 4972 [startup+1650.13 s] Raw data (loadavg): 1.18 1.14 1.10 1/57 5022 Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 378 823 0 0 1 1 47012 14230 17 0 1 0 1794742698 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5017/statm): 532 248 485 147 0 385 0 [pid=5017] vsize: 2128 Raw data (/proc/5022/stat): 5022 (vallst) T 5017 5017 15400 0 -1 0 469 0 0 0 40645 11583 0 0 15 0 1 0 1794832480 2912256 439 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5022/statm): 711 439 413 48 0 663 0 [pid=5022] vsize: 2844 Current children cumulated CPU time (s) 1134.72 Current children cumulated vsize (Kb) 4972 [startup+1660.13 s] Raw data (loadavg): 1.15 1.13 1.09 1/57 5022 Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 378 823 0 0 1 1 47012 14230 17 0 1 0 1794742698 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5017/statm): 532 248 485 147 0 385 0 [pid=5017] vsize: 2128 Raw data (/proc/5022/stat): 5022 (vallst) T 5017 5017 15400 0 -1 0 470 0 0 0 41150 11745 0 0 16 0 1 0 1794832480 2912256 440 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5022/statm): 711 440 413 48 0 663 0 [pid=5022] vsize: 2844 Current children cumulated CPU time (s) 1141.39 Current children cumulated vsize (Kb) 4972 [startup+1670.14 s] Raw data (loadavg): 1.13 1.13 1.09 1/57 5022 Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 378 823 0 0 1 1 47012 14230 17 0 1 0 1794742698 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5017/statm): 532 248 485 147 0 385 0 [pid=5017] vsize: 2128 Raw data (/proc/5022/stat): 5022 (vallst) T 5017 5017 15400 0 -1 0 471 0 0 0 41765 11879 0 0 15 0 1 0 1794832480 3039232 441 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5022/statm): 742 441 413 48 0 694 0 [pid=5022] vsize: 2968 Current children cumulated CPU time (s) 1148.88 Current children cumulated vsize (Kb) 5096 [startup+1680.14 s] Raw data (loadavg): 1.18 1.14 1.10 1/57 5022 Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 378 823 0 0 1 1 47012 14230 17 0 1 0 1794742698 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5017/statm): 532 248 485 147 0 385 0 [pid=5017] vsize: 2128 Raw data (/proc/5022/stat): 5022 (vallst) T 5017 5017 15400 0 -1 0 471 0 0 0 42370 12011 0 0 15 0 1 0 1794832480 3039232 441 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5022/statm): 742 441 413 48 0 694 0 [pid=5022] vsize: 2968 Current children cumulated CPU time (s) 1156.25 Current children cumulated vsize (Kb) 5096 [startup+1690.14 s] Raw data (loadavg): 1.15 1.13 1.09 1/57 5022 Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 378 823 0 0 1 1 47012 14230 17 0 1 0 1794742698 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5017/statm): 532 248 485 147 0 385 0 [pid=5017] vsize: 2128 Raw data (/proc/5022/stat): 5022 (vallst) T 5017 5017 15400 0 -1 0 472 0 0 0 42867 12170 0 0 16 0 1 0 1794832480 3039232 442 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5022/statm): 742 442 413 48 0 694 0 [pid=5022] vsize: 2968 Current children cumulated CPU time (s) 1162.81 Current children cumulated vsize (Kb) 5096 [startup+1700.14 s] Raw data (loadavg): 1.20 1.15 1.10 1/57 5022 Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 378 823 0 0 1 1 47012 14230 17 0 1 0 1794742698 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5017/statm): 532 248 485 147 0 385 0 [pid=5017] vsize: 2128 Raw data (/proc/5022/stat): 5022 (vallst) T 5017 5017 15400 0 -1 0 473 0 0 0 43514 12296 0 0 16 0 1 0 1794832480 3039232 443 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5022/statm): 742 443 413 48 0 694 0 [pid=5022] vsize: 2968 Current children cumulated CPU time (s) 1170.54 Current children cumulated vsize (Kb) 5096 [startup+1710.14 s] Raw data (loadavg): 1.17 1.14 1.10 1/57 5022 Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 378 823 0 0 1 1 47012 14230 17 0 1 0 1794742698 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5017/statm): 532 248 485 147 0 385 0 [pid=5017] vsize: 2128 Raw data (/proc/5022/stat): 5022 (vallst) T 5017 5017 15400 0 -1 0 475 0 0 0 44137 12426 0 0 16 0 1 0 1794832480 3039232 445 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5022/statm): 742 445 413 48 0 694 0 [pid=5022] vsize: 2968 Current children cumulated CPU time (s) 1178.07 Current children cumulated vsize (Kb) 5096 [startup+1720.14 s] Raw data (loadavg): 1.22 1.15 1.10 1/57 5022 Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 378 823 0 0 1 1 47012 14230 17 0 1 0 1794742698 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5017/statm): 532 248 485 147 0 385 0 [pid=5017] vsize: 2128 Raw data (/proc/5022/stat): 5022 (vallst) T 5017 5017 15400 0 -1 0 476 0 0 0 44626 12594 0 0 16 0 1 0 1794832480 3039232 446 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5022/statm): 742 446 413 48 0 694 0 [pid=5022] vsize: 2968 Current children cumulated CPU time (s) 1184.64 Current children cumulated vsize (Kb) 5096 [startup+1730.14 s] Raw data (loadavg): 1.18 1.15 1.10 1/57 5022 Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 378 823 0 0 1 1 47012 14230 17 0 1 0 1794742698 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5017/statm): 532 248 485 147 0 385 0 [pid=5017] vsize: 2128 Raw data (/proc/5022/stat): 5022 (vallst) T 5017 5017 15400 0 -1 0 477 0 0 0 45276 12717 0 0 15 0 1 0 1794832480 3039232 447 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5022/statm): 742 447 413 48 0 694 0 [pid=5022] vsize: 2968 Current children cumulated CPU time (s) 1192.37 Current children cumulated vsize (Kb) 5096 [startup+1740.14 s] Raw data (loadavg): 1.16 1.14 1.09 1/57 5022 Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 378 823 0 0 1 1 47012 14230 17 0 1 0 1794742698 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5017/statm): 532 248 485 147 0 385 0 [pid=5017] vsize: 2128 Raw data (/proc/5022/stat): 5022 (vallst) T 5017 5017 15400 0 -1 0 477 0 0 0 45867 12855 0 0 16 0 1 0 1794832480 3039232 447 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5022/statm): 742 447 413 48 0 694 0 [pid=5022] vsize: 2968 Current children cumulated CPU time (s) 1199.66 Current children cumulated vsize (Kb) 5096 [startup+1750.14 s] Raw data (loadavg): 1.13 1.14 1.09 1/57 5022 Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 378 823 0 0 1 1 47012 14230 17 0 1 0 1794742698 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5017/statm): 532 248 485 147 0 385 0 [pid=5017] vsize: 2128 Raw data (/proc/5022/stat): 5022 (vallst) T 5017 5017 15400 0 -1 0 477 0 0 0 46381 13015 0 0 16 0 1 0 1794832480 3039232 447 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5022/statm): 742 447 413 48 0 694 0 [pid=5022] vsize: 2968 Current children cumulated CPU time (s) 1206.4 Current children cumulated vsize (Kb) 5096 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1750.14 s] Raw data (loadavg): 1.13 1.14 1.09 1/57 5022 Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 378 823 0 0 1 1 47012 14230 17 0 1 0 1794742698 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5017/statm): 532 248 485 147 0 385 0 [pid=5017] vsize: 2128 Raw data (/proc/5022/stat): 5022 (vallst) T 5017 5017 15400 0 -1 0 477 0 0 0 46381 13015 0 0 16 0 1 0 1794832480 3039232 447 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5022/statm): 742 447 413 48 0 694 0 [pid=5022] vsize: 2968 Current children cumulated CPU time (s) 1206.4 Current children cumulated vsize (Kb) 5096 Sending SIGTERM to -5017 Sleeping 2 seconds open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf New process pid=5024 New process pid=5025 open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options execve syscall for /bin/ps executable One traced child (pid=5022) exited with status: 3 open syscall for file /etc/ld.so.preload open syscall for file tls/i686/mmx/libproc.so.2.0.13 open syscall for file tls/i686/libproc.so.2.0.13 open syscall for file tls/mmx/libproc.so.2.0.13 open syscall for file tls/libproc.so.2.0.13 open syscall for file i686/mmx/libproc.so.2.0.13 open syscall for file i686/libproc.so.2.0.13 open syscall for file mmx/libproc.so.2.0.13 open syscall for file libproc.so.2.0.13 open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libproc.so.2.0.13 open syscall for file /oldhome/oroussel/lib/tls/i686/libproc.so.2.0.13 open syscall for file /oldhome/oroussel/lib/tls/mmx/libproc.so.2.0.13 open syscall for file /oldhome/oroussel/lib/tls/libproc.so.2.0.13 open syscall for file /oldhome/oroussel/lib/i686/mmx/libproc.so.2.0.13 open syscall for file /oldhome/oroussel/lib/i686/libproc.so.2.0.13 open syscall for file /oldhome/oroussel/lib/mmx/libproc.so.2.0.13 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/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/827/stat open syscall for file /proc/827/status open syscall for file /proc/827/cmdline open syscall for file /proc/827/environ open syscall for file /proc/1260/stat open syscall for file /proc/1260/status open syscall for file /proc/1260/cmdline open syscall for file /proc/1260/environ open syscall for file /proc/1264/stat open syscall for file /proc/1264/status open syscall for file /proc/1264/cmdline open syscall for file /proc/1264/environ open syscall for file /proc/1286/stat open syscall for file /proc/1286/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/1286/cmdline open syscall for file /proc/1286/environ open syscall for file /proc/1316/stat open syscall for file /proc/1316/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/1316/cmdline open syscall for file /proc/1316/environ open syscall for file /proc/1360/stat open syscall for file /proc/1360/status open syscall for file /proc/1360/cmdline open syscall for file /proc/1360/environ open syscall for file /proc/1518/stat open syscall for file /proc/1518/status open syscall for file /proc/1518/cmdline open syscall for file /proc/1518/environ open syscall for file /proc/1542/stat open syscall for file /proc/1542/status open syscall for file /proc/1542/cmdline open syscall for file /proc/1542/environ open syscall for file /proc/1565/stat open syscall for file /proc/1565/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/1565/cmdline open syscall for file /proc/1565/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/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/1669/stat open syscall for file /proc/1669/status open syscall for file /proc/1669/cmdline open syscall for file /proc/1669/environ open syscall for file /proc/1671/stat open syscall for file /proc/1671/status open syscall for file /proc/1671/cmdline open syscall for file /proc/1671/environ open syscall for file /proc/12490/stat open syscall for file /proc/12490/status open syscall for file /proc/12490/cmdline open syscall for file /proc/12490/environ open syscall for file /proc/11855/stat open syscall for file /proc/11855/status open syscall for file /proc/11855/cmdline open syscall for file /proc/11855/environ open syscall for file /proc/11882/stat open syscall for file /proc/11882/status open syscall for file /proc/11882/cmdline open syscall for file /proc/11882/environ open syscall for file /proc/11906/stat open syscall for file /proc/11906/status open syscall for file /proc/11906/cmdline open syscall for file /proc/11906/environ open syscall for file /proc/19869/stat open syscall for file /proc/19869/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/19869/cmdline open syscall for file /proc/19869/environ open syscall for file /proc/19904/stat open syscall for file /proc/19904/status open syscall for file /proc/19904/cmdline open syscall for file /proc/19904/environ open syscall for file /proc/15400/stat open syscall for file /proc/15400/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/15400/cmdline open syscall for file /proc/15400/environ open syscall for file /proc/15401/stat open syscall for file /proc/15401/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/15401/cmdline open syscall for file /proc/15401/environ open syscall for file /proc/15410/stat open syscall for file /proc/15410/status open syscall for file /proc/15410/cmdline open syscall for file /proc/15410/environ open syscall for file /proc/4980/stat open syscall for file /proc/4980/status open syscall for file /proc/4980/cmdline open syscall for file /proc/4980/environ open syscall for file /proc/5016/stat open syscall for file /proc/5016/status open syscall for file /proc/5016/cmdline open syscall for file /proc/5016/environ open syscall for file /proc/5017/stat open syscall for file /proc/5017/status open syscall for file /proc/5017/cmdline open syscall for file /proc/5017/environ open syscall for file /proc/5024/stat open syscall for file /proc/5024/status open syscall for file /proc/5024/cmdline open syscall for file /proc/5024/environ open syscall for file /proc/5025/stat open syscall for file /proc/5025/status open syscall for file /proc/5025/cmdline open syscall for file /proc/5025/environ One traced child (pid=5024) exited with status: 0 One traced child (pid=5025) exited with status: 0 New process pid=5026 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=5026) exited with status: 0 New process pid=5027 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=5027) exited with status: 0 One traced child (pid=5017) 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): 1750.64 CPU time (s): 1206.53 CPU user time (s): 933.995 CPU system time (s): 272.533 CPU usage (%): 68.9194 Max. virtual memory (cumulated for all children) (Kb): 5096
ERROR: no interpretation found !