1:
seed: 0
Nr of vars set: 0 (#equs: 0)
Nr of vars set: 26 (#equs: 0)
#decisions: 78; #end-nodes: 6;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 6 / 80 (80)
#axs: 248, #non-axs: 3
tight: meta-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: 1069278206 (1078205440:>=*);
#decisions: 78; #end-nodes: 3;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 3 / 80 (80)
#axs: 248, #non-axs: 3
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 1069355006 (1078128640:>=*);
#decisions: 91; #end-nodes: 7;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 7 / 80 (80)
#axs: 248, #non-axs: 5
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 1069431806 (1078051840:>=*);
#decisions: 93; #end-nodes: 14;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 14 / 80 (80)
#axs: 248, #non-axs: 5
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 1069508606 (1077975040:>=*);
#decisions: 76; #end-nodes: 8;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 8 / 80 (80)
#axs: 248, #non-axs: 5
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 1069585406 (1077898240:>=*);
#decisions: 80; #end-nodes: 13;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 13 / 80 (80)
#axs: 248, #non-axs: 5
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 1069662206 (1077821440:>=*);
#decisions: 102; #end-nodes: 35;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 35 / 80 (80)
#axs: 248, #non-axs: 5
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 1069739006 (1077744640:>=*);
#decisions: 119; #end-nodes: 44;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 44 / 80 (80)
#axs: 248, #non-axs: 5
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 1069769726 (1077713920:>=*);
#decisions: 182; #end-nodes: 71;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 71 / 80 (80)
#axs: 248, #non-axs: 6
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 1069846526 (1077637120:>=*);
#decisions: 146; #end-nodes: 78;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 78 / 81 (80)
#axs: 248, #non-axs: 21
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 1069882366 (1077601280:>=*);
#decisions: 56; #end-nodes: 6;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 6 / 80 (80)
#axs: 248, #non-axs: 21
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 1069959166 (1077524480:>=*);
#decisions: 469; #end-nodes: 202;
#proof improvement attempts: 0; #restarts: 1
Current batch, end-nodes: 122 / 185 (80)
#axs: 248, #non-axs: 106
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 1070174206 (1077309440:>=*);
#decisions: 62; #end-nodes: 36;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 36 / 80 (80)
#axs: 248, #non-axs: 115
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 1070286846 (1077196800:>=*);
#decisions: 506; #end-nodes: 269;
#proof improvement attempts: 0; #restarts: 2
Current batch, end-nodes: 65 / 107 (80)
#axs: 248, #non-axs: 252
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 1070348286 (1077135360:>=*);
#decisions: 48; #end-nodes: 14;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 14 / 80 (80)
#axs: 248, #non-axs: 254
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 1070425086 (1077058560:>=*);
#decisions: 116; #end-nodes: 42;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 42 / 80 (80)
#axs: 248, #non-axs: 258
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 1070501886 (1076981760:>=*);
#decisions: 23; #end-nodes: 4;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 4 / 80 (80)
#axs: 248, #non-axs: 258
tight: meta-meta: start: 6, end: 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: 4279; #end-nodes: 2486;
#proof improvement attempts: 0; #restarts: 3
Current batch, end-nodes: 686 / 939 (80)
#axs: 248, #non-axs: 1400
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 1070609406 (1076874240:>=*);
#decisions: 1966; #end-nodes: 1161;
#proof improvement attempts: 0; #restarts: 5
Current batch, end-nodes: 127 / 135 (81)
#axs: 248, #non-axs: 1776
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 1070635006 (1076848640:>=*);
#decisions: 3462; #end-nodes: 1909;
#proof improvement attempts: 0; #restarts: 6
Current batch, end-nodes: 563 / 655 (81)
#axs: 248, #non-axs: 2502
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 1070696446 (1076787200:>=*);
#decisions: 9856; #end-nodes: 5602;
#proof improvement attempts: 0; #restarts: 26
Current batch, end-nodes: 41 / 95 (86)
#axs: 248, #non-axs: 4375
tight: meta-meta: start: 6, end: 9; meta: start: 11, end (keep): 21
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 1070732286 (1076751360:>=*);
#decisions: 2156; #end-nodes: 1186;
#proof improvement attempts: 0; #restarts: 9
Current batch, end-nodes: 231 / 505 (82)
#axs: 248, #non-axs: 4731
tight: meta-meta: start: 6, end: 9; meta: start: 11, end (keep): 21
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 1070768126 (1076715520:>=*);
#decisions: 12684; #end-nodes: 7407;
#proof improvement attempts: 0; #restarts: 25
Current batch, end-nodes: 963 / 1160 (86)
#axs: 248, #non-axs: 6629
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: 1070773246 (1076710400:>=*);
#decisions: 1671; #end-nodes: 807;
#proof improvement attempts: 0; #restarts: 5
Current batch, end-nodes: 57 / 88 (81)
#axs: 248, #non-axs: 6873
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: 1070778366 (1076705280:>=*);
#decisions: 147882; #end-nodes: 91874;
#proof improvement attempts: 0; #restarts: 253
Current batch, end-nodes: 513 / 700 (143)
#axs: 248, #non-axs: 2064
tight: meta-meta: start: 4, end: 5; 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: 1209236; #end-nodes: 877338;
#proof improvement attempts: 0; #restarts: 672
Current batch, end-nodes: 0 / 7355 (247)
#axs: 248, #non-axs: 3267
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): 43
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, 3 sec
2:
seed: 0
Nr of vars set: 30 (#equs: 0)
Nr of vars set: 30 (#equs: 0)
Interupt request received.
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: 30 (#equs: 0)
Time taken: 5 min, 2 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/12707/stat): 12707 (vallstSAT2005PB) R 12706 12707 27660 0 -1 0 19 0 0 0 0 0 0 0 21 0 1 0 1775944276 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12707/statm): 174 3 169 147 0 27 0
[pid=12707] 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=12708
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=12708) exited with status: 0
New process pid=12709
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=12709) exited with status: 0
New process pid=12710
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.004 s]
Raw data (loadavg): 0.81 0.99 0.98 2/57 12710
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1775944276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 242 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12710/stat): 12710 (vallst) R 12707 12707 27660 0 -1 0 219 0 0 0 947 17 0 0 25 0 1 0 1775944283 2007040 189 4294967295 134512640 134702520 3221223952 3221223088 134552351 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12710/statm): 490 189 413 48 0 442 0
[pid=12710] vsize: 1960
Current children cumulated CPU time (s) 9.66
Current children cumulated vsize (Kb) 4088
[startup+20.0048 s]
Raw data (loadavg): 0.84 0.99 0.98 2/57 12710
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1775944276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 242 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12710/stat): 12710 (vallst) R 12707 12707 27660 0 -1 0 386 0 0 0 1881 39 0 0 25 0 1 0 1775944283 2727936 356 4294967295 134512640 134702520 3221223952 3221223232 134557183 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12710/statm): 666 356 413 48 0 618 0
[pid=12710] vsize: 2664
Current children cumulated CPU time (s) 19.22
Current children cumulated vsize (Kb) 4792
[startup+30.0066 s]
Raw data (loadavg): 0.86 0.99 0.98 2/57 12710
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1775944276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 242 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12710/stat): 12710 (vallst) R 12707 12707 27660 0 -1 0 482 0 0 0 2776 73 0 0 25 0 1 0 1775944283 3051520 452 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12710/statm): 745 452 413 48 0 697 0
[pid=12710] vsize: 2980
Current children cumulated CPU time (s) 28.51
Current children cumulated vsize (Kb) 5108
[startup+40.0074 s]
Raw data (loadavg): 0.89 0.99 0.98 1/57 12710
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1775944276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 242 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12710/stat): 12710 (vallst) T 12707 12707 27660 0 -1 0 511 0 0 0 3683 106 0 0 23 0 1 0 1775944283 3219456 481 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/12710/statm): 786 481 413 48 0 738 0
[pid=12710] vsize: 3144
Current children cumulated CPU time (s) 37.91
Current children cumulated vsize (Kb) 5272
[startup+50.0092 s]
Raw data (loadavg): 0.90 0.99 0.98 2/57 12710
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1775944276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 242 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12710/stat): 12710 (vallst) R 12707 12707 27660 0 -1 0 528 0 0 0 4587 142 0 0 25 0 1 0 1775944283 3219456 498 4294967295 134512640 134702520 3221223952 3221223232 134552502 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12710/statm): 786 498 413 48 0 738 0
[pid=12710] vsize: 3144
Current children cumulated CPU time (s) 47.31
Current children cumulated vsize (Kb) 5272
[startup+60.01 s]
Raw data (loadavg): 0.92 0.99 0.98 2/57 12710
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1775944276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 242 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12710/stat): 12710 (vallst) R 12707 12707 27660 0 -1 0 532 0 0 0 5502 171 0 0 25 0 1 0 1775944283 3219456 502 4294967295 134512640 134702520 3221223952 3221222848 134552263 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12710/statm): 786 502 413 48 0 738 0
[pid=12710] vsize: 3144
Current children cumulated CPU time (s) 56.75
Current children cumulated vsize (Kb) 5272
[startup+70.0107 s]
Raw data (loadavg): 0.93 0.99 0.98 2/57 12710
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1775944276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 242 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12710/stat): 12710 (vallst) R 12707 12707 27660 0 -1 0 532 0 0 0 6461 184 0 0 25 0 1 0 1775944283 3219456 502 4294967295 134512640 134702520 3221223952 3221222848 134552492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12710/statm): 786 502 413 48 0 738 0
[pid=12710] vsize: 3144
Current children cumulated CPU time (s) 66.47
Current children cumulated vsize (Kb) 5272
[startup+80.0115 s]
Raw data (loadavg): 0.94 0.99 0.98 2/57 12710
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1775944276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 242 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12710/stat): 12710 (vallst) R 12707 12707 27660 0 -1 0 532 0 0 0 7396 205 0 0 25 0 1 0 1775944283 3219456 502 4294967295 134512640 134702520 3221223952 3221222848 134552460 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12710/statm): 786 502 413 48 0 738 0
[pid=12710] vsize: 3144
Current children cumulated CPU time (s) 76.03
Current children cumulated vsize (Kb) 5272
[startup+90.0123 s]
Raw data (loadavg): 0.95 0.99 0.98 2/57 12710
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1775944276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 242 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12710/stat): 12710 (vallst) T 12707 12707 27660 0 -1 0 532 0 0 0 8302 237 0 0 25 0 1 0 1775944283 3219456 502 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/12710/statm): 786 502 413 48 0 738 0
[pid=12710] vsize: 3144
Current children cumulated CPU time (s) 85.41
Current children cumulated vsize (Kb) 5272
[startup+100.013 s]
Raw data (loadavg): 0.96 0.99 0.98 2/57 12710
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1775944276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 242 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12710/stat): 12710 (vallst) T 12707 12707 27660 0 -1 0 532 0 0 0 9209 267 0 0 19 0 1 0 1775944283 3219456 502 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/12710/statm): 786 502 413 48 0 738 0
[pid=12710] vsize: 3144
Current children cumulated CPU time (s) 94.78
Current children cumulated vsize (Kb) 5272
[startup+110.014 s]
Raw data (loadavg): 0.96 0.99 0.98 2/57 12710
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1775944276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 242 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12710/stat): 12710 (vallst) R 12707 12707 27660 0 -1 0 532 0 0 0 10141 290 0 0 25 0 1 0 1775944283 3219456 502 4294967295 134512640 134702520 3221223952 3221222848 134552486 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12710/statm): 786 502 413 48 0 738 0
[pid=12710] vsize: 3144
Current children cumulated CPU time (s) 104.33
Current children cumulated vsize (Kb) 5272
[startup+120.015 s]
Raw data (loadavg): 0.97 0.99 0.98 2/57 12710
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1775944276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 242 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12710/stat): 12710 (vallst) R 12707 12707 27660 0 -1 0 532 0 0 0 11103 302 0 0 25 0 1 0 1775944283 3219456 502 4294967295 134512640 134702520 3221223952 3221222848 134553294 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12710/statm): 786 502 413 48 0 738 0
[pid=12710] vsize: 3144
Current children cumulated CPU time (s) 114.07
Current children cumulated vsize (Kb) 5272
[startup+130.015 s]
Raw data (loadavg): 0.97 0.99 0.98 2/57 12710
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1775944276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 242 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12710/stat): 12710 (vallst) R 12707 12707 27660 0 -1 0 534 0 0 0 12011 334 0 0 25 0 1 0 1775944283 3219456 504 4294967295 134512640 134702520 3221223952 3221223072 134573708 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12710/statm): 786 504 413 48 0 738 0
[pid=12710] vsize: 3144
Current children cumulated CPU time (s) 123.47
Current children cumulated vsize (Kb) 5272
[startup+140.016 s]
Raw data (loadavg): 1.05 1.01 0.98 2/57 12710
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1775944276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 242 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12710/stat): 12710 (vallst) R 12707 12707 27660 0 -1 0 534 0 0 0 12912 369 0 0 24 0 1 0 1775944283 3219456 504 4294967295 134512640 134702520 3221223952 3221222848 134553277 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12710/statm): 786 504 413 48 0 738 0
[pid=12710] vsize: 3144
Current children cumulated CPU time (s) 132.83
Current children cumulated vsize (Kb) 5272
[startup+150.018 s]
Raw data (loadavg): 1.04 1.00 0.98 1/57 12710
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1775944276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 242 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12710/stat): 12710 (vallst) T 12707 12707 27660 0 -1 0 534 0 0 0 13806 403 0 0 25 0 1 0 1775944283 3219456 504 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/12710/statm): 786 504 413 48 0 738 0
[pid=12710] vsize: 3144
Current children cumulated CPU time (s) 142.11
Current children cumulated vsize (Kb) 5272
[startup+160.019 s]
Raw data (loadavg): 1.03 1.00 0.98 1/57 12710
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1775944276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 242 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12710/stat): 12710 (vallst) T 12707 12707 27660 0 -1 0 534 0 0 0 14711 436 0 0 25 0 1 0 1775944283 3219456 504 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/12710/statm): 786 504 413 48 0 738 0
[pid=12710] vsize: 3144
Current children cumulated CPU time (s) 151.49
Current children cumulated vsize (Kb) 5272
[startup+170.018 s]
Raw data (loadavg): 1.03 1.00 0.98 1/57 12710
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1775944276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 242 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12710/stat): 12710 (vallst) T 12707 12707 27660 0 -1 0 534 0 0 0 15624 467 0 0 25 0 1 0 1775944283 3219456 504 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/12710/statm): 786 504 413 48 0 738 0
[pid=12710] vsize: 3144
Current children cumulated CPU time (s) 160.93
Current children cumulated vsize (Kb) 5272
[startup+180.02 s]
Raw data (loadavg): 1.02 1.00 0.98 2/57 12710
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1775944276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 242 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12710/stat): 12710 (vallst) T 12707 12707 27660 0 -1 0 534 0 0 0 16562 489 0 0 25 0 1 0 1775944283 3219456 504 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/12710/statm): 786 504 413 48 0 738 0
[pid=12710] vsize: 3144
Current children cumulated CPU time (s) 170.53
Current children cumulated vsize (Kb) 5272
[startup+190.02 s]
Raw data (loadavg): 1.02 1.00 0.98 2/57 12710
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1775944276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 242 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12710/stat): 12710 (vallst) R 12707 12707 27660 0 -1 0 534 0 0 0 17522 502 0 0 25 0 1 0 1775944283 3219456 504 4294967295 134512640 134702520 3221223952 3221222848 134552222 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12710/statm): 786 504 413 48 0 738 0
[pid=12710] vsize: 3144
Current children cumulated CPU time (s) 180.26
Current children cumulated vsize (Kb) 5272
[startup+200.021 s]
Raw data (loadavg): 1.02 1.00 0.98 2/57 12710
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1775944276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 242 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12710/stat): 12710 (vallst) R 12707 12707 27660 0 -1 0 534 0 0 0 18434 532 0 0 25 0 1 0 1775944283 3219456 504 4294967295 134512640 134702520 3221223952 3221223232 134552759 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12710/statm): 786 504 413 48 0 738 0
[pid=12710] vsize: 3144
Current children cumulated CPU time (s) 189.68
Current children cumulated vsize (Kb) 5272
[startup+210.022 s]
Raw data (loadavg): 1.01 1.00 0.98 1/57 12710
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1775944276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 242 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12710/stat): 12710 (vallst) T 12707 12707 27660 0 -1 0 534 0 0 0 19333 564 0 0 21 0 1 0 1775944283 3219456 504 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/12710/statm): 786 504 413 48 0 738 0
[pid=12710] vsize: 3144
Current children cumulated CPU time (s) 198.99
Current children cumulated vsize (Kb) 5272
[startup+220.021 s]
Raw data (loadavg): 1.01 1.00 0.98 2/57 12710
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1775944276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 242 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12710/stat): 12710 (vallst) T 12707 12707 27660 0 -1 0 534 0 0 0 20245 593 0 0 25 0 1 0 1775944283 3219456 504 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/12710/statm): 786 504 413 48 0 738 0
[pid=12710] vsize: 3144
Current children cumulated CPU time (s) 208.4
Current children cumulated vsize (Kb) 5272
[startup+230.022 s]
Raw data (loadavg): 1.01 1.00 0.98 2/57 12710
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1775944276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 242 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12710/stat): 12710 (vallst) R 12707 12707 27660 0 -1 0 534 0 0 0 21186 612 0 0 25 0 1 0 1775944283 3219456 504 4294967295 134512640 134702520 3221223952 3221222848 134554263 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12710/statm): 786 504 413 48 0 738 0
[pid=12710] vsize: 3144
Current children cumulated CPU time (s) 218
Current children cumulated vsize (Kb) 5272
[startup+240.023 s]
Raw data (loadavg): 1.01 1.00 0.98 2/57 12710
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1775944276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 242 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12710/stat): 12710 (vallst) R 12707 12707 27660 0 -1 0 534 0 0 0 22151 624 0 0 25 0 1 0 1775944283 3219456 504 4294967295 134512640 134702520 3221223952 3221222848 134553489 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12710/statm): 786 504 413 48 0 738 0
[pid=12710] vsize: 3144
Current children cumulated CPU time (s) 227.77
Current children cumulated vsize (Kb) 5272
[startup+250.024 s]
Raw data (loadavg): 1.01 1.00 0.98 2/57 12710
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1775944276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 242 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12710/stat): 12710 (vallst) R 12707 12707 27660 0 -1 0 534 0 0 0 23056 658 0 0 25 0 1 0 1775944283 3219456 504 4294967295 134512640 134702520 3221223952 3221223232 134552345 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12710/statm): 786 504 413 48 0 738 0
[pid=12710] vsize: 3144
Current children cumulated CPU time (s) 237.16
Current children cumulated vsize (Kb) 5272
[startup+260.025 s]
Raw data (loadavg): 1.00 1.00 0.98 2/57 12710
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1775944276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 242 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12710/stat): 12710 (vallst) R 12707 12707 27660 0 -1 0 539 0 0 0 23969 689 0 0 25 0 1 0 1775944283 3219456 509 4294967295 134512640 134702520 3221223952 3221223232 134552502 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12710/statm): 786 509 413 48 0 738 0
[pid=12710] vsize: 3144
Current children cumulated CPU time (s) 246.6
Current children cumulated vsize (Kb) 5272
[startup+270.025 s]
Raw data (loadavg): 1.00 1.00 0.98 2/57 12710
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1775944276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 242 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12710/stat): 12710 (vallst) R 12707 12707 27660 0 -1 0 544 0 0 0 24868 726 0 0 25 0 1 0 1775944283 3219456 514 4294967295 134512640 134702520 3221223952 3221223232 134552261 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12710/statm): 786 514 413 48 0 738 0
[pid=12710] vsize: 3144
Current children cumulated CPU time (s) 255.96
Current children cumulated vsize (Kb) 5272
[startup+280.026 s]
Raw data (loadavg): 1.00 1.00 0.98 2/57 12710
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1775944276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 242 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12710/stat): 12710 (vallst) R 12707 12707 27660 0 -1 0 549 0 0 0 25780 756 0 0 25 0 1 0 1775944283 3219456 519 4294967295 134512640 134702520 3221223952 3221222816 134564346 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12710/statm): 786 519 413 48 0 738 0
[pid=12710] vsize: 3144
Current children cumulated CPU time (s) 265.38
Current children cumulated vsize (Kb) 5272
[startup+290.027 s]
Raw data (loadavg): 1.00 1.00 0.98 2/57 12710
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1775944276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 242 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12710/stat): 12710 (vallst) R 12707 12707 27660 0 -1 0 551 0 0 0 26676 793 0 0 24 0 1 0 1775944283 3354624 521 4294967295 134512640 134702520 3221223952 3221223072 134584604 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12710/statm): 819 521 413 48 0 771 0
[pid=12710] vsize: 3276
Current children cumulated CPU time (s) 274.71
Current children cumulated vsize (Kb) 5404
[startup+300.029 s]
Raw data (loadavg): 1.00 1.00 0.98 2/57 12710
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1775944276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 242 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12710/stat): 12710 (vallst) R 12707 12707 27660 0 -1 0 554 0 0 0 27580 825 0 0 25 0 1 0 1775944283 3354624 524 4294967295 134512640 134702520 3221223952 3221222848 134553273 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12710/statm): 819 524 413 48 0 771 0
[pid=12710] vsize: 3276
Current children cumulated CPU time (s) 284.07
Current children cumulated vsize (Kb) 5404
[startup+310.029 s]
Raw data (loadavg): 1.00 1.00 0.98 2/57 12710
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1775944276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 242 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12710/stat): 12710 (vallst) R 12707 12707 27660 0 -1 0 558 0 0 0 28505 851 0 0 25 0 1 0 1775944283 3354624 528 4294967295 134512640 134702520 3221223952 3221222848 134552266 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12710/statm): 819 528 413 48 0 771 0
[pid=12710] vsize: 3276
Current children cumulated CPU time (s) 293.58
Current children cumulated vsize (Kb) 5404
[startup+320.03 s]
Raw data (loadavg): 1.00 1.00 0.98 2/57 12710
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1775944276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 242 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12710/stat): 12710 (vallst) R 12707 12707 27660 0 -1 0 558 0 0 0 29468 864 0 0 25 0 1 0 1775944283 3354624 528 4294967295 134512640 134702520 3221223952 3221222848 134552266 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/12710/statm): 819 528 413 48 0 771 0
[pid=12710] vsize: 3276
Current children cumulated CPU time (s) 303.34
Current children cumulated vsize (Kb) 5404
[startup+330.031 s]
Raw data (loadavg): 1.00 1.00 0.98 1/57 12710
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1775944276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 242 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12710/stat): 12710 (vallst) T 12707 12707 27660 0 -1 0 561 0 0 0 30384 894 0 0 25 0 1 0 1775944283 3354624 531 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/12710/statm): 819 531 413 48 0 771 0
[pid=12710] vsize: 3276
Current children cumulated CPU time (s) 312.8
Current children cumulated vsize (Kb) 5404
[startup+340.032 s]
Raw data (loadavg): 1.00 1.00 0.98 2/57 12710
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1775944276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 242 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12710/stat): 12710 (vallst) R 12707 12707 27660 0 -1 0 564 0 0 0 31290 926 0 0 25 0 1 0 1775944283 3354624 534 4294967295 134512640 134702520 3221223952 3221223232 134552502 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12710/statm): 819 534 413 48 0 771 0
[pid=12710] vsize: 3276
Current children cumulated CPU time (s) 322.18
Current children cumulated vsize (Kb) 5404
[startup+350.034 s]
Raw data (loadavg): 1.00 1.00 0.98 2/57 12710
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1775944276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 242 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12710/stat): 12710 (vallst) R 12707 12707 27660 0 -1 0 564 0 0 0 32202 954 0 0 25 0 1 0 1775944283 3354624 534 4294967295 134512640 134702520 3221223952 3221223232 134552492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12710/statm): 819 534 413 48 0 771 0
[pid=12710] vsize: 3276
Current children cumulated CPU time (s) 331.58
Current children cumulated vsize (Kb) 5404
[startup+360.034 s]
Raw data (loadavg): 1.00 1.00 0.98 1/57 12710
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1775944276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 242 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12710/stat): 12710 (vallst) T 12707 12707 27660 0 -1 0 571 0 0 0 33098 992 0 0 17 0 1 0 1775944283 3354624 541 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/12710/statm): 819 541 413 48 0 771 0
[pid=12710] vsize: 3276
Current children cumulated CPU time (s) 340.92
Current children cumulated vsize (Kb) 5404
[startup+370.035 s]
Raw data (loadavg): 1.00 1.00 0.98 2/57 12710
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1775944276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 242 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12710/stat): 12710 (vallst) T 12707 12707 27660 0 -1 0 572 0 0 0 34003 1025 0 0 25 0 1 0 1775944283 3354624 542 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/12710/statm): 819 542 413 48 0 771 0
[pid=12710] vsize: 3276
Current children cumulated CPU time (s) 350.3
Current children cumulated vsize (Kb) 5404
[startup+380.036 s]
Raw data (loadavg): 1.00 1.00 0.98 2/57 12710
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1775944276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 242 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12710/stat): 12710 (vallst) R 12707 12707 27660 0 -1 0 575 0 0 0 34921 1052 0 0 22 0 1 0 1775944283 3354624 545 4294967295 134512640 134702520 3221223952 3221223232 134553512 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12710/statm): 819 545 413 48 0 771 0
[pid=12710] vsize: 3276
Current children cumulated CPU time (s) 359.75
Current children cumulated vsize (Kb) 5404
[startup+390.037 s]
Raw data (loadavg): 1.00 1.00 0.98 2/57 12710
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1775944276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 242 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12710/stat): 12710 (vallst) R 12707 12707 27660 0 -1 0 580 0 0 0 35819 1087 0 0 25 0 1 0 1775944283 3354624 550 4294967295 134512640 134702520 3221223952 3221223232 134552569 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12710/statm): 819 550 413 48 0 771 0
[pid=12710] vsize: 3276
Current children cumulated CPU time (s) 369.08
Current children cumulated vsize (Kb) 5404
[startup+400.038 s]
Raw data (loadavg): 1.00 1.00 0.98 2/57 12710
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1775944276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 242 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12710/stat): 12710 (vallst) R 12707 12707 27660 0 -1 0 581 0 0 0 36756 1108 0 0 25 0 1 0 1775944283 3354624 551 4294967295 134512640 134702520 3221223952 3221222848 134554352 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12710/statm): 819 551 413 48 0 771 0
[pid=12710] vsize: 3276
Current children cumulated CPU time (s) 378.66
Current children cumulated vsize (Kb) 5404
[startup+410.039 s]
Raw data (loadavg): 1.00 1.00 0.98 2/57 12710
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1775944276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 242 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12710/stat): 12710 (vallst) R 12707 12707 27660 0 -1 0 581 0 0 0 37718 1122 0 0 25 0 1 0 1775944283 3354624 551 4294967295 134512640 134702520 3221223952 3221222848 134552492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12710/statm): 819 551 413 48 0 771 0
[pid=12710] vsize: 3276
Current children cumulated CPU time (s) 388.42
Current children cumulated vsize (Kb) 5404
[startup+420.039 s]
Raw data (loadavg): 1.00 1.00 0.98 2/57 12710
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1775944276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 242 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12710/stat): 12710 (vallst) R 12707 12707 27660 0 -1 0 582 0 0 0 38619 1157 0 0 25 0 1 0 1775944283 3354624 552 4294967295 134512640 134702520 3221223952 3221223232 134552293 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12710/statm): 819 552 413 48 0 771 0
[pid=12710] vsize: 3276
Current children cumulated CPU time (s) 397.78
Current children cumulated vsize (Kb) 5404
[startup+430.041 s]
Raw data (loadavg): 1.00 1.00 0.98 2/57 12710
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1775944276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 242 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12710/stat): 12710 (vallst) R 12707 12707 27660 0 -1 0 589 0 0 0 39518 1189 0 0 25 0 1 0 1775944283 3489792 559 4294967295 134512640 134702520 3221223952 3221223232 134552550 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12710/statm): 852 559 413 48 0 804 0
[pid=12710] vsize: 3408
Current children cumulated CPU time (s) 407.09
Current children cumulated vsize (Kb) 5536
[startup+440.042 s]
Raw data (loadavg): 1.00 1.00 0.98 2/57 12710
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1775944276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 242 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12710/stat): 12710 (vallst) T 12707 12707 27660 0 -1 0 590 0 0 0 40421 1221 0 0 25 0 1 0 1775944283 3489792 560 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/12710/statm): 852 560 413 48 0 804 0
[pid=12710] vsize: 3408
Current children cumulated CPU time (s) 416.44
Current children cumulated vsize (Kb) 5536
[startup+450.042 s]
Raw data (loadavg): 1.00 1.00 0.98 2/57 12710
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1775944276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 242 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12710/stat): 12710 (vallst) R 12707 12707 27660 0 -1 0 591 0 0 0 41324 1256 0 0 25 0 1 0 1775944283 3489792 561 4294967295 134512640 134702520 3221223952 3221223232 134554270 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12710/statm): 852 561 413 48 0 804 0
[pid=12710] vsize: 3408
Current children cumulated CPU time (s) 425.82
Current children cumulated vsize (Kb) 5536
[startup+460.043 s]
Raw data (loadavg): 1.00 1.00 0.98 2/57 12710
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1775944276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 242 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12710/stat): 12710 (vallst) R 12707 12707 27660 0 -1 0 595 0 0 0 42230 1289 0 0 25 0 1 0 1775944283 3489792 565 4294967295 134512640 134702520 3221223952 3221223232 134552509 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12710/statm): 852 565 413 48 0 804 0
[pid=12710] vsize: 3408
Current children cumulated CPU time (s) 435.21
Current children cumulated vsize (Kb) 5536
[startup+470.044 s]
Raw data (loadavg): 1.00 1.00 0.98 2/57 12710
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1775944276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 242 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12710/stat): 12710 (vallst) R 12707 12707 27660 0 -1 0 597 0 0 0 43132 1323 0 0 25 0 1 0 1775944283 3489792 567 4294967295 134512640 134702520 3221223952 3221222848 134553305 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/12710/statm): 852 567 413 48 0 804 0
[pid=12710] vsize: 3408
Current children cumulated CPU time (s) 444.57
Current children cumulated vsize (Kb) 5536
[startup+480.045 s]
Raw data (loadavg): 1.00 1.00 0.98 2/57 12710
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1775944276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 242 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12710/stat): 12710 (vallst) R 12707 12707 27660 0 -1 0 601 0 0 0 44036 1358 0 0 25 0 1 0 1775944283 3489792 571 4294967295 134512640 134702520 3221223952 3221223072 134572664 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12710/statm): 852 571 413 48 0 804 0
[pid=12710] vsize: 3408
Current children cumulated CPU time (s) 453.96
Current children cumulated vsize (Kb) 5536
[startup+490.045 s]
Raw data (loadavg): 1.00 1.00 0.98 2/57 12710
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1775944276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 242 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12710/stat): 12710 (vallst) R 12707 12707 27660 0 -1 0 603 0 0 0 44942 1390 0 0 25 0 1 0 1775944283 3489792 573 4294967295 134512640 134702520 3221223952 3221223232 134553273 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/12710/statm): 852 573 413 48 0 804 0
[pid=12710] vsize: 3408
Current children cumulated CPU time (s) 463.34
Current children cumulated vsize (Kb) 5536
[startup+500.046 s]
Raw data (loadavg): 1.00 1.00 0.98 2/57 12710
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1775944276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 242 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12710/stat): 12710 (vallst) R 12707 12707 27660 0 -1 0 605 0 0 0 45871 1414 0 0 25 0 1 0 1775944283 3489792 575 4294967295 134512640 134702520 3221223952 3221222848 134553499 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12710/statm): 852 575 413 48 0 804 0
[pid=12710] vsize: 3408
Current children cumulated CPU time (s) 472.87
Current children cumulated vsize (Kb) 5536
[startup+510.047 s]
Raw data (loadavg): 1.00 1.00 0.98 2/57 12710
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1775944276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 242 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12710/stat): 12710 (vallst) R 12707 12707 27660 0 -1 0 605 0 0 0 46834 1427 0 0 25 0 1 0 1775944283 3489792 575 4294967295 134512640 134702520 3221223952 3221222848 134552484 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/12710/statm): 852 575 413 48 0 804 0
[pid=12710] vsize: 3408
Current children cumulated CPU time (s) 482.63
Current children cumulated vsize (Kb) 5536
[startup+520.048 s]
Raw data (loadavg): 1.00 1.00 0.98 2/57 12710
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1775944276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 242 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12710/stat): 12710 (vallst) R 12707 12707 27660 0 -1 0 610 0 0 0 47747 1457 0 0 25 0 1 0 1775944283 3489792 580 4294967295 134512640 134702520 3221223952 3221223232 134552486 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12710/statm): 852 580 413 48 0 804 0
[pid=12710] vsize: 3408
Current children cumulated CPU time (s) 492.06
Current children cumulated vsize (Kb) 5536
[startup+530.049 s]
Raw data (loadavg): 1.00 1.00 0.98 2/57 12710
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1775944276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 242 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12710/stat): 12710 (vallst) R 12707 12707 27660 0 -1 0 612 0 0 0 48662 1484 0 0 25 0 1 0 1775944283 3489792 582 4294967295 134512640 134702520 3221223952 3221223232 134552509 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12710/statm): 852 582 413 48 0 804 0
[pid=12710] vsize: 3408
Current children cumulated CPU time (s) 501.48
Current children cumulated vsize (Kb) 5536
[startup+540.049 s]
Raw data (loadavg): 1.00 1.00 0.98 1/57 12710
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1775944276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 242 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12710/stat): 12710 (vallst) T 12707 12707 27660 0 -1 0 762 0 0 0 49575 1516 0 0 25 0 1 0 1775944283 4173824 732 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/12710/statm): 1019 732 413 48 0 971 0
[pid=12710] vsize: 4076
Current children cumulated CPU time (s) 510.93
Current children cumulated vsize (Kb) 6204
[startup+550.051 s]
Raw data (loadavg): 1.00 1.00 0.98 2/57 12710
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1775944276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 242 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12710/stat): 12710 (vallst) R 12707 12707 27660 0 -1 0 1011 0 0 0 50483 1548 0 0 23 0 1 0 1775944283 5214208 981 4294967295 134512640 134702520 3221223952 3221223072 134572622 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12710/statm): 1273 981 413 48 0 1225 0
[pid=12710] vsize: 5092
Current children cumulated CPU time (s) 520.33
Current children cumulated vsize (Kb) 7220
[startup+560.052 s]
Raw data (loadavg): 1.00 1.00 0.98 2/57 12710
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1775944276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 242 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12710/stat): 12710 (vallst) R 12707 12707 27660 0 -1 0 1088 0 0 0 51401 1575 0 0 25 0 1 0 1775944283 5492736 1044 4294967295 134512640 134702520 3221223952 3221223232 134553354 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12710/statm): 1341 1044 413 48 0 1293 0
[pid=12710] vsize: 5364
Current children cumulated CPU time (s) 529.78
Current children cumulated vsize (Kb) 7492
[startup+570.052 s]
Raw data (loadavg): 1.00 1.00 0.98 1/57 12710
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1775944276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 242 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12710/stat): 12710 (vallst) T 12707 12707 27660 0 -1 0 1300 0 0 0 52318 1603 0 0 25 0 1 0 1775944283 6352896 1256 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/12710/statm): 1551 1256 413 48 0 1503 0
[pid=12710] vsize: 6204
Current children cumulated CPU time (s) 539.23
Current children cumulated vsize (Kb) 8332
[startup+580.053 s]
Raw data (loadavg): 1.00 1.00 0.98 2/57 12710
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1775944276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 242 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12710/stat): 12710 (vallst) R 12707 12707 27660 0 -1 0 1486 0 0 0 53243 1632 0 0 25 0 1 0 1775944283 7081984 1442 4294967295 134512640 134702520 3221223952 3221223232 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12710/statm): 1729 1442 413 48 0 1681 0
[pid=12710] vsize: 6916
Current children cumulated CPU time (s) 548.77
Current children cumulated vsize (Kb) 9044
[startup+590.054 s]
Raw data (loadavg): 1.00 1.00 0.98 2/57 12710
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1775944276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 242 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12710/stat): 12710 (vallst) R 12707 12707 27660 0 -1 0 1650 0 0 0 54175 1654 0 0 25 0 1 0 1775944283 7753728 1606 4294967295 134512640 134702520 3221223952 3221223232 134552882 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12710/statm): 1893 1606 413 48 0 1845 0
[pid=12710] vsize: 7572
Current children cumulated CPU time (s) 558.31
Current children cumulated vsize (Kb) 9700
[startup+600.055 s]
Raw data (loadavg): 1.00 1.00 0.98 1/57 12710
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1775944276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 242 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12710/stat): 12710 (vallst) T 12707 12707 27660 0 -1 0 1733 0 0 0 55111 1675 0 0 25 0 1 0 1775944283 8105984 1689 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/12710/statm): 1979 1689 413 48 0 1931 0
[pid=12710] vsize: 7916
Current children cumulated CPU time (s) 567.88
Current children cumulated vsize (Kb) 10044
[startup+610.057 s]
Raw data (loadavg): 1.07 1.02 0.99 2/57 12710
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1775944276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 242 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12710/stat): 12710 (vallst) R 12707 12707 27660 0 -1 0 1741 0 0 0 56041 1699 0 0 25 0 1 0 1775944283 8105984 1697 4294967295 134512640 134702520 3221223952 3221223232 134552261 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12710/statm): 1979 1697 413 48 0 1931 0
[pid=12710] vsize: 7916
Current children cumulated CPU time (s) 577.42
Current children cumulated vsize (Kb) 10044
[startup+620.058 s]
Raw data (loadavg): 1.06 1.02 0.99 2/57 12710
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1775944276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 242 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12710/stat): 12710 (vallst) R 12707 12707 27660 0 -1 0 1882 0 0 0 56970 1722 0 0 25 0 1 0 1775944283 8740864 1838 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12710/statm): 2134 1838 413 48 0 2086 0
[pid=12710] vsize: 8536
Current children cumulated CPU time (s) 586.94
Current children cumulated vsize (Kb) 10664
[startup+630.058 s]
Raw data (loadavg): 1.05 1.01 0.99 2/57 12710
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1775944276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 242 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12710/stat): 12710 (vallst) R 12707 12707 27660 0 -1 0 2029 0 0 0 57905 1743 0 0 25 0 1 0 1775944283 9244672 1985 4294967295 134512640 134702520 3221223952 3221222848 134552370 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12710/statm): 2257 1985 413 48 0 2209 0
[pid=12710] vsize: 9028
Current children cumulated CPU time (s) 596.5
Current children cumulated vsize (Kb) 11156
[startup+640.059 s]
Raw data (loadavg): 1.04 1.01 0.99 2/57 12710
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1775944276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 242 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12710/stat): 12710 (vallst) R 12707 12707 27660 0 -1 0 2033 0 0 0 58841 1766 0 0 25 0 1 0 1775944283 9244672 1989 4294967295 134512640 134702520 3221223952 3221223232 134552504 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/12710/statm): 2257 1989 413 48 0 2209 0
[pid=12710] vsize: 9028
Current children cumulated CPU time (s) 606.09
Current children cumulated vsize (Kb) 11156
[startup+650.061 s]
Raw data (loadavg): 1.04 1.01 0.99 2/57 12710
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1775944276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 242 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12710/stat): 12710 (vallst) R 12707 12707 27660 0 -1 0 2099 0 0 0 59772 1791 0 0 25 0 1 0 1775944283 9564160 2055 4294967295 134512640 134702520 3221223952 3221223232 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12710/statm): 2335 2055 413 48 0 2287 0
[pid=12710] vsize: 9340
Current children cumulated CPU time (s) 615.65
Current children cumulated vsize (Kb) 11468
[startup+660.062 s]
Raw data (loadavg): 1.03 1.01 0.99 2/57 12710
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1775944276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 242 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12710/stat): 12710 (vallst) R 12707 12707 27660 0 -1 0 2222 0 0 0 60710 1813 0 0 25 0 1 0 1775944283 10043392 2178 4294967295 134512640 134702520 3221223952 3221223232 134552486 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12710/statm): 2452 2178 413 48 0 2404 0
[pid=12710] vsize: 9808
Current children cumulated CPU time (s) 625.25
Current children cumulated vsize (Kb) 11936
[startup+670.062 s]
Raw data (loadavg): 1.02 1.01 0.99 2/57 12710
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1775944276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 242 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12710/stat): 12710 (vallst) R 12707 12707 27660 0 -1 0 2348 0 0 0 61646 1837 0 0 25 0 1 0 1775944283 10571776 2304 4294967295 134512640 134702520 3221223952 3221223232 134553499 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12710/statm): 2581 2304 413 48 0 2533 0
[pid=12710] vsize: 10324
Current children cumulated CPU time (s) 634.85
Current children cumulated vsize (Kb) 12452
[startup+680.064 s]
Raw data (loadavg): 1.02 1.01 0.99 2/57 12710
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1775944276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 242 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12710/stat): 12710 (vallst) T 12707 12707 27660 0 -1 0 2487 0 0 0 62582 1860 0 0 25 0 1 0 1775944283 11227136 2443 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/12710/statm): 2741 2443 413 48 0 2693 0
[pid=12710] vsize: 10964
Current children cumulated CPU time (s) 644.44
Current children cumulated vsize (Kb) 13092
[startup+690.065 s]
Raw data (loadavg): 1.02 1.01 0.99 1/57 12710
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1775944276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 242 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12710/stat): 12710 (vallst) T 12707 12707 27660 0 -1 0 2580 0 0 0 63525 1882 0 0 25 0 1 0 1775944283 11509760 2536 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/12710/statm): 2810 2536 413 48 0 2762 0
[pid=12710] vsize: 11240
Current children cumulated CPU time (s) 654.09
Current children cumulated vsize (Kb) 13368
[startup+700.067 s]
Raw data (loadavg): 1.01 1.01 0.99 2/57 12710
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1775944276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 242 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12710/stat): 12710 (vallst) R 12707 12707 27660 0 -1 0 2581 0 0 0 64459 1907 0 0 25 0 1 0 1775944283 11509760 2537 4294967295 134512640 134702520 3221223952 3221223344 134603632 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12710/statm): 2810 2537 413 48 0 2762 0
[pid=12710] vsize: 11240
Current children cumulated CPU time (s) 663.68
Current children cumulated vsize (Kb) 13368
[startup+710.068 s]
Raw data (loadavg): 1.01 1.01 0.99 2/57 12710
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1775944276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 242 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12710/stat): 12710 (vallst) R 12707 12707 27660 0 -1 0 2598 0 0 0 65403 1927 0 0 25 0 1 0 1775944283 11644928 2554 4294967295 134512640 134702520 3221223952 3221223232 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12710/statm): 2843 2554 413 48 0 2795 0
[pid=12710] vsize: 11372
Current children cumulated CPU time (s) 673.32
Current children cumulated vsize (Kb) 13500
[startup+720.068 s]
Raw data (loadavg): 1.01 1.01 0.99 2/57 12710
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1775944276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 242 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12710/stat): 12710 (vallst) R 12707 12707 27660 0 -1 0 2718 0 0 0 66347 1948 0 0 25 0 1 0 1775944283 12099584 2674 4294967295 134512640 134702520 3221223952 3221223232 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/12710/statm): 2954 2674 413 48 0 2906 0
[pid=12710] vsize: 11816
Current children cumulated CPU time (s) 682.97
Current children cumulated vsize (Kb) 13944
[startup+730.07 s]
Raw data (loadavg): 1.01 1.00 0.99 2/57 12710
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1775944276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 242 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12710/stat): 12710 (vallst) R 12707 12707 27660 0 -1 0 2827 0 0 0 67294 1967 0 0 25 0 1 0 1775944283 12546048 2783 4294967295 134512640 134702520 3221223952 3221223232 134554330 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12710/statm): 3063 2783 413 48 0 3015 0
[pid=12710] vsize: 12252
Current children cumulated CPU time (s) 692.63
Current children cumulated vsize (Kb) 14380
[startup+740.071 s]
Raw data (loadavg): 1.01 1.00 0.99 2/57 12710
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1775944276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 242 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12710/stat): 12710 (vallst) R 12707 12707 27660 0 -1 0 2921 0 0 0 68237 1989 0 0 25 0 1 0 1775944283 13045760 2877 4294967295 134512640 134702520 3221223952 3221223232 134553273 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12710/statm): 3185 2877 413 48 0 3137 0
[pid=12710] vsize: 12740
Current children cumulated CPU time (s) 702.28
Current children cumulated vsize (Kb) 14868
[startup+750.073 s]
Raw data (loadavg): 1.00 1.00 0.99 2/57 12710
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1775944276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 242 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12710/stat): 12710 (vallst) R 12707 12707 27660 0 -1 0 3005 0 0 0 69188 2006 0 0 25 0 1 0 1775944283 13406208 2961 4294967295 134512640 134702520 3221223952 3221223232 134552492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12710/statm): 3273 2961 413 48 0 3225 0
[pid=12710] vsize: 13092
Current children cumulated CPU time (s) 711.96
Current children cumulated vsize (Kb) 15220
[startup+760.073 s]
Raw data (loadavg): 1.00 1.00 0.99 2/57 12710
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1775944276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 242 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12710/stat): 12710 (vallst) R 12707 12707 27660 0 -1 0 3105 0 0 0 70133 2027 0 0 25 0 1 0 1775944283 13725696 3061 4294967295 134512640 134702520 3221223952 3221223232 134552296 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12710/statm): 3351 3061 413 48 0 3303 0
[pid=12710] vsize: 13404
Current children cumulated CPU time (s) 721.62
Current children cumulated vsize (Kb) 15532
[startup+770.074 s]
Raw data (loadavg): 1.00 1.00 0.99 2/57 12710
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1775944276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 242 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12710/stat): 12710 (vallst) R 12707 12707 27660 0 -1 0 3181 0 0 0 71085 2044 0 0 25 0 1 0 1775944283 14012416 3137 4294967295 134512640 134702520 3221223952 3221222848 134552484 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12710/statm): 3421 3137 413 48 0 3373 0
[pid=12710] vsize: 13684
Current children cumulated CPU time (s) 731.31
Current children cumulated vsize (Kb) 15812
[startup+780.075 s]
Raw data (loadavg): 1.00 1.00 0.99 2/57 12710
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1775944276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 242 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12710/stat): 12710 (vallst) R 12707 12707 27660 0 -1 0 3181 0 0 0 72052 2056 0 0 25 0 1 0 1775944283 14012416 3137 4294967295 134512640 134702520 3221223952 3221222848 134553492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12710/statm): 3421 3137 413 48 0 3373 0
[pid=12710] vsize: 13684
Current children cumulated CPU time (s) 741.1
Current children cumulated vsize (Kb) 15812
[startup+790.077 s]
Raw data (loadavg): 1.00 1.00 0.99 2/57 12710
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1775944276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 242 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12710/stat): 12710 (vallst) R 12707 12707 27660 0 -1 0 3181 0 0 0 72994 2077 0 0 25 0 1 0 1775944283 14012416 3137 4294967295 134512640 134702520 3221223952 3221223232 134552261 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12710/statm): 3421 3137 413 48 0 3373 0
[pid=12710] vsize: 13684
Current children cumulated CPU time (s) 750.73
Current children cumulated vsize (Kb) 15812
[startup+800.079 s]
Raw data (loadavg): 1.00 1.00 0.99 2/57 12710
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1775944276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 242 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12710/stat): 12710 (vallst) R 12707 12707 27660 0 -1 0 3181 0 0 0 73916 2103 0 0 25 0 1 0 1775944283 14012416 3137 4294967295 134512640 134702520 3221223952 3221223232 134552293 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12710/statm): 3421 3137 413 48 0 3373 0
[pid=12710] vsize: 13684
Current children cumulated CPU time (s) 760.21
Current children cumulated vsize (Kb) 15812
[startup+810.079 s]
Raw data (loadavg): 1.00 1.00 0.99 2/57 12710
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1775944276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 242 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12710/stat): 12710 (vallst) R 12707 12707 27660 0 -1 0 3181 0 0 0 74845 2129 0 0 25 0 1 0 1775944283 14012416 3137 4294967295 134512640 134702520 3221223952 3221223232 134552467 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12710/statm): 3421 3137 413 48 0 3373 0
[pid=12710] vsize: 13684
Current children cumulated CPU time (s) 769.76
Current children cumulated vsize (Kb) 15812
[startup+820.08 s]
Raw data (loadavg): 1.00 1.00 0.99 2/57 12710
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1775944276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 242 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12710/stat): 12710 (vallst) R 12707 12707 27660 0 -1 0 3181 0 0 0 75772 2155 0 0 25 0 1 0 1775944283 14012416 3137 4294967295 134512640 134702520 3221223952 3221223232 134552266 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12710/statm): 3421 3137 413 48 0 3373 0
[pid=12710] vsize: 13684
Current children cumulated CPU time (s) 779.29
Current children cumulated vsize (Kb) 15812
[startup+830.081 s]
Raw data (loadavg): 1.08 1.02 0.99 2/57 12710
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1775944276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 242 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12710/stat): 12710 (vallst) R 12707 12707 27660 0 -1 0 3182 0 0 0 76704 2178 0 0 25 0 1 0 1775944283 14012416 3138 4294967295 134512640 134702520 3221223952 3221223232 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12710/statm): 3421 3138 413 48 0 3373 0
[pid=12710] vsize: 13684
Current children cumulated CPU time (s) 788.84
Current children cumulated vsize (Kb) 15812
[startup+840.082 s]
Raw data (loadavg): 1.07 1.02 0.99 2/57 12710
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1775944276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 242 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12710/stat): 12710 (vallst) R 12707 12707 27660 0 -1 0 3182 0 0 0 77634 2202 0 0 25 0 1 0 1775944283 14012416 3138 4294967295 134512640 134702520 3221223952 3221223220 134557393 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12710/statm): 3421 3138 413 48 0 3373 0
[pid=12710] vsize: 13684
Current children cumulated CPU time (s) 798.38
Current children cumulated vsize (Kb) 15812
[startup+850.083 s]
Raw data (loadavg): 1.06 1.01 0.99 1/57 12710
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1775944276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 242 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12710/stat): 12710 (vallst) T 12707 12707 27660 0 -1 0 3182 0 0 0 78559 2224 0 0 25 0 1 0 1775944283 14012416 3138 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/12710/statm): 3421 3138 413 48 0 3373 0
[pid=12710] vsize: 13684
Current children cumulated CPU time (s) 807.85
Current children cumulated vsize (Kb) 15812
[startup+860.085 s]
Raw data (loadavg): 1.05 1.01 0.99 2/57 12710
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1775944276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 242 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12710/stat): 12710 (vallst) T 12707 12707 27660 0 -1 0 3182 0 0 0 79458 2262 0 0 25 0 1 0 1775944283 14012416 3138 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/12710/statm): 3421 3138 413 48 0 3373 0
[pid=12710] vsize: 13684
Current children cumulated CPU time (s) 817.22
Current children cumulated vsize (Kb) 15812
[startup+870.085 s]
Raw data (loadavg): 1.04 1.01 0.99 2/57 12710
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1775944276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 242 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12710/stat): 12710 (vallst) R 12707 12707 27660 0 -1 0 3182 0 0 0 80366 2292 0 0 25 0 1 0 1775944283 14012416 3138 4294967295 134512640 134702520 3221223952 3221223232 134552509 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12710/statm): 3421 3138 413 48 0 3373 0
[pid=12710] vsize: 13684
Current children cumulated CPU time (s) 826.6
Current children cumulated vsize (Kb) 15812
[startup+880.086 s]
Raw data (loadavg): 1.03 1.01 0.99 1/57 12710
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1775944276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 242 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12710/stat): 12710 (vallst) T 12707 12707 27660 0 -1 0 3182 0 0 0 81270 2325 0 0 25 0 1 0 1775944283 14012416 3138 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/12710/statm): 3421 3138 413 48 0 3373 0
[pid=12710] vsize: 13684
Current children cumulated CPU time (s) 835.97
Current children cumulated vsize (Kb) 15812
[startup+890.087 s]
Raw data (loadavg): 1.03 1.01 0.99 2/57 12710
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1775944276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 242 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12710/stat): 12710 (vallst) R 12707 12707 27660 0 -1 0 3182 0 0 0 82178 2356 0 0 25 0 1 0 1775944283 14012416 3138 4294967295 134512640 134702520 3221223952 3221223232 134552446 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12710/statm): 3421 3138 413 48 0 3373 0
[pid=12710] vsize: 13684
Current children cumulated CPU time (s) 845.36
Current children cumulated vsize (Kb) 15812
[startup+900.087 s]
Raw data (loadavg): 1.02 1.01 0.99 2/57 12710
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1775944276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 242 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12710/stat): 12710 (vallst) R 12707 12707 27660 0 -1 0 3182 0 0 0 83087 2389 0 0 23 0 1 0 1775944283 14012416 3138 4294967295 134512640 134702520 3221223952 3221223232 134552441 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12710/statm): 3421 3138 413 48 0 3373 0
[pid=12710] vsize: 13684
Current children cumulated CPU time (s) 854.78
Current children cumulated vsize (Kb) 15812
[startup+910.088 s]
Raw data (loadavg): 1.02 1.01 0.99 1/57 12710
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1775944276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 242 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12710/stat): 12710 (vallst) T 12707 12707 27660 0 -1 0 3182 0 0 0 83988 2423 0 0 18 0 1 0 1775944283 14012416 3138 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/12710/statm): 3421 3138 413 48 0 3373 0
[pid=12710] vsize: 13684
Current children cumulated CPU time (s) 864.13
Current children cumulated vsize (Kb) 15812
[startup+920.089 s]
Raw data (loadavg): 1.02 1.01 0.99 1/57 12710
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1775944276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 242 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12710/stat): 12710 (vallst) T 12707 12707 27660 0 -1 0 3182 0 0 0 84896 2455 0 0 25 0 1 0 1775944283 14012416 3138 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/12710/statm): 3421 3138 413 48 0 3373 0
[pid=12710] vsize: 13684
Current children cumulated CPU time (s) 873.53
Current children cumulated vsize (Kb) 15812
[startup+930.09 s]
Raw data (loadavg): 1.01 1.01 0.99 1/57 12710
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1775944276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 242 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12710/stat): 12710 (vallst) T 12707 12707 27660 0 -1 0 3182 0 0 0 85806 2485 0 0 25 0 1 0 1775944283 14012416 3138 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/12710/statm): 3421 3138 413 48 0 3373 0
[pid=12710] vsize: 13684
Current children cumulated CPU time (s) 882.93
Current children cumulated vsize (Kb) 15812
[startup+940.09 s]
Raw data (loadavg): 1.01 1.01 0.99 2/57 12710
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1775944276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 242 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12710/stat): 12710 (vallst) R 12707 12707 27660 0 -1 0 3182 0 0 0 86742 2507 0 0 25 0 1 0 1775944283 14012416 3138 4294967295 134512640 134702520 3221223952 3221222848 134552486 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12710/statm): 3421 3138 413 48 0 3373 0
[pid=12710] vsize: 13684
Current children cumulated CPU time (s) 892.51
Current children cumulated vsize (Kb) 15812
[startup+950.091 s]
Raw data (loadavg): 1.01 1.00 0.99 1/57 12710
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1775944276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 242 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12710/stat): 12710 (vallst) T 12707 12707 27660 0 -1 0 3182 0 0 0 87708 2520 0 0 25 0 1 0 1775944283 14012416 3138 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/12710/statm): 3421 3138 413 48 0 3373 0
[pid=12710] vsize: 13684
Current children cumulated CPU time (s) 902.3
Current children cumulated vsize (Kb) 15812
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=12710) exited with status: 2
New process pid=12711
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=12711) exited with status: 0
New process pid=12712
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.092 s]
Raw data (loadavg): 1.01 1.00 0.99 1/57 12712
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 378 3557 0 0 2 1 87821 2524 19 0 1 0 1775944276 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 248 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12712/stat): 12712 (vallst) T 12707 12707 27660 0 -1 0 266 0 0 0 632 85 0 0 19 0 1 0 1776039419 2293760 236 4294967295 134512640 134702520 3221223712 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/12712/statm): 560 236 413 48 0 512 0
[pid=12712] vsize: 2240
Current children cumulated CPU time (s) 910.65
Current children cumulated vsize (Kb) 4368
[startup+970.093 s]
Raw data (loadavg): 1.08 1.02 1.00 1/57 12712
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 378 3557 0 0 2 1 87821 2524 19 0 1 0 1775944276 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 248 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12712/stat): 12712 (vallst) T 12707 12707 27660 0 -1 0 447 0 0 0 1340 184 0 0 20 0 1 0 1776039419 3031040 417 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/12712/statm): 740 417 413 48 0 692 0
[pid=12712] vsize: 2960
Current children cumulated CPU time (s) 918.72
Current children cumulated vsize (Kb) 5088
[startup+980.094 s]
Raw data (loadavg): 1.07 1.02 1.00 2/57 12712
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 378 3557 0 0 2 1 87821 2524 19 0 1 0 1775944276 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 248 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12712/stat): 12712 (vallst) R 12707 12707 27660 0 -1 0 509 0 0 0 2100 265 0 0 21 0 1 0 1776039419 3166208 479 4294967295 134512640 134702520 3221223712 3221222608 134552354 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/12712/statm): 773 479 413 48 0 725 0
[pid=12712] vsize: 3092
Current children cumulated CPU time (s) 927.13
Current children cumulated vsize (Kb) 5220
[startup+990.094 s]
Raw data (loadavg): 1.06 1.02 1.00 1/57 12712
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 378 3557 0 0 2 1 87821 2524 19 0 1 0 1775944276 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 248 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12712/stat): 12712 (vallst) T 12707 12707 27660 0 -1 0 521 0 0 0 2867 346 0 0 18 0 1 0 1776039419 3301376 491 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/12712/statm): 806 491 413 48 0 758 0
[pid=12712] vsize: 3224
Current children cumulated CPU time (s) 935.61
Current children cumulated vsize (Kb) 5352
[startup+1000.1 s]
Raw data (loadavg): 1.05 1.02 1.00 1/57 12712
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 378 3557 0 0 2 1 87821 2524 19 0 1 0 1775944276 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 248 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12712/stat): 12712 (vallst) T 12707 12707 27660 0 -1 0 533 0 0 0 3639 427 0 0 15 0 1 0 1776039419 3301376 503 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/12712/statm): 806 503 413 48 0 758 0
[pid=12712] vsize: 3224
Current children cumulated CPU time (s) 944.14
Current children cumulated vsize (Kb) 5352
[startup+1010.1 s]
Raw data (loadavg): 1.04 1.02 1.00 2/57 12712
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 378 3557 0 0 2 1 87821 2524 19 0 1 0 1775944276 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 248 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12712/stat): 12712 (vallst) R 12707 12707 27660 0 -1 0 535 0 0 0 4345 528 0 0 16 0 1 0 1776039419 3301376 505 4294967295 134512640 134702520 3221223712 3221222448 134564360 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12712/statm): 806 505 413 48 0 758 0
[pid=12712] vsize: 3224
Current children cumulated CPU time (s) 952.21
Current children cumulated vsize (Kb) 5352
[startup+1020.1 s]
Raw data (loadavg): 1.03 1.01 1.00 1/57 12712
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 378 3557 0 0 2 1 87821 2524 19 0 1 0 1775944276 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 248 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12712/stat): 12712 (vallst) T 12707 12707 27660 0 -1 0 540 0 0 0 5087 616 0 0 16 0 1 0 1776039419 3301376 510 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/12712/statm): 806 510 413 48 0 758 0
[pid=12712] vsize: 3224
Current children cumulated CPU time (s) 960.51
Current children cumulated vsize (Kb) 5352
[startup+1030.1 s]
Raw data (loadavg): 1.18 1.05 1.01 2/57 12712
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 378 3557 0 0 2 1 87821 2524 19 0 1 0 1775944276 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 248 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12712/stat): 12712 (vallst) R 12707 12707 27660 0 -1 0 545 0 0 0 5839 698 0 0 16 0 1 0 1776039419 3301376 515 4294967295 134512640 134702520 3221223712 3221222992 134552293 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12712/statm): 806 515 413 48 0 758 0
[pid=12712] vsize: 3224
Current children cumulated CPU time (s) 968.85
Current children cumulated vsize (Kb) 5352
[startup+1040.1 s]
Raw data (loadavg): 1.15 1.04 1.01 1/57 12712
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 378 3557 0 0 2 1 87821 2524 19 0 1 0 1775944276 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 248 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12712/stat): 12712 (vallst) T 12707 12707 27660 0 -1 0 555 0 0 0 6619 771 0 0 16 0 1 0 1776039419 3436544 525 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/12712/statm): 839 525 413 48 0 791 0
[pid=12712] vsize: 3356
Current children cumulated CPU time (s) 977.38
Current children cumulated vsize (Kb) 5484
[startup+1050.1 s]
Raw data (loadavg): 1.13 1.04 1.01 1/57 12712
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 378 3557 0 0 2 1 87821 2524 19 0 1 0 1775944276 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 248 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12712/stat): 12712 (vallst) T 12707 12707 27660 0 -1 0 563 0 0 0 7392 854 0 0 16 0 1 0 1776039419 3436544 533 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/12712/statm): 839 533 413 48 0 791 0
[pid=12712] vsize: 3356
Current children cumulated CPU time (s) 985.94
Current children cumulated vsize (Kb) 5484
[startup+1060.1 s]
Raw data (loadavg): 1.11 1.04 1.01 1/57 12712
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 378 3557 0 0 2 1 87821 2524 19 0 1 0 1775944276 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 248 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12712/stat): 12712 (vallst) T 12707 12707 27660 0 -1 0 571 0 0 0 8172 928 0 0 16 0 1 0 1776039419 3436544 541 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/12712/statm): 839 541 413 48 0 791 0
[pid=12712] vsize: 3356
Current children cumulated CPU time (s) 994.48
Current children cumulated vsize (Kb) 5484
[startup+1070.1 s]
Raw data (loadavg): 1.09 1.04 1.01 1/57 12712
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 378 3557 0 0 2 1 87821 2524 19 0 1 0 1775944276 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 248 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12712/stat): 12712 (vallst) T 12707 12707 27660 0 -1 0 573 0 0 0 8905 1022 0 0 16 0 1 0 1776039419 3436544 543 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/12712/statm): 839 543 413 48 0 791 0
[pid=12712] vsize: 3356
Current children cumulated CPU time (s) 1002.75
Current children cumulated vsize (Kb) 5484
[startup+1080.1 s]
Raw data (loadavg): 1.16 1.05 1.01 1/57 12712
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 378 3557 0 0 2 1 87821 2524 19 0 1 0 1775944276 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 248 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12712/stat): 12712 (vallst) T 12707 12707 27660 0 -1 0 574 0 0 0 9630 1115 0 0 16 0 1 0 1776039419 3436544 544 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/12712/statm): 839 544 413 48 0 791 0
[pid=12712] vsize: 3356
Current children cumulated CPU time (s) 1010.93
Current children cumulated vsize (Kb) 5484
[startup+1090.1 s]
Raw data (loadavg): 1.13 1.05 1.01 1/57 12712
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 378 3557 0 0 2 1 87821 2524 19 0 1 0 1775944276 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 248 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12712/stat): 12712 (vallst) T 12707 12707 27660 0 -1 0 579 0 0 0 10400 1194 0 0 16 0 1 0 1776039419 3436544 549 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/12712/statm): 839 549 413 48 0 791 0
[pid=12712] vsize: 3356
Current children cumulated CPU time (s) 1019.42
Current children cumulated vsize (Kb) 5484
[startup+1100.1 s]
Raw data (loadavg): 1.11 1.05 1.01 1/57 12712
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 378 3557 0 0 2 1 87821 2524 19 0 1 0 1775944276 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 248 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12712/stat): 12712 (vallst) T 12707 12707 27660 0 -1 0 586 0 0 0 11186 1273 0 0 16 0 1 0 1776039419 3436544 556 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/12712/statm): 839 556 413 48 0 791 0
[pid=12712] vsize: 3356
Current children cumulated CPU time (s) 1028.07
Current children cumulated vsize (Kb) 5484
[startup+1110.11 s]
Raw data (loadavg): 1.09 1.05 1.01 1/57 12712
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 378 3557 0 0 2 1 87821 2524 19 0 1 0 1775944276 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 248 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12712/stat): 12712 (vallst) T 12707 12707 27660 0 -1 0 592 0 0 0 11949 1357 0 0 16 0 1 0 1776039419 3571712 562 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/12712/statm): 872 562 413 48 0 824 0
[pid=12712] vsize: 3488
Current children cumulated CPU time (s) 1036.54
Current children cumulated vsize (Kb) 5616
[startup+1120.11 s]
Raw data (loadavg): 1.08 1.05 1.01 1/57 12712
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 378 3557 0 0 2 1 87821 2524 19 0 1 0 1775944276 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 248 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12712/stat): 12712 (vallst) T 12707 12707 27660 0 -1 0 593 0 0 0 12733 1434 0 0 16 0 1 0 1776039419 3571712 563 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/12712/statm): 872 563 413 48 0 824 0
[pid=12712] vsize: 3488
Current children cumulated CPU time (s) 1045.15
Current children cumulated vsize (Kb) 5616
[startup+1130.11 s]
Raw data (loadavg): 1.07 1.04 1.01 2/57 12712
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 378 3557 0 0 2 1 87821 2524 19 0 1 0 1775944276 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 248 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12712/stat): 12712 (vallst) R 12707 12707 27660 0 -1 0 596 0 0 0 13509 1516 0 0 16 0 1 0 1776039419 3571712 566 4294967295 134512640 134702520 3221223712 3221222992 134553100 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12712/statm): 872 566 413 48 0 824 0
[pid=12712] vsize: 3488
Current children cumulated CPU time (s) 1053.73
Current children cumulated vsize (Kb) 5616
[startup+1140.11 s]
Raw data (loadavg): 1.06 1.04 1.00 1/57 12712
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 378 3557 0 0 2 1 87821 2524 19 0 1 0 1775944276 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 248 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12712/stat): 12712 (vallst) T 12707 12707 27660 0 -1 0 598 0 0 0 14248 1605 0 0 15 0 1 0 1776039419 3571712 568 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/12712/statm): 872 568 413 48 0 824 0
[pid=12712] vsize: 3488
Current children cumulated CPU time (s) 1062.01
Current children cumulated vsize (Kb) 5616
[startup+1150.11 s]
Raw data (loadavg): 1.13 1.06 1.01 1/57 12712
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 378 3557 0 0 2 1 87821 2524 19 0 1 0 1775944276 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 248 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12712/stat): 12712 (vallst) T 12707 12707 27660 0 -1 0 598 0 0 0 14975 1700 0 0 16 0 1 0 1776039419 3571712 568 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/12712/statm): 872 568 413 48 0 824 0
[pid=12712] vsize: 3488
Current children cumulated CPU time (s) 1070.23
Current children cumulated vsize (Kb) 5616
[startup+1160.11 s]
Raw data (loadavg): 1.11 1.05 1.01 1/57 12712
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 378 3557 0 0 2 1 87821 2524 19 0 1 0 1775944276 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 248 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12712/stat): 12712 (vallst) T 12707 12707 27660 0 -1 0 605 0 0 0 15743 1776 0 0 16 0 1 0 1776039419 3571712 575 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/12712/statm): 872 575 413 48 0 824 0
[pid=12712] vsize: 3488
Current children cumulated CPU time (s) 1078.67
Current children cumulated vsize (Kb) 5616
[startup+1170.11 s]
Raw data (loadavg): 1.09 1.05 1.01 2/57 12712
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 378 3557 0 0 2 1 87821 2524 19 0 1 0 1775944276 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 248 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12712/stat): 12712 (vallst) T 12707 12707 27660 0 -1 0 607 0 0 0 16508 1861 0 0 16 0 1 0 1776039419 3571712 577 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/12712/statm): 872 577 413 48 0 824 0
[pid=12712] vsize: 3488
Current children cumulated CPU time (s) 1087.17
Current children cumulated vsize (Kb) 5616
[startup+1180.11 s]
Raw data (loadavg): 1.08 1.05 1.01 1/57 12712
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 378 3557 0 0 2 1 87821 2524 19 0 1 0 1775944276 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 248 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12712/stat): 12712 (vallst) T 12707 12707 27660 0 -1 0 608 0 0 0 17280 1941 0 0 16 0 1 0 1776039419 3571712 578 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/12712/statm): 872 578 413 48 0 824 0
[pid=12712] vsize: 3488
Current children cumulated CPU time (s) 1095.69
Current children cumulated vsize (Kb) 5616
[startup+1190.11 s]
Raw data (loadavg): 1.06 1.05 1.01 1/57 12712
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 378 3557 0 0 2 1 87821 2524 19 0 1 0 1775944276 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 248 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12712/stat): 12712 (vallst) T 12707 12707 27660 0 -1 0 611 0 0 0 18053 2019 0 0 16 0 1 0 1776039419 3571712 581 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/12712/statm): 872 581 413 48 0 824 0
[pid=12712] vsize: 3488
Current children cumulated CPU time (s) 1104.2
Current children cumulated vsize (Kb) 5616
[startup+1200.12 s]
Raw data (loadavg): 1.05 1.05 1.00 1/57 12712
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 378 3557 0 0 2 1 87821 2524 19 0 1 0 1775944276 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 248 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12712/stat): 12712 (vallst) T 12707 12707 27660 0 -1 0 611 0 0 0 18784 2111 0 0 16 0 1 0 1776039419 3571712 581 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/12712/statm): 872 581 413 48 0 824 0
[pid=12712] vsize: 3488
Current children cumulated CPU time (s) 1112.43
Current children cumulated vsize (Kb) 5616
[startup+1210.12 s]
Raw data (loadavg): 1.04 1.04 1.00 1/57 12712
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 378 3557 0 0 2 1 87821 2524 19 0 1 0 1775944276 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 248 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12712/stat): 12712 (vallst) T 12707 12707 27660 0 -1 0 613 0 0 0 19517 2205 0 0 16 0 1 0 1776039419 3571712 583 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/12712/statm): 872 583 413 48 0 824 0
[pid=12712] vsize: 3488
Current children cumulated CPU time (s) 1120.7
Current children cumulated vsize (Kb) 5616
[startup+1220.12 s]
Raw data (loadavg): 1.04 1.04 1.00 1/57 12712
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 378 3557 0 0 2 1 87821 2524 19 0 1 0 1775944276 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 248 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12712/stat): 12712 (vallst) T 12707 12707 27660 0 -1 0 618 0 0 0 20331 2269 0 0 16 0 1 0 1776039419 3571712 588 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/12712/statm): 872 588 413 48 0 824 0
[pid=12712] vsize: 3488
Current children cumulated CPU time (s) 1129.48
Current children cumulated vsize (Kb) 5616
[startup+1230.12 s]
Raw data (loadavg): 1.03 1.04 1.00 1/57 12712
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 378 3557 0 0 2 1 87821 2524 19 0 1 0 1775944276 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 248 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12712/stat): 12712 (vallst) T 12707 12707 27660 0 -1 0 622 0 0 0 21122 2343 0 0 16 0 1 0 1776039419 3706880 592 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/12712/statm): 905 592 413 48 0 857 0
[pid=12712] vsize: 3620
Current children cumulated CPU time (s) 1138.13
Current children cumulated vsize (Kb) 5748
[startup+1240.12 s]
Raw data (loadavg): 1.03 1.04 1.00 2/57 12712
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 378 3557 0 0 2 1 87821 2524 19 0 1 0 1775944276 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 248 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12712/stat): 12712 (vallst) R 12707 12707 27660 0 -1 0 624 0 0 0 21917 2415 0 0 16 0 1 0 1776039419 3706880 594 4294967295 134512640 134702520 3221223712 3221222992 134553017 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12712/statm): 905 594 413 48 0 857 0
[pid=12712] vsize: 3620
Current children cumulated CPU time (s) 1146.8
Current children cumulated vsize (Kb) 5748
[startup+1250.12 s]
Raw data (loadavg): 1.02 1.04 1.00 1/57 12712
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 378 3557 0 0 2 1 87821 2524 19 0 1 0 1775944276 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 248 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12712/stat): 12712 (vallst) T 12707 12707 27660 0 -1 0 628 0 0 0 22694 2493 0 0 16 0 1 0 1776039419 3706880 598 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/12712/statm): 905 598 413 48 0 857 0
[pid=12712] vsize: 3620
Current children cumulated CPU time (s) 1155.35
Current children cumulated vsize (Kb) 5748
[startup+1260.12 s]
Raw data (loadavg): 1.02 1.03 1.00 1/57 12712
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 378 3557 0 0 2 1 87821 2524 19 0 1 0 1775944276 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 248 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12712/stat): 12712 (vallst) T 12707 12707 27660 0 -1 0 630 0 0 0 23477 2567 0 0 16 0 1 0 1776039419 3706880 600 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/12712/statm): 905 600 413 48 0 857 0
[pid=12712] vsize: 3620
Current children cumulated CPU time (s) 1163.92
Current children cumulated vsize (Kb) 5748
[startup+1270.13 s]
Raw data (loadavg): 1.01 1.03 1.00 1/57 12712
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 378 3557 0 0 2 1 87821 2524 19 0 1 0 1775944276 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 248 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12712/stat): 12712 (vallst) T 12707 12707 27660 0 -1 0 634 0 0 0 24275 2638 0 0 16 0 1 0 1776039419 3706880 604 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/12712/statm): 905 604 413 48 0 857 0
[pid=12712] vsize: 3620
Current children cumulated CPU time (s) 1172.61
Current children cumulated vsize (Kb) 5748
[startup+1280.13 s]
Raw data (loadavg): 1.01 1.03 1.00 1/57 12712
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 378 3557 0 0 2 1 87821 2524 19 0 1 0 1775944276 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 248 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12712/stat): 12712 (vallst) T 12707 12707 27660 0 -1 0 635 0 0 0 25063 2714 0 0 16 0 1 0 1776039419 3706880 605 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/12712/statm): 905 605 413 48 0 857 0
[pid=12712] vsize: 3620
Current children cumulated CPU time (s) 1181.25
Current children cumulated vsize (Kb) 5748
[startup+1290.13 s]
Raw data (loadavg): 1.01 1.03 1.00 1/57 12712
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 378 3557 0 0 2 1 87821 2524 19 0 1 0 1775944276 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 248 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12712/stat): 12712 (vallst) T 12707 12707 27660 0 -1 0 639 0 0 0 25856 2787 0 0 16 0 1 0 1776039419 3706880 609 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/12712/statm): 905 609 413 48 0 857 0
[pid=12712] vsize: 3620
Current children cumulated CPU time (s) 1189.91
Current children cumulated vsize (Kb) 5748
[startup+1300.13 s]
Raw data (loadavg): 1.01 1.03 1.00 1/57 12712
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 378 3557 0 0 2 1 87821 2524 19 0 1 0 1775944276 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 248 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12712/stat): 12712 (vallst) T 12707 12707 27660 0 -1 0 639 0 0 0 26611 2872 0 0 16 0 1 0 1776039419 3706880 609 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/12712/statm): 905 609 413 48 0 857 0
[pid=12712] vsize: 3620
Current children cumulated CPU time (s) 1198.31
Current children cumulated vsize (Kb) 5748
[startup+1310.13 s]
Raw data (loadavg): 1.01 1.03 1.00 1/57 12712
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 378 3557 0 0 2 1 87821 2524 19 0 1 0 1775944276 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 248 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12712/stat): 12712 (vallst) T 12707 12707 27660 0 -1 0 639 0 0 0 27311 2971 0 0 15 0 1 0 1776039419 3706880 609 4294967295 134512640 134702520 3221223712 3221222584 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/12712/statm): 905 609 413 48 0 857 0
[pid=12712] vsize: 3620
Current children cumulated CPU time (s) 1206.3
Current children cumulated vsize (Kb) 5748
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1310.13 s]
Raw data (loadavg): 1.01 1.03 1.00 1/57 12712
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 378 3557 0 0 2 1 87821 2524 19 0 1 0 1775944276 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 248 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12712/stat): 12712 (vallst) T 12707 12707 27660 0 -1 0 639 0 0 0 27311 2971 0 0 15 0 1 0 1776039419 3706880 609 4294967295 134512640 134702520 3221223712 3221222584 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/12712/statm): 905 609 413 48 0 857 0
[pid=12712] vsize: 3620
Current children cumulated CPU time (s) 1206.3
Current children cumulated vsize (Kb) 5748
Sending SIGTERM to -12707
Sleeping 2 seconds
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
New process pid=12714
New process pid=12715
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 /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
open syscall for file /proc/156/environ
open syscall for file /proc/159/stat
open syscall for file /proc/159/status
open syscall for file /proc/159/cmdline
open syscall for file /proc/159/environ
open syscall for file /proc/826/stat
open syscall for file /proc/826/status
open syscall for file /proc/826/cmdline
open syscall for file /proc/826/environ
open syscall for file /proc/827/stat
open syscall for file /proc/827/status
open syscall for file /proc/827/cmdline
open syscall for file /proc/827/environ
open syscall for file /proc/1260/stat
open syscall for file /proc/1260/status
open syscall for file /proc/1260/cmdline
open syscall for file /proc/1260/environ
open syscall for file /proc/1264/stat
open syscall for file /proc/1264/status
open syscall for file /proc/1264/cmdline
open syscall for file /proc/1264/environ
open syscall for file /proc/1286/stat
open syscall for file /proc/1286/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
One traced child (pid=12712) 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/12670/stat
open syscall for file /proc/12670/status
open syscall for file /proc/12670/cmdline
open syscall for file /proc/12670/environ
open syscall for file /proc/12706/stat
open syscall for file /proc/12706/status
open syscall for file /proc/12706/cmdline
open syscall for file /proc/12706/environ
open syscall for file /proc/12707/stat
open syscall for file /proc/12707/status
open syscall for file /proc/12707/cmdline
open syscall for file /proc/12707/environ
open syscall for file /proc/12714/stat
open syscall for file /proc/12714/status
open syscall for file /proc/12714/cmdline
open syscall for file /proc/12714/environ
open syscall for file /proc/12715/stat
open syscall for file /proc/12715/status
open syscall for file /proc/12715/cmdline
open syscall for file /proc/12715/environ
One traced child (pid=12714) exited with status: 0
One traced child (pid=12715) exited with status: 0
New process pid=12716
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=12716) exited with status: 0
New process pid=12717
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=12717) exited with status: 0
One traced child (pid=12707) 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): 1206.46
CPU user time (s): 1151.41
CPU system time (s): 55.0516
CPU usage (%): 92.0517
Max. virtual memory (cumulated for all children) (Kb): 15812