Name | mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-manna81.opb |
MD5SUM | 8ad66f5ec9923fdfb526351beaad3554 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -11317 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 10713 |
Biggest coefficient in the objective function | 8 |
Number of bits for the biggest coefficient in the objective function | 4 |
Sum of the numbers in the objective function | 30411 |
Number of bits of the sum of numbers in the objective function | 15 |
Biggest number in a constraint | 24 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 30411 |
Number of bits of the biggest sum of numbers | 15 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1195.1 |
Number of variables | 10713 |
Total number of constraints | 9801 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 18 |
Number of constraints which are nor clauses,nor cardinality constraints | 9783 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 8 |
LAUNCH ON wulflinc6 THE 2005-09-23 11:54:17 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=7987 boxname=wulflinc6 idbench=955 idsolver=7 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: 8ad66f5ec9923fdfb526351beaad3554 /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-13-7-manna81.opb REAL COMMAND: vallstSAT2005PB.sh /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-13-7-manna81.opb 0 IDLAUNCH: 7987 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.158 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 888.83 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.158 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 901.12 /proc/meminfo: MemTotal: 1034660 kB MemFree: 949376 kB Buffers: 10288 kB Cached: 57780 kB SwapCached: 0 kB Active: 41296 kB Inactive: 29684 kB HighTotal: 131008 kB HighFree: 69244 kB LowTotal: 903652 kB LowFree: 880132 kB SwapTotal: 2097136 kB SwapFree: 2097136 kB Dirty: 40 kB Writeback: 0 kB Mapped: 6980 kB Slab: 8792 kB Committed_AS: 63620 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-09-23 12:17:08 (client local time) WITH STATUS 0 IN 1205.14 SECONDS stats: 7987 7 1205.14 0
1: seed: 0 Nr of vars set: 0 (#equs: 0) Nr of vars set: 0 (#equs: 0) #decisions: 7278; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 9152, #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: 7821 (22589:>=*); #decisions: 8595; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 9152, #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: 7823 (22587:>=*); #decisions: 8595; #end-nodes: 1; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 1 / 80 (80) #axs: 9152, #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: 7825 (22585:>=*); #decisions: 7283; #end-nodes: 9; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 9 / 80 (80) #axs: 9152, #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: 7826 (22584:>=*); #decisions: 7280; #end-nodes: 8; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 8 / 80 (80) #axs: 9152, #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: 7827 (22583:>=*); #decisions: 7304; #end-nodes: 32; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 32 / 80 (80) #axs: 9152, #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: 7828 (22582:>=*); #decisions: 7299; #end-nodes: 25; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 25 / 80 (80) #axs: 9152, #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: 7829 (22581:>=*); #decisions: 18044; #end-nodes: 83; #proof improvement attempts: 0; #restarts: 1 Current batch, end-nodes: 0 / 80 (80) #axs: 9152, #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: 7893 (22517:>=*); #decisions: 9804; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 9152, #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: 7896 (22514:>=*); #decisions: 7264; #end-nodes: 1; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 1 / 80 (80) #axs: 9152, #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: 7897 (22513:>=*); #decisions: 7264; #end-nodes: 1; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 1 / 80 (80) #axs: 9152, #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: 7898 (22512:>=*); #decisions: 7266; #end-nodes: 4; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 4 / 80 (80) #axs: 9152, #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: 7899 (22511:>=*); #decisions: 7267; #end-nodes: 5; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 5 / 80 (80) #axs: 9152, #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: 7900 (22510:>=*); #decisions: 7269; #end-nodes: 8; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 8 / 80 (80) #axs: 9152, #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: 7901 (22509:>=*); #decisions: 7286; #end-nodes: 25; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 25 / 80 (80) #axs: 9152, #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: 7902 (22508:>=*); #decisions: 7288; #end-nodes: 27; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 27 / 80 (80) #axs: 9152, #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: 7903 (22507:>=*); #decisions: 7286; #end-nodes: 25; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 25 / 80 (80) #axs: 9152, #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: 7904 (22506:>=*); #decisions: 18005; #end-nodes: 81; #proof improvement attempts: 0; #restarts: 1 Current batch, end-nodes: 0 / 80 (80) #axs: 9152, #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: 7993 (22417:>=*); #decisions: 10576; #end-nodes: 1; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 1 / 80 (80) #axs: 9152, #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: 7999 (22411:>=*); #decisions: 8576; #end-nodes: 1; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 1 / 80 (80) #axs: 9152, #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: 8001 (22409:>=*); #decisions: 8576; #end-nodes: 2; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 2 / 80 (80) #axs: 9152, #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: 8003 (22407:>=*); #decisions: 8578; #end-nodes: 5; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 5 / 80 (80) #axs: 9152, #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: 8004 (22406:>=*); #decisions: 7275; #end-nodes: 7; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 7 / 80 (80) #axs: 9152, #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: 8005 (22405:>=*); #decisions: 7272; #end-nodes: 5; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 5 / 80 (80) #axs: 9152, #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: 8006 (22404:>=*); #decisions: 7276; #end-nodes: 10; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 10 / 80 (80) #axs: 9152, #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: 8007 (22403:>=*); #decisions: 7282; #end-nodes: 14; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 14 / 80 (80) #axs: 9152, #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: 8008 (22402:>=*); #decisions: 7281; #end-nodes: 15; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 15 / 80 (80) #axs: 9152, #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: 8009 (22401:>=*); #decisions: 7295; #end-nodes: 29; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 29 / 80 (80) #axs: 9152, #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: 8010 (22400:>=*); #decisions: 8588; #end-nodes: 17; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 17 / 80 (80) #axs: 9152, #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: 8012 (22398:>=*); #decisions: 8610; #end-nodes: 43; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 43 / 80 (80) #axs: 9152, #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: 8013 (22397:>=*); #decisions: 7294; #end-nodes: 28; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 28 / 80 (80) #axs: 9152, #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: 8014 (22396:>=*); #decisions: 7273; #end-nodes: 7; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 7 / 80 (80) #axs: 9152, #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: 8015 (22395:>=*); #decisions: 47323; #end-nodes: 405; #proof improvement attempts: 0; #restarts: 5 Current batch, end-nodes: 0 / 81 (81) #axs: 9152, #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: 8117 (22293:>=*); #decisions: 8550; #end-nodes: 1; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 1 / 80 (80) #axs: 9152, #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: 8119 (22291:>=*); #decisions: 7204; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 9152, #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: 8120 (22290:>=*); #decisions: 7206; #end-nodes: 3; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 3 / 80 (80) #axs: 9152, #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: 8121 (22289:>=*); #decisions: 7224; #end-nodes: 24; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 24 / 80 (80) #axs: 9152, #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: 8122 (22288:>=*); #decisions: 7236; #end-nodes: 35; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 35 / 80 (80) #axs: 9152, #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: 8123 (22287:>=*); #decisions: 1713446; #end-nodes: 25587; #proof improvement attempts: 0; #restarts: 234 Current batch, end-nodes: 1 / 138 (138) #axs: 9152, #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: 8124 (22286:>=*); #decisions: 8563; #end-nodes: 3; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 3 / 80 (80) #axs: 9152, #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: 8126 (22284:>=*); #decisions: 8565; #end-nodes: 7; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 7 / 80 (80) #axs: 9152, #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: 8127 (22283:>=*); #decisions: 8567; #end-nodes: 9; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 9 / 80 (80) #axs: 9152, #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: 8129 (22281:>=*); #decisions: 9923; #end-nodes: 20; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 20 / 80 (80) #axs: 9152, #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: 8130 (22280:>=*); #decisions: 7227; #end-nodes: 17; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 17 / 80 (80) #axs: 9152, #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: 8131 (22279:>=*); #decisions: 7222; #end-nodes: 11; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 11 / 80 (80) #axs: 9152, #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: 8132 (22278:>=*); #decisions: 7237; #end-nodes: 28; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 28 / 80 (80) #axs: 9152, #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: 8133 (22277:>=*); #decisions: 7234; #end-nodes: 24; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 24 / 80 (80) #axs: 9152, #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: 8134 (22276:>=*); #decisions: 7219; #end-nodes: 7; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 7 / 80 (80) #axs: 9152, #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: 8135 (22275:>=*); #decisions: 7216; #end-nodes: 5; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 5 / 80 (80) #axs: 9152, #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: 8136 (22274:>=*); #decisions: 7272; #end-nodes: 64; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 64 / 80 (80) #axs: 9152, #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: 8137 (22273:>=*); #decisions: 7240; #end-nodes: 33; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 33 / 80 (80) #axs: 9152, #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: 8138 (22272:>=*); #decisions: 7243; #end-nodes: 35; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 35 / 80 (80) #axs: 9152, #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: 8139 (22271:>=*); #decisions: 7287; #end-nodes: 78; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 78 / 80 (80) #axs: 9152, #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: 8140 (22270:>=*); #decisions: 8571; #end-nodes: 17; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 17 / 80 (80) #axs: 9152, #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: 8142 (22268:>=*); #decisions: 1198686; #end-nodes: 16394; #proof improvement attempts: 0; #restarts: 163 Current batch, end-nodes: 0 / 120 (120) #axs: 9152, #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: 8145 (22265:>=*); #decisions: 9744; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 9152, #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: 8148 (22262:>=*); #decisions: 9742; #end-nodes: 1; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 1 / 80 (80) #axs: 9152, #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: 8151 (22259:>=*); #decisions: 7158; #end-nodes: 3; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 3 / 80 (80) #axs: 9152, #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: 8152 (22258:>=*); #decisions: 8508; #end-nodes: 3; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 3 / 80 (80) #axs: 9152, #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: 8154 (22256:>=*); #decisions: 7159; #end-nodes: 6; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 6 / 80 (80) #axs: 9152, #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: 8155 (22255:>=*); #decisions: 7189; #end-nodes: 36; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 36 / 80 (80) #axs: 9152, #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: 8156 (22254:>=*); #decisions: 7223; #end-nodes: 69; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 69 / 80 (80) #axs: 9152, #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: 8157 (22253:>=*); #decisions: 7165; #end-nodes: 13; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 13 / 80 (80) #axs: 9152, #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: 8158 (22252:>=*); #decisions: 7160; #end-nodes: 9; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 9 / 80 (80) #axs: 9152, #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: 8159 (22251:>=*); Interupt request received. #decisions: 1915452; #end-nodes: 29574; #proof improvement attempts: 0; #restarts: 262 Current batch, end-nodes: 0 / 145 (145) #axs: 9152, #non-axs: 0 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: (pushed:) 8159 (22251:>=*) 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: 6644 (#equs: 0) Time taken: 20 min, 4 sec Interupt; Current theory and settings are copied here: /tmp/vallst_sh_out_theory.vnf /tmp/vallst_sh_changing_setting.options
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds Enforcing Stack size limit: 67108864 bytes Enforcing memory limit (will send SIGTERM then SIGKILL): 921600 Kb Enforcing VSIZE limit: 994918400 bytes Current StackSize limit: 67108864 bytes Raw data (/proc/5410/stat): 5410 (vallstSAT2005PB) R 5409 5410 4060 0 -1 0 19 0 0 0 0 0 0 0 22 0 1 0 19999695 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/5410/statm): 174 3 169 147 0 27 0 [pid=5410] 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=5411 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=5411) exited with status: 0 New process pid=5412 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=5412) exited with status: 0 New process pid=5413 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/wulflinc6/normalized-mps-v2-13-7-manna81.opb open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map [startup+10.0035 s] Raw data (loadavg): 0.75 0.94 0.97 1/56 5413 Raw data (/proc/5410/stat): 5410 (vallstSAT2005PB) S 5409 5410 4060 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 19999695 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5410/statm): 532 242 485 147 0 385 0 [pid=5410] vsize: 2128 Raw data (/proc/5413/stat): 5413 (vallst) T 5410 5410 4060 0 -1 0 965 0 0 0 542 147 0 0 17 0 1 0 19999704 5206016 867 4294967295 134512640 134702520 3221223952 3221223320 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5413/statm): 1271 867 413 48 0 1223 0 [pid=5413] vsize: 5084 Current children cumulated CPU time (s) 6.92 Current children cumulated vsize (Kb) 7212 [startup+20.0042 s] Raw data (loadavg): 0.79 0.94 0.97 1/56 5413 Raw data (/proc/5410/stat): 5410 (vallstSAT2005PB) S 5409 5410 4060 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 19999695 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5410/statm): 532 242 485 147 0 385 0 [pid=5410] vsize: 2128 Raw data (/proc/5413/stat): 5413 (vallst) T 5410 5410 4060 0 -1 0 965 0 0 0 1086 303 0 0 18 0 1 0 19999704 5206016 867 4294967295 134512640 134702520 3221223952 3221223192 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5413/statm): 1271 867 413 48 0 1223 0 [pid=5413] vsize: 5084 Current children cumulated CPU time (s) 13.92 Current children cumulated vsize (Kb) 7212 [startup+30.0049 s] Raw data (loadavg): 0.82 0.94 0.97 2/56 5413 Raw data (/proc/5410/stat): 5410 (vallstSAT2005PB) S 5409 5410 4060 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 19999695 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5410/statm): 532 242 485 147 0 385 0 [pid=5410] vsize: 2128 Raw data (/proc/5413/stat): 5413 (vallst) R 5410 5410 4060 0 -1 0 1095 0 0 0 1886 370 0 0 23 0 1 0 19999704 8974336 997 4294967295 134512640 134702520 3221223952 3221223536 134558707 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5413/statm): 2191 997 413 48 0 2143 0 [pid=5413] vsize: 8764 Current children cumulated CPU time (s) 22.59 Current children cumulated vsize (Kb) 10892 [startup+40.0057 s] Raw data (loadavg): 0.85 0.94 0.97 2/56 5413 Raw data (/proc/5410/stat): 5410 (vallstSAT2005PB) S 5409 5410 4060 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 19999695 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5410/statm): 532 242 485 147 0 385 0 [pid=5410] vsize: 2128 Raw data (/proc/5413/stat): 5413 (vallst) R 5410 5410 4060 0 -1 0 1315 0 0 0 2758 412 0 0 24 0 1 0 19999704 8974336 1217 4294967295 134512640 134702520 3221223952 3221223536 134558690 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5413/statm): 2191 1217 413 48 0 2143 0 [pid=5413] vsize: 8764 Current children cumulated CPU time (s) 31.73 Current children cumulated vsize (Kb) 10892 [startup+50.0074 s] Raw data (loadavg): 0.87 0.95 0.97 2/56 5413 Raw data (/proc/5410/stat): 5410 (vallstSAT2005PB) S 5409 5410 4060 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 19999695 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5410/statm): 532 242 485 147 0 385 0 [pid=5410] vsize: 2128 Raw data (/proc/5413/stat): 5413 (vallst) R 5410 5410 4060 0 -1 0 1702 0 0 0 3644 454 0 0 24 0 1 0 19999704 9056256 1604 4294967295 134512640 134702520 3221223952 3221223536 134558690 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/5413/statm): 2211 1604 413 48 0 2163 0 [pid=5413] vsize: 8844 Current children cumulated CPU time (s) 41.01 Current children cumulated vsize (Kb) 10972 [startup+60.0082 s] Raw data (loadavg): 0.89 0.95 0.97 2/56 5413 Raw data (/proc/5410/stat): 5410 (vallstSAT2005PB) S 5409 5410 4060 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 19999695 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5410/statm): 532 242 485 147 0 385 0 [pid=5410] vsize: 2128 Raw data (/proc/5413/stat): 5413 (vallst) R 5410 5410 4060 0 -1 0 1702 0 0 0 4513 497 0 0 25 0 1 0 19999704 9056256 1604 4294967295 134512640 134702520 3221223952 3221223536 134558690 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5413/statm): 2211 1604 413 48 0 2163 0 [pid=5413] vsize: 8844 Current children cumulated CPU time (s) 50.13 Current children cumulated vsize (Kb) 10972 [startup+70.0089 s] Raw data (loadavg): 0.90 0.95 0.97 2/56 5413 Raw data (/proc/5410/stat): 5410 (vallstSAT2005PB) S 5409 5410 4060 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 19999695 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5410/statm): 532 242 485 147 0 385 0 [pid=5410] vsize: 2128 Raw data (/proc/5413/stat): 5413 (vallst) R 5410 5410 4060 0 -1 0 1716 0 0 0 5383 539 0 0 25 0 1 0 19999704 9056256 1618 4294967295 134512640 134702520 3221223952 3221223536 134558690 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5413/statm): 2211 1618 413 48 0 2163 0 [pid=5413] vsize: 8844 Current children cumulated CPU time (s) 59.25 Current children cumulated vsize (Kb) 10972 [startup+80.0107 s] Raw data (loadavg): 0.92 0.95 0.97 2/56 5413 Raw data (/proc/5410/stat): 5410 (vallstSAT2005PB) S 5409 5410 4060 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 19999695 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5410/statm): 532 242 485 147 0 385 0 [pid=5410] vsize: 2128 Raw data (/proc/5413/stat): 5413 (vallst) R 5410 5410 4060 0 -1 0 1941 0 0 0 6275 575 0 0 20 0 1 0 19999704 9056256 1843 4294967295 134512640 134702520 3221223952 3221223232 134552541 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5413/statm): 2211 1843 413 48 0 2163 0 [pid=5413] vsize: 8844 Current children cumulated CPU time (s) 68.53 Current children cumulated vsize (Kb) 10972 [startup+90.0114 s] Raw data (loadavg): 0.93 0.95 0.97 2/56 5413 Raw data (/proc/5410/stat): 5410 (vallstSAT2005PB) S 5409 5410 4060 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 19999695 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5410/statm): 532 242 485 147 0 385 0 [pid=5410] vsize: 2128 Raw data (/proc/5413/stat): 5413 (vallst) R 5410 5410 4060 0 -1 0 1941 0 0 0 7159 611 0 0 25 0 1 0 19999704 9056256 1843 4294967295 134512640 134702520 3221223952 3221223536 134558700 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5413/statm): 2211 1843 413 48 0 2163 0 [pid=5413] vsize: 8844 Current children cumulated CPU time (s) 77.73 Current children cumulated vsize (Kb) 10972 [startup+100.012 s] Raw data (loadavg): 0.94 0.95 0.97 1/56 5413 Raw data (/proc/5410/stat): 5410 (vallstSAT2005PB) S 5409 5410 4060 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 19999695 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5410/statm): 532 242 485 147 0 385 0 [pid=5410] vsize: 2128 Raw data (/proc/5413/stat): 5413 (vallst) T 5410 5410 4060 0 -1 0 1941 0 0 0 8028 657 0 0 25 0 1 0 19999704 9056256 1843 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5413/statm): 2211 1843 413 48 0 2163 0 [pid=5413] vsize: 8844 Current children cumulated CPU time (s) 86.88 Current children cumulated vsize (Kb) 10972 [startup+110.013 s] Raw data (loadavg): 0.95 0.95 0.97 1/56 5413 Raw data (/proc/5410/stat): 5410 (vallstSAT2005PB) S 5409 5410 4060 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 19999695 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5410/statm): 532 242 485 147 0 385 0 [pid=5410] vsize: 2128 Raw data (/proc/5413/stat): 5413 (vallst) T 5410 5410 4060 0 -1 0 1941 0 0 0 8907 697 0 0 23 0 1 0 19999704 9056256 1843 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5413/statm): 2211 1843 413 48 0 2163 0 [pid=5413] vsize: 8844 Current children cumulated CPU time (s) 96.07 Current children cumulated vsize (Kb) 10972 [startup+120.014 s] Raw data (loadavg): 0.96 0.95 0.97 1/56 5413 Raw data (/proc/5410/stat): 5410 (vallstSAT2005PB) S 5409 5410 4060 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 19999695 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5410/statm): 532 242 485 147 0 385 0 [pid=5410] vsize: 2128 Raw data (/proc/5413/stat): 5413 (vallst) T 5410 5410 4060 0 -1 0 1941 0 0 0 9761 745 0 0 22 0 1 0 19999704 9056256 1843 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5413/statm): 2211 1843 413 48 0 2163 0 [pid=5413] vsize: 8844 Current children cumulated CPU time (s) 105.09 Current children cumulated vsize (Kb) 10972 [startup+130.014 s] Raw data (loadavg): 0.96 0.95 0.97 2/56 5413 Raw data (/proc/5410/stat): 5410 (vallstSAT2005PB) S 5409 5410 4060 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 19999695 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5410/statm): 532 242 485 147 0 385 0 [pid=5410] vsize: 2128 Raw data (/proc/5413/stat): 5413 (vallst) R 5410 5410 4060 0 -1 0 1941 0 0 0 10619 793 0 0 24 0 1 0 19999704 9056256 1843 4294967295 134512640 134702520 3221223952 3221223232 134552261 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5413/statm): 2211 1843 413 48 0 2163 0 [pid=5413] vsize: 8844 Current children cumulated CPU time (s) 114.15 Current children cumulated vsize (Kb) 10972 [startup+140.015 s] Raw data (loadavg): 0.97 0.95 0.97 2/56 5413 Raw data (/proc/5410/stat): 5410 (vallstSAT2005PB) S 5409 5410 4060 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 19999695 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5410/statm): 532 242 485 147 0 385 0 [pid=5410] vsize: 2128 Raw data (/proc/5413/stat): 5413 (vallst) R 5410 5410 4060 0 -1 0 1941 0 0 0 11486 836 0 0 25 0 1 0 19999704 9056256 1843 4294967295 134512640 134702520 3221223952 3221223536 134558700 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5413/statm): 2211 1843 413 48 0 2163 0 [pid=5413] vsize: 8844 Current children cumulated CPU time (s) 123.25 Current children cumulated vsize (Kb) 10972 [startup+150.017 s] Raw data (loadavg): 0.97 0.95 0.97 2/56 5413 Raw data (/proc/5410/stat): 5410 (vallstSAT2005PB) S 5409 5410 4060 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 19999695 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5410/statm): 532 242 485 147 0 385 0 [pid=5410] vsize: 2128 Raw data (/proc/5413/stat): 5413 (vallst) R 5410 5410 4060 0 -1 0 1941 0 0 0 12303 899 0 0 22 0 1 0 19999704 9056256 1843 4294967295 134512640 134702520 3221223952 3221223232 134553333 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5413/statm): 2211 1843 413 48 0 2163 0 [pid=5413] vsize: 8844 Current children cumulated CPU time (s) 132.05 Current children cumulated vsize (Kb) 10972 [startup+160.018 s] Raw data (loadavg): 0.98 0.96 0.97 2/56 5413 Raw data (/proc/5410/stat): 5410 (vallstSAT2005PB) S 5409 5410 4060 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 19999695 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5410/statm): 532 242 485 147 0 385 0 [pid=5410] vsize: 2128 Raw data (/proc/5413/stat): 5413 (vallst) R 5410 5410 4060 0 -1 0 1941 0 0 0 13099 965 0 0 25 0 1 0 19999704 9056256 1843 4294967295 134512640 134702520 3221223952 3221223072 134584563 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5413/statm): 2211 1843 413 48 0 2163 0 [pid=5413] vsize: 8844 Current children cumulated CPU time (s) 140.67 Current children cumulated vsize (Kb) 10972 [startup+170.018 s] Raw data (loadavg): 0.98 0.96 0.97 2/56 5413 Raw data (/proc/5410/stat): 5410 (vallstSAT2005PB) S 5409 5410 4060 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 19999695 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5410/statm): 532 242 485 147 0 385 0 [pid=5410] vsize: 2128 Raw data (/proc/5413/stat): 5413 (vallst) R 5410 5410 4060 0 -1 0 1941 0 0 0 13888 1036 0 0 20 0 1 0 19999704 9056256 1843 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5413/statm): 2211 1843 413 48 0 2163 0 [pid=5413] vsize: 8844 Current children cumulated CPU time (s) 149.27 Current children cumulated vsize (Kb) 10972 [startup+180.019 s] Raw data (loadavg): 0.98 0.96 0.97 1/56 5413 Raw data (/proc/5410/stat): 5410 (vallstSAT2005PB) S 5409 5410 4060 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 19999695 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5410/statm): 532 242 485 147 0 385 0 [pid=5410] vsize: 2128 Raw data (/proc/5413/stat): 5413 (vallst) T 5410 5410 4060 0 -1 0 1941 0 0 0 14692 1102 0 0 21 0 1 0 19999704 9056256 1843 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5413/statm): 2211 1843 413 48 0 2163 0 [pid=5413] vsize: 8844 Current children cumulated CPU time (s) 157.97 Current children cumulated vsize (Kb) 10972 [startup+190.021 s] Raw data (loadavg): 0.98 0.96 0.97 2/56 5413 Raw data (/proc/5410/stat): 5410 (vallstSAT2005PB) S 5409 5410 4060 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 19999695 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5410/statm): 532 242 485 147 0 385 0 [pid=5410] vsize: 2128 Raw data (/proc/5413/stat): 5413 (vallst) R 5410 5410 4060 0 -1 0 1941 0 0 0 15494 1166 0 0 24 0 1 0 19999704 9056256 1843 4294967295 134512640 134702520 3221223952 3221222848 134552541 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5413/statm): 2211 1843 413 48 0 2163 0 [pid=5413] vsize: 8844 Current children cumulated CPU time (s) 166.63 Current children cumulated vsize (Kb) 10972 [startup+200.023 s] Raw data (loadavg): 0.99 0.96 0.97 2/56 5413 Raw data (/proc/5410/stat): 5410 (vallstSAT2005PB) S 5409 5410 4060 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 19999695 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5410/statm): 532 242 485 147 0 385 0 [pid=5410] vsize: 2128 Raw data (/proc/5413/stat): 5413 (vallst) R 5410 5410 4060 0 -1 0 1941 0 0 0 16289 1234 0 0 23 0 1 0 19999704 9056256 1843 4294967295 134512640 134702520 3221223952 3221223072 134578964 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5413/statm): 2211 1843 413 48 0 2163 0 [pid=5413] vsize: 8844 Current children cumulated CPU time (s) 175.26 Current children cumulated vsize (Kb) 10972 [startup+210.023 s] Raw data (loadavg): 0.99 0.96 0.97 2/56 5413 Raw data (/proc/5410/stat): 5410 (vallstSAT2005PB) S 5409 5410 4060 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 19999695 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5410/statm): 532 242 485 147 0 385 0 [pid=5410] vsize: 2128 Raw data (/proc/5413/stat): 5413 (vallst) T 5410 5410 4060 0 -1 0 1941 0 0 0 17095 1298 0 0 20 0 1 0 19999704 9056256 1843 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434789 0 0 17 1 0 0 Raw data (/proc/5413/statm): 2211 1843 413 48 0 2163 0 [pid=5413] vsize: 8844 Current children cumulated CPU time (s) 183.96 Current children cumulated vsize (Kb) 10972 [startup+220.024 s] Raw data (loadavg): 1.06 0.98 0.98 2/56 5413 Raw data (/proc/5410/stat): 5410 (vallstSAT2005PB) S 5409 5410 4060 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 19999695 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5410/statm): 532 242 485 147 0 385 0 [pid=5410] vsize: 2128 Raw data (/proc/5413/stat): 5413 (vallst) R 5410 5410 4060 0 -1 0 1941 0 0 0 17909 1357 0 0 25 0 1 0 19999704 9056256 1843 4294967295 134512640 134702520 3221223952 3221223072 134578986 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5413/statm): 2211 1843 413 48 0 2163 0 [pid=5413] vsize: 8844 Current children cumulated CPU time (s) 192.69 Current children cumulated vsize (Kb) 10972 [startup+230.025 s] Raw data (loadavg): 1.05 0.98 0.98 1/56 5413 Raw data (/proc/5410/stat): 5410 (vallstSAT2005PB) S 5409 5410 4060 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 19999695 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5410/statm): 532 242 485 147 0 385 0 [pid=5410] vsize: 2128 Raw data (/proc/5413/stat): 5413 (vallst) T 5410 5410 4060 0 -1 0 1941 0 0 0 18713 1420 0 0 20 0 1 0 19999704 9056256 1843 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5413/statm): 2211 1843 413 48 0 2163 0 [pid=5413] vsize: 8844 Current children cumulated CPU time (s) 201.36 Current children cumulated vsize (Kb) 10972 [startup+240.026 s] Raw data (loadavg): 1.04 0.98 0.98 2/56 5413 Raw data (/proc/5410/stat): 5410 (vallstSAT2005PB) S 5409 5410 4060 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 19999695 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5410/statm): 532 242 485 147 0 385 0 [pid=5410] vsize: 2128 Raw data (/proc/5413/stat): 5413 (vallst) R 5410 5410 4060 0 -1 0 1941 0 0 0 19524 1481 0 0 23 0 1 0 19999704 9056256 1843 4294967295 134512640 134702520 3221223952 3221222976 134552347 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5413/statm): 2211 1843 413 48 0 2163 0 [pid=5413] vsize: 8844 Current children cumulated CPU time (s) 210.08 Current children cumulated vsize (Kb) 10972 [startup+250.027 s] Raw data (loadavg): 1.04 0.98 0.98 1/56 5413 Raw data (/proc/5410/stat): 5410 (vallstSAT2005PB) S 5409 5410 4060 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 19999695 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5410/statm): 532 242 485 147 0 385 0 [pid=5410] vsize: 2128 Raw data (/proc/5413/stat): 5413 (vallst) T 5410 5410 4060 0 -1 0 1941 0 0 0 20319 1547 0 0 21 0 1 0 19999704 9056256 1843 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5413/statm): 2211 1843 413 48 0 2163 0 [pid=5413] vsize: 8844 Current children cumulated CPU time (s) 218.69 Current children cumulated vsize (Kb) 10972 [startup+260.029 s] Raw data (loadavg): 1.03 0.98 0.98 2/56 5413 Raw data (/proc/5410/stat): 5410 (vallstSAT2005PB) S 5409 5410 4060 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 19999695 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5410/statm): 532 242 485 147 0 385 0 [pid=5410] vsize: 2128 Raw data (/proc/5413/stat): 5413 (vallst) R 5410 5410 4060 0 -1 0 1941 0 0 0 21135 1609 0 0 23 0 1 0 19999704 9056256 1843 4294967295 134512640 134702520 3221223952 3221223232 134552340 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5413/statm): 2211 1843 413 48 0 2163 0 [pid=5413] vsize: 8844 Current children cumulated CPU time (s) 227.47 Current children cumulated vsize (Kb) 10972 [startup+270.03 s] Raw data (loadavg): 1.03 0.98 0.98 1/56 5413 Raw data (/proc/5410/stat): 5410 (vallstSAT2005PB) S 5409 5410 4060 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 19999695 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5410/statm): 532 242 485 147 0 385 0 [pid=5410] vsize: 2128 Raw data (/proc/5413/stat): 5413 (vallst) T 5410 5410 4060 0 -1 0 1941 0 0 0 21925 1677 0 0 20 0 1 0 19999704 9056256 1843 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5413/statm): 2211 1843 413 48 0 2163 0 [pid=5413] vsize: 8844 Current children cumulated CPU time (s) 236.05 Current children cumulated vsize (Kb) 10972 [startup+280.031 s] Raw data (loadavg): 1.02 0.98 0.98 1/56 5413 Raw data (/proc/5410/stat): 5410 (vallstSAT2005PB) S 5409 5410 4060 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 19999695 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5410/statm): 532 242 485 147 0 385 0 [pid=5410] vsize: 2128 Raw data (/proc/5413/stat): 5413 (vallst) T 5410 5410 4060 0 -1 0 1941 0 0 0 22737 1742 0 0 23 0 1 0 19999704 9056256 1843 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5413/statm): 2211 1843 413 48 0 2163 0 [pid=5413] vsize: 8844 Current children cumulated CPU time (s) 244.82 Current children cumulated vsize (Kb) 10972 [startup+290.031 s] Raw data (loadavg): 1.02 0.98 0.98 2/56 5413 Raw data (/proc/5410/stat): 5410 (vallstSAT2005PB) S 5409 5410 4060 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 19999695 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5410/statm): 532 242 485 147 0 385 0 [pid=5410] vsize: 2128 Raw data (/proc/5413/stat): 5413 (vallst) R 5410 5410 4060 0 -1 0 1941 0 0 0 23534 1807 0 0 24 0 1 0 19999704 9056256 1843 4294967295 134512640 134702520 3221223952 3221223172 134550217 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5413/statm): 2211 1843 413 48 0 2163 0 [pid=5413] vsize: 8844 Current children cumulated CPU time (s) 253.44 Current children cumulated vsize (Kb) 10972 [startup+300.032 s] Raw data (loadavg): 1.01 0.98 0.98 2/56 5413 Raw data (/proc/5410/stat): 5410 (vallstSAT2005PB) S 5409 5410 4060 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 19999695 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5410/statm): 532 242 485 147 0 385 0 [pid=5410] vsize: 2128 Raw data (/proc/5413/stat): 5413 (vallst) R 5410 5410 4060 0 -1 0 1941 0 0 0 24433 1841 0 0 25 0 1 0 19999704 9056256 1843 4294967295 134512640 134702520 3221223952 3221222848 134552340 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5413/statm): 2211 1843 413 48 0 2163 0 [pid=5413] vsize: 8844 Current children cumulated CPU time (s) 262.77 Current children cumulated vsize (Kb) 10972 [startup+310.033 s] Raw data (loadavg): 1.01 0.98 0.98 2/56 5413 Raw data (/proc/5410/stat): 5410 (vallstSAT2005PB) S 5409 5410 4060 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 19999695 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5410/statm): 532 242 485 147 0 385 0 [pid=5410] vsize: 2128 Raw data (/proc/5413/stat): 5413 (vallst) R 5410 5410 4060 0 -1 0 1941 0 0 0 25364 1862 0 0 24 0 1 0 19999704 9056256 1843 4294967295 134512640 134702520 3221223952 3221223072 134578859 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5413/statm): 2211 1843 413 48 0 2163 0 [pid=5413] vsize: 8844 Current children cumulated CPU time (s) 272.29 Current children cumulated vsize (Kb) 10972 [startup+320.034 s] Raw data (loadavg): 1.01 0.98 0.98 2/56 5413 Raw data (/proc/5410/stat): 5410 (vallstSAT2005PB) S 5409 5410 4060 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 19999695 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5410/statm): 532 242 485 147 0 385 0 [pid=5410] vsize: 2128 Raw data (/proc/5413/stat): 5413 (vallst) R 5410 5410 4060 0 -1 0 1941 0 0 0 26161 1929 0 0 21 0 1 0 19999704 9056256 1843 4294967295 134512640 134702520 3221223952 3221223172 134550195 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5413/statm): 2211 1843 413 48 0 2163 0 [pid=5413] vsize: 8844 Current children cumulated CPU time (s) 280.93 Current children cumulated vsize (Kb) 10972 [startup+330.035 s] Raw data (loadavg): 1.01 0.98 0.98 2/56 5413 Raw data (/proc/5410/stat): 5410 (vallstSAT2005PB) S 5409 5410 4060 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 19999695 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5410/statm): 532 242 485 147 0 385 0 [pid=5410] vsize: 2128 Raw data (/proc/5413/stat): 5413 (vallst) R 5410 5410 4060 0 -1 0 1941 0 0 0 26989 1986 0 0 25 0 1 0 19999704 9056256 1843 4294967295 134512640 134702520 3221223952 3221223232 134552484 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5413/statm): 2211 1843 413 48 0 2163 0 [pid=5413] vsize: 8844 Current children cumulated CPU time (s) 289.78 Current children cumulated vsize (Kb) 10972 [startup+340.036 s] Raw data (loadavg): 1.01 0.98 0.98 1/56 5413 Raw data (/proc/5410/stat): 5410 (vallstSAT2005PB) S 5409 5410 4060 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 19999695 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5410/statm): 532 242 485 147 0 385 0 [pid=5410] vsize: 2128 Raw data (/proc/5413/stat): 5413 (vallst) T 5410 5410 4060 0 -1 0 1941 0 0 0 27787 2049 0 0 23 0 1 0 19999704 9056256 1843 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5413/statm): 2211 1843 413 48 0 2163 0 [pid=5413] vsize: 8844 Current children cumulated CPU time (s) 298.39 Current children cumulated vsize (Kb) 10972 [startup+350.037 s] Raw data (loadavg): 1.00 0.98 0.98 2/56 5413 Raw data (/proc/5410/stat): 5410 (vallstSAT2005PB) S 5409 5410 4060 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 19999695 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5410/statm): 532 242 485 147 0 385 0 [pid=5410] vsize: 2128 Raw data (/proc/5413/stat): 5413 (vallst) R 5410 5410 4060 0 -1 0 1941 0 0 0 28595 2112 0 0 23 0 1 0 19999704 9056256 1843 4294967295 134512640 134702520 3221223952 3221223072 134584563 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5413/statm): 2211 1843 413 48 0 2163 0 [pid=5413] vsize: 8844 Current children cumulated CPU time (s) 307.1 Current children cumulated vsize (Kb) 10972 [startup+360.038 s] Raw data (loadavg): 1.00 0.98 0.98 1/56 5413 Raw data (/proc/5410/stat): 5410 (vallstSAT2005PB) S 5409 5410 4060 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 19999695 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5410/statm): 532 242 485 147 0 385 0 [pid=5410] vsize: 2128 Raw data (/proc/5413/stat): 5413 (vallst) T 5410 5410 4060 0 -1 0 1941 0 0 0 29412 2174 0 0 24 0 1 0 19999704 9056256 1843 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5413/statm): 2211 1843 413 48 0 2163 0 [pid=5413] vsize: 8844 Current children cumulated CPU time (s) 315.89 Current children cumulated vsize (Kb) 10972 [startup+370.038 s] Raw data (loadavg): 1.00 0.98 0.98 1/56 5413 Raw data (/proc/5410/stat): 5410 (vallstSAT2005PB) S 5409 5410 4060 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 19999695 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5410/statm): 532 242 485 147 0 385 0 [pid=5410] vsize: 2128 Raw data (/proc/5413/stat): 5413 (vallst) T 5410 5410 4060 0 -1 0 1941 0 0 0 30209 2238 0 0 20 0 1 0 19999704 9056256 1843 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5413/statm): 2211 1843 413 48 0 2163 0 [pid=5413] vsize: 8844 Current children cumulated CPU time (s) 324.5 Current children cumulated vsize (Kb) 10972 [startup+380.04 s] Raw data (loadavg): 1.00 0.98 0.98 2/56 5413 Raw data (/proc/5410/stat): 5410 (vallstSAT2005PB) S 5409 5410 4060 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 19999695 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5410/statm): 532 242 485 147 0 385 0 [pid=5410] vsize: 2128 Raw data (/proc/5413/stat): 5413 (vallst) R 5410 5410 4060 0 -1 0 1941 0 0 0 31031 2300 0 0 21 0 1 0 19999704 9056256 1843 4294967295 134512640 134702520 3221223952 3221223232 134553333 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/5413/statm): 2211 1843 413 48 0 2163 0 [pid=5413] vsize: 8844 Current children cumulated CPU time (s) 333.34 Current children cumulated vsize (Kb) 10972 [startup+390.041 s] Raw data (loadavg): 1.08 0.99 0.98 1/56 5413 Raw data (/proc/5410/stat): 5410 (vallstSAT2005PB) S 5409 5410 4060 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 19999695 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5410/statm): 532 242 485 147 0 385 0 [pid=5410] vsize: 2128 Raw data (/proc/5413/stat): 5413 (vallst) T 5410 5410 4060 0 -1 0 1941 0 0 0 31846 2362 0 0 20 0 1 0 19999704 9056256 1843 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5413/statm): 2211 1843 413 48 0 2163 0 [pid=5413] vsize: 8844 Current children cumulated CPU time (s) 342.11 Current children cumulated vsize (Kb) 10972 [startup+400.042 s] Raw data (loadavg): 1.14 1.01 0.99 2/56 5413 Raw data (/proc/5410/stat): 5410 (vallstSAT2005PB) S 5409 5410 4060 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 19999695 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5410/statm): 532 242 485 147 0 385 0 [pid=5410] vsize: 2128 Raw data (/proc/5413/stat): 5413 (vallst) R 5410 5410 4060 0 -1 0 1941 0 0 0 32665 2420 0 0 25 0 1 0 19999704 9056256 1843 4294967295 134512640 134702520 3221223952 3221223072 134572636 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5413/statm): 2211 1843 413 48 0 2163 0 [pid=5413] vsize: 8844 Current children cumulated CPU time (s) 350.88 Current children cumulated vsize (Kb) 10972 [startup+410.042 s] Raw data (loadavg): 1.12 1.01 0.99 1/56 5415 Raw data (/proc/5410/stat): 5410 (vallstSAT2005PB) S 5409 5410 4060 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 19999695 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5410/statm): 532 242 485 147 0 385 0 [pid=5410] vsize: 2128 Raw data (/proc/5413/stat): 5413 (vallst) T 5410 5410 4060 0 -1 0 1941 0 0 0 33472 2481 0 0 20 0 1 0 19999704 9056256 1843 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5413/statm): 2211 1843 413 48 0 2163 0 [pid=5413] vsize: 8844 Current children cumulated CPU time (s) 359.56 Current children cumulated vsize (Kb) 10972 [startup+420.043 s] Raw data (loadavg): 1.10 1.01 0.99 1/56 5415 Raw data (/proc/5410/stat): 5410 (vallstSAT2005PB) S 5409 5410 4060 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 19999695 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5410/statm): 532 242 485 147 0 385 0 [pid=5410] vsize: 2128 Raw data (/proc/5413/stat): 5413 (vallst) T 5410 5410 4060 0 -1 0 1941 0 0 0 34297 2538 0 0 22 0 1 0 19999704 9056256 1843 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5413/statm): 2211 1843 413 48 0 2163 0 [pid=5413] vsize: 8844 Current children cumulated CPU time (s) 368.38 Current children cumulated vsize (Kb) 10972 [startup+430.045 s] Raw data (loadavg): 1.08 1.01 0.99 1/56 5415 Raw data (/proc/5410/stat): 5410 (vallstSAT2005PB) S 5409 5410 4060 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 19999695 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5410/statm): 532 242 485 147 0 385 0 [pid=5410] vsize: 2128 Raw data (/proc/5413/stat): 5413 (vallst) T 5410 5410 4060 0 -1 0 1941 0 0 0 35104 2603 0 0 21 0 1 0 19999704 9056256 1843 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5413/statm): 2211 1843 413 48 0 2163 0 [pid=5413] vsize: 8844 Current children cumulated CPU time (s) 377.1 Current children cumulated vsize (Kb) 10972 [startup+440.046 s] Raw data (loadavg): 1.07 1.01 0.99 2/56 5415 Raw data (/proc/5410/stat): 5410 (vallstSAT2005PB) S 5409 5410 4060 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 19999695 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5410/statm): 532 242 485 147 0 385 0 [pid=5410] vsize: 2128 Raw data (/proc/5413/stat): 5413 (vallst) R 5410 5410 4060 0 -1 0 1941 0 0 0 35933 2661 0 0 25 0 1 0 19999704 9056256 1843 4294967295 134512640 134702520 3221223952 3221223072 134584563 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5413/statm): 2211 1843 413 48 0 2163 0 [pid=5413] vsize: 8844 Current children cumulated CPU time (s) 385.97 Current children cumulated vsize (Kb) 10972 [startup+450.046 s] Raw data (loadavg): 1.06 1.01 0.99 2/56 5415 Raw data (/proc/5410/stat): 5410 (vallstSAT2005PB) S 5409 5410 4060 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 19999695 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5410/statm): 532 242 485 147 0 385 0 [pid=5410] vsize: 2128 Raw data (/proc/5413/stat): 5413 (vallst) R 5410 5410 4060 0 -1 0 1941 0 0 0 36748 2722 0 0 21 0 1 0 19999704 9056256 1843 4294967295 134512640 134702520 3221223952 3221223072 134578849 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5413/statm): 2211 1843 413 48 0 2163 0 [pid=5413] vsize: 8844 Current children cumulated CPU time (s) 394.73 Current children cumulated vsize (Kb) 10972 [startup+460.047 s] Raw data (loadavg): 1.05 1.00 0.99 2/56 5415 Raw data (/proc/5410/stat): 5410 (vallstSAT2005PB) S 5409 5410 4060 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 19999695 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5410/statm): 532 242 485 147 0 385 0 [pid=5410] vsize: 2128 Raw data (/proc/5413/stat): 5413 (vallst) R 5410 5410 4060 0 -1 0 1941 0 0 0 37574 2780 0 0 21 0 1 0 19999704 9056256 1843 4294967295 134512640 134702520 3221223952 3221223172 134550195 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5413/statm): 2211 1843 413 48 0 2163 0 [pid=5413] vsize: 8844 Current children cumulated CPU time (s) 403.57 Current children cumulated vsize (Kb) 10972 [startup+470.048 s] Raw data (loadavg): 1.04 1.00 0.99 2/56 5415 Raw data (/proc/5410/stat): 5410 (vallstSAT2005PB) S 5409 5410 4060 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 19999695 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5410/statm): 532 242 485 147 0 385 0 [pid=5410] vsize: 2128 Raw data (/proc/5413/stat): 5413 (vallst) R 5410 5410 4060 0 -1 0 1941 0 0 0 38403 2837 0 0 20 0 1 0 19999704 9056256 1843 4294967295 134512640 134702520 3221223952 3221223232 134554270 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5413/statm): 2211 1843 413 48 0 2163 0 [pid=5413] vsize: 8844 Current children cumulated CPU time (s) 412.43 Current children cumulated vsize (Kb) 10972 [startup+480.049 s] Raw data (loadavg): 1.04 1.00 0.99 2/56 5415 Raw data (/proc/5410/stat): 5410 (vallstSAT2005PB) S 5409 5410 4060 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 19999695 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5410/statm): 532 242 485 147 0 385 0 [pid=5410] vsize: 2128 Raw data (/proc/5413/stat): 5413 (vallst) R 5410 5410 4060 0 -1 0 1941 0 0 0 39319 2864 0 0 25 0 1 0 19999704 9056256 1843 4294967295 134512640 134702520 3221223952 3221222848 134552301 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5413/statm): 2211 1843 413 48 0 2163 0 [pid=5413] vsize: 8844 Current children cumulated CPU time (s) 421.86 Current children cumulated vsize (Kb) 10972 [startup+490.049 s] Raw data (loadavg): 1.03 1.00 0.99 1/60 5465 Raw data (/proc/5410/stat): 5410 (vallstSAT2005PB) S 5409 5410 4060 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 19999695 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5410/statm): 532 242 485 147 0 385 0 [pid=5410] vsize: 2128 Raw data (/proc/5413/stat): 5413 (vallst) T 5410 5410 4060 0 -1 0 1941 0 0 0 40237 2890 0 0 21 0 1 0 19999704 9056256 1843 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5413/statm): 2211 1843 413 48 0 2163 0 [pid=5413] vsize: 8844 Current children cumulated CPU time (s) 431.3 Current children cumulated vsize (Kb) 10972 [startup+500.051 s] Raw data (loadavg): 1.02 1.00 0.99 2/56 5470 Raw data (/proc/5410/stat): 5410 (vallstSAT2005PB) S 5409 5410 4060 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 19999695 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5410/statm): 532 242 485 147 0 385 0 [pid=5410] vsize: 2128 Raw data (/proc/5413/stat): 5413 (vallst) R 5410 5410 4060 0 -1 0 1941 0 0 0 41056 2952 0 0 22 0 1 0 19999704 9056256 1843 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5413/statm): 2211 1843 413 48 0 2163 0 [pid=5413] vsize: 8844 Current children cumulated CPU time (s) 440.11 Current children cumulated vsize (Kb) 10972 [startup+510.052 s] Raw data (loadavg): 1.02 1.00 0.99 2/56 5470 Raw data (/proc/5410/stat): 5410 (vallstSAT2005PB) S 5409 5410 4060 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 19999695 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5410/statm): 532 242 485 147 0 385 0 [pid=5410] vsize: 2128 Raw data (/proc/5413/stat): 5413 (vallst) R 5410 5410 4060 0 -1 0 1941 0 0 0 41859 3012 0 0 21 0 1 0 19999704 9056256 1843 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5413/statm): 2211 1843 413 48 0 2163 0 [pid=5413] vsize: 8844 Current children cumulated CPU time (s) 448.74 Current children cumulated vsize (Kb) 10972 [startup+520.053 s] Raw data (loadavg): 1.02 1.00 0.99 1/56 5470 Raw data (/proc/5410/stat): 5410 (vallstSAT2005PB) S 5409 5410 4060 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 19999695 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5410/statm): 532 242 485 147 0 385 0 [pid=5410] vsize: 2128 Raw data (/proc/5413/stat): 5413 (vallst) T 5410 5410 4060 0 -1 0 1941 0 0 0 42680 3073 0 0 20 0 1 0 19999704 9056256 1843 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5413/statm): 2211 1843 413 48 0 2163 0 [pid=5413] vsize: 8844 Current children cumulated CPU time (s) 457.56 Current children cumulated vsize (Kb) 10972 [startup+530.054 s] Raw data (loadavg): 1.01 1.00 0.99 2/56 5470 Raw data (/proc/5410/stat): 5410 (vallstSAT2005PB) S 5409 5410 4060 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 19999695 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5410/statm): 532 242 485 147 0 385 0 [pid=5410] vsize: 2128 Raw data (/proc/5413/stat): 5413 (vallst) T 5410 5410 4060 0 -1 0 1941 0 0 0 43521 3122 0 0 23 0 1 0 19999704 9056256 1843 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5413/statm): 2211 1843 413 48 0 2163 0 [pid=5413] vsize: 8844 Current children cumulated CPU time (s) 466.46 Current children cumulated vsize (Kb) 10972 [startup+540.055 s] Raw data (loadavg): 1.01 1.00 0.99 1/56 5470 Raw data (/proc/5410/stat): 5410 (vallstSAT2005PB) S 5409 5410 4060 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 19999695 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5410/statm): 532 242 485 147 0 385 0 [pid=5410] vsize: 2128 Raw data (/proc/5413/stat): 5413 (vallst) T 5410 5410 4060 0 -1 0 1941 0 0 0 44351 3180 0 0 24 0 1 0 19999704 9056256 1843 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5413/statm): 2211 1843 413 48 0 2163 0 [pid=5413] vsize: 8844 Current children cumulated CPU time (s) 475.34 Current children cumulated vsize (Kb) 10972 [startup+550.057 s] Raw data (loadavg): 1.01 1.00 0.99 2/56 5470 Raw data (/proc/5410/stat): 5410 (vallstSAT2005PB) S 5409 5410 4060 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 19999695 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5410/statm): 532 242 485 147 0 385 0 [pid=5410] vsize: 2128 Raw data (/proc/5413/stat): 5413 (vallst) R 5410 5410 4060 0 -1 0 1941 0 0 0 45176 3234 0 0 25 0 1 0 19999704 9056256 1843 4294967295 134512640 134702520 3221223952 3221223232 134550676 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5413/statm): 2211 1843 413 48 0 2163 0 [pid=5413] vsize: 8844 Current children cumulated CPU time (s) 484.13 Current children cumulated vsize (Kb) 10972 [startup+560.058 s] Raw data (loadavg): 1.01 1.00 0.99 2/56 5474 Raw data (/proc/5410/stat): 5410 (vallstSAT2005PB) S 5409 5410 4060 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 19999695 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5410/statm): 532 242 485 147 0 385 0 [pid=5410] vsize: 2128 Raw data (/proc/5413/stat): 5413 (vallst) R 5410 5410 4060 0 -1 0 1941 0 0 0 45968 3304 0 0 22 0 1 0 19999704 9056256 1843 4294967295 134512640 134702520 3221223952 3221223072 134588546 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5413/statm): 2211 1843 413 48 0 2163 0 [pid=5413] vsize: 8844 Current children cumulated CPU time (s) 492.75 Current children cumulated vsize (Kb) 10972 [startup+570.058 s] Raw data (loadavg): 1.01 1.00 0.99 2/56 5474 Raw data (/proc/5410/stat): 5410 (vallstSAT2005PB) S 5409 5410 4060 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 19999695 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5410/statm): 532 242 485 147 0 385 0 [pid=5410] vsize: 2128 Raw data (/proc/5413/stat): 5413 (vallst) R 5410 5410 4060 0 -1 0 1941 0 0 0 46838 3346 0 0 25 0 1 0 19999704 9056256 1843 4294967295 134512640 134702520 3221223952 3221223536 134558690 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5413/statm): 2211 1843 413 48 0 2163 0 [pid=5413] vsize: 8844 Current children cumulated CPU time (s) 501.87 Current children cumulated vsize (Kb) 10972 [startup+580.059 s] Raw data (loadavg): 1.00 1.00 0.99 2/56 5474 Raw data (/proc/5410/stat): 5410 (vallstSAT2005PB) S 5409 5410 4060 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 19999695 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5410/statm): 532 242 485 147 0 385 0 [pid=5410] vsize: 2128 Raw data (/proc/5413/stat): 5413 (vallst) R 5410 5410 4060 0 -1 0 1941 0 0 0 47726 3382 0 0 25 0 1 0 19999704 9056256 1843 4294967295 134512640 134702520 3221223952 3221223536 134558712 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5413/statm): 2211 1843 413 48 0 2163 0 [pid=5413] vsize: 8844 Current children cumulated CPU time (s) 511.11 Current children cumulated vsize (Kb) 10972 [startup+590.06 s] Raw data (loadavg): 1.08 1.02 0.99 1/56 5474 Raw data (/proc/5410/stat): 5410 (vallstSAT2005PB) S 5409 5410 4060 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 19999695 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5410/statm): 532 242 485 147 0 385 0 [pid=5410] vsize: 2128 Raw data (/proc/5413/stat): 5413 (vallst) T 5410 5410 4060 0 -1 0 1941 0 0 0 48595 3427 0 0 23 0 1 0 19999704 9056256 1843 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5413/statm): 2211 1843 413 48 0 2163 0 [pid=5413] vsize: 8844 Current children cumulated CPU time (s) 520.25 Current children cumulated vsize (Kb) 10972 [startup+600.062 s] Raw data (loadavg): 1.07 1.02 0.99 2/56 5474 Raw data (/proc/5410/stat): 5410 (vallstSAT2005PB) S 5409 5410 4060 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 19999695 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5410/statm): 532 242 485 147 0 385 0 [pid=5410] vsize: 2128 Raw data (/proc/5413/stat): 5413 (vallst) R 5410 5410 4060 0 -1 0 1941 0 0 0 49491 3464 0 0 25 0 1 0 19999704 9056256 1843 4294967295 134512640 134702520 3221223952 3221223072 134573853 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5413/statm): 2211 1843 413 48 0 2163 0 [pid=5413] vsize: 8844 Current children cumulated CPU time (s) 529.58 Current children cumulated vsize (Kb) 10972 [startup+610.062 s] Raw data (loadavg): 1.06 1.01 0.99 2/56 5474 Raw data (/proc/5410/stat): 5410 (vallstSAT2005PB) S 5409 5410 4060 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 19999695 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5410/statm): 532 242 485 147 0 385 0 [pid=5410] vsize: 2128 Raw data (/proc/5413/stat): 5413 (vallst) R 5410 5410 4060 0 -1 0 1941 0 0 0 50361 3506 0 0 20 0 1 0 19999704 9056256 1843 4294967295 134512640 134702520 3221223952 3221223232 134552864 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5413/statm): 2211 1843 413 48 0 2163 0 [pid=5413] vsize: 8844 Current children cumulated CPU time (s) 538.7 Current children cumulated vsize (Kb) 10972 [startup+620.063 s] Raw data (loadavg): 1.05 1.01 0.99 2/56 5474 Raw data (/proc/5410/stat): 5410 (vallstSAT2005PB) S 5409 5410 4060 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 19999695 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5410/statm): 532 242 485 147 0 385 0 [pid=5410] vsize: 2128 Raw data (/proc/5413/stat): 5413 (vallst) R 5410 5410 4060 0 -1 0 1941 0 0 0 51146 3581 0 0 24 0 1 0 19999704 9056256 1843 4294967295 134512640 134702520 3221223952 3221223232 134552361 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5413/statm): 2211 1843 413 48 0 2163 0 [pid=5413] vsize: 8844 Current children cumulated CPU time (s) 547.3 Current children cumulated vsize (Kb) 10972 [startup+630.064 s] Raw data (loadavg): 1.04 1.01 0.99 2/56 5474 Raw data (/proc/5410/stat): 5410 (vallstSAT2005PB) S 5409 5410 4060 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 19999695 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5410/statm): 532 242 485 147 0 385 0 [pid=5410] vsize: 2128 Raw data (/proc/5413/stat): 5413 (vallst) R 5410 5410 4060 0 -1 0 1941 0 0 0 51931 3653 0 0 24 0 1 0 19999704 9056256 1843 4294967295 134512640 134702520 3221223952 3221222848 134552560 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5413/statm): 2211 1843 413 48 0 2163 0 [pid=5413] vsize: 8844 Current children cumulated CPU time (s) 555.87 Current children cumulated vsize (Kb) 10972 [startup+640.065 s] Raw data (loadavg): 1.03 1.01 0.99 2/56 5474 Raw data (/proc/5410/stat): 5410 (vallstSAT2005PB) S 5409 5410 4060 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 19999695 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5410/statm): 532 242 485 147 0 385 0 [pid=5410] vsize: 2128 Raw data (/proc/5413/stat): 5413 (vallst) R 5410 5410 4060 0 -1 0 1941 0 0 0 52724 3720 0 0 24 0 1 0 19999704 9056256 1843 4294967295 134512640 134702520 3221223952 3221223072 134578907 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5413/statm): 2211 1843 413 48 0 2163 0 [pid=5413] vsize: 8844 Current children cumulated CPU time (s) 564.47 Current children cumulated vsize (Kb) 10972 [startup+650.065 s] Raw data (loadavg): 1.03 1.01 0.99 2/56 5474 Raw data (/proc/5410/stat): 5410 (vallstSAT2005PB) S 5409 5410 4060 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 19999695 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5410/statm): 532 242 485 147 0 385 0 [pid=5410] vsize: 2128 Raw data (/proc/5413/stat): 5413 (vallst) R 5410 5410 4060 0 -1 0 1941 0 0 0 53515 3789 0 0 21 0 1 0 19999704 9056256 1843 4294967295 134512640 134702520 3221223952 3221223232 134552261 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5413/statm): 2211 1843 413 48 0 2163 0 [pid=5413] vsize: 8844 Current children cumulated CPU time (s) 573.07 Current children cumulated vsize (Kb) 10972 [startup+660.066 s] Raw data (loadavg): 1.02 1.01 0.99 1/56 5474 Raw data (/proc/5410/stat): 5410 (vallstSAT2005PB) S 5409 5410 4060 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 19999695 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5410/statm): 532 242 485 147 0 385 0 [pid=5410] vsize: 2128 Raw data (/proc/5413/stat): 5413 (vallst) T 5410 5410 4060 0 -1 0 1941 0 0 0 54320 3856 0 0 24 0 1 0 19999704 9056256 1843 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5413/statm): 2211 1843 413 48 0 2163 0 [pid=5413] vsize: 8844 Current children cumulated CPU time (s) 581.79 Current children cumulated vsize (Kb) 10972 [startup+670.067 s] Raw data (loadavg): 1.02 1.01 0.99 2/56 5474 Raw data (/proc/5410/stat): 5410 (vallstSAT2005PB) S 5409 5410 4060 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 19999695 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5410/statm): 532 242 485 147 0 385 0 [pid=5410] vsize: 2128 Raw data (/proc/5413/stat): 5413 (vallst) R 5410 5410 4060 0 -1 0 1941 0 0 0 55119 3922 0 0 24 0 1 0 19999704 9056256 1843 4294967295 134512640 134702520 3221223952 3221223232 134550678 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5413/statm): 2211 1843 413 48 0 2163 0 [pid=5413] vsize: 8844 Current children cumulated CPU time (s) 590.44 Current children cumulated vsize (Kb) 10972 [startup+680.068 s] Raw data (loadavg): 1.02 1.01 0.99 2/56 5474 Raw data (/proc/5410/stat): 5410 (vallstSAT2005PB) S 5409 5410 4060 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 19999695 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5410/statm): 532 242 485 147 0 385 0 [pid=5410] vsize: 2128 Raw data (/proc/5413/stat): 5413 (vallst) R 5410 5410 4060 0 -1 0 1941 0 0 0 55903 3995 0 0 22 0 1 0 19999704 9056256 1843 4294967295 134512640 134702520 3221223952 3221222848 134552343 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5413/statm): 2211 1843 413 48 0 2163 0 [pid=5413] vsize: 8844 Current children cumulated CPU time (s) 599.01 Current children cumulated vsize (Kb) 10972 [startup+690.069 s] Raw data (loadavg): 1.09 1.02 1.00 2/56 5474 Raw data (/proc/5410/stat): 5410 (vallstSAT2005PB) S 5409 5410 4060 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 19999695 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5410/statm): 532 242 485 147 0 385 0 [pid=5410] vsize: 2128 Raw data (/proc/5413/stat): 5413 (vallst) R 5410 5410 4060 0 -1 0 1941 0 0 0 56702 4058 0 0 20 0 1 0 19999704 9056256 1843 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5413/statm): 2211 1843 413 48 0 2163 0 [pid=5413] vsize: 8844 Current children cumulated CPU time (s) 607.63 Current children cumulated vsize (Kb) 10972 [startup+700.07 s] Raw data (loadavg): 1.07 1.02 1.00 2/56 5474 Raw data (/proc/5410/stat): 5410 (vallstSAT2005PB) S 5409 5410 4060 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 19999695 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5410/statm): 532 242 485 147 0 385 0 [pid=5410] vsize: 2128 Raw data (/proc/5413/stat): 5413 (vallst) R 5410 5410 4060 0 -1 0 1941 0 0 0 57503 4124 0 0 20 0 1 0 19999704 9056256 1843 4294967295 134512640 134702520 3221223952 3221223232 134552866 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5413/statm): 2211 1843 413 48 0 2163 0 [pid=5413] vsize: 8844 Current children cumulated CPU time (s) 616.3 Current children cumulated vsize (Kb) 10972 [startup+710.071 s] Raw data (loadavg): 1.14 1.04 1.00 2/56 5474 Raw data (/proc/5410/stat): 5410 (vallstSAT2005PB) S 5409 5410 4060 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 19999695 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5410/statm): 532 242 485 147 0 385 0 [pid=5410] vsize: 2128 Raw data (/proc/5413/stat): 5413 (vallst) R 5410 5410 4060 0 -1 0 1941 0 0 0 58318 4185 0 0 25 0 1 0 19999704 9056256 1843 4294967295 134512640 134702520 3221223952 3221223072 134578849 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5413/statm): 2211 1843 413 48 0 2163 0 [pid=5413] vsize: 8844 Current children cumulated CPU time (s) 625.06 Current children cumulated vsize (Kb) 10972 [startup+720.072 s] Raw data (loadavg): 1.19 1.05 1.01 2/56 5474 Raw data (/proc/5410/stat): 5410 (vallstSAT2005PB) S 5409 5410 4060 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 19999695 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5410/statm): 532 242 485 147 0 385 0 [pid=5410] vsize: 2128 Raw data (/proc/5413/stat): 5413 (vallst) R 5410 5410 4060 0 -1 0 1941 0 0 0 59110 4256 0 0 25 0 1 0 19999704 9056256 1843 4294967295 134512640 134702520 3221223952 3221223424 134657210 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/5413/statm): 2211 1843 413 48 0 2163 0 [pid=5413] vsize: 8844 Current children cumulated CPU time (s) 633.69 Current children cumulated vsize (Kb) 10972 [startup+730.072 s] Raw data (loadavg): 1.16 1.05 1.01 2/56 5474 Raw data (/proc/5410/stat): 5410 (vallstSAT2005PB) S 5409 5410 4060 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 19999695 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5410/statm): 532 242 485 147 0 385 0 [pid=5410] vsize: 2128 Raw data (/proc/5413/stat): 5413 (vallst) R 5410 5410 4060 0 -1 0 1941 0 0 0 59886 4329 0 0 22 0 1 0 19999704 9056256 1843 4294967295 134512640 134702520 3221223952 3221222848 134552340 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5413/statm): 2211 1843 413 48 0 2163 0 [pid=5413] vsize: 8844 Current children cumulated CPU time (s) 642.18 Current children cumulated vsize (Kb) 10972 [startup+740.074 s] Raw data (loadavg): 1.14 1.05 1.01 2/56 5474 Raw data (/proc/5410/stat): 5410 (vallstSAT2005PB) S 5409 5410 4060 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 19999695 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5410/statm): 532 242 485 147 0 385 0 [pid=5410] vsize: 2128 Raw data (/proc/5413/stat): 5413 (vallst) R 5410 5410 4060 0 -1 0 1941 0 0 0 60677 4397 0 0 18 0 1 0 19999704 9056256 1843 4294967295 134512640 134702520 3221223952 3221223232 134552361 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5413/statm): 2211 1843 413 48 0 2163 0 [pid=5413] vsize: 8844 Current children cumulated CPU time (s) 650.77 Current children cumulated vsize (Kb) 10972 [startup+750.075 s] Raw data (loadavg): 1.12 1.05 1.01 2/56 5474 Raw data (/proc/5410/stat): 5410 (vallstSAT2005PB) S 5409 5410 4060 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 19999695 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5410/statm): 532 242 485 147 0 385 0 [pid=5410] vsize: 2128 Raw data (/proc/5413/stat): 5413 (vallst) R 5410 5410 4060 0 -1 0 1941 0 0 0 61484 4462 0 0 20 0 1 0 19999704 9056256 1843 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5413/statm): 2211 1843 413 48 0 2163 0 [pid=5413] vsize: 8844 Current children cumulated CPU time (s) 659.49 Current children cumulated vsize (Kb) 10972 [startup+760.076 s] Raw data (loadavg): 1.10 1.04 1.01 2/56 5474 Raw data (/proc/5410/stat): 5410 (vallstSAT2005PB) S 5409 5410 4060 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 19999695 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5410/statm): 532 242 485 147 0 385 0 [pid=5410] vsize: 2128 Raw data (/proc/5413/stat): 5413 (vallst) R 5410 5410 4060 0 -1 0 1941 0 0 0 62357 4501 0 0 25 0 1 0 19999704 9056256 1843 4294967295 134512640 134702520 3221223952 3221222848 134552261 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5413/statm): 2211 1843 413 48 0 2163 0 [pid=5413] vsize: 8844 Current children cumulated CPU time (s) 668.61 Current children cumulated vsize (Kb) 10972 [startup+770.076 s] Raw data (loadavg): 1.08 1.04 1.00 2/56 5474 Raw data (/proc/5410/stat): 5410 (vallstSAT2005PB) S 5409 5410 4060 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 19999695 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5410/statm): 532 242 485 147 0 385 0 [pid=5410] vsize: 2128 Raw data (/proc/5413/stat): 5413 (vallst) R 5410 5410 4060 0 -1 0 1941 0 0 0 63304 4520 0 0 25 0 1 0 19999704 9056256 1843 4294967295 134512640 134702520 3221223952 3221222848 134552296 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5413/statm): 2211 1843 413 48 0 2163 0 [pid=5413] vsize: 8844 Current children cumulated CPU time (s) 678.27 Current children cumulated vsize (Kb) 10972 [startup+780.078 s] Raw data (loadavg): 1.07 1.04 1.00 2/56 5474 Raw data (/proc/5410/stat): 5410 (vallstSAT2005PB) S 5409 5410 4060 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 19999695 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5410/statm): 532 242 485 147 0 385 0 [pid=5410] vsize: 2128 Raw data (/proc/5413/stat): 5413 (vallst) R 5410 5410 4060 0 -1 0 1941 0 0 0 64098 4594 0 0 22 0 1 0 19999704 9056256 1843 4294967295 134512640 134702520 3221223952 3221223072 134588505 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5413/statm): 2211 1843 413 48 0 2163 0 [pid=5413] vsize: 8844 Current children cumulated CPU time (s) 686.95 Current children cumulated vsize (Kb) 10972 [startup+790.079 s] Raw data (loadavg): 1.06 1.04 1.00 2/56 5474 Raw data (/proc/5410/stat): 5410 (vallstSAT2005PB) S 5409 5410 4060 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 19999695 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5410/statm): 532 242 485 147 0 385 0 [pid=5410] vsize: 2128 Raw data (/proc/5413/stat): 5413 (vallst) R 5410 5410 4060 0 -1 0 1941 0 0 0 64900 4658 0 0 21 0 1 0 19999704 9056256 1843 4294967295 134512640 134702520 3221223952 3221223172 134550195 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5413/statm): 2211 1843 413 48 0 2163 0 [pid=5413] vsize: 8844 Current children cumulated CPU time (s) 695.61 Current children cumulated vsize (Kb) 10972 [startup+800.081 s] Raw data (loadavg): 1.05 1.04 1.00 2/56 5474 Raw data (/proc/5410/stat): 5410 (vallstSAT2005PB) S 5409 5410 4060 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 19999695 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5410/statm): 532 242 485 147 0 385 0 [pid=5410] vsize: 2128 Raw data (/proc/5413/stat): 5413 (vallst) R 5410 5410 4060 0 -1 0 1941 0 0 0 65712 4720 0 0 25 0 1 0 19999704 9056256 1843 4294967295 134512640 134702520 3221223952 3221223072 134573701 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5413/statm): 2211 1843 413 48 0 2163 0 [pid=5413] vsize: 8844 Current children cumulated CPU time (s) 704.35 Current children cumulated vsize (Kb) 10972 [startup+810.081 s] Raw data (loadavg): 1.12 1.05 1.01 2/56 5474 Raw data (/proc/5410/stat): 5410 (vallstSAT2005PB) S 5409 5410 4060 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 19999695 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5410/statm): 532 242 485 147 0 385 0 [pid=5410] vsize: 2128 Raw data (/proc/5413/stat): 5413 (vallst) R 5410 5410 4060 0 -1 0 1941 0 0 0 66511 4784 0 0 22 0 1 0 19999704 9056256 1843 4294967295 134512640 134702520 3221223952 3221223232 134553499 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/5413/statm): 2211 1843 413 48 0 2163 0 [pid=5413] vsize: 8844 Current children cumulated CPU time (s) 712.98 Current children cumulated vsize (Kb) 10972 [startup+820.081 s] Raw data (loadavg): 1.10 1.05 1.00 2/56 5474 Raw data (/proc/5410/stat): 5410 (vallstSAT2005PB) S 5409 5410 4060 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 19999695 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5410/statm): 532 242 485 147 0 385 0 [pid=5410] vsize: 2128 Raw data (/proc/5413/stat): 5413 (vallst) R 5410 5410 4060 0 -1 0 1941 0 0 0 67331 4846 0 0 23 0 1 0 19999704 9056256 1843 4294967295 134512640 134702520 3221223952 3221223072 134584454 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/5413/statm): 2211 1843 413 48 0 2163 0 [pid=5413] vsize: 8844 Current children cumulated CPU time (s) 721.8 Current children cumulated vsize (Kb) 10972 [startup+830.082 s] Raw data (loadavg): 1.09 1.05 1.00 2/56 5474 Raw data (/proc/5410/stat): 5410 (vallstSAT2005PB) S 5409 5410 4060 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 19999695 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5410/statm): 532 242 485 147 0 385 0 [pid=5410] vsize: 2128 Raw data (/proc/5413/stat): 5413 (vallst) R 5410 5410 4060 0 -1 0 1941 0 0 0 68142 4909 0 0 24 0 1 0 19999704 9056256 1843 4294967295 134512640 134702520 3221223952 3221223344 134605864 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5413/statm): 2211 1843 413 48 0 2163 0 [pid=5413] vsize: 8844 Current children cumulated CPU time (s) 730.54 Current children cumulated vsize (Kb) 10972 [startup+840.082 s] Raw data (loadavg): 1.07 1.05 1.00 1/56 5474 Raw data (/proc/5410/stat): 5410 (vallstSAT2005PB) S 5409 5410 4060 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 19999695 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5410/statm): 532 242 485 147 0 385 0 [pid=5410] vsize: 2128 Raw data (/proc/5413/stat): 5413 (vallst) T 5410 5410 4060 0 -1 0 1941 0 0 0 68950 4970 0 0 21 0 1 0 19999704 9056256 1843 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5413/statm): 2211 1843 413 48 0 2163 0 [pid=5413] vsize: 8844 Current children cumulated CPU time (s) 739.23 Current children cumulated vsize (Kb) 10972 [startup+850.084 s] Raw data (loadavg): 1.06 1.04 1.00 2/56 5474 Raw data (/proc/5410/stat): 5410 (vallstSAT2005PB) S 5409 5410 4060 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 19999695 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5410/statm): 532 242 485 147 0 385 0 [pid=5410] vsize: 2128 Raw data (/proc/5413/stat): 5413 (vallst) R 5410 5410 4060 0 -1 0 1941 0 0 0 69755 5034 0 0 22 0 1 0 19999704 9056256 1843 4294967295 134512640 134702520 3221223952 3221223072 134588472 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/5413/statm): 2211 1843 413 48 0 2163 0 [pid=5413] vsize: 8844 Current children cumulated CPU time (s) 747.92 Current children cumulated vsize (Kb) 10972 [startup+860.085 s] Raw data (loadavg): 1.05 1.04 1.00 2/56 5476 Raw data (/proc/5410/stat): 5410 (vallstSAT2005PB) S 5409 5410 4060 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 19999695 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5410/statm): 532 242 485 147 0 385 0 [pid=5410] vsize: 2128 Raw data (/proc/5413/stat): 5413 (vallst) R 5410 5410 4060 0 -1 0 1941 0 0 0 70578 5092 0 0 25 0 1 0 19999704 9056256 1843 4294967295 134512640 134702520 3221223952 3221223232 134557257 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5413/statm): 2211 1843 413 48 0 2163 0 [pid=5413] vsize: 8844 Current children cumulated CPU time (s) 756.73 Current children cumulated vsize (Kb) 10972 [startup+870.086 s] Raw data (loadavg): 1.04 1.04 1.00 2/56 5476 Raw data (/proc/5410/stat): 5410 (vallstSAT2005PB) S 5409 5410 4060 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 19999695 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5410/statm): 532 242 485 147 0 385 0 [pid=5410] vsize: 2128 Raw data (/proc/5413/stat): 5413 (vallst) T 5410 5410 4060 0 -1 0 1941 0 0 0 71380 5158 0 0 20 0 1 0 19999704 9056256 1843 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5413/statm): 2211 1843 413 48 0 2163 0 [pid=5413] vsize: 8844 Current children cumulated CPU time (s) 765.41 Current children cumulated vsize (Kb) 10972 [startup+880.087 s] Raw data (loadavg): 1.04 1.04 1.00 1/56 5476 Raw data (/proc/5410/stat): 5410 (vallstSAT2005PB) S 5409 5410 4060 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 19999695 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5410/statm): 532 242 485 147 0 385 0 [pid=5410] vsize: 2128 Raw data (/proc/5413/stat): 5413 (vallst) T 5410 5410 4060 0 -1 0 1941 0 0 0 72192 5219 0 0 20 0 1 0 19999704 9056256 1843 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5413/statm): 2211 1843 413 48 0 2163 0 [pid=5413] vsize: 8844 Current children cumulated CPU time (s) 774.14 Current children cumulated vsize (Kb) 10972 [startup+890.088 s] Raw data (loadavg): 1.03 1.04 1.00 2/56 5476 Raw data (/proc/5410/stat): 5410 (vallstSAT2005PB) S 5409 5410 4060 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 19999695 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5410/statm): 532 242 485 147 0 385 0 [pid=5410] vsize: 2128 Raw data (/proc/5413/stat): 5413 (vallst) T 5410 5410 4060 0 -1 0 1941 0 0 0 73076 5258 0 0 25 0 1 0 19999704 9056256 1843 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5413/statm): 2211 1843 413 48 0 2163 0 [pid=5413] vsize: 8844 Current children cumulated CPU time (s) 783.37 Current children cumulated vsize (Kb) 10972 [startup+900.089 s] Raw data (loadavg): 1.02 1.03 1.00 1/56 5476 Raw data (/proc/5410/stat): 5410 (vallstSAT2005PB) S 5409 5410 4060 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 19999695 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5410/statm): 532 242 485 147 0 385 0 [pid=5410] vsize: 2128 Raw data (/proc/5413/stat): 5413 (vallst) T 5410 5410 4060 0 -1 0 1941 0 0 0 73952 5302 0 0 24 0 1 0 19999704 9056256 1843 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5413/statm): 2211 1843 413 48 0 2163 0 [pid=5413] vsize: 8844 Current children cumulated CPU time (s) 792.57 Current children cumulated vsize (Kb) 10972 [startup+910.09 s] Raw data (loadavg): 1.02 1.03 1.00 1/56 5476 Raw data (/proc/5410/stat): 5410 (vallstSAT2005PB) S 5409 5410 4060 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 19999695 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5410/statm): 532 242 485 147 0 385 0 [pid=5410] vsize: 2128 Raw data (/proc/5413/stat): 5413 (vallst) T 5410 5410 4060 0 -1 0 1941 0 0 0 74836 5342 0 0 23 0 1 0 19999704 9056256 1843 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5413/statm): 2211 1843 413 48 0 2163 0 [pid=5413] vsize: 8844 Current children cumulated CPU time (s) 801.81 Current children cumulated vsize (Kb) 10972 [startup+920.09 s] Raw data (loadavg): 1.02 1.03 1.00 2/56 5476 Raw data (/proc/5410/stat): 5410 (vallstSAT2005PB) S 5409 5410 4060 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 19999695 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5410/statm): 532 242 485 147 0 385 0 [pid=5410] vsize: 2128 Raw data (/proc/5413/stat): 5413 (vallst) R 5410 5410 4060 0 -1 0 1941 0 0 0 75653 5403 0 0 21 0 1 0 19999704 9056256 1843 4294967295 134512640 134702520 3221223952 3221223232 134552296 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5413/statm): 2211 1843 413 48 0 2163 0 [pid=5413] vsize: 8844 Current children cumulated CPU time (s) 810.59 Current children cumulated vsize (Kb) 10972 [startup+930.091 s] Raw data (loadavg): 1.01 1.03 1.00 1/56 5476 Raw data (/proc/5410/stat): 5410 (vallstSAT2005PB) S 5409 5410 4060 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 19999695 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5410/statm): 532 242 485 147 0 385 0 [pid=5410] vsize: 2128 Raw data (/proc/5413/stat): 5413 (vallst) T 5410 5410 4060 0 -1 0 1941 0 0 0 76438 5473 0 0 21 0 1 0 19999704 9056256 1843 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5413/statm): 2211 1843 413 48 0 2163 0 [pid=5413] vsize: 8844 Current children cumulated CPU time (s) 819.14 Current children cumulated vsize (Kb) 10972 [startup+940.092 s] Raw data (loadavg): 1.01 1.03 1.00 2/56 5476 Raw data (/proc/5410/stat): 5410 (vallstSAT2005PB) S 5409 5410 4060 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 19999695 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5410/statm): 532 242 485 147 0 385 0 [pid=5410] vsize: 2128 Raw data (/proc/5413/stat): 5413 (vallst) R 5410 5410 4060 0 -1 0 1941 0 0 0 77228 5541 0 0 23 0 1 0 19999704 9056256 1843 4294967295 134512640 134702520 3221223952 3221223424 134657210 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/5413/statm): 2211 1843 413 48 0 2163 0 [pid=5413] vsize: 8844 Current children cumulated CPU time (s) 827.72 Current children cumulated vsize (Kb) 10972 [startup+950.094 s] Raw data (loadavg): 1.01 1.03 1.00 2/56 5476 Raw data (/proc/5410/stat): 5410 (vallstSAT2005PB) S 5409 5410 4060 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 19999695 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5410/statm): 532 242 485 147 0 385 0 [pid=5410] vsize: 2128 Raw data (/proc/5413/stat): 5413 (vallst) R 5410 5410 4060 0 -1 0 1941 0 0 0 78000 5612 0 0 22 0 1 0 19999704 9056256 1843 4294967295 134512640 134702520 3221223952 3221223072 134588546 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5413/statm): 2211 1843 413 48 0 2163 0 [pid=5413] vsize: 8844 Current children cumulated CPU time (s) 836.15 Current children cumulated vsize (Kb) 10972 [startup+960.094 s] Raw data (loadavg): 1.01 1.03 1.00 1/56 5476 Raw data (/proc/5410/stat): 5410 (vallstSAT2005PB) S 5409 5410 4060 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 19999695 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5410/statm): 532 242 485 147 0 385 0 [pid=5410] vsize: 2128 Raw data (/proc/5413/stat): 5413 (vallst) T 5410 5410 4060 0 -1 0 1941 0 0 0 78784 5685 0 0 21 0 1 0 19999704 9056256 1843 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5413/statm): 2211 1843 413 48 0 2163 0 [pid=5413] vsize: 8844 Current children cumulated CPU time (s) 844.72 Current children cumulated vsize (Kb) 10972 [startup+970.095 s] Raw data (loadavg): 1.01 1.02 1.00 1/56 5476 Raw data (/proc/5410/stat): 5410 (vallstSAT2005PB) S 5409 5410 4060 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 19999695 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5410/statm): 532 242 485 147 0 385 0 [pid=5410] vsize: 2128 Raw data (/proc/5413/stat): 5413 (vallst) T 5410 5410 4060 0 -1 0 1941 0 0 0 79576 5752 0 0 25 0 1 0 19999704 9056256 1843 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5413/statm): 2211 1843 413 48 0 2163 0 [pid=5413] vsize: 8844 Current children cumulated CPU time (s) 853.31 Current children cumulated vsize (Kb) 10972 [startup+980.096 s] Raw data (loadavg): 1.00 1.02 1.00 2/56 5476 Raw data (/proc/5410/stat): 5410 (vallstSAT2005PB) S 5409 5410 4060 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 19999695 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5410/statm): 532 242 485 147 0 385 0 [pid=5410] vsize: 2128 Raw data (/proc/5413/stat): 5413 (vallst) R 5410 5410 4060 0 -1 0 1941 0 0 0 80376 5818 0 0 25 0 1 0 19999704 9056256 1843 4294967295 134512640 134702520 3221223952 3221223232 134557267 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5413/statm): 2211 1843 413 48 0 2163 0 [pid=5413] vsize: 8844 Current children cumulated CPU time (s) 861.97 Current children cumulated vsize (Kb) 10972 [startup+990.097 s] Raw data (loadavg): 1.00 1.02 1.00 2/56 5476 Raw data (/proc/5410/stat): 5410 (vallstSAT2005PB) S 5409 5410 4060 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 19999695 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5410/statm): 532 242 485 147 0 385 0 [pid=5410] vsize: 2128 Raw data (/proc/5413/stat): 5413 (vallst) R 5410 5410 4060 0 -1 0 1941 0 0 0 81158 5890 0 0 24 0 1 0 19999704 9056256 1843 4294967295 134512640 134702520 3221223952 3221223232 134552343 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5413/statm): 2211 1843 413 48 0 2163 0 [pid=5413] vsize: 8844 Current children cumulated CPU time (s) 870.51 Current children cumulated vsize (Kb) 10972 [startup+1000.1 s] Raw data (loadavg): 1.00 1.02 1.00 2/56 5476 Raw data (/proc/5410/stat): 5410 (vallstSAT2005PB) S 5409 5410 4060 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 19999695 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5410/statm): 532 242 485 147 0 385 0 [pid=5410] vsize: 2128 Raw data (/proc/5413/stat): 5413 (vallst) R 5410 5410 4060 0 -1 0 1941 0 0 0 81956 5955 0 0 20 0 1 0 19999704 9056256 1843 4294967295 134512640 134702520 3221223952 3221223072 134579031 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5413/statm): 2211 1843 413 48 0 2163 0 [pid=5413] vsize: 8844 Current children cumulated CPU time (s) 879.14 Current children cumulated vsize (Kb) 10972 [startup+1010.1 s] Raw data (loadavg): 1.00 1.02 1.00 1/56 5476 Raw data (/proc/5410/stat): 5410 (vallstSAT2005PB) S 5409 5410 4060 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 19999695 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5410/statm): 532 242 485 147 0 385 0 [pid=5410] vsize: 2128 Raw data (/proc/5413/stat): 5413 (vallst) T 5410 5410 4060 0 -1 0 1941 0 0 0 82737 6028 0 0 20 0 1 0 19999704 9056256 1843 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5413/statm): 2211 1843 413 48 0 2163 0 [pid=5413] vsize: 8844 Current children cumulated CPU time (s) 887.68 Current children cumulated vsize (Kb) 10972 [startup+1020.1 s] Raw data (loadavg): 1.00 1.02 1.00 2/56 5476 Raw data (/proc/5410/stat): 5410 (vallstSAT2005PB) S 5409 5410 4060 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 19999695 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5410/statm): 532 242 485 147 0 385 0 [pid=5410] vsize: 2128 Raw data (/proc/5413/stat): 5413 (vallst) T 5410 5410 4060 0 -1 0 1941 0 0 0 83538 6090 0 0 20 0 1 0 19999704 9056256 1843 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434789 0 0 17 1 0 0 Raw data (/proc/5413/statm): 2211 1843 413 48 0 2163 0 [pid=5413] vsize: 8844 Current children cumulated CPU time (s) 896.31 Current children cumulated vsize (Kb) 10972 [startup+1030.1 s] Raw data (loadavg): 1.00 1.02 1.00 1/56 5476 Raw data (/proc/5410/stat): 5410 (vallstSAT2005PB) S 5409 5410 4060 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 19999695 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5410/statm): 532 242 485 147 0 385 0 [pid=5410] vsize: 2128 Raw data (/proc/5413/stat): 5413 (vallst) T 5410 5410 4060 0 -1 0 1941 0 0 0 84360 6150 0 0 25 0 1 0 19999704 9056256 1843 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5413/statm): 2211 1843 413 48 0 2163 0 [pid=5413] vsize: 8844 Current children cumulated CPU time (s) 905.13 Current children cumulated vsize (Kb) 10972 [startup+1040.1 s] Raw data (loadavg): 1.00 1.02 1.00 2/56 5476 Raw data (/proc/5410/stat): 5410 (vallstSAT2005PB) S 5409 5410 4060 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 19999695 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5410/statm): 532 242 485 147 0 385 0 [pid=5410] vsize: 2128 Raw data (/proc/5413/stat): 5413 (vallst) R 5410 5410 4060 0 -1 0 1941 0 0 0 85143 6222 0 0 22 0 1 0 19999704 9056256 1843 4294967295 134512640 134702520 3221223952 3221223232 134552287 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5413/statm): 2211 1843 413 48 0 2163 0 [pid=5413] vsize: 8844 Current children cumulated CPU time (s) 913.68 Current children cumulated vsize (Kb) 10972 [startup+1050.1 s] Raw data (loadavg): 1.00 1.02 1.00 2/56 5476 Raw data (/proc/5410/stat): 5410 (vallstSAT2005PB) S 5409 5410 4060 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 19999695 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5410/statm): 532 242 485 147 0 385 0 [pid=5410] vsize: 2128 Raw data (/proc/5413/stat): 5413 (vallst) R 5410 5410 4060 0 -1 0 1941 0 0 0 85939 6285 0 0 21 0 1 0 19999704 9056256 1843 4294967295 134512640 134702520 3221223952 3221223232 134552866 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5413/statm): 2211 1843 413 48 0 2163 0 [pid=5413] vsize: 8844 Current children cumulated CPU time (s) 922.27 Current children cumulated vsize (Kb) 10972 [startup+1060.1 s] Raw data (loadavg): 1.00 1.02 1.00 2/56 5476 Raw data (/proc/5410/stat): 5410 (vallstSAT2005PB) S 5409 5410 4060 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 19999695 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5410/statm): 532 242 485 147 0 385 0 [pid=5410] vsize: 2128 Raw data (/proc/5413/stat): 5413 (vallst) R 5410 5410 4060 0 -1 0 1942 0 0 0 86790 6332 0 0 25 0 1 0 19999704 9056256 1844 4294967295 134512640 134702520 3221223952 3221222848 134552343 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5413/statm): 2211 1844 413 48 0 2163 0 [pid=5413] vsize: 8844 Current children cumulated CPU time (s) 931.25 Current children cumulated vsize (Kb) 10972 [startup+1070.1 s] Raw data (loadavg): 1.00 1.02 1.00 2/56 5476 Raw data (/proc/5410/stat): 5410 (vallstSAT2005PB) S 5409 5410 4060 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 19999695 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5410/statm): 532 242 485 147 0 385 0 [pid=5410] vsize: 2128 Raw data (/proc/5413/stat): 5413 (vallst) R 5410 5410 4060 0 -1 0 1942 0 0 0 87744 6349 0 0 25 0 1 0 19999704 9056256 1844 4294967295 134512640 134702520 3221223952 3221222848 134552343 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5413/statm): 2211 1844 413 48 0 2163 0 [pid=5413] vsize: 8844 Current children cumulated CPU time (s) 940.96 Current children cumulated vsize (Kb) 10972 [startup+1080.1 s] Raw data (loadavg): 1.00 1.01 1.00 1/56 5476 Raw data (/proc/5410/stat): 5410 (vallstSAT2005PB) S 5409 5410 4060 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 19999695 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5410/statm): 532 242 485 147 0 385 0 [pid=5410] vsize: 2128 Raw data (/proc/5413/stat): 5413 (vallst) T 5410 5410 4060 0 -1 0 1942 0 0 0 88567 6406 0 0 18 0 1 0 19999704 9056256 1844 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5413/statm): 2211 1844 413 48 0 2163 0 [pid=5413] vsize: 8844 Current children cumulated CPU time (s) 949.76 Current children cumulated vsize (Kb) 10972 [startup+1090.11 s] Raw data (loadavg): 1.08 1.03 1.01 1/56 5476 Raw data (/proc/5410/stat): 5410 (vallstSAT2005PB) S 5409 5410 4060 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 19999695 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5410/statm): 532 242 485 147 0 385 0 [pid=5410] vsize: 2128 Raw data (/proc/5413/stat): 5413 (vallst) T 5410 5410 4060 0 -1 0 1942 0 0 0 89383 6466 0 0 22 0 1 0 19999704 9056256 1844 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5413/statm): 2211 1844 413 48 0 2163 0 [pid=5413] vsize: 8844 Current children cumulated CPU time (s) 958.52 Current children cumulated vsize (Kb) 10972 [startup+1100.11 s] Raw data (loadavg): 1.07 1.03 1.00 2/56 5476 Raw data (/proc/5410/stat): 5410 (vallstSAT2005PB) S 5409 5410 4060 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 19999695 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5410/statm): 532 242 485 147 0 385 0 [pid=5410] vsize: 2128 Raw data (/proc/5413/stat): 5413 (vallst) R 5410 5410 4060 0 -1 0 1942 0 0 0 90177 6534 0 0 24 0 1 0 19999704 9056256 1844 4294967295 134512640 134702520 3221223952 3221223232 134552882 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5413/statm): 2211 1844 413 48 0 2163 0 [pid=5413] vsize: 8844 Current children cumulated CPU time (s) 967.14 Current children cumulated vsize (Kb) 10972 [startup+1110.11 s] Raw data (loadavg): 1.13 1.04 1.01 2/56 5476 Raw data (/proc/5410/stat): 5410 (vallstSAT2005PB) S 5409 5410 4060 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 19999695 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5410/statm): 532 242 485 147 0 385 0 [pid=5410] vsize: 2128 Raw data (/proc/5413/stat): 5413 (vallst) R 5410 5410 4060 0 -1 0 1942 0 0 0 90943 6612 0 0 21 0 1 0 19999704 9056256 1844 4294967295 134512640 134702520 3221223952 3221223232 134552866 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5413/statm): 2211 1844 413 48 0 2163 0 [pid=5413] vsize: 8844 Current children cumulated CPU time (s) 975.58 Current children cumulated vsize (Kb) 10972 [startup+1120.11 s] Raw data (loadavg): 1.11 1.04 1.01 1/56 5476 Raw data (/proc/5410/stat): 5410 (vallstSAT2005PB) S 5409 5410 4060 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 19999695 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5410/statm): 532 242 485 147 0 385 0 [pid=5410] vsize: 2128 Raw data (/proc/5413/stat): 5413 (vallst) T 5410 5410 4060 0 -1 0 1942 0 0 0 91760 6674 0 0 18 0 1 0 19999704 9056256 1844 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5413/statm): 2211 1844 413 48 0 2163 0 [pid=5413] vsize: 8844 Current children cumulated CPU time (s) 984.37 Current children cumulated vsize (Kb) 10972 [startup+1130.11 s] Raw data (loadavg): 1.17 1.06 1.01 1/56 5476 Raw data (/proc/5410/stat): 5410 (vallstSAT2005PB) S 5409 5410 4060 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 19999695 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5410/statm): 532 242 485 147 0 385 0 [pid=5410] vsize: 2128 Raw data (/proc/5413/stat): 5413 (vallst) T 5410 5410 4060 0 -1 0 1942 0 0 0 92558 6741 0 0 20 0 1 0 19999704 9056256 1844 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5413/statm): 2211 1844 413 48 0 2163 0 [pid=5413] vsize: 8844 Current children cumulated CPU time (s) 993.02 Current children cumulated vsize (Kb) 10972 [startup+1140.11 s] Raw data (loadavg): 1.14 1.05 1.01 2/56 5476 Raw data (/proc/5410/stat): 5410 (vallstSAT2005PB) S 5409 5410 4060 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 19999695 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5410/statm): 532 242 485 147 0 385 0 [pid=5410] vsize: 2128 Raw data (/proc/5413/stat): 5413 (vallst) R 5410 5410 4060 0 -1 0 1942 0 0 0 93380 6804 0 0 21 0 1 0 19999704 9056256 1844 4294967295 134512640 134702520 3221223952 3221223072 134578849 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5413/statm): 2211 1844 413 48 0 2163 0 [pid=5413] vsize: 8844 Current children cumulated CPU time (s) 1001.87 Current children cumulated vsize (Kb) 10972 [startup+1150.11 s] Raw data (loadavg): 1.12 1.05 1.01 2/56 5476 Raw data (/proc/5410/stat): 5410 (vallstSAT2005PB) S 5409 5410 4060 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 19999695 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5410/statm): 532 242 485 147 0 385 0 [pid=5410] vsize: 2128 Raw data (/proc/5413/stat): 5413 (vallst) R 5410 5410 4060 0 -1 0 1942 0 0 0 94190 6866 0 0 20 0 1 0 19999704 9056256 1844 4294967295 134512640 134702520 3221223952 3221223232 134553512 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5413/statm): 2211 1844 413 48 0 2163 0 [pid=5413] vsize: 8844 Current children cumulated CPU time (s) 1010.59 Current children cumulated vsize (Kb) 10972 [startup+1160.11 s] Raw data (loadavg): 1.10 1.05 1.01 2/56 5476 Raw data (/proc/5410/stat): 5410 (vallstSAT2005PB) S 5409 5410 4060 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 19999695 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5410/statm): 532 242 485 147 0 385 0 [pid=5410] vsize: 2128 Raw data (/proc/5413/stat): 5413 (vallst) R 5410 5410 4060 0 -1 0 1942 0 0 0 94986 6930 0 0 24 0 1 0 19999704 9056256 1844 4294967295 134512640 134702520 3221223952 3221223072 134578768 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5413/statm): 2211 1844 413 48 0 2163 0 [pid=5413] vsize: 8844 Current children cumulated CPU time (s) 1019.19 Current children cumulated vsize (Kb) 10972 [startup+1170.11 s] Raw data (loadavg): 1.08 1.05 1.01 2/56 5476 Raw data (/proc/5410/stat): 5410 (vallstSAT2005PB) S 5409 5410 4060 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 19999695 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5410/statm): 532 242 485 147 0 385 0 [pid=5410] vsize: 2128 Raw data (/proc/5413/stat): 5413 (vallst) R 5410 5410 4060 0 -1 0 1942 0 0 0 95812 6988 0 0 22 0 1 0 19999704 9056256 1844 4294967295 134512640 134702520 3221223952 3221223072 134573878 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/5413/statm): 2211 1844 413 48 0 2163 0 [pid=5413] vsize: 8844 Current children cumulated CPU time (s) 1028.03 Current children cumulated vsize (Kb) 10972 [startup+1180.11 s] Raw data (loadavg): 1.07 1.05 1.01 1/56 5476 Raw data (/proc/5410/stat): 5410 (vallstSAT2005PB) S 5409 5410 4060 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 19999695 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5410/statm): 532 242 485 147 0 385 0 [pid=5410] vsize: 2128 Raw data (/proc/5413/stat): 5413 (vallst) T 5410 5410 4060 0 -1 0 1942 0 0 0 96630 7050 0 0 20 0 1 0 19999704 9056256 1844 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5413/statm): 2211 1844 413 48 0 2163 0 [pid=5413] vsize: 8844 Current children cumulated CPU time (s) 1036.83 Current children cumulated vsize (Kb) 10972 [startup+1190.12 s] Raw data (loadavg): 1.06 1.04 1.01 2/56 5476 Raw data (/proc/5410/stat): 5410 (vallstSAT2005PB) S 5409 5410 4060 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 19999695 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5410/statm): 532 242 485 147 0 385 0 [pid=5410] vsize: 2128 Raw data (/proc/5413/stat): 5413 (vallst) R 5410 5410 4060 0 -1 0 1942 0 0 0 97449 7107 0 0 25 0 1 0 19999704 9056256 1844 4294967295 134512640 134702520 3221223952 3221223232 134550678 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5413/statm): 2211 1844 413 48 0 2163 0 [pid=5413] vsize: 8844 Current children cumulated CPU time (s) 1045.59 Current children cumulated vsize (Kb) 10972 [startup+1200.12 s] Raw data (loadavg): 1.05 1.04 1.01 2/56 5476 Raw data (/proc/5410/stat): 5410 (vallstSAT2005PB) S 5409 5410 4060 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 19999695 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5410/statm): 532 242 485 147 0 385 0 [pid=5410] vsize: 2128 Raw data (/proc/5413/stat): 5413 (vallst) T 5410 5410 4060 0 -1 0 1942 0 0 0 98246 7173 0 0 22 0 1 0 19999704 9056256 1844 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434789 0 0 17 1 0 0 Raw data (/proc/5413/statm): 2211 1844 413 48 0 2163 0 [pid=5413] vsize: 8844 Current children cumulated CPU time (s) 1054.22 Current children cumulated vsize (Kb) 10972 [startup+1210.12 s] Raw data (loadavg): 1.04 1.04 1.00 2/56 5476 Raw data (/proc/5410/stat): 5410 (vallstSAT2005PB) S 5409 5410 4060 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 19999695 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5410/statm): 532 242 485 147 0 385 0 [pid=5410] vsize: 2128 Raw data (/proc/5413/stat): 5413 (vallst) R 5410 5410 4060 0 -1 0 1942 0 0 0 99057 7235 0 0 25 0 1 0 19999704 9056256 1844 4294967295 134512640 134702520 3221223952 3221223344 134605854 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5413/statm): 2211 1844 413 48 0 2163 0 [pid=5413] vsize: 8844 Current children cumulated CPU time (s) 1062.95 Current children cumulated vsize (Kb) 10972 [startup+1220.12 s] Raw data (loadavg): 1.11 1.06 1.01 2/56 5476 Raw data (/proc/5410/stat): 5410 (vallstSAT2005PB) S 5409 5410 4060 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 19999695 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5410/statm): 532 242 485 147 0 385 0 [pid=5410] vsize: 2128 Raw data (/proc/5413/stat): 5413 (vallst) R 5410 5410 4060 0 -1 0 1942 0 0 0 99883 7289 0 0 23 0 1 0 19999704 9056256 1844 4294967295 134512640 134702520 3221223952 3221223072 134584554 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5413/statm): 2211 1844 413 48 0 2163 0 [pid=5413] vsize: 8844 Current children cumulated CPU time (s) 1071.75 Current children cumulated vsize (Kb) 10972 [startup+1230.12 s] Raw data (loadavg): 1.09 1.05 1.01 2/56 5476 Raw data (/proc/5410/stat): 5410 (vallstSAT2005PB) S 5409 5410 4060 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 19999695 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5410/statm): 532 242 485 147 0 385 0 [pid=5410] vsize: 2128 Raw data (/proc/5413/stat): 5413 (vallst) R 5410 5410 4060 0 -1 0 1942 0 0 0 100703 7346 0 0 20 0 1 0 19999704 9056256 1844 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5413/statm): 2211 1844 413 48 0 2163 0 [pid=5413] vsize: 8844 Current children cumulated CPU time (s) 1080.52 Current children cumulated vsize (Kb) 10972 [startup+1240.12 s] Raw data (loadavg): 1.08 1.05 1.01 2/56 5476 Raw data (/proc/5410/stat): 5410 (vallstSAT2005PB) S 5409 5410 4060 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 19999695 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5410/statm): 532 242 485 147 0 385 0 [pid=5410] vsize: 2128 Raw data (/proc/5413/stat): 5413 (vallst) R 5410 5410 4060 0 -1 0 1942 0 0 0 101651 7363 0 0 25 0 1 0 19999704 9056256 1844 4294967295 134512640 134702520 3221223952 3221222848 134552293 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5413/statm): 2211 1844 413 48 0 2163 0 [pid=5413] vsize: 8844 Current children cumulated CPU time (s) 1090.17 Current children cumulated vsize (Kb) 10972 [startup+1250.12 s] Raw data (loadavg): 1.06 1.05 1.01 2/56 5476 Raw data (/proc/5410/stat): 5410 (vallstSAT2005PB) S 5409 5410 4060 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 19999695 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5410/statm): 532 242 485 147 0 385 0 [pid=5410] vsize: 2128 Raw data (/proc/5413/stat): 5413 (vallst) R 5410 5410 4060 0 -1 0 1942 0 0 0 102536 7401 0 0 23 0 1 0 19999704 9056256 1844 4294967295 134512640 134702520 3221223952 3221223072 134573708 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5413/statm): 2211 1844 413 48 0 2163 0 [pid=5413] vsize: 8844 Current children cumulated CPU time (s) 1099.4 Current children cumulated vsize (Kb) 10972 [startup+1260.12 s] Raw data (loadavg): 1.05 1.05 1.00 2/56 5476 Raw data (/proc/5410/stat): 5410 (vallstSAT2005PB) S 5409 5410 4060 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 19999695 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5410/statm): 532 242 485 147 0 385 0 [pid=5410] vsize: 2128 Raw data (/proc/5413/stat): 5413 (vallst) R 5410 5410 4060 0 -1 0 1942 0 0 0 103358 7459 0 0 24 0 1 0 19999704 9056256 1844 4294967295 134512640 134702520 3221223952 3221223232 134557285 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5413/statm): 2211 1844 413 48 0 2163 0 [pid=5413] vsize: 8844 Current children cumulated CPU time (s) 1108.2 Current children cumulated vsize (Kb) 10972 [startup+1270.12 s] Raw data (loadavg): 1.05 1.05 1.00 2/56 5476 Raw data (/proc/5410/stat): 5410 (vallstSAT2005PB) S 5409 5410 4060 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 19999695 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5410/statm): 532 242 485 147 0 385 0 [pid=5410] vsize: 2128 Raw data (/proc/5413/stat): 5413 (vallst) R 5410 5410 4060 0 -1 0 1942 0 0 0 104181 7512 0 0 25 0 1 0 19999704 9056256 1844 4294967295 134512640 134702520 3221223952 3221223072 134588359 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5413/statm): 2211 1844 413 48 0 2163 0 [pid=5413] vsize: 8844 Current children cumulated CPU time (s) 1116.96 Current children cumulated vsize (Kb) 10972 [startup+1280.12 s] Raw data (loadavg): 1.11 1.06 1.01 1/56 5476 Raw data (/proc/5410/stat): 5410 (vallstSAT2005PB) S 5409 5410 4060 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 19999695 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5410/statm): 532 242 485 147 0 385 0 [pid=5410] vsize: 2128 Raw data (/proc/5413/stat): 5413 (vallst) T 5410 5410 4060 0 -1 0 1942 0 0 0 104988 7577 0 0 23 0 1 0 19999704 9056256 1844 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5413/statm): 2211 1844 413 48 0 2163 0 [pid=5413] vsize: 8844 Current children cumulated CPU time (s) 1125.68 Current children cumulated vsize (Kb) 10972 [startup+1290.13 s] Raw data (loadavg): 1.09 1.06 1.01 2/56 5476 Raw data (/proc/5410/stat): 5410 (vallstSAT2005PB) S 5409 5410 4060 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 19999695 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5410/statm): 532 242 485 147 0 385 0 [pid=5410] vsize: 2128 Raw data (/proc/5413/stat): 5413 (vallst) R 5410 5410 4060 0 -1 0 1942 0 0 0 105801 7639 0 0 20 0 1 0 19999704 9056256 1844 4294967295 134512640 134702520 3221223952 3221223232 134554270 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5413/statm): 2211 1844 413 48 0 2163 0 [pid=5413] vsize: 8844 Current children cumulated CPU time (s) 1134.43 Current children cumulated vsize (Kb) 10972 [startup+1300.13 s] Raw data (loadavg): 1.08 1.06 1.01 2/56 5476 Raw data (/proc/5410/stat): 5410 (vallstSAT2005PB) S 5409 5410 4060 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 19999695 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5410/statm): 532 242 485 147 0 385 0 [pid=5410] vsize: 2128 Raw data (/proc/5413/stat): 5413 (vallst) R 5410 5410 4060 0 -1 0 1942 0 0 0 106618 7702 0 0 21 0 1 0 19999704 9056256 1844 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/5413/statm): 2211 1844 413 48 0 2163 0 [pid=5413] vsize: 8844 Current children cumulated CPU time (s) 1143.23 Current children cumulated vsize (Kb) 10972 [startup+1310.13 s] Raw data (loadavg): 1.07 1.05 1.01 1/56 5476 Raw data (/proc/5410/stat): 5410 (vallstSAT2005PB) S 5409 5410 4060 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 19999695 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5410/statm): 532 242 485 147 0 385 0 [pid=5410] vsize: 2128 Raw data (/proc/5413/stat): 5413 (vallst) T 5410 5410 4060 0 -1 0 1943 0 0 0 107442 7756 0 0 23 0 1 0 19999704 9056256 1845 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5413/statm): 2211 1845 413 48 0 2163 0 [pid=5413] vsize: 8844 Current children cumulated CPU time (s) 1152.01 Current children cumulated vsize (Kb) 10972 [startup+1320.13 s] Raw data (loadavg): 1.06 1.05 1.00 2/56 5476 Raw data (/proc/5410/stat): 5410 (vallstSAT2005PB) S 5409 5410 4060 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 19999695 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5410/statm): 532 242 485 147 0 385 0 [pid=5410] vsize: 2128 Raw data (/proc/5413/stat): 5413 (vallst) R 5410 5410 4060 0 -1 0 1943 0 0 0 108274 7811 0 0 25 0 1 0 19999704 9056256 1845 4294967295 134512640 134702520 3221223952 3221223232 134552343 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5413/statm): 2211 1845 413 48 0 2163 0 [pid=5413] vsize: 8844 Current children cumulated CPU time (s) 1160.88 Current children cumulated vsize (Kb) 10972 [startup+1330.13 s] Raw data (loadavg): 1.05 1.05 1.00 1/56 5476 Raw data (/proc/5410/stat): 5410 (vallstSAT2005PB) S 5409 5410 4060 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 19999695 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5410/statm): 532 242 485 147 0 385 0 [pid=5410] vsize: 2128 Raw data (/proc/5413/stat): 5413 (vallst) T 5410 5410 4060 0 -1 0 1944 0 0 0 109104 7865 0 0 21 0 1 0 19999704 9056256 1846 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5413/statm): 2211 1846 413 48 0 2163 0 [pid=5413] vsize: 8844 Current children cumulated CPU time (s) 1169.72 Current children cumulated vsize (Kb) 10972 [startup+1340.13 s] Raw data (loadavg): 1.04 1.05 1.00 1/56 5476 Raw data (/proc/5410/stat): 5410 (vallstSAT2005PB) S 5409 5410 4060 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 19999695 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5410/statm): 532 242 485 147 0 385 0 [pid=5410] vsize: 2128 Raw data (/proc/5413/stat): 5413 (vallst) T 5410 5410 4060 0 -1 0 1945 0 0 0 109906 7929 0 0 21 0 1 0 19999704 9056256 1847 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5413/statm): 2211 1847 413 48 0 2163 0 [pid=5413] vsize: 8844 Current children cumulated CPU time (s) 1178.38 Current children cumulated vsize (Kb) 10972 [startup+1350.13 s] Raw data (loadavg): 1.03 1.05 1.00 2/56 5476 Raw data (/proc/5410/stat): 5410 (vallstSAT2005PB) S 5409 5410 4060 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 19999695 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5410/statm): 532 242 485 147 0 385 0 [pid=5410] vsize: 2128 Raw data (/proc/5413/stat): 5413 (vallst) R 5410 5410 4060 0 -1 0 1945 0 0 0 110730 7986 0 0 25 0 1 0 19999704 9056256 1847 4294967295 134512640 134702520 3221223952 3221223344 134605854 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5413/statm): 2211 1847 413 48 0 2163 0 [pid=5413] vsize: 8844 Current children cumulated CPU time (s) 1187.19 Current children cumulated vsize (Kb) 10972 [startup+1360.13 s] Raw data (loadavg): 1.03 1.04 1.00 1/56 5476 Raw data (/proc/5410/stat): 5410 (vallstSAT2005PB) S 5409 5410 4060 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 19999695 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5410/statm): 532 242 485 147 0 385 0 [pid=5410] vsize: 2128 Raw data (/proc/5413/stat): 5413 (vallst) T 5410 5410 4060 0 -1 0 1947 0 0 0 111557 8043 0 0 21 0 1 0 19999704 9056256 1849 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5413/statm): 2211 1849 413 48 0 2163 0 [pid=5413] vsize: 8844 Current children cumulated CPU time (s) 1196.03 Current children cumulated vsize (Kb) 10972 [startup+1370.13 s] Raw data (loadavg): 1.02 1.04 1.00 2/56 5476 Raw data (/proc/5410/stat): 5410 (vallstSAT2005PB) S 5409 5410 4060 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 19999695 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5410/statm): 532 242 485 147 0 385 0 [pid=5410] vsize: 2128 Raw data (/proc/5413/stat): 5413 (vallst) R 5410 5410 4060 0 -1 0 1947 0 0 0 112374 8103 0 0 20 0 1 0 19999704 9056256 1849 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/5413/statm): 2211 1849 413 48 0 2163 0 [pid=5413] vsize: 8844 Current children cumulated CPU time (s) 1204.8 Current children cumulated vsize (Kb) 10972 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1370.13 s] Raw data (loadavg): 1.02 1.04 1.00 2/56 5476 Raw data (/proc/5410/stat): 5410 (vallstSAT2005PB) S 5409 5410 4060 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 19999695 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5410/statm): 532 242 485 147 0 385 0 [pid=5410] vsize: 2128 Raw data (/proc/5413/stat): 5413 (vallst) R 5410 5410 4060 0 -1 0 1947 0 0 0 112374 8103 0 0 20 0 1 0 19999704 9056256 1849 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/5413/statm): 2211 1849 413 48 0 2163 0 [pid=5413] vsize: 8844 Current children cumulated CPU time (s) 1204.8 Current children cumulated vsize (Kb) 10972 Sending SIGTERM to -5410 Sleeping 2 seconds open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf New process pid=5478 New process pid=5479 execve syscall for /bin/ps executable open syscall for file /etc/ld.so.preload open syscall for file tls/i686/mmx/libproc.so.2.0.13 open syscall for file tls/i686/libproc.so.2.0.13 open syscall for file tls/mmx/libproc.so.2.0.13 open syscall for file tls/libproc.so.2.0.13 open syscall for file i686/mmx/libproc.so.2.0.13 open syscall for file i686/libproc.so.2.0.13 open syscall for file mmx/libproc.so.2.0.13 open syscall for file libproc.so.2.0.13 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/1388/stat open syscall for file /proc/1388/status open syscall for file /proc/1388/cmdline open syscall for file /proc/1388/environ open syscall for file /proc/1453/stat open syscall for file /proc/1453/status open syscall for file /proc/1453/cmdline open syscall for file /proc/1453/environ open syscall for file /proc/1480/stat open syscall for file /proc/1480/status open syscall for file /proc/1480/cmdline open syscall for file /proc/1480/environ open syscall for file /proc/1504/stat open syscall for file /proc/1504/status open syscall for file /proc/1504/cmdline open syscall for file /proc/1504/environ open syscall for file /proc/1545/stat open syscall for file /proc/1545/status open syscall for file /proc/1545/cmdline open syscall for file /proc/1545/environ open syscall for file /proc/1569/stat open syscall for file /proc/1569/status open syscall for file /proc/1569/cmdline open syscall for file /proc/1569/environ open syscall for file /proc/1592/stat open syscall for file /proc/1592/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/1592/cmdline open syscall for file /proc/1592/environ open syscall for file /proc/1623/stat open syscall for file /proc/1623/status open syscall for file /proc/1623/cmdline open syscall for file /proc/1623/environ open syscall for file /proc/1681/stat open syscall for file /proc/1681/status open syscall for file /proc/1681/cmdline open syscall for file /proc/1681/environ open syscall for file /proc/1686/stat open syscall for file /proc/1686/status open syscall for file /proc/1686/cmdline open syscall for file /proc/1686/environ open syscall for file /proc/1687/stat open syscall for file /proc/1687/status open syscall for file /proc/1687/cmdline open syscall for file /proc/1687/environ open syscall for file /proc/1688/stat open syscall for file /proc/1688/status open syscall for file /proc/1688/cmdline open syscall for file /proc/1688/environ open syscall for file /proc/1689/stat open syscall for file /proc/1689/status open syscall for file /proc/1689/cmdline open syscall for file /proc/1689/environ open syscall for file /proc/1690/stat open syscall for file /proc/1690/status open syscall for file /proc/1690/cmdline open syscall for file /proc/1690/environ open syscall for file /proc/1691/stat open syscall for file /proc/1691/status open syscall for file /proc/1691/cmdline open syscall for file /proc/1691/environ open syscall for file /proc/1693/stat open syscall for file /proc/1693/status open syscall for file /proc/1693/cmdline open syscall for file /proc/1693/environ open syscall for file /proc/4043/stat open syscall for file /proc/4043/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/4043/cmdline open syscall for file /proc/4043/environ open syscall for file /proc/4068/stat open syscall for file /proc/4068/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/4068/cmdline open syscall for file /proc/4068/environ open syscall for file /proc/5371/stat open syscall for file /proc/5371/status open syscall for file /proc/5371/cmdline open syscall for file /proc/5371/environ open syscall for file /proc/5409/stat open syscall for file /proc/5409/status open syscall for file /proc/5409/cmdline open syscall for file /proc/5409/environ open syscall for file /proc/5410/stat open syscall for file /proc/5410/status open syscall for file /proc/5410/cmdline open syscall for file /proc/5410/environ open syscall for file /proc/5413/stat open syscall for file /proc/5413/status open syscall for file /proc/5413/cmdline open syscall for file /proc/5413/environ open syscall for file /proc/5478/stat open syscall for file /proc/5478/status open syscall for file /proc/5478/cmdline open syscall for file /proc/5478/environ open syscall for file /proc/5479/stat open syscall for file /proc/5479/status open syscall for file /proc/5479/cmdline open syscall for file /proc/5479/environ One traced child (pid=5478) exited with status: 0 One traced child (pid=5479) exited with status: 0 New process pid=5480 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 open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options One traced child (pid=5413) exited with status: 3 One traced child (pid=5480) exited with status: 0 New process pid=5481 execve syscall for /bin/nice executable open syscall for file /etc/ld.so.preload open syscall for file tls/i686/mmx/libc.so.6 open syscall for file tls/i686/libc.so.6 open syscall for file tls/mmx/libc.so.6 open syscall for file tls/libc.so.6 open syscall for file i686/mmx/libc.so.6 open syscall for file i686/libc.so.6 open syscall for file mmx/libc.so.6 open syscall for file libc.so.6 open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libc.so.6 open syscall for file /oldhome/oroussel/lib/tls/i686/libc.so.6 open syscall for file /oldhome/oroussel/lib/tls/mmx/libc.so.6 open syscall for file /oldhome/oroussel/lib/tls/libc.so.6 open syscall for file /oldhome/oroussel/lib/i686/mmx/libc.so.6 open syscall for file /oldhome/oroussel/lib/i686/libc.so.6 open syscall for file /oldhome/oroussel/lib/mmx/libc.so.6 open syscall for file /oldhome/oroussel/lib/libc.so.6 open syscall for file /etc/ld.so.cache open syscall for file /lib/tls/libc.so.6 open syscall for file /etc/ld.so.preload open syscall for file tls/i686/mmx/libacl.so.1 open syscall for file tls/i686/libacl.so.1 open syscall for file tls/mmx/libacl.so.1 open syscall for file tls/libacl.so.1 open syscall for file i686/mmx/libacl.so.1 open syscall for file i686/libacl.so.1 open syscall for file mmx/libacl.so.1 open syscall for file libacl.so.1 open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libacl.so.1 open syscall for file /oldhome/oroussel/lib/tls/i686/libacl.so.1 open syscall for file /oldhome/oroussel/lib/tls/mmx/libacl.so.1 open syscall for file /oldhome/oroussel/lib/tls/libacl.so.1 open syscall for file /oldhome/oroussel/lib/i686/mmx/libacl.so.1 open syscall for file /oldhome/oroussel/lib/i686/libacl.so.1 open syscall for file /oldhome/oroussel/lib/mmx/libacl.so.1 open syscall for file /oldhome/oroussel/lib/libacl.so.1 open syscall for file /etc/ld.so.cache open syscall for file /lib/libacl.so.1 open syscall for file tls/i686/mmx/libc.so.6 open syscall for file tls/i686/libc.so.6 open syscall for file tls/mmx/libc.so.6 open syscall for file tls/libc.so.6 open syscall for file i686/mmx/libc.so.6 open syscall for file i686/libc.so.6 open syscall for file mmx/libc.so.6 open syscall for file libc.so.6 open syscall for file /oldhome/oroussel/lib/libc.so.6 open syscall for file /lib/tls/libc.so.6 open syscall for file tls/i686/mmx/libattr.so.1 open syscall for file tls/i686/libattr.so.1 open syscall for file tls/mmx/libattr.so.1 open syscall for file tls/libattr.so.1 open syscall for file i686/mmx/libattr.so.1 open syscall for file i686/libattr.so.1 open syscall for file mmx/libattr.so.1 open syscall for file libattr.so.1 open syscall for file /oldhome/oroussel/lib/libattr.so.1 open syscall for file /lib/libattr.so.1 open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf open syscall for file /tmp/vallst_sh_out_theory.vnf One traced child (pid=5481) exited with status: 0 New process pid=5482 execve syscall for /bin/cp executable open syscall for file /etc/ld.so.preload open syscall for file tls/i686/mmx/libacl.so.1 open syscall for file tls/i686/libacl.so.1 open syscall for file tls/mmx/libacl.so.1 open syscall for file tls/libacl.so.1 open syscall for file i686/mmx/libacl.so.1 open syscall for file i686/libacl.so.1 open syscall for file mmx/libacl.so.1 open syscall for file libacl.so.1 open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libacl.so.1 open syscall for file /oldhome/oroussel/lib/tls/i686/libacl.so.1 open syscall for file /oldhome/oroussel/lib/tls/mmx/libacl.so.1 open syscall for file /oldhome/oroussel/lib/tls/libacl.so.1 open syscall for file /oldhome/oroussel/lib/i686/mmx/libacl.so.1 open syscall for file /oldhome/oroussel/lib/i686/libacl.so.1 open syscall for file /oldhome/oroussel/lib/mmx/libacl.so.1 open syscall for file /oldhome/oroussel/lib/libacl.so.1 open syscall for file /etc/ld.so.cache open syscall for file /lib/libacl.so.1 open syscall for file tls/i686/mmx/libc.so.6 open syscall for file tls/i686/libc.so.6 open syscall for file tls/mmx/libc.so.6 open syscall for file tls/libc.so.6 open syscall for file i686/mmx/libc.so.6 open syscall for file i686/libc.so.6 open syscall for file mmx/libc.so.6 open syscall for file libc.so.6 open syscall for file /oldhome/oroussel/lib/libc.so.6 open syscall for file /lib/tls/libc.so.6 open syscall for file tls/i686/mmx/libattr.so.1 open syscall for file tls/i686/libattr.so.1 open syscall for file tls/mmx/libattr.so.1 open syscall for file tls/libattr.so.1 open syscall for file i686/mmx/libattr.so.1 open syscall for file i686/libattr.so.1 open syscall for file mmx/libattr.so.1 open syscall for file libattr.so.1 open syscall for file /oldhome/oroussel/lib/libattr.so.1 open syscall for file /lib/libattr.so.1 open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options open syscall for file /tmp/vallst_sh_changing_setting.options One traced child (pid=5482) exited with status: 0 New process pid=5483 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=5483) exited with status: 0 One traced child (pid=5410) 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): 1370.71 CPU time (s): 1205.14 CPU user time (s): 1123.96 CPU system time (s): 81.1777 CPU usage (%): 87.9208 Max. virtual memory (cumulated for all children) (Kb): 10972
ERROR: no interpretation found !