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: 1051994; #end-nodes: 14014;
#proof improvement attempts: 0; #restarts: 143
Current batch, end-nodes: 0 / 115 (115)
#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: 8168 (22242:>=*);
#decisions: 7178; #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: 8169 (22241:>=*);
#decisions: 7181; #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: 8170 (22240:>=*);
#decisions: 7189; #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: 8171 (22239:>=*);
#decisions: 7201; #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: 8172 (22238:>=*);
#decisions: 7180; #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: 8173 (22237:>=*);
#decisions: 7187; #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: 8174 (22236:>=*);
#decisions: 7240; #end-nodes: 67;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 67 / 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: 8175 (22235:>=*);
#decisions: 1925745; #end-nodes: 29738;
#proof improvement attempts: 0; #restarts: 263
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: 8187 (22223:>=*);
#decisions: 9749; #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: 8190 (22220:>=*);
#decisions: 9749; #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: 8193 (22217:>=*);
#decisions: 7158; #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: 8194 (22216:>=*);
#decisions: 8489; #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: 8196 (22214:>=*);
#decisions: 7206; #end-nodes: 57;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 57 / 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: 8197 (22213:>=*);
Interupt request received.
#decisions: 2036902; #end-nodes: 32127;
#proof improvement attempts: 0; #restarts: 279
Current batch, end-nodes: 6 / 149 (149)
#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:) 8197 (22213:>=*)
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: 7196 (#equs: 0)
Time taken: 20 min, 5 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/6111/stat): 6111 (vallstSAT2005PB) R 6110 6111 22582 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1789516565 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/6111/statm): 174 3 169 147 0 27 0
[pid=6111] 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=6112
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=6112) exited with status: 0
New process pid=6113
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=6113) exited with status: 0
New process pid=6114
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/wulflinc10/normalized-mps-v2-20-10-manna81.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map
[startup+10.0049 s]
Raw data (loadavg): 0.94 0.98 0.99 1/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) T 6111 6111 22582 0 -1 0 965 0 0 0 529 151 0 0 17 0 1 0 1789516572 5206016 867 4294967295 134512640 134702520 3221223952 3221223320 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6114/statm): 1271 867 413 48 0 1223 0
[pid=6114] vsize: 5084
Current children cumulated CPU time (s) 6.83
Current children cumulated vsize (Kb) 7212
[startup+20.0054 s]
Raw data (loadavg): 0.95 0.98 0.99 1/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) T 6111 6111 22582 0 -1 0 965 0 0 0 1057 307 0 0 18 0 1 0 1789516572 5206016 867 4294967295 134512640 134702520 3221223952 3221223192 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6114/statm): 1271 867 413 48 0 1223 0
[pid=6114] vsize: 5084
Current children cumulated CPU time (s) 13.67
Current children cumulated vsize (Kb) 7212
[startup+30.007 s]
Raw data (loadavg): 0.95 0.98 0.99 1/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) T 6111 6111 22582 0 -1 0 1095 0 0 0 1855 375 0 0 25 0 1 0 1789516572 8974336 997 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6114/statm): 2191 997 413 48 0 2143 0
[pid=6114] vsize: 8764
Current children cumulated CPU time (s) 22.33
Current children cumulated vsize (Kb) 10892
[startup+40.0075 s]
Raw data (loadavg): 0.96 0.98 0.99 2/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) R 6111 6111 22582 0 -1 0 1315 0 0 0 2725 419 0 0 25 0 1 0 1789516572 8974336 1217 4294967295 134512640 134702520 3221223952 3221223232 134552232 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6114/statm): 2191 1217 413 48 0 2143 0
[pid=6114] vsize: 8764
Current children cumulated CPU time (s) 31.47
Current children cumulated vsize (Kb) 10892
[startup+50.0091 s]
Raw data (loadavg): 0.97 0.98 0.99 1/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) T 6111 6111 22582 0 -1 0 1702 0 0 0 3611 459 0 0 25 0 1 0 1789516572 9056256 1604 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6114/statm): 2211 1604 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 40.73
Current children cumulated vsize (Kb) 10972
[startup+60.0096 s]
Raw data (loadavg): 0.97 0.98 0.99 1/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) T 6111 6111 22582 0 -1 0 1702 0 0 0 4481 501 0 0 25 0 1 0 1789516572 9056256 1604 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6114/statm): 2211 1604 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 49.85
Current children cumulated vsize (Kb) 10972
[startup+70.0102 s]
Raw data (loadavg): 0.97 0.98 0.99 1/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) T 6111 6111 22582 0 -1 0 1716 0 0 0 5352 548 0 0 25 0 1 0 1789516572 9056256 1618 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6114/statm): 2211 1618 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 59.03
Current children cumulated vsize (Kb) 10972
[startup+80.0108 s]
Raw data (loadavg): 0.98 0.98 0.99 1/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) T 6111 6111 22582 0 -1 0 1941 0 0 0 6235 588 0 0 25 0 1 0 1789516572 9056256 1843 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6114/statm): 2211 1843 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 68.26
Current children cumulated vsize (Kb) 10972
[startup+90.0113 s]
Raw data (loadavg): 0.98 0.98 0.99 1/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) T 6111 6111 22582 0 -1 0 1941 0 0 0 7135 625 0 0 23 0 1 0 1789516572 9056256 1843 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6114/statm): 2211 1843 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 77.63
Current children cumulated vsize (Kb) 10972
[startup+100.012 s]
Raw data (loadavg): 0.98 0.98 0.99 1/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) T 6111 6111 22582 0 -1 0 1941 0 0 0 8011 670 0 0 25 0 1 0 1789516572 9056256 1843 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6114/statm): 2211 1843 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 86.84
Current children cumulated vsize (Kb) 10972
[startup+110.012 s]
Raw data (loadavg): 0.99 0.98 0.99 1/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) T 6111 6111 22582 0 -1 0 1941 0 0 0 8883 712 0 0 25 0 1 0 1789516572 9056256 1843 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6114/statm): 2211 1843 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 95.98
Current children cumulated vsize (Kb) 10972
[startup+120.013 s]
Raw data (loadavg): 0.99 0.98 0.99 1/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) T 6111 6111 22582 0 -1 0 1941 0 0 0 9773 750 0 0 25 0 1 0 1789516572 9056256 1843 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6114/statm): 2211 1843 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 105.26
Current children cumulated vsize (Kb) 10972
[startup+130.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) T 6111 6111 22582 0 -1 0 1941 0 0 0 10580 814 0 0 23 0 1 0 1789516572 9056256 1843 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6114/statm): 2211 1843 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 113.97
Current children cumulated vsize (Kb) 10972
[startup+140.014 s]
Raw data (loadavg): 0.99 0.98 0.99 1/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) T 6111 6111 22582 0 -1 0 1941 0 0 0 11468 850 0 0 25 0 1 0 1789516572 9056256 1843 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6114/statm): 2211 1843 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 123.21
Current children cumulated vsize (Kb) 10972
[startup+150.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) R 6111 6111 22582 0 -1 0 1941 0 0 0 12333 895 0 0 21 0 1 0 1789516572 9056256 1843 4294967295 134512640 134702520 3221223952 3221223232 134553271 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6114/statm): 2211 1843 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 132.31
Current children cumulated vsize (Kb) 10972
[startup+160.016 s]
Raw data (loadavg): 0.99 0.98 0.99 1/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) T 6111 6111 22582 0 -1 0 1941 0 0 0 13128 961 0 0 20 0 1 0 1789516572 9056256 1843 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6114/statm): 2211 1843 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 140.92
Current children cumulated vsize (Kb) 10972
[startup+170.016 s]
Raw data (loadavg): 0.99 0.98 0.99 1/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) T 6111 6111 22582 0 -1 0 1941 0 0 0 13921 1026 0 0 20 0 1 0 1789516572 9056256 1843 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6114/statm): 2211 1843 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 149.5
Current children cumulated vsize (Kb) 10972
[startup+180.016 s]
Raw data (loadavg): 0.99 0.98 0.99 1/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) T 6111 6111 22582 0 -1 0 1941 0 0 0 14721 1094 0 0 23 0 1 0 1789516572 9056256 1843 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6114/statm): 2211 1843 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 158.18
Current children cumulated vsize (Kb) 10972
[startup+190.017 s]
Raw data (loadavg): 1.07 1.00 1.00 1/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) T 6111 6111 22582 0 -1 0 1941 0 0 0 15505 1162 0 0 25 0 1 0 1789516572 9056256 1843 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6114/statm): 2211 1843 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 166.7
Current children cumulated vsize (Kb) 10972
[startup+200.017 s]
Raw data (loadavg): 1.06 1.00 1.00 2/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) R 6111 6111 22582 0 -1 0 1941 0 0 0 16275 1234 0 0 19 0 1 0 1789516572 9056256 1843 4294967295 134512640 134702520 3221223952 3221223172 134550195 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6114/statm): 2211 1843 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 175.12
Current children cumulated vsize (Kb) 10972
[startup+210.018 s]
Raw data (loadavg): 1.05 1.00 1.00 1/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) T 6111 6111 22582 0 -1 0 1941 0 0 0 17059 1303 0 0 22 0 1 0 1789516572 9056256 1843 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6114/statm): 2211 1843 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 183.65
Current children cumulated vsize (Kb) 10972
[startup+220.019 s]
Raw data (loadavg): 1.04 1.00 1.00 1/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) T 6111 6111 22582 0 -1 0 1941 0 0 0 17854 1372 0 0 25 0 1 0 1789516572 9056256 1843 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6114/statm): 2211 1843 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 192.29
Current children cumulated vsize (Kb) 10972
[startup+230.019 s]
Raw data (loadavg): 1.03 1.00 1.00 2/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) R 6111 6111 22582 0 -1 0 1941 0 0 0 18626 1448 0 0 20 0 1 0 1789516572 9056256 1843 4294967295 134512640 134702520 3221223952 3221223232 134552981 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6114/statm): 2211 1843 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 200.77
Current children cumulated vsize (Kb) 10972
[startup+240.02 s]
Raw data (loadavg): 1.03 1.00 1.00 1/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) T 6111 6111 22582 0 -1 0 1941 0 0 0 19442 1510 0 0 22 0 1 0 1789516572 9056256 1843 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6114/statm): 2211 1843 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 209.55
Current children cumulated vsize (Kb) 10972
[startup+250.02 s]
Raw data (loadavg): 1.02 1.00 1.00 1/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) T 6111 6111 22582 0 -1 0 1941 0 0 0 20242 1578 0 0 20 0 1 0 1789516572 9056256 1843 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6114/statm): 2211 1843 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 218.23
Current children cumulated vsize (Kb) 10972
[startup+260.021 s]
Raw data (loadavg): 1.10 1.02 1.01 1/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) T 6111 6111 22582 0 -1 0 1941 0 0 0 21038 1644 0 0 21 0 1 0 1789516572 9056256 1843 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6114/statm): 2211 1843 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 226.85
Current children cumulated vsize (Kb) 10972
[startup+270.021 s]
Raw data (loadavg): 1.08 1.02 1.00 2/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) R 6111 6111 22582 0 -1 0 1941 0 0 0 21839 1705 0 0 22 0 1 0 1789516572 9056256 1843 4294967295 134512640 134702520 3221223952 3221223232 134553095 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6114/statm): 2211 1843 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 235.47
Current children cumulated vsize (Kb) 10972
[startup+280.022 s]
Raw data (loadavg): 1.07 1.01 1.00 2/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) R 6111 6111 22582 0 -1 0 1941 0 0 0 22651 1771 0 0 23 0 1 0 1789516572 9056256 1843 4294967295 134512640 134702520 3221223952 3221223344 134605854 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6114/statm): 2211 1843 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 244.25
Current children cumulated vsize (Kb) 10972
[startup+290.022 s]
Raw data (loadavg): 1.06 1.01 1.00 1/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) T 6111 6111 22582 0 -1 0 1941 0 0 0 23454 1835 0 0 21 0 1 0 1789516572 9056256 1843 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6114/statm): 2211 1843 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 252.92
Current children cumulated vsize (Kb) 10972
[startup+300.024 s]
Raw data (loadavg): 1.05 1.01 1.00 1/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) T 6111 6111 22582 0 -1 0 1941 0 0 0 24244 1902 0 0 18 0 1 0 1789516572 9056256 1843 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6114/statm): 2211 1843 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 261.49
Current children cumulated vsize (Kb) 10972
[startup+310.025 s]
Raw data (loadavg): 1.04 1.01 1.00 2/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) R 6111 6111 22582 0 -1 0 1941 0 0 0 25192 1919 0 0 25 0 1 0 1789516572 9056256 1843 4294967295 134512640 134702520 3221223952 3221222848 134552246 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6114/statm): 2211 1843 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 271.14
Current children cumulated vsize (Kb) 10972
[startup+320.024 s]
Raw data (loadavg): 1.03 1.01 1.00 1/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) T 6111 6111 22582 0 -1 0 1941 0 0 0 26058 1966 0 0 20 0 1 0 1789516572 9056256 1843 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6114/statm): 2211 1843 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 280.27
Current children cumulated vsize (Kb) 10972
[startup+330.026 s]
Raw data (loadavg): 1.03 1.01 1.00 2/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) R 6111 6111 22582 0 -1 0 1941 0 0 0 26866 2027 0 0 24 0 1 0 1789516572 9056256 1843 4294967295 134512640 134702520 3221223952 3221223072 134578849 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6114/statm): 2211 1843 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 288.96
Current children cumulated vsize (Kb) 10972
[startup+340.026 s]
Raw data (loadavg): 1.02 1.01 1.00 2/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) R 6111 6111 22582 0 -1 0 1941 0 0 0 27672 2090 0 0 22 0 1 0 1789516572 9056256 1843 4294967295 134512640 134702520 3221223952 3221222976 134552246 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6114/statm): 2211 1843 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 297.65
Current children cumulated vsize (Kb) 10972
[startup+350.027 s]
Raw data (loadavg): 1.02 1.01 1.00 1/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) T 6111 6111 22582 0 -1 0 1941 0 0 0 28475 2153 0 0 22 0 1 0 1789516572 9056256 1843 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6114/statm): 2211 1843 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 306.31
Current children cumulated vsize (Kb) 10972
[startup+360.028 s]
Raw data (loadavg): 1.02 1.01 1.00 1/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) T 6111 6111 22582 0 -1 0 1941 0 0 0 29288 2215 0 0 20 0 1 0 1789516572 9056256 1843 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6114/statm): 2211 1843 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 315.06
Current children cumulated vsize (Kb) 10972
[startup+370.028 s]
Raw data (loadavg): 1.09 1.02 1.00 1/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) T 6111 6111 22582 0 -1 0 1941 0 0 0 30112 2273 0 0 23 0 1 0 1789516572 9056256 1843 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6114/statm): 2211 1843 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 323.88
Current children cumulated vsize (Kb) 10972
[startup+380.029 s]
Raw data (loadavg): 1.07 1.02 1.00 2/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) R 6111 6111 22582 0 -1 0 1941 0 0 0 30906 2339 0 0 22 0 1 0 1789516572 9056256 1843 4294967295 134512640 134702520 3221223952 3221223072 134578851 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6114/statm): 2211 1843 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 332.48
Current children cumulated vsize (Kb) 10972
[startup+390.029 s]
Raw data (loadavg): 1.06 1.02 1.00 2/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) R 6111 6111 22582 0 -1 0 1941 0 0 0 31722 2399 0 0 25 0 1 0 1789516572 9056256 1843 4294967295 134512640 134702520 3221223952 3221223232 134552712 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6114/statm): 2211 1843 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 341.24
Current children cumulated vsize (Kb) 10972
[startup+400.03 s]
Raw data (loadavg): 1.05 1.02 1.00 2/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) T 6111 6111 22582 0 -1 0 1941 0 0 0 32573 2450 0 0 19 0 1 0 1789516572 9056256 1843 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6114/statm): 2211 1843 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 350.26
Current children cumulated vsize (Kb) 10972
[startup+410.03 s]
Raw data (loadavg): 1.04 1.02 1.00 1/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) T 6111 6111 22582 0 -1 0 1941 0 0 0 33440 2496 0 0 24 0 1 0 1789516572 9056256 1843 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6114/statm): 2211 1843 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 359.39
Current children cumulated vsize (Kb) 10972
[startup+420.031 s]
Raw data (loadavg): 1.04 1.02 1.00 1/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) T 6111 6111 22582 0 -1 0 1941 0 0 0 34298 2540 0 0 22 0 1 0 1789516572 9056256 1843 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6114/statm): 2211 1843 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 368.41
Current children cumulated vsize (Kb) 10972
[startup+430.031 s]
Raw data (loadavg): 1.03 1.02 1.00 2/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) R 6111 6111 22582 0 -1 0 1941 0 0 0 35061 2622 0 0 20 0 1 0 1789516572 9056256 1843 4294967295 134512640 134702520 3221223952 3221223232 134552361 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6114/statm): 2211 1843 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 376.86
Current children cumulated vsize (Kb) 10972
[startup+440.032 s]
Raw data (loadavg): 1.02 1.02 1.00 1/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) T 6111 6111 22582 0 -1 0 1941 0 0 0 35836 2695 0 0 20 0 1 0 1789516572 9056256 1843 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6114/statm): 2211 1843 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 385.34
Current children cumulated vsize (Kb) 10972
[startup+450.033 s]
Raw data (loadavg): 1.02 1.01 1.00 1/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) T 6111 6111 22582 0 -1 0 1941 0 0 0 36622 2765 0 0 18 0 1 0 1789516572 9056256 1843 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6114/statm): 2211 1843 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 393.9
Current children cumulated vsize (Kb) 10972
[startup+460.034 s]
Raw data (loadavg): 1.02 1.01 1.00 1/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) T 6111 6111 22582 0 -1 0 1941 0 0 0 37406 2832 0 0 23 0 1 0 1789516572 9056256 1843 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6114/statm): 2211 1843 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 402.41
Current children cumulated vsize (Kb) 10972
[startup+470.035 s]
Raw data (loadavg): 1.01 1.01 1.00 1/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) T 6111 6111 22582 0 -1 0 1941 0 0 0 38195 2905 0 0 20 0 1 0 1789516572 9056256 1843 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6114/statm): 2211 1843 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 411.03
Current children cumulated vsize (Kb) 10972
[startup+480.035 s]
Raw data (loadavg): 1.01 1.01 1.00 2/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) T 6111 6111 22582 0 -1 0 1941 0 0 0 38986 2977 0 0 20 0 1 0 1789516572 9056256 1843 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6114/statm): 2211 1843 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 419.66
Current children cumulated vsize (Kb) 10972
[startup+490.036 s]
Raw data (loadavg): 1.01 1.01 1.00 1/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) T 6111 6111 22582 0 -1 0 1941 0 0 0 39765 3051 0 0 20 0 1 0 1789516572 9056256 1843 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6114/statm): 2211 1843 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 428.19
Current children cumulated vsize (Kb) 10972
[startup+500.037 s]
Raw data (loadavg): 1.01 1.01 1.00 2/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) R 6111 6111 22582 0 -1 0 1941 0 0 0 40554 3116 0 0 24 0 1 0 1789516572 9056256 1843 4294967295 134512640 134702520 3221223952 3221223072 134588376 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6114/statm): 2211 1843 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 436.73
Current children cumulated vsize (Kb) 10972
[startup+510.038 s]
Raw data (loadavg): 1.01 1.01 1.00 2/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) R 6111 6111 22582 0 -1 0 1941 0 0 0 41347 3185 0 0 18 0 1 0 1789516572 9056256 1843 4294967295 134512640 134702520 3221223952 3221223172 134550192 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6114/statm): 2211 1843 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 445.35
Current children cumulated vsize (Kb) 10972
[startup+520.037 s]
Raw data (loadavg): 1.00 1.01 1.00 1/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) T 6111 6111 22582 0 -1 0 1941 0 0 0 42148 3253 0 0 22 0 1 0 1789516572 9056256 1843 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6114/statm): 2211 1843 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 454.04
Current children cumulated vsize (Kb) 10972
[startup+530.039 s]
Raw data (loadavg): 1.00 1.01 1.00 2/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) R 6111 6111 22582 0 -1 0 1941 0 0 0 42947 3319 0 0 21 0 1 0 1789516572 9056256 1843 4294967295 134512640 134702520 3221223952 3221223232 134553320 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6114/statm): 2211 1843 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 462.69
Current children cumulated vsize (Kb) 10972
[startup+540.039 s]
Raw data (loadavg): 1.00 1.01 1.00 2/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) R 6111 6111 22582 0 -1 0 1941 0 0 0 43753 3382 0 0 24 0 1 0 1789516572 9056256 1843 4294967295 134512640 134702520 3221223952 3221223232 134557282 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6114/statm): 2211 1843 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 471.38
Current children cumulated vsize (Kb) 10972
[startup+550.041 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) T 6111 6111 22582 0 -1 0 1941 0 0 0 44550 3451 0 0 17 0 1 0 1789516572 9056256 1843 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6114/statm): 2211 1843 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 480.04
Current children cumulated vsize (Kb) 10972
[startup+560.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) R 6111 6111 22582 0 -1 0 1941 0 0 0 45365 3510 0 0 21 0 1 0 1789516572 9056256 1843 4294967295 134512640 134702520 3221223952 3221223172 134550195 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6114/statm): 2211 1843 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 488.78
Current children cumulated vsize (Kb) 10972
[startup+570.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) T 6111 6111 22582 0 -1 0 1941 0 0 0 46229 3552 0 0 25 0 1 0 1789516572 9056256 1843 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6114/statm): 2211 1843 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 497.84
Current children cumulated vsize (Kb) 10972
[startup+580.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) T 6111 6111 22582 0 -1 0 1941 0 0 0 47179 3571 0 0 25 0 1 0 1789516572 9056256 1843 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6114/statm): 2211 1843 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 507.53
Current children cumulated vsize (Kb) 10972
[startup+590.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) R 6111 6111 22582 0 -1 0 1941 0 0 0 47964 3642 0 0 21 0 1 0 1789516572 9056256 1843 4294967295 134512640 134702520 3221223952 3221223232 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6114/statm): 2211 1843 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 516.09
Current children cumulated vsize (Kb) 10972
[startup+600.044 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) T 6111 6111 22582 0 -1 0 1941 0 0 0 48756 3710 0 0 20 0 1 0 1789516572 9056256 1843 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6114/statm): 2211 1843 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 524.69
Current children cumulated vsize (Kb) 10972
[startup+610.045 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) T 6111 6111 22582 0 -1 0 1941 0 0 0 49558 3777 0 0 19 0 1 0 1789516572 9056256 1843 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6114/statm): 2211 1843 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 533.38
Current children cumulated vsize (Kb) 10972
[startup+620.046 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) T 6111 6111 22582 0 -1 0 1941 0 0 0 50347 3847 0 0 20 0 1 0 1789516572 9056256 1843 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6114/statm): 2211 1843 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 541.97
Current children cumulated vsize (Kb) 10972
[startup+630.047 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) T 6111 6111 22582 0 -1 0 1941 0 0 0 51162 3909 0 0 20 0 1 0 1789516572 9056256 1843 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6114/statm): 2211 1843 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 550.74
Current children cumulated vsize (Kb) 10972
[startup+640.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) R 6111 6111 22582 0 -1 0 1941 0 0 0 51963 3972 0 0 24 0 1 0 1789516572 9056256 1843 4294967295 134512640 134702520 3221223952 3221223072 134572622 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6114/statm): 2211 1843 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 559.38
Current children cumulated vsize (Kb) 10972
[startup+650.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) R 6111 6111 22582 0 -1 0 1941 0 0 0 52751 4040 0 0 21 0 1 0 1789516572 9056256 1843 4294967295 134512640 134702520 3221223952 3221223232 134553070 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6114/statm): 2211 1843 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 567.94
Current children cumulated vsize (Kb) 10972
[startup+660.049 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) T 6111 6111 22582 0 -1 0 1941 0 0 0 53536 4114 0 0 21 0 1 0 1789516572 9056256 1843 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6114/statm): 2211 1843 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 576.53
Current children cumulated vsize (Kb) 10972
[startup+670.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) R 6111 6111 22582 0 -1 0 1941 0 0 0 54339 4178 0 0 23 0 1 0 1789516572 9056256 1843 4294967295 134512640 134702520 3221223952 3221223072 134588357 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6114/statm): 2211 1843 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 585.2
Current children cumulated vsize (Kb) 10972
[startup+680.051 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) T 6111 6111 22582 0 -1 0 1941 0 0 0 55161 4237 0 0 25 0 1 0 1789516572 9056256 1843 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6114/statm): 2211 1843 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 594.01
Current children cumulated vsize (Kb) 10972
[startup+690.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) T 6111 6111 22582 0 -1 0 1941 0 0 0 55967 4301 0 0 22 0 1 0 1789516572 9056256 1843 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6114/statm): 2211 1843 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 602.71
Current children cumulated vsize (Kb) 10972
[startup+700.053 s]
Raw data (loadavg): 1.07 1.02 1.00 2/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) R 6111 6111 22582 0 -1 0 1941 0 0 0 56755 4371 0 0 17 0 1 0 1789516572 9056256 1843 4294967295 134512640 134702520 3221223952 3221223172 134550192 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6114/statm): 2211 1843 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 611.29
Current children cumulated vsize (Kb) 10972
[startup+710.055 s]
Raw data (loadavg): 1.14 1.03 1.01 1/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) T 6111 6111 22582 0 -1 0 1941 0 0 0 57547 4439 0 0 21 0 1 0 1789516572 9056256 1843 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6114/statm): 2211 1843 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 619.89
Current children cumulated vsize (Kb) 10972
[startup+720.056 s]
Raw data (loadavg): 1.12 1.03 1.01 2/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) T 6111 6111 22582 0 -1 0 1941 0 0 0 58344 4506 0 0 24 0 1 0 1789516572 9056256 1843 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6114/statm): 2211 1843 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 628.53
Current children cumulated vsize (Kb) 10972
[startup+730.057 s]
Raw data (loadavg): 1.10 1.03 1.01 2/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) R 6111 6111 22582 0 -1 0 1941 0 0 0 59161 4563 0 0 25 0 1 0 1789516572 9056256 1843 4294967295 134512640 134702520 3221223952 3221223232 134552719 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6114/statm): 2211 1843 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 637.27
Current children cumulated vsize (Kb) 10972
[startup+740.058 s]
Raw data (loadavg): 1.08 1.03 1.01 2/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) T 6111 6111 22582 0 -1 0 1941 0 0 0 59982 4625 0 0 25 0 1 0 1789516572 9056256 1843 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6114/statm): 2211 1843 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 646.1
Current children cumulated vsize (Kb) 10972
[startup+750.058 s]
Raw data (loadavg): 1.07 1.03 1.01 1/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) T 6111 6111 22582 0 -1 0 1941 0 0 0 60931 4642 0 0 25 0 1 0 1789516572 9056256 1843 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6114/statm): 2211 1843 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 655.76
Current children cumulated vsize (Kb) 10972
[startup+760.059 s]
Raw data (loadavg): 1.06 1.03 1.00 1/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) T 6111 6111 22582 0 -1 0 1941 0 0 0 61770 4697 0 0 20 0 1 0 1789516572 9056256 1843 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6114/statm): 2211 1843 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 664.7
Current children cumulated vsize (Kb) 10972
[startup+770.059 s]
Raw data (loadavg): 1.12 1.04 1.01 2/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) R 6111 6111 22582 0 -1 0 1941 0 0 0 62610 4748 0 0 25 0 1 0 1789516572 9056256 1843 4294967295 134512640 134702520 3221223952 3221223232 134552981 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6114/statm): 2211 1843 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 673.61
Current children cumulated vsize (Kb) 10972
[startup+780.061 s]
Raw data (loadavg): 1.10 1.04 1.01 1/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) T 6111 6111 22582 0 -1 0 1941 0 0 0 63425 4807 0 0 25 0 1 0 1789516572 9056256 1843 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6114/statm): 2211 1843 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 682.35
Current children cumulated vsize (Kb) 10972
[startup+790.062 s]
Raw data (loadavg): 1.09 1.04 1.01 1/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) T 6111 6111 22582 0 -1 0 1941 0 0 0 64219 4877 0 0 22 0 1 0 1789516572 9056256 1843 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6114/statm): 2211 1843 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 690.99
Current children cumulated vsize (Kb) 10972
[startup+800.062 s]
Raw data (loadavg): 1.15 1.05 1.01 1/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) T 6111 6111 22582 0 -1 0 1941 0 0 0 65041 4939 0 0 23 0 1 0 1789516572 9056256 1843 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6114/statm): 2211 1843 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 699.83
Current children cumulated vsize (Kb) 10972
[startup+810.063 s]
Raw data (loadavg): 1.12 1.05 1.01 1/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) T 6111 6111 22582 0 -1 0 1941 0 0 0 65851 4998 0 0 19 0 1 0 1789516572 9056256 1843 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6114/statm): 2211 1843 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 708.52
Current children cumulated vsize (Kb) 10972
[startup+820.063 s]
Raw data (loadavg): 1.10 1.05 1.01 2/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) R 6111 6111 22582 0 -1 0 1941 0 0 0 66665 5062 0 0 21 0 1 0 1789516572 9056256 1843 4294967295 134512640 134702520 3221223952 3221223172 134550195 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6114/statm): 2211 1843 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 717.3
Current children cumulated vsize (Kb) 10972
[startup+830.064 s]
Raw data (loadavg): 1.09 1.05 1.01 2/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) R 6111 6111 22582 0 -1 0 1941 0 0 0 67491 5122 0 0 20 0 1 0 1789516572 9056256 1843 4294967295 134512640 134702520 3221223952 3221223232 134552220 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6114/statm): 2211 1843 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 726.16
Current children cumulated vsize (Kb) 10972
[startup+840.064 s]
Raw data (loadavg): 1.07 1.04 1.01 1/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) T 6111 6111 22582 0 -1 0 1941 0 0 0 68302 5185 0 0 18 0 1 0 1789516572 9056256 1843 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6114/statm): 2211 1843 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 734.9
Current children cumulated vsize (Kb) 10972
[startup+850.065 s]
Raw data (loadavg): 1.06 1.04 1.01 2/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) R 6111 6111 22582 0 -1 0 1941 0 0 0 69116 5245 0 0 25 0 1 0 1789516572 9056256 1843 4294967295 134512640 134702520 3221223952 3221223232 134550676 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6114/statm): 2211 1843 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 743.64
Current children cumulated vsize (Kb) 10972
[startup+860.065 s]
Raw data (loadavg): 1.05 1.04 1.01 1/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) T 6111 6111 22582 0 -1 0 1941 0 0 0 69950 5297 0 0 21 0 1 0 1789516572 9056256 1843 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6114/statm): 2211 1843 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 752.5
Current children cumulated vsize (Kb) 10972
[startup+870.066 s]
Raw data (loadavg): 1.04 1.04 1.00 1/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) T 6111 6111 22582 0 -1 0 1941 0 0 0 70752 5357 0 0 20 0 1 0 1789516572 9056256 1843 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6114/statm): 2211 1843 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 761.12
Current children cumulated vsize (Kb) 10972
[startup+880.067 s]
Raw data (loadavg): 1.04 1.04 1.00 2/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) R 6111 6111 22582 0 -1 0 1941 0 0 0 71591 5409 0 0 25 0 1 0 1789516572 9056256 1843 4294967295 134512640 134702520 3221223952 3221223072 134584563 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6114/statm): 2211 1843 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 770.03
Current children cumulated vsize (Kb) 10972
[startup+890.068 s]
Raw data (loadavg): 1.03 1.03 1.00 1/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) T 6111 6111 22582 0 -1 0 1941 0 0 0 72471 5450 0 0 25 0 1 0 1789516572 9056256 1843 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6114/statm): 2211 1843 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 779.24
Current children cumulated vsize (Kb) 10972
[startup+900.068 s]
Raw data (loadavg): 1.02 1.03 1.00 2/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) R 6111 6111 22582 0 -1 0 1941 0 0 0 73354 5492 0 0 25 0 1 0 1789516572 9056256 1843 4294967295 134512640 134702520 3221223952 3221223232 134552866 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6114/statm): 2211 1843 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 788.49
Current children cumulated vsize (Kb) 10972
[startup+910.068 s]
Raw data (loadavg): 1.09 1.05 1.01 1/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) T 6111 6111 22582 0 -1 0 1941 0 0 0 74160 5557 0 0 20 0 1 0 1789516572 9056256 1843 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6114/statm): 2211 1843 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 797.2
Current children cumulated vsize (Kb) 10972
[startup+920.069 s]
Raw data (loadavg): 1.08 1.04 1.00 2/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) R 6111 6111 22582 0 -1 0 1941 0 0 0 74940 5624 0 0 21 0 1 0 1789516572 9056256 1843 4294967295 134512640 134702520 3221223952 3221223388 1074228988 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6114/statm): 2211 1843 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 805.67
Current children cumulated vsize (Kb) 10972
[startup+930.07 s]
Raw data (loadavg): 1.07 1.04 1.00 2/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) R 6111 6111 22582 0 -1 0 1942 0 0 0 75721 5695 0 0 22 0 1 0 1789516572 9056256 1844 4294967295 134512640 134702520 3221223952 3221223232 134553160 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6114/statm): 2211 1844 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 814.19
Current children cumulated vsize (Kb) 10972
[startup+940.071 s]
Raw data (loadavg): 1.06 1.04 1.00 1/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) T 6111 6111 22582 0 -1 0 1942 0 0 0 76491 5769 0 0 21 0 1 0 1789516572 9056256 1844 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6114/statm): 2211 1844 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 822.63
Current children cumulated vsize (Kb) 10972
[startup+950.071 s]
Raw data (loadavg): 1.13 1.06 1.01 2/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) R 6111 6111 22582 0 -1 0 1942 0 0 0 77283 5838 0 0 25 0 1 0 1789516572 9056256 1844 4294967295 134512640 134702520 3221223952 3221223232 134552705 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6114/statm): 2211 1844 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 831.24
Current children cumulated vsize (Kb) 10972
[startup+960.072 s]
Raw data (loadavg): 1.11 1.05 1.01 2/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) R 6111 6111 22582 0 -1 0 1942 0 0 0 78049 5912 0 0 22 0 1 0 1789516572 9056256 1844 4294967295 134512640 134702520 3221223952 3221223072 134584563 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6114/statm): 2211 1844 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 839.64
Current children cumulated vsize (Kb) 10972
[startup+970.072 s]
Raw data (loadavg): 1.09 1.05 1.01 1/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) T 6111 6111 22582 0 -1 0 1942 0 0 0 78824 5985 0 0 23 0 1 0 1789516572 9056256 1844 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6114/statm): 2211 1844 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 848.12
Current children cumulated vsize (Kb) 10972
[startup+980.074 s]
Raw data (loadavg): 1.08 1.05 1.00 1/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) T 6111 6111 22582 0 -1 0 1942 0 0 0 79589 6059 0 0 21 0 1 0 1789516572 9056256 1844 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6114/statm): 2211 1844 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 856.51
Current children cumulated vsize (Kb) 10972
[startup+990.075 s]
Raw data (loadavg): 1.06 1.05 1.00 2/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) R 6111 6111 22582 0 -1 0 1942 0 0 0 80375 6128 0 0 25 0 1 0 1789516572 9056256 1844 4294967295 134512640 134702520 3221223952 3221223072 134578849 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6114/statm): 2211 1844 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 865.06
Current children cumulated vsize (Kb) 10972
[startup+1000.08 s]
Raw data (loadavg): 1.05 1.05 1.00 2/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) R 6111 6111 22582 0 -1 0 1942 0 0 0 81155 6203 0 0 23 0 1 0 1789516572 9056256 1844 4294967295 134512640 134702520 3221223952 3221223072 134579031 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6114/statm): 2211 1844 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 873.61
Current children cumulated vsize (Kb) 10972
[startup+1010.08 s]
Raw data (loadavg): 1.04 1.04 1.00 2/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) R 6111 6111 22582 0 -1 0 1942 0 0 0 81949 6271 0 0 25 0 1 0 1789516572 9056256 1844 4294967295 134512640 134702520 3221223952 3221223072 134578907 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6114/statm): 2211 1844 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 882.23
Current children cumulated vsize (Kb) 10972
[startup+1020.08 s]
Raw data (loadavg): 1.04 1.04 1.00 1/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) T 6111 6111 22582 0 -1 0 1942 0 0 0 82733 6343 0 0 20 0 1 0 1789516572 9056256 1844 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6114/statm): 2211 1844 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 890.79
Current children cumulated vsize (Kb) 10972
[startup+1030.08 s]
Raw data (loadavg): 1.03 1.04 1.00 2/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) R 6111 6111 22582 0 -1 0 1942 0 0 0 83545 6406 0 0 25 0 1 0 1789516572 9056256 1844 4294967295 134512640 134702520 3221223952 3221223232 134557285 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6114/statm): 2211 1844 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 899.54
Current children cumulated vsize (Kb) 10972
[startup+1040.08 s]
Raw data (loadavg): 1.03 1.04 1.00 1/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) T 6111 6111 22582 0 -1 0 1942 0 0 0 84331 6476 0 0 22 0 1 0 1789516572 9056256 1844 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6114/statm): 2211 1844 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 908.1
Current children cumulated vsize (Kb) 10972
[startup+1050.08 s]
Raw data (loadavg): 1.09 1.05 1.00 1/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) T 6111 6111 22582 0 -1 0 1942 0 0 0 85211 6515 0 0 25 0 1 0 1789516572 9056256 1844 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6114/statm): 2211 1844 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 917.29
Current children cumulated vsize (Kb) 10972
[startup+1060.08 s]
Raw data (loadavg): 1.08 1.05 1.00 1/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) T 6111 6111 22582 0 -1 0 1942 0 0 0 86146 6534 0 0 20 0 1 0 1789516572 9056256 1844 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6114/statm): 2211 1844 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 926.83
Current children cumulated vsize (Kb) 10972
[startup+1070.08 s]
Raw data (loadavg): 1.15 1.06 1.01 2/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) R 6111 6111 22582 0 -1 0 1942 0 0 0 86942 6603 0 0 22 0 1 0 1789516572 9056256 1844 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6114/statm): 2211 1844 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 935.48
Current children cumulated vsize (Kb) 10972
[startup+1080.08 s]
Raw data (loadavg): 1.12 1.06 1.01 2/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) R 6111 6111 22582 0 -1 0 1942 0 0 0 87712 6682 0 0 23 0 1 0 1789516572 9056256 1844 4294967295 134512640 134702520 3221223952 3221223072 134578964 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6114/statm): 2211 1844 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 943.97
Current children cumulated vsize (Kb) 10972
[startup+1090.08 s]
Raw data (loadavg): 1.10 1.06 1.01 2/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) R 6111 6111 22582 0 -1 0 1942 0 0 0 88516 6745 0 0 25 0 1 0 1789516572 9056256 1844 4294967295 134512640 134702520 3221223952 3221223072 134578849 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6114/statm): 2211 1844 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 952.64
Current children cumulated vsize (Kb) 10972
[startup+1100.08 s]
Raw data (loadavg): 1.16 1.07 1.01 1/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) T 6111 6111 22582 0 -1 0 1942 0 0 0 89318 6810 0 0 21 0 1 0 1789516572 9056256 1844 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6114/statm): 2211 1844 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 961.31
Current children cumulated vsize (Kb) 10972
[startup+1110.08 s]
Raw data (loadavg): 1.14 1.07 1.01 1/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) T 6111 6111 22582 0 -1 0 1942 0 0 0 90116 6876 0 0 21 0 1 0 1789516572 9056256 1844 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6114/statm): 2211 1844 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 969.95
Current children cumulated vsize (Kb) 10972
[startup+1120.08 s]
Raw data (loadavg): 1.11 1.07 1.01 1/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) T 6111 6111 22582 0 -1 0 1942 0 0 0 90911 6944 0 0 20 0 1 0 1789516572 9056256 1844 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6114/statm): 2211 1844 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 978.58
Current children cumulated vsize (Kb) 10972
[startup+1130.09 s]
Raw data (loadavg): 1.10 1.06 1.01 2/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) R 6111 6111 22582 0 -1 0 1942 0 0 0 91733 7005 0 0 25 0 1 0 1789516572 9056256 1844 4294967295 134512640 134702520 3221223952 3221223072 134572608 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6114/statm): 2211 1844 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 987.41
Current children cumulated vsize (Kb) 10972
[startup+1140.09 s]
Raw data (loadavg): 1.15 1.08 1.01 1/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) T 6111 6111 22582 0 -1 0 1942 0 0 0 92517 7076 0 0 21 0 1 0 1789516572 9056256 1844 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6114/statm): 2211 1844 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 995.96
Current children cumulated vsize (Kb) 10972
[startup+1150.09 s]
Raw data (loadavg): 1.13 1.07 1.01 2/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) R 6111 6111 22582 0 -1 0 1942 0 0 0 93295 7151 0 0 21 0 1 0 1789516572 9056256 1844 4294967295 134512640 134702520 3221223952 3221223232 134552984 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6114/statm): 2211 1844 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 1004.49
Current children cumulated vsize (Kb) 10972
[startup+1160.09 s]
Raw data (loadavg): 1.11 1.07 1.01 2/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) R 6111 6111 22582 0 -1 0 1942 0 0 0 94113 7209 0 0 25 0 1 0 1789516572 9056256 1844 4294967295 134512640 134702520 3221223952 3221223344 134605854 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6114/statm): 2211 1844 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 1013.25
Current children cumulated vsize (Kb) 10972
[startup+1170.09 s]
Raw data (loadavg): 1.09 1.07 1.01 1/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) T 6111 6111 22582 0 -1 0 1942 0 0 0 94914 7275 0 0 25 0 1 0 1789516572 9056256 1844 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6114/statm): 2211 1844 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 1021.92
Current children cumulated vsize (Kb) 10972
[startup+1180.09 s]
Raw data (loadavg): 1.08 1.07 1.01 2/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) R 6111 6111 22582 0 -1 0 1942 0 0 0 95711 7336 0 0 21 0 1 0 1789516572 9056256 1844 4294967295 134512640 134702520 3221223952 3221223072 134579038 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6114/statm): 2211 1844 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 1030.5
Current children cumulated vsize (Kb) 10972
[startup+1190.09 s]
Raw data (loadavg): 1.07 1.06 1.01 2/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) T 6111 6111 22582 0 -1 0 1942 0 0 0 96519 7399 0 0 22 0 1 0 1789516572 9056256 1844 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6114/statm): 2211 1844 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 1039.21
Current children cumulated vsize (Kb) 10972
[startup+1200.09 s]
Raw data (loadavg): 1.06 1.06 1.01 1/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) T 6111 6111 22582 0 -1 0 1942 0 0 0 97306 7471 0 0 20 0 1 0 1789516572 9056256 1844 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6114/statm): 2211 1844 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 1047.8
Current children cumulated vsize (Kb) 10972
[startup+1210.09 s]
Raw data (loadavg): 1.05 1.06 1.01 1/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) T 6111 6111 22582 0 -1 0 1942 0 0 0 98096 7539 0 0 20 0 1 0 1789516572 9056256 1844 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6114/statm): 2211 1844 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 1056.38
Current children cumulated vsize (Kb) 10972
[startup+1220.09 s]
Raw data (loadavg): 1.04 1.06 1.00 1/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) T 6111 6111 22582 0 -1 0 1942 0 0 0 98987 7576 0 0 25 0 1 0 1789516572 9056256 1844 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6114/statm): 2211 1844 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 1065.66
Current children cumulated vsize (Kb) 10972
[startup+1230.09 s]
Raw data (loadavg): 1.03 1.05 1.00 1/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) T 6111 6111 22582 0 -1 0 1942 0 0 0 99915 7599 0 0 20 0 1 0 1789516572 9056256 1844 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6114/statm): 2211 1844 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 1075.17
Current children cumulated vsize (Kb) 10972
[startup+1240.09 s]
Raw data (loadavg): 1.03 1.05 1.00 1/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) T 6111 6111 22582 0 -1 0 1942 0 0 0 100719 7664 0 0 21 0 1 0 1789516572 9056256 1844 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6114/statm): 2211 1844 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 1083.86
Current children cumulated vsize (Kb) 10972
[startup+1250.09 s]
Raw data (loadavg): 1.02 1.05 1.00 2/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) R 6111 6111 22582 0 -1 0 1942 0 0 0 101518 7732 0 0 23 0 1 0 1789516572 9056256 1844 4294967295 134512640 134702520 3221223952 3221223232 134552866 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6114/statm): 2211 1844 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 1092.53
Current children cumulated vsize (Kb) 10972
[startup+1260.1 s]
Raw data (loadavg): 1.02 1.05 1.00 2/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) R 6111 6111 22582 0 -1 0 1942 0 0 0 102321 7797 0 0 22 0 1 0 1789516572 9056256 1844 4294967295 134512640 134702520 3221223952 3221223072 134573842 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6114/statm): 2211 1844 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 1101.21
Current children cumulated vsize (Kb) 10972
[startup+1270.1 s]
Raw data (loadavg): 1.02 1.05 1.00 1/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) T 6111 6111 22582 0 -1 0 1942 0 0 0 103133 7859 0 0 23 0 1 0 1789516572 9056256 1844 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6114/statm): 2211 1844 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 1109.95
Current children cumulated vsize (Kb) 10972
[startup+1280.1 s]
Raw data (loadavg): 1.01 1.04 1.00 1/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) T 6111 6111 22582 0 -1 0 1942 0 0 0 103933 7930 0 0 20 0 1 0 1789516572 9056256 1844 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6114/statm): 2211 1844 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 1118.66
Current children cumulated vsize (Kb) 10972
[startup+1290.1 s]
Raw data (loadavg): 1.01 1.04 1.00 2/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) R 6111 6111 22582 0 -1 0 1942 0 0 0 104732 7998 0 0 20 0 1 0 1789516572 9056256 1844 4294967295 134512640 134702520 3221223952 3221223232 134552981 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6114/statm): 2211 1844 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 1127.33
Current children cumulated vsize (Kb) 10972
[startup+1300.1 s]
Raw data (loadavg): 1.01 1.04 1.00 1/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) T 6111 6111 22582 0 -1 0 1942 0 0 0 105522 8065 0 0 20 0 1 0 1789516572 9056256 1844 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6114/statm): 2211 1844 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 1135.9
Current children cumulated vsize (Kb) 10972
[startup+1310.1 s]
Raw data (loadavg): 1.01 1.04 1.00 1/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) T 6111 6111 22582 0 -1 0 1944 0 0 0 106343 8124 0 0 23 0 1 0 1789516572 9056256 1846 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6114/statm): 2211 1846 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 1144.7
Current children cumulated vsize (Kb) 10972
[startup+1320.1 s]
Raw data (loadavg): 1.00 1.04 1.00 2/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) R 6111 6111 22582 0 -1 0 1944 0 0 0 107164 8184 0 0 25 0 1 0 1789516572 9056256 1846 4294967295 134512640 134702520 3221223952 3221223072 134578886 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6114/statm): 2211 1846 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 1153.51
Current children cumulated vsize (Kb) 10972
[startup+1330.1 s]
Raw data (loadavg): 1.00 1.03 1.00 1/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) T 6111 6111 22582 0 -1 0 1944 0 0 0 107982 8242 0 0 24 0 1 0 1789516572 9056256 1846 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6114/statm): 2211 1846 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 1162.27
Current children cumulated vsize (Kb) 10972
[startup+1340.1 s]
Raw data (loadavg): 1.00 1.03 1.00 2/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) R 6111 6111 22582 0 -1 0 1946 0 0 0 108787 8303 0 0 22 0 1 0 1789516572 9056256 1848 4294967295 134512640 134702520 3221223952 3221223072 134573474 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6114/statm): 2211 1848 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 1170.93
Current children cumulated vsize (Kb) 10972
[startup+1350.1 s]
Raw data (loadavg): 1.00 1.03 1.00 2/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) R 6111 6111 22582 0 -1 0 1946 0 0 0 109603 8360 0 0 24 0 1 0 1789516572 9056256 1848 4294967295 134512640 134702520 3221223952 3221223232 134552347 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6114/statm): 2211 1848 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 1179.66
Current children cumulated vsize (Kb) 10972
[startup+1360.1 s]
Raw data (loadavg): 1.00 1.03 1.00 1/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) T 6111 6111 22582 0 -1 0 1946 0 0 0 110432 8415 0 0 21 0 1 0 1789516572 9056256 1848 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6114/statm): 2211 1848 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 1188.5
Current children cumulated vsize (Kb) 10972
[startup+1370.1 s]
Raw data (loadavg): 1.00 1.03 1.00 1/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) T 6111 6111 22582 0 -1 0 1948 0 0 0 111228 8479 0 0 21 0 1 0 1789516572 9056256 1850 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6114/statm): 2211 1850 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 1197.1
Current children cumulated vsize (Kb) 10972
[startup+1380.1 s]
Raw data (loadavg): 1.00 1.03 1.00 2/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) R 6111 6111 22582 0 -1 0 1948 0 0 0 112033 8545 0 0 21 0 1 0 1789516572 9056256 1850 4294967295 134512640 134702520 3221223952 3221223072 134579029 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6114/statm): 2211 1850 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 1205.81
Current children cumulated vsize (Kb) 10972
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1380.1 s]
Raw data (loadavg): 1.00 1.03 1.00 2/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) R 6111 6111 22582 0 -1 0 1948 0 0 0 112033 8545 0 0 21 0 1 0 1789516572 9056256 1850 4294967295 134512640 134702520 3221223952 3221223072 134573689 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6114/statm): 2211 1850 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 1205.81
Current children cumulated vsize (Kb) 10972
Sending SIGTERM to -6111
Sleeping 2 seconds
New process pid=6116
New process pid=6117
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
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/37/stat
open syscall for file /proc/37/status
open syscall for file /proc/37/cmdline
open syscall for file /proc/37/environ
open syscall for file /proc/38/stat
open syscall for file /proc/38/status
open syscall for file /proc/38/cmdline
open syscall for file /proc/38/environ
open syscall for file /proc/39/stat
open syscall for file /proc/39/status
open syscall for file /proc/39/cmdline
open syscall for file /proc/39/environ
open syscall for file /proc/153/stat
open syscall for file /proc/153/status
open syscall for file /proc/153/cmdline
open syscall for file /proc/153/environ
open syscall for file /proc/156/stat
open syscall for file /proc/156/status
open syscall for file /proc/156/cmdline
open syscall for file /proc/156/environ
open syscall for file /proc/159/stat
open syscall for file /proc/159/status
open syscall for file /proc/159/cmdline
open syscall for file /proc/159/environ
open syscall for file /proc/826/stat
open syscall for file /proc/826/status
open syscall for file /proc/826/cmdline
open syscall for file /proc/826/environ
open syscall for file /proc/827/stat
open syscall for file /proc/827/status
open syscall for file /proc/827/cmdline
open syscall for file /proc/827/environ
open syscall for file /proc/1260/stat
open syscall for file /proc/1260/status
open syscall for file /proc/1260/cmdline
open syscall for file /proc/1260/environ
open syscall for file /proc/1264/stat
open syscall for file /proc/1264/status
open syscall for file /proc/1264/cmdline
open syscall for file /proc/1264/environ
open syscall for file /proc/1286/stat
open syscall for file /proc/1286/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1286/cmdline
open syscall for file /proc/1286/environ
open syscall for file /proc/1316/stat
open syscall for file /proc/1316/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1316/cmdline
open syscall for file /proc/1316/environ
open syscall for file /proc/1360/stat
open syscall for file /proc/1360/status
open syscall for file /proc/1360/cmdline
open syscall for file /proc/1360/environ
open syscall for file /proc/1518/stat
open syscall for file /proc/1518/status
open syscall for file /proc/1518/cmdline
open syscall for file /proc/1518/environ
open syscall for file /proc/1542/stat
open syscall for file /proc/1542/status
open syscall for file /proc/1542/cmdline
open syscall for file /proc/1542/environ
open syscall for file /proc/1565/stat
open syscall for file /proc/1565/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1565/cmdline
open syscall for file /proc/1565/environ
open syscall for file /proc/1659/stat
open syscall for file /proc/1659/status
open syscall for file /proc/1659/cmdline
open syscall for file /proc/1659/environ
open syscall for file /proc/1660/stat
open syscall for file /proc/1660/status
open syscall for file /proc/1660/cmdline
open syscall for file /proc/1660/environ
open syscall for file /proc/1661/stat
open syscall for file /proc/1661/status
open syscall for file /proc/1661/cmdline
open syscall for file /proc/1661/environ
open syscall for file /proc/1662/stat
open syscall for file /proc/1662/status
open syscall for file /proc/1662/cmdline
open syscall for file /proc/1662/environ
open syscall for file /proc/1663/stat
open syscall for file /proc/1663/status
open syscall for file /proc/1663/cmdline
open syscall for file /proc/1663/environ
open syscall for file /proc/1664/stat
open syscall for file /proc/1664/status
open syscall for file /proc/1664/cmdline
open syscall for file /proc/1664/environ
open syscall for file /proc/1665/stat
open syscall for file /proc/1665/status
open syscall for file /proc/1665/cmdline
open syscall for file /proc/1665/environ
open syscall for file /proc/13967/stat
open syscall for file /proc/13967/status
open syscall for file /proc/13967/cmdline
open syscall for file /proc/13967/environ
open syscall for file /proc/9077/stat
open syscall for file /proc/9077/status
open syscall for file /proc/9077/cmdline
open syscall for file /proc/9077/environ
open syscall for file /proc/9104/stat
open syscall for file /proc/9104/status
open syscall for file /proc/9104/cmdline
open syscall for file /proc/9104/environ
open syscall for file /proc/9128/stat
open syscall for file /proc/9128/status
open syscall for file /proc/9128/cmdline
open syscall for file /proc/9128/environ
open syscall for file /proc/17043/stat
open syscall for file /proc/17043/status
open syscall for file /proc/17043/cmdline
open syscall for file /proc/17043/environ
open syscall for file /proc/17049/stat
open syscall for file /proc/17049/status
open syscall for file /proc/17049/cmdline
open syscall for file /proc/17049/environ
open syscall for file /proc/2284/stat
open syscall for file /proc/2284/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/2284/cmdline
open syscall for file /proc/2284/environ
open syscall for file /proc/2319/stat
open syscall for file /proc/2319/status
open syscall for file /proc/2319/cmdline
open syscall for file /proc/2319/environ
open syscall for file /proc/22582/stat
open syscall for file /proc/22582/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/22582/cmdline
open syscall for file /proc/22582/environ
open syscall for file /proc/22583/stat
open syscall for file /proc/22583/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/22583/cmdline
open syscall for file /proc/22583/environ
open syscall for file /proc/22592/stat
open syscall for file /proc/22592/status
open syscall for file /proc/22592/cmdline
open syscall for file /proc/22592/environ
open syscall for file /proc/6074/stat
open syscall for file /proc/6074/status
open syscall for file /proc/6074/cmdline
open syscall for file /proc/6074/environ
open syscall for file /proc/6110/stat
open syscall for file /proc/6110/status
open syscall for file /proc/6110/cmdline
open syscall for file /proc/6110/environ
open syscall for file /proc/6111/stat
open syscall for file /proc/6111/status
open syscall for file /proc/6111/cmdline
open syscall for file /proc/6111/environ
open syscall for file /proc/6114/stat
open syscall for file /proc/6114/status
open syscall for file /proc/6114/cmdline
open syscall for file /proc/6114/environ
open syscall for file /proc/6116/stat
open syscall for file /proc/6116/status
open syscall for file /proc/6116/cmdline
open syscall for file /proc/6116/environ
open syscall for file /proc/6117/stat
open syscall for file /proc/6117/status
open syscall for file /proc/6117/cmdline
open syscall for file /proc/6117/environ
One traced child (pid=6116) exited with status: 0
One traced child (pid=6117) exited with status: 0
New process pid=6118
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=6114) exited with status: 3
One traced child (pid=6118) exited with status: 0
New process pid=6119
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=6119) exited with status: 0
New process pid=6120
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=6120) exited with status: 0
New process pid=6121
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=6121) exited with status: 0
One traced child (pid=6111) 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): 1380.7
CPU time (s): 1206.18
CPU user time (s): 1120.56
CPU system time (s): 85.615
CPU usage (%): 87.3598
Max. virtual memory (cumulated for all children) (Kb): 10972