1:
seed: 0
Nr of vars set: 4883 (#equs: 0)
Nr of vars set: 6781 (#equs: 471)
#decisions: 368171; #end-nodes: 34056;
#proof improvement attempts: 0; #restarts: 288
Current batch, end-nodes: 0 / 153 (151)
#axs: 3572, #non-axs: 1789
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: 6781 (#equs: 471)
Time taken: 6 min, 8 sec
2:
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/4490/stat): 4490 (vallstSAT2005PB) R 4489 4490 4004 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 19565702 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/4490/statm): 174 3 169 147 0 27 0
[pid=4490] 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=4491
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=4491) exited with status: 0
New process pid=4492
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=4492) exited with status: 0
New process pid=4493
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/wulflinc30/normalized-mps-v2-20-10-neos20.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map
[startup+10.0066 s]
Raw data (loadavg): 0.93 0.98 0.91 2/56 4493
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19565702 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 242 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4493/stat): 4493 (vallst) R 4490 4490 4004 0 -1 0 899 0 0 0 980 5 0 0 25 0 1 0 19565709 5120000 814 4294967295 134512640 134702520 3221223952 3221175968 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4493/statm): 1250 814 413 48 0 1202 0
[pid=4493] vsize: 5000
Current children cumulated CPU time (s) 9.87
Current children cumulated vsize (Kb) 7128
[startup+20.0074 s]
Raw data (loadavg): 0.94 0.98 0.91 2/56 4493
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19565702 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 242 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4493/stat): 4493 (vallst) R 4490 4490 4004 0 -1 0 940 0 0 0 1815 59 0 0 21 0 1 0 19565709 7634944 855 4294967295 134512640 134702520 3221223952 3221208668 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4493/statm): 1864 855 413 48 0 1816 0
[pid=4493] vsize: 7456
Current children cumulated CPU time (s) 18.76
Current children cumulated vsize (Kb) 9584
[startup+30.0093 s]
Raw data (loadavg): 0.95 0.98 0.91 2/56 4493
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19565702 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 242 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4493/stat): 4493 (vallst) R 4490 4490 4004 0 -1 0 950 0 0 0 2731 85 0 0 25 0 1 0 19565709 7634944 865 4294967295 134512640 134702520 3221223952 3221181008 134612103 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4493/statm): 1864 865 413 48 0 1816 0
[pid=4493] vsize: 7456
Current children cumulated CPU time (s) 28.18
Current children cumulated vsize (Kb) 9584
[startup+40.0101 s]
Raw data (loadavg): 0.96 0.98 0.91 2/56 4493
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19565702 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 242 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4493/stat): 4493 (vallst) R 4490 4490 4004 0 -1 0 950 0 0 0 3732 85 0 0 25 0 1 0 19565709 7634944 865 4294967295 134512640 134702520 3221223952 3220774608 134612103 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4493/statm): 1864 865 413 48 0 1816 0
[pid=4493] vsize: 7456
Current children cumulated CPU time (s) 38.19
Current children cumulated vsize (Kb) 9584
[startup+50.0109 s]
Raw data (loadavg): 0.96 0.98 0.91 2/56 4493
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19565702 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 242 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4493/stat): 4493 (vallst) R 4490 4490 4004 0 -1 0 1034 0 0 0 4662 107 0 0 25 0 1 0 19565709 7938048 949 4294967295 134512640 134702520 3221223952 3221187888 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4493/statm): 1938 949 413 48 0 1890 0
[pid=4493] vsize: 7752
Current children cumulated CPU time (s) 47.71
Current children cumulated vsize (Kb) 9880
[startup+60.0117 s]
Raw data (loadavg): 0.97 0.98 0.91 2/56 4493
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19565702 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 242 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4493/stat): 4493 (vallst) R 4490 4490 4004 0 -1 0 1034 0 0 0 5663 107 0 0 25 0 1 0 19565709 7938048 949 4294967295 134512640 134702520 3221223952 3220785148 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4493/statm): 1938 949 413 48 0 1890 0
[pid=4493] vsize: 7752
Current children cumulated CPU time (s) 57.72
Current children cumulated vsize (Kb) 9880
[startup+70.0125 s]
Raw data (loadavg): 0.97 0.98 0.91 2/56 4493
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19565702 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 242 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4493/stat): 4493 (vallst) R 4490 4490 4004 0 -1 0 1041 0 0 0 6586 132 0 0 25 0 1 0 19565709 7938048 956 4294967295 134512640 134702520 3221223952 3221197308 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4493/statm): 1938 956 413 48 0 1890 0
[pid=4493] vsize: 7752
Current children cumulated CPU time (s) 67.2
Current children cumulated vsize (Kb) 9880
[startup+80.0143 s]
Raw data (loadavg): 0.98 0.98 0.91 2/56 4493
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19565702 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 242 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4493/stat): 4493 (vallst) R 4490 4490 4004 0 -1 0 1041 0 0 0 7587 132 0 0 25 0 1 0 19565709 7938048 956 4294967295 134512640 134702520 3221223952 3220799568 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4493/statm): 1938 956 413 48 0 1890 0
[pid=4493] vsize: 7752
Current children cumulated CPU time (s) 77.21
Current children cumulated vsize (Kb) 9880
[startup+90.0151 s]
Raw data (loadavg): 0.98 0.98 0.91 2/56 4493
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19565702 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 242 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4493/stat): 4493 (vallst) R 4490 4490 4004 0 -1 0 1047 0 0 0 8515 156 0 0 25 0 1 0 19565709 7938048 962 4294967295 134512640 134702520 3221223952 3221197488 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4493/statm): 1938 962 413 48 0 1890 0
[pid=4493] vsize: 7752
Current children cumulated CPU time (s) 86.73
Current children cumulated vsize (Kb) 9880
[startup+100.016 s]
Raw data (loadavg): 0.98 0.98 0.91 2/56 4493
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19565702 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 242 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4493/stat): 4493 (vallst) R 4490 4490 4004 0 -1 0 1047 0 0 0 9516 156 0 0 25 0 1 0 19565709 7938048 962 4294967295 134512640 134702520 3221223952 3220799728 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4493/statm): 1938 962 413 48 0 1890 0
[pid=4493] vsize: 7752
Current children cumulated CPU time (s) 96.74
Current children cumulated vsize (Kb) 9880
[startup+110.017 s]
Raw data (loadavg): 0.98 0.98 0.91 2/56 4493
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19565702 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 242 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4493/stat): 4493 (vallst) R 4490 4490 4004 0 -1 0 1058 0 0 0 10436 184 0 0 22 0 1 0 19565709 7938048 973 4294967295 134512640 134702520 3221223952 3221213788 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4493/statm): 1938 973 413 48 0 1890 0
[pid=4493] vsize: 7752
Current children cumulated CPU time (s) 106.22
Current children cumulated vsize (Kb) 9880
[startup+120.017 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 4493
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19565702 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 242 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4493/stat): 4493 (vallst) R 4490 4490 4004 0 -1 0 1058 0 0 0 11436 184 0 0 25 0 1 0 19565709 7938048 973 4294967295 134512640 134702520 3221223952 3220819388 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4493/statm): 1938 973 413 48 0 1890 0
[pid=4493] vsize: 7752
Current children cumulated CPU time (s) 116.22
Current children cumulated vsize (Kb) 9880
[startup+130.018 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 4493
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19565702 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 242 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4493/stat): 4493 (vallst) R 4490 4490 4004 0 -1 0 1058 0 0 0 12348 213 0 0 19 0 1 0 19565709 7938048 973 4294967295 134512640 134702520 3221223952 3221223232 134557173 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4493/statm): 1938 973 413 48 0 1890 0
[pid=4493] vsize: 7752
Current children cumulated CPU time (s) 125.63
Current children cumulated vsize (Kb) 9880
[startup+140.019 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 4493
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19565702 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 242 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4493/stat): 4493 (vallst) R 4490 4490 4004 0 -1 0 1058 0 0 0 13346 213 0 0 25 0 1 0 19565709 7938048 973 4294967295 134512640 134702520 3221223952 3220841788 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4493/statm): 1938 973 413 48 0 1890 0
[pid=4493] vsize: 7752
Current children cumulated CPU time (s) 135.61
Current children cumulated vsize (Kb) 9880
[startup+150.02 s]
Raw data (loadavg): 0.99 0.98 0.91 1/56 4493
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19565702 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 242 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4493/stat): 4493 (vallst) T 4490 4490 4004 0 -1 0 1058 0 0 0 14287 235 0 0 20 0 1 0 19565709 7938048 973 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4493/statm): 1938 973 413 48 0 1890 0
[pid=4493] vsize: 7752
Current children cumulated CPU time (s) 145.24
Current children cumulated vsize (Kb) 9880
[startup+160.021 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 4493
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19565702 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 242 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4493/stat): 4493 (vallst) R 4490 4490 4004 0 -1 0 1058 0 0 0 15263 244 0 0 25 0 1 0 19565709 7938048 973 4294967295 134512640 134702520 3221223952 3220871728 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4493/statm): 1938 973 413 48 0 1890 0
[pid=4493] vsize: 7752
Current children cumulated CPU time (s) 155.09
Current children cumulated vsize (Kb) 9880
[startup+170.021 s]
Raw data (loadavg): 0.99 0.98 0.91 1/56 4493
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19565702 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 242 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4493/stat): 4493 (vallst) T 4490 4490 4004 0 -1 0 1058 0 0 0 16214 260 0 0 20 0 1 0 19565709 7938048 973 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4493/statm): 1938 973 413 48 0 1890 0
[pid=4493] vsize: 7752
Current children cumulated CPU time (s) 164.76
Current children cumulated vsize (Kb) 9880
[startup+180.022 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 4493
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19565702 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 242 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4493/stat): 4493 (vallst) R 4490 4490 4004 0 -1 0 1058 0 0 0 17173 275 0 0 25 0 1 0 19565709 7938048 973 4294967295 134512640 134702520 3221223952 3220906128 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4493/statm): 1938 973 413 48 0 1890 0
[pid=4493] vsize: 7752
Current children cumulated CPU time (s) 174.5
Current children cumulated vsize (Kb) 9880
[startup+190.024 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 4493
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19565702 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 242 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4493/stat): 4493 (vallst) R 4490 4490 4004 0 -1 0 1058 0 0 0 18150 283 0 0 21 0 1 0 19565709 7938048 973 4294967295 134512640 134702520 3221223952 3221223232 134552293 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4493/statm): 1938 973 413 48 0 1890 0
[pid=4493] vsize: 7752
Current children cumulated CPU time (s) 184.35
Current children cumulated vsize (Kb) 9880
[startup+200.025 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 4493
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19565702 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 242 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4493/stat): 4493 (vallst) R 4490 4490 4004 0 -1 0 1061 0 0 0 19076 308 0 0 25 0 1 0 19565709 7938048 976 4294967295 134512640 134702520 3221223952 3220949488 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4493/statm): 1938 976 413 48 0 1890 0
[pid=4493] vsize: 7752
Current children cumulated CPU time (s) 193.86
Current children cumulated vsize (Kb) 9880
[startup+210.026 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 4493
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19565702 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 242 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4493/stat): 4493 (vallst) R 4490 4490 4004 0 -1 0 1061 0 0 0 20076 308 0 0 25 0 1 0 19565709 7938048 976 4294967295 134512640 134702520 3221223952 3220263248 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4493/statm): 1938 976 413 48 0 1890 0
[pid=4493] vsize: 7752
Current children cumulated CPU time (s) 203.86
Current children cumulated vsize (Kb) 9880
[startup+220.026 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 4493
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19565702 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 242 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4493/stat): 4493 (vallst) R 4490 4490 4004 0 -1 0 1069 0 0 0 20986 336 0 0 25 0 1 0 19565709 7938048 984 4294967295 134512640 134702520 3221223952 3220976848 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4493/statm): 1938 984 413 48 0 1890 0
[pid=4493] vsize: 7752
Current children cumulated CPU time (s) 213.24
Current children cumulated vsize (Kb) 9880
[startup+230.027 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 4493
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19565702 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 242 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4493/stat): 4493 (vallst) R 4490 4490 4004 0 -1 0 1069 0 0 0 21986 336 0 0 25 0 1 0 19565709 7938048 984 4294967295 134512640 134702520 3221223952 3220373968 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4493/statm): 1938 984 413 48 0 1890 0
[pid=4493] vsize: 7752
Current children cumulated CPU time (s) 223.24
Current children cumulated vsize (Kb) 9880
[startup+240.028 s]
Raw data (loadavg): 1.07 1.00 0.92 2/56 4493
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19565702 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 242 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4493/stat): 4493 (vallst) R 4490 4490 4004 0 -1 0 1073 0 0 0 22914 363 0 0 25 0 1 0 19565709 7938048 988 4294967295 134512640 134702520 3221223952 3220997008 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4493/statm): 1938 988 413 48 0 1890 0
[pid=4493] vsize: 7752
Current children cumulated CPU time (s) 232.79
Current children cumulated vsize (Kb) 9880
[startup+250.029 s]
Raw data (loadavg): 1.06 1.00 0.92 2/56 4493
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19565702 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 242 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4493/stat): 4493 (vallst) R 4490 4490 4004 0 -1 0 1073 0 0 0 23914 363 0 0 25 0 1 0 19565709 7938048 988 4294967295 134512640 134702520 3221223952 3220435888 134612005 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4493/statm): 1938 988 413 48 0 1890 0
[pid=4493] vsize: 7752
Current children cumulated CPU time (s) 242.79
Current children cumulated vsize (Kb) 9880
[startup+260.031 s]
Raw data (loadavg): 1.05 1.00 0.92 2/56 4493
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19565702 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 242 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4493/stat): 4493 (vallst) R 4490 4490 4004 0 -1 0 1073 0 0 0 24800 402 0 0 25 0 1 0 19565709 7938048 988 4294967295 134512640 134702520 3221223952 3221052208 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4493/statm): 1938 988 413 48 0 1890 0
[pid=4493] vsize: 7752
Current children cumulated CPU time (s) 252.04
Current children cumulated vsize (Kb) 9880
[startup+270.031 s]
Raw data (loadavg): 1.04 1.00 0.92 2/56 4493
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19565702 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 242 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4493/stat): 4493 (vallst) R 4490 4490 4004 0 -1 0 1073 0 0 0 25800 402 0 0 25 0 1 0 19565709 7938048 988 4294967295 134512640 134702520 3221223952 3220553808 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4493/statm): 1938 988 413 48 0 1890 0
[pid=4493] vsize: 7752
Current children cumulated CPU time (s) 262.04
Current children cumulated vsize (Kb) 9880
[startup+280.032 s]
Raw data (loadavg): 1.03 1.00 0.92 2/56 4493
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19565702 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 242 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4493/stat): 4493 (vallst) R 4490 4490 4004 0 -1 0 1090 0 0 0 26700 438 0 0 25 0 1 0 19565709 8241152 1005 4294967295 134512640 134702520 3221223952 3221101168 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4493/statm): 2012 1005 413 48 0 1964 0
[pid=4493] vsize: 8048
Current children cumulated CPU time (s) 271.4
Current children cumulated vsize (Kb) 10176
[startup+290.033 s]
Raw data (loadavg): 1.03 1.00 0.92 2/56 4493
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19565702 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 242 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4493/stat): 4493 (vallst) R 4490 4490 4004 0 -1 0 1090 0 0 0 27700 438 0 0 25 0 1 0 19565709 8241152 1005 4294967295 134512640 134702520 3221223952 3220637308 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4493/statm): 2012 1005 413 48 0 1964 0
[pid=4493] vsize: 8048
Current children cumulated CPU time (s) 281.4
Current children cumulated vsize (Kb) 10176
[startup+300.033 s]
Raw data (loadavg): 1.02 1.00 0.92 2/56 4493
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19565702 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 242 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4493/stat): 4493 (vallst) R 4490 4490 4004 0 -1 0 1139 0 0 0 28600 473 0 0 25 0 1 0 19565709 8241152 1054 4294967295 134512640 134702520 3221223952 3221150128 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4493/statm): 2012 1054 413 48 0 1964 0
[pid=4493] vsize: 8048
Current children cumulated CPU time (s) 290.75
Current children cumulated vsize (Kb) 10176
[startup+310.035 s]
Raw data (loadavg): 1.02 1.00 0.92 2/56 4493
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19565702 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 242 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4493/stat): 4493 (vallst) R 4490 4490 4004 0 -1 0 1139 0 0 0 29600 473 0 0 25 0 1 0 19565709 8241152 1054 4294967295 134512640 134702520 3221223952 3220725648 134612002 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4493/statm): 2012 1054 413 48 0 1964 0
[pid=4493] vsize: 8048
Current children cumulated CPU time (s) 300.75
Current children cumulated vsize (Kb) 10176
[startup+320.035 s]
Raw data (loadavg): 1.02 1.00 0.92 2/56 4493
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19565702 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 242 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4493/stat): 4493 (vallst) R 4490 4490 4004 0 -1 0 1183 0 0 0 30513 503 0 0 25 0 1 0 19565709 8544256 1098 4294967295 134512640 134702520 3221223952 3221195088 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4493/statm): 2086 1098 413 48 0 2038 0
[pid=4493] vsize: 8344
Current children cumulated CPU time (s) 310.18
Current children cumulated vsize (Kb) 10472
[startup+330.037 s]
Raw data (loadavg): 1.01 1.00 0.92 2/56 4493
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19565702 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 242 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4493/stat): 4493 (vallst) R 4490 4490 4004 0 -1 0 1183 0 0 0 31513 503 0 0 25 0 1 0 19565709 8544256 1098 4294967295 134512640 134702520 3221223952 3220796028 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4493/statm): 2086 1098 413 48 0 2038 0
[pid=4493] vsize: 8344
Current children cumulated CPU time (s) 320.18
Current children cumulated vsize (Kb) 10472
[startup+340.038 s]
Raw data (loadavg): 1.01 1.00 0.92 2/56 4493
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19565702 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 242 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4493/stat): 4493 (vallst) R 4490 4490 4004 0 -1 0 1234 0 0 0 32452 523 0 0 23 0 1 0 19565709 8847360 1149 4294967295 134512640 134702520 3221223952 3221217808 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4493/statm): 2160 1149 413 48 0 2112 0
[pid=4493] vsize: 8640
Current children cumulated CPU time (s) 329.77
Current children cumulated vsize (Kb) 10768
[startup+350.038 s]
Raw data (loadavg): 1.01 1.00 0.92 2/56 4493
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19565702 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 242 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4493/stat): 4493 (vallst) R 4490 4490 4004 0 -1 0 1234 0 0 0 33452 523 0 0 25 0 1 0 19565709 8847360 1149 4294967295 134512640 134702520 3221223952 3220825328 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4493/statm): 2160 1149 413 48 0 2112 0
[pid=4493] vsize: 8640
Current children cumulated CPU time (s) 339.77
Current children cumulated vsize (Kb) 10768
[startup+360.039 s]
Raw data (loadavg): 1.01 1.00 0.92 1/56 4493
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19565702 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 242 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4493/stat): 4493 (vallst) T 4490 4490 4004 0 -1 0 1257 0 0 0 34401 541 0 0 22 0 1 0 19565709 8847360 1172 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4493/statm): 2160 1172 413 48 0 2112 0
[pid=4493] vsize: 8640
Current children cumulated CPU time (s) 349.44
Current children cumulated vsize (Kb) 10768
[startup+370.039 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 4493
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19565702 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 242 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4493/stat): 4493 (vallst) R 4490 4490 4004 0 -1 0 1288 0 0 0 35369 551 0 0 25 0 1 0 19565709 8847360 1203 4294967295 134512640 134702520 3221223952 3220906748 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4493/statm): 2160 1203 413 48 0 2112 0
[pid=4493] vsize: 8640
Current children cumulated CPU time (s) 359.22
Current children cumulated vsize (Kb) 10768
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=4493) exited with status: 2
New process pid=4494
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=4494) exited with status: 0
New process pid=4495
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+380.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 4495
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 378 1664 0 0 1 1 36311 554 19 0 1 0 19565702 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 248 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4495/stat): 4495 (vallst) R 4490 4490 4004 0 -1 0 554 0 0 0 48 1 0 0 24 0 1 0 19603658 3764224 524 4294967295 134512640 134702520 3221223712 3221214448 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4495/statm): 919 524 413 48 0 871 0
[pid=4495] vsize: 3676
Current children cumulated CPU time (s) 369.16
Current children cumulated vsize (Kb) 5804
[startup+390.041 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 4495
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 378 1664 0 0 1 1 36311 554 19 0 1 0 19565702 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 248 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4495/stat): 4495 (vallst) R 4490 4490 4004 0 -1 0 648 0 0 0 1048 1 0 0 25 0 1 0 19603658 4149248 618 4294967295 134512640 134702520 3221223712 3220796048 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4495/statm): 1013 618 413 48 0 965 0
[pid=4495] vsize: 4052
Current children cumulated CPU time (s) 379.16
Current children cumulated vsize (Kb) 6180
[startup+400.042 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 4495
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 378 1664 0 0 1 1 36311 554 19 0 1 0 19565702 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 248 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4495/stat): 4495 (vallst) R 4490 4490 4004 0 -1 0 886 0 0 0 2019 12 0 0 25 0 1 0 19603658 6934528 856 4294967295 134512640 134702520 3221223712 3221132428 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4495/statm): 1693 856 413 48 0 1645 0
[pid=4495] vsize: 6772
Current children cumulated CPU time (s) 388.98
Current children cumulated vsize (Kb) 8900
[startup+410.043 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 4495
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 378 1664 0 0 1 1 36311 554 19 0 1 0 19565702 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 248 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4495/stat): 4495 (vallst) R 4490 4490 4004 0 -1 0 886 0 0 0 3019 12 0 0 25 0 1 0 19603658 6934528 856 4294967295 134512640 134702520 3221223712 3220725888 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4495/statm): 1693 856 413 48 0 1645 0
[pid=4495] vsize: 6772
Current children cumulated CPU time (s) 398.98
Current children cumulated vsize (Kb) 8900
[startup+420.042 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 4495
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 378 1664 0 0 1 1 36311 554 19 0 1 0 19565702 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 248 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4495/stat): 4495 (vallst) R 4490 4490 4004 0 -1 0 899 0 0 0 3993 22 0 0 25 0 1 0 19603658 6934528 869 4294967295 134512640 134702520 3221223712 3221128108 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4495/statm): 1693 869 413 48 0 1645 0
[pid=4495] vsize: 6772
Current children cumulated CPU time (s) 408.82
Current children cumulated vsize (Kb) 8900
[startup+430.044 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 4495
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 378 1664 0 0 1 1 36311 554 19 0 1 0 19565702 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 248 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4495/stat): 4495 (vallst) R 4490 4490 4004 0 -1 0 899 0 0 0 4993 22 0 0 25 0 1 0 19603658 6934528 869 4294967295 134512640 134702520 3221223712 3220719168 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4495/statm): 1693 869 413 48 0 1645 0
[pid=4495] vsize: 6772
Current children cumulated CPU time (s) 418.82
Current children cumulated vsize (Kb) 8900
[startup+440.045 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 4495
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 378 1664 0 0 1 1 36311 554 19 0 1 0 19565702 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 248 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4495/stat): 4495 (vallst) R 4490 4490 4004 0 -1 0 918 0 0 0 5954 36 0 0 25 0 1 0 19603658 6934528 888 4294967295 134512640 134702520 3221223712 3221145408 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4495/statm): 1693 888 413 48 0 1645 0
[pid=4495] vsize: 6772
Current children cumulated CPU time (s) 428.57
Current children cumulated vsize (Kb) 8900
[startup+450.046 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 4495
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 378 1664 0 0 1 1 36311 554 19 0 1 0 19565702 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 248 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4495/stat): 4495 (vallst) R 4490 4490 4004 0 -1 0 918 0 0 0 6954 36 0 0 25 0 1 0 19603658 6934528 888 4294967295 134512640 134702520 3221223712 3220750848 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4495/statm): 1693 888 413 48 0 1645 0
[pid=4495] vsize: 6772
Current children cumulated CPU time (s) 438.57
Current children cumulated vsize (Kb) 8900
[startup+460.046 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 4495
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 378 1664 0 0 1 1 36311 554 19 0 1 0 19565702 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 248 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4495/stat): 4495 (vallst) R 4490 4490 4004 0 -1 0 928 0 0 0 7930 43 0 0 25 0 1 0 19603658 6934528 898 4294967295 134512640 134702520 3221223712 3221147328 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4495/statm): 1693 898 413 48 0 1645 0
[pid=4495] vsize: 6772
Current children cumulated CPU time (s) 448.4
Current children cumulated vsize (Kb) 8900
[startup+470.048 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 4495
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 378 1664 0 0 1 1 36311 554 19 0 1 0 19565702 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 248 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4495/stat): 4495 (vallst) R 4490 4490 4004 0 -1 0 928 0 0 0 8930 43 0 0 25 0 1 0 19603658 6934528 898 4294967295 134512640 134702520 3221223712 3220753888 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4495/statm): 1693 898 413 48 0 1645 0
[pid=4495] vsize: 6772
Current children cumulated CPU time (s) 458.4
Current children cumulated vsize (Kb) 8900
[startup+480.049 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 4495
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 378 1664 0 0 1 1 36311 554 19 0 1 0 19565702 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 248 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4495/stat): 4495 (vallst) R 4490 4490 4004 0 -1 0 938 0 0 0 9901 52 0 0 25 0 1 0 19603658 7163904 908 4294967295 134512640 134702520 3221223712 3221156288 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4495/statm): 1749 908 413 48 0 1701 0
[pid=4495] vsize: 6996
Current children cumulated CPU time (s) 468.2
Current children cumulated vsize (Kb) 9124
[startup+490.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 4495
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 378 1664 0 0 1 1 36311 554 19 0 1 0 19565702 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 248 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4495/stat): 4495 (vallst) R 4490 4490 4004 0 -1 0 938 0 0 0 10901 52 0 0 25 0 1 0 19603658 7163904 908 4294967295 134512640 134702520 3221223712 3220767148 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4495/statm): 1749 908 413 48 0 1701 0
[pid=4495] vsize: 6996
Current children cumulated CPU time (s) 478.2
Current children cumulated vsize (Kb) 9124
[startup+500.051 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 4495
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 378 1664 0 0 1 1 36311 554 19 0 1 0 19565702 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 248 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4495/stat): 4495 (vallst) R 4490 4490 4004 0 -1 0 949 0 0 0 11869 62 0 0 25 0 1 0 19603658 7163904 919 4294967295 134512640 134702520 3221223712 3221170668 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4495/statm): 1749 919 413 48 0 1701 0
[pid=4495] vsize: 6996
Current children cumulated CPU time (s) 487.98
Current children cumulated vsize (Kb) 9124
[startup+510.051 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 4495
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 378 1664 0 0 1 1 36311 554 19 0 1 0 19565702 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 248 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4495/stat): 4495 (vallst) R 4490 4490 4004 0 -1 0 949 0 0 0 12870 62 0 0 25 0 1 0 19603658 7163904 919 4294967295 134512640 134702520 3221223712 3220783796 134611990 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4495/statm): 1749 919 413 48 0 1701 0
[pid=4495] vsize: 6996
Current children cumulated CPU time (s) 497.99
Current children cumulated vsize (Kb) 9124
[startup+520.051 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 4495
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 378 1664 0 0 1 1 36311 554 19 0 1 0 19565702 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 248 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4495/stat): 4495 (vallst) R 4490 4490 4004 0 -1 0 950 0 0 0 13839 73 0 0 25 0 1 0 19603658 7163904 920 4294967295 134512640 134702520 3221223712 3221173228 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4495/statm): 1749 920 413 48 0 1701 0
[pid=4495] vsize: 6996
Current children cumulated CPU time (s) 507.79
Current children cumulated vsize (Kb) 9124
[startup+530.052 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 4495
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 378 1664 0 0 1 1 36311 554 19 0 1 0 19565702 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 248 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4495/stat): 4495 (vallst) R 4490 4490 4004 0 -1 0 950 0 0 0 14839 73 0 0 25 0 1 0 19603658 7163904 920 4294967295 134512640 134702520 3221223712 3220792428 134531180 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4495/statm): 1749 920 413 48 0 1701 0
[pid=4495] vsize: 6996
Current children cumulated CPU time (s) 517.79
Current children cumulated vsize (Kb) 9124
[startup+540.053 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 4495
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 378 1664 0 0 1 1 36311 554 19 0 1 0 19565702 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 248 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4495/stat): 4495 (vallst) R 4490 4490 4004 0 -1 0 951 0 0 0 15814 83 0 0 25 0 1 0 19603658 7163904 921 4294967295 134512640 134702520 3221223712 3221178508 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4495/statm): 1749 921 413 48 0 1701 0
[pid=4495] vsize: 6996
Current children cumulated CPU time (s) 527.64
Current children cumulated vsize (Kb) 9124
[startup+550.079 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 4550
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 378 1664 0 0 1 1 36311 554 19 0 1 0 19565702 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 248 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4495/stat): 4495 (vallst) R 4490 4490 4004 0 -1 0 951 0 0 0 16812 84 0 0 25 0 1 0 19603658 7163904 921 4294967295 134512640 134702520 3221223712 3220797888 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4495/statm): 1749 921 413 48 0 1701 0
[pid=4495] vsize: 6996
Current children cumulated CPU time (s) 537.63
Current children cumulated vsize (Kb) 9124
[startup+560.079 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 4550
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 378 1664 0 0 1 1 36311 554 19 0 1 0 19565702 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 248 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4495/stat): 4495 (vallst) R 4490 4490 4004 0 -1 0 953 0 0 0 17772 99 0 0 25 0 1 0 19603658 7294976 923 4294967295 134512640 134702520 3221223712 3221198208 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4495/statm): 1781 923 413 48 0 1733 0
[pid=4495] vsize: 7124
Current children cumulated CPU time (s) 547.38
Current children cumulated vsize (Kb) 9252
[startup+570.08 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 4550
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 378 1664 0 0 1 1 36311 554 19 0 1 0 19565702 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 248 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4495/stat): 4495 (vallst) R 4490 4490 4004 0 -1 0 953 0 0 0 18772 99 0 0 25 0 1 0 19603658 7294976 923 4294967295 134512640 134702520 3221223712 3220828768 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4495/statm): 1781 923 413 48 0 1733 0
[pid=4495] vsize: 7124
Current children cumulated CPU time (s) 557.38
Current children cumulated vsize (Kb) 9252
[startup+580.08 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 4550
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 378 1664 0 0 1 1 36311 554 19 0 1 0 19565702 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 248 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4495/stat): 4495 (vallst) R 4490 4490 4004 0 -1 0 954 0 0 0 19738 109 0 0 23 0 1 0 19603658 7294976 924 4294967295 134512640 134702520 3221223712 3221214988 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4495/statm): 1781 924 413 48 0 1733 0
[pid=4495] vsize: 7124
Current children cumulated CPU time (s) 567.14
Current children cumulated vsize (Kb) 9252
[startup+590.081 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 4550
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 378 1664 0 0 1 1 36311 554 19 0 1 0 19565702 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 248 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4495/stat): 4495 (vallst) R 4490 4490 4004 0 -1 0 954 0 0 0 20739 109 0 0 25 0 1 0 19603658 7294976 924 4294967295 134512640 134702520 3221223712 3220847968 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4495/statm): 1781 924 413 48 0 1733 0
[pid=4495] vsize: 7124
Current children cumulated CPU time (s) 577.15
Current children cumulated vsize (Kb) 9252
[startup+600.082 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 4552
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 378 1664 0 0 1 1 36311 554 19 0 1 0 19565702 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 248 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4495/stat): 4495 (vallst) R 4490 4490 4004 0 -1 0 956 0 0 0 21708 120 0 0 22 0 1 0 19603658 7294976 926 4294967295 134512640 134702520 3221223712 3221222992 134553133 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4495/statm): 1781 926 413 48 0 1733 0
[pid=4495] vsize: 7124
Current children cumulated CPU time (s) 586.95
Current children cumulated vsize (Kb) 9252
[startup+610.083 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 4552
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 378 1664 0 0 1 1 36311 554 19 0 1 0 19565702 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 248 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4495/stat): 4495 (vallst) R 4490 4490 4004 0 -1 0 956 0 0 0 22704 121 0 0 25 0 1 0 19603658 7294976 926 4294967295 134512640 134702520 3221223712 3220870668 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4495/statm): 1781 926 413 48 0 1733 0
[pid=4495] vsize: 7124
Current children cumulated CPU time (s) 596.92
Current children cumulated vsize (Kb) 9252
[startup+620.084 s]
Raw data (loadavg): 1.00 1.00 0.92 1/56 4556
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 378 1664 0 0 1 1 36311 554 19 0 1 0 19565702 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 248 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4495/stat): 4495 (vallst) T 4490 4490 4004 0 -1 0 958 0 0 0 23679 129 0 0 23 0 1 0 19603658 7294976 928 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4495/statm): 1781 928 413 48 0 1733 0
[pid=4495] vsize: 7124
Current children cumulated CPU time (s) 606.75
Current children cumulated vsize (Kb) 9252
[startup+630.084 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 4556
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 378 1664 0 0 1 1 36311 554 19 0 1 0 19565702 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 248 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4495/stat): 4495 (vallst) R 4490 4490 4004 0 -1 0 958 0 0 0 24665 133 0 0 25 0 1 0 19603658 7294976 928 4294967295 134512640 134702520 3221223712 3220890348 134531180 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4495/statm): 1781 928 413 48 0 1733 0
[pid=4495] vsize: 7124
Current children cumulated CPU time (s) 616.65
Current children cumulated vsize (Kb) 9252
[startup+640.085 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 4556
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 378 1664 0 0 1 1 36311 554 19 0 1 0 19565702 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 248 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4495/stat): 4495 (vallst) T 4490 4490 4004 0 -1 0 959 0 0 0 25652 138 0 0 24 0 1 0 19603658 7294976 929 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4495/statm): 1781 929 413 48 0 1733 0
[pid=4495] vsize: 7124
Current children cumulated CPU time (s) 626.57
Current children cumulated vsize (Kb) 9252
[startup+650.085 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 4556
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 378 1664 0 0 1 1 36311 554 19 0 1 0 19565702 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 248 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4495/stat): 4495 (vallst) R 4490 4490 4004 0 -1 0 959 0 0 0 26629 146 0 0 25 0 1 0 19603658 7294976 929 4294967295 134512640 134702520 3221223712 3220915968 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4495/statm): 1781 929 413 48 0 1733 0
[pid=4495] vsize: 7124
Current children cumulated CPU time (s) 636.42
Current children cumulated vsize (Kb) 9252
[startup+660.085 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 4556
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 378 1664 0 0 1 1 36311 554 19 0 1 0 19565702 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 248 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4495/stat): 4495 (vallst) R 4490 4490 4004 0 -1 0 959 0 0 0 27629 146 0 0 25 0 1 0 19603658 7294976 929 4294967295 134512640 134702520 3221223712 3220215628 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4495/statm): 1781 929 413 48 0 1733 0
[pid=4495] vsize: 7124
Current children cumulated CPU time (s) 646.42
Current children cumulated vsize (Kb) 9252
[startup+670.087 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 4556
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 378 1664 0 0 1 1 36311 554 19 0 1 0 19565702 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 248 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4495/stat): 4495 (vallst) R 4490 4490 4004 0 -1 0 1013 0 0 0 28593 159 0 0 25 0 1 0 19603658 7524352 983 4294967295 134512640 134702520 3221223712 3220943328 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4495/statm): 1837 983 413 48 0 1789 0
[pid=4495] vsize: 7348
Current children cumulated CPU time (s) 656.19
Current children cumulated vsize (Kb) 9476
[startup+680.087 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 4556
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 378 1664 0 0 1 1 36311 554 19 0 1 0 19565702 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 248 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4495/stat): 4495 (vallst) R 4490 4490 4004 0 -1 0 1013 0 0 0 29594 159 0 0 25 0 1 0 19603658 7524352 983 4294967295 134512640 134702520 3221223712 3220361888 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4495/statm): 1837 983 413 48 0 1789 0
[pid=4495] vsize: 7348
Current children cumulated CPU time (s) 666.2
Current children cumulated vsize (Kb) 9476
[startup+690.088 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 4556
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 378 1664 0 0 1 1 36311 554 19 0 1 0 19565702 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 248 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4495/stat): 4495 (vallst) R 4490 4490 4004 0 -1 0 1079 0 0 0 30560 171 0 0 25 0 1 0 19603658 7753728 1049 4294967295 134512640 134702520 3221223712 3220950208 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4495/statm): 1893 1049 413 48 0 1845 0
[pid=4495] vsize: 7572
Current children cumulated CPU time (s) 675.98
Current children cumulated vsize (Kb) 9700
[startup+700.087 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 4556
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 378 1664 0 0 1 1 36311 554 19 0 1 0 19565702 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 248 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4495/stat): 4495 (vallst) R 4490 4490 4004 0 -1 0 1079 0 0 0 31561 171 0 0 25 0 1 0 19603658 7753728 1049 4294967295 134512640 134702520 3221223712 3220390188 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4495/statm): 1893 1049 413 48 0 1845 0
[pid=4495] vsize: 7572
Current children cumulated CPU time (s) 685.99
Current children cumulated vsize (Kb) 9700
[startup+710.088 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 4556
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 378 1664 0 0 1 1 36311 554 19 0 1 0 19565702 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 248 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4495/stat): 4495 (vallst) R 4490 4490 4004 0 -1 0 1124 0 0 0 32519 186 0 0 25 0 1 0 19603658 7753728 1094 4294967295 134512640 134702520 3221223712 3220988428 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4495/statm): 1893 1094 413 48 0 1845 0
[pid=4495] vsize: 7572
Current children cumulated CPU time (s) 695.72
Current children cumulated vsize (Kb) 9700
[startup+720.089 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 4556
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 378 1664 0 0 1 1 36311 554 19 0 1 0 19565702 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 248 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4495/stat): 4495 (vallst) R 4490 4490 4004 0 -1 0 1124 0 0 0 33519 186 0 0 25 0 1 0 19603658 7753728 1094 4294967295 134512640 134702520 3221223712 3220475308 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4495/statm): 1893 1094 413 48 0 1845 0
[pid=4495] vsize: 7572
Current children cumulated CPU time (s) 705.72
Current children cumulated vsize (Kb) 9700
[startup+730.089 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 4556
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 378 1664 0 0 1 1 36311 554 19 0 1 0 19565702 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 248 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4495/stat): 4495 (vallst) R 4490 4490 4004 0 -1 0 1172 0 0 0 34486 198 0 0 25 0 1 0 19603658 7983104 1142 4294967295 134512640 134702520 3221223712 3221006048 134612002 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4495/statm): 1949 1142 413 48 0 1901 0
[pid=4495] vsize: 7796
Current children cumulated CPU time (s) 715.51
Current children cumulated vsize (Kb) 9924
[startup+740.09 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 4556
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 378 1664 0 0 1 1 36311 554 19 0 1 0 19565702 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 248 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4495/stat): 4495 (vallst) R 4490 4490 4004 0 -1 0 1172 0 0 0 35486 198 0 0 25 0 1 0 19603658 7983104 1142 4294967295 134512640 134702520 3221223712 3220517568 134611984 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4495/statm): 1949 1142 413 48 0 1901 0
[pid=4495] vsize: 7796
Current children cumulated CPU time (s) 725.51
Current children cumulated vsize (Kb) 9924
[startup+750.09 s]
Raw data (loadavg): 1.07 1.02 0.93 2/56 4556
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 378 1664 0 0 1 1 36311 554 19 0 1 0 19565702 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 248 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4495/stat): 4495 (vallst) R 4490 4490 4004 0 -1 0 1204 0 0 0 36449 213 0 0 25 0 1 0 19603658 7888896 1127 4294967295 134512640 134702520 3221223712 3221041408 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4495/statm): 1926 1127 413 48 0 1878 0
[pid=4495] vsize: 7704
Current children cumulated CPU time (s) 735.29
Current children cumulated vsize (Kb) 9832
[startup+760.091 s]
Raw data (loadavg): 1.06 1.02 0.93 2/56 4556
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 378 1664 0 0 1 1 36311 554 19 0 1 0 19565702 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 248 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4495/stat): 4495 (vallst) R 4490 4490 4004 0 -1 0 1204 0 0 0 37449 213 0 0 25 0 1 0 19603658 7888896 1127 4294967295 134512640 134702520 3221223712 3220582208 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4495/statm): 1926 1127 413 48 0 1878 0
[pid=4495] vsize: 7704
Current children cumulated CPU time (s) 745.29
Current children cumulated vsize (Kb) 9832
[startup+770.092 s]
Raw data (loadavg): 1.05 1.01 0.93 2/56 4556
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 378 1664 0 0 1 1 36311 554 19 0 1 0 19565702 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 248 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4495/stat): 4495 (vallst) R 4490 4490 4004 0 -1 0 1205 0 0 0 38415 224 0 0 25 0 1 0 19603658 7888896 1128 4294967295 134512640 134702520 3221223712 3221051328 134612103 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4495/statm): 1926 1128 413 48 0 1878 0
[pid=4495] vsize: 7704
Current children cumulated CPU time (s) 755.06
Current children cumulated vsize (Kb) 9832
[startup+780.092 s]
Raw data (loadavg): 1.04 1.01 0.93 2/56 4556
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 378 1664 0 0 1 1 36311 554 19 0 1 0 19565702 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 248 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4495/stat): 4495 (vallst) R 4490 4490 4004 0 -1 0 1205 0 0 0 39415 224 0 0 25 0 1 0 19603658 7888896 1128 4294967295 134512640 134702520 3221223712 3220599808 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4495/statm): 1926 1128 413 48 0 1878 0
[pid=4495] vsize: 7704
Current children cumulated CPU time (s) 765.06
Current children cumulated vsize (Kb) 9832
[startup+790.093 s]
Raw data (loadavg): 1.04 1.01 0.93 2/56 4556
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 378 1664 0 0 1 1 36311 554 19 0 1 0 19565702 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 248 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4495/stat): 4495 (vallst) R 4490 4490 4004 0 -1 0 1205 0 0 0 40385 235 0 0 25 0 1 0 19603658 7888896 1128 4294967295 134512640 134702520 3221223712 3221056908 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4495/statm): 1926 1128 413 48 0 1878 0
[pid=4495] vsize: 7704
Current children cumulated CPU time (s) 774.87
Current children cumulated vsize (Kb) 9832
[startup+800.092 s]
Raw data (loadavg): 1.03 1.01 0.93 2/56 4556
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 378 1664 0 0 1 1 36311 554 19 0 1 0 19565702 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 248 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4495/stat): 4495 (vallst) R 4490 4490 4004 0 -1 0 1205 0 0 0 41386 235 0 0 25 0 1 0 19603658 7888896 1128 4294967295 134512640 134702520 3221223712 3220602848 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4495/statm): 1926 1128 413 48 0 1878 0
[pid=4495] vsize: 7704
Current children cumulated CPU time (s) 784.88
Current children cumulated vsize (Kb) 9832
[startup+810.093 s]
Raw data (loadavg): 1.02 1.01 0.93 2/56 4556
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 378 1664 0 0 1 1 36311 554 19 0 1 0 19565702 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 248 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4495/stat): 4495 (vallst) R 4490 4490 4004 0 -1 0 1206 0 0 0 42339 253 0 0 25 0 1 0 19603658 7888896 1129 4294967295 134512640 134702520 3221223712 3221098988 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4495/statm): 1926 1129 413 48 0 1878 0
[pid=4495] vsize: 7704
Current children cumulated CPU time (s) 794.59
Current children cumulated vsize (Kb) 9832
[startup+820.094 s]
Raw data (loadavg): 1.02 1.01 0.93 2/56 4556
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 378 1664 0 0 1 1 36311 554 19 0 1 0 19565702 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 248 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4495/stat): 4495 (vallst) R 4490 4490 4004 0 -1 0 1206 0 0 0 43339 253 0 0 25 0 1 0 19603658 7888896 1129 4294967295 134512640 134702520 3221223712 3220678828 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4495/statm): 1926 1129 413 48 0 1878 0
[pid=4495] vsize: 7704
Current children cumulated CPU time (s) 804.59
Current children cumulated vsize (Kb) 9832
[startup+830.094 s]
Raw data (loadavg): 1.02 1.01 0.93 2/56 4556
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 378 1664 0 0 1 1 36311 554 19 0 1 0 19565702 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 248 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4495/stat): 4495 (vallst) R 4490 4490 4004 0 -1 0 1229 0 0 0 44301 265 0 0 25 0 1 0 19603658 8118272 1152 4294967295 134512640 134702520 3221223712 3221124428 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4495/statm): 1982 1152 413 48 0 1934 0
[pid=4495] vsize: 7928
Current children cumulated CPU time (s) 814.33
Current children cumulated vsize (Kb) 10056
[startup+840.095 s]
Raw data (loadavg): 1.01 1.01 0.93 2/56 4556
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 378 1664 0 0 1 1 36311 554 19 0 1 0 19565702 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 248 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4495/stat): 4495 (vallst) R 4490 4490 4004 0 -1 0 1229 0 0 0 45301 265 0 0 25 0 1 0 19603658 8118272 1152 4294967295 134512640 134702520 3221223712 3220718688 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4495/statm): 1982 1152 413 48 0 1934 0
[pid=4495] vsize: 7928
Current children cumulated CPU time (s) 824.33
Current children cumulated vsize (Kb) 10056
[startup+850.095 s]
Raw data (loadavg): 1.01 1.01 0.93 2/56 4556
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 378 1664 0 0 1 1 36311 554 19 0 1 0 19565702 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 248 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4495/stat): 4495 (vallst) R 4490 4490 4004 0 -1 0 1273 0 0 0 46255 282 0 0 25 0 1 0 19603658 8118272 1196 4294967295 134512640 134702520 3221223712 3221162528 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4495/statm): 1982 1196 413 48 0 1934 0
[pid=4495] vsize: 7928
Current children cumulated CPU time (s) 834.04
Current children cumulated vsize (Kb) 10056
[startup+860.096 s]
Raw data (loadavg): 1.01 1.01 0.93 2/56 4556
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 378 1664 0 0 1 1 36311 554 19 0 1 0 19565702 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 248 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4495/stat): 4495 (vallst) R 4490 4490 4004 0 -1 0 1273 0 0 0 47255 282 0 0 25 0 1 0 19603658 8118272 1196 4294967295 134512640 134702520 3221223712 3220771628 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4495/statm): 1982 1196 413 48 0 1934 0
[pid=4495] vsize: 7928
Current children cumulated CPU time (s) 844.04
Current children cumulated vsize (Kb) 10056
[startup+870.097 s]
Raw data (loadavg): 1.09 1.02 0.93 2/56 4556
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 378 1664 0 0 1 1 36311 554 19 0 1 0 19565702 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 248 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4495/stat): 4495 (vallst) R 4490 4490 4004 0 -1 0 1298 0 0 0 48212 298 0 0 25 0 1 0 19603658 7888896 1148 4294967295 134512640 134702520 3221223712 3221202528 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4495/statm): 1926 1148 413 48 0 1878 0
[pid=4495] vsize: 7704
Current children cumulated CPU time (s) 853.77
Current children cumulated vsize (Kb) 9832
[startup+880.098 s]
Raw data (loadavg): 1.07 1.02 0.93 2/56 4556
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 378 1664 0 0 1 1 36311 554 19 0 1 0 19565702 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 248 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4495/stat): 4495 (vallst) R 4490 4490 4004 0 -1 0 1298 0 0 0 49212 298 0 0 25 0 1 0 19603658 7888896 1148 4294967295 134512640 134702520 3221223712 3220830048 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4495/statm): 1926 1148 413 48 0 1878 0
[pid=4495] vsize: 7704
Current children cumulated CPU time (s) 863.77
Current children cumulated vsize (Kb) 9832
[startup+890.098 s]
Raw data (loadavg): 1.06 1.02 0.93 2/56 4556
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 378 1664 0 0 1 1 36311 554 19 0 1 0 19565702 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 248 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4495/stat): 4495 (vallst) R 4490 4490 4004 0 -1 0 1302 0 0 0 50177 309 0 0 24 0 1 0 19603658 7888896 1152 4294967295 134512640 134702520 3221223712 3221211808 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4495/statm): 1926 1152 413 48 0 1878 0
[pid=4495] vsize: 7704
Current children cumulated CPU time (s) 873.53
Current children cumulated vsize (Kb) 9832
[startup+900.098 s]
Raw data (loadavg): 1.05 1.02 0.93 2/56 4556
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 378 1664 0 0 1 1 36311 554 19 0 1 0 19565702 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 248 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4495/stat): 4495 (vallst) R 4490 4490 4004 0 -1 0 1302 0 0 0 51177 309 0 0 25 0 1 0 19603658 7888896 1152 4294967295 134512640 134702520 3221223712 3220843488 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4495/statm): 1926 1152 413 48 0 1878 0
[pid=4495] vsize: 7704
Current children cumulated CPU time (s) 883.53
Current children cumulated vsize (Kb) 9832
[startup+910.1 s]
Raw data (loadavg): 1.04 1.02 0.93 1/56 4556
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 378 1664 0 0 1 1 36311 554 19 0 1 0 19565702 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 248 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4495/stat): 4495 (vallst) T 4490 4490 4004 0 -1 0 1302 0 0 0 52143 320 0 0 23 0 1 0 19603658 7888896 1152 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4495/statm): 1926 1152 413 48 0 1878 0
[pid=4495] vsize: 7704
Current children cumulated CPU time (s) 893.3
Current children cumulated vsize (Kb) 9832
[startup+920.101 s]
Raw data (loadavg): 1.04 1.02 0.93 2/56 4558
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 378 1664 0 0 1 1 36311 554 19 0 1 0 19565702 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 248 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4495/stat): 4495 (vallst) R 4490 4490 4004 0 -1 0 1302 0 0 0 53138 322 0 0 25 0 1 0 19603658 7888896 1152 4294967295 134512640 134702520 3221223712 3220869408 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4495/statm): 1926 1152 413 48 0 1878 0
[pid=4495] vsize: 7704
Current children cumulated CPU time (s) 903.27
Current children cumulated vsize (Kb) 9832
[startup+930.101 s]
Raw data (loadavg): 1.03 1.02 0.93 1/56 4558
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 378 1664 0 0 1 1 36311 554 19 0 1 0 19565702 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 248 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4495/stat): 4495 (vallst) T 4490 4490 4004 0 -1 0 1302 0 0 0 54116 329 0 0 23 0 1 0 19603658 7888896 1152 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4495/statm): 1926 1152 413 48 0 1878 0
[pid=4495] vsize: 7704
Current children cumulated CPU time (s) 913.12
Current children cumulated vsize (Kb) 9832
[startup+940.101 s]
Raw data (loadavg): 1.02 1.01 0.93 2/56 4558
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 378 1664 0 0 1 1 36311 554 19 0 1 0 19565702 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 248 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4495/stat): 4495 (vallst) R 4490 4490 4004 0 -1 0 1302 0 0 0 55100 334 0 0 25 0 1 0 19603658 7888896 1152 4294967295 134512640 134702520 3221223712 3220892928 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4495/statm): 1926 1152 413 48 0 1878 0
[pid=4495] vsize: 7704
Current children cumulated CPU time (s) 923.01
Current children cumulated vsize (Kb) 9832
[startup+950.102 s]
Raw data (loadavg): 1.02 1.01 0.93 1/56 4558
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 378 1664 0 0 1 1 36311 554 19 0 1 0 19565702 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 248 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4495/stat): 4495 (vallst) T 4490 4490 4004 0 -1 0 1302 0 0 0 56092 337 0 0 25 0 1 0 19603658 7888896 1152 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4495/statm): 1926 1152 413 48 0 1878 0
[pid=4495] vsize: 7704
Current children cumulated CPU time (s) 932.96
Current children cumulated vsize (Kb) 9832
[startup+960.103 s]
Raw data (loadavg): 1.02 1.01 0.93 2/56 4558
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 378 1664 0 0 1 1 36311 554 19 0 1 0 19565702 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 248 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4495/stat): 4495 (vallst) R 4490 4490 4004 0 -1 0 1304 0 0 0 57057 350 0 0 25 0 1 0 19603658 7888896 1154 4294967295 134512640 134702520 3221223712 3220936928 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4495/statm): 1926 1154 413 48 0 1878 0
[pid=4495] vsize: 7704
Current children cumulated CPU time (s) 942.74
Current children cumulated vsize (Kb) 9832
[startup+970.104 s]
Raw data (loadavg): 1.01 1.01 0.93 2/56 4558
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 378 1664 0 0 1 1 36311 554 19 0 1 0 19565702 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 248 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4495/stat): 4495 (vallst) R 4490 4490 4004 0 -1 0 1304 0 0 0 58057 350 0 0 25 0 1 0 19603658 7888896 1154 4294967295 134512640 134702520 3221223712 3220332448 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4495/statm): 1926 1154 413 48 0 1878 0
[pid=4495] vsize: 7704
Current children cumulated CPU time (s) 952.74
Current children cumulated vsize (Kb) 9832
[startup+980.104 s]
Raw data (loadavg): 1.01 1.01 0.93 2/56 4558
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 378 1664 0 0 1 1 36311 554 19 0 1 0 19565702 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 248 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4495/stat): 4495 (vallst) R 4490 4490 4004 0 -1 0 1329 0 0 0 59011 367 0 0 25 0 1 0 19603658 8118272 1179 4294967295 134512640 134702520 3221223712 3220980448 134612103 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4495/statm): 1982 1179 413 48 0 1934 0
[pid=4495] vsize: 7928
Current children cumulated CPU time (s) 962.45
Current children cumulated vsize (Kb) 10056
[startup+990.104 s]
Raw data (loadavg): 1.01 1.01 0.93 2/56 4558
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 378 1664 0 0 1 1 36311 554 19 0 1 0 19565702 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 248 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4495/stat): 4495 (vallst) R 4490 4490 4004 0 -1 0 1329 0 0 0 60011 367 0 0 25 0 1 0 19603658 8118272 1179 4294967295 134512640 134702520 3221223712 3220458688 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4495/statm): 1982 1179 413 48 0 1934 0
[pid=4495] vsize: 7928
Current children cumulated CPU time (s) 972.45
Current children cumulated vsize (Kb) 10056
[startup+1000.1 s]
Raw data (loadavg): 1.01 1.01 0.93 2/56 4558
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 378 1664 0 0 1 1 36311 554 19 0 1 0 19565702 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 248 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4495/stat): 4495 (vallst) R 4490 4490 4004 0 -1 0 1351 0 0 0 60978 380 0 0 25 0 1 0 19603658 7888896 1158 4294967295 134512640 134702520 3221223712 3220993728 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4495/statm): 1926 1158 413 48 0 1878 0
[pid=4495] vsize: 7704
Current children cumulated CPU time (s) 982.25
Current children cumulated vsize (Kb) 9832
[startup+1010.1 s]
Raw data (loadavg): 1.01 1.01 0.93 2/56 4558
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 378 1664 0 0 1 1 36311 554 19 0 1 0 19565702 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 248 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4495/stat): 4495 (vallst) R 4490 4490 4004 0 -1 0 1351 0 0 0 61978 380 0 0 25 0 1 0 19603658 7888896 1158 4294967295 134512640 134702520 3221223712 3220493708 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4495/statm): 1926 1158 413 48 0 1878 0
[pid=4495] vsize: 7704
Current children cumulated CPU time (s) 992.25
Current children cumulated vsize (Kb) 9832
[startup+1020.11 s]
Raw data (loadavg): 1.08 1.02 0.94 2/56 4558
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 378 1664 0 0 1 1 36311 554 19 0 1 0 19565702 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 248 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4495/stat): 4495 (vallst) R 4490 4490 4004 0 -1 0 1352 0 0 0 62945 392 0 0 25 0 1 0 19603658 7888896 1159 4294967295 134512640 134702520 3221223712 3221017408 134612002 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4495/statm): 1926 1159 413 48 0 1878 0
[pid=4495] vsize: 7704
Current children cumulated CPU time (s) 1002.04
Current children cumulated vsize (Kb) 9832
[startup+1030.11 s]
Raw data (loadavg): 1.07 1.02 0.94 2/56 4558
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 378 1664 0 0 1 1 36311 554 19 0 1 0 19565702 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 248 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4495/stat): 4495 (vallst) R 4490 4490 4004 0 -1 0 1352 0 0 0 63945 392 0 0 25 0 1 0 19603658 7888896 1159 4294967295 134512640 134702520 3221223712 3220531788 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4495/statm): 1926 1159 413 48 0 1878 0
[pid=4495] vsize: 7704
Current children cumulated CPU time (s) 1012.04
Current children cumulated vsize (Kb) 9832
[startup+1040.11 s]
Raw data (loadavg): 1.06 1.02 0.94 2/56 4558
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 378 1664 0 0 1 1 36311 554 19 0 1 0 19565702 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 248 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4495/stat): 4495 (vallst) R 4490 4490 4004 0 -1 0 1352 0 0 0 64905 405 0 0 25 0 1 0 19603658 7888896 1159 4294967295 134512640 134702520 3221223712 3221038208 134612103 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4495/statm): 1926 1159 413 48 0 1878 0
[pid=4495] vsize: 7704
Current children cumulated CPU time (s) 1021.77
Current children cumulated vsize (Kb) 9832
[startup+1050.11 s]
Raw data (loadavg): 1.05 1.02 0.94 2/56 4558
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 378 1664 0 0 1 1 36311 554 19 0 1 0 19565702 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 248 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4495/stat): 4495 (vallst) R 4490 4490 4004 0 -1 0 1352 0 0 0 65905 405 0 0 25 0 1 0 19603658 7888896 1159 4294967295 134512640 134702520 3221223712 3220576608 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4495/statm): 1926 1159 413 48 0 1878 0
[pid=4495] vsize: 7704
Current children cumulated CPU time (s) 1031.77
Current children cumulated vsize (Kb) 9832
[startup+1060.11 s]
Raw data (loadavg): 1.04 1.02 0.94 2/56 4558
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 378 1664 0 0 1 1 36311 554 19 0 1 0 19565702 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 248 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4495/stat): 4495 (vallst) R 4490 4490 4004 0 -1 0 1353 0 0 0 66867 418 0 0 25 0 1 0 19603658 7888896 1160 4294967295 134512640 134702520 3221223712 3221053888 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4495/statm): 1926 1160 413 48 0 1878 0
[pid=4495] vsize: 7704
Current children cumulated CPU time (s) 1041.52
Current children cumulated vsize (Kb) 9832
[startup+1070.11 s]
Raw data (loadavg): 1.03 1.02 0.94 2/56 4558
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 378 1664 0 0 1 1 36311 554 19 0 1 0 19565702 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 248 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4495/stat): 4495 (vallst) R 4490 4490 4004 0 -1 0 1353 0 0 0 67867 418 0 0 25 0 1 0 19603658 7888896 1160 4294967295 134512640 134702520 3221223712 3220597708 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4495/statm): 1926 1160 413 48 0 1878 0
[pid=4495] vsize: 7704
Current children cumulated CPU time (s) 1051.52
Current children cumulated vsize (Kb) 9832
[startup+1080.11 s]
Raw data (loadavg): 1.03 1.02 0.94 2/56 4558
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 378 1664 0 0 1 1 36311 554 19 0 1 0 19565702 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 248 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4495/stat): 4495 (vallst) R 4490 4490 4004 0 -1 0 1353 0 0 0 68829 431 0 0 25 0 1 0 19603658 7888896 1160 4294967295 134512640 134702520 3221223712 3221072108 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4495/statm): 1926 1160 413 48 0 1878 0
[pid=4495] vsize: 7704
Current children cumulated CPU time (s) 1061.27
Current children cumulated vsize (Kb) 9832
[startup+1090.11 s]
Raw data (loadavg): 1.02 1.02 0.94 2/56 4558
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 378 1664 0 0 1 1 36311 554 19 0 1 0 19565702 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 248 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4495/stat): 4495 (vallst) R 4490 4490 4004 0 -1 0 1353 0 0 0 69830 431 0 0 25 0 1 0 19603658 7888896 1160 4294967295 134512640 134702520 3221223712 3220634668 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4495/statm): 1926 1160 413 48 0 1878 0
[pid=4495] vsize: 7704
Current children cumulated CPU time (s) 1071.28
Current children cumulated vsize (Kb) 9832
[startup+1100.11 s]
Raw data (loadavg): 1.02 1.02 0.94 2/56 4558
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 378 1664 0 0 1 1 36311 554 19 0 1 0 19565702 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 248 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4495/stat): 4495 (vallst) R 4490 4490 4004 0 -1 0 1354 0 0 0 70794 443 0 0 25 0 1 0 19603658 7888896 1161 4294967295 134512640 134702520 3221223712 3221085888 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4495/statm): 1926 1161 413 48 0 1878 0
[pid=4495] vsize: 7704
Current children cumulated CPU time (s) 1081.04
Current children cumulated vsize (Kb) 9832
[startup+1110.11 s]
Raw data (loadavg): 1.02 1.01 0.94 2/56 4558
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 378 1664 0 0 1 1 36311 554 19 0 1 0 19565702 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 248 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4495/stat): 4495 (vallst) R 4490 4490 4004 0 -1 0 1354 0 0 0 71794 443 0 0 25 0 1 0 19603658 7888896 1161 4294967295 134512640 134702520 3221223712 3220657728 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4495/statm): 1926 1161 413 48 0 1878 0
[pid=4495] vsize: 7704
Current children cumulated CPU time (s) 1091.04
Current children cumulated vsize (Kb) 9832
[startup+1120.11 s]
Raw data (loadavg): 1.01 1.01 0.94 2/56 4558
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 378 1664 0 0 1 1 36311 554 19 0 1 0 19565702 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 248 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4495/stat): 4495 (vallst) R 4490 4490 4004 0 -1 0 1356 0 0 0 72755 456 0 0 25 0 1 0 19603658 7888896 1163 4294967295 134512640 134702520 3221223712 3221117708 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4495/statm): 1926 1163 413 48 0 1878 0
[pid=4495] vsize: 7704
Current children cumulated CPU time (s) 1100.78
Current children cumulated vsize (Kb) 9832
[startup+1130.11 s]
Raw data (loadavg): 1.01 1.01 0.94 2/56 4558
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 378 1664 0 0 1 1 36311 554 19 0 1 0 19565702 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 248 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4495/stat): 4495 (vallst) R 4490 4490 4004 0 -1 0 1356 0 0 0 73755 456 0 0 25 0 1 0 19603658 7888896 1163 4294967295 134512640 134702520 3221223712 3220708448 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4495/statm): 1926 1163 413 48 0 1878 0
[pid=4495] vsize: 7704
Current children cumulated CPU time (s) 1110.78
Current children cumulated vsize (Kb) 9832
[startup+1140.11 s]
Raw data (loadavg): 1.01 1.01 0.94 2/56 4558
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 378 1664 0 0 1 1 36311 554 19 0 1 0 19565702 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 248 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4495/stat): 4495 (vallst) R 4490 4490 4004 0 -1 0 1359 0 0 0 74704 473 0 0 25 0 1 0 19603658 7888896 1166 4294967295 134512640 134702520 3221223712 3221148428 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4495/statm): 1926 1166 413 48 0 1878 0
[pid=4495] vsize: 7704
Current children cumulated CPU time (s) 1120.44
Current children cumulated vsize (Kb) 9832
[startup+1150.12 s]
Raw data (loadavg): 1.01 1.01 0.94 2/56 4558
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 378 1664 0 0 1 1 36311 554 19 0 1 0 19565702 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 248 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4495/stat): 4495 (vallst) R 4490 4490 4004 0 -1 0 1359 0 0 0 75705 473 0 0 25 0 1 0 19603658 7888896 1166 4294967295 134512640 134702520 3221223712 3220750528 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4495/statm): 1926 1166 413 48 0 1878 0
[pid=4495] vsize: 7704
Current children cumulated CPU time (s) 1130.45
Current children cumulated vsize (Kb) 9832
[startup+1160.12 s]
Raw data (loadavg): 1.00 1.01 0.94 2/56 4558
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 378 1664 0 0 1 1 36311 554 19 0 1 0 19565702 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 248 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4495/stat): 4495 (vallst) R 4490 4490 4004 0 -1 0 1360 0 0 0 76666 488 0 0 25 0 1 0 19603658 7888896 1167 4294967295 134512640 134702520 3221223712 3221160128 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4495/statm): 1926 1167 413 48 0 1878 0
[pid=4495] vsize: 7704
Current children cumulated CPU time (s) 1140.21
Current children cumulated vsize (Kb) 9832
[startup+1170.12 s]
Raw data (loadavg): 1.00 1.01 0.94 2/56 4558
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 378 1664 0 0 1 1 36311 554 19 0 1 0 19565702 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 248 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4495/stat): 4495 (vallst) R 4490 4490 4004 0 -1 0 1360 0 0 0 77666 488 0 0 25 0 1 0 19603658 7888896 1167 4294967295 134512640 134702520 3221223712 3220772768 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4495/statm): 1926 1167 413 48 0 1878 0
[pid=4495] vsize: 7704
Current children cumulated CPU time (s) 1150.21
Current children cumulated vsize (Kb) 9832
[startup+1180.12 s]
Raw data (loadavg): 1.00 1.01 0.94 2/56 4558
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 378 1664 0 0 1 1 36311 554 19 0 1 0 19565702 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 248 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4495/stat): 4495 (vallst) R 4490 4490 4004 0 -1 0 1360 0 0 0 78617 504 0 0 25 0 1 0 19603658 7888896 1167 4294967295 134512640 134702520 3221223712 3221200288 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4495/statm): 1926 1167 413 48 0 1878 0
[pid=4495] vsize: 7704
Current children cumulated CPU time (s) 1159.88
Current children cumulated vsize (Kb) 9832
[startup+1190.12 s]
Raw data (loadavg): 1.00 1.01 0.94 2/56 4558
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 378 1664 0 0 1 1 36311 554 19 0 1 0 19565702 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 248 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4495/stat): 4495 (vallst) R 4490 4490 4004 0 -1 0 1360 0 0 0 79617 504 0 0 25 0 1 0 19603658 7888896 1167 4294967295 134512640 134702520 3221223712 3220826828 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4495/statm): 1926 1167 413 48 0 1878 0
[pid=4495] vsize: 7704
Current children cumulated CPU time (s) 1169.88
Current children cumulated vsize (Kb) 9832
[startup+1200.12 s]
Raw data (loadavg): 1.00 1.01 0.94 2/56 4558
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 378 1664 0 0 1 1 36311 554 19 0 1 0 19565702 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 248 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4495/stat): 4495 (vallst) R 4490 4490 4004 0 -1 0 1363 0 0 0 80583 515 0 0 25 0 1 0 19603658 7888896 1170 4294967295 134512640 134702520 3221223712 3221208608 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4495/statm): 1926 1170 413 48 0 1878 0
[pid=4495] vsize: 7704
Current children cumulated CPU time (s) 1179.65
Current children cumulated vsize (Kb) 9832
[startup+1210.12 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4558
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 378 1664 0 0 1 1 36311 554 19 0 1 0 19565702 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 248 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4495/stat): 4495 (vallst) R 4490 4490 4004 0 -1 0 1363 0 0 0 81583 515 0 0 25 0 1 0 19603658 7888896 1170 4294967295 134512640 134702520 3221223712 3220838848 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4495/statm): 1926 1170 413 48 0 1878 0
[pid=4495] vsize: 7704
Current children cumulated CPU time (s) 1189.65
Current children cumulated vsize (Kb) 9832
[startup+1220.12 s]
Raw data (loadavg): 1.00 1.00 0.94 1/56 4558
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 378 1664 0 0 1 1 36311 554 19 0 1 0 19565702 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 248 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4495/stat): 4495 (vallst) T 4490 4490 4004 0 -1 0 1363 0 0 0 82549 526 0 0 23 0 1 0 19603658 7888896 1170 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4495/statm): 1926 1170 413 48 0 1878 0
[pid=4495] vsize: 7704
Current children cumulated CPU time (s) 1199.42
Current children cumulated vsize (Kb) 9832
[startup+1230.12 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4558
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 378 1664 0 0 1 1 36311 554 19 0 1 0 19565702 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 248 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4495/stat): 4495 (vallst) R 4490 4490 4004 0 -1 0 1363 0 0 0 83545 527 0 0 25 0 1 0 19603658 7888896 1170 4294967295 134512640 134702520 3221223712 3220869388 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4495/statm): 1926 1170 413 48 0 1878 0
[pid=4495] vsize: 7704
Current children cumulated CPU time (s) 1209.39
Current children cumulated vsize (Kb) 9832
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1230.12 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4558
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 378 1664 0 0 1 1 36311 554 19 0 1 0 19565702 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 248 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4495/stat): 4495 (vallst) R 4490 4490 4004 0 -1 0 1363 0 0 0 83545 527 0 0 25 0 1 0 19603658 7888896 1170 4294967295 134512640 134702520 3221223712 3220869228 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4495/statm): 1926 1170 413 48 0 1878 0
[pid=4495] vsize: 7704
Current children cumulated CPU time (s) 1209.39
Current children cumulated vsize (Kb) 9832
Sending SIGTERM to -4490
Sleeping 2 seconds
New process pid=4560
New process pid=4561
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/825/stat
open syscall for file /proc/825/status
open syscall for file /proc/825/cmdline
open syscall for file /proc/825/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/1259/stat
open syscall for file /proc/1259/status
open syscall for file /proc/1259/cmdline
open syscall for file /proc/1259/environ
open syscall for file /proc/1263/stat
open syscall for file /proc/1263/status
open syscall for file /proc/1263/cmdline
open syscall for file /proc/1263/environ
open syscall for file /proc/1285/stat
open syscall for file /proc/1285/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/1285/cmdline
open syscall for file /proc/1285/environ
open syscall for file /proc/1315/stat
open syscall for file /proc/1315/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/1315/cmdline
open syscall for file /proc/1315/environ
open syscall for file /proc/1359/stat
open syscall for file /proc/1359/status
open syscall for file /proc/1359/cmdline
open syscall for file /proc/1359/environ
open syscall for file /proc/1387/stat
open syscall for file /proc/1387/status
open syscall for file /proc/1387/cmdline
open syscall for file /proc/1387/environ
open syscall for file /proc/1451/stat
open syscall for file /proc/1451/status
open syscall for file /proc/1451/cmdline
open syscall for file /proc/1451/environ
open syscall for file /proc/1478/stat
open syscall for file /proc/1478/status
open syscall for file /proc/1478/cmdline
open syscall for file /proc/1478/environ
open syscall for file /proc/1503/stat
open syscall for file /proc/1503/status
open syscall for file /proc/1503/cmdline
open syscall for file /proc/1503/environ
open syscall for file /proc/1544/stat
open syscall for file /proc/1544/status
open syscall for file /proc/1544/cmdline
open syscall for file /proc/1544/environ
open syscall for file /proc/1568/stat
open syscall for file /proc/1568/status
open syscall for file /proc/1568/cmdline
open syscall for file /proc/1568/environ
open syscall for file /proc/1591/stat
open syscall for file /proc/1591/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/1591/cmdline
open syscall for file /proc/1591/environ
open syscall for file /proc/1622/stat
open syscall for file /proc/1622/status
open syscall for file /proc/1622/cmdline
open syscall for file /proc/1622/environ
open syscall for file /proc/1680/stat
open syscall for file /proc/1680/status
open syscall for file /proc/1680/cmdline
open syscall for file /proc/1680/environ
open syscall for file /proc/1685/stat
open syscall for file /proc/1685/status
open syscall for file /proc/1685/cmdline
open syscall for file /proc/1685/environ
open syscall for file /proc/1686/stat
open syscall for file /proc/1686/status
open syscall for file /proc/1686/cmdline
open syscall for file /proc/1686/environ
open syscall for file /proc/1687/stat
open syscall for file /proc/1687/status
open syscall for file /proc/1687/cmdline
open syscall for file /proc/1687/environ
open syscall for file /proc/1688/stat
open syscall for file /proc/1688/status
open syscall for file /proc/1688/cmdline
open syscall for file /proc/1688/environ
open syscall for file /proc/1689/stat
open syscall for file /proc/1689/status
open syscall for file /proc/1689/cmdline
open syscall for file /proc/1689/environ
open syscall for file /proc/1691/stat
open syscall for file /proc/1691/status
open syscall for file /proc/1691/cmdline
open syscall for file /proc/1691/environ
open syscall for file /proc/1692/stat
open syscall for file /proc/1692/status
open syscall for file /proc/1692/cmdline
open syscall for file /proc/1692/environ
open syscall for file /proc/3987/stat
open syscall for file /proc/3987/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/3987/cmdline
open syscall for file /proc/3987/environ
open syscall for file /proc/4012/stat
open syscall for file /proc/4012/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/4012/cmdline
open syscall for file /proc/4012/environ
open syscall for file /proc/4451/stat
open syscall for file /proc/4451/status
open syscall for file /proc/4451/cmdline
open syscall for file /proc/4451/environ
open syscall for file /proc/4489/stat
open syscall for file /proc/4489/status
open syscall for file /proc/4489/cmdline
open syscall for file /proc/4489/environ
open syscall for file /proc/4490/stat
open syscall for file /proc/4490/status
open syscall for file /proc/4490/cmdline
open syscall for file /proc/4490/environ
open syscall for file /proc/4495/stat
open syscall for file /proc/4495/status
open syscall for file /proc/4495/cmdline
open syscall for file /proc/4495/environ
open syscall for file /proc/4560/stat
open syscall for file /proc/4560/status
open syscall for file /proc/4560/cmdline
open syscall for file /proc/4560/environ
open syscall for file /proc/4561/stat
open syscall for file /proc/4561/status
open syscall for file /proc/4561/cmdline
open syscall for file /proc/4561/environ
One traced child (pid=4561) exited with status: 0
One traced child (pid=4560) exited with status: 0
New process pid=4562
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=4562) exited with status: 0
New process pid=4563
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=4563) exited with status: 0
One traced child (pid=4490) ended because it received signal 15 (SIGTERM)
Sending SIGKILL to -4490
One traced child (pid=4495) ended because it received signal 9 (SIGKILL)
All traced children have exited ! Game is over.
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1232.13
CPU time (s): 842.733
CPU user time (s): 837.452
CPU system time (s): 5.2812
CPU usage (%): 68.3964
Max. virtual memory (cumulated for all children) (Kb): 10768