1:
seed: 0
Nr of vars set: 0 (#equs: 0)
Nr of vars set: 26 (#equs: 0)
#decisions: 541; #end-nodes: 190;
#proof improvement attempts: 0; #restarts: 2
Current batch, end-nodes: 23 / 134 (80)
#axs: 248, #non-axs: 50
tight: meta-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: 1069339646 (1078144000:>=*);
#decisions: 19; #end-nodes: 1;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 1 / 80 (80)
#axs: 248, #non-axs: 50
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 1069416446 (1078067200:>=*);
#decisions: 14; #end-nodes: 0;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 248, #non-axs: 50
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 1069493246 (1077990400:>=*);
#decisions: 17; #end-nodes: 4;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 4 / 80 (80)
#axs: 248, #non-axs: 50
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 1069570046 (1077913600:>=*);
#decisions: 15; #end-nodes: 4;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 4 / 80 (80)
#axs: 248, #non-axs: 50
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 1069646846 (1077836800:>=*);
#decisions: 27; #end-nodes: 6;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 6 / 80 (80)
#axs: 248, #non-axs: 51
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 1069657086 (1077826560:>=*);
#decisions: 148; #end-nodes: 76;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 76 / 99 (80)
#axs: 248, #non-axs: 71
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 1069672446 (1077811200:>=*);
#decisions: 75; #end-nodes: 20;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 20 / 80 (80)
#axs: 248, #non-axs: 74
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 1069749246 (1077734400:>=*);
#decisions: 29; #end-nodes: 5;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 5 / 80 (80)
#axs: 248, #non-axs: 74
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 1069790206 (1077693440:>=*);
#decisions: 49; #end-nodes: 16;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 16 / 80 (80)
#axs: 248, #non-axs: 77
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 1069867006 (1077616640:>=*);
#decisions: 108; #end-nodes: 38;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 38 / 90 (80)
#axs: 248, #non-axs: 86
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 1069872126 (1077611520:>=*);
#decisions: 56; #end-nodes: 22;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 22 / 80 (80)
#axs: 248, #non-axs: 86
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 1069948926 (1077534720:>=*);
#decisions: 72; #end-nodes: 29;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 29 / 80 (80)
#axs: 248, #non-axs: 86
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 1070025726 (1077457920:>=*);
#decisions: 1388; #end-nodes: 755;
#proof improvement attempts: 0; #restarts: 3
Current batch, end-nodes: 5 / 87 (80)
#axs: 248, #non-axs: 298
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 1070056446 (1077427200:>=*);
#decisions: 42; #end-nodes: 7;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 7 / 80 (80)
#axs: 248, #non-axs: 298
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 1070133246 (1077350400:>=*);
#decisions: 51; #end-nodes: 4;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 4 / 80 (80)
#axs: 248, #non-axs: 299
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 1070210046 (1077273600:>=*);
#decisions: 62; #end-nodes: 10;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 10 / 80 (80)
#axs: 248, #non-axs: 299
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 1070286846 (1077196800:>=*);
#decisions: 46; #end-nodes: 7;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 7 / 80 (80)
#axs: 248, #non-axs: 300
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 1070363646 (1077120000:>=*);
#decisions: 118; #end-nodes: 47;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 47 / 80 (80)
#axs: 248, #non-axs: 305
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 1070440446 (1077043200:>=*);
#decisions: 1241; #end-nodes: 602;
#proof improvement attempts: 0; #restarts: 2
Current batch, end-nodes: 303 / 364 (80)
#axs: 248, #non-axs: 570
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 1070491646 (1076992000:>=*);
#decisions: 1627; #end-nodes: 829;
#proof improvement attempts: 0; #restarts: 6
Current batch, end-nodes: 18 / 97 (81)
#axs: 248, #non-axs: 987
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 1070578686 (1076904960:>=*);
#decisions: 2094; #end-nodes: 1085;
#proof improvement attempts: 0; #restarts: 4
Current batch, end-nodes: 115 / 309 (81)
#axs: 248, #non-axs: 1518
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 1070624766 (1076858880:>=*);
#decisions: 812; #end-nodes: 370;
#proof improvement attempts: 0; #restarts: 1
Current batch, end-nodes: 178 / 214 (80)
#axs: 248, #non-axs: 1712
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 1070655486 (1076828160:>=*);
#decisions: 3743; #end-nodes: 1983;
#proof improvement attempts: 0; #restarts: 8
Current batch, end-nodes: 606 / 879 (82)
#axs: 248, #non-axs: 2600
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 1070681086 (1076802560:>=*);
#decisions: 13051; #end-nodes: 7042;
#proof improvement attempts: 0; #restarts: 40
Current batch, end-nodes: 1094 / 1348 (90)
#axs: 248, #non-axs: 4586
tight: meta-meta: start: 6, end: 9; meta: start: 10, end (keep): 19
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 1070706686 (1076776960:>=*);
#decisions: 3077; #end-nodes: 1751;
#proof improvement attempts: 0; #restarts: 6
Current batch, end-nodes: 155 / 200 (81)
#axs: 248, #non-axs: 4983
tight: meta-meta: start: 6, end: 9; meta: start: 10, end (keep): 19
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 1070752766 (1076730880:>=*);
#decisions: 24374; #end-nodes: 13738;
#proof improvement attempts: 0; #restarts: 58
Current batch, end-nodes: 17 / 95 (94)
#axs: 248, #non-axs: 7147
tight: meta-meta: start: 6, end: 9; meta: start: 7, end (keep): 13
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 1070757886 (1076725760:>=*);
#decisions: 72430; #end-nodes: 42893;
#proof improvement attempts: 0; #restarts: 134
Current batch, end-nodes: 361 / 521 (113)
#axs: 248, #non-axs: 2294
tight: meta-meta: start: 5, end: 7; meta: start: 3, end (keep): 3
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 1070768126 (1076715520:>=*);
#decisions: 22937; #end-nodes: 12983;
#proof improvement attempts: 0; #restarts: 61
Current batch, end-nodes: 284 / 534 (95)
#axs: 248, #non-axs: 1810
tight: meta-meta: start: 5, end: 7; meta: start: 3, end (keep): 3
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 1070809086 (1076674560:>=*);
#decisions: 22569; #end-nodes: 13792;
#proof improvement attempts: 0; #restarts: 41
Current batch, end-nodes: 75 / 159 (90)
#axs: 248, #non-axs: 1759
tight: meta-meta: start: 5, end: 7; meta: start: 3, end (keep): 3
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 1070865406 (1076618240:>=*);
#decisions: 1240097; #end-nodes: 909253;
#proof improvement attempts: 0; #restarts: 672
Current batch, end-nodes: 0 / 511 (247)
#axs: 248, #non-axs: 3413
tight: meta-meta: start: 3, end: 3; meta: start: 3, end (keep): 3
loose: meta-meta: start: 8, end: 12; meta: start: 26, end (keep): 42
Model found with constant:
(pushed:) 1070865406 (1076618240:>=*)
No proof was found though that an increment of the
last pushed constraint doesn't have a model.
result: the time limit has been exceeded (2)
seed: 0
Nr of vars set: 30 (#equs: 0)
Time taken: 15 min, 6 sec
2:
seed: 0
Nr of vars set: 30 (#equs: 0)
Nr of vars set: 30 (#equs: 0)
Interupt request received.
#decisions: 986738; #end-nodes: 721253;
#proof improvement attempts: 0; #restarts: 487
Current batch, end-nodes: 6182 / 7035 (241)
#axs: 248, #non-axs: 3745
tight: meta-meta: start: 3, end: 3; meta: start: 3, end (keep): 3
loose: meta-meta: start: 8, end: 12; meta: start: 26, end (keep): 42
result: an interupt signal has been received (3)
No model found at all.
result: an interupt signal has been received (3)
seed: 0
Nr of vars set: 218 (#equs: 0)
Time taken: 5 min, 0 sec
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing Stack size limit: 67108864 bytes
Enforcing memory limit (will send SIGTERM then SIGKILL): 921600 Kb
Enforcing VSIZE limit: 994918400 bytes
Current StackSize limit: 67108864 bytes
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) R 12394 12395 27660 0 -1 0 19 0 0 0 0 0 0 0 22 0 1 0 1775811099 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12395/statm): 174 3 169 147 0 27 0
[pid=12395] 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=12396
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=12396) exited with status: 0
New process pid=12397
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=12397) exited with status: 0
New process pid=12398
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/wulflinc8/normalized-mps-v2-20-10-misc07.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map
[startup+10.0037 s]
Raw data (loadavg): 0.62 0.87 0.95 1/57 12398
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1775811099 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 242 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12398/stat): 12398 (vallst) T 12395 12395 27660 0 -1 0 222 0 0 0 945 16 0 0 25 0 1 0 1775811106 2019328 192 4294967295 134512640 134702520 3221223952 3221223320 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/12398/statm): 493 192 413 48 0 445 0
[pid=12398] vsize: 1972
Current children cumulated CPU time (s) 9.63
Current children cumulated vsize (Kb) 4100
[startup+20.0045 s]
Raw data (loadavg): 0.68 0.87 0.95 1/57 12398
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1775811099 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 242 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12398/stat): 12398 (vallst) T 12395 12395 27660 0 -1 0 333 0 0 0 1869 43 0 0 24 0 1 0 1775811106 2740224 303 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/12398/statm): 669 303 413 48 0 621 0
[pid=12398] vsize: 2676
Current children cumulated CPU time (s) 19.14
Current children cumulated vsize (Kb) 4804
[startup+30.0063 s]
Raw data (loadavg): 0.73 0.88 0.95 2/57 12398
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1775811099 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 242 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12398/stat): 12398 (vallst) R 12395 12395 27660 0 -1 0 375 0 0 0 2771 75 0 0 25 0 1 0 1775811106 2883584 345 4294967295 134512640 134702520 3221223952 3221223344 134603635 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12398/statm): 704 345 413 48 0 656 0
[pid=12398] vsize: 2816
Current children cumulated CPU time (s) 28.48
Current children cumulated vsize (Kb) 4944
[startup+40.0071 s]
Raw data (loadavg): 0.77 0.88 0.95 1/57 12398
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1775811099 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 242 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12398/stat): 12398 (vallst) T 12395 12395 27660 0 -1 0 397 0 0 0 3676 109 0 0 24 0 1 0 1775811106 3067904 367 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/12398/statm): 749 367 413 48 0 701 0
[pid=12398] vsize: 2996
Current children cumulated CPU time (s) 37.87
Current children cumulated vsize (Kb) 5124
[startup+50.0088 s]
Raw data (loadavg): 0.81 0.88 0.95 1/57 12398
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1775811099 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 242 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12398/stat): 12398 (vallst) T 12395 12395 27660 0 -1 0 506 0 0 0 4582 140 0 0 25 0 1 0 1775811106 3067904 476 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/12398/statm): 749 476 413 48 0 701 0
[pid=12398] vsize: 2996
Current children cumulated CPU time (s) 47.24
Current children cumulated vsize (Kb) 5124
[startup+60.0096 s]
Raw data (loadavg): 0.84 0.89 0.95 1/57 12398
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1775811099 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 242 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12398/stat): 12398 (vallst) T 12395 12395 27660 0 -1 0 511 0 0 0 5488 174 0 0 19 0 1 0 1775811106 3203072 481 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/12398/statm): 782 481 413 48 0 734 0
[pid=12398] vsize: 3128
Current children cumulated CPU time (s) 56.64
Current children cumulated vsize (Kb) 5256
[startup+70.0104 s]
Raw data (loadavg): 0.86 0.89 0.95 2/57 12398
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1775811099 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 242 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12398/stat): 12398 (vallst) R 12395 12395 27660 0 -1 0 514 0 0 0 6391 208 0 0 25 0 1 0 1775811106 3203072 484 4294967295 134512640 134702520 3221223952 3221223232 134552502 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12398/statm): 782 484 413 48 0 734 0
[pid=12398] vsize: 3128
Current children cumulated CPU time (s) 66.01
Current children cumulated vsize (Kb) 5256
[startup+80.0122 s]
Raw data (loadavg): 0.88 0.89 0.95 2/57 12398
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1775811099 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 242 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12398/stat): 12398 (vallst) R 12395 12395 27660 0 -1 0 514 0 0 0 7325 230 0 0 25 0 1 0 1775811106 3203072 484 4294967295 134512640 134702520 3221223952 3221222848 134552232 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12398/statm): 782 484 413 48 0 734 0
[pid=12398] vsize: 3128
Current children cumulated CPU time (s) 75.57
Current children cumulated vsize (Kb) 5256
[startup+90.0129 s]
Raw data (loadavg): 0.90 0.90 0.95 2/57 12398
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1775811099 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 242 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12398/stat): 12398 (vallst) R 12395 12395 27660 0 -1 0 514 0 0 0 8288 245 0 0 25 0 1 0 1775811106 3203072 484 4294967295 134512640 134702520 3221223952 3221223232 134553342 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12398/statm): 782 484 413 48 0 734 0
[pid=12398] vsize: 3128
Current children cumulated CPU time (s) 85.35
Current children cumulated vsize (Kb) 5256
[startup+100.014 s]
Raw data (loadavg): 0.99 0.91 0.95 2/57 12398
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1775811099 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 242 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12398/stat): 12398 (vallst) R 12395 12395 27660 0 -1 0 514 0 0 0 9193 277 0 0 20 0 1 0 1775811106 3203072 484 4294967295 134512640 134702520 3221223952 3221223232 134552467 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12398/statm): 782 484 413 48 0 734 0
[pid=12398] vsize: 3128
Current children cumulated CPU time (s) 94.72
Current children cumulated vsize (Kb) 5256
[startup+110.016 s]
Raw data (loadavg): 0.99 0.92 0.95 1/57 12398
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1775811099 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 242 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12398/stat): 12398 (vallst) T 12395 12395 27660 0 -1 0 515 0 0 0 10089 315 0 0 25 0 1 0 1775811106 3203072 485 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/12398/statm): 782 485 413 48 0 734 0
[pid=12398] vsize: 3128
Current children cumulated CPU time (s) 104.06
Current children cumulated vsize (Kb) 5256
[startup+120.016 s]
Raw data (loadavg): 0.99 0.92 0.95 2/57 12398
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1775811099 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 242 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12398/stat): 12398 (vallst) R 12395 12395 27660 0 -1 0 520 0 0 0 10992 347 0 0 25 0 1 0 1775811106 3203072 490 4294967295 134512640 134702520 3221223952 3221223232 134552486 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12398/statm): 782 490 413 48 0 734 0
[pid=12398] vsize: 3128
Current children cumulated CPU time (s) 113.41
Current children cumulated vsize (Kb) 5256
[startup+130.017 s]
Raw data (loadavg): 0.99 0.92 0.95 2/57 12398
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1775811099 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 242 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12398/stat): 12398 (vallst) R 12395 12395 27660 0 -1 0 520 0 0 0 11901 378 0 0 25 0 1 0 1775811106 3203072 490 4294967295 134512640 134702520 3221223952 3221223232 134552492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12398/statm): 782 490 413 48 0 734 0
[pid=12398] vsize: 3128
Current children cumulated CPU time (s) 122.81
Current children cumulated vsize (Kb) 5256
[startup+140.018 s]
Raw data (loadavg): 0.99 0.92 0.95 1/57 12398
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1775811099 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 242 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12398/stat): 12398 (vallst) T 12395 12395 27660 0 -1 0 520 0 0 0 12807 412 0 0 25 0 1 0 1775811106 3203072 490 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/12398/statm): 782 490 413 48 0 734 0
[pid=12398] vsize: 3128
Current children cumulated CPU time (s) 132.21
Current children cumulated vsize (Kb) 5256
[startup+150.02 s]
Raw data (loadavg): 0.99 0.92 0.95 2/57 12398
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1775811099 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 242 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12398/stat): 12398 (vallst) R 12395 12395 27660 0 -1 0 520 0 0 0 13715 446 0 0 21 0 1 0 1775811106 3203072 490 4294967295 134512640 134702520 3221223952 3221223232 134553512 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12398/statm): 782 490 413 48 0 734 0
[pid=12398] vsize: 3128
Current children cumulated CPU time (s) 141.63
Current children cumulated vsize (Kb) 5256
[startup+160.02 s]
Raw data (loadavg): 0.99 0.93 0.95 2/57 12398
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1775811099 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 242 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12398/stat): 12398 (vallst) T 12395 12395 27660 0 -1 0 520 0 0 0 14624 479 0 0 25 0 1 0 1775811106 3203072 490 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/12398/statm): 782 490 413 48 0 734 0
[pid=12398] vsize: 3128
Current children cumulated CPU time (s) 151.05
Current children cumulated vsize (Kb) 5256
[startup+170.021 s]
Raw data (loadavg): 0.99 0.93 0.95 1/57 12398
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1775811099 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 242 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12398/stat): 12398 (vallst) T 12395 12395 27660 0 -1 0 520 0 0 0 15586 491 0 0 25 0 1 0 1775811106 3203072 490 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/12398/statm): 782 490 413 48 0 734 0
[pid=12398] vsize: 3128
Current children cumulated CPU time (s) 160.79
Current children cumulated vsize (Kb) 5256
[startup+180.023 s]
Raw data (loadavg): 0.99 0.93 0.95 2/57 12398
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1775811099 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 242 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12398/stat): 12398 (vallst) R 12395 12395 27660 0 -1 0 520 0 0 0 16527 512 0 0 25 0 1 0 1775811106 3203072 490 4294967295 134512640 134702520 3221223952 3221222848 134552523 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12398/statm): 782 490 413 48 0 734 0
[pid=12398] vsize: 3128
Current children cumulated CPU time (s) 170.41
Current children cumulated vsize (Kb) 5256
[startup+190.024 s]
Raw data (loadavg): 0.99 0.93 0.95 2/57 12398
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1775811099 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 242 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12398/stat): 12398 (vallst) T 12395 12395 27660 0 -1 0 520 0 0 0 17431 546 0 0 25 0 1 0 1775811106 3203072 490 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/12398/statm): 782 490 413 48 0 734 0
[pid=12398] vsize: 3128
Current children cumulated CPU time (s) 179.79
Current children cumulated vsize (Kb) 5256
[startup+200.026 s]
Raw data (loadavg): 0.99 0.93 0.95 1/57 12398
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1775811099 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 242 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12398/stat): 12398 (vallst) T 12395 12395 27660 0 -1 0 527 0 0 0 18342 578 0 0 25 0 1 0 1775811106 3203072 497 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/12398/statm): 782 497 413 48 0 734 0
[pid=12398] vsize: 3128
Current children cumulated CPU time (s) 189.22
Current children cumulated vsize (Kb) 5256
[startup+210.026 s]
Raw data (loadavg): 0.99 0.94 0.95 1/57 12398
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1775811099 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 242 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12398/stat): 12398 (vallst) T 12395 12395 27660 0 -1 0 531 0 0 0 19245 613 0 0 21 0 1 0 1775811106 3203072 501 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/12398/statm): 782 501 413 48 0 734 0
[pid=12398] vsize: 3128
Current children cumulated CPU time (s) 198.6
Current children cumulated vsize (Kb) 5256
[startup+220.027 s]
Raw data (loadavg): 0.99 0.94 0.95 2/57 12398
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1775811099 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 242 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12398/stat): 12398 (vallst) R 12395 12395 27660 0 -1 0 536 0 0 0 20150 645 0 0 22 0 1 0 1775811106 3203072 506 4294967295 134512640 134702520 3221223952 3221223344 134603625 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12398/statm): 782 506 413 48 0 734 0
[pid=12398] vsize: 3128
Current children cumulated CPU time (s) 207.97
Current children cumulated vsize (Kb) 5256
[startup+230.028 s]
Raw data (loadavg): 0.99 0.94 0.95 1/57 12398
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1775811099 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 242 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12398/stat): 12398 (vallst) T 12395 12395 27660 0 -1 0 537 0 0 0 21109 660 0 0 25 0 1 0 1775811106 3203072 507 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/12398/statm): 782 507 413 48 0 734 0
[pid=12398] vsize: 3128
Current children cumulated CPU time (s) 217.71
Current children cumulated vsize (Kb) 5256
[startup+240.029 s]
Raw data (loadavg): 0.99 0.94 0.95 2/57 12398
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1775811099 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 242 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12398/stat): 12398 (vallst) R 12395 12395 27660 0 -1 0 538 0 0 0 22050 683 0 0 25 0 1 0 1775811106 3203072 508 4294967295 134512640 134702520 3221223952 3221223232 134552460 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12398/statm): 782 508 413 48 0 734 0
[pid=12398] vsize: 3128
Current children cumulated CPU time (s) 227.35
Current children cumulated vsize (Kb) 5256
[startup+250.03 s]
Raw data (loadavg): 0.99 0.94 0.95 2/57 12398
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1775811099 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 242 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12398/stat): 12398 (vallst) R 12395 12395 27660 0 -1 0 541 0 0 0 22956 717 0 0 25 0 1 0 1775811106 3203072 511 4294967295 134512640 134702520 3221223952 3221223232 134553277 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12398/statm): 782 511 413 48 0 734 0
[pid=12398] vsize: 3128
Current children cumulated CPU time (s) 236.75
Current children cumulated vsize (Kb) 5256
[startup+260.031 s]
Raw data (loadavg): 0.99 0.94 0.95 1/57 12398
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1775811099 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 242 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12398/stat): 12398 (vallst) T 12395 12395 27660 0 -1 0 546 0 0 0 23860 751 0 0 25 0 1 0 1775811106 3203072 516 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/12398/statm): 782 516 413 48 0 734 0
[pid=12398] vsize: 3128
Current children cumulated CPU time (s) 246.13
Current children cumulated vsize (Kb) 5256
[startup+270.032 s]
Raw data (loadavg): 0.99 0.94 0.95 2/57 12398
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1775811099 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 242 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12398/stat): 12398 (vallst) R 12395 12395 27660 0 -1 0 549 0 0 0 24761 787 0 0 21 0 1 0 1775811106 3338240 519 4294967295 134512640 134702520 3221223952 3221223232 134557257 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12398/statm): 815 519 413 48 0 767 0
[pid=12398] vsize: 3260
Current children cumulated CPU time (s) 255.5
Current children cumulated vsize (Kb) 5388
[startup+280.033 s]
Raw data (loadavg): 0.99 0.95 0.95 1/57 12398
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1775811099 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 242 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12398/stat): 12398 (vallst) T 12395 12395 27660 0 -1 0 552 0 0 0 25670 817 0 0 25 0 1 0 1775811106 3338240 522 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/12398/statm): 815 522 413 48 0 767 0
[pid=12398] vsize: 3260
Current children cumulated CPU time (s) 264.89
Current children cumulated vsize (Kb) 5388
[startup+290.034 s]
Raw data (loadavg): 0.99 0.95 0.95 1/57 12398
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1775811099 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 242 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12398/stat): 12398 (vallst) T 12395 12395 27660 0 -1 0 557 0 0 0 26574 849 0 0 25 0 1 0 1775811106 3338240 527 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/12398/statm): 815 527 413 48 0 767 0
[pid=12398] vsize: 3260
Current children cumulated CPU time (s) 274.25
Current children cumulated vsize (Kb) 5388
[startup+300.035 s]
Raw data (loadavg): 0.99 0.95 0.95 2/57 12398
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1775811099 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 242 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12398/stat): 12398 (vallst) R 12395 12395 27660 0 -1 0 557 0 0 0 27537 860 0 0 25 0 1 0 1775811106 3338240 527 4294967295 134512640 134702520 3221223952 3221222848 134552509 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12398/statm): 815 527 413 48 0 767 0
[pid=12398] vsize: 3260
Current children cumulated CPU time (s) 283.99
Current children cumulated vsize (Kb) 5388
[startup+310.036 s]
Raw data (loadavg): 0.99 0.95 0.95 1/57 12398
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1775811099 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 242 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12398/stat): 12398 (vallst) T 12395 12395 27660 0 -1 0 557 0 0 0 28470 883 0 0 25 0 1 0 1775811106 3338240 527 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/12398/statm): 815 527 413 48 0 767 0
[pid=12398] vsize: 3260
Current children cumulated CPU time (s) 293.55
Current children cumulated vsize (Kb) 5388
[startup+320.037 s]
Raw data (loadavg): 0.99 0.95 0.95 2/57 12398
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1775811099 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 242 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12398/stat): 12398 (vallst) R 12395 12395 27660 0 -1 0 559 0 0 0 29376 914 0 0 25 0 1 0 1775811106 3338240 529 4294967295 134512640 134702520 3221223952 3221223232 134552562 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12398/statm): 815 529 413 48 0 767 0
[pid=12398] vsize: 3260
Current children cumulated CPU time (s) 302.92
Current children cumulated vsize (Kb) 5388
[startup+330.039 s]
Raw data (loadavg): 0.99 0.95 0.95 1/57 12398
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1775811099 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 242 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12398/stat): 12398 (vallst) T 12395 12395 27660 0 -1 0 560 0 0 0 30283 944 0 0 21 0 1 0 1775811106 3338240 530 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/12398/statm): 815 530 413 48 0 767 0
[pid=12398] vsize: 3260
Current children cumulated CPU time (s) 312.29
Current children cumulated vsize (Kb) 5388
[startup+340.039 s]
Raw data (loadavg): 0.99 0.95 0.95 2/57 12398
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1775811099 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 242 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12398/stat): 12398 (vallst) R 12395 12395 27660 0 -1 0 564 0 0 0 31183 976 0 0 25 0 1 0 1775811106 3338240 534 4294967295 134512640 134702520 3221223952 3221223232 134552351 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12398/statm): 815 534 413 48 0 767 0
[pid=12398] vsize: 3260
Current children cumulated CPU time (s) 321.61
Current children cumulated vsize (Kb) 5388
[startup+350.041 s]
Raw data (loadavg): 0.99 0.95 0.95 1/57 12398
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1775811099 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 242 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12398/stat): 12398 (vallst) T 12395 12395 27660 0 -1 0 568 0 0 0 32089 1008 0 0 25 0 1 0 1775811106 3338240 538 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/12398/statm): 815 538 413 48 0 767 0
[pid=12398] vsize: 3260
Current children cumulated CPU time (s) 330.99
Current children cumulated vsize (Kb) 5388
[startup+360.043 s]
Raw data (loadavg): 0.99 0.95 0.95 2/57 12398
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1775811099 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 242 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12398/stat): 12398 (vallst) R 12395 12395 27660 0 -1 0 573 0 0 0 32987 1042 0 0 25 0 1 0 1775811106 3338240 543 4294967295 134512640 134702520 3221223952 3221223232 134553317 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12398/statm): 815 543 413 48 0 767 0
[pid=12398] vsize: 3260
Current children cumulated CPU time (s) 340.31
Current children cumulated vsize (Kb) 5388
[startup+370.044 s]
Raw data (loadavg): 0.99 0.95 0.95 1/57 12398
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1775811099 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 242 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12398/stat): 12398 (vallst) T 12395 12395 27660 0 -1 0 573 0 0 0 33946 1058 0 0 25 0 1 0 1775811106 3338240 543 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/12398/statm): 815 543 413 48 0 767 0
[pid=12398] vsize: 3260
Current children cumulated CPU time (s) 350.06
Current children cumulated vsize (Kb) 5388
[startup+380.045 s]
Raw data (loadavg): 0.99 0.96 0.95 2/57 12398
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1775811099 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 242 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12398/stat): 12398 (vallst) R 12395 12395 27660 0 -1 0 575 0 0 0 34893 1076 0 0 17 0 1 0 1775811106 3338240 545 4294967295 134512640 134702520 3221223952 3221223232 134557196 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12398/statm): 815 545 413 48 0 767 0
[pid=12398] vsize: 3260
Current children cumulated CPU time (s) 359.71
Current children cumulated vsize (Kb) 5388
[startup+390.046 s]
Raw data (loadavg): 0.99 0.96 0.95 1/57 12398
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1775811099 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 242 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12398/stat): 12398 (vallst) T 12395 12395 27660 0 -1 0 577 0 0 0 35791 1112 0 0 25 0 1 0 1775811106 3338240 547 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/12398/statm): 815 547 413 48 0 767 0
[pid=12398] vsize: 3260
Current children cumulated CPU time (s) 369.05
Current children cumulated vsize (Kb) 5388
[startup+400.047 s]
Raw data (loadavg): 0.99 0.96 0.95 2/57 12398
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1775811099 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 242 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12398/stat): 12398 (vallst) R 12395 12395 27660 0 -1 0 578 0 0 0 36702 1143 0 0 25 0 1 0 1775811106 3338240 548 4294967295 134512640 134702520 3221223952 3221223232 134552492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12398/statm): 815 548 413 48 0 767 0
[pid=12398] vsize: 3260
Current children cumulated CPU time (s) 378.47
Current children cumulated vsize (Kb) 5388
[startup+410.048 s]
Raw data (loadavg): 0.99 0.96 0.95 1/57 12398
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1775811099 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 242 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12398/stat): 12398 (vallst) T 12395 12395 27660 0 -1 0 581 0 0 0 37609 1177 0 0 25 0 1 0 1775811106 3473408 551 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/12398/statm): 848 551 413 48 0 800 0
[pid=12398] vsize: 3392
Current children cumulated CPU time (s) 387.88
Current children cumulated vsize (Kb) 5520
[startup+420.049 s]
Raw data (loadavg): 0.99 0.96 0.95 1/57 12398
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1775811099 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 242 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12398/stat): 12398 (vallst) T 12395 12395 27660 0 -1 0 585 0 0 0 38517 1209 0 0 25 0 1 0 1775811106 3473408 555 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/12398/statm): 848 555 413 48 0 800 0
[pid=12398] vsize: 3392
Current children cumulated CPU time (s) 397.28
Current children cumulated vsize (Kb) 5520
[startup+430.05 s]
Raw data (loadavg): 0.99 0.96 0.95 1/57 12398
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1775811099 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 242 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12398/stat): 12398 (vallst) T 12395 12395 27660 0 -1 0 587 0 0 0 39420 1241 0 0 19 0 1 0 1775811106 3473408 557 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/12398/statm): 848 557 413 48 0 800 0
[pid=12398] vsize: 3392
Current children cumulated CPU time (s) 406.63
Current children cumulated vsize (Kb) 5520
[startup+440.051 s]
Raw data (loadavg): 0.99 0.96 0.95 1/57 12398
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1775811099 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 242 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12398/stat): 12398 (vallst) T 12395 12395 27660 0 -1 0 590 0 0 0 40319 1275 0 0 25 0 1 0 1775811106 3473408 560 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/12398/statm): 848 560 413 48 0 800 0
[pid=12398] vsize: 3392
Current children cumulated CPU time (s) 415.96
Current children cumulated vsize (Kb) 5520
[startup+450.052 s]
Raw data (loadavg): 0.99 0.96 0.95 1/57 12398
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1775811099 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 242 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12398/stat): 12398 (vallst) T 12395 12395 27660 0 -1 0 592 0 0 0 41213 1314 0 0 25 0 1 0 1775811106 3473408 562 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/12398/statm): 848 562 413 48 0 800 0
[pid=12398] vsize: 3392
Current children cumulated CPU time (s) 425.29
Current children cumulated vsize (Kb) 5520
[startup+460.054 s]
Raw data (loadavg): 0.99 0.96 0.95 2/57 12398
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1775811099 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 242 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12398/stat): 12398 (vallst) T 12395 12395 27660 0 -1 0 595 0 0 0 42115 1347 0 0 20 0 1 0 1775811106 3473408 565 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/12398/statm): 848 565 413 48 0 800 0
[pid=12398] vsize: 3392
Current children cumulated CPU time (s) 434.64
Current children cumulated vsize (Kb) 5520
[startup+470.055 s]
Raw data (loadavg): 0.99 0.96 0.95 1/57 12398
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1775811099 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 242 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12398/stat): 12398 (vallst) T 12395 12395 27660 0 -1 0 598 0 0 0 43014 1382 0 0 18 0 1 0 1775811106 3473408 568 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/12398/statm): 848 568 413 48 0 800 0
[pid=12398] vsize: 3392
Current children cumulated CPU time (s) 443.98
Current children cumulated vsize (Kb) 5520
[startup+480.055 s]
Raw data (loadavg): 0.99 0.97 0.95 2/57 12398
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1775811099 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 242 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12398/stat): 12398 (vallst) R 12395 12395 27660 0 -1 0 599 0 0 0 43973 1397 0 0 25 0 1 0 1775811106 3473408 569 4294967295 134512640 134702520 3221223952 3221222848 134552502 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12398/statm): 848 569 413 48 0 800 0
[pid=12398] vsize: 3392
Current children cumulated CPU time (s) 453.72
Current children cumulated vsize (Kb) 5520
[startup+490.056 s]
Raw data (loadavg): 0.99 0.97 0.95 2/57 12398
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1775811099 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 242 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12398/stat): 12398 (vallst) R 12395 12395 27660 0 -1 0 599 0 0 0 44922 1415 0 0 25 0 1 0 1775811106 3473408 569 4294967295 134512640 134702520 3221223952 3221223232 134552502 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12398/statm): 848 569 413 48 0 800 0
[pid=12398] vsize: 3392
Current children cumulated CPU time (s) 463.39
Current children cumulated vsize (Kb) 5520
[startup+500.057 s]
Raw data (loadavg): 0.99 0.97 0.95 2/57 12398
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1775811099 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 242 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12398/stat): 12398 (vallst) R 12395 12395 27660 0 -1 0 602 0 0 0 45818 1450 0 0 25 0 1 0 1775811106 3473408 572 4294967295 134512640 134702520 3221223952 3221223232 134552261 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12398/statm): 848 572 413 48 0 800 0
[pid=12398] vsize: 3392
Current children cumulated CPU time (s) 472.7
Current children cumulated vsize (Kb) 5520
[startup+510.058 s]
Raw data (loadavg): 0.99 0.97 0.95 2/57 12398
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1775811099 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 242 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12398/stat): 12398 (vallst) R 12395 12395 27660 0 -1 0 718 0 0 0 46733 1479 0 0 25 0 1 0 1775811106 3964928 688 4294967295 134512640 134702520 3221223952 3221223232 134557201 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12398/statm): 968 688 413 48 0 920 0
[pid=12398] vsize: 3872
Current children cumulated CPU time (s) 482.14
Current children cumulated vsize (Kb) 6000
[startup+520.058 s]
Raw data (loadavg): 0.99 0.97 0.95 2/57 12398
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1775811099 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 242 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12398/stat): 12398 (vallst) R 12395 12395 27660 0 -1 0 941 0 0 0 47650 1509 0 0 25 0 1 0 1775811106 4984832 911 4294967295 134512640 134702520 3221223952 3221223232 134552868 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12398/statm): 1217 911 413 48 0 1169 0
[pid=12398] vsize: 4868
Current children cumulated CPU time (s) 491.61
Current children cumulated vsize (Kb) 6996
[startup+530.06 s]
Raw data (loadavg): 0.99 0.97 0.95 2/57 12398
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1775811099 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 242 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12398/stat): 12398 (vallst) R 12395 12395 27660 0 -1 0 1177 0 0 0 48563 1540 0 0 25 0 1 0 1775811106 5881856 1147 4294967295 134512640 134702520 3221223952 3221223072 134584546 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12398/statm): 1436 1147 413 48 0 1388 0
[pid=12398] vsize: 5744
Current children cumulated CPU time (s) 501.05
Current children cumulated vsize (Kb) 7872
[startup+540.061 s]
Raw data (loadavg): 0.99 0.97 0.95 2/57 12398
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1775811099 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 242 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12398/stat): 12398 (vallst) R 12395 12395 27660 0 -1 0 1392 0 0 0 49476 1571 0 0 25 0 1 0 1775811106 6856704 1362 4294967295 134512640 134702520 3221223952 3221223232 134552509 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12398/statm): 1674 1362 413 48 0 1626 0
[pid=12398] vsize: 6696
Current children cumulated CPU time (s) 510.49
Current children cumulated vsize (Kb) 8824
[startup+550.062 s]
Raw data (loadavg): 0.99 0.97 0.95 2/57 12398
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1775811099 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 242 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12398/stat): 12398 (vallst) R 12395 12395 27660 0 -1 0 1451 0 0 0 50406 1596 0 0 25 0 1 0 1775811106 7028736 1421 4294967295 134512640 134702520 3221223952 3221223232 134552502 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12398/statm): 1716 1421 413 48 0 1668 0
[pid=12398] vsize: 6864
Current children cumulated CPU time (s) 520.04
Current children cumulated vsize (Kb) 8992
[startup+560.063 s]
Raw data (loadavg): 0.99 0.97 0.95 2/57 12398
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1775811099 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 242 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12398/stat): 12398 (vallst) R 12395 12395 27660 0 -1 0 1528 0 0 0 51333 1623 0 0 25 0 1 0 1775811106 7380992 1498 4294967295 134512640 134702520 3221223952 3221223232 134552347 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12398/statm): 1802 1498 413 48 0 1754 0
[pid=12398] vsize: 7208
Current children cumulated CPU time (s) 529.58
Current children cumulated vsize (Kb) 9336
[startup+570.063 s]
Raw data (loadavg): 0.99 0.97 0.95 2/57 12398
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1775811099 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 242 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12398/stat): 12398 (vallst) R 12395 12395 27660 0 -1 0 1700 0 0 0 52261 1648 0 0 25 0 1 0 1775811106 8015872 1670 4294967295 134512640 134702520 3221223952 3221223336 134609894 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12398/statm): 1957 1670 413 48 0 1909 0
[pid=12398] vsize: 7828
Current children cumulated CPU time (s) 539.11
Current children cumulated vsize (Kb) 9956
[startup+580.065 s]
Raw data (loadavg): 0.99 0.97 0.95 2/57 12398
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1775811099 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 242 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12398/stat): 12398 (vallst) R 12395 12395 27660 0 -1 0 1701 0 0 0 53192 1673 0 0 25 0 1 0 1775811106 7958528 1670 4294967295 134512640 134702520 3221223952 3221223232 134552484 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12398/statm): 1943 1670 413 48 0 1895 0
[pid=12398] vsize: 7772
Current children cumulated CPU time (s) 548.67
Current children cumulated vsize (Kb) 9900
[startup+590.066 s]
Raw data (loadavg): 0.99 0.97 0.95 2/57 12398
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1775811099 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 242 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12398/stat): 12398 (vallst) R 12395 12395 27660 0 -1 0 1831 0 0 0 54122 1698 0 0 25 0 1 0 1775811106 8486912 1800 4294967295 134512640 134702520 3221223952 3221223232 134552293 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12398/statm): 2072 1800 413 48 0 2024 0
[pid=12398] vsize: 8288
Current children cumulated CPU time (s) 558.22
Current children cumulated vsize (Kb) 10416
[startup+600.067 s]
Raw data (loadavg): 0.99 0.97 0.95 2/57 12398
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1775811099 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 242 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12398/stat): 12398 (vallst) R 12395 12395 27660 0 -1 0 1986 0 0 0 55052 1724 0 0 25 0 1 0 1775811106 9252864 1955 4294967295 134512640 134702520 3221223952 3221223232 134552492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12398/statm): 2259 1955 413 48 0 2211 0
[pid=12398] vsize: 9036
Current children cumulated CPU time (s) 567.78
Current children cumulated vsize (Kb) 11164
[startup+610.068 s]
Raw data (loadavg): 0.99 0.97 0.95 2/57 12398
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1775811099 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 242 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12398/stat): 12398 (vallst) R 12395 12395 27660 0 -1 0 2135 0 0 0 55987 1747 0 0 25 0 1 0 1775811106 9777152 2104 4294967295 134512640 134702520 3221223952 3221223232 134553317 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12398/statm): 2387 2104 413 48 0 2339 0
[pid=12398] vsize: 9548
Current children cumulated CPU time (s) 577.36
Current children cumulated vsize (Kb) 11676
[startup+620.069 s]
Raw data (loadavg): 0.99 0.97 0.95 2/57 12398
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1775811099 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 242 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12398/stat): 12398 (vallst) R 12395 12395 27660 0 -1 0 2284 0 0 0 56917 1773 0 0 25 0 1 0 1775811106 10379264 2253 4294967295 134512640 134702520 3221223952 3221223344 134603380 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12398/statm): 2534 2253 413 48 0 2486 0
[pid=12398] vsize: 10136
Current children cumulated CPU time (s) 586.92
Current children cumulated vsize (Kb) 12264
[startup+630.07 s]
Raw data (loadavg): 0.99 0.97 0.95 2/57 12398
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1775811099 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 242 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12398/stat): 12398 (vallst) R 12395 12395 27660 0 -1 0 2386 0 0 0 57864 1791 0 0 25 0 1 0 1775811106 10870784 2355 4294967295 134512640 134702520 3221223952 3221222848 134552484 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12398/statm): 2654 2355 413 48 0 2606 0
[pid=12398] vsize: 10616
Current children cumulated CPU time (s) 596.57
Current children cumulated vsize (Kb) 12744
[startup+640.072 s]
Raw data (loadavg): 1.07 0.99 0.96 2/57 12398
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1775811099 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 242 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12398/stat): 12398 (vallst) R 12395 12395 27660 0 -1 0 2387 0 0 0 58802 1812 0 0 25 0 1 0 1775811106 10870784 2356 4294967295 134512640 134702520 3221223952 3221223232 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12398/statm): 2654 2356 413 48 0 2606 0
[pid=12398] vsize: 10616
Current children cumulated CPU time (s) 606.16
Current children cumulated vsize (Kb) 12744
[startup+650.073 s]
Raw data (loadavg): 1.06 0.99 0.96 2/57 12398
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1775811099 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 242 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12398/stat): 12398 (vallst) R 12395 12395 27660 0 -1 0 2388 0 0 0 59739 1836 0 0 25 0 1 0 1775811106 10870784 2357 4294967295 134512640 134702520 3221223952 3221223232 134551042 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12398/statm): 2654 2357 413 48 0 2606 0
[pid=12398] vsize: 10616
Current children cumulated CPU time (s) 615.77
Current children cumulated vsize (Kb) 12744
[startup+660.073 s]
Raw data (loadavg): 1.05 0.99 0.96 1/57 12398
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1775811099 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 242 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12398/stat): 12398 (vallst) T 12395 12395 27660 0 -1 0 2493 0 0 0 60680 1857 0 0 25 0 1 0 1775811106 11325440 2462 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/12398/statm): 2765 2462 413 48 0 2717 0
[pid=12398] vsize: 11060
Current children cumulated CPU time (s) 625.39
Current children cumulated vsize (Kb) 13188
[startup+670.074 s]
Raw data (loadavg): 1.04 0.99 0.96 2/57 12398
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1775811099 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 242 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12398/stat): 12398 (vallst) R 12395 12395 27660 0 -1 0 2496 0 0 0 61624 1877 0 0 25 0 1 0 1775811106 11272192 2465 4294967295 134512640 134702520 3221223952 3221223072 134573276 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12398/statm): 2752 2465 413 48 0 2704 0
[pid=12398] vsize: 11008
Current children cumulated CPU time (s) 635.03
Current children cumulated vsize (Kb) 13136
[startup+680.075 s]
Raw data (loadavg): 1.04 0.99 0.96 2/57 12398
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1775811099 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 242 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12398/stat): 12398 (vallst) R 12395 12395 27660 0 -1 0 2546 0 0 0 62572 1895 0 0 25 0 1 0 1775811106 11407360 2515 4294967295 134512640 134702520 3221223952 3221223232 134553820 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12398/statm): 2785 2515 413 48 0 2737 0
[pid=12398] vsize: 11140
Current children cumulated CPU time (s) 644.69
Current children cumulated vsize (Kb) 13268
[startup+690.076 s]
Raw data (loadavg): 1.03 0.99 0.96 2/57 12398
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1775811099 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 242 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12398/stat): 12398 (vallst) R 12395 12395 27660 0 -1 0 2654 0 0 0 63516 1915 0 0 25 0 1 0 1775811106 11919360 2623 4294967295 134512640 134702520 3221223952 3221223232 134557183 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/12398/statm): 2910 2623 413 48 0 2862 0
[pid=12398] vsize: 11640
Current children cumulated CPU time (s) 654.33
Current children cumulated vsize (Kb) 13768
[startup+700.076 s]
Raw data (loadavg): 1.03 0.99 0.96 2/57 12398
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1775811099 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 242 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12398/stat): 12398 (vallst) R 12395 12395 27660 0 -1 0 2762 0 0 0 64463 1937 0 0 25 0 1 0 1775811106 12324864 2731 4294967295 134512640 134702520 3221223952 3221223224 134553180 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12398/statm): 3009 2731 413 48 0 2961 0
[pid=12398] vsize: 12036
Current children cumulated CPU time (s) 664.02
Current children cumulated vsize (Kb) 14164
[startup+710.078 s]
Raw data (loadavg): 1.02 0.99 0.96 2/57 12398
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1775811099 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 242 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12398/stat): 12398 (vallst) R 12395 12395 27660 0 -1 0 2855 0 0 0 65406 1957 0 0 25 0 1 0 1775811106 12804096 2824 4294967295 134512640 134702520 3221223952 3221223232 134552310 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12398/statm): 3126 2824 413 48 0 3078 0
[pid=12398] vsize: 12504
Current children cumulated CPU time (s) 673.65
Current children cumulated vsize (Kb) 14632
[startup+720.079 s]
Raw data (loadavg): 1.02 0.99 0.96 2/57 12398
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1775811099 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 242 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12398/stat): 12398 (vallst) R 12395 12395 27660 0 -1 0 2938 0 0 0 66354 1975 0 0 25 0 1 0 1775811106 13168640 2907 4294967295 134512640 134702520 3221223952 3221223232 134552254 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12398/statm): 3215 2907 413 48 0 3167 0
[pid=12398] vsize: 12860
Current children cumulated CPU time (s) 683.31
Current children cumulated vsize (Kb) 14988
[startup+730.081 s]
Raw data (loadavg): 1.01 0.99 0.96 1/57 12398
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1775811099 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 242 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12398/stat): 12398 (vallst) T 12395 12395 27660 0 -1 0 3055 0 0 0 67298 1995 0 0 25 0 1 0 1775811106 13631488 3024 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/12398/statm): 3328 3024 413 48 0 3280 0
[pid=12398] vsize: 13312
Current children cumulated CPU time (s) 692.95
Current children cumulated vsize (Kb) 15440
[startup+740.082 s]
Raw data (loadavg): 1.01 0.99 0.96 2/57 12398
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1775811099 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 242 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12398/stat): 12398 (vallst) R 12395 12395 27660 0 -1 0 3145 0 0 0 68246 2014 0 0 25 0 1 0 1775811106 13967360 3114 4294967295 134512640 134702520 3221223952 3221223232 134553305 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12398/statm): 3410 3114 413 48 0 3362 0
[pid=12398] vsize: 13640
Current children cumulated CPU time (s) 702.62
Current children cumulated vsize (Kb) 15768
[startup+750.082 s]
Raw data (loadavg): 1.01 0.99 0.96 2/57 12398
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1775811099 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 242 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12398/stat): 12398 (vallst) R 12395 12395 27660 0 -1 0 3236 0 0 0 69198 2032 0 0 25 0 1 0 1775811106 14422016 3205 4294967295 134512640 134702520 3221223952 3221223232 134551028 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12398/statm): 3521 3205 413 48 0 3473 0
[pid=12398] vsize: 14084
Current children cumulated CPU time (s) 712.32
Current children cumulated vsize (Kb) 16212
[startup+760.083 s]
Raw data (loadavg): 1.01 0.99 0.96 2/57 12398
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1775811099 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 242 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12398/stat): 12398 (vallst) R 12395 12395 27660 0 -1 0 3276 0 0 0 70156 2047 0 0 25 0 1 0 1775811106 14422016 3245 4294967295 134512640 134702520 3221223952 3221222848 134552492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12398/statm): 3521 3245 413 48 0 3473 0
[pid=12398] vsize: 14084
Current children cumulated CPU time (s) 722.05
Current children cumulated vsize (Kb) 16212
[startup+770.084 s]
Raw data (loadavg): 1.01 0.99 0.96 1/57 12398
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1775811099 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 242 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12398/stat): 12398 (vallst) T 12395 12395 27660 0 -1 0 3276 0 0 0 71125 2058 0 0 25 0 1 0 1775811106 14422016 3245 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/12398/statm): 3521 3245 413 48 0 3473 0
[pid=12398] vsize: 14084
Current children cumulated CPU time (s) 731.85
Current children cumulated vsize (Kb) 16212
[startup+780.086 s]
Raw data (loadavg): 1.00 0.99 0.96 1/57 12398
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1775811099 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 242 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12398/stat): 12398 (vallst) T 12395 12395 27660 0 -1 0 3276 0 0 0 72062 2079 0 0 25 0 1 0 1775811106 14422016 3245 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/12398/statm): 3521 3245 413 48 0 3473 0
[pid=12398] vsize: 14084
Current children cumulated CPU time (s) 741.43
Current children cumulated vsize (Kb) 16212
[startup+790.086 s]
Raw data (loadavg): 1.00 0.99 0.96 2/57 12398
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1775811099 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 242 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12398/stat): 12398 (vallst) R 12395 12395 27660 0 -1 0 3276 0 0 0 72991 2101 0 0 25 0 1 0 1775811106 14422016 3245 4294967295 134512640 134702520 3221223952 3221223232 134550752 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12398/statm): 3521 3245 413 48 0 3473 0
[pid=12398] vsize: 14084
Current children cumulated CPU time (s) 750.94
Current children cumulated vsize (Kb) 16212
[startup+800.087 s]
Raw data (loadavg): 1.00 0.99 0.96 1/57 12398
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1775811099 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 242 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12398/stat): 12398 (vallst) T 12395 12395 27660 0 -1 0 3276 0 0 0 73921 2126 0 0 25 0 1 0 1775811106 14422016 3245 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/12398/statm): 3521 3245 413 48 0 3473 0
[pid=12398] vsize: 14084
Current children cumulated CPU time (s) 760.49
Current children cumulated vsize (Kb) 16212
[startup+810.089 s]
Raw data (loadavg): 1.00 0.99 0.96 2/57 12398
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1775811099 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 242 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12398/stat): 12398 (vallst) R 12395 12395 27660 0 -1 0 3276 0 0 0 74854 2146 0 0 25 0 1 0 1775811106 14422016 3245 4294967295 134512640 134702520 3221223952 3221223232 134552509 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12398/statm): 3521 3245 413 48 0 3473 0
[pid=12398] vsize: 14084
Current children cumulated CPU time (s) 770.02
Current children cumulated vsize (Kb) 16212
[startup+820.09 s]
Raw data (loadavg): 1.00 0.99 0.96 1/57 12398
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1775811099 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 242 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12398/stat): 12398 (vallst) T 12395 12395 27660 0 -1 0 3276 0 0 0 75782 2172 0 0 17 0 1 0 1775811106 14422016 3245 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/12398/statm): 3521 3245 413 48 0 3473 0
[pid=12398] vsize: 14084
Current children cumulated CPU time (s) 779.56
Current children cumulated vsize (Kb) 16212
[startup+830.092 s]
Raw data (loadavg): 1.08 1.00 0.96 2/57 12398
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1775811099 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 242 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12398/stat): 12398 (vallst) R 12395 12395 27660 0 -1 0 3276 0 0 0 76690 2205 0 0 25 0 1 0 1775811106 14422016 3245 4294967295 134512640 134702520 3221223952 3221223232 134553294 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12398/statm): 3521 3245 413 48 0 3473 0
[pid=12398] vsize: 14084
Current children cumulated CPU time (s) 788.97
Current children cumulated vsize (Kb) 16212
[startup+840.092 s]
Raw data (loadavg): 1.07 1.00 0.96 1/57 12398
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1775811099 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 242 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12398/stat): 12398 (vallst) T 12395 12395 27660 0 -1 0 3276 0 0 0 77594 2240 0 0 25 0 1 0 1775811106 14422016 3245 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/12398/statm): 3521 3245 413 48 0 3473 0
[pid=12398] vsize: 14084
Current children cumulated CPU time (s) 798.36
Current children cumulated vsize (Kb) 16212
[startup+850.093 s]
Raw data (loadavg): 1.06 1.00 0.96 1/57 12398
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1775811099 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 242 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12398/stat): 12398 (vallst) T 12395 12395 27660 0 -1 0 3276 0 0 0 78505 2271 0 0 25 0 1 0 1775811106 14422016 3245 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/12398/statm): 3521 3245 413 48 0 3473 0
[pid=12398] vsize: 14084
Current children cumulated CPU time (s) 807.78
Current children cumulated vsize (Kb) 16212
[startup+860.094 s]
Raw data (loadavg): 1.05 1.00 0.96 2/57 12398
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1775811099 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 242 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12398/stat): 12398 (vallst) R 12395 12395 27660 0 -1 0 3276 0 0 0 79425 2300 0 0 25 0 1 0 1775811106 14422016 3245 4294967295 134512640 134702520 3221223952 3221223232 134552460 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12398/statm): 3521 3245 413 48 0 3473 0
[pid=12398] vsize: 14084
Current children cumulated CPU time (s) 817.27
Current children cumulated vsize (Kb) 16212
[startup+870.095 s]
Raw data (loadavg): 1.04 1.00 0.96 1/57 12398
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1775811099 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 242 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12398/stat): 12398 (vallst) T 12395 12395 27660 0 -1 0 3276 0 0 0 80330 2335 0 0 25 0 1 0 1775811106 14422016 3245 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/12398/statm): 3521 3245 413 48 0 3473 0
[pid=12398] vsize: 14084
Current children cumulated CPU time (s) 826.67
Current children cumulated vsize (Kb) 16212
[startup+880.096 s]
Raw data (loadavg): 1.03 1.00 0.96 1/57 12398
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1775811099 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 242 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12398/stat): 12398 (vallst) T 12395 12395 27660 0 -1 0 3276 0 0 0 81237 2368 0 0 25 0 1 0 1775811106 14422016 3245 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/12398/statm): 3521 3245 413 48 0 3473 0
[pid=12398] vsize: 14084
Current children cumulated CPU time (s) 836.07
Current children cumulated vsize (Kb) 16212
[startup+890.097 s]
Raw data (loadavg): 1.03 1.00 0.96 2/57 12398
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1775811099 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 242 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12398/stat): 12398 (vallst) R 12395 12395 27660 0 -1 0 3276 0 0 0 82140 2399 0 0 25 0 1 0 1775811106 14422016 3245 4294967295 134512640 134702520 3221223952 3221223232 134552502 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12398/statm): 3521 3245 413 48 0 3473 0
[pid=12398] vsize: 14084
Current children cumulated CPU time (s) 845.41
Current children cumulated vsize (Kb) 16212
[startup+900.098 s]
Raw data (loadavg): 1.02 1.00 0.96 2/57 12398
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1775811099 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 242 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12398/stat): 12398 (vallst) R 12395 12395 27660 0 -1 0 3276 0 0 0 83057 2427 0 0 25 0 1 0 1775811106 14422016 3245 4294967295 134512640 134702520 3221223952 3221223232 134553499 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12398/statm): 3521 3245 413 48 0 3473 0
[pid=12398] vsize: 14084
Current children cumulated CPU time (s) 854.86
Current children cumulated vsize (Kb) 16212
[startup+910.1 s]
Raw data (loadavg): 1.02 1.00 0.96 1/57 12398
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1775811099 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 242 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12398/stat): 12398 (vallst) T 12395 12395 27660 0 -1 0 3276 0 0 0 83957 2459 0 0 19 0 1 0 1775811106 14422016 3245 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/12398/statm): 3521 3245 413 48 0 3473 0
[pid=12398] vsize: 14084
Current children cumulated CPU time (s) 864.18
Current children cumulated vsize (Kb) 16212
[startup+920.101 s]
Raw data (loadavg): 1.02 1.00 0.96 2/57 12398
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1775811099 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 242 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12398/stat): 12398 (vallst) T 12395 12395 27660 0 -1 0 3276 0 0 0 84868 2488 0 0 25 0 1 0 1775811106 14422016 3245 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434789 0 0 17 1 0 0
Raw data (/proc/12398/statm): 3521 3245 413 48 0 3473 0
[pid=12398] vsize: 14084
Current children cumulated CPU time (s) 873.58
Current children cumulated vsize (Kb) 16212
[startup+930.102 s]
Raw data (loadavg): 1.01 1.00 0.96 1/57 12398
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1775811099 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 242 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12398/stat): 12398 (vallst) T 12395 12395 27660 0 -1 0 3276 0 0 0 85776 2520 0 0 22 0 1 0 1775811106 14422016 3245 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/12398/statm): 3521 3245 413 48 0 3473 0
[pid=12398] vsize: 14084
Current children cumulated CPU time (s) 882.98
Current children cumulated vsize (Kb) 16212
[startup+940.103 s]
Raw data (loadavg): 1.01 1.00 0.96 1/57 12398
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1775811099 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 242 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12398/stat): 12398 (vallst) T 12395 12395 27660 0 -1 0 3276 0 0 0 86691 2548 0 0 25 0 1 0 1775811106 14422016 3245 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/12398/statm): 3521 3245 413 48 0 3473 0
[pid=12398] vsize: 14084
Current children cumulated CPU time (s) 892.41
Current children cumulated vsize (Kb) 16212
[startup+950.104 s]
Raw data (loadavg): 1.01 1.00 0.96 2/57 12398
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1775811099 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 242 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12398/stat): 12398 (vallst) R 12395 12395 27660 0 -1 0 3276 0 0 0 87659 2560 0 0 25 0 1 0 1775811106 14422016 3245 4294967295 134512640 134702520 3221223952 3221222848 134552361 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12398/statm): 3521 3245 413 48 0 3473 0
[pid=12398] vsize: 14084
Current children cumulated CPU time (s) 902.21
Current children cumulated vsize (Kb) 16212
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
One traced child (pid=12398) exited with status: 2
New process pid=12399
execve syscall for /usr/bin/head executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libc.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/libc.so.6
open syscall for file /oldhome/oroussel/lib/tls/mmx/libc.so.6
open syscall for file /oldhome/oroussel/lib/tls/libc.so.6
open syscall for file /oldhome/oroussel/lib/i686/mmx/libc.so.6
open syscall for file /oldhome/oroussel/lib/i686/libc.so.6
open syscall for file /oldhome/oroussel/lib/mmx/libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /etc/ld.so.cache
open syscall for file /lib/tls/libc.so.6
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
One traced child (pid=12399) exited with status: 0
New process pid=12400
execve syscall for /oldhome/oroussel/solvers/vallst_0.9.258/vallst executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libm.so.6
open syscall for file tls/i686/libm.so.6
open syscall for file tls/mmx/libm.so.6
open syscall for file tls/libm.so.6
open syscall for file i686/mmx/libm.so.6
open syscall for file i686/libm.so.6
open syscall for file mmx/libm.so.6
open syscall for file libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/libm.so.6
open syscall for file /etc/ld.so.cache
open syscall for file /lib/tls/libm.so.6
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh.model
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
[startup+960.105 s]
Raw data (loadavg): 1.01 1.00 0.96 1/57 12400
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 378 3651 0 0 1 1 88065 2567 16 0 1 0 1775811099 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 248 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12400/stat): 12400 (vallst) T 12395 12395 27660 0 -1 0 268 0 0 0 420 57 0 0 17 0 1 0 1775906546 2297856 238 4294967295 134512640 134702520 3221223712 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/12400/statm): 561 238 413 48 0 513 0
[pid=12400] vsize: 2244
Current children cumulated CPU time (s) 911.11
Current children cumulated vsize (Kb) 4372
[startup+970.106 s]
Raw data (loadavg): 1.08 1.02 0.97 2/57 12400
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 378 3651 0 0 1 1 88065 2567 16 0 1 0 1775811099 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 248 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12400/stat): 12400 (vallst) R 12395 12395 27660 0 -1 0 482 0 0 0 1121 162 0 0 20 0 1 0 1775906546 3043328 452 4294967295 134512640 134702520 3221223712 3221222992 134552866 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12400/statm): 743 452 413 48 0 695 0
[pid=12400] vsize: 2972
Current children cumulated CPU time (s) 919.17
Current children cumulated vsize (Kb) 5100
[startup+980.106 s]
Raw data (loadavg): 1.07 1.02 0.97 1/57 12400
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 378 3651 0 0 1 1 88065 2567 16 0 1 0 1775811099 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 248 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12400/stat): 12400 (vallst) T 12395 12395 27660 0 -1 0 508 0 0 0 1873 244 0 0 21 0 1 0 1775906546 3178496 478 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/12400/statm): 776 478 413 48 0 728 0
[pid=12400] vsize: 3104
Current children cumulated CPU time (s) 927.51
Current children cumulated vsize (Kb) 5232
[startup+990.107 s]
Raw data (loadavg): 1.06 1.01 0.97 1/57 12400
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 378 3651 0 0 1 1 88065 2567 16 0 1 0 1775811099 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 248 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12400/stat): 12400 (vallst) T 12395 12395 27660 0 -1 0 530 0 0 0 2647 323 0 0 19 0 1 0 1775906546 3313664 500 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/12400/statm): 809 500 413 48 0 761 0
[pid=12400] vsize: 3236
Current children cumulated CPU time (s) 936.04
Current children cumulated vsize (Kb) 5364
[startup+1000.11 s]
Raw data (loadavg): 1.05 1.01 0.97 2/57 12400
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 378 3651 0 0 1 1 88065 2567 16 0 1 0 1775811099 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 248 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12400/stat): 12400 (vallst) T 12395 12395 27660 0 -1 0 548 0 0 0 3439 397 0 0 20 0 1 0 1775906546 3313664 518 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/12400/statm): 809 518 413 48 0 761 0
[pid=12400] vsize: 3236
Current children cumulated CPU time (s) 944.7
Current children cumulated vsize (Kb) 5364
[startup+1010.11 s]
Raw data (loadavg): 1.04 1.01 0.97 2/57 12400
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 378 3651 0 0 1 1 88065 2567 16 0 1 0 1775811099 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 248 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12400/stat): 12400 (vallst) R 12395 12395 27660 0 -1 0 554 0 0 0 4198 480 0 0 22 0 1 0 1775906546 3313664 524 4294967295 134512640 134702520 3221223712 3221222992 134552882 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12400/statm): 809 524 413 48 0 761 0
[pid=12400] vsize: 3236
Current children cumulated CPU time (s) 953.12
Current children cumulated vsize (Kb) 5364
[startup+1020.11 s]
Raw data (loadavg): 1.11 1.03 0.97 1/57 12400
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 378 3651 0 0 1 1 88065 2567 16 0 1 0 1775811099 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 248 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12400/stat): 12400 (vallst) T 12395 12395 27660 0 -1 0 555 0 0 0 4917 577 0 0 15 0 1 0 1775906546 3313664 525 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/12400/statm): 809 525 413 48 0 761 0
[pid=12400] vsize: 3236
Current children cumulated CPU time (s) 961.28
Current children cumulated vsize (Kb) 5364
[startup+1030.11 s]
Raw data (loadavg): 1.10 1.03 0.97 1/57 12400
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 378 3651 0 0 1 1 88065 2567 16 0 1 0 1775811099 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 248 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12400/stat): 12400 (vallst) T 12395 12395 27660 0 -1 0 558 0 0 0 5652 671 0 0 16 0 1 0 1775906546 3448832 528 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/12400/statm): 842 528 413 48 0 794 0
[pid=12400] vsize: 3368
Current children cumulated CPU time (s) 969.57
Current children cumulated vsize (Kb) 5496
[startup+1040.11 s]
Raw data (loadavg): 1.08 1.03 0.97 2/57 12400
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 378 3651 0 0 1 1 88065 2567 16 0 1 0 1775811099 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 248 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12400/stat): 12400 (vallst) T 12395 12395 27660 0 -1 0 564 0 0 0 6413 753 0 0 16 0 1 0 1775906546 3448832 534 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434789 0 0 17 1 0 0
Raw data (/proc/12400/statm): 842 534 413 48 0 794 0
[pid=12400] vsize: 3368
Current children cumulated CPU time (s) 978
Current children cumulated vsize (Kb) 5496
[startup+1050.11 s]
Raw data (loadavg): 1.07 1.02 0.97 2/57 12400
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 378 3651 0 0 1 1 88065 2567 16 0 1 0 1775811099 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 248 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12400/stat): 12400 (vallst) R 12395 12395 27660 0 -1 0 568 0 0 0 7164 838 0 0 16 0 1 0 1775906546 3448832 538 4294967295 134512640 134702520 3221223712 3221222832 134586049 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12400/statm): 842 538 413 48 0 794 0
[pid=12400] vsize: 3368
Current children cumulated CPU time (s) 986.36
Current children cumulated vsize (Kb) 5496
[startup+1060.11 s]
Raw data (loadavg): 1.06 1.02 0.97 1/57 12400
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 378 3651 0 0 1 1 88065 2567 16 0 1 0 1775811099 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 248 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12400/stat): 12400 (vallst) T 12395 12395 27660 0 -1 0 572 0 0 0 7952 911 0 0 16 0 1 0 1775906546 3448832 542 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/12400/statm): 842 542 413 48 0 794 0
[pid=12400] vsize: 3368
Current children cumulated CPU time (s) 994.97
Current children cumulated vsize (Kb) 5496
[startup+1070.11 s]
Raw data (loadavg): 1.12 1.04 0.98 1/57 12400
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 378 3651 0 0 1 1 88065 2567 16 0 1 0 1775811099 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 248 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12400/stat): 12400 (vallst) T 12395 12395 27660 0 -1 0 573 0 0 0 8693 1002 0 0 15 0 1 0 1775906546 3448832 543 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/12400/statm): 842 543 413 48 0 794 0
[pid=12400] vsize: 3368
Current children cumulated CPU time (s) 1003.29
Current children cumulated vsize (Kb) 5496
[startup+1080.12 s]
Raw data (loadavg): 1.10 1.04 0.98 2/57 12400
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 378 3651 0 0 1 1 88065 2567 16 0 1 0 1775811099 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 248 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12400/stat): 12400 (vallst) T 12395 12395 27660 0 -1 0 573 0 0 0 9422 1095 0 0 16 0 1 0 1775906546 3448832 543 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434789 0 0 17 1 0 0
Raw data (/proc/12400/statm): 842 543 413 48 0 794 0
[pid=12400] vsize: 3368
Current children cumulated CPU time (s) 1011.51
Current children cumulated vsize (Kb) 5496
[startup+1090.12 s]
Raw data (loadavg): 1.09 1.04 0.98 2/57 12400
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 378 3651 0 0 1 1 88065 2567 16 0 1 0 1775811099 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 248 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12400/stat): 12400 (vallst) R 12395 12395 27660 0 -1 0 577 0 0 0 10203 1169 0 0 16 0 1 0 1775906546 3448832 547 4294967295 134512640 134702520 3221223712 3221222992 134552439 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12400/statm): 842 547 413 48 0 794 0
[pid=12400] vsize: 3368
Current children cumulated CPU time (s) 1020.06
Current children cumulated vsize (Kb) 5496
[startup+1100.12 s]
Raw data (loadavg): 1.07 1.03 0.98 1/57 12400
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 378 3651 0 0 1 1 88065 2567 16 0 1 0 1775811099 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 248 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12400/stat): 12400 (vallst) T 12395 12395 27660 0 -1 0 585 0 0 0 11004 1239 0 0 16 0 1 0 1775906546 3448832 555 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/12400/statm): 842 555 413 48 0 794 0
[pid=12400] vsize: 3368
Current children cumulated CPU time (s) 1028.77
Current children cumulated vsize (Kb) 5496
[startup+1110.12 s]
Raw data (loadavg): 1.06 1.03 0.98 2/57 12400
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 378 3651 0 0 1 1 88065 2567 16 0 1 0 1775811099 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 248 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12400/stat): 12400 (vallst) R 12395 12395 27660 0 -1 0 591 0 0 0 11777 1319 0 0 16 0 1 0 1775906546 3584000 561 4294967295 134512640 134702520 3221223712 3221222992 134553820 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/12400/statm): 875 561 413 48 0 827 0
[pid=12400] vsize: 3500
Current children cumulated CPU time (s) 1037.3
Current children cumulated vsize (Kb) 5628
[startup+1120.12 s]
Raw data (loadavg): 1.05 1.03 0.98 2/57 12400
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 378 3651 0 0 1 1 88065 2567 16 0 1 0 1775811099 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 248 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12400/stat): 12400 (vallst) R 12395 12395 27660 0 -1 0 596 0 0 0 12560 1398 0 0 16 0 1 0 1775906546 3584000 566 4294967295 134512640 134702520 3221223712 3221222992 134552361 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12400/statm): 875 566 413 48 0 827 0
[pid=12400] vsize: 3500
Current children cumulated CPU time (s) 1045.92
Current children cumulated vsize (Kb) 5628
[startup+1130.12 s]
Raw data (loadavg): 1.04 1.03 0.98 1/57 12400
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 378 3651 0 0 1 1 88065 2567 16 0 1 0 1775811099 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 248 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12400/stat): 12400 (vallst) T 12395 12395 27660 0 -1 0 599 0 0 0 13325 1482 0 0 16 0 1 0 1775906546 3584000 569 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/12400/statm): 875 569 413 48 0 827 0
[pid=12400] vsize: 3500
Current children cumulated CPU time (s) 1054.41
Current children cumulated vsize (Kb) 5628
[startup+1140.12 s]
Raw data (loadavg): 1.04 1.03 0.98 1/57 12400
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 378 3651 0 0 1 1 88065 2567 16 0 1 0 1775811099 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 248 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12400/stat): 12400 (vallst) T 12395 12395 27660 0 -1 0 603 0 0 0 14109 1558 0 0 16 0 1 0 1775906546 3584000 573 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/12400/statm): 875 573 413 48 0 827 0
[pid=12400] vsize: 3500
Current children cumulated CPU time (s) 1063.01
Current children cumulated vsize (Kb) 5628
[startup+1150.12 s]
Raw data (loadavg): 1.03 1.03 0.98 1/57 12400
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 378 3651 0 0 1 1 88065 2567 16 0 1 0 1775811099 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 248 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12400/stat): 12400 (vallst) T 12395 12395 27660 0 -1 0 603 0 0 0 14835 1649 0 0 16 0 1 0 1775906546 3584000 573 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/12400/statm): 875 573 413 48 0 827 0
[pid=12400] vsize: 3500
Current children cumulated CPU time (s) 1071.18
Current children cumulated vsize (Kb) 5628
[startup+1160.12 s]
Raw data (loadavg): 1.10 1.04 0.98 1/57 12400
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 378 3651 0 0 1 1 88065 2567 16 0 1 0 1775811099 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 248 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12400/stat): 12400 (vallst) T 12395 12395 27660 0 -1 0 605 0 0 0 15596 1736 0 0 16 0 1 0 1775906546 3584000 575 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/12400/statm): 875 575 413 48 0 827 0
[pid=12400] vsize: 3500
Current children cumulated CPU time (s) 1079.66
Current children cumulated vsize (Kb) 5628
[startup+1170.12 s]
Raw data (loadavg): 1.16 1.06 0.99 2/57 12400
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 378 3651 0 0 1 1 88065 2567 16 0 1 0 1775811099 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 248 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12400/stat): 12400 (vallst) R 12395 12395 27660 0 -1 0 607 0 0 0 16360 1818 0 0 16 0 1 0 1775906546 3584000 577 4294967295 134512640 134702520 3221223712 3221222480 134552343 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12400/statm): 875 577 413 48 0 827 0
[pid=12400] vsize: 3500
Current children cumulated CPU time (s) 1088.12
Current children cumulated vsize (Kb) 5628
[startup+1180.13 s]
Raw data (loadavg): 1.13 1.05 0.99 1/57 12400
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 378 3651 0 0 1 1 88065 2567 16 0 1 0 1775811099 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 248 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12400/stat): 12400 (vallst) T 12395 12395 27660 0 -1 0 611 0 0 0 17145 1893 0 0 16 0 1 0 1775906546 3584000 581 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/12400/statm): 875 581 413 48 0 827 0
[pid=12400] vsize: 3500
Current children cumulated CPU time (s) 1096.72
Current children cumulated vsize (Kb) 5628
[startup+1190.13 s]
Raw data (loadavg): 1.11 1.05 0.99 2/57 12400
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 378 3651 0 0 1 1 88065 2567 16 0 1 0 1775811099 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 248 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12400/stat): 12400 (vallst) R 12395 12395 27660 0 -1 0 614 0 0 0 17926 1970 0 0 16 0 1 0 1775906546 3584000 584 4294967295 134512640 134702520 3221223712 3221222992 134552301 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12400/statm): 875 584 413 48 0 827 0
[pid=12400] vsize: 3500
Current children cumulated CPU time (s) 1105.3
Current children cumulated vsize (Kb) 5628
[startup+1200.13 s]
Raw data (loadavg): 1.09 1.05 0.99 2/57 12400
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 378 3651 0 0 1 1 88065 2567 16 0 1 0 1775811099 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 248 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12400/stat): 12400 (vallst) R 12395 12395 27660 0 -1 0 617 0 0 0 18735 2034 0 0 16 0 1 0 1775906546 3584000 587 4294967295 134512640 134702520 3221223712 3221222992 134552981 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12400/statm): 875 587 413 48 0 827 0
[pid=12400] vsize: 3500
Current children cumulated CPU time (s) 1114.03
Current children cumulated vsize (Kb) 5628
[startup+1210.13 s]
Raw data (loadavg): 1.08 1.05 0.99 1/57 12400
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 378 3651 0 0 1 1 88065 2567 16 0 1 0 1775811099 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 248 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12400/stat): 12400 (vallst) T 12395 12395 27660 0 -1 0 622 0 0 0 19515 2110 0 0 16 0 1 0 1775906546 3584000 592 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/12400/statm): 875 592 413 48 0 827 0
[pid=12400] vsize: 3500
Current children cumulated CPU time (s) 1122.59
Current children cumulated vsize (Kb) 5628
[startup+1220.13 s]
Raw data (loadavg): 1.07 1.05 0.99 1/57 12400
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 378 3651 0 0 1 1 88065 2567 16 0 1 0 1775811099 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 248 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12400/stat): 12400 (vallst) T 12395 12395 27660 0 -1 0 625 0 0 0 20306 2181 0 0 16 0 1 0 1775906546 3719168 595 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/12400/statm): 908 595 413 48 0 860 0
[pid=12400] vsize: 3632
Current children cumulated CPU time (s) 1131.21
Current children cumulated vsize (Kb) 5760
[startup+1230.13 s]
Raw data (loadavg): 1.06 1.04 0.99 2/57 12400
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 378 3651 0 0 1 1 88065 2567 16 0 1 0 1775811099 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 248 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12400/stat): 12400 (vallst) R 12395 12395 27660 0 -1 0 625 0 0 0 21043 2272 0 0 16 0 1 0 1775906546 3719168 595 4294967295 134512640 134702520 3221223712 3221222480 134550784 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12400/statm): 908 595 413 48 0 860 0
[pid=12400] vsize: 3632
Current children cumulated CPU time (s) 1139.49
Current children cumulated vsize (Kb) 5760
[startup+1240.13 s]
Raw data (loadavg): 1.05 1.04 0.99 1/57 12400
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 378 3651 0 0 1 1 88065 2567 16 0 1 0 1775811099 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 248 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12400/stat): 12400 (vallst) T 12395 12395 27660 0 -1 0 626 0 0 0 21779 2363 0 0 16 0 1 0 1775906546 3719168 596 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/12400/statm): 908 596 413 48 0 860 0
[pid=12400] vsize: 3632
Current children cumulated CPU time (s) 1147.76
Current children cumulated vsize (Kb) 5760
[startup+1250.13 s]
Raw data (loadavg): 1.11 1.06 0.99 2/57 12400
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 378 3651 0 0 1 1 88065 2567 16 0 1 0 1775811099 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 248 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12400/stat): 12400 (vallst) T 12395 12395 27660 0 -1 0 627 0 0 0 22562 2438 0 0 16 0 1 0 1775906546 3719168 597 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/12400/statm): 908 597 413 48 0 860 0
[pid=12400] vsize: 3632
Current children cumulated CPU time (s) 1156.34
Current children cumulated vsize (Kb) 5760
[startup+1260.13 s]
Raw data (loadavg): 1.10 1.06 0.99 1/57 12400
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 378 3651 0 0 1 1 88065 2567 16 0 1 0 1775811099 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 248 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12400/stat): 12400 (vallst) T 12395 12395 27660 0 -1 0 631 0 0 0 23347 2515 0 0 16 0 1 0 1775906546 3719168 601 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/12400/statm): 908 601 413 48 0 860 0
[pid=12400] vsize: 3632
Current children cumulated CPU time (s) 1164.96
Current children cumulated vsize (Kb) 5760
[startup+1270.13 s]
Raw data (loadavg): 1.08 1.05 0.99 1/57 12400
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 378 3651 0 0 1 1 88065 2567 16 0 1 0 1775811099 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 248 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12400/stat): 12400 (vallst) T 12395 12395 27660 0 -1 0 633 0 0 0 24129 2589 0 0 16 0 1 0 1775906546 3719168 603 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/12400/statm): 908 603 413 48 0 860 0
[pid=12400] vsize: 3632
Current children cumulated CPU time (s) 1173.52
Current children cumulated vsize (Kb) 5760
[startup+1280.14 s]
Raw data (loadavg): 1.15 1.07 1.00 2/57 12400
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 378 3651 0 0 1 1 88065 2567 16 0 1 0 1775811099 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 248 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12400/stat): 12400 (vallst) R 12395 12395 27660 0 -1 0 634 0 0 0 24900 2669 0 0 16 0 1 0 1775906546 3719168 604 4294967295 134512640 134702520 3221223712 3221222548 134550176 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12400/statm): 908 604 413 48 0 860 0
[pid=12400] vsize: 3632
Current children cumulated CPU time (s) 1182.03
Current children cumulated vsize (Kb) 5760
[startup+1290.14 s]
Raw data (loadavg): 1.12 1.06 1.00 1/57 12400
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 378 3651 0 0 1 1 88065 2567 16 0 1 0 1775811099 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 248 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12400/stat): 12400 (vallst) T 12395 12395 27660 0 -1 0 635 0 0 0 25665 2749 0 0 16 0 1 0 1775906546 3719168 605 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/12400/statm): 908 605 413 48 0 860 0
[pid=12400] vsize: 3632
Current children cumulated CPU time (s) 1190.48
Current children cumulated vsize (Kb) 5760
[startup+1300.14 s]
Raw data (loadavg): 1.10 1.06 1.00 1/57 12400
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 378 3651 0 0 1 1 88065 2567 16 0 1 0 1775811099 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 248 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12400/stat): 12400 (vallst) T 12395 12395 27660 0 -1 0 635 0 0 0 26386 2844 0 0 16 0 1 0 1775906546 3719168 605 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/12400/statm): 908 605 413 48 0 860 0
[pid=12400] vsize: 3632
Current children cumulated CPU time (s) 1198.64
Current children cumulated vsize (Kb) 5760
[startup+1310.14 s]
Raw data (loadavg): 1.09 1.06 1.00 1/57 12400
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 378 3651 0 0 1 1 88065 2567 16 0 1 0 1775811099 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 248 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12400/stat): 12400 (vallst) T 12395 12395 27660 0 -1 0 637 0 0 0 27154 2926 0 0 16 0 1 0 1775906546 3719168 607 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/12400/statm): 908 607 413 48 0 860 0
[pid=12400] vsize: 3632
Current children cumulated CPU time (s) 1207.14
Current children cumulated vsize (Kb) 5760
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1310.14 s]
Raw data (loadavg): 1.09 1.06 1.00 1/57 12400
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 378 3651 0 0 1 1 88065 2567 16 0 1 0 1775811099 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 248 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12400/stat): 12400 (vallst) T 12395 12395 27660 0 -1 0 637 0 0 0 27154 2926 0 0 16 0 1 0 1775906546 3719168 607 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/12400/statm): 908 607 413 48 0 860 0
[pid=12400] vsize: 3632
Current children cumulated CPU time (s) 1207.14
Current children cumulated vsize (Kb) 5760
Sending SIGTERM to -12395
Sleeping 2 seconds
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
New process pid=12402
New process pid=12403
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 /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
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)
One traced child (pid=12400) exited with status: 3
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/15266/stat
open syscall for file /proc/15266/status
open syscall for file /proc/15266/cmdline
open syscall for file /proc/15266/environ
open syscall for file /proc/27911/stat
open syscall for file /proc/27911/status
open syscall for file /proc/27911/cmdline
open syscall for file /proc/27911/environ
open syscall for file /proc/27938/stat
open syscall for file /proc/27938/status
open syscall for file /proc/27938/cmdline
open syscall for file /proc/27938/environ
open syscall for file /proc/27962/stat
open syscall for file /proc/27962/status
open syscall for file /proc/27962/cmdline
open syscall for file /proc/27962/environ
open syscall for file /proc/10488/stat
open syscall for file /proc/10488/status
open syscall for file /proc/10488/cmdline
open syscall for file /proc/10488/environ
open syscall for file /proc/10750/stat
open syscall for file /proc/10750/status
open syscall for file /proc/10750/cmdline
open syscall for file /proc/10750/environ
open syscall for file /proc/30349/stat
open syscall for file /proc/30349/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/30349/cmdline
open syscall for file /proc/30349/environ
open syscall for file /proc/30384/stat
open syscall for file /proc/30384/status
open syscall for file /proc/30384/cmdline
open syscall for file /proc/30384/environ
open syscall for file /proc/27660/stat
open syscall for file /proc/27660/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/27660/cmdline
open syscall for file /proc/27660/environ
open syscall for file /proc/27661/stat
open syscall for file /proc/27661/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/27661/cmdline
open syscall for file /proc/27661/environ
open syscall for file /proc/27670/stat
open syscall for file /proc/27670/status
open syscall for file /proc/27670/cmdline
open syscall for file /proc/27670/environ
open syscall for file /proc/12358/stat
open syscall for file /proc/12358/status
open syscall for file /proc/12358/cmdline
open syscall for file /proc/12358/environ
open syscall for file /proc/12394/stat
open syscall for file /proc/12394/status
open syscall for file /proc/12394/cmdline
open syscall for file /proc/12394/environ
open syscall for file /proc/12395/stat
open syscall for file /proc/12395/status
open syscall for file /proc/12395/cmdline
open syscall for file /proc/12395/environ
open syscall for file /proc/12402/stat
open syscall for file /proc/12402/status
open syscall for file /proc/12402/cmdline
open syscall for file /proc/12402/environ
open syscall for file /proc/12403/stat
open syscall for file /proc/12403/status
open syscall for file /proc/12403/cmdline
open syscall for file /proc/12403/environ
One traced child (pid=12402) exited with status: 0
One traced child (pid=12403) exited with status: 0
New process pid=12404
execve syscall for /bin/sleep executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libm.so.6
open syscall for file tls/i686/libm.so.6
open syscall for file tls/mmx/libm.so.6
open syscall for file tls/libm.so.6
open syscall for file i686/mmx/libm.so.6
open syscall for file i686/libm.so.6
open syscall for file mmx/libm.so.6
open syscall for file libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/libm.so.6
open syscall for file /etc/ld.so.cache
open syscall for file /lib/tls/libm.so.6
open syscall for file tls/i686/mmx/librt.so.1
open syscall for file tls/i686/librt.so.1
open syscall for file tls/mmx/librt.so.1
open syscall for file tls/librt.so.1
open syscall for file i686/mmx/librt.so.1
open syscall for file i686/librt.so.1
open syscall for file mmx/librt.so.1
open syscall for file librt.so.1
open syscall for file /oldhome/oroussel/lib/librt.so.1
open syscall for file /lib/tls/librt.so.1
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file tls/i686/mmx/libpthread.so.0
open syscall for file tls/i686/libpthread.so.0
open syscall for file tls/mmx/libpthread.so.0
open syscall for file tls/libpthread.so.0
open syscall for file i686/mmx/libpthread.so.0
open syscall for file i686/libpthread.so.0
open syscall for file mmx/libpthread.so.0
open syscall for file libpthread.so.0
open syscall for file /oldhome/oroussel/lib/libpthread.so.0
open syscall for file /lib/tls/libpthread.so.0
One traced child (pid=12404) exited with status: 0
New process pid=12405
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=12405) exited with status: 0
One traced child (pid=12395) 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): 1310.64
CPU time (s): 1207.32
CPU user time (s): 1152.29
CPU system time (s): 55.0326
CPU usage (%): 92.1166
Max. virtual memory (cumulated for all children) (Kb): 16212