1:
seed: 0
Nr of vars set: 537 (#equs: 0)
Nr of vars set: 634 (#equs: 112)
#decisions: 341588; #end-nodes: 224515;
#proof improvement attempts: 0; #restarts: 1056
Current batch, end-nodes: 0 / 343 (343)
#axs: 3871, #non-axs: 149
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: the time limit has been exceeded (2)
No model found at all.
result: the time limit has been exceeded (2)
seed: 0
Nr of vars set: 634 (#equs: 119)
Time taken: 5 min, 25 sec
2:
seed: 0
Nr of vars set: 634 (#equs: 0)
Nr of vars set: 634 (#equs: 87)
#decisions: 346700; #end-nodes: 231261;
#proof improvement attempts: 0; #restarts: 960
Current batch, end-nodes: 0 / 359 (359)
#axs: 3651, #non-axs: 637
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 29, end (keep): 48
result: the time limit has been exceeded (2)
seed: 0
Nr of vars set: 634 (#equs: 100)
Time taken: 4 min, 27 sec
3:
seed: 0
Nr of vars set: 634 (#equs: 0)
Nr of vars set: 634 (#equs: 86)
#decisions: 541243; #end-nodes: 270589;
#proof improvement attempts: 0; #restarts: 960
Current batch, end-nodes: 0 / 399 (399)
#axs: 3670, #non-axs: 1790
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 29, end (keep): 48
result: the time limit has been exceeded (2)
seed: 0
Nr of vars set: 634 (#equs: 119)
Time taken: 4 min, 5 sec
4:
seed: 0
Nr of vars set: 634 (#equs: 0)
Nr of vars set: 640 (#equs: 162)
#decisions: 118612; #end-nodes: 44009;
#proof improvement attempts: 43931; #restarts: 192
Current batch, end-nodes: 0 / 247 (247)
#axs: 3722, #non-axs: 632
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 29, end (keep): 48
result: the time limit has been exceeded (2)
seed: 0
Nr of vars set: 640 (#equs: 171)
Time taken: 4 min, 7 sec
5:
Error: changing-setting file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options couldn't be opened.
No such file or directory
seed: 0
Nr of vars set: 640 (#equs: 0)
Nr of vars set: 640 (#equs: 90)
Interupt request received.
result: an interupt signal has been received (3)
seed: 0
Nr of vars set: 640 (#equs: 123)
Time taken: 1 min, 53 sec
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing Stack size limit: 67108864 bytes
Enforcing memory limit (will send SIGTERM then SIGKILL): 921600 Kb
Enforcing VSIZE limit: 994918400 bytes
Current StackSize limit: 67108864 bytes
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) R 762 763 15400 0 -1 0 19 0 0 0 0 0 0 0 22 0 1 0 1788243027 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/763/statm): 174 3 169 147 0 27 0
[pid=763] 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=764
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=764) exited with status: 0
New process pid=765
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=765) exited with status: 0
New process pid=766
execve syscall for /oldhome/oroussel/solvers/vallst_0.9.258/vallst executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libm.so.6
open syscall for file tls/i686/libm.so.6
open syscall for file tls/mmx/libm.so.6
open syscall for file tls/libm.so.6
open syscall for file i686/mmx/libm.so.6
open syscall for file i686/libm.so.6
open syscall for file mmx/libm.so.6
open syscall for file libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/libm.so.6
open syscall for file /etc/ld.so.cache
open syscall for file /lib/tls/libm.so.6
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh.model
open syscall for file /oldhome/oroussel/tmp/wulflinc7/normalized-mps-v2-20-10-sierra.opb
[startup+10.0036 s]
Raw data (loadavg): 0.74 0.85 0.93 2/57 766
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1788243027 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 242 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/766/stat): 766 (vallst) R 763 763 15400 0 -1 0 2383 0 0 0 973 12 0 0 25 0 1 0 1788243034 12853248 2224 4294967295 134512640 134702520 3221223952 3221223168 134547183 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/766/statm): 3138 2224 413 48 0 3090 0
[pid=766] vsize: 12552
Current children cumulated CPU time (s) 9.87
Current children cumulated vsize (Kb) 14680
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map
[startup+20.0042 s]
Raw data (loadavg): 0.78 0.86 0.93 1/57 766
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1788243027 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 242 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/766/stat): 766 (vallst) T 763 763 15400 0 -1 0 2776 0 0 0 1649 118 0 0 18 0 1 0 1788243034 12673024 2512 4294967295 134512640 134702520 3221223952 3221223320 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/766/statm): 3094 2512 413 48 0 3046 0
[pid=766] vsize: 12376
Current children cumulated CPU time (s) 17.69
Current children cumulated vsize (Kb) 14504
[startup+30.0049 s]
Raw data (loadavg): 0.81 0.86 0.93 2/57 766
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1788243027 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 242 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/766/stat): 766 (vallst) R 763 763 15400 0 -1 0 2776 0 0 0 2381 211 0 0 19 0 1 0 1788243034 12673024 2512 4294967295 134512640 134702520 3221223952 3221223056 134564360 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/766/statm): 3094 2512 413 48 0 3046 0
[pid=766] vsize: 12376
Current children cumulated CPU time (s) 25.94
Current children cumulated vsize (Kb) 14504
[startup+40.0055 s]
Raw data (loadavg): 0.84 0.86 0.93 1/57 766
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1788243027 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 242 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/766/stat): 766 (vallst) T 763 763 15400 0 -1 0 2809 0 0 0 2881 371 0 0 16 0 1 0 1788243034 23752704 2545 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/766/statm): 5799 2545 413 48 0 5751 0
[pid=766] vsize: 23196
Current children cumulated CPU time (s) 32.54
Current children cumulated vsize (Kb) 25324
[startup+50.0062 s]
Raw data (loadavg): 0.87 0.87 0.93 1/57 766
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1788243027 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 242 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/766/stat): 766 (vallst) T 763 763 15400 0 -1 0 2811 0 0 0 3384 536 0 0 16 0 1 0 1788243034 23752704 2547 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/766/statm): 5799 2547 413 48 0 5751 0
[pid=766] vsize: 23196
Current children cumulated CPU time (s) 39.22
Current children cumulated vsize (Kb) 25324
[startup+60.007 s]
Raw data (loadavg): 0.89 0.87 0.93 1/57 766
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1788243027 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 242 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/766/stat): 766 (vallst) T 763 763 15400 0 -1 0 2811 0 0 0 4112 631 0 0 16 0 1 0 1788243034 23752704 2547 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/766/statm): 5799 2547 413 48 0 5751 0
[pid=766] vsize: 23196
Current children cumulated CPU time (s) 47.45
Current children cumulated vsize (Kb) 25324
[startup+70.0074 s]
Raw data (loadavg): 0.90 0.88 0.93 2/57 766
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1788243027 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 242 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/766/stat): 766 (vallst) R 763 763 15400 0 -1 0 2814 0 0 0 4768 744 0 0 16 0 1 0 1788243034 23752704 2550 4294967295 134512640 134702520 3221223952 3221172048 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/766/statm): 5799 2550 413 48 0 5751 0
[pid=766] vsize: 23196
Current children cumulated CPU time (s) 55.14
Current children cumulated vsize (Kb) 25324
[startup+80.0081 s]
Raw data (loadavg): 0.92 0.88 0.93 1/57 766
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1788243027 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 242 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/766/stat): 766 (vallst) T 763 763 15400 0 -1 0 2816 0 0 0 5267 907 0 0 15 0 1 0 1788243034 23752704 2552 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/766/statm): 5799 2552 413 48 0 5751 0
[pid=766] vsize: 23196
Current children cumulated CPU time (s) 61.76
Current children cumulated vsize (Kb) 25324
[startup+90.0087 s]
Raw data (loadavg): 0.93 0.88 0.93 1/57 766
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1788243027 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 242 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/766/stat): 766 (vallst) T 763 763 15400 0 -1 0 2816 0 0 0 5863 1042 0 0 16 0 1 0 1788243034 23752704 2552 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/766/statm): 5799 2552 413 48 0 5751 0
[pid=766] vsize: 23196
Current children cumulated CPU time (s) 69.07
Current children cumulated vsize (Kb) 25324
[startup+100.009 s]
Raw data (loadavg): 0.94 0.89 0.93 1/57 766
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1788243027 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 242 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/766/stat): 766 (vallst) T 763 763 15400 0 -1 0 2816 0 0 0 6597 1133 0 0 16 0 1 0 1788243034 23752704 2552 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/766/statm): 5799 2552 413 48 0 5751 0
[pid=766] vsize: 23196
Current children cumulated CPU time (s) 77.32
Current children cumulated vsize (Kb) 25324
[startup+110.01 s]
Raw data (loadavg): 1.02 0.91 0.94 1/57 766
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1788243027 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 242 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/766/stat): 766 (vallst) T 763 763 15400 0 -1 0 2821 0 0 0 7139 1281 0 0 16 0 1 0 1788243034 23752704 2557 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/766/statm): 5799 2557 413 48 0 5751 0
[pid=766] vsize: 23196
Current children cumulated CPU time (s) 84.22
Current children cumulated vsize (Kb) 25324
[startup+120.011 s]
Raw data (loadavg): 1.02 0.91 0.94 1/57 766
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1788243027 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 242 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/766/stat): 766 (vallst) T 763 763 15400 0 -1 0 2821 0 0 0 7605 1456 0 0 16 0 1 0 1788243034 23752704 2557 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/766/statm): 5799 2557 413 48 0 5751 0
[pid=766] vsize: 23196
Current children cumulated CPU time (s) 90.63
Current children cumulated vsize (Kb) 25324
[startup+130.011 s]
Raw data (loadavg): 1.10 0.93 0.94 1/57 766
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1788243027 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 242 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/766/stat): 766 (vallst) T 763 763 15400 0 -1 0 2821 0 0 0 8321 1551 0 0 16 0 1 0 1788243034 23752704 2557 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/766/statm): 5799 2557 413 48 0 5751 0
[pid=766] vsize: 23196
Current children cumulated CPU time (s) 98.74
Current children cumulated vsize (Kb) 25324
[startup+140.012 s]
Raw data (loadavg): 1.08 0.93 0.94 1/57 766
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1788243027 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 242 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/766/stat): 766 (vallst) T 763 763 15400 0 -1 0 2822 0 0 0 9002 1657 0 0 16 0 1 0 1788243034 23752704 2558 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/766/statm): 5799 2558 413 48 0 5751 0
[pid=766] vsize: 23196
Current children cumulated CPU time (s) 106.61
Current children cumulated vsize (Kb) 25324
[startup+150.014 s]
Raw data (loadavg): 1.07 0.93 0.94 1/57 766
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1788243027 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 242 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/766/stat): 766 (vallst) T 763 763 15400 0 -1 0 2824 0 0 0 9471 1837 0 0 16 0 1 0 1788243034 23752704 2560 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/766/statm): 5799 2560 413 48 0 5751 0
[pid=766] vsize: 23196
Current children cumulated CPU time (s) 113.1
Current children cumulated vsize (Kb) 25324
[startup+160.013 s]
Raw data (loadavg): 1.06 0.93 0.94 1/57 766
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1788243027 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 242 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/766/stat): 766 (vallst) T 763 763 15400 0 -1 0 2826 0 0 0 10043 1983 0 0 16 0 1 0 1788243034 23752704 2562 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/766/statm): 5799 2562 413 48 0 5751 0
[pid=766] vsize: 23196
Current children cumulated CPU time (s) 120.28
Current children cumulated vsize (Kb) 25324
[startup+170.014 s]
Raw data (loadavg): 1.05 0.94 0.94 1/57 766
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1788243027 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 242 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/766/stat): 766 (vallst) T 763 763 15400 0 -1 0 2826 0 0 0 10781 2071 0 0 16 0 1 0 1788243034 23752704 2562 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/766/statm): 5799 2562 413 48 0 5751 0
[pid=766] vsize: 23196
Current children cumulated CPU time (s) 128.54
Current children cumulated vsize (Kb) 25324
[startup+180.014 s]
Raw data (loadavg): 1.04 0.94 0.94 1/57 766
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1788243027 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 242 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/766/stat): 766 (vallst) T 763 763 15400 0 -1 0 2827 0 0 0 11349 2218 0 0 16 0 1 0 1788243034 23752704 2563 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/766/statm): 5799 2563 413 48 0 5751 0
[pid=766] vsize: 23196
Current children cumulated CPU time (s) 135.69
Current children cumulated vsize (Kb) 25324
[startup+190.016 s]
Raw data (loadavg): 1.03 0.94 0.94 2/57 766
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1788243027 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 242 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/766/stat): 766 (vallst) R 763 763 15400 0 -1 0 2829 0 0 0 11837 2387 0 0 16 0 1 0 1788243034 23752704 2565 4294967295 134512640 134702520 3221223952 3221156528 134612002 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/766/statm): 5799 2565 413 48 0 5751 0
[pid=766] vsize: 23196
Current children cumulated CPU time (s) 142.26
Current children cumulated vsize (Kb) 25324
[startup+200.017 s]
Raw data (loadavg): 1.10 0.96 0.95 1/57 766
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1788243027 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 242 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/766/stat): 766 (vallst) T 763 763 15400 0 -1 0 2829 0 0 0 12492 2501 0 0 15 0 1 0 1788243034 23752704 2565 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/766/statm): 5799 2565 413 48 0 5751 0
[pid=766] vsize: 23196
Current children cumulated CPU time (s) 149.95
Current children cumulated vsize (Kb) 25324
[startup+210.017 s]
Raw data (loadavg): 1.08 0.96 0.95 1/57 766
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1788243027 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 242 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/766/stat): 766 (vallst) T 763 763 15400 0 -1 0 2830 0 0 0 13220 2596 0 0 16 0 1 0 1788243034 23752704 2566 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/766/statm): 5799 2566 413 48 0 5751 0
[pid=766] vsize: 23196
Current children cumulated CPU time (s) 158.18
Current children cumulated vsize (Kb) 25324
[startup+220.018 s]
Raw data (loadavg): 1.07 0.96 0.95 2/57 766
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1788243027 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 242 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/766/stat): 766 (vallst) R 763 763 15400 0 -1 0 2832 0 0 0 13711 2767 0 0 16 0 1 0 1788243034 23752704 2568 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/766/statm): 5799 2568 413 48 0 5751 0
[pid=766] vsize: 23196
Current children cumulated CPU time (s) 164.8
Current children cumulated vsize (Kb) 25324
[startup+230.019 s]
Raw data (loadavg): 1.06 0.96 0.95 1/57 766
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1788243027 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 242 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/766/stat): 766 (vallst) T 763 763 15400 0 -1 0 2833 0 0 0 14203 2938 0 0 15 0 1 0 1788243034 23752704 2569 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/766/statm): 5799 2569 413 48 0 5751 0
[pid=766] vsize: 23196
Current children cumulated CPU time (s) 171.43
Current children cumulated vsize (Kb) 25324
[startup+240.02 s]
Raw data (loadavg): 1.05 0.96 0.95 1/57 766
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1788243027 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 242 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/766/stat): 766 (vallst) T 763 763 15400 0 -1 0 2833 0 0 0 14939 3028 0 0 15 0 1 0 1788243034 23752704 2569 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/766/statm): 5799 2569 413 48 0 5751 0
[pid=766] vsize: 23196
Current children cumulated CPU time (s) 179.69
Current children cumulated vsize (Kb) 25324
[startup+250.022 s]
Raw data (loadavg): 1.04 0.96 0.95 2/57 766
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1788243027 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 242 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/766/stat): 766 (vallst) R 763 763 15400 0 -1 0 2836 0 0 0 15592 3143 0 0 16 0 1 0 1788243034 23752704 2572 4294967295 134512640 134702520 3221223952 3221222976 134553123 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/766/statm): 5799 2572 413 48 0 5751 0
[pid=766] vsize: 23196
Current children cumulated CPU time (s) 187.37
Current children cumulated vsize (Kb) 25324
[startup+260.022 s]
Raw data (loadavg): 1.12 0.98 0.96 2/57 766
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1788243027 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 242 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/766/stat): 766 (vallst) R 763 763 15400 0 -1 0 2837 0 0 0 16069 3317 0 0 17 0 1 0 1788243034 23752704 2573 4294967295 134512640 134702520 3221223952 3221222976 134550642 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/766/statm): 5799 2573 413 48 0 5751 0
[pid=766] vsize: 23196
Current children cumulated CPU time (s) 193.88
Current children cumulated vsize (Kb) 25324
[startup+270.022 s]
Raw data (loadavg): 1.10 0.98 0.96 1/57 766
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1788243027 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 242 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/766/stat): 766 (vallst) T 763 763 15400 0 -1 0 2842 0 0 0 16650 3453 0 0 15 0 1 0 1788243034 23752704 2578 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/766/statm): 5799 2578 413 48 0 5751 0
[pid=766] vsize: 23196
Current children cumulated CPU time (s) 201.05
Current children cumulated vsize (Kb) 25324
[startup+280.023 s]
Raw data (loadavg): 1.08 0.98 0.96 1/57 766
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1788243027 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 242 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/766/stat): 766 (vallst) T 763 763 15400 0 -1 0 2842 0 0 0 17380 3542 0 0 16 0 1 0 1788243034 23752704 2578 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/766/statm): 5799 2578 413 48 0 5751 0
[pid=766] vsize: 23196
Current children cumulated CPU time (s) 209.24
Current children cumulated vsize (Kb) 25324
[startup+290.023 s]
Raw data (loadavg): 1.07 0.98 0.96 2/57 766
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1788243027 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 242 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/766/stat): 766 (vallst) R 763 763 15400 0 -1 0 2842 0 0 0 17946 3686 0 0 16 0 1 0 1788243034 23752704 2578 4294967295 134512640 134702520 3221223952 3221134268 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/766/statm): 5799 2578 413 48 0 5751 0
[pid=766] vsize: 23196
Current children cumulated CPU time (s) 216.34
Current children cumulated vsize (Kb) 25324
[startup+300.024 s]
Raw data (loadavg): 1.13 1.00 0.96 1/57 766
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1788243027 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 242 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/766/stat): 766 (vallst) T 763 763 15400 0 -1 0 2846 0 0 0 18429 3857 0 0 16 0 1 0 1788243034 23752704 2582 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/766/statm): 5799 2582 413 48 0 5751 0
[pid=766] vsize: 23196
Current children cumulated CPU time (s) 222.88
Current children cumulated vsize (Kb) 25324
[startup+310.025 s]
Raw data (loadavg): 1.11 1.00 0.96 1/57 766
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1788243027 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 242 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/766/stat): 766 (vallst) T 763 763 15400 0 -1 0 2846 0 0 0 19098 3967 0 0 16 0 1 0 1788243034 23752704 2582 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/766/statm): 5799 2582 413 48 0 5751 0
[pid=766] vsize: 23196
Current children cumulated CPU time (s) 230.67
Current children cumulated vsize (Kb) 25324
[startup+320.025 s]
Raw data (loadavg): 1.09 1.00 0.96 1/57 766
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1788243027 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 242 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/766/stat): 766 (vallst) T 763 763 15400 0 -1 0 2846 0 0 0 19820 4061 0 0 15 0 1 0 1788243034 23752704 2582 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/766/statm): 5799 2582 413 48 0 5751 0
[pid=766] vsize: 23196
Current children cumulated CPU time (s) 238.83
Current children cumulated vsize (Kb) 25324
[startup+330.026 s]
Raw data (loadavg): 1.08 1.00 0.96 2/57 766
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1788243027 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 242 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/766/stat): 766 (vallst) R 763 763 15400 0 -1 0 3060 0 0 0 20320 4228 0 0 16 0 1 0 1788243034 23752704 2796 4294967295 134512640 134702520 3221223952 3221223072 134588139 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/766/statm): 5799 2796 413 48 0 5751 0
[pid=766] vsize: 23196
Current children cumulated CPU time (s) 245.5
Current children cumulated vsize (Kb) 25324
[startup+340.027 s]
Raw data (loadavg): 1.07 1.00 0.96 2/57 766
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1788243027 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 242 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/766/stat): 766 (vallst) R 763 763 15400 0 -1 0 3195 0 0 0 20851 4384 0 0 16 0 1 0 1788243034 25182208 2931 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/766/statm): 6148 2931 413 48 0 6100 0
[pid=766] vsize: 24592
Current children cumulated CPU time (s) 252.37
Current children cumulated vsize (Kb) 26720
[startup+350.027 s]
Raw data (loadavg): 1.06 1.00 0.96 1/57 766
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1788243027 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 242 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/766/stat): 766 (vallst) T 763 763 15400 0 -1 0 3196 0 0 0 21573 4480 0 0 15 0 1 0 1788243034 25337856 2932 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/766/statm): 6186 2932 413 48 0 6138 0
[pid=766] vsize: 24744
Current children cumulated CPU time (s) 260.55
Current children cumulated vsize (Kb) 26872
[startup+360.028 s]
Raw data (loadavg): 1.05 1.00 0.96 1/57 766
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1788243027 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 242 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/766/stat): 766 (vallst) T 763 763 15400 0 -1 0 3196 0 0 0 22266 4583 0 0 16 0 1 0 1788243034 25182208 2931 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/766/statm): 6148 2931 413 48 0 6100 0
[pid=766] vsize: 24592
Current children cumulated CPU time (s) 268.51
Current children cumulated vsize (Kb) 26720
[startup+370.029 s]
Raw data (loadavg): 1.12 1.01 0.97 2/57 766
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1788243027 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 242 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/766/stat): 766 (vallst) R 763 763 15400 0 -1 0 3200 0 0 0 22793 4740 0 0 16 0 1 0 1788243034 25182208 2935 4294967295 134512640 134702520 3221223952 3221222976 134552550 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/766/statm): 6148 2935 413 48 0 6100 0
[pid=766] vsize: 24592
Current children cumulated CPU time (s) 275.35
Current children cumulated vsize (Kb) 26720
[startup+380.029 s]
Raw data (loadavg): 1.10 1.01 0.97 1/57 766
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1788243027 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 242 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/766/stat): 766 (vallst) T 763 763 15400 0 -1 0 3260 0 0 0 23322 4888 0 0 16 0 1 0 1788243034 25337856 2994 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/766/statm): 6186 2994 413 48 0 6138 0
[pid=766] vsize: 24744
Current children cumulated CPU time (s) 282.12
Current children cumulated vsize (Kb) 26872
[startup+390.031 s]
Raw data (loadavg): 1.08 1.01 0.97 2/57 766
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1788243027 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 242 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/766/stat): 766 (vallst) R 763 763 15400 0 -1 0 3260 0 0 0 24055 4980 0 0 16 0 1 0 1788243034 25337856 2994 4294967295 134512640 134702520 3221223952 3221222848 134550393 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/766/statm): 6186 2994 413 48 0 6138 0
[pid=766] vsize: 24744
Current children cumulated CPU time (s) 290.37
Current children cumulated vsize (Kb) 26872
[startup+400.031 s]
Raw data (loadavg): 1.07 1.01 0.97 1/57 766
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1788243027 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 242 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/766/stat): 766 (vallst) T 763 763 15400 0 -1 0 3262 0 0 0 24720 5090 0 0 15 0 1 0 1788243034 25182208 2995 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/766/statm): 6148 2995 413 48 0 6100 0
[pid=766] vsize: 24592
Current children cumulated CPU time (s) 298.12
Current children cumulated vsize (Kb) 26720
[startup+410.031 s]
Raw data (loadavg): 1.06 1.01 0.97 1/57 766
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1788243027 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 242 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/766/stat): 766 (vallst) T 763 763 15400 0 -1 0 3277 0 0 0 25258 5249 0 0 16 0 1 0 1788243034 25337856 3009 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/766/statm): 6186 3009 413 48 0 6138 0
[pid=766] vsize: 24744
Current children cumulated CPU time (s) 305.09
Current children cumulated vsize (Kb) 26872
[startup+420.032 s]
Raw data (loadavg): 1.20 1.04 0.98 1/57 766
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1788243027 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 242 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/766/stat): 766 (vallst) T 763 763 15400 0 -1 0 3295 0 0 0 25788 5408 0 0 16 0 1 0 1788243034 25493504 3024 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/766/statm): 6224 3024 413 48 0 6176 0
[pid=766] vsize: 24896
Current children cumulated CPU time (s) 311.98
Current children cumulated vsize (Kb) 27024
[startup+430.032 s]
Raw data (loadavg): 1.17 1.04 0.98 1/57 766
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1788243027 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 242 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/766/stat): 766 (vallst) T 763 763 15400 0 -1 0 3295 0 0 0 26522 5499 0 0 16 0 1 0 1788243034 25493504 3024 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/766/statm): 6224 3024 413 48 0 6176 0
[pid=766] vsize: 24896
Current children cumulated CPU time (s) 320.23
Current children cumulated vsize (Kb) 27024
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=766) exited with status: 2
New process pid=767
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=767) exited with status: 0
New process pid=768
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+440.033 s]
Raw data (loadavg): 1.15 1.04 0.98 1/57 768
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 378 3670 0 0 2 1 27085 5566 17 0 1 0 1788243027 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 248 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/768/stat): 768 (vallst) T 763 763 15400 0 -1 0 2086 0 0 0 221 14 0 0 16 0 1 0 1788286789 11448320 2056 4294967295 134512640 134702520 3221223712 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/768/statm): 2795 2056 413 48 0 2747 0
[pid=768] vsize: 11180
Current children cumulated CPU time (s) 328.89
Current children cumulated vsize (Kb) 13308
[startup+450.034 s]
Raw data (loadavg): 1.20 1.05 0.98 1/57 768
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 378 3670 0 0 2 1 27085 5566 17 0 1 0 1788243027 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 248 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/768/stat): 768 (vallst) T 763 763 15400 0 -1 0 2202 0 0 0 733 173 0 0 17 0 1 0 1788286789 12144640 2172 4294967295 134512640 134702520 3221223712 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/768/statm): 2965 2172 413 48 0 2917 0
[pid=768] vsize: 11860
Current children cumulated CPU time (s) 335.6
Current children cumulated vsize (Kb) 13988
[startup+460.034 s]
Raw data (loadavg): 1.17 1.05 0.98 1/57 768
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 378 3670 0 0 2 1 27085 5566 17 0 1 0 1788243027 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 248 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/768/stat): 768 (vallst) T 763 763 15400 0 -1 0 2204 0 0 0 1213 337 0 0 16 0 1 0 1788286789 12300288 2174 4294967295 134512640 134702520 3221223712 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/768/statm): 3003 2174 413 48 0 2955 0
[pid=768] vsize: 12012
Current children cumulated CPU time (s) 342.04
Current children cumulated vsize (Kb) 14140
[startup+470.035 s]
Raw data (loadavg): 1.14 1.05 0.98 1/57 768
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 378 3670 0 0 2 1 27085 5566 17 0 1 0 1788243027 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 248 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/768/stat): 768 (vallst) T 763 763 15400 0 -1 0 2305 0 0 0 1677 515 0 0 16 0 1 0 1788286789 23236608 2267 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/768/statm): 5673 2267 413 48 0 5625 0
[pid=768] vsize: 22692
Current children cumulated CPU time (s) 348.46
Current children cumulated vsize (Kb) 24820
[startup+480.035 s]
Raw data (loadavg): 1.12 1.05 0.98 1/57 768
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 378 3670 0 0 2 1 27085 5566 17 0 1 0 1788243027 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 248 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/768/stat): 768 (vallst) T 763 763 15400 0 -1 0 2321 0 0 0 2147 689 0 0 16 0 1 0 1788286789 23392256 2277 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/768/statm): 5711 2277 413 48 0 5663 0
[pid=768] vsize: 22844
Current children cumulated CPU time (s) 354.9
Current children cumulated vsize (Kb) 24972
[startup+490.037 s]
Raw data (loadavg): 1.10 1.05 0.98 1/57 768
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 378 3670 0 0 2 1 27085 5566 17 0 1 0 1788243027 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 248 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/768/stat): 768 (vallst) T 763 763 15400 0 -1 0 2322 0 0 0 2684 849 0 0 16 0 1 0 1788286789 23392256 2278 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/768/statm): 5711 2278 413 48 0 5663 0
[pid=768] vsize: 22844
Current children cumulated CPU time (s) 361.87
Current children cumulated vsize (Kb) 24972
[startup+500.038 s]
Raw data (loadavg): 1.09 1.04 0.98 1/57 768
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 378 3670 0 0 2 1 27085 5566 17 0 1 0 1788243027 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 248 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/768/stat): 768 (vallst) T 763 763 15400 0 -1 0 2326 0 0 0 3125 1028 0 0 16 0 1 0 1788286789 23236608 2278 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/768/statm): 5673 2278 413 48 0 5625 0
[pid=768] vsize: 22692
Current children cumulated CPU time (s) 368.07
Current children cumulated vsize (Kb) 24820
[startup+510.037 s]
Raw data (loadavg): 1.15 1.06 0.99 1/57 768
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 378 3670 0 0 2 1 27085 5566 17 0 1 0 1788243027 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 248 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/768/stat): 768 (vallst) T 763 763 15400 0 -1 0 2338 0 0 0 3582 1202 0 0 16 0 1 0 1788286789 23236608 2284 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/768/statm): 5673 2284 413 48 0 5625 0
[pid=768] vsize: 22692
Current children cumulated CPU time (s) 374.38
Current children cumulated vsize (Kb) 24820
[startup+520.038 s]
Raw data (loadavg): 1.20 1.07 0.99 1/57 768
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 378 3670 0 0 2 1 27085 5566 17 0 1 0 1788243027 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 248 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/768/stat): 768 (vallst) T 763 763 15400 0 -1 0 2347 0 0 0 4060 1376 0 0 16 0 1 0 1788286789 23392256 2289 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/768/statm): 5711 2289 413 48 0 5663 0
[pid=768] vsize: 22844
Current children cumulated CPU time (s) 380.9
Current children cumulated vsize (Kb) 24972
[startup+530.039 s]
Raw data (loadavg): 1.17 1.07 0.99 1/57 768
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 378 3670 0 0 2 1 27085 5566 17 0 1 0 1788243027 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 248 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/768/stat): 768 (vallst) T 763 763 15400 0 -1 0 2347 0 0 0 4587 1534 0 0 16 0 1 0 1788286789 23392256 2289 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/768/statm): 5711 2289 413 48 0 5663 0
[pid=768] vsize: 22844
Current children cumulated CPU time (s) 387.75
Current children cumulated vsize (Kb) 24972
[startup+540.039 s]
Raw data (loadavg): 1.14 1.07 0.99 1/57 768
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 378 3670 0 0 2 1 27085 5566 17 0 1 0 1788243027 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 248 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/768/stat): 768 (vallst) T 763 763 15400 0 -1 0 2356 0 0 0 4999 1725 0 0 16 0 1 0 1788286789 23236608 2292 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/768/statm): 5673 2292 413 48 0 5625 0
[pid=768] vsize: 22692
Current children cumulated CPU time (s) 393.78
Current children cumulated vsize (Kb) 24820
[startup+550.041 s]
Raw data (loadavg): 1.20 1.08 1.00 1/57 768
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 378 3670 0 0 2 1 27085 5566 17 0 1 0 1788243027 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 248 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/768/stat): 768 (vallst) T 763 763 15400 0 -1 0 2366 0 0 0 5456 1901 0 0 16 0 1 0 1788286789 23236608 2296 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/768/statm): 5673 2296 413 48 0 5625 0
[pid=768] vsize: 22692
Current children cumulated CPU time (s) 400.11
Current children cumulated vsize (Kb) 24820
[startup+560.042 s]
Raw data (loadavg): 1.17 1.08 1.00 1/57 768
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 378 3670 0 0 2 1 27085 5566 17 0 1 0 1788243027 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 248 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/768/stat): 768 (vallst) T 763 763 15400 0 -1 0 2372 0 0 0 5956 2071 0 0 15 0 1 0 1788286789 23392256 2300 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/768/statm): 5711 2300 413 48 0 5663 0
[pid=768] vsize: 22844
Current children cumulated CPU time (s) 406.81
Current children cumulated vsize (Kb) 24972
[startup+570.042 s]
Raw data (loadavg): 1.14 1.07 1.00 1/57 768
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 378 3670 0 0 2 1 27085 5566 17 0 1 0 1788243027 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 248 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/768/stat): 768 (vallst) T 763 763 15400 0 -1 0 2373 0 0 0 6466 2233 0 0 15 0 1 0 1788286789 23547904 2301 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/768/statm): 5749 2301 413 48 0 5701 0
[pid=768] vsize: 22996
Current children cumulated CPU time (s) 413.53
Current children cumulated vsize (Kb) 25124
[startup+580.043 s]
Raw data (loadavg): 1.12 1.07 1.00 2/57 768
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 378 3670 0 0 2 1 27085 5566 17 0 1 0 1788243027 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 248 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/768/stat): 768 (vallst) R 763 763 15400 0 -1 0 2380 0 0 0 6891 2423 0 0 16 0 1 0 1788286789 23080960 2300 4294967295 134512640 134702520 3221223712 3221212588 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/768/statm): 5635 2300 413 48 0 5587 0
[pid=768] vsize: 22540
Current children cumulated CPU time (s) 419.68
Current children cumulated vsize (Kb) 24668
[startup+590.043 s]
Raw data (loadavg): 1.10 1.07 1.00 1/57 768
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 378 3670 0 0 2 1 27085 5566 17 0 1 0 1788243027 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 248 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/768/stat): 768 (vallst) T 763 763 15400 0 -1 0 2392 0 0 0 7381 2591 0 0 16 0 1 0 1788286789 23371776 2306 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/768/statm): 5706 2306 413 48 0 5658 0
[pid=768] vsize: 22824
Current children cumulated CPU time (s) 426.26
Current children cumulated vsize (Kb) 24952
[startup+600.044 s]
Raw data (loadavg): 1.09 1.07 1.00 1/57 768
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 378 3670 0 0 2 1 27085 5566 17 0 1 0 1788243027 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 248 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/768/stat): 768 (vallst) T 763 763 15400 0 -1 0 2393 0 0 0 7892 2760 0 0 16 0 1 0 1788286789 23527424 2307 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/768/statm): 5744 2307 413 48 0 5696 0
[pid=768] vsize: 22976
Current children cumulated CPU time (s) 433.06
Current children cumulated vsize (Kb) 25104
[startup+610.045 s]
Raw data (loadavg): 1.15 1.08 1.00 1/57 768
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 378 3670 0 0 2 1 27085 5566 17 0 1 0 1788243027 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 248 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/768/stat): 768 (vallst) T 763 763 15400 0 -1 0 2394 0 0 0 8373 2938 0 0 16 0 1 0 1788286789 23683072 2308 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/768/statm): 5782 2308 413 48 0 5734 0
[pid=768] vsize: 23128
Current children cumulated CPU time (s) 439.65
Current children cumulated vsize (Kb) 25256
[startup+620.045 s]
Raw data (loadavg): 1.13 1.08 1.00 1/57 768
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 378 3670 0 0 2 1 27085 5566 17 0 1 0 1788243027 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 248 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/768/stat): 768 (vallst) T 763 763 15400 0 -1 0 2402 0 0 0 8823 3117 0 0 16 0 1 0 1788286789 23371776 2308 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/768/statm): 5706 2308 413 48 0 5658 0
[pid=768] vsize: 22824
Current children cumulated CPU time (s) 445.94
Current children cumulated vsize (Kb) 24952
[startup+630.046 s]
Raw data (loadavg): 1.11 1.07 1.00 1/57 768
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 378 3670 0 0 2 1 27085 5566 17 0 1 0 1788243027 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 248 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/768/stat): 768 (vallst) T 763 763 15400 0 -1 0 2414 0 0 0 9292 3295 0 0 16 0 1 0 1788286789 23371776 2314 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/768/statm): 5706 2314 413 48 0 5658 0
[pid=768] vsize: 22824
Current children cumulated CPU time (s) 452.41
Current children cumulated vsize (Kb) 24952
[startup+640.048 s]
Raw data (loadavg): 1.09 1.07 1.00 2/57 768
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 378 3670 0 0 2 1 27085 5566 17 0 1 0 1788243027 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 248 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/768/stat): 768 (vallst) R 763 763 15400 0 -1 0 2415 0 0 0 9829 3447 0 0 15 0 1 0 1788286789 23527424 2315 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/768/statm): 5744 2315 413 48 0 5696 0
[pid=768] vsize: 22976
Current children cumulated CPU time (s) 459.3
Current children cumulated vsize (Kb) 25104
[startup+650.048 s]
Raw data (loadavg): 1.16 1.08 1.01 2/57 768
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 378 3670 0 0 2 1 27085 5566 17 0 1 0 1788243027 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 248 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/768/stat): 768 (vallst) R 763 763 15400 0 -1 0 2418 0 0 0 10286 3626 0 0 16 0 1 0 1788286789 23216128 2314 4294967295 134512640 134702520 3221223712 3221192768 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/768/statm): 5668 2314 413 48 0 5620 0
[pid=768] vsize: 22672
Current children cumulated CPU time (s) 465.66
Current children cumulated vsize (Kb) 24800
[startup+660.048 s]
Raw data (loadavg): 1.13 1.08 1.00 1/57 768
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 378 3670 0 0 2 1 27085 5566 17 0 1 0 1788243027 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 248 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/768/stat): 768 (vallst) T 763 763 15400 0 -1 0 2428 0 0 0 10760 3797 0 0 16 0 1 0 1788286789 23371776 2318 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/768/statm): 5706 2318 413 48 0 5658 0
[pid=768] vsize: 22824
Current children cumulated CPU time (s) 472.11
Current children cumulated vsize (Kb) 24952
[startup+670.05 s]
Raw data (loadavg): 1.11 1.08 1.00 2/57 768
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 378 3670 0 0 2 1 27085 5566 17 0 1 0 1788243027 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 248 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/768/stat): 768 (vallst) R 763 763 15400 0 -1 0 2435 0 0 0 11230 3974 0 0 16 0 1 0 1788286789 23527424 2321 4294967295 134512640 134702520 3221223712 3221222608 134550642 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/768/statm): 5744 2321 413 48 0 5696 0
[pid=768] vsize: 22976
Current children cumulated CPU time (s) 478.58
Current children cumulated vsize (Kb) 25104
[startup+680.05 s]
Raw data (loadavg): 1.17 1.09 1.01 1/57 768
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 378 3670 0 0 2 1 27085 5566 17 0 1 0 1788243027 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 248 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/768/stat): 768 (vallst) T 763 763 15400 0 -1 0 2435 0 0 0 11771 4129 0 0 16 0 1 0 1788286789 23527424 2321 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/768/statm): 5744 2321 413 48 0 5696 0
[pid=768] vsize: 22976
Current children cumulated CPU time (s) 485.54
Current children cumulated vsize (Kb) 25104
[startup+690.051 s]
Raw data (loadavg): 1.14 1.09 1.01 1/57 768
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 378 3670 0 0 2 1 27085 5566 17 0 1 0 1788243027 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 248 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/768/stat): 768 (vallst) T 763 763 15400 0 -1 0 2440 0 0 0 12200 4322 0 0 16 0 1 0 1788286789 23371776 2322 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/768/statm): 5706 2322 413 48 0 5658 0
[pid=768] vsize: 22824
Current children cumulated CPU time (s) 491.76
Current children cumulated vsize (Kb) 24952
[startup+700.052 s]
Raw data (loadavg): 1.12 1.08 1.01 1/57 768
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 378 3670 0 0 2 1 27085 5566 17 0 1 0 1788243027 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 248 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/768/stat): 768 (vallst) T 763 763 15400 0 -1 0 2451 0 0 0 12668 4497 0 0 16 0 1 0 1788286789 23371776 2327 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/768/statm): 5706 2327 413 48 0 5658 0
[pid=768] vsize: 22824
Current children cumulated CPU time (s) 498.19
Current children cumulated vsize (Kb) 24952
[startup+710.052 s]
Raw data (loadavg): 1.17 1.10 1.01 1/57 768
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 378 3670 0 0 2 1 27085 5566 17 0 1 0 1788243027 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 248 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/768/stat): 768 (vallst) T 763 763 15400 0 -1 0 2457 0 0 0 13162 4663 0 0 16 0 1 0 1788286789 23527424 2329 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/768/statm): 5744 2329 413 48 0 5696 0
[pid=768] vsize: 22976
Current children cumulated CPU time (s) 504.79
Current children cumulated vsize (Kb) 25104
[startup+720.053 s]
Raw data (loadavg): 1.15 1.09 1.01 1/57 768
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 378 3670 0 0 2 1 27085 5566 17 0 1 0 1788243027 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 248 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/768/stat): 768 (vallst) T 763 763 15400 0 -1 0 2457 0 0 0 13687 4823 0 0 16 0 1 0 1788286789 23527424 2329 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/768/statm): 5744 2329 413 48 0 5696 0
[pid=768] vsize: 22976
Current children cumulated CPU time (s) 511.64
Current children cumulated vsize (Kb) 25104
[startup+730.053 s]
Raw data (loadavg): 1.20 1.11 1.01 1/57 768
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 378 3670 0 0 2 1 27085 5566 17 0 1 0 1788243027 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 248 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/768/stat): 768 (vallst) T 763 763 15400 0 -1 0 2464 0 0 0 14117 5014 0 0 15 0 1 0 1788286789 23371776 2330 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/768/statm): 5706 2330 413 48 0 5658 0
[pid=768] vsize: 22824
Current children cumulated CPU time (s) 517.85
Current children cumulated vsize (Kb) 24952
[startup+740.055 s]
Raw data (loadavg): 1.25 1.12 1.02 2/57 768
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 378 3670 0 0 2 1 27085 5566 17 0 1 0 1788243027 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 248 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/768/stat): 768 (vallst) R 763 763 15400 0 -1 0 2478 0 0 0 14591 5186 0 0 16 0 1 0 1788286789 23371776 2338 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/768/statm): 5706 2338 413 48 0 5658 0
[pid=768] vsize: 22824
Current children cumulated CPU time (s) 524.31
Current children cumulated vsize (Kb) 24952
[startup+750.056 s]
Raw data (loadavg): 1.21 1.11 1.02 1/57 768
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 378 3670 0 0 2 1 27085 5566 17 0 1 0 1788243027 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 248 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/768/stat): 768 (vallst) T 763 763 15400 0 -1 0 2483 0 0 0 15083 5349 0 0 16 0 1 0 1788286789 23527424 2341 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/768/statm): 5744 2341 413 48 0 5696 0
[pid=768] vsize: 22976
Current children cumulated CPU time (s) 530.86
Current children cumulated vsize (Kb) 25104
[startup+760.056 s]
Raw data (loadavg): 1.18 1.11 1.02 1/57 768
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 378 3670 0 0 2 1 27085 5566 17 0 1 0 1788243027 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 248 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/768/stat): 768 (vallst) T 763 763 15400 0 -1 0 2483 0 0 0 15603 5506 0 0 16 0 1 0 1788286789 23527424 2341 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/768/statm): 5744 2341 413 48 0 5696 0
[pid=768] vsize: 22976
Current children cumulated CPU time (s) 537.63
Current children cumulated vsize (Kb) 25104
[startup+770.057 s]
Raw data (loadavg): 1.15 1.11 1.02 1/57 768
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 378 3670 0 0 2 1 27085 5566 17 0 1 0 1788243027 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 248 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/768/stat): 768 (vallst) T 763 763 15400 0 -1 0 2491 0 0 0 16018 5699 0 0 15 0 1 0 1788286789 23371776 2343 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/768/statm): 5706 2343 413 48 0 5658 0
[pid=768] vsize: 22824
Current children cumulated CPU time (s) 543.71
Current children cumulated vsize (Kb) 24952
[startup+780.058 s]
Raw data (loadavg): 1.13 1.10 1.01 1/57 768
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 378 3670 0 0 2 1 27085 5566 17 0 1 0 1788243027 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 248 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/768/stat): 768 (vallst) T 763 763 15400 0 -1 0 2503 0 0 0 16497 5868 0 0 15 0 1 0 1788286789 23371776 2349 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/768/statm): 5706 2349 413 48 0 5658 0
[pid=768] vsize: 22824
Current children cumulated CPU time (s) 550.19
Current children cumulated vsize (Kb) 24952
[startup+790.059 s]
Raw data (loadavg): 1.19 1.12 1.02 1/57 768
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 378 3670 0 0 2 1 27085 5566 17 0 1 0 1788243027 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 248 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/768/stat): 768 (vallst) T 763 763 15400 0 -1 0 2510 0 0 0 16998 6031 0 0 16 0 1 0 1788286789 23527424 2354 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/768/statm): 5744 2354 413 48 0 5696 0
[pid=768] vsize: 22976
Current children cumulated CPU time (s) 556.83
Current children cumulated vsize (Kb) 25104
[startup+800.06 s]
Raw data (loadavg): 1.16 1.11 1.02 1/57 768
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 378 3670 0 0 2 1 27085 5566 17 0 1 0 1788243027 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 248 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/768/stat): 768 (vallst) T 763 763 15400 0 -1 0 2511 0 0 0 17496 6200 0 0 16 0 1 0 1788286789 23683072 2355 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/768/statm): 5782 2355 413 48 0 5734 0
[pid=768] vsize: 23128
Current children cumulated CPU time (s) 563.5
Current children cumulated vsize (Kb) 25256
[startup+810.06 s]
Raw data (loadavg): 1.13 1.11 1.02 2/57 768
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 378 3670 0 0 2 1 27085 5566 17 0 1 0 1788243027 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 248 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/768/stat): 768 (vallst) R 763 763 15400 0 -1 0 2649 0 0 0 17941 6382 0 0 16 0 1 0 1788286789 23506944 2487 4294967295 134512640 134702520 3221223712 3221152268 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/768/statm): 5739 2487 413 48 0 5691 0
[pid=768] vsize: 22956
Current children cumulated CPU time (s) 569.77
Current children cumulated vsize (Kb) 25084
[startup+820.061 s]
Raw data (loadavg): 1.19 1.12 1.02 1/57 768
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 378 3670 0 0 2 1 27085 5566 17 0 1 0 1788243027 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 248 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/768/stat): 768 (vallst) T 763 763 15400 0 -1 0 3191 0 0 0 18508 6531 0 0 16 0 1 0 1788286789 25190400 3024 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/768/statm): 6150 3024 413 48 0 6102 0
[pid=768] vsize: 24600
Current children cumulated CPU time (s) 576.93
Current children cumulated vsize (Kb) 26728
[startup+830.062 s]
Raw data (loadavg): 1.16 1.12 1.02 1/57 768
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 378 3670 0 0 2 1 27085 5566 17 0 1 0 1788243027 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 248 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/768/stat): 768 (vallst) T 763 763 15400 0 -1 0 3352 0 0 0 19048 6684 0 0 15 0 1 0 1788286789 26894336 3183 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/768/statm): 6566 3183 413 48 0 6518 0
[pid=768] vsize: 26264
Current children cumulated CPU time (s) 583.86
Current children cumulated vsize (Kb) 28392
[startup+840.063 s]
Raw data (loadavg): 1.14 1.11 1.02 1/57 768
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 378 3670 0 0 2 1 27085 5566 17 0 1 0 1788243027 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 248 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/768/stat): 768 (vallst) T 763 763 15400 0 -1 0 3352 0 0 0 19586 6837 0 0 16 0 1 0 1788286789 26894336 3183 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/768/statm): 6566 3183 413 48 0 6518 0
[pid=768] vsize: 26264
Current children cumulated CPU time (s) 590.77
Current children cumulated vsize (Kb) 28392
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=768) exited with status: 2
New process pid=769
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=769) exited with status: 0
New process pid=770
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+850.064 s]
Raw data (loadavg): 1.12 1.11 1.02 1/57 770
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 417 7168 0 0 2 1 46957 12529 17 0 1 0 1788243027 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 248 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/770/stat): 770 (vallst) T 763 763 15400 0 -1 0 2080 0 0 0 245 45 0 0 17 0 1 0 1788327681 11223040 2051 4294967295 134512640 134702520 3221223712 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/770/statm): 2740 2051 413 48 0 2692 0
[pid=770] vsize: 10960
Current children cumulated CPU time (s) 597.79
Current children cumulated vsize (Kb) 13088
[startup+860.064 s]
Raw data (loadavg): 1.17 1.12 1.02 1/57 770
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 417 7168 0 0 2 1 46957 12529 17 0 1 0 1788243027 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 248 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/770/stat): 770 (vallst) T 763 763 15400 0 -1 0 2124 0 0 0 731 203 0 0 17 0 1 0 1788327681 11649024 2095 4294967295 134512640 134702520 3221223712 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/770/statm): 2844 2095 413 48 0 2796 0
[pid=770] vsize: 11376
Current children cumulated CPU time (s) 604.23
Current children cumulated vsize (Kb) 13504
[startup+870.064 s]
Raw data (loadavg): 1.22 1.13 1.03 1/57 770
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 417 7168 0 0 2 1 46957 12529 17 0 1 0 1788243027 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 248 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/770/stat): 770 (vallst) T 763 763 15400 0 -1 0 2247 0 0 0 1128 393 0 0 16 0 1 0 1788327681 21475328 2214 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/770/statm): 5243 2214 413 48 0 5195 0
[pid=770] vsize: 20972
Current children cumulated CPU time (s) 610.1
Current children cumulated vsize (Kb) 23100
[startup+880.065 s]
Raw data (loadavg): 1.19 1.13 1.03 1/57 770
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 417 7168 0 0 2 1 46957 12529 17 0 1 0 1788243027 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 248 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/770/stat): 770 (vallst) T 763 763 15400 0 -1 0 2287 0 0 0 1596 562 0 0 16 0 1 0 1788327681 21610496 2248 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/770/statm): 5276 2248 413 48 0 5228 0
[pid=770] vsize: 21104
Current children cumulated CPU time (s) 616.47
Current children cumulated vsize (Kb) 23232
[startup+890.066 s]
Raw data (loadavg): 1.16 1.12 1.02 1/57 770
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 417 7168 0 0 2 1 46957 12529 17 0 1 0 1788243027 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 248 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/770/stat): 770 (vallst) T 763 763 15400 0 -1 0 2305 0 0 0 2074 737 0 0 16 0 1 0 1788327681 21766144 2262 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/770/statm): 5314 2262 413 48 0 5266 0
[pid=770] vsize: 21256
Current children cumulated CPU time (s) 623
Current children cumulated vsize (Kb) 23384
[startup+900.066 s]
Raw data (loadavg): 1.13 1.12 1.02 1/57 770
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 417 7168 0 0 2 1 46957 12529 17 0 1 0 1788243027 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 248 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/770/stat): 770 (vallst) T 763 763 15400 0 -1 0 2306 0 0 0 2536 912 0 0 16 0 1 0 1788327681 21921792 2263 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/770/statm): 5352 2263 413 48 0 5304 0
[pid=770] vsize: 21408
Current children cumulated CPU time (s) 629.37
Current children cumulated vsize (Kb) 23536
[startup+910.067 s]
Raw data (loadavg): 1.11 1.11 1.02 2/57 770
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 417 7168 0 0 2 1 46957 12529 17 0 1 0 1788243027 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 248 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/770/stat): 770 (vallst) R 763 763 15400 0 -1 0 2316 0 0 0 2921 1109 0 0 16 0 1 0 1788327681 21454848 2265 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/770/statm): 5238 2265 413 48 0 5190 0
[pid=770] vsize: 20952
Current children cumulated CPU time (s) 635.19
Current children cumulated vsize (Kb) 23080
[startup+920.067 s]
Raw data (loadavg): 1.25 1.14 1.03 1/57 770
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 417 7168 0 0 2 1 46957 12529 17 0 1 0 1788243027 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 248 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/770/stat): 770 (vallst) T 763 763 15400 0 -1 0 2333 0 0 0 3384 1280 0 0 15 0 1 0 1788327681 21590016 2276 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/770/statm): 5271 2276 413 48 0 5223 0
[pid=770] vsize: 21084
Current children cumulated CPU time (s) 641.53
Current children cumulated vsize (Kb) 23212
[startup+930.068 s]
Raw data (loadavg): 1.21 1.14 1.03 1/57 770
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 417 7168 0 0 2 1 46957 12529 17 0 1 0 1788243027 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 248 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/770/stat): 770 (vallst) T 763 763 15400 0 -1 0 2336 0 0 0 3854 1446 0 0 16 0 1 0 1788327681 21901312 2279 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/770/statm): 5347 2279 413 48 0 5299 0
[pid=770] vsize: 21388
Current children cumulated CPU time (s) 647.89
Current children cumulated vsize (Kb) 23516
[startup+940.07 s]
Raw data (loadavg): 1.25 1.15 1.04 2/57 770
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 417 7168 0 0 2 1 46957 12529 17 0 1 0 1788243027 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 248 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/770/stat): 770 (vallst) R 763 763 15400 0 -1 0 2339 0 0 0 4234 1650 0 0 17 0 1 0 1788327681 21590016 2278 4294967295 134512640 134702520 3221223712 3221152288 134612103 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/770/statm): 5271 2278 413 48 0 5223 0
[pid=770] vsize: 21084
Current children cumulated CPU time (s) 653.73
Current children cumulated vsize (Kb) 23212
[startup+950.07 s]
Raw data (loadavg): 1.21 1.14 1.04 2/57 770
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 417 7168 0 0 2 1 46957 12529 17 0 1 0 1788243027 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 248 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/770/stat): 770 (vallst) R 763 763 15400 0 -1 0 2354 0 0 0 4706 1821 0 0 16 0 1 0 1788327681 21590016 2287 4294967295 134512640 134702520 3221223712 3221203788 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/770/statm): 5271 2287 413 48 0 5223 0
[pid=770] vsize: 21084
Current children cumulated CPU time (s) 660.16
Current children cumulated vsize (Kb) 23212
[startup+960.071 s]
Raw data (loadavg): 1.18 1.14 1.03 1/57 770
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 417 7168 0 0 2 1 46957 12529 17 0 1 0 1788243027 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 248 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/770/stat): 770 (vallst) T 763 763 15400 0 -1 0 2363 0 0 0 5179 1990 0 0 16 0 1 0 1788327681 21901312 2292 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/770/statm): 5347 2292 413 48 0 5299 0
[pid=770] vsize: 21388
Current children cumulated CPU time (s) 666.58
Current children cumulated vsize (Kb) 23516
[startup+970.072 s]
Raw data (loadavg): 1.23 1.15 1.04 1/57 770
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 417 7168 0 0 2 1 46957 12529 17 0 1 0 1788243027 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 248 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/770/stat): 770 (vallst) T 763 763 15400 0 -1 0 2363 0 0 0 5643 2171 0 0 16 0 1 0 1788327681 21901312 2292 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/770/statm): 5347 2292 413 48 0 5299 0
[pid=770] vsize: 21388
Current children cumulated CPU time (s) 673.03
Current children cumulated vsize (Kb) 23516
[startup+980.072 s]
Raw data (loadavg): 1.28 1.16 1.04 2/57 770
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 417 7168 0 0 2 1 46957 12529 17 0 1 0 1788243027 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 248 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/770/stat): 770 (vallst) R 763 763 15400 0 -1 0 2370 0 0 0 6037 2374 0 0 16 0 1 0 1788327681 21590016 2293 4294967295 134512640 134702520 3221223712 3221206348 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/770/statm): 5271 2293 413 48 0 5223 0
[pid=770] vsize: 21084
Current children cumulated CPU time (s) 679
Current children cumulated vsize (Kb) 23212
[startup+990.074 s]
Raw data (loadavg): 1.31 1.17 1.05 2/57 770
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 417 7168 0 0 2 1 46957 12529 17 0 1 0 1788243027 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 248 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/770/stat): 770 (vallst) R 763 763 15400 0 -1 0 2381 0 0 0 6496 2556 0 0 16 0 1 0 1788327681 21590016 2298 4294967295 134512640 134702520 3221223712 3221196928 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/770/statm): 5271 2298 413 48 0 5223 0
[pid=770] vsize: 21084
Current children cumulated CPU time (s) 685.41
Current children cumulated vsize (Kb) 23212
[startup+1000.07 s]
Raw data (loadavg): 1.26 1.17 1.05 1/57 770
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 417 7168 0 0 2 1 46957 12529 17 0 1 0 1788243027 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 248 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/770/stat): 770 (vallst) T 763 763 15400 0 -1 0 2386 0 0 0 6951 2736 0 0 15 0 1 0 1788327681 21901312 2301 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/770/statm): 5347 2301 413 48 0 5299 0
[pid=770] vsize: 21388
Current children cumulated CPU time (s) 691.76
Current children cumulated vsize (Kb) 23516
[startup+1010.08 s]
Raw data (loadavg): 1.30 1.18 1.05 1/57 770
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 417 7168 0 0 2 1 46957 12529 17 0 1 0 1788243027 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 248 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/770/stat): 770 (vallst) T 763 763 15400 0 -1 0 2387 0 0 0 7371 2925 0 0 15 0 1 0 1788327681 22056960 2302 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/770/statm): 5385 2302 413 48 0 5337 0
[pid=770] vsize: 21540
Current children cumulated CPU time (s) 697.85
Current children cumulated vsize (Kb) 23668
[startup+1020.08 s]
Raw data (loadavg): 1.25 1.17 1.05 2/57 770
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 417 7168 0 0 2 1 46957 12529 17 0 1 0 1788243027 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 248 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/770/stat): 770 (vallst) T 763 763 15400 0 -1 0 2400 0 0 0 7783 3124 0 0 15 0 1 0 1788327681 21745664 2307 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/770/statm): 5309 2307 413 48 0 5261 0
[pid=770] vsize: 21236
Current children cumulated CPU time (s) 703.96
Current children cumulated vsize (Kb) 23364
[startup+1030.08 s]
Raw data (loadavg): 1.21 1.16 1.05 1/57 770
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 417 7168 0 0 2 1 46957 12529 17 0 1 0 1788243027 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 248 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/770/stat): 770 (vallst) T 763 763 15400 0 -1 0 2409 0 0 0 8244 3298 0 0 16 0 1 0 1788327681 21590016 2310 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/770/statm): 5271 2310 413 48 0 5223 0
[pid=770] vsize: 21084
Current children cumulated CPU time (s) 710.31
Current children cumulated vsize (Kb) 23212
[startup+1040.08 s]
Raw data (loadavg): 1.18 1.16 1.05 1/57 770
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 417 7168 0 0 2 1 46957 12529 17 0 1 0 1788243027 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 248 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/770/stat): 770 (vallst) T 763 763 15400 0 -1 0 2412 0 0 0 8709 3474 0 0 16 0 1 0 1788327681 21901312 2313 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/770/statm): 5347 2313 413 48 0 5299 0
[pid=770] vsize: 21388
Current children cumulated CPU time (s) 716.72
Current children cumulated vsize (Kb) 23516
[startup+1050.08 s]
Raw data (loadavg): 1.23 1.17 1.05 1/57 770
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 417 7168 0 0 2 1 46957 12529 17 0 1 0 1788243027 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 248 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/770/stat): 770 (vallst) T 763 763 15400 0 -1 0 2416 0 0 0 9087 3676 0 0 16 0 1 0 1788327681 21745664 2313 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/770/statm): 5309 2313 413 48 0 5261 0
[pid=770] vsize: 21236
Current children cumulated CPU time (s) 722.52
Current children cumulated vsize (Kb) 23364
[startup+1060.08 s]
Raw data (loadavg): 1.20 1.16 1.05 1/57 770
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 417 7168 0 0 2 1 46957 12529 17 0 1 0 1788243027 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 248 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/770/stat): 770 (vallst) T 763 763 15400 0 -1 0 2427 0 0 0 9556 3854 0 0 16 0 1 0 1788327681 21725184 2318 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/770/statm): 5304 2318 413 48 0 5256 0
[pid=770] vsize: 21216
Current children cumulated CPU time (s) 728.99
Current children cumulated vsize (Kb) 23344
[startup+1070.08 s]
Raw data (loadavg): 1.25 1.17 1.06 1/57 770
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 417 7168 0 0 2 1 46957 12529 17 0 1 0 1788243027 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 248 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/770/stat): 770 (vallst) T 763 763 15400 0 -1 0 2435 0 0 0 10025 4029 0 0 15 0 1 0 1788327681 22036480 2322 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/770/statm): 5380 2322 413 48 0 5332 0
[pid=770] vsize: 21520
Current children cumulated CPU time (s) 735.43
Current children cumulated vsize (Kb) 23648
[startup+1080.08 s]
Raw data (loadavg): 1.21 1.17 1.05 1/57 770
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 417 7168 0 0 2 1 46957 12529 17 0 1 0 1788243027 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 248 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/770/stat): 770 (vallst) T 763 763 15400 0 -1 0 2435 0 0 0 10489 4202 0 0 16 0 1 0 1788327681 22036480 2322 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/770/statm): 5380 2322 413 48 0 5332 0
[pid=770] vsize: 21520
Current children cumulated CPU time (s) 741.8
Current children cumulated vsize (Kb) 23648
[startup+1090.08 s]
Raw data (loadavg): 1.17 1.16 1.05 2/57 770
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 417 7168 0 0 2 1 46957 12529 17 0 1 0 1788243027 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 248 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/770/stat): 770 (vallst) T 763 763 15400 0 -1 0 2443 0 0 0 10866 4404 0 0 16 0 1 0 1788327681 21880832 2324 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/770/statm): 5342 2324 413 48 0 5294 0
[pid=770] vsize: 21368
Current children cumulated CPU time (s) 747.59
Current children cumulated vsize (Kb) 23496
[startup+1100.08 s]
Raw data (loadavg): 1.15 1.16 1.05 2/57 770
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 417 7168 0 0 2 1 46957 12529 17 0 1 0 1788243027 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 248 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/770/stat): 770 (vallst) R 763 763 15400 0 -1 0 2454 0 0 0 11337 4572 0 0 16 0 1 0 1788327681 21725184 2329 4294967295 134512640 134702520 3221223712 3221222368 134612040 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/770/statm): 5304 2329 413 48 0 5256 0
[pid=770] vsize: 21216
Current children cumulated CPU time (s) 753.98
Current children cumulated vsize (Kb) 23344
[startup+1110.08 s]
Raw data (loadavg): 1.12 1.15 1.05 1/57 770
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 417 7168 0 0 2 1 46957 12529 17 0 1 0 1788243027 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 248 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/770/stat): 770 (vallst) T 763 763 15400 0 -1 0 2460 0 0 0 11808 4744 0 0 16 0 1 0 1788327681 22036480 2333 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/770/statm): 5380 2333 413 48 0 5332 0
[pid=770] vsize: 21520
Current children cumulated CPU time (s) 760.41
Current children cumulated vsize (Kb) 23648
[startup+1120.09 s]
Raw data (loadavg): 1.10 1.14 1.05 1/57 770
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 417 7168 0 0 2 1 46957 12529 17 0 1 0 1788243027 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 248 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/770/stat): 770 (vallst) T 763 763 15400 0 -1 0 2461 0 0 0 12240 4923 0 0 16 0 1 0 1788327681 22192128 2334 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/770/statm): 5418 2334 413 48 0 5370 0
[pid=770] vsize: 21672
Current children cumulated CPU time (s) 766.52
Current children cumulated vsize (Kb) 23800
[startup+1130.09 s]
Raw data (loadavg): 1.16 1.16 1.06 1/57 770
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 417 7168 0 0 2 1 46957 12529 17 0 1 0 1788243027 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 248 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/770/stat): 770 (vallst) T 763 763 15400 0 -1 0 2471 0 0 0 12678 5103 0 0 15 0 1 0 1788327681 21880832 2336 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/770/statm): 5342 2336 413 48 0 5294 0
[pid=770] vsize: 21368
Current children cumulated CPU time (s) 772.7
Current children cumulated vsize (Kb) 23496
[startup+1140.09 s]
Raw data (loadavg): 1.21 1.17 1.06 1/57 770
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 417 7168 0 0 2 1 46957 12529 17 0 1 0 1788243027 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 248 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/770/stat): 770 (vallst) T 763 763 15400 0 -1 0 2481 0 0 0 13114 5288 0 0 16 0 1 0 1788327681 21725184 2340 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/770/statm): 5304 2340 413 48 0 5256 0
[pid=770] vsize: 21216
Current children cumulated CPU time (s) 778.91
Current children cumulated vsize (Kb) 23344
[startup+1150.09 s]
Raw data (loadavg): 1.33 1.19 1.07 1/57 770
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 417 7168 0 0 2 1 46957 12529 17 0 1 0 1788243027 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 248 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/770/stat): 770 (vallst) T 763 763 15400 0 -1 0 2485 0 0 0 13596 5451 0 0 16 0 1 0 1788327681 22036480 2344 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/770/statm): 5380 2344 413 48 0 5332 0
[pid=770] vsize: 21520
Current children cumulated CPU time (s) 785.36
Current children cumulated vsize (Kb) 23648
[startup+1160.09 s]
Raw data (loadavg): 1.28 1.19 1.07 2/57 770
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 417 7168 0 0 2 1 46957 12529 17 0 1 0 1788243027 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 248 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/770/stat): 770 (vallst) R 763 763 15400 0 -1 0 2487 0 0 0 13975 5653 0 0 16 0 1 0 1788327681 21725184 2342 4294967295 134512640 134702520 3221223712 3221221568 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/770/statm): 5304 2342 413 48 0 5256 0
[pid=770] vsize: 21216
Current children cumulated CPU time (s) 791.17
Current children cumulated vsize (Kb) 23344
[startup+1170.09 s]
Raw data (loadavg): 1.24 1.18 1.07 1/57 770
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 417 7168 0 0 2 1 46957 12529 17 0 1 0 1788243027 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 248 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/770/stat): 770 (vallst) T 763 763 15400 0 -1 0 2498 0 0 0 14423 5831 0 0 16 0 1 0 1788327681 21725184 2347 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/770/statm): 5304 2347 413 48 0 5256 0
[pid=770] vsize: 21216
Current children cumulated CPU time (s) 797.43
Current children cumulated vsize (Kb) 23344
[startup+1180.09 s]
Raw data (loadavg): 1.20 1.17 1.07 1/57 770
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 417 7168 0 0 2 1 46957 12529 17 0 1 0 1788243027 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 248 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/770/stat): 770 (vallst) T 763 763 15400 0 -1 0 2507 0 0 0 14878 6005 0 0 15 0 1 0 1788327681 21880832 2352 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/770/statm): 5342 2352 413 48 0 5294 0
[pid=770] vsize: 21368
Current children cumulated CPU time (s) 803.72
Current children cumulated vsize (Kb) 23496
[startup+1190.09 s]
Raw data (loadavg): 1.17 1.17 1.07 2/57 770
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 417 7168 0 0 2 1 46957 12529 17 0 1 0 1788243027 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 248 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/770/stat): 770 (vallst) R 763 763 15400 0 -1 0 2508 0 0 0 15344 6186 0 0 16 0 1 0 1788327681 22036480 2353 4294967295 134512640 134702520 3221223712 3221222608 134553320 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/770/statm): 5380 2353 413 48 0 5332 0
[pid=770] vsize: 21520
Current children cumulated CPU time (s) 810.19
Current children cumulated vsize (Kb) 23648
[startup+1200.09 s]
Raw data (loadavg): 1.14 1.16 1.06 1/57 770
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 417 7168 0 0 2 1 46957 12529 17 0 1 0 1788243027 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 248 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/770/stat): 770 (vallst) T 763 763 15400 0 -1 0 2513 0 0 0 15711 6392 0 0 16 0 1 0 1788327681 21880832 2354 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/770/statm): 5342 2354 413 48 0 5294 0
[pid=770] vsize: 21368
Current children cumulated CPU time (s) 815.92
Current children cumulated vsize (Kb) 23496
[startup+1210.09 s]
Raw data (loadavg): 1.19 1.17 1.07 1/57 770
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 417 7168 0 0 2 1 46957 12529 17 0 1 0 1788243027 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 248 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/770/stat): 770 (vallst) T 763 763 15400 0 -1 0 2923 0 0 0 16207 6556 0 0 16 0 1 0 1788327681 23265280 2758 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/770/statm): 5680 2758 413 48 0 5632 0
[pid=770] vsize: 22720
Current children cumulated CPU time (s) 822.52
Current children cumulated vsize (Kb) 24848
[startup+1220.09 s]
Raw data (loadavg): 1.16 1.17 1.07 1/57 770
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 417 7168 0 0 2 1 46957 12529 17 0 1 0 1788243027 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 248 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/770/stat): 770 (vallst) T 763 763 15400 0 -1 0 3225 0 0 0 16769 6696 0 0 16 0 1 0 1788327681 24649728 3056 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/770/statm): 6018 3056 413 48 0 5970 0
[pid=770] vsize: 24072
Current children cumulated CPU time (s) 829.54
Current children cumulated vsize (Kb) 26200
[startup+1230.09 s]
Raw data (loadavg): 1.14 1.16 1.07 1/57 770
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 417 7168 0 0 2 1 46957 12529 17 0 1 0 1788243027 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 248 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/770/stat): 770 (vallst) T 763 763 15400 0 -1 0 3226 0 0 0 17221 6876 0 0 16 0 1 0 1788327681 24805376 3057 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/770/statm): 6056 3057 413 48 0 6008 0
[pid=770] vsize: 24224
Current children cumulated CPU time (s) 835.86
Current children cumulated vsize (Kb) 26352
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=770) exited with status: 2
New process pid=771
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=771) exited with status: 0
New process pid=772
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+1240.09 s]
Raw data (loadavg): 1.12 1.15 1.07 2/57 772
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 457 10540 0 0 2 1 64508 19575 17 0 1 0 1788243027 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 249 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/772/stat): 772 (vallst) R 763 763 15400 0 -1 0 1890 0 0 0 148 11 0 0 25 0 1 0 1788366889 10752000 1862 4294967295 134512640 134702520 3221223040 3221222336 134547164 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/772/statm): 2625 1862 413 48 0 2577 0
[pid=772] vsize: 10500
Current children cumulated CPU time (s) 842.45
Current children cumulated vsize (Kb) 12628
[startup+1250.1 s]
Raw data (loadavg): 1.10 1.15 1.06 2/57 772
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 457 10540 0 0 2 1 64508 19575 17 0 1 0 1788243027 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 249 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/772/stat): 772 (vallst) R 763 763 15400 0 -1 0 2129 0 0 0 614 181 0 0 17 0 1 0 1788366889 11702272 2100 4294967295 134512640 134702520 3221223040 3221222408 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/772/statm): 2857 2100 413 48 0 2809 0
[pid=772] vsize: 11428
Current children cumulated CPU time (s) 848.81
Current children cumulated vsize (Kb) 13556
[startup+1260.1 s]
Raw data (loadavg): 1.08 1.14 1.06 1/57 772
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 457 10540 0 0 2 1 64508 19575 17 0 1 0 1788243027 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 249 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/772/stat): 772 (vallst) T 763 763 15400 0 -1 0 2130 0 0 0 1053 358 0 0 16 0 1 0 1788366889 11702272 2101 4294967295 134512640 134702520 3221223040 3221222408 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/772/statm): 2857 2101 413 48 0 2809 0
[pid=772] vsize: 11428
Current children cumulated CPU time (s) 854.97
Current children cumulated vsize (Kb) 13556
[startup+1270.1 s]
Raw data (loadavg): 1.15 1.16 1.07 2/57 772
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 457 10540 0 0 2 1 64508 19575 17 0 1 0 1788243027 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 249 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/772/stat): 772 (vallst) R 763 763 15400 0 -1 0 2132 0 0 0 1497 548 0 0 16 0 1 0 1788366889 11702272 2103 4294967295 134512640 134702520 3221223040 3221222176 134553330 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/772/statm): 2857 2103 413 48 0 2809 0
[pid=772] vsize: 11428
Current children cumulated CPU time (s) 861.31
Current children cumulated vsize (Kb) 13556
[startup+1280.1 s]
Raw data (loadavg): 1.13 1.15 1.07 1/57 772
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 457 10540 0 0 2 1 64508 19575 17 0 1 0 1788243027 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 249 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/772/stat): 772 (vallst) T 763 763 15400 0 -1 0 2135 0 0 0 1949 724 0 0 16 0 1 0 1788366889 11702272 2106 4294967295 134512640 134702520 3221223040 3221222408 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/772/statm): 2857 2106 413 48 0 2809 0
[pid=772] vsize: 11428
Current children cumulated CPU time (s) 867.59
Current children cumulated vsize (Kb) 13556
[startup+1290.1 s]
Raw data (loadavg): 1.11 1.14 1.07 1/57 772
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 457 10540 0 0 2 1 64508 19575 17 0 1 0 1788243027 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 249 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/772/stat): 772 (vallst) T 763 763 15400 0 -1 0 2137 0 0 0 2397 905 0 0 16 0 1 0 1788366889 11702272 2108 4294967295 134512640 134702520 3221223040 3221222408 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/772/statm): 2857 2108 413 48 0 2809 0
[pid=772] vsize: 11428
Current children cumulated CPU time (s) 873.88
Current children cumulated vsize (Kb) 13556
[startup+1300.1 s]
Raw data (loadavg): 1.09 1.14 1.07 1/57 772
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 457 10540 0 0 2 1 64508 19575 17 0 1 0 1788243027 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 249 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/772/stat): 772 (vallst) T 763 763 15400 0 -1 0 2137 0 0 0 2832 1093 0 0 16 0 1 0 1788366889 11702272 2108 4294967295 134512640 134702520 3221223040 3221222408 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/772/statm): 2857 2108 413 48 0 2809 0
[pid=772] vsize: 11428
Current children cumulated CPU time (s) 880.11
Current children cumulated vsize (Kb) 13556
[startup+1310.1 s]
Raw data (loadavg): 1.08 1.13 1.06 1/57 772
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 457 10540 0 0 2 1 64508 19575 17 0 1 0 1788243027 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 249 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/772/stat): 772 (vallst) T 763 763 15400 0 -1 0 2137 0 0 0 3276 1276 0 0 16 0 1 0 1788366889 11702272 2108 4294967295 134512640 134702520 3221223040 3221222408 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/772/statm): 2857 2108 413 48 0 2809 0
[pid=772] vsize: 11428
Current children cumulated CPU time (s) 886.38
Current children cumulated vsize (Kb) 13556
[startup+1320.1 s]
Raw data (loadavg): 1.14 1.15 1.07 1/57 772
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 457 10540 0 0 2 1 64508 19575 17 0 1 0 1788243027 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 249 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/772/stat): 772 (vallst) T 763 763 15400 0 -1 0 2137 0 0 0 3713 1459 0 0 16 0 1 0 1788366889 11702272 2108 4294967295 134512640 134702520 3221223040 3221222408 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/772/statm): 2857 2108 413 48 0 2809 0
[pid=772] vsize: 11428
Current children cumulated CPU time (s) 892.58
Current children cumulated vsize (Kb) 13556
[startup+1330.1 s]
Raw data (loadavg): 1.12 1.14 1.07 1/57 772
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 457 10540 0 0 2 1 64508 19575 17 0 1 0 1788243027 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 249 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/772/stat): 772 (vallst) T 763 763 15400 0 -1 0 2137 0 0 0 4161 1640 0 0 15 0 1 0 1788366889 11702272 2108 4294967295 134512640 134702520 3221223040 3221222408 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/772/statm): 2857 2108 413 48 0 2809 0
[pid=772] vsize: 11428
Current children cumulated CPU time (s) 898.87
Current children cumulated vsize (Kb) 13556
[startup+1340.1 s]
Raw data (loadavg): 1.10 1.14 1.07 1/57 772
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 457 10540 0 0 2 1 64508 19575 17 0 1 0 1788243027 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 249 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/772/stat): 772 (vallst) T 763 763 15400 0 -1 0 2137 0 0 0 4611 1825 0 0 16 0 1 0 1788366889 11702272 2108 4294967295 134512640 134702520 3221223040 3221222408 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/772/statm): 2857 2108 413 48 0 2809 0
[pid=772] vsize: 11428
Current children cumulated CPU time (s) 905.22
Current children cumulated vsize (Kb) 13556
[startup+1350.1 s]
Raw data (loadavg): 1.16 1.15 1.07 1/57 772
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 457 10540 0 0 2 1 64508 19575 17 0 1 0 1788243027 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 249 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/772/stat): 772 (vallst) T 763 763 15400 0 -1 0 2138 0 0 0 5037 2007 0 0 15 0 1 0 1788366889 11857920 2109 4294967295 134512640 134702520 3221223040 3221222280 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/772/statm): 2895 2109 413 48 0 2847 0
[pid=772] vsize: 11580
Current children cumulated CPU time (s) 911.3
Current children cumulated vsize (Kb) 13708
[startup+1360.1 s]
Raw data (loadavg): 1.13 1.14 1.07 2/57 772
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 457 10540 0 0 2 1 64508 19575 17 0 1 0 1788243027 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 249 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/772/stat): 772 (vallst) R 763 763 15400 0 -1 0 2301 0 0 0 5419 2205 0 0 16 0 1 0 1788366889 21639168 2265 4294967295 134512640 134702520 3221223040 3221215616 134611984 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/772/statm): 5283 2265 413 48 0 5235 0
[pid=772] vsize: 21132
Current children cumulated CPU time (s) 917.1
Current children cumulated vsize (Kb) 23260
[startup+1370.1 s]
Raw data (loadavg): 1.11 1.14 1.07 1/57 772
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 457 10540 0 0 2 1 64508 19575 17 0 1 0 1788243027 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 249 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/772/stat): 772 (vallst) T 763 763 15400 0 -1 0 2326 0 0 0 5819 2401 0 0 16 0 1 0 1788366889 21950464 2287 4294967295 134512640 134702520 3221223040 3221222168 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/772/statm): 5359 2287 413 48 0 5311 0
[pid=772] vsize: 21436
Current children cumulated CPU time (s) 923.06
Current children cumulated vsize (Kb) 23564
[startup+1380.1 s]
Raw data (loadavg): 1.09 1.13 1.07 1/57 772
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 457 10540 0 0 2 1 64508 19575 17 0 1 0 1788243027 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 249 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/772/stat): 772 (vallst) T 763 763 15400 0 -1 0 2353 0 0 0 6237 2593 0 0 16 0 1 0 1788366889 21929984 2308 4294967295 134512640 134702520 3221223040 3221222296 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/772/statm): 5354 2308 413 48 0 5306 0
[pid=772] vsize: 21416
Current children cumulated CPU time (s) 929.16
Current children cumulated vsize (Kb) 23544
[startup+1390.1 s]
Raw data (loadavg): 1.08 1.13 1.07 1/57 772
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 457 10540 0 0 2 1 64508 19575 17 0 1 0 1788243027 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 249 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/772/stat): 772 (vallst) T 763 763 15400 0 -1 0 2361 0 0 0 6650 2783 0 0 15 0 1 0 1788366889 22085632 2313 4294967295 134512640 134702520 3221223040 3221222168 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/772/statm): 5392 2313 413 48 0 5344 0
[pid=772] vsize: 21568
Current children cumulated CPU time (s) 935.19
Current children cumulated vsize (Kb) 23696
[startup+1400.1 s]
Raw data (loadavg): 1.07 1.12 1.07 2/57 772
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 457 10540 0 0 2 1 64508 19575 17 0 1 0 1788243027 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 249 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/772/stat): 772 (vallst) R 763 763 15400 0 -1 0 2361 0 0 0 7085 2966 0 0 16 0 1 0 1788366889 22085632 2313 4294967295 134512640 134702520 3221223040 3221221936 134552550 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/772/statm): 5392 2313 413 48 0 5344 0
[pid=772] vsize: 21568
Current children cumulated CPU time (s) 941.37
Current children cumulated vsize (Kb) 23696
[startup+1410.1 s]
Raw data (loadavg): 1.21 1.15 1.08 1/57 772
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 457 10540 0 0 2 1 64508 19575 17 0 1 0 1788243027 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 249 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/772/stat): 772 (vallst) T 763 763 15400 0 -1 0 2361 0 0 0 7537 3146 0 0 16 0 1 0 1788366889 22085632 2313 4294967295 134512640 134702520 3221223040 3221222168 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/772/statm): 5392 2313 413 48 0 5344 0
[pid=772] vsize: 21568
Current children cumulated CPU time (s) 947.69
Current children cumulated vsize (Kb) 23696
[startup+1420.11 s]
Raw data (loadavg): 1.18 1.14 1.08 2/57 772
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 457 10540 0 0 2 1 64508 19575 17 0 1 0 1788243027 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 249 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/772/stat): 772 (vallst) R 763 763 15400 0 -1 0 2361 0 0 0 7977 3326 0 0 16 0 1 0 1788366889 22085632 2313 4294967295 134512640 134702520 3221223040 3221222136 1074952484 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/772/statm): 5392 2313 413 48 0 5344 0
[pid=772] vsize: 21568
Current children cumulated CPU time (s) 953.89
Current children cumulated vsize (Kb) 23696
[startup+1430.11 s]
Raw data (loadavg): 1.15 1.14 1.07 2/57 772
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 457 10540 0 0 2 1 64508 19575 17 0 1 0 1788243027 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 249 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/772/stat): 772 (vallst) R 763 763 15400 0 -1 0 2361 0 0 0 8417 3510 0 0 16 0 1 0 1788366889 22085632 2313 4294967295 134512640 134702520 3221223040 3221221936 134553514 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/772/statm): 5392 2313 413 48 0 5344 0
[pid=772] vsize: 21568
Current children cumulated CPU time (s) 960.13
Current children cumulated vsize (Kb) 23696
[startup+1440.11 s]
Raw data (loadavg): 1.13 1.14 1.07 1/57 772
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 457 10540 0 0 2 1 64508 19575 17 0 1 0 1788243027 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 249 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/772/stat): 772 (vallst) T 763 763 15400 0 -1 0 2361 0 0 0 8866 3694 0 0 16 0 1 0 1788366889 22085632 2313 4294967295 134512640 134702520 3221223040 3221222168 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/772/statm): 5392 2313 413 48 0 5344 0
[pid=772] vsize: 21568
Current children cumulated CPU time (s) 966.46
Current children cumulated vsize (Kb) 23696
[startup+1450.11 s]
Raw data (loadavg): 1.11 1.13 1.07 2/57 772
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 457 10540 0 0 2 1 64508 19575 17 0 1 0 1788243027 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 249 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/772/stat): 772 (vallst) R 763 763 15400 0 -1 0 2361 0 0 0 9315 3881 0 0 16 0 1 0 1788366889 22085632 2313 4294967295 134512640 134702520 3221223040 3221222168 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/772/statm): 5392 2313 413 48 0 5344 0
[pid=772] vsize: 21568
Current children cumulated CPU time (s) 972.82
Current children cumulated vsize (Kb) 23696
[startup+1460.11 s]
Raw data (loadavg): 1.09 1.13 1.07 1/57 772
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 457 10540 0 0 2 1 64508 19575 17 0 1 0 1788243027 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 249 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/772/stat): 772 (vallst) T 763 763 15400 0 -1 0 2361 0 0 0 9763 4060 0 0 16 0 1 0 1788366889 22085632 2313 4294967295 134512640 134702520 3221223040 3221222168 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/772/statm): 5392 2313 413 48 0 5344 0
[pid=772] vsize: 21568
Current children cumulated CPU time (s) 979.09
Current children cumulated vsize (Kb) 23696
[startup+1470.11 s]
Raw data (loadavg): 1.08 1.12 1.07 1/57 772
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 457 10540 0 0 2 1 64508 19575 17 0 1 0 1788243027 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 249 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/772/stat): 772 (vallst) T 763 763 15400 0 -1 0 2361 0 0 0 10208 4238 0 0 15 0 1 0 1788366889 22085632 2313 4294967295 134512640 134702520 3221223040 3221222168 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/772/statm): 5392 2313 413 48 0 5344 0
[pid=772] vsize: 21568
Current children cumulated CPU time (s) 985.32
Current children cumulated vsize (Kb) 23696
[startup+1480.11 s]
Raw data (loadavg): 1.06 1.12 1.07 1/57 772
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 457 10540 0 0 2 1 64508 19575 17 0 1 0 1788243027 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 249 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/772/stat): 772 (vallst) T 763 763 15400 0 -1 0 2361 0 0 0 10652 4421 0 0 15 0 1 0 1788366889 22085632 2313 4294967295 134512640 134702520 3221223040 3221222168 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/772/statm): 5392 2313 413 48 0 5344 0
[pid=772] vsize: 21568
Current children cumulated CPU time (s) 991.59
Current children cumulated vsize (Kb) 23696
[startup+1490.11 s]
Raw data (loadavg): 1.05 1.11 1.07 1/57 772
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 457 10540 0 0 2 1 64508 19575 17 0 1 0 1788243027 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 249 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/772/stat): 772 (vallst) T 763 763 15400 0 -1 0 2361 0 0 0 11086 4602 0 0 15 0 1 0 1788366889 22085632 2313 4294967295 134512640 134702520 3221223040 3221222168 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/772/statm): 5392 2313 413 48 0 5344 0
[pid=772] vsize: 21568
Current children cumulated CPU time (s) 997.74
Current children cumulated vsize (Kb) 23696
[startup+1500.11 s]
Raw data (loadavg): 1.04 1.11 1.07 1/57 772
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 457 10540 0 0 2 1 64508 19575 17 0 1 0 1788243027 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 249 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/772/stat): 772 (vallst) T 763 763 15400 0 -1 0 2367 0 0 0 11444 4810 0 0 16 0 1 0 1788366889 22085632 2315 4294967295 134512640 134702520 3221223040 3221222168 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/772/statm): 5392 2315 413 48 0 5344 0
[pid=772] vsize: 21568
Current children cumulated CPU time (s) 1003.4
Current children cumulated vsize (Kb) 23696
[startup+1510.11 s]
Raw data (loadavg): 1.04 1.10 1.07 1/57 772
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 457 10540 0 0 2 1 64508 19575 17 0 1 0 1788243027 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 249 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/772/stat): 772 (vallst) T 763 763 15400 0 -1 0 2377 0 0 0 11829 5008 0 0 15 0 1 0 1788366889 21929984 2319 4294967295 134512640 134702520 3221223040 3221222296 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/772/statm): 5354 2319 413 48 0 5306 0
[pid=772] vsize: 21416
Current children cumulated CPU time (s) 1009.23
Current children cumulated vsize (Kb) 23544
[startup+1520.11 s]
Raw data (loadavg): 1.03 1.10 1.07 2/57 772
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 457 10540 0 0 2 1 64508 19575 17 0 1 0 1788243027 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 249 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/772/stat): 772 (vallst) R 763 763 15400 0 -1 0 2388 0 0 0 12202 5209 0 0 16 0 1 0 1788366889 21929984 2324 4294967295 134512640 134702520 3221223040 3221222064 134552347 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/772/statm): 5354 2324 413 48 0 5306 0
[pid=772] vsize: 21416
Current children cumulated CPU time (s) 1014.97
Current children cumulated vsize (Kb) 23544
[startup+1530.11 s]
Raw data (loadavg): 1.10 1.11 1.07 1/57 772
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 457 10540 0 0 2 1 64508 19575 17 0 1 0 1788243027 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 249 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/772/stat): 772 (vallst) T 763 763 15400 0 -1 0 2394 0 0 0 12614 5402 0 0 15 0 1 0 1788366889 22085632 2327 4294967295 134512640 134702520 3221223040 3221222168 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/772/statm): 5392 2327 413 48 0 5344 0
[pid=772] vsize: 21568
Current children cumulated CPU time (s) 1021.02
Current children cumulated vsize (Kb) 23696
[startup+1540.12 s]
Raw data (loadavg): 1.16 1.13 1.07 2/57 772
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 457 10540 0 0 2 1 64508 19575 17 0 1 0 1788243027 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 249 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/772/stat): 772 (vallst) R 763 763 15400 0 -1 0 2394 0 0 0 13059 5584 0 0 16 0 1 0 1788366889 22085632 2327 4294967295 134512640 134702520 3221223040 3221222168 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/772/statm): 5392 2327 413 48 0 5344 0
[pid=772] vsize: 21568
Current children cumulated CPU time (s) 1027.29
Current children cumulated vsize (Kb) 23696
[startup+1550.12 s]
Raw data (loadavg): 1.22 1.14 1.08 1/57 772
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 457 10540 0 0 2 1 64508 19575 17 0 1 0 1788243027 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 249 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/772/stat): 772 (vallst) T 763 763 15400 0 -1 0 2394 0 0 0 13501 5768 0 0 16 0 1 0 1788366889 22085632 2327 4294967295 134512640 134702520 3221223040 3221222168 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/772/statm): 5392 2327 413 48 0 5344 0
[pid=772] vsize: 21568
Current children cumulated CPU time (s) 1033.55
Current children cumulated vsize (Kb) 23696
[startup+1560.12 s]
Raw data (loadavg): 1.34 1.16 1.09 1/57 772
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 457 10540 0 0 2 1 64508 19575 17 0 1 0 1788243027 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 249 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/772/stat): 772 (vallst) T 763 763 15400 0 -1 0 2394 0 0 0 13947 5948 0 0 15 0 1 0 1788366889 22085632 2327 4294967295 134512640 134702520 3221223040 3221222168 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/772/statm): 5392 2327 413 48 0 5344 0
[pid=772] vsize: 21568
Current children cumulated CPU time (s) 1039.81
Current children cumulated vsize (Kb) 23696
[startup+1570.12 s]
Raw data (loadavg): 1.29 1.16 1.09 2/57 772
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 457 10540 0 0 2 1 64508 19575 17 0 1 0 1788243027 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 249 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/772/stat): 772 (vallst) R 763 763 15400 0 -1 0 2394 0 0 0 14394 6124 0 0 16 0 1 0 1788366889 22085632 2327 4294967295 134512640 134702520 3221223040 3221222168 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/772/statm): 5392 2327 413 48 0 5344 0
[pid=772] vsize: 21568
Current children cumulated CPU time (s) 1046.04
Current children cumulated vsize (Kb) 23696
[startup+1580.12 s]
Raw data (loadavg): 1.24 1.15 1.09 1/57 772
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 457 10540 0 0 2 1 64508 19575 17 0 1 0 1788243027 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 249 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/772/stat): 772 (vallst) T 763 763 15400 0 -1 0 2394 0 0 0 14844 6302 0 0 16 0 1 0 1788366889 22085632 2327 4294967295 134512640 134702520 3221223040 3221222168 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/772/statm): 5392 2327 413 48 0 5344 0
[pid=772] vsize: 21568
Current children cumulated CPU time (s) 1052.32
Current children cumulated vsize (Kb) 23696
[startup+1590.12 s]
Raw data (loadavg): 1.20 1.15 1.09 1/57 772
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 457 10540 0 0 2 1 64508 19575 17 0 1 0 1788243027 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 249 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/772/stat): 772 (vallst) T 763 763 15400 0 -1 0 2394 0 0 0 15279 6484 0 0 16 0 1 0 1788366889 22085632 2327 4294967295 134512640 134702520 3221223040 3221222168 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/772/statm): 5392 2327 413 48 0 5344 0
[pid=772] vsize: 21568
Current children cumulated CPU time (s) 1058.49
Current children cumulated vsize (Kb) 23696
[startup+1600.12 s]
Raw data (loadavg): 1.17 1.14 1.08 1/57 772
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 457 10540 0 0 2 1 64508 19575 17 0 1 0 1788243027 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 249 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/772/stat): 772 (vallst) T 763 763 15400 0 -1 0 2394 0 0 0 15724 6671 0 0 16 0 1 0 1788366889 22085632 2327 4294967295 134512640 134702520 3221223040 3221222168 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/772/statm): 5392 2327 413 48 0 5344 0
[pid=772] vsize: 21568
Current children cumulated CPU time (s) 1064.81
Current children cumulated vsize (Kb) 23696
[startup+1610.12 s]
Raw data (loadavg): 1.14 1.14 1.08 2/57 772
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 457 10540 0 0 2 1 64508 19575 17 0 1 0 1788243027 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 249 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/772/stat): 772 (vallst) R 763 763 15400 0 -1 0 2394 0 0 0 16171 6848 0 0 16 0 1 0 1788366889 22085632 2327 4294967295 134512640 134702520 3221223040 3221221936 134553820 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/772/statm): 5392 2327 413 48 0 5344 0
[pid=772] vsize: 21568
Current children cumulated CPU time (s) 1071.05
Current children cumulated vsize (Kb) 23696
[startup+1620.12 s]
Raw data (loadavg): 1.12 1.13 1.08 1/57 772
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 457 10540 0 0 2 1 64508 19575 17 0 1 0 1788243027 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 249 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/772/stat): 772 (vallst) T 763 763 15400 0 -1 0 2394 0 0 0 16610 7041 0 0 15 0 1 0 1788366889 22085632 2327 4294967295 134512640 134702520 3221223040 3221222168 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/772/statm): 5392 2327 413 48 0 5344 0
[pid=772] vsize: 21568
Current children cumulated CPU time (s) 1077.37
Current children cumulated vsize (Kb) 23696
[startup+1630.12 s]
Raw data (loadavg): 1.10 1.13 1.08 1/57 772
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 457 10540 0 0 2 1 64508 19575 17 0 1 0 1788243027 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 249 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/772/stat): 772 (vallst) T 763 763 15400 0 -1 0 2394 0 0 0 17058 7222 0 0 16 0 1 0 1788366889 22085632 2327 4294967295 134512640 134702520 3221223040 3221222168 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/772/statm): 5392 2327 413 48 0 5344 0
[pid=772] vsize: 21568
Current children cumulated CPU time (s) 1083.66
Current children cumulated vsize (Kb) 23696
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=772) exited with status: 2
New process pid=773
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=773) exited with status: 0
New process pid=774
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+1640.12 s]
Raw data (loadavg): 1.09 1.12 1.08 2/57 774
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 497 13080 0 0 2 2 81910 26971 17 0 1 0 1788243027 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 249 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/774/stat): 774 (vallst) R 763 763 15400 0 -1 0 1745 0 0 0 119 8 0 0 25 0 1 0 1788406932 10682368 1715 4294967295 134512640 134702520 3221223712 3221222976 1073964843 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/774/statm): 2608 1715 413 48 0 2560 0
[pid=774] vsize: 10432
Current children cumulated CPU time (s) 1090.12
Current children cumulated vsize (Kb) 12560
[startup+1650.12 s]
Raw data (loadavg): 1.07 1.12 1.08 1/57 774
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 497 13080 0 0 2 2 81910 26971 17 0 1 0 1788243027 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 249 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/774/stat): 774 (vallst) T 763 763 15400 0 -1 0 2128 0 0 0 459 216 0 0 16 0 1 0 1788406932 11632640 2097 4294967295 134512640 134702520 3221223712 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/774/statm): 2840 2097 413 48 0 2792 0
[pid=774] vsize: 11360
Current children cumulated CPU time (s) 1095.6
Current children cumulated vsize (Kb) 13488
[startup+1660.12 s]
Raw data (loadavg): 1.06 1.11 1.08 1/57 774
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 497 13080 0 0 2 2 81910 26971 17 0 1 0 1788243027 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 249 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/774/stat): 774 (vallst) T 763 763 15400 0 -1 0 2269 0 0 0 827 420 0 0 16 0 1 0 1788406932 21405696 2232 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/774/statm): 5226 2232 413 48 0 5178 0
[pid=774] vsize: 20904
Current children cumulated CPU time (s) 1101.32
Current children cumulated vsize (Kb) 23032
[startup+1670.12 s]
Raw data (loadavg): 1.05 1.11 1.08 1/57 774
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 497 13080 0 0 2 2 81910 26971 17 0 1 0 1788243027 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 249 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/774/stat): 774 (vallst) T 763 763 15400 0 -1 0 2306 0 0 0 1269 609 0 0 16 0 1 0 1788406932 21405696 2263 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/774/statm): 5226 2263 413 48 0 5178 0
[pid=774] vsize: 20904
Current children cumulated CPU time (s) 1107.63
Current children cumulated vsize (Kb) 23032
[startup+1680.12 s]
Raw data (loadavg): 1.04 1.11 1.08 1/57 774
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 497 13080 0 0 2 2 81910 26971 17 0 1 0 1788243027 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 249 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/774/stat): 774 (vallst) T 763 763 15400 0 -1 0 2322 0 0 0 1677 803 0 0 16 0 1 0 1788406932 21852160 2277 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/774/statm): 5335 2277 413 48 0 5287 0
[pid=774] vsize: 21340
Current children cumulated CPU time (s) 1113.65
Current children cumulated vsize (Kb) 23468
[startup+1690.13 s]
Raw data (loadavg): 1.12 1.12 1.08 1/57 774
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 497 13080 0 0 2 2 81910 26971 17 0 1 0 1788243027 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 249 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/774/stat): 774 (vallst) T 763 763 15400 0 -1 0 2328 0 0 0 1957 1048 0 0 16 0 1 0 1788406932 21540864 2279 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/774/statm): 5259 2279 413 48 0 5211 0
[pid=774] vsize: 21036
Current children cumulated CPU time (s) 1118.9
Current children cumulated vsize (Kb) 23164
[startup+1700.13 s]
Raw data (loadavg): 1.18 1.13 1.09 1/57 774
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 497 13080 0 0 2 2 81910 26971 17 0 1 0 1788243027 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 249 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/774/stat): 774 (vallst) T 763 763 15400 0 -1 0 2344 0 0 0 2442 1213 0 0 16 0 1 0 1788406932 21540864 2289 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/774/statm): 5259 2289 413 48 0 5211 0
[pid=774] vsize: 21036
Current children cumulated CPU time (s) 1125.4
Current children cumulated vsize (Kb) 23164
[startup+1710.13 s]
Raw data (loadavg): 1.15 1.13 1.08 2/57 774
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 497 13080 0 0 2 2 81910 26971 17 0 1 0 1788243027 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 249 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/774/stat): 774 (vallst) R 763 763 15400 0 -1 0 2356 0 0 0 2912 1388 0 0 16 0 1 0 1788406932 21696512 2297 4294967295 134512640 134702520 3221223712 3221222736 134553091 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/774/statm): 5297 2297 413 48 0 5249 0
[pid=774] vsize: 21188
Current children cumulated CPU time (s) 1131.85
Current children cumulated vsize (Kb) 23316
[startup+1720.13 s]
Raw data (loadavg): 1.13 1.12 1.08 1/57 774
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 497 13080 0 0 2 2 81910 26971 17 0 1 0 1788243027 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 249 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/774/stat): 774 (vallst) T 763 763 15400 0 -1 0 2358 0 0 0 3189 1622 0 0 16 0 1 0 1788406932 22007808 2299 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/774/statm): 5373 2299 413 48 0 5325 0
[pid=774] vsize: 21492
Current children cumulated CPU time (s) 1136.96
Current children cumulated vsize (Kb) 23620
[startup+1730.13 s]
Raw data (loadavg): 1.11 1.12 1.08 1/57 774
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 497 13080 0 0 2 2 81910 26971 17 0 1 0 1788243027 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 249 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/774/stat): 774 (vallst) T 763 763 15400 0 -1 0 2366 0 0 0 3595 1814 0 0 16 0 1 0 1788406932 21852160 2301 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/774/statm): 5335 2301 413 48 0 5287 0
[pid=774] vsize: 21340
Current children cumulated CPU time (s) 1142.94
Current children cumulated vsize (Kb) 23468
[startup+1740.13 s]
Raw data (loadavg): 1.16 1.13 1.09 1/57 774
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 497 13080 0 0 2 2 81910 26971 17 0 1 0 1788243027 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 249 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/774/stat): 774 (vallst) T 763 763 15400 0 -1 0 2376 0 0 0 4056 1999 0 0 16 0 1 0 1788406932 21696512 2305 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/774/statm): 5297 2305 413 48 0 5249 0
[pid=774] vsize: 21188
Current children cumulated CPU time (s) 1149.4
Current children cumulated vsize (Kb) 23316
[startup+1750.13 s]
Raw data (loadavg): 1.14 1.12 1.09 1/57 774
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 497 13080 0 0 2 2 81910 26971 17 0 1 0 1788243027 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 249 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/774/stat): 774 (vallst) T 763 763 15400 0 -1 0 2381 0 0 0 4387 2212 0 0 16 0 1 0 1788406932 21852160 2308 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/774/statm): 5335 2308 413 48 0 5287 0
[pid=774] vsize: 21340
Current children cumulated CPU time (s) 1154.84
Current children cumulated vsize (Kb) 23468
[startup+1760.13 s]
Raw data (loadavg): 1.12 1.12 1.08 1/57 774
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 497 13080 0 0 2 2 81910 26971 17 0 1 0 1788243027 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 249 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/774/stat): 774 (vallst) T 763 763 15400 0 -1 0 2389 0 0 0 4743 2417 0 0 15 0 1 0 1788406932 21540864 2310 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/774/statm): 5259 2310 413 48 0 5211 0
[pid=774] vsize: 21036
Current children cumulated CPU time (s) 1160.45
Current children cumulated vsize (Kb) 23164
[startup+1770.13 s]
Raw data (loadavg): 1.10 1.11 1.08 1/57 774
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 497 13080 0 0 2 2 81910 26971 17 0 1 0 1788243027 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 249 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/774/stat): 774 (vallst) T 763 763 15400 0 -1 0 2397 0 0 0 5204 2593 0 0 16 0 1 0 1788406932 21696512 2314 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/774/statm): 5297 2314 413 48 0 5249 0
[pid=774] vsize: 21188
Current children cumulated CPU time (s) 1166.82
Current children cumulated vsize (Kb) 23316
[startup+1780.13 s]
Raw data (loadavg): 1.08 1.11 1.08 1/57 774
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 497 13080 0 0 2 2 81910 26971 17 0 1 0 1788243027 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 249 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/774/stat): 774 (vallst) T 763 763 15400 0 -1 0 2410 0 0 0 5641 2777 0 0 16 0 1 0 1788406932 21987328 2323 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/774/statm): 5368 2323 413 48 0 5320 0
[pid=774] vsize: 21472
Current children cumulated CPU time (s) 1173.03
Current children cumulated vsize (Kb) 23600
[startup+1790.13 s]
Raw data (loadavg): 1.07 1.11 1.08 1/57 774
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 497 13080 0 0 2 2 81910 26971 17 0 1 0 1788243027 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 249 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/774/stat): 774 (vallst) T 763 763 15400 0 -1 0 2411 0 0 0 5907 3015 0 0 16 0 1 0 1788406932 22142976 2324 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/774/statm): 5406 2324 413 48 0 5358 0
[pid=774] vsize: 21624
Current children cumulated CPU time (s) 1178.07
Current children cumulated vsize (Kb) 23752
[startup+1800.13 s]
Raw data (loadavg): 1.06 1.10 1.08 1/57 774
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 497 13080 0 0 2 2 81910 26971 17 0 1 0 1788243027 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 249 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/774/stat): 774 (vallst) T 763 763 15400 0 -1 0 2424 0 0 0 6354 3194 0 0 16 0 1 0 1788406932 21831680 2329 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/774/statm): 5330 2329 413 48 0 5282 0
[pid=774] vsize: 21320
Current children cumulated CPU time (s) 1184.33
Current children cumulated vsize (Kb) 23448
[startup+1810.13 s]
Raw data (loadavg): 1.05 1.10 1.08 1/57 774
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 497 13080 0 0 2 2 81910 26971 17 0 1 0 1788243027 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 249 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/774/stat): 774 (vallst) T 763 763 15400 0 -1 0 2438 0 0 0 6827 3360 0 0 16 0 1 0 1788406932 21831680 2337 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/774/statm): 5330 2337 413 48 0 5282 0
[pid=774] vsize: 21320
Current children cumulated CPU time (s) 1190.72
Current children cumulated vsize (Kb) 23448
[startup+1820.14 s]
Raw data (loadavg): 1.04 1.09 1.08 2/57 774
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 497 13080 0 0 2 2 81910 26971 17 0 1 0 1788243027 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 249 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/774/stat): 774 (vallst) R 763 763 15400 0 -1 0 2439 0 0 0 7103 3601 0 0 16 0 1 0 1788406932 21987328 2338 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/774/statm): 5368 2338 413 48 0 5320 0
[pid=774] vsize: 21472
Current children cumulated CPU time (s) 1195.89
Current children cumulated vsize (Kb) 23600
[startup+1830.14 s]
Raw data (loadavg): 1.03 1.09 1.08 1/57 774
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 497 13080 0 0 2 2 81910 26971 17 0 1 0 1788243027 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 249 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/774/stat): 774 (vallst) T 763 763 15400 0 -1 0 2446 0 0 0 7523 3786 0 0 16 0 1 0 1788406932 21831680 2339 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/774/statm): 5330 2339 413 48 0 5282 0
[pid=774] vsize: 21320
Current children cumulated CPU time (s) 1201.94
Current children cumulated vsize (Kb) 23448
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1830.14 s]
Raw data (loadavg): 1.03 1.09 1.08 1/57 774
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 497 13080 0 0 2 2 81910 26971 17 0 1 0 1788243027 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 249 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/774/stat): 774 (vallst) T 763 763 15400 0 -1 0 2446 0 0 0 7523 3786 0 0 16 0 1 0 1788406932 21831680 2339 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/774/statm): 5330 2339 413 48 0 5282 0
[pid=774] vsize: 21320
Current children cumulated CPU time (s) 1201.94
Current children cumulated vsize (Kb) 23448
Sending SIGTERM to -763
Sleeping 2 seconds
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
New process pid=776
New process pid=777
execve syscall for /bin/ps executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libproc.so.2.0.13
open syscall for file tls/i686/libproc.so.2.0.13
open syscall for file tls/mmx/libproc.so.2.0.13
open syscall for file tls/libproc.so.2.0.13
open syscall for file i686/mmx/libproc.so.2.0.13
open syscall for file i686/libproc.so.2.0.13
open syscall for file mmx/libproc.so.2.0.13
open syscall for file libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/libproc.so.2.0.13
open syscall for file /etc/ld.so.cache
open syscall for file /lib/libproc.so.2.0.13
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /proc/self/stat
open syscall for file /proc/self/statm
open syscall for file /proc/self/status
open syscall for file /proc/uptime
open syscall for file /proc/meminfo
open syscall for file /proc
open syscall for file /proc/1/stat
open syscall for file /proc/1/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1/cmdline
open syscall for file /proc/1/environ
open syscall for file /proc/2/stat
open syscall for file /proc/2/status
open syscall for file /proc/2/cmdline
open syscall for file /proc/2/environ
open syscall for file /proc/3/stat
open syscall for file /proc/3/status
open syscall for file /proc/3/cmdline
open syscall for file /proc/3/environ
open syscall for file /proc/4/stat
open syscall for file /proc/4/status
open syscall for file /proc/4/cmdline
open syscall for file /proc/4/environ
open syscall for file /proc/5/stat
open syscall for file /proc/5/status
open syscall for file /proc/5/cmdline
open syscall for file /proc/5/environ
open syscall for file /proc/6/stat
open syscall for file /proc/6/status
open syscall for file /proc/6/cmdline
open syscall for file /proc/6/environ
open syscall for file /proc/7/stat
open syscall for file /proc/7/status
open syscall for file /proc/7/cmdline
open syscall for file /proc/7/environ
open syscall for file /proc/8/stat
open syscall for file /proc/8/status
open syscall for file /proc/8/cmdline
open syscall for file /proc/8/environ
open syscall for file /proc/9/stat
open syscall for file /proc/9/status
open syscall for file /proc/9/cmdline
open syscall for file /proc/9/environ
open syscall for file /proc/10/stat
open syscall for file /proc/10/status
open syscall for file /proc/10/cmdline
open syscall for file /proc/10/environ
open syscall for file /proc/11/stat
open syscall for file /proc/11/status
open syscall for file /proc/11/cmdline
open syscall for file /proc/11/environ
open syscall for file /proc/34/stat
open syscall for file /proc/34/status
open syscall for file /proc/34/cmdline
open syscall for file /proc/34/environ
open syscall for file /proc/35/stat
open syscall for file /proc/35/status
open syscall for file /proc/35/cmdline
open syscall for file /proc/35/environ
open syscall for file /proc/36/stat
open syscall for file /proc/36/status
open syscall for file /proc/36/cmdline
open syscall for file /proc/36/environ
open syscall for file /proc/37/stat
open syscall for file /proc/37/status
open syscall for file /proc/37/cmdline
open syscall for file /proc/37/environ
open syscall for file /proc/38/stat
open syscall for file /proc/38/status
open syscall for file /proc/38/cmdline
open syscall for file /proc/38/environ
open syscall for file /proc/39/stat
open syscall for file /proc/39/status
open syscall for file /proc/39/cmdline
open syscall for file /proc/39/environ
open syscall for file /proc/153/stat
open syscall for file /proc/153/status
open syscall for file /proc/153/cmdline
open syscall for file /proc/153/environ
open syscall for file /proc/156/stat
open syscall for file /proc/156/status
open syscall for file /proc/156/cmdline
open syscall for file /proc/156/environ
open syscall for file /proc/159/stat
open syscall for file /proc/159/status
open syscall for file /proc/159/cmdline
open syscall for file /proc/159/environ
open syscall for file /proc/826/stat
open syscall for file /proc/826/status
open syscall for file /proc/826/cmdline
open syscall for file /proc/826/environ
open syscall for file /proc/827/stat
open syscall for file /proc/827/status
open syscall for file /proc/827/cmdline
open syscall for file /proc/827/environ
open syscall for file /proc/1260/stat
open syscall for file /proc/1260/status
open syscall for file /proc/1260/cmdline
open syscall for file /proc/1260/environ
open syscall for file /proc/1264/stat
open syscall for file /proc/1264/status
open syscall for file /proc/1264/cmdline
open syscall for file /proc/1264/environ
open syscall for file /proc/1286/stat
open syscall for file /proc/1286/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1286/cmdline
open syscall for file /proc/1286/environ
open syscall for file /proc/1316/stat
open syscall for file /proc/1316/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1316/cmdline
open syscall for file /proc/1316/environ
open syscall for file /proc/1360/stat
open syscall for file /proc/1360/status
open syscall for file /proc/1360/cmdline
open syscall for file /proc/1360/environ
open syscall for file /proc/1518/stat
open syscall for file /proc/1518/status
open syscall for file /proc/1518/cmdline
open syscall for file /proc/1518/environ
open syscall for file /proc/1542/stat
open syscall for file /proc/1542/status
open syscall for file /proc/1542/cmdline
open syscall for file /proc/1542/environ
open syscall for file /proc/1565/stat
open syscall for file /proc/1565/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1565/cmdline
open syscall for file /proc/1565/environ
open syscall for file /proc/1659/stat
open syscall for file /proc/1659/status
open syscall for file /proc/1659/cmdline
open syscall for file /proc/1659/environ
open syscall for file /proc/1660/stat
open syscall for file /proc/1660/status
open syscall for file /proc/1660/cmdline
open syscall for file /proc/1660/environ
open syscall for file /proc/1661/stat
open syscall for file /proc/1661/status
open syscall for file /proc/1661/cmdline
open syscall for file /proc/1661/environ
open syscall for file /proc/1662/stat
open syscall for file /proc/1662/status
open syscall for file /proc/1662/cmdline
open syscall for file /proc/1662/environ
open syscall for file /proc/1664/stat
open syscall for file /proc/1664/status
open syscall for file /proc/1664/cmdline
open syscall for file /proc/1664/environ
open syscall for file /proc/1669/stat
open syscall for file /proc/1669/status
open syscall for file /proc/1669/cmdline
open syscall for file /proc/1669/environ
open syscall for file /proc/1671/stat
open syscall for file /proc/1671/status
open syscall for file /proc/1671/cmdline
open syscall for file /proc/1671/environ
open syscall for file /proc/12490/stat
open syscall for file /proc/12490/status
open syscall for file /proc/12490/cmdline
open syscall for file /proc/12490/environ
open syscall for file /proc/11855/stat
open syscall for file /proc/11855/status
open syscall for file /proc/11855/cmdline
open syscall for file /proc/11855/environ
open syscall for file /proc/11882/stat
open syscall for file /proc/11882/status
open syscall for file /proc/11882/cmdline
open syscall for file /proc/11882/environ
open syscall for file /proc/11906/stat
open syscall for file /proc/11906/status
open syscall for file /proc/11906/cmdline
open syscall for file /proc/11906/environ
open syscall for file /proc/19869/stat
open syscall for file /proc/19869/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/19869/cmdline
open syscall for file /proc/19869/environ
open syscall for file /proc/19904/stat
open syscall for file /proc/19904/status
open syscall for file /proc/19904/cmdline
open syscall for file /proc/19904/environ
open syscall for file /proc/15400/stat
open syscall for file /proc/15400/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/15400/cmdline
open syscall for file /proc/15400/environ
open syscall for file /proc/15401/stat
open syscall for file /proc/15401/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/15401/cmdline
open syscall for file /proc/15401/environ
open syscall for file /proc/15410/stat
open syscall for file /proc/15410/status
open syscall for file /proc/15410/cmdline
open syscall for file /proc/15410/environ
open syscall for file /proc/726/stat
open syscall for file /proc/726/status
open syscall for file /proc/726/cmdline
open syscall for file /proc/726/environ
open syscall for file /proc/762/stat
open syscall for file /proc/762/status
open syscall for file /proc/762/cmdline
open syscall for file /proc/762/environ
open syscall for file /proc/763/stat
open syscall for file /proc/763/status
open syscall for file /proc/763/cmdline
open syscall for file /proc/763/environ
open syscall for file /proc/774/stat
open syscall for file /proc/774/status
open syscall for file /proc/774/cmdline
open syscall for file /proc/774/environ
open syscall for file /proc/776/stat
open syscall for file /proc/776/status
open syscall for file /proc/776/cmdline
open syscall for file /proc/776/environ
open syscall for file /proc/777/stat
open syscall for file /proc/777/status
open syscall for file /proc/777/cmdline
open syscall for file /proc/777/environ
One traced child (pid=776) exited with status: 0
One traced child (pid=777) exited with status: 0
New process pid=778
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=778) exited with status: 0
New process pid=779
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=779) exited with status: 0
One traced child (pid=763) ended because it received signal 15 (SIGTERM)
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
One traced child (pid=774) exited with status: 3
All traced children have exited ! Game is over.
Child status: 3
Real time (s): 1830.96
CPU time (s): 113.885
CPU user time (s): 75.9345
CPU system time (s): 37.9502
CPU usage (%): 6.21994
Max. virtual memory (cumulated for all children) (Kb): 28392